On Amazon.it: https://www.amazon.it/Complete-Concordances-James-Bible-Azzur/dp/B0F1V2T1GJ/


Regola del prodotto - Wikipedia

Regola del prodotto

Da Wikipedia, l'enciclopedia libera.

Nell'analisi matematica, la regola del prodotto o regola di Leibniz è una regola di derivazione che permette di calcolare la derivata del prodotto di due funzioni derivabili. Esso afferma che:


la derivata 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.
D\left[g(x) f(x)\right] = f'(x) g(x) + f(x) g'(x)[1]

Indice

[modifica] Dimostrazione

Applicando la definizione di derivata, come limite del rapporto incrementale:

F'(x) = \lim_{h \to 0}\frac{F(x+h) - F(x)}{h} \qquad\qquad (1)

si deriva, ipotizzando entrambe le funzioni f(x) e g(x) derivabili in x, che:

\lim_{h \to 0}\frac{f(x+h)g(x+h) - f(x)g(x)}{h}

Ora aggiungiamo e togliamo f(x+h)g(x):

\lim_{h\to 0} \frac{f(x+h)g(x+h) {\color{Gray}- f(x+h)g(x) + f(x+h)g(x)} - f(x)g(x)}{h}

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

\lim_{h\to 0} f(x+h) \left[ \frac{g(x+h) - g(x)}{h} \right] \; + \; g(x) \left[ \frac{f(x+h) - f(x)}{h} \right]

Siccome f(x) è, per ipotesi, derivabile in x, quindi è qui anche continua: \lim_{h\to 0} f(x+h) = f(x). Si conclude per la (1) che:

\lim_{h\to 0}\frac{g(x+h) - g(x)}{h} = g'(x)
\lim_{h\to 0}\frac{f(x+h) - f(x)}{h} = f'(x)

e quindi f(x)g'(x) + f'(x)g(x) cvd.

[modifica] 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 riprotata, in cui u(x) and v(x) sono due differenziali di x. Allora il differenziale di uv è

d(uv)\, = (u + du)(v + dv) - uv\,
= u(dv) + v(du) + (du)(dv) \,

Siccome il temine (du)(dv) è "trascurabile" , Leibniz concluse che

d(uv) = v(du) + u(dv) \,

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

\frac{d}{dx} (uv) = v \left( \frac{du}{dx} \right) + u \left( \frac{dv}{dx} \right)

che può anche essere scritto come:

(uv)' = v u' + u v'. \,


[modifica] Caso particolare

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

D\left[k f(x)\right] = k\cdot f'(x) + k' \cdot f(x)

ma k', derivata di una costante, è uguale a 0, per cui, per l'annullamento del prodotto, rimane solo il primo termine; quindi

D\left[k f(x)\right]= k f'(x)

[modifica] Generalizzazioni

[modifica] Prodotto multiplo

La regole può essere generalizzata anche per un collezione di n funzioni derivabili, f_1, \dots, f_k ,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.

D[f_1(x)f_2(x)\ldots f_n(x)] = f_1'(x)f_2(x)\ldots f_n(x)\;+\;f_1(x)f_2^{\prime}(x) \ldots f_n(x) \;+\; \ldots \;+\; f_1(x)f_2(x) \ldots f_n^{\prime}(x)

più succintamente si può riscrivere:

\frac{d}{dx} \prod_{i=1}^k f_i(x)
 = \left(\sum_{i=1}^k \frac{\frac{d}{dx} f_i(x)}{f_i(x)}\right)
   \prod_{i=1}^k f_i(x)

[modifica] Applicazione: axa-1

Dall'applicazione della precedente si può dimostrare, attraverso un processo di induzione matematica, che

 {d \over dx} x^n = nx^{n-1}

per n intero positivo:[2]n \in \mathbb{N}^+

xn in fondo è una produttoria di n funzioni uguali: x1, x2, ..., xn per cui per la generalizzazione, si otterrà una sommatoria di n elementi tutti uguali tra loro:

= n[x_1 x_2 \ldots x_{n-1}] \cdot x'

ora applicando il principio di induzione (ovvero nxn-1) per x' e ricordando che x è uguale a x1, possiamo riscrivere:

= nx^{n-1} \cdot (1 \cdot x^{1-1}) = nx^{n-1} \cdot x^0

siccome x0 = 1 l'equazione è dimostrata.

[modifica] Alle derivate successive

La generalizzazione può anche essere scritte per le derivate successive; il questo caso per la generica n-sima derivazione di un prodotto di funzioni si ha:

D^{(n)}[f(x)g(x)] = \sum_{k=0}^n {n \choose k} f^{(n-k)}(x)\;g^{(k)}(x)[3]

Il primo elemento è il coefficiente binomiale.

come prima, per quanto riguarda la derivazione di una funzione a esponente naturale:

 {d^n \over dx^n} x^a = \frac{a!}{(a-n)!}x^{a-n}

[modifica] Note

  1. ^ D[f(x)] e f'(x) sono notazioni che indicano il medesimo significato di derivata
  2. ^ per n non intero e positivo occorre ricorrere ad altre dimostrazioni
  3. ^ Il riferimento apicale tra parentesi non indica una potenza ma il numero della derivata successiva

[modifica] Voci correlate

Static Wikipedia March 2008 on valeriodistefano.com

aa   ab   af   ak   als   am   an   ang   ar   arc   as   ast   av   ay   az   ba   bar   bat_smg   bcl   be   be_x_old   bg   bh   bi   bm   bn   bo   bpy   br   bs   bug   bxr   ca   cbk_zam   cdo   ce   ceb   ch   cho   chr   chy   co   cr   crh   cs   csb   cv   cy   da   en   eo   es   et   eu   fa   ff   fi   fiu_vro   fj   fo   fr   frp   fur   fy   ga   gd   gl   glk   gn   got   gu   gv   ha   hak   haw   he   hi   ho   hr   hsb   ht   hu   hy   hz   ia   id   ie   ig   ii   ik   ilo   io   is   it   iu   ja   jbo   jv   ka   kab   kg   ki   kj   kk   kl   km   kn   ko   kr   ks   ksh   ku   kv   kw   ky   la   lad   lb   lbe   lg   li   lij   lmo   ln   lo   lt   lv   map_bms   mg   mh   mi   mk   ml   mn   mo   mr   ms   mt   mus   my   mzn   na   nah   nap   nds   nds_nl   ne   new   ng   nl   nn   nov  

Static Wikipedia (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2006 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia February 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu