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

Лекции / Metodichka_Grishina (1)

.pdf
Скачиваний:
5
Добавлен:
17.05.2024
Размер:
6.66 Mб
Скачать

ЗАМЕЧАНИЕ.

Иногда в сферической замене вместо угла

используют угол

 

, 0; ,

2

образуемый вектором OQ с положительным направлением оси OZ. В этом случае

соответствующая замена переменных задается формулами:

с якобианом J (r, , ) r2 sin .

 

 

x r cos sin ,

 

 

y r sin sin ,

 

z r cos

 

 

Пример 6. (Цилиндрическая замена)

Положение точки Q в пространстве можно характеризовать

тремя числами

u r,

v

и w

h

называемыми цилиндрическими координатами точки

Q

. Здесь

r - длина вектора

OQ

 

на плоскости ХОУ,

 

направлением оси ОХ,

r 0 ,0;2

- угол, который образует вектор OQ

 

с положительным

 

, и h - проекция вектора OQ

на ось OZ, h R .

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

 

x r cos ,

формулам

 

 

y r sin ,

 

 

z h

 

 

 

 

УПРАЖНЕНИЕ. Вычислить якобиан цилиндрической замены переменных. Ответ: J (r, ,h) r .

Прообразом прямого кругового цилиндра x, y, z : x

2

y

2

R

2

, 0

z H при

 

 

 

отображении цилиндрическойr, ,h : 0 r R, 0 2 , 0

замены является параллелепипед

h H .

ТЕОРЕМА 3. (О замене переменной в тройном интеграле)

Пусть функция F(x, y, z) непрерывна на замкнутой, ограниченной и измеримой области Gx, y,z . На замкнутой, ограниченной и измеримой области Gu,v,w задано отображение

x x(u,v, w),

y y(u,v, w), G

, осуществляющее биекцию области Gu,v,w на x, y,z , причем функции

z z(u,v, w)

x x(u,v, w) , y y(u,v, w) , z z(u,v, w) непрерывно дифференцируемые в точках области Gu ,v,w .Тогда имеет место формула:

F (x, y, z)dxdydz Gx , y , z

F (x(u,v, w), y(u,v, w), z(u,v, w)) J (u,v, w) dudvdw.

Gu ,v ,w

ДОК. (Без доказательства) Пример 7. Вычислить интеграл

x2 G

y

2

dxdydz

 

, где область

G

, ограничена

поверхностями x2 y2 2z , z 2

РЕШЕНИЕ. Сделаем цилиндрическую замену. Для этого подставим формулы перехода в

уравнения границы области r

2

2h

, h 2 .

Прообразом области G является область

 

 

r, , h : 0 2 , 0 h 2, 0 r

 

 

. Тогда по формуле замены:

Gr , ,h

 

2h

 

2

2

2h

 

 

2

 

 

 

16

 

x2 y 2 dxdydz = d dh

r 3dr

2 h2 dh

.

 

G

0

0

0

 

 

0

3

 

 

 

 

 

 

 

 

Приложение тройного интеграла 1. Масса тела

m(G) масса тела – аддитивная функция множества. Ее производная по множеству

(x, y, z) lim

m(U

 

(M ))

, гдеU (M ) шар радиуса

 

 

 

U

 

(M )

0

 

 

 

 

 

 

 

 

называется плотностью распределения массы. Тогда

 

 

 

 

m(G) (x, y, z)dxdydz

 

 

 

 

 

G

 

с центром в точке M (x, y, z) ,

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

M xy z dxdydz,

M xz y dxdydz,

M yz x dxdydz

G

G

G

Центр тяжести тела определяется по формулам:

x

 

M

yz

,

y

 

M

xz

,

z

 

 

M

xy

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ц

 

m(G)

 

ц

 

m(G)

 

 

ц

 

m(G)

 

 

 

 

 

 

 

 

 

Пример 8

x

2

y

2

z

 

 

 

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

2

2az

с плотностью (x, y, z) k /

x

2

y

2

z

2

 

 

 

 

Решение. Перейдем к сферическим координатам в интеграле

m

kdxdydz

 

x

2

y

2

z

2

G

 

 

 

 

.

Уравнение поверхности:

r 2a sin ,

 

0;

 

, 0; 2 ,

k

 

 

r

 

 

 

2

 

 

2

 

/2

 

 

2asin

 

 

 

k

 

/2

r

2

2a sin

 

/2

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m(G) d

d

 

r

2

cos

dr 2 k cos d

 

 

 

2

 

2

d sin

4a k

 

r

2

 

4a k sin

 

3

 

0

 

0

 

 

 

0

 

 

 

 

 

0

0

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вычисление момента M xy :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M

 

zdxdydz k

2 d / 2 cos sin d

2a sin r2dr

16 a3k

/ 2 cos sin4

d

16 a3k

 

 

 

3

15

 

xy

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

G

 

 

 

 

 

 

 

0

 

0

 

 

 

0

 

 

 

0

 

 

 

 

 

 

Тогда z

M xy

 

4a

,

x

 

y

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ц

 

m

 

 

5

 

ц

ц

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ВОПРОСЫ К ЭКЗАМЕНУ.

1.Измеримые множества в R3 . Мера множества. Примеры измеримых множеств.

2.Понятие тройного интеграла. Необходимое условие интегрируемости функции. Достаточное условие интегрируемости функции. Свойства тройного интеграла.

3.Повторное интегрирование. Вычисление тройного интеграла через повторные по стандартным областям.

4.Замена переменной в пространстве, якобиан преобразования. Формула замены переменной в тройном интеграле.

5.Сферическая и цилиндрическая замены переменных. Вычисление якобианов преобразований. Формулы вычисления тройных интегралов в сферической и

цилиндрической системе координат.

Лекция 6. Несобственные кратные интегралы Несобственные двойные интегралы

1. Несобственные интегралы от ограниченных функций на неограниченных областях.

Пусть G неограниченная область на плоскости.

Говорят, что последовательность ограниченных областей Gm исчерпываетG , если

1) G G, m ;

2)

G G

, m ; 3) a G m : a G , m m

m

 

m

m 1

a

m

a

Будем предполагать, что функция f (x, y) интегрируемая на каждой из областей Gm .

Опр. Несобственный интеграл f (x, y)dxdy называется сходящимся, если он является пределом

G

последовательности собственных интегралов

f (x, y)dxdy lim

f (x, y)dxdy

m

 

G

G

 

m

и не зависит от выбора последовательности исчерпывающих множеств

Gm

.

Если предел существует для какой – то, выбранной особым способом, последовательности исчерпывающих множеств Gm , а для других последовательностей предел может не существовать,

то говорят о сходимости интеграла в смысле «главного значения».

Замечание. В качестве m может использоваться и непрерывный параметр. Например,

G R

2

плоскость, то ее можно «исчерпывать» кругамиU R

(0)

или прямоугольниками

 

если

Пb,b

a,a

Пример 1. Вычислить одномерный несобственный интеграл Гаусса

 

 

( x a)

2

 

 

 

2

2

 

I (a, ) e

 

dx

 

 

 

 

 

 

 

 

 

 

Решение. Сделаем линейную замену переменной u x a dx du . Тогда

 

u2

 

u2

 

v2

 

 

u2 v2

I (a, ) e

2 du и I 2 (a, ) e

 

du e

 

dv 2 du e

 

 

2

2

2 dv

 

 

 

 

 

 

 

 

 

 

Переходим в повторном интеграле к полярной системе координат:

 

 

 

 

 

2

v

2

 

 

2

 

 

r

2

 

 

 

 

r

2

 

 

 

 

 

u

 

 

 

 

 

 

 

 

 

 

 

 

 

2

du e

 

2

 

dv

2

d re

2

dr 2

2

e

2

2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

0

 

 

 

 

 

 

 

 

 

r 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда

I (a, )

2

.

Критерий Коши сходимости несобственного интеграла:

0 Gm K : m, n K f (x, y)dxdy f (x, y)dxdy

Gm

Gn

Для функций f (x, y) 0

интегрируемых на каждом DG ,k

существование несобственного

интеграла обеспечивает условие sup

 

f (x, y)dxdy .

 

 

 

 

k

D

 

 

 

 

 

 

 

 

G ,k

 

 

Опр. Если сходится интеграл

f (x, y) dxdy , то интеграл f (x, y)dxdy

называется абсолютно

G

G

сходящимся.

Теорема 1. Если

 

f

G

 

(x,

y) dxdy

сходится, то сходится интеграл

G

f

(x,

y)dxdy

. Если интеграл

 

f (x, y)dxdy расходится, то расходится интеграл

f (x, y) dxdy .

 

 

G

 

G

 

 

 

 

 

Док. Заметим, что область G можно разбить на две области

G

(x, y) G :

 

 

 

 

G

 

 

 

 

 

2

:

 

(x, y) G : f (x, y) 0 пересекающиеся по границе (x, y) R

 

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

f (x, y) 0 и f (x, y) 0 .

f (x, y) f (x, y) f (x, y) , где

f (x, y), (x, y) G

 

f (x, y), (x, y) G

 

f (x, y)

0, (x, y)

G

 

 

f (x, y)

 

0, (x, y) G

 

 

 

 

 

 

 

 

 

 

Очевидны неравенства:

0 f

 

(x, y)

f (x, y)

и

0 f

 

(x, y)

f (x, y)

(x, y) G ,

 

 

 

 

 

 

 

 

 

 

 

поэтому из существования интеграла

 

f (x, y) dxdy следует сходимость интегралов

 

f

 

(x, y)dxdy

 

 

G

 

 

Если интеграл

 

 

и f

 

G

 

(x, y)dxdy , а значит и f (x, y)dxdy .

 

 

G

 

G

f (x, y)dxdy расходится, то расходится хотя бы один из интегралов

f

(x,

G

 

y)dxdy или

 

f

(x,

y)dxdy

. Пусть расходящимся является

f

(x,

y)dxdy

. Тогда из

G

неравенства

0

 

 

 

f

G(x, y)

f

(x,

y)

следует, что расходится

 

f

G

 

G (x, y) dxdy .

Пусть область

G

расположена в полу полосе

Пc, a,b

:

Рассмотрим кусочно-непрерывную функцию

 

f (x, y), (x, y) G

f (x, y)

0, (x, y) П

c,

\ G

 

a,b

 

 

Если ограничиться условием f (x, y) 0 и прямоугольником

П

c,d

, то справедлива формула

a,b

 

сведения интеграла по прямоугольнику к повторному интегралу

 

 

 

b

d

 

 

 

 

f (x, y)dxdy dx f (x, y)dy

 

П

c ,d

a

c

 

 

 

a ,b

 

 

 

 

 

 

 

 

 

Если предположить, что повторный интеграл ограничен, то из его монотонности по d будет

b

следовать сходимость повторного интеграла dx f (x, y)dy . Тогда левая часть равенства также

a c

имеет предел при d , равный

G

f

(x,

y)dxdy

. Поэтому справедлива формула вычисления

двойного несобственного интеграла через повторные:

 

 

 

 

b

 

 

 

 

 

 

 

 

 

f (x, y)dxdy

 

dx

 

f (x, y)dy

(1)

 

 

 

 

 

 

 

 

 

 

 

G

 

a

 

c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если функция F (x)

 

f (x, y)dy, x a;b

интегрируемая на отрезке

a;b

 

 

 

 

 

c

 

 

 

 

 

 

 

 

 

 

ограничены на этом отрезке некоторой константой M

: F(x) M

 

 

 

 

d

 

 

 

 

 

 

 

 

 

 

 

f (x, y)dxdy F (x) M

 

 

 

 

 

 

c

 

 

 

 

 

 

 

 

 

, то ее значения

и сходимость повторного и двойного интеграла, а также справедливость формулы (1) обеспечена.

Формула (1) сохраняет смысл, если функция F(x) интегрируема на

a;b

в несобственном смысле,

 

например, является неограниченной на конце отрезка.

 

 

Формула (1) сохраняет смысл и при b в случае, когда G Пac,, при условии сходимости повторного интеграла.

Наконец, если отбросить условие f (x) 0, то для сходимости повторного интеграла в формуле (1)

можно потребовать сходимость интеграла

b

 

dx

a

c

f (x, y)

dy

. Тогда, аналогично случаю f (x) 0 ,

можно доказать справедливость формулы (1) для функций f (x, y),

f (x, y) , а из соотношения

f (x, y) f

 

(x, y) f

 

(x, y) - ее выполнение для f (x, y) .

 

 

 

 

 

 

 

 

 

 

Пример 1. Исследовать на сходимость интеграл

 

 

dxdy

q

, p 0, q 0

x

p

 

y

 

 

 

 

 

 

 

 

x y 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение

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

 

 

 

 

 

 

 

dxdy

 

 

 

4

 

dxdy

 

 

 

 

 

 

 

x

p

 

y

q

x

p

y

q

 

 

 

 

 

x y 1

 

 

 

G

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Кривая x p yq

y x p/q разбивает G на две неограниченные области

 

 

 

 

G , x p yq

 

 

 

 

 

 

 

 

 

 

G

(x, y)

 

, G

 

(x, y) G , x p yq

 

 

1

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

Ограничим G

 

условиями y a, x b

a

q/ p

 

 

 

 

 

 

 

 

 

, превратив ее в ограниченную область Ga .

 

 

 

 

 

. В ее подобласти, ограниченной полосами x0 x 1, 0 y

Обратимся к области Ga

G1

y0

,

функция

 

 

1

 

 

 

1

 

ограничена и имеет по этой области собственный интеграл. В подобласти

x

p

y

q

x

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ограниченной полосой

 

 

1 x b, y y0 имеем оценку

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p/q

 

 

 

 

 

 

 

 

 

p/q

 

 

 

 

 

 

 

 

 

 

 

 

x

p/q

 

 

 

 

 

 

b

 

 

 

x

 

 

 

dy

 

 

1

b

x

dy

 

 

 

1

b

 

1 q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

 

 

dx

 

 

 

 

y

 

 

 

 

 

 

 

 

x

p

y

q

 

2

y

q

 

 

 

dx

 

 

 

 

 

 

 

 

 

 

1

 

 

 

y

 

 

 

1

y

 

 

 

 

2

1

 

1 q

y

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

Существование предела при a

( b ) обеспечивает неравенство

 

 

 

 

 

 

 

 

 

 

 

 

 

p

(1 q) 1 0

1

 

1

 

1(*).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

q

p

q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Из неравенства (*) следует, что p 1. Последнее обеспечивает существование предела при

a ( b ) интеграла по прямоугольнику P (x; y) :1 x b, 0 y y0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

y

 

 

 

 

 

b

 

 

 

 

y

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

dxdy

 

 

 

0

 

 

dy

 

 

dx

0

 

 

dx

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

 

dy

y0

 

 

 

 

 

 

x

p

y

q

 

x

p

y

q

x

p

 

x

p

 

 

 

 

 

 

 

P

 

 

 

1

 

0

 

 

 

1

 

 

0

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Аналогично устанавливается, что при тех же условиях сходится интеграл от функции f (x, y) по области G2 . Из признака сравнения следует достаточность условий (*) для сходимости исходного интеграла при тех же условиях на p и q .

Необходимость условий (*).

Из сходимости изначального интеграла по областям

G

 

 

1

и

G

 

 

2

следует, что сходятся на этих

областях интегралы от функций

1

 

и

1

 

соответственно. Сходимость последних возможна по

2 y

q

2x

p

 

 

 

 

 

 

 

 

доказанному только при выполнении неравенства (*).

Пример 2. Вычислить интеграл

Решение

 

e

( x y )

dxdy

 

 

 

0 x y

 

 

 

Система исчерпывающих областей – сектор с углом 4

окружности радиуса

R

 

 

 

 

 

 

 

 

 

 

 

 

 

/ 4

 

R

 

 

 

 

 

 

e

( x y )

dxdy полярная замена

 

d re

r (sin cos )

dr

 

 

 

 

 

G

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

0

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

/ 4

 

 

 

1

 

 

 

 

 

 

R

 

 

1

 

R

 

 

 

 

 

 

 

r (sin cos )

 

 

 

 

 

r (sin

 

d

 

 

 

re

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

sin cos

 

 

 

 

 

 

sin cos

0

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

/ 4

 

 

 

1

 

 

 

 

 

/ 4

 

 

1

 

 

 

 

 

 

 

 

 

Re

R(sin cos )

d

 

 

 

 

2

e

R(sin

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

sin cos

 

 

 

 

 

0

 

(sin cos )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Подынтегральные функции имеют пределы (равномерные по

 

 

 

/ 4

d

 

 

1

/ 4

 

 

d

 

lim e

( x y )

dxdy

 

2

 

 

 

2

 

 

 

 

sin cos

 

 

2

 

sin

 

/ 4

 

G

 

 

0

 

 

0

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

cos )

 

 

dr

 

 

 

 

 

 

 

 

cos ) 1 d

) при R

 

1

ctg / 4

/ 4

2

0

 

 

1

2

2. Несобственные двойные интегралы от неограниченных функций на ограниченных областях.

Пусть функция f (x, y) непрерывна во всех точках области G кроме конечного числа точек

 

 

 

 

 

 

 

 

 

 

x x

j

(t)

, t

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a , a ,..., a

 

G или кривых

 

 

 

 

, в окрестности которых функция

 

 

 

 

 

 

 

 

m

 

 

 

 

j

j

 

1 2

 

 

 

 

 

 

 

 

y

y

j

(t)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

неограниченная. Исключая из G

эти точки или кривые вместе с их окрестностямиU

ai или

U

 

(x

j

(t), y

j

(t)) , получим измеримую область G

, которую также называют исчерпывающей.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

Предполагается, что функция f (x, y) интегрируемая наG для любого 0 .

Опр. Несобственным интегралом функции f (x, y) по области G называют число

G

f(x, y)dxdy lim

0

G

f

(x,

y)dxdy

,

если оно существует.

Если

f (x, y)

0 , то из ограниченности и

монотонности интеграла

f (x, y)dxdy G

по

следует

существование предела, а значит и несобственного интеграла.

Пример 3. При каких 0, 0, m 0 интегралы сходятся?

а)

 

 

 

 

 

 

dxdy

 

 

 

 

m

 

,

G1

(x, y) R

2

: x 0, y

0, x

 

y

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

x

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

G

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в)

 

 

 

 

 

dxdy

 

 

 

 

m

 

,

G2

 

(x, y) R

2

: x 0, y

0, x

 

y

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

x

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

G

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x r

2/ a

cos

2/ a

 

 

 

 

 

 

 

 

 

 

 

 

4

 

2

 

2

1

 

 

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Обобщенная полярная замена:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

имеет якобиан J

 

r

 

 

sin

cos

 

 

y

r

2/

 

sin

2/

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dxdy

 

 

 

 

 

 

 

 

4

/ 2

 

2

1

 

 

 

 

 

2

1

 

 

 

 

1

 

2

 

2

1 2m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а)

 

 

 

 

 

 

 

 

 

 

m

 

 

 

sin

 

cos

a

d

 

r

a

 

dr

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

x

y

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

G

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Внутренний интеграл сходится, если

2m 1

 

2

 

 

2

1

1

 

1

m . Внешний интеграл сходится

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

на левом конце отрезка ( 0 ) при1

2

 

1 0

и на правом конце (

 

 

) при

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

2

 

1

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В)

 

 

 

 

 

 

dxdy

 

 

 

m

 

сходится при

1

 

 

1

m

(самостоятельно)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

x

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

G

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Лекция 37. Криволинейные интегралы. П.1 Кривые в пространстве. Длина кривой.

ОПР. Кривая L в пространстве в векторной форме задается (параметрическим) r r(t), t a;b

уравнением

x x(t),

 

 

 

x(t) , y(t) и z(t) .

или в скалярном виде y y(t), с заданными функциями

 

z z(t)

 

 

 

 

 

Точки A r (a) и B r (b) называются началом и концом дуги кривой. Если A B , то кривая называется замкнутой.

Кривая не имеет самопересечений, если отображение r r(t), t a;b биективное. Кривая называется гладкой (кусочногладкой), если функции x(t) , y(t) , z(t) непрерывно дифференцируемые на отрезке a;b или кусочно-гладкой , если соответствующие функции имеют кусочно-непрерывные производные на отрезке a;b .

Пусть a 0 , 1,..., k , k 1,... n b - разбиение отрезка a;b и соответствующее ему разбиение кривой L точками M k r( k ) . Через L обозначим ломаную линию, составленную из отрезков M k ;M k 1 , k 1,2,...,n , а l - длину ломаной L , т.е.

l

n = (M k , M k 1 ) k 0

n

 

 

 

 

 

 

 

(x( k 1 ) x( k ))

2

( y( k 1 ) y( k ))

2

(z( k 1 ) z( k ))

2

 

 

 

k 0

 

 

 

 

 

 

.

ОПР. Кривая

L

называется спрямляемой, если

supl

 

 

 

 

 

 

 

ОПР. Длиной дуги

A,

B

кривой

L

называют число

l

lim l

d

0

 

 

 

 

, если оно существуют.

Если кривая имеет длину, то она спрямляема и наоборот. Действительно, если

последующее разбиение

, то l l ,т.е. длина ломаной монотонно растет при

измельчении разбиения и спремляемости (ограниченности) достаточно для существования предела. Обратно, существование предела обеспечивает ограниченность l , а значит и

спремляемость кривой. ТЕОРЕМА 1.

Если кривая L кусочно-гладкая, то она имеет длину, вычисляемую по формуле:

b

x (t)

y (t)

z (t)

dt

l

 

2

2

2

 

a

 

 

 

 

(1)

ДОК. Докажем формулу (1) для гладкой кривой L . По теореме о среднем для производных

для каждого k

 

 

 

 

 

 

 

 

 

1

2

 

 

3

k , k 1

, для которых

 

 

 

 

 

 

 

 

 

существуют точки сk

,ck

,ck

 

 

 

 

 

 

 

 

 

l

 

n

 

 

 

(x (c ))

 

( y (c

 

))

 

(z (c

 

))

 

 

n

 

 

 

 

(x ( ))

 

( y ( ))

 

(z (

 

))

 

o(1)

 

 

 

 

 

 

 

 

 

 

1

 

2

 

2

 

 

2

 

3

 

 

2

 

 

 

 

 

 

2

 

 

2

 

 

 

2

 

 

 

 

 

 

k

 

 

k

 

 

 

k

 

 

 

 

k

 

 

 

 

 

 

k

 

k

 

 

k

 

 

k

 

 

 

 

 

 

k 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

(x ( k ))

 

( y ( k ))

 

(z ( k ))

 

o(1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

2

2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Первое слагаемое справа – интегральная сумма для интеграла (1) и ее предел при d( ) 0

с одной стороны равен интегралу b

 

 

x (t) 2 y (t) 2 z (t) 2 dt , а с другой – длине дуги

 

a

 

 

 

AB .

 

 

 

 

 

x x(t)

 

 

 

Замечание. Для кривой

 

 

на плоскости справедлива формула(1*):

y y(t), t a;b

 

 

b

 

 

 

 

 

l

 

2

 

2

dt

x (t)

 

y (t)

 

a

 

 

 

 

 

(1*)

УПРАЖНЕНИЕ. Докажите, что если кривая L на плоскости задается графиком непрерывно дифференцируемой функции y f (x) на отрезке a;b , то длина кривой вычисляется по формуле:

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

l

 

 

 

2

dx

(2)

 

 

 

 

 

 

 

 

 

1 f (x)

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x t,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

, t a;b

ДОК. Уравнение кривой можно записать в параметрической форме y f (t),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда

 

2

 

2

 

2

 

1 f

 

2

и формула (1) переходит в (2).

 

x (t)

y (t)

z (t)

(t)

 

 

П.2 Криволинейные интегралы первого рода.

Пусть на плоскости или в пространстве задана гладкая кривая L , а в точках кривой и их окрестностях - непрерывная функция F(x, y, z) .

Кривую L

можно параметризовать длиной s s(M )

дуги AM

кривой, где M

произвольная точка дуги AB :

 

 

 

 

 

 

 

 

 

 

 

 

 

x x(M (s))

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y y(M (s))

 

 

 

 

 

 

 

 

 

 

 

z z(M (s))

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Разбиение отрезка

a;b

порождает разбиение дуги AB точками Mk , k 0,1, 2,..., n на дуги

 

M k M k 1

длины sk

s(Mk 1 ) s(Mk ) . На каждой дуге M k M k 1

выберем произвольную

точку

M

k

(x(c ), y(c ), z(c )), c

 

;

k 1 .

 

 

 

 

k

k

k

 

k

k

 

 

 

n

Рассмотрим сумму SF (L, ) F (r(ck )) sk .

k 0

ОПР. Криволинейным интегралом первого рода функции F(x, y, z)

называют число

 

 

 

 

 

 

 

 

 

 

 

F (x(s), y(s), z(s))ds lim SF

(L, ) ,

(3)

 

 

d

0

 

 

L

 

 

 

 

 

 

 

 

 

 

если предел существует. При этом выражение SF (L, ) называется суммой.

по длине кривой L

его интегральной

Соседние файлы в папке Лекции