Compressible Navier-Stokes-Landau-Lifshitz-Gilbert system: derivations and well-posedness

技术摘要：可压缩 Navier-Stokes-Landau-Lifshitz-Gilbert 系统：推导与适定性

问题陈述
本文针对可压缩 Navier-Stokes-Landau-Lifshitz-Gilbert（NS-LLG）系统的数学分析展开研究，该系统描述了磁弹性材料的动力学行为。这些材料表现出流体运动、弹性变形与磁化之间的耦合。尽管各个子系统（可压缩 Navier-Stokes 方程、Landau-Lifshitz-Gilbert 方程以及粘弹性流体）的分析理论已相当成熟，但完全耦合的可压缩系统的适定性问题在很大程度上仍未解决。具体而言，本文聚焦于建立该系统经典解的局部与全局存在性，解决非线性耦合、磁化矢量的几何约束（$|M|=1$）以及流体可压缩性所带来的挑战。

方法论
作者采用了一种多维度的分析方法：

1. 能量变分方法（EnVarA）： 系统首先利用 EnVarA 从基本原理推导得出。通过定义总能量为动能与亥姆霍兹自由能（包含弹性、磁性及外场贡献）之和，并应用力平衡原理（将作用泛函的变分导数与耗散泛函相等），作者严格推导出了控制方程。一个关键的运动学假设是：磁化矢量与物质点绑定，并随流输运，无独立旋转或拉伸（拉格朗日条件）。

2. 局部适定性（大初值）： 针对具有大光滑初值解的局部存在性，作者利用非线性能量方法。他们在索伯列夫空间（$H^s$，其中 $s \ge 3$）中推导了高阶先验估计。为了处理几何约束 $|M|=1$ 和非线性，他们构建了一个非线性迭代逼近方案。该方案受液晶模型先前研究的启发，在每一步迭代中保持球面约束，从而允许应用连续性论证来确立局部存在性与唯一性。

3. 全局适定性（小初值）： 针对无外磁场时靠近常数平衡态的全局存在性，作者利用涨落变量对系统进行了重构。关键步骤在于利用变形梯度张量 $F$ 的结构性质。通过引入势函数 $\psi$，使得逆变形梯度的涨落是无旋的（$\nabla \times \nabla \psi = 0$），他们揭示了系统弹性部分的一个额外耗散机制。

   • 微观 - 宏观分解： 由于可压缩性，磁化涨落的平均部分（$\bar{d}$）并不为零，这与可直接应用庞加莱不等式的不可压缩模型不同。作者将平均部分 $\bar{d}$ 与零均值部分 $d - \bar{d}$ 的估计分离开来，并借鉴了动理学方程流体动力学极限中的技术。
   • 瞬时能量泛函： 为了闭合全局能量估计，作者设计了特定的“瞬时”能量与耗散泛函（$E_{s;\delta,\eta,\epsilon}$ 和 $D_{s;\delta,\eta,\epsilon}$）。这些泛函包含了速度、密度和变形变量之间的交叉项（相互作用能），以控制由耦合产生的相互作用耗散率。参数 $\delta, \eta, \epsilon$ 经过精心选择，以确保这些泛函的正定性以及耗散项的主导地位。

主要贡献与结果

1. 模型的推导： 本文通过 EnVarA 严格推导了可压缩 NS-LLG 系统，明确展示了变形梯度如何影响磁化运动学，并导致了与先前模型不同的控制方程。

2. 局部适定性： 定理 1.1 确立了具有有限初始能量的可压缩 NS-LLG 系统经典解的局部时间存在性与唯一性。该结果适用于大初值，前提是初始密度严格为正。

3. 全局适定性： 定理 1.2 证明了当外磁场为零时，在常数平衡态 $(1, 0, I, M_e)$ 附近解的全局时间存在性与唯一性。

   • 放宽的结构条件： 一项重要贡献是放宽了初始结构条件。先前关于可压缩粘弹性流体的研究（例如 Qian 和 Zhang [48]）要求多个结构条件（例如 $\nabla \cdot (\rho_0 F_0^\top) = 0$，$\nabla \cdot (F_0^\top / \det F_0) = 0$，以及特定的无旋条件）。本文证明，单一结构条件 $\rho_0 \det F_0 = 1$（意味着对所有时间 $\rho \det F = 1$）足以确立小初值的全局适定性。
   • 耗散机制： 作者识别并利用了一种源于胡克线性弹性柯西 - 格林应力张量的耗散效应，这使得能够在不需要先前文献中那些限制性初始条件的情况下控制变形梯度涨落。

意义
本文通过弥合可压缩流体动力学与磁化演化之间的差距，显著推进了磁弹性流体的分析理论。通过将所需的初始结构条件简化为基本物理约束 $\rho_0 \det F_0 = 1$，研究结果拓宽了这些耦合系统全局存在理论的适用范围。该工作还提供了一个稳健的框架，用于处理可压缩环境下的几何约束 $|M|=1$，这区别于不可压缩对应物（在后者中，由于速度散度为零，此类约束通常更容易处理）。所发展的技术，特别是针对磁化的微观 - 宏观分解以及针对可压缩粘弹性 - 磁耦合的瞬时能量泛函构建，为分析类似的复杂多物理场系统提供了新工具。

范围说明
结果严格属于理论范畴，聚焦于索伯列夫空间中经典解的存在性与唯一性。本文未提出新的实验装置、数值模拟或超出磁弹性材料数学建模之外的具体工程应用。当磁场消失时模型简化为粘弹性情况，这一点被指出是与现有流体模型的一致性检验。