Учебники / Ter-Krikorov_Kurs_matematicheskogo_analiza_2015
.pdf110 |
Гл. III. Предел и непрерывность функции |
||
|
arch+* = 1п(х + л/ х2 —1), |
х ^ |
1, |
|
arch_* = 1п(х —л/х2 —1 ), |
х ^ |
1 . |
|
7. Степенная функция с любым вещественным показате |
||
лем. В п. 3 была рассмотрена степенная функция вида х г, где г £ Q. |
Степенная функция с любым вещественным показателем а при х > 0 выражается формулой
ха = е аЫх. |
(42) |
Функция х а непрерывна |
при х > 0 как суперпозиция показатель |
ной функции е* и функции |
t = a In ж, которые являются непрерыв |
ными. Из равенства (42) и свойств показательной и логарифмичес |
|
кой функций следует, что функция ха строго возрастает при а > 0 и |
|
строго убывает при а < 0 на промежутке (0,+оо). Из формулы (42) |
и равенства In е* = t следует, что |
|
|
\пха = а\пх, a £ R, |
х > 0. |
|
З а м е ч а н и е 5. Если а € |
0 , то ф ункция х а |
мож ет иметь смысл и при |
* < 0. Например, функции х~, |
у/х определены на R, а функции 1/х'', 1 / 1/х |
|
определены при всех х £ R, кроме х = 0. |
|
8. Показательно-степенная функция. Пусть функции и(х) и v(x) определены на промежутке А = (а,Ь), причем для всех х £ А выполняется условие и(х) > 0. Тогда функцию у, определяемую фор мулой
у _ e v { x ) \ n u { x ) '
будем называть показательно-степенной и обозначать
и(х)<х).
Таким образом, по определению
u(x)v^ = ev(x)lnu(x)
Если и, v — функции, непрерывные на А, то функция uv непрерывна на А как суперпозиция непрерывных функций е* и t = v(x)lnu(x).
§13. Вычисление пределов функций
1.Раскрытие неопределенностей. При вычислении пределов
я |
г /(*) |
г |
часто встречается случаи, когда требуется наити |
lim |
( , где / и |
|
х —¥а д { х ) |
|
д — бесконечно малые функции при х —1 а, т. е. lim f(x) = lim д(х) =
х —>а |
х —±а |
= 0. В этом случае вычисление предела называют |
раскрытием |
§13. Вычисление пределов функций |
111 |
неопределенности вида jj. Чтобы найти такой предел, обычно преоб-
е. f(x)
разуют дробь , выделяя в числителе и знаменателе множитель
вида (х —а)к. Например, если в некоторой окрестности точки х = а функции f u g представляются в виде f(x) = (х —a)kfi (х), д(х) = = (х — a)kgi(x), где к € N, а функции Д , и д± непрерывны в точке а,
}{х) |
fi(x) |
, |
|
,. |
f(x) |
fi(a) |
. . , ес- |
||
то ^фф = |
; |
, при х Ф |
а, откуда следует, что lim |
, |
. = |
||||
д(х) |
gi(x) |
r |
J |
J ’ |
Х^ад(х) |
дфа)’ |
|||
ли дг(а) ф 0. |
|
|
|
|
|
|
|
|
|
Аналогично, если / и д — бесконечно большие функции при х -+ а, |
|||||||||
т. е. lim f(x) |
= оо, |
lim д(х) = оо, то говорят, что их частное |
и |
||||||
х —Фа |
|
|
х —Фа |
|
|
|
|
|
9{%) |
разность f(x) |
—д(х) представляют собой при х -+ а неопределенности |
||||||||
0 0 |
|
|
|
|
IT |
|
|
|
|
вида — и оо —оо соответственно. Для раскрытия неопределенностей |
|||||||||
таких00типов обычно преобразуют частное или разность так, чтобы |
к полученной функции были применимы свойства пределов. Напри- |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
П |
|
мер, если / |
и д — многочлены степени те, т. е. f(x) = Е акхк, д(х) = |
|||||||||||||||
= 2_.ЬкХ |
к |
, где ап фО,Ъп ф 0 |
|
|
|
|
|
|
к=0 |
|
||||||
|
, то, разделив числитель и знаменатель |
|||||||||||||||
|
k=o |
f(x) |
на х п, найдем |
|
|
|
|
|
|
|
|
|||||
дроби |
; |
' |
|
, |
|
1 |
|
, од |
|
|
||||||
|
|
5(*) |
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
Пт Щ |
= Ит |
ап + ап—1 |
— I-... Н— - |
|
|
|||||
|
|
|
|
|
|
------------ Ж----------= р . |
|
|||||||||
|
|
|
|
|
х ^ о о д ( х ) |
|
|
Ьп |
+ Ь п _ Р |
+ |
... + Д 1 |
Ьп |
|
|||
|
|
|
|
|
|
|
|
|
|
|
X |
|
х п |
|
|
|
|
Пр и м е р |
1. Найти |
lim F(x), если: |
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
ж— |
|
|
|
|
|
|
|
|
|
|
ч |
|
ч |
|
2х2 + * — 3 |
|
, |
|
|
|
|
|
|
|
||
|
а) F (l) |
|
= # - 2I + r |
“ = 1; |
|
|
|
|
|
|
|
|||||
|
б )F{ .r) = y E E ^ zM |
E E l. |
а = 4; |
|
|
|
|
|||||||||
|
\ |
т-i/ |
\ |
|
, R-r — sin х |
, |
а = |
0; |
|
|
|
|
|
|
|
|
|
в) |
F (х) = |
—---- |
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
X s |
|
|
|
|
|
|
|
|
|
|
|
г) F(x) = фх2 + х + 1 —фх2 — х + 1, |
а = +оо. |
|
|||||||||||||
А |
а) |
Разложив числитель и знаменатель на множители, получим |
||||||||||||||
EV |
\ |
|
(2х + 3 ) ( х - 1 ) |
|
|
|
.. |
|
ч |
|
.. |
2* + 3 |
5. |
|||
В (х) = т—^ |
|
' ------—г, откуда |
lim В (х) = lim —---------- = |
|||||||||||||
v J |
( х — 1 ) ( х 2 + х — 1) |
|
J |
х - я |
у J |
х - Я Ж 2 + Ж - 1 |
ip(x) = |
|||||||||
|
б) |
Умножив числитель |
и |
знаменатель |
на |
функцию |
||||||||||
= |
фх + 21 + 5фх —3 |
и |
используя |
формулу |
х 3 —64 = (х — 4)'ф(х), |
|||||||||||
где 'ф(х) = х 2 + 4х + 16, получим |
|
|
|
|
|
|
||||||||||
.. |
|
ч |
|
|
.. |
* + 21 - 25(* - |
3) |
|
.. |
|
^ 2 4 |
|
24 |
1 |
||
lim В (х) = |
lim —----- г—-+——+■ = |
lim ———— = ---- ——— = ------ . |
||||||||||||||
х-»4 |
|
|
|
x-s-4 (х —4)ip(x)tp(x) |
|
x-s-4 tp(x)ij)(x) |
<р{А)-ф{А) |
20 |
112 |
|
Гл. III. Предел и непрерывность функции |
|
|||||||||||
Чm |
n / Ч sill X |
1 —COS X |
1 |
|
|
, |
|
|
.. . 1 |
х |
||||
в) |
1 ак как b (х) = ---------- г-----------, где |
1 —cos х = 2 sm |
—, то, ис- |
|||||||||||
|
|
х |
|
х 1 |
cos |
х |
|
|
si nx |
|
- |
2 |
||
пользуя первый замечательный предел п т |
= |
|
||||||||||||
X |
|
1 и непрерывность |
||||||||||||
косинуса, получаем |
|
|
|
|
|
х—^0 |
|
|
|
|
||||
|
|
|
|
sin - |
" |
|
|
|
|
|
||||
|
|
lim F(x) = lim |
|
7 |
|
|
|
|
|
|||||
|
|
x |
\' |
-2 'j |
|
2 cos® |
2 ’ |
|
||||||
|
|
ir-s-o |
ir-s-o |
|
|
|||||||||
г) |
Преобразуем F(x), умножив и разделив эту функцию на ip(x) = |
|||||||||||||
= 's/ х 2 + х |
+ 1 + 's/х 2 —х + 1. Получим F(x) = |
|
, , , откуда, разделив |
|||||||||||
числитель и знаменатель на х, находим |
|
|
р(х) |
|
||||||||||
|
|
|
|
|
|
|||||||||
|
|
F(®) = |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
l / l Н |
1 |
j + i / l ------ 1— j- |
|
|||||||||
|
|
у |
|
X |
|
X- |
|
у |
|
X |
|
X - |
|
|
Используя непрерывность функции s/t при t = 1, получаем |
|
|||||||||||||
|
|
lim |
|
F(x) = |
|
2 |
= |
1 . |
▲ |
|
|
|||
|
|
|
1 |
+ 1 |
|
|
||||||||
|
|
X—z+oo |
|
|
|
|
|
|
|
|
|
2.Замена переменного при вычислении предела.
Те о р е м а 1. Если существуют
lim ifi(x) = b, |
lim f(y) = A, |
x —s-a |
y —>b |
причем для всех x из некоторой проколотой окрестности точки а вы полняется условие ip(x) ф Ь, то в точке а существует предел сложной функции f((p(x)) и справедливо равенство
lim f(<p(x)) = lim /(у). |
(1 ) |
|
х —¥а |
y —rb |
|
О Согласно определению предела функции ip и / определены соот ветственно в Ug(а) и Ue(b), где 6 > 0, е > 0, причем для х € Us (а) выполняется условие ip(x) € Ue(b). Поэтому на множестве Us (а) опре делена сложная функция f(ip(x)). Пусть {хп} — произвольная после довательность такая, что lim хп = а и х п € Us (а), п € N. Обозначим
Уп = F{xn), |
п —>оо |
|
|
lim уп = Ь, где |
тогда по определению предела функции |
||||
уп € Ue(b). Так как существует lim f(y) |
= А, то |
п —too |
||
|
||||
|
у-*ь |
|
|
|
|
lim f(ip(xn)) = |
lim f (yn) = A. |
|
|
|
П —¥ OO |
П —¥ OO |
|
|
Это означает, что lim f(ip(x)) = А, |
т. e. справедливо равенство (1). • |
|||
Пр и м е р |
x —>a |
|
|
|
2. Доказать, что: |
|
|
|
|
ч |
arcsin x |
- |
/ЛЧ |
|
а) |
lim----------= |
1 ; |
(2 ) |
|
|
х - > 0 |
х |
|
|
б) |
lim |
= |
1 . |
(3) |
|
я->0 |
X |
|
|
§13. Вычисление пределов функций |
113 |
А а) Пусть у = arcsin®; тогда ж = sin у, и поэтому arcsin х _ у
хsin у ’
причем |® —1 0} {у —1 0}. Следовательно,
п т |
arcsin® |
п т |
у |
. |
|
|
--------- = |
|
|
||||
ж-»-о |
х |
|
у-s-o sin у |
|
||
Используя первый замечательный предел lim ‘ЕИЛ = |
получаем со- |
|||||
отношение (2). |
|
|
|
у^о у |
|
|
|
|
|
|
|
|
|
б) Если у = arctg®, то х = tg у, причем {х —¥0} |
{у —¥ 0}. Так как |
|||||
|
arctg® |
|
у |
|
|
|
lim -----2— = |
lim - 2—, |
|
||||
ж-»-о ® |
|
у-*о tg |
у |
|
||
ГД6 |
|
lim —— cosy = 1 , |
|
|||
lim |
= |
|
||||
y^otgy |
j/-s-o smy |
|
|
|
то справедливо утверждение (3). ▲
3.Второй замечательный предел.
Те о р е м а 2. Функция ip(x) = I( 1 Н—1 \1х имеет при х —¥ оо предел,
равный е, т. е. |
, |
1 , х |
lim |
( l + i ) = е. |
|
ж—>оо \ |
X / |
О Докажем сначала теорему 2 для случая, когда х
доказано, что |
1 |
\ ” |
|
|
/ |
—¥ е при |
п —¥ оо. |
||
ап = ^1 Н— |
J |
(4) +оо. В § 6 было
(5)
Обозначим |
/ |
1 \ ” +1 |
’ |
/ |
1 |
\ п |
|
|
|
|
|||||||
У”=(1+п) |
|
г”=(1+ |
^ Т г ) - |
|
||||
V n |
{ L |
|
|
|
' ' |
|
|
|
Так как |
|
|
|
|
|
|
|
|
Уп — ап |
j |
zn — an+i |
n |
|_ j ) 5 |
(Д |
|||
то из (5) и (7) следует, что |
|
|
lim zn = е, |
|
|
(8) |
||
|
|
lim уп = |
|
|
||||
|
|
П —¥ ОО |
|
|
П —¥ ОО |
|
|
|
а из (8), пользуясь определением предела, получаем, что |
|
|||||||
Ve > 0 |
3Ne: |
V n ^ N e ->yn e Ue(e), zn G Ue(e). |
(9) |
|||||
Пусть x — произвольное вещественное число такое, что х ^ |
Ne, |
|||||||
и пусть п = [ж]. Тогда |
|
|
|
|
|
|
|
|
|
|
Ne ^ n ^ x < n + 1. |
|
|
(10) |
Из (10) следует, что
11 < - О
п+ ® п
114 |
Гл. III. Предел и непрерывность функции |
|
|
||||||||
|
i + —J— < i + - |
^ |
i |
п |
+ |
( и) |
|
||||
|
|
П + 1 |
|
X |
|
|
|
|
|
|
|
Из (10) и (11) в силу монотонности показательной и степенной функ |
|
||||||||||
ций получаем |
1 |
хП / |
1 \ Ж ( |
|
1 \ п+1 |
|
|
|
|||
1 |
|
j |
(1 2) |
|
|||||||
Н — ) < |
( 1 |
Н— ) < |
( 1 |
Н— J |
|
||||||
|
п + 1 |
|
|
|
|
|
|
|
|
|
|
а из (12), (6) и (9) следует, что |
|
|
|
|
|
|
|
|
|||
Ve > 0 3Ne: Уж ^ Ne -+ е —е < ^1 + —^ < е + е. |
|
|
|||||||||
По определению предела это означает, что теорема справедлива в слу |
|
||||||||||
чае, когда х -> +оо. |
|
|
|
|
|
|
|
|
|
|
|
Докажем, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
lim |
( l |
+ I)* |
= e. |
|
|
|
(13) |
|
|
|
|
x - t —oo \ |
X J |
|
|
|
|
|
|
|
|
Положим х = —1 — t, |
тогда |
t -> +оо |
при х -> ^оо |
и |
|
|
|||||
Р Р |
Р |
Р Р |
Ч |
Р |
) |
* |
|
( Р |
|
|
|
откуда следует, что справедливо равенство (13), так как |
^1 + |
-+ |
при t -> +оо и 1 + j -+ 1. Теорема 2 доказана. •
Следствие . Если а(х) ф 0 для всех х из некоторой проколотой
окрестности точки XQ и lim а(х) = 0, то Х—±Хо
|
|
|
|
Yim {1 + а{х))1/а{х) = е. |
|
(14) |
||
|
|
|
|
X—>1Го |
|
|
|
|
В частности, |
|
lim (l + i P |
= e . |
|
(15) |
|||
|
|
|
|
|
||||
|
|
|
|
ж-»О |
|
|
|
|
О |
Для доказательства утверждения (14) достаточно воспользоваться |
|||||||
соотношением (4) и теоремой 1. • |
|
|
|
|
||||
|
З а м е ч а н и е |
1. Если а ( х ) ф 0, /Э(х) ф 0 в некоторой проколотой окрест |
||||||
ности точки хо, |
lim |
а( х) = lim /3(х) = |
0 и сущ ествует |
lim |
= А, то |
|||
|
|
|
31-+Х0 |
31—>310 |
|
|
X—>310 Р \ Х ) |
|
|
|
|
|
lim (1 + a { x ) f /fi{x) |
= е х . |
|
(16) |
|
|
|
|
|
X—>310 |
|
|
|
|
В частности, |
|
lim (1 + р а ( х ) ) 1/а{х] = е ф |
|
|
||||
|
|
|
|
|
(17) |
|||
|
|
|
|
X—>310 |
|
|
|
|
если р |
= const, |
а (х ) |
-+ 0 при i - Я о и |
а (х ) |
ф 0 для х € |
U s(xо). |
|
|
О |
Для |
доказательства утверж дения |
(16) |
следует воспользоваться ра |
венством (1 + а { х ) ) 1/тх) = [(1 + а ( х ) ) 1/а{х)]а{х)/13{х) и соотношением (14). •
§13. Вычисление пределов функций |
115 |
|
П р и м е р 3. Найти |
lim f |
, ~ _* |
|
|
|||
|
|
|
|
X —'TOO Ч З Ж - — |
5 |
|
|
|
А |
Т |
( З * 2 + 4 \ * 2 |
( 1 + 3 ^ 2 / |
|
|
/ п »ч |
||
1 а к к а к — ----- |
|
= —----- |
|
то, используя соотношение (17), |
||||
|
|
\ 3 ж 2 — 5 / |
|
/ |
5 V е |
|
|
|
|
|
|
|
V 1 " 3 |
S / |
|
|
|
находим, что искомый предел равен е4/3А - 5/3) = е3. А |
|
|||||||
|
Пр и м е р 4. Найти |
lim (cos ж)1/*8 |
|
|
||||
|
|
|
|
|
|
|||
|
|
|
|
ж-Ю |
|
|
|
|
А |
Используя равенство cos ж = 1 —2 sin2 —, по формуле (16) находим, |
|||||||
что искомый предел равен еА, где |
|
|
|
|||||
|
|
—2sin |
, ж |
/ . |
X ч 2 |
ч2 / |
I |
|
|
|
- |
sm- \ / |
|||||
|
|
А= So |
|
= So |
|
j f e ) ( - 2 ) = “ 2 |
||
т. е. равен е-1/2. А |
|
|
|
|
|
|
||
|
4. |
Некоторые важные пределы. |
|
|
||||
|
Пр и м е р 5. Доказать, что если а > 0, а ф 1, то |
|
||||||
|
|
.. |
|
loga(l+ x ) |
. |
1 |
,ла. |
|
|
|
п т —^ |
1 |
= w е = — . |
18 |
|||
|
|
ж-ю |
х |
|
“ |
In a |
|
|
А |
Рассмотрим функцию |
|
|
|
|
х = 0.
Эта функция определена в некоторой окрестности точки х = 0 и не прерывна в точке х = 0 в силу теоремы 2. Поэтому функция loga /(ж) непрерывна в точке ж = 0 как суперпозиция непрерывных функ ций loga £ и t = /(ж). Следовательно,
lim log0 /(ж) = loga (Jim (1 + х)1/х) = loga е.
Так какloga /(ж) = lo^a(1 |
Х^ при ж ф 0, то искомый |
предел ра |
вен loga е. Из равенства (18) при а = е получаем |
|
|
lim 111(1+ Ж) = 1. А |
(19) |
|
я->0 |
X |
|
Пр име р 6. Доказать, что если а > 0, а ф 1, то |
|
|
lim |
?lL z± = in a . |
(20) |
ж -Ю |
X |
|
А Функция у = ax —1 непрерывна и строго монотонна на R (возрас тает при а > 1 и убывает при 0 < а < 1). На промежутке (—1,+оо) существует обратная к ней функция ж = loga(l + у), непрерывная и
116 Гл. III. Предел и непрерывность функции
строго монотонная. Учитывая, что у —1 0 при х -А 0 и используя фор
|
|
|
|
а Х |
— ^ |
= |
|
linm - |
|
qj |
= In а. Отметим важ- |
|||
мулу (18), получаем lim |
X |
|
|
f- |
||||||||||
v |
’ |
|
X^o |
|
у^о loga(l + у) |
|
|
|
||||||
ный частный случай формулы (20): |
|
|
|
|
|
|
||||||||
|
|
|
|
|
рХ _ |
1 |
= |
1 . |
а |
|
|
(2 1) |
||
|
|
|
|
limПт -1 |
|
i |
|
|
||||||
Пр и м е р |
|
|
яж->0 |
X |
|
|
|
|
|
|
|
|
||
7. Доказать, что |
|
|
|
|
1 . |
|
|
(22) |
||||||
|
|
|
|
|
Пт ^ |
* |
= |
|
|
|||||
|
|
|
|
|
ж-Ю |
|
|
|
|
|
|
|
||
А Так как sh® = |
ех —е^х |
= |
е2х —1 |
|
|
|
|
|
||||||
|
|
|
|
х—, то, применяя формулу (21), по |
||||||||||
лучаем |
|
|
,. |
,------------е |
|
|
ч |
ч |
|
|
|
|||
|
|
|
sh® |
,. |
|
е |
—1 1 .. |
▲ |
|
|
||||
|
|
|
lim |
х |
= lim ------------= 1 . |
|
|
|||||||
|
|
|
ж- m |
ж- m |
|
2® |
|
ех |
|
|
|
|||
Пр и м е р |
8. Доказать, что |
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
Ит (1 +д0а |
|
= а |
|
|
(23) |
|||||
|
|
|
|
ж-m |
|
|
х |
|
|
|
|
|
|
|
для любого a € R, а ф 0. |
|
|
|
|
|
|
|
_ 1 . На мно |
||||||
А Рассмотрим функцию у = |
(1 + х)а —1 = е |
|||||||||||||
жестве (—1 ,+og) существует обратная к ней функция х = х(у), |
при |
|||||||||||||
чем у —1 0 при х —1 0. Из равенства |
(1 + х)а = 1 + у следует, |
что |
||||||||||||
aln (l + х) = 1п(1 + у). Поэтому ^ + х^----- - = - |
= — р — |
«1п(1 + ®)^ |
||||||||||||
откуда, |
используя равенство |
(19), |
х |
|
х |
1п{1 “I- у) |
X |
|
||||||
получаем |
соотношение (23). ▲ |
5. Сравнение функций.
а) Эквивалентные функции. Если в некоторой проколотой окрест ности точки Хо определены функции / , g, h такие, что
f(x) = g(x)h(x), |
lim h(x) = 1, |
(24) |
|
X —> X o |
|
то функции / и g называют эквивалентными (асимптотически рав ными) при х —1 Хо и пишут
|
|
|
f(x) ~ д(х) |
при |
х —¥ Хо, |
|
|
|
|
|
|
|
|||
или, короче, / |
~ д при х —1 XQ. |
„ |
|
|
. |
s i |
|
n |
® |
|
,. |
sin® |
, |
||
тт |
|
. |
|
|
|
|
|
||||||||
Например, sm |
х ~ х при х —¥U, так как sm |
х = х |
|
|
, a lim |
® 9 |
= 1; |
||||||||
4 |
о |
|
|
|
4 |
|
|
о |
|
9 |
® |
|
ж -Щ |
|
|
|
|
|
|
JL |
|
|
JL |
|
a |
1• |
JL |
|
|||
—— - ~ х" при |
х —¥ оо, так как —— - = |
х" |
|
|
1 |
lim —— - = |
|||||||||
®2 + 1 |
|
|
|
®2 + |
1 |
|
®2 + |
|
ж—^оо ®2 + |
1 |
|||||
= lim — Ц - = 1 . |
|
|
|
|
|
|
|
|
|
|
|
|
|||
ж^оо х + |
X2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
У п р а ж н е н и е |
1. П оказать, что отношение эквивалентности функций |
||||||||||||||
обладает свойствами: |
|
д при |
® —1 ®о, то д ~ |
|
|
|
|||||||||
а) сим м етричности, т. е. если / |
~ |
/ при ® —1 ®о; |
|||||||||||||
б) транзитивности, т. е. если |
/ ~ |
д |
и |
д ~ |
ip |
при |
® —1 ®о, |
то / |
~ ip |
||||||
при ® —¥ хо- |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
§13. Вычисление пределов функций |
117 |
У п р а ж н е н и е |
2. П оказать, что если / ~ у и /i ~ у\ |
при х —1 жо, |
то f f i ~ 55i при х |
—1 хо- |
|
Отметим, что функции / и 5 , не имеющие нулей в проколотой окрестности точки жо, эквивалентны при х -A Xq тогда и только тог
да* когда |
lim |
/(ж ) |
= lim |
д{х) |
= |
л |
|
д(х) |
Дж) |
1 . |
|||
|
х ^ х о |
х ^ х о |
|
|
Понятие эквивалентности обычно используют в тех случаях, когда обе функции / и д являются либо бесконечно малыми, либо бесконеч
но большими при х -А Хо- |
|
Пределы, найденные в примерах 2, 5-8, позволяют составить сле |
|
дующую таблицу функций, эквивалентных при х -А 0: |
|
sin х ~ х |
ех —1 ~ х |
tg х ~ х |
sh х ~ х |
агсвтж~ж |
1п(1+ ж) ~ж |
arctg ж ~ х |
(1 + х)а —1 ~ ах |
|
Этисоотношения остаются в силепри х |
-A XQ, |
еслизаменить |
в |
|||||||||
них х |
нафункцию а(х) |
такую, что а(х) -А 0 при |
х -A XQ. Например, |
||||||||||
|
|
|
sin х 2 ~ |
х 2 |
при |
х —У0, |
|
|
|||||
|
|
|
вЬ(ж —I )3 ~ (х —I)3 |
при |
х —У1 . |
|
|||||||
|
Пр и м е р |
9. Доказать, что |
|
|
|
|
|
|
|
||||
|
|
1 —cos .г ~ |
2 |
|
|
|
|
2 |
прих —У0. |
|
|||
|
|
J' .clix — l ^ ' ^ - |
|
||||||||||
А |
|
|
|
|
|
|
|
|
су |
су* |
|
х |
|
а) Пользуясь тем, что 1 —cos ж = 2 sin" —и sin —~ —при ж -¥ 0, |
|||||||||||||
|
|
|
2 |
при ж —¥ 0. |
|
|
|
|
|
||||
получаем 1 —cos ж ~ J[ |
|
|
|
|
су*~9 |
||||||||
|
б) |
|
|
|
|
су* |
|
су* |
су* |
|
|
|
|
|
Так как с Ьж^1 = 2вЬ- ' - и |
sh - ~ - |
при ж -А 0, то ch ж —1 ~ — |
||||||||||
при ж —У0. А |
|
|
|
|
|
|
|
|
|
|
|
||
|
б) |
З ам ена функций эк вивал ент ны ми при вычислении пределов. |
|||||||||||
|
Т е о р е м а |
3. Если / |
~ /1 |
и g ~ дг при ж -A XQ, то из существова |
|||||||||
ния предела функции Aji-j- при х —t XQ следует существование предела |
|||||||||||||
функции Д 4 |
при х —УXQ и справедливость рав енства |
|
|||||||||||
|
|
9 |
|
lim |
4 4 |
= |
Ит |
|
|
(25) |
|||
|
|
|
Ж-»Жо |
у(х ) |
|
Х - * Х |
0 51 (X) |
|
|
|
|||
О |
По условию / ~ /1 и 5 ~ 5i при ж -A Xq. Это означает, что /(ж) = |
||||||||||||
= fi(x)h(x) и д(ж) = gi(x)hi(x), |
где |
lim |
h(ж) = |
1 и lim h\(ж) = |
1 . |
||||||||
|
|
|
|
|
|
|
|
|
X—^XQ |
|
|
X—^XQ |
|
|
Так как существует |
lim |
—4 |
и h±(x) |
—1 1 при ж -А жо, то най- |
||||||||
|
|
|
|
х->хо |
51 |
(ж) |
|
|
|
|
|
|
дется такая проколотая окрестность точки жо, в которой определены
118 |
Гл. III. Предел и непрерывность функции |
|||||||||
функции f i , |
gi , h i , |
причем g i ( x ) |
ф 0 |
и h i ( x ) |
ф |
О, откуда следует, |
||||
что в этой окрестности определена функция g(x ) |
= g i ( x ) h i ( x ) такая, |
|||||||||
что д( х ) ф 0. |
|
|
|
|
|
|
|
|
|
|
Следовательно, в |
некоторой проколотой окрестности точки XQ |
|||||||||
. |
|
/(ж ) |
и |
|
|
|
|
|
|
|
определена функция |
|
|
|
|
|
|
|
|
||
|
|
У |
|
f i x } |
= |
h(x) f a x ) ' |
|
|
||
|
|
|
|
д{х) |
|
Ы(х) дфх)' |
|
|
||
Так как существует |
lim |
; |
|
, a |
lim |
h(x) = |
1, |
lim h \ ( x ) = 1, то |
||
|
|
X —>1Го g i { % |
) |
|
Х —± Х о |
|
|
Х —± Х о |
||
сущ ествует |
lim 4 4 |
и справедливо равенство |
(25). • |
|||||||
х ^ х 0 д{х) |
|
|
arcsin х(ех — 1) |
|
|
|||||
тт |
тт „ |
|
1 - |
|
|
|||||
Пр и м е р |
10. Наити |
lim --------- -------- |
|
|
||||||
|
|
|
ж-»-о cos х — cos 3* |
|
|
|||||
А Так как |
arcsin ж ~ |
х, |
е х — 1 ~ х, |
совж^совЗж = 2 sin х sin 2ж, |
||||||
sin ж ~ ж, вт2ж ~ 2ж, то arcsin х ( е х |
—1) ~ ж2, cos ж —совЗж ~ 4ж2 при |
ж —1 0. Отсюда по теореме 3 следует, что искомый предел равен 1/4. ▲
в) Понятие бесконечно малой функции по сравнению с другой. Ес ли в некоторой проколотой окрестности точки XQ определены функ ции /, д, а такие, что
/(ж) = д(х ) а ( х ) , |
lim а ( х ) = 0, |
(26) |
|
Х —¥ Х о |
|
то функцию / называют бесконечно малой по сравнению с функцией д при х —¥ Хо и пишут
/(ж) = о (д ( ж)), |
ж - 1 ж0, |
(27) |
||
или, короче, / = о(д), ж —¥ XQ. |
есть о |
малое от д |
|
|
Эта запись читается так: “/ |
при ж, стрем я |
|||
щемся к Жо” . В частности, запись /(ж ) = |
о(1), ж -А жо, означает, что |
|||
/(ж ) является бесконечно малой функцией при ж -A X Q . Если д ( ж) ф 0 |
||||
в некоторой проколотой окрестности |
точки жо, то соотнош ение (27) |
|||
м ож но записать в виде |
|
|
|
|
lim |
4 4 |
= 0 |
|
|
х ^ х 0 д{х) |
|
|
|
|
или в виде |
|
|
|
|
lim |
° М = 0. |
|
|
|
х - * х о |
д |
|
|
|
Следует иметь в виду, что функции / |
и д, о которых идет речь в |
записи (27), не обязательно являются бесконечно малыми при ж -A X Q . Например, если ж -А оо, то ж2 = о(ж4), а функции ж2 и ж4 являются бесконечно большими при ж -А оо.
В случае когда функция д в записи (26) является бесконечно ма лой, говорят, что при ж -А Хо функция / — бесконечно мал ая более высокого порядка, чем д. Например, при ж -А 0 функции ж2, совжв^ж,
|
|
§13. Вычисление пределов функций |
119 |
tg х s i n * |
бесконечно малые более высокого порядка, чем х. |
Поэ- |
|
тому справедливы равенства |
|
||
х 2 = |
о(х), |
co sa rsh 2х = о(х), t g 3arsin — = о(х), х — 0. |
|
Символ о(х) |
в этих равенствах служит для обозначения множес |
тва или, как принято говорить, класса функций, бесконечно малых более высокого порядка, чем х при х —1 0. Поэтому правильнее было бы вместо, например, равенства х 2 = о(х), х —1 0, писать х 2 £ о(х), х —1 0. Однако вторая запись неудобна для применения при выполне нии операций над функциями.
Из сказанного следует, что равенство вида (27) не является равен ством в обычном смысле. Такое равенство в соответствии с опреде лением записи (27) следует читать только слева направо, поскольку правая часть обозначает класс функций, бесконечно малых по срав нению с д( х ) при х —1 Хо, a f ( x ) — какая-либо функция этого класса.
Отметим некоторые важные для дальнейшего изложения (см. § 18) свойства символа о(д), считая, что х —1 XQ, а равенства, содержащие этот символ, читаются слева направо (здесь С — постоянная):
°(Сд) = о(д) |
° (9 п )° (9 т) = о(дп+т ), |
п |
£ |
А/, |
то £ |
N |
|
Со(д) = о(д) |
9 п 1о{д) |
= о(дп), |
п |
£ |
N |
|
|
о(д) + о(д) = о(д) |
(о(д))п |
= о(дп ), |
п |
£ |
N |
|
|
о(о(д)) = о(д) |
о(дп) |
= о(дП—1 \ |
п |
£ |
N, |
д ф 0 |
в Us(xo) |
о(д + о(д)) = о(д)
Докажем первое из этих свойств.
О Надо показать, что любая функция, принадлежащая классу функ ций о(Сд), принадлежит и классу функций о(д), т. е. если / = о(Сд), то / = о(д), х ->■ X Q .
По определению запись / = о(Сд) означает, что f(x) = Сд(х)а(х),
где а(х) —¥ 0 при х —¥ Хо- Но тогда |
|
|
|
|||
|
|
f(x) = д(х)Са(х) = д(х)а i(x), |
|
|||
где ai(x) —1 0 при х —1 Хо, т. е. / = |
о(д), х —1 хо- |
• |
||||
У п р а ж н е н и е |
3. Д оказать, что |
если т € N, п |
£ N, а д(х) —1 0 при |
|||
х —1 хо, то: |
|
|
|
|
|
|
а) о(дп) = |
о(дт) при т |
п; |
|
|
|
|
б) о! |
Cugk I |
= о ( д ) , |
|
— |
постоянные. |
|
Наряду с символом о(д) в математике употребляют символ 0(g). |
||||||
Запись |
|
f(x) |
= 0 (д(х)), |
х -Л хо, |
(28) |
|
|
|