Metodo delle differenze finite

In matematica, il metodo delle differenze finite è una strategia utilizzata per risolvere numericamente equazioni differenziali che, nelle sue varianti, si basa sull'approssimazione delle derivate con equazioni alle differenze finite. Viene utilizzato prevalentemente per equazioni differenziali ordinarie, anche se il metodo viene sfruttato come schema di avanzamento nel tempo per problemi alle derivate parziali.

Derivazione dal polinomio di Taylor

Si consideri una funzione di cui si vogliono approssimare le derivate, e si supponga che, grazie al teorema di Taylor, si possa costruire la serie di Taylor:

${\displaystyle f(x_{0}+h)=f(x_{0})+{\frac {f'(x_{0})}{1!}}h+{\frac {f^{(2)}(x_{0})}{2!}}h^{2}+\cdots +{\frac {f^{(n)}(x_{0})}{n!}}h^{n}+R_{n}(x)}$

dove ${\displaystyle n!}$ denota il fattoriale di ${\displaystyle n}$, mentre ${\displaystyle R_{n}(x)}$ è un termine che denota la differenza tra la funzione originale e il polinomio di Taylor di grado ${\displaystyle n}$. Si deriva quindi l'approssimazione per la prima derivata di ${\displaystyle f}$ troncando il polinomio:

${\displaystyle f(x_{0}+h)=f(x_{0})+f'(x_{0})h+R_{1}(x)}$

Ponendo ${\displaystyle x_{0}=a}$ si ha:

${\displaystyle f(a+h)=f(a)+f'(a)h+R_{1}(x),}$

Dividendo per ${\displaystyle h}$:

${\displaystyle {f(a+h) \over h}={f(a) \over h}+f'(a)+{R_{1}(x) \over h}}$

e risolvendo in funzione di f'(a):

${\displaystyle f'(a)={f(a+h)-f(a) \over h}-{R_{1}(x) \over h}}$

Se si assume che ${\displaystyle R_{1}(x)}$ è sufficientemente piccola, l'approssimazione per la prima derivata di ${\displaystyle f}$ è:

${\displaystyle f'(a)\approx {f(a+h)-f(a) \over h}}$

Ordine di convergenza e differenze finite compatte

Lo stesso argomento in dettaglio: Coefficienti del metodo delle differenze finite.

Se la funzione ${\displaystyle u}$ è abbastanza regolare, si può scriverla come serie di Taylor col resto nella forma di Lagrange:

${\displaystyle u(x+h)=u(x)+hu'(x)+{\frac {h^{2}}{2}}u''(y)}$

Da qui portando ${\displaystyle u(x)}$ a primo membro e dividendo per ${\displaystyle h}$ si ottiene che l'approssimazione di ${\displaystyle u'(x)}$ data precedentemente ha un errore di ordine uno rispetto ad ${\displaystyle h}$. Se la funzione è più regolare, si può sviluppare ad esempio ${\displaystyle u(x)}$ in serie di Taylor al secondo ordine sia in avanti che all'indietro:

${\displaystyle u(x+h)=u(x)+hu'(x)+{\frac {h^{2}}{2}}u''(x)+{\frac {h^{3}}{6}}u'''(y)}$

${\displaystyle u(x-h)=u(x)-hu'(x)+{\frac {h^{2}}{2}}u''(x)-{\frac {h^{3}}{6}}u'''(z)}$

dove ${\displaystyle y}$ sta fra ${\displaystyle x}$ e ${\displaystyle x+h}$ mentre ${\displaystyle z}$ sta tra ${\displaystyle x-h}$ e ${\displaystyle x}$. Se ora si considera la differenza tra la prima e la seconda equazione, si ottiene la differenza finita centrata per la derivata prima:

${\displaystyle u'(x)\,}$ = ${\displaystyle {\frac {u(x+h)-u(x-h)}{2h}}+{\frac {h^{2}}{12}}(u'''(y)+u'''(z))}$

che si vede essere di ordine due rispetto ad ${\displaystyle h}$.

Si può generalizzare l'idea e pensare di prendere una combinazione lineare di espansioni in serie di Taylor di ${\displaystyle u}$ in punti del tipo ${\displaystyle (x+nh)}$, sistemando i coefficienti della combinazione lineare in modo da elidere i termini di troppo e tenere solo quello relativo alla derivata che si vuole approssimare, e il termine di grado più alto (che dà l'ordine di convergenza).

Fin qui abbiamo parlato di differenze finite classiche, ma possono essere costruiti altri schemi, detti delle differenze finite compatte, che si possono usare per approssimare derivate di qualunque ordine, a patto di supporre ${\displaystyle u}$ abbastanza regolare, di avere a disposizione un numero di nodi sufficiente in cui si conoscono i valori di u e delle sue derivate.

Esempio

Si vuole approssimare la derivata seconda con un'accuratezza di ordine 2. Si scrive dunque

${\displaystyle u(x+h)=u(x)+hu'(x)+{\frac {h^{2}}{2}}u''(x)+{\frac {h^{3}}{6}}u'''(x)+{\frac {h^{4}}{24}}u''''(y)}$

${\displaystyle u(x+2h)=u(x)+2hu'(x)+{\frac {4h^{2}}{2}}u''(x)+{\frac {8h^{3}}{6}}u'''(x)+{\frac {16h^{4}}{24}}u''''(z)}$

${\displaystyle u(x+3h)=u(x)+3hu'(x)+{\frac {9h^{2}}{2}}u''(x)+{\frac {27h^{3}}{6}}u'''(x)+{\frac {81h^{4}}{24}}u''''(w)}$

${\displaystyle u(x+4h)=u(x)+4hu'(x)+{\frac {16h^{2}}{2}}u''(x)+{\frac {64h^{3}}{6}}u'''(x)+{\frac {256h^{4}}{24}}u''''(q)}$

Moltiplicando la prima equazione per ${\displaystyle a}$, la seconda per ${\displaystyle b}$, la terza per ${\displaystyle c}$, la quarta per ${\displaystyle d}$; e quindi sommando, si ottiene (per semplicità di notazioni si indica con ${\displaystyle u_{n}}$ il valore di ${\displaystyle u}$ in ${\displaystyle x+nh}$):

${\displaystyle au_{1}+bu_{2}+cu_{3}+du_{4}=(a+b+c+d)u_{0}+(a+2b+3c+4d)hu'_{0}+(a+4b+9c+16d){\frac {h^{2}}{2}}u''_{0}}$

${\displaystyle +(a+8b+27c+64d){\frac {h^{3}}{6}}u'''_{0}+a{\frac {h^{4}}{24}}u''''(y)+b{\frac {16h^{4}}{24}}u''''(z)+c{\frac {81h^{4}}{24}}u''''(w)+d{\frac {256h^{4}}{24}}u''''(q)}$

Si deve ora imporre che resti, a secondo membro, solo il termine relativo alla derivata seconda, quindi annulliamo tutti i coefficienti per le altre derivate. Si pone quindi:

${\displaystyle a+b+c+d=0}$

${\displaystyle a+2b+3c+4d=0}$

${\displaystyle a+4b+9c+16d=2}$

${\displaystyle a+8b+27c+64d=0}$

in modo che dividendo per ${\displaystyle h^{2}}$ si ottenga:

${\displaystyle {\frac {au_{1}+bu_{2}+cu_{3}+du_{4}}{h^{2}}}=u''_{0}+o(h^{2})}$

che è di ordine due, come era richiesto.

Bibliografia

• (EN) George Boole Treatise on the calculus of finite differences (London, MacMillan, 1880)
• (EN) Lewis Fry Richardson The Approximate Arithmetical Solution by Finite Differences of Physical Problems involving Differential Equations, with an Application to the Stresses in a Masonry Dam Philosophical Transactions of the Royal Society A, 210, p. 307 (1911).
• (DE) N. E. Norlund, Neuere Untersuchungen über Differenzengleichungen in Encyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen Band 2, T.3, H.2, pp. 675–717 (1922)
• (DE) R. Courant, K. Friedrichs e H. Lewy Über die partiellen Differenzengleichungen der mathematischen Physik Math. Ann. 100, 32 (1928); traduzione in inglese: On the partial difference equations of Mathematical Physics IBM Journal of Research and Development 11, p. 215 (1967)
• (EN) L. M. Milne-Thomson The Calculus Of Finite Differences (London, MacMillan, 1933)
• (EN) M. Abramowitz e I. Stegun Handbook of Mathematical Functions (New York, Dover, 1972) pp. 882-885

Voci correlate

• Coefficienti del metodo delle differenze finite
• Differenza finita
• Equazione alle differenze
• Metodo di Lax-Wendroff
• Relazione di ricorrenza

Altri progetti

Altri progetti

• Wikimedia Commons

• Wikimedia Commons contiene immagini o altri file su metodo delle differenze finite

Collegamenti esterni

• Salvatore Pincherle, DIFFERENZE, CALCOLO DELLE, in Enciclopedia Italiana, Istituto dell'Enciclopedia Italiana, 1931.
• differenze finite, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
• (EN) finite difference method, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) LLoyd N. Trefethen Finite Difference and Spectral Methods for Ordinary and Partial Differential Equations
• (EN) Finite-Difference Method (see and listen to lecture 9), su emlab.utep.edu. URL consultato il 21 settembre 2014 (archiviato dall'url originale il 2 marzo 2014).
• (EN) List of Internet Resources for the Finite Difference Method for PDEs, su math.fullerton.edu. URL consultato il 21 settembre 2014 (archiviato dall'url originale il 18 agosto 2006).
• (EN) Finite Difference Method of Solving ODEs (Boundary Value Problems) Notes, PPT, Maple, Mathcad, Matlab, Mathematica, su numericalmethods.eng.usf.edu.
• (EN) Lecture Notes Shih-Hung Chen, National Central University
• (EN) Randall J. LeVeque, Finite Difference Methods for Ordinary and Partial Differential Equations, SIAM, 2007.
• (EN) Finite Difference Method, su adeptscience.co.uk. URL consultato il 21 settembre 2014 (archiviato dall'url originale il 26 febbraio 2012).
• (EN) Finite Difference Method for Boundary Value Problems, su math.fullerton.edu. URL consultato il 21 settembre 2014 (archiviato dall'url originale l'8 luglio 2013).
• (EN) Finite Difference Methodology in Materials Science, su composite-agency.com. URL consultato il 21 settembre 2014 (archiviato dall'url originale il 7 febbraio 2012).

Controllo di autorità	Thesaurus BNCF 58948 · LCCN (EN) sh85048348 · GND (DE) 4194626-1 · BNF (FR) cb13564043x (data) · J9U (EN, HE) 987007531228905171 · NDL (EN, JA) 00569934

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica