SIMR 2013/14, Analiza 1, wykład 7, 2013-11-29
Związek funkcji i jej pochodnej
Poniższe twierdzenia są podstawą wielu bardzo ważnych zastosowań pochodnych. Twierdze- nie te wyrażają związek pomiędzy funkcją a jej pochodną.
Twierdzenie Rolle’a Niech dana będzie funkcja f :< a, b >→ R ciągła na < a, b > i różniczkowalna na (a, b), oraz taka, że f (a) = f (b) . Wtedy istnieje punkt c ∈ (a, b) taki, że f0(c) = 0
Twierdzenie Lagrange’a Niech dana będzie funkcja f :< a, b >→ R ciągła na < a, b > i różniczkowalna na (a, b). Wtedy istnieje punkt c ∈ (a, b) taki, że
f (b) − f (a) = f0(c) · (b − a)
Twierdzenie Cauchy’ego Niech dane będą funkcje f, g :< a, b >→ R ciągłe na < a, b > i różniczkowalne na (a, b). Niech ponadto g0(x) 6= 0 ∀x ∈ (a, b). Wtedy istnieje punkt c ∈ (a, b) taki, że
f (b) − f (a)
g(b) − g(a) = f0(c) g0(c)
Reguła de L’Hospitala
Twierdzenie: Niech f, g : D → R , gdzie D = (x0− , x0 + ) \ {x0} będą funkcjami róż- niczkowalnymi oraz ∀x ∈ D (g0(x) 6= 0) . Niech istnieją i są równe zeru granice: lim
x→x0
f (x) =
x→xlim0
g(x) = 0. Jeśli istnieje granica lim
x→x0
f0(x)
g0(x) = b to istnieje też granica lim
x→x0
f (x) g(x) = b Uwaga 1 Reguła de L’Hospitala umożliwia liczenie granic typu 0
0 poprzez obliczanie granic ilorazu pochodnych.
Uwaga 2 Twierdzenie działa tylko w jedną stronę: jeżeli granica ilorazu pochodnych nie istnieje to z tego nie wynika , że nie istnieje granica ilorazu funkcji.
Uwaga 3 Twierdzenie to można uogólnić na granice typu ∞
∞ oraz x0 = ±∞ , b = ±∞
Przykład: Obliczyć granicę:
x→0lim
1 − cos x sin x2
Jest to granica typu 0
0 . Obliczamy granicę:
x→0lim f0(x) g0(x) = lim
x→0
sin x 2x cos x2 Jest to granica typu 0
0 . Obliczamy granicę:
x→0lim f0(x) g0(x) = lim
x→0
cos x
2 cos x2− 4x2sin x2 = 1 2 Granica ta istnieje, a więc
x→0lim
1 − cos x sin x2 = 1
2
Jezeli chcemy stosować regułę de L’Hospitala w przypadku innych symboli nieoznaczonych musimy je najpierw przekształcić do symbolu 0
0 lub ∞
∞ Przykład: 0 · ∞ Obliczyć granicę: lim
x→0x ln x 1
x→0limx ln x = lim
x→0
ln x
1 x
h0 0
i
= H
x→0lim
1 x
−x12
= lim
x→0−x = 0
Przykład: ∞ − ∞ Obliczyć granicę: lim
x→0
1
x − 1 sinh x
x→0lim
1
x − 1 sinh x
= lim
x→0
sinh x − x x sinh x
h0
0
i
= H
x→0lim
cosh x − 1 sinh x + x cosh x
h0
0
i
= H
x→0lim
sinh x
cosh x + cosh x + x sinh x = 0
2 = 0
Uwaga: Granice 1∞ , ∞0 ,00 obliczamy przekształcając wyrażenie fg = eln fg = eg ln f , a następnie obliczając granicę g ln f typu 0 · ∞
Przykład: 1∞ Obliczyć granicę: lim
x→∞
2
πarc tg x
x
2
πarc tg x
x
= e
x ln 2
πarc tg x
!
x→∞lim x ln
2
πarc tg x
= lim
x→∞
ln
2
π arc tg x
1 x
h0
0
i
= H
x→∞lim 2 π(1 + x2)
2
πarc tg x
−x12
= lim
x→∞
−x2
(1 + x2) arc tg x =
x→∞lim
−1 ( 1
x2 + 1) arc tg x
= −2 π stąd:
x→∞lim
2
π arc tg x
x
= e−π2
Wzór Taylora
Twierdzenie: Niech f : (a, b) → R będzie funkcją różniczkowalną (n + 1) razy. Wtedy dla dowolnych x, x0 ∈ (a, b) zachodzi:
f (x) = f (x0) + f0(x0)
1! (x − x0) + f00(x0)
2! (x − x0)2+ · · · + f(n)(x0)
n! (x − x0)n+ Rn gdzie:
Rn = f(n+1)(c)
(n + 1)!(x − x0)n+1 dla pewnego c ∈ (x0, x) Uwaga 1: Reszta Rn= f(n+1)(c)
(n + 1)! (x − x0)n+1 nazywa się resztą w postaci Lagrange’a.
Uwaga 2: Wzór Taylora przybliża dowolną funkcję f za pomocą wielomianu stopnia n . Reszta Rn jest błędem tego przybliżenia. Spośród wszystkich wielomianów stopnia n wielo- mian Taylora przybliża najlepiej funkcję f w otoczeniu punktu x0.
Uwaga 3: O punkcie c wiemy tylko, że leży pomiędzy x0 a x. W przypadku, gdy x < x0
należy pisać c ∈ (x, x0)
Przykład: Napisać wzór Taylora dla funkcji f = exw punkcie x0 = 0 dla n = 3. Korzystając z niego obliczyć przybliżoną wartość e0,1 i oszacować błąd przybliżenia.
f (x) = f (0) + f0(0)
1! x + f00(0)
2! x2+ f000(0)
3! x3 + R3 2
gdzie:
R3 = fIV )(c)
4! x4 dla pewnego c ∈ (0, x) Obliczamy:
f (x) = ex , f (0) = 1 f0(x) = ex , f0(0) = 1 f00(x) = ex , f00(0) = 1 f000(x) = ex , f000(0) = 1 fIV(x) = ex
stąd:
ex = 1 + 1 1!x + 1
2!x2+ 1
3!x3+ R3 = 1 + x + x2 2 +x3
6 + R3 gdzie
R3 = ec
4!x4 dla pewnego c ∈ (0, x) Wielomian przybliżający ex : ex ≈ 1 + x + x2
2 +x3 6 e0,1 ≈ 1 + 0, 1 + 0, 01
2 + 0, 001
6 = 1, 10516666 . . .
Błędu przybliżenia nie możemy obliczyć dokładnie ponieważ nie znamy c , możemy go jednak oszacować.
|R3| =
ec 4!x4
=
ec
4!0, 0001
c ∈ (0, 0, 1) a więc |ec| = e0,1 < 3
|R3| < 3
240, 0001 = 0, 0000125
Oszacowanie błądu możemy zaokrąglić (zawsze w górę). Następnie zaokrąglamy wynik i błąd zaokrąglenia dodajemy do oszacowania błędu:
e0,1 = 1, 105167 ± 0, 000014
Wartość dokładna e0,1 = 1.105170918076 . . . mieści się w granicach błędu
Twierdzenie (Wzór Taylora z resztą w postaci Peano): Niech f : D → R będzie funkcją mającą n-tą pochodną w punkcie x0 ∈ int D. Wtedy dla dowolnego x ∈ D zachodzi:
f (x) = f (x0) + f0(x0)
1! (x − x0) + f00(x0)
2! (x − x0)2+ · · · + f(n)(x0)
n! (x − x0)n+ Rn(x) gdzie:
Rn(x) = ε(x)(x − x0)n oraz lim
x→x0ε(x) = 0 Przykład: Obliczyć granicę: lim
x→0
x ln(1 + 2x) − 2x2+ 2x3 cos(x2) − 1
Stosujemy wzór Taylora dla funkcji f (x) = ln(1 + x) w x0 = 0 , dla n = 3:
f (x) = ln(1 + x) f (0) = 0 f0(x) = 1
1 + x f0(0) = 1 f00(x) = −(1 + x)−2 f00(0) = −1 f000(x) = 2(1 + x)−3 f000(0) = 2 Stąd:
ln(1 + x) = x − 1
2x2+1
3x3+ ε1(x)x3 A więc
ln(1 + 2x) = 2x − 2x2+8
3x3+ ε2(x)x3
Stosujemy wzór Taylora dla funkcji g(x) = cos(x) w x0 = 0 , dla n = 2:
3
g(x) = cos x g(0) = 1 g0(x) = − sin x g0(0) = 0 g00(x) = − cos x g00(0) = −1 Stąd:
cos x = 1 − 1
2x2+ ε3(x)x2 A więc
cos x2 = 1 − 1
2x4+ ε4(x)x4
Podstawiamy otrzymane wzory do granicy:
x→0lim
x ln(1 + 2x) − 2x2+ 2x3
cos(x2) − 1 = lim
x→0
x
2x − 2x2 +8
3x3+ ε2(x)x3
− 2x2+ 2x3 1 −1
2x4+ ε4(x)x4− 1
=
x→0lim x4
8
3 + ε2(x)
x4
−1
2+ 4(x)
= lim
x→0
8
3 + ε2(x)
−1
2 + ε4(x)
= −16 3
Uwaga: Wybranie odpowiedniego stopnia wielomianu zastępującego funkcję wymaga pew- nej wprawy. Jeśli stopień ten będzie za mały, wtedy przy obliczaniu granicy pojawi się symbol nieznaczony z nieznaną funkcją ε(x) i wtedy nie możemy obliczyć granicy. Należy wtedy po- wtórzyć obliczenia z wyższym stopniem wielomianu. Jeśli stopień będzie za duży - wtedy dostaniemy obliczymy granicę, ale potrzeba więcej obliczeń. W powyższym przykładzie są zastosowane wielomiany o najniższych stopniach umożliwiające obliczenie granicy.
4