Правило Лопіталя

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

Пра́вило Лопіта́ля — у математичному аналізі — метод знаходження границь функції, розкриття невизначеностей вигляду 0/0 і \infty/\infty. Теорема, що обґрунтовує метод, стверджує що за деяких умов границя від частки функцій дорівнює границі частки їхніх похідних.

Точне формулювання[ред.ред. код]

Правило говорить, що якщо функції f(x) і g(x) задовольняють такі умови:

  1. \lim_{x\to a+}{f(x)}=\lim_{x\to a+}{g(x)}=0 або \infty;
  2. \exists \lim_{x\to a+}{\frac{f'(x)}{g'(x)}};
  3. g'(x)\neq 0 в проколотому околі a;
  4. Якщо f(x) і g(x) — диференційовані в проколотому околі a,

то існує \lim_{x\to a+}{\frac{f(x)}{g(x)}} = \lim_{x\to a+}{\frac{f'(x)}{g'(x)}}. При цьому теорема вірна і для інших баз (для вказаної буде наведено доказ).

Історія[ред.ред. код]

Спосіб розкриття такого роду невизначеностей було опубліковано Лопіталем у праці «Аналіз нескінченно малих», виданій 1696 року. У передмові до праці Лопіталь зазначив, що він користувався відкриттями Лейбніца і братів Бернуллі і «не має нічого проти того, щоб вони заявили свої авторські права на все, що їм завгодно». Йоганн Бернуллі висловив претензії на всю працю Лопіталя цілком і, зокрема, після смерті Лопіталя опублікував працю під примітною назвою «Удосконалення мого опублікованого в «Аналізі нескінченно малих» методу для визначення значення дробу, чисельник і знаменник якого інколи зникають» (1704).

Доведення[ред.ред. код]

Відношення нескінченно малих[ред.ред. код]

Доведемо теорему для випадку, коли границі функцій дорівнюють нулю (т.з. невизначеність вигляду \left(\frac{0}{0}\right)).

Оскільки ми розглядаємо функції f і g лише у правому проколотому півоколі точки a, ми можемо неперервним чином їх довизначити в цій точці: нехай f(a)=g(a)=0. Візьмемо деякий x з даного півоколу і застосуємо до відрізку [a,\;x] теорему Коші. За цією теоремою отримаємо:

\exists c \in [a,x]\!:\frac{f(x)-f(a)}{g(x)-g(a)}=\frac{f'(c)}{g'(c)},

але f(a)=g(a)=0, тому \forall x\, \exists c \in [a,\;x]\!:\frac{f(x)}{g(x)}=\frac{f'(c)}{g'(c)}.

Далі, записавши визначення границі функції відношення похідних і позначивши останню через A, з отриманої рівності виводимо:

\forall \varepsilon>0\, \exists \delta>0\, \forall x(x-a<\delta\Rightarrow \left|\frac{f(x)}{g(x)}-A\right|<\varepsilon) для скінченної границі і
\forall M > 0\, \exists \delta>0\, \forall x(x-a<\delta\Rightarrow \left|\frac{f(x)}{g(x)}\right| > M) для нескінченої,

що є визначенням границі відношення функцій.

Відношення нескінченно великих[ред.ред. код]

Доведемо теорему для невизначеностей вигляду \left(\frac{\infty}{\infty}\right).

Нехай, для початку, границя відношення похідних скінченна і рівна A. Тоді, при прямуванні x до a справа, це відношення можна записати як A+\alpha, де \alphaO(1). Запишемо цю умову:

\forall\varepsilon_{1}\, \exists \delta_{1}\, \forall x(x-a<\delta_{1}\Rightarrow \alpha(x)<\varepsilon_{1}).

Зафіксуємо t з відрізка [a,\;a+\delta_1] і застосуємо теорему Коші до всіх x з відрізка [a,\;t]:

\forall x\in [a;t]\ \exists c\in [a;\;x]\!:\frac{f(x)-f(t)}{g(x)-g(t)}=\frac{f'(c)}{g'(c)}, що можна привести до такого вигляду:
\frac{f(x)}{g(x)}=\frac{1-\frac{g(t)}{g(x)}}{1-\frac{f(t)}{f(x)}}\cdot\frac{f'(c)}{g'(c)}.

Для x, достатньо близьких до a, вираз має межу першого множника правої частини рівний одиниці (так як f(t) і g(t)константи, а f(x) і g(x) прямують до безмежності). Значить, цей множник рівний 1+\beta, де \beta — нескінченно мала функція при прямуванні x до a справа. Випишемо визначення цього факту, використовуючи те ж значення \varepsilon, що і в визначенні для \alpha:

\forall \varepsilon_{1}\, \exists \delta_{2}\, \forall x(x-a<\delta_{2}\Rightarrow \beta(x)<\varepsilon_{1}).

Отримали, що відношення функцій можна подати у вигляді (1+\beta)(A+\alpha), і \left|\frac{f(x)}{g(x)}-A\right|<|A|\varepsilon_{1}+\varepsilon_{1}+\varepsilon_{1}^{2}. По будь-якому данному \varepsilon можна знайти таке \varepsilon_{1}, щоб модуль різниці відношення функцій і A був менше \varepsilon, значить, границя відношення функцій дійсно рівна A.

Приклади[ред.ред. код]

  • \lim_{x \to 0}\frac{x^2+5x} {3x} = \lim_{x \to 0}\frac{2x+5} {3} = \frac{5} {3}=1\frac{2}{3}
  • \lim_{x \to \infty}\frac{x^3+4x^2+7x+9} {x^3+3x^2}
    тут можна застосувати правило Лопіталя 3 рази а можна вчинити інакше. Можна розділити і чисельник, і знаменник на x найбільшою мірою(у нашому випадку x^3). В даному прикладі виходить:
    \lim_{x \to \infty}\frac{1+4/x+7/x^2+9/x^3} {1+3/x} = \frac{1} {1} = 1
  • \lim_{x\to+\infty}{\frac{e^{x}}{x^{a}}}=\lim_{x\to+\infty}{\frac{e^{x}}{a\cdot x^{a-1}}}=\ldots=\lim_{x\to+\infty}{\frac{e^{x}}{a!}}=+\infty;
  • \lim_{x\to+\infty}{\frac{x^{a}}{\ln{x}}}=\lim_{x\to+\infty}{\frac{ax^{a-1}}{\frac{1}{x}}}=a\cdot\lim_{x\to+\infty}{x^{a}}=+\infty при a>0.

(Лише якщо чисельник і знаменник ОБИДВА прямують або до 0; або до +\infty; або до -\infty.)

Докладніше: ½

У мистецтві[ред.ред. код]

…і розповідали анекдоти про розкриття невизначеностей методом Лопіталя

А. і Б. Стругацькі «Понеділок починається в суботу».

Література[ред.ред. код]