[论文解读] Simple proof of Dynkin's formula for single-server systems and polynomial convergence rates

A. Yu. Veretennikov, Galina Zverkina|arXiv (Cornell University)|Jun 10, 2013

Advanced Queuing Theory Analysis参考文献 6被引用 7

一句话总结

本文针对具有不连续到达率与服务率的单服务台排队系统，使用完备概率公式方法而非鞅理论，提供了狄尼金公式的一个严格且初等的证明。在最小正则性假设下，建立了多项式收敛速率至平稳分布的结果，并将结果推广至非马氏系统，包括具有广义生成元的系统，且无需强度函数的光滑性要求。

ABSTRACT

An elementary and rigorous justification of Dynkin's identity with an extended infinitesimal operator based on the idea of a complete probability formula is given for queueing systems with a single server and discontinuous intensities of arrivals and serving.

研究动机与目标

• 为具有不连续到达率与服务率的单服务台排队系统，提供狄尼金公式的严格且初等的证明。
• 在不假设强度函数正则性的前提下，建立收敛至平稳分布的多项式收敛速率。
• 将狄尼金公式及遍历性分析的适用范围扩展至非马氏系统，包括连续时间的点过程（PDMPs）。
• 证明在该类模型中，推导狄尼金公式无需依赖鞅理论。
• 支持在控制排队系统与随机平均化中的应用，其中最优控制通常具有不连续性。

提出的方法

• 以完备概率公式为核心分析工具，避免依赖高级鞅理论。
• 为过程定义一个扩展生成元 G，即使在强度函数不连续时也适用。
• 将狄尼金公式应用于形如 L_m(X) = (n + 1 + x)^m 和 L_{k,m}(t,X) = (1 + t)^k(n + 1 + x)^m 的李雅普诺夫函数。
• 通过与主导泊松驱动过程耦合，建立矩界以确保一致可积性。
• 通过逼近与收敛定理，将公式从有界 C^1 函数推广至多项式增长函数。
• 应用扩展的狄尼金公式，在递归条件下推导出收敛至平稳分布的速率界。

实验结果

研究问题

• RQ1 是否可以在不依赖鞅方法的前提下，为具有不连续强度函数的单服务台排队系统严格证明狄尼金公式？
• RQ2 在强度函数正则性要求最低的假设下，此类系统的平稳收敛速率为何？
• RQ3 在具有状态依赖动态的非马氏排队模型中，如何定义并应用扩展生成元？
• RQ4 能否为推广 M/G/1 模型（含不连续到达率与服务率）的系统建立多项式收敛速率？
• RQ5 完备概率公式方法是否足以在无需高级随机分析的前提下推导出遍历性界？

主要发现

• 狄尼金公式适用于广泛函数类，包括多项式增长函数，即使强度函数不连续，亦可通过扩展生成元成立。
• 该证明避免使用鞅理论，转而采用完备概率公式，使论证更易理解且自包含。
• 在递归条件下，无需强度函数光滑性假设，即可建立收敛至平稳分布的多项式收敛速率。
• 通过与主导泊松过程耦合，证明了所有 m > 0 的矩界 E[(n_t + x_t)^m] < ∞。
• 扩展生成元方法使得与文献 [18] 相同的微分计算成为可能，但现可适用于更广泛的不连续强度函数类。
• 该方法可推广至其他模型，如连续时间的点过程（PDMPs）及带控制的系统。