**费曼－卡茨公式**是一个数学公式与定理，得名于理查德·费曼和马克·卡茨，将随机过程和抛物型偏微分方程结合在一起。使用费曼－卡茨公式可以通过将某些抛物型偏微分方程的解写成随机过程的条件期望的方式，从而将求此类微分方程的数值解转化为模拟随机过程的路径。反过来，此一类随机过程的期望可以通过确定性的计算（偏微分方程求解）得到。考虑偏微分方程：

{\displaystyle {\frac {\partial u}{\partial t}}+\mu (x,t){\frac {\partial u}{\partial x}}+{\frac {1}{2}}\sigma ^{2}(x,t){\frac {\partial ^{2}u}{\partial x^{2}}}-V(x,t)u=f(x,t).\qquad \qquad t\in [0,T],\,\,x\in \mathbb {R} }
满足边界条件：{\displaystyle u(x,T)=\psi (x),}
其中的 {\displaystyle \mu ,\ \sigma ,\ \psi ,V} 是已知的函数， \ T 是给定的参数，{\displaystyle u:\mathbb {R} \times [0,T]\to \mathbb {R} } 是所求的解函数。费曼－卡茨公式声明，这个偏微分方程的解函数可以写成某个随机过程的（条件）期望：

{\displaystyle u(x,t)=E\left[\int \_{t}^{T}e^{-\int \_{t}^{s}V(X\_{\tau })\ ,d\tau }f(X\_{s},s)ds+e^{-\int \_{t}^{T}V(X\_{\tau })\,d\tau }\psi (X\_{T})|X\_{t}=x\right]}
其中{\displaystyle \ X=\left(X\_{t};t\geqslant 0\right)} 是由以下的随机动力方程

{\displaystyle dX\_{t}=\mu (X\_{t},t)\,dt+\sigma (X\_{t},t)\,dW\_{t},}
决定的伊藤随机过程。其中的{\displaystyle \ W\_{t}}是维纳过程（Wiener过程，又称为布朗过程），{\displaystyle \ X\_{t}} 满足初始条件{\displaystyle \ X\_{0}=x}。

条件
--

费曼－卡茨公式建立在若干对参数函数的限制性条件下。这些条件主要是要求参数函数足够"平滑"与"规则"，使得随机微分方程和偏微分方程的解存在。

首先假设偏微分方程的解函数 *u* 存在。卡拉查斯和史雷夫在1988年证明了：当其余函数及 *u* 满足以下条件

1. 参数函数{\displaystyle \mu ,\ \sigma ,\ \psi ,\ V,\ f}以及函数*u* 都是连续函数。
2. 函数*u* 关于*x* 变量保持多项式增长，即存在正常数*M*和*c*，使得对所有的*x*，都有：
{\displaystyle \ u(x,t)\leqslant M(1+|x|^{c})}
3. 参数函数 {\displaystyle \psi } 和  f 都要么是正值函数，要么也满足类似以上的多项式增长条件。
4. 参数函数 V 有下界，并且
5. 参数函数 {\displaystyle \mu ,\ \sigma } 满足关于*x* 变量的利普希茨条件，即存在常数*K*，使得对所有不相等的*x* 和*y*，都有：
{\displaystyle |\sigma (x,t)-\sigma (y,t)|+|\mu (x,t)-\mu (y,t)|\leqslant K|x-y|}

的时候，解函数可以用费曼－卡茨公式表达为条件期望的形式。这些条件中并不保证解的存在性。要保证后者，需要更强的条件：

1. 参数函数 {\displaystyle \mu ,\ \sigma } 有界，并且局部地满足关于*x* 变量和*t* 变量的利普希茨条件（即常数*K*可以和*x*相关）。
2. 对任意的*t*，参数函数 \sigma  都满足赫尔德连续条件，即存在与*t*无关的常数*H*和介于0与1之间的常数 \alpha ，使得
{\displaystyle |\sigma (x,t)-\sigma (y,t)|\leqslant K|x-y|^{\alpha }}
3. 参数函数 V 有界，并且对任意的*t*，都局部地满足赫尔德连续条件。
4. 对任意的*t*，参数函数  f 都局部地满足赫尔德连续条件，并关于*x* 变量满足多项式增长条件。
5. 参数函数 {\displaystyle \psi } 关于*x* 变量满足多项式增长条件。

以上条件由弗里德曼在1975年给出。1980年克里洛夫提出用更简洁（同时更强）的条件代替，可以是：

> 所有的参数函数{\displaystyle \mu ,\ \sigma ,\ \psi ,\ V,\ f}满足利普希茨条件并且二次连续可导，同时满足多项式增长条件；函数*V*有下界。
> 
> 

在以上的条件下，偏微分方程的解唯一存在，并且满足费曼－卡茨公式的期望表达，同时也满足多项式增长条件。

证明
--

为简化起见，以下只证明{\displaystyle f(x,t)=0}的情况。
设偏微分方程的解函数为 {\displaystyle u(x,t)}。对以下函数{\displaystyle Y\_{s}=e^{-\int \_{t}^{s}V(X\_{\tau })\,d\tau }u(X\_{s},s)} 使用伊藤公式，可以得到：

{\displaystyle dY\_{s}=de^{-\int \_{t}^{s}V(X\_{\tau })\,d\tau }u(X\_{s},s)+e^{-\int \_{t}^{s}V(X\_{\tau })\,d\tau }\,du(X\_{s},s)+de^{-\int \_{t}^{s}V(X\_{\tau })\,d\tau }du(X\_{s},s)}
由于 {\displaystyle de^{-\int \_{t}^{s}V(X\_{\tau })\,d\tau }=-V(X\_{s})e^{-\int \_{t}^{s}V(X\_{\tau })\,d\tau }\,ds}，等式右边第三项是高阶无穷小{\displaystyle o(dt)}，因此可以忽略。再一次对{\displaystyle du(X\_{s},s)} 使用伊藤公式，会得到

{\displaystyle dY\_{s}=e^{-\int \_{t}^{s}V(X\_{\tau })\,d\tau }\,\left(-V(X\_{s})u(X\_{s},s)+\mu (X\_{s},s){\frac {\partial u}{\partial x}}(X\_{s},s)+{\frac {\partial u}{\partial t}}(X\_{s},s)+{\frac {1}{2}}\sigma ^{2}(X\_{s},s){\frac {\partial ^{2}u}{\partial x^{2}}}(X\_{s},s)\right)\,ds}
{\displaystyle \;+e^{-\int \_{t}^{s}V(X\_{\tau })\,d\tau }\sigma (X\_{s},s){\frac {\partial u}{\partial x}}(X\_{s},s)\,dW\_{s}.}
等式右边的第一项里的括号中的式子恰好是微分方程的左边，因此等于0。剩下的是： 

{\displaystyle dY\_{s}=e^{-\int \_{t}^{s}V(X\_{\tau })\,d\tau }\sigma (X\_{s},s){\frac {\partial u}{\partial x}}(X\_{s},s)\,dW\_{s}.}
将这个等式的两边从 t 积分到 T，可以得到：

{\displaystyle Y\_{T}-Y\_{t}=\int \_{t}^{T}e^{-\int \_{t}^{s}V(X\_{\tau })\,d\tau }\sigma (X\_{s},s){\frac {\partial u}{\partial X}}(X\_{s},s)\,dW\_{s}.}
两边取在已知{\displaystyle X\_{t}=x}下的条件期望，并且注意到等式右边是一个伊藤积分，因此右边等于0。所以 {\displaystyle E[Y(T)|X\_{t}=x]=E[Y(t)|X\_{t}=x]=u(x,t)}。注意到 

{\displaystyle E[Y(T)|X\_{t}=x]=E[e^{-\int \_{t}^{T}V(X\_{\tau })\,d\tau }u(X\_{T},T)|X\_{t}=x]=E[e^{-\int \_{t}^{T}V(X\_{\tau })\,d\tau }\psi (X\_{T}))|X\_{t}=x]}
就可以得出需要证明的结论。

参见
--

* 伊藤引理
* Kunita–Watanabe定理
* 吉萨诺夫定理（英语：）
* 科尔莫戈罗夫前向方程（英语：）（也称为Fokker–Planck方程）

参考来源
----

* Simon, Barry.. Academic Press. 1979.
* Pham, Huyên.. Springer-Verlag. 2009.

1. 1 2  Darrell Duffie.. Princeton University Press, 3rd Edition. 2001. ISBN 978-0691090221. ，附录E.
2. ↑  Robert V. Kohn.. Courant Institute, New York University.  [2012-02-10]. （原始内容存档于2021-03-03）.
3. ↑ . Springer. 2006. ISBN 9783540262121.  已忽略未知参数`|Author=`（建议使用`|author=`） (帮助)第357-358页.
4. ↑  Kac, Mark.. Transactions of the American Mathematical Society. 1949, **65** (1): 1–13. JSTOR 1990512. doi:10.2307/1990512.