12.12-ta’rif.
A : X
Y va B : X
Y chiziqli operatorlarning yig‘indisi
deb,
x D(A) D(B)
elementga
y Ax Bx Y
elementni mos qo‘yuvchi
C A B operatorga aytiladi.
Ravshanki, C chiziqli operator bo‘ladi. Agar
C ham chegaralangan operator bo‘ladi va
A, B L( X ,Y )
bo‘lsa, u holda
tengsizlik o‘rinli. Haqiqatan ham,
C A B
A B
(12.8)
C x
Ax B x
Ax
B x
x
x
A
B x .
Bu yerdan (12.8) tengsizlik kelib chiqadi.
12.13-ta’rif. A chiziqli operatorning songa ko‘paytmasi x elementga
Ax
elementni mos qo‘yuvchi operator sifatida aniqlanadi, ya’ni
Ax Ax .
12.14-ta’rif.
A : X Y
va B : Y Z
chiziqli operatorlar berilgan bo‘lib
R(A)
D(B)
bo‘lsin. B va A operatorlarning ko‘paytmasi deganda, har bir
x D(A)
ga Z fazoning
z B(Ax)
elementini mos qo‘yuvchi
C BA: X Z
operator tushuniladi.
Agar A va B lar chiziqli chegaralangan operatorlar bo‘lsa, u holda C ham chiziqli chegaralangan operator bo‘ladi va
.
x
tengsizlik o‘rinli. Haqiqatan ham,
B A
(12.9)
Z
C x
BAx
B Ax
B A
Z
Y
X
Bu yerdan (12.9) tengsizlik kelib chiqadi.
Operatorlarni qo‘shish va ko‘paytirish assotsiativdir. Qo‘shish amali kommutativ, lekin ko‘paytirish amali kommutativ emas.
Agar X va Y lar chiziqli normalangan fazolar bo‘lsa,
L( X ,Y )
ham chiziqli
normalangan fazo bo‘ladi, ya’ni
p : L(X ,Y ) R ,
p A sup A x
x 1
funksional normaning 1-3 - shartlarini qanoatlantiradi.
12.2-teorema. X normalangan fazoni Y normalangan fazoga akslantiruvchi
A : X Y chiziqli operator berilgan bo‘lsin. U holda quyidagi tasdiqlar teng kuchli:
A operator biror
x0 nuqtada uzluksiz;
A operator uzluksiz;
A operator chegaralangan.
Isbot. 1) 2). Chiziqli A operatorning biror
x0 nuqtada uzluksiz ekanligidan
uning ixtiyoriy nuqtada uzluksiz ekanligini keltirib chiqaramiz.
n
A operator
x0 nuqtada uzluksiz bo‘lganligi uchun,
x0 ga intiluvchi ixtiyoriy
n
x0 ketma-ketlik uchun
A x0
A x0
. Ixtiyoriy
x D( A)
nuqta uchun,
xn
x
ekanligidan
Axn
Ax
kelib chiqishini ko‘rsatamiz.
yn
xn
x' x0 x0
deymiz. U holda
lim
n
Bu esa
Ayn
lim
n
A xn
n
Ax' Ax0 Ax0 .
lim
n
Axn
Ax'
ekanligini bildiradi. Demak, A operator ixtiyoriy x nuqtada uzluksiz.
3). A operatorning uzluksiz ekanligidan uning chegaralanganligi kelib chiqishini ko‘rsatamiz. Teskaridan faraz qilaylik, A chiziqli operator uzluksiz
bo‘lsin, lekin chegaralangan bo‘lmasin, ya’ni ixtiyoriy
xc DA element mavjud bo‘lib,
C 0
son uchun shunday
Axc C xc
bo‘lsin. Agar
C n N
desak, ixtiyoriy
n N
uchun shunday
xn DA
mavjudki,
A xn n xn
tengsizlik bajariladi. Quyidagi
xn
n
ketma-ketlikni qaraymiz. Ko‘rinib turibdiki, n
, ya’ni
Ikkinchi tomondan,
n
xn
x 1 0.
n n
An A
A
n
xn
Axn
Axn 1
Bu qarama-qarshilik A operatorning chegaralangan ekanligini ko‘rsatadi.
1). A chiziqli chegaralangan operatorning biror nuqtada uzluksizligini ko‘rsatamiz.
Ta’rifga ko‘ra, shunday C 0
son mavjudki, ixtiyoriy
x D( A)
uchun
Y
x
X
A x C
tengsizlik bajariladi. Faraz qilaylik,
{xn }
- x ga yaqinlashuvchi ixtiyoriy ketma-
ketlik bo‘lsin, u holda
Axn Ax
ekanligini ko‘rsatamiz:
ya’ni
Axn Ax . ∆
Axn Ax
Axn x
C xn x
0,
12.2-natija. A chiziqli operator chegaralangan bo‘lishi uchun uning uzluksiz bo‘lishi zarur va yetarli.
12.5-misol. Birlik va nol operatorlarning (12.1 va 12.2-misollar) chegaralangan ekanligini ko‘rsatib, ularning normasini hisoblang.
Yechish. Birlik operatorning chegaralangan ekanligini ko‘rsatib, normasini
hisoblaymiz. Ixtiyoriy
x E
uchun
I x x
tenglik o‘rinli. Ta’rifga ko‘ra, I
chegaralangan va uning normasi 1 ga teng. Endi nol operatorning chegaralangan
ekanligini ko‘rsatib, uning normasini topamiz. Istalgan
x E
uchun
x
0 tenglik o‘rinli. Bundan
0 ekanligi kelib chiqadi. Nol operator
L( X ,Y ) chiziqli normalangan fazoning nol elementi bo‘ladi.
12.3-misolda keltirilgan
A: C[ a, b] C[ a, b]
differensial operatorning
chegaralanmagan ekanligini ko‘rsating.
Yechish. Buning uchun A akslantirishda D A C10, 1 fazodagi birlik shar
B[ ,1]
ning tasviri chegaralanmagan to‘plam ekanligini ko‘rsatish yetarli. Birlik
shar
B[ ,1] da yotuvchi { fn } ketma-ketlikni quyidagicha tanlaymiz:
n
U holda
f x xn ,
f max xn
n
0x1
1.
Bundan
A fn
x n xn1,
A fn
max n xn
0x1
n.
lim
n
A fn
ekanligi kelib chiqadi. Demak, differensial operator chegaralanmagan ekan.
12.4-misolda keltirilgan
chegaralangan ekanligini ko‘rsating.
B : C a, b C a, b
integral operatorning
Yechish. 12.4-misolda B operatorning uzluksiz ekanligi ko‘rsatilgan edi.
12.2-natijaga ko‘ra, u chegaralangan bo‘ladi.
C[1,1] fazoda x ga ko‘paytirish operatorini, ya’ni
B : C[1,1] C[1,1],
(Bf )(x) x f (x)
(12.10)
operatorni qaraymiz. Uning chegaralangan ekanligini ko‘rsatib, normasini toping.
Yechish. B operatorning chiziqli ekanligi oson tekshiriladi. Uzluksiz funksiyalarning ko‘paytmasi uzluksiz ekanligidan B operatorning aniqlanish sohasi
D( B) C[1,1] ekanligi kelib chiqadi. Endi B operatorning chegaralangan
ekanligini ko‘rsatamiz.
B f
max
1 x1
x f x
max x
1 x1
max
1 x1
f x
1 f .
Bu tengsizlikdan B operatorning chegaralangan ekanligi va B 1 kelib chiqadi.
Ikkinchi tomondan, agar
f0 x 1 desak, u holda
B f0
x x,
B f0
1, B 1
ni olamiz. Yuqoridagilardan
B 1
kelib chiqadi.
Xuddi shunday ko‘rsatish mumkinki,
L21, 1 Hilbert fazosida ham (12.10) tenglik
bilan aniqlangan B operator chiziqli chegaralangan bo‘lib, normasi 1 ga teng bo‘ladi.
Endi 2
fazoda ko‘paytirish operatorini, ya’ni
A :2 2,
Axn anxn ,
sup an
n1
a
(12.11)
operatorni qaraymiz. Uning chegaralangan ekanligini ko‘rsatib, normasini toping.
Yechish. Ixtiyoriy
x 2
uchun A x 2
ekanligini ko‘rsatamiz:
n1
Ax n
2
n1
anxn
2 sup
n1
a
2
n
n1
x 2 a2
x 2 .
(12.12)
n
Bu munosabatlardan
D( A) 2
ekanligini olamiz. Endi uning chiziqli ekanligini
n n
ko‘rsatamiz. A operatorning aniqlanishiga ko‘ra
n
A x y
an xn yn an xn an yn
Ax A y .
Demak, A chiziqli operator ekan. Uning chegaralangan ekanligi (12.12)
tengsizlikdan kelib chiqadi. Bundan tashqari (12.12) tengsizlikdan
A a
ekanligi
ham kelib chiqadi. A operatorning normasi
A a
ekanligini isbotlaymiz. Buning
uchun
fazoda en
ortonormal sistemani ((5.8)ga qarang) olamiz. A
2
n1
operatorning aniqlanishiga ko‘ra, ixtiyoriy Bundan va (12.7) dan
n N
uchun
Aen anen
tenglik o‘rinli.
A Aen
anen
an en
an
munosabat kelib chiqadi. Bu tengsizlik ixtiyoriy
n N
da o‘rinli bo‘lgani uchun
A sup
n1
an a
(12.13)
ni olamiz. Demak,
A a
tenglik isbotlandi. ∆
Dostları ilə paylaş: |