An Inverse Problem for the Prescribed Mean Curvature

技術的要約：平均曲率指定問題に対する逆問題

問題設定
本論文は、2次元における平均曲率指定（PMC）方程式の逆ソース問題を扱う。有界領域 $\Omega \subset \mathbb{R}^2$ 上の支配方程式は次のように与えられる：
$$\nabla \cdot \left[ \frac{\nabla u}{(1 + |\nabla u|^2)^{1/2}} \right] = H(x),$$
ここで、$H \in C^\alpha(\Omega)$ は指定された平均曲率を表すソース関数である。目的は、ディリクレ・ネーマン（DN）写像 $\Lambda_H$ からソース関数 $H$ を一意に決定することである。DN写像は、境界値 $f$ を解 $u$ の法線微分 $\partial_\nu u|_{\partial\Omega}$ に割り当てる。著者らは、2つのソース関数 $H$ と $\tilde{H}$ のDN写像が、固定された背景値 $f_0$ に対して十分近い境界データに対して一致し、かつ $H$ と $\tilde{H}$ が境界上で高次のオーダーで一致する場合、$H = \tilde{H}$ が $\Omega$ 全体で成立することを証明している。

手法
証明は、高次線形化技術、それによって得られる線形化方程式の解析、および複素幾何学的光学（CGO）解の組み合わせに基づいている。手法は以下の明確な段階を経て進行する：

1. 一次線形化と幾何学的解釈：
   著者らは、固定された境界値 $f_0$ に対応する背景解 $u_0$ の周りで非線形PMC方程式を線形化する。一次線形化は、以下の異方性導電率方程式を与える：
   $$\nabla \cdot (g^{-1} \nabla v) = 0,$$
   ここで、計量テンソル $g$ は背景解の勾配 $\nabla u_0$ に明示的に依存する。具体的には、$g^{-1}$ は、ユークリッド計量と $\nabla u_0$ から導かれるリーマン計量に対応する。これにより、非線形方程式の逆問題は、未知の背景解に依存する係数を持つ線形方程式の逆問題へと変換される。

2. 境界情報とゲージ不変性：
   DN写像が一致するという仮定を用いて、著者らは $H$ および $\tilde{H}$ に関連する計量 $g$ と $\tilde{g}$ が、共形微分同相写像 $\phi: \Omega \to \Omega$ によって $g = \lambda \phi^* \tilde{g}$ となる関係にあることを導き出す。境界挙動の分析および一意継続性を利用することで、$\phi$ が境界上で無限次まで固定されており、かつ背景解の勾配の大きさは $|\nabla u_0| = |\nabla \tilde{u}_0| \circ \phi$ によって関連付けられていることを示す。

3. 二次線形化と積分恒等式：
   残されたゲージ不変性を打破し、完全な勾配の一致（$\nabla u_0 = \nabla \tilde{u}_0$）を確立するために、著者らは二次線形化を行う。これにより、$\Omega$ 上の以下の形式の積分恒等式を含む結合系が得られる：
   $$\int_\Omega T \cdot \mathcal{L}(v_0, v_1, v_2) \, dV_g = 0,$$
   ここで、$T$ は変換された背景解の勾配の差によって定義されるベクトル場であり、$v_0, v_1, v_2$ は一次線形化方程式の解である。項 $\mathcal{L}$ はこれらの解の勾配およびラプラシアンを含む。

4. 複素幾何学的光学（CGO）解：
   著者らは、計量 $g$ に関連するシュレディンガー型線形方程式のための特定のCGO解を構成する。これらの解は $v = e^{\Phi/h}(a + r_h)$ という形式をとる。ここで $\Phi$ は正則なモース関数、$a$ は正則な振幅、$r_h$ は補正項である。特定の位相挙動（臨界点を持つものと持たないもの）を持つ解を選択することで、パラメータ $h \to 0$ における漸近解析を行う。この解析により、積分恒等式の主要項が孤立し、結果としてベクトル場 $T$ を内部の点において効果的に探索することができる。

5. リウヴィル型の剛性による一意性：
   漸近解析により、$T$ の成分が楕円型偏微分方程式を満たすことを示唆する方程式系が導かれる。$H$ の境界での一致（境界からの導出）から、$T$ が境界上で高次のオーダーで消滅するという事実と組み合わせることで、一意継続原理により $T \equiv 0$ が $\Omega$ 内で強制される。これにより $\nabla u_0 = \nabla \tilde{u}_0$ が導かれる。最後に、2次元における共形写像に関するリウヴィル型の唯一性結果を適用し、微分同相写像 $\phi$ が恒等写像であることを示し、それによって $H = \tilde{H}$ を証明する。

主な貢献と結果

• 準線形方程式に対する逆ソース問題の初の取り扱い： 本論文は、準線形楕円方程式に対する逆ソース問題の最初の厳密な取り扱いを提示している。この領域における先行研究の多くは、主に線形方程式、あるいはソース項のない非線形項に関する逆問題に焦点を当てていた。
• 結合された非線形系の導出： 著者らは、境界測定から結合された代数的および幾何学的偏微分方程式の系を導出した。この系は、ソース関数を背景解の勾配および計量の共形因子と結びつける。
• 一意性定理： 主な結果（定理 1.1）は、ソースが境界上で高次のオーダーで一致するという条件下で、DN写像からソース関数 $H$ が一意に決定されることを証明している。
• 異方性カルデロン理論の応用： 本研究は、異方性導電率問題の理論の斬新な応用を示している。元のPMC方程式自体はユークリッド領域上に定義されているが、その線形化は自然に、解に依存する計量を持つ異方性導電率方程式へとつながり、非線形逆問題と幾何学的逆問題を橋渡ししている。

意義と動機
著者らは、本研究を $\nabla \cdot (A(\nabla u)\nabla u) = H(x)$ という一般的な準線形楕円方程式に対する逆問題を解くための基礎的なステップとして位置づけている。指定平均曲界方程式はその典型的な例である。

本論文は、外部の力と張力のバランスが取れた表面（内部圧力を伴う石鹸膜、毛管面、生物学的膜など）をモデル化する上でのPMC方程式の物理的な重要性を強調している。さらに、著者らは、最小曲面（$H=0$ の場合）の逆問題が、理論物理学、特にAdS/CFT双対性の枠組みにおける重要性を増していることに触れている。そこでは、従来の数学的手法が不十分な場合がある。これらの手法を指定平均曲率のケースに拡張することで、本論文はこのような物理的応用に対して利用可能な数学的ツールキットに貢献している。

方法論的な貢献は、高次線形化とCGO解を統合して、準線形方程式の特有の構造を扱うことに成功した点にある。これにより、非線形性とソース項によって生じる課題を克服している。著者らは、同様の結合された方程式の系が他の準線形方程式の逆問題においても現れる可能性が高いことを指摘し、彼らのアプローチの広範な適用可能性を示唆している。