blob: 2b850cc87559fe0c9b8d51cb32babe57b98879cb (
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
|
%
% differentialalgebren.tex
%
% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
%
\section{Differentialkörper und der Satz von Liouville
\label{buch:integrale:section:dkoerper}}
\rhead{Differentialkörper und der Satz von Liouville}
Das Problem der Darstellbarkeit eines Integrals in geschlossener
Form verlangt zunächst einmal nach einer Definition dessen, was man
als ``geschlossene Form'' akzeptieren will.
Die sogenannten {\em elementaren Funktionen} von
Abschnitt~\ref{buch:integrale:section:elementar}
bilden dafür den theoretischen Rahmen.
Das Problem ist dann die Frage zu beantworten, ob ein Integral eine
Stammfunktion hat, die eine elementare Funktion ist.
Der Satz von Liouville von Abschnitt~\ref{buch:integrale:section:liouville}
löst das Problem.
\subsection{Eine Analogie
\label{buch:integrale:section:analogie}}
% XXX Analogie: Formel für Polynom-Nullstellen
% XXX Stammfunktion als elementare Funktion
\subsection{Elementare Funktionen
\label{buch:integrale:section:elementar}}
\subsubsection{Rationale Funktionen}
\subsubsection{Wurzeln}
\subsubsection{Die trigonometrischen Funktionen}
\subsection{Differentielle Algebra
\label{buch:integrale:section:dalgebra}}
\subsubsection{Ableitungsoperation}
\subsubsection{Logarithmen und Exponentiale}
\subsubsection{Elementare Körpererweiterungen}
\subsection{Der Satz von Liouville
\label{buch:integrale:section:liouville}}
\subsection{Die Fehlerfunktion ist keine elementare Funktion
\label{buch:integrale:section:fehlernichtelementar}}
|
