[論文レビュー] Oleinik type estimates for the Ostrovsky-Hunter eequation

Giuseppe Maria Coclite, Lorenzo di Ruvo|arXiv (Cornell University)|Mar 10, 2014

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

ひとこと要約

本稿では、Kruźkov型のエンタルピー不等式の代わりにOleïnik型の推定を用いることで、Ostrovsky-Hunter方程式のエントロピー解の存在および一意性を確立する。非局所的双対問題を導入することで、初期条件およびフラックス条件が適切である場合、衝撃波は値の低下を伴うジャンプである場合にのみ許容可能であることが示され、これは粘性のないBurgers方程式と類似している。この結果、有界で全域的に定義された解が得られ、減衰性および正則性の性質を満たす。

ABSTRACT

The Ostrovsky-Hunter equation provides a model for small-amplitude long waves in a rotating fluid of finite depth. It is a nonlinear evolution equation. In this paper we study the well-posedness for the Cauchy problem associated to this equation within a class of bounded discontinuous solutions. We show that we can replace the Kruzkov-type entropy inequalities by an Oleinik-type estimate and prove uniqueness via a nonlocal adjoint problem. An implication is that a shock wave in an entropy weak solution to the Ostrovsky-Hunter equation is admissible only if it jumps down in value (like the inviscid Burgers equation).

研究の動機と目的

• 有界な不連続解の空間におけるOstrovsky-Hunter方程式の初期値問題の適切な定式化を確立すること。
• 一意性を証明するために、標準的なKruźkov型のエンタルピー不等式の代わりにOleïnik型推定を用いること。
• エントロピー解における衝撃波が、粘性のないBurgers方程式と類似した、値の低下を伴うジャンプである場合にのみ許容可能であることを示すこと。
• 初期データが $ L^1 \cap L^∞ $ および $ P_0 \in L^2 $ であり、全質量がゼロである条件下で、解の全域的定義および有界性を保証すること。
• この非局所的設定において、変数の二重化法に限界があることを補うために、非局所的双対問題フレームワークを構築すること。

提案手法

• 一意性を強制するために、Kruźkov型エンタルピー不等式の代わりにOleïnik型推定を用いること。
• Ostrovsky-Hunter方程式を積分微分形式で定式化する：$ \partial_t u + u\partial_x u = \gamma \int_{-\infty}^x u(t,y)dy $、ここで $ P = \int_{-\infty}^x u $ である。
• 双対形式を解析し、エネルギー推定を用いて一意性を導出するために、非局所的双対問題を導入すること。
• フラックス $ f $ の厳密な凸性に基づく補間コンパクトネスの議論を適用し、弱収束性および存在性を保証すること。
• 解の近似および極限への移行を図るために、滑らか化された解 $ \phi_\varepsilon $、$ \psi_\varepsilon $ および正則化関数 $ b_\varepsilon $ を用いること。
• 弱形式における極限への移行を実現するために、$ \psi_\varepsilon $ に対する $ L^2 $ および $ H^1 $ 推定に加え、$ L^\infty $ および $ L^1 $ 収束を組み合わせること。

実験結果

リサーチクエスチョン

• RQ1 Ostrovsky-Hunter方程式の解析において、Kruźkov型エンタルピー不等式枠組みをOleïnik型推定に置き換えることは可能か？
• RQ2 非局所的源項を伴うOstrovsky-Hunter方程式に対して、有界なエントロピー解の存在および一意性を保証する条件は何か？
• RQ3 Ostrovsky-Hunter方程式のエントロピー解において、衝撃波がどのような条件下で許容可能か？
• RQ4 方程式の非局所的構造は、変数の二重化法のような標準的手法の適用にどのような影響を与えるか？
• RQ5 フラックス $ f $ の厳密な凸性は、補間コンパクトネスを用いた正則性および一意性の導出において、どのように機能するか？

主な発見

• 初期データ $ u_0 $、$ f $、$ P_0 $ に関する所定の仮定の下で、Ostrovsky-Hunter方程式の初期値問題は $ L^\infty((0,T)\times\mathbb{R}) $ 内に一意のエントロピー解を有する。
• Oleïnik型推定 $ \frac{u(t,x) - u(t,y)}{x - y} \leq C(T)\left(\frac{1}{t} + 1\right) $ はエントロピー解の条件と同値であり、一意性を保証する。
• エントロピー解における衝撃波は、粘性のないBurgers方程式と同様に、値の低下を伴うジャンプである場合にのみ許容可能である。
• 非局所的双対問題手法は、この定式化では失敗する変数の二重化法に代わって、効果的に機能した。
• $ u_0 $ および $ P_0 $ の準二次的成長および減衰仮定のおかげで、解は有界であり、全域的に定義されたままである。これは $ P_0 \in L^2 $ を保証する。
• 滑らか化された解の極限的議論および $ L^1 $ および $ H^2 $ 収束を用いることで、エントロピー解とOleïnik型推定との同値性が確立された。