From 1fb743df08b0734932d510c6b11405d0a2dbbe47 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20M=C3=BCller?= Date: Sat, 10 Apr 2021 19:57:13 +0200 Subject: new slides --- vorlesungen/slides/7/dg.tex | 80 +++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 80 insertions(+) create mode 100644 vorlesungen/slides/7/dg.tex (limited to 'vorlesungen/slides/7/dg.tex') diff --git a/vorlesungen/slides/7/dg.tex b/vorlesungen/slides/7/dg.tex new file mode 100644 index 0000000..36b1ade --- /dev/null +++ b/vorlesungen/slides/7/dg.tex @@ -0,0 +1,80 @@ +% +% dg.tex -- Differentialgleichung für die Exponentialabbildung +% +% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule +% +\bgroup +\begin{frame}[t] +\setlength{\abovedisplayskip}{5pt} +\setlength{\belowdisplayskip}{5pt} +\frametitle{Zurück zur Lie-Gruppe} +\vspace{-20pt} +\begin{columns}[t,onlytextwidth] +\begin{column}{0.48\textwidth} +\begin{block}{Tangentialvektor im Punkt $\gamma(t)$} +Ableitung von $\gamma(t)$ an der Stelle $t$: +\begin{align*} +\dot{\gamma}(t) +&= +\frac{d}{d\tau}\gamma(\tau)\bigg|_{\tau=t} +\\ +&= +\frac{d}{ds} +\gamma(t+s) +\bigg|_{s=0} +\\ +&= +\frac{d}{ds} +\gamma(t)\gamma(s) +\bigg|_{s=0} +\\ +&= +\gamma(t) +\frac{d}{ds} +\gamma(s) +\bigg|_{s=0} += +\gamma(t) \dot{\gamma}(0) +\end{align*} +\end{block} +\vspace{-10pt} +\begin{block}{Differentialgleichung} +\vspace{-10pt} +\[ +\dot{\gamma}(t) = \gamma(t) A +\quad +\text{mit} +\quad +A=\dot{\gamma}(0)\in LG +\] +\end{block} +\end{column} +\begin{column}{0.50\textwidth} +\begin{block}{Lösung} +Exponentialfunktion +\[ +\exp\colon LG\to G : A \mapsto \exp(At) = \sum_{k=0}^\infty \frac{t^k}{k!}A^k +\] +\end{block} +\vspace{-5pt} +\begin{block}{Kontrolle: Tangentialvektor berechnen} +\vspace{-10pt} +\begin{align*} +\frac{d}{dt}e^{At} +&= +\sum_{k=1}^\infty A^k \frac{d}{dt} t^{k}{k!} +\\ +&= +\sum_{k=1}^\infty A^{k-1}\frac{t^{k-1}}{(k-1)!} A +\\ +&= +\sum_{k=0} A^k\frac{t^k}{k!} +A += +e^{At} A +\end{align*} +\end{block} +\end{column} +\end{columns} +\end{frame} +\egroup -- cgit v1.2.1