
- •Глава 4. Дифференциальное исчисление функций нескольких переменных. §1. Множества в пространстве . Непрерывные отображения.
- •§2. Частные производные и производные по направлению. Градиент. Производное отображение.
- •§3. Свойства градиента. Касательная плоскость и нормаль к поверхности.
- •§4. Производная композиции (сложной функции).
- •§5. Неявные функции и их производные.
- •§6. Производные и дифференциалы высшего порядка.
- •§7.Формула Тейлора.
- •§8. Точки экстремума функций нескольких переменных.
- •§9. Условный экстремум.
- •1. Простейший пример.
- •2.Случай функции двух переменных. Метод множителей Лагранжа.
- •§10.Наибольшее и наименьшее значение функции в замкнутой ограниченной области.
§4. Производная композиции (сложной функции).
Рассмотрим отображения
,
и их композицию
,
т.е.
.
Теорема. Если отображениедифференцируемо в точке
,
а
дифференцируемо в точке
,
то их композиция
дифференцируема в точке
.
При этом
,
т.е. производная композиции равна
композиции производных отображений.
Доказательство. При условиях теоремы будет
и
.
Поэтому получим
.
Ч и т.д.
В матричном виде это выглядит следующим образом:
.
Пример 1. Пусть,
где
,
и
.
Здесь
.
В матричном виде получаем
,
или в подробной записи:
.
Пример 2.Найти полный дифференциал
функции двух переменных.
Использовать дифференциал для
приближенного вычисления значения
.
Решение. Как мы знаем, ,
т.е. полный дифференциал функции равен
сумме её частных дифференциалов, поэтому
.
В нашем примере удобно считать, что
.
Тогда будет
,
.
Отсюда следует, что
и
.
Упражнение. Дать новый вывод формулы
.
§5. Неявные функции и их производные.
Рассмотрим вопрос о существовании
“неявной функции”. В простейшем случае
− это вопрос о существовании функции
,
являющейся решением уравнения
и удовлетворяющей начальному условию
.
Начнём с функции
.
Ясно, что в этом случае, если 1)
,
2)
,
то
,
при этом
.
Возвращаясь к уравнению
и рассуждая не строго, получаем:
,
откуда следует равенство
.
Перейдём теперь к аккуратному изложению.
Теорема. Предположим, что функцияудовлетворяет следующим трём условиям:
1)
;
2)
и
непрерывны в окрестности точки
;
3)
.
В таком случае существуют положительные
числа
и функция
,
для которой в прямоугольнике
условия
и
равносильны. На отрезке
функция
непрерывно дифференцируема, а её
производная равна
.
Доказательство.
1. Выбираем прямоугольную окрестностьтакую, что в
производные
и
непрерывны,
сохраняет знак (например “+”) и
сохраняет знаки (противоположные) на
основаниях этого прямоугольника.
2. Из пункта 1. вытекает, что существует
единственная функциятакая, что в прямоугольнике
условия
и
равносильны.
3. Докажем непрерывность функции,
то есть докажем, что для любого значения
будет
.
Предположим противное. Но тогда
существовала бы последовательность
чисел
,
для которой
.
Из непрерывности
следует
,
а это противоречит тому, что единственное
решение уравнения
в прямоугольнике
есть
.
4. Докажем теперь существование
производнойи выведем для нее формулу. Пусть
и
.
Тогда будет
,
где
.
Отсюда следует, что
,
,
так как
из-за доказанной в пункте 3 непрерывности
.
Таким образом,
.
5. Наконец, функциянепрерывна на отрезке
ввиду непрерывности функций
в рассматриваемой области и того, что
там
.
Теорема полностью доказана.
Обобщение*. Пустьи
,
то есть
и пусть выполнены условия:
1. ;
2. в окрестности точкинепрерывны все частные производные
;
3. определитель матрицыотличен от нуля.
В таком случае в некоторой “прямоугольной”
окрестности начальной точки
уравнение (точнее, система уравнений)
однозначно разрешима в виде
,
Здесь
− непрерывно дифференцируемое
отображение, причем
.
Теорема об обратном отображении*.
Пусть− непрерывно дифференцируемое отображение
в окрестности точки
и производное отображение
представляет собой обратимый оператор.
В таком случае в окрестности точки
существует обратное отображение
.
Отображение
также непрерывно дифференцируемо и при
этом
,
где
.
Эта теорема выводится из предыдущей
теоремы о, Для этого достаточно применить
теорему о неявной функции к уравнению
,
где
.
Пример. Найти,
если функция
заданна неявным уравнением
,
а
− точка с координатами
.
Решение. Так как уравнение можно
переписать в виде,
где
.
− функция класса
во всей плоскости. Причем,
.
По теореме этого параграфа
;
.
;
.