量子力学において、昇降演算子(しょうこうえんざんし、英: ladder operator)とは、演算子として表現される物理量の固有状態を、異なる固有値を持つ別の固有状態に写す演算子。特に固有値を増加させる演算子は上昇演算子(じょうしょうえんざんし、英: raising operator)、固有値を減少させる演算子は下降演算子(かこうえんざんし、英: lowering operator)と呼ばれる。ある物理量に対応する昇降演算子を構成することで、全ての固有状態を調べ上げることが可能となる。昇降演算子が応用される代表的な例としては、量子力学における角運動量、アイソスピン、調和振動子が挙げられる。昇降演算子を用いて、固有状態を求めることは、交換関係で規定されるリー代数の既約表現を構成することに対応する。特に最高ウェイト状態を用いたリー代数の表現は、昇降演算子と密接に関連する。一方、位置座標によって、状態ベクトルを座標表示すれば、昇降演算子は同種の系列である特殊関数同士を結びつける。こうした特殊関数に作用する昇降演算子はリー代数、リー群の表現論により、統一的に扱うことができる。
一般的な定式
2つの演算子X、Nが次の交換関係を満たすと仮定する。
![{\displaystyle [N,X]=cX}](https://wikimedia.org/api/rest_v1/media/math/render/svg/64f28c80ca3ecb2e7f1456685852aab2fcb39c42)
ここで c はスカラー量。
を演算子 N の固有状態とする。
![{\displaystyle N|n\rangle =n|n\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4e6c17ce66210877a10849478c1fb9fd2a53d12)
このとき演算子 X が
作用すると固有値を c だけシフトする。
![{\displaystyle {\begin{aligned}NX|n\rangle &=(XN+[N,X])|n\rangle \\&=XN|n\rangle +[N,X]|n\rangle \\&=Xn|n\rangle +cX|n\rangle \\&=(n+c)X|n\rangle .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6eaf3806c2784f9cf5f57319df09bc3ff695e511)
つまり
が N の固有値 n における固有状態であるとき、
は固有値 n + c をもつ N の固有状態である。演算子 X は c が正の実数であるとき N の上昇演算子、 c が負の実数であるとき N の下降演算子という。
もし N がエルミート演算子 のとき、c は実数でなければならず、Xのエルミート随伴 は次の交換関係を満たす。
![{\displaystyle [N,X^{\dagger }]=-cX^{\dagger }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3395ea77248bdf9d4afb58dfd5fc4b2adb3ddf4)
特に X が N の下降演算子のときの X† は N の上昇演算子であり、その逆も成り立つ。
角運動量
昇降演算子は、角運動量の量子力学的な取り扱いで用いられる。 一般的な角運動量ベクトル J(各成分は Jx, Jy, Jz )から、2つの昇降演算子J+ 、J–が定義できる。[4]
![{\displaystyle J_{\pm }=J_{x}\pm iJ_{y}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd69ea863a229d050cdbcab99bfe2bb9f416cee7)
ここで i は虚数単位。
直交座標系での各成分は、次の交換関係を満たす。
![{\displaystyle [J_{i},J_{j}]=i\hbar \epsilon _{ijk}J_{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c774fd99fb91eb8937cbaaa6b6af2eaf88e7ad6)
ここでεijk はレヴィ=チヴィタ記号、 i, j, k は x, y, zのいずれか。よって昇降演算子とJz の交換関係は
![{\displaystyle {\begin{aligned}\left[J_{z},J_{\pm }\right]&=\pm \hbar J_{\pm },\\\left[J_{+},J_{-}\right]&=2\hbar J_{z}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5752ac74f27a9a5f8576d603b58243cb1ced9d23)
昇降演算子を演算子 Jz にかけると
![{\displaystyle {\begin{aligned}J_{z}J_{\pm }|j,m\rangle &=\left(J_{\pm }J_{z}+\left[J_{z},J_{\pm }\right]\right)|j,m\rangle \\&=\left(J_{\pm }J_{z}\pm \hbar J_{\pm }\right)|j,m\rangle \\&=\hbar \left(m\pm 1\right)J_{\pm }|j,m\rangle .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66c576ce8c00213a49083145fa5fce2cc0966eac)
この結果と
![{\displaystyle J_{z}|j,m\pm 1\rangle =\hbar (m\pm 1)|j,m\pm 1\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d92372fef496f6a63dadca3b0dee7ece81f36a6)
を比較すると、
は
のスカラー倍となる。
これは量子数を増減させるという昇降演算子の性質を表している。
![{\displaystyle {\begin{aligned}J_{+}|j,m\rangle &=\alpha |j,m+1\rangle ,\\J_{-}|j,m\rangle &=\beta |j,m-1\rangle .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ca71ccdd364f60d4efc785e99f763bdd9f8ac38)
α と β の値を求めるために、J+と J− のエルミート共役(
)の関係から、それぞれの演算子のノルムを考えると、
![{\displaystyle {\begin{aligned}\langle j,m|J_{+}^{\dagger }J_{+}|j,m\rangle &=\langle j,m|J_{-}J_{+}|j,m\rangle =\langle j,m+1|\alpha ^{*}\alpha |j,m+1\rangle =|\alpha |^{2},\\\langle j,m|J_{-}^{\dagger }J_{-}|j,m\rangle &=\langle j,m|J_{+}J_{-}|j,m\rangle =\langle j,m-1|\beta ^{*}\beta |j,m-1\rangle =|\beta |^{2}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed522e108f83326cf060802215abc2cb070c1947)
昇降演算子の積は J2 とJzの交換関係で表される。
![{\displaystyle {\begin{aligned}J_{-}J_{+}&=(J_{x}-iJ_{y})(J_{x}+iJ_{y})=J_{x}^{2}+J_{y}^{2}+i[J_{x},J_{y}]=J^{2}-J_{z}^{2}-\hbar J_{z},\\J_{+}J_{-}&=(J_{x}+iJ_{y})(J_{x}-iJ_{y})=J_{x}^{2}+J_{y}^{2}-i[J_{x},J_{y}]=J^{2}-J_{z}^{2}+\hbar J_{z}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/500fe8b785ae37f58fbaaedbaf48c50cf2162e72)
このように |α|2 と|β|2 を J2 と Jz の固有値で表現することができる。
![{\displaystyle {\begin{aligned}|\alpha |^{2}&=\hbar ^{2}j(j+1)-\hbar ^{2}m^{2}-\hbar ^{2}m=\hbar ^{2}(j-m)(j+m+1),\\|\beta |^{2}&=\hbar ^{2}j(j+1)-\hbar ^{2}m^{2}+\hbar ^{2}m=\hbar ^{2}(j+m)(j-m+1).\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1147f5a8960b4243278a4b01dbde01153906b011)
α と β の位相は物理的に意味はないので実数に選ぶと次のようになる。
![{\displaystyle {\begin{aligned}J_{+}|j,m\rangle &=\hbar {\sqrt {(j-m)(j+m+1)}}|j,m+1\rangle =\hbar {\sqrt {j(j+1)-m(m+1)}}|j,m+1\rangle ,\\J_{-}|j,m\rangle &=\hbar {\sqrt {(j+m)(j-m+1)}}|j,m-1\rangle =\hbar {\sqrt {j(j+1)-m(m-1)}}|j,m-1\rangle .\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f75d228e5d571d30688b32b7e54d98581db1e6e)
m は j (
) に制限されるので
![{\displaystyle J_{+}|j,j\rangle =J_{-}|j,-j\rangle =0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/241262e3c72f00c603e8bdc5ba2f157153a58526)
原子・分子への応用
原子系や分子系のハミルトニアンは角運動量の内積を含む。例えば超微細構造ハミルトニアンの磁気双極子項がある[5]
![{\displaystyle {\hat {H}}_{\mathrm {D} }={\hat {A}}{\boldsymbol {I}}\cdot {\boldsymbol {J}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0c512ccc5bef68ca8b254bbda545786be8d1d76)
ここでI は核スピンである。 角運動量代数は球面基底で再計算することで単純化できる。 球面テンソル演算子の記法を用いることで、 J(1) ≡ J の"−1"、"0"、"+1" 成分は[6]
![{\displaystyle {\begin{aligned}J_{-1}^{(1)}&={\dfrac {1}{\sqrt {2}}}(J_{x}-iJ_{y})={\dfrac {J_{-}}{\sqrt {2}}},\\J_{0}^{(1)}&=J_{z},\\J_{+1}^{(1)}&=-{\frac {1}{\sqrt {2}}}(J_{x}+iJ_{y})=-{\frac {J_{+}}{\sqrt {2}}}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/951e67c29f15234720bd8398c0390a4e647e135a)
これらの定義から、上記の内積を展開できる。
![{\displaystyle {\boldsymbol {I}}^{(1)}\cdot {\boldsymbol {J}}^{(1)}=\sum _{n=-1}^{+1}(-1)^{n}I_{n}^{(1)}J_{-n}^{(1)}=I_{0}^{(1)}J_{0}^{(1)}-I_{-1}^{(1)}J_{+1}^{(1)}-I_{+1}^{(1)}J_{-1}^{(1)},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2287342ce27644b6fc88b1b304b11c46fa63e7ba)
この展開は、状態が mi = ±1 とmj = ∓1 だけ量子数が異なる項と結合している状態を表している
調和振動子
昇降演算子の別の応用として、量子力学的な調和振動子がある。質量m、角振動数ωの1次元調和振動子に対し、そのハミルトニアンは
![{\displaystyle H={\frac {m\omega ^{2}{\hat {x}}^{2}}{2}}+{\frac {{\hat {p}}^{2}}{2m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1055ed850247e222c981742613b60a4290646678)
で与えられる。ここでˆx は位置演算子、ˆpは運動量演算子であり、次の正準交換関係を満たす。
![{\displaystyle [{\hat {x}},{\hat {p}}]=i\hbar }](https://wikimedia.org/api/rest_v1/media/math/render/svg/42dbbd0db710385288536bcf4f4a1b7cceb75d9a)
昇演算子 a† と降演算子 a を次のように定義する。
![{\displaystyle {\begin{aligned}a&={\sqrt {m\omega \over 2\hbar }}\left({\hat {x}}+{i \over m\omega }{\hat {p}}\right)\\a^{\dagger }&={\sqrt {m\omega \over 2\hbar }}\left({\hat {x}}-{i \over m\omega }{\hat {p}}\right)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a971c33a04dadf733c87efbd24565fcfe40bc5fc)
これらは次の交換関係を満たす。
![{\displaystyle [a,a^{\dagger }]=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/671da8b1eb59fe1c04e601cc7963a6511d88c74e)
このとき、ハミルトニアンHは昇降演算子により、
![{\displaystyle H=\hbar \omega {\biggl (}a^{\dagger }a+{\frac {1}{2}}{\biggr )}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d38b97a622a11cd2e3c82e7fedd70f2208a42699)
と表すことができ、交換関係
![{\displaystyle [H,a^{\dagger }]=\hbar \omega a^{\dagger },\quad [H,a]=-\hbar \omega a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90778b7289d27f9335ccdf91cd4af5b2aed02929)
を満たす。すなわち、a† はハミルトニアンのエネルギー固有状態を ℏω だけエネルギーが高い固有状態に移し、a は ℏω だけ低い固有状態に移す。これらを導入することで系の微分方程式を直接に解くことなくエネルギー固有値を抽出することができる。
関連項目
脚注
- ^ de Lange, O. L.; R. E. Raab (1986). “Ladder operators for orbital angular momentum”. American Journal of Physics 54 (4): 372–375. Bibcode: 1986AmJPh..54..372D. doi:10.1119/1.14625.
- ^ Woodgate, Gordon K. (1983-10-06). Elementary Atomic Structure. ISBN 978-0-19-851156-4. https://books.google.co.jp/books?id=nUA74S5Y1EUC&dq=woodgate+atomic+structure&printsec=frontcover&redir_esc=y&hl=ja#PPA170,M1 2009年3月3日閲覧。
- ^ “Angular Momentum Operators”. Graduate Quantum Mechanics Notes. University of Virginia. 2009年4月6日閲覧。
参考文献
- Fuchs, Juergen; Schweigert, Christoph (2003). Symmetries, Lie Algebras and Representations: A Graduate Course for Physicists. Cambridge Monographs on Mathematical Physics. Cambridge University Press. ISBN 978-0521541190
- Georgi, Howard (1999). Lie Algebras In Particle Physics: from Isospin To Unified Theories (2nd ed.). Westview Press. ISBN 978-0738202334
- J.J. Sakurai (1993). Modern Quantum Mechanics (Revised ed.). Addison Wesley. ISBN 978-0201539295