POCHODNE WYŻSZYCH RZĘDÓW. Pochodną pochodnej nazywamy pochodną drugiego rzędu i oznaczamy f”: f'(x) = lim ^ + ^itd. Używamy oznaczeń f’, f”,
h-H> /,
P", f*4*,...,^. Mówimy, że f jest klasy C", jeśli ma ciągłą pochodną n-tego rzędu. Mówimy, że fu*) — R jest wypukła (wklęsła) jeśli
x. >■€(<!. b) (e[0.1]
Tw ierdzenie: Załóżmy, że f ma pochodną drugiego rzędu w (a,b). Wówczas f jest wypukła (wklęsła) w (a,b) wtedy i tylko wtedy, gdy f\x) ^(^)0 • Szkic dowodu: załóżmy,
że f jest wypukła: xi<X2<X3-ai<a2<ct3; tgai<tga2<tgc*3; f'(xi)<f'(x2)<f'(x3). Zatem P jest rosnąca. Zatem P’ jest dodatnia (>). Jeśli f jest wypukła w (xo-c, Xo) i wklęsła w (xo. Xo+e) lub na odwrót, to Xo jest punktem przegięcia. Wniosek: Jeśli Xo jest p. przegięcia wykresu f to P’(xo)=0 (o ile istnieje). Jest to warunek konieczny. Natomiast warunkiem wystarczających na to, aby xo był p. przegięcia jest zmiana znaku drugiej pochodnej w otoczeniu Xo. Zagadnienie aproksymacji:
Z definicji pochodnej fW = Um fM~fM ; ■ im[ f™~ fW~ f'M*-*.)]. Q
X-X0 x-x0
Wynika stąd, że prosta o równaniu y = f(x0)+ f\x0)(x- x0) przybliża wykres funkcji f w
pobliżu punktu •*<> • Hm
f(x)=*y(x) dla x bliskich x0
f(x)a f(xo)+ f\xoXx-*o) dla x bliskich xo. Oznaczamy r(x) = f(x)~y(.x). Wówczas
r( x)
f(*)=y(*)+r(x). f(x) = f(x0) + f\x0)(x-x0) + r(x) przy czym Hjn-= 0.
9 x~x0
Mówimy, że reszta r(x) jest nieskończenie mała rzędu wyższego niż 1 w p. •*<>. Tw ierdzenie Taylora. Załóżmy, że f jest klasy C’ w przedziale (a,b), x0 e (a,b) oraz
f":(x0)(x-x0)"
Wówczas różnica
2! n!
r,.(x) = f(x) — W„(x) jest nieskończenie małą rzędu wyższego niż 1 w p. xQ, tzn.
lim
rn(x)
(x-x0)
7 — 0. Zatem wielomian W„(x) przybliża bardzo dokładnie f w otoczeniu p. x0.
n!
Wzór: f{x)= f(x0) + f (x0)(x-x0) + ...+
(x- x0)" + r„(x) nazywamy w zorem
Taylora. Jeśli *o = 0, to otrzymujemy wzór Maclaurina
fin)( 0)
f(x)=f(0)+f(0)x+...+
r.Xx)
n!
f(x)-(f(xo)+ f\xo)(X - X0) + ...+ \x-X0)n) r.H
lim
(x-x0)'
f-^(x-x )-(n-1)!_° _ (°) = ... (po n krokach) =
n(x-x0Y
Lagrange’a: rn(x) = —-—(x —x0) , gdzie c jest punktem pośrednim między x i xo.
(n+l)l
Pozwala to na oszacowanie dokładności przybliżenia.