9

Компактные операторы и их спектры

[11/91%]
Показать
LaTeX
Задача 122

Пусть T∈B(X)T \in \mathcal{B}(X) — компактный оператор на банаховом пространстве XX. Предположим, что dim⁡X=∞\operatorname {dim} X = \infty. Покажите, что

?
(a)

dim⁡ker⁡(Tλn)<∞∀n∈N\operatorname {dim} \operatorname {ker}\left(T_{\lambda }^{n}\right) < \infty \quad \forall n \in \mathbb {N},

(b)

{0}=ker⁡(Tλ0)⊂ker⁡(Tλ1)⊂ker⁡(Tλ2)⊂…\left\{ 0\right\} = \operatorname {ker}\left(T_{\lambda }^{0}\right) \subset \operatorname {ker}\left(T_{\lambda }^{1}\right) \subset \operatorname {ker}\left(T_{\lambda }^{2}\right) \subset \ldots

Задача 123

Пусть T∈B(X)T \in \mathcal{B}(X) — компактный оператор на банаховом пространстве XX. Предположим, что dim⁡X=∞\operatorname {dim} X = \infty. Покажите, что

0∈σ(T). 0 \in \sigma (T).
?
Задача 124

Пусть T:X→XT: X \rightarrow X — компактный оператор на нормированном пространстве XX и пусть λ≠0\lambda \neq 0. Тогда существует наименьшее целое число rr (зависящее от λ\lambda), такое что начиная с n=rn = r, ядра ker⁡(Tλn)\operatorname {ker}\left(T_{\lambda }^{n}\right) равны, и если r>0r > 0, включения

ker⁡(Tλ0)⊂ker⁡(Tλ1)⊂…⊂ker⁡(Tλr) \operatorname {ker}\left(T_{\lambda }^{0}\right) \subset \operatorname {ker}\left(T_{\lambda }^{1}\right) \subset \ldots \subset \operatorname {ker}\left(T_{\lambda }^{r}\right)

все строгие.

?
Задача 125

Пусть T:X→XT: X \rightarrow X — компактный оператор на банаховом пространстве XX и пусть λ≠0\lambda \neq 0. Тогда существует наименьшее целое число qq (зависящее от λ\lambda), такое что начиная с n=qn = q, образы Tλn(X)T_{\lambda }^{n}(X) равны, и если q>0q > 0, включения

Tλ0(X)⊃Tλ1(X)⊃…⊃Tλq(X) T_{\lambda }^{0}(X) \supset T_{\lambda }^{1}(X) \supset \ldots \supset T_{\lambda }^{q}(X)

все строгие.

?
Задача 126

Пусть AA — обратимый оператор, а KK — компактный оператор в банаховом пространстве. Докажите, что

?
(a)

dim⁡(ker⁡(A+K))<∞\operatorname {dim}(\operatorname {ker}(A+K)) < \infty.

(b)

codim⁡(Image⁡(A+K))<∞\operatorname {codim}(\operatorname {Image}(A+K)) < \infty.

Задача 127

Рассмотрим оператор K:L2([0,1])→L2([0,1])K: L^{2}([0,1]) \rightarrow L^{2}([0,1]), определённый формулой

(Kf)(t)=∫01k(t,s)f(s)ds (K f)(t) = \int _{0}^{1} k(t, s) f(s) d s

где k(s,t)=min⁡{t,s:t,s∈[0,1]}k(s, t) = \min \left\{ t, s: t, s \in [0,1]\right\}.

?
(a)

Докажите, что KK — компактный самосопряжённый оператор.

(b)

Найдите спектр σ(K)\sigma (K) и норму ∥K∥\left\| K\right\|.

Задача 128

(Похожая задача) Рассмотрим оператор K:L2([0,1])→L2([0,1])K: L^{2}([0,1]) \rightarrow L^{2}([0,1]), определённый формулой

(Kf)(t)=∫01k(t,s)f(s)ds (K f)(t) = \int _{0}^{1} k(t, s) f(s) d s

где k(s,t)=max⁡{t,s:t,s∈[0,1]}k(s, t) = \max \left\{ t, s: t, s \in [0,1]\right\}.

?
(a)

Докажите, что KK — компактный самосопряжённый оператор.

(b)

Найдите спектр σ(K)\sigma (K) и норму ∥K∥\left\| K\right\|.

(c)

Является ли KK положительным оператором?

Задача 129

Пусть SS — оператор, определённый на C[0,1]C[0,1] формулой

(Sf)(x)=∫0xf(y)dy (S f)(x) = \int _{0}^{x} f(y) d y
?
(a)

Вычислите спектр SS.

(b)

Покажите, что SS компактен.

Задача 130

Положим

(Tf)(x)=∫01−xf(y)dy,f∈C[0,1],x∈[0,1] (T f)(x) = \int _{0}^{1-x} f(y) d y, \quad f \in C[0,1], x \in [0,1]
?
(a)

Докажите, что TT — линейный ограниченный и компактный оператор на C[0,1]C[0,1].

(b)

Вычислите σ(T)\sigma (T) и собственные значения TT.

Задача 131

Пусть TT — компактный оператор на гильбертовом пространстве HH и (λn)\left(\lambda_{n}\right) — последовательность комплексных чисел. Предположим, что существует вложенная последовательность различных подпространств (Mn)\left(M_{n}\right), такая что для всех n∈Nn \in \mathbb {N}

 (i) Mn⊊Mn+1 (ii) (T−λnI)Mn+1⊂Mn.  \begin{array}{ll} \text{ (i) } & M_{n} \subsetneq M_{n+1} \\ \text{ (ii) } & \left(T-\lambda _{n} I\right) M_{n+1} \subset M_{n} \text{. } \end{array}

Докажите, что lim⁡n→∞λn=0\lim_{n \rightarrow \infty } \lambda_{n} = 0.

?
Задача 132

Пусть TT — компактный оператор на гильбертовом пространстве HH и произвольное C>0C > 0. Докажите, что существует конечное число линейно независимых собственных векторов x1,…,xnx_{1}, \ldots , x_{n} оператора TT, соответствующих собственным значениям λ1,…,λn\lambda_{1}, \ldots , \lambda_{n}, таких что λi>C\lambda_{i} > C для всех i=1,…,ni = 1, \ldots , n.

?