{Axn} ketma-ketlik bittadan ortiq limitik nuqtaga ega emas. Demak, {Axn}
yaqinlashuvchi ketma-ketlik.
Endi biz o`z-o`ziga qo`shma bo`lgan kompakt operatorlarni batafsilroq o`rganamiz. Xususan, bunday operatorlar uchun chiziqli algebra kursidan ma'lum bo`lgan matritsalarni diagonal ko`rinishga keltirish haqidagi teoremaga o`xshash Hilbert-Shmidt teoremasini isbotlaymiz. Avval quyidagi ikkita tasdiqni isbotlaymiz.
Lemma. H kompleks Hilbert fazosidagi o`z-o`ziga qo`shma bo`lgan chegaralangan A operatorning barcha xos qiymatlari haqiqiydir.
Isbot. Haqiqatan ham, Ax = λx tenglama x ƒ= ∅ yechimga ega bo`lsin. U holda
λ(x, x) = (λx, x) = (Ax, x) = (x, Ax) = (x, λx) = λ(x, x)
Bu yerdan λ
Lemma. O`z-o`ziga qo`shma chegaralangan operatorning har xil xos qiymatlariga mos keluvchi xos vektorlari o`zaro ortogonaldir.
Isbot. Haqiqatan ham, agar Ax = λx, Ay = µy hamda λ − µ ƒ= 0 bo`lsa, u holda
λ(x, x) = (Ax, y) = (x, Ay) = (x,µy) = µ(x, y).
Bu yerdan (λ − µ)(x, y) = 0, ya'ni (x; y) = 0. Demak, x⊥y.
Endi quyidagi fundamental teoremani isbotlaymiz
Teorema (Hilbert-Shmidt). H Hilbert fazosida kompakt, o`z-o`ziga qo`shma, chiziqli A operator berilgan bo`lib, {λn} - uning barcha nolmas xos qiymatlari ketma-ketligi bo`lsin. U holda H fazoda shu xos qiymatlarga mos keluvchi xos vektorlardan iborat shunday {φ} ortonormal sistema mavjudki,
har bir ξ ∈ H element yagona usulda
Σ
ξ = ckφk + ξj
k
Σ
ko`rinishda tasvirlanadi, bu yerda ξj vektor Aξj = 0 shartni qanoatlantiradi. Bu holda
Aξ = λkckφk + ξj.
k
Agar nolmas xos qiymatlar soni cheksiz bo`lsa, u holda
lim
n→∞
λn = 0.
Bu asosiy teoremani isbotlash uchun bizga quyidagi yordamchi tasdiqlar kerak bo`ladi.
Lemma. A kompakt operator va {ξn} ketma-ketlik ξ elementga kuchsiz
yaqinlashsin, u holda
Q( ξn) = ( Aξn, ξn) → ( Aξ, ξ) = Q( ξ)
Isbot. Ixtiyoriy n natural son uchun
|( Aξn, ξn) − ( Aξ, ξ) | = |( Aξn, ξn) − ( Aξ,ξn) + ( Aξ,ξn) − ( Aξ, ξ) | ™
™ |(Aξn, ξn) − (Aξ, ξn)| + |(Aξ, ξn) − (Aξ, ξ)|.
Ikkinchi tomondan,
|( Aξn, ξn) − ( Aξ, ξn) | = |( Aξn, −Aξ, ξn) | ™ ǁξnǁ · ǁA( ξn − ξ) ǁ
va
|(Aξn, ξn) − (Aξ, ξ)| = |(Aξn, ξn − ξ)| = |(ξ, A∗(ξn − ξ))| ™ ǁξnǁ · ǁA∗(ξn − ξ)ǁ.
Ma'lumki, ǁξnǁ sonlar ketma-ketligi chegaralangan va
n→∞
lim (ǁA(ξn − ξ)ǁ + ǁA∗(ξn − ξ)ǁ) = 0
bo`lganligi uchun, n → ∞ da
|(Aξn, ξn) − (Aξ, ξ)| → 0.
Lemma. A o`z-o`ziga qo`shma chegaralangan operator va (Aξ, ξ) = Q(ξ)
bo`lsin. Agar Q(ξ) funksional birlik sharning ξ0 nuqtasida maksimumga erishsa, u holda (ξ0, ζ) = 0 ekanligidan
(Aξ0, ζ) = (ξ0, Aζ) = 0
tengliklar kelib chiqadi.
Isbot. Ravshanki, ixtiyoriy ξ ∈ H uchun Q(xi) = (Aξ, ξ) ∈ R. Agar |Q(ξ)|
funksional birlik sharning ξ0 nuqtasida maksimumga erishsa, u holda ǁξ0ǁ = 1. Haqiqatan ham, agar ǁξ0ǁ < 1 bo`lsa, u holda
II BOB. Putnam teoremasi va Murr bahosi
Putnam teoremaasi
Tasdiq-1. H− o'z-o'ziga qo'shma operator hamda R(z) = (H − z)−1
bo'lsin. Qandaydir zich to'plamdan olingan ixtiyoriy ϕ uchun quyidagi shartni
qanoatlantiruvchi C(ϕ) < ∞ mavjud bo'lsin:
lim sup .ϕ, ImR(µ + iε)ϕΣ ≤ C(ϕ)
ε↓0 µ∈(a,b)
U holda H operator (a, b) kesmada faqatgina uzluksiz spektrga ega.
Isboti. E∆ = E∆(H) H ning ∆ ga mos spektral proektori bo'lsin. Stoun formulasiga ko'ra quydagi tenglikni yoza olamiz.
.
1 ϕ, .
E[aj, bj] + E(aj, bj)Σ ϕΣ
= lim
1 ∫ bj .
ϕ, ImR(µ + iε)ϕ
Σdµ.
2 ε↓0 π aj
E(aj, bj) ≤ E(aj, bj)tengsizlikdan (aj, bj) ⊆ (a, b) oraliqda ϕ funksiyanining
zichlik to'plami uchun quydagiga ega bo'lamiz.
1
(ϕ, E(aj, bj)ϕ) ≤
bj
∫
π aj
C( ϕ) dµ ≤
π C( ϕ) |bj
− aj|
Ixtiyoriy Ω ⊆ (a, b) borel to'plamlari uchun
(ϕ, EΩϕ) ≤ π(−1)C( ϕ) | Ω |
o'rinli bo'ladi. Bundan esa dµϕ spektral o'lcham absolyut uzluksizligi kelib
chiqadi. Bunday ϕ funksiyalar to'plami zich bo'lganligi uchun (a, b) intervaldagi spektr absolyut uzluksiz bo'ladi.
Teorema (Putnam teoremasi). H va A chegaralangan va o'z-o'ziga qo'shma operatorlar bo'lsin. Agar
[H, iA] = C∗C (3)
Bu yerda Ker (C) = {0} o'rinli bo'lsa, u holda H operator faqat absolyut uzluksiz spektrga ega.
Isboti. R(z) := (H − z)−1 bo'lsin. U holda quydagilarga egamiz.
ǁCR(µ ± iε)ǁ2 = ǁR(µ ∓ iε)C∗CR(µ ∓ iε)ǁ
= ǁR(µ ∓ iε)[H, iA] R(µ ± iε)ǁ = ǁR(µ ∓ iε)[H − µ ∓ iε, iA]R(µ ± iε)ǁ
≤ ǁAR(µ ± iε)ǁ + ǁR(µ ∓ iε)Aǁ + 2εǁR(µ ∓ iε)AR(µ ± iε)ǁ ≤ 4ε−1ǁAǁ.
2ǁCImR(µ + iε)C∗ǁ = ǁCR(µ + iε)2iεR(µ − iε)C∗ǁ ≤ 8ǁ, Aǁ
Bundan esa,
2ǁCImgR(µ + iε)C∗ǁ = ǁCR(µ + iε)2iεR(µ − iε)C∗ǁ ™ 8ǁAǁ
shuni yoza olamiz.
Ran(C∗) zich to'plam bo'lganligi uchun (1) tasdiqni xulosasidan teoremani isboti kelib chiqadi.
Izoh Yuqoridagi isbotdan ko'rishimiz mumkinki H vsA operatorlar chegaralangan bo'lsa, [H, iA] “ aI baho o'rinli bo'lmaydi.
Yuqoridagi [H, iA] “ aI baho barcha z larda R(z) rezolventani chegaralanganligini keltirib chiqaradi. Ya'ni H operator spektorga ega emas.
Murray tomonidan topilgan bahoni (1)tenglikning kuchsiz varianti deb
tasavvur qilish mumkin. H va A operatorlarning chegaralanmaganlik sharti Shryodinger operatorining tadbiqlarida muhim ahamyat kasb etadi. Undan tashqari Murraning lokal harakterga ega. Bu esa xos sonlar yordamida, agar ular mavjud bo'lmasa ham spektrning absolyut uzluksizligini isbotlashda qo'l
keladi.
Murray bahosiga to'xtalishdan avval bir nechta ta'ri ar keltiramiz. Boshlanishida ixtiyoriy o'z-o'ziga qo'shma asosativ H operator uchun H fazoning shkalasini kiritamiz.
Ta'rif 1. H Hilbert fazosidagi o'z-o'ziga qo'shma H operator uchun
ǁψǁ+2 = ǁ(H + i)ψǁ.
shunday norma kiritilgan D(H) to'plamni H+2 sifatida aniqlaymiz.
1
j
Xuddi shunday H+ := D(|H| 2 ) ko'rinishda aniqlanadi. H−2 va H−1 fazolar mos ravishda H+2 va H+1 ga dvoystvenniy qilib aniqlaymiz. Ularning har birini H fazoning ǁϕǁ−j = ǁ(|H| + I)− 2 ϕǁ norma bo'yicha yopilmasi sifatida
tushuniladi. Shu sababli quyidagi munosabat o'rinli.
H+2 ⊂ H+1 ⊂ H ⊂ H−1 ⊂ H−2
Izoh Agar H = −∆ yoki −∆+V bo'lsa, bu yerda V birdan kichkina, chegaraga
nisbaan vartiangle-chegaralangan. U holda kiritilgan fazolar, oddiy Sobolyov fazolari bilan ustma-ust tushadi.
Endi o'z-o'ziga qo'shma bo'lgan H va A operatorlar juftligi uchun quydagi shartlarni keltiramiz. Ulardan biz keyinchalik foydalanamiz. Bu shartlarda Hk− fazo H fazoga asosirniy bo'ladi.
shart D(A) ∩ H+2 to'plam H+2 fazoda zich.
shart D(A) ∩ H+2 da aniqlangan [H, iA] operatorni H+2 H−1 gacha
ettirish mumkin.
2j-shart D(A) ∩ H+2 da aniqlangan [H, iA] operatorni H+2 H−2 gacha ettirish mumkin.
shart D(H0) = D(H) tenglikni qanoatlantiruvchi shunday o'z-o'ziga qo'shma H0 operator mavjudki, bunda [H, iA]operator H+2 dan H gacha davom etadi hamda, D(A) ∩ D(H0A) to'plam H0 ning sushestvenniy to'plami
bo'ladi.
Izoh Amalyotda H = −∆ + V bo'lsa H0 sifatida −∆ olinadi.
shart H+2 ∩ D(A) to'plamda aniqlangan [[H, iA], iA] operator H+2 dan
H−2 gacha davom ettirish mumkin.
Dostları ilə paylaş: |