Имя материала: Математика в экономике Часть 2

Автор: Солодовников А.С.

§ 3.3. достаточные условия дифференцируемости

 

Напомним, что дифференцируемость функции одной переменной _у =Дх) в точке х0 равнозначна существованию конечной производной f'(x0). Поэтому можно предположить, что для функции двух переменных z -fix, у) дифференцируемость в точке (х0,у0) равнозначна существованию двух конечных частных производных /'х(дс0,у0) и f'y(x0,y0). Однако, как показывает пример функции

 

f{x,y) = -^-2 (х2 +У2* О), /(0,0) = 0,

это предположение не верно. Действительно, в точке (0; 0) частные приращения А/ и Az равны нулю при любых Дх и Ау. Поэтому частные производные z'x и z'y в точке (0; 0) существуют и

также равны нулю. Далее, при х = у *■ 0 функция z - /(х, х) = ^,

в то время как ДО, 0) = 0. Таким образом, Дх, у) не стремится к Д0,0), когда х —» 0 и у —> 0, т.е. функция разрывная. Функция z =Дх, у) недифференцируема в точке (0; 0), так как, если бы она была дифференцируемой то, в силу теоремы 3.1, она была бы и непрерывной в этой точке.

 

Теорема 3.2 (достаточное условие дифференцируемости). Если частные производные f х(х,у) и f'y(x,y) определены в окрестности точки (х0, у0) и непрерывна в самой точке (х0, у0), то функция z = fix, у) дифференцируема в этой точке.

Доказательство. Рассмотрим в координатной плоскости Оху точки Р(х0, у0), Q(x0+ Ах,у0) и Л(х0+ Дх,^0 + Ау) (рис. 3.1). Пусть частные производные определены в некоторой f-окрестности точки Р и точка R принадлежит данной окрестности. Так как ^-окрестность точки Р - это круг радиуса є с центром в Р , то отрезки PQ и QR, очевидно, целиком содержатся в этой окрестности. Следовательно, функция/(х, у) определена на отрезках PQ и QR.

 

 

 

/ і

f У

R В

 

Уо

 

А

Q | / х

р

 

О

xq      х0+Дх /

 

 

Рис. 3.1

Представим полное приращение функции z =J{x, у) в точке (х0'Уо) в виде

Л* = f(R) - f(P) = [/(Л) - f(Q) + [/(Є) - /(/>)} (3.8)

Так как на отрезке Р^? переменная у имеет постоянное значение у =у0, то функция fix, у) на отрезке PQ является фактически функцией одной переменной х. Применяя формулу Лагранжа, получим

/{<2)-/{р) = Л(А)Ах, (3.9)

для некоторой точки А из отрезка PQ. Аналогично, на отрезке QR функция fix, у) зависит только от_у. Поэтому на отрезке QR найдется точка В, для которой

f(R)-/{Q) = /;{B)Ay, (зло)

Учитывая равенства (3.9) и (3.10), запишем формулу (3.8) в виде Az = f:(A)Ax + f;(B)Ay.

Откуда получаем

ь* = [Л'И + Л{л) - Л(р)]ах + [/;(/>) + /;(*) - /;(р)]ау =

= /;(р)Ах + /;(р)Ау + aAx + рАу = dz + аАх + рАу,

где а = /'(А) - /;(/>), р = /;(В) - f;(P). Ясно, что при Дх -> 0, Ау —» 0, точки А и В стремятся к точке р. Так как частные производные непрерывны, то а -> 0 и р -> 0, когда Ах -> 0, Ау -> 0. Вместе сайр стремится к нулю и величина

_    аАх + рАу

 

Поэтому из равенства

 

Az = dz +        + ^   J(Ax)2+(Ay)2=dz + sp

 

вытекает дифференцируемость функции z = іх,у) в точке (лс0,.у0). 160

Пример 3.5. Найти множество точек, в которых диффе-

3/4

ренцируемы функции: а) z = х - у\; б) z - (х2 + у2 ) Решение.

а)         . Частные производные z'x и z' , найденные в примере 3.2,

определены и непрерывны во всех точках (х0, у0), для которых

х0*у0. По теореме 3.2 функция z дифференцируема в таких точках.

В других точках функция z недифференцируема, так как в них не

существуют частные производные г'т и г' . Искомое множество

можно записать так: R?\{x =у).

б)         . Находим частные производные:

і           „ і

Ux2+y2)- <=^(х2+/р.

Эти функции являются элементарными и определены во всех точках, за исключением точки (0; 0). Вследствие теоремы 3.2 функция z дифференцируема во всех точках за исключением, быть может, точки (0; 0). Исследуем эту точку отдельно. Частные приращения будут Дхг = |х|312 иД}2 = |х|312. Следовательно,

АхШ Ы3/2

z' = lim J—!— = 0, z' = lim Ц-1— = 0

д»-»о   Дх       '    д>-»о Д>'

и дифференциал dz также равен нулю: dz = 0Ax + 0Ay = 0. Так как в точке (0; 0) и значение z = 0 и дифференциал dz = 0, то полное приращение можно записать следующим образом:

Az = z = dz + z = dz + £-p,

гдер = (х2 +у2У' є = (х2+/)"4 ->0, когда Дх ->0, Ау ->0. Поэтому функция z дифференцируема в точке (х0, yQ). Итак, множество всех точек, в которых функция z дифференцируема, есть R2.

 

Страница: | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 58 | 59 | 60 | 61 | 62 | 63 |