Regla del producte
A càlcul infinitesimal, la regla del producte anomenada també Llei de Leibniz (vegeu derivada), permet de calcular la derivada del producte de funcions derivables.
Es pot definit així:
O en la notació de Leibniz així:
Descobriment fet per Leibniz
modificaEl descobriment d'aquesta regla és atribuït a Leibniz, que la va demostrar emprant el diferencials. D'acord amb l'argument de Leibniz's: Siguin u(x) i v(x) dues funcions diferenciables de x. Llavors el diferencial de uv és
Com que el terme (du)(dv) és "negligible" (és a dir, un diferencial de segon ordre en du i dv), Leibniz va concloure que
I aquesta és de fet la forma diferencial de la regla del producte. Si es divideixen tots dos cantons del = per diferencial de x: dx, s'obté
La qual també pot ser escrita emprant la "notació prima" com
Exemples
modifica- Suposant que es vol obtenir la derivada de f(x) = x² sin (x). Emprant la regla del producte s'obté que la derivada és f'(x) = 2x sin(x) + x²cos(x) (donat que la derivada de x² és 2x i la derivada de sin(x) és cos(x)).
- Un cas particular de la regla del producte és la regla del producte per una constant la qual diu que si c és un nombre real i f(x) és una funció derivable, llavors cf(x) també és derivable, i la seva derivada és (c × f)'(x) = c × f '(x). Això és el que resulta d'aplicar la regla del producte donat que la derivada de qualsevol constant és zero. Això, combinat amb la regla de la suma de derivades, demostra que la derivació és una aplicació lineal.
- La regla del producte es pot emprar per a obtenir la regla de la integració per parts i la (versió feble)de la regla del quocient. (Aquesta és una versió "feble" en el sentit que no demostra que el quocient sigui derivable, sinó que només diu quina és la seva derivada en cas que ho sigui).
Un error habitual
modificaÉs un error habitual, en estudiar càlcul, de suposar que la derivada de (uv) és igual a (u′)(v′) (el mateix Leibniz va cometre aquest error al començament); en canvi, és força fàcil de trobar-ne contraexemples. El més senzill de tots, s'agafa la funció f, la derivada de la qual és f '(x). Però aquesta funció també es pot escriure com a f(x) · 1, donat que 1 és l'element neutre per a la multiplicació. Suposant que el concepte erroni mencionat abans fos veritat, (u′)(v′) hauria de ser igual a 0. Això és així perquè la derivada d'una constant (com ho és 1) és zero i el producte de f '(x) · 0 també és zero.
Demostració de la regla del producte
modificaUna demostració rigorosa de la regla del producte es pot obtenir emprant les propietats del límit i la definició de derivada.
Suposant
I que f i g són totes dues derivables al punt x. Llavors
Per tant la diferència
És l'àrea del rectangle gran menys l'àrea del rectangle petit de la figura.
La regió en forma de L es pot partir en dos rectangles, la suma de les seves àrees es veu fàcilment que és
(La figura pot estar en desacord amb alguns casos especials, donat que f(w) no cal que sigui més gran que f(x) i g(w) no cal que sigui més gran que g(x). Ara bé, la igualtat de (2) 1 (3) es pot comprovar fàcilment per àlgebra.)
Donat que l'expressió de (1) és igual a
Si tots quatre límits de (5) que hi ha més aball existeixen, Llavors l'expressió de (4) és igual a
Ara
perquè f(x) es manté constant quan w → x;
perquè g és derivable a x;
Perquè f és derivable a x;
I ara la part "dura":
perquè g és contínua a x. Com se sap que g és contínua a x? Perquè un altre teorema diu que si una funció és derivable a un punt llavors és contínua en aquest punt.
Com a conclusió es té que l'expressió de (5) és igual a
Demostració alternativa: emprant logaritmes
modificaSia f = uv i suposant que u i v són positives. Llavors
Derivant als dos cantons:
I ara, multiplicant el cantó esquerre per f, i el cantó dret per uv,
Aquesta demostració surt a [1] Arxivat 2008-01-17 a Wayback Machine.. Fixeu-vos que donat que u, v cal que siguin contínues, la suposició de què siguin positives no en disminueix la generalitat.
Aquesta demostració descansa en la regla de la cadena i en les propietats de la funció logaritme natural, les dues són més profundes que la regla del producte. Des de cert punt de vista això és un desavantatge d'aquesta demostració. Per altra banda, la senzillesa de l'algebra per a aquesta demostració poder la fa més fàcil d'entendre que la demostració emprant directament la definició de derivada.
Demostració alternativa: emprant la regla de la cadena
modificaSi es considera la identitat
Llavors
Per tant
Això no es basa en el fet que u i v siguin positives, i és un resultat de la regla de la cadena igual que la demostració logarítmica.
Generalitzacions
modificaProducte de més de dos factors
modificaLa regla del producte es pot generalitzar a productes de mes de dos factors. Per exemple, per a tres factors es té
Per a una família de fincios , es té
Derivades d'ordre superior
modificaLa regla de Leibniz és la generalització per a derivades d'ordre superior del producte de dos factors: si y = uv i y(n) indica la derivada n-èsima de y, llavors
Vegeu coeficient binomial i el binomi de Newton, que formalment és força similar.
Derivades parcials d'ordre superior
modificaPer a les derivades parcials, es té
On l'índex S recorre la llista completa dels 2n subconjunts de {1, ..., n}. Si això sembla difícil d'entendre, consideris el cas al qual n = 3:
Regla del producte en els espais de Banach
modificaSi X, Y, i Z són espai de Banach (els quals inclouen l'espai Euclidià) i B : X × Y → Z és un operador bilineal funció contínua. Llavors B és derivable, i la seva derivada al punt (x,y) de X × Y és l'aplicació lineal D(x,y)B : X × Y → Z donata per
Derivades a àlgebra abstracta
modificaA àlgebra abstracta, la regla del producte es fa servir per a definir el que es diu una derivada, no vice versa.
Una aplicació
modificaEntre les aplicacions de la regla del producte hi ha una demostració que
quan n és un nombre enter positiu (aquesta regla és veritat fins i tot si n no és positiu, diferent de -1, o si no és un enter, però la demostració s'ha de basar en altres mètodes). La demostració és una Prova per inducció sobre l'exponent n. Si n = 0 Llavors xn és constant i nxn − = 0. La regla és veritat en aquest cas perquè la derivada d'una funció constant es la funció zero. Suposant que la regla sigui veritat per a un exponent qualsevol n, llavors per al següent valor, n + 1, es té
Per tant si la proposició és veritat per a n, també ho ha de ser per a n + 1.