Web Analytics
Privacy Policy Cookie Policy Terms and Conditions Regola di Cavalieri-Simpson - Wikipedia

Regola di Cavalieri-Simpson

Da Wikipedia, l'enciclopedia libera.

Per regola di Cavalieri-Simpson o regola di Simpson si intende un metodo per il calcolo numerico approssimato di integrali definiti della forma:

I \,:=\, \int_{a}^{b}f(x)\,dx .

Come tutti i procedimenti per il calcolo approssimato di integrali definiti e per altri calcoli approssimati a partire da funzioni di variabile reale, tale metodo si utilizza per funzioni \,f\left(x\right)\, delle quali non si conosce la funzione primitiva, oppure della cui primitiva si conoscono solo caratteristiche dalle quali non si riesce a ricavare una espressione tramite funzioni elementari che possa essere ragionevolmente utilizzata per i calcoli richiesti. Questi metodi approssimati si utilizzano inoltre nei casi in cui non è nota una espressione analitica della funzione da integrare, ma si conoscono soltanto alcuni suoi valori (ottenuti sperimentalmente o ricavati da altre fonti), oppure quando è noto soltanto il suo diagramma (tracciato con l'ausilio di appositi strumenti o ricavato dalla letteratura).

[modifica] La formula di quadratura

La regola di Cavalieri-Simpson prevede la suddivisione dell'intervallo di integrazione in sottointervalli e la sostituzione in questi sottointervalli della funzione integranda mediante archi di parabola, cioè mediante polinomi quadratici.

Consideriamo dunque \,\int_{a}^{b}f(x)\,dx\,; per semplicità di raffigurazione supponiamo sia \,f(x)\ge 0\, in tutto l'intervallo di integrazione \left [a,b \right].

Suddiviso \left [a,b \right] in un numero pari n=2m di sottointervalli, ciascuno di ampiezza \,h:=\frac{b-a}{n}\,. Introduciamo poi le notazioni

x_i:=a+i\cdot h \quad y_i:=f\left(x_i\right) \quad \mbox{per}~i=0,1,...,n

per gli estremi dei successivi sottointervalli e per i valori che la funzione assume in loro corrispondenza.

Consideriamo anche l'intervallo parziale formato da due sottointervalli consecutivi avente come estremi \,x_0\, e \,x_2\,; oltre a questo consideriamo anche i successivi m-1 intervalli parziali aventi come estremi rispettivamente \,x_2\, e \,x_4\,, ... , \,x_{n-2}\, e \,x_n\,.

In ciascuno di questi intervalli parziali ci proponiamo di sostituire f\left(x\right) con una funzione razionale intera di secondo grado. Cominciamo dal primo intervallo parziale e scegliamo un polinomio della forma

y\left(x\right):=A\left(x-x_1\right)^2+B\left(x-x_1\right)+C

in modo che il suo integrale tra x0 e x2 differisca da quello della funzione originale di una quantità che possa risultare trascurabile.

La espressione polinomiale sostitutiva rappresenta una generica parabola con asse di simmetria verticale. Per determinare il valore delle costanti A, B e C si impone il passaggio della parabola per i punti di coordinate:

\left(x_0 ,\, y_0 := f(x_0)\right),~ (x_1 ,\, y_1:= f(x_1)),~ (x_2 ,\, y_2 := f(x_2)) .

In questo modo la parabola è univocamente determinata dalla risoluzione del seguente sistema di equazioni lineari:

\left\{\begin{matrix}y_0=&A(x_0-x_1)^2+B(x_0-x_1)+C\\ y_1=&C\\  y_2=&A(x_2-x_1)^2+B(x_2-x_1)+C\end{matrix}\right. ,

da cui risulta:

A =\frac{y_0+y_2-2y_1}{2h^2},~ B=\frac{y_2-y_0}{2h},~ C=y_1~.

Per il valore dell'integrale di questo polinomio che scriviamo J_1^' si trova:

\int_{x_0}^{x_2}\left[A\left(x-x_1\right)^2+B\left(x-x_1\right)+C \right]\,dx = \left[\frac{A\left(x-x_1\right)^3}{3}+\frac{B\left(x-x_1\right)^2}{2}+Cx\right]_{x_0}^{x_2} =\frac{A(x_2-x_1)^3}{3}+\frac{B(x_2-x_1)^2}{2}+Cx_2-\frac{A(x_0-x_1)^3}{3}+\frac{B(x_0-x_1)^2}{2}+Cx_0=\frac{2Ah^3}{3}+2Ch.

Sostituendo i valori di A, B e C ricavati dal sistema, si ottiene il valore approssimato

J_1^' \,=\, \int_{x_0}^{x_2} f(x)\,dx \,=\, \frac{h}{3}\left(y_0+4y_1+y_2\right) .

Operiamo in modo analogo per il calcolo degli integrali dei polinomi nei successivi m-1 intervalli parziali; successivamente si sommano i valori ottenuti sugli m intervalli parziali e per l'intero intervallo d'integrazione si ottiene un valore approssimato che denotiamo J per l'integrale da valutare: \int_{a}^{b}f(x)\,dx\simeq\frac{h}{3}\left[\left(y_0+4y_1+y_2\right)+ \left(y_2+4y_3+y_4\right )+...+ \left(y_{n-2}+4y_{n-1}+y_n\right)\right] .

Dunque:

J=\frac{h}{3}\left(y_0+4y_1+2y_2+4y_3+2y_4+...+2y_{n-2}+4y_{n-1}+y_n\right) .

Tale formula prende il nome di formula di Cavalieri-Simpson o formula di quadratura delle parabole.

[modifica] Gli errori

Il metodo di quadratura di Cavalieri-Simpson, come ogni metodo di approssimazione numerica, è suscettibile di errori. Oltre all'errore dovuto alla sostituzione della funzione integranda con una sequenza di funzioni approssimanti, i polinomi quadratici, intrinseco al metodo utilizzato, si riscontrano anche errori dovuti all'arrotondamento dei valori yi che vengono concretamente calcolati con strumenti che inevitabilmente operano con precisione limitata.

Per ridurre al minimo questi ultimi, è consigliabile:

  • scegliere un passo di integrazione h con un numero finito di cifre decimali;
  • eseguire i calcoli con un numero di cifre decimali almeno doppio di quello delle cifre che si desiderano esatte nel risultato.

Indicando l'errore intrinseco al metodo \,e\,:=\,J-I\,, si può dimostrare che:

e\simeq kh^4 ,

dove k è una costante che dipende dalla funzione integranda e dall'intervallo d'integrazione. La regola di Cavalieri-Simpson è dunque un metodo del quarto ordine.

Di questo errore può essere molto utile conoscere una maggiorazione; la valutazione accurata di tale maggiorazione non è semplice, poiché richiede di calcolare la derivata quarta della funzione integranda. Per molte funzioni integrande date analiticamente il calcolo della derivata quarta risulta molto oneroso; per funzioni note empiricamente la stessa valutazione della derivata quarta costituisce di per se un problema di calcolo approssimato tendenzialmente oneroso. Di conseguenza in genere per la valutazione dell'errore si preferisce ricorrere a metodi empirici: il più noto e utilizzato è il metodo del dimezzamento del passo.

Da quanto osservato precedentemente segue che, applicando il metodo di Cavalieri-Simpson con un passo di integrazione h, si ottiene l'approssimazione che ora indichiamo con \,J_{(1)}\, affetta da un errore che scriviamo \,e_1=J_{(1)}-I\simeq kh^4\,.

Utilizzando il passo di integrazione \frac{h}{2}, si otterrà il valore approssimato J(2) con errore: \, e_{(2)}=J_{(2)}-I\simeq k\frac{h^4}{16} .

Da tali relazioni segue:

e_{(1)}-e_{(2)} = J_{(1)}-J_{(2)} \simeq k\left(h^4-\frac{h^4}{16}\right) ,

da cui risulta:

e_{(1)}-e_{(2)}k \simeq \frac{16\left(J_{(1)}-J_{(2)}\right)}{15h^4} .

Poiché, trascurando le approssimazioni da arrotondamento, l'approssimazione migliore è data da J(2), sostituendo il valore di k in e_2\simeq k\frac{h^4}{16}, si ottiene:

e_{(2)} \simeq \frac{16\left(J_{(1)}-J_{(2)}\right)}{15h^4}\cdot\frac{h^4}{16}\,\,\rightarrow\,\, e_{(2)}\simeq\frac{J_{(1)}-J_{(2)}}{15} .

Si può quindi assumere come valore assoluto di \,e_{(2)}\,:

e_a \simeq \frac{\left|J_{(1)}-J_{(2)}\right|}{15}

come maggiorazione dell'errore assoluto ~e_{(2)} =\left|J_{(2)}-I\right| .

È interessante osservare che, se le approssimazioni J(1) e J(2) coincidono per le prime r cifre decimali, risulta:

\left|J_{(1)}-J_{(2)}\right|<10^{-r} \,\,\,\rightarrow\,\,\, \frac{\left|J_{(1)}-J_{(2)}\right|}{15}<\frac{10^{-r}}{15}=0.666...\cdot10^{-(r+1)},

il che equivale a dire che le prime r cifre decimali non sono affette da errore.

Si può quindi concludere che se due approssimazioni di un integrale, di cui la seconda ottenuta dimezzando il passo di integrazione utilizzato per calcolare la prima, coincidono per le prime r cifre decimali, tali cifre si possono ritenere esatte.

Più in generale se si vuole conoscere un'approssimazione di un integrale con la garanzia dell'esattezza per un determinato numero s di cifre decimali, si deve calcolare un certo numero di approssimazioni successive, dimezzando di volta in volta il passo, fino ad ottenerne due che coincidono per s cifre.

Osserviamo che può accadere di arrivare alla prima coppia di valori approssimati soddisfacenti che presentano più di s cifre coincidenti. Osserviamo anche che procedendo con la riduzione dell'ampiezza dei sottointervalli, oltre al maggior tempo di calcolo richiesto, si possono avere errori di arrotondamento tutt'altro che trascurabili a causa dell'aumento del numero di operazioni richieste; si può anche arrivare a situazioni che vedono aumentare l'errore complessivo con il ridursi del passo di integrazione.

[modifica] Nota storica

Thomas Simpson è conosciuto al giorno d'oggi soprattutto per la regola di Simpson, il termine prevalente a livello internazionale. In realtà Simpson utilizzò nelle sue opere una formulazione comunque già diffusa, ma ancora non formalizzata all'epoca in cui scriveva. Il procedimento era stato trovato 200 anni prima da Keplero e molti testi tedeschi la chiamano de:Keplersche Fassregel. Inoltre la formula era stata introdotta e dimostrata dal matematico italiano Bonaventura Cavalieri nel 1635 nella sua formulazione geometrica; per questo motivo in molti testi italiani si vuole rendere omaggio anche a Cavalieri. Occorre aggiungere che questa regola era nota anche a Evangelista Torricelli. Per quanto riguarda il mondo britannico, sembra che la regola che porta il nome di Simpson fosse conosciuta e utilizzata in precedenza; essa è stata utilizzata anche da James Gregory.

THIS WEB:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - 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 - 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 - 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 - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - 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 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 -

Static Wikipedia 2007:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - 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 - 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 - 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 - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - 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:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - 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 - 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 - 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 - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - 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