10

Примеры спектров

[7/100%]
Показать
LaTeX
Задача 79

Если AA нормален, то Γ(A)=Π0(A)\Gamma (A) = \Pi_0(A) (и, следовательно, spec⁡A=Π(A)\operatorname {spec} A = \Pi (A)). Альтернативная формулировка: остаточный спектр нормального оператора всегда пуст.

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

Напомним, что остаточный спектр AA есть Γ(A)−Π0(A)\Gamma (A) - \Pi_0(A).

Задача 80

Для каждого диагонального оператора найдите его точечный спектр, спектр сжатия и аппроксимативный точечный спектр.

?
Задача 81

Для каждого умножения найдите его точечный спектр, спектр сжатия и аппроксимативный точечный спектр.

?
Задача 82

Каков спектр одностороннего сдвига и каковы его части (точечный спектр, спектр сжатия и аппроксимативный точечный спектр)? Каковы ответы на те же вопросы для сопряжённого к одностороннему сдвигу?

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

Односторонний сдвиг — это оператор UU на l2l^2, определённый равенством

U⟨ξ0,ξ1,ξ2,…⟩=⟨0,ξ0,ξ1,ξ2,…⟩. U\left\langle \xi _0, \xi _1, \xi _2, \ldots \right\rangle = \left\langle 0, \xi _0, \xi _1, \xi _2, \ldots \right\rangle .

Это изометрия, областью значений которой является собственное подпространство l2l^2, состоящее из векторов с обращающейся в нуль первой координатой. Если ene_n — вектор ⟨ξ0,ξ1,ξ2,…⟩\left\langle \xi_0, \xi_1, \xi_2, \ldots \right\rangle, для которого ξn=1\xi_n = 1 и ξi=0\xi_i = 0 при i≠ni \neq n (n=0,1,2,…n = 0, 1, 2, \ldots), то ene_n образуют ортонормированный базис для l2l^2, и Uen=en+1Ue_n = e_{n+1} (n=0,1,2,…n = 0, 1, 2, \ldots). Поскольку в H2\mathbf{H}^2 (см. Задачу 33) en(z)=zne_n(z) = z^n, эффект сдвига вперёд на один индекс совпадает с эффектом умножения на e1e_1; иными словами, односторонний сдвиг совпадает с оператором умножения на H2\mathbf{H}^2, определённым равенством (Uf)(z)=zf(z)(Uf)(z) = zf(z).

Задача 83

Существует ли нескалярный оператор, множество собственных векторов которого имеет непустую внутренность?

?
Задача 84

Каков спектр двустороннего сдвига и каковы его части (точечный спектр, спектр сжатия и аппроксимативный точечный спектр)? Каковы ответы на те же вопросы для сопряжённого к двустороннему сдвигу?

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

Пусть H\mathbf{H} — гильбертово пространство всех двусторонних (билатеральных) квадратично суммируемых последовательностей; элементы H\mathbf{H} удобнее всего записывать в виде

⟨…,ξ−2,ξ−1,(ξ0),ξ1,ξ2,…⟩, \left\langle \ldots , \xi _{-2}, \xi _{-1}, (\xi _0), \xi _1, \xi _2, \ldots \right\rangle ,

где член в скобках указывает на тот, что соответствует индексу 00. Двусторонний сдвиг — это оператор WW на H\mathbf{H}, определённый равенством

W⟨…,ξ−2,ξ−1,(ξ0),ξ1,ξ2,…⟩=⟨…,ξ−3,ξ−2,(ξ−1),ξ0,ξ1,…⟩. W\left\langle \ldots , \xi _{-2}, \xi _{-1}, (\xi _0), \xi _1, \xi _2, \ldots \right\rangle = \left\langle \ldots , \xi _{-3}, \xi _{-2}, (\xi _{-1}), \xi _0, \xi _1, \ldots \right\rangle .

Это изометрия, и, поскольку её область значений — всё H\mathbf{H}, она даже унитарна. Если ene_n — вектор ⟨…,ξ−1,(ξ0),ξ1,…⟩\left\langle \ldots , \xi_{-1}, (\xi_0), \xi_1, \ldots \right\rangle, для которого ξn=1\xi_n = 1 и ξi=0\xi_i = 0 при i≠ni \neq n (n=0,±1,±2,…n = 0, \pm 1, \pm 2, \ldots), то ene_n образуют ортонормированный базис для H\mathbf{H}, и Wen=en+1We_n = e_{n+1} (n=0,±1,±2,…n = 0, \pm 1, \pm 2, \ldots).

Задача 85

Необходимое и достаточное условие того, чтобы оператор AA на гильбертовом пространстве H\mathbf{H} был представим как умножение на функциональном гильбертовом пространстве, состоит в том, что собственные векторы A∗A^{*} порождают H\mathbf{H}.

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

Функциональное гильбертово пространство — это гильбертово пространство H\mathbf{H}, элементы которого суть комплекснозначные функции на некотором множестве XX, такое что для каждого x∈Xx \in X вычисление значения в точке xx является ограниченным линейным функционалом на H\mathbf{H}; по теореме Рисса о представлении тогда для каждого xx существует вектор Kx∈HK_x \in \mathbf{H} (воспроизводящее ядро в точке xx) такой, что f(x)=⟨f,Kx⟩f(x) = \left\langle f, K_x \right\rangle для каждого f∈Hf \in \mathbf{H}, и векторы KxK_x всегда порождают H\mathbf{H}. Умножением на функциональном гильбертовом пространстве H\mathbf{H} (с областью определения XX) называется оператор AA, для которого существует функция φ\varphi (мультипликатор) на XX такая, что (Af)(x)=φ(x)f(x)(Af)(x) = \varphi (x)f(x) для каждого f∈Hf \in \mathbf{H} и каждого x∈Xx \in X.

Осторожно: как показывают факты об умножениях на пространствах L2L^{2} (ср. Решение 81), эта характеризация применима только к функциональным гильбертовым пространствам. Этот результат, по-видимому, принадлежит П. Р. Халмошу и А. Л. Шилдсу.