[論文レビュー] Existence of steady states for the Maxwell-Schrödinger-Poisson system: exploring the applicability of the concentration-compactness principle

Isabelle Catto, Jean Dolbeault+2 more|arXiv (Cornell University)|Jun 16, 2013

Advanced Mathematical Physics Problems参考文献 15被引用数 13

ひとこと要約

本稿では、L²ノルム制約の下で濃縮・コンパクトネス原理を用いて、非線形局所ポテンシャルを有するマクスウェル＝シュレーディンガー＝ポアソン系の定常状態の存在を確立する。エネルギー汎関数の最小化子が臨界質量 $ M_c $ で存在することを示し、最小化列を構成し、ガリardo-NirenbergおよびHardy-Littlewood-Sobolev不等式を用いて濃縮が消失しないことを示す。

ABSTRACT

This paper is intended to review recent results and open problems concerning the existence of steady states to the Maxwell-Schrödinger system. A combination of tools, proofs and results are presented in the framework of the concentration--compactness method.

研究の動機と目的

• 非線形局所項を有するマクスウェル＝シュレーディンガー＝ポアソン系の定常波解の存在を調査すること。
• スケーリング不変性に起因するコンパクトネスの欠如の下で、濃縮・コンパクトネス法の適用可能性を特定すること。
• 特に臨界質量 $ M_c $ において、L²ノルム制約の下でエネルギー汎関数の最小化子の存在を確立すること。
• エネルギー汎関数がゼロに近づくときの最小化列の挙動を分析し、存在の閾値を特定すること。
• 未解決の問題である、$ I_M $ の鋭い非存在性および下界エネルギー汎関数の亜加法性を解消すること。

提案手法

• エネルギー汎関数 $ \mathrm{E}[\varphi] + \ell_M M[\varphi] $ の制約付き最小化問題として問題を定式化し、$ \|\varphi\|_{L^2} = M $ かつ $ \ell_M > 0 $ を満たす。
• 特に $ I_M \to 0 $ が $ M \to M_c^+ $ のとき成り立つ場合に注目し、最小化列の分析に濃縮・コンパクトネス原理を適用する。
• 非局所ポテンシャルおよび非線形項を制御するため、ガリardo-Nirenberg不等式およびHardy-Littlewood-Sobolev型推定を用いる。
• 最小化列 $ \{\varphi_n\} $ を $ M_n = M_c + 1/n $ で構成し、$ \mathrm{E}[\varphi_n] \to 0 $ かつ $ \|\varphi_n\|_{L^{2\alpha+2}} \not\to 0 $ を示し、濃縮が消失しないことを示す。
• 弱収束および $ L^2_{\text{loc}} $ での強収束を用いて、非ゼロの極限 $ \varphi_\infty \neq 0 $ を抽出する。$ \|\varphi_\infty\|_{L^2} = M_c $ を示す。
• エネルギーの下方連続性および $ \mathrm{E}[\varphi_\infty] \geq 0 $ を用いて、$ \mathrm{E}[\varphi_\infty] = 0 $ を結論づけ、$ M_c $ における最小化子の存在を確認する。

実験結果

リサーチクエスチョン

• RQ1 臨界質量においてコンパクトネスが失われる状況下で、局所非線形項を有するマクスウェル＝シュレーディンガー＝ポアソン系に濃縮・コンパクトネス原理が適用可能か？
• RQ2 $ M \to M_c^+ $ のとき、下界エネルギー汎関数 $ I_M $ の挙動は？ それは負のままであるか、あるいはゼロに収束するか？
• RQ3 相対的コンパクトネスの欠如があるにもかかわらず、$ I_{M_c} = 0 $ である臨界質量 $ M_c $ において最小化子が存在可能か？
• RQ4 非局所クーロンポテンシャルと局所非線形項の相互作用は、定常状態の存在にどのように影響するか？
• RQ5 すべての $ M > 2M_c $ に対して、亜加法不等式 $ I_M < I_m + I_{M-m} $ が成り立つか？ そして、これは最小化子の構造にどのような意味を持つか？

主な発見

• エネルギー汎関数 $ I_M $ は $ [M_c, \infty) $ 上で厳密に単調減少であり、すべての $ M > M_c $ に対して $ I_M < 0 $、かつ $ I_{M_c} = 0 $ を満たす。
• 最小化列 $ \{\varphi_n\} $ で $ M_n = M_c + 1/n $ を満たすものについて、$ \lim_{n\to\infty} \mathrm{E}[\varphi_n] = 0 $ かつ $ \liminf_{n\to\infty} \int_{\mathbb{R}^3} |\varphi_n|^{2\alpha+2} \, dx > 0 $ を満たし、濃縮が消失しないことが示される。
• 平行移動を除いて、$ \{\varphi_n\} $ の部分列が $ H^1(\mathbb{R}^3) $ で弱収束し、$ L^2_{\text{loc}} $ で強収束し、ほとんど everywhere で非ゼロの極限 $ \varphi_\infty $ に収束する。
• 極限 $ \varphi_\infty $ は $ \|\varphi_\infty\|_{L^2}^2 = M_c $ および $ \mathrm{E}[\varphi_\infty] = 0 $ を満たし、臨界質量における最小化子の存在を証明する。
• 極限 $ \varphi_\infty $ のエネルギーは非負であり、$ \mathrm{E}[\varphi_n] \to 0 $ であることから、残差 $ \varphi_n - \varphi_\infty $ のエネルギーもゼロに収束する必要がある。
• 臨界質量 $ M_c $ における最小化子の存在は、$ \varphi_\infty $ が任意の $ M < M_c $ に対して最小化子であるという仮定と矛盾するため、$ M_c $ が存在の閾値であることが確認される。