ポテンシャルがない\(V(x)=0\)時の、時間によらないシュレディンガー方程式は \begin{equation} \label{freeeom} -\frac{\hbar^2}{2m} \frac{d^2}{d x^2} \phi (x)=E \phi (x) \end{equation} でかける。この方程式に従う波動関数は\(\phi(x)\)は自由粒子を表す。
ポテンシャルのない系における粒子を自由粒子と呼びます。ポテンシャルが\(0\) の状況は、後述するように、理想気体などで近似的に実現されます。
波動関数\(\phi(x)\)に対し、以下のような境界条件 \begin{equation} \label{periodic} \phi(x+L) = \phi(x) \end{equation} を考える。この形の境界条件を周期的境界条件と呼ぶ。
シュレディンガー方程式(\ref{freeeom})式は、\(x\)に関する微分方程式なので、 境界条件が必要です。特に、(\ref{periodic})式のように、波動関数に対して周期的に 同じ値をとることを要求する境界条件を周期的境界条件と呼びます。
均等に散逸した多数の粒子からなる気体(理想気体)を考える。 均等に散逸しているため、特別な場所はない。ゆえに、ある適当な長さ\(L\)毎に空間を区切れば、 ある区画と隣の区画は同じ状態になっているはずである。つまり、 \begin{equation} \phi(x+L) = \phi(x) \tag{\ref{periodic}} \end{equation} が成り立つ。さらに、上手く\(L\)を選べば、区画の中に、常に粒子が一個存在する 状況が成り立つ。これはすなわち、規格化条件が \begin{equation} \label{normalisation} \int_{-\frac{L}{2}}^{\frac{L}{2}} |\phi(x)|^2 = 1 \end{equation} で表せるということである。
周期的境界条件の一つの解釈です。今は自由粒子を念頭においているため、 例としてポテンシャルに束縛されない理想気体を挙げましたが、この周期的境界条件は、結晶中の電子などでも(結晶中は周期的に原子が並んでいるので) 適用されます。
周期的境界条件(\ref{periodic})式の下で、自由粒子のシュレディンガー方程式(\ref{freeeom})式の解を考える。
例えば、規格化条件(\ref{normalisation})式の下で、以下の波動関数\(\phi_{n}\)
\begin{equation}
\label{sol}
\phi_{n}(x)=\frac{1}{\sqrt{L}} e^{i k_{n} x} \hspace{10pt} ( n =0, \pm1,\pm2,\pm3,\pm4,,, )
\end{equation}
は(\ref{freeeom})式の解
かつ(\ref{periodic})式を満たす。即ち、周期的境界条件の下での自由粒子を表す。
ただし、運動量\(p_{n}\)及び波数\(k_{n}\)は次のように量子化される。
\begin{eqnarray}
p_{n}&=&\hbar k_{n} \\
\label{disk}
k_{n} &=& \frac{2 \pi n}{L} \hspace{10pt} ( n =0, \pm1,\pm2,\pm3,\pm4,,, )
\end{eqnarray}
周期的境界条件下のシュレディンガー方程式の解です。 ただし、(\ref{sol})式の導出には動量固有状態 であるという条件も課しています。(固有状態についてはこちらを参照。)この点については以下の導出でも述べます。
自由粒子のシュレディンガー方程式 \begin{equation} -\frac{\hbar^2}{2m} \frac{d^2}{d x^2} \phi (x)=E \phi (x) \tag{\ref{freeeom}} \end{equation} の一般解は \begin{equation} \label{generalsol} \phi(x) = A e^{ikx} + Be^{-ikx} \end{equation} とかける。ただし、\(A,B\) は定数で、\(k = \frac{\sqrt{2mE}}{\hbar}\)。
上の一般解を境界条件の(\ref{periodic})式、\(\phi(x+L) = \phi(x)\)に代入。 \begin{equation} A e^{ikx}e^{ikL} + Be^{-ikx}e^{-ikL} = A e^{ikx} + Be^{-ikx} \end{equation} これを整理したもの \begin{equation} A (e^{ikL}-1) e^{ikx} + B(e^{-ikL}-1)e^{-ikx} =0 \end{equation} を眺めると、この等式が成り立つには、自明な\(A=B=0\)の場合を除き、\(e^{ikL}=1\)、 つまり \begin{equation} k = \frac{2 \pi n}{L} \hspace{10pt} ( n = 0, \pm1,\pm2,\pm3,\pm4,,, ) \tag{\ref{disk}} \end{equation} の場合がある。以下、右辺の\(n\)依存性を踏まえて\(k=k_{n}\)と表記する。 無限に深い井戸型ポテンシャルの場合とは異なり、\(n=0\)は自明解にはならないので注意。
以下、\(n=0\)と\(n \neq 0\)で状況が異なるため、それぞれで場合わけする必要がある。
解はただの定数 \begin{equation} \phi(x) = A + B \end{equation} になるが、定数部分はまとめて\(A\)と表記してよい。 \begin{equation} \phi(x) = A \end{equation} 最後に規格化条件(\ref{normalisation})式を課すと、 \begin{equation} A = \frac{1}{\sqrt{L}} \end{equation} を得る。ここに、\(A\)を正の実数でとった。 (なぜ勝手に正の実数でとってよいのかはこの記事参照。)
解は以下のように\(e^{ik_{n}x}\)と\(e^{-ik_{n}x}\)の重ね合わせになる。 \begin{equation} \label{twowave} \phi(x) = A e^{ik_{n}x} + B e^{-ik_{n}x} \hspace{10pt} ( n = \pm1,\pm2,\pm3,\pm4,,, ) \end{equation} 実は、\(A e^{ik_{n}x}\)が運動量が正の方向の状態、\(B e^{-ik_{n}x}\)が運動量が負の方向の状態 に対応している。実際、ぞれぞれ平面波の位相が進む方向が、\(A e^{ik_{n}x}\)は 正で、\(B e^{-ik_{n}x}\)が負になっている。
つまり、(\ref{twowave})式の\(\phi(x)\)は、運動量が\(p = \pm \hbar k_{n}\)の二つの状態の重ね合わせ であって、測定によって運動量の正負がばらつく状態である。(運動量固有状態になっていない)
今、\(A\)または\(B\)が\(0\)の場合を考える。 \begin{equation} \phi(x) = A e^{ik_{n}x} \hspace{10pt} ( n = \pm1,\pm2,\pm3,\pm4,,, ) \end{equation} これは\(n\)を固定したもとで、運動量が一意に決まる状態である(つまり運動量固有状態)。 以下、解に運動量固有状態である、という条件を課して議論を進める。
残っている定数\(A\)は規格化条件で消去できる。結果だけかくと、 \begin{equation} A = \frac{1}{\sqrt{L}} \end{equation} を得る。
以上、\(n=0\)、\(n=\neq 0\)の両方を合わせて \begin{equation} \phi(x)_{n}=\frac{1}{\sqrt{L}} e^{i k_{n} x} \hspace{10pt} ( n =0, \pm1,\pm2,\pm3,\pm4,,, ) \tag{\ref{sol}} \end{equation} を得る。ここに、 \begin{equation} k_{n} = \frac{2 \pi n}{L} \hspace{10pt} ( n =0, \pm1,\pm2,\pm3,\pm4,,, ) \tag{\ref{disk}} \end{equation} である。
上の導出で\(k\)の条件式 \begin{equation} k = \frac{2 \pi n}{L} \hspace{10pt} ( n = 0, \pm1,\pm2,\pm3,\pm4,,, ) \tag{\ref{disk}} \end{equation} を求めましたが、ここではもう少し丁寧にこの関係式を導いてみます。
便利のために、(\ref{periodic})式を直接使うのではなく、(\ref{periodic})式に\(x=0\) を代入した \begin{equation} \label{periodic1} \phi(L) = \phi(0) \end{equation} および、(\ref{periodic})式の両辺を\(x\)で微分してから\(x=0\)を代入した \begin{equation} \label{periodic2} \phi'(L) = \phi'(0) \end{equation} の二つを用いる。これらは(\ref{periodic})式を満たすための必要条件であるので、後で十分性を確かめる必要はある。 二つの条件を(\ref{generalsol})式に適用。 \begin{eqnarray} \begin{cases} A e^{ikL} + Be^{-ikL} = A + B \\ i k( A e^{ikL} - Be^{-ikL} )= i k(A - B) \end{cases} \end{eqnarray}あとは、この二つの式を使って\(k\)を求めればよい。 以下、\(k=0\)と\(k \neq 0\)で状況が異なるため、それぞれで場合わけする必要がある。
連立した条件式は\(k=0\)を代入すると \begin{eqnarray} \begin{cases} A + B= A + B \\ 0=0 \end{cases} \end{eqnarray} より、自明に満たされる。よって\(k=0\)は条件を満たす。
二つ目の条件式について、\(k\)で両辺を割ると \begin{eqnarray} \begin{cases} (e^{ikL}-1)A + (e^{-ikL}-1)B = 0 \\ (e^{ikL}-1)A -(e^{-ikL}-1)B = 0 \end{cases} \end{eqnarray} と変形できるが、これを行列で表すと \begin{equation} \begin{pmatrix} e^{ikL}-1 & e^{-ikL}-1 \\ e^{ikL}-1& -(e^{ikL}-1) \end{pmatrix} \left (\begin{array}{c} A \\ B \end{array} \right) = \left (\begin{array}{c} 0 \\ 0 \end{array} \right) \end{equation} となるが、この連立方程式が\(A=B=0\)という自明な解以外の解を持つ条件は、 \begin{equation} \det \begin{pmatrix} e^{ikL}-1 & e^{-ikL}-1 \\ e^{ikL}-1 & -(e^{ikL}-1) \end{pmatrix} =0 \end{equation} であって、これはつまり \begin{equation} e^{ikL} = 1 \end{equation} を意味する。この条件は\(k\)が \begin{equation} k = \frac{2 \pi n}{L} \hspace{10pt} ( n = \pm1,\pm2,\pm3,\pm4,,, ) \end{equation} に限られるということである。
以上より、 \begin{equation} k = \frac{2 \pi n}{L} \hspace{10pt} ( n = 0 \pm1,\pm2,\pm3,\pm4,,, ) \tag{\ref{disk}} \end{equation} であれば、連立された条件式を満たすことが分かった。先に述べた十分性についても、 (\ref{disk})式のもとで\(\phi(x)\)が \begin{equation} \phi(x+L) = \phi(x) \tag{\ref{periodic}} \end{equation} を満たすことが簡単にわかる。
導出のセクションでは数学的に解を導きましたが、解の物理的意味を考察してみると、量子力学特有の 性質がいくつか見えてきます。特に重要なのは、以下に述べる運動量の量子化です。
周期的境界条件のもとでの解(\ref{sol})式は番号\(n\)でラベルされ、\(n\)に対応した運動量 \begin{eqnarray} \label{disp} p_{n} = \hbar k_{n} = \hbar \frac{2 \pi n}{L} \hspace{10pt} ( n = 0 \pm1,\pm2,\pm3,\pm4,,, ) \end{eqnarray} を持つ。これは、運動量が連続ではなく、飛び飛びの不連続な値しか許されていないことを 表し、運動量の量子化と呼ばれる。
前回、無限に深い井戸型ポテンシャルの記事において、シュレディンガー方程式を 解いた結果、波動関数のエネルギーが量子化されることを見ました。エネルギーと運動量は \begin{eqnarray} E = \frac{p^2}{2m} \end{eqnarray} で結びついているため、エネルギーが量子化されているということは、運動量も実は量子化されていたわけですが、 (ややこしくなるので)前回は詳しく言及しませんでした。
古典論では運動量は連続的に値を変化させることができますが、量子論ではそうであるとは限りません。 (\ref{disp})式のように、周期\(\frac{2 \pi }{L}\)ごとの値しかとることができないようになっています。 位置に課された周期性(\ref{periodic})式によって運動量も周期性を帯びているわけです。この性質は今後、様々な物理ででてきます
もう一つ注目すべきこととして、今回は運動量が\(0\)の状態(\(n=0\))が許容されていることがあげられます。 前回とは異なり、今回は基底状態に対応するエネルギーは\(0\)です。