Реферат: Порівняння функцій та їх застосування
Якщо функція замінюється на де якому кроці через
, то різницяь
називається абсолютною похибкою, а відношення
— відносною похибкою зробленої заміни. Якщо вивчається поведінка функції
при
то часто доцільно замінити її функцією
такої, що 1) функція
в певному значенні більш проста, ніж функція
; 2) абсолютна похибка прямує до нуля при
В цьому випадку говорять, що наближає функцію
поблизу точки
. Такою властивістю володіють наприклад, всі нескінченно малі при
функції f і g. Нижче показано, що серед них лише ті, які еквівалентні між собою:
володіють тією властивістю, що не тільки абсолютна похибка , але і відносна
прямує до нуля при
В цьому значенні функції, еквівалентні заданій, наближають її краще, ніж інші функції навіть того ж порядку, що і дана при
Наприклад, функції є нескінченно малими при
так само як і
а тому абсолютні похибки при заміні sin
кожна з них прямує до нуля при
Але лише одна зі всіх перерахованих функцій, а саме: має ту властивість, що відносна похибка при заміні
цією функцією прямуватиме до нуля при
Прямування відносної похибки до нуля при
можна записати, використовуючи символ “o мале»:
Сформулюємо сказану характеристичну властивість еквівалентних функцій у вигляді теореми.
Теорема 1. Для того, щоб функції і
були еквівалентними при
необхідно і достатньо, щоб при
виконувалася умова
(1.32)
Доведення необхідності. Нехай при
тобто
де . Тоді
де при
, тобто маємо (1.32).
Доведення достатності. Нехай виконується умова (1.32), тобто
де . Тоді
де при
тобто
при
Отже, ми показали, що функції і
еквівалентні при
тоді і тільки тоді, коли відносна похідна
(або
прямує до нуля при
)
Наслідок. Нехай де с - стала. Тоді f~cg і g=cf+o(f) при
Доведення. Якщо , то
, і значить
при
. Звідси, з теореми 1 маємо
а значить (див. кінець п. 1.2)
.
Теорема 2. Нехай ~
і
~
при
Тоді якщо існує
(1.33)
то існує і , причому
(1.34)
Доведення. Умова при
означає, що
де , а умова
при
-що
, де
. Крім того, оскільки існує границя (1.33), функція
визначена в деякому проколеному околі точки
і, отже, всюди в цьому околі виконується нерівність
. Оскільки
і, очевидно,
в деякому проколеному околі точки
, то і функція
володіє тією ж властивістю. Тому функція
визначена в деякому проколеному околі точки
.