[論文レビュー] On a nonlocal Cahn-Hilliard equation with a reaction term

Stefano Melchionna, Elisabetta Rocca|arXiv (Cornell University)|Jan 7, 2015

Solidification and crystal growth phenomena参考文献 9被引用数 15

ひとこと要約

本稿では、反応項を含む非局所 Cahn-Hilliard 方程式について、対数自由エネルギーポテンシャルと退化する移動度を用いて、解の存在、一意性、正則性、分離性の性質を確立する。解析では、一様リプシッツ連続な反応項 $ g(x,t,u) $ を組み込み、質量保存則と相分離行動を保ちつつ、非局所相互作用と反応ダイナミクスを含める。

ABSTRACT

We prove existence, uniqueness, regularity and separation properties for a nonlocal Cahn-Hilliard equation with a reaction term. We deal here with the case of logarithmic potential and degenerate mobility as well an uniformly lipschitz in $u$ reaction term $g(x,t,u).$

研究の動機と目的

• 非局所 Cahn-Hilliard 方程式の解の存在、一意性、正則性、分離性の結果を反応項を含む場合に拡張すること。
• 対数ポテンシャル $ f(u) = u\log u + (1-u)\log(1-u) $ と退化する移動度 $ \mu = u(1-u) $ の下で系を解析すること。
• 進化方程式に一様リプシッツ連続な $ u $ に関する反応項 $ g(x,t,u) $ を組み込むこと。
• 非局所相互作用と反応の下でも、質量保存則と相分離ダイナミクスを維持すること。
• 有界領域における初期境界値問題について、適切な定式化と長時間挙動の性質を確立すること。

提案手法

• 化学ポテンシャル $ v = f'(u) + w $ を用いた非局所 Cahn-Hilliard システムの定式化。ここで $ w = K * (1 - 2u) $ である。
• エネルギー汎関数 $ E(u) = \frac{1}{2}\iint K(x-y)(u(x)-u(y))^2 \, dx\,dy + \int f(u) \, dx $ に基づく変分的定式化を用いる。
• 非局所項 $ w $ をカーネル $ K $ との畳み込みによって制御するため、最大正則性および埋め込み定理を適用する。
• ガラーキン近似における極限を取るために、コンパクト性の議論と Aubin-Lions 型の補題を用いる。
• $ L^2 $-ノルムと $ H^1 $-空間内の勾配を制御するため、Gagliardo-Nirenberg および Poincaré 型の不等式を用いる。
• 楕円型問題のトレースおよび正則性結果を適用し、化学ポテンシャルの $ H^2 $-正則性を導出する。

実験結果

リサーチクエスチョン

• RQ1 反応項を含む非局所 Cahn-Hilliard 方程式は、初期データが $ L^2(\Omega) $ に属する場合に、一意な弱解をもつか。
• RQ2 反応項の影響下でも、解が分離性 $ u \in (0,1) $ a.e. を満たすか。
• RQ3 リプシッツ連続な反応項 $ g(x,t,u) $ の導入が、解の正則性および長時間挙動に与える影響は何か。
• RQ4 退化する移動度 $ \mu = u(1-u) $ が、質量保存則と相分離をどのように維持するか。
• RQ5 非局所構造 $ w = K * (1 - 2u) $ がソボレフ空間内で制御可能であり、存在性と正則性を保証できるか。

主な発見

• 初期データ $ u_0 \in L^2\left(\Omega\right) $ のもとで、弱解が $ L^2(0,T; H^1(\Omega)) \cap H^1(0,T; H^{-1}(\Omega)) $ に一意に存在することが証明された。
• 反応項 $ g $ に関する適切な仮定の下で、解は $ \Omega \times (0,T) $ においてほとんど everywhere で $ 0 < u(x,t) < 1 $ を満たす、時間に一様な分離性を満たす。
• 化学ポテンシャル $ v $ は $ L^2(0,T; H^1(\Omega)) $ に属し、畳み込み推定により非局所項 $ w $ が $ L^p $-空間内で制御される。
• 楕円型正則性理論とトレース推定を用いて、$ v $ の $ H^2 $-正則性まで確立された。
• 反応項 $ g(x,t,u) $ は $ u $ に関して一様リプシッツ連続であり、$ L^2 $-ノルムに基づく有界性と安定性を保証する。
• 境界条件 $ \mu \nabla v \cdot n = 0 $ が $ \partial\Omega $ で成り立つことにより、質量保存則が保たれる。