Реферат: Порівняння функцій та їх застосування
Наприклад візьмемо функцію і . Маємо (див. (1.1)), тому згідно доведеному, функції і одного порядку при .
Означення 3. Функціїи і називаються эквівалентними при , якщо в деякому проколеному околі точки визначена така функція , що
(1.20)
і
(1.21)
Відзначимо, що через властивість (1.21) знайдеться проколений окіл точки , у якій . Вважаючи бачимо, що умови (1.20) і (1.21) для вказаного проколеного околу рівносильні умовам
тобто як говорять, еквівалентність двох функцій має властивість симетричності.
Функції і , еквівалентні при , називаються також асимптотично рівними при Асимптотична рівність (еквівалентність) функцій позначається символом ~:
(1.22)
З сказаного вище слідує, що якщо при , то і при
Приклади. 1. при , Дійсно, припустивши , отримаємо:
і
2. ~ при . Дійсно, якщо , то
і
Якщо в деякому проколеному околі точки справедливі нерівності то умови (1.20) і (1.21) еквівалентні співвідношенню
а, отже, й умові
Щоб в цьому переконатися, достатньо покласти тоді, очевидно, для функції виконуються умови (1.20) і (1.21).
Якщо
f~g і g~f при (1.23)
то
f~h при (1.24)
Дійсно, з умов (1.23) виходить, що в деякому проколеному околі точки
де і, отже
,
де , тобто виконується асимптотична рівність (1.24).
З результатів пункту 1.1 слідує, що при справедлива наступна еквівалентність нескінченно малих:
З цієї еквівалентності випливають і більш загальні співвідношення, які сформулюємо у вигляді окремої леми.
Лема 4. Якщо функція така, що
(1.25)
то при ,
(1.26)
Доведення. Покажемо, наприклад, що
(1.27)
Нехай функція визначена в деякому проколеному околі точки Покладемо (вважаючи що належить цоьму околі)
(1.28)
Покажемо, що
(1.29)
Нехай задано Оскільки
(тут u — незалежна змінна), існує таке число що при виконується нерівність
Для вказаного в силу (1.25) знайдеться таке число , що для всіх , задовольняючих умову , виконується нерівністьо Отже, якщо і , то
Інакше кажучи, якщо і , то
(1.30)
Якщо ж і , то згідно (1.28) маємо і, отже, нерівність (1.30) очевидно також виконується.
Рівність (1.29) доведена, а оскільки з (1.28) випливає, що для всіх , то доведена справедливість асимптотичної рівності (1.27). Аналогічно доводиться і решта асимптотичні формули (1.26).
Означення 4. Якщо в деякому проколеному околі точки де , то функція називається нескінченно малою в порівнянні з функцією при , пишеться , (читається: є о мале від при , прямучому до ).