ou seja, o elemento de matriz entre o estado |\alpha,j,m=j\rangle (estado “estendido” com m=j) e um estado com projeção m'.
Informações relevantes dadas / que vamos usar:
Pode-se construir um tensor esférico de ordem 2 a partir de combinações homogêneas quadráticas em x,y,z: os cinco componentes T_{2,q} com q=-2,\ldots,2 podem ser escolhidos proporcionalmente a (x\pm i y)^2,\;(x\pm i y)z,\;2z^2-x^2-y^2.
note que \,3z^{2}-r^{2}=2z^{2}-x^{2}-y^{2} é um componente (proporcional a) T_{2,0} do tensor de ordem 2.
Vamos usar a regra de seleção e o teorema de Wigner–Eckart para expressar elementos de matriz de componentes esféricas T_{2,q} em termos de coeficientes de Clebsch–Gordan (ou símbolos 3j) e do elemento reduzido \langle j\|T_{2}\|j\rangle.
Passo 2
Explicando (de forma bem direta) o que são os componentes esféricos de ordem 2 e como se constroem a partir de x,y,z.
Um tensor esférico irreduzível de ordem 2 tem cinco componentes T_{2,q} com q=-2,-1,0,1,2. Esses componentes transformam entre si sob rotações como os harmónicos esféricos Y_{2,q}.
Uma escolha simples (sem fatores de normalização universais, mas consistente e conveniente) é:
Observação sobre normalizações: há constantes convencionais (fatores numéricos) que aparecem em definições normais de tensores esféricos. Aqui escolhi estas combinações simples — as relações que vou usar entre componentes cartesianas e T_{2,q} são exatas com essas definições (ou seja, não usei \propto, usei igualdades para estas escolhas).
Passo 3
Expressar x y,\; x z,\; x^{2}-y^{2} em termos dos T_{2,q}.
Partindo das definições do passo anterior:
Calcule (x+i y)^{2} e (x-i y)^{2}:
(x+i y)^{2}=x^{2}-y^{2}+2i\,x y, \qquad (x-i y)^{2}=x^{2}-y^{2}-2i\,x y.
Somando e subtraindo obtemos relações diretas:
\begin{aligned} x^{2}-y^{2} &= \tfrac{1}{2}\big[(x+i y)^{2}+(x-i y)^{2}\big] = \tfrac{1}{2}\big(T_{2,2}+T_{2,-2}\big),\\[6pt] x y &= \tfrac{1}{4i}\big[(x+i y)^{2}-(x-i y)^{2}\big] = \tfrac{1}{4i}\big(T_{2,2}-T_{2,-2}\big). \end{aligned}
Para x z usamos:
(x+i y)z + (x-i y)z = 2 x z,
logo
x z = \tfrac{1}{2}\big[(x+i y)z + (x-i y)z\big] = \tfrac{1}{2}\big(T_{2,1}+T_{2,-1}\big).
Resumo prático (resultados usados adiante):
\boxed{\,x^{2}-y^{2}=\tfrac{1}{2}(T_{2,2}+T_{2,-2}),\quad x y=\tfrac{1}{4i}(T_{2,2}-T_{2,-2}),\quad x z=\tfrac{1}{2}(T_{2,1}+T_{2,-1})\,.}]
Passo 4
Regras de seleção e teorema de Wigner–Eckart (explicação didática curta).
O teorema de Wigner–Eckart diz que, para um tensor esférico irreduzível T_{k,q},
Importante: há regra de seleção para a componente q: só aparece se m' = m+q. No nosso caso k=2, então q\in\{-2,-1,0,1,2\}.
No problema temos j'=j (mesmo j bra e ket), e o ket inicial tem m=j. Portanto só os q\le 0 podem produzir m'\le j. Especificamente, de x^{2}-y^{2}=\tfrac12(T_{2,2}+T_{2,-2}) só o termo com q=-2 pode ligar |j,m=j\rangle para um bra com m'=j-2. O termo q=+2 exigiria m'=j+2, impossível.
Passo 5
Cálculo do elemento solicitado usando as relações e Wigner–Eckart; eliminação do elemento reduzido usando Q.
Começamos escrevendo diretamente o elemento de matriz procurado:
Como explicado, o termo com T_{2,2} só conecta |j,j\rangle a m'=j+2 (impossível), então o único possível é q=-2 e m'=j-2. Assim o elemento só pode ser não-nulo para m'=j-2, e nesse caso
para m'=j-2 vale a expressão acima, que expressa o elemento (x^{2}-y^{2}) em termos do momento de quadrupolo Q e de coeficientes de Clebsch–Gordan.]
Passo 6
Comentário final prático (motivação e uso na prova):
A resposta final está expressa em termos de coeficientes de Clebsch–Gordan; isso é conveniente porque esses coeficientes (ou os símbolos 3j equivalentes) são tabelados ou podem ser calculados quando j é dado.
Se for preciso um valor numérico, calcule explicitamente (j\,j\;;\;2\;{-2}\mid j\,j-2) e (j\,j\;;\;2\;0\mid j\,j) usando as fórmulas ou tabela de CG, e então aplique a fórmula do Passo 5.
Resposta
(a) x y=\dfrac{1}{4i}\bigl(T_{2,2}-T_{2,-2}\bigr),\quad x z=\dfrac{1}{2}\bigl(T_{2,1}+T_{2,-1}\bigr),\quad x^{2}-y^{2}=\dfrac{1}{2}\bigl(T_{2,2}+T_{2,-2}\bigr), onde T_{2,2}=(x+iy)^{2},\;T_{2,1}=(x+iy)z,\;T_{2,0}=2z^{2}-x^{2}-y^{2},\;T_{2,-1}=(x-iy)z,\;T_{2,-2}=(x-iy)^{2}.
(b) O elemento é não nulo somente para m'=j-2 e, nesse caso,