[論文レビュー] Global well-posedness for the k-dispersion generalized Benjamin-Ono equation

Luiz Gustavo Farah, Felipe Linares+1 more|arXiv (Cornell University)|Dec 18, 2012

Advanced Mathematical Physics Problems被引用数 5

ひとこと要約

本稿では、エネルギー空間 H^{β/2}(ℝ) 内の初期データに対する鋭い条件を導出し、k-分散一般化 Benjamin-Ono 方程式の超臨界的領域 (k > 2β) において、グローバルな適切性を確立する。鋭い Gagliardo-Nirenberg 不等式と基底状態解 Q の性質を用いて、初期エネルギーと質量が基底状態 Q に対して閾値条件を満たす限り、解が H^{β/2} ノルムにおいて有界に保たれることを証明し、グローバル存在と H^{β/2} ノルムの一様な制御を保証する。

ABSTRACT

We consider the $k$-dispersion generalized Benjamin-Ono equation in the supercritical case. We establish sharp conditions on the data to show global well-posedness in the energy space for this family of nonlinear dispersive equations. We also prove similar results for the generalized Benjamin-Ono equation.

研究の動機と目的

• k > 2β の超臨界的状況における k-分散一般化 Benjamin-Ono 方程式のグローバル適切性を保証する初期データに対する鋭い条件を確立すること。
• この非線形分散方程式族のエネルギー空間 H^{β/2}(ℝ) におけるグローバル適切性理論を拡張すること。
• 関連する楕円型方程式の基底状態解 Q に初期データを関連付けることにより、解が H^{β/2} ノルムにおいて有界に保たれることを証明すること。
• 保存量と鋭い不等式を用いることで、標準的反復法の障害を克服すること。

提案手法

• 保存量である L² ノルムとエネルギー E(u) を用いて、エネルギー空間 H^{β/2}(ℝ) 内で事前推定を導出する。
• 基底状態 Q の方程式 D^βQ + Q - Q^{k+1} = 0 に依存する最適定数 K_opt を用いた鋭い Gagliardo-Nirenberg 不等式を適用する。
• Frank と Lenzmann が確立した基底状態 Q の一意性および回転対称性を用いて、鋭い閾値を定義する。
• 初期データに関する条件を E(u₀) と ||D^{β/2}u₀||_{L²} に課し、これらを Q の対応する量と比較する。
• 関数 f(x) = x - Bx^{k/(2β)} の臨界点を解析することで、解の H^{β/2} ノルムが時間に依存せずに一様に有界であることを示す。
• スケーリング議論と、基底状態方程式に Q と x∂ₓQ をそれぞれ乗じて得られる恒等式を用いて、E(Q)、||Q||_{L²}、||D^{β/2}Q||_{L²} を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 k > 2β の超臨界的領域における k-分散一般化 Benjamin-Ono 方程式のグローバル存在を保証する初期データに対する鋭い条件は何か？
• RQ2 保存エネルギーと質量を用いて、解の H^{β/2} ノルムに対する一様な事前推定をどのように導出できるか？
• RQ3 基底状態解 Q はグローバル適切性の閾値を決定する上で果たす役割は何か？
• RQ4 収縮写像法の失敗を、鋭い不等式と保存量を用いることで克服できるか？
• RQ5 鋭い Gagliardo-Nirenberg 不等式は、エネルギー空間における解の成長をどのように制限するか？

主な発見

• 初期データが E(u₀)^{s_k}M(u₀)^{β/2 - s_k} < E(Q)^{s_k}M(Q)^{β/2 - s_k} および ||D^{β/2}u₀||_{L²}^{s_k}||u₀||_{L²}^{β/2 - s_k} < ||D^{β/2}Q||_{L²}^{s_k}||Q||_{L²}^{β/2 - s_k} を満たす場合、H^{β/2}(ℝ) 内でグローバル適切性が成立する。ここで s_k = 1/2 - β/k である。
• 解の H^{β/2} ノルムは時間に依存せずに一様に有界である：解の寿命内すべての t に対して ||D^{β/2}u(t)||_{L²}^{s_k}||u(t)||_{L²}^{β/2 - s_k} < ||D^{β/2}Q||_{L²}^{s_k}||Q||_{L²}^{β/2 - s_k} が成り立つ。
• Gagliardo-Nirenberg 不等式における鋭い定数 K_opt は、基底状態 Q の L² ノルムと H^{β/2} 半ノルムに明示的に関係している。
• 基底状態 Q は方程式 D^βQ + Q - Q^{k+1} = 0 を満たし、β ∈ [1,2) および k > 2β の下で、唯一の正で、偶関数で、単調減少な解である。
• エネルギー E(Q) は E(Q) = (k - 2β)/(2(2 + (k+2)(β - 1))) ||Q||_{L²}^2 と表現され、閾値が基底状態の質量とエネルギーにリンクしていることが示される。
• 証明では、L² ノルム ||D^{β/2}u(t)||_{L²} が、鋭い定数に依存する最大値をとる関数の最大値から導かれる臨界閾値以下に保たれることを示すことにより、解が H^{β/2} ノルムで有界に保たれることを確立する。