シュレディンガー方程式を解こう～目次～

学部でやるような量子系のシュレディンガー方程式を解いていくシリーズの目次。

ハミルトニアンを ${ \hat{\mathcal{H}} }$ 、状態ベクトルを ${ |\psi(t)\rangle }$ とすると、時間に依存するシュレディンガー方程式 (Schrödinger equation) は

　　 ${ \displaystyle\begin{align*} i\hbar\frac{\partial}{\partial t}|\psi(t)\rangle = \hat{\mathcal{H}}|\psi(t)\rangle \end{align*}}$

で与えられるのでした。　このシリーズ記事では、基本的にハミルトニアンは以下の形のものしか扱いません：

　　 ${ \displaystyle\begin{align*} \hat{\mathcal{H}}(\hat{\textbf{x}},\,\hat{\textbf{p}}) =\dfrac{\hat{\textbf{p}}^2}{2m} + V(\hat{\textbf{x}}) \end{align*}}$

ただし、 ${ \hat{\textbf{x}},\,\hat{\textbf{p}} }$ はそれぞれ座標と運動量の演算子です（空間の次元を指定していないのでベクトルで書いています）。

シリーズ目次

目次 & 準備（この記事）
1次元
- 井戸型ポテンシャルによる束縛状態
- 調和振動子
2次元
- 中心力ポテンシャル
  - 井戸型ポテンシャル
    - ベッセルの微分方程式とその級数解
    - ベッセルの微分方程式の解としてのノイマン関数

準備

今回は具体的な系についてシュレディンガー方程式を解きはしませんが、シュレディンガー方程式を書き換えたり、一般的に解ける部分を解いておいたりします。　学部生に分かるレベルにしてるので、途中の変形式がちょっと助長に感じるかも知れません。

座標表示

上記のシュレディンガー方程式に左から ${ \langle\textbf{x}| }$ を作用させて、波動関数の座標表示 ${ \psi(\textbf{x},\,t) = \langle\textbf{x}|\psi(t)\rangle }$ を用いると、左辺は

　　 ${ \displaystyle\begin{align*} i\hbar \frac{\partial}{\partial t}\psi(\textbf{x},\,t) \end{align*}}$

となり、右辺は

　　 ${ \displaystyle\begin{align*} \langle\textbf{x}|\hat{\mathcal{H}}(\hat{\textbf{x}},\,\hat{\textbf{p}})|\psi(t)\rangle &= \int d\textbf{x}' \langle\textbf{x}|\hat{\mathcal{H}}(\hat{\textbf{x}},\,\hat{\textbf{p}})|\textbf{x}'\rangle \langle\textbf{x}'|\psi(t)\rangle \qquad\left(\because \int d\textbf{x}'|\textbf{x}'\rangle\langle\textbf{x}'| = 1\right)\\ &= \int d\textbf{x}' \hat{\mathcal{H}}(\textbf{x}',\, -i\hbar\tfrac{\partial}{\partial \textbf{x}'})\langle\textbf{x}|\textbf{x}'\rangle \psi(\textbf{x}',\,t) \\ &= \int d\textbf{x}' \hat{\mathcal{H}}(\textbf{x}',\, -i\hbar\tfrac{\partial}{\partial \textbf{x}'})\delta(\textbf{x}-\textbf{x}') \psi(\textbf{x}',\,t) \\ &= \hat{\mathcal{H}}(\textbf{x},\, -i\hbar\tfrac{\partial}{\partial \textbf{x}}) \psi(\textbf{x},\,t) \end{align*}}$

よって

　　 ${ \displaystyle\begin{align*} i\hbar \frac{\partial}{\partial t}\psi(\textbf{x},\,t) = \hat{\mathcal{H}}(\textbf{x},\,-i\hbar\tfrac{\partial}{\partial \textbf{x}})\psi(\textbf{x},\,t) \end{align*}}$

となります。　ハミルトニアンを書き下すと

　　 ${ \displaystyle\begin{align*} \hat{\mathcal{H}}(\textbf{x},\,-i\hbar\tfrac{\partial}{\partial \textbf{x}}) &= \frac{1}{2m}\left(-i\hbar\frac{\partial}{\partial \textbf{x}}\right)^2 + V(\textbf{x}) \\ &= -\frac{\hbar^2}{2m}\triangle + V(\textbf{x}) \end{align*}}$

ただし ${ \triangle = \nabla^2 }$ はラプラシアンです。　以下では単に ${ \hat{\mathcal{H}} }$ と書きます。　このとき、座標表示の時間に依存するシュレディンガー方程式は

　　 ${ \displaystyle\begin{align*} i\hbar \frac{\partial}{\partial t}\psi(\textbf{x},\,t) = \hat{\mathcal{H}}\psi(\textbf{x},\,t) \end{align*}}$

となります。

時間と座標の変数分離

時間に依存するシュレディンガー方程式の解として

　　 ${ \displaystyle\begin{align*} \psi(\textbf{x},\,t) = \phi(t)\psi(\textbf{x}) \end{align*}}$

の形のもの考えましょう。　これを座標表示の時間に依存するシュレディンガー方程式に代入すると（ハミルトニアンが時間に依存しないとして）

　　 ${ \displaystyle\begin{align*} &\left(i\hbar\frac{\partial}{\partial t}\phi(t)\right)\psi(\textbf{x}) = \phi(t) \hat{\mathcal{H}}\psi(\textbf{x}) \\ \therefore \, &\frac{i\hbar\frac{\partial}{\partial t}\phi(t)}{\phi(t)} = \frac{\hat{\mathcal{H}}\psi(\textbf{x})}{\psi(\textbf{x})} \end{align*}}$

左辺は時間のみ、右辺は座標のみに依存するので、これらは時間、座標に依存しない定数となります。　これを ${ E }$ とおくと、

　　 ${ \displaystyle\begin{align*} \begin{cases} i\hbar\frac{\partial}{\partial t}\phi(t) = E\phi(t) \\ \hat{\mathcal{H}}\psi(\textbf{x}) = E \psi(\textbf{x}) \end{cases} \end{align*}}$

となります。　1つ目の時間に関する偏微分方程式は簡単に解けて（例えば『ニュートンの冷却の法則』参照）

　　 ${ \displaystyle\begin{align*} \phi(t) = e^{-iEt/\hbar} \end{align*}}$

となるので、2つ目の座標に関する偏微分方程式が解ければ、その解 ${ \psi(\textbf{x}) }$ を用いて、座標表示の時間に依存するシュレディンガー方程式の解は

　　 ${ \displaystyle\begin{align*} \psi(\textbf{x},\,t) = e^{-iEt/\hbar}\psi(\textbf{x}) \end{align*}}$

となります。　よって、問題は上記の座標に関する偏微分方程式を解くことに帰着します。　この方程式を時間に依存しないシュレディンガー方程式と呼びます。　方程式の形より、時間に依存しないシュレディンガー方程式を解くことは、ハミルトニアンの固有値・固有ベクトルを求めることと同義です。　ちなみに、この固有値は系のエネルギーとなり、通常たくさん出てくるエネルギー固有値は系のエネルギー準位となります。

ここでは解が時間の関数と座標の関数の単純な積であると仮定しましたが、シュレディンガー方程式が線型微分方程式なので、一般的な解はいろいろなエネルギー固有値に属する固有ベクトルの線形結合として書けます。　単に1つのエネルギー固有値の固有関数で書ける場合は定常状態に対応します。　このシリーズ記事では、だいたいこの定常状態を求めるくらいまでしかやりません。