Kurs:Mathematik für Anwender (Osnabrück 2019-2020)/Teil I/Vorlesung 17
- Die Taylor-Formel
Bisher haben wir nur Potenzreihen der Form betrachtet; die Variable darf jetzt auch durch die „verschobene Variable“ ersetzt werden, um das lokale Verhalten im Entwicklungspunkt beschreiben zu können. Konvergenz bedeutet in diesem Fall, dass es ein derart gibt, dass für
die Reihe konvergiert. In dieser Situation ist die durch die Potenzreihe dargestellte Funktion wieder differenzierbar und die Ableitung wird durch die summmandenweise genommene Ableitung wie in Satz 16.1 beschrieben. Zu einer konvergenten Potenzreihe
bilden die Teilpolynome polynomiale Approximationen für die Funktion im Punkt . Ferner ist in beliebig oft differenzierbar und die Ableitungen im Punkt lassen sich direkt aus der Potenzreihe ablesen, und zwar ist
Wir fragen uns nun umgekehrt, inwiefern man aus den höheren Ableitungen einer hinreichend oft differenzierbaren Funktion approximierende Polynome (oder eine Potenzreihe) erhalten kann. Dies ist der Inhalt der Taylor-Entwicklung.
Es sei ein Intervall,
eine -mal differenzierbare Funktion und . Dann heißt
das Taylor-Polynom vom Grad[1] zu im Entwicklungspunkt .
Es ist also
die konstante Approximation,
die lineare Approximation, wie sie im Konzept der linearen Approximierbarkeit vorkommt,
die quadratische Approximation,
die Approximation vom Grad , u.s.w. Das Taylor-Polynom zum Grad ist dasjenige (eindeutig bestimmte) Polynom vom Grad , das mit an der Stelle bis zur -ten Ableitung übereinstimmt.
eine -mal differenzierbare Funktion und ein innerer Punkt des Intervalls.
Dann gibt es zu jedem Punkt ein mit
Dabei kann zwischen und gewählt werden.
Es sei fixiert. In Anlehnung an die zu beweisende Aussage betrachten wir zu den Ausdruck
den wir als Funktion in auffassen. Es ist und wir wählen derart, dass ist, was möglich ist. Die Funktion
ist auf dem Teilintervall (bzw. , falls ist.) differenzierbar (nach ) und besitzt an den beiden Intervallgrenzen den Wert . Nach dem Satz von Rolle gibt es ein mit .
Aufgrund der Produktregel und der Kettenregel ist (Ableitung nach )
Daher heben sich in der Ableitung von die meisten Terme weg und es ergibt sich
Aus der Gleichung
folgt . Wenn wir dies und in die Anfangsgleichung einsetzen und ausnutzen, so ergibt sich die Behauptung.
Es sei ein beschränktes abgeschlossenes Intervall,
eine -mal stetig differenzierbare Funktion, ein innerer Punkt und .
Dann gilt zwischen und dem -ten Taylor-Polynom die Fehlerabschätzung
Die Zahl existiert aufgrund von Satz 11.13, da nach Voraussetzung die -te Ableitung stetig auf dem kompakten Intervall ist. Die Aussage folgt somit direkt aus Satz 17.2.
- Kriterien für Extrema
In der fünfzehnten Vorlesung haben wir gesehen, dass es eine notwendige Bedingung für die Existenz eines lokalen Extremums einer differenzierbaren Funktion ist, dass die Ableitung an der in Frage stehenden Stelle gleich ist. Wir formulieren nun ein wichtiges hinreichendes Kriterium, das auf die höheren Ableitungen Bezug nimmt.
Es sei ein reelles Intervall,
eine -mal stetig differenzierbare Funktion, und ein innerer Punkt des Intervalls. Es gelte
- Wenn gerade ist, so besitzt in kein lokales Extremum.
- Es sei ungerade. Bei besitzt in ein isoliertes lokales Minimum.
- Es sei ungerade. Bei besitzt in ein isoliertes lokales Maximum.
Unter den Voraussetzungen wird die Taylor-Formel zu
mit
(abhängig von )
zwischen
und .
Je nachdem, ob
oder
ist, gilt auch
(wegen der vorausgesetzten Stetigkeit der -ten Ableitung)
bzw.
für
für ein geeignetes
.
Für diese ist auch
,
sodass das Vorzeichen von vom Vorzeichen von abhängt.
Bei gerade ist ungerade und daher wechselt das Vorzeichen bei
(bei
ist das Vorzeichen negativ und bei
ist es positiv).
Da das Vorzeichen von sich nicht ändert, ändert sich das Vorzeichen von . Das bedeutet, dass kein Extremum vorliegen kann.
Es sei nun ungerade. Dann ist gerade, sodass
für alle
in der Umgebung ist. Das bedeutet in der Umgebung bei
,
dass
ist und in ein
isoliertes Minimum
vorliegt, und bei
,
dass
ist und in ein
isoliertes Maximum
vorliegt.
Ein Spezialfall davon ist, dass bei
und
ein isoliertes Minimum und bei
und
ein isoliertes Maximum vorliegt.
- Die Taylor-Reihe
Es sei ein Intervall,
eine unendlich oft differenzierbare Funktion und . Dann heißt
die Taylor-Reihe zu im Entwicklungspunkt .
Es sei eine Potenzreihe, die auf dem Intervall konvergiere, und es sei
die dadurch definierte Funktion.
Dann ist unendlich oft differenzierbar und die Taylor-Reihe im Entwicklungspunkt stimmt mit der vorgegebenen Potenzreihe überein.
Wir betrachten die Funktion
mit
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 (und der rechtsseitige Differenzenquotient im Nullpunkt) die Form mit gewissen Polynomen besitzen und dass davon der Limes für stets ist (siehe Aufgabe 17.17 und Aufgabe 17.18.). Daher ist der (rechtsseitige) Limes für alle Ableitungen gleich und existiert. Alle Ableitungen am Nullpunkt haben also den Wert und daher ist die Taylor-Reihe im Nullpunkt die Nullreihe. Die Funktion ist aber in keiner Umgebung des Nullpunktes die Nullfunktion, da 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 -ten Ableitungen der die Funktion definierenden Daten kennen muss, um das -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.
Es seien
und
Funktionen, für die die Taylor-Polynome in den Entwicklungspunkten und bis zum Grad bekannt seien (insbesondere seien also diese Funktionen bis zur Ordnung differenzierbar). Dann ist die hintereinandergeschaltete Funktion
bis zur Ordnung differenzierbar. Das zugehörige Taylor-Polynom lässt sich direkt berechnen: Es sei dazu das Taylor-Polynom zu und das Taylor-Polynom zu . Dann stimmt das Taylor-Polynom von bis zum Grad mit dem Polynom bis zum Grad überein (das Polynom hat im Allgemeinen einen Grad . Man denke an und und ). D.h. man muss in überall durch ersetzen, durch Umsortieren ein Polynom in erhalten und davon die Monome vom Grad weglassen (diese Monome muss man also nicht ausrechnen).
Es sei
eine -fach differenzierbare Funktion, für die das Taylor-Polynom im Entwicklungspunkt bis zum Grad bekannt sei und für die sei. Dann ist die Funktion auf einem offenen Intervall um definiert und nach Lemma 14.7 (4) differenzierbar in . Aufgrund von Satz 9.13 gilt (für )
bzw.
d.h. für die Funktion ist die Taylor-Reihe im Entwicklungspunkt bekannt. Wir ersetzen durch , sodass gilt. Dann kann man die Funktion als die Verknüpfung von mit der Funktion schreiben. Daher erhält man wegen Bemerkung 17.8 das Taylor-Polynom bis zum Grad von , indem man in das Taylor-Polynom (bis zum Grad ) von im Entwicklungspunkt einsetzt und beim Grad abschneidet. Das Taylor-Polynom von erhält man, indem man durch teilt.
Wir möchten die Taylor-Reihe bis zum Grad von im Entwicklungspunkt gemäß Bemerkung 17.9 bestimmen. Nach Definition 13.12 ist
Zur Berechnung des Taylor-Polynoms bis zum Grad braucht man nur die angeführte Entwicklung des Kosinus bis zum Grad . Das Taylorpolynom bis zum Grad von im Nullpunkt ist somit
Dabei wurden nur die für den Grad relevanten Monome ausgerechnet. Das gesuchte Taylorpolynom ist also
Es sei
( seien reelle Intervalle) eine bijektive, -mal differenzierbare Funktion, und in einem festen Punkt gelte . Nach Satz 14.9 ist die Umkehrfunktion
ebenfalls differenzierbar. Die Taylorreihe bis zum Grad der Umkehrfunktion kann man aus der Taylorreihe bis zum Grad von berechnen. Man macht dazu ausgehend von den Ansatz
Dabei steht rechts die Taylor-Reihe der Identität, und links muss man das zu bestimmende Polynom mit unbestimmten Koeffizienten ansetzen und in das Polynom einsetzen (die Gleichung kann nicht als eine polynomiale Identität gelten, sondern nur, wenn man Terme vom Grad ignoriert). Der Einfachheit halber sei und . Es sei (mit ) vorgegeben und gesucht. Dies führt zur Gesamtbedingung
Damit erhält man die Einzelbedingungen (durch Koeffizientenvergleich zu jedem Grad )
aus denen man sukzessive die Koeffizienten berechnen kann.
- Fußnoten
- ↑ Oder genauer das Taylor-Polynom vom Grad . Wenn die -te Ableitung in null ist, so besitzt das -te Taylor-Polynom einen Grad kleiner als .
<< | Kurs:Mathematik für Anwender (Osnabrück 2019-2020)/Teil I | >> |
---|