aboutsummaryrefslogtreecommitdiffstats
path: root/buch/papers/dreieck/teil0.tex
diff options
context:
space:
mode:
authorAndreas Müller <andreas.mueller@ost.ch>2022-06-07 11:45:38 +0200
committerAndreas Müller <andreas.mueller@ost.ch>2022-06-07 11:45:38 +0200
commitd3c217cdb6106f2082097dd9e76f200885c853cb (patch)
tree6e4287638c479a86f5f680441bfe74f8d48d5ccf /buch/papers/dreieck/teil0.tex
parentfix trigo definition graph (diff)
downloadSeminarSpezielleFunktionen-d3c217cdb6106f2082097dd9e76f200885c853cb.tar.gz
SeminarSpezielleFunktionen-d3c217cdb6106f2082097dd9e76f200885c853cb.zip
add polynomials with elementary w-integrals paper
Diffstat (limited to 'buch/papers/dreieck/teil0.tex')
-rw-r--r--buch/papers/dreieck/teil0.tex45
1 files changed, 43 insertions, 2 deletions
diff --git a/buch/papers/dreieck/teil0.tex b/buch/papers/dreieck/teil0.tex
index bcf2cf8..584f12b 100644
--- a/buch/papers/dreieck/teil0.tex
+++ b/buch/papers/dreieck/teil0.tex
@@ -3,7 +3,48 @@
%
% (c) 2020 Prof Dr Andreas Müller, Hochschule Rapperswil
%
-\section{Testprinzip\label{dreieck:section:testprinzip}}
-\rhead{Testprinzip}
+\section{Problemstellung\label{dreieck:section:problemstellung}}
+\rhead{Problemstellung}
+Es ist bekannt, dass das Fehlerintegral
+\[
+\frac{1}{\sqrt{2\pi}\sigma} \int_{-\infty}^x e^{-\frac{t^2}{2\sigma}}\,dt
+\]
+nicht in geschlossener Form dargestellt werden kann.
+Mit der in Kapitel~\ref{buch:chapter:integral} skizzierten Theorie von
+Liouville und dem Risch-Algorithmus kann dies strengt gezeigt werden.
+Andererseits gibt es durchaus Integranden, die $e^{-t^2}$ enthalten,
+für die eine Stammfunktion in geschlossener Form gefunden werden kann.
+Zum Beispiel folgt aus der Ableitung
+\[
+\frac{d}{dt} e^{-t^2}
+=
+-2te^{-t^2}
+\]
+die Stammfunktion
+\[
+\int te^{-t^2}\,dt
+=
+-\frac12 e^{-t^2}.
+\]
+Leitet man $e^{-t^2}$ zweimal ab, erhält man
+\[
+\frac{d^2}{dt^2} e^{-t^2}
+=
+(4t^2-2) e^{-t^2}
+\qquad\Rightarrow\qquad
+\int (t^2-\frac12) e^{-t^2}\,dt
+=
+\frac14
+e^{-t^2}.
+\]
+Es gibt also eine viele weitere Polynome $P(t)$, für die der Integrand
+$P(t)e^{-t^2}$ eine Stammfunktion in geschlossener Form hat.
+Damit stellt sich jetzt das folgende allgemeine Problem.
+
+\begin{problem}
+\label{dreieck:problem}
+Für welche Polynome $P(t)$ hat der Integrand $P(t)e^{-t^2}$
+eine elementare Stammfunktion?
+\end{problem}