形式陈述
固定实数 。对路径 ,从首次满足 的时刻开始等待,直到首次满足 的较晚时刻,记一次完成的上穿;随后从 之后重新寻找下一个 ,如此继续。记完成次数为 。触及端点就算到达,停在两端之间的最后一段不计数。
若 是实值可积下鞅公理库鞅Martingale · Submartingale · Supermartingale在当前全部信息下,下一步条件均值等于当前值的可积适应过程。,则
右边是两个正部期望的差,而不是 。对鞅也可以使用此式,但不应把证明中下鞅的持仓收益误认为均值为零。
直觉
每完成一次从 以下到 以上的上穿,“低处买入、高处卖出”的策略至少赚取 。不过,最后一次买入可能尚未卖出,直接计算原过程的收益会留下浮动亏损。把过程先截成 后,每次买入时 ,未完成持仓也只能贡献非负值。这一步使路径振荡转为可积的账面收益。
图中路径为 ,区间为 。绿色区段对应两次完整持仓,最后一段用蓝色标出。;最后到达 不能算作第三次。折线只是连接离散观测值,计数使用标出的整数时刻。
用互补持仓控制期望
条件 Jensen 不等式保证 是下鞅。令 表示在第 次观测后是否持有,从而 对 可测。总收益为
每段完整持仓贡献至少 ,未完成持仓贡献非负,所以逐路径有 。另一策略恰在空仓时持有,即持仓量为 。下鞅的条件漂移非负,故
两种策略收益之和恰为 ,因此 ,得到不等式。这里真正提供收益上界的是互补持仓;仅说“持仓不偷看未来”还不足以让下鞅收益的期望等于零。
例子与边界
四步公平游走
令 ,每一步独立取 ,考虑区间 。四步内最多完成一次上穿,因为从 到 至少需要两步,完成以后若要再回到 并重新到达 ,还需至少四步。
十六条等概率增量路径中,前两步为 的四条路径都在时刻 完成上穿。余下路径中只有 和 在时刻 首次到达 。所以
另一方面, 取正值时,要么为 (一条路径),要么为 (四条路径),于是 。不等式给出
本例恰好取等号。比如路径 始终没有到达 ,即使多次回到买入区域,也没有完成任何上穿。
一般适应过程没有这个保证
确定性路径 完成两次上穿 ,却在终点回到零。若把它代入定理左边得到 ,右边得到 。矛盾只说明这不是下鞅:从 确定地跌至 违反条件漂移要求。可积与适应本身不能替代下鞅条件。
推论与应用
如果 ,那么对每个固定 ,上穿次数的期望有统一上界。随着 增加, 单调增长;无限次上穿的概率因而为零。再对所有有理数端点同时处理,就能排除任何持续振荡,得到鞅收敛定理公理库鞅收敛定理Martingale convergence theorem · Almost sure martingale convergence绝对一阶矩统一有界的离散下鞅具有有限的几乎必然极限,但未必在一阶均值中收敛。的核心机制。
它与Doob 最大不等式公理库Doob 最大不等式Doob maximal inequality · Doob Lp inequality用非负下鞅的终点尾部期望或鞅的终点 p 阶矩控制整个有限时间区间的最大值。回答不同问题:最大不等式控制一次很大的偏离,上穿不等式控制在两个固定水平之间反复来回。得到路径极限之后,是否还能交换期望与极限,则需要一致可积性公理库一致可积性Uniform integrability · Uniformly integrable family一族可积随机变量在统一截断水平之外的绝对期望可以一致地趋于零。。
自测。 图中删去时刻 的值 ,改为 ,其余观测不变, 是多少?答案是 。第二次在时刻 买入后始终未到达 ,时刻 再次触及 也不会凭空完成一次上穿。
参考资料