Лосев-КлячинМиклюков МА в КИ
.pdf§6. Вторая теорема "о среднем" дифференциального исчисления |
121 |
§6. Вторая теорема "о среднем" дифференциального исчисления (формула Коши)
ТЕОРЕМА 6.1. Предположим, что функции f и g непрерывны на отрезке [a, b] и дифференцируемы на (a, b), причем g (x) = 0 всюду на (a, b). Тогда существует точка ξ (a, b) такая, что
f(b) − f(a) |
= |
f (ξ) |
. |
g(b) − g(a) |
|
||
|
g (ξ) |
Доказательство. Покажем сначала, что g(b)−g(a) = 0. Действительно, если g(b) = g(a), то, по теореме Ролля, найдется точка ξ (a, b), в которой g (ξ) = 0. Это противоречит условиям теоремы.
Рассмотрим вспомогательную функцию
ϕ(x) = f(x) − f(a) −
f(b) − f(a)
g(b) − g(a)
· (g(x) − g(a)) .
Функция ϕ удовлетворяет условиям теоремы Ролля и, в частности, ϕ(a) = ϕ(b) = 0. Тем самым, существует точка ξ (a, b), в которой ϕ (ξ) = 0. Отсюда получаем
f (ξ) − f(b) − f(a)g (ξ) = 0, g(b) − g(a)
и, следовательно,
f(b) − f(a) |
= |
f (ξ) |
. |
g(b) − g(a) |
|
||
|
g (ξ) |
УПРАЖНЕНИЕ 1. Можно ли получить формулу Лагранжа из формулы Коши?
УПРАЖНЕНИЕ 2. Объяснить, каким образом мы догадались выбрать вспомогательную функцию ϕ именно в данном виде?
122 |
Глава 5. Основные теоремы дифференциального исчисления |
§7. Теорема Дарбу
ТЕОРЕМА 7.1 (Дарбу4). Если функция f имеет конечную производную в каждой точке отрезка [a, b], то ее
производная f принимает в качестве значения на (a, b) любое число между f (a) и f (b).
Доказательство. Предположим сначала, что f (a) > 0, f (b) < 0.
Докажем существование точки ξ (a, b) такой, что f (ξ) = 0. Из существования и конечности производной f следует непрерывность на отрезке [a, b] функции f. Далее, по теореме Вейерштрасса, f принимает в некоторой точке ξ [a, b] свое наибольшее значение.
Точка ξ = a, поскольку из f (a) > 0 следует, что f(x) > f(a) вблизи a.
Точка ξ = b, поскольку неравенство f (b) < 0 влечет, что f(x) > f(b) вблизи точки b.
Таким образом, a < ξ < b и, по теореме Ферма, f (ξ) = 0.
Переходим к общему случаю. Фиксируем произвольно чис-
ло C между f (a) и f (b). Пусть для определенности f (a) > C > f (b). Рассмотрим функцию
ϕ(x) = f(x) − Cx.
Она дифференцируема на [a, b], и ее производная
ϕ (x) = f (x) |
− |
C. |
Далее имеем |
|
|
||
|
|
|
ϕ (a) > 0, ϕ (b) < 0, |
и, по доказанному,
ξ (a, b) : ϕ (ξ) = f (ξ) − C = 0.
Тем самым, f (ξ) = C.
4Дарбу Жан Гастон (13.8.1842-23.2.1917). Род. в Ниме (Франция). Член Парижской АН (1884), чл.-кор. Петербургской АН (1895). Основные труды посвящены дифференциальной геометрии и дифференциальным уравнениям.
§8. Правила Лопиталя |
123 |
§8. Правила Лопиталя
8.1.Раскрытие неопределенностей вида 00
ТЕОРЕМА 8.1 (правило Лопиталя5). Пусть f и g –
функции, определенные на полуинтервале [a, b) и обладающие там следующими свойствами:
1) lim f(x) = 0, |
lim g(x) = 0; |
x→b−0 |
x→b−0 |
2)для всякого x [a, b) существуют конечные производные f (x) и g (x), причем g (x) = 0;
3)существует (конечный либо нет) предел
lim f (x) = K.
x→b−0 g (x)
Тогда существует предел
lim f(x) = K.
x→b−0 g(x)
Доказательство. Доопределим f и g в точке x = b, положив их при x = b равными нулю, т.е.
f(b) = g(b) = 0.
Тогда функции f и g будут непрерывными на всем отрезке [a, b]. По формуле Коши, примененной к функциям f и g на отрезке [x, b], найдется точка ξx (x, b) такая, что
f(x) |
= |
f(x) − f(b) |
= |
f (ξx) |
. |
(1) |
|
g(x) − g(b) |
|
||||
g(x) |
|
|
g (ξx) |
|
В силу третьего условия теоремы и соотношения (1), получаем
lim |
|
f(x) |
= |
lim |
|
f (ξx) |
= K, |
|||||
0 |
g(x) |
0 |
g (ξx) |
|
||||||||
x b |
− |
|
ξx |
b |
− |
|
||||||
→ |
|
|
|
|
→ |
|
|
|
|
что и требовалось.
УПРАЖНЕНИЕ 1. Доказать соответствующее утверждение для полуинтервала (a, b] при x → a.
5Лопиталь де Гийом Франсуа(1661-2.2.1704). Род. в Париже (Франция). Член Парижской АН. Издал первый печатный учебник по дифференциальному исчислению
– "Анализ бесконечно малых" (1696).
124 |
Глава 5. Основные теоремы дифференциального исчисления |
УПРАЖНЕНИЕ 2. Найти формулировку правила Лопиталя для случая, в котором f и g обращаются в нуль во внутренней точке интервала (a, b).
ПРИМЕР 1. Найдем
lim tgx − x . x→0 x − sin x
Решение проведем в несколько шагов. Рассмотрим полуинтервал [−π4 , 0). На этом промежутке (x−sin x) = 1−cos x = 0, и мы вправе воспользоваться предыдущей теоремой. Тогда имеем
|
|
|
1 |
|
− 1 |
|
|
|
||||
|
tgx − x |
|
|
|
|
|
|
|
|
|||
lim |
= lim |
|
cos2 x |
= |
|
|
||||||
x→−0 x − sin x |
x→−0 |
|
1 − cos x |
|
|
|
||||||
|
|
|
2 |
sin x |
|
|
|
|
|
|
||
|
|
|
|
|
|
2 |
|
|||||
|
|
= lim |
cos3 x |
|
|
|
||||||
|
|
|
|
|
|
|
|
= lim |
|
= 2. |
||
|
|
|
|
sin x |
|
|
|
|||||
|
|
x→−0 |
|
|
|
|
|
x→−0 cos3 x |
|
Аналогично, рассматривая полуинтервал (0, π4 ], находим
lim |
tgx − x |
= lim |
2 |
= 2. |
|
|
|||
x→+0 x − sin x |
x→+0 cos3 x |
|
На основании теоремы о связи односторонних пределов с двусторонним получаем
lim tgx − x = 2. x→0 x − sin x
ПРИМЕР 2. Найдем
lim sin x − x.
x→0 x3
Пользуясь трижды правилом Лопиталя, получаем
lim |
sin x − x |
= lim |
cos x − 1 |
|
= lim |
− sin x |
= |
|||||
x3 |
|
6x |
||||||||||
x→0 |
x→0 |
3x2 |
|
|
x→0 |
|
||||||
|
|
= lim |
− cos x |
= |
|
1 |
. |
|
|
|||
|
|
6 |
|
|
|
|||||||
|
|
x |
→ |
0 |
|
|
−6 |
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
§8. Правила Лопиталя |
125 |
ТЕОРЕМА 8.2. Пусть f и g – функции, определенные на [c, +∞) и обладающие следующими свойствами:
1) lim f(x) = 0, |
lim g(x) = 0; |
x→+∞ |
x→+∞ |
2)для всякого x [c, +∞) существуют конечные производные f (x) и g (x), причем g (x) = 0;
3)существует (конечный либо нет) предел
lim f (x) = K.
x→+∞ g (x)
Тогда существует предел
lim f(x) = K.
x→+∞ g(x)
Доказательство. Не умаляя общности, можем считать, что c > 0. Рассмотрим функции
1 |
|
и |
1 |
1 |
|
|||
f1(t) = f( |
|
) |
g1(t) = g( |
|
), t (0, |
|
], |
|
t |
t |
c |
полученные заменой t = x1 . Тогда, очевидно,
lim f1(t) = lim g1(t) = 0
t→0 t→0
и, кроме того,
|
f (t) |
|
|
|
f ( |
) |
|
|
|
2 |
|
|
|
|
||
|
|
|
|
|
|
|
1 |
|
|
1 |
|
|
|
|
||
|
1 |
|
|
|
|
|
− |
|
|
|
|
|
|
|||
lim |
|
= lim |
|
t |
|
t |
|
|
= |
|
|
|||||
g1(t) |
|
|
|
|
t2 |
|
|
|||||||||
t→0 |
t→0 g ( t ) |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
1 |
|
− |
1 |
|
|
|
|
||
|
|
|
= lim |
f (1t ) |
|
|
|
|
f (x) |
|||||||
|
|
|
|
|
|
= |
|
|
lim |
|
= K. |
|||||
|
|
|
|
1 ) |
|
|
|
|||||||||
|
|
|
t |
→ |
0 g ( |
|
x |
|
+ |
g (x) |
||||||
|
|
|
|
|
|
t |
|
|
|
|
→ ∞ |
|
|
Пользуясь предыдущей теоремой, получаем
|
|
f(x) |
|
|
|
f(1 ) |
|
|
|
f (1 ) |
|
|
lim |
|
= lim |
t |
= lim |
t |
= K. |
||||
|
g(x) |
|
|
||||||||
x |
+ |
t |
→ |
+0 g(1 ) |
t |
→ |
+0 g (1 ) |
|
|||
|
→ ∞ |
|
|
|
t |
|
|
t |
|
126 |
Глава 5. Основные теоремы дифференциального исчисления |
8.2.Раскрытие неопределенностей вида ∞∞
ТЕОРЕМА 8.3. Пусть f и g – функции, определенные на полуинтервале [a, b) и обладающие там следующими
свойствами: |
= +∞ |
|
x b 0 |
( |
) = +∞; |
|
1) |
x b 0 |
, |
||||
|
lim f(x) |
|
lim |
g x |
|
|
|
→ − |
|
|
→ − |
|
|
2)для всякого x [a, b) существуют конечные производные f (x) и g (x), причем g (x) = 0;
3)существует (конечный либо нет) предел
lim |
f (x) |
= K. |
|||
g (x) |
|||||
x→b−0 |
|
||||
Тогда существует предел |
|
||||
lim |
|
f(x) |
|
= K. |
|
|
g(x) |
||||
x→b−0 |
|
|
Доказательство. Случай |K| < ∞. Так как f(x), g(x) → +∞,
то при всех x, достаточно близких к точке b, выполнено f(x) > 0 и g(x) > 0. Поэтому, не умаляя общности, можем считать, что f(x) > 0 и g(x) > 0 всюду на [a, b).
Зафиксируем произвольно ε > 0. В силу третьего условия теоремы, найдется δ > 0 такое, что при всех x (b − δ, b)
выполнено |
|
|
|
|
|
|
|
|
|
− K |
|
||
|
g (x) |
< 2. |
||||
|
|
f |
(x) |
|
|
ε |
|
|
|
|
|
|
|
Для всякого промежутка [b − δ, x], где b > x > b − δ, на основании второй теоремы "о среднем" (формула Коши), имеем
|
f(x) − f(b − δ) |
|
= |
f (ξ) |
|
, ξ |
|
(b δ, x). |
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
g(x) |
− |
g(b |
− |
δ) |
|
g |
|
(ξ) |
|
− |
|
|||||||||
|
|
|
|
|
|
|
|
||||||||||||||
Поэтому |
|
|
|
− |
− |
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
δ) |
|
|
ε |
|
||||||||||||
|
|
|
|
f(x) f(b |
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
− − |
− K < |
|
. |
|
|||||||||||||
|
|
|
g(x) g(b δ) |
2 |
|
||||||||||||||||
Данное соотношение |
можно переписать |
в виде |
|
||||||||||||||||||
|
f(x) |
|
|
|
|
|
|
|
ε |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
g(x) |
α(x) − K |
< |
2 |
|
|
x (b − δ, b), |
(2) |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
§8. Правила Лопиталя |
127 |
где
1 − f(b − δ) f(x)
α(x) = .
1 − g(b − δ) g(x)
Из (2) следует, что |
g(x) |
≤ 2 |
α(x| ) |, |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f(x) |
|
|
|
|
ε |
+ K |
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f(x) |
|
|
|
|
|
|
|||
и мы можем заключить, |
что |
величина |
|
|
ограничена, по |
|||||||||||||||||||||||||||
|
g(x) |
|
||||||||||||||||||||||||||||||
крайней мере, при x достаточно близких |
к b. Поэтому, опять |
|||||||||||||||||||||||||||||||
же, не ограничивая общности мы можем |
считать, |
что |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
f(x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
g(x) |
≤ M < ∞ всюду на |
|
[a, b). |
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
После такой договоренности, |
в силу (2), можно записать |
|||||||||||||||||||||||||||||||
|
|
|
|
f(x) |
|
|
|
f(x) |
|
|
|
|
f(x) |
|
|
|
≤ |
|||||||||||||||
|
|
|
g(x) − K = |
|
g(x) (1 − |
α) + g(x) α − K |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
f(x) |
|
|
|
|
|
|
f(x) |
|
|
|
|
|
|
|
|
|
|
|
ε |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
≤ |
|
|
(1 − α) + |
|
|
|
α − K ≤ M|1 − α(x)| + |
|
. |
|||||||||||||||||||||||
g(x) |
g(x) |
2 |
||||||||||||||||||||||||||||||
нялось |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
, b) выпол- |
||||
Выбирая |
теперь δ1 > |
0 |
так, чтобы при x |
|
|
(b |
|
δ1 |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|1 − α(x)| < |
ε |
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
, |
|
|
|
|
|
|
|
|
|
|||||||||||||
будем иметь |
|
|
2M |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
f(x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
x |
|
|
|
|
|
|
|
< ε |
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
g(x) − K |
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
при всех |
|
|
, для которых |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|x − b| < min{δ1, δ}.
Тем самым, теорема полностью доказана для |K| < ∞. Случай K = +∞. Поскольку
lim |
f (x) |
= + |
∞ |
, |
|
g (x) |
|||||
x→b−0 |
|
|
то при x, достаточно близких к точке b, выполнено f (x) > 0. Тем самым,
lim g (x) = 0,
x→b−0 f (x)
128 Глава 5. Основные теоремы дифференциального исчисления
откуда по доказанному выше вытекает, что
lim g(x) = 0
x→b−0 f(x)
и
lim f(x) = +∞.
x→b−0 g(x)
УПРАЖНЕНИЕ 3. Для случая бесконечного промежутка сформулировать и доказать соответствующее утверждение самостоятельно.
8.3.Раскрытие неопределенностей других видов
Неопределенности вида 0 · ∞, ∞ − ∞, 1∞, 00, ∞0 раскрываются после подходящего преобразования выражения к ранее изученному случаю.
1) 0 · ∞ = 01 = ∞1 .
∞0
ПРИМЕР 3. Найдем
lim (xα ln x) |
(α > 0). |
|
||
x→+0 |
|
|
|
|
Здесь имеем |
|
|
|
|
lim (xα ln x) |
= lim |
ln x |
= |
|
|
|
|||
x→+0 |
x→+0 x−α |
|
|
|
|
= lim |
|
1 |
= 0. |
|
|
|
||
|
|
|
||
|
x→+0 x(−α)x−α−1 |
|
|
|
|
1 |
|
1 |
|
1/∞2−1/∞1 |
|
|
|
|
|
|
|||||||||
2) ∞1 − ∞2 = |
|
− |
|
|
|
|
= |
|
|
|
. |
|
|
|
|
|
|
|
||||
1/∞1 |
1/∞2 |
|
1/∞1·1/∞2 |
|
|
|
|
|
|
|||||||||||||
ПРИМЕР 4. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
lim |
ctg2x |
|
1 |
|
= lim |
cos2 x |
|
1 |
|
= |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
− x2 |
|
sin2 x − x2 |
||||||||||||||||||||
|
x→0 |
|
|
|
x→0 |
|
|
|
||||||||||||||
= lim |
x2 cos2 x − sin2 x |
= lim |
x cos x + sin x |
· |
x cos x − sin x |
= |
||||||||||||||||
|
|
|
|
|
||||||||||||||||||
x→0 x2 sin2 x |
|
|
|
|
x→0 |
x |
|
|
x sin2 x |
|||||||||||||
= 2 lim |
x cos x − sin x |
= 2 lim |
|
|
−x sin x |
|
= |
|
||||||||||||||
|
x→0 |
x sin2 x |
|
|
|
x→0 sin2 x + 2x sin x cos x |
§9. Приближенное вычисление корней уравнений |
129 |
|
lim |
x |
|
= |
|
|
||||
|
|
|
|
|
|
|||||
|
|
|
|
|
||||||
= −2 x |
→ |
0 sin x + 2x cos x |
|
|
||||||
|
|
1 |
|
|
|
|
2 |
|
||
lim |
|
|
|
|
|
|
. |
|||
|
|
|
|
|
2x sin x = − |
|
||||
= −2 x 0 cos x + 2 cos x |
− |
3 |
||||||||
→ |
|
|
|
|
|
|
|
|
3) Неопределенности вида 1∞, 00, ∞0 раскрываются после предварительного логарифмирования.
ПРИМЕР 5. Найдем
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
x→0 |
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|||||
|
lim |
|
|
sin x |
1 |
|
|
cos x |
= z. |
|
|
|
||||||||||
Мы имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
ln z = lim |
1 |
|
|
· |
ln |
sin x |
= lim |
ln sin x − ln x |
= |
|
||||||||||||
1 − cos x |
|
|
1 − cos x |
|||||||||||||||||||
x→0 |
|
|
x |
|
|
x→0 |
|
|
|
|
||||||||||||
= lim |
cos x/ sin x − 1/x |
|
= lim |
x cos x − sin x |
= |
− |
1 |
. |
||||||||||||||
|
|
3 |
||||||||||||||||||||
x→0 |
sin x |
|
|
|
|
|
|
|
x→0 |
|
x sin2 x |
|
Потенцируя, получаем z = e−13 .
§9. Приближенное вычисление корней уравнений
9.1.Метод итераций
Пусть F – дифференцируемая на (−∞, +∞) функция, удо-
влетворяющая условию |
|
|F (x)| ≤ q < 1 x (−∞, +∞) (q = const). |
(1) |
Требуется решить уравнение |
|
F (x) = x. |
(2) |
Изучим предварительно свойства итерационной последова-
тельности |
(3) |
xn+1 = F (xn) (n = 0, 1, . . .). |
ЛЕММА 9.1. Для произвольного n = 1, |
2, . . . выполнено |
|xn+1 − xn| ≤ qn|x1 − x0|. |
(4) |
130 |
Глава 5. Основные теоремы дифференциального исчисления |
Доказательство. Пользуясь формулой конечных приращений Лагранжа, мы имеем
xn+1 − xn = F (ξn) (xn − xn−1)
и, в силу (1),
|xn+1 − xn| ≤ q |xn − xn−1| .
Далее, в силу аналогичных соображений, при n ≥ 2 находим
|xn − xn−1| ≤ q |xn−1 − xn−2| ,
и
|xn+1 − xn| ≤ q2 |xn−1 − xn−2| .
Сделав n шагов, приходим к (4).
ЛЕММА 9.2. Для любых n > 1 и k ≥ 1 выполнено |
|
|||||||||
x |
n+k − |
x |
n| ≤ |
qn |
|x1 − x0 |
| |
. |
(5) |
||
| |
|
1 |
− |
q |
|
|
||||
|
|
|
|
|
|
|
|
|
|
Доказательство. Заметим сначала, что
xn+k−xn = (xn+k−xn+k−1)+(xn+k−1−xn+k−2)+. . .+(xn+1−xn).
Учитывая (4), получаем
|xn+k − xn| ≤ |xn+k − xn+k−1| + |xn+k−1 − xn+k−2| + . . . +
+|xn+1−xn| ≤ qn+k−1|x1−x0|+qn+k−2|x1−x0|+. . .+qn|x1−x0| = = qn|x1 − x0| qk−1 + qk−2 + . . . + q + 1 .
По формуле для суммы геометрической |
прогрессии |
||||||
|
|
|
|
||||
qk−1 + qk−2 + . . . + q + 1 = |
1 − qk |
< |
|
1 |
|
||
1 − q |
1 − q |
||||||
|
|
и из предыдущего соотношения следует (5).