Академический Документы
Профессиональный Документы
Культура Документы
Ñ. Ð. Íàñûðîâ
ÍÅÑÎÁÑÒÂÅÍÍÛÅ ÈÍÒÅÃÐÀËÛ.
Êàçàíü 2018
ÓÄÊ 515.1
Àâòîð-ñîñòàâèòåëü
äîêòîð ôèç.-ìàò. íàóê, ïðîô. Ñ. Ð. Íàñûðîâ
Íàó÷íûé ðåäàêòîð
êàíäèäàò ôèç.-ìàò. íàóê, äîöåíò Ð. Ã. Ñàëàõóäèíîâ
Ðåöåíçåíò
êàíäèäàò ôèç.-ìàò. íàóê, äîöåíò Ð. Í. Ãóìåðîâ
⃝
c Êàçàíñêèé (Ïðèâîëæñêèé) ôåäåðàëüíûé óíèâåðñèòåò, 2018
Ãëàâà 1
Íåñîáñòâåííûå èíòåãðàëû
1.1 Îïðåäåëåíèå íåñîáñòâåííîãî èíòåãðàëà
3
íîé îñîáåííîñòüþ â òî÷êå a è åãî ñõîäèìîñòü. Ñõîäèìîñòü íåñîáñòâåííî-
∫b
ãî èíòåãðàëà a f (x)dx â ýòîì ñëó÷àå îçíà÷àåò ñóùåñòâîâàíèå êîíå÷íîãî
∫b
ïðåäåëà β := limt→a+ t f (x)dx . ×èñëî β íàçûâàåòñÿ çíà÷åíèåì èíòåãðà-
ëà.
∫1
Ïðèìåðû. 1) 0 dx x . Ôóíêöèÿ f (x) = x èíòåãðèðóåìà íà ëþáîì
dx
4
∫1
2) 0 √dxx . Ýòîò èíòåãðàë òàêæå ïðîñòåéøèé ñ åäèíñòâåííîé îñîáåí-
íîñòüþ íà íèæíåì ïðåäåëå. Îí ñõîäèòñÿ, òàê êàê
∫ √
1
dx √
√ = 2 x|1t = 2(1 − t) → 2, t → 0+,
t x
è åãî çíà÷åíèå ðàâíî 2 .
∫ +∞ dx
3) 0 1+x 2 . Ýòîò èíòåãðàë èìååò åäèíñòâåííóþ îñîáåííîñòü â òî÷-
êå +∞ . Èìååì
∫ +∞ ∫ t
dx dx π
= lim = lim arctg t = .
0 1 + x2 t→+∞ 0 1 + x2 t→+∞ 2
5
∫b
(a; b) ñõîäèòñÿ èíòåãðàë c f (x)dx è ñïðàâåäëèâî ðàâåíñòâî
∫ b ∫ c ∫ b
f (x)dx = f (x)dx + f (x)dx.
a a c
∫b
Îáðàòíî, åñëè äëÿ íåêîòîðîãî c ∈ (a; b) ñõîäèòñÿ èíòåãðàë f (x)dx ,
∫b c
òî ñõîäèòñÿ è èíòåãðàë a f (x)dx .
Äîêàçàòåëüñòâî ïðîâåäèòå ñàìîñòîÿòåëüíî.
6
Òåîðåìà 4 (èíòåãðèðîâàíèå ïî ÷àñòÿì). Ïóñòü ôóíêöèè f
è g íåïðåðûâíî äèôôåðåíöèðóåìû íà [a; b) . Åñëè ñóùåñòâóåò êîíå÷-
íûé ïðåäåë limx→b− [f (x)g(x)] , òî èç ñõîäèìîñòè îäíîãî èç èíòåãðàëîâ
∫b ′
∫b ′
a f (x)g (x)dx , a g(x)f (x)dx ñëåäóåò ñõîäèìîñòü äðóãîãî, è ñïðàâåäëè-
âî ñîîòíîøåíèå
∫ b ∫ b
′
g(x)f (x)dx = lim [f (x)g(x)] − f (a)g(a) − f (x)g ′ (x)dx. (1.5)
a x→b− a
7
Óñòðåìèì t → β− . Òîãäà φ(t) → b è ëåâàÿ ÷àñòü (1.8) èìååò êîíå÷íûé
∫b
ïðåäåë, ðàâíûé a f (x)dx . Ñëåäîâàòåëüíî, è ïðàâàÿ ÷àñòü (1.8) èìååò òîò
∫β
æå êîíå÷íûé ïðåäåë. Ýòî îçíà÷àåò, ÷òî èíòåãðàë α f (φ(t))φ′ (t)dt ñõî-
äèòñÿ è ñïðàâåäëèâî (1.7).
∫β
Îáðàòíî, ïóñòü ñõîäèòñÿ α f (φ(τ ))φ′ (τ )dτ . Òîãäà èç ñòðîãîé ìî-
íîòîííîñòè φ ñëåäóåò, ÷òî
∫ u ∫ φ−1 (u)
f (x)dx = f (φ(τ ))φ′ (τ )dτ.
a α
Ïðè ýòîì φ−1 (u) → β , u → b− . Äàëåå ðàññóæäàåì òàê æå, êàê è â ïåðâîì
ñëó÷àå. Òåîðåìà äîêàçàíà.
Ïðèìåðû.
1)
∫ 1 ∫ 1 ∫ 1 ∫ 1
dx
ln x = x ln x|10 − xd ln x = − x· =− dx = −1.
0 0 0 x 0
8
ÿâëÿåòñÿ ìîíîòîííî âîçðàñòàþùåé ôóíêöèåé íà [a; b) . Ïîýòîìó ñóùåñòâó-
åò êîíå÷íûé èëè áåñêîíå÷íûé ïðåäåë limt→b− F (t) . Åñëè ïðåäåë êîíå÷åí,
òî íåñîáñòâåííûé èíòåãðàë ñõîäèòñÿ, åñëè áåñêîíå÷åí, òî èíòåãðàë ðàñ-
õîäèòñÿ, íî åìó ìîæíî ïðèïèñàòü çíà÷åíèå +∞ .  ýòîì ñëó÷àå ãîâîðÿò,
÷òî èíòåãðàë ðàñõîäèòñÿ ê +∞ .
Èòàê, â ñëó÷àå íåîòðèöàòåëüíîé ïîäèíòåãðàëüíîé ôóíêöèè ïðî-
ñòåéøåìó íåñîáñòâåííîìó èíòåãðàëó ìîæíî ïðèïèñàòü êîíå÷íîå èëè áåñ-
êîíå÷íîå çíà÷åíèå.  ýòîì ñóùåñòâåííîå îòëè÷èå îò ñëó÷àÿ, êîãäà ïîäèí-
òåãðàëüíàÿ ôóíêöèÿ íå çíàêîïîñòîÿííà! Åñëè ôóíêöèÿ f ìåíÿåò çíàê
íà ëþáîì èíòåðâàëå (t; b) , ñîäåðæàùåìñÿ â (a; b) , òî ÷àñòî èíòåãðàëó
íåëüçÿ ïðèïèñàòü íèêàêîãî îïðåäåëåííîãî çíà÷åíèÿ (åñëè íå ñóùåñòâóåò
limt→b− F (t) ).
9
è ñóùåñòâóåò ïðåäåë α := limx→b− fg(x)
(x)
. Åñëè α < +∞ , òî èç ñõîäè-
∫b ∫b
ìîñòè èíòåãðàëà a g(x)dx ñëåäóåò ñõîäèìîñòü èíòåãðàëà a f (x)dx .
∫b
Åñëè α > 0 , òî èç ðàñõîäèìîñòè èíòåãðàëà a g(x)dx ñëåäóåò ðàñõîäè-
∫b
ìîñòü èíòåãðàëà a f (x)dx .
Ïðèìåðû.
1)
∫ +∞ +∞
dx x1−p 1
= = , p > 1.
1 xp 1−p 1 1−p
Ïðè p < 1 àíàëîãè÷íûìè âû÷èñëåíèÿìè ïîêàçûâàåì, ÷òî
∫ +∞
dx
= +∞.
1 xp
Íàêîíåö, ïðè p = 1 èìååì
∫ +∞
dx
p
= ln x|+∞
1 = +∞.
1 x
∫ +∞ dx
Èòàê, èíòåãðàë 1 xp ñõîäèòñÿ òîãäà è òîëüêî òîãäà, êîãäà p > 1 .
2)
∫ 1 1
dx x1−p 1
= = , p < 1.
0 xp 1−p 0 1−p
Ïðè p > 1 âèäèì, ÷òî ∫ 1
dx
= +∞.
0 xp
Íàêîíåö, ïðè p = 1 ïîëó÷àåì
∫ 1
dx
p
= ln x|10 = +∞.
0 x
10
∫1
Èòàê, èíòåãðàë 0 dxxp ñõîäèòñÿ òîãäà è òîëüêî òîãäà, êîãäà p < 1 .
3) Îñíîâûâàÿñü íà ïðèìåðå 2), ïîëó÷àåì, ÷òî äëÿ êîíå÷íûõ a è b
∫ b dx ∫ b dx
èíòåãðàëû âèäà a (x−a) p , a (b−x)p ñõîäÿòñÿ òîãäà è òîëüêî òîãäà, êîãäà
p < 1.
Èç òåîðåìû 2 ñ èñïîëüçîâàíèåì ýòèõ ïðèìåðîâ ñëåäóþò ñëåäóþùèå
âàæíûå äëÿ ïðàêòèêè óòâåðæäåíèÿ.
∫ +∞
Òåîðåìà 3. Ðàññìîòðèì íåñîáñòâåííûé èíòåãðàë f (x)dx
a
îò íåîòðèöàòåëüíîé ôóíêöèè f ñ åäèíñòâåííîé îñîáåííîñòüþ íà âåðõ-
íåì ïðåäåëå. Ïðåäïîëîæèì, ÷òî ñóùåñòâóåò ïðåäåë limx→+∞ xp f (x) =
∫ +∞
α . Åñëè p > 1 è α < +∞ , òî èíòåãðàë a f (x)dx ñõîäèòñÿ. Åñëè
∫ +∞
p ≤ 1 è α > 0 , òî èíòåãðàë a f (x)dx ðàñõîäèòñÿ.
∫b
Òåîðåìà 4. Ðàññìîòðèì íåñîáñòâåííûé èíòåãðàë a f (x)dx îò
íåîòðèöàòåëüíîé ôóíêöèè f ñ åäèíñòâåííîé îñîáåííîñòüþ íà âåðõíåì
ïðåäåëå b < +∞ . Ïðåäïîëîæèì, ÷òî ñóùåñòâóåò ïðåäåë limx→b− (b −
∫b
x)p f (x) = α . Åñëè p < 1 è α < +∞ , òî èíòåãðàë a f (x)dx ñõîäèòñÿ.
∫b
Åñëè p ≥ 1 è α > 0 , òî èíòåãðàë a f (x)dx ðàñõîäèòñÿ.
11
1.1.3 Íåñîáñòâåííûå èíòåãðàëû îò íåçíàêîïîñòîÿííûõ ôóíê-
öèé
∫b
Òåîðåìà 1 (êðèòåðèé Êîøè). Èíòåãðàë f (x)dx ñ åäèíñòâåííîé a
îñîáåííîñòüþ íà âåðõíåì ïðåäåëå ñõîäèòñÿ òîãäà è òîëüêî òîãäà, êîãäà
∀ ε > 0 ∃ tε ∈ (a; b) : ∀ t′ , t′′ ∈ (tε ; b)
∫ t′′
f (x)dx < ε.
t′
∫t
Äîêàçàòåëüñòâî. Ïóñòü F (t) = a f (x)dx . Íåñîáñòâåííûé èíòåãðàë
∫b
a f (x)dx ñõîäèòñÿ òîãäà è òîëüêî òîãäà. êîãäà ñóùåñòâóåò êîíå÷íûé ïðå-
äåë limt→b− F (t) . Â ñèëó êðèòåðèÿ Êîøè ñóùåñòâîâàíèÿ ïðåäåëà ôóíêöèè
ýòî áóäåò òîãäà è òîëüêî òîãäà, êîãäà ∀ ε > 0 ∃ tε ∈ (a; b) : ∀ t′ , t′′ ∈ (tε ; b)
|F (t′ ) − F (t′′ )| < ε . Íî
∫ t′ ∫ t′′ ∫ t′′
|F (t′ ) − F (t′′ )| = f (x)dx − f (x)dx = f (x)dx .
a a t′
∫ t′′
|f (x)|dx < ε.
t′
∫b
Ïî êðèòåðèþ Êîøè èíòåãðàë a f (x)dx ñõîäèòñÿ.
12
Çàìå÷àíèå. Îáðàòíîå íåâåðíî. Ñóùåñòâóþò èíòåãðàëû, êîòîðûå
ñõîäÿòñÿ, íî íå ñõîäèòñÿ àáñîëþòíî. Òàêèå èíòåãðàëû íàçûâàþòñÿ óñëîâíî
ñõîäÿùèìèñÿ.
∫b
Òåîðåìà 3 (ïðèçíàê Äèðèõëå). Èíòåãðàë a f (x)g(x)dx ñõî-
äèòñÿ, åñëè:
1) ôóíêöèÿ f íåïðåðûâíà íà [a; b) è èìååò îãðàíè÷åííóþ ïåðâî-
îáðàçíóþ F íà [a; b) ;
2) ôóíêöèÿ g íåïðåðûâíî äèôôåðåíöèðóåìà è ìîíîòîííà íà [a; b) ;
3) limx→b− g(x) = 0 .
∫b
Äîêàçàòåëüñòâî. Ïðèìåíèì ê èíòåãðàëó
a f (x)g(x)dx êðèòåðèé
Êîøè. Äëÿ ëþáûõ t′ , t′′ ∈ (a; b) èìååì
∫ t′′ ∫ t′′ ∫ t′′
′′
f (x)g(x)dx = g(x)dF (x) = F (x)g(x)|tt′ − F (x)g ′ (x)dx. (1.9)
t′ t′ t′
′′
F (x)g(x)|tt′ ≤ |F (t′′ )||g(t′′ )| + |F (t′ )||g(t′ )| ≤
( ε ε ) ε
′′ ′
≤ M (|g(t )| + |g(t )|) ≤ M + = , t′ , t′′ ∈ (tε ; b). (1.10)
4M 4M 2
Êðîìå òîãî,
∫ t′′ ∫ t′′ ∫ t′′
F (x)g ′ (x)dx ≤ |F (x)||g ′ (x)|dx ≤ M |g ′ (x)|dx =
t′ t′ t′
∫ t′′
=M g ′ (x)dx = M |g(t′′ ) − g(t′ )| ≤ M (|g(t′′ )| + |g(t′ )| ≤
t′
( ε ε ) ε
≤M + = , t′ , t′′ ∈ (tε ; b). (1.11)
4M 4M 2
13
Ïðèìåíÿÿ ê îöåíêå ïðàâîé ÷àñòè (1.9) íåðàâåíñòâî òðåóãîëüíèêà, ñ ó÷åòîì
(1.10) è (1.11), ïîëó÷àåì
∫ t′′
ε ε
f (x)g(x)dx ≤ + = ε, t′ , t′′ ∈ (tε ; b).
t′ 2 2
∫b
Ïî êðèòåðèþ Êîøè èíòåãðàë f (x)g(x)dx ñõîäèòñÿ. a
∫b
Òåîðåìà 4 (ïðèçíàê Àáåëÿ). Èíòåãðàë a f (x)g(x)dx ñõîäèò-
ñÿ, åñëè
∫b
1) ôóíêöèÿ f íåïðåðûâíà íà [a; b) è èíòåãðàë a f (x)dx ñõîäèò-
ñÿ;
2) ôóíêöèÿ g íåïðåðûâíî äèôôåðåíöèðóåìà è ìîíîòîííà íà [a; b) ;
3) ôóíêöèÿ g îãðàíè÷åíà íà [a; b) .
Ïðèìåðû.
1) Èíòåãðàë
∫ 1 1
sin 1−x
√ dx
0 1−x
ñõîäèòñÿ àáñîëþòíî, òàê êàê
1
sin 1−x 1 1
√ ≤√ =
1−x 1 − x (1 − x)1/2
∫1
è èíòåãðàë dx
0 (1−x)1/2 ñõîäèòñÿ.
2) Èíòåãðàë ∫ +∞
sin x
dx
1 x
14
ñõîäèòñÿ ïî ïðèçíàêó Äèðèõëå. Äåéñòâèòåëüíî, ïóñòü f (x) = sin x ,
g(x) = 1/x . Ôóíêöèÿ f èìååò îãðàíè÷åííóþ ïåðâîîáðàçíóþ F (x) =
− cos x , |F (x)| ≤ 1 . Ôóíêöèÿ g íåïðåðûâíî äèôôåðåíöèðóåìà, ìîíî-
òîííà è ñòðåìèòñÿ ê íóëþ ïðè x → +∞ .
Ïîêàæåì, ÷òî ðàññìàòðèâàåìûé èíòåãðàë íå ñõîäèòñÿ àáñîëþòíî.
Ïðèìåíèì ïðèçíàê ñðàâíåíèÿ. Èìååì
Ïðèìåðû.
1) Ðàññìîòðèì èíòåãðàë
∫ +∞
sin x
dx. (1.12)
0 x
15
Ðàçîáúåì åãî íà äâà ïðîñòåéøèõ èíòåãðàëà:
∫ 1 ∫ +∞
sin x sin x
dx + dx.
0 x 1 x
Ïåðâûé èíòåãðàë èìååò îñîáåííîñòü íà íèæíåì ïðåäåë è ÿâëÿåòñÿ ñõî-
äÿùèìñÿ, ïîñêîëüêó sinx x → 1 , x → 0 . Ñõîäèìîñòü âòîðîãî èíòåãðàëà
äîêàçàíà âûøå. Ñëåäîâàòåëüíî, èíòåãðàë (1.12) ñõîäèòñÿ.
2) Èíòåãðàë ∫ +∞
dx
dx (1.13)
0 xp
ðàçîáúåì íà äâà ïðîñòåéøèõ. Ïåðâûé
∫ 1
dx
p
dx
0 x
17
[∫ ∫ ] ∫ c ∫ b
c−ε
dx b
dx (φ(x) − φ(c))dx (φ(x) − φ(c))dx
+φ(c) lim + = + +
ε→0+ a x−c c+ε x − c a x − c c x − c
∫ b
[ ] (φ(x) − φ(c))dx b−c
+φ(c) lim ln |x − c||c−ε + ln |x − c||bc+ε = + ln .
ε→0+
a
a x − c c − a
Ïîñëåäíèé èíòåãðàë ñóùåñòâóåò êàê íåñîáñòâåííûé, ïîñêîëüêó èìååò îñî-
áåííîñòü òîëüêî â òî÷êå c è â ñèëó äèôôåðåíöèðóåìîñòè ôóíêöèè φ â
ýòîé òî÷êè òî÷êå
(φ(x) − φ(c))
∃ lim = φ′ (c).
x→c x−c
Ïðèìåðû.
1) Ïîêàæåì, ÷òî ðÿä
∑ ∞
1 1 1 1
+ + + ... =
1·2 2·3 3·4 k · (k + 1)
k=1
18
ñõîäèòñÿ. Åãî ÷àñòè÷íûå ñóììû
∞
∑ ∞ (
∑ )
1 1 1
Sn = = − =
k · (k + 1) k k+1
k=1 k=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) Ãåîìåòðè÷åñêàÿ ïðîãðåññèÿ
∞
∑
2 3 n
1 + q + q + q + ... + q + ... = q k−1
k=1
∑
n
1 − qn
k−1
Sn = q = .
1−q
k=1
19
Äëÿ äîêàçàòåëüñòâà äîñòàòî÷íî âçÿòü â óñëîâèè òåîðåìû m = n .
20
Ïðèìåðû.
1) Ðàññìîòðèì ñóììó ãåîìåòðè÷åñêîé ïðîãðåññèè
∞
∑
qn.
n=1
21
Ñëåäóþùàÿ òåîðåìà ïîçâîëÿåò äîñòàòî÷íî ïðîñòî èññëåäîâàòü ñõî-
äèìîñòü ðÿäîâ ñ èñïîëüçîâàíèåì ñðàâíåíèÿ ðÿäîâ ñ èíòåãðàëàìè. Íàïðè-
ìåð, ðÿäó
∑∞
1
√
n=1
n
ìîæíî ñîïîñòàâèòü èíòåãðàë
∫ +∞
dx
√ ,
1 x
Ñõîäèìîñòü êîòîðîãî î÷åâèäíà. Òàê êàê èíòåãðàë ñõîäèòñÿ, òî îòñþäà
ìîæíî âûâåñòè ñõîäèìîñòü ðÿäà.
∑
n−1 ∫ n ∑
n−1
f (k + 1) ≤ f (x)dx ≤ f (k)
k=1 1 k=1
èëè ∫ n
Sn − f (1) ≤ f (x)dx ≤ Sn−1 . (1.14)
1
∑∞
Åñëè ðÿä n=1 f (n) ñõîäèòñÿ, òî ïîñëåäîâàòåëüíîñòü Sn ñõîäèòñÿ,
ñëåäîâàòåëüíî, îãðàíè÷åíà, ò. å. ñóùåñòâóåò M > 0 òàêîå, ÷òî Sn ≤ M ,
∫x
n ≥ 1 . Îáîçíà÷èì F (x) = 1 f (t)dt . Òîãäà â ñèëó íåîòðèöàòåëüíîñòè f
è (1.14)
∫ n+1
F (x) ≤ f (t)dt ≤ Sn ≤ M,
1
ãäå n = [x] . Çíà÷èò ìîíîòîííî âîçðàñòàþùàÿ ôóíêöèÿ F îãðàíè÷åíà
ñâåðõó, ïîýòîìó èìååò êîíå÷íûé ïðåäåë ïðè x → +∞ . Ýòî îçíà÷àåò ñõî-
∫ +∞
äèìîñòü èíòåãðàëà 1 f (x)dx .
22
Îáðàòíî, èç ñõîäèìîñòè èíòåãðàëà ñëåäóåò. ÷òî ôóíêöèÿ F îãðà-
íè÷åíà ñâåðõó, ò. å. ñóùåñòâóåò êîíñòàíòà C > 0 òàêàÿ, ÷òî |F (x)| ≤ C ,
x ≥ 1 . Èñïîëüçóÿ (1.14), ïîëó÷àåì, ÷òî Sn ≤ f (1) + C , n ≥ 1 . Èç ïðåäû-
∑∞
äóùåé òåîðåìû ñëåäóåò, ÷òî ðÿä n=1 f (n) ñõîäèòñÿ.
Ïðèìåðû.
∑∞
1) Ðàññìîòðèì ðÿä n=1 np . Åñëè p ≤ 0 , òî ýòîò ðÿä ðàñõîäèòñÿ,
1
23
3) Çàíóìåðóåì ìíîæåñòâî ðàöèîíàëüíûõ ÷èñåë Q íàòóðàëüíûìè
÷èñëàìè.  ðåçóëüòàòå ïîëó÷àåì ïîñëåäîâàòåëüíîñòü xn . ×òî ìîæíî ñêà-
çàòü ïðî A(xn ) ?
4) Ïóñòü íàòóðàëüíîå ÷èñëî n = α1 α2 . . . αk , ò. å. αj öèôðû
÷èñëà n â åãî äåñÿòè÷íîé çàïèñè. Ðàññìîòðèì ïîñëåäîâàòåëüíîñòü xn =
0, α1 α2 . . . αk . Âûïèøåì íåñêîëüêî ïåðâûõ ÷ëåíîâ ïîñëåäîâàòåëüíîñòè:
lim xn ≤ lim xn .
n→∞ n→∞
24
Ïîñëåäîâàòåëüíîñòü xn ñõîäèòñÿ òîãäà è òîëüêî òîãäà, êîãäà
lim n→∞ xn = lim n→∞ xn , ïðè ýòîì limn→∞ xn = lim n→∞ xn = lim n→∞ xn .
25
Òåîðåìà 3 (õàðàêòåðèñòè÷åñêîå ñâîéñòâî íèæíåãî ïðåäå-
ëà). Âåùåñòâåííîå ÷èñëî a ÿâëÿåòñÿ íèæíèì ïðåäåëîì ïîñëåäîâàòåëü-
íîñòè xn òîãäà è òîëüêî òîãäà, êîãäà âûïîëíÿþòñÿ äâà óñëîâèÿ:
1) ∀ε > 0 ∃N : ∀n ≥ N ( xn > a − ε );
2) ∀ε > 0 ∀N : ∃n ≥ N ( xn < a + ε ).
26
Òåîðåìà 2. Ïóñòü an , bn > 0 , n ≥ 1 .
∑∞
1) Åñëè lim n→∞ abnn < +∞ , òî èç ñõîäèìîñòè ðÿäà n=1 bn ñëåäó-
∑∞
åò ñõîäèìîñòü ðÿäà n=1 an .
∑∞
2) Åñëè lim n→∞ abnn > 0 , òî èç ðàñõîäèìîñòè ðÿäà n=1 bn ñëåäóåò
∑∞
ðàñõîäèìîñòü ðÿäà n=1 an .
Äîêàçàòåëüñòâî. Èìååì
a2 a3 a4 an b2 b3 b4 bn
· · · ... · ≤ · · · ... · ,
a1 a2 a3 an−1 b1 b2 b3 bn−1
òî åñòü
an bn
≤ , n ≥ 1.
a1 b1
Ñëåäîâàòåëüíî, an ≤ b1 bn , n ≥ 1 , è â ñèëó òåîðåìû 1 ïîëó÷àåì óòâåð-
a1
Ïðèìåðû.
∑∞
1) Ðÿä 1
n=1 n! ñõîäèòñÿ ïî ïðèçíàêó Äàëàìáåðà, òàê êàê
1 an+1 1
an = , = → 0 < 1, n → ∞.
n! an n+1
∑∞
2) Ðÿä 1
n=1 nn ñõîäèòñÿ ïî ðàäèêàëüíîìó ïðèçíàêó Êîøè, òàê êàê
√ 1
n
an = → 0 < 1, n → ∞.
n
∑∞
3) Ðÿä n!
n=1 nn ñõîäèòñÿ ïî ïðèçíàêó Äàëàìáåðà, òàê êàê
an+1 (n + 1)! nn nn 1 1
= · = = ( ) n → < 1, n → ∞.
an (n + 1)n+1 n! (n + 1)n 1 + n1 e
∑∞ n √
4) Ðàññìîòðèì ðÿä n=1 ((−1)2n +2)n . Èìååì n an = (−1)2n +2 . Ïî ðàäè-
√
êàëüíîìó ïðèçíàêó Êîøè ðÿä ðàñõîäèòñÿ, òàê êàê lim n→∞ n an = 2 > 1 .
∑∞ 1 an+1 √
5) Òåïåðü ðàññìîòðèì ðÿä n=1 np . Òàê êàê an → 1 , an → 1 ,
n
28
íåêîòîðûõ ðÿäîâ íóæíû áîëåå òîíêèå ïðèçíàêè, ÷åì ïðèçíàêè Êîøè è
Äàëàìáåðà. Îäíèì èç òàêèõ ïðèçíàêîâ ÿâëÿåòñÿ ïðèçíàê Ðààáå.
29
Åñëè ( )
an+1
lim n 1 − < 1,
n→∞ an
∑∞
òî ðÿä 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
30
ïðèçíàê Ãàóññà, êîòîðûå ïîçâîëÿþò èíîãäà äîêàçûâàòü ñõîäèìîñòü
(ðàñõîäèìîñòü) ðÿäîâ.
( ) ( ( )n )
an+1 1 1 1 − 1e (1 + x)1/x
lim n 1 − = lim n 1 − 1+ = lim =
n→∞ an n→∞ e n x→0+ x
( )′
1+x x − ln(1 + x)
1
1 ln(1 + x) 1
= − lim (1+x) 1/x
= − lim (1+x) 1/x
lim =
x→0+ e x e x→0+ x→0+ x2
x − (1 + x) ln(1 + x) − ln(1 + x) 1
− lim = − lim = < 1.
x→0+ x2 x→0+ x 2
Ñëåäîâàòåëüíî, ðÿä ðàñõîäèòñÿ.
31
2) Ñõîäèìîñòü ðÿäà íå çàâèñèò îò ïåðâûõ ÷ëåíîâ: äëÿ ëþáîãî N
∑∞ ∑∞
ðÿä n=1 an ñõîäèòñÿ òîãäà è òîëüêî òîãäà, êîãäà ñõîäèòñÿ ðÿä n=N an .
3) Ãðóïïèðîâêà ÷ëåíîâ ðÿäà. Ïóñòü l1 < l2 < . . . < ln < . . . íåêî-
∑∞
òîðàÿ ïîñëåäîâàòåëüíîñòü íàòóðàëüíûõ ÷èñåë. Ðàññìîòðèì ðÿä n=1 an
∑l1 ∑l2 ∑ln
è ïîñëåäîâàòåëüíîñòü b1 = n=1 , b2 = l1 +1 , . . . , bn = ln−1 +1 . . . .
∑∞ ∑∞
Åñëè ðÿä an ñõîäèòñÿ, òî ñõîäèòñÿ è ðÿä n=1 bn , è ñóììû
n=1
∑∞
ýòèê ðÿäîâ ðàâíû. Äåéñòâèòåëüíî, n -ÿ ÷àñòè÷íàÿ ñóììà ðÿäà n=1 bn
ðàâíà
∑n ∑ln
bk = aj ,
k=1 j=1
∑∞
ò.å. ñîâïàäàåò ñ ln -é ÷àñòè÷íîé ñóììîé Sln ðÿäà n=1 an . Òàê êàê ïî-
ñëåäîâàòåëüíîñòü Sn èìååò êîíå÷íûé ïðåäåë, åå ïîäïîñëåäîâàòåëüíîñòü
òàêæå èìååò òîò æå êîíå÷íûé ïðåäåë.
Îáðàòíîå óòâåðæäåíèå íåâåðíî. Ðàññìîòðèì ðàñõîäÿùèéñÿ ðÿä
∞
∑
(−1)n = 1 − 1 + 1 − 1 + . . . .
n=1
Òåîðåìà. Ïóñòü
∑
ln
bn = an . (1.15)
ln−1 +1
32
äëÿ ëþáîãî n . Òîãäà, ñ èñïîëüçîâàíèåì íåîáõîäèìîãî óñëîâèÿ ñõîäèìîñòè
ðÿäà, ïîëó÷àåì
∑
p ∑
p ∑
lq+1
an ≤ |an | ≤ |an | ≤ (lq+1 −lq ) max |an | ≤ M max |an | →
lq +1≤n≤lq+1 lq +1≤n≤lq+1
n=lq +1 n=lq +1 n=lq +1
p → ∞ . Òåîðåìà äîêàçàíà.
∑
n ∑
n ∑
n ∑
n ∑
n ∑
n−1
ak b k = ak (Bk −Bk−1 ) = ak Bk − ak Bk−1 = ak Bk − ak+1 Bk =
k=m k=m k=m k=m k=m k=m−1
∑
n ∑
n ∑
n
= ak Bk − ak+1 Bk +an+1 Bn −am Bm−1 = (ak −ak+1 )Bk +an+1 Bn −am Bm−1 .
k=m k=m k=m
Ïîñëåäîâàòåëüíîñòü an ìîíîòîííà. Áåç îãðàíè÷åíèÿ îáùíîñòè ìîæíî
ñ÷èòàòü, ÷òî an ìîíîòîííî óáûâàåò. Òàê êàê limn→∞ an = 0 , òî an ≥ 0 ,
n ≥ 1 . Êðîìå òîãî, ñóùåñòâóåò C > 0 òàêîå, ÷òî |Bk | ≤ C , k ≥ 1 . Òîãäà
∑
n ∑
n
ak b k ≤ |ak − ak+1 ||Bk | + |an+1 ||Bn | + |am ||Bm−1 | ≤
k=m k=m
(∑
n ) (∑
n )
≤C |ak − ak+1 | + |an+1 | + |am | = C (ak − ak+1 ) + an+1 + am =
k=m k=m
= C((am − an+1 ) + am + an+1 ) = 2Cam .
33
∑∞
Ïî êðèòåðèþ Êîøè ðÿä n=1 an bn ñõîäèòñÿ.
∑∞
Òåîðåìà 2 (ïðèçíàê Àáåëÿ). Ðÿä n=1 an bn ñõîäèòñÿ, åñëè
1) ïîñëåäîâàòåëüíîñòü an ìîíîòîííà;
2) ïîñëåäîâàòåëüíîñòü an îãðàíè÷åíà;
∑∞
3) ðÿä k=1 bk ñõîäèòñÿ.
Èìååì
x ∑ n
x ∑ n
(2k − 1)x (2k + 1)x
2 sin Bn = 2 sin sin kx = (cos − cos )=
2 2 2 2
k=1 k=1
x 3x x 3x (2n − 1)x (2n + 1)x
= (cos −cos )+(cos −cos )+. . .+(cos −cos )=
2 2 2 2 2 2
x (2n + 1)x nx (n + 1)x
= cos − cos = 2 sin sin .
2 2 2 2
34
Ñëåäîâàòåëüíî,
(n+1)x
sin nx
2 sin 1
|Bn | = 2
≤ .
sin x2 | sin x2 |
Èòàê, ïîñëåäîâàòåëüíîñòü Bn îãðàíè÷åíà, ïîýòîìó èñõîäíûé ðÿä ñõîäèò-
ñÿ ïî ïðèçíàêó Äèðèõëå.
a1 − a2 + a3 − a4 + . . . + (−1)n+1 an
ñõîäèòñÿ.
35
Òàêèì îáðàçîì, ñóììà ðÿäà ñóùåñòâåííî çàâèñèò îò ïîðÿäêà ñëå-
äîâàíèÿ åãî ÷ëåíîâ. Îäíàêî äëÿ àáñîëþòíî ñõîäÿùèõñÿ ðÿäîâ ñóììà íå
çàâèñèò îò ïîðÿäêà ñóììèðîâàíèÿ.
∑∞
Òåîðåìà 3. Åñëè ðÿä n=1 an ñõîäèòñÿ àáñîëþòíî, òî äëÿ ëþáîé
∑∞
áèåêöèè f : N → N ðÿä n=1 af (n) ñõîäèòñÿ àáñîëþòíî, ïðè÷åì ê òîé
æå ñóììå.
Äîêàçàòåëüñòâî. Èìååì
∑
n ∑
l ∞
∑
|af (k) | ≤ |aj | ≤ |aj | < +∞,
k=1 j=1 j=1
a0 + a1 x + a2 x2 + . . . + an xn + . . . , b0 + b1 x + b2 x2 + . . . + bn xn + . . .
36
ãäå cn = a0 bn +a1 bn−1 +. . .+an b0 . Ýòî íàâîäèò íà ñëåäóþùåå îïðåäåëåíèå.
∑∞ ∑∞
Ïðîèçâåäåíèåì ÷èñëîâûõ ðÿäîâ n=0 an è n=0 bn íàçûâàåòñÿ
∑∞ ∑n
ðÿä n=0 cn , ãäå cn = j=0 aj bn−j .
∑∞ ∑∞
Òåîðåìà (Ìåðòåíñ). 1) Åñëè ðÿäû n=0 a n è n=0 bn ñõîäÿòñÿ,
ïðè÷åì ïî êðàéíåé ìåðå îäèí èç íèç ñõîäèòñÿ àáñîëþòíî, òî ïðîèçâå-
äåíèå ñõîäèòñÿ è ∞ ∑ ∞ ∞
∑ n ∑ ∑
aj bn−j = an bk .
n=0 j=0 n=0 k=0
∑∞ ∑∞
2) Åñëè îáà ðÿäà n=0 an è n=0 bn ñõîäÿòñÿ àáñîëþòíî, òî è
èõ ïðîèçâåäåíèå ñõîäèòñÿ àáñîëþòíî.
3) Åñëè îáà ðÿä ñõîäÿòñÿ óñëîâíî, òî èõ ïðîèçâåäåíèå íå îáÿçàíî
ñõîäèòüñÿ.
Äîêàçàòåëüñòâî. 1) Ïóñòü
∞
∑ ∑
n ∞
∑
B= bn , B n = bk , βn = B − Bn = bk .
n=0 k=0 k=n+1
∑
n
ck = a0 b0 +(a0 b1 +a1 b0 )+(a0 b2 +a1 b1 +a2 b0 ) . . .+(a0 bn +a1 bn−1 +. . .+an b0 ) =
k=0
= a0 Bn +a1 Bn−1 +. . .+an B0 = a0 (B−βn )+a1 (B−βn−1 )+. . .+an (B−β0 ) =
= (a0 + a1 + . . . + an )B − a0 βn − a1 βn−1 − . . . − an β0 = An B − γn ,
ãäå
∑
n
An = ak , γn = a0 βn + a1 βn−1 + . . . + an β0 .
k=0
∑∞
Ïðè n → ∞ èìååì An → A := k=0 an è An B → AB . Åñëè ìû äîêàæåì,
∑n
÷òî γn → 0 , òî òîãäà ïîñëåäîâàòåëüíîñòü k=0 ck ÷àñòè÷íûõ ñóìì áóäåò
ñõîäèòüñÿ ê AB . Ýòî è áóäåò îçíà÷àòü, ÷òî ïðîèçâåäåíèå ðÿäîâ ñõîäèòñÿ
ê AB .
∑∞
Ïóñòü ðÿä n=0 an ñõîäèòñÿ àáñîëþòíî. Îáîçíà÷èì ÷åðåç α åãî
∑∞
ñóììó n=0 |an | . Ìîæíî ñ÷èòàòü, ÷òî α > 0 . Òàê êàê Bn → B , òî βn →
0 , n → ∞ . Ôèêñèðóåì ε > 0 . Òîãäà ∃N : ∀n ≥ N |βn | < 2α ε
. Êðîìå òîãî,
37
ïîñëåäîâàòåëüíîñòü βn îãðàíè÷åíà, ò.å. ∃M > 0 : |βn | ≤ M . Èìååì ïðè
n≥N
∑
n−N ∑
n
ε ∑
n−N ∑
n
ε ∑
n
|γn | ≤ |ak ||βn−k |+ |ak ||βn−k | ≤ |ak |+M |ak | ≤ +M |
2α 2
k=1 n−N +1 k=1 n−N +1 k=n−N +1
∑n
Ïî êðèòåðèþ Êîøè ∃N1 : ∀n ≥ m ≥ N1 ( k=m |ak | < 2M ) .
ε
Åñëè n ≥
N + N1 , òî
∑
n
ε ε
M |ak | < M =
2M 2
k=n−N +1
∑
n ∑
n ∑
n ∑
n ∞
∑ ∞
∑
|ck | = (|a0 ||bk |+|a1 ||bk−1 |+. . .+|ak ||bn |) ≤ |ak | |bj | ≤ |ak | |bj | <
k=0 k=0 k=0 j=0 k=0 j=0
∑∞
Òàê êàê ÷àñòè÷íûå ñóììû ðÿäà k=0 |ck | ñ íåîòðèöàòåëüíûìè ÷ëåíàìè
îãðàíè÷åíû ñâåðõó, ýòîò ðÿä ñõîäèòñÿ.
3) Ïðèâåäåì ïðèìåð ðÿäîâ, êîòîðûå ñõîäÿòñÿ, íî èõ ïðîèçâåäåíèå
(−1)n ∑∞ ∑∞
ðàñõîäèòñÿ. Ïóñòü an = bn = √n+1 . Ðÿäû n=0 a n è n=0 bn ñõîäÿòñÿ ïî
ïðèçíàêó Ëåéáíèöà. Ðàññìîòðèì n -é ÷ëåí ïðîèçâåäåíèÿ
1 1 1 1 1 1 ∑ 1 1
n
cn = √ · √ + √ · √ +. . .+ √ ·√ = √ ·√ .
1 n+1 2 n n + 1 1 k=0 k + 1 n − k + 1
38
1.3 Ìåðà Æîðäàíà â Rn
39
êóáîâ ðàíãà k , ïåðåñåêàþùèõñÿ ñ A− . Ïóñòü
1 1
µ∗ (k; a) = l∗ (k; a) · , µ∗ (k; a) = l∗ (k; a) · .
2kn 2kn
Îòìåòèì, ÷òî âåëè÷èíà 21kn ýòî îáúåì äâîè÷íîãî êóáà ðàíãà k
â Rn , ïîýòîìó âåëè÷èíû µ∗ (k; a) è µ∗ (k; a) èìåþò âàæíûé ãåîìåòðè÷å-
ñêèé ñìûñë: ýòî îáúåìû ôèãóð, ñîñòàâëåííûõ èç äâîè÷íûõ êóáîâ ðàíãà
k , êîòîðûå ñîîòâåòñòâåííî ëåæàò âî âíóòðåííîñòè èëè ïåðåñåêàþòñÿ ñ
çàìûêàíèåì ìíîæåñòâà A .
0 ≤ µ∗ (k; a) ≤ µ∗ (k + 1; a) ≤ µ∗ (k + 1; a) ≤ µ∗ (k; a)
40
Âåëè÷èíû µ∗ (A) è µ∗ (A) íàçûâàþòñÿ âíóòðåííåé è âíåøíåé ìåðîé
Æîðäàíà ìíîæåñòâà A .
41
1.3.2 Ìåðà Æîðäàíà â Rn . Ìíîæåñòâà ìåðû íóëü.
42
Äåéñòâèòåëüíî, A− = [0; 1] , A◦ = ∅ , ∂A = A− \ A◦ = [0; 1] . Íåòðóäíî
âèäåòü, ÷òî l∗ (k; ∂A) = 2k + 2 , k ∈ N , òàê êàê äâîè÷íûå êóáû ðàíãà k ,
[ ]
ïåðåñåêàþùèåñÿ ñ (∂A)− = [0; 1] ñóòü m−1 2k ; m
2 k , m = 0 , 1 , 2 . . . , 2k + 1 .
Èìååì µ∗ (k; ∂A) = 2 2+2 → 1 , k → ∞ . Òàêèì îáðàçîì, µ∗ (∂A) ̸= 0 è ïî
k
k
43
Ac ∩ B c ) ∪ (B ∩ Ac ∩ B c ) ⊂ (A ∩ Ac ) ∪ (B ∩ B c ) = ∂A ∪ ∂B . Òàê êàê ∂A
è ∂B ìíîæåñòâà ìåðû íóëü, òî ∂A ∪ ∂B òàêæå ìíîæåñòâî ìåðû íóëü.
Ñëåäîâàòåëüíî ∂(A ∪ B) ÿâëÿåòñÿ ïîäìíîæåñòâîì íóëü-ìíîæåñòâà, ò.å.
ñàìî ÿâëÿåòñÿ íóëü-ìíîæåñòâîì.
Àíàëîãè÷íî äîêàçûâàåòñÿ, ÷òî ìíîæåñòâà ∂(A ∩ B) , ∂(A \ B) ⊂
∂A∪∂B , ïîýòîìó îíè òàêæå ÿâëÿþòñÿ íóëü-ìíîæåñòâàìè (óñòàíîâèòå ýòî
ñàìîñòîÿòåëüíî!). Òåîðåìà äîêàçàíà.
Äîêàçàòåëüñòâî î÷åâèäíî.
44
µ(A1 ∩ A2 ) = µ(A1 ) + µ(A2 ) .
Ïðåäïîëîæèì òåïåðü, ÷òî óòâåðæäåíèå òåîðåìû ñïðàâåäëèâî äëÿ
ñëó÷àÿ k ìíîæåñòâ, 2 ≤ k ≤ m − 1 ( m ≥ 3 ). Äîêàæåì, ÷òî òîãäà îíî
ñïðàâåäëèâî è äëÿ m ìíîæåñòâ. Èìååì ∪m Ak = ∪m−1
k=1 Ak ∪ Am . Ïðè
( m−1 ) k=1
ýòîì µ ∪k=1 Ak ∩ Am = µ (∪k=1 (Ak−1 ∩ Am )) ≤ ∪k=1 µ(Ak ∩ Am ) = 0 .
m m−1
45
ε = min{ε1 , ε2 } . Òîãäà Oε (z0 ) ⊂ Oε1 (x0 )×Oε2 (y0 ) ⊂ A×B . Äåéñòâèòåëüíî,
åñëè z = (x, y) ∈ Oε (z0 ) , òî ∥x − x0 ∥2 ≤ ∥z − z0 ∥2 < ε2 ≤ ε21 , îòêóäà
ñëåäóåò, ÷òî x ∈ Oε1 (x0 ) . Àíàëîãè÷íî y ∈ Oε2 (y0 ) . Èòàê, Oε (z0 ) ⊂ A × B ,
ò.å. z0 ∈ (A × B)◦ . Ýòî îçíà÷àåò, ÷òî A◦ × B ◦ ⊂ (A × B)◦ .
2) Âñïîìíèì õàðàêòåðèçàöèþ òî÷åê ïðèêîñíîâåíèÿ. Èìååì z0 =
(x0 , y0 ) ∈ (A × B)− òîãäà è òîëüêî òîãäà, êîãäà ∃zk = (xk , yk ) ∈ A × B :
zk → z0 , k → ∞ ⇐⇒ ∃xk ∈ A , xk → x0 è ∃yk ∈ B , yk → y0 ⇐⇒ x0 ∈ A−
è y0 ∈ B − ⇐⇒ z0 ∈ A− × B − .
Òåïåðü äîêàæåì òåîðåìó. Ðàññìîòðèì ìíîæåñòâî äâîè÷íûõ êóáîâ
Q ðàíãà k , ëåæàùèõ â (A × B)◦ = A◦ × B ◦ . Èìååì Q = Q1 × Q2 , ãäå Q1
äâîè÷íûé êóá ðàíãà k , ëåæàùèé â A◦ , Q2 äâîè÷íûé êóá ðàíãà k ,
ëåæàùèé â B ◦ . Îáðàòíî åñëè Q1 äâîè÷íûé êóá ðàíãà k , ëåæàùèé â
A◦ , Q2 äâîè÷íûé êóá ðàíãà k , ëåæàùèé â B ◦ , òî Q ÿâëÿåòñÿ äâîè÷íûì
êóáîì ðàíãà k , ëåæàùèì â (A × B)◦ . Îòñþäà ñëåäóåò, ÷òî l∗ (k; A × B) =
l∗ (k; A)×l∗ (k; B)B) . Óìíîæàÿ ïîñëåäíåå ðàâåíñòâî íà 2−k(n+m) , ïîëó÷àåì
2−k(n+m) l∗ (k; A × B) = 2−kn) l∗ (k; A) × 2−km l∗ (k; B)B) èëè µ∗ (k; A × B) =
µ∗ (k; A) × µ∗ (k; B)B) . Ïåðåõîäÿ ê ïðåäåëó ïðè k → ∞ , ïîëó÷àåì µ∗ (A ×
B) = µ∗ (A) × µ∗ (B)B) .
Àíàëîãè÷íî óñòàíàâëèâàåì, ÷òî l∗ (k; A × B) = l∗ (k; A) × l∗ (k; B)B)
(îáîñíóéòå ýòî ñàìîñòîÿòåëüíî!). Êàê è â ñëó÷àå âíóòðåííåé ìåðû, îòñþäà
ñëåäóåò, ÷òî µ∗ (A × B) = µ∗ (A) × µ∗ (B) .
Òàê êàê ìíîæåñòâà A è B èçìåðèìû, òî µ∗ (A) = µ∗ (A) = µn (A) ,
µ∗ (B) = µ∗ (B) = µm (B) . Çíà÷èò, µ∗ (A×B) = µ∗ (A×B) = µn (A)×µm (B) ,
ò.å. ìíîæåñòâî A × B èçìåðèìî è µn+m (A × B) = µn (A)µm (B) .
46
á) Ïóñòü òåïåðü a è b ïðîèçâîëüíûå äåéñòâèòåëüíûå ÷èñëà.
Ìîæíî ñ÷èòàòü, ÷òî a ̸= b . Äëÿ ëþáîãî k ∈ N ÷èñëà a ïðèíàäëåæàò
íåêîòîðûì äâîè÷íûì êóáàì [ak ; ck ] ðàíãà k . Ñëåäîâàòåëüíî, ak ≤ a ≤ ck ,
bk ≤ b ≤ dk . Ïðè ýòîì êóáû (îòðåçêè) [ak ; c; k] âëîæåíû äðóã â äðóãà è èõ
äëèíû ñòðåìÿòñÿ ê íóëþ. Ñëåäîâàòåëüíî, ïî ïðèíöèïó âëîæåííûõ îòðåç-
êîâ ak , ck → a , k → ∞ . Àíàëîãè÷íî bk , dk → a , k → ∞ . Ïðè äîñòàòî÷íî
áîëüøèõ k èìååì ck < bk , ïðè ýòîì [ck ; bk ] ⊂ [a; b] ⊂ [ak ; dk ] . Ïî ñâîé-
ñòâó âíóòðåííåé è âíåøíåé ìåð ñ ó÷åòîì ï. à) ck − bk ≤ µ([ck ; bk ]) =
µ∗ ([ck ; bk ]) ≤ µ∗ ([a; b]) ≤ µ∗ ([a; b]) ≤ µ∗ ([ak ; dk ]) = µ∗ ([ak ; dk ]) = dk − ak .
Ïðè k → ∞ èìååì b − a = limk→∞ (ck − bk ) ≤ µ∗ ([a; b]) ≤ µ∗ ([a; b]) ≤
limk→∞ (dk − ak ) = b − a . Îòñþäà µ∗ ([a; b]) = µ∗ ([a; b]) = b − a , îòðåçîê
[a; b] èçìåðèì è µ([a; b]) = b − a .
∏n
Ñëåäñòâèå 1. Ëþáîé ïàðàëëåëåïèïåä i=1 [ai ; bi ] èçìåðèì è
( )
∏
n ∏
n
µ [ai ; bi ] = (bi − ai ).
i=1 i=1
47
( )n
1) ml ≤ m2ln−1 → 0 , m → ∞ . Ñëåäîâàòåëüíî, µ∗ (C) = 0 , ò.å. C ÿâëÿåòñÿ
n
íóëü-ìíîæåñòâîì.
48
1.3.7 Ïðåîáðàçîâàíèÿ èçìåðèìûõ ìíîæåñòâ
′ ′
∪li=1 (c + Qi ) = c + ∪li=1 Qi ⊂ c + A ⊂ c + ∪m
i=1 Qi = ∪i=1 (c + Qi ).
m
∑
m
∗ ∗
≤ µ∗ (c+A) ≤ µ (c+A) ≤ µ (∪m
i=1 (c + Q′i )) = µ (∪m
i=1 (c + Q′i )) = µ(c+Q′i ) =
i=1
∑
m
= µ(Q′i ) = µ∗ (k; A).
i=1
Èòàê, µ∗ (k; A) =≤ µ∗ (c + A) ≤ µ∗ (c + A) ≤ µ∗ (k; A) . Óñòðåìëÿÿ k → ∞ ,
ïîëó÷àåì µ(A) =≤ µ∗ (c + A) ≤ µ∗ (c + A) ≤ µ(A) , îòêóäà ñëåäóåò, ÷òî
µ∗ (c+A) = µ∗ (c+A) = µ(A) . Ýòî îçíà÷àåò, ÷òî ìíîæåñòâî c+A èçìåðèìî
è µ(c + A) = µ(A) .
49
I) (x1 , x2 , . . . , xn ) 7→ (αx1 , x2 , . . . , xn ) , α ̸= 0 ,
II) (x1 , x2 , . . . , xi−1 , xi , xi+1 , xi+2 , . . . , xn ) 7→ (x1 , x2 , . . . , xi−1 , xi+1 , xi , xi+2 , . . . ,
III) (x1 , x2 , . . . , xn ) 7→ (x1 + x2 , x2 , . . . , xn ) .
50
Ñëåäñòâèå. Åñëè ϕ ëèíåéíîå íåâûðîæäåííîå ïðåîáðàçîâàíèå â
Rn îäíîãî èç òèïîâ I)III), Q êóá â Rn , òî åãî îáðàç ϕ(Q) èçìåðèì
è µ(ϕ(Q)) = | det[ϕ]|µ(Q) , ãäå [ϕ] ìàòðèöà îòîáðàæåíèÿ ϕ .
51
íå ìåíÿåòñÿ. Òàê êàê ìåðà íå ìåíÿåòñÿ è ïðè ñäâèãå, ïîëó÷àåì, ÷òî ñïðà-
âåäëèâà
Ñâîéñòâà ðàçáèåíèé.
1) Åñëè (A′j )1≤j≤q ÿâëÿåòñÿ èçìåëü÷åíèåì (Ai )1≤i≤p , à (A′′k )1≤k≤r
èçìåëü÷åíèåì (A′j )1≤j≤q , òî (A′′k )1≤k≤r ÿâëÿåòñÿ èçìåëü÷åíèåì (Ai )1≤i≤p .
2) Äëÿ ëþáûõ ðàçáèåíèé (Ai )1≤i≤p è (A′j )1≤j≤q ìíîæåñòâà A ñó-
ùåñòâóåò ðàçáèåíèå, êîòîðîå ÿâëÿåòñÿ èçìåëü÷åíèåì êàê (Ai )1≤i≤p , òàê
è (A′j )1≤j≤q . Äåéñòâèòåëüíî, â êà÷åñòâå ðàçáèåíèÿ ìîæíî âçÿòü ñîâîêóï-
íîñòü íåïóñòûõ ïåðåñå÷åíèé ìíîæåñòâ Ai ∩ A′j .
3) Ïóñòü A èçìåðèìîå ìíîæåñòâî â Rn . Äëÿ ëþáîãî ε > 0 ñóùå-
ñòâóåò ðàçáèåíèå
√
τ ñ äèàìåòðîì d(τ ) < ε . Äåéñòâèòåëüíî, âûáåðåì öåëîå
k òàêîå, ÷òî 2kn < ε . Ðàññìîòðèì âñå äâîè÷íûå êóáû Q1 , Q2 , . . . , Qp ðàí-
ãà k , êîòîðûå ïåðåñåêàþòñÿ ñ√ A . Òîãäà τ = (A ∩ Qi )1≤i≤p ðàçáèåíèå A .
n
Èìååì d(A ∩ Qi ) ≤ d(Qi ) = 2k < ε , ïîýòîìó d(τ ) < ε .
52
1.4.2 Èíòåãðàëüíûå ñóììû. Îïðåäåëåíèå êðàòíîãî èíòåãðàëà
Ðèìàíà
â R3 : ∫∫∫
f (x1 , x2 , x3 ) dx1 dx2 x3 ,
A
â R2 : ∫∫ ∫
... f (x1 , x2 , . . . , xn ) dx1 dx2 . . . xn .
A
53
Ñâîéñòâà ñóìì Äàðáó.
1) Äëÿ ëþáûõ τ è Tτ
∑
p ∑
p ∑
∗
S (f, τ ) = MAi (f )µ(Ai ) = MAi (f ) µ(A′j ) =
i=1 i=1 j:A′j ⊂Ai
∑
p ∑ ∑
p ∑
= MAi (f )µ(A′j ) ≥ MA′j (f )µ(A′j ) =
i=1 j:A′j ⊂Ai i=1 j:A′j ⊂Ai
∑
q
= MA′j (f )µ(A′j ) = S ∗ (f, τ ′ ).
j=1
54
Äîêàçàòåëüñòâî ïîëíîñòüþ àíàëîãè÷íî äîêàçàòåëüñòâó ëåììû
Äàðáó äëÿ èíòåãðàëîâ ïî îòðåçêó.
55
ñëåäîâàòåëüíî, f (x′ )−f (x′′ ) <
ε) ε)
µ(A) îòêóäà MAi (f )−mAi (f ) ≤ µ(A) . Èìååì
∑
p
ε ∑
p
ε)
S ∗ (f, τ )−S∗ (f, τ ) = (MAi (f )−mAi (f ))µ(Ai ) ≤ µ(Ai ) = ·µ(A) = ε.
i=1
µ(A) i=1
µ(A)
56
ïîêðûòèÿ ìîæíî âûäåëèòü êîíå÷íîå ïîäïîêðûòèå, ò.å. ñóùåñòâóåò êî-
íå÷íîå ïîäìíîæåñòâî I ′ ⊂ I òàêîå, ÷òî A ⊂ ∪i∈I ′ Qi . Òîãäà mu∗ (A) ≤
∑
i∈I ′ µ(Qi ) < ε . Ïîñêîëüêó ε ïðîèçâîëüíîå ïîëîæèòåëüíîå ÷èñëî, òî
îòñþäà ñëåäóåò, ÷òî µ∗ (A) = 0 . Ñëåäîâàòåëüíî, A ìíîæåñòâî ìåðû
íóëü ïî Æîðäàíó.
57
(B ∪∂A)∩A− çàìêíóòî, òàê êàê B , ∂A è A− çàìêíóòûå ìíîæåñòâà.
58
ñëåäóåò, ÷òî A∗λ := Aλ ∪∂A íóëü-ìíîæåñòâî ïî Ëåáåãó. Íî ïî ëåììå 1 ýòî
ìíîæåñòâî çàìêíóòî, à òàê êàê A îãðàíè÷åíî, òî A∗λ òàêæå îãðàíè÷åíî,
òàê êàê ñîäåðæèòñÿ â îãðàíè÷åííîì ìíîæåñòâå A− . Ñëåäîâàòåëüíî, A∗λ
êîìïàêòíîå íóëü-ìíîæåñòâî ïî Ëåáåãó, îòêóäà ñëåäóåò, ÷òî îíî ÿâëÿåòñÿ
íóëü-ìíîæåñòâîì è ïî Æîðäàíó.
Ïîêðîåì ìíîæåñòâî A∗λ êîíå÷íûì ÷èñëîì îòêðûòûõ êóáîâ Q1 ,
∑k −
Q2 , . . . , Qk òàê, ÷òîáû i=1 µ(Qi ) < 4K . Ïóñòü A1 = ∪i=1 Qi ∩ A . Òî-
ε k
ãäà
∑
k ∑
k
ε
µ(A1 ) ≤ µ(Q−
i ) = µ(Qi ) < .
i=1 i=1
4K
Ïóñòü A′ = A \ ∪ki=1 Qi . Òàê êàê ∪ki=1 Qi ⊃ ∂A , òî A′ = A− \ ∪ki=1 Qi ,
îòêóäà ñëåäóåò, ÷òî A′ ÿâëÿåòñÿ çàìêíóòûì ìíîæåñòâîì êàê ðàçíîñòü çà-
ìêíóòîãî è îòêðûòîãî.  ñèëó îãðàíè÷åííîñòè A ìíîæåñòâî A′ ÿâëÿåòñÿ
êîìïàêòíûì.
Èòàê, A′ êîìïàêòíîå ïîäìíîæåñòâî â A◦ è, ïîñêîëüêó îíî íå ïå-
ðåñåêàåòñÿ ñ Aλ , èìååì ωf (x) < λ ∀x ∈ A′ . Ïî ëåììå 2 ñóùåñòâóåò δ > 0
òàêîå, ÷òî äëÿ ëþáûõ x′ , x′′ ∈ B
∑
p ∑
′
λε > (MAi − mAi )µ(Ai ) ≥ (MAi − mAi )µ(Ai ), (1.19)
i=1
59
ãäå øòðèõ ó ñóììû îçíà÷àåò ñóììèðîâàíèå ïî âñåì i , äëÿ êîòîðûõ ìíî-
æåñòâî Ai ñîäåðæèò ïî êðàéíåé ìåðå îäíó òî÷êó x èç Aλ , âíóòðåííþþ
äëÿ Ai . Òîãäà äëÿ òàêèõ Ai
60
êóáîâ ðàíãà k , êîòîðûå ïåðåñåêàþòñÿ ñ êóáàìè Q1 , Q2 , . . . , Ql . Ó ëþáîãî
äâîè÷íîãî êóáà ðàíãà k ñóùåñòâóåò ðîâíî (3n −1) äâîè÷íûõ êóáà ðàíãà k ,
êîòîðûå ïåðåñåêàþòñÿ ñ íèì è îòëè÷íû îò íåãî. Ïîýòîìó ÷èñëî äâîè÷íûõ
∑l
êóáîâ ðàíãà k â C íå ïðåâîñõîäèò 3n l è µ(C) ≤ 3n i=1 µ(Qi ) < ε . Åñëè
τ = (Ai )1≤i≤p , d(τ ) < 21k è Ai ∩ B ̸= ∅ , òî Ai ⊂ C . Ñëåäîâàòåëüíî,
∑
0 ≤ i:Ai ∩B=∅ µ(Ai ) ≤ µ(C) ≤ ε . Îòñþäà ñëåäóåò óòâåðæäåíèå ëåììû.
Äîêàçàòåëüñòâî. Èìååì
∑
S(f, τ, Tτ ) = SB (f, τ, Tτ ) + f (ξi )µ(Ai ). (1.20)
i:Ai ∩B̸=∅
∑ ∑
f (ξi )µ(Ai ) ≤ M µ(Ai ) → 0,
i:Ai ∩B̸=∅ i:Ai ∩B̸=∅
61
1.4.9 Ñðàâíåíèå äâóõ îïðåäåëåíèé èíòåãðàëà ïî îòðåçêó
62
ïîýòîìó ñóùåñòâóåò êîíå÷íûé ïðåäåë limd(τ )→0 S(f, τ, Tτ ) = µ(A) .
∑
n ∑
n ∑
n
≤ f (ξi )µ(Ai ) ≤ M mµ(Ai ) = M mµ(Ai ) = M µ(A),
i=1 i=1 i=1
ò.å. mµ(A) ≤ S(f, τ, Tτ ) ≤ M µ(A) . Ïåðåõîäÿ ê ïðåäåëó ïðè d(τ ) → 0
ïîëó÷àåì íóæíîå óòâåðæäåíèå.
63
Ñëåäñòâèå 1. Åñëè ôóíêöèÿ f èíòåãðèðóåìà è îãðàíè÷åíà íà A ,
òî ∫
f dµ ≤ sup |f | · µ(A).
A A
Ñëåäñòâèå 2. Åñëè ôóíêöèÿ f èíòåãðèðóåìà è íåîòðèöàòåëüíà
∫
íà A , òî A f dµ ≥ 0.
64
Îáîçíà÷èì ∫
A∫f (x)g(x)dx
α= ,
A g(x)dx
òîãäà α ∈ [m; M ] .
Ïóñòü òåïåðü ôóíêöèÿ f ÿâëÿåòñÿ ê òîìó æå íåïðåðûâíîé íà A è
ìíîæåñòâî A ëèíåéíî ñâÿçíî è êîìïàêòíî. Â ñèëó òåîðåìû Âåéåðøòðàññà
ìîæíî ñ÷èòàòü, ÷òî m = inf A f , M = supA f . Íåïðåðûâíàÿ ôóíêöèÿ íà
ëèíåéíî ñâÿçíîì ìíîæåñòâå ïðèíèìàåò ëþáîå çíà÷åíèå, ïðîìåæóòî÷íîå
ìåæäó m è M . Ïîýòîìó ñóùåñòâóåò òî÷êà x0 ∈ A òàêàÿ, ÷òî f (x0 ) = α .
Ýòî çàâåðøàåò äîêàçàòåëüñòâî òåîðåìû 6.
65
Òåîðåìà 8. Åñëè ôóíêöèÿ f îãðàíè÷åíà è èíòåãðèðóåìà íà äâóõ
èçìåðèìûõ íåïåðåñåêàþùèõñÿ ìíîæåñòâàõ A1 è A2 , òî îíà èíòåãðè-
ðóåìà íà èõ îáúåäèíåíèè A := A1 ∪ A2 è ñïðàâåäëèâî ðàâåíñòâî (1.23) .
Äîêàçàòåëüñòâî. Åñëè ôóíêöèÿ f îãðàíè÷åíà íà A1 è A2 , òî îíà
n → ∞.
66
Ïóñòü ôóíêöèÿ f èíòåãðèðóåìà íà A × B . Ðàññìîòðèì èíòåãðàë
∫ ∫
f dµn+m = f (x1 . . . , xn , y1 , . . . , ym )dx1 . . . dxn dy1 , . . . dym =
A×B A×B
∫
= f (x, y)dxdy.
A×B
Çàäà÷à: êàê ñâåñòè âû÷èñëåíèå ýòîãî (n + m) -ìåðíîãî èíòåãðàëà ê
âû÷èñëåíèþ èíòåãðàëîâ ìåíüøåé ðàçìåðíîñòè? Îòâåò íà ýòî äàåò
Òîãäà ∫
mAi ×Bj (f )µ(Bj ) ≤ f (xi , y)dy ≤ MAi ×Bj (f )µ(Bj ).
Bj
Ñóììèðóÿ, ïîëó÷àåì
∑
q q ∫
∑ ∑
q
mAi ×Bj (f )µ(Bj ) ≤ F (xi ) = f (xi , y)dy ≤ MAi ×Bj (f )µ(Bj ).
j=1 j=1 Bj j=1
67
Óìíîæàÿ ïîñëåäíåå íåðàâåíñòâî íà µ(Ai ) è ñóììèðóÿ ïî i , ïîëó÷àåì
∑
p ∑
q ∑
p ∑
p ∑
q
mAi ×Bj (f )µ(Ai )µ(Bj ) ≤ F (xi )µ(Ai ) ≤ MAi ×Bj (f )µ(Ai )µ(Bj ).
i=1 j=1 i=1 i=1 j=1
Îêîí÷àòåëüíî ïîëó÷àåì
Òåîðåìà äîêàçàíà.
68
Äëÿ äîêàçàòåëüñòâà äîñòàòî÷íî ïðèìåíèòü òåîðåìó Ôóáèíè (n−1)
ðàç.
Çàìå÷àíèå. Ïðè ñâåäåíèè êðàòíîãî èíòåãðàëà ê ïîâòîðíîìó ìîæ-
íî âûáèðàòü ëþáîé ïîðÿäîê èíòåãðèðîâàíèÿ:
φ ÿâëÿåòñÿ èçìåðèìûì
Ëåììà. Ëþáàÿ ïðàâèëüíàÿ îáëàñòü Aψ
ìíîæåñòâîì.
Òàê êàê çàìêíóòîå ìíîæåñòâî A èçìåðèìî, îíî
Äîêàçàòåëüñòâî.
69
Æîðäàíó â Rn+1 . Îòñþäà ñëåäóåò, ÷òî ∂Aψφ ÿâëÿåòñÿ ïîäìíîæåñòâîì îáú-
åäèíåíèÿ òðåõ íóëü-ìíîæåñòâ, çíà÷èò, ñàìî ÿâëÿåòñÿ íóëü-ìíîæåñòâîì ïî
Æîðäàíó. Ëåììà äîêàçàíà.
70
èíòåãðèðóåìà íà [m; φ(x)] [ψ(x); M ] , ïîñêîëüêó ðàâíà íóëþ çà èñêëþ÷å-
íèåì, áûòü ìîæåò, êîíöåâûõ òî÷åê. Èìååì
∫ M ∫ φ ∫ ψ(x)
fe(x, xn+1 )dxn+1 = (x)fe(x, xn+1 )dxn+1 + fe(x, xn+1 )dxn+1 +
m m φ(x)
∫ M ∫ ψ(x)
+ fe(x, xn+1 )dxn+1 = f (x, xn+1 )dxn+1 .
ψ(x) φ(x)
∫ ∫ ψ(x)
= dx f (x, xn+1 )dxn+1 .
A φ(x)
Ñ äðóãîé ñòîðîíû,
∫ ∫
fe(x, xn+1 )dxdxn+1 = fe(x, xn+1 )dxdxn+1 +
A×[m;M ] Aψ
φ
∫ ∫
+ fe(x, xn+1 )dxdxn+1 = f (x, xn+1 )dxdxn+1 .
A×[m;M ]\Aψ
φ Aψ
φ
Ñëåäñòâèå. Ïóñòü
71
Äëÿ äîêàçàòåëüñòâà äîñòàòî÷íî ïðèìåíèòü (n − 1) ðàç ïðåäûäó-
ùóþ òåîðåìó.
72
∫ 1 ∫ √
1−x2 ∫ √1−x2 −y2
= dx √ dy √ f (x, y, z)dz.
−1 − 1−x2 − 1−x2 −y 2
73
(ïðè x = 0 ïîëàãàåì φ = π
2 sign y ). Íåòðóäíî âèäåòü, ÷òî Ψ äèôôåî-
ìîðôèçì è ÿêîáèàí
∂(x, y)
= abr.
∂(r, φ)
Ëèíèè r = const > 0 ýëëèïñû, à φ = const ëó÷è èñõîäÿùèå èç
íà÷àëà êîîðäèíàò.
3) Öèëèíäðè÷åñêàÿ ñèñòåìà êîîðäèíàò â ïðîñòðàíñòâå.
çàäàäèì îòîáðàæåíèå Φ : (r, φ, h) 7→ (x, y, z) ôîðìóëàìè
x = r cos φ, y = sin φ, z = h.
cos φ −r sin φ 0
∂(x, y, z)
= sin φ r cos φ 0 = r > 0
∂(r, φ, h)
0 0 1
74
ãäå a , b è c íåêîòîðûå ïîëîæèòåëüíûå êîíñòàíòû. Ïðè ýòîì
∂(x, y, z)
= abcr.
∂(r, φ, h)
5) Ñôåðè÷åñêàÿ ñèñòåìà êîîðäèíàò â ïðîñòðàíñòâå.
Ðàññìîòðèì òî÷êó M (x, y, z) , íå ëåæàùóþ íà îñè Oz . Îáîçíà÷èì
−−→
÷åðåç ψ óãîë, îáðàçîâàííûé âåêòîðîì OM ñ ïîëîæèòåëüíûì íàïðàâëå-
íèåì îñè Oz , à ÷åðåç r äëèíó ýòîãî âåêòîðà. Ñïðîåêòèðóåì òî÷êó M íà
ïëîñêîñòü. Îáîçíà÷èì ÷åðåç A åå ïðîåêöèþ. Ïóñòü ρ äëèíà âåêòîðà
−→ −→
OA , φ óãîë, îáðàçóåìûé âåêòîðîì OA ñ ïîëîæèòåëüíûì íàïðàâëå-
íèåì îñè Ox . Èìååì ρ = r sin ψ , z = r cos ψ , x = ρ cos φ , y = ρ sin φ ,
îòêóäà
x = r sin ψ cos φ, y = r sin ψ sin φ, z = r cos ψ.
Îòîáðàæåíèå Φ : (r, φ, ψ) 7→ (x, y, z) , îïðåäåëÿåìîé ýòèìè ôîðìóëàìè,
ÿâëÿåòñÿ äèôôåîìîðôèçìîì îáëàñòè (0; +∞) × (0; 2π) × (0; π) íà R3 \
{(x, y, z) | x ≥ 0} . Óãëû φ è ψ íàçûâàþòñÿ óãëàìè Ýéëåðà. Îòìåòèì, ÷òî
èíîãäà âìåñòî ψ èñïîëüçóþò óãîë (π/2 − ψ) , êîòîðûé îáðàçóåò âåêòîð
−−→
OM ñ ïëîñêîñòüþ Oxy . Ïîäñ÷èòàåì ÿêîáèàí îòîáðàæåíèÿ Φ . Èìååì
75
Îíà îòëè÷àåòñÿ îò îáû÷íîé ñôåðè÷åñêîé ñèñòåìû êîîðäèíàò òåì,
÷òî îòîáðàæåíèå Φ èìååò âèä
(δ íå çàâèñèò îò òî÷åê x , x0 !) .
Òàê êàê K êîìïàêò, r := dist(K, ∂U ) > 0 . Äëÿ
Äîêàçàòåëüñòâî.
ëþáîãî x ∈ K èìååì Br/2 (x) ⊂ U . Ïóñòü K1 = ∪x∈K Br/2 (x) . ßñíî, ÷òî
K1 çàìêíóòîå îãðàíè÷åííîå ìíîæåñòâî è K1 ⊂ ∪x∈K Br/2 (x) ⊂ U , ò. å.
K1 ⊂ U . Ïðè ýòîì â ñèëó íåðàâåíñòâà òðåóãîëüíèêà dist(K1 , ∂U ) ≥ r/2 .
76
Ïóñòü òåïåðü x , x0 ∈ K , ïðè÷åì ∥x − x0 ∥ < r/2 . Òîãäà Br/2 (x0 ) ⊂
U è îòðåçîê ñ êîíöàìè x , x0 ëåæèò â øàðå Br/2 (x0 ) , ñëåäîâàòåëüíî, â U .
Ïóñòü Φ = (Φ1 , Φ2 , . . . , Φn ) . Äëÿ ëþáîãî 1 ≤ j ≤ n ïî ôîðìóëå êîíå÷íûõ
ïðèðàùåíèé èìååì
∂Φj ′ ∂Φj ′′ ε
∥x′ − x′′ ∥ < δ =⇒ (x ) − (x ) < √ .
∂xi ∂xi n n
Òîãäà
|Φj (x) − Φj (x0 ) − Φ′j (x0 )(x − x0 )| = |Φ′j (yj )(x − x0 ) − Φ′j (x0 )(x − x0 )| =
n [
∑ ] ∑n
∂Φj ∂Φj ε
= (yj ) − (x0 ) (xi − x0i ) ≤ √ |xi − x0i | ≤
i=1
∂xi ∂xi i=1
n n
ε ∑
n
ε
≤ √ ∥x − x0 ∥ = √ ∥x − x0 ∥,
n n i=1 n
åñëè x , x0 ∈ K , ∥x − x0 ∥ < δ . Èç ïîñëåäíåãî íåðàâåíñòâà ñëåäóåò, ÷òî
∥Φ(x) − Φ(x0 ) − Φ′ (x0 )(x − x0 )∥1 ≤ √εn ∥x − x0 ∥ , ñëåäîâàòåëüíî, ∥Φ(x) −
Φ(x0 ) − Φ′ (x0 )(x − x0 )∥ ≤ ε∥x − x0 ∥ . Ëåììà äîêàçàíà.
77
Ïóñòü S n ñôåðà â Rn , S n := {x ∈ Rn | ∥x∥ = 1} . Òîãäà îòîá-
ðàæåíèå (x, h) 7→ A−1
x h ÿâëÿåòñÿ íåïðåðûâíûì îòîáðàæåíèåì èç êîì-
ïàêòíîãî ìíîæåñòâà K × S n â Rn . Îáðàç êîìïàêòíîãî ìíîæåñòâà ïðè
íåïðåðûâíîì îòîáðàæåíèè ÿâëÿåòñÿ êîìïàêòíûì, ñëåäîâàòåëüíî, îãðà-
íè÷åííûì ìíîæåñòâîì â Rn , ïîýòîìó ñóùåñòâóåò M :
∥A−1
x h∥ ≤ M ∀x ∈ K, h ∈ S n .
Òîãäà ∥A−1 −1
x ∥ = suph∈S n ∥Ax h∥ ≤ M , x ∈ K .
78
Äîêàçàòåëüñòâî. 1) Ñíà÷àëà äîêàæåì, ÷òî g(Qρ ) ⊂ Qρ+η . Ïóñòü
x ∈ Qρ , ò.å. ∥x∥1 ≤ ρ . Èìååì g(x) = x + y , ãäå y := g(x) − x . Ïî óñëîâèþ
∥y∥ ≤ η , ïîýòîìó ∥y∥1 ≤ η . Ïî íåðàâåíñòâó òðåóãîëüíèêà ∥g(x)∥1 =
∥x + y∥1 ≤ ∥x∥1 + ∥y∥1 ≤ ρ + η , ÷òî îçíà÷àåò g(x) ∈ Qρ+η .
2) Äîêàæåì, ÷òî Qρ−η ⊂ g(Qρ ) . Ïóñòü x = (x1 , x2 , . . . , xn ) ∈ ∂Qρ .
Òîãäà ñóùåñòâóåò i : |xi | = ρ . Èìååì g(x) = x + y , ãäå y = g(x) − x . Âåê-
òîð g(x) îáëàäàåò ñâîéñòâîì: åãî i -àÿ êîìïîíåíòà óäîâëåòâîðÿåò íåðà-
âåíñòâó |xi + yi | ≥ |xi | − |yi | > ρ − η . Ñëåäîâàòåëüíî, ∥g(x)∥1 > ρ − η , ò.å.
g(x) ̸∈ Qρ−η . Ñëåäîâàòåëüíî, Qρ−η ∩ g(∂Qρ ) = Qρ−η ∩ ∂g(Qρ ) = ∅ . Ïî òåî-
ðåìå Æîðäàíà-Áðàóýðà ìíîæåñòâî ∂g(Qρ ) ðàçáèâàåò Rn íà äâå ëèíåéíî
ñâÿçíûõ êîìïîíåíòû B1 è B2 , ïðè÷åì Qρ−η ⊂ (∂g(Qρ ))c = B1 ∪ B2 . Ìíî-
æåñòâî Qρ−η âûïóêëî, ñëåäîâàòåëüíî, ëèíåéíî ñâÿçíî. Ïîýòîìó îíî ñî-
äåðæèòñÿ â îäíîé èç êîìïîíåíò ëèíåéíîé ñâÿçíîñòè ìíîæåñòâà (∂g(Qρ ))c
â B1 èëè B2 . Ïóñòü B1 òàê êîìïîíåíòà, êîòîðàÿ ñîäåðæèò íà÷àëî
êîîðäèíàò θ . Òàê êàê θ ∈ Qρ−η , ïîëó÷àåì, ÷òî Qρ−η ⊂ B1 . Íåòðóäíî âè-
äåòü, ÷òî ìíîæåñòâî g(Qρ )◦ â êà÷åñòâå ãðàíèöû èìååò ìíîæåñòâî ∂g(Qρ ) ,
ïîýòîìó ïî òåîðåìå Æîðäàíà-Áðàóýðà ñîâïàäàåò ëèáî ñ B1 , ëèáî ñ B2 .
Äîêàæåì, ÷òî g(Qρ )◦ = B1 . Äëÿ ýòîãî äîñòàòî÷íî óñòàíîâèòü, ÷òî
g(Qρ )◦ ïåðåñåêàåòñÿ ñ Qρ−η . Èìååì ∥g(θ)∥1 ≤ ∥g(θ)∥ = ∥g(θ) − θ∥ <
η < ρ − η , òàê êàê η < ρ/2 . Ýòî îçíà÷àåò, ÷òî g(θ) ∈ g(Qρ )◦ ∪ Qρ−η ,
ò.å. ïîñëåäíåå ïåðåñå÷åíèå íåïóñòî. Èòàê, Qρ−η ⊂ B1 = g(Qρ )◦ ⊂ g(Qρ ) .
Ëåììà 3 äîêàçàíà.
79
x ∈ K èìååò ìåñòî íåðàâåíñòâî |IΦ (x)| ≤ L .
Òàê êàê limγ→0+ (1 + γ)n = 1 è limγ→0+ (1 − γ)n = 1 , ñóùåñòâóåò
òàêîå γ = γ(ε, K) ∈ (0; 1/2) , ÷òî
ε ε
(1 + γ)n − 1 < , 1 − (1 − γ)n < .
L L
Ïóñòü ε1 = 2Mγ√n , ãäå M = supx∈K ∥A−1x ∥ < +∞ â ñèëó ëåììû 2 ( Ax =
Φ′ (x) ). Â ñèëó ëåììû 1 ñóùåñòâóåò δ1 = δ1 (ε1 , K) òàêîå, ÷òî äëÿ ëþáûõ
x , x0 ∈ K âûïîëíÿåòñÿ íåðàâåíñòâî
Òîãäà
A(Qρ(1−γ) ) ⊂ ϕ(Qρ ) ⊂ A(Qρ(1+γ) ).
ßñíî, ÷òî ϕ(Qρ ) = Φ(Qxρ 0 ) − Φ(x0 ) , Qρ = Qxρ 0 − x0 . Èñïîëüçóÿ ðåçóëüòàòû
îá èñêàæåíèè ìåðû êóáà ïðè ëèíåéíûõ ïðåîáðàçîâàíèÿõ è èíâàðèàíò-
íîñòü ìåðû îòíîñèòåëüíî ïàðàëëåëüíûõ ïåðåíîñîâ, ïîëó÷àåì
80
èëè
|IΦ (x0 )|(1 − γ)n µ(Qxρ 0 ) ≤ µ∗ (Φ(Qxρ 0 )) ≤ |IΦ (x0 )|(1 − γ)n µ(Qxρ 0 ).
Òàêèì îáðàçîì,
µ∗ (Φ(Qxρ 0 ))
−ε < [(1−γ) −1]|IΦ (x0 )| ≤
n
x0 −|IΦ (x0 )| ≤ [(1+γ)n −1]|IΦ (x0 )| < ε,
µ(Qρ )
ñëåäîâàòåëüíî,
µ(Φ(Qxρ 0 ))
− |IΦ (x0 )| < ε, 0 < ρ < δ.
µ∗ (Qxρ 0 )
Ëåììà 4 äîêàçàíà.
µ(Φ(Qxρ ))
≤ C.
µ(Qxρ )
81
Òåîðåìà 2 (çàìåíà ïåðåìåííûõ â êðàòíîì èíòåãðàëå).
Ïóñòü Φ : U → V äèôôåîìîðôèçì è D çàìêíóòîå èçìåðèìîå
ìíîæåñòâî â U . Ïóñòü D∗ := Φ(D) è ôóíêöèÿ f : D∗ → R íåïðåðûâ-
íà. Òîãäà ∫ ∫
f (x)dx = f (Φ(t))|IΦ (t)|dt.
D∗ D
Äîêàçàòåëüñòâî. Âûáåðåì êîìïàêòíîå ìíîæåñòâî K ⊂ U òàêîå,
÷òî D ⊂ K ◦ . Ïîêðîåì ìíîæåñòâî D äâîè÷íûìè êóáàìè Q1 , Q2 , . . . Qk
ðàíãà l , êàæäûé èç êîòîðûõ ïåðåñåêàåòñÿ ñ D . Åñëè l äîñòàòî÷íî âåëèêî,
D ⊂ ∪ki=1 ⊂ K . Ôèêñèðóåì ε > 0 . Â ñèëó ëåììû 4 è ñëåäñòâèÿ èç òåîðåìû
1 ∃δ > 0 : ∀x ∈ K è ∀ρ ∈ (0; δ)
µ(Φ(Qxρ ))
− |IΦ (x)| < ε. (1.26)
µ(Qxρ )
∑ ∑
k
f (Φ(ti ))ri µ(Qi ) ≤ ε max
∗
|f | µ(Qi ).
D
Qi ⊂D◦ i=1
82
∫ ∫
Ïðè l → ∞ èìååì S∂D∗ (f, τ, Tτ ) → D∗ f (x)dx , S1 → f (Φ(t))|IΦ (t)|dt ,
∑k ∗
D
i=1 µ(Qi ) → µ (D) = µ(D) . Ïîýòîìó
∫ ∫
f (x)dx − f (Φ(t))|IΦ (t)|dt ≤ ε max
∗
|f |µ(D).
D∗ D D
83
ôóíêöèè ïî òàêîìó ìíîæåñòâó (è ïî ëþáîìó åãî ïîäìíîæåñòâó) ðàâåí
íóëþ.
Êîìïàêòíûì èñ÷åðïàíèåì ìíîæåñòâà A íàçûâàåòñÿ ëþáàÿ ïîñëå-
äîâàòåëüíîñòü An ïîäìíîæåñòâ ìíîæåñòâà A , óäîâëåòâîðÿþùàÿ óñëîâè-
ÿì:
1) ∪∞n=1 An = A ,
2) A−n ⊂ An+1 , n ≥ 1 ,
3) An îòêðûòûå ìíîæåñòâà, n ≥ 1 .
∫
Ïóñòü A f (x)dx íåñîáñòâåííûé èíòåãðàëîì ñ åäèíñòâåííîé
îñîáåííîñòüþ â òî÷êå x0 ∈ A◦ . Ãîâîðÿò, ÷òî íåñîáñòâåííûé èíòåãðàë
∫
A f (x)dx ñõîäèòñÿ, åñëè äëÿ ëþáîãî êîìïàêòíîãî èñ÷åðïàíèÿ {An } ìíî-
∫
æåñòâà A\{x0 } ñóùåñòâóåò êîíå÷íûé ïðåäåë limn→∞ An f (x)dx , êîòîðûé
∫
íå çàâèñèò îò âûáîðà èñ÷åðïàíèÿ.  ýòîì ñëó÷àå ÷èñëî limn→∞ An f (x)dx
∫
íàçûâàþò çíà÷åíèåì íåñîáñòâåííîãî èíòåãðàëà A f (x)dx . Åñëè íåñîá-
ñòâåííûé èíòåãðàë íå ñõîäèòñÿ, òî ãîâîðÿò. ÷òî îí ðàñõîäèòñÿ.
Àíàëîãè÷íî ââîäèòñÿ ïîíÿòèå íåñîáñòâåííîãî èíòåãðàëà ñ åäèí-
ñòâåííîé îñîáåííîñòüþ â òî÷êå ∞ , åñëè ìíîæåñòâî ñîäåðæèò âíåøíîñòü
íåêîòîðîãî øàðà {∥x∥ ≥ R} (îïðåäåëèòü ñàìîñòîÿòåëüíî!).
Òåïåðü äàäèì îáùåå îïðåäåëåíèå íåñîáñòâåííîãî êðàòíîãî èíòå-
ãðàëà. Ïóñòü B íåêîòîðîå îòêðûòîå ìíîæåñòâî â Rn è ôóíêöèÿ
∫
f : B → R , ïðè÷åì B f (x)dx íå ÿâëÿåòñÿ ñîáñòâåííûì èíòåãðàëîì Ðè-
ìàíà, íî äëÿ ëþáîãî èçìåðèìîãî ïî Æîðäàíó ìíîæåñòâà Q òàêîãî, ÷òî
∫
Q ⊂ B ñóùåñòâóåò Q f (x)dx . Åñëè äëÿ ëþáîãî êîìïàêòíîãî èñ÷åðïàíèÿ
∫
{Bn } ìíîæåñòâà B ñóùåñòâóåò êîíå÷íûé ïðåäåë limn→∞ Bn f (x)dx , êî-
òîðûé íå çàâèñèò îò âûáîðà {Bn } òî ãîâîðÿò, ÷òî íåñîáñòâåííûé èíòåãðàë
∫ ∫ ∫
B f (x)dx ñõîäèòñÿ è åãî çíà÷åíèå B f (x)dx = lim n→∞ Bn f (x)dx .
84
∫
limn→∞ Bn f (x)dx =: α è {Cn } äðóãàÿ èñ÷åðïûâàþùàÿ ïîñëåäî-
∫
âàòåëüíîñòü äëÿ B . Äîêàæåì, ÷òî ñóùåñòâóåò limn→∞ Cn f (x)dx = α .
Ðàññìîòðèì íåêîòîðîå Cn . Òàê êàê C n ⊂ Cn+1 ⊂ B = ∪∞ n=1 Bn , èìååì
C n ⊂ ∪∞ n=1 Bn . Ìíîæåñòâà Bn îáðàçóþò îòêðûòîå ïîêðûòèå êîìïàêòíîãî
ìíîæåñòâà Cn , ñëåäîâàòåëüíî, èç ýòîãî îòêðûòîãî ïîêðûòèÿ ìîæíî
âûäåëèòü êîíå÷íîå ïîäïîêðûòèå, ò.å. C n ⊂ ∪lj=1 Bkj . Òàê êàê ìíîæå-
ñòâà Bkj âëîæåíû äðóã â äðóãà, ïîëó÷àåì, ÷òî ∪lj=1 Bkj = Bk , ãäå
k = max1≤j≤l kj . Èòàê, Cn ⊂ Bk . Â ñèëó íåîòðèöàòåëüíîñòè f èìååì
∫ ∫
βn := Cn f (x)dx ≤ Bk f (x)dx := αk . Êðîìå òîãî, ïîñëåäîâàòåëüíîñòè
βn è αn ìîíîòîííî âîçðàñòàþò. Òàê êàê αn èìååò ïðåäåë α , ïîëó÷àåì
αk ≤ α , k ≥ 1 . Èç ïîñëåäíåãî íåðàâåíñòâà è íåðàâåíñòâà βn ≤ αk
âûâîäèì, ÷òî βn ≤ α . Ñëåäîâàòåëüíî, ìîíîòîííî âîçðàñòàþùàÿ ïîñëå-
äîâàòåëüíîñòü βn îãðàíè÷åíà ñâåðõó, îòêóäà ñëåäóåò, ÷òî ñóùåñòâóåò
êîíå÷íûé ïðåäåë β := limn→∞ βn ≤ α . Ìåíÿÿ ìåñòàìè {Bn } è {Bn } ,
ïîëó÷àåì àíàëîãè÷íî, ÷òî α ≤ β . Òàêèì îáðàçîì, α = β . Òåîðåìà 1
äîêàçàíà.
∫
Òåîðåìà 2. Ïóñòü B f (x)dx íåñîáñòâåííûé èíòåãðàë è f ≥ 0
íà B . Åñëè äëÿ íåêîòîðîãî êîìïàêòíîãî èñ÷åðïàíèÿ {Bn } ìíîæåñòâà
∫
B ñóùåñòâóåò êîíñòàíòà C òàêàÿ, ÷òî Bn f (x)dx ≤ C , òî èíòåãðàë
∫
B f (x)dx ñõîäèòñÿ.
85
∫
∫
Òåîðåìà 4 (òåîðåìà ñðàâíåíèÿ). Ïóñòü B f (x)dx è B g(x)dx
äâà íåñîáñòâåííûõ èíòåãðàëà ñ åäèíñòâåííîé îñîáåííîñòüþ â òî÷-
êå x0 (ëèáî x0 ∈ Rn , ëèáî x0 = ∞ ), ïðè÷åì f , g ≥ 0 íà B . Åñëè
∫ ∫
f (x) ∼ g(x) , x → x0 , òî èíòåãðàëû B f (x)dx è B g(x)dx ñõîäÿòñÿ è
ðàñõîäÿòñÿ îäíîâðåìåííî.
Äîêàçàòåëüñòâî ïðîâîäèòñÿ êàê è â îäíîìåðíîì ñëó÷àå ñâåäåíèåì
ê òåîðåìå 3 (ðàñïèøèòå ïîäðîáíî äîêàçàòåëüñòâî ñàìîñòîÿòåëüíî!).
∫
Íà ïðàêòèêå ïðè èññëåäîâàíèè ñõîäèìîñòè èíòåãðàëîâ B f (x)dx â
êà÷åñòâå ôóíêöèè g ÷àñòî áåðóò ñòåïåííûå ôóíêöèè âèäà g(x) = ∥x−x 1
0∥
α ,
86
x = (x1 , x2 , . . . , xn ) ñ ïîëîæèòåëüíûì íàïðàâëåíèåì îñè Ox1 , óãîë φn−2
ýòî óãîë, êîòîðûé îáðàçóåò ïðîåêöèÿ âåêòîðà x = (x1 , x2 , . . . , xn ) íà
ãèïåðïëîñêîñòü Ox2 x3 . . . xn ñ ïîëîæèòåëüíûì íàïðàâëåíèåì îñè Ox2 , è
ò. ä. Íàêîíåö, óãîë φ1 ýòî óãîë, êîòîðûé îáðàçóåò ïðîåêöèÿ âåêòîðà
x = (x1 , x2 , . . . , xn ) íà ïëîñêîñòü Oxn−1 xn ñ ïîëîæèòåëüíûì íàïðàâëåíè-
åì îñè Oxn−1 . Ïðè ýòîì r = ∥x∥ .
Äîêàæåì, ÷òî ìîäóëü ÿêîáèàíà
∂(x1 , x2 , x3 , . . . , xn )
= rn−1 sinn−2 φn−1 sinn−3 φn−2 . . . sin2 φ3 sin φ2 .
∂(r, φ1 , φ2 , . . . , φn−1 )
(1.28)
Ïðèìåíèì ìåòîä ìàòåìàòè÷åñêîé èíäóêöèè. Ïðè n = 2 èìååì îáû÷íóþ
ïîëÿðíóþ ñèñòåìó êîîðäèíàò íà ïëîñêîñòè, ïðè n = 3 ñôåðè÷åñêóþ â
R3 . Ôîðìóëà (1.28), î÷åâèäíî, â ýòèõ ñëó÷àÿõ ñïðàâåäëèâà. Ïóñòü òåïåðü
ýòà ôîðìóëà ñïðàâåäëèâà äëÿ âñåõ ðàçìåðíîñòåé 2 , 3, . . . , n−1 . Äîêàæåì
åå äëÿ ðàçìåðíîñòè n .
Ïðåäñòàâèì ïðåîáðàçîâàíèå (1.27) â âèäå ñóïåðïîçèöèè äâóõ îòîá-
ðàæåíèé
x1 = t
x2 = ρ cos ψn−2
x3 = ρ sin ψn−1 cos ψn−2 ,
(1.29)
··· ··· ··················
xn−1 = ρ sin ψn−2 sin ψn−3 . . . sin ψ2 cos ψ1 ,
xn = ρ sin ψn−2 sin ψn−3 . . . sin ψ2 sin ψ1 ,
è
t = r cos φn−1
ρ = r sin φn−1
ψ1 = φ1 ,
(1.30)
ψ2 = φ2 ,
··· ··· ··················
ψn−2 = φn−2 .
Ïîñêîëüêó â ïðåîáðàçîâàíèè (1.29) òîëüêî ïåðâàÿ ôóíêöèÿ x1 çàâèñèò îò
ïåðåìåííîé t , ïðè÷åì x1 = t , ïîëó÷àåì, ÷òî
∂(x1 , x2 , . . . , xn ) ∂(x2 , . . . , xn )
= .
∂(t, ρ, ψ1 , . . . , ψn−2 ) ∂(ρ, ψ1 , . . . , ψn−2 )
87
Èñïîëüçóÿ òî, ÷òî çàâèñèìîñòü x2 , . . . , xn îò ïåðåìåííûõ ρ, ψ1 , . . . , ψn−2
òî÷íî òàêàÿ æå, êàê äëÿ ñôåðè÷åñêîé ñèñòåìû êîîðäèíàò â ðàçìåðíîñòè
(n − 1) , ïî ïðåäïîëîæåíèþ èíäóêöèè ïîëó÷àåì
∂(x2 , . . . , xn )
= ρn−2 sinn−3 ψn−2 sinn−4 ψn−3 . . . sin2 ψ3 sin ψ2 .
∂(ρ, ψ1 , . . . , ψn−2 )
 ïðåîáðàçîâàíèè (1.30) òîëüêî t è ρ çàâèñÿò îò ïåðåìåííûõ r è φn−1
(çàâèñèìîñòü òî÷íî òàêàÿ æå êàê â ñëó÷àå ïîëÿðíîé ñèñòåìû êîîðäèíàò
íà ïëîñêîñòè), à ψk = φk , 1 ≤ k ≤ n − 2 . Ïîýòîìó
∫ r0 (1− 1 ) n−1 ∫ π ∫ π
n r dr
= lim α
sinn−2
φn−1 dφn−1 sinn−3 φn−2 dφn−2 ×
n→∞ r
n
0 r 0 0
∫ π ∫ π ∫ 2π
× . . . × sin 2
φ3 dφ3 sin φ2 dφ2 dφ1 =
0 0 0
∫ r0 (1− n1 ) ∫ r0
dr dr
= C lim =C ,
n→∞ r0
n
rα+1−n 0 rα+1−n
ãäå C > 0 êîíñòàíòà. Òàêèì îáðàçîì, íàø èíòåãðàë ñõîäèòñÿ òîãäà è
∫ r dr
òîëüêî òîãäà, êîãäà ñõîäèòñÿ èíòåãðàë 0 0 rα+1−n , ò.å. ïðè α + 1 − n < 1 ,
÷òî ýêâèâàëåíòíî íåðàâåíñòâó α < n .
88
2) Ðàññìîòðèì ñëó÷àé x0 = ∞ . Àíàëîãè÷íûå ðàññóæäåíèÿ ïîêà-
çûâàþò, ÷òî ∫
dx
, r0 , α ∈ R, r0 > 0.
∥x∥>r0 ∥x∥α
∫ +∞
ñõîäèòñÿ òîãäà è òîëüêî òîãäà, êîãäà ñõîäèòñÿ èíòåãðàë r0
dr
rα+1−n , ò. å.
ïðè α + 1 − n > 1 , ÷òî ýêâèâàëåíòíî íåðàâåíñòâó α > n .
89
Ëåììà 1. Åñëè limn→∞ xn = +∞ , òî ñóùåñòâóåò ïîäïîñëåäîâà-
òåëüíîñòü xn òàêàÿ, ÷òî
Äîêàçàòåëüñòâî î÷åâèäíî.
Ëåììà 2. Ïóñòü ôóíêöèÿ f èíòåãðèðóåìà íà èçìåðèìîì ìíî-
∫
æåñòâå A ⊂ Rn , ïðè÷åì f ≥ 0 íà A A f (x)dx > α > 0 . Òîãäà ñóùå-
ñòâóåò èçìåðèìîå ïîäìíîæåñòâî B ⊂ A òàêîå, ÷òî f > 0 íà B è
∫
B f (x)dx > α .
∫ β−α
Äîêàçàòåëüñòâî. Ïóñòü β = A f (x)dx , β > α , è ε = 2 . òîãäà
ñóùåñòâóåò δ > 0 òàêîå, ÷òî äëÿ ëþáîãî τA = (Ai )1≤i≤p
90
Ïóñòü Cn = Bn+1 \ Bn . Òîãäà
∫ ∫ ∫ ∫
f+ (x)dx f− (x)dx = |f (x)|dx > 2 |f (x)|dx + 2n.
Cn Cn Cn Bn
∫ ∫
Èç èíòåãðàëîâ Cn f+ (x)dx , Cn f− (x)dx âûáåðåì áîëüøèé. ïðåäïîëîæèì,
∫ ∫
äëÿ îïðåäåëåííîñòè, ÷òî Cn f+ (x)dx ≥ Cn f− (x)dx . Òîãäà
∫ ∫ ∫ ∫
2 f+ (x)dx ≥ f+ (x)dx f− (x)dx > 2 |f (x)|dx + 2n,
Cn Cn Cn Bn
îòêóäà ∫ ∫
f+ (x)dx > |f (x)|dx + n.
Cn Bn
Ïî ëåììå 2 ñóùåñòâóåò èçìåðèìîå ïîäìíîæåñòâî Dn ⊂ Cn òàêîå, ÷òî
f+ > 0 íà Dn è ∫ ∫
f+ (x)dx > |f (x)|dx + n.
Dn Bn
Áåç îãðàíè÷åíèÿ îáùíîñòè ìîæíî ñ÷èòàòü, ÷òî Dn îòêðûòî. Òàê
êàê f+ > 0 íà Dn , ïîëó÷àåì, ÷òî f+ = f íà Dn è òîãäà
∫ ∫
f (x)dx > |f (x)|dx + n.
Dn Bn
1.5.1 Êðèâûå â Rn
91
òàêîé, ÷òî ω1 = ω2 ◦ φ . Êëàññ ýêâèâàëåíòíîñòè C ïóòåé íàçûâàåòñÿ êðè-
âîé â Rn . Åñëè ω ïðåäñòàâèòåëü êëàññà ýêâèâàëåíòíîñòè C , òî ãîâîðÿò,
÷òî ω ïàðàìåòðèçàöèÿ êðèâîé C . Ïàðàìåòðèçàöèÿ äàåò ïðåäñòàâëåíèå
êðèâîé â âèäå x = ω(t) , a ≤ t ≤ b .
Åñëè ïðè îïðåäåëåíèè îãðàíè÷èòüñÿ òîëüêî ìîíîòîííî âîçðàñòà-
þùèìè ãîìåîìîðôèçìàìè φ , òî ñîîòâåòñòâóþùèé êëàññ ýêâèâàëåíòíî-
ñòè íàçûâàåòñÿ îðèåíòèðîâàííîé êðèâîé, ò.å. êðèâîé, íà êîòîðîé çàäà-
íà îðèåíòàöèÿ (íàïðàâëåíèå îáõîäà, ñîîòâåòñòâóþùåå âîçðàñòàíèþ ïà-
ðàìåòðà t ). Åñëè ïóòü ω : [a; b] → Rn íåïðåðûâíî äèôôåðåíöèðóåì è
∥ω ′ (t)∥ ̸= 0 , t ∈ [a; b] , òî ω íàçûâàåòñÿ ãëàäêèì ïóòåì. Íà ìíîæåñòâå
ãëàäêèõ ïóòåé ìîæíî ââåñòè îòíîøåíèå ýêâèâàëåíòíîñòè òàê æå, êàê è
âûøå, åñëè â êà÷åñòâå φ áðàòü íåïðåðûâíî äèôôåðåíöèðóåìûå ôóíê-
öèè ñ φ′ (t) ̸= 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 . Î÷åâèäíà
92
1.5.2 Êðèâîëèíåéíûå èíòåãðàëû âòîðîãî ðîäà
 ñëó÷àå R3
∫ ∫
ω= f (x, y, z)dx + g(x, y, z)dy + h(x, y, z)dz.
C C
∫ H
Åñëè êðèâàÿ çàìêíóòà, òî èíîãäà âìåñòî C ω ïèøóò C ω.
93
ãäå èíòåãðàëû â ïðàâîé ÷àñòè ïîíèìàþòñÿ â ñìûñëå Ðèìàíà-
Ñòèëòüåñà.
Äîêàçàòåëüñòâî. Ïóñòü x(t) = (x1 (t), x2 (t), . . . , xn (t)) , a ≤ t ≤ b ,
ïàðàìåòðèçàöèÿ C , òî÷êàì x(k) è y (k) ñîîòâåòñòâóþò òî÷êè tk è ξk .
∑l (k) (k−1) ∑l
Òîãäà f
k=1 j (y (k)
)(x j − x j ) = k=1 fj (x(ξk ))(xj (tk ) − xj (tk−1 )) . Ýòî
èíòåãðàëüíàÿ ñóììà Ðèìàíà-Ñòèëòüåñà íåïðåðûâíîé ôóíêöèè fj (x(t))
îòíîñèòåëüíî ôóíêöèè îãðàíè÷åííîé âàðèàöèè xj (t) . Åñëè d(τ ) → 0 , òî
max ∆tk → 0 . Ïîýòîìó ïðè d(τ ) → 0 èíòåãðàëüíàÿ ñóììà ñòðåìèòñÿ ê
∫b
a fj (x(t))dxj (t) . Òåîðåìà äîêàçàíà.
94
∫
4) Åñëè |fj (x)| ≤ M , x ∈ |C| òî C fj (x)dxj ≤ M l(C) , ãäå l(C)
äëèíà êðèâîé C . Äåéñòâèòåëüíî äëÿ èíòåãðàëüíûõ ñóìì äëÿ èíòåãðà-
∫ ∑l (k) (k−1)
ëà C fj (x)dxj èìååì |S(fj (x)dxj , τ, Tτ )| = k=1 fj (y )(xj − xj
(k)
) ≤
∑l (k) (k−1) ∑l (k) (k−1) ∑l
k=1 |f j (y (k)
)| · |xj − xj | ≤ M |x
k=1 j − x j | ≤ M k=1 ∥x
(k)
−
x(k−1) ∥ ≤ M l(C) . Ïåðåõîäÿ ê ïðåäåëó ïðè d(τ ) → 0 , ïîëó÷àåì íóæíîå
íåðàâåíñòâî.
95
∫
5) äëÿ ëþáîé ïðîñòîé çàìêíóòîé ëîìàíîé C â U èìååì C ω = 0 .
∫
6) äëÿ ëþáîé çàìêíóòîé ëîìàíîé C â U èìååì C ω = 0 .
Äîêàçàòåëüñòâî. 1) =⇒ 2) . Ýòî ñëåäóåò èç òåîðåìû 1.
2) =⇒ 3) . Ðàññìîòðèì ëþáóþ çàìêíóòóþ ãëàäêóþ êðèâóþ C . Ðàç-
∫ ∫
îáúåì åå íà ÷àñòè C1 è C2 òî÷êàìè A è B . Òîãäà C ω = C1 +C2 ω =
∫ ∫
ω + ω . Íî êðèâûå C1 è C2− èìåþò îäèíàêîâûå íà÷àëî è êîíåö,
C1 ∫C2 ∫ ∫ ∫
ïîýòîìó C1 ω = C − ω = − C2 ω . Ñëåäîâàòåëüíî, C ω = 0 .
2
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 + . . . + ζsm + ξsm ,
Cm = ξ0m + σ1m + ξ1m + σ2m + ξ2m + . . . + σsm + ξsm , ïîýòîìó, ïîñêîëüêó
∫
Cm ω = 0 äëÿ ëþáîãî m , èìååì
∫ ∫ ∫ ( s ∫ s ∫
) ( s ∫ s ∫
)
∑ ∑ ∑ ∑
ω = ω− ω = ω+ ω − ω+ ω =
C C Cm i=0 ξim i=1 ζim i=0 ξim i=1 σim
s ∫
∑ s ∫
∑ ∑
n ∑
s
= ω− ω ≤ Mj [l(ζim ) + l(σim )].
i=1 ζim i=1 σim j=1 i=1
Èòàê,
∫ ∑
n ∑
s
ω ≤ Mj [l(ζim ) + l(σim )].
C j=1 i=1
96
6) =⇒ 1) . Íàéäåì ôóíêöèþ g òàêóþ, ÷òî ∂g(x) ∂xj = fj (x) . Òîãäà
∑n ∂g(x)
dg(x) = j=1 ∂xj dxj = ω .
∫
Ôèêñèðóåì òî÷êó x0 ∈ U è ïóñòü g(x) = Γx ω , ãäå Γxx0 ïðîèç-
x0
âîëüíàÿ ëîìàíàÿ, ñîåäèíÿþùàÿ òî÷êè x0 è x â U . Íåòðóäíî âèäåòü, ÷òî
∫
Γx ω íå çàâèñèò îò âûáîðà ëîìàíîé Γx0 . Äåéñòâèòåëüíî, ïóñòü Γ1 è Γ2
x
x0
Òåîðåìà äîêàçàíà.
97
ôèöèåíòàìè fj , òî
∂fi (x) ∂fj (x)
= , x ∈ U, 1 ≤ i, j ≤ n. (1.31)
∂xj ∂xi
Èç óñëîâèé òåîðåìû ñëåäóåò, ÷òî ÷àñòíûå ïðî-
Äîêàçàòåëüñòâî.
∂g(x)
èçâîäíûå ∂xj = fj (x) ôóíêöèè g íåïðåðûâíî äèôôåðåíöèðóåìû. Òà-
êèì îáðàçîì, ôóíêöèÿ g äâàæäû íåïðåðûâíî äèôôåðåíöèðóåìà, çíà÷èò,
ñìåøàííûå ÷àñòíûå ïðîèçâîäíûå âòîðîãî ïîðÿäêà íå çàâèñÿò îò ïîðÿäêà
äèôôåðåíöèðîâàíèÿ. Èìååì
∂fi (x) ∂ 2 g(x) ∂ 2 g(x) ∂fj (x)
= = = , x ∈ U.
∂xj ∂xi ∂xj ∂xj ∂xi ∂xi
Òåîðåìà äîêàçàíà.
99
Ïî òåîðåìå î äèôôåðåíöèðîâàíèè èíòåãðàëà, çàâèñÿùåãî îò ïàðàìåò-
ðà, äîêàçûâàåìîé äàëåå, ñëåäóåò, ÷òî ìîæíî ïîìåíÿòü ìåñòàìè îïåðàöèþ
äèôôåðåíöèðîâàíèÿ ïî xj è èíòåãðèðîâàíèÿ ïî t . Òîãäà ñ èñïîëüçîâàíè-
åì (1.32) ïîëó÷àåì
∫ 1∑n
∂g(x) ∂
= [fj (x0 + t(x − x0 ))(xj − x0j )]dt =
∂xi 0 j=1 ∂xi
∫ 1∑ n [ ]
∂fj (x0 + t(x − x0 ))
= t(xj − xj ) + fi (x0 + t(x − x0 )) dt =
0
0 j=1 ∂xi
∫ 1∑ n [ ]
∂fi (x0 + t(x − x0 ))
= (xj − xj ) · t + fi (x0 + t(x − x0 )) dt =
0
0 j=1 ∂xj
∫ 1 ∫ 1
dfi (x0 + t(x − x0 ))
= tdt + fi (x0 + t(x − x0 ))dt =
0 dt 0
∫ 1 ∫ 1
= fi (x0 +t(x−x0 ))·t|t=0 −
1
fi (x0 +t(x−x0 ))dt+ fi (x0 +t(x−x0 ))dt = fi (x).
0 0
Òåîðåìà äîêàçàíà.
100
Ïðèìåð. Ðàññìîòðèì
∂P ∂Q ∂P ∂R ∂Q ∂R
= , = , = .
∂y ∂x ∂z ∂x ∂z ∂y
Òîãäà ñóùåñòâóåò ôóíêöèÿ g â Π òàêàÿ, ÷òî dg = ω . Îäíèì èç ñïî-
ñîáîâ âîññòàíîâëåíèÿ ôóíêöèè g ÿâëÿåòñÿ ñïîñîá èíòåãðèðîâàíèÿ ω ïî
ëîìàíîé ñ âåðøèíàìè â òî÷êàõ (x0 , y0 , z0 ) , (x, y0 , z0 ) , (x, y, z0 ) è (x, y, z) .
Èìååì
∫ x ∫ y ∫ z
g(x, y, z) = g(x0 , y0 , z0 )+ P (x, y0 , z0 )dx+ Q(x, y, z0 )dy+ R(x, y, z)dz.
x0 y0 z0
101
1.5.6 Ôîðìóëà Ãðèíà
∫b
Ôîðìóëà Íüþòîíà-Ëåéáíèöà èìååò âèä a dF (x) = F (b)−F (a) . Ýòà ôîð-
ìóëà ñâÿçûâàåò èíòåãðàë ïî îòðåçêó îò äèôôåðåíöèàëüíîé ôîðìû dF ñ
åå çíà÷åíèÿìè íà ãðàíèöå îòðåçêà. Ñâîåîáðàçíûì îáîáùåíèåì ýòîé ôîð-
ìóëû íà äâîéíûå èíòåãðàëû ÿâëÿåòñÿ ôîðìóëà Ãðèíà.
∫∫ ( )
∂Q(x, y) ∂P (x, y)
= − dxdy.
D ∂x ∂y
Èìååì
∫∫ ∫ d ∫ ψ(x)
∂P (x, y) ∂P (x, y)
− dxdy = − dx dy =
D ∂y c φ(x) ∂y
∫ d ∫ d ∫ d
ψ(x)
=− P (x, y)|φ(x) dx = − P (x, ψ(x)) + P (x, φ(x)) =
c c c
∫ ∫ ∫
=− P (x, y)dx + P (x, y)dx = P (x, y)dx+
a8 a7 a6 a5 a1 a2 a3 a4 a5 a6 a7 a8
102
∫ ∫ ∫ ∫
+ P (x, y)dx + P (x, y)dx + P (x, y)dx = P (x, y)dx.
a1 a2 a3 a4 a8 a1 a4 a5 Γ
Àíàëîãè÷íî ìîæíî ïîêàçàòü, ÷òî
∫∫ ∫
∂Q(x, y)
dxdy = Q(x, y)dy.
D ∂x Γ
l ∫
∑ ∫
= P (x, y)dx + Q(x, y)dy = P (x, y)dx + Q(x, y)dy.
j=1 ∂Dj ∂D
103
Èç ôîðìóëû Ãðèíà ñëåäóåò
105
Èòàê, ∫∫
µ(A) = ε IΦ (u, v)dudv.
A∗
∫∫
Åñëè IΦ (u, v) > 0 â U , òî A∗ IΦ (u, v)dudv > 0 è ε = 1 . Åñëè IΦ (u, v) < 0
∫∫
â U , òî A∗ IΦ (u, v)dudv < 0 è ε = −1 .
∑
p ∫∫ ∑
p
= f (x(ui , vi ), y(ui , vi )) |IΦ (u, v)|dudv = f (x(ui , vi ), y(ui , vi ))µ(Ai ) =
i=1 A∗i i=1
∑
p
= f (xi , yi )µ(Ai ),
i=1
ãäå òî÷êè (ui , vi ) ∈ A∗i , xi , yi ) = Φ(u−i, vi ) ∈ Φ(A∗i ) = Ai . Òàêèì îáðàçîì,
ìû ïîêàçàëè, ÷òî
∫∫
f (x(u, v), y(u, v))|IΦ (u, v)|dudv = S(f, τ, Tτ ),
A∗
106
1.5.10 Äëèíà ïðîñòðàíñòâåííîé êðèâîé
∑
m
l(Γ) = lim ∥x(tk ) − x( tk−1 )∥,
d(τ →0)
k=1
107
v v
∑ m u∑
∑ m u∑
∑
m n
u n
u
≤ ∆tk t (x′i (θk )2 − t (x′i (θki )2 ≤
k=1 k=1 i=1 k=1 i=1
v
u n
∑
m
u∑ ∑
m
ε
≤ ∆tk t (xi (θk − xi (θki )2 <
′ ′ ∆tk = ε.
i=1
b − a
k=1 k=1
Èòàê,
∫ b ∑
m
′
∥x (t)∥dt − ∥x(tk ) − x( tk−1 )∥ < ε,
a k=1
108
Òîãäà
∑
k ∑
k
S= f (yj )∆sj = f (x(ξj ))(s(tj ) − s(tj−1 ))
j=1 j=1
∑
k ∫ b
lim f (x(ξj ))(s(tj ) − s(tj−1 )) = f (x(t))ds(t).
maxj ∆tj →0 a
j=1
∫
Èòàê, ñóùåñòâóåò Γ f ds è
∫ ∫ b
f ds = f (x(t))ds(t).
Γ a
∫t
Åñëè êðèâàÿ Γ ãëàäêàÿ èëè êóñî÷íî-ãëàäêàÿ, òî s(t) = a ∥x′ (t)∥dt
è s′ (t) = ∥x′ (t)∥ çà èñêëþ÷åíèåì, áûòü ìîæåò, êîíå÷íîãî ÷èñëà òî÷åê.
Òîãäà ∫ ∫ b
f ds = f (x(t))∥x′ (t)∥dt.
Γ a
Îòìåòèì ÷àñòíûå ñëó÷àè.
Ïðè n = 2
∫ ∫ b √
f ds = f (x(t), y(t)) (x′ (t))2 + (y ′ (t))2 .
Γ a
Ïðè n = 3
∫ ∫ b √
f ds = f (x(t), y(t), z(t)) (x′ (t))2 + (y ′ (t))2 + (z ′ (t))2 .
Γ a
∫
Ïðèìåð. Âû÷èñëèòü Γ xyds , ãäå Γ ÷åòâåðòü åäèíè÷íîé îêðóæ-
íîñòè ñ öåíòðîì â íóëå, ðàñïîëîæåííîé â ïåðâîé ÷åòâåðòè è îáõîäèìîé
ïðîòèâ ÷àñîâîé ñòðåëêè.
109
Ïàðàìåòðèçóåì√Γ : x = cos t , y = sin t , 0 ≤ t ≤ π/2 . Òîãäà s′ (t) =
√
(x′ (t))2 + (y ′ (t))2 = sin2 t + cos2 t = 1 è
∫ ∫ π/2 ∫
1 1 π/2 1
xyds = cos t sin tdt = |0π/2 sin 2tdt = − cos 2t|0 = .
Γ 0 2 4 2
3) Àääèòèâíîñòü.
∫ ∫ ∫
f ds = f ds + f ds.
Γ1 +Γ2 Γ1 Γ2
4) Îöåíêà èíòåãðàëà.
∫
f ds ≤ max |f | · l(Γ). (1.33)
Γ Γ
110
∫ b∑ ∫ ∑
n
x′j (t) n
= fj (x(t)) ′ ∥x′ (t)∥dt = fj (x) cos αj (x)ds,
a j=1
∥x (t)∥ Γ j=1
x′j (t)
ãäå cos αj (x) = ∥x′ (t)∥ j -àÿ êîìïîíåíòà åäèíè÷íîãî êàñàòåëüíîãî âåê-
′
x (t)
òîðà ⃗e = ∥x′ (t)∥ ê êðèâîé Γ â òî÷êå x = x(t) (íàïðàâëÿþùèé êîñèíóñ
âåêòîðà êàñàòåëüíîé). Òàêèì îáðàçîì, ⃗e = (cos α1 , cos α2 , . . . , cos αn ) ,
∑n
j=1 cos αj = 1 .
2
111
Îòìåòèì, ÷òî ëþáàÿ ïîâåðõíîñòü ìîæåò áûòü ïàðàìåòðèçîâàíà
áåñêîíå÷íûì ÷èñëîì ñïîñîáîâ. Äåéñòâèòåëüíî, åñëè h : Ω → D íåêîòî-
ðûé ãîìåîìîðôèçì, òî (S, Φ ◦ h) äðóãàÿ ïàðàìåòðèçàöèÿ ïîâåðõíîñòè
S.
Ïðåäïîëîæèì òåïåðü, ÷òî îòîáðàæåíèå Φ íåïðåðûâíî äèôôåðåí-
öèðóåìî, Φ(u, v) = (x(u, v), y(u, v), z(u, v)) , è âåêòîðû
Φ′u (u, v) = (x′u (u, v), yu′ (u, v), zu′ (u, v)), Φ′v (u, v) = (x′v (u, v), yv′ (u, v), zv′ (u, v))
112
Ðàññìîòðèì ÷àñòíûé ñëó÷àé, êîãäà ãëàäêàÿ ïîâåðõíîñòü S çàäàíà
â âèäå z = f (x, y) , (x, y) ∈ D . Òîãäà â êà÷åñòâå ïàðàìåòðîâ u , v ìîæíî
âçÿòü x , y è ìàòðèöà ßêîáè îòîáðàæåíèÿ (x, y) 7→ (x, y, f (x, y)) èìååò
âèä ( )
1 0 fx′
,
0 1 fy′
x2 y 2 z 2
+ + = 1.
a2 b2 c2
2 2 2
Òîãäà F (x, y, z) = xa2 + yb2 + zc2 − 1 è ∇F = (2 ax2 , 2 by2 , 2 cz2 ) .  êà÷åñòâå
âåêòîðà íîðìàëè ìîæíî âçÿòü âåêòîð ( ax2 , by2 , cz2 ) .
113
Ââåäåì âåëè÷èíû
F =< Φ′u , Φ′v >= x′u x′v + yu′ yv′ + zu′ zv′ ,
G = ∥Φ′v ∥2 = (x′v )2 + (yv′ )2 + (zv′ )2 .
Èìååì
A2 + B 2 + C 2 = ∥Φ′u × Φ′v ∥2 = ∥Φ′u ∥2 ∥Φ′v ∥2 sin2 α =
= ∥Φ′u ∥2 ∥Φ′v ∥2 −∥Φ′u ∥2 ∥Φ′v ∥2 cos2 α = ∥Φ′u ∥2 ∥Φ′v ∥2 − < Φ′u , Φ′v >2 = EG−F 2 .
Èòàê,
A2 + B 2 + C 2 = EG − F 2 .
Èòàê, ñïðàâåäëèâà
114
Ðàññìîòðèì íåêîòîðóþ ïðàâèëüíóþ ÿ÷åéêó Di è ñîîòâåòñòâóþùóþ åé
÷àñòü Si ïîâåðõíîñòè S . Îáîçíà÷èì M = Φ(u, v) , M ′ = Φ(u + h, v) ,
M ′′ = Φ(u, v + h) . Ïî ôîðìóëå êîíå÷íûõ ïðèðàùåíèé èìååì âåêòîð
M⃗M ′ = Φ(u + h, v) − Φ(u, v) = Φ′u (u + θh, v)h ≈ Φ′u (u, v)h . Àíàëîãè÷íî
M⃗M ′′ ≈ Φ′v (u, v)h . Ðàññìîòðèì âìåñòî Si ïàðàëëåëîãðàìì, íàòÿíóòûé íà
âåêòîðû Φ′u (u, v)h è Φ′v (u, v)h . Åãî ïëîùàäü ðàâíà
√ √
∥Φ′u (u, v)h×Φ′u (u, v)h∥ = h2 ∥Φ′u (u, v)×Φ′u (u, v)∥ = EG − F 2 h2 = EG − F 2 µ(D
Φ∗′ ′ ′ ′ ′
s = Φu us + Φv vs , Φ∗′ ′ ′ ′ ′
t = Φu ut + Φv vt .
Òîãäà
Φ∗′ ∗′ ′ ′ ′ ′ ′ ′ ′ ′
s × Φt = (Φu us + Φv vs ) × (Φu ut + Φv vt ) =
115
= Φ′u × Φ′u · u′s u′t + Φ′u × Φ′v · u′s vt′ + Φ′v × Φ′u · vs′ u′t + Φ′v × Φ′v · vs′ vt′ =
∂(u, v)
= Φ′u × Φ′v (u′s vt′ − u′t vs′ ) = Φ′u × Φ′v .
∂(s, t)
Ñëåäîâàòåëüíî,
∂(u, v)
∥Φ∗′ ∗′ ′ ′
s × Φt ∥ = ∥Φu × Φv ∥ · .
∂(s, t)
Èòàê, ∫∫ √ ∫∫
S= EG − F 2 dudv = ∥Φ′u × Φ′v ∥dudv =
D D
∫∫ ∫∫ ∫∫ √
∂(u, v)
= ∥Φ′u ×Φ′v ∥ dsdt = ∥Φ∗′ ∗′
s ×Φt ∥dsdt = E ∗ G∗ − (F ∗ )2 dsdt.
D∗ ∂(s, t) D∗ D∗
Òîãäà
E = sin2 ψ sin2 φ + sin2 ψ cos2 φ = sin2 ψ,
116
F = − − sin ψ sin φ cos ψ cos φ + sin ψ cos φ cos ψ sin φ = 0,
G = cos2 ψ cos2 φ + cos2 ψ sin2 φ + sin2 ψ = 1,
√
è EG − F 2 = sin ψ . Èìååì
∫ φ2 ∫ ψ2
S= dφ sin ψdψ = (φ2 − φ1 )(ψ1 − cos ψ2 ).
φ1 ψ1
117
1) Ëèíåéíîñòü.
∫∫ ∫∫ ∫∫
(αf + βg)dS = α f dS + β gdS.
S S S
3) Ïëîùàäü ïîâåðõíîñòè Σ
∫∫
S(Σ) = dS.
Σ
√
Ïðèìåðû. 1) Ïóñòü S = {z = x2 + y 2 | z ≤ 1} . Íàéäåì
∫∫
S zdS . Èìååì
x y
zx′ = √ , zy′ = √ .
x2 + y 2 x2 + y 2
Òîãäà
√
√ x2 y2 √
dS = 1 + (zx′ )2 + (zy′ )2 = 1+ 2 + dxdy = 2dxdy
x + y 2 x2 + y 2
è
∫∫ ∫∫ √
√ √ √ ∫ 2π ∫ 1
2 2
zdS = 2 2
x + y 2dxdy = 2 r2 dr = π.
S x2 +y 2 ≤1 0 0 3
∫∫
xdS , ãäå S åäèíè÷íàÿ ñôåðà. Ïóñòü D = {(φ, ψ) |
2) Íàéäåì S
0 ≤ φ ≤ 2π, 0 ≤ ψ ≤ π} . Èìååì
∫∫ ∫∫ ∫ 2π ∫ π
xdS = sin ψ cos φ sin ψdφdψ = cos φdφ sin2 ψdψ = 0.
S D 0 0
Íà÷íåì ñ ïðèìåðîâ.
1) Ðàññìîòðèì ëèñò Ìåáèóñà. Îí ïîëó÷àåòñÿ èç ïðÿìîóãîëüíèêà
ñêëåéêîé äâóõ ïðîòèâîïîëîæíûõ ñòîðîí ñ ïîâîðîòîì íà 180◦ . Ýòî
êëàññè÷åñêèé ïðèìåð îäíîñòîðîííåé ïîâåðõíîñòè.
118
2) Ñôåðà ÿâëÿåòñÿ äâóñòîðîííåé ïîâåðõíîñòüþ. Ñóùåñòâóåò âíåø-
íÿÿ ñòîðîíà ñôåðû è åå âíóòðåííÿÿ ñòîðîíà.
Òåïåðü ðàññìîòðèì ïðîèçâîëüíóþ ãëàäêóþ ïîâåðõíîñòü S . Ïðåä-
ïîëîæèì, ÷òî äëÿ ëþáîé òî÷êè P íà ïîâåðõíîñòè S çàäàí âåêòîð V ⃗ =
V⃗ (P ) . Òîãäà ãîâîðÿò, ÷òî íà S çàäàíî âåêòîðíîå ïîëå. Åñëè âåêòîð
V⃗ = V⃗ (P ) íåïðåðûâíî çàâèñèò îò òî÷êè P , òî âåêòîðíîå ïîëå íàçû-
âàåòñÿ íåïðåðûâíûì. Åñëè âåêòîð V ⃗ (P ) ÿâëÿåòñÿ âåêòîðîì íîðìàëè ê
ïîâåðõíîñòè S â ëþáîé òî÷êå P , òî âåêòîðíîå ïîëå íàçûâàåòñÿ íîðìàëü-
íûì. Ïîâåðõíîñòü S íàçûâàåòñÿ îðèåíòèðóåìîé, åñëè íà S ñóùåñòâóåò
íåïðåðûâíîå íîðìàëüíîå ïîëå V ⃗ (P ) , êîòîðîå íå îáðàùàåòñÿ â íóëü íè
â êàêîé òî÷êå P . Ýòî îïðåäåëåíèå ýêâèâàëåíòíî ñëåäóþùåìó: íà S ñó-
ùåñòâóåò íåïðåðûâíîå íîðìàëüíîå âåêòîðíîå ïîëå åäèíè÷íûõ âåêòîðîâ.
Äåéñòâèòåëüíî, åñëè V ⃗ (P ) íåêîòîðîå íåíóëåâîå íåïðåðûâíîå íîðìàëü-
⃗ (P )
V
íîå âåêòîðíîå ïîëå, òî ⃗ òàêæå íåíóëåâîå íåïðåðûâíîå íîðìàëüíîå
∥V (P )∥
âåêòîðíîå ïîëå, ñîñòîÿùåå èç âåêòîðîâ äëèíû åäèíèöà. Îáðàòíîå î÷åâèä-
íî.
Åñëè ⃗n = ⃗n(P ) íåíóëåâîå íåïðåðûâíîå íîðìàëüíîå âåêòîðíîå
ïîëå, ñîñòîÿùåå èç åäèíè÷íûõ âåêòîðîâ, òî (−⃗n(P )) òàêæå íåïðå-
ðûâíîå íîðìàëüíîå âåêòîðíîå ïîëå, ñîñòîÿùåå èç åäèíè÷íûõ âåêòîðîâ.
Íåòðóäíî ïðîâåðèòü, ÷òî äðóãèõ òàêèõ ïîëåé íà ïîâåðõíîñòè íåò. Áó-
äåì ãîâîðèòü. ÷òî íåïðåðûâíîå íîðìàëüíîå âåêòîðíîå ïîëå åäèíè÷íûõ
âåêòîðîâ íà S çàäàåò îðèåíòàöèþ èëè ñòîðîíó ïîâåðõíîñòè S .
Íàïðèìåð, íà åäèíè÷íîé ñôåðå {x2 + y 2 + z 2 = 1} âåêòîðíîå ïîëå
(x, y, z) çàäàåò âíåøíþþ ñòîðîíó ñôåðû (âåêòîðû íîðìàëè íàïðàâëåíû
âíå ñôåðû), à âåêòîðíîå ïîëå (−x, −y, −z) âíóòðåííþþ ñòîðîíó (âåêòî-
ðû íîðìàëè íàïðàâëåíû âíóòðü ñôåðû). Ïåðâîå ïîëå çàäàåò îðèåíòàöèþ
âíåøíåé íîðìàëè, à âòîðîå âíóòðåííåé íîðìàëè.
Îðèåíòèðîâàííàÿ ïîâåðõíîñòü ýòî ïàðà (S, ⃗n) , ãäå S
îðèåíòèðóåìàÿ ïîâåðõíîñòü S , ⃗n îðèåíòàöèÿ S , ò. å. íåïðåðûâíîå
íîðìàëüíîå âåêòîðíîå ïîëå íà S , ñîñòîÿùåå èç åäèíè÷íûõ âåêòîðîâ.
119
Íîðìèðóåì íîðìàëü. Ïîëó÷àåì íåïðåðûâíîå íîðìàëüíîå åäèíè÷íîå ïîëå
( )
x − x0 z − z0 z − z0
⃗n = , , , ,
R R R
êîòîðîå çàäàåò îðèåíòàöèþ âíåøíåé íîðìàëè.
2) Ýëëèïñîèä
x2 y 2 z 2
+ + = 1.
a2 b2 c2
Íåïðåðûâíîå íåíóëåâîå ïîëå íîðìàëåé èìååò âèä ( ax2 , by2 , cz2 ) . Äëèíà âåê-
√
2
a4 + b4 + c4 ̸= 0 . Òîãäà âåêòîðíîå ⃗
y2 2
òîðà íîðìàëè ðàâíà h = x z
n =
y
( ha2 , hb2 , hc2 ) çàäàåò âíåøíþþ ñòîðîíó ïîâåðõíîñòè ýëëèïñîèäà.
x z
120
Îðèåíòàöèÿ Si ïîðîæäàåò (èíäóöèðóåò) âïîëíå îïðåäåëåííóþ îðèåíòà-
öèþ (íàïðàâëåíèå îáõîäà) ãðàíè÷íûõ êðèâûõ.  êà÷åñòâå ïîëîæèòåëüíîé
îðèåíòàöèè âûáåðåì òî íàïðàâëåíèå îáõîäà ãðàíè÷íîé êðèâîé γ êóñêà
Si , ïðè êîòîðîì âûáðàííàÿ ñòîðîíà ïîâåðõíîñòè îñòàåòñÿ ¾ñëåâà¿. Ýòî
îïðåäåëåíèå ìîæíî ïðîèëëþñòðèðîâàòü ñëåäóþùèì îáðàçîì. Åñëè ìû
ñìîòðèì ñ êîíöà âåêòîðà íîðìàëè, çàäàííîãî îðèåíòàöèåé Si , òî êðèâàÿ
γ îáõîäèòñÿ ïðîòèâ ÷àñîâîé ñòðåëêè. Äàííîå ¾îïðåäåëåíèå¿ âåñüìà íå
ñòðîãî è ïðèìåíèìî â ñëó÷àå, êîãäà ïîâåðõíîñòü Si íå î÷åíü èçîãíóòà.
îäíàêî åìó ìîæíî ïðèäàòü áîëåå ñòðîãóþ ôîðìó. Ïóñòü γ ïàðàìåòðèçî-
âàíà íåêîòîðîé ãëàäêîé ôóíêöèåé x = x(t) , a ≤ t ≤ b . Òîãäà âåêòîð
⃗e1 := x′ (t) âåêòîð êàñàòåëüíîé ê γ òî÷êå x(t) . Âûáåðåì âåêòîð ⃗e2 ,
ëåæàùèé â êàñàòåëüíîé ïëîñêîñòè â åå ãðàíè÷íîé òî÷êå x(t) , ïåðïåí-
äèêóëÿðíûé ⃗e1 è íàïðàâëåííûé â ñòîðîíó ïîâåðõíîñòè Si . Ïóñòü ⃗n
âåêòîð íîðìàëè, ñîîòâåòñòâóþùèé âûáðàííîé îðèåíòàöèè íà Si . Åñëè
òðîéêà (⃗e1 , ⃗e2 , ⃗n) ÿâëÿåòñÿ ïðàâîé òðîéêîé ,òî îðèåíòàöèþ êðèâîé γ íà-
çîâåì ïîëîæèòåëüíîé (îòíîñèòåëüíî âûáðàííîé îðèåíòàöèè ïîâåðõíîñòè
Si ), â ïðîòèâíîì ñëó÷àå îòðèöàòåëüíîé. Òåïåðü ðàññìîòðèì äâà êóñêà
Si è Sj , êîòîðûå èìåþò îáùèé ó÷àñòîê ãðàíèöû γ . Áóäåì ãîâîðèòü, ÷òî
îðèåíòàöèè Si è Sj âûáðàíû êîãåðåíòíî (ò. å. ñîãëàñîâàíî), åñëè ïîëîæè-
òåëüíàÿ îðèåíòàöèÿ γ îòíîñèòåëüíî Si ïðîòèâîïîëîæíà ïîëîæèòåëüíîé
îðèåíòàöèè γ îòíîñèòåëüíî Sj .
Ïîâåðõíîñòü S , ñîñòîÿùóþ èç êîíå÷íîãî ÷èñëà ãëàäêèõ êóñêîâ
S1 , . . . , Sp , íàçîâåì îðèåíòèðóåìîé, åñëè ñóùåñòâóþò îðèåíòàöèè êóñêîâ
Si òàêèå, ÷òî ëþáûå äâå ïîâåðõíîñòè, èìåþùèå îáùèå ãðàíè÷íûå ó÷àñò-
êè, êîãåðåíòíî îðèåíòèðîâàíû.  ýòîì ñëó÷àå êîãåðåíòíûå îðèåíòàöèè
êóñêîâ Si çàäàþò îðèåíòàöèþ íà S .
121
õîäèò îò òî÷êè A1 ê òî÷êå D1 , à îòíîñèòåëüíî ãðàíè AA1 D1 D íàîáî-
ðîò.
Òàêèì îáðàçîì, ïîâåðõíîñòü êóáà îðèåíòèðóåìà, è âûáðàííûå êî-
ãåðåíòíûå îðèåíòàöèè ãðàíåé îïðåäåëÿþò îðèåíòàöèþ âñåé ïîâåðõíîñòè,
êîòîðóþ ìîæíî íàçâàòü âíåøíåé ñòîðîíîé êóáà.
122
ñòîðîíå, òîãäà
1 √
cos γ = √ , dS = 1 + (fx′ )2 + (fy′ )2 dxdy
′ 2 ′
1 + (fx ) + (fy )2
è ∫∫ ∫∫
R(x, y, z)dxdy := R(x, y, f (x, y))dxdy.
S D
Åñëè âûáðàíà íèæíÿÿ ñòîðîíà ïîâåðõíîñòè, òî
∫∫ ∫∫
R(x, y, z)dxdy := − R(x, y, f (x, y))dxdy.
S D
123
Òåîðåìà (ôîðìóëà Ãàóññà-Îñòðîãðàäñêîãî). Ïóñòü U îá-
ëàñòü â R3 , ïðàâèëüíàÿ îòíîñèòåëüíî âñåõ êîîðäèíàòíûõ îñåé è îãðà-
íè÷åííàÿ êóñî÷íî-ãëàäêîé ïîâåðõíîñòüþ ∂U , îðèåíòèðîâàííîé â ñòîðî-
íó âíåøíåé íîðìàëè. Ïóñòü
124
òàê êàê âíåøíÿÿ íîðìàëü ê ÷àñòè ãðàíèöû, ÿâëÿþùåéñÿ ãðàôèêîì ôóíê-
öèè z = ψ(x, y) îïðåäåëÿåò âåðõíþþ ñòîðîíó ïîâåðõíîñòè, à ê ÷àñòè
ãðàíèöû, ÿâëÿþùåéñÿ ãðàôèêîì ôóíêöèè z = φ(x, y) íèæíþþ. Êðîìå
òîãî,
∫∫ ∫∫
R(x, y, ψ(x, y))dxdy = R(x, y, ψ(x, y)) cos γdS = 0,
S3 S3
Òåîðåìà äîêàçàíà.
125
Q(x, y, z)dz ∧ dx + R(x, y, z)dx ∧ dy . Îïðåäåëèì
⃗i ⃗j ⃗k
∂ ∂ ∂
rot(P, Q, R) := =
∂x ∂y ∂z
P Q R
( ) ( ) ( )
∂R ∂Q ⃗ ∂P ∂R ⃗ ∂Q ∂P ⃗
= − i+ − j+ − k.
∂y ∂z ∂z ∂x ∂x ∂y
126
Ýòîò âåêòîð íàçûâàåòñÿ ðîòîðîì âåêòîðíîãî ïîëÿ (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 âåêòîð åäèíè÷íîé íîðìàëè ê ïîâåðõíîñòè Σ .
128
∫∫ ( )
∂R ∂R
= cos α − cos β dS.
Σ ∂y ∂x
Çàìå÷àíèå. Ôîðìóëà Ñòîêñà ñïðàâåäëèâà íå òîëüêî äëÿ äâàæäû
ãëàäêèõ ïîâåðõíîñòåé, íî è äëÿ ïðîñòî ãëàäêèõ.
129
Îãëàâëåíèå
1 Íåñîáñòâåííûå èíòåãðàëû 3
1.1 Îïðåäåëåíèå íåñîáñòâåííîãî èíòåãðàëà . . . . . . . . . . . 3
1.1.1 Ñâîéñòâà ïðîñòåéøèõ íåñîáñòâåííûõ èíòåãðàëîâ . . 5
1.1.2 Ïðèçíàêè ñõîäèìîñòè íåñîáñòâåííûõ èíòåãðàëîâ
îò íåîòðèöàòåëüíûõ ôóíêöèé . . . . . . . . . . . . . 8
1.1.3 Íåñîáñòâåííûå èíòåãðàëû îò íåçíàêîïîñòîÿííûõ
ôóíêöèé . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.1.4 Íåñîáñòâåííûå èíòåãðàëû îáùåãî âèäà . . . . . . . 15
1.1.5 Èíòåãðàë, ïîíèìàåìûé â ñìûcëå ãëàâíîãî çíà÷åíèÿ
ïî Êîøè . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.2 ×èñëîâûå ðÿäû . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.2.1 Ñõîäèìîñòü ÷èñëîâîãî ðÿäà . . . . . . . . . . . . . . 18
1.2.2 Êðèòåðèé Êîøè. Íåîáõîäèìîå óñëîâèå ñõîäèìîñòè
ðÿäà . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.2.3 Ñõîäèìîñòü ðÿäà ñ íåîòðèöàòåëüíûìè ÷ëåíàìè . . . 21
1.2.4 Âåðõíèé è íèæíèé ïðåäåëû ïîñëåäîâàòåëüíîñòè . . 23
1.2.5 Òåîðåìû ñðàâíåíèÿ äëÿ çíàêîïîñòîÿííûõ ðÿäîâ . . 26
1.2.6 Íåêîòîðûå äîïîëíèòåëüíûå ñâîéñòâà ðÿäîâ . . . . . 31
1.2.7 Ïðèçíàêè Äèðèõëå è Àáåëÿ . . . . . . . . . . . . . . 33
1.2.8 Ïðèçíàê àáñîëþòíîé ñõîäèìîñòè ðÿäà . . . . . . . . 35
1.2.9 Ïðîèçâåäåíèå ðÿäîâ . . . . . . . . . . . . . . . . . . 36
1.3 Ìåðà Æîðäàíà â Rn . . . . . . . . . . . . . . . . . . . . . . 39
1.3.1 Âíóòðåííÿÿ è âíåøíÿÿ ìåðû Æîðäàíà . . . . . . . 39
1.3.2 Ìåðà Æîðäàíà â Rn . Ìíîæåñòâà ìåðû íóëü. . . . . 42
1.3.3 Êðèòåðèè èçìåðèìîñòè . . . . . . . . . . . . . . . . 42
1.3.4 Ñâîéñòâà èçìåðèìûõ ìíîæåñòâ . . . . . . . . . . . . 43
130
1.3.5 Ïðîèçâåäåíèå èçìåðèìûõ ìíîæåñòâ . . . . . . . . . 45
1.3.6 Êëàññû èçìåðèìûõ ìíîæåñòâ . . . . . . . . . . . . . 46
1.3.7 Ïðåîáðàçîâàíèÿ èçìåðèìûõ ìíîæåñòâ . . . . . . . . 49
1.4 Êðàòíûå èíòåãðàëû Ðèìàíà . . . . . . . . . . . . . . . . . . 52
1.4.1 Ðàçáèåíèå ìíîæåñòâà . . . . . . . . . . . . . . . . . 52
1.4.2 Èíòåãðàëüíûå ñóììû. Îïðåäåëåíèå êðàòíîãî èíòå-
ãðàëà Ðèìàíà . . . . . . . . . . . . . . . . . . . . . . 53
1.4.3 Èíòåãðàëüíûå ñóììû Äàðáó . . . . . . . . . . . . . 53
1.4.4 Êëàññû èíòåãðèðóåìûõ ôóíêöèé . . . . . . . . . . . 55
1.4.5 Ìíîæåñòâà ìåðû íóëü ïî Ëåáåãó . . . . . . . . . . . 56
1.4.6 Êîëåáàíèå ôóíêöèè â òî÷êå . . . . . . . . . . . . . . 57
1.4.7 Òåîðåìà Ëåáåãà . . . . . . . . . . . . . . . . . . . . . 58
1.4.8 Óðåçàííûå ñóììû Ðèìàíà . . . . . . . . . . . . . . . 60
1.4.9 Ñðàâíåíèå äâóõ îïðåäåëåíèé èíòåãðàëà ïî îòðåçêó 62
1.4.10 Ñâîéñòâà èíòåãèðóåìûõ ôóíêöèé . . . . . . . . . . . 62
1.4.11 Ñâåäåíèå êðàòíîãî èíòåãðàëà Ðèìàíà ê ïîâòîðíîìó 66
1.4.12 Ñâåäåíèå êðàòíîãî èíòåãðàëà ê ïîâòîðíîìó â ñëó÷àå
ïðàâèëüíûõ îáëàñòåé èíòåãðèðîâàíèÿ . . . . . . . . 69
1.4.13 Îáúåì ìíîæåñòâà Aψφ . . . . . . . . . . . . . . . . . 73
1.4.14 Êðèâîëèíåéíûå ñèñòåìû êîîðäèíàò . . . . . . . . . 73
1.4.15 Çàìåíà ïåðåìåííûõ â êðàòíîì èíòåãðàëå . . . . . . 76
1.4.16 Ñâîéñòâà ëèíåéíî ñâÿçíûõ ìíîæåñòâ . . . . . . . . . 78
1.4.17 Íåñîáñòâåííûå êðàòíûå èíòåãðàëû . . . . . . . . . . 83
1.4.18 Íåñîáñòâåííûå èíòåãðàëû îò íåîòðèöàòåëüíûõ
ôóíêöèé . . . . . . . . . . . . . . . . . . . . . . . . . 84
1.4.19 Íåñîáñòâåííûå èíòåãðàëû îò ôóíêöèé,
ìåíÿþùèõ çíàê . . . . . . . . . . . . . . . . . . . . . 89
1.5 Êðèâîëèíåéíûå èíòåãðàëû . . . . . . . . . . . . . . . . . . 91
1.5.1 Êðèâûå â Rn . . . . . . . . . . . . . . . . . . . . . . 91
1.5.2 Êðèâîëèíåéíûå èíòåãðàëû âòîðîãî ðîäà . . . . . . 93
1.5.3 Ñâîéñòâà êðèâîëèíåéíûõ èíòåãðàëîâ âòîðîãî ðîäà . 94
1.5.4 Êðèâîëèíåéíûå èíòåãðàëû âòîðîãî ðîäà è ïîëíûå
äèôôåðåíöèàëû . . . . . . . . . . . . . . . . . . . . 95
131
1.5.5 Íàõîæäåíèå ôóíêöèè ïî åå äèôôåðåíöèàëó â ïàðàë-
ëåëåïèïåäå . . . . . . . . . . . . . . . . . . . . . . . 100
1.5.6 Ôîðìóëà Ãðèíà . . . . . . . . . . . . . . . . . . . . . 102
1.5.7 Âû÷èñëåíèå ïëîùàäè ñ ïîìîùüþ êðèâîëèíåéíûõ èí-
òåãðàëîâ . . . . . . . . . . . . . . . . . . . . . . . . . 104
1.5.8 Èçìåíåíèå ïëîùàäè ïëîñêîé ôèãóðû ïîä äåéñòâè-
åì äèôôåîìîðôèçìà. Ãåîìåòðè÷åñêèé ñìûñë çíàêà
ÿêîáèàíà. . . . . . . . . . . . . . . . . . . . . . . . . 105
1.5.9 Äîêàçàòåëüñòâî ôîðìóëû çàìåíû ïåðåìåííûõ â
äâîéíîì èíòåãðàëå . . . . . . . . . . . . . . . . . . . 106
1.5.10 Äëèíà ïðîñòðàíñòâåííîé êðèâîé . . . . . . . . . . . 107
1.5.11 Êðèâîëèíåéíûå èíòåãðàëû ïåðâîãî ðîäà . . . . . . 108
1.5.12 Ñâîéñòâà êðèâîëèíåéíûõ èíòåãðàëîâ
ïåðâîãî ðîäà . . . . . . . . . . . . . . . . . . . . . . 110
1.5.13 Ñâÿçü êðèâîëèíåéíûõ èíòåãðàëîâ ïåðâîãî è âòîðîãî
ðîäà . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
1.6 Ïîâåðõíîñòíûå èíòåãðàëû . . . . . . . . . . . . . . . . . . . 111
1.6.1 Ãëàäêèå ïîâåðõíîñòè â òðåõìåðíîì ïðîñòðàíñòâå . . 111
1.6.2 Ïëîùàäü ïîâåðõíîñòè, çàäàííîé ïàðàìåòðè÷åñêè . . 114
1.6.3 Íåçàâèñèìîñòü ïëîùàäè ãëàäêîé ïîâåðõíîñòè îò âû-
áîðà ïàðàìåòðèçàöèè . . . . . . . . . . . . . . . . . . 115
1.6.4 Ñâîéñòâà ïëîùàäè ãëàäêîé ïîâåðõíîñòè . . . . . . . 116
1.6.5 Ïëîùàäü êóñî÷íî-ãëàäêîé ïîâåðõíîñòè . . . . . . . 117
1.6.6 Ïîâåðõíîñòíûå èíòåãðàëû ïåðâîãî ðîäà . . . . . . . 117
1.6.7 Îðèåíòèðóåìûå ãëàäêèå ïîâåðõíîñòè. Îðèåíòàöèÿ. 118
1.6.8 Îðèåíòàöèÿ êóñî÷íî-ãëàäêîé ïîâåðõíîñòè. Ïîëîæè-
òåëüíàÿ îðèåíòàöèÿ êðàÿ. . . . . . . . . . . . . . . . 120
1.6.9 Ïîâåðõíîñòíûé èíòåãðàë âòîðîãî ðîäà . . . . . . . . 122
1.6.10 Ôîðìóëà Ãàóññà-Îñòðîãðàäñêîãî . . . . . . . . . . . 123
1.6.11 Èíòåðïðåòàöèÿ ôîðìóëû Ãàóññà-Îñòðîãðàäñêîãî ÷å-
ðåç
äèôôåðåíöèàëüíûå ôîðìû . . . . . . . . . . . . . . 125
1.6.12 Ôîðìóëà Ñòîêñà . . . . . . . . . . . . . . . . . . . . 126
132