diff options
author | Patrik Müller <36931350+p1mueller@users.noreply.github.com> | 2022-05-28 15:43:52 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-28 15:43:52 +0200 |
commit | c0c7b6cd974c6acb3260ad9ad97c06aaf7327349 (patch) | |
tree | a88c738281fd1e8e282e278200c7fe0e22429820 /buch/chapters/060-integral/risch.tex | |
parent | Error correction & add gamma integrand plot (diff) | |
parent | Merge pull request #16 from Runterer/master (diff) | |
download | SeminarSpezielleFunktionen-c0c7b6cd974c6acb3260ad9ad97c06aaf7327349.tar.gz SeminarSpezielleFunktionen-c0c7b6cd974c6acb3260ad9ad97c06aaf7327349.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} |