[論文レビュー] The converse to Curtiss' theorem for one-sided moment generating functions

Patrick Chareka|ArXiv.org|Jul 22, 2008

Mathematical functions and polynomials参考文献 8被引用数 3

ひとこと要約

本稿は、零を含まない区間 (a,b) において片側モーメント母関数（MGF）の収束に関する必要十分条件を確立する。分布関数の弱収束と一様可積分性を用いて、MGFが一様有界であり、かつ元の分布が (a,b) 上で有効な MGF を持つ分布に弱収束する場合、MGF の点収束が成立することを証明する。主たる貢献は、片側 MGF におけるカーティスの定理の逆を示したことであり、従来の結果を零を含まない区間へ一般化した点にある。

ABSTRACT

A set of necessary and sufficient conditions for a sequence of moment generating functions to converge to a moment generating function on an interval (a,b) not necessarily containing 0, is given. The result is derived using recent results by Mukherjea, et al. (2006) and Chareka (2007).

研究の動機と目的

• 区間 (a,b) が零を含まない場合を含め、片側モーメント母関数へのカーティスの定理の一般化を確立する。
• 従来の結果が区間が零を含む必要があるという制限を克服し、対数正規分布やフリーチェ分布のような状況への適用性を拡大すること。
• 具体的には一様有界性と弱収束という、検証可能で実用的な条件を提示し、片側設定における MGF 収束を保証すること。
• MGF が零の近傍に存在しない場合の収束議論を可能にすることで、極限定理（例：中心極限定理）の証明を簡略化すること。

提案手法

• MGF が区間上で分布を一意に決定すること（Chareka, 2007）を用いて、与えられた MGF が一意な分布に対応することを保証する。
• 分布関数 {Fn} が F に弱収束することを仮定し、極限分布が (a,b) 上で有効な MGF M(t) を持つことを保証する。
• MGF の列 {Mn(t)} が (a,b) 上で一様有界であることを課すことにより、MGF 列の挙動を制御する。
• 劣化収束定理と連続変換の性質を用いて、E[etXn] → E[etX] における極限と期待値の交換を正当化する。
• プロホロフの定理を介して、連続極限への分布関数の一様収束を活用し、生存関数を含む積分の収束を保証する。
• 正の確率変数に対して E[etX] = ∫₀^∞ (1 − G(t,x)) dx という恒等式（G(t,x) = P(etX ≤ x)）を用い、MGF を生存関数の積分として表現する。

実験結果

リサーチクエスチョン

• RQ1 区間 (a,b) が零を含まない場合に、片側モーメント母関数の列が極限 MGF に収束するための条件は何か？
• RQ2 区間が零を含まない場合に、カーティスの定理の逆を零を含む必要なしに確立できるか？
• RQ3 MGF の一様有界性と分布の弱収束を組み合わせることで、片側設定における MGF 収束をどのように保証できるか？
• RQ4 連続性などの追加の正則性条件（例：極限分布の連続性）のもとで、MGF の一様有界性の確認を回避できるか？
• RQ5 区間内に零がない場合、MGF の収束と元の分布の収束の関係は何か？

主な発見

• MGF の列 {Mn(t)} が区間 (a,b) 上で点収束するための必要十分条件は、{Mn(t)} が (a,b) 上で一様有界であり、対応する分布関数 {Fn(x)} が (a,b) 上で有効な MGF M(t) を持つ分布 F(x) に弱収束することである。
• 一様有界性条件（すべての t ∈ (a,b) に対して supn Mn(t) < ∞）は、分布の弱収束と組み合わせると、必要かつ十分条件である。
• この結果は、零を含む区間における Kozakiewicz の収束条件を、零を含まない区間へ一般化したものである。
• 連続分布の場合、{Fn} が連続な F に弱収束し、すべての t ∈ (a,b) に対して Mn(t) が存在するならば、Mn(t) → M(t) がすべての t ∈ (a,b) で成り立ち、この場合一様有界性の条件は不要となる。
• 本定理は、MGF が t ≤ 0 のみで存在するフリーチェ分布や対数正規分布にも適用可能であり、このような片側ケースにおける収束の厳密な枠組みを提供する。
• 独立同一分布の標本に対する中心極限定理は、本逆定理を用いて再導出可能である：Mn(t) = E[etYn] がすべての t ∈ (a,b) で存在するならば、Mn(t) → exp(−t²/2) となる。