Strictly stable solutions in uniformly convex planar domains may have nonconvex superlevel sets

技術要約：一様凸な平面領域における厳密に安定な解は非凸な上レベル集合を持ち得る

問題提起
本論文は、半線形楕円方程式の定性的理論における根本的な問い、すなわち「領域 $\Omega \subset \mathbb{R}^2$ の凸性が、ディリクレ問題：
$$\begin{cases} -\Delta u = f(u) & \text{in } \Omega, \\ u > 0 & \text{in } \Omega, \\ u = 0 & \text{on } \partial\Omega. \end{cases}$$
の正の解のレベル集合（または上レベル集合）の凸性を強制するかどうか、という問題に取り組んでいる。具体的には、典型的な非線形性、例えばゲラント型非線形性 $f(u) = e^u$ や、シフトされた冪型非線形性 $f(u) = (a+u)^p$ ($a>0, p>1$) において、安定性がレベル集合の凸性を回復させるかどうかを調査している。トーション関数、第一固有関数、あるいは特定の凹な非線形性のケースでは、古典的な結果（Makar-Limanov、Brascamp-Lieb、Caffarelli-Friedmanなど）によって準凹性が確立されているが、Hamel, Nadirashvili, および Sire [22] は、一般的な非線形性においては凸性が崩れることを示した。一方で、一様凸な領域における極小かつ厳密に安定な解の状態については、Brezis [7] によって提起された未解決問題として残されていた。

手法
著者は、一次元サドル・ノード（折り返し）分岐によって駆動される幾何学的メカニズムを用いて反例を構成している。その手法は、主に以下の3つの段階で進行する。

1. 一次元折り返し解析：
   本論文では、区間 $(-h, h)$ 上の一次元問題 $-U'' = f(U)$（ただし $U(\pm h)=0$）を分析する。 「折り返し許容的（fold-admissible）」な非線形性（振幅 $A$ から半幅 $h(A)$ への写像が非退化な折り返しを持つ場合）において、著者は、臨界振幅 $A_c$（ここで $h'(A_c)=0$）の近傍において、固定されたレベル $t$ の高さ $Y_t(h)$ と半幅 $h$ の関係が、平方根特異性を示すことを確立している。具体的には、$h$ が臨界幅 $h_c$ に下側から接近するにつれ（安定な下側枝に沿って）、高さは次のように振る舞う：
   $$Y_t(h) \approx Y_c - c_t \sqrt{h_c - h}$$
   この展開は、陰関数定理と折り返しにおける線形作用素の性質を用いて導出される。

2. 領域の幾何学的構成：
   著者は、「スロー・チャネル（緩やかな通路）」領域 $\Omega_\epsilon$ を構成する。これは滑らかで有界、かつ一様凸な領域である。この領域は、水平方向に緩やかに変化する幅 $H(X)$ を持つ、細長い形状として設計されている。関数 $H(X)$ は凹であり、かつ臨界幅 $h_c$ よりもわずかに小さい値をとるように選ばれている。決定的なのは、レベル集合の高さ（$1$次元プロファイル）を決定付ける項$\sqrt{h_c - H(X)}$が、$H(X)$自体が凹であるにもかかわらず、特定の点において**厳密な中点凸性**（凸な上レベル集合に必要な凹性を破る性質）を持つように、特定のプロファイル$H(X)$が選択されている点である。これは、平方根特異性を利用することで達成される。すなわち、$D(X) = h_c - H(X)$が凸であれば、$D(X)$が小さく正である近傍において$-\sqrt{D(X)}$ は厳密に中点凸になり得る。

3. 解析的近似と安定性：
   バリア引数と最大値原理を用いて、構成された領域 $\Omega_\epsilon$ における実際の解 $u_\epsilon$ が、アスペクト比 $\epsilon \to 0$ のとき、形式的な一次元プロファイル $V(X, \eta) = U_{H(X)}(\eta)$ に一様に近い（$L^\infty$の意味で）ことを証明する。

• 存在性と極小性： ゼロの部分解と、最大幅における一次元プロファイルから導かれる大域的な超解との間の単調反復法を通じて、極小解が構成される。
• 厳密な安定性： 2次元の線形化作用素を1次元の線形化作用素と比較することで、極小解の厳密な安定性が確立される。1次元の作用素は安定な枝上で正のスペクトルギャップを持つため、2次元の解もまた厳密な安定性を継承する。
• 非凸性： $L^\infty$ 近似誤差が $O(\epsilon^2)$ であることが示されるが、これは平方根特異性によって生じたレベル集合の高さにおける有限の「中点での違反」を修正するには不十分である。したがって、極小かつ厳密に安定な解の実際の上レベル集合は非凸となる。

主要な貢献と結果

• 定理 1.2： 任意の折り返し許容的な非線形性 $f$ に対して、滑らかで一様凸な平面領域 $\Omega$ と、上レベル集合 $\{u > t_0\}$ が凸ではない極小かつ厳密に安定な解 $u$ が存在する。
• 系 1.3： この結果は、ゲラント型非線形性 ($f(u)=e^u$) およびシフトされた冪型非線形性 ($f(u)=(a+u)^p, a>0, p>1$) に具体的に適用され、これら典型的なケースに関するBrezisの問いに対する否定的な回答を与える。
• 系 3.8： この結果は、パラメータ化された問題 $-\Delta u = \lambda f(u)$ にも拡張され、パラメータ範囲全体において極小かつ厳密に安定な解における凸性の欠如が持続することを示す。
• 折り返し許容性の検証： 本論文は、折り返しメカニズムのための構造条件（命題 2.10 および 2.11）を、 $e^u$ および $(a+u)^p$ が満たすことを明示的に検証している。

意義と主張
本論文は、標準的な非線形性に対して、一様凸な領域において安定性がレベル集合の凸性を回復するかどうかという問いに対し、決定的な否定的な回答を提供することを主張している。

• 先行研究の反例との区別： Hamel, Nadirashvili, および Sire [22] による先行する反例（特別に構成された非凸な非線形性に依存）や、Monneau および Shahgholian [37] （自由境界の極限を含むもの）とは異なり、本構成は正、増加、かつ凸な非線形性を用い、かつ滑らかで一様凸な単連結領域を用いている。
• メカニズム： 非凸性は、トポロジー、多重の臨界点、あるいは非単調な反応項に起因するものではない。むしろ、安定な一次元折り返しの近傍における平方根応答から生じるものである。本論文は、「実効的な」一次元折り返しが支配的であり、周囲の領域の凸性を上書きすると論じている。
• 極小解： この結果は、極小解に適用されるため特に強力である。極小解は理論上、最も「規則的」で安定な構成とされるが、これらの解においても（レベル集合の）凸性が保たれないことが示されている。

要約すれば、本論文は、最も好ましい幾何学的設定（一様凸領域）および最も堅牢な解のタイプ（極小かつ厳密に安定な解）においても、標準的な非線形性（ゲラント型や冪則）の場合、領域の凸性が上レベル集合の凸性を保証しないことを示している。