[論文レビュー] A temperature-dependent phase segregation problem of the Allen-Cahn type

Pierluigi Colli, Gianni Gilardi+2 more|arXiv (Cornell University)|May 6, 2010

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

ひとこと要約

この論文は、絶対温度を含む超越的条件を含む、順序パラメータの偏微分方程式と化学ポテンシャルの常微分方程式を結合した、温度依存の相分離モデルに対する局所的時間存在結果を確立する。証明は、Tychonoff-Schauderの定理を用いた固定点法に依拠し、従来の等温結果を熱的効果を含むように拡張する。

ABSTRACT

In this paper we prove a local-in-time existence theorem for an initial-boundary value problem related to a model of temperature-dependent phase segregation that generalizes the standard Allen-Cahn's model. The problem is ruled by a system of two differential equations, one partial the other ordinary, interpreted as balances, respectively, of microforces and of microenergy, complemented by a transcendental condition on the three unknowns, that are: the order parameter entering the standard A-C equation, the chemical potential, and the absolute temperature. The results obtained by the authors in a recent paper and dealing with the isothermal case serve as a starting point for our existence proof, which relies on a fixed-point argument involving the Tychonoff-Schauder theorem.

研究の動機と目的

• 等温相分離モデルを[CGPS]から拡張し、温度依存のダイナミクスを含める。
• 絶対温度を動的変数として含む、微小力および微小エネルギーバランスを用いて結晶性材料の相分離をモデル化する。
• 順序パラメータ、化学ポテンシャル、温度の間の超越的条件を含む、PDEとODEの結合系を定式化・解析する。
• 得られた初期境界値問題に対する局所的時間存在定理を確立する。
• 非等温進化系を通じて熱的効果を組み込むことにより、標準的なアレン・カーンフレームワークを一般化する。

提案手法

• 順序パラメータ ρ に対する放物型PDEと化学ポテンシャル μ に対するODEの2つの微分方程式系を定式化する。
• 微小力および微小エネルギーバランスを介して、絶対温度を第3の未知数として導入する。
• Tychonoff-Schauderの固定点定理を用いて、適切な関数空間内での解の存在を証明する。
• 事前推定およびコンパクト性の議論を適用し、反復スキームの収束を保証する。
• [CGPS]の等温フレームワークを基盤とし、温度依存項を含むように適合させる。
• 順序パラメータに対して均一なノイマン境界条件と整合性を保つ。

実験結果

リサーチクエスチョン

• RQ1 標準的なアレン・カーンモデルは、どのようにして温度依存の相分離ダイナミクスを含むように一般化できるか？
• RQ2 微小力および微小エネルギーバランスを絶対温度を動的変数として結合したとき、どのような数学的構造が生じるか？
• RQ3 順序パラメータのPDE、化学ポテンシャルのODE、および温度を含む超越的条件を組み合わせた系に対して、局所的時間解を確立できるか？
• RQ4 この非等温相分離系の解の存在を保証する条件は何か？
• RQ5 温度の組み込みが、初期境界値問題の適切な定式化に与える影響は、等温の場合と比べてどう異なるか？

主な発見

• 温度依存の相分離モデルを含む初期境界値問題に対する局所的時間存在定理が確立された。
• データの十分な正則性および初期境界条件の整合性が保たれる限り、解は適切な関数空間内で存在する。
• 証明は、コンパクト性と連続性を保証するTychonoff-Schauderの定理に基づく固定点法に依拠している。
• 系は、順序パラメータ ρ、化学ポテンシャル μ、絶対温度を超越的条件で結合しており、熱力学的一致性を反映している。
• [CGPS]の等温モデルを、微小力および微小エネルギーバランス方程式に熱的効果を組み込むことで一般化した。
• この枠組みは、微小構造の進化を用いた結晶性材料における非等温相分離の厳密な数学的基盤を提供する。