|
|
x |
2 |
+ y |
2 |
|
|
|
|
|
|
x |
|
+ y |
|
|
. |
2 |
2 |
+1 −1 |
Решение. Домножая числитель и знаменатель дроби на выражение, сопряженное знаменателю, имеем:
|
|
|
x |
2 |
+ y |
2 |
lim |
x |
|
+ y |
|
+ 1 |
x →0 |
2 |
2 |
y →0 |
|
|
|
|
|
|
|
|
Пример.
|
( x |
2 |
+ y |
2 |
)( |
x |
2 |
+ y |
2 |
+ 1 |
+ 1) |
|
|
|
|
|
|
|
|
= lim |
|
x |
2 |
+ y |
2 |
+ 1 −1 |
|
= lim( |
−1 |
x →0 |
|
|
x →0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
y →0 |
|
|
|
|
|
|
|
|
|
|
|
|
y →0 |
Исследовать на непрерывность функцию f
x |
2 |
+ y |
2 |
+ 1 + 1) |
= 2. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
2 |
y |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
при x |
2 |
+ y |
2 |
0 |
|
|
|
|
|
|
|
|
|
|
( x, |
y) = x |
2 |
+ y |
2 |
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 при x = y = 0 |
|
|
Решение. Во всех точках, кроме (0,0), наша функция непрерывна по теоремам о непрерывных функциях. Докажем, что
эта функция непрерывна и в
|
|
x |
2 |
y |
2 |
|
|
|
x |
2 |
|
|
|
0 |
|
|
|
|
= |
|
|
y |
2 |
1 |
|
|
|
|
|
|
|
|
|
|
x |
2 |
+ y |
2 |
x |
2 |
+ y |
2 |
|
|
|
|
|
|
|
|
|
x |
2 |
y |
2 |
|
|
|
|
|
|
lim |
|
|
|
= |
точке (0,0), т.е. что |
|
2 |
|
|
|
|
|
|
|
|
x →0 |
x |
+ y |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y →0 |
|
|
|
|
|
|
x |
2 |
. |
Теперь |
перейдем |
|
|
|
в |
|
|
|
|
|
|
|
|
|
0 |
. Для этого оценим функцию следующим образом: |
|
|
последнем |
неравенстве |
к |
пределу |
при |
( x, y) → (0, 0) : lim 0 = 0, lim y |
2 |
|
, отсюда по теореме «о двух милиционерах» для функций нескольких переменных и
|
|
|
x |
2 |
y |
2 |
|
|
lim |
|
|
|
|
|
x |
2 |
+ y |
2 |
|
x →0 |
|
|
|
|
|
|
|
|
y →0 |
|
|
|
|
|
|
= 0 |
, что и требовалось получить. |
|
называется непрерывной на некотором множестве, если
она непрерывна в каждой точке этого множества.
Справедливы следующие утверждения, аналогичные свойствам функций одного переменного, непрерывных на отрезке:
Теорема 2. Всякая непрерывная на замкнутом ограниченном множестве X функция y = f (x) ограничена на этом множестве и в некоторых его точках принимает свои
и наименьшее m = inf f (x) значения. Всякая непрерывная на
x X
связном множестве X функция, принимая два какие-либо значения,
промежуточное значение между ними, т.е. если |
x |
(1) |
, x |
(2) |
X |
и |
C : f (x |
|
|
|
|
|
|
|
|
x |
(0) |
X : f (x |
(0) |
) = C |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
Частные производные
Определение 7. Пусть функция |
y = f ( |
|
x(0) = (x(0) |
,..., x(0) ) . Частной производной |
|
|
1 |
n |
|
x |
(0) |
называется |
|
|
|
..., x |
) |
определена в окрестности точки |
n |
|
этой функции по переменной xi в точке
f (x |
(0) |
) |
|
|
x |
f (x |
(0) |
) |
|
|
f |
( |
x |
(0) |
,..., x |
(0) |
|
|
|
|
|
|
|
|
= lim |
|
= lim |
|
1 |
i |
x |
|
i |
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
i |
|
|
|
|
|
|
|
|
i |
|
x |
→0 |
|
i |
|
|
x |
→0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
предел существует и конечен.
Так как в определении 7 все переменные,
+ x ,..., x |
(0) |
)− f (x |
(0) |
,..., x |
(0) |
,..., x |
(0) |
) |
|
|
|
|
|
i |
n |
|
1 |
|
i |
n |
, если этот |
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
кроме |
xi , |
|
постоянны, |
то частная производная |
функции по некоторому аргументу – это ее производная по этому аргументу, вычисленная в предположении, что остальные аргументы функции постоянны.
Пример 1. |
Вычислить частные производные функции |
z = x |
2 |
sin(xy) |
Решение. |
z |
= 2x sin( xy) + x |
2 |
cos( xy) y; |
z |
= x |
2 |
cos( xy) x = x |
3 |
cos( xy) . |
|
x |
|
|
|
|
|
y |
|
|
|
|
|
|
|
Пример 2. |
Вычислить в точке |
(0, 0) |
частные производные функции |
|
|
|
|
1 при xy 0 |
|
f (x, y) = |
|
0 при xy = 0 |
|
точка ( x, y) не лежит ни на одной из осей координат
. точка ( x, y) лежит хотя бы на одной из осей координат
Решение. |
f (0, 0) |
= lim |
f (0 + x, 0) |
− |
f (0, 0) |
= |
x |
x |
|
|
|
x →0 |
|
|
|
функция не является непрерывной, так как |
lim |
|
|
x →0 |
|
y →0 |
0 − 0 |
= 0 |
; аналогично |
f (0, 0) |
|
|
|
|
|
|
x |
|
|
|
y |
|
, y) |
не существует (положим |
y |
|
|
0 |
. Отметим, что в точке (0,0) наша |
0 |
: если предел существует, то он |
|
: если предел существует, то он равен единице).
Таким образом, из существования у функции в некоторой точке частных производных следует только ее непрерывность по каждому аргументу в отдельности, но не следует ее непрерывность как функции нескольких переменных (т.е. в смысле определения 5).
Далее при сохранении термина «функция нескольких переменных» исключительно для
простоты записи будем предполагать, |
что число этих переменных |
n = 2 , |
т.е. будет |
рассматриваться функция z = f (x, y) . |
Случаи, где количество переменных существенно |
для результата или его доказательства, будут оговариваться особо. |
|
|
Дифференциал функции |
|
|
Определение 8. Пусть функция |
z = f (x, y) определена в окрестности точки |
M (x, y) и |
z = f (x + x, y + y) − f (x, y) , где |
x |
и y достаточно малы (с |
тем, чтобы точка |
(x + x, y + y) попадала в вышеупомянутую окрестность). Пусть приращение функцииz можно представить в виде
где A = A(x, y) и B =
а α = α(x, y, x, y) и
z = A x + B y + α x +β y , |
B(x, y) зависят от точки (x, y) , но не |
β = β(x, y, x, y) и |
lim α = 0, lim β = 0 |
|
x→0 |
x→0 |
|
y→0 |
y→0 |
|
|
(2) |
зависят от приращений |
x и |
y , |
. Тогда эта функция называется
дифференцируемой в точке
функции и обозначается |
dz |
называется дифференциалом
|
Пример. Найти дифференциал функции |
z = x |
y . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
Решение. |
z = (x + x) |
2 |
( y + y) − x |
2 |
y = (x |
2 |
+ 2x x + x |
2 |
)( y + y) − x |
2 |
y = |
|
|
= x2 y + 2xy x + x2 y + 2x x y + y x2 + x2 y − x2 y = 2xy x + x2 y + (2x y + y x) x + x2 y . |
|
Из |
этой |
записи видно, |
что |
|
|
функция дифференцируема |
в любой точке |
(x, y) |
, |
|
|
|
= |
2x y + y x, lim = 0, |
= x |
2 |
, lim = 0, dz = |
|
|
2 |
y. |
|
|
|
|
|
|
2xy x + x |
|
|
|
|
|
|
|
x →0 |
|
|
|
|
x →0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
y→0 |
|
|
|
|
|
y→0 |
|
|
|
|
|
|
|
|
|
|
|
Как говорят, дифференциал функции – это главная линейная часть приращения этой
функции; «линейная» – так как дифференциал является линейной функцией |
x |
и |
y , |
|
«главная» – так как при |
A(x, y) B(x, y) 0 |
и фиксированных |
x и y в первых двух слагаемых |
|
|
|
|
|
правой части формулы (2) |
x |
и y умножаются на постоянные (отличные от 0), а во |
|
вторых двух слагаемых – на бесконечно малые α |
и β . |
Теорема 3 |
(необходимое условие дифференцируемости функции). Пусть функция |
z = f (x, y) |
дифференцируема в точке M (x, y) . |
Тогда эта функция непрерывна в точке |
M (x, y) .
▲ Так как функция z = f (x, y) дифференцируема в точке
z = A x + B y + α x +β y , откуда
A lim x + B lim y + lim α lim x + lim β lim y |
x→0 |
x→0 |
x→0 |
x→0 |
x→0 |
x→0 |
y→0 |
y→0 |
y→0 |
y→0 |
y→0 |
y→0 |
, что, согласно определению, и
означает непрерывность z = f (x, y) в точке M . ■
Теорема 4 |
(необходимое условие дифференцируемости функции). Пусть функция |
z = f (x, y) |
дифференцируема в точке M (x, y) . Тогда эта функция имеет в точке M (x, y) |
|
частные производные |
z |
и |
|
x |
|
|
|
▲ Положим в формуле (2)
|
|
z |
|
z |
|
|
z |
|
x |
|
= A + α и |
|
= lim |
x |
|
|
x |
x |
x |
|
|
x→0 |
|
|
|
|
|
|
|
|
z |
и |
z |
= A = A(x, y) , |
z |
= B = B(x, y) . |
|
|
|
y |
x |
y |
|
|
|
|
y = 0 , тогда эта формула примет вид |
|
z |
x |
|
= A + lim α = A . Аналогично доказывается, |
x→0 |
|
|
|
= A x +α x |
|
|
|
, отсюда |
|
что |
z |
= B . ■ |
|
y |
|
|
|
Пример 2 на нахождение частных производных показывает, что в отличие от функций одного переменного из существования частных производных функции в некоторой точке еще не следует дифференцируемость функции в этой точке (функция этого примера имеет в начале координат частные производные, равные 0, но не является дифференцируемой, так как не является непрерывной в этой точке – см. теорему 3).
Теорема 5 (достаточные условия дифференцируемости функции). |
Пусть |
функция |
z = f (x, y) имеет в окрестности точки M (x, y) частные производные |
и эти |
частные |
непрерывны в точке |
M |
(как функции нескольких переменных). Тогда |
|
f (x, y) дифференцируема в точке M .
▲ Докажем возможность представления приращения функции
достаточно малы. Для этого
z = f (x + x, y + y) − f (x, y) = f (x + x, y + y) − f (x, y + y) + f (x, y + y) − f (x, y) .
Функцию в первой скобке можно рассматривать как функцию только от x (y– фиксирован), а функцию во второй скобке – как функцию только от y ( x – фиксирован). Поэтому к двум этим функциям мы можем применить теорему Лагранжа ( f (b) − f (a) = f (c)(b − a) , где c
соответственно (все условия теоремы выполнены):
z = f |
(x, y + y)(x + x − x) + f (x, y)( y + y − y) = |
f |
(x, y + y) x + f (x, y) y |
, где |
x |
|
|
|
y |
|
|
|
|
|
|
x |
|
|
y |
|
|
между |
x и |
x + x , y - между |
y |
и y + y, |
f |
= |
f |
, |
f = |
f |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
x |
|
|
y |
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z = f |
(x, y) x + f (x, y) y + |
|
f (x, y + y) − f |
(x, y) |
|
x + f (x, y) − f (x, y) |
y . |
x |
y |
|
x |
|
|
|
x |
|
|
|
|
y |
y |
|
|
|
|
|
|
|
|
|
α( x, y, x, y ) |
|
|
|
|
|
|
|
|
β( x, y, x, y ) |
|
|
|
Осталось доказать, что |
lim α = 0, lim β = 0 : |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x→0 |
|
|
x→0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y→0 |
|
|
y→0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
lim f |
|
|
x |
(x, y + y) − f |
x |
(x, y) = 0 |
x→0 |
|
|
|
|
|
|
y→0 |
|
|
|
|
|
|
|
|
|
|
|
|
x → 0, y → 0 |
x → x, y + y → y lim |
f ' (x, y + y) = f ' (x, y) ). |
|
Аналогично |
из |
|
|
x→0 |
x |
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y→0 |
|
|
|
|
|
|
|
|
|
непрерывности |
f |
в точке M (x, y) следует, что lim |
f (x, y ) − f |
(x, y) |
= 0 . ■ |
|
|
y |
|
|
|
x→0 |
y |
y |
|
|
|
|
|
|
|
|
y→0 |
|
|
|
|
|
|
Итак, для существования dz(x, y) достаточно непрерывности частных производных
z |
в соответствующей точке, и тогда |
|
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
dz = |
z |
x + |
z |
y . |
|
x |
y |
|
|
|
|
Вернемся к примеру z = x2 y : dz = ( x2 y)'x x + ( x2 y)'y |
y = 2xy x + x2 y , что мы уже получили выше. |
Ранее мы имели дело только с дифференциалами функции, теперь, по определению, дифференциалами независимых переменных x и y назовем их (произвольные) приращения
x |
и y : dx = x, dy = y . Тогда |
|
|
|
|
|
|
|
|
dz = |
z |
dx + |
z |
dy . |
(4) |
|
|
|
x |
y |
|
|
|
|
|
|
|
|
Пример. |
z = sin(xy) |
. Найти дифференциал |
dz (если он существует). |
|
|
|
|
Решение. |
z |
= cos( xy) y; |
z |
= cos( xy) x . Обе эти функции непрерывны в любой точке |
|
|
|
x |
|
y |
|
функция дифференцируема в любой точке (x, y) и dz = y cos(xy)dx + x cos(xy)dy .
(x, y) , следовательно наша
Определение 9. Функция называется дифференцируемой в некоторой области, если она дифференцируема в каждой точке этой области.
Применение дифференциала к приближенным вычислениям
Вернемся к формуле предыдущей лекции, которую мы перепишем в виде
|
z = dz + α x + β y = |
z |
x + |
z |
y + α x + β y . |
|
x |
y |
|
|
|
|
Отбрасывая здесь члены более высокого, чем x и y , порядка малости, мы получим формулу для приближенных вычислений:
z = z(x + x, y + y) − z(x, y) |
z |
x + |
z |
y |
|
|
|
|
|
x |
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
z(x + x, y + y) z(x, y) + |
z(x, y) |
x + |
z(x, y) |
y |
(5) |
|
|
|
|
|
x |
|
y |
|
|
|
Пример. Вычислить приближенно 1,1 |
. |
|
|
|
|
|
|
|
|
1, 02 |
|
Решение. Пусть z = x |
y |
, x = 1, |
y |
=1 , |
x = 0,1 |
, |
|
z(1,1) |
= 1 , |
z(1,1) |
= 0 1,11, 02 |
1 |
+1 0,1 + 0 |
|
|
x |
|
y |
|
|
|
|
|
|
|
Здесь пока остаются открытыми вопросы о возможности уточнения полученного результата и оценке погрешности. Эти вопросы будут обсуждаться ниже.
Производные сложной функции
Определение 1. По аналогии с функциями |
одной переменной, пусть |
z = f (u, v),u = φ(x, y), v = ψ(x, y) z = f (φ(x, y), ψ(x, y)) . |
Такая функция z(x,y) называется |
сложной функцией. |
|
z
u
|
Теорема 1. Пусть |
функции |
u = φ(x, y) и v = ψ(x, y) имеют в точке |
M (x, y) частные |
|
производные |
u |
, |
u |
, |
v |
, |
v |
, |
а функция z = f (u, v) дифференцируема в соответствующей |
|
x |
y |
x |
y |
|
|
|
|
|
|
|
|
точке (φ(x, y), ψ(x, y)) . Тогда сложная функция |
z = f (φ(x, y), ψ(x, y)) имеет в точке |
M (x, y) |
частные производные |
z |
и |
z |
и |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z |
= |
z |
|
u |
+ |
z |
|
v |
; |
z |
= |
z |
|
u |
+ |
z |
|
v |
|
(6) |
|
|
|
x |
u |
x |
v |
x |
y |
u |
y |
v |
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(т.е. мы сначала дифференцируем функцию |
z по всем ее аргументам, а потом каждый из |
них дифференцируем по той переменной, по которой ищется производная). |
|
|
▲ По определению |
z |
|
= lim |
f (x + x, y) − f (x, y) |
= lim |
|
|
x |
z |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
x |
|
|
|
|
x |
|
|
|
|
|
|
|
x→0 |
|
|
|
|
|
|
|
|
|
x→0 |
|
|
|
|
|
Дадим x произвольное приращение |
x |
|
( y = 0) , тогда функции u = φ(x, y) |
и |
v = ψ(x, y) |
получат приращения |
|
|
u = φ(x + x, y) −φ(x, y) |
и |
|
v = ψ(x + x, y) −ψ(x, y) |
, |
а функция |
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
z = f (u, v) получит приращение |
z = |
x |
z |
. Так как функция |
z = f (u, v) дифференцируема, |
|
|
|
|
|
то это приращение будет равно
|
u → 0 |
и |
|
x |
v → 0 |
. Тогда |
|
x |
|
|
|
|
|
|
z |
= |
|
z |
u |
+ |
z |
v |
+ α |
|
|
x |
|
|
x |
|
|
x |
|
|
|
|
|
|
|
|
|
|
x |
|
u |
x |
|
|
v |
x |
|
|
|
u |
|
z |
|
lim |
x |
|
+ |
|
lim |
|
|
|
x→0 |
x |
|
v x→0 |
|
|
v |
|
|
x |
|
+ lim |
|
x |
|
x→0 |
|
lim α = 0 |
|
x→0 |
|
α lim |
|
x |
u |
|
|
|
|
x |
|
x→0 |
|
и lim β |
|
x |
→0 |
|
|
следует непрерывность u и v как функций от x , |
следовательно, при x → 0 |
xu → 0 и |
|
v → 0 |
, |
откуда |
|
|
следует, |
|
что |
|
при |
|
|
|
x → 0 |
|
α →0 |
и |
β → 0), тогда из (7) |
x |
|
|
|
|
|
|
|
|
|
|
z = lim |
x z |
= |
z |
|
u |
+ z |
v . Аналогично для второй формулы. ■ |
|
|
|
|
|
|
|
x |
x→0 |
x |
|
u |
|
x |
v |
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Инвариантность формы (полного) дифференциала |
|
|
|
|
|
|
|
|
|
|
|
Пусть |
z = f (x, y), x = φ(u,v), y = ψ(u, v) z = f (φ(u, v), ψ(u, v)) . Пусть выполнены условия |
теоремы 1 о производных сложной функции, тогда, как указано выше, |
|
|
|
|
|
|
|
|
|
|
|
z |
= z |
x |
+ |
z |
|
y |
и |
|
z |
= |
z |
|
x |
+ |
z |
|
y . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
u |
x |
u |
y |
|
u |
|
|
|
v |
|
|
x |
v |
|
y |
|
v |
|
|
|
|
|
|
|
Так как u |
и v |
– независимые переменные, то, согласно этой формуле, |
|
|
|
|
|
|
|
dz = |
z |
du + |
z |
dv = |
( |
z |
|
x |
+ |
z |
|
y |
)du + ( |
z |
|
x |
+ |
z |
|
y |
)dv = |
|
|
|
|
|
|
u |
v |
x |
u |
y |
u |
x |
v |
y |
v |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z |
x |
|
|
x |
|
|
|
|
|
z |
|
y |
|
|
|
|
y |
|
|
|
z |
|
|
z |
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
du |
+ |
|
|
dv |
|
+ |
|
|
|
|
|
du + |
|
|
dv = |
|
dx + |
|
|
dy |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
u |
|
|
v |
|
|
|
|
|
y |
|
u |
|
|
|
|
v |
|
|
|
x |
|
|
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dx=dx(u,v) |
|
|
|
|
|
|
|
|
|
|
dy=dy (u,v) |
|
|
|
|
|
|
|
|
|
|
|
(для существования dz и справедливости этих преобразований достаточно непрерывности и vz , что и надо дополнительно потребовать).
|
Таким образом, формула |
dz = |
z |
dx + |
z |
dy |
верна не только тогда, когда x и y являются |
|
x |
y |
|
|
|
|
|
|
независимыми переменными, но и тогда, когда x и y являются функциями каких-то других
|
переменных. |
При |
этом |
dx = dx(u, v) , |
|
|
dy = dy(u, v). |
|
Это |
свойство |
называется |
|
инвариантностью формы дифференциала (относительно выбора переменных). |
|
|
|
Такие формулы имеют место и при другом количестве переменных. В частности: |
|
|
а) |
Пусть |
z = f (x, y), x = φ(t), y = ψ(t) z = f (φ(t), ψ(t)) ; |
|
если |
|
z = f (x, y) |
– |
|
дифференцируемая функция x и y и существуют |
dx |
и |
dy |
, то существует и |
dz |
и |
|
|
dt |
dt |
dt |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dz |
= |
z |
|
dx |
+ |
z |
|
dy |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(8) |
|
|
|
|
|
dt |
x |
dt |
y |
dt |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
“Прямое” d |
в отличие от “круглого” используется для функций одной переменной. |
|
|
б) Пусть z = f (x, y) |
– дифференцируемая функция x и y , |
y = φ(x) (т.е. второй аргумент |
|
функции f |
зависит от |
первого), |
|
и функция |
|
y = φ(x) |
имеет |
|
производную |
(т.е. |
|
дифференцируема), |
следовательно, |
z = f (x, φ(x)) . Найдем |
dz |
. Этот случай получается из |
|
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
предыдущего при t |
= x . Положим в (8) |
|
t = x . Тогда: |
dz |
= |
z |
|
dx |
+ |
z |
|
dy |
|
|
|
|
|
|
dx |
x |
dx |
y |
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
dz |
= |
z |
+ |
z |
|
dy |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(9) |
|
|
|
|
|
dx |
x |
y |
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Эта формула называется формулой для вычисления полной производной, в ней полная
|
производная |
dz |
|
– это производная функции, вычисленная после подстановки |
y = φ(x) , а |
|
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z |
– частная производная, вычисленная до такой подстановки, т.е. при условии y = const . |
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Неявная функция и ее производные |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
а) Ранее разбирался случай функции |
|
y = y(x) , заданной уравнением |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
F(x, y) = 0 . |
|
|
|
|
|
|
|
|
|
(10) |
|
Укажем еще |
один способ |
нахождения |
y |
(в предположении, что |
она существует). |
|
|
x |
|
|
|
|
|
|
|
F |
|
' |
|
F |
|
' |
|
|
|
F |
' |
0 |
|
|
|
|
|
|
|
|
Предположим, что |
|
= Fx |
и |
|
|
|
= Fy непрерывны и |
|
. Подставим в формулу (10) |
|
x |
|
y |
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y = y(x) , |
тогда |
для |
всех |
x |
из |
|
области |
определения этой |
функции |
F(x, y) 0 , |
|
следовательно, |
dF = 0 |
. У функции F один из аргументов y является функцией другого |
|
|
|
|
|
аргумента x , |
но свойство инвариантности формы дифференциала позволяет нам записать |
|
dF |
|
|
|
|
F |
|
|
F |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(x, y) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
в виде |
dF = |
|
|
dx + |
|
|
|
|
|
|
|
|
(x, y) dy |
(непрерывность |
F (x, y) |
и |
F |
|
|
|
x |
y |
dy = Fx (x, y)dx + Fy |
x |
|
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
=dy ( x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
нужна для достаточных условий дифференцируемости |
функции |
F ). Следовательно, |
|
Fx (x, y)dx + Fy (x, y)dy = 0 |
|
dy |
= − |
Fx (x, y) |
. |
Итак, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dx |
|
|
Fy (x, y) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
95 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y |
= − |
F (x, y) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
F (x, y) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
Пример. Найти производную функции, заданной уравнением |
2 y ln y = x |
2 |
. |
|
|
|
|
Решение. |
2 y ln y − x |
2 |
= 0; |
|
|
|
|
1 |
|
|
|
|
|
|
2x |
|
x |
|
|
|
= 2(ln y +1) y |
= |
|
= |
. |
|
F ( x, y) = −2x; |
F ( x, y) = 2 ln y + 2 y |
|
|
|
|
|
|
|
x |
y |
|
|
y |
|
|
|
|
x |
|
2(ln y + 1) |
|
ln y + 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
F ( x , y ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
б) Рассмотрим теперь уравнение
|
F(x, y, z) = 0 . |
|
(12) |
Определение 2. Пусть каждой паре |
(x, y) |
из некоторой области D соответствует одно |
значение z |
из некоторой области Z |
такое, |
что |
F(x, y, z) = 0 |
. Тогда этим определяется |
некоторая функция z = z(x, y) с областью определения D. Эта функция называется неявной |
функцией, заданной уравнением (12). |
|
Подставим в (12) z = z(x, y) для (x, y) D |
F(x, y, z(x, y)) 0 dF 0 . |
Но, в силу инвариантности формы дифференциала ( z |
зависит от |
x и |
y |
), |
|
|
|
dF = |
F |
dx + |
F |
dy + |
F |
dz = F (x, y, z)dx + F (x, y, z)dy + F (x, y |
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
y |
|
z |
|
x |
|
|
y |
|
|
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
F |
, |
F |
предполагаются |
|
непрерывными). |
Если |
|
|
F (x, y, |
|
|
|
|
|
|
|
|
|
y |
z |
|
|
|
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
F (x, y, z) |
|
|
F (x, y, z) |
|
|
|
|
|
|
|
|
z |
|
− |
|
x |
|
|
|
|
dx − |
|
y |
|
dy . Но если dz = Adx + Bdy |
, то |
A = |
|
|
|
|
|
|
|
|
|
|
|
F (x, y, z) |
F (x, y, z) |
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z |
|
|
|
|
|
|
|
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
F (x, y, z) |
|
|
F (x, y, z) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
= − |
y |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
zx = − |
; zy |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
F (x, y, z) |
|
|
F (x, y, z) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z |
|
|
z |
|
|
|
|
ЛЕКЦИЯ 17
Частные производные и дифференциалы высших порядков
. Эти частные производные снова являются
функциями x и y, поэтому можно находить частные производные этих функций.
Определение 3. Второй производной функции по x |
или по y называется |
|
|
|
|
2 |
z |
|
|
|
|
|
2 |
z |
|
|
|
|
|
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
соответственно (обозначения: |
z 2 |
= |
|
|
|
или |
= |
|
|
2 |
). Т.е. |
|
|
2 |
y |
2 |
|
|
|
|
x |
|
x |
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
|
|
если эти производные существуют. производные:
|
|
|
|
|
|
|
z |
|
|
|
|
2 |
z |
|
|
|
|
z |
= |
|
= |
|
|
x |
, |
|
|
|
|
|
|
xy |
|
y x |
|
|
y |
|
|
|
|
|
|
если эти производные |
существуют |
|
Введем так называемые
|
|
|
|
|
|
|
|
z |
|
|
|
|
|
|
2 |
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
= |
|
|
y |
, |
|
|
|
|
|
|
|
|
|
|
|
|
zyx |
x y |
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
z |
(запись |
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y |
|
|
|
y |
x |
оправдывает порядок производных “справа налево”; для записей сохраним более естественный порядок дифференцирования).
Пример
|
|
|
|
z |
= e |
Решение. |
|
|
xy |
|
|
|
|
|
|
|
x |
|
|
|
|
2 |
z |
|
( ye |
xy |
) |
|
|
= |
|
= |
|
|
|
|
|
|
y x |
|
y |
|
|
|
Найти частные производные второго порядка функции |
z = e |
xy |
. |
|
|
|
z |
|
|
|
|
|
|
2 |
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
z |
|
|
|
|
|
|
|
|
|
y; |
|
= e |
xy |
x; |
|
|
|
= |
ye |
xy |
y = |
2 |
e |
xy |
; |
|
|
|
|
= xe |
xy |
|
2 |
e |
xy |
|
|
|
|
|
|
2 |
|
y |
|
|
|
|
2 |
|
x = x |
|
; |
|
|
|
y |
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
z |
|
( xe |
xy |
) |
|
|
|
|
|
|
|
|
|
|
|
|
e |
xy |
+ ye |
xy |
x = e |
xy |
(1 + xy); |
|
|
= |
|
= e |
xy |
+ xe |
xy |
y = e |
xy |
(1 |
+ xy) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x y |
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Встает вопрос: случайно ли равенство двух последних производных? Т.е. зависит ли смешанная производная от порядка дифференцирования?
Теорема 2 (о смешанных производных). Пусть функция |
z = f (x, y) |
и ее частные |
z z 2 z 2 z
производные x , y , x y , y x существуют в окрестности точки M (x, y) , причем
|
|
2 |
z |
|
|
2 |
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
смешанные производные ( |
x y |
, |
y x |
) непрерывны в точке |
M (x, y) . Тогда в этой точке |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 z |
= |
2 z |
. |
(3) |
|
|
|
|
|
|
|
x y |
y x |
|
|
|
|
|
|
|
|
|
|
Доказательство этой формулы мы оставим за пределами этой лекции.
Аналогично определяются частные производные третьего, четвертого и т.д. порядков от функций любого числа переменных. Можно показать, что значение смешанной
производной |
k -ого порядка в некоторой точке не зависит от порядка, в котором |
производятся последовательные дифференцирования, если, например, все производные функции до порядка k включительно непрерывны в окрестности нашей точки. Например, при выполнении таких условий функция z = f (x, y) имеет четыре различные производные
|
|
|
|
|
3 |
z |
|
|
|
|
3 |
z |
|
|
|
|
3 |
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
третьего порядка |
z |
= |
|
|
|
|
, z |
= |
|
|
|
, z |
|
= |
|
|
|
, z |
2 |
= |
|
3 |
|
x |
3 |
|
3 |
|
y |
3 |
2 |
|
|
x |
2 |
y |
|
|
|
x |
|
|
y |
|
|
x |
y |
|
xy |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
производных не зависят от порядка дифференцирования.
|
|
|
|
|
|
|
|
u |
|
|
|
|
|
|
|
|
|
|
; найти |
|
|
6 |
|
|
|
|
. |
|
3 |
y |
2 |
z |
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
y z |
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
3 |
|
|
|
u |
|
|
|
|
|
|
|
u |
|
|
|
3 |
|
|
|
|
|
|
|
|
6 |
|
|
|
|
|
|
|
= 12xyz |
4 |
; |
|
|
|
|
|
|
|
x |
|
|
|
x |
|
y z |
|
y |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
2 |
|
|
|
3 |
|
Дифференциалы высших порядков |
|
|
|
|
|
Пусть |
z = f (x, y) , где |
x |
и y независимые переменные, − дифференцируемая функция, |
|
тогда |
dz = |
z |
dx + |
z |
dy |
(для этого, например, достаточно непрерывности |
z |
и |
z |
) dz |
|
|
|
x |
y |
x |
y |
|
|
|
|
|
|
|
|
|
|
зависит от |
x, y, dx, dy |
, т.е. является некоторой функцией от этих четырех аргументов. Если |
|
dx и dy зафиксировать, то этот дифференциал можно рассматривать как функцию от x и |
|
y, а dx и dy от x и y |
не зависят. Теперь можно говорить о дифференциале этой функции. |
Определение 4. Вторым дифференциалом (или дифференциалом второго порядка) функции называется дифференциал от ее (первого) дифференциала, если он существует.
|
|
|
|
|
|
|
|
z |
|
z |
|
|
|
|
|
|
z |
|
|
|
|
|
z |
|
|
|
|
|
|
|
z |
|
|
|
|
|
|
z |
|
|
|
|
|
|
|
|
d |
2 |
z = d (dz) = d |
dx + |
dy |
|
= |
dx |
+ |
dy |
|
|
dx + |
dx + |
dy |
|
dy = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
y |
|
x |
y |
|
x |
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z |
|
|
|
x |
|
z |
|
|
|
|
|
|
z |
|
y |
|
|
z |
|
|
|
2 |
2 |
z |
|
|
2 |
z |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
2 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
2 dx + |
|
|
|
|
dy |
dx + |
|
|
|
|
|
dx + |
|
|
|
|
|
dy dy = |
|
|
|
dx |
2 |
+ 2 |
|
|
|
|
|
dxdy + |
|
|
|
dy |
2 |
|
x y |
|
|
|
|
|
y |
2 |
x |
2 |
|
|
|
|
|
|
y |
2 |
|
|
x |
|
|
|
y x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dx |
2 |
|
|
|
2 |
, dy |
2 |
|
= (dy) |
2 |
|
|
|
|
|
|
(здесь для удобства записи опущены скобки: |
|
= (dx) |
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
z |
|
|
|
|
|
|
|
|
2 |
z |
|
|
|
|
|
|
2 |
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
d |
2 |
z |
= |
|
|
|
|
dx |
2 |
+ 2 |
|
|
|
|
dxdy + |
|
|
|
|
dy |
2 |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
x y |
|
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Для справедливости (4) достаточно, чтобы |
функция |
|
z = f (x, y) |
имела |
непрерывные |
частные |
|
производные |
до |
|
второго |
порядка |
включительно |
(тогда |
z dx + z dy имеет |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
y |
непрерывные частные производные первого порядка, |
следовательно, |
d 2 z |
существует, |
|
2 |
z |
|
|
2 |
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x y |
= |
y x |
, и справедлива вся цепочка предыдущих равенств). Аналогично, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
z = |
3 z |
|
3 |
+ 3 |
3 z |
2 |
dy + 3 |
3 z |
|
2 |
+ |
3 z |
|
3 |
|
|
|
|
|
|
|
|
|
|
|
d |
|
|
dx |
|
|
dx |
|
dxdy |
|
|
dy |
|
. |
|
|
(5) |
|
|
|
|
|
|
|
|
x3 |
|
x2 y |
x y2 |
|
y3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Замечание. Дифференциалы порядка больше первого не обладают свойством инвариантности формы, т.е. в случае, когда x и y не независимые переменные, а функции других переменных ( u и v ), формулы (4) и (5), вообще говоря, не верны.
Символические формулы
Перепишем формулы для дифференциалов следующим образом:
|
|
|
z |
|
|
|
|
|
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dz = |
|
dx |
+ |
|
|
|
|
dy = |
|
|
|
dx + |
|
|
dx |
z |
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
y |
|
|
|
|
x |
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
d |
2 |
z = |
|
|
|
|
dx |
2 |
|
+ 2 |
|
|
|
dxdy + |
|
|
|
|
dy |
2 |
z = |
|
dx + |
|
|
dy |
|
|
x |
2 |
|
|
x y |
y |
2 |
|
|
x |
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
3 |
|
|
|
3 |
|
|
|
3 |
|
|
2 |
|
|
|
|
|
|
3 |
|
|
|
|
|
2 |
|
3 |
|
3 |
|
|
d |
|
z = |
|
|
|
dx |
|
|
+ 3 |
|
|
|
|
dx |
dy + 3 |
|
|
|
|
|
dxdy |
|
+ |
|
|
dy |
|
z = |
|
|
x |
3 |
|
|
|
|
2 |
y |
x y |
2 |
|
y |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
Аналогично, если |
d |
n |
z = |
dx + |
dy |
z, n Z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Формула (6) понимается так: формально возводим в степень n по формуле бинома Ньютона, формально умножаем на z , и умножение каждого члена на z понимаем как взятие соответствующей частной производной.
Такие же символические формулы справедливы, если переменных больше, чем две.
Формула Тейлора для функции нескольких переменных
раз дифференцируемой функции одной переменной имеет вид:
|
|
|
|
|
|
f (x ) |
|
|
|
|
|
|
|
|
f |
(n) |
(x |
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (x) = f (x |
) + f (x )(x − x |
) + |
|
0 |
(x − x |
) |
2 |
+... |
+ |
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
0 |
0 |
|
|
0 |
|
2! |
|
|
|
0 |
|
|
|
|
|
n! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
c – промежуточная точка между x0 |
и x . |
|
|
|
|
|
|
|
|
|
|
Положим в этой формуле x − x0 = x = dx, |
x = x0 + x |
|
f (x |
+ x) = f (x |
) + df (x |
) + |
1 |
d |
2 |
f (x |
) +... + |
1 |
d |
n |
f |
|
|
|
|
|
|
0 |
|
|
0 |
|
|
0 |
2! |
|
|
|
0 |
|
|
|
n! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где c – точка между |
x |
0 |
и |
x = x |
+ x |
, т.е. |
c = x |
+θ x,0 |
|
|
0 |
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
f |
(n+1) |
(c) |
|
|
|
|
(x − x |
) |
n |
+ |
|
(x − x |
) |
n+1 |
, |
|
|
|
|
|
|
|
|
0 |
|
|
|
(n +1)! |
0 |
|
|
|
|
|
|
|
|
|
|
|
(x |
) + |
1 |
d |
n+1 |
f (c), |
|
|
|
0 |
|
(n +1)! |
|
|
|
|
|
|
|
|
В таком виде формула Тейлора обобщается на функции нескольких переменных.
Теорема 1. Если в окрестности некоторой точки непрерывные частные производные всех порядков до
(x |
+ x , y |
0 |
+ y) из этой окрестности |
0 |
|
|
|
x |
|
y |
(x |
, y |
) |
функция |
z = f (x, y) |
имеет |
0 |
|
0 |
|
n +1 |
включительно, то для всех точек |
|
|
f (x |
+ x, y |
+ y) = f (x |
, y |
) + df (x |
, y |
) + |
1 |
d |
2 |
f (x |
, y |
) +... + |
1 |
d |
n |
f (x |
, y |
) + |
|
|
|
|
|
|
0 |
0 |
0 |
0 |
0 |
0 |
|
2! |
|
|
0 |
0 |
|
n! |
|
|
0 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
1 |
|
d n+1 f (x + θ x, y + θ y), 0 θ 1 , |
|
|
|
|
|
(n + |
1)! |
0 |
0 |
|
|
|
Чтобы избежать громоздких выкладок, доказательство теоремы мы здесь приводить не
будем, проверим только, что точка С (x0 +θ x, y0 +θ y) |
– это некоторая точка отрезка, |
соединяющего точки M0 (x0 , y0 ) и M (x0 + x, y0 |
+ y) : |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1− θ |
|
|
|
1− θ |
|
|
M0C = θ x, θ |
y ,CM |
= (1 |
− |
θ) x, (1− |
θ) y CM = |
|
M 0C , |
|
>0, значит вектора |
|
θ |
θ |
|
|
|
0 |
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
CM и M 0C коллинеарны и одинаково направлены (рис. 1).