物理学ミニマム(量子力学)1
§7 量子力学
定義7.1 波、粒子
干渉や回折するものを波といい、数えられるものを粒子という。
原理7.2 波動関数
この世のすべての物質は波であり粒子である。
波は「座標と時間に依る複素数値関数」である波動関数 で表される。
(波動関数は空間方向に1次の導関数まで連続とする。)
なお、この節では、基本的に1粒子の場合を考える。
定義7.3 エルミート演算子
演算子 に対し、以下の式で「 の共役演算子 」を定義する。
(積分は全空間で行うとする。)
となる演算子を、自己共役演算子とかエルミート演算子という。
また、ここでは、演算子自身は陽に時間に依らないとする。
原理7.4 物理量
すべての物理量は波動関数に作用するエルミート演算子で表される。
(運動量はまとめて のようにも書く。)
はプランク定数とよばれる定数である。
以下では、単に演算子と言えば、物理量を表すエルミート演算子とする。
原理7.5 ハミルトニアン、シュレディンガー方程式
運動エネルギー とポテンシャルエネルギー の和をハミルトニアンという。
すると、波動関数は次の式をみたす。
ただし、通常、運動量は を使い、
と書く。これをシュレディンガー方程式という。
注7.6
である。
エネルギーの演算子は なので、
シュレディンガー方程式は、「エネルギーを表す式 」となっている。
注7.7 重ね合わせの原理
シュレディンガー方程式は線形であるので、波動関数は足しあわせても波動関数。
この性質を「重ね合わせの原理」という。
(これは極めて重要な原理である。)
原理7.8 粒子の存在確率
(特別な場合を除くと)「粒子がどこにいるか」は確率的にしかわからない。
「粒子がある時刻にある空間内で観測される確率」は
( はその空間の体積)
に比例する。
注意7.9 波動関数の規格化
一般に、シュレディンガー方程式を(素朴に)解いた解について、
が有限なら、 を定数倍して、この積分が になるようにできる。
これを波動関数の規格化という。(その定数を規格化定数などという。)
以下、主に「規格化できる波動関数を規格化したもの」を考える。
その場合、 は「粒子がある時刻にある空間内で観測される確率」
そのものになる。
規格化できない場合は、原理7.8に従って扱う。
注7.10 規格化できない波動関数
基本的に が粒子の存在確率を表す。
したがって、 は になってほしい。
(全確率は だから。)
これは、粒子が何か(原子核の電気力など)に束縛されている場合に実現される。
しかし、粒子が束縛されていない場合、(以下で見るように)たとえば「全空間のどこにも
同じ確率で存在する」などということが起こる。
その場合、積分が有限値に収まると、有限な場所での存在確率が になってしまう。
そのため、規格化できないのである。
ただし、これは何か重大な問題ではない(と思う)。
定義7.11 固有関数
演算子に対し、次のようになる関数を固有関数という。
ここで、 は固有関数を区別する添字、 は数値で、
その固有関数に対する の固有値とよばれる。
固有値は、離散的な場合とそうでない場合がある。
以下、主に離散的な場合を考える。
離散的でない場合も、ほぼ同様に扱える。
定理7.12
「離散的で相異なる固有値」を持ち規格化できる波動関数は
を満たす。
(証明)
最後の式は、最初の式に対して共役演算子()を に作用させて出す。
後の等式より の場合 になることが証明される。
のときは、規格化すればよい。□
原理7.13 固有関数展開と物理量の観測値
波動関数は適当な演算子の固有関数で次のように展開できるとする。
このとき、物理量 の観測値は観測のたびに のどれかになる。
波動関数が規格化されているなら、観測値が である確率は となる。
原理7.14
この世の物体は多数の粒子(素粒子)でできている。
個々の素粒子は波動的かつ粒子的だが、粒子が多数集まると波動的性質が小さくなる。
そのような「もの」を「古典的対象」などという。
物理量を計測する観測装置は基本的に古典的対象と考える。
(メーターが確率的な動きをすると物理量を(普通には)測定できない。)
注7.15
原理7.13の の規格化条件
は次のように書ける。
「離散的で相異なる固有値」を持ち規格化できる固有関数がある場合が
一番扱いやすく、この節でも主にその場合を扱う。
しかし、そうでない場合も、(ここで詳細は見ないが)同様の扱いができる。
定理7.16
観測される物理量は実数(虚数ではない)である。
(証明)
だが、
であるから、 。□
注7.17
以下で見るように、「物理量はエルミート行列の固有値」になる。
これは一般論から実数である。
定理7.18 物理量の期待値
(証明)
原理7.13より、素直に。□
注7.19
物理量 の期待値は規格化した波動関数に対し、次のように書ける。
この形式は、波動関数を固有関数に展開していない場合にも使える。
定理7.20
物理量は特定の交換関係を満たす。
など。
(ここで を表す。)
(証明)
\psi(x)\hspace{3}=\hspace{3}(p_x\hspace{3}x\hspace{3}-\hspace{3}x\hspace{3}p_x)\psi(x)\hspace{3}\\ \hspace{42}=\hspace{3}*1\psi(x)\hspace{3}=\hspace{3}-i\hbar\psi(x)]
他も同様。□
定義7.21 可換な演算子
のとき、 と は可換であるという。
その演算子が物理量を表す場合、(簡単に)「それらの物理量は可換」ともいう。
定理7.22
可換な物理量は同時に固有値を持てる。
(証明)
のとき、 の固有関数系 を考える。
すると、
と書ける。
上の式の状況を「 は対角化されている」と言う。
これらを使って
を書き換えると、
もし、すべての固有値が異なれば となる。
これは「 も対角化された」と言える。
固有値が等しい固有関数が複数ある場合も、それらを組み合わせて
やはり を対角化できると信じる。□
注7.23
一般の演算子に対し、
となるが、この はエルミート行列である。
したがって、定理7.19はエルミート行列の対角化の話である。
定義7.24 定常状態
波動関数がエネルギーの固有関数であるとき、エネルギーは変化しない。
そのような状態を定常状態という。
定理7.22より、ハミルトニアンと可換な物理量も定常状態で確定値(固有値)を持てる。
定義7.25 定常状態のシュレディンガー方程式
定常状態では
が成り立つ。( はハミルトニアンの固有値の1つを表す。)
この場合、波動関数は
のように書ける。
このときシュレディンガー方程式は に対して
となる。
(実践的には、このシュレディンガー方程式を解くことで、 がわかることが多い。
その場合、立式では などと書かず、(定数の気持ちを込めて) と書く。)
定理7.26 物理量の期待値の時間変化
(証明)
□
系7.27
ハミルトニアンと可換な物理量は保存量である。
特に、固有値を持つ状態なら、その値は時間的に変わらない。
例7.28 自由粒子
ポテンシャルが の場合、定常状態のシュレディンガー方程式は次のようになる。
この一般解は
となる。(方程式に代入して確認できる。)
注7.29
この波動関数の固有値は離散的ではない。
すなわち、任意の3次元実数ペクトル に対して解がある。
また、 だから、3次元空間すべてで積分すると無限大になってしまい、
規格化ができない。
「固有値が離散的でない波動関数」「規格化ができない波動関数」としては、
これ(とその仲間)が初等的な量子力学に出てくる唯一の関数であり、
これに習熟すればミニマムとしてはOKであると思う。
ただし、極めて重要な例である。
これは、古典的には「まっすぐ(力を受けずに)飛ぶ粒子」に相当する。
まず、この波動関数は運動量演算子の固有関数にもなっている。
すなわち、運動量は確定している。
( と が可換である。)
しかるに、 だから、存在確率は場所によらず一定。
つまり、この世のどこにでも同じ確率で存在するということになる(原理7.8)。
このような解は平面波などとよばれる。
実際の実験環境などでは、実験装置自体が有限で、その中で実験することになる。
しかし、素粒子にくらべて実験装置は広大なので、無限と考え、装置の外から
入射させる粒子を平面波で近似することは有用である。
なお、平面波については次のような式が成り立つ。
これが( の係数を適当に定めて)定理7.12の非離散値版である。
例7.28 1次元井戸型ポテンシャル
空間は 方向のみに広がっているとし、
で
で
で
のポテンシャルを考える。
(縦軸はポテンシャルの高さを示す。
箱の外ではポテンシャルが無限に高いので粒子は閉じ込められる。)
ポテンシャルが無限大とは、その場所には粒子が存在できないということである。
(シュレディンガー方程式で形式的に考えてもそうなりそうである。)
したがって、波動関数は で (という境界条件)になる。
でポテンシャルは だから、
エネルギーの固有状態で考えて、シュレディンガー方程式は次のようになる。
境界条件を考えた解は
そのエネルギー(固有値)は
となる。
注7.29
例7.27は自由粒子を箱に閉じ込めた場合である。
古典的には、粒子が両側の壁の間を行ったり来たりしている場合に相当する。
実際、 なので、
これは右向きの自由粒子と左向きの自由粒子が混ざった状態である。
エネルギーが離散的であることに注意。
古典力学では、粒子のエネルギーを自由に取れるが、
この設定の量子力学ではとびとびの決まった値しか許されない。
これは量子力学でしばしば出会うことで、量子力学の特徴と言える。
例7.30 1次元井戸型ポテンシャル2
空間は 方向のみに広がっているとし、
で
で
で
のポテンシャルを考える。
例7.28で、壁を無限ではなく有限にしたものである。
ここでは、粒子のエネルギーが の場合を考える。
古典的には例7.28と同じで、粒子が箱の中に閉じ込められるだけだが、
量子力学では違う結果になる。
箱の外でのシュレディンガー方程式は
箱の中でのシュレディンガー方程式は
すると、解は次のように考えられる。
ただし、 。
箱の外では、波動関数が無限のかなたで になるように選んだ。
箱の中は、自由粒子と同じである。
もちろん、箱の中と外で同じ粒子の波動関数を表すのだから、「つながって」いる。
そのルールは、「値が同じ」で「微分値も同じ」である(原理7.2)。
それを書き下すと次のようになる。
ここで詳細は示さない(たとえば、ハール参照)が、全体にかかる係数を除いて、
(間の比)と を(ある方程式の解として)求めることができる。
はやはり特定の離散値になる。
注7.31
例7.30の解は、箱の外でも ではない。
つまり、箱の外に出るのに必要は古典的エネルギー()を持たない粒子も
箱の外で観測される可能性があるわけである。
例7.32 調和振動子
ポテンシャルが の場合。
シュレディンガー方程式をひたすら解くだけなので答だけ書く。
(任意の教科書を参照。どんな教科書にも書いてあると思う。)
ただし、 は適当な定数(規格化定数という)。
はエルミート多項式である。
注7.33 昇降演算子
調和振動子は自由粒子と並んで重要な例である。
エネルギーが最低でも でないこと、それを除くと「一定値()の整数倍」に
なっていることが特徴である。
とおくと、交換関係とエネルギー(ハミルトニアン)は
となる。
また、 。
この 、 は昇降演算子とよばれる。
(上の式を見ると、 がエネルギーの低い関数を高い関数に上げている。
逆に は下げる働きをする。)
これがどうしたのかというと、場の理論で役に立つのである。
定理7.34 不確定関係
に対し、
とすると、
同様に、
(なお、当然、 である。)
(証明)
規格化した波動関で考える。
これは展開すると の2次式。
これが常に正になるように、 の2次式の判別式を
負とすると上の式が求められる。□
注7.35 不確定性原理
は 軸方向の運動量()の期待値からのずれを表している。
これが なら、「何度測定してもぴったり同じ値(期待値)になる」ということ、
つまり、「運動量は確定している」ということである。
すると、 は
「運動量と座標は同時に確定できない」ということを表している。
(確定したら、 となる。)
これは量子力学の性質をよく表すものとして不確定性原理とよばれる。
この性質は「(一般に)物理量が非可換」ということに由来する。
たとえば、 と は非可換なので、同時に確定できないのである。
(定理7.22も参照)
ただし、「最小値の正確な値」が重要ではない(「不確定」という事実が重要)ので、
しばしば、
などと書かれる。
なお、 は大変小さな数である。
これが なら、物理量は可換となり、不確定性関係は成り立たない、
つまり、量子力学効果はない、ということになる。
つまり、古典力学は、 を にした近似と考えられる。
例7.36 湯川粒子
湯川秀樹は核子と核子が引き合うのは、その間をある粒子(湯川粒子とよぶ)が
飛ぶからと考えた。
その粒子の質量は、不確定性関係から、次のように大雑把に予言できる。
「2つの核子のみの状態」と「2つの核子+湯川粒子の状態」は、
後者の方が粒子が1つある分だけ、エネルギーが大きいと考えられる。
(質量がエネルギーなのだった。)
それは、「エネルギーの保存則の破れ」を意味する。
しかし、エネルギーと時間の不確定性関係 があるので、
のような短い時間なら、
エネルギーが不確定なので、「エネルギーの保存則は問題にならない」と言える。
この時間内に湯川粒子が放出され吸収されればよいのである。
湯川粒子のエネルギーは、その質量を とすれば、だいたい 。
その速さは、最大で 。
その時間内に核子間(距離を とする)を飛んだとすると、
。
がわかっているので、 が(だいたい)わかるのである。
このように予言された粒子が実際に確認され、(やや紆余曲折があったが)
粒子とよばれている。
この議論からわかるように、 は、その質量の粒子の存在の
広がりを表す量で、コンプトン波長とよばれている。
ちなみに、体重(70+ウン)kg の私のコンプトン波長は
(計算が間違ってなければ(笑)) m ほどである。
つまり、私はいつもこのくらいの範囲で量子論的に揺れ動いているのである。
(もし、それより薄い壁があり、私も相当スリムなら、
その壁をふらふらとすりぬけていることだろう。)
しかし、これは水素原子のだいたいの大きさ( m )よりはるかに小さい。
つまり私は極めて古典的な対象なのである。
参考書:
量子力学 ランダウ・リフシッツ
演習量子力学 ハール
量子力学演習 大鹿譲・森田正人
*1:-i\hbar\frac{\partial }{\partial x})\hspace{3}x\hspace{3}-\hspace{3}x\hspace{3}(-i\hbar\frac{\partial }{\partial x}