0
応用数学解説
文献あり

角運動量の合成

341
0

【はじめに】

  • 本記事は 角運動量代数の表現 の続きです
  • 本記事において「状態が一意に定まる」という際、位相因子の不定性は除きます。"up to phase factor"での話だとご理解ください。
  • 数学的には厳密ではないかもしれませんがご容赦ください(物理学科ではこんな感じで習いますが、数学徒が見てどう思うかわかりません)

量子力学における全角運動量と構成粒子の角運動量の関係

原子や原子核は量子多体系であり多数の粒子で構成されます。これらの系が回転不変性を持つ場合を考えます。このときハミルトニアンと回転の生成子である角運動量演算子は交換し、その固有状態は時間発展で不変です。このとき角運動量演算子の固有状態を用いて系を記述するのが便利かつ重要です。

粒子全体の角運動量は、それを構成する粒子の角運動量によりもたらされます。そこで以下、多粒子系全体の角運動量固有状態を、各粒子の角運動量固有状態の直積を用いて記述することを考えます。これを「角運動量の合成」と呼びます。ちなみに日本語では「角運動量の『合成』」と呼びますが、英語では"Addition of angular momentum"と呼ばれることが多いようです。

本記事はRef.Igiを参考にして書かれています。角運動量の表現の基礎的な事項に関しては前回の記事Mathlogや巷の教科書・webサイトをご参照ください。

以下2粒子系を考えます。2粒子系の角運動量の合成を繰り返せば任意の個数の粒子の合成ができます。

状況の設定

全体の系Sの角運動量演算子j^は、各粒子の各運動量演算子j^1,j^2を用いて
j^:=j^112+11j^2
で定義されます。の左側が粒子1の、右側が粒子2の空間とします(11,12はそれぞれ粒子1と粒子2の空間における恒等演算子)。これらの演算子は2粒子系の状態空間
|粒子1の状態|粒子2の状態
に作用します。粒子1の演算子は粒子1の状態にのみ、粒子2の演算子は粒子2の状態にのみ作用します。

以降、直積の記号であるや恒等演算子を省略し
j^=j^1+j^2
と記します。状態に関してもその直積を
|粒子1の状態|粒子2の状態
のようにを省略して書きます。以降|a|bと書いたら、左が粒子1、右が粒子2の状態です。

以下に前提をまとめます:

  • 角運動量の大きさがj1,j2、角運動量の第3成分がそれぞれm1,m2である2つの部分系の直積
    |j1,m1|j2,m2    (m1=j1,j11,,j11,j1,  m2=j2,j21,,j21,j2)
    からなる全体系Sを考える。本記事ではj1,j2は与えられた定数とする。

  • j^1,j^2をそれぞれの部分系の角運動量演算子、j^13,j^23をそれぞれの部分系の角運動量演算子の第3成分とすると
    j^12|j1,m1|j2,m2=j1(j1+1)|j1,m1|j2,m2,  j^13|j1,m1|j2,m2=m1|j1,m1|j2,m2,j^22|j1,m1|j2,m2=j2(j2+1)|j1,m1|j2,m2,  j^23|j1,m1|j2,m2=m2|j1,m1|j2,m2
    が成立する。また両系の角運動量演算子は可換、すなわち[j^1a,j^2b]=0とする。それぞれの系の上昇・下降演算子j^1±,j^2±
    j^1±:=j^11±ij^12,   j^2±:=j^21±ij^22
    で定義される。

  • 全体系Sの角運動量(全角運動量と呼ぶ)の大きさをj、その第3成分の値をmとする。この状態を
    |j,m
    で表す。全角運動量の演算子をj^とする。これと各部分系の角運動量演算子j^i (i=1,2)との関係は
    j^=j^1+j^2
    である。j^2,j^3,j^±の状態|j,mに対する作用は部分系のそれと同様である。

|a,bと書いたらaが角運動量の大きさ、bが角運動量の第3成分の値です。よって例えば|j,jと書いたら2つめのjは角運動量の第3成分のことですのでご注意ください。

以上の前提のもと、本記事では次の問題を考えます:

角運動量の合成

全体系Sの角運動量の固有状態|j,mを、それを構成する粒子の角運動量固有状態の直積の重ね合わせにより
|j,m=j1,m1,j2,m2cj1,m1;j2,m2j,m|j1,m1|j2,m2
のように表す

以下cj1,m1;j2,m2j,mを構成する方法を考えます。この係数は「クレブシュ-ゴルダン係数 (Clebsch-Gordan coefficient)」と呼ばれます。ちなみに実際の系では動径の波動関数も存在しますが、ここでは無視します。

角運動量の合成の手続き

合成に関して具体的に述べていきます。

議論の概観

やることは単純で、

    可能な全角運動量の各々に対して最大のmの状態を構成し、mj^で落としていく (※全角運動量の大きい状態から順次行う)

これだけです。以下複雑そうに見える議論が続きますが実際はそうでもないです。複雑に見えるのは角運動量の固有状態の記法への慣れの問題があると思います。合成の具体例によりその手続きを理解し、記法に慣れるのがよいと思います。

最大のjの状態の構成

まず重要なのは以下の事実です

全体系Sにおける最大の角運動量の大きさj、かつそのjにおける最大の角運動量の第3成分の値m
j=j1+j2,   m=j1+j2
である。そしてそのような状態|j1+j2,j1+j2
(1)|j1+j2,j1+j2=|j1,j1|j2,j2
で与えられる

m=j1+j2であることはj^3|j,m=(j^1+j^2)|j1,j1|j2,j2を計算すればすぐにわかる。またこの状態にj^+=j1++j2+を作用させるとゼロになることもすぐにわかる。ところで この記事 の「角運動量の固有状態の表現」の【5】より、j^+を作用させてゼロになるj^2,j^3の同時固有状態(両演算子を同時対角化する状態)のj^2の固有値は、j^3の固有値がjのときj(j+1)である。ゆえに|j1,j1|j2,j2j^2に関する固有値は、j=j1+j2としてj(j+1)になる。以上でEq.(1)が証明された。

部分系のすべてのmが最大の状態が、全体系のj,mの最大の状態を与えるということです。これは直感的にも納得いくのではないかと思います。

この|j1+j2,j1+j2j^:=j^1+j^2を作用させます。するとjは変化せずmが1小さくなります。全体系および部分系の直積に対して以下が成立します

(2)j^|j,m=j(j+1)m(m1)|j,m1(3)j^1|j1,m1|j2,m2=j1(j1+1)m1(m11)|j1,m11|j2,m2(4)j^2|j1,m1|j2,m2=j2(j2+1)m2(m21)|j1,m1|j2,m21

Eq.(1)の両辺にj^=j^1+j^2を作用させれば
j|j1+j2,j1+j2=(j^1+j^2)|j1,j1|j2,j2 (j1+j2)(j1+j2+1)(j1+j2)(j1+j21)|j1+j2,j1+j21=j1(j1+1)j1(j11)|j1,j11|j2,j2+j2(j2+1)j2(j21)|j1,j1|j2,j21
を得ます。こうして|j1+j2,j1+j21を部分系1,2の状態を用いて表すことができました。

これを繰り返し、|j,m=|j1+j2,j1+j21,|j1+j2,j1+j22,,|j1+j2,(j1+j2)まで構成します。j=j1+j2の場合、m=(j1+j2)mのとりうる最小の値です。

以下
jmax:=j1+j2
とします。

jmaxより小さいjの状態の構成

次にjが1つ小さいj=jmax1の状態を構成します。この場合も重要なのは、j=jmax1におけるmの最も大きい状態
|j,m=|jmax1,jmax1
を部分系で表現することです。m=m1+m2なので、この状態はm1+m2=jmax1=j1+j21を満たすm1,m2の可能な組み合わせ
(m1,m2)=(j1,j21),(j11,j2)
の2つの基底の線形結合で表されます。よって
(5)|jmax1,jmax1=a|j1,j1|j2,j21+b|j1,j11|j2,j2

と表せます。これと同じmをもつすでに構成した状態|j1+j2,j1+j21はEq.(5)と同じ2つの基底の線形結合で表され、かつEq.(5)の状態と直交します。さらに状態の規格化条件があるためEq.(5)の状態に計2条件が課され、a,bを決定することができ、|jmax1,jmax1は一意的に定まります。

|jmax1,jmax1が決定すれば、やることはj=jmaxの場合と同じです。j^を用いて|jmax1,m,  m=jmax1,jmax2,,(jmax1)の計2(jmax1)+1コの状態を構成します。

これをj=jmax2,jmax3,に対して繰り返すことで全ての可能な|j,mを構成することができます。ただし2つ述べておくべきことがあります。

  1. 可能な最小の全角運動量の大きさは
    j=|j1j2|={jmax2j1   (j1<j2)jmax2j2   (j1>j2)
    である
  2. j=jmaxkj1<j2としてk=0,1,2,,2j1)における最大のmの状態である|jmaxk,jmaxkの構成法:
    |jmaxk,jmaxkk+1コの基底の線形結合で表される。これと同じ基底であらわされる(すなわちmが等しい)既に構成した状態
    |jmax,jmaxk, |jmax1,jmaxk,,|jmaxk+1,jmaxk
    |jmaxk,jmaxkが直交するという条件(kコの条件)、およびこれに規格化条件を加えたk+1コの条件から|jmaxjmaxkは一意的に定まる

1.は以下のようにしてわかります。ここではj1<j2とします。|j,mを構成する作業を繰り返し、j=jmax, jmax1,, jmax2j1(=j2j1)の状態まで構成したとします。このとき構成された全状態の数は
{2jmax+1}+{2(jmax1)+1}++{2(jmax2j1)+1}=k=02j1{2(jmaxk)+1}=(2j1+1)(2j2+1)
です。これは部分系の直積から作られる全状態の数と等しいです。よってこれ以上直交する状態は作れないため、j=jmax2j1=j2j1=|j1j2|が最小の全角運動量であることがわかります。もっと直感的に、部分系の状態をそれぞれj1j2の長さを持つ古典的ベクトルとみなせば、その方向が真逆の時合成したベクトルの長さが最小になり、このとき長さは|j1j2|になります。

2.は重要です。角運動量の合成の過程で非自明なのはこれだけ、と言ってもよいかもしれません。ちなみに|jmaxk,jmaxkmが違う状態とももちろん直交しますが、その場合状態を構成するすべての基底が直交するため、意味のある条件は導けません。

ここで説明したことを図にすると図1になります:

角運動量合成のフローチャート。!FORMULA[128][37918][0]の大きな状態から、また上から下に順次構成してゆく。マゼンタ色で書かれた状態は、それより左に存在する同じ!FORMULA[129][38011][0]の状態と直交する条件+規格化条件から定まる 角運動量合成のフローチャート。jの大きな状態から、また上から下に順次構成してゆく。マゼンタ色で書かれた状態は、それより左に存在する同じmの状態と直交する条件+規格化条件から定まる

まず左上の|jmax,jmax=|j1,j1|j2,j2jで落としていき|jmax,jmaxまで構成します。次にj=jmax1におけるマゼンタ色で書かれた状態を、同じmを持ち既に構成された状態(図において同じ行かつそれより左に存在する状態)との直交条件+規格化条件から構成します。これをj^で落とします。次にj=jmax2におけるマゼンタ色で書かれた状態を構成し,…,と繰り返し、j=jmax2j1(※j1<j2を仮定)まで構成したら終了です。青い数字は状態数であり、すべて足すと(2j1+1)(2j2+1)になります。

具体的な計算

ここでは
j1=1, j2=2
の場合に可能なすべての|j,mを構成します。

|3,m  (m=3,2,1,0,1,2,3)の構成

まず
|3,3=|1,1|2,2
j,m共に最大の状態です。両辺にj^を作用させれば、Eq.(2-4)を用いて 
左辺=3432|3,2=6|3,2右辺=(j1+j2)|1,1|2,2=2|1,0|2,2+2321|1,1|2,1=2|1,0|2,2+2|1,1|2,1
となります。よって
|3,2=16(2|1,0|2,2+2|1,1|2,1)(6)=13|1,0|2,2+23|1,1|2,1
を得ます。すぐにわかるように適切に規格化されています((1/3)2+(2/3)2=1)。

つぎに|3,1を構成します。Eq.(6)の両辺にjを作用させれば
左辺=3421|3,1=10|3,1右辺=(j1+j2)(13|1,0|2,2+23|1,1|2,1)=13{12|1,1|2,2+2321|1,0|2,1}+23{12|1,0|2,1+23|1,1|2,0}=23|1,1|2,2+43|1,0|2,1+2|1,1|2,0
となります。よって
|3,1=115|1,1|2,2+2215|1,0|2,1+25|1,1|2,0
を得ます。これも適切に規格化されています。

あとは同様に再帰的にj^を作用させ、Eq.(2-4)を用いて|3,0,,|3,3を構成します。結果を書くと以下のようになります:

  • |3,3=|1,1|2,2
  • |3,2=13|1,0|2,2+23|1,1|2,1
  • |3,1=115|1,1|2,2+2215|1,0|2,1+25|1,1|2,0
  • |3,0=15|1,1|2,1+35|1,0|2,0+15|1,1|2,1
  • |3,1=25|1,1|2,0+2215|1,0|2,1+115|1,1|2,2
  • |3,2=23|1,1|2,1+13|1,0|2,2
  • |3,3=|1,1|2,2

|2,m  (m=2,1,0,1,2)の構成

j=2において最大のmを持つ|2,2を構成します。
m=m1+m2なので、|2,2|1,0|2,2|1,1|2,1の2つの基底の線形結合で表されます:
|2,2=a|1,0|2,2+b|1,1|2,1
この状態は、同じmをもつ(そして同じ基底で記述される)j=3の状態である|3,2と直交します。これはすでに構成してあり、Eq.(6)で与えられます。この直交条件と規格化条件より
a+2b=0a2+b2=1
が課されます。ここではaを正の実数にとることにして
a=23,b=13
と定まります。これで|2,2が求まりました。

あとはやることはj=3の場合と同様です。jを再帰的に作用させ、Eq.(2-4)を用いて|2,mを求めます。計算すると以下のようになります:

  • |2,2=23|1,0|2,213|1,1|2,1
  • |2,1=13|1,1|2,2+16|1,0|2,112|1,1|2,0
  • |2,0=12|1,1|2,112|1,1|2,1
  • |2,1=12|1,1|2,016|1,0|2,113|1,1|2,2
  • |2,2=13|1,1|2,123|1,0|2,2

|1,m (m=1,0,1)の構成

j=1の状態を構成します。|j1j2|=1なので、これが最小のjです。

|1,1を求めます。この状態は
|1,1=a|1,1|2,2+b|1,0|2,1+c|1,1|2,0
のように3つの状態の線形結合で表されます。これは既に構成した
|3,1,|2,1
と直交します。この2条件と規格化条件の1条件、計3条件から3パラメータは決定されます。この条件を書き下すと
a2+b2+c2=1230a+430b+210c=013a+16b12c=0
となります。aが正の実数になるように係数を決めると、|1,1
|1,1=35|1,1|2,2310|1,0|2,1+110|1,1|2,0
となります。

あとはやることはj=3,2の場合と同様です。実行すれば

|1,1=35|1,1|2,2310|1,0|2,1+110|1,1|2,0
|1,0=310|1,1|2,125|1,0|2,0+310|1,1|2,1
|1,1=110|1,1|2,0310|1,0|2,1+35|1,1|2,2

を得ます。

これで全状態が構成されました。実際ここまで計15コの状態を構成しましたが、これは|1,m1, |2,m2の基底の組み合わせの数3×5=15と等しいです。

これらの計算が正しいことは WolframAlphaのClebsch-Gordan coefficient calculator WolframAlphaで確かめることができます。使い方はすぐに分かると思います。ただしj=2の状態に関しては本記事の結果にマイナスがかかったものが表示されます(脚注)。

余談ですが、|0,0が構成できないのは次のような理由からもわかります。もし|0,0が構成できたとすると、m=m1+m2より、この状態は
|1,1|2,1, |1,0|2,0, |1,1|2,1
の3つの基底の線形結合で書けるはずです。ところが|0,0|3,0,|2,0,|1,0の3つの状態と直交し、かつ規格化条件を満たさなければならないので、計4つの拘束条件を満たす必要があります。|0,0における線形結合の変数は3つしかないため、一般にこの拘束条件を満たすことはできません。

この議論は一般化できます。|jmax2j11,jmax2j11m=m1+m2の条件があるため、最大で2j1+1コの基底の線形結合で表されます。しかしながら、この状態が直交すべき、同じ基底から構成される状態は以下の2j1+1コ存在します:
|jmax,jmax2j11,|jmax1,jmax2j11,,|jmax2j1,jmax2j11
この直交条件で線形結合の係数が完全に決定されてしまうため、一般には規格化条件を満たせなくなります。

まとめ

本記事では量子力学における角運動量の合成に関して述べました。角運動量の合成とは、全体系の角運動量固有状態を、部分系の角運動量固有状態の直積の重ね合わせで書くことを指します。

合成の過程はそれほど難しくなく
「可能な全角運動量の各々に対して最大のmの状態を構成し、それをj^で落としていく(※全角運動量の大きい状態から順次行う)」
基本的にはこれだけです。各jにおいて最大のmの状態を作るのだけがちょっと非自明ですが、これも難しくはなく、それより大きなjで同じmを持つ既に構成した状態と直交する条件、および規格化条件から定まります。慣れてしまえば大したことはないと思います。

ここで得られたクレブシュ-ゴルダン係数はすべて実数でした。一般にこれらの係数は実数にとることができることを指摘しておきます。

以下は完全に余談なのですが、合成に限らず量子力学の角運動量に関する勘どころを書き留めておきたいと思います:

  • 慣れないと表記の意味がわかりにくいので気をつけてください。状態の量子数はケットの中の変数の位置により区別されます。例えばjは必ずしも角運動量の大きさとは限りません。本文でも注意しましたが、|j,jと書いたら角運動量の大きさがj、角運動量の第3成分もjの意味です。
  • j^2に関する|j,mの固有値はj(j+1)でした。それなら|j(j+1),mと書けばいいのに!と思うかもしれません。それでもよいとは思います。ただj^2は角運動量の2乗の固有値なのでmが表す物理量の値(角運動量の第3成分)と「次元」が違います。またmの取りうる値はjからjまでというようにjでバウンドされるので、jを「角運動量の大きさ」と解釈し、jmを並べて|j,mのように記すとよいのだと思います。
  • 部分系の角運動量の大きさj1,j2は与えられた定数です。このとき可能なjj1+j2,j1+j21,,|j1j2|です。さらにあるjの値が与えられたとき、mm=j,j1,,(j1),jを取り得ます。この定数・変数の「ヒエラルキー」を心に留めてください。
  • j1,j2は定数で変化しないため|j1,m1|j2,m2j1,j2を省略して|m1,m2のように表すこともあります。また|j,m|j,m)のように表すこともあります。表記法は様々ですので確認が必要です。

おしまい。

【脚注】本記事の位相の選び方は、教科書Schiffが採用している
j1,j1|j2,Jj1||J,J は実数かつ正
と整合的です。この式に現れる双対な(=ブラの)基底は
j1,m1|j2,m2|
を意味します。

Appendix: jによる状態の変化

j=jmaxにおいて、|jmax,jmaxjを作用させmの異なる状態を作っても、|jmax,jmaxj+を作用させmの異なる状態を作っても同じであろうことは直感的にわかると思います。ここでは|jmax,jmaxjを順次作用させたとき、同じmに属する状態がどのように変化するかを見ることで、"top-down"と"bottom-up"の対称性を確認します。

mを下げて行く時に生じる状態の変化を描いたものが図1です。ここではj1<j2とします。

!FORMULA[270][-1865647699][0]における!FORMULA[271][1987042304][0]の構成の図 j=jmaxにおける|jmax,mの構成の図

一番上の行から見ていきます。(m1,m2)=(j1,j2)、すなわち|jmax,jmax=|j1,j1|j2,j2の状態にj=j1+j2を作用させると、(m1,m2)=(j11,j2),(j1,j21)の状態が生じます。これが上から2行目の状況です。右下の矢印に向かうとj2がひとつ下がり、左下の矢印に向かうとj1がひとつ下がります。これらが線形結合された状態が2行目であり、これが|jmax,jmax1に対応します(※正確には規格化する必要がある)。これに更にjが作用すれば3行目の状態を得ます。しばらくの間状態を構成する基底の数は1づつ増えます。

2j1jが作用し、m=jmax2j1になると状況が変わります。ここに至るとm1が最小となります。これ以上m1は下がらないため、右下に進むしかなくなります。一方で右端の状態|j1,j22j1j1<j2だからまだ右下に下がることができます。よって図のようにしばらく基底の数が一定(=2j1+1)の状況が続きます。

m=jmax2j2になるとまた状況が変わります。このmにおいて右端の状態のm2m2=j22j2=j2であるから、これ以上右下には下がれなくなり、左下にしか下がれなくなります。そのため基底の数はここから1つづつ減ります。そして最後(j12j1,j22j2)=(j1,j2)に至り、これ以上下がることはできなくなります。

図2はj=jmax=j1+j2の場合ですが、j=jmaxkk=0,1,2,,2j1)なら、上からk+1番目の行から始まってjで落としていくことになります(※重ね合わせの係数はjごとに異なります)。

この図より、mの最も大きい状態からjで落としていくのと、mが最も小さい状態からj+で上げていくことに対称性があることが確認できます。

参考文献

[1]
猪木 慶治, 川合 光, 量子力学 I, 講談社サイエンティフィック, 1994
[4]
Leonard I. Schiff, 新板 量子力学 (上), 物理学叢書, 吉岡書店, 1970, 250
投稿日:2024614
更新日:2024615
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

bisaitama
bisaitama
142
64788

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 量子力学における全角運動量と構成粒子の角運動量の関係
  2. 状況の設定
  3. 角運動量の合成の手続き
  4. 議論の概観
  5. 最大の$j$の状態の構成
  6. $j_\text{max}$より小さい$j$の状態の構成
  7. 具体的な計算
  8. $|3,m\rrangle \ \ (m=3,2,1,0,-1,-2,-3)$の構成
  9. $|2,m\rrangle \ \ (m=2,1,0,-1,-2)$の構成
  10. $|1,m\rrangle \ (m=1,0,-1)$の構成
  11. まとめ
  12. Appendix: $j^-$による状態の変化
  13. 参考文献