Kurs:Mathematik für Anwender (Osnabrück 2011-2012)/Teil I/Vorlesung 23/kontrolle

In den folgenden Vorlesungen beschäftigen wir uns mit der Integrationstheorie, d.h. wir wollen den Flächeninhalt derjenigen Fläche, die durch einen Funktionsgraphen einer Funktion

${{}} f \colon [a,b] \longrightarrow \R \,$

und der ${{}} x$-Achse begrenzt wird, systematisch studieren und berechnen. Zugleich ergibt sich ein direkter Zusammenhang zum Auffinden von Stammfunktionen von ${{}} f$, das sind Funktionen, deren Ableitung ${{}} f$ ist. Der Flächeninhalt ist kein unproblematischer Begriff, der erst im Rahmen der Maßtheorie grundlegend behandelt wird. Dennoch handelt es sich um einen intuitiv leicht zugänglichen Begriff, von dem wir hier nur einige wenige naheliegende Grundtatsachen verwenden. Sie dienen hier auch nirgendwo der Argumentation, sondern lediglich der Motivation. Ausgangspunkt ist, dass der Flächeninhalt eines Rechtecks mit gegebenen Seitenlängen einfach das Produkt der beiden Seitenlängen ist, und dass der Flächeninhalt einer Fläche, die man mit Rechtecken „ausschöpfen“ kann, als der Limes der Summe der beteiligten Rechtecksinhalte erhalten werden kann. Beim Riemannschen Integral, das zumindest für stetige Funktionen eine befriedigende Theorie liefert, beschränkt man sich auf solche Rechtecke, die parallel zum Koordinatensystem liegen, deren Breite (Grundseite auf der ${{}} x$-Achse) beliebig variieren darf und deren Höhe in Beziehung zu den Funktionswerten über der Grundseite steht. Dadurch werden die Funktionen durch sogenannte Treppenfunktionen approximiert.

Treppenfunktionen

Eine Treppenfunktion. Im statistischen Kontext spricht man von Histogrammen oder von Säulendiagrammen.

Definition

Sei ${{}} I$ ein reelles Intervall mit den Grenzen ${{}} a,b \in \R$. Dann heißt eine Funktion

${{}} t \colon I \longrightarrow \R \,$

eine Treppenfunktion, wenn es eine Unterteilung

$a=a_0<a_1<a_2 < \cdots < a_{n-1} < a_n=b$

von ${{}} I$ gibt derart, dass ${{}} t$ auf jedem offenen Teilintervall ${{}} ]a_{i-1},a_{i}[$ konstant ist.

Diese Definition stellt also keine Bedingung an den Wert der Funktion an den Unterteilungspunkten. Das Intervall ${{}} ]a_{i-1},a_i[$ nennt man ${{}} i$-tes Teilintervall, und ${{}} a_i-a_{i-1}$ heißt Länge dieses Teilintervalls. Wenn die Länge der Teilintervalle konstant ist, so spricht man von einer äquidistanten Unterteilung.

Definition

Sei ${{}} I$ ein reelles Intervall mit den Grenzen ${{}} a,b \in \R$ und sei

${{}} t \colon I \longrightarrow \R \,$

eine Treppenfunktion zur Unterteilung ${{}} a=a_0<a_1<a_2 < \cdots < a_{n-1} < a_n=b$ und den Werten ${{}} t_i$, ${{}} i=1 , \ldots , n$. Dann heißt

$T := \sum_{i=1}^n t_i (a_i - a_{i-1})$

das Treppenintegral von ${{}} t$ auf ${{}} I$.

Das Treppenintegral wird auch mit ${{}} \int_{ a } ^{ b } t ( x) \, d x$ bezeichnet. Bei einer äquidistanten Unterteilung mit der Teilintervalllänge ${{}} \frac{b-a}{n}$ ist das Treppenintegral gleich ${{}} \frac{b-a}{n}( \sum_{i=1}^n t_i)$. Das Treppenintegral ist nicht von der gewählten Unterteilung abhängig, bzgl. der eine Treppenfunktion vorliegt.

Definition

Sei ${{}} I$ ein beschränktes Intervall und sei

${{}} f \colon I \longrightarrow \R \,$

eine Funktion. Dann heißt eine Treppenfunktion

${{}} t \colon I \longrightarrow \R \,$

eine obere Treppenfunktion zu ${{}} f$, wenn ${{}} t(x) \geq f(x)$ ist für alle ${{}} x \in I$. Eine Treppenfunktion

${{}} s \colon I \longrightarrow \R \,$

heißt eine untere Treppenfunktion zu ${{}} f$, wenn ${{}} s(x) \leq f(x)$ ist für alle ${{}} x \in I$.

Eine obere (untere) Treppenfunktion zu ${{}} f$ gibt es genau dann, wenn ${{}} f$ nach oben (nach unten) beschränkt ist.

Definition

Sei ${{}} I$ ein beschränktes Intervall und sei

${{}} f \colon I \longrightarrow \R \,$

eine Funktion. Zu jeder oberen Treppenfunktion

${{}} t \colon I \longrightarrow \R \,$

von ${{}} f$ zur Unterteilung ${{}} a_i$, ${{}} i=0 , \ldots , n$, und den Werten ${{}} t_i$, ${{}} i=1 , \ldots , n$, heißt das Treppenintegral

$T= \sum_{i=1}^n t_i (a_i - a_{i-1})$

eine Obersumme (oder ein oberes Treppenintegral) von ${{}} f$ auf ${{}} I$.

Definition

Sei ${{}} I$ ein beschränktes Intervall und sei

${{}} f \colon I \longrightarrow \R \,$

eine Funktion. Zu jeder unteren Treppenfunktion

${{}} s \colon I \longrightarrow \R \,$

von ${{}} f$ zur Unterteilung ${{}} a_i$, ${{}} i=0 , \ldots , n$, und den Werten ${{}} s_i$, ${{}} i=1 , \ldots , n$, heißt

$S := \sum_{i=1}^n s_i (a_i - a_{i-1})$

eine Untersumme (oder ein unteres Treppenintegral) von ${{}} f$ auf ${{}} I$.

Verschiedene obere (untere) Treppenfunktionen liefern natürlich verschiedene Obersummen (Untersummen).

Definition

Sei ${{}} I$ ein beschränktes Intervall und sei

${{}} f \colon I \longrightarrow \R \,$

eine nach oben beschränkte Funktion. Dann heißt das Infimum von sämtlichen Obersummen von oberen Treppenfunktionen von ${{}} f$ das Oberintegral von ${{}} f$.

Definition

Sei ${{}} I$ ein beschränktes Intervall und sei

${{}} f \colon I \longrightarrow \R \,$

eine nach unten beschränkte Funktion. Dann heißt das Supremum von sämtlichen Untersummen von unteren Treppenfunktionen von ${{}} f$ das Unterintegral von ${{}} f$.

Die Beschränkung nach unten stellt sicher, dass es überhaupt eine untere Treppenfunktion gibt und damit die Menge der Untersummen nicht leer ist. Unter dieser Bedingung allein muss nicht unbedingt die Menge der Untersummen ein Supremum besitzen. Für (beidseitig) beschränkte Funktionen existiert hingegen stets das Ober- und das Unterintegral. Bei einer gegebenen Unterteilung gibt es eine kleinste obere (größte untere) Treppenfunktion, die durch die Maxima (Minima) der Funktion auf den Teilintervallen festgelegt ist. Für das Integral muss man aber Treppenfunktionen zu sämtlichen Unterteilungen berücksichtigen.

Riemann-integrierbare Funktionen

Im Folgenden sprechen wir manchmal von einem kompakten Intervall, das ist ein beschränktes und abgeschlossenes Intervall, also von der Form ${{}} I=[a,b]$ mit ${{}} a,b \in \R$.

Eine untere und eine obere Treppenfunktion. Der grüne Flächeninhalt ist eine Untersumme und der gelbe Flächeninhalt (teilweise verdeckt) ist eine Obersumme.

Definition

Sei ${{}} I$ ein kompaktes Intervall und sei

${{}} f \colon I \longrightarrow \R \,$

eine Funktion. Dann heißt ${{}} f$ Riemann-integrierbar, wenn Ober- und Unterintegral von ${{}} f$ existieren und übereinstimmen.

Definition

Es sei ${{}} I=[a,b]$ ein kompaktes Intervall. Zu einer Riemann-integrierbaren Funktion

${{}} f \colon I = [a,b] \longrightarrow \R , \, t \longmapsto f(t) \, ,$

heißt das Oberintegral (das nach Definition mit dem Unterintegral übereinstimmt) das bestimmte Integral von ${{}} f$ über ${{}} I$. Es wird mit

$\int_{ a } ^{ b } f ( t) \, d t \text{ oder mit } \int_{ I } ^{ } f ( t) \, d t$

bezeichnet.

Das Berechnen von solchen Integralen nennt man integrieren. Man sollte sich keine allzu großen Gedanken über das Symbol ${{}} dt$ machen. Darin wird ausgedrückt, bzgl. welcher Variablen die Funktion zu integrieren ist. Es kommt dabei aber nicht auf den Namen der Variablen an, d.h. es ist

$\int_{ a } ^{ b } f(t) \, d t = \int_{ a } ^{ b } f(x) \, d x$

Lemma

Sei ${{}} I$ ein kompaktes Intervall und sei

${{}} f \colon I \longrightarrow \R \,$

eine Funktion. Es gebe eine Folge von unteren Treppenfunktionen ${{}} ( s_n )_{ n \in \N }$ mit ${{}} s_n \leq f$ und eine Folge von oberen Treppenfunktionen ${{}} ( t_n )_{ n \in \N }$ mit ${{}} t_n \geq f$. Es sei vorausgesetzt, dass die beiden zugehörigen Folgen der Treppenintegrale konvergieren und dass ihr Grenzwert übereinstimmt.

Dann ist ${{}} f$ Riemann-integrierbar, und das bestimmte Integral ist gleich diesem Grenzwert, also

${{}} \operatorname{lim}_{ n \rightarrow \infty} \int_{ a } ^{ b } s_n ( x) \, d x = \int_{ a } ^{ b } f ( x) \, d x = \operatorname{lim}_{ n \rightarrow \infty} \int_{ a } ^{ b } t_n ( x) \, d x \,$

Beweis

Siehe Aufgabe 23.8.

$\Box$

Beispiel

Wir betrachten die Funktion

${{}} f \colon [0,1] \longrightarrow \R , \, t \longmapsto t^2 \, ,$

die bekanntlich in diesem Intervall streng wachsend ist. Für ein Teilintervall ${{}} [a,b] \subseteq [0,1]$ ist daher ${{}} f(a)$ das Minimum und ${{}} f(b)$ das Maximum der Funktion über diesem Teilintervall. Sei ${{}} n$ eine positive natürliche Zahl. Wir unterteilen das Intervall ${{}} [0,1]$ in die ${{}} n$ gleichlangen Teilintervalle

$\left[ i \frac{1}{n}, (i+1) \frac{1}{n} \right] , i=0 , \ldots , n-1 ,$

der Länge ${{}} \frac{1}{n}$. Das Treppenintegral zu der zugehörigen unteren Treppenfunktionen ist

${{}} \sum_{i = 0}^{n-1} \frac{1}{n} \left( i \frac{1}{n} \right)^2 = \frac{1}{n^3} \sum_{i = 0}^{n-1} i^2 = \frac{1}{n^3} \left( \frac{1}{3} n^3 - \frac{1}{2}n^2 + \frac{1}{6} n \right) = \frac{1}{3} - \frac{1}{2n} + \frac{1}{6n^2} \,$

(siehe Aufgabe 1.2 für die Formel für die Summe der Quadrate). Da die beiden Folgen ${{}} \left( 1/2n \right)_{ n \in \N }$ und ${{}} \left( 1/6n^2 \right)_{ n \in \N }$ gegen ${{}} 0$ konvergieren, ist der Limes für ${{}} n \rightarrow \infty$ von diesen Treppenintegralen gleich ${{}} \frac{1}{3}$. Das Treppenintegral zu der zugehörigen oberen Treppenfunktionen ist

${{}} \sum_{i = 0}^{n-1} \frac{1}{n} \left( (i+1) \frac{1}{n} \right)^2 = \frac{1}{n^3} \sum_{i = 0}^{n-1} (i+1)^2 = \frac{1}{n^3} \sum_{j = 1}^{n} j^2 = \frac{1}{n^3} \left( \frac{1}{3} n^3 + \frac{1}{2}n^2 + \frac{1}{6} n \right) = \frac{1}{3} + \frac{1}{2n} + \frac{1}{6n^2} \, .$

Der Limes davon ist wieder ${{}} \frac{1}{3}$. Da beide Limiten übereinstimmen, müssen nach Lemma 23.10 überhaupt das Ober- und das Unterintegral übereinstimmen, so dass die Funktion Riemann-integrierbar ist und das bestimmte Integral

${{}} \int_{ 0 } ^{ 1 } t^2 \, d t = \frac{1}{3} \,$

ist.

Lemma

Sei ${{}} I =[a,b]$ ein kompaktes Intervall und sei

${{}} f \colon I \longrightarrow \R \,$

eine Funktion.

Dann ist ${{}} f$ genau dann Riemann-integrierbar, wenn es eine Unterteilung ${{}} a=a_0 < a_1 < \cdots < a_n=b$ gibt derart, dass die einzelnen Einschränkungen ${{}} f_i := f |_{[a_{i-1},a_i]}$ Riemann-integrierbar sind.

In dieser Situation gilt

$\int_{ a } ^{ b } f ( t) \, d t = \sum_{i=1}^n \int_{ a_{i-1} } ^{ a_i } f_i ( t) \, d t .$

Beweis

Siehe Aufgabe 23.9.

$\Box$

Definition

Sei ${{}} I$ ein reelles Intervall und sei

${{}} f \colon I \longrightarrow \R \,$

eine Funktion. Dann heißt ${{}} f$ Riemann-integrierbar, wenn die Einschränkung von ${{}} f$ auf jedes kompakte Intervall ${{}} [a,b] \subseteq I$ Riemann-integrierbar ist.

Aufgrund des obigen Lemmas stimmen für ein kompaktes Intervall ${{}} [a,b]$ die beiden Definitionen überein.

Riemann-Integrierbarkeit stetiger Funktionen

Satz

Sei ${{}} I$ ein reelles Intervall und sei

${{}} f \colon I \longrightarrow \R \,$

eine stetige Funktion.

Dann ist ${{}} f$ Riemann-integrierbar.

Beweis

Wir werden den Beweis, der auf dem Begriff der gleichmäßigen Stetigkeit beruht, nicht durchführen.

$\Box$

Wenn man Aussagen beweist, bei denen auf Unterteilungen eines Intervalls Bezug genommen wird, so ist es häufig sinnvoll, feinere Unterteilungen einzuführen. Insbesondere ersetzt man häufig zwei verschiedene Unterteilungen durch eine gemeinsame Verfeinerung.

Lemma

Es sei ${{}} I=[a,b]$ ein kompaktes Intervall und es seien ${{}} f,g \colon I \rightarrow \R$ zwei Riemann-integrierbare Funktionen. Dann gelten folgende Aussagen.

1. Ist ${{}} m \leq f(x) \leq M$ für alle ${{}} x \in I$, so ist ${{}} m(b-a) \leq \int_{ a } ^{ b } f ( t) \, d t \leq M(b-a)$.
2. Ist ${{}} f(x) \leq g(x)$ für alle ${{}} x \in I$, so ist ${{}} \int_{ a } ^{ b } f ( t) \, d t \leq \int_{ a } ^{ b } g ( t) \, d t$.
3. Die Summe ${{}} f+g$ ist Riemann-integrierbar und es ist ${{}} \int_{ a } ^{ b } (f+g)(t) \, d t = \int_{ a } ^{ b } f ( t) \, d t + \int_{ a } ^{ b } g ( t) \, d t$.
4. Für ${{}} c \in \R$ ist ${{}} \int_{ a } ^{ b } (cf)(t) \, d t = c \int_{ a } ^{ b } f ( t) \, d t$.
5. Die Funktionen ${{}} {\operatorname{max} \, ( f,g ) }$ und ${{}} {\operatorname{min} \, \left( f,g \right) }$ sind Riemann-integrierbar.
6. Die Funktion ${{}} \mid\! f\!\mid$ ist Riemann-integrierbar.
7. Das Produkt ${{}} fg$ ist Riemann-integrierbar.

Beweis

Für (1) bis (4) siehe Aufgabe 23.10. (5). Wir betrachten die Aussage für das Maximum. Wir müssen zeigen, dass es zu jedem ${{}} \delta >0$ eine obere und eine untere Treppenfunktion gibt derart, dass die Differenz der beiden Treppenintegrale ${{}} \leq \delta$ ist. Sei also ein ${{}} \delta >0$ vorgegeben. Aufgrund der Riemann-Integrierbarkeit gibt es Treppenfunktionen

$s_1 \text{ und } t_1 \text{ mit } s_1 \leq f \leq t_1 \text{ und mit } \int_{ a } ^{ b } (t_1-s_1)(x) \, d x \leq \delta/2$

und

$s_2 \text{ und } t_2 \text{ mit } s_2 \leq g \leq t_2 \text{ und mit } \int_{ a } ^{ b } (t_2-s_2)(x) \, d x \leq \delta/2 .$

Wir können annehmen, dass diesen Treppenfunktionen die gleiche Unterteilung zugrunde liegt. Es sei ${{}} \ell_k$, ${{}} k=1 , \ldots , n$ die Länge des ${{}} k$-ten Teilintervalls ${{}} I_k$ und es sei

$\delta_k := (t_1-s_1) {{|}} _{I_k} + (t_2-s_2) {{|}}_{I_k} .$

Dann gilt

${{}} \begin{align} \sum_{k = 1}^n \ell_k \delta_k & = \sum_{k = 1}^n \ell_k ( (t_1-s_1) {{|}} _{I_k} + (t_2-s_2) {{|}}_{I_k} ) \\ & = \sum_{k = 1}^n \ell_k (t_1-s_1) {{|}} _{I_k} + \sum_{k = 1}^n \ell_k (t_2-s_2) {{|}}_{I_k} \\ & \leq \frac{\delta}{2} + \frac{\delta}{2} \\ & = \delta . \end{align}$

Wir setzen

${{}} s := {\operatorname{max} \, ( s_1,s_2 ) } \, \, \text{ und } \, \, t := {\operatorname{max} \, ( t_1,t_2 ) } \, .$

Dies ist offenbar eine untere bzw. obere Treppenfunktionen für ${{}} {\operatorname{max} \, ( f,g ) }$. Wir betrachten ein Teilintervall ${{}} I_k$ dieser Unterteilung. Wenn dort

$s_1 \leq s_2 \text{ und } t_1 \leq t_2$

gilt, so ist

${{}} t-s = t_2-s_2 \leq \delta_k \, .$

Wenn dort

$s_1 \leq s_2 \text{ und } t_2 \leq t_1$

gilt, so ist ebenfalls

${{}} t-s = t_1-s_2 \leq t_1-s_1 \leq \delta_k \, .$

 Dies gilt auch in den beiden anderen Fällen.
Damit ist die Differenz der Treppenintegrale ${{}} \leq \sum_{k =1}^n \ell_k \delta_k \leq \delta$.
(6) folgt direkt aus (5). Für (7) siehe Aufgabe 23.12.

$\Box$

Fußnoten

<< | Kurs:Mathematik für Anwender (Osnabrück 2011-2012)/Teil I | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF) (PDF englisch)