Periodic Solutions for a Nonlinear Dirac Equation with Soler-Type Nonlinearity

技術要約：Soler型非線形性を有する非線形ディラック方程式の周期解

問題設定
本論文は、3次元平坦トーラス $\mathbb{T}^3$ 上の非線形ディラック方程式における、自明でない連続微分可能な周期解の存在について調査している。方程式は以下で与えられる：
$$-\sum_{j=1}^3 i\gamma_0\gamma_j\partial_j\psi + m\gamma_0\psi = a\psi + 2h(x)\nu|\bar{\psi}\psi|^{\nu-2}\bar{\psi}\psi \gamma_0\psi$$
ここで、$m > 0$ は質量、$a \in (0, m)$ はスペクトルパラメータ、$h \in C^\infty(\mathbb{T}^3, \mathbb{R})$ は正の有界関数であり、非線形指数は $\nu \in (1, 3/2)$ を満たす。項 $|\bar{\psi}\psi|^\nu$ は、ローレンツ不変量 $\bar{\psi}\psi = \langle \gamma_0\psi, \psi \rangle$ に依存するSoler型の非線形性を表している。

主な数学的課題は以下の二点である：

1. 強い不定性（Strong Indefiniteness）: 線形ディラック演算子 $D$ は自己共役であるが、そのスペクトルは $+\infty$ と $-\infty$ の両方に及ぶ無界なスペクトルを持つため、関連するエネルギー汎関数は強に不定である。
2. 強制性とコンパクト性の欠如: Soler非線形性 $|\bar{\psi}\psi|^\nu$ は、スピノル $\psi$ の完全な $L^{2\nu}$-ノルムを制御しない（$\psi$ の絶対値 $|\psi|$ が大きくても、$\bar{\psi}\psi$ は消失または相殺し得るため）。その結果、エネルギー汎関数は直接的にパレ・スミス（Palais–Smale, PS）条件を満たさず、標準的な変分法はコンパクト性の欠如によって阻害される。

手法
著者は、摂動戦略と精緻なスペクトル解析を組み合わせた変分アプローチを採用している：

1. 汎関数の摂動: PS条件を回復するために、著者はエネルギー汎関数 $J$ に対して小さな強制摂動項 $-\varepsilon \int |\psi|^{2\nu}$ を導入し、摂動された汎関数 $J_\varepsilon$ を作成する。この項により、$J_\varepsilon$ は任意の固定された $\varepsilon > 0$ に対してPS条件を満たすようになる。
2. リンキング幾何学と擬勾配フロー: 分数ソボレフ空間 $H^{1/2}(\mathbb{T}^3, \mathbb{C}^4)$ において、著者はディラック演算子の正の部分空間 $H^{1/2}_+$ と負の部分空間 $H^{1/2}_-$ へのスペクトル分解を利用する。[22] の枠組みに従い、許容可能な擬勾配フローを構築してリンキング幾何学を定義する。これにより、摂動された汎関数のミニマックスレベル $c_\varepsilon(m, a)$ を定義することができる。
3. 一様なエネルギー境界: コアとなる技術的努力は、$c_\varepsilon(m, a)$ が $\varepsilon \to 0^+$ のとき一様に有界であることを証明することである。これは、「サブスレッショルド（閾値下）」条件を確立することによって達成される。すなわち、特定のスピノルを用いて得られるミニマックスレベルの上界が、臨界爆発閾値 $c_\infty(m, a)$ よりも厳密に低いことを示す。
4. 精緻なスペクトル推定: 非自明なスピノル $\phi$ が $(D-a)\phi = V\gamma_0\phi$ および零錐（null-cone）条件 $\bar{\phi}\phi = 0$ を満たすようなポテンシャル $V$ の $L^{\nu^*}$-ノルムの下限として定義される定数 $\kappa(m, a)$ の推定を行う。著者は、$\text{ker}(D-m)$ への射影引数と零錐条件の特定の構造を用いて、$\kappa(m, a) \geq \kappa^*(m)$ という、$a$ に依存しない一様な正の下限を証明する。
5. 爆発解析と極限の通過: 矛盾（解の爆発が起こるという仮定）を想定することで、$a$ が特定の区間に存在する場合、ミニマックスレベルの下限を導出し、それが確立された上界と矛盾することを示す。これにより、摂動解 $\psi_\varepsilon$ の $H^1$ における一様な有界性が保証される。最後に、リリッヒ（Rellich）の埋め込みとSchauder理論を用いたコンパクト性議論を用いて、$\varepsilon \to 0$ の極限へと移行し、元の摂動なしの方程式の解を得る。

主要な結果

• 存在定理: 本論文は、スペクトルパラメータ $a$ が区間 $(a^*, m)$ 内にあるとき、方程式の非自明な $C^1$ 周期解の存在を確立している。ここで $a^*$ は、質量 $m$、トーラスの体積、および関数 $h$ の有界範囲に依存する明示的に定義された定数である：
  $$a^* := \max\left(0, m - \frac{\kappa^*(m)}{\text{vol}(\mathbb{T}^3)^{1/\nu^*}} \left(\frac{h_{\min}}{h_{\max}}\right)^{1/\nu}\right)$$
• 一様境界: 著者は、$\varepsilon \to 0$ のとき、摂動された臨界点 $\psi_\varepsilon$ の列が $H^1(\mathbb{T}^3)$ において一様に有界であることを証明し、爆発を防いでいる。
• 正則性: 指数 $\nu \in (1, 3/2)$ の特定の範囲を利用して、楕円型正則性とSchauder推定を通じて、極限解 $\psi_0$ が連続微分可能（$C^1$）であることを示している。

意義と主張
本論文は、標準的な冪乗型非線形性よりも数学的に繊細な（$L^2$ ノルムの制御が欠如しているため）、Soler型非線性性に対して、平坦トーラス $\mathbb{T}^3$ 上の周期解に関する新しい存在結果を提供すると主張している。

本研究は、コンパクト多様体上の定常解に関する最近の研究（特に[22]）を補完するものであり、周期的な設定へと変分フレームワークを適応させ、純粋なSolerケースに対する推定を精緻化している。著者は、証明が、強に不定な汎関数のためのクリティカルポイント理論、零錐条件を含む精緻なスペクトル推定、および消失する摂動を扱うための注意深い爆発解析の組み合わせに依存していることを強調している。この結果は、質量の値より下の明示的な区間内のすべてのスペクトルパラメータに対して成立しており、システムの物理的パラメータに基づく存在の具体的な条件を提示している。