Îãëàâëåíèå

1 Ïðåäèñëîâèå . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
2 Ââåäåíèå . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
3 Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà . . . . . . . . . . . . . 3
3.1 Íåñîáñòâåííûå èíòåãðàëû . . . . . . . . . . . . . . . 3
3.2 Ñîáñòâåííûå èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà . . 12
3.3 Íåñîáñòâåííûå èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 19
3.4 Ñâîéñòâà íåñîáñòâåííûõ èíòåãðàëîâ, çàâèñÿùèõ îò
ïàðàìåòðà . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.5 Íåñîáñòâåííûå êðàòíûå èíòåãðàëû . . . . . . . . . . 29
3.6 Âû÷èñëåíèå íåêîòîðûõ íåñîáñòâåííûõ èíòåãðàëîâ . 33
3.7 Ýéëåðîâû èíòåãðàëû . . . . . . . . . . . . . . . . . . 40
Ñïèñîê ëèòåðàòóðû . . . . . . . . . . . . . . . . . . . . . . . . . . 59

1
3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 3

3 Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà

3.1 Íåñîáñòâåííûå èíòåãðàëû

Íåñîáñòâåííûå èíòåãðàëû ïåðâîãî ðîäà

Ïóñòü f : [a, +∞) → R è èíòåãðèðóåìà ïî Ðèìàíó íà ëþáîì îòðåçêå

[a, A] (A ∈ (a, +∞)). Ôîðìàëüíîå âûðàæåíèå

Z+∞
f (x)dx
a

íàçîâ¼ì íåñîáñòâåííûì èíòåãðàëîì ïåðâîãî ðîäà.

Îïðåäåëåíèå 3.1 Íåñîáñòâåííûé èíòåãðàë ïåðâîãî ðîäà íàçîâ¼ì ñõî-

äÿùèìñÿ, åñëè ñóùåñòâóåò

ZA
lim f (x)dx = I.
A→+∞
a

 ýòîì ñëó÷àå áóäåì ãîâîðèòü, ÷òî ÷èñëî I ÿâëÿåòñÿ çíà÷åíèåì èíòå-

ãðàëà è ïèñàòü
Z+∞
I= f (x)dx.
a

Åñëè æå óêàçàííûé ïðåäåë ðàâåí áåñêîíå÷íîñòè èëè âîâñå íå ñóùå-

ñòâóåò, òî áóäåì ãîâîðèòü, ÷òî èíòåãðàë ðàñõîäèòñÿ.

Ïðè àíàëîãè÷íûõ ïðåäïîëîæåíèÿõ îïðåäåëèì íåñîáñòâåííûå èíòå-

ãðàëû

Zb Zb Z+∞ ZA
f (x)dx = lim f (x)dx è f (x)dx = lim f (x)dx.
B→+∞ A,B→+∞
−∞ −B −∞ −B

Z+∞
dx
Ïðèìåð 3.1 ñõîäèòñÿ ïðè p > 1 è ðàñõîäèòñÿ ïðè p ≤ 1.
xp
1
4 Îãëàâëåíèå

Ýòîò ïðèìåð è íåêîòîðûå äðóãèå ðàññìàòðèâàëèñü âî âòîðîì ñåìå-

ñòðå.
Íàáëþäàåòñÿ ïîëíàÿ àíàëîãèÿ ìåæäó íåñîáñòâåííûìè èíòåãðàëàìè
ZA
ïåðâîãî ðîäà è ÷èñëîâûìè ðÿäàìè. Èíòåãðàë f (x)dx ñîîòâåòñòâóåò ÷à-
a
ñòè÷íîé ñóììå ðÿäà è ïîýòîìó ñõîäèìîñòü èíòåãðàëà è ðÿäà îïðåäåëÿ-
Z∞
åòñÿ ñîâåðøåííî îäèíàêîâî. Èíòåãðàë f (x)dx ïî àíàëîãèè ñ îñòàòêîì
A
ðÿäà íàçîâ¼ì îñòàòêîì èíòåãðàëà. Êàê è äëÿ ðÿäîâ óñòàíàâëèâàåòñÿ, ÷òî
åñëè íåñîáñòâåííûé èíòåãðàë ïåðâîãî ðîäà ñõîäèòñÿ, òî åãî îñòàòîê ñòðå-
ìèòñÿ ê íóëþ. Íèæå åù¼ íå îäèí ðàç ïðåäñòàâèòñÿ âîçìîæíîñòü ïðîñëå-
äèòü çà îòìå÷åííûì ñõîäñòâîì ðÿäîâ è íåñîáñòâåííûõ èíòåãðàëîâ.
Z+∞
Òåîðåìà 3.1 (êðèòåðèé Êîøè) Íåñîáñòâåííûé èíòåãðàë f (x)dx
a
ñõîäèòñÿ â òîì è òîëüêî òîì ñëó÷àå, êîãäà ∀ε > 0 ∃A0 (> a) òàêîå,
÷òî ∀A0 , A00 > A0 ¯ A00 ¯
¯Z ¯
¯ ¯
¯ f (x)dx¯ < ε.
¯ ¯
¯ 0 ¯
A

ZA
Äîêàçàòåëüñòâî. f (x)dx åñòü ôóíêöèÿ F (A) îò âåðõíåãî ïðåäåëà A,
a
îïðåäåë¼ííàÿ íà ïðîìåæóòêå [a, +∞),
ZA
F (A) = f (x)dx.
a

Åñëè èíòåãðàë ñõîäèòñÿ, òî ñóùåñòâóåò lim F (A) = I è íàîáîðîò. Íà-

A→+∞
ïèøåì äëÿ ôóíêöèè F (A) óñëîâèå Êîøè ñóùåñòâîâàíèÿ ïðåäåëà ïðè
A → +∞:

∀ε > 0 ∃A0 (> a) : ∀A0 , A00 > A0 |F (A00 ) − F (A0 )| < ε.

ZA00 ZA0 ZA00
Ïîñêîëüêó F (A00 ) − F (A0 ) = f (x)dx − f (x)dx = f (x)dx, òî óñëîâèå
a a A0
Êîøè ñõîäèìîñòè íåñîáñòâåííîãî èíòåãðàëà ñîâïàäàåò ñ óñëîâèåì Êîøè
ñóùåñòâîâàíèÿ ïðåäåëà ôóíêöèè F (A), ÷òî è äîêàçûâàåò òåîðåìó.
3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 5

Åñëè èñïîëüçîâàòü îïðåäåëåíèå ïðåäåëà ôóíêöèè ïî Ãåéíå, òî ìîæíî

ñôîðìóëèðîâàòü
Z+∞
Ïðåäëîæåíèå 3.1 f (x)dx ñõîäèòñÿ òîãäà è òîëüêî òîãäà, êîãäà
a
äëÿ ëþáîé ïîñëåäîâàòåëüíîñòè An → +∞ ïîñëåäîâàòåëüíîñòü èíòå-
ZAn
ãðàëîâ f (x)dx ñõîäèòñÿ.
a

Z+∞
Îïðåäåëåíèå 3.2 Íàçîâ¼ì èíòåãðàë f (x)dx àáñîëþòíî ñõîäÿùèì-
a
Z+∞
ñÿ, åñëè ñõîäèòñÿ èíòåãðàë |f (x)|dx.
a

Z+∞
Òåîðåìà 3.2 Åñëè f (x)dx ñõîäèòñÿ àáñîëþòíî, òî îí ñõîäèòñÿ.
a

Äîêàçàòåëüñòâî. Òàê êàê èíòåãðàë ñõîäèòñÿ àáñîëþòíî, òî ïî êðèòå-

ðèþ Êîøè ∀ε > 0 ∃A0 : ∀A0 , A00 > A0 âûïîëíÿåòñÿ óñëîâèå
ZA00
|f (x)|dx < ε.
A0

Íî òîãäà è ¯ A00 ¯ ¯ A00 ¯

¯Z ¯ ¯Z ¯
¯ ¯ ¯ ¯
¯ f (x)dx¯ ≤ ¯ |f (x)|dx¯ < ε
¯ ¯ ¯ ¯
¯ 0 ¯ ¯ 0 ¯
A A
0 00
ïðè ëþáûõ A , A > A0 .
Z+∞
Îïðåäåëåíèå 3.3 Åñëè f (x)dx ñõîäèòñÿ, íî íå ñõîäèòñÿ àáñîëþò-
a
íî, òî áóäåì íàçûâàòü åãî óñëîâíî ñõîäÿùèìñÿ.

Òåîðåìà 3.3 (Âåéåðøòðàññ) Ïóñòü ôóíêöèè f, g : [a; +∞) → R, èí-

òåãðèðóåìû ïî Ðèìàíó íà [a; A] ïðè ëþáîì A > a, |f (x)| ≤ g(x) äëÿ âñåõ
Z+∞ Z +∞
x ∈ [a; +∞) è g(x)dx ñõîäèòñÿ. Òîãäà f (x)dx òîæå ñõîäèòñÿ
a
a
è ïðèòîì àáñîëþòíî.
6 Îãëàâëåíèå

Z+∞
Äîêàçàòåëüñòâî. Òàê êàê g(x)dx ñõîäèòñÿ, òî ïî êðèòåðèþ Êîøè
a ¯ A00 ¯
¯Z ¯
¯ ¯
∀ > 0 ∃A0 òàêîå, ÷òî ïðè A , A > A0 âûïîëíÿåòñÿ óñëîâèå ¯ g(x)dx¯¯ <
0 00 ¯
¯ 0 ¯
A
0 00
ε. Íî òîãäà ïðè A , A > A0 èìååì:
¯ A00 ¯ ¯ A00 ¯ ¯ A00 ¯
¯Z ¯ ¯Z ¯ ¯Z ¯
¯ ¯ ¯ ¯ ¯ ¯
¯ f (x)dx¯ ≤ ¯ |f (x)|dx¯ ≤ ¯ g(x)dx¯ < ε.
¯ ¯ ¯ ¯ ¯ ¯
¯ 0 ¯ ¯ 0 ¯ ¯ 0 ¯
A A A

Èç ïîëó÷åííîé îöåíêè, â ñèëó êðèòåðèÿ Êîøè, âûòåêàåò è ñõîäèìîñòü è

àáñîëþòíàÿ ñõîäèìîñòü èíòåãðàëà îò f (x).

Çàìå÷àíèå 3.1 Íåðàâåíñòâî |f (x)| ≤ g(x) â ôîðìóëèðîâêå òåîðåìû

ìîæåò âûïîëíÿòüñÿ ëèøü äëÿ x ∈ [b; +∞), ãäå b > a. Ýòî âûòåêà-
åò èç òîãî, ÷òî âñåãäà ìîæíî ïðåäñòàâèòü
Z+∞ Zb Z+∞
f (x)dx = f (x)dx + f (x)dx.
a a b

Ïåðâûé èíòåãðàë â ýòîì ïðåäñòàâëåíèè íå îñîáåííûé, à êî âòîðîìó

ìîæíî ïðèìåíèòü äîêàçàííóþ òåîðåìó.
Z+∞ Z+∞
sinx cosx
Ïðèìåð 3.2 Ðàññìîòðèì èíòåãðàëû dx, dx.
xp xp
1 1

¯ ¯ Z+∞
¯ sinx ¯ 1 dx
Ðåøåíèå. Òàê êàê ¯¯ p ¯¯ ≤ p , à ñõîäèòñÿ, åñëè p > 1 (ïðèìåð
x x xp
1
Z+∞
sinx
3.1), òî è dx ñõîäèòñÿ, è ïðèòîì àáñîëþòíî, ïðè p > 1. Âòîðîé
xp
1
èíòåãðàë ðàññìàòðèâàåòñÿ àíàëîãè÷íî.

Òåîðåìà 3.4 (Äèðèõëå) Ïóñòü ôóíêöèè f, g : [a; +∞) → R è èíòå-

Z+∞
ãðèðóåìû ïî Ðèìàíó íà [a; A] ïðè ëþáîì A > a. Òîãäà f (x)g(x)dx
a
ñõîäèòñÿ, åñëè âûïîëíåíû ñëåäóþùèå äâà óñëîâèÿ:
ZA
1) f (x)dx îãðàíè÷åí íà [a; +∞);
a
2) ôóíêöèÿ g(x) ìîíîòîííî ñòðåìèòñÿ ê íóëþ ïðè x → +∞.
3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 7

Äîêàçàòåëüñòâî.
¯ ¯ Ïî ïåðâîìó óñëîâèþ ñóùåñòâóåò ïîñòîÿííàÿ M òàêàÿ,
¯ZA ¯
¯ ¯
÷òî ¯¯ f (x)dx¯¯ ≤ M ∀A(> a). Ïî âòîðîìó óñëîâèþ ∀ε > 0 ∃A0 òàêîå, ÷òî
¯ ¯
a
ïðè A > A0 áóäåò âûïîëíÿòüñÿ íåðàâåíñòâî |g(A)| < ε/2M . Ïî âòîðî-
ìó æå óñëîâèþ ôóíêöèþ g(x) ìîæíî ñ÷èòàòü íåîòðèöàòåëüíîé. Âîçüì¼ì
ZA00
A0 , A00 > A0 (A0 < A00 ) è ïðèìåíèì ê èíòåãðàëó f (x)g(x)dx âòîðóþ òå-
A0
îðåìó î ñðåäíåì çíà÷åíèè (ôîðìóëó Áîííý), ñîãëàñíî êîòîðîé íàéä¼òñÿ
A (A0 < A < A00 ) òàêîå, ÷òî

ZA00 ZA
f (x)g(x)dx = g(A0 ) f (x)dx.
A0 A0

Íî òîãäà, ïîñêîëüêó
¯ A ¯ ¯ A ¯ ¯ A ¯ ¯ ¯
¯Z ¯ ¯Z ZA0 ¯ ¯Z ¯ ¯ZA0 ¯
¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯
¯ f (x)dx¯ = ¯ f (x)dx − f (x)dx¯ ≤ ¯ f (x)dx¯ + ¯ f (x)dx¯ < 2M,
¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯
¯ 0 ¯ ¯ ¯ ¯ ¯ ¯ ¯
A a a a a

ñïðàâåäëèâà îöåíêà
¯ A00 ¯ ¯ ¯
¯Z ¯ ¯ ZA ¯
¯ ¯ ¯ ¯
¯ f (x)g(x)dx¯ = ¯g(A0 ) f (x)dx¯ < ε · 2M = ε
¯ ¯ ¯ ¯ 2M
¯ 0 ¯ ¯ 0
¯
A A

äëÿ ëþáûõ A0 , A00 > A0 . Ïî êðèòåðèþ Êîøè èíòåãðàë ñõîäèòñÿ.

Òåîðåìà 3.5 (Àáåëü) Ïóñòü ôóíêöèè f, g : [a; +∞) → R è èíòå-

Z+∞
ãðèðóåìû ïî Ðèìàíó íà [a; A] ïðè ëþáîì A > a. Òîãäà f (x)g(x)dx
a
ñõîäèòñÿ, åñëè âûïîëíåíû ñëåäóþùèå äâà óñëîâèÿ:
ZA
1) f (x)dx ñõîäèòñÿ;
a
2) ôóíêöèÿ g(x) ìîíîòîííà è îãðàíè÷åíà íà [a; +∞).

Äîêàçàòåëüñòâî. Â ñèëó âòîðîãî óñëîâèÿ ñóùåñòâóåò lim g(x) = g0 .

x→+∞
Òîãäà
Z+∞ Z+∞
f (x)g(x)dx = f (x) (g(x) − g0 + g0 ) dx =
a a
8 Îãëàâëåíèå

Z+∞ Z+∞
= f (x) (g(x) − g0 ) dx + g0 f (x)dx.
a a

Ïåðâûé èç èíòåãðàëîâ ñïðàâà ñõîäèòñÿ ïî ïðèçíàêó Äèðèõëå, ïîñêîëüêó

g(x) − g0 ìîíîòîííî ñòðåìèòñÿ ê íóëþ ïðè x → +∞, à âòîðîé ñõîäèòñÿ
â ñèëó óñëîâèÿ 1 äîêàçûâàåìîé òåîðåìû.

Çàìå÷àíèå 3.2 Ïðè äîêàçàòåëüñòâå òåîðåìû Àáåëÿ áûëî èñïîëüçîâà-

íî î÷åâèäíîå ñâîéñòâî íåñîáñòâåííûõ èíòåãðàëîâ: åñëè ñõîäÿòñÿ èí-
Z+∞ Z+∞ Z+∞
òåãðàëû f (x)dx è g(x)dx, òî ñõîäèòñÿ è (f (x) + g(x)) dx, ïðè
a a a
ýòîì
Z+∞ Z+∞ Z+∞
(f (x) + g(x)) dx = f (x)dx + g(x)dx.
a a a

Î÷åâèäíîñòü ýòîãî óòâåðæäåíèÿ ïðåäëàãàåòñÿ óñòàíîâèòü ÷èòàòåëþ.

Z+∞
sin x
Ïðèìåð 3.3 Âåðí¼ìñÿ ê ðàññìîòðåííûì âûøå ïðèìåðàì dx è
xp
1
Z+∞
cos x
dx.
xp
1

Ðåøåíèå. Ïî ïðèçíàêó Äèðèõëå ýòè èíòåãðàëû ñõîäÿòñÿ ïðè p > 0,

ZA
ïîñêîëüêó ïðè ýòîì óñëîâèè äðîáü 1/x & 0, à èíòåãðàëû p
sin xdx,
1
ZA
cos xdx, î÷åâèäíî, îãðàíè÷åíû.
1

Z+∞
sin x
Ïðèìåð 3.4 Ðàññìîòðèì arctg xdx.
x
1

Ðåøåíèå. Ýòîò èíòåãðàë ñõîäèòñÿ ïî ïðèçíàêó Àáåëÿ. Äåéñòâèòåëüíî,

Z+∞
sin x
ñõîäèìîñòü èíòåãðàëà dx óñòàíîâëåíà â ïðåäûäóùåì ïðèìåðå, à
x
1
ôóíêöèÿ arctg x ìîíîòîííà è îãðàíè÷åíà.
3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 9

Íåñîáñòâåííûå èíòåãðàëû âòîðîãî ðîäà

Ïóñòü ôóíêöèÿ f : (a; b] → R, íåîãðàíè÷åíà â îêðåñòíîñòè òî÷êè

a, íî èíòåãðèðóåìà ïî Ðèìàíó íà [a + δ, b] ïðè ëþáîì 0 < δ < b − a.
Ôîðìàëüíîå âûðàæåíèå
Zb
f (x)dx
a

íàçîâ¼ì íåñîáñòâåííûì èíòåãðàëîì âòîðîãî ðîäà.

Îïðåäåëåíèå 3.4 Íåñîáñòâåííûé èíòåãðàë âòîðîãî ðîäà íàçîâ¼ì ñõî-

äÿùèìñÿ, åñëè ñóùåñòâóåò

Zb
lim f (x)dx = I.
δ→0
a+δ

 ýòîì ñëó÷àå áóäåì ãîâîðèòü, ÷òî ÷èñëî I ÿâëÿåòñÿ çíà÷åíèåì èíòå-

ãðàëà è ïèñàòü
Zb
I= f (x)dx.
a

Åñëè æå óêàçàííûé ïðåäåë ðàâåí áåñêîíå÷íîñòè èëè âîâñå íå ñóùåñòâó-

åò, òî áóäåì ãîâîðèòü, ÷òî èíòåãðàë ðàñõîäèòñÿ.

Àíàëîãè÷íî îïðåäåëÿåòñÿ

Zb Zb−δ
f (x)dx = lim f (x)dx,
δ→0
a a

åñëè ôóíêöèÿ f îïðåäåëåíà íà [a; b), èíòåãðèðóåìà íà [a; b − δ] ïðè

ëþáîì 0 < δ < b − a è íåîãðàíè÷åíà â îêðåñòíîñòè òî÷êè b.
Åñëè æå ôóíêöèÿ f îïðåäåëåíà íà [a; b]\{c}, a < c < b, íåîãðàíè÷åíà
â îêðåñòíîñòè òî÷êè c, íî èíòåãðèðóåìà íà îòðåçêàõ [a; c − δ] è [c − δ; b]
ïðè ëþáîì äîïóñòèìîì ïîëîæèòåëüíîì δ , òî îïðåäåëèì
 c−δ 
Zb Z 1 Zb
f (x)dx = lim  f (x)dx + f (x)dx .
δ1 ,δ2 →0
a a c+δ2
10 Îãëàâëåíèå

Z1
sin x
Ïðèìåð 3.5 dx ñõîäèòñÿ ïðè p < 1 è ðàñõîäèòñÿ ïðè p ≥ 1.
xp
0

Ýòîò ïðèìåð áûë ðàññìîòðåí âî âòîðîì ñåìåñòðå.

Òåîðåìà 3.6 (êðèòåðèé Êîøè) Åñëè ôóíêöèÿ f : (a; b] → R, íåîãðà-

íè÷åíà â îêðåñòíîñòè òî÷êè a, íî èíòåãðèðóåìà ïî Ðèìàíó íà [a+δ, b]
Rb
ïðè ëþáîì 0 < δ < b − a, òî f (x)dx ñõîäèòñÿ òîãäà è òîëüêî òîãäà,
a
êîãäà ∀ε > 0 ∃δ > 0 ¯ òàêîå, ÷òî
¯ ∀a0 , a00 : a < a0 , a00 < a + δ áóäåò
¯Za00 ¯
¯ ¯
âûïîëíÿòüñÿ óñëîâèå ¯ f (x)dx¯¯ < ε.
¯
¯0 ¯
a

Ýòî óòâåðæäåíèå äîêàçûâàåòñÿ òàê æå, êàê è àíàëîãè÷íîå óòâåðæäåíèå

äëÿ íåñîáñòâåííûõ èíòåãðàëîâ ïåðâîãî ðîäà. Òàê æå ââîäèòñÿ ïîíÿòèå
àáñîëþòíîé è óñëîâíîé ñõîäèìîñòè è óñòàíàâëèâàåòñÿ ñîîòíîøåíèå ìåæ-
äó íèìè. Òàê æå ôîðìóëèðóåòñÿ è äîêàçûâàåòñÿ ïðèçíàê ñõîäèìîñòè
Âåéåðøòðàññà.
Ðåêîìåíäóåì ÷èòàòåëÿì ïðîäåëàòü ýòó ðàáîòó ñàìîñòîÿòåëüíî.

Èíòåãðàëû â ñìûñëå ãëàâíîãî çíà÷åíèÿ

Îïðåäåëåíèå 3.5 Ïóñòü ôóíêöèÿ f : R → R, èíòåãðèðóåìà ïî Ðèìà-

Z+∞
íó íà ëþáîì êîíå÷íîì îòðåçêå, íî íåñîáñòâåííûé èíòåãðàë f (x)dx
−∞
ZA
íå ñóùåñòâóåò. Òîãäà, åñëè ñóùåñòâóåò lim f (x)dx, òî îí íàçûâà-
A→+∞
−A
åòñÿ èíòåãðàëîì â ñìûñëå ãëàâíîãî çíà÷åíèÿ è îáîçíà÷àåòñÿ ñèìâîëîì
Z+∞
(v. p.) f (x)dx.
−∞

Îïðåäåëåíèå 3.6 Ïóñòü ôóíêöèÿ f : [a; b]\{c} → R, a < c < b, íåîã-

ðàíè÷åíà â îêðåñòíîñòè òî÷êè c, èíòåãðèðóåìà ïî Ðèìàíó íà îòðåçêàõ
Zb
[a; c − δ] è [c + δ; b] ïðè ëþáîì δ > 0, íî f (x)dx íå ñóùåñòâóåò. Òî-
a
3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 11
 c−δ 
Z Zb
ãäà, åñëè ñóùåñòâóåò lim  f (x)dx + f (x)dx, òî îí íàçûâàåò-
δ→0
a c+δ
ñÿ èíòåãðàëîì â ñìûñëå ãëàâíîãî çíà÷åíèÿ è îáîçíà÷àåòñÿ ñèìâîëîì
Zb
(v. p.) f (x)dx.
a

Z1
dx
Ïðèìåð 3.6 Ðàññìîòðèì .
x
−1

Ðåøåíèå. Ýòî  ðàñõîäÿùèéñÿ èíòåãðàë âòîðîãî ðîäà, ïîñêîëüêó ïîêà-

çàòåëü ñòåïåíè p = 1. Îäíàêî
 −δ 
Z Z1 µ ¯−δ ¯1 ¶
dx dx  = lim ln(−x)¯ + ln x¯¯ =
¯
lim  +
δ→0 x x δ→0 −1 δ
−1 δ

= lim (ln δ − ln 1 + ln 1 − ln δ) = 0.
δ→0

Ñëåäîâàòåëüíî, ðàññìàòðèâàåìûé èíòåãðàë ñóùåñòâóåò â ñìûñëå ãëàâíî-

ãî çíà÷åíèÿ è
Z1
dx
(v. p.) = 0.
x
−1

Z+∞
xdx
Ïðèìåð 3.7 Ðàññìîòðèì .
1 + x2
−∞

Ðåøåíèå. Ýòîò èíòåãðàë ðàñõîäèòñÿ, òàê êàê ïîäûíòåãðàëüíàÿ ôóíêöèÿ

1
f (x) ∼ (x → ∞). Íî
x
ZA ¯+A
xdx 1 2 ¯
lim = lim ln(1 + x )¯ =
A→+∞ 1 + x2 A→+∞ 2 −A
−A

1¡ ¢
= lim ln(1 + A2 ) − ln(1 + A2 ) = 0.
A→+∞ 2

Ñëåäîâàòåëüíî, ýòîò èíòåãðàë ñóùåñòâóåò â ñìûñëå ãëàâíîãî çíà÷åíèÿ è

Z+∞
xdx
(v. p.) = 0.
1 + x2
−∞
12 Îãëàâëåíèå

3.2 Ñîáñòâåííûå èíòåãðàëû, çàâèñÿùèå îò ïàðàìåò-

ðà
Ïóñòü f : [a; b] × Y → R, ãäå [a; b] ⊂ R, Y  ëþáîå ìíîæåñòâî,
à [a; b] × Y = {(x, y) : x ∈ [a; b], y ∈ Y }. Ïðåäïîëîæèì, ÷òî ∀y ∈ Y
ôóíêöèÿ f èíòåãðèðóåìà ïî Ðèìàíó íà îòðåçêå [a; b].

Îïðåäåëåíèå 3.7 Ôóíêöèþ

Zb
I(y) = f (x, y)dx, (3.1)
a

îïðåäåë¼ííóþ íà ìíîæåñòâå Y ïðè îïèñàííûõ âûøå óñëîâèÿõ, áóäåì

íàçûâàòü ñîáñòâåííûì èíòåãðàëîì, çàâèñÿùèì îò ïàðàìåòðà.

Èçó÷èì ñâîéñòâà ýòîãî èíòåãðàëà, îãðàíè÷èâøèñü ïðîñòåéøèì ñëó-

÷àåì: Y = [c; d] ∈ R, è ââåäÿ îáîçíà÷åíèå

Π = [a b] × [c; d] = {(x, y) : x ∈ [a; b], y ∈ [c; d]} .

Òåîðåìà 3.7 Ïóñòü ôóíêöèÿ f íåïðåðûâíà íà ïðÿìîóãîëüíèêå Π. Òîãäà

ôóíêöèÿ I(y) íåïðåðûâíà íà îòðåçêå [a; b].

Äîêàçàòåëüñòâî. Ôóíêöèÿ íåïðåðûâíà íà ìíîæåñòâå, åñëè îíà íåïðå-

ðûâíà â êàæäîé òî÷êå ìíîæåñòâà. Âîçüì¼ì, ïîýòîìó, ëþáîå y0 ∈ [c; d] è
ëþáîå ε > 0 è ïîêàæåì, ÷òî íàéä¼òñÿ δ > 0 òàêîå, ÷òî åñëè y ∈ [c; d] è
¯ ¯
|y − y0 | < δ , òî áóäåò âûïîëíÿòüñÿ íåðàâåíñòâî ¯I(y) − I(y0 )¯ < ε.
Ïðÿìîóãîëüíèê Π  êîìïàêòíîå ìíîæåñòâî â R2 , ïîýòîìó ïî òåîðåìå
Êàíòîðà (?) ôóíêöèÿ f ðàâíîìåðíî íåïðåðûâíà íà Π, ñëåäîâàòåëüíî, ïî
âûáðàííîìó ε > 0 ìîæíî óêàçàòü òàêîå δ > 0, ÷òî åñëè

|x0 − x00 | < δ, |y 0 − y 00 | < δ (x0 , x00 ∈ [a; b], y 0 , y 00 ∈ [c; d]) ,

òî áóäåò âûïîëíÿòüñÿ íåðàâåíñòâî

¯ ¯ ε
¯f (x0 , y 0 ) − f (x00 , y 00 )¯< .
b−a
3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 13

Ïîëîæèì x0 = x00 = x, y 0 = y , y 00 = y0 . Òîãäà

¯ b ¯
¯Z ¯
¯ ¯ ¯ ¯
¯I(y) − I(y0 )¯ = ¯ [f (x, y) − f (x, y0 )]dx¯ ≤
¯ ¯
¯ ¯
a

Zb ¯ ¯
¯ ¯ ε
≤ ¯f (x, y) − f (x, y0 )¯dx < · (b − a) = ε.
b−a
a

Ïîëó÷åííàÿ îöåíêà äîêàçûâàåò íå òîëüêî íåïðåðûâíîñòü, íî è ðàâíî-

ìåðíóþ (ïîñêîëüêó δ íå çàâèñèò îò y0 ) íåïðåðûâíîñòü ôóíêöèè I(y) íà
îòðåçêå [a; b].

Òåîðåìà 3.8 Ïóñòü ôóíêöèÿ f íåïðåðûâíà íà ïðÿìîóãîëüíèêå Π. Òîãäà

ôóíêöèÿ I(y) èíòåãðèðóåìà íà îòðåçêå [c; d] è ñïðàâåäëèâî ðàâåíñòâî

Zd Zd Zb Zb Zd
I(y)dy = dy f (x, y)dx = dx f (x, y)dy. (3.2)
c c a a c

Äîêàçàòåëüñòâî. Èíòåãðèðóåìîñòü I(y) âûòåêàåò èç ïðåäûäóùåé òåî-

ðåìû è òåîðåìû îá èíòåãðèðóåìîñòè íåïðåðûâíûõ ôóíêöèé. Ðàâåíñòâî
æå 3.2 ñëåäóåò èç òåîðåìû î ñâåäåíèè êðàòíîãî èíòåãðàëà ê ïîâòîð-
íîìó (?). Äëÿ íåïðåðûâíîé íà ïðÿìîóãîëüíèêå Π ôóíêöèè ñóùåñòâóåò
RR
f (x, y)dxdy , êîòîðûé ìîæåò áûòü ñâåäåí ê ïîâòîðíîìó â ëþáîì ïî-
Π
ðÿäêå.

Òåîðåìà 3.9 Åñëè ôóíêöèÿ f íåïðåðûâíà è èìååò íåïðåðûâíóþ ÷àñò-

íóþ ïðîèçâîäíóþ fy0 íà ïðÿìîóãîëüíèêå Π, òî ôóíêöèÿ I(y) äèôôåðåí-
öèðóåìà íà îòðåçêå [c; d] è ñïðàâåäëèâî ðàâåíñòâî

Zb Zb
0 d ∂f (x, y)
I (y) = f (x, y)dx = dx. (3.3)
dy ∂y
a a

Äîêàçàòåëüñòâî. Òàê êàê fy0 íåïðåðûâíà íà Π, òî, èñïîëüçóÿ ïðåäûäó-

ùóþ òåîðåìó, äëÿ ëþáîãî y ∈ [c; d] ìîæåì íàïèñàòü ðàâåíñòâî

Zb Zy Zy Zb
∂f (x, η) ∂f (x, η)
dx dη = dη dx. (3.4)
∂η ∂η
a c c a
14 Îãëàâëåíèå

Óïðîñòèì ëåâóþ ÷àñòü ðàâåíñòâà 3.4 ñ ïîìîùüþ ôîðìóëû Íüþòîíà-

Ëåéáíèöà.
Zb Zy Zb ¯y
∂f (x, η) ¯
dx dη = dx · f (x, η) ¯ =
∂η c
a c a

Zb Zb
= f (x, y)dx − f (x, c)dx = I(y) − I(c)
a a
.
Îáîçíà÷èì ÷åðåç J(η) âíóòðåííèé èíòåãðàë â ïðàâîé ÷àñòè ðàâåíñòâà
(3.4). Òîãäà ðàâåíñòâî (3.4) ïðèìåò âèä:
Zy
I(y) − I(c) = J(η)dη. (3.5)
c

Ïî òåîðåìå 3.7 J(η)  íåïðåðûâíàÿ íà [c; d] ôóíêöèÿ. Íî òîãäà ïî

òåîðåìå î ïðîèçâîäíîé èíòåãðàëà ñ ïåðåìåííûì âåðõíèì ïðåäåëîì ïðà-
âàÿ ÷àñòü ðàâåíñòâà 3.5 (ñëåäîâàòåëüíî, è ëåâàÿ) äèôôåðåíöèðóåìà íà
îòðåçêå [c; d]. Ïî òîé æå òåîðåìå èç ðàâåíñòâà 3.5 ïîëó÷àåì:

Zy Zb
d ∂f (x, y)
I 0 (y) = J(η)dη . J(y) = dy,
dy ∂y
c a

÷òî è òðåáîâàëîñü.
Ðàññìîòðèì òåïåðü áîëåå îáùèé ñëó÷àé, êîãäà íå òîëüêî ïîäûíòå-
ãðàëüíàÿ ôóíêöèÿ, íî è ïðåäåëû èíòåãðèðîâàíèÿ çàâèñÿò îò ïàðàìåò-
ðà. Èòàê, ïóñòü ôóíêöèÿ f (x, y) îïðåäåëåíà íà ïðÿìîóãîëüíèêå Π =
[a; b] × [c; d], èíòåãðèðóåìà ïî x íà îòðåçêå [a; b] äëÿ êàæäîãî y ∈ [c; d],
ôóíêöèè a(y) è b(y) çàäàíû íà îòðåçêå [c; d] è ∀y ∈ [c; d] âûïîëíÿåòñÿ
a ≤ a(y) ≤ b(y) ≤ b. Ðàññìîòðèì èíòåãðàë

Zb(y)
I(y) = f (x, y)dx. (3.6)
a(y)

Òåîðåìà 3.10 Ïóñòü ôóíêöèÿ f (x, y) íåïðåðûâíà íà Π, à ôóíêöèè a(y),

b(y) íåïðåðûâíû íà [c; d]. Òîãäà ôóíêöèÿ I(y), îïðåäåë¼ííàÿ ðàâåíñòâîì
3.6, íåïðåðûâíà íà [c; d].
3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 15

Äîêàçàòåëüñòâî. Ïóñòü y0 ∈ [c; d]. Ïîêàæåì, ÷òî lim I(y) = I(y0 ). Äëÿ
y→y0
ýòîãî ðàçîáü¼ì èíòåãðàë íà òðè ñëàãàåìûõ, èñïîëüçóÿ ñâîéñòâî àääèòèâ-
íîñòè èíòåãðàëà.

Zb(y)
I(y) = f (x, y)dx =
a(y)

Z 0)
a(y Z 0)
b(y Zb(y)
= f (x, y)dx + f (x, y)dx + f (x, y)dx =
a(y) a(y0 ) b(y0 )

Z 0)
b(y Zb(y) Za(y)
+ f (x, y)dx + f (x, y)dx − f (x, y)dx =
a(y0 ) b(y0 ) a(y0 )

= I0 (y) + Ib (y) − Ia (y). (3.7)

Çäåñü èíòåãðàëû îáîçíà÷åíû â ïîðÿäêå ñëåäîâàíèÿ. Ðàññìîòðèì êàæäûé

èç íèõ â îòäåëüíîñòè.
Ïåðâûé èç èíòåãðàëîâ  èíòåãðàë ñ ïîñòîÿííûìè ïðåäåëàìè âèäà
3.1, åãî íåïðåðûâíîñòü äîêàçàíà â òåîðåìå 3.7. Ïîýòîìó

lim I0 (y) = I0 (y0 ).

y→y0

Çàéìåìñÿ âòîðûì èíòåãðàëîì. Ôóíêöèÿ f (x, y) íåïðåðûâíà íà Π, ñëå-

äîâàòåëüíî, îãðàíè÷åíà. Ïîýòîìó ñóùåñòâóåò ïîñòîÿííàÿ M òàêàÿ, ÷òî
¯ ¯
¯f (x, y)¯ ≤ M , (x, y) ∈ Π. Íî òîãäà
¯ ¯
¯ Zb(y) ¯
¯ ¯ ¯ ¯
¯ ¯
¯ f (x, y)dx¯ ≤ M ¯b(y) − b(y0 )¯.
¯ ¯
¯b(y0 ) ¯

À òàê êàê ôóíêöèÿ b(y) íåïðåðûâíà íà [c; d], òî b(y) − b(y0 ) → 0 ïðè
y → y0 , ïîýòîìó
lim Ib (y) = 0.
y→y0

Ñîâåðøåííî àíàëîãè÷íî äîêàçûâàåòñÿ, ÷òî è

lim Ia (y) = 0.
y→y0
16 Îãëàâëåíèå

Òàêèì îáðàçîì,

lim I(y) = lim I0 (y) + lim Ib (y) − lim Ia (y) = I0 (y0 ),

y→y0 y→y0 y→y0 y→y0

÷òî è òðåáîâàëîñü äîêàçàòü.

Òåîðåìà 3.11 Ïóñòü ôóíêöèÿ f íåïðåðûâíà íà ïðÿìîóãîëüíèêå Π è

èìååò íà í¼ì íåïðåðûâíóþ ÷àñòíóþ ïðîèçâîäíóþ fy0 , à ôóíêöèè a(y) è
b(y) äèôôåðåíöèðóåìû íà îòðåçêå [c; d]. Òîãäà ôóíêöèÿ I(y), îïðåäåëÿ-
åìàÿ ðàâåíñòâîì (3.6), äèôôåðåíöèðóåìà íà îòðåçêå [c; d] è å¼ ïðîèç-
âîäíàÿ ìîæåò áûòü âû÷èñëåíà ïî ôîðìóëå
Zb(y)
∂f (x, y)
I 0 (y) = dx + f (b(y), y)b0 (y) − f (a(y), y)a0 (y). (3.8)
∂y
a(y)

Äîêàçàòåëüñòâî. Ïîñêîëüêó äèôôåðåíöèðóåìîñòü íà ïðîìåæóòêå åñòü

äèôôåðåíöèðóåìîñòü â êàæäîé òî÷êå ïðîìåæóòêà, òî âîçüì¼ì y0 íà îò-
ðåçêå [c; d] è ïîêàæåì, ÷òî I(y) äèôôåðåíöèðóåìà â òî÷êå y0 , è ÷òî I 0 (y0 )
ïðåäñòàâëÿåòñÿ â âèäå ïðàâîé ÷àñòè ôîðìóëû (3.8). Äëÿ ýòîãî âîñïîëüçó-
åìñÿ ïðåäñòàâëåíèåì I(y) â âèäå (3.7) è ïîêàæåì, ÷òî êàæäîå ñëàãàåìîå
ïðàâîé ÷àñòè (3.7) äèôôåðåíöèðóåìî è âû÷èñëèì åãî ïðîèçâîäíóþ.
Ïåðâûé èç èíòåãðàëîâ â ïðàâîé ÷àñòè (3.7) èìååò ïîñòîÿííûå ïðåäåëû
èíòåãðèðîâàíèÿ. Åãî äèôôåðåíöèðóåìîñòü óñòàíîâëåíà â òåîðåìå 3.9.
Ïîýòîìó
Z 0)
b(y
∂f (x, y0 )
I00 (y0 ) = dx. (3.9)
∂y
a(y0 )

Òåïåðü äîêàæåì äèôôåðåíöèðóåìîñòü è âû÷èñëèì ïðîèçâîäíóþ âòî-

ðîãî ñëàãàåìîãî â ïðàâîé ÷àñòè (3.7). (Îòìåòèì, ÷òî Ib (y0 ) = 0.)
Ïî îïðåäåëåíèþ ïðîèçâîäíîé

Zb(y)
Ib (y) − Ib (y0 ) 1
Ib0 (y0 ) = lim = lim f (x, y)dx.
y→y0 y − y0 y→y0 y − y0
b(y0 )

Òàê êàê ïîäûíòåãðàëüíàÿ ôóíêöèÿ íåïðåðûâíà (ïî x), òî ïî ñâîéñòâó

îïðåäåë¼ííîãî èíòåãðàëà íàéä¼òñÿ c = c(y), b(y0 ) ≤ c(y) ≤ b(y), òàêîå,
3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 17

Zb(y)
÷òî f (x, y)dx = f (c(y), y)(b(y) − b(y0 ). Íî òîãäà
b(y0 )

1
Ib0 (y0 ) = lim f (c(y), y)(b(y) − b(y0 ) =
y→y0 y − y0

b(y) − b(y0 )
= lim f (c(y), y) · lim = f (b(y0 ), y0 )b0 (y0 ),
y→y0 y→y0 y − y0
òàê êàê ïåðâûé ïðåäåë ñóùåñòâóåò ïî òåîðåìå î òð¼õ ôóíêöèÿõ è â ñè-
ëó íåïðåðûâíîñòè ôóíêöèè f íà ïðÿìîóãîëüíèêå Π, à âòîðîé  â ñèëó
äèôôåðåíöèðóåìîñòè ôóíêöèè b(y). Èòàê,

Ib0 (y0 ) = f (b(y0 ), y0 )b0 (y0 ). (3.10)

Ñîâåðøåííî àíàëîãè÷íî äîêàçûâàåòñÿ, ÷òî òðåòüå ñëàãàåìîå â (3.7)

äèôôåðåíöèðóåìî è ÷òî

Ia0 (y0 ) = f (a(y0 ), y0 )a0 (y0 ). (3.11)

Èòàê, âñå òðè ñëàãàåìûõ â ïðàâîé ÷àñòè ðàâåíñòâà (3.7) äèôôåðåí-

öèðóåìû â òî÷êå y0 , çíà÷èò, è ôóíêöèÿ I(y) äèôôåðåíöèðóåìà â òî÷êå
y0 è
I 0 (y0 ) = I00 (y0 ) + Ib0 (y0 ) − Ia0 (y0 ). (3.12)

Ïîäñòàâèâ ñþäà çíà÷åíèÿ ïðîèçâîäíûõ (ôîðìóëû (3.9), (3.10), (3.11)),

ïîëó÷èì ïðåäñòàâëåíèå (3.8) â òî÷êå y0 .

Çàìå÷àíèå 3.3 Óñëîâèÿ òåîðåì 3.7  3.11 ÿâëÿþòñÿ äîñòàòî÷íûìè.

Äåêëàðèðóåìûå â òåîðåìàõ ñâîéñòâà ìîãóò âûïîëíÿòüñÿ è ïðè íàðó-
øåíèè óñëîâèé ýòèõ òåîðåì. Íî áûòü óâåðåííûì â èõ âûïîëíåíèè ïðè
íàðóøåíèè óñëîâèé òåîðåì íåëüçÿ.

Ðàññìîòðèì ñîîòâåòñòâóþùèå ïðèìåðû.

Z1
Ïðèìåð 3.8 Ðàññìîòðèì I(y) = sgn(x − y)dx.
0
18 Îãëàâëåíèå

Ðåøåíèå. Ïîäûíòåãðàëüíàÿ ôóíêöèÿ íà ïðÿìîé y = x òåðïèò ðàçðûâ.

Îäíàêî, âû÷èñëèâ èíòåãðàë, óáåäèìñÿ, ÷òî îí ïðåäñòàâëÿåò íåïðåðûâ-
íóþ ôóíêöèþ îò y íà âñåé âåùåñòâåííîé ïðÿìîé.
Z1
1. Ïóñòü y ≤ 0. I(y) = dx = 1;
0
Zy Z1
2. Ïóñòü 0 < y < 1. I(y) = − dx + dx = −y + (1 − y) = 1 − 2y .
0 y
Z1
3. Ïóñòü y ≥ 1. I(y) = − dx = −1.
0
Íåòðóäíî óáåäèòüñÿ, ÷òî ôóíêöèÿ I(y) èìååò îäèíàêîâûå ïðåäåëû
ñëåâà è ñïðàâà â òî÷êàõ y = 0 è y = 1, ïîýòîìó íåïðåðûâíà.
Z1
y 2 − x2
Ïðèìåð 3.9 Ðàññìîòðèì I(y) = ¡ ¢2 dx.
x2 + y 2
0

Ðåøåíèå. Ïîäûíòåãðàëüíàÿ ôóíêöèÿ òåðïèò ðàçðûâ â òî÷êå (0; 0), îä-

íàêî, âû÷èñëèâ èíòåãðàë, óáåäèìñÿ, ÷òî îí ïðåäñòàâëÿåò èíòåãðèðóåìóþ
íà îòðåçêå [0; 1] ôóíêöèþ.
Z1 Z1 µ ¶ ¯x=1
y 2 − x2 x x ¯ 1
I(y) = ¡ ¢2 dx = d = 2 ¯ = ,
x2 + y 2 x + y2
2 x + y x=0 1 + y 2
2
0 0
ïîýòîìó
Z1 Z1 ¯1 π
1 ¯
I(y)dy = 2
dy = arctg y ¯= .
1+y 0 4
0 0
Îäíàêî ïîïûòêà ïðîèíòåãðèðîâàòü ïî ïàðàìåòðó ïîä çíàêîì èíòå-
ãðàëà ïðèâåä¼ò ê èíîìó ðåçóëüòàòó.
Z1 Z1 Z1 Z1 µ ¶
y 2 − x2 −y
dx ¡ ¢2 dy = dx d =
x2 + y 2 x2 + y 2
0 0 0 0

Z1 ¯y=1 Z1
y ¯ dx π
=− 2 2
¯ dx = − 2
=− .
x + y y=0 1+x 4
0 0

Zy2
sin xy
Ïðèìåð 3.10 Ðàññìîòðèì I(y) = dx.
x
y
3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 19

Ðåøåíèå. Ëåãêî âèäåòü, ÷òî èíòåãðàë óäîâëåòâîðÿåò óñëîâèÿì òåîðå-

ìû 3.11 íà ëþáîì îòðåçêå [c; d]. Íàéä¼ì ïðîèçâîäíóþ I 0 (y), èñïîëüçóÿ
ôîðìóëó 3.8.

Zy2
sin y 3 sin y 2
I 0 (y) = cos xydx + · 2y − ·1=
y2 y
y

sin xy ¯¯y2 sin y 3 sin y 2 sin y 3 sin y 2 sin y 3 sin y 2

= ¯ +2 − = − +2 − =
y y y y y y y y
sin y 3 sin y 2
=3 −2 .
y y

3.3 Íåñîáñòâåííûå èíòåãðàëû, çàâèñÿùèå îò ïàðàìå-

òðà
Ïóñòü Y  ïðîèçâîëüíîå ìíîæåñòâî, f : [a; +∞)×Y → R. Ïðåäïîëî-
Z+∞
æèì, ÷òî äëÿ êàæäîãî y ∈ Y ñõîäèòñÿ f (x, y)dx. Òîãäà íà ìíîæåñòâå
a
Y îïðåäåëåíà ôóíêöèÿ

Z+∞
I(y) = f (x, y)dx, (3.13)
a

êîòîðóþ áóäåì íàçûâàòü íåñîáñòâåííûì èíòåãðàëîì ïåðâîãî ðîäà, çàâè-

ñÿùèì îò ïàðàìåòðà.

Ðàâíîìåðíàÿ ñõîäèìîñòü

Ïîíÿòèå ðàâíîìåðíîé ñõîäèìîñòè äëÿ íåñîáñòâåííûõ èíòåãðàëîâ, çà-

âèñÿùèõ îò ïàðàìåòðà, ñòîëü æå âàæíî, êàê è äëÿ ôóíêöèîíàëüíûõ ðÿ-
äîâ.

Îïðåäåëåíèå 3.8 Áóäåì ãîâîðèòü, ÷òî èíòåãðàë (3.13) ñõîäèòñÿ ðàâ-

íîìåðíî íà ìíîæåñòâå Y , åñëè åãî îñòàòîê ðàâíîìåðíî ñòðåìèòñÿ ê
20 Îãëàâëåíèå

íóëþ íà ýòîì ìíîæåñòâå, òî-åñòü, åñëè ∀ε > 0 ∃A0 (> A) òàêîå, ÷òî
∀A > A0 ∀y ∈ Y âûïîëíÿåòñÿ íåðàâåíñòâî
¯ +∞ ¯
¯Z ¯
¯ ¯
¯ f (x, y)dx¯ < ε. (3.14)
¯ ¯
¯ ¯
A

Òåîðåìà 3.12 (êðèòåðèé Êîøè) Äëÿ òîãî, ÷òîáû èíòåãðàë (3.13)

ñõîäèëñÿ ðàâíîìåðíî íà ìíîæåñòâå Y , íåîáõîäèìî è äîñòàòî÷íî âû-
ïîëíåíèå ñëåäóþùåãî óñëîâèÿ (óñëîâèå Êîøè): ∀ε > 0 ∃A0 , çàâèñÿùåå
òîëüêî îò ε, òàêîå, ÷òî ∀A0 , A00 > A0 áóäåò âûïîëíÿòüñÿ íåðàâåíñòâî
¯ A00 ¯
¯Z ¯
¯ ¯
¯ f (x, y)dx¯ < ε. (3.15)
¯ ¯
¯ 0 ¯
A

Äîêàçàòåëüñòâî. Ïóñòü èíòåãðàë (3.13) ñõîäèòñÿ ðàâíîìåðíî íà ìíî-

æåñòâå Y . Òîãäà, âçÿâ ëþáîå ε > 0, ïîäáåðåì A0 =¯ A0 (ε) òàê, ÷òîáû
¯ äëÿ
¯ Z+∞ ¯
¯ ¯
ëþáûõ A > A0 è y ∈ Y âûïîëíÿëîñü íåðàâåíñòâî ¯¯ f (x, y)dx¯¯ < ε/2.
¯ ¯
A
0 00
Âîçüì¼ì ëþáûå A , A > A0 è ëþáîå y ∈ Y . Òîãäà
¯ A00 ¯ ¯ +∞ ¯
¯Z ¯ ¯Z Z+∞ ¯
¯ ¯ ¯ ¯
¯ f (x, y)dx¯ = ¯ f (x, y)dx − f (x, y)dx ¯≤
¯ ¯ ¯ ¯
¯ 0 ¯ ¯ 0 00
¯
A A A
¯ +∞ ¯ ¯ +∞ ¯
¯Z ¯ ¯Z ¯
¯ ¯ ¯ ¯ ε ε
¯ ¯ ¯
≤ ¯ f (x, y)dx¯ + ¯ f (x, y)dx¯¯ < + = ε
¯ 0 ¯ ¯ 00 ¯ 2 2
A A
è íåîáõîäèìîñòü äîêàçàíà.
Íàîáîðîò, åñëè âûïîëíåíî óñëîâèå (3.15), òî îíî âûïîëíåíî äëÿ ëþ-
áîãî ôèêñèðîâàííîãî y ∈ Y . Íî òîãäà ïî òåîðåìå 3.1 äëÿ ëþáîãî ôèêñè-
ðîâàííîãî y ∈ Y èíòåãðàë (3.13) ñõîäèòñÿ, òî-åñòü, äëÿ êàæäîãî y ∈ Y
ZA
ñóùåñòâóåò lim f (x, y)dx. Ïîýòîìó, ïîëîæèâ â (3.15) A0 = A(> A0 ) è
A→+∞
a
óñòðåìèâ A00 ê +∞, ïîëó÷èì äëÿ ëþáîãî y ∈ Y
¯ +∞ ¯
¯Z ¯
¯ ¯
¯ f (x, y)dx¯ ≤ ε,
¯ ¯
¯ ¯
A

÷òî îçíà÷àåò ðàâíîìåðíóþ íà Y ñõîäèìîñòü èíòåãðàëà (3.13).

3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 21

Òåîðåìà 3.13 (Âåéåðøòðàññ) Ïóñòü f : [a, +∞) → R è äëÿ ëþáûõ

A(> a) è y ∈ Y ôóíêöèÿ f èíòåãðèðóåìà ïî Ðèìàíó íà îòðåçêå [a; A].
Ïóñòü g : [a; +∞) → R, äëÿ âñåõ x ∈ [a; +∞), y ∈ Y âûïîëíÿåòñÿ
R
+∞
íåðàâåíñòâî |f (x, y)| ≤ g(x) è g(x)dx ñõîäèòñÿ. Òîãäà èíòåãðàë (3.13)
a
ñõîäèòñÿ ðàâíîìåðíî (è àáñîëþòíî) íà ìíîæåñòâå Y .

Äîêàçàòåëüñòâî. Ïî êðèòåðèþ Êîøè äëÿ íåñîáñòâåííûõ èíòåãðàëîâ

ïåðâîãî ðîäà (ñì. 3.1) äëÿ ëþáîãî ε > 0 íàéä¼òñÿ ¯A0 òàêîå,¯ ÷òî äëÿ
¯ZA00 ¯
¯ ¯
ëþáûõ A , A > A0 áóäåò âûïîëíÿòüñÿ íåðàâåíñòâî ¯¯ g(x)dx¯¯ < ε. Íî
0 00
¯ 0 ¯
A
òîãäà äëÿ ëþáîãî y ∈ Y , äëÿ ëþáûõ A0 , A00 > A0 èìååì:
¯ A00 ¯ ¯ A00 ¯ ¯ A00 ¯
¯Z ¯ ¯Z ¯ ¯Z ¯
¯ ¯ ¯ ¯ ¯ ¯
¯ f (x, y)dx¯ ≤ ¯ |f (x, y)| dx¯ ≤ ¯ g(x)dx¯ < ε.
¯ ¯ ¯ ¯ ¯ ¯
¯ 0 ¯ ¯ 0 ¯ ¯ 0 ¯
A A A

Îñòà¼òñÿ ïðèìåíèòü òåîðåìó 3.12.

Z+∞
cos ax
Ïðèìåð 3.11 Ðàññìîòðèì dx.
1 + x2
0

Ðåøåíèå. Ýòîò èíòåãðàë ñõîäèòñÿ ðàâíîìåðíî íà R, òàê êàê èìååò ìåñòî

¯ ¯ Z+∞
¯ cos ax ¯ 1 dx
îöåíêà ¯¯ 2
¯≤
¯ 2
,à ñõîäèòñÿ.
1+x 1+x 1 + x2
0

Òåîðåìà 3.14 (Äèðèõëå) Ïóñòü ôóíêöèè f, g : [a; +∞) × Y → R è

èíòåãðèðóåìû ïî Ðèìàíó íà [a; A] ïðè ëþáûõ A > a è y ∈ Y . Òîãäà
Z+∞
f (x, y)g(x, y)dx ñõîäèòñÿ ðàâíîìåðíî íà Y , åñëè âûïîëíåíû ñëåäóþ-
a
ùèå äâà óñëîâèÿ:
ZA
1) f (x, y)dx ðàâíîìåðíî îãðàíè÷åí íà [a; +∞), òî-åñòü, ñóùåñòâó-
a
åò ïîñòîÿííàÿ M òàêàÿ, ÷òî äëÿ ëþáûõ A > a è y ∈ Y
¯ A ¯
¯Z ¯
¯ ¯
¯ f (x, y)dx¯ ≤ M ;
¯ ¯
¯ ¯
a

2) ôóíêöèÿ g(x, y) ìîíîòîííî ïî x ïðè êàæäîì y ∈ Y è ðàâíîìåðíî

ïî y ∈ Y ñòðåìèòñÿ ê íóëþ ïðè x → +∞.
22 Îãëàâëåíèå

Äîêàçàòåëüñòâî. Äîêàçàòåëüñòâî ýòîé òåîðåìû òàêîå æå, êàê è äîêà-

çàòåëüñòâî òåîðåìû 3.4, íóæíî ëèøü ïðîñëåäèòü, ÷òîáû âñå îöåíêè âû-
ïîëíÿëèñü ðàâíîìåðíî ïî ïàðàìåòðó.
Ïî ïåðâîìó óñëîâèþ ñóùåñòâóåò ïîñòîÿííàÿ M òàêàÿ, ÷òî äëÿ âñåõ
A > a è y ∈ Y èìååò ìåñòî îöåíêà:
¯ A ¯
¯Z ¯
¯ ¯
¯ f (x, y)dx¯ ≤ M. (3.16)
¯ ¯
¯ ¯
a

Ïî âòîðîìó óñëîâèþ äëÿ ëþáîãî ε > 0 íàéä¼òñÿ A0 (> a) òàêîå, ÷òî

äëÿ ëþáûõ A > A0 è y ∈ Y âûïîëíåíî

ε
|g(A, y)| < . (3.17)
4M
ZA00
Âîçüì¼ì A0 , A00 > A0 è ïðèìåíèì ê èíòåãðàëó f (x, y)g(x, y)dx âòî-
A0
ðóþ òåîðåìó î ñðåäíåì çíà÷åíèè (òîëüêî íà ýòîò ðàç â îáùåì âèäå, ïî-
ñêîëüêó íåèçâåñòåí çíàê g(x, y)), ñîãëàñíî êîòîðîé íàéä¼òñÿ A = A(y),
A ∈ [A0 , A00 ], òàêîå, ÷òî
ZA00 ZA ZA00
f (x, y)g(x, y)dx = g(A0 , y) f (x, y)dx + g(A00 , y) f (x, y)dx. (3.18)
A0 A0 A

Îöåíèì (3.18) ñ ïîìîùüþ (3.16) è (3.17).

¯ A00 ¯
¯Z ¯
¯ ¯
¯ f (x, y)g(x, y)dx¯ ≤
¯ ¯
¯ 0 ¯
A
¯ ¯ ¯ ¯
¯ ZA ¯ ¯ ZA00 ¯
¯ ¯ ¯ ¯
< ¯¯g(A , y) f (x, y)dx¯¯ + ¯¯g(A , y) f (x, y)dx¯¯ <
0 00

¯ 0
¯ ¯ ¯
A A
ε ε
< · 2M + · 2M = ε
4M 4M
äëÿ ëþáîãî y èç ìíîæåñòâà Y .
Èñïîëüçóÿ êðèòåðèé Êîøè, ïîëó÷àåì òðåáóåìîå óòâåðæäåíèå.

Òåîðåìà 3.15 (Àáåëü) Ïóñòü ôóíêöèè f, g : [a; +∞) × Y → R è

èíòåãðèðóåìû ïî Ðèìàíó íà [a; A] ïðè ëþáûõ A > a è y ∈ Y . Òîãäà
3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 23

Z+∞
f (x, y)g(x, y)dx ñõîäèòñÿ ðàâíîìåðíî íà Y , åñëè âûïîëíåíû ñëåäóþ-
a
ùèå äâà óñëîâèÿ:
ZA
1) f (x, y)dx ñõîäèòñÿ ðàâíîìåðíî íà ìíîæåñòâå Y ;
a
2) ôóíêöèÿ g(x, y) ìîíîòîííà ïî x ïðè êàæäîì y ∈ Y è ðàâíîìåðíî
ïî y ∈ Y îãðàíè÷åíà, òî-åñòü, ñóùåñòâóåò ïîñòîÿííàÿ M òàêàÿ, ÷òî
|g(x, y)| ≤ M äëÿ âñåõ x ∈ [a; +∞) è y ∈ Y .

Ýòà òåîðåìà äîêàçûâàåòñÿ òî÷íî òàê æå, êàê è òåîðåìà 3.5, òîëüêî
âìåñòî òåîðåìû 3.4 ñëåäóåò èñïîëüçîâàòü òåîðåìó 3.14. Ðåêîìåíäóåì ÷è-
òàòåëÿì äîêàçàòü ýòó òåîðåìó ñàìîñòîÿòåëüíî.
Z+∞
x sin ax
Ïðèìåð 3.12 Ðàññìîòðèì dx, ãäå b > 0  ïîñòîÿííàÿ, à
b 2 + x2
0
ïàðàìåòð a óäîâëåòâîðÿåò óñëîâèþ |a| ≥ a0 > 0.
x
Ðåøåíèå. Ïîëîæèì f (x, a) = sin ax, g(x, a) = . Òîãäà
b2
+ x2
¯ A ¯
¯Z ¯ ¯ ¯A ¯¯ ¯¯ 1 ¯
¯ ¯ ¯ 1 ¯
¯ sin(ax)dx¯ = ¯− cos(ax) ¯ ¯ = ¯ (1 − cos(aA))¯ ≤ 2 ≤ 2 = M ;
¯
¯ ¯ ¯ a ¯ ¯ a ¯ |a| a0
¯ ¯ 0
0
x
&0
b2
+ x2
ïðè x → +∞, è ýòî óñëîâèå (ââèäó íåçàâèñèìîñòè ôóíêöèè g îò a) âû-
ïîëíåíî ðàâíîìåðíî ïî a.
Òàê êàê îáà óñëîâèÿ ïðèçíàêà Äèðèõëå âûïîëíåíû, òî ðàññìàòðèâà-
åìûé èíòåãðàë ñõîäèòñÿ ðàâíîìåðíî â óêàçàííîé îáëàñòè.
Z+∞
sin x
Ïðèìåð 3.13 Ðàññìîòðèì e−ax dx (a ≥ 0).
x
0
Z+∞
sin x sin x
Ðåøåíèå. Ïîëîæèì f (x, a) = , g(x, a) = e−ax . Òàê êàê dx
x x
0
ñõîäèòñÿ ðàâíîìåðíî ïî a (ââèäó åãî îòñóòñòâèÿ) ïî ïðèçíàêó Äèðèõëå,
à ôóíêöèÿ e−ax , î÷åâèäíî, ìîíîòîííà ïî x è ïðè x ≥ 0, y ≥ 0 îãðàíè÷åíà,
òî ðàññìàòðèâàåìûé èíòåãðàë ñõîäèòñÿ ðàâíîìåðíî â óêàçàííîé îáëàñòè
ïî ïðèçíàêó Àáåëÿ.
24 Îãëàâëåíèå

3.4 Ñâîéñòâà íåñîáñòâåííûõ èíòåãðàëîâ, çàâèñÿùèõ

îò ïàðàìåòðà
Èçó÷èì ñâîéñòâà íåñîáñòâåííûõ èíòåãðàëîâ ïåðâîãî ðîäà, çàâèñÿùèõ
îò ïàðàìåòðà, îãðàíè÷èâøèñü ïðîñòåéøèì ñëó÷àåì: ìíîæåñòâî Y åñòü
îòðåçîê [c; d] âåùåñòâåííîé îñè. Ââåä¼ì îáîçíà÷åíèå

Π∞ = [a; +∞) × [c; d]

è äîêàæåì ïðåäâàðèòåëüíî ñëåäóþùóþ ëåììó.

Ëåììà 3.1 Åñëè èíòåãðàë (3.13) ñõîäèòñÿ ðàâíîìåðíî íà ìíîæåñòâå

Y , òî ïîñëåäîâàòåëüíîñòü ôóíêöèé

Z
a+n

In (y) = f (x, y)dx (n ∈ N) (3.19)

a

òîæå ðàâíîìåðíî ñõîäèòñÿ íà ìíîæåñòâå Y ê ôóíêöèè I(y).

Òåîðåìà 3.16 Åñëè ôóíêöèÿ f (x, y) îïðåäåëåíà è íåïðåðûâíà íà Π∞ ,

à èíòåãðàë (3.13) ñõîäèòñÿ ðàâíîìåðíî íà îòðåçêå [c; d], òî ôóíêöèÿ
I(y), îïðåäåëÿåìàÿ ýòèì èíòåãðàëîì, íåïðåðûâíà íà [c; d].

Äîêàçàòåëüñòâî. Ïî òåîðåìå 3.7 ôóíêöèè In (y) (n ∈ N) íåïðåðûâíû íà

îòðåçêå [c; d]. Ïî ëåììå 3.1 ïîñëåäîâàòåëüíîñòü ôóíêöèé In (y) (n ∈ N)
ñõîäèòñÿ ðàâíîìåðíî íà îòðåçêå [c; d] ê ôóíêöèè I(y). Íî òîãäà ïî òåîðå-
ìå î ïðåäåëå ðàâíîìåðíî ñõîäÿùåéñÿ ïîñëåäîâàòåëüíîñòè íåïðåðûâíûõ
ôóíêöèé ôóíêöèÿ I(y) íåïðåðûâíà íà îòðåçêå [c; d].
Ñëåäóþùàÿ òåîðåìà ÿâëÿåòñÿ â íåêîòîðîì ðîäå îáðàòíîé ê ïðåäûäó-
ùåé.

Òåîðåìà 3.17 (Äèíè) Åñëè ôóíêöèÿ f (x, y) íåïðåðûâíà è íåîòðèöà-

òåëüíà íà Π+∞ , à ôóíêöèÿ I(y), îïðåäåëÿåìàÿ èíòåãðàëîì (3.13), íåïðå-
ðûâíà íà îòðåçêå [c; d], òî èíòåãðàë (3.13) ñõîäèòñÿ ðàâíîìåðíî íà
îòðåçêå [c; d].
3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 25

Äîêàçàòåëüñòâî. Ïî òåîðåìå 3.7 ôóíêöèè In (y) (n ∈ N) (ñì. (3.19))

íåïðåðûâíû íà îòðåçêå [c; d]. Òàê êàê ôóíêöèÿ f (x, y) íåîòðèöàòåëüíà,
òî ïîñëåäîâàòåëüíîñòü ôóíêöèé In (y) (n ∈ N) ìîíîòîííî íå óáûâàåò.
Íî òîãäà, ïîñêîëüêó ïðåäåëüíàÿ ôóíêöèÿ I(y) ýòîé ïîñëåäîâàòåëüíî-
ñòè òîæå íåïðåðûâíà, ê íåé ìîæíî ïðèìåíèòü òåîðåìó Äèíè äëÿ ïîñëå-
äîâàòåëüíîñòåé , ñîãëàñíî êîòîðîé ïîñëåäîâàòåëüíîñòü In (y) ñõîäèòñÿ ê
ôóíêöèè I(y) ðàâíîìåðíî íà îòðåçêå [c; d]. Ïîñëåäíåå îçíà÷àåò, ÷òî äëÿ
ëþáîãî ε > 0 íàéä¼òñÿ íîìåð n0 òàêîé, ÷òî ïðè n > n0 äëÿ âñåõ y ∈ [c; d]
ñïðàâåäëèâî íåðàâåíñòâî I(y) − In (y) < ε.
Ïîëîæèì A0 = n0 + 1 è âîçüì¼ì A > A0 . Òîãäà, ó÷èòûâàÿ íåîòðèöà-
òåëüíîñòü ôóíêöèè f (x, y), äëÿ âñåõ y ∈ Y ïîëó÷àåì:
Z+∞ Z+∞ Z+∞ ZA0
f (x, y)dx ≤ f (x, y)dx = f (x, y)dx − f (x, y)dx =
A A0 a a

= I(y) − In0 +1 (y) < ε

è ðàâíîìåðíàÿ ñõîäèìîñòü èíòåãðàëà äîêàçàíà.

Òåîðåìà 3.18 Åñëè ôóíêöèÿ f (x, y) îïðåäåëåíà è íåïðåðûâíà íà Π∞ ,

à èíòåãðàë (3.13) ñõîäèòñÿ ðàâíîìåðíî íà îòðåçêå [c; d], òî ôóíêöèÿ
I(y), îïðåäåëÿåìàÿ ýòèì èíòåãðàëîì, èíòåãðèðóåìà íà [c; d] è ñïðàâåä-
ëèâî ðàâåíñòâî
Zd Zd Z+∞ Z+∞ Zd
I(y)dy = dy f (x, y)dx = dx f (x, y)dy. (3.20)
c c a a c

Äîêàçàòåëüñòâî. Ñíîâà ðàññìîòðèì ïîñëåäîâàòåëüíîñòü In (y). Ïî ëåì-

ìå 3.1 îíà ñõîäèòñÿ ðàâíîìåðíî íà îòðåçêå [c; d] ê ôóíêöèè I(y), à ïî
òåîðåìå 3.8 ôóíêöèè ïîñëåäîâàòåëüíîñòè èíòåãðèðóåìû íà îòðåçêå [c; d].
Òîãäà ïî òåîðåìå îá èíòåãðèðóåìîñòè ïðåäåëüíîé ôóíêöèè ðàâíîìåðíî
ñõîäÿùåéñÿ ïîñëåäîâàòåëüíîñòè ôóíêöèÿ I(y) èíòåãðèðóåìà íà îòðåçêå
[c; d] è
Zd Zd Zd Z
a+n

I(y)dy = lim In (y)dy = lim dy f (x, y)dx =

n→+∞ n→+∞
c c c a
26 Îãëàâëåíèå

Z
a+n Zd Z+∞ Zd
= lim dx f (x, y)dy = dx f (x, y)dy.
n→+∞
a c a c

Âîçìîæíîñòü èçìåíåíèÿ ïîðÿäêà èíòåãðèðîâàíèÿ ñëåäóåò èç òîé æå òå-

îðåìû 3.8.

Òåîðåìà 3.19 Åñëè ôóíêöèÿ f (x, y) íåïðåðûâíà íà ìíîæåñòâå Π∞ è

èìååò íà í¼ì íåïðåðûâíóþ ÷àñòíóþ ïðîèçâîäíóþ fy0 (x, y), èíòåãðàë
(3.13) ñõîäèòñÿ, à èíòåãðàë
Z+∞
∂f (x, y)
dx (3.21)
∂y
a

ñõîäèòñÿ ðàâíîìåðíî íà [c; d], òî ôóíêöèÿ I(y) äèôôåðåíöèðóåìà íà

îòðåçêå [c; d] è ñïðàâåäëèâî ðàâåíñòâî
Z+∞ Z+∞
0 d ∂f (x, y)
I (y) = f (x, y)dx = dx. (3.22)
dy ∂y
a a

Äîêàçàòåëüñòâî. Ðàññìîòðèì ïîñëåäîâàòåëüíîñòü ôóíêöèé In (y). Ïî

óñëîâèþ òåîðåìû ýòà ïîñëåäîâàòåëüíîñòü ñõîäèòñÿ íà îòðåçêå [c; d] (ïî-
ñêîëüêó ñõîäèòñÿ èíòåãðàë (3.13)). Ïî òåîðåìå 3.9 ôóíêöèè In (y) (n ∈ N)
äèôôåðåíöèðóåìû íà îòðåçêå [c; d], à ïî ëåììå 3.1 ïîñëåäîâàòåëüíîñòü
ïðîèçâîäíûõ In0 (y) ñõîäèòñÿ íà ýòîì îòðåçêå ðàâíîìåðíî. Íî òîãäà ïî
òåîðåìå î äèôôåðåíöèðóåìîñòè ïðåäåëüíîé ôóíêöèè ðàâíîìåðíî ñõîäÿ-
ùåéñÿ ïîñëåäîâàòåëüíîñòè ôóíêöèÿ I(y) äèôôåðåíöèðóåìà íà îòðåçêå
[c; d] è
Z
a+n Z+∞
∂f (x, y) ∂f (x, y)
I 0 (y) = lim In0 (y) = lim dx = dx.
n→∞ n→∞ ∂y ∂y
a a

 íåêîòîðûõ ñëó÷àÿõ áûâàåò íåîáõîäèìî èçìåíèòü ïîðÿäîê èíòåãðè-

ðîâàíèÿ, êîãäà è ïåðåìåííàÿ x è ïàðàìåòð y èçìåíÿþòñÿ íà áåñêîíå÷íûõ
ïðîìåæóòêàõ. Ïóñòü

K = [a; +∞) × [c; +∞) = {(x, y) : a ≤ x < +∞, c ≤ y < +∞}.

3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 27

Òåîðåìà 3.20 Ïóñòü ôóíêöèÿ f (x, y) íåïðåðûâíà è íåîòðèöàòåëüíà

íà K . Èíòåãðàëû
Z+∞ Z+∞
I(y) = f (x, y)dx, J(x) = f (x, y)dy (3.23)
a a

îáà ñõîäÿòñÿ è ÿâëÿþòñÿ íåïðåðûâíûìè ôóíêöèÿìè ñîîòâåòñòâåííî

íà [c; +∞) è [a; +∞). Òîãäà ðàâåíñòâî
Z+∞ Z+∞ Z+∞ Z+∞
dy f (x, y)dx = dx f (x, y)dy (3.24)
c a a c

ñïðàâåäëèâî ïðè óñëîâèè ñóùåñòâîâàíèÿ îäíîãî èç ïîâòîðíûõ èíòåãðà-

ëîâ.

Äîêàçàòåëüñòâî. Äîïóñòèì, ÷òî ñóùåñòâóåò ëåâûé èç èíòåãðàëîâ â ðà-

âåíñòâå (3.24). Ïîêàæåì, ÷òî â òàêîì ñëó÷àå ñóùåñòâóåò è ïðàâûé èíòå-
ãðàë, è ÷òî îíè ðàâíû. Äëÿ ýòîãî äîñòàòî÷íî óñòàíîâèòü, ÷òî äëÿ ëþáîãî
ε > 0 íàéä¼òñÿ A0 òàêîå, ÷òî äëÿ ëþáîãî A > A0 áóäåò âûïîëíÿòüñÿ íåðà-
âåíñòâî
Z+∞ Z+∞ ZA Z+∞
dy f (x, y)dx − dx f (x, y)dy < ε. (3.25)
c a a c

Ïðåîáðàçóåì ëåâóþ ÷àñòü (3.25). Òàê êàê äëÿ èíòåãðàëà

Z+∞
J(x) = f (x, y)dy
c

âûïîëíåíû óñëîâèÿ òåîðåìû Äèíè (òåîðåìà 3.17), òî îí ðàâíîìåðíî ñõî-

äèòñÿ íà ëþáîì ñåãìåíòå [a; A], ñëåäîâàòåëüíî, ïî òåîðåìå 3.18
ZA Z+∞ Z+∞ ZA
dx f (x, y)dy = dy f (x, y)dx.
a c c a

Ïîýòîìó
Z+∞ Z+∞ ZA Z+∞
dy f (x, y)dx − dx f (x, y)dy =
c a a c

Z+∞ Z+∞ Z+∞ ZA Z+∞ Z+∞

= dy f (x, y)dx − dy f (x, y)dx = dy f (x, y)dx =
c a c a c A
28 Îãëàâëåíèå

ZC Z+∞ Z+∞ Z+∞

= dy f (x, y)dx + dy f (x, y)dx,
c A C A

ãäå ÷èñëî C ïîêà íå îïðåäåëåíî.

Âûáåðåì ε > 0 è îöåíèì îáà ïîñëåäíèõ èíòåãðàëà. Òàê êàê
Z+∞ Z+∞
dy f (x, y)dx
c a

ñõîäèòñÿ, íàéä¼òñÿ C0 òàêîå, ÷òî äëÿ ëþáîãî C > C0 áóäåò èìåòü ìåñòî
íåðàâåíñòâî
Z+∞ Z+∞
ε
dy f (x, y)dx < .
2
C a

Íî òîãäà, ââèäó íåîòðèöàòåëüíîñòè ôóíêöèè f (x, y), êàêîâî áû íè áûëî

A ≥ a, è
Z+∞ Z+∞ Z+∞ Z+∞
ε
dy f (x, y)dx ≤ dy f (x, y)dx < . (3.26)
2
C A C a

Âûáåðåì è çàôèêñèðóåì C > C0 è îöåíèì ïåðâûé èíòåãðàë. Ïî òå-

Z+∞
îðåìå Äèíè I(y) = f (x, y)dx ñõîäèòñÿ ðàâíîìåðíî íà îòðåçêå [c; C],
a
ïîýòîìó ñóùåñòâóåò A0 òàêîå, ÷òî åñëè A > A0 , òî äëÿ ëþáîãî y ∈ [c; C]

Z+∞
ε
f (x, y)dx < .
2(C − c)
A

Ïîýòîìó
ZC Z+∞
ε ε
dy f (x, y)dx < · (C − c) = . (3.27)
2(C − c) 2
c A

Èòàê, åñëè A > A0 , òî, èñïîëüçóÿ (3.26), (3.27), ïîëó÷àåì:

Z+∞ Z+∞ ZA Z+∞

dy f (x, y)dx − dx f (x, y)dy =
c a a c

ZC Z+∞ Z+∞ Z+∞

ε ε
= dy f (x, y)dx + dy f (x, y)dx < + = ε.
2 2
c A C A

Îöåíêà (3.25) ïîëó÷åíà, ñëåäîâàòåëüíî, òåîðåìà äîêàçàíà.

3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 29

3.5 Íåñîáñòâåííûå êðàòíûå èíòåãðàëû

Z
n
Ïóñòü D  îáëàñòü â R , ôóíêöèÿ f : D → R, èíòåãðàë f (x)dv
D
íå ñóùåñòâóåò èç-çà òîãî, ÷òî ëèáî îáëàñòü D íå îãðàíè÷åíà, ëèáî ôóíê-
öèÿ f íå îãðàíè÷åíà â îáëàñòè D, ëèáî è òî, è äðóãîå, íî íà êàæäîì
çàìêíóòîì êóáèðóåìîì ïîäìíîæåñòâå G ⊂ D ôóíêöèÿ f èíòåãðèðóåìà
ïî Ðèìàíó.

Îïðåäåëåíèå 3.9 Ïðè âûïîëíåíèè âñåõ ïåðå÷èñëåííûõ âûøå óñëîâèé

Z
f (x)dv (3.28)
D

áóäåì íàçûâàòü íåñîáñòâåííûì êðàòíûì èíòåãðàëîì.

Îïðåäåëåíèå 3.10 Ïîñëåäîâàòåëüíîñòü îáëàñòåé (Dm ) (m ∈ N) íàçî-

â¼ì èñ÷åðïûâàþùåé (îáëàñòü D), åñëè:
1) äëÿ êàæäîãî m ∈ N Dm  êóáèðóåìà;
2) äëÿ êàæäîãî m ∈ N Dm ⊂ D (Dm  çàìûêàíèå Dm );
3) äëÿ êàæäîãî m ∈ N Dm ⊂ Dm+1 ;
S
∞
4) Dm = D .
m=1

Îïðåäåëåíèå 3.11 Íåñîáñòâåííûé êðàòíûé èíòåãðàë (3.28) áóäåì íà-

çûâàòü ñõîäÿùèìñÿ, åñëè ïðè ëþáîì âûáîðå èñ÷åðïûâàþùåé
Z ïîñëåäîâà-
òåëüíîñòè îáëàñòåé Dm (m ∈ N) ñóùåñòâóåò lim f (x)dv , ïðèíè-
m→∞
Dm
ìàþùèé îäíî è òî æå çíà÷åíèå I .

 ýòîì ñëó÷àå áóäåì ãîâîðèòü è ïèñàòü

Z
f (x)dv = I. (3.29)
D

 ïðîòèâíîì ñëó÷àå áóäåì ãîâîðèòü, ÷òî èíòåãðàë ðàñõîäèòñÿ, è íå áóäåì

ïðèïèñûâàòü åìó íèêàêîãî çíà÷åíèÿ.
Ïîíÿòèå óñëîâíîé ñõîäèìîñòè äëÿ êðàòíîãî íåñîáñòâåííîãî èíòåãðà-
ëà òåðÿåò ñìûñë, èáî ñïðàâåäëèâî ñëåäóþùåå óòâåðæäåíèå.
30 Îãëàâëåíèå
Z Z
Òåîðåìà 3.21 Åñëè ñõîäèòñÿ f (x)dv , òî ñõîäèòñÿ è |f (x)|dv .
D D
Äîêàçàòåëüñòâî ýòîãî óòâåðæäåíèÿ ìîæíî íàéòè â [5], [1], [10] è äðó-
ãèõ ó÷åáíèêàõ.
À ïîñêîëüêó ïîëó÷àåòñÿ, ÷òî âñÿêèé èíòåãðàë ñõîäèòñÿ àáñîëþòíî, òî
äîñòàòî÷íî ñôîðìóëèðîâàòü óñëîâèÿ ñõîäèìîñòè èíòåãðàëîâ îò íåîòðè-
öàòåëüíûõ ôóíêöèé. Íî ïðåæäå äîêàæåì âñïîìîãàòåëüíîå óòâåðæäåíèå.

Ëåììà 3.2 Ïóñòü (Dm ) è (Dl0 )  äâå ëþáûå èñ÷åðïûâàþùèå îáëàñòü

D ïîñëåäîâàòåëüíîñòè. Òîãäà äëÿ ëþáîãî m ∈ N íàéä¼òñÿ l ∈ N òàêîå,
÷òî Dm ⊂ Dl0 .

Äîêàçàòåëüñòâî. Ïðåäïîëîæèì, ÷òî ýòî íå òàê. Òîãäà íåêîòîðàÿ îá-

ëàñòü Dm0 íå ñîäåðæèòñÿ íè â îäíîé èç îáëàñòåé Dl0 , à ýòî îçíà÷àåò, ÷òî
äëÿ ëþáîãî l ∈ N íàéä¼òñÿ xl ∈ Dm0 òàêîå, ÷òî xl ∈
/ Dl0 . Òàêèì îáðà-
çîì, èç îáëàñòè Dm0 âûäåëåíà ïîñëåäîâàòåëüíîñòü òî÷åê (xl ). Òàê êàê
îáëàñòü Dm0 êóáèðóåìà, òî å¼ çàìûêàíèå Dm0  îãðàíè÷åííîå è çàìêíó-
òîå, òî-åñòü, êîìïàêòíîå ìíîæåñòâî. Íî òîãäà èç ëþáîé ñîäåðæàùåéñÿ
â í¼ì ïîñëåäîâàòåëüíîñòè ìîæíî âûäåëèòü ñõîäÿùóþñÿ ïîäïîñëåäîâà-
òåëüíîñòü. Èòàê, ïîñëåäîâàòåëüíîñòü (xl ) ñîäåðæèò ïîäïîñëåäîâàòåëü-
íîñòü (xlk ), ñõîäÿùóþñÿ ê x0 ∈ Dm0 . Òàê êàê Dm0 ⊂ D, òî x0 ∈ D, à òàê
êàê Dl0  èñ÷åðïûâàþùàÿ ïîñëåäîâàòåëüíîñòü, òî íàéä¼òñÿ Dl00 3 x0 . Dl00
 îáëàñòü, ïîýòîìó òî÷êà x0 ñîäåðæèòñÿ â íåé âìåñòå ñ îêðåñòíîñòüþ, à
ýòî îçíà÷àåò, ÷òî âñå òî÷êè xlk ñ äîñòàòî÷íî áîëüøèìè íîìåðàìè òîæå
ïðèíàäëåæàò Dl00 è âñåì Dl0 ñ íîìåðàìè, áîëüøèìè, ÷åì l0 . Ïîëó÷àåòñÿ,
÷òî åñëè íîìåð lk íàñòîëüêî âåëèê, ÷òî xlk ∈ Dl00 è lk > l0 , òî xlk ∈ Dl0k ,
íî ýòî ïðîòèâîðå÷èò âûáîðó òî÷åê xl .

Òåîðåìà 3.22 Íåñîáñòâåííûé êðàòíûé èíòåãðàë îò íåîòðèöàòåëü-

íîé ôóíêöèè ñõîäèòñÿ òîãäà è òîëüêî òîãäà, êîãäà õîòÿ áû ïî îäíîé
èñ÷åðïûâàþùåé ïîñëåäîâàòåëüíîñòè îáëàñòåé Dm ïîñëåäîâàòåëüíîñòü
èíòåãðàëîâ Z
f (x)dv (3.30)
Dm
3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 31

îãðàíè÷åíà.

Äîêàçàòåëüñòâî. Íåîáõîäèìîñòü ýòîãî óòâåðæäåíèÿ î÷åâèäíà. Äîêà-

æåì äîñòàòî÷íîñòü. Ïóñòü Dm  òàêàÿ èñ÷åðïûâàþùàÿ Z ïîñëåäîâàòåëü-
íîñòü îáëàñòåé, ÷òî ïîñëåäîâàòåëüíîñòü èíòåãðàëîâ f (x)dv îãðàíè÷å-
Dm
íà, òî-åñòü, ñóùåñòâóåò ïîñòîÿííàÿ M òàêàÿ, ÷òî
Z
f (x)dv ≤ M ∀m ∈ N.
Dm
Z
Òàê êàê ïîñëåäîâàòåëüíîñòü f (x)dv ê òîìó æå ìîíîòîííî íå óáûâàåò,
Dm
òî ê íåé ìîæíî ïðèìåíèòü òåîðåìó Âåéåðøòðàññà î ïðåäåëå ìîíîòîííîé
ïîñëåäîâàòåëüíîñòè , ïî êîòîðîé ñóùåñòâóåò
Z
lim f (x)dv = I,
m→∞
Dm

è ïðè ýòîì Z
f (x)dv ≤ I ∀m ∈ N. (3.31)
Dm

Ïóñòü Dl0  äðóãàÿ èñ÷åðïûâàþùàÿ ïîñëåäîâàòåëüíîñòü. Òîãäà ïî

ëåììå 3.2 ∀l ∈ N ∃m ∈ N òàêîå, ÷òî Dl0 ⊂ Dm . À òîãäà äëÿ ëþáîãî
l∈N Z Z
f (x)dv ≤ f (x)dv ≤ I,
Dl0 Dm
Z
ñëåäîâàòåëüíî, ïîñëåäîâàòåëüíîñòü èíòåãðàëîâ f (x)dv îãðàíè÷åíà è
Dl0
ïî äîêàçàííîìó âûøå ÿâëÿåòñÿ ñõîäÿùåéñÿ, òî-åñòü, ñóùåñòâóåò ÷èñëî I 0
(î÷åâèäíî, I 0 ≤ I ) òàêîå, ÷òî
Z
lim f (x)dv = I 0 .
l→∞
Dl0

Îñòàëîñü äîêàçàòü, ÷òî I 0 = I . Èñ÷åðïûâàþùèå ïîñëåäîâàòåëüíîñòè

(Dm ) è (Dl0 ) ðàâíîïðàâíû, ïîýòîìó, ïîìåíÿâ èõ ìåñòàìè è ïîâòîðèâ ïðè-
âåä¼ííûå âûøå ðàññóæäåíèÿ, ïîëó÷èì, ÷òî I ≤ I 0 , òî-åñòü, I 0 = I .
32 Îãëàâëåíèå

Òåîðåìà 3.23 (ïðèçíàê ñðàâíåíèÿ) Ïóñòü ôóíêöèè f è g óäîâëåò-

âîðÿþò óñëîâèÿì, îïèñàííûì ïðè îïðåäåëåíèè êðàòíîãî íåñîáñòâåííîãî
èíòåãðàëà, íåîòðèöàòåëüíû,
Z è f (x) ≤ g(x)
Z âñþäó â îáëàñòè D. Òîãäà,
åñëè ñõîäèòñÿ g(x)dv , òî ñõîäèòñÿ è f (x)dv .
D D

Äîêàçàòåëüñòâî.
Z Ïóñòü Dm  èñ÷åðïûâàþùàÿ ïîñëåäîâàòåëüíîñòü îá-
ëàñòåé. Òàê êàê g(x)dv ñõîäèòñÿ, òî ïîñëåäîâàòåëüíîñòü èíòåãðàëîâ
R D
g(x)dv , m ∈ N, îãðàíè÷åíà. Òîãäà, â ñèëó òîãî, ÷òî
Dm

Z Z
f (x)dv ≤ g(x)dv,
Dm Dm

Z
ïîñëåäîâàòåëüíîñòü èíòåãðàëîâ f (x)dv , m ∈ N, òîæå îãðàíè÷åíà, ïî-
RDm
ýòîìó ïî ïðåäûäóùåé òåîðåìå f (x)dv ñõîäèòñÿ.
D
 îäíîìåðíîì ñëó÷àå ïðè ïðèìåíåíèè ïðèçíàêà ñðàâíåíèÿ îáû÷íî èñ-
ïîëüçóþò ýòàëîííûå ôóíêöèè, ñðåäè êîòîðûõ íàèáîëåå óïîòðåáèòåëüíîé
ÿâëÿåòñÿ ôóíêöèÿ 1/xp .  ìíîãîìåðíîì ñëó÷àå àíàëîãîì ýòîé ôóíêöèè
p
ÿâëÿåòñÿ ôóíêöèÿ 1/rp , ãäå r = x21 + x22 + . . . + x2n . Âûÿñíèì, ïðè êà-
êèõ óñëîâèÿõ íà p èíòåãðàë îò ýòîé ôóíêöèè ñõîäèòñÿ, îãðàíè÷èâøèñü
ñëó÷àåì n = 2.
ZZ p
dxdy
Ïðèìåð 3.14 Ðàññìîòðèì p
, ãäå r = x2 + y 2 , à îáëàñòü D =
r
D
= {(x, y) : 0 < x2 + y 2 < 1}  îòêðûòûé åäèíè÷íûé êðóã ñ âûêîëîòûì
öåíòðîì.

Ðåøåíèå. Âîçüì¼ì â êà÷åñòâå èñ÷åðïûâàþùåé ïîñëåäîâàòåëüíîñòè îá-

ëàñòåé ïîñëåäîâàòåëüíîñòü êîëåö Dm = {(x, y) : 1/m2 < x2 + y 2 < 1} è
ïåðåéä¼ì ê ïîëÿðíîé ñèñòåìå êîîðäèíàò. Òîãäà

ZZ Z2π Z1 Z1
dxdy rdr dr
= dϕ = 2π .
rp rp rp−1
Dm 0 1/m 1/m
3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 33

Êàê èçâåñòíî, ïðåäåë ïîñëåäíåãî èíòåãðàëà

ZZ ïðè m → ∞ ñóùåñòâóåò,
dxdy
åñëè p − 1 < 1 èëè p < 2. Ñëåäîâàòåëüíî, ïðè p < 2 ñõîäèòñÿ, à
rp
D
ïðè p ≥ 2 ðàñõîäèòñÿ.
ZZ
dxdy
Ïðèìåð 3.15 Ðàññìîòðèì ýòîò æå èíòåãðàë , íî òåïåðü â
rp
D
êà÷åñòâå îáëàñòè D âûáåðåì âíåøíîñòü çàìêíóòîãî êðóãà ñ öåíòðîì
â òî÷êå O ðàäèóñà 1, D = {(x, y) : x2 + y 2 > 1}.

Ðåøåíèå.  êà÷åñòâå èñ÷åðïûâàþùåé îáëàñòü D ïîñëåäîâàòåëüíîñòè

âûáåðåì ïîñëåäîâàòåëüíîñòü êîëåö Dm = {(x, y) : 1 < x2 + y 2 < m2 }.
Òîãäà

ZZ ZZ Z2π Zm Zm
dxdy dxdy rdr dr
= lim = lim dϕ = 2π lim .
rp m→∞ rp m→∞ rp m→∞ rp−1
Dm Dm 0 1 1

Êàê èçâåñòíî, ïîñëåäíèé èíòåãðàë ñõîäèòñÿ ïðè p − 1 > 1 èëè p > 2

è ðàñõîäèòñÿ ïðè p ≤ 2.
Ïðåäëàãàåì ÷èòàòåëÿì ñàìîñòîÿòåëüíî óáåäèòüñÿ â òîì, ÷òî åñëè ðàç-
ìåðíîñòü ïðîñòðàíñòâà n = 3, òî èíòåãðàëû, àíàëîãè÷íûå ðàññìîòðåí-
íûì â ïðèìåðàõ 3.14, 3.15 ñõîäÿòñÿ ñîîòâåòñòâåííî ïðè p < 3 è p > 3. Â
îáùåì ñëó÷àå ðàññìîòðåííûå èíòåãðàëû ñõîäÿòñÿ ïðè p < n ïåðâûé) è
ïðè p > n (âòîðîé). Îáîñíîâàíèå ïîñëåäíåãî óòâåðæäåíèÿ ìîæíî íàéòè
â [1](÷.2).

3.6 Âû÷èñëåíèå íåêîòîðûõ íåñîáñòâåííûõ èíòåãðà-

ëîâ
Èíòåãðàë Ýéëåðà-Ïóàññîíà
Z+∞
2
Èíòåãðàëîì Ýéëåðà-Ïóàññîíà íàçûâàþò èíòåãðàë e−ax dx (a > 0).
0
Ïîêàæåì, ÷òî
Z+∞ r
2 1 π
e−ax dx = . (3.32)
2 a
0
34 Îãëàâëåíèå

ZZ
2 −y 2
Ðàññìîòðèì e−x dxdy . Ýòî  íåñîáñòâåííûé äâîéíîé èíòåãðàë.
R2
Âîçüì¼ì â êà÷åñòâå èñ÷åðïûâàþùåé ïîñëåäîâàòåëüíîñòè ïîñëåäîâàòåëü-
íîñòü êðóãîâ Km = {(x, y) : x2 + y 2 < m2 }. Òîãäà
ZZ ZZ Z2π Zm
−x2 −y 2 −x2 −y 2 2
e dxdy = lim e dxdy = lim dϕ e−r rdr =
m→∞ m→∞
R2 Km 0 0

Zm ³ ¯m ´ ³ ´
−r2 2 −r2 ¯ −m2
= π lim e d(r ) = π lim −e ¯ = π lim 1 − e = π.
m→∞ m→∞ 0 m→∞
0
À òåïåðü âîçüì¼ì â êà÷åñòâå èñ÷åðïûâàþùåé ïîñëåäîâàòåëüíîñòè ïî-
ñëåäîâàòåëüíîñòü êâàäðàòîâ Πm = {(x, y) : |x| < m, |y| < m}. Òîãäà
ZZ ZZ
−x2 −y 2 2 2
e dxdy = lim e−x −y dxdy =
m→∞
R2 Πm
 m 2 ∞ 2
Zm Zm Z Z
2 2 2 2
= lim e−x dx e−y dy = 4 lim  e−x dx = 4  e−x dx .
m→∞ m→∞
−m −m 0 0
Z∞
2 1√
Ñðàâíèâ ïîëó÷åííûå ðåçóëüòàòû, íàéä¼ì: e−x dx = π . Îòñþäà
2
√
0
ôîðìóëà (3.32) ïîëó÷àåòñÿ ïîäñòàíîâêîé x = at.

Èíòåãðàë Äèðèõëå
Z+∞
sin ax
Èíòåãðàëîì Äèðèõëå íàçûâàþò èíòåãðàë dx. Ïîêàæåì,÷òî
x
0

Z+∞
sin ax π
I(a) = dx = sgna. (3.33)
x 2
0

Î÷åâèäíî, ÷òî I(0) = 0. Ñòîëü æå î÷åâèäíî, ÷òî I(−a) = I(a). Ïî-

ýòîìó îñòà¼òñÿ âû÷èñëèòü èíòåãðàë Äèðèõëå ïðè a > 0. Åñëè ïîëîæèòü
Z+∞
sin t
ax = t, òî ïîëó÷èì, ÷òî I(a) = dt. Òàê ÷òî îñòà¼òñÿ ïîêàçàòü, ÷òî
t
0

Z+∞
sin x π
dx = . (3.34)
x 2
0
3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 35

Ðàññìîòðèì áîëåå îáùèé èíòåãðàë

Z+∞
sin x −ax
J(a) = e dx (a ≥ 0). (3.35)
x
0

Îí ðàâíîìåðíî ñõîäèòñÿ íà ìíîæåñòâå a ≥ 0 (ñì. ïðèìåð 3.13), ïîýòîìó

ôóíêöèÿ J(a) íåïðåðûâíà ïðè a ≥ 0, â ÷àñòíîñòè, ïðè a = 0.
Ïðîäèôôåðåíöèðóåì (ïîêà ôîðìàëüíî) èíòåãðàë (3.35).
Z+∞
J 0 (a) = − sin xe−ax dx. (3.36)
0

Èíòåãðàë (3.36) ëåãêî âû÷èñëÿåòñÿ äâóêðàòíûì èíòåãðèðîâàíèåì ïî

÷àñòÿì. Ïðîäåëàâ ýòî, ïîëó÷èì:

1
J 0 (a) = − .
1 + a2

Îòñþäà Z
1
J(a) = − da = − arctg a + C. (3.37)
1 + a2
×òîáû îïðåäåëèòü çíà÷åíèå C , ñîâåðøèì ïðåäåëüíûé ïåðåõîä ïðè
a → +∞, äëÿ ÷åãî îöåíèì èíòåãðàë (3.35).
¯ +∞ ¯
¯Z ¯ Z+∞¯ ¯ Z+∞
¯ sin x ¯ ¯ sin x ¯ 1
¯ e−ax dx¯¯ ≤ ¯ ¯ e−ax dx ≤ e−ax dx = ,
¯ x ¯ x ¯ a
¯ ¯
0 0 0

îòêóäà ñëåäóåò, ÷òî lim J(a) = 0. Âîñïîëüçóåìñÿ ýòèì â (3.37).

a→+∞

π
lim J(a) = C − = 0,
a→+∞ 2
π
îòñþäà C = 2
è

Z+∞
sin x −ax π
J(a) = e dx = − arctg a. (3.38)
x 2
0

Ïîëàãàÿ çäåñü a = 0, ïîëó÷èì(3.34), ÷òî è òðåáîâàëîñü.

Îñòàëîñü îáîñíîâàòü çàêîííîñòü äèôôåðåíöèðîâàíèÿ ïîä çíàêîì èí-
òåãðàëà, òî-åñòü, ïåðåõîä îò (3.35) ê (3.36). Íåïðåðûâíîñòü ïîäûíòå-
ãðàëüíûõ ôóíêöèé â (3.35) è (3.36) î÷åâèäíà, èíòåãðàë (3.35) ñõîäèòñÿ
36 Îãëàâëåíèå

(è äàæå ðàâíîìåðíî ïðè a ≥ 0). Îñòàëîñü ïîêàçàòü ðàâíîìåðíóþ ñõîäè-

ìîñòü èíòåãðàëà (3.36). Íî íà ìíîæåñòâå {a : a ≥ 0} ðàâíîìåðíîé ñõîäè-
Z+∞
ìîñòè áûòü íå ìîæåò, ïîòîìó ÷òî ïðè a = 0 èíòåãðàë J 0 (0) = sin xdx
0
ðàñõîäèòñÿ. Ïîýòîìó âîçüì¼ì ëþáîå a0 > 0 è ðàññìîòðèì ìíîæåñòâî
{a : a ≥ a0 }. Óñòàíîâèì ðàâíîìåðíóþ ñõîäèìîñòü èíòåãðàëà (3.36) íà
¯ ¯ Z+∞
¯ sin x −ax ¯
ýòîì ìíîæåñòâå. Òàê êàê ¯¯ e ¯¯ ≤ e 0 è
−a x
e−a0 x dx ñõîäèòñÿ, òî ïî
x
0
ïðèçíàêó Âåéåðøòðàññà èíòåãðàë (3.36) ñõîäèòñÿ ðàâíîìåðíî íà ìíîæå-
ñòâå {a : a ≥ a0 }, ïîýòîìó íà ýòîì ìíîæåñòâå äèôôåðåíöèðîâàíèå ïîä
çíàêîì èíòåãðàëà çàêîííî, à òàê êàê a0 > 0  ëþáîå, òî äèôôåðåíöè-
ðîâàíèå çàêîííî ïðè a > 0. Íî òàê êàê îáå ÷àñòè â (3.38) íåïðåðûâíû
ïðè a ≥ 0 (ëåâàÿ  â ñèëó ðàâíîìåðíîé ñõîäèìîñòè èíòåãðàëà (3.35) íà
ýòîì ìíîæåñòâå è íåïðåðûâíîñòè ïîäûíòåãðàëüíîé ôóíêöèè), òî (3.38)
ñïðàâåäëèâî è ïðè a = 0, ïîýòîìó ïîëàãàòü â (3.38) a = 0 áûëî âîçìîæíî.

Èíòåãðàëû Ëàïëàñà

Èíòåãðàëàìè Ëàïëàñà íàçûâàþò èíòåãðàëû

Z+∞ Z+∞
cos ax x sin ax
I(a) = dx, J(a) = dx.
x2 + b2 x2 + b 2
0 0

Ïîêàæåì, ÷òî
Z+∞
cos ax π −ab
I(a) = dx = e (a ≥ 0, b > 0); (3.39)
x2 + b 2 2b
0

Z+∞
x sin ax π
J(a) = 2 2
dx = e−ab (a > 0, b ≥ 0). (3.40)
x +b 2
0
Óáåäèìñÿ, ïðåæäå âñåãî, â ðàâíîìåðíîé ñõîäèìîñòè êàæäîãî èç èí-
òåãðàëîâ ïî ïàðàìåòðó a.
Èíòåãðàë (3.39) ñõîäèòñÿ ðàâíîìåðíî ïðè a ≥ 0, òàê êàê ïîäûíòå-
¯ ¯ Z+∞
¯ cos ax ¯ 1 1
ãðàëüíàÿ ôóíêöèÿ ¯¯ 2 2
¯≤
¯ 2 2
è dx ñõîäèòñÿ.
x +b x +b x + b2
2
0
3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 37

Èíòåãðàë (3.40) ñõîäèòñÿ ðàâíîìåðíî

¯ A ïðè ¯a ≥ a0 , ãäå a0 > 0  ëþáîå,
¯Z ¯
¯ ¯
ïî ïðèçíàêó Äèðèõëå, ïîñêîëüêó ¯¯ sin axdx¯¯ ≤ 2/a0 , à x/(x2 + b2 ) → 0
¯ ¯
0
ïðè x → +∞ ìîíîòîííî ïî x è ðàâíîìåðíî ïî a (îò a íå çàâèñèò!).
Ïðîäèôôåðåíöèðóåì (3.39). Òîãäà

Z+∞
0 x sin ax
I (a) = − dx = J(a). (3.41)
x2 + b2
0

Äèôôåðåíöèðîâàíèå çàêîííî ïðè a > 0, òàê êàê äîêàçàíà ðàâíîìåð-

íàÿ ñõîäèìîñòü èíòåãðàëà (3.40) ïðè a ≥ a0 , à a0 > 0  ëþáîå.
Ñëîæèì èíòåãðàëû (3.41) è (3.33),

Z+∞ Z+∞ Z+∞

π sin x x sin ax sin ax
I 0 (a) + = dx − dx = b2 dx,
2 x x2 + b 2 x(x2 + b2 )
0 0 0

è ñíîâà ïðîäèôôåðåíöèðóåì (äèôôåðåíöèðîâàíèå çàêîííî, ïîòîìó ÷òî

âûøå óñòàíîâëåíà ðàâíîìåðíàÿ ïðè a ≥ 0 ñõîäèìîñòü èíòåãðàëà (3.39)).
Òîãäà ïîëó÷èì:
Z+∞
cos ax
I 00 (a) = b2 dx = b2 I(a).
x2 + b2
0

Òàêèì îáðàçîì, èñêîìàÿ ôóíêöèÿ I(a) óäîâëåòâîðÿåò äèôôåðåíöè-

àëüíîìó óðàâíåíèþ I 00 (a) − b2 I(a) = 0. Ýòî  ëèíåéíîå îäíîðîäíîå óðàâ-
íåíèå ñ ïîñòîÿííûìè êîýôôèöèåíòàìè. Õàðàêòåðèñòè÷åñêîå óðàâíåíèå
k 2 − b2 = 0 èìååò êîðíè k = ±b, ïîýòîìó îáùåå ðåøåíèå èìååò âèä:

I(a) = C1 eab + C2 e−ab . (3.42)

Òàê êàê
¯ +∞ ¯
¯Z ¯ Z+∞¯ ¯ Z+∞
¯ cos ax ¯ ¯ cos ax ¯ dx π
|I(a)| = ¯¯ 2 2
dx¯¯ ≤ ¯
¯ 2 2
¯ dx ≤
¯ 2 2
= ,
¯ x +b ¯ x +b x +b 2b
0 0 0

òî ôóíêöèÿ I(a) îãðàíè÷åíà íà [0; +∞), ïîýòîìó â (3.42) C1 = 0, ñëåäî-

âàòåëüíî,
I(a) = C2 e−ab .
38 Îãëàâëåíèå

Ïîëîæèì a = 0. Ýòî ìîæíî ñäåëàòü, ïîòîìó ÷òî ôóíêöèÿ I(a) â

òî÷êå a = 0 íåïðåðûâíà, òàê êàê èíòåãðàë (3.39) ñõîäèòñÿ ðàâíîìåðíî
ïðè a ≥ 0. Òîãäà, ñ îäíîé ñòîðîíû, I(0) = C2 , à ñ äðóãîé
Z+∞
dx π
I(0) = = .
x2 +b 2 2b
0

π
Ñëåäîâàòåëüíî, C2 = 2b
è ðàâåíñòâî (3.39) óñòàíîâëåíî.
Íó à
π −ab
J(a) = −I 0 (a) = e .
2
Âîçìîæíîñòü äèôôåðåíöèðîâàíèÿ ïðè a > 0 áûëà óñòàíîâëåíà ðàíåå.

Èíòåãðàë Ôðóëëàíè

Ïóñòü ôóíêöèÿ f (x) îïðåäåëåíà è íåïðåðûâíà íà (0; +∞), ÷èñëà

a, b > 0. Èíòåãðàëîì Ôðóëëàíè íàçûâàþò èíòåãðàë
Z+∞
f (ax) − f (bx)
I(a, b) = dx. (3.43)
x
0

Ïî îïðåäåëåíèþ íåñîáñòâåííîãî èíòåãðàëà

ZA
f (ax) − f (bx)
I(a, b) = lim dx =
A→+∞, δ→0 x
δ
 
ZA ZA
 f (ax) f (bx) 
= lim dx − dx =
A→+∞, δ→0 x x
δ δ
 A 
Z ZA
= lim  f (ax) d(ax) − f (bx) d(bx) =
A→+∞, δ→0 ax bx
δ δ
 aA 
Z ZbA
= lim  f (t) dt − f (t) dt .
A→+∞, δ→0 t t
aδ bδ
Ïðèìåíÿÿ ñâîéñòâî àääèòèâíîñòè èíòåãðàëà ïî ìíîæåñòâó , ïîëó÷èì:
Zbδ ZbA
f (t) f (t)
I(a, b) = lim dt − lim dt. (3.44)
δ→0 t A→+∞ t
aδ aA
3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 39

Íàêëàäûâàÿ íà ôóíêöèþ f (x) äîïîëíèòåëüíûå óñëîâèÿ, âû÷èñëèì

êàæäûé èç ïðåäåëîâ â ïðàâîé ÷àñòè.
1)Ïóñòü ñóùåñòâóþò ïðåäåëû lim f (x) = f (0) è lim f (x) = f (+∞).
x→0 x→+∞
Ïðèìåíèì ê êàæäîìó èç èíòåãðàëîâ â ïðàâîé ÷àñòè (3.44) ïåðâóþ
îáîáùåííóþ òåîðåìó î ñðåäíåì . Ðàññìîòðèì ñíà÷àëà ïåðâûé èíòåãðàë.
Òàê êàê f (t) íåïðåðûâíà, à g(t) = 1/t íåîòðèöàòåëüíà, òî íàéä¼òñÿ òàêîå
τ ∈ [aδ; bδ] , ÷òî

Zbδ Zbδ ¯bδ

f (t) dt ¯ b
lim dt = lim f (τ ) = lim f (τ ) ln t ¯ = f (0) ln .
δ→0 t δ→0 t δ→0 aδ a
aδ aδ

Òî÷íî òàê æå, äëÿ âòîðîãî èíòåãðàëà íàéä¼òñÿ τ ∈ [aA; bA] òàêîå,
÷òî

ZbA ZbA ¯bA

f (t) dt ¯ b
lim dt = lim f (τ ) = lim f (τ ) ln t ¯ = f (+∞) ln .
A→+∞ t A→+∞ t A→+∞ aA a
aA aA

Ñëåäîâàòåëüíî, åñëè ôóíêöèÿ f (x) íåïðåðûâíà íà (0; +∞) è èìååò

êîíå÷íûå ïðåäåëû lim f (x) = f (0) è lim f (x) = f (+∞), òî
x→0 x→+∞

Z+∞
f (ax) − f (bx) b
dx = (f (0) − f (+∞)) ln .
x a
0

2)Ïóñòü ñóùåñòâóåò ïðåäåë lim f (x) = f (0) è ïðè íåêîòîðîì A1 > 0

x→0
Z+∞
f (x)
èíòåãðàë dx ñõîäèòñÿ.
x
A1
ZbA
f (t)
Ïîêàæåì, ÷òî lim dt = 0. Âîçüì¼ì ε > 0. Åñëè èíòåãðàë
A→+∞ t
aA
ñõîäèòñÿ, òî ïî êðèòåðèþ¯ Êîøè íàéä¼òñÿ ¯ A0 (> A1 ) òàêîå, ÷òî ïðè
¯ZA00 ¯
¯ f (t) ¯
A0 , A00 > A0 áóäåì èìåòü: ¯¯ dt¯¯ < ε. Òîãäà, åñëè âçÿòü A íàñòîëü-
¯ 0 t ¯
A
êî
¯ bAáîëüøèì, ¯ ÷òîáû âûïîëíÿëîñü aA, bA > A0 , òî áóäåò âûïîëíÿòüñÿ è
¯Z ¯
¯ f (t) ¯
¯ dt¯¯ < ε, è òðåáóåìîå óñòàíîâëåíî.
¯ t
¯ ¯
aA
40 Îãëàâëåíèå

Ñëåäîâàòåëüíî, åñëè ôóíêöèÿ f (x) íåïðåðûâíà íà (0; +∞), èìååò

êîíå÷íûé ïðåäåë lim f (x) = f (0) è ïðè íåêîòîðîì A1 > 0 èíòåãðàë
x→0
Z+∞
f (x)
dx ñõîäèòñÿ, òî
x
A

Z+∞
f (ax) − f (bx) b
dx = f (0) ln .
x a
0

3)Ïóñòü ñóùåñòâóåò ïðåäåë lim f (x) = f (+∞) è íàéä¼òñÿ A1 > 0

x→+∞
ZA1
f (x)
òàêîå, ÷òî èíòåãðàë dx ñõîäèòñÿ.
x
0
Òîãäà ñîâåðøåííî àíàëîãè÷íî ïðåäûäóùåìó äîêàçûâàåòñÿ,÷òî

Z+∞
f (ax) − f (bx) b
dx = −f (+∞) ln .
x a
0

3.7 Ýéëåðîâû èíòåãðàëû

Ãàììà-ôóíêöèÿ è å¼ ñâîéñòâà

Ãàììà-ôóíêöèåé Ýéëåðà èëè ýéëåðîâûì èíòåãðàëîì âòîðîãî ðîäà

íàçûâàþò èíòåãðàë
Z+∞
Γ(x) = tx−1 e−t dt. (3.45)
0

Èçó÷èì ñâîéñòâà ãàììà-ôóíêöèè.

1)Ôóíêöèÿ Γ(x) îïðåäåëåíà â îáëàñòè x > 0.
Èíòåãðàë (3.45)  ñìåøàííûé íåñîáñòâåííûé èíòåãðàë ñ îñîáûìè
òî÷êàìè t = 0 è t = +∞. ×òîáû èññëåäîâàòü èíòåãðàë íà ñõîäèìîñòü,
ðàçîáü¼ì åãî íà äâà èíòåãðàëà,

Z+∞ Z1 Z+∞
x−1 −t x−1 −t
t e dt = t e dt + tx−1 e−t dt,
0 0 1

è èññëåäóåì íà ñõîäèìîñòü êàæäûé èç èíòåãðàëîâ ñïðàâà.

3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 41

Äëÿ ïåðâîãî èíòåãðàëà, î÷åâèäíî, tx−1 /e ≤ tx−1 e−t ≤ tx−1 , ïîýòîìó

äëÿ åãî ñõîäèìîñòè íåîáõîäèìî è äîñòàòî÷íî, ÷òîáû âûïîëíÿëîñü óñëî-
âèå 1 − x < 1 èëè x > 0.
Äëÿ âòîðîãî èíòåãðàëà èìååì îöåíêó:

1 1
tx−1 e−t < tx−1 · = , t ≥ t0 (x),
tx+1 t2
(ôóíêöèÿ e−t ïðè t → +∞ óáûâàåò áûñòðåå ëþáîé ñòåïåíè 1/t), ïîýòîìó
îí ñõîäèòñÿ ïðè ëþáîì çíà÷åíèè x.
Èòàê, èíòåãðàë (3.45) ïðè x > 0 ñõîäèòñÿ, à ïðè x ≥ 0 ðàñõîäèòñÿ.
2)Ôóíêöèÿ Γ(x) íåïðåðûâíà â îáëàñòè x > 0.
Ïîêàæåì, ÷òî èíòåãðàë (3.45) ñõîäèòñÿ ðàâíîìåðíî íà îòðåçêå [x1 ; x2 ],
ãäå x1 , x2 (0 < x1 < x2 < +∞)  ïðîèçâîëüíûå ÷èñëà. Ýòî ñëåäóåò èç
òîãî, ÷òî ïðè x1 ≤ x ≤ x2 ñïðàâåäëèâà îöåíêà

tx−1 e−t ≤ [tx1 −1 e−t + tx2 −1 e−t ]

(ïîêàçàòåëüíàÿ ôóíêöèÿ tx−1 ìîíîòîííà, à ïîòîìó äîñòèãàåò íàèáîëüøå-

ãî çíà÷åíèÿ íà îäíîì èç êîíöîâ îòðåçêà), è èç ñõîäèìîñòè èíòåãðàëà
Z+∞
¡ ¢
tx1 −1 e−t + tx2 −1 e−t dt,
0

óñòàíîâëåííîé â ñâîéñòâå 1. Ïî òåîðåìå 3.16 ôóíêöèÿ Γ(x) íåïðåðûâíà

íà îòðåçêå [x1 ; x2 ], à òàê êàê äëÿ êàæäîãî x > 0 íàéäóòñÿ x1 , x2 > 0
òàêèå, ÷òî x1 < x < x2 , òî ôóíêöèÿ Γ(x) íåïðåðûâíà â îáëàñòèx > 0.
3)Ôóíêöèÿ Γ(x) áåñêîíå÷íî äèôôåðåíöèðóåìà â îáëàñòè x > 0.
Ïîêàæåì, ÷òî ôóíêöèÿ Γ(x) äèôôåðåíöèðóåìà â îáëàñòè x > 0. Äèô-
ôåðåíöèðóÿ, ïîêà ôîðìàëüíî, ïîä çíàêîì èíòåãðàëà, ïîëó÷èì:
Z+∞
0
Γ (x) = tx−1 ln te−t dt. (3.46)
0

×òîáû îïðàâäàòü äèôôåðåíöèðîâàíèå, íåîáõîäèìî ïðîâåðèòü âûïîëíå-

íèå óñëîâèé òåîðåìû 3.19. Íåïðåðûâíîñòü îáåèõ ïîäûíòåãðàëüíûõ ôóíê-
öèé î÷åâèäíà, ñõîäèìîñòü èíòåãðàëà (3.45) óñòàíîâëåíà â ñâîéñòâå 1.
42 Îãëàâëåíèå

îñòà¼òñÿ ïîêàçàòü ðàâíîìåðíóþ ñõîäèìîñòü èíòåãðàëà (3.46). Êàê è ïðè

äîêàçàòåëüñòâå ïðåäûäóùåãî ñâîéñòâà, âîçüì¼ì ëþáûå x1 , x2 : 0 < x1 <
x2 < +∞ è îöåíèì íà îòðåçêå [x1 ; x2 ] ïîäûíòåãðàëüíóþ ôóíêöèþ èíòå-
ãðàëà (3.46).

¯ x−1 ¯ £ ¤
¯t ln te−t ¯ ≤ tx1 −1 | ln t|e−t + tx2 −1 | ln t|e−t .

Òàê êàê | ln t| ïðè t → 0 âîçðàñòàåò ìåäëåííåå ëþáîé ïîëîæèòåëüíîé

ñòåïåíè 1/t, òî ïðè âñåõ äîñòàòî÷íî ìàëûõ t, áóäåò ñïðàâåäëèâî íåðàâåí-
ñòâî | ln t| < 1/tx1 /2 . Ïðè âñåõ t > 0 âûïîëíÿåòñÿ íåðàâåíñòâî | ln t| < t.
Ïîýòîìó, ïðîäîëæàÿ ïðåäûäóùóþ îöåíêó, èìååì:

¯ x−1 ¯ h x1 i
¯t ln te−t ¯ ≤ t 2 −1 e−t + tx2 e−t .

Òàê êàê èíòåãðàë îò ïðàâîé ÷àñòè ïîñëåäíåãî íåðàâåíñòâà ñõîäèò-

ñÿ, òî èíòåãðàë (3.46) ñõîäèòñÿ ðàâíîìåðíî íà îòðåçêå [x1 ; x2 ], ïîýòîìó
äèôôåðåíöèðîâàíèå íà ýòîì îòðåçêå çàêîííî, à ïîñêîëüêó x1 , x2 ïðîèç-
âîëüíû, òî äèôôåðåíöèðîâàíèå çàêîííî ïðè ëþáîì x > 0.
Ïî èíäóêöèè ñ ïîìîùüþ àíàëîãè÷íûõ ðàññóæäåíèé äîêàçûâàåòñÿ ñó-
ùåñòâîâàíèå ó ãàììà-ôóíêöèè ïðîèçâîäíûõ ëþáîãî ïîðÿäêà.
4)Äëÿ ëþáîãî x > 0 ñïðàâåäëèâà ôîðìóëà

Γ(x + 1) = xΓ(x), (3.47)

íàçûâàåìàÿ ôîðìóëîé ïðèâåäåíèÿ.

Ñïðàâåäëèâîñòü ðàâåíñòâà (3.47) ëåãêî óñòàíàâëèâàåòñÿ èíòåãðèðîâà-
íèåì ïî ÷àñòÿì. Ïóñòü x > 0. Òîãäà

Z+∞ ¯+∞ Z+∞

x −t x −t ¯
Γ(x + 1) = t e dt = −t e ¯ +x tx−1 e−t dt = xΓ(x).
0
0 0

Ñëåäñòâèå 3.1 Åñëè n ∈ N, 0 < p ≤ 1, òî

Γ(n + p) = (n − 1 + p)(n − 2 + p) . . . pΓ(p). (3.48)

3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 43

Ôîðìóëà (3.48) ëåãêî ïîëó÷àåòñÿ ìíîãîêðàòíûì ïðèìåíåíèåì ôîðìó-

ëû ïðèâåäåíèÿ è ïîçâîëÿåò ñâîäèòü âû÷èñëåíèå çíà÷åíèé ãàììà-ôóíê-
öèè îò ëþáîãî çíà÷åíèÿ àðãóìåíòà ê âû÷èñëåíèþ å¼ çíà÷åíèé îò àðãó-
ìåíòà, çàêëþ÷åííîãî ìåæäó íóëåì è åäèíèöåé.
5)Γ(1) = 1.
Äåéñòâèòåëüíî,
Z+∞ ¯+∞
−t −t ¯
Γ(1) = e dt = −e ¯ = 1.
0
0

Ñëåäñòâèå 3.2
Γ(n + 1) = n! (n ∈ N). (3.49)

Ôîðìóëà (3.49) ïîëó÷àåòñÿ èç ôîðìóëû (3.48) ïðè p = 1 è ïîêàçûâàåò,

÷òî ôóíêöèÿ Γ(x) ÿâëÿåòñÿ åñòåñòâåííûì ïðîäîëæåíèåì ôóíêöèè n! ñ
ìíîæåñòâà íàòóðàëüíûõ ÷èñåë íà ìíîæåñòâî ïîëîæèòåëüíûõ ÷èñåë.
√
6)Γ( 12 ) = π .
Äåéñòâèòåëüíî,

³1´ Z+∞ Z+∞ Z+∞

− 12 −t −1 −u2 2 1√ √
Γ = t e dt = u e 2udu = 2 e−u du = 2 · π = π.
2 2
0 0 0

( ïðîöåññå âû÷èñëåíèé áûëà ñäåëàíà ïîäñòàíîâêà t = u2 è èñïîëüçîâàí

èíòåãðàë Ýéëåðà-Ïóàññîíà (3.32).)
7)Ñïðàâåäëèâà ôîðìóëà
π
Γ(x)Γ(1 − x) = , 0 < x < 1, (3.50)
sin πx
íàçûâàåìàÿ ôîðìóëîé äîïîëíåíèÿ.
Ýòà ôîðìóëà áóäåò äîêàçàíà ïîçæå .
8)Ïðîäîëæåíèå ãàììà-ôóíêöèè â îáëàñòü îòðèöàòåëüíûõ ÷èñåë.
Ïåðåïèøåì ôîðìóëó ïðèâåäåíèÿ â âèäå
Γ(x + 1)
Γ(x) = . (3.51)
x
Ïóñòü x ∈ (−1; 0). Òîãäà x + 1 ∈ (0; 1) è ñ ïîìîùüþ ôîðìóëû (3.51)
ìîæíî çàäàòü ãàììà-ôóíêöèþ íà èíòåðâàëå (−1; 0). Òåïåðü ðàññìîòðèì
44 Îãëàâëåíèå

x ∈ (−2; −1). Òîãäà x + 1 ∈ (−1; 0) è, ïîñêîëüêó íà èíòåðâàëå (−1; 0)

ãàììà-ôóíêöèÿ óæå îïðåäåëåíà, ñ ïîìîùüþ ôîðìóëû (3.51) ìîæíî çà-
äàòü ãàììà-ôóíêöèþ íà èíòåðâàëå (−2; −1). Ïîâòîðÿÿ îïèñàííûé ïðî-
öåññ íåîãðàíè÷åííî, ìû îïðåäåëèì ãàììà-ôóíêöèþ íà ìíîæåñòâå îòðè-
öàòåëüíûõ ÷èñåë çà èñêëþ÷åíèåì òî÷åê 0, −1, −2, . . .

Ìîæíî îôîðìèòü ïðîöåññ ïðîäîëæåíèÿ ãàììà-ôóíêöèè â îáëàñòü îò-

ðèöàòåëüíûõ ÷èñåë íåñêîëüêî èíà÷å. Âîçüì¼ì x ∈ (−(n+1); −n), n ∈ Z+ .
Òîãäà x + n + 1 ∈ (0; 1). Ïî àíàëîãèè ñ ôîðìóëîé (3.48) íàïèøåì:

Γ(n + 1 + x) = (n + x)(n − 1 + x) . . . (1 + x)xΓ(x)

èëè

Γ(n + 1 + x)
Γ(x) = , (3.52)
(n + x)(n − 1 + x) . . . (1 + x)x

è áóäåì ñ÷èòàòü, ÷òî ôóíêöèÿ Γ(x) îïðåäåëåíà íà (−(n + 1); −n) ñ ïî-
ìîùüþ ôîðìóëû (3.52).

Ïîñêîëüêó îáà îïèñàííûõ ïðîöåññà ïðîäîëæåíèÿ ãàììà-ôóíêöèè îñíî-

âàíû íà èñïîëüçîâàíèè ôîðìóëû ïðèâåäåíèÿ, òî îíè äàþò îäèí è òîò æå
ðåçóëüòàò (ïðîâåðüòå!).

9)Ãðàôèê ôóíêöèè Γ(x).

Ðàññìîòðèì ñíà÷àëà x > 0. Î÷åâèäíî, ÷òî Γ(x) > 0. Òàêæå î÷åâèäíî,

÷òî è Γ00 (x) > 0, ïîýòîìó ôóíêöèÿ Γ(x)  âûïóêëàÿ, à å¼ ïðîèçâîäíàÿ
Γ0 (x)  ôóíêöèÿ âîçðàñòàþùàÿ è îáðàòèòüñÿ â íîëü ìîæåò òîëüêî îäèí
ðàç. Òàê êàê Γ(1) = Γ(2) = 1, òî ïî òåîðåìå Ðîëëÿ íàéä¼òñÿ x0 ∈ (1; 2)
òàêîå, ÷òî Γ0 (x0 ) = 0.  ýòîé òî÷êå ôóíêöèÿ Γ(x) èìååò ìèíèìóì. Ïîä-
ñ÷èòàíî (ñì. [3], ò.2, ï.531), ÷òî x0 = 1, 4616..., Γ(x0 ) = 0, 8856.... Òàê
êàê ïðè x > x0 ôóíêöèÿ Γ(x) ìîíîòîííî âîçðàñòàåò è Γ(n + 1) = n!,
òî ïðè x → +∞ òàêæå è Γ(x) → +∞. Èç ôîðìóëû (3.51) ñëåäóåò, ÷òî
åñëè x → +0, òî Γ(x) → +∞. Ýòèõ ñâåäåíèé äîñòàòî÷íî äëÿ ïîñòðîåíèÿ
ãðàôèêà Γ(x) ïðè x > 0. Ðèñ. 1
3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 45

Áåòà-ôóíêöèÿ è å¼ ñâîéñòâà

Áåòà-ôóíêöèåé èëè ýéëåðîâûì èíòåãðàëîì ïåðâîãî ðîäà íàçûâàþò

èíòåãðàë
Z1
B(x, y) = tx−1 (1 − t)y−1 dt. (3.53)
0

Èçó÷èì ñâîéñòâà ýòîãî èíòåãðàëà.

1)Ôóíêöèÿ B(x, y) îïðåäåëåíà â îáëàñòè x > 0, y > 0.
Èíòåãðàë (3.53)  íåñîáñòâåííûé èíòåãðàë âòîðîãî ðîäà ñ îñîáûìè
òî÷êàìè t = 0 è t = 1. ×òîáû èññëåäîâàòü åãî ñõîäèìîñòü, ðàçîáü¼ì
ïðîìåæóòîê èíòåãðèðîâàíèÿ íà äâå ÷àñòè.

Z1/2 Z1
B(x, y) = t (1 − t) dt + tx−1 (1 − t)y−1 dt.
x−1 y−1

0 1/2

Íà ïåðâîì ïðîìåæóòêå ôóíêöèÿ (1 − t)y−1 íåïðåðûâíà, ñëåäîâàòåëü-

íî, îãðàíè÷åíà, ïîýòîìó tx−1 (1 − t)y−1 ≤ M (y)tx−1 .
Íà âòîðîì ïðîìåæóòêå íåïðåðûâíà, à çíà÷èò îãðàíè÷åíà ôóíêöèÿ
tx−1 , ïîýòîìó tx−1 (1 − t)y−1 ≤ M1 (y)(1 − t)x−1 .
Ïðèìåíèâ ïðèçíàê Âåéåðøòðàññà, óáåæäàåìñÿ â ñõîäèìîñòè îáîèõ
èíòåãðàëîâ ïðè x > 0, y > 0 ñîîòâåòñòâåííî.
2)B(x, y) = B(y, x).
 ñïðàâåäëèâîñòè ýòîãî ñâîéñòâà íåòðóäíî óáåäèòüñÿ, ñäåëàâ â (3.53)
çàìåíó t = 1 − τ .
3)Ñïðàâåäëèâà ôîðìóëà

Z+∞
tx−1
B(x, y) = dt, (3.54)
(1 + t)x+y
0

íàçûâàåìàÿ âòîðûì èíòåãðàëüíûì ïðåäñòàâëåíèåì áåòà-ôóíêöèè.

×òîáû óáåäèòüñÿ â ýòîì, ñäåëàåì â èíòåãðàëå (3.53) ïîäñòàíîâêó t =
τ 1 dτ
1+τ
. Òîãäà 1 − t = 1+τ
, dt = (1+τ )2
, t = 0 ïåðåéäåò â τ = 0, t = 1 ïåðåéäåò
46 Îãëàâëåíèå

â τ = +∞, ïîýòîìó

Z1
B(x, y) = tx−1 (1 − t)y−1 dt =
0

Z+∞µ ¶x−1 µ ¶y−1 Z+∞

τ 1 dτ tx−1
= = dt.
1+τ 1+τ (1 + τ )2 (1 + t)x+y
0 0

4)Äëÿ ëþáûõ x > 0, y > 0 èìååò ìåñòî ðàâåíñòâî

x
B(x + 1, y) = B(x, y), (3.55)
x+y

íàçûâàåìîå ôîðìóëîé ïðèâåäåíèÿ äëÿ áåòà-ôóíêöèè.

Äëÿ äîêàçàòåëüñòâà ïðîèçâåä¼ì â (3.55) èíòåãðèðîâàíèå ïî ÷àñòÿì,
ïîëîæèâ u = tx , dv = (1 − t)y−1 dt. Òîãäà du = xtx−1 , v = − y1 (1 − t)y è

Z1
B(x + 1, y) = tx (1 − t)y−1 dt =
0

1 x ¯1 x Z1 x
Z1
¯
= − t (1 − t)y ¯ + tx−1 (1 − t)y dt = tx−1 (1 − t)y−1 (1 − t)dt =
y 0 y y
0 0

Z1 Z1
x x x x
= tx−1 (1 − t)y−1 dt − tx (1 − t)y−1 dt = B(x, y) − B(x + 1, y).
y y y y
0 0

Ïåðåíåñÿ âòîðîå ñëàãàåìîå ñïðàâà íàëåâî è ñëîæèâ, íàéä¼ì:

x+y x
B(x + 1, y) = B(x, y),
y y

îòêóäà ïîñëå äåëåíèÿ è ïîëó÷àåòñÿ ôîðìóëà ïðèâåäåíèÿ.

Òàê êàê ôóíêöèÿ B(x, y) ñèììåòðè÷íà îòíîñèòåëüíî ñâîèõ àðãóìåí-
òîâ, òî ñïðàâåäëèâî òàêæå è ðàâåíñòâî

y
B(x, y + 1) = B(x, y). (3.56)
x+y

Äåéñòâèòåëüíî,

y y
B(x, y + 1) = B(y + 1, x) = B(y, x) = B(x, y).
y+x x+y
3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 47

5)Ìåæäó ôóíêöèÿìè B(x, y) è Γ(x) ñóùåñòâóåò òåñíàÿ ñâÿçü, âû-

ðàæàåìàÿ ôîðìóëîé
Γ(x)Γ(y)
B(x, y) = . (3.57)
Γ(x + y)

 èíòåãðàëüíîì ïðåäñòàâëåíèè (3.45) ñîâåðøèì ïîäñòàíîâêó t = uτ ,

ãäå τ  íîâàÿ ïåðåìåííàÿ, à u > 0. Òîãäà

Z+∞ Z+∞
Γ(x) = (uτ )x−1 e−uτ udτ = ux τ x−1 e−uτ dτ.
0 0

Òàê êàê â ýòîì ðàâåíñòâå íèêàêèõ óñëîâèé êðîìå ïîëîæèòåëüíîñòè,

íåò, òî ìîæíî ïîäñòàâèòü â íåãî x+y âìåñòî x è 1+u âìåñòî u. Ïîëó÷èì:

Z+∞
x+y
Γ(x + y) = (1 + u) τ x+y−1 e−(1+u)τ dτ.
0

Ðàçäåëèì îáå ÷àñòè íà ìíîæèòåëü, ñòîÿùèé ïåðåä èíòåãðàëîì.

Z+∞
Γ(x + y)
= τ x+y−1 e−(1+u)τ dτ.
(1 + u)x+y
0

Óìíîæèì îáå ÷àñòè ïîñëåäíåãî ðàâåíñòâà íà ux−1 è çàòåì ïðîèíòå-

ãðèðóåì ïî u â ïðåäåëàõ îò 0 äî +∞.

Z+∞
ux−1
Γ(x + y) = ux−1 τ x+y−1 e−(1+u)τ dτ. (3.58)
(1 + u)x+y
0

Z+∞ Z+∞ Z+∞

ux−1 du
Γ(x + y) = ux−1 du τ x+y−1 e−(1+u)τ dτ. (3.59)
(1 + u)x+y
0 0 0

Èíòåãðàë â ëåâîé ÷àñòè ïîñëåäíåãî ðàâåíñòâà åñòü B(x, y) (ñì. (3.54)),

à â ïðàâîé ÷àñòè ïðîèçâåä¼ì ïåðåìåíó ïîðÿäêà èíòåãðèðîâàíèÿ. Òîãäà

Z+∞ Z+∞
Γ(x + y)B(x, y) = dτ ux−1 τ x+y−1 e−(1+u)τ du =
0 0
Z
+∞ Z
+∞

= dτ (τ u)x−1 τ y−1 e−τ e−τ u τ du. (3.60)

0 0
48 Îãëàâëåíèå

Âûíåñåì ìíîæèòåëü τ y−1 e−τ èç ïîä çíàêà âíóòðåííåãî èíòåãðàëà, ïî-

ñëå ÷åãî ñîâåðøèì â í¼ì ïîäñòàíîâêó τ u = v .
Z+∞ Z+∞
y−1 −τ
Γ(x + y)B(x, y) = τ e dτ (τ u)x−1 e−τ u d(τ u) =
0 0
Z+∞ Z+∞
y−1 −τ
= τ e dτ v x−1 e−v dv = Γ(y)Γ(x). (3.61)
0 0

Ïîñëå äåëåíèÿ íà Γ(x + y) èç (3.61) ïîëó÷àåòñÿ (3.57).

Îñòàëîñü îáîñíîâàòü çàêîííîñòü èçìåíåíèÿ ïîðÿäêà èíòåãðèðîâàíèÿ
ïðè ïåðåõîäå îò (3.59) ê (3.60). Äëÿ ýòîãî íåîáõîäèìî ïðîâåðèòü âûïîë-
íåíèå óñëîâèé òåîðåìû 3.20. Ñäåëàåì ýòî, ñ÷èòàÿ, ÷òî x > 1, y > 1.
1)Ïîäûíòåãðàëüíàÿ ôóíêöèÿ f (u, τ ) = ux−1 τ x+y−1 e−(1+u)τ (ñì. (3.60)),
î÷åâèäíî, íåïðåðûâíà ïðè èçìåíåíèè u è τ îò íóëÿ äî ïëþñ áåñêîíå÷íî-
ñòè.
2)Ïåðâûé âíóòðåííèé èíòåãðàë (ñì. (3.60), (3.59))
Z+∞
x−1 ux−1
I(u) = u τ x+y−1 e−(1+u)τ dτ = Γ(x + y)
(1 + u)x+y
0

ñóùåñòâóåò è ÿâëÿåòñÿ íåïðåðûâíîé ôóíêöèåé îò u íà [0; +∞).

3)Âòîðîé âíóòðåííèé èíòåãðàë (ñì. (3.61))
Z+∞ Z+∞
y−1 −τ
J(τ ) = τ e dτ (τ u)x−1 e−τ u d(τ u) = τ y−1 e−τ Γ(x)
0 0

ñóùåñòâóåò è ÿâëÿåòñÿ íåïðåðûâíîé ôóíêöèåé îò τ íà [0; +∞).

4)Âòîðîé ïîâòîðíûé èíòåãðàë (ñì. (3.61))
Z+∞ Z+∞
y−1 −τ
τ e dτ (τ u)x−1 e−τ u d(τ u) = Γ(y)Γ(x)
0 0

ñóùåñòâóåò.
Ñëåäîâàòåëüíî, ôîðìóëà (3.57) äîêàçàíà ïðè x > 1, y > 1.
Ïóñòü òåïåðü x > 0, y > 0. Òîãäà x + 1 > 1, y + 1 > 1 è ïî äîêàçàííîìó

Γ(x + 1)Γ(y + 1)
B(x + 1, y + 1) = .
Γ(x + y + 2)
3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 49

Âîñïîëüçóåìñÿ ôîðìóëàìè ïðèâåäåíèÿ (3.47), (3.48), (3.55), (3.56).

x x y
B(x + 1, y + 1) = B(x, y + 1) = B(x, y).
x+y+1 x+y+1x+y
Γ(x + 1)Γ(y + 1) xΓ(x)yΓ(y)
= .
Γ(x + y + 2) (x + y + 1)(x + y)Γ(x + y)
Òàê êàê ëåâûå ÷àñòè ýòèõ ôîðìóë ðàâíû, òî ðàâíû è ïðàâûå. Ïðè-
ðàâíèâàÿ èõ è ñîêðàùàÿ íà îáùèå ìíîæèòåëè, ïîëó÷èì (3.57).
6)Ôóíêöèÿ B(x, y) íåïðåðûâíà â îáëàñòè x > 0, y > 0.
7)Ôóíêöèÿ B(x, y) áåñêîíå÷íî äèôôåðåíöèðóåìà â îáëàñòè x > 0,
y > 0.
Ýòè ñâîéñòâà ÿâëÿþòñÿ ñëåäñòâèÿìè ôîðìóëû (3.57) è ñîîòâåòñòâóþ-
ùèõ ñâîéñòâ ãàììà-ôóíêöèè.
8)Äëÿ 0 < x < 1 ñïðàâåäëèâà ôîðìóëà äîïîëíåíèÿ

π
B(x, 1 − x) = .
sin πx

Äåéñòâèòåëüíî, èñïîëüçóÿ ôîðìóëû (3.50) è (3.57), èìååì:

Γ(x)Γ(1 − x) π
B(x, 1 − x) = = .
Γ(1) sin πx

Çàäà÷è.
Z+∞
1. Äîêàçàòü, ÷òî íåñîáñòâåííûé èíòåãðàë ïåðâîãî ðîäà f (x)dx ñõî-
a
Zan
P
∞
äèòñÿ òîãäà è òîëüêî òîãäà, êîãäà ñõîäèòñÿ ðÿä un , ãäå un = f (x)dx,
n=1
an−1
êàêîâà áû íè áûëà ïîñëåäîâàòåëüíîñòü (an ):

a = a0 < a1 < a2 < . . . < an < . . . , an → +∞.

Z+∞
2. Äîêàçàòü, ÷òî íåñîáñòâåííûé èíòåãðàë ïåðâîãî ðîäà f (x)dx, ãäå
a
f (x) ≥ 0 íà [a; +∞), ñõîäèòñÿ, åñëè íàéä¼òñÿ ïîñëåäîâàòåëüíîñòü (an ):

a = a0 < a1 < a2 < . . . < an < . . . , an → +∞,

50 Îãëàâëåíèå

Zan
P
∞
òàêàÿ, ÷òî ðÿä un , ãäå un = f (x)dx, ñõîäèòñÿ.
n=1
an−1
3. Ïðîâåðèòü íåïðåðûâíîñòü íà âåùåñòâåííîé îñè ôóíêöèé:
Z1 Z2
2 x2 dx
à) F (y) = sin(x y)dx; á) F (y) = .
1 + x2 + x4 y 2
0 −1
4. Ïóñòü f íåïðåðûâíà è íåîòðèöàòåëüíà íà [0; 1], ïðè÷¼ì f (x) íå ðàâ-
Z1
a
íà òîæäåñòâåííî íóëþ. Äîêàçàòü, ÷òî ôóíêöèÿ F (a) = f (x)dx
x + a2
2
0
òåðïèò ðàçðûâ â òî÷êå a = 0.
5. Ìîæíî ëè ñîâåðøèòü ïðåäåëüíûé ïåðåõîä ïîä çíàêîì èíòåãðàëà,
Z1
x − xy22
âû÷èñëÿÿ lim e dx?
y→0 y2
0
6. Äîêàçàòü âîçìîæíîñòü ïðåäåëüíîãî ïåðåõîäà ïîä çíàêîì èíòåãðàëà
Z3 µ ¶ Zπ/2
xy 1 x2
â âûðàæåíèÿõ: à) lim arctg dx; á) lim sin dx.
y→o x+y y→+∞ x y
−1 0
7. Âû÷èñëèòü:
Z1 Z2 Z2
dx ln(x + |α|) y −x2 y
à) lim n
; á) lim 2 2
dx; â) lim e dx;
n→∞ 1 + (1 + x/n) n→∞ ln(x + α ) y→+∞ x+y
0 1 1
Z1 Z3 µ ¶
sin(xy) xy
ã) lim dx; ä) lim arctg dx.
y→0 (x + y)y + 1 y→0 x+y
0 −1
8. Ìîæíî ëè èçìåíèòü ïîðÿäîê èíòåãðèðîâàíèÿ â èíòåãðàëàõ:
Zπ/4 Z1 Z1 Z1
tg(xy) x−y
à) dy p dx; á) dy dx?
2 2
x +y +1 (x + y)3
−π/4 0 0 0
Z1
9. Ìîæíî ëè âû÷èñëèòü ïðîèçâîäíóþ ôóíêöèè F (a) = ln(x2 +a2 )dx
0
ïðè a = 0, äèôôåðåíöèðóÿ ïî ïàðàìåòðó ïîä çíàêîì èíòåãðàëà?
10. Èññëåäîâàòü âîçìîæíîñòü äèôôåðåíöèðîâàíèÿ ïî ïàðàìåòðó ïîä
Z1
1 dx
çíàêîì èíòåãðàëà â èíòåãðàëå F (y) = cos 2 · 2 .
x x + |x| + 2
−1
11. Íàéòè F 0 (y), åñëè:
Z3 Z3
cos(x3 y) dx
à) F (y) = dx; á) F (y) = ch(x2 y 4 ) · .
x x
1 2
12. Íàéòè F 0 (y), åñëè:
3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 51

Z2y Zy2
sin(xy) 2
à) F (y) = dx; á) F (y) = ex y dx;
x
y 3y
Zyey Z
sin y

â) F (y) = ln(1 + x2 y 2 )dx; ã) F (y) = sh(x2 y)dx.

ye−y cos y
Za
1
13. Ïóñòü f ∈ C(R). Äîêàçàòü, ÷òî F (y) = f (x + y)dx: à) íåïðå-
2a
−a
ðûâíà íà R; á) äèôôåðåíöèðóåìà íà R.
14. Ïóñòü f ∈ C(Π), Π = [a; b] × [c; d], à g ∈ R[a; b]. Òîãäà ôóíêöèÿ
Zb
F (y) = f (x, y)g(x)dx íåïðåðûâíà íà [c; d].
a
15. Ïóñòü f ∈ C(Π), Π = [a; b] × [c; d], à g ∈ R[a; b]. Òîãäà ôóíêöèÿ
Zb
F (y) = f (x, y)g(x)dx èíòåãðèðóåìà íà [c; d] è ñïðàâåäëèâî ðàâåíñòâî
a
Zb Zb Zd
F (y)dy = g(x)dx f (x, y)dx.
a a c
∂f
16. Ïóñòü f, ∈ C(Π), Π = [a; b]×[c; d], à g ∈ R[a; b]. Òîãäà ôóíêöèÿ
∂y
Zb
F (y) = f (x, y)g(x)dx íåïðåðûâíî äèôôåðåíöèðóåìà íà [c; d].
a
17. Âû÷èñëèòü:
Zπ Zπ/2
à) I(a) = ln(1 − 2a cos x + a2 )dx; á)I(a) = ln(a2 cos2 x + sin2 x)dx.
0 0
18. Èññëåäîâàòü íà ðàâíîìåðíóþ ñõîäèìîñòü íà óêàçàííûõ ìíîæå-
ñòâàõ ñëåäóþùèå èíòåãðàëû:
Z+∞ Z+∞ p 2
sin(xy) ln (x + 1)
à) √ dx (0 ≤ y < +∞); á) √ dx (0, 1 ≤ p ≤ 10);
x x x x−1
0 1
Z+∞ Z1/2
dx dx
â) (1 < α0 ≤ α < +∞); ã) (1 < α0 ≤ α < +∞);
x lnα x x |ln x|α
2 0
Z+∞ Z+∞
α −2x xdx
ã) x e dx (1 ≤ α ≤ 3); ä) (−∞ < α ≤ α0 < 0);
1 + (x − α)4
1 0
Z1
xα arctg(αx)
å) √ dx (−2 < α < +∞);
1 − x2
0
52 Îãëàâëåíèå

Z+∞ Z+∞ µ ¶
x2 − α 2 ln(1 + xα ) 1
æ) dx (α ∈ R); ç) p √ dx −∞ < α < .
(x2 + α2 )2 x+ x 2
1 0
19. Äîêàçàòü ðàâíîìåðíóþ ñõîäèìîñòü íà óêàçàííûõ ìíîæåñòâàõ ñëå-
äóþùèõ èíòåãðàëîâ:
Z+∞
ln x
à) √ cos(αx)dx (< α0 ≤ α < +∞);
x
2
Z+∞
α
á) sin(2x) sin dx (0 ≤ α ≤ 1);
x
0
Z+∞
ln2 x
â) sin(3x)dx (1 < α0 ≤ α < +∞);
(x − 1)2
2
Z+∞
sin(αx5 )
ã) dx (0 < α0 ≤ α < +∞);
x
0
Z+∞ Z+∞
sin(x2 )
ä) cos(αx2 )dx (1 ≤ α < +∞); å) dx (0 ≤ α < +∞);
1 + xα
0 1
Z+∞ Z+∞
sin(α2 x) sin(ex )
æ) √ arctg(αx)dx (|α| ≥ 1); ç) dx (0 ≤ α < +∞).
3
x2 1 + xα
1 0
20. Èññëåäîâàòü íà ðàâíîìåðíóþ ñõîäèìîñòü íà óêàçàííûõ ìíîæå-
ñòâàõ ñëåäóþùèå èíòåãðàëû:
Z+∞ Z+∞
dx ln(ex − x)
à) (1 < α < +∞); á) dx (2 < α < +∞);
1 + xα xα
0 0
Z+∞
sin x y
â) · arctg(xy)dx (0 < y < +∞);
x y+1
1
Z+∞ Z+∞
dx arctgx
ã) (0 ≤ α < +∞); ä) dx (1 < y < +∞);
(x − a)α + 1 yxy
0 1
Z
+∞ Z1
x 1
å) cos(x2 + y)dx (y > 0); æ) y cos dx (|y| < +∞);
x+y x2
1 0
Z1 Z1
1 dx
ç) xy−1 ln(1 − x)dx (y > 0); è) sin · (0 < α < 2).
x xα
0 0
Z+∞
21. Ïóñòü f (x)dx ñõîäèòñÿ (a ≥ 0). Äîêàçàòü, ÷òî íà [0; +∞) ðàâ-
a
3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 53

Z+∞ Z+∞
−αx 2
íîìåðíî ñõîäÿòñÿ èíòåãðàëû: à) e f (x)dx; á) e−αx f (x)dx.
a a
Z+∞
22. Ïóñòü f (x)dx ñõîäèòñÿ àáñîëþòíî. Äîêàçàòü, ÷òî ïðè |y| < +∞
a
Z+∞
ðàâíîìåðíî è àáñîëþòíî ñõîäÿòñÿ èíòåãðàëû: à) f (x) sin(x2 + y 2 )dx;
a
Z+∞
á) f (x) arctg(xy)dx.
a
23. Ïóñòü f : [a; +∞) → R (a ≥ 0), èíòåãðèðóåìà íà [a; A] äëÿ ëþáîãî
Z+∞ Z+∞
A(> a) è f (x)dx ñõîäèòñÿ. Òîãäà f (xy)dx ñõîäèòñÿ ðàâíîìåðíî íà
a a
[y0 ; +∞) (y0 > 0). Äîêàçàòü.
Z1
dx
24. Èññëåäîâàòü ôóíêöèþ F (y) = íà íåïðåðûâ-
xπ/4 (x2 + y 2 + 1)
0
íîñòü.
25. Ïðîâåðèòü íåïðåðûâíîñòü íà óêàçàííûõ ìíîæåñòâàõ ñëåäóþùèõ
ôóíêöèé:
Z+∞ Z+∞
−(x−a)2 cos(ax)
à) F (a) = e dx (a ∈ R); á) F (a) = dx (a ∈ R);
1 + x2
−∞ 0
Z+∞
â) F (a) = sin(αx2 )dx (α ∈ (0; +∞));
0
Z1
sin(a/x)
ã) F (a) = dx (a ∈ (0; 1));
xa
0
Z+∞ 2
e−(x+a)
ä) F (a) = √ √ dx (a ∈ [1; 2]);
x+ a+1
0
Z1
ln(ax)
å) F (a) = √ dx (a ∈ [1; +∞));
x+a
0
Zπ Zπ
sin xdx dx
æ) F (a) = (a ∈ (0; 2)); ç) F (a) = (a ∈ [0; 1));
xa (π − x)a sina x
0 0
Z+∞ Z+∞
xdx e−x dx
è) F (a) = (a ∈ (2; +∞)); ê) F (a) = (a ∈ (0; 1)).
2 + xa |sin x|a
0 0
54 Îãëàâëåíèå

26. Ïóñòü f : [0; +∞) → R èíòåãðèðóåìà íà [0; A] äëÿ ëþáîãî A > 0.

Z+∞
Òîãäà ôóíêöèÿ F (y) = f (xy)dx íåïðåðûâíà íà (0; +∞).
y
27. Âû÷èñëèòü:
Z+∞ Z+∞ −t2 (x2 +1)
2 sin(2tx) e
à) lim e−x dx; á) lim dx.
t→+∞ x t→+∞ x2 + 1
0 0
Z+∞ Z+∞
dx a
28. Äîêàçàòü, ÷òî: à) lim n
= 1; á) lim e−x dx = 1;
n→+∞ x +1 a→+∞
0 0
Z+∞ Z+∞
cos x dx arctg(ax) π
â) lim √ · = 0; ã) lim √ dx = .
a→+∞ x 1 + a2 x2 a→+∞ x2 x2 − 1 2
1 1
Z+∞
29. Çàêîíåí ëè ïåðåõîä ê ïðåäåëó ïðè α → 0 â èíòåãðàëå αe−αx dx?
0
30. Äîêàçàòü, ÷òî åñëè f íåïðåðûâíà è îãðàíè÷åíà íà [0; +∞), òî
Z+∞
2 af (x)
lim dx = f (0).
a→+0 π x2 + a2
0
31. Äîïóñòèìà ëè ïåðåñòàíîâêà ïîðÿäêà èíòåãðèðîâàíèÿ â èíòåãðà-
Z+∞ Z+∞ 2 Z+∞ Z1
y − x2 y−x
ëàõ: à) dy dx ; á) dy dx?
(x2 + y 2 )2 (x + y)3
1 1 1 0
Z+∞
sin xdx
32. Äîêàçàòü, ÷òî ôóíêöèÿ F (a) = íåïðåðûâíà è äèô-
1 + (x − a)2
0
ôåðåíöèðóåìà íà R.
Zπ/2
arctg(a tg x)
33. Âû÷èñëèòü èíòåãðàëû: à) dx;
tg x
0
Z1 Z1 µ ¶
xa − xb 1 xa − xb
á) dx (a, b > 0); â) sin ln dx (a, b > 0);
ln x x ln x
0 0
Z1 µ ¶ Zπ/2
1 xa − xb ln(1 + a cos x)
ã) cos ln dx (a, b > 0); ä) dx (|a| ≤ 1).
x ln x cos x
0 0
Z+∞
arctg(ax)
34. Âû÷èñëèòü èíòåãðàë dx.
x(1 + x2 )
0
35. Èñïîëüçóÿ ðåçóëüòàò ïðèìåðà 34, ïîêàçàòü, ÷òî:
Zπ/2 Zπ/2
tg x π π
à) dx = ln 2; á) ln sin xdx = − ln 2.
x 2 2
0 0
3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 55

Z+∞ 2 2
e−ax − e−bx
36. Âû÷èñëèòü èíòåãðàëû: à) dx (a, b > 0);
x2
0
Z+∞ Z+∞
2 2
á) e−(ax +bx+c) dx (a > 0); â) e−ax ch(bx)dx (a > 0);
−∞ 0
Z+∞ Z+∞
2 sh(bx) 2
ã) e−ax dx (a > 0); ä) e−ax cos(bx)dx (a > 0);
x
0 0
Z+∞ Z+∞
−ax2 sin(bx)
¡ −α/x2 2¢
å) e dx (a > 0); æ) e − e−β/x dx (α, β > 0).
x
0 0
Z+∞
cos(ax) − cos(bx)
37. Âû÷èñëèòü èíòåãðàëû: à) dx;
x2
0
Z+∞ 2 2 Z+∞
cos (ax) − cos (bx) cos(ax) + cos(bx) − 2
á) dx; â) dx;
x x2
0 0
Z+∞ Z+∞
2 sin(ax) − sin(2ax) sin(ax) sin(bx)
ã) dx; ä) dx;
x3 x2
0 0
Z+∞ Z+∞
sin4 (ax) − sin4 (bx) sin4 (ax)
å) dx; æ) dx;
x x4
0 0
Z+∞ Z+∞ Z+∞
sin(x3 ) sin5 x x − sin x
ç) dx; è) dx; ê) dx;
x x x3
0 0 0
Z+∞ Z+∞
sin x − x cos x sin(ax) −bx
ë) dx; ì) e dx (b > 0);
x3 x
0 0
Z+∞ Z+∞ −ax
dx e − e−bx
í) e−ax sin2 (bx) (a > 0); î) cos xdx (a, b > 0);
x x
0 0
Z+∞
1 − cos(ax) −bx
ï) e dx (b > 0).
x
0
Z+∞
sin2 (ax)
38. Âû÷èñëèòü èíòåãðàëû: à) dx;
1 + x2
0
Z+∞ Z+∞
cos(px) sin2 (ax)
á) 2
dx (a > 0, ac − b2 > 0); â) dx.
ax + bx + c x2 (1 + x2 )
−∞ 0
Z+∞ Z+∞
q dx
39. Âû÷èñëèòü èíòåãðàëû: à) xp e−x dx; á) (ln x)p 2 ;
x
0 1
56 Îãëàâëåíèå

Z1 µ ¶5 Z+∞ Z2
3 1 −ex p dx
â) x ln dx; ã) e e xdx; ä) p ;
x 3 2
x (2 − x)
0 −∞ 0
Z2 Z1 Z+∞
dx xdx xp−1 dx
å) p ; æ) p ; ç) ;
4
(2 − x)(1 + x)3 (2 − x) 3 x2 (1 − x) 1 + xq
−1 0 0
Zπ Z1 µ ¶p µ ¶
sinp x 1 1
è) dx; ê) ln ln ln dx;
1 + cos x x x
0 0
Z+∞ Z+∞
ln xdx ln2 x
ë) ; ì) dx.
x2 + a2 1 + x4
0 0 ZZ
cos(xy)
40. Äîêàçàòü ñõîäèìîñòü èíòåãðàëà dxdy , ãäå
x+y
K
K = {(x, y) : 0 ≤ x ≤ 1; 0 ≤ y ≤ 1}. ZZ
dxdy
41. Èññëåäîâàòü íà ñõîäèìîñòü èíòåãðàë , ãäå:
|x|p + |y|p
E
à) E = {(x, y) : |x| + |y| ≥ 1}; á) E = {(x, y) :Z Z|x| + |y| ≤ 1} (p > 0).
dxdy
42. Èññëåäîâàòü íà ñõîäèìîñòü èíòåãðàë , ãäå:
|x|p + |y|q
E
à) E = {(x, y) : |x| + |y| ≥ 1}; á) Z
EZ= {(x, y) : |x| + |y| ≤ 1} (p, q > 0).
43. Óáåäèòüñÿ, ÷òî èíòåãðàë sin(x2 + y 2 )dxdy ðàñõîäèòñÿ, ïðîâå-
R2
ðèâ, ÷òî: ZZ
à) lim sin(x2 + y 2 )dxdy = π ;
n→+∞
|x|≤n
ZZ
á) lim sin(x2 + y 2 )dxdy = 0.
n→+∞
x2 +y 2 ≤2πn
ZZ
x2 − y 2
44. Ïîêàçàòü, ÷òî dxdy , ãäå K = {(x, y) : x ≥ 1, y ≥ 1},
(x2 + y 2 )2
K
Z+∞ Z+∞ 2
x − y2
ðàñõîäèòñÿ, â òî âðåìÿ êàê ïîâòîðíûå èíòåãðàëû dy dx,
(x2 + y 2 )2
1 1
Z+∞ Z+∞ 2
x − y2
dx dy îáà ñõîäÿòñÿ.
(x2 + y 2 )2
1 1
45.ZÂû÷èñëèòü
Z èíòåãðàëû:
dxdy
à) p , E = {(x, y) : x2 + y 2 < 1};
1 − x2 − y 2
ZEZ
dxdy
á) , E = {(x, y) : y ≥ x2 + 1};
x4 + y 2
E
3. Èíòåãðàëû, çàâèñÿùèå îò ïàðàìåòðà 57
ZZ ½ ¾
dxdy x2 y 2
â) q , E = (x, y) : x ≥ 0, y ≥ 0, 2 + 2 < 1 ;
2
1 − xa2 − yb2
2 a b
E
ZZZ
dxdydz
ã) , K = {(x, y, z); 0 ≤ x ≤ 1, 0 ≤ y ≤ 1, 0 ≤ z ≤ 1}.
xp y q z r
K
58 Îãëàâëåíèå

gamma_f.eps

Ðèñ. 1: Ãðàôèê Ãàììà-ôóíêöèè

Ëèòåðàòóðà

[1] Â.À. Èëüèí, Ý.Ã. Ïîçíÿê, Îñíîâû ìàòåìàòè÷åñêîãî àíàëèçà. ×àñòè

I,II, Ì.:Íàóêà, 1971, 1973.

[2] Â.À. Èëüèí, Â.À. Ñàäîâíè÷èé, Áë.Õ. Ñåíäîâ, Ìàòåìàòè÷åñêèé àíà-

ëèç, Ì.:Íàóêà, 1979.

[3] Ã.Ì. Ôèõòåíãîëüö, Êóðñ äèôôåðåíöèàëüíîãî è èíòåãðàëüíîãî èñ÷èñ-

ëåíèÿ. Òîìà I,II,III, Ì.:Íàóêà, 1969, 1962, 1969.

[4] Ã.Ì. Ôèõòåíãîëüö, Îñíîâû ìàòåìàòè÷åñêîãî àíàëèçà. Òîìà I,II,

Ì.:Íàóêà, 1968.

[5] Á.Ì.Áóäàê, Ñ.Â.Ôîìèí, Êðàòíûå èíòåãðàëû è ðÿäû, Ì.:Íàóêà,

1967.

[6] Ì.Ã.Õàïëàíîâ, Òåîðèÿ ôóíêöèé êîìïëåêñíîãî ïåðåìåííîãî, Ì.: Ïðî-

ñâåùåíèå, 1965.

[7] À.Ã.Ñâåøíèêîâ, À.Í.Òèõîíîâ, Òåîðèÿ ôóíêöèé êîìïëåêñíîé ïåðå-

ìåííîé, Ì.:Íàóêà, 1974.

[8] À.Í. Êîëìîãîðîâ, Ñ.Â.Ôîìèí, Ýëåìåíòû òåîðèè ôóíêöèé è ôóíê-

öèîíàëüíîãî àíàëèçà, Ì.:Íàóêà, 1968.

[9] Â.È.Ñîáîëåâ, Ëåêöèè ïî äîïîëíèòåëüíûì ãëàâàì ìàòåìàòè÷åñêî-

ãî àíàëèçà, Ì.:Íàóêà, 1968.

[10] Â.À. Çîðè÷, Ìàòåìàòè÷åñêèé àíàëèç. ×àñòè I,II, Ì.:Íàóêà, 1981,

1984.

59
60 Ëèòåðàòóðà

[11] Ó. Ðóäèí, Îñíîâû ìàòåìàòè÷åñêîãî àíàëèçà, Ì.:Ìèð, 1966.

[12] È.È. Ëÿøêî, À.Ê. Áîÿð÷óê, ß.Ã. Ãàé, À.Ô. Êàëàéäà, Ìàòåìàòè÷å-
ñêèé àíàëèç. ×àñòè I,II, Êèåâ:Âèùà øêîëà, 1983, 1985.

[13] Ã.Å. Øèëîâ, Ìàòåìàòè÷åñêèé àíàëèç. Ôóíêöèè îäíîãî ïåðåìåííî-

ãî. ×àñòè 1-2, Ì.:Íàóêà, 1969.

[14] È.Ï. Íàòàíñîí, Òåîðèÿ ôóíêöèé âåùåñòâåííîé ïåðåìåííîé.

Ì.:Íàóêà, 1974.

[15] Ä.À. Ðàéêîâ, Îäíîìåðíûé ìàòåìàòè÷åñêèé àíàëèç. Ì.:Âûñøàÿ

øêîëà, 1982.

[16] Á.Ï. Äåìèäîâè÷, Ñáîðíèê çàäà÷ è óïðàæíåíèé ïî ìàòåìàòè÷åñêî-

ìó àíàëèçó (äëÿ óíèâåðñèòåòîâ è ïåäàãîãè÷åñêèõ èíñòèòóòîâ),
Ì.:Íàóêà, 1961.

[17] È.È.Ëÿøêî, À.Ê.Áîÿð÷óê, ß.Ã.Ãàé, Ã.Ï.Ãîëîâà÷, Ñïðàâî÷íîå ïîñîáèå

ïî ìàòåìàòè÷åñêîìó àíàëèçó, Êèåâ:Âèùà øêîëà, 1984, 1986.

[18] Ë.È. Âîëêîâûñêèé, Ã.Ë. Ëóíö, È.Ã. Àðàìàíîâè÷, Ñáîðíèê çàäà÷ ïî

òåîðèè ôóíêöèé êîìïëåêñíîãî ïåðåìåííîãî, Ì.:Íàóêà, 1970.

[19] Ì.Ë. Êðàñíîâ, À.È. Êèñåë¼â, Ã.È. Ìàêàðåíêî, Çàäà÷è è óïðàæíåíèÿ.

Ôóíêöèè êîìïëåêñíîãî ïåðåìåííîãî. ... Ì.:Íàóêà, 1971.
Ïðåäìåòíûé óêàçàòåëü
àáñîëþòíàÿ ñõîäèìîñòü íåñîáñòâåí-
íîãî èíòåãðàëà, 5
áåòà-ôóíêöèÿ Ýéëåðà, 45
äèôôåðåíöèðóåìîñòü ñîáñòâåííî-
ãî èíòåãðàëà, çàâèñÿùåãî
îò ïàðàìåòðà, 13, 16
äèôôåðåíöèðóåìîñòü íåñîáñòâåí-
íîãî èíòåãðàëà, çàâèñÿùå-
ãî îò ïàðàìåòðà, 26
ôîðìóëà äîïîëíåíèÿ äëÿ áåòà-ôóíêöèè,
49
ôîðìóëà äîïîëíåíèÿ äëÿ ãàììà-
ôóíêöèè, 43
ôîðìóëà ïðèâåäåíèÿ äëÿ áåòà-ôóíêöèè,
46
ôîðìóëà ïðèâåäåíèÿ äëÿ ãàììà-
ôóíêöèè, 42
ãàììà-ôóíêöèÿ Ýéëåðà, 40
èíòåãðàë Äèðèõëå, 34
èíòåãðàë Ýéëåðà-Ïóàññîíà, 34
èíòåãðàë Ôðóëëàíè, 38
èíòåãðàë â ñìûñëå ãëàâíîãî çíà-
÷åíèÿ, 10
èíòåãðàëû Ëàïëàñà, 36
èíòåãðèðóåìîñòü íåñîáñòâåííîãî
61
èíòåãðàëà, çàâèñÿùåãî îò
ïàðàìåòðà, 25
èíòåãðèðóåìîñòü ñîáñòâåííîãî èí-
òåãðàëà, çàâèñÿùåãî îò ïà-
ðàìåòðà, 13
èñ÷åðïûâàþùàÿ ïîñëåäîâàòåëüíîñòü,
29
êðèòåðèé Êîøè ðàâíîìåðíîé ñõî-
äèìîñòè íåñîáñòâåííîãî èí-
òåãðàëà, çàâèñÿùåãî îò ïà-
ðàìåòðà, 20
êðèòåðèé Êîøè ñõîäèìîñòè íåñîá-
ñòâåííîãî èíòåãðàëà ïåð-
âîãî ðîäà, 4
êðèòåðèé Êîøè ñõîäèìîñòè íåñîá-
ñòâåííîãî èíòåãðàëà âòî-
ðîãî ðîäà, 10
êðèòåðèé ñõîäèìîñòè êðàòíîãî íåñîá-
ñòâåííîãî èíòåãðàëà îò íåîòðè-
öàòåëüíîé ôóíêöèè, 31
íåïðåðûâíîñòü íåñîáñòâåííîãî èí-
òåãðàëà, çàâèñÿùåãî îò ïà-
ðàìåòðà, 24
íåïðåðûâíîñòü ñîáñòâåííîãî èí-
òåãðàëà, çàâèñÿùåãî îò ïà-
62 Ïðåäìåòíûé óêàçàòåëü

ðàìåòðà, 12, 15 ñõîäèìîñòü êðàòíîãî íåñîáñòâåí-

íåñîáñòâåííûé èíòåãðàë ïåðâîãî íîãî èíòåãðàëà, 29
ðîäà, 3 ñõîäèìîñòü íåñîáñòâåííîãî èíòå-
íåñîáñòâåííûé èíòåãðàë âòîðîãî ãðàëà âòîðîãî ðîäà, 9
ðîäà, 9 ñõîäÿùèéñÿ íåñîáñòâåííûé èíòå-
íåñîáñòâåííûé èíòåãðàë, çàâèñÿ- ãðàë ïåðâîãî ðîäà, 3
ùèé îò ïàðàìåòðà, 19 ñîáñòâåííûé èíòåãðàë, çàâèñÿùèé
íåñîáñòâåííûé êðàòíûé èíòåãðàë, îò ïàðàìåòðà, 12
29 ñâÿçü ìåæäó ýéëåðîâûìè èíòåãðà-
ïðèçíàê Àáåëÿ ðàâíîìåðíîé ñõî- ëàìè, 47
äèìîñòè íåñîáñòâåííîãî èí- óñëîâíàÿ ñõîäèìîñòü íåñîáñòâåí-
òåãðàëà, 7 íîãî èíòåãðàëà, 5
ïðèçíàê Àáåëÿ ðàâíîìåðíîé ñõî-
äèìîñòè íåñîáñòâåííîãî èí-
òåãðàëà, çàâèñÿùåãî îò ïà-
ðàìåòðà, 23
ïðèçíàê Äèíè ðàâíîìåðíîé ñõî-
äèìîñòè íåñîáñòâåííîãî èí-
òåãðàëà, çàâèñÿùåãî îò ïà-
ðàìåòðà, 25
ïðèçíàê Äèðèõëå ñõîäèìîñòè íåñîá-
ñòâåííîãî èíòåãðàëà, 7
ïðèçíàê Âåéåðøòðàññà ñõîäèìî-
ñòè íåñîáñòâåííîãî èíòå-
ãðàëà, 6
ïðèçíàê ñðàâíåíèÿ äëÿ êðàòíûõ
íåñîáñòâåííûõ èíòåãðàëîâ,
32
ðàâíîìåðíàÿ ñõîäèìîñòü íåñîáñòâåí-
íîãî èíòåãðàëà, çàâèñÿùå-
ãî îò ïàðàìåòðà, 20