diff options
| author | JODBaer <55744603+JODBaer@users.noreply.github.com> | 2022-06-13 09:18:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-13 09:18:25 +0200 |
| commit | 3010b2b87e56a8e2fbc2476b9971d9ef886f17a0 (patch) | |
| tree | 9de92825e4293741d7d617d40e661fb5863bb8b9 /buch/chapters/060-integral/risch.tex | |
| parent | Merge branch 'AndreasFMueller:master' into master (diff) | |
| parent | flow (diff) | |
| download | SeminarSpezielleFunktionen-3010b2b87e56a8e2fbc2476b9971d9ef886f17a0.tar.gz SeminarSpezielleFunktionen-3010b2b87e56a8e2fbc2476b9971d9ef886f17a0.zip | |
Merge branch 'AndreasFMueller:master' into master
Diffstat (limited to '')
| -rw-r--r-- | buch/chapters/060-integral/risch.tex | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/buch/chapters/060-integral/risch.tex b/buch/chapters/060-integral/risch.tex index 6c8ff96..2080ce8 100644 --- a/buch/chapters/060-integral/risch.tex +++ b/buch/chapters/060-integral/risch.tex @@ -6,7 +6,20 @@ \section{Der Risch-Algorithmus \label{buch:integral:section:risch}} \rhead{Risch-Algorithmus} +Die Lösung des Integrationsproblem für $\mathbb{Q}(x)$ und für +$\mathbb{Q}(x,y)$ mit $y=\!\sqrt{ax^2+bx+c}$ hat gezeigt, dass +ein Differentialkörper genau die richtige Bühne für dieses Unterfangen +sein dürfte. +Die Stammfunktionen konnten in einem Erweiterungskörper gefunden +werden, der ein paar Logarithmen hinzugefügt worden sind. +Tatsächlich lässt sich in diesem Rahmen sogar ein Algorithmus +formulieren, der in einem noch zu definierenden Sinn ``elementare'' +Funktionen als Stammfunktionen finden kann oder beweisen kann, dass +eine solche nicht existiert. +Dieser Abschnitt soll einen Überblick darüber geben. +\input{chapters/060-integral/logexp.tex} +\input{chapters/060-integral/elementar.tex} |