18.1 — Глава V, §18. Эквивалентные бесконечно малые функции18.1 — Chapter V, §18. Equivalent Infinitely Small Functions
17.1 установило, что «б.м.ф.» — это не одно число, а целый класс функций, стремящихся к нулю. Но не все они «одинаково малы»: одни падают к нулю стремительно, другие — еле заметно. Здесь вводится инструмент сравнения скорости убывания двух бесконечно малых через предел их отношения — тот же приём, который в 17.5 уже неявно использовался при вычислении (sin x)/x, только теперь он формализуется как самостоятельное понятие.17.1 established that "i.s.f." isn't a single number but an entire class of functions tending to zero. But not all of them are "equally small": some fall to zero rapidly, others barely noticeably. Here a tool for comparing the rate of decay of two infinitesimals is introduced via the limit of their ratio — the same trick already used implicitly in 17.5 when computing (\sin x)/x, only now formalized as a standalone notion.
Пусть α(x) и β(x) — бесконечно малые при x→x₀ (17.1), и пусть предел их отношения lim_{x→x₀} α(x)/β(x) существует (конечный или бесконечный). Тогда:Let α(x) and β(x) be infinitesimal as x→x₀ (17.1), and suppose the limit of their ratio lim_{x→x₀} α(x)/β(x) exists (finite or infinite). Then:
1. Если lim α/β = 0, то α называется бесконечно малой более высокого порядка, чем β (пишут α=o(β)) — α падает к нулю быстрее.
2. Если lim α/β = ∞, то α — бесконечно малая более низкого порядка, чем β — α падает медленнее (эквивалентно, β более высокого порядка, чем α).
3. Если lim α/β = C≠0 (конечное, ненулевое), α и β называются бесконечно малыми одного порядка.
4. Если lim α/β = 1, α и β называются эквивалентными (пишут α~β) — частный, но важнейший случай пункта 3.
1. If lim α/β = 0, α is called an infinitesimal of higher order than β (written α=o(β)) — α falls to zero faster.
2. If lim α/β = ∞, α is an infinitesimal of lower order than β — α falls slower (equivalently, β is of higher order than α).
3. If lim α/β = C≠0 (finite, nonzero), α and β are called infinitesimals of the same order.
4. If lim α/β = 1, α and β are called equivalent (written α~β) — a special but crucial case of item 3.
Классический пример, где всё это видно сразу: сравним α(x)=x и β(x)=x² при x→0. Обе стремятся к нулю, но lim α/β = lim x/x² = lim 1/x = ∞ — значит x более низкого порядка, чем x² (падает медленнее), а x², соответственно, более высокого порядка, чем x (падает быстрее). Это согласуется с интуицией: при x=0.01, x²=0.0001 — на два порядка меньше. Первый замечательный предел из 17.5 — это в точности утверждение sin x ~ x при x→0 (пункт 4 выше): lim(sin x)/x=1.A classic example where all of this is visible at once: compare α(x)=x and β(x)=x² as x→0. Both tend to zero, but lim α/β = lim x/x² = lim 1/x = ∞ — so x is of lower order than x² (falls slower), and x², correspondingly, is of higher order than x (falls faster). This matches intuition: at x=0.01, x²=0.0001 — two orders of magnitude smaller. The first remarkable limit from 17.5 is exactly the statement \sin x ~ x as x→0 (item 4 above): lim(\sin x)/x=1.
Представьте двух бегунов, оба финишируют ровно в точке «ноль» — оба бесконечно малы. Вопрос сравнения — не «кто первый прибежит» (они оба «прибегают» в одну и ту же точку в пределе), а «кто из них замедляется быстрее по пути». Отношение α/β — это как раз способ увидеть относительную скорость: если α/β→0, значит α «тормозит» настолько сильнее, что относительно β становится пренебрежимо малой — α практически уже «на финише», пока β ещё «в пути». Если же α/β→1, оба бегуна замедляются практически синхронно, шаг в шаг — это и называется эквивалентностью.Picture two runners, both finishing exactly at the point "zero" — both infinitesimal. The comparison question isn't "who finishes first" (they both "finish" at the same point in the limit), but "which one slows down faster along the way." The ratio α/β is exactly a way to see the relative speed: if α/β→0, then α is "braking" so much harder that, relative to β, it becomes negligibly small — α is essentially already "at the finish line" while β is still "on the way." If instead α/β→1, both runners slow down practically in sync, step for step — that's what equivalence means.
Пример из жизни. Две машины тормозят перед светофором. Первая едет на обычных тормозах — скорость падает линейно со временем, оставшимся до полной остановки. Вторая — на продвинутой системе рекуперативного торможения, которая тормозит агрессивнее по мере приближения к нулю, так что её скорость падает квадратично относительно оставшегося времени. Если сравнить их «остаточные скорости» α(t) (обычные тормоза) и β(t)=α(t)² (рекуперация) по мере приближения к моменту полной остановки (t→0), окажется, что β/α→0: скорость второй машины падает к нулю значительно быстрее — за мгновение до остановки первая машина всё ещё едет заметно, а вторая уже почти неподвижна. Обе скорости стремятся к нулю (обе — бесконечно малые), но с принципиально разной «прытью».A real-life example. Two cars are braking before a traffic light. The first uses ordinary brakes — speed falls linearly with the time remaining until a full stop. The second uses an advanced regenerative braking system that brakes more aggressively as it nears zero, so its speed falls quadratically relative to the remaining time. Comparing their "residual speeds" α(t) (ordinary brakes) and β(t)=α(t)² (regenerative), as the moment of a full stop is approached (t→0), it turns out that β/α→0: the second car's speed falls to zero much faster — a moment before stopping, the first car is still moving noticeably, while the second is almost motionless already. Both speeds tend to zero (both are infinitesimal), but with fundamentally different "urgency."
Рис. 59. Остаточная скорость двух машин при торможении: α(t) (сиреневая, линейная) и β(t)=α(t)² (зелёная, квадратичная) — обе стремятся к нулю при t→0, но β исчезает значительно быстрее: β — бесконечно малая более высокого порядка, чем α.Fig. 59. The residual speed of two cars while braking: α(t) (lavender, linear) and β(t)=α(t)² (green, quadratic) — both tend to zero as t→0, but β vanishes much faster: β is an infinitesimal of higher order than α.
Легко machinально решить, что «более высокий порядок» означает «более значимая» или «более крупная» величина — интуиция из обычного языка тянет в эту сторону. На деле всё наоборот: более высокий порядок малости означает, что функция меньше (падает быстрее, «более пренебрежимая» на фоне сравниваемой). Термин происходит от степени: x² имеет более высокий порядок (степень выше), но при малых x даёт меньшее значение, чем x. Путаница между «порядком» (степенью убывания) и «величиной» (числовым значением) — источник систематических ошибок при первом знакомстве с темой.It's easy to mechanically assume "higher order" means "more significant" or "larger" — ordinary-language intuition pulls that way. In fact it's the opposite: a higher order of smallness means the function is smaller (falls faster, "more negligible" relative to the one it's compared against). The term comes from the exponent: x² has a higher order (higher power), but for small x it gives a smaller value than x. Confusing "order" (rate of decay) with "magnitude" (numeric value) is a source of systematic errors when first encountering this topic.
Утверждение «α более высокого порядка, чем β» бессмысленно без указания, при каком именно x→x₀ это происходит — те же две функции могут иметь совершенно другое соотношение порядков при другом предельном переходе. Например, α(x)=x и β(x)=sin x эквивалентны при x→0 (17.5), но при x→π обе вообще не являются бесконечно малыми (17.1 требует именно предела к нулю, а не абстрактной «малости» вдалеке от конкретной точки) — сравнение попросту не определено. Всегда нужно явно фиксировать точку или направление предельного перехода, прежде чем сравнивать порядки.The statement "α is of higher order than β" is meaningless without specifying exactly which x→x₀ this refers to — the same two functions can have a completely different order relationship under a different limiting process. For example, α(x)=x and β(x)=\sin x are equivalent as x→0 (17.5), but as x→π neither is infinitesimal at all (17.1 requires an actual limit of zero, not abstract "smallness" far from a specific point) — the comparison simply isn't defined. The point or direction of the limiting process must always be fixed explicitly before comparing orders.
источникsource
Сравнение бесконечно малых функций — по изданию: Письменный Д. Т. Конспект лекций по высшей математике: полный курс. — 9-е изд. — М.: Айрис-пресс, 2009. — 608 с. — Глава V, §18.1 «Сравнение бесконечно малых функций», с. 141–142. Связь с 17.1/17.5/18.2, раздел «Грабли» — авторское дополнение.Comparing infinitely small functions — from: Pismenny D. T. Lecture Notes on Higher Mathematics: Complete Course. — 9th ed. — Moscow: Iris-press, 2009. — 608 p. — Chapter V, §18.1 "Comparing Infinitely Small Functions," pp. 141–142. The connection to 17.1/17.5/18.2, and the "Gotchas" section, are original additions.