Эквивалентные функции в математике¶
Эквивалентные функции — это пары функций, отношение которых стремится к единице при стремлении аргумента к некоторой предельной точке. Это понятие играет центральную роль в асимптотическом анализе, теории пределов и вычислительной математике, позволяя заменять сложные выражения более простыми без потери точности в пределе.
¶Определение
Пусть функции \( f(x) \) и \( g(x) \) определены в некоторой проколотой окрестности точки \( x_0 \) (конечной или бесконечной) и \( g(x) \neq 0 \) в этой окрестности. Функции называются эквивалентными при \( x \to x_0 \), если
\[ \lim_{x \to x_0} \frac{f(x)}{g(x)} = 1. \]
Обозначение: \( f(x) \sim g(x) \) при \( x \to x_0 \). Эквивалентность — частный случай асимптотического равенства, когда относительная погрешность замены стремится к нулю.
¶Связь с другими асимптотическими понятиями
Эквивалентность тесно связана с символами Ландау:
- Если \( f \sim g \), то одновременно \( f = O(g) \) и \( g = O(f) \), то есть функции одного порядка роста.
- Эквивалентность сильнее отношения \( f = g + o(g) \): последнее как раз и означает \( f \sim g \).
- Запись \( f \sim g \) эквивалентна утверждению \( f - g = o(g) \) при \( x \to x_0 \).
Таким образом, эквивалентные функции различаются на величину, пренебрежимо малую по сравнению с каждой из них.
¶Основные свойства
- Рефлексивность: \( f \sim f \).
- Симметричность: если \( f \sim g \), то \( g \sim f \).
- Транзитивность: если \( f \sim g \) и \( g \sim h \), то \( f \sim h \).
- Совместимость с умножением и делением: если \( f_1 \sim g_1 \) и \( f_2 \sim g_2 \), то \( f_1 f_2 \sim g_1 g_2 \) и \( f_1 / f_2 \sim g_1 / g_2 \) (при корректной определённости).
- Возведение в степень: если \( f \sim g \) и \( \alpha \) — постоянная, то \( f^\alpha \sim g^\alpha \) при подходящих условиях положительности.
Важное ограничение: эквивалентность не сохраняется при сложении и вычитании. Из \( f_1 \sim g_1 \) и \( f_2 \sim g_2 \) не следует \( f_1 + f_2 \sim g_1 + g_2 \); более того, разность эквивалентных функций может оказаться величиной более высокого порядка малости, и её анализ требует отдельного исследования.
¶Замечательные эквивалентности
При \( x \to 0 \) широко применяются следующие соотношения:
| Функция | Эквивалент |
|---|---|
| \( \sin x \) | \( x \) |
| \( \tan x \) | \( x \) |
| \( \arcsin x \) | \( x \) |
| \( \arctan x \) | \( x \) |
| \( 1 - \cos x \) | \( x^2/2 \) |
| \( \ln(1+x) \) | \( x \) |
| \( e^x - 1 \) | \( x \) |
| \( (1+x)^\alpha - 1 \) | \( \alpha x \) |
| \( a^x - 1 \) | \( x \ln a \) |
Эти формулы лежат в основе метода замены бесконечно малых, повсеместно используемого при вычислении пределов.
¶Применение
¶Вычисление пределов
Замена функций эквивалентными позволяет упрощать выражения при раскрытии неопределённостей вида \( 0/0 \). Например, предел \( \lim_{x\to 0} \frac{\sin 3x}{\ln(1+2x)} \) сводится к \( \frac{3x}{2x} = \frac{3}{2} \). Однако при неопределённостях, связанных с разностью близких величин, прямая замена недопустима и требует учёта следующих членов разложения.
¶Асимптотический анализ
В теории алгоритмов и в анализе сложности вычислений эквивалентность используется для описания роста функций трудоёмкости. Например, запись \( n^2 + 3n \sim n^2 \) при \( n \to \infty \) показывает, что младшие члены не влияют на порядок роста.
¶Физика и прикладные расчёты
В физике приближённые замены \( \sin x \approx x \) для малых углов (малых колебаний маятника, параксиальной оптики) представляют собой практическое применение эквивалентности. Аналогично в теории относительности при малых скоростях релятивистские формулы переходят в классические с относительной погрешностью, стремящейся к нулю.
¶Эквивалентность и разложения в ряды
Наиболее естественный источник эквивалентностей — разложение функций в ряд Тейлора. Если \( f(x) = c_k x^k + c_{k+1} x^{k+1} + \dots \) и \( c_k \neq 0 \), то при \( x \to 0 \) справедливо \( f(x) \sim c_k x^k \). Главный член разложения полностью определяет асимптотику функции, а все последующие члены дают поправки более высокого порядка малости.
¶Ограничения метода
Метод эквивалентных замен не является универсальным:
- Он неприменим к суммам и разностям, где требуется взаимное сокращение главных членов.
- Замена внутри сложного выражения допустима лишь тогда, когда соответствующая функция входит множителем или делителем в целом.
- При стремлении аргумента к точке, отличной от нуля, эквивалентности требуют предварительной замены переменной.
Соблюдение этих условий — необходимое требование корректного применения метода, нарушение которого приводит к ошибочным результатам.
¶Обобщения
Понятие эквивалентности переносится на последовательности (\( a_n \sim b_n \) при \( n \to \infty \)), на функции нескольких переменных и на асимптотические разложения в комплексном анализе. В более общем виде эквивалентность рассматривается в теории асимптотических рядов и в аналитической теории чисел, где она используется, в частности, при формулировке асимптотического закона распределения простых чисел.
Источники: учебники по математическому анализу, теория пределов и асимптотические методы, справочники по высшей математике.