극값 이론을 위한 직관적 접근

본 논문은 극값 이론을 보다 직관적인 관점에서 접근하고자 한다. 서론에서는 극값 이론의 기본 개념을 소개하고, 최대값 \(M_n\)의 선형 정규화 \((M_n-b_n)/a_n\)가 비퇴화 한계분포를 갖는 경우를 “도메인‑오브‑맥스‑어트랙션”이라고 정의한다. 이어서 비선형 정규화 \(g_n(M_n)\)를 고려하면서, \(g_n\)를 단조 비감소 함수열로 제한한다. 제2절에서는 비선형 극값 이론의 핵심 결과인 정리 2.1을 제시한다. 정리 2.1은 두 조건을 동등하게 만든다. (i) \(g_n(M_n)\)가 비퇴화 한계분포를 갖는다. (ii) 함수열 \(h_n(x)=g_n\!\bigl(F^{-1}(1-x/n)\bigr)\)가 거의 모든 \(x>0\)에서 일정하지 않은 함수 \(h\)로 수렴한다. 여기서 \(h\)는 거의 전역에서 연속이며, 그 한계분포는 표준 지수 변수 \(\omega\)에 대해 \(h(\omega)\)의 분포와 동일하다. 정리의 증명은 먼저 균등분포 변수 \(U_n\)와 지수 변수 \(\omega\) 사이의 관계 \(U_n\stackrel{d}{=}e^{-\omega/n}\)를 이용한다. 양변에 quantile 변환 \(F^{-1}\)를 적용하면 \(M_n\)의 분포가 \(F^{-1}(e^{-\omega/n})\)와 동등함을 보인다. 따라서 \(g_n(M_n)\)의 한계분포 존재 여부는 \(g_n\circ F^{-1}(e^{-\omega/n})\)가 \(\omega\)에 대해 수렴하는지와 동치가 된다. 여기서 \(e^{-\omega/n}=1-\omega/n+o(1/n)\)이므로, \(g_n\circ F^{-1}(1-x/n)\) 형태로 변형할 수 있다. 수렴성을 확보하기 위해 Lemma 2.3(Helly‑type)과 Lemma 2.4(지역 균등 유계성)를 활용한다. Lemma 2.4는 \(h_n\)가 \((0,\infty)\)에서 지역적으로 균등하게 유계임을 증명하고, 이를 통해 부분수열이 거의 어디서든 수렴함을 확보한다. 수렴한 한계함수 \(h\)가 비상수이며 단조 감소임을 이용해 비퇴화성을 확보한다. 또한 (ii)와 (i) 사이의 역함수 관계는 \(\varepsilon\to0\) 극한을 이용한 교대 한계 과정으로 정밀히 증명된다. 제3절에서는 정리 2.1을 이용해 전통적인 선형 극값 이론을 재구성한다. De Haan(1970)의 정리 3.1을 증명하면서, \(\varepsilon\to0\) 에서 \(F^{-1}(1-\varepsilon u)-F^{-1}(1-\varepsilon)\) 비율이 존재하면 도메인‑오브‑맥스‑어트랙션이 성립함을 보인다. 여기서 한계비는 \(k_\rho(u)/k_\rho(v)\) 형태로 나타나며, \(\rho\)에 따라 Gumbel, Fréchet, Weibull 세 가지 고전적인 극값 분포가 도출된다. 제4절에서는 기하분포 최대값에 대한 비선형 정규화 가능성을 탐구한다. 기하분포 \(F(t)=1-p^{\lfloor t+1\rfloor}\)에 대해 선형 정규화는 불가능하다는 기존 결과를 바탕으로, 정리 2.1을 적용해 단조 비감소 함수열 \(g_n\)가 존재한다면 \(g_n(M_n)\)는 비퇴화 한계분포를 가질 수 없음을 증명한다. 핵심은 정수 부분을 제외한 소수부 함수 \(F(\theta\log n)\)가 \(