Lemma di Itō

lemma usato nel calcolo stocastico

In matematica, il lemma di Itō ("Formula di Itō") è usato nel calcolo stocastico al fine di computare il differenziale di una funzione di un particolare tipo di processo stocastico. Trova ampio impiego nella matematica finanziaria.

Il lemma è un'estensione dello sviluppo in serie di Taylor che si usa per funzioni deterministiche, ossia senza termine casuale, ed è applicabile per una funzione stocastica, ossia con un termine in dW. Tale termine non è un differenziale esatto e rappresenta la componente casuale di una variabile aleatoria. dW è l'abbreviazione che indica un processo di Wiener, usato per rappresentare il moto delle particelle nella teoria cinetica dei gas. In frazioni piccole a piacere della variabile temporale, una grandezza di questo tipo manifesta comunque un'elevata variabilità.

Dal lemma di Itō si ricava l'integrale di Itō, che estende e generalizza l'integrale di Riemann per funzioni stocastiche. Diversamente dall'integrale di Riemann, non ha un significato geometrico, non è un'area.

Enunciato del lemma

modifica

Sia   un processo di Itō (o processo di Wiener generalizzato); in altre parole,   soddisfa l'equazione differenziale stocastica:

 

Sia inoltre una funzione  , avente derivata seconda continua. Allora:

  •   è ancora un processo di Itō;
  • Si ha:
 

Giustificazione informale del risultato

modifica

Tramite un'espansione in serie di Taylor di   si ottiene:

 

Sostituendo   dalla SDE sopra si ha:

 

Lo sviluppo in serie di Taylor viene di solito troncato al primo ordine; già questo consente una buona approssimazione della funzione di partenza. In questo caso, bisogna considerare che i termini in   vanno come quelli in  ; avendo lo stesso ordine di grandezza troncando al primo ordine, devono essere considerati anche i termini in  . Passando al limite per   tendente a 0, i termini   scompaiono. Infatti, nei limiti infinitesimi (a zero) prevale la potenza con esponente più basso, che arriva a zero più lentamente degli altri termini. Per contro   tende a  ; quest'ultima proprietà può essere dimostrata provando che:

  se  

Sostituendo questi risultati nell'espressione per   si ottiene:

 

come richiesto. Una dimostrazione formale di questo risultato richiede la definizione di un integrale stocastico.

Bibliografia

modifica

Voci correlate

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