Правило Лопиталя раскрытия неопределённостей¶

Правило Лопиталя — метод вычисления пределов функций, при котором раскрываются неопределённости видов \(\frac{0}{0}\) и \(\frac{\infty}{\infty}\) путём замены отношения функций отношением их производных. Правило применяется в математическом анализе и позволяет свести вычисление сложного предела к более простому, если выполняются условия его применимости.

¶Формулировка

Пусть функции \(f(x)\) и \(g(x)\) определены и дифференцируемы в некоторой проколотой окрестности точки \(a\) (конечной или бесконечно удалённой), причём \(g'(x) \neq 0\) в этой окрестности. Если

\[\lim_{x \to a} f(x) = \lim_{x \to a} g(x) = 0\]

либо

\[\lim_{x \to a} |f(x)| = \lim_{x \to a} |g(x)| = \infty,\]

и существует предел отношения производных

\[\lim_{x \to a} \frac{f'(x)}{g'(x)},\]

то существует и предел исходного отношения, причём

\[\lim_{x \to a} \frac{f(x)}{g(x)} = \lim_{x \to a} \frac{f'(x)}{g'(x)}.\]

Правило допускает повторное применение: если после дифференцирования числителя и знаменателя неопределённость сохраняется, процедуру можно провести ещё раз, и так до её раскрытия или до выяснения, что предел не существует.

¶Условия применимости

Ключевое требование — наличие именно неопределённости \(\frac{0}{0}\) или \(\frac{\infty}{\infty}\). Применение правила к отношению, не являющемуся неопределённостью, приводит к неверному результату. Существенно и то, что предел отношения производных должен существовать (конечный или бесконечный); если он не существует, из этого не следует несуществование исходного предела — правило в таком случае неприменимо.

Отдельно оговаривается, что функции должны быть дифференцируемы вблизи точки, а производная знаменателя не обращаться в нуль.

¶Приведение других неопределённостей

Помимо двух основных видов, правило позволяет раскрывать и другие неопределённости после алгебраических преобразований:

• \(0 \cdot \infty\) — произведение \(f \cdot g\) преобразуется в дробь \(\frac{f}{1/g}\) или \(\frac{g}{1/f}\);
• \(\infty - \infty\) — разность приводится к общему знаменателю;
• \(0^0\), \(1^\infty\), \(\infty^0\) — выражение логарифмируется, предел ищется для логарифма, затем результат потенцируется.

¶История

Метод связывают с именем французского математика Гийома Франсуа Антуана де Лопиталя (1661–1704), опубликовавшего его в 1696 году в учебнике «Анализ бесконечно малых» (Analyse des infiniment petits). Это был первый печатный курс дифференциального исчисления. Существует устойчивое мнение, что правило было сообщено Лопиталю его учителем Иоганном Бернулли, с которым он состоял в переписке и договоре о передаче математических результатов. Сам Бернулли позднее заявлял о своём авторстве. По этой причине в ряде источников правило называют правилом Лопиталя — Бернулли.

¶Примеры

Классический пример неопределённости \(\frac{0}{0}\):

\[\lim_{x \to 0} \frac{\sin x}{x} = \lim_{x \to 0} \frac{\cos x}{1} = 1.\]

Пример неопределённости \(\frac{\infty}{\infty}\):

\[\lim_{x \to \infty} \frac{\ln x}{x} = \lim_{x \to \infty} \frac{1/x}{1} = 0.\]

Показательный случай неопределённости \(0 \cdot \infty\):

\[\lim_{x \to 0^+} x \ln x = \lim_{x \to 0^+} \frac{\ln x}{1/x} = \lim_{x \to 0^+} \frac{1/x}{-1/x^2} = \lim_{x \to 0^+} (-x) = 0.\]

¶Значение и ограничения

Правило Лопиталя — стандартный инструмент курса математического анализа, применяемый при вычислении пределов, исследовании функций, в задачах на асимптотику и в прикладных расчётах. Оно существенно упрощает работу там, где прямое раскрытие неопределённости требует громоздких преобразований.

Вместе с тем правило не является универсальным. Известны случаи, когда применение производных не приводит к цели, тогда как исходный предел существует и вычисляется иными способами. Например, для предела \(\frac{x + \sin x}{x}\) при \(x \to \infty\) отношение производных \(\frac{1 + \cos x}{1}\) не имеет предела, хотя исходное отношение стремится к 1. Это показывает, что отсутствие предела у отношения производных не означает отсутствия предела у исходной дроби.

В учебной практике правило нередко применяется формально, без проверки условий, что ведёт к ошибкам. Корректное использование требует предварительного установления вида неопределённости и проверки дифференцируемости функций.

¶Связь с другими методами

Правило Лопиталя дополняет такие приёмы раскрытия неопределённостей, как разложение функций в ряды Тейлора, использование эквивалентных бесконечно малых и алгебраические преобразования. В ряде задач разложение в ряд оказывается эффективнее, поскольку даёт результат без многократного дифференцирования. Выбор метода определяется структурой конкретного выражения.

Источники: учебники по математическому анализу, курс дифференциального исчисления, историко-математические публикации о переписке Лопиталя и Бернулли.