[论文解读] Formation of shocks in higher-order nonlinear dispersion PDEs: nonuniqueness and nonexistence of entropy

Victor A. Galaktionov|ArXiv.org|Feb 10, 2009

Advanced Mathematical Physics Problems参考文献 18被引用 8

一句话总结

本文研究了三阶非线性色散PDE $ u_t = (u u_x)_{xx} $ 中的激波形成问题，证明在有限时间梯度爆破后，可通过满足广义Rankine–Hugoniot条件的自相似延拓构造出无穷多组不连续激波型解。关键结果是爆破后解的非唯一性，使得针对该方程的任何基于熵的选择理论在根本上都不可能成立，这与经典守恒律（如无粘Burgers方程）形成鲜明对比。

ABSTRACT

It is shown that third-order 1D nonlinear dispersion equations admit single point gradient catastrophe, described by blow-up-type similarity solutions. After blow-up, the solutions admit shock wave-type self-similar extensions. Snce such extensions are not unique, this implies the principle nonuniqueness of shock-type solutions and also nonexistence of any entropy-type description of proper unique solutions. A difficult free-boundary setting, with extra conditions specified on shocks, are necessary to restore uniqueness in such problems.

研究动机与目标

• 分析高阶非线性色散PDE中有限时间激波奇点的微观结构，重点关注最小的三阶模型 $ u_t = (u u_x)_{xx} $。
• 研究在爆破时间之后是否存在唯一解的延续，特别是通过类似熵的选择原理是否可行。
• 确定Oleinik与Kruzhkov的经典熵理论——在一阶守恒律中成功应用——是否可推广至具有类似激波特性的高阶非线性PDE。
• 证明该PDE的柯西问题在爆破后存在无穷多激波型延拓，从而破坏唯一解的存在性。

提出的方法

• 构造在有限时间 $ t \to T^{-} $ 内出现梯度爆破的自相似解，其最终局部有界轮廓为 $ u(x,T^{-}) $。
• 从在激波邻域对PDE进行积分，推导出激波特性的广义Rankine–Hugoniot条件。
• 分析 $ t > T $ 时的相似解，表明存在多个满足广义跳跃条件的不连续激波延拓。
• 使用相似变量 $ y = x / (-t)^\beta $ 将PDE约化为ODE系统，从而显式构造爆破后行为的轮廓函数 $ F(y) $。
• 研究具有各种条件（包括激波处的Neumann型条件 $ u_x = 0 $）的自由边界问题（FBPs），以评估适定性与唯一性。
• 与一阶Euler方程 $ u_t + u u_x = 0 $ 进行比较，后者由于一维相空间和显式ODE积分而具有唯一性，凸显高阶PDE在结构上的根本差异。

实验结果

研究问题

• RQ1 能否为三阶非线性色散PDE $ u_t = (u u_x)_{xx} $ 的柯西问题在爆破时间 $ t = T $ 之后定义唯一的熵解？
• RQ2 为何尽管具有类似的激波特性和形成机制，Oleinik与Kruzhkov的经典熵理论仍不适用于此高阶PDE？
• RQ3 自相似解在确定梯度爆破后激波特性的结构中起何种作用？
• RQ4 在 $ t > T $ 时可构造出多少组不同的激波延拓？其存在性受何种条件控制？
• RQ5 一阶与高阶PDE之间存在何种结构性差异，导致爆破后无法存在唯一解的延拓？

主要发现

• 在 $ t > T $ 时存在无穷多组满足广义Rankine–Hugoniot条件的不连续激波型相似延拓。
• 爆破后解的非唯一性源于自相似轮廓的非唯一性，使得任何基于熵的选择原理均无法实现。
• 柯西问题 $ u_t = (u u_x)_{xx} $ 在爆破后不承认唯一解，即使在广义跳跃条件下亦然。
• 与一阶Euler方程不同，后者因一维相空间和显式ODE积分而具有唯一性，而高阶PDE缺乏此类结构约束。
• 唯一解延拓的缺失意味着任何试图构建类似Oleinik与Kruzhkov的熵理论来处理该PDE的努力在根本上都是徒劳的。
• 该结果可推广至其他高阶非线性色散方程，表明此类PDE族中熵基唯一性存在普遍障碍。