[論文レビュー] On the Cauchy problem for a Boussinesq type system

Felipe Linares, Mahendra Panthee+1 more|arXiv (Cornell University)|Jun 17, 2012

Advanced Mathematical Physics Problems参考文献 9被引用数 3

ひとこと要約

本稿では、線形部の対角化を用いて2次元Boussinesq型系の初期値問題をKdV型方程式の結合系に変換し、局所的well-posednessを確立する。鋭い滑らかさ推定とStrichartz型解析を用いて、$H^s(\mathbb{R}^2) \times \mathcal{V}^{s+1}(\mathbb{R}^2)$における一意な局所解を $s > 3/2$ で証明する。これは以前の $s > 2$ を改善するものである。この手法は非線形項を微分の拡大と時空ノルム推定によって取り扱う。

ABSTRACT

We consider the initial value problem (IVP) associated to a Boussinesq type system. After rewriting the system in an equivalent form of coupled KdV-type equations, we prove that this is locally well-posed in $(H^s(\R^2))^4$, $s>3/2$, using sharp smoothing estimates. Consequently we obtain the local well-posedness result for the original system in $H^s imes \mathcal{V}^{s+1}$ for $s>3/2$ (see below for the definition of $\mathcal{V}^{s}$).

研究の動機と目的

• 文献[9]で以前に示された $s > 2$ の結果を超えて、2次元Boussinesq型系の初期値問題の局所的well-posednessの閾値を改善すること。
• 線形部の対角化によって系を対称的な結合KdV型方程式系に変換し、非線形結合を厳密に取り扱うフレームワークを構築すること。
• 元の物理変数 $\eta$ と $\Phi$ の固有の正則性を反映する関数空間において、局所解の存在と一意性を確立すること。
• 元のBoussinesq系と変換されたKdV型系の間の同値性を完全かつ詳細に証明し、元の変数における解の回復を含めること。

提案手法

• 線形部を演算子 $i\sqrt{-\Delta}(1 - \Delta)$ を用いて対角化することにより、元の系を結合KdV型方程式の同値な形に書き直す。
• 元の未知関数 $\eta$ と $\Phi$ を $u = \partial_{x_1}\Phi$ と $v = \partial_{x_2}\Phi$ に変換し、$u$ と $v$ における対称系を得る。
• 非線形項は $x_1$ と $x_2$ での微分を施すことにより取り扱い、$u$ と $v$ の偏導関数を対象とする4つの方程式系を得る。これにより非線形項が線形化される。
• Strichartz、最大関数、滑らかさ推定を用いた時空ノルム空間における収縮写像による解の構成。
• 解空間 $\mathcal{X}_T^s$ は $L^q_t L^\infty_x$ および $L^2_t L^2_x$ 成分を含むノルムで定義され、微分とRiesz変換の制御が行われる。
• 元の解は逆変換 $\eta = i\sqrt{-\Delta}(u - v)$、$\Phi = u + v$ により回復され、$H^s \times \mathcal{V}^{s+1}$ 値の連続性が保証される。

実験結果

リサーチクエスチョン

• RQ1 2次元Boussinesq系の局所的well-posednessの閾値を、$s > 2$ から $s > 3/2$ に改善できるか。
• RQ2 系の線形部を対角化した後、KdV型フレームワークを用いて局所的well-posednessを確立できるか。
• RQ3 Boussinesq系の非線形結合を効果的に管理する方法は何か。これにより収縮写像法が適用可能になるか。
• RQ4 解が存在し一意となる正確な関数空間は何か。また、これは元の物理変数とどのように関係するか。
• RQ5 元の系と変換されたKdV型系の間の同値性を厳密に確立でき、解の回復が可能か。

主な発見

• 2次元Boussinesq型系の初期値問題は、すべての $s > 3/2$ に対して $H^s(\mathbb{R}^2) \times \mathcal{V}^{s+1}(\mathbb{R}^2)$ で局所的well-posedである。これは以前の $s > 2$ の閾値を改善するものである。
• 解は $C([0,T]; H^s \times \mathcal{V}^{s+1})$ に連続的に埋め込まれた空間 $\mathcal{Y}_T^s$ に構成され、時間に関する強い連続性が保証される。
• この手法は、対角化によって系を結合KdV型系に変換し、分散構造を対称化し、解析を簡素化する。
• 非線形項の制御には鋭い滑らかさ推定と時空ノルム（Strichartz型）が用いられ、特に微分およびRiesz変換を含む項に有効である。
• 解写像が適切な関数空間で収縮写像であることが示され、初期データの大きさに依存する小さい時間 $T > 0$ に対して存在と一意性が保証される。
• 元の変数 $\eta$ と $\Phi$ は、$\eta = i\sqrt{-\Delta}(u - v)$、$\Phi = u + v$ により変換された変数 $u$ と $v$ 従って一意に回復され、解構造が保持される。