A new, self-contained proof of Shahgholian's theorem using the thickness function

論文要約：厚さ関数を用いたシャゴリオンの定理の新たな証明

1. 問題の背景と目的

本論文は、1994 年に Henrik Shahgholian が証明した**「四重積分曲面（quadrature surfaces）」に関する幾何学的定理**の、よりエレガントで自己完結的な（self-contained）証明を提示するものです。

• 対象となる問題:
  有界な $C^2$ 領域 $\Omega \subset \mathbb{R}^N$ と、その内部にコンパクトに支えられた正の測度 $\mu$ が与えられたとき、以下の過剰決定問題（overdetermined problem）の解 $u$ が存在すると仮定します：
  $$\begin{cases} -\Delta u = \mu & \text{in } \Omega, \\ u = 0 & \text{on } \partial\Omega, \\ \frac{\partial u}{\partial \nu} = -1 & \text{on } \partial\Omega. \end{cases}$$
  ここで、$\nu$ は $\partial\Omega$ の外向き単位法線ベクトルです。

• シャゴリオンの定理（Theorem 1.1）:
  上記の条件を満たす場合、$\partial\Omega$ 上の任意の点 $x$ において、$\partial\Omega$ への内向き法線は、$\mu$ の支え（support）の凸包 $C = \text{conv}(\text{supp}\,\mu)$ と交わります。
  言い換えれば、領域 $\Omega$ は $C$ に対して「C-GNP 性質（Convex Generalized Normal Property）」を満たします。

• 既存の証明との対比:
  元の証明（Shahgholian, 1994）は「移動平面法（moving plane method）」と高度な比較原理に依存しており、技術的に複雑でした。本論文は、厚さ関数（thickness function）とレベルセット法を用いることで、この複雑さを回避し、より概念的で幾何学的な証明を構築します。

2. 手法と主要な構成要素

証明の核心は、領域 $\Omega$ の構造を、測度の支えの凸包 $C$ から放射状に伸びる「厚さ」の観点から記述することにあります。

A. 厚さ関数（Thickness Function）の定義

• $C = \text{conv}(\text{supp}\,\mu)$ とし、その境界 $\partial C$ 上の点 $c$ における外向き単位法線ベクトルを $\nu(c)$ とします。
• 任意の $c \in \partial C$ に対して、$u(c + r\nu(c)) > t$ となる最大の $r$ を $d_t(c)$ と定義します。
  $$\Gamma_t = \{ c + d_t(c)\nu(c) : c \in \partial C \}$$
  ここで $\Gamma_t = \{ u > t \}$ はレベルセットの外部境界です。
• 特に $t=0$ のとき、$d_0(c) = d(c)$ は、$c$ から $\Omega$ の境界 $\partial\Omega$ までの距離（厚さ）を表します。

B. 放射状パラメータ化と単調性

• 命題 2.1: $C$ の外側では、解 $u$ は法線方向 $\nu(c)$ に沿って厳密に減少します（ホップの最大値原理による）。
• 命題 3.1: 領域 $\Omega \setminus C$ の任意の点は、一意に $x = c + r\nu(c)$ ($c \in \partial C, 0 < r < d(c)$) と表せます。これにより、$\Omega$ は $C$ からの放射状パラメータ化が可能になります。

C. 剛性補題（Rigidity Lemma）: 証明の核心

• 補題 4.1: 領域 $\Omega \setminus C$ において、勾配の絶対値は一定であり、$|\nabla u| = 1$ となります。
  • 上限 ($|\nabla u| \le 1$): $w = |\nabla u|^2$ が部分調和関数（subharmonic）であることを示し、境界条件 $\frac{\partial u}{\partial \nu} = -1$（つまり $|\nabla u|=1$）と最大値原理を用います。
  • 下限 ($|\nabla u| \ge 1$): 放射状構造を利用し、法線方向の微分 $v = \nabla u \cdot \nu(c)$ が調和関数であることを示します。最小値原理と境界値（外側で $-1$、内側で$\le 0$）から、$v \ge -1$となり、$|\nabla u| \ge 1$ が導かれます。
• この結果は、レベルセット $\Gamma_t$ 全体で $|\nabla u| = 1$ であることを意味します。

D. 厚さ関数の明示的な形

• 補題 4.2 と定理 5.1: 厚さ関数の微分関係式 $\frac{\partial d_t}{\partial t} = -\frac{1}{|\nabla u|}$ に $|\nabla u|=1$ を代入すると、$\frac{\partial d_t}{\partial t} = -1$ が得られます。
• これを積分することで、厚さ関数は線形関係を持つことが示されます：
  $$d_t(c) = d(c) - t$$
• この式は、すべてのレベルセット $\Gamma_t$ が $\partial C$ に平行な曲面であることを意味します。また、解 $u$ は各放射線に沿って線形に変化します：$u(c + r\nu(c)) = d(c) - r$。

3. 主要な結果

1. 幾何学的構造の特定:
   過剰決定条件 $\frac{\partial u}{\partial \nu} = -1$ は、レベルセットがすべて凸包 $C$ の境界に平行であることを強制します。
2. C-GNP 性質の証明:
   任意の $x \in \partial\Omega$ において、内向き法線は $C$ と交わります。これは、$x$ が $c + d(c)\nu(c)$ の形で表され、その法線が $c$ へ向かう直線そのものであることから自明です。
3. 正則性:
   境界 $\partial\Omega \setminus C$ はリプシッツ連続（Lipschitz）であることが示されます。厚さ関数 $d(c)$ がリプシッツ連続であるため、$\partial C$ から $\partial\Omega$ への写像は双リプシッツ（bilipschitz）となります。

4. 意義と貢献

• 概念的な明快さ: 移動平面法のような高度な解析技術に頼らず、厚さ関数と最大値原理という基本的な道具だけで、定理の幾何学的本質（レベルセットの平行性）を浮き彫りにしました。
• 自己完結性: 外部の複雑な正則性理論や比較原理の高度な応用を必要とせず、証明が独立して完結しています。
• 一般化の可能性:
  • このアプローチは、$p$-ラプラシアンなどの他の楕円型作用素へ拡張可能です。
  • 双調和問題（biharmonic problems）や放物型問題（熱方程式）におけるレベルセットの進化に対しても、厚さ関数の概念を適用できる可能性があります。
  • 自由境界問題（free boundary problems）におけるパラメータ化手法としても有用です。

5. 結論

本論文は、シャゴリオンの定理に対する新たな証明を提供し、過剰決定条件が領域の幾何学的構造（レベルセットの平行性）をどのように決定づけるかを明らかにしました。この「厚さ関数」に基づくアプローチは、従来の証明よりも直感的で、より広範な問題への応用が期待される手法です。