[論文レビュー] The initial-boundary value problem for the Kawahara equation on the half-line

Márcio Cavalcante, Chulkwang Kwak|arXiv (Cornell University)|May 14, 2018

Advanced Mathematical Physics Problems参考文献 29被引用数 7

ひとこと要約

本稿は、半直線上におけるKawahara方程式の初期境界値問題（IBVP）の局所的well-posednessを、低正則性のSobolev空間で確立する。Colliander–KenigのAiry作用素に関する研究にインspiredされた、新規のDuhamel境界強制作用素を導入し、$b < 1/2$における$X^{s,b}$-型空間での鋭い二重線形推定を証明することで、最小限の正則性仮定のもとで半直線設定へのwell-posedness結果を拡張する。

ABSTRACT

This paper concerns the initial-boundary value problem (IBVP) of the Kawahara equation posed on the right and left half-lines. We prove the local well-posedness in the low regularity Sobolev space. We introduce the Duhamel boundary forcing operator, which is introduced by Colliander - Kenig \cite{CK} in the context of Airy group operators, to construct solutions on the whole line. We also give the bilinear estimate in $X^{s,b}$ space for $b &lt; \frac12$, which is almost sharp compared to IVP of Kawahara equation \cite{CLMW2009, JH2009}.

研究の動機と目的

• 与えられた初期条件および境界条件のもとで、右半直線および左半直線上におけるKawahara方程式の局所的well-posednessを確立すること。
• 全直線上におけるwell-posedness理論を、特に低正則性Sobolev空間において、半直線設定に拡張すること。
• 五次分散方程式のAiry群手法に適応された、Duhamelの原理に基づく新しい境界強制作用素を開発すること。
• $b < 1/2$における$X^{s,b}$-型空間での二重線形推定を証明し、初期値問題における既知の結果と比較してその鋭さを明らかにすること。

提案手法

• 境界データを用いて全直線への解を拡張することで、半直線上の解を構成するためのDuhamel境界強制作用素を導入する。
• 半直線設定に適応した$X^{s,b}$-空間フレームワークを採用し、境界値のトレースノルムを組み込む。
• 境界項を制御し、与えられたデータから強制関数を定義するために、Riemann–Liouvilleの分数積分を用いる。
• エネルギー推定と$X^{s,b}$および$Y^{s,b}$空間における二重線形推定を用いて、非線形項を制御する。
• 解空間$Z_{1}^{s,eta,b}$における固定点法を用いて、解の存在と一意性を証明する。
• 線形作用素$\partial_t - \partial_x^5$の固有関数を用いて解の明示的形を構成し、$a_j, b_j, c_j$を含む行列系を解いて係数を決定する。

実験結果

リサーチクエスチョン

• RQ1 Kawahara方程式の局所的well-posedness理論を、全直線から半直線に、最小限の正則性仮定のもとで拡張できるか。
• RQ2 Sobolev空間における局所的well-posednessを保証するための初期データおよび境界データに必要な最小正則性は何か。
• RQ3 五次分散方程式に対して、非同次境界条件を扱えるように、境界強制作用素をどのように構成できるか。
• RQ4 半直線IBVPの文脈において、$b < 1/2$における$X^{s,b}$-型空間での二重線形推定の鋭さはいかほどか。

主な発見

• 右半直線におけるKawahara方程式のIBVPは、$s > -\frac{7}{4}$に対して$H^s(\mathbb{R}^+)$で局所的well-posedである。これは、$\mathbb{R}$上での初期値問題に於ける既知の鋭い正則性と一致する。
• Colliander–KenigのAiry型方程式に対する手法を五次の場合に一般化した、新規のDuhamel境界強制作用素が構成された。
• 本稿では、$b < 1/2$における$X^{s,b}$空間での二重線形推定を証明し、これは初期値問題の場合に知られている鋭さにほぼ一致する。
• 左半直線では、エネルギー恒等式の構造上、境界条件を3つ（$u, u_x, u_{xx}$）必要とし、強制関数の構成には3×3行列系が用いられる。
• 重み付き$Z_{1}^{s,eta,b}$空間において、解作用素が収縮写像であることが示され、小規模なデータに対して解の存在と一意性が保証される。
• 境界データ$f, g, h$から強制関数$\gamma_1, \gamma_2, \gamma_3$が、$\lambda_j$が非共鳴条件を満たす限り、可逆行列$A$を用いて明示的に構成可能である。