Конспект лекций по математике для студентов инженерно-технических специальностей. В 3 ч. Ч. 1
.pdf
в степень бесконечно больших или бесконечно малых переменных величин. В таких случаях уже недостаточно знать лишь пределы последовательностей
(xn ) B Bи (yn ) или функций f (x) и g (x), но необходимо учитывать и самый закон
их изменения, характер поведения в окрестности предельной точки. Для вычисления таких пределов приведенные теоремы неприменимы, проводится исследование выражений, которое называют раскрытием неопределенности, и только после этого можно применять указанные выше правила операций предельного перехода.
Рассмотрим подробнее пример одной неопределенности 00 , возникающей при
|
lim |
xn |
n |
|
|
n |
|
вычислении предела |
n→∞ |
yn |
частного последовательностей (x |
) |
B Bи (y |
|
), когда |
обе переменные (xn ) B Bи (yn )B B одновременно стремятся к нулю при |
n → ∞. В |
||||||
этом случае, хотя нам известны пределы (xn ) B Bи (yn ), но о пределе их
отношения, не зная самих этих вариант, никакого общего утверждения сделать нельзя. Этот предел, в зависимости от частного закона изменения каждой из переменных, может иметь различные значения или даже вовсе не существовать.
В самом деле, пусть xn = n12 , yn = 1n ; обе варианты стремятся к нулю и их
отношение |
xn |
= |
1 |
также стремится к нулю при n → ∞. Если же, наоборот, |
||||||
|
|
|
||||||||
|
yn |
|
n |
|
|
|
|
|||
положить xn = |
1 |
, |
yn = |
1 |
, то, хотя они по-прежнему стремятся к нулю, но их |
|||||
|
2 |
|||||||||
|
xn |
|
n |
|
n |
|
||||
отношение |
= n стремится к ∞. Если xn = a , a = const, |
a ≠ 0, yn = 1 , то при |
||||||||
|
||||||||||
|
yn |
|
|
|
|
|
n |
n |
||
n → ∞ |
xn |
= a , а если x |
= (−1)n+1 |
, |
y = 1 |
, то их отношение |
xn |
= (−1)n+1 вообще |
|
|
n |
n |
|
n |
|
yn |
|
|
yn |
|
|
|||||
не имеет предела.
Подобные обстоятельства возникают и в случае других неопределенностей, будь то последовательности или функции.
Приведем некоторые рекомендации по раскрытию неопределенностей.
Основная трудность раскрытия неопределенности 00 состоит в выделении
множителя (x − x0 )α в числителе и знаменателе дроби, если x → x0 . Если дробь
рациональная, то числитель и знаменатель раскладывают на множители. Если дробь содержит иррациональные выражения, то выделение подобных множителей достигается переводом иррациональностей в числитель или знаменатель. Если дробь содержит тригонометрические функции, то используют первый замечательный предел или эквивалентные бесконечно малые
206
функции, о которых говорится ниже. Кроме того, полезными оказываются пределы
lim |
loga (1 + x) |
= loga e, |
lim |
ln (1+ x) |
=1, |
|
|
|
|||||
|
|
|
|
|
|||||||||
x→0 |
|
x |
|
x→0 |
x |
|
|
|
|
|
|
||
|
|
|
|
lim |
ax −1 |
= ln a, |
|
lim |
ex −1 |
=1, |
|||
|
|
|
|
x |
|
x |
|||||||
|
|
|
|
x→0 |
|
|
|
|
x→0 |
|
|||
|
|
|
|
lim |
(1+ x)µ −1 |
= µ . |
|
|
|
|
|||
|
|
|
|
x |
|
|
|
|
|
||||
|
|
|
|
x→0 |
|
|
|
|
|
|
|
||
При раскрытии неопределенности ∞ |
в числителе и знаменателе выделяют |
||||||||||||
множители xα и xβ |
|
|
|
∞ |
|
|
|
|
|||||
и делят на старшую степень x . |
|||||||||||||
|
|
Неопределенные выражения 0 ∞ |
и ∞ − ∞ сводятся к неопределенности |
||||||||||
вида |
0 |
или |
∞ . |
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
∞ |
|
|
|
|
|
|
|
|
|
Неопределенность вида 1∞ раскрывается с помощью второго замечательного предела, который приводится ниже.
Для раскрытия неопределенностей 00 , ∞0 применяют логарифмирование
выражений или правило Лопиталя, которое будет рассмотрено ниже в разделе “Дифференциальное исчисление функции одной переменной”.
§ 6. Первый и второй замечательный пределы
Установим два важных предела, которые используются при вычислении пределов для раскрытия неопределенностей.
TТеорема 5.14.T Справедливо равенство
|
|
|
lim sin x |
=1 |
(5.3) |
|
|
|
|
x→0 |
x |
|
|
Доказательство. |
Так как f (x)= sin x |
является |
четной функцией, рассмотрим ее |
|||
|
|
|
|
x |
|
|
|
0; |
π |
|
|
|
|
только на промежутке |
2 |
. |
|
|
|
|
|
|
|
|
|
|
|
207
y |
C |
|
B |
|
|
x |
|
|
D |
А |
x |
|
|
Рис. 5.2
Предварительно докажем неравенства sin x < x < tgx, |
|
0 < x < |
π |
|
. С этой целью в |
||||||||||||||||||||||||||||||||||
|
2 |
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
круге единичного радиуса рассмотрим острый угол АОВ, |
хорду АВ и касательную АС к |
||||||||||||||||||||||||||||||||||||||
окружности в точке А (рис. 5.2). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
Сравним площади S∆AOB < SсектораAOB < S∆AOC . |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
Обозначим через х радианную меру АОВ, тогда |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
OA |
|
=1, |
|
AC |
|
= tgx, |
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
1 |
|
OA |
|
2 sin x < 1 |
|
OA |
|
2 x < 1 |
|
OA |
|
|
|
AC |
|
sin x < x < tgx; |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
2 |
|
|
|
|
2 |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
далее, так как принято |
|
0 < x < π , разделим неравенства на sin x |
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
1 < |
x |
|
< |
1 |
|
|
|
cos x < sin x |
<1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
sin x |
cos x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
В силу четности функций cos x и |
sin x |
последнее двойное неравенство справедливо и |
|||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|||||||||
для интервала |
|
|
π |
;0 |
|
|
|
неравенства cos x < |
sin x |
<1 |
выполняются для всех |
||||||||||||||||||||||||||||
− |
2 |
|
. Отсюда, |
|
|
x |
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
x − |
π ;0 |
0; |
π |
|
. |
|
Перейдем в неравенствах к пределам при |
x → 0 |
limcos x =1 и, |
||||||||||||||||||||||||||||||
|
2 |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x→0 |
|||||
208
согласно свойству пределов, предел отношения |
sin x |
заключенный между limcos x и 1 равен |
|
x |
|||
|
x→0 |
||
1, т.е. |
|
|
lim sin x =1.
x→0 x
Предел (5.3) называют первым замечательным пределом. Он используется для раскрытия некоторых неопределенностей вида 00 .
TЗамечание 5.3. TИз равенства (5.3) можно легко получить
|
|
lim |
|
x |
|
|
=1; lim tgx =1; lim arcsin x |
=1 и т.п. |
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
x→0 sin x |
|
|
x→0 |
x |
|
|
|
|
x→0 |
x |
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
(x |
|
|
)= |
|
|
1 n |
|
|
|
|
||||
Рассмотрим последовательность |
n |
|
1 + |
|
|
. Применяя формулу |
|
||||||||||||||||||||
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
бинома Ньютона к xBn ,Bполучим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
1 n |
1 |
|
1 |
|
|
1 |
1 |
|
|
|
|
2 |
|
|
|
1 |
1 |
n −1 |
(5.4) |
|||||||
1+ |
=1+1+ |
|
1 |
− |
|
|
+ |
|
1− |
n |
1 |
− |
n |
|
+... + |
|
|
1− |
... 1− |
|
|||||||
|
|
|
|
|
|||||||||||||||||||||||
|
n |
2! |
|
n |
|
3! |
|
|
|
|
|
|
|
n! |
n |
n |
|
||||||||||
В этой записи для общего элемента последовательности все слагаемые, |
|||||||||||||||||||||||||||
кроме первых двух, возрастают и для |
|
xn+1 |
|
добавляется еще одно слагаемое. |
|||||||||||||||||||||||
Следовательно, при всех n N |
выполняется xn < xn+1 |
и последовательность (xn ) |
|||||||||||||||||||||||||
возрастающая. Кроме того, заменяя в формуле (5.4) все множители в скобках единицами, найдем с учетом формулы суммы геометрической прогрессии
x |
|
1 |
|
1 |
|
1 |
|
|
|
1 |
|
|
1 |
|
|
1 |
|
|
1 n |
|
||
<1+1+ |
|
+ |
|
+... + |
|
|
< 2 |
+ |
|
+ |
... + |
|
|
|
= 2 + 2 |
|
− |
|
|
|
< 3 |
|
|
|
|
|
|
|
n−1 |
|
|||||||||||||||
n |
|
2! 3! |
|
n! |
|
|
2 |
|
|
2 |
|
2 |
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
||||||||
Последовательность (xn ) возрастает и ограничена, следовательно, она |
||||||||||||||||||||||
сходится и |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
1 n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 < lim 1 |
< 3 . |
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
n→∞ |
|
n |
|
|
|
|
|
|
|
|
|
|
||
Предел этой последовательности называют числом е. Число е является иррациональным
209
е=2,718281828… |
|
|||||
и известно как основание натуральных логарифмов. |
|
|||||
Таким образом, |
|
|
|
|
|
|
|
1 n |
= e |
(5.5) |
|||
lim 1 + |
|
|
||||
n→∞ |
n |
|
|
|
|
|
В общем случае это число можно определить как |
|
|||||
|
|
1 |
x |
(5.6) |
||
lim 1 + |
x |
= e |
||||
x→∞ |
|
|
|
|||
Если в равенстве (5.6) положить 1 |
= t , то при x → ∞ t → 0 получим еще |
|||||
х |
|
|
|
|
|
|
одну форму записи предела |
|
|
|
|
|
|
|
|
|
1 |
|
||
lim(1 + t) |
|
= e |
(5.7) |
|||
t |
||||||
t→0 |
|
|
|
|
|
|
Предел (5.5) - (5.7) называют вторым замечательным пределом, его применяют, например, для раскрытия неопределенностей вида 1∞ .
Примеры 5.10. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
lim sin9x = |
|
0 |
|
|
|
sin9x |
9x |
= lim 9x lim |
|
sin9x |
= 9 1 = 3 . |
|
|
|
||||||||||||||||||||
|
|
|
|
|
= lim |
9x |
|
9x |
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
sin3x |
|
|
|
sin3x |
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
x→0 sin3x |
|
|
x→0 |
|
|
|
|
|
x→0 |
3x x→0 |
|
3 1 |
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
0 |
|
|
3x |
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3x |
|
|
|
|
|
|
|
|
3x |
|
|
|
|
|
|
|
|
||||
При вычислении предела дважды применен первый замечательный предел и условие, |
|||||||||||||||||||||||||||||||||||||||
что при |
x → 0 переменная х не принимает значение |
x = 0 , |
а только сколь угодно близко |
||||||||||||||||||||||||||||||||||||
приближается к нулю. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
2 |
|
|
|
|
|
|
|
|
|
|
2 |
|
x2 |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
3x + 4 |
x |
|
|
|
|
|
|
|
|
|
3x + 4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
3x+2 |
3x+2 x+2 |
||||||||||
|
|
|
x+2 |
|
|
∞ |
|
|
|
|
|
|
|
x+2 |
|
|
|
|
|
|
2 2 |
|
|
|
|
||||||||||||||
lim |
|
|
|
|
|
|
|
|
|
= lim 1+ |
|
|
|
−1 |
|
|
|
|
= lim |
|
|
1+ |
|
|
|
|
|
|
|
= |
|||||||||
x→∞ |
|
3x + 2 |
|
|
|
|
|
x→∞ |
|
3x + 2 |
|
|
|
|
|
x→∞ |
|
|
|
|
3x |
+ 2 |
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim |
2 x2 |
|
|
|
∞ |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
= e |
|
2 |
+8 x+4 |
|
= e3 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
x→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
3x |
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
При вычислении этого предела прежде всего убеждаемся, что имеем неопределенность 1∞ , а затем преобразуем выражение с целью применить второй замечательный предел.
B B
210
§ 7. Бесконечно малые и бесконечно большие функции
Рассмотрим |
подробнее |
определенные |
выше бесконечно |
малые и |
|||
бесконечно большие величины для случая функций. |
|
|
|||||
TОпределение |
5.31.T |
Функция |
y = f (x) |
называется |
бесконечно малой |
||
функцией (БМФ) при x → x0 , если lim f (x) =0 . |
|
|
|
||||
|
|
|
x→x0 |
|
|
|
|
TОпределение |
5.32. |
TФункция |
y = f (x) называется бесконечно |
большой |
|||
функцией (ББФ) при x → x0 , если |
lim f (x) =∞. |
|
|
|
|||
|
|
|
x→x0 |
|
|
|
|
Аналогично определяется БМФ и ББФ при x →∞, |
x →+∞, |
x →−∞, |
|||||
x → x0 −0 , x → x0 +0 . |
|
|
|
|
|
|
|
Приведём равносильные определения БМФ по Коши (на языке “ε-δ”) и по Гейне (“на языке последовательностей”).
TОпределение 5.33. TФункция y = f (x) называется бесконечно малой при
x → x0 |
, если для любого |
ε > 0 существует δ > 0 такое, что для любого |
. |
||||
x Oδ (x0 ) |
|||||||
|
f (x) |
|
< ε . |
Функция y = f (x) |
называется бесконечно малой при |
||
|
|
||||||
|
|
|
TОпределение 5.34.T |
||||
x → x0 |
, если для любой |
сходящейся к x0 |
последовательности (xn ) |
значений |
|||
аргумента x , отличных от x0 , соответствующая последовательности ( f (xn ))
значений функции стремится к нулю.
БМФ принято обозначать α (x), β (x), γ (x)... .
Если функция |
f (x) при x → x0 БМФ, то функция |
1 |
при x → x0 - ББФ. |
|||
f (x) |
||||||
|
|
|
|
|
||
Если f (x) при x → x0 |
является ББФ, то функция |
1 |
при x → x0 - БМФ. |
|||
f (x) |
||||||
|
|
|
|
|
||
211
Примеры 5.11. |
Функции f (x) = sin x при x →0 , |
f (x) = cos x при x → π |
, |
|
|
2 |
|
f (x) = 1x при
f (x) = x2 при
x→∞
x→∞
является БМФ, функции f (x) = 1x при x →0 , f (x) =tgx при x → π2 ,
являются ББФ.
БМФ и ББФ обладают такими же свойствами, что и бесконечно малые и бесконечно большие последовательности соответственно. Укажем некоторые основные свойства БМФ и проведём их сравнение.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
(x0 ) |
есть БМФ в |
. |
|
|
|
||
|
|
TТеорема 5.15. T Конечная сумма БМФ в Oδ |
Oδ (x0 ) . |
|
||||||||||||||||||||||
|
|
|
|
|
|
α i (x) , |
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|||
|
|
Доказательство. |
Пусть |
i =1,n |
- все БМФ в |
Oδ |
(x0 ) , т.е. limα i (x) = 0 , |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x→x0 |
|
|
|
|
|
n |
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
i =1,n , тогда lim ∑ α i (x) = ∑ limα i (x) = 0 , ч.т.д. |
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
x→x0 i=1 |
|
i=1 x→x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
||||||
|
|
TТеорема 5.16.T Произведение БМФ и функции, ограниченной в |
(x0 ) |
|||||||||||||||||||||||
|
|
Oδ |
||||||||||||||||||||||||
есть БМФ. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
α(x) - |
|
|
|
|
|
f (x) ограничена в |
. |
|
|
ε |
|
|||||||||
|
|
Доказательство. |
Пусть |
БМФ, |
Oδ (x0 ) , |
т.е. |
|
|
> 0 |
|||||||||||||||||
|
|
M |
||||||||||||||||||||||||
. |
|
|
|
ε |
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
||||
δ1 > 0: x Oδ1 (x0 ) |
α(x) |
< |
и M > 0: x Oδ2 |
(x0 ) |
f (x) |
≤ M . |
|
|
|
|
||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
M |
|
|
|
|
|
|
|
|
|
. |
|
|
|
. |
|
|||||
|
|
|
|
|
α(x) |
|
ε |
|
|
|
f |
(x) |
|
≤ M |
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
Для δ = min(δ1,δ2 ) |
|
|
< |
|
|
, |
|
в |
|
Oδ (x0 ) . Тогда |
в |
Oδ |
(x0 ) |
|||||||||||||
|
M |
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
α(x) f (x) = α(x)
f (x) < Mε M = ε , т.е. α(x) f (x) при условиях теоремы есть БМФ.
|
|
Пример 5.12. Функция y = 1 sin x |
при x →∞ является БМФ. Действительно, |
||||
|
|
|
|
|
|
x |
|
lim |
1 |
=0 , |
|
sin x |
|
≤1. |
|
|
|
|
|||||
x→∞ |
x |
|
|
|
|
|
. |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
Из теорем следует, что произведение числа и БМФ или двух БМФ в Oδ (x0 ) |
|||||
есть БМФ, частное от деления БМФ в |
. |
||||||
Oδ (x0 ) на функцию, имеющую конечный |
|||||||
предел при x → x0 , неравный нулю, также есть БМФ.
Поведение функции вблизи точки x0 , в которой функция, как правило, не определена, называют асимптотическим поведением функции в окрестности этой
212
точки. Асимптотику обычно характеризуют с помощью другой, более простой или более изученной функции, которая в окрестности исследуемой точки с малой относительной погрешностью воспроизводит значение изучаемой функции.
TОпределение 5.35. T Если α(x), β(x) - БМФ и lim |
α(x) |
= c , c ≠ 0, c ≠∞, то их |
x→x0 |
β(x) |
|
|
|
называют БМФ одного порядка малости при x → x0 .
T |
Определение 5.36. TЕсли α(x), β(x) - БМФ и |
lim |
α(x) =1, |
то их называют |
||
|
|
|
|
x→x0 |
β(x) |
|
|
|
|
|
|
|
|
эквивалентными при x → x0 (или асимптотически равными при x → x0 ). |
||||||
|
Эквивалентность обозначают символом ≈, т.е. α(x) ≈ β(x) |
при x → x0 . |
||||
|
Если lim α(x) = 0 , то при x → x0 |
справедливы асимптотические равенства: |
||||
|
x→x0 |
|
|
|
|
|
|
sinα(x) ≈α(x) , |
tgα(x) ≈α(x) , |
arcsinα(x) ≈α(x) , |
arctgα(x) ≈α(x) , |
||
|
1+α(x) −1≈ 1α(x) , |
n1+α(x) −1≈ 1α(x) , eα ( x) −1≈α(x) , ln(1+α(x)) ≈α(x) . |
||||
|
2 |
n |
|
|
|
|
TТеорема 5.17.T Предел отношения двух БМФ равен пределу отношения эквивалентных им функций, т.е., если при x → x0 α1 (x) ≈α2 (x) ,
lim |
α1 |
(x) |
= lim |
α2 |
(x) |
. |
|
β1 |
(x) |
β2 |
(x) |
||||
x→x0 |
x→x0 |
|
|||||
|
|
|
|
|
|
|
Доказательство. Представим |
||||||
lim |
α1 |
(x) |
|
α1 (x) |
|
α2 (x) |
|
β2 (x) |
β1 |
(x) |
= lim |
α2 (x) |
β2 (x) |
β1 (x) |
|||
x→x0 |
x→x0 |
|
|
|||||
так как в силу эквивалентности α1 (x)
= lim |
α1 |
|
|
x→x |
α2 |
|
|
|
|
0 |
|
и α2 (x) ,
(x) limα2 (x) (x) x→x0 β2 (x)
β1 (x) и β2 (x)
lim |
β2 |
(x) = lim |
α2 |
(x) |
, |
|
x→x0 |
β1 |
(x) |
x→x0 |
β2 |
(x) |
|
|
|
|
|
|
||
lim |
α1 |
(x) |
=1, lim |
β2 |
(x) =1. |
x→x0 |
α2 |
(x) |
x→x0 |
β1 |
(x) |
|
|
|
|
Теорема используется при вычислении пределов, где бесконечно малые величины заменяют более простыми, эквивалентными им.
Пример 5.13. lim |
e2 x −1−7x2 |
= lim |
2x − 7x2 |
= lim |
2 − 7x |
= |
2 |
, так как БМФ |
|
arcsin3x + arctgx2 |
3x + x2 |
3 + x |
3 |
||||||
x→0 |
x→0 |
x→0 |
|
|
|||||
e2 x −1 ≈ 2x, arcsin3x ≈ 3x, arctgx2 ≈ x2 |
при |
x → 0, |
x ≠ 0. |
|
|
|
|
||
213
TОпределение 5.37.T Если функции α(x) и β(x) БМФ и lim |
α(x) |
= 0 , то α(x) |
x→x0 |
β(x) |
|
|
|
называют БМФ более высокого порядка малости по сравнению с функцией β(x) ;
одновременно β(x) - БМФ низшего порядка малости, чем α(x) . Символически это записывается так: α(x) =o(β(x)) при x → x0 , читается: α(x) есть o малое от
β(x) при x → x0 . Запись α(x) o(1) |
при x → x0 , означает, что α(x) есть БМФ при |
|||||||||||||
x → x0 , o(1) означает множество БМФ при x → x0 . |
|
|
|
|
|
|
|
|
||||||
Пример 5.14. Функция α(x) = x3 |
при |
x →0 является БМФ более высокого порядка |
||||||||||||
малости, чем β(x) = x , т.е. x3 = o(x) , так как |
lim |
x3 |
= lim x2 =0 . |
|
|
|
|
|
||||||
|
|
|
|
|
|
|||||||||
|
|
|
x→0 x |
x→0 |
|
|
|
|
|
|
|
|
||
TЗамечание 5.4.T Если lim β(x) =∞, то α(x) =o(β(x)). |
|
|
|
|
|
|||||||||
x→x0 |
α(x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Если в окрестности точки x0 |
выполняется неравенство |
|
α(x) |
|
|
≤ M β(x) , где |
||||||||
|
|
|||||||||||||
M=const, то используют записьα(x) = O(β(x)) , |
x → x0 . (читается так: α(x) |
есть О |
||||||||||||
большое от β(x) при x → x0 ). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
TОпределение 5.38.T Если α(x) , β(x) БМФ и lim |
α (x) |
= c , |
c ≠ 0 , |
c ≠ ∞, |
||||||||||
(β (x))k |
||||||||||||||
|
|
|
|
|
x→x0 |
|
|
|
|
|
||||
k > 0, то α(x) называется функцией k -го порядка малости по сравнению с β(x) .
В частности, если α(x) и (β(x))k эквивалентные БМФ при x → x0 , то α(x) -
функция k -го порядка малости по сравнению с β(x) .
Аналогичным образом сравниваются и ББФ при x → x0 . В частности, α(x) -
ББФ более высокого порядка при x → x0 в сравнении с ББФ β(x) , если
lim |
α(x) |
=∞. В этом случае можно записать β(x) = o(α(x)), x → x0 . |
|||
x→x0 |
β(x) |
|
|
|
|
|
|
|
|
|
|
|
Если α(x) , β(x) - ББФ при x → x0 |
и lim |
α (x) |
= c , c ≠ 0 , c ≠ ∞, k > 0, то |
|
|
(β (x))k |
||||
|
|
|
x→x0 |
|
|
α(x) - функция k -го порядка роста по сравнению с β(x) , и т.д.
214
TЗамечание 5.5.T Все правила сравнений функций остаются справедливыми и для больших значений аргумента, т.е. при x →+∞ или x →−∞.
Если выбрана основная БМФ α (x), то простейшими БМФ считают
величины вида c(α (x))k , |
где c = const, |
k > 0. Пусть БМФ β (x) |
есть k |
–ого |
|||
порядка малости относительно α (x), т.е. |
lim |
β (x) |
= c, lim |
β (x) |
|
=1. |
|
(α (x))k |
|
|
|||||
|
|
x→x0 |
x→x0 c(α (x))k |
|
|
||
Тогда БМФ β (x) и c(α (x))k |
оказываются эквивалентными β (x)≈ c(α (x))k . |
|
|
||||
TОпределение 5.39. TПростейшая БМФ c(α (x))k , эквивалентная данной БМФ
β(x), называется ее главной частью.
Пример 5.15. |
1− cos x ≈ |
1 x2 |
, если x → 0 |
. Здесь α (x)= x является основной |
||
|
|
|
|
2 |
|
|
БМФ, а БМФ |
1 x2 |
, при x → 0 есть главная часть БМФ 1− cos x . |
||||
|
2 |
|
|
|
|
|
Приведенные свойства БМФ и ББФ используются при раскрытии неопределенностей.
§8. Непрерывность функции
СпоTнятием предела функции тесно связано другое важное понятие математичесTкого анализа – понятие непрерывности функции.
Интуитивное представление о непрерывной функции обычно связано с такой функцией, график которой – непрерывная линия.
Рассмотрим функцию y = f (x), определенную в некоторой окрестности
O(x0 ) точки хB0B, для которой хB0 Bявляется точкой сгущения, при этом сама точка хB0B
принадлежит области определения функции. При определении предела функции при x → x0 B Bподчеркивалось, что значения хB0B переменная х не принимает, это
215
