stringtranslate.com

Coeficientes de Clebsch-Gordan

En física , los coeficientes de Clebsch-Gordan ( CG ) son números que surgen en el acoplamiento de momento angular en la mecánica cuántica . Aparecen como coeficientes de expansión de los estados propios del momento angular total en una base de producto tensorial desacoplado . En términos más matemáticos, los coeficientes CG se utilizan en la teoría de la representación , particularmente de grupos compactos de Lie , para realizar la descomposición suma directa explícita del producto tensorial de dos representaciones irreducibles (es decir, una representación reducible en representaciones irreducibles, en los casos en que los números y los tipos de componentes irreducibles ya se conocen de forma abstracta). El nombre deriva de los matemáticos alemanes Alfred Clebsch y Paul Gordan , quienes encontraron un problema equivalente en la teoría invariante .

Desde una perspectiva de cálculo vectorial , los coeficientes CG asociados con el grupo SO(3) se pueden definir simplemente en términos de integrales de productos de armónicos esféricos y sus conjugados complejos. La suma de espines en términos de mecánica cuántica se puede leer directamente desde este enfoque, ya que los armónicos esféricos son funciones propias del momento angular total y su proyección sobre un eje, y las integrales corresponden al producto interno del espacio de Hilbert . [1] A partir de la definición formal de momento angular, se pueden encontrar relaciones de recursividad para los coeficientes de Clebsch-Gordan. También existen complicadas fórmulas explícitas para su cálculo directo. [2]

Las fórmulas siguientes utilizan la notación bra-ket de Dirac y se adopta la convención de fases de Condon-Shortley [3] .

Revisión de los operadores de momento angular.

Los operadores de momento angular son operadores autoadjuntos j x , j y y j z que satisfacen las relaciones de conmutación

ε klmsímbolo de Levi-Civitaoperador vectorialoperador tensor
vector esférico

Desarrollando más este concepto, se puede definir otro operador j 2 como el producto interno de j consigo mismo:

operador Casimirrepresentación irreducible

También se pueden definir operadores de elevación ( j + ) y descenso ( j ), los llamados operadores de escalera ,

Base esférica para estados propios de momento angular

A partir de las definiciones anteriores se puede demostrar que j 2 conmuta con j x , j y y j z :

Cuando dos operadores hermitianos conmutan, existe un conjunto común de estados propios. Convencionalmente, se eligen j 2 y j z . A partir de las relaciones de conmutación se pueden encontrar los posibles valores propios. Estos estados propios se denotan | j m donde j es el número cuántico del momento angular y m es la proyección del momento angular sobre el eje z.

Comprenden la base esférica , son completos y satisfacen las siguientes ecuaciones de valores propios,

Los operadores de subida y bajada se pueden utilizar para alterar el valor de m ,

En principio, también se puede introducir un factor de fase (posiblemente complejo) en la definición de . La elección realizada en este artículo está de acuerdo con la convención de fase Condon-Shortley . Los estados del momento angular son ortogonales (porque sus valores propios con respecto a un operador hermitiano son distintos) y se supone que están normalizados.

Aquí, las j y m en cursiva denotan números cuánticos de momento angular enteros o semienteros de una partícula o de un sistema. Por otro lado, los operadores romanos j x , j y , j z , j + , j y j 2 . Los símbolos son deltas de Kronecker .

Espacio de producto tensorial

Ahora consideramos sistemas con dos momentos angulares físicamente diferentes j 1 y j 2 . Los ejemplos incluyen el espín y el momento angular orbital de un solo electrón, o los espines de dos electrones, o los momentos angulares orbitales de dos electrones. Matemáticamente, esto significa que los operadores de momento angular actúan en un espacio de dimensión y también en un espacio de dimensión . Luego vamos a definir una familia de operadores de "momento angular total" que actúan sobre el espacio del producto tensorial , que tiene dimensión . La acción del operador del momento angular total en este espacio constituye una representación del álgebra de Lie SU(2), pero reducible. La reducción de esta representación reducible en piezas irreductibles es el objetivo de la teoría de Clebsch-Gordan.

Sea V 1 el espacio vectorial (2 j 1 + 1) dimensional abarcado por los estados

V 2(2 j 2 + 1)

El producto tensorial de estos espacios, V 3V 1V 2 , tiene una base desacoplada (2 j 1 + 1) (2 j 2 + 1) dimensional

V 3
1

Los operadores de momento angular total [nb 1] están definidos por el coproducto (o producto tensorial ) de las dos representaciones que actúan sobre V 1V 2 ,

Se puede demostrar que los operadores de momento angular total satisfacen las mismas relaciones de conmutación ,

k , l , m ∈ { x , y , z }[4]

Por lo tanto, también existe un conjunto de estados propios acoplados para el operador de momento angular total,

METRO ∈ {− J , − J + 1, ..., J }[ j 1 j 2 ]

El número cuántico de momento angular total J debe satisfacer la condición triangular de que

[5]

El número total de estados propios del momento angular total es necesariamente igual a la dimensión de V 3 :

[6]

El objetivo ahora es describir explícitamente la descomposición anterior, es decir, describir explícitamente elementos básicos en el espacio del producto tensorial para cada una de las representaciones de componentes que surgen.

Los estados de momento angular total forman una base ortonormal de V 3 :

Estas reglas se pueden iterar para, por ejemplo, combinar n dobletes ( s = 1/2) para obtener la serie de descomposición de Clebsch-Gordan ( triángulo de Catalán ),

función piso2 j +1[7]

Definición formal de los coeficientes de Clebsch-Gordan

Los estados acoplados se pueden expandir a través de la relación de completitud (resolución de identidad) en la base desacoplada.

Los coeficientes de expansión.

coeficientes de Clebsch-Gordanj 1 j 2 ; metro 1 metro 2 | JMj 1 m 1 j 2 m 2 | J M = CJM
j 1 m 1 j 2 m 2

Aplicando los operadores

Relaciones de recursividad

Las relaciones de recursión fueron descubiertas por el físico Giulio Racah de la Universidad Hebrea de Jerusalén en 1941.

Aplicando el momento angular total a los operadores de subida y bajada


La combinación de estos resultados da relaciones de recursividad para los coeficientes de Clebsch-Gordan, donde C ± se definió en 1 :

Tomando el signo superior con la condición de que M = J da la relación de recursividad inicial:

(y por tanto también es real). Los coeficientes de Clebsch-Gordan j 1 m 1 j 2 m 2 | Luego se puede encontrar J M a partir de estas relaciones de recursividad. La normalización está fijada por el requisito de que la suma de los cuadrados, lo que equivale al requisito de que la norma del estado |[ j 1 j 2 ] J J debe ser uno.

El signo inferior en la relación de recursividad se puede utilizar para encontrar todos los coeficientes de Clebsch-Gordan con M = J − 1 . El uso repetido de esa ecuación da todos los coeficientes.

Este procedimiento para encontrar los coeficientes de Clebsch-Gordan muestra que todos son reales en la convención de fases de Condon-Shortley.

expresión explícita

Relaciones de ortogonalidad

Estos se escriben más claramente introduciendo la notación alternativa.

La primera relación de ortogonalidad es

Casos especiales

Para J = 0 , los coeficientes de Clebsch-Gordan vienen dados por

Para J = j 1 + j 2 y M = J tenemos

Para j 1 = j 2 = J / 2 y m 1 = − m 2 tenemos

Para j 1 = j 2 = m 1 = − m 2 tenemos

Para j 2 = 1 , m 2 = 0 tenemos

Para j 2 = 1/2 tenemos

Propiedades de simetría

Una forma conveniente de derivar estas relaciones es convertir los coeficientes de Clebsch-Gordan a símbolos Wigner 3-j usando 3 . Las propiedades de simetría de los símbolos Wigner 3-j son mucho más simples.

Reglas para factores de fase.

Es necesario tener cuidado al simplificar los factores de fase: un número cuántico puede ser un semientero en lugar de un número entero, por lo tanto (−1) 2 k no es necesariamente 1 para un número cuántico k dado , a menos que se pueda demostrar que es un número entero. En cambio, se reemplaza por la siguiente regla más débil:

para cualquier número cuántico k

No obstante, una combinación de j i y m i es siempre un número entero, por lo que se aplica la regla más estricta para estas combinaciones:

j im i

Es útil observar que cualquier factor de fase para un par ( ji , m i ) dado puede reducirse a la forma canónica :

a ∈ {0, 1, 2, 3}b ∈ {0, 1}enlocalmente( ji , m i )

Se aplica una regla adicional para combinaciones de j 1 , j 2 y j 3 que están relacionadas por un coeficiente de Clebsch-Gordan o un símbolo Wigner 3-j:

j i , o si cualquiera de ellos se sustituye por un m i

Relación con los símbolos Wigner 3-j

Los coeficientes de Clebsch-Gordan están relacionados con los símbolos Wigner 3-j que tienen relaciones de simetría más convenientes.

El factor (−1) 2 j 2 se debe a la restricción de Condon-Shortley de que j 1 j 1 j 2 ( Jj 1 )| JJ ⟩ > 0 , mientras que (–1) JM se debe a la naturaleza invertida en el tiempo de | JM⟩ .

Relación con las matrices D de Wigner

Relación con los armónicos esféricos

En el caso de que se trate de números enteros, los coeficientes se pueden relacionar con integrales de armónicos esféricos :

De esto y de la ortonormalidad de los armónicos esféricos se deduce que los coeficientes CG son de hecho los coeficientes de expansión de un producto de dos armónicos esféricos en términos de un único armónico esférico:

Otras propiedades

Coeficientes de Clebsch-Gordan para grupos específicos

Para grupos arbitrarios y sus representaciones, los coeficientes de Clebsch-Gordan no se conocen en general. Sin embargo, se conocen algoritmos para producir coeficientes de Clebsch-Gordan para el grupo unitario especial SU ( n ). [8] [9] En particular, los coeficientes SU(3) de Clebsch-Gordan se han calculado y tabulado debido a su utilidad para caracterizar las desintegraciones hadrónicas, donde existe una simetría de sabor -SU(3) que relaciona las fases arriba , abajo y extraña. quarks. [10] [11] [12] Está disponible una interfaz web para tabular los coeficientes SU(N) de Clebsch-Gordan.

Los coeficientes de Clebsch-Gordan para grupos simétricos también se conocen como coeficientes de Kronecker .

Ver también

Observaciones

  1. ^ La palabra "total" a menudo se sobrecarga para significar varias cosas diferentes. En este artículo, "momento angular total" se refiere a una suma genérica de dos operadores de momento angular j 1 y j 2 . No debe confundirse con el otro uso común del término "momento angular total" que se refiere específicamente a la suma del momento angular orbital y el espín .

Notas

  1. ^ Greiner y Muller 1994
  2. ^ Edmonds 1957
  3. ^ Condon y Shortley 1970
  4. ^ Salón 2015 Sección 4.3.2
  5. ^ Merzbacher 1998
  6. ^ Salón 2015 Apéndice C
  7. ^ Zachos, CK (1992). "Alteración de la simetría de las funciones de onda en álgebras cuánticas y supersimetría". Letras de Física Moderna A. A7 (18): 1595-1600. arXiv : hep-th/9203027 . Código bibliográfico : 1992MPLA....7.1595Z. doi :10.1142/S0217732392001270. S2CID  16360975.
  8. ^ Alex y otros. 2011
  9. ^ Kaplan y Resnikoff 1967
  10. ^ de Swart 1963
  11. ^ Kaeding 1995
  12. ^ Coleman, Sidney. "Diversión con SU (3)". INSPIREAyuda .

Referencias

enlaces externos

Otras lecturas