Признаки существования пределов
Не всякая функция, даже ограниченная, имеет предел. Например, функция при
предела не имеет. Во многих вопросах анализа бывает достаточно только убедиться в существовании предела функции. В таких случаях пользуются признаками существования пределов.
Теорема 5. (О пределе промежуточной функции)
Если функция заключена между двумя функциями
и
, стремящимися к одному и тому же пределу, то она также стремиться к этому пределу, т.е. если
,
и
, то
.
Доказательство:
Так как и
, то для любого
существуют две окрестности
и
точки
, для всех точек которых соответственно выполняются неравенства
и
.
Пусть – меньшее из чисел
и
. Тогда в
– окрестности точки
выполняются оба неравенства.
По условию , тогда
.
Получаем или
. Это значит, что
, т.е.
. Ч. и т. д.
Теорема 6. (О пределе монотонной функции)
Если функция монотонна и ограничена при
или при
, то существует соответственно её левый предел
или её правый предел
.
Теорема 7. (Вейерштрасса)
Ограниченная монотонная последовательность ,
, имеет предел.
Заметим, что теорему 7 можно считать следствием теоремы 6.
Замечательные пределы
Первым замечательным пределом называется предел вида
(2.2.1)
Доказательство:
Для доказательства формулы (2.2.1) рассмотрим круг радиуса с центром в точке
.
Пусть
– радиус вектор точки
, лежащей на окружности радиуса
с центром в точке
, образующий угол
с осью
, дуга
численно равна центральному углу
(см. рис. 2.2.2).
На рис.2.2.2 видно, что площадь треугольника меньше площади сектора
, которая в свою очередь меньше площади прямоугольного треугольника
, т. е.
.
Так как , то имеем
.
Разделим все части полученного двойного неравенства на , получаем
или
.
Так как функции и
четные, то полученные неравенства справедливы и при
.
и
.
Тогда по признаку (о пределе промежуточной функции) существования предела (см. теорему 5 п. 2.2.3) . Ч. и т. д.
Примеры.
1.
2.
.
Вторым замечательным пределом называется предел вида
(2.2.2)
или
. (2.2.3)
Доказательство:
Для доказательства формулы (2.2.2) рассмотрим прежде предел числовой последовательности ,
при
.
Докажем, что эта последовательность удовлетворяет теореме Вейерштрасса (см. теорема 7 п. 2.2.3), т.е. имеет предел и он равен , иначе говоря
. (2.2.4)
Докажем, что последовательность возрастающая, а значит монотонная, и что она ограничена.
По формуле бинома Ньютона
.
Полагая ,
, получим
т. е.
(2.2.5)
Из последнего равенства следует, что с увеличением число положительных слагаемых увеличивается, число
убывает, поэтому величины
,
,
возрастают, поэтому последовательность
– возрастающая, при этом
. (2.2.6)
Покажем, что последовательность – ограничена. Заменим каждую скобку в правой части равенства (2.2.5) на единицу; правая часть увеличится, получим неравенство
.
Усилим полученное неравенство, заменив числа 3, 4, 5, …, стоящие в знаменателях дробей, числом 2:
.
Сумму в скобке найдем по формуле суммы членов бесконечно убывающей геометрической прогрессии с
и
:
.
Поэтому
. (2.2.7)
Итак, последовательность – ограничена, при этом для
выполняются неравенства (2.2.6) и (2.2.7):
.
Следовательно, на основании теоремы Вейерштрасса последовательность ,
, имеет предел, обозначенный
:
. Ч. и т. д.
Число называется неперовым числом. Число
иррациональное, его приближенное значение равно
. Число
принято за основание натурального логарифма.
Докажем теперь что к числу стремится и функция
при
:
.
1. Пусть .
Каждое значение заключено между двумя положительными целыми числами:
, где
– это целая часть числа
. Отсюда следует
,
, поэтому
.
Если , то
. Поэтому согласно формуле (2.2.4), имеем:
.
По признаку (о пределе промежуточной функции) существования пределов (см. теорему 5 п. 2.2.3)
(2.2.8)
2. Пусть .
Сделаем подстановку , тогда
и при
,
. Получаем
т. е.
(2.2.9)
Из равенств (2.2.8) и (2.2.9) вытекает равенство (2.2.2), т.е.
. Ч. и т. д.
Докажем равенство (2.2.3) : выполним подстановку
, тогда
и при
,
. Получаем
. Ч.и т. д.
Примеры.
1. , т.к.
,
, то окончательно получим
2. ,
т.к.
то окончательно получим
3.
Выполним подстановку , тогда
и при
,
.
Получаем
.
Используя прием, рассмотренный в приведенных выше примерах можно найти множество других пределов.
При вычислении пределов вида где
возможны варианты.
1. Если то
.
2. Если то
.