- Feynman-Kac formula
The Feynman-Kac formula, named after
Richard Feynman andMark Kac , establishes a link betweenpartial differential equation s (PDEs) andstochastic process es. It offers a method of solving certain PDEs by simulating random paths of a stochastic process. Conversely, stochastic PDEs can be solved by deterministic methods.Suppose we are given the PDE
:
subject to the terminal condition
:
where are known functions, is a parameter and is the unknown. This is known as the (one-dimensional)
Kolmogorov backward equation . Then the Feynman-Kac formula tells us that the solution can be written as an expectation::
where is an
Itō process driven by the equation:
where is a
Wiener process (also calledBrownian motion ) and the initial condition for is . This expectation can then be approximated using Monte Carlo orquasi-Monte Carlo method s.Proof
Applying
Itō's lemma to the unknown function one gets:
The first term in parentheses is the above PDE and is zero by hypothesis. Integrating both sides one gets
:
Reorganising and taking the expectation of both sides:
:
Since the expectation of an
Itō integral with respect to aWiener process is zero, one gets the desired result::
Remarks
When originally published by Kac in 1949 [cite journal|last=Kac|first=Mark|title=On Distributions of Certain Wiener Functionals|journal=Transactions of the American Mathematical Society|authorlink=Mark Kac|volume=65|issue=1|pages=1–13|url=http://www.jstor.org/stable/1990512|date=1949|accessdate=2008-05-30|doi=10.2307/1990512] , the Feynman-Kac formula was presented as a formula for determining the distribution of certain Wiener functionals. Suppose we wish to find the expected value of the function
:
in the case where is some realization of a diffusion process starting at . The Feynman-Kac formula says that this expectation is equivalent to the integral of a solution to adiffusion equation. Specifically, under the conditions that ,
:
where and
:
The Feynman-Kac formula can also be interpreted as a method for evaluating
functional integral s of a certain form. If:
where the integral is taken over all random walks, then
:
where is a solution to the
parabolic partial differential equation :
with initial condition .
See also
*
Itō's lemma
*Kunita-Watanabe theorem
*Girsanov theorem
*Kolmogorov forward equation (also known as Fokker-Planck equation)References
*
Wikimedia Foundation. 2010.