Вы находитесь на странице: 1из 17

Лекция 4.

4
 Частные производные высших порядков.

 Некоторые сведения из теории


квадратичных форм.

 Дифференциалы высших порядков.

 Неявные функции и их
дифференцирование.
Частные производные высших порядков.

Пусть функция f(x, у) имеет частные производные f ( x, y ) , f ( x, y )


x y
во всех точках открытого множества G  R2. Эти производные – функции
независимых переменных x и у, заданные на множестве G, и тоже могут
иметь частные производные в точке MG.
Частная производная   f  2 f
  обозначается или fxx.
x  x  x 2

Частная производная   f  2 f
  обозначается или fxу.
y  x  xy
Аналогично
  f   2 f   f   2 f
   f yy ,     f yx .
y  y  y 2 x  y  yx

Производные fxx(х, у), fyy(х, у), fxy(х, у), fyx (х, у) называются
частными производными второго порядка.
Рассматривая частные производные от вторых производных,
получим всевозможные частные производные третьего порядка
fxxх, fxxу, fyyх, fyyу, fxyх, fxyу, fyxх , fyxу .
Аналогично определяются частные производные любого порядка от
функций любого числа переменных. Т.е. частной производной n-ого
порядка называется частная производная по какой-нибудь переменной от
частной производной (n-1)-ого порядка.
Частная производная, полученная дифференцированием по
различным переменным, называется смешанной производной.

ТЕОРЕМА (о смешанных производных).


Если обе смешанные производные fxy (х, у) и fyx (х, у) определены в
некоторой окрестности точки М0 (х0,у0) и непрерывны в этой точке , то
fxy (х0, у0) = fyx (х0, у0).

Сформулированная выше теорема о частных производных


распространяется на любые непрерывные смешанные производные,
которые отличаются друг от друга только порядком дифференцирования.
Например fxyу (х0, у0) = fyуx (х0, у0), если эти производные непрерывны
в данной точке.
Некоторые сведения из теории
квадратичных форм.
Квадратичной формой от n переменных называется функция вида
n n
Q( x1 , x2 ,..., xn )   aij xi x j , aij  a ji .
i 1 j 1

Матрица  a11 a12 ... a1n 


 
 a21 a22 ... a2 n 
A
............................ 
 
 a a ... a 
 n1 n 2 nn 

называется матрицей квадратичной формы.


А = АТ , т.е. матрица симметрична.
Если aij = 0 при i  j , то такой вид квадратичной формы
называется каноническим.
С помощью линейного преобразования любую квадратичную форму
можно привести к каноническому виду. При этом справедлив следующий

ЗАКОН ИНЕРЦИИ КВАДРАТИЧНОЙ ФОРМЫ:


Число слагаемых с положительными (отрицательными)
каноническими коэффициентами постоянно и не зависит от способа
приведения квадратичной формы к каноническому виду.

ОПРЕДЕЛЕНИЕ.
Квадратичная форма называется
 положительно (отрицательно) определенной, если для  x1, x2, ... , xn
выполняется условие:
Q(x1, x2, ... , xn)  0 ( 0), причем Q(x1, x2, ... , xn) = 0  x1 = x2 = ... = xn = 0;
 неопределенной, если существуют x1, x2, ... , xn и x1, x2, ... , xn, такие что
Q(x1, x2, ... , xn)  0 и Q(x1, x2, ... , xn )  0.
Рассмотрим матрицу квадратичной формы. Обозначим

a11 a12
1=a11 ,  2  , ... , n= det A.
a21 a22

Справедливо следующее утверждение, так называемый,

КРИТЕРИЙ СИЛЬВЕСТРА ЗНАКООПРЕДЕЛЕННОСТИ


КВАДРАТИЧНОЙ ФОРМЫ:

 Квадратичная форма положительно определенна 


1 > 0, 2 > 0 , ... , n > 0 .
 Квадратичная форма отрицательно определенна 
1< 0, 2 > 0 , ... , (-1)n n > 0 .
Дифференциалы высших порядков.
Пусть функция z = f(x, y) имеет непрерывные частные производные
первого и второго порядка во всех точках М(х,у) некоторой области GR2.
Тогда при фиксированных dx и dy дифференциал
f ( x , y ) f ( x , y )
df  dx  dy
x y
есть функция от x, y, имеющая в рассматриваемой области непрерывные
частные производные, следовательно, в любой точке этой области
существует дифференциал от df. Вычислим его при тех же приращениях
dx и dy:  f ( x , y ) f ( x , y ) 
d (df )  d  dx  dy  
  x  y 
  f ( x, y )
2
 f ( x, y ) 
2
  2
f ( x , y )  2
f ( x, y ) 
  dx  dy 
 dx  dx  dy  dy 
 x yx
2
  xy y 2

2 f 2 2 f 2 f 2
 dx  2 dxdy  dy  d 2
f.
x 2
xy y 2

Он называется вторым дифференциалом функции z = f(x, y) в точке М(х, у).


Аналогично для функции, трижды дифференцируемой в точке М(х, у),
определяется третий дифференциал:
 3
f  3
f  3
f  3
f 3
d f  3 dx  3 2 dx dy  3
3 3 2
dxdy  3 dy .
2

x x y xy 2
y

Для сокращения записи второго и последующих дифференциалов


функции введем символ дифференциала d при помощи соотношения
 
d  dx  dy
x y
и определим операцию возведения этого символа в степень n. Например:
2
2     2 2 2
d   dx  dy    2  
dx  2 dxdy  dy 2 .
 x y  x 2 xy y 2

Тогда второй дифференциал функции z = f(x, y) можно записать в виде


произведения
2
2   
d f   dx  dy  f .

 x y 
И вообще, дифференциал n-ого порядка функции z =f(x, y) можно
символически записать в следующей форме:
n
   
d n f   dx  dy  f .
 x y 

Пусть функция u = f(х1, х2, ... хm) имеет в области G  Rm


непрерывные производные первого и второго порядка по всем
переменным. Тогда для нее, по аналогии с функцией двух переменных,
вводится понятие второго дифференциала в точке М (х1, х2, ... хm):
m m
 2 f (M )
d f ( M )  
2
dxi dx j .
i 1 j 1 xi x j

Заметим, что последнее выражение – квадратичная форма от


переменных dxi (i = 1, 2, … , m).
По индукции определяется дифференциал n – ого порядка в
предположении, что все частные производные n-ого порядка
непрерывны в точке М:
m m n m
 f (М )
d f ( М )   ...
n
dxi1 dxi 2 ...dxin .
i1 1 i2 1 in 1 xi1 xi2 ...xin
Неявные функции и их дифференцирование.

Пусть функция F(x, y) определена в R2. Рассмотрим уравнение


F ( x, y ) = 0. (1)
Множество точек плоскости, координаты которых
удовлетворяют уравнению (1), будем называть графиком уравнения.
Будем рассматривать такие уравнения, графики которых – непустые
множества.
Если график уравнения (1) однозначно проектируется на отрезок
оси ОХ, то на этом отрезке существует единственная функция y = f(x),
график которой совпадает с графиком уравнения (1). Эта функция
каждому х ставит в соответствие тот единственный у, для которого
F(x, y(х)) = 0. Говорят, что уравнение (1) определяет у как неявную
функцию от х.
Например, уравнение
x2 + y2 – 1 = 0

в прямоугольнике х[–1,1], у[0,1] неявно определяет функцию

y   1  х2 ,
а в прямоугольнике х[–1,1], у[– 1,0] – функцию

y y   1  х2 .

x
–1 0 1

–1
ТЕОРЕМА.
Пусть
 F(x, y) имеет в окрестности точки (х0, у0) непрерывные частные
производные Fх(x, y), Fу(x, y);
 Fу(x0, y0)  0;
 F(x0, y0) = 0.
Тогда существует прямоугольник
К = {(х, у): х0 – а  х  х0 + а; у0 – b  у  у0 + b},
в котором уравнение F(x, y) = 0 определяет у как неявную функцию от х.
Функция y = f(x) непрерывно дифференцируема на (х0 – а, х0 + а) и

df F ( x, f ( x))
 x .
dx Fy ( x, f ( x))
ПРИМЕР 1. Пусть требуется найти вторую производную функции у = у(х),
заданной неявно с помощью уравнения:
x2 y2
2
 2  1.
2 2
a b
x y
Здесь F ( x, y ( x))  2  2  1.
a b
По правилу дифференцирования неявной функции получим:
2
dy Fx 2x / a2 b x
       .
a y
2
dx Fy 2 y /b
Продифференцируем полученное выражение по х с учетом того,
что у есть функция от х:

b d  x  b  y  x  y ( x )
2 2
d2y Подставим сюда найденное
           
dx 2
 a  dx  y a y 2
выражение для у '(х).

b x
2
= a2b2 (согласно уравнению )
2 y  x  
  (b x  a y ) b 2  a 2b 2
2
    b4
2 2 2 2
b a y b
         2 3.
a a
2 2 3 4 3
y a y a y a y
ЗАМЕЧАНИЕ.
Аналогичная теорема имеет место и в случае, когда неявная
функция зависит от двух (и более) переменных, т.е. задается
уравнением
F ( x, y, z ) = 0.
С помощью формального дифференцирования получим выражения
для соответствующих частных производных функции z(x, y):

dF ( x, y, z ( x, y ))  Fx dx  Fy dy  Fz dz 

 z z   z   z 
 
 Fx dx  Fy dy  Fz  dx  dy    x
F  F  dx   Fy  Fz  dy  0
 x y  
z
x   y 

z Fx z Fy
 ,  .
x Fz y Fz
ПРИМЕР 2.
Пусть требуется найти второй дифференциал в точке (2, 0) для каждой
дифференцируемой функции z(x, y), заданной неявно с помощью уравнения:

2 x 2  2 y 2  z 2  8 xz  z  8  0.
В окрестности точки (2, 0) уравнением определяются две
дифференцируемые функции z(x, y). Их значения в этой точке определяются
как решения уравнения
 z1  1
z  17 z  16  0  
2
.
 z 2  16
Частные производные функции
F ( x, y, z )  2 x 2  2 y 2  z 2  8 xz  z  8
равны
Fx  4 x  8 z , Fy  4 y, Fz  2 z  8 x  1.
По правилу дифференцирования неявной функции получим:
z Fx 2z  x z Fy  4y
 4 ,   .
x Fz 2 z  8x  1 y Fz 2 z  8 x  1
Вычислим вторые производные, дифференцируя полученные выражения:
z z
(2  1)(2 z  8 x  1)  (2 z  x)(2  8)
 z  
2
2z  x  x x
  4  4 ,
x 2
x  2 z  8 x  1  (2 z  8 x  1) 2

z
(2 z  8 x  1)  y  2
2z    4y  y
    4  ,
y 2
y  2 z  8 x  1  (2 z  8 x  1) 2

z
4 y  (2
 8)
2z    4y  x
   .
yx x  2 z  8 x  1  (2 z  8 x  1) 2

z z 2z 4 2z 2z 4


1) Если z(2, 0) = 1, то  0,  0,  ,  0, 
x y x 2
15 xy y 2
15

 2 z1 (2,0) 2  2 z1 (2,0)  2 z1 (2,0) 2 4


d z1 (2,0) 
2
dx  2 dxdy  dy  ( dx 2
 dy 2
).
x 2
xy y 2
15
z z 2z 4 2z 2z 4
2) Если z(2, 0) = 16, то  8,  0,   ,  0,  
x y x 2 15 xy y 2 15

4
d 2 z 2 (2,0)   (dx 2  dy 2 ).
15
Спасибо за внимание!

misis.ru