偏微分方程的解唯一存在，并且满足费曼－卡茨公式的期望表达，同时也满足多项式增长条件。
证明.为简化起见，以下只证明formula_26的情况。设偏微分方程的解函数为 formula_27。对以下函数formula_28 使用伊藤公式，可以得到：由于 formula_30，等式右边第三项是高阶无穷小formula_31，因此可以忽略。再一次对formula_32 使用伊藤公式，会得到等式右边的第一项里的括号中的式子恰好是微分方程的左边，因此等于0。剩下的是： 将这个等式的