随机积分的定义
随机积分,类似于普通的黎曼积分,只不过是在积分中添加了一点随机性(randomness)。我们希望使得如下的等式有意义:
其中是标准布朗运动,这是一个随机微分方程(SDE)的例子。我们这样来理解随机过程,在时刻,它表现的像具有偏移和方差的布朗运动。
We should read this equation as stating that at time , is evolving like a Brownian motion with drift and variance .
在微积分中,是先定义导数再定义积分的。在随机微积分,我们是先定义积分再定义微分的。我们说是式(1)的解,如果:
包含的那一项,可以用正常的微积分来定义。尽管是随机的,但并不妨碍我们定义它。关键在于第二项,这个问题,归结为我们如何使得:
这个式子有意义!我们将视作在时刻具有方差的“布朗运动”。类似于离散随机积分(一个鞅与可料过程的结合),可以视作在时刻的赌注,那么就是在时刻的总资产。
布朗运动的轨道不是有界变差的,意味着我们没有办法用Riemann积分的方式来定义随机积分。
实变函数中,定义勒贝格积分的时候,我们先对简单函数定义勒贝格积分,再将一般函数的勒贝格积分定义为一列趋近于该函数的简单函数的积分的极限。随机积分也是一样的,先定义什么是简单随机过程,再把一般随机过程的随机积分定义为一列逐渐逼近的简单随机过程积分的极限。
如果一个随机过程在有限个时间段内是“固定”着的随机变量,也即:
是一个随机变量。我们就称它为简单过程(simple process)。继而定义:
正如我们所希望的,一个轨道连续的随机过程可以用简单过程来进行()逼近:
设是一个轨道连续的适应过程,如果存在一个常数,使得,那么存在一列简单随机过程,使得
同时, 都有。
最后,一般地,对于有界的、轨道连续的适应过程,定义它的积分:
的存在性源于空间的完备性。注意这里和勒贝格积分的区别,简单函数列的收敛是几乎处处而非的。
我们还可以进一步放宽应当具有的条件。只要的轨道是分段连续(只有有限个不连续点),哪怕无界,仍然可以给出积分的定义。(在此从略)
这样定义出的积分有如下性质:
线性:
区间可加性:
鞅性:过程是一个鞅,并且
方差:
二次变差:具有二次变差
如果无界,那么此时是一个局部鞅(local martingale)
接下来,我们来看一下随机积分与黎曼积分的不同。考虑积分如果我们简单应用微积分基本定理,有:但是,所以,微积分基本定理简单应用在伊藤意义下的随机积分中并不成立。事实上,应用下面所述的伊藤公式,我们知道(注意到这个等式的右边并不服从正态分布!)。
随机积分的另一种形式:Stratonovich积分,是与微积分基本定理相容的。
关于Stratonovich积分,参见我写的一篇知乎文章:Stratonovich 积分初探
伊藤公式
伊藤公式非常类似Taylor展开,当然,它本身就是通过Taylor展开来推导的。伊藤公式告诉了我们如何去求一个复杂随机过程的微分,如果我们能将一个随机过程表示成式(1)一般的形式,就能更好地了解这个随机过程的性质。
下面我们从简单形式的伊藤公式一步步走向完整形式的伊藤公式:
先考虑布朗运动的函数。设是一个光滑函数,那么:
因为,布朗运动的二次变差不为0,所以上面的公式,与我们熟悉的还是有所不同的。
接下来我们通过Taylor公式推导。不失一般性,我们只考虑,把写成 telescoping 的形式:
再利用Taylor公式:
于是,我们可以把写成三项的和:
第一项,就是,第二项,就是(要用到二次变差!即),第三项,可以说明它是一个无穷小量。
至此,我们简略说明了伊藤公式的证明。
例:
令,就得到了
令,根据伊藤公式,我们有:
这个叫做几何布朗运动(geometric Brownian motion),它具有非常重要的应用价值。
上面的公式中仅是的函数,如果还是时间的函数,那么就有:
这里类似于二元函数的Taylor展开:
例:
- 令,,从而:
类似于微积分,我们引入随机分析中的记号:
接下来我们将伊藤公式再做推广,并得到伊藤公式的最终形式。
如果是和随机过程的函数。假设满足:用表示的二次变差,那么:。利用上面的记号:
于是,在(13)式的基础上,对连续可微,对二阶连续可微,那么:
这就是伊藤公式的最终版本。
例:
- 令 ,对,成立:
协变差与乘积法则
假设:
定义的协变差:
应用之前的理论:
我们有:
一般的,在微积分中,,因为是二阶小量,所以在微积分可以被省略,但是随机微积分中,却必须要考虑这一项。
于是有了乘积法则:通过乘积法则还可以推导除法法则。
- 假设,那么计算可得:
初等函数的伊藤公式
微分:
积分:
四则运算:
总结:本文从定义随机微积分的motivation讲起,介绍了随机微积分的定义方式、伊藤积分与一般黎曼积分的差异、伊藤公式的推导。正如学习微积分不需要懂实分析,学习随机微积分并不需要很深入的随机分析的知识,但还是必须熟记随机微积分的各类记号。