Quantitative stability for the Trudinger-Moser inequality

技術的サマリー：Trudinger–Moser 不等式に対する定量的安定性

問題提起
本論文は、滑らかで有界な領域 $\Omega \subset \mathbb{R}^2$ における Trudinger–Moser 不等式の定量的安定性を調査する。古典的なソボレフ埋め込みは臨界指数 $q=n$ において失敗するが、Trudinger–Moser 不等式は代替手段を提供し、$W^{1,n}_0(\Omega)$ に属する関数が指数関数的可積分性を示すことを主張する。具体的には、$n=2$ の場合、関数
$$E_{\alpha, \Omega}(u) = \int_\Omega e^{\alpha u^2} dx$$
は、$\|\nabla u\|_{L^2(\Omega)} \leq 1$ に対して、$0 \leq \alpha \leq 4\pi$ であるときかつそのときに限り有界となる。極値関数（最適化関数）の集合 $M_\alpha(\Omega)$ が空でないことは知られているが、単位円盤の場合であっても、それらの正確な解析的形は未解決のまま残されている。

扱われている中心的な問題は、不等式における「欠損」（supremum $TM(\alpha, \Omega)$ と関数値 $E_{\alpha, \Omega}(u)$ の差として定義される）が、関数 $u$ と最適化関数の集合 $M_\alpha(\Omega)$ との距離を制御するかどうかである。著者らは、以下のような定量的安定性評価の確立を目指す：
$$\text{def}_{\alpha, \Omega}(u) \gtrsim \text{dist}_{\alpha, \Omega}(u)^2,$$
ここで距離は $W^{1,2}_0$ ノルム（具体的には勾配の $L^2$ ノルム）で測定される。

手法
証明は、最適化関数周辺での線形化された作用素のスペクトル解析と、違反する列の漸近挙動に関する対立法に依存している。

1. スペクトルギャップ解析: 著者らは、最適化関数 $u^*$ に関連する 2 つの重要な固有値問題を定義する：

   • 線形化された問題 $(P_{\alpha, \Omega})$: $-\Delta \phi = \lambda (1 + 2\alpha (u^*)^2)e^{\alpha (u^*)^2} \phi$.
   • 非線形 Trudinger–Moser 問題 $(TM_{\alpha, \Omega})$: $-\Delta v = \Lambda e^{\alpha (u^*)^2} v$.
     それぞれの第 1 固有値を $\lambda_1(\alpha, \Omega)$ および $\Lambda_1(\alpha, \Omega)$ とする。重要なステップは、$\Lambda_1(\alpha, \Omega)$ が線形化された問題の第 1 固有値と第 2 固有値の間に厳密に位置するか、対称な場合においては第 1 の非半径固有値より厳密に小さいようなスペクトルギャップを確立することである。

2. 対立戦略: 臨界未満の場合の証明は対立法によって行われる。安定性評価が失敗すると仮定すると、supremum に近づくが最適化関数の集合から遠く離れた関数列が存在することになる。コンパクト性（Vitali の定理と集中コンパクト性を通じて）により、この列はある最適化関数 $u^*$ に収束する。正規化された偏差は漸近的なオイラー・ラグランジュ方程式を満たし、線形化された固有値問題を解く極限関数に収束する。スペクトルギャップの存在は、この極限を不可能にする（それは接空間に直交する符号確定な固有関数を意味するため）、それによって安定性評価が証明される。

3. 球から球体への拡張: Trudinger–Moser 汎関数は（ソボレフ汎関数とは異なり）同次でないため、著者らはまず $\|\nabla u\|_{L^2}=1$ である単位球面 $S^1$ 上で安定性を確立し、その後、半径方向のスケーリングに対する汎関数の単調性を用いて閉単位球 $B_1$ へそれを拡張する。

4. 横断性による一般性: 非退化の場合に対処するために、著者らは Sard–Smale の横断性論法を採用する。領域を微分同相写像によってパラメータ化し、オイラー・ラグランジュ方程式の拡張写像を解析することで、非退化性（ヘッシアンが接空間上で強正則であること）がパラメータ $(\alpha, \Omega)$ の一般的な集合に対して成り立つことを示す。

主要な貢献と結果

本論文は、欠損による最適化関数への距離の二次的控制に関する 3 つの主要な定理を確立する：

• 定理 1（小なる臨界未満の場合）: 任意の滑らかで有界な領域 $\Omega$ に対して、ある閾値 $\alpha_0 > 0$ が存在し、すべての $\alpha \in (0, \alpha_0)$ に対して安定性評価が成り立つ。この結果は、$\alpha \to 0$ となるにつれて線形化された問題の固有値がラプラシアンの第 1 ディリクレ固有値に収束し、スペクトルギャップが生じるという事実に依存している。
• 定理 2（非退化な臨界未満の場合）: 任意の $\alpha \in (0, 4\pi)$ に対して、すべての最適化関数が非退化である場合（すなわち、2 次変分が接空間上で強正則である場合）、安定性評価が成り立つ。著者らはさらに、そのような非退化性が一般的な性質であり、パラメータ $(\alpha, \Omega)$ の開かつ稠密な集合に対して成り立つことを証明する。
• 定理 3（対称な臨界の場合）: 単位円盤 $D$ および完全な臨界範囲 $\alpha \in (0, 4\pi]$ に対して、安定性評価が成り立つ。この結果は、小ささの仮定を必要とせずに臨界指数 $\alpha = 4\pi$ をカバーするため重要である。証明は円盤の回転対称性を利用し、線形化された作用素を角方向のフーリエモードに分解する。遠心力項 $r^{-2}$ によって導入される第 1 の非半径固有値と半径固有値との間に厳密なスペクトルギャップが存在することが示され、すべての方向での強正則性が保証される。

意義と主張
本論文は、極値の正確な形が未知である一般的な設定において、Trudinger–Moser 不等式に対する定量的安定性評価を初めて提供するとの主張である。ソボレフやヤンベなどの不等式に対する以前の安定性結果とは異なり、それらの最適化関数の集合は明示的に知られている（しばしば共形変換を含む）のに対し、Trudinger–Moser の極値は完全に特徴付けられていない。したがって、著者らは最適化関数への距離の明示的な計算に依存することができなかった。

代わりに、著者らは証明の中核メカニズムとして機能する新しいスペクトルギャップ不等式を導入する。このギャップにより、極値の明示的な知識を必要とせず、線形化された作用素のスペクトル特性に依存することで、証明が可能となる。著者らは、スペクトルギャップの結果自体が独立した関心を持つ可能性があると指摘している。この研究は、ソボレフ不等式に対して Bianchi と Egnell によって開始された定量的安定性のプログラムを、臨界的で非同次、かつ幾何学的に複雑な設定へと拡張し、対称な領域において臨界指数においても二次的安定性が成り立つことを実証している。