поверхности S, то полученный двойной интеграл берут со знаком «ми
нус». Поэтому
jj R(x;y;z)dxdy = ± jj R(x;y;z(x;y)) dxdy. |
(58.4) |
S |
D |
|
Аналогично |
|
|
jj Q(x;y;z)dxdz = ± |
jj Q(x;y(x;z);z)dxdz, |
(58.5) |
S |
D". |
|
jj P(x;y;z)dydz = ± |
jj P(x(y;z);y;z)dydz, |
(58.6) |
s |
v •• |
|
где 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; у;z) dxdz + R(x;y;z) dxdy = |
|
s |
|
|
= ± jj P(x(y;z);y;z) dydz± |
|
Dy• |
|
|
± jj Q(x;y(x;z);z)dxdz± |
jj R(x;y;z(x;y))dxdy. |
D~z |
Dzy |
|
За.ме'Чание. Можно показать справедливость равенств |
|
dx dy = cos 'У ·ds, dx dz = cos f3 · ds, |
dy dz = cos а · ds, |
(58.7) |
где ds - элемент площади поверхности S; cosa, соs{З, cos1 - напра вляющие косинусы нормали n к выбранной стороне поверхности S.
Поверхностные интегралы I и П рода связаны соотношением
jj Pdydz+Qdxdz+Rdxdy = jj(Pcosa-гQcosf3+Rcos1)ds. (58.8)
s |
s |
Пример 58.1. |
Вычислить |
I1 = jj-xdydz+zdzdx+5dxdy s
по верхней стороне части плоскости 2х - Зу + z 6, лежащей ~ IV
октанте.
Q Решение: На рисунке 253 изображена заданная
часть плоскости. Нормаль n, соответствующая ука занной стороне поверхности, образует с осью Оу ту пой угол, а с осями Ох и Oz - острые. В этом можно убедиться, найдя направляющие косинусы нормаль
ного вектора n = (2; -3; 1) плоскости:
lnl = v'4 + 9 + 1 = v114, |
cos а = . г2,-; > О, |
|
v14 |
3 |
1 |
cos/3 = - J14 <О, |
COS')' = /1А > 0. |
|
v14 |
Поэтому перед двойными интегралами в формулах (58.4) и (58.6) следует брать знак «плюс», а в формуле (58.5) - знак «минус». Сле
довательно,
11 = + JJ (-3 - ~У+~) dydz - |
JJ zdzdx + 5// dxdy = |
|
Dy:z |
|
|
Dz:z |
|
Dzy |
О |
3у+6 |
3 |
l |
3 |
6-2х |
|
= J dy |
|
|
|
J zdz+5·~·2·3=-9. 8 |
J |
(-3- 2y+ 2z)dz-J dx |
-2 |
о |
|
о |
|
о |
|
58.3. Формула Остроградского-Гаусса
Связь между поверхностным интегралом П рода по замкнутой по
верхности и тройным интегралом по объему, ограниченному этой по
верхностью устанавливает следующая теорема.
Теорема 58.1. Если функции Р(х; у; z), Q(x; у; z), R(x; у; z) непре
рывны вместе со своими частными производными первого порядка в
пространственной области V, то имеет место формула
JJJ(~~+~~+~~)dxdydz= JJ Pdydz+Qdxdz+Rdxdy, (58.9)
v |
|
s |
где 8 - |
граница области V и интегрирование по 8 производится по |
ее внешней стороне. |
|
Формула (58.9) |
называется формулоil, Остроградского-Гаусса |
(является аналогом формулы Остроградского-Грина (см. п. 56.3). |
Q Пусть |
область V |
ограничена снизу поверхностью 81 , уравнение |
которой z |
= z1(x;y); |
сверху - поверхностью 82 , уравнение которой |
z = z2(x;y) (функции z1 (x;y) |
и z2(x;y) непрерывны в замкнутой обла |
сти D - проекции V на плоскость Оху, |
z1 (x;y) |
~ z2(x; у)); сбоку - |
цилиндрической поверхностью S3 , образующие которой параллельны |
оси Oz (см. рис. 254). |
|
|
|
|
z |
|
Рассмотрим тройной интеграл |
z=z2(x;y) |
|
|
|
|
|
JJJ ~~dxdydz= |
|
|
|
|
|
|
|
|
v |
z2(x;y) |
дR |
|
|
= JJ dxdy |
J |
дzdz= |
|
|
D |
z1 (х;у) |
|
|
|
= JJ R(x; у; z2(x; y))dxdy- |
|
|
D |
|
|
|
|
|
|
- JJ R(x;y;z1 (x;y))dxdy. |
|
у |
|
D |
|
|
|
|
Двойные интегралы в правой части равен |
|
|
ства заменим поверхностными интеграла |
|
Рис. 254 |
ми П рода по внешней стороне поверхно |
|
стей S1 и S2 |
соответственно (см. (58.3)). |
|
|
Получаем: |
|
|
|
|
JJJ ~~dxdydz = JJ Rdxdy + 11Rdxdy. |
|
V |
S2 |
81 |
|
|
Добавляя равный нулю интеграл j/Rdxdy по внешней стороне S3
(см. свойство 5 п. 58.1), получим: |
Sз |
|
|
11/ ~~dxdydz = JI Rdxdy+ 11Rdxdy+ IJ Rdxdy, |
|
V |
|
S2 |
S1 |
Sз |
|
или |
111 ~~dxdydz = 11R(x;y;z) dxdy, |
|
|
(58.10) |
|
v |
|
s |
|
|
где S - поверхность, ограничивающая область V. |
|
|
Аналогично доказываются формулы |
|
|
|
JJI ~Qdx dy dz = 11Q(x; у;z) dxdz, |
(58.11) |
|
v |
у |
s |
|
|
|
JJJ~:dxdydz= JJ P(x;y;z)dydz. |
(58.12) |
|
v |
|
s |
|
|
Складывая почленно равенства (58.10), (58.11) и (58.12), получаем |
формулу (58.9) |
Остроградского-Гаусса. |
|
• |
За.ме-чания.
1. Формула (58.9) остается справедливой для любой области V,
которую можно разбить на конечное число областей рассмотренного
вида.
2. Формулу Остроградского-Гаусса можно использовать для вычи сления поверхностных интегралов П рода по замкнутым поверхностям.
|
Пример 58.2. |
Вычислить I |
= JJ -xdydz + zdzdx + 5dxdy, |
|
S - |
|
|
|
|
+s |
|
|
|
|
где |
внешняя |
сторона |
пирамиды, ограниченной |
плоскостями |
2х - Зу + z = 6, х = О, у = О, z = О. |
|
|
|
|
|
Q Решение: По формуле (58.9) находим: |
|
|
|
|
|
I = JJJ(-1 + О+ О)dx dy dz = - JJJdv = - ~ ·3 · 6 = -6. |
• |
|
|
v |
|
|
|
v |
|
|
z |
|
|
Заметим, что интеграл I 1 (см. пример 58.1) мож |
|
6 |
в |
но вычислить иначе: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sз |
где поверхности S2 , 8 3 , 84 есть соответственно тре |
|
|
|
угольники ОАС, АОВ, СОВ (см. рис. 255). |
|
|
|
у |
|
|
|
|
|
|
|
|
|
|
|
Имеем: |
|
|
|
|
|
|
|
|
I1 |
= -6 + JJ 5dxdy- |
JJ |
zdzdx+ |
|
|
Рис. 255 |
|
|
(ОАС) |
|
(АОВ) |
|
|
|
|
|
|
|
|
|
|
|
1 |
3 |
6-2х |
|
|
|
+ |
JJ (-О) dy dz = -6 + 5 · 2 · 2 · 3 - |
Jdx |
J zdz = |
|
|
|
(СОВ) |
|
|
|
|
О |
о |
|
|
|
|
1/ |
|
2 |
1 ( 1) (6-2х)3 13 |
|
|
|
=+9- 2 |
3 |
(6-2х) dx=9-2· -2 · |
|
0 =-9. |
|
|
|
3 |
о
58.4. Формула Стокса
Связь между поверхностными и криволинейными интегралами П
рода устанавливает следующая теорема.
Теорема 58.2. Если функции Р(х; у; z), Q(x; у; z) и R(x; у; z) непре
рывны вместе со своими частными производными первого порядка в
точках ориентированной поверхности S, то имеет место формула
!!( |
дQ - |
дP)dxdy + (дR - |
дQ)dydz + (дР - |
дR)dxdz = |
s |
дх |
ду |
ду |
дz |
дz |
дх |
|
|
|
= f Pdx + Qdy + Rdz, (58.13) |
|
|
|
|
|
|
|
|
|
L |
|
где L - |
граница |
поверхности S |
и интегрирование |
вдоль кривой L |
производится в положительном направлении (т. е. при обходе границы L поверхность S должна оставаться все время слева).
Формула (58.13) называется формуло11, Стокса (Д. Г. Стокс - ан
глийский математик, физик).
О Пусть z = f (х; у) - уравнение поверхности S, функции !(х; у), fx'(x;y), fy'(x;y) непрерывны в замкнутой области D (проекции по
на плоскость Оху), L 1 - граница области D (см. рис. 256).
Будем считать, что поверхность S пe z = f (x; y) ресекается с любой прямой, параллель ной оси Oz, не более чем в одной точ
ке. Выберем верхнюю сторону поверхно
сти S. Рассмотрим сначала интеграл вида
f Р(х; у;z) dx.
L
Значения функции Р(х; у; z) на L рав
ны значениям функции P(x;y;z(x;y)) на
|
1 |
L 1 • |
Интегральные суммы для криволи |
|
У нейных интегралов П рода по контурам L |
|
~ |
|
и L1 |
совпадают. Поэтому |
|
|
-- L1 |
f P(x;y;z)dx = f P(x;y;z(x;y))dx. |
|
Рис. 256 |
|
L |
L1 |
|
|
|
Применим к этому |
интегралу формулу Остроградского-Грина |
(см. п. 56.3). Тогда получим: |
|
|
|
J |
P(x;y;z(x;y))dx =JJ(o- :У(P(x;y;z(x;y)))dxdy = |
|
Li |
D |
|
дР |
дР |
дz |
|
|
|
= - JJ(дy |
+ дz |
· дy)dxdy. |
D
Преобразуем полученный двойной интеграл в равный ему поверх
ностный интеграл П рода (см. п. 58.2). Для этого последнее равенство
перепишем в виде
|
"f (дР |
дР дz) |
! P(x;y;z(x;y))dx = - !} |
д + дz. д |
COS"(dS |
Li |
S |
у |
у |
|
(см. 58.7) и используем уравнение нормали к поверхности S (см. (45.3)).
Так как выбрана верхняя сторона поверхности S, т. е. cos 'У > О ('У - острый угол между нормалью nк поверхности S и осью Оz), то нормаль
n имеет проекции - g~, -g~, 1. Направляющие косинусы пропорцио
нальны соответствующим проекциям:
дz дz
cosa: cos/3: cos1 = - дх : - ду : 1.
Отсюда - дz = cos /3 . Тогда
ду COS"(
-f'f(дP + дР. дz) COS"(dS = -f"f(дP - дР. cos/3) COS"(dS = |
s} |
ду дz |
ду |
|
s} |
ду |
|
дz |
COS"( |
|
|
= -jrf дР cos1ds - |
дР cos/3 ds = j" f |
дРdxdz - |
дРdxdy. |
|
s} |
ду |
дz |
|
|
s} |
дz |
|
ду |
Следовательно, |
|
"{ дР |
|
|
|
|
|
|
|
|
|
дР |
|
|
|
f Р(х; у; z) dx = !} |
дz dx dz - |
дdх dy. |
|
|
L |
|
S |
|
|
|
у |
|
|
Аналогично получаются при соответствующих условиях еще два |
равенства: |
|
"{ дQ |
|
|
|
|
|
|
|
|
|
дQ |
|
|
|
f Q(x;y;z)dy= !} |
дxdxdyдzdydz, |
|
|
L |
|
S"{ дR |
|
дR |
|
|
|
f R(x;y;z)dz= !} |
дdydzдxdxdz. |
|
|
L |
|
S |
у |
|
|
|
|
|
Складывая почленно три последних равенства, получаем формулу
Стокса (58.13). •
Отметим, что формулу Стокса (58.13) можно применить и для по
верхностей более сложного вида (разбив ее на части рассмотренного выше типа).
Формулу Стокса можно применять для вычисления криволиней
ного интеграла по замкнутому контуру с помощью поверхностного ин
теграла.
Из формулы Стокса вытекает, что если выполняются условия
дQ |
дР |
дR |
дQ |
дР |
дR |
дх |
= ду' |
ду |
= дz' |
дz |
= дх |
(см. п. 56.4), то криволинейный интеграл по произвольному простран
ственному замкнутому контуру L равен нулю: f Рdx+Q dy+Pdz =О.
L
Следовательно, в данном случае криволинейный интеграл не зависит
от вида пути интегрирования. |
|
Пример 58.3. Вычислить I |
= f х2у3 dx + dy + zdz, где кон- |
тур L - окружность х2 + у2 = |
L |
R 2 ; z = О: а) непосредственно, |
6) используя формулу Стокса, взяв в качестве поверхности полусферу
z = +Jя2 - х2 - у2.
Рис. 257
27f
+ JRcostdt=-R6
Q Решение: Поверхность интегрирования
изображена на рисунке 257.
а) Запишем уравнение окружности в
параметрической форме:
х = Rcost, у= Rsint, z =О, t Е [0;27Г].
По формуле (56.7) имеем:
211"
I = JR 2 cos2 t ·R 3 sin3 t(-Rsint) · dt+
о
27f
j sin4 tcos2 tdt+0=
оо
|
2п |
1 |
2 |
1 |
Rв |
2п |
|
|
|
= -R6 j |
(2sin2t) |
|
· 2 ·(1- cos2t)dt = - 8 |
·Jsin2 2tdt+ |
|
о |
|
|
|
|
о |
|
|
Rв 2п |
|
|
Rв 2n |
Rв |
|
7ГRв |
+ 8 |
Jsin2 2tcos2tdt = - |
16 |
J(1-cos4t) dt+O = - 16 |
27Г |
= --8-. |
оо
6)По формуле Стокса (58.13) находим:
I = //(О - |
О) dy dz + (О - О)dx dz + (О - |
3х2у2) dx dy = |
8 |
= -3 JJ х2у2 dx dy = -3 JJ х2у2 dx dy. |
|
S |
D |
Переходя к полярным координатам, получаем:
I = -3 JJr 5 sin2 'Р · cos2 'Рdr d'P = |
2n |
R |
-3 Jsin2 'Рcos2 'Рd'{J · Jr 5 dr = |
D |
О |
О |
=-~R6 |
27Г 1 |
1 |
1 |
2 |
7Г |
|
|
! |
-·sin2 |
2cpdcp = --R6 |
• - |
J(1 - |
cos4cp) dcp = |
|
6 |
4 |
8 |
2 |
|
|
|
|
|
о |
|
|
|
о |
|
|
• |
|
|
|
= - R6 . ср,27Г +О= - 1ГR6. |
|
|
|
|
16 |
о |
8 |
58.5.Некоторые приложения поверхностного интеграла 11 рода
Спомощью поверхностного интеграла П рода можно найти объем
тела, ограниченного сверху поверхностью S2 (z = z2 (x; у)), снизу -- поверхностью S 1 (z = z 1 (x;y)), сбокуцилиндрической поверхностью S3 , образующие которой параллельны оси Oz:
V = ~JJ xdydz + ydzdx + zdxdy, |
(58.14) |
s |
|
где S = S1 + S2 + Sз.
Действительно, положив в формуле Остроградского-Гаусса (58.9)
P(x;y;z) = х, Q(x;y;z) =О, R(x;y;z) =О, находим: |
|
JJ xdydz = JJJ dxdydz, |
т. е. |
V = JJ xdydz. |
(58.15) |
s |
v |
|
s |
|
Аналогично, |
полагая Р = О, |
Q = |
у, R = О, находим еще одну |
формулу для нахождения объема тела с помощью поверхностного ин
теграла П рода: |
JJ ydxdz. |
(58.16) |
V = |
s
Наконец, положив Р =О, Q =О, R = z, по формуле (58.9) находим
третью формулу |
JJ zdxdy, |
(58.17) |
V = |
s
выражающую объем тела через поверхностный интеграл П рода.
Сложив почленно равенства (58.15)-(58.17) и разделив на три, по
лучим формулу (58.14).
Другие применения поверхностного интеграла П рода рассмотрим
в главе XVI «Элементы теории поля».
Глава Xlll. ЧИСЛОВЫЕ РЯДЫ
/Лекции 51-521
§59. ЧИСЛОВЫЕ РЯДЫ
59.1. Основные понятия
Бесконечные ряды широко используются в теоретических исследо ваниях математического анализа, имеют разнообразные практические
применения.
~Числовим рядом (или просто р.ядом) называется выражение
вида |
|
00 |
|
L Un = U1 + U2 + ... + Un + ... , |
(59.1) |
n=1
где и1 , и2 , ... , Un, ... - действительные или комплексные числа, назы
ваемые -членами ряда, Un - общим членом ряда.
Ряд (59.1) считается заданным, если известен общий член ряда Un,
выраженный как функция его номера п: Un = f(n).
Е§] Сумма первых п членов ряда (59.1) называется п-й ·ч,асmи-чноii
суммоil, ряда и обозначается через Sn, т. е. Sn = и~ + и2 + · · · + Un·
Рассмотрим частичные суммы
Если существует конечный предел S = lim Sn последовательно
п---tоо
сти частичных сумм ряда (59.1), то этот предел называют суммоii
00
ряда (59.1) и говорят, что ряд сходится. Записывают: S = 2::: Un·
|
n=1 |
Если lim |
Sn не существует или lim Sn = оо, то ряд (59.1) назы- |
n-+оо |
n-1-oo |
вают расходящимся. Такой ряд суммы не имеет. |
Рассмотрим примеры. |
1. Ряд 2 + 17 - з;\ + 196 + ... нельзя считать заданным, а ряд |
2 +5 +8 +... - |
можно: его общий член задается формулой Un = 3п -1. |
2. |
Ряд О + О + О + |
... + О + |
... сходится, его сумма равна О. |
3. |
Ряд 1 + 1 + 1 + ... |
+ 1 + ... |
расходится, Sn = п -t оо при n -+ оо. |
4. |
Ряд 1-1+1-1+1-1+... |
расходится, так как последовательность |
частичных сумм 1, О, 1, О, 1, О, ... (S1 = 1, S2 = О, 53 = 1, ... ) не имеет
предела.
001
5.Ряд .L: п(п + 1) сходится. Действительно,n=l
S2 = - 1 |
+ - 1 |
= (1 - ~) + (~ - ~) = 1 - ~ |
1·2 |
2. 3 |
|
2 |
2 |
3 |
3' |
................... ' |
|
|
|
|
1 |
1 |
1 |
|
|
1 |
|
Sn = 1 ·2 + 2 ·3 + 3 ·4 + ···+ п(п + 1) = |
= (1- ~) + (~ - ~) + (~ - ~) + ... + (~ - п:1) = l - п:1 · |
Следовательно, |
|
Sn = lim |
|
__!_l) = 1, |
|
|
lim |
(1 - |
|
|
n--+oo |
|
n--+oo |
|
n + |
т. е. ряд сходится, его сумма равна 1.
Рассмотрим некоторые важные свойства рядов.
Своil,ство 1. Если ряд (59.1) сходится и его сумма равна S, то ряд
00 |
|
L CUn = CU1 + CU2 + ... + CUn + ... , |
(59.2) |
n=1
где с - произвольное число, также сходится и его сумма равна cS.
Если же ряд (59.1) расходится и с=/. О, то и ряд (59.2) расходится.
0 Обозначим п-ю частичную сумму ряда (59.2)через S~и). Тогда
s~и) = CU1 + CU2 + ... + CUn = с(и~ + Uz + ... + Uп) =с. Sn.
Следовательно,
lim s~и) = |
lim сSп =с· lim |
Sп =с· S, |
n--+oo |
n--+oo |
n--+oo |
т. е. ряд (59.2) сходится и имеет сумму cS. |
расходится, с =/. О, то и |
Покажем теперь, что |
если ряд |
(59.1) |
ряд (59.2) расходится. Допустим противное: ряд (59.2) сходится и имеет сумму S1 . Тогда
S1 = lim s~и) = lim |
сSп = с lim Sп. |
n--+oo |
n--+oo |
n--+oo |
Отсюда получаем: |
|
81 |
lim |
S - |
n--+oo |
п- С ' |
т. е. ряд (59.1) сходится, что противоречит условию о расходимости