Merge branch 'AndreasFMueller:master' into master

1 files changed, 54 insertions, 0 deletions

diff --git a/vorlesungen/slides/hermite/normalintegrale.tex b/vorlesungen/slides/hermite/normalintegrale.tex
new file mode 100644
index 0000000..88abbe8
--- /dev/null
+++ b/vorlesungen/slides/hermite/normalintegrale.tex
@@ -0,0 +1,54 @@
+%
+% normalintegrale.tex -- 
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\bgroup
+\begin{frame}[t]
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\frametitle{Integranden $P(t)e^{-t^2}$}
+\vspace{-20pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Frage}
+Für welche Polynome $P(t)$ kann man eine Stammfunktion
+\[
+\int
+P(t)e^{-t^2}
+\,dt
+\]
+in geschlossener Form angeben?
+\end{block}
+\begin{block}{Allgemeine Antwort}
+Satz von Liouville und
+Risch- Algorithmus können entscheiden, ob es eine elementare Stammfunktion gibt
+\end{block}
+\end{column}
+\begin{column}{0.48\textwidth}
+\begin{block}{Negativbeispiel}
+$P(t) = 1$, das Normalverteilungsintegral
+\[
+F(x)
+=
+\frac{1}{\sqrt{2\pi}} \int_{-\infty}^x e^{-t^2}\,dt
+\]
+ist nicht elementar darstellbar.
+\end{block}
+\begin{block}{Positivbeispiel}
+$P(t)=t$. Wegen
+\begin{align*}
+\frac{d}{dx}e^{-x^2}
+&=
+-xe^{-x^2}
+\intertext{ist}
+\int te^{-t^2}\,dt
+&=
+-e^{-x^2}+C
+\end{align*}
+elementar darstellbar.
+\end{block}
+\end{column}
+\end{columns}
+\end{frame}
+\egroup