形式陈述
更新方程公理库更新方程Renewal equation按第一次更新分解,利用更新测度求解卷积型递推方程。常给出响应 。要把这整个卷积变成长时间常数,仅知道局部更新率还不够,还须控制来自很早周期的响应总量。
设正更新间隔非格点,,。若实值 Borel 可测函数 在 上直接 Riemann 可积,则关键更新定理给出
“直接”意味着在整条半轴上同时控制细分误差。对网格宽度 ,在每个 取上确界与下确界;要求 在充分小的 时有限,且 。于是上下和趋于同一个有限积分。非负、单调不增且可积的函数满足此条件,是应用中最常见的易检验情形。
直觉
更新测度把所有可能的更新时刻叠在时间轴上, 则描述“距这次更新已有多久”所产生的贡献。远处每单位时间大约有 份更新质量,所以极限应是响应曲线下的面积乘以这个密度。直接 Riemann 可积性防止面积很小却高度很大的尖峰反复对准更新时刻。
从小窗口到整条响应
先把 截断在 ,用固定网格的上、下阶梯函数夹住。每个阶梯只涉及一个长度为 的远处窗口,Blackwell 定理公理库Blackwell 更新定理Blackwell renewal theorem在有限平均间隔及非格点条件下,远处固定时间窗的期望更新数趋于窗长除以平均间隔。令它的更新质量趋于 。有限个阶梯可以直接求和取极限。
再处理 之外的尾部。固定 ,在 后找到首次更新。若它落在 ,计入这一点以后最多再有一份长度 的普通更新计数,所以 ;右边由更新方程页的局部有限性保证有限。将这一界乘以尾部上和,可把遗漏部分一致压小。卷积中 在零处的原子另贡献 ;直接 Riemann 可积性使 ,因此这个端点也消失。最后先让 ,再让 ,上下和合拢到 。这一顺序说明为何仅有逐点局部极限仍不够:必须先得到不随 恶化的尾部控制。
例子与边界
设备每个周期先工作 再维修 ,各周期向量 独立同分布,周期内允许相关。假设 、、,且 非格点。零时刻开始工作,记 为时刻 的工作概率。首次周期分解给出
这里 单调不增,且尾积分恒等式给出 ,所以它直接 Riemann 可积。于是
若工作时间为速率 的指数时间,维修时长固定为 ,则极限为 。推导没有要求维修时间指数化,也没有把两状态过程误认成连续时间 Markov 链。
普通 Lebesgue 可积不能替代直接 Riemann 可积。取 对所有非负整数 ,其余点为零,则积分为零,却有 的无限尖点。对指数更新间隔,,因此 ,沿整数与非整数两列没有共同极限。失败来自更新测度中零时刻的原子,绝非积分计算有误。
若周期固定,非格点条件又会失败。例如工作一单位、维修一单位且固定起点, 永远交替为 与 ,没有逐时刻极限;但长期工作时间比例仍为 。
推论与应用
本定理给的是确定观察时刻的分布或期望极限。更新报酬定理公理库更新报酬定理Renewal reward theorem把长期收益拆成每周期平均收益与单位时间周期数,允许周期长度和收益相关。给的是一条长轨迹上的时间平均,后者不必消除格点振荡。两种结论可能拥有同一个比值,却来自不同的假设与极限操作。
参考资料