伊藤の補題

伊藤の補題（いとうのほだい、Itō's/Itô's lemma）は、確率微分方程式の確率過程に関する積分を簡便に計算するための方法である。伊藤清が考案した。

伊藤積分 
確率過程、とくにウィーナー過程  の積分を考えたい。確率的にしか予言できない過程であっても、大数の法則を認めるような立場では、積分を定義することが出来る。
このような積分の定義の仕方にはいくつかあるが、伊藤清の定義した伊藤積分が、積分がマルチンゲールになるという応用上望ましい性質を持つため、しばしば用いられる。

伊藤積分の定義 
確率過程  の区間  におけるウィーナー過程  に関する積分を
 
の分割  を細かくした極限で定義する。
関数  は、よい性質（可測で、 が適合する増大情報系に適合し、局所二乗可積分）を持っているものとする。
一見、リーマン積分と似た定義である。しかし、区間  のどの  で  を評価してもリーマン積分は定義できるのに対し、伊藤積分は区間の左端  を用いる。
この和は、分割の仕方によらず、分割を小さくする極限で一定の値に収束することが示される
。

確率微分 
この積分のいわば逆計算として、確率過程の微分  が定義できる。
二次の微分  は
 
の分割  を細かくした極限で定義する。

伊藤の公式 
確率過程  が確率微分方程式
 
に従っているとき,  が について二回連続微分可能とすると
 
が成立する 。
確率過程を含まない積分表示では現れない  の微分に関する二次の項が存在する。これはウィーナー過程の性質 による。

伊藤ルール 
伊藤の公式は、 の二次までのテイラー展開に

 
 
 

を適用して得られる形をしている。
伊藤ルールを用いると、次のような計算が出来る。

証明 
上記の確率過程を含む二回微分の定義(1) を用いる。
第一式は
 
と置くと、 の期待値は
 
である。
ウィーナー過程の性質により、それぞれの
 は独立だから の分散は
 
である。

ウィーナー過程の性質により、

は平均 0  分散  の
正規分布に従う。すなわち、
、、

となるから結局  であり、分割を細かくする極限で
  となる。
チェビシェフの不等式を用いれば、 は  に(確率の意味で)収束することが示される。

第二式は
 
と評価されて、 は連続であるから分割を細かくすると右辺が 0 に収束する。

第三式は
 
と評価される。

脚注 

解析学
確率論
確率過程
補題
数学に関する記事
数学のエポニム