[논문 리뷰] The converse to Curtiss' theorem for one-sided moment generating functions

Patrick Chareka|ArXiv.org|2008. 07. 22.

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가 영 근처에 존재하지 않아도 되는 수렴 추론을 가능하게 하여, 중심극한정리와 같은 극한정리의 증명을 단순화하는 것.

제안 방법

• MGF가 구간에서 분포를 유일하게 결정한다는 성질(Chareka, 2007)을 이용하여, 주어진 MGF가 유일한 분포에 대응함을 보장한다.
• 분포 함수 {Fn}이 F로 약한 수렴함을 적용하여, 극한 분포가 (a,b)에서 MGF M(t)를 갖는다는 것을 보장한다.
• ({Mn(t)}의 균일 유계성 조건을 도입하여, 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 수렴은 기저 분포의 수렴과 어떻게 관련이 있는가?

주요 결과

• 수열 {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) < ∞)는 약한 수렴과 함께 필수이자 충분한 조건이다.
• 이 결과는 영을 포함하는 구간에서의 수렴 조건을 제시한 코자키에비츠의 조건을 영이 포함되지 않는 구간으로 일반화한다.
• 연속적인 분포의 경우, {Fn}이 연속적인 F로 약한 수렴하고 Mn(t)가 모든 t ∈ (a,b)에서 존재한다면, Mn(t) → M(t)가 모든 t ∈ (a,b)에서 성립하므로, 이 경우 유계성 조건은 불필요해진다.
• 이 정리는 MGF가 t ≤ 0에서만 존재하는 프레셰 및 로그정규 분포에도 적용 가능하며, 이러한 한쪽 방향 케이스에 대해 엄밀한 수렴 프레임워크를 제공한다.
• i.i.d. 표본에 대한 중심극한정리는 이 역정리에 의해 재구성될 수 있다: Mn(t) = E[etYn]이 모든 t ∈ (a,b)에서 존재한다면, Mn(t) → exp(−t²/2)로 수렴하며, 이는 표준 정규분포의 MGF이다.