From d3c217cdb6106f2082097dd9e76f200885c853cb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20M=C3=BCller?= <andreas.mueller@ost.ch>
Date: Tue, 7 Jun 2022 11:45:38 +0200
Subject: add polynomials with elementary w-integrals paper

---
 buch/papers/dreieck/teil0.tex | 45 +++++++++++++++++++++++++++++++++++++++++--
 1 file changed, 43 insertions(+), 2 deletions(-)

(limited to 'buch/papers/dreieck/teil0.tex')

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}
 
-- 
cgit v1.2.1


From 54ab4af72ff10d4e5b739ac0e9d727482b9d5a15 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20M=C3=BCller?= <andreas.mueller@ost.ch>
Date: Tue, 7 Jun 2022 12:43:02 +0200
Subject: fix typos

---
 buch/papers/dreieck/teil0.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'buch/papers/dreieck/teil0.tex')

diff --git a/buch/papers/dreieck/teil0.tex b/buch/papers/dreieck/teil0.tex
index 584f12b..65eff7a 100644
--- a/buch/papers/dreieck/teil0.tex
+++ b/buch/papers/dreieck/teil0.tex
@@ -33,9 +33,9 @@ Leitet man $e^{-t^2}$ zweimal ab, erhält man
 =
 (4t^2-2) e^{-t^2}
 \qquad\Rightarrow\qquad
-\int (t^2-\frac12) e^{-t^2}\,dt
+\int (t^2-{\textstyle\frac12}) e^{-t^2}\,dt
 =
-\frac14
+{\textstyle\frac14}
 e^{-t^2}.
 \]
 Es gibt also eine viele weitere Polynome $P(t)$, für die der Integrand
-- 
cgit v1.2.1

