The Makai inequality in higher dimensions: qualitative and quantitative aspects

この論文「高次元におけるマカイ不等式：定性的および定量的側面（The Makai inequality in higher dimensions: qualitative and quantitative aspects）」の技術的な要約を以下に記します。

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

対象領域と関数:
$n \ge 2$ 次元のユークリッド空間 $\mathbb{R}^n$ における、非空・有界・開集合かつ凸である集合のクラスを $\mathcal{K}_n$ とする。任意の $\Omega \in \mathcal{K}_n$ に対して、以下のスケーリング不変な汎関数 $F(\Omega)$ を考える。

$$F(\Omega) = \frac{T(\Omega) P^2(\Omega)}{|\Omega|^3}$$

ここで、

• $T(\Omega)$: ラプラシアンのねじり剛性（torsional rigidity）。$T(\Omega) = \max_{\phi \in H^1_0(\Omega), \phi \not\equiv 0} \frac{(\int_\Omega \phi dx)^2}{\int_\Omega |\nabla \phi|^2 dx}$ で定義される。
• $P(\Omega)$: 領域の周長（perimeter）。
• $|\Omega|$: 領域のルベーグ測度（体積）。

既知の結果:

• 最小化問題: ポリア（Pólya）は平面 ($n=2$) で $F(\Omega) \ge 1/3$ を示し、高次元でも同様の下限が成り立つことが知られている。この下限は、扁平化された円柱（cylinders）の列によって漸近的に達成される。
• 最大化問題（平面の場合）: マカイ（Makai）は平面 ($n=2$) において $F(\Omega) \le 2/3$ という鋭い上限を示した。これは扁平化された三角形の列によって漸近的に達成される。
• 未解決の予想: 高次元における鋭い上限の値として、Briani, Buttazzo, Prinari [7] によって以下の予想が立てられていた。
  $$\sup_{\Omega \in \mathcal{K}_n} F(\Omega) = \frac{2n^2}{(n+1)(n+2)}$$
  この値は、扁平化された円錐（cones）の列によって達成されることが部分的に示されていたが、一般の凸集合に対する証明は欠けていた。

本研究の目的:

1. 上記の予想を任意の次元 $n \ge 2$ で証明し、マカイ不等式の高次元版を確立すること。
2. 最適値に近づく列（最大化列）の幾何学的構造を定量的に記述し、その「薄さ（thickness）」を評価すること。

---

2. 主要な結果

定理 1.1: 高次元マカイ不等式の証明

任意の $n \ge 2$ と $\Omega \in \mathcal{K}_n$ に対して、以下の不等式が成り立つ。
$$F(\Omega) \le \frac{2n^2}{(n+1)(n+2)}$$
この定数は鋭く（sharp）、扁平化された円錐の列によって漸近的に達成される。

定理 1.2: 最大化列の定性的性質

$F(\Omega)$ を最大化する列 $\{\Omega_k\}$ が存在する場合、その列は「薄くなる（thinning）」必要がある。具体的には、最小幅 $w_{\Omega}$ と直径 $\text{diam}(\Omega)$ の比であるパラメータ $\alpha(\Omega) = w_\Omega / \text{diam}(\Omega)$ について、
$$\lim_{k \to \infty} \alpha(\Omega_k) = 0$$
が成り立つ。
帰結: 最大値は $\mathcal{K}_n$ 内のいかなる集合によっても達成されない（ supremum は maximum ではない）。なぜなら、$\alpha(\Omega)=0$ となる集合は内部が空になるためである。

定理 1.3: 定量的評価（余剰項の導入）

最適値からの偏差を、幾何学的な量 $\gamma(\Omega)$ を用いて評価する。
$$\gamma(\Omega) := n - \frac{P(\Omega) R_\Omega}{|\Omega|}$$
ここで $R_\Omega$ は内接球半径である。このとき、以下の定量的不等式が成り立つ。
$$\frac{2n^2}{(n+1)(n+2)} - F(\Omega) \ge C_1(n) \gamma(\Omega)^n$$
ただし、$C_1(n)$ は $n$ のみによる定数である。
意味: 汎関数 $F(\Omega)$ が最適値に近い場合、$\gamma(\Omega)$ は 0 に近づく。$\gamma(\Omega)=0$ となるのは「接体（tangential bodies）」と呼ばれる特別な幾何構造を持つ集合であり、最大化列はこれらに収束する「薄くなる接体」の列であることが示される。

補題 1.4: 最大化列の特性

$\mathcal{K}_n$ における $F(\Omega)$ の最大化列は、$\alpha(\Omega) \to 0$ かつ $\gamma(\Omega) \to 0$ となる「薄くなる接体（flattening tangential bodies）」の列として特徴づけられる。

---

3. 手法と証明の概要

証明の戦略

1. 距離関数を用いたねじり剛性の評価:
   凸集合 $\Omega$ に対して、境界からの距離関数 $d(x, \partial \Omega)$ を用いる。既知の結果（Proposition 2.2）より、
   $$T(\Omega) \le \int_\Omega d(x, \partial \Omega)^2 dx$$
   が成り立つ。これにより、$F(\Omega)$ の評価を幾何学的な積分問題に帰着させる。

2. 内側平行集合と Brunn-Minkowski 不等式の活用:
   距離関数の超レベル集合（内側平行集合）$\Omega_t$ の体積 $\mu(t)$ と周長 $P(t)$ を考える。Brunn-Minkowski 不等式および距離関数の凹性により、$P(t)^{1/(n-1)}$ は凹関数となる。
   この凹性を用いて、$P(t)$ を線形関数 $\lambda(t)$ で上から抑え、積分 $\int P(t) t^2 dt$ を評価する。

3. 変数変換と関数の解析:
   積分の評価において、適切な線形関数 $\lambda(t)$ を選び、変数 $y = a R_\Omega / L$ （$L=P(\Omega)^{1/(n-1)}$）を導入する。
   得られた式を $z = 1-y$ の関数 $g(z)$ として書き換え、$g(z) \le 0$ であることを示すことで、不等式の成立を証明する。
   具体的には、$h(z)$ という多項式を定義し、その導関数を解析することで、$h(z) \le 0$ かつ $z=1$ で 3 位の零点を持つことを示す。

4. 定量的評価の導出:
   不等式の等号成立条件（$z=1$）からの偏差を、$\gamma(\Omega)$ と関連付ける。
   $g(z)$ の展開において、$1-z$ の次数を評価し、$\gamma(\Omega)$ と $z$ の関係式（$\tilde{\gamma}(\Omega) \approx (n-1)(1-z)$）を用いることで、偏差が $\gamma(\Omega)^n$ に比例して下から抑えられることを示す。

5. 最適性の確認:
   扁平化された円錐 $\Omega_k$ に対して、$T(\Omega_k)$、$P(\Omega_k)$、$|\Omega_k|$ の漸近挙動を直接計算し、$F(\Omega_k)$ が予想された定数 $\frac{2n^2}{(n+1)(n+2)}$ に収束することを示す。

---

4. 論文の意義と貢献

• 高次元への一般化: 平面で知られていたマカイ不等式を、任意の次元 $n$ へと一般化し、予想を完全に証明した。
• 幾何学的構造の解明: 単に不等式を示すだけでなく、最適値に近づく集合がどのような形状を持つのか（「薄くなる」かつ「接体」であること）を定性的・定量的に明らかにした。
• 定量的不等式の確立: ポリアの不等式（最小化問題）における定量的評価（[3] 参照）と同様のアプローチを最大化問題に適用し、最適値からの偏差を幾何学的パラメータ $\gamma(\Omega)$ で制御する定量的不等式を導出した。
• 応用可能性: 凸幾何学、偏微分方程式の固有値問題、および形状最適化問題における、ねじり剛性と領域の形状の関係についての理解を深める基礎を提供している。

この論文は、凸領域における幾何的不等式の理論において、定性的な上限の証明だけでなく、その安定性（stability）に関する定量的な記述までを含めた包括的な成果を提供している。