Cahn–Hilliard 方程式で記述する金属組織シミュレーション
Cahn–Hilliard(CH)法は「保存量である濃度(組成)場」の時間発展を、自由エネルギー低下と拡散の整合で記述する枠組みである。相分離(スピノーダル分解)や析出・粗大化(オストワルド成長)を、界面エネルギーを含む連続体場として同じ数式骨格で扱えるのが特徴である。
参考ドキュメント
- J. W. Cahn and J. E. Hilliard, Free Energy of a Nonuniform System. I. Interfacial Free Energy, Journal of Chemical Physics 28 (1958) 258. https://pubs.aip.org/aip/jcp/article/28/2/258/74794/Free-Energy-of-a-Nonuniform-System-I-Interfacial
- Phase Field Method Recommended Practices Guide(Numerical Implementation / Problem Set-Up), NIST https://pages.nist.gov/pf-recommended-practices/bp-guide-gh/ch2-numerical-implementation.html
- 小山敏幸, Phase-field法に関する最近の進展と今後の展望, まてりあ 42 (2003) 397. https://www.jstage.jst.go.jp/article/materia1994/42/5/42_5_397/_pdf
1. 何を Cahn–Hilliard で解くのか
CH法が直接扱う主変数は、保存則に従う場である。
- 二元合金の濃度:
(例:溶質原子分率) - 多元合金の濃度ベクトル:
- 点欠陥(空孔など)の濃度:
(拡散と相互作用のモデル化が可能) - 規則度や相指標などの非保存量は、通常 Allen–Cahn(AC)に担わせ、CHは濃度の保存発展に集中させる
整理すると次の通りである。
| 項目 | Cahn–Hilliard(CH) | Allen–Cahn(AC) |
|---|---|---|
| 主変数 | 濃度など保存量 | 秩序変数など非保存量 |
| 基本構造 | 連続の式(フラックス発散) | 勾配流(緩和) |
| 典型現象 | 相分離、析出・粗大化、濃度拡散 | 粒界移動、規則化、相の切替 |
金属組織で多い構成は「相の指標(AC)+濃度(CH)」の連成であり、溶質分配と相移動を同居させる。
2. 自由エネルギー汎関数
CH法は自由エネルギー汎関数
である。
:局所(化学)自由エネルギー密度 - 正則溶体(regular solution)近似、あるいはCALPHADの自由エネルギーを用いる設計が多い
:勾配エネルギー係数 - 濃度勾配に罰則を与え、結果として有限幅の界面と界面エネルギーを生む
- 解析的には「界面を持つ非一様系の自由エネルギー」の理論に対応する
界面厚み(拡散界面幅)
3. Cahn–Hilliard 方程式の導出:保存則+化学ポテンシャル
本質は「質量保存」と「拡散フラックスが化学ポテンシャル勾配で駆動される」という2点である。
- 保存則(連続の式)
- 拡散フラックス(オンザガー型)
- 化学ポテンシャル(汎関数微分)
以上より
が CH 方程式である。
となり、4階空間微分を含むのが数値的な特徴である。
3.1 物理的に重要な2つの保存・散逸
適切な境界条件(周期境界、あるいは無流束
- 質量保存:
- 自由エネルギー減少(散逸):
CH法に基づくシミュレーションでは、これらの量をモニタして数値解が「それらしい」だけでなく「条件を満たす」ことを確認するのが基本である。
4. 金属組織への対応
4.1 スピノーダル分解(相分離初期)と線形安定解析
二元系で一様濃度
線形化すると、フーリエ成分(波数
となり、
- 不安定帯域:
- 最も成長しやすい波数:
- 代表長さ:
が得られる。
この議論は「初期パターンの波長」と「
4.2 析出・粗大化(オストワルド成長)
CH法は、界面エネルギーを含む拡散駆動で析出相の成長・消滅を記述できる。
- 初期:核生成をどう扱うかが設計点
- 初期条件に微小ノイズを入れる
- あるいは古典核生成理論(別モデル)で核を配置してCHで成長・粗大化へ移る
- 後期:粗大化(coarsening)
- 典型的には代表長さが時間に対してべき則で成長することが多い
- ただし、弾性拘束や拡散係数の濃度依存、体積分率によってスケーリングは変化する
4.3 多元合金:濃度ベクトルと移動度行列
多元系では濃度
と書く。実装上は
を対称・正定にする(散逸則の維持) - 独立変数数の削減(
の制約) などの工夫が必要になる。
4.4 弾性との連成:コヒーレント析出・格子ミスフィット
コヒーレント析出では弾性エネルギーが形態選択(板状・針状)や配列(ラメラ・整列)を支配しうる。自由エネルギーに
を加えると、化学ポテンシャルに
:固溶・析出に伴う固有ひずみ(Vegard則近似など) :弾性定数テンソル - 連成が強いと剛性が増し、陰的解法や反復解法が必要になりやすい
4.5 ノイズを含む拡張:Cahn–Hilliard–Cook(CHC)
核生成や熱揺らぎを扱う目的で、確率フラックスを加えた形式が議論される。
ここで
5. モデルパラメータの設計: ・ ・
5.1 化学自由エネルギー
- 正則溶体モデル(理解用)
が混合エンタルピー、対数項が配置エントロピーである - CALPHAD接続(定量志向)
- 実系に近い自由エネルギー曲面を使えるが、相領域の扱い(多相・多成分の切替)をどうするかが設計点となる
5.2 勾配係数 と界面エネルギー
- 解像できる界面幅を先に決め、そこから
を調整する設計 - 実験的界面エネルギー
を目標にし、 と の組で合わせる設計 がある。
5.3 移動度 と時間スケール
二元系では拡散係数
のような形がよく現れる(因子はモデル化の選び方による)。金属では拡散係数が温度依存(アレニウス)かつ相依存であり、相場(AC)と結合する場合は「相ごとに
6. 数値解法:4階PDEをどう解くか
CH方程式は4階であり、安定性の観点から陽解法は刻み制約が厳しいことが多い。代表的な方針は次である。
6.1 分割(mixed / split)で 2階×2 に落とす
化学ポテンシャル
の連立(どちらも2階)として解く。FEMでは標準的な
6.2 半陰解法(IMEX)とエネルギー安定化
- 拡散(剛な線形項)を陰的に、非線形項を陽的に扱う半陰は定番である
- 自由エネルギー単調減少を離散でも守る設計(凸分割、安定化付き半陰、補助変数法など)は長時間発展で効きやすい
6.3 スペクトル法(FFT)
周期境界かつ矩形領域では、フーリエ空間で線形部を代数的に処理でき、高速である。相分離ベンチマーク(スピノーダル分解)では、FFT+半陰がよく利用される。
6.4 検証
CHコードの健全性確認として、少なくとも次を追う。
の保存(時間方向にほぼ一定) の非増加(あるいは時間刻みに応じた一貫した減少) - メッシュ・時間刻みの収束試験(パターン統計量が変わらないか)
7. 典型的な問題設定
7.1 初期条件
- 一様濃度
+微小ノイズ:スピノーダル分解の典型 - 既に核(析出相)を埋め込む:粗大化・相互作用評価を狙う場合
7.2 境界条件
- 周期境界:統計量評価やFFTに適する
- 無流束:
(閉じた系で質量保存を貫く) - 表面偏析や外部フラックスを扱う場合:境界での化学ポテンシャル条件や表面自由エネルギー項を追加する設計となる
7.3 観測量(後処理)
- 体積分率、相の連結性、界面面積密度
- 濃度ヒストグラム
(二峰性の発達が相分離の進行を示す) - 構造因子
(代表波長や粗大化の追跡に有効) - 代表長さ
(等濃度面からの曲率統計、または のピークから推定)
8. 公開実装・ベンチマーク
- PFHub Benchmark Problem 1(Spinodal Decomposition) 相分離の初期〜粗大化を比較可能な形で規定しており、CH実装の検証に使いやすい
- MOOSE Phase Field の CahnHilliard カーネル 自由エネルギーの微分と移動度を与えてCHのFEM実装を組み立てる設計である
- PRISMS-PF 金属の相分離・析出・粒成長などのマイクロ組織進化を大規模並列で扱うための枠組みとして整備されている
(上記は概念整理のための入口であり、モデルの選択は自由エネルギーと移動度の具体形に強く依存する。)
9. よくある落とし穴
- 界面幅を変えると結果が変わる 定量志向では「どの量を不変に保つか(σ、粗大化速度、分配係数など)」を定めて再同定が必要である
の選び方で時間スケールが大きく変わる 相依存・濃度依存が落ちると、形態が似ていても速度論が外れることがある - 4階PDEを強引に扱うと数値不安定になる 分割形(2階×2)や陰的・半陰、前処理により成立性が上がる
- 連成(弾性、ACとの結合)で剛性が増す 収束条件や時間刻みを系統的に評価しないと、見かけ上の組織が数値誤差に引きずられる
まとめ
Cahn–Hilliard 法は、濃度保存・界面エネルギー・拡散駆動を一体化して金属組織の相分離や析出・粗大化を記述する基礎式である。自由エネルギー汎関数の設計(化学自由エネルギー、勾配係数、弾性項)と、保存則・散逸則を壊しにくい数値解法(分割形、半陰・陰、検証)が、結果の信頼性を左右する。