[論文レビュー] 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]で示された微積分の手続きが、不連続強度を有するより広いクラスのモデルにも適用可能になる。
• 本手法は、区分的確率的マルコフ過程や制御付き系など、他のモデルへも一般化可能である。