はしご運転手

線型代数学(および量子力学への応用において、上昇演算子または下降演算子(総称してラダー演算子と呼ばれる)は、別の演算子の固有値を増加または減少させる演算子です。量子力学では、上昇演算子と下降演算子はそれぞれ生成演算子と消滅演算子として一般的に知られています。量子力学におけるラダー演算子のよく知られた応用としては、量子調和振動子角運動量の形式論があります

用語

量子場理論で一般的に用いられる生成演算子および消滅演算子と、上昇および下降ラダー演算子との間には、表現論に基づく関係があります。生成演算子a i †は状態iにある粒子の数を増加させ、対応する消滅演算子a iは状態iにある粒子の数を減少させます。これは、上記のラダー演算子の定義、すなわち別の演算子(この場合は粒子数演算子)の固有値を増加または減少させるという要件を明確に満たしています

混乱が生じるのは、 「ラダー演算子」という用語は通常、系の状態を記述する量子数を増減させる演算子を指すために用いられるためです。QFTの生成/消滅演算子を用いて粒子の状態を変化させるには、消滅演算子と生成演算子の両方を使用する必要があります。消滅演算子は粒子を初期状態から除去するために用いられ生成演算子は粒子を最終状態に追加するために用いられます。

「ラダー演算子」あるいは「上昇演算子と下降演算子」という用語は、数学においても、リー代数、特にアフィン・リー代数の理論の文脈で用いられることがある。例えば、su(2)部分代数を記述するために、ルート系最高重みのモジュールはラダー演算子を用いて構成することができる。[1]特に、最高重みは上昇演算子によって消滅し、残りの正のルート空間は下降演算子を繰り返し適用することによって得られる(部分代数ごとにラダー演算子の1セット)。

数学からの動機

表現論の観点から見ると、連続実パラメータにおける半単純リー群線型表現は、リー代数生成元の集合を誘導する[要説明]。それらの複雑な線型結合がラダー演算子である[要説明] 。 各パラメータにはラダー演算子の集合があり、これらはルートシステムルート格子の1次元をナビゲートするための標準化された方法である。[2]量子調和振動子のラダー演算子、あるいは第二量子化の「数表現」は、この事実の特殊なケースに過ぎない。ラダー演算子は、角運動量演算子からコヒーレント状態離散磁気並進演算子に至るまで、量子力学において遍在する

一般的な定式化

2つの演算子XNが、 あるスカラーcに対して交換関係にあると仮定する。がNの固有値方程式を持つ固有状態である場合、演算子Xは固有値をcだけシフトするように作用する

言い換えれば、 がNの固有値nを持つ固有状態である場合、 はNの固有値n + cを持つ固有状態、または 0 となります。演算子Xは、 cが実数かつ正の場合にはN上乗せ演算子となりcが実数かつ負の場合にはN下乗せ演算子となります。

Nエルミート作用素ならばcは実数でなければならず、Xエルミート随伴項は交換関係に従う。

特に、XがNの下降演算子である場合X †はNの上降演算子であり、その逆も同様です。[疑わしい議論する]

角運動量

ラダー演算子の概念の特別な応用は、角運動量量子力学的扱いに見られる。J xJ y J z成分を持つ一般的な角運動量ベクトルJに対して、2つのラダー演算子[3]が定義される。ここでiは虚数単位である

任意の角運動量演算子の直交座標成分間の交換関係は次のように与えられます。ここで、ε ijkはレヴィ・チヴィタ記号でありijkはそれぞれxyzのいずれかの値を取ることができます

これから、ラダー演算子とJ zの間の交換関係が得られます。 (技術的には、これは のリー代数です)。

ラダー演算子の特性は、与えられた状態におけるJ z演算子のアクションをどのように変更するかを観察することによって決定できます。

この結果を比較する

したがって、 はあるスカラーに を掛けたものであることがわかります

これは量子力学におけるラダー演算子の特徴、すなわち量子数を増加(または減少)させることで、ある量子状態を別の量子状態にマッピングすることを示しています。これが、これらの演算子がしばしば「上昇演算子」や「下降演算子」と呼ばれる理由です。

αβの値を得るには、まず各演算子のノルムを取ります。その際、J +J −はエルミート共役対 ( )であることを認識します

ラダー演算子の積は、交換可能なペアJ 2J zで表すことができます

したがって、| α | 2と | β | 2の値は、J 2J z固有値で表すことができます

αβ位相は物理的に重要ではないため、正かつ実数として選択することができるコンドン・ショートリー位相規約)。すると[4]

mがjの値によって制限されることを確認すると、

上記のデモンストレーションは、実質的にはクレプシュ・ゴルダン係数の構築です

原子・分子物理学への応用

原子・分子系のハミルトニアンにおける多くの項は、角運動量演算子のスカラー積を含んでいます。一例として、超微細ハミルトニアンにおける磁気双極子項が挙げられます:[5]ここで、Iは核スピンです。

角運動量代数は、球面基底に書き直すことで簡略化できることが多い。球面テンソル演算子の表記を用いると、 J (1)Jの「−1」、「0」、「+1」成分は[6]で与えられる。

これらの定義から、上記のスカラー積は次のように展開できることが示される。

この展開の重要性は、ハミルトニアンにおいてどの状態がこの項によって結合されているか、つまり、量子数がm i = ±1 とm j = ∓1だけ異なる状態が明確に示されることです。

調和振動子

ラダー演算子の概念のもう一つの応用は、調和振動子の量子力学的扱いに見られる。下げ演算子と上げ演算子は次のように定義できる。

これらは、システムの微分方程式を直接解くことなくエネルギー固有値を抽出する便利な手段を提供します。

調和振動子のエネルギーレベルに適用されるラダー演算子:

水素のような原子

文献にはラダー演算子を使用する主なアプローチが 2 つ記載されており、1 つはラプラス・ルンゲ・レンツ ベクトルを使用するもので、もう 1 つはハミルトニアンの因数分解を使用するものです。

ラプラス・ルンゲ・レンツベクトル

ラダー演算子の概念のもう一つの応用は、水素のような原子やイオンの電子エネルギーの量子力学的取り扱いに見られる。ラプラス・ルンゲ・レンツ・ベクトルは、逆二乗球対称ポテンシャルのハミルトニアンと可換であり、このポテンシャルのラダー演算子を決定するために使用できる。[7] [8]古典的なラプラス・ルンゲ・レンツ・ベクトル基づいて、下げ演算子と上げ演算子を定義できる。ここで、 は角運動量、は線型運動量、系の換算質量、は電子電荷、は原子核の原子番号である。角運動量ラダー演算子と同様に、 および が成り立つ

続行するために必要な交換子は、およびでありしたがって、あり 、ここで「?」は、議論から生じる初期の量子数を示します。

パウリ方程式[9] [10] IV:およびIII: が与えられ、方程式から始めて 展開すると、(他のすべての条件と一致する角運動量量子数の最大値であると仮定)が得られ、これは、 を意味するリュードベリの公式につながり、ここでは従来の量子数です。

ハミルトニアンの因数分解

水素のようなポテンシャルのハミルトニアンは、球座標では と表すことができます。ここで、 、および実数かつ自己共役なラジアル運動量 です。

がハミルトニアンの固有ベクトルで、が角運動量、 がエネルギーを表すとすると、となり、ハミルトニアンは とラベル付けできます

因数分解法は、微分方程式に対してインフェルドとハル[11]によって開発された。ニューマーチとゴールドイング[12]は、演算子表記を用いてこれを球対称ポテンシャルに適用した。

ハミルトニアンの因数分解を次のように 演算子で見つけられると仮定する。

およびのスカラーと に対してベクトルはという2つの異なる方法で評価することができ、これは のように整理することができ、が の固有状態であり、固有値が で あることを示します。 の場合、 となり、状態と は同じエネルギーを持ちます。

水素原子の場合、適切な方程式を と 設定すると、エネルギーが負場合 (つまり、ある の場合)はラダー演算子に上限があり、方程式( 1から が成り立ち、 と同一視できる。

群論との関係

系に縮退が存在する場合、通常は関連する対称性の性質と群が存在する。同じ値だが異なる角運動量に対するエネルギー準位の縮退は、球対称クーロンポテンシャルのSO(4)対称性として同定されている[13] [14]

3D等方性調和振動子

3次元等方性調和振動子のポテンシャルは次のように与えられる。

同様に因数分解法を使って管理することも可能です。

因数分解法

適切な因数分解は[12]与えられ、そしてこれを続けると、ハミルトニアン は次式からわかるように正のエネルギー準位のみを持つ。 これは、級数のある値に対しては必ず終了し、そして これはある値に対してでない限り、エネルギーが減少することを意味する。この値を とすれば、次式が得られる 。

すると、解に再帰関係を与えると、

角運動量による縮退があり、振動子ポテンシャルによる追加の縮退もあります。状態を考慮し、下降演算子を適用すると、 エネルギーは同じですが2ずつ減少するシーケンスが得られます。角運動量の縮退に加えて、これは[15]の全体の縮退を与えます。

群論との関係

3次元等方調和振動子の退化は特殊ユニタリー群SU(3)と関連している[15] [16]

歴史

多くの文献では、ラダー演算子の発明者はポール・ディラックであるとされている。 [17]ディラックによるラダー演算子の使用は、全角運動量量子数が ħ非負の半整数倍である必要があることを示している。

参照

参考文献

  1. ^ フックス、ユルゲン(1992)、アフィンリー代数と量子群、ケンブリッジ大学出版局、ISBN 0-521-48412-X
  2. ^ ハリス、フルトン、『表現論』164ページ
  3. ^ de Lange, OL; RE Raab (1986). 「軌道角運動量のためのラダー演算子」. American Journal of Physics . 54 (4): 372– 375. Bibcode :1986AmJPh..54..372D. doi :10.1119/1.14625.
  4. ^ 桜井 淳(1994).現代量子力学. デリー, インド: ピアソン・エデュケーション. p. 192. ISBN 81-7808-006-0
  5. ^ ウッドゲート、ゴードン・K. (1983年10月6日). 『原子構造の基本』オックスフォード大学出版局, USA. ISBN 978-0-19-851156-4. 2009年3月3日閲覧
  6. ^ 「角運動量演算子」.大学院量子力学ノート.バージニア大学. 2009年4月6日閲覧。
  7. ^ David, CW (1966). 「水素原子の電子エネルギー準位に対するラダー演算子解」. American Journal of Physics . 34 (10): 984– 985. Bibcode :1966AmJPh..34..984D. doi :10.1119/1.1972354.
  8. ^ Burkhardt, CE; Levanthal, J. (2004). 「球状水素原子固有関数に対するレンツベクトル演算」. American Journal of Physics . 72 (8): 1013– 1016. Bibcode :2004AmJPh..72.1013B. doi : 10.1119/1.1758225 .
  9. ^ パウリ、ヴォルフガング (1926)。 「Über das Wasserstoffspektrum vom Standpunkt der neuen Quantenmechanik」。Z.物理学36 (5): 336–363Bibcode :1926ZPhy...36..336P。土井:10.1007/BF01450175。S2CID  128132824。
  10. ^ BL Van der Waerden、量子力学の情報源、ニューヨーク州ドーバー、1968 年。
  11. ^ L., Infeld; Hull, TE (1951). 「因数分解法」Rev. Mod. Phys . 23 (1): 21– 68. Bibcode :1951RvMP...23...21I. doi :10.1103/RevModPhys.23.21.
  12. ^ ab Newmarch, JD; Golding, RM (1978). 「量子における球対称ポテンシャルのラダー演算子」Am. J. Phys . 46 : 658–660 . doi : 10.1119/1.11225 .
  13. ^ Weinberg, SJ (2011). 「水素原子のSO(4)対称性」(PDF) .
  14. ^ 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.
  15. ^ ab Kirson, MW (2013). 「物理学者のための入門代数学:等方性調和振動子」(PDF) . ワイツマン科学研究所. 2021年7月28日閲覧
  16. ^ Fradkin, DM (1965). 「3次元等方性調和振動子とSU3」. Am. J. Phys . 33 (3): 207– 211. Bibcode :1965AmJPh..33..207F. doi :10.1119/1.1971373.
  17. ^ Webb, Stephen. 「量子調和発振器」(PDF) . www.fisica.net . 2023年11月5日閲覧
Retrieved from "https://en.wikipedia.org/w/index.php?title=Ladder_operator&oldid=1321319124"