運動量演算子とは、量子力学においてヒルベルト空間上の状態ベクトルに作用する演算子で、古典的な運動量に対応する。 特に量子力学の形式の一つである波動力学において、座標表示された波動関数に作用する微分演算子と関係付けられる。
運動量演算子は量子力学が発展した1920年代に、ニールス・ボーア、アルノルト・ゾンマーフェルト、エルヴィン・シュレーディンガー、ユージン・ウィグナーなど多くの理論物理学者によって見いだされた。
概要
量子力学における物理量はヒルベルト空間上の状態ベクトルに作用する演算子として表されており、これに倣って運動量も演算子へと置き換えられる[1]。 量子力学の導入においては、通常の数(c数)と演算子(q数)とを区別するためにしばしばハット記号を付して表され、運動量演算子は
で表される。 ハミルトン形式(正準形式)の古典力学において、運動量は正準変数として特別な役割を担っており、これを反映して量子論においても特別な役割を担っている。 運動量演算子を特徴付ける基本的な性質は正準交換関係と呼ばれる関係で、位置の演算子との間に
![{\displaystyle [{\hat {x}},{\hat {p}}]\equiv {\hat {x}}{\hat {p}}-{\hat {p}}{\hat {x}}=i\hbar }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab87835ef707272fb97649e160161f4d3a7fb4aa)
を満たす。ここで ħ は換算プランク定数であり、i は虚数単位である。運動の自由度が2つ以上の場合はクロネッカーのデルタを用いて
![{\displaystyle [{\hat {x}}^{a},{\hat {p}}_{b}]=i\hbar \delta _{b}^{a}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3165560859d9a4c7398aa35b19494cf4b6157a72)
となる[2]。
波動力学において運動量演算子は
![{\displaystyle {\hat {p}}=-i\hbar {\frac {\partial }{\partial x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47e204b4af62e499c0b97f1bb9a72a7635c26c46)
として微分演算子と関係付けられる[3][4]。すなわち座標表示された波動関数 ψ(x,t) に対して
![{\displaystyle {\hat {p}}\psi (x,t)=-i\hbar {\frac {\partial \psi }{\partial x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cdf3c96cb91a975fe70eb31c49597ce9b10e2dc5)
と作用する。 微分演算子による表示が正準交換関係を満たすことは連鎖律により確認される。すなわち位置の演算子を作用させたのち、運動量演算子を作用させると
![{\displaystyle {\hat {p}}({\hat {x}}\psi )=-i\hbar {\frac {\partial (x\psi )}{\partial x}}=-i\hbar x{\frac {\partial \psi }{\partial x}}-i\hbar \psi ={\hat {x}}({\hat {p}}\psi )-i\hbar \psi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f280ff9be16e3f901aaad63f55fe886f6311caf)
となるので
![{\displaystyle [{\hat {x}},{\hat {p}}]\psi ={\hat {x}}({\hat {p}}\psi )-{\hat {p}}({\hat {x}}\psi )=i\hbar \psi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e08e56e5afee7d58326dae61bd5d428c46596d2)
が確認される。
量子場の理論においては、第二量子化により場が量子化されて演算子として表される。量子場
に対する運動量演算子の作用は
![{\displaystyle {\frac {i}{\hbar }}[{\hat {P}}_{\mu },{\hat {\phi }}(x)]=\partial _{\mu }{\hat {\phi }}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da395266c02228bf78bafe1dba4f4e199202341f)
として演算子の交換子積で与えられる[5]。 物理量の量子化における対応と同様に
![{\displaystyle P_{\mu }\mapsto -i\hbar \partial _{\mu }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3cc672fdd80bf10429627400bedcf88b0a9f10f)
で表される。
ド・ブロイ平面波からの導出
運動量演算子とエネルギー演算子は次のように構築できる[6]。
1次元
1次元から出発し、シュレーディンガー方程式に平面波解を用いる。
![{\displaystyle \psi =e^{i(kx-\omega t)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bfd3464433b511f1f677836126c161e4aaa9d2b0)
空間についての1階偏微分は、
![{\displaystyle {\frac {\partial \psi }{\partial x}}=ike^{i(kx-\omega t)}=ik\psi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae821201424b25bb2409d000a0cd9690fd1e85fd)
ド・ブロイの関係式 p = ħk より k を表すと、ψ の微分公式は次のようになる。
![{\displaystyle {\frac {\partial \psi }{\partial x}}=i{\frac {p}{\hbar }}\psi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d690d878253f7850cbccb13b3b86c05289cd220)
このことは演算子の等価性を示している。
![{\displaystyle {\hat {p}}=-i\hbar {\frac {\partial }{\partial x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47e204b4af62e499c0b97f1bb9a72a7635c26c46)
よって運動量 p はスカラー値で、測定される粒子の運動量は演算子の固有値である。
偏微分は線形演算子であり、運動量演算子も線形である。いかなる波動関数も他の状態の重ね合わせとして表すことができるため この運動量演算子は重ね合わせられた波全体に作用するとき、それぞれの平面波成分に対して運動量の固有値を与え、運動量が重ね合わせられた波の全運動量に加えられる。
3次元
3次元での導出は、1階偏微分の代わりにナブラが用いられることを除いて、1次元と同じようにできる。 3次元のシュレーディンガー方程式の平面波解は次のように書ける。
![{\displaystyle \psi =e^{i(\mathbf {k} \cdot \mathbf {r} -\omega t)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76cf1872f2abf153f0523ccadd2100ebbb61cc15)
また勾配は
![{\displaystyle {\begin{aligned}\nabla \psi &=\mathbf {e} _{x}{\frac {\partial \psi }{\partial x}}+\mathbf {e} _{y}{\frac {\partial \psi }{\partial y}}+\mathbf {e} _{z}{\frac {\partial \psi }{\partial z}}\\&=ik_{x}\psi \mathbf {e} _{x}+ik_{y}\psi \mathbf {e} _{y}+ik_{z}\psi \mathbf {e} _{z}\\&={\frac {i}{\hbar }}\left(p_{x}\mathbf {e} _{x}+p_{y}\mathbf {e} _{y}+p_{z}\mathbf {e} _{z}\right)\psi \\&={\frac {i}{\hbar }}\mathbf {\hat {p}} \psi \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa439f2b084a78bdd403d191641457604a46f789)
ここで ex, ey と ez は3次元空間での単位ベクトルであり、
![{\displaystyle \mathbf {\hat {p}} =-i\hbar \nabla }](https://wikimedia.org/api/rest_v1/media/math/render/svg/50e668b83274ecf09084e1e4762438b3b4dfdfbf)
この運動量演算子は位置空間に存在する。なぜなら偏微分は空間変数に対して行われるからである。
定義 (位置空間)
電荷とスピンを持たない1つの粒子では、運動量演算子は位置基底で表すことができる[7]。
![{\displaystyle \mathbf {\hat {p}} =-i\hbar \nabla }](https://wikimedia.org/api/rest_v1/media/math/render/svg/50e668b83274ecf09084e1e4762438b3b4dfdfbf)
ここで ∇ は勾配の演算子、ħ はディラック定数、i は虚数単位である。
これは1次元空間では次のようになる
![{\displaystyle {\hat {p}}={\hat {p}}_{x}=-i\hbar {\partial \over \partial x}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c296eba9b7830aea10de7b9c46787c0332dac3c)
これは一般的によく見かける運動量演算子の形であるが、最も一般的な形ではない。 スカラーポテンシャル φ とベクトルポテンシャル A で記述される電磁場中の荷電粒子 q では、運動量演算子は次のように置き換えなければならない[6]。
![{\displaystyle \mathbf {\hat {p}} =-i\hbar \nabla -q\mathbf {A} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a46a8ce08c0b4e2b4ba35bdcba13d2c376ffcfc9)
ここで正準運動量演算子は、
![{\displaystyle \mathbf {\hat {P}} =-i\hbar \nabla }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2483abd463ba975a313b02333ffc342958fa2ce0)
これは電気的中性な粒子でも成り立ち、q = 0とすれば第二項が消えて元々の演算子が得られる。
性質
エルミート性
物理的な量子状態に作用する運動量演算子は、(特に量子状態が正規化できるときは、)常にエルミート演算子である[8]。
(半無限区間 [0, ∞) 上の量子状態のような、ある特定の人工的な状況では、エルミートな運動量演算子を作ることはできない[9]。このことは半無限区間が並進対称性を持つことができない、より具体的に言えばユニタリーな並進演算子を持たないという事実と密接に関係している)
正準交換関係
運動量基底と位置基底を適切に用いると、次の関係が簡単に示せる。
![{\displaystyle \left[{\hat {x}},{\hat {p}}\right]={\hat {x}}{\hat {p}}-{\hat {p}}{\hat {x}}=i\hbar .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4cd4da0b95129aa75238f91f941c0b49df1f35e)
ハイゼンベルクの不確定性原理は、どれだけ正確に1粒子の運動量と位置を同時に知ることができるかという限界点を定義する。 量子力学では、位置と運動量は共役変数となる。
フーリエ変換と運動量表示
座標表示の波動関数のフーリエ変換を
![{\displaystyle {\tilde {\psi }}_{p}(t)\equiv {\mathcal {F}}[\psi ]_{p}={\frac {1}{\sqrt {2\pi \hbar }}}\int \psi (x,t)\,e^{-ipx/\hbar }dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a11777c40a8f4e4b6ebf82ffd0152de1b1a60812)
とする。フーリエ変換
は運動量表示された波動関数であり、運動量が p である確率密度がその二乗
で与えられる。
運動量演算子を作用させた波動関数のフーリエ変換は
![{\displaystyle {\mathcal {F}}[{\hat {p}}\psi ]_{p}=-i\hbar {\mathcal {F}}\left[{\frac {\partial \psi }{\partial x}}\right]_{p}=p{\mathcal {F}}[\psi ]_{p}=p{\tilde {\psi }}_{p}(t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5bc96b409705c92fcc04693d4bdbb8ff892dccc9)
となり、運動量表示された波動関数への運動量演算子の作用が
![{\displaystyle {\hat {p}}{\tilde {\psi }}_{p}(t)=p{\tilde {\psi }}_{p}(t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f618884762483dd9394165912f09fcdf894b1a8f)
であることが示される。
ブラ-ケット記法
ブラ-ケット記法を用いれば、状態ベクトル
を座標表示した波動関数は
と表わされる。 運動量演算子を作用させた状態ベクトル
の座標表示は
![{\displaystyle \langle x|{\hat {p}}|\psi \rangle =-i\hbar {\frac {\partial }{\partial x}}\psi (x,t)=-i\hbar {\frac {\partial }{\partial x}}\langle x|\psi \rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0127a96dcae3d312a935ba3a9f8f659fc3a21977)
となる。これは座標基底
に対する作用が
![{\displaystyle \langle x|{\hat {p}}=-i\hbar {\frac {\partial }{\partial x}}\langle x|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b6527c973f799b5684d34bee4eeef23968aa774)
であるとみなすことができる。 ここから便利な関係として
![{\displaystyle \langle x|{\hat {p}}|x'\rangle =-i\hbar {\frac {\partial }{\partial x}}\langle x|x'\rangle =-i\hbar {\frac {\partial }{\partial x}}\delta (x-x')}](https://wikimedia.org/api/rest_v1/media/math/render/svg/186a20a3ac02093eb48698d53c23b14c2feb22ec)
が導かれる。ここで δ はディラックのデルタ関数である。
同じ状態を運動量表示したは波動関数は
と表わされる。 これに対する運動量演算子の作用は
![{\displaystyle \langle p|{\hat {p}}|\psi \rangle =p\langle p|\psi \rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2580f228aeb6bac28f12c9118e3000f572e5bc8c)
であり、運動量基底
に対する作用としては
![{\displaystyle \langle p|{\hat {p}}=p\langle p|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ef4dff08c58d4db144e49955357c0453d5a58b5)
である。すなわち運動量基底とは運動量演算子の固有ベクトルである。
運動量表示と座標表示がフーリエ変換で結び付けられることから、運動量基底と座標基底の内積はフーリエ変換とその逆変換の積分核
![{\displaystyle \langle p|x\rangle \propto e^{-ipx/\hbar },\quad \langle x|p\rangle =\langle p|x\rangle ^{\dagger }\propto e^{ipx/\hbar }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2197bcbdc577148b09fa28c766ea67a4579532f1)
である。これは運動量演算子の作用が
![{\displaystyle \langle x|{\hat {p}}|p\rangle =-i\hbar {\frac {\partial }{\partial x}}\langle x|p\rangle =p\langle x|p\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e69a073679ba144b6858f2eedb7d66da078ad853)
であることから導かれる。
無限小並進からの導出
並進演算子を T(ε) とする。ここで ε は並進の長さを表す。この並進演算子は次の恒等式を満足する。
![{\displaystyle T(\varepsilon )|\psi \rangle =\int dxT(\varepsilon )|x\rangle \langle x|\psi \rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d61f79edbc6ef0d4dbf9fe53774472675606d15)
これは次のようになる。
![{\displaystyle \int dx|x+\varepsilon \rangle \langle x|\psi \rangle =\int dx|x\rangle \langle x-\varepsilon |\psi \rangle =\int dx|x\rangle \psi (x-\varepsilon )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93783d36a4b10c662525da67a77aacc208418bed)
関数ψが解析的(すなわち複素平面のある領域で微分可能)であると仮定すると、x についてテイラー級数に展開できる。
![{\displaystyle \psi (x-\varepsilon )=\psi (x)-\varepsilon {\frac {d\psi }{dx}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec8b965c6fb4e5efafd8c1a9c2abb1d9b38ea7e4)
よって無限小量 ε について、
![{\displaystyle T(\varepsilon )=1-\varepsilon {d \over dx}=1-{i \over \hbar }\varepsilon \left(-i\hbar {d \over dx}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1875ceb01f2de113b51587eb0189107468f7fc8e)
古典力学から分かるように、運動量は並進の生成子である。 よって並進と運動量演算子との間の関係は、
![{\displaystyle T(\varepsilon )=1-{i \over \hbar }\varepsilon {\hat {p}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e8831ba0cc7e8e9fc27f25cb7f69d6298db4615)
ここで、
![{\displaystyle {\hat {p}}=-i\hbar {d \over dx}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26e0182bc3acb5c6df58dbda386f5185849589e0)
脚注
- ^ 『現代の量子力学』 p.14
- ^ 『現代の量子力学』 p.63
- ^ 小出『量子力学 I』 p.31
- ^ 猪木、川合『量子力学 I』 p.21
- ^ 坂井『場の量子論』 p.23
- ^ a b Quantum Physics of Atoms, Molecules, Solids, Nuclei and Particles (2nd Edition), R. Resnick, R. Eisberg, John Wiley & Sons, 1985, ISBN 978-0-471-87373-0
- ^ Quantum Mechanics Demystified, D. McMahon, Mc Graw Hill (USA), 2006, ISBN 0-07-145546-9
- ^ See Lecture notes 1 by Robert Littlejohn for a specific mathematical discussion and proof for the case of a single, uncharged, spin-zero particle. See Lecture notes 4 by Robert Littlejohn for the general case.
- ^ Bonneau,G., Faraut, J., Valent, G. (2001). “Self-adjoint extensions of operators and the teaching of quantum mechanics”. American Journal of Physics 69 (3): 322–331. arXiv:quant-ph/0103153. Bibcode: 2001AmJPh..69..322B. doi:10.1119/1.1328351.
参考文献
- 小出昭一郎『量子力学』 1巻(改訂版)、裳華房〈基礎物理学選書〉、1990年。ISBN 4-7853-2132-6。
- 猪木慶治、川合光『量子力学』 1巻、講談社、1994年。ISBN 4-06-153209-X。
- J.J.サクライ『現代の量子力学』 上巻(第2版)、吉岡書店〈物理学叢書〉、2014年。ISBN 978-4-8427-0364-0。
- 坂井典佑『場の量子論』裳華房〈フィジックスライブラリー〉、2002年。ISBN 4-7853-2212-8。
関連項目
- 電磁場の数学的記述
- 並進演算子 (量子力学)
- 相対論的波動方程式
- パウリ–ルバンスキ擬ベクトル