Geometrical bounds for the torsion and the first eigenvalue of the Laplacian with Robin boundary condition

1. 問題設定と背景

対象とする問題:
$n$次元ユークリッド空間 $\mathbb{R}^n$ 内の有界な凸開集合 $\Omega$ において、以下の二つの問題を考察します。パラメータ $\beta > 0$ はロビン境界条件の係数です。

1. 捩り問題 (Torsion Problem, TP):
   $$\begin{cases} -\Delta u = 1 & \text{in } \Omega \\ \frac{\partial u}{\partial \nu} + \beta u = 0 & \text{on } \partial\Omega \end{cases}$$
   この解 $u$ の $L^1$ ノルムをロビン捩り $T_\beta(\Omega)$ と呼びます。

2. 固有値問題 (Eigenvalue Problem, EP):
   $$\begin{cases} -\Delta u = \lambda u & \text{in } \Omega \\ \frac{\partial u}{\partial \nu} + \beta u = 0 & \text{on } \partial\Omega \end{cases}$$
   この問題の第一固有値を第一ロビン固有値 $\lambda_\beta(\Omega)$ と呼びます。

背景と動機:
ディリクレ境界条件（$\beta \to +\infty$）の場合、Saint-Venant 不等式や Faber-Krahn 不等式など、球が最適集合となる古典的な結果や、Pólya や Makai による周長・内接円半径を用いた評価式が知られています。しかし、ロビン境界条件（$\beta \in (0, +\infty)$）の場合、集合の包含関係に関する単調性が失われ、スケーリング性もディリクレの場合とは異なります。
既存の研究（[14, 18, 31, 35] など）では、ロビン捩りや固有値に対する幾何学的な上下界が示されていましたが、**定量的な評価（定量的不等式）**や、最適集合の性質（安定性）についての詳細な解析は不足していました。本論文は、これらのギャップを埋め、凸集合クラスにおける定量的な関係を確立することを目的としています。

2. 手法とアプローチ

本研究では、以下の数学的ツールと手法を組み合わせています。

• 距離関数と内平行集合の解析:
  境界からの距離関数 $d(x, \partial\Omega)$ と、内平行集合 $\Omega_t = \{x \in \Omega : d(x, \partial\Omega) > t\}$ の性質を利用します。特に、凸集合における距離関数の凹性と、周長 $P(t)$ の Brunn-Minkowski 不等式に基づく性質を活用します。
• コエリア公式 (Coarea Formula):
  領域上の積分を、距離関数のレベルセット（等値面）上の積分に変換し、1 次元の積分問題に帰着させるために使用します。
• 1 次元固有値問題の比較:
  区間 $[0, s_0]$ における 1 次元ロビン固有値問題
  $$X'' + \nu X = 0, \quad X'(0)=0, \quad X'(s_0) + \beta X(s_0) = 0$$
  の第一固有値 $\nu_1(\beta, s_0)$ を基準として、高次元の $\lambda_\beta(\Omega)$ や $T_\beta(\Omega)$ を評価します。ここで $s_0 = |\Omega|/P(\Omega)$ とします。
• 定量的不等式の導出:
  最適集合が「スラブ（slab: 区間と $\mathbb{R}^{n-1}$ の直積）」の極限に近づくという性質を利用し、最適集合が存在しない場合の定量的な残差項（remainder terms）を導入して不等式を強化します。
  主要な残差項として、非対称性を測る以下の量を定義・利用します。
  • $R(\Omega) := \frac{P(\Omega)r(\Omega)}{|\Omega|} - 1$
  • $A(\Omega) := \frac{w_\Omega}{\text{diam}(\Omega)}$ （最小幅と直径の比）

3. 主要な貢献と結果

A. ロビン捩りの上限評価と Makai 不等式の一般化

定理 1.1: 凸集合 $\Omega$ に対して、ロビン捩り $T_\beta(\Omega)$ を境界からの距離関数の $L^1$ ノルムと $L^2$ ノルムで上から評価します。
$$T_\beta(\Omega) \le \int_\Omega d(x, \partial\Omega)^2 dx + \frac{2}{\beta} \int_\Omega d(x, \partial\Omega) dx$$
結果 (Corollary 1.2): 上記の評価から、ロビン版の Makai 不等式が導かれます。
$$\frac{T_\beta(\Omega)}{r(\Omega)^2 |\Omega|} \le \frac{1}{3} + \frac{1}{r(\Omega)\beta}$$
これは、$\beta \to \infty$ でディリクレの場合の $1/3$ に収束し、スラブ状の領域で最適値に達します。

B. 定量的不等式（Pólya および Makai 型）

最適集合がスラブの極限であるため、最適集合が存在しない問題において、どの程度「スラブに近い」かを測る定量的な評価を行いました。

• 定理 1.3 (Makai 型の定量的評価):
  不等式 (11) の残差を $R(\Omega)$ で評価します。
  $$C_1 R(\Omega) \le \left(\frac{1}{3} + \frac{1}{\beta r(\Omega)}\right) - \frac{T_\beta(\Omega)}{|\Omega|r(\Omega)^2} \le 2\left(\frac{1}{3} + \frac{1}{\beta r(\Omega)}\right) R(\Omega)$$
  ここで $C_1$ は次元に依存する定数です。これにより、スラブ状の領域列が不等式の最適列であることが示されました。

• 定理 1.4 (Pólya 型の定量的評価):
  Pólya 型不等式 $\frac{T_\beta(\Omega)P^2(\Omega)}{|\Omega|^3} \ge \frac{1}{3} + \frac{1}{\beta r(\Omega)}$ に対して、残差が $R(\Omega)^3$ のオーダーで評価されることを示しました。
  $$C_2 R(\Omega)^3 \le \frac{T_\beta(\Omega)P^2(\Omega)}{|\Omega|^3} - \left(\frac{1}{3} + \frac{1}{\beta r(\Omega)}\right) \le (n+1)\left(\frac{1}{3} + \frac{1}{\beta r(\Omega)}\right) R(\Omega)$$

C. ロビン固有値の定量的評価

• 定理 1.5:
  1 次元固有値 $\nu_1(\beta, s_0)$ と実際の第一ロビン固有値 $\lambda_\beta(\Omega)$ の差を評価します。
  $$K_1 R(\Omega) \ge \nu_1(\beta, s_0) - \lambda_\beta(\Omega) \ge K_2 R(\Omega)^4$$
  この結果は、スラブ状の領域列が最適であることを示唆し、既存の上限評価 (8) を定量的に強化したものです。

• 定理 6.1, 6.2:
  残差項を $R(\Omega)$ から $A(\Omega)$（非対称性の尺度）に置き換えた場合の評価も示しました。特に、Pólya 型不等式において、$A(\Omega)$ のべき乗が最適であることを証明しています。

4. 意義と結論

この論文の主な意義は以下の点にあります。

1. ロビン境界条件における幾何的不等式の体系化:
   ディリクレ境界条件では確立されていた Pólya や Makai のような幾何的不等式を、ロビン境界条件の文脈で一般化し、定量的な精度まで拡張しました。
2. 最適集合の性質の解明:
   ロビン問題において、最適集合は球ではなく、スラブ（薄く伸びた領域）の極限であることを定量的に示しました。特に、残差項 $R(\Omega)$ や $A(\Omega)$ を用いることで、最適列がどのように振る舞うかを明確にしました。
3. 定量的安定性の確立:
   単に不等式が成り立つだけでなく、不等式の「隙間（gap）」が幾何的な歪み（$R(\Omega)$ や $A(\Omega)$）の何乗に比例して閉じるかを特定しました。これは形状最適化問題における安定性解析において重要です。
4. 手法の汎用性:
   距離関数の積分変換や 1 次元問題への帰着、そして Brunn-Minkowski 不等式に基づく周長の評価といった手法は、他の幾何学的関数や境界条件への拡張にも応用可能な枠組みを提供しています。

総じて、本研究は凸集合におけるロビン問題の幾何学的性質を、定量的かつ精密な不等式の形で明らかにし、形状最適化とスペクトル幾何学の分野に重要な貢献を果たしています。