在
随机分析中,伊藤引理(Ito's lemma)是一条非常重要的
性质。发现者为日本
数学家伊藤清,他指出了对于一个
随机过程的
函数作微分的规则。
定义跳跃强度h,根据跳跃的
泊松过程模型,在区间上出现一次跳跃的概率是加上的高阶
无穷小量。h可以是常数、显含时间的确定性函数,或者是随机过程。在区间[0,t]上没有跳跃的概率称为生存概率,其变化是:
定义非连续
随机过程S(t),并把记为从左侧到达''t''时''S''的值,记是一次跳跃导致S(t)的非无穷小变化。有:
考虑其函数。S(t)跳跃的幅度,会导致g(t)跳跃幅度。取决于的跳跃分布,有可能依赖于跳跃前的
函数值,函数微分''dg''以及跳跃前的
自变量值。的跳跃部分是: