[論文レビュー] Quasilinear Schrödinger equations I: Small data and quadratic interactions

Jeremy L. Marzuola, Jason Metcalfe+1 more|arXiv (Cornell University)|Jun 2, 2011

Advanced Mathematical Physics Problems参考文献 21被引用数 2

ひとこと要約

本稿は、空間的立方体における周波数局在型 l1 総和性と低正則性ソボレフノルムを組み合わせた、翻訳不変な関数空間 l1Hs において、初期データが小さい場合の非線形シュレーディンガー方程式の局所的適切性を確立する。分散推移法、周波数エンvelope 技法、および修正された反復スキームを用いることで、従来の粘性に基づく手法よりも低い正則性で適切性を達成し、特に二次非線形項および非発散型形式の方程式に対して有効である。

ABSTRACT

Abstract In this article, we prove local well-posedness in low-regularity Sobolev spaces for general quasilinear Schrödinger equations. These results represent improvements in the small data regime of the pioneering works by Kenig–Ponce–Vega and Kenig–Ponce–Rolvung–Vega, where viscosity methods were used to prove existence of solutions in very high regularity spaces. Our arguments here are purely dispersive. The function spaces in which we show existence are constructed in ways motivated by the results of Mizohata, Ichinose, Doi, and others, including the authors.

研究の動機と目的

• 一般の非線形シュレーディンガー方程式に対して、低正則性ソボレフ空間における初期データが小さい場合の局所的適切性を確立すること。
• エネルギー法や粘性技術の制限を克服するため、高正則性を要しない完全な分散的アプローチを開発すること。
• 周波数局在型 l1 総和性を dyadic 空間的立方体に組み合わせた、翻訳不変な関数空間 l1Hs を導入・利用し、正則性閾値の向上を図ること。
• 局所的滑らかさ推移推移と周波数エンvelope 技法を、二次非線形項を有する非線形的設定に拡張すること。
• 新しい関数空間フレームワークにおいて、初期データに対する連続的依存性と、より高い正則性の伝播を達成すること。

提案手法

• 周波数 2^j に局在化する S_j を用い、norm ∥u∥²_l1Hs = ∑_j≥0 2^{2sj} ∥S_j u∥²_{l1_jL2} で定義される関数空間 l1Hs を導入する。ここで l1_jL2 は、サイズ 2^j の dyadic 立方体上での L2 範囲の総和を意味する。
• 方程式 (1.3) に対して、反復スキーム (5.6) を修正し、初期条件 u(0) = 0 で開始し、命題 5.2 を用いて l1Xs における一様有界性を証明する。
• 非線形項を制御するために局所的滑らかさ推移と非同次推移を適用し、非同次推移が同次推移の2倍の滑らかさを提供することを活用する。
• 正則性の伝播に周波数エンvelope 技法を用いる：初期データに対して許容可能なエンvelope {a_j} を定義し、命題 5.3 を用いてそれが l1Xs における解の制御を可能にすることを示す。
• 差分方程式 (5.8) の推移を用い、Moser 型推移により係数 V_n と W_n が有界であることを示し、l1Hs−1 における反復スキームの弱収束を証明する。
• 初期データの収束に伴い解が l1Xs に収束することを (5.11) と周波数エンvelope 界の比較により示し、初期データが l1Hs で収束するとき、解の連続的依存性を確立する。

実験結果

リサーチクエスチョン

• RQ1 非線形シュレーディンガー方程式の局所的適切性は、粘性法や高正則性に依存しない低正則性空間で確立可能か？
• RQ2 空間的立方体における l1 総和性とソボレフノルムを組み合わせた翻訳不変関数空間 l1Hs は、適切性の正則性閾値を向上させるか？
• RQ3 周波数エンvelope 技法は、二次非線形項を有する非線形分散方程式における解の成長を制御するために適応可能か？
• RQ4 初期データに対する連続的依存性は、l1Hs フレームワークにおいて初期データが小さい場合に達成可能か？
• RQ5 反復的微分と新しい関数空間フレームワークを用いて、解のより高い正則性を伝播可能か？

主な発見

• 初期データが小さい場合、l1Hs 空間における局所的適切性が確立され、解は ∥u∥_l1Xs ≲ ∥u0∥_l1Hs を満たす。これは、従来の粘性に基づく手法に比べて正則性閾値の顕著な向上を示している。
• 初期データが l1Hs で収束するとき、解の収束 ∥u(n) − u∥_l1Xs → 0 が示され、解写像が l1Hs から l1Xs への連続性を示している。
• 周波数エンvelope の伝播が証明された：初期データ u0 に対して許容可能なエンvelope {a_j} が存在するならば、それが l1Xs における解の制御を可能にし、正則性の保存を保証する。
• 反復スキームは l1Xs−1 で収束し、解の差分は ∥u(1) − u(2)∥_l1Xs−1 ≲ ∥u(1)(0) − u(2)(0)∥_l1Hs−1 を満たす。これは弱リプシッツ依存性を示している。
• より高い正則性が伝播される：σ ≥ s に対して、解は ∥u∥_l1Xσ ≲ ∥u0∥_l1Hσ を満たし、その界は解の l1Xs 範囲の2次関数として増加する。
• 分散推移と周波数局在型 l1 範囲を用いることで、無限大の伝播速度の障害を回避し、十分な正則性において Mizohtata 型条件が回復される。