"Математика: алгебра и начала математического анализа, геометрия. Алгебра и начала математического анализа (углублённый уровень)", Пратусевич М.Я., Столбов К.М., Головин А.Н.
Бесконечно малая функция стремится к нулю при определённом предельном переходе, например при x → 0 или x → ∞. Сравнивая отношение двух таких функций, можно определить, одинаково ли быстро они убывают, эквивалентны ли или одна имеет более высокий порядок. Это помогает выделять главный член выражения и упрощать вычисление пределов.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Бесконечно малая функция — это функция, предел которой при заданном стремлении аргумента равен нулю. Например, x² бесконечно малая при x → 0, а 1/x — при x → ∞. Всегда нужно указывать, к чему стремится аргумент, потому что свойства функции могут измениться в другом режиме.
Бесконечно малые α и β называют одного порядка, если предел их отношения α/β равен конечному ненулевому числу. Это означает, что функции убывают с сопоставимой скоростью, хотя могут отличаться постоянным множителем. Такое сравнение помогает понять общий масштаб малости функций.
Бесконечно малые α и β называют эквивалентными, если α/β → 1. Используют обозначение α ~ β. Эквивалентные функции имеют одинаковый главный темп убывания, поэтому одну из них часто можно заменить другой при вычислении предела.
Функция α имеет более высокий порядок относительно β, если α/β → 0. Тогда α стремится к нулю быстрее β и становится значительно меньше неё. Это понятие позволяет расположить бесконечно малые по скорости убывания.
Чтобы сравнить две бесконечно малые функции, составляют их отношение и находят его предел. Причина такого подхода в том, что деление показывает не абсолютную величину функций, а их взаимный масштаб. Если отношение приближается к постоянному числу, изменение одной функции повторяет изменение другой с постоянным коэффициентом.
Когда предел α/β равен ненулевому конечному числу, функции относят к одному порядку. Частный случай возникает при пределе 1: постоянный множитель исчезает, и функции становятся эквивалентными. Поэтому эквивалентность является более строгим условием, чем просто одинаковый порядок.
Если α/β → 0, числитель меньше знаменателя в предельном смысле и быстрее убывает к нулю. Если же отношение стремится к бесконечности, полезно рассмотреть β/α: оно будет стремиться к нулю, значит, более высокий порядок имеет β. Так по направлению отношения определяют, какая функция является более малой.
Предел, равный бесконечности или не существующий, не даёт права назвать функции одного порядка. В первом случае проверяют обратное отношение, а во втором исследуют выражение после преобразований или рассматривают односторонние пределы. Результат всегда относится только к выбранной точке или режиму, поскольку при x → 0 и x → ∞ одна и та же пара функций может вести себя по-разному.
| Предел α/β | Соотношение функций | Название |
|---|---|---|
| 0 | α стремится к нулю быстрее β | α — более высокого порядка относительно β |
| C, где C ≠ 0 и конечно | Функции имеют сопоставимый темп убывания | Одного порядка |
| 1 | Функции имеют одинаковый главный темп убывания | Эквивалентные |
| ∞ | β стремится к нулю быстрее α | β — более высокого порядка относительно α |
| Не существует | По одному пределу отношения сравнение не устанавливается | Требуется дополнительный анализ |
Сначала выпишите отношение α/β и вычислите его предел в указанной точке или при указанном режиме. Затем сопоставьте результат со строкой таблицы: отдельно проверяйте, равен ли конечный предел именно 1. При бесконечном или несуществующем пределе дополнительно исследуйте обратное отношение и само поведение функций.
Обе функции стремятся к нулю, поэтому их можно сравнивать как бесконечно малые. Нужно выяснить, к чему стремится отношение α/β. Знак функций здесь не меняет вывода о порядке, поскольку достаточно рассмотреть их отношение.
Ответ: x² — бесконечно малая более высокого порядка, чем x, при x → 0. Иными словами, x² = o(x). Функции не являются эквивалентными.
Обе функции стремятся к нулю при x → 0. Рассмотрим отношение sin x/x, потому что именно оно показывает относительную скорость убывания. Для него используется стандартный замечательный предел.
Ответ: функции sin x и x эквивалентны при x → 0. Они имеют один и тот же главный темп убывания, поэтому в подходящих пределах sin x можно заменить на x.
Непосредственная подстановка даёт отношение вида 0/0, поэтому выражение нужно преобразовать. Используем формулу 1 − cos x = 2sin²(x/2). После этого связь с известным пределом sin t/t становится очевидной.
Ответ: 1 − cos x и x² — бесконечно малые одного порядка, но не эквивалентные. Более точно, 1 − cos x ~ ½x², а отношение α/β стремится к ½.
Ошибка: называть функции эквивалентными при любом конечном ненулевом пределе отношения. Так делают, потому что смешивают понятия «одного порядка» и «эквивалентные». Проверьте себя: для эквивалентности предел должен быть ровно 1, а для одного порядка достаточно любого C ≠ 0.
Ошибка: неправильно определять функцию более высокого порядка. Если α/β → 0, иногда считают, что быстрее убывает β, хотя нулю стремится именно отношение числителя к знаменателю. Проверьте направление дроби: более высокий порядок имеет числитель α.
Ошибка: сравнивать функции без указания предельного перехода. Причина в том, что один и тот же аргумент может иметь разные режимы, например x → 0 и x → ∞. Запишите точку или направление перехода до вычисления отношения.
Ошибка: считать отсутствие конечного предела отношения окончательным ответом. Иногда отношение стремится к бесконечности, а иногда предел не существует из-за колебаний или разных односторонних поведений. Проверьте обратную дробь и попробуйте преобразовать исходное отношение.
Для классификации бесконечно малых нужно знать определение предела функции и уметь вычислять предел отношения. Без этого невозможно определить, равен ли результат нулю, единице, другому числу или не существует. Поэтому тема опирается на базовые правила пределов.
Сравнение бесконечно малых помогает упрощать вычисления. Эквивалентную функцию можно заменять в подходящих произведениях и частных, сохраняя главный результат предельного перехода. Так громоздкие тригонометрические или алгебраические выражения превращаются в более простые.
Тема связана с разложениями функций и выделением главного члена. Например, запись 1 − cos x ~ ½x² показывает, какой член определяет поведение функции около нуля. Остальные, более малые по порядку, влияют на точность, но не меняют главный темп убывания.
Как понять, какая из двух бесконечно малых функций убывает быстрее?
Найдите предел отношения α/β. Если α/β → 0, быстрее к нулю стремится α; если α/β → ∞, быстрее убывает β. Сравнение всегда выполняют при указанном предельном переходе.
Чем функции одного порядка отличаются от эквивалентных?
Для функций одного порядка предел отношения равен конечному ненулевому числу C. Эквивалентность — более частный случай: предел α/β должен быть равен именно 1.
Почему для эквивалентности предел отношения должен быть равен 1?
Предел 1 означает, что функции отличаются лишь множителем, стремящимся к единице, и имеют один и тот же главный вид убывания. Если предел равен, например, 3, функции всё ещё одного порядка, но не эквивалентны по принятому определению.
Можно ли заменить функцию эквивалентной при вычислении предела?
Да, эквивалентную бесконечно малую обычно можно заменить в произведении или частном, если такая замена сохраняет смысл выражения и не нарушает условия применяемой теоремы. Перед заменой проверьте, что обе функции рассматриваются при одном и том же предельном переходе.
Может ли порядок двух функций зависеть от точки, к которой стремится аргумент?
Да. Одни и те же функции могут быть эквивалентными при x → 0, но иметь другое соотношение при x → ∞. Поэтому точку или режим предельного перехода указывают обязательно.
§ 47. Классификация бесконечно малых функций
