On the stability of the annulus for the torsion of multiply connected domains

技術要約：多重連結領域のねじれ剛性におけるアニュラス（環状領域）の安定性について

問題設定
本論文は、多重連結領域のねじれ剛性に関連する等周不等式の安定性を取り扱う。多重連結領域において、全面積および穴の全面積を固定した場合、同心円状のアニュラスがねじれ剛性を最大化するということは、古典的な結果（Pólya and Weinstein, 1950）として知られているが、「安定性」の問題、すなわち、ある領域のねじれ剛性がこの最大値に近い場合、その領域の形状は幾何学的にどれほどアニュラスに近いと言えるのか、という問いが残されていた。

著者らは、領域 $\Omega = G \setminus S$ を考える。ここで、$G$ は有界なリプシッツ領域であり、$S = \bigcup_{i=1}^m \Omega_i$ は $m$ 個の離散した穴の集合を表す。ねじれ剛性 $T(\Omega)$ は、境界 $\partial G$ 上でディリクレ境界条件を持ち、穴の境界上では定数（ただし未知）の値をとるポアソン方程式の解に関するレイリー商を通じて定義される。

手法
著者らは、対称化技術、定量的幾何不等式、および非対称性の伝播を組み合わせて用いている。

1. 再配置と対称化： 解析は、シュワルツ再配置（$u^\sharp$）および減少再配置（$u^*$）に大きく依存している。著者らは、一般の領域 $\Omega$ 上の解のエネルギーと、最適なアニュラス $\Omega_O$ 上のエネルギーを比較するために、ポリア＝セゲ（Pólya-Szegő）不等式とその定量的バージョンを利用している。
2. 定量的等周不等式： 証明には、周長欠損とフレーンケル非対称指数 $\alpha(\Omega)$ を関連付ける定量的等周不等式（定理 2.9）が組み込まれている。これにより、著者らはねじれ剛性の欠損を、解のレベルセットの幾何学的欠損（非対称性）へと変換することができる。
3. 非対称性の伝播： コアとなる手法は、解のレベルセットから領域の境界へと「非対称性を伝播させる」ことである。著者らは、集合の微小な測度摂動下における安定性に関する補題（例：補題 2.10 および 5.3）を適応し、もし大域的なねじれ剛性が最適値に近いならば、外側の境界 $G$ と穴の集合 $S$ がそれぞれ球に近くなければならないことを示す。
4. 同心性の解析： 領域が単なる2つの独立した球ではなく、アニュラス（同心円状の球）に近いことを確立するために、著者らはねじれ関数の「ほぼ放射状である性質（almost radiality）」を分析する。彼らは切断関数 $w$ を定義し、定量的なポリア＝セゲ不等式（定理 2.11）を用いて、解の勾配が放射状の解の勾配に近いことを示し、これにより、穴が球状であるだけでなく、外側の境界に対してほぼ同心であることを示す。

主要な貢献と結果

• 剛性の特徴付け（命題 1.1 および 定理 3.1）： 著者らは、ポリア＝ワインスタイン不等式の等号成立条件の鋭い特徴付けを提供している。もし $T(\Omega) = T(\Omega_O)$ であれば、$\Omega$ は（平行移動を除いて）同心円状のアニュラスでなければならないことを証明した。これは、多重連結領域に対する完全な特徴付けへと、これまでの部分的な結果を拡張するものである。
• フレーンケル非対称性による安定性（定理 1.2）： 著者らは定量的安定性の結果を確立している。穴の面積 $|S|$ が外側の領域に対して大きすぎない（$|S| \leq \frac{2}{3}|G|$）という仮定の下で、ねじれ剛性の欠損は、外側の領域と穴のフレーンケル非対称性の3乗の和を制御する：
  $$T(\Omega_O) - T(\Omega) \geq C \left( |G|^2 \alpha^3(G) + |S|^2 \alpha^3(S) \right).$$
  この結果は、剛性が最適値に近い場合、外側の境界と穴の両方が球に近いことを意味する。
• アニュラス非対称性による安定性（定理 1.3）： 著者らは、最適な同心アニュラスからの距離を測る「アニュラス非対称指数」$\beta(\Omega)$ を導入している。彼らは、剛性の欠損がこの指数を制御することを証明した：
  $$T(\Omega_O) - T(\Omega) \geq C \beta^\theta(\Omega).$$
  これは、剛性の近最適性が、領域を単なる球の集合ではなく、同心円状のアニュラス構成に近づけることを裏付けている。

意義と主張
本論文は、多重連結領域のねじれ剛性に関する安定性の問題を解決したと主張している。この問題では、等号成立の場合のより鋭い特徴付けが以前は利用できなかった。その意義は以下の通りである：

1. 剛性の全体像の完成： 最適な形状の存在を超えて、等号成立の場合の精密な記述、および近最適な形状の振る舞いへと踏み込んでいる。
2. 複数の穴への対応： 任意の数の穴（$m \geq 1$）を持つ領域への安定性解析の拡張であり、最適な構成には、球状の穴だけでなく、それらが外側の境界と同心であることも必要であることを証明している。
3. 手法の進展： 単連結領域に適用されていた非対称性の伝播技術を、外側の境界と穴を個別に分析することによって、より複雑な多重連結領域の幾何学へと適応できることを示している。

著者らは、定理 1.2 および 1.3 における指数の最適性の決定を未解決問題として明記しており、自身の推定における指数の最適性については控えめな姿勢を保っている。また、2次モーメントを含む、ディアス＝ワインスタイン（Diaz-Weinstein）の評価の定量化されたバージョンが将来の研究方向であることを示唆している。