[论文解读] Strict Physicality of Global Weak Solutions of a Navier-Stokes Q-tensor System with Singular Potential

Mark Wilkinson|arXiv (Cornell University)|Nov 26, 2012

Liquid Crystal Research Advancements参考文献 17被引用 7

一句话总结

本文建立了带奇异势的纳维-斯托克斯 Q-张量系统全局时间弱解的存在性，通过将 Q-张量的特征值限制在物理区间内，确保了解的严格物理性。借助 Ball-Majumdar 势的凸性与比较原理，作者证明了二维情况下的更高正则性及极限下的一致有界性，从而实现强收敛，确认了解的物理有效性。

ABSTRACT

We study the existence, regularity and so-called `strict physicality' of weak solutions of a coupled Navier-Stokes Q-tensor system which is proposed as a model for the incompressible flow of nematic liquid crystal materials. An important contribution to the dynamics comes from a singular potential introduced by John Ball and Apala Majumdar (Nematic Liquid Crystals: From Maier-Saupe to a Continuum Theory, Mol. Cryst. Liq. Cryst., Vol. 525: pp. 1-11, 2010) which replaces the commonly employed Landau-de Gennes bulk potential. This is built into our model to ensure that a natural physical constraint on the eigenvalues of the Q-tensor order parameter is respected by the dynamics of the system.

研究动机与目标

• 建立带奇异势的耦合纳维-斯托克斯 Q-张量系统全局时间弱解的存在性，该奇异势对 Q-张量特征值施加物理约束。
• 证明这些弱解满足‘严格物理性’，即其特征值在所有时间均保持在物理可接受区间内。
• 通过利用奇异势的物理性与凸性，在二维空间中证明全局弱解的更高正则性。
• 通过截断问题与强解构造严格的逼近方案，推导出对紧致性论证至关重要的统一有界性。
• 通过收敛性与能量估计，确保极限弱解继承物理性与正则性特征。

提出的方法

• 利用 Ball-Majumdar 奇异势，这是一种对迹为零的对称矩阵的凸映射，以确保 Q-张量的特征值保持在物理区间内。
• 采用伽辽金逼近方案，通过有限维截断构造近似解 $ Q^{(M)} $ 与 $ u^{(M)} $，求解系统的正则化版本。
• 在近似解 $ Q^{(M)} $ 与相关抛物型系统强解 $ R^{(M)} $ 之间应用比较原理，推导出 $ L^rown\text{infty} $ 有界性。
• 为近似解推导涉及 $ \nabla u^{(M)} $、$ \nabla\triangle Q^{(M)} $ 与非线性项的高阶能量恒等式，进而导出微分不等式。
• 利用 Ladyzhenskaya 不等式与对 $ \nabla u^{(M)} $、$ \nabla Q^{(M)} $ 与 $ \triangle Q^{(M)} $ 的统一有界性，控制非线性项并导出 Gronwall 类型估计。
• 应用 Aubin-Lions 紧致性定理，提取 $ L^2_t H^2_x $ 与 $ L^2_t H^1_{\text{div}} $ 中的强收敛子列，确保极限满足弱意义下的系统方程。

实验结果

研究问题

• RQ1 能否为带奇异势、对 Q-张量特征值施加物理约束的纳维-斯托克斯 Q-张量系统构造全局时间弱解？
• RQ2 使用 Ball-Majumdar 奇异势是否能确保弱解始终保持严格物理性，即所有时间下特征值均位于物理区间内？
• RQ3 能否利用势的物理性与凸性，在二维空间中建立全局弱解的更高正则性？
• RQ4 可为逼近解导出何种统一有界性，以确保极限下收敛至弱解？
• RQ5 如何结合能量估计与比较原理，控制非线性项并为能量泛函导出 Gronwall 类型不等式？

主要发现

• 在二维或三维环面上，带奇异 Ball-Majumdar 势的纳维-斯托克斯 Q-张量系统存在全局时间弱解。
• 弱解满足严格物理性：由于势 $ \rho $ 的凸性，$ Q(\bullet,t) $ 的特征值在所有 $ t > 0 $ 下均保持在物理区间内。
• 逼近解 $ Q^{(M)} $ 在 $ L^\frown\text{infty}_t H^2_x \times L^2_t H^3_x $ 中一致有界，$ u^{(M)} $ 在 $ L^\frown\text{infty}_t H^1_{\text{div}} \times L^2_t H^2_{\text{div}} $ 中一致有界，且对所有 $ M $ 一致。
• 能量泛函 $ \frown\text{F}^{(M)} $ 满足微分不等式 $ \frac{d}{dt}\frown\text{F}^{(M)} \triangleq C_0 (\frown\text{F}^{(M)})^2 + C_1 $，通过 Gronwall 不等式可得一致有界性。
• 通过 Aubin-Lions 紧致性，建立了 $ Q^{(M)} $ 在 $ L^2_t H^2_x $ 与 $ u^{(M)} $ 在 $ L^2_t H^1_{\text{div}} $ 中的强收敛性，确保极限在弱意义下满足系统方程。
• 在二维情形下，严格物理性与一致有界性意味着全局弱解具有更高正则性，因为解在 $ H^2 $ 与 $ H^3 $ 范数下保持一致有界。