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

Госы 5к Надя / лекции_3 / int_ zaw_ot_ par / Математический анализ - Интегралы - Аксёнов - 2000 - 145

.pdf
Скачиваний:
37
Добавлен:
30.05.2015
Размер:
2.55 Mб
Скачать

( K2 ) (см. рис. 3.25), то условие непрерывности в области ( D2 ) , ограниченной контурами ( K1 ) и ( K2 ) , будет иметь место, но нарушится односвязность.

Дополнение.

Пусть

выполнены

все условия теоремы,

а

значит,

P( x, y) dx + Q( x, y) dy

по любому незамкнутому пути (AB ,

целиком ле-

(AB

 

 

 

 

 

жащему в ( D) , не зависит от формы пути, а зависит только от концов пути.

Пусть функция u( x, y) определена в ( D) и такая, что

 

 

 

P( x, y) dx +Q( x, y) dy = du( x, y)

 

 

(т. е. выражение

P dx +Q dy является

полным дифференциалом

функции

u( x, y)). Тогда

 

 

 

 

 

P( x, y) dx + Q( x, y) dy = u( xB , yB ) u( xA, yA )

(AB

(здесь xA, yA – координаты точки A , а xB , yB – координаты точки B). По условию P( x, y) dx +Q( x, y) dy = du( x, y) . Это значит, что

 

P( x, y) =

u( x, y)

;

Q( x, y) =

u( x, y)

.

 

 

x

 

 

y

 

 

 

 

Следовательно,

 

 

 

 

 

 

 

 

 

 

u( x, y)

 

 

u( x, y)

 

I = P( x, y) dx + Q( x, y) dy =

dx +

dy .

x

 

 

 

y

(AB

 

 

 

 

 

 

 

(AB

 

 

 

 

 

 

 

 

Для вычисления интеграла I введем параметрические уравнения (AB . Пусть

x = ϕ(t),

t [ p,q], причем значению t = p

 

 

отвечает точка A , а

они такие:

 

 

 

 

y = ψ(t),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

значению t = q отвечает точка B. Будем иметь тогда

 

 

 

 

 

 

q

u(ϕ(t), ψ(t))

 

 

 

 

u(ϕ(t), ψ(t))

 

 

 

 

 

 

 

 

 

 

ϕ′(t)

+

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

y

 

 

 

 

 

 

I =

 

 

 

 

 

 

 

ψ′(t) dt .

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Заметив это, рассмотрим функцию f (t) = u(ϕ(t), ψ(t)). По правилу дифферен-

цирования сложной функции, имеем

 

 

 

 

 

 

 

 

 

 

 

 

f (t) =

u(ϕ(t), ψ(t))

ϕ′(t) +

 

u(ϕ(t), ψ(t))

 

 

ψ′(t).

 

 

 

 

y

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно, предыдущее выражение для I принимает вид

q

I = f (t) dt = f (q) f ( p) .

p

81

Но f (q) = u(ϕ(q), ψ(q))= u( xB , yB ) ; f ( p) = u(ϕ( p), ψ( p))= u( xA, yA ) (у нас ϕ( p) = xA , ψ( p) = yA , ϕ(q) = xB , ψ(q) = yB ). Поэтому

I = u( xB , yB ) u( xA, yA ) .

Таким образом, для вычисления интеграла P dx + Q dy нужно найти

(AB

функцию u( x, y), первообразную для дифференциала P dx +Q dy и составить

разность значений этой первообразной в конце и в начале пути интегрирования. Ясно, что это – аналог формулы Ньютона – Лейбница.

Примеры к §4.

1. Вычислить I = ( x y)(dx dy) , где (AB – любая кривая, соединяю-

(AB

 

 

 

щая точки A(1, 1) и B(1, 1).

 

 

 

В этом случае P( x, y) = x y ; Q( x, y) = y x

P =

Q

= −1 на всей

 

y

x

 

плоскости. Следовательно, в любой односвязной области, расположенной в плоскости Oxy , подынтегральное выражение является полным дифференциа-

лом некоторой функции u( x, y). Так как

( x y)(dx dy) = ( x y) d( x y) = 12 d(( x y)2 ),

то такой функцией u( x, y) будет: u( x, y) = 1 ( x y)2 . Поэтому

 

 

 

 

2

 

 

 

 

 

I =

( x y)2

 

(1, 1)

22

= −2 .

 

 

 

 

 

 

 

2

 

 

= 0

2

 

 

 

 

 

 

(1, 1)

 

 

 

 

 

 

 

 

 

 

где (AB

 

 

 

 

 

 

 

 

2. Вычислить I = ( x4 + 4xy3 ) dx +(6x2 y2 5 y4 ) dy ,

– любая

(AB

 

 

 

 

 

 

 

 

 

кривая, соединяющая точки A(2, 1) и B(3, 0).

 

 

 

 

Здесь P( x, y) = x4 + 4xy3 ;

Q( x, y) = 6x

2 y2 5 y4

P =

Q

=12xy2

 

 

 

 

 

 

 

y

x

 

 

y

2

B x

 

3

A

1

C

на всей плоскости Oxy . Следовательно, I не за-

висит от формы пути интегрирования, соединяющего точки A и B. А раз так, то возьмем, например, в качестве пути (AB ломаную AC UCB

(см. рис. 3.26). Тогда

Рис. 3.26. К примеру 2

I =

=

+ (= I1 + I2 ) .

Имеем:

(AB

(AC

(CB

 

 

 

82

 

 

 

 

 

 

 

(AC = 2 x 3

 

dy = 0 .

 

 

 

 

 

 

 

 

 

 

 

Поэтому

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y = −1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x5

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I1 =

 

= ( x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4x) dx + 0 =

 

 

2x

 

 

 

 

 

 

 

= 45 .

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

(AC

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Имеем:

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x = 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(CB =

 

 

 

 

 

 

dx = 0 .

 

 

 

 

 

 

 

 

 

 

 

Поэтому

 

 

 

 

 

 

 

 

 

 

 

 

 

1 y 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

01 =17 .

 

 

 

I2

=

 

 

= (54 y2 5 y4 ) dy = (18 y3 y5 )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(CB

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно, I = 45 +17 = 62.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y2

 

 

 

 

y

 

 

 

 

 

 

y

 

y

 

 

 

 

 

 

 

y

 

 

 

(AB

3. Вычислить

 

I =

 

1

 

 

 

 

 

 

cos

 

 

dx

+ sin

 

 

 

 

+

 

 

 

cos

 

 

dy , где

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(AB

 

 

x

 

 

 

 

 

 

x

 

 

 

 

 

 

 

x

 

x

 

 

 

 

 

 

 

x

 

 

 

 

любая кривая, соединяющая точки A(1, π)

и

B(2, π)

 

 

и не пересекающая ось

Oy .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

Здесь

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

B

P( x, y) =1

y

2

 

cos

 

y

;

 

Q( x, y) = sin

 

y

+

y

cos

 

y

;

 

 

 

 

 

 

 

 

π

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2

 

 

x

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

 

 

 

y2

 

 

 

 

y

x

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P =

Q

= − 2 y cos

+

 

sin

 

, x 0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

x

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

 

x2

 

 

 

 

 

 

 

 

x3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Видим, что P( x, y) , Q( x, y) ,

P

 

 

Q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

y

 

, x

 

определены и не-

 

 

 

 

 

 

 

1

2

прерывны на всей плоскости Oxy , кроме точек, лежащих

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рис. 3.27.

 

 

 

 

P =

 

Q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

на оси Oy , и что

 

 

для x 0 . Следовательно,

 

I

 

 

 

 

 

 

 

К примеру 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

не зависит от формы пути (AB . Требуется только, чтобы (AB не пересекала ось Oy . А раз так, то возьмем, например, в качестве (AB прямолинейный от-

резок, соединяющий точки A и B (см. рис. 3.27). Так как

 

 

 

(AB = 1 x 2,

dy = 0 ,

то будем иметь

 

 

 

 

y = π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

π2

 

π

 

 

π

 

x=2

 

 

 

I =

1

 

2

cos

dx + 0 =

 

 

 

 

 

=1 + π.

 

x + πsin

 

 

 

1

 

x

 

 

x

 

 

x

 

 

x=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

83

§5. Площадь плоской фигуры в криволинейных координатах

1°. Вычисление площади плоской фигуры при помощи криволинейного

интеграла второго рода.

Пусть ( K ) – простой, замкнутый самонепересекающийся контур, ограничивающий область ( D) .

1) Пусть область ( D) такая, что прямыми, параллельными оси Oy , она может быть разложена на конечное число областей типа I. Рассмотрим криволи-

нейный интеграл y dx (это – частный случай интеграла

P dx +Q dy , когда

 

( K )

( K )

P y ,

а Q 0 ). Преобразуя y dx по

формуле

Грина, получим

 

 

 

 

 

( K )

 

 

y dx = − ∫∫dxdy = −F

 

 

 

 

D

 

 

( K )

( D )

 

 

 

 

 

F

 

= − y dx .

 

(1)

 

 

 

D

 

 

 

 

 

 

( K )

 

 

2)Пусть теперь область ( D) такая, что прямыми, параллельными оси Ox ,

ееможно разложить на конечное число областей типа II. Рассмотрим криволи-

нейный интеграл

x dy (это – частный случай интеграла

P dx +Q dy , когда

 

 

( K )

 

 

 

 

 

( K )

P 0 ,

Q x ).

Преобразуя

 

x dy

по формуле

Грина, получим:

 

 

 

 

 

( K )

 

 

x dy = ∫∫dxdy = F

 

 

 

 

 

 

 

D

 

 

 

 

 

( K )

( D )

 

 

 

 

 

 

 

 

 

 

 

 

 

F

 

= x dy .

(2)

 

 

 

 

 

D

 

 

 

 

 

 

 

( K )

 

 

3) Пусть, наконец,

область

( D) такая,

что прямыми,

параллельными оси

Oy , она может быть разложена на конечное число областей типа I, а прямыми,

параллельными оси Ox , – на конечное число областей типа II. Тогда будут верны одновременно формулы (1) и (2). Сложив соответствующие части этих формул, получим

2F

 

= x dy y dx

F

 

= 12 x dy y dx .

(3)

D

D

 

 

( K )

 

 

( K )

 

84

( D ).
(), и пусть ее

2°. Формула для площади плоской фигуры в криволинейных координа-

тах.

Пусть в плоскостях Oxy и Oξη расположены области ( D) и () с простыми контурами ( KD ) и ( K) . Если дано правило, которое каждой точке (ξ, η) из () сопоставляет одну и только одну точку ( x, y) из ( D ), причем каждая точка ( x, y) из ( D ) оказывается сопоставленной одной и только одной точке из (), то говорят, что между точками областей ( D ) и () установлено

взаимно-однозначное соответствие.

 

 

 

 

 

 

 

 

 

 

 

 

y

 

η

 

 

 

 

 

 

 

 

( D)

 

 

 

 

 

 

 

()

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(KD)

x

 

(K)

 

 

 

 

ξ

 

 

 

 

 

 

 

 

 

 

 

 

 

O

а)

 

O

 

б)

 

 

 

 

 

 

 

 

 

 

 

Рис. 3.28. К выводу формулы для площади в криволинейных координатах

 

 

Если (ξ, η) и ( x, y) есть взаимно-соответствующие точки, то

 

 

 

 

x = x(ξ, η),

 

 

 

 

 

(4)

 

 

y = y(ξ, η).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Уравнения (4) есть уравнения преобразования (

 

) в (

 

 

). В силу взаимной од-

D

нозначности соответствия между точками областей (

 

) и (

 

), система (4) од-

D

нозначно разрешима относительно ξ и η. Поэтому

 

 

 

 

 

 

 

 

 

ξ = ξ( x, y),

 

 

 

 

 

(5)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

η= η( x, y).

 

 

 

 

 

 

 

Впредь функции x(ξ, η) ,

y(ξ, η)

будем считать непрерывными в (

 

), а

функции ξ( x, y), η( x, y) – непрерывными в ( D ). Покажем, что тогда непрерывные кривые, лежащие, например, в (), преобразуются в непрерывные кривые, лежащие в

В самом деле, пусть (λ) – непрерывная кривая, лежащая в

ξ = α(t),

где α(t) , β(t) – функции, опре-

параметрические уравнения такие:

η= β(t),

 

деленные и непрерывные в промежутке [ p, q]. Тогда точки, соответствующие точкам кривой (λ) , имеют координаты:

85

x = x(α(t),β(t)),

y = y(α(t),β(t)). (6)

Так как правые части в уравнениях (6) есть функции непрерывные в промежутке [ p, q], как суперпозиции непрерывных функций, то заключаем, что непре-

рывная кривая (λ) преобразуется в непрерывную же кривую (l), лежащую в области ( D ).

Задача. Зная область () и формулы преобразования области () в область

 

 

x = x(ξ, η),

найти площадь F

 

 

 

 

 

 

 

 

 

 

( D ):

 

области ( D ).

D

 

 

y = y(ξ, η),

 

 

 

 

 

Решать эту задачу будем при следующих предположениях.

1)Обе области () и ( D ) прямыми, параллельными координатным осям, разлагаются на конечное число областей как типа I, так и типа II.

2)Контуру ( K) соответствует контур ( KD ) , причем положительному об-

ходу ( K) соответствует определенный (положительный или отрицательный)

обход ( KD ) .

3) Функции x(ξ, η) и y(ξ, η) имеют в () непрерывные частные производные первого порядка xξ, xη, yξ, yη, а одна из этих функций имеет в () непрерывные смешанные производные второго порядка. Пусть, например, в ()

существуют и непрерывны y′′

и y′′

( y′′

= y′′

в (

 

)).

ξη

 

 

ηξ

 

ηξ

 

ξη

 

 

 

4) Определитель J(ξ, η) =

 

xξxη

 

 

 

 

 

сохраняет знак ( J(ξ, η)

 

 

 

 

 

 

 

всюду в ()

 

y

y

 

 

 

ξ

η

 

 

 

 

 

 

 

 

определитель Якоби, или якобиан).

 

 

 

 

 

 

 

 

Решение. Мы знаем, что F

 

=

x dy . Выразим этот криволинейный инте-

D

 

 

 

 

( KD )

 

 

 

 

 

 

 

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

 

 

 

ξ = α(t),

t [ p, q], где α(t) , β(t) – функции,

уравнения контура ( K) такие:

 

 

 

 

 

η= β(t),

 

 

 

 

 

 

 

определенные на [ p, q] и имеющие там непрерывные производные α′(t), β′(t) .

Тогда параметрические уравнения контура ( KD ) будут такими:

x = x(α(t),β(t)),

t [ p,q].

y = y(α(t),β(t)),

Пусть для определенности изменению t от

p до q соответствует положитель-

ный обход контура ( KD ) . Тогда

86

q

FD = x(α(t),β(t)) [yξ(α(t),β(t))

α′(t) + yη(α(t),β(t)) β′(t)]dt . (7)

p

Рассмотрим теперь следующий криволинейный интеграл второго рода по контуру ( K) :

I = x(ξ, η) [yξ(ξ, η) dξ + yη(ξ, η) dη].

(8)

( K)

Чтобы выразить I обыкновенным определенным интегралом, нужно использовать параметрические уравнения контура ( K) . Сделав это, мы придем в точности к интегралу, стоящему в правой части (7), если только положительный обход контура ( KD ) соответствует положительному обходу контура ( K) . Если же положительный обход контура ( KD ) соответствует отрицательному обходу контура ( K) , то мы получим интеграл стоящий в правой части (7), взятый со знаком «минус». Таким образом,

 

 

 

 

 

 

F

 

= ±I .

 

 

 

 

(9)

 

 

 

 

 

 

D

 

 

 

 

Преобразуем интеграл I (см. (8)) по формуле Грина

 

 

 

 

P(ξ, η) dξ +Q(ξ, η) dη=

∫∫

Q

P

 

 

 

∂ξ

∂η

 

 

 

 

 

 

 

dξdη.

 

 

( K)

 

 

 

 

 

 

( )

 

 

 

 

 

У нас в I :

P = x(ξ, η) yξ(ξ, η), Q = x(ξ, η) yη(ξ, η). Значит,

Q

 

 

 

 

 

 

 

 

 

 

 

 

 

= x

y

+ x y′′

 

Q

P = x

 

 

 

 

∂ξ

ξ

 

η

ηξ

 

y

x

y′ = J(ξ, η) .

P

= x

y

+ x y′′

 

∂ξ

∂η

ξ

 

η

η

ξ

∂η

η

 

ξ

ξη

 

 

 

 

 

 

 

 

 

 

 

Поэтому

I = ∫∫( xξyη′ − xηyξ) dξdη= ∫∫J(ξ, η) dξdη.

( )

()

А, следовательно,

FD = ±∫∫J(ξ, η) dξdη.

( )

У нас по условию J(ξ, η) всюду в () сохраняет знак. Поэтому, принимая во

внимание, что F

 

> 0 , можем написать

 

D

 

 

 

F

 

= ∫∫

 

J(ξ, η)

 

dξdη.

(10)

 

 

 

 

 

 

 

D

 

 

 

 

 

 

 

 

 

 

( )

 

Из рассуждений, проведенных выше, следует, что

J(ξ, η) > 0 тогда, когда

положительный обход контура ( KD ) соответствует положительному обходу

87

контура ( K) и что J(ξ, η) < 0 тогда, когда положительный обход контура ( KD ) соответствует отрицательному обходу контура ( K) .

К двойному интегралу, стоящему в правой части (10), применим частный

случай теоремы о среднем. Получим.

 

 

 

 

 

 

 

 

 

F

 

 

=

J(

 

, η)

F

 

, где (

ξ

, η) (

 

) .

 

 

 

(11)

 

 

 

 

 

 

ξ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F

 

 

D

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Из (11) находим

D

 

=

J(ξ, η)

. Станем сжимать область

()

по всем направ-

F

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

лениям в некоторую точку (ξ, η) (тогда (ξ, η) (ξ, η) ). В силу непрерывности отображения область ( D) будет при этом сжиматься в точку ( x, y), которая соответствует точке (ξ, η) . Следовательно,

J (ξ, η) = lim FD .

F0 F

Таким образом, модуль якобиана есть коэффициент искажения площадей при переходе из плоскости Oξη в плоскость Oxy .

Замечание. Формула (10) остается верной и в том случае, когда взаимнооднозначное соответствие между точками областей ( D ) и () нарушается на множестве точек, лежащих на конечном числе простых кривых. При этом предполагается, что якобиан J(ξ, η) остается ограниченным всюду в ().

§6. Замена переменных в двойном интеграле

Пусть между точками областей ( D ) и () установлено взаимно-

x = x(ξ, η),

однозначное соответствие посредством формул y = y(ξ, η). Считаем, что вы-

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

Пусть в области ( D ) задана непрерывная функция f ( x, y). Мы знаем, что тогда существует двойной интеграл I = ∫∫ f ( x, y) dxdy . Требуется выразить I

( D )

через некоторый двойной интеграл по области ().

Составим интегральную сумму Римана для двойного интеграла I . Для этого произвольной сетью простых кривых нужно разбить область ( D ) на части ( D1 ) , ( D2 ) , K , ( Dn ); в каждой части ( Dk ) взять произвольную точку

n

( xk , yk ) , и тогда σ = f ( xk , yk ) FDk .

k=1

88

Заметим, что, проводя в ( D ) сеть простых кривых, мы, в силу однозначности отображения, будем проводить также сеть простых кривых в области (), так что () разобьется на части (1 ), (2 ), K , (n ) .

По формуле для площади плоской фигуры в криволинейных координатах, имеем

FDk = J(ξ, η) dξdη.

( k )

Применяя к двойному интегралу, стоящему в правой части, частный случай теоремы о среднем, получим

F

 

 

=

J(

 

k , ηk )

F

 

, где точка

(

 

 

 

k , ηk ) (

 

k ).

 

 

ξ

 

ξ

 

 

 

D

 

k

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

А тогда

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

σ = f ( xk , yk )

 

J(

 

k , ηk )

 

F

 

k .

 

 

 

 

 

ξ

 

 

 

 

 

 

 

 

 

 

 

 

 

k=1

 

 

 

 

 

I существует. Следовательно,

Было отмечено, что у нас двойной интеграл

lim σ = I при любом выборе точек ( xk , yk ) в ( Dk ). В частности, в каче-

λ→0

стве точек ( xk , yk ) можно взять точки, соответствующие точкам (ξk , ηk ) , т. е.

положить xk = x(ξk , ηk ), yk = y(ξk , ηk ) . При таком выборе точек ( xk , yk ) будем иметь:

n

σ = f (x(ξk , ηk ), y(ξk , ηk )) J(ξk , ηk ) Fk .

k=1

Сумма, стоящая здесь в правой части, есть сумма Римана для двойного интеграла

I* = ∫∫ f (x(ξ, η), y(ξ, η)) J(ξ, η) dξdη,

( )

причем I* существует, ибо подынтегральная функция в нем есть функция непрерывная в ().

Отметим, что, измельчая дробление в ( D ), мы тем самым будем измельчать дробление и в (), ибо функции, осуществляющие взаимно-однозначное отображение областей ( D ) и () друг на друга, есть непрерывные функции. Но

тогда σ → I* при λ → 0 . А так как σ → I при λ → 0 , то получаем I = I* , т. е.

∫∫ f ( x, y) dxdy = ∫∫ f (x(ξ, η), y(ξ, η))

 

J(ξ, η)

 

dξdη.

(1)

 

 

 

 

 

( D )

( )

 

 

 

 

 

 

x = r cosϕ,

Тогда

 

Частный случай. Пусть

 

 

y = r sin ϕ.

 

 

 

 

 

 

89

∫∫ f ( x, y) dxdy = ∫∫ f (r cos ϕ, r sin ϕ)r drdϕ.

( D ) ( )

Замечание. Формула (1) остается верной и тогда, когда взаимнооднозначное соответствие между точками областей ( D ) и () нарушается на множестве точек, лежащих на конечном числе простых кривых. При этом предполагается, что якобиан J (ξ, η) остается ограниченным всюду в ().

 

 

 

 

 

§7. Примеры к главе 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+∞

 

 

 

 

 

 

 

 

 

Пример 1 (интеграл Эйлера). Вычислить I = ex2 dx (попутно будет до-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

y

казана сходимость этого несобственного интеграла).

 

 

 

 

 

Введем в рассмотрение функцию

 

 

 

f ( x, y) = ex2 y2

и области (

 

 

) ,

(

 

) , (

 

) , где:

 

D

D

D

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

2

3

 

 

(

 

) – четверть круга: x2 + y2 R2 , лежащая в

 

 

D

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

первой четверти;

 

0 x

R,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R R 2

 

( D2 ) – квадрат:

 

R;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 y

 

 

 

 

 

Рис. 3.29.

 

(

D3 ) – четверть круга: x2 + y2 2R2 , лежащая в

К вычислению

первой четверти.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

интеграла Эйлера

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ясно, что ( D1 ) ( D2 ) ( D3 ) . Отсюда и из того,

что f ( x, y) > 0 следует:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

∫∫ex2 y2 dxdy ∫∫ex2 y2 dxdy ∫∫ex2 y2 dxdy .

(2)

( D )

 

 

 

 

 

( D )

 

 

 

 

 

 

 

( D )

 

 

 

 

 

 

 

 

1442443

12442443

13442443

 

 

=I1

 

 

 

 

 

 

 

=I2

 

 

 

 

 

 

 

 

 

=I3

 

 

 

 

 

Выразим двойной интеграл I2 через повторный.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

R

 

 

 

 

 

 

R

 

 

 

 

R

 

 

I2 = ex2 y2 dxdy = dxex2

y2 dy = ex2 dxey2 dy =

( D2 )

 

 

 

 

0

0

 

 

 

 

 

 

 

0

 

 

 

2

0

 

 

 

R

 

2

 

R

x

2

 

 

 

R

x

2

 

 

 

 

 

 

 

 

y

 

 

 

 

e

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

=

e

 

 

 

dy

 

 

 

dx

=

 

 

dx .

 

 

 

0

 

 

 

 

 

0

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

Вычисление двойных интегралов I1, I3 будем производить, переходя к полярным координатам. Будем иметь

90