Метод нахождения пределов функций, раскрывающий неопределённости вида latex00 или latex∞∞ Правило позволяет заменить предел отношения функций пределом отношения их производных.
1. Докажем теорему для случая, когда пределы функций равны нулю.
Условия:
- latex f(x) &s=1 и latex g(x) &s=1 дифференцируемы в проколотой окрестности точки latexa
- latex \lim\limits_{x\to a}f(x)=\lim\limits_{x\to a}g(x)=0 &s=1
- latex g'(x) \neq 0 &s=1 в проколотой окрестности точки latexa
- Существует latex \lim\limits_{x\to a}\frac{f'(x)}{g'(x)} &s=1
Вывод: Тогда существует latex \lim\limits_{x \rightarrow a} \frac{f(x)}{g(x)} = \lim\limits_{x \rightarrow a} \frac{f'(x)}{g'(x)} &s=1
Доказательство: Доопределим функции в точке latexa нулём. Из 1 условия следует, что latexf(x) и latexg(x) непрерывны на отрезке latex[a,x], где latexx принадлежит рассматриваемой окрестности точки latexa. Применим обобщённую формулу конечных приращений (Коши) к latexf(x) и latexg(x) на отрезке latex[a,x] latex \exists \xi\in [a,x]:\frac{f(x)-f(a)}{g(x)-g(a)}=\frac{f'(\xi)}{g'(\xi)}&s=1 Так как latexf(a)=g(a)=0 получим, что latex∀x latex \exists \xi \in [a,x]:\frac{f(x)}{g(x)}=\frac{f'(\xi)}{g'(\xi)} &s=1 Пусть предел отношения производных равен latexA. Следовательно: latex \lim\limits_{x \to a} \frac{f'(\xi(x))}{g'(\xi(x))}=\lim\limits_{y \to a} \frac{f'(y)}{g'(y)}=A &s=1, так как latex \lim\limits_{x \to a} \xi(x)=a &s=1
2. Докажем теорему для случая, когда пределы функций равны бесконечности.
Условия:
- latexf(x) и latexg(x) дифференцируемы при latexx>a
- latex \lim\limits_{x\to\infty}f(x)=\lim\limits_{x\to\infty}g(x)=\infty &s=1
- latexg′(x)≠0 при latexx>a
- Существует конечный latex \lim\limits_{x\to\infty}\frac{f'(x)}{g'(x)}=A &s=1
Вывод: Тогда существует latex \lim\limits_{x\to\infty}\frac{f(x)}{g(x)}=\lim\limits_{x\to\infty}\frac{f'(x)}{g'(x)} &s=1 Доказательство: Из условия 2 следует, что latex∃a1>a:∀x>a1→|f(x)|>1,|g(x)|>1, и поэтому latexf(x)≠0,g(x)≠0 при latexx>a1. По определению предела (условие 4) для заданного числа latexε>0 можно найти latexδ1=δ1(ε)≥a1 такое, что для всех latext>δ1 выполняется неравенство: latex A-\frac{\varepsilon}{2}<\frac{f'(t)}{g'(t)}<A+\frac{\varepsilon}{2} &s=1 Фиксируя latexx0>δ1 выберем, пользуясь условием 2 число latexδ2>x0
такое, чтобы при всех latexx>δ2 выполнялись неравенства: latex \left |\frac{f(x_{0})}{f(x)}<\frac{1}{2}\right | &s=1 и latex \left |\frac{g(x_{0})}{g(x)}<\frac{1}{2}\right | &s=1 Для доказательства теоремы нужно доказать, что существует такое latexδ, что при всех latexx>δ выполняется неравенство: latex A-\varepsilon<\frac{f(x)}{g(x)}<A+\varepsilon (*) &s=1 Число latexδ будет выбрано ниже. Считая, что latexx>δ, применим к функциям latexf и latexg на отрезке latex[x;x0] обобщённую формулу конечных приращений (Коши). latex \exists \xi \in [x_{0};x]: \frac{f(x)-f(x_{0})}{g(x)-g(x_{0})}=\frac{f'(\xi)}{g'(\xi)} &s=1 Преобразуем левую часть неравенства: latex \frac{f(x)-f(x_{0})}{g(x)-g(x_{0})}=\frac{f(x)}{g(x)}(\varphi(x))^{-1} &s=1, где latex \varphi(x)=\frac{1-\frac{g(x_{0})}{g(x)}}{1-\frac{f(x_{0})}{f(x)}}=1+\beta(x) &s=1 Заметим, что latexβ(x)→0 при latexx→+∞ в силу условия 2, поэтому latex∀ε>0∃δ≥δ2: latex \forall x>\delta\to|\beta(x)|<\frac{\frac{\varepsilon}{2}}{|A|+ \frac{\varepsilon}{2}}(**) &s=1 Так как latexξ>x0>δ1, то для всех latexx>δ2 выполняется неравенство: latex A-\frac{\varepsilon}{2}<\frac{f(x)}{g(x)} (\varphi(x))^{-1}<A+\frac{\varepsilon}{2} &s=1 Если latexx>δ, то latexφ(x)>0, и поэтому неравенство равносильно следующему: latex(A−ε2)(1+β(x))< latex \frac{f(x)}{g(x)}<(A+\frac{\varepsilon}{2})(1+\beta(x)) &s=1 Используя неравенство latex(∗∗), получаем: latex(A−ε2)(1+β(x))= latexA−ε2+(A−ε2)β(x)≥ latex (A-\frac{\varepsilon}{2})-&s=1-(|A|+\frac{\varepsilon}{2})|\beta(x)|> latex A-\frac{\varepsilon}{2}-\frac{\varepsilon}{2}=A-\varepsilon &s=1 Аналогично находим: latex(A+ε2)(1+β(x))≤ latex A+\frac{\varepsilon}{2}+(|A|+\frac{\varepsilon}{2})|\beta(x)|< A+\varepsilon &s=1
Таким образом для всех latexx>δ выполняется неравенство latex(∗), а это означает, что справедливо утверждение: latex \lim\limits_{x\to\infty}\frac{f(x)}{g(x)}=\lim\limits_{x\to\infty}\frac{f'(x)}{g'(x)} &s=1
Примеры:
Пример 1. Найти latex \lim\limits_{x \to 1}\frac{3x^{10}-2x^{5}-1}{x^{3}-4x^{2}+3} &s=1 Обозначим latexf(x)=3x10−2x5−1 , latexg(x)=x3−4x2+3. Так как latexlimx→1f(x)=limx→1g(x)=0, воспользуемся правилом Лопиталя для ситуации latex00. latexf′(x)=30x9−10x4, latexf′(1)=20 latexg′(x)=3x2−8x, latexg′(1)=−5 По доказанной теореме: latex \lim\limits_{x\to1}\frac{f(x)}{g(x)}=\lim\limits_{x\to1}\frac{f'(x)}{g(x’)}=\frac{20}{-5}=-4 &s=1
Ответ: -4.
Пример 2. Доказать, что [latex] \lim\limits_{x\to\infty}\frac{\ln x}{x^{\alpha}}=0,\alpha>0 [/latex]
Применяя правило Лопиталя для ситуации latex∞∞, получим: [latex]\lim\limits_{x\to\infty}\frac{\ln x}{x^{\alpha}}=[/latex][latex]\lim\limits_{x\to\infty}\frac{\frac{1}{x}}{\alpha x^{\alpha-1}}=[/latex][latex] \lim\limits_{x\to\infty}\frac{1}{\alpha x^{\alpha}}=0[/latex]
Доказано.
Источники:
- Конспект по курсу математического анализа Лысенко З.М.
- Тер-Крикоровв А.М., Шабунин М.И. Курс математического анализа -М.:ФИЗМАТ-ЛИТ, 2001.-672 с. гл. IV §19 с. 172-175
Тест на знание правила Лопиталя
Пройдите короткий тест для закрепления материала.