[论文解读] Global strong solution to the density-dependent incompressible flow of liquid crystals

Xiaoli Li, Dehua Wang|arXiv (Cornell University)|Feb 5, 2012

Navier-Stokes equation solutions参考文献 22被引用 8

一句话总结

本文在初始密度远离真空的3D有界区域中，建立了各向同性不可压缩向列型液晶流动的全局强解的存在性与唯一性。通过能量估计、Sobolev不等式和Grönwall不等式，证明了小初值下强解全局存在，大初值下局部存在，且当强解存在时，弱解与之重合。

ABSTRACT

The initial-boundary value problem for the density-dependent incompressible flow of liquid crystals is studied in a three-dimensional bounded smooth domain. For the initial density away from vacuum, the existence and uniqueness is established for both the local strong solution with large initial data and the global strong solution with small data. It is also proved that when the strong solution exists, a weak solution with the same data must be equal to the unique strong solution.

研究动机与目标

• 针对大初值，建立密度依赖型不可压缩向列型液晶流动的局部强解的存在性与唯一性。
• 在3D有界光滑区域中，于小初值条件下证明全局强解的存在性。
• 证明当强解存在时，任意具有相同初值与边界条件的弱解必与唯一的强解重合。
• 分析非齐次不可压缩N-S方程与取向场的调和映射流之间的耦合关系。
• 为具有可变密度与无滑移边界条件的向列型液晶流体动力学提供严格的数学框架。

提出的方法

• 将系统表述为耦合PDE系统：密度的连续性方程、含取向场各向异性应力的动量方程，以及取向场的输运方程。
• 在速度与取向场法向导数上施加无滑移与无通量边界条件。
• 应用能量估计与Sobolev嵌入不等式，以控制涉及速度、密度与取向梯度的非线性项。
• 对取向场方程应用抛物型正则性估计，获得霍尔德连续性与时间一致有界性。
• 利用Grönwall不等式证明唯一性，即通过证明两组解的差异恒为零。
• 依赖于初始密度远离真空的假设，以避免动量方程中的退化现象。

实验结果

研究问题

• RQ1 在何种条件下，密度依赖型不可压缩向列型液晶流动的全局强解存在？
• RQ2 在大初值存在的情况下，是否可建立强解的唯一性？
• RQ3 在此系统中，弱解与强解之间存在何种关系——当两者均存在时，是否必然重合？
• RQ4 速度、密度与取向场之间的非线性耦合如何影响解的正则性与长时间行为？
• RQ5 初始密度与真空的距离在解的存在性与唯一性中起何种作用？

主要发现

• 在初始密度远离真空的3D有界光滑区域中，小初值下存在全局强解。
• 对于大初值，存在局部强解，且解的存在时间依赖于初值的大小。
• 强解具有唯一性，并且对初值连续依赖，该结论通过将Grönwall不等式应用于解的差异得到证明。
• 当强解存在时，任意具有相同初值与边界条件的弱解必与唯一的强解相等。
• 系统的结构确保能量估计与正则性界足够控制非线性项，从而保证解的存在性与唯一性。
• 证明依赖于初始密度远离真空的假设，以避免动量方程中的退化，并维持能量估计中的强制性。