ウィグナーのD行列

ウィグナーのテンプレート:Mvar行列（ウィグナーのDぎょうれつ、テンプレート:Lang-en-short）は、SU(2)およびテンプレート:仮リンクの既約表現におけるユニタリ行列である。テンプレート:Mvar行列の複素共役は球対称なテンプレート:仮リンクのハミルトニアンの固有関数である。1927年にユージン・ウィグナーにより導入された。テンプレート:Mvarは「表現、表示」を意味するテンプレート:Lang-deの頭文字からとられている。

定義

テンプレート:MathをSU(2)およびSO(3)のリー代数の生成子とする。量子力学において、これらの3つの演算子は角運動量演算子のベクトル成分である。たとえば、原子内における電子の軌道角運動量、電子のスピン角運動量、剛体回転子の角運動量として現われる。

これら全ての場合において、上の3演算子は次の交換関係を満たす。

$[J_x,J_y]=i{J}_z,[J_z,J_x]=i{J}_y,[J_y,J_z]=i{J}_x$

ここで、テンプレート:Mvarは虚数単位であり、ディラック定数テンプレート:Mvarは1とした。テンプレート:仮リンク

$J^2=J_x^2+J_y^2+J_z^2$

はこれらすべてのリー代数生成子と交換する。したがって、テンプレート:Mvarと同時に対角化することができる。

ここから球面基底、すなわち次を満たすケットからなる完全系を定義することができる。

$J^2|jm⟩=j(j+1)|jm⟩,J_z|jm⟩=m|jm⟩$

ここで、SU(2)の場合 テンプレート:Math、SO(3) の場合テンプレート:Mathであり、どちらの場合でも テンプレート:Mathである。

3次元回転演算子を以下のように書くこととする。

$ℛ(\alpha ,\beta ,\gamma )=e^{-i\alpha J_z}{e}^{-i\beta J_y}{e}^{-i\gamma J_z}$

ここで、 テンプレート:Mathはオイラー角である（zyz規約、右手系、右ねじの法則、active interpretationテンプレート:訳語疑問点を採用する）。

ウィグナーのテンプレート:Mvar行列はこの球面基底上で回転演算子を表現するテンプレート:Math次元ユニタリ正方行列であり、以下の行列要素を持つ。

$D_{m^{\prime }m}^j(\alpha ,\beta ,\gamma )\equiv ⟨j{m}^{\prime }|ℛ(\alpha ,\beta ,\gamma )|jm⟩=e^{-i{m}^{\prime }\alpha }{d}_{m^{\prime }m}^j(\beta )e^{-im\gamma }$

ここで、

$d_{m^{\prime }m}^j(\beta )=⟨j{m}^{\prime }|e^{-i\beta J_y}|jm⟩=D_{m^{\prime }m}^j(0,\beta ,0)$

はウィグナーの（小文字）テンプレート:Mvar行列の行列要素である。

したがって、この基底では

$D_{m^{\prime }m}^j(\alpha ,0,0)=e^{-i{m}^{\prime }\alpha }{\delta }_{m^{\prime }m}$

は対角行列で、テンプレート:Mvar要素についても同様だが、テンプレート:Mvar要素については対角行列でない。

ウィグナーの（小文字）テンプレート:Mvar行列

ウィグナーは次の式を与えた。

$d_{m^{\prime }m}^j(\beta )=[(j+m^{\prime })!(j-m^{\prime })!(j+m)!(j-m)!{]}^{\frac{1}{2}}\sum _{s=s_{\mathrm{m}\mathrm{i}\mathrm{n}}}^{s_{\mathrm{m}\mathrm{a}\mathrm{x}}}\left[\frac{(-1{)}^{m^{\prime }-m+s}{(\cos \frac{\beta }{2})}^{2j+m-m^{\prime }-2s}{(\sin \frac{\beta }{2})}^{m^{\prime }-m+2s}}{(j+m-s)!s!(m^{\prime }-m+s)!(j-m^{\prime }-s)!}\right]$

テンプレート:Mvarは、分母の階乗が非負になるような範囲、すなわち $s_{\mathrm{m}\mathrm{i}\mathrm{n}}=\mathrm{m}\mathrm{a}\mathrm{x}(0,m-m^{\prime })$ から $s_{\mathrm{m}\mathrm{a}\mathrm{x}}=\mathrm{m}\mathrm{i}\mathrm{n}(j+m,j-m^{\prime })$ までの総和をとる。

注：ここで定義されるテンプレート:Mvar行列の行列要素は実数である。よく使われるz-x-z規約のオイラー角では、上式における係数$(-1{)}^{m^{\prime }-m+s}$は$(-1{)}^s{i}^{m-m^{\prime }}$と置き換わり、半数が純虚数となる。テンプレート:Mvar行列の要素の実数性は量子力学的応用上好ましく、ここでz-y-z規約を採用した理由の一つである。

テンプレート:Mvar行列の要素はテンプレート:Mathを非負としてテンプレート:仮リンク$P_k^{(a,b)}(\cos \beta )$と関連づけることができる。

$k=\min (j+m,j-m,j+m^{\prime },j-m^{\prime })$

とし、

$k=\{\begin{array}{cc}j+m:& a=m^{\prime }-m;\lambda =m^{\prime }-m\\ j-m:& a=m-m^{\prime };\lambda =0\\ j+m^{\prime }:& a=m-m^{\prime };\lambda =0\\ j-m^{\prime }:& a=m^{\prime }-m;\lambda =m^{\prime }-m\end{array}$

$b=2j-2k-a$かつ$a,b\ge 0$とすると、次の式がなりたつ。

$d_{m^{\prime }m}^j(\beta )=(-1{)}^{\lambda }{(\genfrac{}{}{0ex}{}{2j-k}{k+a})}^{\frac{1}{2}}{(\genfrac{}{}{0ex}{}{k+b}{b})}^{-\frac{1}{2}}{(\sin \frac{\beta }{2})}^a{(\cos \frac{\beta }{2})}^b{P}_k^{(a,b)}(\cos \beta )$

ウィグナーのテンプレート:Mvar行列の性質

テンプレート:Mvar行列の複素共役が満たすさまざまな性質を簡潔にあらわすため、次の演算子$(x,y,z)=(1,2,3)$を導入する。

$\begin{array}{cc}{\widehat{𝒥}}_1& =i(\cos \alpha \cot \beta \frac{\partial }{\partial \alpha }+\sin \alpha \frac{\partial }{\partial \beta }-\frac{\cos \alpha }{\sin \beta }\frac{\partial }{\partial \gamma })\\ {\widehat{𝒥}}_2& =i(\sin \alpha \cot \beta \frac{\partial }{\partial \alpha }-\cos \alpha \frac{\partial }{\partial \beta }-\frac{\sin \alpha }{\sin \beta }\frac{\partial }{\partial \gamma })\\ {\widehat{𝒥}}_3& =-i\frac{\partial }{\partial \alpha }\end{array}$

これらは量子力学的には空間に固定した剛体回転子の角運動量演算子を意味する。

さらに、次のような演算子を定義する。

$\begin{array}{cc}{\widehat{𝒫}}_1& =i(\frac{\cos \gamma }{\sin \beta }\frac{\partial }{\partial \alpha }-\sin \gamma \frac{\partial }{\partial \beta }-\cot \beta \cos \gamma \frac{\partial }{\partial \gamma })\\ {\widehat{𝒫}}_2& =i(-\frac{\sin \gamma }{\sin \beta }\frac{\partial }{\partial \alpha }-\cos \gamma \frac{\partial }{\partial \beta }+\cot \beta \sin \gamma \frac{\partial }{\partial \gamma })\\ {\widehat{𝒫}}_3& =-i\frac{\partial }{\partial \gamma }\end{array}$

これは量子力学的には物体に固定した剛体回転子の角運動量演算子を意味する。

これらの演算子は次の交換関係および巡回的に添字を入れ換えた相当する交換関係を満たす。

$[{𝒥}_1,{𝒥}_2]=i{𝒥}_3,[{𝒫}_1,{𝒫}_2]=-i{𝒫}_3$

${𝒫}_i$ は anomalous commutation relationsテンプレート:訳語疑問点（右辺にマイナス符号がつく）を満たしている。

これら二つの組は相互に交換する。

$[{𝒫}_i,{𝒥}_j]=0,i,j=1,2,3,$

また、それぞれの二乗和は一致する。

${𝒥}^2\equiv {𝒥}_1^2+{𝒥}_2^2+{𝒥}_3^2={𝒫}^2\equiv {𝒫}_1^2+{𝒫}_2^2+{𝒫}_3^2$

これを陽に書き下すと以下のようになる。

${𝒥}^2={𝒫}^2=-\frac{1}{{\sin }^2\beta }(\frac{{\partial }^2}{\partial {\alpha }^2}+\frac{{\partial }^2}{\partial {\gamma }^2}-2\cos \beta \frac{{\partial }^2}{\partial \alpha \partial \gamma })-\frac{{\partial }^2}{\partial {\beta }^2}-\cot \beta \frac{\partial }{\partial \beta }$

演算子 ${𝒥}_i$ はテンプレート:Mvar行列の最初の添字（行）に作用する。

$\begin{array}{cc}{𝒥}_3{D}_{m^{\prime }m}^j(\alpha ,\beta ,\gamma {)}^{*}& =m^{\prime }{D}_{m^{\prime }m}^j(\alpha ,\beta ,\gamma {)}^{*}\\ ({𝒥}_1\pm i{𝒥}_2)D_{m^{\prime }m}^j(\alpha ,\beta ,\gamma {)}^{*}& =\sqrt{j(j+1)-m^{\prime }(m^{\prime }\pm 1)}{D}_{m^{\prime }\pm 1,m}^j(\alpha ,\beta ,\gamma {)}^{*}\end{array}$

演算子${𝒫}_i$ は行列の2番目の添字（列）に作用する。

${𝒫}_3{D}_{m^{\prime }m}^j(\alpha ,\beta ,\gamma {)}^{*}=m{D}_{m^{\prime }m}^j(\alpha ,\beta ,\gamma {)}^{*}$

また、${𝒫}_i$の満たすanomalous commutation relationのため、昇降演算子は次のように通常とは符号を反転させたかたちで定義される。

$({𝒫}_1\mp i{𝒫}_2)D_{m^{\prime }m}^j(\alpha ,\beta ,\gamma {)}^{*}=\sqrt{j(j+1)-m(m\pm 1)}{D}_{m^{\prime },m\pm 1}^j(\alpha ,\beta ,\gamma {)}^{*}$

さらに、以下がなりたつ。

${𝒥}^2{D}_{m^{\prime }m}^j(\alpha ,\beta ,\gamma {)}^{*}={𝒫}^2{D}_{m^{\prime }m}^j(\alpha ,\beta ,\gamma {)}^{*}=j(j+1)D_{m^{\prime }m}^j(\alpha ,\beta ,\gamma {)}^{*}$

したがって、ウィグナーのテンプレート:Mvar行列（の複素共役）の行と列は$\{{𝒥}_i\}$および$\{-{𝒫}_i\}$が生成する同型リー代数の既約表現を張る。

$ℛ(\alpha ,\beta ,\gamma )$と時間反転演算子との交換関係から帰結する、ウィグナーのテンプレート:Mvar行列の重要な性質として、以下がなりたつ。

$⟨j{m}^{\prime }|ℛ(\alpha ,\beta ,\gamma )|jm⟩=⟨j{m}^{\prime }|T^{†}ℛ(\alpha ,\beta ,\gamma )T|jm⟩=(-1{)}^{m^{\prime }-m}⟨j,-m^{\prime }|ℛ(\alpha ,\beta ,\gamma )|j,-m{⟩}^{*}$

もしくは

$D_{m^{\prime }m}^j(\alpha ,\beta ,\gamma )=(-1{)}^{m^{\prime }-m}{D}_{-m^{\prime },-m}^j(\alpha ,\beta ,\gamma {)}^{*}$

ここで、テンプレート:Mvarがテンプレート:仮リンクであること（したがってテンプレート:Mathをケットからブラに移す際に複素共役が出る）、$T|jm⟩=(-1{)}^{j-m}|j,-m⟩$、$(-1{)}^{2j-m^{\prime }-m}=(-1{)}^{m^{\prime }-m}$を用いた。

さらに、対称性から以下がいえる。

$(-1{)}^{m^{\prime }-m}{D}_{m{m}^{\prime }}^j(\alpha ,\beta ,\gamma )=D_{m^{\prime }m}^j(\gamma ,\beta ,\alpha )$

直交関係

ウィグナーのテンプレート:Mvar行列の要素$D_{mk}^j(\alpha ,\beta ,\gamma )$は、オイラー角テンプレート:Mathの直交関数群を成す。

$\underset{0}{\overset{2\pi }{\int }}d\alpha \underset{0}{\overset{\pi }{\int }}d\beta \sin \beta \underset{0}{\overset{2\pi }{\int }}d\gamma D_{m^{\prime }{k}^{\prime }}^{j^{\prime }}(\alpha ,\beta ,\gamma {)}^{\ast }{D}_{mk}^j(\alpha ,\beta ,\gamma )=\frac{8{\pi }^2}{2j+1}{\delta }_{m^{\prime }m}{\delta }_{k^{\prime }k}{\delta }_{j^{\prime }j}$

これはシューアの直交関係の特殊例である。

テンプレート:仮リンクにより、これらは完全系を成すことが重要である。

$D_{mk}^j(\alpha ,\beta ,\gamma )$がある球面基底$|lm⟩$を別の球面基底$ℛ(\alpha ,\beta ,\gamma )|lm⟩$に移すユニタリ変換であることをあらわす、次の関係式が成り立つ。

$\sum _k{D}_{m^{\prime }k}^j(\alpha ,\beta ,\gamma {)}^{*}{D}_{mk}^j(\alpha ,\beta ,\gamma )={\delta }_{m,m^{\prime }},$

$\sum _k{D}_{k{m}^{\prime }}^j(\alpha ,\beta ,\gamma {)}^{*}{D}_{km}^j(\alpha ,\beta ,\gamma )={\delta }_{m,m^{\prime }}$

SU(2)の指標は回転角テンプレート:Mvarのみに依存する類関数であることから、回転軸に依存せず次式がなりたつ。

${\chi }^j(\beta )\equiv \sum _m{D}_{mm}^j(\beta )=\sum _m{d}_{mm}^j(\beta )=\frac{\sin \left(\frac{(2j+1)\beta }{2}\right)}{\sin \left(\frac{\beta }{2}\right)}$

このため、群のハール測度を通じてより単純な以下の直交関係がなりたつ。

$\frac{1}{\pi }\underset{0}{\overset{2\pi }{\int }}d\beta {\sin }^2\left(\frac{\beta }{2}\right){\chi }^j(\beta ){\chi }^{j^{\prime }}(\beta )={\delta }_{j^{\prime }j}$

また、以下の完全性関係式もなりたつ。

$\sum _j{\chi }^j(\beta ){\chi }^j({\beta }^{\prime })=\delta (\beta -{\beta }^{\prime })$

したがって、テンプレート:Math のとき以下がなりたつ。

$\sum _j{\chi }^j(\beta )(2j+1)=\delta (\beta )$

ウィグナーのテンプレート:Mvar行列のクロネッカー積とクレブシュ–ゴルダン係数

クロネッカー積行列の集合、

${𝐃}^j(\alpha ,\beta ,\gamma )\otimes {𝐃}^{j^{\prime }}(\alpha ,\beta ,\gamma )$

はSO(3)群およびSU(2)群の可約行列表現を与える。既約成分への簡約化は以下の式により行われる。

$D_{mk}^j(\alpha ,\beta ,\gamma )D_{m^{\prime }{k}^{\prime }}^{j^{\prime }}(\alpha ,\beta ,\gamma )=\sum _{J=|j-j^{\prime }|}^{j+j^{\prime }}⟨jm{j}^{\prime }{m}^{\prime }|J(m+m^{\prime })⟩⟨jk{j}^{\prime }{k}^{\prime }|J(k+k^{\prime })⟩D_{(m+m^{\prime })(k+k^{\prime })}^J(\alpha ,\beta ,\gamma )$

記号$⟨j_1{m}_1{j}_2{m}_2|j_3{m}_3⟩$はクレブシュ–ゴルダン係数である。

球面調和関数およびルジャンドル多項式との関係

整数テンプレート:Mvarに対し、テンプレート:Mvar行列の2番目の添字を0とした要素は、コンドン–ショートレーの位相則を用い、正規化された球面調和関数およびルジャンドル陪多項式に比例する。

$D_{m0}^{\ell }(\alpha ,\beta ,\gamma )=\sqrt{\frac{4\pi }{2\ell +1}}{Y}_{\ell }^{m*}(\beta ,\alpha )=\sqrt{\frac{(\ell -m)!}{(\ell +m)!}}{P}_{\ell }^m(\cos \beta )e^{-im\alpha }$

したがって、テンプレート:Mvar行列について以下の関係式がなりたつ。

$d_{m0}^{\ell }(\beta )=\sqrt{\frac{(\ell -m)!}{(\ell +m)!}}{P}_{\ell }^m(\cos \beta )$

このため、球面調和関数の回転 $⟨\theta ,\varphi |\ell m^{\prime }⟩$ は実質二つの回転の合成となる。

$\sum _{m^{\prime }=-\ell }^{\ell }{Y}_{\ell }^{m^{\prime }}(\theta ,\varphi )D_{m^{\prime }m}^{\ell }(\alpha ,\beta ,\gamma )$

両方の添字をゼロとしたとき、ウィグナーのテンプレート:Mvar行列の要素はルジャンドル多項式となる。

$D_{0,0}^{\ell }(\alpha ,\beta ,\gamma )=d_{0,0}^{\ell }(\beta )=P_{\ell }(\cos \beta )$

本項で用いたオイラー角の規約では、テンプレート:Mvarはlongitudinal angleテンプレート:訳語疑問点、テンプレート:Mvarはcolatitudinal angleテンプレート:訳語疑問点（球面極座標系における極角）である。これが分子物理学においてz-y-z規約がよく用いられる理由の一つである。ウィグナーのテンプレート:Mvar行列の時間反転特性からただちに次がいえる。

${\left(Y_{\ell }^m\right)}^{*}=(-1{)}^m{Y}_{\ell }^{-m}$

テンプレート:仮リンクとの間には、より一般化された関係式がなりたつ。

$D_{ms}^{\ell }(\alpha ,\beta ,-\gamma )=(-1{)}^s\sqrt{\frac{4\pi }{2\ell +1}}{}_s{Y}_{\ell }^m(\beta ,\alpha )e^{is\gamma }$

ベッセル関数との関係

$\ell \gg m,m^{\prime }$なる極限の下では、以下がなりたつ。

$D_{m{m}^{\prime }}^{\ell }(\alpha ,\beta ,\gamma )\approx e^{-im\alpha -i{m}^{\prime }\gamma }{J}_{m-m^{\prime }}(\ell \beta )$

ここで、$J_{m-m^{\prime }}(\ell \beta )$はベッセル関数であり、 $\ell \beta$は有限とする。

テンプレート:Mvar行列の要素の一覧

ウィグナーらによる符号規約を用いると、テンプレート:Mathにおけるテンプレート:Mvar行列の要素$d_{m^{\prime }m}^j(\theta )$は以下のように与えられる。

テンプレート:Mathの場合、

$\begin{array}{cc}{d}_{\frac{1}{2},\frac{1}{2}}^{\frac{1}{2}}& =\cos \frac{\theta }{2}\\ d_{\frac{1}{2},-\frac{1}{2}}^{\frac{1}{2}}& =-\sin \frac{\theta }{2}\end{array}$

テンプレート:Mathの場合、

$\begin{array}{cc}{d}_{1,1}^1& =\frac{1}{2}(1+\cos \theta )\\ d_{1,0}^1& =-\frac{1}{\sqrt{2}}\sin \theta \\ d_{1,-1}^1& =\frac{1}{2}(1-\cos \theta )\\ d_{0,0}^1& =\cos \theta \end{array}$

テンプレート:Mathの場合、

$\begin{array}{cc}{d}_{\frac{3}{2},\frac{3}{2}}^{\frac{3}{2}}& =\frac{1}{2}(1+\cos \theta )\cos \frac{\theta }{2}\\ d_{\frac{3}{2},\frac{1}{2}}^{\frac{3}{2}}& =-\frac{\sqrt{3}}{2}(1+\cos \theta )\sin \frac{\theta }{2}\\ d_{\frac{3}{2},-\frac{1}{2}}^{\frac{3}{2}}& =\frac{\sqrt{3}}{2}(1-\cos \theta )\cos \frac{\theta }{2}\\ d_{\frac{3}{2},-\frac{3}{2}}^{\frac{3}{2}}& =-\frac{1}{2}(1-\cos \theta )\sin \frac{\theta }{2}\\ d_{\frac{1}{2},\frac{1}{2}}^{\frac{3}{2}}& =\frac{1}{2}(3\cos \theta -1)\cos \frac{\theta }{2}\\ d_{\frac{1}{2},-\frac{1}{2}}^{\frac{3}{2}}& =-\frac{1}{2}(3\cos \theta +1)\sin \frac{\theta }{2}\end{array}$

テンプレート:Mathの場合、

$\begin{array}{cc}{d}_{2,2}^2& =\frac{1}{4}{(1+\cos \theta )}^2\\ d_{2,1}^2& =-\frac{1}{2}\sin \theta (1+\cos \theta )\\ d_{2,0}^2& =\sqrt{\frac{3}{8}}{\sin }^2\theta \\ d_{2,-1}^2& =-\frac{1}{2}\sin \theta (1-\cos \theta )\\ d_{2,-2}^2& =\frac{1}{4}{(1-\cos \theta )}^2\\ d_{1,1}^2& =\frac{1}{2}(2{\cos }^2\theta +\cos \theta -1)\\ d_{1,0}^2& =-\sqrt{\frac{3}{8}}\sin 2\theta \\ d_{1,-1}^2& =\frac{1}{2}(-2{\cos }^2\theta +\cos \theta +1)\\ d_{0,0}^2& =\frac{1}{2}(3{\cos }^2\theta -1)\end{array}$

ウィグナーのテンプレート:Mvar行列の下付き添字の交換については、以下の関係式がなりたつ。

$d_{m^{\prime },m}^j=(-1{)}^{m-m^{\prime }}{d}_{m,m^{\prime }}^j=d_{-m,-m^{\prime }}^j$

対称性と特殊例

$\begin{array}{cc}{d}_{m^{\prime },m}^j(\pi )& =(-1{)}^{j-m}{\delta }_{m^{\prime },-m}\\ d_{m^{\prime },m}^j(\pi -\beta )& =(-1{)}^{j+m^{\prime }}{d}_{m^{\prime },-m}^j(\beta )\\ d_{m^{\prime },m}^j(\pi +\beta )& =(-1{)}^{j-m}{d}_{m^{\prime },-m}^j(\beta )\\ d_{m^{\prime },m}^j(2\pi +\beta )& =(-1{)}^{2j}{d}_{m^{\prime },m}^j(\beta )\\ d_{m^{\prime },m}^j(-\beta )& =d_{m,m^{\prime }}^j(\beta )=(-1{)}^{m^{\prime }-m}{d}_{m^{\prime },m}^j(\beta )\end{array}$

関連項目

• クレブシュ–ゴルダン係数
• テンプレート:仮リンク
• テンプレート:仮リンク

外部リンク

• PDG Table of Clebsch-Gordan Coefficients, Spherical Harmonics, and d-Functions