量子力学Ⅰ/電子の波動方程式 の履歴(No.51)
更新- 履歴一覧
- 差分 を表示
- 現在との差分 を表示
- ソース を表示
- 量子力学Ⅰ/電子の波動方程式 へ行く。
目次†
波動方程式†
20世紀初頭の前期量子論によって、電子は粒子と波の両方の性質を持つことが分かってきた。*1量子力学的な実験結果をまとめて基礎方程式を組み立てる直前までを(前期)量子論と呼び、基礎方程式ができてからの部分を量子力学と呼び分ける。 量子力学では電子の運動を「波動方程式」により記述する。*2量子力学には基礎方程式を波動方程式の形に書く「波動力学」(シュレーディンガー流)の他に、行列方程式の形で書く「行列力学」(ハイゼンベルグ流)も存在する。後に、線型代数IIで学んだ関数空間の考え方を用いて2つの形式の同値性を理解する。
準備:波動を表わす関数†
速度 $v$ で移動する関数†
は、 を の正方向に だけ移動した関数である。
したがって、形を変えずに の正方向に速度 で伝播する関数は、
と書ける。時刻 の時の関数形 が時刻 において だけ移動することを理解せよ。
位相速度 $v$ で伝播 する正弦波(一次元)†
は波長 、波数 の正弦波である。
したがって、
とすれば、波数 の正弦波が速度 で伝播する関数になる。
これを、
のように括弧を外して書けば、 この関数が時間に対して角振動数 で振動することが分かる。 このとき振動数は である。
の 正の方向に進む波では にかかる符号が負になることに注意せよ。
速度 の波が1周期 の間に進む距離が波長 だから、
両者の逆数を取って、
このように考えて得られる とも、ちゃんと整合性がとれている。
位相速度 $v$ で伝播する平面波(三次元)†
3次元空間で考えると、
という関数はやはり 軸正方向に進む波であるが、平面波 になる(ただし )。 関数の値は によらないから、同じ 座標の点は常に同じ位相を持つ。 すなわち「波面」(同じ位相を持つ点を繋げた面)は 軸に垂直で、 平面に平行な 平面 になるのだ。
一方、任意の方向に進む平面波を表わす式は、進行方向を向いたベクトル を用いて
と書ける。なぜなら・・・
まず、 は の 方向成分( )を 倍した値であるといえる。
$x$ 方向に進む波数 $k$ の正弦波 に現れた が の 方向成分を 倍した値であったのと見比べると、 は 方向に進む波数 の平面波を表すことが分かるだろう。 (右図は二次元の場合)
ベクトル は平面波の波数ベクトルと呼ばれる。
演習:波動方程式(電磁波の場合)†
平面波 を考える。
この平面波がマクスウェル方程式から導かれる電磁波の波動方程式
を満たすことを以下の問いに従って確認し、波動方程式と分散関係との関係を理解せよ。
(1) となることを示せ。
(2) となることを示せ ( 、 である)。
(3) となるためには と の間にどのような関係が必要か。
(4) 速度 で進む波の周期 と波長 との間には の関係がある(1回振動する間に進む距離が波長である)。 をそれぞれ で書き直して、(3) と同じ式が得られることを示せ。すなわち上の(電磁波が満たす)波動方程式に現れる は平面波の速度を表し、その値は波長に依存しない定数となる。
(5) (発展) より一般に、任意の関数 に対して、 は上記の波動関数を満たすことを示せ。ただし は (3) の条件を満たす物とする。
蛇足†
は、
&math(\begin{pmatrix}E_x(\bm r,t)\\E_y(\bm r,t)\\E_z(\bm r,t)\end{pmatrix} =\begin{pmatrix}E_{0x}\\E_{0y}\\E_{0z}\end{pmatrix}\cos(k_xx+k_yy+k_zz-\omega t));
をまとめて書いたものであり、
であることに注意せよ。
解答†
解説†
(3), (4) で見たような と の関係を 分散関係 と呼ぶ。
この問題のように波の位相速度(ここでは )が波数によらず一定であるような波では分散関係は で、 は に比例する。このような系は 分散がない と呼ばれる。
一方で、波の位相速度が波数によって異なる場合、 である、 そのような系は 分散がある と呼ばれる。
例えば真空中では電磁波の速度は波長によらず光速に等しいから、真空は分散がない。 一方、ガラスの屈折率は波長により異なるから、ガラスは分散を持つ。
特に分散がある系において、波数と振動数、あるいは波数と位相速度の関係を表したのが分散関係である。
(3) の結果から、波動方程式 は 分散関係を方程式にしたもの であったとも解釈できる。 (分散関係の を適切な形で で置き換えた形)
とはいえ波動方程式が「平面波に対する」分散関係以上のものを含んでいるのもまた事実である。
例を上げると、波動方程式は線型であるから異なる を持つ2つの平面波 がどちらも方程式の解であれば、それらの任意の線形結合 も解になる。
しかし、そのようにして作られた複雑な解は単一の や と対応しない。
つまり波動方程式の解は平面波に限らないということだ。
復習:前期量子論で電子について分かったこと†
- 電子は粒子として、数を数えたり、1つ当たりの電荷や質量を測定したりできる。
- 電荷は
- 質量は
- 電子は波として、回折したり、干渉したりする。
- エネルギーと周波数の関係
- 運動量と波数の関係
時間: 周期 $T$ 周波数 $\nu=1/T$ 角周波数 $\omega=2\pi\nu=2\pi/T$ 距離: 波長 $\lambda$ 波長の逆数 $1/\lambda$ 波数 $k=2\pi/\lambda$ - ここで、
はプランク定数、
- 水素原子の中の電子は
- 原子核の周りを回る軌道を描く?
- 1周が電子波長の整数倍になるような軌道以外は禁止されている
- 結果的に電子のエネルギーも離散化している
なぜ粒子の性質も持つのかは置いておいて、
もし電子が波であるならば、その波の満たすべき波動方程式はどのようなものになるだろうか?
自由な電子の波動方程式†
外力を受けない(自由な)電子の満たすべき波動方程式について考える。
外場がなければ電子のエネルギーは運動エネルギーのみで書けるから、
、 で書き直せば、
この分散関係を要求する波動方程式を作ろう!
電子波を と置いて、 が出てくるように微分すると、*3量子力学の波動関数はギリシャ文字のプサイ で書かれることが多い。ギリシャ文字の書き方・読み方は http://www.tomakomai-ct.ac.jp/... や http://kscalar.kj.yamagata-u.a... が参考になる。
思惑通り $\omega$ と $k^2$ が出たのはいいが、上では 、下では が現れてしまい両者を等号で結べない。。。
や は微分により形が変わってしまうのが問題。*4例えば、条件式の両辺を二乗して と の式にすれば や でも式は作れるが、それでは役に立つ方程式が得られないので、ここでは深入りしない。
微分で形の変わらない関数を使ってみる。
これも波数 、角周波数 の波動を表わす。複素数になっちゃうけれど。
が出てくるように微分すると、
これらを用いて分散関係を表わす式 を書き換えると、
これは自由な電子に対する正しい波動方程式(シュレーディンガー方程式)である。
外力を受ける場合†
電子がポテンシャルエネルギー の中で運動する場合、 電子のエネルギーは
となる。そこで、
これがシュレーディンガー方程式と呼ばれる量子力学の基本方程式である。
当然、ここまでの導出には任意性があるから、 この式が正しいかどうかは実験結果と合うかどうかで判断することになるが、 相対論的効果が顕著でない場合、 実際にこの式が実験結果と良く合うことが確かめられている。*5このシュレーディンガー方程式が相対論と相容れないことは、左辺が1次の時間微分を含んでおり、右辺が2次の空間微分を含んでいることからも明らかである。相対論では空間と時間とで構成される4次元を考える。それらの指標は等価な物であるから微分の次数が異なるはずがない。
シュレーディンガー方程式に現れる(現時点では)得体の知れない関数 は電子の波動関数と呼ばれる。
波動関数は一般に複素数値を取る*6たぶんここがシュレーディンガーの発想の最も顕著な点だったのではないか?物理量を表わす波を複素数で書こうと考えるとは!後にパウリがこの波を2次元複素ベクトル値に、ディラックが4次元複素ベクトル値に拡張してスピンや相対論的方程式を記述した。。
覚えられる?†
始めの授業で出てきた上記の怪しげな式、今なら何も見なくても書き下せそうな気がします?
の形を思い浮かべながら、
が思い出せれば、あとは を書き換えてシュレーディンガー方程式を再現できるはず。
上記の関係は今後も頻出するので必ず覚えておくこと。
時間に依存しないシュレーディンガー方程式†
シュレーディンガーがこの方程式を導いた時点では、 電子の波動関数 というものが物理的には何を表わしているか、 まったく解っていなかった。 それでも何とか実験結果と比較して、この方程式の正しさを確かめたければどうすればいいだろう?
そのために波動関数の空間分布が時間によらず変化しない場合を考えてみる。 安定に存在する原子の中の電子などはそのような定常状態にあるはずだからである。
すなわち、想定するのは の形の解である*7 は の異なる書き方で、これらはどちらもギリシャ文字のファイである。 が、時間微分をゼロと仮定してしまうとシュレーディンガー方程式の左辺がゼロになり意味をなさないので、 代わりに
のように変数分離ができることを仮定しよう*8 はギリシャ文字のタウ。アルファベットの にあたる。 (この形でも「空間分布=空間座標依存性」は時間に依存しないことを理解せよ)。
当然ここでは「ポテンシャルが時間に依存しない場合」を考えているので、 以下 の代わりに と書く。
と置けば*9この部分は解析力学で言うハミルトニアンにあたるので、頭文字を取って で書く。上に付いている (ハット) は中身がただの数ではなく、微分記号などを含む「演算子」であることを表わす。、 演算子 は のみに作用し、 に作用しないから、
となる。左辺は だけの関数、右辺は だけの関数であり、 それらが の値によらず等しいなら、これらはある定数 に等しくなければならない。
すなわち、
上の式はすぐに解けて、
この定数 が実数であるならば、 時間依存部分は複素数の位相が で回転するのみで、 絶対値は変化しないことが分かる。現実的な条件下では確かに $\varepsilon$ が実数となることを後に確認する。
は定数であるからこれを に含めてしまい、 としても一般性を失わない。 このとき、 を満たすことになり、 「絶対値が時間に対して変化しない定常解」が得られたことになる。
残った に対する方程式
は時間に依存しないシュレーディンガー方程式、と呼ばれる。
上記の議論をたどれば分かるとおり、これを満たす解以外には「時間に依存しない解」は存在しない。
エネルギー固有値†
はある関数を別の関数に変換する線型な演算子と見なせる。
すなわち、 の具体的な形によらず、もし2つの関数 が
,
のように に変換されるならば、
が成立し、 は線型の条件を満たす。
線形代数Ⅱで学んだように、関数に作用する線型な演算子 に対して固有値問題を考えることができる。 実際、時間に依存しないシュレーディンガー方程式はそのまま の固有値と固有ベクトル(固有関数)を求める方程式になっている。
これを解いて固有値 と、 それぞれの固有値に対応する固有関数 が求まれば、
として(絶対値が)時間に依存しない波動関数 が得られる。 そして、時間に依存しない、定常的な電子の状態はこれら以外に存在しない。
シュレーディンガー方程式の導出過程から や はエネルギーを表わすから、 固有値 は波動関数 によって表わされる状態において 系が持つエネルギーを表わすと期待される。→ エネルギー固有値
シュレーディンガー方程式の有用性†
水素の原子核が電子に及ぼすポテンシャルは である。
水素の中の電子が定常状態にあるならば、 その波動関数は上記の時間に依存しないシュレーディンガー方程式を満たすはずであり、 そのエネルギー値は の固有値 のいずれかを取るはずである。
シュレーディンガーは実際に上記のポテンシャルに対して固有値を求め、 その固有値間のエネルギー差が原子スペクトルのピーク波長測定値(ボーアの量子条件) とぴったり一致することを示した。
いろいろ不確実なまま進んできたものの、 シュレーディンガー方程式が正しそうなことが確認されたことになる。
復習†
電子のエネルギー 、運動量
自由な電子の波動関数
シュレーディンガー方程式: を分散関係に直して、
時間に依らないシュレーディンガー方程式
質問・コメント†
波動を表わす関数†
()
前の投稿は取り下げます。勘違いをしておりました。
波動を表わす関数†
()
tのところが若干違うように思います
速度vで移動する関数
f(x,0)=f(x-vt,0)
位相速度vで伝播(でんぱ)する正弦波(一次元)
f(x,t)=f(x-vt,t)=cos(k(x-vt))
無題†
()
復習の波動関数ですがeの指数部分のカッコを書き忘れていませんでしょうか
- ご指摘ありがとうございます、おっしゃる通りでした。早速修正いたしました。 -- 武内(管理人)
*1 量子力学的な実験結果をまとめて基礎方程式を組み立てる直前までを(前期)量子論と呼び、基礎方程式ができてからの部分を量子力学と呼び分ける。
*2 量子力学には基礎方程式を波動方程式の形に書く「波動力学」(シュレーディンガー流)の他に、行列方程式の形で書く「行列力学」(ハイゼンベルグ流)も存在する。後に、線型代数IIで学んだ関数空間の考え方を用いて2つの形式の同値性を理解する。
*3 量子力学の波動関数はギリシャ文字のプサイ で書かれることが多い。ギリシャ文字の書き方・読み方は http://www.tomakomai-ct.ac.jp/department/gene/am/education/greek.html や http://kscalar.kj.yamagata-u.ac.jp/~endo/greek/orthographic.html が参考になる。
*4 例えば、条件式の両辺を二乗して と の式にすれば や でも式は作れるが、それでは役に立つ方程式が得られないので、ここでは深入りしない。
*5 このシュレーディンガー方程式が相対論と相容れないことは、左辺が1次の時間微分を含んでおり、右辺が2次の空間微分を含んでいることからも明らかである。相対論では空間と時間とで構成される4次元を考える。それらの指標は等価な物であるから微分の次数が異なるはずがない。
*6 たぶんここがシュレーディンガーの発想の最も顕著な点だったのではないか?物理量を表わす波を複素数で書こうと考えるとは!後にパウリがこの波を2次元複素ベクトル値に、ディラックが4次元複素ベクトル値に拡張してスピンや相対論的方程式を記述した。
*7 は の異なる書き方で、これらはどちらもギリシャ文字のファイである
*8 はギリシャ文字のタウ。アルファベットの にあたる。
*9 この部分は解析力学で言うハミルトニアンにあたるので、頭文字を取って で書く。上に付いている (ハット) は中身がただの数ではなく、微分記号などを含む「演算子」であることを表わす。