Вы находитесь на странице: 1из 8

§5.

ПОВЕРХНОСТНЫЙ ИНТЕГРАЛ I РОДА


(ПО ПЛОЩАДИ ПОВЕРХНОСТИ)

Поверхностный интеграл I рода представляет собой такое же обобще-


ние двойного интеграла, каким криволинейный интеграл I рода является
по отношению к определенному интегралу.

1. Задача, приводящая к понятию поверхностного


интеграла I рода
Пусть (S ) – квадрируемая 1) поверхность в пространстве Oxyz , по ко-
торой распределена масса. Определим массу поверхности (S ) , если плот-
ность распределения массы в каждой точке M ( x, y, z ) ∈ ( S ) равна
γ ( x, y , z ) .
Эту задачу можно решить следующим образом. Разобьем поверхность
(S ) на n частей (ΔS1 ) , (ΔS 2 ) , …, (ΔS n ) . На каждой части (ΔSi ) выбе-
рем произвольную точку Pi (ξi ; ηi ; ζ i ) . Если часть (ΔSi ) мала, то можно
считать ее однородной, с плотностью распределения массы γ (ξi ; ηi ; ζ i ) .
Тогда приближенное значение массы mi части (ΔSi ) будет равно
mi ≈ γ (ξi ; ηi ; ζ i ) ⋅ ΔSi ,
где ΔSi – площадь (ΔSi ) . Так как масса m всей поверхности (S ) равна
сумме масс ее частей, то
n n
m = ∑ mi ≈ ∑ γ (ξi ; ηi ; ζ i ) ⋅ ΔSi .
i =1 i =1
n
Причем разность m − ∑ γ (ξi ; ηi ; ζ i ) ⋅ ΔSi будет тем меньше, чем мельче
i =1
разбиение поверхности (S ) . Следовательно, точное значение массы по-
верхности будет равно
n
m = lim ∑ γ (ξi ; ηi ; ζ i ) ⋅ ΔSi , (1)
λ →0
i =1
где λ – наибольший из диаметров частей (ΔSi ) .

1)
Напомним, что поверхность (S ) называется квадрируемой, если она имеет пло-
щадь.
1
К пределам вида (1) сводятся и ряд других задач математики и физи-
ки. Поэтому представляется целесообразным исследовать такие пределы,
отвлекаясь от их конкретного содержания.

2. Определение и свойства поверхностного интеграла I рода


Пусть (S ) – квадрируемая поверхность в пространстве Oxyz и на
поверхности (S ) задана функция u = f ( x, y, z ) .
1. Разобьем поверхность (S ) произвольным образом на n частей, не
имеющих общих внутренних точек:
(ΔS1 ) , (ΔS 2 ) , …, (ΔS n ) .
2. На каждой части (ΔSi ) выберем произвольную точку Pi (ξi ; ηi ; ζ i ) и
вычислим произведение f ( Pi ) ⋅ ΔSi = f (ξi ; ηi ; ς i ) ⋅ ΔSi , где ΔSi – пло-
щадь части (ΔSi ) .
n
Сумму I n (ΔSi , Pi ) = ∑ f ( Pi ) ⋅ ΔSi назовем интегральной суммой
i =1
для функции f ( x, y, z ) по поверхности (S ) (соответствующей данному
разбиению поверхности (S ) и данному выбору точек Pi ). Очевидно, что
интегральная сумма I n (ΔSi , Pi ) зависит от способа разбиения поверхности
(S ) и выбора точек Pi и, следовательно, для функции f ( x, y, z ) по по-
верхности (S ) можно записать множество различных интегральных
сумм.
Пусть d i – диаметр (ΔSi ) , λ = max d i .
1≤ i ≤ n
ОПРЕДЕЛЕНИЕ. Число I называется пределом интегральных
сумм I n (ΔSi , Pi ) при λ → 0 (обозначают lim I n (ΔSi , Pi ) ), если для любо-
λ →0
го ε > 0 существует δ > 0 такое, что для любого разбиения поверхно-
сти (S ) у которого λ < δ , при любом выборе точек Pi выполняется
неравенство I n (ΔSi , Pi ) − I < ε .
Если предел интегральных сумм I n (ΔSi , Pi ) при λ → 0 существует,
то его называют поверхностным интегралом I рода (по площади по-
верхности) от функции f ( x, y, z ) по поверхности (S ) .
Поверхностный интеграл I рода от функции f ( x, y, z ) по поверхно-
сти (S ) обозначают

∫∫ f ( x, y, z )ds
(S )

2
( f ( x, y, z ) называют подынтегральной функцией, (S ) – областью интегри-
рования, x, y, z – переменные интегрирования, ds – дифференциал пло-
щади поверхности).
Если существует ∫∫ f ( x, y, z )ds , то функция f ( x, y, z ) называется
(S )
интегрируемой по поверхности (S ) .
Достаточное условие существования поверхностного интеграла I рода
будет сформулировано позже, когда покажем способ его вычисления.

Определение поверхностного интеграла I рода по структуре такое же,


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

СВОЙСТВА ПОВЕРХНОСТНОГО ИНТЕГРАЛА I РОДА 1


1. ∫∫ ds = S , где S – площадь поверхности (S ) .
(S )
2. Постоянный множитель можно выносить за знак поверхностного инте-
грала I рода, т.е. ∫∫ c ⋅ f ( x, y, z )ds = c ⋅ ∫∫ f ( x, y, z )ds .
(S ) (S )
3. Поверхностный интеграла I рода от алгебраической суммы двух (конеч-
ного числа) функций равен алгебраической сумме поверхностных инте-
гралов I рода от этих функций, т.е.
∫∫ [ f1( x, y, z ) + f 2 ( x, y, z )]ds = ∫∫ f1( x, y, z )ds + ∫∫ f2 ( x, y, z )ds .
(S ) (S ) (S )
4. Если поверхность (S ) разбита на две части ( S1 ) и ( S 2 ) , не имеющие
общих внутренних точек, то
∫∫ f ( x, y, z )ds = ∫∫ f ( x, y, z )ds + ∫∫ f ( x, y, z )ds
(S ) ( S1 ) (S2 )
(свойство аддитивности поверхностного интеграла I рода).
5. Если всюду на поверхности (S ) функция f ( x, y, z ) > 0 ( f ( x, y, z ) ≥ 0 ), то

∫∫ f ( x, y, z )ds ≥ 0 .
(S )
6. Если всюду на поверхности (S )
f ( x, y, z ) < ϕ ( x, y, z ) ( f ( x, y, z ) ≤ ϕ ( x, y, z ) ),
то ∫∫ f ( x, y, z )ds ≤ ∫∫ϕ ( x, y, z )ds .
(S ) (S )

1
Предполагаем, что все рассматриваемые в свойствах интегралы существуют
3
7. (следствие свойств 6 и 1) Если m и M – соответственно наименьшее и
наибольшее значения функции f ( x, y, z ) на поверхности (S ) , то
m⋅S ≤ ∫∫ f ( x, y, z )ds ≤ M ⋅ S ,
(S )
где S – площадь поверхности (S ) .
8. Теорема (о среднем для поверхностного интеграла I рода). Если функ-
2
ция f ( x, y, z ) непрерывна на поверхности (S ) , содержащей свою гра-
ницу (если поверхность незамкнута), то найдется такая точка
P0 ( x0 ; y0 ; z0 ) ∈ (S ) , что справедливо равенство

∫∫ f ( x, y, z )ds = f ( x0 ; y0 ; z0 ) ⋅ S ,
(S )
где S – площадь поверхности (S ) .

2
Функция f ( x, y, z ) называется непрерывной в точке M 0 поверхности (S ) , ес-
ли выполняется условие lim f ( M ) = f ( M 0 ) . Функция, непрерывная в каждой
M →M0
M ∈( S )
точке поверхности (S ) называется непрерывной на поверхности (S ) .
4
3. Вычисление поверхностного интеграла I рода
Вычисление поверхностных интегралов I рода обычно производится
путем их сведения к двойным интегралам.
Пусть поверхность (S ) задана формулой
z = ϕ ( x, y ) , ( x; y ) ∈ (σ xy ) . (2)
В этом случае, говорят, что поверхность задана явно. При этом поверх-
ность называется гладкой, если функция ϕ ( x, y ) имеет непрерывные ча-
стные производные ϕ ′x ( x, y ) и ϕ ′y ( x, y ) в области (σ xy ) .
В явном виде можно также задать поверхность формулой x = ψ ( y, z ) ,
( y; z ) ∈ (σ yz ) или y = χ ( x, z ) , ( x; z ) ∈ (σ xz ) .
Если поверхность (S ) задана уравнением F ( x, y, z ) = 0 , не разрешен-
ным относительно ни одной из переменных, то говорят, что поверхность
задана неявно. При этом поверхность называется гладкой, если для любой
ее внутренней точки существует такая окрестность, которая может быть
задана явно и является гладкой. Пусть функция u = F ( x, y, z ) имеет не-
прерывные частные производные Fx′ , Fy′ и Fz′ . Точка M 0 ( x0 ; y0 ; z0 ) по-
верхности (S ) называется особой, если в этой точке частные производ-
ные функции u = F ( x, y, z ) одновременно обращаются в нуль. Если на по-
верхности (S ) нет особых точек, то поверхность является гладкой.
С геометрической точки зрения, гладкость поверхности (S ) означа-
ет, что в каждой внутренней точке поверхности существует касательная
плоскость (и нормаль), причем ее положение непрерывно меняется при пе-
ремещении точки касания по поверхности.
Поверхность, составленная из нескольких гладких частей, называется
кусочно-гладкой.
Справедлива следующая теорема.
ТЕОРЕМА 1. Если (S ) – гладкая поверхность, заданная уравнением
(2), (σ xy ) – квадрируемая область в плоскости xOy и функция f ( x, y, z )
непрерывна на (S ) , то f ( x, y, z ) интегрируема по поверхности (S ) и
справедливо равенство
∫∫ f ( x, y, z )ds = ∫∫ f (x, y,ϕ ( x, y)) ⋅ 1 + (ϕ ′x ) 2 + (ϕ ′y ) 2 dxdy . (3)
(S ) (δ xy )
ДОКАЗАТЕЛЬСТВО
По определению
n

∫∫ f ( x, y, z )ds = lim I n (ΔSi , Pi ) = lim ∑ f (ξi ; ηi ; ζ i ) ⋅ ΔSi .


λ →0 λ →0
i =1
(S )

5
Площадь ΔSi можно вычислить с помощью двойного интеграла по фор-
муле
ΔSi = ∫∫ 1 + (ϕ ′x ) 2 + (ϕ ′y ) 2 dxdy ,
( Δσ i )
где (Δσ i ) – проекция (ΔSi ) на плоскость xOy .
Согласно теореме ос среднем для двойного интеграла, существует точка
( xi yi ) ∈ (Δσ i ) такая, что

∫∫ (
1 + (ϕ ′x ) 2 + (ϕ ′y ) 2 dxdy = 1 + (ϕ ′x ( xi ; yi ) )2 + ϕ ′y ( xi ; yi ) 2 ⋅ Δσ i , )
( Δσ i )

(
⇒ ΔSi = 1 + (ϕ ′x ( xi ; yi ) )2 + ϕ ′y ( xi ; yi ) 2 ⋅ Δσ i , )
где Δσ i – площадь области (Δσ i ) .
Таким образом,
n

∫∫ f ( x, y, z )ds = λlim
→0
∑ f (ξi ; ηi ; ζ i ) ⋅ ( )
1 + (ϕ ′x ( xi ; yi ) )2 + ϕ ′y ( xi ; yi ) 2 ⋅ Δσ i .
(S ) i =1
Так как Pi (ξi ; ηi ; ζ i ) – любая точка области (ΔSi ) , то выберем ее так,
чтобы ее координаты были равны
ξi = xi , ηi = yi , ζ i = ϕ ( xi ; yi ) .
Тогда получаем
n

∫∫ f ( x, y, z)ds = λlim
→0
∑ f (xi ; yi ;ϕ ( xi ; yi )) ⋅ ( )
1 + (ϕ ′x ( xi ; yi ) )2 + ϕ ′y ( xi ; yi ) 2 ⋅ Δσ i .
(S ) i =1
Пусть d – наибольший из диаметров областей (Δσ i ) . По условию по-
верхность (S ) – гладкая. Значит функции ϕ ′x ( x, y ) и ϕ ′y ( x, y ) на (σ xy )
непрерывны и в силу (4) Δt → 0 при λ → 0 . Следовательно,
n

∫∫ f ( x, y, z)ds = dlim
→0
∑ f (xi ; yi ;ϕ ( xi ; yi )) ⋅ ( )
1 + (ϕ ′x ( xi ; yi ) )2 + ϕ ′y ( xi ; yi ) 2 ⋅ Δσ i =
(S ) i =1

= ∫∫ f (x, y,ϕ ( x, y)) ⋅ 1 + (ϕ ′x ) 2 + (ϕ ′y ) 2 dxdy . ∎


(δ xy )

ПРИМЕР. Найти интеграл ∫∫ zds , где ( S ) – часть z


(S ) 2
2 2
конуса z = x + y , вырезаемая плоскостями z = 1 и
z = 2. y
2
x

6
x y
Имеем: z′x = , z′y = ;
x2 + y2 x2 + y2

x2 y2
ds = 1 + ( z′x ) 2 + ( z′y ) 2 dxdy = 1 + + dxdy = 2dxdy
x2 + y 2 x2 + y 2
Следовательно,

∫∫ zds = ∫∫ x 2 + y 2 ⋅ 2dxdy = 2 ∫∫ r ⋅ rdrdϕ = y


(S ) (σ xy ) ( D) D
x
2ϕ 2 1 2
8 − 1 14 2
= 2 ∫ dϕ ⋅ ∫ r dr = 2 ⋅ 2π ⋅
2
= π.
0 1
3 3

СЛЕДСТВИЕ 2. Если (S ) – гладкая поверхность, заданная уравне-


нием x = ψ ( y, z ) , ( y; z ) ∈ (σ yz ) , (σ yz ) – квадрируемая область в плоско-
сти yOz и функция f ( x, y, z ) непрерывна на ( S ) , то f ( x, y, z ) интег-
рируема по поверхности ( S ) и справедливо равенство

∫∫ f ( x, y, z )ds = ∫∫ f (ψ ( y, z), y, z ) ⋅ 1 + (ψ ′y ) 2 + (ψ ′z ) 2 dydz .


(S ) (δ xy )

СЛЕДСТВИЕ 3. Если (S ) – гладкая поверхность, заданная уравне-


нием y = χ ( x, z ) , ( x; z ) ∈ (σ xz ) , (σ xz ) – квадрируемая область в плоско-
сти xOz и функция f ( x, y, z ) непрерывна на ( S ) , то f ( x, y, z ) интег-
рируема по поверхности ( S ) и справедливо равенство

∫∫ f ( x, y, z )ds = ∫∫ f (x, χ ( x, z ), z ) ⋅ 1 + ( χ ′x ) 2 + ( χ ′z ) 2 dxdz .


(S ) (δ xz )

В заключение этого пункта сформулируем теорему, которая очевид-


ным образом следует из теорем 1 – 3.
ТЕОРЕМА 4 (достаточные условия существования поверхностного
интеграла I рода). Пусть (S ) – кусочно-гладкая поверхность, которая
может быть явно задана, например, формулой z = ϕ ( x, y ) , ( x; y ) ∈ (σ xy ) .
Если (σ xy ) – квадрируемая область в плоскости xOy и функция
f ( x, y, z ) кусочно-непрерывна на ( S ) , то f ( x, y, z ) интегрируема по по-
верхности (S ) .
7
4. Геометрические и физические приложения
поверхностных интегралов I рода
1. Площадь S квадрируемой поверхности (S ) может быть найдена по
формуле S= ∫∫ ds .
(S )

Пусть (S ) – материальная квадрируемая поверхность в пространстве


Oxyz с плотностью γ ( x, y, z ) . Тогда справедливы следующие формулы:

2. ∫∫ γ ( x, y, z )ds = m – масса поверхности (S ) .


(S )

3. Статические моменты поверхности (S ) относительно плоскостей xOy ,


yOz и xOz равны соответственно:
S xy = ∫∫ z ⋅ γ ( x, y, z )ds , S yz = ∫∫ x ⋅ γ ( x, y, z )ds , S xz = ∫∫ y ⋅ γ ( x, y, z )ds .
(S ) (S ) (S )

S yz S xz S xy
4. x0 = , y0 = , z0 = – координаты центра тяжести поверхно-
m m m
сти (S ) .
5. Моменты инерции поверхности (S ) относительно осей Ox , Oy и Oz
равны соответственно:
I x = ∫∫ ( y 2 + z 2 ) ⋅ γ ( x, y, z )ds , I y = ∫∫ ( x 2 + z 2 ) ⋅ γ ( x, y, z )ds ,
(S ) (S )

∫∫ ( y
2
Iz = + x 2 ) ⋅ γ ( x, y, z )ds .
(S )

∫∫ ( x
2
6. I o = + y 2 + z 2 ) ⋅ γ ( x, y, z )ds – момент инерции поверхности (S )
(S )
относительно начала координат.
7. Если F = {Fx ; Fy ; Fz } – сила притяжения материальной точки
M 0 ( x0 ; y0 ; z0 ) массы m0 материальной поверхностью (S ) , то
x−x y−y
Fx = γ ⋅ m0 ⋅ ∫∫ 3 0 ⋅ γ ( x, y, z )ds , Fy = γ ⋅ m0 ⋅ ∫∫ 3 0 ⋅ γ ( x, y, z )ds ,
(S )
r (S )
r
z − z0
Fz = γ ⋅ m0 ⋅ ∫∫ 3
⋅ γ ( x, y, z )ds ,
(S )
r
где r = {x − x0 ; y − y0 ; z − z0 } , r = r , γ – гравитационная постоянная.