fbpx
Wikipedia

Feynman–Kac formula

The Feynman–Kac formula, named after Richard Feynman and Mark Kac, establishes a link between parabolic partial differential equations (PDEs) and stochastic processes. In 1947, when Kac and Feynman were both Cornell faculty, Kac attended a presentation of Feynman's and remarked that the two of them were working on the same thing from different directions.[1] The Feynman–Kac formula resulted, which proves rigorously the real case of Feynman's path integrals. The complex case, which occurs when a particle's spin is included, is still an open question.[2]

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

 

defined for all   and  , subject to the terminal condition

 

where   are known functions,   is a parameter, and   is the unknown. Then the Feynman–Kac formula tells us that the solution can be written as a conditional expectation

 

under the probability measure   such that   is an Itô process driven by the equation

 

with   is a Wiener process (also called Brownian motion) under  , and the initial condition for   is  .

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:

Let   be the solution to the above partial differential equation. Applying the product rule for Itô processes to the process

 

one gets

 

Since

 

the third term is   and can be dropped. We also have that

 

Applying Itô's lemma to  , it follows that

 

The first term contains, in parentheses, the above partial differential equation and is therefore zero. What remains is

 

Integrating this equation from   to  , one concludes that

 

Upon taking expectations, conditioned on  , and observing that the right side is an Itô integral, which has expectation zero,[3] it follows that

 

The desired result is obtained by observing that

 

and finally

 

Remarks

  • The proof above that a solution must have the given form is essentially that of [4] with modifications to account for  .
  • The expectation formula above is also valid for N-dimensional Itô diffusions. The corresponding partial differential equation for   becomes:[5]
     
    where,
     
    i.e.  , where   denotes the transpose of  .
  • This expectation can then be approximated using Monte Carlo or quasi-Monte Carlo methods.
  • When originally published by Kac in 1949,[6] 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 x(τ) is some realization of a diffusion process starting at x(0) = 0. 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 w(x, 0) = δ(x) 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 w(x, t) is a solution to the parabolic partial differential equation
     
    with initial condition w(x, 0) = f(x).

Applications

In quantitative finance, the Feynman–Kac formula is used to efficiently calculate solutions to the Black–Scholes equation to price options on stocks[7] and zero-coupon bond prices in affine term structure models.

In quantum chemistry, it is used to solve the Schrödinger equation with the Pure Diffusion Monte Carlo method.[8]

See also

References

  1. ^ Kac, Mark (1987). Enigmas of Chance: An Autobiography. University of California Press. pp. 115–16. ISBN 0-520-05986-7.
  2. ^ Glimm, James; Jaffe, Arthur (1987). Quantum Physics: A Functional Integral Point of View (2 ed.). New York, NY: Springer. pp. 43–44. doi:10.1007/978-1-4612-4728-9. ISBN 978-0-387-96476-8. Retrieved 13 April 2021.
  3. ^ Øksendal, Bernt (2003). "Theorem 3.2.1.(iii)". Stochastic Differential Equations. An Introduction with Applications (6th ed.). Springer-Verlag. p. 30. ISBN 3540047581.
  4. ^ "PDE for Finance".
  5. ^ See Pham, Huyên (2009). Continuous-time stochastic control and optimisation with financial applications. Springer-Verlag. ISBN 978-3-642-10044-4.
  6. ^ Kac, Mark (1949). "On Distributions of Certain Wiener Functionals". Transactions of the American Mathematical Society. 65 (1): 1–13. doi:10.2307/1990512. JSTOR 1990512. This paper is reprinted in Baclawski, K.; Donsker, M. D., eds. (1979). Mark Kac: Probability, Number Theory, and Statistical Physics, Selected Papers. Cambridge, Massachusetts: The MIT Press. pp. 268–280. ISBN 0-262-11067-9.
  7. ^ Paolo Brandimarte (6 June 2013). "Chapter 1. Motivation". Numerical Methods in Finance and Economics: A MATLAB-Based Introduction. John Wiley & Sons. ISBN 978-1-118-62557-6.
  8. ^ Caffarel, Michel; Claverie, Pierre (15 January 1988). "Development of a pure diffusion quantum Monte Carlo method using a full generalized Feynman–Kac formula. I. Formalism". The Journal of Chemical Physics. 88 (2): 1088–1099. Bibcode:1988JChPh..88.1088C. doi:10.1063/1.454227.

Further reading

  • Simon, Barry (1979). Functional Integration and Quantum Physics. Academic Press.
  • Hall, B. C. (2013). Quantum Theory for Mathematicians. Springer.

feynman, formula, named, after, richard, feynman, mark, establishes, link, between, parabolic, partial, differential, equations, pdes, stochastic, processes, 1947, when, feynman, were, both, cornell, faculty, attended, presentation, feynman, remarked, that, th. The Feynman Kac formula named after Richard Feynman and Mark Kac establishes a link between parabolic partial differential equations PDEs and stochastic processes In 1947 when Kac and Feynman were both Cornell faculty Kac attended a presentation of Feynman s and remarked that the two of them were working on the same thing from different directions 1 The Feynman Kac formula resulted which proves rigorously the real case of Feynman s path integrals The complex case which occurs when a particle s spin is included is still an open question 2 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 Contents 1 Theorem 2 Partial proof 3 Remarks 4 Applications 5 See also 6 References 7 Further readingTheorem EditConsider the partial differential equation u t x t m x t u x x t 1 2 s 2 x t 2 u x 2 x t V x t u x t f x t 0 displaystyle frac partial u partial t x t mu x t frac partial u partial x x t tfrac 1 2 sigma 2 x t frac partial 2 u partial x 2 x t V x t u x t f x t 0 defined for all x R displaystyle x in mathbb R and t 0 T displaystyle t in 0 T subject to the terminal condition u x T ps x displaystyle u x T psi x where m s ps V f displaystyle mu sigma psi V f are known functions T displaystyle T is a parameter and u R 0 T R displaystyle u mathbb R times 0 T to mathbb R is the unknown Then the Feynman Kac formula tells us that the solution can be written as a conditional expectationu x t E Q t T e t r V X t t d t f X r r d r e t T V X t t d t ps X T X t x displaystyle u x t E Q left int t T e int t r V X tau tau d tau f X r r dr e int t T V X tau tau d tau psi X T Bigg X t x right under the probability measure Q displaystyle Q such that X displaystyle X is an Ito process driven by the equationd X t m X t d t s X t d W t Q displaystyle dX t mu X t dt sigma X t dW t Q with W Q t displaystyle W Q t is a Wiener process also called Brownian motion under Q displaystyle Q and the initial condition for X t displaystyle X t is X t x displaystyle X t x Partial proof EditA 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 Let u x t displaystyle u x t be the solution to the above partial differential equation Applying the product rule for Ito processes to the process Y s exp t s V X t t d t u X s s t s exp t r V X t t d t f X r r d r displaystyle Y s exp int t s V X tau tau d tau u X s s int t s exp int t r V X tau tau d tau f X r r dr one gets d Y d exp t s V X t t d t u X s s exp t s V X t t d t d u X s s d exp t s V X t t d t d u X s s d t s exp t r V X t t d t f X r r d r displaystyle begin aligned dY amp d left exp int t s V X tau tau d tau right u X s s exp int t s V X tau tau d tau du X s s 6pt amp d left exp int t s V X tau tau d tau right du X s s d left int t s exp int t r V X tau tau d tau f X r r dr right end aligned Since d exp t s V X t t d t V X s s exp t s V X t t d t d s displaystyle d left exp int t s V X tau tau d tau right V X s s exp int t s V X tau tau d tau ds the third term is O d t d u displaystyle O dt du and can be dropped We also have that d t s exp t r V X t t d t f X r r d r exp t s V X t t d t f X s s d s displaystyle d left int t s exp int t r V X tau tau d tau f X r r dr right exp int t s V X tau tau d tau f X s s ds Applying Ito s lemma to d u X s s displaystyle du X s s it follows that d Y exp t s V X t t d t V X s s u X s s f X s s m X s s u X u s 1 2 s 2 X s s 2 u X 2 d s exp t s V X t t d t s X s u X d W displaystyle begin aligned dY amp exp int t s V X tau tau d tau left V X s s u X s s f X s s mu X s s frac partial u partial X frac partial u partial s tfrac 1 2 sigma 2 X s s frac partial 2 u partial X 2 right ds 6pt amp exp int t s V X tau tau d tau sigma X s frac partial u partial X dW end aligned The first term contains in parentheses the above partial differential equation and is therefore zero What remains is d Y exp t s V X t t d t s X s u X d W displaystyle dY exp int t s V X tau tau d tau sigma X s frac partial u partial X dW Integrating this equation from t displaystyle t to T displaystyle T one concludes that Y T Y t t T exp t s V X t t d t s X s u X d W displaystyle Y T Y t int t T exp int t s V X tau tau d tau sigma X s frac partial u partial X dW Upon taking expectations conditioned on X t x displaystyle X t x and observing that the right side is an Ito integral which has expectation zero 3 it follows that E Y T X t x E Y t X t x u x t displaystyle E Y T mid X t x E Y t mid X t x u x t The desired result is obtained by observing that E Y T X t x E exp t T V X t t d t u X T T t T exp t r V X t t d t f X r r d r X t x displaystyle E Y T mid X t x E left exp int t T V X tau tau d tau u X T T int t T exp int t r V X tau tau d tau f X r r dr Bigg X t x right and finally u x t E exp t T V X t t d t ps X T t T exp t s V X t t d t f X s s d s X t x displaystyle u x t E left exp int t T V X tau tau d tau psi X T int t T exp int t s V X tau tau d tau f X s s ds Bigg X t x right Remarks EditThe proof above that a solution must have the given form is essentially that of 4 with modifications to account for f x t displaystyle f x t The expectation formula above is also valid for N dimensional Ito diffusions The corresponding partial differential equation for u R N 0 T R displaystyle u mathbb R N times 0 T to mathbb R becomes 5 u t i 1 N m i x t u x i 1 2 i 1 N j 1 N g i j x t 2 u x i x j r x t u f x t displaystyle frac partial u partial t sum i 1 N mu i x t frac partial u partial x i frac 1 2 sum i 1 N sum j 1 N gamma ij x t frac partial 2 u partial x i partial x j r x t u f x t where g i j x t k 1 N s i k x t s j k x t displaystyle gamma ij x t sum k 1 N sigma ik x t sigma jk x t i e g s s T displaystyle gamma sigma sigma mathrm T where s T displaystyle sigma mathrm T denotes the transpose of s displaystyle sigma This expectation can then be approximated using Monte Carlo or quasi Monte Carlo methods When originally published by Kac in 1949 6 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 0 t V x t d t displaystyle exp int 0 t V x tau d tau in the case where x t is some realization of a diffusion process starting at x 0 0 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 0 displaystyle uV x geq 0 E exp u 0 t V x t d t w x t d x displaystyle E left exp u int 0 t V x tau d tau right int infty infty w x t dx where w x 0 d x and w t 1 2 2 w x 2 u V x w displaystyle frac partial w partial t frac 1 2 frac partial 2 w partial x 2 uV x w The Feynman Kac formula can also be interpreted as a method for evaluating functional integrals of a certain form If I f x 0 exp u 0 t V x t d t g x t D x displaystyle I int f x 0 exp u int 0 t V x t dt g x t Dx where the integral is taken over all random walks then I w x t g x d x displaystyle I int w x t g x dx where w x t is a solution to the parabolic partial differential equation w t 1 2 2 w x 2 u V x w displaystyle frac partial w partial t frac 1 2 frac partial 2 w partial x 2 uV x w with initial condition w x 0 f x Applications EditIn quantitative finance the Feynman Kac formula is used to efficiently calculate solutions to the Black Scholes equation to price options on stocks 7 and zero coupon bond prices in affine term structure models In quantum chemistry it is used to solve the Schrodinger equation with the Pure Diffusion Monte Carlo method 8 See also EditIto s lemma Kunita Watanabe inequality Girsanov theorem Kolmogorov forward equation also known as Fokker Planck equation References Edit Kac Mark 1987 Enigmas of Chance An Autobiography University of California Press pp 115 16 ISBN 0 520 05986 7 Glimm James Jaffe Arthur 1987 Quantum Physics A Functional Integral Point of View 2 ed New York NY Springer pp 43 44 doi 10 1007 978 1 4612 4728 9 ISBN 978 0 387 96476 8 Retrieved 13 April 2021 Oksendal Bernt 2003 Theorem 3 2 1 iii Stochastic Differential Equations An Introduction with Applications 6th ed Springer Verlag p 30 ISBN 3540047581 PDE for Finance See Pham Huyen 2009 Continuous time stochastic control and optimisation with financial applications Springer Verlag ISBN 978 3 642 10044 4 Kac Mark 1949 On Distributions of Certain Wiener Functionals Transactions of the American Mathematical Society 65 1 1 13 doi 10 2307 1990512 JSTOR 1990512 This paper is reprinted in Baclawski K Donsker M D eds 1979 Mark Kac Probability Number Theory and Statistical Physics Selected Papers Cambridge Massachusetts The MIT Press pp 268 280 ISBN 0 262 11067 9 Paolo Brandimarte 6 June 2013 Chapter 1 Motivation Numerical Methods in Finance and Economics A MATLAB Based Introduction John Wiley amp Sons ISBN 978 1 118 62557 6 Caffarel Michel Claverie Pierre 15 January 1988 Development of a pure diffusion quantum Monte Carlo method using a full generalized Feynman Kac formula I Formalism The Journal of Chemical Physics 88 2 1088 1099 Bibcode 1988JChPh 88 1088C doi 10 1063 1 454227 Further reading EditSimon Barry 1979 Functional Integration and Quantum Physics Academic Press Hall B C 2013 Quantum Theory for Mathematicians Springer Retrieved from https en wikipedia org w index php title Feynman Kac formula amp oldid 1170095581, wikipedia, wiki, book, books, library,

article

, read, download, free, free download, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, picture, music, song, movie, book, game, games.