自由粒子

提供: testwiki
ナビゲーションに移動 検索に移動

自由粒子 (テンプレート:Lang-en-short) は束縛されていない粒子である。古典力学的には、の影響を受けていない ("field-free") 空間に存在する粒子を意味する(粒子は外力を受けない)。そのため、自由粒子のポテンシャルエネルギーはその位置によらず一定である[1]

古典的自由粒子

古典力学的な自由粒子は単純に一定の速度によって特徴付けられる。その運動量

𝐩=m𝐯

であり、そのエネルギー

E=12mv2

である。ここで、m は粒子の質量、 v は粒子の速度ベクトルである。

非相対論的量子力学自由粒子

非相対論的量子力学において、初期状態がψ0(𝐱)である自由粒子のシュレーディンガー方程式は以下のとおりである:

itψ(𝐱,t)=22mj=1d2xj2 ψ(𝐱,t)    …(1)

ψ(𝐱,0)=ψ0(𝐱) …(2)

である。ここでテンプレート:Mathテンプレート:Mvar次元空間テンプレート:Mathの元であり、テンプレート:Mathは質量を表す定数である。物理的には次元テンプレート:Mvarは3とするが、方程式の解法は3以外のテンプレート:Mvarに関しても同様なので、以下テンプレート:Mvarは3とは仮定しない。

絶対可積分な場合

本節ではψ(𝐱,t)およびψ0(𝐱)テンプレート:Mvarに関して全空間テンプレート:Math上での絶対可積分性(=絶対値のテンプレート:Mathルベーグ積分が有限値である事)を仮定した上で、(1)、(2)の解を導く。波動関数ψ(𝐱,t)ψ0(𝐱)は一般には(自乗可積分ではあっても)絶対可積分とは限らないため、この仮定は常に成り立つわけではない。そこで次節ではこのような仮定を置かない一般の場合の解法を述べる。

解法

仮定よりψ(𝐱,t)テンプレート:Mvarに関して絶対可積分であるので、変数テンプレート:Mvarに関するフーリエ変換

ψ^(𝐩,t)=1(2π)d/2𝐑dei𝐩𝐱/ψ(𝐱,t)d𝐱

が定義でき、ψ^(𝐩,t)も可積分である。

(1)、(2)の両辺をフーリエ変換する事で、

itψ^(𝐩,t)=|𝐩|22m ψ^(𝐩,t)      …(1')
ψ^(𝐩,0)=ψ^0(𝐩)       …(2')

を得る。ここでψ^0(𝐩)ψ0(𝐩)のフーリエ変換である。

(1')、(2')は容易に解くことができて、

ψ^(𝐩,t)=exp(i2m|𝐩|2t)ψ^0(𝐩)

である。

最後に上式をテンプレート:Mvarに関して逆フーリエ変換して、(1)、(2)の一般解

ψ(𝐱,t)=𝐑dexp(i(𝐩𝐱E(𝐩)t))ψ^0(𝐩)d𝐩 …(a)

を得るT09テンプレート:Rp。ここで

E(𝐩)=|𝐩|22m.    ...(b)

積のフーリエ逆変換が畳み込み積に対応している事を利用して(a)のフーリエ逆変換を具体的に計算することで、

ψ(𝐱,t)=(m2πit)n/2𝐑dexp(im|𝐱𝐲|22t)ψ0(𝐲)d𝐲 …(c)

と書くこともできる。なお、exp(i2m|𝐩|2t)テンプレート:Math上の可積分関数でない関係で(a)から(c)を直接得ることはできず、代わりにexp(i+ε2m|𝐩|2t)を考えてフーリエ逆変換した上で、テンプレート:Mvarとする必要があるT09テンプレート:Rp

一般の場合

波動関数ψ(𝐱,t)およびψ0(𝐱)は一般には(自乗可積分ではあっても)絶対可積分とは限らないため、一般の場合の解を得るには前節の議論を修正する必要がある。

解法

前節との違いはフーリエ変換の定義である。ψ(𝐱,t)(およびψ0(𝐱))の全空間𝐑d上での絶対可積分性を仮定していないため、𝐑d上のフーリエ積分

1(2π)d/2𝐑dei𝐩𝐱/ψ(𝐱,t)d𝐱

は一般には意味を持たない。 そこでまず原点中心の半径テンプレート:Mvar球体テンプレート:Math上のフーリエ積分

1(2π)d/2B(0,r)ei𝐩𝐱/ψ(𝐱,t)d𝐱

を考え、この積分のL2極限

l.i.mr1(2π)d/2B(0,r)ei𝐩𝐱/ψ(𝐱,t)d𝐱

によりフーリエ変換を定義する新井テンプレート:Rp。 ここでL2極限テンプレート:Mathは以下のように定義される:

l.i.mrF(r)=Adeflimr𝐑d|F(r)A|2dr=0.

なお、波動関数ψ(𝐱,t)テンプレート:Mvarに関して自乗可積分である事から、テンプレート:Math上でのψ(𝐱,t)の絶対可積分性は保証されるので、テンプレート:Math上のフーリエ積分は意味を持つ。

以上の理由により、一般の場合の解は、(a)、(c)の右辺の積分をL2極限に置き換えた以下のものとなるT09テンプレート:Rp

ψ(𝐱,t)=l.i.mrB(0,r)exp(i(𝐩𝐱E(𝐩)t))ψ^0(𝐩)d𝐩  ...(a')

ψ(𝐱,t)=(m2πit)n/2l.i.mrB(0,r)exp(im|𝐱𝐲|22t)ψ0(𝐲)d𝐲 ...(c')

ここでテンプレート:Mathは(b)で定義されたものである。

相対論的自由粒子

相対論的な自由粒子を記述する方程式はさまざまある。自由粒子解の記述についてはそれぞれの記事を参照のこと。

脚注

関連項目

文献