Optimal Polynomial Stabilization of the Linearized Periodic Whitham--Boussinesq System

기술 요약: 선형 주기적 휘덤-부시네스크(Whitham–Boussinesq) 시스템의 최적 다항식 안정화

문제 정식화
본 연구는 1차원 토러스 $\mathbb{T} = \mathbb{R}/(2\pi\mathbb{Z})$ 상의 선형 주기적 휘덤-부시네스크 시스템의 장기 안정화 특성을 조사한다. 이 시스템은 완전 수면파 문제의 정확한 선형 분산 관계를 유지하면서도 약한 비선형 부시네스크형 근사를 사용하는 양방향 수면파를 모델링한다. 저자들은 영 평형(zero equilibrium) 주변의 선형 역학에만 집중하며, 이는 다음의 시스템에 의해 지배된다:
$$\begin{cases} h_t - T_\beta u = 0, \\ u_t + h_x = 0, \end{cases}$$
여기서 $h$와 $u$는 각각 표면 변위와 속도를 나타내며, $T_\beta$는 심볼 $-i \frac{\tanh(\beta k)}{\beta}$를 갖는 비국소 푸리에 승수(nonlocal Fourier multiplier)이다. 자연스러운 에너지 공간은 $\mathcal{H} = L^2(\mathbb{T}) \times H^{-1/2}(\mathbb{T})$로 식별된다.

안정화를 유도하기 위해 저자들은 공간 의존적 감쇠 항을 도입하여 다음과 같은 폐루프 시스템을 만든다:
$$\begin{cases} h_t - T_\beta u + a^2(x)h = 0, \\ u_t + h_x + b^2(x)P_\beta u = 0, \end{cases}$$
여기서 $a, b \in C^\infty(\mathbb{T})$는 음이 아닌 비자명한 감쇠 계수이며, $P_\beta$는 $-1$ 차수의 양의 자기 수반 푸리에 승수이다. 핵심 질문은 이러한 소산(dissipation)이 에너지를 0으로 강제하는지, 만약 그렇다면 최적의 감쇠율을 어떻게 결정하는가 하는 것이다.

방법론 및 증명 전략
분석은 시스템의 특정 고주파 거동으로 인해 고전적인 비조화 푸리에 방법(non-harmonic Fourier methods)을 피하고, 엄격한 스펙트럼 및 레졸번트(resolvent) 기반 접근법을 통해 진행된다.

1. 적합성 및 함수 프레임워크: 저자들은 먼저 보존적 연산자 $A$가 $\mathcal{H}$에서 스큐-자기 수반(skew-adjoint)임을 입증하여 유니터리 $C_0$-군을 생성함을 밝힌다. 감쇠 연산자 $D$에 의한 감쇠 연산자 $A_d = A - D$는 최대 소산(maximal dissipative)임을 보이며, 수축 반군(contraction semigroup) $S_d(t)$를 생성한다.
2. 스펙트럼 분석: 보존적 연산자의 스펙트럼은 순수 이산 스펙트럼으로 특징지어지며, 주파수 $\omega_k$는 $|k| \to \infty$일 때 $\omega_k \sim \beta^{-1/2}|k|^{1/2}$를 만족한다. 이 아선형 성장(sublinear growth)($|k|^{1/2}$)은 결정적인데, 이는 고전적인 지수 안정성 증명에 필요한 균등 간격 조건(uniform gap condition)을 위반하기 때문이다.
3. 강한 안정성(Strong Stability): 아렌트-바티-류비치-브(Arendt–Batty–Lyubich–Vũ) 정리를 사용하여, 감쇠 계수가 비자명하다면 감쇠 반군이 강하게 안정적(에너지가 0으로 감소)임을 증명한다. 이는 감쇠된 생성자가 허수축 상에 고윳값을 갖지 않음을 보이는 것에 기초한다.
4. 레졸번트 추정(Resolvent Estimates): 핵심 분석은 $|\tau| \to \infty$일 때 레졸번트 $(i\tau I - A_d)^{-1}$의 성장도를 결정하는 것이다.
   • 상한(Upper Bound): $v = P_\beta^{1/2}u$ 변환을 통해 결합된 시스템을 스칼라 연산자로 환원함으로써, 저자들은 감쇠된 분수 파동 방정식에 대한 고주파 정적 추정치(특히 Alazard, Marzuola, Wang 참조)를 적용한다. 이를 통해 $\|(i\tau I - A_d)^{-1}\|_{\mathcal{L}(\mathcal{H})} \lesssim |\tau|$임을 증명한다.
   • 하한(Lower Bound): 첫 번째 성분에 대한 감쇠($a$)가 "진정으로 국소화되어 있다"(즉, 공집합이 아닌 열린 집합에서 0이다)는 가정 하에, 저자들은 감쇠되지 않은 영역에 집중된 고주파 준모드(quasimodes)를 구성한다. 이 준모드들은 레졸번트 성장이 최소한 선형임을 보여준다, 즉 $\|(i\tau I - A_d)^{-1}\|_{\mathcal{L}(\mathcal{H})} \gtrsim |\tau|$이다.
5. 감쇠율: 선형 레졸번트 성장 추정치는 보리체프-토밀로프(Borichev–Tomilov) 정리와 결합되어 반군과 에너지의 다항식 감쇠율을 도출한다.

주요 결과
주요 결과(정리 1.1)는 생성자의 도메인 $D(A_d)$에 속하는 초기 데이터에 대해 다음을 확립한다:

• 해는 $\|Z(t)\|_{\mathcal{H}} \leq C t^{-1} \|Z_0\|_{D(A_d)}$로 감소한다.
• 에너지는 $E(t) \leq C t^{-2} \|Z_0\|_{D(A_d)}^2$로 감소한다.

나아가, 감쇠 $a$가 진정으로 국소화되어 있다면, 이러한 다항식 비율은 최적이다. 저자들은 준모드 구성을 통해 유도된 레졸번트의 선형 하한과 모순된다는 점을 들어, 더 빠른 다항식 감쇠율(예: $p > 1$인 $t^{-p}$)은 불가능함을 증명한다. 결과적으로, 진정한 국소화 하에서는 지수 안정성이 불가능하다.

의의 및 주장
본 논문은 선형 주기적 휘덤-부시네스크 시스템에 대한 최초의 최적 다항식 안정화 결과를 제공한다고 주장한다. 그 의의는 다음과 같다:

• 아선형 분산 처리: $|k|^{1/2}$ 분산 관계가 제기하는 특수한 도전을 해결한다. 이는 기하학적 제어 조건이 지수적 안정성을 유도하는 고전적 파동 방정식과는 구별되는 현상이다.
• 최적성: $t^{-2}$ 에너지 감쇠율이 주어진 감쇠 가정 하에서 가능한 최선의 다항식 비율임을 엄밀히 입증하며, 이를 비국소 연산자의 고주파 스펙트럼 구조와 직접 연결한다.
• 방법론적 적응: 분수 파동 방정식의 기술(정적 레졸번트 추정)을 결합된 비국소 분산 시스템에 성공적으로 적용하여, 전-분산(full-dispersion) 모델과 제어 이론 사이의 간극을 메운다.

저자들은 선형 분석은 완료되었으나, 이러한 다항식 비율이 비선형 영역에서도 지속되는지, 그리고 감쇠 기하학(예: 모든 곳에서 0이 아닌 감쇠)의 영향은 어떠한지는 향후 조사를 위한 열린 문제로 남겨둔다.