Бесконечно большая функция (б.б.ф.)
Определение 2.3. Функция
называется бесконечно большой (б.б.ф.) при
, если для любого числа
существует число
, что для всех
, удовлетворяющих неравенству
, выполняется неравенство
, т.е.
.
Например, функция
есть б.б.ф. при
.
Если
стремится к бесконечности при
и принимает лишь положительные значения, то пишут
; если лишь отрицательные значения, то
.
Аналогично определяются бесконечно большие функции (т.е. понятия бесконечного предела функции) при
, или
, или
.
Бесконечно малые функции (б.м.ф.)
Определение 2.4. Функция
называется бесконечно малой (б.м.ф.) при
, если для любого положительного e найдется такое положительное число d, что для всех
, удовлетворяющих неравенству
, выполняется неравенство
.
С помощью логических символов это определение можно записать следующим образом:
.
Например, функция
есть б.м.ф. при
; функция
есть б.м.ф. при
;
Аналогично определяются бесконечно малые функции (т.е. понятия бесконечного предела функции) при
, или
, или
.
Бесконечно малые функции называют бесконечно малыми величинами или бесконечно малыми; обозначают обычно греческими буквами, т.е.
.
Пример 2.2. Показать, что функция

при
является бесконечно малой.
Решение. Так как
, то функция
есть бесконечно малая при
. Функция
, ограничена, т.к.
.
Функция
представляет собой произведение ограниченной функции
на бесконечно малую
. Значит,
- бесконечно малая при
.
,
Бесконечно малые функции играют существенную роль в том, что понятие предела функции может быть сведено к понятию бесконечной малой. Имеет место следующая теорема, которую примем без доказательства
Теорема 2.1. Число A является пределом функции
в точке
тогда и только тогда, когда имеет место равенство
,
где
- б.м.ф. при
, т.е.
.
Теорема 2.2. Если функции
и
имеют в точке
пределы A и B, т.е.
и
, то:
1)
;
2)
;
3)
;
4)
, где
;
Неопределенности
Если
и
- б.м.ф. при
, то выражение
при
называется неопределенностью типа
. Если
и
- б.б.ф. при
, то выражение
при
называется неопределенностью типа
, а выражение
- неопределенностью типа
. Если
- б.м.ф., а
- б.б.ф. при
, то
называется неопределенностью типа
. Аналогично вводятся неопределенности типа
и т.д.
Раскрыть неопределенность – это значит найти предел соответствующего выражения (если он существует), что зависит от конкретных функция, входящих в выражения.
Рассмотрим приемы раскрытия некоторых неопределенностей.
1. Непосредственное нахождение предела
Пример 2.3. Вычислить
.
Решение.
.
,
2. Преобразования, приводимые к сокращению дробей
Пример 2.4. Вычислить
.
Решение.
[раскладываем на множители числитель и знаменатель:
] =
=
.
,
3. Деление на старшую степень x при 
Пример 2.5. Вычислить
.
Решение.
.
,
Пример 2.6. Вычислить
.
Решение.
.
,
4. Сокращение с предварительным уничтожением иррациональности
Пример 2.7. Вычислить
.
Решение.

.
,
Не всякая функция, даже ограниченная, имеет предел. Например, функция
при
предела не имеет. Во многих вопросах анализа бывает достаточно только убедиться в существовании предела функции. В таких случаях пользуются признаками существования предела.
Теорема 2.3. (теорема о пределе промежуточной функции или теорема о «двух милиционерах») Если функция
заключена между двумя функциями
и
, стремящимися к одному и тому же пределу, то она также стремиться к этому пределу, т.е., если
и
,
, то
.
Замечательные пределы
Теорема 2.4. (I замечательный предел) Предел отношения синуса к его аргументу равен единице, когда аргумент стремится к нулю, т.е.
. (2.1)
Пример 2.8. Найти
.
Решение. Первый способ. Имеем неопределенность типа
. Теорема о пределе дроби не применима. Обозначим
, тогда при
и
, поэтому
.
Второй способ.
.
,
Пример 2.9. Найти
.
Решение.
.
,
Теорема 2.5. (II замечательный предел)
. (2.2)
Если в равенстве (2.2.) положить
(
при
), оно напишется в виде
. (2.3)
Равенство (2.3) тоже называется II замечательным пределом.
Пример 2.10. Найти
.
Решение.

.
,
2.7.Сравнение бесконечно малых функций
Как известно, сумма, разность и произведение двух б.м.ф. есть функция бесконечно малая. Отношение же двух б.м.ф. может вести себя различным образом: быть конечным числом, быть бесконечно большой функцией, бесконечно малой или вообще не стремиться ни к какому пределу.
Две б.м.ф. сравниваются между собой с помощью их отношения.
Пусть
и
есть б.м.ф. при
, т.е.
и
. Тогда:
1) Если
, то функции
и
называются бесконечно малыми одного порядка. В этом случае пишут:
при
(читается: «
есть O большое от
при
).
2) Если
, то функция
называется бесконечно малой более высокого порядка, чем
. В этом случае пишут:
при
(читается: «
есть o малое от
при
).
3) Если
, то функция
называется бесконечно малой более низкого порядка, чем
.
4) Если
не существует, то функции
и
называются несравнимыми бесконечно малыми.
Например, при сравнении двух функций
и
при
, получаем
, значит, данные функции являются бесконечно малыми одного порядка, т.е.
; при сравнении двух функций
и
при
, получаем
, значит, функция
является бесконечно малой более низкого порядка, чем функция
.
Пример 2.11. Можно ли сравнить функции
и
при
.
Решение. Функции
и
при
являются несравнимыми б.м.ф., так как предел
не существует.
,
Отметим, что таковы же правила сравнения б.м.ф. при
.
Среди бесконечно малых функций одного порядка особую роль играют так называемые эквивалентные бесконечно малые.
Если
, то функции
и
называются эквивалентнымибесконечно малыми при
; это обозначается так: a~b.
Теорема 2.6. Если при
~
,
~
и существует
, то существует
, причем
.
Для раскрытия неопределенностей типа
часто бывают полезным применять принцип замены бесконечно малых эквивалентными и другие свойства эквивалентных бесконечно малых функций. Как известно,
~
при
,
~
при
. Приведем еще примеры эквивалентных б.м.ф.
Пример 2.12. Покажем, что
~
при
.
Решение.
.
,
Пример 2.13. Найти
.
Решение.
.
,
Ниже приведем важнейшие эквивалентности, которые используются при вычислении пределов:
1. ~ при ;
2. ~ при ;
3. ~ при ;
4. ~ при ;
5. ~ при ;
| 6. ~ при ;
7. ~ при ;
8. ~ при ;
9. ~ при ;
10. ~ при ;
в частности, ~ .
|
Пример 2.14. Найти
.
Решение. Так как
~
при
, то
.
,
2.8.Односторонние пределы
В определении предела функции
считается, что
стремится к
любым способом: оставаясь меньшим, чем
(слева от
), большим, чем
(справа от
), или колеблясь около точки
.
Бывают случаи, когда способ приближения аргумента
к
существенно влияет на значение предела функции. Поэтому вводят понятия односторонних пределов.
Определение 2.5. Число A1 называется пределом функции
слева в точке
, если для любого положительного e найдется такое число
, что при
, выполняется неравенство
.
С помощью логических символов это определение можно записать следующим образом:
.
Или коротко:
.
Аналогично определяется предел функции справа, который с помощью символов можно записать следующим образом:
.
Или коротко:
.
Пределы функции слева и справа называются односторонними.
Пример 2.15. Найти односторонние приделы функции
в точке
.
Решение. Имеем
;
. ,
Связь между односторонними пределами и пределом функции в точке устанавливается следующей теоремой, которую примем без доказательства.
Теорема 2.7. Функция
имеет предел в точке
тогда и только тогда, когда в этой точке существует правый и левый пределы и они равны. В этом случае их общее значение и является пределом функции
в точке
, т.е.
.
Следовательно, если односторонние пределы в точке существуют, но не равны, то предел функции в этой точке не существует. Так, функция
в точке
предела не имеет, поскольку
.
3. НЕПРЕРЫВНОСТЬ ФУНКЦИИ
~
~
~
~
при
~
~
при
~
при
~
.