Nel calcolo infinitesimale la formula di Eulero-Maclaurin fornisce un collegamento di grande utilità tra il calcolo degli integrali (vedi calcolo infinitesimale) e il calcolo di somme e serie. Essa si può usare per approssimare integrali mediante somme finite e viceversa per valutare somme finite e somme di serie a partire da valori di integrali definiti ottenuti analiticamente o mediante approssimazioni ottenute usando il computer. In particolare da questa formula si deducono molti sviluppi asintotici e la formula di Falhauber per la somma di potenze di interi è una sua immediata conseguenza.
La formula è stata scoperta indipendentemente da Leonhard Euler e Colin Maclaurin attorno al 1735. Eulero l'ha trovata mentre cercava di calcolare serie infinite lentamente convergenti, mentre Maclaurin l'ha utilizzata per calcolare degli integrali specifici. Questa formula è stata generalizzata nel 1886 da Gaston Darboux e questa generalizzazione è nota come formula di Darboux.
La formula
[modifica | modifica wikitesto]Se è un intero positivo e è una funzione liscia (cioè una funzione differenziabile un numero sufficientemente elevato di volte) definita per tutti i numeri reali tra e , allora l'integrale
può essere approssimato con la somma
(regola del trapezio). La formula di Eulero-Maclaurin fornisce espressioni per la differenza tra la somma e l'integrale in termini di derivate di ordine elevato nei punti finali dell'intervallo e . Per ogni numero naturale , si ha
dove sono i numeri di Bernoulli e è un termine di errore che è normalmente piccolo se è abbastanza grande e può essere stimato come
Impiegando la regola di sostituzione, si può adattare questa formula anche a funzioni che sono definite su qualche intervallo della retta reale diverso da .
Se è un polinomio e è un intero abbastanza grande, allora il termine residuo vale zero. Per esempio, se , può essere scelto per ottenere dopo la semplificazione
Con la funzione , la formula di Eulero-Maclaurin può essere usata per derivare con precisione l'errore stimato per l'approssimazione di Stirling della funzione fattoriale.
Bibliografia
[modifica | modifica wikitesto]- M. Abramowitz e I. Stegun (eds.) Handbook of Mathematical Functions (US Governement Printing Office, 1964) p. 806
Collegamenti esterni
[modifica | modifica wikitesto]- Bernoulli numbers, polynomials and applications of the Euler-Maclaurin formula, su numbers.computation.free.fr.