数学的定義
拡散過程は、連続サンプルパスを持つマルコフ過程であり、そのコルモゴロフ前方方程式はフォッカー・プランク方程式である。[ 1 ]
拡散過程は、以下の性質によって定義される。
一様に連続な係数であり、
有界であり、ボレル可測なドリフト項である。確率測度のユニークな族が存在する。
(のために
、
) 正準空間上
ボレル
-代数、ただし次のとおり:
1. (初期条件) プロセスは以下から始まります。
その時
: \psi (t)=\xi {\text{ for }}0\leq t\leq \tau ]=1.} ![{\displaystyle \mathbb {P} _{a;b}^{\xi ,\tau }[\psi \in \Omega :\psi (t)=\xi {\text{ for }}0\leq t\leq \tau ]=1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/faf754d3063f77a2dec5771f1943eb2753a3bb97)
2. (ローカルマーチンゲールプロパティ)
プロセス
はローカルマルチンゲールである
のために
、 と
のために
。
この家族
と呼ばれる
-拡散。
SDE構成と無限小生成器
明らかに、
-拡散、すなわち
の上
、 それから
SDEを満たす
対照的に、この拡散は、以下の条件を満たす場合に、そのSDEから構築することができる。
そして
、
はリプシッツ連続である。これを確認するには、
から始まるSDEを解く
。 のために
伊藤の公式を適用する:
並べ替えると
その右辺は局所マルチンゲールであり、拡散の定義における局所マルチンゲール特性に一致する。
定義する
の上
正しい初期条件と局所マルチンゲール特性を持つ。一意性は、リプシッツ連続性から導かれる。
。 実際には、
無限小発生器と一致する
このプロセスの。
SDEを解くと、
発電機
は
参考文献
- ↑ 「9. 拡散過程」(PDF) 。 2011年10月10日取得。