From 9e7524c25a0ba5a643fbb7555d01311f69aa603e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20M=C3=BCller?= Date: Thu, 3 Jun 2021 17:18:58 +0200 Subject: add slides --- vorlesungen/slides/2/hilbertraum/spektral.tex | 87 +++++++++++++++++++++++++++ 1 file changed, 87 insertions(+) create mode 100644 vorlesungen/slides/2/hilbertraum/spektral.tex (limited to 'vorlesungen/slides/2/hilbertraum/spektral.tex') diff --git a/vorlesungen/slides/2/hilbertraum/spektral.tex b/vorlesungen/slides/2/hilbertraum/spektral.tex new file mode 100644 index 0000000..b7a44f8 --- /dev/null +++ b/vorlesungen/slides/2/hilbertraum/spektral.tex @@ -0,0 +1,87 @@ +% +% spektral.tex -- slide template +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Spektraltheorie für selbstadjungierte Operatoren} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Voraussetzungen} +\begin{itemize} +\item +Hilbertraum $H$ +\item +$A\colon H\to H$ linear +\end{itemize} +\end{block} +\begin{block}{Eigenwerte} +$x\in H$ ein EV von $A$ zum EW $\lambda\ne 0$ +\begin{align*} +\langle x,x\rangle +&= +\frac1{\lambda} +\langle x,\lambda x\rangle += +\frac1{\lambda} +\langle x,Ax\rangle +\\ +&= +\frac1{\lambda} +\langle Ax,x\rangle += +\frac{\overline{\lambda}}{\lambda} +\langle x,x\rangle +\\ +\frac{\overline{\lambda}}{\lambda}&=1 +\quad\Rightarrow\quad +\overline{\lambda} = \lambda +\quad\Rightarrow\quad +\lambda\in\mathbb{R} +\end{align*} +\end{block} +\end{column} +\begin{column}{0.48\textwidth} +\begin{block}{Orthogonalität} +$u,v$ EV zu EW $\mu,\lambda\in \mathbb{R}\setminus\{0\}$, $\overline{\mu}=\mu\ne\lambda$ +\begin{align*} +\langle u,v\rangle +&= +\frac{1}{\mu} +\langle \mu u,v\rangle += +\frac{1}{\mu} +\langle Au,v\rangle +\\ +&= +\frac{1}{\mu} +\langle u,Av\rangle += +\frac{1}{\mu} +\langle u,\lambda v\rangle += +\frac{\lambda}{\mu} +\langle u,v\rangle +\\ +\Rightarrow +\; +0 +&= +\underbrace{\biggl(\frac{\lambda}{\mu}-1\biggr)}_{\displaystyle \ne 0} +\langle u,v\rangle +\;\Rightarrow\; +\langle u,v\rangle = 0 +\end{align*} +EV zu verschiedenen EW sind orthogonal +\end{block} +\end{column} +\end{columns} +\begin{block}{Spektralsatz} +Es gibt eine Hilbertbasis von $H$ aus Eigenvektoren von $A$ +\end{block} +\end{frame} +\egroup -- cgit v1.2.1 From 680e1e763b8d899b3601b5ab0cf6f1fc2a114e1d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20M=C3=BCller?= Date: Thu, 3 Jun 2021 18:51:36 +0200 Subject: phases --- vorlesungen/slides/2/hilbertraum/spektral.tex | 62 ++++++++++++++------------- 1 file changed, 33 insertions(+), 29 deletions(-) (limited to 'vorlesungen/slides/2/hilbertraum/spektral.tex') diff --git a/vorlesungen/slides/2/hilbertraum/spektral.tex b/vorlesungen/slides/2/hilbertraum/spektral.tex index b7a44f8..b561b69 100644 --- a/vorlesungen/slides/2/hilbertraum/spektral.tex +++ b/vorlesungen/slides/2/hilbertraum/spektral.tex @@ -19,69 +19,73 @@ Hilbertraum $H$ $A\colon H\to H$ linear \end{itemize} \end{block} +\uncover<2->{% \begin{block}{Eigenwerte} $x\in H$ ein EV von $A$ zum EW $\lambda\ne 0$ \begin{align*} -\langle x,x\rangle +\uncover<3->{\langle x,x\rangle &= \frac1{\lambda} -\langle x,\lambda x\rangle -= +\langle x,\lambda x\rangle} +\uncover<3->{= \frac1{\lambda} -\langle x,Ax\rangle +\langle x,Ax\rangle} \\ -&= +&\uncover<4->{= \frac1{\lambda} -\langle Ax,x\rangle -= +\langle Ax,x\rangle} +\uncover<5->{= \frac{\overline{\lambda}}{\lambda} -\langle x,x\rangle +\langle x,x\rangle} \\ -\frac{\overline{\lambda}}{\lambda}&=1 -\quad\Rightarrow\quad -\overline{\lambda} = \lambda +\uncover<6->{\frac{\overline{\lambda}}{\lambda}&=1 \quad\Rightarrow\quad -\lambda\in\mathbb{R} +\overline{\lambda} = \lambda} +\uncover<7->{\quad\Rightarrow\quad +\lambda\in\mathbb{R}} \end{align*} -\end{block} +\end{block}} \end{column} \begin{column}{0.48\textwidth} +\uncover<8->{% \begin{block}{Orthogonalität} $u,v$ EV zu EW $\mu,\lambda\in \mathbb{R}\setminus\{0\}$, $\overline{\mu}=\mu\ne\lambda$ \begin{align*} +\uncover<9->{ \langle u,v\rangle &= \frac{1}{\mu} -\langle \mu u,v\rangle -= +\langle \mu u,v\rangle} +\uncover<10->{= \frac{1}{\mu} -\langle Au,v\rangle +\langle Au,v\rangle} \\ -&= +&\uncover<11->{= \frac{1}{\mu} -\langle u,Av\rangle -= +\langle u,Av\rangle} +\uncover<12->{= \frac{1}{\mu} -\langle u,\lambda v\rangle -= +\langle u,\lambda v\rangle} +\uncover<13->{= \frac{\lambda}{\mu} -\langle u,v\rangle +\langle u,v\rangle} \\ -\Rightarrow +\uncover<14->{\Rightarrow \; 0 &= \underbrace{\biggl(\frac{\lambda}{\mu}-1\biggr)}_{\displaystyle \ne 0} -\langle u,v\rangle -\;\Rightarrow\; -\langle u,v\rangle = 0 +\langle u,v\rangle} +\uncover<15->{\;\Rightarrow\; +\langle u,v\rangle = 0} \end{align*} -EV zu verschiedenen EW sind orthogonal -\end{block} +\uncover<16->{EV zu verschiedenen EW sind orthogonal} +\end{block}} \end{column} \end{columns} +\uncover<17->{% \begin{block}{Spektralsatz} Es gibt eine Hilbertbasis von $H$ aus Eigenvektoren von $A$ -\end{block} +\end{block}} \end{frame} \egroup -- cgit v1.2.1