În analiza matematică , regula produsului sau regula lui Leibniz este o regulă de derivare care, în forma sa generală, permite calcularea oricărei derivate {\ displaystyle n} -alea din produsul {\ displaystyle m} funcții {\ displaystyle f} toate derivabile:
- {\ displaystyle {\ frac {d} {dx}} \ left [\ prod _ {i = 1} ^ {k} f_ {i} (x) \ right] = \ sum _ {i = 1} ^ {k } \ left ({\ frac {d} {dx}} f_ {i} (x) \ prod _ {j \ neq i} f_ {j} (x) \ right) = \ left (\ prod _ {i = 1} ^ {k} f_ {i} (x) \ right) \ left (\ sum _ {i = 1} ^ {k} {\ frac {f '_ {i} (x)} {f_ {i} (x)}} \ dreapta).}
Afirmație simplă
Prima derivată a produsului a două funcții diferențiate în {\ displaystyle x} este egal cu produsul primei prin derivata celei de-a doua plus produsul celei de-a doua funcții prin derivata primei, care în notația Lagrange este exprimată:
- {\ displaystyle \ left [g (x) f (x) \ right] '= f' (x) g (x) + f (x) g '(x).}
Demonstrație
Aplicarea definiției derivatului și asumarea funcțiilor {\ displaystyle f (x)} Și {\ displaystyle g (x)} derivabil în {\ displaystyle x} :
- {\ displaystyle [f (x) g (x)] '= \ lim _ {h \ to 0} {\ frac {f (x + h) g (x + h) -f (x) g (x)} {h}}.}
Acum să scădem și să adăugăm cantitatea {\ displaystyle f (x + h) g (x)} :
- {\ displaystyle \ lim _ {h \ to 0} {\ frac {f (x + h) g (x + h) -f (x + h) g (x) + f (x + h) g (x) -f (x) g (x)} {h}}}
Adunare {\ displaystyle f (x + h)} Și {\ displaystyle g (x)} primesti
- {\ displaystyle \ lim _ {h \ to 0} f (x + h) \ left [{\ frac {g (x + h) -g (x)} {h}} \ right] + \ lim _ {h \ to 0} g (x) \ left [{\ frac {f (x + h) -f (x)} {h}} \ right]}
Ca funcții {\ displaystyle f (x)} Și {\ displaystyle g (x)} sunt, prin ipoteză, derivabile în {\ displaystyle x} , deci este aici, de asemenea, continuă {\ displaystyle \ lim _ {h \ to 0} f (x + h) = f (x)} acea {\ displaystyle \ lim _ {h \ to 0} g (x + h) = g (x)} . Se concluzionează că:
- {\ displaystyle \ lim _ {h \ to 0} {\ frac {g (x + h) -g (x)} {h}} = g '(x),}
- {\ displaystyle \ lim _ {h \ to 0} {\ frac {f (x + h) -f (x)} {h}} = f '(x),}
prin urmare:
- {\ displaystyle f (x) g '(x) + f' (x) g (x),}
așa cum era menit să demonstreze.
Descoperirea lui Leibniz
Descoperirea acestei reguli a fost atribuită matematicianului Gottfried Leibniz - de unde și numele - care a dovedit-o folosind diferențialul , folosind o notație particulară , așa cum se arată mai jos, în care {\ displaystyle f (x)} Și {\ displaystyle g (x)} sunt două funcții ale {\ displaystyle x} . Apoi diferențialul de {\ displaystyle fg} Și
- {\ displaystyle {\ begin {align} d (fg) & = (f + df) (g + dg) -fg \\ & = f (dg) + g (df) + (df) (dg) \ end { aliniat}}}
Ca termen {\ displaystyle (df) (dg)} este „neglijabil” ca diferențial de ordinul doi, Leibniz a concluzionat că
- {\ displaystyle d (fg) = f (dg) + g (df).}
Aceasta este identică cu forma diferențială a regulii produsului. Dacă împărțiți ambele la diferențial {\ displaystyle dx} , primesti
- {\ displaystyle {\ frac {d} {dx}} (fg) = f \ left ({\ frac {dg} {dx}} \ right) + g \ left ({\ frac {df} {dx}} \ dreapta)}
care corespunde în notația lui Lagrange la:
- {\ displaystyle (fg) '= fg' + f'g.}
Funcții constante
Un caz special notabil este derivatul unei funcții {\ displaystyle f (x)} pentru o constantă {\ displaystyle k} :
- {\ displaystyle D \ left [kf (x) \ right] = k \ cdot f '(x) + k' \ cdot f (x),}
dar {\ displaystyle k '= 0} fiind derivatul unei constante atunci, pentru anularea produsului , rămâne doar primul termen; asa de
- {\ displaystyle D \ left [kf (x) \ right] = kf '(x).}
Generalizări
Produs multiplu
Regula poate fi generalizată și pentru o colecție de {\ displaystyle n} funcții diferențiate, {\ displaystyle f_ {1}, \ ldots, f_ {k}} , și demonstrabil cu un proces similar cu cel deja văzut prin obținerea regulii generale:
- Derivata produsului de n funcții este egală cu suma de n adunări, fiecare dintre acestea conținând derivata funcției n-a și restul de nederivate.
- {\ displaystyle (f_ {1} (x) f_ {2} (x) \ cdots f_ {n} (x)) '= f_ {1}' (x) f_ {2} (x) \ cdots f_ {n } (x) + f_ {1} (x) f_ {2} ^ {\ prime} (x) \ cdots f_ {n} (x) + \ cdots + f_ {1} (x) f_ {2} (x ) \ cdots f_ {n} ^ {\ prime} (x),}
introducând mai succint producția și luând în considerare funcțiile {\ displaystyle {f_ {j} (x)}} fără zerouri:
- {\ displaystyle {\ frac {d} {dx}} \ prod _ {i = 1} ^ {k} f_ {i} (x) = \ sum _ {j = 1} ^ {k} {\ frac {f '_ {j} (x)} {f_ {j} (x)}} \ prod _ {i = 1} ^ {k} f_ {i} (x).}
Aplicație polinomială
Din aplicarea celei anterioare se poate dovedi prin inducție că
- {\ displaystyle {d \ over dx} ax ^ {n} = nax ^ {n-1},}
pentru {\ displaystyle n} număr întreg pozitiv : [1] {\ displaystyle x ^ {n}} la urma urmei este un producător de {\ displaystyle n} funcții egale toate egale a {\ displaystyle x} , deci pentru generalizare, obținem o însumare de {\ displaystyle n} elemente la fel:
- {\ displaystyle = nx ^ {n-1} \ cdot x ',}
aplicând acum ipoteza inductivă a principiului inducției pentru {\ displaystyle x '} și amintindu-mi că {\ displaystyle x} Este egal cu {\ displaystyle x ^ {1}} , putem rescrie:
- {\ displaystyle = nx ^ {n-1} \ cdot (1 \ cdot x ^ {1-1}) = nx ^ {n-1} \ cdot x ^ {0},}
din moment ce x 0 = 1 ecuația este dovedită.
Derivate ulterioare
Derivate ulterioare {\ displaystyle n} -imaginea produsului a două funcții este:
- {\ displaystyle {\ frac {d ^ {n}} {{dx} ^ {n}}} f (x) g (x) = \ sum _ {k = 0} ^ {n} {n \ alege k} f ^ {(nk)} (x) g ^ {(k)} (x).} [2]
Primul element este coeficientul binomial .
Aplicație polinomială
Să încercăm să derivăm funcția de două ori {\ displaystyle x ^ {3} e ^ {x}} , folosind faptul că derivatul lui {\ displaystyle e ^ {x}} este întotdeauna la fel ca el însuși.
- {\ displaystyle {\ begin {align} D ^ {(2)} [x ^ {3} e ^ {x}] & = {2 \ alege 0} 6xe ^ {x} + {2 \ alege 1} 3x ^ {2} e ^ {x} + {2 \ alege 2} x ^ {3} e ^ {x} \\ & = 1 \ cdot 6xe ^ {x} +2 \ cdot 3x ^ {2} e ^ {x } +1 \ cdot x ^ {3} e ^ {x} \\ & = 6xe ^ {x} + 6x ^ {2} e ^ {x} + x ^ {3} e ^ {x} \ end {aliniat }}}
ca și înainte, în ceea ce privește derivarea unei funcții de exponent natural:
- {\ displaystyle {d ^ {n} \ over dx ^ {n}} x ^ {a} = {\ frac {a!} {(an)!}} x ^ {an}.}
Notă
- ^ pentru {\ displaystyle n} nu întreg și pozitiv este necesar să recurgeți la alte dovezi
- ^ Referința apicală dintre paranteze nu indică un exponent, ci ordinea de derivare conform notației Lagrange
Elemente conexe
Alte proiecte
linkuri externe