Algebraische Integration

Als algebraische oder symbolische Integration oder Quadratur bezeichnet man in der Mathematik die Berechnung von Integralen durch exakte Termumformungen, im Gegensatz zur approximativen numerischen Quadratur.

Die algebraische Integration gehört zu den wichtigsten Anwendungsfällen von Computeralgebrasystemen. Diesen Programmen werden Funktionen zur Bestimmung einer Stammfunktion implementiert. Die wichtigsten Regeln sind hier die Substitutionsregel und die partielle Integration. Jedoch gelangt man bei diesen Techniken auch schnell an die Grenzen ihrer Einsetzbarkeit. So besitzt die Funktion $\textstyle -\exp\left(\frac{x^2}{2}\right)$ keine geschlossene Darstellung ihrer Stammfunktion. Für diese Fälle gibt es auch die Techniken der Fourier-Transformation und des Residuensatzes, welche auch von modernen Computeralgebrasystemen, beherrscht werden. Außerdem verwenden Computeralgebrasysteme sogenannte Fehler-Funktionen zur Bildung von Stammfunktionen, welche keine geschlossene Darstellung haben.^[1]

Es existiert ein Verfahren, genannt Risch-Algorithmus, welches für viele Klassen von Ausdrücken Integranden entscheiden kann, ob ein Integral existiert, und dieses dann bestimmt. Derartige Algorithmen werden immer noch weiterentwickelt, denn der Risch-Algorithmus ist auf unbestimmte Integrale beschränkt. Die weit überwiegende Mehrzahl der für Physiker, theoretische Chemiker und Ingenieure interessanten Integrale sind jedoch bestimmte Integrale, oft mit Bezug zur Laplace-Transformation, Fourier-Transformation oder Mellin-Transformation. Eine Alternative zum Risch-Algorithmus verwendet eine Kombination aus Computeralgebrasystem und Mustererkennung sowie die Kenntnisse über spezielle Funktionen, insbesondere die unvollständige Gamma-Funktion^[2]. Obwohl dieser Weg eher heuristisch als algorithmisch ist, stellt er doch eine effektive Methode zur Berechnung bestimmter Integrale dar, insbesondere solcher die in der Praxis des Ingenieurwesens auftreten. Diese Methode wurde erstmalig von den Entwicklern des Computeralgebrasystems Maple^[3] implementiert, und später von Systemen wie Mathematica, MuPAD und anderen übernommen.

Beispiel

Mit Hilfe der Polynomfunktion x² wird ein einfaches Beispiel gegeben. So ist

$\int x^2\,\mathrm{d}x = \frac{x^3}{3} + C$

das symbolische Resultat für das unbestimmte Integral, wobei C eine Integralkonstante ist. Für das bestimmte Integral

$\int_{-1}^1 x^2\,dx = \frac{2}{3} \approx 0.6666\ldots$

ist das symbolische Ergebnis $\textstyle \frac{2}{3}$ und das numerische ist $0.6666\ldots$. Dabei ist Anzahl der Nachkommastellen unendlich. Das heißt das numerische Ergebnis ist nur eine Näherung.

Einzelnachweise

1. ↑ Wolfram: Erf; abgerufen am 27. April 2010
2. ↑ K.O Geddes, M.L. Glasser, R.A. Moore und T.C. Scott, Evaluation of Classes of Definite Integrals Involving Elementary Functions via Differentiation of Special Functions, AAECC (Applicable Algebra in Engineering, Communication and Computing), vol. 1, (1990), pp.149-165, doi:10.1007/BF01810298
3. ↑ K.O. Geddes and T.C. Scott, Recipes for Classes of Definite Integrals Involving Exponentials and Logarithms, Proceedings of the 1989 Computers and Mathematics conference, (held at MIT June 12, 1989), edited by E. Kaltofen and S.M. Watt, Springer-Verlag, New York, (1989), pp. 192-201. siehe http://portal.acm.org/citation.cfm?id=93094