Kurs:Analysis (Osnabrück 2014-2016)/Teil I/Vorlesung 23/kontrolle

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Integral as region under curve.svg

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

und der -Achse begrenzt wird, systematisch studieren und berechnen. Zugleich ergibt sich ein direkter Zusammenhang zum Auffinden von Stammfunktionen, das sind Funktionen, deren Ableitung ist. Der Flächeninhalt ist kein unproblematischer Begriff, den wir erst im dritten Semester im Rahmen der Maßtheorie grundlegend behandeln werden. 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 -Achse) beliebig varieren 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  Referenznummer erstellen

Sei ein reelles Intervall mit den Grenzen . Dann heißt eine Funktion

eine Treppenfunktion, wenn es eine Unterteilung

von derart gibt, dass auf jedem offenen Teilintervall konstant ist.

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


Definition  Referenznummer erstellen

Sei ein reelles Intervall mit den Grenzen und sei

eine Treppenfunktion zur Unterteilung und den Werten , . Dann heißt

das Treppenintegral von auf .

Das Treppenintegral wird auch mit bezeichnet. Bei einer äquidistanten Unterteilung mit der Teilintervalllänge ist das Treppenintegral gleich . Das Treppenintegral ist nicht von der gewählten Unterteilung abhängig, bezüglich der eine Treppenfunktion vorliegt (man kann also die Unterteilung verfeinern).


Definition  Referenznummer erstellen

Sei ein beschränktes Intervall und sei

eine Funktion. Dann heißt eine Treppenfunktion

eine obere Treppenfunktion zu , wenn für alle ist . Eine Treppenfunktion

heißt eine untere Treppenfunktion zu , wenn für alle ist.

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


Definition  Referenznummer erstellen

Sei ein beschränktes Intervall und sei

eine Funktion. Zu jeder oberen Treppenfunktion

von zur Unterteilung , , und den Werten , , heißt das Treppenintegral

eine Obersumme (oder ein oberes Treppenintegral) von auf .


Definition  Referenznummer erstellen

Sei ein beschränktes Intervall und sei

eine Funktion. Zu jeder unteren Treppenfunktion

von zur Unterteilung , , und den Werten , , heißt

eine Untersumme (oder ein unteres Treppenintegral) von auf .

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


Definition  Referenznummer erstellen

Sei ein beschränktes Intervall und sei

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


Definition  Referenznummer erstellen

Sei ein beschränktes Intervall und sei

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

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 Suprema (Infima) der Funktion auf den Teilintervallen festgelegt ist (bei stetigen Funktionen auf abgeschlossenen Intervallen sind das Maxima bzw. Minima). Für das Integral muss man aber Treppenfunktionen zu sämtlichen Unterteilungen berücksichtigen.



Riemann-integrierbare Funktionen
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  Referenznummer erstellen

Sei ein kompaktes Intervall und sei

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


Definition  Referenznummer erstellen

Es sei ein kompaktes Intervall. Zu einer Riemann-integrierbaren Funktion

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

bezeichnet.

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



Lemma Lemma 23.10 ändern

Sei ein [[{{:MDLUL/MDLUL/|opt=Ziel}}|]] und sei

eine [[{{:MDLUL/MDLUL/|opt=Ziel}}|]] Es gebe eine Folge von unteren Treppenfunktionen  mit und eine Folge von oberen Treppenfunktionen  mit . Es sei vorausgesetzt, dass die beiden zugehörigen Folgen der Treppenintegrale konvergieren und dass ihr Grenzwert übereinstimmt.

Dann ist Riemann-integrierbar, und das bestimmte Integral ist gleich diesem Grenzwert, also

Beweis

Siehe Aufgabe 23.11.



Beispiel  Referenznummer erstellen

Wir betrachten die Funktion

die bekanntlich in diesem Intervall streng wachsend ist. Für ein Teilintervall ist daher das Minimum und das Maximum der Funktion über diesem Teilintervall. Sei eine positive natürliche Zahl. Wir unterteilen das Intervall in die gleichlangen Teilintervalle

der Länge . Das Treppenintegral zu der zugehörigen unteren Treppenfunktionen ist

(siehe Aufgabe 1.6 für die Formel für die Summe der Quadrate). Da die beiden Folgen und gegen konvergieren, ist der Limes für von diesen Treppenintegralen gleich . Das Treppenintegral zu der zugehörigen oberen Treppenfunktionen ist

Der Limes davon ist wieder . 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

ist.




Lemma Referenznummer erstellen

Sei ein [[{{:MDLUL/MDLUL/|opt=Ziel}}|]] und sei

eine [[{{:MDLUL/MDLUL/|opt=Ziel}}|]]

Dann ist genau dann Riemann-integrierbar, wenn es eine Unterteilung derart gibt, dass die einzelnen Einschränkungen Riemann-integrierbar sind.

In dieser Situation gilt

Beweis

Siehe Aufgabe 23.13.



Definition  Referenznummer erstellen

Sei ein reelles Intervall und sei

eine Funktion. Dann heißt Riemann-integrierbar, wenn die Einschränkung von auf jedes kompakte Intervall Riemann-integrierbar ist.

Aufgrund des obigen Lemmas stimmen für ein kompaktes Intervall die beiden Definitionen überein. Die Integrierbarkeit einer Funktion bedeutet nicht, dass eine Bedeutung hat bzw. existieren muss.



Riemann-Integrierbarkeit stetiger Funktionen



Satz  Satz 23.14 ändern

Sei ein reelles Intervall und sei

eine stetige Funktion.

Dann ist Riemann-integrierbar.

Beweis  

Wir können annehmen, dass das Intervall kompakt ist, sagen wir . Die stetige Funktion ist auf diesem kompakten Intervall beschränkt nach Korollar 13.11. Daher gibt es obere und untere Treppenfunktionen und daher existieren Oberintegral und Unterintegral. Wir müssen zeigen, dass sie übereinstimmen.  Dazu genügt es, zu einem gegebenen eine untere und eine obere Treppenfunktion für anzugeben derart, dass die Differenz ihrer Treppenintegrale ist. Nach Lemma 14.2 ist gleichmäßig stetig. Daher gibt es zu ein derart, dass für alle  mit die Abschätzung gilt. Sei nun so, dass ist, und betrachten wir die Unterteilung des Intervalls mit den Punkten . Auf den Teilintervallen , , ist der Abstand zwischen dem Maximum

und dem Minimum

kleiner/gleich . Die zu diesen Werten gehörigen Treppenfunktionen, also

und

sind dann eine obere bzw. untere Treppenfunktion zu . Die Differenz zwischen den zugehörigen Ober- und Untersummen ist dann



Diese Aussage gilt dann auch für stückweise stetige Funktionen.



Lemma  Lemma 23.15 ändern

Es sei

eine gleichmäßig konvergente Folge von stetigen Funktionen mit der Grenzfunktion

Dann gilt die Beziehung

Beweis  

Da die Grenzfunktion nach Lemma 16.4 stetig ist, existiert das bestimmte Integral rechts nach Satz 23.14. Für jedes gibt es ein mit

für alle und alle . Daher gilt für diese die Abschätzung


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  Lemma 23.16 ändern

Es sei ein kompaktes Intervall und es seien zwei Riemann-integrierbare Funktionen. Dann gelten folgende Aussagen.

  1. Ist für alle , so ist .
  2. Ist für alle , so ist .
  3. Die Summe ist Riemann-integrierbar und es ist .
  4. Für ist .
  5. Die Funktionen und sind Riemann-integrierbar.
  6. Die Funktion ist Riemann-integrierbar.
  7. Das Produkt ist Riemann-integrierbar.

Beweis  

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

und

Wir können annehmen, dass diesen Treppenfunktionen die gleiche Unterteilung zugrunde liegt. Es sei , die Länge des -ten Teilintervalls und es sei

Dann gilt

Wir setzen

Dies ist offenbar eine untere bzw. obere Treppenfunktionen für . Wir betrachten ein Teilintervall der gegebenen Unterteilung. Wenn dort

gilt, so ist dort

Wenn dort

gilt, so ist dort ebenfalls

 Dies gilt auch in den beiden anderen Fällen.


Damit ist die Differenz der Treppenintegrale .
(6) folgt direkt aus (5). Für (7) siehe Aufgabe 23.21.