поверхности S, то полученный двойной интеграл берут со знаком «ми
нус». Поэтому |
|
|
jj R(x;y;z)dxdy = ± jj R(x;y;z(x;y)) dxdy. |
(58.4) |
S |
D |
|
Аналогично |
JJ Q(x;y(x;z);z)dxdz, |
|
JJ Q(x;y;z)dxdz = ± |
(58.5) |
S |
D., |
|
jj P(x;y;z)dydz = ± |
jj P(x(y;z);y;z) dydz, |
(58.6) |
S |
Dy, |
|
где Dxz и Dyz - ·- проекции поверхности S на плоскости Oxz и Oyz
соответственно (замкнутые области).
В формуле (58.5) поверхность S задана уравнением у = у(х; z), а
в формуле (58.6) -- уравнением х = х(у; z). Знаки пере.л, интегралами
выбираются в зависимости от ориентации поверхности S (так, в фор муле (58.5) берем знак «плюс», если нормаль к поверхности образует
с осью Оу острый угол, а знак «минус» - если тупой угол).
Для вычисления общего поверхностного интеграла П рода исполь
зуют формулы (58.4)- (58.6), проектируя поверхность S на вес три ко
ординатные плоскости:
jj Р(х;у; z) dydz + Q(x;y; z) dx dz + R(x;y; z) dxdy = s
=± Jj P(x(y;z);y;z) dydz±
±jj Q(x;y(x;z);z) dxdz ± jj R(x;y;z(x;y)) dxdy.
Dzz |
Dжу |
Заме'Чан:и.е. Можно показать справедливость равенств |
dx dy = cos /' · ds, dx dz = cos fJ · ds, dy dz = cos о: · ds, |
(58. 7) |
1 |
|
где ds - элемент площади поверхности S; eoso:, cos(J, cOSf' - |
напра- |
вляющие косинусы нормали n к выбранной стороне поверхности S. Поверхностные интегралы I и П рода связаны соотношением
jj Pdydz+Qdxdz+Rdxdy = jj(Pcoso:+QcosfJ+Rcos"f)ds. (58.8)
s |
s |
Пример 58.1. |
Вычислить |
11 |
= jJ-хdy dz + z dz dx + 5 dx dy |
s
по верхней стороне части плоскости 2х - Зу + z |
6, лежащей в IV |
октанте. |
|
|
Q Решение: На |
рисунке |
253 |
изображена заданная |
z |
|
часть плоскости. Нормаль n, |
соответствующая ука |
|
6 |
|
занной стороне поверхности, образует с осью Оу ту |
|
|
|
пой угол, а с осями Ох и Oz - |
острые. В этом можно |
|
|
убедиться, найдя направляющие косинусы нормаль |
|
|
ного вектора fi = (2; -3; 1) плоскости: |
|
|
\п\ = v14 + 9 + 1 = v'14, |
cos а = г2:;--; > О, |
|
|
|
|
|
v14 |
|
|
cos (:) = - |
з |
|
1 |
|
|
г:;--; < о, |
cos 'У = 11-:i > о. |
|
|
|
v14 |
|
v14 |
|
Поэтому перед двойными интегралами в формулах (58.4) и (58.6) следует брать знак «плюс», а в формуле (58.5) - -- знак «минус>>. Сле
довательно,
/ 1 =+ jj (-3-~y+Лdydz- jj zdzdx+5 jj dxdy=
|
|
Dyz |
|
|
|
Dжz |
|
D~y |
|
О |
Зу+б |
(-з- 23 у+ |
l |
З |
6-2ж |
|
|
= j |
dy |
j |
2z )dz- j |
dx |
j |
zdz+5· |
~·2·3 = -9. |
8 |
-2 |
|
о |
|
|
о |
|
о |
|
|
|
58.3. Формула Остроградского-Гаусса
Связь между поверхностным интегралом П рода по замкнутой по
верхности и тройным интегралом по объему, ограниченному этой по
верхностью устанавливает сле.лующая теорема.
Теорема 58.1. Если функции Р(х; у; z), Q(x; у; z), R(x; у; z) непре
рывны вместе со своими частными производными первого порядка в
пространственной области V, то имеет место формула
jjj (~:+ ~~+ ~~)dxdydz = f/ Pdydz+Qdxdz+Rdxdy, (58.9)
v |
s |
где S - граница области V |
и интегрирование по S производится по |
ее внешней стороне. |
|
Формула (58.9) называется формулоiJ. Остроградского-Гаусса
(является аналогом формулы Остроградского-Грина (см. п. 56.3).
Q Пусть область V ограничена снизу поверхностью 8 1 , уравнение которой z = z1 (х; у); сверху - поверхностью S 2, уравнение которой
z = z2 (x;y) (функции z1 (x;y) и z2 (x;y) непрерывны в замкнутой обла
сти D - проекции V на плоскость Оху, z1 (x;y) |
~ z2 (x;y)); сбоку - |
цилиндрической поверхностью S3 , образующие которой параллельны |
оси Oz (см. рис. 254). |
|
|
|
|
z |
Рассмоr.рим тройной интеграл |
JJJ ~~dxdydz = |
|
|
|
|
дR |
|
V |
z2(x;y) |
|
= // dx dy |
J |
дzdz = |
|
D |
z1(x;y) |
|
|
= // R(x;y;z2(x;y))dxdy- |
|
D |
|
|
|
|
|
- // R(x;y;z1(x;y))dxdy. |
|
у |
D |
|
|
|
Двойные интегралы в правой части равен |
|
ства заменим поверхностными интеграла |
Рис. 254 |
ми П рода по внешней стороне поверхно |
стей S 1 и S2 |
соответственно (см. (58.3)). |
Получаем:
JJJ ~~dxdydz = JJ Rdxdy + JJ Rdxdy.
v ~ ~
Добавляя равный нулю интеграл j/Rdxdy по внешней стороне 8 3
(см. свойство 5 п. 58.1), получим: |
Sз |
|
|
|
JJJ ~~dxdydz= JJ Rdxdy + JJ Rdxdy + JJ Rdxdy, |
|
|
V |
S2 |
81 |
Sз |
|
или |
JJJ ~~dxdydz = ff R(x;y;z)dx dy, |
(58.10) |
|
|
|
1 |
|
|
|
v |
|
s |
|
|
где S - поверхность, ограничивающая область V. |
|
|
|
Аналогично доказываются формулы |
|
|
|
JJJ ~Qdxdydz = /f Q(x;y;z)dxdz, |
(58.11) |
|
v |
у |
s |
|
|
|
JJJ :=dxdydz = /f P(x;y;z)dydz. |
(58.12) |
|
v |
|
s |
|
|
|
Складьmая почленНQ равенства (58.10), (58.11) и (58.12), получаем |
формулу (58.9) Остроградского-Гаусса. |
|
8 |
Замечанu.я.
1. Формула (58.9) остается справедливой для любой области V,
которую можно разбить на конечное число областей рассмотренного
вида.
2. Формулу Остроградского-Гаусса можно использовать для вычи сления поверхностных интегралов П рода по замкнутым поверхностям.
При.мер 58.2. |
Вычислить l = Н -хdy dz + z dz dx + 5 dx dy, |
где S - внешняя |
+s |
|
|
сторона пирамиды, ограниченной |
плоскостями |
2х - Зу + z = 6, х = О, у = О, z = О. |
|
|
О Решение: По формуле (58.9) находим: |
|
|
l = jjj(-1 +o+O)dxdydz = - jjj dv = -~ ·3·6 = -6. |
• |
v |
v |
z |
|
Заметим, что интеграл 11 (см. пример 58.1) мож
но вычислить иначе:
где поверхности S2, Sз, S4 есть соответственно тре
угольники ОАС, АОВ, СОВ (см. рис. 255).
Имеем:
11 = -6 + jj |
5dxdyjj zdzdx+ |
|
|
(ОАС) |
(АОВ) |
|
|
|
1 |
3 |
6-2х |
|
|
+jj (-O)dydz=-6+5· 2 ·2·3-jdx j
= +9 - |
1 jз |
|
2 |
1 |
( |
1) |
(6 - 2х)3 IЗ |
= -9. |
2 |
(6 - 2х) |
|
dx = 9 - 2 · |
|
-2 · |
3 |
0 |
о
58.4. Формула Стокса
Связь между поверхностными и криволинейными интегралами П
рода устанавливает следующая теорема.
Теорема 58.2. Если функции Р(х; у; z), Q(x; у; z) и R(x; у; z) непре
рывны вместе со своими частными производными первого порядка в
точках ориентированной поверхности S, то имеет место формула
!!( |
дQ - |
дP)dxdy + (дR - |
дQ)dydz + (дР - |
дR)dxdz = |
дх |
ду |
ду |
дz |
дz |
дх |
|
s |
|
|
|
= f Pdx+Qdy+Rdz, |
|
|
|
|
|
(58.13) |
|
|
|
|
|
L |
|
|
где L - |
граница |
поверхности S |
и интегрирование |
вдоль |
кривой L |
производи1'СЯ в положvпельном направлении (1'.е. nри обходе границы L поверхность S должна оставаться все время слева).
Формула (58.13) называется фор.мулт'J, Стокса (Д. Г. Стокс - ан глийский математик, физик).
Q Пусть z = J(x; у) - уравнение поверхности S, функции f(x; у), fx'(x;y), Jy'(x;y) непрерывны в замкнутой области D (проекции по
верхности S на плоскость Оху), L 1 -- граница области D (см. рис. 256).
|
z |
z =f (x; y) |
Будем считать, что |
поверхность S |
пe |
|
ресекается с любой |
прямой, |
параллель |
|
|
|
|
|
|
ной |
оси Oz, не более чем 11 |
одной точ |
|
|
|
|
ке. Выберем верхнюю сторону поверхно |
|
|
|
|
сти S. Рассмотрим сначала интеграл вида |
|
|
|
|
f Р(х; у; z) dx. |
|
|
|
|
|
|
|
L |
Значения функции Р(х; у; z) на L раБ |
|
|
|
|
|
|
|
|
|
ны значениям функции Р(х; у; z(x; у)) |
на |
|
1 |
|
|
L1 . |
Интегральные суммы для криволи- |
|
|
У нейных интегралов П рода по контурам L |
|
~ |
|
|
и L 1 |
совпадают. Поэтому |
|
|
|
|
--- L1 |
|
f Р(х; у; z) dx = f Р(х;у; z(x; у)) dx. |
|
|
|
Рис. 256 |
|
|
|
|
|
L |
L1 |
|
|
|
Применим к этому интегралу формулу Остроградскоrо--Грина
(см. п. 56.3). Тогда получим:
JP(x;y;z(x;y))dx =JJ(o- ~(P(x;y;z(x;y)))dxdy =
L1 |
D |
дР |
дР |
дz |
|
= - |
JJ( ду |
+ дz |
· дy)dxdy. |
D
Преобразуем полученный двойной интеграл в равный ему поверх
ностный интеграл П рода (см. п. 58.2). Для этого последнее равенство
перепишем в виде
L1! |
(J (дР |
дР дz) |
P(x;y;z(x;y))dx=- JJ |
f}+ |
дz ·а |
COS/ds |
S |
у |
у |
|
(см. 58.7) и используем уравнение нормали к поверхности S (см. (45.3)).
Так как выбрана верхняя сторона поверхности S, т. е. cos1 > О (1 -
острый угол между нормалью n к поверхности S и осью Oz), то нормаль
n имеет проекции -g~, -g~, 1. Направляющие косинусы пропорцио
нальны соотвстс:rвующим проекциям:
дz дz
cosa: соs(З: cos1 = -- : -- : 1. 8х 8у
Отсюда - дz = cos (3 . Тогда
ду COS/
-JJ(дP + дР. дz) cos1ds = -JJ(дP - |
дР. cos/3) cos-yds = |
s |
ду дz |
ду |
|
s |
ду |
|
дz COS/ |
|
rr дР |
|
|
!! дР |
|
|
дР |
|
|
дР |
|
= - 11 дcos1ds - |
дz cos/3ds = |
s |
дz dxdz - |
adxdy. |
|
s |
у |
|
|
|
|
у |
Следовательно, |
|
|
|
|
|
|
|
|
f Р(х;у;z) dx = jJ~~dxdz - |
~:dxdy. |
|
|
L |
|
S |
|
|
|
|
|
Аналогично поJrучаются при соответствующих условиях еще два |
равенства: |
|
|
|
|
|
|
|
|
f Q(x;y;z) dy = jj ~~dxdy - |
~~dydz, |
|
|
L |
|
S |
|
|
|
|
|
|
|
|
|
дR |
|
|
дR |
|
|
f R(x;y;z)dz= !!adydz- |
дxdxdz. |
|
|
L |
|
S |
у |
|
|
|
|
Складывая почленно три последних равенства, получаем формулу
Отметим, что формулу Стокса (58.13) можно применить и для по верхностей более сложного вида (разбив ее на части рассмотренного выше типа).
Формулу Стокса можно применять для вычисления криволиней
ного интеграла по замкнутому контуру с помощью поверхностного ин
теграла.
Из формулы Стокса вытекает, что если выполняются условия
дQ |
- |
дР |
дR дQ дР |
дR |
дх |
ду |
' - = - , |
дх |
|
ду дz дz |
(см. п. 56.4), то криволинейный интеграл по произвольному простран
ственному замкнутому контуру L равен нулю: / Рdx +Q dy +Рdz = О.
L
Следовательно, в данном случае криволинейный интеграл не зависит
от вида пути интегрирования.
Прuмер 58.3. Вычислить 1 = f x2 y3 dx + dy + zdz, где кон-
L
тур L - окружность т2 + у2 = R2 ; z = О: а) непосредственно,
б) используя формулу Стокса, взяв в качестве поверхности полусферу z = + J n2 - х2 - у2.
О Решение: Поверхность ингегрирования
и·юбражена на рисунке 257.
а) Запишем уравнение окружности в
параме1рической форме:
х = Rcost, у= Rsint, z =О, t Е [О; 27Г].
По формуле (56.7) имеем:
|
|
2,,- |
|
Рис. 257 |
/ = JR 2 cos2 t · R 3 sin3 t(-Rsin t) · dt+ |
|
о |
|
|
|
2,,- |
2,,- |
|
+ JRcostdt = -R6 |
Jsin4 tcos2 tdt +О= |
оо
|
2,,- 1 |
2 1 |
|
Rб 2,,- |
|
|
= -R6 J( sin 2t) |
· '2·(1 - cos2t)dt = - |
8 |
·Jsin2 |
2tdt+ |
|
2 |
|
|
|
|
|
о |
|
|
|
о |
|
Rб |
211" |
Rб |
2,,- |
|
Rб |
Rб |
+ 8 |
Jsiп2 2tcos2tdt = - 16 |
J(1-cos4t)dt+O = -1627Г |
= - 7Г8 . |
оо
6)По формуле Стокса (58.13) находим:
1 = 11(О - О) dy dz + (О - О) dx dz + (О - Зх2у2) dx dy =
s |
= -3 JJ x 2 y2 dxdy = -з JJ x 2 y 2 dxdy. |
|
S |
D |
Переходя к полярным координатам, получаем:
1 = -3 jj r 5 sin2 ip · c~s2 t.p dr dip = -3 |
j2:ir |
sin2 ip cos2 ip dip · |
jR r 5 dr = |
D |
о |
|
о |
3 |
2,,. 1 |
1 |
1 2,,. |
=--R6 |
J-·sin 2 |
2rpdip=--R6 |
·-j(l-cos4rp)drp= |
6 |
4 |
8 |
2 |
|
о |
|
о |
= - Rб . ip\2,,. |
+О= - 1ГRб. 8 |
16 о |
8 |
58.5.Некоторые приложения поверхностного интеграла
11 рода
Спомощью поверхностного интеграла П рода можно найти объем
тела, ограниченного сверху поверхностью S2 ( z = z2 ( х; у)), снизу - поверхностью 8 1 (z = z1 (x;y)), сбоку-- цилиндрической поверхностью
S3 , образующие которой параллельны оси Oz: |
|
V = ~ff хdy dz + уdz dx + z dx dy, |
(58.14) |
8 |
|
где S = 81 + S2 + 83.
Действительно, положив в формуле Остроградского Гаусса (58.9)
Р(х; у; z) |
= .х, Q(3'; у; z) =О, R(x, у; z) =О, находим: |
|
ff xdydz = jjj d:rdydz, т. е. |
V = ff xdydz. |
(58.15) |
s |
v |
s |
|
Аналогично, полагая Р = О, Q = у, R = О, находим еще одну формулу для нахождения объема тела с помощью поверхностного ин
теграла П рода: |
|
V = /f ydxdz. |
(58.16) |
s
Наконец, положив Р =О, Q =О, R = z, по формуле (58.9) находим
третью формулу |
|
V = /f zdxdy, |
(58.17) |
s
выражающую объем тела через поверхностный интеграл П рода.
Сложив почленно равенства (58.15)-(58.17) и разделив на три, по лучим формулу (58.14).
Другие применения поверхностного интегра.па П рода рассмотрим
в главе XVI «Элементы теории поля»
Глава Xlll. ЧИСЛОВЫЕ РЯДЫ
j Лекции 51-521
ЧИСЛОВЫЕ РЯДЫ
Основные понятия
Бесконечные ряды широко используются в теоре1 ичсских исследо ваниях математического анализа, имеют разнообра·тые практическиf'
применения.
~Чuс.л,овым рsr.дом (или просто рядом) на'iЬшается ныражсние
вида |
|
00 |
|
L Un = U1 + U2 + ... + Un + ... , |
(59.1) |
n=l
где U1' U2' ... 'Un,.. . - дейс1 ВИТСJIЬНЫС или КОМПЛf'КСНЫ(' числа, назы-
ваемые 'Ч..ltенами ряда, Un общим ч.л,еном ряда.
Ряд (59.1) считается заданным, если известен общий член ряда Un, выраженный как функция его номС'ра п: Un = J(n).
~Сумма первых п членов ряда (59.1) наJывае1<-я п-й часmичноii. суммоii. ряда и обозначается через Sn, т. е. Sn = щ +и2 + ···+Un.
Рассмотрим частичные суммы
~Если сущес·1вует конечный предел S = lim Sn последовательно-
~n-+oo
сти частичных сумм ряда (59.1), го этот предел называют суммоii.
|
00 |
ряда (59.1) и говорят, что ряд сходится. Запись1вают: S = L Un- |
|
n=1 |
Если lim |
Sn не существует или lim Sn = оо, то ряд (59.1) назы- |
n-+оо |
n---+oo |
вают расходящимся. Такой ряд суммы не имеет. |
Рассмотрим примеры. |
1. Ряд 2 + |
17 - 3~ + 196 + ... нельзя считать заданным, а ряд |
2 +5 +8 + ... - |
можно: его общий член задается формулой и" = 3п -1. |
2. |
Ряд О + О + О + ... + О + . . . сходится, его сумма равна О. |
3. |
Ряд 1 + 1 + 1 + ... + 1 + ... расходится, Sn = п --+ оо при п --+ оо. |
4. Ряд 1-1+1-1+1-1 + ... расходится, так как последовательность |
частичных сумм 1, О, 1, 9, 1, О, ... (S1 = 1, S2 = О, Sз = 1, ... ) не имеет
предела.
5. Ряд п~~ n(n1+ l) сходится. Действительно,
1 |
|
1 |
|
|
|
|
S1 = 1. 2 = 1- 2' |
|
|
|
|
S2 = - 1 |
+ - 1 |
= (1 - !) + (! - !) = 1 - ! |
1-2 2-з |
2 |
|
2 |
з |
з' |
................... ' |
|
|
|
|
1 |
1 |
1 |
|
|
1 |
|
Sп=-+-+-+ ... + |
( |
|
1 . 2 |
2. 3 |
3. 4 |
|
п п + 1) |
= (1 - |
~) + (~ - ~) + (~ - |
~) + ... + (~ - п:1) = l - п:1· |
Сл<'довательно, |
liш Sn = |
lim (i - - 1- ) = 1, |
|
|
n-+oo |
n-+oo |
n + 1 |
1. Р. ряд схо)~и 1ся, <'ГО сумма равна 1.
Рассмотрим неко1орыР важные свойства рядов.
Своurтво 1. Если ряд (59.1) сходи1ся и его сумма равна S, то ряд
00 |
|
L CUn = CU1 + CU2 + ... + CUn + ... , |
(59.2) |
n=l
где с - произвольное число, также сходится и его сумма равна cS. Если же ряд (59.1) расходится и с f:. О, то и ряд (59.2) расходится.
Q Обозначим п-ю частичную сумму ряда (59.2)через S~"'>. Тогда
s~и) = CU1 + CU2 + ... |
+ CUn = с(и1 + U2 + ... + Uп) =с. Sn. |
Следовательно, |
|
|
|
lirn s~и) = lim cSn =с· |
lim |
Sп =с· S, |
n-+oo |
n-+oo |
n-+oo |
т. е. ряд (59.2) сходится и имеет сумму cS. |
расходится, с f:. О, то и |
Покажем теперь, что |
если ряд (59.1) |
ряд (59.2) расход~тся. Допустим противное: ряд (59.2) сходится и имеет
сумму S1. Тогда
S 1 = lim |
s~и) = lim |
сSп = с lim Sп. |
n--?oo |
n---+oo |
п-+.оо |
Отсюда получаем: |
|
S1 |
|
|
|
lim Sn = -, |
|
n-+oo |
С |
т. е. ряд (59.1) сходится, что противоречит условию о расходимости
ряда (59.1). •