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.
Si consideri una PDE nella forma

sotto la condizione terminale

dove
,
e
sono funzioni note, e
è incognita. La formula di Feynman-Kac stabilisce che la soluzione può essere scritta come un valore atteso
![{\displaystyle f(x,t)={\textrm {E}}\left[\psi (X_{T})|X_{t}=x\right],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7fccc3fd09a923d0ae8fd1162ce27b48cb685f4b)
dove
è un processo di Itō caratterizzato dall'equazione differenziale stocastica
.
Il valore atteso sopra può essere approssimato tramite metodi Monte Carlo o quasi-Monte Carlo.
La verifica della correttezza della soluzione procede applicando il lemma di Itō alla funzione incognita
. Si ha

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

da cui, riorganizzando i termini e prendendo il valore atteso di ambo i membri
![{\displaystyle f(x,t)={\textrm {E}}\left[f(X_{T},T)\right]-{\textrm {E}}\left[\int _{t}^{T}\sigma (x,t){\frac {\partial f}{\partial x}}(x,t)\,dW_{t}\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a6e068eb7a39e579b2690251508e29d9384ef3c)
Poiché il valore atteso di un integrale di Itō rispetto al moto browniano
è nullo, si ottiene la soluzione desiderata:
![{\displaystyle f(x,t)={\textrm {E}}\left[f(X_{T},T)\right]={\textrm {E}}\left[\psi (X_{T})\right]={\textrm {E}}\left[\psi (X_{T})|X_{t}=x\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e970bbded8eee1557d7913b13fa3f56674e70890)
La soluzione sopra illustrata può essere estesa a una classe di PDE più ampia; è infatti possibile mostrare che l'equazione della forma

sotto la condizione terminale

ha per soluzione:
![{\displaystyle f(x,t)={\textrm {E}}\left[\exp \left\{-\int _{t}^{T}k(u)du\right\}\psi (X_{T})|X_{t}=x\right].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d5cd69501ece750e043f9d6b024315e03652b07)
La dimostrazione di questo risultato procede sulla falsariga di quella esposta sopra, con la differenza che il lemma di Itō è applicato alla funzione

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.
Si consideri la PDE

definita per ogni
e ogni
, soggetta alla condizione:

dove
, sono funzioni note,
è un parametro e
l'incognita. La formula di Feynman-Kac stabilisce che la soluzione può essere scritta come un valore atteso condizionato
![{\displaystyle f(x,t)=E^{Q}\left[\int _{t}^{T}e^{-\int _{t}^{r}V(X_{\tau },\tau )\,d\tau }u(X_{r},r)dr+e^{-\int _{t}^{T}V(X_{\tau },\tau )\,d\tau }\psi (X_{T}){\Bigg |}X_{t}=x\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63989fafd4f83ad094b02837ec268023656cc4e3)
rispetto alla misura di probabilità
, tale per cui
è un processo di Itō (processo di Wiener generalizzato) definito dall'equazione:

dove
è un processo di Wiener (moto browniano) e la condizione iniziale per
è
.
Sia
una soluzione dell'equazione. Applicando il lemma di Itō al processo:

si ottiene:

Dal momento che:

il terzo termine è
e può essere trascurato. Si ha inoltre che:

Applicando nuovamente il lemma di Itō a
segue che
Il primo termine contiene tra parentesi la PDE iniziale, ed è quindi nullo. Rimane

Integrando questa equazione da
a
si conclude che

Prendendo il valore atteso (condizionato su
) e osservando che il membro alla destra è un integrale di Itō, che ha valore atteso nullo, segue che:
![{\displaystyle E[Y(T)|X_{t}=x]=E[Y(t)|X_{t}=x]=f(x,t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d37e1c327463e74c6dfbd1ac1af8d9682e574da)
Il risultato cercato si ottiene osservando che
![{\displaystyle E[Y(T)|X_{t}=x]=E\left[e^{-\int _{t}^{T}V(X_{\tau },\tau )\,d\tau }f(X_{T},T)+\int _{t}^{T}e^{-\int _{t}^{r}V(X_{\tau },\tau )\,d\tau }u(X_{r},r)dr{\Bigg |}X_{t}=x\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4728c41d0e34e4b43e445d2e4fb228c7bec459f4)
ed infine:
![{\displaystyle f(x,t)=E\left[e^{-\int _{t}^{T}V(X_{\tau },\tau )\,d\tau }\psi (X_{T})+\int _{t}^{T}e^{-\int _{t}^{s}V(X_{\tau },\tau )d\tau }u(X_{s},s)ds{\Bigg |}X_{t}=x\right].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2241f75636567706b071d6904bc4fac3b9c3d3c)
- (EN) Barry Simon, Functional Integration and Quantum Physics, Academic Press, 1979.
- (EN) B. C. Hall, Quantum Theory for Mathematicians, Springer, 2013.
- (EN) Huyên Pham, Continuous-time stochastic control and optimisation with financial applications, Springer-Verlag, 2009.