diff options
| author | enezerdem <105669082+enezerdem@users.noreply.github.com> | 2022-05-30 10:41:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-30 10:41:51 +0200 |
| commit | 06ad02da3b50d306e05e246624226d150db34d6d (patch) | |
| tree | fbecd7ef4389bf047b5e982caebad61142383aa8 /buch/chapters/060-integral/risch.tex | |
| parent | Revert "Revert "Korrektur (noch nicht fertig)"" (diff) | |
| parent | beispiel korrektur (diff) | |
| download | SeminarSpezielleFunktionen-06ad02da3b50d306e05e246624226d150db34d6d.tar.gz SeminarSpezielleFunktionen-06ad02da3b50d306e05e246624226d150db34d6d.zip | |
Merge pull request #7 from AndreasFMueller/master
synch
Diffstat (limited to 'buch/chapters/060-integral/risch.tex')
| -rw-r--r-- | buch/chapters/060-integral/risch.tex | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/buch/chapters/060-integral/risch.tex b/buch/chapters/060-integral/risch.tex index 1ba746a..2080ce8 100644 --- a/buch/chapters/060-integral/risch.tex +++ b/buch/chapters/060-integral/risch.tex @@ -6,6 +6,18 @@ \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} |