18.3 — Глава V, §18. Эквивалентные бесконечно малые функции18.3 — Chapter V, §18. Equivalent Infinitely Small Functions
18.1 дало язык сравнения, 18.2 — таблицу и теорему о замене. Здесь весь этот аппарат складывается в рабочий алгоритм: вычисление пределов вида 0/0, содержащих комбинации элементарных функций (14.6) из таблицы 18.2, сводится к чисто алгебраическому упрощению — без обращения к определению 16.1 или геометрическим построениям, как в 17.5. Это последний пункт §17–18, готовящий инструментарий к строгому определению непрерывности в §19.18.1 gave a language for comparison, 18.2 — a table and a substitution theorem. Here the whole apparatus comes together into a working algorithm: computing 0/0-type limits involving combinations of elementary functions (14.6) from the table in 18.2 reduces to purely algebraic simplification — without appealing to the definition in 16.1 or geometric constructions, as in 17.5. This is the final item of §17–18, preparing the toolkit for the rigorous definition of continuity in §19.
Для предела вида lim_{x→x₀} f(x)/g(x), где обе части — бесконечно малые (17.1) при x→x₀: (1) выделить в f и g множители, совпадающие по структуре со строками таблицы 18.2 (в частности, приведя аргумент к виду «нечто, стремящееся к нулю» подстановкой); (2) заменить каждый такой множитель на эквивалентный ему из таблицы (теорема 18.2); (3) упростить получившееся алгебраическое выражение и, если возможно, вычислить предел напрямую или через теоремы 17.3.For a limit of the form lim_{x→x₀} f(x)/g(x), where both parts are infinitesimal (17.1) as x→x₀: (1) identify factors in f and g matching the structure of rows in the table from 18.2 (in particular, by reducing the argument to the form "something tending to zero" via substitution); (2) replace each such factor with its equivalent from the table (the theorem in 18.2); (3) simplify the resulting algebraic expression and, if possible, compute the limit directly or via the theorems in 17.3.
Найти lim_{x→0} (1-cos 4x)/(x·sin 2x).Find lim_{x→0} (1-\cos 4x)/(x·\sin 2x).
Обе части стремятся к нулю (числитель: 1-cos 0=0; знаменатель: 0·sin 0=0) — неопределённость 0/0. По таблице 18.2: 1-cos 4x ~ (4x)²/2 = 8x² (подставляя 4x в строку 1-cos x~x²/2), и sin 2x ~ 2x. Заменяем:Both parts tend to zero (numerator: 1-\cos 0=0; denominator: 0·\sin 0=0) — a 0/0 indeterminate form. By the table in 18.2: 1-\cos 4x ~ (4x)²/2 = 8x² (substituting 4x into the row 1-\cos x~x²/2), and \sin 2x ~ 2x. Substitute:
lim (1-cos 4x)/(x·sin 2x) = lim (8x²)/(x·2x) = lim (8x²)/(2x²) = 8/2 = 4.Проверка масштаба разумности: числитель — величина порядка x² (следствие 1-cos~x²/2, объяснённого на пальцах в 18.1 как «более высокий порядок малости»), знаменатель — тоже порядка x² (произведение x на величину порядка x), значит их отношение действительно должно стремиться к конечному ненулевому числу — результат 4 согласуется с этой оценкой порядков ещё до вычисления точного значения.A sanity check on scale: the numerator is a quantity of order x² (a consequence of 1-\cos~x²/2, explained in plain language in 18.1 as "a higher order of smallness"), the denominator is also of order x² (a product of x and a quantity of order x), so their ratio should indeed tend to a finite nonzero number — the result 4 is consistent with this order-of-magnitude estimate even before computing the exact value.
Весь §17–18 можно свести к одной практической мысли: когда числитель и знаменатель предела оба исчезающе малы, прямая подстановка x=x₀ даёт бессмысленное 0/0 — как деление «почти ничего» на «почти ничего», результат которого зависит от того, насколько именно «почти» каждое из них. Эквивалентные бесконечно малые — это способ заменить каждое непонятное «почти ничего» на простую степенную функцию (x, x², kx...) с той же скоростью убывания, после чего деление «почти нулей» превращается в обычное деление многочленов, которое умеет упрощать любой школьник.All of §17–18 can be boiled down to one practical idea: when the numerator and denominator of a limit are both vanishingly small, plugging in x=x₀ directly gives a meaningless 0/0 — like dividing "almost nothing" by "almost nothing," a result that depends on exactly how "almost" each one is. Equivalent infinitesimals are a way to replace each murky "almost nothing" with a simple power function (x, x², kx...) with the same rate of decay, after which dividing "almost-zeros" turns into ordinary division of polynomials, which any schoolchild can simplify.
Пример из жизни. Представьте, что вы сравниваете, сколько времени осталось до окончания двух разных обратных отсчётов на двух разных табло — одно отсчитывает секунды до старта ракеты, другое (на соседнем экране) показывает совершенно другую, более сложную анимацию убывающих цифр, но фактически тоже отсчитывает время до того же события, только через непонятную формулу. Возникает вопрос: «отношение показаний этих двух табло — к чему оно стремится, когда до старта остаются считанные мгновения?» Если и то, и другое табло в конечном счёте ведут себя как обычные секунды (просто через разные, но эквивалентные механизмы отображения), ответ на вопрос об отношении можно получить, мысленно заменив оба сложных табло на простой секундомер — эквивалентные механизмы дают одинаковый ответ в пределе, даже если по пути они выглядели совершенно по-разному.A real-life example. Imagine comparing how much time is left before two different countdowns finish on two different displays — one counts seconds until a rocket launch, the other (on a neighboring screen) shows a completely different, more elaborate animation of decreasing digits, but is actually also counting down to the same event, just through some obscure formula. The question arises: "what does the ratio of these two displays' readings tend toward as the launch draws down to mere moments away?" If both displays ultimately behave like ordinary seconds (just through different, but equivalent, display mechanisms), the answer to the ratio question can be found by mentally replacing both elaborate displays with a plain stopwatch — equivalent mechanisms give the same answer in the limit, even if along the way they looked completely different.
Рис. 61. Числитель 1-cos 4x (сиреневая) и знаменатель x·sin 2x (зелёная) из Примера 18.2 — оба стремятся к нулю с одной и той же скоростью (порядок x²), их отношение стремится к конкретному конечному числу 4, а не к 0 или ∞.Fig. 61. The numerator 1-\cos 4x (lavender) and denominator x·\sin 2x (green) from Example 18.2 — both tend to zero at the same rate (order x²), and their ratio tends to a specific finite number 4, not to 0 or ∞.
Строка sin u~u из таблицы 18.2 верна только при u→0 — и это условие нужно проверять для аргумента u целиком, каким бы сложным он ни был. Например, в sin(x²+x) при x→0 аргумент u=x²+x действительно стремится к нулю (сумма двух б.м.ф. по теореме из 17.1), значит замена sin(x²+x)~x²+x корректна. Но в sin(x+1) при x→0 аргумент u=x+1→1≠0 — замена на «x+1» неверна, потому что условие эквивалентности попросту не выполняется: sin 1 — не бесконечно малая величина, а конкретное ненулевое число.The row \sin u~u from the table in 18.2 only holds for u→0 — and this condition must be checked against the whole argument u, however complex it is. For example, in \sin(x²+x) as x→0, the argument u=x²+x genuinely tends to zero (a sum of two i.s.f.'s by the theorem in 17.1), so the substitution \sin(x²+x)~x²+x is valid. But in \sin(x+1) as x→0, the argument u=x+1→1≠0 — substituting "x+1" is wrong, because the equivalence condition simply isn't met: \sin 1 isn't an infinitesimal quantity, but a specific nonzero number.
Таблица 18.2 закрывает большой, но не безграничный класс пределов. Как показали Грабли в 18.2 (пример с tg x-sin x), прямая замена может провалиться при сокращении главных членов внутри суммы или разности — в таких случаях требуется либо более тонкое разложение (вне текущего курса, но станет доступным после формулы Тейлора в §26), либо алгебраическое преобразование выражения перед применением таблицы (вынесение общего множителя, приведение к общему знаменателю), чтобы устранить проблемную сумму/разность до того, как использовать эквивалентности. Таблица — мощный, но не универсальный инструмент.The table in 18.2 covers a large but not unlimited class of limits. As the Gotchas in 18.2 showed (the \tan x-\sin x example), direct substitution can fail when leading terms cancel inside a sum or difference — in such cases, either a finer expansion is needed (outside the current course, but becomes available after Taylor's formula in §26), or the expression needs algebraic manipulation before applying the table (factoring out a common factor, combining over a common denominator) to eliminate the problematic sum/difference before using equivalences. The table is a powerful but not universal tool.
источникsource
Применение эквивалентных бесконечно малых функций к вычислению пределов — по изданию: Письменный Д. Т. Конспект лекций по высшей математике: полный курс. — 9-е изд. — М.: Айрис-пресс, 2009. — 608 с. — Глава V, §18.3 «Применение эквивалентных бесконечно малых функций», с. 144. Пример 18.2, связь с 17.1/18.2/19.1, раздел «Грабли» — авторское дополнение.Applications of equivalent infinitely small functions to computing limits — from: Pismenny D. T. Lecture Notes on Higher Mathematics: Complete Course. — 9th ed. — Moscow: Iris-press, 2009. — 608 p. — Chapter V, §18.3 "Applications of Equivalent Infinitely Small Functions," p. 144. Example 18.2, the connection to 17.1/18.2/19.1, and the "Gotchas" section, are original additions.