[論文レビュー] Global solution to the three-dimensional compressible flow of liquid crystals

Xianpeng Hu, Hao Wu|arXiv (Cornell University)|Jun 13, 2012

Navier-Stokes equation solutions被引用数 5

ひとこと要約

本稿では、初期データが平衡状態 $(1, {\bf 0}, \tilde{{\bf d}})$ に十分近い場合に、3次元圧縮性ネマチック液晶流れの強い解の全域的存在および一意性を、臨界Besov空間で確立する。証明は、対流項を含む線形化系に対する局所的適切性と一様推定に基づき、スケーリング不変性と臨界Besov空間における洗練された関数空間解析を活用する。

ABSTRACT

The Cauchy problem for the three-dimensional compressible flow of nematic liquid crystals is considered. Existence and uniqueness of the global strong solution are established in critical Besov spaces provided that the initial datum is close to an equilibrium state $(1,{\bf 0}, \hat{\d})$ with a constant vector $\hat{\d}\in S^2$. The global existence result is proved via the local well-posedness and uniform estimates for proper linearized systems with convective terms.

研究の動機と目的

• 3次元圧縮性ネマチック液晶流れの強い解の全域的存在および一意性を確立すること。
• 圧縮性ナビエ＝ストークス方程式と調和写像熱方程式の結合に起因する、臨界関数空間における全域的適切性の課題に取り組むこと。
• 高次元における爆発の困難を克服するため、系の自然なスケーリングに不変な臨界Besov空間で作業することで、全域的解理論を構築すること。
• 時間局所的枠組みにおける収縮法を用いて解の一意性を証明し、一致する最大時刻を用いてそれを全域に拡張すること。

提案手法

• 著者らは、完全系に対して線形化アプローチを用い、対応する線形化方程式（対流項および輸送項を含む）を分析する。
• スケーリング不変性を活用し、自然なスケーリング変換下でも正則性を保つために、臨界Besov空間 $B^{\frac{3}{2}}_{2,1}$ および $\tilde{B}^{\frac{1}{2},\frac{3}{2}}$ を用いる。
• 時間重み付きノルム枠組みにおいて、摂動変数 $(\rho - 1, {\bf u}, {\bf d} - \tilde{{\bf d}})$ に対する事前推定を導出する。
• 特に、非線形項 $\nabla{\bf d} \nabla{\bf d}$ および $|\nabla{\bf d}|^2 {\bf d}$ を取り扱うために、Besov空間におけるエネルギー推定と交換子推定を用いる。
• 一意性は、小さな時間区間における収縮法により確立され、一致する最大時刻を用いて全域に拡張される。
• 系が変換 $(t,x) \to (l^2 t, l x)$ に関して不変であるという事実を分析に用いる。

実験結果

リサーチクエスチョン

• RQ1 臨界関数空間における3次元圧縮性ネマチック液晶流れに対して、全域的強い解が存在しうるか？
• RQ2 初期データにどのような条件を課すと、解の全域的存在および一意性が保証されるか？
• RQ3 系のスケーリング不変性をどのように活用して、全域的解理論を構築できるか？
• RQ4 Besov空間ノルムは、流体速度と配向場の間の非線形結合を制御するために果たす役割は何か？
• RQ5 臨界ノルムにおける小さな仮定のもとで、解の一意性は時間全域にわたって保証されるか？

主な発見

• 初期データが平衡状態 $(1, {\bf 0}, \tilde{{\bf d}})$ に十分近いかぎり、3次元圧縮性ネマチック液晶系は臨界Besov空間で全域的強い解を有する。
• 解は強い解のクラスにおいて一意であり、局所的一意性を時間全域に拡張するための背理法により証明される。
• 鍵となる推定は、解ノルム $\big\backslash\!\big\backslash (\rho - 1, {\bf u}, {\bf d} - \tilde{{\bf d}}) \big\backslash\!\big\backslash_{\frak{B}_T^{1/2}}$ が、$T \to 0^+$ のとき $Z(T) \to 0$ となる収縮型不等式を満たすことである。
• 証明は、$\tilde{B}^{\frac{1}{2},\frac{3}{2}}$ および $B^{\frac{3}{2}}$ ノルムが、特に $|\nabla{\bf d}|^2$ および $\nabla{\bf d} \nabla{\bf d}$ をパラプロダクトおよび積の推定によって制御できることに依存する。
• 系の変換 $(t,x) \to (l^2 t, l x)$ に関するスケーリング不変性は、臨界Besov空間の使用を正当化する。これらの空間はこの変換に関して不変である。
• 本結果により、3次元における圧縮性系の全域的適切性理論が拡張され、高次元における大規模データに対する弱解の存在という未解決問題を埋める。