Частные производные и дифференциалы высших порядков п. Частные производные высших порядков
Вид материала | Документы |
СодержаниеК. Правило нахождения наибольшего и наименьшего значений на компакте К |
- Высшая математика II иттф (тф 9…13), эл-16, 2004-2005 уч год, 50.97kb.
- Если использовать разности высших порядков вплоть до n-го, то разностное уравнение, 1187.79kb.
- Программа-минимум кандидатского экзамена по специальности 01. 01. 01- математический, 134.95kb.
- Метод сеток для приближенного решения задачи Дирихле, 45.84kb.
- 8. обыкновенные дифференциальные уравнения, 136.95kb.
- Ном порядке и осуществляющие предпринимательскую деятельность без образования юридического, 308.53kb.
- Тематический план лекций по дисциплине „Медицинская химия для студентов 4 курса фармацевтического, 83.16kb.
- Определители 2-го и 3-го порядков: определения и применение к решению систем линейных, 42kb.
- Фельдман А. Б. Производные финансовые и товарные инструменты, 9496.35kb.
- Программа коллоквиумов по курсу физической химии, 99.84kb.
§ 11. ЧАСТНЫЕ ПРОИЗВОДНЫЕ И ДИФФЕРЕНЦИАЛЫ
ВЫСШИХ ПОРЯДКОВ
п. 1. Частные производные высших порядков
Пусть функция z=f(x,y) – дифференцируемая в области







– это также функции 2-х действительных переменных х и у, их называют частными производными 2-го порядка. Частные производные и отличаются порядком дифференцирования и называются смешанными частными производными 2-го порядка. Аналогично вводятся частными производными 3-го, …, п-го порядков. Частные производные 2-го и более высокого порядков называются частными производными высшегго порядка.
Пример. Найти частные производные 3-го порядка функции z = 2 x3 y2 .
Решение.
Теорема 1. Если функция z=f(x,y) имеет в некоторой окрестности точки




Доказательство.
п. 2. Дифференциалы высших порядков
Пусть функция z=f(x,y) – дифференцируемая в области









С помощью метода мат. индукции можно доказать формулу для вычисления дифференциалов высших порядков

Проверим для п=2:
Как и для функции 1-ой переменной дифференциалы высших порядков не обладают свойством инвариантности формы записи. Покажем это на примере дифференциала 2-го порядка.
Замечание. Если функции



§ 12. ФОРМУЛА ТЕЙЛОРА. КРИТЕРИЙ ПОСТОЯНСТВА ФУНКЦИИ МНОГИХ ПЕРЕМЕННЫХ
п.1. Формула Тейлора для ДФМП
Формула Тейлора для функции одной переменной имела вид


где f(x)-f(a)=∆f(a), f(k)(a)·(x-a)k= f(k)(a)·∆xk·=dkf(a).
Для функции z=f(x,y) имеет место аналогичная формула
Теорема 1. Пусть функция z=f(x,y) n-раз непрерывно дифференцируемая в некоторой окрестности U(M0;r) точки M0(x0,y0), тогда справедлива формула

где 0<Θi<1
Доказательство.
В данной δ -окрестности точки M0(x0,y0) возьмем точку M(x0+∆x, y0+∆y). Пусть


Тогда прирощение функции ∆f(M0)=F(1)-F(0)= ∆F(0) при ∆t=1 можно записать по формуле (1) следующим образом:

где 0<Θ<1. Вернемся в последнем равенстве к переменным x и y, так как x и y линейно зависят от t ,то инвариантность формы записи для ифференциалов высших порядков сохраняется (см замечание §11), значит имеет место формула (2).
п.2. Критерий постоянства функции 2-х переменных
Теорема 2. (критерий постоянства функции 2-х переменных) Для того, чтобы функция z=f(x,y) была постоянной в области D необходимо и достаточно, чтобы в этой области были равны 0 частные производные, или,что тоже, чтобы df(M)=0

Доказательство. Сначала докажем эквивалентность условий (А) и (В), где
(А)



Известно, что


Пусть выполняется условие (В), тогда





Перейдем к доказательству теоремы.
Необходимость. Пусть f(x;y)=c – const



Достаточность. Пусть fx’(x;y)= fý’(x,y)=0 , тогда df(x;y)=0. По условию теоремы f(x;y) дифференцируемая функция в



§ 13. ЭКСТРЕМУМЫ ФУНКЦИЙ МНОГИХ ПЕРЕМЕННЫХ
п.1. Точки экстремума. Необходимое условие экстремума
Пусть функция z=f(x,y) определена на множестве

Определение 1. Точка





Точки максимума и минимума называются точками экстремума.
Замечание 1. Неравенство (1) и (2) эквивалентны соответственно неравенствам


Пример 1. а) для функции z = x2 + y2 точка (0;0) – точка минимума.
б) для функции

Теорема 1. (необходимое условие экстремума)
Если точка




Доказательство.
Замечание 2. Необходимое условие не является достаточным условием экстремума.
Пример 2. Для функции

в точке (0;0) равны 0, но точка (0;0) не является точкой экстремума
Определение 2. Точки, в которых все частные производные равны нулю, называются стационарными точками.
Замечание 3. Точки экстремума будем искать среди стационарных точек и точек, в которых частные производные не существуют.
п.2. Достаточное условие экстремума
Теорема 2. (достаточное условие экстремума)
Пусть точка М0(х0,у0) – стационарная точка функции z = f(x,y) и в некоторой окрестности точки М0(х0,у0) функция f имеет непрерывные частные производные 2-го порядка. Обозначим через A = f' ''xx (М0), В = f ''yy(М0), C = f ''xy(М0),

- >0, то М0 – точка экстремума, причем
а) при А>0, М0 – точка минимума;
б) при А<0, М0 – точка макcимума;
- <0, то М0 точкой экстремума не является;
- =0, то М0 может быть, а может и не быть точкой экстремума, необходимо дополнительное исследование.
Доказательство. Так как по условию f(x,y) имеет непрерывные частные производные 2-го порядка в некоторой окрестности точки М0(х0,у0), то f(x,y) – дважды дифференцируемая справедлива формула Тейлора при п = 1:

По условию М0(х0,у0) – стационарная точка d f(x0,y0) = 0, поэтому

По условию частные производные 2-го порядка – непрерывные функции, тогда в окрестности точки М0(х0,у0) их можно представить в виде

(воспользовались критерием непрерывности функции). Продолжим доказательство




- A>0, AB – C2 = >0, то f(x0,y0) > 0 М0(x0,y0) – точка минимума;
- A<0, AB – C2 = >0, то f(x0,y0) < 0 М0(x0,y0) – точка максимума;
- AB – C2 = <0, то рассматриваемое выражение может быть как положительным, так и отрицательным, всё зависит от х и у f(x0,y0) не имеет конкретного знака в окрестности точки М0 М0 точкой экстремума не является;
- AB – C2 = =0, то М0 может быть, а может и не быть точкой экстремума (привести 2 примера, когда М0 – точка экстремума и когда не является точкой экстремума).
п.3. Наибольшее и наименьшее значения функции многих переменных на компакте.
Напомним, что в Rn любое замкнутое ограниченное множество является компактом. Пусть функция z=f(x,y) – непрерывная на компакте

Правило нахождения наибольшего и наименьшего значений на компакте К
Найти стационарные точки и точки, в которых не существуют частные производные z'x , z'y , принадлежащие К.
Найти значение функции в этих точках.
Найти наибольшее и наименьшее значения функции на границе компакта К.
Выбрать наибольшее и наименьшее значения среди значений пунктов 2 и 3.
п.4. Условный экстремум. Метод Лагранжа
Пусть функция z = f(x,y) определена на множестве X . Рассмотрим точки из множества X, удовлетворяющие дополнительному условию F(x;y;)=0, они образуют множество Е. Уравнение
F(x;y;)=0 (3)
называют уравнением связи. Точка М0(x0,y0) называется точкой условного экстремума функции z = f(x,y) относительно уравнений связи (3), если она является точкой обычного экстремума функции z = f(x,y) на множестве E.
Возможны случаи:
1. Из уравнения (3) можно выразить явно y через x, т.е. y =g(x). Тогда нахождение условного экстремума сводится к нахождению экстремума функции z = f(x,y) = f(x, g(x)).
2. Из уравнения (3) нельзя выразить явно y через x., т.е. (3) задаёт неявно функцию y=y(x). В этом случае будем находить точки условного экстремума с помощью метода Лагранжа, т.е. используя
Теорема 3. (Необходимое условие условного экстремума)
Если точка М0(x0,y0) – точка условного экстремума функции z = f(x,y) относительно уравнений связи (3), то найдется такое действительное число λR, что

Доказательство. Т.к. (3) задаёт неявно функцию y=y(x), то (по необходимому условию экстремума) в точке (x0,y0):

где dx – приращение аргумента, а dy – дифференциал неявной функции y=y(x). Подставим в уравнение связи (3) вместо y значение y(x), получим тождество F(x;y(х))0. Продифференцируем его и подставим x0,y0:


Выберем λ таким, чтобы

Замечание 4. Вместо системы (4) часто используют вспомогательную функцию Лагранжа

Требуем, чтобы все частные производные (7) были равны нулю.
Замечание 5. Решение системы (4) – точки подозрительные на условный экстремум. Чтобы выяснить вопрос о существовании и характере экстремума, будем изучать знак 2-го дифференциала. Если


Пример 3. Найти условный экстремум функции


Решение.