Feynman-Kac formula
From Wikipedia, the free encyclopedia
The Feynman-Kac formula, named after Richard Feynman and Mark Kac, establishes a link between partial differential equations (PDEs) and stochastic processes. 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 called Brownian motion) and the initial condition for is . This expectation can then be approximated using Monte Carlo or quasi-Monte Carlo methods.
Contents |
[edit] 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 a Wiener process is zero, one gets the desired result:
[edit] Remarks
When originally published by Kac in 1949[1], 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 a diffusion equation. Specifically, under the conditions that ,
where and
The Feynman-Kac formula can also be interpreted as a method for evaluating functional integrals 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 .
[edit] See also
- Itō's lemma
- Kunita-Watanabe theorem
- Girsanov theorem
- Kolmogorov forward equation (also known as Fokker-Planck equation)
[edit] References
- Simon, Barry (1979). Functional Integration and Quantum Physics. Academic Press.
- ^ Kac, Mark (1949). "On Distributions of Certain Wiener Functionals". Transactions of the American Mathematical Society 65 (1): 1-13.