Математический анализ. Дифференцирование функции одной переменной теория и задачи. Учебное пособие для студентов 1 курса университетов
.pdfнедифференцируемых функций теорему применять нельзя).
Будем теперь рассматривать функцию f(x), определенную на сегменте [a, b].
Теорема 4.3 (Ролль). Пусть функция y = f(x): 1) непрерывна на сегменте [a, b]; 2) дифференцируема на интервале (a, b); 3) f(a) = f(b). Тогда найдется такая точка ξ (a, b), что f′(ξ) = 0.
Доказательство. Так как f(x) непрерывна на сегменте [a, b], то она достигает на нем своих точной верхней и нижней граней (вторая теорема Вейерштрасса). Обозначим
m = a6x6b |
1 |
, |
M = |
a6x6b |
2 |
, |
1 |
, x |
2 |
[a, b] |
. |
inf |
f(x) = f(x ) |
|
sup |
f(x) = f(x ) |
|
x |
|
|
Заметим, что, если m = M, то f(x) ≡ m = M на [a, b]. В этом случае f′(x) = 0 при всех x (a, b). Пусть теперь m < M. Если f(a) = m или f(b) = m, то x2 (a, b) (поскольку f(a) = f(b)). Значит, в точке x2 функция f(x) имеет локальный максимум, следовательно, f′(x2) = 0. Аналогично, если f(a) = M или f(b) = M, то x1 (a, b) и в точке x1 функция f(x) имеет локальный минимум, следовательно, f′(x1) = 0. Остался только
случай, когда x1, x2 (a, b). В этом случае f′(x1) = f′(x2) = 0.
Г еометрический смысл теоремы Ролля заключается в следующем: при выполнении всех условий теоремы на кривой y = f(x), a < x < b, найдется точка, касательная в которой будет параллельна оси абсцисс.
Заметим, что в случае нарушения хотя бы одного из трех условий теоремы ее заключение, вообще говоря, перестает быть
верным. Приведем соответствующие примеры.
{
Пример 4.3. 1) Функция f(x) = |
x, 0 6 x < 1, |
удо- |
0, x = 1
влетворяет условиям 2 и 3 теоремы, но не является непрерывной на сегменте [0, 1]. Очевидно, что всюду на интервале
(0, 1) f′(x) = 1 ̸= 0.
2) Функция f(x) = |x| удовлетворяет условиям 1 и 3 на сегменте [−1, 1], но не явлется дифференцируемой на интервале (−1, 1) (не существует производная в точке x = 0). При
21
−1 < x < 0 f′(x) = −1; при 0 < x < 1 f′(x) = 1.
3) Функция f(x) = x удовлетворяет условиям 2 и 3 на интервале (0, 1), но f(0) ̸=f(1) и f′(x) = 1 при всех x (0, 1).
Теорема 4.4 (Лагранж). Пусть функция y = f(x): 1) непрерывна на сегменте [a, b]; 2) дифференцируема на интервале (a, b). Тогда найдется такая точка ξ (a, b), что
f(b) |
− |
f(a) = f′(ξ)(b |
− |
a). |
|
|
|
|
(4.1) |
||||
|
|
|
|
|
|
|
|
|
|
|
|
||
Доказательство. |
|
Введем |
вспомогательную функцию |
||||||||||
F (x) = f(x) |
− |
f(a) |
− |
|
f(b) − f(a)(x |
− |
a) |
. Заметим, что эта |
|||||
|
|
|
|
b − a |
|
|
|
||||||
функция также непрерывна на сегменте [a, b] и дифференцируема на интервале (a, b) (поскольку представляет собой линейную комбинацию функции f(x) и линейной функции).
Заметим также, что F (a) = f(a)−f(a)− f(b) − f(a)(a−a) = 0; b − a
F (b) = f(b) − f(a) − f(b) − f(a)(b − a) = 0. Значит, функция b − a
F (x) удовлетворяет на сегменте [a, b] всем условиям теоремы Ролля; следовательно, на интервале (a, b) есть такая точка ξ,
что F ′(ξ) = 0. С другой стороны, F ′(ξ) = f′(ξ) |
− |
f(b) |
− f(a) |
. |
||
b |
||||||
Получаем, что f(b) − f(a) = f′(ξ)(b − a). |
− |
a |
||||
|
|
|
|
|||
|
|
|
|
|
||
Геометрический смысл теоремы Лагранжа: при выполнении всех условий теоремы на кривой y = f(x), a < x < b, найдется точка, касательная в которой будет параллельна секущей,
проходящей через точки A(a, f(a)) и B(b, f(b)). |
|
|
|||||||
Замечание |
4.1. |
Формулу |
(4.1) |
часто |
называ- |
||||
ют |
формулой |
Лагранжа |
или |
формулой |
конеч- |
||||
ных |
приращений. |
Если |
положить |
в |
ней a |
= |
x0, |
||
b = |
x0 + ∆x, |
то (4.1) |
можно |
переписать |
в |
виде: |
|||
∆f = f(x0 + ∆x) − f(x0) = f′(x0 + θ · ∆x) · ∆x, 0 < θ < 1.
Следствие 1. Если функция f(x) дифференцируема на интервале (a, b), и f′(x) = 0 при всех x (a, b), то f(x) ≡ const на (a, b).
Доказательство. Пусть точка x0 (a, b). Возьмем произвольное x (a, b) (пусть для определенности x > x0). Тогда
22
f(x) дифференцируема на [x0, x], следовательно, непрерывна на этом сегменте. Тогда по теореме Лагранжа найдется такая точка ξ (x0, x), что f(x) − f(x0) = f′(ξ)(x − x0) = 0, то есть f(x) = f(x0). В силу произвольности выбора точки x получаем, что f(x) = f(x0) при всех x (a, b), то есть f(x) ≡ const на
(a, b).
Следствие 2. Пусть функция f(x) дифференцируема на интервале (a, b). Тогда
1)f(x) не убывает (не возрастает) на (a, b) тогда и только тогда, когда f′(x) > 0 (f′(x) 6 0) при всех x (a, b);
2)Если f′(x) > 0 (f′(x) < 0) при всех x (a, b), то f(x) возрастает (убывает) на (a, b).
Доказательство. 1) Необходимость. Пусть f(x) не убывает на (a, b). Предположим, что существует такая точка x1 (a, b), что f′(x1) < 0. Тогда f(x) убывает в точке x1 (достаточное условие убывания функции в точке). Значит, найдется точка x2 > x1, для которой будет выполнено неравенство f(x2) < f(x1). Но это противоречит тому, что функция f(x) является неубывающей. Значит, наше предположение неверно и f′(x) > 0 при всех x (a, b).
Достаточность. Пусть f′(x) > 0 при всех x (a, b). Выберем точки x1, x2 (a, b), x1 < x2. Заметим, что функция f(x) непрерывна и дифференцируема на сегменте [x1, x2], значит, по теореме Лагранжа, найдется такая точка ξ (x1, x2), что f(x2) −f(x1) = f′(ξ)(x2 −x1). Так как f′(ξ) > 0, x2 −x1 > 0, то и левая часть последнего равенства неотрицательна. Это означает, что f(x2) > f(x1), если только x1 < x2, то есть функция f(x) не убывает на (a, b).
2)Пусть f′(x) > 0 при всех x (a, b). Выберем точки x1, x2 (a, b), x1 < x2. Поскольку f(x) непрерывна и дифференцируема на сегменте [x1, x2], то по теореме Лагранжа, найдется такая точка ξ (x1, x2), что f(x2)−f(x1) = f′(ξ)(x2 −x1). Так как f′(ξ) > 0, x2 − x1 > 0, то и левая часть последнего равенства строго положительна. Это означает, что f(x2) > f(x1),
если только x1 < x2, то есть функция f(x) возрастает на (a, b).
23
Замечание 4.2. Условие f′(x) > 0 при всех x (a, b) не является необходимым условием возрастания функции на интервале (a, b). Действительно, функция f(x) = x3, например, возрастает на (−1, 1), но f′(0) = 0.
Следствие 3. Пусть функция f(x) дифференцируема на интервале (a, b). Тогда ее производная f′(x) не может иметь на этом интервале ни устранимых разрывов, ни разрывов первого рода.
Доказательство. Пусть точка c принадлежит интервалу (a, b) и в этой точке функция f′(x) имеет конечные односто-
ронние пределы: l1 |
= lim |
f′(x) и l2 |
= |
lim f′(x). Возь- |
|
x→c−0 |
(a, b), x |
|
x→c+0 |
мем произвольную точку x |
> |
c. Так как f(x) |
||
непрерывна и дифференцируема на сегменте [c, x], то найдет-
ся такая точка ξ |
|
(c, x), что |
f(x) |
− f(c) |
= f′(ξ). Значит, |
|||||
x |
||||||||||
|
|
|
|
|
− |
c |
|
|||
|
f(x) − f(c) |
|
|
|
|
|
||||
f′(c) = lim |
= |
lim f′(ξ) = l2 (предел правой |
||||||||
x→c+0 |
x − c |
|
x→c+0 |
|
|
|
||||
части существует, поскольку существует предел левой части). Аналогично f′(c) = l1. Значит, функция f′(x) непрерывна в точке c.
Разрывы второго рода производная дифференцируемой
функции иметь может. |
|
|
||||
Пример |
|
|
4.4. |
Рассмотрим |
функцию |
|
|
x2 sin |
1 |
, |
x ̸=,0 |
|
|
f(x) = |
|
Она непрерывна |
и диффе- |
|||
x |
||||||
|
|
0, |
x = 0. |
|
|
|
|
|
|
|
|
|
|
ренцируема на интервале (−1, 1); ее производная f′(x) имеет в точке x = 0 разрыв второго рода (проверьте!).
Теорема 4.5 (Коши). Пусть функции f(x) и g(x) непрерывны на сегменте [a, b]; дифференцируемы на интервале (a, b), причем g′(x) ̸= 0для любого x (a, b). Тогда найдется такая точка ξ (a, b), что справедливо соотношение
f(b) − f(a) |
= |
f′(ξ) |
. (4.2) |
|
g(b) − g(a) |
g′(ξ) |
|||
|
|
Доказательство. Покажем сначала, что g(a) ̸=g(b). Действительно, если g(a) = g(b), то функция g(x) удовлетворя-
24
ет всем условиям теоремы Ролля. Значит, существует такая точка ζ (a, b), что g′(ζ) = 0, но по условию g′(x) ̸= 0 при всех x (a, b).Введем теперь вспомогательную функцию
F (x) = f(x) − f(a) − f(b) − f(a) (g(x) − g(a)). Она непрерыв- g(b) − g(a)
на на сегменте [a, b] и дифференцируема на интервале (a, b) (как линейная комбинация функций f(x) и g(x)). Кроме того, F (a) = F (b) = 0. Значит, согласно теореме Ролля, существует
= f′(ξ) − f(b) − f(a) g′(ξ). g(b) − g(a)
f′(ξ) = f(b) − f(a) . g′(ξ) g(b) − g(a)
Замечание 4.3 Формула (4.2) называется обобщенной формулой конечных приращений или формулой Коши. Формула Лагранжа является ее частным случаем при g(x) = x. Геометрический смысл теоремы Коши заключается в следующем: если рассмотреть параметрически заданную кривую x = g(t), y = f(t), то при выполнении условий теоремы на отрезке между g(a) и g(b) найдется точка, касательная в которой параллельна хорде, соединяющей точки с координатами (g(a), f(a)) и (g(b), f(b)). Кроме того, если в теореме Коши дополнительно потребовать, чтобы g(a) ̸=g(b), то условие g′(x) ̸= 0можно заменить менее жестким условием:
(f′(x))2 + (g′(x))2 > 0 при x (a; b).
§5. Раскрытие неопределенностей.
Определение 5.1. Говорят, что отношение двух функ-
ций |
|
f(x) |
представляет собой неопределенность вида |
0 |
||||||||
|
g(x) |
|
0 |
|||||||||
|
|
|
|
|
|
|
|
|
|
|||
при |
x → a, если |
lim f(x) = lim g(x) = 0 |
. |
|
||||||||
x |
→ |
a |
x |
→ |
a |
|
||||||
|
|
|
|
|
|
|
|
|
|
|
||
Аналогично можно определить неопределенность вида 00
при x → a − 0, x → a + 0, x → ∞, x → ±∞.
Теорема 5.1. Пусть 1) функции f(x) и g(x) определе-
ны и дифференцируемы на |
интервале (a − δ, a) |
для неко- |
торого δ > 0; 2) g′(x) |
̸= 0при всех x |
(a − δ, a); |
25
3)lim f(x) = lim g(x) = 0; 4) существует предел
x→a−0 |
|
|
x→a−0 |
||||
lim |
|
f′(x) |
|
= A |
(A R или A = ∞). Тогда существует и |
||
x a |
0 |
g |
(x) |
||||
→ − |
|
′ |
|
|
|
f(x) |
|
предел |
|
lim |
|
= A. |
|||
|
|
g(x) |
|||||
|
|
x→a−0 |
|
||||
Доказательство. Положим f(a) = g(a) = 0. Пусть {xn} —
числовая последовательность, такая, что xn → a при n → +∞, xn < a. Тогда существует такой натуральный номер N, что xn (a − δ, a) при всех n > N. Рассмотрим сегмент [xn, a], n > N. Функции f(x) и g(x) непрерывны на нем (поскольку lim f(x) = lim g(x) = f(a) = g(a) = 0) и диф-
ференцируемы на интервале (xn, a); кроме того, g′(x) ̸= 0
для |
любого x |
(xn, a). Значит, существует такая точка |
||||||||||
ξ |
(x |
n |
, a) |
, что |
f(xn) − f(a) |
|
= |
f′(ξn) |
(по теореме Коши). Так |
|||
|
g |
(ξ ) |
||||||||||
n |
|
|
g(x ) |
− |
g(a) |
|
||||||
|
|
|
|
|
n |
|
|
|
′ |
n |
|
|
как f(a) = g(a) = 0, то из последнего сотношения получаем,
|
f(xn) f′(ξn) |
|
|
|
|||||||
что |
|
|
= |
|
|
. Заметим теперь, что ξn → a при n → +∞ |
|||||
g(xn) |
g′(ξn) |
||||||||||
(так как xn |
< ξn < a и lim |
xn = a). Отсюда следует, что |
|||||||||
|
|
f′(ξn) |
|
|
|
n→+∞ |
|||||
lim |
|
= A (определение предела функции по Гейне). Но |
|||||||||
|
|||||||||||
n→+∞ g′(ξn) |
|
|
|
|
f(xn) |
|
|||||
это означает, что существует |
lim |
= A. В силу про- |
|||||||||
|
|||||||||||
|
|
|
|
|
|
|
|
n→+∞ g(xn) |
|||
извольности выбора последовательности {xn} и определения
предела функции по Гейне получаем, что lim |
f(x) |
= A. |
|
g(x) |
|||
x→a−0 |
|
Совершенно аналогично можно доказать следующее утверждение.
Теорема 5.2. Пусть 1) функции f(x) и g(x) определе-
ны и дифференцируемы на |
интервале (a, a + δ) |
для неко- |
торого δ > 0; 2) g′(x) |
̸= 0при всех x |
(a, a + δ); |
3)lim f(x) = lim g(x) = 0; 4) существует предел
|
x→a+0 |
|
|
x→a+0 |
|
|
|||
lim f′(x) |
= A |
( |
A |
R или |
A = |
∞). Тогда существует и |
|||
x |
|
|
|
|
|
|
|||
a+0 g |
(x) |
|
|
|
|||||
→ |
|
′ |
|
|
|
|
|
|
|
предел lim f(x) = A.
x→a+0 g(x)
26
Из двух приведенных выше теорем немедленно вытекает
Следствие (первое правило Лопиталя). Пусть 1)
функции f(x) и g(x) определены и дифференцируемы на мно-
◦
жестве Bδ(a) для некоторого δ > 0; 2) g′(x) ̸= 0при всех
|
◦ |
|
x |
|
a |
x a |
|
; 4) существует предел |
x Bδ(a); 3) |
|
|
||||||
|
|
|
lim f(x) = lim g(x) = 0 |
|
||||
lim f′(x) |
|
|
→ |
|
→ |
|
|
|
= A |
( |
A |
R или |
A = |
∞). Тогда существует и предел |
|||
|
|
|
|
|
||||
x→a g′(x) |
|
|
|
|||||
lim |
f(x) |
= A. |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
x→a g(x) |
|
|
|
|
|
|
|
|
Определение 5.2. Говорят, что отношение двух функций
f(x) |
представляет собой неопределенность вида |
∞ |
при |
|
g(x) |
|
|
||
|
∞ |
|||
x → a, если f(x) → ∞ (±∞), x → a; g(x) → ∞ (±∞), x → a.
Аналогично можно определить неопределенность вида ∞
∞
при x → a − 0, x → a + 0, x → ∞, x → ±∞.
Теорема 5.3. Пусть 1) функции f(x) и g(x) определены
и дифференцируемы на интервале (a − δ, a) |
для некоторого |
||||||||||||||||||||||||||
δ > 0; 2) g′(x) |
̸ |
= 0при всех x |
|
(a |
− |
δ, a); 3) |
|
|
|
lim f(x) = |
∞ |
, |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
x a |
− |
0 |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
→ |
|
|
|
|
|
||||
|
lim g(x) = |
∞; 4) существует предел x |
lim |
|
f′(x) |
= A (A R |
|||||||||||||||||||||
x |
a |
0 |
a |
− |
0 |
g |
|
(x) |
|
||||||||||||||||||
|
→ − |
|
|
|
|
|
|
|
|
|
|
→ |
|
|
′ |
|
|
|
|
|
|
|
|
|
|||
или A = ∞). Тогда существует и предел x |
|
a |
|
|
0 g(x) |
|
. |
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim |
|
|
|
f(x) |
= A |
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
→ − |
|
|
|
|
|
|
|
|
|
|
|||
x |
Доказательство. 1) |
Пусть |
сначала |
|
A |
|
R. Так как |
||||||||||||||||||||
a |
0 |
∞, x a 0 |
|
∞, то, не ограничивая общности, |
|||||||||||||||||||||||
|
lim f(x) = |
|
|
lim g(x) = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
→ − |
|
|
|
→ − |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
можем считать, что f(x) ̸= 0g, (x) ̸= 0при всех x (a − δ, a). Пусть {xn} — числовая последовательность, такая, что xn → a при n → +∞, xn < a. Тогда существует такой натуральный номер N = N(δ), что xn (a − δ, a) при всех n > N. Выберем натуральные числа m, n, такие, что N 6 m < n, и рассмотирм сегмент, заключенный между точками xm и xn. Функции f(x) и g(x) непрерывны и дифференцируемы на этом сегменте, причем g′(x) ̸= 0на нем. Значит, по теореме Коши, на соответствующем интервале найдется такая точка ξmn, что
f′(ξmn) |
|
f(xn) |
|
f(xm) |
|
f(xn) 1 |
|
f(xm)/f(xn) |
||||
|
|
= |
|
− |
= |
|
· |
|
− |
|||
g |
(ξ ) |
g(x ) |
g(x ) |
g(x ) |
1 |
g(x )/g(x ) |
||||||
′ |
mn |
|
n |
− |
m |
|
n |
|
|
− |
m |
n |
27
(можем делить на f(xn) и g(xn), поскольку эти выражения отличны от нуля). Отсюда получаем, что (если f(xn) ̸=f(xm))
|
|
|
|
|
|
|
|
|
f(xn) |
f′(ξmn) 1 |
|
|
|
g(xm)/g(xn) |
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
· |
|
− |
|
|
. |
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
g(x |
n |
) |
g |
(ξ |
mn |
) |
1 |
|
|
f(x |
m |
)/f(x ) |
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
′ |
|
|
|
|
− |
|
|
|
|
n |
|
|
|
|
|
|||||||
Зафиксируем |
|
теперь |
|
произвольное |
|
ε |
|
> |
0. |
Поскольку |
||||||||||||||||||||||||||||
|
lim |
|
|
f′(x) |
= |
A, то |
|
найдется |
|
такое δ1 |
|
= |
δ1(ε) |
(0, δ), |
||||||||||||||||||||||||
|
|
0 |
g |
(x) |
|
|
|
|||||||||||||||||||||||||||||||
x a |
|
|
|
|
||||||||||||||||||||||||||||||||||
→ − |
|
′ |
|
|
|
|
|
|
|
|
|
f (x) |
|
|
|
|
|
|
ε |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
что неравенство |
|
′ |
− A |
< |
|
|
|
будет выполено при всех |
||||||||||||||||||||||||||||||
g′(x) |
2 |
|
||||||||||||||||||||||||||||||||||||
x |
|
(a |
− |
δ |
1 |
, a) |
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
a |
при |
n |
+ |
∞, |
x |
n |
< a |
, |
|||||||
|
|
|
|
|
|
. Далее, |
так как |
n → |
|
|
→ |
|
|
|||||||||||||||||||||||||
то существует |
такое |
натуральное |
число |
M, |
M > N, |
что |
||||||||||||||||||||||||||||||||
xn (a − δ1, a) при всех n > M. Значит, для любого n > M
|
|
|
f (ξMn) |
|
− A |
|
|
ε |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
верно: |
′ |
|
|
< |
|
|
|
|
|
|
(1) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
g′(ξMn) |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
точка |
|
ξ |
|
|
|
|
|
|
|
|
|
между |
x |
и |
x |
|
|
x |
M |
, x |
n |
|
(a δ |
, a) |
). |
|||||||
(так как |
|
|
|
Mn лежит |
|
|
M |
|
n, а |
|
|
|
|
1 |
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
− |
g(xM )/g(xn)− |
|
|
|
||||||||
Теперь |
|
рассмотрим |
выражение |
|
|
|
|
|
|
|
|
|
|
. |
|
По- |
||||||||||||||||||||
|
|
|
|
lim |
|
f(x |
) |
|
= |
|
|
|
|
|
1 − f(xM )/f(xn) |
|
|
|
||||||||||||||||||
скольку |
|
|
|
∞, |
|
|
|
lim |
g(x |
) |
|
= |
∞, |
то |
||||||||||||||||||||||
|
n + |
∞ |
n |
|
|
|
|
|
|
|
|
n |
→ |
+ |
∞ |
|
|
n |
|
|
|
|
||||||||||||||
|
|
|
|
→ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
lim |
1 |
|
− g(xM )/g(xn) |
|
= 1. Значит, |
|
найдется |
такой нату- |
|||||||||||||||||||||||||||
|
|
|
|
|||||||||||||||||||||||||||||||||
|
1 − f(xM )/f(xn) |
|
||||||||||||||||||||||||||||||||||
n→+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
ральный номер K > M, что при всех n > K будет выполнено: |
||||||||||||||||||||||||||||||||||||
|
1 g(xM )/g(xn) |
− 1 < |
|
ε/2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
− |
|
|
|
|
|
|
(2) |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
1 f(xM )/f(xn) |
|
A |
+ ε/2 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
− |
|
|
lim |
f(x ) |
|=| |
|
, |
|
то |
|
можем |
считать, |
|
что |
|||||||||||||||||||||
(так |
как n |
|
+ |
∞ |
|
n |
|
|
|
|
∞ |
|
|
|
||||||||||||||||||||||
|
|
|
|
→ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
f(xn) ̸=f(xM ), то есть знаменатель в левой части неравенства не обращается в 0). Окончательно получаем, что для любого ε > 0 существует такое натуральное число K = K(ε), что при всех n > K:
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
||||||||
|
g(xn) |
− A |
g′′(ξMn) · 1 −f(xM )/f(xn) − A 6 |
|
|||||||||||||||||||
|
|
|
f(xn) |
|
|
|
|
|
|
f (ξMn) 1 |
g(xM )/g(xn) |
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|||||||
|
f′(ξMn) |
|
|
|
1 |
g(xM )/g(xn) |
|
|
|
|
|
f′(ξMn) |
|
|
|||||||||
6 |
|
|
|
· |
|
|
− |
|
− 1 |
+ |
|
− A |
< |
||||||||||
g′(ξMn) |
1 f(xM )/f(xn) |
g′(ξMn) |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
ε |
|
|
|
ε/2 |
|
|
ε |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
< ( |
|
+ |A|) · |
|
+ |
|
= ε |
|
|
||||||||||
|
|
|
|
|
2 |
|A| + ε/2 |
2 |
|
|
||||||||||||||
28
(здесь использованы оценки (1) и (2)). Это означает, что
lim |
f(xn) |
= A, откуда, в силу произвольности выбора по- |
|||||||||||||||||||||
|
|||||||||||||||||||||||
n→+∞ g(xn) |
|
|
|
|
|
|
|
|
|
|
|
f(x) |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
lim |
|
|
|
|
|
|||||||
следовательности {xn}, вытекает, что x |
a |
− |
0 |
g(x) |
|
= A. |
|
|
|||||||||||||||
|
|
|
|
|
|
|
f′(x) |
|
|
→ |
|
|
|
|
g′(x) |
|
|
|
|||||
2) Пусть теперь x |
lim |
|
= |
∞. Тогда x |
lim |
|
= 0 |
. По- |
|||||||||||||||
0 |
g |
(x) |
0 f |
(x) |
|||||||||||||||||||
a |
− |
|
|
a |
− |
|
|||||||||||||||||
|
|
|
f′(x) |
→ |
|
′ |
|
|
|
|
|
→ |
|
|
′ |
|
|
|
|
||||
|
lim |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
скольку x→a−0 |
g′(x) |
= ∞, то существует такое число δ1 (0, δ), |
|||||||||||||||||||||
что |f′(x)| > |g′(x)| для любого x (a − δ1, a). Но g′(x) ̸= 0 при всех x (a − δ1, a), следовательно, и f′(x) ̸= 0при всех x (a − δ1, a). Значит, можем применить рассуждения пункта
1 к отношению |
|
g(x) |
и получить, что lim |
g(x) |
= 0. Но это и |
||
|
f(x) |
|
|||||
|
|
|
|
x→a−0 f(x) |
|
||
означает, что x→a−0 |
g(x) |
|
∞. |
|
|
||
|
lim |
f(x) |
= |
|
|
|
|
|
|
|
|
|
|||
Аналогично доказывается
Теорема 5.4. Пусть 1) функции f(x) и g(x) определены и дифференцируемы на интервале (a, a + δ) для некоторого
δ > 0; 2) g′(x) |
̸ |
= 0при всех x |
|
(a, a + δ); 3) |
|
lim f(x) = |
∞ |
, |
||||||||||||
|
|
|
|
|
|
|
|
x→a+0 |
|
|
|
|
|
|
||||||
lim g(x) = |
∞; 4) существует предел x |
lim |
|
f′(x) |
= A |
( |
A |
R |
||||||||||||
|
|
|
||||||||||||||||||
x a+0 |
→ |
a+0 g |
(x) |
|
|
|
||||||||||||||
→ |
|
|
|
|
|
|
|
|
′ |
|
|
|
|
|
|
|
|
|
|
|
или A = ∞). Тогда существует и предел x |
lim f(x) |
= A |
. |
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||
→ |
a+0 g(x) |
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Из двух последних теорем вытекает
Следствие (второе правило Лопиталя). Пусть 1)
функции f(x) и g(x) определены и дифференцируемы на мно-
◦
жестве Bδ(a) для некоторого δ > 0; 2) g′(x) ̸= 0при всех
◦
x Bδ(a); 3) lim f(x) = ∞, lim g(x) = ∞; 4) существует пре-
дел lim f′(x) = A (A R или A = ∞). Тогда существует и
x→a g′(x)
предел lim f(x) = A.
x→a g(x)
Замечание 5.1. И в первом, и во втором правилах Лопиталя можно заменять условия x → a ± 0, x → a на условия
29
x → ±∞, x → ∞. Пусть, например, x → +∞. Тогда
lim |
f(x) |
= |
x = |
1 |
|
|
lim |
f(1/t) |
= |
lim |
f′(1/t)( 1/t2) |
= |
|||
|
t } |
|
g(1/t)( |
−1/t2) |
|||||||||||
x→+∞ g(x) |
|
{ |
= t→0+0 g(1/t) |
t→0+0 |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
= |
lim |
|
f′(1/t) |
= lim |
f′(x) |
. |
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
t→0+0 g′(1/t) |
x→+∞ g′(x) |
|
|
|
||||||||
Приведем несколько примеров использования правил Лопита-
ля, а также случаев, когда они неприменимы. |
|
|
|
|
|
|
|
|
|
|||||||||||||||
Пример 5.1. 1) lim |
x − sin x |
|
= lim |
1 − cos x |
|
= lim |
sin x |
= |
1 |
. |
||||||||||||||
|
|
|
|
6 |
||||||||||||||||||||
|
|
|
x→0 |
x3 |
|
x→0 |
3x2 |
|
|
|
x→0 |
|
6x |
|
||||||||||
2) lim |
xx = |
lim ex ln x |
|
lim (x ln x) |
|
|
|
|
|
|
|
|
|
|
|
|||||||||
= ex→0+0 |
|
= |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
x→0+0 |
x→0+0 |
|
|
|
|
ln x |
|
|
1=x |
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
lim |
|
lim |
|
|
0 |
|
|
|
|
||||||||
|
|
|
|
|
|
|
1=x |
|
( 1=x2) |
|
|
|
|
|
|
|||||||||
|
|
|
|
= ex→0+0 |
= ex→0+0 |
= e |
= 1. |
|
|
|||||||||||||||
|
|
|
|
|
|
− |
|
|
|
|
|
|||||||||||||
|
|
|
|
|
x2 sin 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
3) Вычислим предел lim |
|
|
x |
. Применим формально прави- |
||||||||||||||||||||
|
|
|
||||||||||||||||||||||
ло Лопиталя: |
|
x→0 |
sin x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
lim |
|
x2 sin x1 |
′ |
= lim |
|
2x sin x1 − cos x1 |
|
|
|
|
|
|
|
|
|||||||||
|
|
( (sin x)′) |
|
|
|
|
|
|
|
|
|
|||||||||||||
|
x→0 |
|
|
x→0 |
|
cos x |
|
|
. |
|
|
|
|
|
|
|
||||||||
Предел в правой части последнего соотношения не существует,
так как lim 2x sin 1 = 0, lim cos x = 1, а функция cos 1 не имеет
x→0 x x→0 x
предела в точке 0. Однако исходный предел можно вычислить:
()
lim |
x2 sin x1 |
= lim |
x2 sin x1 |
· |
x |
lim x sin |
1 |
= 0. |
|||||
sin x |
x |
sin x |
x |
||||||||||
x 0 |
x |
→ |
0 |
= x |
→ |
0 |
|
||||||
→ |
|
|
|
|
|
|
|
|
|
|
|||
Правило Лопиталя здесь неприменимо, поскольку одним из условий теоремы является существование предела отношения производных (конечного или беcконечного); в данном случае он не существует.
4) Рассмотрим функции f(x) = 1 + 2x + sin 2x и g(x) = (2x + sin 2x)esin x. Их отношение представляет собой
30
