Реферат: Порівняння функцій та їх застосування
Наприклад візьмемо функцію і
. Маємо
(див. (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. Якщо в деякому проколеному околі точки де
, то функція
називається нескінченно малою в порівнянні з функцією
при
, пишеться
, (читається:
є о мале від
при
, прямучому до
).