Raising and lowering operators in quantum mechanics
線型代数学(および 量子力学 への応用 ) において、 上昇 演算子または 下降演算子 (総称して ラダー演算子 と呼ばれる)は、別の演算子の 固有値 を増加または減少させる 演算子 です。量子力学では、上昇演算子と下降演算子はそれぞれ 生成演算子と消滅演算子として一般的に知られています。量子力学におけるラダー演算子のよく知られた応用としては、 量子調和振動子 と 角運動量 の形式論があります 。
用語 量子場理論 で一般的に用いられる生成演算子および消滅演算子と、上昇および下降ラダー演算子との間には、 表現論 に基づく関係があります 。生成演算子 a i †は状態 i にある粒子の数を増加させ 、対応する消滅演算子 a i は状態i にある粒子の数を減少させます。これは、上記のラダー演算子の定義、すなわち別の演算子(この場合は 粒子数演算子 )の固有値を増加または減少させるという要件を明確に満たしています 。
混乱が生じるのは、 「ラダー演算子」 という用語は通常 、系の状態を記述する 量子数 を増減させる演算子を指すために用いられるためです。QFTの生成/消滅演算子を用いて粒子の状態を変化させるには、消滅演算子と生成演算子の 両方 を使用する必要があります。消滅演算子は粒子を初期状態から除去するために用いられ 、 生成演算子は粒子を最終状態に追加するために用いられます。
「ラダー演算子」あるいは「上昇演算子と下降演算子」という用語は、数学においても、 リー代数 、特に アフィン・リー代数 の理論の文脈で用いられることがある。例えば、 su(2) 部分代数を記述するために、 ルート系 と 最高重みのモジュールは ラダー演算子を用いて構成することができる。 [1] 特に、最高重みは上昇演算子によって消滅し、残りの正のルート空間は下降演算子を繰り返し適用することによって得られる(部分代数ごとにラダー演算子の1セット)。
数学からの動機 表現論の観点から見ると、 連続実パラメータにおける 半単純リー群 の 線型表現は、 リー代数 の 生成元 の集合を誘導する [ 要説明 ] 。それらの複雑な線型結合がラダー演算子である [ 要説明 ] 。
各パラメータにはラダー演算子の集合があり、これらは ルートシステム と ルート格子 の1次元をナビゲートするための標準化された方法である。 [2] 量子調和振動子 のラダー演算子、あるいは 第二量子化 の「数表現」は、この事実の特殊なケースに過ぎない。ラダー演算子は、 角運動量演算子 から コヒーレント状態 、 離散 磁気並進演算子に至るまで、 量子力学 において遍在する 。
2つの演算子X と Nが 、
あるスカラー cに対して 交換関係 にある と仮定する 。が N の固有値方程式を持つ 固有状態である場合 、演算子 Xは固有値を c だけシフトするように 作用する 。 [ N , X ] = c X {\displaystyle [N,X]=cX} | n ⟩ {\displaystyle {|n\rangle }} N | n ⟩ = n | n ⟩ , {\displaystyle N|n\rangle =n|n\rangle ,} | n ⟩ {\displaystyle |n\rangle } N X | n ⟩ = ( X N + [ N , X ] ) | n ⟩ = X N | n ⟩ + [ N , X ] | n ⟩ = X n | n ⟩ + c X | n ⟩ = ( n + c ) X | n ⟩ . {\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}}}
言い換えれば、 が N の固有値 n を持つ固有状態である場合 、 は N の固有値 n + c を持つ固有状態 、または 0 となります。演算子 Xは、 c が実数かつ正の場合には N の 上乗せ演算子 となり 、 c が実数かつ負の 場合には N の 下乗せ演算子となります。 | n ⟩ {\displaystyle |n\rangle } X | n ⟩ {\displaystyle X|n\rangle }
N が エルミート作用素 ならば 、 c は実数でなければならず、 X の エルミート随伴項は 交換関係に従う。 [ N , X † ] = − c X † . {\displaystyle [N,X^{\dagger }]=-cX^{\dagger }.}
特に、 Xが N の下降演算子である場合 、 X †は N の上降演算子であり 、その逆も同様です。 [ 疑わしい – 議論する ]
角運動量 ラダー演算子の概念の特別な応用は、 角運動量 の 量子力学的扱いに見られる。J x 、 J y 、 J z の 成分を持つ 一般的な角運動量 ベクトル Jに対して、2つのラダー演算子 [3] が定義される。 ここで iは 虚数単位 である 。 J + = J x + i J y , J − = J x − i J y , {\displaystyle {\begin{aligned}J_{+}&=J_{x}+iJ_{y},\\J_{-}&=J_{x}-iJ_{y},\end{aligned}}}
任意の 角運動量演算子の 直交座標 成分間の 交換 関係は 次のように与えられます。 ここで、 ε ijk はレヴィ・チヴィタ記号 であり 、 i 、 j 、 kはそれぞれ x 、 y 、 z のいずれかの値を取ることができます 。 [ J i , J j ] = i ℏ ϵ i j k J k , {\displaystyle [J_{i},J_{j}]=i\hbar \epsilon _{ijk}J_{k},}
これから、ラダー演算子と J z の間の交換関係が得られます。 (技術的には、これは のリー代数です )。 [ J z , J ± ] = ± ℏ J ± , [ J + , J − ] = 2 ℏ J z {\displaystyle {\begin{aligned}{}[J_{z},J_{\pm }]&=\pm \hbar J_{\pm },\\{}[J_{+},J_{-}]&=2\hbar J_{z}\end{aligned}}} s l ( 2 , R ) {\displaystyle {{\mathfrak {s}}l}(2,\mathbb {R} )}
ラダー演算子の特性は、 与えられた状態における J z演算子のアクションをどのように変更するかを観察することによって決定できます。 J z J ± | j m ⟩ = ( J ± J z + [ J z , J ± ] ) | j m ⟩ = ( J ± J z ± ℏ J ± ) | j m ⟩ = ℏ ( m ± 1 ) J ± | j m ⟩ . {\displaystyle {\begin{aligned}J_{z}J_{\pm }|j\,m\rangle &={\big (}J_{\pm }J_{z}+[J_{z},J_{\pm }]{\big )}|j\,m\rangle \\&=(J_{\pm }J_{z}\pm \hbar J_{\pm })|j\,m\rangle \\&=\hbar (m\pm 1)J_{\pm }|j\,m\rangle .\end{aligned}}}
この結果を比較する J z | j ( m ± 1 ) ⟩ = ℏ ( m ± 1 ) | j ( m ± 1 ) ⟩ . {\displaystyle J_{z}|j\,(m\pm 1)\rangle =\hbar (m\pm 1)|j\,(m\pm 1)\rangle .}
したがって、 は ある スカラー に を掛けたものであることがわかります 。 J ± | j m ⟩ {\displaystyle {J_{\pm }|j\,m\rangle }} | j ( m ± 1 ) ⟩ {\displaystyle {|j\,(m\pm 1)\rangle }} J + | j m ⟩ = α | j ( m + 1 ) ⟩ , J − | j m ⟩ = β | j ( m − 1 ) ⟩ . {\displaystyle {\begin{aligned}J_{+}|j\,m\rangle &=\alpha |j\,(m+1)\rangle ,\\J_{-}|j\,m\rangle &=\beta |j\,(m-1)\rangle .\end{aligned}}}
これは量子力学におけるラダー演算子の特徴、すなわち量子数を増加(または減少)させることで、ある 量子状態 を別の量子状態にマッピングすることを示しています。これが、これらの演算子がしばしば「上昇演算子」や「下降演算子」と呼ばれる理由です。
α と β の値を得るには 、まず各演算子のノルムを取ります。その際、 J + と J −は エルミート共役 対 ( ) であることを認識します 。 J ± = J ∓ † {\displaystyle J_{\pm }=J_{\mp }^{\dagger }} ⟨ j m | J + † J + | j m ⟩ = ⟨ j m | J − J + | j m ⟩ = ⟨ j ( m + 1 ) | α ∗ α | j ( m + 1 ) ⟩ = | α | 2 , ⟨ j m | J − † J − | j m ⟩ = ⟨ j m | J + J − | j m ⟩ = ⟨ j ( m − 1 ) | β ∗ β | j ( m − 1 ) ⟩ = | β | 2 . {\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}}}
ラダー演算子の積は、交換可能なペアJ 2 と J z で表すことができます 。 J − J + = ( J x − i J y ) ( J x + i J y ) = J x 2 + J y 2 + i [ J x , J y ] = J 2 − J z 2 − ℏ J z , J + J − = ( J x + i J y ) ( J x − i J y ) = J x 2 + J y 2 − i [ J x , J y ] = J 2 − J z 2 + ℏ J z . {\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}}}
したがって、| α | 2 と | β | 2 の値は、 J 2 と J z の 固有値 で表すことができます 。 | α | 2 = ℏ 2 j ( j + 1 ) − ℏ 2 m 2 − ℏ 2 m = ℏ 2 ( j − m ) ( j + m + 1 ) , | β | 2 = ℏ 2 j ( j + 1 ) − ℏ 2 m 2 + ℏ 2 m = ℏ 2 ( j + m ) ( j − m + 1 ) . {\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}}}
α と β の 位相 は物理的に重要ではないため、正かつ 実数 として選択することができる ( コンドン・ショートリー位相規約 )。すると [4] J + | j , m ⟩ = ℏ ( j − m ) ( j + m + 1 ) | j , m + 1 ⟩ = ℏ j ( j + 1 ) − m ( m + 1 ) | j , m + 1 ⟩ , J − | j , m ⟩ = ℏ ( j + m ) ( j − m + 1 ) | j , m − 1 ⟩ = ℏ j ( j + 1 ) − m ( m − 1 ) | j , m − 1 ⟩ . {\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}}}
mが j ( ) の値によって制限される ことを確認すると、 − j ≤ m ≤ j {\displaystyle -j\leq m\leq j} J + | j , + j ⟩ = 0 , J − | j , − j ⟩ = 0. {\displaystyle {\begin{aligned}J_{+}|j,\,+j\rangle &=0,\\J_{-}|j,\,-j\rangle &=0.\end{aligned}}}
上記のデモンストレーションは、実質的にはクレプシュ・ゴルダン係数 の構築です 。
原子・分子物理学への応用 原子・分子系のハミルトニアンにおける多くの項は、角運動量演算子の スカラー積 を含んでいます。一例として、 超微細ハミルトニアンにおける磁気双極子項 が挙げられます: [5] ここで、 I は核スピンです。 H ^ D = A ^ I ⋅ J , {\displaystyle {\hat {H}}_{\text{D}}={\hat {A}}\mathbf {I} \cdot \mathbf {J} ,}
角運動量代数は、 球面基底に書き直すことで簡略化できることが多い。 球面テンソル演算子 の表記を用いると、 J (1) ≡ J の「−1」、「0」、「+1」成分は [6] で与えられる。 J − 1 ( 1 ) = 1 2 ( J x − i J y ) = J − 2 , J 0 ( 1 ) = J z , J + 1 ( 1 ) = − 1 2 ( J x + i J y ) = − J + 2 . {\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}}}
これらの定義から、上記のスカラー積は次のように展開できることが示される。 I ( 1 ) ⋅ J ( 1 ) = ∑ 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 ) . {\displaystyle \mathbf {I} ^{(1)}\cdot \mathbf {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)}.}
この展開の重要性は、ハミルトニアンにおいてどの状態がこの項によって結合されているか、つまり、量子数が m i = ±1 と m j = ∓1 だけ 異なる状態が明確に示されることです。
調和振動子 ラダー演算子の概念のもう一つの応用は、調和振動子の量子力学的扱いに見られる。下げ演算子と上げ演算子は次のように定義できる。 a ^ = m ω 2 ℏ ( x ^ + i m ω p ^ ) , a ^ † = m ω 2 ℏ ( x ^ − i m ω p ^ ) . {\displaystyle {\begin{aligned}{\hat {a}}&={\sqrt {m\omega \over 2\hbar }}\left({\hat {x}}+{i \over m\omega }{\hat {p}}\right),\\{\hat {a}}^{\dagger }&={\sqrt {m\omega \over 2\hbar }}\left({\hat {x}}-{i \over m\omega }{\hat {p}}\right).\end{aligned}}}
これらは、システムの 微分方程式 を直接解くことなくエネルギー固有値を抽出する便利な手段を提供します。
調和振動子のエネルギーレベルに適用されるラダー演算子: a ^ † | n ⟩ = n + 1 | n + 1 ⟩ , a ^ | n ⟩ = n | n − 1 ⟩ . {\displaystyle {\begin{aligned}{\hat {a}}^{\dagger }|n\rangle &={\sqrt {n+1}}|n+1\rangle ,\\{\hat {a}}|n\rangle &={\sqrt {n}}|n-1\rangle .\end{aligned}}}
水素のような原子 文献にはラダー演算子を使用する主なアプローチが 2 つ記載されており、1 つはラプラス・ルンゲ・レンツ ベクトルを使用するもので、もう 1 つはハミルトニアンの因数分解を使用するものです。
ラプラス・ルンゲ・レンツベクトル ラダー演算子の概念のもう一つの応用は、水素のような原子やイオンの電子エネルギーの量子力学的取り扱いに見られる。ラプラス ・ルンゲ・レンツ・ベクトルは、 逆二乗球対称ポテンシャルのハミルトニアンと可換であり、このポテンシャルのラダー演算子を決定するために使用できる。 [7] [8]古典的な ラプラス・ルンゲ・レンツ・ベクトル に 基づいて、下げ演算子と上げ演算子を定義できる。 ここで 、 は角運動量、 は線型運動量、 は 系の 換算質量 、は電子電荷、 は原子核の原子番号である。角運動量ラダー演算子と同様に、 および が 成り立つ 。 A → = ( 1 Z e 2 μ ) { L → × p → − i ℏ p → } + r → r , {\displaystyle {\vec {A}}=\left({\frac {1}{Ze^{2}\mu }}\right)\left\{{\vec {L}}\times {\vec {p}}-{\boldsymbol {i}}\hbar {\vec {p}}\right\}+{\frac {\vec {r}}{r}},} L → {\displaystyle {\vec {L}}} p → {\displaystyle {\vec {p}}} μ {\displaystyle \mu } e {\displaystyle e} Z {\displaystyle Z} A + = A x + i A y {\displaystyle A_{+}=A_{x}+iA_{y}} A − = A x − i A y {\displaystyle A_{-}=A_{x}-iA_{y}}
続行するために必要な交換子は、およびであり 、 したがって、 で あり
、 ここで「?」は、議論から生じる初期の量子数を示します。 [ A ± , L z ] = ∓ i ℏ A ∓ {\displaystyle [A_{\pm },L_{z}]=\mp {\boldsymbol {i}}\hbar A_{\mp }} [ A ± , L 2 ] = ∓ 2 ℏ 2 A ± − 2 ℏ A ± L z ± 2 ℏ A z L ± . {\displaystyle [A_{\pm },L^{2}]=\mp 2\hbar ^{2}A_{\pm }-2\hbar A_{\pm }L_{z}\pm 2\hbar A_{z}L_{\pm }.} A + | ? , ℓ , m ℓ ⟩ → | ? , ℓ , m ℓ + 1 ⟩ {\displaystyle A_{+}|?,\ell ,m_{\ell }\rangle \rightarrow |?,\ell ,m_{\ell }+1\rangle } − L 2 ( A + | ? , ℓ , ℓ ⟩ ) = − ℏ 2 ( ℓ + 1 ) ( ( ℓ + 1 ) + 1 ) ( A + | ? , ℓ , ℓ ⟩ ) , {\displaystyle -L^{2}\left(A_{+}|?,\ell ,\ell \rangle \right)=-\hbar ^{2}(\ell +1)((\ell +1)+1)\left(A_{+}|?,\ell ,\ell \rangle \right),} A + | ? , ℓ , ℓ ⟩ → | ? , ℓ + 1 , ℓ + 1 ⟩ , {\displaystyle A_{+}|?,\ell ,\ell \rangle \rightarrow |?,\ell +1,\ell +1\rangle ,}
パウリ方程式 [9] [10] IV: およびIII:
が与えられ 、方程式から始めて
展開すると、( 他のすべての条件と一致する角運動量量子数の最大値である と仮定)が得られ、これは 、 を意味する リュードベリの公式 につながり 、ここで は従来の量子数です。 1 − A ⋅ A = − ( 2 E μ Z 2 e 4 ) ( L 2 + ℏ 2 ) {\displaystyle 1-A\cdot A=-\left({\frac {2E}{\mu Z^{2}e^{4}}}\right)(L^{2}+\hbar ^{2})} ( A × A ) j = − ( 2 i ℏ E μ Z 2 e 4 ) L j , {\displaystyle \left(A\times A\right)_{j}=-\left({\frac {2{\boldsymbol {i}}\hbar E}{\mu Z^{2}e^{4}}}\right)L_{j},} A − A + | ℓ ∗ , ℓ ∗ ⟩ = 0 {\displaystyle A_{-}A_{+}|\ell ^{*},\ell ^{*}\rangle =0} ℓ ∗ {\displaystyle \ell ^{*}} ( 1 + 2 E μ Z 2 e 4 ( L 2 + ℏ 2 ) − i 2 i ℏ E μ Z 2 e 4 L z ) | ? , ℓ ∗ , ℓ ∗ ⟩ = 0 , {\displaystyle \left(1+{\frac {2E}{\mu Z^{2}e^{4}}}(L^{2}+\hbar ^{2})-i{\frac {2i\hbar E}{\mu Z^{2}e^{4}}}L_{z}\right)|?,\ell ^{*},\ell ^{*}\rangle =0,} E n = − μ Z 2 e 4 2 ℏ 2 ( ℓ ∗ + 1 ) 2 , {\displaystyle E_{n}=-{\frac {\mu Z^{2}e^{4}}{2\hbar ^{2}(\ell ^{*}+1)^{2}}},} ℓ ∗ + 1 = n = ? {\displaystyle \ell ^{*}+1=n=?} n {\displaystyle n}
ハミルトニアンの因数分解 水素のようなポテンシャルのハミルトニアンは、球座標では と表すことができます。 ここで、 、 および実数かつ自己共役な ラジアル運動量
です。 H = 1 2 μ [ p r 2 + 1 r 2 L 2 ] + V ( r ) , {\displaystyle H={\frac {1}{2\mu }}\left[p_{r}^{2}+{\frac {1}{r^{2}}}L^{2}\right]+V(r),} V ( r ) = − Z e 2 / r {\displaystyle V(r)=-Ze^{2}/r} p r = x r p x + y r p y + z r p z , {\displaystyle p_{r}={\frac {x}{r}}p_{x}+{\frac {y}{r}}p_{y}+{\frac {z}{r}}p_{z},}
がハミルトニアンの固有ベクトルで、 が角運動量、 が エネルギーを表すとすると、 となり 、ハミルトニアンは とラベル付けできます 。 | n l ⟩ {\displaystyle |nl\rangle } l {\displaystyle l} n {\displaystyle n} L 2 | n l ⟩ = l ( l + 1 ) ℏ 2 | n l ⟩ {\displaystyle L^{2}|nl\rangle =l(l+1)\hbar ^{2}|nl\rangle } H l {\displaystyle H_{l}} H l = 1 2 μ [ p r 2 + 1 r 2 l ( l + 1 ) ℏ 2 ] + V ( r ) . {\displaystyle H_{l}={\frac {1}{2\mu }}\left[p_{r}^{2}+{\frac {1}{r^{2}}}l(l+1)\hbar ^{2}\right]+V(r).}
因数分解法は、 微分方程式に対してインフェルドとハル [11]によって開発された。ニューマーチとゴールドイング [12]は 、演算子表記を用いてこれを球対称ポテンシャルに適用した。
ハミルトニアンの因数分解を 次のように
演算子で見つけられると仮定する。 C l {\displaystyle C_{l}}
C l ∗ C l = 2 μ H l + F l , {\displaystyle C_{l}^{*}C_{l}=2\mu H_{l}+F_{l},} 1
および のスカラーと に対して 。 ベクトルは という2つの異なる方法で評価することができ、 これは のように整理することができ、 が の固有状態であり、 固有値が で
ある ことを示します。 の 場合 、 となり 、状態 と は 同じエネルギーを持ちます。 C l C l ∗ = 2 μ H l + 1 + G l {\displaystyle C_{l}C_{l}^{*}=2\mu H_{l+1}+G_{l}} F l {\displaystyle F_{l}} G l {\displaystyle G_{l}} C l C l ∗ C l | n l ⟩ {\displaystyle C_{l}C_{l}^{*}C_{l}|nl\rangle } C l C l ∗ C l | n l ⟩ = ( 2 μ E l n + F l ) C l | n l ⟩ = ( 2 μ H l + 1 + G l ) C l | n l ⟩ , {\displaystyle {\begin{aligned}C_{l}C_{l}^{*}C_{l}|nl\rangle &=(2\mu E_{l}^{n}+F_{l})C_{l}|nl\rangle \\&=(2\mu H_{l+1}+G_{l})C_{l}|nl\rangle ,\end{aligned}}} H l + 1 ( C l | n l ⟩ ) = [ E l n + ( F l − G l ) / ( 2 μ ) ] ( C l | n l ⟩ ) , {\displaystyle H_{l+1}(C_{l}|nl\rangle )=[E_{l}^{n}+(F_{l}-G_{l})/(2\mu )](C_{l}|nl\rangle ),} C l | n l ⟩ {\displaystyle C_{l}|nl\rangle } H l + 1 {\displaystyle H_{l+1}} E l + 1 n ′ = E l n + ( F l − G l ) / ( 2 μ ) . {\displaystyle E_{l+1}^{n'}=E_{l}^{n}+(F_{l}-G_{l})/(2\mu ).} F l = G l {\displaystyle F_{l}=G_{l}} n ′ = n {\displaystyle n'=n} | n l ⟩ {\displaystyle |nl\rangle } C l | n l ⟩ {\displaystyle C_{l}|nl\rangle }
水素原子の場合、 適切な方程式 を と
設定すると、エネルギーが負 の 場合
(つまり、 ある の場合) はラダー演算子に上限があり、方程式( 1 ) から が成り立ち 、 と 同一視できる。 V ( r ) = − B ℏ μ r {\displaystyle V(r)=-{\frac {B\hbar }{\mu r}}} B = Z μ e 2 ℏ , {\displaystyle B={\frac {Z\mu e^{2}}{\hbar }},} C l {\displaystyle C_{l}} C l = p r + i ℏ ( l + 1 ) r − i B l + 1 {\displaystyle C_{l}=p_{r}+{\frac {i\hbar (l+1)}{r}}-{\frac {iB}{l+1}}} F l = G l = B 2 ( l + 1 ) 2 . {\displaystyle F_{l}=G_{l}={\frac {B^{2}}{(l+1)^{2}}}.} C l | n l max ⟩ = 0 {\displaystyle C_{l}|nl_{\text{max}}\rangle =0} l max {\displaystyle l_{\text{max}}} E l n = − F l / 2 μ = − B 2 2 μ ( l max + 1 ) 2 = − μ Z 2 e 4 2 ℏ 2 ( l max + 1 ) 2 , {\displaystyle E_{l}^{n}=-F_{l}/{2\mu }=-{\frac {B^{2}}{2\mu (l_{\text{max}}+1)^{2}}}=-{\frac {\mu Z^{2}e^{4}}{2\hbar ^{2}(l_{\text{max}}+1)^{2}}},} n {\displaystyle n} l max + 1. {\displaystyle l_{\text{max}}+1.}
群論との関係 系に縮退が存在する場合、通常は関連する対称性の性質と群が存在する。同じ値だが異なる角運動量に対するエネルギー準位の縮退は、球対称クーロンポテンシャルの SO(4) 対称性として同定されている 。 [13] [14] n {\displaystyle n}
3D等方性調和振動子 3 次元等方性調和振動子の ポテンシャルは次のように与えられる。 V ( r ) = 1 2 μ ω 2 r 2 . {\displaystyle V(r)={\tfrac {1}{2}}\mu \omega ^{2}r^{2}.}
同様に因数分解法を使って管理することも可能です。
因数分解法 適切な因数分解は[12] で 与えられ 、そして これを続けると、 ハミルトニアン
は 次式 からわかるように正のエネルギー準位のみを持つ。
これは 、級数のある値に対しては必ず終了し 、そして
これは ある値に対して でない限り 、エネルギーが減少することを 意味する。この値を とすれば、次式が 得られる
。 C l = p r + i ℏ ( l + 1 ) r − i μ ω r {\displaystyle C_{l}=p_{r}+{\frac {i\hbar (l+1)}{r}}-i\mu \omega r} F l = − ( 2 l + 3 ) μ ω ℏ {\displaystyle F_{l}=-(2l+3)\mu \omega \hbar } G l = − ( 2 l + 1 ) μ ω ℏ . {\displaystyle G_{l}=-(2l+1)\mu \omega \hbar .} E l + 1 n ′ = E l n + F l − G l 2 μ = E l n − ω ℏ , {\displaystyle E_{l+1}^{n^{'}}=E_{l}^{n}+{\frac {F_{l}-G_{l}}{2\mu }}=E_{l}^{n}-\omega \hbar ,} E l + 2 n ′ = E l n − 2 ω ℏ E l + 3 n ′ = E l n − 3 ω ℏ ⋮ {\displaystyle {\begin{aligned}E_{l+2}^{n^{'}}&=E_{l}^{n}-2\omega \hbar \\E_{l+3}^{n^{'}}&=E_{l}^{n}-3\omega \hbar \\&\;\;\vdots \end{aligned}}} ⟨ ψ | 2 μ H l | ψ ⟩ = ⟨ ψ | C l ∗ C l | ψ ⟩ + ⟨ ψ | ( 2 l + 3 ) μ ω ℏ | ψ ⟩ = ⟨ C l ψ | C l ψ ⟩ + ( 2 l + 3 ) μ ω ℏ ⟨ ψ | ψ ⟩ ≥ 0. {\displaystyle {\begin{aligned}\langle \psi |2\mu H_{l}|\psi \rangle &=\langle \psi |C_{l}^{*}C_{l}|\psi \rangle +\langle \psi |(2l+3)\mu \omega \hbar |\psi \rangle \\&=\langle C_{l}\psi |C_{l}\psi \rangle +(2l+3)\mu \omega \hbar \langle \psi |\psi \rangle \\&\geq 0.\end{aligned}}} l {\displaystyle l} C l max | n l max ⟩ = 0 , {\displaystyle C_{l_{\text{max}}}|nl_{\text{max}}\rangle =0,} E l max n = − F l max 2 μ = ( l max + 3 2 ) ω ℏ . {\displaystyle E_{l_{\text{max}}}^{n}=-{\frac {F_{l_{\text{max}}}}{2\mu }}=\left(l_{\text{max}}+{\frac {3}{2}}\right)\omega \hbar .} ω ℏ {\displaystyle \omega \hbar } C l | n , l ⟩ = 0 {\displaystyle C_{l}|n,l\rangle =0} l {\displaystyle l} n {\displaystyle n} E l n = − F l = ( n + 3 2 ) ω ℏ . {\displaystyle E_{l}^{n}=-F_{l}=\left(n+{\tfrac {3}{2}}\right)\omega \hbar .}
すると、 解に 再帰関係を与える と、 n ′ = n − 1 {\displaystyle n'=n-1} C l | n l ⟩ = λ l n | n − 1 , l + 1 ⟩ , {\displaystyle C_{l}|nl\rangle =\lambda _{l}^{n}|n-1,\,l+1\rangle ,} λ {\displaystyle \lambda } λ l n = − μ ω ℏ 2 ( n − l ) . {\displaystyle \lambda _{l}^{n}=-\mu \omega \hbar {\sqrt {2(n-l)}}.}
角運動量による縮退があり、振動子ポテンシャルによる追加の縮退もあります。状態を考慮し 、下降演算子を適用すると 、
エネルギーは 同じですが2ずつ減少する シーケンスが得られます 。角運動量の縮退に加えて、これは [15]の全体の縮退を与えます。 | n , n ⟩ , | n − 1 , n − 1 ⟩ , | n − 2 , n − 2 ⟩ , … {\displaystyle |n,\,n\rangle ,|n-1,\,n-1\rangle ,|n-2,\,n-2\rangle ,\dots } C ∗ {\displaystyle C^{*}} C n − 2 ∗ | n − 1 , n − 1 ⟩ , C n − 4 ∗ C n − 3 ∗ | n − 2 , n − 2 ⟩ , … {\displaystyle C_{n-2}^{*}|n-1,\,n-1\rangle ,C_{n-4}^{*}C_{n-3}^{*}|n-2,\,n-2\rangle ,\dots } | n , n ⟩ , | n , n − 2 ⟩ , | n , n − 4 ⟩ , … {\displaystyle |n,n\rangle ,|n,\,n-2\rangle ,|n,\,n-4\rangle ,\dots } l {\displaystyle l} ( n + 1 ) ( n + 2 ) / 2 {\displaystyle (n+1)(n+2)/2}
群論との関係 3次元等方調和振動子の退化は特殊ユニタリー群 SU(3)と関連している [15] [16]
歴史 多くの文献では、 ラダー演算子の発明者は ポール・ディラックであるとされている。 [17] ディラックによるラダー演算子の使用は、 全角運動量量子数が ħ の 非負 の半 整数倍である必要があることを示している。 j {\displaystyle j}
参照
参考文献 ^ フックス、ユルゲン(1992)、 アフィンリー代数と量子群 、ケンブリッジ大学出版局、 ISBN 0-521-48412-X ^ ハリス、フルトン、 『表現論』 164ページ ^ de Lange, OL; RE Raab (1986). 「軌道角運動量のためのラダー演算子」. American Journal of Physics . 54 (4): 372– 375. Bibcode :1986AmJPh..54..372D. doi :10.1119/1.14625. ^ 桜井 淳 (1994). 現代量子力学 . デリー, インド: ピアソン・エデュケーション. p. 192. ISBN 81-7808-006-0 。 ^ ウッドゲート、ゴードン・K. (1983年10月6日). 『原子構造の基本』オックスフォード大学出版局, USA. ISBN 978-0-19-851156-4 . 2009年3月3日 閲覧 。 ^ 「角運動量演算子」. 大学院量子力学ノート . バージニア大学 . 2009年4月6日 閲覧。 ^ David, CW (1966). 「水素原子の電子エネルギー準位に対するラダー演算子解」. American Journal of Physics . 34 (10): 984– 985. Bibcode :1966AmJPh..34..984D. doi :10.1119/1.1972354. ^ Burkhardt, CE; Levanthal, J. (2004). 「球状水素原子固有関数に対するレンツベクトル演算」. American Journal of Physics . 72 (8): 1013– 1016. Bibcode :2004AmJPh..72.1013B. doi : 10.1119/1.1758225 . ^ パウリ、ヴォルフガング (1926)。 「Über das Wasserstoffspektrum vom Standpunkt der neuen Quantenmechanik」。 Z.物理学 。 36 (5): 336–363 。 Bibcode :1926ZPhy...36..336P。 土井 :10.1007/BF01450175。 S2CID 128132824。 ^ BL Van der Waerden、量子力学の情報源、ニューヨーク州ドーバー、1968 年。 ^ L., Infeld; Hull, TE (1951). 「因数分解法」 Rev. Mod. Phys . 23 (1): 21– 68. Bibcode :1951RvMP...23...21I. doi :10.1103/RevModPhys.23.21. ^ ab Newmarch, JD; Golding, RM (1978). 「量子における球対称ポテンシャルのラダー演算子」 Am. J. Phys . 46 : 658–660 . doi : 10.1119/1.11225 . ^ Weinberg, SJ (2011). 「水素原子のSO(4)対称性」 (PDF) . ^ Lahiri, A.; Roy, PK; Bagchi, B. (1989). 「量子力学における超対称性とラダー演算子法:ラジアルシュレーディンガー方程式」. Int. J. Theor. Phys . 28 (2): 183– 189. Bibcode :1989IJTP...28..183L. doi :10.1007/BF00669809. S2CID 123255435. ^ ab Kirson, MW (2013). 「物理学者のための入門代数学:等方性調和振動子」 (PDF) . ワイツマン科学研究所. 2021年 7月28日 閲覧 。 ^ Fradkin, DM (1965). 「3次元等方性調和振動子とSU3」. Am. J. Phys . 33 (3): 207– 211. Bibcode :1965AmJPh..33..207F. doi :10.1119/1.1971373. ^ Webb, Stephen. 「量子調和発振器」 (PDF) . www.fisica.net . 2023年 11月5日 閲覧 。