Точки перегиба. Примеры.

Пусть функция $latex f(x)$ непрерывна в точке $latex x_{0}$ и имеет в этой точке конечную или бесконечную производную. Тогда, если эта функция при переходе через точку $latex x_{0}$ меняет направление выпуклости, т.е $latex \exists \delta$ такое что на $latex (x_{0}-\delta ;x_{0})$ функция выпукла вверх (вниз), а на $latex (x_{0};x_{0}+\delta )$ функция выпукла вниз (вверх), то точка $latex x_{0}$ — точка перегиба функции $latex f(x)$.

Пример:

Рассмотрим функцию $latex f(x)=x^{3}$, где тогда $latex x=0$, является точкой перегиба данной функции.

Svg.4.ex

 Список литературы:

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

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

Если существует $ 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]r_{n}(x)[/latex] ф-лы Тейлора)

[latex]f(t), {f}'(t), {f}»(t),\cdots , f^{(n)}(t)\in C[x_{0},x][/latex] и [latex]\exists f^{(n+1)}(t)[/latex], где [latex]t \in (x_{0},x)[/latex]. Пусть ф-ция [latex]\varphi \in C[x_{0},x][/latex] и [latex]\exists \varphi'(t) \neq 0[/latex]     [latex]\forall t(x_{0},x)[/latex]. Тогда [latex]\exists[/latex] т. [latex]\xi \in (x_{0},x)[/latex] : [latex]r_{n}(x_{0},x)=\frac{\varphi (x) -\varphi (x_{0})}{\varphi ‘(\xi)n!} * \frac{f^{(n+1)}(\xi)}{1!}*(x-\xi)^{n}[/latex]

[latex]\square [/latex]
Введем вспомогательную ф-цию [latex]F(t)=f(x)-P_{n}(t,x)[/latex], т.е. [latex]P_{n}(t,x)=f(t)+\frac{{f}'(t)}{1!}(x-t)+\cdots + \frac{f^{(n)}(t)}{n!}(x-t)^{n}[/latex]

[latex]F(t)=f(x)-\left [ f(t)+\frac{{f}'(t)}{1!}(x-t)+\frac{{f}»(t)}{2!}(x-t)^{2}+ \frac{f^{(3)}(t)}{3!}(x-t)^{3}+ \cdots+\frac{f^{(n)}(t)}{n!}(x-t)^{n} \right ][/latex] =[latex]-\left [ f'(t)+ \frac{f»(t)}{1!}(x-t)’ +\frac{f^{(3)}(t)}{2!}((x-t)^{2})’+ \frac{f^{(4)}(t)}{3!}((x-t)^{3})’ +\cdots+\frac{f^{(n+1)}(t)}{n!}((x-t)^{n})’ \right ][/latex]=[latex]-\left [ f'(t)+ \frac{f»(t)(x-t)+(x-t)’f'(t)}{1!} \right ][/latex]=[latex s=4]-\left [ f'(t)+ \frac{f»(t)}{1!}(x-t) +\frac{f'(t)}{1!}(-1)+ \frac{f^{(3)}(t)}{2!}(x-t)^{2}+\frac {f»(t)}{2!}2(x-t)(-1)+\frac {f^{(4)}(t)}{3!}(x-t)^{3}+3(x-t)^{2}(-1)\frac {f^{(3)}(t)}{3!}+\cdots+\frac{f^{(n+1)}(t)}{n!}(x-t)^{n}+ n(x-t)^{n-1}(-1)\frac {f^{n}(t)}{n!} \right ][/latex]

[latex]F'(t)=-\frac {f^{(n+1)}(t)}{n!}(x-t)^{n}[/latex]
К паре ф-ций F(t) и [latex]\varphi (t)[/latex] на [latex][x_{0},x][/latex] применим теорему Коши о конечных приращениях [latex]\Rightarrow \exists[/latex] т. [latex]\xi \in (x_{0},x)[/latex]: [latex]\frac {f(b)-f(a)}{g(b)-g(a)} = \frac{f'(\xi)}{g'(\xi)}[/latex];
[latex]\frac {\overbrace {F(x)}^0-\overbrace{F(x_{0})}^{r_{n}(x_{0},x)}}{\varphi (x) — \varphi (x_{0})}=\frac {F'(\xi)}{\varphi ‘(\xi)}[/latex];

Уточняем!
[latex]F(x)=f(x) — P_{n}(x,x)=0;[/latex]
[latex]F(x_{0})=f(x)-P_{n}(x_{0},x)=r_{n}(x_{0},x)[/latex];
[latex]F'(\xi)=- \frac {f^{(n+1)}(\xi)}{n!}(x-\xi )^{n}[/latex];

Таким образом мы получаем следующую формулу:
[latex]\frac{0-r_{n}(x_{0},x)}{\varphi(x)-\varphi(x_{0})}= -\frac{f^{(n+1)}(\xi)}{n!\varphi(\xi)}(x-\xi)^{n}[/latex]. Отсюда
[latex]r_{n}(x_{0},x)=\frac{\varphi(x)-\varphi(x_{0})}{\varphi'(\xi)n!}*f^{(n+1)}(\xi)*(x-\xi)^{n}[/latex].
[latex]\blacksquare[/latex]

 

 

Список литературы:

1. Конспект лекций по математическому анализу (Лысенко З.М.)

2. Г.М.Фихтенгольц, Курс дифференциального и интегрального исчисления, том 1, 1962 год, стр. 246-257.

Различные типы пределов: бесконечные пределы в конечной точке и на бесконечности

Бесконечные пределы в конечной точке

Проколотой окрестностью точки [latex]a[/latex] называется:

[latex]\dot{U}_{\delta }(a)=(a-\delta ;a)\cup (a;a+\delta ).[/latex]

Пусть функция [latex]f(x)[/latex] определена в некоторой проколотой окрестности точки [latex]a.[/latex] Говорят, что [latex]f(x)[/latex] имеет бесконечный предел в этой точке [latex](\lim\limits_{x\rightarrow a}f(x)= \infty),[/latex] если:

[latex]\forall \varepsilon >0 \: \exists \delta>0 :\forall x\in\dot{U}_{\delta }(a):\: |f(x)|>\varepsilon.[/latex]

В этом случае функцию называют бесконечно большой при [latex]x\rightarrow a.[/latex] Данный общий случай можно разделить на два частных:

[latex]\lim\limits_{x\rightarrow a}f(x)= +\infty\Leftrightarrow \forall \varepsilon >0 \: \exists \delta>0 :\forall x\in\dot{U}_{\delta }(a):\: f(x)>\varepsilon[/latex]

и, соответственно

[latex]\lim\limits_{x\rightarrow a}f(x)= -\infty \Leftrightarrow \forall \varepsilon >0 \: \exists \delta>0 :\forall x\in\dot{U}_{\delta }(a):\: f(x)<-\varepsilon.[/latex]

Пример 1

Дана функция [latex]f(x)=\frac{1}{x}:[/latex]
frac1x
Найти предел при [latex]x\rightarrow 0.[/latex]

Спойлер

Функция определена на всей вещественной оси кроме т. [latex]0[/latex]. Рассмотрим некоторую проколотую окрестность [latex]\dot{U}_{\delta }(0)[/latex]. Как видно, для [latex]\forall \varepsilon \: \exists\, \delta =\frac{1}{\varepsilon }[/latex] такое, что [latex]\forall x\in (0;|\delta |)\: |f(x)|>\varepsilon [/latex]. Отсюда, по определению следует, что эта функция бесконечно большая при [latex]x\rightarrow 0[/latex]. При этом на [latex](-\infty;0 )\: \:\lim\limits_{x\rightarrow 0}=-\infty [/latex], а на [latex](0;+\infty )\: \:\lim\limits_{x\rightarrow 0}=+\infty [/latex].

[свернуть]

Пределы на бесконечности

Число [latex]A[/latex] называют пределом функции [latex]f(x)[/latex] на бесконечности [latex](\lim\limits_{x\rightarrow \infty }f(x)=A),[/latex] если

[latex]\forall \varepsilon >0\: \exists \delta _{\varepsilon }>0:\forall |x|>\delta _{\varepsilon }:\: |f(x)-A|<\varepsilon.[/latex]

Отсюда, очевидно, следуют определения предела на [latex]+\infty:[/latex]

[latex]\lim\limits_{x\rightarrow +\infty }f(x)=A\Leftrightarrow \forall \varepsilon >0\: \exists \delta _{\varepsilon }>0:\forall x >\delta _{\varepsilon }:\: |f(x)-A|<\varepsilon[/latex]

и на [latex]-\infty:[/latex]

[latex]\lim\limits_{x\rightarrow -\infty }f(x)=A\Leftrightarrow \forall \varepsilon >0\: \exists \delta _{\varepsilon }>0:\forall x<-\delta _{\varepsilon }:\: |f(x)-A|<\varepsilon.[/latex]

Абсолютно аналогично определяется бесконечный предел на бесконечности:

[latex]\lim\limits_{x\rightarrow \infty }f(x)=\infty \Leftrightarrow \forall \varepsilon >0\: \exists \delta _{\varepsilon }>0:\forall |x|>\delta _{\varepsilon }:\: |f(x)|>\varepsilon[/latex]
[latex]\lim\limits_{x\rightarrow \infty }f(x)=+ \infty \Leftrightarrow \forall \varepsilon >0\: \exists \delta _{\varepsilon }>0:\forall |x|>\delta _{\varepsilon }:\: f(x)>\varepsilon[/latex]
[latex]\lim\limits_{x\rightarrow \infty }f(x)=- \infty \Leftrightarrow \forall \varepsilon >0\: \exists \delta _{\varepsilon }>0:\forall |x|>\delta _{\varepsilon }:\: f(x)<-\varepsilon[/latex]
[latex]\lim\limits_{x\rightarrow -\infty }f(x)=\infty \Leftrightarrow \forall \varepsilon >0\: \exists \delta _{\varepsilon }>0:\forall x<-\delta _{\varepsilon }:\: |f(x)|>\varepsilon[/latex]
[latex]\lim\limits_{x\rightarrow +\infty }f(x)=\infty \Leftrightarrow \forall \varepsilon >0\: \exists \delta _{\varepsilon }>0:\forall x>\delta _{\varepsilon }:\: |f(x)|>\varepsilon[/latex]

Пример 2

Рассмотрим функцию [latex]f(x)=\ln x^{2}:[/latex]
lnxpow2

Спойлер

При [latex]x\rightarrow \infty [/latex] значение функции монотонно растет. Для любого [latex]\varepsilon [/latex] и соответствующего ему [latex]\delta _{\varepsilon }[/latex] найдется такой [latex]x[/latex], например, [latex]x=\delta _{\varepsilon }+1[/latex], что [latex]f(x)> f(\delta _{\varepsilon })[/latex]. Иначе говоря, [latex]\forall \varepsilon >0\: \exists \delta _{\varepsilon }=\varepsilon:\forall |x|>\delta _{\varepsilon }:\: f(x)>\varepsilon[/latex]. Это значит, что [latex]\lim\limits_{x\rightarrow \infty }f(x)=+\infty [/latex].

[свернуть]

Литература

  1. Тер-Киркоров А.М., Шабунин М.И., Курс математического анализа, физмат-лит, 2001 г., стр. 79-80
  2. Демидович Б.П., Сборник задач и упражнений по математическому анализу, физмат-лит, 1966 г., стр. 50

Тест


Таблица лучших: Бесконечные пределы в конечной точке и на бесконечности

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

Дифференцируемость интеграла с переменным верхним пределом в точке непрерывности подынтегральной функции. Примеры

Ранее мы уже доказали, что для любой интегрируемой на $latex [a,b] $ функции $latex f $ интеграл с переменным верхним пределом – непрерывная на $latex [a,b] $ функция.

Теорема. Пусть функция $latex f $ интегрируема на $latex [a,b] $ и непрерывна в точке $latex x_{0} \in [a,b]. $ Тогда функция $latex F $ дифференцируема в точке $latex x_{0} $ и $latex F'(x_{0})=f(x_{0}). $

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

Спойлер

Пусть, например, $latex a<x_{0}<b $ (в точках $latex a $ и $latex b $ можно рассматривать только односторонние производные). Тогда для любого $latex h \neq 0 $, такого, что $latex x_{0} + h \in [a,b] $, имеем

$latex \frac{F(x_{0}+h)-F(x_{0})}{h} = \frac{1}{h} ( \int_{a}^{x_{0}+h} f(t)dt — \int_{a}^{x_{0}} f(t)dt ) = \frac{1}{h} \int_{x_{0}}^{x_{0}+h} f(t)dt.$

Отсюда следует

$latex | \frac{F(x_{0}+h)-F(x_{0})}{h} — f(x_{0}) | = | \frac{1}{h} \int_{x_{0}}^{x_{0}+h} f(t)dt — f(x_{0}) | = | \frac{1}{h} \int_{x_{0}}^{x_{0}+h} [f(t)-f(x_{0})]dt | \leq \frac{1}{|h|} | \int_{x_{0}}^{x_{0}+h} | f(t)-f(x_{0}) | dt | \equiv \rho (h). $

Если мы покажем, что $latex \rho(h) \rightarrow 0 $ при $latex h \rightarrow 0 $, то тем самым теорема будет доказана. Для оценки $latex \rho(h) $ предположим для определенности, что $latex h>0$. Зададим произвольное $latex \varepsilon > 0 $ и, пользуясь непрерывностью функции $latex f $ в точке $latex x_{0} $, найдем такое $latex \delta > 0 $, что для всех $latex t $, удовлетворяющих условию $latex |t — x_{0}| < \delta $, справедливо неравенство $latex |f(t)-f(x_{0})| < \varepsilon $. Если теперь $latex 0<h<\delta$, то получим

$latex \rho(h) = \frac{1}{h} \int_{x_{0}}^{x_{0}+h} |f(t) — f(x_{0})|dt \leq \varepsilon $

Отсюда следует, что $latex \rho(h) \rightarrow 0 $ при $latex h \rightarrow 0 $.

Случай $latex h<0 $ исчерпывается аналогичным образом. В точках $latex x_{0} = a $ и $latex x_{0} = b $ приведенные выше рассуждения достаточно применить для $latex h>0 $ и $latex h<0 $, соответственно. $latex \blacksquare $

[свернуть]

Замечание.

Спойлер

Условие непрерывности функции $latex f $ в точке $latex x_{0} $ не является необходимым для дифференцируемости $latex F $ в точке $latex x_{0} $. Например, если взять непрерывную на отрезке $latex [a,b] $ функцию $latex f $, то, по доказанной теореме, функция $latex F $ будет дифференцируемой в каждой точке отрезка $latex [a,b]. $ Изменим теперь значение функции $latex f $ в одной точке. В результате получим разрывную функцию $latex f $. В то же время, как легко видеть, функция $latex F $ останется прежней, т.е. $latex \bar{F}(x) \equiv \int_{a}^{x} \bar{f}(t)dt = F(x) (x \in [a,b])$ (поскольку изменение функции в конечном числе точек не влияет на величину ее интеграла). Таким образом, получим, что интеграл с переменным верхним пределом от разрывной функции может оказаться дифференцируемым.

[свернуть]

Пример 1.

Спойлер

Рассмотрим функцию

$latex f(x) =

\begin{cases}
& \sin{\frac{1}{x}}, 0<x\leq 1, \\
& 0 , x=0.
\end{cases} $

Эта функция ограничена на отрезке $latex [0,1] $ и имеет единственную точку разрыва $latex x_{0} = 0 $. Значит, она интегрируема на $latex [0,1] $. Обозначим $latex F(x) = \int_{0}^{x} f(t)dt $. Поскольку $latex f $ непрерывна в каждой точке $latex x \neq 0 $, то, по предыдущей теореме, функция F дифференцируема в каждой точке $latex x \in (0,1] $ и $latex F'(x) = \sin{\frac{1}{x}}$. В точке $latex x_{0}=0 $ функция $latex f $ разрывна и поэтому предыдущая теорема неприменима. Однако можно показать, что существует $latex F’+(0) = 0 $.

[свернуть]

Пример 2.

Спойлер

Пусть $latex f(x) = \text{sign } x, -1 \leq x \leq 1. $ Если $latex -1 \leq x < 0 $, то $latex f(t) = -1, -1 \leq t \leq x $ и $latex \int_{-1}^{x} f(t)dt = -(x-(-1)) = -(x+1)$.

Если же $latex 0 \leq x \leq 1, $ то $latex \int_{-1}^{x} f(t)dt = \int_{-1}^{0} f(t)dt + \int_{0}^{x} f(t)dt = -1+x$.

Таким образом,

$latex F(x) =

\begin{cases}
& -(x+1), -1 \leq x < 0, \\
& x-1, 0 \leq x \leq 1.
\end{cases}$

Легко видеть, что в точке $latex x_{0} = 0 $ функция $latex F $ недифференцируема.

[свернуть]

Литература :

Дифференцируемость интеграла с переменным верхним пределом в точке непрерывности подынтегральной функции

Этот тест проверит ваши знания касательно темы «дифференцируемость интеграла с переменным верхним пределом»


Таблица лучших: Дифференцируемость интеграла с переменным верхним пределом в точке непрерывности подынтегральной функции

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