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

Основы высшей математики для инженеров 2009

.pdf
Скачиваний:
225
Добавлен:
12.03.2016
Размер:
10.04 Mб
Скачать

4.8. Векторная функция скалярного аргумента

231

Имеем

-r r(t -t) r(t) ((t -t) ((t) i >(t -t) >(t) j K(t -t) K(t)

-t

 

-t

 

-t

-t

 

 

-t

 

 

 

 

 

 

 

((t -t) ((t)

>(t -t) >(t)

 

 

(t) lim

-r

 

lim

 

r

 

 

 

 

 

 

i lim

 

 

 

j

 

 

-t

 

 

 

 

 

-t 0 -t

-t 0

-t 0

-t

 

 

 

K(t -t) K(t)

 

 

 

 

 

 

 

lim

k ((t)i > (t) j K(t)k.

 

 

 

 

 

-t 0

-t

 

 

 

 

 

Итак,

r (t) ((t)i > (t) j K(t)k.

;

(4)

Выясним направление вектора r (t). Так как при -t 0 точка M1 при ближается к точке М, то направление секущей MM1 в пределе дает на правление касательной. Следовательно, вектор r (t) направлен по каса тельной к кривой в точке М. Согласно равенству (4) длина вектора r (t)

определяется формулой

M62

(5)

 

 

| r (t)| [( (t)] [> (t)] [K(t)]2 .

Согласно формуле (4) производная r (t) также является вектор функ цией аргумента t. Для этой вектор функции можно в свою очередь оп ределить производную, которую будем называть производной второго порядка функции r(t) и обозначать r (t). Итак,

r (t) d [r (t)] ((t)i > (t) j K(t)k. dt

4.8.3.Механический смысл первой и второй производных векторной функции скалярного аргумента

Пусть материальная точка движется по годографу вектора r r(t), причем параметр t означает время движения. Скоростью v v(t) дви жения материальной точки в момент t называется вектор, направлен ный по касательной к траектории в сторону движения и равный по

модулю lim -S , где -S — путь, пройденный точкой за промежуток

-t 0 -t

времени -t.

232 Глава 4. Дифференциальное исчисление функций многих переменных

Как было показано выше, вектор r (t) направлен по касательной к

годографу вектора r(t). При этом -r , а следовательно, и вектор r (t) на

-t

правлен в сторону движения точки. Таким образом, векторы r (t) и v(t) имеют одинаковые направления. Покажем, что равны и модули этих

векторов.

Действительно, обозначив через -S длину дуги MM1, а через | -r | длину хорды M1M, получим

-r -r -S | -r | -S . -t -S -t -S -t

Как было показано ранее, в случае дифференцируемых функций ((t), >(t), K(t) предел отношения длины дуги к длине стягивающей ее хорды при стремлении длины дуги к 0 равен 1. Но тогда

Поэтому

lim -r

-t 0 -t

lim

| -r |

 

lim

| -r |

1.

 

 

 

 

M62

-t 0 -S

-S 0

-S

 

 

 

 

 

 

 

lim

| -r |

lim

-S lim

 

-t 0 -S -t 0 -t

-t 0

-S . -t

Но lim

 

-r

 

 

 

(t)|, а lim

-S

 

 

| r

 

 

| v(t)|.

-t

 

-t 0

 

 

 

 

-t 0 -t

Итак,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

| r

(t)| | v(t)|.

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

По определению,

r (t) d [r (t)]. dt

Но r (t) v(t) r (t) dv(t). dt

Вектор a(t), равный производной скорости по времени, называется ускорением.

4.9. Геометрический смысл полного дифференциала

233

Таким образом, вторая производная вектор функции равна уско рению движения материальной точки в данный момент времени t. В этом заключается механический смысл второй производной.

4.9. Геометрический смысл полного дифференциала

Уравнения касательной прямой и нормальной плоскости к пространст венной кривой. Касательная плоскость и нормаль к поверхности. Гео метрический смысл полного дифференциала функции двух переменных.

4.9.1.Уравнения касательной прямой и нормальной плоскости

кпространственной кривой

На предыдущей лекции было показано, что вектор r(t) направлен по касательной к годографу радиуса вектора OM r(t). Пусть про странственная кривая задана параметрическими уравнениями x ((t), y >(t), z K(t).

Найдем уравнения касательной к этой кривой в некоторой ее точ ке M0(x0, y0, z0), соответствующей параметру t t0.

Очевидно, эти

уравнения имеют вид

 

 

 

M62

 

 

x x0

 

y y0

 

z z0

,

 

 

m

 

 

 

 

 

n

p

где m, n, p — проекции направляющего вектора прямой. Так как век тор r (t0) ((t0)i > (t0)j K(t0)k направлен по касательной к кривой в точке M0, то его проекции могут быть приняты за проекции направ ляющего вектора. Тогда искомые уравнения примут вид

x x0 y y0 z z0 .

((t0) > (t0) K(t0)

Нормальной плоскостью к пространственной кривой называется плоскость, перпендикулярная к касательной прямой и проходящая че рез точку касания.

Пусть M0(x0, y0, z0) — точка касания. Уравнение плоскости, прохо дящей через точку M0, имеет вид

A(x x0) B(y y0) C(z z0) 0,

где А, В, С — проекции нормального вектора N (A, B, C) этой плоско сти. Из определения нормальной плоскости следует, что за вектор N

234 Глава 4. Дифференциальное исчисление функций многих переменных

можно принять вектор r (t0) (( (t0), > (t0), K(t0)). Поэтому уравнение нормальной плоскости имеет вид

((t0)(x x0) > (t0)(y y0) K(t0)(z z0) 0.

П р и м е р. Найти уравнения касательной прямой и нормальной

плоскости к винтовой линии x 2 cost, y 2 sin t, z

t

в точке M0, со

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

'

 

 

 

ответствующей значению параметра t0

 

'

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

2

 

 

 

 

 

 

 

 

Решение. x 0,

y

2, z

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

0

0

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x (t0) 2 sin

'

2;

 

 

 

y (t0) 2 cos

'

0;

 

z (t0)

1

.

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

'

 

 

 

 

 

 

 

 

z

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x 0

 

 

 

y 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

x ' 2'z,

y 2

 

 

0

 

 

 

 

2

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

'

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

— уравнения касательной прямой;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

x

 

z

2

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

'

 

 

 

 

 

 

 

 

 

 

 

 

M62

 

 

 

 

 

— уравнение нормальной плоскости.

4.9.2. Касательная плоскость и нормаль к поверхности

Касательной плоскостью к поверхности в точке M0 (точке касания) называется плоскость, в которой лежат все касательные в точке M0 к различным кривым, проведенным на поверхности через эту точку.

Нормалью к поверхности называется перпендикуляр к касатель ной плоскости в точке касания.

Уравнение плоскости имеет вид

A(x x0) B(y y0) C(z z0) 0,

где вектор с координатами А, В, С перпендикулярен плоскости. Пусть поверхность задана уравнением z f (x, y); M0(x0, y0, z0) —

точка, лежащая на ней. Рассмотрим линию L, лежащую на поверхно сти и проходящую через точку M0(x0, y0, z0). Ее параметрические урав нения x x(t), y y(t), z z(t) причем x0 x(t0), y0 y(t0), z0 z(t0).

4.9. Геометрический смысл полного дифференциала

235

Уравнение поверхности можно переписать в виде

 

F(x, y, z) z f (x, y) 0.

(1)

Так как точка M0 принадлежит поверхности, то z0 f (x0, y0) 0. Про дифференцируем равенство (1) по t:

HF x (t) HF y (t) HF z (t) 0.

Hx Hy Hz

При t t0 получим

Fx(x0, y0, z0) x (t0) Fy(x0, y0, z0) y (t0) Fz(x0, y0, z0) z (t0) 0.

Отсюда следует, что вектор

r (t0) x (t0) i y (t0) j z (t0) k

перпендикулярен вектору с координатами Fx, Fy, Fz. Но вектор r (t0) направлен по касательной к линии L в точке M0. Следовательно, в ка честве нормального вектора к касательной плоскости можно взять вектор с координатами Fx, Fy, Fz. Заметим, что

HF

f ,

HF f ,

HF

1.

 

 

Hx

x

Hy

y

Hz

 

M62

 

 

Поэтому уравнение касательной плоскости имеет вид z z0 fx(x0, y0)(x x0) fy(x0, y0)(y y0).

Вектор { fx, fy,1} направлен по нормали к поверхности, следова тельно, он перпендикулярен к касательной прямой, проведенной к поверхности в точке M0, поэтому уравнения нормали в точке M0 име ют вид

x x0

 

y y0

 

z z0

.

 

 

 

fx(x0, y0)

fy(x0, y0)

1

 

4.9.3. Геометрический смысл полного дифференциала функции двух переменных

Пусть функция z f (x, y) имеет в точке P0(x0, y0) дифференциал

dz fx(x0, y0) -x fy(x0, y0) -y или

 

dz fx(x0, y0)(x x0) fy(x0, y0)(y y0).

(2)

Рис. 4.10

236 Глава 4. Дифференциальное исчисление функций многих переменных

Рассмотрим уравнение касательной плоскости

Z z0 fx(x0, y0)(x x0) fy(x0, y0)(y y0).

(3)

(Мы обозначили через Z аппликату точки касательной плоскости, чтобы отличить ее от аппликаты z точки по верхности.) Мы видим, что правая часть этого уравнения совпадает с правой частью выражения (2) для дифференциала dz. Следовательно, и левые части этих равенств равны. Но в равенстве (2) левая часть есть диф ференциал функции z f (x, y) в точке P0(x0, y0), а в уравнении (3) левая часть есть приращение аппликаты ка сательной плоскости.

Таким образом, геометрический смысл дифференциала функции двух переменных заключаетсяM62в следующем: дифференциал функ ции двух переменных равен приращению аппликаты касательной плоскости.

ГЛАВА 5

ИНТЕГРАЛЬНОЕ ИСЧИСЛЕНИЕ ФУНКЦИЙ МНОГИХ ПЕРЕМЕННЫХ

5.1. Интегралы, зависящие от параметра

Дифференцирование интегралов, зависящих от параметра. Формула Лейбница. Применение интегралов, зависящих от параметра к вычисле нию некоторых «неберущихся» интегралов. Интегрирование по параметру интегралов, зависящих от параметра.

5.1.1. Дифференцирование интегралов, зависящих от параметра. Формула Лейбница

Пусть дан интеграл

M62a

 

b

 

J()) D f (x, ))dx,

где x — переменная интегрирования, а ) — некоторый параметр. Если параметр ) будет меняться, то будет меняться и значение интеграла. Таким образом, интеграл является функцией параметра ).

Предположим, что функция f (x, )) непрерывна вместе со своей ча стной производной f)(x, )) в области a x b, c ) d. Найдем про изводную функции J()) по параметру ):

J) lim J() -)) J()) .

-) 0 -)

Заметим, что

1

-)

7b

99D f (x, ) -))dx 8a

b

:

b

f (x, ) -)) f (x, ))

dx.

D f (x, ))dx< D

-)

a

<

a

 

;

 

 

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

f (x, ) -)) f (x, ))

f)(x, ) B-)),

0 B 1.

-)

 

 

238 Глава 5. Интегральное исчисление функций многих переменных

Так как функция f)(x, ) B-)) непрерывна в замкнутой области, то

f)(x, ) B-)) f (x, )) 1,

где 1 — величина, зависящая от x, ), -), стремится к 0 при -) 0. Таким образом,

J() -)) J ())

b

b

D f)(x, ))dx D1dx.

-)

a

a

 

Переходя к пределу в обеих частях последнего равенства при -) 0, получим

b

7b

:

b

J)()) D f)(x, ))dx;

9D f (x, ))dx<

D f)(x, ))dx.

a

9

<

 

a

8a

;)

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

функция, но и пределы интегрированияM62зависят от ):

b())

J()) ([), a()), b())] D f (x, ))dx.

a())

Функция ([), a()), b())] является сложной функцией ). Поэтому для вычисления ее производной применим правило дифференцирова ния сложной функции:

J ())

H(

 

H(

 

da

 

H(

 

db

.

(1)

 

 

 

 

 

 

H) Ha d) Hb d)

 

Так как производная определенного интеграла с переменным верхним пределом по этому пределу равна значению подынтегральной функ ции, в которую вместо переменной интегрирования подставлено зна чение верхнего предела, то

 

 

 

H(

 

H

b

 

 

 

 

 

D f (x, ))dx f [b()), )],

 

 

 

Hb

Hb

 

 

 

 

a

 

 

 

 

 

 

 

 

H(

 

H

b

 

 

 

H

a

 

D f (x, ))dx

D f (x, )) f [a()), )].

Ha

Ha

Ha

 

a

 

 

 

b

 

 

 

 

 

 

 

5.1. Интегралы, зависящие от параметра

239

По формуле Лейбница

H(

b

H) D f)(x, ))dx.

a

Подставляя полученные выражения в формулу (1), получим

 

 

 

 

b())

 

 

 

 

 

 

 

 

 

 

db

 

 

 

 

 

da

 

J ()) D f)(x, ))d) f [b()), )]

 

f [a()), )]

.

 

 

 

 

 

 

 

 

 

a())

 

 

 

 

 

 

 

 

 

d)

 

 

 

 

d)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

)2

 

sin )x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

П р и м е р.

D

 

dx J()).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin )

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

)2

 

 

 

 

 

 

3

 

1

 

 

 

 

sin () sin ))

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J ())

Dcos)xdx sin )

 

 

 

2)

 

 

 

 

cos)

 

)2

 

 

 

 

 

 

 

sin )

 

 

 

 

 

 

 

 

 

 

 

 

 

sin )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

)2

2 sin )3

 

 

sin () sin ))

 

 

 

 

 

 

 

sin )x|sin )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

)

 

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

tg )

 

1

 

 

 

 

 

1

 

 

 

 

 

 

sin )3

 

sin () sin ))

 

 

 

 

sin )3

 

 

sinM62() sin ))

 

 

 

.

 

 

 

tg )

)

 

 

 

 

 

)

 

 

 

 

 

 

)

 

 

 

 

5.1.2. Применение интегралов, зависящих от параметра, к вычислению некоторых «неберущихся» интегралов

Формула Лейбница была выведена нами в предположении, что пределы интегрирования a и b конечны. Однако эта формула справед

лива и в том случае, когда b , если D f)(x, ))dx сходится при ). По

a

следнее будет выполнено, если существует такая функция ((x), что

 

 

 

 

 

| f)(x, ))| ((x) и

D((x)dx сходится.

 

a

 

 

 

 

 

x sin )x

 

Рассмотрим

J()) De

dx; этот интеграл непосредственно не

 

x

 

0

 

 

 

 

 

 

вычисляется.

240 Глава 5. Интегральное исчисление функций многих переменных

Имеем

7

x sin )x:

7

x cos)x x:

 

x

cos)xdx.

J) D

9e

 

 

<

dx D

9e

 

 

< dx De

 

 

x

 

x

 

0

8

 

;)

0

8

 

;

0

 

 

Для вычисления последнего интеграла дважды применим метод интег рирования по частям. Получим

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

De x cos)x

 

 

,

 

 

 

 

 

 

1 )2

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т. е.

 

 

 

1

 

 

 

 

 

 

 

 

J)

J()) arctg ) C.

 

 

 

 

 

1 )2

 

Найдем значение постоянной С:

 

 

 

 

 

 

 

 

x sin 0 x

 

 

 

 

 

 

 

J(0)

De

dx 0 arctg 0 C C 0.

 

 

x

 

0

 

 

 

 

 

 

 

 

 

 

 

 

M620

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x sin )x

 

Таким образом, окончательно получаем

De

dx arctg ).

 

 

5.1.3. Интегрирование по параметру интегралов, зависящих от параметра

Теорема. Пусть функция f (x, )) непрерывна по x и ) в прямоугольнике a x b, c ) d. Тогда

d

d b

 

#

b

d

#

 

 

&

 

&

 

&

 

&

(2)

DJ())d) D D f (x, ))dx$d) D D f (x, ))d)$dx

 

&

 

&

 

&

 

&

 

c

 

 

%

a

 

c

%

 

c a

 

 

 

 

 

или

 

 

 

 

 

 

 

 

d

d

b

 

b

 

 

d

 

DJ())d) Dd)D f (x, ))dx DdxD f (x, ))d).

 

c

c

a

 

a

 

 

c

 

Для доказательства формулы (2) докажем более общее утвержде ние. Пусть c L d. Покажем, что

L b

b L

 

Dd)D f (x, ))dx DdxD f (x, ))d).

(3)

c

a

a c