伊藤の補題

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

拡散過程$X_{t}\,$の微小時間構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle 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 \,} と表現する. ここで$B_{t}\,$はブラウン運動である. さらに構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle 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 \,} は, 計算規則

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

により与えられる.