[论文解读] 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]

研究动机与目标

• 将 Métivier 的 Lax-Mizohata 定理推广至具有强或弱双曲性缺陷的系统。
• 在主符号具有恒定重数的纯虚特征值条件下，建立 $ H^s $ 解的精确不适定性阈值。
• 统一并推广先前关于具有缺陷双曲性的非线性系统不稳定性的研究结果。
• 证明在主符号谱条件满足时，即使初始 Sobolev 正则性存在，也无法避免不适定性。
• 通过拟微分演算构建一个精细化框架，以分析双曲型、正/负椭圆子系统中的正则化效应。

提出的方法

• 基于主符号的谱，将拟线性化系统分解为双曲型、正椭圆型和负椭圆型子系统。
• 通过拟微分算子对正椭圆部分实施时间向前正则化，对负椭圆部分实施时间向后正则化。
• 利用纯虚特征值的半单性与恒定重数，确保在所有频率上保持一致的谱分解。
• 利用 G {a}rding 不等式与拟微分算子的估计，控制各子系统中的正则性提升。
• 迭代正则化论证，证明假设存在的 $ H^s $ 解必须获得超过 $ s $ 的正则性，从而与先前的不适定性定理矛盾。
• 通过特征多项式结构及 $ t=0 $ 处特征值的 $ C^1 $ 分岔，分析实特征值向复特征值的谱过渡。

实验结果

研究问题

• RQ1 当主符号满足何种谱条件时，全非线性系统的初值问题无法存在局部 $ H^s $ 解？
• RQ2 主符号中具有恒定重数与半单性的纯虚特征值如何影响缺陷双曲系统中的正则性传播？
• RQ3 能否系统性地利用正负椭圆子系统中的正则化效应，推导出与已知不适定性阈值的矛盾？
• RQ4 当初始正则性任意时，不适定性阈值 $ s > s_0 + d/2 $ 能否被进一步精确化？
• RQ5 特征值从实轴出发的 $ C^1 $ 分岔在多大程度上影响非线性双曲系统的适定性？

主要发现

• 当主符号存在强或弱双曲性缺陷时，无论初始 Sobolev 正则性 $ \sigma > 0 $ 如何，初值问题均不存在局部 $ H^s $ 解，其中 $ s > s_0 + d/2 $。
• 该结果成立的条件是主符号的纯虚特征值在 $ \mathbb{S}^{d-1} $ 上具有半单性与恒定重数。
• 阈值 $ s_0 > 0 $ 取决于双曲性缺陷的严重程度，在椭圆情形下有 $ s_0 \geq 2 $。
• 证明依赖于双曲型与椭圆型子系统中的正则性提升，经迭代后与文献 [12] 中的定理 1 矛盾。
• 正则化效应在特征值实部为正时向前推进，为负时向后推进，从而实现迭代正则性改善。
• 结果恢复并推广了 Métivier 的椭圆性定理，以及 Lerner、Morimoto、Xu、Nguyen 与 Texier 在缺陷系统不稳定性方面的先前工作。