Coeficients de Clebsch-Gordan

En física, els coeficients de Clebsch-Gordan o coeficients CG són nombres que sorgeixen en l'acoblament de moment angular en mecànica quàntica. Apareixen com els coeficients d'expansió dels estats propis del moment angular total en una base de producte tensor desacoblat. En termes més matemàtics, els coeficients CG s'utilitzen en la teoria de la representació, particularment dels grups compactes de Lie, per dur a terme la descomposició explícita de la suma directa del producte tensor de dues representacions irreductibles (és a dir, una representació reductible en representacions irreductibles, en els casos en què els nombres i els tipus de components irreductibles ja es coneixen de manera abstracta). El nom deriva dels matemàtics alemanys Alfred Clebsch i Paul Gordan, que es van trobar amb un problema equivalent en la teoria d'invariants.

Des d'una perspectiva de càlcul vectorial, els coeficients CG associats al grup SO(3) es poden definir simplement en termes d'integrals de productes d'harmònics esfèrics i els seus complexos conjugats. L'addició d'espins en termes de mecànica quàntica es pot llegir directament des d'aquest enfocament, ja que els harmònics esfèrics són funcions pròpies del moment angular total i la seva projecció sobre un eix, i les integrals corresponen al producte interior de l'espai de Hilbert. A partir de la definició formal del moment angular, es poden trobar relacions de recursivitat per als coeficients de Clebsch-Gordan. També existeixen fórmules explícites complicades per al seu càlcul directe.

Les fórmules següents utilitzen la notació bra-ket de Dirac i s'adopta la convenció de fase Condon–Shortley per a harmònics esfèrics.

Revisió dels operadors de moment angular

Els operadors de moment angular són operadors autoadjunts Plantilla:Math, Plantilla:Math i Plantilla:Math que compleixen les relacions de commutació

$\begin{array}{cccc}& [{\mathrm{j}}_k,{\mathrm{j}}_l]\equiv {\mathrm{j}}_k{\mathrm{j}}_l-{\mathrm{j}}_l{\mathrm{j}}_k=i\hslash {\epsilon }_{klm}{\mathrm{j}}_m& k,l,m& \in \{\mathrm{x},\mathrm{y},\mathrm{z}\},\end{array}$

on Plantilla:Math és el símbol de Levi-Civita. Junts, els tres operadors defineixen un operador vectorial, un operador tensor cartesià de primer rang,

$𝐣=({\mathrm{j}}_{\mathrm{x}},{\mathrm{j}}_{\mathrm{y}},{\mathrm{j}}_{\mathrm{z}}).$

També es coneix com a vector esfèric, ja que també és un operador de tensor esfèric. Només per al primer rang els operadors de tensor esfèric coincideixen amb els operadors de tensor cartesians.

En desenvolupar aquest concepte encara més, es pot definir un altre operador Plantilla:Math com el producte intern de Plantilla:Math amb si mateix:

${𝐣}^2=j_{\mathrm{x}}^{\mathrm{2}}+j_{\mathrm{y}}^{\mathrm{2}}+j_{\mathrm{z}}^{\mathrm{2}}.$

Aquest és un exemple d'operador Casimir. És diagonal i el seu valor propi caracteritza la particular representació irreductible de l'àlgebra del moment angular. $𝔰𝔬(3,ℝ)\cong 𝔰𝔲(2)$. Això s'interpreta físicament com el quadrat del moment angular total dels estats sobre els quals actua la representació.

També es poden definir operadors de pujada (Plantilla:Math) i de baixada (Plantilla:Math), els anomenats operadors d'escala,

${\mathrm{j}}_{\mathrm{\pm }}={\mathrm{j}}_{\mathrm{x}}\pm i{\mathrm{j}}_{\mathrm{y}}.$

Bases esfèriques dels estats propis del moment angular

A partir de les definicions anteriors es pot demostrar que Plantilla:Math commuta amb Plantilla:Math, Plantilla:Math i Plantilla:Math:

$\begin{array}{cccc}& [{𝐣}^2,{\mathrm{j}}_k]=0& k& \in \{\mathrm{x},\mathrm{y},\mathrm{z}\}.\end{array}$

Quan dos operadors hermitians es desplacen, existeix un conjunt comú d'estats propis. Convencionalment, s'escullen Plantilla:Math i Plantilla:Math. A partir de les relacions de commutació, es poden trobar els possibles valors propis. Aquests estats propis es denoten |j m> on Plantilla:Math és el nombre quàntic del moment angular i Plantilla:Math és la projecció del moment angular sobre l'eix z.

Comprèn la base esfèrica, són completes i satisfan les següents equacions de valors propis:

$\begin{array}{cccc}{𝐣}^2|jm⟩& ={\hslash }^{2}j(j+1)|jm⟩,& j& \in \{0,\frac{1}{2},1,\frac{3}{2},\dots \}\\ {\mathrm{j}}_{\mathrm{z}}|jm⟩& =\hslash m|jm⟩,& m& \in \{-j,-j+1,\dots ,j\}.\end{array}$

Els operadors de pujada i baixada es poden utilitzar per alterar el valor de Plantilla:Math,

${\mathrm{j}}_{\pm }|jm⟩=\hslash C_{\pm }(j,m)|j(m\pm 1)⟩,$

on el coeficient d'escala ve donat per:

Plantilla:NumBlk

Espai de producte tensor

Considerem ara sistemes amb dos moments angulars físicament diferents Plantilla:Math i Plantilla:Math. Alguns exemples inclouen l'espín i el moment angular orbital d'un sol electró, o els espins de dos electrons, o el moment angular orbital de dos electrons. Matemàticament, això significa que els operadors de moment angular actuen sobre un espai $V_1$ de dimensió $2j_1+1$ i també en un espai $V_2$ de dimensió $2j_2+1$. Aleshores definirem una família d'operadors de "moment angular total" que actuen sobre l'espai del producte tensor $V_1\otimes V_2$, que té dimensió $(2j_1+1)(2j_2+1)$. L'acció de l'operador de moment angular total sobre aquest espai constitueix una representació de l'àlgebra de Lie SU(2), però reductible. La reducció d'aquesta representació reductible en peces irreductibles és l'objectiu de la teoria de Clebsch-Gordan.

Sigui Plantilla:Math l'espai vectorial dimensional Plantilla:Math abastat pels estats

$\begin{array}{cccc}& |j_1{m}_1⟩,& m_1& \in \{-j_1,-j_1+1,\dots ,j_1\}\end{array},$

i Plantilla:Math l'espai vectorial dimensional Plantilla:Math abastat pels estats

$\begin{array}{cccc}& |j_2{m}_2⟩,& m_2& \in \{-j_2,-j_2+1,\dots ,j_2\}\end{array}.$

El producte tensorial d'aquests espais, Plantilla:Math, té una base desacoblada Plantilla:Math-dimensional

$|j_1{m}_1{j}_2{m}_2⟩\equiv |j_1{m}_1⟩\otimes |j_2{m}_2⟩,m_1\in \{-j_1,-j_1+1,\dots ,j_1\},m_2\in \{-j_2,-j_2+1,\dots ,j_2\}.$

Els operadors de moment angular es defineixen per actuar sobre els estats de Plantilla:Math de la manera següent:

$(𝐣\otimes 1)|j_1{m}_1{j}_2{m}_2⟩\equiv 𝐣|j_1{m}_1⟩\otimes |j_2{m}_2⟩$

i

$(1\otimes 𝐣)|j_1{m}_1{j}_2{m}_2⟩\equiv |j_1{m}_1⟩\otimes 𝐣|j_2{m}_2⟩,$

on Plantilla:Math denota l'operador d'identitat.

Els operadors de moment angular totalsPlantilla:Efn es defineixen pel producte tensor de les dues representacions que actuen sobre Plantilla:Math ,Plantilla:Equation box 1