Leibnizův vzorec (derivát produktu)

Leibnizův vzorec pro --tou derivaci součinu dvou funkcí je zobecněním pravidla pro diferenciaci součinu (a poměru) dvou funkcí pro případ -násobné derivace.

Nechť tedy funkce a  jsou časově diferencovatelné funkce

kde  jsou binomické koeficienty .

Příklady

Když se získá známé pravidlo pro derivát produktu:

V případě máme například:

V případě máme například:

V případě máme například:

Důkaz a zobecnění

Důkaz vzorce se provádí indukcí pomocí pravidla součinu . Ve víceindexovém zápisu lze vzorec zapsat v obecnější podobě:

Tento vzorec lze použít k získání výrazu pro skládání diferenciálních operátorů. Nechť jsou P a Q  diferenciální operátory (s koeficienty, které jsou diferencovatelné dostatečně mnohokrát) a . Pokud je R také diferenciální operátor, pak platí rovnost:

Přímý výpočet dává:

Tento vzorec je také známý jako Leibnizův vzorec .

Literatura