マリアヴァン解析

マリアヴァン解析（マリアヴァンかいせき）とは、確率解析学において伊藤解析と並ぶもう１つの解析方法である。
マリアヴァン解析は、ヘルマンダー条件が確率微分方程式の解に対する密度の存在と滑らかさの十分条件であることの証明に貢献したポール・マリアヴァンにちなんで名付けられた。ヘルマンダー自身による証明は偏微分方程式の理論に拠った。マリアヴァン解析は確率偏微分方程式にも応用可能である。
概要および沿革.
マリアヴァンは、マリアヴァン解析を導入し、ヘルマンダー条件が確率微分方程式の解の密度の存在の十分条件であることに確率論に基づいた証明を与えた。ヘルマンダー自身による証明は偏微分方程式の理論に拠った。 マリアヴァン解析を用いることで、マリアヴァンは解の密度に対する正則性の限界を証明することができた。 マリアヴァン解析には確率偏微分方程式が応用されている。 
不変性原理.
実数全体の上での通常のルベーグ積分の不変性原理は、すなわち任意の実数εと可積分関数"f"に関して、次が成り立つことを意味する。 
ここから、f=ghとすると、次が成り立つため、部分積分の公式が示される。
同様の考えは、Cameron-Martin-Girsanovの方向に沿った確率解析において応用することができる。実際に、 formula_4を二乗可積分である予測可能な過程であるとし、以下を仮定する。
formula_6が ウィーナー過程であるならば、Girsanovの定理により次の不変原理のアナロジーが得られる。
εに関して両側で微分し、ε=0で評価すると、次の部分積分の公式を得る。
ここで、左辺は、 方向 formula_9での確率変数 formula_10の マリアヴァン微分であり、右辺に出てくる積分は伊藤積分であると解釈される。 
Clark-Oconeの公式.
マリアヴァン解析から得られるもっとも有用な結果の一つは、マルチンゲールの表現定理における過程が明示的に識別可能になるClark-Oconeの公式である。この定理の単純化したものが以下になる。
formula_11を満たし、リプシッツ連続であり、強い導関数の核を持つformula_12に対して、すなわち、'C"[0,1]のformula_9に対し
であり
ここで"H"は"F"'("x", ("t",1])の予測可能な射影であり、これは、変域の一部("t",1]上の過程"X"の適切な平行移動に関して、関数"F"の導関数とみなせる。
これは以下のようにより簡潔に表せることがある。
応用.
マリアヴァン解析では、 確率変数による部分積分が可能である 。この操作は、 デリバティブの感応度を計算するのに数学ファイナンスで用いられる。 マリアヴァン解析は、例えば確率的フィルタリングにおいて用途を有する。