El teorema de Wigner-Eckart es un teorema de la teoría de la representación y la mecánica cuántica . Establece que los elementos de la matriz de los operadores de tensor esférico en la base de los estados propios del momento angular se pueden expresar como el producto de dos factores, uno de los cuales es independiente de la orientación del momento angular y el otro un coeficiente de Clebsch-Gordan . El nombre deriva de los físicos Eugene Wigner y Carl Eckart., quien desarrolló el formalismo como un vínculo entre los grupos de transformación de simetría del espacio (aplicados a las ecuaciones de Schrödinger) y las leyes de conservación de la energía, el momento y el momento angular. [1]
Matemáticamente, el teorema de Wigner-Eckart generalmente se enuncia de la siguiente manera. Dado un operador tensorial y dos estados de momentos angulares y , existe una constante tal que para todos , , y , se satisface la siguiente ecuación:
dónde
- es el q -ésimo componente del operador de tensor esféricode rango k , [2]
- denota un estado propio del momento angular total J 2 y su z componente J z ,
- es el coeficiente de Clebsch-Gordan para acoplar j ′ con k para obtener j ,
- denota [3] algún valor que no depende de m , m ′ ni de q y se denomina elemento de matriz reducido .
De hecho, el teorema de Wigner-Eckart establece que operar con un operador de tensor esférico de rango k en un estado propio de momento angular es como agregar un estado con momento angular k al estado. El elemento de la matriz que se encuentra para el operador del tensor esférico es proporcional a un coeficiente de Clebsch-Gordan, que surge al considerar agregar dos momentos angulares. Cuando se expresa de otra manera, se puede decir que el teorema de Wigner-Eckart es un teorema que dice cómo se comportan los operadores vectoriales en un subespacio. Dentro de un subespacio dado, un componente de un operador vectorial se comportará de manera proporcional al mismo componente del operador de momento angular. Esta definición se da en el libro Quantum Mechanics de Cohen – Tannoudji, Diu y Laloe.
Antecedentes y descripción general
Ejemplo motivador: elementos de la matriz del operador de posición para la transición 4d → 2p
Digamos que queremos calcular los momentos dipolares de transición para una transición electrónica de un orbital 4d a 2p de un átomo de hidrógeno, es decir, los elementos de la matriz de la forma, donde r i es el componente x , y o z del operador de posición , y m 1 , m 2 son los números cuánticos magnéticos que distinguen diferentes orbitales dentro de la subcapa 2p o 4d . Si hacemos esto directamente, implica calcular 45 integrales diferentes: hay 3 posibilidades para m 1 (−1, 0, 1), 5 posibilidades para m 2 (−2, −1, 0, 1, 2) y 3 posibilidades para i , por lo que el total es 3 × 5 × 3 = 45.
El teorema de Wigner-Eckart permite obtener la misma información después de evaluar solo una de esas 45 integrales ( se puede usar cualquiera de ellas, siempre que sea diferente de cero). Luego, las otras 44 integrales se pueden inferir a partir de la primera, sin la necesidad de escribir ninguna función de onda o evaluar ninguna integral, con la ayuda de los coeficientes de Clebsch-Gordan , que se pueden buscar fácilmente en una tabla o calcular a mano o por computadora. .
Resumen cualitativo de la prueba
El teorema de Wigner-Eckart funciona porque los 45 cálculos diferentes están relacionados entre sí mediante rotaciones. Si un electrón está en uno de los orbitales 2p, la rotación del sistema generalmente lo moverá a un orbital 2p diferente (generalmente terminará en una superposición cuántica de los tres estados básicos, m = +1, 0, -1). De manera similar, si un electrón está en uno de los orbitales 4d, la rotación del sistema lo moverá a un orbital 4d diferente. Finalmente, una afirmación análoga es cierta para el operador de posición: cuando se gira el sistema, los tres componentes diferentes del operador de posición se intercambian o mezclan de manera efectiva.
Si comenzamos conociendo solo uno de los 45 valores (digamos, sabemos que ) y luego rotamos el sistema, podemos inferir que K es también el elemento de matriz entre la versión rotada de, la versión rotada de y la versión rotada de . Esto da una relación algebraica que involucra a K y algunos o todos los 44 elementos desconocidos de la matriz. Diferentes rotaciones del sistema conducen a diferentes relaciones algebraicas, y resulta que hay suficiente información para descifrar todos los elementos de la matriz de esta manera.
(En la práctica, cuando trabajamos con esta matemática, generalmente aplicamos operadores de momento angular a los estados, en lugar de rotar los estados. Pero esto es fundamentalmente lo mismo, debido a la estrecha relación matemática entre las rotaciones y los operadores de momento angular ).
En términos de teoría de la representación
Para enunciar estas observaciones con mayor precisión y probarlas, es útil invocar las matemáticas de la teoría de la representación . Por ejemplo, el conjunto de todos los posibles orbitales 4d (es decir, los 5 estados m = -2, -1, 0, 1, 2 y sus superposiciones cuánticas ) forman un espacio vectorial abstracto de 5 dimensiones . La rotación del sistema transforma estos estados entre sí, por lo que este es un ejemplo de una "representación de grupo", en este caso, la representación irreducible de 5 dimensiones ("irrep") del grupo de rotación SU (2) o SO (3) , también llamada "representación spin-2". De manera similar, los estados cuánticos 2p forman un irrep tridimensional (llamado "spin-1"), y los componentes del operador de posición también forman el irrep tridimensional "spin-1".
Ahora considere los elementos de la matriz . Resulta que estos se transforman por rotaciones de acuerdo con el producto directo de esas tres representaciones, es decir, la representación espín-1 de los orbitales 2p, la representación espín-1 de las componentes de ry la representación espín-2 de la 4d. orbitales. Este producto directo, una representación de 45 dimensiones de SU (2), no es una representación irreducible , sino la suma directa de una representación de espín-4, dos representaciones de espín-3, tres representaciones de espín-2, dos espines-1 representaciones, y una representación spin-0 (es decir, trivial). Los elementos de la matriz distintos de cero solo pueden provenir del subespacio spin-0. El teorema de Wigner-Eckart funciona porque la descomposición directa del producto contiene uno y solo un subespacio de espín-0, lo que implica que todos los elementos de la matriz están determinados por un único factor de escala.
Aparte del factor de escala general, calcular el elemento de la matriz es equivalente a calcular la proyección del vector abstracto correspondiente (en un espacio de 45 dimensiones) sobre el subespacio spin-0. Los resultados de este cálculo son los coeficientes de Clebsch-Gordan . El aspecto cualitativo clave de la descomposición de Clebsch-Gordan que hace que el argumento funcione es que en la descomposición del producto tensorial de dos representaciones irreductibles, cada representación irreducible ocurre solo una vez. Esto permite utilizar el lema de Schur . [4]
Prueba
Comenzando con la definición de un operador de tensor esférico , tenemos
que usamos para luego calcular
Si expandimos el conmutador en el LHS calculando la acción de J ± en el sujetador y el ket, entonces obtenemos
Podemos combinar estos dos resultados para obtener
Esta relación de recursividad para los elementos de la matriz se parece mucho a la del coeficiente de Clebsch-Gordan . De hecho, ambos tienen la forma ∑ c a b , c x c = 0 . Por tanto, tenemos dos conjuntos de ecuaciones lineales homogéneas:
uno para los coeficientes de Clebsch-Gordan ( x c ) y otro para los elementos de la matriz ( y c ). No es posible resolver exactamente x c . Solo podemos decir que las proporciones son iguales, es decir
o que x c ∝ y c , donde el coeficiente de proporcionalidad es independiente de los índices. Por lo tanto, mediante la comparación de las relaciones de recursión, podemos identificar el coeficiente de Clebsch-Gordan ⟨ j 1 m 1 j 2 ( m 2 ± 1) | jm ⟩ con el elemento de matriz ⟨ j ' m ' | T ( k ) q ± 1 | j m ⟩ , entonces podemos escribir
Convenciones alternativas
Existen diferentes convenciones para los elementos de matriz reducida. Una convención, utilizada por Racah [5] y Wigner, [6] incluye una fase adicional y un factor de normalización,
donde la matriz de 2 × 3 denota el símbolo 3-j . (Dado que en la práctica k es a menudo integral, el factor (−1) 2 k a veces se omite en la literatura.) Con esta elección de normalización, el elemento de matriz reducido satisface la relación:
donde el adjunto hermitiano se define con la convención k - q . Aunque esta relación no se ve afectada por la presencia o ausencia del factor de fase (−1) 2 k en la definición del elemento de matriz reducido, se ve afectada por la convención de fase para el adjunto hermitiano.
Otra convención para elementos de matriz reducida es la de la Mecánica Cuántica Moderna de Sakurai :
Ejemplo
Considere el valor de posición expectativa ⟨ njm | x | njm ⟩ . Este elemento de la matriz es el valor esperado de un operador cartesiano en un hidrógeno-átomo-eigenstate esféricamente simétrica base , que es un problema trivial. Sin embargo, el teorema de Wigner-Eckart simplifica el problema. (De hecho, podríamos obtener la solución rápidamente usando la paridad , aunque se tomará una ruta un poco más larga).
Sabemos que x es un componente de r , que es un vector. Dado que los vectores son operadores de tensor esférico de rango 1, se deduce que x debe ser una combinación lineal de un tensor esférico de rango 1 T (1) q con q ∈ {−1, 0, 1 }. De hecho, se puede demostrar que
donde definimos los tensores esféricos como [7]
e Y l m son armónicos esféricos , que también son tensores esféricos de rango l . Además, T (1) 0 = z , y
Por lo tanto,
La expresión anterior nos da el elemento de matriz para x en el | njm ⟩ base. Para encontrar el valor esperado, establecemos n ′ = n , j ′ = j y m ′ = m . La regla de selección para m ′ y m es m ± 1 = m ′ para los tensores esféricos T (1) ± 1 . Como tenemos m ′ = m , esto hace que los coeficientes de Clebsch-Gordan sean cero, lo que hace que el valor esperado sea igual a cero.
Ver también
- Operador de tensor
- Landé factor g
Referencias
- ^ Biografía de Eckart - The National Academies Press.
- ^ El superíndice entre paréntesis ( k ) proporciona un recordatorio de su rango. Sin embargo, a diferencia de q , no es necesario que sea un índice real.
- ^ Ésta es una notación especial específica del teorema de Wigner-Eckart.
- ^ Salón 2015 Apéndice C.
- ↑ Racah, G. (1942). "Teoría de espectros complejos II". Revisión física . 62 (9-10): 438-462. Código Bibliográfico : 1942PhRv ... 62..438R . doi : 10.1103 / PhysRev.62.438 .
- ^ Wigner, EP (1951). "Sobre las matrices que reducen los productos de Kronecker de las representaciones de los grupos SR". En Wightman, Arthur S. (ed.). Las obras completas de Eugene Paul Wigner . 3 . pag. 614. doi : 10.1007 / 978-3-662-02781-3_42 .
- ^ JJ Sakurai: "Mecánica cuántica moderna" (Massachusetts, 1994, Addison-Wesley).
General
- Hall, Brian C. (2015), grupos de Lie, álgebras de Lie y representaciones: una introducción elemental , Textos de posgrado en matemáticas, 222 (2a ed.), Springer, ISBN 978-3319134666
enlaces externos
- JJ Sakurai, (1994). "Mecánica cuántica moderna", Addison Wesley, ISBN 0-201-53929-2 .
- Weisstein, Eric W. "Teorema de Wigner-Eckart" . MathWorld .
- Teorema de Wigner-Eckart
- Operadores de tensor