베리 에센 정리 친절 증명

초록

베리‑에센 정리는 중심극한정리의 비점근적 형태를 제공한다. 본 논문은 푸리에 분석을 기반으로 한 에센의 스무딩 부등식을 직관적으로 전개하고, 이를 이용해 독립이지만 동일분포가 아닌 변수들의 합에 대한 일반적인 베리‑에센 정리를 비공식적이면서도 엄밀하게 증명한다. 과정에 필요한 푸리에 변환 기본 개념을 간단히 복습하고, 스무딩 단계, 특성함수 근사, 테일러 전개, 그리고 최종 오류 추정까지 순차적으로 설명한다.

상세 분석

논문은 베리‑에센 정리의 핵심 아이디어를 “스무딩 → 푸리에 변환 → 특성함수 비교 → 테일러 근사 → 오류 제어”라는 네 단계 흐름으로 정리한다. 첫 번째 단계에서는 지시함수 1_{(-∞,a]}가 급격히 변하는 점을 완화하기 위해 부드러운 확률밀도 φ와의 컨볼루션으로 만든 함수 f로 대체한다. 이때 Lemma 3.1이 제시하는 스무딩 부등식은 원래의 누적분포 차이를 f에 대한 기대값 차이와 φ의 최대값 M, 스무딩 폭 ε에 대한 선형 항으로 상한한다. 두 번째 단계에서는 f의 푸리에 변환 \hat f가 유한 구간에만 지원되도록 φ를 선택함으로써, (3.2)식과 같이 차이를 복소 지수 e^{itx} 형태로 변환한다. Lemma 3.2는 이 과정을 정량화하여 |E f(X)−E f(Y)| ≤ ∫_{|t|≤1/ε} |E e^{itX}−E e^{itY}|·|t|^{-1} dt 로 나타낸다. 여기서 핵심은 \hat f가 컴팩트 지원이므로 적분 구간을 제한할 수 있다는 점이다.

세 번째 단계에서는 각 독립 변수 X_k의 특성함수를 테일러 전개로 근사한다. Lemma 4.1은 E e^{itX_k}=exp(−σ_k^2 t^2/2)+O(ρ_k^3|t|^3) 를 |t|≤1/ρ_k 범위에서 보이며, 여기서 ρ_k^3=E|X_k|^3이다. 이 근사는 복소 로그 전개와 O표기법을 이용해 상세히 증명된다.

네 번째 단계에서는 독립성에 의해 특성함수들의 곱을 취하고, Lemma 4.3이 이를 한 번에 합쳐서 전체 합 S_n에 대한 오차를 E e^{itS_n}−e^{-t^2/2}=O(ρ^3|t|^3 e^{-t^2/4}) (|t|≤c ρ) 로 얻는다. 여기서 ρ^3=∑_{k=1}^n E|X_k|^3이며, 가정에 의해 ∑σ_k^2=1이다.

마지막으로 Theorem 3.3(에센 스무딩 부등식)과 Lemma 4.3을 결합하면, 적절한 ε=c/ρ를 선택했을 때
sup_a |P{S_n≤a}−Φ(a)| ≤ C ρ
이라는 베리‑에센 정리의 표준 형태가 도출된다. 상수 C는 절대적이며, 논문은 이를 구체적인 적분 계산을 통해 확인한다. 전체 증명은 푸리에 변환의 기본 성질(역변환, 플랑크레, 컨볼루션)만을 사용하므로, 고급 확률 이론에 익숙하지 않은 대학원생도 따라갈 수 있다. 또한, 스무딩 함수 φ의 존재와 선택 방법을 명시함으로써 “왜 컴팩트 지원이 필요한가”라는 직관적 질문에 답한다.