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

Kriterien für Extrema

In der zwanzigsten Vorlesung haben wir gesehen, dass es eine notwendige Bedingung für die Existenz eines Extremums einer differenzierbaren Funktion ist, dass die Ableitung an der in Frage stehenden Stelle gleich ${}0$ ist. Wir formulieren nun ein wichtiges hinreichendes Kriterium, das auf die höheren Ableitungen Bezug nimmt.

Satz Referenznummer erstellen

Es sei ${}I$ ein reelles Intervall,

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

eine ${}(n+1)$-mal stetig differenzierbare Funktion, und ${}a\in I$ ein innerer Punkt des Intervalls. Es gelte

$f'(a)=f^{\prime \prime }(a)=\ldots =f^{(n)}(a)=0{\text{ und }}f^{(n+1)}(a)\neq 0.$

Dann gelten folgende Aussagen.

1. Wenn ${}n$ gerade ist, so besitzt ${}f$ in ${}a$ kein lokales Extremum.
2. Es sei ${}n$ ungerade. Bei ${}f^{(n+1)}(a)>0$ besitzt ${}f$ in ${}a$ ein isoliertes lokales Minimum.
3. Es sei ${}n$ ungerade. Bei ${}f^{(n+1)}(a)<0$ besitzt ${}f$ in ${}a$ ein isoliertes lokales Maximum.

Beweis

Unter den Voraussetzungen wird die Taylor-Formel zu

${}f(x)-f(a)={\frac {f^{(n+1)}(c)}{(n+1)!}}(x-a)^{n+1}\,$

mit ${}c$ (abhängig von ${}x$) zwischen ${}a$ und ${}x$. Je nachdem, ob ${}f^{(n+1)}(a)>0$ oder ${}f^{(n+1)}(a)<0$ ist, gilt auch (wegen der vorausgesetzten Stetigkeit der ${}(n+1)$-ten Ableitung) ${}f^{(n+1)}(x)>0$ bzw. ${}f^{(n+1)}(x)<0$ für ${}x\in [a-\epsilon ,a+\epsilon ]$ für ein geeignetes ${}\epsilon >0$. Für diese ${}x$ ist auch ${}c\in [a-\epsilon ,a+\epsilon ]$, sodass das Vorzeichen von ${}f^{(n+1)}(c)$ vom Vorzeichen von ${}f^{(n+1)}(a)$ abhängt.
Bei ${}n$ gerade ist ${}n+1$ ungerade und daher wechselt ${}(x-a)^{n+1}$ das Vorzeichen bei ${}x=a$ (bei ${}x<a$ ist das Vorzeichen negativ und bei ${}x>a$ ist es positiv). Da das Vorzeichen von ${}f^{(n+1)}(c)$ sich nicht ändert, ändert sich das Vorzeichen von ${}f(x)-f(a)$. Das bedeutet, dass kein Extremum vorliegen kann.
Es sei nun ${}n$ ungerade. Dann ist ${}n+1$ gerade, sodass ${}(x-a)^{n+1}>0$ für alle ${}x\neq a$ in der Umgebung ist. Das bedeutet in der Umgebung bei ${}f^{(n+1)}(a)>0$, dass ${}f(x)>f(a)$ ist und in ${}a$ ein isoliertes Minimum vorliegt, und bei ${}f^{(n+1)}(a)<0$, dass ${}f(x)<f(a)$ ist und in ${}a$ ein isoliertes Maximum vorliegt.

$\Box$

Ein Spezialfall davon ist, dass bei ${}f'(a)=0$ und ${}f^{\prime \prime }(a)>0$ ein isoliertes Minimum und bei ${}f'(a)=0$ und ${}f^{\prime \prime }(a)<0$ ein isoliertes Maximum vorliegt.

Die Taylor-Reihe

Die reelle Sinusfunktion zusammen mit verschiedenen approximierenden Taylorpolynomen (von ungeradem Grad).

Definition Referenznummer erstellen

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

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

eine unendlich oft differenzierbare Funktion und ${}a\in I$. Dann heißt

$\sum _{k=0}^{\infty }{\frac {f^{(k)}(a)}{k!}}(x-a)^{k}$

die Taylor-Reihe zu ${}f$ im Entwicklungspunkt ${}a$.

Satz Referenznummer erstellen

Es sei ${}\sum _{n=0}^{\infty }c_{n}x^{n}$ eine Potenzreihe, die auf dem Intervall ${}]-r,r[$ konvergiere, und es sei

$f\colon ]-r,r[\longrightarrow \mathbb {R}$

die dadurch definierte Funktion.

Dann ist ${}f$ unendlich oft differenzierbar und die Taylor-Reihe im Entwicklungspunkt ${}0$ stimmt mit der vorgegebenen Potenzreihe überein.

Beweis

Die unendliche Differenzierbarkeit folgt direkt aus Satz 21.1 durch Induktion. Daher existiert die Taylor-Reihe insbesondere im Punkt ${}0$. Es ist also lediglich noch zu zeigen, dass die ${}n$-te Ableitung von ${}f$ in ${}0$ den Wert ${}c_{n}n!$ besitzt. Dies folgt aber ebenfalls aus Satz 21.1.

$\Box$

Beispiel Referenznummer erstellen

Wir betrachten die Funktion

$f\colon \mathbb {R} \longrightarrow \mathbb {R} ,\,x\longmapsto f(x),$

mit

${}f(x):={\begin{cases}0,\,{\text{ falls }}x\leq 0\,,\\e^{-{\frac {1}{x}}},\,{\text{ falls }}x>0\,.\end{cases}}\,$

Wir behaupten, dass diese Funktion unendlich oft differenzierbar ist, was nur im Nullpunkt nicht offensichtlich ist. Man zeigt zunächst durch Induktion, dass sämtliche Ableitungen von ${}e^{-{\frac {1}{x}}}$ (und der rechtsseitige Differenzenquotient im Nullpunkt) die Form ${}p{\left({\frac {1}{x}}\right)}e^{-{\frac {1}{x}}}$ mit gewissen Polynomen ${}p\in \mathbb {R} [Z]$ besitzen und dass davon der Limes für ${}x\rightarrow 0,\,x>0$ stets ${}0$ ist (siehe Aufgabe 22.4 und Aufgabe 22.5.). Daher ist der (rechtsseitige) Limes für alle Ableitungen gleich ${}0$ und existiert. Alle Ableitungen am Nullpunkt haben also den Wert ${}0$ und daher ist die Taylor-Reihe im Nullpunkt die Nullreihe. Die Funktion ${}f$ ist aber in keiner Umgebung des Nullpunktes die Nullfunktion, da ${}e^{-{\frac {1}{x}}}>0$ ist.

Potenzreihenansatz

Die Taylor-Reihe einer hinreichend oft differenzierbaren Funktion liefert häufig eine gute Approximation für die Funktion. Definitionsgemäß muss man zur Berechnung der Taylor-Reihe die Funktion ableiten. Für „implizit“ gegebene Funktionen kann man sie aber auch direkt bestimmen, was wir hier anhand typischer Beispiele demonstrieren (Potenzreihenansatz). Als Faustregel gilt dabei, dass man lediglich die ${}n$-ten Ableitungen der die Funktion definierenden Daten kennen muss, um das ${}n$-te Taylor-Polynom der Funktion zu bestimmen. Wir verzichten weitgehend auf Konvergenzüberlegungen. Wenn aber die Daten durch Potenzreihen gegeben sind, so konvergieren die im Folgenden beschriebenen Taylor-Reihen auf einem gewissen Intervall und stellen eine Funktion dar.

Bemerkung   Bemerkung 22.5 ändern

Es seien

$f\colon I\longrightarrow J$

und

$g\colon J\longrightarrow \mathbb {R}$

Funktionen, für die die Taylor-Polynome in den Entwicklungspunkten ${}a\in I$ und ${}b:=f(a)\in J$ bis zum Grad ${}n$ bekannt seien (insbesondere seien also diese Funktionen bis zur Ordnung ${}n$ differenzierbar). Dann ist die hintereinandergeschaltete Funktion

$g\circ f\colon I\longrightarrow \mathbb {R}$

bis zur Ordnung ${}n$ differenzierbar. Das zugehörige Taylor-Polynom lässt sich direkt berechnen: Es sei dazu ${}S=\sum _{i=0}^{n}c_{i}(x-a)^{i}$ das Taylor-Polynom zu ${}f$ und ${}T=\sum _{j=0}^{n}d_{j}(y-b)^{j}$ das Taylor-Polynom zu ${}g$. Dann stimmt das Taylor-Polynom von ${}g\circ f$ bis zum Grad ${}n$ mit dem Polynom ${}T\circ S$ bis zum Grad ${}n$ überein (das Polynom ${}T\circ S$ hat im Allgemeinen einen Grad ${}>n$. Man denke an ${}f(x)=x^{2}$ und ${}g(y)=y^{2}$ und $n=2$). D.h. man muss in ${}T$ überall ${}y$ durch ${}S$ ersetzen, durch Umsortieren ein Polynom in ${}x-a$ erhalten und davon die Monome vom Grad ${}\geq n+1$ weglassen (diese Monome muss man also nicht ausrechnen).

Bemerkung   Bemerkung 22.6 ändern

Es sei

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

eine ${}n$-fach differenzierbare Funktion, für die das Taylor-Polynom im Entwicklungspunkt ${}a\in I$ bis zum Grad ${}n$ bekannt sei und für die ${}f(a)\neq 0$ sei. Dann ist die Funktion ${}1/f$ auf einem offenen Intervall um ${}a$ definiert und nach Lemma 19.7  (4) differenzierbar in ${}a$. Aufgrund von Satz 14.13 gilt (für ${}\vert {x}\vert <1$)

${}{\frac {1}{1-x}}=\sum _{i=0}^{\infty }x^{i}\,$

bzw.

${}{\frac {1}{x}}=\sum _{i=0}^{\infty }(1-x)^{i}=\sum _{i=0}^{\infty }(-1)^{i}(x-1)^{i}\,$

d.h. für die Funktion ${}{\frac {1}{x}}$ ist die Taylor-Reihe im Entwicklungspunkt ${}1$ bekannt. Wir ersetzen ${}f$ durch ${}h={\frac {1}{f(a)}}f$, sodass ${}h(a)=1$ gilt. Dann kann man die Funktion ${}1/h$ als die Verknüpfung von ${}h$ mit der Funktion ${}{\frac {1}{x}}$ schreiben. Daher erhält man wegen Bemerkung 22.5 das Taylor-Polynom bis zum Grad ${}n$ von ${}1/h$, indem man in ${}\sum _{i=0}^{n}(-1)^{i}(x-1)^{i}$ das Taylor-Polynom (bis zum Grad ${}n$) von ${}h$ im Entwicklungspunkt ${}a$ einsetzt und beim Grad ${}n$ abschneidet. Das Taylor-Polynom von ${}1/f$ erhält man, indem man durch ${}f(a)$ teilt.

Beispiel Referenznummer erstellen

Wir möchten die Taylor-Reihe bis zum Grad ${}6$ von ${}{\frac {1}{\cos x}}$ im Entwicklungspunkt ${}0$ gemäß Bemerkung 22.6 bestimmen. Nach Definition 18.10 ist

${}\cos x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}x^{2n}}{(2n)!}}=1-{\frac {1}{2!}}x^{2}+{\frac {1}{4!}}x^{4}-{\frac {1}{6!}}x^{6}\ldots =1-{\frac {1}{2}}x^{2}+{\frac {1}{24}}x^{4}-{\frac {1}{720}}x^{6}\ldots \,.$

Zur Berechnung des Taylor-Polynoms bis zum Grad ${}6$ braucht man nur die angeführte Entwicklung des Kosinus bis zum Grad ${}6$. Das Taylorpolynom bis zum Grad ${}6$ von ${}1/\cos x$ im Nullpunkt ist somit

${}{\begin{aligned}1-{\left(-{\frac {1}{2}}x^{2}+{\frac {1}{24}}x^{4}-{\frac {1}{720}}x^{6}\right)}+{\left(-{\frac {1}{2}}x^{2}+{\frac {1}{24}}x^{4}-{\frac {1}{720}}x^{6}\right)}^{2}-{\left(-{\frac {1}{2}}x^{2}+{\frac {1}{24}}x^{4}-{\frac {1}{720}}x^{6}\right)}^{3}&=1+{\frac {1}{2}}x^{2}-{\frac {1}{24}}x^{4}+{\frac {1}{720}}x^{6}+{\frac {1}{4}}x^{4}-{\frac {1}{24}}x^{6}+\cdots +{\frac {1}{8}}x^{6}+\ldots \\&=1+{\frac {1}{2}}x^{2}+{\frac {5}{24}}x^{4}+{\frac {61}{720}}x^{6}+\ldots .\,\end{aligned}}$

Dabei wurden nur die für den Grad ${}6$ relevanten Monome ausgerechnet. Das gesuchte Taylorpolynom ist also

$1+{\frac {1}{2}}x^{2}+{\frac {5}{24}}x^{4}+{\frac {61}{720}}x^{6}.$

Bemerkung   Bemerkung 22.8 ändern

Es sei

$f\colon I\longrightarrow J$

(${}I,J$ seien reelle Intervalle) eine bijektive, ${}n$-mal differenzierbare Funktion, und in einem festen Punkt ${}a\in I$ gelte ${}f'(a)\neq 0$. Nach Satz 19.9 ist die Umkehrfunktion

$g=f^{-1}\colon J\longrightarrow I$

ebenfalls differenzierbar. Die Taylorreihe bis zum Grad ${}n$ der Umkehrfunktion ${}g$ kann man aus der Taylorreihe ${}S$ bis zum Grad ${}n$ von ${}f$ berechnen. Man macht dazu ausgehend von ${}f\circ g=\operatorname {Id}$ den Ansatz

${}S\circ T{\stackrel {!}{=}}x\,.$

Dabei steht rechts die Taylor-Reihe der Identität, und links muss man das zu bestimmende Polynom ${}T$ mit unbestimmten Koeffizienten ansetzen und in das Polynom ${}S$ einsetzen (die Gleichung kann nicht als eine polynomiale Identität gelten, sondern nur, wenn man Terme vom Grad ${}\geq n+1$ ignoriert). Der Einfachheit halber sei ${}a=0$ und ${}f(a)=0$. Es sei ${}S=a_{1}x+a_{2}x^{2}+\cdots +a_{n}x^{n}$ (mit ${}a_{1}\neq 0$) vorgegeben und ${}T=b_{1}x+b_{2}x^{2}+\cdots +b_{n}x^{n}$ gesucht. Dies führt zur Gesamtbedingung

${}{\begin{aligned}x&=S\circ T\\&=a_{1}T+a_{2}T^{2}+\cdots +a_{n}T^{n}\\&=a_{1}(b_{1}x+\cdots +b_{n}x^{n})+a_{2}{\left(b_{1}x+\cdots +b_{n}x^{n}\right)}^{2}+\cdots +a_{n}{\left(b_{1}x+\cdots +b_{n}x^{n}\right)}^{n}.\end{aligned}}$

Damit erhält man die Einzelbedingungen (durch Koeffizientenvergleich zu jedem Grad ${}\leq n$)

${}1=a_{1}b_{1}\,,$

${}0=a_{1}b_{2}+a_{2}b_{1}^{2}\,,$

${}0=a_{1}b_{3}+2a_{2}b_{1}b_{2}+a_{3}b_{1}^{3}\,,$

aus denen man sukzessive die Koeffizienten ${}b_{1},b_{2},b_{3},\ldots$ berechnen kann.

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