3.11.1 Definition und äquivalente Beschreibungen.
Definition 3.11.1. Eine Funktion
heißt konvex in
genau dann wenn folgende Aussage wahr ist:
Eine Funktion
heisst konkav in
genau dann wenn
in
konvex ist.
In der geometrische Interpretation bedeutet dies, dass die Verbindungsstrecke zwischen den Punkten
und
oberhalb des
Graphen
liegt.
Wir betrachten nun zwei Punkte
mit und schreiben
einen dritten Punkt
als mit
. Dabei
berechnet sich
als
Die Funktion
ist nach Definition genau dann konvex, wenn
Dies ist äquivalent zu der Ungleichung
und nach den zwei weiteren äquivalenten Umformungen
erhält man, dass
genau dann konvex ist, wenn
| (3.45) |
Wählt man hier ,
so geht
diese Ungleichung in
für
und
über. Da diese Punkte frei gewählt sind bedeuten diese Ungleichungen, dass die Funktion
monoton
in
wächst.
Theorem 3.11.2. Die Funktion
ist genau dann konvex, wenn der Differenzenquotient
monoton in
wächst.
Wegen
ist (3.45) äquivalent zu
| (3.46) |
für beliebiges .
Auf gleichem Wege erhält man die Äquivalenz zu
| (3.47) |
Die erste dieser Ungleichungen bedeutet, dass
für
monoton in
wächst; die zweite
Ungleichung bezeugt, dass
für
monoton in
wächst. Da
und
beliebig gewählt sind, so erhält man folgende äquivalente Beschreibung konvexer
Funktionen:
Theorem 3.11.3. Die Funktion
ist genau dann konvex, wenn der Differenzenquotient
für beliebiges
monoton in
wächst.
Problem 3.11.4. Beweisen Sie, dass eine in
konvexe (oder konkave) Funktion in
stetig ist!