\chapter{Beispiel: 2-dim. harmonischer Oszillator}
\section{Bestimmung des Spektrum: Abbildung auf 1-dim. harmonischer Oszillator}
Teilchen mit Masse $\mu$ in $V(x,y)$:
\begin{align}
	V(x,y) &= \frac{\mu}{2} \omega^2 (x^2 + y^2)\\
	&= \frac{\mu}{2} \omega^2 \rho^2
\end{align}
\paragraph{Lösung der Schrödingergleichung} Naiver Weg: Asymptotik abspalten und Potenzreihenansatz in
\begin{equation}Darstellung
	\left( -\frac{k^2}{2\mu} \left( \diffPs{\rho}^2 + \frac{1}{\rho} \diffPs{\rho} - \frac{m^2}{\rho^2} \right) + V(\rho) \right) R_m(\rho) = E R_m(\rho)
\end{equation}
der abberchen muss woraus das Spektrum folgt.
\begin{equation}
	\left( -\frac{\hbar^2}{2\mu} \left( \diffPs{x}^2 \diffPs{y}^2 \right) + \frac{\mu}{2} \omega^2 (x^2 + y^2) \right) \phi(x,y) = E \phi(x,y)
\end{equation}
Lösung durch Separation der Variablen: Mit
\begin{equation}
	\phi(x,y) = \psi_1(x) \cdot \psi_2(y)
\end{equation}
erhält man
\begin{equation}
	\underbrace{\frac{\left( -\frac{\hbar^2}{2\mu} \diffPs{x}^2 + \frac{\mu}{2} \omega^2 x^2 \right) \psi_1}{\psi_1}}_{\equiv E_1} +
	\underbrace{\frac{\left( -\frac{\hbar^2}{2\mu} \diffPs{y}^2 + \frac{\mu}{2} \omega^2 y^2 \right) \psi_2}{\psi_2}}_{\equiv E_2}
\end{equation}
daraus folgt:
\begin{align}
	E_1 &= \hbar \omega \left( n_1 + \frac{1}{2} \right)\\
	E_2 &= \hbar \omega \left( n_2 + \frac{1}{2} \right)
\end{align}
Spektrum des 2-dimensionalen harmonischen Oszillators:
\begin{align}
	E &= \hbar \omega \left( n_1 + n_2 + \frac{1}{2} + \frac{1}{2} \right) & \left( n_{1,2} = 0,1,2,... \right)\\
	\rightarrow E &= \hbar \omega (N + 1) & \left( N = 0,1,2,... \right)
\end{align}
Die Eigenvektoren sind dann: $\ket{n_1,n_2}$. Darüber hinaus sind alle $n_1$, $n_2$ mit $n_1 + n_2 = N$ entartet:
%\begin{figure}[H] \centering
%\includegraphics{pdf/III/03-01-00.pdf}
%\end{figure}
$\Rightarrow$ $N$ ist $(N+1)$-fach entartet!
\paragraph{Befund} Rotationsinvarianz ist nicht sichtbar in der Darstellung$ \ket{n_1,n_2}$: Beispielsweise ist im Ortsraum
\begin{equation}
	\braket{x,y}{0,1} = \underbrace{\braket{x}{1}}_{\phi_1(x)} \underbrace{\braket{y}{0}}_{\phi_0(y)} = \const \cdot x e^{-\frac{x^2}{2}} e^{-\frac{y^2}{2}}
\end{equation}
nicht rotationsinvariant.

\section{Explizite Rotationsinvarianz}
Wir suchen $\ket{n,m}$ mit:
\begin{align}
	H \ket{n,m} &= E_{n,m} \ket{N,m}\\
	J_3 \ket{n,m} &= \hbar m \ket{N,m}
\end{align}
Wobei wir bereits $\set{\ket{n_1,n_2}}$ haben, d.h. letztlich: $\braket{n,m}{n_1,n_2}$. Die Erzeuger- und Vernichteroperatoren sind:
\begin{itemize}
	\item Harmonischer Oszillator in $x$-Richtung:
		\begin{align}
			\aDs_1 &= \frac{1}{\sqrt{2}} (x + i p_x)\\
			\aCr_1 &= \frac{1}{\sqrt{2}} (x - i p_x)
		\end{align}
	\item Harmonischer Oszillator in $y$-Richtung:
		\begin{align}
			\aDs_2 &= \frac{1}{\sqrt{2}} (y + i p_y)\\
			\aCr_2 &= \frac{1}{\sqrt{2}} (y - i p_y)
		\end{align}
\end{itemize}
Daraus ergibt sich der Hamiltonoperator zu
\begin{equation}
	H = \hbar \omega \left( \aCr_1 \aDs_1 + \aCr_2 \aDs + \frac{1}{2} + \frac{1}{2} \right)
\end{equation}
und mit
\begin{equation}
	\nOp_1 = \aCr_1 \aDs_1 ; ~ \nOp_1 = \aCr_2 \aDs_2 ; ~ \ket{n_1,n_2} = \ket{n_1} \otimes \ket{n_2}
\end{equation}
und
\begin{align}
	\aCr_1 \ket{n_1, n_2} &= \sqrt{n_1 + 1} \ket{n_1+1,n_2} \\
	\aDs_2 \ket{n_1, n_2} &= \sqrt{n_2} \ket{n_1,n_2-1}
\end{align}
ist:
\begin{equation}
	H \ket{n_1,n_2} = \hbar \omega (n_1 + n_2 + 1) \ket{n_1, n_2}
\end{equation}
$J_3$ in Ortsdarstellung ist
\begin{align}
	J_3 &= \hbar \left( x \cdot p_y - y \cdot p_x \right) \\
	&= \hbar \left( \frac{1}{\sqrt{2}} \left( \aCr_1 + \aDs_1 \right) \cdot \frac{i}{\sqrt{2}} \left( \aCr_2 - \aDs_2 \right) - \frac{1}{\sqrt{2}} \left( \aCr_2 + \aDs_2 \right) \cdot \frac{i}{\sqrt{2}} \left( \aCr_1 - \aDs_1 \right) \right) \\
	&= i\hbar \left( -\aCr_1 \aDs_2 + \aCr_2 \aDs_1 \right)
\end{align}
und damit:
\begin{align}
	J_3 \ket{0,0} &= i\hbar \left( -\aCr_1 \aDs_2 + \aCr_2 \aDs_1 \right) \ket{0,0} \\
	&= i\hbar \ket{\zero} \\
	&= \zero \ket{0,0}\\[15pt]
	J_3 \ket{0,1} &= i\hbar \left( -\aCr_1 \aDs_2 + \aCr_2 \aDs_1 \right) \ket{0,1} \\
	&= -i\hbar \ket{1,0} \\[15pt]
	J_3 \ket{1,0} &= i\hbar \ket{0,1}
\end{align}
Ansatz:
\begin{align}
	J_3 \left( c_1 \ket{0,1} + c_2 \ket{1,0} \right) &\stackrel{!}{=} \eta \left( c_1 \ket{0,1} + c_2 \ket{1,0} \right)\\
	c_1 (-i\hbar) \ket{1,0} + c_2 (i\hbar) \ket{1,0} &\stackrel{!}{=} \eta \left( c_1 \ket{0,1} + c_2 \ket{1,0} \right)\\[15pt]
	\Rightarrow c_2 (i\hbar) &= \eta c_1\\
	c_1 (-i\hbar) &= \mu c_2\\[15pt]
	\Rightarrow \eta &= i\hbar
\end{align}
Eigenvektoren von $J_3$:
\begin{itemize}
	\item zu $\eta = +i \hbar$:
		\begin{equation}
			c_1 = i c_2 \rightarrow \frac{1}{\sqrt{2}} \underbrace{\left( \ket{0,1} - i\ket{1,0} \right)}_{\ket{N=1,m=1}}
		\end{equation}
	\item zu $\eta = -i \hbar$:
		\begin{equation}
			c_2 = i c_1 \rightarrow \frac{1}{\sqrt{2}} \left( \ket{0,1} + i\ket{1,0} \right)
		\end{equation}
\end{itemize}
\begin{align}
	\braket{x,y}{N=1,m=1} &= \bra{x,y \frac{1}{\sqrt{2}}} \left( \ket{0,1} + i\ket{1,0} \right)\\
	&= \const (y - ix) e^{-\frac{x^2}{2}} e^{-\frac{y^2}{2}}\\
	&= \const (-i) (x + iy) e^{-\frac{x^2}{2}} e^{-\frac{y^2}{2}}\\
	&= \const (-i) \rho e^{i\phi} e^{-\frac{\rho^2}{2}} \left[ = \braket{\rho,\phi}{N=1,m=1} \right]\\
	&= \const (-i) \underbrace{e^{i\phi}}_{\chi_1(\phi)} \underbrace{\rho e^{-\frac{\rho^2}{2}}}_{R_{n=...,m=1}(\rho)}
\end{align}
Spektrum:\\
Definiere neue erzeuger und Vernichter
\begin{align}
	\aDs_\pm &\equiv \frac{1}{\sqrt{2}} \left( \aDs_1 \mp i\aDs_2 \right)\\
	\aCr_\pm &\equiv \frac{1}{\sqrt{2}} \left( \aCr_1 \pm i\aCr_2 \right)
\end{align}
mit Anzahloperator
\begin{equation}
	\nOp_\pm = \aCr_\pm \aDs_\pm
\end{equation}
Kommutator:
\begin{equation}
	\left[\aDs_+, \aCr_+\right] = 1 = \left[\aDs_-, \aCr_-\right] \text{ (alle anderen sind $0$)}
\end{equation}
Hamiltonoperator:
\begin{equation}
	H = \hbar \omega \left( \aCr_+ \aDs_+ + \aCr_- \aDs_- + 1 \right)
\end{equation}
Drehoperator:
\begin{align}
	J_3 &= \hbar \left( \aCr_+ \aDs_+ - \aCr_- \aDs_- \right)\\
	&= \hbar \left( \nOp_+ - \nOp_- \right)
\end{align}
und daraus ist
\begin{equation}
	H = \hbar \omega \left( \nOp_+ + \nOp_- + 1 \right)
\end{equation}
d.h.
\begin{align}
	H \ket{n_+,n_-} &= \hbar \omega (\overbrace{n_+ + n_-}^{N} + 1) \ket{n_+,n_-}\\
	J_3 \ket{n_+,n_-} &= \hbar \overbrace{(n_+ - n_-)}^{m} \ket{n_+,n_-}\\
\end{align}
Daraus folgt:
\begin{enumerate}
	\item Für gegebenes $n_+ + n_- = N$ kann $m = N, N-2, N-4, ..., -N$ sein. ($(N+1)$-fache Entartung!)
	\item Für festes $m$ kann $N = \abs{m} + 2n_r$ sein.
\end{enumerate}
Wir hatten in (\ref{rotSymSGL}) für das Spektrum:
%\begin{figure}[H] \centering
%\includegraphics{pdf/III/03-02-00.pdf}
%\end{figure}
\paragraph{Erklärung der höheren Entartung}
``Rotation im Iso-Spin Raum''
\begin{align}
	H &= \hbar \omega \left( 1 + \inlinematrix{\aCr_1 & \aCr_2} \inlinematrixdet{1 & 0 \\ 0 & 1} \inlinematrixdet{\aDs_1 \\ \aDs_2} \right)\\
	&= \hbar \omega \left( 1 + \inlinematrix{\aCr_1 & \aCr_2} e^{i\phi\sigma_z} \inlinematrixdet{1 & 0 \\ 0 & 1} e^{-i\phi\sigma_z} \inlinematrixdet{\aDs_1 \\ \aDs_2} \right)\\
	&= \hbar \omega \left( 1 + \inlinematrix{h^\dagger_1 & h^\dagger_2} \inlinematrixdet{1 & 0 \\ 0 & 1} \inlinematrixdet{h_1 \\ h_2} \right)
\end{align}
mit
\begin{equation}
	\inlinematrix{h_1 \\ h_2} = \left(\cos(\phi) \one - i\sin(\phi)\sigma_z\right) \inlinematrix{\aDs_1 \\ \aDs_2}
\end{equation}
für $\phi = \frac{\pi}{2}$ ist
\begin{equation}
	h_{1/2} \cequiv a_\pm
\end{equation}

\section{Vollständiger Satz kommutierender Obselvablen (gute und schlechte Quantenzahlen)}
\paragraph{Variante 1}
\begin{equation}
	H = H_1 + H_2 , ~ H_1 = \frac{p_x}{2\mu} + \frac{\mu}{2} \omega^2 x^2 , ~ H_2 = \frac{p_y}{2\mu} + \frac{\mu}{2} \omega^2 y^2
\end{equation}
\begin{align}
	H\ket{\phi} &= E\ket{\phi}\\
	H\ket{n_1,n_2} &= E(n_1,n_2)\ket{n_1,n_2}
\end{align}
mit
\begin{equation}
	E(n_1,n_2) = \hbar \omega \left( n_1 + n_2 + 1 \right)
\end{equation}
für $n_1, n_2 = 0, 1, 2, ...$ und den Kommutatoren
\begin{equation}
	[H,H_2] \neq [H,H_1] \neq [H_1,H_2] = 0
\end{equation}
und
\begin{equation}
	H \ket{N,n_2} = E(N,n_2)\ket{N,n_2}
\end{equation}
mit
\begin{equation}
	E(N,n_2) = \hbar \omega (N+1); ~ n_2 = 0,1,2,...; ~ N = n_2,n_2+1,n_2+2,...
\end{equation}
VSKO (CSCO): $(H,H_1)$ , $(H,H_2)$ oder $(H_1,H_2)$\\
Problem:
\begin{equation}
	J_3\ket{n_1,n_2} \neq \const \ket{n_1,n_2}
\end{equation}
d.h.
\begin{equation}
	[J_3,H_1] \neq 0 \neq [J_3,H_2]
\end{equation}
aber
\begin{equation}
	[J_3,H] = 0
\end{equation}

\paragraph{Variante 2}
\begin{align}
	H &= \hbar \omega \left( \aCr_+ \aDs_+ + \aCr_- \aDs + 1 \right)\\
	H\ket{n_+,n_-} &= E(n_+,n_-)\ket{n_+,n_-}
\end{align}
mit
\begin{equation}
	E(n_+,n_-) = \hbar \omega \left( n_+ + n_- + 1 \right)
\end{equation}
für
\begin{equation}
	n_+,n_- = 0,1,2,...
\end{equation}
und
\begin{equation}
	J_3 \ket{n_+,n_-} = m \hbar \ket{n_+,n_-}
\end{equation}
mit
\begin{equation}
	m(n_+,n_-) = n_+ - n_-
\end{equation}

%TODO...
