An isoperimetric inequality for Neumann eigenvalues with radial log-concave measures

技術的要約：放射状対数凹関数によるノイマン固有値に関する等周不等式

問題設定
本論文は、空間形式（$M_\kappa$、ここで $\kappa \in \{1, 0, -1\}$）における原点対称なリプシッツ領域上のウィッテン・ラプラシアン（$\Delta_\phi = \Delta - \nabla \phi \cdot \nabla$）の最初の $n$ 個の非ゼロ・ノイマン固有値の調和平均に関する等周問題を扱う。これらの領域には、放射状の対数凹測度 $d\gamma_\kappa = e^{-\phi(r)} d\text{Vol}_\kappa$ が付与されている。

中心となる問いは、同じ重み付き体積を持つ測地球 $B_R$ が、最初の $n$ 個の非ゼロ・ノイマン固有値の逆数の和を唯一最小化するかどうかである：
$$\sum_{i=1}^n \frac{1}{\mu_i(\Omega)} \geq \frac{n}{\mu_1(B_R)}.$$
この不等式は、古典的な Szegő-Weinberger 不等式（$\mu_1(\Omega) \leq \mu_1(B_R)$）の系として導かれる。

従来研究の背景と限界
著者らは、自身の研究を以下のスペクトル幾何学の結果の系譜の中に位置づけている：

• ユークリッド空間： 古典的な Szegő-Weinberger 不等式は、球が $\mu_1$ の最大化因子であることを確立している。Ashbaugh と Benguria は、逆数和の不等式 (1.1) を予想し、これは Xia と Wang [21] や He, Li, および Tang [12] によって特定のケースにおいて証明された。
• ガウス空間： Chiacchio と Di Blasio [8] は、ガウス測度への Szegő-Weinberger 不等式の拡張を行った。Gao と Wang [11] および Chiacchio [9] は、それぞれガウス設定における最初の $n-1$ 個および $n$ 個の固有値に関する鋭い調和平均不等式を確立した。
• 一般的な重み付き空間： Chen と Mao [7] は、対数凹測度を持つ空間形式へのこれらの結果を拡張した。しかし、彼らの手法は、重みポテンシャル $\phi(r)$ が凸かつ非単調減少であることを要求していた。この制限は、ガウス測度（$\phi(r) = r^2/2$ は単調増加）を除外するものであり、結果の適用可能性を制限している。

手法
証明は、測地球上の固有関数の精緻な解析と行列のトレース不等式に基づいている。その手法は、主に以下の3つの段階で進行する：

1. 測地球におけるスペクトル解析：
   著者らは、最初の非ゼロ固有値 $\mu_1(B_R)$ とそれに関連する固有関数を特徴付ける。$\phi$ が凸であるという仮定の下で、最初の非ゼロ固有値は重複度 $n$ を持つことを証明する。対応する固有関数は、関数 $u_i(x) = T_1(r)\psi_i(\theta)$ の形をとる。ここで $\psi_i$ は球面上の線形座標関数であり、$T_1(r)$ は特定の放射状シュトゥルム＝リウヴィル問題の最初の固有関数である。

   • 主要な技術的補題： 著者らは、$T_1(r)$ が厳密に単調増加であり、かつ比 $T_1(r)/S_\kappa(r)$ が単調減少であることを、$\left(\frac{C_\kappa(r)}{S_\kappa(r)}\phi'(r)\right)' \geq 0$ という条件が成り立つ場合に証明する。この条件は、Chen-Mao [7] のより厳しい「非単調減少な $\phi$」という要件に代わるものである。

2. 試行関数による変分特性化：
   逆数の和を抑えるために、著者らは Hersch の変分原理（補題 2.2）を用いる。領域 $\Omega$ 上の試行関数 $v_i(x) = G(r)\psi_i(\theta)$ を構成する。ここで $G(r)$ は、放射状固有関数 $T_1(r)$ の切断されたバージョンである。

   • 著者らは、これらの試行関数を用いて、グラム行列 $J$（$L^2$ 内積に関連）と $K$（ディリクレエネルギーに関連）を定義する。
   • 不等式 $\sum \mu_i^{-1} \geq \text{tr}(K^{-1}J)$ が導かれる。

3. 行列トレース不等式と最適化：
   証明の核心は、領域の放射状スライスに適用された「バットタブ原理（bathtub principle）」（補題 2.3）を用いて、行列 $J$ と $K$ を推定することにある。

   • $T_1(r)$ および $T_1(r)/S_\kappa(r)$ の単調性を利用して、著者らは $J$ と $K$ を定義する積分が、$\Omega$ と球 $B_R$ の体積差を含む式によって抑えられることを示す。
   • これらの境界値により、特定の行列トレース不等式（He, Li, および Tang [12] の補題 2.1）の適用が可能となる。すなわち、$J \succeq aI + cZ$ かつ $0 \prec K \preceq \lambda aI - dZ$ で $\text{tr}(Z)=0$ であるとき、$\text{tr}(K^{-1}J) \geq n/\lambda$ である。
   • パラメータ $a, c, d, \lambda$ を球のスペクトル量と照合することで、目的の低界 $n/\mu_1(B_R)$ を導出する。

主な貢献と結果
主要な結果は Theorem 1.1 である。これは以下を述べている：
$\Omega \in E_\kappa$ を、重み付き体積が測地球 $B_R$ と等しい原点対称なリプシッツ領域とする。もし放射状の重み $\phi(r)$ が凸であり、かつ $\left(\frac{C_\kappa}{S_\kappa}\phi'\right)' \geq 0$ を満たすならば、次が成立する：
$$\sum_{i=1}^n \frac{1}{\mu_i(\Omega)} \geq \frac{n}{\mu_1(B_R)}.$$
等号は、$\Omega$ が球 $B_R$ と一致する場合にのみ成立する。

意義と新規性
本論文の主要な新規性は、重み関数の非単調減少という条件を取り除いた点にある。これは、Chen と Mao [7] による最近の研究において必要であった制約である。

• 一般化： 新しい条件 $\left(\frac{C_\kappa}{S_\kappa}\phi'\right)' \geq 0$ は、ガウス測量（$\phi(r) = r^2/2$）や $\phi(r) = r^{2k} (k \geq 1)$ の形のポテンシャルを含む、より広いクラスの凸ポテンシャルによって満たされる。
• 統一： 本結果は、Chiacchio と Di Blasio [8]、Chiacchio [9]、および Gao-Wang [11] のガウス空間における不等式を特殊なケースとして回収すると同時に、それらがカバーできなかったケースをカバーすることで Chen-Mao [7] の結果を改善している。
• 手法の転換： 著者らは、球上の最初の固有関数を特徴付ける際のアプローチ（セクション 3）が Chiacchio と Di Blasio [8] とは異なることを指摘している。それは、ガウス密度の特定の構造や $\phi$ の単調性に依存することなく、広範なクラスの凸放射状重みに適用可能な、比較的単純なものとして記述されている。

結論
本論文は、一般的な放射状対数凹測量を持つ空間形式における、ノイマン固有値の等周不等式のための統一された幾何学的枠組みを提供している。より緩和された凸性の条件の下で鋭い調和平均不等式を確立することにより、これまでの文献の制限的な設定を超えて、スペクトル等周理論の範囲を拡張している。