[論文レビュー] Phase-field systems for grain boundary motions under isothermal solidifications

Ken Shirakawa, Hiroshi Watanabe+1 more|arXiv (Cornell University)|Aug 19, 2014

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

ひとこと要約

本稿では、等温凝固下における粒界移動をモデル化する2つの非標準的放物型系に対して、位相場アプローチを用いて解の存在を確立する。$φ$-$\eta$-$\theta$ モデルに統一的な時間離散化法を適用することで、粘性（$\nu > 0$）および非粘性（$\nu = 0$）の両ケースについて、解の全域的存在およびエネルギー安定性を証明し、複雑な粒成長ダイナミクスを扱う強固な解析的枠組みを提供する。

ABSTRACT

Two main existence theorems are proved for two nonstandard systems of parabolic initial-boundary value problems. The systems are based on the "$ ϕ$-$ η$-$ θ$ model" proposed by Kobayashi [RIMS Kokyuroku, 1210 (2001), 68-77] as a phase-field model of planar grain boundary motion under isothermal solidification. Although each of the systems has specific characteristics and mathematical difficulties, the proofs of the main theorems are based on the time discretization method by means of a common approximating problem. As a consequence, we provide a uniform solution method for a wide scope of parabolic systems associated with the $ ϕ$-$ η$-$ θ$ model.

研究の動機と目的

• 等温凝固下における粒界移動をモデル化する2つの非標準的放物型系に対する弱解の存在を確立すること。
• 特に $\phi$-$\eta$-$\theta$ モデルにおける非線形性および退化性に起因する数学的困難、特に $\theta$ の勾配における超微分および特異性を扱うこと。
• 粘性（$\nu > 0$）および非粘性（$\nu = 0$）の両ケースに適用可能な、時間離散化に基づく一様な解法を開発すること。
• 位相場系の長期間安定性および解の全域的存在を保証するエネルギー推定を導出すること。

提案手法

• 時間離散化スキームを用いて $\phi$-$\eta$-$\theta$ システムの近似解を構成し、$\nu > 0$ および $\nu = 0$ の両ケースを共通の枠組みで取り扱えるようにする。
• 支配的自由エネルギー汎関数 $\mathscr{F}_\nu(w,\eta,\theta)$ の変分的定式化に依拠し、勾配エネルギー、二重井戸ポテンシャル、および $\theta$ に依存する異方的エネルギー項を含む。
• 非滑らか項、特に $\partial\gamma(w)$ を取り扱うために超微分法を用い、一般化（粘性）解の存在を保証する。
• Neumann境界条件および $H^1 \cap L^\infty$ に属する初期データを前提とし、空間 $L^2(0,T;H^1(\Omega)) \times L^2(0,T;H^1(\Omega)) \times L^2(0,T;H^1(\Omega))$ でシステムを解析する。
• 離散版のエネルギー散逸則を用いてエネルギー推定を導出し、時間ステップに依存しない一様なバインディングを確立する。
• コンパクトネスおよび単調性の議論を用いて近似列の収束を確立し、極限において元のシステムを満たす弱解が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 等温凝固下における粒界移動の $\phi$-$\eta$-$\theta$ モデルに対して、非標準的かつ退化的であっても、全域的弱解が存在するか。
• RQ2 時間離散化法を、粘性（$\nu > 0$）および非粘性（$\nu = 0$）の両方の変種に一様に適用可能か。
• RQ3 位相場系の長期間安定性を保証するためのエネルギー推定はどのようなものか。
• RQ4 超微分項および $|\nabla\theta|$ に依存する項は、解の正則性および存在性にどのように影響するか。
• RQ5 粘性の消失極限（$\nu \to 0$）において解は安定であり、非粘性系の解に収束するか。

主な発見

• 著者らは、$\nu > 0$ および $\nu = 0$ の両ケースについて、共通の時間離散化法を用いて、$\phi$-$\eta$-$\theta$ システムに対する全域的弱解の存在を証明する。
• $\nu \geq 0$ に対して一様なエネルギー推定が得られ、全自由エネルギー $\mathscr{F}_\nu$ が時間とともに非増加であることを示し、長期的安定性を保証する。
• $\nu > 0$ の場合、エネルギー不等式が成り立つ： $\frac{1}{2}\int_0^t |v_\nu|_{L^2}^2 d\tau + \int_0^t |\sqrt{\alpha_0(v_\nu)} \theta_t|_{L^2}^2 d\tau + \mathscr{F}_\nu(v_\nu(t), \theta_\nu(t)) \leq \mathscr{F}_\nu(v_0^\nu, \theta_0^\nu)$。
• $\nu = 0$ の場合、同様のエネルギー不等式が成り立つ： $\frac{1}{2}\int_0^t |v_t|_{L^2}^2 d\tau + \int_0^t |\sqrt{\alpha_0(v)} \theta_t|_{L^2}^2 d\tau + \mathscr{F}_0(v(t), \theta(t)) \leq \mathscr{F}_0(v_0, \theta_0)$。
• 時間離散化による近似の収束が厳密に確立され、極限において元のPDEシステムを満たす解が得られる。
• 解は $[v_t, \theta_t] \in L^2(0,\infty; L^2(\Omega)^3)$、$[v, \theta] \in L^\infty(0,\infty; X_0)$、および $\nu \theta \in L^\infty(0,\infty; H^1(\Omega))$ を満たし、全域的存在および正則性が確認される。