[論文レビュー] Third order semilinear dispersive equations related to deep water waves

Hiroyuki Chihara|ArXiv.org|Apr 1, 2004

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

ひとこと要約

本稿では、滑らかでない係数をもつ擬微分作用素に基づく精錬されたエネルギー法を用いて、深層重力波をモデル化する3階非線形分散型方程式の初期値問題について、局所的時間内での解の存在および一意性の定理を確立する。主な結果は、分散関係の非捕獲条件のもとで、$ H^s(\mathbb{R}^2) $ 上での適切な定義が得られることであり、古典的エネルギー法が無効となる導出損失を克服する。

ABSTRACT

We present local existence theorem of the initial value problem for third order semilinear dispersive partial differential equations in two space dimensions. This type of equations arises in the study of gravity wave of deep water, and cannot be solved by the classical energy method. To solve the initial value problem, we make full use of pseudodifferential operators with nonsmooth coefficients.

研究の動機と目的

• 深水波動のダイナミクスに由来する3階非線形分散型方程式のクラスについて、初期値問題の局所的解の存在および一意性を確立すること。
• 古典的エネルギー法の適用を不可能にする非線形項における導出損失を克服すること。
• 高度な擬微分作用素技術を用いて、$ s > 3 $ におけるソボレフ空間 $ H^s(\mathbb{R}^2) $ における解の存在理論を厳密に構築すること。
• 滑らかでない係数および非局所的非線形項（例：$ R_1 = \partial_1(-\Delta)^{-1/2} $）をもつ方程式に対してもエネルギー法の適用範囲を拡張すること。

提案手法

• 非線形項における導出損失を扱うために、擬微分計算に基づく修正されたエネルギー法が用いられる。
• この方法は、線形伝播子の局所的滑らか化効果を保証する非捕獲条件 $ \nabla_{\xi} p_0(\xi) \neq 0 $（$ \xi \neq 0 $）に依存する。
• 非線形項の特異性を扱うために、正則化近似 $ u_\varepsilon $ が導入され、特にリーマン型作用素 $ R_1 = \partial_1(-\Delta)^{-1/2} $ を含む項が取り扱われる。
• 交換子推定とグロワールの不等式を用いて、$ H^{s-1} $-ノルムにおける事前推定が得られ、$ \varepsilon $ に関して一様有界性が得られる。
• 弱*収束 $ L^\infty(0,T; H^s) $ および $ C([0,T]; H^{s-\delta}_{\text{loc}}) $ における強い収束が用いられ、極限に移行して解が得られる。
• 線形化系の $ L^2 $-適切性の議論を用いて、線形化作用素の初期値問題の適切性を活用し、一意性が確立される。

実験結果

リサーチクエスチョン

• RQ1 古典的エネルギー法が導出損失のため適用不能となる場合、深水波をモデル化する3階非線形分散型方程式の初期値問題は解けるか？
• RQ2 線形伝播子 $ e^{-tp(\partial)} $ が局所的滑らか化効果を示すための分散関係の条件は何か？
• RQ3 滑らかでない係数および非局所的非線形項（例：$ R_1 \partial_1 |u|^2 $）をもつ方程式に対しても、エネルギー法の技術を拡張可能か？
• RQ4 導出損失項が存在するにもかかわらず、$ s > 3 $ におけるソボレフ空間 $ H^s(\mathbb{R}^2) $ での局所的適切性は確立可能か？

主な発見

• 初期値問題 (1)–(2) は、任意の初期データ $ u_0 \in H^s(\mathbb{R}^2) $（$ s > 3 $）に対して、一意な解 $ u \in C([-T,T]; H^s(\mathbb{R}^2)) $ をもつ。
• 解は時間的に局所的であり、$ T = T(\|u_0\|_s) > 0 $ であり、初期データのソボレフノルムにのみ依存する。
• 非捕獲条件 $ \nabla_{\xi} p_0(\xi) \neq 0 $（$ \xi \neq 0 $）は、線形伝播子の局所的滑らか化効果に必要かつ十分であり、存在結果にとって不可欠である。
• 擬微分作用素の計算および交換子推定を用いて、$ a_0 $ や $ \operatorname{Im}(a_1) $ が非ゼロであっても、導出損失項を効果的に制御できる。
• 演算子 $ \langle D \rangle^\theta \partial^\alpha $ のタイプの正則性の精錬により、解が $ H^s(\mathbb{R}^2) $ 値をとる連続関数として得られ、弱*連続性を超える。
• 解はクラス $ L^\infty(0,T; H^s(\mathbb{R}^2)) $ で一意であり、初期データの小さな摂動に対して安定である。