Approssimazione di Stirling

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca
Al crescere di n, il rapporto tra (ln n!) e (n ln n − n) tende a 1.

In matematica l'approssimazione di Stirling o formula di Stirling o formula approssimata di Stirling è un'approssimazione per fattoriali grandi. Deve il suo nome al matematico scozzese James Stirling (1692-1770).

La formulazione corretta è:

che viene scritta spesso come:

Per valori elevati di il secondo membro della formula fornisce una buona approssimazione di che si può calcolare rapidamente e facilmente. Ad esempio la formula per 30! fornisce l'approssimazione 2,6452 × 1032, mentre un valore più preciso è 2,6525 × 1032; in questo caso si ha una discrepanza minore dello 0,3%, più precisamente:

Stime elementari[modifica | modifica wikitesto]

Una stima elementare per il fattoriale si può ricavare tramite una tecnica di somma parziale. Sia un intero, allora

dove e sono la parte intera e la parte frazionaria di .

Segue che

che, passando all'esponenziale, diventa

Derivazione[modifica | modifica wikitesto]

La formula, come pure la stima dell'errore, può essere derivata sviluppando il logaritmo naturale del fattoriale

e per espressioni come questa si può utilizzare la formula di Eulero-Maclaurin.

Tale formula di approssimazione può essere espressa in forma logaritmica:

La costante vale approssimativamente 0,918938533204673, arrotondata alle 15 cifre decimali.

La formula si può ottenere anche attraverso ripetute integrazioni per parti. Il termine principale dell'espressione può ottenersi applicando il metodo della discesa del gradiente.

Derivazione alternativa[modifica | modifica wikitesto]

Una formula alternativa per usando la funzione Gamma è

(come si può vedere attraverso ripetute integrazioni per parti). Effettuando il cambio di variabile si ha

Applicando il metodo di Laplace si ottiene:

e si ricava nuovamente la formula di Stirling,

Difatti ulteriori correzioni si possono ottenere utilizzando il metodo di Laplace. Per esempio, sviluppando all'ordine successivo, il metodo di Laplace fornisce

e dà la formula di Stirling con un ulteriore ordine

Una versione dell'analisi complessa di questo metodo[1] è di considerare come un coefficiente della serie di Taylor della funzione esponenziale , calcolato con la formula integrale di Cauchy:

L'integrale di linea può essere approssimato utilizzando il metodo della discesa del gradiente con un'appropriata scelta del raggio del contorno . La porzione dominante dell'integrale vicino al punto di sella è successivamente approssimato dall'integrale reale e dal metodo di Laplace, mentre la parte rimanente può essere maggiorata per avere un termine d'errore.

Velocità di convergenza e stima dell'errore[modifica | modifica wikitesto]

Più precisamente si ha

con

In effetti la formula di Stirling è una approssimazione della seguente serie (ora chiamata serie di Stirling):

Quando , l'errore della serie troncata è asintoticamente uguale al primo termine omesso. Questo è un esempio di sviluppo asintotico.

È chiamata serie di Stirling anche quella dello sviluppo asintotico del logaritmo:

In questo caso si dimostra che l'errore che si commette troncando la serie ha lo stesso segno e al più la grandezza del primo termine omesso.

Formula di Stirling per la funzione gamma[modifica | modifica wikitesto]

La formula di Stirling si può applicare (non sempre) anche alla funzione gamma, la funzione che estende il fattoriale al campo complesso, denotata con le seguenti scritture

e definita per tutti i numeri complessi eccetto gli interi non positivi. Se allora

Integrando per parti ripetutamente si ottiene lo sviluppo asintotico

dove è l'-esimo numero di Bernoulli. La formula vale per sufficientemente grande quando , con positivo, con un termine di errore del tipo quando si usano i primi termini dello sviluppo.

Una versione convergente della formula di Stirling[modifica | modifica wikitesto]

Per ottenere una versione convergente della formula di Stirling bisogna calcolare

Un modo per far questo si serve di una serie convergente di fattoriali crescenti. Se scriviamo , si trova

dove

Da qui si ottiene una versione della serie di Stirling

che converge quando .

Storia[modifica | modifica wikitesto]

La formula venne scoperta per la prima volta da de Moivre (1667-1754) nella forma

[2]

Il contributo di Stirling consiste nell'aver dimostrato che la costante di proporzionalità è uguale a .

Versioni più precise sono state ottenute da Binet.

Note[modifica | modifica wikitesto]

  1. ^ Phillipe Flajolet and Robert Sedgewick, Analytic Combinatorics, p. 555
  2. ^ Si è adottata la notazione della Stima asintotica

Bibliografia[modifica | modifica wikitesto]

Voci correlate[modifica | modifica wikitesto]

Altri progetti[modifica | modifica wikitesto]

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