[论文解读] Global existence of weak solutions of the nematic liquid crystal flow in dimensions three

Fanghua Lin, Changyou Wang|arXiv (Cornell University)|Aug 18, 2014

Geometric Analysis and Curvature Flows参考文献 14被引用 13

一句话总结

该论文针对初始方向场 $ d_0 $ 映射到上半球面的情形，证明了三维空间中简化 Ericksen-Leslie 系统描述的向列型液晶流动的全局弱解的存在性，适用于任意初始数据属于 $ H \times H^1(\Omega, \mathbb{S}^2) $。通过 Ginzburg-Landau 正则化方法与紧致性论证，作者证明了逼近解收敛至满足全局能量不等式的弱解，从而解决了三维空间中长期悬而未决的公开问题。

ABSTRACT

For any bounded smooth domain $Ω\subset\mathbb R^3$, we establish the global existence of a weak solution $u:Ω imes (0,+\infty) o\mathbb R^3 imes\mathbb S^2$ of the initial-boundary value (or the Cauchy) problem of the simplified Ericksen-Leslie system (1.1) modeling the hydrodynamic flow of nematic liquid crystals for any initial and boundary (or Cauchy) data $(u_0. d_0)\in {\bf H} imes H^1(Ω,\mathbb S^2$), with $d_0(Ω)\subset\mathbb S^2_+$ (the upper hemisphere). Furthermore, ($u,d$) satisfies the global energy inequality (1.4).

研究动机与目标

• 解决三维空间中简化 Ericksen-Leslie 系统对大初始数据的全局弱解存在性这一公开问题。
• 证明对于任意初始数据 $ (u_0,d_0) \in \mathbf{H} \times H^1(\Omega, \mathbb{S}^2) $ 且满足 $ d_0(\Omega) \subset \mathbb{S}^2_+ $，全局弱解 $ (u,d) $ 存在并满足全局能量不等式。
• 将存在性理论推广至小数据或高粘性范围之外，处理超临界非线性项 $ \nabla \cdot (\nabla d \odot \nabla d) $。
• 证明来自 Ginzburg-Landau 正则化的逼近解在 $ \epsilon \to 0 $ 极限下收敛至原系统的一个弱解。

提出的方法

• 使用 Ginzburg-Landau 正则化方法对取值于 $ \mathbb{S}^2 $ 的方向场 $ d $ 进行正则化，以惩罚项替代约束 $ |d|=1 $。
• 构造正则化系统的一系列逼近解 $ (u_k, d_k) $，满足 $ d_k \in H^1 $ 且 $ |d_k| \leq 1 $，并获得一致的能量界。
• 通过 $ L^2 $、$ H^1 $ 与 $ L^\infty(0,T; L^2) $ 中的弱收敛与弱-* 收敛，应用紧致性论证，提取极限解 $ (u,d) $。
• 利用集中-紧致性方法与“合适逼近调和映射”的概念，控制张力场 $ \Delta d + |\nabla d|^2 d $ 在 $ L^2 $-型范数下的行为。
• 通过反证法与张力场的统一有界性，证明 $ d_k $ 在 $ H^1_{\text{loc}}(\Omega \times (0,T)) $ 中强收敛至 $ d $。
• 验证极限解 $ (u,d) $ 满足原系统的弱形式与全局能量不等式。

实验结果

研究问题

• RQ1 三维简化 Ericksen-Leslie 系统在任意大初始数据下是否可能存在全局弱解？
• RQ2 超临界非线性项 $ \nabla \cdot (\nabla d \odot \nabla d) $ 是否会阻止全局弱解的存在性？
• RQ3 当 $ \epsilon \to 0 $ 时，Ginzburg-Landau 正则化方法是否可用于构造三维空间中的全局弱解？
• RQ4 对于一般初始数据，Ginzburg-Landau 正则化在极限下是否保持能量不等式？

主要发现

• 证明了对于任意初始数据 $ (u_0,d_0) \in \mathbf{H} \times H^1(\Omega, \mathbb{S}^2) $ 且满足 $ d_0(\Omega) \subset \mathbb{S}^2_+ $，三维简化 Ericksen-Leslie 系统存在全局弱解 $ (u,d) $。
• 该解满足全局能量不等式，确保了长期稳定性与总能量的控制。
• 来自 Ginzburg-Landau 正则化的逼近解序列 $ (u_k, d_k) $ 满足：$ d_k $ 在 $ H^1_{\text{loc}}(\Omega \times (0,T)) $ 中强收敛，$ u_k $ 在 $ L^2(0,T; H^1) $ 中弱收敛。
• 在极限下，张力场 $ \Delta d + |\nabla d|^2 d $ 属于 $ L^2(\Omega \times (0,T)) $，确保弱形式定义良好。
• 极限解 $ d $ 取值于 $ \mathbb{S}^2_{-1+a} $（其中 $ a > 0 $），且奇异测度 $ \nu_t \equiv 0 $，表明在调和映射极限中无能量集中。
• $ d_k $ 到 $ d $ 的收敛是 $ H^1_{\text{loc}} $ 中的强收敛，这对在非线性项 $ \nabla \cdot (\nabla d_k \odot \nabla d_k) $ 中取极限至关重要。