Kurs:Mathematik für Anwender (Osnabrück 2011-2012)/Teil I/Vorlesung 27/latex
\setcounter{section}{27}
\zwischenueberschrift{Uneigentliche Integrale}
\inputbeispiel{}
{
Wir knüpfen an
Beispiel 24.9
an, d.h., es liegen zwei Massen
\mathkor {} {M} {und} {m} {}
vor, die untereinander den Abstand $R_0$ besitzen. Wie viel Energie muss man aufwenden, um die beiden Massen unendlich weit voneinander zu entfernen? In
Beispiel 24.9
haben wir die Energie berechnet, um den Abstand von $R_0$ auf $R_1$ zu erhöhen, und erhielten
\mavergleichskettedisp
{\vergleichskette
{E(R_1)
}
{ =} { \int_{ R_0 }^{ R_1 } \gamma { \frac{ Mm }{ r^2 } } \, d r
}
{ =} {\gamma M m { \left( { \frac{ 1 }{ R_0 } } - { \frac{ 1 }{ R_1 } } \right) }
}
{ } {
}
{ } {
}
}
{}{}{.}
Für
\mathl{R_1 \rightarrow \infty}{} ist
\mathl{{ \frac{ 1 }{ R_1 } } \rightarrow 0}{} und daher ist
\mathl{E(R_1) \rightarrow \gamma M m { \frac{ 1 }{ R_0 } }}{.}
}
Dieses Beispiel zeigt, dass es sinnvoll sein kann, bei bestimmten Integralen die Intervallgrenzen \anfuehrung{gegen unendlich laufen zu lassen}{.} Dies führt zum Begriff der \stichwort {uneigentlichen Integrale} {.}
Unter einem Randpunkt eines \zusatzklammer {ein- oder beidseitig} {} {} unbeschränkten Intervalls verstehen wir im Folgenden auch die Symbole \mathkor {} {\infty} {und} {- \infty} {.} Dies heißt nicht, dass diese Symbole zu $\R$ gehören, sondern lediglich, dass man dafür sinnvolle Grenzwertbetrachtungen durchführen kann. Die Definition für den Grenzwert einer Funktion gegen $+\infty$ bzw. $- \infty$ lautet folgendermaßen.
\inputdefinition
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{ T
}
{ = }{ [a, \infty]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {oder
\mavergleichskettek
{\vergleichskettek
{ T
}
{ = }{ [- \infty, a]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
ein rechtsseitig
\zusatzklammer {bzw. linksseitig} {} {}
\definitionsverweis {unbeschränktes Intervall}{}{}
und
\maabbdisp {f} {T} {\R
} {}
eine
\definitionsverweis {Funktion}{}{.}
Dann heißt
\mavergleichskette
{\vergleichskette
{ b
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionswort {Grenzwert}{}
\zusatzklammer {oder
\definitionswort {Limes}{}} {} {}
von $f$ für
\mathl{x \rightarrow +\infty}{}
\zusatzklammer {bzw. \mathlk{x \rightarrow -\infty}{}} {} {,}
wenn es für jedes
\mavergleichskette
{\vergleichskette
{ \epsilon
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\mavergleichskette
{\vergleichskette
{x_0
}
{ \geq }{a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {bzw.
\mavergleichskettek
{\vergleichskettek
{x_0
}
{ \leq }{a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
gibt mit
\mavergleichskette
{\vergleichskette
{ \betrag { f(x) -b }
}
{ \leq }{ \epsilon
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{x
}
{ \geq }{ x_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {bzw.
\mavergleichskettek
{\vergleichskettek
{x
}
{ \leq }{ x_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {.} In diesem Fall schreibt man
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{lim}_{ x \rightarrow + \infty } \, f(x)
}
{ =} { b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {bzw.
\mavergleichskettek
{\vergleichskettek
{ \operatorname{lim}_{ x \rightarrow - \infty } \, f(x)
}
{ = }{ b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {.}
}
Die Rechenregeln für diesen Grenzwertbegriff sind weitgehend analog zu den Rechenregeln für den bisherigen Grenzwertbegriff für Funktionen \zusatzklammer {siehe Lemma 15.10} {} {.} Sie sind auch analog zu den Rechenregeln für Limiten von Folgen \zusatzklammer {siehe Lemma 13.1} {} {.}
\inputdefinition
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{ I
}
{ \subseteq }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Intervall}{}{,}
$r$ ein
\definitionsverweis {(uneigentlicher) Randpunkt}{}{}
von $I$ und
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es sei eine
\definitionsverweis {stetige Funktion}{}{}
\maabbdisp {f} {I} {\R} {}
gegeben. Man sagt, dass das \definitionswort {uneigentliche Integral}{} zu $f$ für
\mathl{x \rightarrow r}{} existiert, wenn der
\definitionsverweis {Grenzwert}{}{}
\mathdisp {\operatorname{lim}_{ x \rightarrow r } \, \int_{ a }^{ x } f ( t) \, d t} { }
existiert. In diesem Fall schreibt man für diesen Grenzwert auch
\mathdisp {\int_{ a }^{ r } f ( t) \, d t} { }
und nennt dies das \definitionswort {uneigentliche Integral}{} von
\mathkor {} {a} {nach} {r} {}
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Improper_integral.svg} }
\end{center}
\bildtext {Die Funktion
\mathl{{ \frac{ 1 }{ (x+1) \sqrt{x} } }}{,} der blaue Flächeninhalt repräsentiert das (beidseitig) uneigentliche Integral.} }
\bildlizenz { Improper integral.svg } {} {KSmrq} {Commons} {CC-by-sa 3.0} {}
Die Existenz dieses uneigentlichen Integrals hängt nicht vom gewählten Intervallpunkt
\mavergleichskette
{\vergleichskette
{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
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{lim}_{ x \rightarrow r } \, \int_{ a }^{ x } f ( t) \, d t
}
{ =} { \operatorname{lim}_{ x \rightarrow r } \, F(x)-F(a)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Frage, ob eine uneigentliches Integral existiert, ist nur relevant, wenn $r$ ein uneigentlicher Randpunkt $+ \infty$ oder $- \infty$ ist oder wenn $r$ der eigentliche Randpunkt eines an dieser Stelle halboffenen Intervalls ist.
\inputfaktbeweis
{Uneigentliche Integrale/Majorantenkriterium für nichtnegative Funktionen/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $I$ ein
\definitionsverweis {reelles Intervall}{}{,}
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und $r$ sei ein
\definitionsverweis {(uneigentlicher) Randpunkt}{}{}
von $I$. Es seien
\maabbdisp {f,h} {I} {\R_{\geq 0}
} {}
\definitionsverweis {stetige Funktionen}{}{}}
\faktvoraussetzung {mit
\mathdisp {f(t) \leq h(t) \text { für alle } t \in I} { }
und es sei vorausgesetzt, dass das
\definitionsverweis {uneigentliche Integral}{}{}
\mathdisp {\int_{ a }^{ r } h ( t) \, d t} { }
existiert.}
\faktfolgerung {Dann existiert auch das uneigentliche Integral
\mathdisp {\int_{ a }^{ r } f ( t) \, d t} { }
und es gilt
\mavergleichskettedisp
{\vergleichskette
{ \int_{ a }^{ r } f ( t) \, d t
}
{ \leq} { \int_{ a }^{ r } h ( t) \, d t
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Wir behandeln den Fall, wo $r$ die obere Intervallgrenze ist. Für alle
\mavergleichskette
{\vergleichskette
{ b
}
{ \in }{ I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{ \int_{ a }^{ b } f ( t) \, d t
}
{ \leq} { \int_{ a }^{ b } h ( t) \, d t
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
wegen
\mavergleichskette
{\vergleichskette
{ f(t)
}
{ \leq }{ h(t)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{ t
}
{ \in }{ I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wegen der Nichtnegativität von $h$ und von $f$ wachsen beide Seite bei
\mathl{b \rightarrow r}{,} und die rechte Seite ist durch das uneigentliche Integral
\mathl{\int_{ a }^{ r } h ( t) \, d t}{} beschränkt. Nach
Satz 13.8
existiert der
\definitionsverweis {Grenzwert}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{lim}_{ b \rightarrow r } \, \int_{ a }^{ b } f ( t) \, d t
}
{ =} { \int_{ a }^{ r } f ( t) \, d t
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\inputbeispiel{}
{
Es sei
\mavergleichskette
{\vergleichskette
{ f(t)
}
{ \defeq }{ t^{ c }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ c
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir interessieren uns für die
\definitionsverweis {uneigentlichen Integrale}{}{}
zu $f$ für $t$ von
\mathkor {} {0} {bis} {1} {.}
Dabei ist die Funktion bei der Intervallgrenze $0$
\zusatzklammer {bei negativem $c$} {} {}
nicht definiert, das ist also der kritische Randpunkt. Bei
\mavergleichskette
{\vergleichskette
{ c
}
{ = }{ -1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mathl{\ln t}{} eine Stammfunktion von
\mathl{1/t}{.} Daher ist
\mavergleichskettedisp
{\vergleichskette
{ \int_{ x }^{ 1 } \frac{1}{t} \, d t
}
{ =} { - \ln x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
und der
\definitionsverweis {Grenzwert}{}{}
für
\mathl{x \rightarrow 0}{} existiert nicht. Das uneigentliche Integral existiert also nicht.
Es sei nun
\mavergleichskette
{\vergleichskette
{ c
}
{ < }{ -1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mathl{\frac{1}{ { c }+1} t^{ { c }+1}}{} eine Stammfunktion zu $t^{ c }$ und daher ist
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{lim}_{ x \rightarrow 0 } \, { \left( \int_{ x }^{ 1 } t^{ c } \, d t \right) }
}
{ =} { \operatorname{lim}_{ x \rightarrow 0 } \, { \left( \frac{1}{ { c }+1} t^{ { c }+1} | _{ x } ^{ 1 } \right) }
}
{ =} { \operatorname{lim}_{ x \rightarrow 0 } \, { \left( \frac{1}{ { c }+1} - \frac{x^{ { c } + 1} }{ { c }+1} \right) }
}
{ } {
}
{ } {
}
}
{}{}{.}
Da es sich rechts um eine Potenz von $x$ mit einem negativen Exponenten handelt, ist
\mavergleichskette
{\vergleichskette
{ \operatorname{lim}_{ x \rightarrow 0 } \, x^{ { c }+1}
}
{ = }{ \infty
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nach der inversen Version von
Aufgabe 17.10.
Das uneigentliche Integral existiert also nicht. Dies folgt übrigens auch aus
Lemma 27.4,
da ja
\mavergleichskette
{\vergleichskette
{ t^{-1}
}
{ \leq }{ t^{c}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{ c
}
{ < }{ -1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ 0
}
{ < }{ t
}
{ \leq }{ 1
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
Es sei nun
\mavergleichskette
{\vergleichskette
{ { c }
}
{ > }{ -1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mathl{\frac{1}{ { c }+1} t^{ { c }+1}}{} eine Stammfunktion zu $t^{ c }$ und daher ist
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{lim}_{ x \rightarrow 0 } \, { \left( \int_{ x }^{ 1 } t^{ c } \, d t \right) }
}
{ =} { \operatorname{lim}_{ x \rightarrow 0 } \, { \left( \frac{1}{ { c }+1} t^{ { c }+1} | _{ x } ^{ 1 } \right) }
}
{ =} { \operatorname{lim}_{ x \rightarrow 0 } \, { \left( \frac{1}{ { c }+1} - \frac{x^{ { c } + 1} }{ { c }+1} \right) }
}
{ } {
}
{ } {
}
}
{}{}{.}
Da es sich um eine Potenz von $x$ mit einem positiven Exponenten handelt, ist
\mavergleichskette
{\vergleichskette
{ \operatorname{lim}_{ x \rightarrow 0 } \, x^{ { c }+1}
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {nach
Aufgabe 17.10} {} {.}
Das uneigentliche Integral existiert also und besitzt den Wert
\mathl{{ \frac{ 1 }{ c+1 } }}{.}
}
\inputbeispiel{}
{
Es sei
\mavergleichskette
{\vergleichskette
{ f(t)
}
{ \defeq }{ t^{ c }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ c
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir interessieren uns für das
\definitionsverweis {uneigentliche Integral}{}{}
zu $f$ für $t$ von
\mathkor {} {1} {bis} {\infty} {.}
Der kritische
\definitionsverweis {(uneigentliche) Randpunkt}{}{}
ist also $+ \infty$. Bei
\mavergleichskette
{\vergleichskette
{ c
}
{ = }{ -1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mathl{\ln t}{} eine Stammfunktion von
\mathl{1/t}{.} Daher ist
\mavergleichskettedisp
{\vergleichskette
{ \int_{ 1 }^{ x } \frac{1}{t} \, d t
}
{ =} { \ln x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
und der
\definitionsverweis {Grenzwert}{}{}
für
\mathl{x \rightarrow + \infty}{} existiert nicht. Das uneigentliche Integral existiert also nicht.
Es sei nun
\mavergleichskette
{\vergleichskette
{ c
}
{ < }{ -1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mathl{\frac{1}{ { c }+1} t^{ { c }+1}}{} eine Stammfunktion zu $t^{ c }$ und daher ist
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{lim}_{ x \rightarrow \infty } \, { \left( \int_{ 1 }^{ x } t^{ c } \, d t \right) }
}
{ =} { \operatorname{lim}_{ x \rightarrow \infty } \, { \left( \frac{1}{ { c }+1} t^{ { c }+1} | _{ 1 } ^{ x } \right) }
}
{ =} { \operatorname{lim}_{ x \rightarrow \infty } \, { \left( \frac{x^{ { c } + 1} }{ { c }+1} - \frac{1}{ { c }+1} \right) }
}
{ } {
}
{ } {
}
}
{}{}{.}
Da es sich um eine Potenz von $x$ mit einem negativen Exponenten handelt, ist
\mavergleichskette
{\vergleichskette
{ \operatorname{lim}_{ x \rightarrow \infty } \, x^{ { c }+1}
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Das uneigentliche Integral existiert also und besitzt den Wert
\mathl{- { \frac{ 1 }{ c +1 } }}{.}
Bei
\mavergleichskette
{\vergleichskette
{ c
}
{ > }{ -1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ t^{ c }
}
{ \geq }{ t^{-1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{ t
}
{ \geq }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und daher kann nach
Lemma 27.4
das uneigentliche Integral nicht existieren.
}
\inputdefinition
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{ I
}
{ \subseteq }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Intervall}{}{}
mit den beiden
\definitionsverweis {(uneigentlichen) Randpunkten}{}{}
\mathkor {} {r} {und} {s} {}
von $I$. Es sei eine
\definitionsverweis {stetige Funktion}{}{}
\maabbdisp {f} {I} {\R} {}
gegeben. Man sagt, dass das
\zusatzklammer {\definitionswort {beidseitig}{}} {} {}
\definitionswort {uneigentliche Integral}{}
\mathdisp {\int_{ r }^{ s } f ( t) \, d t} { }
existiert, wenn für ein
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die beiden einseitig
\definitionsverweis {uneigentlichen Integrale}{}{}
\mathdisp {\int_{ r }^{ a } f ( t) \, d t \text{ und } \int_{ a }^{ s } f ( t) \, d t} { }
existieren. In diesem Fall setzt man
\mavergleichskettedisp
{\vergleichskette
{ \int_{ r }^{ s } f ( t) \, d t
}
{ \defeq} { \int_{ r }^{ a } f ( t) \, d t + \int_{ a }^{ s } f ( t) \, d t
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und nennt dies das \definitionswort {uneigentliche Integral}{} zu $f$ von
\mathkor {} {r} {nach} {s} {.}
}
Die Existenz des beidseitig uneigentlichen Integrals hängt nicht von der Wahl des Punktes
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ab. Darüber hinaus hängt der Wert dieses Integrals, falls es existiert, ebenso wenig von dem gewählten Punkt ab.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Normal_distribution.svg} }
\end{center}
\bildtext {Die Funktion
\mathl{{ \frac{ 1 }{ \sqrt{2 \pi} } } e^{- { \frac{ t^2 }{ 2 } } }}{} ist die Dichtefunktion der Gaußschen Normalverteilung. Der Flächeninhalt unterhalb der Kurve ist $1$.} }
\bildlizenz { Normal distribution.svg } {} {Geek3} {Commons} {CC-by-sa 3.0} {}
\inputbeispiel{}
{
Die Funktion
\mathl{e^{-t^2}}{} ist nicht elementar integrierbar, d.h., man kann keine geschlossene Stammfunktion mit rationalen Funktionen, Exponentialfunktion, trigonometrischen Funktionen und ihren Umkehrfunktionen angeben. Es ist
\mavergleichskettedisp
{\vergleichskette
{ \int_{ -\infty }^{ \infty } e^{-t^2} \, d t
}
{ =} { \sqrt{\pi}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
was wir hier ohne Beweis mitteilen, siehe
Lemma 57.6.
Durch eine einfache Substitution ergibt sich daraus
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ \sqrt{2 \pi} } } \int_{ -\infty }^{ \infty } e^{- { \frac{ t^2 }{ 2 } } } \, d t
}
{ =} { 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dieses Integral nennt man \stichwort {Fehlerintegral} {;} es spielt in der Stochastik eine wichtige Rolle.
}
\zwischenueberschrift{Vergleichskriterien mit Reihen}
\inputfaktbeweis
{Fallende Funktion/Uneigentliches Integral und Reihe/Vergleichskriterium/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{ I
}
{ = }{ [1, \infty]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein rechtsseitig unbeschränktes Intervall und sei
\maabbdisp {f} {I} {\R
} {}
eine
\definitionsverweis {stetige}{}{}
\definitionsverweis {fallende Funktion}{}{}
mit
\mavergleichskette
{\vergleichskette
{ f(x)
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktfolgerung {Dann existiert das
\definitionsverweis {uneigentliche Integral}{}{}
\mathdisp {\int_{ 1 }^{ \infty } f ( t) \, d t} { }
genau dann, wenn die
\definitionsverweis {Reihe}{}{}
\mathdisp {\sum_{n=1}^\infty f(n)} { }
\definitionsverweis {konvergiert}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
\teilbeweis {}{}{}
{Wenn das uneigentliche Integral existiert, so betrachten wir die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ \sum_{n = 2}^k f(n)
}
{ \leq} { \int_{ 1 }^{ k } f ( t) \, d t
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
die darauf beruht, dass die linke Seite das
\definitionsverweis {Treppenintegral}{}{}
zu einer
\definitionsverweis {unteren Treppenfunktion}{}{}
für $f$ auf
\mathl{[1,k]}{} ist. Da die rechte Seite beschränkt ist, gilt dies auch für die linke Seite, sodass wegen
\mavergleichskette
{\vergleichskette
{ f(n)
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Reihe konvergiert.}
{}
\teilbeweis {}{}{}
{Ist umgekehrt die Reihe konvergent, so betrachten wir die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ \int_{ 1 }^{ k } f ( t) \, d t
}
{ \leq} { \sum_{n = 1}^{k-1} f(n)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
die gilt, da die rechte Seite das Treppenintegral zu einer
\definitionsverweis {oberen Treppenfunktion
}{}{}
ist. Wegen
\mavergleichskette
{\vergleichskette
{ f(t)
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die Integralfunktion
\mathl{x \mapsto \int_{ 1 }^{ x } f ( t) \, d t}{}
\definitionsverweis {wachsend}{}{}
und beschränkt, da die rechte Seite wegen der Konvergenz der Reihe beschränkt ist. Daher besitzt die Integralfunktion für
\mathl{x \mapsto \infty}{} einen
\definitionsverweis {Grenzwert}{}{}
und das uneigentliche Integral existiert.}
{}
\inputbeispiel{}
{
Die Funktion
\maabbeledisp {f} {[1, \infty]} {\R
} {t} { { \frac{ 1 }{ t } }
} {,}
ist
\definitionsverweis {streng fallend}{}{.}
Daher ist die Funktion $g$, die für $x$ mit
\mavergleichskette
{\vergleichskette
{ k
}
{ \leq }{ x
}
{ < }{ k+1
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {
\mavergleichskettek
{\vergleichskettek
{ k
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
durch
\mathl{{ \frac{ 1 }{ k } }}{} definiert ist, eine
\anfuehrung{Majorante}{}
für $f$, also
\mavergleichskette
{\vergleichskette
{ g(t)
}
{ \geq }{ f(t)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Auf jedem Intervall
\mathl{[1,n]}{} liefert $g$ eine
\definitionsverweis {obere Treppenfunktion}{}{}
zu $f$. Ebenso liefert die durch
\mathl{{ \frac{ 1 }{ k+1 } }}{} bei
\mavergleichskette
{\vergleichskette
{ k
}
{ \leq }{ x
}
{ < }{ k+1
}
{ }{
}
{ }{
}
}
{}{}{}
definierte Funktion $h$ eine untere Treppenfunktion für $f$. Daher gelten die Abschätzungen
\mavergleichskettedisp
{\vergleichskette
{ \sum_{k = 1}^{n-1} { \frac{ 1 }{ k } }
}
{ \geq} { \int_{ 1 }^{ n } { \frac{ 1 }{ t } } \, d t
}
{ \geq} { \sum_{k = 1}^{n-1} { \frac{ 1 }{ k+1 } }
}
{ } {
}
{ } {
}
}
{}{}{.}
Das Integral in der Mitte besitzt den Wert
\mathl{\ln n}{.} Daraus ergibt sich mit
Lemma 27.9
ein neuer Beweis, dass die
\definitionsverweis {harmonische Reihe}{}{}
\definitionsverweis {divergiert}{}{.}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Gamma-area.svg} }
\end{center}
\bildtext {Die blaue Fläche stellt die Eulersche Konstante dar, die Darstellung ist überhöht.} }
\bildlizenz { Gamma-area.svg } {} {Kiwi128} {Commons} {CC-by-sa 3.0} {}
Die Differenz zwischen der linken und der rechten Summe ist
\mathl{1- { \frac{ 1 }{ n } }}{.} Daher ist die Differenz
\mathdisp {\sum_{k=1}^{n-1} { \frac{ 1 }{ k } } - \ln n} { }
für jedes $n$ positiv, mit $n$ wachsend und
\definitionsverweis {nach oben beschränkt}{}{.}
Daher existiert für
\mathl{n \rightarrow \infty}{} der Limes, und dieser Limes ändert sich nicht, wenn man vorne in der Summe bis $n$ aufsummiert anstatt bis
\mathl{n-1}{.} Wir setzen
\mavergleichskettedisp
{\vergleichskette
{ \gamma
}
{ \defeq} { \lim_{n \rightarrow \infty} { \left( \sum_{k = 1}^{n} { \frac{ 1 }{ k } } - \ln n \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und nennen sie die \stichwort {eulersche Konstante} {}
\zusatzklammer {oder \stichwort {Mascheronische Konstante} {}} {} {.}
Ihr numerischer Wert ist ungefähr
\mavergleichskettedisp
{\vergleichskette
{ \gamma
}
{ =} { 0{,}5772156649\dotso
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Es ist ein offenes mathematisches Problem, ob diese Zahl
\definitionsverweis {rational}{}{}
ist oder nicht.
}
| << | Kurs:Mathematik für Anwender (Osnabrück 2011-2012)/Teil I | >> |
|---|