Признаки существования пределов

Не всякая функция, даже ограниченная, имеет предел. Например, функция при предела не имеет. Во многих вопросах анализа бывает достаточно только убедиться в существовании предела функции. В таких случаях пользуются признаками существования пределов.

Теорема 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. Если то .