HOME

TheInfoList



OR:

The Feynman–Kac formula, named after
Richard Feynman Richard Phillips Feynman (; May 11, 1918 – February 15, 1988) was an American theoretical physicist. He is best known for his work in the path integral formulation of quantum mechanics, the theory of quantum electrodynamics, the physics of t ...
and Mark Kac, establishes a link between
parabolic partial differential equation A parabolic partial differential equation is a type of partial differential equation (PDE). Parabolic PDEs are used to describe a wide variety of time-dependent phenomena in, for example, engineering science, quantum mechanics and financial ma ...
s and
stochastic process In probability theory and related fields, a stochastic () or random process is a mathematical object usually defined as a family of random variables in a probability space, where the index of the family often has the interpretation of time. Sto ...
es. In 1947, when Kac and Feynman were both faculty members at
Cornell University Cornell University is a Private university, private Ivy League research university based in Ithaca, New York, United States. The university was co-founded by American philanthropist Ezra Cornell and historian and educator Andrew Dickson W ...
, Kac attended a presentation of Feynman's and remarked that the two of them were working on the same thing from different directions. The Feynman–Kac formula resulted, which proves rigorously the real-valued case of Feynman's path integrals. The complex case, which occurs when a particle's spin is included, is still an open question. It offers a method of solving certain partial differential equations by simulating random paths of a stochastic process. Conversely, an important class of expectations of random processes can be computed by deterministic methods.


Theorem

Consider the partial differential equation \fracu(x,t) + \mu(x,t) \fracu(x,t) + \tfrac \sigma^2(x,t) \fracu(x,t) -V(x,t) u(x,t) + f(x,t) = 0, defined for all x \in \mathbb and t \in , T/math>, subject to the terminal condition u(x,T) = \psi(x), where \mu,\sigma,\psi,V,f are known functions, T is a parameter, and u:\mathbb \times ,T\to \mathbb is the unknown. Then the Feynman–Kac formula expresses u(x,t) as a
conditional expectation In probability theory, the conditional expectation, conditional expected value, or conditional mean of a random variable is its expected value evaluated with respect to the conditional probability distribution. If the random variable can take on ...
under the
probability measure In mathematics, a probability measure is a real-valued function defined on a set of events in a σ-algebra that satisfies Measure (mathematics), measure properties such as ''countable additivity''. The difference between a probability measure an ...
Q where X is an Itô process satisfying dX_t = \mu(X_t,t) \, dt + \sigma(X_t,t) \, dW^Q_t, g_\tau and g_s are functions defined as g_\kappa(a, b) = \exp\left(-\int_a^b V(X_\kappa, \kappa) \, d\kappa\right) where \kappa can be substituted for \tau or s as appropriate, and W_t^ a
Wiener process In mathematics, the Wiener process (or Brownian motion, due to its historical connection with Brownian motion, the physical process of the same name) is a real-valued continuous-time stochastic process discovered by Norbert Wiener. It is one o ...
(also called
Brownian motion Brownian motion is the random motion of particles suspended in a medium (a liquid or a gas). The traditional mathematical formulation of Brownian motion is that of the Wiener process, which is often called Brownian motion, even in mathematical ...
) under Q.


Intuitive interpretation

Suppose that the position X_t of a particle evolves according to the diffusion process dX_t = \mu(X_t,t) \, dt + \sigma(X_t,t) \, dW^Q_t. Let the particle incur "cost" at a rate of f(X_s, s) at location X_s at time s. Let it incur a final cost at \psi(X_T). Also, allow the particle to decay. If the particle is at location X_s at time s, then it decays with rate V(X_s, s). After the particle has decayed, all future cost is zero. Then u(x, t) is the expected cost-to-go, if the particle starts at (t, X_t = x).


Partial proof

A proof that the above formula is a solution of the differential equation is long, difficult and not presented here. It is however reasonably straightforward to show that, ''if a solution exists'', it must have the above form. The proof of that lesser result is as follows:


Derivation of the Feynman-Kac formula

Show that the solution u(x,t) from the Feynman-Kac formula satisfies the PDE: : \frac + \mu \frac + \frac \sigma^2 \frac - V u + f = 0. Let g(t,s) = e^. Its differential satisfies: : dg(t,s) = -V(X_s, s) g(t,s) \, ds. Define the process: : Y_s = g(t,s) u(X_s, s) + \int_t^s g(t,\tau) f(X_\tau, \tau) \, d\tau. At boundary times: : Y_t = u(X_t, t), \quad Y_T = g(t,T) \psi(X_T) + \int_t^T g(t,\tau) f(X_\tau, \tau) \, d\tau. If Y_s is a martingale, then we have : u(X_, t) = Y_ = \mathbb _ \mid X_=x So we just need to prove Y_s is a martingale. Assume X_s follows the SDE : dX_s = \mu(X_s, s) \, ds + \sigma(X_s, s) \, dW_s. By
Itô's lemma In mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. ...
: : du(X_s, s) = \left( \frac + \mu \frac + \frac \sigma^2 \frac \right) ds + \sigma \frac dW_s. Differentiate Y_s: : dY_s = d\left (t,s) u(X_s, s)\right+ g(t,s) f(X_s, s) \, ds. Expand d u/math>: : d u= g \, du + u \, dg + \underbrace_. Substitute dg = -V g \, ds and du: : d u= g \left( \frac + \mu \frac + \frac \sigma^2 \frac \right) ds : \qquad\quad +\; g \sigma \frac \, dW_s \;-\; V g u \, ds. Add the integral term: : dY_s = \left g \left( \frac + \mu \frac + \frac \sigma^2 \frac \right) - V g u + g f \rightds + g \sigma \frac dW_s. For Y_s to be a martingale, the drift term must vanish: : \frac + \mu \frac + \frac \sigma^2 \frac - V u + f = 0.


Remarks about the derivation

* The proof above that a solution must have the given form is essentially that of with modifications to account for f(x,t). * The expectation formula above is also valid for ''N''-dimensional Itô diffusions. The corresponding partial differential equation for u:\mathbb^N\times ,T\to\mathbb becomes: \frac + \sum_^N \mu_i(x,t)\frac + \frac \sum_^N \sum_^N\gamma_(x,t) \frac -r(x,t)\,u = f(x,t), where, \gamma_(x,t) = \sum_^N \sigma_(x,t)\sigma_(x,t), i.e. \gamma = \sigma \sigma^, where \sigma^ denotes the
transpose In linear algebra, the transpose of a Matrix (mathematics), matrix is an operator which flips a matrix over its diagonal; that is, it switches the row and column indices of the matrix by producing another matrix, often denoted by (among other ...
of \sigma. * More succinctly, letting A be the infinitesimal generator of the diffusion process,\frac + A u -r(x,t)\,u = f(x,t), * This expectation can then be approximated using
Monte Carlo Monte Carlo ( ; ; or colloquially ; , ; ) is an official administrative area of Monaco, specifically the Ward (country subdivision), ward of Monte Carlo/Spélugues, where the Monte Carlo Casino is located. Informally, the name also refers to ...
or
quasi-Monte Carlo method In numerical analysis, the quasi-Monte Carlo method is a method for numerical integration and solving some other problems using low-discrepancy sequences (also called quasi-random sequences or sub-random sequences) to achieve variance reduction. ...
s. * When originally published by Kac in 1949, This paper is reprinted in 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 \exp\left(-\int_0^t V(x(\tau))\, d\tau\right) in the case where ''x''(τ) 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 u V(x) \geq 0, \operatorname\left exp\left(- u \int_0^t V(x(\tau))\, d\tau\right) \right= \int_^ w(x,t)\, dx where and \frac = \frac \frac - u V(x) w. The Feynman–Kac formula can also be interpreted as a method for evaluating functional integrals of a certain form. If I = \int f(x(0)) \exp\left(-u\int_0^t V(x(t))\, dt\right) g(x(t))\, Dx where the integral is taken over all
random walk In mathematics, a random walk, sometimes known as a drunkard's walk, is a stochastic process that describes a path that consists of a succession of random steps on some Space (mathematics), mathematical space. An elementary example of a rand ...
s, then I = \int w(x,t) g(x)\, dx where is a solution to the
parabolic partial differential equation A parabolic partial differential equation is a type of partial differential equation (PDE). Parabolic PDEs are used to describe a wide variety of time-dependent phenomena in, for example, engineering science, quantum mechanics and financial ma ...
\frac = \frac \frac - u V(x) w with initial condition .


Example Application

In practical applications, the Feynman–Kac formula can be used with numerical methods like Euler-Maruyama to numerically approximate solutions to partial differential equations. For instance, it can be applied to the convection–diffusion partial differential equation (PDE): :\frac u(x, t) + b \frac u(x, t) = -\sigma^2 \frac u(x, t) Consider the convection–diffusion PDE with parameters b = 1, \sigma = 1 and terminal condition is u(x,T) = e^ with T = 1. Then the PDE has analytic solution: :u(x, t) = \frac \exp \left(\frac \right) Applying the Feynman-Kac formula, the solution can also be written as the conditional expectation: :u(x, t) = \mathbb X_ = x_= \mathbb X_0 = x_0/math> where X is an Itô process governed by the SDE dX_t = dt + \sqrt dW_t and W_t is a Wiener process. Then using the Euler-Maruyama method, the SDE can be numerically integrated forwards in time from the initial conditions (x_0, t_0) till the terminal time T, yielding simulated values of X_T. To approximate the expectation in the Feynman-Kac method, the simulation is repeated N times. These are often called realizations. The solution is then estimated by the Monte Carlo average :u(x_0, t_0) \approx \frac \sum_^ \exp\left( - \left( X_T^ \right)^2 \right) The figure below compares the analytical solution with the numerical approximation obtained using the Euler–Maruyama method with N = 1000. The left-hand plots show vertical slices of the gradient plot on the right, with each vertical line on the surface corresponding to a colored curve on the left. While the numerical solution exhibits some noise, it closely follows the shape of the exact solution. Increasing the number of simulations N or decreasing the Euler–Maruyama time step improves the accuracy and reduces the variance of the approximation. This example illustrates how stochastic simulation, enabled by the Feynman–Kac formula and numerical methods like Euler–Maruyama, can approximate PDE solutions. In practice, such stochastic approaches are especially valuable when dealing with high-dimensional systems or complex geometries where traditional PDE solvers become computationally prohibitive. One key advantage of the SDE-based method is its natural parallelism—each simulation, or realization, can be computed independently—making it well-suited for high-performance computing environments. While stochastic simulations introduce variance, this can be mitigated by increasing the number of realizations or refining the time discretization. Thus, stochastic differential equations provide a flexible and scalable alternative to deterministic PDE solvers, particularly in contexts where uncertainty is intrinsic or dimensionality poses a computational barrier. In contrast to traditional PDE solvers, which typically require solving for the entire solution over a grid, this method enables direct computation at specific points in space and time. This targeted approach allows computational resources to be focused on regions of interest, potentially resulting in substantial efficiency gains.


Applications


Finance

In
quantitative finance Mathematical finance, also known as quantitative finance and financial mathematics, is a field of applied mathematics, concerned with mathematical modeling in the financial field. In general, there exist two separate branches of finance that requ ...
, the Feynman–Kac formula is used to efficiently calculate solutions to the
Black–Scholes equation In mathematical finance, the Black–Scholes equation, also called the Black–Scholes–Merton equation, is a partial differential equation (PDE) governing the price evolution of derivatives under the Black–Scholes model. Broadly speaking, the ...
to price options on stocks and
zero-coupon bond A zero-coupon bond (also discount bond or deep discount bond) is a bond in which the face value is repaid at the time of maturity. Unlike regular bonds, it does not make periodic interest payments or have so-called coupons, hence the term zer ...
prices in affine term structure models. For example, consider a stock price S_t undergoing geometric Brownian motion dS_t = \left(r_t dt + \sigma_t dW_t\right) S_t where r_t is the risk-free interest rate and \sigma_t is the volatility. Equivalently, by Itô's lemma, d\ln S_t = \left(r_t - \tfrac 1 2 \sigma_t^2\right)dt + \sigma_t \, dW_t. Now consider a European call option on an S_t expiring at time T with strike K. At expiry, it is worth (X_T - K)^+. Then, the risk-neutral price of the option, at time t and stock price x, is u(x, t) = \operatorname\left \ln S_t = \ln x \right Plugging into the Feynman–Kac formula, we obtain the Black–Scholes equation: \begin \partial_t u + Au - r_t u = 0 \\ u(x, T) = (x-K)^+ \end where A = (r_t -\sigma_t^2/2)\partial_ + \frac 12 \sigma_t^2 \partial_^2 = r_t x\partial_x + \frac 1 2 \sigma_t^2 x^2 \partial_^2. More generally, consider an option expiring at time T with payoff g(S_T). The same calculation shows that its price u(x,t) satisfies \begin \partial_t u + Au - r_t u = 0 \\ u(x, T) = g(x). \end Some other options like the
American option In finance, the style or family of an option is the class into which the option falls, usually defined by the dates on which the option may be exercised. The vast majority of options are either European or American (style) options. These options ...
do not have a fixed expiry. Some options have value at expiry determined by the past stock prices. For example, an average option has a payoff that is not determined by the underlying price at expiry but by the average underlying price over some predetermined period of time. For these, the Feynman–Kac formula does not directly apply.


Quantum mechanics

In
quantum chemistry Quantum chemistry, also called molecular quantum mechanics, is a branch of physical chemistry focused on the application of quantum mechanics to chemical systems, particularly towards the quantum-mechanical calculation of electronic contributions ...
, it is used to solve the
Schrödinger equation The Schrödinger equation is a partial differential equation that governs the wave function of a non-relativistic quantum-mechanical system. Its discovery was a significant landmark in the development of quantum mechanics. It is named after E ...
with the pure diffusion Monte Carlo method.


See also

*
Itô's lemma In mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. ...
* Kunita–Watanabe inequality *
Girsanov theorem In probability theory, Girsanov's theorem or the Cameron-Martin-Girsanov theorem explains how stochastic processes change under changes in measure. The theorem is especially important in the theory of financial mathematics as it explains how to ...
*
Kolmogorov backward equation In probability theory, Kolmogorov equations characterize continuous-time Markov processes. In particular, they describe how the probability of a continuous-time Markov process in a certain state changes over time. There are four distinct equati ...
* Kolmogorov forward equation (also known as Fokker–Planck equation) * Stochastic mechanics


References


Further reading

* * {{DEFAULTSORT:Feynman-Kac Formula Richard Feynman Stochastic processes Parabolic partial differential equations Articles containing proofs Mathematical finance