12-ma’ruza.
Chiziqli operatorlar va ularning xossalari
Chiziqli operatorning ta’rifi va misollar
Biz asosan chiziqli operatorlarni qaraymiz. Chiziqli operatorlarning aniqlanish sohasi va qiymatlar to‘plami chiziqli normalangan fazolarning qism fazolari bo‘ladi. Shunday qilib, bizga X va Y chiziqli normalangan fazolar berilgan bo‘lsin.
12.1-ta’rif. X fazodan olingan har bir x elementga Y fazoning yagona y
elementini mos qo‘yuvchi
akslantirish operator deyiladi.
Ax y
x X ,
y Y
Umuman A operator X ning hamma yerida aniqlangan bo‘lishi shart emas.
Bu holda Ax mavjud va
Ax Y
bo‘lgan barcha
x X
lar to‘plami A operatorning
aniqlanish sohasi deyiladi va
D( A)
bilan belgilanadi, ya’ni:
DA x X : Ax
mavjud va
AxY .
Agar chiziqli A operator qaralayotgan bo‘lsa, D( A) ning chiziqli ko‘pxillilik
bo‘lishi talab qilinadi, ya’ni agar uchun x y D A.
x, y D A bo‘lsa, u holda ixtiyoriy , C
lar
12.2-ta’rif. Agar ixtiyoriy sonlar uchun
x, y DA X
elementlar va ixtiyoriy , C
A( x y) Ax A y
tenglik o‘rinli bo‘lsa, A ga chiziqli operator deyiladi.
12.3-ta’rif. Bizga
A: X Y
operator va
x0 DA nuqta berilgan bo‘lsin.
Agar
y0 Ax0 Y
ning ixtiyoriy V atrofi uchun,
x0 nuqtaning shunday U atrofi
mavjud bo‘lib, ixtiyoriy
x U DA lar uchun
Ax V
bo‘lsa, A operator
x x0
nuqtada uzluksiz deyiladi.
12.3-ta’rifga teng kuchli quyidagi ta’riflarni keltiramiz.
12.4-ta’rif. Agar ixtiyoriy
0
mavjud bo‘lib,
Ax Ax0
tengsizlik bajarilsa, A operator
x x0
nuqtada uzluksiz deyiladi.
12.5-ta’rif. Agar
x0 nuqtaga yaqinlashuvchi ixtiyoriy
xn ketma-ketlik uchun
Axn Ax0
0 bo‘lsa, u holda A operator
x0 nuqtada uzluksiz deyiladi.
Agar A operator ixtiyoriy
operator deyiladi.
x DA
nuqtada uzluksiz bo‘lsa, A uzluksiz
12.6-ta’rif.
Ax
tenglikni qanoatlantiruvchi barcha
x X
lar to‘plami A
operatorning yadrosi deb ataladi va u KerA bilan belgilanadi.
12.7-ta’rif. Biror
x DA
uchun
y Ax
bajariladigan
y Y
lar to‘plami
A operatorning qiymatlar sohasi yoki tasviri deb ataladi va u bilan belgilanadi.
Im A
yoki
R( A)
Matematik simvollar yordamida operator yadrosi va qiymatlar sohasini
quyidagicha yozish mumkin:
KerA {x DA: Ax },
R(A) : Im A { y Y : biror
x DA uchun
y Ax}.
Chiziqli operatorning qiymatlar sohasi va yadrosi chiziqli ko‘pxillilik bo‘ladi.
Agar
D( A) X
bo‘lib, A uzluksiz operator bo‘lsa, u holda KerA yopiq qism fazo
bo‘ladi, ya’ni
KerA [ KerA]. A operator uzluksiz bo‘lgan holda ham
Im A Y
yopiq qism fazo bo‘lmasligi mumkin.
Chiziqli operatorlarga misollar
12.1-misol. X - ixtiyoriy chiziqli normalangan fazo bo‘lsin.
Ix x , x X
akslantirish birlik operator deyiladi. Uni chiziqlilik va uzluksizlikka tekshiring.
Yechish. Bu operatorning chiziqliligi va uzluksizligi quyidagi tengliklardan bevosita kelib chiqadi:
I ( x y) x y I x I y ,
I x x0
x x0 .
Qo‘shimcha qilib aytishimiz mumkinki, uning aniqlanish sohasi, qiymatlar sohasi va yadrosi uchun quyidagilar o‘rinli:
D(I ) X ,
R(I ) X ,
KerI
{}.
12.2-misol. X va Y ixtiyoriy chiziqli normalangan fazolar bo‘lsin.
: X
Y,
x
operator nol operator deyiladi. Uni chiziqlilik va uzluksizlikka tekshiring.
Yechish. Nol operatorning chiziqliligi va uzluksizligi bevosita ta’rifdan kelib chiqadi. Uning aniqlanish sohasi, qiymatlar sohasi va yadrosi uchun quyidagilar o‘rinli:
D() X ,
R() ,
Ker() X .
12.3-misol. Aniqlanish sohasi fazoni o‘zini-o‘ziga akslantiruvchi
D( A) C1a,b Ca;b bo‘lgan va
Ca;b
A : C a; b C a; b, Af x f ' x
operatorni qaraymiz. Bu operator differensial operator deyiladi. Uni chiziqlilik va uzluksizlikka tekshiring.
Yechish. Uning chiziqli ekanligini ko‘rsatamiz. Buning uchun ixtiyoriy
f , g D( A)
elementlarning chiziqli kombinatsiyasi bo‘lgan f
g
elementga
A operatorning ta’sirini qaraymiz:
A f
gx
f x gx'
f 'x g'x Af x Agx.
Biz bu yerda yig‘indining hosilasi hosilalar yig‘indisiga tengligidan, hamda
o‘zgarmas sonni hosila belgisi ostidan chiqarish munkinligidan foydalandik. Demak, A operator chiziqli ekan. Uni nol nuqtada uzluksizlikka tekshiramiz.
Ma’lumki,
A , bu yerda - Ca;b fazoning nol elementi, ya’ni x 0 . Endi
nolga yaqinlashuvchi
fn D A ketma-ketlikni tanlaymiz. Umumiylikni buzmagan
holda a 0, b 1 deymiz.
fn (x)
xn1
,
lim
fn lim max
lim 1 0.
Ikkinchi tomondan,
n 1
n
n 0x1
n n 1
Afn
x xn ,
lim
n
Afn
A
lim max xn n 0x1
lim 1 1 0.
n
Demak, A operator nol nuqtada uzluksiz emas ekan. 12.2-teoremaga ko‘ra differensial operator aniqlanish sohasining barcha nuqtalarida uzilishga ega.
Uning qiymatlar sohasi va yadrosi uchun quyidagilar o‘rinli:
R(A) C[a,b], KerA {const}.
12.4-misol. Endi quyidagicha aniqlaymiz:
C a; b
fazoni o‘zini-o‘ziga akslantiruvchi B operatorni
b
Bf x K x,t f t dt
a
(12.1)
Bu operator integral operator deyiladi. Bu yerda
K (x, y)
funksiya
[a,b][a,b] -
kvadratda aniqlangan, uzluksiz.
K (x, y)
integral operator-ning o‘zagi (yadrosi)
deyiladi. B operatorni chiziqlilik va uzluksizlikka tekshiring.
Yechish. Ma’lumki, ixtiyoriy
f C[a,b]
uchun
K(x,t) f (t)
funksiya x va
t larning uzluksiz funksiyasidir. Matematik analiz kursidan ma’lumki,
integral parametr
x [ a, b]
K x, t f t dt
b
a
ning uzluksiz funksiyasi bo‘ladi. Bulardan B
operatorning aniqlanish sohasi
D(B)
uchun
D(B) Ca;b tenglik o‘rinli ekanligi
kelib chiqadi. Integral operatorning chiziqli ekanligi integrallash amalining
chiziqlilik xossasidan kelib chiqadi, ya’ni ixtiyoriy uchun
f , g Ca;b
va , C
lar
B f
g x K x,t
b
a
f t gt dt
b b
K x,t f t dt K x,t gt dt Bf x Bgx
a a
tengliklar o‘rinli. Endi integral operator B ning uzluksiz ekanligini ko‘rsatamiz.
0
f Ca;b
ixtiyoriy tayinlangan element va fn Ca;b
unga yaqinlashuvchi
ixtiyoriy ketma-ketlik bo‘lsin. U holda
Bfn Bf0
max
a xb
K x,t fn t a
b
b
f0 t dt
(12.2)
Bu yerda
max
a xb
fn t
f0 t
max
a xb
K x,t dt
a
C
fn f0 .
b
C max K x,t dt .
axb a
ekanligidan kelib chiqadi. Agar (12.2) tengsizlikda
n da limitga o‘tsak,
lim
n
Bfn Bf0
C lim
n
fn f0 0
ekanligini olamiz. Agar
Bfn Bf0
lim
n
0 tengsizlikni hisobga olsak,
B fn B f0 0 .
Shunday qilib, B integral operator ixtiyoriy nuqtada uzluksiz ekan.
B integral operatorning qiymatlar sohasi va yadrosi integral operatorning
o‘zagi -
K (x, y)
funksiyaning berilishiga bog‘liq. Masalan,
K(x,t) 1
bo‘lsa, B
operatorning qiymatlar sohasi
ImB
o‘zgarmas funksiyalardan iborat, ya’ni
Im B
f
C[a,b] :
f (t) const, uning yadrosi KerB o‘zgarmasga ortogonal
funksiyalardan iborat, ya’ni
KerB
{ f
Ca;b :
b
a
f t dt
0}.
12.8-ta’rif. Bizga X normalangan fazoning M to‘plami berilgan bo‘lsin.
Agar shunday
C 0
son mavjud bo‘lib, barcha x M uchun
x C
tengsizlik
o‘rinli bo‘lsa, M to‘plam chegaralangan deyiladi.
12.9-ta’rif. X fazoni Y fazoga akslantiruvchi A chiziqli operator berilgan
bo‘lsin. Agar A ning aniqlanish sohasi
D( A) X
bo‘lib, har qanday chegaralangan
to‘plamni yana chegaralangan to‘plamga akslantirsa, A ga chegaralangan operator deyiladi.
Chiziqli operatorning chegaralanganligini tekshirish uchun quyidagi ta’rif qulaydir.
12.10-ta’rif.
A : X Y
chiziqli operator bo‘lsin. Agar shunday
C 0
son
mavjud bo‘lib, ixtiyoriy
x DA uchun
Ax C x
(12.3)
tengsizlik bajarilsa, A chegaralangan operator deyiladi.
12.11-ta’rif. (12.3) tengsizlikni qanoatlantiruvchi C sonlar to‘plamining aniq quyi chegarasi A operatorning normasi deyiladi, va u A bilan belgilanadi, ya’ni
A inf C .
Bu ta’rifdan ixtiyoriy ekanligi kelib chiqadi.
x D A
uchun
Ax
A x
tengsizlik o‘rinli
12.1-teorema. X normalangan fazoni Y normalangan fazoga akslantiruvchi chiziqli chegaralangan A operatorning normasi A uchun
A sup
A x sup
(12.4)
tenglik o‘rinli.
x 1
x
Isbot. Quyidagicha belgilash kiritamiz
sup .
x
A chiziqli operator bo‘lgani uchun
sup
x
sup A
x
sup Ax .
x 1
Ixtiyoriy
x 0
uchun
.
Demak, ixtiyoriy
x X
uchun
A x
x . Bundan esa
A . (12.5)
Aniq yuqori chegara ta’rifiga ko‘ra, ixtiyoriy element mavjudki,
0
son uchun, shunday
x
A
tengsizlik bajariladi. Bu yerdan 0 ixtiyoriy bo‘lgani uchun,
A
. (12.6)
(12.5) va (12.6) lardan
A
tenglik kelib chiqadi. ∆
12.1-tasdiq. Chiziqli chegaralangan A operator uchun
sup A x sup A x
tenglik o‘rinli.
12.1-tasdiqni mustaqil isbotlang.
x 1
x 1
X chiziqli normalangan fazoni Y chiziqli normalangan fazoga akslantiruvchi
chiziqli chegaralangan operatorlar to‘plamini L( X ,Y ) bilan belgilaymiz. Xususan,
X Y
bo‘lsa
L( X , X ) L( X ) .
12.1-natija. Ixtiyoriy A L( X ,Y ) va
x DA,
x 1 uchun
tengsizlik o‘rinli.
Ax A
(12.7)
(12.7) tengsizlikning isboti (12.4) tengsizlikdan bevosita kelib chiqadi.
Dostları ilə paylaş: |