2007 年 5 月 9 日

材料物理 特別講義 第四（東京工業大学 大学院 総合理工学研究科 材料物理科学専攻）「マルチスケールで観察する材料組織と機能・特性」

材料の組織形成計算
および特性計算の基礎と応用（独）物質･材料研究機構

計算科学センター

小山敏幸（http://www.nims.go.jp/cmsc/pst/koyama/）

第１回

はじめに
本稿は以下の３章より構成されている。
第１章
第２章
第３章

熱力学の構造組織形成ダイナミクス（拡散相分解シミュレーション）
材料特性計算（磁気特性計算）

まず始めに１章にて熱力学全体の一般構造について概観する。特に多変数系における一般的な熱力学の数学的構造（ルジャンドル変換）を視覚的に理解・記憶する方法論について説明する。次に第２章では、全自由エネルギーから拡散相変態を記述する非線形拡散方程式の導出までの流れを解説し、具体的な合金系として Fe-Cu 合金を例に取り、α(bcc)相の拡散相分解現象（スピノーダル分解）をシミュレーションする方法について、プログラム（付録参照）も含めて説明する。特に熱力学と動力学が独立ではないこと、ならびに熱力学がどのように組織形成の動力学と結びついているかを理解していただきたい。第３章では、材料組織形態を境界条件とした、いわゆるイメージベースの特性解析法について説明する。具体的に磁性材料を例にとり、組織形態と磁気特性との関係を、
マイクロマグネティクスに基づき定量的に算出する方法を説明する。
本稿は、近年 種々の方面で発展している材料組織設計および材料特性解析の一部しか取り上げていないが、実際には極めて広汎な材料設計分野（凝固、結晶粒成長、マルテンサイト変態、各種のドメイン形成・成長など）に関しても、本解析手法を基礎に理解を深めていくことができる。受講者においては、連続体モデルにおける全自由エネルギーの評価法、およびそれを基礎とした発展方程式に基づくダイナミクス、さらに特性解析の方法論についての、全体的構造を理解していただ
きたい。

1１章 熱力学の構造
1-1 熱力学関係式
熱力学の体系を理解するには変数の定義を明確にすることが大切である。一定量の物質を対象に、熱力学的平衡状態にて、一意的に値が確定する変数は状態変数と呼ばれる。圧力 P, 体積 V, 温度
T, およびエントロピーS などは状態変数であるが、熱量 Q や仕事 W は状態変数ではない。また状
態変数には、
示量変数(extensive variable)：その変数が量に依存し、いわゆる流量もしくは変位量としてイメ－ジ
できるもの。
示強変数(intensive variable)：その変数が時空における位置において確定し、高低としてイメ－ジできるもの。
に分類することが出来る。熱力学の体系の特徴は、エネ
ルギーの次元を持つ物理量を、示量変数と示強変数の積で表現する点にある。例えば TS , PV ,および μ N などである。μ は化学ポテンシャル、および N はモル数である。
特にこの対となる変数は、"互いに共役な関係にある"と呼ばれる。
熱力学を学習する際にしばしば困難と感じる点は、これら変数が非常に多く、かつ変数間に多数の関係式が存在する点である。実はこの熱力学関係式は、幾何学的に理解することができる。以下において、まず形式的にこの点について説明する。
議論を簡単にするために、変数 P,V,T,S のみを考慮しよう。これら変数間の関係は図 1-1 にて総合的に表現で
図 1-1 変数 P,V,T,S の関係
きる。図の覚え方は以下のようである。光は天の太陽(Sun)から地上の木(Tree)にふりそそぎ（矢印は上から下）、水は山の頂(Peak)から谷(Valley)へ流れ下る（矢印は左から右）。あとは右上の領域から、時計まわりにアルファベット順に、E, F, G, H と書けばよい。E, F, G, H は、内部エネルギー、ヘルムホルツの自由エネルギー、ギブスの自由エネル
ギー、およびエンタルピーである。また各軸は共役な変数の対で構成されている。
この図の使い方を E を例に説明する。まず E は独立変数として S と V を取る。つまり図の E の領域を囲む変数が独立変数である。次に E ( S , V ) を S で偏微分すると T である（図に従ってこれをたどると、矢印に添って T に行き着く）。同様に E ( S , V ) を V で偏微分すると − P である（図に従ってこれをたどると、矢印に逆らって P に行き着く。だから P にマイナスがつく）。したがって、

S

H

P

E

G

F

V

T

⎛ ∂E ⎞⎛ ∂E ⎞⎜⎟ = T, ⎜⎟ = −P⎝ ∂ S ⎠V
⎝ ∂V ⎠ Sであるので、これより、マックスウェルの関係式が⎛ ∂T ⎞⎛ ∂P ⎞⎛ ∂T ⎞⎛ ∂P ⎞
∂2 E
∂2 E
=⎜
= −⎜
⎟ ,
⎟ , → ∴⎜
⎟ = −⎜⎟∂V ∂ S ⎝ ∂V ⎠ S∂ S ∂V⎝ ∂ S ⎠V
⎝ ∂V ⎠ S⎝ ∂ S ⎠Vのように導かれる。以上から E について３つの関係式が導かれることがわかる。F,G,H についても同様にそれぞれ３つの関係式が得られるので、全部で１２個の関係式が図から立ちどころに求められることになる。通常の熱力学の関係式として残っているものは、気体定数 R の定義式である状態
方程式
2

PV = RTのみである。熱力学的関数 E, F, G, H 間の変換は、変換したい変数へ軸に添って、その軸を構成す
る変数の積を矢印に合わせて引けばよい。例えば、 E を F に変換するには、その方向に平行な軸は(S − T ) 軸であり、変換は矢印方向に一致するので、

F = E − TSとなる。E を H に変換するには、その方向の軸は (P − V ) 軸であり、矢印に逆らう方向になるので、

H = E − (− PV ) = E + PVである。E, F, G, H の中で最も基本的な量は E であり、 E の独立変数は全て示量変数である（ E 自
身も示量変数）。 E を起点に上記の操作によって、F,G,H を表す式が求められる（この操作は数学
的にはルジャンドル変換にあたり、一般的に独立変数の変換を行う操作に対応する。「付録」参照）。
E ( S , V ) の全微分は⎛ ∂E ⎞⎛ ∂E ⎞
dE = ⎜⎟ dS + ⎜⎟ dV = TdS − PdV⎝ ∂ S ⎠V
⎝ ∂V ⎠ Sとなり、これが熱力学の第一法則（エネルギー保存則）である。同様に⎛ ∂F ⎞⎛ ∂F ⎞
dF = ⎜⎟ dT + ⎜⎟ dV = − SdT − PdV⎝ ∂T ⎠V⎝ ∂V ⎠T⎛ ∂G ⎞⎛ ∂G ⎞
dG = ⎜⎟ dT + ⎜⎟ dP = − SdT + VdP⎝ ∂T ⎠ P⎝ ∂ P ⎠T
⎛ ∂H ⎞⎛ ∂H ⎞
dH = ⎜⎟ dS + ⎜⎟ dP = TdS + VdP⎝ ∂ S ⎠P
⎝ ∂ P ⎠Sが得られる。ところで、なぜエネルギーにこれほど多くの定義が必要なのであろうか。以上説明したように、例えば E のみを用いても、他のエネルギーは E から変形できるので、いかなる問題も Eをベースに解くことが出来るはずである。確かにこれは正しい。熱力学において、多くの熱力学的関数が用いられる理由は、解きたい問題によって、例えば E を用いると非常に解法が面倒になるが、G を使うと極めて単純に解けるといったことが起こるためである。例えば固体の相安定性を議論する 場 合 、 し ば し ば F が 用 い ら れ る 。 こ れ は 、 固 体 で は dV ≅ 0 と 近 似 で き る の で 、
dF = − SdT − PdV = − SdT となり、式が非常に簡単になるからである。この場合、 E についても
dE = TdS − PdV = TdS となるが、dS による dE を扱うよりも、dT による dF を扱った方が容易であろう（ S よりも T の方がコントロールパラメータとして実験しやすい）。同じ理由で、気体ではdP = 0 と仮定できる場合が多いので，dG = − SdT + VdP = − SdT が多用されるのである。つまり熱力学の問題を解く場合には、一定と仮定できる（微小変化量が 0 と近似できる）状態量に着目し、それを独立変数に持つ熱力学的関数を利用すると、問題が簡潔に説ける場合が多いということになる。
さて、示量変数と示強変数は完全に独立には変化し得るであろうか。これには実は１つ重要な制約が存在する。 E を例にこれについて以下説明しよう。 E は示量変数で、 E の独立変数である S とV も示量変数である（ E は示量変数を独立変数として構成される熱力学的関数と考えても良い）。
したがって示量変数という条件から、任意の定数を λ として、

E (λ S , λV ) = λ E ( S ,V )3

が成立する。この両辺を λ で微分してみよう。

⎛ ∂E ⎞⎛ ∂E ⎞⎜⎟ S +⎜⎟ V =E⎝ ∂ (λ S ) ⎠V⎝ ∂ (λV ) ⎠ S
λ は任意に取れるので、 λ = 1 と置いてみる。

⎛ ∂E ⎞⎛ ∂E ⎞⎜⎟ S +⎜⎟ V = E , ∴ TS − PV = E ,⎝ ∂ S ⎠V
⎝ ∂V ⎠ S⎛ ∂E ⎞⎛ ∂E ⎞∵⎜⎟ = T, ⎜⎟ = −P⎝ ∂ S ⎠V
⎝ ∂V ⎠S

これより、E の全微分

dE = TdS + SdT − PdV − VdP
が数学的に成り立つが、エネルギー保存則から

dE = TdS − PdV
であるので、TdS + SdT − PdV − VdP = TdS − PdV ,∴ SdT − VdP = 0

でなくてはならない。これがギブス-デューエムの関係式である。この式は示量変数と示強変数が完全に独立にはなりえないことを意味している。
熱力学における基本的な関係式は以上で全てである。勿論、他の関係式も存在するが、以上の関係式から全て導くことのできるものである。ここで、これまでの流れをもう一度おさらいしておこう。
（１）状態変数の定義（２）示量変数と示強変数の定義（３）E の定義（４）E を起点に F, G, H を定義（図 1-1 参照）（５）状態方程式の定義（気体定数 R の定義）
（６）ギブス-デューエムの関係式の導出といった流れになっている。
1-2 変数の拡張(4)以上では、変数として S, T, P, V のみを考慮したが、これにモル濃度 N と化学ポテンシャル μ を加えてみよう。この場合、N が示量変数で、それに共役な示強変数が μ であり、 μ N はエネルギーの次元を持つ。
図 1-1 に対応する図は立体となり、図 1-2 のように表現される。図 1-1 に(N-μ)軸を加え、手前の N 側に図1-1 の E, F, G, H が位置する。奥の μ 側については、Fの奥に位置する Ω がグランドポテンシャル、G の奥の Z がゼロポテンシャルと呼ばれる熱力学的関数で、それぞれ、ルジャンドル変換； Ω = F − μ N およびZ = G − μ N ；にて定義される(5)。E と H の奥側でも
4

S

μ

□

□

E
H
P
Z Ω V
G F
N

T

図 1-2 変数 P, V, T, S, N,μの関係

数学的には熱力学的関数を定義出来るが、熱力学において明確な命名はなされていないようである（したがって□で示した）。ちなみに図の覚え方は、(N-μ)軸について、"音はノイズ(Noise)から音楽(Music)へ"と覚えておこう（これに合わせて、手前から奥へ矢印を引く）。図の使用法は、図 1-1 の場合と全く同じである。
まず E の独立変数は、S, V, N である（いずれも示量変数）。例えば E に関する関係式は、⎛ ∂E ⎞⎛ ∂E ⎞⎛ ∂E ⎞⎜⎟ = T, ⎜⎟ = − P, ⎜⎟ =μ
⎝ ∂ S ⎠V , N⎝ ∂V ⎠ S , N⎝ ∂ N ⎠ S ,Vとなる。その他、マックスウェルの関係式やギブス-デューエムの関係式も全く同様に容易に導かれるので、通常の化学熱力学の基本的な関係式はこれで全て求まったことになる。
1-3 一般的な多変数系への熱力学の拡張
以上は、N と μ を加えたのみであったが、上記の議論は任意の示量変数と示強変数の組み合わせ（積はエネルギーの次元を持つ）においても一般的に成立する。そこで、以上の議論を弾性力学および電磁気学も考慮し、さらに一般的な任意の示量変数と示強変数も導入し、かつ多成分系へ拡張
してみよう。まず弾性力学では、示量変数と示強変数はそれぞれ歪 ε ij および応力 σ ij である。もと
もと熱力学には仕事として PV のエネルギー項が存在するが、これは弾性力学における静水圧(圧力-P)における仕事と見なすことが出来るので、この部分を、弾性歪エネルギー (1/ 2)σ ij ε ij に置き換えよう。材料科学における電磁気学では、磁性体及び誘電体の磁場および電場によるエネルギーに着目するので、磁気エネルギーに関する示量変数と示強変数は、それぞれ磁束密度 B と磁場の強さ Hである。また電気エネルギーについては、示量変数と示強変数は、それぞれ電束密度 D と電場の強さ E である。（複数の異なる分野の議論を同時に進めると変数記号が重複する場合が多い。記号 Eは内部エネルギーに用いていたが、ここでは、あらためて内部エネルギーを U で表現することとし、
E は電場を表す記号と定義しなおす。） さらに一般的な示量変数と示強変数（積はエネルギーの次元を持つ）をそれぞれ、 φq および χ q と置く（q は変数の種類を区別する番号）。また多成分系の成分を区別する番号を p と表そう。内部エネルギーU は示量変数のみの関数にて定義されるので、

U ( S , ε ij , N p , Bi , Di , φq ) と表現できる。したがって、 dU は、一般的に
dU = TdS + σ ij d ε ij + μ p dN p + χ q dφq + Ei dDi + H i dBiと表現することができる。一見複雑であるが、前節で説明したように、示量変数と示強変数の組を１つづつ追加していったものと考えればよい。実際にこの多変数系を利用する場合には、1-1 節の基本に立ち戻って、各変数に対して同様の操作を行えば、必要な関係式は機械的に得られる。ただし、変数が増えたためにヘルムホルツの自由エネルギーとギブスの自由エネルギーの定義をより明確化しておく必要がある。両者の違いは、エネルギーを計算する際の系をどのように取るかによって区別される。上記の変数で、外場として作用し得る変数は、例えば外部応力場、外部磁場、および外部電場である。外場が物体になした仕事まで含めたエネルギーを計算する場合にギブスの自由エネルギーを使用し、物体内部のみを系としてエネルギーを計算する場合にヘルムホルツの自由エ
ネルギーを利用する。したがって、外場として作用しえる変数を考慮している問題においては、物体内部で閉じている現象を対象としているのか、外場のなす仕事まで考慮するべきかを判断して、ギブスの自由エネルギーとヘルムホルツの自由エネルギーを使い分ける必要がある。
ここで、以上の変数の相対的位置関係を模式図（図 1-3）で表現してみよう（モル数 N をモル分率 c に置き直しているので注意）。これは、熱力学的関係式を求めるための図ではなく、各変数間がどのような位置関係にあり、各変数に対応して、どのような諸現象が対応するかを示した図である。また各変数間には、熱力学的な関係式だけでなく、種々の構成式が現象論的に成立することが知られている（ただし現象論的な構成式は熱力学の一般原理ではないので、関係式の成立には何らかの条件が必要である）。最も基本的な構成式は、共役な変数間の関係式である（図の左）。また変5

数の時間発展は、発展方程式（微分方程式）として、表現される場合が多い（図の右）。図 1-3 のように変数全体を鳥瞰することは工学的に非常に有益である。なぜならば、材料の諸性質をコントロールする場合、その性質がどの変数と結びついているかを理解することが大切であるからである。
またその変数の制御において、どのような関係式が存在するかも同時に考察することができる。

熱力学変数の関係
σ
磁

歪

現

電

現

象

ε
電磁誘導

変態

c

気

現

象

強

誘

電

体

相

転

移

、電

化

S

化学反応

D→D
S→S
c→c

B = mE

μ

ε →ε

現象

衡
相平

磁

気

発展方程式

学

焦電

誘起

熱

E

D

象

磁気

整合

性現

B

熱弾

H

構成式
σ = Cεε = SσD = εE

圧

象

T

B→B

図 1-3 熱力学変数の位置関係

参考文献(1) H.B.キャレン著、小田垣 孝訳:「熱力学および統計物理入門(上,下)」(第２版), (1998),
吉岡書店(2) 相沢洋二：「キーポイント 熱・統計力学」，(1996), 岩波書店
(3) 橋爪夏樹：「熱・統計力学入門」，(1981), 岩波全書
(4) 小山敏幸：まてりあ, 44(2005), 774.
(5) 菊池良一、毛利哲雄：「クラスター変分法」,(1997), 森北出版

6

第２章 組織形成ダイナミクス（拡散相分解シミュレーション）
2-1 非線形拡散方程式の基礎（Cahn-Hilliard の非線形拡散方程式）
ここでは Cahn-Hilliard の非線形拡散方程式(1-4)に関して、若干詳細に説明する。Cahn はスピノ－
ダル分解理論において、 Gsys を、
2⎛ ∂c ⎞ ⎤1 ⎡2
2
Gsys = ∫ ⎢Gc (c) + η Y< hkl > (c − c0 ) + κ ⎜ ⎟ ⎥dx
L x⎢⎝ ∂ x ⎠ ⎥⎦⎣と表現した（ここで式を簡単にするためにAB２元系を考え、B溶質濃度を c とし、1次元(x方向)拡散を仮定し、領域の長さを L とした）
。η は格子ミスマッチ、 Y< hkl > は弾性率の関数、 κ は濃度勾配
エネルギ－係数である。右辺積分内の第１,２,および３項がそれぞれ組織単位体積当たりの、化学的自由エネルギ－、弾性歪エネルギ－、および濃度勾配エネルギ－である。この３項の和を F とし、
c, x, (∂ c / ∂x) の３つを独立変数と考えて変分原理を適用することによって、オイラ－方程式に基づき、 δ Gsys / δ c は、

δ Gsys ∂ F d ⎧ ∂F ⎫ ∂Gc (c)⎛ ∂2c ⎞=
− ⎨+ 2η 2Y< hkl > (c − c0 ) − 2κ ⎜ 2 ⎟⎬=∂ c dx ⎩ ∂ (∂c / ∂x) ⎭∂c
δc⎝ ∂x ⎠と計算される。この δ Gsys / δ c は通常、拡散ポテンシャルと呼ばれる（弾性歪エネルギーや濃度勾配エネルギーを考慮しない条件下で定義されている場合が多いが、組織形成を扱う場合は、これらエネルギーまで考慮する必要がある）。これを以下の発展方程式⎛ δ Gsys ⎞ ⎫⎪∂c ∂ ⎪⎧= ⎨ M c (c ) ⎜⎟⎬∂t ∂x ⎩⎪
⎝ δ c ⎠ ⎭⎪(2-1)

に代入すると、非線形拡散方程式が⎛ ∂ 2 Gc (c)⎞ ⎛ ∂c ⎞ ⎪⎫⎛ ∂ 3 c ⎞ ⎪⎫∂c ∂ ⎪⎧
∂ ⎪⎧
2
η
κ
2
Y
2
M
(
c
)
= ⎨ M c (c ) ⎜
+
−
⎬
⎨
⎟
⎜ 3 ⎟⎬< hkl > ⎜c⎟2∂t ∂x ⎪⎩∂x ⎪⎩⎝ ∂x ⎠ ⎪⎭⎝ ∂c⎠ ⎝ ∂x ⎠ ⎪⎭と導かれる。ここで、⎛ ∂ 2 Gc (c)⎞2+D ≡ M c (c ) ⎜
η
Y
2
⎟,
<
>
hkl
2
⎝ ∂c
⎠

K ≡ M c (c)κ(2-2)

と置いて、Cahn-Hilliardの非線形拡散方程式は、∂c ∂ ⎧ ⎛ ∂c ⎞ ⎫∂ ⎧⎪ ⎛ ∂ 3 c ⎞ ⎫⎪= ⎨ D ⎜ ⎟⎬ − 2 ⎨ K ⎜ 3 ⎟⎬∂t ∂x ⎩ ⎝ ∂x ⎠ ⎭∂x ⎪⎩ ⎝ ∂x ⎠ ⎪⎭(2-3)

と与えられる(多くのスピノ－ダル分解を扱った教科書では、M c を定数と仮定して K を微分の外に出している)。特に上式の D は整合相分解における相互拡散係数に他ならない。
2-2 線形スピノーダル分解理論（１次元）
以下、線形スピノ－ダル分解理論に基づき、スピノ－ダル分解の優先波長と、温度の関係式を導7

いてみよう。まず式(2-2)と(2-3)を次のように近似する。

⎛ ∂2c ⎞
⎛ ∂4c ⎞∂c ∂ ⎧ ⎛ ∂c ⎞ ⎫∂ ⎪⎧ ⎛ ∂ 3 c ⎞ ⎪⎫= ⎨ D ⎜ ⎟⎬ − 2 ⎨ K ⎜ 3 ⎟⎬ ≅ D ⎜ 2 ⎟ − 2K ⎜ 4 ⎟∂t ∂x ⎩ ⎝ ∂x ⎠ ⎭∂x ⎩⎪ ⎝ ∂x ⎠ ⎭⎪⎝ ∂x ⎠⎝ ∂x ⎠(2-4)⎛ ∂ 2 Gc (c)⎞⎛⎞RTD ≡ M c (c ) ⎜+ 2η 2Y< hkl > ⎟ ≅ M c (c0 ) ⎜ −2Ω ++ 2η 2Y< hkl > ⎟2
c0 (1 − c0 )
⎝
⎠
⎝ ∂c
⎠
K ≡ M c (c)κ ≅ M c (c0 )κ
１次元濃度場を cos 波にて、

c( x, t ) = c0 + Q(k , t ) cos(kx)⎛ ∂2c ⎞
⎛ ∂4c ⎞∂c ∂Q=
cos(kx), ⎜ 2 ⎟ = −k 2 Q(k , t ) cos(kx), ⎜ 4 ⎟ = k 4 Q(k , t ) cos(kx)∂t∂t⎝ ∂x ⎠⎝ ∂x ⎠と置く。これらを式(2-4)に代入すると、⎛ ∂2c ⎞
⎛ ∂4c ⎞∂c
= D ⎜ 2 ⎟ − 2K ⎜ 4 ⎟∂t⎝ ∂x ⎠⎝ ∂x ⎠∂Q
exp(ikx) = D{−k 2 Q (k , t ) exp(ikx)} − 2 K {k 4 Q (k , t ) exp(ikx)}∂t∂Q= (− Dk 2 − 2 Kk 4 )Q (k , t )∂tQ(k , t ) = Q(k , 0) exp{(− Dk 2 − 2 Kk 4 )t} = Q(k , 0) exp{R (k )t}∴ c( x, t ) = c0 + Q(k , 0) exp{R(k )t}exp(ikx)を得る。ここで、R(k ) ≡ − Dk 2 − 2 Kk 4
は（濃度）振幅拡大係数と呼ばれる。これを波数 k で微分し、0 と置くことによって、スピノ－ダ
ル分解の優先波数 kc を以下のように求めることができる。

∂R= −2 Dkc − 8 Kkc3 = 0
∂k
⎛
⎞
RT
M ⎜ − 2Ω ++ 2η 2Y< hkl > ⎟2
c0 (1 − c0 )D
⎠ = 2(Ω − η Y< hkl > )c0 (1 − c0 ) − RT
∴ kc2 = −=− ⎝4M κ4κ c0 (1 − c0 )4K
Ω − η 2Y< hkl >RT+=−4κ c0 (1 − c0 )2κ
特に c0 = 0.5 の場合、

8

kc2 =(Ω − η 2Y< hkl > ) − 2 RT
(Ω − η 2Y< hkl > )
R
=− T+
2κ
κ
2κ
2

となる。これより優先波数の二乗 kc は時効温度 T に比例することがわかる。したがって、実験的に温度を変えて、優先波数を測定し、温度に対してプロットすれば、その傾きから濃度勾配エネルギ
2－定数 κ が、またその切片から相互作用パラメ－タ Ω や η Y< hkl > の情報を得ることが出来る。さらに線形スピノ－ダル分解理論では、優先波数が０（すなわち分解波長が無限大）を与える温度がス
ピノ－ダル温度であるので、上述のグラフの、温度軸（横軸）との切片がスピノ－ダル温度に対応していることになる。
2-3 Fe-Cu合金のα(bcc)相におけるスピノーダル分解の計算式(5)以上の式を具体的に Fe-Cu 合金の α(bcc)相におけるスピノーダル分解に対して適用してみよう。
2-3-1 全自由エネルギ－の計算式(1) 化学的自由エネルギ－
Fe-Cu２元系の α(bcc)相の原子１モル当たりの化学的自由エネルギ－は、準正則溶体近似(磁性項を含む)に基づき、
ααGcα (c, T ) = GFe(T )(1 − c) + GCu(T )c + EGmα + mg Gmα + RT {c ln c + (1 − c) ln(1 − c)}EααGm ≡ LCu , Fe (c, T )c(1 − c)

mg

α

(2-5)
(2-6)

α

Gm ≡ RT ln( β + 1) f (τ )(2-7)

にて与えられる(6,7)。 c が Cu 成分のモル分率である。組織形成過程の計算であるので、 c は時間 t お
よび組織内の位置 r = ( x, y, z ) の関数として c (r, t ) と表記するのが正しいが、ここでは式の煩雑さをα避けるために c と記している。 GX (T ) は純成分 X(=Fe,Cu)の自由エネルギーで、温度 T の関数である。R はガス定数で、式(1)右辺最後の項が原子の配置のエントロピーに起因するエネルギー項であE αる。 Gm は混合の過剰エンタルピー項で準正則溶体近似では式(2-6)にて定義され、平衡状態図の熱α

力学データベースにおいて、右辺の LαCu , Fe (c, T ) が温度と組成の展開式として表現される(4,5)。 Gm はmg

化学的自由エネルギー内の磁性項で、常磁性状態を基準として、相が強磁性もしくは反強磁性状態
mg αに転移した時の自由エネルギー変化量を意味している(6,7)。 Gm は式(2-7)にて定義され、 τ がキュ
αα

リー温度 TC にて規格化された温度 τ ≡ T / TC で、関数 f (τ ) は、

f (τ ) ≡ 1 −⎞⎛τ 3 τ 9
1 ⎪⎧ 79τ −1 474 ⎛ 1
τ 15 ⎞ ⎪⎫
1
+
−
+
+
⎨
⎟⎬ ,
⎜
⎟⎜
D ⎪⎩ 140 p 497 ⎝ p ⎠⎝ 6 135 600 ⎠ ⎪⎭1 ⎛ τ −5 τ −15 τ −25 ⎞f (τ ) ≡ − ⎜++⎟,D ⎝ 10 315 1500 ⎠D≡(τ ≤ 1)(2-8)(τ > 1)⎞
518 11692 ⎛ 1+⎜ − 1⎟
1125 15975 ⎝ p ⎠にて定義される(6,7)。固溶体が bcc 構造の場合 p = 0.40 であり、それ以外の結晶構造では p = 0.28 とαなる。 β はボ－ア磁子で無次元化された１原子当たりの磁化の強さである。合金状態図の熱力学αデータベースにおいて、 TC と β は組成による展開式として与えられる。
αα

具体的に Fe-Cu２元系の α(bcc)相については、 LαCu , Fe (c, T ) , TC , および β は、
α9LαCu , Fe (c, T ) = 39676.0 − 4.73222T , [J/mol]
TCα = 1043(1 − c) − 41.4c(1 − c) ,[K]

β α = 2.22(1 − c)にて与えられている(8)。本計算の対象は同一結晶構造(bcc)内での等温時効における拡散相分解であααるので、自由エネルギーの基準 0 として改めて、 GFe (T )(1 − c) + GCu (T )c を採用しても計算結果は影響を受けない。（拡散相分離の計算では、拡散ポテンシャルの空間勾配が溶質移動の駆動力になる。拡散ポテンシャルを計算する際に自由エネルギーの組成に関する１次項は定数となり（温度一定）、さらに拡散ポテンシャルの空間勾配を計算する際に、この定数は消えてしまう）。したがって、αα
ここでは、議論を簡単にするために、自由エネルギーの基準について、 GFe (T ) = GCu (T ) = 0 と設定する。
(2) 界面エネルギー（濃度勾配エネルギ－）
実際の界面エネルギーには、界面位置における平均場の化学的自由エネルギーも含まれるので、界面エネルギーと濃度勾配エネルギーは正確には異なるが、ここでは(界面エネルギー)＝(濃度勾配
エネルギ－)として議論を進める。計算式は、

111
1
Esurf = κ c (∇cFe ) 2 + κ c (∇cCu )2 = κ c {∇(1 − c)}2 + κ c (∇c)2 = κ c (∇c)2
2
2
2
2

(2-9)

にて与えられる(1,2)。スピノーダル分解の計算では濃度勾配エネルギ－係数 κ c は通常、方向に依存しない定数と仮定される。 κ c の値は、原子間相互作用パラメータ Ω 、界面エネルギ－密度 γ s 、界面幅 d1 、および相互作用距離(1) d2 を用いて、近似的に見積もることが可能である。評価式には、通常、 κ c = k1 d1γ sVm 、もしくは、 κ c = k2 d 22 Ω が用いられる。 k1 と k2 は結晶構造や温度に依存する定数であるが、推奨値などは未だ明確にはなっていない。著者は特に情報が無い場合には経験的に、
k1 = 1～2 および k2 = 0.5 、かつ d 2 = d1 / 2 を用いている。
Fe-CuのCu(bcc)整合析出を対象に、 γ s = 0.28(J/m 2 ) (9) 、 d1 = 1(nm) 、 Ω = 39676(J/mol) （式(2)の LαCu , Fe の0Kにおける値を採用）と仮定すると、上式から例えば

κ c = 1.5 × (1 × 10−9 )[m] × 0.28[J/m 2 ] × (7.1 × 10−6 )[m3 /mol] ≅ 3.2 × 10−15 [J ⋅ m2 /mol]κ c = 0.5 × (0.5 × 10−9 ) 2 [m 2 ] × 39676[J/mol] ≅ 5.0 × 10−15 [J ⋅ m2 /mol]となり、両者はほぼ近い値となる。本計算では κ c = 5.0 × 10−15 [J ⋅ m 2 /mol] を採用した。しかしいずれにしても、界面幅 d1 の設定や界面エネルギー密度 γ s の値自体、不明な場合が多く、 κ c は物理定数と考えるよりも計算モデルにおけるフィッティングパラメ－タと見なした方が工学的には有効な場合が多い。例えば実験で得られたスピノ－ダル分解組織の変調構造の波長を用いて、この値を再現できるように逆問題として κ c をシミュレーションから決定するのも有効な方法である。さらに整合相分解に限定すれば、条件（温度、組成）を変えても、κ c 値は通常大きく変化しないので、ある１つの実験条件で κ c 値を定めれば良い。なお κ c の単位については、ここでは化学的自由エネル
ギーの単位 [J/mol] との整合性から [J ⋅ m2 /mol] を採用しているが、モル体積で割って [J/m] としている場合が多い点を記しておく。
(3) 弾性歪エネルギ－
弾性歪エネルギ－ Estr は、正確には非等方弾性論に基づき、弾性場の長距離相互作用を考慮して積分方程式として解析する必要があるが、ここでは議論を簡単にするため等方弾性体を仮定する。
10

Estr は、
Estr = η 2Y (c − c0 ) 2 Vm

(2-10)

にて与えられる(1-3)。 c0 はCuの合金組成、Y は弾性率の関数(1,2)、Vm はモル体積、およびη は格子ミ
スマッチ(1,7)である。Fe(bcc)とCu(bcc)の格子定数 aFe = 0.28664(nm) (11)および aCu = 0.29607(nm) (10)から、 η = (aCu − aFe ) / aFe = 3.29 × 10−2 と評価される。また Y は以下のように計算される。まず(11)
Fe
Fe(bcc)とCu(bcc)の弾性定数として、 C11Fe = 2.33 × 1011 , C12Fe = 1.35 × 1011 , C44= 1.18 × 1011 (Pa)および C11Cu = 2.86 × 1011 ,Cu
C12Cu = 1.90 × 1011 , C44= 1.45 × 1011 (Pa)

組成 c0 で重み付き平均して、 C11 = C11Fe (1 − c0 ) + C11Cu c0 ,(10)を採用し、次にこれを合金

C12 = C12Fe (1 − c0 ) + C12Cu c0 とする。これ

より Y は、 Y = C11 + C12 − 2(C122 / C11 ) にて計算される（ここでは変調構造の計算の際に用いられ。Vm については純Fe(bcc)のモル体積を用いる。純Fe(bcc)
る関数 Y< hkl > の Y<100> の式を採用している(2)）の格子定数を aαFe とすると、 N Av をアボガドロ数として、モル体積 Vm は原子１個あたりの体積(aαFe )3 / 2 を N Av 倍すればよいので、 Vm = N Av (aαFe )3 / 2 にて計算できる（bccでは単位胞に原子が２個あるので、２で割っている）。
(4) 全自由エネルギ－汎関数と拡散ポテンシャル
以上から、全自由エネルギーは、化学的自由エネルギー、界面エネルギー（濃度勾配エネルギー）、
および弾性歪エネルギーの総和として、空間における汎関数形式にて、⎡ LαCu , Fe c(1 − c) + RT {c ln c + (1 − c) ln(1 − c) + RT ln( β α + 1) f (τ ) ⎤Gsys = ∫ ⎢
⎥ dr
2
2
2
r
⎢⎣ +κ c (∇c) + η Y (c − c0 ) Vm⎥⎦

(2-11)と表現される。 Gsys の c による変分は、変分原理に基づき、

δ Gsys ∂Gcα=
− 2κ c ∇ 2 c + 2η 2Y (c − c0 )Vm∂cδc(2-12)

にて与えられ、これは拡散ポテンシャルと呼ばれる（弾性歪エネルギーや濃度勾配エネルギーを考慮しない条件下で定義されている場合が多いが、整合相分解を扱う場合はこれら全てのエネルギーを考慮する必要がある）。
2-3-2 発展方程式（非線形拡散方程式）の計算式
計算に用いる非線形拡散方程式(1)は、

δ Gsys ⎞⎛∂c= ∇ ⋅ ⎜ M c (c, T ) ∇
⎟
δc ⎠
∂t
⎝

(2-13)

にて与えられる（スピノーダル分解の計算が対象であるので、濃度揺らぎ項は省略した）。M c (c, T )は原子の拡散の易動度で、組成および温度の関数であるが (1-3) 、合金組成 c0 および温度 T の関数

M c (c0 , T ) と 近 似 す る 。 実 際 の 相 分 離 シ ミ ュ レ － シ ョ ン で は 、 式 (2-12) の 拡 散 ポ テ ン シ ャ ル
μ sys ≡ δ Gsys / δ c を位置の関数 (r, t ) として数値計算し、式(2-13)を∂c= ∇ ⋅ {M c ∇μ sys } = M c ∇ 2 μ sys∂t(2-14)
11

と変形して、差分法を用いて数値計算した方が効率的である。つまり組織内の任意の点における拡散ポテンシャル μ sys (r, t ) を式(2-12)から求め、 μ sys (r, t ) について直接 差分計算を行う手法である。
(1) 非線形拡散方程式の無次元化
次に拡散方程式の無次元化について説明する。まずエネルギ－はRTにて無次元化する。また２次元の計算領域の１辺の長さをL、差分計算の分割数をNとすると、差分による空間分割セルの一辺の長さ b1 は、 b1 = L / N である。この b1 を用いて距離を無次元する（差分計算を容易にするため）。また時間は b12 / D にて無次元化する( D は拡散係数)。本計算では等温時効を想定しているので、易動
度 M c (c0 , T ) は定数 M c となる。また拡散係数と易動度の関係式（後述）より、 M c の次元は[m2 /s]/[J/mol] である。以上より２次元(x, y)における非線形拡散方程式を、次元と合わせて表現す
ると、2⎛ ∂ 2 μsys ∂ 2 μsys ⎞∂c⎡ 1 ⎤ ⎡ m /s ⎤ ⎡ J/mol ⎤:= Mc ⎜+=⎟⎢⎣ s ⎥⎦ ⎢ J/mol ⎥ ⎢⎣ m 2 ⎥⎦⎜ ∂x 2∂t∂y 2 ⎟⎠⎣⎦⎝(2-15)となり、無次元化した方程式は、
22
M c RT ⎛ ∂ ( μ sys / RT ) ∂ ( μ sys / RT ) ⎞=+⎜⎟D ⎜⎝ ∂ ( x / b1 ) 2∂ ( y / b1 ) 2 ⎠⎟
⎛ t ⎞
∂⎜ 2
⎟
⎝ b1 / D ⎠∂c(2-16)となる。なお濃度勾配エネルギ－定数 κ c は b12 RT にて無次元化される。
(2) 拡散係数と易動度について
自己拡散係数 DX* (X=Fe,Cu)と M c (c, T ) には
*
*
⎛ DCu
⎞
DFe
M c ( c, T ) = ⎜(1 − c) +c ⎟ c(1 − c)
RT ⎠
⎝ RT

(2-17)の関係がある(1,3)。 DX* は固溶体中におけるX原子の自己拡散係数であるので、正確には DX* は温度および濃度（媒質の固溶体の濃度）の関数である。しかし DX* の組成依存性のデータは少なく、さらにbcc構造におけるCuの自己拡散のデータは入手困難である。ここでは最も単純に、bccFe中にお
*
*
と DFe
を代用し、かつ組成 c については合金組成 c0 にて近けるCuの不純物拡散係数 DCu (T ) にて DCu
似する。したがって、式(2-17)を変形することにより、式(2-16)右辺の係数部分が、D (T ) ⎞D (T )⎛ D (T )(1 − c0 ) + Cu
M c (c0 , T ) = ⎜ Cu
c0 ⎟ c0 (1 − c0 ) = Cu
c0 (1 − c0 )
RT
RT
⎝ RT
⎠
M (c , T ) RT
∴ c 0
= c0 (1 − c0 )DCu (T )(2-18)⎛ 244000 ⎞(11)
2⎟ ,[m /s] にて与RT ⎠⎝と導かれる。さてαFe中のCuの不純物拡散係数は、DCu = 4.7 × 10−5 exp ⎜ −えられるが、実際に相分解シミュレーションを行う際に、この値は、無次元化された計算時間
t ' ≡ t /(b12 / D) を実時間 t に変換する時にのみ必要になる。つまり無次元化された非線形拡散方程式
12

は最終的に⎛ ∂ 2 ( μ sys / RT ) ∂ 2 ( μsys / RT ) ⎞∂c= c0 (1 − c0 ) ⎜+⎟⎜ ∂( x / b1 ) 2∂t '∂ ( y / b1 )2 ⎟⎠⎝(2-19)であるので、計算時間 t ' にて議論する限りにおいては、拡散係数の値自体は特に必要ではない。
2-4 計算状態図とスピノーダル分解の計算結果
2-4-1 α(bcc)相の相分離に対する準安定状態図
Fe-Cu２元系におけるα(bcc)相のみを考慮した場合の準安定状態図は、図2-1にて与えられる(8)。実線がバイノーダル線、点線がスピノー
ダル線、および一点鎖線はキュリー温度を表している。磁気過剰自由エネルギーの効果によって、キュリー温度とスピノーダル線が交わる位置においてスピノーダル線に折れ曲がりが生じている。Fe-Cu系は非常に相分離傾向が大きく、図のように広いmiscibility gapが存在する（なおFe-Cu系では、γ(fcc)相や液相においても同様な準安定のmiscibility gapが存在する）。つ
まり、この系の相分離の駆動力は極めて大きいので、形成されるCu-rich相は極めて微細（数nm程度）となる。

図 2-1

Fe-Cu２元系における α(bcc)相の準安定状態図2-4-2 プログラムの実行方法と計算結果の例
２次元相分解シミュレーションのプログラムはJavaアプレットにて作成されている。本稿の付録(1)にJavaアプレットのソースコード(FeCu_bcc_ferrum.java)、および付録(2)にアプレット起動用のhtmlファイル(FeCu_bcc_ferrum.html)を示す。プログラムの内容については、プログラム内のコメン
ト文（各行の//以降の文）を参照していただきたい。Javaコンパイラはインターネット経由で無償にて入手できる。なお、Java言語やコンパイル環境の構築については文献(12,13)等をご参照願いたい。
さてFeCu_bcc_ferrum.javaをコンパイルすると、クラスファイル(FeCu_bcc_ferrum.class)が生成される。次に生成されたクラスファイルとFeCu_bcc_ferrum.htmlをディスク上の同じディレクトリに置き、FeCu_bcc_ferrum.htmlダブルクリッ
クして、Internet Explorer等のブラウザを起動することによって、図2-2の画面が現れる。図中の左列が入力するパラメータ値で、上から、合金組成(モル分率)、時効温度(K)、
計算領域の長さ(nm)、および時間きざみ(無次元)である。画面の一番下に、スター
ト、ストップ、およびリセットのボタンがあり、左列の値を設定して、スタートボタ
ンを押すことにより相分解シミュレーシ
ョンが開始する。図の下の数値は計算ステ
ップ数である（計算ステップ数に時間きざみを乗じた数が無次元の計算時間）。スト
ップボタンによって計算は一時停止し、リ
セットボタンによって、均一固溶体状態に
図 2-2 相分解の２次元シミュレーションの初期画面戻る。
13

具体的な計算例を図2-3に示す。図(a)～(d)は、合金組成 c0 = 0.3 （Fe-30at%Cu）および時効温度
873Kにおけるスピノーダル分解の時間発展である。図中の相分解組織の明暗が局所的なCu組成に対応し、白～黒が0at%Cu～100at%Cuを表している。また計算領域１辺は20nmに設定してある。初期状態は図２の固溶体（±1%程度の濃度揺らぎを乱数によって与えてある）であり、相分解の初期に均一な"まだら構造"が形成され[図(a)～(b)]、その後、組織は孤立した微細なCu析出粒子が分散する組織となり[図(c)]、時効の進行に伴いオストワルド成長によってCu析出相が粗大化していく[図(d)]。合金組成や、時効温度を変えて種々の条件下でのスピノーダル分解過程を、パソコン上にてその場観察しながら計算を進めることができる。
本Javaアプレットのソースコード（FeCu_bcc_ferrum.java）を修正することによって、本プログラ
ムは、Fe-Cr合金やCo-Cu合金などの他の２元系のプログラムに容易に書き換えることが出来る。特にFe-Cr合金への変換は簡単であるので、興味のある方はトライされることを薦める。
以上、Fe-Cu２元系の拡散相分離シミュレーションを例にとり、平衡状態図の熱力学的デー
タがどのように相分離シミュレーションに反映されているかについて説明した。組織形成の解析に対して、状態図に関連する熱力学的デー
タを直接使用することが可能となったことは、合金組織学が、平衡論（スタティクス）から動的変化過程（ダイナミクス）までを統一的かつ定量的に同時解析できるステージに入り始めたことを意味している。近年、種々の分野で活発に研究が進められているナノ・メゾスケール
における材料設計では、デバイスのスケール自体が微視的な材料組織のスケールに重なってくるので、組織形態のコントロールが、これまでにも増して重要となりつつある。この時、平衡論から動的変化過程までをシームレスに活用できるスキルを完備しておくことは、次世代の新材料・デバイス設計（競争力を十分に維持 図 2-3 Fe-30at%Cu 合金の 873K 等温時効におけるスピする もの造り方法論の構築）において、決定 ノーダル分解過程の計算例
的な武器になるのではないだろうか。
参考文献(1) J.E.Hilliard: "Phase Transformation", ed. by H.I.Aaronson, ASM, Metals Park, Ohio, (1970), 497.
(2) J.W.Cahn: "The Selected Works of J.W.Cahn", ed. by W.C.Carter and W.C.Johnaon, TMS, (1998), 29.
(3) 小山敏幸:ふぇらむ, 9(2004), 240,301,376,497,905.
(4) 小山敏幸:まてりあ, 42(2003), 397, 470.
(5) 小山敏幸:ふぇらむ, 11(2006), 647.
(6) N.Saunders and A.P.Miodownik : "CALPHAD", ,Pergamon, (1998).
(7) 阿部太一: ふぇらむ, 11(2006), 520.
(8) Q.Chen and Z.Jin : Metall.Mater.Trans. A, 26(1995), 417.
(9) Z.G.Yang and M.Enomoto: Mater. Sci. Eng. A, 332(2002), 184.
(10) T.Harry and D.J.Bacon: Acta Mater., 50(2002), 195.
(11) 金属デ－タブック(改定３版), 日本金属学会編, (1993), 丸善(12) 峯村吉泰:「Java で学ぶシミュレーションの基礎」、(2006)、森北出版.
(13) 山本芳人:「Java による図形処理入門」、(1998)、工学図書.

14

第３章 材料特性計算（磁気特性計算）
近年、イメージベースの特性解析が多くの学問分野で進んでいる。つまり、材料の内部組織形態
情報を直接活用した特性解析である。これには最近の分析機器の高性能化の寄与が大きい。すなわ
ち、材料のナノスケールにおける２次元および３次元における内部組織情報が、デジタルイメージ
として入手可能になってきたことが、この分野を加速させている要因の１つである。濃度場や結晶方位などの材料組織のデジタル情報を直接活用できるようになると、この情報を材料自体の特性解析に活用する方向性は自然な流れである。特に近年の MEMS に代表されるように、もの創りのス
ケールがナノスケールに近づいているため、ナノおよびメゾスケールにおける不均一な材料組織を直接考慮した設計が、実際のもの創りで必要となってきている。ここでは、組織形態をベースとした特性計算の１例として、マイクロマグネティクス(1,2)に基づく磁気特性（磁気ヒステリシス）の算出法について説明する。
マイクロマグネティクスの定義は、「磁気物性と応用素子をシステム的にとらえ、その磁気モーメン
ト場の微視的挙動を基礎に機能を創出する学問体系」とされるが、ここでは、マイクロマグネティク
スを、材料組織形態情報を境界条件として、外部磁場下における、その組織上での磁気モーメント。
場 M (r, t ) のダイナミクスを計算する方法論とみなす（ r は材料組織内の位置ベクトル、 t は時間）
基本的な数値計算の流れは、形式的に２章で説明した拡散方程式の解法に非常によく似ている。すなわち、場を記述する変数は、拡散相分解では濃度場 c (r, t ) であったが、マイクロマグネティクス
では、場を記述する変数として磁気モーメント場 M (r, t ) が採用される。また全自由エネルギーの代
わりに全磁気エネルギーが使用され、もちろんこのエネルギーは変数 M (r, t ) を用いて記述される。
さらに場の時間および空間発展に関しては、非線形拡散方程式の代わりに、Landau-Lifshitz-Gilbert
方程式(1,2)（もしくはこれをやや近似した Landau-Lifshitz 方程式）が、磁気モーメント場のダイナミクスを記述する発展方程式として用いられる。したがって、実際の数値計算に関しては、２章の計算手法の大部分を直接応用することができるという利点がある。
以下、全磁気エネルギーの評価法および Landau-Lifshitz-Gilbert 方程式について説明する。
3-1 全磁気エネルギ－の評価
位置 r および時間 t における磁気モーメントを M (r, t ) とする（ベクトル場である点に注意。また
以下において時間の記号 t を省略し M (r ) と記す場合もあるので注意）。物体の全磁気エネルギ－は、Etotal = E0 + Eext + Eexch + Ean + Emstr + Ed

(3-1)

にて表現され、 E0 は常磁性状態から強磁性状態へ変化した時の磁気エネルギ－変化（新たな磁荷の発生がない場合、この項は定数と置くことが出来るので、これをエネルギーの基準に取り０とする場合が多い）、 Eext は外部磁場に起因するゼーマンエネルギ－、 Eexch は磁気スピンの交換積分に起因するエネルギ－で、ここでは磁壁エネルギ－に対応する（平均場の交換エネルギ－は E0 に含まれている）。 Ean は結晶磁気異方性エネルギ－、 Emstr は磁気歪エネルギー、および Ed は反磁界エネルギ－である。M (r ) の絶対値を M = M (r ) とし、その最大値を M s とする。この M s にて M (r, t )を規格化した磁気モーメントを

m(r, t ) =M (r, t )
MS

(3-2)

にて定義する（したがって、 −1 ≤ m(r, t ) ≤ 1 である）
。また各種の磁場 H (r, t ) も M s にて規格化し、

h(r, t ) =μ0 H (r, t )

(3-3)

MS
15

と置く。 μ0 は真空の透磁率である。個々のエネルギ－は、たとえば、

Eext = − K d ∫ m(r ) ⋅ h ext (r )drr{Eexch = A∫ ∇m1 + ∇m2 + ∇m3
r

2

2

2

} dr

Ean = K u ∫ {1 − [m(r ) ⋅ euan (r )]2 } dr

(3-4)

r

1
Cijkl {ε ijc (r ) − ε ij0 (r )}{ε klc (r ) − ε kl0 (r )}dr∫r2
1
Ed = − K d ∫ m(r ) ⋅ h d (r )drr2
Emstr =のように与えられる。 K d = M s / μ0 （ M (r, t ) と h(r, t ) を無次元化した操作を戻している）で、
2

Ku = Ku 0 M s2 、および A = A0 M s2 である（これも M (r, t ) を無次元化した操作を戻している。さらに
A には(距離)2 の次元も含まれている点に注意）。 euan (r) は磁化容易軸方向を表す単位ベクトルで、22定義から 0 ≤ 1 − [m(r ) ⋅ euan (r )] ≤ 1 であり、m(r) // euan (r) の時に 1 − [m(r ) ⋅ euan (r )] = 0 となるので、結晶磁気異方性エネルギ－の最小値は０である（定義上、負にならない）。上式において磁気歪エネルギ－ Emstr については、より一般的な表記とした。基本的に eigen 歪 ε ij0 (r ) が M (r ) の関数となっていると考えれば良い。また全歪 ε ijc (r ) は平衡方程式（力のつりあい条件）を用いて ε ij0 (r ) から決定できる。 Cijkl は弾性定数である。なお本稿の以下の計算では、磁気歪エネルギ－は省略しているので、これ以上の説明は省略させていただく(この部分のより詳細な計算については文献(3)を参照されると良い)。反磁界エネルギ－ Ed は具体的に、静磁場の双極子-双極子相互作用エネルギ－として、

1
Kdm(r )g(r − r')m(r')dr'dr
2 ∫r ∫r'3(ri − ri ' ) (rj − rj' ) ⎤1
1 ⎡ δ ij
= K d ∫ ∫ mi (r )−⎢⎥ m j (r')dr'dr5r r'
24π ⎢ r − r' 3
r
−
r'
⎥⎦
⎣
1
1 ⎡ m(r') 3(r − r') {m(r') ⋅ (r − r')} ⎤= K d ∫ ∫ m(r ) ⋅−⎥ dr'dr⎢5r r'
24π ⎢ r − r' 3
r − r'
⎣
⎦⎥

Ed =

(3-5)

1
1 ⎡ m(r') 3(r − r') {m(r') ⋅ (r − r')} ⎤ ⎪⎫⎪⎧= − K d ∫ m(r ) ⋅ ⎨− ∫−⎢⎥ dr'⎬ dr
3
5
r
r' 4π
2
r − r'⎢⎣ r − r'
⎥⎦ ⎪⎭
⎪⎩
1
= − K d ∫ m(r ) ⋅ h d (r )drr2
にて与えられるので、反磁界は、

1 ⎡ m(r') 3(r − r') {m(r') ⋅ (r − r')} ⎤
−
⎥ dr'
⎢
3
5
r' 4π
r − r'⎢⎣ r − r'⎥⎦h d (r ) = − ∫(3-6)

にて表現される。 h d (r ) は無次元化された表現であるが、次元を戻して、 M s / μ0 をかけると、

16

H d (r ) =Ms

μ01 ⎡ M s m(r') 3(r − r') {M s m(r') ⋅ (r − r')} ⎤
−
⎢
⎥ dr'
3
5
r' 4πμ
r
r'
r
r'
−
−
⎥⎦
0 ⎢
⎣

h d (r ) = − ∫1 ⎡ M (r') 3(r − r') {M (r') ⋅ (r − r')} ⎤
−
⎢
⎥ dr'
3
5
r' 4πμ
r
r'
r
r'
−
−
⎥⎦
0 ⎢
⎣

= −∫

となる。
式(3-4)において、 Eext ≤ 0,

Eexch ≥ 0, Ean ≥ 0, Ed ≥ 0 である。特に Eext については m(r ) とhext (r) が同じ方向を向いた場合に最小値を取る。
また式(3-6)は長距離相互作用であるので、フーリエ変換を用いて逆空間にて計算する。まず式(3-6)を書き下すと、
1 ⎡ m1 (r') 3(r1 − r1' ) {m1 (r')(r1 − r1' ) + m2 (r')(r2 − r2' ) + m3 (r')(r3 − r3' )} ⎤
−
⎢
⎥ dr'
3
5
r' 4π
r − r'⎢⎣ r − r'⎥⎦3(r − r ' ) 2 ⎤1 ⎡ 1
1 3(r1 − r1' ) (r2 − r2' )1 3(r1 − r1' )(r3 − r3' )= −∫− 1 15 ⎥ m1 (r')dr' − ∫ −m2 (r')dr' − ∫ −m3 (r')dr'
⎢
5
3
5
r' 4π
r'
r'
4π
4π
r − r' ⎥⎦r − r'r − r'⎢⎣ r − r'h1d (r ) = − ∫1 ⎡ m2 (r') 3(r2 − r2' ) {m1 (r')(r1 − r1' ) + m2 (r')(r2 − r2' ) + m3 (r')(r3 − r3' )} ⎤
−
⎢
⎥ dr'
3
5
r' 4π
r − r'⎢⎣ r − r'⎥⎦3( r2 − r2' ) 2 ⎤1 ⎡ 1
1 3(r2 − r2' )(r1 − r1' )1 3(r2 − r2' )(r3 − r3' )
= −∫
−
m
(
)
d
−
−
m
(
)
d
r'
r'
r'
−
−
m3 (r')dr'
r'
⎢
⎥
2
1
3
5
5
5
∫r' 4π∫r' 4πr' 4πr − r' ⎥⎦r − r'r − r'⎢⎣ r − r'h2d (r ) = − ∫1 ⎡ m3 (r') 3(r3 − r3' ) {m1 (r')(r1 − r1' ) + m2 (r')(r2 − r2' ) + m3 (r')(r3 − r3' )} ⎤
−
⎢
⎥ dr'
3
5
r' 4π
r − r'⎣⎢ r − r'⎦⎥3(r − r ' ) 2 ⎤1 ⎡ 1
1 3(r3 − r3' )(r1 − r1' )1 3(r3 − r3' )(r2 − r2' )= −∫− 3 35 ⎥ m3 (r') dr' − ∫ −m1 (r')dr' − ∫ −m2 (r')dr'
⎢
5
5
3
r' 4π
r'
r'
4π
4π
r − r' ⎥⎦r − r'r − r'⎢⎣ r − r'h3d (r ) = − ∫(3-7)となる。ここで、 m(r ) のフ－リエ表現を、

m(r ) = ∫dkm(k ) exp(ik ⋅ r )(2π )3(3-8)と定義すると、

1 ⎛ δ ij 3ri rj ⎞dk ki k jexp(ik ⋅ r )⎜ 3 − 5 ⎟=∫4π ⎝ rr ⎠(2π )3 k 2
3(ri − ri ')(rj − rj ') ⎤ki k j1 ⎡ δ ijdk⎢⎥−=
exp{ik ⋅ (r − r')}352∫
4π ⎢ r − r'k(2π )3⎥⎦r − r'⎣
ki k j3( ri − ri ')(rj − rj ') ⎫⎪1 ⎧⎪ δ ij∴ 2 =∫−⎨⎬ exp{−ik ⋅ (r − r')}d (r − r')35r −r' 4πkr − r'⎪⎩ r − r'⎪⎭3(ri − ri ')(rj − rj ') ⎫⎪1 ⎧⎪ δ ij−⎨⎬ exp{−ik ⋅ (r − r')}dr'
3
5
r' 4π
r
r'
r
r'
−
−
⎪⎩
⎭⎪

=∫

17

(3-9)

であるので、

3(r1 − r1' ) 2 ⎤1 ⎡ 1∫r' 4π ⎢⎢ r − r' 3 − r − r' 5 ⎥⎥ m1 (r')dr'⎣⎦⎡ k2
dk ⎤ ⎡dk ⎤= ∫ ⎢ ∫ 12 exp{ik ⋅ (r − r')}m1 (k ) exp(ik ⋅ r')
⎥
⎢
⎥ dr'
3
∫
r'
(2π ) ⎦ ⎣(2π )3 ⎦⎣ k
k12
dk dk'= ∫ ∫ 2 m1 (k') ∫ exp{i (k' − k ) ⋅ r'}dr' exp(ik ⋅ r )k k' kr'(2π )3 (2π )3

{

}

k12
dk dk'
m1 (k')(2π )3 δ (k' − k ) exp(ik ⋅ r )2
k k' k(2π )3 (2π )3

=∫ ∫

k12
dk
dk
= ∫ n12 m1 (k ) exp(ik ⋅ r )m1 (k ) exp(ik ⋅ r )
2
3
k k
k
(2π )
(2π )3=∫および1 ⎡ 3(r1 − r1' )(r2 − r2' ) ⎤∫r' 4π ⎢⎢− r − r' 5 ⎥⎥ m2 (r')dr'⎣⎦⎡ kk
dk ⎤ ⎡dk ⎤
m2 (k ) exp(ik ⋅ r')= ∫ ⎢ ∫ 1 2 2 exp{ik ⋅ (r − r')}
⎥ dr'
⎥
⎢
3
∫
r'
(2π ) ⎦ ⎣(2π )3 ⎦⎣ kkk
dk dk'= ∫ ∫ 1 2 2 m2 (k') ∫ exp{i (k' − k ) ⋅ r'}dr' exp(ik ⋅ r )k k' kr'(2π )3 (2π )3kk
dk dk'= ∫ ∫ 1 2 2 m2 (k')(2π )3 δ (k' − k ) exp(ik ⋅ r )k k' k(2π )3 (2π )3dk= ∫ n1 n2 m2 (k ) exp(ik ⋅ r )k(2π )3{}から、
3(r − r ' ) 2 ⎤1 ⎡ 1
1 3(r1 − r1' ) (r2 − r2' )1 3(r1 − r1' )(r3 − r3' )m2 (r')dr' − ∫ −− 1 1 5 ⎥ m1 (r')dr' − ∫ −m3 (r')dr'
⎢
3
5
5
r' 4π
r'
r'
4π
4π
r − r' ⎥⎦r − r'r − r'⎢⎣ r − r'dk= − ∫ {n1 n1 m1 (k ) + n1 n2 m2 (k ) + n1 n3 m3 (k )} exp(ik ⋅ r )k(2π )3h1d (r ) = − ∫3(r − r ' ) 2 ⎤1 ⎡ 1
1 3(r2 − r2' )(r3 − r3' )1 3(r2 − r2' )(r1 − r1' )m1 (r')dr' − ∫m3 (r')dr'− 2 25 ⎥ m2 (r')dr' − ∫ −
⎢
5
3
5
r'
r' 4π
r'
4π
4π
r − r'r − r' ⎥⎦r − r'⎢⎣ r − r'dk= − ∫ {n2 n1 m1 (k ) + n2 n2 m2 (k ) + n2 n3 m3 (k )} exp(ik ⋅ r )k(2π )3h2d (r ) = − ∫ −3(r3 − r3' ) 2 ⎤1 3(r3 − r3' )(r2 − r2' )1 ⎡ 1
1 3(r3 − r3' )(r1 − r1' )
m
(
)
d
m
(
)
d
r'
r'
r'
r'
−
−
−
−
⎢
1
2
5
5
∫r' 4π∫r' 4π ⎢ r − r' 3 r − r' 5 ⎥⎥ m3 (r')dr'r'
4πr − r'r − r'⎣⎦dk= − ∫ {n3 n1 m1 (k ) + n3 n2 m2 (k ) + n3 n3 m3 (k )} exp(ik ⋅ r )k(2π )3h3d (r ) = − ∫ −(3-10)
18

を得る。つまり、高速フーリエ変換によって m(r ) から m(k ) を数値計算し、これに ni n j をかけた後、
高速逆フーリエ変換することによって、 h d (r ) を求めることが出来る。
イメージベースの解析で重要な点は、 M や euan (r ) が位置 r に存在する物質の種類・状態（濃度,
規則度, 結晶方位等）に依存する点である。つまり、この部分がイメージベースの解析における、イメージからの境界条件（拘束条件）となる。
3-2

Landau-Lifshitz-Gilbert(LLG)方程式

m(r, t ) の時間および空間発展は、以下の Landau-Lifshitz-Gilbert(LLG)方程式：∂m(r, t )∂m(r, t )= −γ 0 m(r, t ) × {heff (r, t ) + hth (r, t )} + α 0 m(r, t ) ×∂t∂t⎧∂ m (r, t )∂ m1 (r, t )∂ m (r, t ) ⎫= −γ 0 ⎡⎣ m2 (r, t ){h3eff (r, t ) + h3th (r, t )} − m3 (r, t ){h2eff (r, t ) + h2th (r, t )}⎤⎦ + α 0 ⎨m2 (r, t ) 3− m3 (r, t ) 2
⎬
t
∂t
∂
∂t
⎩
⎭
⎧
∂ m (r, t ) ⎫∂ m2 (r, t )∂ m (r, t )= −γ 0 ⎡⎣ m3 (r, t ){h1eff (r, t ) + h1th (r, t )} − m1 (r, t ){h3eff (r, t ) + h3th (r, t )}⎤⎦ + α 0 ⎨m3 (r, t ) 1− m1 (r, t ) 3
⎬
∂t
∂t
∂t ⎭
⎩
∂ m3 (r, t )⎧∂ m (r , t )∂ m (r, t ) ⎫= −γ 0 ⎣⎡ m1 (r , t ){h2eff (r, t ) + h2th (r, t )} − m2 (r, t ){h1eff (r, t ) + h1th (r, t )}⎦⎤ + α 0 ⎨m1 (r, t ) 2− m2 (r, t ) 1
⎬
t
∂t
∂
∂t ⎭
⎩

(3-11)
を数値計算することによって求めることができる。基本的にトルク計算であるので、磁気モーメン
ト成分として、m1 , m2 , m3 の３種類が必要である（ m1 , m2 が変化するためには m3 の変化が必要）。な
お条件によっては２次元計算も可能である（例えば、 m1 ( x, y ), m2 ( x, y ), m3 ( x, y ) のような場合）。
さて、上式の有効磁場 h eff (r, t ) は、

h eff (r, t ) = −δ Etotalδ m(r, t )(3-12)⎛ δ Etotal
δ Etotal
δ Etotal ⎞(h (r, t ), h (r, t ), h (r, t )) = ⎜ −,−,−⎟⎝ δ m1 (r, t ) δ m2 (r, t ) δ m3 (r, t ) ⎠
eff
1

eff
2

eff
3

にて定義される。 hth (r, t ) は熱揺らぎに起因する磁場で、ガウス型ノイズ

hith (r, t ) = 0(3-13)

hith (r, t )hthj (r', t ') = 2 Dδ ij δ (r − r')δ (t − t ')を満たす。なお hi (r, t ) は h (r, t ) の成分で、h (r, t ) = (h1 (r, t ), h2 (r, t ), h3 (r, t )) である。γ 0 は磁気
th

th

th

th

th

th

回転比、および α 0 は減衰係数である(1)。式(3-12)右辺にマイナスがついている理由は、エネルギ－
を式(3-4)のように定義しているためである。特に Eext のみが存在する場合を考えるとわかり易い（マイナスがないと外部磁場が逆方向になってしまう）。また式(3-11)の数値計算に関しては、
mi ' ≡ ∂ mi (r, t ) / ∂t と置いて、式(3-11)を

m1 ' = a1 + a2 m3 '− a3 m2 'm2 ' = b1 + b2 m1 '− b3 m3 'm3 ' = c1 + c2 m2 '− c3 m1 '19

a1 = −γ 0 ⎡⎣ m2 (r, t ){h3eff (r, t ) + h3th (r, t )} − m3 (r, t ){h2eff (r, t ) + h2th (r, t )}⎤⎦ , a2 = α 0 m2 (r, t ), a3 = α 0 m3 (r, t )b1 = −γ 0 ⎡⎣ m3 (r, t ){h1eff (r, t ) + h1th (r, t )} − m1 (r, t ){h3eff (r, t ) + h3th (r, t )}⎤⎦ , b2 = α 0 m3 (r, t ), b3 = α 0 m1 (r, t )c1 = −γ 0 ⎡⎣ m1 (r, t ){h2eff (r, t ) + h2th (r, t )} − m2 (r, t ){h1eff (r, t ) + h1th (r, t )}⎤⎦ , c2 = α 0 m1 (r, t ), c3 = α 0 m2 (r, t )と書き直し、クラーメルの公式に基づき、

m1 ' = a1 + a2 m3 '− a3 m2 'm2 ' = b1 + b2 m1 '− b3 m3 'm3 ' = c1 + c2 m2 '− c3 m1 '→a3 − a2 ⎞ ⎛ m1 ' ⎞ ⎛ a1 ⎞
⎛ 1
⎜
⎟⎜
⎟ ⎜ ⎟
1
b3 ⎟ ⎜ m2 ' ⎟ = ⎜ b1 ⎟
⎜ −b2
⎜ c
1 ⎟⎠ ⎜⎝ m3 ' ⎟⎠ ⎜⎝ c1 ⎟⎠⎝ 3 −c2
1 a1 −a2
1
a3

a1
b1
c
∴ m1 ' = 1
1

a3
1
−c2
a3

−a2
b3
−b2
1
c3
, m2 ' =
−a2
1

b1
c1
a3

b3
−b2
1
c3
, m3 ' =
−a2
1

−b2
c3

1
−c2

b3
1

−b2
c3

1
−c2

b3
1

−b2
c3

a1
b1

1
−c2 c1a3 −a21−c2b31のように解く。mi ' が得られるので、 mi (r, t ) の時間発展は、通常のオイラー法等によって計算することができる。
有効磁場 h eff (r, t ) は、ベクトル場であり、

h eff (r, t ) = −δ Etotalδ m(r, t )⎛ δ Etotal
δ Etotal
δ Etotal ⎞(h1eff (r, t ), h2eff (r, t ), h3eff (r, t )) = ⎜ −,−,−⎟⎝ δ m1 (r, t ) δ m2 (r, t ) δ m3 (r, t ) ⎠にて定義されるので、Etotal = Eext + Eexch + Ean + Edδ Etotal
δ Eextδ Eexch
δ Ean
δ Ed
=
+
+
+
δ m(r, t ) δ m(r, t ) δ m(r, t ) δ m(r, t ) δ m(r, t )= − K d h ext (r ) − 2 AΔm(r ) − 2 K u euan (m(r ) ⋅ euan ) − K d h d (r )より（磁気歪エネルギーは省略している）、

h eff (r, t ) = −δ Etotal= K d hext (r ) + 2 AΔm(r ) + 2 Ku euan (m(r ) ⋅ euan ) + K d h d (r )
δ m(r, t )(3-14)となる。なおeuan (m(r ) ⋅ euan ) = euan {m1 (r ) ⋅ e1uan + m2 (r ) ⋅ e2uan + m3 (r ) ⋅ e3uan }= {m1 (r ) ⋅ e1uan + m2 (r ) ⋅ e2uan + m3 (r ) ⋅ e3uan } ( e1uan

である。
20

e2uan

e3uan )

(3-15)

3-3 計算例(4)
ここでは、磁気ヒステリスを計算する対象として、FePt ナノグラニュラー組織を取り扱う(5)。この材料は、ナノスケールの FePt 微粒子がアモルファスアルミナの薄膜母相中に分散している組織
で、次世代の高密度磁気記録材料（ハードディスクの記録層）の候補として注目されている材料である。組織形態は、実験的に組織写真から入手できるが、ここでは、FePt ナノグラニュラー組織形
成に関する Phase-field シミュレーション(6)から得られた組織を用いた。
Phase-field シミュレーションから得られる組織形態情報は、位置 r における FePt 粒子の存在確率
φFePt (r ) とその規則度 s (r ) 等であるが、図 3-1 は試みに秩序変数 φFePt (r ) の情報のみを採用して磁気ヒステリシスを計算した結果で、(A)と(B)は FePt 相の規則度を、それぞれ s = 0 および s = 0.8 と仮定した場合に対応している。縦軸は M = M s m1 で、 m1 は磁気モーメントの x 成分 m1 の平均値である。本計算では結晶磁気異方性係数が、規則度 s の自乗に比例すると仮定して計算を行ったので、(A)は異方性がない場合、(B)は異方性を考慮した場合に相当する。図 3-2 における(A)と(B)は組織内の磁気モーメントの x 成分 m1 を明暗にて表現した図で、それぞれ図 3-1 の(A)と(B)に対応している。
図 3-2 の a～e は、図 3-1 の磁気ヒステリシス内の a)～e)の位置に対応している。これより、まず結晶磁気異方性を考慮した(B)の方の保持力が大きく、また(A)は超常磁性状態に近い挙動を示すことがわかる。ヒステリシスにおける飽和磁化の値は結晶磁気異方性を考慮していない(A)の方が若干高い。以上の傾向は、実際の実験結果とよく対応している(4)。

図 3-1 規則度の違いによる磁気ヒステリシス変化

図 3-2 組織内の磁気モーメントの変化（図 3-1 のヒステリシス曲線に対応）

21

参考文献
(1) 太田恵造, 磁気工学の基礎Ⅱ, 共立出版, ９章, (1973).
(2) W.F.Brown, "Micromagnetics", Krieger Pub Co (Reprint edition), (1978).
(3) J.X.Zhang and L.Q.Chen, Acta Materialia, 53(2005), 2845.
(4) 小山敏幸（分担執筆）,「ナノコンポジットマテリアル」, フロンティア出版, (2005), 24.
(5) D.H.Ping et al., J.Appl.Phys.,90, 4708(2001).
(6) T.Koyama and H.Onodera, Mater.Trans., 44(2003), 1523.

22

おわりに
本稿では、特に非線形拡散方程式を中心に、材料組織形成過程の解析法について説明した。本計算法は、近年、著しい発展を遂げている"Phase-field 法を用いた材料組織形成解析"の分野の一例である。最後にこの Phase-field 法に関して少しコメントしておきたい。Phase-field 法は、本稿で説明
した拡散相分解の計算手法を、各種の組織形成一般に拡張した方法論と見ることができる。したがって、この Phase-field 法の枠組みにおいては、全自由エネルギーを基礎に組織形成のダイナミクス
を定量的に解析できるので、材料設計において非常に有効なツールとなり得る。歴史的に材料科学・工学の各分野において、エネルギーを活用していない分野はおそらく存在しないと思う。さらにナノ・メゾ・マイクロスケールにおける不均一体に対する連続体近似でのエネルギー評価法においては、材料科学・工学が各種のサイエンスの中で最も進んでいると思われる。Phase-field 法は、この進んだエネルギー評価法の恩恵を全て取り入れることができ、さらにそれをダイナミクスまで結びつけることができる方法論であり、この点が現在、本計算手法が材料科学の広範囲に渡って広がっている所以である。特に Phase-field 法の枠組みは、材料研究者・技術者にとって貴重な財産となると思う。なぜならば Phase-field 法には、材料設計に必要不可欠な各種の材料分野のスタティク
スとダイナミクスの両学問体系がバランスよく含まれており、かつナノ・メゾ・マイクロスケール
における複雑な各種組織形成の定量的解析が可能となるからである。今後、Phase-field 法を基礎とした材料設計解析法は、まさに機械技術者における有限要素法に匹敵するような、材料研究者・技術者の定番のツールに発展すると信じる次第である。なお。Phase-field 法周辺の詳細に関しては、
著者のホームページ（http://www.nims.go.jp/cmsc/pst/koyama/）を参照していただきたい。
次に、本稿の後半において、イメージベースの特性解析例として、磁気特性を取り上げ説明した。
上記の Phase-field 法との関連で重要な点は、イメージベースの特性解析において、その元となるイ
メージを与える計算法として Phase-field 法が活用できる点である。このことはナノ～メゾスコピッ
クスケールにおけるデバイス設計では、決定的に有利に働く。組織形態は、形の自由度を持つので、
この自由度はほぼ無限である。この無限の自由度の中から、最も優れた特性を発現する組織形態を探索するためには、従来極めて多くの試行錯誤実験が必要であり、これは現在でも大きく改善されてはいない。Phase-field 法とイメージベースの特性解析の組み合わせは、これを可能にする有力な方法論である。今後、この分野に興味を持っていただける方が１人でも多く現れることを期待する。

23

付録（１）
α(bcc)相(Fe-Cu合金)のスピノーダル分解のJavaアプレットソースコード（ファイル名：FeCu_bcc_ferrum.java）//--------------------------------------------------------------------------------------------------------------//α(bcc)相(Fe-Cu)のスピノーダル分解過程の２次元シミュレーション//-------------------------------------------------------------------------by T.Koyama, (June 20, 2006)--import java.applet.*;import java.awt.*;
import java.awt.event.*;
public class FeCu_bcc_ferrum extends Applet implements ActionListener, Runnable{
int ND=32;
int nd=ND, ndm=ND-1;
int width, height;
double rr=8.3145;
double [][] ch=new double[ND][ND];//組織１辺の分割数//画面の幅と高さ//ガス定数//組織内の濃度デ－タ配列//グローバル変数
double temp;//温度(K)
double c0;//合金組成（モル分率）
double delt;//時間刻み（無次元）
double al;//計算領域の１辺の長さ
double time1; //計算時間（カウント数）//グローバル変数の入力受け変数
TextField c0_TXT, delt_TXT, temp_TXT, al_TXT;
Button bt_stop, bt_start, bt_reset;
Image buff;
Graphics bg;
Thread thread1=null;// *** 初期画面設定 *****************************************************
public void init(){width = getSize().width; //画面サイズはhtmlファイル(FeCu_bcc.html)より読み込み
height = getSize().height;
setBackground(Color.lightGray);setLayout(new BorderLayout());
buff=this.createImage(width, height);
bg=buff.getGraphics();//---表題表示------------------------Panel p0=new Panel();p0.setLayout(new GridLayout(1,1,0,3));
Label Title_Label_1=new Label("α(bcc)相(Fe-Cu合金)におけるスピノーダル分解", Label.CENTER);
Title_Label_1.setFont(new Font("Courier", Font.BOLD, 26));
p0.add(Title_Label_1);
add(p0, "North");//---定数入力一覧---------------------Panel p1=new Panel(); p1.setLayout(new GridLayout(23,1,0,0));
p1.add(new Label(""));//空白行
p1.add(new Label("合金組成(Cuモル分率)="));
c0_TXT=new TextField("0.30", 4);
p1.add(c0_TXT);
p1.add(new Label(""));//空白行
p1.add(new Label("時効温度(K)="));
temp_TXT=new TextField("873.0", 5); p1.add(temp_TXT);

24

c0_TXT.addActionListener(this);

temp_TXT.addActionListener(this);p1.add(new Label(""));//空白行
p1.add(new Label("計算領域(nm)="));
al_TXT=new TextField("20.0", 4);
p1.add(al_TXT);
p1.add(new Label(""));//空白行
p1.add(new Label("時間きざみ="));
delt_TXT=new TextField("0.005", 5);
p1.add(new Label(""));//空白行

al_TXT.addActionListener(this);

p1.add(delt_TXT);

delt_TXT.addActionListener(this);

add(p1, "West");//---START STOP RESETボタン設定------------------------Panel p2=new Panel();p2.setLayout(new GridLayout(1,3,0,5));bt_start=new Button("START");
bt_stop=new Button("STOP");bt_reset=new Button("RESET");

p2.add(bt_start);
bt_start.addActionListener(this);
p2.add(bt_stop);
bt_stop.addActionListener(this);
p2.add(bt_reset); bt_reset.addActionListener(this);

add(p2, "South");//-- 時間0における濃度場設定 --------------------------------time1=0.0; c0=0.3; ini_comp_field();}// **** 初期濃度場設定 *****************************************************
public void ini_comp_field(){
int i, j;double rnd0, fac1;
fac1=0.01;//最大1%の初期濃度揺らぎ
for(i=0;i<=ndm;i++){for(j=0;j<=ndm;j++){rnd0=2.0*Math.random()-1.0; ch[i][j]=c0+rnd0*fac1;}}}// *** イベント定義 ******************************************************
public void actionPerformed(ActionEvent ev){
String string1;//スタートボタンが押された時、スレッド開始
if(ev.getSource()==bt_start){//---入力定数を、変数への代入---------------string1=c0_TXT.getText().trim();c0=new Double(string1).doubleValue();string1=delt_TXT.getText().trim();
delt=new Double(string1).doubleValue();string1=temp_TXT.getText().trim();
temp=new Double(string1).doubleValue();string1=al_TXT.getText().trim();
al=new Double(string1).doubleValue();thread1=new Thread(this); thread1.start();//スレッドスタート}//ストップボタンが押された時、スレッドをnullにする
else if(ev.getSource()==bt_stop){ thread1=null; }//リセットボタンが押された時、初期の単相状態にもどす
else if(ev.getSource()==bt_reset){ time1=0.0; ini_comp_field(); repaint(); }}// *** シミュレーションのメインルーチン ****************************************
public void run(){double [][] ck = new double[ND][ND];
double [][] ch2 = new double[ND][ND];//拡散ポテンシャル//組織内の濃度デ－タ予備配列

25

double mu_chem, mu_str, mu_surf, mu_mag;
int i, j, k, l;double c1, c2;
double a01, a02, atomNo;
double vm0;
double L0;
double L0_0, L0_1;
double eta;
double c11a, c12a, c44a;
double c11b, c12b, c44b;
double c11, c12, c44;
double y100;
double Da, Da0, Qa0;
double Mc;
double cddtt;
double b1;
double kapa_c;
int ip, im, jp, jm;
double c2ip, c2im, c2jp, c2jm;
double ck2dev;
double ck0, ckip, ckim, ckjp, ckjm;
double sumc, dc;//各ポテンシャル//整数//濃度(Fe:1, Cu:2)//格子定数と、単位胞内の原子数//モル体積//原子間相互作用パラメータ//相互作用パラメータ内の定数//格子ミスマッチ//Feの弾性定数//Cu(bcc)の弾性定数//合金の平均弾性率//弾性関数//拡散係数、頻度因子、活性化エネルギー//易動度関数とその微分//濃度の増分//差分ブロックサイズ//濃度勾配エネルギー係数//整数（i+1, i-1, j+1, j-1）//差分ブロックにおいてc2を中心に、その上下左右の濃度//拡散ポテンシャルの２階微分//差分ブロックにてck0を中心にその上下左右の拡散ポテンシャル// 濃度場の総和、平均組成からのずれ//磁気過剰エネルギ－関連パラメ－タ
double Tc, d2Tc;
double tau;
double ftau, dftau;
double beta, d2beta;
double p_mag, D_mag;//キュリ－温度、およびその組成に対する微分//キュリ－温度で規格化した温度//磁気過剰エネルギ－関数と温度に対する微分//ボ－ア磁子、およびその組成に対する微分//pとD//****************************************************************************
a01=0.28664;
a02=0.29607;
atomNo=2.0;//格子定数(bcc Fe)//格子定数(bcc Cu)//単位胞内の原子数

L0_0=39676.0;
L0_1=-4.73222;//原子間相互作用パラメータ（J/mol）//L=L0_0+L0_1*T

kapa_c=5.0e-15;//濃度勾配エネルギ－係数、単位は[J m^2/mol]

eta=(a02-a01)/a01; //格子ミスマッチ
c11a=2.3310e+11; //bccFeの弾性定数(Pa)c12a=1.3544e+11;c44a=1.1783e+11;c11b=2.86e+11;c12b=1.90e+11;c44b=1.45e+11;
Da0=4.70e-05;
Qa0=2.44e+05;//bccCuの弾性定数(Pa)//不純物拡散（bccFe中のCu）におけるジャンプ頻度(m^2/s)//不純物拡散（bccFe中のCu）における活性化エネルギー（J/mol）//-------------------------------------------------------------------al=al*1.0e-9;//(m)に変換
b1=al/(double)nd;//差分１ブロックのサイズ
a01=a01*1.0e-09;
vm0=6.02e+23*a01*a01*a01/atomNo;
kapa_c=kapa_c/b1/b1/rr/temp;//Feの格子定数(mに換算)//モル体積//濃度勾配エネルギ－係数、(b1^2*rr*temp)で無次元化

26c11a=c11a*vm0/rr/temp;
c12a=c12a*vm0/rr/temp;
c44a=c44a*vm0/rr/temp;
c11b=c11b*vm0/rr/temp;
c12b=c12b*vm0/rr/temp;
c44b=c44b*vm0/rr/temp;//RTで無次元化

c11=(1.0-c0)*c11a+c0*c11b;c12=(1.0-c0)*c12a+c0*c12b;c44=(1.0-c0)*c44a+c0*c44b;//合金の弾性率y100=c11+c12-2.0*(c12*c12/c11);//弾性率の関数Y<100>

Da=Da0*Math.exp(-Qa0/rr/temp);
Mc=c0*(1.0-c0);//bccFe中のCuの不純物拡散係数//易動度p_mag=0.4;//(bcc)D_mag=518.0/1125.0+11692.0/15975.0*(1.0/p_mag-1.0);//---------------------------------------------------------------while(thread1!=null){if((((int)(time1) % 10)==0)) { repaint();}//カウント数が10の倍数おきに濃度場描画//******[拡散ポテンシャルの計算]****************************************************
for(i=0;i<=ndm;i++){for(j=0;j<=ndm;j++){ip=i+1; im=i-1; jp=j+1; jm=j-1;
if(i==ndm){ip=0;} if(i==0){im=ndm;}
if(j==ndm){jp=0;} if(j==0){jm=ndm;}
c2=ch[i][j];c1=1.0-c2;c2ip=ch[ip][j]; c2im=ch[im][j]; c2jp=ch[i][jp]; c2jm=ch[i][jm];L0=(L0_0+L0_1*temp)/rr/temp;
mu_chem=L0*(c1-c2)+Math.log(c2)-Math.log(c1);mu_surf=-2.0*kapa_c*(c2ip+c2im+c2jp+c2jm-4.*c2);
mu_str=2.0*eta*eta*y100*(c2-c0);//原子間相互作用パラメ－タ//化学ポテンシャル差//濃度勾配のポテンシャル//弾性ポテンシャル

Tc=1043.0*c1-41.4*c1*c2;
d2Tc=-1043.0-41.4*(c1-c2);
if(Tc<0.){Tc=-Tc; d2Tc=-d2Tc;}//キュリー温度//キュリー温度のCu組成微分//bccの場合

beta=2.22*c1;
d2beta=-2.22;
if(beta<0.){beta=-beta; d2beta=-d2beta;}//１原子当たりの磁化の強さ（ボーア磁子で無次元化）//betaのCu組成微分//bccの場合

tau=temp/Tc;//τの定義if(tau<=1.0){//f(τ)と、f(τ)のτ微分の計算
ftau=1.0-1.0/D_mag*(79.0/140.0/p_mag/tau+474.0/497.0*(1.0/p_mag-1.0)*( Math.pow(tau,3.0)/6.0+Math.pow(tau,9.0)/135.0+Math.pow(tau,15.0)/600.0) );dftau=-1.0/D_mag*(-79.0/140.0/p_mag/tau/tau+474.0/497.0*(1.0/p_mag-1.0)*( Math.pow(tau,2.0)/2.0+Math.pow(tau,8.0)/15.0+Math.pow(tau,14.0)/40.0) );}else{
ftau=-1.0/D_mag*(Math.pow(tau,-5.0)/10.0+Math.pow(tau,-15.0)/315.0+Math.pow(tau,-25.0)/1500.0);
dftau=1.0/D_mag*(Math.pow(tau,-6.0)/2.0+Math.pow(tau,-16.0)/21.0+Math.pow(tau,-26.0)/60.0);}
mu_mag=ftau/(beta+1.0)*d2beta-dftau*tau/Tc*d2Tc*Math.log(beta+1.0);//磁気過剰エネルギーのポテンシャル27

ck[i][j]=mu_chem+mu_str+mu_surf+mu_mag;//拡散ポテンシャル}}//******[濃度場の時間変化(非線形拡散方程式の差分解陽解法)]*****************************
for(i=0;i<=ndm;i++){for(j=0;j<=ndm;j++){ip=i+1; im=i-1; jp=j+1; jm=j-1;
if(i==ndm) {ip=0;} if(i==0) {im=ndm;}
if(j==ndm) {jp=0;} if(j==0) {jm=ndm;}
ck0=ck[i][j];ckip=ck[ip][j];ckim=ck[im][j]; ckjp=ck[i][jp];ckjm=ck[i][jm];ck2dev=(ckip+ckim+ckjp+ckjm)-4.0*ck0;//拡散ポテンシャルの２階微分
cddtt=Mc*ck2dev;//非線形拡散方程式
ch2[i][j]=ch[i][j]+cddtt*delt;//濃度場の時間発展//ch2[i][j]=ch[i][j]+cddtt*delt+1.0e-03*(2.0*Math.random()-1.0);//濃度場の時間発展（濃度揺らぎ導入）}}//*** [濃度場の収支の補正] *******************************************************//*** 数値計算であるので濃度場の収支の補正を行う（実際には毎ステップ行う必要はない）****
sumc=0.;for(i=0;i<=ndm;i++){for(j=0;j<=ndm;j++){sumc=sumc+ch2[i][j];}}dc=sumc/(double)nd/(double)nd-c0;
for(i=0;i<=ndm;i++){for(j=0;j<=ndm;j++){ch[i][j]=ch2[i][j]-dc;
if(ch[i][j]>=1.){ch[i][j]=1.0-1.0e-6;}if(ch[i][j]<=0.){ch[i][j]=1.0e-6;}}}//******[時間増加]*************************************************
time1=time1+1.0;//try{ thread1.sleep(100); } // 0.01 seconds//catch( InterruptedException e){ }}//while}// *********************************************************
public void update( Graphics g ){ paint(g); }// **** 濃度場描画 *****************************************************
public void paint(Graphics g){
bg.clearRect(0, 0, width, height);
bg.setColor(Color.lightGray);int xwidth=400, yheight=400, delxheight=200, delyheight=50;
int i, j, ii, jj, icol;
int ixmin=0, iymin=0, igx, igy, irad0;
int ixmax=xwidth, iymax=yheight;
double c, x, xmax, xmin, y, ymax, ymin, rad0;
xmin=0.0; xmax=1.0; ymin=0.0; ymax=1.0;
bg.setColor(Color.black);
bg.setFont(new Font("Courier", Font.BOLD, 20));
bg.drawString("count="+time1, delxheight, yheight+delyheight+30);

28//描画色を黒に設定//フォントを設定//文字列描画

rad0=1.0/(double)nd/2.0;
irad0=1+(int)( ((double)ixmax-(double)ixmin)/(xmax-xmin)*rad0 );for(i=0;i<=nd;i++){for(j=0;j<=nd;j++){x=1.0/(double)nd*(double)i+rad0;
igx=(int)( ((double)ixmax-(double)ixmin)*(x-xmin)/(xmax-xmin)+(double)ixmin );y=1.0/(double)nd*(double)j+rad0;
igy=(int)( ((double)iymax-(double)iymin)*(y-ymin)/(ymax-ymin)+(double)iymin );ii=i; jj=j; if(i==nd){ii=0;} if(j==nd){jj=0;}//icol=(int)(255.0*ch[ii][jj]);
icol=(int)(255.0*(1.0-ch[ii][jj]));if(icol>=255){icol=255;} if(icol<=0){icol=0;}
bg.setColor(new Color(icol,icol,icol));
bg.fillRect(delxheight+igx-irad0,delyheight+igy-irad0, irad0*2, irad0*2);//bg.setColor(Color.blue);//bg.setColor(new Color(0,0,icol));}}g.drawImage(buff, 0, 0, this);}}// **** 以上 *****************************************************

付録（２）Javaアプレット実行用のhtmlファイル（ファイル名：FeCu_bcc_ferrum.html）<html><body><title>test</title><applet code="FeCu_bcc_ferrum.class" width="640" height="520"></applet></body></html>（注）以上のFeCu_bcc_ferrum.html、FeCu_bcc_ferrum.java、およびFeCu_bcc_ferrum.java をコンパイ
ル し た FeCu_bcc_ferrum.class の ３ つ の フ ァ イ ル は 、 著 者 の ホ ー ム ペ ー ジ(http://www.nims.go.jp/cmsc/pst/koyama/Phase-Field_Modeling.htm)から、無償でダンロードできるので、ご興味のある方は自由に活用していただきたい。なお本プログラムの使用による、いかなる損害に対しても、プログラム製作者（著者）は責任を負いませんので、悪しからずご了承願います。

29

演習問題
以下、演習問題として、拡散方程式の解析解の導出について説明する。この導出過程で使用される応用数学は非常に有益であるので、拡散方程式自体の理解もさることながら、応用数学の道具としての使用法について理解を深めていただきたい。さて、具体的な問題を設定しよう。
x 軸に沿った無限に長い棒における物質の拡散を考える。棒の側面からの物質の出入りはなく、棒の断面内の濃度は一定とみなす。以下の濃度場 c( x , t ) に対する１次元拡散方程式（ x は距離、t は時間、Dは拡散係数で正の定数）∂c( x, t )∂ 2 c ( x, t )
=D
∂t
∂x 2

(1)

を初期条件； c( x, 0) = c0 ( x) の下に、フーリエ変換を用いて解き、形式解がc( x, t ) =∞1∫ c0 ( y)2π −∞⎧ ( x − y)2 ⎫exp ⎨−⎬ dy
4 Dt ⎭
2 Dt⎩
1となることを示せ。なお c( x , t ) と c0 ( x) の１次元フーリエ変換および逆変換を、∞

Q(k , t ) ≡ ∫ c( x, t ) exp(−ikx)dx,−∞∞

Q0 (k ) = ∫ c0 ( x) exp(−ikx)dx
−∞

∞

∞

1
1
c ( x, t ) =Q(k , t ) exp(ikx)dk , c0 ( x) =∫∫ Q0 (k ) exp(ikx)dk
2π −∞
2π −∞

(2)

と定義する（i は虚数単位, k は波数）。

解答
式(2)の c( x, t ) を x と t で微分すると、∞∂ 2 c ( x, t )1=−
k 2 Q(k , t ) exp(ikx)dk ,
2
∫
2π −∞
∂x

∞

∂c( x, t )1 ∂Q(k , t )=∫ ∂t exp(ikx)dk
∂t
2π −∞

であるので、これらを式(1)に代入することにより、∂c( x, t )∂ 2 c ( x, t )
−D
=0
∂t
∂x 2
∞
1 ⎧ ∂Q(k , t )⎫+ Dk 2 Q(k , t ) ⎬ exp(ikx)dk = 0⎨∫
2π −∞ ⎩ ∂t
⎭
∴

(3)

∂Q(k , t )= − Dk 2 Q(k , t )∂tを得る。これは変数分離型の１階常微分方程式であるので、一般解は、
t
1
2
dQ
(
k
,
t
)
=
−
Dk
∫Q0 (k ) Q(k , t )∫0 dt ,Q ( k ,t )ln

Q(k , t )= − Dk 2 t
Q0 (k )∴ Q(k , t ) = Q0 (k ) exp(− Dk 2 t )30(4)と簡単に解くことが出来る。最終的に式(4)を式(2)に代入し、逆フ－リエ変換すると c( x, t ) は次のよ
うに導かれる。
∞

c ( x, t ) =

∞

1
1
2
Q(k , t ) exp(ikx)dk =∫∫ Q0 (k ) exp(− Dk t ) exp(ikx)dk
2π −∞
2π −∞
∞

∞

⎡ ( x − x ') 2 ⎤= ∫ c0 ( x ') I ( x − x ', t )dx ' =∫ c0 ( x ') exp ⎢⎣− 4Dt ⎥⎦ dx '2 π Dt −∞
−∞
1

(5)

ここで、
∞

1
c0 ( x) =∫ Q0 (k ) exp(ikx)dk
2π −∞∞I ( x, t ) ≡1exp(− Dk 2 t ) exp(ikx)dk∫
2π −∞であり、畳み込み計算は∞∫ c ( x ') I ( x − x ', t )dx '
0

−∞

∞
⎤
⎡ 1 ∞
⎤⎡ 1 ∞
= ∫⎢
(
)
exp(
')
exp( − Dk 2 t ) exp{ik ( x − x ')}dk ⎥ dx '
Q
k
ikx
dk
⎥⎢
0
∫
∫
2π −∞
−∞ ⎣
⎦
⎦ ⎣ 2π −∞
∞ ∞
⎧∞
⎫
1 1
2
=
(
')
exp(
−
)
Q
k
Dk
t
⎨ ∫ [ exp(ik ' x ') exp{ik ( x − x ')}dx ']⎬dk ' dk0∫∫2π 2π −∞ −∞
⎩ −∞
⎭
∞ ∞
⎧∞
⎫
1 1
2
=
(
')
exp(
−
)
exp(
)
Q
k
Dk
t
ikx
⎨ ∫ exp{i (k '− k ) x '}dx '⎬dk ' dk0∫∫2π 2π −∞ −∞
⎩ −∞
⎭
∞ ∞

1 1
=
Q0 (k ') exp(− Dk 2 t ) exp(ikx){2πδ (k '− k )}dk ' dk∫∫
2π 2π −∞ −∞∞=1
Q0 (k ) exp(− Dk 2 t ) exp(ikx)dk∫
2π −∞であるので、式(5)の変形が正しいことがわかる。なおここでデルタ関数のフーリエ変換の公式（以下の「参考１」を参照）を用いた。さらに I ( x, t ) は以下のように計算される。まず、∞I ( x, t ) =∞11
exp(− Dk 2 t ) exp(ikx) dk = ∫ exp(− Dk 2 t ) cos(kx)dk
∫
π 0
2π −∞

および

31

(6)

∞

∞

∂I ( x, t ) 1 ∂1=exp(− Dk 2 t ) cos(kx)dk = ∫ (−k ) exp(− Dk 2 t ) sin(kx)dk∫∂x
π ∂x 0π 0=∞∞x1 ⎪⎧ ⎡ 1
⎪⎫
⎤
2
Dk
t
kx
exp(
−
)
sin(
)
−
exp(− Dk 2 t ) cos(kx)dk ⎬⎨⎢∫⎥π ⎪⎩ ⎣ 2 Dt
⎦ 0 0 2 Dt
⎪⎭

(7)

∞

=−

x 1
x
I ( x, t )exp(− Dk 2 t ) cos(kx)dk = −∫2 Dt π 0
2 Dtから、

dI ( x, t )x=−
I ( x, t )dx
2 Dt
I ( x ,t )1
1 x
∫I (0,t ) I ( x, t ) dI ( x, t ) = − 2 Dt ∫0 xdx(8)

I ( x, t )
x2
ln
=−
4 Dt
I (0, t )⎛ x2 ⎞I ( x, t ) = I (0, t ) exp ⎜ −⎟⎝ 4 Dt ⎠∞∫2となる。 I (0, t ) は、公式： exp(− y )dy =
0

∞

π
2

（以下の「参考２」を参照）を用いることによって、π∫ exp(− y )dy = 2 , y = k Dt , dy = dk Dt
2

0

∞

∞

0

0

2
2
∫ exp(− y )dy = Dt ∫ exp(− Dk t )dk =

1

∞

1

π

π
2

1

=
exp(− Dk t )dk =π∫
π 2 Dt 2 π Dt
2

0

から、

I (0, t ) =

1

∞

1

exp(− Dk t )dk =π∫
2 π Dt2(9)0となるので、これを式(8)に代入することにより、最終的に⎛ x2 ⎞⎛ x2 ⎞
1=I ( x, t ) = I (0, t ) exp ⎜ −
exp
⎟
⎜−
⎟
⎝ 4 Dt ⎠ 2 π Dt
⎝ 4 Dt ⎠を得る。
「参考１」デルタ関数のフーリエ変換
いま、ある関数 f ( x) のフーリエ変換を F (k ) とし、

32

(10)

∞

f ( x) =1∫ F (k ) exp(ikx)dk
2π −∞∞F (k ) = ∫ f ( x) exp(−ikx)dx−∞と置く。この式は基本的に任意の関数について成立するので、 f ( x) がデルタ関数 δ ( x) であると置いてみよう（ x = 0 の原点でのみ δ (0) = 1 で、他の x 位置では δ ( x) = 0 ）。この場合、デルタ関数の
性質から、
∞

∞

−∞

−∞

F (k ) = ∫ f ( x) exp(−ikx) dx = ∫ δ ( x) exp(−ikx)dx = 1と計算できて、 F (k ) = 1 が求まる。 F (k ) が恒等的に１であるので、
∞

∞

1
1
δ ( x) = f ( x) =F (k ) exp(ikx)dk =∫∫ exp(ikx)dk
2π −∞
2π −∞
となって、デルタ関数 δ ( x) は exp(ikx ) の積分として表現することができる。
同様に、今後は F (k ) がデルタ関数 δ ( k ) であると置いてみよう。
∞

f ( x) =∞1
1
1
F (k ) exp(ikx)dk =δ (k ) exp(ikx)dk =
∫
∫
2π −∞
2π −∞
2π

1
となり、これより、
2π
∞
∞
∞
1
1
δ (k ) = F (k ) = ∫ f ( x) exp(−ikx)dx = ∫exp(−ikx)dx =∫ exp(−ikx)dx
2π
2π −∞
−∞
−∞

この場合は、 f ( x) =

∞

∞

−∞

−∞

∴ 2πδ (k ) = ∫ exp(−ikx)dx = ∫ exp(ikx)dxとなる。またデルタ関数をこのように exp(ikx ) の積分形式で表現する利点の１つは、解析的にデル
タ関数の微分が定義できることである。
∞

「参考２」

π

∫ exp(− y )dy = 2 の簡単な証明
20

積分で π のような数値が現れる場合、２乗して π として計算すると簡単に解ける場合があり、これもその一例である。左辺を２乗すると、

⎡∞
⎤ ⎡∞
⎤ ∞∞
2
2
2
2
⎢ ∫ exp(− x )dx ⎥ ⎢ ∫ exp(− y )dy ⎥ = ∫ ∫ exp{−( x + y )}dxdy
⎣0
⎦ ⎣0
⎦ 00
であり、ここで x = r cos θ ,y = r sin θ と置いて、平面極座標系に変数変換すると、

33

∞∞

π /2∞

π /2

∞

0

0

0

2
2
2
2
∫ ∫ exp{−( y + x )}dxdy = ∫ ∫ r exp(−r )drdθ = ∫ dθ ∫ r exp(−r )dr
0 0

=

π⎡ 1

0

∞

π
π
⎤
− exp(−r 2 ) ⎥ = − (0 − 1) =
⎢
2⎣ 2
4
4
⎦0

となって、以上のような初等的な積分で、

⎡∞
⎤ ⎡∞
⎤ π
2
2
exp(
x
)
dx
−
⎢∫
⎥ ⎢ ∫ exp(− y )dy ⎥ = ,
⎣0
⎦ ⎣0
⎦ 4

∞

∞

0

0

∴ ∫ exp(− x 2 )dx = ∫ exp(− y 2 )dy =が導かれる。

34

π2