Ïðîñòðàíñòâî îáîáùåííûõ ôóíêöèé S 0(Rm)

Ñàìàðîâà Ñ.Ñ.

ÔÎÏÔ, 3 êóðñ, ÓÌÔ

Ó÷åáíîå ïîñîáèå äëÿ äèñòàíöèîííûõ çàíÿòèé

 äàííîì ïîñîáèè ìû íà÷èíàåì èçó÷åíèå ïðîñòðàíñòâà Øâàðöà îñíîâíûõ

ôóíêöèé S(Rm ) è ïðîñòðàíñòâà îáîáùåííûõ ôóíêöèé S 0 (Rm ).
Íà çàíÿòèè ìû ðàññìîòðèì îïåðàöèþ óìíîæåíèÿ îáîáùåííûõ ôóíêöèé
íà áåñêîíå÷íî äèôôåðåíöèðóåìûå ôóíêöèè ìåäëåííîãî ðîñòà è îïåðàöèþ
ïðåäåëüíîãî ïåðåõîäà â ïðîñòðàíñòâå S 0 (Rm ).

Ìóëüòèèíäåêñû

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

ìóëüòèèíäåêñû
α = (α1 , α2 , . . . , αm ) ,
ãäå αk = 0, 1, 2, . . . äëÿ âñåõ k = 1, 2, . . . , m.
Äëÿ ìóëüòèèíäåêñîâ ïðèíÿòû ñëåäóþùèå îáîçíà÷åíèÿ:

ˆ |α| = α1 + α2 + . . . + αm
ˆ α! = α1 ! · α2 ! · . . . · αm !
ˆ xα = xα1 1 · xα2 2 · . . . · xαmm , ãäå x = (x1 , x2 , . . . , xm ) ∈ Rm

∂ |α| f
ˆ α
∂ f=
∂x1α1 · ∂xα2 2 · . . . · ∂xαmm

1
 Ïðîñòðàíñòâî Øâàðöà îñíîâíûõ ôóíêöèé S(Rm )

Íàøåé îñíîâíîé öåëüþ ÿâëÿåòñÿ îïðåäåëåíèå îáîáùåííûõ ôóíêöèé, êî-

òîðîå êîðîòêî çâó÷èò òàê: ¾Îáîáùåííûå ôóíêöèè  ýòî ëèíåéíûå íåïðåðûâ-
íûå ôóíêöèîíàëû¿. Îáúÿñíèì, ÷òî ýòî çíà÷èò.
Êàê ìû óæå çíàåì, êàæäûé ôóíêöèîíàë îòîáðàæàåò íåêîòîðîå ìíîæå-
ñòâî (¾îáëàñòü îïðåäåëåíèÿ¿) â ïðîñòðàíñòâî C. Äëÿ òîãî, ÷òîáû îïðåäåëèòü
ñâîéñòâà ëèíåéíîñòè è íåïðåðûâíîñòè ôóíêöèîíàëà, íóæíî, ÷òîáû îáëàñòü
åãî îïðåäåëåíèÿ ÿâëÿëàñü ëèíåéíûì ïðîñòðàíñòâîì ñî ñõîäèìîñòüþ.
Îáëàñòü îïðåäåëåíèÿ îáîáùåííûõ ôóíêöèé íàçûâàþò ïðîñòðàíñòâîì îñ-
íîâíûõ ôóíêöèé.
 ïîñîáèè ìû áóäåì ðàññìàòðèâàòü îáîáùåííûå ôóíêöèè, îáëàñòüþ îïðå-
äåëåíèÿ êîòîðûõ ÿâëÿåòñÿ ïðîñòðàíñòâî Øâàðöà S(Rm ) îñíîâíûõ ôóíêöèé.

Îïðåäåëåíèå 1 Ïðîñòðàíñòâîì Øâàðöà S(Rm ) íàçûâàþò ìíîæåñòâî

áåñêîíå÷íî äèôôåðåíöèðóåìûõ ôóíêöèé

ϕ(x) : Rm → C ,

òàêèõ, ÷òî äëÿ ëþáîãî ÷èñëà p = 0, 1, 2, . . . è ëþáîãî ìóëüòèèíäåêñà α

âûïîëíåíî ñîîòíîøåíèå

|x|p ∂ α ϕ(x) → 0 ïðè x → ∞

Äðóãèìè ñëîâàìè, ëþáàÿ ÷àñòíàÿ ïðîèçâîäíàÿ îñíîâíîé ôóíêöèè óáûâàåò

1
ê 0 íà áåñêîíå÷íîñòè áûñòðåå, ÷åì ëþáàÿ ñòåïåíü .
|x|
Ïîñëåäîâàòåëüíîñòü îñíîâíûõ ôóíêöèé ϕn (x) ñõîäèòñÿ ê îñíîâíîé
ôóíêöèè ϕ(x) â ïðîñòðàíñòâå S(Rm ) , ò.å.
S(Rm )
ϕn (x) −−−−→ ϕ(x) ïðè n → ∞ ,

åñëè äëÿ ëþáîãî ÷èñëà p = 0, 1, 2, . . . è ëþáîãî ìóëüòèèíäåêñà α èìååò

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

|x|p ∂ α ϕn (x) ⇒ |x|p ∂ α ϕ(x) ïðè n → ∞

Rm

2
 Ïðîñòðàíñòâî îáîáùåííûõ ôóíêöèé S 0 (Rm )

Ðàññìîòðèì ôóíêöèîíàë
f : S(Rm ) → C
è áóäåì îáîçíà÷àòü
hf , ϕi
åãî äåéñòâèå íà îñíîâíóþ ôóíêöèþ ϕ èç ïðîñòðàíñòâà S(Rm ).
Îïðåäåëåíèå 2 Ïðîñòðàíñòâîì îáîáùåííûõ ôóíêöèé S 0 (Rm ) íàçûâàþò
ìíîæåñòâî ôóíêöèîíàëîâ
f : S(Rm ) → C,
îáëàäàþùèõ ñëåäóþùèìè ñâîéñòâàìè:
ˆ Äëÿ ëþáûõ îñíîâíûõ ôóíêöèé ϕ1 è ϕ2 èç ïðîñòðàíñòâà S(Rm ) è ëþ-
áûõ êîìïëåêñíûõ ÷èñåë α è β âûïîëíåíî ðàâåíñòâî
hf , α ϕ1 + β ϕ2 i = α hf , ϕ1 i + β hf , ϕ2 i (ëèíåéíîñòü ôóíêöèîíàëà)

ˆ Äëÿ ëþáîé ñõîäÿùåéñÿ ïîñëåäîâàòåëüíîñòè îñíîâíûõ ôóíêöèé

S(Rm )
ϕn (x) −−−−→ ϕ(x) ïðè n → ∞ ,
âûïîëíåíî ñîîòíîøåíèå
hf , ϕn i → hf , ϕi ïðè n → ∞ (íåïðåðûâíîñòü ôóíêöèîíàëà)

Ôóíêöèè ìåäëåííîãî ðîñòà

Îïðåäåëåíèå 3 Ôóíêöèþ
f : Rm → C,
íàçûâàþò ôóíêöèåé ìåäëåííîãî ðîñòà, åñëè îíà îáëàäàåò ñëåäóþùèìè
ñâîéñòâàìè:
ˆ f (x) èíòåãðèðóåìà íà ëþáîì øàðå èç Rm ;
ˆ ñóùåñòâóþò äåéñòâèòåëüíîå ÷èñëî C > 0 è öåëîå íåîòðèöàòåëüíîå
÷èñëî p , òàêèå, ÷òî äëÿ âñåõ x ∈ Rm âûïîëíåíà îöåíêà
|f (x)| 6 C(1 + |x|2p )

3
 Ðåãóëÿðíûå è ñèíãóëÿðíûå ôóíêöèîíàëû

Îïðåäåëåíèå 4 Ôóíêöèÿ f (x) çàäàåò ðåãóëÿðíûé ôóíêöèîíàë

Z
hf , ϕi = f (x)ϕ(x)dx ,
Rm

íà ïðîñòðàíñòâå S(Rm ), åñëè ýòîò ôóíêöèîíàë îïðåäåëåí äëÿ âñåõ îñíîâ-

íûõ ôóíêöèé ϕ ∈ S(Rm ) è ÿâëÿåòñÿ ëèíåéíûì è íåïðåðûâíûì.

Óòâåðæäåíèå. Êàæäàÿ ôóíêöèÿ ìåäëåííîãî ðîñòà çàäàåò ðåãóëÿðíûé

ôóíêöèîíàë íà ïðîñòðàíñòâå S(Rm ) .

Îáîáùåííûå ôóíêöèè èç ïðîñòðàíñòâà S 0 (Rm ) , íå ÿâëÿþùèåñÿ ðåãóëÿð-

íûìè ôóíêöèîíàëàìè, íàçûâàþò ñèíãóëÿðíûìè ôóíêöèîíàëàìè.
Ñàìûì èçâåñòíûì ïðèìåðîì ñèíãóëÿðíîãî ôóíêöèîíàëà ÿâëÿåòñÿ δ -
ôóíêöèÿ, êîòîðàÿ äåéñòâóåò íà îñíîâíûå ôóíêöèè ïî ôîðìóëå

hδ(x), ϕ(x)i = ϕ(0)

Íà ëåêöèÿõ áóäåò äîêàçàíî, ÷òî δ(x) íå ÿâëÿåòñÿ ðåãóëÿðíûì ôóíêöèî-

íàëîì. Ïîýòîìó çàïèñü Z
δ(x)ϕ(x)dx , (1)
Rm
êîòîðóþ ëþáÿò èñïîëüçîâàòü ôèçèêè è íàøè ñòóäåíòû, íå ÿâëÿåòñÿ ìàòåìà-
òè÷åñêè êîððåêòíîé. Ýòó çàïèñü ìîæíî ïîíèìàòü òîëüêî êàê ñèìâîëè÷åñêîå
îáîçíà÷åíèå äåéñòâèÿ δ -ôóíêöèè íà îñíîâíóþ ôóíêöèþ, à âîâñå íå êàê èíòå-
ãðàë, êîòîðûé íå ñóùåñòâóåò.
Âî èçáåæàíèå íåñ÷àñòíûõ ñëó÷àåâ ñ òÿæåëûìè ïîñëåäñòâèÿìè çàïèñü (1)
â êóðñå ÓÌÔ èñïîëüçîâàòü íå ðåêîìåíäóåòñÿ.

Óìíîæåíèå îáîáùåííûõ ôóíêöèé íà áåñêîíå÷íî

äèôôåðåíöèðóåìûå ôóíêöèè ìåäëåííîãî ðîñòà

Îïðåäåëåíèå 5 Ïóñòü f  ïðîèçâîëüíàÿ îáîáùåííàÿ ôóíêöèÿ èç S 0 (Rm ) ,

à h  ïðîèçâîëüíàÿ áåñêîíå÷íî äèôôåðåíöèðóåìàÿ ôóíêöèÿ ìåäëåííîãî ðî-
ñòà, ó êîòîðîé ëþáàÿ ÷àñòíàÿ ïðîèçâîäíàÿ òàêæå ÿâëÿåòñÿ ôóíêöèåé ìåä-
ëåííîãî ðîñòà.

4
 Ïðîèçâåäåíèåì hf íàçûâàþò îáîáùåííóþ ôóíêöèþ èç S 0 (Rm ) , äåé-
ñòâèå êîòîðîé íà îñíîâíûå ôóíêöèè ϕ ∈ S(Rm ) îïðåäåëÿåòñÿ ôîðìóëîé

hf , ϕ = f , h ϕ

Çàìå÷àíèå. Èç ñâîéñòâ ôóíêöèé ìåäëåííîãî ðîñòà è ñâîéñòâ îñíîâíûõ

ôóíêöèé ïðîñòðàíñòâà S(Rm ) ñëåäóåò, ÷òî ôóíêöèÿ h ϕ ÿâëÿåòñÿ îñíîâíîé
ôóíêöèåé, ò.å. îïðåäåëåíèå ïðîèçâåäåíèÿ hf ÿâëÿåòñÿ êîððåêòíûì.
1
Ôóíêöèÿ P
x
Åùå îäíèì âàæíûì ïðèìåðîì ñèíãóëÿðíîãî ôóíêöèîíàëà èç S 0 (R) ÿâ-
1
ëÿåòñÿ îáîáùåííàÿ ôóíêöèÿ P , äåéñòâèå êîòîðîé íà îñíîâíóþ ôóíêöèþ
x
ϕ ∈ S(R) îïðåäåëÿåòñÿ ôîðìóëîé

D 1 Z+∞
E ϕ(x)
P , ϕ(x) = v.p. dx (2)
x x
−∞

Èíòåãðàë â ïðàâîé ÷àñòè ôîðìóëû (2) áåðåòñÿ â ñìûñëå ãëàâíîãî çíà÷åíèÿ.

Çàäà÷à 1 (çàäàíèå, çàäà÷à 1.8) Äîêàçàòü, ÷òî

1
a) ôóíêöèîíàë P ïðèíàäëåæèò ïðîñòðàíñòâó S 0 (R);
x
á) ñïðàâåäëèâî ðàâåíñòâî
1
xP =1
x
Ðåøåíèå.
Äîêàæåì ñíà÷àëà ïóíêò a).
1
1. Êîððåêòíîñòü îïðåäåëåíèÿ ôóíêöèîíàëà P .
x
Äîêàæåì, ÷òî äëÿ ëþáîé ϕ ∈ S(R) èíòåãðàë
Z+∞
ϕ(x)
dx (3)
x
−∞

5
ñóùåñòâóåò â ñìûñëå ãëàâíîãî çíà÷åíèÿ. Äëÿ ýòîãî ïðåäñòàâèì èíòåãðàë
(3) â âèäå ñóììû òðåõ èíòåãðàëîâ

Z+∞ Z−1 Z1 Z+∞

ϕ(x) ϕ(x) ϕ(x) ϕ(x)
dx = dx + dx + dx
x x x x
−∞ −∞ −1 1

ˆ Òàê êàê ϕ ∈ S(R) , òî

(1 + x2 ) ϕ(x) → 0 ïðè x → ±∞

Ïîýòîìó ñóùåñòâóåò òàêàÿ êîíñòàíòà C > 0 , ÷òî

|(1 + x2 ) ϕ(x)| 6 C, ∀x ∈ (−∞, +∞).

Ñëåäîâàòåëüíî, äëÿ âñåõ |x| > 1 âûïîëíåíî íåðàâåíñòâî

ϕ(x) C
6 |ϕ(x)| 6
x 1 + x2
Ïîñêîëüêó
Z−1 Z+∞
C C
dx < ∞ è dx < ∞ ,
1 + x2 1 + x2
−∞ 1

òî ïî òåîðåìå ñðàâíåíèÿ ïîëó÷àåì, ÷òî

Z−1 Z+∞
ϕ(x) ϕ(x)
dx è dx
x x
−∞ 1

ñóùåñòâóþò.
ˆ Òåïåðü ïîêàæåì, ÷òî èíòåãðàë
Z+1
ϕ(x)
dx
x
−1

ñóùåñòâóåò â ñìûñëå ãëàâíîãî çíà÷åíèÿ. Äëÿ ýòîãî âîñïîëüçóåìñÿ

ðàâåíñòâîì

6
 Z+1 Z+1 Z+1
ϕ(x) ϕ(x) − ϕ(0) ϕ(0)
v.p. dx = v.p. dx + v.p. dx
x x x
−1 −1 −1

Ïîñêîëüêó
ϕ(x) − ϕ(0)
→ ϕ0 (0) ïðè x → 0 ,
x
òî ôóíêöèÿ
ϕ(x) − ϕ(0)
x
îãðàíè÷åíà íà [−1, 1] è, ñëåäîâàòåëüíî, èíòåãðèðóåìà ïî Ëåáåãó íà
[−1, 1].
Òàêèì îáðàçîì,
Z+1
ϕ(x) − ϕ(0)
dx
x
−1
ñóùåñòâóåò.
 òî æå âðåìÿ
Z+1 Z+1
ϕ(0) dx
v.p. dx = ϕ(0) v.p. = 0,
x x
−1 −1

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

1
Êîððåêòíîñòü îïðåäåëåíèÿ ôóíêöèîíàëà P äîêàçàíà.
x
1
2. Ëèíåéíîñòü ôóíêöèîíàëà P .
x
Äëÿ ëþáûõ îñíîâíûõ ôóíêöèé ϕ1 è ϕ2 èç ïðîñòðàíñòâà S(R) è ëþáûõ
êîìïëåêñíûõ ÷èñåë α è β âûïîëíåíî ðàâåíñòâî
  Z+∞
1 (α ϕ1 + β ϕ2 )
P , α ϕ 1 + β ϕ2 = v.p. dx =
x x
−∞

Z+∞ Z+∞    
ϕ1 ϕ2 1 1
= α v.p. dx + β v.p. dx = α P , ϕ1 + β P , ϕ2
x x x x
−∞ −∞

7
 1
Ýòî ðàâåíñòâî è îçíà÷àåò, ÷òî ôóíêöèîíàë P ÿâëÿåòñÿ ëèíåéíûì.
x
1
3. Íåïðåðûâíîñòü ôóíêöèîíàëà P .
x
1
 ñèëó ëèíåéíîñòè ôóíêöèîíàëà P åãî íåïðåðûâíîñòü äîñòàòî÷íî
x
äîêàçàòü òîëüêî â íóëå.
Äëÿ äîêàçàòåëüñòâà íåïðåðûâíîñòè ôóíêöèîíàëà â íóëå ðàññìîòðèì
ïðîèçâîëüíóþ ïîñëåäîâàòåëüíîñòü îñíîâíûõ ôóíêöèé, ñõîäÿùóþñÿ ê íó-
ëþ
S(R)
ϕn (x) −−−→ 0 ïðè n → ∞ ,

è äîêàæåì, ÷òî
  Z+∞
1 ϕn (x)
P , ϕn = v.p. dx → 0 ïðè n → ∞ .
x x
−∞

Äëÿ ýòîãî âîñïîëüçóåìñÿ ðàâåíñòâîì

Z+∞ Z−1 Z+∞
ϕn (x) ϕn (x) ϕn (x)
v.p. dx = dx + dx+
x x x
−∞ −∞ 1

Z1 Z1
ϕn (x) − ϕn (0) ϕn (0)
+ dx + v.p. dx =
x x
−1 −1

Z−1 Z+∞ Z1
ϕn (x) ϕn (x) ϕn (x) − ϕn (0)
= dx + dx + dx
x x x
−∞ 1 −1
è äîêàæåì, ÷òî êàæäûé èç èíòåãðàëîâ ñòðåìèòñÿ ê íóëþ ïðè n → ∞.

ˆ Èç îïðåäåëåíèÿ ñõîäèìîñòè â ïðîñòðàíñòâå S(R) ñëåäóåò ðàâíîìåð-

íàÿ ñõîäèìîñòü ê íóëþ ïîñëåäîâàòåëüíîñòè ôóíêöèé

(1 + x2 ) ϕn (x) ⇒ 0 ïðè n → ∞
(−∞,+∞)

8
 Ïîýòîìó ñóùåñòâóåò òàêàÿ êîíñòàíòà C > 0 , ÷òî äëÿ âñåõ n ∈ N è
âñåõ x ∈ {(−∞, −1] ∪ [1, +∞)} âûïîëíåíî íåðàâåíñòâî
ϕn (x) C
6 |ϕn (x)| 6
x 1 + x2
Ïîñêîëüêó
Z−1 Z+∞
C C
dx < ∞ è dx < ∞ ,
1 + x2 1 + x2
−∞ 1

òî ïî òåîðåìå Ëåáåãà îá îãðàíè÷åííîé ñõîäèìîñòè ïîëó÷àåì ðàâåí-

ñòâî íóëþ ïðåäåëîâ

Z−1 Z+∞
ϕn (x) ϕn (x)
lim dx = 0 è lim dx = 0 .
n→∞ x n→∞ x
−∞ 1

ˆ Òåïåðü ðàññìîòðèì èíòåãðàë

Z1
ϕn (x) − ϕn (0)
dx
x
−1

Ïî òåîðåìå Ëàãðàíæà î ñðåäíåì ñóùåñòâóåò òî÷êà ξn ∈ (0, x) òàêàÿ,

÷òî
ϕn (x) − ϕn (0)
= ϕ0n (ξn )
x
Êðîìå òîãî, èç ñõîäèìîñòè
S(R)
ϕn (x) −−−→ 0 ïðè n → ∞ ,

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

ϕ0n (x) ⇒ 0 ïðè n → ∞

(−∞,+∞)

Ñëåäîâàòåëüíî, íàéäåòñÿ òàêàÿ êîíñòàíòà M > 0 , ÷òî äëÿ âñåõ

n ∈ N âûïîëíåíî íåðàâåíñòâî

|ϕ0n (ξn )| 6 M

9
 ïðè÷åì
Z1
M dx = 2M < ∞
−1

Ïîýòîìó ïî òåîðåìå Ëåáåãà îá îãðàíè÷åííîé ñõîäèìîñòè ïîëó÷àåì

Z1
ϕn (x) − ϕn (0)
lim dx = 0 .
n→∞ x
−1

1
Íåïðåðûâíîñòü ôóíêöèîíàëà P äîêàçàíà.
x
Òåïåðü ïåðåéäåì ê äîêàçàòåëüñòâó ïóíêòà á).
Ïîñêîëüêó ôóíêöèÿ x ÿâëÿåòñÿ ôóíêöèåé ìåäëåííîãî ðîñòà, òî äëÿ
∀ϕ ∈ S(R) âûïîëíåíû ðàâåíñòâà
    Z+∞
1 1 x ϕ(x)
x P , ϕ(x) = P , x ϕ(x) = v.p. dx =
x x x
−∞

Z+∞ Z+∞ D E
= v.p. ϕ(x) dx = ϕ(x) dx = 1 , ϕ(x) ,
−∞ −∞

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

Ðåøåíèå çàäà÷è 1 çàâåðøåíî.

Ïðåäåëüíûé ïåðåõîä â ïðîñòðàíñòâå S 0 (Rm )

Îïðåäåëåíèå 6 Îáîáùåííûå ôóíêöèè fα (x) ñõîäÿòñÿ â ïðîñòðàíñòâå

S 0 (Rm ) ïðè α → α0 ê îáîáùåííîé ôóíêöèè f (x) , ò.å.
S 0 (Rm )
fα (x) −−−−→ f (x) ïðè α → α0 ,

åñëè äëÿ êàæäîé îñíîâíîé ôóíêöèè ϕ ∈ S(Rm ) èìååò ìåñòî ñõîäèìîñòü

fα (x) , ϕ(x) → f (x) , ϕ(x) ïðè α → α0 .

10
Çàäà÷à 2  ïðîñòðàíñòâå S 0 (R) âû÷èñëèòü

lim sin nx
n→∞

Ðåøåíèå.
Êàê ìû óæå çíàåì èç êóðñà ìàòåìàòè÷åñêîãî àíàëèçà, ïðåäåë ïîñëåäîâà-
òåëüíîñòè ôóíêöèé
lim sin nx
n→∞
íå ñóùåñòâóåò.
Îäíàêî ôóíêöèè sin nx ÿâëÿþòñÿ ôóíêöèÿìè ìåäëåííîãî ðîñòà, è, ñëå-
äîâàòåëüíî, çàäàþò ðåãóëÿðíûå ôóíêöèîíàëû â ïðîñòðàíñòâå S 0 (R) . Ïîêà-
æåì, ÷òî â îòëè÷èå îò îáû÷íûõ ôóíêöèé â ïðîñòðàíñòâå S 0 (R) ïðåäåë ïî-
ñëåäîâàòåëüíîñòè îáîáùåííûõ ôóíêöèé
lim sin nx
n→∞

ñóùåñòâóåò è íàéäåì åãî.

Êàê ìû óæå çíàåì, äåéñòâèå ðåãóëÿðíîãî ôóíêöèîíàëà sin nx íà êàæ-
äóþ îñíîâíóþ ôóíêöèþ ϕ ∈ S(R) çàäàåòñÿ ôîðìóëîé
Z+∞
sin nx , ϕ(x) = ϕ(x) sin nx dx
−∞

Èç ëåììû Ðèìàíà îá îñöèëÿöèè ñëåäóåò, ÷òî

Z+∞
lim ϕ(x) sin nx dx = 0 = 0 , ϕ(x)
n→∞
−∞

Òàêèì îáðàçîì, äëÿ ∀ϕ ∈ S(R) âûïîëíåíî ðàâåíñòâî

lim sin nx , ϕ(x) = 0 , ϕ(x)
n→∞

Ïî îïðåäåëåíèþ ñõîäèìîñòè â ïðîñòðàíñòâå S 0 (R) ïîëó÷àåì

S 0 (R)
sin nx −−−→ 0 ïðè n → ∞ .
Ðåøåíèå çàäà÷è 2 çàêîí÷åíî.

Òåïåðü ðåøèì çàäà÷ó èç äîìàøíåãî çàäàíèÿ, ðåçóëüòàò êîòîðîé â äàëü-

íåéøåì áóäåì èñïîëüçîâàòü íåîäíîêðàòíî.

11
Çàäà÷à 3 (çàäàíèå, çàäà÷à 1.6 á))  ïðîñòðàíñòâå S 0 (R) âû÷èñëèòü
ïðåäåë  
1 x
lim sin
ε→+0 x ε
Ðåøåíèå.
Äåéñòâèå ðåãóëÿðíîãî ôóíêöèîíàëà
 
1 x
sin
x ε
íà êàæäóþ îñíîâíóþ ôóíêöèþ ϕ ∈ S(R) çàäàåòñÿ ôîðìóëîé
    Z+∞  
1 x 1 x
sin , ϕ(x) = sin ϕ(x) dx (4)
x ε x ε
−∞

Ïðåäñòàâèì èíòåãðàë â ïðàâîé ÷àñòè ðàâåíñòâà (4) â âèäå ñóììû íåñêîëüêèõ

èíòåãðàëîâ
Z+∞   Z−1   Z+∞  
1 x ϕ(x) x ϕ(x) x
sin ϕ(x) dx = sin dx + sin dx+
x ε x ε x ε
−∞ −∞ 1

Z1   Z1  
ϕ(x) − ϕ(0) x ϕ(0) x
+ sin dx + sin dx
x ε x ε
−1 −1

ˆ Äîêàæåì ñíà÷àëà, ÷òî

Z−1  
ϕ(x) x
lim sin dx = 0
ε→+0 x ε
−∞

Z+∞  
ϕ(x) x
lim sin dx = 0
ε→+0 x ε
1
Äåéñòâèòåëüíî, ïîñêîëüêó

(1 + x2 ) ϕ(x) → 0 ïðè x → ±∞

12
 òî ñóùåñòâóåò òàêàÿ êîíñòàíòà C > 0 , ÷òî
|(1 + x2 ) ϕ(x)| 6 C, ∀x ∈ (−∞, +∞).
Ñëåäîâàòåëüíî, äëÿ âñåõ |x| > 1 âûïîëíåíî íåðàâåíñòâî
ϕ(x) C
6 |ϕ(x)| 6
x 1 + x2
è ïî òåîðåìå ñðàâíåíèÿ ïîëó÷àåì, ÷òî ôóíêöèÿ
ϕ(x)
x
èíòåãðèðóåìà íà ïðîìåæóòêàõ (−∞, −1] è [1, +∞).
Ïðèìåíÿÿ ëåììó Ðèìàíà îá îñöèëëÿöèè, ïîëó÷àåì ïðåäåëüíûå ñîîòíî-
øåíèÿ
Z−1  
ϕ(x) x
lim sin dx = 0
ε→+0 x ε
−∞
Z+∞  
ϕ(x) x
lim sin dx = 0
ε→+0 x ε
1

ˆ Òåïåðü äîêàæåì, ÷òî

Z+1  
ϕ(x) − ϕ(0) x
lim sin dx = 0
ε→+0 x ε
−1

Ïîñêîëüêó ñóùåñòâóåò ïðåäåë

ϕ(x) − ϕ(0)
→ ϕ0 (0) ïðè x → 0
x
òî ôóíêöèÿ
ϕ(x) − ϕ(0)
x
îãðàíè÷åíà íà [−1, 1] è, ñëåäîâàòåëüíî, èíòåãðèðóåìà íà [−1, 1].
Îïÿòü ïðèìåíÿÿ ëåììó Ðèìàíà îá îñöèëëÿöèè, ïîëó÷àåì, ÷òî
Z+1  
ϕ(x) − ϕ(0) x
lim sin dx = 0
ε→+0 x ε
−1

13
ˆ Ðàññìîòðèì, íàêîíåö, èíòåãðàë

Z1  
ϕ(0) x
sin dx
x ε
−1

è ñäåëàåì â íåì çàìåíó ïåðåìåííîé

x 1
y= ; dy = dx
ε ε
 ðåçóëüòàòå ýòîãî ïîëó÷èì
1
Z1   Zε
ϕ(0) x 1
sin dx = ϕ(0) sin y dy
x ε y
−1
− 1ε

Ñëåäîâàòåëüíî,

Z1   Z+∞
ϕ(0) x sin y
lim sin dx = ϕ(0) dy = π ϕ(0)
ε→+0 x ε y
−1 −∞

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

ëà Äèðèõëå
Z+∞
sin y
dy = π
y
−∞

Îêîí÷àòåëüíî, ïîëó÷àåì
   
1 x
lim sin , ϕ(x) = π ϕ(0) = π δ(x) , ϕ(x)
ε→+0 x ε
Òàêèì îáðàçîì,
 
1 x
lim sin = π δ(x)
ε→+0 x ε
Ðåøåíèå çàäà÷è 3 çàâåðøåíî.

14
 Çàìå÷àíèå. Åñëè â óñëîâèÿõ çàäà÷è 3 âìåñòî ïðåäåëà ïðè ε → +0 ðàñ-
ñìîòðåòü ïðåäåë ïî ïîñëåäîâàòåëüíîñòè
1
εn = ,
n
òî ìû ïîëó÷èì ïîñëåäîâàòåëüíîñòü ôóíêöèé
sin nx S 0 (R)
fn (x) = −−−→ δ(x) ïðè n → ∞ .
πx
Òàêèå ïîñëåäîâàòåëüíîñòè íàçûâàþò ¾δ -îáðàçíûìè ïîñëåäîâàòåëüíîñòÿìè¿.

Ôîðìóëû Ñîõîöêîãî

Ðåøèì åùå îäíó çàäà÷ó èç äîìàøíåãî çàäàíèÿ, ðåçóëüòàòîì êîòîðîé ÿâ-

ëÿþòñÿ ôîðìóëû, èçâåñòíûå êàê ¾Ôîðìóëû Ñîõîöêîãî¿.

Çàäà÷à 4 (çàäàíèå, çàäà÷à 1.9) Âû÷èñëèòü ïðåäåëû â ïðîñòðàíñòâå S 0 (R)

ïðè ε → +0
1 1
a) ; á) .
x + iε x − iε
Ðåøåíèå.
Ñíà÷àëà âû÷èñëèì ïðåäåë â ïóíêòå à).
Äåéñòâèå ðåãóëÿðíîãî ôóíêöèîíàëà
1
x + iε
íà êàæäóþ îñíîâíóþ ôóíêöèè ϕ ∈ S(R) çàäàåòñÿ ôîðìóëîé
  Z+∞
1 1
, ϕ(x) = ϕ(x) dx (5)
x + iε x + iε
−∞

Ïðåäñòàâèì èíòåãðàë â ïðàâîé ÷àñòè ðàâåíñòâà (5) â âèäå ñóììû íåñêîëüêèõ

èíòåãðàëîâ
Z+∞ Z−1 Z+∞
1 ϕ(x) ϕ(x)
ϕ(x) dx = dx + dx+
x + iε x + iε x + iε
−∞ −∞ 1

15
 Z1 Z1
ϕ(x) − ϕ(0) ϕ(0)
+ dx + dx
x + iε x + iε
−1 −1
è ðàññìîòðèì ïî î÷åðåäè ïåðåõîä ê ïðåäåëó ïðè ε → +0 â êàæäîì èç èíòå-
ãðàëîâ.

ˆ Ñíà÷àëà îáîñíóåì ïåðåõîä ê ïðåäåëó â èíòåãðàëàõ

Z−1 Z+∞
ϕ(x) ϕ(x)
dx è dx
x + iε x + iε
−∞ 1

Ïîñêîëüêó ñóùåñòâóåò òàêàÿ êîíñòàíòà C > 0 , ÷òî äëÿ âñåõ |x| > 1
âûïîëíåíà îöåíêà
ϕ(x) | ϕ(x) | | ϕ(x) | C
=√ 6 6 |ϕ(x)| 6
x + iε x2 + ε2 |x| 1 + x2
è
Z−1 Z+∞
C C
dx < ∞ è dx < ∞ ,
1 + x2 1 + x2
−∞ 1
òî ïî òåîðåìå Ëåáåãà îá îãðàíè÷åííîé ñõîäèìîñòè ñïðàâåäëèâû ïðåäåëü-
íûå ñîîòíîøåíèÿ
Z−1 Z−1
ϕ(x) ϕ(x)
lim dx = dx
ε→+0 x + iε x
−∞ −∞

Z+∞ Z+∞
ϕ(x) ϕ(x)
lim dx = dx
ε→+0 x + iε x
1 1

ˆ Òåïåðü äîêàæåì,÷òî ñïðàâåäëèâî ðàâåíñòâî

Z+1 Z+1
ϕ(x) − ϕ(0) ϕ(x)
lim dx = v.p. dx
ε→+0 x + iε x
−1 −1

Äëÿ ýòîãî âîñïîëüçóåìñÿ îöåíêîé

16
 ϕ(x) − ϕ(0) |ϕ(x) − ϕ(0)| |ϕ(x) − ϕ(0)|
= √ 6
x + iε x2 + ε2 |x|
Ïî òåîðåìå Ëàãðàíæà î ñðåäíåì ñóùåñòâóåò òàêîå ÷èñëî ξ ∈ (0, x) , ÷òî
âûïîëíåíî ðàâåíñòâî

ϕ(x) − ϕ(0) = ϕ0 (ξ) · x

Ïîýòîìó
|ϕ(x) − ϕ(0)|
= |ϕ0 (ξ)|
|x|
Äëÿ êàæäîé îñíîâíîé ôóíêöèè ϕ(x) åå ïðîèçâîäíàÿ ϕ0 (x) íåïðåðûâíà
íà îòðåçêå [−1, 1], à, çíà÷èò, îãðàíè÷åíà íà [−1, 1].
Òàêèì îáðàçîì, ñóùåñòâóåò òàêàÿ êîíñòàíòà M > 0, ÷òî
ϕ(x) − ϕ(0)
6 |ϕ0 (ξ)| 6 M .
x + iε
Ïîñêîëüêó êîíñòàíòà M > 0 èíòåãðèðóåìà íà [−1, 1], òî ïî òåîðåìå
Ëåáåãà îá îãðàíè÷åííîé ñõîäèìîñòè ìîæíî ïåðåéòè ê ïðåäåëó ïîä çíàêîì
èíòåãðàëà.
 èòîãå ïîëó÷àåì
Z+1 Z+1 Z+1
ϕ(x) − ϕ(0) ϕ(x) − ϕ(0) ϕ(x) − ϕ(0)
lim dx = dx = v.p. dx =
ε→+0 x + iε x x
−1 −1 −1

Z+1 Z+1 Z+1

ϕ(x) ϕ(0) ϕ(x)
= v.p. dx − v.p. dx = v.p. dx
x x x
−1
| −1 {z } −1

=0 ,
ò.ê. ôóíêöèÿ íå÷åòíàÿ

ˆ Ðàññìîòðèì, íàêîíåö, èíòåãðàë

Z1
ϕ(0)
dx
x + iε
−1

17
 è äîìíîæèì â íåì ÷èñëèòåëü è çíàìåíàòåëü äðîáè íà êîìïëåêñíî ñîïðÿ-
æåííîå ÷èñëî
Z1 Z1
ϕ(0) x − iε
dx = ϕ(0) dx =
x + iε x2 + ε2
−1 −1

Z1 Z1 Z1
x 1 1
= ϕ(0) dx −iε ϕ(0) dx = −iε ϕ(0) dx =
x2 + ε2 x2 + ε2 x 2 + ε2
−1 −1 −1
| {z }
=0 ,
ò.ê. ôóíêöèÿ íå÷åòíàÿ

1 x 1 1
= −iε ϕ(0) arctg = −2i ϕ(0) arctg → −i π ϕ(0) ïðè ε → +0
ε ε −1 ε
Òàêèì îáðàçîì, ìû ïîëó÷èëè

  Z+∞
1 1
lim , ϕ(x) = lim ϕ(x) dx =
ε→+0 x + iε ε→+0 x + iε
−∞

Z−1 Z+∞ Z+1

ϕ(x) ϕ(x) ϕ(x)
= dx + dx + v.p. dx − i π ϕ(0) =
x x x
−∞ 1 −1

Z+∞  
ϕ(x) 1
= v.p. dx − i π ϕ(0) = P − iπ δ(x) , ϕ(x)
x x
−∞

Òàêèì îáðàçîì, ìû äîêàçàëè, ÷òî â ïóíêòå à)

1 1
= P − iπ δ(x)
lim (6)
ε→+0 x + iε x
Äëÿ òîãî, ÷òîáû âû÷èñëèòü ïðåäåë â ïóíêòå á), äîñòàòî÷íî âçÿòü êîì-
ïëåêñíîå ñîïðÿæåíèå â ôîðìóëå (6):
1 1
lim = P + iπ δ(x)
ε→+0 x − iε x
Ðåøåíèå çàäà÷è 5 çàâåðøåíî.

18
 Ñëåäóþùåå çàíÿòèå áóäåò ïîñâÿùåíî äèôôåðåíöèðîâàíèþ îáîáùåííûõ
ôóíêöèé, à òàêæå ìåòîäàì ðåøåíèÿ ïðîñòåéøèõ ëèíåéíûõ àëãåáðàè÷åñêèõ
óðàâíåíèé â ïðîñòðàíñòâå S 0 (R).

Cïàñèáî çà âíèìàíèå.
Íå áîëåéòå!

19