An isoperimetric inequality for the second Robin eigenvalue of the Weighted Laplacian

1. 研究の背景と問題設定

問題の核心:
本研究は、有界なリプシッツ領域（Lipschitz domain）$\Omega \subset \mathbb{R}^m$ における、**重み付きラプラシアンの第 2 ロビン固有値（second Robin eigenvalue）**の形状最適化問題を扱っています。
具体的には、以下の固有値問題を考えます。

$$\begin{cases} -\text{div}(e^{h(|x|)}\nabla u) = \lambda e^{h(|x|)}u, & x \in \Omega, \\ \frac{\partial u}{\partial \nu} + \alpha u = 0, & x \in \partial\Omega, \end{cases}$$

ここで、$\nu$ は外向き単位法線ベクトル、$\alpha \in \mathbb{R}$ はロビン係数、$h(r)$ は $C^2$ 級の重み関数です。重み測度は $d\gamma_h = e^{h(|x|)}dx$ と定義されます。

既存の知見との関係:

• Szegö-Weinberger 不等式: 古典的な結果として、球が同じ体積を持つすべての領域の中で、第 2 ノイマン固有値（$\alpha=0$）を最大化することが知られています。
• 負のロビン係数: 負のロビン係数 $\alpha$ に対して、球が第 2 ロビン固有値を最大化するという予想があり、Freitas と Laugesen によって通常のラプラシアンで確認されました。
• 重み付き測度: 重み付き測度（特にガウス測度など）における固有値最適化も注目されていますが、負のロビン係数を含む一般の重み関数 $h(|x|)$ に対する第 2 固有値の等周不等式は未解決でした。

本研究の目的:
原点対称な有界領域の中で、与えられた重み付き測度（$\gamma_h$-volume）を持つ領域において、第 2 ロビン固有値を最大化する形状が原点中心の球であることを証明することです。

---

2. 主要な結果（定理）

定理 1.1 (Main Theorem):
$\Omega \subset \mathbb{R}^m$ を原点対称な有界リプシッツ領域とし、$h(r) \in C^2([0, +\infty))$ が $h'(r) \ge 0$ および $h''(r) \ge 0$ を満たすとする。
$\Omega$ と同じ $\gamma_h$-体積を持つ原点中心の球を $B$ とする。
ロビン係数 $\alpha$ が区間 $[-\sigma_1(B; \gamma_h), 0]$ に属する場合（ここで $\sigma_1(B; \gamma_h)$ は球 $B$ 上の第 1 非ゼロステクロー固有値）、以下の不等式が成り立つ：

$$\lambda_{2,\alpha}(\Omega; \gamma_h) \le \lambda_{2,\alpha}(B; \gamma_h)$$

等号成立は $\Omega = B$ の場合に限られる。

帰結 (Corollary 1.2):
特に $\alpha = -\sigma_1(B; \gamma_h)$ の場合、この結果は Brock-Weinstock 型の不等式（ステクロー固有値に関する不等式）を導き出し、$\sigma_1(\Omega; \gamma_h) \le \sigma_1(B; \gamma_h)$ が成り立つことを示します。

また、$\alpha = 0$ の場合、この定理は Brock, Chiacchio, di Blasio によって以前証明された、原点対称領域における重み付き測度の第 2 ノイマン固有値に関する結果を包含します。

---

3. 証明の手法と技術的要点

証明は、Weinberger による「トリック（試行関数の構成法）」を重み付き測度の文脈で拡張したものです。主なステップは以下の通りです。

(1) 球上の固有値問題の解析

まず、原点中心の球 $B(R)$ 上での固有値問題を詳細に解析しました。

• 変数分離: 球対称性を用いて、固有関数を $u(r, \theta) = w(r)T(\theta)$ と仮定します。
• 第 2 固有関数の構造: 球上の第 2 ロビン固有関数は、球面調和関数の 1 次の項（$x_i/r$）と動径部分 $g(r)$ の積 $u_i(x) = g(r)\frac{x_i}{r}$ で与えられることを示しました。
• 動径関数 $g(r)$ の性質:
  • $g(r)$ は $(0, R)$ で正であり、単調増加であること。
  • 境界条件 $g'(R) + \alpha g(R) = 0$ と $\alpha \le 0$ の条件下での $g'(r)$ と $g(r)$ の関係（$g'(r) \ge -\alpha g(r)$ など）を証明しました。
  • 球上の第 2 固有値 $\lambda_{2,\alpha}(B)$ が非負であることを示しました。

(2) 単調性補題の構築 (Lemma 3.1)

試行関数の構成に用いる動径関数 $g(r)$ を球の外側 ($r \ge R$) へ指数関数的に拡張し、以下の関数 $F(r)$ を定義しました。
$$F(r) := g'(r)^2 + \frac{m-1}{r^2}g(r)^2 + 2\alpha g(r)g'(r) + \alpha\left(\frac{m-1}{r} + h'(r)\right)g(r)^2$$
この関数 $F(r)$ が区間 $(0, \infty)$ で単調減少であることを証明しました。これは $h' \ge 0, h'' \ge 0$ および $\alpha$ の範囲の仮定に基づいています。

(3) 変分原理と試行関数の構成

任意の領域 $\Omega$ に対して、球上の固有関数 $u_i(x) = g(|x|)\frac{x_i}{|x|}$ を試行関数として用います。

• 直交条件: $\Omega$ と重み測度が原点対称であるため、これらの試行関数は第 1 固有関数 $u_1$ に対して重み付き $L^2$ 内積で直交します（$\int_\Omega u_i u_1 d\gamma_h = 0$）。これにより、これらは第 2 固有値の変分 karakterizatio において許容される試行関数となります。
• 不等式の導出: 変分原理を用いて $\lambda_{2,\alpha}(\Omega)$ の上限を評価します。
  $$\lambda_{2,\alpha}(\Omega) \int_\Omega g^2 d\gamma_h \le \int_\Omega F(|x|) d\gamma_h$$

(4) 重み付き対称化 (Weighted Symmetrization)

Hardy-Littlewood の不等式に基づき、原点対称な領域 $\Omega$ と同じ $\gamma_h$-体積を持つ球 $B$ に対して、以下の比較不等式を適用します。

• $g(r)$ は単調増加なので、$\int_\Omega g^2 d\gamma_h \ge \int_B g^2 d\gamma_h$。
• $F(r)$ は単調減少なので、$\int_\Omega F(r) d\gamma_h \le \int_B F(r) d\gamma_h$。

これらの不等式を組み合わせることで、$\lambda_{2,\alpha}(\Omega) \le \lambda_{2,\alpha}(B)$ が導かれます。等号成立の条件から、$\Omega$ が球でなければならないことが示されます。

---

4. 意義と貢献

1. 一般化された等周不等式の確立:
   従来の Szegö-Weinberger 型不等式を、負のロビン係数を含む広範な重み付きラプラシアン（$h'(r) \ge 0, h''(r) \ge 0$ を満たす任意の重み）へと拡張しました。これにより、ガウス測度 ($h(r) = r^2/2$) 以外の多くの物理的・幾何学的モデルに適用可能な結果を提供しています。

2. 負のロビン係数への対応:
   負のロビン係数 $\alpha$ において、球が第 2 固有値を最大化するという直観的な予想を、原点対称性を仮定した条件下で厳密に証明しました。特に、$\alpha$ の範囲を $[-\sigma_1(B), 0]$ に限定することで、球上の固有関数の性質（単調性など）を巧みに利用しています。

3. 既存結果との統合:
   この結果は、ノイマン境界条件 ($\alpha=0$) の場合や、ステクロー固有値 ($\alpha = -\sigma_1$) の場合の既知の結果を統一的な枠組みで包含しています。

4. 手法の発展:
   Weinberger の手法を重み付き測度と非定常な境界条件（ロビン条件）に適用するための技術的詳細（特に動径関数の拡張と単調性の証明）を提供しており、今後の類似問題の研究における重要な指針となります。

結論

この論文は、原点対称な領域における重み付きラプラシアンの第 2 ロビン固有値の最適化問題に対し、「原点中心の球が最大値を与える」という強力な等周不等式を確立しました。その証明は、球上の固有関数の精密な解析と、重み付き対称化を用いた変分評価の巧妙な組み合わせによって成し遂げられています。