02KVAN2:Kapitola2: Porovnání verzí
Z WikiSkripta FJFI ČVUT v Praze
(Nové jednodušší odvození W–E věty a jejího lemmatu, upraveno značení, přidány nové informace, opraveny překlepy) |
m |
||
(Není zobrazeno 6 mezilehlých verzí od 2 dalších uživatelů.) | |||
Řádka 18: | Řádka 18: | ||
tedy | tedy | ||
\begin{equation*} | \begin{equation*} | ||
− | \vec{L} \ket{a,l,m_2} = \sum_{m_1 | + | \vec{L} \ket{a,l,m_2} = \sum_{m_1} \vec{L}_{m_1m_2}^{(l)} \ket{a,l,m_1}. |
\end{equation*} | \end{equation*} | ||
\end{define} | \end{define} | ||
Jedná se pouze o jiný, stručnější, zápis relací \eqref{MomH:PlusMinus3} v | Jedná se pouze o jiný, stručnější, zápis relací \eqref{MomH:PlusMinus3} v | ||
− | kartézských složkách $L$ namísto tzv. sférických složek $\{L_+, L_-, L_3\}$; | + | kartézských složkách $\vec{L}$ namísto tzv. sférických složek $\{L_+, L_-, L_3\}$; |
hodnoty $\vec{L}_{m_1m_2}^{(l)}$ souvisejí s $\alpha^{(\pm)}(l,m_2)$ triviálními | hodnoty $\vec{L}_{m_1m_2}^{(l)}$ souvisejí s $\alpha^{(\pm)}(l,m_2)$ triviálními | ||
vztahy plynoucími z převodních rovnic | vztahy plynoucími z převodních rovnic | ||
Řádka 105: | Řádka 105: | ||
Pro tvrzení věty zbývá dokázat, že závislost $X$ na $m_{1,2}$ musí být | Pro tvrzení věty zbývá dokázat, že závislost $X$ na $m_{1,2}$ musí být | ||
konstantní. Za tímto účelem využijeme ještě potřetí vyjádření | konstantní. Za tímto účelem využijeme ještě potřetí vyjádření | ||
− | \eqref{MomH:PosunOpL2} a, tentokrát již za | + | \eqref{MomH:PosunOpL2} a, tentokrát již za předpokladů $l_1 = l_2$ a $m_1 = |
m_2$, vypočítáme zvlášť člen | m_2$, vypočítáme zvlášť člen | ||
\begin{equation*} | \begin{equation*} | ||
\begin{aligned} | \begin{aligned} | ||
\brapigket{a,l,m}{\hat{L}_-\hat{L}_+}{b,l,m} &= \brapigket{a,l,m}{(\hat{L}^2 - | \brapigket{a,l,m}{\hat{L}_-\hat{L}_+}{b,l,m} &= \brapigket{a,l,m}{(\hat{L}^2 - | ||
− | \hat{L}_3^2 - \hat{L}_3)}{b,l,m} =\\ | + | \hat{L}_3^2 - \hbar\hat{L}_3)}{b,l,m} =\\ |
&= \hbar^2(l(l+1) - m(m+1)) \braket{a,l,m}{b,l,m}. | &= \hbar^2(l(l+1) - m(m+1)) \braket{a,l,m}{b,l,m}. | ||
\end{aligned} | \end{aligned} | ||
Řádka 236: | Řádka 236: | ||
Vraťme se zpět k maticovému elementu a dosaďme do něj z předchozí rovnosti | Vraťme se zpět k maticovému elementu a dosaďme do něj z předchozí rovnosti | ||
\[ | \[ | ||
− | \brapigket{a,l_1,m_1}{\hat{T}(k,q)}{b,l_2,m_2} = \bra{a,l_1,m_1} | + | \brapigket{a,l_1,m_1}{\hat{T}(k,q)}{b,l_2,m_2} = \bra{a,l_1,m_1} \left( |
\sum_{l=|k-l_2|}^{k+l_2} \sum_{m=-l}^l (k,l_2,q,m_2|l,m)\,\ket{z(b,k,l_2);l,m} | \sum_{l=|k-l_2|}^{k+l_2} \sum_{m=-l}^l (k,l_2,q,m_2|l,m)\,\ket{z(b,k,l_2);l,m} | ||
\right), | \right), | ||
Řádka 257: | Řádka 257: | ||
\textbf{Wigner--Eckartova teorému}, který nám usnadňuje určování maticových | \textbf{Wigner--Eckartova teorému}, který nám usnadňuje určování maticových | ||
elementů. Známe-li totiž $\brapigket{a,l_1,m_1}{\hat{T}(k,q)}{b,l_2,m_2}$ pro | elementů. Známe-li totiž $\brapigket{a,l_1,m_1}{\hat{T}(k,q)}{b,l_2,m_2}$ pro | ||
− | jednu hodnotu $q,m_1,m_2$, známe ho díky Wigner--Eckartovu teorému | + | jednu hodnotu $q,m_1,m_2$, při které je CG koeficient nenulový, známe ho díky Wigner--Eckartovu teorému |
\eqref{TOp:WignerEckart} i pro libovolné jiné hodnoty stejných veličin, tj. | \eqref{TOp:WignerEckart} i pro libovolné jiné hodnoty stejných veličin, tj. | ||
místo $(2l_1+1)(2l_2+1)(2k+1)$ výpočtů stačí provést jediný! Za povšimnutí | místo $(2l_1+1)(2l_2+1)(2k+1)$ výpočtů stačí provést jediný! Za povšimnutí | ||
Řádka 278: | Řádka 278: | ||
\begin{align} | \begin{align} | ||
\brapigket{a,l_1,m_1}{\hat{T}(k,q)}{b,l_2,m_2} &= (-1)^{l_1-m_1} | \brapigket{a,l_1,m_1}{\hat{T}(k,q)}{b,l_2,m_2} &= (-1)^{l_1-m_1} | ||
− | + | \begin{pmatrix} | |
l_1 & k & l_2 \\ | l_1 & k & l_2 \\ | ||
-m_1 & q & m_2 | -m_1 & q & m_2 | ||
− | \end{ | + | \end{pmatrix} |
(a,l_1\left\|\hat{\tenzop}(k)\right\|b,l_2) = \nonumber \\ | (a,l_1\left\|\hat{\tenzop}(k)\right\|b,l_2) = \nonumber \\ | ||
&= (-1)^{l_1+k-l_2} | &= (-1)^{l_1+k-l_2} | ||
Řádka 291: | Řádka 291: | ||
\textbf{redukovaný maticový element} a je určen levou stranou pro jednu | \textbf{redukovaný maticový element} a je určen levou stranou pro jednu | ||
hodnotu $q,m_1,m_2$ takovou, že | hodnotu $q,m_1,m_2$ takovou, že | ||
− | $\D | + | $\D \begin{pmatrix} |
l_1 & k & l_2 \\ | l_1 & k & l_2 \\ | ||
-m_1 & q & m_2 | -m_1 & q & m_2 | ||
− | \end{ | + | \end{pmatrix} \neq 0$. |
Redukovaný maticový element nemá přímý fyzikální význam. | Redukovaný maticový element nemá přímý fyzikální význam. | ||
Řádka 315: | Řádka 315: | ||
a CG koeficient na pravé straně je nenulový jedině v případě | a CG koeficient na pravé straně je nenulový jedině v případě | ||
$l_1=l_2, m_1=m_2$. Maticový element | $l_1=l_2, m_1=m_2$. Maticový element | ||
− | $\brapigket{a,l,m}{\hat{T}(0,0)}{b,l,m}$ bude pouze funkcí $a,b,l$. | + | $\brapigket{a,l,m}{\hat{T}(0,0)}{b,l,m}$ bude pouze funkcí $a,b,l$. |
+ | V tomto ohledu je i tvrzení věty~\ref{TOp:VMnetreba} zvláštním případem | ||
+ | W--E teorému pro jednotkový operátor $\opone$, který splňuje požadavky kladené na | ||
+ | $\hat{T}(0,0)$. | ||
\item \textbf{Vektorový operátor}. Kartézské souřadnice vektorového operátoru $\hat{\vec{V}}=$ $(\hat{V}_1,\hat{V}_2,\hat{V}_3)$ | \item \textbf{Vektorový operátor}. Kartézské souřadnice vektorového operátoru $\hat{\vec{V}}=$ $(\hat{V}_1,\hat{V}_2,\hat{V}_3)$ | ||
vyhovují komutačním relacím | vyhovují komutačním relacím | ||
Řádka 515: | Řádka 518: | ||
\begin{subequations} | \begin{subequations} | ||
\begin{align} | \begin{align} | ||
− | \ | + | \bra{2,1,0}&\hat{X}_3\ket{2,0,0}, \label{TOp:StarkKandidat1} \\ |
− | \ | + | \bra{2,0,0}&\hat{X}_3\ket{2,1,0}, \label{TOp:StarkKandidat2} \\ |
− | \ | + | \bra{2,1,-1}&\hat{X}_3\ket{2,1,-1}, \label{TOp:StarkKandidat3} \\ |
− | \ | + | \bra{2,1,1}&\hat{X}_3\ket{2,1,1}, \label{TOp:StarkKandidat4} \\ |
− | \ | + | \bra{2,1,0}&\hat{X}_3\ket{2,1,0}, \label{TOp:StarkKandidat5} |
\end{align} | \end{align} | ||
\end{subequations} | \end{subequations} | ||
Řádka 559: | Řádka 562: | ||
volíme výše uvedené pořadí $((0,0), (1,-1), (1,0), (1,1))$.} | volíme výše uvedené pořadí $((0,0), (1,-1), (1,0), (1,1))$.} | ||
\[ | \[ | ||
− | \mathbb{B} = | + | \mathbb{B} = \begin{pmatrix} |
− | + | 0 & 0 & -3eEa_0 & 0 \\ | |
− | + | 0 & 0 & 0 & 0 \\ | |
− | + | -3eEa_0 & 0 & 0 & 0 \\ | |
− | + | 0 & 0 & 0 & 0 \\ | |
+ | \end{pmatrix}. | ||
\] | \] | ||
Spektrum obsahuje vlastní čísla $\sigma_{\mathbb{B}} = \{ 0, \pm 3eEa_0 \}$. | Spektrum obsahuje vlastní čísla $\sigma_{\mathbb{B}} = \{ 0, \pm 3eEa_0 \}$. |
Aktuální verze z 13. 6. 2018, 12:22
[ znovu generovat, | výstup z překladu ] | Kompletní WikiSkriptum včetně všech podkapitol. | |
PDF Této kapitoly | [ znovu generovat, | výstup z překladu ] | Přeložení pouze této kaptioly. |
ZIP | Kompletní zdrojový kód včetně obrázků. |
Součásti dokumentu 02KVAN2
součást | akce | popis | poslední editace | soubor | |||
---|---|---|---|---|---|---|---|
Hlavní dokument | editovat | Hlavní stránka dokumentu 02KVAN2 | Hoskoant | 6. 5. 2014 | 11:44 | ||
Řídící stránka | editovat | Definiční stránka dokumentu a vložených obrázků | Potocvac | 12. 6. 2017 | 11:17 | ||
Header | editovat | Hlavičkový soubor | Potocvac | 12. 6. 2017 | 18:07 | header.tex | |
Kapitola0 | editovat | Předmluva | Hoskoant | 6. 5. 2014 | 10:48 | predmluva.tex | |
Kapitola1 | editovat | Algebraická teorie momentu hybnosti | Potocvac | 8. 6. 2018 | 13:31 | kapitola1.tex | |
Kapitola2 | editovat | Tenzorové operátory, Wigner-Eckartův teorém | Kubuondr | 13. 6. 2018 | 12:22 | kapitola2.tex | |
Kapitola3 | editovat | Další ekvivalentní způsoby zápisu kvantové mechaniky | Kubuondr | 13. 6. 2018 | 13:00 | kapitola3.tex | |
Kapitola4 | editovat | Matice hustoty a smíšené kvantové stavy | Kubuondr | 12. 6. 2018 | 09:59 | kapitola4.tex | |
Kapitola5 | editovat | Přibližné metody v kvantové mechanice | Kubuondr | 9. 6. 2018 | 21:23 | kapitola5.tex | |
Kapitola6 | editovat | Propagátor | Potocvac | 3. 5. 2018 | 16:34 | kapitola6.tex | |
Kapitola7 | editovat | Dráhový integrál | Kubuondr | 5. 4. 2020 | 17:09 | kapitola7.tex | |
Kapitola8 | editovat | Teorie rozptylu | Kubuondr | 13. 6. 2018 | 07:54 | kapitola8.tex | |
Kapitola9 | editovat | Partiční suma | Kubuondr | 13. 6. 2018 | 08:14 | kapitola9.tex | |
Kapitola10 | editovat | Reprezentace vícečásticových systémů | Kubuondr | 11. 6. 2018 | 09:34 | kapitola10.tex | |
Kapitola11 | editovat | Kvantování klasických polí | Kubuondr | 13. 6. 2018 | 10:45 | kapitola11.tex | |
Kapitola12 | editovat | Literatura | Hoskoant | 6. 5. 2014 | 10:53 | kapitolaA.tex |
Vložené soubory
soubor | název souboru pro LaTeX |
---|---|
Image:wkb-1.pdf | wkb-1.pdf |
Image:wkb-2.pdf | wkb-2.pdf |
Image:wkb-3.pdf | wkb-3.pdf |
Image:wkb-4.pdf | wkb-4.pdf |
Image:wkb-5.pdf | wkb-5.pdf |
Image:wkb-ho.pdf | wkb-ho.pdf |
Image:itw-1.pdf | itw-1.pdf |
Image:drahy-1.pdf | drahy-1.pdf |
Image:drahy-2.pdf | drahy-2.pdf |
Image:feynman-1.pdf | feynman-1.pdf |
Image:feynman-2.pdf | feynman-2.pdf |
Image:feynman-3.pdf | feynman-3.pdf |
Image:feynman-4.pdf | feynman-4.pdf |
Image:rozptyl-1.pdf | rozptyl-1.pdf |
Image:rozptyl-2.pdf | rozptyl-2.pdf |
Zdrojový kód
%\wikiskriptum{02KVAN2} \section{Tenzorové operátory, Wigner--Eckartův teorém} \begin{define} \label{MomH:DefLm1m2l} Mějme ÚMP tvořenou $\hat{A}, \hat{L}^2, \hat{L}_3$ a jí příslušné vlastní vektory $\ket{a,l,m}$ splňující relace \begin{equation} \begin{aligned} \hat{L}_\pm \ket{a,l,m} &= \alpha^{(\pm)}(l,m) \ket{a,l,m \pm 1}, \\ \hat{L}_3 \ket{a,l,m} &= \hbar m \ket{a,l,m}. \end{aligned} \label{MomH:PlusMinus3} \end{equation} Pak definujeme \begin{equation} \label{MomH:DefSymb} \vec{L}_{m_1m_2}^{(l)} = \brapigket{a,l,m_1}{\vec{L}}{a,l,m_2}, \end{equation} tedy \begin{equation*} \vec{L} \ket{a,l,m_2} = \sum_{m_1} \vec{L}_{m_1m_2}^{(l)} \ket{a,l,m_1}. \end{equation*} \end{define} Jedná se pouze o jiný, stručnější, zápis relací \eqref{MomH:PlusMinus3} v kartézských složkách $\vec{L}$ namísto tzv. sférických složek $\{L_+, L_-, L_3\}$; hodnoty $\vec{L}_{m_1m_2}^{(l)}$ souvisejí s $\alpha^{(\pm)}(l,m_2)$ triviálními vztahy plynoucími z převodních rovnic \[ \vec{L} = \Biggl( \frac{\hat{L}_+ + \hat{L}_-}{2}, \frac{\hat{L}_+ - \hat{L}_-}{2i}, \hat{L}_3 \Biggr). \] Důležitější je si povšimnout, že $\vec{L}_{m_1m_2}^{(l)}$ nezávisí na $a$, a tedy ani na volbě radiální pozorovatelné $\hat{A}$, a že aplikace $\hat{\vec{L}}$ nemění hodnotu $l$. \begin{theorem} \label{TOp:VMnetreba} Mějme 2 posloupnosti vektorů $\left( \ket{a, l_1, m_1} \right)_{m_1 = -l_1}^{l_1}$ a $\left( \ket{b, l_2, m_2} \right)_{m_2 = -l_2}^{l_2}$ takových, že \begin{align*} \hat{\vec{L}} \ket{a, l_1, m_1} &= \sum_{m' = -l_1}^{l_1} \vec{L}_{m'm_1}^{(l_1)} \ket{a, l_1, m'}, \\ \hat{\vec{L}} \ket{b, l_2, m_2} &= \sum_{m' = -l_2}^{l_2} \vec{L}_{m'm_2}^{(l_2)} \ket{b, l_2, m'}. \end{align*} Potom platí: \begin{equation} \braket{a,l_1,m_1}{b,l_2,m_2} = \delta_{l_1l_2} \delta_{m_1m_2} F(l_1,a,b), \label{TOp:braket} \end{equation} \noindent kde $F$ je neznámá funkce proměnných $l_1,a,b$ (měli bychom si povšimnout především nezávislosti pravé strany rovnosti \eqref{TOp:braket} na konkrétních hodnotách $m_1, m_2$). \end{theorem} \begin{proof} Předpoklady věty, přeformulované zpět v jazyce posunovacích operátorů a $L_3$, je možné zapsat ve tvaru \begin{equation} \label{TOp:LemmaPM3} \begin{aligned} \hat{L}_\pm \ket{a, l_1, m_1} &= \alpha^{(\pm)}(l_1,m_1) \ket{a, l_1, m_1 \pm 1}, \\ \hat{L}_\pm \ket{b, l_2, m_2} &= \alpha^{(\pm)}(l_2,m_2) \ket{b, l_2, m_2 \pm 1}, \\ \hat{L}_3 \ket{a, l_1, m_1} &= \hbar m_1 \ket{a, l_1, m_1}, \\ \hat{L}_3 \ket{b, l_2, m_2} &= \hbar m_2 \ket{b, l_2, m_2}. \end{aligned} \end{equation} Pomocí rozkladu \eqref{MomH:PosunOpL2} lze též odvodit, i když se předpoklady o $\hat{\vec{L}}^2$ výslovně nezmiňují, \begin{subequations} \label{TOp:LemmaL2} \begin{equation} \begin{aligned} \hat{\vec{L}}^2 \ket{a, l_1, m_1} &= (\hat{L}_-\hat{L}_+ + \hat{L}_3^2 + \hbar \hat{L}_3) \ket{a, l_1, m_1} =\\ &= \alpha^{(-)}(l_1,m+1) \alpha^{(+)}(l_1,m) \ket{a, l_1, m_1} + \hbar^2 m^2 \ket{a, l_1, m_1} + \hbar^2 m \ket{a, l_1, m_1} =\\ &= \hbar^2 l_1(l_1+1) \ket{a, l_1, m_1} \end{aligned} \end{equation} a podobně \begin{equation} \hat{\vec{L}}^2 \ket{b, l_2, m_2} = \hbar^2 l_2(l_2+1) \ket{b, l_2, m_2}. \end{equation} \end{subequations} Zkoumejme výraz $\brapigket{a,l_1,m_1}{\hat{L}_3}{b,l_2,m_2}$. Operátor můžeme nechat působit na ket nebo na bra, na tom výsledek nemůže záviset. Pomocí \eqref{TOp:LemmaPM3} tak dostáváme rovnost \begin{equation*} \hbar m_2 \braket{a,l_1,m_1}{b,l_2,m_2} = \hbar m_1 \braket{a,l_1,m_1}{b,l_2,m_2}, \end{equation*} z níž plyne, že skalární součin $\braket{a,l_1,m_1}{b,l_2,m_2}$ může být nenulový pouze tehdy, kdy $m_1 = m_2$. Podobně pomocí výrazu $\brapigket{a,l_1,m_1}{\hat{\vec{L}}^2}{b,l_2,m_2}$ a připravených rovností \eqref{TOp:LemmaL2} získáváme, že $\braket{a,l_1,m_1}{b,l_2,m_2}$ je nutně roven $0$ v případech $l_1 \ne l_2$. Odsud již je skalární součin vymezen na tvar \begin{equation} \label{TOp:X} \braket{a,l_1,m_1}{b,l_2,m_2} = \delta_{l_1l_2} \delta_{m_1m_2} X, \end{equation} kde $X$ může záviset již jen na $a$, $b$ a společných hodnotách $l$, $m$. Pro tvrzení věty zbývá dokázat, že závislost $X$ na $m_{1,2}$ musí být konstantní. Za tímto účelem využijeme ještě potřetí vyjádření \eqref{MomH:PosunOpL2} a, tentokrát již za předpokladů $l_1 = l_2$ a $m_1 = m_2$, vypočítáme zvlášť člen \begin{equation*} \begin{aligned} \brapigket{a,l,m}{\hat{L}_-\hat{L}_+}{b,l,m} &= \brapigket{a,l,m}{(\hat{L}^2 - \hat{L}_3^2 - \hbar\hat{L}_3)}{b,l,m} =\\ &= \hbar^2(l(l+1) - m(m+1)) \braket{a,l,m}{b,l,m}. \end{aligned} \end{equation*} Zbývající dosud nevyzkoušená kombinace při výpočtu téhož členu je nechat působit $\hat{L}_+$ na ket a $\hat{L}_-$ na bra. Pro účinek na bra nezapomeneme, že $(\hat{L}_-)^\dagger = \hat{L}_+$, takže ve výsledku se dvakrát objeví $\alpha^{(+)}(l,m)$: \begin{equation*} \begin{aligned} \brapigket{a,l,m}{\hat{L}_-\hat{L}_+}{b,l,m} &= \left( \hat{L}_+ \ket{a,l,m} \right)^\dagger \left( \hat{L}_+ \ket{b,l,m} \right) =\\ &= \left( \alpha^{(+)}(l,m) \right)^2 \braket{a,l,m+1}{b,l,m+1} =\\ &= \hbar^2 (l(l+1) - m(m+1)) \braket{a,l,m+1}{b,l,m+1}. \end{aligned} \end{equation*} Porovnáním obou výsledků je zřejmé, že pro všechna $m$, $-l \le m < l$ \begin{equation*} \braket{a,l,m}{b,l,m} = \braket{a,l,m+1}{b,l,m+1} \end{equation*} a tedy, že veličina $X$ v \eqref{TOp:X} nezávisí na $m$ a lze ji psát jako $F(l,a,b)$, jak tvrdí věta. \end{proof} Porozumění operátoru momentu hybnosti umožní klasifikovat tenzorové operátory. Z klasické fyziky totiž víme, že tenzorový (či skalární, vektorový) charakter veličin je dán jejich vlastnostmi při transformacích prostoru. V eukleidovských prostorech je postačující uvažovat rotace. Transformace při rotacích jsou v klasické teoretické fyzice svázány s Poissonovými závorkami se složkami momentu hybnosti, jakožto generátorů grupy rotací. Ve fyzice kvantové tedy budeme analogicky očekávat definici tenzorového operátoru založenou na komutátorech s operátory složek momentu hybnosti. Tak je motivována následující definice: \begin{define} \label{DIrTenzOp} \textbf{Ireducibilní tenzorový operátor $k$-tého řádu $\hat{\tenzop}(k)$} je soubor $(2k+1)$ operátorů $(\hat{T}(k,q))_{q=-k}^k$ takových, že \begin{align} \label{TOp:DefIrTenzOp1} \komut{\hat{L}_3}{\hat{T}(k,q)} &= \hbar q \hat{T}(k,q), \nonumber \\ \komut{\hat{L}_\pm}{\hat{T}(k,q)} &= \alpha^{(\pm)}(k,q) \hat{T}(k,q \pm 1). \end{align} \end{define} \begin{remark} Podmínky \eqref{TOp:DefIrTenzOp1} lze ekvivalentně zapsat užitím definice \ref{MomH:DefLm1m2l} \begin{equation} \label{TOp:DefIrTenzOp2} \komut{\hat{\vec{L}}}{\hat{T}(k,q)} = \sum_{q'=-k}^k \vec{L}_{q' q}^{(k)} \hat{T}(k,q'). \end{equation} \end{remark} Často budeme potřebovat počítat maticový element operátoru $\hat{T}(k,q)$ v bázích $\ket{a,l_1,m_1}$, $\ket{b,l_2,m_2}$ -- $\brapigket{a,l_1,m_1}{\hat{T}(k,q)}{b,l_2,m_2}$ -- pro různá $m_1$, $m_2$. V dalším využijeme vlastností $\hat{\vec{L}}$ ke zjednodušení výpočtů výrazů tohoto typu. Mějme dvě ÚMP $(\hat{A}, \hat{L}^2, \hat{L}_3)$, $(\hat{B}, \hat{L}^2, \hat{L}_3)$ a vlastní vektory $\ket{a,l_1,m_1}$, $\ket{b,l_2,m_2}$ vyhovující podmínkám \begin{align*} \hat{A} \ket{a,l_1,m_1} &= a \ket{a,l_1,m_1}, &\hat{B} \ket{b,l_2,m_2} &= b \ket{b,l_2,m_2}, \\ \hat{L}^2 \ket{a,l_1,m_1} &= \hbar^2 l_1(l_1+1) \ket{a,l_1,m_1}, &\hat{L}^2 \ket{b,l_2,m_2} &= \hbar^2 l_2(l_2+1) \ket{b,l_2,m_2}, \\ \hat{L}_3 \ket{a,l_1,m_1} &= \hbar m_1 \ket{a,l_1,m_1}, &\hat{L}_3 \ket{b,l_2,m_2} &= \hbar m_2 \ket{b,l_2,m_2}. \end{align*} Uvažujme pevně zvolené $a,b,l_1,l_2$. Tím pádem $m_1 \in \left\{ -l_1, \ldots, l_1 \right\}$, $m_2 \in \left\{ -l_2, \ldots, l_2 \right\}$. Rovněž mějme definovánu složku ireducibilního tenzorového operátoru $\hat{T}(k,q)$. Upravme vektor $\hat{\vec{L}} \hat{T} (k,q) \ket{b,l_2,m_2}$ \begin{align} \label{TOp:WigEckOdv1} \hat{\vec{L}} \hat{T} (k,q) \ket{b,l_2,m_2} &= \left( \komut{\hat{\vec{L}}}{\hat{T} (k,q)} + \hat{T} (k,q) \hat{\vec{L}} \right) \ket{b,l_2,m_2} = \nonumber \\ &= \sum_{q'=-k}^k \vec{L}_{q'q}^{(k)} \left( \hat{T}(k,q') \ket{b,l_2,m_2} \right) + \sum_{m'=-l_2}^{l_2} \vec{L}_{m' m_2}^{(l)} \left( \hat{T}(k,q) \ket{b,l_2,m'} \right). \end{align} Při úpravě bylo užito věty \ref{TOp:VMnetreba} a poznámky u definice \ref{DIrTenzOp} (rovnost \eqref{TOp:DefIrTenzOp2}). Zavedeme-li označení% \footnote{Pozor, nejedná se nutně o normalizované ani o vzájemně ortogonální vektory.} \[ \ket{k,q,b,l_2,m_2} = \hat{T}(k,q) \ket{b,l_2,m_2}, \] potom stavy $\ket{k,q,b,l_2,m_2}$ se z hlediska komutačních relací s $\hat{\vec{L}}$ chovají stejně jako stavy $\ket{k,q} \ket{l,m}$ v úloze skládání dvou momentů hybnosti, neboť \begin{equation} \begin{aligned} \hat{\vec{L}} \ket{k,q} \ket{l,m} &= \left( \hat{\vec{L}}_{(1)} \ket{k,q} \right) \ket{l,m} + \ket{k,q} \left( \hat{\vec{L}}_{(2)} \ket{l,m} \right) =\\ &= \sum_{q'=-k}^k \vec{L}_{q'q}^{(k)} \ket{k,q'} \ket{l,m} + \sum_{m'=-l}^{l} \vec{L}_{m'm}^{(l)} \ket{k,q} \ket{l,m'}, \end{aligned} \label{TOp:WigEckOdv2} \end{equation} kde bylo rovněž použito rovnosti \eqref{TOp:DefIrTenzOp2}. Vidíme, že výrazy \eqref{TOp:WigEckOdv1} a \eqref{TOp:WigEckOdv2} jsou formálně stejné. Díky této shodě můžeme zadefinovat vlastní vektory „složeného“ momentu hybnosti \begin{equation} \ket{z(b,k,l_2);l,m} := \sum_{m_2=-l_2}^{l_2} \sum_{q=-k}^k (k,l_2,q,m_2|l,m) \hat{T}(k,q)\ket{b,l_2,m_2}, \label{TOp:WigEckSlozene} \end{equation} uvozovky proto, že na místě složeného momentu vystupuje opět $\hat{\vec{L}}$: \begin{align*} \hat{L}^2 \ket{z(b,k,l_2);l,m} &= \hbar^2 l(l+1) \ket{z(b,k,l_2);l,m}, \\ \hat{L}_3 \ket{z(b,k,l_2);l,m} &= \hbar m \ket{z(b,k,l_2);l,m}. \end{align*} Veličina $z$ je blíže neurčená, je důležité se v ní nesnažit identifikovat vlastní číslo operátorů $\hat A$ ani $\hat B$. Je však jednoznačně určena původními hodnotami $b, k, l_2$. Inverzní transformace k \eqref{TOp:WigEckSlozene} zní \begin{equation*} \hat{T}(k,q)\ket{b,l_2,m_2} = \sum_{l=|k-l_2|}^{k+l_2} \sum_{m=-l}^l (k,l_2,q,m_2|l,m)\,\ket{z(b,k,l_2);l,m}. \end{equation*} Vraťme se zpět k maticovému elementu a dosaďme do něj z předchozí rovnosti \[ \brapigket{a,l_1,m_1}{\hat{T}(k,q)}{b,l_2,m_2} = \bra{a,l_1,m_1} \left( \sum_{l=|k-l_2|}^{k+l_2} \sum_{m=-l}^l (k,l_2,q,m_2|l,m)\,\ket{z(b,k,l_2);l,m} \right), \] přičemž na základě ortogonality vlastních vektorů $\hat{L}^2$, $\hat{L}_3$ je zřejmé, že jediný nenulový člen v celém výrazu je člen pro $l=l_1$, $m=m_1$, tedy \[ \brapigket{a,l_1,m_1}{\hat{T}(k,q)}{b,l_2,m_2} = (k,l_2,q,m_2|l_1,m_1)\, \braket{a,l_1,m_1}{z(b,k,l_2);l_1,m_1}, \] navíc na základě věty \ref{TOp:VMnetreba} víme, že braket na pravé straně nezávisí na hodnotě $m_1$ -- je pouze funkcí $a$, $l_1$ a $z$, kde $z$ v sobě zahrnuje $b$, $k$ a $l_2$. Celkově tedy \begin{equation} \label{TOp:WignerEckart} \brapigket{a,l_1,m_1}{\hat{T}(k,q)}{b,l_2,m_2} = (k,l_2,q,m_2|l_1,m_1)\, F(a,b,k,l_1,l_2). \end{equation} Rovnost \eqref{TOp:WignerEckart} je matematickým vyjádřením \textbf{Wigner--Eckartova teorému}, který nám usnadňuje určování maticových elementů. Známe-li totiž $\brapigket{a,l_1,m_1}{\hat{T}(k,q)}{b,l_2,m_2}$ pro jednu hodnotu $q,m_1,m_2$, při které je CG koeficient nenulový, známe ho díky Wigner--Eckartovu teorému \eqref{TOp:WignerEckart} i pro libovolné jiné hodnoty stejných veličin, tj. místo $(2l_1+1)(2l_2+1)(2k+1)$ výpočtů stačí provést jediný! Za povšimnutí obzvláště stojí, že současně získáme „zadarmo“ maticové elementy \textsl{různých} pozorovatelných $T(k,-k), \ldots, T(k,+k)$. Povšimněme si CG koeficientu vystupujícího na pravé straně \eqref{TOp:WignerEckart}. Odpovídá skládání momentů hybnosti $(l_2,m_2)$ (ket levé strany) s $(k,q)$ (operátor) za získání $(l_1,m_1)$ (bra levé strany). Tenzorový operátor se tedy při aplikaci na vlastní stav hybnosti chová, jako kdyby k němu přičetl další moment hybnosti, kde $k$ hraje roli vedlejšího a $q$ magnetického kvantového čísla. Například pro nenulovost maticového elementu musí čísla $l_1$, $l_2$, $k$ splňovat trojúhelníkovou nerovnost. Další okamžitý výsledek je, že pro $q \ne 0$ je $\brapigket{a,l,m}{\hat{T}(k,q)}{b,l,m}$ nutně rovno $0$. Obvyklý způsob zápisu Wigner--Eckartova teorému využívá Wignerovy $3j$-symboly, jejichž vztah k CG koeficientům popisuje rovnost \eqref{MomH:Wigner3j}. Platí \begin{align} \brapigket{a,l_1,m_1}{\hat{T}(k,q)}{b,l_2,m_2} &= (-1)^{l_1-m_1} \begin{pmatrix} l_1 & k & l_2 \\ -m_1 & q & m_2 \end{pmatrix} (a,l_1\left\|\hat{\tenzop}(k)\right\|b,l_2) = \nonumber \\ &= (-1)^{l_1+k-l_2} \frac{(k,l_2,q,m_2|l_1,m_1)}{(2l_1+1)^{1/2}}(a,l_1\left\|\hat{\tenzop}(k)\right\|b,l_2), \label{TOp:WignerEckart1} \end{align} \noindent kde $(a,l_1\left\|\hat{\tenzop}(k)\right\|b,l_2)$ se nazývá \textbf{redukovaný maticový element} a je určen levou stranou pro jednu hodnotu $q,m_1,m_2$ takovou, že $\D \begin{pmatrix} l_1 & k & l_2 \\ -m_1 & q & m_2 \end{pmatrix} \neq 0$. Redukovaný maticový element nemá přímý fyzikální význam. Podívejme se nyní na nejjednodušší příklady tenzorových operátorů. \begin{enumerate}[$(I)$] \item \textbf{Skalární operátor}, tj. ireducibilní tenzorový operátor nultého řádu. Podle \eqref{TOp:DefIrTenzOp1} musí skalární operátor $\hat{\tenzop}(0) \equiv (\hat{T}(0,0))$ splňovat \begin{align*} \komut{\hat{L}_3}{\hat{T}(0,0)} = 0, \quad \komut{\hat{L}_{\pm}}{\hat{T}(0,0)} = 0, \end{align*} tedy i $\komut{\hat{L}_{1,2}}{\hat{T}(0,0)} = 0$. Tyto podmínky jinými slovy říkají, že $T(0,0)$ je invariantní vůči rotaci. Skalární operátor má jeden nenulový maticový element pro $l_2, m_2 = \const$, neboť dle \eqref{TOp:WignerEckart} je \[ \brapigket{a,l_1,m_1}{\hat{T}(0,0)}{b,l_2,m_2} = (0,l_2,0,m_2|l_1,m_1) F(a,b,l_1,l_2) \] a CG koeficient na pravé straně je nenulový jedině v případě $l_1=l_2, m_1=m_2$. Maticový element $\brapigket{a,l,m}{\hat{T}(0,0)}{b,l,m}$ bude pouze funkcí $a,b,l$. V tomto ohledu je i tvrzení věty~\ref{TOp:VMnetreba} zvláštním případem W--E teorému pro jednotkový operátor $\opone$, který splňuje požadavky kladené na $\hat{T}(0,0)$. \item \textbf{Vektorový operátor}. Kartézské souřadnice vektorového operátoru $\hat{\vec{V}}=$ $(\hat{V}_1,\hat{V}_2,\hat{V}_3)$ vyhovují komutačním relacím \begin{equation} \label{TOp:KomutVektOp} \komut{\hat{L}_j}{\hat{V}_k} = i \hbar \epsilon_{jkl} \hat{V}_l \end{equation} a vzájemně si jednoznačně odpovídají s ireducibilním tenzorovým operátorem prvního řádu $\hat{\mathbb{T}}(1)=(\hat{T}(1,1),\hat{T}(1,0),\hat{T}(1,-1))$ transformací \begin{align} \label{TOp:PridruzTenzOp} \hat{T}(1,1)= - \frac{\hat{V}_1+i\hat{V}_2}{\sqrt{2}}, \quad \hat{T}(1,0)=\hat{V}_3, \quad \hat{T}(1,-1)=\frac{\hat{V}_1-i\hat{V}_2}{\sqrt{2}}. \end{align} Příkladem vektorového operátoru jsou nám již známé operátory $\hat{\vec{X}}, \hat{\vec{P}}, \hat{\vec{L}}$. Například $\hat{\vec{L}}$ vzájemně odpovídá ireducibilnímu tenzorovému operátoru \[ \hat{\mathbb{T}}(1) = \Bigl( \hat{T}(1,1),\hat{T}(1,0),\hat{T}(1,-1) \Bigr) = \left( \frac{-1}{\sqrt{2}}\hat{L}_+ , \hat{L}_3, \frac{1}{\sqrt{2}}\hat{L}_- \right), \] \noindent neboť jsou splněny podmínky \eqref{TOp:DefIrTenzOp1} \begin{align*} \komut{\hat{L}_3}{\hat{T}(1,m)} = m \hat{T}(1,m), \quad \komut{\hat{L}_{\pm}}{\hat{T}(1,m)} = \alpha^{(\pm)}(1,m) \hat{T}(1,m \pm 1), \end{align*} \noindent pro všechna $m \in \{ -1, 0, 1 \}$. \end{enumerate} \begin{example} Mějme definován vektorový operátor $\hat{\vec{V}}$ a ireducibilní tenzorový operátor prvního řádu $\hat{\mathbb{T}}(1)$ definován dle \eqref{TOp:PridruzTenzOp}. Pokusíme se najít střední hodnotu první a druhé složky operátoru $\hat{\vec{V}}$ ve stavu popsaném vektorem $\ket{\beta,l,m}$ (hledáme tedy hodnoty součinů $\brapigket{\beta,l,m}{\hat{V}_{1,2}}{\beta,l,m}$). Platí \begin{align*} \hat{V}_1 = \frac{1}{\sqrt{2}}\Bigl(\hat{T}(1,-1)-\hat{T}(1,1)\Bigr), \quad \hat{V}_2 = \frac{i}{\sqrt{2}}\Bigl(\hat{T}(1,-1)+\hat{T}(1,1)\Bigr). \end{align*} \noindent Potřebujeme zjistit, jak vypadají hodnoty maticových elementů \[ \brapigket{\beta,l,m}{\hat{T}(1,\pm1)}{\beta,l,m}, \] \noindent neboť střední hodnoty $\hat{V}_1, \hat{V}_2$ jsou jejich lineární kombinací. Podle Wigner--Eckartova teorému \eqref{TOp:WignerEckart} platí \[ \brapigket{\beta,l,m}{\hat{T}(1,\pm1)}{\beta,l,m} = (1,l,\pm1,m|l,m) \braket{\beta,l,m}{z(\beta,l),l,m}. \] \noindent Jelikož CG koeficienty na pravé straně jsou rovny nule (je porušeno pravidlo součtu $m$), jsou nulové rovněž hledané střední hodnoty operátorů $\hat{V}_1, \hat{V}_2$. \end{example} Pro další příklady bude užitečné následující tvrzení. \begin{theorem} \label{TOp:VZjednodusseniPrikladu} Mějme dánu ÚMP $(\hat{A}$, $\hat{L}^2$, $\hat{L}_3)$ a k ní příslušející bázi vlastních vektorů $(\ket{a,l,m})$. Dále mějme dán vektorový operátor $\hat{\vec{V}}$. Potom pro $l \neq 0$ platí \begin{equation} \label{TOp:WEvzorec} \brapigket{a,l,m'}{\hat{\vec{V}}}{a,l,m} = \brapigket{a,l,m'} {\frac {\hat{\vec{L}} \cdot ( \hat{\vec{L}} \cdot \hat{\vec{V}} )} {\hat{L}^2}} {a,l,m}. \end{equation} \end{theorem} \begin{proof} Poznamenejme, že inverze operátoru $\hat{L}^2$ se nejsnáze definuje pomocí spektrálního rozkladu: na vektor $\ket{a,l,m}$ působí dle vztahu \[ \frac{1}{\hat{L}^2} \ket{a,l,m} = \frac{1}{\hbar^2 l(l+1)} \ket{a,l,m}. \] Podívejme se, zdali spolu nekomutují operátory $\hat{\vec{L}}$ a $\hat{\vec{L}} \cdot \hat{\vec{V}}$ \[ \komut{\hat{L}_j}{\hat{\vec{L}} \cdot \hat{\vec{V}}} = \hat{L}_i \komut{\hat{L}_j}{\hat{V}_i} + \komut{\hat{L}_j}{\hat{L}_i} \hat{V}_i. \] \noindent Výraz upravíme dále užitím komutačních relací vektorových operátorů \eqref{TOp:KomutVektOp} \[ \hat{L}_i \komut{\hat{L}_j}{\hat{V}_i} + \komut{\hat{L}_j}{\hat{L}_i} \hat{V}_i = \hat{L}_i i\hbar \epsilon_{jik} \hat{V}_k + i\hbar \epsilon_{jik} \hat{L}_k \hat{V}_i = i\hbar \epsilon_{jik}(\hat{L}_i \hat{V}_k + \hat{L}_k \hat{V}_i) = 0. \] Odsud plyne, že $\hat{\vec{L}} \cdot \hat{\vec{V}}$ je skalární operátor, totéž platí i pro $\hat{L}^2$ a potažmo jeho inverzi. Z~vlastností komutátorů na součinu \eqref{MomH:KomutacniTrik} pak rychle plyne, že $\frac {\hat{\vec{L}} \cdot ( \hat{\vec{L}} \cdot \hat{\vec{V}} )} {\hat{L}^2}$ je vektorový operátor. Na základě Wigner--Eckartova teorému \eqref{TOp:WignerEckart} stačí rovnost \eqref{TOp:WEvzorec} dokázat pro konkrétní složku $\hat{\vec{V}}$ a pro konkrétní hodnoty $m'$, $m$, pro něž CG koeficient $(1,l,q,m|l,m') \neq 0$. Zvolíme $q=0$, $m=m'=l$. Díky volbě $q=0$ víme, že na místě $\hat{\vec{V}}$ na levé straně rovnosti \eqref{TOp:WEvzorec} můžeme očekávat $\hat{V}_3$. Začneme s úpravou pravé strany. Nejprve využijeme dokázané komutační relace \[ \brapigket{a,l,l} {\frac {\hat{L}_3 \cdot ( \hat{\vec{L}} \cdot \hat{\vec{V}} )} {\hat{L}^2}} {a,l,l} = \frac{\hbar l}{\hbar^2l(l+1)} \brapigket{a,l,l}{(\hat{\vec{L}} \cdot \hat{\vec{V}})}{a,l,l}, \] kde dále skalární součin operátorů $(\hat{\vec{L}} \cdot \hat{\vec{V}})$ roznásobíme a komponenty impulsmomentu vyjádříme pomocí posunovacích operátorů $\hat{L}_\pm$ \[ \frac{1}{\hbar(l+1)} \brapigket{a,l,l}{\left(\hat{L}_3\hat{V}_3 + \frac{1}{2}(\hat{L}_+ + \hat{L}_-) \hat{V}_1 + \frac{1}{2i} ( \hat{L}_+ - \hat{L}_-) \hat{V}_2\right)}{a,l,l}. \] \noindent Operátor $\hat{L}_-$ necháme působit na bra $\bra{a,l,l}$ (což dá nulu). Využijeme komutace operátorů $\komut{\hat{L}_3}{\hat{V}_3}$, operátor $\hat{L}_3$ necháme působit a celý výraz roztrhneme na dvě části \[ \frac{l}{l+1}\brapigket{a,l,l}{\hat{V}_3}{a,l,l} + \frac{1}{2\hbar(l+1)}\brapigket{a,l,l}{\hat{L}_+ (\hat{V}_1 - i\hat{V}_2)}{a,l,l} \] a výraz $\hat{V}_1 - i\hat{V}_2$ převedeme na složky tenzorového operátoru užitím \eqref{TOp:PridruzTenzOp}: $\hat{V}_1 - i\hat{V}_2 = \sqrt{2} \hat{V}(1,-1)$. Zpětným dosazením potom dostáváme \[ \frac{l}{l+1}\brapigket{a,l,l}{\hat{V}_3}{a,l,l} + \frac{1}{\sqrt{2}\hbar(l+1)} \brapigket{a,l,l}{\hat{L}_+ \hat{V}(1,-1)}{a,l,l} = \] \[= \frac{l}{l+1}\brapigket{a,l,l}{\hat{V}_3}{a,l,l} + \frac{1}{\sqrt{2}\hbar(l+1)} \brapigket{a,l,l}{\komut{\hat{L}_+}{\hat{V}(1,-1)} + \hat{V}(1,-1) \hat{L}_+}{a,l,l}. \] \noindent Působení $\hat{L}_+$ na pravou stranu braketu dává nulu, zatímco komutátor $\komut{\hat{L}_+}{\hat{V}(1,-1)}$ je dle \eqref{TOp:DefIrTenzOp1} roven \[ \komut{\hat{L}_+}{\hat{V}(1,-1)} = \alpha^{(+)}(1,-1) \hat{V}(1,0)=\sqrt{2} \hbar \hat{V}_3. \] \noindent Dosazením pak dostáváme \[ \left( \frac{l}{l+1} + \frac{1}{l+1} \right) \brapigket{a,l,l}{\hat{V}_3}{a,l,l} = \brapigket{a,l,l}{\hat{V}_3}{a,l,l}, \] \noindent což bylo dokázati. Pomocí Wigner--Eckartova teorému můžeme odůvodnit platnost rovnosti pro všechny složky. \end{proof} \begin{example} Uvažujme systém složený ze dvou podsystémů. Máme určit střední hodnotu výsledku měření třetí komponenty impulsmomentu prvního podsystému provedených ve společném vlastním stavu kvadrátů impulsmomentů obou podsystémů, třetí komponenty impulsmomentu celého systému a kvadrátu impulsmomentu celého systému. \end{example} Střední hodnota 3. složky impulsmomentu 1. částice je dána maticovým elementem \[ \brapigket{l_1,l_2;l,m}{\hat{L}_{(1)3}}{l_1,l_2;l,m}, \] \noindent který užitím věty \ref{TOp:VZjednodusseniPrikladu} přechází na \[ \brapigket{l_1,l_2;l,m}{\frac{\hat{L}_3 \cdot (\hat{\vec{L}} \cdot \hat{\vec{L}}_{(1)})}{\hat{L}^2}}{l_1,l_2;l,m}= \frac{m}{\hbar l(l+1)} \brapigket{l_1,l_2;l,m}{\hat{\vec{L}} \cdot \hat{\vec{L}}_{(1)}}{l_1,l_2;l,m}, \] kde vyjádřením součinu operátorů $\hat{\vec{L}} \cdot \hat{\vec{L}}_{(1)}$ ve tvaru% \footnote{Operátory různých složek $\hat{\vec{L}}$ a $\hat{\vec{L}}_{(1)}$ nekomutují, ale stejných složek ano; díky tomu $\hat{\vec{L}} \cdot \hat{\vec{L}}_{(1)} = \hat{\vec{L}}_{(1)} \cdot \hat{\vec{L}}$. Bez tohoto pozorování by použitý rozklad nefungoval.} \[ \hat{\vec{L}} \cdot \hat{\vec{L}}_{(1)} = \frac{1}{2} \left( \hat{L}_{(1)}^2 + \hat{L}^2 - (\hat{\vec{L}} - \hat{\vec{L}}_{(1)})^2 \right) = \frac{1}{2} \left( \hat{L}_{(1)}^2 + \hat{L}^2 - \hat{L}_{(2)}^2 \right) \] dostáváme hledaný výsledek \[ \brapigket{l_1,l_2;l,m}{\hat{L}_{(1)3}}{l_1,l_2;l,m} = \frac{\hbar m}{2l(l+1)}\left( l_1(l_1+1)+l(l+1)-l_2(l_2+1) \right). \] Věta \ref{TOp:VZjednodusseniPrikladu} nám nedá odpověď pro $l=0$ (získaný výsledek na $l=0$ nelze ani rozšířit), ale tím zbývá jediná neznámá \[ \brapigket{l_1,l_2;0,0}{\hat{L}_{(1)3}}{l_1,l_2;0,0}, \] a to ještě jedině v případě $l_1 = l_2$, protože jinak by hodnota $l=0$ nebyla dosažitelná kvůli trojúhelníkové nerovnosti. V tomto případě získáme výsledek $0$ snadno na základě symetrie mezi $\hat{L}_{(1)}$ a $\hat{L}_{(2)}$ a známé střední hodnoty $\langle \hat{L}_3 \rangle = \langle \hat{L}_{(1)3} + \hat{L}_{(2)3} \rangle = 0$. \begin{example} Užijte Wigner--Eckartova teorému k výpočtu Starkova jevu v poruchové teorii do 1. řádu pro základní a první excitovaný stav elektronu v atomu vodíku. Starkovým jevem nazýváme rozštěpení spektrálních čar atomu vlivem homogenního vnějšího elektrostatického pole. Elektron atomu vodíku v homogenním elektrostatickém poli $\vec{E}=(0,0,E)$ můžeme popsat hamiltoniánem \[ \hat{H}= \frac{\hat{\vec{P}}^2}{2m_e} - \frac{e^2}{4 \pi \epsilon_0 |\hat{\vec{X}}|} + e E \hat{X}_3. \] Poslední člen budeme považovat za malou opravu $\hat{H}_0$ popisující atom vodíku bez vnějšího elektrického pole. Vlastní funkce $\hat{H}_0$, které označíme $\ket{n,l,m}$, splňují \begin{align*} \hat{H}_0 \ket{n,l,m} &= \frac{-R}{n^2} \ket{n,l,m}, \\ \hat{L}^2 \ket{n,l,m} &= \hbar^2 l(l+1) \ket{n,l,m}, &&\hskip-80pt l \in \{0, 1, \dots, n-1 \}, \\ \hat{L}_3 \ket{n,l,m} &= \hbar m \ket{n,l,m}, &&\hskip-80pt m \in \{-l, \dots, l \}, \end{align*} kde $R$ značí Rydbergovu energii, která pro atom vodíku nabývá hodnoty $R \approx 13,6 eV$. $n$ nazýváme hlavní kvantové číslo ($n=1,2,\dots$). Při $n=1$ mluvíme o základním stavu, $n=2$ o 1. excitovaném atd. Je zřejmé, že mimo základní stav jsou všechny hladiny energie degenerované. Poslední člen hamiltoniánu chápeme jako poruchový člen. Z výše uvedeného plyne nutnost použít poruchové teorie pro degenerované spektrum (viz \cite{hlav:QM}). Dle této teorie je naším úkolem najít matici $\mathbb{B}$ s elementy tvaru \begin{equation} \label{TOp:StarkElement} \mathbb{B}_{ij} = \mathbb{B}_{(L,M),(l,m)} = \brapigket{n,L,M}{eE\hat{X}_3}{n,l,m}, \end{equation} jejíž vlastní hodnoty představují 1. opravy energie. V dalším budeme uvažovat maticový element bez $eE$. Víme, že k vektorovému operátoru $\hat{\vec{X}}$ existuje ireducibilní tenzorový operátor 1. řádu $\hat{\mathbb{T}}(1)$ tak, že $\hat{X}_3 = \hat{T}(1,0)$ (viz \eqref{TOp:PridruzTenzOp}). Tím máme vše připraveno k nasazení Wigner--Eckartova teorému, jež použijeme zapsaný ve tvaru \eqref{TOp:WignerEckart1}. Věnujme se nejprve základnímu stavu. Zde máme jediný možný maticový element \[ \brapigket{1,0,0}{\hat{T}(1,0)}{1,0,0} = (1,0,0,0|0,0) (-1) (1,0 \left\|\hat{\tenzop}(1)\right\| 1,0). \] Díky nulovosti CG koeficientu na pravé straně (porušena trojúhelníková nerovnost mezi hodnotami $1,0,0$) můžeme prohlásit, že ke Starkově jevu na základním stavu při poruchové teorie do prvního řádu nedochází.% \footnote{Poruchová teorie do druhého řádu by vedla k posunu energetické hladiny i pro základní stav.} Přistupme k 1. excitovanému stavu. Zde musíme obdržet matici $4\times4$, neboť ve vlastním vektoru $\ket{2,l,m}$ musí uspořádaná dvojice $(l,m)$ procházet množinu $\{(0,0),\allowbreak (1,-1),\allowbreak (1,0),\allowbreak (1,1) \}$. Dále o hledané matici předem víme, že bude samosdružená, neboť \[ \brapigket{n,L,M}{\hat{X}_3}{n,l,m} = \brapigket{n,l,m}{\hat{X}_3}{n,L,M}^\ast. \] Využijme opět Wigner--Eckartova teorému k určení maticových elementů \begin{equation} \label{TOp:StarkExc2} \brapigket{2,L,M}{\hat{T}(1,0)}{2,l,m} = (1,l,0,m|L,M) \frac{(-1)^{L+1-l}}{(2L+1)^{1/2}} (2,L \left\|\hat{\tenzop}(1)\right\| 2,l). \end{equation} Snadno nalezneme možné hodnoty $(l,m,L,M)$, aby CG koeficient byl triviálně nenulový. Zůstane nám pět možných kandidátů na nenulový maticový element \begin{subequations} \begin{align} \bra{2,1,0}&\hat{X}_3\ket{2,0,0}, \label{TOp:StarkKandidat1} \\ \bra{2,0,0}&\hat{X}_3\ket{2,1,0}, \label{TOp:StarkKandidat2} \\ \bra{2,1,-1}&\hat{X}_3\ket{2,1,-1}, \label{TOp:StarkKandidat3} \\ \bra{2,1,1}&\hat{X}_3\ket{2,1,1}, \label{TOp:StarkKandidat4} \\ \bra{2,1,0}&\hat{X}_3\ket{2,1,0}, \label{TOp:StarkKandidat5} \end{align} \end{subequations} CG koeficient vystupující na pravé straně posledního maticového elementu je rovněž nulový (již netriviálně). Zbývají nám 4 kandidáti, které již musíme napočítat přímo z~tvarů vlastních vektorů. Zde jsou jejich explicitní vyjádření: \[ \ket{2,0,0} = \frac{(1-\rho/2) e^{-\rho/2}}{\sqrt{8 \pi a_0^3}}, \quad \ket{2,1,0} = \frac{\rho e^{-\rho/2} \cos(\vartheta)}{\sqrt{32 \pi a_0^3}}, \quad \ket{2,1,1} = \frac{\rho e^{-\rho/2} \sin(\vartheta) e^{i \varphi}}{\sqrt{64 \pi a_0^3}}, \] kde $a_0$ představuje Bohrův poloměr, $\rho = r/a_0$. Přešli jsme ke sférickým souřadnicím $(x,y,z) \mapsto (\rho,\vartheta,\varphi)$ s jakobiánem $|\mathscr{J}|=a_0^3 \rho^2 \sin(\vartheta)$. Transformace ovlivnila i vyjádření operátoru $\hat{X}_3 = a_0 \rho \cos(\vartheta)$. Určeme nyní maticový element \eqref{TOp:StarkKandidat4} přímo z definice skalárního součinu. Po pečlivém dosazení a úpravě integrandu dostáváme \[ \brapigket{2,1,1}{\hat{X}_3}{2,1,1} = \frac{a_0}{64 \pi} \int\limits_{\real^+} d\rho \int\limits_0^{2\pi} d\varphi \int\limits_0^\pi d\vartheta \rho ^5 e^{-\rho} \sin^3(\vartheta) \cos(\vartheta) = 0. \] To ovšem znamená, že redukovaný maticový element na pravé straně \eqref{TOp:StarkExc2} musí být pro $l=L=1$ nulový. Tím pádem je nulový i maticový element \eqref{TOp:StarkKandidat3}. Maticový element \eqref{TOp:StarkKandidat2} určíme stejným postupem \[ \brapigket{2,0,0}{\hat{X}_3}{2,1,0} = \frac{a_0}{16 \pi} \int\limits_{\real^+} d\rho \int\limits_0^{2\pi} d\varphi \int\limits_0^\pi d\vartheta \rho ^4 (1-\rho/2) e^{-\rho} \sin(\vartheta) \cos^2(\vartheta) = -3a_0 \] a jelikož maticový element \eqref{TOp:StarkKandidat1} je jeho komplexním sdružením, musí být \[ \brapigket{2,1,0}{\hat{X}_3}{2,0,0} = -3a_0. \] Vraťme se nyní k původní úloze \eqref{TOp:StarkElement} a sepišme naše výsledky do matice% \footnote{Indexaci řádkových a sloupcových prvků můžeme volit dle libosti. Musíme však zachovat stejnou indexaci v řádku a sloupci. V našem příkladě volíme výše uvedené pořadí $((0,0), (1,-1), (1,0), (1,1))$.} \[ \mathbb{B} = \begin{pmatrix} 0 & 0 & -3eEa_0 & 0 \\ 0 & 0 & 0 & 0 \\ -3eEa_0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ \end{pmatrix}. \] Spektrum obsahuje vlastní čísla $\sigma_{\mathbb{B}} = \{ 0, \pm 3eEa_0 \}$. Dle poruchové teorie do 1. řádu tedy dojde k rozštěpení prvního excitovaného stavu na 3 energie: $E_0=-R/4$ s degenerací 2 a $E_{1,2}=-R/4 \pm 3eEa_0$, každá s degenerací 1 (podle algebraické násobnosti vlastních čísel matice $\mathbb{B}$). Dospěli jsme k výsledku, který je ve shodě s výsledkem získaným odlišným postupem v \cite{hlav:QM}. \end{example} \begin{remark} Výhody Wigner--Eckartova bychom docenili až na vyšších excitovaných stavech, popř. při vyšších řádech poruchové teorie. Již při druhém excitovaném stavu by matice $\mathbb{B}$ měla rozměr $9 \times 9$. \end{remark}