Формула Тейлора для функций двух переменных
Если функция имеет в некоторой окрестности точки непрерывные частные производные до ( ) -го порядка включительно, то в этой окрестности справедлива формула
Здесь берется в точке
Остаточный член в форме Лагранжа имеет вид
,
, , , .
Остаточный член в форме Пеано (при более слабых предположениях).
, .
Пример 1. Для функции записать формулу Тейлора в окрестности точки .
Решение. Подсчитаем . Найдем частные производные первого порядка:
Запишем первый дифференциал в точке :
.
Найдем вторые производные:
, , .
Запишем второй дифференциал в точке :
.
Все производные порядка выше второго равны нулю. Формула Тейлора принимает вид
.
Фактически мы перегруппировали данный многочлен по степеням и . ☻
Пример 2. Записать формулу Тейлора -го порядка для функции в окрестности точки .
Решение. Находим . Подсчитаем частные производные первого порядка
.
Запишем первый дифференциал в точке :
.
Подсчитаем вторые производные:
, , .
Запишем второй дифференциал в точке :
.
Продолжаем дифференцировать: , все остальные производные 3-го порядка равны нулю.
Запишем третий дифференциал в точке : .
Легко заметить, что дальнейшее дифференцирование по приводит к формуле . Значит,
, .
Формула Тейлора принимает вид:
,
где , . ☻
В частном случае при получаем формулу Маклорена.
Пример 3. Функцию разложить по формуле Маклорена до членов второго порядка функцию .
|
|
Решение. Находим . Чтобы записать первый дифференциал, находим
.
Так как , то .
Чтобы записать второй дифференциал, находим
.
Так как , то .
Формула Маклорена принимает вид
, . ☻
Задания для самостоятельной работы
1. Функцию разложить по формуле Тейлора
а) в окрестности точки ; б) в окрестности точки .
2.Найти несколько первых членов разложения функции в ряд Тейлора в окрестности точки (0,0).
3. Найти несколько первых членов разложения функции в ряд Тейлора в окрестности точки (0,0).
4. Функцию разложить по степеням , найдя члены до третьего порядка включительно. Использовать результат для вычисления (без таблиц!) .
5. Разложить в ряд Маклорена функции
а) ; б) ;
в) ; г) .
Экстремумы функций многих переменных
Для функций многих переменных термины «максимум функции» и «минимум функции» имеют тот же смысл, что и для функций одной переменной, а именно: этими терминами обозначаются наибольшее или соответственно наименьшее значение функции в точке по сравнению со значениями функции в точках, соседних с . Дадим строгое определение.
|
|
Определение. Пусть функция определена в области . Точка называется точкой максимума (соответственно, минимума), если существует такая окрестность точки , что для всех выполняется неравенство
.
Здесь
, ,
Точки максимума и минимума функции называются точками экстремума.
Теорема 1. (Необходимые условия экстремума). Пусть функция определена в некоторой окрестности точки . Если – точка экстремума функции и функция дифференцируема в этой точке, то
(1)
Точки, в которых имеет место равенство (1), называются стационарными.
Дифференцируемая функция может и не иметь экстремума в стационарной точке. Иначе говоря, необходимые условия экстремума, данные в теореме 1, не являются условиями, достаточными для наличия экстремума у функции в точке . Это подтверждает следующий пример.
Пример 1. Убедиться, что функция не имеет экстремума в стационарной точке.
Решение. Найдем стационарные точки функции. Для этого сначала подсчитаем частные производные:
и приравняем их к нулю
при .
Итак, найдена стационарная точка . Значение функции в точке равно 0. но в сколь угодно малой окрестности точки функция принимает как положительные, так и отрицательные значения. Действительно, если , то , если же , то . Следовательно, в стационарной точке функция экстремума не имеет. Поверхность, определяемая уравнением – гиперболический параболоид – имеет в окрестности начала координат седлообразную форму.☻
|
|
Чтобы установить, действительно ли рассматриваемая функция имеет в стационарной точке экстремум, естественно обратиться к рассмотрению разности . Если для всех точек из некоторой окрестности точки справедливо неравенство , то в точке функция имеет минимум (максимум).
Разложим разность по формуле Тейлора с остаточным членом в форме Пеано, ограничиваясь двумя членами. Естественно при этом предположить, что функция дважды дифференцируема в окрестности точки . Так как точка предполагается стационарной, то , тогда интересующая нас разность запишется в виде
,
Таким образом, знак приращения совпадает со знаком второго дифференциала функции в точке .
Второй дифференциал функции в точке – это квадратичная форма от переменных , . От свойств квадратичной формы зависит, сохраняет ли разность определенный знак в некоторой окрестности точки , т.е. имеет ли функция экстремум в точке .
|
|
Напомним соответствующие определения.
Определение. Квадратичная форма
, (2)
называется положительно (отрицательно) определенной, если ( ) для любой точки , .
Теорема 2. (Достаточные условия экстремума). Пусть функция определена и имеет непрерывные производные 2-го порядка в некоторой окрестности точки , а является стационарной точкой функции. И пусть квадратичная форма от переменных
(3)
является положительно определенной (отрицательно определенной). Тогда
и является точкой минимума (соответственно максимума). Если же квадратичная форма (2) является знакопеременной, то разность не сохраняет знак в окрестности точки – экстремума нет.
Квадратичная форма, являющаяся положительно или отрицательно определенной, называется знакоопределенной.
Квадратичная форма называется знаконеопределенной (знакопеременной), если и такие, что , а .
Как выяснить, будет ли квадратичная форма (3) знакоопределенной? Ответ на этот вопрос дает теорема
Критерий Сильвестра. Для того, чтобы квадратичная форма (2) с матрицей (у которой ) была положительно определена, необходимо и достаточно, чтобы угловые миноры матрицы были положительными:
, .
Для того, чтобы квадратичная форма была отрицательно определенной, необходимо и достаточно, чтобы знаки угловых миноров чередовались, начиная с отрицательного, т.е.
, . ☻
Для функций двух переменных матрица соответствующей квадратичной формы (2-го дифференциала) имеет вид (производные берутся в точке ):
Сформулируем достаточные условия экстремума для случая функции двух переменных.
Теорема 3. Если в стационарной точке выполняется неравенство
, (4)
то функция имеет в экстремум, а именно: минимум в случае, когда ; максимум, когда .
Пример 2. Найти экстремумы функции .
Решение. Найдем стационарные точки, приравнивая нулю частные производные:
при ;
при .
Итак, есть одна стационарная точка .
Вычислим , , и составим матрицу
.
Неравенство (4) выполняется: , т.е. данная функция имеет в начале координат экстремум, а именно, минимум так как ; . Поверхность, определяемая уравнением – это параболоид вращения с вершиной в точке (0,0,1). ☻
Пример 3. Исследовать на экстремум функцию
Решение. Подсчитаем частные производные
,
Приравниваем производные нулю (необходимое условие экстремума):
Получили единственную стационарную точку – точку возможного экстремума. Чтобы выяснить, действительно ли имеется экстремум в точке , обратимся к достаточным условиям. Для этого подсчитаем
, ,
и составим матрицу
Находим угловые миноры этой матрицы:
,
В силу достаточного условия в точке имеется максимум. Находим .☻
Пример 3. Исследовать на экстремум функцию
Решение. Найдем частные производные и приравняем их к нулю (необходимое условие экстремума)
.
Получили две стационарные точки.
Проверим достаточные условия для точки . Для этого подсчитаем
, ,
Составляем для точки матрицу и находим угловые миноры: , . В силу достаточного условия в точке имеется минимум. Находим .
Посмотрим, есть ли экстремум в точке . Подсчитаем
, , .
Составляем для точки матрицу , для нее , . Достаточное условие экстремума не выполнено – в точке заданная функция экстремума не имеет.☻
Пример 4. Убедиться, что функция в точке имеет максимум.
Решение. Проверим сначала, является ли точка стационарной для заданной функции. Для этого подсчитаем
Равенство нулю производных в точке убеждает нас, что это действительно стационарная точка. Является ли стационарная точка точкой экстремума? Чтобы воспользоваться достаточными условиями экстремума, подсчитаем
, ,
Составим матрицу . Ее угловые миноры , , поэтому в точке имеется экстремум, а именно, максимум. Найдем .
Дата добавления: 2020-04-25; просмотров: 776; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!