Gärtner–Ellis 정리 이해하기
극한 척도 누적생성함수가 대편차 율함수를 만드는 과정과 필요한 정칙조건, 옵션 꼬리로 연결할 때의 한계를 설명합니다
Mark 작성 · 하단에 공식 출처 표기
한눈에 답하기
Gärtner–Ellis 정리는 척도화한 로그 적률생성함수의 극한을 Legendre–Fenchel 변환해 볼록한 대편차 율함수를 얻습니다. 완전한 대편차 원리에는 극한의 존재뿐 아니라 정의역 경계와 비매끄러운 지점에 관한 추가 정칙조건이 필요합니다
정리는 척도화한 변환에서 시작합니다
확률벡터 Z_n과 속도 a_n→∞에 대해 Λ_n(θ)=a_n^{-1}log E[exp(a_n⟨θ,Z_n⟩)]로 둡니다
Λ_n(θ)가 명시된 정의역에서 확장실수 함수 Λ(θ)로 점별수렴한다고 가정합니다
이 극한은 희귀사건 확률을 재는 것과 같은 척도에서 지수적 적률의 성장률을 기록합니다
볼록쌍대가 율함수 후보를 만듭니다
후보 율함수는 Λ*(x)=sup_θ{⟨θ,x⟩−Λ(θ)}인 Legendre–Fenchel 변환입니다
Λ가 미분가능하면 목표 x는 ∇Λ(θ)=x를 만족하는 기울임 θ와 짝지을 수 있습니다
Λ*(x)는 해당 측도기울임 아래 x를 전형적인 값으로 만드는 지수적 비용입니다
상한과 하한은 서로 다른 주의가 필요합니다
정리는 보통 지수적 긴밀성 조건 아래 닫힌집합에 대한 상한을 줍니다
기본 하한은 하나의 지지초평면이 목표를 분명히 고르는 Λ*의 exposed point에만 적용될 수 있습니다
본질적 매끄러움, 하반연속성과 유한 정의역 경계에서의 steepness가 완전한 하한으로 확장할 수 있게 합니다
Cramér 정리는 중요한 특수형입니다
0 근처에서 로그 적률생성함수가 유한한 iid 관측의 표본평균은 표준조건 아래 Λ*를 율함수로 가집니다
Gärtner–Ellis는 척도변환 극한만 알 수 있다면 종속적이거나 비동일분포인 확률족도 다룰 수 있습니다
대신 극한, 지수적 긴밀성과 경계 정칙성을 증명하는 일이 분석의 가장 어려운 부분일 수 있습니다
옵션 꼬리는 선언한 척도를 물려받습니다
위험중립 로그수익률의 장기·단기·작은 소음 변환 극한은 꼬리와 외가격 옵션의 점근식을 줄 수 있습니다
선도 옵션가격 감소를 기준가격과 맞추면 같은 극한에서 선도 내재변동성 거동을 얻을 수 있습니다
가격결정측도, 마팅게일 조건, 행사가 척도와 변환 정의역을 논증 전체에서 일관되게 유지해야 합니다
볼록성이 중요한 거동을 숨길 수 있습니다
Legendre–Fenchel 변환은 실제 희귀사건 율함수가 비볼록해도 언제나 볼록합니다
비매끄러운 Λ는 경쟁하는 상태를 나타낼 수 있고 쌍대함수에는 선형구간과 여러 최적 기울임이 생길 수 있습니다
무비판적인 쌍대화는 볼록껍질만 돌려주고 직접 대편차 분석이 필요한 상태를 놓칠 수 있습니다
검증은 원공간과 쌍대공간을 함께 봅니다
넓어지는 θ 격자에서 Λ_n 수렴, 변환 유한성, 볼록성, 도함수와 경계 성장률을 검사합니다
여러 척도에서 Λ*(x)를 모의 로그확률이나 독립적인 점근식과 비교하며 한 만기만 보지 않습니다
exposed point 범위, 지수적 긴밀성, 최적화해의 유일성, 마팅게일과 파생 옵션가격의 정적 무차익을 기록합니다
자주 묻는 질문
Gärtner–Ellis 정리는 무엇을 하나요?
극한 척도 로그 적률생성함수를 Legendre–Fenchel 율함수가 지배하는 지수적 확률경계로 바꿉니다
극한 변환의 미분가능성은 없어도 되나요?
일부 경계는 남지만 비매끄러움은 하한을 제한하고 여러 기울임이나 선형 율함수 구간을 만들 수 있습니다
Cramér 정리와 무엇이 다른가요?
Cramér 정리는 iid 표본평균을 직접 다루지만 Gärtner–Ellis는 더 넓은 확률족의 척도변환 극한에서 출발합니다
언제나 진짜 율함수를 복원하나요?
아닙니다. 볼록쌍대는 진짜 비볼록 율함수를 드러내지 못하고 정칙조건이 실패하면 부분적 경계만 남을 수 있습니다