[論文レビュー] Solitary Wave Solutions for the Nonlinear Dirac Equations

Meijiao Guan|ArXiv.org|Dec 12, 2008

Advanced Mathematical Physics Problems参考文献 9被引用数 10

ひとこと要約

本稿は、非線形Dirac方程式における力の型非線形性 $ F(s) = |s|^{ heta} $、$ 1 \leq \theta < 2 $ に対して、静的状態を非線形Schr"{o}dinger方程式の基底状態に結びつけることにより、孤立波解の存在および局所的一意性を確立する。重み付きSobolev空間 $ W^{1,p}_{r} $（$ p > 2 $）における摂動的アプローチを用い、$ \omega \in (m - \varepsilon_0, m) $ の連続的分岐解 $ \phi_\omega $ が存在することを証明し、指数的減衰および古典的正則性を示す。

ABSTRACT

In this paper we prove the existence and local uniqueness of stationary states for the nonlinear Dirac equation \[ i \sum_{j=0}^{3} \ga^j \pd_j ψ- mψ+ F(\barψψ)ψ=0 \] where $ m &gt;0$ and $ F(s) = |s|^θ$ for $ 1\leq θ&lt; 2.$ More precisely we show that there exists $\e_0 &gt; 0$ such that for $ω\in(m - \e_0, m), $ there exists a solution $ ψ(t,x) = e^{-iωt}ϕ_ω(x), x_0 = t, x = (x_1, x_2, x_3),$ and the mapping from $ ω$ to $ ϕ_ω $ is continuous. We prove this result by relating the stationary solutions to the ground states of nonlinear Schrödinger equations.

研究の動機と目的

• 非線形Dirac方程式における力の型非線形性に対する、静的状態の連続性および一意性に関する未解決問題を解消すること。
• パrameter $ \omega \in (m - \varepsilon_0, m) $ によりパラメータ化された連続的分岐解 $ \phi_\omega $ の構築を目的とし、正則性および減衰性を保証すること。
• 特に $ \theta \geq 1 $ の場合に $ H^1 $ フレームワークで生じる解析的困難、特に $ |v^2 - \varepsilon u^2| = 0 $ のキャンセル化円錐付近での非リプシッツ性に対処すること。
• 特に $ \theta \geq 1 $ の場合に、存在は示されたが連続性や一意性は示されなかった既存の結果を拡張すること。

提案手法

• 静的非線形Dirac方程式を $ r $ に関する径対称平面系に変換し、$ u, v $ を用いた摂動型常微分方程式系 (1.5) に還元する。ここで $ \varepsilon = m - \omega $ は小さなパラメータである。
• $ \varepsilon = 0 $ の極限が、非線形Schr"{o}dinger方程式 $ -\Delta v / (2m) + v - |v|^{2\theta}v = 0 $ の基底状態解 $ Q $ に一致することを示す。
• $ p > 2 $ に対する重み付きSobolev空間 $ W^{1,p}_{r} \times W^{1,p}_{r} $ において、縮小写像の議論を用い、非リプシッツ非線形性に対処できる十分な正則性を保証する。
• $ \varepsilon = 0 $ 解 $ (Q, -Q'/2m) $ の摂動として解 $ (f,g) $ の存在を確立し、誤差項が $ L^p $ および $ W^{1,p} $ で有界であることを示す。
• 誤差系 (3.11) に対して最大原理を用い、$ r $ が大きい場合に $ |e_j(r)| \leq C e^{-\nu r} $ を示すことで、解およびその導関数の指数的減衰を証明する。
• Sobolev埋め込みおよび高階正則性により、古典的解としての状態を確認し、$ f,g \in \mathcal{C}^2 $ を確認する。

実験結果

リサーチクエスチョン

• RQ1 非線形Dirac方程式における $ F(s) = |s|^\theta $、$ \theta \in [1,2) $ の場合に、質量閾値 $ \omega \to m $ の近傍で連続的分岐解が存在するか。
• RQ2 キャンセル化円錐付近での非線形性の非リプシッツ性にもかかわらず、これらの解の局所的一意性および正則性を確立できるか。
• RQ3 $ p > 2 $ における $ W^{1,p}_{r} $ 空間における摂動的アプローチが、$ H^1 $ における正則性の損失を克服するのに十分か。
• RQ4 $ \varepsilon \to 0 $ の極限において、解構造が非線形Schr"{o}dinger方程式の基底状態とどのように関連するか。
• RQ5 解およびその導関数が空間無限遠でどの程度の減衰率を示すか。

主な発見

• ある $ \varepsilon_0 > 0 $ が存在し、すべての $ \omega \in (m - \varepsilon_0, m) $ に対して、$ \phi_\omega \in W^{1,p}_{r} \times W^{1,p}_{r} $（$ p > 2 $）を満たす一意な解 $ \psi(t,x) = e^{-i\omega t} \phi_\omega(x) $ が存在する。
• $ \omega \mapsto \phi_\omega $ の $ W^{1,p}_{r} \times W^{1,p}_{r} $ ノルムにおける連続性が証明され、$ \omega $ に関する解の連続性に関する未解決問題が解決された。
• 解 $ \phi_\omega $ は古典的 $ \mathcal{C}^2 $ 解であり、Sobolev埋め込みおよび高階正則性により $ f,g \in \mathcal{C}^2 $ であることが確認された。
• 解は指数的減衰を示す：$ |e_1(r)| + |e_2(r)| \leq C e^{-\nu r} $（$ r $ が大きい場合、$ \nu > 0 $）、最大原理を誤差系に適用することで確立された。
• $ \theta < 1 $ の場合、キャンセル化円錐付近での $ |v^2 - \varepsilon u^2|^\theta $ の導関数が有界でないため、反例により方法の失敗が示された（$ \varepsilon \to 0 $ のとき $ g(s)/s \gg 1 $）。
• 誤差項 $ e_1, e_2 $ は $ \|e\|_{W^{2,p}_{r} \times W^{2,p}_{r}} \leq C\varepsilon $ を満たし、解の摂動的性質が確認された。