ファインマン–カッツの公式

ファインマン–カッツの公式（ファインマン–カッツのこうしき、）とは、放物型偏微分方程式のコーシー問題の解formula_1を、ウィーナー過程formula_2を用いて表現した公式のことである。
概要.
ファインマンが経路積分による量子化を発見したのが、この公式の研究の発端である
。カッツは、シュレディンガー方程式ではなく拡散方程式を考察することで、確率過程として数学的に厳密な定式化を行った。ファインマン-カッツの公式は拡散方程式に対する公式であることに注意すべきである。実時間でのシュレディンガー方程式に対する解までこみでファインマン-カッツの公式と呼ぶこともあるが、拡散方程式に対してのみこう呼ぶのが厳密には正しい。実時間のシュレディンガー方程式に対しては、測度論を基礎にして解の公式を構成することはできない。実時間での経路積分を、虚時間の理論でファインマン・カッツの公式を適用したあとで時間パラメータに関しての解析接続によって導こうという方法論は、一般的に適用可能な数学的厳密性を持ったアプローチなのか否かはおそらくわかっていない。現在のところ、時間を無限に分割し、分点ごとに積分し、その後で極限値をとることで経路積分は定義されていると考えるのが一般的に適用可能なアプローチである。事実、経路積分を数学的に明確に定義しようとしている書物ではこのように極限で定義されたものとして扱っている。
状態空間が無限の場合(formula_3)は基本的なブラウン運動を用いるだけなので形式的表現は簡単である。ただし、遷移確率()を用いて解の具体的な関数形を導出する際、計算が簡単に済むか否かはポテンシャルの関数形に依存する。
定義域が半無限や有限の場合は境界条件が現れるためブラウン運動ではなく反射ブラウン運動、弾性ブラウン運動などを用いる必要がある。特に第3種の境界条件の場合は、弾性ブラウン運動で表現する必要があり、局所時間()が公式に現れるので、形式的な表現は別として具体的に計算するのは面倒である。
定理(ファインマン-カッツの公式).
formula_4は、状態空間formula_5で
連続実数値、
かつformula_6級関数と仮定する。
さらに、任意のformula_7に対して、
ある定数formula_8が存在し、定数formula_9に対して
条件
を満足すると仮定する。
このとき、コルモゴロフの後退方程式のコーシー問題
の解formula_4は、
で与えられる。formula_4は一意である
ただし、formula_15は、初期時刻formula_16において
formula_17から出発するブラウン運動に関する期待値を表す
確率過程から見たポテンシャル.
確率過程の観点から解釈しなおすと、ポテンシャルは時刻formula_18において
formula_19のレートで、運動する粒子を確率的に消去する作用()に
相当すると解釈できる。ポテンシャルが局所的に負になる場合は、負の最小値の分だけかさあげしてやれば
同様に解釈できる。
証明の基本方針.
証明は、伊藤の公式()(または伊藤の補題())と、
確率積分の局所マルチンゲール性を適用して得られる。
基本的な確率過程がformula_20のように2回微分不可能な場合は伊藤の公式は適用できない。
しかし、関数formula_21は凸関数()であるので
一般化されたされた伊藤の公式()を適用することで類似の公式が得られる。
証明.
formula_18を固定して、
formula_23
に対して伊藤の補題を適用して、
を得る。ここで、右辺第2項は局所マルチンゲールであることに注意して、停止時刻formula_25を導入すると、
formula_26に対して、
が言える。ただし、
である。ここで、右辺第1項は
へ収束する。一方、右辺第2項については
が言える。ところが
ただし、formula_33である。
右辺第3項については、
へ収束する。したがって、ファインマン-カッツの公式が証明された。QED