Математика-2-й семестр (курс лекций)
..pdfx t3 ,
y cos2 t,
находим |
|
|
|
|
|
|
|
|
y |
yt 2 cost sin t |
sin 2t |
||||||
|
x |
|
|
|
|
|
|
|
|
xt |
3t2 |
|
3t 2 , |
||||
|
|
|
|
|||||
|
|
t |
3 |
. |
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
( sin 2t / 3t 2 ) |
|
2 cos2t 3t 2 6t sin 2t |
|
y |
|
( y ) |
|
t |
|
|
, |
|||
|
3t 2 |
27t6 |
||||||||
|
xx |
|
|
x x |
|
|
|
|||
|
|
t |
3 |
. |
|
|
|
|
|
|
x |
|
|
|
|
|
|
2.9. Производная функции, заданной неявно
Пусть уравнение (x, y) 0 |
задает y как неявную функцию |
|||||||||||
от x , т.е. |
y y(x) . Тогда (x, y(x)) |
|
- сложная функция пере- |
|||||||||
менной x , |
а (x, y(x)) 0 |
|
- тождество. Дифференцируя обе |
|||||||||
части этого тождества по x , имеем |
|
|
|
|
||||||||
|
|
d |
|
|
|
dx |
|
|
dy |
0 |
, |
|
|
|
|
|
|
||||||||
|
|
dx |
|
x |
|
dx |
y |
|
dx |
|
||
отсюда получаем |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
dy |
y / x . |
(2.20) |
||||||
|
|
|
|
|
||||||||
|
|
|
|
dx |
x |
/ y |
|
|||||
|
|
|
|
|
|
|
||||||
Совершенно очевидно, что проделанные выкладки справед- |
||||||||||||
ливы, если x , y существуют и, кроме того, y 0 . |
||||||||||||
Используя соотношение y x (x, y) , |
легко найти y |
|||||||||||
|
|
|
|
|
|
|
x |
y (x, y) |
xx |
|||
|
|
|
|
|
|
|
|
|
(предполагая её существование):
131
|
|
|
y |
x |
|
|
||
xx |
|
|
y |
||
|
Полагая y
x
находим
y
xx
|
|
( |
|
y ) |
( |
|
y ) |
||
(x, y) |
xx |
xy |
x y |
|
yx |
yy |
x . |
||
|
|
|
|
( y ) |
2 |
|
|
|
|
(x, y) x |
|
|
|
|
|
|
|
x |
и считая, что |
|
|
, после упрощений |
|||||||||
|
y |
|
|
|
|
xy |
|
yx |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
2 |
|
|
|
|
( |
)2 |
|
( )2 |
|
||
|
|
xy |
x |
y |
xx |
|
y |
|
|
yy |
x |
. |
|
|
|
|
|
|
( )2 |
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
y |
|
|
|
|
|
|
Аналогично может быть получено выражение для производной третьего, четвертого порядков и т.д.
Производную второго порядка y можно найти по другому,
xx
дважды продифференцировав тождество (x, y(x)) 0 по x :
|
(x, y) (x, y) y |
0, |
|
|
|||
|
x |
|
y |
x |
|
|
|
|
(x, y) |
(x, y) y |
(x, y) y |
|
|||
xx |
xy |
|
x |
yx |
|
x |
|
(x, y) ( y )2 |
|
(x, y) y |
0, |
|
|||
|
yy |
x |
y |
|
xx |
|
|
отсюда, после подстановки значения |
y , найдем y . |
||||||
|
|
|
|
x |
|
|
xx |
Рассмотрим несколько примеров, иллюстрирующих сказанное.
Пример 1. Найти y , если y задана неявно уравнением
x
y2 x2 y 2xy 0.
Дифференцируя обе части по x , с учетом, что y y(x) ,
имеем 2yy 3x2 y x3 y 2y 2xy 0.
Разрешая это уравнение относительно y , получаем
y |
3x2 y 2 y |
. |
|||
2 y x3 |
|
2x |
|||
|
|
Сравните с результатом, полученным по формуле (2.20).
Пример 2. Найти y для функции, заданной неявно уравне-
xx
нием y2 x2 y 2xy 0.
Дифференцируя обе части по x , имеем
(2y x3 2x) y 3x2 y 2y 0.
x
132
Дифференцируя второй раз, получаем |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
(2y x3 2x) y |
|
(2y 3x2 |
2) y |
6xy 3x2 y |
2y |
0. |
|||||||||||||||||||
|
|
|
|
|
xx |
|
|
|
x |
|
|
x |
|
|
|
|
|
|
|
x |
x |
|
|||
Разрешив последнее равенство относительно y |
, можем запи- |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
xx |
|
|
|
|
сать |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y |
|
|
2( y )2 |
(6x2 4) y 6xy |
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
x |
|
|
|
, |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
xx |
|
|
|
|
|
2 y x3 2x |
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
или, подставляя |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
y |
|
3x2 y 2 y |
|
|
, |
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
2 y |
x3 2x |
|
|
|
|
|
|
|
|
||||
окончательно получаем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
3x |
2 |
y |
|
2 y |
|
|
2 |
|
|
2 |
|
|
|
3x |
2 |
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 y |
|
|
|||||||||||
|
2 |
|
|
|
|
|
|
|
|
|
(6x |
|
4) |
|
|
|
|
|
|
|
|
|
6xy |
|
|
2 y x |
3 |
2x |
|
|
2 y x |
3 |
|
|
|
||||||||||||||||
y |
|
|
|
|
|
|
|
|
|
2x |
|
. |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
xx |
|
|
|
|
|
|
|
|
|
2 y x3 2x |
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Пусть теперь уравнение |
(x, y, z) 0 задаёт неявно функ- |
цию z(x, y) . Тогда (x, y, z(x, y)) – сложная функция переменных x, y , а (x, y, z(x, y)) 0 – тождество. Дифференцируя обе части этого тождества по x , получаем
|
(x, y, z) |
(x, y, z) z |
0, |
(2.21) |
|||
x |
|
|
|
z |
x |
|
|
отсюда |
|
|
|
|
|
|
|
|
|
z |
|
x . |
|
|
|
|
|
x |
|
z |
|
|
|
Аналогично |
|
|
|
|
|
|
|
|
|
z |
|
y . |
|
|
|
|
|
y |
|
|
|||
|
|
|
z |
|
|
Для функции трех и большего числа переменных вывод формул для вычисления производных проделайте самостоятельно.
Для отыскания z продифференцируем дважды тождество
xx
(x, y, z(x, y)) 0 :
|
(x, y, z) |
(x, y, z) z |
0, |
x |
z |
x |
|
133
|
(x, y, z) ( |
(x, y, z) |
(x, y, z)) z |
|
xx |
xz |
zx |
x |
|
|
|
(x, y, z) (z )2 |
(x, y, z) z |
0, |
|
|||||
|
|
|
zz |
|
x |
z |
|
xx |
|
|
отсюда |
|
|
|
|
|
|
|
|
|
|
|
z |
|
|
( |
) z |
(z )2 |
, |
|||
|
xx |
xz |
zx |
x |
zz |
x |
||||
|
|
xx |
|
|
|
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
или, подставляя в полученное равенство выражение для |
||||||||||
|
|
|
|
|
z x (x, y, z) , |
|
|
|||
|
|
|
|
|
x |
z (x, y, z) |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
находим окончательно |
|
|
|
|
|
|
||||
z |
|
( |
|
)( |
) ( |
)2 |
||||
|
xx |
xz |
zx |
x |
z |
zz |
x |
z . |
||
xx |
|
|
|
|
|
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Дифференцируя обе части тождества (2.21) по y , имеем
(x, y, z) (x, y, z) z |
(x, y, z) z |
|
||||||||||||||||||
xy |
|
|
|
xz |
|
|
|
|
y |
|
zy |
|
|
x |
|
|
|
|||
|
(x, y, z) z |
z |
|
(x, y, z) z |
0, |
|
|
|
||||||||||||
|
|
zz |
|
|
x |
|
|
y |
z |
|
|
|
xy |
|
|
|
|
|
|
|
отсюда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z |
|
z |
|
z |
z |
|
|
|
|||||||
z |
|
xy |
xz |
|
y |
|
zy |
x |
|
zz |
|
x |
y |
, |
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
xy |
|
|
|
|
|
|
|
|
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
или, с учетом, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
x (x, y, z) |
, |
|
|
zy |
y (x, y, z) |
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
, |
|
|
|
|||||||||
zx |
z (x, y, z) |
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
z (x, y, z) |
|
|
|
||||||||
можем переписать |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
y |
|
|
|
|
|
|
|
x y |
|||||||
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||
z |
|
xy |
xz |
z |
|
|
zx |
z |
|
zz |
|
( z )2 |
. |
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
xy |
|
|
|
|
|
|
|
|
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Аналогично получаем выражение для второй производной по y
|
|
|
( |
|
)( |
) |
( |
)2 |
|
z |
|
yy |
yz |
zy |
y |
z zz |
y |
z |
. |
|
|
|
|
|
|
|
|||
yy |
|
|
|
|
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
Подобным образом могут быть вычислены частные производные любого порядка для функции, заданной неявно.
134
Частные производные z |
, z |
, z |
можно найти другим спо- |
||||||||||||||||
|
|
|
|
|
xx |
|
xy |
yy |
|
|
|
|
|
|
|
|
|
||
собом, дифференцируя по x |
и y |
частные производные z и |
z . |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
y |
Пример 3. Найти |
|
|
|
и |
|
|
|
|
|
задана как неявная функ- |
|||||||||
|
|
z x |
z y , если z |
||||||||||||||||
ция x , y уравнением xy3 2xyz z2 y 0. |
|
|
|
|
|
||||||||||||||
Дифференцируя обе части уравнения по x , с учетом, |
что |
||||||||||||||||||
z z(x, y) , получаем |
|
y3 2y z 2x y z 2y z z |
0, |
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
x |
|
|
|
|
откуда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z |
z |
|
|
|
y3 2yz |
. |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
x |
|
x |
|
|
|
2xy 2zy |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Аналогично |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z |
|
3xy2 2xz z2 |
|
. |
|
|
|
|
||||||||
|
|
|
y |
|
|
2xy 2zy |
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Пример 4. Найти |
|
|
2 z |
, если |
z(x, y) |
задана неявно уравне- |
|||||||||||||
|
y2 |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
нием ez x2 yz3 0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Дифференцируя обе части данного тождества два раза по |
y , |
||||||||||||||||||
имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ez z |
x2 z3 3x2 yz2 z |
0, |
|
|
|
||||||||||||||
|
|
|
y |
|
|
|
|
|
|
|
|
|
y |
|
|
|
|
|
|
ez (z )2 |
ez z |
|
3x2 z2 z |
3x2 z2 z |
|
||||||||||||||
y |
|
|
|
|
yy |
|
|
|
|
y |
|
|
|
|
|
y |
|
||
6x2 yz (z |
|
)2 3x2 yz2 z |
|
0, |
|
|
|
||||||||||||
|
|
|
|
|
y |
|
|
|
|
|
|
yy |
|
|
|
|
|||
отсюда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
zy |
|
|
|
x2 z3 |
|
|
, |
|
|
|
|
|
|
||
|
|
|
|
ez 3x2 yz2 |
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
ez (z |
)2 |
|
6x2 z2 z |
6x |
2 z(z |
)2 |
|
|
||||||||||
z |
|
|
|
y |
|
|
|
|
|
y |
|
|
|
|
|
y |
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
yy |
|
|
|
|
|
|
|
ez 3x2 yz2 |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
или, с учетом выражения для z y
135
|
|
|
|
x2 z3 |
|
|
|
2 |
|
|
x2 z3 |
|
|
|
|
||||
|
|
(ez 6x2 z) |
|
|
|
|
|
|
|
6x2 z2 |
|
|
|
|
|
|
|
|
|
|
|
|
z |
|
2 |
|
|
|
z |
|
2 |
|
2 |
|
|||||
|
|
|
3x |
yz |
2 |
|
|
3x |
yz |
|
|
||||||||
z |
|
e |
|
|
|
|
|
e |
|
|
|
|
. |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
yy |
|
|
|
|
ez 3x2 yz2 |
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пусть система двух уравнений
|
(x, y, z , z |
2 |
) 0, |
|||
|
|
1 |
1 |
|
) 0, |
|
|
2 |
(x, y, z , z |
2 |
|||
|
1 |
|
|
|||
определяет в некоторой области |
D дифференцируемые функ- |
ции z1(x, y) , z2 (x, y) . Тогда в D имеем два тождества
(x, y, z (x, y), z |
2 |
(x, y)) 0, |
||
|
1 |
1 |
|
|
|
2 |
(x, y, z (x, y), z |
2 |
(x, y)) 0, |
|
1 |
|
дифференцируя каждое из которых по x , получаем
|
|
|
|
|
z |
|
|
|
z |
|
0, |
||
|
1 |
1 |
1 |
|
1 |
|
|
2 |
|||||
|
x |
|
z1 |
|
x |
|
z2 |
|
|
x |
|
||
|
2 |
|
2 |
|
z1 |
|
2 |
|
|
z2 |
|
||
|
|
|
|
|
0. |
||||||||
|
x |
z |
x |
z |
2 |
x |
|||||||
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
Если |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
z1 |
|
z2 |
0, |
|
|
|
|
|||
|
|
|
2 |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
z1 |
|
z2 |
|
|
|
|
|
|
|
(2.22)
(2.23)
то по формулам Крамера из (2.23) находим
|
|
1 |
1 |
|
|
|
|
1 |
1 |
|
|
|
|
|
|
|
|
|
|
||||||
|
|
x |
z2 |
|
|
|
|
z1 |
x |
|
|
|
|
|
2 |
2 |
|
|
|
|
2 |
2 |
|
|
|
z1 |
|
x |
z2 |
, |
z2 |
|
|
z1 |
x |
|
|
. |
x |
|
|
x |
|
|
|
|
|
||||
|
|
|
|
|
|
|
||||||
|
|
1 |
1 |
|
|
|
|
1 |
1 |
|
|
|
|
|
z1 |
z2 |
|
|
|
|
z1 |
z2 |
|
|
|
|
|
2 |
2 |
|
|
|
|
2 |
2 |
|
|
|
|
|
z1 |
z2 |
|
|
|
|
z1 |
z2 |
|
|
|
136
Если тождества (2.22) продифференцировать по переменной y ,
то аналогично можно найти частные производные z1 , z2 .
y y
Пример 5. Найти, z1 , z2 , если z1 и z2 заданы неявно сис-
x x
темой уравнений
x y z1 z2 0,
x sin z2 y sin z1 0.
Дифференцируя эти тождества по x , получаем систему уравнений
z1 |
z2 1, |
|
|
|
|
|
|
||||
|
x |
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
z1 |
|
|
|
z2 |
|
|
|
|
y cos z |
|
x cos z |
|
|
sin z |
|
, |
||||
x |
|
x |
|
||||||||
|
|
1 |
|
|
2 |
|
|
2 |
|
из которой по формулам Крамера находим
z2 |
|
y cos z1 sin z2 |
, |
z1 |
|
x cos z2 sin z2 |
||||
x |
|
x cos z |
2 |
y cos z |
|
x |
|
x cos z |
2 |
y cos z |
|
|
|
1 |
|
|
|
|
1 |
Таким же способом можно найти частные производные функций z1, z2 ,..., zm по переменным x1, x2 ,..., xn , если эти функции заданы неявно системой уравнений
1 |
(x1, x2 ,..., xn , z1, z2 ,..., zm ) 0, |
|
||||||||||
|
2 |
(x1, x2 ,..., xn , z1, z2 ,..., zm ) 0, |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
.......... .......... .......... .......... ...... |
|
|
||||||||||
|
m |
(x , x |
2 |
,..., x , z , z |
2 |
,..., z |
m |
) 0, |
|
|||
|
|
1 |
n 1 |
|
|
|
|
|||||
продифференцировав |
соответствующие |
тождества |
по |
|||||||||
x1, x2 ,..., xn . |
|
|
|
|
|
|
|
|
|
|
|
|
2.10. Геометрический и механический смысл производной
Приложение производной в геометрии и механике основано на её геометрическом и механическом смыслах.
137
Пусть f – дифференцируемая функция одной переменной. Построим график функции f и проведем секущую, соединяю-
щую точки M 0 (x, f (x)) и M (x x, f (x x)) . Определение. Предельное положение секущей M 0M ,
когда точка M стремится к точке M 0 , называется касательной к кривой в точке M 0 .
Тангенс угла , изображенного на рисунке, равен
|
|
|
|
tg |
f (x x) f (x) |
. |
||||
|
|
|
|
|
|
|||||
|
|
|
|
|
x |
|
|
|||
|
|
|
Если устремить x |
к нулю, то секу- |
||||||
|
|
|
щая займет положение |
касательной |
||||||
|
|
|
к графику функции |
f |
в точке x . С |
|||||
|
|
|
другой стороны, |
|
|
|
||||
tg |
|
lim |
tg lim |
f (x x) f (x) |
|
f (x) . |
||||
0 |
x |
|||||||||
|
x 0 |
x 0 |
|
|
|
|||||
|
|
|
|
|
Таким образом, геометрический смысл производной заключает-
ся в том, что значение производной функции |
f |
в точке x равно |
||||||||
тангенсу угла наклона к оси OX касательной к графику функ- |
||||||||||
ции в точке (x, f (x)) . |
|
|
|
|
|
|
|
|||
|
Пусть, теперь, r r(t) (x(t), y(t), z(t))T |
– |
вектор-функция |
|||||||
скалярного аргумента, |
t0 [ , ] |
– некоторое значение аргумен- |
||||||||
та, |
t – приращение аргумента. |
Тогда |
r(t0 t) r(t0 ) и |
|||||||
|
r(t0 |
t) r(t0 ) |
– векторы, параллельные секущей, соединяю- |
|||||||
|
|
t |
||||||||
|
|
|
|
|
|
|
|
|
|
|
щей точки r(t0 t) и |
r(t0 ) кривой |
r(t) . Переходя к пределу |
||||||||
при t 0 , получаем, |
|
|
|
|
|
T |
есть вектор, |
|||
что r (t) |
(x (t), y (t), |
z (t)) |
|
параллельный касательной к кривой r(t) в точке r(t0 ) , причём вектор r (t) направлен в сторону возрастания аргумента t . Ана-
логично, в случае плоской кривой r r(t) (x(t), y(t))T вектор
138
r (t) (x (t), y (t))T параллелен касательной к кривой r(t) в точ-
ке r(t0 ) .
Поскольку параметрическое задание кривой
x x(t), |
|
|
t , , |
y y(t), |
эквивалентно векторному r r(t) (x(t), y(t))T , то из сказанного
выше следует, что вектор (x (t), y (t))T |
параллелен касательной |
||||
к |
плоской |
кривой |
x x(t), |
а |
вектор |
|
|||||
|
|
|
y y(t), |
t , , |
|
(x (t), y (t
кривой
), z (t))T параллелен касательной к пространственной
xx(t),
yy(t),
zz(t), t [ , ].
Если в каждой точке графика функции провести касательную, то эта касательная при перемещении точки касания будет вращаться. Введем понятие средней кривизны кривой на участке MM1 как отношение угла между касательными в точках
Mи M1 к длине дуги участка кривой MM1 .
Кривизной графика функции в точке M называют число
K : K lim .
0
Можно показать, что для кривой, заданной векторно уравнением r r(t) , кривизна находится по формуле
K [r (t), r (t)] , r (t) 3
где [r (t), r (t)] – векторное произведение [1] векторов r (t) и r (t) .
Для плоской кривой, заданной параметрически, последняя формула принимает вид
139
|
x y |
x |
y |
||
K |
t |
tt |
tt |
t |
|
|
|
. |
|||
(x )2 |
( y )2 3 2 |
||||
|
t |
|
t |
|
|
Если функция f (x) имеет конечную вторую производную,
то
K |
f (x) |
|
. |
|
|
||
1 ( f (x))2 |
3 2 |
Как видим, величина второй производной определяет степень искривленности графика функции.
Скалярная функция скалярного аргумента отображает отре-
зок длины |
|
x |
|
в отрезок длины |
|
f (x) |
|
|
|
f (x x) f (x) |
|
. Из |
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
определения дифференцируемости следует, что для дифференцируемой функции эта длина отличается на бесконечно малую
более высокого порядка малости чем x от |
|
|
|
x . Таким |
|
|
|||
|
f (x) |
|
образом, модуль производной есть коэффициент искажения длины при дифференцируемом отображении из R в R .
Вектор-функция
r r(u,v)
(u0 ,v0 v) ,
(x(u,v), y(u,v))T |
x(u, v) |
x(u, v)i y(u, v)j , |
|
|
|
||
|
|
|
|
|
y(u, v) |
|
|
(u, v) D , двух перемен- |
|||
|
ных |
производит |
отобра- |
|
|
жение |
плоской |
области |
|
|
D |
на |
плоскость. При |
|
|
этом |
|
прямоугольник с |
|
|
вершинами |
(u0 ,v0 ) , |
||
(u0 u, v0 ), |
(u0 u, v0 v) |
перейдёт в криво- |
линейный |
четырёхугольник, |
ограниченный |
линиями |
r r(u, v0 ) , r r(u0 ,v) , r r(u,v0 |
v) , r r(u0 u,v) . Далее |
||
r(u0 u,v0 ) r(u0 ,v0 ) ru (u0 ,v0 ) u 1( u) , |
|
||
r(u0 ,v0 v) r(u0 ,v0 ) rv (u0 ,v0 ) v 2 ( v) , |
|
||
где 1( u) |
и 2 ( v) – бесконечно малые более высокого по- |
рядка малости, чем u и v . Можно показать, что площади
140