RACHUNEK RÓŻNICZKOWY FUNKCJI JEDNEJ ZMIENNEJ CZ.3
Twierdzenia o wartości średniej.
Poniższe trzy twierdzenia zwane są twierdzeniami o wartości średniej.
Twierdzenie 1. (ROLLE'A)
Jeżeli funkcja f jest ciągła w przedziale [Author ID0: at Tue Aug 14 14:56:00 2001
][Author ID0: at Tue Aug 14 14:56:00 2001
][Author ID0: at Tue Aug 14 14:56:00 2001
]
[Author ID0: at Tue Aug 14 14:56:00 2001
], różniczkowalna w przedziale [Author ID0: at Tue Aug 14 14:57:00 2001
][Author ID0: at Tue Aug 14 14:57:00 2001
]
[Author ID0: at Tue Aug 14 14:57:00 2001
] oraz [Author ID0: at Tue Aug 14 14:58:00 2001
][Author ID0: at Tue Aug 14 14:58:00 2001
]
[Author ID0: at Tue Aug 14 14:58:00 2001
], to istnieje przynajmniej jeden punkt [Author ID0: at Tue Aug 14 14:59:00 2001
][Author ID0: at Tue Aug 14 14:59:00 2001
]
[Author ID0: at Tue Aug 14 14:59:00 2001
] taki, że
.
Twierdzenie 2. (CAUCHY'EGO )
Jeżeli funkcje
i
są ciągłe w przedziale [Author ID0: at Tue Aug 14 14:56:00 2001
][Author ID0: at Tue Aug 14 14:56:00 2001
]
[Author ID0: at Tue Aug 14 14:56:00 2001
], różniczkowalne w przedziale [Author ID0: at Tue Aug 14 14:57:00 2001
][Author ID0: at Tue Aug 14 14:57:00 2001
]
[Author ID0: at Tue Aug 14 14:57:00 2001
] to istnieje przynajmniej jeden punkt [Author ID0: at Tue Aug 14 14:59:00 2001
][Author ID0: at Tue Aug 14 14:59:00 2001
]
[Author ID0: at Tue Aug 14 14:59:00 2001
] taki, że
.
Twierdzenie 3. (LAGRANGE'A).
Jeżeli funkcja f jest ciągła w przedziale [Author ID0: at Tue Aug 14 14:56:00 2001
][Author ID0: at Tue Aug 14 14:56:00 2001
]
[Author ID0: at Tue Aug 14 14:56:00 2001
]i różniczkowalna w przedziale [Author ID0: at Tue Aug 14 14:57:00 2001
][Author ID0: at Tue Aug 14 14:57:00 2001
]
[Author ID0: at Tue Aug 14 14:57:00 2001
], to istnieje punkt [Author ID0: at Tue Aug 14 14:59:00 2001
][Author ID0: at Tue Aug 14 14:59:00 2001
]
[Author ID0: at Tue Aug 14 14:59:00 2001
] taki, że
.
Szeregi Taylora i Maclaurina
Definicja 1.
Niech funkcja
ma w punkcie
pochodne dowolnego rzędu.
Szereg potęgowy
nazywamy szeregiem Taylora funkcji
o środku w punkcie
.
Ostatni składnik sumy występującej w powyższym wzorze oznaczać będziemy jako
i nazywać resztą w postaci Lagrange'a. Tak więc
Wniosek. Dla
otrzymujemy twierdzenie Lagrange'a.
Jeżeli
, to szereg ten nazywamy szeregiem Maclaurina funkcji
Twierdzenie 4. (o rozwijaniu funkcji w szereg Taylora).
Jeżeli:
funkcja
ma w otoczeniu
pochodne dowolnego rzędu,
dla każdego
,
to
,
.
Twierdzenie 5. (O jednoznaczności rozwinięcia funkcji w szereg potęgowy)
Jeżeli
,
.
to
dla
.
Wzór Taylora oraz wynikający z niego wzór Maclaurina, o których była mowa wykorzystuje się do obliczania przybliżonych wartości funkcji.
Ze wzorów tych możemy otrzymać przybliżenia z mniejszym błędem niż wykorzystując różniczkę pierwszego rzędu.
Zauważmy, że pomijając resztę we wzorze np. Maclaurina, otrzymamy wzór przybliżony
,
który możemy wykorzystać do obliczania wartości funkcji f.
Błąd bezwzględny
, jaki popełniamy posługując się tym wzorem, jest równy wartości bezwzględnej
reszty
, tj.
Przykłady
Napisać wzór Maclaurina dla funkcji
i
Policzmy:
Zapiszemy teraz wzór Maclaurina:
2. Oblicz korzystając z powyższego przybliżenia
.
Przypomnijmy, że licząc przybliżoną wartość
za pomocą różniczki funkcji jednej zmiennej otrzymaliśmy mniej dokładny wynik 1,02.
Twierdzenie 6.
Niech
,
będą funkcjami różniczkowalnymi na przedziale I oraz niech
. Jeżeli
oraz
, to
.
Twierdzenie 7. (REGUŁA DE L'HOSPITALA)
Niech
i
będą funkcjami różniczkowalnymi w pewnym sąsiedztwie
oraz
.
Jeżeli
lub
oraz istnieje granica
(właściwa lub nie),
to istnieje również granica
przy czym
.
Uwaga. Twierdzenie odwrotne nie jest prawdziwe.
Z reguły de l'Hospitala możemy skorzystać w następujących przypadkach:
Przypadek 1.
Niech
i
lub niech
i
.
Obliczanie granicy poprzez formalne podstawienie wartości granicznych daje nam symbol nieoznaczony
lub odpowiednio
.
W tym przypadku bezpośrednie (być może wielokrotne) zastosowanie reguły de l'Hospitala doprowadzi nas do rozwiązania.
Np.
.
Przypadek 2.
Niech
i
.
Obliczając granicę
poprzez formalne postawienie wartości granicznych otrzymamy symbol nieoznaczony
.
Aby wyznaczyć tę granicę zauważmy, że
lub
Np.
.
Przypadek 3.
Niech
i
.
Obliczając granicę
poprzez formalne postawienie wartości granicznych otrzymamy symbol nieoznaczony
.
Zauważmy, że wówczas mamy:
Np.
Przypadek 4.
Niech
i
.
Obliczając granicę
poprzez formalne postawienie wartości granicznych otrzymamy symbol nieoznaczony
.
Podobnie gdy
i
obliczając
otrzymujemy inny symbol nieoznaczony
.
Również gdy
i
obliczając
otrzymujemy inny symbol nieoznaczony
.
We wszystkich tych przypadkach
,
,
obliczenie
sprowadza się do obliczenia
, co daje symbol
.
Np.