3.7. Uneigentliche Integrale

Unsere Definition des Riemann-Integrals setzt mindestens voraus, dass die zu integrierende Funktion beschränkt und auch in den Randpunkten des Integrationsintervalls definiert ist.

Wir wollen die Frage der Existenz von Integralen diskutieren, bei denen diese Voraussetzungen nicht erfüllt sind.

Insbesondere sollen auch Integrationsintervalle der Form $(a,b]$, $[a,b)$ und $(a,b)$ betrachtet werden.

Dabei kann man am offenen Ende des Intervalls auch $a=-\mathrm{\infty }$ oder $b=+\mathrm{\infty }$ zulassen.

3.7.1. Definition.

Es sei $-\mathrm{\infty }<a<b\leqq +\mathrm{\infty }$.

Die Funktion $f:[a,b)\to \mathbb{R}$ sei in jedem Teilintervall $[a,\beta ]\subset [a,b)$ integrierbar.

Dann heißt $f$ uneigentlich integrierbar in $[a,b)$, falls der Grenzwert

${\displaystyle \underset{\beta \to b-0}{lim}\underset{a}{\overset{\beta }{\int }}f(x)\mathrm{d}x}$

existiert (als reelle Zahl!).

Erinnerung: $\underset{\beta \to b-0}{lim}$ bedeutet, dass wir das Grenzverhalten untersuchen, wenn $\beta$ von links gegen $b$ geht
— man könnte auch $\underset{\beta \nearrow b}{lim}$ schreiben.

Man schreibt dann

${\displaystyle {\int }_a^{b}f(x)\mathrm{d}x}$ $:={\displaystyle {\int }_a^{b-0}f(x)\mathrm{d}x}$ $:={\displaystyle \underset{\beta \to b-0}{lim}{\int }_a^{\beta }f(x)\mathrm{d}x}$.

Analog definiert man für $-\mathrm{\infty }\leqq a<b<+\mathrm{\infty }$:

${\displaystyle {\int }_a^{b}f(x)\mathrm{d}x}$ $:={\displaystyle {\int }_{a+0}^{b}f(x)\mathrm{d}x}$ $:={\displaystyle \underset{\alpha \to a+0}{lim}{\int }_{\alpha }^{b}f(x)\mathrm{d}x}$.

— man könnte auch $\underset{\alpha \searrow a}{lim}$ schreiben.

Für $-\mathrm{\infty }\leqq a<b\leqq +\mathrm{\infty }$ nennt man $f:(a,b)\to \mathbb{R}$ uneigentlich integrierbar in $(a,b)$, falls es irgendein $z\in (a,b)$ so gibt, dass die beiden uneigentlichen Integrale $\underset{a+0}{\overset{z}{\int }}f(x)\mathrm{d}x$ und $\underset{z}{\overset{b-0}{\int }}f(x)\mathrm{d}x$ existieren.

Man setzt dann

${\displaystyle \underset{a}{\overset{b}{\int }}f(x)\mathrm{d}x}$ $:={\displaystyle \underset{a+0}{\overset{z}{\int }}f(x)\mathrm{d}x}$ $+{\displaystyle \underset{z}{\overset{b-0}{\int }}f(x)\mathrm{d}x}$.

Unsere Voraussetzung, dass $f$ auf allen Teilintervallen $[\alpha ,z]\subset (a,z]$ und $[z,\beta ]\subset [z,b)$ integrierbar ist, sichert die Unabhängigkeit dieser Definition von der Auswahl der Stelle $z$.

3.7.2. Beispiel.

Das uneigentliche Integral $\underset{0}{\overset{1-0}{\int }}\frac{1}{\sqrt{1-x}}\mathrm{d}x$ konvergiert:
Es gilt

${\displaystyle \underset{0}{\overset{1-0}{\int }}\frac{1}{\sqrt{1-x}}\mathrm{d}x}$ $={\displaystyle \underset{\beta \to 1-0}{lim}\underset{0}{\overset{\beta }{\int }}\frac{1}{\sqrt{1-x}}\mathrm{d}x}$ $={\displaystyle \underset{\beta \to 1-0}{lim}[-2\sqrt{1-x}{]}_0^{\beta }}$ $={\displaystyle \underset{\beta \to 1-0}{lim}(-2\sqrt{1-\beta }+2\sqrt{1})}$ $=2$.

3.7.3. Beispiel.

Die Funktion $f:(0,1]\to \mathbb{R}:x\mapsto \frac{1}{x}$ ist in $(0,1]$ nicht uneigentlich integrierbar, denn es gilt:

${\displaystyle \underset{\alpha \to 0+0}{lim}\underset{\alpha }{\overset{1}{\int }}\frac{1}{x}\mathrm{d}x}$ $=\underset{\alpha \to 0+0}{lim}[\ln |x|{]}_{\alpha }^1$ $=\ln 1-\underset{\alpha \to 0+0}{lim}\ln \alpha$ $=+\mathrm{\infty }$.

3.7.4. Beispiel.

Das uneigentliche Integral $\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}|x|{\mathrm{e}}^{-x^2}\mathrm{d}x$ konvergiert:

Um dies einzusehen, muss man $z$ wählen und die Konvergenz von $\underset{-\mathrm{\infty }}{\overset{z}{\int }}|x|{\mathrm{e}}^{-x^2}\mathrm{d}x$ und $\underset{z}{\overset{+\mathrm{\infty }}{\int }}|x|{\mathrm{e}}^{-x^2}\mathrm{d}x$ nachweisen.

Wir wählen $z=0$ und erhalten

$\underset{0}{\overset{+\mathrm{\infty }}{\int }}|x|{\mathrm{e}}^{-x^2}\mathrm{d}x$ $=\underset{\beta \to +\mathrm{\infty }}{lim}\underset{0}{\overset{\beta }{\int }}|x|{\mathrm{e}}^{-x^2}\mathrm{d}x$ $=\underset{\beta \to +\mathrm{\infty }}{lim}{[-\frac{1}{2}{\mathrm{e}}^{-x^2}]}_0^{\beta }$ $=\underset{\beta \to +\mathrm{\infty }}{lim}\frac{1}{2}(-{\mathrm{e}}^{-{\beta }^2}+1)$ $=\frac{1}{2}.$

Aus Symmetriegründen liefert das linke uneigentliche Integral denselben Grenzwert, und wir erhalten

$\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}|x|{\mathrm{e}}^{-x^2}\mathrm{d}x$ $=\underset{-\mathrm{\infty }}{\overset{0}{\int }}|x|{\mathrm{e}}^{-x^2}\mathrm{d}x$ $+\underset{0}{\overset{+\mathrm{\infty }}{\int }}|x|{\mathrm{e}}^{-x^2}\mathrm{d}x$ $=1$.

3.7.5. Majoranten-Kriterium für uneigentliche Integrale.

Die Funktion $f:[a,b)\to \mathbb{R}$ sei in jedem Teilintervall $[a,\beta ]\subset [a,b)$ integrierbar.

Es gelte $0\leqq f(x)\leqq g(x)$ für alle $x\in [a,b)$.

1. Aus der Existenz von $\underset{a}{\overset{b-0}{\int }}g(x)\mathrm{d}x$ folgt dann die Existenz von $\underset{a}{\overset{b-0}{\int }}f(x)\mathrm{d}x$, und es gilt

   $\underset{a}{\overset{b-0}{\int }}f(x)\mathrm{d}x\leqq \underset{a}{\overset{b-0}{\int }}g(x)\mathrm{d}x$.

   Man nennt $g$ eine integrierbare Majorante oder $\underset{a}{\overset{b-0}{\int }}g(x)\mathrm{d}x$ eine konvergente Majorante.
2. Umgekehrt folgt aus der Nichtexistenz von $\underset{a}{\overset{b-0}{\int }}f(x)\mathrm{d}x$ die Nichtexistenz von $\underset{a}{\overset{b-0}{\int }}g(x)\mathrm{d}x$: divergente Minorante.

Jetzt sei $f:[a,b)\to \mathbb{R}$ beliebig.

3. Existiert $\underset{a}{\overset{b-0}{\int }}|f(x)|\mathrm{d}x$, so existiert auch $\underset{a}{\overset{b-0}{\int }}f(x)\mathrm{d}x$, und es gilt $|\underset{a}{\overset{b-0}{\int }}f(x)\mathrm{d}x|$ $\leqq \underset{a}{\overset{b-0}{\int }}|f(x)|\mathrm{d}x$.

Man kann das Majoranten-Kriterium damit auch so zusammenfassen:

Die Funktion $f:[a,b)\to \mathbb{R}$ sei in jedem Teilintervall $[a,\beta ]\subset [a,b)$ integrierbar.

Gilt $|f(x)|\leqq g(x)$ im Intervall $[a,b)$ und existiert $\underset{a}{\overset{b-0}{\int }}g(x)\mathrm{d}x$, so ist $\underset{a}{\overset{b-0}{\int }}f(x)\mathrm{d}x$ absolut konvergent.

3.7.8. Beispiel.

Das uneigentliche Integral $\underset{1}{\overset{+\mathrm{\infty }}{\int }}\frac{1}{x^{\gamma }}\mathrm{d}x$ konvergiert genau dann, wenn $\gamma >1$ ist.

Für den letzten Fall $\gamma <1$ wäre auch $\underset{1}{\overset{+\mathrm{\infty }}{\int }}\frac{1}{x}\mathrm{d}x$ als divergente Minorante brauchbar.

3.7.9. Beispiel.

Das uneigentliche Integral $\underset{0+0}{\overset{1}{\int }}\frac{1}{x^{\gamma }}\mathrm{d}x$ konvergiert genau dann, wenn $\gamma <1$ ist.

Die Beispiele 3.7.8 und 3.7.9 liefern oft brauchbare konvergente Majoranten bzw. divergente Minoranten.

3.7.10. Beispiel.

Für alle $x\in \mathbb{R}$ gilt $\frac{\cos x}{x^2+1}$ $\leqq \frac{|\cos x|}{x^2+1}$ $\leqq \frac{1}{x^2}$ und damit $\left|\frac{\cos x}{x^2+1}\right|\leqq \frac{1}{x^2}$.

Das Integral $\underset{1}{\overset{+\mathrm{\infty }}{\int }}\frac{1}{x^2}\mathrm{d}x$ konvergiert nach 3.7.8 (wir setzen $\gamma =2$).

Nach dem Majoranten-Kriterium 3.7.5.3 konvergiert auch das Integral $\underset{1}{\overset{+\mathrm{\infty }}{\int }}\frac{\cos x}{x^2+1}\mathrm{d}x$ (sogar absolut).

3.7.11. Grenzwertkriterium.

Die Funktionen $f$ und $g$ seien im Intervall $[a,b)$ stetig und positiv, außerdem gelte

$\underset{x\to b-0}{lim}\frac{f(x)}{g(x)}=C\in \mathbb{R}$.

Im Fall $C>0$ haben $\underset{a}{\overset{b-0}{\int }}f(x)\mathrm{d}x$ und $\underset{a}{\overset{b-0}{\int }}g(x)\mathrm{d}x$ das gleiche Konvergenzverhalten

(aber evtl. verschiedene Grenzwerte).

Im Fall $C=0$ folgt aus der Konvergenz von $\underset{a}{\overset{b-0}{\int }}g(x)\mathrm{d}x$ die Konvergenz von $\underset{a}{\overset{b-0}{\int }}f(x)\mathrm{d}x$.

Diese Aussagen gelten analog für links halboffene Intervalle.

3.7.12. Beispiel.

Das Integral $\underset{0+0}{\overset{+\mathrm{\infty }}{\int }}{\mathrm{e}}^{-t}{t}^{\alpha -1}\mathrm{d}t$ konvergiert genau dann, wenn $\alpha >0$ gilt.

$\alpha =0$	$\alpha =\frac{1}{2}$

Obwohl die Graphen für $\alpha =0$ und $\alpha =\frac{1}{2}$ recht ähnlich aussehen, ist das Konvergenzverhalten der uneigentlichen Integrale verschieden.

$\alpha =1$	$\alpha =2$

3.7.13. Bemerkung.

Für $\alpha >0$ ist nach 3.7.12 durch

${\displaystyle \mathrm{\Gamma }(\alpha ):={\int }_{0+0}^{+\mathrm{\infty }}{\mathrm{e}}^{-t}{t}^{\alpha -1}\mathrm{d}t}$

eine reelle Zahl definiert, wir erhalten damit eine Funktion

$\mathrm{\Gamma }:(0,+\mathrm{\infty })\to \mathbb{R}:x\mapsto \mathrm{\Gamma }(x)$.

Diese Gamma-Funktion ist eine (leicht verschobene) Fortsetzung der Fakultät:

Es gilt

$\mathrm{\forall }n\in {\mathbb{N}}_0$ $\mathrm{\Gamma }(n+1)=n!$

Allgemein erfüllt die $\mathrm{\Gamma }$-Funktion die Funktionalgleichung

$\mathrm{\forall }x\in (0,+\mathrm{\infty })$ $\mathrm{\Gamma }(x+1)=x\mathrm{\Gamma }(x)$.

[Das sieht man durch partielle Integration.]