- •Глава 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 следует, что = - бесконечно малая функция и дифференцируемость сложной функции доказана.
Следствие. В силу единственности дифференциала, справедливо равенство
.