Formula di Feynman-Kac

Da testwiki.
Vai alla navigazione Vai alla ricerca

In matematica, la formula di Feynman-Kac, il cui nome si deve ai suoi autori Richard Feynman e Mark Kac, è un'equazione che fornisce una rappresentazione della soluzione di alcune classi di equazioni alle derivate parziali (PDE) utilizzando le proprietà probabilistiche dei processi stocastici.

Equazione omogenea

Si consideri una PDE nella forma

ft(x,t)+μ(x,t)fx(x,t)+12σ2(x,t)2fx2(x,t)=0,

sotto la condizione terminale

f(x,T)=ψ(x),

dove μ, σ e ψ sono funzioni note, e f è incognita. La formula di Feynman-Kac stabilisce che la soluzione può essere scritta come un valore atteso

f(x,t)=E[ψ(XT)|Xt=x],

dove X è un processo di Itō caratterizzato dall'equazione differenziale stocastica

dX=μ(X,t)dt+σ(X,t)dWt.

Il valore atteso sopra può essere approssimato tramite metodi Monte Carlo o quasi-Monte Carlo.

Dimostrazione

La verifica della correttezza della soluzione procede applicando il lemma di Itō alla funzione incognita f. Si ha

df(x,t)=(μ(x,t)fx(x,t)+ft(x,t)+12σ2(x,t)2fx2(x,t))dt+σ(x,t)fx(x,t)dWt.

Il primo termine tra parentesi è la PDE in questione, ed è per ipotesi nullo. Integrando ambo i membri dell'espressione restante si ottiene

tTdf(x,t)=f(XT,T)f(x,t)=tTσ(x,t)fx(x,t)dWt,

da cui, riorganizzando i termini e prendendo il valore atteso di ambo i membri

f(x,t)=E[f(XT,T)]E[tTσ(x,t)fx(x,t)dWt]

Poiché il valore atteso di un integrale di Itō rispetto al moto browniano Wt è nullo, si ottiene la soluzione desiderata:

f(x,t)=E[f(XT,T)]=E[ψ(XT)]=E[ψ(XT)|Xt=x]

Estensione 1

La soluzione sopra illustrata può essere estesa a una classe di PDE più ampia; è infatti possibile mostrare che l'equazione della forma

ft(x,t)+μ(x,t)fx(x,t)+12σ2(x,t)2fx2(x,t)k(t)f(x,t)=0

sotto la condizione terminale

 f(x,T)=ψ(x)

ha per soluzione:

f(x,t)=E[exp{tTk(u)du}ψ(XT)|Xt=x].

La dimostrazione di questo risultato procede sulla falsariga di quella esposta sopra, con la differenza che il lemma di Itō è applicato alla funzione

g(x,t)=f(x,t)exp{tTk(u)du}.

La soluzione di equazioni nella forma testé esaminata è frequente nell'ambito della finanza matematica; la celebre equazione di Black-Scholes, che determina il prezzo di non arbitraggio di uno strumento derivato, ha infatti tale forma.

Estensione 2

Si consideri la PDE

ft(x,t)+μ(x,t)fx(x,t)+12σ2(x,t)2fx2(x,t)V(x,t)f(x,t)+u(x,t)=0,

definita per ogni x e ogni t[0,T], soggetta alla condizione:

f(x,T)=ψ(x),

dove μ,σ,ψ,V,u, sono funzioni note, T è un parametro e f:×[0,T] l'incognita. La formula di Feynman-Kac stabilisce che la soluzione può essere scritta come un valore atteso condizionato

f(x,t)=EQ[tTetrV(Xτ,τ)dτu(Xr,r)dr+etTV(Xτ,τ)dτψ(XT)|Xt=x]

rispetto alla misura di probabilità Q, tale per cui X è un processo di Itō (processo di Wiener generalizzato) definito dall'equazione:

dX=μ(X,t)dt+σ(X,t)dWQ

dove WQ(t) è un processo di Wiener (moto browniano) e la condizione iniziale per X(t) è X(0)=x.

Derivazione

Sia f(x,t) una soluzione dell'equazione. Applicando il lemma di Itō al processo:

Y(s)=etsV(Xτ,τ)dτf(Xs,s)+tsetrV(Xτ,τ)dτu(Xr,r)dr

si ottiene:

dY=detsV(Xτ,τ)dτf(Xs,s)+etsV(Xτ,τ)dτdf(Xs,s)+detsV(Xτ,τ)dτdf(Xs,s)+dtsetrV(Xτ,τ)dτu(Xr,r)dr

Dal momento che:

detsV(Xτ,τ)dτ=V(Xs,s)etsV(Xτ,τ)dτds

il terzo termine è o(dtdu) e può essere trascurato. Si ha inoltre che:

dtsetrV(Xτ,τ)dτu(Xr,r)dr=etsV(Xτ,τ)dτu(Xs,s)ds

Applicando nuovamente il lemma di Itō a du(Xs,s) segue chedY=etsV(Xτ,τ)dτ(V(Xs,s)f(Xs,s)+u(Xs,s)+μ(Xs,s)fX+fs+12σ2(Xs,s)2fX2)ds+etsV(Xτ,τ)dτσ(X,s)fXdWIl primo termine contiene tra parentesi la PDE iniziale, ed è quindi nullo. Rimane

dY=etsV(Xτ,τ)dτσ(X,s)fXdW.

Integrando questa equazione da t a T si conclude che

Y(T)Y(t)=tTetsV(Xτ,τ)dτσ(X,s)fXdW

Prendendo il valore atteso (condizionato su Xt=x) e osservando che il membro alla destra è un integrale di Itō, che ha valore atteso nullo, segue che:

E[Y(T)|Xt=x]=E[Y(t)|Xt=x]=f(x,t)

Il risultato cercato si ottiene osservando che

E[Y(T)|Xt=x]=E[etTV(Xτ,τ)dτf(XT,T)+tTetrV(Xτ,τ)dτu(Xr,r)dr|Xt=x]

ed infine:

f(x,t)=E[etTV(Xτ,τ)dτψ(XT)+tTetsV(Xτ,τ)dτu(Xs,s)ds|Xt=x].

Bibliografia

Voci correlate

Template:Portale