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 modifica

El 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 modifica

Una 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.

 
Regla del producte

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 wx;

 

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 modifica

Sia 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 modifica

Si 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 modifica

Producte de més de dos factors modifica

La 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 modifica

La 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 modifica

Per 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 modifica

Si X, Y, i Z són espai de Banach (els quals inclouen l'espai Euclidià) i B : X × YZ é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 × YZ donata per

 

Derivades a àlgebra abstracta modifica

A àlgebra abstracta, la regla del producte es fa servir per a definir el que es diu una derivada, no vice versa.

Una aplicació modifica

Entre 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.

Vegeu també modifica