[論文レビュー] On Métivier's Lax-Mizohata theorem and extensions to weak defects of hyperbolicity. Part two

Karim Ndoumajoud, Benjamin Texier|arXiv (Cornell University)|Mar 3, 2021

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

ひとこと要約

本稿は、強いまたは弱い双曲的欠陥を有する完全非線形双曲型系について、鋭い不適切性結果を確立する。主記号の固有値スペクトル—特に定数重複度を有する純虚数固有値と半単純構造—を分析することで、初期正則性にかかわらず、$ s > s_0 + d/2 $ の $ H^s $ 局所解は存在しないことを証明する。これは、パラ微分型正則化法と反証による反復的正則性向上の議論により、Métivier よりもおよび Lerner らの研究を拡張するものである。

ABSTRACT

We continue our study of initial-value problems for fully nonlinear systems exhibiting strong or weak defects of hyperbolicity. We prove that, regardless of the initial Sobolev regularity, the initial-value problem has no local $H^s$ solutions, for $s > s_0 + d/2,$ if the principal symbol has a strong, or even weak, defect of hyperbolicity, and the purely imaginary eigenvalues of the principal symbol are semi-simple and have constant multiplicity. The index $s_0 > 0$ depends on the severity of the defect of hyperbolicity. These results recover and extend previous work from G. Métivier [{\it Remarks on the well posedness of the nonlinear Cauchy problem,} 2005], N.Lerner, Y. Morimoto, C.-J. Xu [{\it Instability of the Cauchy-Kovalevskaya solution for a class of non-linear systems}, 2010] and N. Lerner, T. Nguyen, B. Texier, {\it The onset of instability in first-order systems}, 2018]

研究の動機と目的

• 強いか弱いかの双曲的欠陥を有する系への Lax-Mizohata 定理のメティビエの結果への拡張。
• 主記号に純虚数固有値が定数重複度を有する場合の $ H^s $ 解に対する鋭い不適切性閾値の確立。
• 非線形系における双曲的欠陥に起因する不安定性に関する先行研究の統合と一般化。
• 主記号のスペクトル条件のもとで、初期ソボレフ正則性が不適切性を防げないことを示すこと。
• 双曲型および正負の楕円型部分系における正則化効果を分析するための洗練された枠組みを提示すること。

提案手法

• 主記号のスペクトルに基づき、パラ線形化系を双曲型、正の楕円型、負の楕円型部分系に分解する。
• 正の楕円型部分には時空前方への正則化を、負の楕円型部分には時空後方への正則化を、パラ微分型作用素を用いて適用する。
• 純虚数固有値が半単純かつ定数重複度を有することを用いて、周波数全域で一貫したスペクトル分解を保証する。
• ガーディングの不等式およびパラ微分型作用素に関する推定式を用いて、各部分系における正則性向上を制御する。
• 正則化議論を反復して適用し、仮定された $ H^s $ 解が $ s $ を超える正則性を獲得することを示し、これにより先行の不適切性定理と矛盾を生じる。
• 特性多項式の構造と $ t=0 $ における固有値の $ C^1 $ 分岐を用いて、実固有値から複素固有値へのスペクトル遷移を分析する。

実験結果

リサーチクエスチョン

• RQ1 完全非線形系の初期値問題が局所 $ H^s $ 解をもたないための、主記号におけるスペクトル的条件は何か？
• RQ2 主記号に定数重複度を有する純虚数固有値と半単純性が、欠陥を有する双曲型系における正則性伝搬に与える影響は何か？
• RQ3 正および負の楕円型部分系における正則化効果を体系的に利用することで、既知の不適切性閾値と矛盾を導くことは可能か？
• RQ4 初期正則性が任意であるとき、不適切性閾値 $ s > s_0 + d/2 $ はどの程度鋭くできるか？
• RQ5 固有値が実軸から $ C^1 $ 分岐することで、非線形双曲型系の適切性にどのような影響を与えるか？

主な発見

• 主記号に強いまたは弱い双曲的欠陥が存在する場合、初期ソボレフ正則性 $ \sigma > 0 $ にかかわらず、$ s > s_0 + d/2 $ の局所 $ H^s $ 解は存在しない。
• この結果は、純虚数固有値が半単純かつ $ \mathbb{S}^{d-1} $ 全体で定数重複度を有するという仮定のもとで成り立つ。
• $ s_0 > 0 $ は双曲的欠陥の深刻さに依存し、楕円的状況では $ s_0 \geq 2 $ である。
• 証明は、双曲型および楕円型部分系における正則性向上に依拠しており、反復により [12] の定理1と矛盾を生じる。
• 正則化効果は、固有値の正の実部に対しては時空前方、負の実部に対しては時空後方へ作用し、反復的正則性向上を可能にする。
• 本結果は、Métivier の楕円的定理および Lerner, Morimoto, Xu, Nguyen, Texier の欠陥系における不安定性に関する先行研究を回復・拡張する。