Journal of Computer Chemistry, Japan
Online ISSN : 1347-3824
Print ISSN : 1347-1767
ISSN-L : 1347-1767
Technical Paper
Visualization of the Exact Solution of Dirac Equation
Yasuyo HATANOShigeyoshi YAMAMOTOHiroshi TATEWAKI
Author information
JOURNAL FREE ACCESS FULL-TEXT HTML
Supplementary material

2016 Volume 15 Issue 4 Pages 105-117

Details
Abstract

水素原子のDirac方程式は厳密解が得られている.そのスピノルの形状を知ることは,重元素を含む分子での相対論効果を議論するうえで重要である.s, p, d, fの各スピノルは特徴のある形状をしているが,本論文の目的は電子密度の3D等値面図を図鑑にすることで各スピノルの特徴を一望できるようにすることにある.Schrödinger方程式の厳密解の図も併記しており,相対論では非相対論と比較して節が少なくなっていることが容易に見てとれる.Z = 100の<r > を計算し,その詳細を分析した.相対論的効果で<r > が減少するが,その効果は一様ではなく,s1/2p1/2で大きい.描画と計算に用いたMathematicaノートブックは本論文とともに提供しており,改変可能な教材として利用できる.

1 はじめに

原子分子ではSchrödinger方程式 [1,2]が基礎方程式であり,水素原子の厳密解が教科書 [1,2]に掲載されている.原子軌道の可視化 [3]については本誌 [4]においても関連記事が掲載されている.ランタノイドなどの重元素を含む分子では相対論の効果が顕著になり,基礎方程式はDirac方程式 [1,2,5,6]となる.本論文ではDirac方程式の水素様原子の厳密解を扱う.

水素原子の厳密解はDirac本人ではなく,Gordon [7]とDarwin [8]により与えられた.Gordon [7]は解を合流型超幾何関数で表している.これが一般化Laguerre関数でも表現できることはPidduck [9]によって示されていたが,長らく看過されてきた [10,11].

厳密解の可視化は,我々の知る限りWhite [12]によるものが嚆矢である.Whiteは電子密度の断面図や電子雲図を提示している.その後,Powell [13]やSzabo [14]が可視化を議論している.Grantの著書 [15]には,角度成分の密度の3D等値面図が掲載されているが,動径成分も含めた3D等値面図ではない.

Wolfram Mathematica [16]を使えば,比較的簡単に電子密度の3D等値面図を描くことができる.s, p, d, f スピノルは特徴のある形状をしており,それらの特徴を把握するには,すべての図を並べるのが最適である.しかしながら,分かりやすい図を得るには,図の大きさ,等高値などのパラメータをスピノルごとに最適なものにする必要がある.そこで,我々はスピノルの図鑑を作成することにした.これが本論文の目的である.

また,Z = 1とZ = 100の場合の<r > を計算し,スピノルの空間的な広がりを分析した.収縮に対する相対論効果を調べた.

MathematicaノートブックをSupplement 3 [30](電子付録)として提供し,ユーザがコードを改変して発展的に利用できるようにした.教材としても使われることを期待している.Mathematica環境がない場合は,CDF player [17]で閲覧ができる.

2 固有値と固有関数

水素原子のDirac方程式のHamiltonianは次の4行4列の行列で与えられる.   

H=cα·p+(β1)mec2Zr(1)
  
αi=(0σiσi0)(i=x,y,z),β=(I200I2)(2)

ここで,cは光速度,me は電子の質量,Zは核電荷,σi はPauliスピン行列   

σx=(0110),σy=(0ii0),σz=(1001)(3)
であり,I2 は2行2列の単位行列である.

Hの固有関数をDyall and Faegri [6]に従って,次のように書くことにする.u1, u2, u3, u4 が4成分である.   

Ψ=1r(Pnκ(r)ξκ,m(θ,φ)iQnκ(r)ξκ,m(θ,φ))=(u1u2u3u4)(4)
ξ は角度成分である.u1, u2 は大成分,u3, u4 は小成分と呼ばれる.動径成分の大成分g(r),小成分f(r)は以下の如くである.   
g(r)=Pnκ(r)r,f(r)=Qnκ(r)r(5)

軌道角運動量lやスピン角運動量sHと可換ではなく,可換であるのは j = l + s で,このjが全角運動量量子数 j を与える.なお,主量子数をnjzに対する固有値をmとする.量子数κTable 1で与えられる.

Table 1. Quantum numbers and labels.
l0112233
j1/21/23/23/25/25/27/2
κ–11–22–33–4
Labelss1/2p1/2p3/2d3/2d5/2f5/2f7/2
Labelss+pp+dd+ff+

角度成分を顕わに書き下すと,4成分は以下のようになる.j = l + 1/2 に対して,   

u1=g(r)l+m+1/22l+1Yl,m1/2(θ,ϕ),u2=g(r)lm+1/22l+1Yl,m+1/2(θ,ϕ),u3=if(r)lm+3/22l+3Yl+1,m1/2(θ,ϕ),u4=if(r)l+m+3/22l+3Yl+1,m+1/2(θ,ϕ).(6)
j = l − 1/2 に対して,   
u1=g(r)lm+1/22l+1Yl,m1/2(θ,ϕ),u2=g(r)l+m+1/22l+1Yl,m+1/2(θ,ϕ),u3=if(r)l+m1/22l1Yl1,m1/2(θ,ϕ),u4=if(r)lm1/22l1Yl1,m+1/2(θ,ϕ).(7)

Yl',m' (θ,ϕ) は球面調和関数である.その具体的な表式は,たとえばPauling and Wilson [18]を参照されたい.f+ までの角度成分の詳細はTable 2のようになる.

Table 2. The angular part of the exact solution of the Dirac equation.*
Labelsmj = 1/2mj = 3/2mj = 5/2mj = 7/2
s1/2 (s+)(Y0,00)13(Y1,02Y1,1)
p1/2 (p)13(Y1,02Y1,1)(Y0,00)
p3/2 (p+)13(2Y1,0Y1,1)15(2Y2,03Y2,1)13(3Y1,10)15(Y2,14Y2,2)
d3/2 (d)15(2Y2,03Y2,1)13(2Y1,0Y1,1)15(Y2,14Y2,2)13(3Y1,10)
d5/2 (d+)15(3Y2,02Y2,1)17(3Y3,04Y3,1)15(4Y2,1Y2,2)17(2Y3,15Y3,2)15(5Y2,20)17(Y3,26Y3,3)
f5/2 (f)17(3Y3,04Y3,1)15(3Y2,02Y2,1)17(2Y3,15Y3,2)15(4Y2,1Y2,2)17(Y3,26Y3,3)15(5Y2,20)
f7/2 (f+)17(4Y3,03Y3,1)19(4Y4,05Y4,1)17(5Y3,12Y3,2)19(3Y4,16Y4,2)17(6Y3,2Y3,3)19(2Y4,27Y4,3)17(7Y3,30)19(Y4,38Y4,4)

* The upper and lower parts denote the large and small components, respectively.

PQ は次のようになる.   

Pnκ(r)=Nnκex/2xγ×NP[(Nκκ)F(nr,2γ+1,x)nrF(nr+1,2γ+1,x)](8)
  
Qnκ(r)=Nnκex/2xγ×NQ[(Nκκ)F(nr,2γ+1,x)+nrF(nr+1,2γ+1,x)](9)

ここで,Fは合流型超幾何関数,   

γ=κ2(αZ)2,k=|κ|,nr=nk,(10)
  
Nκ=n22nr(kγ),λ=Z/Nκ,(11)
  
x=2λr,(12)
  
Nnκ=1NκΓ(2γ+1)ZΓ(2γ+1+nr)2nr!(Nκκ),(13)
  
Enκ=1α2(11(αZNκ)2),(14)
  
NP=2+Enκα2,NQ=Enκα2.(15)

固有値 En,κ は式(14)で表され,n, κ に依存する.換言すると,n, j に依存するが,l には依らない.たとえば,2s+ と2p は同じエネルギー値を与える.α は微細構造定数で,1/137.03599を用いた.原子単位系ではc = 1/αである.

一方,Schrödinger方程式の厳密解ψnlm(r,θ,ϕ)は次式で与えられる.   

ψnlm(r,θ,ϕ)=Rnl(r)Ylm(θ,ϕ),Rnl(r)=1(2l+1)!(n+l)!(nl1)!2n(2Zn)32×eZrn(2Zrn)lF(n+l+1,2l+2,2Zrn)(16)

式(8, 9, 16)の中の合流型超幾何関数は,次の関係式を用いて一般化Laguerre関数Ln(a)(x)で表すこともできる.Dirac方程式の場合,aは非整数となるので注意されたい.   

Ln(a)(x)=Γ(n+a+1)n!Γ(a+1)F(n,a+1,x)=(a+1)nn!F(n,a+1,x)(17)

Γ(x)はガンマ関数,(a)nはポッホハマー記号(Pochhammer symbol)である.

Dirac方程式の解の規格化密度関数ρrel,Schrödinger方程式の解の規格化密度関数ρnonrelはそれぞれ,   

ρrel(r,θ,ϕ)=u1u1*+u2u2*+u3u3*+u4u4*,(18)
  
ρnonrel(r,θ,ϕ)=ψnlmψnlm*(19)
で表され,z軸に対して対称になる.通常の分子軌道法では,ψnlmの角度成分Yl,mを実数化してCartesian座標系で扱うことが多いが,ここでは複素関数のまま扱っている.

3 Mathematicaによるプロット

2節で述べた各種の数学関数は,Mathematicaにすべて用意されている.使用したMathematica関数を列挙する.

○球面調和関数   

Ylm(θ,ϕ)SphericalHarmonicY[l,m,θ,ϕ]

○合流型超幾何関数   

F(a,b,x)Hypergeometric1F1[a,b,x]

○ガンマ関数   

Γ(x)Gamma[x]

○ポッホハマー記号   

(a)nPochhammer[a,n]

○一般化Laguerre関数   

Ln(a)(x)LaguerreL[n,a,x]

Table 3に電子密度のプロットに適用したMathematicaのコードの主要部分を示す.完全なMathematicaノートブックはSupplement 3 [30]に載せている.

Table 3.  Mathematica code for density plot.

4 スピノル図鑑

Figures 1–16に1s+∼4f+スピノルの規格化密度関数のyz面での断面図(左),3D等値面図(右)を与える.密度は動径成分と角度成分両方の寄与から成る全電子密度である.上段が非相対論,下段が相対論の図である.α,βスピン成分の両方からの寄与があるが,紙面の都合上,大成分での角度成分の寄与が大きい方に対応する非相対論の密度図(l, m)だけを上段に配置した.例えば,4f7/2,1/2にはαスピン成分からl = 3, m = 0,4f5/2,1/2にはβスピン成分からl = 3, m = 1を選んでいる.

Figure 1.

 1s+ density.

1s(l = 0, m = 0 α)/1s+ (j = 1/2, mj = 1/2)

Figure 2.

 2p density.

2p(l = 1, m = 1 β)/2p (j = 1/2, mj = 1/2)

Figure 3.

 2p+ density.

2p(l = 1, m = 1 α)/2p+ (j = 3/2, mj = 3/2)

規格化密度関数の等高線図,3D等値面表示に用いたパラメータはTable 4の通りである.表中のhは表示範囲(–h, h (単位はa.u.) cmaxは等高線のうちの最高密度値,ncは等高線数,vは3D等値面図の密度値である.

Table 4. Parameters for density plot.
Labelshcmaxncv
1s12.04E-161.E-4
2p62.04E-363.E-4
3d132.04E-463.E-5
4f222.64E-561.E-4
5g401.30E-564.E-6

gスピノルはRydberg状態 [19]や励起状態で占有されることがあるが,基底状態は超アクチノイド元素でしか占有されないため,関連図を s~fスピノルの図とともにSupplement 1 [28]に収めた.

1s+∼5g+スピノルの動径成分,動径密度関数のグラフはSupplement 2 [29]に収めてある.動径成分の小成分は, でスケーリングしてある.動径成分は非相対論の動径関数にきわめて近い.なお,Burke and Grant [20]にはZ = 80の場合の動径密度関数のグラフが掲載されている.

5 節の減少

Schrödinger方程式の解に慣れた化学者にとって,Dirac方程式の解には戸惑う点が幾つかある.その1つが節の減少である.White [12]は,非相対論で見られた動径成分の節の多くが,Dirac方程式においては消失することを指摘した.実際,2p3/2,1/2(Figure 4)では節が消失している.yz断面図からも節が消失している状況が観取できる.

Figure 4.

 2p+ density.

2p(l = 1, m = 0 α)/2p+ (j = 3/2, mj = 1/2)

Figure 5.

 3d density.

3d(l = 2, m = 2 β)/3d (j = 3/2, mj = 3/2)

Figure 6.

 3d density.

3d(l = 2, m = 1 β)/3d (j = 3/2, mj = 1/2)

Figure 7.

 3d+ density.

3d(l = 2, m = 2 α)/3d+ (j = 5/2, mj = 5/2)

Figure 8.

 3d+ density.

3d(l = 2, m = 1 α)/3d+ (j = 5/2, mj = 3/2)

Figure 9.

 3d+ density.

3d(l = 2, m = 0 α)/3d+ (j = 5/2, mj = 1/2)

Figure 10.

 4f density .

4f(l = 3, m = 3 β)/4f (j = 5/2, mj = 5/2)

Figure 11.

 4f density

4f(l = 3, m = 2 β)/4f (j = 5/2, mj = 3/2)

Figure 12.

 4f density

4f(l = 3, m = 1 β)/4f (j = 5/2, mj = 1/2)

Figure 13.

 4f+ density .

4f(l = 3, m = 3 α)/4f+ (j = 7/2, mj = 7/2)

Figure 14.

 4f+ density

4f(l = 3, m = 2 α)/4f+ (j = 7/2, mj = 5/2)

Figure 15.

 4f+ density

4f(l = 3, m = 1 α)/4f+ (j = 7/2, mj = 3/2)

Figure 16.

 4f+ density

4f(l = 3, m = 0 α)/4f+ (j = 7/2, mj = 1/2)

我々は非相対論において,波動関数の分類に節の数 [21]が使えることを示してきたが,相対論ではその利用が制限される.

Whiteは,p1/2,1/2 (Figure 2)の密度が真球状であることも指摘している.p1/2,1/2の大成分の角度部分のαスピン成分(t1),βスピン成分(t2)Table 2に与えてあるが,t1t1* + t2t2* は [Y1,0Y1,0* + 2Y1,1Y1,1*]/3 = 1/(4π) となり,(θ, ϕ)に依らない.加えて,小成分の角度部分はs型で,これも(θ, ϕ)に依らない.

節が消失する主要な理由は,大成分•小成分内で同じl値を持ち,異なるm値を持つ角度成分がスピンとの相互作用で混じり,かつ大成分•小成分からの異なったl値をもった角度分布成分が混じることである.もう1つの理由は,動径成分の4成分の節の位置が一致しないことである.大成分の節のところに小成分からの寄与のために電子密度が僅かに生じる.これをSzabo [14]はpseudo-nodeと呼んでいる.

なお,2p3/2,3/2(Figure 3)では,零となるのは相対論でも非相対論でもz軸上のみである.

6 平均半径に対する相対論的効果

< r > , <r2> の表式はGarstang and Mayers [22]によって与えられている.水素原子とFm99+(Z = 100)の厳密解に対して<r > を計算しTables 56にまとめた.Table 6の中性Fm原子([Rn]5f12 7s2)の<r > はHartree-Fock計算 [23,24,25]に基づく.uncontracted GTF (28s 21p 15d 13f) による計算と相対論的numerical Hartree-Fock [25]である.相対論のHartree-Fock計算 [23,25]では,原子核に対してuniform charge distribution [23]またはpoint charge model [25]を適用している.両者の差はほとんどない.得られた知見を以下に述べる.

Table 5. Expectation values of r for Z = 1.
<r ><r2>
Labelsnrelnonrelrelnonrel
s+11.49997341.52.99990683
25.99988356.041.99849642
313.49980213.5206.99421207
423.99972124.0647.98545648
537.49964137.51574.97061575
653.99956154.03257.94813258
p24.99988355.029.99873530
312.49980212.5179.99461180
422.99972123.0599.98601600
536.49964136.51499.97131500
652.99956153.03149.94903150
p+24.9999735.029.99970730
312.49992612.5179.99804180
422.99988423.0599.99430600
536.49984236.51499.98771500
652.99980253.03149.97743150
d310.49992610.5125.99836126
420.99988421.0503.99478504
534.49984234.51349.98831350
650.99980251.02933.97822934
d+310.49997310.5125.99940126
420.99994121.0503.99739504
534.49991234.51349.99361350
650.99988451.02933.98742934
f417.99994118.0359.99779360
531.49991231.51124.99411125
647.99988448.02609.98812610
f+417.99997318.0359.99899360
531.49994931.51124.99661125
647.99992648.02609.99252610
Table 6. Expectation values of r for Z = 100.
Fm99+ (exact)Fm (Hartree-Fock)
Labelsn<r > rel<r > nonrelCont. (%) a<r > relb<r > nonrelcCont. (%) a<r > rel-NHFd
s+10.01180.01521.10.01200.015120.60.0120
20.04680.06022.10.04950.063021.50.0493
30.11210.13516.90.12930.155817.00.1291
40.20760.24013.50.27900.326514.50.2786
50.33310.37511.20.57160.663013.80.5708
60.48860.5409.51.27481.542617.41.2724
70.67410.7358.34.13334.932916.24.1226
p20.03680.05026.50.03960.053125.50.0395
30.10210.12518.30.12090.147618.10.1209
40.19760.23014.10.27610.324715.00.2761
50.32310.36511.50.58950.687114.20.5894
60.47860.5309.71.40851.742219.21.4102
p+20.04720.0505.50.05090.05314.20.0509
30.11740.1256.10.14110.14764.40.1411
40.21800.2305.20.31360.32473.40.3136
50.34880.3654.40.66770.68712.80.6678
60.50960.5303.81.69891.74222.51.6994
d30.09740.1057.20.12130.12764.90.1213
40.19800.2105.70.30760.31823.30.3076
50.32880.3454.70.73290.75132.50.7330
d+30.10230.1052.60.12710.12760.40.1271
40.20400.2102.80.31850.3182–0.10.3185
50.33610.3452.60.76060.7513–1.20.7607
f40.17400.1803.30.30170.2998–0.60.3017
50.30610.3152.81.07511.0043–7.01.0757
f+40.17730.1801.50.30690.2998–2.30.3069
50.30980.3151.61.11841.0043–11.41.1192

a Contraction ratio, i.e., (<r > nonrel − <r > rel)/<r > nonrel ×100.

b Ref [23].

c Ref [24].

d Numerical Hartree-Fock. Ref [25].

6.1 H原子

< r > , <r2>について,相対論と非相対論の差はほとんどない.

6.2 Fm99+

(i) 相対論的効果を取り入れることにより全てのスピノルで収縮が見られる.

(ii) 収縮の度合いを ((<r > nonrel − <r > rel)/<r > nonrel ×100)とすると,厳密解の場合,収縮の度合いもエネルギーと同様に主量子数nと角運動量jで識別される.依存するのはlではなく,jである点に注意されたい.Figure 17n = 3, j = 1/2 (s+, p), j = 3/2 (p+, d), j = 5/2 (d+) に対する収縮の度合いをHからFm99+まで与えてある.jによる区分けは明瞭である.収縮の度合いはj = 1/2つまりs+, p が他に比べてかなり大きく,Fm99+ (Z = 100) の3s+では16.9%,3pで18.3%である.一方,3p+では6.1%,3dで7.2%である.3p+と3dの収縮の度合いはほぼ等しい.

Figure 17.

 Contraction ratio (<r > nonrel − <r > rel)/<r > nonrel ×100) versus Z.

(iii) jnが大きいほど相対論的効果は小さくなる.これはすべての原子について言える.Figure 17にはn = 3の場合のj = 1/2と3/2が与えてあるが,両者の差は核電荷の増大とともに大きくなる.収縮の度合いが5%を超えるのは,3s+でCe58+,3pでBa55+,3p+でU91+である.図には出していないが,収縮の度合いが5%を超えるのは,1s+でI52+,2s+でSb50+,2pでPd45+であり,3s+, 3pと比較して小さな核荷電を持つ原子イオンとなる.

6.3 Fm原子

(i) 相対論的な計算でも非相対論的計算でもFmの<r > は対応するFm99+の<r > より大きく,電子間反発の重要性が分かる.

(ii) Fm99+と同じく,収縮の度合いは,j = 1/2つまりs+pが他に比べてかなり大きい.Fm99+との違いは,s+pではnが大きくなっても相対論的効果が大きいことである.

(iii) j = 3/2以降ではFm原子のスピノルの収縮の度合いはFm99+に比べ小さくなる.4d+以降では相対論的効果は減少し,<r > relは<r > nonrelより大きくなる.電子間反発相互作用の効果(遮蔽効果)が相対論的効果を上回り,スピノルを押し広げている.

(iv) Hg2+電子殻(5s2 5p6 5d10 4f14)からの電子反発により,特にFmの5fは非相対論の場合と比べてより大きく押し出されている.

7 おわりに

本論文では,水素原子Dirac方程式の厳密解の規格化密度関数の3D等値面表示を行った.スピノルの形状を表現する方法としては4成分の各成分を表示する方法 [26,27]もある.

References
 
© 2016 Society of Computer Chemistry, Japan
feedback
Top