An isoperimetric inequality for lower order Neumann eigenvalues in Gauss space

技術的要約：ガウス空間における低次ノイマン固有値に関する等周不等式

問題提起
本論文は、ガウス測量の文脈におけるウィッテン・ラプラシアン（またはオルンシュタイン＝ウーレンベック作用素）のノイマン固有値の最適化を扱うものである。具体的には、連結なリプシッツ領域 $\Omega \subset \mathbb{R}^m$ に対して、最初の $m-1$ 個の非ゼロ・ノイマン固有値 $\mu_1(\Omega), \dots, \mu_{m-1}(\Omega)$ の調和平均を調査している。中心となる問題は、固定されたガウス体積の制約下で、どの領域の形状がこの調和平均を最大化するかを決定することである。

古典的なセゲ・ワインベルガーの不等式は、ユークリッド空間において球が最初の非ゼロ・ノイマン固有値 ($\mu_1$) を一意に最大化することを確立しており、そのガウス版は Chiacchio と Di Blasio によって原点対称な領域に対して証明されているが、低次の固有値（特にそれらの逆数の和）の挙動はガウス空間において未解決の問題であった。本論文は、原点に関して対称な領域に対して、セゲ・ワインベルガーの結果を最初の $m-1$ 個の固有値の調和平均へと一般化することを目的としている。

手法
主定理の証明は、ガウス測量に適応させた変分法と対称化の手法を組み合わせたアプローチに基づいている。その手法は以下のステップで進行する：

1. 変分的特徴付け： 著者らは、重み付きソボレフ空間 $H^1(\Omega, d\gamma_m)$ におけるノイマン固有値の標準的なレイリー商の定式化を利用する。固有値は、低次の固有関数に直交する部分空間上の下限として特徴付けられる。
2. 球の解析： 比較対象となる原点中心の球 $B_R$ の最初の非ゼロ固有値に関する詳細なスペクトル解析が行われる。著者らは以下を確立している：
   • $\mu_1(B_R)$ は重複度 $m$ を持つ。
   • 対応する固有関数は $u_i(x) = g(r)\psi_i(\theta)$ という形式をとる（ここで $\psi_i$ は線形座標関数である）。
   • 径方向の部分 $g(r)$ は特定のストルム＝リューヴィル方程式を満たす。
   • 極めて重要なことに、補題 2.3 は、径方向の固有関数 $g(r)$ が厳密に単調増加であり、$r \in (0, R]$ において $g'(r) \leq g(r)/r$ を満たすことを証明している。
3. 試行関数の構成： 任意の対称領域 $\Omega$ の固有値を抑えるために、著者らは比較球 $B$ の固有関数に基づく試行関数 $v_i(x)$ を構成する。これらの関数は、$v_i(x) = G(|x|) \frac{x_i}{|x|}$ として定義される（ここで $G(r)$ は、球の外側で定数となるような $g(r)$ の拡張である）。
4. 直交性と QR 分解： $\Omega$ は原点に関して対称であるため、試行関数 $v_i$ は平均がゼロとなる。著者らは、座標系を回転させるための QR 分解の議論を用い、試行関数が $\Omega$ の最初の $i-1$ 個の固有関数に対して必要な直交条件を満たすようにする。これにより、$v_i$ が変分的特徴付けのための有効なテスト関数として機能することが可能になる。
5. ガウス対称化： 証明には、ガウス再配置に関する単調性補題（補題 3.1）が用いられる。この補題は、非増減少な径方向関数 $h(r)$ に対して、$\Omega$ 上の積分が、同じガウス体積を持つ球 $B$ 上の積分によって抑えられることを述べている。これは $G(r)$ とその導関数に関する項に適用される。
6. 不等式の合成： $i=1$ から $m$ までの変分不等式を合算し、さらに $g(r)$ の単調性と固有値の順序 $\mu_1 \leq \dots \leq \mu_m$ を利用することで、逆数の和に対する下界を導出する。

主要な貢献と結果
主要な結果は、ガウス空間における最初の $m-1$ 個の非ゼロ・ノイマン固有値の調和平均に関する鋭い等周不等式を確立する 定理 1.1 である。

$\Omega \subset \mathbb{R}^m$ を原点に関して対称なリプシッツ領域とし、$B$ を $\Omega$ と同じガウス体積を持つ原点中心の球とする。このとき、次が成立する：
$$\sum_{i=1}^{m-1} \frac{1}{\mu_i(\Omega)} \geq \frac{m-1}{\mu_1(B)}$$
等号成立は $\Omega = B$ の場合のみである。

意義と主張
本論文は、この結果が Chiacchio と Di Blasio によって（具体的には [12] の定理 4.1 として）確立された、ガウス空間における最初の固有値 $\mu_1$ に関するセゲ・ワインベルガー型の不等式を一般化するものであると主張している（$\mu_1(\Omega) \leq \mu_1(B)$ は、固有値の順序関係から、調和平均の不等式から直接導かれる帰結であるため）。最初の $m-1$ 個の固有値の調和平均について不等式を証明することで、著者らは元の結果を包含するより強い制約を提供している。

著者らは、この結果がユークリッド空間における最初の $m$ 個の固有値の逆数の和に関する広範なアシュバ・ベンゲリア予想を支持するものである一方で、対称性の仮定なしにガウス空間でこの予想が成立するかどうかという問いは未解決のままであると述べている。本研究における対称性の仮定は、試行関数のために必要な直交条件の妥当性を保証するために不可欠である。

本論文は、新しい応用や実験的な提案を行うものではなく、ガウス空間におけるスペクトル幾何学の理論的枠組みを拡張することに専念している。