Monotonieverhalten von Funktionen

• Eine Funktion f heißt in einem Intervall I ihres Definitionsbereichs $D_f$ genau dann monoton wachsend, wenn für beliebige $x_1,x_2\in I$ gilt:
  $x_1<x_2\Rightarrow f(x_1)\le f(x_2)$
• Eine Funktion f heißt in einem Intervall I ihres Definitionsbereichs $D_f$ genau dann monoton fallend, wenn für beliebige $x_1,x_2\in I$ gilt:
  $x_1<x_2\Rightarrow f(x_1)\ge f(x_2)$

Gilt für $x_1<x_2$ sogar $f(x_1)<f(x_2)bzw.f(x_1)>f(x_2)$, so nennt man f in dem Intervall I streng monoton wachsend bzw. streng monoton fallend.

Um eine Monotonieaussage über eine Funktion treffen zu können, reicht es nicht aus, nur für einige Argumente das Verhalten der Funktionswerte zu untersuchen werden – es muss vielmehr der gesamte Definitionsbereich bzw. das vorgegebene Intervall berücksichtigt werden. Man kann zu diesem Zweck prüfen, ob für positives h in einem bestimmten Intervall die Differenz $f\left(x+h\right)-f\left(x\right)$ größer oder kleiner als null ist. Im ersten Fall wäre f dann dort monoton wachsend, im zweiten Fall monoton fallend.

Es sind folgende Funktionen auf Monotonie zu untersuchen:

• Beispiel 1: $f(x)=e^x;x\in R$

   

Es gilt: $f\left(x+h\right)-f\left(x\right)$ $=e^{x+h}-e^x=e^x\left(e^h-1\right)$

Da $e^x$ stets positiv und auch $e^h-1$ für h > 0 immer positiv ist, gilt $f\left(x+h\right)-f\left(x\right)$> 0 für alle x. Die Funktion $f(x)=e^x;x\in R$ ist also (sogar streng) monoton wachsend.

• Beispiel 2: $f(x)=\frac{1}{x},x\in \left]0;\infty \right[$

In diesem Falle gilt: $f\left(x+h\right)-f\left(x\right)$ $=\frac{1}{x+h}-\frac{1}{x}=\frac{x-x-h}{x\left(x+h\right)}=\frac{-h}{x\left(x+h\right)}$

Der als Resultat erhaltene Quotient ist im angegebenen Intervall für h > 0 stets negativ, die Funktion f dort also (streng) monoton fallend.

Der hier gewählte Untersuchungsweg kann bei komplizierteren Funktionstermen oder bei Wechsel des Monotonieverhaltens im Definitionsbereich freilich manchmal sehr aufwendig sein, wie das folgende Beispiel zeigt.

• Beispiel 3: Die Funktion f mit $f\left(x\right)=x^2-2x-1$ ist bezüglich Monotonie zu untersuchen.

Anhand des Graphen gelangt man zwar schnell zu einer Vermutung (nämlich: f ist monoton fallend für x < 1 und monoton wachsend für x > 1), aber die zu oben analoge Rechnung führt zu dem folgenden Ausdruck, der schwerer zu diskutieren ist:
$\begin{array}{c} \text{ f}\left(x+h\right)-f\left(x\right)={\left(x+h\right)}^2-2\left(x+h\right)-1-\left(x^2-2x-1\right)\\ =2hx+h^2-2h\end{array}$

Eine einfachere Methode ergibt sich aus folgendem Satz zum Zusammenhang zwischen Monotonie und 1. Ableitung:

• Eine im offenen Intervall differenzierbare Funktion f ist in diesem Intervall genau dann monoton wachsend (monoton fallend), wenn für alle $x\in I$ die Beziehung $f\text{'}(x)\ge 0$ (bzw. ) $f\text{'}(x)\le 0$ gilt.

Der Beweis dieses Satzes muss wegen der „genau dann, wenn“-Aussage (also einer Äquivalenzaussage) „in beiden Richtungen“ geführt werden. Wir beschränken uns aber auf den Fall des monotonen Wachsens.

Beweisteil I

Voraussetzung:
f sei eine im offenen Intervall I differenzierbare Funktion und für alle $x\in I$ gelte $f\text{'}(x)\ge 0$.

Behauptung:
f ist im Intervall I monoton wachsend (also: Für beliebige $x_1,x_2\in I$mit $x_1<x_2$ gilt $f\left(x_1\right)\le f\left(x_2\right)$).

Beweis:

1. $x_1,x_2\in I$ seien beliebige Zahlen aus I. Dann gibt es zwischen ihnen nach dem Mittelwertsatz der Differenzialrechnung ein $x_{0}mitf\text{'}\left(x_0\right)=\frac{f\left(x_2\right)-f\left(x_1\right)}{x_2-x_1}$.
2. Wegen $x_2-x_1>0undf\text{'}\left(x_0\right)\ge 0$ gilt $f\text{'}\left(x_0\right)\cdot \left(x_2-x_1\right)=f\left(x_2\right)-f\left(x_1\right)\ge \mathrm{0,}$ d.h., es ist $f\left(x_2\right)\ge f\left(x_1\right)$ für beliebige $x_1,x_2\in I$.

Beweisteil II (in der „Gegenrichtung“)

Voraussetzung:
f ist im Intervall I differenzierbar und monoton wachsend (also: Für beliebige $x_1,x_2\in I$ mit $x_1<x_2$ gilt $f\left(x_1\right)\le f\left(x_2\right)$).

Behauptung:
Für alle $x\in I$ gilt $f\text{'}(x)\ge 0$.

Beweis:

1. $x_1,x_2\in I$ mit $x_1<x_2$ seien beliebige Zahlen aus I. Dann gilt nach Voraussetzung $f\left(x_1\right)\le f\left(x_2\right)$.
2. Wegen $x_2-x_1>0undf\left(x_2\right)-f\left(x_1\right)\ge 0$ ist der Quotient $\frac{f\left(x_2\right)-f\left(x_1\right)}{x_2-x_1}\ge 0$ und folglich auch sein Grenzwert für $x_2\to x_1$. Da aber $x_1,x_2$ beliebige Zahlen aus I waren, gilt für alle $x\in I$ die Beziehung $f\text{'}(x)\ge 0$. w. z. b. w.
   Für monoton fallende Funktionen kann man den Beweis der entsprechenden Beziehung analog führen.

Anmerkungen:

1. Der obige Satz gibt eine Bedingung für die Monotonie einer Funktion an, die notwendig und hinreichend ist.
2. Wenn man im ersten Teil des Beweises f '(x) > 0 voraussetzt, so folgt stets $f\left(x_2\right)>f\left(x_1\right)$.
   Der Beweis gilt also auch für strenge Monotonie. Der zweite Beweisteil ist hingegen für strenge Monotonie nicht allgemeingültig:
   Wenn eine Funktion f streng monoton wachsend ist, dann müsste stets f '(x) > 0 gelten. Ein Gegenbeispiel dazu stellt die Funktion $f\left(x\right)=x^3$ dar, die zwar streng monoton wachsend ist, für die aber f '(0) = 0 gilt. Obiger Satz ist für strenge Monotonie folglich nur hinreichend.

Erneute Betrachtung der Beispiele

Unter Verwendung des oben bewiesenen Satzes lassen sich die eingangs genannten Funktionen leicht auf Monotonie untersuchen.

1) Für $f(x)=e^x;x\in R$ gilt $f\text{'}(x)=e^x$. Da stets $e^x$ > 0 gilt, ist die Funktion f in ihrem gesamten Definitionsbereich streng monoton wachsend.

2) Die Funktion $f(x)=\frac{1}{x},x\in \left]0;\infty \right[$ hat die Ableitung $f\text{'}(x)=-\frac{1}{x^2}$. Der Funktionsterm ist für alle x > 0 negativ und f demzufolge streng monoton fallend.

3) Die Ableitung von $f\left(x\right)=x^2-2x-1$, $x\in R$ ist $f\text{'}(x)=2x-2$.
Der Funktionsterm ist positiv für x > 1 und negativ für x < 1. In diesen Teilbereichen ist damit die Funktion f streng monoton wachsend bzw. streng monoton fallend.

Der angegebene Satz lässt sich beispielsweise auch für den Nachweis bestimmter Ungleichheitsbeziehungen verwenden. Um etwa nachzuweisen, dass für $0<x<\frac{\pi }{2}$ stets $x<\tan x$ gilt, betrachten wir die Funktion $f(x)=x-\tan x$. Wegen

$f\text{'}(x)=1-(1+{\tan }^{2}x)=-\tan {}^{2}x<0$

ist f im Intervall $0<x<\frac{\pi }{2}$ streng monoton fallend. Da f(0) = 0 ist, gilt für $0<x<\frac{\pi }{2}$ die Beziehung $f(x)=x-\tan x$ < 0 und damit $x<\tan x$.