- •ПРЕДИСЛОВИЕ
- •ГЛАВА X. КРИВОЛИНЕЙНЫЕ, ДВОЙНЫЕ, ПОВЕРХНОСТНЫЕ И ТРОЙНЫЕ ИНТЕГРАЛЫ
- •1. Криволинейный интеграл скалярной функции (первого рода)
- •2. Криволинейный интеграл векторной функции (второго рода)
- •1. Поверхностный интеграл скалярной функции (первого рода)
- •2. Поверхностный интеграл векторной функции (второго рода)
- •ГЛАВА XI. ТЕОРИЯ ПОЛЯ
- •ГЛАВА XII. ЧИСЛОВЫЕ И ФУНКЦИОНАЛЬНЫЕ РЯДЫ. СТЕПЕННЫЕ РЯДЫ. РЯДЫ ФУРЬЕ
- •ГЛАВА XIII. ТЕОРИЯ ФУНКЦИЙ КОМПЛЕКСНОЙ ПЕРЕМЕННОЙ
- •РЕКОМЕНДУЕМАЯ ЛИТЕРАТУРА
31
∫∫ |
|
b→+∞ |
∫∫ |
|
|
|
|
|
b→+∞ |
∫a |
|
|
∫ |
b |
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
e−x2−y2 dxdy = |
lim |
e−x2−y2 dxdy = lim |
|
e−x2 dx |
e−y2 dy = |
||||||||||
D |
|
a→+∞ |
Πab |
|
|
|
|
|
a→+∞ |
− |
|
|
−b |
||
|
|
|
|
|
|
|
|
|
|
|
|||||
|
a |
|
|
|
b |
|
|
|
+∞ |
|
|
2 |
|
||
|
x2 |
|
|
|
|
y2 |
|
x2 |
|
|
|||||
= |
lim |
|
lim |
|
|
e |
− |
−∞ |
|
|
. |
||||
Отсюда, |
−a |
|
−b |
|
|
|
|
|
|||||||
|
a→+∞ ∫ |
e− |
|
dx b→+∞ |
∫ |
|
|
dy = ∫ |
e− |
|
dx |
|
|||
|
|
|
|
+∞ |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
∫ |
|
|
|
|
|
|
|
|
|
|
|
e−x2 dx = π
−∞
и, таким образом,
+∞ |
|
∫ e−x2 dx = √π. |
(19) |
−∞
В курсе теории вероятностей (IV семестр) мы будем использовать интеграл
∫+∞
e− x22 dx,
−∞
z
значение которого мы получим из (19) с помощью подстановки x = √ . Действительно, в
2
dz
этом случае dx = √2 и, значит,
+∞ |
2 |
1 |
+∞ |
z2 |
|
|
|
|||
∫ |
e−x |
dx = √ |
|
∫ |
e− |
2 dz = |
√π. |
|||
2 |
||||||||||
−∞ |
|
|
|
|
−∞ |
|
|
|
|
|
Следовательно,
∫+∞
e− x22 dx = √2π.
−∞
Ÿ3. Поверхностные интегралы, их свойства и вычисление
В этом параграфе мы определим интеграл по поверхности в пространстве, причем, как и для криволинейных интегралов, мы будем различать поверхностные интегралы скалярных и
векторных функций.
1. Поверхностный интеграл скалярной функции (первого рода)
Введем сначала необходимое для дальнейшего изложения понятие ности. Это понятие в отличие от области на плоскости не так интуитивно ясно и поэтому нуждается в более точном определении.
Всюду в этом пункте мы для упрощения рассуждений будем рассматривать
ниченную поверхность Q, имеющую однозначную проекцию на одну из координатных плос-
костей. Для определенности будем считать, что Q однозначно проектируется в замкнутую, квадрируемую область Qxy на плоскости Oxy.
32
y
Q
|
Z |
Qxy |
|
x |
|
Уравнение данной поверхности имеет вид |
|
z = z(x, y), |
(1) |
ãäå z(x, y) непрерывно дифференцируемая в области Qxy функция. Если Lxy граница обла- ñòè Qxy, то линия в пространстве
L = {(x, y, z(x, y)) | (x, y) Lxy}
называется границей èëè краем поверхности Q.
Разобьем поверхность на малые части ∆Qk, k = 1, n. Их проекции на плоскость Oxy разбивают область Qxy на малые части ∆Qxyk, k = 1, n с площадями ∆Sxyk. Выберем произвольно внутри каждой из частей разбиения поверхности по точке Mk ∆Qk, k = 1, n и обозначим че- рез ∆Qk часть касательной плоскости к данной поверхности в точке Mk, проекцией которой на плоскость Oxy служит ∆Qxyk. Пусть ∆Sk площадь части ∆Qk, k = 1, n. Таким образом,
поверхность |
Q |
оказывается покрытой |
чешуйками“ |
многогранной поверхности с площадью |
|
e |
|
e |
|||
n |
|
|
” |
e |
|
∑ e
∆Sk, которую мы можем рассматривать, как приближенное значение площади данной по-
k=1
верхности.
Если существует конечный предел площади описанной выше многогранной поверхности при условии, что диаметры всех частей разбиения поверхности Q ñòðå-
мятся к нулю, не зависящий от способа разбиения и выбора точек внутри частей разбиения, то он и считается площадью поверхности Q. В этом случае поверхность называется квад-
рируемой.
Предполагая теперь данную поверхность êâàдрируемой, установим зависимость между площадью ∆Sk произвольной части ∆Qk, k = 1, n разбиения и площадью ∆Sxyk проекции этой части на координатную плоскость Oxy. Воспользуемся тем, что угол между касательной плос-
Mk(xk, yk, zk) ∆Qk и плоскостью Oxy равен, очевидно, углу
γ(Mk) между вектором нормали этой плоскости и осью Oz. Â главе VIII, Ÿ4 мы установили, что нормальный вектор имеет координаты
′ ′ ¯
n¯(xk, yk) = −zx(xk, yk)¯ı − zy(xk, yk)¯ȷ + k.
Площадь ∆Sk части ∆Qk касательной к данной поверхности в точке Mk плоскости и площадь
∆Sxyk åå |
проекции на плоскость |
Oxy |
связаны равенством |
||||
e |
e |
S |
= |
∆Sxyk |
|||
|
|
|
|
∆ ek |
|
|
|
|
|
|
|
|
cos γ(Mk) |
||
и, поскольку
1
òî
cos γ(Mk) = |n¯(xk, yk)|,
e
∆Sk = |n¯(xk, yk)|∆Sxyk.
|
33 |
мы заключаем, что имеет место следующее приближенное равенство |
e |
Отсюда, учитывая, что ввиду малости части ∆Qk, ее площадь ∆Sk |
мало отличается от ∆Sk, |
∆Sk ≈ |n¯(xk, yk)|∆Sxyk. |
(2) |
Теперь мы достаточно подготовлены к тому, чтобы ввести определение поверхностного интеграла функции f(M), заданной в точках данной квадрируемой поверхности Q è âû-
числить его. Пусть, как и выше, ∆Qk, k = 1, n разбиение поверхности на малые части с диаметрами ∆dk и площадями ∆Sk. Выбрав произвольно внутри каждой из частей по точке
Mk ∆Qk, k = 1, n, составим интегральную сумму
n
In = |
f(Mk)∆Sk. |
k=1 |
|
∑ |
|
Определение 2. Если существует конечный предел интегральных сумм In при условии, |
|
что диаметры всех частей ∆Qk, k = 1, n разбиения поверхности Q стремятся к нулю, не зависящий от способа разбиения и выбора точек внутри частей разбиения, то он называется
поверхностным интегралом скалярной функции f(M) по поверхности Q или поверхностным |
|||||
интегралом первого рода и обозначается через |
|
|
|
||
|
∫∫ |
f(M)dS |
|
|
(3) |
|
|
|
|
||
|
Q |
|
|
|
|
или в координатах |
∫∫ |
|
|
|
|
|
f(x, y, z)dS. |
|
|
||
|
Q |
|
|
|
|
Таким образом, по определению |
k |
k |
k=1,n k |
|
|
∫∫ |
f(M)dS = ∆d→0 k=1 |
|
|||
Q |
n |
|
|
|
|
∑ |
f(M )∆S , ∆d = max ∆d . |
||||
|
lim |
||||
Если поверхностный интеграл (3) существует, то функция f(M) называется интегрируемой
по поверхности Q.
Если в каждой точке поверхности известна плотность ρ(M), M Q и функция ρ(M) интегрируема по данной поверхности, то ее масса вычисляется через поверхностный интеграл по
формуле |
m = ∫∫ |
ρ(M)dS, |
|
Q |
|
в чем можно убедиться точно также, как и для материальной линии (Ÿ1, пункт 1).
Что касается свойств, то они также с очевидными изменениями повторяют соответствующие свойства криволинейного интеграла (Ÿ1, пункт 1). В частности, площадь поверхности Q равна ∫∫
S = dS. (4)
Q
Займемся теперь вычислением поверхностного интеграла, предполагая подынтегральную функцию непрерывной на поверхности. С этой целью перепишем приведенную выше интегральную сумму, использовав уравнение поверхности (1) è формулу (2):
n |
n |
∑ |
∑ |
f(Mk)∆Sk ≈ |
f(xk, yk, z(xk, yk))|n¯(xk, yk)|∆Sxyk, |
k=1 |
k=1 |
причем данное равенство будет тем точнее, чем мельче будет разбиение поверхности на ча- сти. Сумма в правой части данного равенства является интегральной для двойного интеграла функции
f(x, y, z(x, y))|n¯(x, y)|
34
по области Qxy, являющейся проекцией поверхности Q на плоскость Oxy. Переходя к пределу
при условии, что диаметры всех частей ∆Qk, k = 1, n разбиения поверхности Q стремятся к нулю, мы получим формулу1
∫∫ |
f(x, y, z)dS = ∫∫ f(x, y, z(x, y))|n¯(x, y)|dxdy |
|
|
|
(5) |
||||||||
Q |
√ |
Qxy |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
или, поскольку |n¯(x, y)| = |
1 + (zx′ (x, y))2 + |
zy′ (x, y) |
2, формулу |
|
|
|
|
|
|||||
|
( |
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
+ zy′ |
(x, y) |
|
2 |
dxdy, |
(6) |
|||
∫∫ f(x, y, z)dS = ∫∫ f(x, y, z(x, y))√1 + (zx′ (x, y)) |
|
) |
|
||||||||||
Q |
|
Qxy |
|
|
|
|
|
( |
|
|
|
|
|
сводящую поверхностный интеграл к двойному.
Из (6), учитывая (4), следует, что площадь поверхности Q может быть вычислена по фор-
ìóëå |
S = ∫∫ √ |
|
|
|
|
|
|
|
|
1 + (zx′ (x, y))2 + |
zy′ |
(x, y) |
) |
2 dxdy. |
(7) |
||
|
Qxy |
( |
|
|
|
|
||
Замечание. Åñëè поверхность Q обладает более сложной структурой , но мы можем раз- |
||||||||
бить ее на части Q1, Q2, . . . , Qn, каждая из которых имеет однозначную проекцию на одну из координатных плоскостей, то
∫∫ |
f(x, y, z)dS = ∫∫ |
f(x, y, z)dS + ∫∫ |
f(x, y, z)dS + . . . + ∫∫ |
f(x, y, z)dS. |
Q |
Q1 |
Q2 |
Qn |
|
Пример 1. Вычислить массу части Q поверхности двухполостного гиперболоида с уравне-
íèåì
x2 + y2 − z2 = −1,
которая расположена в первом октанте и вырезается из данного гиперболоида плоскостью x + y = 2. Плотность в каждой точке гиперболоида задается выражением
ρ(x, y, z) = |
|
|xyz| |
. |
|
√x2 + y2 + z2 |
||
Решение. Очевидно, однозначной проекцией поверхности Q на координатную плоскость Oxy является треугольник Qxy, ограниченный осями координат и прямой y = 2 − x.
|
|
|
x |
0 |
|
|
|
|
|
2 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
Q |
|
|
|
|
|
Z 1 |
|
|
|
|
|
|
|
|
|
Qxy |
|
|
|
|
|
00 |
|
1 |
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
y |
|
|
|
Из уравнения гиперболоида |
|
√ |
|
|
|
|
|
Воспользуемся формулой (6). Поскольку |
1 + x2 + y2. |
|
|
||||
|
|
z = |
|
|
|
||
|
x |
y |
|
|
|
= √ |
+ 2x2 + 2y2 |
1 |
zx′ = √1 + x2 + y2 , zy′ |
= √1 + x2 + y2 , √1 + (zx′ )2 + (zy′ )2 |
11 + x2 + y2 , |
||||
|
Эта формула служит обоснованием существования поверхностного интеграла для непрерывной на поверх- |
||||||
ности функции.
