\chapter{Harmonischer Oszilator}
\section{Algebraische Lösung des Spektrums von $H$}
\begin{align}
	H &= \frac{P^2}{2 m} + \frac{m}{2} \omega^2 X^2; \text{ mit } \hat{x} \equiv \left( \frac{m \omega}{\hbar} \right)^\frac{1}{2} X; ~ \hat{p} \equiv \left( \frac{1}{\hbar m \omega} \right)^2 P
	&= \frac{\hbar \omega}{2} \left( \hat{p}^2 + \hat{x}^2 \right)
\end{align}
mit
\begin{equation}
	[\hat{x}, \hat{p}] = i
\end{equation}
\paragraph{Vernichtungsoperator}
\begin{align}
	\aDs \equiv \frac{1}{\sqrt{2}} \left( \hat{x} + i \hat{p} \right)\\
	\aCr \equiv \frac{1}{\sqrt{2}} \left( \hat{x} - i \hat{p} \right)
\end{align}
daraus ergeben sich $\hat{x}$ und $\hat{p}$ als:
\begin{align}
	\hat{x} &= \frac{1}{\sqrt{2}} \left( \aDs + \aCr \right)\\
	\hat{p} &= \frac{1}{\sqrt{2}} \left( \aDs - \aCr \right)
\end{align}

\subparagraph{Kommutator}
\begin{align}
	[\aDs, \aCr] &= \frac{1}{2} [\hat{x} + i \hat{p}, \hat{x} - i \hat{p}]\\
	&= -i[\hat{x}, \hat{p}]\\
	&= \one = 1
\end{align}
eingesetzt in $H$:
\begin{align}
	H &= \frac{\hbar \omega}{2} \left( \hat{p}^2 + \hat{x}^2 \right)\\
	&= \frac{\hbar \omega}{4} \left( -\left( \aCr\aCr - \aDs\aCr - \aDs\aCr + \aDs\aDs \right) + \left( \aDs\aDs + \aDs\aCr + \aCr\aDs + \aCr\aCr \right) \right)\\
	&= \frac{\hbar \omega}{4} \left( 2\aDs\aCr + 2\aCr\aDs \right)\\
	&= \frac{\hbar \omega}{2} \left( 2\aCr\aDs + \one \right)\\
	&= \hbar \omega \left( \aCr\aDs + \frac{\one}{2} \right)
\end{align}

\paragraph{Anzahloperator}
\begin{equation}
	\nOp \equiv \aCr \aDs
\end{equation}

\subparagraph{Kommutatoren}
\begin{align}
	[\nOp, \aDs] &= [\aCr\aDs, \aDs] = [\aCr, \aDs] \aDs = -\aDs\\
	[\nOp, \aCr] &= [\aCr\aDs, \aCr] = \aDs [\aDs, \aDs] = \aCr
\end{align}

\subparagraph*{Spektrum von $\nOp$}
\begin{enumerate}
	\item Sei $\ket{\nu}$ Eigenvektor von $\nOp$ mit Eigenwert $\nu$:
		\begin{equation}
			\nOp \ket{\nu} = \nu \ket{\nu} \text{ mit } \braket{\nu}{\nu} > 0
		\end{equation}
	\item
		\begin{align}
			\nOp \aDs \ket{\nu} &= \aCr \aDs \aDs \ket{\nu}\\
			&= \left( \aDs \aCr - \one \right) \aDs \ket{\nu}\\
			&= \aDs \nOp \ket{\nu} - \aDs \ket{\nu}\\
			&= \aDs \cdot \nu \ket{\nu} - \aDs \ket{\nu}\\
			&= \left(\nu - 1\right) \aDs \ket{\nu}
		\end{align}
		$\rightarrow$ $\aDs\ket{\nu}$ ist Eigenvektor von $\nOp$ zum Eigenwert $\left( \nu - 1 \right)$\\
		\underline{oder}:
		\begin{equation}
			\aDs\ket{\nu} = \zero \text{ (Nullvektor)}
		\end{equation}
	\item
		\begin{equation}
			0 \leq \norm{\aDs \ket{\nu}}^2 = \braket{\nu}{\aCr \aDs \nu} = \nu \underbrace{\braket{\nu}{\nu}}_{\geq 0}
		\end{equation}
		%\begin{figure}[h]
		%\includegraphics{pdf/II/05-01-00.pdf}
		%\end{figure}
		Die obige Ungleichung wäre nach mehrfacher Anwendung von $\aDs \ket{\nu}$ verletzt wenn anfänglich $\nu$ keine ganze positive Zahl ist.
	\item
		\begin{align}
			\nOp \aCr \ket{\nu} &= \aCr \aDs \aCr \ket{\nu}\\
			&= \aCr \left( \aCr \aDs + 1 \right)\ket{\nu}\\
			&= \aCr \left( \nu + 1 \right) \ket{\nu}\\
			&= \left( \nu + 1 \right) \aCr \ket{\nu}
		\end{align}
	\item
		\begin{align}
			0 \leq \norm{\aCr \ket{\nu}}^2 &= \braket{\nu}{\aDs \aCr \nu} = \dirac{\nu}{\aCr \aDs + 1}{\nu}\\
			&= \left( \nu + 1 \right) \aCr \ket{\nu}
		\end{align}
		$\rightarrow$ kein Problem
\end{enumerate}
Daraus ergibt sich das Spektrum von $\nOp$:
\begin{equation}
	\nOp \ket{n} = n \ket{n} \text{ mit } n \in \setZ^+_0
\end{equation}
%\begin{figure}[h]
%\includegraphics{pdf/II/05-01-01.pdf}
%\end{figure}
und das Spektrum von $H$:
\begin{equation}
	H \ket{n} = \hbar \omega \left( n + \frac{1}{2} \right) \ket{n}
\end{equation}
\begin{enumerate}
	\item nur diskrete Eigenwerte erlaubt: Quantisierung
	\item Grundzustandsenergie (auch Nullzustandsenergie):
		\begin{equation}
			E_0 = \frac{\hbar \omega}{2}
		\end{equation}
	\item Es gilt:
		\begin{equation}
			a \ket{0} = \ket{\zero}
		\end{equation}
	\item klassischer harmonischer Oszilator (mit $m = 1\text{kg}$; $\omega = \frac{1}{\text{sec}}$):
		\begin{align}
			\Delta E &= E_{n+1} - E_n = 10^{-34}\text{J}\\
			E_0 &= \frac{m}{2} \omega^2 x^2 = 1 \text{J}
		\end{align}
\end{enumerate}

\paragraph*{Matrixelemente der Erzeuger- und Vernichter-Operatoren}
\begin{align}
	\aCr \ket{n} &= c_n \ket{n+1} ~ \left( \ket{n} \text{ seien normiert} \right)\\[15pt]
	\rightarrow \abs{c_n}^2 &= \dirac{n}{\aDs \aCr}{n}\\
	&= \dirac{n}{\aCr\aDs + 1}{n}\\
	&= (n + 1) \underbrace{\braket{n}{n}}_{1}\\[15pt]
	\rightarrow c_n &= \sqrt{n + 1} \text{ (Phase absichtlich 1 gesetzt)}
\end{align}
daraus ergibt sich
\begin{equation}
	\aCr \ket{n} = \sqrt{n + 1} \ket{n + 1} \label{eqn03}
\end{equation}
insbesondere
\begin{align}
	\aCr \ket{0} &= 1 \ket{1} \Rightarrow \ket{1} = \aCr \ket{0}\\
	\aCr \ket{1} &= \sqrt{2} \ket{2} \Rightarrow \ket{2} = \frac{1}{\sqrt{2}} \aCr \ket{1} = \frac{1}{\sqrt{2}} \frac{1}{\sqrt{1}} \aCr \aCr \ket{0}
\end{align}
und analog zu \ref{eqn03} gilt:
\begin{equation}
	\aDs \ket{n} = \sqrt{n} \ket{n - 1}
\end{equation}
Man erhält nun aus dem Obigen die allgemeine Form für $\ket{n}$:
\begin{equation}
	\boxed{\ket{n} = \frac{1}{\sqrt{n!}} \left( \aCr \right)^n \ket{0}}
\end{equation}
Die Matrixelemente von $\aCr$ sind dann:
\begin{align}
	\dirac{n'}{\aCr}{n} &= \sqrt{n + 1} \braket{n'}{n + 1}\\
	&= \sqrt{n + 1} \krondelta{n', n + 1}
\end{align}
und ebenso die Matrixelemente von $a = \left( \aCr \right)^\dagger$:
\begin{align}
	\dirac{n'}{\aDs}{n} &= \dirac{n}{\aCr}{n}\\
	&= \sqrt{n} \krondelta{n, n + 1}
\end{align}
als Matrix:
\begin{align}
	\aDs &= \inlinematrix{
		0      & \sqrt{1} & 0        & 0        & 0      & \cdots \\
		0      & 0        & \sqrt{2} & 0        & 0      & \cdots \\
		0      & 0        & 0        & \sqrt{3} & 0      & \cdots \\
		0      & 0        & 0        & 0        & \ddots &        \\
		\vdots & \vdots   & \vdots   & \vdots   &        &
	}\\
	\aCr &= \inlinematrix{
		0        & 0        & 0        & 0      & \cdots \\
		\sqrt{1} & 0        & 0        & 0      & \cdots \\
		0        & \sqrt{2} & 0        & 0      & \cdots \\
		0        & 0        & \sqrt{3} & 0      & \cdots \\
		0        & 0        & 0        & \ddots &        \\
		\vdots   & \vdots   & \vdots   &        &
	}\\
	\aDs\aCr &= \inlinematrix{
		1      & 0      & 0      & 0      & \cdots \\
		0      & 2      & 0      & 0      & \cdots \\
		0      & 0      & 3      & 0      & \cdots \\
		0      & 0      & 0      & \ddots &        \\
		\vdots & \vdots & \vdots &        &
	}\\
	\aCr\aDs &= \inlinematrix{
		0      & 0      & 0      & 0      & 0      & \cdots \\
		0      & 1      & 0      & 0      & 0      & \cdots \\
		0      & 0      & 2      & 0      & 0      & \cdots \\
		0      & 0      & 0      & 3      & 0      & \cdots \\
		0      & 0      & 0      & 0      & \ddots &        \\
		\vdots & \vdots & \vdots & \vdots &        &
	}
\end{align}
\begin{equation}
	\left( \left[\aDs, \aCr \right] = \right) \aDs\aCr - \aCr\aDs = 1
\end{equation}
\begin{align}
	\hat{x} &= \frac{1}{\sqrt{2}} \inlinematrix{
		0        & \sqrt{1} & 0        & 0        & 0      & \cdots \\
		\sqrt{1} & 0        & \sqrt{2} & 0        & 0      & \cdots \\
		0        & \sqrt{2} & 0        & \sqrt{3} & 0      & \cdots \\
		0        & 0        & \sqrt{3} & 0        & \ddots &        \\
		0        & 0        & 0        & \ddots   & \ddots &        \\
		\vdots   & \vdots   & \vdots   &          &        & 
	}\\
	\hat{p} &= \frac{i}{\sqrt{2}} \inlinematrix{
		0        & -\sqrt{1} & 0         & 0         & 0      & \cdots \\
		\sqrt{1} & 0         & -\sqrt{2} & 0         & 0      & \cdots \\
		0        & \sqrt{2}  & 0         & -\sqrt{3} & 0      & \cdots \\
		0        & 0         & \sqrt{3}  & 0         & \ddots &        \\
		0        & 0         & 0         & \ddots    & \ddots &        \\
		\vdots   & \vdots    & \vdots    &           &        & 
	}\\
\end{align}
\begin{align}
	\left[ \hat{x}, \hat{p} \right] &= i \one\\[15pt]
	\tr\left[ \hat{x}, \hat{p} \right] &= \tr\left( i \one \right)\\
	\tr\left( \hat{x}\hat{p} - \hat{p}\hat{x} \right) &= \tr\left( i \one \right)\\
	0 &= i \infty \text{ (falls Spur zyklisch $\leftarrow$ gilt nur für endliche Räume)}
\end{align}

\section{Wellenfunktion im Ortsaum}
Gesucht:
\begin{align}
	\phi_n(x) &= \braket{x}{n}\\
	\phi_0(x) &= \braket{x}{0}
\end{align}
Wir wissen:
\begin{equation}
	\aDs \ket{0} = \zero
\end{equation}
daraus ergibt sich
\begin{align}
	\frac{1}{\sqrt{2}} \left( \hat{x} + i\hat{p} \right) \ket{0} &= \zero &\left| \bra{x} \right.\\
	\dirac{x}{\hat{x} + i\hat{p}}{0} &= 0\\
	x + i(-i) \diffPs{x} \phi_0(x) &= 0 &\left(\text{denn: } \dirac{x}{\hat{p}}{\psi} = -i \hbar \diffPs{x} \psi(x) \right)\\
	\rightarrow \left(x - \diffPs{x} \right) \phi_0(x) &= 0\\
	\phi_0(x) &= c \cdot e^{-\frac{x^2}{2}}
\end{align}
Normierung:
\begin{equation}
	\intgr{-\infty}{+\infty}{\phi_0(x) \phi_0^*(x)}{x} \stackrel{!}{=} 1 ~ \rightarrow ~ c = \frac{1}{\pi^\frac{1}{4}}
\end{equation}
%\begin{figure}[h]
%\includegraphics{pdf/II/05-02-00.pdf}
%\end{figure}
\paragraph*{Angeregte Zustände}
\begin{align}
	\ket{1} &= \aCr \ket{0} &\left| \bra{x} \right.\\[15pt]
	\phi_0(x) &= \frac{1}{\sqrt{2}} \left( x - \diffPs{x} \right) \phi_0(x)\\
	&= \frac{1}{\sqrt{2}} \left( x - \diffPs{x} \right) \frac{1}{\pi^\frac{1}{4}} e^{-\frac{x^2}{2}}\\
	&= \frac{\sqrt{2}}{\pi^\frac{1}{4}} x e^{-\frac{x^2}{2}}\\[15pt]
	\phi_2(x) &= \frac{1}{\sqrt{2}}\frac{1}{\sqrt{2}} \left( x - \diffPs{x} \right) \left( \frac{\sqrt{2}}{\pi^\frac{1}{4}} x e^{-\frac{x^2}{2}} \right)\\
	&= \frac{1}{\pi^\frac{1}{4}} \left( 2x^2 - 1 \right) e^{-\frac{x^2}{2}}
\end{align}
allgemein:
\begin{align}
	\ket{n} &= \frac{\left( \aCr \right)^n}{\sqrt{n!}} \ket{0} &\left| \bra{x} \right.\\
	\phi_n(x) &= \frac{1}{\sqrt{n!}} \frac{1}{\pi^\frac{1}{4}} \frac{1}{\sqrt{2^n}} \left( x - \diffPs{x} \right)^n e^{-\frac{x^2}{2}}
\end{align}
$Q_n$ ist symmetrisch für $n = 2k$, antisymmetrisch für $n = 2k + 1$ und hat $n$ Nullstellen.

\paragraph*{Erwartungswerte}
\begin{align}
	< \hat{x} >_\ket{n} &= \dirac{n}{\hat{x}}{n}\\
	&= \frac{1}{\sqrt{2}} \dirac{n}{\aCr + \aDs}{n}\\
	&= \frac{1}{\sqrt{2}} \bra{n} \left( \sqrt{n + 1} \ket{n + 1} + \sqrt{n} \ket{n - 1}\right)\\
	&= 0\\[15pt]
	< \hat{p} >_\ket{n} &= 0
\end{align}
Wegen Ehrenfest: