自由粒子

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

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

:\mathbf{p}=m\mathbf{v}

であり、そのエネルギーは

:E=\frac{1}{2}mv^2

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

## 非相対論的量子力学自由粒子
非相対論的量子力学において、初期状態が
\psi_0(\mathbf{x})
である自由粒子のシュレーディンガー方程式は以下のとおりである：

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

### 絶対可積分な場合

本節では
\psi(\mathbf{x}, t)
および
\psi_0(\mathbf{x})

がに関して全空間上での絶対可積分性（＝絶対値の上ルベーグ積分が有限値である事）を仮定した上で、(1)、(2)の解を導く。波動関数
\psi(\mathbf{x}, t)
、
\psi_0(\mathbf{x})
は一般には(自乗可積分ではあっても)絶対可積分とは限らないため、この仮定は常に成り立つわけではない。そこで次節ではこのような仮定を置かない一般の場合の解法を述べる。

#### 解法
仮定より
\psi(\mathbf{x}, t)
はに関して絶対可積分であるので、変数に関するフーリエ変換

:
\hat{\psi} (\mathbf{p}, t)
=
{1\over (2\pi)^{d/2}}\int_{\mathbf{R}^d}\mathrm{e}^{-i\mathbf{p}\mathbf{x}/\hbar}\psi(\mathbf{x},t)\mathrm{d}\mathbf{x}

が定義でき、
\hat{\psi} (\mathbf{p}, t)も可積分である。

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

:
i\hbar\frac{\partial}{\partial t} \hat{\psi} (\mathbf{p}, t)
=
\frac{|\mathbf{p}|^2}{2m} \ \hat{\psi}(\mathbf{p}, t)

　　　　　　…(1')

:
\hat{\psi}(\mathbf{p}, 0) =\hat{\psi}_0(\mathbf{p})
             　　　　　　…(2')

を得る。ここで
\hat{\psi}_0(\mathbf{p})
は
\psi_0(\mathbf{p})
のフーリエ変換である。

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

:
\hat{\psi}(\mathbf{p}, t)=\mathrm{exp}\left(-{i \over 2m\hbar}|\mathbf{p}|^2t\right)\hat{\psi}_0(\mathbf{p})



である。

#### 解
最後に上式をに関して逆フーリエ変換して、(1)、(2)の一般解

を得る<sup>T09</sup>。ここで

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

と書くこともできる。なお、
\mathrm{exp}\left(-{i \over 2m\hbar}|\mathbf{p}|^2t\right)

が上の可積分関数でない関係で(a)から(c)を直接得ることはできず、代わりに
\mathrm{exp}\left(-{i+\varepsilon \over 2m\hbar}|\mathbf{p}|^2t\right)

を考えてフーリエ逆変換した上で、とする必要がある<sup>T09</sup>。

### 一般の場合

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

#### 解法
前節との違いはフーリエ変換の定義である。
\psi(\mathbf{x}, t)
(および
\psi_0(\mathbf{x})
)の全空間
\mathbf{R}^d
上での絶対可積分性を仮定していないため、
\mathbf{R}^d
上のフーリエ積分
:
{1\over (2\pi)^{d/2}}\int_{
\mathbf{R}^d}\mathrm{e}^{-i\mathbf{p}\mathbf{x}/\hbar}\psi(\mathbf{x},t)\mathrm{d}\mathbf{x}

は一般には意味を持たない。
そこでまず原点中心の半径の球体上のフーリエ積分
:
{1\over (2\pi)^{d/2}}
\int_{B(0,r)}\mathrm{e}^{-i\mathbf{p}\mathbf{x}/\hbar}\psi(\mathbf{x},t)\mathrm{d}\mathbf{x}

を考え、この積分のL2極限
:\underset{r\to \infty}{\mathrm{l.\!i.\!m}}
{1\over (2\pi)^{d/2}}
\int_{B(0,r)}\mathrm{e}^{-i\mathbf{p}\mathbf{x}/\hbar}\psi(\mathbf{x},t)\mathrm{d}\mathbf{x}

によりフーリエ変換を定義する<sup>新井</sup>。
ここでL2極限は以下のように定義される:
:
\underset{r\to \infty}{\mathrm{l.\!i.\!m}}~F(r) = A 
\overset{\mathrm{def}}{\iff} \lim_{r\to\infty}\int_{\mathbf{R}^d}|F(r)-A|^2\mathrm{d}r =0.

なお、波動関数
\psi(\mathbf{x}, t)
がに関して自乗可積分である事から、上での
\psi(\mathbf{x}, t)
の絶対可積分性は保証されるので、上のフーリエ積分は意味を持つ。

#### 解
以上の理由により、一般の場合の解は、(a)、(c)の右辺の積分をL2極限に置き換えた以下のものとなる<sup>T09</sup>：

\int_{B(0,r)}\mathrm{exp}\left({i \over \hbar}(\mathbf{p}\mathbf{x}-E(\mathbf{p})t)\right)\hat{\psi}_0(\mathbf{p})\mathrm{d}\mathbf{p}

   　...(a')
}}
\int_{B(0,r)}\mathrm{exp}\left({im|\mathbf{x}-\mathbf{y}|^2 \over 2\hbar t}\right)\psi_0(\mathbf{y})\mathrm{d}\mathbf{y}

   ...(c')
}}

ここでは(b)で定義されたものである。

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

* クライン-ゴルドン方程式は荷電または中性、スピンなしの相対論的量子力学粒子を記述する。

* ディラック方程式は相対論的電子（荷電、スピン1/2）を記述する。

## 脚注


## 関連項目
* 井戸型ポテンシャル
* デルタポテンシャル (en)
* 波束 (en)

## 文献
* [T09] 
* [新井97]