shart ostida tekis chegaralangan bo'ladi. Hk uchun k = −2, −1, 0, 1, 2
(bu yerda
H0 =
H).
Isboti Biz lemma isbotini
H+2 uchun isbotlaymiz. Ikkilamchi fazo xossasiga ko'ra yetarlicha katta
|λ| larda
Rλ :
H−2 → H−2 operator tekis chegaralangan bo'ladi. Boshqa
Hk fazolar uchun tekis chegaralanganlik interpolatsiya
yordamida hosil qilinadi.
H+2 Hj da zich bo'lganligi sababli
Hj fazolarning barchasida tekis chegaralanganlik bo'lganligi uchun hamda
H+2 da kuchli yaqinlashish bo'lganligi uchun
Hj da kuchli yaqinlashish kelib chiqadi.
H0 3- shartdagi operator bo'lsin. Biz
H0 operatorni ham regulyarizatsiya qilamiz.
ϕ ∈ H+2 bo'lsa, u holda
(
H0+
i)(
I+
iεH0)
−1Rλϕ =
Rλ(
H0+
i)(
I+
iεH0)
−1ϕ+[(
H0+
i)(
I+
iεH0)
−1, Rλ]
ϕ
ǁRλǁ = 1 ekanligidan,
ǁRλ(
H0 +
i)(
I +
iεH0)
−1ϕǁ ™
ǁ(
H0 +
i)
ϕǁ.
Bundan esa quydagilar kelib chiqadi.
[(
H0 +
i)(
I +
iεH0)
−1, Rλ] = (
iA+
λ)
−1[(
H0 +
i)(
I +
iεH0)
−1, iA]
Rλ =