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