On Brezis Open Problem 3.1

技術要約：緯線円軌道を持つ弱調和写像の一意性

問題設定
本論文は、単位円板 $B_1 \subset \mathbb{R}^2$ から単位球面 $S^2$ への弱調和写像の一意性に関する長年の未解決問題に取り組むものである。具体的には、以下のディリクレ問題（調和写像方程式）を検討する：
$$-\Delta u = |\nabla u|^2 u \quad \text{in } B_1, \quad u|_{\partial B_1} = g_R,$$
ここで、境界トレース $g_R(e^{i\theta}) = (R \cos \theta, R \sin \theta, \sqrt{1-R^2})$ は、一定速度で一度だけ周回する緯線円を表し、$0 < R < 1$ である。

1983年、ブレジスとコロナは、境界トレースによって定義される球面キャップの共形および反共形な充填に対応する、2つの明示的な解 $u_+$ および $u_-$ を確立した。彼らは、これらの写像がそれぞれの相対ホモトピー類（次数 $\pm 1$）において一意なエネルギー極小値であることを証明した。しかし、同じ境界データに対して非極小の臨界点（鞍点）が存在するかどうかという疑問が残った。これは、ブレジスの「お気に入りの未解決問題」リストにおける「未解決問題 3.1」として正式に提起されたものである。本論文の目的は、この特定のトレースを持つすべての弱調和写像の集合が、これら2つのブレジス–コロナ写像によって尽くされているかどうかを判定することである。

手法
著者らは、幾何学的解析、複素解析、および変分不等式を組み合わせた「境界剛性（boundary rigidity）」の議論を用いる。証明は主に以下の2つの段階で進行する：

1. 補助ポテンシャルと等周不等式による境界剛性：

   • 補助ポテンシャル： 調和写像 $u$ に関連して、著者らは $X_x = -u \times u_y$ および $X_y = u \times u_x$ を満たす大域的なポテンシャル $X: B_1 \to \mathbb{R}^3$ を定義する。この構成は、ガウス写像／定平均曲率（CMC）の対応に基づいている。
   • 投影曲線と代数的面積： 著者らは、境界曲線 $\Gamma = X|_{\partial B_1}$ と、その水平平面 $x_3=0$ への直交投影 $\gamma$ を分析する。投影・ヤコビアンの恒等式を用いることで、$\gamma$ が囲む符号付き面積（代数的面積）が正確に $\pi R^2$ であることを証明する。
   • ポホザエフ恒等式と長さの境界： ホップ微分に関するポホザエフ恒等式は、$\Gamma$ の長さに関する厳密な積分境界を与える。具体的には、$\int_0^{2\pi} |u_r(1, \theta)|^2 d\theta = 2\pi R^2$ である。
   • 等周性の飽和： 投影された曲線 $\gamma$（その長さと代数的面積を関連付ける）に対して平面等周不等式を適用し、それを $\Gamma$ の長さと比較することで、著者らは以下の不等式の連鎖を確立する：
     $$4\pi^2 R^2 \leq L_h^2 \leq L^2 \leq 4\pi^2 R^2.$$
     下限（正確な代数的面積から導かれる）と上限（ポホザエフ恒等式から導かれる）が一致するため、すべての不等式は等号でなければならない。この「飽和」により、境界における点ごとの恒等式 $|u_r| \equiv R$ および $u_r \cdot u_\theta \equiv 0$ が強制される。

2. 共形分類：

   • ホップ微分の消失： 上記の境界恒等式は、ホップ微分 $q(z) = u_z \cdot u_z$ が $\partial B_1$ 上で消滅することを意味する。$q$ は $B_1$ 内で正則であるため、最大値原理により $q \equiv 0$ となる。したがって、写像 $u$ は弱共形である。
   • ステレオグラフ投影とローラン展開： 南極ステレオグラフ投影を用いて、写像は境界カラー上の複素数値関数 $w$ として表現される。ホップ微分の消失は、$w$ が正則または反正則であることを意味する。
   • カラー上での一意性： 消滅しない境界微分と、特定のトレース $w(e^{i\theta}) = \rho e^{i\theta}$ を考慮すると、ローラン級数の展開により、$w$ は $\rho z$（正則）または $\rho/\bar{z}$（反正則）のいずれかであることが示される。
   • 大域的拡張： 楕円型系の実解析性により、カラー上での特定は円板全体へと拡張され、結果として正確に2つのブレジス–コロナ解が得られる。

主要な貢献と結果

• 未解決問題 3.1 の解決： 本論文は、$0 < R < 1$ に対して、トレース $g_R$ を持つ $H^1(B_1; S^2)$ 内の唯一の弱調和写像は、2つの明示的なブレジス–コロナ写像 $u_+$ および $u_-$ であることを述べる定理 1.1を証明している。これにより、非極小の臨界点の存在を否定することで、この問いに決定的な回答を与えた。
• 境界剛性のメカニズム： 著者らは、投影されたポテンシャル曲線の正確な代数的面積を、ホップ微分の消失へと変換する新しい剛性議論を導入している。このメカニズムは、標準的な変分分類法では捉えられない、「一度周回」の緯線トレース特有の幾何学的特徴を孤立させる。
• H-システムへの応用： 著者らは、この一意性の結果を2次元の $H$-システム（定平均曲経過となる共形浸漬）に適用し、系 1.2を導出している。これは、指定された単位法線トレースを持つ共形浸漬 $Y: B_1 \to \mathbb{R}^3$ を分類し、それらがモデル円板 $Z_+$ または $Z_-$ の剛体平行移動でなければならないことを示している。
• 端点解析： 著者らは、$R \to 1$（赤道）および $R \to 0$（極）の極限を分析している。結果が $R=1$（非退化）でも成立することを示す一方、$R=0$ は境界が点に崩壊する退化的なケースであり、定数写像のみを与えることを示している。

意義
本論文は、ブレジスの未解決問題 3.1 に対し、決定的な肯定の回答を提供している。その意義は、一度周回の緯線トレースの場合には、より高い回転数やより一般的な非凸境界データで見られる「多重性」現象が発生しないことを示した点にある。証明は、2つの自然な共形および反共形な充填が、極小値だけでなくすべての臨界点を使い果たしていることを確立している。

この研究は、ポホザエフ恒等式、ホップ微分、および鋭い平面等周不等式の相互作用によって駆動される、一度周回のトレースに固有の特別な幾何学的剛性を浮き彫りにしている。このアプローチは、変分法のみでは不十分なケースと、幾何学的剛性が一意性を強制するケースを区別し、調和写像論における一意性問題に新たな視点を提供する。著者らは、このメカニズムが回転数 $m \geq 2$ の場合には崩壊し、複数の臨界点が予想されることを指摘しており、これにより、この分野における一意性の位相的および幾何学的境界を明確にしている。