物理を解説 ♪
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン

2l+1次元表現

SO(3)の交換関係を満たすあらゆる行列を探そう。
作成:2015/12/25

今回の目的

前回の話の続きである.3 次元回転群を調べると次のような交換関係を満たす行列が出てくるのだった. 数式 このような交換関係を満たす行列にはどんなものがあるかを探すのが今回のテーマである.前回は 3 次の行列を前提にして考えたが,今回は行列の次数にはこだわらず,全ての可能性を網羅したい.

具体的な行列のイメージを一つでも見せてから話したいところだが,それをやってしまうと,あたかもそのような行列を仮定して話しているかのようになってしまうので都合が悪い.そのような仮定を持ち込まずに全てが徐々に導かれるというのが今回の話の肝なのである.それで初めはわざと抽象的に,何も知らないふりをして議論を進めることにする.最後の方で具体的なイメージがどんなものかを説明するので,それを見てからもう一度読み直すと何をやっていたのかが分かるようになるだろう.


準備のための定義

まず最初の準備として,行列J_zの固有値をmで表すことにする.そしてその時の固有ベクトルを|m>}で表すことにしよう.次のような関係になっているということである. 数式 固有値は一つではないだろうし,それらがどんな値であるかも今はまだ分からない.ベクトル|m>}は定数倍しても固有ベクトルであることには変わりないが,ここでは特に,規格化されているものを考えよう.つまり,|m>}というのはベクトルの大きさが 1 になるように調整済みのものだとする.いや,この言い方は正確ではない.このベクトルの成分は複素数も許されているから「大きさ」とは呼べないのだ.自分自身の複素共役を取って内積を取ることで,ベクトルの大きさに似たイメージの概念を計算しよう.それの平方根は「ノルム」と呼ばれていて,それが 1 であるように調整しておく.その結果,次のような関係が成り立っている. 数式 <m|}というのはベクトル|m>}のエルミート共役,すなわち複素共役を取って転置したものだという意味であり,|m>}が列ベクトルだとしたら<m|}は行ベクトルである.それらを掛け合わせた<m|m>というのは内積の意味になっているわけだ.

次に,J_x,J_y,J_zを組み合わせて,幾つかの行列を新たに定義しておくことにしよう.まず,ひとつ目は 数式 というものだ.これは量子力学で言えば角運動量ベクトルの大きさの 2 乗を表すイメージのものである.この右辺で使っている{J_z}^2などはJ_zという行列を 2 つ掛け合わせることを意味しているが,左辺のJ^2はそれ全体で一つの行列を意味していて,Jという行列を 2 つ掛け合わせたような意味ではない.

(1) 式の交換関係では右辺が 0 ではないので,J_x,J_y,J_zにはそれぞれ共通の固有ベクトルというものはない.しかし,このJ^2に関しては 数式 という交換関係になっているので,J_zの固有ベクトル|m>}は同時にJ^2の固有ベクトルにもなり得る.|m>}J^2を掛けたとき,その固有値λはまだこの時点では不明だが, 数式 という形になっているということだ.

なぜそんなことが言えるのかを簡単に説明しておこう.(2) 式はすなわち,J^2 J_z -J_z J^2 =0であって,移項すればJ^2 J_z = J_z J^2である.つまり,2 つの行列の順序を変えても結果が同じ.順序を交換しても良いという意味だ.行列の順序を交換できるとなぜ同時に同じベクトルが双方にとっての固有ベクトルになり得るのだろう例えば行列ABが交換可能でAB=BAであるとき,Ax=axが成り立っているところに左からBを掛けてやると左辺はBAxとなるわけだが,これはA(Bx)と書き換えても成り立つわけで,一方右辺はB(ax)であるが,aは定数なのでa(Bx)となり,結局A(Bx)=a(Bx)が成り立つ.それで,xというのはAaに属する固有ベクトルであったが,BxというのもまたAaに属する固有ベクトルであると言える.もしAの固有値が全て異なった値であれば,xBxはどちらも固有値が同じことから実質的に同じベクトルであると言えて,何らかの定数倍しか違わないことになる.これを式で書けばBx=bxであり,xBの固有ベクトルでもあると言えるわけだ.

(2) 式が成り立つことを証明するのは多少面倒であるが,(1) 式を使って順序を変えていけば何とかなる.しかし自分はこういうことが大の苦手だったから,そういう人のためにちゃんと書いておこう.だいたい次のような手順を踏めばいい. 数式 J_x,J_y,J_zは対等なので,J_xJ_yJ^2と交換可能であることが同様に確かめられる. 数式 これはJ_xJ_yの固有ベクトルも,同時にJ^2の固有ベクトルになり得るという意味だ.しかしJ^2の固有ベクトルだからといって同時に全ての行列の固有ベクトルになるとは言えない.なぜなら,J^2の固有値は複数の固有ベクトルに対して同じ値を取ることが後で分かるので,先ほどの説明が一部当てはまらないのである.

さらに 2 つの行列を定義しよう. 数式 これらは面白い性質を示すので,それを利用して具体的な行列の形を容易に特定することができる.これらが特定できれば,この式を逆に解くことで, 数式 のようにしてJ_xJ_yの具体的な形を決めることが出来るという目論見である.

これらを使って次のような交換関係を導くことができる. 数式 これらを確かめるのは全く難しくはないのでお任せしよう.やってみようという気を起こすだけでほとんど解決だ.

この他に,次のような関係も後で使う. 数式 これらも,やり始めてみれば迷わずに導けるだろう.

また,J_{+}J_{-}はどちらもJ^2と交換可能である. 数式 J_{+}J_{-}J_xJ_yから出来ていて,それらはJ^2と交換可能であったのだから,簡単に確かめられると思う.


存在し得る固有ベクトルを探る

ではいよいよ本題に入ろう.(6) 式を変形すると, 数式 と書ける.この両辺を|m>}に掛けると, 数式 となる.要するに, 数式 というわけで,|m>}J_{+}を掛けて作ったJ_{+}|m>}というのはもはや|m>}とは違った方向を向いた別のベクトルに変わってしまっているのだが,それにJ_zを掛けてもm+1倍の変化があるだけなので,J_zの固有関数であるのだろう.m+1が飛び出してくるのだから,J_{+}|m>}の正体は|m+1>}と書けるようなベクトルと同じ向きを持ったベクトルに違いない.向きは同じでも大きさがどう変わったかまでは分からないのだから,未知の定数μを使って次のように表すことにしよう. 数式 つまり,J_{+}というのは,|m>}|m+1>}に変える働きを持った行列なのである.

(7) 式を使って同様のことをすれば, 数式 という式も導ける.つまり,J_{-}というのは|m>}|m-1>}に変える働きを持った行列だということが分かる.νも未知の定数である.

ここで疑問が生じる.こうやってJ_{+}ばかりどんどん掛けていけば,|m>}mの値はどんどん増えて,無数の固有ベクトルが得られることになるのだろうかいや,無限次元のベクトル空間を考えない限りそんなことはないだろう.mの上限や下限に何らかの制限が課せられるべきである.

固有値が上限に達したベクトルを|m_{\rm{max}}>},下限に達したベクトルを|m_{\rm{min}}>}としたとき, 数式 という関係を課して,理論的におかしなベクトルがそれ以上現れるのを防いでやろう.

ここで (12) 式の両辺にJ_{-}を掛けてやれば,(8) 式が使えて, 数式 となる.つまり, 数式 であることが分かる.同様に,(13) 式の両辺にJ_{+}を掛けてやって (9) 式を使えば, 数式 という関係が得られる.ここでJ^2|m_{\rm{max}}>}に掛けた時も|m_{\rm{min}}>}に掛けた時もどちらも固有値としてλを使っており,同じ値になるなんてことがあるだろうかと思うかも知れないが,同じなのである.その理由を先に説明してしまおう.

J_{+}J^2は交換可能であった.だから, 数式 と計算してやれるし,これと同じところからスタートして 数式 としてやることもできる.どちらも同じなのだから結果どうしを等号でつないで, 数式 となっており,J_{+}を掛けた結果として|m+1>}に変わっても,それは再びJ^2の固有ベクトルとなっており,その固有値さえ前のままだということが分かる.これはJ_{-}についても言える.

このようなわけで (14) 式のλと (15) 式のλは同じ値だと考えることができる.(15) 式から (14) 式を引いてやると, 数式 という式が導けるが,m_{\rm{max}}>m_{\rm{min}}であることから,後の方のカッコ内は決して 0 にはなれない.よって, 数式 であることが導かれる.さあ,これで状況がかなり見えてきた.mの上限と下限が 0 を挟んで対称な位置にあり,しかもmの値が 1 ずつ変化したところに固有ベクトルが存在しているというのである.

分かりやすいように今後はmの上限をl,下限を-lと書き直すことにしよう.m_{\rm{max}}m_{\rm{min}}などという見た目の面倒な表記とはおさらばだ.lの取りうる値は具体的には 数式 という感じになるのだろう.(14) 式や (15) 式をこのlで書き換えると,どちらも 数式 となり,ここから, 数式 であることが分かる.λが最初に出てきたのは (3) 式だったが,つまり,今や次のように書けることになる. 数式 他に未知のままだった定数はμνである.μは (10) 式で出てきたが,さかのぼって見直すのが面倒なのでもう一度ここに書いておこう. 数式 この式の両辺について,自身との内積を計算すればμの条件が求められる.エルミート共役(複素共役をとって転置すること)をとって掛け合わせればいいわけだ.なぜ前にそれをやらなかったのかは今に分かる.J_{+}のエルミート共役はJ_{-}なので,次のようになる. 数式 左辺のJ_{-}J_{+}の部分は (8) 式を使って変形できる.左辺だけ変形しよう. 数式 つまり,まとめれば 数式 であり,μは複素数の範囲の値まで取ることを許されているので 数式 のように,絶対値が 1 のe^{iδ}という,位相の任意性を残した形で表されることになる.

νについても (11) 式について同じことをすればいい.途中で (9) 式を使い,次のような結果を得る. 数式 任意の位相部分がe^{iδ}ではなくe^{-iδ}としてあるが,これはJ_{+}J_{-}がエルミート共役の関係になっていることから,このように決めておく必要がある.それは実際に具体的な行列を作ってみたら簡単に納得が行くかも知れない.

物理学ではこのe^{iδ}の部分を 1 としておく.そうした方が行列が単純になるからだ.この位相を変えてもJ_{+}J_{-}を掛けて作られるベクトルの位相が変わるだけであり,量子力学では絶対値の 2 乗を確率とみなすので影響が出ない.


まとめ

長々とやってきたが,結論として大事なのは次の 2 つの式である. 数式 ベクトル|m>}mの上限lを決めると下限は-lに決まり,mの値は上限値から 1 ずつ減った値が存在して下限値へ至る.


具体的な行列やベクトルの形

例えば上限ll=2と定めよう.固有値mの値は 2 から 2,1,0,-1,-2 の 5 つが存在し得る.ここで, 数式 という関係を最も単純に表そうと思ったら, 数式 としておけばいい.そうすれば 数式 というシンプルなベクトルがその状況を実現する.(16) 式のような状況を実現したければ,例えば|1>}に対してL_{+}を掛けた時に√(1・4) |2>}になるようにすればいいのだから行列の (1,2) 成分が√(1・4)であればいい,といった具合に考えて行けば, 数式 のように決められるし,(17) 式を実現したければ次のように決められる. 数式 ここから (4) 式や (5) 式を使って 数式 , 数式 が得られる.lの値を定めると2l+1次の行列で表せるので,(2l+1) 次元表現」と呼ばれる.

こうして何次の行列であってもJ_x,J_y,J_zが導かれて,(1) 式の交換関係を満たすことになる.l=0の場合には 1 次の行列であって,行列というよりはただの数値で,J_x =J_y =J_z =0であるが,これも問題ない.e^{-iJ}に当てはめればe^0,すなわち1であり,単位元のみで構成される群を意味する.

ここで導いた形だけが存在し得るというわけではない.先ほど位相を無視したので他の表現方法のバリエーションもあるし,これらの行列を両側からユニタリ行列で挟んでやって,U^{-1}J_x Uなどとしてやったものどうしも全て,(1) 式の交換関係を満たす.

このように表現の方法は何通りでもあるわけだが,取り得る固有値の値についてはしっかりと制限が加わるのである.


SU(2)との関係

ところで今回,SO(3) の話から出てきた交換関係を使ってあれこれ導いてきたわけだが,l=1/2も許されていて,その場合には SU(2) でやったのと同じ 2 次の行列が作れてしまう.ちょっとやってみよう.まず次のようなものを仮定し, 数式 そこから, 数式 というベクトルがあると言えるから,これに合うように 数式 というものが作れて, 数式 となる.SU(2) の解説のところで使った行列と比べると 1/2 が掛かっている点だけが違うが,これは固有値の値にそのまま影響が出るだけであって考える内容は少しも変わらない.そう言われると SU(2) のところで出て来た交換関係は (1) 式と本質的な違いはないように思える.次のような形だった. 数式 右辺に出ている 2 が余計な気がするが,行列を定数倍するだけで調整できる部分である.

SU(2) と SO(3) は実は同じ構造をしているのだろうかそれとも一方が他方を含む形になっているのだろうかその辺りをはっきりさせるため,これから色々と調べていくことにしよう.



趣味の物理学書店

趣味で量子力学2の広告バナー