DieIntegralrechnung ist ein Zweig derInfinitesimalrechnung und bildet mit derDifferentialrechnung diemathematischeAnalysis. Sie ist aus der Aufgabe entstanden,Flächeninhalte oderVolumina zu berechnen, die durch gekrümmteLinien bzw.Flächen begrenzt sind. Unter dem OberbegriffIntegral werden dasunbestimmte und dasbestimmte Integral einerFunktion zusammengefasst. Die Berechnung von Integralen heißtIntegration.

• Dasbestimmte Integral einer Funktion${\displaystyle f}$ ergibt eine Zahl. Ist${\displaystyle f}$ eine reelle Funktion einer reellenVariablen${\displaystyle x}$, die im${\displaystyle xy-}$Koordinatensystem in einem Intervall von${\displaystyle a\le x\le b}$ durch einen Graphen dargestellt ist, dann gibt das bestimmte Integral den Inhalt der Fläche an, die in diesem Intervall zwischen dem Graphen und der${\displaystyle x}$-Achse liegt.${\displaystyle a}$ und${\displaystyle b}$ werden alsIntegrationsgrenzen bezeichnet. Falls Flächenstücke unterhalb der${\displaystyle x}$-Achse vorkommen, werden diese hierbei negativ gezählt. Diese Vorzeichenkonvention wird gewählt, damit das bestimmte Integral einelineare Abbildung vom Raum der Funktionen in den Zahlenraum ist, was sowohl für theoretische Überlegungen als auch für konkrete Berechnungen eine zentrale Eigenschaft des Integralbegriffs darstellt. Auch wird so sichergestellt, dass derHauptsatz der Differential- und Integralrechnung gilt.
• Dasunbestimmte Integral einer Funktion${\displaystyle f}$ ist eine Funktion${\displaystyle F}$ , deren ersteAbleitung gerade die ursprüngliche Funktion${\displaystyle f}$ ist.${\displaystyle F}$ wird alsStammfunktion der Funktion${\displaystyle f}$ bezeichnet. Addiert oder subtrahiert man zu${\displaystyle F}$ eine beliebige Zahl, erhält man wieder eine Stammfunktion von${\displaystyle f}$. Der Hauptsatz der Differential- und Integralrechnung gibt Auskunft darüber, wie mithilfe von unbestimmten Integralen bestimmte Integrale berechnet werden können.

Insoweit sind Integration undDifferentiation Umkehrungen voneinander. Im Gegensatz zur Differentiation existiert für die Integration auch elementarer Funktionen aber kein einfacher und kein alle Fälle abdeckenderAlgorithmus. Integration erfordert trainiertes Raten, das Benutzen spezieller Umformungen (Integration durch Substitution,partielle Integration), Nachschlagen in einerIntegraltafel oder das Verwenden spezieller Computer-Software. Oft erfolgt die Integration nur näherungsweise mittelsnumerischer Quadratur.

Flächenberechnungen werden seit derAntike untersucht. Im 5. Jahrhundert vor Christus entwickelteEudoxos von Knidos nach einer Idee vonAntiphon dieExhaustionsmethode, die darin besteht, Verhältnisse von Flächeninhalten mittels enthaltener oder überdeckenderPolygone abzuschätzen. Er konnte durch diese Methode sowohl Flächeninhalte als auch Volumina einiger einfacher Körper bestimmen.Archimedes (287–212 v. Chr.) verbesserte diesen Ansatz, und so gelang ihm die exakte Bestimmung des Flächeninhalts einer von einemParabelbogen und einerSekante begrenzten Fläche ohne Rückgriff auf denGrenzwertbegriff, der damals noch nicht vorhanden war; dieses Ergebnis lässt sich leicht in das heute bekannte Integral einer quadratischen Funktion umformen. Zudem schätzte er das Verhältnis vom Umfang eines Kreises zu dessen Durchmesser, also dieKreiszahl${\displaystyle \pi }$, als Wert zwischen${\displaystyle 3\frac{10}{71}}$ und${\displaystyle 3\frac{10}{70}}$ ab.

Diese Methode wurde auch im Mittelalter benutzt. Im 17. Jahrhundert stellteBonaventura Francesco Cavalieri dasPrinzip von Cavalieri auf, wonach zwei Körper das gleiche Volumen haben, wenn alle parallelen ebenen Schnittflächen den gleichen Flächeninhalt haben.Johannes Kepler benutzte in seinem WerkAstronomia Nova (1609) bei der Berechnung der Marsbahn Methoden, die heute als numerische Integration bezeichnet würden. Er versuchte ab 1612, den Rauminhalt von Weinfässern zu berechnen. 1615 veröffentlichte er dieStereometria Doliorum Vinariorum („Stereometrie der Weinfässer“), später auch alskeplersche Fassregel bekannt.

Ende des 17. Jahrhunderts gelang esIsaac Newton undGottfried Wilhelm Leibniz unabhängig voneinander, Kalküle zur Differentialrechnung zu entwickeln und so denFundamentalsatz der Analysis zu entdecken (zur Entdeckungsgeschichte und zum Prioritätsstreit siehe den ArtikelInfinitesimalrechnung; zum Integralzeichen und dessen Geschichte sieheIntegralzeichen). 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 AdligenGuillaume François Antoine, Marquis de L’Hospital, der beiJohann I Bernoulli Privatunterricht nahm und darin dessen Forschung zur Analysis publizierte. Der BegriffIntegral geht auf Johann Bernoulli zurück.

Im 19. Jahrhundert wurde die gesamte Analysis auf ein solideres Fundament gestellt. 1823 entwickelteAugustin-Louis Cauchy erstmals einen Integralbegriff, der den heutigen Ansprüchen anmathematische Strenge genügt. Später entstanden die Begriffe desRiemann-Integrals und desLebesgue-Integrals. Schließlich folgte die Entwicklung derMaßtheorie Anfang des 20. Jahrhunderts.

„Kompakt“ bedeutet hierbeschränkt undabgeschlossen, es werden also nur Funktionen aufIntervallen der Form${\displaystyle [a,b]}$ betrachtet.Offene oder unbeschränkte Intervalle sind nicht zugelassen.

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 zweistetige Funktionen${\displaystyle f,g}$ auf einem kompakten Intervall${\displaystyle [a,b]}$, deren Graphen die Fläche begrenzen (linkes Bild).

::

Der Flächeninhalt der grauen Fläche im linken Bild ist gleich der Differenz der grauen Bereiche in den beiden rechten Bildern. Es genügt also, sich auf den einfacheren Fall einer Fläche zu beschränken, die begrenzt wird von

• dem Graphen einer Funktion,
• zwei vertikalen Geraden${\displaystyle x=a}$ und${\displaystyle x=b}$
• sowie der${\displaystyle x}$-Achse.

Auf Grund seiner fundamentalen Bedeutung erhält dieser Typ Flächeninhalt eine spezielle Bezeichnung:

${\displaystyle {\int }_a^{b}f(x)\mathrm{d}x}$,

gelesen alsIntegral von${\displaystyle a}$ bis${\displaystyle b}$von${\displaystyle f}$ von${\displaystyle x}$,${\displaystyle \mathrm{d}x}$. Das Symbol${\displaystyle \mathrm{d}x}$ steht für dasDifferential auf der${\displaystyle x}$-Achse und gibt an, dass${\displaystyle x}$ die Integrationsvariable ist, was vor allem bei Funktionen mit mehreren infragekommenden Symbolen von Variablen wichtig ist. Statt${\displaystyle x}$ kann die Integrationsvariable im Differentialund in der Funktion auch durch ein beliebiges anderes Symbol bezeichnet werden, abgesehen von denen für die Grenzen${\displaystyle a}$ und${\displaystyle b}$, zum Beispiel mit${\displaystyle t}$ oder${\displaystyle s}$. Der Wert des Integrals wird dadurch nicht geändert.

Verschiebt man den Graphen einer Funktion in Richtung der${\displaystyle y}$-Achse um ein Stück${\displaystyle c}$, so kommt zu der betrachteten Fläche ein Rechteck hinzu:

:

Das Integral ändert sich um den Flächeninhalt dieses Rechtecks der Breite${\displaystyle b-a}$ und der Höhe${\displaystyle c}$, in Formeln

${\displaystyle {\int }_a^b(f(x)+c)\mathrm{d}x={\int }_a^{b}f(x)\mathrm{d}x+(b-a)\cdot c.}$

Betrachtet man eine stetige Funktion, deren Werte negativ sind, so kann man stets ein${\displaystyle c\in \mathbb{R}}$ finden, sodass die Werte${\displaystyle f(x)+c}$ im Intervall alle positiv sind (${\displaystyle c}$ muss größer als der Betrag des Minimums von${\displaystyle f}$ in${\displaystyle [a,b]}$ sein). Mit der vorhergehenden Überlegung erhält man

${\displaystyle {\int }_a^{b}f(x)\mathrm{d}x={\int }_a^b(f(x)+c)\mathrm{d}x-(b-a)\cdot c,}$

das heißt, das Integral von${\displaystyle f}$ ist die Differenz der Flächeninhalte des weißen Bereichs in der Mitte und dem umgebenden Rechteck. Diese Differenz ist abernegativ, das heißt, soll die obige Formel für beliebige Funktionen korrekt sein, so muss man Flächen unterhalb der${\displaystyle x}$-Achse negativ zählen. Man spricht deshalb von einemorientierten bzw.gerichteten Flächeninhalt.

Wenn eine oder mehrere Nullstellen im zu untersuchenden Intervall vorliegen, gibt das Integral nicht mehr den Flächeninhalt an, sondern die Summe aus den (positiven) Flächeninhalten der Teilflächen oberhalb der${\displaystyle x}$-Achse und den (negativen) Flächeninhalten der Teilflächen unterhalb der${\displaystyle x}$-Achse. Benötigt man in einem solchen Intervall die Fläche zwischen${\displaystyle x}$-Achse und Graph der Funktion, muss das Integral an den Nullstellen aufgeteilt werden.

Es ist nicht einfach, den Begriff des Flächeninhaltes mathematisch präzise zu fassen. Im Laufe 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 seienreelle Zahlen, und es sei${\displaystyle \mathcal{F}}$ einVektorraum von Funktionen${\displaystyle [a,b]\to \mathbb{R}}$, der diestetigen Funktionen umfasst. Funktionen in${\displaystyle \mathcal{F}}$ werden „integrierbar“ genannt. Dann ist ein Integral eine Abbildung

${\displaystyle \mathcal{F}\to \mathbb{R},}$

geschrieben

${\displaystyle f\mapsto {\int }_a^{b}f(x)\mathrm{d}x,}$

mit den folgenden Eigenschaften:

• Linearität: Für Funktionen${\displaystyle f,g\in \mathcal{F}}$ und${\displaystyle \lambda \in \mathbb{R}}$ gilt
  • ${\displaystyle {\int }_a^b(f(x)+g(x))\mathrm{d}x={\int }_a^{b}f(x)\mathrm{d}x+{\int }_a^{b}g(x)\mathrm{d}x}$,
  • ${\displaystyle {\int }_a^b\lambda f(x)\mathrm{d}x=\lambda \cdot {\int }_a^{b}f(x)\mathrm{d}x}$.
• Monotonie: Ist${\displaystyle f(x)\ge 0}$ für alle${\displaystyle x\in [a,b]}$, so ist

  ${\displaystyle {\int }_a^{b}f(x)\mathrm{d}x\ge 0.}$

• Integral dercharakteristischen Funktion eines Intervalls: Ist${\displaystyle I\subseteq [a,b]}$ ein Intervall und ist

so ist

${\displaystyle {\int }_a^b{\chi }_I(x)\mathrm{d}x}$

gleich der Länge des Intervalls${\displaystyle I}$.

• Die reellen Zahlen${\displaystyle a}$ und${\displaystyle b}$ heißenIntegrationsgrenzen. Sie können oberhalb und unterhalb des Integralzeichens oder seitlich vom Integralzeichen geschrieben werden:

${\displaystyle \underset{a}{\overset{b}{\int }}f(x)\mathrm{d}x}$     oder    ${\displaystyle {\int }_a^{b}f(x)\mathrm{d}x}$

• Die zu integrierende Funktion${\displaystyle f}$ heißtIntegrand.
• Die Variable${\displaystyle x}$ heißtIntegrationsvariable. Ist${\displaystyle x}$ die Integrationsvariable, so spricht man auch von Integrationüber${\displaystyle x}$. Die Integrationsvariable ist austauschbar, statt

${\displaystyle {\int }_a^{b}f(x)\mathrm{d}x}$

kann man genauso gut

${\displaystyle {\int }_a^{b}f(t)\mathrm{d}t}$ oder${\displaystyle {\int }_a^{b}f(\xi )\mathrm{d}\xi }$

schreiben. In dem obigen Beispiel führt es zu unerwünschten Mehrdeutigkeiten, wenn man die Buchstaben${\displaystyle a}$ oder${\displaystyle b}$ verwendet, da sie bereits als Bezeichner für die Integrationsgrenzen fungieren. Daher sollte man darauf achten, dass das für die Integrationsvariable verwendete Zeichen nicht schon mit einer anderen Bedeutung belegt ist.

• Der Bestandteil${\displaystyle \mathrm{d}x}$ wirdDifferential 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.

Die symbolische Schreibweise von Integralen geht auf den Miterstbeschreiber der Differential- und Integralrechnung,Gottfried Wilhelm Leibniz, zurück. DasIntegralzeichen∫ ist aus dem Buchstabenlanges s (ſ) für lateinischsumma abgeleitet. Die multiplikativ zu lesende Notation${\displaystyle f(x)\mathrm{d}x}$ deutet an, wie sich das Integral – dem Riemann-Integral folgend – aus Streifen der Höhe${\displaystyle f(x)}$ und derinfinitesimalen Breite${\displaystyle \mathrm{d}x}$ zusammensetzt.

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

${\displaystyle {\int }_a^{b}f(x)\mathrm{d}x}$

oft

${\displaystyle {\int }_a^b\mathrm{d}xf(x)}$

geschrieben, manchmal werden an verschiedenen Stellen sogar beide Schreibweisen benutzt.

Die zweite Schreibweise hat den Nachteil, dass die zu integrierende Funktion${\displaystyle f(x)}$ nicht mehr durch${\displaystyle {\int }_a^b}$ und${\displaystyle \mathrm{d}x}$ eingeklammert wird. Zudem können Missverständnisse zum Beispiel beimLebesgue-Integral auftreten. Die alternative Schreibweise hat jedoch auch einige Vorzüge:

• Der Ausdruck${\displaystyle {\int }_a^b\mathrm{d}x}$ hebt hervor, dass das Integral einlinearer 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${\displaystyle x_1,x_2,\dots ,x_n}$ integriert. Dann weiß man bei der Schreibweise${\displaystyle {\int }_a^b\mathrm{d}xf(x)}$ 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${\displaystyle \mathrm{\Delta }{x}_n\cdot f(x_n)}$ wird betont.

Beispiel:

${\displaystyle {\int }_{a_1}^{a_2}\mathrm{d}t{\int }_{b_1}^{b_2}\mathrm{d}{x}_1{\int }_{c_1}^{c_2}\mathrm{d}{x}_2{\int }_{d_1}^{d_2}\mathrm{d}{x}_{3}f(x_1,x_2,x_3,t)}$

statt

${\displaystyle {\int }_{a_1}^{a_2}{\int }_{b_1}^{b_2}{\int }_{c_1}^{c_2}{\int }_{d_1}^{d_2}f(x_1,x_2,x_3,t)\mathrm{d}{x}_3\mathrm{d}{x}_2\mathrm{d}{x}_1\mathrm{d}t}$

• Ist${\displaystyle f(x)\le g(x)}$ für alle${\displaystyle a\le x\le b}$, so ist

${\displaystyle {\int }_a^{b}f(x)\mathrm{d}x\le {\int }_a^{b}g(x)\mathrm{d}x.}$

• Bezeichnet man mit${\displaystyle \Vert f{\Vert }_{\mathrm{\infty }}}$ dieSupremumsnorm von${\displaystyle f}$ auf${\displaystyle [a,b]}$, so gilt

${\displaystyle \left|{\int }_a^{b}f(x)\mathrm{d}x\right|\le (b-a)\cdot \Vert f{\Vert }_{\mathrm{\infty }}.}$

• Ist für alle${\displaystyle a\le x\le b}$ mit einer festen Zahl${\displaystyle \epsilon >0}$, so gilt

${\displaystyle \left|{\int }_a^{b}f(x)\mathrm{d}x-{\int }_a^{b}g(x)\mathrm{d}x\right|\le (b-a)\cdot \epsilon .}$

Daraus folgt: Ist${\displaystyle (f_n{)}_{n\in \mathbb{N}}}$ eine Folge von integrierbaren Funktionen, diegleichmäßig gegen eine (integrierbare) Funktion${\displaystyle f}$ konvergiert, so ist

${\displaystyle \underset{n\to \mathrm{\infty }}{lim}{\int }_a^b{f}_n(x)\mathrm{d}x={\int }_a^{b}f(x)\mathrm{d}x.}$

Mit anderen Worten: Das Integral ist ein stetigesFunktional für die Supremumsnorm.

• Integrale von Treppenfunktionen: Ist${\displaystyle f}$ eineTreppenfunktion, das heißt, ist${\displaystyle [a,b]}$ einedisjunkte Vereinigung von Intervallen${\displaystyle I_k}$ der Längen${\displaystyle L_k}$, sodass${\displaystyle f}$ auf${\displaystyle I_k}$ konstant mit Wert${\displaystyle c_k}$ ist, so gilt:

${\displaystyle {\int }_a^{b}f(x)\mathrm{d}x=\sum _{k=1}^n{L}_k\cdot c_k.}$

Das Integral ist somit gleich der Summe der orientierten Flächeninhalte der Rechtecke zwischen dem Funktionsgraphen von${\displaystyle f}$ und der${\displaystyle x}$-Achse.

Die Integration ist eine nicht-eindeutige Umkehrung der Differentiation. Um dies zu präzisieren, wird der Begriff derStammfunktion benötigt: Ist${\displaystyle f}$ eine Funktion, so heißt eine Funktion${\displaystyle F}$ eineStammfunktion von${\displaystyle f}$, wenn dieAbleitung von${\displaystyle F}$ gleich${\displaystyle f}$ ist:

${\displaystyle F^{\prime }=f}$

Nicht-eindeutig ist diese Umkehrung, weil verschiedene Funktionen, die sich nur um einen konstanten Summanden unterscheiden, ein und dieselbe Ableitung haben. Daraus folgt, dass eine Funktion, zu der es eine Stammfunktion gibt, dann gleich unendlich viele Stammfunktionen hat.

DerHauptsatz der Differential- und Integralrechnung stellt eine Beziehung zwischen Stammfunktionen und Integralen her. Er besagt: Ist${\displaystyle f}$ einestetige Funktion auf einem Intervall${\displaystyle [a,b]}$ und ist${\displaystyle F}$ eine Stammfunktion von${\displaystyle f}$, so gilt

${\displaystyle {\int }_a^{b}f(x)\mathrm{d}x=F(b)-F(a).}$

Die rechte Seite wird oft abkürzend als

${\displaystyle [F(x){]}_a^b=[F(x){]}_{x=a}^{x=b}=F(x){|}_a^b=F(x){|}_{x=a}^{x=b}}$ oder Ähnliches

geschrieben.

Dieser Zusammenhang ist die hauptsächliche Methode zur expliziten Auswertung von Integralen. Die Schwierigkeit liegt meist im Auffinden einer Stammfunktion.

Die bloßeExistenz ist theoretisch gesichert: DieIntegralfunktion

${\displaystyle x\mapsto F_a(x):={\int }_a^{x}f(t)\mathrm{d}t}$

ist für jedes${\displaystyle a}$ eine Stammfunktion von${\displaystyle f}$.

Man kann zu einer Stammfunktion eine Konstante addieren und erhält wieder eine Stammfunktion: Ist${\displaystyle F}$ eine Stammfunktion zu einer Funktion${\displaystyle f}$ und ist${\displaystyle c\in \mathbb{R}}$ eine Konstante, so ist

${\displaystyle (F+c{)}^{\prime }=F{}^{\prime }+0=F^{\prime }=f.}$

Zwei Stammfunktionen derselben auf einem Intervall definierten Funktion unterscheiden sich um eine Konstante: Sind${\displaystyle F}$ und${\displaystyle G}$ Stammfunktionen einer Funktion${\displaystyle f}$, so ist

${\displaystyle (F-G){}^{\prime }=F^{\prime }-G^{\prime }=f-f=0,}$

also ist die Differenz${\displaystyle F-G}$ eine Konstante. Ist derDefinitionsbereich von${\displaystyle f}$ kein Intervall, so ist die Differenz zweier Stammfunktionen lediglichlokal konstant.

Eine Stammfunktion wird auch alsunbestimmtes Integral von${\displaystyle f(x)}$ bezeichnet – manchmal ist damit aber auch die Menge aller Stammfunktionen gemeint. Ist${\displaystyle F(x)}$ eine Stammfunktion, so schreibt man häufig unpräzise

${\displaystyle \int f(x)\mathrm{d}x=F(x)+C,}$

um anzudeuten, dass jede Stammfunktion von${\displaystyle f}$ die Form${\displaystyle F(x)+C}$ mit einer Konstante${\displaystyle C}$ hat. Die Konstante${\displaystyle C}$ heißtIntegrationskonstante.

Man beachte, dass die Schreibweise

${\displaystyle \int f(x)\mathrm{d}x}$

jedoch auch häufig in Formeln benutzt wird, um anzudeuten, dass Gleichungen für beliebige, konsistent gewählte Grenzen gelten; beispielsweise ist mit

${\displaystyle \int cf(x)\mathrm{d}x=c\int f(x)\mathrm{d}x}$

gemeint, dass

${\displaystyle {\int }_a^{b}cf(x)\mathrm{d}x=c{\int }_a^{b}f(x)\mathrm{d}x}$

für beliebige${\displaystyle a,b}$ gilt.

Siehe dazu den Artikel:Tabelle von Ableitungs- und Stammfunktionen oderunbestimmte 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. einerIntegraltafel) nach. Zur manuellen Berechnung einer Stammfunktion ist häufig die geschickte Anwendung der folgenden Standardtechniken hilfreich.

Die partielle Integration ist die Umkehrung derProduktregel der Differentialrechnung. Sie lautet:

${\displaystyle \int f^{\prime }(x)\cdot g(x)\mathrm{d}x=f(x)\cdot g(x)-\int f(x)\cdot g^{\prime }(x)\mathrm{d}x}$

Diese Regel ist dann von Vorteil, wenn die Funktion${\displaystyle f(x)\cdot g^{\prime }(x)}$ einfacher als die Funktion${\displaystyle f^{\prime }(x)\cdot g(x)}$ zu integrieren ist. Hierbei sind jedoch die Produkte und nicht die Faktoren selbst zu bewerten.

Beispiel:

${\displaystyle \int x\ln (x)\mathrm{d}x}$

Setzt man

${\displaystyle f^{\prime }(x)=x}$ und${\displaystyle g(x)=\ln (x)}$

so ist

${\displaystyle f(x)=\frac{x^2}{2}}$ und${\displaystyle g^{\prime }(x)=\frac{1}{x}}$

und man erhält

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 zurKettenregel in der Differentialrechnung.

Sei${\displaystyle \phi (x)=f(g(x))\cdot g^{\prime }(x)}$ mit${\displaystyle g^{\prime }\ne 0}$ und${\displaystyle F}$ eine Stammfunktion von${\displaystyle f}$, so ist${\displaystyle \mathrm{\Phi }(x)=F(g(x))}$ eine Stammfunktion von${\displaystyle \phi }$, denn es gilt

${\displaystyle \frac{\phi (x)}{g^{\prime }(x)}=f(g(x))}$

und mit der Substitution

${\displaystyle z=g(x),\mathrm{d}z=g^{\prime }(x)\mathrm{d}x}$

schließlich

Bei gebrochenrationalen Funktionen führt häufig einePolynomdivision oder einePartialbruchzerlegung zu einer Umformung der Funktion, die es erlaubt, eine der Integrationsregeln anzuwenden.

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${\displaystyle \int \frac{\mathrm{d}x}{(1+x^2{)}^2}}$ zu bestimmen, integrieren wir das folgende ähnliche Integral partiell:

Durch Umstellen folgt

${\displaystyle \int \frac{\mathrm{d}x}{(1+x^2{)}^2}=\frac{1}{2}\left(\frac{x}{1+x^2}+\arctan x\right).}$

Soll eine Funktion${\displaystyle f}$ mehrfach integriert werden, liefert dieCauchy-Formel für mehrfache Integration für das${\displaystyle n}$-te iterierte Integral von${\displaystyle f}$ am Punkt${\displaystyle x}$

${\displaystyle I^n(x)={\int }_a^x{\int }_a^{{\sigma }_1}\cdots {\int }_a^{{\sigma }_{n-1}}f({\sigma }_n)\mathrm{d}{\sigma }_n\cdots \mathrm{d}{\sigma }_2\mathrm{d}{\sigma }_1}$

das folgende Integral:

${\displaystyle I^n(x)=\frac{1}{(n-1)!}{\int }_a^x{\left(x-t\right)}^{n-1}f(t)\mathrm{d}t}$.

Es soll der „mittlere Wert“${\displaystyle m}$ ermittelt werden, den eine auf einem Intervall definierte Funktion${\displaystyle f}$ annimmt. Da${\displaystyle f}$ im Allgemeinen unendlich viele verschiedene Werte annimmt, wird man diesen mittleren Wert dadurch annähern, dass man${\displaystyle f}$ zunächst nur an endlich vielen Stellen${\displaystyle \{x_1,x_2,\dots ,x_n\}}$ auswertet, die gleichmäßig über${\displaystyle [a,b]}$ verteilt sind, und dann dasarithmetische Mittel

${\displaystyle \frac{f(x_1)+\cdots +f(x_n)}{n}}$

bildet. Mit${\displaystyle \mathrm{\Delta }x=(b-a)/n}$ erhält man somit als Annäherung für den mittleren Wert von${\displaystyle f}$

${\displaystyle m\approx \frac{1}{b-a}\sum _{k=1}^{n}f(x_k)\mathrm{\Delta }x}$.

Die Approximation wird umso genauer, je größer die Anzahl der Stellen${\displaystyle n}$ ist, die in diese Summe einfließen. Für${\displaystyle n\to \mathrm{\infty }}$ erhält man schließlich als genaue Formel für den Mittelwert der Funktion

${\displaystyle m=\underset{n\to \mathrm{\infty }}{lim}\left(\frac{1}{b-a}\sum _{k=1}^{n}f(x_k)\mathrm{\Delta }x\right).}$

Existiert der Grenzwert auf der rechten Seite, so handelt es sich um das Integral der Funktion über${\displaystyle [a,b].}$ Deshalb ist der Mittelwert einer Funktion definiert als

${\displaystyle m=\frac{1}{b-a}{\int }_a^{b}f(x)\mathrm{d}x.}$

Diese Definition stimmt fürTreppenfunktionen mit dem üblichen Mittelwertbegriff übereinstimmt und ist somit eine Verallgemeinerung der arithmetischen Mittels.

Ein physikalischesPhänomen, an dem der Integralbegriff erklärt werden kann, ist derfreie Fall einesKörpers imSchwerefeld derErde. DieGeschwindigkeit${\displaystyle v}$ eines Körpers zur Zeit${\displaystyle t}$ wird durch die Formel

${\displaystyle v=g\cdot t}$

beschrieben. Dabei ist${\displaystyle g}$ die konstanteErdbeschleunigung, die inMitteleuropa ca. 9,81 m/s² beträgt.

Nun soll aber die Wegstrecke${\displaystyle l}$ berechnet werden, die der fallende Körper bis zu einer bestimmten Zeit${\displaystyle T}$ zurücklegt. Die Formel${\displaystyle l=v\cdot T}$ („Weg = Geschwindigkeit × Zeit“) ist nur bei einer konstanten Geschwindigkeit gültig. Unter dem Einfluss der Erdbeschleunigung nimmt die Geschwindigkeit${\displaystyle v}$ des Körpers jedoch stetig mit der Zeit zu. Um das Problem zu lösen, zerlegt man den gesamten Zeitraum in sehr kurze Zeitintervalle${\displaystyle \mathrm{\Delta }t}$; während jedes Zeitintervalls ändert sich die Geschwindigkeit nur wenig, so dass die Formel „Weg = Geschwindigkeit × Zeit“ zumindest näherungsweise gilt. Die innerhalb eines kurzen Zeitraums${\displaystyle \mathrm{\Delta }t}$ zurückgelegte Teilstrecke${\displaystyle \mathrm{\Delta }l}$ beträgt daher

${\displaystyle \mathrm{\Delta }l\approx g\cdot t\cdot \mathrm{\Delta }t}$.

Die gesamte Wegstrecke erhält man näherungsweise als Summe aller Teilstrecken:

${\displaystyle l\approx \sum g\cdot t\cdot \mathrm{\Delta }t.}$

Wenn man nun die Zeitdifferenzen${\displaystyle \mathrm{\Delta }t}$ gegen Null streben lässt, verschwinden die Approximationsfehler und man erhält die exakte Wegstrecke als

${\displaystyle l=\underset{\mathrm{\Delta }t\to 0}{lim}\sum g\cdot t\cdot \mathrm{\Delta }t.}$

Die rechte Seite der Gleichung ist gerade das Integral über${\displaystyle g\cdot t}$. Also ist die Wegstrecke das Integral der Geschwindigkeit über die Zeit:

${\displaystyle l={\int }_0^{T}g\cdot t\mathrm{d}t.}$

Das Integral lässt sich z. B. mit dem Hauptsatz der Analysis auswerten:

${\displaystyle l=\frac{g}{2}\cdot T^2.}$

Die allgemeine Lösung führt zurBewegungsgleichung des im konstanten Schwerefeld fallenden Körpers:

${\displaystyle l=\frac{g}{2}\cdot t^2.}$

Weitere Beispiele sind:

• DieEnergie ist das Integral derLeistung über die Zeit.
• Dieelektrische Ladung einesKondensators ist das Integral des durch ihn fließendenStromes über die Zeit.
• Das Integral des Produktes der spektralen Bestrahlungsstärke (E_e(ν) inW/m²Hz) mit der spektralenHellempfindlichkeitskurve des Auges liefert die Beleuchtungsstärke (E inLux = Lumen/m²).
• Das Integral der Strömungsgeschwindigkeit (Längskomponente) über den Querschnitt eines Rohres liefert den gesamtenVolumenstrom durch das Rohr (weitere mehrdimensionale Integralesiehe unten).

EineRegelfunktion ist eine Funktion, die sich gleichmäßig durch Treppenfunktionenapproximieren lässt. Aufgrund der erwähnten Kompatibilität des Integrals mit gleichmäßigen Limites kann man für eine Regelfunktion${\displaystyle f}$, die gleichmäßiger Limes einer Folge${\displaystyle t_n}$ von Treppenfunktionen ist, das Integral definieren als

${\displaystyle {\int }_a^{b}f(x)\mathrm{d}x=\underset{n\to \mathrm{\infty }}{lim}{\int }_a^b{t}_n(x)\mathrm{d}x,}$

wobei das Integral für Treppenfunktionen durch die oben angegebene Formel definiert wird.

Die Klasse der Regelfunktionen umfasst alle stetigen Funktionen und allemonotonen Funktionen, ebenso alle Funktionen${\displaystyle f}$, für die sich${\displaystyle [a,b]}$ in endlich viele Intervalle${\displaystyle I_k}$ unterteilen lässt, sodass dieEinschränkung von${\displaystyle f}$ auf${\displaystyle I_k}$ eine stetige oder monotone Funktion auf dem abgeschlossenen Intervall${\displaystyle {\overline{I}}_k}$ ist, d. h. alle stückweise stetigen Funktionen. Sie umfasst außerdemFunktionen von beschränkter Variation, da sich so eine Funktion als Differenz zweier monoton steigender Funktionen darstellen lässt. Für viele praktische Zwecke ist diese Integralkonstruktion völlig ausreichend.

Es gibt auchstetige Funktionen mitunendlicher Variation wie z. B. die durch${\displaystyle 0\mapsto 0}$ und${\displaystyle t\mapsto t\cos \frac{\pi /2}{t}}$ für auf dem Intervall${\displaystyle [0,1]}$ definierte Funktion (sieheVariation).

Ein Ansatz zur Berechnung des Integrals nach Riemann ist die Approximation der zu integrierenden Funktion durch eineTreppenfunktion; allerdings nicht durch gleichmäßige Approximation der Funktion selbst, sondern durch Approximation des Flächeninhalts durch Rechtecksummen.

Die Fläche wird durch die Summe der Flächeninhalte der einzelnenRechtecke unter den einzelnen „Treppenstufen“ angenähert. Zu jeder Zerlegung des Integrationsintervalls kann man dazu einen beliebigen Funktionswert innerhalb jedes Teilintervalls als Höhe der Stufe wählen.

Dies sind die nach dem deutschenMathematikerBernhard Riemann bezeichnetenRiemann-Summen. Wählt man in jedem Teilintervall der Zerlegung gerade dasSupremum der Funktion als Höhe des Rechtecks, so ergibt sich die Obersumme, mit demInfimum die Untersumme.

Das Riemannsche Integral lässt sich mit Hilfe von Ober- und Untersummen definieren, sieheRiemannsches Integral. Konvergieren Ober- und Untersummen gegen den gleichenGrenzwert, so ist dieser Grenzwert das Integral im Sinne von Riemann. Integrierbar in diesem Sinne sind z. B. sämtliche Funktionen, für die das Cauchy-Integral existiert.

DasRiemann-Integral existiert z. B. nicht für dieIndikatorfunktion der rationalen Zahlen im Intervall${\displaystyle [0,1]}$, d. h. für dieDirichlet-Funktion. Deshalb wurden erweiterte Integralbegriffe vonHenri Léon Lebesgue (Lebesgue-Integral),Thomas Jean Stieltjes (Stieltjesintegral) undAlfréd Haar eingeführt, die für stetige Integranden das Riemann-Integral reproduzieren.

Beim Stieltjes-Integral geht man von monotonen Funktionen${\displaystyle g}$ aus, oder von solchen mitendlicher Variation, das sind Differenzen von zwei monotonen Funktionen, und definiert für stetige Funktionen${\displaystyle f}$ Riemann-Stieltjes’sche Summen als

${\displaystyle \sum _{i=0}^{n-1}f(x_i)\left(g(x_{i+1})-g(x_i)\right).}$

Durch Limesbildung in der üblichen Weise erhält man dann das sogenannteRiemann-Stieltjes-Integral${\displaystyle {\int }_{I}f\mathrm{d}g}$.

Solche Integrale sind auch dann definiert, wenn die Funktion${\displaystyle g}$ nicht differenzierbar ist (andernfalls gilt${\displaystyle \mathrm{d}g(x)=g^{\prime }(x)\mathrm{d}x}$). Ein bekanntes Gegenbeispiel ist die sogenannteHeaviside-Funktion${\displaystyle \mathrm{\Theta }}$, deren Wert gleich null für negative Argumente, eins für positive Argumente und z. B.${\displaystyle \frac{1}{2}}$ an der Stelle${\displaystyle 0}$ ist. Man schreibt, für${\displaystyle g=\mathrm{\Theta }}$,${\displaystyle \mathrm{d}g(x)=\delta (x)\mathrm{d}x}$ und erhält so die„verallgemeinerte Funktion“${\displaystyle \delta }$, das sogenannteDiracmaß, als ein nur im Punkt${\displaystyle 0}$ definiertes Maß.

Einen moderneren und – in vielerlei Hinsicht – besseren Integralbegriff als den des Riemann’schen Integrals liefert das Lebesgue-Integral. Es erlaubt zum Beispiel die Integration über allgemeineMaßräume. Das bedeutet, dass man Mengen einMaß zuordnen kann, das nicht notwendig mit ihrer geometrischen Länge bzw. ihrem Rauminhalt übereinstimmen muss, so zum BeispielWahrscheinlichkeitsmaße in derWahrscheinlichkeitstheorie. Das Maß, das dem intuitiven Längen- bzw. Volumenbegriff entspricht, ist dasLebesgue-Maß. In der Regel wird das Integral über dieses Maß alsLebesgue-Integral bezeichnet. Für jede Funktion, die über einem kompakten Intervall Riemann-integrierbar ist, existiert auch das entsprechende Lebesgue-Integral und die Werte beider Integrale stimmen überein. Umgekehrt sind aber nicht alle Lebesgue-integrierbaren Funktionen auch Riemann-integrierbar. Das bekannteste Beispiel dafür ist dieDirichlet-Funktion, also die Funktion, die für rationale Zahlen den Wert Eins, aber für irrationale Zahlen den Wert Null hat. 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) und die besseren Eigenschaften der durch das Lebesgue-IntegralnormiertenFunktionenräume (etwaVollständigkeit).

In der modernen Mathematik versteht man unter Integral oder Integrationstheorie häufig den lebesgueschen Integralbegriff.

Das Riemann-Integral ist (im eindimensionalen Raum) nur fürkompakte, also beschränkte und abgeschlossene, Intervalle definiert. Eine Verallgemeinerung auf unbeschränkte Definitionsbereiche oder Funktionen mitSingularitäten bietet das uneigentliche Integral. Auch in der Lebesgue-Theorie können uneigentliche Integrale betrachtet werden, jedoch ist dies nicht so ergiebig, da man mit dem Lebesgue-Integral schon viele Funktionen mit Singularitäten oder unbeschränktem Definitionsbereich integrieren kann.

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 odernumerischer Integration. Viele Verfahren zur numerischen Quadratur bauen auf einer Approximation der Funktion durch einfacher integrierbare Funktionen auf, zum Beispiel durch Polynome. DieTrapezregel oder auch diesimpsonsche Formel (deren Spezialfall alskeplersche Fassregel bekannt ist) sind Beispiele dafür, hier wird durch die Funktion einInterpolationspolynom gelegt und dann integriert.

Bereits lange vor der Verbreitung von Computern wurden für die numerische Integration Verfahren zur automatischenSchrittweitensteuerung 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 noch Schwierigkeiten bei uneigentlichen Integralen bestehen, für deren Berechnung oft spezielle Verfahren wieGauß-Kronrod angewendet werden müssen. Ein Beispiel für ein solcheshartes Integral ist:

${\displaystyle {\int }_0^{\mathrm{\infty }}\frac{\ln (1+x)}{{\ln }^{2}x+{\pi }^2}\cdot \frac{\mathrm{d}x}{x^2}=\gamma }$

Klassische Verfahren sind z. B. dieEulersche Summenformel, bei der das bestimmte Integral durch eine im Allgemeinenasymptotische Reihe approximiert wird. Weitere Methoden basieren auf der Theorie derDifferenzenrechnung, als wichtiges Beispiel ist hier die Gregorysche Integrationsformel zu nennen.

Es gibt eine Reihe von Verfahren, mit denen bestimmte und uneigentliche Integrale exakt in symbolischer Form berechnet werden können.

Falls${\displaystyle f}$ stetig und zu${\displaystyle f}$ eine Stammfunktion${\displaystyle F}$ bekannt ist, lässt sich das bestimmte Integral

${\displaystyle {\int }_a^{b}f(x)\mathrm{d}x=F(b)-F(a)}$

durch den Hauptsatz berechnen. Problematisch ist, dass die Operation des unbestimmten Integrierens zu einer Erweiterung vorgegebener Funktionsklassen führt. Z. B. ist das Integrieren innerhalb der Klasse der rationalen Funktionen nicht abgeschlossen und führt auf die Funktionen${\displaystyle \ln }$ und${\displaystyle \arctan }$. Auch die Klasse der so genanntenelementaren Funktionen ist nicht abgeschlossen. So hatJoseph Liouville bewiesen, dass die Funktion${\displaystyle e^{-x^2}}$ keine elementare Stammfunktion besitzt.Leonhard Euler war einer der ersten, die Methoden zur exakten Berechnung bestimmter und uneigentlicher Integrale ohne Bestimmung einer Stammfunktion entwickelten. Im Laufe der Zeit sind zahlreiche allgemeinere und speziellere Methoden zur bestimmten Integration entstanden:

• Benutzung desResiduensatzes
• Darstellung des von einem Parameter abhängigen Integrals durchspezielle Funktionen
• Differentiation oder Integration des Integrals nach einem Parameter und Vertauschung der Grenzprozesse
• Benutzung einerReihenentwicklung 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:

${\displaystyle {\int }_0^1\frac{\ln (1+x)}{x^2+1}\mathrm{d}x=\frac{\pi }{8}\ln 2}$

${\displaystyle {\int }_0^{\pi }\ln \sin x\mathrm{d}x=-\pi \ln 2}$

Es gibt eine Reihe von bestimmten und uneigentlichen Integralen, die eine gewisse Bedeutung für die Mathematik haben und daher einen eigenen Namen tragen:

• Eulersche Integraleerster undzweiter Art
• GaußschesFehlerintegral

${\displaystyle {\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}{e}^{-t^2}\mathrm{d}t=\sqrt{\pi }}$

• Fresnel-Integrale

${\displaystyle {\int }_0^{\mathrm{\infty }}\cos t^2\mathrm{d}t={\int }_0^{\mathrm{\infty }}\sin t^2\mathrm{d}t=\frac{1}{4}\sqrt{2\pi }}$

• Raabesches Integral

${\displaystyle \underset{a}{\overset{a+1}{\int }}\log \mathrm{\Gamma }(t)\mathrm{d}t=\frac{1}{2}\log 2\pi +a\log a-a,a\ge 0,}$    und speziell für${\displaystyle a=0}$ und${\displaystyle a=e}$:${\displaystyle {\int }_0^1\log \mathrm{\Gamma }(t)\mathrm{d}t=\frac{1}{2}\log 2\pi }$

• Frullanische Integrale

${\displaystyle {\int }_0^{\mathrm{\infty }}\frac{f(ax)-f(bx)}{x}\mathrm{d}x}$

Ist${\displaystyle \gamma :[a,b]\to {\mathbb{R}}^n}$ einWeg, also eine stetige Abbildung, und${\displaystyle f:{\mathbb{R}}^n\to \mathbb{R}}$ eine skalare Funktion, so ist dasWegintegral von${\displaystyle f}$ entlang${\displaystyle \gamma }$ definiert als

${\displaystyle {\int }_{\gamma }f(x)\mathrm{d}x={\int }_a^{b}f(\gamma (t))\Vert \dot{\gamma }(t)\Vert \mathrm{d}t.}$

Ist${\displaystyle f\equiv 1}$, so erhalten wir aus der obigen Formel die Länge der Kurve${\displaystyle \gamma :[a,b]\to {\mathbb{R}}^2}$ (physikalisch gesprochen) als das Integral der Geschwindigkeit über die Zeit:

${\displaystyle L(\gamma )={\int }_a^b\Vert \dot{\gamma }(t)\Vert \mathrm{d}t={\int }_a^b\sqrt{\dot{x}(t{)}^2+\dot{y}(t{)}^2}\mathrm{d}t}$

In der Physik werden häufig Wegintegrale der folgenden Form verwendet:${\displaystyle \overrightarrow{f}}$ ist eine Vektorfunktion${\displaystyle {\mathbb{R}}^n\to {\mathbb{R}}^n}$, und es wird das Integral

${\displaystyle {\int }_{\gamma }\overrightarrow{f}(x)\cdot \mathrm{d}x={\int }_a^b⟨\overrightarrow{f}(\gamma (t)),\dot{\gamma }(t)⟩\mathrm{d}t}$

betrachtet, wobei der Ausdruck in den gewinkelten Klammern einSkalarprodukt darstellt.

In derFunktionentheorie, also der Erweiterung der Analysis auf Funktionen einerkomplexen 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 einWegintegral. Für geschlossene Wege gilt derResiduensatz, ein wichtiges Resultat von Cauchy: Das Integral einermeromorphen Funktion entlang eines geschlossenen Weges hängt allein von der Anzahl der umschlossenen Singularitäten ab. Es ist Null, falls sich im Integrationsgebiet keine Singularitäten befinden.

Als Beispiel wird dasVolumen unter dem Graphen der Funktion${\displaystyle f:{\mathbb{R}}^2\to \mathbb{R}}$ mit${\displaystyle f(x,y):=x^2+y}$ über demEinheitsquadrat${\displaystyle I:=[0,1]\times [0,1]}$ berechnet. Dazu teilt man das Integral über${\displaystyle I}$ auf zwei Integrale auf, eines für die${\displaystyle x}$- und eines für die${\displaystyle y}$-Koordinate:

Für${\displaystyle f\equiv 1}$ ergibt das Oberflächenintegral den Flächeninhalt der Integrationsfläche.

Für${\displaystyle f\equiv 1}$ berechnet das Volumenintegral den Volumeninhalt des Integrationsbereiches.

Den Integralbegriff kann man auf den Fall verallgemeinern, dass die Trägermenge, auf der der Integrand${\displaystyle f}$ operiert, nicht die Zahlengerade${\displaystyle \mathbb{R}}$, sondern der${\displaystyle n}$-dimensionaleeuklidische Raum${\displaystyle {\mathbb{R}}^n}$ ist.

Für mehrdimensionale Integrale, also auch Flächen- und Volumenintegrale, findet derSatz von Fubini Anwendung, der es erlaubt, die Integrale in beliebiger Reihenfolge über die einzelnen Koordinaten aufzuspalten und sie nacheinander abzuarbeiten:

Die Integrationsgrenzen der eindimensionalen Integrale in${\displaystyle x}$,${\displaystyle y}$ und${\displaystyle z}$ muss man aus der Begrenzung des Volumens${\displaystyle V}$ ermitteln. Analog zu den uneigentlichen Integralen im Eindimensionalen (siehe oben) kann man aber auch Integrale über den gesamten, unbeschränkten${\displaystyle n}$-dimensionalen Raum betrachten.

Die Verallgemeinerung der Substitutionsregel im Mehrdimensionalen ist derTransformationssatz. Sei${\displaystyle \mathrm{\Omega }\subset {\mathbb{R}}^d}$offen und${\displaystyle \mathrm{\Phi }:\mathrm{\Omega }\to {\mathbb{R}}^d}$ eineinjektive,stetig differenzierbare Abbildung, für derenFunktionaldeterminante${\displaystyle det(D\mathrm{\Phi }(x))\ne 0}$ für alle${\displaystyle x\in \mathrm{\Omega }}$ gilt. Dann ist

${\displaystyle {\int }_{\mathrm{\Phi }(\mathrm{\Omega })}f(y)\mathrm{d}y={\int }_{\mathrm{\Omega }}f(\mathrm{\Phi }(x))\left|det(D\mathrm{\Phi }(x))\right|\mathrm{d}x.}$

Insbesondere in vielen physikalischen Anwendungen ist die Integration über die Oberfläche eines Gebiets interessant. Solche Oberflächen werden üblicherweise durchMannigfaltigkeiten beschrieben. Diese werden durch sogenannte Karten beschrieben.

Sei${\displaystyle M}$ eine${\displaystyle d}$-dimensionaleUntermannigfaltigkeit des${\displaystyle {\mathbb{R}}^n}$ und${\displaystyle U}$ ein Kartengebiet in${\displaystyle M}$, also eine offene Teilmenge in${\displaystyle M}$, für die es eine Karte gibt, die siediffeomorph auf eine offene Teilmenge des${\displaystyle {\mathbb{R}}^d}$ abbildet. Ferner sei${\displaystyle \gamma :\mathrm{\Omega }\to U}$ eine Parametrisierung von${\displaystyle U}$, also eine stetig differenzierbare Abbildung, deren Ableitung vollen Rang hat, die${\displaystyle \mathrm{\Omega }}$homöomorph auf${\displaystyle \gamma (\mathrm{\Omega })}$ abbildet. Dann ist das Integral einer Funktion auf dem Kartengebiet${\displaystyle U}$ folgendermaßen definiert:

${\displaystyle {\int }_{U}f\mathrm{d}s:={\int }_{\mathrm{\Omega }}f(\gamma (u))\sqrt{g^{\gamma }(u)}\mathrm{d}u,}$

wobei${\displaystyle g^{\gamma }(u)=det(({\gamma }^{\prime }(u){)}^{\mathsf{T}}\cdot {\gamma }^{\prime }(u))}$ dieGramsche Determinante ist. Das rechte Integral kann mit den oben beschriebenen Methoden der mehrdimensionalen Integration ausgerechnet werden. Die Gleichheit folgt im Wesentlichen aus dem Transformationssatz.

Ist eineZerlegung der 1 gegeben, die mit den Karten der Untermannigfaltigkeit verträglich ist, kann einfach getrennt über die Kartengebiete integriert und aufsummiert werden.

Für spezielle Funktionen lassen sich die Integrale über Untermannigfaltigkeiten einfacher ausrechnen. In der Physik besonders wichtig sind hierbei zwei Aussagen:

Zum einen dergaußsche Integralsatz, nach dem das Volumenintegral über dieDivergenz eines Vektorfeldes gleich dem Oberflächenintegral über das Vektorfeld (demFluss des Feldes durch die Oberfläche) ist: Sei${\displaystyle V\subset {\mathbb{R}}^n}$kompakt mit abschnittsweise glattem Rand${\displaystyle \mathrm{\partial }V}$. Der Rand sei orientiert durch ein äußeres Normalen-Einheitsfeld${\displaystyle \overrightarrow{n}}$. Sei ferner${\displaystyle \overrightarrow{F}}$ einstetig differenzierbares Vektorfeld auf einer offenen Umgebung von${\displaystyle V}$. Dann gilt

${\displaystyle {\int }_V\mathrm{div}\overrightarrow{F}{\mathrm{d}}^{(n)}V={\oint }_{\mathrm{\partial }V}\overrightarrow{F}\cdot {\mathrm{d}}^{(n-1)}\overrightarrow{S}}$

mit der Abkürzung${\displaystyle {\mathrm{d}}^{(n-1)}\overrightarrow{S}=\overrightarrow{n}{\mathrm{d}}^{(n-1)}S}$.

Durch diesen Satz wird die Divergenz als sogenannteQuellendichte des Vektorfeldes interpretiert. Durch die Indizes${\displaystyle (n)}$ bzw.${\displaystyle (n-1)}$ am${\displaystyle \mathrm{d}}$-Operator wird die Dimension der jeweiligen Integrationsmannigfaltigkeit zusätzlich betont.

Bei expliziter Verwendung von Mehrfachintegralen wird (unter Verzicht auf die Indizierung) für${\displaystyle n=3}$:

${\displaystyle {\iiint }_V\mathrm{div}\overrightarrow{F}(\overrightarrow{x})\mathrm{d}V={\iint }_{\mathrm{\partial }V}\overrightarrow{F}\cdot \mathrm{d}\overrightarrow{S}}$

Es folgt: Das Integral der Divergenz über das gesamte Volumen ist gleich dem Integral des Flusses aus der Oberfläche.

Zum zweiten derSatz von Stokes, der eine Aussage derDifferentialgeometrie ist und sich im Spezialfall des dreidimensionalen Raums direkt mit Mehrfachintegralen schreiben lässt.

Ist${\displaystyle M}$ eine zweidimensionale Untermannigfaltigkeit des dreidimensionaleneuklidischen Raumes${\displaystyle {\mathbb{R}}^3}$, so gilt

${\displaystyle {\iint }_M\mathrm{rot}\overrightarrow{F}\cdot \mathrm{d}\overrightarrow{S}={\int }_{\mathrm{\partial }M}\overrightarrow{F}\cdot \mathrm{d}\overrightarrow{r},}$

wobei${\displaystyle \mathrm{rot}\overrightarrow{F}}$ dieRotation des Vektorfeldes${\displaystyle \overrightarrow{F}}$ bezeichnet.

Durch diesen Satz wird die Rotation eines Vektorfeldes als sogenannteWirbeldichte des Vektorfeldes interpretiert; dabei ist${\displaystyle \mathrm{d}\overrightarrow{r}}$ der dreikomponentige Vektor${\displaystyle (\mathrm{d}x,\mathrm{d}y,\mathrm{d}z)}$ und der Rand${\displaystyle \mathrm{\partial }M}$ von${\displaystyle M}$ einegeschlossene Kurve im${\displaystyle {\mathbb{R}}^3}$.

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 direkte Verallgemeinerung des Lebesgue-Integrals aufBanachraum-wertige Funktionen ist dasBochner-Integral. 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${\displaystyle f:[a,b]\to V}$ 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 dasMcShane-Integral, das sich am einfachsten über verallgemeinerte Riemann’sche Summen definieren lässt.

Auch dasBirkhoff-Integral ist eine gemeinsame Verallgemeinerung des Bochner- und Riemann-Integrals. Im Gegensatz zum McShane-Integral benötigt die Definition des Birkhoff-Integrals jedoch keine topologische Struktur im Definitionsbereich der Funktionen. Sind jedoch die Voraussetzungen für die McShane-Integration erfüllt, so ist jede Birkhoff-integrierbare Funktion auch McShane-integrierbar.^[1]

Außerdem ist noch dasPettis-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${\displaystyle (\mathrm{\Omega },\mathcal{A},\mu )}$ einMaßraum. Eine Funktion${\displaystyle f:\mathrm{\Omega }\to V}$ heißt dabei Pettis-integrierbar, wenn für jedes stetige Funktional${\displaystyle \lambda \in V^{\prime }}$ die Funktion${\displaystyle \lambda \circ f:\mathrm{\Omega }\to \mathbb{R}}$ Lebesgue-integrierbar ist und für jede messbare Menge${\displaystyle A\in \mathcal{A}}$ ein Vektor${\displaystyle x_A\in V}$ existiert, sodass

${\displaystyle \mathrm{\forall }\lambda \in V^{\prime }:\lambda (x_A)={\int }_A\lambda \circ f\mathrm{d}\mu }$

gilt. Der Vektor${\displaystyle x_A}$ wird dann passenderweise mit${\displaystyle {\int }_{A}f\mathrm{d}\mu }$ bezeichnet.

Für Funktionen${\displaystyle f:[a,b]\to V}$, die Werte in einem separablen Banachraum${\displaystyle 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${\displaystyle {\mathbb{R}}^n}$, die bei allen diesen Definitionen einfach komponentenweise integriert werden.

Der Integralbegriff wurde vielfältig ausgeweitet, einige Varianten sind:

• Riemann-Integral
• Daniell-Integral
• Stieltjes-Integral
• Itō-Integral und Stratonowitsch-Integral, siehe auchDiskretes stochastisches Integral
• Gauge-Integral bzw. Henstock-Kurzweil-Integral, speziell:
  • McShane-Integral
  • Pfeffer-Integral
• Maß-Integral
  • Lebesgue-Integral
  • Bochner-Integral
  • Birkhoff-Integral
  • Pettis-Integral
  • Haar-Integral
• Volkenborn-Integral

Das Haarsche Maß, nachAlfréd Haar, stellt eine Verallgemeinerung desLebesgue-Maßes fürlokalkompaktetopologische Gruppen dar und induziert damit auch ein Integral als Verallgemeinerung des Lebesgue-Integrals.