Regola del prodotto

Da testwiki.
Vai alla navigazione Vai alla ricerca

Nell'analisi matematica, la regola del prodotto o regola di Leibniz è una regola di derivazione che nella sua forma generale permette di calcolare qualsiasi derivata prima del prodotto di k funzioni fi, con i=1,,k, tutte derivabili:

ddx[i=1kfi(x)]=i=1k(ddxfi(x)jifj(x))=(i=1kfi(x))(i=1kf'i(x)fi(x)).

Enunciato semplice

La derivata prima del prodotto di due funzioni derivabili in x è uguale al prodotto della prima per la derivata della seconda più il prodotto della seconda funzione per la derivata della prima, che nella notazione di Lagrange si esprime:

[g(x)f(x)]=f(x)g(x)+f(x)g(x).

Dimostrazione

Applicando la definizione di derivata ed ipotizzando le funzioni f(x) e g(x) derivabili in x:

[f(x)g(x)]=limh0f(x+h)g(x+h)f(x)g(x)h.

Ora sottraiamo e sommiamo la quantità f(x+h)g(x):

limh0f(x+h)g(x+h)f(x+h)g(x)+f(x+h)g(x)f(x)g(x)h.

Raccogliendo f(x+h) e g(x) si ottiene

limh0f(x+h)[g(x+h)g(x)h]+limh0g(x)[f(x+h)f(x)h].

Siccome le funzioni f(x) e g(x) sono, per ipotesi, derivabili in x, quindi è qui anche continua sia limh0f(x+h)=f(x)che limh0g(x+h)=g(x). Si conclude che:

limh0g(x+h)g(x)h=g(x),
limh0f(x+h)f(x)h=f(x),

e quindi:

f(x)g(x)+f(x)g(x),

come volevasi dimostrare.

La scoperta di Leibniz

La scoperta di questa regola è stata attribuita al matematico Gottfried Leibniz - da cui il nome - che la dimostrò utilizzando il differenziale, utilizzando una sua particolare notazione, come di seguito riportata, in cui f(x) e g(x) sono due funzioni di x. Allora il differenziale di fg è

d(fg)=(f+df)(g+dg)fg=f(dg)+g(df)+(df)(dg).

Siccome il termine (df)(dg) è "trascurabile" in quanto differenziale del second'ordine, Leibniz concluse che

d(fg)=f(dg)+g(df).

Questo è identico alla forma differenziale della regola del prodotto. Se si divide entrambi per il differenziale dx, si ottiene

ddx(fg)=f(dgdx)+g(dfdx)

che corrisponde nella notazione di Lagrange a:

(fg)=fg+fg.

Funzioni costanti

Un caso particolare notevole è la derivata di una funzione f(x) per una costante k:

D[kf(x)]=kf(x)+kf(x),

ma k=0 essendo derivata di una costante allora, per l'annullamento del prodotto, rimane solo il primo termine; quindi

D[kf(x)]=kf(x).

Generalizzazioni

Prodotto multiplo

La regola può essere generalizzata anche per una collezione di n funzioni derivabili, f1,,fk ,e dimostrabile con un processo simile a quello già visto ottenendo la regola generale:

La derivata del prodotto di n funzioni è uguale alla sommatoria di n addendi ognuno dei quali contenente la derivata dell'n-esima funzione e le restanti non derivate.
(f1(x)f2(x)fn(x))=f1(x)f2(x)fn(x)+f1(x)f2(x)fn(x)++f1(x)f2(x)fn(x),

più succintamente introducendo la produttoria e considerando le funzioni fj(x) prive di zeri:

ddxi=1kfi(x)=j=1kf'j(x)fj(x)i=1kfi(x).

Applicazione polinomiale

Dall'applicazione della precedente si può dimostrare per induzione che

ddxaxn=naxn1,

per n intero positivo:[1] xn è una produttoria di n funzioni uguali tutte uguali a x, per cui, per la generalizzazione, si otterrà una sommatoria di n elementi tutti uguali tra loro:

nxxxn=nxn1x.

Applicando ora l'ipotesi induttiva del principio di induzione per x e ricordando che x=x1, possiamo scrivere:

nxn1x=nxn1(1x11)=nxn1x0.

Il risultato segue ricordando che x0=1.

Derivate successive

Le derivate successive n-sime del prodotto di due funzioni sono:

dndxnf(x)g(x)=k=0n(nk)f(nk)(x)g(k)(x),[2]

dove (nk) indica il coefficiente binomiale.

Applicazione polinomiale

Proviamo a derivare due volte la funzione x3ex, usando il fatto che la derivata di ex è sempre uguale a sé stessa.

D(2)[x3ex]=(20)6xex+(21)3x2ex+(22)x3ex=16xex+23x2ex+1x3ex=6xex+6x2ex+x3ex.

Per quanto riguarda la derivazione di una funzione a esponente naturale:

dndxnxa=a!(an)!xan.

Note

  1. per n non intero e positivo occorre ricorrere ad altre dimostrazioni
  2. Il riferimento apicale essendo tra parentesi non indica un esponente ma l'ordine di derivazione secondo la notazione di Lagrange

Voci correlate

Altri progetti

Template:Interprogetto

Collegamenti esterni

Template:Portale