Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Математика-2-й семестр (курс лекций)

..pdf
Скачиваний:
8
Добавлен:
05.02.2023
Размер:
11.03 Mб
Скачать

Докажем сначала лемму.

 

 

 

 

 

Лемма. Величина

 

 

 

(x0 )

 

x x0

 

 

 

 

 

ограничена для вся-

 

 

 

 

 

 

 

 

 

x x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

кого x из Rn .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство

 

 

 

леммы. По

 

 

определению

 

 

нормы в Rn

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xi2

 

 

, виду матрицы Якоби и определению операции

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

умножения матрицы на вектор имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x0 )

 

x x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 ( x0 )

 

 

 

1 ( x0 )

 

 

...

 

 

 

 

1 ( x0 )

 

 

x1 x10

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x1

 

 

 

 

 

 

x2

 

 

 

 

 

 

 

 

 

 

xn

 

 

 

 

 

 

 

 

 

x x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 ( x0 )

 

 

21 ( x0 )

 

...

 

 

 

 

2 ( x0 )

 

x2 x20

 

 

 

 

 

 

 

 

 

 

 

 

 

x1

 

 

 

 

 

 

x2

 

 

 

 

 

 

 

 

 

 

xn

 

 

 

 

 

 

 

 

x x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

...

 

 

 

 

 

 

 

...

 

 

 

 

 

 

...

 

 

 

 

...

 

 

 

 

 

 

 

 

...

 

 

 

 

 

 

 

 

 

 

 

 

k1 ( x0 )

 

 

 

k ( x0 )

 

 

 

 

 

 

 

 

k ( x0 )

 

xn xn 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x1

 

 

 

 

 

 

x2

 

 

 

 

 

 

 

 

 

 

 

 

xn

 

 

 

 

 

 

 

 

x x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 ( x0 ) xi xi 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xi

 

 

x x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 ( x0 ) xi xi 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xi

 

 

x x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.......... .......... .......

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

k ( x0 ) xi xi 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xi

 

 

x x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

1 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j ( x0 )

xi xi 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xi

 

 

x x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j 1

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

n

 

j ( x0 )

 

 

 

 

xi xi 0

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xi

 

 

 

 

x x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j 1

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

111

(x) (x0 ) 0 . Тогда

 

k

 

n

 

j ( x0 )

 

 

2 1 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xi

 

 

 

j 1

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

в силу того, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xi xi0

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

для всякого i 1,2,..., n. . Лемма доказана.

Доказательство теоремы. Рассмотрим приращение

( f )(x) ( f )(x0 ) f ( (x)) f ( (x0 )) . Имеем

f ( (x)) f ( (x0 )) f ( (x0 )) ( (x) (x0 )) 1( (x0 ), (x) (x0 ))

f ( (x0 )) ( (x0 )(x x0 ) 2 (x0 , x x0 )) 1( (x0 ), (x) (x0 ))

f ( (x0 )) (x0 )(x x0 ) f ( (x0 )) 2 (x0 , x x0 )

1( (x0 ), (x) (x0 )) ,

и, так как

f ( (x0 )) ( (x0 ) ( f )( x0 ) (x0 )) ,

то для доказательства теоремы осталось показать, что

(x0 , x x0 ) f ( (x0 )) 2 (x0 , x x0 )) 1( (x0 ), (x) (x0 ))

есть бесконечно малая более высокого порядка малости, чем

x x0

 

 

 

, то есть, что

(x0 , x x0 )

0 .

 

 

 

 

 

 

lim

 

 

 

 

x x0

 

x x

 

 

 

 

 

 

 

 

0

 

 

Для первого слагаемого это следует из свойств предела и определения 2 (x0 , x x0 ) . Действительно,

lim

f ( (x0 )) 2

(x x0 )

f ( (x )) lim

2 (x x0 ) 0.

 

 

 

x x0

 

x x

0

x x0

 

x x

 

 

 

 

 

 

 

 

0

 

 

 

 

0

 

Покажем, что и второе слагаемое есть бесконечно малая более высокого порядка малости, чем x x0 . При (x) (x0 ) 0 это очевидно, так как в этом случае 1( (x0 ), (x) (x0 )) 0 . Поэтому предположим, что

lim

1

( (x0 ), (x) (x0 ))

 

 

 

x x

 

x x0

 

 

 

 

 

 

 

0

 

 

112

lim

x x0

из чего

lim

1( (x0 ), (x) (x0 ))

 

 

(x) (x0 )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x) (x )

 

 

 

 

 

x x

 

 

 

 

x x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

1(

(x0 ), (x) (x0 ))

 

(x

0 ) (x x0 )

2 (

x0 , x x0 )

 

,

 

 

 

(x) (x0 )

 

 

 

 

x x0

 

 

 

 

x x0

 

 

 

следует утверждение об

1

и, следовательно, утверж-

дение теоремы. Теорема доказана.

Рассмотрим частные случаи формулы (2.8), наиболее часто встречающиеся на практике.

Случай 1. Если n k m 1, то соотношение (2.8) является правилом дифференцирования суперпозиции скалярных функций одного скалярного аргумента (сложной функции одного аргумента), известного из курса средней школы.

Например:

(sin ln x) cosln x ; (cos2 x) 2cosx ( sin x) ; x

(ecos2 5x ) ecos2 5x 2cos5x ( sin 5x) 5 .

Теперь получим оставшиеся формулы из таблицы производных.

Вспоминая определение гиперболических функций, запишем

shx ex e x

, chx ex e x ,

thx

ex e x

,

cthx ex e x

,

 

 

2

 

 

 

 

2

 

 

 

 

 

ex e x

 

 

ex e x

 

имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ex ( e x )

 

ex e x

 

 

 

 

 

ex e x

 

 

chx ;

 

 

(shx)

 

2

 

 

 

2

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ex e x

 

 

 

 

 

 

 

 

 

 

 

 

ex e x

 

shx ;

 

 

 

 

 

 

(chx)

 

 

2

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

shx

 

 

(shx) chx (chx) shx

 

ch2x sh2x

 

1

 

 

(thx)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

ch2x

 

 

 

 

 

ch2x

 

ch2x

 

chx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

так как

113

ch

2

x

sh

2

ex e x 2

 

ex e x 2

 

 

 

 

 

 

 

 

x

 

2

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e2x 2exe x e 2x (e2x 2exe x e 2x ) 1 ;

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

chx

 

(chx) shx (shx) chx

 

sh

2

x ch

2

x

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(cthx) shx

 

 

 

sh

2

x

 

 

 

 

sh

2

x

 

 

 

sh

2

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

Часто встречаются степенно-показательные функции, т.е. функции вида u(x)v(x). Для нахождения производных от них рекомендуется воспользоваться основным логарифмическим тождеством a eln a , тогда u(x)v( x) ev(x) lnu(x) , либо предварительно прологарифмировать функцию. Оба приёма эффективны

и

при

вычислении

производной

функций

вида

f (x)

u1 (x)u2 (x)...ul (x)

 

 

 

 

 

 

.

 

 

 

 

 

v1 (x)v2 (x)...vm (x)

 

 

 

 

 

 

Пример 1. Найти

 

 

если f (x) (sin x)

cosx

. Находим

 

 

f (x) ,

 

ln f (x) cos x ln sin x .

Дифференцируя обе части и используя

теоремы о дифференцировании сложной функции и произведения, имеем

 

f (x)

sin x ln sin x

cos x

cos x,

 

 

 

f (x)

sin x

 

 

 

 

 

 

 

 

 

 

 

из чего получаем

 

 

 

 

 

 

 

 

 

 

 

 

cos x

 

 

 

 

cos x

 

 

 

f (x) (sin x)

 

 

sin x ln sin x

 

 

cos x

 

 

 

 

 

 

 

 

 

sin x

 

 

 

(sin x)cosx 1 cos2 x sin2 x ln sin x ..

 

 

Тот же результат получим, если продифференцируем функцию f (x) (sin x)cosx ecosx lnsinx , совпадающую с исходной.

 

 

(x 1)3 (x 2)

4 (x2 1)5

 

Пример 2. Найти

f (x) , если f (x)

 

 

 

.

(x 4)2

(x 3)6

 

 

 

Логарифмируя обе части, получаем

114

ln f (x) 3ln(x 1) 4ln(x 2) 5ln(x2 1) 2ln(x 4) 6ln(x 3).

Дифференцируя обе части последнего выражения и используя теоремы о дифференцировании сложной функции, имеем

 

 

f (x)

 

3

 

 

4

 

 

 

 

10 x

 

 

2

 

 

 

6

.

 

 

 

 

 

 

 

 

x 2

 

x2 1

x 4

x 3

 

 

 

 

 

f (x) x 1

 

 

 

 

 

 

 

 

 

 

 

Умножая обе части полученного выражения на

 

 

 

 

 

 

 

 

 

 

f (x)

 

(x 1)3 (x 2)4 (x2

1)5

 

,

 

 

 

 

 

 

 

 

 

 

 

 

(x

4)2 (x 3)6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

окончательно получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x 1)3 (x 2)4 (x2 1)5

3

 

 

 

 

4

 

 

 

10x

 

 

 

2

 

6

f (x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

(x 4)2 (x 3)6

 

 

 

 

 

 

x 2

 

x2

 

 

 

4

 

 

 

 

x 1

 

 

 

1

x

 

x 3

Случай 2. Пусть n 1, k

– произвольно,

m 1. Для супер-

позиции отображений, приведенной на схеме,

имеем, что

f ( y1, y2,..., yk )

есть

скалярная

функция

k

переменных,

(x) y1(x), y2 (x),..., yk (x) T

– вектор-функция

одного

скалярного

 

аргумента,

f (x) f y1(x), y2 (x),..., yk (x)

скалярная

функция скалярного аргумента. Следовательно, можем записать

f

y2

 

 

 

 

 

f

 

f

 

f

 

 

f ( y , y

 

,..., y

 

)

,

,...,

 

,

 

 

y

y

 

y

 

1

2

 

k

 

 

2

 

 

 

 

 

 

 

 

 

1

 

 

 

 

k

 

 

 

dy1

 

 

dy2

 

 

dyk

 

T

 

 

 

 

 

(x)

 

 

 

(x),

 

 

 

(x),...,

 

 

(x) ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

dx

 

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x)

 

y1

(x), y2 (x),...,

yk (x) ,

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

 

 

 

 

 

 

 

 

 

y (x), y

 

(x),..., y

 

(x) ,...,

 

y (x), y

 

(x),...,

y

 

(x)

 

2

k

 

 

 

2

k

1

 

 

 

 

 

 

 

 

yk

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

115

 

 

 

 

 

 

 

 

 

 

 

 

 

f

 

 

 

 

 

 

f

 

 

 

 

 

 

 

f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x),

 

(x),...,

 

 

 

(x) ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

y

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

далее, перемножая матрицы

f (x)

и (x) , имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

df

 

 

f (x) (x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

 

 

 

f

 

 

 

 

 

 

 

 

 

f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dy1

 

 

 

 

dy2

 

 

 

 

 

 

 

 

 

 

dyk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x),

 

 

 

 

 

(x),...,

 

 

 

 

 

 

 

(x)

 

 

 

 

(x),

 

 

 

 

 

 

 

(x),...,

 

 

 

 

 

 

(x)

 

y1

y2

 

 

yk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

 

 

dx

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

 

 

 

 

 

f

 

(x)

dy1

(x)

 

 

f

(x)

dy2

(x) ...

 

f

(x)

dyk

 

(x)

 

 

y

 

 

 

y

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

 

 

 

 

2

 

 

 

 

 

dx

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

dx

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dy1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y1(x), y2 (x),..., yk

 

(x)

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и получаем в результате

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

df

 

k

 

 

f

y1(x), y2 (x),..., yk (x)

dy

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

.

 

 

 

 

 

(2.9)

 

 

 

 

 

 

dx

y

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 3. Для функции

f ( y , y

 

)

 

найти

df

,

если

 

y

sin t ,

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y2 cost . По формуле (2.9) находим

 

df

 

 

 

 

f

 

 

cost

 

 

f

sin t .

 

dt

 

 

y1

y2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Интересен случай функции двух переменных

 

 

f (x, y) , когда

переменная

y зависит от переменной x , то есть функции вида

f (x, y(x)) . Этот случай ни чем не отличается от предыдущего, если ввести новую переменную t и положить x t . Тогда dxdt 1 , dydt dydx dxdt dydx . Поэтому, с одной стороны,

dfdt dfdx dxdt dfdx ,

с другой стороны

df

 

f

 

dx

 

f

 

dy

 

f

 

f

 

dy

.

 

x

 

y

 

x

y

 

dt

 

 

dt

 

 

dt

 

 

 

dx

Приравнивая правые части полученных соотношений, окончательно получаем

116

df f f dy . dx x y dx

Производная df называется в этом случае полной, в отличие от dx

частной производной f , которая вычисляется при фиксиро-

x

ванном значении y .

Аналогично

рассматривается случай,

когда

 

у

функции

f (x, y1, y2 ,..., yk )

переменные y1, y2 ,..., yk зависят от переменной

x , то есть функции вида f (x, y1 (x), y2 (x),..., yk (x)) . Тогда

 

df

 

f

k

f

 

 

 

 

dyi

 

 

 

 

 

y1

(x), y2 (x),..., yk (x)

.

 

 

 

x

y

 

 

 

dx

i 1

 

 

 

 

dx

 

 

 

 

 

i

 

 

 

 

 

 

 

 

Случай 3. Пусть n и k

– произвольны,

m 1. Для суперпо-

 

 

 

зиции отображений, приведенной на схеме,

 

 

 

имеем

что

f ( y1, y2,..., yk )

есть

скалярная

 

 

 

функция

 

k

 

 

 

переменных,

 

 

 

(x) y1(x), y2 (x),..., yk (x) T

– вектор-функция

 

 

 

векторного

аргумента

 

 

и

 

 

 

f (x) f

y1(x), y2 (x),..., yk (x)

– скалярная

функция векторного аргумента. Следовательно, можем записать

 

 

 

 

 

 

 

f

 

f

f ( y , y

 

,...,

y

 

)

,

2

k

 

 

 

 

1

 

 

 

 

y

 

y

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

1

 

 

 

 

y1

 

y1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

...

 

 

 

x1

 

x2

 

 

 

 

 

 

 

 

 

 

 

y2

 

y2

...

 

(x)

x1

 

x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

... ...

 

 

 

...

 

 

 

 

 

 

yk

 

yk

...

 

 

 

 

x

 

x

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

f

,..., ,

yk

y

1

xny2xn ,

...

ykxn

117

 

 

 

 

f

(x)

 

f

 

y1(x), y2 (x),..., yk

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

y (x), y

 

 

(x),..., y

 

(x) ,...,

 

f

 

y (x), y

 

 

(

 

 

2

k

 

 

 

2

 

y2

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

yk

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

 

 

 

 

 

f

 

 

 

 

f

 

 

 

 

 

 

 

 

 

 

 

 

 

(x),

 

 

(x),...,

(x)

 

 

 

 

 

 

 

y

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

y

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и далее, перемножая матрицы f (x) и (x)

 

 

 

 

 

 

 

 

 

 

df

 

f (x) (x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y1

 

 

y1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x1

 

 

x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

 

 

 

f

 

 

 

 

 

f

 

 

 

 

 

 

 

 

y2

 

 

y2

 

 

 

 

(x),

 

 

(x),...,

 

 

(x)

 

x1

 

 

x2

 

 

 

y

 

y

 

y

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

...

 

...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

yk

 

 

yk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

x

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

(x) ,

 

 

 

x),..., y

 

 

 

k

(x)

 

 

 

 

 

 

 

, имеем

y1

...

xn

... y2

xn

... ...

... yk

xn

 

 

 

 

 

 

 

k

f

 

 

 

 

y

 

k

 

f

 

 

y

 

 

 

 

k

f

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

,

 

 

 

 

 

 

 

 

 

 

i

,...,

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

y

 

x

y

 

 

 

 

 

 

y

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

x

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

 

i

1

 

 

 

 

i

 

 

 

 

2

 

 

 

i

 

 

 

 

 

n

 

 

 

или, записывая по координатам, окончательно получаем

 

 

 

f

k

f

 

yi

 

 

 

 

 

f

 

y1

 

 

 

 

 

f

 

 

 

 

y2

 

 

 

 

f

 

 

 

 

yk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

...

 

 

 

 

 

 

 

 

,

 

 

 

x

y

x

y

x

y

2

 

x

y

k

 

x

 

1

i 1

i

 

 

1

 

 

 

1

 

 

1

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

f

k

f

 

yi

 

 

 

 

 

f

 

y1

 

 

 

 

 

 

f

 

 

 

y2

 

 

 

 

 

f

 

 

 

yk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

...

 

 

 

 

 

 

,

(2.10)

 

x2

 

 

yi

x2

 

 

y1

x2

 

 

y2

x2

 

yk

 

x2

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.......... .......... .......... .......... .......... .......... .......... .......... .

 

 

 

 

 

 

 

 

f

k

f

 

yi

 

 

 

 

 

f

 

y1

 

 

 

 

 

 

f

 

 

 

y2

 

 

 

 

 

f

 

 

 

yk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

...

 

 

 

 

 

 

 

 

 

 

 

.

 

 

xn

 

yi

xn

 

 

y1

xn

 

 

y2

 

 

xn

 

 

yk

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xn

 

 

 

Пример

5.

 

Пусть

 

f (x, y, z) x3 y y3z2

z3,

 

x u2 v,

y cosu v, z sin(uv) v2 , тогда

118

f

3(u2 v)2 (cosu v) 2u

u

 

((u2 v)3 3(cosu v)2 (sin(uv) v2 )2 ) ( sin u)

(2(cosu v)3(sin(uv) v2 ) 3(sin(uv) v2 )2 ) cos(uv) v.

Аналогично вычисляется

f

3(u2 v)2 (cosu v) 1

v

 

((u2 v)3 3(cosu v)2 (sin(uv) v2 )2 ) 1

(2(cosu v)3 (sin(uv) v2 ) 3(sin(uv) v2 )2 ) (cos(uv) u 2v).

Случай 4. Пусть

x x1, x2 ,..., xn ,

y y1, y2 ,..., yk .

Тогда

f (x, y) f x1, x2 ,..., xn , y1, y2 ,..., yk Пусть,

 

 

далее,

y j y j x1, x2 ,..., xn , j 1,2,..., k . Тогда

 

 

 

 

 

 

 

 

f

f

 

f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

yi ,

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

x

 

i 1

y

i

 

 

x

 

 

 

 

1

 

 

1

 

 

 

 

 

1

 

 

 

 

f

 

 

f

 

k

 

f

 

 

 

y

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

x2

 

x2

 

yi

 

 

 

(2.11)

 

 

 

 

i 1

 

 

 

 

x2

 

.......... .......... .......... .......... .

 

 

 

f

 

 

f

 

k

 

f

 

 

 

yi

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

xn

 

 

xn

 

i 1 yi

 

 

 

xn

 

 

 

 

 

 

 

 

 

 

 

 

 

2.5. Производная обратной функции

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

Теорема

2.3. Пусть

X Rn , Y Rn , f : X Y и

f 1 :Y X

– обратное к

f отображение. Пусть, кроме

того, f дифференцируема в точке x0 , y0 f (x0 ) , и су-

ществует ( f (x0 )) 1 . Тогда f 1 дифференцируема в точке y0 и

119

( f 1) ( y

) ( f (x

)) 1 ,

(2.12)

0

0

 

 

то есть производная матрица обратного отображения равна обратной матрице к производной матрице исходного отображения.

Доказательство. По определению обратного отображения имеет место соотношение ( f 1 f )(x) x для любого x из

X Rn . По теореме о производной сложной функции, в предположении дифференцируемости f 1 , имеем

( f 1 f ) (x0 ) (( f 1 ) f )(x0 ) f (x0 )

( f 1) ( f (x0 )) f (x0 ) ( f 1) ( y0 ) f (x0 ) E.

Умножая полученное соотношение справа на ( f (x0 )) 1 , получаем равенство (2.12). Для завершения доказательства теоремы осталось показать дифференцируемость f 1 , которое мы опус-

каем и отсылаем читателя к [2-8].

Замечание. Для функции одного переменного

( f (x

 

)) 1

1

 

 

0

 

 

 

f (x0 )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и поэтому

 

 

 

 

 

 

 

 

( f 1) ( y

 

)

 

1

 

.

0

 

 

 

 

f (x0 )

 

 

 

 

 

 

 

 

 

 

 

 

 

Применим теорему 2.3 для доказательства оставшихся формул из таблицы производных:

(arctgx)

 

 

1

 

 

 

cos2

y

 

1

 

1

 

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

(tgy) y

 

 

 

 

 

1 tg2 y

 

1 x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(arcctgx)

 

 

 

1

 

sin2

y

1

 

 

 

 

 

1

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

(ctgy) y

 

 

 

 

 

 

 

 

 

1 ctg2 y

 

 

 

1 x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(arcsinx)x

 

 

 

1

 

 

1

 

 

 

 

1

 

 

 

 

 

 

1

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(sin y) y

 

 

cos y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 sin2 y

1 x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

120