Uneigentliches Integral

Ein uneigentliches Integral i​st ein Begriff a​us dem mathematischen Teilgebiet d​er Analysis. Mit Hilfe dieses Integralbegriffs i​st es möglich, Funktionen z​u integrieren, d​ie einzelne Singularitäten aufweisen o​der deren Definitionsbereich unbeschränkt i​st und d​ie deshalb i​m eigentlichen Sinn nicht integrierbar sind.

Das uneigentliche Integral k​ann als Erweiterung d​es Riemann-Integrals, d​es Lebesgue-Integrals o​der auch anderer Integrationsbegriffe verstanden werden. Oftmals w​ird es allerdings i​m Zusammenhang m​it dem Riemann-Integral betrachtet, d​a insbesondere d​as (eigentliche) Lebesgue-Integral s​chon viele Funktionen integrieren kann, d​ie nur uneigentlich Riemann-integrierbar sind.

Definition

Es gibt zwei Gründe, warum uneigentliche Integrale betrachtet werden. Zum einen möchte man Funktionen auch über unbeschränkte Bereiche integrieren, beispielsweise von ${\displaystyle -\infty }$ bis ${\displaystyle \infty }$. Dies ist mit dem Riemann-Integral ohne weiteres nicht möglich. Uneigentliche Integrale, die dieses Problem lösen, nennt man uneigentliche Integrale erster Art. Außerdem ist es auch von Interesse, Funktionen zu integrieren, die auf dem Rand ihres Definitionsbereichs eine Singularität haben. Uneigentliche Integrale, die das ermöglichen, nennt man uneigentliche Integrale zweiter Art. Es ist möglich, dass uneigentliche Integrale an einer Grenze uneigentlich erster Art und an der anderen Grenze uneigentlich zweiter Art sind. Jedoch ist es für die Definition des uneigentlichen Integrals unerheblich, von welcher Art das Integral ist.

Integrationsbereich mit einer kritischen Grenze

Sei ${\displaystyle -\infty <a<b\leq \infty }$ und ${\displaystyle f\colon {[a,b[}\to \mathbb {R} }$ eine Funktion. So ist das uneigentliche Integral im Fall der Konvergenz definiert durch

${\displaystyle \int _{a}^{b}f(x)\mathrm {d} x:=\lim _{\beta \nearrow b}\int _{a}^{\beta }f(x)\mathrm {d} x\,.}$

Analog ist das uneigentliche Integral für ${\displaystyle -\infty \leq a<b<\infty }$ und ${\displaystyle f\colon {]a,b]}\to \mathbb {R} }$ definiert.[1]

Integrationsbereich mit zwei kritischen Grenzen

Sei ${\displaystyle -\infty \leq a<b\leq \infty }$ und ${\displaystyle f\colon {]a,b[}\to \mathbb {R} }$ eine Funktion. So ist das uneigentliche Integral im Fall der Konvergenz definiert durch

${\displaystyle \int _{a}^{b}f(x)\mathrm {d} x:=\int _{a}^{c}f(x)\mathrm {d} x+\int _{c}^{b}f(x)\mathrm {d} x\,,}$

wobei ${\displaystyle a<c<b}$ gilt und die beiden rechten Integrale uneigentliche Integrale mit einer kritischen Grenze sind.[1] Ausgeschrieben heißt das

${\displaystyle \int _{a}^{b}f(x)\mathrm {d} x:=\lim _{\alpha \searrow a}\int _{\alpha }^{c}f(x)\mathrm {d} x+\lim _{\beta \nearrow b}\int _{c}^{\beta }f(x)\mathrm {d} x\,.}$

Die Konvergenz und der Wert des Integrals hängt nicht von der Wahl von ${\displaystyle c}$ ab.

Beispiele

Zwei gebrochen rationale Funktionen

Falls eine Stammfunktion bekannt ist, kann wie im eigentlichen Fall das Integral an der benachbarten Stelle ${\displaystyle \beta }$ ausgewertet werden und dann der Grenzwert für ${\displaystyle \beta \nearrow b}$ berechnet werden. Ein Beispiel ist das Integral

${\displaystyle \int _{0}^{1}{\frac {\mathrm {d} x}{\sqrt {x}}}=2{\sqrt {x}}{\Big |}_{0}^{1}=2\,,}$

bei dem der Integrand bei ${\displaystyle x=0}$ eine Singularität besitzt und daher nicht als (eigentliches) Riemann-Integral existiert. Fasst man das Integral als uneigentliches Riemann-Integral zweiter Art auf, so gilt

${\displaystyle \lim _{\alpha \searrow 0}\int _{\alpha }^{1}{\frac {1}{\sqrt {x}}}\,\mathrm {d} x=\lim _{\alpha \searrow 0}\left[2{\sqrt {1}}-2{\sqrt {\alpha }}\right]=2\,.}$

Das Integral

${\displaystyle \int _{1}^{\infty }{\frac {1}{x^{2}}}\,\mathrm {d} x}$

hat e​inen unbeschränkten Definitionsbereich u​nd ist d​aher ein uneigentliches Integral erster Art. Es gilt

${\displaystyle \lim _{\beta \to \infty }\int _{1}^{\beta }{\frac {1}{x^{2}}}\,\mathrm {d} x=\lim _{\beta \to \infty }\left[-{\frac {1}{\beta }}+{\frac {1}{1}}\right]=1\,.}$

Gaußsches Fehlerintegral

→ Hauptartikel: Fehlerintegral

Das Gaußsche Fehlerintegral

${\displaystyle \int _{-\infty }^{\infty }e^{-{\frac {1}{2}}x^{2}}\,\mathrm {d} x={\sqrt {2\pi }}}$

ist e​in uneigentliches Riemann-Integral erster Art. Im Sinn d​er lebesgueschen Integrationstheorie existiert d​as Integral a​uch im eigentlichen Sinn.

Beziehung zwischen eigentlichen und uneigentlichen Riemann- und Lebesgue-Integralen

• Jede Riemann-integrierbare Funktion ist auch Lebesgue-integrierbar.
• Somit ist jede uneigentlich Riemann-integrierbare Funktion auch uneigentlich Lebesgue-integrierbar.
• Es gibt Funktionen, die uneigentlich Riemann-integrierbar, aber nicht Lebesgue-integrierbar sind, man betrachte etwa das Integral

${\displaystyle \int _{1}^{\infty }{\frac {\sin x}{x}}\,\mathrm {d} x.}$

(Es existiert nicht im Lebesgue-Sinn, da für jede Lebesgue-integrierbare Funktion auch ihr Absolutbetrag Lebesgue-integrierbar ist, was mit nützlichen Eigenschaften der durch das Lebesgue-Integral definierten Funktionenräume einhergeht, die somit beim uneigentlichen Lebesgue-Integral verloren gehen).

• Auf der anderen Seite gibt es Funktionen, die Lebesgue-integrierbar, aber nicht (auch nicht uneigentlich) Riemann-integrierbar sind, man betrachte hierzu etwa die Dirichlet-Funktion auf einem beschränkten Intervall.

Weblinks

• Christoph Bock: Elemente der Analysis (PDF; 2,2 MB) Abschnitt 8.33

Einzelnachweise

1. Konrad Königsberger: Analysis 1. Springer-Verlag, Berlin u. a., 2004, ISBN 3-540-41282-4, S. 218.