[论文解读] On weak solutions to the 2D Savage-Hutter model of the motion of a gravity driven avalanche flow

Eduard Feireisl, Piotr Gwiazda+1 more|arXiv (Cornell University)|Feb 22, 2015

Navier-Stokes equation solutions参考文献 51被引用 5

一句话总结

本文通过凸积分法证明了二维Savage-Hutter雪崩模型存在无穷多组弱解，揭示了在能量不等式不成立时解的非唯一性。尽管存在非唯一性，当强制满足能量不等式时，弱解与强解的唯一性仍成立，从而确保了光滑解的物理一致性。

ABSTRACT

We consider the Savage-Hutter system consisting of two-dimensional depth-integrated shallow water equations for the incompressible fluid with the Coulomb-type friction term. Using the method of convex integration we show that the associated initial-value problem possesses infinitely many weak solutions for any finite-energy initial data. On the other hand, the problem enjoys the weak-strong uniqueness property provided the system of equations is supplemented with the energy inequality.

研究动机与目标

• 解决二维Savage-Hutter系统弱解存在性与唯一性的开放问题，该系统是重力驱动雪崩的深度平均浅水模型。
• 研究多值库仑摩擦项的存在是否阻碍弱解的存在或导致解的非唯一性。
• 确定能量不等式是否能在系统具有双曲性质且可能存在激波的前提下，恢复弱解类中的唯一性。
• 将凸积分法——此前用于欧拉方程的方法——推广至包含非光滑摩擦项的Savage-Hutter系统。
• 探讨非唯一性对雪崩流建模的影响，以及能量耗散在选择物理上合理的解中的作用。

提出的方法

• 将Savage-Hutter系统表述为带有非光滑、多值摩擦项的双曲守恒律系统，该摩擦项涉及速度方向的单位向量。
• 通过积分恒等式(1.5)和(1.6)定义弱解，引入摩擦方向的多值选择${\bf B}_{\bf u}$。
• 应用凸积分法，为任意有限能量初值构造无穷多组弱解，利用速度场和高度场中的振荡微观结构。
• 将能量不等式(3.2)作为选择准则，以恢复唯一性，从而区分物理上合理的解与非物理的振荡解。
• 利用相对能量不等式(3.4)证明弱-强唯一性，表明若强解存在，则任一耗散型弱解必与之重合。
• 改编De Lellis与Székelyhidi关于不可压缩欧拉方程凸积分技术的方法至Savage-Hutter系统，处理其非线性与多值摩擦项。

实验结果

研究问题

• RQ1 Savage-Hutter系统是否对任意有限能量初值均存在无穷多组弱解，尽管其具有双曲性和非光滑性？
• RQ2 凸积分法能否成功应用于具有多值摩擦项的系统，如Savage-Hutter模型中的库仑型摩擦？
• RQ3 当强制满足能量不等式时，Savage-Hutter系统中是否仍保持弱-强唯一性？
• RQ4 能量不等式在消除通过凸积分构造的非物理振荡弱解中起何种作用？
• RQ5 弱解的非唯一性如何影响雪崩流的物理建模？能量耗散是否可作为选择物理合理解的原则？

主要发现

• 通过凸积分法证明，Savage-Hutter系统对任意有限能量初值均存在无穷多组弱解，表明弱解类中存在唯一性缺失。
• 能量不等式(3.2)起到选择准则的作用：在无穷多组弱解中，仅满足该不等式的解才具有物理可接受性。
• 弱-强唯一性成立：若强解存在，则其为唯一的耗散型弱解，确保在能量约束下与经典解的一致性。
• 相对能量不等式(3.4)在证明唯一性中起关键作用，表明弱解与强解之间的相对能量随时间趋于零。
• 凸积分法成功处理了多值摩擦项${\bf B}_{\bf u}$，其定义为：当速度非零时取速度方向的单位向量，当速度为零时取整个单位球。
• 该结果可推广至其他摩擦模型，如速度相关项（例如$h|{\bf u}|{\bf u}$），表明其在具有更复杂流变性质的雪崩模型中具有更广泛的应用前景。