Local stability for a class of Saint-Venant type inequalities

技術要約：ある種のサン＝ヴナン型不等式における局所的安定性

問題設定
本論文は、形状汎関数 $J(\Omega) = \int_\Omega j(u) \, dx$ の定量的安定性を扱う。ここで、$u$ は領域 $\Omega$ におけるディリクレ・トーション問題 $-\Delta u = 1$（$\partial\Omega$ 上で $u=0$）の解である。関数 $j: \mathbb{R} \to \mathbb{R}$ は、凸かつ非負であり、リプシッツ連続で、$j(0)=0$ であると仮定される。

タルンテリの比較原理によれば、固定された測度を持つすべての領域の中で、球体 $\Omega^\sharp$ は $J(\Omega)$ を最大化することが知られている。中心的な課題は、この極大性に関する鋭い定量的安定性の評価を確立することである。具体的には、著者らは「欠損量（deficit）」$J(\Omega^\sharp) - J(\Omega)$ が、領域 $\Omega$ の球対称性からの距離の二乗を制御することを証明しようとしている。このような結果は、トーション剛性の特定のケース（$j(s)=s$ の場合）については Brasco, De Philippis, Velichkov [9] によって既に確立されているが、本研究は、一般的な凸関数 $j$ で定義されるより広いクラスの汎関数へとこの解析を拡張するものである。

手法
解析は**準球状集合（nearly spherical sets）**のクラスに限定される。領域 $\Omega$ が準球状であるとは、その境界が単位球 $B_1$ の小さな $C^{2,\gamma}$ 法線摂動であり、関数 $\phi$ によってパラメータ化されていることを意味する。体積は保存されており（$|\Omega| = |B_1|$）、重心は原点に固定されている。

主要な道具として、**形状微分法（method of shape derivatives）**を用いる。著者らは、自律的なベクトル場 $V$ によって生成される体積保存変形フロー $\{\Omega(t)\}_{t \ge 0}$ を、単位球から出発して考える。安定性は、汎関数 $f(t) = J(\Omega(t))$ の一次および二次変分を解析することによって調査される。

主な技術的ステップは以下の通りである：

1. 一次変分： ハダマールの公式と、変形場の発散ゼロの性質を用いて、一次微分を計算する。これにより $f'(0) = 0$ となることが示され、球体が臨界点であることが確認される。
2. 二次変分と随伴状態： 二次微分 $f''(t)$ の計算は、状態関数 $u$ の物質微分 $\dot{u}$ を含むため困難を伴う。これを回避するために、著者らは補助的な境界値問題によって定義される随伴状態（adjoint state） $p$ を導入する：
   $$\begin{cases} -\Delta p = j'(u) & \text{in } \Omega \\ p = 0 & \text{on } \partial\Omega \end{cases}$$
   この手法により、二次変分の境界積分式から $\dot{u}$ を排除することが可能となり、$u$ と $p$ の勾配のみに依存する扱いやすい公式が得られる。
3. スペクトル解析： $t=0$ における二次変分は、境界摂動の空間上の二次形式として表される。著者らは、摂動を球面調和関数に展開することで、この形式の強凸性を解析する。彼らは、二次形式が、一次の球面調和関数（これは平行移動と体積変化に対応し、既に制約条件として固定されている）に直交する摂動の部分空間上で正定値であることを示す。
4. 連続性と強凸性： 証明は主に2つの解析的評価に基づいている：
   • 改善された連続性： 二次変分 $f''(t)$ が、小さな摂動に対して $f''(0)$ に近いことを示すことで、非線形な剰余項が正定性を損なわないことを保証する。
   • 強凸性： 摂動が小さく、かつ体積および重心の制約を満たす場合、二次変分が摂動の $H^{1/2}$ ノルムの二乗に対して定数倍で下から抑えられることを証明する。

主要な貢献と結果
主要な結果は定理 1.2であり、これは準球状集合に対する局所的安定不等式を確立するものである。具体的には、$\Omega$ が $|\Omega| = |B_1|$ かつ重心が原点にある $C^{2,\gamma}$ 級の準球状集合であるとき、ある定数 $\delta_c > 0$ と $C(n, j) > 0$ が存在して、以下が成立する：
$$J(B_1) - J(\Omega) \ge C(n, j) \|\phi\|_{H^{1/2}(\partial B_1)}^2$$
ここで $\phi$ は境界摂動のパラメータ化である。

本論文は、この一般的な結果が適用されるいくつかの具体的な応用例を挙げている：

• トーション剛性： $j(s)=s$ の場合について [9] の結果を回収する。
• $L^p$ ノルム： $j(s) = s^p$ （$p \ge 2$）の場合に有効である。
• モザー・トリューゲル汎関数： 次元 $n=2$ かつ $j(s) = e^{s^2} - 1$ の場合に有効である。

また、著者らは付録 B において、より弱い正則性仮定（具体的には $j'' \in L^{n/2}$）および $j$ とその導関数の特定の構造的条件の下での強凸性を確立する代替証明を提供している。

意義と主張
本論文は、トーション剛性の特定のケースから、広範なクラスのサン＝ヴナン型不等式へと、鋭い定量的安定理論を拡張することを主張している。その意義は、形状微分の構造的な適応にある。随伴状態を導入することで、著者らは二次変分における $j$ の非線形性に起因する追加項をうまく制御することに成功した。

著者らは、結果が局所的（準球状集合に限定）である一方で、$H^{1/2}$ ノルムの使用が極めて重要であることを強調している。このノルムは、体積の偏差と境界の振動挙動の両方を捉え、非対称性のロバストな尺度を提供する。本研究は、ファベル・クラーニク不等式 [9] およびサン＝ヴナン不等式の基礎となる定量的安定結果に直接依拠しており、異なる凸関数 $j$ のトーション関数に対して、安定性のメカニズムがいかに堅牢であるかを示している。