A partial answer to Brezis' Open Problem 2.1

技術的要約：ブレジスの未解決問題 2.1 に対する部分的な回答

問題設定
本論文は、単位円板 $\Omega \subset \mathbb{R}^2$ における次数1の境界データを持つギンツブルグ–ランダウ方程式に関する、ブレジスの未解決問題 2.1 を扱うものである：
$$\begin{cases} -\Delta u = \frac{1}{\varepsilon^2} u (1 - |u|^2) & \text{in } \Omega, \\ u(x) = x & \text{on } \partial\Omega, \end{cases}$$
ここで $\varepsilon > 0$ はパラメータである。径方向の解 $U_\varepsilon(x) = \frac{x}{|x|}f_\varepsilon(|x|)$ が存在することは確立されている。この未解決問題は、すべての $\varepsilon > 0$ に対して、この径方向の解が「唯一の」解であるかどうかを問うている。

本研究以前には、以下の2つの領域において一意性が知られていた：

1. 大きな $\varepsilon$: $\varepsilon \ge \varepsilon^* := \lambda_1^{-1/2}$ （ここで $\lambda_1$ は $\Omega$ における $-\Delta$ の第1ディリクレ固有値）の場合、関連するエネルギー汎関数の厳密な凸性から一意性が従う。
2. 小さな $\varepsilon$: $\varepsilon \in (0, \varepsilon_1)$ （ただし $\varepsilon_1$ は十分に小さい）の場合、Pacard と Rivièr によって一意性が確立されている。

困難は、厳密な凸性が失われ、小パラメータ漸近論が適用できない中間領域 $\varepsilon \in (\varepsilon_1, \varepsilon^*)$ に存在する。

手法
著者らは、解析をより一般的な設定へと拡張している。すなわち、非自明な境界データ $g \in W^{2-1/p, p}(\partial\Omega, \mathbb{R}^m)$ ($g \not\equiv 0$) を持つ、有界連結な $C^{1,1}$ ドメイン $\Omega \subset \mathbb{R}^N$ ($2 \le N \le 4$) 上のギンツブルグ–ランダウ系である。証明戦略は、以下の3つの解析的手法の組み合わせに基づいている：

1. 変分フレームワークと存在性: 著者らは、アフィン空間 $H^1_g(\Omega; \mathbb{R}^m)$ 上のエネルギー汎関数 $E_\varepsilon$ の臨界点として、弱解の存在を確立する。
2. $\varepsilon \ge \varepsilon^*$ における厳密な凸性: $\varepsilon \ge \varepsilon^*$ のとき、エネルギー汎関数が厳密に凸であることを再検証し、一意性を保証する。これは、ポアンカレの不等式と、閾値における線形化作用素の特定の構造に依拠している。
3. $\varepsilon < \varepsilon^*$ における局所解析とコンパクト性: 凸性の閾値直下の領域を扱うために、著者らは以下の組み合わせを用いる：
   • コンパクト性: パラメータ $\varepsilon_n \to \varepsilon^*$ に対応する解の列 $u_n$ が、（部分列として）$W^{2,p}$ 位相において $\varepsilon^*$ における一意の解 $u^*$ に収束することを証明する。これにより、$\varepsilon$ が $\varepsilon^*$ に近づく際の「遠方の」解の存在を排除する。
   • 非退化性と陰関数定理: $\varepsilon = \varepsilon^*$ における解 $u^*$ における線形化作用素 $L^*$ を解析する。$L^*$ が（非自明な境界データと第1固有関数の性質により）核を持たない、すなわち同型写像であることを証明することで、陰関数定理を通じて局所的な一意性を確立する。

主要な貢献と結果
主要な結果は定理 1.1 であり、これは、すべての $\varepsilon \in (\varepsilon^* - \delta, \infty)$ に対して、非自明な境界データを持つギンツブルグ–ランダウ系が唯一の弱解を持つような $\delta > 0$ が存在することを述べている。

これは直接的に系 1.2、すなわちブレジスの未解決問題 2.1 への部分的な回答へとつながる：

$\delta > 0$ が存在して、すべての $\varepsilon \in (\varepsilon^* - \delta, \infty)$ に対して、径方向の解 $U_\varepsilon$ は元の問題 (1.1) の唯一の解である。

意義と主張
本論文は、一意性の範囲を凸性閾値 $\varepsilon^*$ の下方へと拡張することにより、ブレジスの未解決問題 2.1 への部分的な回答を提供することを主張している。具体的には、標準的な厳密凸性の議論がもはや利用できない領域である $\varepsilon^*$ の直近の近傍においても、一意性が持続することを示している。

著者らは、本結果が径方向の対称性や特定の次数1の境界条件に依存せず、次元 $N \le 4$ の $C^{1,1}$ ドメイン上の一般的な非自明な境界データに対して成立することを強調している。証明は、凸性の欠如を、臨界閾値における解の非退化性を確立し、コンパクト性を利用して近くに他の解の枝が存在しないことを保証することによって克服している。

本論文は、すべての $\varepsilon > 0$ に対して問題を解決すると主張したり、新たな実験的応用を提案したりするものではない。それは、中間パラメータ範囲（凸性閾値の近傍）における一意性の証明における数学的な空白を厳密に扱うものである。