[論文レビュー] Solitary waves for Maxwell-Schrodinger equations

Giuseppe Maria Coclite, Vladimir Georgiev|arXiv (Cornell University)|Mar 12, 2003

Advanced Mathematical Physics Problems参考文献 17被引用数 46

ひとこと要約

本稿では、固定された $L^2$ ノルムを伴う3次元のマクスウェル＝シュレーディンガー系に対して、径対称な孤立波解の存在を確立し、それらが滑らかで無限遠で急速に減少し、負の固有値を持つことを証明している。最初の固有値は孤立しており、解は近傍で一意であることが示され、中性条​​件 $N = z$ の下でソリトン的挙動を確認している。解析は変分法と制約付き関数空間への陰関数定理の応用に依拠している。

ABSTRACT

In this paper we study the solitary waves for the coupled Schrödinger - Maxwell equations in three-dimensional space. We prove the existence of a sequence of radial solitary waves for these equations with a fixed $L^2$ norm. We study the asymptotic behavior and the smoothness of these solutions. We show also the fact that the eigenvalues are negative and the first one is isolated.

研究の動機と目的

• $\mathbb{R}^3$ における固定された $L^2$ ノルムを伴うマクスウェル＝シュレーディンガー系に対する径対称孤立波解の存在を確立する。
• これらの解に関連する固有値 $\omega$ が負であり、最初の固有値が孤立していることを証明する。
• 解の正則性および減衰性を分析し、$N = z$ のとき滑らかで急速に減少することを示す。
• 最初の固有値の近傍における基底状態解の一意性（孤立性）を確認する。
• 強不定な汎関数を制約付き最小化によって下から有界なものに還元するための変分的枠組みを提供する。

提案手法

• 静電気的およびローレンツゲージにおけるマクスウェル＝シュレーディンガー系を定式化し、楕円型偏微分方程式の結合系に還元する。
• 固定された $L^2$ ノルム $N$ を用いた制約付き変分問題を導入し、制約を満たすためにラグランジュ乗数 $\omega$ を用いる。
• 下から有界な汎関数 $J(u)$ を定義し、その臨界点が元の系の解に対応することを示す。
• $H^1(\mathbb{R}^3)$ 内で最小化列の収束を保証するためにパライス＝スモール条件を適用する。
• 陰関数定理とスペクトル解析を用いて、最初の固有値 $\omega_0$ の孤立性を証明する。
• 径対称性と球面調和関数の技法を用いて正則性および減衰性を分析し、ニュートン型ポテンシャル表現の利用を含む。

実験結果

リサーチクエスチョン

• RQ1 外部ポテンシャルがゼロであるマクスウェル＝シュレーディンガー系は、非自明な孤立波解を許容するか？
• RQ2 クーロン型ポテンシャル $V(|x|) = z/|x|$ を伴い、固定された $L^2$ ノルム $N \leq z$ を持つマクスウェル＝シュレーディンガー系に対して、径対称な孤立波解を構成できるか？
• RQ3 これらの孤立波に関連する固有値 $\omega$ の符号およびスペクトル構造は何か？
• RQ4 解はどれほど正則で、どれほど急速に減衰するのか、特に $N = z$ のときには？
• RQ5 基底状態解（最初の固有値）は、径対称解の空間内で孤立しているか？

主な発見

• 外部ポテンシャルがゼロ ($V \equiv 0$) であるマクスウェル＝シュレーディンガー系は、自明な解 $u \equiv \phi \equiv 0$ のみを許容し、閉じ込められるポテンシャルが存在しない場合には孤立波が存在しないことを示している。
• $\omega_k \to 0^-$ となるような、$u_k \in H^1(\mathbb{R}^3)$ かつ $\|u_k\|_{L^2}^2 = N \leq z$ を満たす、径対称孤立波解 $(u_k, \phi_k, \omega_k)$ の系列が存在する。
• 非自明な径対称解に関連するすべての固有値 $\omega$ は厳密に負である、すなわち $\omega < 0$。
• 解 $u$ と $\phi$ は $[0,1]$ 上で滑らかであり、$N = z$ のとき $u$ は無限遠で急速に減少し、シュワーツクラス $S(|x| > 1)$ に属する。
• 最初の固有値 $\omega_0$ は孤立している：$H^1(\mathbb{R}^3) \times L^2(\mathbb{R}^3) \times \mathbb{R}$ 内の適切な近傍では、同じ $L^2$ ノルムと径対称性を持つ他の解は存在しない。
• 制約付き汎関数 $J|_{B'}$ の臨界点で最小値をとるものは孤立しており、これは近傍における基底状態解の一意性を意味する。