Uneigentliche Integrale/Textabschnitt

Definition

Es sei  $I\subseteq ℝ$  ein Intervall, $r$ ein (uneigentlicher) Randpunkt von $I$ und  $a\in I$.  Es sei eine stetige Funktion

$f:I⟶ℝ$

gegeben. Man sagt, dass das uneigentliche Integral zu $f$ für $x\to r$ existiert, wenn der Grenzwert

${\lim }_{x\to r}{\int }_a^{x}f(t)dt$

existiert. In diesem Fall schreibt man für diesen Grenzwert auch

${\int }_a^{r}f(t)dt$

und nennt dies das uneigentliche Integral von $a$ nach $r$

Die Funktion $\frac{1}{(x+1)\sqrt{x}}$, der blaue Flächeninhalt repräsentiert das (beidseitig) uneigentliche Integral.

Die Existenz dieses uneigentlichen Integrals hängt nicht vom gewählten Intervallpunkt  $a\in I$  ab, wohl aber der Wert des uneigentlichen Integrals. Die inhaltliche Interpretation des uneigentlichen Integrals ist wiederum der Flächeninhalt unterhalb des Funktionsgraphen, aber erstreckt über ein nicht notwendigerweise kompaktes Intervall. Wenn für die Funktion $f$ eine Stammfunktion $F$ bekannt ist, so geht es um das Bestimmen des Grenzwertes

${\lim }_{x\to r}{\int }_a^{x}f(t)dt={\lim }_{x\to r}F(x)-F(a).$

Die Frage, ob ein uneigentliches Integral existiert, ist nur relevant, wenn $r$ ein uneigentlicher Randpunkt $+\mathrm{\infty }$ oder $-\mathrm{\infty }$ ist oder wenn $r$ der eigentliche Randpunkt eines an dieser Stelle halboffenen Intervalls ist.

Lemma

Es sei $I$ ein reelles Intervall,  $a\in I$  und $r$ sei ein (uneigentlicher) Randpunkt von $I$. Es seien

$f,h:I⟶{ℝ}_{\ge 0}$

stetige Funktionen mit

$f(t)\le h(t)\text{ für alle }t\in I$

und es sei vorausgesetzt, dass das uneigentliche Integral

${\int }_a^{r}h(t)dt$

existiert.

Dann existiert auch das uneigentliche Integral

${\int }_a^{r}f(t)dt$

und es gilt

${\int }_a^{r}f(t)dt\le {\int }_a^{r}h(t)dt.$

Beweis

Wir behandeln den Fall, wo $r$ die obere Intervallgrenze ist. Für alle  $b\in I$  ist

${\int }_a^{b}f(t)dt\le {\int }_a^{b}h(t)dt$

wegen  $f(t)\le h(t)$  für alle  $t\in I$.  Wegen der Nichtnegativität von $h$ und von $f$ wachsen beide Seiten bei $b\to r$, und die rechte Seite ist durch das uneigentliche Integral ${\int }_a^{r}h(t)dt$ beschränkt. Nach Fakt existiert der Grenzwert

${\lim }_{b\to r}{\int }_a^{b}f(t)dt={\int }_a^{r}f(t)dt.$

$◻$

Beispiel

Es sei  $f(t):=t^c$  mit  $c\in ℝ$.  Wir interessieren uns für die uneigentlichen Integrale zu $f$ für $t$ von $0$ bis $1$. Dabei ist die Funktion bei der Intervallgrenze $0$ (bei negativem $c$) nicht definiert, das ist also der kritische Randpunkt. Bei  $c=-1$  ist $\ln t$ eine Stammfunktion von $1/t$. Daher ist

${\int }_x^1\frac{1}{t}dt=-\ln x,$

und der Grenzwert für $x\to 0$ existiert nicht. Das uneigentliche Integral existiert also nicht.

Es sei nun  $c<-1$.  Dann ist $\frac{1}{c+1}{t}^{c+1}$ eine Stammfunktion zu $t^c$ und daher ist

${\lim }_{x\to 0}\left({\int }_x^1{t}^{c}dt\right)={\lim }_{x\to 0}\left(\frac{1}{c+1}{t}^{c+1}{|}_x^1\right)={\lim }_{x\to 0}(\frac{1}{c+1}-\frac{x^{c+1}}{c+1}).$

Da es sich rechts um eine Potenz von $x$ mit einem negativen Exponenten handelt, ist  ${\lim }_{x\to 0}{x}^{c+1}=\mathrm{\infty }$  nach der inversen Version von Aufgabe.

Das uneigentliche Integral existiert also nicht. Dies folgt übrigens auch aus Fakt, da ja  $t^{-1}\le t^c$  für  $c<-1$  und  $0<t\le 1$  gilt.

Es sei nun  $c>-1$.  Dann ist $\frac{1}{c+1}{t}^{c+1}$ eine Stammfunktion zu $t^c$ und daher ist

${\lim }_{x\to 0}\left({\int }_x^1{t}^{c}dt\right)={\lim }_{x\to 0}\left(\frac{1}{c+1}{t}^{c+1}{|}_x^1\right)={\lim }_{x\to 0}(\frac{1}{c+1}-\frac{x^{c+1}}{c+1}).$

Da es sich um eine Potenz von $x$ mit einem positiven Exponenten handelt, ist  ${\lim }_{x\to 0}{x}^{c+1}=0$  (nach Aufgabe). Das uneigentliche Integral existiert also und besitzt den Wert $\frac{1}{c+1}$.

Beispiel

Es sei  $f(t):=t^c$  mit  $c\in ℝ$.  Wir interessieren uns für das uneigentliche Integral zu $f$ für $t$ von $1$ bis $\mathrm{\infty }$. Der kritische (uneigentliche) Randpunkt ist also $+\mathrm{\infty }$. Bei  $c=-1$  ist $\ln t$ eine Stammfunktion von $1/t$. Daher ist

${\int }_1^x\frac{1}{t}dt=\ln x,$

und der Grenzwert für $x\to +\mathrm{\infty }$ existiert nicht. Das uneigentliche Integral existiert also nicht.

Es sei nun  $c<-1$.  Dann ist $\frac{1}{c+1}{t}^{c+1}$ eine Stammfunktion zu $t^c$ und daher ist

${\lim }_{x\to \mathrm{\infty }}\left({\int }_1^x{t}^{c}dt\right)={\lim }_{x\to \mathrm{\infty }}\left(\frac{1}{c+1}{t}^{c+1}{|}_1^x\right)={\lim }_{x\to \mathrm{\infty }}(\frac{x^{c+1}}{c+1}-\frac{1}{c+1}).$

Da es sich um eine Potenz von $x$ mit einem negativen Exponenten handelt, ist  ${\lim }_{x\to \mathrm{\infty }}{x}^{c+1}=0$.  Das uneigentliche Integral existiert also und besitzt den Wert $-\frac{1}{c+1}$.

Bei  $c>-1$  ist  $t^c\ge t^{-1}$  für  $t\ge 1$  und daher kann nach Fakt das uneigentliche Integral nicht existieren.

Definition

Es sei  $I\subseteq ℝ$  ein Intervall mit den beiden (uneigentlichen) Randpunkten $r$ und $s$ von $I$. Es sei eine stetige Funktion

$f:I⟶ℝ$

gegeben. Man sagt, dass das (beidseitig) uneigentliche Integral

${\int }_r^{s}f(t)dt$

existiert, wenn für ein  $a\in I$  die beiden einseitig uneigentlichen Integrale

${\int }_r^{a}f(t)dt\text{ und }{\int }_a^{s}f(t)dt$

existieren. In diesem Fall setzt man

${\int }_r^{s}f(t)dt:={\int }_r^{a}f(t)dt+{\int }_a^{s}f(t)dt$

und nennt dies das uneigentliche Integral zu $f$ von $r$ nach $s$.

Die Existenz des beidseitig uneigentlichen Integrals hängt nicht von der Wahl des Punktes  $a\in I$  ab. Darüber hinaus hängt der Wert dieses Integrals, falls es existiert, ebenso wenig von dem gewählten Punkt ab.