Пусть функция $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$, является точкой перегиба данной функции.
Список литературы:
Конспект по математическому анализу (преподаватель Лысенко З.М.);
Тогда $ \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 $ по условию, получаем
Применяя теорему Коши последовательно к функциям $ \varphi» $ и $ \psi» $,$ \varphi^{(3)} $ и $ \psi^{(3)} $,…,$ \varphi^{(n)} $ и $ \psi^{(n)}$ на соответствующих отрезках получаем
где $ 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 $ получаем
Так как выполняются равенства $ 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 $ по Тейлору с остатком в форме Пеано.
Решение
Табличное разложение косинуса имеет следующий вид:
Таким образом мы получаем следующую формулу:
[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. Конспект лекций по математическому анализу (Лысенко З.М.)
Пусть функция [latex]f(x)[/latex] определена в некоторой проколотой окрестности точки [latex]a.[/latex] Говорят, что [latex]f(x)[/latex] имеет бесконечный предел в этой точке [latex](\lim\limits_{x\rightarrow a}f(x)= \infty),[/latex] если:
Дана функция [latex]f(x)=\frac{1}{x}:[/latex]
Найти предел при [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]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].
Функция имеет (бесконечный) предел при \(x\rightarrow a\), если для (любого, всякого) \(\varepsilon \) (существует, есть) \( \delta \), что для всех \(x\) из \((a-\delta ;a)\cup (a;a+\delta )\) \(|f(x)|>\) (эпсилон, епсилон)
Правильно
Неправильно
Задание 6 из 6
6.
Расположите пределы функции \(f(x)=\frac{-x}{6x^{2}-7}\)в таком порядке:
\(x\rightarrow-\infty \), \(x\rightarrow-0 \), \(x\rightarrow+0 \), \(x\rightarrow+\infty \):
+0
\(+\infty \)
\(-\infty \)
-0
Правильно
Неправильно
Таблица лучших: Бесконечные пределы в конечной точке и на бесконечности
Теорема.Пусть функция $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 \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) \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])$ (поскольку изменение функции в конечном числе точек не влияет на величину ее интеграла). Таким образом, получим, что интеграл с переменным верхним пределом от разрывной функции может оказаться дифференцируемым.
Эта функция ограничена на отрезке $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 $ недифференцируема.
[свернуть]
Литература :
Конспект лекций по математическому анализу (преп. Лысенко З.М.)
Дифференцируемость интеграла с переменным верхним пределом в точке непрерывности подынтегральной функции
Лимит времени: 0
Навигация (только номера заданий)
0 из 6 заданий окончено
Вопросы:
1
2
3
4
5
6
Информация
Этот тест проверит ваши знания касательно темы «дифференцируемость интеграла с переменным верхним пределом»
Вы уже проходили тест ранее. Вы не можете запустить его снова.
Тест загружается...
Вы должны войти или зарегистрироваться для того, чтобы начать тест.
Вы должны закончить следующие тесты, чтобы начать этот:
Результаты
Правильных ответов: 0 из 6
Ваше время:
Время вышло
Вы набрали 0 из 0 баллов (0)
Рубрики
Нет рубрики0%
Математический анализ0%
Ваш результат был записан в таблицу лидеров
Загрузка
1
2
3
4
5
6
С ответом
С отметкой о просмотре
Задание 1 из 6
1.
Является ли требование непрерывности функции $latex f $ в точке $latex x_{0} $ необходимым для дифференцируемости $latex F(x) $ в точке $latex x_{0} $ в условии доказанной теоремы?
Правильно
Неправильно
Задание 2 из 6
2.
Может ли интеграл с переменным верхним пределом от разрывной функции быть дифференцируемым?
Правильно
Неправильно
Задание 3 из 6
3.
Чему равна производная $latex F(x) $ в точке $latex x_{0} = 1 $, если $latex F(x) = \int_{0}^{x} \text{sin} x $?
Правильно
Неправильно
Задание 4 из 6
4.
Пусть $latex f(x) = \text{sin} \frac{1}{x} $, тогда по теореме $latex F'(x_{0})=f(x_{0}) $ т. е. $latex F'(x_{0}) = \text{sin} \frac{1}{x_{0}} $. Выберите интервал или отрезок для которого это равенство верно.
Правильно
Неправильно
Задание 5 из 6
5.
Если выполняется условие $latex F'(x_{0}) = f(x_{0}) $ , то для функции $latex f $ в точке $latex x_{0} $ функция $latex F(x) $ называется
(первообразной, первообразная) в этой точке
Правильно
Неправильно
Задание 6 из 6
6.
Расположите следующие утверждения в порядке следования одного утверждения из другого.
интегрируемость подынтегральной функции $f(t)$
непрерывность $F(x)$
дифференцируемость $F(x)$
Правильно
Неправильно
Таблица лучших: Дифференцируемость интеграла с переменным верхним пределом в точке непрерывности подынтегральной функции