blob: 4447bacc6cab290b887555c5f35743e268845392 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
|
%
% 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)
&\uncover<2->{=
\frac{d}{d\tau}\gamma(\tau)\bigg|_{\tau=t}
}
\\
&\uncover<3->{=
\frac{d}{ds}
\gamma(t+s)
\bigg|_{s=0}
}
\\
&\uncover<4->{=
\frac{d}{ds}
\gamma(t)\gamma(s)
\bigg|_{s=0}
}
\\
&\uncover<5->{=
\gamma(t)
\frac{d}{ds}
\gamma(s)
\bigg|_{s=0}
}
\uncover<6->{=
\gamma(t) \dot{\gamma}(0)
}
\end{align*}
\end{block}
\vspace{-10pt}
\uncover<7->{%
\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}
\uncover<8->{%
\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}
\uncover<9->{%
\begin{block}{Kontrolle: Tangentialvektor berechnen}
\vspace{-10pt}
\begin{align*}
\frac{d}{dt}e^{At}
&\uncover<10->{=
\sum_{k=1}^\infty A^k \frac{d}{dt} \frac{t^k}{k!}
}
\\
&\uncover<11->{=
\sum_{k=1}^\infty A^{k-1}\frac{t^{k-1}}{(k-1)!} A
}
\\
&\uncover<12->{=
\sum_{k=0} A^k\frac{t^k}{k!}
A
}
\uncover<13->{=
e^{At} A
}
\end{align*}
\end{block}}
\end{column}
\end{columns}
\end{frame}
\egroup
|
