[论文解读] The converse to Curtiss' theorem for one-sided moment generating functions

Patrick Chareka|ArXiv.org|Jul 22, 2008

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

一句话总结

本论文建立了单边矩生成函数（MGF）在区间 (a,b) 上收敛于极限 MGF 的必要与充分条件，其中该区间不一定包含零。通过分布函数的弱收敛与一致可积性，证明了若 MGF 序列一致有界且底层分布弱收敛至在 (a,b) 上具有有效 MGF 的分布，则 MGF 的逐点收敛成立。主要贡献在于为单边 MGF 提供了 Curtiss 定理的逆定理，将先前结果推广至不包含零的区间。

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) 上的逆定理，将 Curtiss 定理推广至单边矩生成函数。
• 解决先前结果中要求区间包含零的局限性，从而扩大在对数正态分布和 Fréchet 分布等情形下的适用范围。
• 提供可验证、实用的条件——具体为一致有界性与弱收敛性——以确保单边设定下 MGF 的收敛性。
• 通过避免在零附近要求 MGF 存在，简化极限定理（如中心极限定理）的证明，使收敛性论证更具可行性。

提出的方法

• 利用 Chareka（2007）关于 MGF 在区间上唯一确定分布的性质，确保给定 MGF 对应唯一分布。
• 应用分布函数 {Fn} 弱收敛于 F 的条件，确保极限分布在其上具有 MGF M(t)。
• 施加 {Mn(t)} 在 (a,b) 上的一致有界性，以控制 MGF 序列的行为。
• 运用控制收敛定理及连续变换的性质，证明 E[etXn] → E[etX] 中极限与期望可交换。
• 借助 Prohorov 定理，利用分布函数对连续极限的一致收敛性，确保涉及生存函数的积分收敛。
• 应用恒等式 E[etX] = ∫₀^∞ (1 − G(t,x)) dx（其中 G(t,x) = P(etX ≤ x)）将 MGF 表示为生存函数的积分。

实验结果

研究问题

• RQ1 在不包含零的区间 (a,b) 上，什么条件下一列单边矩生成函数会收敛于极限 MGF？
• RQ2 是否可以在不强制要求区间包含零的条件下，建立 Curtiss 定理的逆定理？
• RQ3 如何利用 MGF 的一致有界性与分布的弱收敛性来确保单边设定下 MGF 的收敛性？
• RQ4 在额外正则性条件下（如极限分布连续），是否可避免验证 MGF 的一致有界性？
• RQ5 当区间不包含零时，MGF 的收敛性与底层分布收敛性之间有何关系？

主要发现

• 一列 MGF {Mn(t)} 在 (a,b) 上逐点收敛于极限 MGF M(t) 当且仅当 {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) 存在，则对所有 t ∈ (a,b) 有 Mn(t) → M(t)，此时有界性条件可被省略。
• 该定理适用于 MGF 仅在 t ≤ 0 时存在的 Fréchet 与对数正态分布，为这些单边情形提供了严格的收敛性框架。
• 独立同分布样本的中心极限定理可通过此逆定理重新推导：若对所有 t ∈ (a,b) 有 Mn(t) = E[etYn] 存在，则 Mn(t) → exp(−t²/2)，即标准正态分布的 MGF。