伊藤の補題

【いとうのほだい (Itôs lemma)】

拡散過程構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle X_t \,} の微小時間$dt\,$での平均が構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mu (t, X_t) {\mbox{d}}t \,} , 分散が構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \sigma^2 (t,X_t) {\mbox{d}}t \,} で与えられるとき, 確率微分方程式では構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle {\mbox{d}}X_t=\mu(t,X_t){\mbox{d}}t +\sigma (t,X_t) {\mbox{d}}B_t \,} と表現する. ここで構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle B_t \,} はブラウン運動である. さらに$Y_{t}=g(t,X_{t})\,$と変換すると, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle Y_t \,} は伊藤の補題により,

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mbox{d}Y_t = g_t(t, X_t) \mbox{d}t + g_x(t, X_t) \mbox{d}X_t + (1/2)g_{xx}(t, X_t)(\mbox{d} X_t)^2 \,} を満たす.

ただし構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle ({\mbox{d}}X_t)^2 \,} は, 計算規則

${\mbox{d}}t\cdot {\mbox{d}}t={\mbox{d}}t\cdot {\mbox{d}}B_{t}={\mbox{d}}B_{t}\cdot {\mbox{d}}t=0,\ \ {\mbox{d}}B_{t}\cdot {\mbox{d}}B_{t}={\mbox{d}}t\,$

により与えられる.