Ground states for strongly indefinite Schrödinger equations with competing nonlinearities

技術要約：競合する非線形性を伴う強非定値シュレディンガー方程式の基底状態

問題設定
本論文は、周期的なポテンシャルと競合する非線形性を持つ定常非線形シュレディンガー方程式の存在と多重性に関する問題を取り扱う：
$$-\Delta u + V(x)u = f(u) - \lambda g(u), \quad x \in \mathbb{R}^N,$$
ここで、$N \geq 3$、$\lambda \geq 0$ であり、$V$ は $\mathbb{Z}^N$-周期的なポテンシャルである。非線形項は、フォーカシング（集束型）項 $f(u)$ と、デフォーカシング（拡散型）項 $-\lambda g(u)$ で構成されている。主な焦点は「強非定値」の場合に置かれている。これは、線形作用素 $L = -\Delta + V$ がゼロを含むスペクトルギャップを持ち、無限次元の正のスペクトル部分空間 $X_+$ と無限次元の負のスペクトル部分空間 $X_-$ を持つ場合である。

具体的な課題は、エネルギー汎関数 $I(u) = \int F(u) - \lambda \int G(u)$ が符号を変える際に生じる。純粋な冪乗のモデルケース（$f(u)=|u|^{p-2}u$, $g(u)=|u|^{q-2}u$ かつ $2<q<p<2^*$）では、項 $F(u) - \lambda G(u)$ は $|u|$ が小さいときには負であり、大きいときには正となる。この符号の変化により、古典的な変分手法（標準的なネハリ・パンコフ法や古典的なリンキング定理など、非線形部分の非負性に依存して特定の弱位相に関する上半連続性を保証するもの）を直接適用することができなくなる。

手法と枠組み
本論文は、このような強非定値問題に対して開発された最近の変分手法（特に Bernini, Bieganowski, Strzelecki による研究 [2], [3] に基づくもの）を調査し、拡張するものである。その手法は、以下の柱に基づいている：

1. 一般化リンキング定理: $\tau$-上半連続性の欠如（ここで $\tau$ は $X_+$ 上の強収束と $X_-$ 上の弱収束の積位相である）に対処するため、著者らは一般化リンキング定理を利用する。この定理は、欠落している半連続性を、ミニマックス列が $\tau$-位相においてゼロに崩壊しないことを保証する幾何学的条件に置き換える。これにより、ゼロから離れた Cerami 列が得られる。
2. ディスロケーション空間とプロファイル分解: 周期的なポテンシャルの並進不変性に起因するコンパクト性の欠如に対処するため、著者らはディスロケーション空間の理論を採用する。これには、$\mathbb{Z}^N$ の群作用に対する $H^1(\mathbb{R}^N)$ における有界列のプロファイル分解が含まれる。この分解は、列を漸近的に互いに素な「プロファイル」（臨界点）と、$G$-弱の意味で消滅する剰余項へと分離する。
3. 多重性理論: 汎関数が偶関数であり、かつ群作用に対して不変であるという仮定の下で、抽象的な多重性定理を適用する。これは、軌道空間の離散性と擬似指数構成を利用している。これにより、無限個の幾何学的に異なる解（対 $\pm u$）の存在を証明することができる。
4. 基底状態戦略（新たな貢献）: 純粋な冪乗の非線形性のケースに対し、Jeanjean と Tanaka による「臨界点上の最小化」戦略を適応させる。この証明には以下が含まれる：
   • ノルムがゼロから離れた状態を維持する有界な Palais–Smale 列に対する正値性の評価の確立。
   • 消失（vanishing）を防ぐための集中コンパクト性議論の適用。
   • エネルギー汎関数に対する Brezis–Lieb 型の分裂手順の適用による、最小化列のエネルギーと弱極限との比較。

主要な貢献と結果

1. 非自明な解の存在: 本論文は、十分小さな $\lambda > 0$ に対して、方程式が少なくとも一つの非自明な弱解を持つという結果をまとめている。これは、一般化リンキング定理の幾何学的条件を検証し、得られる Cerami 列の有界性を証明することによって達成される。
2. 解の多重性: 同様の条件下で、方程式は無限個の幾何学的に異なる解のペアを持つことを確認している。これは、ディスロケーション空間における符号変化する非線形性のための抽象的な多重性理論に基づいている。
3. 基底状態の存在（主要な新知見）: 本論文の主要な新規の貢献は、競合する純粋冪乗の場合における基底状態（最小エネルギーの非自明な臨界点）の存在の証明である：
   $$-\Delta u + V(x)u = |u|^{p-2}u - \lambda |u|^{q-2}u, \quad 2 < q < p < 2^*$$
   著者らは、閾値 $\lambda^* > 0$ が存在し、すべての $\lambda \in (0, \lambda^*)$ に対して、当該の汎関数が基底状態を持つことを証明する。
   • 技術的ニュアンス: 先行研究 [2] のリンキング議論によって得られる臨界点は、それが最小エネルギー解であることを自動的には保証しない。新しい証明は、最小化列が消失せず、平行移動に関して強収束することを示すことで、この問題を克服する。これは、ゼロから離れた値を持つ列に対するエネルギーの下限の確立と、Brezis–Lieb 分裂を組み合わせることで達成され、これにより剰余項が強収束の意味で消滅することが強制される。

意義と主張
本論文は、この特定のモデルにおける基底状態の存在は、[2] における一般的な存在定理の直接的な帰結ではないと主張している。困難さは、リンキング議論が最小エネルギーの解を保証せずに臨界点を生成すること、および $\lambda = 0$ の極限における Nehari–Pankov 多様体との直接的な比較が容易ではない点にある。

本研究の意義は以下の通りである：

• 強非定値の設定において、符号変化する非線形性を扱うための変分手法を拡張したこと（標準的な上半連続性が成立しない、技術的に極めて繊細なシナリオである）。
• フォーカシング（集束）とデフォーカシング（拡散）の競合メカニズムが存在する場合における、最小エネルギー解の厳密な証明を提供したこと。これは、光学媒体における異なる非線形分極メカニズムの競合に対応する物理的現象である。
• 「臨界点上の最小化」戦略が、$\lambda$ が十分に小さい場合に限り、符号変化する非線形性を伴う強非定値汎関数に対して成功裏に適応できることを示したこと。

本論文は、純粋冪乗モデルにおいて、$\lambda$ が十分に小さいとき、強非定値汎関数がすべての非自明な臨界点の中で最小のエネルギーを持つ非自明な臨界点を持つと結論付けている。