费曼-卡茨公式是一个数学公式与定理,得名于理查德·费曼和马克·卡茨,将随机过程和抛物型偏微分方程结合在一起。使用费曼-卡茨公式可以通过将某些抛物型偏微分方程的解写成随机过程的条件期望的方式,从而将求此类微分方程的数值解转化为模拟随机过程的路径。反过来,此一类随机过程的期望可以通过确定性的计算(偏微分方程求解)得到。考虑偏微分方程:
- 满足边界条件:
其中的 是已知的函数, 是给定的参数, 是所求的解函数。费曼-卡茨公式声明,这个偏微分方程的解函数可以写成某个随机过程的(条件)期望:
其中 是由以下的随机动力方程
决定的伊藤随机过程。其中的是维纳过程(Wiener过程,又称为布朗过程), 满足初始条件。
费曼-卡茨公式建立在若干对参数函数的限制性条件下。这些条件主要是要求参数函数足够“平滑”与“规则”,使得随机微分方程和偏微分方程的解存在。
首先假设偏微分方程的解函数 u 存在。卡拉查斯和史雷夫在1988年证明了:当其余函数及 u 满足以下条件
- 参数函数 以及函数u 都是连续函数。
- 函数u 关于x 变量保持多项式增长,即存在正常数M和c,使得对所有的x,都有:
-
- 参数函数 和 都要么是正值函数,要么也满足类似以上的多项式增长条件。
- 参数函数 有下界,并且
- 参数函数 满足关于x 变量的利普希茨条件,即存在常数K,使得对所有不相等的x 和y,都有:
-
的时候,解函数可以用费曼-卡茨公式表达为条件期望的形式[1]。这些条件中并不保证解的存在性。要保证后者,需要更强的条件:
- 参数函数 有界,并且局部地满足关于x 变量和t 变量的利普希茨条件(即常数K可以和x相关)。
- 对任意的t,参数函数 都满足赫尔德连续条件,即存在与t无关的常数H和介于0与1之间的常数 ,使得
-
- 参数函数 有界,并且对任意的t,都局部地满足赫尔德连续条件。
- 对任意的t,参数函数 都局部地满足赫尔德连续条件,并关于x 变量满足多项式增长条件。
- 参数函数 关于x 变量满足多项式增长条件。
以上条件由弗里德曼在1975年给出。1980年克里洛夫提出用更简洁(同时更强)的条件代替,可以是:
所有的参数函数 满足利普希茨条件并且二次连续可导,同时满足多项式增长条件;函数V有下界。
在以上的条件下,偏微分方程的解唯一存在,并且满足费曼-卡茨公式的期望表达,同时也满足多项式增长条件[1]。
为简化起见,以下只证明 的情况。
设偏微分方程的解函数为 。对以下函数 使用伊藤公式,可以得到:
-
由于 ,等式右边第三项是高阶无穷小 ,因此可以忽略。再一次对 使用伊藤公式,会得到
-
-
等式右边的第一项里的括号中的式子恰好是微分方程的左边,因此等于0。剩下的是:
-
将这个等式的两边从 积分到 ,可以得到:
-
两边取在已知 下的条件期望,并且注意到等式右边是一个伊藤积分,因此右边等于0。所以 。注意到
-
就可以得出需要证明的结论[2]。
- 以上的条件期望形式的公式对多维的伊藤过程也适用。与之相应,解函数 相对的偏微分方程是:
-
其中的
-
也就是说 ,其中 是矩阵 的转置矩阵[3]。
- 将解函数表示为条件期望的形式后,可以使用蒙特卡罗或准蒙特卡罗方法来求出近似的数值解。
- 此定理最早由卡茨于1949年发表[4],最初的费曼-卡茨公式是作为一个解决某些维纳泛函的分布的公式提出的。假设 是满足初始条件 的某个扩散过程。现要求出以下函数的期望值
-
费曼-卡茨公式说明这个期望值等价于对某个扩散方程(抛物型偏微分方程)的解的积分。特别地,当条件 满足时,若设 并满足 ,则有
-
费曼-卡茨公式也可以阐释成对某个特定形式的泛函积分求值的一种方法。如果:
-
其中的积分对所有的随机漫步路径取得,那么
-
其中 是抛物型偏微分方程 的解。并满足初始条件 .