Skip to content

定理Theorem

上穿不等式

Upcrossing inequality · Doob upcrossing inequality

通过低买高卖的可预测持仓,把下鞅完成上穿一个区间的期望次数控制在终点正部期望之内。

形式陈述 ​

固定实数 a<b。对路径 X0,…,XN,从首次满足 Xs≤a 的时刻开始等待,直到首次满足 Xt≥b 的较晚时刻,记一次完成的上穿;随后从 t 之后重新寻找下一个 Xs≤a,如此继续。记完成次数为 UN[a,b]。触及端点就算到达,停在两端之间的最后一段不计数。

若 (Xn,Fn) 是实值可积下鞅,则

(b−a)EUN[a,b]≤E(XN−a)+−E(X0−a)+,x+=max(x,0).

右边是两个正部期望的差,而不是 E(XN−X0)。对鞅也可以使用此式,但不应把证明中下鞅的持仓收益误认为均值为零。

直觉

每完成一次从 a 以下到 b 以上的上穿,“低处买入、高处卖出”的策略至少赚取 b−a。不过,最后一次买入可能尚未卖出,直接计算原过程的收益会留下浮动亏损。把过程先截成 Yn=(Xn−a)+ 后,每次买入时 Y=0,未完成持仓也只能贡献非负值。这一步使路径振荡转为可积的账面收益。

图中路径为 (0,1,2,0,−1,2,0,1),区间为 [0,2]。绿色区段对应两次完整持仓,最后一段用蓝色标出。U7[0,2]=2;最后到达 1 不能算作第三次。折线只是连接离散观测值,计数使用标出的整数时刻。

用互补持仓控制期望 ​

条件 Jensen 不等式保证 Y 是下鞅。令 Hk∈{0,1} 表示在第 k−1 次观测后是否持有,从而 Hk 对 Fk−1 可测。总收益为

GN=∑k=1NHk(Yk−Yk−1).

每段完整持仓贡献至少 b−a,未完成持仓贡献非负,所以逐路径有 GN≥(b−a)UN[a,b]。另一策略恰在空仓时持有,即持仓量为 1−Hk。下鞅的条件漂移非负,故

E∑k=1N(1−Hk)(Yk−Yk−1)≥0.

两种策略收益之和恰为 YN−Y0,因此 EGN≤EYN−EY0,得到不等式。这里真正提供收益上界的是互补持仓;仅说“持仓不偷看未来”还不足以让下鞅收益的期望等于零。

例子与边界

四步公平游走 ​

令 S0=0,每一步独立取 ±1,考虑区间 [0,2]。四步内最多完成一次上穿,因为从 0 到 2 至少需要两步,完成以后若要再回到 0 并重新到达 2,还需至少四步。

十六条等概率增量路径中,前两步为 ++ 的四条路径都在时刻 2 完成上穿。余下路径中只有 +−++ 和 −+++ 在时刻 4 首次到达 2。所以

EU4[0,2]=616=38.

另一方面,S4 取正值时,要么为 4(一条路径),要么为 2(四条路径),于是 E(S4)+=(4+4⋅2)/16=3/4。不等式给出

2⋅38≤34−0,

本例恰好取等号。比如路径 (0,−1,0,1,0) 始终没有到达 2,即使多次回到买入区域,也没有完成任何上穿。

一般适应过程没有这个保证 ​

确定性路径 0,2,0,2,0 完成两次上穿 [0,2],却在终点回到零。若把它代入定理左边得到 4,右边得到 0。矛盾只说明这不是下鞅:从 2 确定地跌至 0 违反条件漂移要求。可积与适应本身不能替代下鞅条件。

推论与应用

如果 supnE|Xn|<∞,那么对每个固定 a<b,上穿次数的期望有统一上界。随着 N 增加,UN[a,b] 单调增长;无限次上穿的概率因而为零。再对所有有理数端点同时处理,就能排除任何持续振荡,得到鞅收敛定理的核心机制。

它与Doob 最大不等式回答不同问题:最大不等式控制一次很大的偏离,上穿不等式控制在两个固定水平之间反复来回。得到路径极限之后,是否还能交换期望与极限,则需要一致可积性。

自测。 图中删去时刻 5 的值 2,改为 1,其余观测不变,U7[0,2] 是多少?答案是 1。第二次在时刻 3 买入后始终未到达 2,时刻 6 再次触及 0 也不会凭空完成一次上穿。

参考资料
关系图谱6 个相邻概念 · 2 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
类型化关系

被这些条目使用