Файл: Итенберг, С. И. Линейная алгебра и аналитическая геометрия на плоскости. Введение в анализ учеб. пособие.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 23.10.2024

Просмотров: 66

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

6.8. СРАВНЕНИЕ БЕСКОНЕЧНО МАЛЫХ ДРУГ С ДРУГОМ

Пусть

при X -> а функции а (х)

и

ß (х) являются

бесконечно

малыми величинами (здесь а может

быть и числом и одним

из сим­

волов: с о , +

оо, — оо) . Вычисление

предела

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

 

(6.19)

 

 

 

 

 

 

 

 

 

 

*-eß(*)

 

 

 

 

 

 

 

 

называется

с р а в н е н и е м

этих

двух бесконечно малых. Здесь

обычно пользуются следующими

определениями:

 

 

 

 

 

1)

если предел (6.19)

равен нулю, то говорят, что а е с т ь

б е с ­

к о н е ч н о

м а л а я

 

б о л е е

 

в ы с о к о г о

п о р я д к а ,

ч е м

ß (или ß есть бесконечно малая

низшего порядка

по отноше­

нию к а);

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2)

если предел (6.19)

равен одному из символов: оо,

+

 

с о , — о о ,

то говорят, что а е с т ь

 

б е с к о н е ч н о

м а л а я

н и з ш е г о

п о р я д к а

п о о т н о ш е н и ю

к

ß (или ß есть бесконечно ма­

лая более

 

высокого порядка,

чем ос);

 

 

 

 

 

 

 

 

3) если предел (6.19) равен некоторому числу А ф 0,

то гово­

рят,

что а

и р — б е с к о н е ч н о

м а л ы е

о д н о г о

п о ­

р я д к а .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример

 

1.

При X -> 0 функции а =

х2

и ß =

sin х являются

бесконечно

малыми.

Имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim —

= lim — - — = lim —-— lim x — 1 0 = 0,

 

 

 

 

 

 

 

 

x-*o ß

x-o

sinx

x-,o sin X x->0

 

 

 

 

 

 

откуда

следует,

что а — х2

является

бесконечно

малой

более

высокого по­

рядка,

чем

ß sin

x.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример

 

2.

При

x -> 0

функции а =

Ух

+ 1

— 1

и ß — х

являются

бесконечно

малыми.

Имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

..

 

а

..

Ѵх+1

1

 

 

 

1

 

1

 

 

 

 

 

 

hm — =

hm

 

 

=

hm

 

 

= — - .

 

 

 

 

 

 

X - . 0

ß

x->o

 

x

 

д ^ о у x

_|_ J _|_ j

2

 

 

 

 

откуда

следует,

что а = Ух

 

+ 1

— 1 и ß =

х — бесконечно

малые

одного

порядка.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Сравнение

бесконечно

малых

уточняется следующим

 

образом:

функция а

называется

б е с к о н е ч н о

м а л о й

k-ro

 

п о р я д к а

относительно

бесконечно малой ß, если lim 1іт-^- = Л,

 

где А —

любое

число,

отличное от нуля.

 

 

 

 

 

 

1

 

 

 

Пример

 

3.

Функция а =

хі и ß =

х бесконечно малы при х - > 0.

Имеем

et

 

 

 

х^

 

1,

 

 

 

 

что а

=

х* есть бесконечно

 

 

 

lim —

=

lim —— =

откуда

следует,

малая 4-го

х^о ß 4

 

х^о

х

 

 

 

 

 

 

 

ß =

х.

 

 

 

 

 

 

порядка

относительно

бесконечно

малой

 

 

 

 

 

 

168


Пример 4. Функция а =

 

1 — cos х и ß =

х бесконечно малы при х

0.

Имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

..

а

,.

1 — cos X

,.

sin^ X

 

 

 

 

hm — ^= hm

 

 

X2

— ~ hm

(1 +

cosx)

 

 

 

 

• о ß 2

x^ü

 

 

 

X->qx2

 

 

 

 

,.

sin X

,.

sin X ,.

 

1

,

,

1

1

 

 

 

= hm

 

hm

 

 

hm

 

 

= 1 • 1 • — — — ,

 

 

 

x-*o

x

x-o

x

x - . ol +

cos*

 

 

2

2

 

 

откуда

следует, что а =

1 — cos х

есть

бесконечно

малая

2-го

порядка

от­

носительно бесконечно малой ß =

х.

 

 

 

 

 

 

 

Теорема. Произведение

 

двух

бесконечно

малых

есть

бесконечно

малая

более высокого

порядка,

чем каждый из

сомножителей.

 

Действительно, если при х

а функции а (х) и ß (х) бесконечно

малы, то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l i m ^ - = limß = 0;

 

 

 

 

 

 

 

 

 

x

> а

а

x -f а

 

 

 

 

 

 

oß_

1 ß

откуда и следует справедливость теоремы.

6.9. ЭКВИВАЛЕНТНЫЕ БЕСКОНЕЧНО МАЛЫЕ

Эквивалентные бесконечно малые представляют собой важный частный случай бесконечно малых одного порядка.

Определение. Функции

а (х) и

ß (х), бесконечно

малые

при

x ~> а, называются

эквивалентными

бесконечно

малыми,

если

hm —

= b

x -*а ß (x)

 

Так,

например, в силу формулы (6.П) функции sin а и а при

а -> О являются эквивалентными бесконечно малыми. В силу (6.18)

функции In (1 + х) и x при x -> 0 тоже являются

эквивалентными

бесконечно

малыми.

 

 

 

Теорема

1. Если функции

а, а 1 (

ß, ß x бесконечно

малы при х а,

причем аг

эквивалентна а,

ß t эквивалентна ß, то

 

 

hm — — lim — .

 

 

х-у a ßi

х-у a ß

 

Действительно,

hm — = lim — — = hm — hm — hm — = hm — .

x-ya ßx

* - Л а

ßx ß /

^ а ^ - а Р к . а Р

а ß

Эта теорема играет большую роль при вычислении пределов. Если функция, предел которой отыскивается, имеет множителем или делителем некоторую бесконечно малую, то в силу теоремы 1 эту бесконечно малую можно заменить любой эквивалентной ей бесконечно малой.

169



Как мы видели, функция sin а эквивалентна бесконечно малой а; функция In (1 + z) эквивалентна бесконечно малой z. На этом ос­ новании вычисляются следующие пределы:

1)

\ ш ^ - =

\\т^-

= 2

 

 

 

(здесь а = 2х);

2)

lim (х sin — У - l i m (я — ) - 3

 

х I

х-хх>\

х

^здесь а — ~ ^ ;

о ч

о)

,•

sin

,. 2х

 

l i m

— u r n —

=

x-rO

In (1 - f 5х)

x ->о

2

5

(здесь а = 2х, z — bx).

Теорема 2. Для того

чтобы

функции

а (х)

и ß (х)

бь/л«

п/ш

x -> а

эквивалентными

бесконечно

малыми,

необходимо и

достаточно,

чтобы

разность

а—ß

ббгла бесконечно

малой более высокого порядка,

чем а

илм ß.

 

 

 

 

 

 

 

 

 

 

Д о к а з а т е л ь с т в о

н е о б х о д и м о с т и .

Пусть а и ß

при x

а являются

эквивалентными бесконечно малыми.

Тогда

 

 

Hm EL=LË.= lim/'i

 

 

 

 

 

 

х-.а

а

 

х - г а \

а

)

 

 

 

 

 

l i m ^ = l i m ( - ? - - l ) = 0 ,

 

 

 

 

 

х-> a

ß

х^

а \

ß

/

 

 

 

откуда

следует,

что а — ß является

бесконечно

малой

более

высо­

кого порядка, чем а и р .

 

 

 

 

 

 

 

 

Д о к а з а т е л ь с т в о

д о с т а т о ч н о с т и .

Пусть

раз­

ность а—ß является бесконечно малой более высокого порядка,

чем,

например,

а;

тогда l i m - — — = 0 или

lim/1

—) = 1 —

 

 

 

х^а

а

х->а\

а I

— l i m — - = 0 , откуда

lim — =

1, т. е. а

и

ß — эквивалентные

х-уа

а

 

х-*а а

 

 

^

 

бесконечно малые.

 

 

 

 

 

С

понятием

эквивалентности

бесконечно

малых, и в частности

с последней теоремой, связан в известном смысле вопрос о прибли­

женном выражении одной функции посредством

другой.

Пусть

функции а (х) и ß (х) являются

при х -> а эквивалентными

беско­

нечно малыми. Положим приближенно

 

 

 

a ( x ) ^ ß ( x ) .

(6.20)

Имеем lim (a—ß) =

lim а — lim ß — 0, откуда

следует, что

x УО.

x < д

x -у а

 

 

абсолютная погрешность | а — ß | приближенного равенства (6.20) стремится к нулю при приближении х к а. Однако «качество» при­ ближения оценивается, как известно, не по абсолютной, а по о т -

170


н о с и т е л ь н о й погрешности. Относительная погрешность при­ ближенного равенства (6.20) равна

Iс

ив силу теоремы 2 тоже стремится к пулю при х -> а. Следова­ тельно, для значений х, достаточно близких к а, приближенное равенство (6.20) будет осуществляться со сколь угодно большой относительной точностью. Таким образом, приходим к следую­

щему выводу:

если

функции

а (х) и ß (х) при х

а являются эк­

вивалентными

бесконечно малыми,

то для

значений х,

достаточно

близких

к а, любую

из этих

функций

можно

приближенно

заменить

другой

со сколь

угодно большой относительной

точностью.

Как известно, при х -*• 0 бесконечно малые sin х и In (1 + х) эквивалентны бесконечно малой х; отсюда следуют приближенные формулы

sinx^ax; In (l+x) œx,

(6-21)

которые будут тем точнее (как в смысле абсолютной, так и в смысле

относительной погрешности),

чем меньше

по модулю

х.

Вычислим еще несколько

пределов

 

 

 

 

 

 

lim •tg X

l i m /sin X

 

 

1,

 

 

 

X

х ->о

 

COS X

 

 

 

 

 

 

 

 

откуда

следует

приближенная

формула

 

 

 

 

 

 

 

IgXïuX.

 

 

 

(6.22)

І Л

 

1 - 1

— COS X

1

 

1 - 1

— COS X

 

Как

мы видели, lim

 

 

= — или lim

^

 

 

 

х->0

 

X2

2

 

X

х

 

откуда

следует

приближенная

формула 1 — c o s x ^ —

или

I

 

 

 

,

X2

 

 

 

(6.23)

 

 

 

cos X

1

.

 

 

 

 

 

 

 

 

Положив ех— 1

находим

 

 

 

 

 

um

 

um •

 

=

lim

= 1,

 

х-* 0

 

Z -*• оо

 

 

•Z-rOO

1

 

 

 

 

 

 

 

 

 

z

 

откуда

следует,

что

 

 

 

 

 

 

 

или

 

 

 

 

 

 

 

 

(6.24)

 

 

 

 

е х ~ 1 + х .

 

 

 

171