Пусть функция $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]\exists\dot{U}_{\delta }(x_{0})[/latex]в которой определены [latex]f,g[/latex] и [latex]h:f(x)=g(x)h(x)[/latex],
причём [latex]lim_{x\rightarrow x_{0}}h(x)=1\Rightarrow f[/latex] и [latex]g[/latex]- эквивалентные при [latex]x\rightarrow x_{0}[/latex] и пишут [latex]f_{x\rightarrow x_{0}}\sim g[/latex]
[latex]lim_{x\rightarrow 0}\frac{f(x)}{g(x)}=h(x)=1[/latex]
Понятие эквивалентные обычно используют, когда f и g — бесконечно малые или бесконечно большие при [latex]x\rightarrow x_{0}[/latex]
Критерий:
Для того, чтобы две бесконечно малые [latex]\alpha[/latex] и [latex]\beta[/latex] были эквивалентны, необходимо и достаточно, чтобы было [latex]lim\frac{\beta }{\alpha }=1[/latex]
Положив [latex]\beta-\alpha =\gamma[/latex], будем иметь [latex]\frac{\beta }{\alpha }-1=\frac{\gamma }{\alpha }[/latex]
Отсюда сразу и вытекает наше утверждение. Действительно, если [latex]\frac{\beta }{\alpha }\rightarrow 1[/latex] , то [latex]\frac{\gamma }{\alpha }\rightarrow 0[/latex] , то есть[latex]\gamma[/latex] есть бесконечно малая высшего порядка, чем [latex]\alpha[/latex] и [latex]\beta \sim \alpha[/latex] . Обратно, если дано, что [latex]\beta \sim \alpha[/latex] , то [latex]\frac{\gamma }{\alpha }\rightarrow 0[/latex] , а тогда [latex]\frac{\beta }{\alpha }\rightarrow 1[/latex].
С помощью этого критерия, например, видно, что при [latex]x\rightarrow 0[/latex] бесконечно малая [latex]sin\: x[/latex] эквивалентна [latex]x[/latex], а [latex]\sqrt{1+x}-1=\frac{1}{2}x[/latex].
Доказанное свойство эквивалентных бесконечно малых приводит к использованию их при раскрытии неопределённости [latex]\left [ \frac{0}{0} \right ][/latex] . Т.е. при разыскании предела отношения двух бесконечно малых [latex]\frac{\beta }{\alpha }[/latex]. Каждая из них при этом может быть заменена, без влияния на предел, любой эквивалентной ей бесконечно малой.
Замена функций эквивалентными при вычислении предела:
Теорема:
Если[latex]f\sim f_{1}[/latex] , а [latex]g\sim g_{1}[/latex] , при [latex]x\rightarrow x_{0}[/latex] , то если [latex]\exists\; lim_{x\rightarrow x_{0}}\frac{f_{1}(x)}{g_{1}(x)}[/latex] , то [latex]\exists\; lim_{x\rightarrow x_{0}}\frac{f(x)}{g(x)}[/latex] и [latex]lim_{x\rightarrow x_{0}}\frac{f_{1}(x)}{g_{1}(x)}=lim_{x\rightarrow x_{0}}\frac{f(x)}{g(x)}[/latex] Замечание:
Если в числителе или знаменателе стоит сумма, то при раскрытии неопределенности заменять отдельные слагаемые эквивалентными величинами нельзя, т.к. такая замена может привести к неверному результату.
[latex]\exists \xi \in [ a;b]: f(\xi)= \sup\limits_{x \in [a;b] } f(x) [/latex]
Обозначим [latex]M=\sup f(x)[/latex] (следует из первой теоремы Вейерштрасса)
В силу определения точной верхней грани выполняется условие: [latex]\forall x\in [a;b]:f(x)\leq M[/latex]
[latex]\forall \varepsilon >0\; \exists x_{\varepsilon }\in [a;b]:M-\varepsilon <f(x_{\varepsilon })[/latex]
Полагая [latex]\varepsilon =1, \frac{1}{2},\frac{1}{3},…,\frac{1}{n},…[/latex] получим последовательность [latex]\left \{ x_{n} \right \}[/latex]такую, что для всех [latex] n\in N [/latex]выполняются условия [latex]\forall n\in \mathbb{N}:M-\frac{1}{n}<f(x_{n})\leq M[/latex] откуда получаем [latex] \lim\limits_{x \to \infty }f(x_{n})[/latex] существует подпоследовательность [latex]\left \{ x_{n_{k}} \right \}[/latex] (по теореме Больцано-Вейерштрасса) последовательности [latex]\left \{ x_{n} \right \}[/latex] и точка [latex]\xi[/latex] , такие что [latex] \lim\limits_{x \to \infty } x_{n_{k}}=\xi[/latex] , где [latex]\xi\in [a;b].[/latex]
В силу непрерывности функции [latex]f[/latex] в точке [latex]\xi[/latex] [latex]\lim\limits_{x \to \infty }f(x_{n_{k}})=f(\xi )[/latex]
С другой стороны [latex]\left \{ f(x_{n_{k}}) \right \}[/latex] — подпоследовательность последовательности [latex]\left \{ f(x_{n}) \right \}[/latex], сходящейся к числу [latex]M.[/latex]
Поэтому [latex]\lim\limits_{x \to \infty }f(x_{n_{k}})=M[/latex]
В силу единственности предела последовательности заключаем, что[latex]f(\xi )=M=\sup\limits_{x \in [a;b]} f(x); [/latex]
Аналогично доказывается [latex]\exists \xi _{1}\in [a;b]: f(\xi_{1})=\inf\limits_{x \in [a;b]} f(x) [/latex]
Функция непрерывна на интервале может не достигать своих точных граней (требовать непрерывности на сегменте существенно).
Условие. Предположим, что $latex f(x)$ — скорость движения материальной точки по оси $latex OY$ и $latex f(x)>0$. Необходимо вычислить путь, пройденный материальной точкой за промежуток времени от $latex x=a$ до $latex x=b$.
Решение. Разобьём рассматриваемый промежуток времени от $latex a$ до $latex b$ на малые промежутки (рис.3) $$a=x_{0}<x_{1}<x_{2}<…<x_{n-1}<x_{n}=b$$ На указанном промежутке скорость приближенно можно считать равной и постоянной, например, $latex f(x_{k})$. Получаем, что путь, пройденный материальной точкой за время $latex \triangle x_{k}=x_{k}-x_{k-1}$ приближенно равен $latex f(x_{k})\triangle x_{k}$. Следовательно, путь пройденный от $latex a$ до $latex b$ приближенно равен:
При уменьшении всех промежутков времени мы будем получать более точное значение пути. И так, чтобы получить точное значение пути, перейдём к пределу в формуле (1) :
Задача 2. (О вычислении площади криволинейной трапеции)
В предыдущей задаче мы вычислили путь, пройденный материальной точкой за промежуток времени от $latex x=a$ до $latex x=b$, перейдя к пределу. В математике предел вида (2) называется определённым интегралом(или интегралом Римана) от функции $latex f(x)$ в пределах от $latex a$ до $latex b$ и обозначается: $$\underset{a}{\overset{b}{\int}}f(x)dx$$
Рассмотрим рис.1 Сумма вида (1) равна сумме площадей прямоугольников с основаниями $latex \triangle x_{k}$ и высотами $latex f( x_{k})$. Т.е., данная сумма равна площади изображенной на рис.1 ступенчатой фигуры, обозначенной светло- и тёмно-зеленым цветом. При стремлении к нулю длин всех отрезков $latex \triangle x_{k}$ площадь указанной ступенчатой фигуры будет стремиться к площади отмеченной на рисунке ступенчатой фигуры, лежащей под графиком функции $latex y=f(x)$ на отрезке $latex [a;b]$.
Эту криволинейную фигуру часто называют криволинейной трапецией . Аналогично задачи 1, перейдём к пределу:
Условие. Вычислить площадь $latex S$, заключенную между графиком функции $latex y=\sin x$ на отрезке от $latex 0$ до $latex \pi$ и осью $latex OX$ (рис. 2)
Решение. По формуле (3) предыдущей задачи получаем: $${S=\underset{0}{\overset{\pi}{\int}}\sin x\ dx}$$
Так как одной из первообразных функции $latex f(x)=\sin x$ является функция $latex \Phi (x)=-\cos x$, то по формуле Ньютона -Лейбница получим: $$ S={{\underset{0}{\overset{\pi}{\int}}\sin x\ dx}=(-\cos \pi)-(-\cos 0) }=2$$
Задача 3. (О вычислении массы линейного стержня по известной плотности)
Пусть задан прямолинейный стержень, который меняется вдоль оси (рис.3).
$latex \rho =\rho\ (x)$
Если бы плотность во всех участках стержня была бы одинаковой (однородный стержень), то масса m стержня :
$latex m=\rho (b-a)$, $latex \rho =const$
Но, так как плотность не является постоянной, то разобьем [a,b] на однородные участки (участки с одинаковой плотностью) :
$latex a=x_{o}<x_{1}<x_{2}<…<x_{n-1}<x_{n}=b$
$latex \forall \ \xi _{i}\in \triangle x_{i}$ , где $latex \triangle x_{i}=x_{i}-x_{i-1} $ $latex i=\overline{1,n}$
Масса каждого отрезка : $latex m\approx \rho (\xi _{i})\cdot \triangle x_{i}$ $latex
\Rightarrow$ масса всего стержня равна пределу суммы $latex {m=\lim\limits_{x \to 0}\sum\limits_{i=1}^{n}\rho (\xi _{i})\triangle x_{i}}$
Замечание
В просмотренной задаче речь идёт о рассмотрении пределов сумм вида $latex {\sum\limits_{i=1}^{n}\rho (\xi _{i})\triangle x_{i}}$, которые называются интегральными суммами
Список литературы:
А.Г. Попов, П.Е. Данко, Т.Я. Кожевникова «Мир и образование» 2005 г. (Издание 6-е. Часть 1) стр. 243-258
Лысенко З.М. Конспект лекций по курсу математического анализа.
Тест (Задачи, которые приводят к понятию определенного интеграла Римана)
Лимит времени: 0
Навигация (только номера заданий)
0 из 5 заданий окончено
Вопросы:
1
2
3
4
5
Информация
Задача о вычислении площади криволинейной трапеции.
Задача о вычислении массы линейного стержня по известной плотности.
Задача о вычислении пути, пройденного материальной точкой.
Вы уже проходили тест ранее. Вы не можете запустить его снова.
Тест загружается...
Вы должны войти или зарегистрироваться для того, чтобы начать тест.
Вы должны закончить следующие тесты, чтобы начать этот:
Результаты
Правильных ответов: 0 из 5
Ваше время:
Время вышло
Вы набрали 0 из 0 баллов (0)
Средний результат
Ваш результат
Рубрики
Нет рубрики0%
Математический анализ0%
Ваш результат был записан в таблицу лидеров
Загрузка
1
2
3
4
5
С ответом
С отметкой о просмотре
Задание 1 из 5
1.
Количество баллов: 4
Для нахождения площади криволинейной трапеции сперва требуется:
Разбить отрезок на n-частей монотонным набором точек
Провести через точки деления прямые, параллельные oy
Получить n маленьких криволинейных трапеций
Сложить площади криволинейных транеций
Правильно
Неправильно
Задание 2 из 5
2.
Количество баллов: 1
Суммы вида $latex {\sum_{k=1}^{n}f(\xi_{k})\triangle x_{k}}$ называются
Правильно
Неправильно
Задание 3 из 5
3.
Количество баллов: 1
Площадь всей ступенчатой фигуры (обозначена светло- и темно-зелёным цветом), составленной из прямоугольников, равна пределу суммы $$ {S=\sum_{n=1}^{k}=f(x_{n})\triangle x_{n}} $$
при $latex \lambda \to 0$
Правильно
Неправильно
Задание 4 из 5
4.
Количество баллов: 1
Исходя из прочитанного материала, дополните предложение:
С помощью интегральных сумм вычисляется (масса) линейного стержня.
Правильно
Неправильно
Задание 5 из 5
5.
Количество баллов: 1
Площадь криволинейной трапеции можно вычислить только, если
Правильно
Неправильно
Таблица лучших: Тест (Задачи, которые приводят к понятию определенного интеграла Римана)