特殊関数 グラフィックスライブラリー
Graphics Library of Special functions
http://math-functions-1.watson.jp
Home Menu
特殊関数 応用編
水素原子における電子の存在確率
3次元直交直線座標における (時間に依存しない) Schrödinger 方程式は、である。ただし、具体的なは後に定める。
上記の Schrödinger 方程式を、球座標でのラプラシアン
によって変換すれば、
となる。さらに、解が変数分離形になると仮定すれば、
となり、各々の座標方向が独立に変動しても恒等的に成り立つ式になる。つまり、各項が定数に等しいと置いて式全体が0となるように定めることができる。そこで、解が既知の関数に帰着されるよう定数およびを導入すると、3本の微分方程式
が得られる。
まず①において、が原点 (原子核) からの距離に反比例する引力で定まると仮定し、を次のように定める (のが慣例となっている)※1。
よって、物理的におよびである※2。(一方、は方位量子数 (azimuthal quantum number)、は磁気量子数 (magnetic quantum number) の意味を持ち、およびでなければならない)。すると①は、
となり、さらに変換を施すと、
となる。この微分方程式の有界な解が、正規化 Laguerre 陪関数によって
と表わされるためには、でなければならない。すなわち、Bohr 半径およびエネルギー固有値の具体的な表示式
が得られる※3。逆変換を施せば、元々の解は
となる。は (極座標における動径方向での) 正規直交性に基づく条件
が課せられるので、ここからが
と求まる※4。
②は単に式変形すれば
となり、その解は Legendre 陪関数 (Ferrers 型) に余弦関数を代入したものになるが、このうち有界な解として第2種 Legendre 陪関数を含まない、
を選ばなければならない。
同様に、③も簡単な式変形によって、
となることが直ちに分かるが、であるから基本解のどちらか一方を採用すれば良い。ここでは、
を選ぶ。このときおよびは、(極座標における方向での) 正規直交性に基づく条件から求められるが、これは既に球面調和関数の頁で得られている。すなわち、
となっている。
よって、は (併せて、量子数を添字で明示するように改めると)
となる※5。この解の全体に対して絶対値を取って2乗した式が、水素原子における電子の存在確率を表わす※6。
【註記】
※1:一般的な原子の場合は、いわゆる 「多体問題」 が生じる等の理由からの式が複雑になるため、既知の関数で明示された形に解くことが難しい。しかし水素原子の場合は、陽子と電子が1個ずつの単純な構造であるため多体問題が生じず、しかも陽子は電子の約1836倍の質量があるため、陽子は原点に固定されていると仮定できる。それゆえ、この場合は上記のように解くことができる。(ただし、水素原子に外力が与えられていないとか、相対性理論からの効果を無視する等、他にもいくつかの仮定を含む。)
※2:の場合とは、電子を1個のままで原子核を一般的な元素のそれに置き換えた想像上の原子に相当する。これは 「水素様原子」 (水素型原子 = Hydrogen-like atom) と呼ばれる。
※3:むしろ本来の順序では、この式が Bohr 半径の (国際量体系での) 定義として先に与えられる。Bohr 半径は、基底 (最低エネルギー) 状態の水素原子における電子の軌道半径に相当する長さの単位であって、概ねとされる。名称は、N. H. D. Bohr に由来する。
※4:この定積分は次の方法で求める。まず、Laguerre 陪関数が満たす漸化式
から、正規化 Laguerre 陪関数が満たす漸化式
を得る。この両辺にを掛けて積分すると、
となるが、右辺にある定積分は重み関数が現れない正規直交性ゆえ1または0になる。よって、
が得られる。(当サイトでは、解の導出にあたって正規化 Laguerre 陪関数を介したが、勿論これは必須ではなく、通常は Laguerre 陪多項式で求める。)
※5:特に、は角運動量が零になる 「s 状態」 の軌道を表わす。古典力学で s 状態を説明しようとすると、電子が原子核に落下して軌道が潰れてしまうとの結論が導かれてしまう。これは、現実とも矛盾する。しかし量子力学によれば、s 状態でも固有エネルギーを持ち、確率分布にしたがって電子は存在するとの結論になり、軌道が潰れないことを上手く説明できる。
※6:以下のグラフは全て、Bohr 半径を, 陽子数をとして描画する。
( グラフのコードは 「Mathematica Code」 の頁に掲載しています。)
※1:一般的な原子の場合は、いわゆる 「多体問題」 が生じる等の理由からの式が複雑になるため、既知の関数で明示された形に解くことが難しい。しかし水素原子の場合は、陽子と電子が1個ずつの単純な構造であるため多体問題が生じず、しかも陽子は電子の約1836倍の質量があるため、陽子は原点に固定されていると仮定できる。それゆえ、この場合は上記のように解くことができる。(ただし、水素原子に外力が与えられていないとか、相対性理論からの効果を無視する等、他にもいくつかの仮定を含む。)
※2:の場合とは、電子を1個のままで原子核を一般的な元素のそれに置き換えた想像上の原子に相当する。これは 「水素様原子」 (水素型原子 = Hydrogen-like atom) と呼ばれる。
※3:むしろ本来の順序では、この式が Bohr 半径の (国際量体系での) 定義として先に与えられる。Bohr 半径は、基底 (最低エネルギー) 状態の水素原子における電子の軌道半径に相当する長さの単位であって、概ねとされる。名称は、N. H. D. Bohr に由来する。
※4:この定積分は次の方法で求める。まず、Laguerre 陪関数が満たす漸化式
から、正規化 Laguerre 陪関数が満たす漸化式
を得る。この両辺にを掛けて積分すると、
となるが、右辺にある定積分は重み関数が現れない正規直交性ゆえ1または0になる。よって、
が得られる。(当サイトでは、解の導出にあたって正規化 Laguerre 陪関数を介したが、勿論これは必須ではなく、通常は Laguerre 陪多項式で求める。)
※5:特に、は角運動量が零になる 「s 状態」 の軌道を表わす。古典力学で s 状態を説明しようとすると、電子が原子核に落下して軌道が潰れてしまうとの結論が導かれてしまう。これは、現実とも矛盾する。しかし量子力学によれば、s 状態でも固有エネルギーを持ち、確率分布にしたがって電子は存在するとの結論になり、軌道が潰れないことを上手く説明できる。
※6:以下のグラフは全て、Bohr 半径を, 陽子数をとして描画する。
( グラフのコードは 「Mathematica Code」 の頁に掲載しています。)
動径方向の波動関数
動径方向で電子の存在確率を見る場合は、極座標に由来してをかけることに留意する。次は、以降のグラフで使用する色の凡例である。K 殻 () における動径方向の電子分布のグラフ ()。
L 殻 () における動径方向の電子分布のグラフ ()。
M 殻 () における動径方向の電子分布のグラフ ()。
N 殻 () における動径方向の電子分布のグラフ ()。
O 殻 () における動径方向の電子分布のグラフ ()。
P 殻 () における動径方向の電子分布のグラフ ()。
Q 殻 () における動径方向の電子分布のグラフ ()。
電子の存在確率の「雲」
前述の解は、量子数を様々に変えることによって、一般の (水素に限らない) 元素の電子配置が従う個々の原子軌道 (Atomic orbital) に対しても、電子雲の状態を近似的に表わす。以降のグラフはそれを視覚化している事になる。なお、電子雲の色は疑似カラーであって、現実とは異なる (可視光線の波長は原子半径の概ね数千倍もあるので、原子の規模について色を問うこと自体が無意味)。また、原点にある原子核を強調するため赤点を置いたが、その電子雲に対する実際の大きさは、図よりも遙かに小さい。
【色の凡例】
以下のグラフで使用する色の凡例。赤字は、Og (オガネソン) までの元素の電子配置には現れないと推定されている原子軌道。
(表中の文字をクリックすると、当該グラフの掲載箇所にジャンプします。)
s | p | d | f | g | h | i | |
---|---|---|---|---|---|---|---|
K | 1s | ||||||
L | 2s | 2p | |||||
M | 3s | 3p | 3d | ||||
N | 4s | 4p | 4d | 4f | |||
O | 5s | 5p | 5d | 5f | 5g | ||
P | 6s | 6p | 6d | 6f | 6g | 6h | |
Q | 7s | 7p | 7d | 7f | 7g | 7h | 7i |
【1s: K殻・s状態】
のグラフ。
【2s: L殻・s状態】
のグラフ。
【2p: L殻・p状態】
のグラフ。
のグラフ。
【3s: M殻・s状態】
のグラフ。
【3p: M殻・p状態】
のグラフ。
のグラフ。
【3d: M殻・d状態】
のグラフ。
のグラフ。
のグラフ。
【4s: N殻・s状態】
のグラフ。
【4p: N殻・p状態】
のグラフ。
のグラフ。
【4d: N殻・d状態】
のグラフ。
のグラフ。
のグラフ。
【4f: N殻・f状態】
のグラフ。
のグラフ。
のグラフ。
のグラフ。
【5s: O殻・s状態】
のグラフ。
【5p: O殻・p状態】
のグラフ。
のグラフ。
【5d: O殻・d状態】
のグラフ。
のグラフ。
のグラフ。
【5f: O殻・f状態】
のグラフ。
のグラフ。
のグラフ。
のグラフ。
【5g: O殻・g状態】
のグラフ。
のグラフ。
のグラフ。
のグラフ。
のグラフ。
【6s: P殻・s状態】
のグラフ。
【6p: P殻・p状態】
のグラフ。
のグラフ。
【6d: P殻・d状態】
のグラフ。
のグラフ。
のグラフ。
【6f: P殻・f状態】
のグラフ。
のグラフ。
のグラフ。
のグラフ。
【6g: P殻・g状態】
のグラフ。
のグラフ。
のグラフ。
のグラフ。
のグラフ。
【6h: P殻・h状態】
のグラフ。
のグラフ。
のグラフ。
のグラフ。
のグラフ。
のグラフ。
【7s: Q殻・s状態】
のグラフ。
【7p: Q殻・p状態】
のグラフ。
のグラフ。
【7d: Q殻・d状態】
のグラフ。
のグラフ。
のグラフ。
【7f: Q殻・f状態】
のグラフ。
のグラフ。
のグラフ。
のグラフ。
【7g: Q殻・g状態】
のグラフ。
のグラフ。
のグラフ。
のグラフ。
のグラフ。
【7h: Q殻・h状態】
のグラフ。
のグラフ。
のグラフ。
のグラフ。
のグラフ。
のグラフ。
【7i: Q殻・i状態】
のグラフ。
のグラフ。
のグラフ。
のグラフ。
のグラフ。
のグラフ。
のグラフ。
【 Petite Galerie 】
"量子力学的" 太極図
(N. H. D. Bohr は自身の紋章に太極図を採用している。)
(N. H. D. Bohr は自身の紋章に太極図を採用している。)
調和振動子の存在確率
結晶内の原子が、熱エネルギーによって振動する場合などの格子振動現象は、古典力学における単振り子やバネの運動を、量子力学の (時間に依存しない) Schrödinger 方程式によって量子化したもので説明される。ここに、は固有エネルギーである。
最も簡単な事例として、原子が1次元的に並び、しかも原点からの距離に比例する引力が各原子に影響している場合を考える。古典力学的な1次元調和振動子のポテンシャルエネルギー関数は、
となるのでそのまま代入し、ラプラシアンの部分は (1次元ゆえ) 単なる2階の常微分演算子になる。よって、Schrödinger 方程式は
に変形される※1。
上記の Schrödinger 方程式は、正規化 Hermite 多項式が満たす微分方程式と実質同じ形であるから、解が正規化 Hermite 多項式で表わされる事を期待するならば、固有エネルギーは
よって、前掲の Schrödinger 方程式の解
が得られる。この解の全体に対して絶対値を取り、さらに2乗した式が、1次元調和振動子の存在確率を表わす。
多次元調和振動子は、Schrödinger 方程式が変数分離形になるため、次元数個の1次元調和振動子の (上記の) 解を掛け合わせた形になる。具体的に、2次元ならば
となり、3次元ならば
となる。いずれの場合も同様に、存在確率は解の絶対値の2乗となる。
以下では、1次元, 2次元, および3次元調和振動子の存在確率のグラフを掲載しているが、簡単のため全てのグラフを、バネ定数については, , 換算 Planck 定数はとして描画する。
( グラフのコードは 「Mathematica Code」 の頁に掲載しています。)
【註記】
※1:古典的な Newton 力学に従う1次元運動の場合、その物理系の Hamilton 関数は、ポテンシャルエネルギー関数をとするとき、
となる (右辺の第1項は、運動エネルギーを表わす)。この場合、Hamilton 関数を量子化した 「Hamilton 演算子」
によって、Newton 方程式を置き換えた、
が Schrödinger 方程式となる。
※1:古典的な Newton 力学に従う1次元運動の場合、その物理系の Hamilton 関数は、ポテンシャルエネルギー関数をとするとき、
によって、Newton 方程式を置き換えた、
1次元調和振動子
1次元調和振動子の存在確率を表わす波動関数のグラフ。のグラフを、取り得るエネルギーの位置に並べて描画する。
が大きくなるほど、の振動の平均は古典力学による解に近くなる。(グラフはの場合。)
2次元調和振動子
2次元調和振動子の存在確率を表わす波動関数のグラフ。(格子の内部より、辺や頂点に位置する原子の周辺の方が、電子の存在確率は高くなることが分かる。)
2次元調和振動子の存在確率を表わす波動関数のグラフ。
2次元調和振動子の存在確率を表わす波動関数のグラフ。
3次元調和振動子
3次元調和振動子の存在確率を表わす波動関数のグラフ。2番目は、1番目の一部領域を切り取って、内部が分かるようにしたグラフである (以下同様)。
3次元調和振動子の存在確率を表わす波動関数のグラフ。
楕円形膜の振動
太鼓などの膜の振動現象は、膜の形状が簡単であれば特殊関数を用いて表わせる。円形膜の場合は、動径方向に第1種 Bessel 関数が現れる事例として、多くの書籍・ウェブサイト等で詳しい解説がある。ここでは、比較的取り上げられることが少ない事例として、第1種 Mathieu 関数が現れる楕円形膜の場合を扱う (方法そのものは円形膜の場合と変わらない)。
速さの振動が、任意の2次元形状の膜を伝わる場合を考える (は、膜の張力によって決まる定数とも言える)。膜における位置を、時刻をとするとき、振動の変位は、2次元波動方程式
を用いれば、[3]は
に変形される。このとき解を
になる。これはの値に係わらず成り立つので、両辺を未知定数に等しいと置くと、2本の線形常微分方程式
が得られる。[8]は変形された Mathieu の微分方程式、[9]は Mathieu の微分方程式に他ならない。よって、固有振動関数のうち、偶関数であるものを、奇関数であるものをとすると、
となる。ここには、に相当する定数で、それぞれ超越方程式
の正の実数解のうち、絶対値の小さいほうから番目の解である。
より一般的な楕円形膜の振動は、が等しいとの級数で表わされる。すなわち、
となる。ここに等は初期条件によって決まる定数で、これらがある項数以降0となる等によって消える場合は有限級数、そうでなければ無限級数となる。
固有振動関数(偶関数・奇関数)
固有振動関数は、時刻によらない(時刻0の)場合である。以下のグラフはこれを描画しており (アニメーションは除く)、それぞれの固有振動関数について、振動膜の立体形状図と、それを真上から見た平面図からなる。( 下記グラフの一部について、コードを 「Mathematica Code」 の頁に掲載しています。)
①②:,③④:
①②:,③④:
①②:,③④:
①②:,③④:
①②:,③④:
①②:,③④:
①②:,③④:
①②:,③④:
アニメーション(2.14MB)
楕円形膜の固有振動 (偶関数)。の時刻による変化。
固有振動関数の和
楕円形膜の振動の一般的な例として、複数個の固有振動関数を足し合わせた場合を以下に示す。これは、時刻によらない[14]が有限級数になる例に相当する。①②:,
③④:
①②:,
③④:
①②:,
③④:
【工事中】
工事中:ここに新規項目の追加を計画しています。Under construction:I'm planning to add a new contents here.