
- •Глава 5. Дифференцируемые функции многих переменных
- •§1. Дифференцируемость, частные производные функции многих переменных
- •1.Определение частной производной
- •2.Геометрическая интерпретация частных производных
- •§2. Простейшие свойства дифференциала
- •1.Дифференцирование сложной функции
- •2.Инвариантность формы первого дифференциала
- •§3. Производная по заданному направлению
- •1.Градиент
- •§4. Гладкие поверхности
- •1.Касательная и нормаль в поверхности
- •2.Геометрический смысл дифференциала
- •§5. Частные производные и дифференциалы высших порядков
- •1.Старшие производные
- •2.Дифференциалы высших порядков
- •§6. Теорема Лагранжа для функций многих переменных
- •§7. Формула Тейлора для функций многих переменных
- •§8. Экстремумы функций многих переменных
- •1.Необходимые условия экстремума
- •2.Достаточные условия для экстремума
математический анализ. 2 семестр. Логинов А.С. 2005 г. loginov_1999@mail.ru
Глава 5. Дифференцируемые функции многих переменных
§1. Дифференцируемость, частные производные функции многих переменных
1.Определение частной производной
Рассмотрим функцию двух переменных z = f(x,y) на D, M0=(x0,y0) – внутренняя точка. Фиксируем y0 , определяем функцию одного переменного F(x) = f(x,y0) . Если у этой функции одного переменного существует производная в точке x0 , то она называется частной производной функции f(x,y) и обозначается
.
Обозначения для
частной производной:
,fx
, f1
. Аналогично
определяется
.
Общий случай. Пусть f(M) = f(x1,x2,…,xn) определена в окрестности точки x0. Тогда частная производная по первой переменной определяется следующим образом
и по переменной xk
.
Замечание. Так как определение частных производных сводится к понятию обычной производной некоторой функции одного переменного, то справедливы свойства, аналогичные свойствам производных для функции одного переменного. В частности, справедливы формулы для производных суммы, произведения и частного двух функций.
2.Геометрическая интерпретация частных производных
См. рис. ch5_2_2.swf.
3.Приращение функции. Дифференциал.
Некоторые обозначения f = f(x) – f(x0) , xk = xk – xk0 , x=( x1 – x10, x2 – x20,…, xn – xn0), аналогичное обозначение для y .
Определение. Функция f(x) дифференцируема в точке в точке x0 , если ее приращение представимо в виде
f = (A,x)+o(),
где
(A,x)=,
=(x,x0),
o()=(x,x)(x,x0),
.
Линейная функция (A,x) называется дифференциалом и обозначается
df(x0) =(A,x)= A1x1 +…+ Anxn .
Замечание. В определении дифференциала o()= можно записывать в виде
1x1+2x2+…+nxn=( , x), - бесконечно малый вектор.
Действительно,
имеем ==
,
и обратно,
.
Теорема (необходимое условие дифференцируемости). Всякая дифференцируемая в точке x0 функция непрерывна в этой точке.
Следует непосредственно из определения дифференцируемости.
Теорема. Если
f(x)
дифференцируема в точке x0
и df=,
то в этой точке существуют все
.
Следует непосредственно из определения дифференцируемости.
Следствие. Дифференциал (коэффициенты Ak ) определяется однозначно.
Теорема (достаточные условия дифференцируемости). Если f имеет частные производные в некоторой окрестности точки M0 , непрерывные в самой точке, то f дифференцируема в этой точке.
Доказательство
(для случая n
= 2). f
= f(x,y) – f(x0,y)
+ f(x0,y)
– f(x0,y0)=+
=
+x+y
,
где , - бесконечно малые функции.
Пример функции, имеющей частные производные в точке, но не дифференцируемой в точке
f(x,y) =
.
Отметим, что
|f(x,y)||y|
f(x,y)
непрерывна
всюду.
=
=0,
=
=
.
Если бы она была дифференцируема, тоf
= o()
,или
.
При x=y
получим
.
§2. Простейшие свойства дифференциала
1.Дифференцирование сложной функции
Теорема. Пусть u=f(x) дифференцируема в точке x0 = (x10,x20,…,xn0) и функция (t),t=(t1,…,tm) дифференцируема в точке t0 и x0 = (t0). Тогда в окрестности точки t0 определена сложная функция F(t) = f((t)) и эта функция дифференцируема в точке t0 и
dF
=
.
Доказательство.
В силу
дифференцируемости f
и j
эти функции
непрерывны в точках x0
и t0
соответственно.
Из теоремы о непрерывности сложной
функции суперпозиция определена в
некоторой окрестности точки t0
. Положим
=(x,x0)=((t),(t0)),
r = (t,t0)=,xi
= i(t)
- i(t0)
. Отметим,
что /r
ограничено
в некоторой окрестности точки t0
. Действительно,
max|xi|,
|xi|
=
Так как
,
то
, откуда и следует ограниченность этой
функции. Далее
F=f=,xi=
.Из этих
соотношений следует
F==
.
Из
ограниченности /r
следует, что
=
-
бесконечно малая функция
и
дифференцируемость сложной функции
доказана.
Следствие. В силу единственности дифференциала, справедливо равенство
.