[論文レビュー] Global wellposedness of the equivariant Chern-Simons-Schrödinger equation

Baoping Liu, Paul N. Smith|arXiv (Cornell University)|Dec 19, 2013

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

ひとこと要約

本稿は、2次元空間において、臨界的 $L^2$ 正則性下での等長的チェーン＝シモンズ＝シュレーディンガー方程式のグローバルな適切性と散乱を確立する。発散型の場合（$g < 1$）、すべての $m$-等長的 $L^2$ 初期データに対してグローバルな適切性が成り立つ。焦点型の場合（$g \geq 1$）、初期データの $L^2$ ノルムが鋭い閾値 $c_{m,g}$ 未満のとき、グローバルな適切性と散乱が示される。この閾値 $c_{m,g}$ は、非自明な最小の定常波解の $L^2$ ノルムの二乗に等しく、$g=1$ のときには正確に $c_{m,1} = 8\pi(m+1)$ に等しい。この結果は、集中・コンパクトネスとバーリル／モラウェーツ恒等式を用いた対称性削減設定下での臨界正則性問題を解決する。

ABSTRACT

In this article we consider the initial value problem for the m-equivariant Chern-Simons-Schrödinger model in two spatial dimensions with real-valued coupling parameter g. This is a covariant NLS type problem that is L^2-critical. We prove that at the critical regularity, for any integer-valued equivariance index m, the initial value problem in the defocusing case (g &lt; 1) is globally wellposed and the solution scatters. The problem is focusing when g &gt;= 1, and in this case we prove that for nonnegative integer-valued equivariance indices m there exist constants c = c_{m, g} such that, at the critical regularity, the initial value problem is globally wellposed and the solution scatters when the L^2 initial data phi_0 is m-equivariant and has L^2-norm less than the square root of c_{m, g}. We also show that c_{m, g}^{1/2} is equal to the minimum L^2 norm of a nontrivial m-equivariant standing wave solution. In the self-dual g = 1 case, we have the exact numerical values c_{m, 1} = 8*pi*(m + 1).

研究の動機と目的

• 2次元空間における $m$-等長的チェーン＝シモンズ＝シュレーディンガー方程式が、$L^2$-臨界正則性下でグローバルな適切性を有することを解明すること。
• 焦点型の場合（$g \geq 1$）における初期 $L^2$ ノルムの鋭い条件を、グローバル存在と散乱の観点から確立すること。
• 閾値 $c_{m,g}$ が非自明な $m$-等長的定常波解の最小 $L^2$ ノルムに等しいことを同定すること。
• 自己双対型の場合（$g=1$）において、閾値が正確に $c_{m,1} = 8\pi(m+1)$ に等しいことを証明すること。

提案手法

• 解析は、ゲージ自由度を排除し、適切な初期値問題を可能にするコーシー座標系で行われる。
• 問題は $m$-等長的解に制限され、角運動量 $m \in \mathbb{Z}$ を持つ $(r,t)$ 上の径数的系に還元される。
• 集中・コンパクトネスと剛性法が適用され、バーリルおよびモラウェーツ恒等式によるほぼ周期的解の不在に依存する。
• 閾値 $c_{m,g}$ は、エネルギーゼロの制約下での電荷の最小化という変分問題を用いて特徴づけられ、ラグランジュ乗数とポホジャエフ型恒等式が用いられる。
• スケーリング不変性を除去した後、弱収束および $L^q$ 空間（$q > 2$）における強収束を用いて、最小エネルギー解の存在および一意性が確立される。
• 散乱の証明は、非ゼロのほぼ周期的解の不在と、質量集中を制御するためのバーリル／モラウェーツ恒等式の使用に依存する。

実験結果

リサーチクエスチョン

• RQ1 すべての $m \in \mathbb{Z}$ および $g < 1$ に対して、$m$-等長的チェーン＝シモンズ＝シュレーディンガー方程式は、臨界的 $L^2$ 正則性下でグローバルに適切か？
• RQ2 焦点型の場合（$g \geq 1$）において、グローバルな適切性と散乱が成り立つ $L^2$-ノルムの鋭い閾値は何か？
• RQ3 閾値 $c_{m,g}$ は、非自明な $m$-等長的定常波解の最小 $L^2$ ノルムとどのように関係しているか？
• RQ4 自己双対型（$g=1$）では、閾値 $c_{m,1}$ に対して正確な式が得られるか？
• RQ5 この設定下で、バーリルおよびモラウェーツ恒等式を用いて、ほぼ周期的解の不在を確立できるか？

主な発見

• 発散型の場合（$g < 1$）、初期値問題はすべての $m$-等長的 $L^2$ 初期データに対してグローバルに適切であり、解は散乱する。
• 焦点型の場合（$g \geq 1$）、$\|\phi_0\|_{L^2}^2 < c_{m,g}$ のとき、グローバルな適切性と散乱が成り立つ。ここで $c_{m,g}$ は、非自明な $m$-等長的定常波解の最小 $L^2$ ノルムに等しい。
• 自己双対型（$g = 1$）では、閾値は正確に $c_{m,1} = 8\pi(m+1)$ に等しく、明確な数値的境界を与える。
• 閾値 $c_{m,g}$ は、エネルギーがゼロである非自明な $m$-等長的関数の $\|\phi\|_{L^2}^2$ の下界として特徴づけられる。
• 変分問題による $c_{m,g}$ の最小化子の存在は、弱収束および $L^q$ 空間（$q > 2$）における強収束を用いて証明された。
• ポホジャエフ型恒等式が導出され、定常波の周波数 $\lambda$ が解の $L^2$ および $L^4$ ノルムと関係づけられ、閾値が既知の恒等式と整合することを確認した。