Определение первообразной

Функция [latex]F[/latex] называется первообразной функцией функции [latex]f[/latex] на промежутке [latex]\bigtriangleup[/latex], если [latex]F[/latex] дифференцируема на [latex]\bigtriangleup[/latex] и в каждой точке этого промежутка производная функции [latex]F[/latex] равна значению функции [latex]f[/latex]:

[latex]F'(x)-f(x)[/latex], [latex]x\in\bigtriangleup[/latex]

При этом если некоторый конец промежутка [latex]\bigtriangleup[/latex] принадлежит промежутку , то под производной в этом конце понимается соответствующая односторонняя производная. Функция, имеющая в данной точке производную , непрерывна в этой точке , поэтому первообразная [latex]F[/latex] функции [latex]f[/latex] непрерывна на промежутке [latex]\bigtriangleup[/latex].

Примеры

    1. Функция [latex]F(x)=\frac{x^3}{3}[/latex] является первообразной функции [latex]f(x)=x^2[/latex] на всей числовой оси.
    2. [latex]f(x)=\frac{1}{7-3x}[/latex]     [latex]F(x)=-\frac{1}{3}ln|7-3x|+C[/latex]

Решите самостоятельно

[latex]f(x)=3x^2[/latex]

Спойлер

[latex]F(x)=x^3[/latex]

[свернуть]

 

[latex]f(x)=\frac{1}{\sqrt{x}}[/latex], при [latex]x>0[/latex]

Спойлер

[latex]F(x)=2\sqrt{x}[/latex]

[свернуть]

 

[latex]f(x)=-\frac{1}{x^2}[/latex], при [latex]x\ne0[/latex]

Спойлер

[latex]F(x)=\frac{1}{x}[/latex]

[свернуть]

 

[latex]f(x)=cos(x)[/latex]

Спойлер

[latex]F(x)=sin(x)[/latex]

[свернуть]

 

Ниже приведены графики функции [latex]f(x)=cos(x)[/latex](красный цвет) и ее первообразной [latex]F(x)=sin(x)[/latex](зеленый цвет) при значении произвольной постоянной [latex]C=0[/latex].

cos

Литература

  1. Лысенко З.М., Конспект лекций по математическому анализу, 2012
  2. Зарубин В.С., Интегральное исчисление функций одного переменного. — М.: Изд-во МГТУ им. Н.Э. Баумана,1999, Стр. 14
  3. Кудрявцев Л.Д., Курс Математического Анализа, 2003. — М.: Дрофа, Т.1. Стр. 453-454

Тест

Определение первообразной

Таблица лучших: Определение первообразной

максимум из 10 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Утверждение 1

Рассмотрим многочлен степени [latex]n[/latex], т. е. функцию вида

[latex]P_{n}(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+…+a_{1}x+a_{0},\ \ a_{n}\neq0.[/latex]

Эта функция непрерывна на [latex]R.[/latex]

Спойлер

Функция [latex]y=C,[/latex] где [latex]C[/latex] — постоянно непрерывна на [latex]R,[/latex] так как [latex]\Delta y=0[/latex]при любом[latex]x.[/latex] Функция [latex]y=x[/latex]непрерывна на [latex]R,[/latex] так как [latex]\Delta y=\Delta x \to 0[/latex]при[latex]\Delta x \to 0.[/latex] Поэтому функция[latex]y=a_{k}x^k,[/latex] где [latex]k\in\mathbb{N},[/latex] непрерывна на [latex]R[/latex] как произведение непрерывных функций. Так как многочлен [latex]P_{n}(x)[/latex]есть сумма непрерывных функций вида [latex]a_{k}x^k\ \ \ \left ( k=\overline{0,n} \right ),[/latex] то он непрерывен на[latex]R.[/latex]

[свернуть]

Рациональная функция, т. е. функция вида [latex]f(x)=\frac{P_{n}(x)}{Q_{m}(x)},[/latex] где [latex]P_{n}(x),Q_{m}(x)[/latex] — многочлены степени [latex]n[/latex] и [latex]m[/latex] соответственно, непрерывна во всех точках, которые не являются нулями многочлена [latex]Q_{m}(x).[/latex]

Спойлер

В самом деле, если [latex]Q_{m}(x)\neq 0,[/latex] то из непрерывности многочленов [latex]P_{n}[/latex] и [latex]Q_{m}[/latex] следует непрерывность функции [latex]f[/latex] в точке [latex]x_{0}.[/latex]

[свернуть]

Утверждение 2

Если [latex] x \in \left ( — \frac{\pi}{2} , \frac{\pi}{2} \right ) [/latex] и [latex] x\neq 0,[/latex] то [latex] \cos{x} <\frac{\sin\ x}{x} < 1 \ \ \ \ \left ( 1 \right ).[/latex]

Спойлер

Рассмотрим в координатной плоскости круг единичного радиуса
с центром в точке [latex] O [/latex] (рис. 12.1). Пусть [latex] \angle AOB=x,[/latex] где [latex]0<x<\frac{\pi}{2} [/latex].

121

Пусть [latex] C [/latex]  — проекция точки [latex] B[/latex] на ось [latex]Ox[/latex], [latex] D [/latex] луча [latex] OB [/latex] и прямой, проведенной через точку [latex] A [/latex] перпендикулярно оси [latex] Ox.[/latex] Тогда  [latex]BC=sin x, DA=tgx.[/latex]

Пусть [latex]S_{1}, S_{2}, S_{3}[/latex] — площади треугольника [latex]AOB,[/latex] сектора[latex]AOB[/latex] и треугольника [latex]AOD[/latex] соответственно. Тогда

[latex]S_{1}=\frac{1}{2}(OA)^{2}\sin x=\frac{1}{2}\sin x,[/latex]

[latex]S_{2}=\frac{1}{2}(OA)^{2} x=\frac{1}{2}x,[/latex]

[latex]S_{3}=\frac{1}{2}OA \cdot DA=\frac{1}{2} tg \ x.[/latex]

Так как [latex]S_{1}<S_{2}<S_{3},[/latex] то [latex]\frac{1}{2}\sin x<\frac{1}{2}x<\frac{1}{2} tg \ x \ \ \ \ \left ( 2 \right )[/latex]

Если [latex]x \in \left ( 0 , \frac{\pi}{2} \right )[/latex]  то [latex]\sin{x}>0,[/latex] и поэтому неравенство[latex]\left ( 2 \right )[/latex] равносильно неравенству

[latex]1<\frac{x}{\sin{x}}<\frac{1}{\cos{x}}[/latex]

откуда следует, что при  [latex]x \in \left ( 0 , \frac{\pi}{2} \right )[/latex] выполняется неравенство [latex]\left ( 1 \right ).[/latex] Так
как [latex]\frac{x}{\sin{x}}[/latex] и [latex]\cos{x}[/latex] — четные функции, то неравенство  [latex]\left ( 1 \right )[/latex] справедливо и при[latex]x \in \left (-\frac{\pi}{2},0 \right ).[/latex]

[свернуть]

 Следствие

Первый замечательный предел

[latex] \lim_{x \to 0}\frac{\sin\ x}{x}=1[/latex]

Подробнее

 Замечание

Из неравенства[latex]\left(2\right )[/latex]следует, что [latex]tg\ x>x[/latex] при [latex]x \in \left ( 0 , \frac{\pi}{2} \right )\ \ \ \ \ \ \left (3 \right ).[/latex]

Утверждение 3

Для всех [latex]x\in\mathbb{R}[/latex]справедливо неравенство

[latex]\left |\sin{x} \right |\leqslant \left | x \right |\ \ \ \ \ \ \left (4 \right ).[/latex]

Спойлер

Неравенство  [latex]\left ( 4 \right )[/latex]  выполняется при  [latex]x=0.[/latex]

Пусть [latex]x\neq0.[/latex]

Если  [latex]\left | x \right |<\frac{\pi}{2},[/latex] то из утверждения  [latex]\left (1\right )[/latex] следует что

 [latex]-1<\cos{x} <\frac{\sin\ x}{x} < 1\ \ \ \Rightarrow[/latex]

[latex]\left |\frac{\sin{x}}{x} \right |<1 \ \ \Rightarrow\left | \sin{x} \right |<\left | x \right |[/latex]

Если  [latex]\left | x \right |\geqslant\frac{\pi}{2},[/latex] то тогда доказываемое неравенство очевидно.

[свернуть]

Утверждение 4

Функции [latex]y=\sin{x}[/latex] и [latex]y=\cos{x}[/latex] непрерывны на всем множестве [latex]\mathbb{R}.[/latex]

Спойлер

Требуется доказать, что

[latex]\forall x \in \mathbb{R} : \lim_{x \to x_{0}}\sin{x}=\sin{x_{0}},[/latex]

а именно

[latex]\forall \varepsilon >0\ \ \ \ \exists \delta_{\varepsilon }:\forall x:\left | x-x_{0} \right |<\delta \Rightarrow \left | \sin{x}-\sin{x_{0}} \right |<\varepsilon [/latex]

[latex]\left | \sin{x}-\sin{x_{0}} \right |=\left | 2-\sin{\frac{x-x_{0}}{2}}\cos{\frac{x+x_{0}}{2}} \right | =2\left |\sin{\frac{x-x_{0}}{2}} \right |\left |\cos{\frac{x+x_{0}}{2}} \right |\leqslant[/latex]

[latex]\leqslant 2\left |\sin{\frac{x-x_{0}}{2}} \right |\leqslant 2\left |\frac{x-x_{0}}{2} \right |=\left | x-x_{0} \right |<\delta \leqslant \varepsilon[/latex]

То есть [latex]\forall \varepsilon >0[/latex]если взять[latex]\delta = \frac{\varepsilon }{2}[/latex], то[latex]\forall x:\left | x-x_{0} \right |<\delta \Rightarrow \left | \sin{x}-\sin{x_{0}} \right |<\varepsilon[/latex]

Для функции [latex]\cos{x}[/latex] доказывается аналогично

 

[свернуть]

Следствие

Функция [latex]tg\ x=\frac{\sin{x}}{\cos{x}}[/latex] — непрерывная при [latex]x\neq \frac{\pi}{2}+\pi k, k \in \mathbb{Z}[/latex]

Утверждение 5

Рассмотрим несколько  функции с их графиками

  1. [latex]y=\sin{x}\ ;\ \ x\in\left[-\frac{\pi}{2};\frac{\pi}{2}\right][/latex]строго возрастает и непрерывна
    Спойлер

    sin x2

    [свернуть]
  2. [latex]y=\cos{x}\ ;\ \ x\in\left[0;\pi\right][/latex]строго спадает и непрерывна
    Спойлер


    cos x

    [свернуть]
  3. [latex]y=tg \ x\ ;\ \ x\in\left(-\frac{\pi}{2};\frac{\pi}{2}\right)[/latex]строго возрастает и непрерывна
    Спойлер


    tg x

    [свернуть]
  4. [latex]y=ctg \ x\ ;\ \ x\in\left(0;\pi\right)[/latex]строго спадает и непрерывна
    Спойлер


    ctg x

    [свернуть]

 

Тогда по теореме существуют обратные  непрерывные монотонные функции соответственно

  1. [latex]y=\arcsin{x}\ ;\ \ x\in\left[-1;1\right][/latex]
    Спойлер


    arcsin x

    [свернуть]
  2. [latex]y=\arccos{x}\ ;\ \ x\in\left[-1;1\right][/latex]
    Спойлер


    arccos x

    [свернуть]
  3. [latex]y=arctg\ x\ ;\ \ x\in\mathbb{R}[/latex]
    Спойлер


    arctg x

    [свернуть]
  4. [latex]y=arcctg\ x\ ;\ \ x\in\mathbb{R}[/latex]
    Спойлер


    arcctg x

    [свернуть]

 Утверждение 6

Функция [latex]y=a^x,\ \ a>0, \ \ a\neq 1[/latex] — монотонна непрерывна на [latex]\mathbb{R},[/latex] то есть

[latex]\forall x\in\mathbb{R}\ \ \ \lim_{x\to x_{0}}a^x=a^{x_{0}}[/latex]

и тогда функция [latex]y=\log_{a}{x}[/latex] — монотонна и непрерывна(как обратная)

Утверждение 7

Функции, заданные формулами

[latex]sh\ x =\frac{e^x-e^{-x}}{2},\ \ \ \ ch\ x=\frac{e^x+e^{-x}}{2}[/latex]

называют соответственно гиперболическим синусом и гиперболическим косинусом.

Эти функции определены и непрерывны на [latex]\mathbb{R}[/latex], причем [latex]sh\ x[/latex]— нечетная функция, а [latex]ch\ x[/latex] — четная функция.

Спойлер


hiper

[свернуть]

Из определения функций  [latex]sh\ x[/latex] и [latex]ch\ x[/latex] следует, что

[latex]sh\ x +ch\ x=e^x\ ,\ \ \ \ ch^{2}\ x-sh^{2}\ x=1\ ,[/latex]

[latex] ch\ 2x=1+2sh^{2}\ x\ ,\ \ sh\ 2x=2sh\ x\ ch\ x[/latex]

 По аналогии с тригонометрическими функциями гиперболические тангенс и котангенс определяются соответственно формулами

[latex]th\ x=\frac{sh\ x}{ch\ x}\ ,\ \ \ cth\ x=\frac{ch\ x}{sh\ x} [/latex]

Функция [latex]th\ x[/latex] определена и непрерывна на [latex]\mathbb{R},[/latex] а функция [latex]cth\ x[/latex] определена и непрерывна на множестве [latex]\mathbb{R}[/latex] с выколотой точкой [latex]x= 0.[/latex] Обе функции нечетные.

Спойлер

thcht

[свернуть]

Утверждение 8

Пусть функции [latex]u(x)[/latex]  и [latex]v(x)[/latex] определены на промежутке[latex]\Delta =\left ( a,b \right ),[/latex] причем для всех[latex]x \in \Delta[/latex] выполняется условие [latex]u(x)>0,[/latex] Тогда функцию  [latex]y,[/latex] определяемую формулой

[latex]y=e^{v(x)\ln{u(x)}}[/latex]

будем называть показательно-степенной и обозначать 

[latex]y=u(x)^{v(x)}[/latex]

Таким образом, исходя из определения

[latex]u(x)^{v(x)}=e^{v(x)\ln{u(x)}}[/latex]

Если [latex]u,v[/latex] — функции, непрерывные на [latex]\Delta,[/latex] то функция [latex]u^v[/latex] непрерывна на [latex]\Delta[/latex] как суперпозиция непрерывных функций  [latex]e^t[/latex] и [latex]t = v(x)\ln{u(x)}[/latex].

Тест

Непрерывность элементарных функций

Источники

Тер-Крикоров A.M., Шабунин М.И. Курс математического анализа: Учеб. пособие для вузов.  3-е изд., исправл. — М.: ФИЗМАТ-ЛИТ, 2001. (стр. 96-110)

В. И. Коляда, А. А. Кореновский. Курс лекций по математическому анализу. К93:в 2-х ч. Ч. 1. — Одесса: Астропринт, 2009. (стр. 90-96)

Формула Тейлора с остатком в форме Пеано

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

Если существует $ f^{(n)}(x_{0}) $, то $ f(x) $ представима в следующем виде:

$$ f(x)=\sum\limits_{k=0}^{n}\frac{f^{(k)}}{k!}(x-x_{0})^{k}+o((x-x_{0})^{n})_{x\to x_{0}} $$

Это выражение $ f(x) $ называется формулой Тейлора с остаточным членом в форме Пеано (или локальной формулой Тейлора)

Доказательство:

Для начала докажем Лемму

Пусть функции $ \varphi(x),\psi(x) $ определены в  $ \delta $  окрестности точки $ x_{0} $ и удовлетворяют следующим условиям:

  1. $ \forall x \in U_{\delta} \exists \varphi^{(n+1)}(x),\psi^{(n+1)}(x); $
  2. $ \varphi(x_{0})=\varphi'(x_{0})=…=\varphi^{(n)}(x_{0})=0 $, $ \psi(x_{0})=\psi'(x_{0})=…=\psi^{(n)}(x_{0})=0 $
  3. $ \psi(x)\neq0,\psi^{k}(x)\neq 0 \forall x\in U_{\delta}(x_{0}),k=\overline{1,n+1} $

Тогда $ \forall x\in U_{\delta}(x_{0}) $ существует точка $ \xi $, принадлежащая интервалу с концами $ x_{0} $ и $ x $ такая, что $ \frac{\varphi(x)}{\psi(x)}=\frac{\varphi^{n+1}(\xi)}{\psi^{n+1}(\xi)} $

Доказательство 

Пусть, например, $ x \in (x_{0},x_{0}+\delta) $. Тогда применяя к функциям $ \varphi $ и $ \psi $ на отрезке $ [x_{0},x] $ теорему Коши и учитывая, что $ \varphi(x)=\psi(x)=0 $ по условию, получаем

$$ \frac{\varphi(x)}{\psi(x)}=\frac{\varphi(x)-\varphi(x_{0})}{\psi(x)-\psi(x_{0})}=\frac{\varphi'(\xi_{1})}{\psi'(\xi_{1})}$, $ x_{0}<\xi_{1}<x $$

Аналогично, применяя к функциям $ \varphi’ $ и $ \psi’ $ на отрезке $ [x_{0},\xi_{1}] $ теорему Коши, находим

$$ \frac{\varphi'(\xi_{1})}{\psi'(\xi_{1})}=\frac{\varphi'(\xi_{1})-\varphi'(x_{0})}{\psi'(\xi_{1})-\psi'(x_{0})}=\frac{\varphi»(\xi_{2})}{\psi»(\xi_{2})},$$ $$ x_{0}<\xi_{2}<\xi_{1} $$

Из этих двух равенств следует, что

$$ \frac{\varphi(x)}{\psi(x)}=\frac{\varphi'(\xi_{1})}{\psi'(\xi_{1})}=\frac{\varphi»(\xi_{2})}{\psi»(\xi_{2})},$$ $$ x_{0}<\xi_{2}<\xi_{1}<x<x_{0}+\delta $$

Применяя теорему Коши последовательно к функциям $ \varphi» $ и $ \psi» $,$ \varphi^{(3)} $ и $ \psi^{(3)} $,…,$ \varphi^{(n)} $ и $ \psi^{(n)}$ на соответствующих отрезках получаем

$$ \frac{\varphi(x)}{\psi(x)}=\frac{\varphi'(\xi_{1})}{\psi'(\xi_{1})}=…=\frac{\varphi^{n}(\xi_{n})}{\psi^{n}(\xi_{n})}=\frac{\varphi^{n+1}(\xi)}{\psi^{n+1}(\xi)} $$

где $ x_{0}<\xi<\xi_{n}<…<\xi_{2}<\xi_{1}<x<x_{0}+\delta $

Равенство доказано для случая, когда $ x \in(x_{0},x_0+\delta) $, аналогично рассматривается случай, когда $ x \in(x_0-\delta,x_{0}) $.

Теперь, когда лемма доказана, приступим к доказательству самой теоремы:

Из существования $ f^{(n)}(x_{0}) $ следует, что функция $ f(x_{0}) $ определена и имеет производные до $ (n-1) $ порядка включительно в $ \delta $ окрестности точки  $ x_{0} $

Обозначим $ \varphi(x)=r_{n}(x),\psi(x)=(x-x_{0})^{n} $, где  $ r_{n}(x)=f(x)-P_{n}(x) $.

Функции $ \varphi(x) $ и $ \psi(x) $ удовлетворяют условиям леммы, если заменить номер $ n+1 $ на $ n-1 $

Используя ранее доказанную лемму и учитывая, что $ r_{n}^{(n-1)}(x_{0})=0 $ получаем

$$ \frac{r_{n}(x)}{(x-x_{0})^{n}}=\frac{r_{n}^{n-1}(\xi)-r_{n}^{(n-1)}(x_{0})}{n!(\xi-x_{0})}, $$ $$ \xi=\xi(x)(*) $$

где $ x_{0}<\xi<x<x_{0}<x_{0}+\delta $ или $ x_{0}-\delta<x<\xi<x_{0} $.

Пусть $ x\to x_{0} $, тогда из неравенств следует, что $ \xi \to x_{0} $, и в силу существования $ f^{(n)}(x_{0}) $ существует

$$ \lim\limits_{x\to x_{0}}\frac{r_{n}^{(n-1)}(x)-r_{n}^{(n-1)}(x_{0)}}{x-x_0}= $$

$$ =\lim\limits_{x\to x_{0}}\frac{r_{n}^{(n-1)}(\xi)-r_{n}^{(n-1)}(x_{0)}}{\xi-x_{0}}=r_{n}^{(n)}(x_{0})=0 $$

Так как выполняются равенства $ r_{n}(x_{0})=r_{n}'(x_{0})=…=r_{n}^{(n)}(x_{0})=0 $

Таким образом, правая часть формулы $ (*) $ имеет при $ x\to x_{0} $ предел, равный нулю, а поэтому существует предел левой части этой формулы, так же равный нулю. Это означает, что $ r_{n}(x)=o((x-x_{0})^{n}),x\to x_{0} $, то есть $ f(x)-P_{n}(x)=o((x-x_{0})^{n}) $, что и требовалось доказать.

Пример:

Разложить функцию $ y=\cos^{2}(x) $ в окрестности точки $ x_{0}=0 $  по Тейлору с остатком в форме Пеано.

Решение

Табличное разложение косинуса имеет следующий вид:

$$ \cos(x)=1-\frac{x^{2}}{2!}+\frac{x^{4}}{4!}-…+(-1)^{n}\frac{x^{2n}}{(2n)!}+o(x^{2n+1}) $$

Представим функцию $ \cos^{2}(x) $ в виде:

$$ \cos^{2}(x)=\frac{1+\cos(2x)}{2}=\frac{1}{2}+\frac{1}{2}\cos(2x) $$

Заменим в табличном разложении $ x $ на $ 2x $ и подставим представление косинуса.Получим

$$ \cos^{2}(x)=1-x^2+\frac{x^{4}}{3}-…+(-1)^{n} \frac{2^{2n-1}x^{2n}}{2n!}+o(x^{2n+1})$$

Источники:

  1. Конспект по курсу математического анализа Лысенко З.М.
  2. Тер-Крикоровв А.М., Шабунин М.И. Курс математического анализа -М.:ФИЗМАТ-ЛИТ, 2001.-672 с. гл. IV §18 с. 161.

Тест на знание формулы Тейлора(ост.Пеано)

Проверьте себя на знание доказательства и применения формулы Тейлора с остатком в форме Пеано.

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

Метод нахождения пределов функций, раскрывающий неопределённости вида $latex \frac{0}{0} $ или $latex \frac{\infty}{\infty} $ Правило позволяет заменить предел отношения функций пределом отношения их производных.

1. Докажем теорему для случая, когда пределы функций равны нулю.

Условия:

  1. $latex f(x) &s=1$ и $latex g(x) &s=1$ дифференцируемы в проколотой окрестности точки $latex a $
  2. $latex \lim\limits_{x\to a}f(x)=\lim\limits_{x\to a}g(x)=0 &s=1$
  3.  $latex g'(x) \neq 0 &s=1$ в проколотой окрестности точки $latex a $
  4. Существует  $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$

Доказательство: Доопределим функции в точке $latex a $ нулём. Из 1 условия следует, что $latex f(x) $ и  $latex g(x) $ непрерывны на отрезке $latex [a,x] $, где $latex x $ принадлежит рассматриваемой окрестности точки $latex a $. Применим обобщённую формулу конечных приращений (Коши) к $latex f(x) $ и  $latex g(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 $ Так как $latex f(a)=g(a)=0 $  получим, что $latex \forall x $ $latex \exists \xi \in [a,x]:\frac{f(x)}{g(x)}=\frac{f'(\xi)}{g'(\xi)} &s=1$ Пусть предел отношения производных равен $latex A $. Следовательно: $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. Докажем теорему для случая, когда пределы функций равны бесконечности.

Условия:

  1. $latex f(x) $ и $latex g(x) $ дифференцируемы при $latex x>a $
  2. $latex \lim\limits_{x\to\infty}f(x)=\lim\limits_{x\to\infty}g(x)=\infty &s=1$
  3. $latex g'(x)\neq 0 $ при $latex x>a $
  4. Существует конечный $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 \exists a_{1}>a:\forall x>a_{1} \to |f(x)|>1,|g(x)|>1 $, и поэтому $latex f(x)\neq 0,g(x)\neq0 $ при $latex x>a_{1} $. По определению предела (условие 4) для заданного числа $latex \varepsilon >0 $ можно найти $latex \delta_{1}=\delta_{1}(\varepsilon)\geq a_{1} $ такое, что для всех $latex t>\delta_{1} $ выполняется неравенство: $latex A-\frac{\varepsilon}{2}<\frac{f'(t)}{g'(t)}<A+\frac{\varepsilon}{2} &s=1$ Фиксируя $latex x_{0}>\delta_{1} $ выберем, пользуясь условием 2 число $latex \delta_{2}>x_{0} $

Расположение всех выбираемых нами точек на прямой

такое, чтобы при всех $latex x>\delta_{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 \delta $, что при всех $latex x>\delta $ выполняется неравенство: $latex A-\varepsilon<\frac{f(x)}{g(x)}<A+\varepsilon (*) &s=1$ Число $latex \delta $ будет выбрано ниже. Считая, что $latex x>\delta $, применим к функциям $latex f $ и $latex g $ на отрезке $latex [x;x_{0}] $  обобщённую формулу конечных приращений (Коши). $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 \beta(x)\to0 $ при $latex x\to+\infty $ в силу условия 2, поэтому $latex \forall \varepsilon>0 \exists \delta\geq\delta_{2}: $ $latex \forall x>\delta\to|\beta(x)|<\frac{\frac{\varepsilon}{2}}{|A|+ \frac{\varepsilon}{2}}(**) &s=1$ Так как  $latex \xi>x_{0}>\delta_{1} $, то для всех $latex x>\delta_{2} $  выполняется неравенство: $latex A-\frac{\varepsilon}{2}<\frac{f(x)}{g(x)} (\varphi(x))^{-1}<A+\frac{\varepsilon}{2} &s=1$ Если $latex x>\delta $, то $latex \varphi(x)>0 $, и поэтому неравенство равносильно следующему: $latex (A-\frac{\varepsilon}{2})(1+\beta(x))< $ $latex \frac{f(x)}{g(x)}<(A+\frac{\varepsilon}{2})(1+\beta(x)) &s=1$ Используя неравенство $latex (**) $, получаем: $latex (A-\frac{\varepsilon}{2})(1+\beta(x))=$ $latex A-\frac{\varepsilon}{2}+(A-\frac{\varepsilon}{2})\beta(x) \geq $ $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+\frac{\varepsilon}{2})(1+\beta(x))\leq $ $latex A+\frac{\varepsilon}{2}+(|A|+\frac{\varepsilon}{2})|\beta(x)|< A+\varepsilon &s=1$

Таким образом для всех $latex x>\delta $ выполняется  неравенство $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$ Обозначим $latex f(x)=3x^{10}-2x^{5}-1 $ , $latex g(x)=x^{3}-4x^{2}+3 $. Так как  $latex \lim\limits_{x\to1}f(x)=\lim\limits_{x\to1}g(x)=0 $, воспользуемся правилом Лопиталя для ситуации $latex \frac{0}{0} $. $latex f'(x)=30x^{9}-10x^{4} $, $latex f'(1)=20 $ $latex g'(x)=3x^{2}-8x $, $latex g'(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 \frac{\infty}{\infty} $, получим: [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]

Доказано.

Источники:

  1. Конспект по курсу математического анализа Лысенко З.М.
  2. Тер-Крикоровв А.М., Шабунин М.И. Курс математического анализа -М.:ФИЗМАТ-ЛИТ, 2001.-672 с. гл. IV §19 с. 172-175

Тест на знание правила Лопиталя

Пройдите короткий тест для закрепления материала.

Интегрирование дробно-линейных иррациональностей

Интегрирование функций вида $latex R(x,(\frac{ax+b}{cx+d})^{r_{1}},…,(\frac{ax+b}{cx+d})^{r_{n}})&s=2$

Интегралы типа $latex \int R(x,(\frac{ax+b}{cx+d})^{r_{1}},…,(\frac{ax+b}{cx+d})^{r_{n}}),$
где a, b, c, d — действительные числа, $latex r_{k}\in \mathbb{Q}(k=\overline{1,n})$, сводятся к интегралам от рациональной функции путем подстановки

$latex \frac {ax+b}{cx+d}=t^{p},$

где p — наименьшее общее кратное знаменателей чисел $latex r_{1},r_{2},…r_{n}.$
Действительно, из подстановки $latex \frac{ax+b}{cx+d}=t^{p}$ следует, что $latex x=\frac{b-dt^{p}}{ct^{p}-a}$ и $latex dx=-\frac {dpt^{p-1}(ct^{p}-a)-(b-dt^{p})cpt^{p-1}}{(ct^{p}-a)^{2}}dt$, т.е. x и dx выражаются через рациональные функции от t. При этом и каждая степень дроби $latex \frac{ax+b}{cx+d}$ выражается через рациональную функцию от t.

Примеры

1)Найти $latex I=\int\frac{\sqrt{x+1}+2}{(x+1)^{2}-\sqrt{x+1}}dx$. Сделав подстановку

$latex t=\sqrt{x+1};dx=2tdt$

будем иметь

$latex I=2\int\frac{t+2}{t^{3}-1}dt=\int(\frac{2}{t-1}-\frac{2t+2}{t^{2}+t+1})dt=2\int\frac{dt}{t-1}-\int\frac{2t+1}{t^{2}+t+1}dt-\int\frac{dt}{(t+1\frac{1}{2})^{2}+\frac{3}{4}}=$
$latex =ln\frac{(t-1)^{2}}{t^{2}+t+1}-\frac{2}{\sqrt{3}}arctg\frac{2t+1}{\sqrt{3}}+C.$

2) Найти интеграл $latex I=\int\frac{dx}{\sqrt[3]{(x+2)^{2}}-\sqrt{x+2}}.$ Наименьшее общее кратное знаменателей дробей $latex \frac{2}{3}$ и $latex \frac{1}{2}$ есть 6. Сделав замену

$latex t=\sqrt[6]{x+2};dx=6t^{5}dt$

будем иметь

$latex I=\int\frac{6t^{5}dt}{t^{4}-t^{3}}=6\int\frac{t^{2}dt}{t-1}=6\int\frac{(t^{2}-1)+1}{t-1}dt=6\int(t+1+\frac{1}{t-1})dt=3t^{2}+6t+$
$latex +6ln\left|t-1\right|+C=3\sqrt[3]{x+2}+6\sqrt[6]{x+2}+6ln\left|\sqrt[6]{x+2}-1\right|+C.$

Литература

  • Лысенко З.М. Конспект лекций по математическому анализу, семестр 1, О.:2012
  • www.znannya.org_Интегрирование иррациональных функций
  • Вартанян Г.М. Конспект лекций по математическому анализу, часть 1(3), О.:2009, стр.60