Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
EKZ_PO_MATANU.doc
Скачиваний:
19
Добавлен:
02.09.2019
Размер:
15.53 Mб
Скачать

39. Теоремы о среднем значении для дифференцируемых функций: теоремы Роля, Лагранжа и Коши.

Теорема 1 (теорема Ролля). Пусть ф-ия непрерывна на отрезке , дифференцируема на интервале и на концах отрезка принимает равные значения : (1)

Тогда существует такая точка , что . (2)

Замечание 1. Из геометрических соображений теорема Ролля очевидна: если выполнены условия теоремы , то найдется такая точка , что в точке графика функции касательная к графику параллельна оси абсцисс и, следовательно тангенс угла наклона касательно в этой точке равен нулю , что равносильно (2).

Д о к а з а т е л ь с т в о. По первой теореме Вейерштрасса (о непрерывной на отрезке функции) ф-ия ограничена на отрезке . Следовательно числа

И конечны.

Если , то очевидно ф-ия явл. постоянной на отрезке . Тогда в качестве точки , для которой имеет место (2), можно взять любую точку интервала .

Пусть . Тогда выполнено по крайней мере одно из неравенств (3) и (4)

Пусть, например, имеет место (4). По второй теореме Вейерштрасса о непрерывной на отрезке функции , при этом в силу (4) и , т.е. . По определению числа точка явл. точкой глобального максимума функции . Поэтому по теореме Ферма в этой тосчке имеет место равенство (2) □

Теорема 2 (Лагранжа). Пусть ф-ия непрерывна на отрезке и дифференцируема на интервале .Тогда найдется такая точка , что

. (5)

Замечание 2. Терема 2 также имеет простой геометрический смысл. При выполнении ее условий на графике функции найдется такая точка , что в точке , касательная в которой к графику параллельна хорде, стягивающей точки и .

Д о к а з а т е л ь с т в о. Рассмотрим ф-ию

Она очевидно непрерывна на отрезке , дифференцируема на интервале и на концах отрезка принимает равные значения: .Тогда по теореме Ролля , т.е. ,а это равносильно равенству (5)□

Замечание 3. Формулу (5) называют формулой конечных приращений Лагранжа. Очевидно, она может быть записана в виде

Для этого достаточно положить в (5) , , a выбрать из условия , т.е. положить . Нетрудно видеть, что формула верна как при , так и при .

Теорема 3 (Коши). Пусть функции и непрерывны на отрезке и дифференцируемы на интервале . Тогда :

(6)

Д о к а з а т е л ь с т в о. Рассмотрим ф-ию

Она, очевидно, удовлетворяет условию теоремы Ролля, согласно которой , т.е. что равносильно равенству (6)□

40.Производные и дифференциалы высших порядков.

Понятие производной порядка . Пусть ф-ия определена в некоторой окрестности точки и дифференцируема в этой окрестности, т.е. дифференцируема в каждой точке . Тогда в окрестности определена новая ф-ия , которая, наз. производной функции на мн-ве . Если ф-ия имеет в точке производную, то ее называют второй производной или производной второго порядка функции в этой точке и обозначают одним из символов

при этом часто аргумент – точку, в которой вычисляется эта производная, опускают. Таким образом.

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

Аналогично понятию второй производной функции в точке вводится понятие третьей производной (ее обозначают также или ) и, вообще производной любого порядка .

Точнее, общее О производной порядка вводится индуктивно. А именно, если ф-ия имеет в каждой точке конечную производную , то производная функции в точке наз. производной -го порядка функции в точке и обозначается одним из символов .

Таким образом, Понятие дифференциала порядка . Пусть ф-ия раз дифференцируема в точке (в соответствии с данным выше Ом это означает, напомним, что в некоторой окрестности этой точки она имеет конечные производные до порядка включительно, а в самой точке имеет и конечную производную порядка ). Тогда степенная ф-ия переменной наз. дифференциалом функции в точке порядка и обозначается или (короче также пишут или ).

Таким образом, для дифференциала порядка функции в точке имеем формулу , (1)

При этом понятия дифференциала и первого дифференциала (дифференциала порядка 1) совпадают друг с другом.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]