- Integrierbarkeit
-
Die Integralrechnung ist neben der Differentialrechnung der wichtigste Zweig der mathematischen Disziplin der Analysis. Sie entstand aus dem Problem der Flächen- und Volumenberechnung. Das Integral selbst ist eine lineare Abbildung, die einer Funktion einen Zahlwert oder eine Funktion zuordnet, je nachdem, ob ein konkreter oder ein unbestimmter Integrationsbereich betrachtet wird. Dieser Vorgang heißt Integration. Das Integral einer reellen Funktion einer Variablen wird im zweidimensionalen Koordinatensystem als die Flächenbilanz zwischen dem Graphen der Funktion und der x-Achse gedeutet, bei Funktionen mehrerer Veränderlicher entspricht es einem Volumen.
Der Hauptsatz der Differential- und Integralrechnung besagt, dass Integrale aus Stammfunktionen berechnet werden können. Das Bestimmen von Stammfunktionen ist die umgekehrte Aufgabe zur Differentiation und wird auch unbestimmte Integration genannt.
Im Gegensatz zur Differentiation existiert für die Integration auch elementarer Funktionen kein einfacher und kein alle Fälle abdeckender Algorithmus. Integration erfordert trainiertes Raten, Benutzung spezieller Umformungen (Integration durch Substitution, partielle Integration), Nachschlagen in einer Integraltafel oder Benutzung spezieller Computer-Software. Oft erfolgt die Integration nur näherungsweise als so genannte numerische Quadratur. In der Technik benutzt man zur Integration bzw. Flächenbestimmung so genannte Planimeter, bei welchen die Summierung der Flächenelemente kontinuierlich erfolgt. Der Zahlenwert der so bestimmten Fläche kann an einem Zählwerk abgelesen werden, welches zur Erhöhung der Ablesegenauigkeit mit einem Nonius versehen ist.
Geschichte
Flächenberechnungen werden seit der Antike untersucht. Im 5. Jahrhundert vor Christus entwickelte Eudoxos von Knidos nach einer Idee von Antiphon die Exhaustionsmethode, die darin bestand, einen Körper durch regelmäßige Polygone auszufüllen. Er konnte so Flächen als auch Volumina einiger einfacher Körper bestimmen. Archimedes (287–212 v. Chr.) verbesserte diesen Ansatz, und so gelang ihm die exakte Integration einer Parabel, alles ohne Benutzung eines Grenzwertbegriffs. Er näherte Pi auf einen Wert zwischen und an.
Diese Methode wurde auch im Mittelalter benutzt. Im 17. Jahrhundert stellte Bonaventura Francesco Cavalieri das Prinzip von Cavalieri auf, wonach zwei Körper das gleiche Volumen haben, wenn alle parallelen ebenen Schnitte den gleichen Flächeninhalt haben. Johannes Kepler versuchte ab 1612 den Rauminhalt von Weinfässern zu berechnen. 1615 veröffentlichte er die Stereometria Doliorum Vinariorum („Stereometrie der Weinfässer“), später auch als keplersche Fassregel bekannt.
Ende des 17. Jahrhunderts gelang es Isaac Newton und Gottfried Wilhelm Leibniz unabhängig voneinander, widerspruchsfrei funktionierende Kalküle zur Differentialrechnung zu entwickeln und so den Fundamentalsatz der Analysis zu entdecken (zur Entdeckungsgeschichte und zum Prioritätsstreit siehe den Artikel Infinitesimalrechnung). Ihre Arbeiten erlaubten das Abstrahieren von rein geometrischer Vorstellung und werden deshalb als Beginn der Analysis betrachtet. Bekannt wurden sie vor allem durch das Buch des Adligen Guillaume François Antoine, Marquis de L’Hospital, der bei Johann Bernoulli Privatunterricht nahm und dessen Forschung zur Analysis so publizierte. Der Begriff Integral geht auf Johann Bernoulli zurück.
Im 19. Jahrhundert wurde die gesamte Analysis auf ein solideres Fundament gestellt. 1823 entwickelte Augustin Louis Cauchy erstmals einen Integralbegriff, der den heutigen Ansprüchen an Stringenz genügt. Später entstanden die Begriffe des Riemann-Integrals und des Lebesgue-Integrals. Schließlich folgte die Entwicklung der Maßtheorie Anfang des 20. Jahrhunderts.
Integral für kompakte Intervalle
„Kompakt“ bedeutet hier beschränkt und abgeschlossen, also dass nur Funktionen auf Intervallen der Form [a,b] betrachtet werden. Offene oder unbeschränkte Intervalle sind nicht zugelassen.
Motivation
Reduktion komplizierterer Flächeninhalte auf Integrale
Ein Ziel der Integralrechnung ist die Berechnung von Flächeninhalten krummlinig begrenzter Bereiche der Ebene. In den meisten in der Praxis auftretenden Fällen sind derartige Flächen beschrieben durch zwei stetige Funktionen f,g auf einem kompakten Intervall [a,b], deren Graphen die Fläche begrenzen (linkes Bild).
Der Flächeninhalt der schraffierten Fläche im linken Bild ist gleich der Differenz der schraffierten Bereiche in den beiden rechten Bildern. Es genügt also, sich auf den einfacheren Fall einer Fläche zu beschränken, die von
- dem Graphen einer Funktion,
- zwei vertikalen Geraden x = a und x = b
- sowie der x-Achse
begrenzt wird.
Auf Grund seiner fundamentalen Bedeutung erhält dieser Typ Flächeninhalt eine spezielle Bezeichnung:
gelesen als Integral von a bis b über (oder: von) . Statt x kann auch eine andere Variable, abgesehen von a und b gewählt werden, zum Beispiel t, was den Wert des Integrals nicht ändert.
Integrale negativer Funktionen
Verschiebt man den Graphen einer Funktion in Richtung der y-Achse um ein Stück c, so kommt zu der betrachteten Fläche ein Rechteck hinzu:
Das Integral ändert sich um den Flächeninhalt dieses Rechtecks der Breite b − a und der Höhe c, in Formeln
Betrachtet man eine stetige Funktion, deren Werte negativ sind, so kann man stets ein c finden, so dass die Werte von f(x) + c alle positiv sind:
Mit der vorhergehenden Überlegung erhält man
das heißt, das Integral von f ist die Differenz der Flächeninhalte des weißen Bereichs in der Mitte und dem umgebenden Rechteck. Diese Differenz ist aber negativ, das heißt, soll die obige Formel für beliebige Funktionen korrekt sein, so muss man Flächen unterhalb der x-Achse negativ zählen. Man spricht deshalb von einem „orientierten“ bzw. „gerichteten“ Flächeninhalt.
Wenn eine Nullstelle im zu untersuchenden Intervall vorliegt, gibt das Integral nicht mehr den Flächeninhalt an, sondern stellt nur noch eine Rechenregel dar. Benötigt man in einem solchen Intervall die Fläche zwischen x-Achse und Graph der Funktion, so muss das Integral aufgeteilt werden.
Das Prinzip von Cavalieri und die Additivität des Integrals
→ Hauptartikel: Prinzip von Cavalieri
Axiomatischer Zugang
Es ist nicht einfach, den Begriff des Flächeninhaltes mathematisch präzise zu fassen. Im Lauf der Zeit wurden dafür verschiedene Konzepte entwickelt. Für die meisten Anwendungen sind deren Details jedoch unerheblich, da sie unter anderem auf der Klasse der stetigen Funktionen übereinstimmen. Im Folgenden werden einige Eigenschaften des Integrals aufgelistet, die oben motiviert wurden und unabhängig von der genauen Konstruktion für jedes Integral gelten. Außerdem legen sie das Integral stetiger Funktionen eindeutig fest.
Es seien a < b reelle Zahlen, und es sei ein Vektorraum von Funktionen , der die stetigen Funktionen umfasst. Funktionen in werden „integrierbar“ genannt. Dann ist ein Integral eine Abbildung
geschrieben
mit den folgenden Eigenschaften:
- Linearität: Für Funktionen und gilt
- ,
- .
- Monotonie: Ist für alle , so ist
- Integral der charakteristischen Funktion eines Intervalles: Ist ein Intervall und ist
-
- so ist
- gleich der Länge des Intervalles I.
Bezeichnungen
- a und b heißen Integrationsgrenzen. Sie können oberhalb und unterhalb des Integralzeichens oder seitlich vom Integralzeichen geschrieben werden:
-
- oder
- f(x) heißt Integrand.
- Die symbolische Variable x heißt Integrationsvariable. Ist x die Integrationsvariable, so spricht man auch von Integration über x. Die Integrationsvariable ist austauschbar, statt
-
- kann man genauso gut
- oder
- schreiben. Um Missverständnisse zu vermeiden, sollte darauf geachtet werden, dass das für die Integrationsvariable verwendete Zeichen nicht schon mit einer anderen Bedeutung belegt ist. In dem obigen Beispiel wäre es schlecht, die Buchstaben a oder b zu verwenden, da sie bereits als Bezeichner für die Integrationsgrenzen fungieren.
- Der Bestandteil „dx“ wird Differential genannt, hat aber in diesem Kontext meist nur symbolische Bedeutung. Daher wird hier nicht versucht, ihn zu definieren. Am Differential liest man die Integrationsvariable ab.
Herkunft der Notation
Die symbolische Schreibweise von Integralen geht auf den Mitentdecker der Differential- und Integralrechnung, Gottfried Wilhelm Leibniz, zurück. Das Integralzeichen ∫ ist aus dem langen Buchstaben ſ (S) für lateinisch summa abgeleitet. Die multiplikativ zu lesende Notation deutet an, wie sich das Integral aus Streifen der Höhe f(x) und der infinitesimalen Breite dx zusammensetzt.
Alternative Schreibweise in der Physik
In der theoretischen Physik wird aus pragmatischen Gründen oft eine leicht andere Schreibweise für Integrale benutzt (vor allem bei Mehrfachintegralen). Dort wird statt
oft
geschrieben, manchmal werden an verschiedenen Stellen sogar beide Schreibweisen benutzt.
Die zweite Schreibweise hat den Nachteil, dass die zu integrierende Funktion f(x) nicht mehr durch und dx eingeklammert wird. Zudem können Missverständnisse z. B. beim Lebesgue-Integral auftreten. Die alternative Schreibweise hat jedoch auch einige Vorzüge:
- Der Ausdruck hebt hervor, dass das Integral ein linearer Operator ist, der auf alles rechts von ihm wirkt.
- Oft tauchen in der Physik Integrale auf, bei denen die zu integrierende Funktion mehrere Zeilen lang ist oder es wird über mehrere Unbekannte integriert. Dann weiß man bei der Schreibweise schon zu Beginn des Integrals, welche Variablen überhaupt und über welche Grenzen integriert werden. Ferner ist dann die Zuweisung von Variablen zu Grenzen einfacher.
- Die Kommutativität der Produkte bei den in der Riemann'schen Näherung auftretenden Summanden wird betont.
Beispiel:
statt
Einfache Folgerungen aus den Axiomen
- Ist für alle , so ist
- Bezeichnet man mit das Supremum von f auf [a,b], so gilt
- Ist für alle mit einer festen Zahl , so gilt
-
- Daraus folgt: Ist fn eine Folge von integrierbaren Funktionen, die gleichmäßig gegen eine (integrierbare) Funktion f konvergiert, so ist
- Mit anderen Worten: Das Integral ist ein stetiges Funktional für die Supremumsnorm.
- Integrale von Treppenfunktionen: Ist f eine Treppenfunktion, das heißt, ist [a,b] eine disjunkte Vereinigung von Intervallen Ik der Längen Lk, so dass f auf Ik konstant mit Wert ck ist, so gilt
-
- also anschaulich gleich der Summe der Flächeninhalte der Rechtecke unter dem Funktionsgraphen von f.
Stammfunktionen und der Hauptsatz der Differential- und Integralrechnung
In gewisser Hinsicht ist Integration die Umkehrung der Differentiation.
Um dies zu präzisieren, wird der Begriff der Stammfunktion benötigt: Ist f eine Funktion, so heißt eine Funktion F eine Stammfunktion von f, wenn die Ableitung von F gleich f ist:
Der Hauptsatz der Differential- und Integralrechnung stellt die Beziehung zwischen Stammfunktionen und Integralen her. Er besagt: Ist f eine stetige Funktion auf einem Intervall [a,b] und ist F eine Stammfunktion von f, so gilt
Die rechte Seite wird oft abkürzend als
- oder oder o. Ä.
geschrieben.
Dieser Zusammenhang ist die hauptsächliche Methode zur expliziten Auswertung von Integralen. Die Schwierigkeit liegt meist im Auffinden einer Stammfunktion.
Die bloße Existenz ist theoretisch gesichert: Die Integralfunktion
ist eine Stammfunktion von f.
Eigenschaften von Stammfunktionen
Man kann zu einer Stammfunktion eine Konstante addieren und erhält wieder eine Stammfunktion: Ist F eine Stammfunktion zu einer Funktion f und ist eine Konstante, so ist
Zwei Stammfunktionen derselben auf einem Intervall definierten Funktion unterscheiden sich um eine Konstante: Sind F und G Stammfunktionen derselben Funktion f, so ist
also ist die Differenz F − G eine Konstante. Ist der Definitionsbereich von f kein Intervall, so ist die Differenz zweier Stammfunktionen lediglich lokal konstant.
Unbestimmtes Integral
Eine Stammfunktion wird auch als unbestimmtes Integral von f(x) bezeichnet – manchmal ist damit aber auch die Menge aller Stammfunktionen gemeint. Ist F(x) eine Stammfunktion, so schreibt man häufig unpräzise
um anzudeuten, dass jede Stammfunktion von f die Form F(x) + C mit einer Konstante C hat.
Man beachte, dass die Schreibweise
jedoch auch häufig in Formeln benutzt wird, um anzudeuten, dass Gleichungen für beliebige, konsistent gewählte Grenzen gelten; beispielsweise ist mit
gemeint, dass
für beliebige a,b gilt.
Bestimmung von Stammfunktionen
Siehe dazu den Artikel: Tabelle von Ableitungs- und Stammfunktionen oder unbestimmte Integrale in der Formelsammlung Mathematik
Im Gegensatz zur Ableitungsfunktion ist die explizite Berechnung einer Stammfunktion bei vielen Funktionen sehr schwierig oder nicht möglich.
Oft schlägt man Integrale deshalb in Tabellenwerken (z. B. einer Integraltafel) nach. Zur händischen Berechnung einer Stammfunktion ist häufig die geschickte Anwendung der folgenden Standardtechniken hilfreich.
Partielle Integration
→ Hauptartikel: Partielle Integration
Die partielle Integration ist die Umkehrung der Produktregel der Differentialrechnung. Sie lautet:
- .
Diese Regel ist dann von Vorteil, wenn durch Ableiten von f(x) eine einfachere Funktion entsteht.
Beispiel:
Setzt man
- f(x) = ln(x) und g'(x) = x,
so ist
- und ,
und man erhält
Integration durch Substitution
→ Hauptartikel: Integration durch Substitution
Die Substitutionsregel ist ein wichtiges Hilfsmittel, um einige schwierige Integrale zu berechnen, da sie bestimmte Änderungen der zu integrierenden Funktion bei gleichzeitiger Änderung der Integrationsgrenzen erlaubt. Sie ist das Gegenstück zur Kettenregel in der Differentialrechnung.
Sei mit und F eine Stammfunktion von f, so ist Φ(x) = F(g(x)) eine Stammfunktion von φ, denn es gilt
und mit der Substitution
schließlich
Umformung durch Partialbruchzerlegung
Bei gebrochenrationalen Funktionen führt häufig eine Polynomdivision oder eine Partialbruchzerlegung zu einer Umformung der Funktion, die es erlaubt, eine der Integrationsregeln anzuwenden.
Spezielle Verfahren
Oft ist es möglich, unter Ausnutzung der speziellen Form des Integranden die Stammfunktion zu bestimmen.
Eine weitere Möglichkeit besteht darin, bei einem bekannten Integral zu beginnen und dieses durch Integrationstechniken solange umzuformen, bis das gewünschte Integral entsteht. Beispiel:
Um zu bestimmen, integrieren wir das folgende ähnliche Integral partiell:
Durch Umstellen folgt
Anwendungen
Mittelwerte stetiger Funktionen
Um den Mittelwert m einer gegebenen stetigen Funktion f auf einem Intervall [a,b] zu berechnen, benutzt man die Formel
Man sieht leicht, dass diese Definition für Treppenfunktionen mit dem üblichen Mittelwertbegriff übereinstimmt und daher diese Verallgemeinerung sinnvoll ist.
Der Mittelwertsatz der Integralrechnung besagt, dass dieser Mittelwert von einer stetigen Funktion im Intervall [a,b] auch tatsächlich angenommen wird.
Beispiel für den Integralbegriff in der Physik
Ein physikalisches Phänomen, an dem der Integralbegriff erklärt werden kann, ist der freie Fall eines Körpers im Schwerefeld der Erde. Bekanntlich beträgt die Beschleunigung g des freien Falls in Mitteleuropa ca. 9,81 m/s². Die Geschwindigkeit v eines Körpers zur Zeit t lässt sich daher durch die Formel
ausdrücken.
Nun soll aber die Wegstrecke l berechnet werden, die der fallende Körper innerhalb einer bestimmten Zeit T zurücklegt. Das Problem hierbei ist, dass die Geschwindigkeit v des Körpers mit der Zeit zunimmt. Um das Problem zu lösen, nimmt man an, dass für eine kurze Zeitspanne Δt die Geschwindigkeit v, die sich aus der Zeit ergibt, konstant bleibt.
Die Zunahme der Wegstrecke innerhalb des kurzen Zeitraums Δt beträgt daher
- .
Die gesamte Wegstrecke lässt sich daher als
ausdrücken. Wenn man nun die Zeitdifferenz Δt gegen Null streben lässt, erhält man
- .
Das Integral lässt sich analytisch angeben mit
- .
Die allgemeine Lösung führt zur Bewegungsgleichung des im konstanten Schwerefeld fallenden Körpers:
- .
Weiter lässt sich aus dieser Bewegungsgleichung durch Differenzieren nach der Zeit die Gleichung für die Geschwindigkeit:
und durch nochmaliges Differenzieren für die Beschleunigung herleiten:
- a = g.
Weitere einfache Beispiele sind:
- Die Energie ist die Integration der Leistung über die Zeit.
- Die elektrische Ladung eines Kondensators ist das Integral des durch ihn fließenden Stromes über die Zeit.
- Das Integral des Produktes der spektralen Bestrahlungsstärke (Ee(ν) in W/m2Hz) mit der spektralen Hellempfindlichkeitskurve des Auges liefert die Beleuchtungsstärke (E in Lux = Lumen/m2).
- Die Integration der Strömungsgeschwindigkeit (Längskomponente) über den Querschnitt eines Rohres liefert den gesamten Volumenstrom durch das Rohr (weitere mehrdimensionale Integrale siehe unten).
Konstruktionen
Cauchy-Integral
Eine Regelfunktion ist eine Funktion, die sich gleichmäßig durch Treppenfunktionen approximieren lässt. Aufgrund der erwähnten Kompatibilität des Integrals mit gleichmäßigen Limites kann man für eine Regelfunktion f, die gleichmäßiger Limes einer Folge tn von Treppenfunktionen ist, das Integral definieren als
wobei das Integral für Treppenfunktionen durch die oben angegebene Formel definiert wird.
Die Klasse der Regelfunktionen umfasst alle stetigen Funktionen und alle monotonen Funktionen, ebenso alle Funktionen f, für die sich [a,b] in endlich viele Intervalle Ik unterteilen lässt, so dass f auf Ik die Einschränkung einer stetigen oder monotonen Funktion auf dem abgeschlossenen Intervall ist. Für viele praktische Zwecke ist diese Integralkonstruktion völlig ausreichend.
Riemann-Integral
Allgemeines
→ Hauptartikel: Riemann-Integral
Ein Ansatz zur Berechnung des Integrals ist die Approximation der zu integrierenden Funktion durch eine Treppenfunktion. Die Fläche wird durch die Summe der einzelnen Rechtecke unter den einzelnen „Treppenstufen“ angenähert. Zu jeder Zerlegung des Integrationsintervalls kann man dazu einen beliebigen Wert jedes Teilintervalls als Höhe der Stufe wählen. Dies sind die nach dem deutschen Mathematiker Bernhard Riemann bezeichneten Riemann-Summen. Wählt man in jedem Teilintervall der Zerlegung gerade das Supremum der Funktion als Zwischenwert, so ergibt sich die Obersumme, mit dem Infimum die Untersumme.
Die Differenz zwischen Ober- und Untersumme lässt sich durch das Produkt aus der – ebenfalls von Riemann eingeführten – totalen Variation und der maximalen Intervalllänge in der Zerlegung abschätzen. Somit konvergieren die riemannschen Zwischensummen gegen einen bestimmtes Integral genannten Wert, wenn die Breite der Rechtecke gegen Null strebt und die totale Variation endlich ist. Dieser Grenzwert kann nicht für alle Funktionen oder Integralgrenzen explizit berechnet werden.
Funktionen beschränkter totaler Variation sind alle stetigen und stückweise stetigen, sowie alle monotonen Funktionen. Umgekehrt kann man zeigen, dass es für solche Funktionen nur abzählbar viele Unstetigkeitsstellen geben kann und dass deren Anzahl für jede Sprunghöhe endlich ist.
Verallgemeinerung: Integration bei nichtendlicher totaler Variation
Das oben beschriebene Verfahren wird als Riemann-Integration bezeichnet. Das Riemann-Integral kann nicht bei Integrandfunktionen unendlicher Schwankung, zum Beispiel Funktionen mit oszillierenden Singularitäten wie oder der Indexfunktion der rationalen Zahlen im Intervall [0,1] angewendet werden. Deshalb wurden erweiterte Integralbegriffe von Henri Leon Lebesgue (Lebesgue-Integral), Thomas Jean Stieltjes (Stieltjesintegral) und Alfred Haar eingeführt, die für stetige Integranden das Riemann-Integral reproduzieren.
Lebesgue-Integral
→ Hauptartikel: Lebesgue-Integral
Einen moderneren und – in vielerlei Hinsicht – besseren Integralbegriff liefert das Lebesgue-Integral. Es erlaubt zum Beispiel die Integration über allgemeine Maßräume. Das bedeutet, dass man Mengen ein Maß zuordnen kann, welches nicht notwendig mit ihrer geometrischen Länge bzw. ihrem Rauminhalt übereinstimmen muss, so zum Beispiel Wahrscheinlichkeitsmaße in der Wahrscheinlichkeitstheorie (siehe hierzu auch Maßtheorie). Das Maß, welches dem intuitiven Längen- bzw. Volumenbegriff entspricht, ist das Lebesgue-Maß. In der Regel wird das Integral über dieses Maß als Lebesgue-Integral bezeichnet. Man kann beweisen, dass für jede Funktion, die über einem kompakten Intervall Riemann-integrierbar ist, auch das entsprechende Lebesgue-Integral existiert und die Werte beider Integrale übereinstimmen. Die Umkehrung gilt hingegen nicht. Das bekannteste Beispiel für eine Funktion, die Lebesgue- aber nicht Riemann-integrierbar ist, ist die Dirichlet-Funktion. Neben der größeren Klasse an integrierbaren Funktionen zeichnet sich das Lebesgue-Integral gegenüber dem Riemann-Integral vor allem durch die besseren Konvergenzsätze aus (Satz von der monotonen Konvergenz, Satz von der majorisierten Konvergenz).
In der modernen Mathematik versteht man unter Integral oder Integrationstheorie häufig den lebesgueschen Integralbegriff.
Uneigentliche Integrale erster und zweiter Art
Das Integral war bisher stets über kompakten Mengen definiert, also beschränkten und abgeschlossenen Intervallen, wo die Integrationsgrenzen Teil der Definitionsmenge sind. Die Verallgemeinerung auf unbeschränkte Definitionsbereiche oder Funktionen mit Singularitäten verläuft je nach gewählter Konstruktion etwas unterschiedlich. In der Lebesgue-Theorie ergibt sich die Verallgemeinerung vollkommen natürlich, in der Riemann-Theorie muss man mit Grenzwerten von Integralen über kompakte Bereiche arbeiten; man spricht in diesem Zusammenhang von uneigentlichen Integralen erster Art.
Beispiele sind das Integral
- ,
wo beide Grenzen uneigentlich sind. Besitzt der Integrand an einem Intervallende eine Singularität, so spricht man von uneigentlichen Integralen zweiter Art. Sie werden dann wie folgt definiert, wobei wir annehmen, dass der Integrand an der Stelle b singulär ist:
- ,
falls der Grenzwert existiert.
Falls eine Stammfunktion bekannt ist, kann also wie im eigentlichen Fall das Integral an der benachbarten Stelle b' ausgewertet werden und dann der Grenzwert für berechnet werden. Ein Beispiel ist
- ,
wo der Integrand bei x = 0 eine Singularität besitzt.
Sind beide Grenzen uneigentlich wie z.B. gleichartig bei der gaußschen Glockenkurve oder auch erste und zweite Art gemischt, kann das Integral in zwei Teile aufgeteilt und die obigen Schritte für beide Teile durchgeführt werden. Oft besteht jedoch zwischen dem Verhalten an unterer und oberer Grenze ein tieferer Zusammenhang, so dass eine Aufteilung die Berechnung erschweren würde. Z.B. ist das Integral
an der unteren Grenze uneigentlich zweiter Art und an oberer Grenze uneigentlich erster Art.
Verfahren zur Berechnung bestimmter und uneigentlicher Integrale
Numerische Verfahren
Oft ist es schwierig oder nicht möglich, eine Stammfunktion explizit anzugeben. Allerdings reicht es in vielen Fällen auch aus, das bestimmte Integral näherungsweise zu berechnen. Man spricht dann von numerischer Quadratur oder numerischer Integration. Viele Verfahren zur numerischen Quadratur bauen auf einer Approximation der Funktion durch einfacher integrierbare Funktionen auf, zum Beispiel durch Polynome. Die Trapezregel oder auch die simpsonsche Formel (deren Spezialfall als keplersche Fassregel bekannt ist) sind Beispiele dafür, hier wird durch die Funktion ein Interpolationspolynom gelegt und dann integriert.
Bereits lange vor der Verbreitung von Computern wurden für die numerische Integration Verfahren zur automatischen Schrittweitensteuerung entwickelt. Heute bietet die Computeralgebra die Möglichkeit, komplexe Integrale numerisch in immer kürzeren Zeiten bzw. immer genauer zu lösen. Wobei auch bei leistungsfähigen Systemen wie MuPAD, Maple und Mathematica noch Schwierigkeiten bei uneigentlichen Integrale bestehen. Häufig müssen dabei spezielle Verfahren wie Gauß-Kronrod gewählt werden. Ein Beispiel für ein solches hartes Integral ist:
- .
Klassische Verfahren sind z. B. die Eulersche Summenformel, bei der das bestimmte Integral durch eine im allgemeinen asymptotische Reihe approximiert wird. Weitere Methoden basieren auf der Theorie der Differenzenrechnung, als wichtiges Beispiel ist hier die Gregorysche Integrationsformel zu nennen.
Exakte Verfahren
Es gibt eine Reihe von Verfahren mit denen bestimmte und uneigentliche Integrale exakt in symbolischer Form berechnet werden können.
Falls zu f eine Stammfunktion F bekannt ist, lässt sich das bestimmte Integral durch den Hauptsatz berechnen. Problematisch ist, dass die Operation des unbestimmten Integrierens zu einer Erweiterung vorgegebener Funktionensklassen führt. Z. B. ist das Integrieren innerhalb der Klasse der rationalen Funktionen nicht abgeschlossen und führt auf die Funktionen ln und arctan. Auch die Klasse der so genannten elementaren Funktionen ist nicht abgeschlossen. So hat Joseph Liouville bewiesen, dass die Funktion keine elementare Stammfunktion besitzt. Leonhard Euler war einer der ersten, der Methoden zur exakten Berechnung bestimmter und uneigentlicher Integrale ohne Bestimmung einer Stammfunktion entwickelte. Im Laufe der Zeit sind zahlreiche allgemeinere und speziellere Methoden zur bestimmten Integration entstanden:
- Benutzung des Residuensatzes
- Darstellung des von einem Parameter abhängigen Integrals durch spezielle Funktionen
- Differentiation oder Integration des Integrals nach einem Parameter und Vertauschung der Grenzprozesse
- Benutzung einer Reihenentwicklung des Integranden mit gliedweiser Integration
- durch partielle Integration und Substitution das Integral auf sich selbst oder ein anderes zurückführen
Bis zum Ende des 20. Jahrhunderts sind zahlreiche (teils mehrbändige) Integraltafeln mit bestimmten Integralen entstanden. Zur Illustration der Problematik einige Beispiele:
Besondere Integrale
Es gibt eine Reihe von bestimmten und uneigentlichen Integrale, die eine gewisse Bedeutung für die Mathematik haben und daher einen eigenen Namen tragen:
- Eulersche Integrale erster und zweiter Art
- Gauß'sches Fehlerintegral
- Raabesches Integral
- und speziell für a=0:
Mehrdimensionale Integration
Integration von vektorwertigen Funktionen
Die Integration von Funktionen, die nicht reell- oder komplexwertig sind, sondern Werte in einem allgemeineren Vektorraum annehmen, ist ebenfalls auf verschiedenste Arten möglich.
Die direkteste Verallgemeinerung des Lebesgue-Integrals auf banachraum-wertige Funktionen ist das Bochner-Integral (nach Salomon Bochner). Viele Ergebnisse der eindimensionalen Theorie übertragen sich dabei wortwörtlich auf Banachräume.
Auch die Definition des Riemann-Integrals mittels Riemann'scher Summen auf vektorwertige Funktionen zu übertragen, fällt nicht schwer. Ein entscheidender Unterschied ist hierbei jedoch, dass dann nicht mehr jede Riemann-integrierbare Funktion Bochner-integrierbar ist.
Eine gemeinsame Verallgemeinerung des Bochner- und Riemann-Integrals, die diesen Mangel behebt, ist das McShane-Integral, welches sich am einfachsten über verallgemeinerte Riemann'sche Summen definieren lässt.
Außerdem ist noch das Pettis-Integral als nächster Verallgemeinerungsschritt erwähnenswert. Es nutzt eine funktionalanalytische Definition, bei der die Integrierbarkeit auf den eindimensionalen Fall zurückgeführt wird: Sei dafür ein Maßraum. Eine Funktion heißt dabei Pettis-integrierbar, wenn für jedes stetige Funktional die Funktion Lebesgue-integrierbar ist und für jede messbare Menge ein Vektor existiert, sodass
gilt. Der Vektor xA wird dann passenderweise mit
∫ fdμ A bezeichnet.
Für Funktionen , die Werte in einem separablen Banachraum V annehmen, stimmt das Pettis-Integral mit dem McShane- und dem Bochner-Integral überein. Wichtigster Spezialfall all dieser Definitionen ist der Fall von Funktionen in den , welche bei allen diesen Definitionen einfach komponentenweise integriert werden.
Wegintegrale
→ Hauptartikel: Kurvenintegral
Reelle Wegintegrale und Länge einer Kurve
Ist ein Weg, also eine stetige Abbildung, und eine Funktion, so ist das Wegintegral von f entlang γ definiert als
Ist , so erhalten wir aus der obigen Formel die Länge der Kurve (physikalisch gesprochen) als das Integral der Geschwindigkeit über die Zeit:
Reelle Wegintegrale: Mit Skalarprodukt
In der Physik werden häufig Wegintegrale der folgenden Form verwendet: f ist eine Funktion , und es wird das Integral
betrachtet.
Komplexe Wegintegrale
In der Funktionentheorie, also der Erweiterung der Analysis auf Funktionen einer komplexen Veränderlichen, genügt es nicht mehr, untere und obere Integrationsgrenzen anzugeben. Zwei Punkte der komplexen Ebene können, anders als zwei Punkte auf der Zahlengeraden, durch viele Wege miteinander verbunden werden. Deshalb ist das bestimmte Integral in der Funktionentheorie grundsätzlich ein Wegintegral. Für geschlossene Wege gilt der Residuensatz, ein wichtiges Resultat von Cauchy: Das Integral einer meromorphen Funktion entlang einem geschlossenen Weg hängt allein von der Anzahl der umschlossenen Singularitäten ab. Es ist Null, falls sich im Integrationsgebiet keine Singularitäten befinden.
Integration über mehrdimensionale Bereiche
Den Integralbegriff kann man auf den Fall verallgemeinern, dass die Trägermenge, auf der der Integrand f operiert, nicht die Zahlengerade , sondern der n-dimensionale euklidische Raum ist. Mehrdimensionale Integrale über ein Volumen V darf man nach dem Satz von Fubini berechnen, indem man sie in beliebiger Reihenfolge in Integrale über die einzelnen Koordinaten aufspaltet, die nacheinander abzuarbeiten sind:
Die Integrationsgrenzen der eindimensionalen Integrale in x, y und z muss man aus der Begrenzung des Volumens V ermitteln. Analog zu den uneigentlichen Integralen im eindimensionalen (siehe oben) kann man aber auch Integrale über den gesamten, unbeschränkten n-dimensionalen Raum betrachten.
Die Verallgemeinerung der Substitutionsregel im mehrdimensionalen ist der Transformationssatz. Sei offen und eine injektive, stetig differenzierbare Abbildung, für deren Funktionaldeterminante für alle gilt. Dann ist
Beispiel: Berechnung von Rauminhalten
Als Beispiel berechnen wir das Volumen zwischen dem Graphen der Funktion f mit f(x,y) = x2 + y über dem Einheitsquadrat . Wir benutzen dazu zwei Integrale, eines für die x- und eines für die y-Koordinate:
Oberflächenintegrale
Insbesondere in vielen physikalischen Anwendungen ist die Integration nicht über ein Volumen, sondern über die Oberfläche eines Gebiets interessant. Solche Oberflächen werden üblicherweise durch Mannigfaltigkeiten beschrieben. Diese werden durch so genannte Karten beschrieben. (siehe: Oberflächenintegral)
Integration über ein Kartengebiet
Sei M eine d-dimensionale Untermannigfaltigkeit des und U ein Kartengebiet in M, also eine offene Teilmenge in M, für die es eine Karte gibt, die sie diffeomorph auf eine offene Teilmenge des abbildet. Ferner sei eine Parametrisierung von U, also eine stetig differenzierbare Abbildung, deren Ableitung vollen Rang hat, die Ω homöomorph auf γ(Ω) abbildet. Dann ist das Integral einer Funktion auf dem Kartengebiet U folgendermaßen definiert:
wobei die Gramsche Determinante ist. Das rechte Integral kann mit den oben beschrieben Methoden der mehrdimensionalen Integration ausgerechnet werden. Die Gleichheit folgt im Wesentlichen aus dem Transformationssatz.
Integration über eine Untermannigfaltigkeit
Ist eine Zerlegung der 1 gegeben, die mit den Karten der Untermannigfaltigkeit verträglich ist, kann einfach getrennt über die Kartengebiete integriert und aufsummiert werden.
Der gaußsche Integralsatz und der Satz von Stokes
Für spezielle Funktionen lassen sich die Integrale über die Untermannigfaltigkeiten einfacher ausrechnen. In der Physik besonders wichtig sind hierbei zwei Aussagen:
Zum einen der gaußsche Integralsatz, nach dem Volumenintegrale über eine Divergenz dasselbe sind wie Oberflächenintegrale über das Vektorfeld: Sei kompakt mit abschnittsweise glattem Rand . Der Rand sei orientiert durch ein äußeres Normalen-Einheitsfeld . Sei ferner ein stetig differenzierbares Vektorfeld auf einer offenen Umgebung von V. Dann gilt
mit der Abkürzung .
Zum zweiten der Satz von Stokes, der eine grundlegende Aussage der Differentialgeometrie ist und sich im Spezialfall des dreidimensionalen Raums schreiben lässt als:
Ist M eine zweidimensionale Untermannigfaltigkeit des dreidimensionalen euklidischen Raumes , so gilt
wobei die Rotation eines Vektorfeldes beschreibt.
Verallgemeinerungen
Maßtheorie
→ Hauptartikel: Maßtheorie
Integration auf Mannigfaltigkeiten
Siehe: Differentialform
Schließlich kann Integration auch dazu verwendet werden, Oberflächen von gegebenen Körpern zu messen. Dies führt in das Gebiet der Differentialgeometrie.
Siehe auch
- Tabelle einfacher Ableitungs- und Stammfunktionen
- Integraltafel-Sammlung in Wikibooks
- Algebraische Integration
- Stochastische Integration
- Binomisches Integral
Literatur
- Schulbücher:
- Integralrechnung ist ein zentraler Unterrichtsgegenstand in der Sekundarstufe II und wird somit in allen Mathematik-Lehrbüchern behandelt.
- Lehrbücher für Studenten der Mathematik und benachbarter Fächer (Physik, Informatik):
- Herbert Amann, Joachim Escher: Analysis I, II, III. Birkhäuser-Verlag Basel Boston Berlin, ISBN 3-7643-7755-0, ISBN 3-7643-7105-6, ISBN 3-7643-6613-3
- Richard Courant: Vorlesungen über Differential- und Integralrechnung 1, 2. Springer, 1. Aufl. 1928, 4. Aufl. 1971
- Otto Forster: Analysis 1. Differential- und Integralrechnung einer Veränderlichen. 7. Aufl. Vieweg-Verlag, 2004. ISBN 3-528-67224-2
- Otto Forster: Analysis 3. Integralrechnung im Rn mit Anwendungen. 3. Aufl. Vieweg-Verlag, 1996. ISBN 3-528-27252-X
- Konrad Königsberger: Analysis. 2 Bände, Springer, Berlin 2004.
- Steffen Timmann: Repetitorium der Analysis 1, 2. 1. Auflage. Binomi Verlag, 1993,
- Lehrbücher für Studenten mit Nebenfach/Grundlagenfach Mathematik (zum Beispiel Studenten der Ingenieur- oder Wirtschaftswissenschaften):
- Rainer Ansorge und Hans Joachim Oberle: Mathematik für Ingenieure. Band 1. 3. Auflage. Wiley-VCH, 2000
- Lothar Papula: Mathematik für Naturwissenschaftler und Ingenieure. Band 1
- Historisches:
- Adolph Mayer: Beiträge zur Theorie der Maxima und Minima der einfachen Integrale. Teubner, Leipzig 1866 (Digitalisat)
- Bernhard Riemann: Ueber die Darstellbarkeit einer Function durch eine trigonometrische Reihe. Göttingen 1867 (Volltext), mit der Erstdefinition des Riemann-Integrals (Seite 12ff.)
Weblinks
- mathe-online.at – Ressourcen zum Thema Integrieren (Sekundarstufe 2/FHS/Uni)
- Anschauliche Erklärungen
- Applet zur Darstellung von Ober- und Untersummen für beliebige Funktionen
- Applet zur Visualisierung des Begriffs der Integralfunktion
- The Integrator – Englische Seite zur Berechnung von Integralen
- Der Integrator – Deutsche Seite zur Berechnung von bestimmten Integralen mit graphischer Darstellung der Fläche
- Teil 1 einer dreiteiligen Serie über Mehrfachintegrale (detailliert+umfangreich)
- Kowalk07: Integraltheorie
Wikimedia Foundation.