Feynman-Kac formula connects the solution to a SDE to the solution of a PDE. For example, the Black-Scholes formula is an application of Feynman-Kac.
Let satisfies the following SDE driven by standard Brownian Motion:
Let be a Borel measurable function, and . Define
Then, satisfies PDE
Proof.
To get an idea of how this formula is proved, we start with a base case. The general case is proved by the same manner with a little more complicated calculation.
Suppose .
Let be the natural filtration associated with the standard Brownian Motion in the SDE. By the Markov property of the solution to SDE, we have ,
Then, for
Hence, is a martingale.
Then, we apply Ito’s formula to . Its drift term should be zero because it is a martingale. This leads to the Feynman-Kac PDE.
By setting the term equal to , we get the PDE:
For the general case, we only need to factor out the integral and make the integral inside the expectation only contains term. We will get is a martingale with defined as:
Similarly, by applying Ito’s formula to above martingale and setting the drift term equal to 0, we will get the result.
Hi there, I read your blogs on a regular basis. Your humoristic style is witty, keep it up!