MENU

【量子力学】量子力学1-量子力学の定式化1

  • このエントリーをはてなブックマークに追加





量子力学01

今回からは量子力学のお話しをしていきます。

1粒子系だろうが多粒子系だろうが、量子力学では波動関数と呼ばれるひとつの複素関数Ψによって状態があらわされるものと考えます。1粒子系の場合はΨ(x,t)と書き、n粒子系の場合はΨ(x1,,xn,t)と書きます。多粒子系について考える必要があるのはボース統計とフェルミ統計に関する問題が出たときくらいなので、以下では1粒子の場合に限定して話を進めて行きます。

波動関数と演算子

波動関数Ψ(x,t)の粒子がxx+dxの間に存在している確率は|Ψ(x,t)|2dxである。ここで、|Ψ(x,t)|2=Ψ(x,t)Ψ(x,t)であり、一般にΨ(x,t)2ではないことに注意しよう。粒子が「どこかで」見つかる確率は1に規格化しておく必要がある:

|Ψ(x,t)|2dx=1

もし3次元であれば、これは|Ψ(x,y,z)|2dxdydz|Ψ(r,θ,ϕ)|2r2sinθdrdθdϕなどと書くことに注意しよう。また、波動関数が次元解析できることも覚えておくと良い。d次元空間における波動関数の次元はd2である。確率の流れ密度S(x,t)

S(x,t)=i2m{Ψ(Ψ)Ψ(Ψ)}

P(x,t)=|Ψ(x,t)|2とすると、確率保存則が成り立つ。

P(x,t)t+S(x,t)=0

オブザーバブルAはエルミート演算子ˆAであらわされ、この形でΨに作用する(オブザーバブルは必ずエルミートでなければならない。運動量演算子iiがついているのは演算子がエルミートであることを保証するためである。同様の理由から、微分を1つしか含まない演算子には必ずiが付かなければエルミートにはならない。)。ここで、エルミート演算子とは、任意の関数f(x)g(x)に対して以下の関係が成り立つような演算子ˆAのことである。

f(x)(ˆAg(x))dx=(ˆAf(x))g(x)dx

状態ΨにおけるオブザーバブルAの期待値は以下で計算できる。

A=ΨˆAΨdx

エルミート演算子の重要な性質は、固有値が全て実数であるということ、及び、異なる固有値に対応する固有関数は直交するということの2点である。古典力学では全てのオブザーバブルは位置xと運動量pであらわすことができた。量子力学では演算子ˆx=xˆp=ixはエルミート演算子であり、殆どのオブザーバブルがこれらのみをもちいてあらわせる。学部レベルでの代表的な例外はスピン演算子である。以下ではオブザーバブルと演算子という言い方をしばしば併用したり、ハット記号を省略したりすることがあるが、オブザーバブルは測定可能な物理量のことで、演算子はその数学的な表式を示すということを心に留めておこう。

状態Ψの時刻t0におけるオブザーバブルAの測定は、エルミート演算子ˆAの固有値を返す。ある特定の固有値λnを見出す確率を求めたい場合は、まず、ˆAの各固有値λkに対応した規格直交関数系fk(x)を用いてΨ(x,t0)=kckfk(x)と展開する。この展開係数のうち、|cn|2λnを見出す確率となる。一般に、展開係数は次のように計算できる。

cn=fn(x)Ψ(x,t)dx

また、測定Aの期待値はA=kλk|ck|2となる。

ディラックの記法

ここではディラックのブラケット記法を導入する。ディラックの記法では、ケットと呼ばれるベクトル|aとそれにくっつくブラと呼ばれるベクトルb|を用いる。これらの内積をb|aと書くことにする。また、複素共役を取るとa|b=b|aという関係が成り立つと決めておく。これにより、a|a=a|aとなるから、ベクトルのノルムを常に実数にすることができる。

また、ˆA|b=|ˆAbと定義することで、a|ˆAb=ˆAa|bと定義することができる。ここで、ˆAˆAのエルミート共役である。ˆAがエルミート演算子であれば、ˆA=ˆAが成り立つので、a|ˆAb=ˆAa|b=a|ˆA|bが成り立つ。

更に、次のような表記も定義する。

x|f=f(x) , f|g=f(x)g(x)dx

ディラックのブラケット記法は、その数学的な定義が聞かれることはあまりなく、この記法を用いて固有関数の係数や測定の期待値を計算させる問題が大部分を占める。

  • このエントリーをはてなブックマークに追加

SNSでもご購読できます。