Tangente als Näherung

Transkript

1 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 1 Tangente als Näherung Weil sich anschaulich die Tangente anschmiegt, ist die Tangentenfunktion p 1 (x) eine Näherung für f(x): f(x) p 1 (x) für x a.

2 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 2 sin x x für kleine x Beispielsweise ist für f(x) := sin x die Tangente an der Stelle a := 0 die Winkelhalbierende und man hat folglich p 1 (x) = x sin x x für kleine x. Besonders raffiniert sind diese Näherungsformeln nicht. Für die Cosinusfunktion erhält man beispielsweise mit der selben Argumentation cosx 1 für kleine x.

3 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 3 Fehlerbetrachtung Eine Näherungsformel ist auch wenig wert, wenn man nichts über den Fehler weiß. Wir leiten deshalb eine Abschätzung her. Dazu betrachten wir eine Stelle b, wobei wir a < b voraussetzen. Die Argumentation für a > b verläuft völlig analog. Wenn a b gilt, ist f(b) p 1 (b). Bezeichnen wir den Fehler ( Rest ), der dabei gemacht wird mit R 1 (b), dann haben wir ausführlicher also f(b) = p 1 (b) + R 1 (b), f(b) = f(a) + f (a)(b a) + R 1 (b).

4 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 4 Restgliedabschätzung Um etwas über R 1 (b) herauszubekommen, erweist sich folgender Ansatz als erfolgreich: wir führen eine neue Zahl k ein, die durch R 1 (b) = k (b a) 2 bestimmt ist und definieren dann eine neue Funktion g(x) durch g(x) := f(x) + f (x)(b x) + k(b x) 2. Es ist nicht schwierig, diese Funktion abzuleiten, man muss allerdings voraussetzen, dass die zweite Ableitung von f(x) existiert.

5 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 5 g (x) g (x) = f (x) f (x) + f (x)(b x) 2k(b x) = [ f (x) 2k ] (b x). Durch Einsetzen findet man, dass g(a) = g(b) (= f(b)) gilt. Nach dem Mittelwertsatz der Differenzialrechnung existiert deshalb eine Zahl c mit a < c < b und g (c) = g(b) g(a) b a = 0.

6 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 6 Ergebnis der Abschätzung Das Ergebnis ist also folgendes: Es gibt eine Zahl c zwischen a und b, für die gilt. R 1 (b) = 1 2 f (c)(b a) 2 Nun wissen wir etwas über R 1 (b), aber es erscheint schwierig, diese Information auszunutzen, denn man hat ja keine Information über die genaue Lage der Stelle c.

7 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 7 Oft genügt es jedoch, einfach den schlechtesten aller in Frage kommenden Werte zu nehmen: Kennt man eine Schranke M, so dass f (x) M für alle x zwischen a und b gilt, dann ist sicher R 1 (b) 1 2 M(b a)2. Dies kann man in einen Lehrsatz gießen.

8 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 8 Satz über die Approximation Satz: Wenn f (x) in einer Umgebung U von a existiert, dann gilt für jedes x U f(x) = f(a) + f (a)(x a) + R 1 (x), wobei R 1 (x) = 1 2 f (c)(x a) 2 für eine Zahl c zwischen a und x ist.

9 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 8 Satz über die Approximation Satz: Wenn f (x) in einer Umgebung U von a existiert, dann gilt für jedes x U f(x) = f(a) + f (a)(x a) + R 1 (x), wobei R 1 (x) = 1 2 f (c)(x a) 2 für eine Zahl c zwischen a und x ist. Ist außerdem f (x) M für alle x U, dann gilt auch für alle x U. R 1 (x) 1 M(x a)2 2

10 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 9 Anwendungsbeispiel (1) Damit können wir nun im Einzelfall eine Abschätzung angeben, was wir am Beispiel der Näherung sin demonstrieren: In diesem Fall ist f(x) = sin x, a = 0, p 1 (x) = x. Wegen f (x) = sin x ist M := 1 eine Schranke, die die Bedingungen des Satzes erfüllt.

11 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 10 Anwendungsbeispiel (2) Man hat also R 1 (x) 1 2 x2, was für x := 0.2 den Wert R 1 (0.2) 0.02 ergibt. Wir erhalten also sin 0.2 = 0.2 ± 0.02, d.h. sin 0.2 [0.18, 0.22]. Der wirkliche Wert ist

12 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 11 Anwendungsbeispiel (3) Man kann sich über dieses Beispiel ärgern, denn offenbar gibt es noch Verbesserungsbedarf. Einerseits ist die Näherung sin viel besser als uns die Abschätzung verspricht. Der wirkliche Fehler ist ja mehr als zehnmal kleiner als abgeschätzt. Man wünscht sich also eine wirkungsvollere Fehlerabschätzung. Andererseits zeigt das Beispiel der Cosinusfunktion dafür Grenzen auf. Mit der gleichen Methode erhalten wir die Abschätzung cos 0.2 = 1 ± 0.02, was der Wahrheit ziemlich nahe kommt: der wahre Wert ist cos 0.2 =

13 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 12 Von der linearen Approximation... Bei der linearen Approximation wird eine Funktion f(x) an einer Stelle a durch eine lineare Funktion p 1 (x) := a 0 + a 1 x angenähert. Das führt auf f(x) f(a) + f (a)(x a) für x a. Dies ergibt sich aus den Bedingungen f(a) = p 1 (a),f (a) = p 1(a).

14 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 13 über die quadratische Approximation... Versucht man allgemeiner, f(x) an der Stelle a durch ein quadratisches Polynom p 2 (x) := a 0 + a 1 x + a 2 x 2 anzunähern, dann fordert man naheliegenderweise f(a) = p 2 (a),f (a) = p 2(a),f (a) = p 2(a), was natürlich nur sinnvoll ist, wenn f (x) existiert. Daraus erhält man p 2 (x) = f(a) + f (a)(x a) + f (a)(x a) 2.

15 Mathematik I für Informatiker Satz von Taylor Taylorreihen p zum Taylorschen Satz Gegeben sei eine Funktion f(x), die in einer Umgebung der Stelle a n + 1-mal differenzierbar ist. Wir suchen ein Polynom p n (x) vom Grade n mit f(a) = p n (a),f (a) = p n(a),f (a) = p n(a),...,f (n) (a) = p (n) n (a). In Analogie zum Satz über die lineare Approximation erhält man folgendes wichtige Ergebnis:

16 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 15 Satz von Taylor Satz: Wenn f (n+1) (x) in einer Umgebung U von a existiert, dann gilt für jedes x U f(x) = f(a) + f (a)(x a) f (a)(x a) ! f (a)(x a) 3 wobei n! f(n) (a)(x a) n + R n (x), R n (x) = für ein c zwischen a und x gilt. 1 (n + 1)! f(n+1) (c)(x a) n+1

17 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 16 Zusatz Ist außerdem f (n+1) (x) M n+1 für alle x U, dann gilt auch 1 R n (x) (n + 1)! M n+1 x a n+1 für alle x U.

18 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 17 Der Satz bedeutet... Als Näherung für die Funktion f(x) an der Stelle a erhält man für vorgegebenen Grad n das Polynom p n (x) = f(a)+f (a)(x a)+ 1 2 f (a)(x a) ! f (a)(x a) n! f(n) (a)(x Der Näherungsfehler wird durch die Funktion R n (x) angegeben; diese kann man mit Hilfe der (n + 1)-ten Ableitung von f(x) abschätzen.

19 für alle x U. Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 18 Satz von Taylor für a := 0 Wenn f (n+1) (x) in einer Umgebung U von 0 existiert, dann gilt für jedes x U dass f(x) = f(0)+f (0)x+ 1 2 f (0)x ! f (0)x n! f(n) (0)x n +R n (x), wobei R n (x) = für ein c zwischen 0 und x gilt. 1 (n + 1)! f(n+1) (c)x n+1 Ist außerdem f (n+1) (x) M n+1 für alle x U, dann gilt auch 1 R n (x) (n + 1)! M n+1 x n+1

20 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 19 Anwendungsbeispiel Als erstes Anwendungsbeispiel untersuchen wir den Fall f(x) := cosx, a := 0, n := 2. Als Näherung erhält man cos x x2 für x 0, im Falle x := 0.2 also cos

21 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 20 Fehleabschätzung für das Beispiel Den Fehler schätzen wir mit Hilfe von M 3 := 1 ab zu (gerundet) R 2 (0.2) 1 3! = Diese Näherung ist viel besser als die im vorigen Abschnitt gewonnene (zur Erinnerung: der wirkliche Wert ist cos 0.2 = ).

22 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 21 Noch besser (1) Weil die dritte Ableitung der Cosinusfunktion (also sin x) an der Stelle a := 0 verschwindet, erhalten wir für n := 3 das gleiche Näherungspolynom wie oben, nämlich p 3 (x) = x2 und damit cos x = x2 + R 3 (x),

23 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 22 (2) wobei (mit M 4 := 1) R 3 (x) 1 4! 1 x4, was für x := 0.2 R 3 (x) 1 4! (0.2)4 = ergibt, eine wirklich gute Abschätzung. Nochmal das Ergebnis cos 0.2 = 0.98 ± und zum Vergleich den wirklichen Wert cos 0.2 =

24 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 23 Potenzreihen Potenzreihen (in x) sind Reihen der Form a 0 + a 1 x + a 2 x a n x n +..., wobei x,a 0,a 1,... Zahlen sind. Eine solche Reihe kann konvergent oder divergent sein, je nach Wahl der a i und von x. Schon die Bezeichnungsweise legt nahe, dass wir eine Potenzreihe nicht nur für ein festes x betrachten, sondern verschiedene Werte von x einsetzen wollen, während die a i festgehalten werden.

25 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 24 Polynome unendlichen Grades Man schreibt eine Potenzreihe deshalb als eine Art unendliches Polynom, wie in folgendem Beispiel: x + x2 2 + x3 3 + x4 4 +.

26 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 25 Konvergenz Man kann dann fragen, für welche x die Reihe konvergiert, und findet folgendes Ergebnis: Satz Eine Potenzreihe konvergiert entweder a 0 + a 1 x + a 2 x a n x n nur für x = 0 und divergiert für alle anderen Werte von x oder 2. für x < r und divergiert für alle x > r, für eine reelle Zahl r, oder 3. konvergiert für alle x.

27 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 26 Konvergenzradius Die Menge der x, für die die Reihe konvergiert, ist also in jedem Fall ein Intervall, das Konvergenzintervall der Reihe. Die halbe Länge dieses Intervalls nennt man den Konvergenzradius der Reihe. Eine Potenzreihe hat also den Konvergenzradius Null, den Konvergenzradius r R, oder unendlichen Konvergenzradius ( Konvergenzradius r = ).

28 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 27 Beispiel Die geometrische Reihe 1 + x + x 2 + x konvergiert für x < 1 und divergiert für x 1. Ihr Konvergenzradius ist also gleich 1, ihr Konvergenzintervall ist ( 1, +1).

29 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 28 Potenzreihen als Funktionen Es liegt nahe, Potenzreihen als Beschreibungen von Funktionen aufzufassen. f(x) := a 0 + a 1 x + a 2 x a n x n +... Der Definitionsbereich einer solchen Funktion ist das Konvergenzintervall, der Funktionswert an der Stelle x ist der jeweilige Grenzwert der Reihe.

30 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 29 Ableiten wie Polynome Satz Hat die Potenzreihe f(x) := a 0 + a 1 x + a 2 x a n x n +... den Konvergenzradius r > 0, dann gilt: 1. Die Funktion f(x) ist stetig auf dem Intervall ( r,r). 2. f(x) ist auf dem Intervall ( r,r) differenzierbar, und die Ableitung ist f (x) = a 1 + 2a 2 x + 3a 3 x na n x n 1 +. Der Konvergenzradius dieser Reihe ist ebenfalls r.

31 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 30 Eindeutigkeit der Reihe Eine unmittelbare Folgerung aus diesem Satz ist, dass eine Funktion f(x) wenn überhaupt, dann nur durch eine Potenzreihe beschrieben werden kann, denn man hat für f(x) := a 0 + a 1 x + a 2 x a n x n +... ja nach dem Satz, dass a n = 1 n! f(n) (0). Diese Darstellung der Koeffizienten erinnert uns sofort an den Satz von Taylor (für a := 0)!

32 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 31 Taylor-Reihen Es wird nun deutlich, was beim diesem Satz geschieht: das Näherungspolynom p n (x) ist jeweils ein Anfangsstück der Potenzreihe! Die Potenzreihe für eine Funktion f(x) nennt man deshalb auch die Taylor-Reihe für f(x) (am Entwicklungspunkt a := 0).

33 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 32 Andere Entwicklungspunkte Man kann den Begriff der Potenzreihe verallgemeinern auf Reihen der Form f(x) := a 0 + a 1 (x a) + a 2 (x a) a n (x a) n +... Dann ist die Beziehung zum Taylorschen Satz besonders deutlich. Wir konzentrieren uns hier auf den Fall a := 0.

34 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 33 Beispiel Für f(x) := sin x haben wir f(0) = 0, f (0) = 1, f (0) = 0, f (0) = 1 und f (4) (x) = f(x). Die Folge (f (i) (0) i N 0 ) ist also eine endlose Wiederholung von 0, 1, 0, 1. Die Taylor-Reihe für sin x ist 0 + x + 0 x3 3! x5 5! + 0 x7 7! +.

35 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 34 Konvergenz der Sinusreihe Was ist der Konvergenzradius dieser Reihe? Die Sinusfunktion ist für alle x R definiert, aber unser Zugang zur Taylorreihe war der, die Funktion in der Nähe von a := 0 zu approximieren. Wir können also eigentlich nicht erwarten, dass die Taylorreihe weit entfernt von a noch konvergiert.

36 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 35 Restglied Konvergenz haben wir offenbar genau dort, wo der Fehler gegen Null geht, also an den Stellen x, an denen lim R n(x) = 0 n gilt. Alle Ableitungen f (n) (x) der Sinusfunktion sind beschränkt und erfüllen f (n) (x) 1 für alle x R. Deshalb können wir im Satz von Taylor alle M n gleich 1 setzen und erhalten R n (x) x n+1 (n + 1)!.

37 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 36 Überall konvergent! Folglich gilt für jedes x R lim R n(x) = lim n n x n+1 (n + 1)! = 0. Die Taylor-Reihe für sin x konvergiert also für alle x R, der Konvergenzradius ist unendlich.

38 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 37 Taylorreihe für cos x Für alle x gilt also sin x = x x3 3! + x5 5! x7 7! +. Mit Hilfe des Satzes über die Ableitung erhalten wir daraus sogleich eine ebenfalls überall konvergente Potenzreihe für den Cosinus: cosx = 1 x2 2! + x4 4! x6 6! +.

39 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 38 Exponentialfunktion Wir haben für f(x) := e x : f(x) := e x f(0) = 1 f (x) := e x f (0) = 1 f (x) := e x f (0) = 1 f (x) := e x f (0) = 1.. f (n) (x) := e x f (n) (0) = 1..

40 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 39 Koeffizienten Wegen a n = 1 n! f(n) (0) erhalten wir a n = 1 n!. Wenn es also eine Taylorreihe für die Exponentialfunktion gibt, dann lautet sie 1 + x + x2 2! + x3 3! + x4 4! +...

41 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 40 Quotientenkritrium anwenden! r bezeichne den Konvergenzradius der Potenzreihe n=0 a n(x a) n. Dann gilt: Falls lim n a n+1 a n = 0, dann ist r =. Mit a n = xn n! und a n+1 = xn+1 (n+1)! lim n a n+1 a n = lim n ergibt sich x n+1 (n + 1)! n! x n = lim n x n + 1 = 0. Die Potenzreihe der Exponentialfunktion konvergiert überall!

42 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 41 Vergleich der Reihen Wir haben gefunden: sin x = x x3 3! + x5 5! x7 7! + cosx = 1 x2 2! + x4 4! x6 6! + e x = 1 + x + x2 2! + x3 3! + x4 4! +...

43 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 42 Kombinationen von sin und cos (1) sin x = x x3 3! + x5 5! x7 7! + cosx = 1 x2 2! + x4 4! x6 6! + cosx + sin x = 1 + x x2 2! x3 3! + x4 4! + x5 5!...

44 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 43 Kombinationen von sin und cos (2) sin x = x x3 3! + x5 5! x7 7! + cosx = 1 x2 2! + x4 4! x6 6! + cosx sin x = 1 x x2 2! + x3 3! + x4 4! x5 5!...

45 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 44 Komplexe Argumente Man kann in eine Potenzreihe auch komplexe Zahlen als Argumente einsetzen. Die Konvergenzüberlegungen verallgemeinern sich. Wir gehen darauf hier nicht weiter ein.

46 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 45 Komplexe Exponentialfunktion e ix = 1 + ix + (ix)2 2! + (ix)3 3! + (ix)4 4! + (ix)5 5! +... = 1 + ix + i2 x 2 2! + i3 x 3 3! + i4 x 4 4! + i5 x 5 5! +... = 1 + ix + x2 2! + ix3 3! = 1 x2 2! + x4 4!... + i + x4 4! + ix5 5! +... ) (x x3 3! + x5 5! +...

47 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 46 Erneuter Vergleich der Reihen sin x = x x3 3! + x5 5! x7 7! + cos x = 1 x2 2! + x4 4! x6 6! + e ix = 1 x2 2! + x4 4!... + i ) (x x3 3! + x5 5! +...

48 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 46 Erneuter Vergleich der Reihen sin x = x x3 3! + x5 5! x7 7! + cos x = 1 x2 2! + x4 4! x6 6! + e ix Daraus folgt: = 1 x2 2! + x4 4!... + i ) (x x3 3! + x5 5! +... e ix = cosx + i sin x

49 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 47 Eulersche Formel Die schönste Formel der Welt:

50 Mathematik I für Informatiker Satz von Taylor Taylorreihen p. 47 Eulersche Formel Die schönste Formel der Welt: e iπ = 1.