Representación irreductible del grupo de rotación SO.
La matriz D de Wigner es una matriz unitaria en una representación irreducible de los grupos SU(2) y SO(3) . Fue introducido en 1927 por Eugene Wigner , y desempeña un papel fundamental en la teoría de la mecánica cuántica del momento angular. El conjugado complejo de la matriz D es una función propia del hamiltoniano de rotores rígidos esféricos y simétricos . La letra D significa Darstellung , que significa "representación" en alemán.
Definición de la matriz D de Wigner
Sean J x , J y , J z generadores del álgebra de Lie de SU(2) y SO(3). En mecánica cuántica , estos tres operadores son los componentes de un operador vectorial conocido como momento angular . Algunos ejemplos son el momento angular de un electrón en un átomo, el espín electrónico y el momento angular de un rotor rígido .
En todos los casos, los tres operadores satisfacen las siguientes relaciones de conmutación ,
![{\displaystyle [J_{x},J_{y}]=iJ_{z},\quad [J_{z},J_{x}]=iJ_{y},\quad [J_{y},J_{z }]=iJ_{x},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde i es el número puramente imaginario y la constante de Planck ħ se ha igualado a uno. El operador Casimir
![{\displaystyle J^{2}=J_{x}^{2}+J_{y}^{2}+J_{z}^{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
conmuta con todos los generadores del álgebra de Lie. Por tanto, puede diagonalizarse junto con J z .
Esto define la base esférica utilizada aquí. Es decir, existe un conjunto completo de kets (es decir, base ortonormal de vectores propios conjuntos etiquetados por números cuánticos que definen los valores propios) con
![{\displaystyle J^{2}|jm\rangle =j(j+1)|jm\rangle ,\quad J_{z}|jm\rangle =m|jm\rangle ,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde j = 0, 1/2, 1, 3/2, 2, ... para SU(2), y j = 0, 1, 2, ... para SO(3). En ambos casos, m = − j , − j + 1, ..., j .
Un operador de rotación tridimensional se puede escribir como
![{\displaystyle {\mathcal {R}}(\alpha ,\beta ,\gamma )=e^{-i\alpha J_{z}}e^{-i\beta J_{y}}e^{-i \gamma J_{z}},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde α , β , γ son ángulos de Euler (caracterizados por las palabras clave: convención zyz, marco derecho, regla del tornillo derecho, interpretación activa).
La matriz D de Wigner es una matriz cuadrada unitaria de dimensión 2 j + 1 en esta base esférica con elementos
![{\displaystyle D_{m'm}^{j}(\alpha ,\beta ,\gamma )\equiv \langle jm'|{\mathcal {R}}(\alpha ,\beta ,\gamma )|jm\ rango =e^{-im'\alpha }d_{m'm}^{j}(\beta )e^{-im\gamma },}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
dónde
![{\displaystyle d_{m'm}^{j}(\beta )=\langle jm'|e^{-i\beta J_{y}}|jm\rangle =D_{m'm}^{j} (0,\beta,0)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es un elemento de la matriz d (pequeña) ortogonal de Wigner .
Es decir, en esta base,
![{\displaystyle D_{m'm}^{j}(\alpha ,0,0)=e^{-im'\alpha }\delta _{m'm}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es diagonal, como el factor de matriz γ , pero a diferencia del factor β anterior .
Matriz D Wigner (pequeña)
Wigner dio la siguiente expresión: [1]
![{\displaystyle d_{m'm}^{j}(\beta )=[(j+m')!(jm')!(j+m)!(jm)!]^{\frac {1}{ 2}}\sum _{s=s_{\mathrm {min} }}^{s_{\mathrm {max} }}\left[{\frac {(-1)^{m'-m+s}\ left(\cos {\frac {\beta }{2}}\right)^{2j+mm'-2s}\left(\sin {\frac {\beta }{2}}\right)^{m' -m+2s}}{(j+ms)!s!(m'-m+s)!(jm'-s)!}}\right].}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La suma sobre s es sobre valores tales que los factoriales no son negativos, es decir , .![{\displaystyle s_{\mathrm {min} }=\mathrm {max} (0,mm')}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle s_{\mathrm {max} }=\mathrm {min} (j+m,jm')}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Nota: Los elementos de la matriz d definidos aquí son reales. En la convención zxz de los ángulos de Euler , de uso frecuente , el factor en esta fórmula se reemplaza haciendo que la mitad de las funciones sean puramente imaginarias. La realidad de los elementos de la matriz d es una de las razones por las que la convención zyz, utilizada en este artículo, suele preferirse en aplicaciones de mecánica cuántica.![{\displaystyle (-1)^{m'-m+s}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (-1)^{s}i^{mm'},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Los elementos de la matriz d están relacionados con polinomios de Jacobi con no negativos y [2] Sea![{\displaystyle P_{k}^{(a,b)}(\cos \beta )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle a}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle b.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k=\min(j+m,jm,j+m',jm').}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si
![{\displaystyle k={\begin{casos}j+m:&a=m'-m;\quad \lambda =m'-m\\jm:&a=mm';\quad \lambda =0\\j+ m':&a=mm';\quad \lambda =0\\jm':&a=m'-m;\quad \lambda =m'-m\\\end{casos}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Entonces, con la relación es![{\displaystyle b=2j-2k-a,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d_{m'm}^{j}(\beta )=(-1)^{\lambda }{\binom {2j-k}{k+a}}^{\frac {1}{2 }}{\binom {k+b}{b}}^{-{\frac {1}{2}}}\left(\sin {\frac {\beta }{2}}\right)^{a }\left(\cos {\frac {\beta }{2}}\right)^{b}P_{k}^{(a,b)}(\cos \beta ),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
dónde![{\displaystyle a,b\geq 0.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Propiedades de la matriz D de Wigner
El conjugado complejo de la matriz D satisface una serie de propiedades diferenciales que pueden formularse de manera concisa introduciendo los siguientes operadores con![{\displaystyle (x,y,z)=(1,2,3),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{aligned}{\hat {\mathcal {J}}}_{1}&=i\left(\cos \alpha \cot \beta {\frac {\partial }{\partial \alpha }}+\sin \alpha {\partial \over \partial \beta }-{\cos \alpha \over \sin \beta }{\partial \over \partial \gamma }\right)\\{\hat {\ mathcal {J}}}_{2}&=i\left(\sin \alpha \cot \beta {\partial \over \partial \alpha }-\cos \alpha {\partial \over \partial \beta }- {\sin \alpha \over \sin \beta }{\partial \over \partial \gamma }\right)\\{\hat {\mathcal {J}}}_{3}&=-i{\partial \ sobre \partial \alpha }\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
que tienen significado mecánico cuántico: son operadores de momento angular de rotor rígido fijados en el espacio.
Más,
![{\displaystyle {\begin{aligned}{\hat {\mathcal {P}}}_{1}&=i\left({\cos \gamma \over \sin \beta }{\partial \over \partial \ alfa }-\sin \gamma {\partial \over \partial \beta }-\cot \beta \cos \gamma {\partial \over \partial \gamma }\right)\\{\hat {\mathcal {P} }}_{2}&=i\left(-{\sin \gamma \over \sin \beta }{\partial \over \partial \alpha }-\cos \gamma {\partial \over \partial \beta } +\cot \beta \sin \gamma {\partial \over \partial \gamma }\right)\\{\hat {\mathcal {P}}}_{3}&=-i{\partial \over \partial \gamma },\\\end{alineado}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
que tienen significado mecánico cuántico: son operadores de momento angular de rotor rígido fijos en el cuerpo.
Los operadores satisfacen las relaciones de conmutación.
![{\displaystyle \left[{\mathcal {J}}_{1},{\mathcal {J}}_{2}\right]=i{\mathcal {J}}_{3},\qquad {\ hbox{y}}\qquad \left[{\mathcal {P}}_{1},{\mathcal {P}}_{2}\right]=-i{\mathcal {P}}_{3} ,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y las relaciones correspondientes con los índices se permutaron cíclicamente. Satisfacen relaciones de conmutación anómalas ( tienen un signo menos en el lado derecho).![{\displaystyle {\mathcal {P}}_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Los dos conjuntos se conmutan mutuamente,
![{\displaystyle \left[{\mathcal {P}}_{i},{\mathcal {J}}_{j}\right]=0,\quad i,j=1,2,3,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y el total de operadores al cuadrado son iguales,
![{\displaystyle {\mathcal {J}}^{2}\equiv {\mathcal {J}}_{1}^{2}+{\mathcal {J}}_{2}^{2}+{\ mathcal {J}}_{3}^{2}={\mathcal {P}}^{2}\equiv {\mathcal {P}}_{1}^{2}+{\mathcal {P}} _{2}^{2}+{\mathcal {P}}_{3}^{2}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Su forma explícita es,
![{\displaystyle {\mathcal {J}}^{2}={\mathcal {P}}^{2}=-{\frac {1}{\sin ^{2}\beta }}\left({\ frac {\partial ^{2}}{\partial \alpha ^{2}}}+{\frac {\partial ^{2}}{\partial \gamma ^{2}}}-2\cos \beta { \frac {\partial ^{2}}{\partial \alpha \partial \gamma }}\right)-{\frac {\partial ^{2}}{\partial \beta ^{2}}}-\cot \beta {\frac {\partial }{\partial \beta }}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Los operadores actúan sobre el índice de la primera (fila) de la matriz D,![{\displaystyle {\mathcal {J}}_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{alineado}{\mathcal {J}}_{3}D_{m'm}^{j}(\alpha,\beta,\gamma)^{*}&=m'D_{ m'm}^{j}(\alpha ,\beta ,\gamma )^{*}\\({\mathcal {J}}_{1}\pm i{\mathcal {J}}_{2} )D_{m'm}^{j}(\alpha ,\beta ,\gamma )^{*}&={\sqrt {j(j+1)-m'(m'\pm 1)}}D_ {m'\pm 1,m}^{j}(\alpha,\beta,\gamma)^{*}\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Los operadores actúan sobre el segundo índice (columna) de la matriz D,![{\displaystyle {\mathcal {P}}_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {P}}_{3}D_{m'm}^{j}(\alpha,\beta,\gamma)^{*}=mD_{m'm}^{j}( \alfa,\beta,\gamma)^{*},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y, debido a la relación de conmutación anómala, los operadores de subida/bajada se definen con signos invertidos,
![{\displaystyle ({\mathcal {P}}_{1}\mp i{\mathcal {P}}_{2})D_{m'm}^{j}(\alpha,\beta,\gamma) ^{*}={\sqrt {j(j+1)-m(m\pm 1)}}D_{m',m\pm 1}^{j}(\alpha,\beta,\gamma)^ {*}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Finalmente,
![{\displaystyle {\mathcal {J}}^{2}D_{m'm}^{j}(\alpha,\beta,\gamma)^{*}={\mathcal {P}}^{2} D_{m'm}^{j}(\alpha,\beta,\gamma)^{*}=j(j+1)D_{m'm}^{j}(\alpha,\beta,\gamma )^{*}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En otras palabras, las filas y columnas de la matriz D de Wigner (conjugada compleja) abarcan representaciones irreducibles de las álgebras de Lie isomorfas generadas por y .![{\displaystyle \{{\mathcal {J}}_{i}\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \{-{\mathcal {P}}_{i}\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Una propiedad importante de la matriz D de Wigner se deriva de la conmutación de con el operador de inversión de tiempo T ,
![{\displaystyle \langle jm'|{\mathcal {R}}(\alpha ,\beta ,\gamma )|jm\rangle =\langle jm'|T^{\daga }{\mathcal {R}}(\ alfa ,\beta ,\gamma )T|jm\rangle =(-1)^{m'-m}\langle j,-m'|{\mathcal {R}}(\alpha ,\beta ,\gamma ) |j,-m\rangle ^{*},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
o
![{\displaystyle D_{m'm}^{j}(\alpha ,\beta ,\gamma )=(-1)^{m'-m}D_{-m',-m}^{j}(\ alfa,\beta,\gamma)^{*}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Aquí usamos that es antiunitario (de ahí la conjugación compleja después de pasar de ket a bra), y .![{\displaystyle T}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle T^{\daga }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle T|jm\rangle =(-1)^{jm}|j,-m\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (-1)^{2j-m'-m}=(-1)^{m'-m}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Una mayor simetría implica
![{\displaystyle (-1)^{m'-m}D_{mm'}^{j}(\alpha,\beta,\gamma)=D_{m'm}^{j}(\gamma,\beta ,\alfa )~.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Relaciones de ortogonalidad
Los elementos de la matriz D de Wigner forman un conjunto de funciones ortogonales de los ángulos de Euler y :![{\displaystyle D_{mk}^{j}(\alpha,\beta,\gamma)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \alpha,\beta,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \gamma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \int _{0}^{2\pi }d\alpha \int _{0}^{\pi }d\beta \sin \beta \int _{0}^{2\pi }d\ gamma \,\,D_{m'k'}^{j'}(\alpha ,\beta ,\gamma )^{\ast }D_{mk}^{j}(\alpha ,\beta ,\gamma ) ={\frac {8\pi ^{2}}{2j+1}}\delta _{m'm}\delta _{k'k}\delta _{j'j}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Este es un caso especial de las relaciones de ortogonalidad de Schur .
Fundamentalmente, según el teorema de Peter-Weyl , forman además un conjunto completo .
El hecho de que sean elementos matriciales de una transformación unitaria de una base esférica a otra se representa mediante las relaciones: [3]![{\displaystyle D_{mk}^{j}(\alpha,\beta,\gamma)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |lm\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {R}}(\alpha,\beta,\gamma)|lm\rangle}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sum _{k}D_{m'k}^{j}(\alpha ,\beta ,\gamma )^{*}D_{mk}^{j}(\alpha ,\beta ,\gamma )=\delta _{m,m'},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sum _{k}D_{km'}^{j}(\alpha ,\beta ,\gamma )^{*}D_{km}^{j}(\alpha ,\beta ,\gamma ) =\delta _{m,m'}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Los caracteres de grupo para SU(2) sólo dependen del ángulo de rotación β , siendo funciones de clase , por lo que, independientes de los ejes de rotación,
![{\displaystyle \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}}\ bien)}},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y en consecuencia satisfacer relaciones de ortogonalidad más simples, a través de la medida de Haar del grupo, [4]
![{\displaystyle {\frac {1}{\pi }}\int _{0}^{2\pi }d\beta \sin ^{2}\left({\frac {\beta }{2}}\ derecha)\chi ^{j}(\beta )\chi ^{j'}(\beta )=\delta _{j'j}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La relación de completitud (resuelta en la misma referencia, (3.95)) es
![{\displaystyle \sum _{j}\chi ^{j}(\beta )\chi ^{j}(\beta ')=\delta (\beta -\beta '),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
de donde, por![{\displaystyle \beta '=0,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sum _{j}\chi ^{j}(\beta )(2j+1)=\delta (\beta ).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Producto Kronecker de matrices D Wigner, serie Clebsch-Gordan
El conjunto de matrices de productos de Kronecker.
![{\displaystyle \mathbf {D} ^{j}(\alpha ,\beta ,\gamma )\otimes \mathbf {D} ^{j'}(\alpha ,\beta ,\gamma )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
forma una representación matricial reducible de los grupos SO (3) y SU (2). La reducción a componentes irreducibles se realiza mediante la siguiente ecuación: [3]
![{\displaystyle D_{mk}^{j}(\alpha ,\beta ,\gamma )D_{m'k'}^{j'}(\alpha ,\beta ,\gamma )=\sum _{J= |jj'|}^{j+j'}\langle jmj'm'|J\left(m+m'\right)\rangle \langle jkj'k'|J\left(k+k'\right) \rangle D_{\left(m+m'\right)\left(k+k'\right)}^{J}(\alpha,\beta,\gamma)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El símbolo es un coeficiente de Clebsch-Gordan .![{\displaystyle \langle j_ {1}m_ {1}j_ {2}m_ {2}|j_ {3}m_ {3}\rangle}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Relación con armónicos esféricos y polinomios de Legendre
Para valores enteros de , los elementos de la matriz D con segundo índice igual a cero son proporcionales a los armónicos esféricos y los polinomios de Legendre asociados , normalizados a la unidad y con la convención de fase de Condon y Shortley:![{\displaystyle l}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 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}(\ porque {\beta })\,e^{-im\alpha }.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Esto implica la siguiente relación para la matriz d:
![{\displaystyle d_{m0}^{\ell }(\beta )={\sqrt {\frac {(\ell -m)!}{(\ell +m)!}}}\,P_{\ell } ^{m}(\cos {\beta }).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Entonces , una rotación de armónicos esféricos es efectivamente una composición de dos rotaciones, ![{\displaystyle \langle \theta ,\phi |\ell m'\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sum _{m'=-\ell }^{\ell }Y_{\ell }^{m'}(\theta ,\phi )~D_{m'~m}^{\ell }( \alfa,\beta,\gamma).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Cuando ambos índices se ponen a cero, los elementos de la matriz D de Wigner vienen dados por polinomios ordinarios de Legendre :
![{\displaystyle D_{0,0}^{\ell }(\alpha ,\beta ,\gamma )=d_{0,0}^{\ell }(\beta )=P_{\ell }(\cos \ beta).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En la convención actual de los ángulos de Euler, es un ángulo longitudinal y es un ángulo colatitudinal (ángulos polares esféricos en la definición física de tales ángulos). Ésta es una de las razones por las que la convención z - y - z se utiliza con frecuencia en física molecular. De la propiedad de inversión temporal de la matriz D de Wigner se desprende inmediatamente![{\displaystyle \alpha }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\beta}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left(Y_{\ell }^{m}\right)^{*}=(-1)^{m}Y_{\ell }^{-m}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Existe una relación más general con los armónicos esféricos ponderados por espín :
[5]
Conexión con la probabilidad de transición bajo rotaciones.
El cuadrado absoluto de un elemento de la matriz D,
![{\displaystyle F_{mm'}(\beta )=|D_{mm'}^{j}(\alpha ,\beta ,\gamma )|^{2},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
da la probabilidad de que un sistema con espín preparado en un estado con proyección de espín a lo largo de alguna dirección se mida para tener una proyección de espín a lo largo de una segunda dirección en ángulo
con la primera dirección. El conjunto de cantidades en sí forma una matriz simétrica real, que depende únicamente del ángulo de Euler , como se indica.![{\displaystyle j}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle m}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle m'}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\beta}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F_{mm'}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\beta}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Sorprendentemente, el problema de valores propios de la matriz se puede resolver completamente: [6] [7]![{\displaystyle F}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sum _{m'=-j}^{j}F_{mm'}(\beta )f_{\ell }^{j}(m')=P_{\ell }(\cos \beta )f_{\ell }^{j}(m)\qquad (\ell =0,1,\ldots ,2j).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Aquí, el vector propio , es un polinomio de Chebyshev discreto escalado y desplazado , y el valor propio correspondiente, es el polinomio de Legendre.![{\displaystyle f_{\ell }^{j}(m)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle P_{\ell }(\cos \beta )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Relación con las funciones de Bessel
En el límite cuando tenemos![{\displaystyle \ell \gg m,m^{\prime }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle D_{mm'}^{\ell }(\alpha ,\beta ,\gamma )\approx e^{-im\alpha -im'\gamma }J_{mm'}(\ell \beta )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde es la función de Bessel y es finita.![{\displaystyle J_{mm'}(\ell \beta )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \ell \beta }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Lista de elementos de la matriz d
Usando la convención de signos de Wigner, et al. los elementos de la matriz d
para j = 1/2, 1, 3/2 y 2 se dan a continuación.![{\displaystyle d_{m'm}^{j}(\theta)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para j = 1/2
![{\displaystyle {\begin{aligned}d_{{\frac {1}{2}},{\frac {1}{2}}}^{\frac {1}{2}}&=\cos {\ frac {\theta }{2}}\\[6pt]d_{{\frac {1}{2}},-{\frac {1}{2}}}^{\frac {1}{2}} &=-\sin {\frac {\theta }{2}}\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para j = 1
![{\displaystyle {\begin{aligned}d_{1,1}^{1}&={\frac {1}{2}}(1+\cos \theta )\\[6pt]d_{1,0} ^{1}&=-{\frac {1}{\sqrt {2}}}\sin \theta \\[6pt]d_{1,-1}^{1}&={\frac {1}{ 2}}(1-\cos \theta )\\[6pt]d_{0,0}^{1}&=\cos \theta \end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para j = 3/2
![{\displaystyle {\begin{aligned}d_{{\frac {3}{2}},{\frac {3}{2}}}^{\frac {3}{2}}&={\frac { 1}{2}}(1+\cos \theta )\cos {\frac {\theta }{2}}\\[6pt]d_{{\frac {3}{2}},{\frac {1 }{2}}}^{\frac {3}{2}}&=-{\frac {\sqrt {3}}{2}}(1+\cos \theta )\sin {\frac {\theta }{2}}\\[6pt]d_{{\frac {3}{2}},-{\frac {1}{2}}}^{\frac {3}{2}}&={\ frac {\sqrt {3}}{2}}(1-\cos \theta )\cos {\frac {\theta }{2}}\\[6pt]d_{{\frac {3}{2}} ,-{\frac {3}{2}}}^{\frac {3}{2}}&=-{\frac {1}{2}}(1-\cos \theta )\sin {\frac {\theta }{2}}\\[6pt]d_{{\frac {1}{2}},{\frac {1}{2}}}^{\frac {3}{2}}&= {\frac {1}{2}}(3\cos \theta -1)\cos {\frac {\theta }{2}}\\[6pt]d_{{\frac {1}{2}}, -{\frac {1}{2}}}^{\frac {3}{2}}&=-{\frac {1}{2}}(3\cos \theta +1)\sin {\frac {\theta }{2}}\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para j = 2 [8]
![{\displaystyle {\begin{aligned}d_{2,2}^{2}&={\frac {1}{4}}\left(1+\cos \theta \right)^{2}\\[ 6pt]d_{2,1}^{2}&=-{\frac {1}{2}}\sin \theta \left(1+\cos \theta \right)\\[6pt]d_{2, 0}^{2}&={\sqrt {\frac {3}{8}}}\sin ^{2}\theta \\[6pt]d_{2,-1}^{2}&=-{ \frac {1}{2}}\sin \theta \left(1-\cos \theta \right)\\[6pt]d_{2,-2}^{2}&={\frac {1}{ 4}}\left(1-\cos \theta \right)^{2}\\[6pt]d_{1,1}^{2}&={\frac {1}{2}}\left(2 \cos ^{2}\theta +\cos \theta -1\right)\\[6pt]d_{1,0}^{2}&=-{\sqrt {\frac {3}{8}}} \sin 2\theta \\[6pt]d_{1,-1}^{2}&={\frac {1}{2}}\left(-2\cos ^{2}\theta +\cos \ theta +1\right)\\[6pt]d_{0,0}^{2}&={\frac {1}{2}}\left(3\cos ^{2}\theta -1\right) \end{alineado}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Los elementos de la matriz D de Wigner con índices inferiores intercambiados se encuentran con la relación:
![{\displaystyle d_{m',m}^{j}=(-1)^{mm'}d_{m,m'}^{j}=d_{-m,-m'}^{j}. }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Simetrías y casos especiales.
![{\displaystyle {\begin{aligned}d_{m',m}^{j}(\pi )&=(-1)^{jm}\delta _{m',-m}\\[6pt]d_ {m',m}^{j}(\pi -\beta )&=(-1)^{j+m'}d_{m',-m}^{j}(\beta )\\[6pt ]d_{m',m}^{j}(\pi +\beta )&=(-1)^{jm}d_{m',-m}^{j}(\beta )\\[6pt] d_{m',m}^{j}(2\pi +\beta )&=(-1)^{2j}d_{m',m}^{j}(\beta )\\[6pt]d_ {m',m}^{j}(-\beta )&=d_{m,m'}^{j}(\beta )=(-1)^{m'-m}d_{m',m }^{j}(\beta )\end{alineado}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ver también
Referencias
- ^ Wigner, EP (1951) [1931]. Gruppentheorie und ihre Anwendungen auf die Quantenmechanik der Atomspektren . Braunschweig: Vieweg Verlag. OCLC 602430512.Traducido al inglés por Teoría de grupos y su aplicación a la mecánica cuántica de los espectros atómicos. Traducido por Griffin, JJ Elsevier. 2013 [1959]. ISBN 978-1-4832-7576-5.
- ^ Biedenharn, LC; Louck, JD (1981). Momento angular en física cuántica . Lectura: Addison-Wesley. ISBN 0-201-13507-8.
- ^ ab Rose, Morris Edgar (1995) [1957]. Teoría elemental del momento angular. Dover. ISBN 0-486-68480-6. OCLC 31374243.
- ^ Schwinger, J. (26 de enero de 1952). Sobre el momento angular (informe técnico). Universidad de Harvard , Asociados de Desarrollo Nuclear. doi :10.2172/4389568. NYO-3071, TRN: US200506%%295.
- ^ Shiraishi, M. (2013). "Apéndice A: Función armónica esférica ponderada por giro" (PDF) . Sondeando el Universo Temprano con el CMB Scalar, Vector y Tensor Bispectrum (PhD). Universidad de Nagoya. págs. 153–4. ISBN 978-4-431-54180-6.
- ^ Meckler, A. (1958). "Fórmula Majorana". Revisión física . 111 (6): 1447. doi : 10.1103/PhysRev.111.1447.
- ^ Mermin, Dakota del Norte; Schwarz, GM (1982). "Distribuciones conjuntas y realismo local en el experimento de Einstein-Podolsky-Rosen de espín superior". Fundamentos de la Física . 12 (2): 101. doi : 10.1007/BF00736844. S2CID 121648820.
- ^ Edén, M. (2003). "Simulaciones por computadora en RMN de estado sólido. I. Teoría de la dinámica de espín". Conceptos en Resonancia Magnética Parte A. 17A (1): 117-154. doi :10.1002/cmr.a.10061.
enlaces externos
- Amsler, C.; et al. (Grupo de datos de partículas) (2008). "Tabla PDG de coeficientes de Clebsch-Gordan, armónicos esféricos y funciones d" (PDF) . Letras de Física B667 .