[论文解读] Strong solutions for the Beris-Edwards model for nematic liquid crystals with homogeneous Dirichlet boundary conditions

Helmut Abels, Georg Dolzmann+1 more|arXiv (Cornell University)|Dec 20, 2013

Navier-Stokes equation solutionsMathematics被引用 19

一句话总结

本文在ℝᵈ（d=2,3）有界区域上，针对具有齐次Dirichlet边界条件的向列液晶Beris-Edwards模型，建立了局部强解的存在性与唯一性。通过引入依赖于Q-张量的黏性系数，并采用线性化方法结合Banach不动点定理，作者在适当的Sobolev框架下证明了局部适定性，推进了液晶流体中复杂流体-结构相互作用的数学分析。

ABSTRACT

Existence and uniqueness of local strong solution for the Beris--Edwards model for nematic liquid crystals, which couples the Navier-Stokes equations with an evolution equation for the Q-tensor, is established on a bounded domain in the case of homogeneous Dirichlet boundary conditions. The classical Beris--Edwards model is enriched by including a dependence of the fluid viscosity on the Q-tensor. The proof is based on a linearization of the system and Banach's fixed-point theorem.

研究动机与目标

• 建立具有齐次Dirichlet边界条件的向列液晶Beris-Edwards模型的局部强解的存在性与唯一性。
• 通过引入依赖于Q-张量的流体黏性系数，扩展经典Beris-Edwards模型，以反映黏性对分子取向的物理依赖性。
• 为在物理上合理的边界与初始条件下，耦合的Navier-Stokes方程与Q-张量演化系统提供严格的数学框架。
• 解决在具有光滑边界有界区域中，流速、压强与Q-张量动力学之间非线性耦合的挑战。
• 为具有可变黏性与张量值序参量的复杂流体模型中的适定性理解做出贡献。

提出的方法

• 建立耦合系统：具有可变黏性ν(Q)的Navier-Stokes方程与Q-张量的抛物型演化方程。
• 围绕参考解采用线性化方案，将非线性系统转化为一系列线性子问题。
• 在合适的函数空间（Sobolev空间H¹₀与H²）中应用Banach不动点定理，证明解的存在性与唯一性。
• 利用能量估计与Sobolev嵌入（如L⁶与L³范数）控制涉及Q、u及其梯度的非线性项。
• 利用Poincaré不等式与Young不等式控制高阶导数，确保迭代格式的收敛性。
• 完整引入黏性ν(Q)对Q-张量的依赖性，以模拟由于分子取向导致的物理黏性变化。

实验结果

研究问题

• RQ1 具有Q-张量依赖黏性系数的Beris-Edwards模型，在齐次Dirichlet边界条件下是否具有唯一的局部强解？
• RQ2 Q-依赖黏性系数的引入如何影响流体-张量系统的正则性与适定性？
• RQ3 能否在高阶Sobolev空间框架下，通过不动点方法处理Navier-Stokes方程与Q-张量演化之间的非线性耦合？
• RQ4 为确保强解的局部存在性，对初始数据(u₀, Q₀)需要哪些必要的正则性假设？
• RQ5 涉及∇Q、ΔQ及其相互作用的非线性项如何影响能量估计与迭代格式的收敛性？

主要发现

• 在具有C⁴边界条件的有界区域上，具有Q-张量依赖黏性系数与齐次Dirichlet边界条件的Beris-Edwards模型存在局部强解。
• 解在初始数据附近的一个适当邻域内唯一，该邻域位于具有足够Sobolev正则性的函数完备度量空间中。
• 证明依赖于在H¹₀(Ω) × H²(Ω) × H¹₀(Ω; S₀)空间中对耦合系统应用的线性化过程与Banach不动点定理。
• 通过Sobolev嵌入与Young不等式控制涉及∇ΔQ、Au与ΔQ的能量估计，常数依赖于初始Q-张量。
• 假设黏性ν(Q)关于Q光滑且有界，以确保不动点论证所需的正则性。
• 系统在时间上局部适定，解类满足u ∈ H¹(0,T;L²) ∩ L²(0,T;H²)，Q ∈ H¹(0,T;H¹₀) ∩ L²(0,T;H²)，且∇ΔQ ∈ L²(Ω_T)。