[论文解读] Well-posedness of the free boundary problem in compressible elastodynamics

Yuri Trakhinin|arXiv (Cornell University)|May 31, 2017

Navier-Stokes equation solutions参考文献 30被引用 3

一句话总结

该论文在两种不同条件下建立了可压缩弹塑性动力学自由边界问题的局部时间适定性：一是初始边界处形变梯度列非共线，二是经典Rayleigh-Taylor符号条件成立。论文证明了光滑解的存在性与唯一性，并构建了一个Hadamard型不适定性例子，表明当两种条件均不成立时会出现不稳定现象，从而证实了适定性中至少一个条件的必要性。

ABSTRACT

We study the free boundary problem for the flow of a compressible isentropic inviscid elastic fluid. At the free boundary moving with the velocity of the fluid particles the columns of the deformation gradient are tangent to the boundary and the pressure vanishes outside the flow domain. We prove the local-in-time existence of a unique smooth solution of the free boundary problem provided that among three columns of the deformation gradient there are two which are non-collinear vectors at each point of the initial free boundary. If this non-collinearity condition fails, the local-in-time existence is proved under the classical Rayleigh-Taylor sign condition satisfied at the first moment. By constructing an Hadamard-type ill-posedness example for the frozen coefficients linearized problem we show that the simultaneous failure of the non-collinearity condition and the Rayleigh-Taylor sign condition leads to Rayleigh-Taylor instability.

研究动机与目标

• 建立可压缩弹塑性动力学自由边界问题在局部时间内的光滑解的存在性与唯一性。
• 识别确保适定性的初始数据的最小结构条件。
• 通过构建不适定性例子，确定非共线性条件与Rayleigh-Taylor符号条件的紧致性。
• 阐明形变梯度列结构在自由边界问题稳定性中的作用。

提出的方法

• 在Euler坐标系下，利用状态变量 (p, v, F₁, F₂, F₃) 的对称双曲系统 (4) 建立可压缩弹塑性动力学系统。
• 施加边界条件：自由边界处压力为零，且形变梯度的列与边界相切。
• 应用Lagrangian型变换，将自由边界问题转化为固定区域问题以进行分析。
• 利用能量估计与Kreiss对称化框架，推导线性化问题的先验估计。
• 对冻结系数线性化问题进行傅里叶分析，推导色散关系并识别不稳定模态。
• 通过分析当非共线性与Rayleigh-Taylor条件同时不成立时是否存在指数增长模态，构建一个Hadamard型不适定性例子。

实验结果

研究问题

• RQ1 在初始形变梯度满足何种条件下，可压缩弹塑性动力学的自由边界问题能存在唯一的光滑解（局部时间）？
• RQ2 当Rayleigh-Taylor符号条件不成立时，形变梯度的两个列非共线是否足以保证适定性？
• RQ3 当非共线性与Rayleigh-Taylor符号条件同时被违反时，适定性会发生什么变化？
• RQ4 能否构建一个Hadamard型不适定性例子，以证明在两种条件同时失效时的不稳定性？
• RQ5 对形变梯度的最小结构假设是什么，仍能保证先验估计与适定性？

主要发现

• 若初始自由边界处形变梯度的至少两列非共线，则可证明光滑解的局部时间存在性与唯一性。
• 若非共线性条件不成立，但初始时刻满足经典Rayleigh-Taylor符号条件，则适定性依然成立。
• 当非共线性与Rayleigh-Taylor条件同时不成立时，针对冻结系数线性化问题构建了一个Hadamard型不适定性例子，表明出现Rayleigh-Taylor不稳定性。
• 不适定性源于傅里叶分析中存在指数增长模态，特别是当形变梯度列共线且Rayleigh-Taylor条件被违反时。
• 分析结果确认，非共线性与Rayleigh-Taylor条件必须联合成立才能保证稳定性，当其中一个条件不成立时，另一个单独无法保证稳定性。
• 通过将全非线性自由边界问题约化为固定区域问题并建立先验估计，结果可推广至完整的非线性自由边界问题，从而在所述条件下确立了适定性。