JOURNAL OF NEW CENTURY INNOVATIONS
CHIZIQLI CHEGARALANGAN OPERATORLAR. O’Z-O’ZIGA QO’SHMA
OPERATORLAR VA UNING SPEKTRI. MUSBAT VA UNITAR
OPERATORLAR
Hayitova Mohidil Alijon qizi
Buxoro davlat universiteti
Fizika-matematika fakulteti magistri
Annotatsiya: Maqolada chiziqli chegaralangan operatorlar, o’z-o’ziga qo’shma
operatorlar va uning spektri hamda musbat va unitar operatorlar haqida tushuncha,
teoremalar, lemmalar va ularga doir misollar keltirib ko’rsatilgan.
Kalit so’zlar: Gilbert fazosi, chiziqli chegaralangan operatorlar, o’z-o’ziga
qo’shma operatorlar, musbat va unitar operatorlar.
LINEAR BOUNDED OPERATORS. SELF-ADDITIONAL OPERATORS AND
ITS SPECTRUM. POSITIVE AND UNITARY OPERATORS
Hayitova Mohidil Alijon qizi
Master Student, Faculty of Physics and Mathematics,
Bukhara State University
Annotation: In the article Linear Bounded operators self about joint operators
and the spectrum of Y and positive and unitary operators the concept, theorems,
lemmas and examples of them are cited.
Keywords: Hilbert space, Liner Bounded operators, self-self adjoint operators,
positive and unitary operators.
Bizga ๐ ๐ฃ๐ ๐ normalangan fazolar berilgan bo’lsin. Quyidagi ta’rifni kiritamiz:
Ta’rif: ๐ fazodan olingan har bir ๐ฅ elementga ๐ fazoning yagona ๐ฆ elementini
mos qo’yuvchi
๐ด๐ฅ = ๐ฆ
(๐ฅ ∈ ๐, ๐ฆ ∈ ๐)
akslantirishga operator deyiladi.
Umuman olganda ๐ด operator ๐ ning hamma yerida aniqlangan bo’lishi shart
emas. Bunday holatda ๐ด๐ฅ mavjud va ๐ด๐ฅ ∈ ๐ bo’lgan barcha ๐ฅ ∈ ๐ lar to’plami ๐ด
operatorning aniqlanish sohasi deyiladi va ๐ท(๐ด) kabi belgilanadi:
๐ท(๐ด) = {∃๐ฅ ∈ ๐: ๐ด๐ฅ ๐๐๐ฃ๐๐ข๐ ๐ฃ๐ ๐ด๐ฅ ∈ ๐}.
Chiziqli ๐ด operator qaralayotgan bo’lsa, u holda ๐ท(๐ด) ning chiziqli ko’p xillik
bo’lishi talab qilinadi, ya’ni ๐ฅ, ๐ฆ ∈ ๐ท(๐ด) bo’lsa, ixtiyoriy ๐ผ, ๐ฝ ∈ ๐ถ lar uchun ๐ผ๐ฅ +
๐ฝ๐ฆ ∈ ๐ท (๐ด) o’rinli bo’ladi.
http://www.newjournal.org/
128
Volume–27_Issue-5_April_2023
JOURNAL OF NEW CENTURY INNOVATIONS
Ta’rif: Agar ixtiyoriy ๐ฅ, ๐ฆ ∈ ๐ท(๐ด) ⊂ ๐ elementar va ∀๐ผ, ๐ฝ ∈ ๐ถ sonlar uchun
๐ด(๐ผ๐ฅ + ๐ฝ๐ฆ) = ๐ผ๐ด๐ฅ + ๐ฝ๐ด๐ฆ
tenglik o’rinli bo’lsa, ๐ด operatorga chiziqli operator deyiladi.
Ta’rif: ๐ด: ๐ → ๐ operator va ๐ฅ0 ∈ ๐ท(๐ด) nuqta berilgan bo’lsin, agar ๐ฆ0 =
๐ด๐ฅ0 ∈ ๐ ning ∀ โฐ atrofi uchun, ๐ฅ0 nuqtaning shunday ๐ atrofi topilib, ixtiyoriy ๐ฅ ∈
๐ ∩ ๐ท (๐ด) lar uchun ๐ด๐ฅ ∈ โฐ bo’lsa, ๐ด operator ๐ฅ = ๐ฅ0 nuqtada uzluksiz deyiladi.
Ta’rif: Agar ∀๐ > 0 uchun shunday ๐ฟ = ๐ฟ(๐) > 0 mavjud bo’lib, โ๐ฅ − ๐ฅ0 โ <
๐ฟ tengsizlikni qanoatlantiruvchi barcha ๐ฅ ∈ ๐ท(๐ด) lar uchun
โ๐ด๐ฅ − ๐ด๐ฅ0 โ < ๐
tengsizlik bajarila, ๐ด ga ๐ฅ = ๐ฅ0 nuqtada uzluksiz deyiladi.
โ๐ด๐ฅ๐ −
Ta’rif: Agar ๐ฅ0 nuqtaga yaqinlashuvchi ∀ {๐ฅ๐ } ketma-ketlik uchun
๐ด๐ฅ0 โ → 0 shart o’rinli bo’lsa, unda ๐ด operator shu ๐ฅ0 nuqtada uzluksiz deb aytiladi.
Ta’rif: Quyidagi
๐ด๐ฅ = ๐
tenglikni qanoatlantiruvchi barcha ๐ฅ ∈ ๐ nuqtalar to’plami ๐ด operatorning
yadrosi deb aytiladi va ๐พ๐๐๐ด kabi belgilanadi.
Ta’rif: Biror bir ๐ฅ ∈ ๐ท(๐ด) nuqta uchun ๐ฆ = ๐ด๐ฅ tenglik bajariladigan ๐ฆ ∈ ๐ lar
to’plami ๐ด operatorning qiymtlar sohasi yoki tasviri deyiladi va ๐ผ๐๐ด yoki ๐
(๐ด) kabi
belgilanadi.
Operator yadrosi va qiymatlar sohasini matematik formulalar yordamida
quyidagi ko’rinishda yozish mumkin:
๐พ๐๐๐ด = {∃๐ฅ ∈ ๐ท(๐ด): ๐ด๐ฅ = ๐},
๐
(๐ด) โ ๐ผ๐๐ด = {∃๐ฆ ∈ ๐: ๐๐๐๐๐ ๐ฅ ∈ ๐ท(๐ด) ๐ข๐โ๐ข๐ ๐ฆ = ๐ด๐ฅ}
๐ด chiziqli operator qiymatlar sohasi va yadrosi chiziqli ko’pxillik bo’la oladi.
Agar ๐ท (๐ด) = ๐ bo’lib, ๐ด operator uzluksiz operator bo’lsa, unda ๐พ๐๐๐ด yopiq qism
fazo bo’ladi. Ya’ni ๐พ๐๐๐ด = [๐พ๐๐๐ด] bo’ladi. ๐ด uzluksiz bo’lgan holatda ham ๐ผ๐๐ด ⊂ ๐
yopiq qism fazo bo’lmasligi ham mukin.
Ta’rif: Faraz qilaylik ๐ normalangan fazoning ๐ to’plami berilgan bo’lsin, u
holda shunday ๐ถ > 0 son mavjud bo’lib, barcha ๐ฅ ∈ ๐ uchun โ๐ฅโ ≤ ๐ถ tengsizlik
o’rinli bo’lsa, ๐ to’plamga chegaralangan to’plam deyiladi.
Ta’rif: ๐ fazoni ๐ fazoga akslantiruvchi ๐ด chiziqli operator bo’lsin. Agar ๐ด
operatorning aniqlanish sohasi ๐ท(๐ด) = ๐ bo’lib, ixtiyoriy chegaralangan to’plamni
yana chegaralangan to’plamga akslantirsa, u holda ๐ด operatorga chegaralangan
operator deyiladi.
Ta’rif: Faraz qilaylik ๐ด: ๐ → ๐ chiziqli operator bo’lsin. Agar shunday ๐ถ > 0
son mavjud bo’lib, ∀๐ฅ ∈ ๐ท (๐ด) uchun quyidagi
โ๐ด๐ฅโ ≤ ๐ถ โ โ๐ฅโ
tengsizlik bajarilsa, ๐ด operatorga chegaralangan operator deyiladi.
Ta’rif: โ๐ด๐ฅโ ≤ ๐ถ โ โ๐ฅโ tengsizlikni qanoatlantiruvchi ๐ถ sonlar to’plamining
aniq quyi chegarasi ๐ด operatorning normasi deyiladi va โ๐ดโ kabi belgilanadi:
โ๐ดโ = inf ๐ถ.
http://www.newjournal.org/
129
Volume–27_Issue-5_April_2023
JOURNAL OF NEW CENTURY INNOVATIONS
Teorema: ๐ normalangan fazoni ๐ normalangan fazoga akslantiruvchi chiziqli
chegaralangan ๐ด operatorning normasi โ๐ดโ uchun quyidagi
โ๐ด๐ฅโ
โ๐ดโ = sup โ๐ด๐ฅโ = sup
โ๐ฅโ=1
๐ฅ≠๐ โ๐ฅ โ
tenglik o’rinli bo’ladi.
Isbot: Quyidagi belgilashni kiritamiz:
โ๐ด๐ฅโ
๐ผ = sup
๐ฅ≠๐ โ๐ฅ โ
๐ด operator chiziqli bo’lgani uchun:
โ๐ด๐ฅโ
๐ฅ
๐ผ = sup โ๐ฅโ = sup โ๐ด โ๐ฅโโ = sup โ๐ด๐ฅโ.
๐ฅ≠๐
โ๐ฅโ=1
๐ฅ≠๐
Ixtiyoriy ๐ฅ ≠ ๐ uchun
โ๐ด๐ฅ โ
≤๐ผ
โ๐ฅโ
bo’ladi.
Demak, ixtiyoriy ๐ฅ ∈ ๐ uchun โ๐ด๐ฅโ ≤ ๐ผโ๐ฅโ. Bundan esa
โ๐ดโ ≤ ๐ผ.
(1.1)
Aniq yuqori chegara ta’rifidan ixtiyoriy ๐ > 0 son uchun shunday ๐ฅ๐ ≠ 0 element
mavjud bo’lib,
โ๐ด๐ฅ๐ โ
๐ผ−๐ ≤
≤ โ๐ดโ
โ๐ฅ๐ โ
tengsizlik bajariladi. Bundan ๐ > 0 soni ixtiyoriy bo’lgani uchun
๐ผ ≤ โ๐ดโ
(1.2)
1.1 va 1.2 ga ko’ra โ๐ดโ = ๐ผ tenglik kelib chiqadi.
Tasdiq: A-chiziqli chegaralangan operator uchun
sup โ๐ด๐ฅโ = sup โ๐ด๐ฅโ
โ๐ฅโ=1
โ๐ฅโ≤1
tenglik o’rinli.
๐ chiziqli normalangan fazoni ๐ normalangan fazoga akslantiruvchi ๐ฟ(๐, ๐)
chiziqli chegaralangan operatorlar to’plami deb belgilymiz, Agar ๐ = ๐ bo’lsa,
๐ฟ(๐, ๐) = ๐ฟ(๐) bo’ladi.
Ta’rif: ๐ด: ๐ → ๐ va ๐ต: ๐ → ๐ chiziqli operatorlarning yig’indisi deb ๐ฅ ∈
๐ท (๐ด) ∩ ๐ท(๐ต) elementga ๐ฆ = ๐ด๐ฅ + ๐ต๐ฆ ∈ ๐ elementni mos qo’yuvchi
๐ถ = ๐ด + ๐ต operatorga aytiladi.
Ma’lumki, ๐ถ chiziqli operator bo’ladi, agar ๐ด, ๐ต ∈ ๐ฟ(๐, ๐) bo’lsa, unda ๐ถ
operator chegaralangan operator ham bo’ladi, ya’ni:
โ๐ถ โ = โ๐ด + ๐ตโ ≤ โ๐ดโ + โ๐ตโ
shart o’rinli bo’ladi. Chindan ham,
โ๐ถ๐ฅโ = โ๐ด๐ฅ + ๐ต๐ฅโ ≤ โ๐ด๐ฅโ + โ๐ต๐ฅโ ≤ โ๐ดโ โ โ๐ฅโ + โ๐ตโ โ โ๐ฅโ ≤ (โ๐ดโ +
+โ๐ตโ)โ๐ฅโ.
Bu shartdan
โ๐ถ โ = โ๐ด + ๐ตโ ≤ โ๐ดโ + โ๐ตโ
tengsizlik kelib chiqadi.
http://www.newjournal.org/
130
Volume–27_Issue-5_April_2023
JOURNAL OF NEW CENTURY INNOVATIONS
Ta’rif: ๐ด: ๐ → ๐ va ๐ต: ๐ → ๐ chiziqli operatorlar berilgan bo’lib
๐
(๐ด) ⊂ ๐ท(๐ต) bo’lsin, ๐ต va ๐ด operatorlarning ko’paytmasi deb, har bir ๐ฅ ∈ ๐ท(๐ด)
elementga ๐ fazoning ๐ง = ๐ต(๐ด๐ฅ) elementini mos qo’yuvchi ๐ถ = ๐ต๐ด: ๐ → ๐
operatorga aytiladi.
Agar ๐ด va ๐ต operatorlar chiziqli chegaralangan operatorlar bo’lsa, ๐ถ operator
ham chiziqli chegaralangan operator bo’ladi:
โ๐ถ โ ≤ โ๐ตโ โ โ๐ดโ
(1.3)
shart o’rinli bo’ladi.
Haqiqatan
โ๐ถ๐ฅโ๐ง = โ๐ต(๐ด๐ฅ)โ๐ง ≤ โ๐ต โ โ โ๐ด๐ฅโ๐ ≤ โ๐ตโ โ โ๐ดโ โ โ๐ฅโ๐
tengsizligidan (1.3) tengsizligi kelib chiqadi.
Operatorlarni ko’paytirish va qo’shish assotsativ amallardir. Qo’shish amali
kommutativ, ammo ko’paytirish amali kommutativ emasdir.
Agar ๐ va ๐ fazolar chiziqli normalangan fazolar bo’lsa, u holda ๐ฟ(๐, ๐)
fazo ham chiziqli normalangan fazo bo′ ladi:
๐: ๐ฟ(๐, ๐) → ๐
,
๐(๐ด) = sup โ๐ด๐ฅโ.
โ๐ฅโ=1
Teorema: ๐ normalangan fazoni ๐ normalangan fazoga akslantiruvchi ๐ด: ๐ →
๐ chiziqli operator berilgan bo’lsin, u holda quyidagi tasdiqlar o’rinli bo’ladi:
1) ๐ด operator biror ๐ฅ0 nuqtada uzluksiz;
2) ๐ด operator uzluksiz;
3) ๐ด operator chegaralangan;
Isboti: ๐ด chiziqli operator biror ๐ฅ0 nuqtada uzluksizligidan uning ixtiyoriy
nuqtada uzluksizligini keltirib chiqaramiz.
๐ด oprator ๐ฅ0 nuqtada uzluksiz bo’lganligi sababli, ๐ฅ0 nuqtaga intiluvchi
ixtiyoriy {๐ฅ๐0 } ketma-ketlik uchun ๐ด๐ฅ๐0 → ๐ด๐ฅ0 . Ixtiyoriy ๐ฅ ′ ∈ ๐ท(๐ด) nuqta uchun ๐ฅ๐′ →
๐ฅ ′ ekanligidan ๐ด๐ฅ๐′ → ๐ด๐ฅ ′ kelib chiqishini ko’rsatamiz.:
๐ฆ๐′ = ๐ฅ๐′ − ๐ฅ ′ + ๐ฅ0 → ๐ฅ0
bo’lsin, u holda
lim ๐ด๐ฆ๐′ = lim (๐ด๐ฅ๐′ − ๐ด๐ฅ ′ + ๐ด๐ฅ0 ) = ๐ด๐ฅ0 .
๐→∞
๐→∞
Bundan
lim ๐ด๐ฅ๐′ = ๐ด๐ฅ ′
๐→∞
kelib chiqadi. Demak, ๐ด operator ixtiyoriy ๐ฅ ′ nuqtada uzluksiz bo’ladi.
Endi ๐ด operatorning uzluksiz ekanligidan uning chegaralanganligi kelib
chiqishini ko’rsatamiz. Teskarisidan faraz qilamiz, ๐ด chiziqli operator uzluksiz bo’lsin,
ammo chegaralanmagan bo’lsin, ya’ni ixtiyoriy ๐ถ > 0 son uchun shunday ๐ฅ๐ ∈ ๐ท(๐ด)
element mavjud bo’lib,
โ๐ด๐ฅ๐ โ ≥ ๐ถ โ๐ฅ๐ โ
bo’lsin, agar ๐ถ = ๐ ∈ ๐ desak, ixtiyoriy ๐ ∈ ๐ uchun shunday ๐ฅ๐ ∈ ๐ท(๐ด)
mavjudki,
http://www.newjournal.org/
131
Volume–27_Issue-5_April_2023
JOURNAL OF NEW CENTURY INNOVATIONS
โ๐ด๐ฅ๐ โ ≥ ๐โ๐ฅ๐ โ
tengsizlik o’rinli bo’ladi. Quyidagi
๐ฅ๐
๐๐ =
๐โ๐ฅ๐ โ
ketma-ketlikni qaraymiz, ma’lumki, ๐๐ → ๐, ya’ni
๐ฅ
1
1
โ๐๐ − ๐โ = โ ๐ โ =
โ๐ฅ๐ โ = → 0.
๐โ๐ฅ๐ โ
๐โ๐ฅ๐ โ
๐
Ikkinchi tomondan:
๐ฅ
1
1
โ๐ด๐๐ − ๐ด๐โ = โ๐ด ( ๐ )โ = โ
โ๐ด๐ฅ๐ โ > 1.
๐ด๐ฅ๐ โ =
๐โ๐ฅ๐ โ
๐โ๐ฅ๐ โ
๐โ๐ฅ๐ โ
Bu qarama-qarshilik ๐ด operatorning chegaralanganligini ko’rsatadi.
Ana endi ๐ด chiziqli chegaralangan operatorning biror nuqtada uzluksiz
ekanligini ko’rsatamiz:
Shunday ๐ถ > 0 son mavjudki, ixtiyoriy ๐ฅ ∈ ๐ท(๐ด) uchun
โ๐ด๐ฅโ๐ ≤ ๐ถ โ๐ฅโ๐ฅ
tengsizlik o’rinli bo’ladi. Faraz qilaylik, {๐ฅ๐ } ketma-ketlik ๐ฅ ga yaqinlashuvchi
ixtiyoriy ketma-ketlik bo’lsin, unda ๐ด๐ฅ๐ → ๐ด๐ฅ ekanligini ko’rsatamiz:
โ๐ด๐ฅ๐ − ๐ด๐ฅโ = โ๐ด(๐ฅ๐ − ๐ฅ)โ ≤ ๐ถ โ๐ฅ๐ − ๐ฅโ → 0
ya’ni ๐ด๐ฅ๐ → ๐ด๐ฅ.
๐๐ฅ(๐ก)
(๐ด๐ฅ)(๐ก ) =
1.1.2-misol:
๐ด: ๐ด๐ถ0 [0; 1] → ๐ฟ1 [0; 1],
differensiallash
๐๐ก
operatorini chiziqli chegaralanganligini ko’rsatib, uning normasini toping.
Yechish: [๐; ๐] kesmada absolyut uzluksiz
๐น funksiyaning hosilasi
′( )
๐น ๐ฅ = ๐(๐ฅ) integrallanuvchidir. Demak operatorning aniqlanish sohasi ๐ท (๐ด) =
๐ด๐ถ0 [0; 1] uchun โ๐ด๐ฅโ = โ๐ฅโ tenglik
o’rinli. Bu yerdan ๐ด operatorning
chegaralanganligini va โ๐ดโ = 1 ekanligi kelib chiqadi.
Misol: ๐2 fazoda ko’paytirish operatori, ya’ni
๐ด: ๐2 → ๐2 ,
(๐ด๐ฅ)๐ = ๐๐ ๐ฅ๐ , supโ๐๐ โ = ๐ < ∞
๐≥1
operatorni qaraymiz. Bu operatorning chegaralanganligini ko’rsatib va uning
normasini topamiz.
Yechish: Ixtiyoriy ๐ฅ ∈ ๐2 uchun ๐ด๐ฅ ∈ ๐2 ekanini ko’rsatamiz:
∞
∞
∞
∑ |(๐ด๐ฅ)๐ |2 = ∑ |๐๐ ๐ฅ๐ |2 ≤ sup|๐๐ |2 ∑ |๐ฅ๐ |2 ≤ ๐2 โ๐ฅโ2
๐=1
๐≥1
๐=1
๐=1
Bu shartlardan ๐ท (๐ด) = ๐2 ekanligi kelib chiqadi. Endi uni chiziqlilikka
tekshiramiz:
๐ด operatorning aniqlanishiga ko’ra
(๐ด(๐ผ๐ฅ + ๐ฝ๐ฆ))๐ = ๐๐ (๐ผ๐ฅ๐ + ๐ฝ๐ฆ๐ ) = ๐ผ๐ผ๐ ๐ฅ๐ + ๐ฝ๐ผ๐ ๐ฆ๐ = ๐ผ(๐ด๐ฅ)๐ + ๐ฝ(๐ด๐ฆ)๐
bo’ladi. Bundan kelib chiqadiki, ๐ด chiziqli operator.
∞
∞
∞
∑ |(๐ด๐ฅ)๐ |2 = ∑ |๐๐ ๐ฅ๐ |2 ≤ sup|๐๐ |2 ∑ |๐ฅ๐ |2 ≤ ๐2 โ๐ฅโ2
๐=1
http://www.newjournal.org/
๐≥1
๐=1
132
๐=1
Volume–27_Issue-5_April_2023
JOURNAL OF NEW CENTURY INNOVATIONS
tengsizligiga ko’ra ๐ด operatorning chegaralangan ekanligini ko’rishimiz mumkin
va bundan tashqari yuqoridagi tengsizlikka ko’ra โ๐ดโ ≤ ๐ ekanligi kelib chiqadi va
bundan โ๐ดโ = ๐ bo’lishini isbotlaymiz. Bu uchun ๐2 fazodan normasi 1ga teng bo’lgan
∞
ketma-ketlik {๐๐ = (0,0,
โ … 0,1, 0, … )}
๐
ni qaraymiz.
๐=1
๐ด operatorning aniqlanishiga ko’ra ∀๐ ∈ ๐ uchun ๐ด๐๐ = ๐๐ ๐๐ tenglik o’rinli
bo’ladi. Bunga ko’ra esa
โ๐ดโ ≥ โ๐ด๐๐ โ = โ๐๐ ๐๐ โ = |๐๐ |โ๐๐ โ = |๐๐ |
tengsizlik kelib chiqadi. Bu tengsizlik ∀๐ ∈ ๐ da o’rinli ekanidan
โ๐ดโ ≥ sup |๐๐ | = ๐
๐≥1
munosabatni olamiz. Xulosa qilish mumkinki demak, โ๐ดโ = ๐ isbotlandi.
O’z-o’ziga qo’shma operatorlar va uning spektri
Bizga ๐ป- Gilbert fazosi va ๐ด ∈ ๐ฟ(๐ป) operator berilgan bo’lsin. Agar ∀๐ฅ, ๐ฆ ∈ ๐ป
elementlari uchun quyidagi
(๐ด๐ฅ, ๐ฆ) = (๐ฅ, ๐ด∗ ๐ฆ)
shartni qanoatlantiruvchi ๐ด∗ operatorga ๐ด ning qo’shmasi deyiladi va agar ๐ด∗ =
๐ด tenglik o’rinli bo’lsa, ya’ni ∀๐ฅ, ๐ฆ ∈ ๐ป elementlar uchun
(๐ด๐ฅ, ๐ฆ) = (๐ฅ, ๐ด๐ฆ)
tenglik o’rinli bo’lsa, ๐ด operatorga o’z-o’ziga qo’shma operator deyiladi.
Lemma: ๐ป- kompleks Gilbert fazosida o’z-o’ziga qo’shma bo’lgan
chegaralangan ๐ด operatorning barcha xos qiymatlari haqiqiy bo’ladi.
Isboti: Chindan ham, ๐ด๐ฅ = ๐๐ฅ tenglama ๐ฅ ≠ ๐ yechimga ega bo’lsin, unda:
๐(๐ฅ, ๐ฅ) = (๐๐ฅ, ๐ฅ) = (๐ด๐ฅ, ๐ฅ) = (๐ฅ, ๐ด๐ฅ) = (๐ฅ, ๐๐ฅ) = ๐ฬ
(๐ฅ, ๐ฅ)
tenglik o’rinli bo’ladi. Bu tenglikdan ๐ = ๐ฬ
shrt o’rinli ekanligi kelib chiqadi.
Lemma: Operator o’z-o’ziga qo’shma chegaralangan bo’lsa, u holda har qanday
xos qiymatlarga mos keluvchi xos vektorlari o’zaro ortogonal bo’ladi.
Isboti: Chindan ham, agar ๐ด๐ฅ = ๐๐ฅ, ๐ด๐ฆ = ๐๐ฆ va ๐ = ๐ ≠ 0 bo’lsa, unda
๐(๐ฅ, ๐ฆ) = (๐ด๐ฅ, ๐ฆ) = (๐ฅ, ๐ด๐ฆ) = (๐ฅ, ๐๐ฆ) = ๐(๐ฅ, ๐ฆ)
bo’ladi.
Bunga ko’ra esa (๐ − ๐)(๐ฅ, ๐ฆ) = 0 ekanligi, ya’ni ๐ฅโ๐ฆ kelib chiqadi.
๐ด ∈ ๐ฟ(๐ป) o’z-o’ziga qo’shma operator va ๐ kompleks soni uchun ๐ด๐ = ๐ด − ๐๐ธ
operatorlarning oilasini ko’ramiz.
Bizga ma’lumki, agar โ๐−1 ๐ดโ < 1, ya’ni |๐| > โ๐ดโ bo’lsa, unda ๐ soni ๐ด
operator uchun regulyar qiymat bo’ladi. Shuning uchun ๐ด operator spektri |๐| ≤ โ๐ดโ
doiraning ichida va chegarasida joylashadi. Bu tasdiq Banax fazosida ta’sir etuvchi
ixtiyoriy operator uchun operator spektrini joylashgan o’rnini aniq tavsiflash mumkin
bo’ladi.
http://www.newjournal.org/
133
Volume–27_Issue-5_April_2023
JOURNAL OF NEW CENTURY INNOVATIONS
Teorema: ๐ kompleks soni o’z-o’ziga qo’shma bo’lgan ๐ด operator regulyar
qiymati bo’lishi uchun shunday ๐ถ > 0 son topilib, hamma ๐ฅ ∈ ๐ป nuqtalarda
โ๐ด๐ ๐ฅโ = โ๐ด๐ฅ − ๐๐ฅโ ≥ ๐ถ โ๐ฅโ
tengsizlik ning bajarilishi zarur va yetarkidir.
Teorema: ๐ = ๐ผ + ๐๐ฝ (๐ฝ ≠ 0) kompleks soni o’z-o’ziga qo’shma bo’ladigan
๐ด operatorning regulyar qiymatidir.
Teorema: O’z-o’ziga qo’shma bo’lgan ๐ด operatorning spektri haqiqiy sonlar
o’qidagi [๐, ๐] kesmada yotadi, bu yerda
๐ = inf (๐ด๐ฅ, ๐ฅ), ๐ = sup (๐ด๐ฅ, ๐ฅ)
โ๐ฅ โ=1
โ๐ฅโ=1
Teorema: Agar ๐ด operator o’z-o’ziga qo’shma operator bo’lsa, unda ๐ ๐ฃ๐ ๐
sonlari ๐ด ning spektriga tegishli bo’ladi.
Isbot: ๐ soni uchun isbotini keltiramiz. Shuni aytib o’tish kerakki, agar ๐ด
operatori ๐ด๐ operatoriga almashtirilsa, unda uning spektri ๐ birlik chapga siljiydi.
๐ ๐ฃ๐ ๐ sonlari esa mos ravishda ๐ − ๐ va ๐ − ๐ sonlariga o’zgaradi. Shuning
uchun umumiy holatni buzmagan holatda 0 ≤ ๐ ≤ ๐ deb hisoblash mumkin. Bu
holatda ๐ = โ๐ดโ o’rinli bo’ladi. ๐ soni ๐ด operatorning spektriga tegishli bo’lishini
ko’rsatamiz.
๐ = โ๐ดโ sonini aniqlanishiga ko’ra shunday {๐ฅ๐ } ketma-ketlik topib, โ๐ฅ๐ โ = 1
va
(๐ด๐ฅ๐ , ๐ฅ๐ ) = ๐ − ๐ฟ๐ , ๐ฟ๐ → 0, ๐ → ∞
bo’ladi. Bundan tashqariโ๐ด๐ฅ๐ โ ≤ โ๐ดโ โ โ๐ฅ๐ โ = โ๐ดโ = ๐
bo’ladi. Shuning uchun โ๐ด๐ฅ๐ − ๐๐ฅ๐ โ = (๐ด๐ฅ๐ − ๐๐ฅ๐ , ๐ด๐ฅ๐ − ๐๐ฅ๐ ) ==
โ๐ด๐ฅ๐ โ2 − 2๐(๐ด๐ฅ๐ , ๐ฅ๐ ) + ๐ โ๐ฅ๐ โ2 ≤≤ ๐ 2 − 2๐(๐ − ๐ฟ๐ ) + ๐ 2 = 2๐๐ฟ๐
yoki โ๐ด๐ฅ๐ − ๐๐ฅ๐ โ → 0, โ๐ฅ๐ โ = 1 bo’ladi.
Natija: Ixtiyoriy o’z-o’ziga qo’shma operator bo’sh bo’lmagan spektrga ega
bo’ladi.
Tasdiq: ๐ ∈ ๐ถ โงต [0; 1] kompleks soni ๐ด ning xos qiymati bo’lishi uchun
1
๐ 2
โ๐ โถ= 1 + ∫
๐๐ = 0
๐ −๐
0
tenglikni isbotlashimiz zarur va yetarlidir.
Isboti: (Zaruriyligi) Aytaylik, ๐ ∈ ๐ถ โงต [0; 1] ๐ด ning xos qiymati bo’lsin: biror
1
nolmas ๐ฅ ∈ ๐ฟ2 [0; 1] element uchun ๐ด๐ฅ (๐ก ) = ๐ก๐ฅ(๐ก ) + ∫0 ๐ก๐ ๐ฅ(๐ )๐๐ = ๐๐ฅ(๐ก)
1
tenglik o’rinli bo’lsin. Unda(๐ก − ๐)๐ฅ(๐ก ) + ๐ก๐ผ๐ฅ = 0 ๐ผ๐ฅ = ∫0 ๐ ๐ฅ(๐ )๐๐ bo’ladi.
Bunda agar ๐ผ๐ฅ = 0 bo’lsa, (๐ก − ๐)๐ฅ (๐ก ) + ๐ก๐ผ๐ฅ = 0 tenglik (๐ก − ๐)๐ฅ (๐ก ) = 0 tenglikka
aylanadi. Bu yerdan ๐ฅ ning qiymati nolga teng bo’lishiga ega bo’lamiz. Tanlanishiga
ko’ra
esa
๐ฅ ≠ 0.
Demak,
shunday
ekan,
๐ผ๐ฅ ≠ 0.
http://www.newjournal.org/
134
Volume–27_Issue-5_April_2023
JOURNAL OF NEW CENTURY INNOVATIONS
๐ผ โ๐ก
(๐ก − ๐)๐ฅ (๐ก ) + ๐ก๐ผ๐ฅ = 0 tenglikdan ๐ฅ (๐ก ) = − ๐ฅ ni topib olamiz va bu tenglikni ๐ผ๐ฅ =
๐ก−๐
1 ๐ 2
1
∫0 ๐ ๐ฅ(๐ )๐๐ ga qo’yib ๐ผ๐ฅ = −๐ผ๐ฅ ∫0 ๐ −๐ ๐๐ tenglikka erishamiz. ๐ผ๐ฅ ≠ 0 bo’lganidan
1
๐ 2
โ(๐) = 1 + ∫
๐๐ = 0
๐ −๐
0
tenglik hosil bo’ladi.
(Yetarliligi) Aytaylik, ๐ ∈ ๐ถ โงต [0; 1] kompleks son uchun โ๐ = 0 tenglik o’rinli
bo’lsin.
๐ก
Unda ๐ฅ(๐ก ) = ๐ก(๐ก − ๐)−1 funksiyani olamiz,
1
(๐ด − ๐๐ผ )๐ฅ(๐ก ) = (๐ก − ๐)
+
๐ก−๐
1 ๐ 2
๐
๐ก ∫0 ๐ ๐ −๐ ๐๐ = ๐ก (1 + ∫0 ๐ −๐ ๐๐ ) = ๐กโ(๐) = 0 tenglik o’rinli bo’ladi. Bundan ๐ son
๐ก
๐ด operator uchun xos qiymat bo’lishi va ๐ฅ (๐ก ) = ๐ก−๐ unga mos xos funksiya bo’lishi
kelib chiqadi. ๐ด ning [0; 1] kesmadan tashqaridagi xos qiymatlarini topamiz:
1 ๐ 2
โ(๐) = 1 + ∫0 ๐ −๐ ๐๐ ≥ 1 tengsizlik o’rinli. Bundan
Barcha – ๐ lar uchun
tashqari ๐ผ๐๐ ≠ 0 bo’lsa โ(๐) ≠ 0 hosil qilish murakkab emas. 1.1.1-tasdiqqa ko’ra ๐ด
operator ๐ > 1 xos qiymatlarga ega bo’lishi mumkin. Aytaylik ๐ > 1 bo’lsin, unda
1
๐ 2
โ′ (๐) = ∫0 (๐ −๐)2 ๐๐ > 0
lim โ(๐) = −∞; lim โ(๐) = 1
๐→1
๐→∞
shartlar o’rinli bo’ladi. Bundan (1; ∞) intervalda โ(๐) ning o’sishi va yagona
๐0 ∈ (1; ∞) nuqtada โ(๐0 ) = 0 tenglik bajarilishi hosil bo’ladi. Shunday qilib, [0; 1]
kesmadan boshqa ๐ด ning bitta xos qiymati mavjud ekanligiga erishamiz. Masalan, ๐ ∈
๐ถ โงต [0; 1] son ๐ด ning xos qiymati bo’lmasin. ๐ด − ๐๐ผ operatorga teskari operatorni
aniqlaymiz:
1
(๐ด − ๐๐ผ )๐ฅ(๐ก ) = (๐ก − ๐ฅ)๐ฅ(๐ก ) + ๐ก ∫ ๐ ๐ฅ(๐ )๐๐ = ๐ฆ(๐ก ),
๐ฅ, ๐ฆ ∈ ๐ฟ2 [0; 1]
0
tenglikdan
1
๐ผ๐ฅ = ∫0 ๐ ๐ฅ(๐ )๐๐
ni olgan holatda ๐ฅ(๐ก) ni topib olamiz:
(๐ก − ๐)๐ฅ (๐ก ) + ๐ก โ ๐ผ๐ฅ = ๐ฆ(๐ก ),
๐ฆ(๐ก)
๐ก
๐ฆ(๐ก)
๐ก
Bundan
๐ฅ(๐ก ) = ๐ก−๐ − ๐ผ๐ฅ ๐ก−๐
๐ฅ(๐ก) uchun olingan ๐ฅ(๐ก ) = ๐ก−๐ − ๐ผ๐ฅ ๐ก−๐
ifodani
๐ผ๐ฅ = ∫0 ๐ ๐ฅ(๐ )๐๐ ga qo’ysak, ๐ผ๐ฅ uchun ๐ผ๐ฅ = ∫0 ๐ −๐ ๐๐ −
1
1 ๐ ๐ฆ(๐ )
1 ๐ 2
๐ผ๐ฅ ∫0 ๐ −๐ ๐๐
tenglamaga erishamiz. Bundan esa โ(๐) ≠ 0 ekanligidan
hosil bo’ladi. Bundan,
๐ฆ(๐ก)
๐ก
1
1
1 ๐ ๐ฆ(๐ )
๐ผ๐ฅ = โ๐ ∫0 ๐ −๐ ๐๐
1 ๐ ๐ฆ(๐ )
๐ฅ(๐ก ) = ๐ก−๐ − ๐ก−๐ โ(๐) ∫0 ๐ −๐ ๐๐ kelib chiqadi.
Shunday ekan, ๐ด ning rezolventasi quyidagi
http://www.newjournal.org/
135
Volume–27_Issue-5_April_2023
JOURNAL OF NEW CENTURY INNOVATIONS
1
๐ฆ(๐ก)
๐ก
1
๐ ๐ฆ(๐ )
∫
๐
๐ (๐ด)๐ฆ(๐ก ) =
−
๐๐ ,
๐ก − ๐ ๐ก − ๐ โ(๐) ๐ − ๐
๐ฆ ∈ ๐ฟ2 [0; 1]
0
formula yordamida aniqlanadi.
Bu olingan natijalardan ko’rinadiki, agar ๐ ∈ ๐ถ โงต {[0; 1] ∪ {๐0 }} bo’lsa, unda
๐ท(๐
๐ (๐ด)) = ๐ฟ2 [0; 1] va ๐
๐ (๐ด) chegaralangan, bunda ๐0 ∈ (0; ∞) va โ(๐0 ) = 0
b) ๐ ∈ [0; 1] bo’lsin, unda ๐ผ๐(๐ด − ๐๐ผ ) ≠ ๐ฟ2 [0; 1], sababi ๐ฆ0 (๐ก) ≡ 1 funksiyani
olsak ๐ฆ0 ∉ ๐ผ๐(๐ด − ๐๐ผ). Shunday ekan, ๐ท(๐
๐ (๐ด)) ≠ ๐ฟ2 [0; 1] va shu sabab ๐ ∈ ๐(๐ด).
Demak, ๐ด ning spektri ๐(๐ด) = [0; 1] ∪ {๐0 } to’plamdan iborat, bunda ๐0 ∈ (0; ∞)
va
โ(๐0 ) = 0.
Musbat va unitar operatorlar
Bizga ๐ป – Gilbert fazosi va unda aniqlangan ๐ด: ๐ป → ๐ป o’z-o’ziga qo’shma
operator berilgan bo’lsin.
Ta’rif: Agar istalgan ๐ฅ ∈ ๐ป element uchun (๐ด๐ฅ, ๐ฅ) ≥ 0 shart o’rinli bo’lib, hech
bo’lmaganda yagona ๐ฅ0 ∈ ๐ป uchun (๐ด๐ฅ0 , ๐ฅ0 ) > 0 tengsizlik o’rinli bo’ls, ๐ด operatorga
musbat operator deyiladi, ๐ด > 0 ko’rinishida belgilanadi.
Agar ๐ด, ๐ต: ๐ป → ๐ป o’z-o’ziga qo’shma operatorlar uchun quyidagi ๐ด − ๐ต > 0
shart bajarilsa, u holda ๐ด operatorga ๐ต operatordan katta deyildi va ๐ด > ๐ต ko’rinishida
belgilanadi. Agar ๐ด > ๐ต va ๐ด = ๐ต bo’lsa, bu ๐ด ≥ ๐ต ko’rinishda yoziladi.
O’z-o’ziga qo’shma operatorlar to’plamida keltirilgan tengsizliklar amalining
quyidagi xossalari bor:
1)
๐ด ≥ ๐ต, ๐ถ ≥ ๐ท bo’lsa, unda ๐ด + ๐ถ ≥ ๐ต + ๐ท o’rinli bo’ladi.
2)
๐ด ≥ 0, ๐ผ ≥ 0 bo’lsa, unda ๐ผ๐ด ≥ 0 o’rinli bo’ladi.
3)
๐ด ≥ ๐ต, ๐ต ≥ ๐ถ bo’lsa, unda ๐ด ≥ ๐ถ o’rinli bo’ladi.
4)
๐ด > 0 operator uchun ๐ด−1 operator mavjud bo’lsa, unda ๐ด−1 > 0
bo’ladi.
5)
๐ด, ๐ต operatorlar musbat o’rin almashinuvchi va o’z-o’ziga qo’shma
bo’lsa, ๐ด๐ต operator ham musbat operator bo’ladi.
Lemma: ๐ด, ๐ต ∈ ๐ฟ(๐ป) nomanfiy operatorlar va ๐ผ, ๐ฝ nomanfiy haqiqiy sonlar
bo’lsin, unda ๐ผ๐ด + ๐ฝ๐ต operator ham nomanfiy bo’ladi.
Lemma: ๐ด operator nomanfiy bo’lsin, unda quyidagi
|(๐ด๐ฅ, ๐ฆ)| ≤ √(๐ด๐ฅ, ๐ฅ)√(๐ด๐ฆ, ๐ฆ)
Koshi-Bunyakovskiyning umumlashgan tengsizligi o’rinli bo’ladi.
Teorema: O’z-o’ziga qo’shma o’rin almashinuvchi musbat ๐ด va ๐ต operatorlar
ko’paytmasi musbat bo’ladi.
Teorema: Istalgan musbat ๐ด operatorning bitta ๐ต kvadrat ildizi mavjuddir. Shu
bilan birga, ๐ต operator ๐ด operator bilan o’rin almashinuvchi bo’lgan istalgan ๐ถ
operator bilan ham o’rin almashinuvchi bo’ladi.
http://www.newjournal.org/
136
Volume–27_Issue-5_April_2023
JOURNAL OF NEW CENTURY INNOVATIONS
Teorema: Ixtiyoriy har qanday chiziqli chegaralangan ๐ด uchun ๐ด๐ด∗ va ๐ด∗ ๐ด lar
musbat operatorlardir.
Misol:
1
1
๐ด: ๐2 → ๐2 , ๐ด๐ฅ = (๐ฅ1 , 2 ๐ฅ2 , … , ๐ ๐ฅ๐ , … ) , ๐ฅ = (๐ฅ1 , ๐ฅ2 , … , ๐ฅ๐ , … ) ∈ ๐2
operatorni musbatlikka tekshiring. ๐ด operator agar musbat bo’lsa uning kvadratik ildizi
topilsin.
Yechish: Avval istalgan ๐ฅ, ๐ฆ ∈ ๐2 uchun (๐ฅ, ๐ฆ) = ∑∞
๐ฆ๐ takrorlab o’tamiz
๐=1 ๐ฅ๐ ฬ
ฬ
ฬ
1
va ๐ด ning o’z-o’ziga qo’shma ekanligini ko’rsatib o’tamiz: (๐ด๐ฅ, ๐ฆ) = ∑∞
๐ฆ๐ =
๐=1 ๐ ๐ฅ๐ ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
1
∑∞
๐=1 ๐ฅ๐ (๐ ๐ฆ๐ ) = (๐ฅ, ๐ด๐ฆ)
1
2
๐ด ning aniqlanishiga ko’ra (๐ด๐ฅ, ๐ฅ) = ∑∞
๐=1 ๐ |๐ฅ๐ | ≥ 0
shart istalgan ๐ฅ ∈ ๐2 uchun o’rinli. Agar ๐ฅ0 = (1,0, … ,0, … ) ∈ ๐2 deyilsa, unda
(๐ด๐ฅ0 , ๐ฅ0 ) = 1 > 0 bo’ladi va ta’rifga ko’ra ๐ด > 0.
Ana endi ๐ต: ๐2 → ๐2 , ๐ต๐ฅ = (๐ฅ1 ,
1
√2
๐ฅ2 , … ,
1
๐ฅ , … ) , ๐ฅ = (๐ฅ1 , … , ๐ฅ๐ , … ) ∈ ๐2
√๐ ๐
operatorni ko’ramiz va ๐ต2 = ๐ด ekanini ko’rsatamiz. Chindan ham
1
1
1 1
1 1
√
√
√ √
√ √
๐ต2 ๐ฅ = ๐ต(๐ต๐ฅ) = (๐ฅ1 , 2 ๐ฅ2 , … , ๐ ๐ฅ๐ , … ) = (๐ฅ1 , 2 2 ๐ฅ2 , … , ๐ ๐ ๐ฅ๐ , … ) =
1
1
2
๐
(๐ฅ1 , ๐ฅ2 , … , ๐ฅ๐ , … ) = ๐ด๐ฅ, ๐ฅ = (๐ฅ1 , ๐ฅ2 , … , ๐ฅ๐ , … ) ∈ ๐2 bo’ladi.
Misol: Quyidagi
1
๐ด: ๐ฟ2 [0; 1] → ๐ฟ2 [0; 1], (๐ด๐ฅ)(๐ก ) = ๐ก ∫ ๐ ๐ฅ (๐ )๐๐ , ๐ฅ ∈ ๐ฟ2 [0; 1]
0
operatorni musbatlikka tekshiring. ๐ด musbat operator bo’lsa uning kvadratik
ildizini toping.
(๐ด๐ฅ, ๐ฆ) =
Yechish: ๐ฅ, ๐ฆ ∈ ๐ฟ2 [0; 1] ixtiyoriy element bo’lsin, unda
1
1 1
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
๐๐ก = ∫1 (๐ก ∫1(๐ ๐ฅ)(๐ ) ๐๐ ) ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
๐๐ ๐๐ก =
๐ฆ(๐ก)๐๐ก = ∫ ∫ ๐ก๐ ๐ฅ(๐ )๐ฆ(๐ก)
∫ (๐ด๐ฅ)(๐ก)๐ฆ(๐ก)
0
0
0
0
0
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
1
1
∫0 ๐ฅ(๐ก) (๐ก ∫0 ๐ ๐ฅ (๐ )๐๐ ) ๐๐ก = (๐ฅ, ๐ด๐ฆ)
Tenglik o’rinli. Ya’ni ๐ด o’z-o’ziga qo’shma operator. ๐ด operatorni musbatlikka
tekshirish uchun italgan ๐ฅ ∈ ๐ฟ2 [0; 1] uchun (๐ด๐ฅ, ๐ฅ) ni qaraymiz: (๐ด๐ฅ, ๐ฅ) =
2
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
1
1
1
1
1
๐ฅ(๐ก) ๐๐ก = ∫0 ๐ ๐ฅ(๐ )๐๐ (∫0 ๐ ๐ฅ (๐ )๐๐ ) = |∫0 ๐ ๐ฅ(๐ )๐๐ | ≥ 0,
∫0 (๐ก ∫0 ๐ ๐ฅ(๐ )๐๐ ) ฬ
ฬ
ฬ
ฬ
ฬ
ฬ
1
2
1
bunda ๐ฅ0 (๐ก ) ≡ 1 uchun (๐ด๐ฅ0 , ๐ฅ0 ) = |∫0 ๐ ๐๐ | = 4 > 0 Demak, ๐ด musbat
operator.
Quyidagi ๐ต: ๐ฟ2 [0; 1] → ๐ฟ2 [0; 1],
1
(๐ด๐ฅ)(๐ก ) = ๐๐ก ∫0 ๐ ๐ฅ (๐ )๐๐ , ๐ฅ ∈ ๐ฟ2 [0; 1] ni
qaraymiz. Bunda ๐ biror bir o’zgarmas son bo’lsin, ๐ต2 = ๐ด
topiladi.
http://www.newjournal.org/
va ๐ต ≥ 0 shartlardan
1
(๐ต2 ๐ฅ)(๐ก ) = (๐ต(๐ต๐ฅ))(๐ก ) = ๐ต (๐๐ก ∫0 ๐ ๐ฅ (๐ )๐๐ ) =
137
Volume–27_Issue-5_April_2023
JOURNAL OF NEW CENTURY INNOVATIONS
1
๐2
1
1
1
๐๐ก ∫0 ๐ (๐๐ ∫0 ๐ ′ ๐ฅ(๐ ′ )๐๐ ′ ) ๐๐ = 3 ๐ก ∫0 ๐ ๐ฅ (๐ )๐๐ = ๐ก ∫0 ๐ ๐ฅ(๐ )๐๐ = (๐ด๐ฅ)(๐ก) Bundan
esa ๐ = √3 bo’lishi kelib chiqadi.
Bizga ๐ป Gilbert fazosi berilgan bo’lsin. Agar ๐ป Gilbert fazosida aniqlangan ๐
operator ixtiyoriy ๐ , ๐ ๏๐ป lar uchun (๐๐ , ๐๐) ๏ฝ ( ๐ , ๐) tenglikni qanoatlantirsa, ๐
ga izometrik operator deyiladi. Agar bu yerda ๐ operator ๐ป ni to’liq ๐ป fazoga
o’tkazsa, u holda ๐ ga unitar operator deyiladi. Shunday qilib, agar ๐ izometrik
operator bo’lib, ๐
(๐) ๏ฝ ๐ป shart bajarilsa, u holda ๐ ga unitar operator deyiladi.
Ta’rifdan ko’rinib turibdiki, har qanday unitar operator albatta izometrik operator
bo’ladi, teskari tasdiq umuman olganda o’rinli bo’lmasligi mumkin.
Chekli o’lchamli fazoda ta’sir qiluvchi va yadrosi faqat nol elementdan tashkil
topgan ixtiyoriy chiziqli operator fazoni to’liq fazoga o’tkazuvchi operator bo’ladi. Shu
sababli chekli o’lchamli fazodagi ixtiyoriy izometrik operator unitar operator bo’ladi.
Cheksiz o’lchamli fazo holida bu tasdiq umuman olganda o’rinli emas. Bunga ishonch
hosil qilish maqsadida quyidagi misolni qaraymiz:
๐: ๐2 → ๐2 ,
๐๐ฅ = (0, ๐ฅ1 , ๐ฅ2 , … , ๐ฅ๐−1 , … ), ๐ฅ = (๐ฅ1 , … , ๐ฅ๐ , … ) ∈ ๐2
operatorni qaraymiz. Ixtiyoriy ๐ฅ, ๐ฆ ∈ ๐2 elementlar uchun
∞
(๐๐ฅ, ๐๐ฆ) = ∑ ๐ฅ๐ ๐ฆ
ฬ
ฬ
ฬ
๐ = (๐ฅ, ๐ฆ)
๐=1
munosabatlar o’rinlidir. Ta’rifga ko’ra ๐ izometrik operator bo’ladi. ๐
operatorning aniqlanishiga ko’ra
๐
(๐ ) = {๐ฅ ∈ ๐2 : ๐ฅ = (๐ฅ1 , … , ๐ฅ๐ , … ), ๐ฅ1 = 0}
Shu sababli, ๐
(๐) ๏น ๐2 munosabat o’rinlidir. Chunki๐ฅ0 = (1,0, … ,0, … ) ∈ ๐2 ,
lekin ๐ฅ0 ∉ ๐
(๐) . Demak, ๐ operator unitar operator bo’la olmaydi.
Bizga ๐ป gilbert fazosi berilgan bo’lsin. Agar ๐ โถ ๐ป ๏ฎ ๐ป chiziqli operator ๐ป ni ๐ป
ning hamma yeriga normani saqlagan holda akslantirsa, ya’ni ixtiyoriy ๐ฅ ∈ ๐ป uchun
||๐๐ฅ ||๏ฝ|| ๐ฅ ||
tenglik o’rinli bo’lsa, u holda ๐ ga unitar operator deyiladi.
Misol: ๐๐ : ๐ฟ2 (๐ ๐ ) → ๐ฟ2 (๐ ๐ ), (๐๐ ๐)(๐ฅ) = ๐ ๐(๐ ,๐ฅ) ๐(๐ฅ), ๐ ∈ ๐ฟ2 (๐ ๐ ), ๐ ∈ ๐ ๐
operator unitar. Haqiqatan
2
โ๐๐ ๐โ2 = ∫ |๐ ๐(๐ ,๐ฅ) ๐(๐ฅ)| = ∫ |๐(๐ฅ)|2 ๐๐ฅ = โ๐โ2
๐๐
๐๐
Va ๐ท(๐๐ ) = ๐ฟ2 (๐ ๐ ), ๐
(๐๐ ) = ๐ฟ2 (๐ ๐ ) ekani ta’rifga ko’ra ๐๐ unitar bo’ladi.
ฬ๐ = ๐2 (๐ ๐ ) → ๐2 (๐ ๐ ), (๐
ฬ๐ ๐ฬ)(๐) = ๐ฬ(๐ + ๐ ), ๐ฬ ∈ ๐2 (๐ ๐ ), ๐ ∈ ๐ ๐
Misol: ๐
Operator unitar, haqiqatan
ฬ๐ ๐ฬโ2 = ∑ โ๐ฬ(๐ + ๐ )โ2 = ∑ โ๐ฬ(๐)โ2 = โ๐ฬโ2
โ๐
๐∈๐ ๐
http://www.newjournal.org/
๐∈๐ ๐
138
Volume–27_Issue-5_April_2023
JOURNAL OF NEW CENTURY INNOVATIONS
ฬ๐ ) = ๐2 (๐ ๐ ), ๐
(๐
ฬ๐ ) = ๐2 (๐ ๐ ) ekani ta’rifga ko’ra ๐
ฬ๐ unitar bo’ladi.
Va ๐ท(๐
Mazkur yo‘nalishda olib borilgan ishlar tahlili va olingan natijalar [5-32]
maqolalarda keng yoritilgan. Shu blan bir qatorda matematikaning amaliy tadbiqlari
to‘g‘risida misollar keltirilgan.
FOYDALANILGAN ADABIYOTLAR (REFERENCES)
1. ะก.ะ.ะะฐะบะฐะตะฒ, ะ.ะญ.ะัะผะธะฝะพะฒ, ะข.ะ.ะค, 135:3 (2003), 478-503 ะฑะตั.
2. ะ.ะญ.ะัะผะธะฝะพะฒ, ะ ะฟะพะปะพะถะธัะตะปัะฝะพััะธ ะดะฒัั
ัะฐััะธัะฝะพะณะพ ะณะฐะผะธะปััะพะฝะธะฐะฝะฐ ะฝะฐ
ัะตัะตัะบะต. 2007, 382-383 ะฑะตั.
3. T.H.Rasulov, D.E.Ismoilova. O‘z-o‘ziga qo‘shma operatorlar. O‘quv–metodik
qo‘llanma. 2021 yil, 172 bet.
4.S.N.Laqayev, Sh.Yu.Holmatov Hilbert fazolarida o’z-o’ziga qo’shma operatorlar.
2012
5. ะจัะบััะพะฒะฐ ะ.ะค., ะ ะฐัะฟะพะฒะฐ ะ.ะฅ. ะะฐัั ัะฐััะธะฑะปะธ ะธะฝัะตะณัะฐะปะปะฐัะฝะธ าณะธัะพะฑะปะฐัะณะฐ ะดะพะธั
ะผะตัะพะดะธะบ ัะฐะฒัะธัะปะฐั // Science and Education, scientific journal, 3:3 (2022),
65-76 b.
6. ะะพะทะพัะพะฒะฐ ะ.ะจ., ะ ะฐัะฟะพะฒะฐ ะ.ะฅ. ะ ััะฝะบัะธะธ ะัะธะฝะฐ ะฒััะพะถะดะฐััะตะณะพัั ััะฐะฒะฝะตะฝะธั
ัะปะปะธะฟัะธัะตัะบะพะณะพ ัะธะฟะฐ // Science and Education, scientific journal, 3:3 (2022), ั.1422.
7. ะะฐะผะพะปะพะฒ ะ.ะ., ะ ะฐัะฟะพะฒะฐ ะ.ะฅ. ะ ััะฝะบัะธะธ ะ ะธะผะฐะฝะฐ ะฒััะพะถะดะฐััะตะณะพัั ััะฐะฒะฝะตะฝะธั
ะณะธะฟะตัะฑะพะปะธัะตัะบะพะณะพ ัะธะฟะฐ // Science and Education, scientific journal, 3:3 (2022), ั.2330.
8. Rasulov, X. (2022). ะะฑ ะพะดะฝะพะผ ะบัะฐะตะฒะพะผ ะทะฐะดะฐัะต ะดะปั ะบะฒะฐะทะธะปะธะฝะตะนะฝะพะณะพ ััะฐะฒะฝะตะฝะธั
ัะปะปะธะฟัะธัะตัะบะพะณะพ ัะธะฟะฐ ั ะดะฒัะผั ะปะธะฝะธัะผะธ ะฒััะพะถะดะตะฝะธั. ะฆะตะฝัั ะฝะฐััะฝัั
ะฟัะฑะปะธะบะฐัะธะน
(buxdu.Uz), 8(8).
9. Rasulov, X. (2022). ะะฑ ะพะดะฝะพะน ะทะฐะดะฐัะต ะดะปั ะฒััะพะถะดะฐััะตััั ะบะฒะฐะทะธะปะธะฝะตะนะฝะพะณะพ
ััะฐะฒะฝะตะฝะธั ะณะธะฟะตัะฑะพะปะธัะตัะบะพะณะพ ัะธะฟ. ะฆะตะฝัั ะฝะฐััะฝัั
ะฟัะฑะปะธะบะฐัะธะน (buxdu.Uz),
18(18).
10. Rasulov, R. X. R. (2021). Boundary value problem in a domain with deviation from
the characteristics for one nonlinear equation of a mixed type. ะฆะตะฝัั ะฝะฐััะฝัั
ะฟัะฑะปะธะบะฐัะธะน (buxdu.Uz), 7(7).
11. Rasulov, R. X. R. (2022). Analysis of Some Boundary Value Problems for MixedType Equations with Two Lines of Degeneracy. ะฆะตะฝัั ะฝะฐััะฝัั
ะฟัะฑะปะธะบะฐัะธะน
(buxdu.Uz), 18(18).
12. Rasulov, R. X. R. (2022). ะะฒะฐะทะธ ัะธะทะธาะปะธ ะณะธะฟะตัะฑะพะปะธะบ ัััะดะฐะณะธ ัะตะฝะณะปะฐะผะฐ ัััะฝ
ะะพัะธ ะผะฐัะฐะปะฐัะธ. ะฆะตะฝัั ะฝะฐััะฝัั
ะฟัะฑะปะธะบะฐัะธะน (buxdu.Uz), 18(18).
13. Rasulov, X. (2021). ะัะฐะตะฒะฐั ะทะฐะดะฐัะฐ ะดะปั ะพะดะฝะพะณะพ ะฝะตะปะธะฝะตะนะฝะพะณะพ ััะฐะฒะฝะตะฝะธั
ัะผะตัะฐะฝะฝะพะณะพ ัะธะฟะฐ. ะฆะตะฝัั ะฝะฐััะฝัั
ะฟัะฑะปะธะบะฐัะธะน (buxdu.Uz), 7(7).
14. Rasulov, R. X. R. (2021). ะะธะฟะตัะฑะพะปะธะบ ัะธะฟะดะฐะณะธ ัะตะฝะณะปะฐะผะฐ ัััะฝ ะะพัะธ ะผะฐัะฐะปะฐัะธ.
ะฆะตะฝัั ะฝะฐััะฝัั
ะฟัะฑะปะธะบะฐัะธะน (buxdu.Uz), 7(7).
15. Rasulov, R. X. R. (2022). ะ ะบัะฐะตะฒัั
ะทะฐะดะฐัะฐั
ะดะปั ััะฐะฒะฝะตะฝะธะน ัะปะปะธะฟัะธัะตัะบะพะณะพ
ัะธะฟะฐ ั ะปะธะฝะธะตะน ะธัะบะฐะถะตะฝะธั. ะฆะตะฝัั ะฝะฐััะฝัั
ะฟัะฑะปะธะบะฐัะธะน (buxdu.Uz), 8(8).
http://www.newjournal.org/
139
Volume–27_Issue-5_April_2023
JOURNAL OF NEW CENTURY INNOVATIONS
16. Rasulov, R. X. R. (2022). ะะบะบะธัะฐ ะฑัะทะธะปะธั ัะธะทะธาะธะณะฐ ัะณะฐ ะฑัะปะณะฐะฝ ะฐัะฐะปะฐั ัะธะฟะดะฐะณะธ
ะบะฒะฐะทะธัะธะทะธาะปะธ ัะตะฝะณะปะฐะผะฐ ัััะฝ ะะตะนะผะฐะฝ ะผะฐัะฐะปะฐัะธะณะฐ ัั
ัะฐั ัะตะณะฐัะฐะฒะธะน ะผะฐัะฐะปะฐ
าณะฐาะธะดะฐ. ะฆะตะฝัั ะฝะฐััะฝัั
ะฟัะฑะปะธะบะฐัะธะน (buxdu.Uz), 18(18).
17. Rasulov, H. (2021). Funksional tenglamalarni yechish bo‘yicha ba’zi uslubiy
ko‘rsatmalar. ะฆะตะฝัั ะฝะฐััะฝัั
ะฟัะฑะปะธะบะฐัะธะน (buxdu.Uz), 5(5).
18. Rasulov, H. (2021). «Kompleks analiz» fanida mustaqil ta’limni tashkil qilish.
ะฆะตะฝัั ะฝะฐััะฝัั
ะฟัะฑะปะธะบะฐัะธะน (buxdu.Uz), 5(5).
19. Rasulov, H. (2021). Boundary value problem for a quasilinear elliptic equation with
two perpendicular line of degeneration. ะฆะตะฝัั ะฝะฐััะฝัั
ะฟัะฑะปะธะบะฐัะธะน (buxdu.Uz),
5(5).
20. Rasulov, H. (2021). ะะฐัะทะธ ะดะธะฝะฐะผะธะบ ัะธััะตะผะฐะปะฐัะฝะธะฝะณ ัะพะฝะปะธ ะตัะธะผะปะฐัะธ าณะฐาะธะดะฐ.
ะฆะตะฝัั ะฝะฐััะฝัั
ะฟัะฑะปะธะบะฐัะธะน (buxdu.Uz), 2(2).
21. Rasulov, H. (2021). Funksiyaning toสปla oสปzgarishini hisoblashdagi asosiy qoidalar.
ะฆะตะฝัั ะฝะฐััะฝัั
ะฟัะฑะปะธะบะฐัะธะน (buxdu.Uz), 6(6).
22. Rasulov, H. (2021). One dynamic system with continuous time. ะฆะตะฝัั ะฝะฐััะฝัั
ะฟัะฑะปะธะบะฐัะธะน (buxdu.Uz), 5(5).
23. Rasulov, X. (2022). ะะฑ ะพะดะฝะพะน ะดะธะฝะฐะผะธัะตัะบะพะนัะธััะตะผะต ั ะฝะตะฟัะตััะฒะฝัะผ ะฒัะตะผะตะฝะตะผ.
ะฆะตะฝัั ะฝะฐััะฝัั
ะฟัะฑะปะธะบะฐัะธะน (buxdu.Uz), 22(22).
24. Rasulov, R. X. R. (2022). Buzilish chizig’iga ega kvazichiziqli elliptik tenglama
uchun Dirixle-Neyman masalasi. ะฆะตะฝัั ะฝะฐััะฝัั
ะฟัะฑะปะธะบะฐัะธะน (buxdu.Uz), 18(18).
25. Rasulov, R. X. R. (2022). ะะบะบะธัะฐ ะฟะตัะฟะตะฝะดะธะบัะปัั ะฑัะทะธะปะธั ัะธะทะธาะธะณะฐ ัะณะฐ ะฑัะปะณะฐะฝ
ะฐัะฐะปะฐั ัะธะฟะดะฐะณะธ ัะตะฝะณะปะฐะผะฐ ัััะฝ ัะตะณะฐัะฐะฒะธะน ะผะฐัะฐะปะฐ าณะฐาะธะดะฐ. ะฆะตะฝัั ะฝะฐััะฝัั
ะฟัะฑะปะธะบะฐัะธะน (buxdu.Uz), 22(22).
26. Rasulov, R. X. R. (2022). ะัะทะธะปะธั ัะธะทะธาะธะณะฐ ัะณะฐ ะฑัะปะณะฐะฝ ะบะฒะฐะทะธัะธะทะธาะปะธ ะฐัะฐะปะฐั
ัะธะฟะดะฐะณะธ ัะตะฝะณะปะฐะผะฐ ัััะฝ ะขัะธะบะพะผะธ ะผะฐัะฐะปะฐัะธะณะฐ ัั
ัะฐั ัะตะณะฐัะฐะฒะธะน ะผะฐัะฐะปะฐ าณะฐาะธะดะฐ.
ะฆะตะฝัั ะฝะฐััะฝัั
ะฟัะฑะปะธะบะฐัะธะน (buxdu.Uz), 18(18).
27. Rasulov, X. (2022). ะัะฐะตะฒัะต ะทะฐะดะฐัะธ ะดะปั ะบะฒะฐะทะธะปะธะฝะตะนะฝัั
ััะฐะฒะฝะตะฝะธะน
ัะผะตัะฐะฝะฝะพะณะพ ัะธะฟะฐ ั ะดะฒัะผั ะปะธะฝะธัะผะธ ะฒััะพะถะดะตะฝะธั. ะฆะตะฝัั ะฝะฐััะฝัั
ะฟัะฑะปะธะบะฐัะธะน
(buxdu.Uz), 8(8).
28. Rasulov, X. (2022). ะะฑ ะพะดะฝะพะน ะบัะฐะตะฒะพะน ะทะฐะดะฐัะต ะดะปั ะฝะตะปะธะฝะตะนะฝะพะณะพ ััะฐะฒะฝะตะฝะธั
ัะปะปะธะฟัะธัะตัะบะพะณะพ ัะธะฟะฐ ั ะดะฒัะผั ะปะธะฝะธัะผะธ ะฒััะพะถะดะตะฝะธั. ะฆะตะฝัั ะฝะฐััะฝัั
ะฟัะฑะปะธะบะฐัะธะน
(buxdu.Uz), 18(18).
29. Rasulov, X. (2022). ะ ะดะธะฝะฐะผะธะบะต ะพะดะฝะพะน ะบะฒะฐะดัะฐัะธัะฝะพะน ะดะธะฝะฐะผะธัะตัะบะพะน ัะธััะตะผั ั
ะฝะตะฟัะตัะธะฒะฝัะผ ะฒัะตะผะตะฝะตะผ. ะฆะตะฝัั ะฝะฐััะฝัั
ะฟัะฑะปะธะบะฐัะธะน (buxdu.Uz), 18(18).
30. ะ ะฐััะปะพะฒ ะฅ.ะ . ะะฝะฐะปะพะณ ะทะฐะดะฐัะธ ะขัะธะบะพะผะธ ะดะปั ะบะฒะฐะทะธะปะธะฝะตะนะฝะพะณะพ ััะฐะฒะฝะตะฝะธั
ัะผะตัะฐะฝะฝะพะณะพ ัะธะฟะฐ ั ะดะฒัะผั ะปะธะฝะธัะผะธ ะฒััะพะถะดะตะฝะธั // ะะตััะฝ. ะกะฐะผ. ะณะพั. ัะตั
ะฝ. ัะฝ-ัะฐ.
ะกะตั. ะคะธะท.-ะผะฐั. ะฝะฐัะบะธ, 2022. ะข. 26, โ 4.
31. Rasulov X.R. Qualitative analysis of strictly non-Volterra quadratic dynamical
systems with continuous time // Communications in Mathematics, 30 (2022), no. 1, pp.
239-250.
32. Rasulov X.R. Qualitative analysis of strictly non-Volterra quadratic dynamical systems with
continuous time // arXiv e-prints, 2022, arXiv: 2211.06186.
http://www.newjournal.org/
140
Volume–27_Issue-5_April_2023
0
You can add this document to your study collection(s)
Sign in Available only to authorized usersYou can add this document to your saved list
Sign in Available only to authorized users(For complaints, use another form )