[論文レビュー] 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）における有界領域上でのネマチック液体結晶のBeris-Edwardsモデルに対して、均一なディリクレ境界条件のもとで局所的強い解の存在と一意性を確立する。Qテンソルに依存する粘性を組み込み、Banachの不動点定理を用いた線形化手法を用いることで、適切なソボレフ空間枠組みにおいて局所的well-posednessを証明し、液体結晶の流れにおける複雑な流体-構造相互作用の数学的解析を前進させる。

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.

研究の動機と目的

• ネマチック液体結晶のBeris-Edwardsモデルに対して、均一なディリクレ境界条件のもとで局所的強い解の存在と一意性を確立すること。
• 古典的Beris-Edwardsモデルを拡張し、分子配向に依存する粘性を組み込むことで、物理的に現実的な粘性の依存性を反映すること。
• 物理的に妥当な境界条件および初期条件のもとで、連立したナビエ-ストークス方程式とQテンソルの時間発展系に対する厳密な数学的枠組みを提供すること。
• 滑らかな境界を持つ有界領域における、流速、圧力、Qテンソルダイナミクスの非線形結合の課題に取り組むこと。
• 可変粘性およびテンソル値の秩序パラメータを有する複雑な流体モデルにおけるwell-posednessの理解に貢献すること。

提案手法

• 連立系の定式化：粘性ν(Q)に依存する可変粘性を有するナビエ-ストークス方程式と、Qテンソルの放物型時間発展方程式を定式化する。
• 参照解の周囲での線形化スキームを用いて、非線形系を一連の線形部分問題に変換する。
• 適切な関数空間（Sobolev空間H¹₀およびH²）においてBanachの不動点定理を適用し、解の存在と一意性を証明する。
• エネルギー推定およびSobolev埋め込み（例：L⁶およびL³ノルム）を用いて、Q、uおよびその勾配を含む非線形項を制御する。
• PoincaréおよびYoungの不等式を用いて高階微分をバインドし、反復スキームの収束を保証する。
• 粘性ν(Q)がQテンソルに完全に依存することを組み込み、分子配向に起因する物理的粘性変化をモデル化する。

実験結果

リサーチクエスチョン

• RQ1 Qテンソルに依存する粘性を有するBeris-Edwardsモデルは、均一なディリクレ境界条件のもとで、一意な局所的強い解を有するか？
• RQ2 Q依存性粘性の組み込みは、流体-テンソル系の正則性およびwell-posednessにどのように影響するか？
• RQ3 ナビエ-ストークス方程式とQテンソル時間発展の非線形結合は、高階Sobolev空間枠組みにおいて固定点法によって取り扱えるか？
• RQ4 局所的強い解の存在を保証するための初期データ（u₀, Q₀）に必要な正則性仮定は何か？
• RQ5 ∇Q、ΔQおよびそれらの相互作用を含む非線形項は、エネルギー推定および反復スキームの収束にどのように影響するか？

主な発見

• 有界C⁴領域上において、Qテンソルに依存する粘性および均一なディリクレ境界条件を有するBeris-Edwardsモデルに対して、局所的強い解が存在する。
• 初期データの適切な近傍において、十分なSobolev正則性を持つ関数の完備距離空間内での解は一意である。
• 証明は、H¹₀(Ω) × H²(Ω) × H¹₀(Ω; S₀)空間における連立系に適用された線形化手順およびBanachの不動点定理に依存する。
• ∇ΔQ、AuおよびΔQを含むエネルギー推定は、Sobolev埋め込みおよびYoungの不等式により制御され、初期Qテンソルに依存する定数を含む。
• 粘性ν(Q)はQに関して滑らかで有界であると仮定されており、固定点法に必要な正則性を保証する。
• 系は時間に関して局所的にwell-posedであり、解のクラスはu ∈ H¹(0,T;L²) ∩ L²(0,T;H²)、Q ∈ H¹(0,T;H¹₀) ∩ L²(0,T;H²)、および∇ΔQ ∈ L²(Ω_T)を満たす。