С. Р. Насыров
НЕСОБСТВЕННЫЕ ИНТЕГРАЛЫ.
ЧИСЛОВЫЕ РЯДЫ. МЕРА ЖОРДАНА.
КРАТНЫЕ, КРИВОЛИНЕЙНЫЕ И
ПОВЕРХНОСТНЫЕ ИНТЕГРАЛЫ
Казань – 2010
1 Введение
В настоящем учебном пособии излагаются теория несобственных инте-
гралов от функций одной вещественной переменной, числовые ряды, а
также интегральное исчисления функций нескольких вещественных пе-
ременных, криволинейные и поверхностные интегралы. Материал соот-
ветствует курсу «Математический анализ» для классических универси-
тетов.
2 Несобственные интегралы
2.1 Определение несобственного интеграла
Если функция f интегрируема по Риману на отрезке [a; b], то говорят, что
f интегрируема в собственном смысле на [a; b]. Rb
Если f не интегрируема
в собственном смысле на [a; b], то выражение a f (x)dx называют несоб-
ственным интегралом Римана. R +∞
Кроме того,
Rb
несобственным
R +∞
интегралами
называют выражения вида a f (x)dx, −∞ f (x)dx, −∞ f (x)dx.
Rb
В дальнейшем будем рассматривать несобственные интегралы вида
a (x)dx, где −∞ ≤ a < b ≤ +∞.
f
Если a 6= −∞ и для любого t ∈ [a; b) функция f нтегрируема по Ри-
ману на [a; t], то будем говорить, что интеграл ab f (x)dx является несоб-
R
Примеры. 1) 01 dx x
. Функция f (x) = dx
x
интегрируема на любом от-
резке [t; 1], 0 < t < 1, но не интегрируема на отрезке [0; 1], так как не
ограничена на этом отрезке. (Фактически функция f не определена в
точке 0, но как бы мы ни определили ее в этой точке, интеграл в соб-
ственном смысле не существует!) Имеем
Z 1 dx
= ln x|1t = − ln t → +∞, t→0+.
t x
Следовательно, несобственный интеграл с единственной особенностью в
точке R0 расходится.
2) 01 √dxx . Этот интеграл также простейший с единственной особенно-
стью на нижнем пределе. Он сходится, так как
Z 1 dx √ √
√ = 2 x|1t = 2( t − 1) → 2, t → 0+,
t x
и его значение
R +∞ dx
равно 2.
3) 0 1+x2 . Этот интеграл имеет единственную особенность в точке
+∞. Имеем
Z +∞ dx Z t
dx π
2
= lim 2
= lim arctg t = .
0 1+x t→+∞ 0 1 + x t→+∞ 2
теграл с единственной
Rb
особенностью в точке b, то для любого c ∈ (a; b)
сходится интеграл c f (x)dx и справедливо равенство
Z b Z c Z b
f (x)dx = f (x)dx + f (x)dx.
a a c
Rb
Обратно, если для некоторого
Rb
c ∈ (a; b) сходится интеграл c f (x)dx, то
сходится и интеграл a f (x)dx.
Доказательство проведите самостоятельно.
Теорема 3 (формула Ньютона-Лейбница). Пусть функция f
непрерывна на [a; b) и F — некоторая
Rb
первообразная функции f [a; b). То-
гда несобственный интеграл a f (x)dx сходится тогда и только тогда,
когда существует конечный предел F (b−) := limx→b− F (x). При этом
Z b
f (x)dx = F (b−) − F (a). (3)
a
Доказательство. Для любого t ∈ (a; b) по формуле Ньютона-Лейбница
для собственных интегралов имеем
Z t
f (x)dx = F (t) − F (a) (4).
a
Если существует конечный limx→b− F (x), то существует конечный предел
правой части равенства (3). Следовательно, существует конечный пре-
дел и левой части (3). Это означает, что ab f (x)dx сходится. Переходя к
R
Если, к примеру, сходится интеграл ab f (x)g 0 (x), то правая часть (5) име-
R
и справедливо (7).
Обратно, пусть сходится αβ f (ϕ(τ ))ϕ0 (τ )dτ . Тогда из строгой моно-
R
При этом ϕ−1 (u) → β, u → b−. Далее рассуждаем так же, как и в первом
случае. Теорема доказана.
Замечание. При замене переменных несобственный интеграл может
перейти в собственный.
Примеры.
1)
Z 1 Z 1 Z 1 dx Z 1
ln x = x ln x|10 − xd ln x = − x· =− dx = −1.
0 0 0 x 0
из
Rb
расходимости интеграла ab f (x)dx следует расходимость интеграла
a (x)dx.
ной особенностью в точке b. Пусть f (x) > 0, g(x) > 0, x ∈ [a; b), и
существует предел α := limx→b− fg(x)
(x)
. Если α < +∞, то из сходимо-
сти интеграла ab g(x)dx следует сходимость интеграла ab f (x)dx. Если
R R
Rb
α > 0, то из
Rb
расходимости интеграла a g(x)dx следует расходимость
интеграла a f (x)dx.
Доказательство. 1) Пусть α < +∞. В силу свойств предела функции
f (x)
∀ε > 0 ∃ c ∈ (a; b): ∀x ∈ (c; b) g(x)
< α + ε, т.е. f (x) < (α + ε)g(x). Если
Rb
интеграл a g(x)dx сходится, то вR силу теоремы 2 предыдущего пункта
для любого d ∈ (c; b) интегралR db g(x)dx сходится. В силу линейности
интегралов сходится интеграл db (α + ε)g(x)dx.R По теореме 1 сходится
интеграл d f (x)dx. Тогда схоидтся и интеграл ab f (x)dx.
Rb
g(x) 1
2) Если α > 0, то limx→b− f (x)
= α
< +∞ и утверждение следует из
доказанного п. 1).
Примеры.
1)
Z +∞ dx x1−p 1
p
= − 1+∞ = , p > 1.
1 x 1−p 1−p
При p < 1 аналогичными вычислениями показываем, что
Z +∞ dx
= +∞.
1 xp
Наконец, при p = 1 имеем
Z +∞ dx
= ln x|+∞
1 = +∞.
1 xp
R +∞ dx
Итак, интеграл 1 xp
сходится тогда и только тогда, когда p > 1.
2) 1
Z 1 dx x1−p 1
p
= = , p < 1.
0 x 1 − p 0 1 − p
При p > 1 видим, что Z 1 dx
= +∞.
0 xp
Наконец, при p = 1 получаем
Z 1 dx
= ln x|10 = +∞.
0 xp
R1
Итак, интеграл 0 dx
xp
сходится тогда и только тогда, когда p < 1.
3) Основываясь на примере 2), получаем, что интегралы вида ab dx
R
(x−a)p
,
Rb dx
a (b−x)p сходятся тогда и только тогда, когда p < 1.
Из теоремы 2 с использованием этих примеров следуют следующие
утверждения.
Теорема 3. Рассмотрим несобственный интеграл a+∞ f (x)dx с един-
R
Rb
Теорема 2 (признак абсолютной сходимости). Если интеграл
a f (x)dx сходится абсолютно, то он сходится.
Rb
По критерию Коши интеграл a f (x)dx сходится.
Замечание. Обратное утверждениен неверно. существуют интегра-
лы, которые сходятся, но не сходится абсолютно. Такие интегралы на-
зываются условно сходящимися.
Теорема 3 (признак Дирихле). Интеграл ab f (x)g(x)dx сходится,
R
если
1) функция f непрерывна на [a; b) и имеет ограниченную первообраз-
ную F на [a; b);
2) функция g непрерывно дифференцируема и монотонна на [a; b);
3) limx→b− g(x) = 0.
Rb
Доказательство. Применим к интегралу a f (x)g(x)dx критерий Ко-
ши. Для любых t0 , t00 ∈ (a; b) имеем
Z t00 Z t00 00
Z t00
f (x)g(x)dx = g(x)dF (x) = F (x)g(x)|tt0 − F (x)g 0 (x)dx. (1)
t0 t0 t0
ε ε ε
≤ M (|g(t00 )| + |g(t0 )|) ≤ M + = , t0 , t00 ∈ (tε ; b), (2)
4M 4M 2
Z 00 Z 00 Z 00
t t t
F (x)g 0 (x)dx ≤
|F (x)||g 0 (x)|dx ≤ M
|g 0 (x)|dx =
t0 t0 t0
Z 00
t
=M g (x)dx = M |g(t00 ) − g(t0 )| ≤ M (|g(t00 )| + |g(t0 )| ≤
0
t0
ε ε ε
≤M
+ = , t0 , t00 ∈ (tε ; b). (3)
4M 4M 2
Применяя к оценке правой части (1) неравенство треугольника с учетом
(2) и (3), получаем
Z 00
t ε ε
f (x)g(x)dx ≤ + = ε, t0 , t00 ∈ (tε ; b).
t0 2 2
Rb
По критерию Коши интеграл a f (x)g(x)dx сходится.
Теорема 4 (признак Абеля). Интеграл ab f (x)g(x)dx сходится,
R
если
1) функция f непрерывна на [a; b) и интеграл ab f (x)dx сходится;
R
и интеграл 01 (1−x)
dx
R
1/2 сходится.
2) Интеграл Z
sin x +∞
dx
1 x
сходится по признаку Дирихле. Действительно, пусть f (x) = sin x, g(x) =
1/x. Функция f имеет ограниченную первообразную F (x) = − cos x,
|F (x)| ≤ 1. Функция g непрерывно дифференцируема, монотонна и стре-
мится к нулю при x → +∞.
Покажем, что интеграл не сходится абсолютно. Применим признак
сравнения. Имеем
sin x sin2 x 1 − cos 2x
≥ = .
x
x 2x
x R +∞ sin2
Достаточно доказать, что 1 x
dx расходится. Если бы этот интеграл
сходился, то сходился бы и интеграл
Z +∞ dx Z +∞
sin2 x Z +∞
cos 2x
=2 dx + dx.
1 x 1 x 1 x
R +∞
(Интеграл 1 cosx2x dx сходится по Rпризнаку Дирихле, это показывается
так же, как и выше для интеграла 1+∞ sinx x dx). Однако интеграл 1+∞ dx
R
x
расходится.
Таким образом, интеграл 1+∞ sinx x dx сходится условно.
R
2.5 Несобственные интегралы общего вида
Пусть дан несобственный интеграл ab f (x)dx и существует конечное чис-
R
1 1/2−ε 1 1
!
= lim ln x − + ln x − =
ε→0+ 2 0 2 1/2+ε
ность в точке c ∈ (a; b). Говорят, что этот интеграл существует в смысле
главного значения по Коши, если существует конечный предел
"Z #
c−ε Z b
lim f (x)dx + f (x)dx .
ε→0+ a c+ε
3 Числовые ряды
3.1 Сходимость числового ряда
Числовым рядом называется формальная сумма
∞
X
an = a1 + a2 + . . . + an + . . . ,
n=1
где an — некоторая числовая последовательность. Частичной (точнее,
n-й частичной) суммой ряда ∞
P Pn
P∞ n=1 an называется величина Sn := k=1 ak .
Говорят, что ряд n=1 an сходится, если существует конечный предел
lim S . При этом число S := limn→∞ Sn называется суммой ряда
P∞n→∞ n
a
n=1 n и пишут
∞
X
S= an .
n=1
1 1 1 1 1 1 1 1
= 1− + − + − +. . .+ − = 1− → 1, n → ∞.
2 2 3 3 4 n n+1 n+1
Таким образом, ряд сходится и его сумма равна 1.
2) Геометрическая прогрессия
∞
1 + q + q2 + q3 + . . . + qn + . . . = q k−1
X
k=1
n=1
n
Имеем q → 0 тогда и только тогда, когда |q| < 1. Следовательно, при
|q| ≥ 1 ряд расходится.
2) Так называемый гармонический ряд
∞
X 1
.
n=1 n
Для него выполняется необходимое условие сходимости ряда: n1 → 0, n →
∞. Покажем, что, тем не менее, ряд расходится. Для этого применим
критерий Коши. Установим, что ∃ε > 0: ∀N ∃n ≥ m ≥ N : nk=m k1 > ε.
P
Теорема. Ряд ∞
P
n=1 an с неотрицательными членами сходится то-
гда и только тогда, когда последовательность его частичных сумм
ограничена.
Доказательство. Так как все an ≥ 0, последовательность Sn являет-
ся монотонно возрастающей. Но монотонная последовательность имеет
конечный предел тогда и только тогда, когда она ограничена.
Следующая теорема позволяет достаточно просто исследовать сходи-
мость рядов, используя аналогия с интегралами. Например, ряду
∞
X 1
√
n=1 n
можно сопоставить интеграл
Z +∞ dx
√ .
1 x
Так как интеграл сходится, то отсюда можно вывести сходимость ряда.
Теорема (интегральный признак сходимости ряда). Пусть f :
P∞
[1; +∞) → [0; +∞) некоторая невозрастающая функция. РядR +∞ n=1
f (n)
сходится тогда и только тогда, когда сходится интеграл 1 f (x)dx.
Доказательство. Пусть k = [x]. Тогда f (k + 1) ≤ f (x) ≤ f (k). Инте-
грируя, получаем
Z k+1
f (k + 1) ≤ f (x)dx ≤ f (k).
k
Суммируя эти неравенства, имеем
n
X Z n n
X
f (k + 1) ≤ f (x)dx ≤ f (k)
k=1 1 k=1
или Z n
Sn − f (1) ≤ f (x)dx ≤ Sn−1 . (1)
1
Если ряд ∞
P
n=1 f (n) сходится, то последовательность Sn сходится, сле-
довательно, ограничена,
Rx
т. е. существует M > 0 такое, что Sn ≤ M , n ≥ 1.
Обозначим F (x) = 1 f (t)dt. Тогда в силу неотрицательности f и (1)
Z n+1
F (x) ≤ f (t)dt ≤ Sn ≤ M,
1
Примеры.
1) Рассмотрим ряд ∞ 1
n=1 np . Если p ≤ 0, то этот ряд расходится, так
P
Тогда A(xn ) = [0, 1; 1]. Действительно, пусть x ∈ [0, 1; 1]. Тогда x мож-
но представить в виде десятичной дроби x = 0, β1 β2 . . .. Пусть yn =
0, β1 β2 . . . βn . Существует натуральное число kn такое, что yn = xkn . То-
гда limn→∞ xkn = limn→∞ yn = x. С другой стороны, множество членов
последовательности лежит в [0, 1; 1], поэтому A(xn ) и лежит в [0, 1; 1].
Теорема 1. Для любой числовой последовательности xn множество
A(xn ) содержит свои точные верхнюю и нижнюю грани.
Доказательство. Рассмотрим для примера случай точной верхней гра-
ни. Пусть a = sup A(xn ) ∈ R. В силу свойств sup существует последова-
тельность am ∈ A(xn ), сходящаяся к a. Так как am ∈ A(xn ), существует
xnm такое, что |xnm − am | < m1 . (Можно выбирать номера nm после-
довательно таким образом, чтобы они возрастали с ростом m.) Тогда
|xnm − a| ≤ |xnm − am | + |am − a| < m1 + |am − a| → 0, m → ∞. Следова-
тельно, limm→∞ xnm = a, т.е. a ∈ A(xn ).
Если a = −∞, то A(xn ) = {−∞} содержит одну точку — точку a.
Если a = +∞, то последовательность xn не ограничена сверху, следо-
вательно содержит подпоследовательность, сходящуюся к +∞. Теорема
доказана.
Определение. Число sup A(xn ) называется верхним пределом после-
довательности xn , а inf A(xn ) — нижним пределом.
Обозначается верхний предел lim n→∞ xn , а нижний — lim n→∞ xn .
Очевидна следующая
Теорема 2. Справедливо неравенство
lim xn ≤ lim xn .
n→∞ n→∞
an+1 q n+1
≤q= n .
an q
Ряд ∞ n ∞
P P
n=1 q сходится, так как q < 1. По теореме 3 сходится ряд n=1 an .
an+1
Пусть теперь β := lim n→∞ an > 1. Фиксируем число q ∈ (1; β). Тогда
an+1 q n+1
≥ q = n , n ≥ N,
an q
P∞
для некоторого N . Так как ряд n=1 q n сходится (q > 1), по теореме 3
ряд ∞
P
n=1 an также расходится.
an+1 (n + 1)! nn nn 1 1
= · = = n → < 1, n → ∞.
an (n + 1)n+1 n! (n + 1)n 1 + n1 e
2n √
4) Рассмотрим ряд ∞ 2
P
n a
n=1 ((−1)n +2)n . Имеем n = (−1)n +2 . Так как
√
lim n→∞ n an = 2 > 1, то по радикальному признаку Коши ряд расходит-
ся.
an+1 √
5) Теперь рассмотрим ряд ∞ 1
→ 1, n an → 1,
P
n=1 np . Так как an
n → ∞, то ни признак Даламбера, ни признак Коши не дают ответа,
сходится ряд или нет. Однако мы знаем, что при p > 1 ряд сходится,
при p ≤ 1 — расходится. Этот пример показывает, что для исследования
некоторых рядов нужны более тонкие признаки, чем признаки Коши и
Даламбера. Одним из таких признаков является признак Раабе.
Теорема 6 (признак Раабе). Пусть an > 0. Если
an+1
lim n 1 − > 1,
n→∞ an
P∞
то ряд n=1 an сходится. Если
an+1
lim n 1 − < 1,
n→∞ an
P∞
то ряд n=1 an расходится.
an+1
Доказательство. 1) Пусть β := lim n→∞ n 1 − an
> 1.Фиксируем
число λ ∈ (1; β). Тогда ∃N : ∀n ≥ N
an+1 an+1 λ λ
n 1− > λ =⇒ <1− <1− .
an an n n+1
Докажем, что при 0 < x < 1 выполняется неравенство 1 − λx < (1 −
x) . Действительно, функция f (x) := 1−λx−(1−x)λ имеет производную
λ
n
X ln
X
bk = aj ,
k=1 j=1
n=1
≤M max |an | → 0,
lq +1≤n≤lq+1
p → ∞.
n
!
X
≤C |ak − ak+1 | + |an+1 | + |am | =
k=m
n
!
X
=C (ak − ak+1 ) + an+1 + am = C((am − an ) + am + an ) = 2Cam .
k=m
ε
Для любого ε > 0 выберем N так, чтобы am < 2C
. Тогда при n ≥ m ≥ N
получаем
n
X
ak bk < ε.
k=m
P∞
По критерию Коши ряд n=1 an bn сходится.
Теорема 2 (признак Абеля). Ряд ∞
P
n=1 an bn сходится, если
1) последовательность an монотонна;
2) последовательность an ограничена;
3) ряд ∞
P
k=1 bk сходится.
Первый ряд ∞ n=1 (an − a)bn сходится по признаку Дирихле, так как по-
P
a1 − a2 + a3 − a4 + . . . + (−1)n+1 an
сходится.
Справделивость признака Лейбница легко обосновывается с помощью
признака Дирихле, если положить bn = (−1)n+1 .
(−1) n+1
Пример. Ряд ∞ = 1 − 12 + 31 − 14 + . . . сходится по признаку
P
n=1 n
Лейбница, но не сходится абсолютно, так как гармонический ряд ∞ 1
P
n=1 n
расходится.
Если ряд сходится. но не сходится абсолютно, то говорят, что он схо-
дится условно. Справедлива
Теорема 2. Если ряд ∞
P
n=1 an сходится условно, то для любого
P∞
чис-
ла A ∈ R существует биекция f : N → N такая, что ряд n=1 af (n)
сходится к числу A.
Таким образом, сумма ряда существенно зависит от порядка следо-
вания его членов. Однако для абсолютно сходящихся рядов сумма не
зависит от порядка суммирования.
Теорема 3. Если ряд ∞
P
a сходится абсолютно, то для любой
P∞ n=1 n
биекции f : N → N ряд n=1 af (n) сходится абсолютно, причем к той
же сумме.
Доказательство. Имеем
n
X l
X ∞
X
|af (k) | ≤ |aj | ≤ |aj | < +∞,
k=1 j=1 j=1
n n L
X X X
ak − af (k) ≥ |an | < ε,
k=1 k=1 k=N
так как при вычитании любой член ak первой суммы будет сокращаться с
некоторым членом второй суммы, если k < N . Из этого неравенства сле-
дует, что последовательности частичных сумм рядов ∞
P P∞
n=1 af (n) и n=1 an
имеют одинаковый предел. Теорема доказана.
a0 + a1 x + a2 x 2 + . . . + an x n + . . . , b0 + b1 x + b2 x2 + . . . + bn xn + . . . .
n=0
n
X
ck = a0 b0 +(a0 b1 +a1 b0 )+(a0 b2 +a1 b1 +a2 b0 ) . . .+(a0 bn +a1 bn−1 +. . .+an b0 ) =
k=0
ε n−N
X Xn
ε Xn
≤ |ak | + M |ak | ≤ + M |ak |.
2α k=1 n−N +1 2 k=n−N +1
Pn ε
По критерию Коши ∃N1 : ∀n ≥ m ≥ N1 k=m |ak | < 2M
. Если n ≥ N + N1 ,
то n X ε ε
M |ak | < M =
k=n−N +1 2M 2
и |γn | < ε. Это означает, что γn → 0, n → ∞, что и требовалось доказать.
2) Если оба ряда ∞
P P∞
n=0 an и n=0 bn сходятся абсолютно, то
n
X n
X
|ck | = (|a0 ||bk | + |a1 ||bk−1 | + . . . + |ak ||bn |) ≤
k=0 k=0
n
X n
X ∞
X ∞
X
≤ |ak | |bj | ≤ |ak | |bj | < +∞.
k=0 j=0 k=0 j=0
Так как частичные суммы ряда ∞ k=0 |ck | с неотрицательными членами
P
4 Мера Жордана в Rn
Мера Жордана является вспомогательным инструментом для построе-
ния кратного интеграла Римана. На плоскости (в R2 ) мера Жордана
множества — это его площадь, в R3 — объем, в Rn — n-мерный объем.
Однако подходы к определению меры (площади, объема) существуют
разные. Дело в том, что не любому множеству в Rn можно сопоста-
вить неотрицательное число (его меру), которое обладает свойством: ме-
ра объединения непересекающихся множеств равна сумме мер каждого
из множеств. Основная задача теории меры заключается в следующем.
Разбить все множество подмножеств Rn на две части — Σ и Σc . Эле-
менты из Σ называются измеримыми множествами, элементы из Σc —
неизмеримыми. На Σ определить функцию (меру) µ : Σ → R, при этом
Σ и µ обладают свойствами:
1) ∀A ∈ Σ µ(A) ≥ 0;
2) ∀A, B ∈ Σ A ∩ B, A ∪ B, A \ B ∈ Σ;
3) если A, B ∈ Σ, A ∩ B = ∅, то µ(A ∪ B) = µ(A) + µ(B).
Мы будем строить σ и меру µ (меру Жордана), обладающие допол-
нительными естественными свойствами:
4) Если ϕ — некоторое движение в Rn , то ∀A ∈ Σ множество ϕ(A) ∈ Σ
и µ(ϕ(A)) = µ(A);
5) Множество Σ содержит все параллелепипеды вида [a1 ; b1 ]×[a2 ; b2 ]×
. . . × [an ; bn ], при этом µ([a1 ; b1 ] × [a2 ; b2 ] × . . . × [an ; bn ]) = nk=1 (bk − ak ).
Q
0 ≤ µ∗ (k; a) ≤ µ∗ (k + 1; a) ≤ µ∗ (k + 1; a) ≤ µ∗ (k; a)
Итак, для любых ε > 0 и k ≥ k(δ) имеем µ∗ (Γ) ≤ εµ∗ (k; A). Устремляя
k → ∞, получаем µ∗ (Γ) ≤ εµ∗ (A). Наконец, устремляя ε → 0, получаем
µ∗ (Γ) ≤ 0, откуда следует, что µ∗ (Γ) = 0.
Пример. Покажем, что шар Bn (R) := {x ∈ Rn | kxk ≤ R}, R > 0, из-
мерим. Действительно, это — ограниченое множество и его границу мож-
но представить
q как объединение
q графиков двух непрерывных функций
2
Pn−1 2 2
Pn−1 2
xn = R − i=1 xi , xn = − R − i=1 xi , заданных на компактном
множестве Bn−1 (R). Поскольку по доказанной теореме эти графики яв-
ляются нуль-множествами, по свойствам множеств меры нуль и граница
∂Bn (R) является нуль-множеством. По первому критерию измеримости
шар Bn (R) измерим.
0 0
∪li=1 (c + Qi ) = c + ∪li=1 Qi ⊂ c + A ⊂ c + ∪m m
i=1 Qi = ∪i=1 (c + Qi ).
m
∗ ∗
(∪m Q0i )) µ (∪m Q0i )) µ(c+Q0i ) =
X
≤ µ∗ (c+A) ≤ µ (c+A) ≤ µ i=1 (c + = i=1 (c + =
i=1
m
µ(Q0i ) = µ∗ (k; A).
X
=
i=1
в R3 : ZZZ
f (x1 , x2 , x3 ) dx1 dx2 x3 ,
A
в R2 : ZZ Z
... f (x1 , x2 , . . . , xn ) dx1 dx2 . . . xn .
A
2) Если τ 0 — измельчение τ , то
p p
MAi (f )µ(A0j ) ≥ MA0j (f )µ(A0j ) =
X X X X
=
i=1 j:A0j ⊂Ai i=1 j:A0j ⊂Ai
q
MA0j (f )µ(A0j ) = S ∗ (f, τ 0 ).
X
=
j=1
k k
ε
µ(Q−
X X
µ(A1 ) ≤ i ) = µ(Qi ) < .
i=1 i=1 4K
n
X n
X n
X
≤ f (ξi )µ(Ai ) ≤ M mµ(Ai ) = M mµ(Ai ) = M µ(A),
i=1 i=1 i=1
Обозначим R
A f (x)g(x)dx
α= R ,
A g(x)dx
тогда α ∈ [m; M ].
Пусть теперь функция f является к тому же непрерывной на A и
множество A линейно связно и компактно. В силу теоремы Вейерштрасса
можно считать, что m = inf A f , M = supA f . Непрерывная функция на
линейно связном множестве принимает любое значение, промежуточное
между m и M . Поэтому существует точка x0 ∈ A такая, что f (x0 ) = α.
Это завершает доказательство теоремы 6.
Упражнение. Сформулируйте обычную теорему о среднем (случай
g ≡ 1).
Теорема 7 (аддитивность интеграла как функции множества).
Пусть функция f ограничена и интегрируема на множестве A = A1 ∪
A2 , где A1 и A2 измеримы и не пересекаются. Тогда f интегрируема на
A1 и A2 и Z Z Z
f (x)dx = f (x)dx + f (x)dx. (3)
A A1 A2
Аналогично, если
R
для любого y ∈ B функция f (x, y) интегрируема по x
на A и Φ(y) := A f (x, y)dx, то функция Φ интегрируема на B и
Z Z Z Z
f (x, y)dxdy = Φ(y)dy = f (x, y)dx dy.
A×B B B A
Докажем первое утверждение. Рассмотрим некоторое разбиение τA =
(Ai )1≤i≤p множества A. Фиксируем некоторую точку xi ∈ Ai . Пусть TτA =
(xi )1≤i≤p . Тогда интегральная сумма S(F, τA , TτA ) = pi=1 F (xi )µ(Ai ). Пусть
P
Тогда Z
mAi ×Bj (f )µ(Bj ) ≤ f (xi , y)dy ≤ MAi ×Bj (f )µ(Bj ).
Bj
Суммируя, получаем
q
X q Z
X q
X
mAi ×Bj (f )µ(Bj ) ≤ F (xi ) = f (xi , y)dy ≤ MAi ×Bj (f )µ(Bj ).
j=1 j=1 Bj j=1
Окончательно получаем
ствует предел limd(τA )→0 S(F, τA , TτA ) = A×B f (x, y)dxdy. По определению
интеграла Римана функция F интегрируема на A и
Z Z
F (x)dx = f (x, y)dxdy.
A A×B
Теорема доказана.
Замечание. Обычно записывают
Z Z Z Z
f (x, y)dy dx = dx f (x, y)dy,
A B A B
Z Z Z Z
f (x, y)dx dy = dy f (x, y)dx.
B A B A
Эти интегралы называют повторными интегралами.
Следствие 1. Если функция f непрерывна на [a; b] × [c; d], то
ZZ Z b Z d Z d Z b
f (x, y)dxdy = dx f (x, y)dy = dy f (x, y)dx.
[a;b]×[c;d] a c c a
Так как функция f (x, xn+1 ) интегрируема на отрезке [ϕ(x); ψ(x)], то функ-
ция fe(x, xn+1 ) также интегрируема на нем. Кроме того, fe(x, xn+1 ) инте-
грируема на [m; ϕ(x)] [ψ(x); M ], поскольку равна нулю за исключением,
быть может, концевых точек. Имеем
Z M Z ϕ Z ψ(x)
fe(x, xn+1 )dxn+1 = (x)fe(x, xn+1 )dxn+1 + fe(x, xn+1 )dxn+1 +
m m ϕ(x)
Z M Z ψ(x)
+ fe(x, xn+1 )dxn+1 = f (x, xn+1 )dxn+1 .
ψ(x) ϕ(x)
Z Z ψ(x)
= dx f (x, xn+1 )dxn+1 .
A ϕ(x)
С другой стороны,
Z Z
fe(x, x n+1 )dxdxn+1 = fe(x, xn+1 )dxdxn+1 +
A×[m;M ] Aψ
ϕ
Z Z
+ ψ
fe(x, xn+1 )dxdxn+1 = f (x, xn+1 )dxdxn+1 .
A×[m;M ]\Aϕ Aψ
ϕ
ZZZ Z 1 ZZ
f (x, y, z)dxdydz = dx f (x, y, z)dydz =
A −1 Kx
√ √
Z 1 Z 1−x2 Z 1−x2 −y 2
= dx √ dy √ f (x, y, z)dz.
−1 − 1−x2 − 1−x2 −y 2
x = r cos ϕ, y = sin ϕ, z = h.
∂(x, y, z)
= abcr.
∂(r, ϕ, h)
∂(x, y, z)
= −abcr2 sin ψ.
∂(r, ϕ, ψ)
µ(Φ(Qxρ 0 ))
lim = |IΦ (x0 )|.
ρ→0 µ(Qxρ 0 )
Тогда
|Φj (x) − Φj (x0 ) − Φ0j (x0 )(x − x0 )| = |Φ0j (yj )(x − x0 ) − Φ0j (x0 )(x − x0 )| =
n " # n
X ∂Φ ∂Φj ε
j X
=
(yj ) − (x0 ) (xi − x0i ) ≤
√ |xi − x0i | ≤
i=1 ∂xi ∂xi i=1 n n
n
ε X ε
≤ √ kx − x0 k = √ kx − x0 k,
n n i=1 n
если x, x0 ∈ K, kx − x0 k < δ. Из последнего неравенства следует, что
kΦ(x) − Φ(x0 ) − Φ0 (x0 )(x − x0 )k1 ≤ √εn kx − x0 k, следовательно, kΦ(x) −
Φ(x0 ) − Φ0 (x0 )(x − x0 )k ≤ εkx − x0 k. Лемма доказана.
Лемма 2. Пусть Φ : U → V — некоторый диффеоморфизм, U , V
— открытые множества в Rn . Тогда для любого компакта K ⊂ U
существует константа M такая, что для любого x ∈ K справедлива
оценка kA−1 0
x k ≤ M , где Ax := Φ (x).
Тогда
A(Qρ(1−γ) ) ⊂ φ(Qρ ) ⊂ A(Qρ(1+γ) ).
Ясно, что φ(Qρ ) = Φ(Qxρ 0 )−Φ(x0 ), Qρ = Qxρ 0 −x0 . Используя результаты об
искажении меры куба при линейных преобразованиях и инвариантность
меры относительно параллельных переносов, получаем
или
|IΦ (x0 )|(1 − γ)n µ(Qxρ 0 ) ≤ µ∗ (Φ(Qxρ 0 )) ≤ |IΦ (x0 )|(1 − γ)n µ(Qxρ 0 ).
Таким образом,
µ∗ (Φ(Qxρ 0 ))
−ε < [(1−γ)n −1]|IΦ (x0 )| ≤ −|IΦ (x0 )| ≤ [(1+γ)n −1]|IΦ (x0 )| < ε,
µ(Qxρ 0 )
следовательно,
µ(Φ(Qx0 ))
ρ
− |IΦ (x0 )| < ε, 0 < ρ < δ.
∗ x
µ (Q 0 )
ρ
Лемма 4 доказана.
Теорема 1. Пусть Φ : U → V — диффеоморфизм и D — замкнутое
измеримое множество в U . Тогда Φ(D) измеримо.
Доказательство. Пусть K ⊂ U — компактное множество такое, что
D ⊂ K ◦ . В силу леммы 4 существует положительные константы C и δ
такие, что для любого куба Qxρ , x ∈ K, ρ < δ, имеет место неравенство
µ(Φ(Qxρ ))
≤ C.
µ(Qxρ )
Так как множество D измеримо, ∂D — нуль-множество по Жордану.
Поэтому для любого ε > 0 существует покрытие D ⊂ ∪ki=1 Qi кубами
такими, что ki=1 µ(Qi ) < ε/C. Можно считать Qi настолько малыми, что
P
x1 = r cos ϕn−1 ,
x2 = r sin ϕn−1 cos ϕn−2 ,
x3 = r sin ϕn−1 sin ϕn−2 cos ϕn−3 ,
(1)
······ ··· ······························
xn−1 = sin ϕn−1 sin ϕn−2 . . . sin ϕ2 cos ϕ1 ,
xn = sin ϕn−1 sin ϕn−2 . . . sin ϕ2 sin ϕ1 ,
∂(x1 , x2 , . . . , xn ) ∂(x2 , . . . , xn )
= .
∂(t, ρ, ψ1 , . . . , ψn−2 ) ∂(ρ, ψ1 , . . . , ψn−2 )
∂(x2 , . . . , xn )
= ρn−2 sinn−3 ψn−2 sinn−4 ψn−3 . . . sin2 ψ3 sin ψ2 .
∂(ρ, ψ1 , . . . , ψn−2 )
1
Z r0 (1− n ) rn−1 dr Z π n−2 Z π
= lim α
sin ϕn−1 dϕn−1 sinn−3 ϕn−2 dϕn−2 ×
n→∞ r0
n
r 0 0
Z π Z π Z 2π
× . . . × sin2 ϕ3 dϕ3 sin ϕ2 dϕ2 dϕ1 =
0 0 0
1
Z r0 (1− n ) dr Z r0 dr
= C lim =C ,
n→∞ r0
n
rα+1−n 0 rα+1−n
где C > 0 — константа. Таким образом,R наш интеграл сходится тогда и
только тогда, когда сходится интеграл 0r0 rα+1−n
dr
, т.е. при α + 1 − n < 1,
что эквивалентно неравенству α < n.
2) Рассмотрим случай x0 = ∞. Аналогичные рассуждения показыва-
ют, что Z
dx
, r0 , α ∈ R, r0 > 0.
kxk>r0 kxkα
R +∞ dr
сходится тогда и только тогда, когда сходится интеграл r0 rα+1−n
, т. е.
при α + 1 − n > 1, что эквивалентно неравенству α > n.
ции (
f (x), f (x) ≥ 0;
f+ (x) =
0, f (x) < 0,
(
0, f (x) ≥ 0;
f− (x) =
−f (x), f (x) < 0,
Ясно, что
ствует
R
измеримое подмножество B ⊂ A такое, что f > 0 на B и
B f (x)dx > α.
R β−α
Доказательство. Пусть β = A f (x)dx, β > α, и ε = 2
. тогда суще-
ствует δ > 0 такое, что для любого τA = (Ai )1≤i≤p
f (x)dx, B ⊂ Rn , n ≥ 2
R
Теорема 2. Если несобственный интеграл B
сходится, то он сходится абсолютно.
Доказательство. RПредположим, что B |f (x)|dx расходится. Докажем,
R
Z Z Z Z
2 f+ (x)dx ≥ f+ (x)dx f− (x)dx > 2 |f (x)|dx + 2n,
Cn Cn Cn Bn
откуда Z Z
f+ (x)dx > |f (x)|dx + n.
Cn Bn
6 Криволинейные интегралы
6.1 Кривые в Rn
Путь ω в Rn — это непрерывное отображение ω : [a; b] → Rn некоторого
отрезка [a; b] в Rn . Два пути ω1 : [a; b] → Rn и ω2 : [c; d] → Rn называются
эквивалентными, если существует гомеоморфизм ϕ : [a; b] → [c; d] такой,
что ω1 = ω2 ◦ ϕ. Класс эквивалентности C путей называется кривой в Rn .
Если ω — представитель класса эквивалентности C, то говорят, что ω —
параметризация кривой C. Параметризация дает представление кривой
в виде x = ω(t), a ≤ t ≤ b.
Если при определении ограничиться только монотонно возрастающи-
ми гомеоморфизмами ϕ, то соответствующий класс эквивалентности на-
зывается ориентированной кривой, т.е. кривой, на которой задана ориен-
тация (направление обхода, соответствующее возрастанию параметра t).
Если путь ω : [a; b] → Rn непрерывно дифференцируем и kω 0 (t)k 6= 0,
t ∈ [a; b], то ω называется гладким путем. На множестве гладких путей
можно ввести отношение эквивалентности так же, как и выше, если в
качестве ϕ брать непрерывно дифференцируемые функции с ϕ0 (t) 6= 0,
t ∈ [a; b]. Кроме того, очевидным образом определяется понятие гладкой
ориентированной кривой.
Путь ω : [a; b] → Rn называется кусочно-гладким, если существует
разбиение отрезка [a; b] на конечное число подотрезков, на каждом из
которых ω является гладким. Класс эквивалентности кусочно-гладкого
пути называется кусочно-гладкой кривой.
Путь ω : [a; b] → Rn называется замкнутым, если ω(a) = ω(b). Класс
эквивалентности замкнутого пути называется замкнутой кривой.
Пусть ω : [a; b] → Rn — параметризация кривой C, точки t0 = a <
t1 < t2 < . . . < tn = b — некоторое разбиение отрезка [a; b]. Ломаная с
последовательными вершинами в точках ω(t0 ), ω(t1 ) . . . , ω(tn ) называется
ломаной, вписанной в кривую C. Кривая C называется спрямляемой,
если конечен супремум длин ломанных, вписанных в C. Этот супремум
называется длиной кривой C. Очевидна
Лемма. Пусть ω : [a; b] → Rn — некоторое представление кривой
C, ω = (ω1 , . . . , ωn ). Кривая C спрямляема тогда и только тогда, когда
функции ωk , 1 ≤ k ≤ n, являются функциями ограниченной вариации.
случае R2 Z Z
ω= f (x, y)dx + g(x, y)dy,
C C
3
В случае R
Z Z
ω= f (x, y, z)dx + g(x, y, z)dy + h(x, y, z)dz.
C C
R H
Если кривая замкнута, то иногда вместо C ω пишут C ω.
Теорема. Если fjR — непрерывные функции, то криволинейный ин-
теграл второго рода C nj=1 fj (x)dxj существует. Если
P
βgj )dxRj , α, β ∈ R. R R
1) C (αω1 + βω2 ) = α C ω1 + β C ω2 . Это следует из линейности инте-
гральных
R
сумм. R R
2) C1 +C2 ω = C1 ω + C2 ω.
3) Пусть C −R получается из кривой сменой ориентации (направления
обхода). Тогда C − ω = − C ω.
R
b
dg(x(t))
Z
= dt = g(x(t))|ba = g(x(b)) − g(x(a)) = g(B) − g(A).
a dt
Теорема 2. Пусть U ⊂ Rn — некоторая область, ω = nj=1 fj (x)dxj
P
3) =⇒ 4). Очевидно.
4) =⇒ 5). Пусть C — простая замкнутая ломаная в U с вершина-
ми A1 , A2 , . . . , As . Поместим C в открытое множество V такое, что V
компактно и содержится в U . Положим Mj = supV |fj |, по теореме Вей-
ерштрасса Mj < +∞. Построим последовательность замкнутых гладких
кривых Cm , которые приближаются к C при m → ∞ следующим об-
разом. Заменим часть ζkm ломаной C, состоящей из двух отрезков и ле-
жащей в 1/m-окрестности вершины Ak , дугой окружности σkm , которая
касается этих отрезков в их концевых точках. При достаточно больших
m кривые Cm лежат в V , причем длины l(ζkm ), l(σkm ) → 0, m → ∞,
для любого k. Имеем C = ξ0m + ζ1m + ξ1m + ζ2m + ξ2m + . . . + Rζsm + ξsm ,
Cm = ξ0m +σ1m +ξ1m +σ2m +ξ2m +. . .+σsm +ξsm , поэтому, поскольку Cm ω = 0
для любого m, имеем
s Z s Z s Z s Z
Z Z Z ! !
X X X X
ω = ω − ω =
ω+ ω − ω+ ω =
ξm ζm m σm
C C Cm
i=0 i i=1 i i=0 ξi i=1 i
s Z s Z
n s
X
[l(ζim ) + l(σim )].
X X X
=
ω − ω ≤
M j
i=1ζm i σm
i=1 i j=1 i=1
Итак, Z n s
Mj [l(ζim ) + l(σim )].
X X
ω ≤
C j=1 i=1
utej )dx0k (u)du = 01 fj (x + utej )tdu = tfj (x + θtej ), где θ = θ(t) ∈ (0; 1).
R
Теорема доказана.
Как следствие получаем следующее утверждение.
Теорема 3. Если dg(x) = ω, где ω = nj=1 fj (x)dxj — дифференци-
P
Z 2π
sin t cos t
Z 2π
0 0
= − 2 (cos t) + (sin t) dt = dt = 2π 6= 0.
0 cos t + sin2 t cos2 t + sin2 t 0
Пример. Рассмотрим
Имеем
Z d Z ψ(x)
ZZ
∂P (x, y) ∂P (x, y)
− dxdy = − dx dy =
D ∂y c ϕ(x) ∂y
Z d Z d Z d
ψ(x)
=− P (x, y)|ϕ(x) dx = − P (x, ψ(x)) + P (x, ϕ(x)) =
c c c
Z Z Z
=− P (x, y)dx + P (x, y)dx = P (x, y)dx+
a8 a7 a6 a5 a1 a2 a3 a4 a5 a6 a7 a8
Z Z Z Z
+ P (x, y)dx + P (x, y)dx + P (x, y)dx = P (x, y)dx.
a1 a2 a3 a4 a8 a1 a4 a5 Γ
p
X ZZ p
X
= f (x(ui , vi ), y(ui , vi )) ∗
|IΦ (u, v)|dudv = f (x(ui , vi ), y(ui , vi ))µ(Ai ) =
i=1 Ai i=1
p
X
= f (xi , yi )µ(Ai ),
i=1
где
RR
Tτ состоит из точек (xi , yi ). При d(τ ∗ ) → 0 имеем d(τ ) → 0 и S(f, τ, Tτ ) →
A f (x, y)dxdy. Теорема доказана.
Здесь точки θk ∈ [tk−1 ; tk ]. Функции x0i (t) непрерывны на [a; b], следова-
тельно, они равномерно непрерывны, т. е. ∀ε > 0 ∃δ > 0 : ∀θ0 , θ00 ∈ [a; b]
ε
|θ0 − θ00 | < δ =⇒ |x0i (θ0 ) − x0i (θ00 )| < √ .
n(b − a)
Следовательно, если d(τ ) < δ, то
v v
m uX
X u n m u n
X uX
t (x0 (θ )2 ∆t − t (x0 (θ )2 ∆t ≤
i k k i ki k
k=1 i=1 k=1 i=1
v v
m
m uX
X u n m u n
X X uX
∆tk t (x0i (θk )2 − t (x0 (θ )2 ≤
≤ i ki
k=1 k=1 i=1 k=1 i=1
v
m u n m
X uX X ε
≤ ∆tk t (x0i (θk − x0i (θki )2 < ∆tk = ε.
k=1 i=1 k=1 b−a
Итак,
m
Z
b
0
X
kx (t)kdt − kx(t ) − x ( k−1 < ε,
t )k
k
a
k=1
2) Линейность.
Z Z Z
(αf + βg)ds = α f ds + β gds.
Γ Γ Γ
3) Аддитивность.
Z Z Z
f ds = f ds + f ds.
Γ1 +Γ2 Γ1 Γ2
4) Оценка интеграла.
Z
f ds ≤ max |f | · l(Γ) (∗).
Γ
Γ
Z n
bX x0j (t) 0
Z X n
= fj (x(t)) kx (t)kdt = fj (x) cos αj (x)ds,
a j=1 kx0 (t)k Γ j=1
x0j (t)
где cos αj (x) = kx0 (t)k
— j-ая компонента единичного касательного век-
x0 (t)
тора ~e = kx0 (t)k к кривой Γ в точке x = x(t) (направляющий коси-
нус вектора касательной). Таким образом, ~e = (cos α1 , cos α2 , . . . , cos αn ),
Pn 2
j=1 cos αj = 1.
Отметим частные случаи.
При n = 2 имеем
Z Z
f dx + gdy = [f cos α + g sin α]ds,
Γ Γ
7 Поверхностные интегралы
7.1 Гладкие поверхности в трехмерном пространстве
Сначала рассмотрим пример: часть единичной сферы x2 + y 2 + z 2 = 1,
лежащая в положительно октанте. Множество точек этой поверхности
можно задать с помощь двух параметров — углов Эйлера
x2 y 2 z 2
+ 2 + 2 = 1.
a2 b c
2 2 2
Тогда F (x, y, z) = xa2 + yb2 + zc2 −1 и ∇F = (2 ax2 , 2 by2 , 2 cz2 ). В качестве вектора
нормали можно взять вектор ( ax2 , by2 , cz2 ).
Введем величины
F =< Φ0u , Φ0v >= x0u x0v + yu0 yv0 + zu0 zv0 ,
G = kΦ0v k2 = (x0v )2 + (yv0 )2 + (zv0 )2 .
Имеем A2 + B 2 + C 2 = kΦ0u × Φ0v k2 = kΦ0u k2 kΦ0v k2 sin2 α = kΦ0u k2 kΦ0v k2 −
kΦ0u k2 kΦ0v k2 cos2 α = kΦ0u k2 kΦ0v k2 − < Φ0u , Φ0v >2 = EG − F 2 . Итак,
A2 + B 2 + C 2 = EG − F 2 .
Итак, справедлива
Теорема. Если Φ : D → R3 — некоторая непрерывно дифференци-
руемая инъективная функция, параметризующая поверхность S, то
следующие условия равносильны:
1) векторы Φ0u и Φ0u линейно независимы;
2) Φ0u × Φ0v 6= θ;
3) A2 + B 2 + C 2 6= 0;
4) EG − F 2 6= 0.
При этом, (A, B, C) — вектор нормали и его длина равна
√ √
A2 + B 2 + C 2 = EG − F 2 .
kΦ0u (u, v)h × Φ0u (u, v)hk = kΦ0u (u, v) × Φ0u (u, v)kh2 =
√ √
= EG − F 2 h2 = EG − F 2 µ(Di ).
Суммируя по всем правильным ячейкам, получаем, что
X √
EG − F 2 µ(Di )
i:Di −−−.
√
есть урезанная сумма Римана S∂D ( EG − F 2 , τ, Tτ ) для двойного инте-
грала. При h → 0 имеем (.τ ) → 0 и
√ ZZ √
S∂D ( EG − F 2 , τ, Tτ ) → EG − F 2 dudv.
D
Φ∗0 0 0 0 0
s = Φu us + Φv vs , Φ∗0 0 0 0 0
t = Φ u u t + Φv v t .
Тогда
Φ∗0 ∗0 0 0 0 0 0 0 0 0
s × Φt = (Φu us + Φv vs ) × (Φu ut + Φv vt ) =
= Φ0u × Φ0u · u0s u0t + Φ0u × Φ0v · u0s vt0 + Φ0v × Φ0u · vs0 u0t + Φ0v × Φ0v · vs0 vt0 =
∂(u, v)
= Φ0u × Φ0v (u0s vt0 − u0t vs0 ) = Φ0u × Φ0v .
∂(s, t)
Следовательно,
∂(u, v)
kΦ∗0 × Φ∗0
t k = kΦ0u × Φ0v k · .
s
∂(s, t)
Итак, ZZ √ ZZ
S= EG − F 2 dudv = kΦ0u × Φ0v kdudv =
D D
ZZ ∂(u, v) ZZ ZZ q
= kΦ0u ×Φ0v k dsdt = kΦ∗0 ∗0
s ×Φt kdsdt = E ∗ G∗ − (F ∗ )2 dsdt.
D∗ ∂(s, t) D∗ D∗
Тогда
E = sin2 ψ sin2 ϕ + sin2 ψ cos2 ϕ = sin2 ψ,
F = − − sin ψ sin ϕ cos ψ cos ϕ + sin ψ cos ϕ cos ψ sin ϕ = 0,
G = cos2 ψ cos2 ϕ + cos2 ψ sin2 ϕ + sin2 ψ = 1,
√
и EG − F 2 = sin ψ. Имеем
Z ϕ2 Z ψ2
S= dϕ sin ψdψ = (ϕ2 − ϕ1 )(ψ1 − cos ψ2 ).
ϕ1 ψ1
3) Площадь поверхности Σ
ZZ
S(Σ) = dS.
Σ
√
Примеры. 1) Пусть S = {z = x2 + y 2 | z ≤ 1}. Найдем S zdS.
RR
Имеем
x y
zx0 = √ 2 2
, zy0 = √ 2 .
x +y x + y2
Тогда
√
s
q x2 y2
dS = 1 + (zx0 )2 + (zy0 )2 = 1+ + dxdy = 2dxdy
x2 + y 2 x2 + y 2
и
√
ZZ ZZ q √ √ Z 2π Z 1
2 2 2
zdS = x2 + y2 2dxdy = 2 r dr = π.
S x2 +y 2 ≤1 0 0 3
2) Найдем S xdS, где S —единичная сфера. Пусть D = {(ϕ, ψ) | 0 ≤
RR
ZZ " √
#
A B C
= P√ 2 + Q √ + R √ EG − F 2 dudv =
D A + B2 + C 2 A2 + B 2 + C 2 A2 + B 2 + C 2
ZZ
= (P A + QB + RC)dudv,
D
√ √
так как EG − F 2 = A2 + B 2 + C 2 . Перепишем последнее соотношение
в виде
!
ZZ ZZ
∂(y, z) ∂(z, x) ∂(x, y)
P dydz+Qdzdx+Rdxdy = P +Q +R dudv.
S D ∂(u, v) ∂(u, v) ∂(u, v)
Имеем Z ψ(x,y)
ZZZ
∂R ZZ
∂R
dxdydz = dxdy dz =
U ∂z D ϕ(x,y) ∂z
ZZ ZZ
= R(x, y, ψ(x, y))dxdy − R(x, y, ϕ(x, y))dxdy =
D D
ZZ ZZ
= R(x, y, ψ(x, y))dxdy + R(x, y, ϕ(x, y))dxdy,
S2 S1
Теорема доказана.
Замечание 1. Формула гаусса-Остроградского справедлива не толь-
ко для областей, правильных относительно всех координатных осей, но
и для областей, которые являются конечным объединением таких обла-
стей. Поясним это на примере объединения двух областей. Пусть U =
U1 ∪ U2 , ∂U1 = S1 ∪ S3 , ∂U2 = S2 ∪ S3− . Тогда
!
ZZZ
∂P ∂Q ∂R
+ + dxdydz =
U ∂x ∂y ∂z
! !
ZZZ
∂P ∂Q ∂R ZZZ
∂P ∂Q ∂R
= + + dxdydz + + + dxdydz =
U1 ∂x ∂y ∂z U2 ∂x ∂y ∂z
ZZ ZZ ZZ ZZ ZZ ZZ ZZ ZZ
= ω+ ω= ω+ ω+ ω+ ω= ω= ω.
∂U1 ∂U2 S1 S3 S2 S3− S1 ∪S2 ∂U
~i ~j ~k
∂ ∂ ∂
rot(P, Q, R) := =
∂x ∂y ∂z
P Q R
! ! !
∂R ∂Q ~ ∂P ∂R ~ ∂Q ∂P ~k.
= − i+ − j+ −
∂y ∂z ∂z ∂x ∂x ∂y
Этот вектор называется ротором векторного поля (P, Q, R) = P~i + Q~j +
R~k. Тогда
! ! !
∂R ∂Q ∂P ∂R ∂Q ∂P
dω = − dy ∧ dz + − dz ∧ dx + − dx ∧ dy =
∂y ∂z ∂z ∂x ∂x ∂y
" ! ! !#
∂R ∂Q ∂P ∂R ∂Q ∂P
= − cos α + − cos β + − cos γ dS =
∂y ∂z ∂z ∂x ∂x ∂y
=< rot(P, Q, R), ~n >,
где ~n — вектор единичной нормали к поверхности Σ.
Теорема (формула Стокса). Пусть Σ — дважды гладкая поверх-
ность в R3 с кусочно гладким краем ∂Σ, положительно ориентирован-
ным относительно Σ и состоящим из кусочно-гладких кривых. Пусть
ω = P dx + Qdy + Rdz — непрерывно дифференцируемая форма на Σ.
Тогда справедливо равенство
Z ZZ
ω= dω
∂Σ Σ
2 Несобственные интегралы 2
2.1 Определение несобственного интеграла . . . . . . . . . . . . 2
2.2 Свойства простейших несобственных
интегралов . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.3 Признаки сходимости несобственных
интегралов от неотрицательных функций . . . . . . . . . . 6
2.4 Несобственные интегралы
от незнакопостоянных функций . . . . . . . . . . . . . . . . 9
2.5 Несобственные интегралы общего вида . . . . . . . . . . . . 13
2.6 Интеграл, понимаемый в смыcле главного значения по Коши 14
3 Числовые ряды 15
3.1 Сходимость числового ряда . . . . . . . . . . . . . . . . . . 15
3.2 Критерий Коши. Необходимое условие
сходимости ряда . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.3 Сходимость ряда с неотрицательными
членами . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.4 Верхний и нижний пределы последовательности . . . . . . 20
3.5 Теоремы сравнения для знакопостоянных рядов . . . . . . . 22
3.6 Некоторые дополнительные свойства рядов . . . . . . . . . 27
3.7 Признаки Дирихле и Абеля . . . . . . . . . . . . . . . . . . 28
3.8 Признак абсолютной сходимости ряда . . . . . . . . . . . . 30
3.9 Произведение рядов . . . . . . . . . . . . . . . . . . . . . . . 31
4 Мера Жордана в Rn 33
4.1 Внутренняя и внешняя меры Жордана . . . . . . . . . . . . 34
4.2 Мера Жордана в Rn . Множества меры нуль. . . . . . . . . . 36
4.3 Критерии измеримости . . . . . . . . . . . . . . . . . . . . . 36
4.4 Свойства измеримых множеств . . . . . . . . . . . . . . . . 37
4.5 Произведение измеримых множеств . . . . . . . . . . . . . . 39
4.6 Классы измеримых множеств . . . . . . . . . . . . . . . . . 40
4.7 Преобразования измеримых множеств . . . . . . . . . . . . 42
5 Кратные интегралы Римана 45
5.1 Разбиение множества . . . . . . . . . . . . . . . . . . . . . . 45
5.2 Интегральные суммы. Определение кратного интеграла Ри-
мана . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
5.3 Интегральные суммы Дарбу . . . . . . . . . . . . . . . . . . 47
5.4 Классы интегрируемых функций . . . . . . . . . . . . . . . 48
5.5 Множества меры нуль по Лебегу . . . . . . . . . . . . . . . 49
5.6 Колебание функции в точке . . . . . . . . . . . . . . . . . . 50
5.7 Теорема Лебега . . . . . . . . . . . . . . . . . . . . . . . . . . 51
5.8 Урезанные суммы Римана . . . . . . . . . . . . . . . . . . . 53
5.9 Сравнение двух определений интеграла по отрезку . . . . . 54
5.10 Свойства интегируемых функций . . . . . . . . . . . . . . . 55
5.11 Сведение кратного интеграла Римана к повторному . . . . 59
5.12 Сведение кратного интеграла к повторному в случае пра-
вильных областей интегрирования . . . . . . . . . . . . . . . 61
5.13 Объем множества Aψϕ . . . . . . . . . . . . . . . . . . . . . . 65
5.14 Криволинейные системы координат . . . . . . . . . . . . . . 65
5.15 Замена переменных в кратном интеграле . . . . . . . . . . . 68
5.16 Свойства линейно связных множеств . . . . . . . . . . . . . 70
5.17 Несобственные кратные интегралы . . . . . . . . . . . . . . 75
5.18 Несобственные интегралы от неотрицательных функций . . 76
5.19 Несобственные интегралы от функций,
меняющих знак . . . . . . . . . . . . . . . . . . . . . . . . . . 80
6 Криволинейные интегралы 83
6.1 Кривые в Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
6.2 Криволинейные интегралы второго рода . . . . . . . . . . . 84
6.3 Свойства криволинейных интегралов второго рода . . . . . 85
6.4 Криволинейные интегралы второго рода и полные диффе-
ренциалы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
6.5 Нахождение функции по ее дифференциалу в параллеле-
пипеде . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
6.6 Формула Грина . . . . . . . . . . . . . . . . . . . . . . . . . . 92
6.7 Вычисление площади с помощью криволинейных интегралов 94
6.8 Изменение площади плоской фигуры под действием диф-
феоморфизма. Геометрический смысл знака якобиана. . . . 95
6.9 Доказательство формулы замены переменных в двойном
интеграле . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
6.10 Длина пространственной кривой . . . . . . . . . . . . . . . . 97
6.11 Криволинейные интегралы первого рода . . . . . . . . . . . 98
6.12 Свойства криволинейных интегралов
первого рода . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
6.13 Связь криволинейных интегралов первого и второго рода . 101