Kurs:Analysis (Osnabrück 2021-2023)/Teil I/Vorlesung 20

Konvexe Funktionen

Subgraph und Epigraph sind nach unten bzw. nach oben unbeschränkt. Im Kontext der Integrationstheorie interessiert man sich für den positiven Subgraphen, der durch die ${}x$ -Achse nach unten beschränkt ist. Der Graph der Funktion gehört sowohl zum Subgraphen als auch zum Epigraphen.

Definition

Es sei ${}I\subseteq \mathbb {R}$ ein Intervall und

f\colon I\longrightarrow \mathbb {R}

eine Funktion. Man sagt, dass ${}f$ konvex ist, wenn der Epigraph ${}E(f)$ konvex ist.

Definition

Es sei ${}I\subseteq \mathbb {R}$ ein Intervall und

f\colon I\longrightarrow \mathbb {R}

eine Funktion. Man sagt, dass ${}f$ konkav ist, wenn der Subgraph ${}S(f)$ konvex ist.

Bei beiden Begriffen muss man lediglich überprüfen, ob die Verbindungsstrecke zwischen je zwei Punkten des Graphen jeweils oberhalb bzw. unterhalb des Graphen verläuft, siehe Aufgabe 20.1. Die Verbindungsstrecke zwischen ${}(a,f(a))$ und ${}(b,f(b))$ ist durch ${}f(a)+s{\frac {f(b)-f(a)}{b-a}}$ , ${}s\in [0,b-a]$ , bzw. als Ausschnitt (zu ${}x\in [a,b]$ ) des Graphen zur linearen Funktion

{}g(x)=f(b){\frac {x-a}{b-a}}+f(a){\frac {x-b}{a-b}}={\frac {f(b)-f(a)}{b-a}}x+{\frac {-af(b)+bf(a)}{b-a}}\,

gegeben. Im differenzierbaren Fall gibt es einfache Ableitungskriterien für diese Verhaltensweisen, wobei wir nur den konvexen Fall anführen.

Satz

Es sei ${}I\subseteq \mathbb {R}$ ein Intervall und

f\colon I\longrightarrow \mathbb {R}

eine differenzierbare Funktion.

Dann ist ${}f$ genau dann eine konvexe (konkave) Funktion, wenn die Ableitung ${}f'$ wachsend (fallend) ist.

Beweis

Es sei zunächst ${}f$ konvex und seien zwei Punkte ${}a<b$ aus ${}I$ gegeben. Es sei ${}g\colon [a,b]\rightarrow \mathbb {R}$ die lineare Funktion, die ${}(a,f(a))$ und ${}(b,f(b))$ verbindet. Aufgrund der Konvexität ist ${}f(x)\leq g(x)$ für alle ${}x\in [a,b]$ . Für die Differenzenquotienten gilt daher

{}{\begin{aligned}{\frac {f(x)-f(a)}{x-a}}&\leq {\frac {g(x)-f(a)}{x-a}}\\&={\frac {g(x)-g(a)}{x-a}}\\&={\frac {g(b)-g(a)}{b-a}}\\&={\frac {g(b)-g(x)}{b-x}}\\&={\frac {f(b)-g(x)}{b-x}}\\&\leq {\frac {f(b)-f(x)}{b-x}}.\end{aligned}}

Durch Übergang zu den Limiten für ${}x\rightarrow a$ bzw. ${}x\rightarrow b$ folgt

{}f'(a)\leq {\frac {g(b)-g(a)}{b-a}}\leq f'(b)\,.

Es sei nun ${}f$ als nicht konvex vorausgesetzt und seien zwei Punkte ${}a<b$ aus ${}I$ mit der Eigenschaft gegeben, dass die verbindende Gerade von ${}(a,f(a))$ und ${}(b,f(b))$ nicht vollständig oberhalb des Graphen von ${}f$ verläuft. Es gibt also ein ${}c\in [a,b]$ mit ${}g(c)<f(c)$ , wobei wieder ${}g$ die verbindende lineare Funktion ist. Durch Übergang zu ${}f-g$ können wir ${}f(a)=f(b)=0$ und ${}f(c)>0$ annehmen. Nach dem Mittelwertsatz gibt es Punkte ${}s\in [a,c]$ und ${}t\in [c,b]$ mit ${}f'(s)>0$ und ${}f'(t)<0$ , sodass ${}f'$ nicht wachsend ist.

\Box

Korollar

Es sei ${}I\subseteq \mathbb {R}$ ein Intervall und

f\colon I\longrightarrow \mathbb {R}

eine zweimal differenzierbare Funktion.

Dann ist ${}f$ genau dann eine konvexe Funktion, wenn für die zweite Ableitung ${}f^{\prime \prime }(x)\geq 0$ für alle ${}x\in I$ gilt.

Beweis

Siehe Aufgabe 20.8.

\Box

Die folgende Aussage heißt Jensensche Ungleichung.

Satz

Es sei

f\colon I\longrightarrow \mathbb {R}

eine konvexe Funktion, seien ${}x_{1},\ldots ,x_{n}\in I$ und ${}t_{1},\ldots ,t_{n}\in \mathbb {R} _{\geq 0}$ mit ${}\sum _{i=1}^{n}t_{i}=1$ .

Dann ist

${}f{\left(\sum _{i=1}^{n}t_{i}x_{i}\right)}\leq \sum _{i=1}^{n}t_{i}f(x_{i})\,.$

Beweis

Siehe Aufgabe 20.58.

\Box

Definition

Es sei

f\colon I\longrightarrow \mathbb {R}

eine auf einem Intervall ${}I\subseteq \mathbb {R}$ definierte Funktion und ${}c\in I$ ein innerer Punkt von ${}I$ . Man sagt, dass in ${}c$ ein Wendepunkt von ${}f$ vorliegt, wenn es ein ${}\epsilon >0$ derart gibt, dass ${}f$ auf ${}[c-\epsilon ,c]$ konvex (konkav) und auf ${}[c,c+\epsilon ]$ konkav (konvex) ist.

Für eine zweimal differenzierbare Funktion liegt nach Korollar 20.6 genau dann ein Wendepunkt in ${}c\in I$ vor, wenn es ein ${}\epsilon >0$ gibt mit ${}f^{\prime \prime }(x)\leq 0$ für ${}x\in [c-\epsilon ,c]$ und ${}f^{\prime \prime }(x)\geq 0$ für ${}x\in [c,c+\epsilon ]$ ist (oder umgekehrt). Eine notwendige Voraussetzung für die Existenz eines Wendepunktes ist somit, dass ${}f^{\prime \prime }(c)=0$ ist. Die Funktion ${}f(x)=x^{4}$ erfüllt im Nullpunkt dieses notwendige Kriterium, es liegt aber kein Wendepunkt vor. Da eine lineare Funktion sowohl konvex als auch konkav ist, liegt in ihr überall ein Wendepunkt vor. Mit den Begriffen streng konvex, streng konkav und strenger Wendepunkt kann man lineare Funktionen ausschließen, siehe Aufgabe 20.12.

Ableitung von Potenzreihen

Satz

Es sei

{}g=\sum _{n=0}^{\infty }a_{n}(z-a)^{n}\,

eine

konvergente Potenzreihe mit dem Konvergenzradius ${}R>0$ .

Dann ist auch die formal abgeleitete Potenzreihe

${}{\tilde {g}}=\sum _{n=1}^{\infty }na_{n}(z-a)^{n-1}\,$

konvergent mit demselben Konvergenzradius. Die durch die Potenzreihe ${}g$ dargestellte Funktion ${}f$ ist in jedem Punkt ${}z\in U{\left(a,R\right)}$ differenzierbar mit

{}f'(z)={\tilde {g}}(z)\,.

Beweis

Es sei ${}s\in \mathbb {R} _{+}$ , ${}s<R$ , vorgegeben und sei ${}r$ mit ${}s<r<R$ . Dann konvergiert ${}\sum _{n=0}^{\infty }\vert {a_{n}}\vert r^{n}$ gemäß der Definition von Konvergenzradius. Wegen ${}n\leq {\left({\frac {r}{s}}\right)}^{n}$ für ${}n$ hinreichend groß ist

{}{\begin{aligned}\sum _{n=1}^{\infty }n\vert {a_{n}}\vert s^{n-1}&=\sum _{n=1}^{N}n\vert {a_{n}}\vert s^{n-1}+\sum _{n=N+1}^{\infty }n\vert {a_{n}}\vert s^{n-1}\\&\leq \sum _{n=1}^{N}n\vert {a_{n}}\vert s^{n-1}+{\frac {1}{s}}\sum _{n=N+1}^{\infty }\vert {a_{n}}\vert r^{n},\end{aligned}}

sodass die Potenzreihe ${}{\tilde {g}}$ in ${}B\left(a,s\right)$ und somit in ${}U{\left(a,R\right)}$ konvergiert (dafür, dass der Konvergenzradius von ${}{\tilde {g}}$ nicht größer als ${}R$ ist, siehe Aufgabe 20.24).
Die Potenzreihe

{}\rho (z)=\sum _{n=2}^{\infty }a_{n}(z-a)^{n-1}\,

ist ebenfalls in dieser Kreisscheibe konvergent, stellt eine nach Korollar 16.9 stetige Funktion dar und besitzt in ${}a$ den Wert ${}0$ . Daher zeigt die Gleichung (von Potenzreihen und dargestellten Funktionen)

{}f(z)=f(a)+a_{1}(z-a)+\rho (z)(z-a)\,,

dass ${}f$ in ${}a$ linear approximierbar, also nach Satz 18.5 differenzierbar ist mit der Ableitung

{}f'(a)=a_{1}={\tilde {g}}(a)\,.

Es sei nun ${}b\in U{\left(a,R\right)}$ . Nach dem Entwicklungssatz gibt es eine konvergente Potenzreihe mit Entwicklungspunkt ${}b$ ,

{}h(z)=\sum _{n=0}^{\infty }b_{n}(z-b)^{n}\,,

deren dargestellte Funktion mit der durch ${}g$ dargestellten Funktion in einer offenen Umgebung von ${}b$ übereinstimmt, und wobei ${}b_{1}=\sum _{n=1}^{\infty }na_{n}(b-a)^{n-1}$ gilt. Daher gilt nach dem schon Bewiesenen (angewendet auf ${}h$ und die formale Potenzreihenableitung ${}{\tilde {h}}$ )

{}f'(b)={\tilde {h}}(b)=b_{1}=\sum _{n=1}^{\infty }na_{n}(b-a)^{n-1}={\tilde {g}}(b)\,.

\Box

Korollar

Eine durch eine Potenzreihe gegebene Funktion

ist in ihrem Konvergenzbereich unendlich oft differenzierbar.

Beweis

Dies ergibt sich direkt aus Satz 20.9.

\Box

Satz

Die Exponentialfunktion

{\mathbb {C} }\longrightarrow {\mathbb {C} },\,z\longmapsto \exp z,

ist differenzierbar mit

${}\exp \!'(z)=\exp z\,.$

Beweis

Aufgrund von Satz 20.9 ist

{}{\begin{aligned}\exp \!'(z)&={\left(\sum _{n=0}^{\infty }{\frac {z^{n}}{n!}}\right)}'\\&=\sum _{n=1}^{\infty }{\left({\frac {z^{n}}{n!}}\right)}'\\&=\sum _{n=1}^{\infty }{\frac {n}{n!}}z^{n-1}\\&=\sum _{n=1}^{\infty }{\frac {1}{(n-1)!}}z^{n-1}\\&=\sum _{n=0}^{\infty }{\frac {z^{n}}{n!}}\\&=\exp z.\end{aligned}}

\Box

Korollar

Die Ableitung des natürlichen Logarithmus

\ln \colon \mathbb {R} _{+}\longrightarrow \mathbb {R} ,\,x\longmapsto \ln x,

ist

$\ln \!'\colon \mathbb {R} _{+}\longrightarrow \mathbb {R} ,\,x\longmapsto {\frac {1}{x}}.$

Beweis

Siehe Aufgabe 20.29.

\Box

Korollar

Es sei ${}\alpha \in \mathbb {R}$ .

Dann ist die Funktion

$f\colon \mathbb {R} _{+}\longrightarrow \mathbb {R} _{+},\,x\longmapsto x^{\alpha },$

differenzierbar und ihre Ableitung ist

{}f'(x)=\alpha x^{\alpha -1}\,.

Beweis

Nach Aufgabe 17.1 ist

{}x^{\alpha }=\exp \left(\alpha \,\ln x\right)\,.

Die Ableitung nach ${}x$ ist aufgrund von Satz 20.11, Korollar 20.12 und der Kettenregel gleich

{}(x^{\alpha })'=(\exp \left(\alpha \,\ln x\right))'={\frac {\alpha }{x}}\cdot \exp \left(\alpha \,\ln x\right)={\frac {\alpha }{x}}x^{\alpha }=\alpha x^{\alpha -1}\,.

\Box

Korollar

Für die eulersche Zahl gilt die Gleichheit

${}e=\lim _{n\rightarrow \infty }{\left(1+{\frac {1}{n}}\right)}^{n}=\sum _{k=0}^{\infty }{\frac {1}{k!}}=\exp 1\,.$

Beweis

Die äußeren Gleichheiten sind Definitionen. Aufgrund von Korollar 20.12 ist ${}\ln \!'(1)=1$ . Dies bedeutet aufgrund der Definition des Differentialquotienten insbesondere

{}\lim _{n\rightarrow \infty }{\frac {\ln(1+{\frac {1}{n}})}{\frac {1}{n}}}=1\,.

Wir schreiben die Folgenglieder der linken Seite als ${}n\cdot \ln {\left(1+{\frac {1}{n}}\right)}$ und wenden darauf die Exponentialfunktion an. Daraus ergibt sich unter Verwendung der Stetigkeit und der Funktionalgleichung der Exponentialfunktion die Gleichungskette