10D

Спектральная теорема для компактных операторов

[22/45%]
Показать
LaTeX
Задача 10D.1

Докажите, что если TT — компактный оператор на ненулевом гильбертовом пространстве, то T2\left\| T\right\|^{2} является собственным значением TTT^{*} T.

?
Задача 10D.2

Докажите, что если TT — самосопряжённый оператор на ненулевом гильбертовом пространстве VV, то

T=sup{Tf,f:fV и f=1} \left\| T\right\| = \sup \left\{ \left|\langle T f, f\rangle \right|: f \in V \text{ и }\left\| f\right\| = 1\right\}
?
Задача 10D.3

Пусть TT — ограниченный оператор на гильбертовом пространстве VV, а UU — замкнутое подпространство VV. Докажите, что следующие условия эквивалентны:

?
(a)

UU — инвариантное подпространство для TT.

(b)

UU^{\perp } — инвариантное подпространство для TT^{*}.

(c)

TPU=PUTPUT P_{U} = P_{U} T P_{U}.

Задача 10D.4

Пусть TT — ограниченный оператор на гильбертовом пространстве VV, а UU — замкнутое подпространство VV. Докажите, что следующие условия эквивалентны:

?
(a)

UU и UU^{\perp } — инвариантные подпространства для TT.

(b)

UU и UU^{\perp } — инвариантные подпространства для TT^{*}.

(c)

TPU=PUTT P_{U} = P_{U} T.

Задача 10D.5

Пусть TT — ограниченный оператор на несепарабельном нормированном векторном пространстве VV. Докажите, что TT обладает замкнутым инвариантным подпространством, отличным от {0}\left\{ 0\right\} и VV.

?
Задача 10D.6

Пусть TT — оператор на банаховом пространстве VV размерности больше 2. Докажите, что TT обладает инвариантным подпространством, отличным от {0}\left\{ 0\right\} и VV.

?
Примечание.
?

В этом упражнении TT не предполагается ограниченным, а инвариантное подпространство не обязано быть замкнутым.

Задача 10D.7

Пусть TT — самосопряжённый компактный оператор на гильбертовом пространстве, имеющий лишь конечное число различных собственных значений. Докажите, что TT имеет конечномерный образ.

?
Задача 10D.8
?
(a)

Докажите, что если TT — самосопряжённый компактный оператор на гильбертовом пространстве, то существует самосопряжённый компактный оператор SS, такой что S3=TS^{3} = T.

(b)

Докажите, что если TT — нормальный компактный оператор на комплексном гильбертовом пространстве, то существует нормальный компактный оператор SS, такой что S2=TS^{2} = T.

Задача 10D.9

Пусть TT — компактный нормальный оператор на ненулевом гильбертовом пространстве VV. Докажите, что существует подпространство VV размерности 1 или 2, являющееся инвариантным подпространством для TT.

?
Примечание.
?

Если F=C\mathbf{F} = \mathbb {C}, требуемый результат немедленно следует из спектральной теоремы для компактных нормальных операторов. Таким образом, можно считать, что F=R\mathbf{F} = \mathbb {R}.

Задача 10D.10

Пусть TT — самосопряжённый компактный оператор на гильбертовом пространстве и T14\left\| T\right\| \leq \frac{1}{4}. Докажите, что существует самосопряжённый компактный оператор SS, такой что S2+S=TS^{2}+S = T.

?
Задача 10D.11

Для kZk \in \mathbb {Z} определим gkL2((π,π])g_{k} \in L^{2}((-\pi , \pi ]) и hkL2((π,π])h_{k} \in L^{2}((-\pi , \pi ]) формулами

gk(t)=12πeit/2eikt и hk(t)=12πeikt g_{k}(t) = \frac{1}{\sqrt{2 \pi }} e^{i t / 2} e^{i k t} \quad \text{ и } \quad h_{k}(t) = \frac{1}{\sqrt{2 \pi }} e^{i k t}

здесь мы предполагаем, что F=C\mathbf{F} = \mathbb {C}.

?
(a)

Используя заключение примера 10.108, покажите, что {gk}kZ\left\{ g_{k}\right\}_{k \in \mathbb {Z}} — ортонормированный базис L2((π,π])L^{2}((-\pi , \pi ]).

(b)

Используя результат пункта (a), покажите, что {hk}kZ\left\{ h_{k}\right\}_{k \in \mathbb {Z}} — ортонормированный базис L2((π,π])L^{2}((-\pi , \pi ]).

(c)

Используя результат пункта (b), покажите, что ортонормированное семейство из третьего пункта примера 8.51 является ортонормированным базисом L2((π,π])L^{2}((-\pi , \pi ]).

Примечание.
?

Пример 10.108 (заключение): для kZk \in \mathbb {Z} определим fkL2([0,1])f_{k} \in L^{2}([0,1]) формулой fk(x)=ei(2k+1)πxf_{k}(x) = e^{i(2k+1)\pi x}. Тогда {fk}kZ\left\{ f_{k}\right\}_{k \in \mathbb {Z}} — ортонормированный базис L2([0,1])L^{2}([0,1]).

Пример 8.51 (третий пункт): для kZk \in \mathbb {Z} определим ek:(π,π]Re_{k}: (-\pi , \pi ] \rightarrow \mathbb {R} формулой

ek(t)={1πsin(kt)если k>0,12πесли k=0,1πcos(kt)если k<0. e_{k}(t) = \begin{cases} \frac{1}{\sqrt{\pi }} \sin (kt) & \text{если } k > 0, \\ \frac{1}{\sqrt{2\pi }} & \text{если } k = 0, \\ \frac{1}{\sqrt{\pi }} \cos (kt) & \text{если } k < 0.\end{cases}
Задача 10D.12

Пусть TT — компактный оператор на гильбертовом пространстве. Докажите, что s1(T)=Ts_{1}(T) = \left\| T\right\|.

?
Задача 10D.13

Пусть TT — компактный оператор на гильбертовом пространстве и nNn \in \mathbb {N}. Докажите, что dimrangeT<n\operatorname {dim}\operatorname {range}T < n тогда и только тогда, когда sn(T)=0s_{n}(T) = 0.

?
Задача 10D.14

Пусть TT — компактный оператор на гильбертовом пространстве VV с сингулярным разложением

Tf=k=1sk(T)f,ekhk T f = \sum _{k = 1}^{\infty } s_{k}(T) \left\langle f, e_{k} \right\rangle h_{k}

для всех fVf \in V. Для nNn \in \mathbb {N} определим Tn:VVT_{n}: V \rightarrow V формулой

Tnf=k=1nsk(T)f,ekhk T_{n} f = \sum _{k = 1}^{n} s_{k}(T) \left\langle f, e_{k} \right\rangle h_{k}

Докажите, что limnTTn=0\lim_{n \rightarrow \infty }\left\| T-T_{n}\right\| = 0.

?
Примечание.
?

Это упражнение даёт ещё одно доказательство — в дополнение к доказательству, предложенному в упражнении 15 раздела 10C, — того, что оператор на гильбертовом пространстве компактен тогда и только тогда, когда он является пределом ограниченных операторов с конечномерным образом.

Задача 10D.15

Пусть TT — компактный оператор на гильбертовом пространстве VV и nNn \in \mathbb {N}. Докажите, что

inf{TS:SB(V) и dimrangeS<n}=sn(T) \inf \left\{ \left\| T-S\right\| : S \in \mathcal{B}(V) \text{ и } \operatorname {dim}\operatorname {range} S < n\right\} = s_{n}(T)
?
Задача 10D.16

Пусть TT — компактный оператор на гильбертовом пространстве VV и nNn \in \mathbb {N}. Докажите, что

sn(T)=inf{TU:U — подпространство V , где dimU<n} s_{n}(T) = \inf \left\{ \left\| \left.T\right|_{U^{\perp }}\right\| : U \text{ — подпространство } V \text{ , где } \operatorname {dim} U < n\right\}
?
Задача 10D.17

Пусть TT — компактный оператор на гильбертовом пространстве VV с сингулярным разложением

Tf=kΩskf,ekhk T f = \sum _{k \in \Omega } s_{k} \left\langle f, e_{k} \right\rangle h_{k}

для всех fVf \in V. Докажите, что

Tf=kΩskf,hkek T^{*} f = \sum _{k \in \Omega } s_{k} \left\langle f, h_{k} \right\rangle e_{k}

для всех fVf \in V.

?
Задача 10D.18

Пусть TT — оператор на конечномерном гильбертовом пространстве VV с dimV=n\operatorname {dim} V = n.

?
(a)

Докажите, что TT обратим тогда и только тогда, когда sn(T)0s_{n}(T) \neq 0.

(b)

Пусть TT обратим и имеет сингулярное разложение

Tf=s1(T)f,e1h1++sn(T)f,enhn T f = s_{1}(T) \left\langle f, e_{1} \right\rangle h_{1}+\cdots +s_{n}(T) \left\langle f, e_{n} \right\rangle h_{n}

для всех fVf \in V. Покажите, что

T1f=f,h1s1(T)e1++f,hnsn(T)en T^{-1} f = \frac{ \left\langle f, h_{1} \right\rangle }{s_{1}(T)} e_{1}+\cdots +\frac{ \left\langle f, h_{n} \right\rangle }{s_{n}(T)} e_{n}

для всех fVf \in V.

Задача 10D.19

Пусть TT — компактный оператор на гильбертовом пространстве VV. Докажите, что

kΓTek2=n=1(sn(T))2 \sum _{k \in \Gamma }\left\| T e_{k}\right\| ^{2} = \sum _{n = 1}^{\infty }\left(s_{n}(T)\right)^{2}

для любого ортонормированного базиса {ek}kΓ\left\{ e_{k}\right\}_{k \in \Gamma } пространства VV.

?
Задача 10D.20

Используя результат примера 10.124, вычислите n=11n2\sum_{n = 1}^{\infty } \frac{1}{n^{2}}.

?
Примечание.
?

Пример 10.124: 112+132+152+=π28\frac{1}{1^{2}} + \frac{1}{3^{2}} + \frac{1}{5^{2}} + \cdots = \frac{\pi^{2}}{8}.

Задача 10D.21

Пусть TT — нормальный компактный оператор на комплексном гильбертовом пространстве. Докажите, что следующие условия эквивалентны:

?
(a)

образ TT конечномерен.

(b)

sp(T)\operatorname {sp}(T) — конечное множество.

(c)

sn(T)=0s_{n}(T) = 0 для некоторого nZn \in \mathbb {Z}.

Задача 10D.22

Найдите сингулярные числа оператора Вольтерры.

?
Примечание.
?

Ваш ответ в сочетании с упражнением 12 должен показать, что норма оператора Вольтерры равна 2π\frac{2}{\pi }. Появление π\pi здесь может показаться удивительным, поскольку определение оператора Вольтерры не включает π\pi.