Skip to content

定理Theorem

关键更新定理

Key renewal theorem

以直接 Riemann 可积性控制尾部,把局部更新极限推广到更新卷积的长期极限。

形式陈述 ​

更新方程常给出响应 z(t)=∫[0,t]g(t−s)U(ds)。要把这整个卷积变成长时间常数,仅知道局部更新率还不够,还须控制来自很早周期的响应总量。

设正更新间隔非格点,μ=EX∈(0,∞),U=∑n≥0F∗n。若实值 Borel 可测函数 g 在 [0,∞) 上直接 Riemann 可积,则关键更新定理给出

limt→∞∫[0,t]g(t−s)U(ds)=1μ∫0∞g(s)ds.

“直接”意味着在整条半轴上同时控制细分误差。对网格宽度 δ,在每个 [kδ,(k+1)δ) 取上确界与下确界;要求 δ∑ksup|g| 在充分小的 δ 时有限,且 δ∑k(supg−infg)→0。于是上下和趋于同一个有限积分。非负、单调不增且可积的函数满足此条件,是应用中最常见的易检验情形。

直觉

更新测度把所有可能的更新时刻叠在时间轴上,g(t−s) 则描述“距这次更新已有多久”所产生的贡献。远处每单位时间大约有 1/μ 份更新质量,所以极限应是响应曲线下的面积乘以这个密度。直接 Riemann 可积性防止面积很小却高度很大的尖峰反复对准更新时刻。

从小窗口到整条响应 ​

先把 g 截断在 [0,M],用固定网格的上、下阶梯函数夹住。每个阶梯只涉及一个长度为 δ 的远处窗口,Blackwell 定理令它的更新质量趋于 δ/μ。有限个阶梯可以直接求和取极限。

再处理 M 之外的尾部。固定 h>0,在 x≥0 后找到首次更新。若它落在 (x,x+h],计入这一点以后最多再有一份长度 h 的普通更新计数,所以 U((x,x+h])≤1+m(h);右边由更新方程页的局部有限性保证有限。将这一界乘以尾部上和,可把遗漏部分一致压小。卷积中 U 在零处的原子另贡献 g(t);直接 Riemann 可积性使 g(t)→0,因此这个端点也消失。最后先让 M→∞,再让 δ↓0,上下和合拢到 ∫g/μ。这一顺序说明为何仅有逐点局部极限仍不够:必须先得到不随 t 恶化的尾部控制。

例子与边界

设备每个周期先工作 A 再维修 B,各周期向量 (A,B) 独立同分布,周期内允许相关。假设 A,B≥0、P(A+B>0)=1、0<E(A+B)<∞,且 A+B 非格点。零时刻开始工作,记 p(t) 为时刻 t 的工作概率。首次周期分解给出

p(t)=P(A>t)+∫(0,t]p(t−s)dFA+B(s).

这里 g(t)=P(A>t) 单调不增,且尾积分恒等式给出 ∫0∞g(t)dt=EA,所以它直接 Riemann 可积。于是

p(t)⟶EAEA+EB.

若工作时间为速率 α 的指数时间,维修时长固定为 b,则极限为 1/(1+αb)。推导没有要求维修时间指数化,也没有把两状态过程误认成连续时间 Markov 链。

普通 Lebesgue 可积不能替代直接 Riemann 可积。取 g(k)=1 对所有非负整数 k,其余点为零,则积分为零,却有 g(k)=1 的无限尖点。对指数更新间隔,U=δ0+λds,因此 (U∗g)(t)=g(t),沿整数与非整数两列没有共同极限。失败来自更新测度中零时刻的原子,绝非积分计算有误。

若周期固定,非格点条件又会失败。例如工作一单位、维修一单位且固定起点,p(t) 永远交替为 1 与 0,没有逐时刻极限;但长期工作时间比例仍为 1/2。

推论与应用

本定理给的是确定观察时刻的分布或期望极限。更新报酬定理给的是一条长轨迹上的时间平均,后者不必消除格点振荡。两种结论可能拥有同一个比值,却来自不同的假设与极限操作。

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

拖动节点调整位置。

显示关系

显示:依赖

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