La fórmula de Leibniz para la -ésima derivada de un producto de dos funciones es una generalización de la regla para derivar un producto (y una razón) de dos funciones al caso de diferenciación -veces.
Sean las funciones y funciones diferenciables por tiempos, entonces
donde son los coeficientes binomiales .Cuando , se obtiene la conocida regla para la derivada de un producto:
En el caso , por ejemplo, tenemos:
En el caso , por ejemplo, tenemos:
En el caso , por ejemplo, tenemos:
La demostración de la fórmula se realiza por inducción utilizando la regla del producto . En una notación de índice múltiple, la fórmula se puede escribir en una forma más general:
Esta fórmula se puede utilizar para obtener una expresión para la composición de operadores diferenciales. De hecho, sean P y Q operadores diferenciales (con coeficientes diferenciables un número suficiente de veces) y . Si R también es un operador diferencial, entonces se cumple la igualdad:
El cálculo directo da:
Esta fórmula también se conoce como fórmula de Leibniz .