[论文解读] Low regularity ill-posedness for elastic waves driven by shock formation

Xinliang An, Haoyang Chen+1 more|arXiv (Cornell University)|Mar 6, 2020

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

一句话总结

本文证明了三维弹性波方程的柯西问题在索伯列夫空间 $ H^3(\mathbf{R}^3) $ 中是不适定的，表明由于瞬时冲击波的形成，低正则性解无法存在。作者将林德布洛姆的标量波结果推广，并将克里斯托杜卢的冲击波形成理论扩展至具有多个波速的非严格双曲系统，通过结合几何与代数分析方法，研究该系统结构的特性。

ABSTRACT

In this paper, we construct counterexamples to the local existence of low-regularity solutions to elastic wave equations in three spatial dimensions (3D). Inspired by the recent works of Christodoulou, we generalize Lindblad's classic results on the scalar wave equation by showing that the Cauchy problem for 3D elastic waves, a physical system with multiple wave-speeds, is ill-posed in $H^3(\mathbb{R}^3)$. We further prove that the ill-posedness is caused by instantaneous shock formation, which is characterized by the vanishing of the inverse foliation density. The main difficulties of the 3D case come from the multiple wave-speeds and its associated non-strict hyperbolicity. We obtain the desired results by designing and combining a geometric approach and an algebraic approach, equipped with detailed studies and calculations of the structures and coefficients of the corresponding non-strictly hyperbolic system. Moreover, the ill-posedness we depict also applies to 2D elastic waves, which corresponds to a strictly hyperbolic case.

研究动机与目标

• 研究三维弹性波方程在 $ H^3(\mathbb{R}^3) $ 中低正则性解的局部存在性，该情形下经典适定性结果可能失效。
• 确定冲击波形成——以逆叶状结构密度消失为特征——是否为弹性波系统中不适定性的根本机制。
• 将林德布洛姆针对标量波方程的尖锐反例推广至具有多个波速和非严格双曲性的物理相关系统。
• 将克里斯托杜卢的冲击波形成理论从标量方程和严格双曲系统推广至具有多个波速的弹性波情形。
• 证明即使在二维情形下，该不适定性机制依然存在，尽管此时系统为严格双曲，表明冲击波驱动的低正则性解失效具有鲁棒性。

提出的方法

• 作者采用几何方法，并结合对具有多个波速的拟线性弹性波系统非线性结构的详细代数分析。
• 通过研究相关波算子的结构与系数，分析系统的非严格双曲性，特别关注逆叶状结构密度的退化性。
• 通过在 $ H^3(\mathbb{R}^3) $ 中构造显式反例，证明在该正则性类中，对于一般初始数据，不存在局部解。
• 该方法借鉴克里斯托杜卢关于三维拟线性波方程冲击波形成的框架，并将其适配至具有多个波速的系统。
• 通过将区域分解为 $ I_1 $ 至 $ I_6 $，估计位移梯度的 $ L^2 $-范数，从而控制 $ H^{1/2} $-半范数。
• 分析包括对位移梯度及其导数的精确逐点估计，利用对数奇点与截断函数来模拟冲击波行为。

实验结果

研究问题

• RQ1 三维弹性波的柯西问题在 $ H^3(\mathbb{R}^3) $ 中是否不适定，即使初始数据很小？
• RQ2 冲击波形成——以逆叶状结构密度消失为标志——是否驱动该系统中的不适定性？
• RQ3 用于标量波方程的反例技术能否推广至具有多个波速和非严格双曲性的系统？
• RQ4 该不适定性机制在扰动下是否稳定，包括在二维情形下（此时系统为严格双曲）？
• RQ5 弹性波系统的非严格双曲性如何影响低正则性索伯列夫空间中解的存在性与正则性？

主要发现

• 三维弹性波的柯西问题在 $ H^3(\mathbb{R}^3) $ 中是不适定的，即在该正则性类中，对一般初始数据不存在局部解。
• 不适定性由瞬时冲击波形成引起，其特征为逆叶状结构密度的消失。
• 反例构造依赖于针对弹性波系统非严格双曲结构量身定制的几何与代数技术组合。
• 作者证明了相同的不适定性机制也适用于二维弹性波，尽管此时系统为严格双曲。
• 分析表明，局部存在性失效是由多个波速的非线性耦合及其导致的系统双曲结构退化所驱动。
• 位移梯度的 $ H^{1/2} $-半范数的定量估计显示，其增长与 $ \theta \theta^{1/4} (1 + |\text{ln}(6\theta/5)|^\theta + |\text{ln}(9\theta/5)|^\theta) $ 成正比，表明在冲击波形成时刻附近正则性发生损失。