Formula Leibniz pentru derivata --a a unui produs a două funcții este o generalizare a regulii de diferențiere a unui produs (și a unui raport) a două funcții în cazul diferențierii -fold.
Fie funcțiile și funcții diferențiabile ori, atunci
unde sunt coeficienți binomi .Când , se obține regula binecunoscută pentru derivata unui produs:
În cazul , de exemplu, avem:
În cazul , de exemplu, avem:
În cazul , de exemplu, avem:
Dovada formulei se realizează prin inducție folosind regula produsului . Într -o notație multi-index, formula poate fi scrisă într-o formă mai generală:
Această formulă poate fi utilizată pentru a obține o expresie pentru compoziția operatorilor diferențiali. Într-adevăr, fie P și Q operatori diferențiali (cu coeficienți care sunt diferențiabili de un număr suficient de ori) și . Dacă R este și un operator diferențial, atunci egalitatea este valabilă:
Calculul direct dă:
Această formulă este cunoscută și sub numele de formula Leibniz .