第十章 随机过程 II:鞅 1
第十章 随机过程 II:鞅
基础微积分
线性代数
概率论和数理统计
随机微积分 鞅
偏微分方程 数值方法
10.1概述
10.1.1离散时间
10.1.2连续时间
10.1.3鞅的例子
10.1.4鞅的子类
10.2停时和鞅型序列
10.2.1停时定义
10.2.2最优停止定理
10.2.3鞅型序列
10.3多布-迈耶分解
10.3.1多布分解定理
10.3.2多布-迈耶定理
10.3.3二次变差过程
10.4再论随机积分
10.4.1鞅变换和随机积分
10.4.2简单过程随机积分
10.4.3再论伊藤积分
10.5测度变换
10.5.1直观理解
10.5.2拉登-尼科迪姆导数
10.5.3哥萨诺夫定理
10.5.4鞅表示定理
本章的学习目标为:
了解信息结构和信息一致性的数学表述方式
明确鞅的定义和连续时间情形下的一些技术性条件
熟悉二项过程和布朗运动等常见鞅的定义和轨道特征
了解鞅的几个重要子类:一致可积鞅和平方可积鞅
了解停时概念和最优停止定理
了解由停止一个鞅产生的其它鞅型随机过程
了解二次变差和协变差过程,多布-迈耶分解
复习伊藤积分的定义和主要性质
掌握拉登-尼科迪姆导数的各种形式和性质
掌握凯麦隆-马丁-哥萨诺夫定理并熟练应用该定理进行测度变换
掌握鞅表示定理并理解该定理在分析交易策略的可行性和构造完备市场模型
中的作用
鞅这个术语早在 20 世纪 30 年代首先由 Ville(1939)引进,但是基本概念来自于法国概
率学家列维(Levy,1934)。但是真正把鞅理论发扬光大的则是美国数学家多布(Doob),他
于 1953年的名著《随机过程》一书中介绍了(包括上鞅分解问题在内的)他对于鞅论的系
统研究成果。它引起了一般过程理论的研究,从此鞅成为现代概率和随机过程的基础,而
且在决策和控制模型等方面有着重要应用,并得到快速发展。。
鞅在 20世纪 70年代末期被引入金融经济学用来描述资产的价格运动过程,
最早出现在 Pliska&Kreps
相对于上一章随机微积分而言,由于较多地借助测度论,鞅显得更加抽象,但是令人
惊奇的是,它的引入不仅使得微观金融理论分析(例如期权定价)变得更加简洁和优雅;
第十章 随机过程 II:鞅 2
并且由于可以借助现代数值计算技术,它还提供了更为强大的运算能力,而这对于实际工
作又是至关重要的。
在本章中,我们首先在离散时间下,使用在概率基础一章中接触到的分割、条件数学
期望等概念来严格地给出鞅的定义。然后澄清一些性技术要求并给出连续时间鞅的概念。
介绍一些常见的鞅的例子。在讨论了鞅的两个重要子类之后,
接下来我们考察多布-迈耶分解(Doob-Meyer decomposition),
停时(stopping time)
接下来讨论对于现代金融分析至关重要的——等鞅测度变换 (equivalent martingale
transformation)和凯麦隆-马丁-哥萨诺夫定理(Cameron-Martin-Girsanov theorem)。只有熟练
掌握并且能够灵活运用这一方法,才能真正领略到现代金融理论的精髓。
10.1概述
“鞅”一词来源于法文 martingale的意译,原意是指马的笼套或者船的索具,同时也指
一种逢输就加倍赌注,直到赢为止的恶性赌博方法(double strategy)。但这都没有说明它在
金融学中的确切含义。鞅究竟是什么呢?简单的说,鞅是“公平”赌博(fair game)的数
学模型。那么什么又是公平的赌博呢?假设一个人在参加赌博,他已经赌了 n次,正准备
参加第 n +1 次赌博。如果不做什么手脚,他的运气应当是同他以前的赌博经历无关的,用
nX 表示他在赌完第 n次后拥有的赌本数,如果对于任何 n都有
11 )|( −− = nnn XXXE
成立,即赌博的期望收获为 0,仅能维持原有财富水平不变,就可以认为这种赌博在统
计上是公平的1。
在金融分析中,投资者通常会根据过去发生的事件来指导未来的投资决策,我们可以
把 X 设想为对由于信息发布而产生波动的金融资产价格(过程),而 nEX 就是对这种价格运
动的预测,而恰好鞅就是用条件数学期望来定义的,这种相似性就激发了使用鞅和与之相
关的数学概念来描述金融资产价格运动过程特征的热情,鞅在 20 世纪 80 年代以后迅速成
为主流金融经济学研究中标准的时髦。
10.1.1离散时间
简单的说,一个随机变量的时间序列没有表现出任何的趋势性(trend),就可以称之为鞅;
而如果它一直趋向上升,则称之为下鞅(submartingale);反之如果该过程总是在减少,则称
之为上鞅(supermartingale)。实际上鞅是一种用条件数学期望定义的随机运动形式,或者说
是具有某种可以用条件数学期望来进行特征描述的随机过程。
我们循序渐进地分成 4个步骤来正式定义鞅:
1)首先,描述概率空间。存在一概率空间 },,{ PFΩ ,要求σ-代数F 是 P-完备的,即对
于任何 F∈A 且 0)( =AP ,对一切 AN ⊂ 都有 F∈N 成立2。接下来,
2)描述滤波(filtration)。设想我们在一些时点上观察一种股票的价格 +∈ZnnS )( 3随时间的波
动情况。令 +∈Znn )(F 代表在不同时点上投资者获得的有关股票价格的历史信息,随着时间
的推移,越来越多的数据被追加到这个信息集合中,它会越来越丰富。当 onm << 时,这
1 期望收益等于参加费用的赌博也可以认为是统计上公平的。
2 我们会经常看到这一类技术性的要求,它是保证数学上严密性的需要,在经济分析则往往找不到合适的
对应物。幸运的是,经济分析中大多数问题具有良好的性质。
3 我们用 +Z 表示正整数。
第十章 随机过程 II:鞅 3
一族信息集合必然满足:
10.1.1 ……⊆⊆ onm FFF
实际上 nF 就是 n时刻的分割产生的σ-代数,这样的σ-增族记为:
+∈= ZF nn )(F
我们称它为滤子(filter)或者滤波4。给定一个滤波就决定了在给定概率空间中的历史演
化和信息传播过程(见金融相关点 10-1)。四位一体的 },,,{ FPFΩ 被称为滤过(filtered)的概率
空间或者随机基(stochastic basis)。
金融相关点 10-1:信息结构和传播过程5
金融市场首先是一个交易的场所,它完成资源配置的任务;同时它还是信息发布的
场所,有时也被称为经济运行的“指针”。在微观金融分析中我们需要一个能够反映这
种金融市场上的信息结构(information structure)及其历史演化的过程(spread process)性质
的数学模型。考虑一个如下图所示的重合(recombining)的二项树模型。
价格
uu [2]
u[1]
0 du,ud [0]
d[-1]
dd [-2]
t0 t1 t2 时间
图 10-1 二项树模拟股票价格运动
u代表股票价格经历了一次上升; d 则代表一次下降,两个时刻过后股票价格会出
现 4种情况,那么样本空间就是:
}}{},{},{},{{ ddduuduu=Ω
我们任意构造几种集合,例如:
}}{},{},{},{{ ddduuduua =F
},,,{ ddduuduub =F
}}{},{},,{{ ddduuduuc =F
}}{},{},,{},{{ ddduuduuuud =F
}}{},{},{{ duuduue =F
根据我们在概率论一章中学习过的知识,我们知道 aF , bF 和 cF 都是对样本空间Ω
的一种分割。这是因为按照分割的定义,它们各自包含的所有元素的并集构成了整个状
态空间,而它们所包含的元素两两相交的结果是空集。 dF 和 eF 则不是分割,因为 dF
中前两个元素的交集不是空集,而是 }{uu ;而 ef 的所有元素的并也没有构成整个状态空
间,缺少了 }{dd 。
bF 集合表示股票价格两次变动以后所有可能发生的情况,它仅仅说明了事物发展的
未来潜在可能性,它相当于位于二项树上的 0 点。在 0 时刻信息结构是最平凡的,即:
},{0 Ω∅=F 。而 aF 则刚好相反,它完全揭示出所有的世界状态,正是在最终的 2 时刻,
究竟哪种状态会发生已经成为了事实。 cF 则代表了一种中间状态,好比在 1 时刻,我
们知道如果状态 },{ uduu 发生,即前进到 ]1[d 点后, }{dd 或者 }{ud 之一必定会发生,到
4 实际上 +∈= ZF nn )(F 可以作更为广泛的理解,它也可以是无限维向量,如果仅仅解释为价格或者收益就
和法马(Fama E.)定义的弱的市场效率的基础相吻合,这也是我们这里的定义。这样假定时,我们说滤波是
由价格过程产生的。
5 这里的描述来主要自于 Dothan(1990)和 Rebonato(1998)。
第十章 随机过程 II:鞅 4
底是谁,仍然不能够确定;而 ]1[u 点以后的发生的情况则不清楚或者不重要了。因此这
些分割就适当地代表了一个动态系统中的 0、完全和部分的信息。我们知道 aF 比 cF 精
细,而 bF 是最粗糙的分割,把它们串联起来就有:
bF < cF < aF
因此从粗到细排列这些分割,还代表了信息的传递过程。
正式一些有:假定同一状态空间中存在 1+N 个分割,它们满足下列 3个条件:
1)第一个分割是最粗糙的,即: }},...,,{{},{ 210 nωωω=∅Ω=F ;
2)最后一个分割是最精细的,即: }}{},...,{},{{ 21 nN ωωω=F ;
3)对于任何 ts < , tF 分割比 sF 要精细。
这样定义的分割序列,就是一个“过目不忘”的学习过程。在最初的 0 时刻,未来
世界视野一片模糊,唯一可知的是Ω中的某种状态会发生。下一个时刻有一些新的信息
来临,即有一个比较粗的分割,在任意时刻,我们对于(价格)信息知识的了解始终在增
长。最后时刻一切都昭然若揭,我们完全了解了从 0 到 N时刻哪一个状态发生了,它又
是如何演化的。这在实际中是容易做到的,只要投资者有一个好记性或者容量足够大的
硬盘就可以了。符合上述 3 个条件的一组分割就被称为信息结构,它的数学对应物就是
滤波。
3)如果对于任何 0≥n , nS 的值被包含在 nF 中,就称 nS 是 nF 可测的,或者使用梅耶
(Meyer)的术语,称 nS 为 nF 适应的( nF –adapted)6。
金融相关点 10-2:随机金融变量的可测性和一致性
微观金融分析中的各种随机过程,例如价格、交易头寸都有一个是否可以被预测的
问题。讨论仍然从上一框文中的信息结构开始。我们知道由于以集合本身为定义域的函
数运算,例如微积分运算,不是很方便,所以要进一步引入曾经学习过的随机变量函数,
即:
R→Ω:X
来描述信息结构。考虑这样一种的随机变量函数,它赋予一个分割中的同一子集下
的元素以相同的数值,我们称这种随机变量对于该种特定的分割是可测的。仍然使用前
面的二项树模型来具体说明这一点。有随机变量函数 'x ,它定义股票的价格在 0 时刻为
0,在 0 时刻以后则每经历一次上升就在原来的价格上加 1;如果下降就减去 1,图 10-1
中就标明这种情形。根据 'x 的定义有:
2})({' =uux ; 0})({' =udx ; 0})({' =dux ; 2})({' −=ddx
考虑下列分割:
}}{},{},{},{{ ddduuduua =F
}}{},,{},{{ ddduuduuf =F
}}{},{},,{{ duuddduug =F
函数 'x 把相同的数值指定给了分割 fF 中同一子集的相同元素,例如 })({' udx 和
})({' dux 都是 0,因此它是 fF 可测的。但是它不是 gF 可测的,因为它给该分割下同一
子集 },{ dduu 中不同元素赋予了不同的数值。它也是 aF 可测的,这是平凡的。需要注意
的是,尽管 'x 并没有为 aF 中的每一个不同的元素(子集)指定不同的数值,例如 })({' udx
和 })({' dux 都是 0,但这并没有影响它的 aF 可测性。因此一般而言,任何随机变量对于
最细致的分割总是可测的。注意到尽管分割 fF 比 aF 粗糙,但它仍然是 'x 可测的。当函
数 x在它所基于的最粗糙的那个分割上是可测的,就称该分割是由 x生成的,记为 xF ,
在上面的例子中有
fx FF ='
我们之所以对由随机变量函数生成的分割感兴趣,是因为它包含了与该随机变量本
身所包含的相同的信息内容。不妨假定存在一新的随机变量函数 ''x ,它为状态空间中的
6 对随机过程可测性的描述见框文 10-2,并请回顾 3.3.2节中的有关内容。
第十章 随机过程 II:鞅 5
每一个元素都赋予同样的数值,那么即使在最后时刻准确地获得了这时的随机变量的
值,我们仍然无法了解事件树的演化路径,它所包含的信息内容不比最粗糙的分割 bf 更
多。但是从 'x 的数值,我们确实可以知道:路径究竟是uu (如果 2出现)或者 dd (-2出现)
还是ud 、 du (0出现)。而这正是由 'x 生成的分割 fF 所包含的信息内容。
不妨再定义一个随机变量函数 '''x ,它定义股票的价格在 0 时刻为 0,在 0 时刻以后
如果第 i步出现股票价格上涨,就在原股票价格上加上 i ( 2,1=i );下降则作类似定义。
这样:
321})({''' =+=uux ; 121})({''' −=−=udx ;
121})({''' =+−=dux ; 321})({''' −=−−=ddx
尽管 '''x 是一个“路径依赖”(path-dependent)的函数,但根据 '''x 的取值情况,我们
仍然可以确定股票价格的变化路径。显然这时有:
ax FF ='''
由于一个随机变量包含了同它生成的分割同样的信息内容,因此可以使用一个新的
表述结构。
1)假定存在一个随机变量序列 )(),...,1(),0( Nxxx ,如果每一个 )(nx 是 nF 可测的,也
就是说它对于 t 时刻的分割中的子集的每一个元素赋予相同的数值,就称该随机变量序
列或者随机过程是 )(nF 适应的。一般说来,如果没有内幕交易的话,我们通常价格过程
是 )(nF 适应的。
2)如果一个随机过程中每一个 )(nx 是 )1( −nF 可测的,就称它为可料(predictable or
previsible)过程。期间交易过程,即在每一个时刻上的交易策略(trading strategy)的汇总:
)}(),...,1(),0({ Nθθθθ =
就是 )1( −nF 可测的。这是容易理解的,因为投资者一般是根据上一时刻的(价格)信
息来决定投资组合并一直保持到本期的。换句话说,投资策略 )(niθ 是 )(nF 可料的7。
4)然后,是条件数学期望。使用不同时刻的信息集,我们可以推测 nS 的未来运动形式,
很自然的,这种预测通常采用条件数学期望的形式:
10.1.2 NnSESE nNN <= ),|()( FPP
这意味着在 n时刻对 N时刻的价格预期是基于在该时刻已确知的特定信息集合 nF 的。
注意在这里我们在期望算子上加的P代表这种期望是基于特定概率测度(或者分布)的,
在不混淆的情况下它也可以被省略。
定义 10.1.1 假定 +∈ZnnS )( 是滤波空间{ }F,,, PFΩ 上的一个 nF -适应过程,如果:
1)无条件的数学期望是有限的,即:
+∈∞< ZnSE n ,)(
2)对下一时刻的预测就是现在观察到的数据,即:
10.1.3 ++ ∈= ZnSSE nnnn ,)|( 1 F
则称 +∈ZnnS )( 为(F下的)离散时间鞅或者简称离散鞅8。
因此鞅实际上就是未来变化完全无法预测的随机过程。不妨假设 +∈ZnnS )( 是一个鞅,在
一个单位时间间隔内, nS 的预期变化为
7 对于随机变量和随机过程可测性的一般性讨论见 10.1.2节。
8 当 F固定时,我们常常会省略它;而且如果不特别提及F时,一般隐含地指过程本身产生的滤波 SF ,
通常称之为自然滤波(natural filtration)。
第十章 随机过程 II:鞅 6
[ ] )|()|(|)( 11 nnnnnnnnnn SESESSE FFF −=− ++
由于 nS 是鞅, )( 1+nn SE 等于 nS ,而根据定义 nS 是 nF 可测的,所以 )( nn SE 在 n 时刻是
已知的,也等于 nS ,所以:
10.1.4 0)|( =∆ nnn SE F
因此对 nS 在下一时间内变化的最好预测就是 0。换句话说,该随机变量的未来运动方
向和大小是不可预测的,这就是所谓鞅性 (martingale property)。这里 nS∆ 被称为鞅差
(martingale difference)。显然,鞅差的部分和(partial summation)也是鞅,即:
0)|(
1
=∆∑
=
k
n
k
kn SE F
需要强调的是:鞅是用条件期望来定义的,而条件期望的计算总是基于某种概率分布
和特定信息集合的,这两点对于决定一个随机过程是不是鞅起关键作用,以后的分析会逐
渐揭示这一点。
只要对定义 10.1.1 中的第二个条件做适当修改,就可以获得相应的上鞅和下鞅的定
义。
定义 10.1.2 如果:
2') ++ ∈> ZnSSE nnnn ,)|( 1 F ,则称随机过程 +∈ZnnS )( 为下鞅;
2") ++ ∈< ZnSSE nnnn ,)|( 1 F ,则称随机过程 +∈ZnnS )( 为上鞅。
容易知道:
1)如果 +∈ZnnS )( 是上鞅,则 +∈− ZnnS )( 是下鞅。
2)如果 +∈ZnnS )( 、 +∈ZnnX )( 是(下)鞅,则 )( nn XS + 也是(下)鞅。
3)如果 +∈ZnnS )( 是鞅,根据詹森不等式,如 (.)f 是一个凸函数,则
)( nn SfX =
必定是一个下鞅。所以 1,)( ≥+∈ λλ ZnnS 就是一个下鞅。
10.1.2连续时间
连续时间参数 t的取值范围为实半轴 ),0[ ∞ 或者其中的某个区间 ],0[ T ,但我们对连续时
间随机函数的路径有比较严格的(技术性)要求。
首先让我们来正则化(regularize)路径。
1)正则性。如果一个函数
R→∞),0[:f
在每一点的左右极限都存在,就称它为正则函数(regular)。容易知道正则函数仅有有
限个间断点。
2)连续性。如果一个随机过程的全部样本路径是连续的,我们就称之为连续随机过程。
正式的有:如果对于任意随机过程 )(tX 和任意 ],0[ Ts∈ ,在概率收敛意义下有:
)(lim)( tXsX
st→=
则称该随机过程为连续的。这又具体包括两种情况,如果
第十章 随机过程 II:鞅 7
],0[.),,(lim),( TtsasXtX
ts
∈∀= ↓ ωω
就称该随机过程有着右连续样本路径。左连续的概念是类似的。
3)正则连续性。我们称一个随机过程 ),0[)( ∞∈ttX 为正则右连续的(regular right continuous),
当且仅当它是 tF -可测的,并且对于每一个 Ω∈ω 和 ),0[ ∞∈t ,
a)它的样本路径是右连续的:
tutXuX
tu
>=→ ),,(),(lim ωω
b)存在左极限:
tssXtX
ts
<=− → ),,(lim),( ωω
正则左连续的定义是类似的,它们的图形表示如下:
Xt
t
Xt
t
a正则右连续 b正则左连续
图 10-2 正则右、左连续函数
我们用 RCLL(right-continuos with left limits或者 càdlàg9)表示拥有左极限同时又是右
连续的随机过程。
接下来我们考察两个随机过程是否相同。考虑定义在同一概率空间上的两个随机过程
),0[)( ∞∈ttX 、 ),0[)( ∞∈ttY ,当它们被认为是 t和ω函数时,当且仅当
Ω∈∈∀= ωωω ];,0[ ),()( TtYX tt
成立时,我们才能说它们是相同的。但考虑到概率测度 P,可以放松一些要求。我们
可以提供至少 2个判断两个随机过程是否“几乎总是相同”(almost the same)的标准:
1)当且仅当对于每一个 0≥t ,有
1}{ == tt YXP
成立时,称它们互相为对方的一个修正(modification)或者一个版本(version)10。
2)而当且仅当有
1]},0[,{ =∈∀= TtYXP tt
成立时,称为它们为是无区别的(indistinguishable)。如果两个过程是无法区别的,则它
们一定是对方的一个修正,分之则不真11。但是如果它们具有右连续的样本路径,则反之
也成立。
现在我们加强信息结构。存在一个滤过的概率空间 },,,{ FPFΩ ,要求它满足以下这些
常规条件(usual conditions):
1)σ-代数 F 是P -完备的,即对于任何 F∈A 且 0)( =AP ,对一切 AN ⊂ 都有 F∈N 成
9 càdlàg即 continu à droite, limites à gauche。
10 或者称两者随机等价(stochastically equivalence),这时 X 和Y 有相同的有穷维分布函数。
11 两者之间的细微差异见 Elliott&Kopp(1999),p102。
第十章 随机过程 II:鞅 8
立;
2)σ-代数 0F 包含F 的所有P -零集,即对于任何 F∈A 且 0)( =AP ,都有 0F∈A 成立;
3)滤波 ),0[}{ ∞∈= ttFF 是右连续的,即对于所有 0>t ,都有:
I
tu
ut
>
= FF
成立,其中I
tu
u
>
F 表示对于 tu > 时的所有 uF 中最大的σ-域,这个条件说明滤波包含了
σ-域的所有不可数集合。
接下来我们深入考察随机过程的联合可测性(joint measurability)问题。假定 ],0[ T 是
R中的某个区间, ),0( TB 是 ],0[ T 中全体 Borel 集构成的σ-代数;用 )],0[( TB[[[F ⊗ 表示乘积
σ-代数12。给定任意随机过程 ],0[)( TttS ∈ , R→×Ω ],0[: TS ,如果:
1) ],0[)( TttS ∈ 在乘积σ-域 )],0[( TB[[[F ⊗ 上是可测的,就称它为可测的。
2) ],0[)( TttS ∈ 是 tF 可测的就称 ],0[)( TttS ∈ 为 ),0[}{ ∞∈= ttFF 适应的。
3) ],0[)( TttS ∈ 对于任何 ],0[ Tt ∈ ,是在乘积σ-域 ]),0([ tt B[[[F ⊗ 上是可测的,就称之为循
序可测的(progressively measurable)13。
容易知道任何循序可测随机过程均是可测过程,并适应于F。一个可测、适应过程有
一个循序可测的修正14。我们定义使得所有适应于F的随机过程路径为循序可测的最小σ-
域为循序σ-域PM (progressiveσ-field)。
实际上每个有着左(右)连续样本路径的适应过程都是循序可测的,由此我们还可以
有以下子σ-域和相应的随机过程。
4)可选σ-域Op (optional σ-field)——使得所有适应于F的右连续路径为可测的最小σ
-域,如果一个过程是Op可测的就被称为可选过程。
5)可料σ-域Pr (predictableσ-field)——是使得所有适应于F的左连续路径为可测的最
小σ-域,如果一个过程是Pr可测的就被称为可料过程。实际上就是指在 t时刻的值是严格
依赖于 t时刻以前的信息的。***
因为:
连续适应过程⇒ RCLL过程⇒循序可测过程⇒可测过程
因此可料过程和可选过程必然是循序可测过程,所以上面的σ-域之间有以下嵌套关系:
],0[ TBFPMOpPr ⊗⊂⊂⊂ **nielsen17 543
定义 10.1.3 假定 ),0[)( ∞∈ttS 是滤波空间{ }F,,, PFΩ 上的一个适应过程,如果:
1) ),0[,)( ∞∈∞< tSE t ;
2) ,)|( ttTt SSE =F tT >∀ 。
则称 tS 为连续时间鞅或者简称鞅。
可以证明如果滤波满足常规条件,每一个上(下)鞅都存在一个 tF 适应的右连左极的修
12 一个 ],0[ T×Ω 可测的长方形是一个 BA× 集合, F∈A , )],0[( TB B[[[∈ 。乘积σ-域 )],0[( TB[[[F ⊗
是包含所有可测长方形和概率测度 ×P 勒贝格测度 λ -0集的最小σ-域。
13 这个重要术语最早来自 Chung&Doob(1965)。
14 证明见Meyer(1966),p68。
第十章 随机过程 II:鞅 9
正15。因此当我们谈到连续时间鞅的时候,指的均是它们的 RCLL版本16。
10.1.3鞅的例子
离散鞅的例子是很普遍的,以下是微观金融分析中经常会见到的两个例子。
仍然启用我们在上一章中用来模拟股票价格路径的二项树模型。现在假定 n时刻的股
票价格为 nS ,而在 1+n 时刻,股票价格将以:
)/()1( dudp −−=
的概率上涨到 nuS ;或者以 p−1 的概率下降到 ndS ,即:
10.1.5
−
−
−
−
=+
du
udS
du
duS
S
n
n
n 1
1
1
概率为
概率为
, ud <<0
则下一时刻股票价格的数学期望为:
10.1.6 nnnnnn Sdu
udduS
du
udS
du
duSSSE =−
−+−=−
−+−
−=+ )1()1(11)|( 1
因此遵循这种二项过程的股票价格运动就是一个鞅。
考虑下面这个 nF -适应的随机过程:
10.1.7 0, 01 =+=+ SSS nnn ε
其中 nε 定义为:
10.1.8 1,0,,
1
, 0
1
=++≥
−
= qrpqrp
q
r
p
n
概率为
概率为
概率为
ε
可以证明
)]([ qpnSn −−
是一个鞅,这是因为:
10.1.9
)(
))(1()(
))(1()(
]|))(1([]|))(1([ 1
qpnS
qpnqpS
qpnES
qpnSEqpnSE
n
n
nn
nnnnn
−−=
−+−−+=
−+−+=
−+−+=−+−+
ε
ε FF
容易证明
)(2 qpnSn −−
)]()[()]([ 222 qpqpnqpnSn +−−+−−
以及
pqaa nS /, =
也都是 nF -适应的鞅,请读者自行完成。
连续时间中最让人感兴趣的鞅是我们已经很熟悉的维纳过程。在上一章中,我们知道
标准维纳过程 ),0[)( ∞∈ttW[ 或者说布朗运动是一个具有以下特征的独立增量随机过程,:
15 参见 Karatzas&Shreve(1991)。
16 注意有些术语上有微小差异,参考 Hunt&Kennedy(2000),p49。
第十章 随机过程 II:鞅 10
1) 00 =W ;
2) )(ωt[Wt→ 是连续的;
3)对于任何 t≤s , st WW − 是服从 0 均值,方差为 st − 的标准正态分布的独立随机变
量。
给定一个维纳过程W ,我们可以定义一个由W 生成的滤波。令 0tF 为 F 中使得
}0),({ tss ≤≤W 是可测的最小子σ-域,而令 wtF 是包括 0tF 和所有 0 概率集的最小子σ-域,
则 ),0[}{ ∞∈ttWF[ 就是由W生成的滤波。可以证明自然滤波:
)(WF W σ=t
满足前面定义的常规条件17。也容易证明W是该滤波下的一个连续鞅:
0)()|( =−=− ∆+∆+ ttttttt EE WWFWW
以维纳过程为基础,可以引申出许多类似的随机过程。例如如果 tW 是一个 tF 适应的
维纳过程,则
tt −2W
也是鞅,这一点可以简单证明如下:
)()|()|(2]|)[(
)(]|2)[(
)()|(]|[
2
22
2
ttEEE
ttE
ttEXE
tttttttttt
tttttttt
tttttt
∆+−−+−=
∆+−−+−=
∆+−=
∆+∆+
∆+∆+
∆+∆+
FWFWWFWW
FWWWWW
FWF
逐次考察上式右侧各项。由于W 具有独立增量性质,因此 ttt WW −∆+ 是独立于滤波
tF 的,另外注意到有
t∆=∆ 2W
这一近似关系,就有:
tEE ttttttt ∆=−=− ∆+∆+ ])[(]|)[( 22 WWFWW
而根据条件期望的性质(见第 8.3.3节),有:
2)|()()|( tttttttt EtE WFWWFWW == ∆+∆+
根据条件期望性质:
22 )|( tttE WFW =
综合上述结果就有:
ttttttt XttttXE =−=∆−−−+∆=∆+ 2222]|[ WWWF
17 详见黄()p18。
第十章 随机过程 II:鞅 11
这就证明了 tt −2W 是鞅。这个事实反过来说也是正确的,即如果 tt −2W 是一个连续时
间鞅,而W也是连续时间鞅,则W必然是布朗运动18。
我们也可以证明随机过程:
taa te
2
2
1−W
也是鞅,其中 a是任意实数。这是因为
∆−−=
∆+−=
∆+
∆+∆+
ttttt
tttttt
taaXE
ttaaEXE
FWW
FWF
|]
2
1)(exp[
|)](
2
1exp[]|[
2
2
根据维纳过程的独立性假设和条件期望的性质,有:
{ })](exp[)
2
1exp(
|]
2
1)(exp[]|[
2
2
tttt
tttttttt
aEtaX
taaEXXE
WW
FWWF
−∆−=
∆−−=
∆+
∆+∆+
)( ttta WW −∆+ 项服从 0 均值和 ta ∆2 方差的正态概率分布,根据在概率论一章中学习
过的内容,我们知道 )](exp[ ttta WW −∆+ 服从对数正态分布,它的期望是 )2
1exp( 2 ta ∆ ,这
样:
ttttt XtataXXE =∆∆−=∆+ )2
1exp()
2
1exp(]|[ 22F
这就证明了 taa te
2
2
1−W 也是鞅,它被称为王尔德鞅(Wald’s martingale)。
金融相关点 10-3:金融资产价格运动和鞅
那么是不是金融资产价格运动就是鞅呢?我们知道一般说来,风险资产的价格变化,
在给定信息集下,并非完全不可预测的。比方说折扣发行的零息票债券(zero coupon bond)
的价格 B会随着到期日的临近,越来越接近其面值,即越来越大,即:
NnBBE nNn <> ,)(
显然这是一个下鞅。类似的,股票通常会有一个正的预期收益,也就是说:
NnSSE nnN <≥− ,0)|( F
因而也不具有鞅性。以上讨论原则上也适合期货和期权一类的衍生产品。例如期权
有时间价值,并且会随着到期日的临近不断地衰减,这是上鞅的一个特征。
很自然就会有这样一个问题:既然大多数金融产品的价格运动不是鞅,为什么我们
对于鞅有这么浓厚的兴趣呢?实际上在 10.1.1节中定义离散鞅时,我们就强调过:
鞅的定义是基于特定概率分布和信息集合的,通过对信息集和概率测度的适当处理,
就可以把上(下)鞅转化为鞅。
比方说我们能不能找到某一种概率分布Q,它把资产的未来价格用无风险收益率贴
现后的值,转变成一个鞅,即:
NnSSeE nnN
nNr
n <=−− ,)|( )( FQ
如果这种转换可以实现,势必大为简化金融产品定价工作。如何在数学中实现这种
变换以及它在经济学上的合理解释是什么,将是以下分析的重要内容之一。
18 简单的证明可以参考 Elliot&Kopp,1999,p125-26。
第十章 随机过程 II:鞅 12
10.1.4鞅的子类
接下来我们介绍鞅的 3 个子类,它们是 1L -有界(bounded)鞅,一致可积(uniformly
integrable)鞅和平方可积(square integrable)鞅。一致可积性(uniformly integrability)的
概念同条件数学期望紧密联系在一起,因而也同鞅性紧密联系在一起。因此一致可积鞅通
常是使得一些主要结论得以成立的最大和最自然的一类鞅。Hunt+Dothan
在 8.4.2节中,我们定义过 1, ≥pLp 线性概率空间,回忆一下,我们称由满足
∞<)|(| pXE
的随机变量 X 构成的集合全体为 pL (有界)空间。这里类似的,令 tX 为任意随机过程,
当它满足
∞<
≥
)|(|sup
0
p
t
t
XE
时,就称该随机过程为 pL -有界的(或者说属于 pL )。特别的,如果随机过程 tX 是 2L -
有界的,我们就称它为平方可积的。
眼下我们对 1L -有界鞅感兴趣,注意到如果M 是一个鞅则对于所有的 t,必然有
∞<|)(| tME
进一步根据条件数学期望的 Jensen不等式,对于 ts < ,有
|)(||)|(|)]||(|[|)(| sststt MEMEEMEEME =≥= FF
因此 |)(|lim|)(|sup
0
tttt
MEME ∞→≥
= 和说一个鞅是 1L -有界的,是一个当 ∞→t 时的断言。**
鞅的 1L -有界性是下面这个关于鞅的收敛定理(martingale convergence theorem)的充分条件。
定理 10.1.4 (Doob鞅收敛定理)令M 是一个 1L -有界的 RCLL鞅,则
)(lim)( ωω tt MM ∞→∞ =
存在而且是有限。
详细证明见 Revuz&Yor(1991)。根据 Fatou定理:
∞<≤∞ |)(|inflim|)(| tMEME
我们可能会轻率地得出以下结论:
1)在 1L 中 ∞→ MM t 意味着当 ∞→t 时,有 0|)(| →− ∞MME t 成立。
2) )|( tt MEM F∞= 。
但实际上这两个断言在一般情况下均不成立,除非我们把 tM 限制在更为严格的类别—
—一致可积鞅上。
定义 10.1.5 对于一族 1L -有界的随机变量C,如果当 ∞→ε 时对于任意 C∈X
∫ ≥ }|{| ||εX dPX
一致收敛于 0。就称该族随机变量是一致可积的。
如果一个鞅 tM 满足上述条件就它是一致可积鞅。一致可积性是比 1L -有界更强的一个
要求。实际上如果是一个鞅是 1, >pLp -有界的,则它必定是一致可积的。我们加上一致可
第十章 随机过程 II:鞅 13
积性的要求目的是控制鞅的尾部行为(tail behavior),它将保证上述的两个收敛结果成立。
实际上如果M 是一个一致可积鞅,则19:
1)在 1L 中 ∞→ MM n 。
2)存在 1LM ∈∞ 使得 nn MME =∞ )|( F 。
这时我们也称M 被 ∞M 封闭了(closed)。[kopp105]
现在我们前往最终目标——平方可积鞅。如果一个鞅具有有限的二阶矩,即
∞<)( 2nME
我们就称之为平方可积鞅20。最后我们附送一个 Doob 最大不等式(Doob’s maximal
inequality)21:******
( ) 1),(
1
sup >
−≤ pXEp
pXE p
p
p
t
10.2停时和鞅型序列
在本节中我们要引入停时(stopping time)概念22,这个概念在随机过程理论研究中非常重
要,它提供了“驯服时间这一连续统”(tame the continuum of time)的有效工具(Chung,
1982),而且停时的引入将把鞅的性质拓展到其它鞅型序列上去23。
10.2.1停时定义
那么什么是停时呢?记住 t是时间, tF 代表积累到 t时刻的信息。停时可以理解为某一
随机事件第一次发生的时刻。不妨假想我们对某些特定现象的发生感兴趣:例如某个“黑
色星期五”的出现,我们对这些特定现象第一次出现的时刻 )(ωT 给予特别的注视。很明
显事件 })(,{ t≤ωω T 的发生,当且仅当这一现象出现在 t时刻上或者 t时刻之前。应当是积
累到那个时刻的信息集的一部分。
例如一个赌徒决定在他赌赢 100 次后就收手,那么他停止赌博的时刻就是一个随机变
量 n=T ,就是说当他赌到 n次时,他才赢足 100 次, nF 是他赌到第 n次的所能掌握的全
部信息。故T 是否等于 n是依赖他赌到第 n 次才能知道的。从这里体会它似乎有点“你到
那就知道了”那种无奈的意味。
正式的,停时是一个定义在滤波空间{ }F,,, PFΩ 上的随机变量
}{),0[: ∞∪∞→ΩT
对于任何 +∈Rt ,它满足24:(数学
543总合)
10.2.1 ttt FTT ∈≤=≤ })(,{}{ ωω
19 这被称为鞅收敛定理 kopp83-85(martingale convergence)证明参考Williams。Rogers&Williams。
20 引入平方可积的目的是为了实现随机积分, 2L 是一赋泛(完备)线性空间。Hunt39 因为在构造随机积
分的时候,我们要考察一系列鞅的极限,我们要求这个极限也是一个鞅,因此我们需要有一个完备的鞅空
间。。
21 或者称 Doob’s pL 不等式,证明见##
22 有时也称马(尔科夫)时(Markvo time)。
23 停时可能是整个随机过程分析中最具有技术特征的部分之一,在直观意义上停时提供了一个试图最大化
赌博收益的赌博策略,因为鞅代表公平赌博,这样一种策略不会涉及到预见性。
24 如果该严格不等式成立,则称之为可选时(optional time)。如果滤波是右连续的,则可选时和停时是相同
第十章 随机过程 II:鞅 14
显然任意非负的常值随机变量 t=T 是一个停时,而且 )0(, ≥+ ssT 也是停时。容易知
道:
1)如果 21 ,TT 是停时,则 21 TT + , 21 TT ∧ , 21 TT ∨ 也都是停时25;
2)如果 1)( ≥nnT 是一个停时序列,则 nnnn TT sup=∨ 、 nnnn TT inf=∧ 、 nn Tsuplim∞→ 、
nn
Tinflim∞→ 也都是停时。
我们同时定义[Hunt42]
ttAtA FTFF T ∈≤∩∞≤∀∈= },,{
注意此时集合 TF 被称为停时前的σ-代数。补一个 Elliott101黄 22如果 21 ,TT 是停时,
而且 21 TT ≤ ,则有:
1)
21 TT FF ≤ 。
2)如果
1TF∈A ,则 2}{ 21 TFTT ∈≤∩A 。
10.2.2最优停止定理
我们可以把停时看成是对普通时间变量 t的随机化,那么停时在随机序列中的出现会对
随机序列的运动特征产生什么样的影响呢?不妨更直接的说出我们的想法:现在既有停时
概念又有鞅的概念,把它们放在一起会怎么样呢?直观上理解:一个鞅在停止时刻基于现
在时刻的均值就应当是它的当前值。
假设 tW 代表一个赌徒在 t时刻的财富,他连续的参加“公平”的赌博,现在的问题是:
他能不能通过精心的选择停止赌博的次数来最大化他的个人财富呢?答案是否定的。这就
是著名的多布有界停时定理(Doob’s bounded stopping time theorem)26。
定理 10.2.1 如果 +∈ZnnM )( 是在随机基 },,,{ FPFΩ 上的一个 nF -适应的离散鞅;
∞