임계 길이 부근에서의 KdV 방정식 급속 안정성 및 구축적 제어 분석

본 논문은 유한 구간 (0,L)에서 Dirichlet‑Neumann 경계조건을 갖는 Korteweg–de Vries(KdV) 방정식의 지수 안정성을 임계 길이 집합 N 근처에서 정밀히 분석한다. 서론에서는 KdV 방정식의 물리적 배경과 기존 연구를 정리하고, 특히 Rosier가 제시한 임계 길이 집합 N={2π·(k²+kl+l²)/3 : k,l∈ℕ*}와 그에 따른 도달 가능/불가능 부분공간 H와 M의 존재를 소개한다. 이후 논문은 세 가지 주요 목표를 제시한다: (1) 영 제어 가능성을 구축적 방법으로 증명하고 관측 상수 C(T,L)를 정량화, (2) 빠른 제어(T→0⁺) 비용의 발산 속도를 파악, (3) L이 임계값 L₀에 접근할 때 감쇠율의 정확한 비율을 규명한다. 제2장에서는 전체 증명 전략을 개괄한다. 단계 1에서는 ‘전이‑안정화’ 방법을 도입해, Lebeau–Robbiano의 고주파 차단과 모멘트 방법을 결합해 중간 시스템을 구성하고, 이를 통해 영 제어를 위한 관측 불가능성 부등식(1.4)을 정량적으로 얻는다. 단계 2에서는 이 부등식을 이용해 선형화된 KdV(1.6)의 급격한 지수 감쇠를 도출하고, 감쇠 상수 C₀, m₀, M₀ 등을 L과 L₀의 차이에 대한 명시적 함수 형태로 제시한다. 단계 3에서는 불변 다양체 이론을 적용해 비선형 항 y∂ₓy를 포함한 전체 KdV(1.1)에도 동일한 감쇠 구조가 유지됨을 증명한다. 제3장과 제4장에서는 두 연산자 A와 B의 스펙트럼을 상세히 분석한다. A는 비자코비 연산자이며 고유함수가 라이스-베이시스를 이루지 않아 직접적인 모멘트 제어가 어려운 반면, B는 스키워-자코비 성질을 가지고 고유값이 순수 허수이며, 경계조건이 다소 다르다. B의 고유값 λ_j와 고유함수 E_j를 정밀히 계산하고, 특히 L이 임계값에 근접할 때 0에 가까운 고유값 쌍 iλ_{±1}=O(|L−L₀|)와 그에 대응하는 고유함수의 비대칭성을 파악한다. 이를 바탕으로 H_B(L)와 M_B(L)이라는 부분공간을 정의하고, A와 B 사이의 전이 연산자를 구성해 H_A(L)↔H_B(L) 사이의 동형성을 확보한다. 제5장에서는 전이‑안정화 방법의 구체적 구현을 다룬다. 중간 시스템 I과 II를 차례로 구축하고, a priori 추정과 반복 스킴을 통해 관측 상수 C(T,L)를 구한다. 특히 정량적 관측 불가능성 부등식(5.4)과 지수 안정성 부등식(5.5)을 얻어, C(T,L)∼|L−L₀|⁻²의 발산률을 명시한다. 제6장에서는 임계 길이의 분류와 그에 따른 M(L₀)와 H(L₀)의 구조를 정리한다. Type I(실제 고유값이 0인 경우)와 Type II(허수 고유값이 0에 근접하는 경우) 등 여러 유형을 정의하고, 각각에 대해 도달 불가능 부분 M(L₀)의 차원 N₀와 고유함수의 구체적 형태를 제시한다. 제7장과 제8장은 최종적인 급격한 안정성 결과와 비선형 경우의 확장을 담는다. Theorem 1.4에서는 L∈