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

技術要約：線形化周期型ウィサム・ブシネスク系の最適多項式安定化

問題の定式化
本研究は、1次元トーラス $\mathbb{T} = \mathbb{R}/(2\pi\mathbb{Z})$ 上の線形化周期型ウィサム・ブシネスク系における長時間安定化特性を調査するものである。この系は、完全な水波問題の正確な線形分散関係を保持しつつ、弱非線形ブシネスク型近似を採用した双方向の表面水波をモデル化している。著者らは、ゼロ平衡点周りの線形化ダイナミクスにのみ焦点を当てており、それは以下の系によって支配される：
$$\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}$ によって定義される非局所的なフーリエ乗算子である。自然なエネルギー空間は $\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$ の正の自己共役フーリエ乗算子である。中心となる問いは、この散逸がエネルギーをゼロへと減衰させるかどうか、そしてもしそうであれば、その減衰の最適速度を決定できるかという点である。

手法および証明戦略
解析は、システムの特定の高周波挙動により、古典的な非調和フーリエ法を回避し、厳密なスペクトルおよびレゾルベントに基づくアプローチを通じて進められる。

1. 適格性と関数フレームワーク： 著者らはまず、保存的な作用素 $A$ が $\mathcal{H}$ においてスキュー自己共役であり、$ユニタリ$C_0$群を生成することを確立する。減衰作用素$D$を持つ減衰作用素$A_d = A - D$は、極大散逸的であることが示され、縮小半群$S_d(t)$ を生成する。
2. スペクトル解析： 保存的作用素のスペクトルは純粋に離散的であることが特徴付けられ、周波数は $|k| \to \infty$ のとき $\omega_k \sim \beta^{-1/2}|k|^{1/2}$ を満たす。この劣線形成長（$|k|^{1/2}$）は極めて重要であり、古典的な指数安定性の証明に必要とされる一様ギャップ条件を破るものである。
3. 強安定性： Arendt–Batty–Lyubich–Vũ 定理を用いて、減衰係数が非自明である限り、減衰半群は強安定（エネルギーがゼロに減衰する）であることを証明する。これは、減衰された生成子が虚軸上に固有値を持たないことを示すことに依拠している。
4. レゾルベント評価： 解析の核心は、$|\tau| \to \infty$ におけるレゾルベント $(i\tau I - A_d)^{-1}$ の増大度を決定することである。
   • 上界： 変数変換 $v = P_\beta^{1/2}u$ を通じて結合された系をスカラー作用素に還元することにより、著者らは減衰された分数階波動方程式（具体的には Alazard, Marzuola, and Wang を参照）の高周波定常評価を適応させている。彼らは $\|(i\tau I - A_d)^{-1}\|_{\mathcal{L}(\mathcal{H})} \lesssim |\tau|$ であることを証明する。
   • 下界： 第1成分の減衰（$a$）が「真に局在化」している（すなわち、空でない開集合上で消失している）という仮定の下で、著者らは減衰領域に集中した高周波準モード（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}$ のエネルギー減衰率が、与えられた減衰仮定の下で最良の多項式レートであることを厳密に示し、減衰率を非局所作用素の高周波スペクトル構造に直接結びつけている。
• 手法の適応： 本研究は、分数階波動方程式（定常レゾルベント評価）の手法を、結合された非局所的な分散系へと成功的に適応させ、完全分散モデルと制御理論の間の溝を埋めている。

著者らは、線形解析は完了しているものの、これらの多項式レートの非線形領域への持続性、および減衰の幾何学的形状（例：至る所で非消滅する減衰）の影響については、今後の調査における未解決の課題として残されていると結論付けている。