13.3

Спектральная теорема в терминах интеграла Лебега—Стилтьеса

[25/32%]
Показать
LaTeX
Задача 13.38

Пусть AA — самосопряжённый оператор в гильбертовом пространстве HH и пусть f,gC(R)f, g \in C(\mathbb {R}) — две функции, тождественно совпадающие на луче tλt \leqslant \lambda. Доказать, что (f(A)g(A))Eλ=0(f(A)-g(A)) E_{\lambda } = 0.

?
Задача 13.39

Пусть AA — самосопряжённый оператор в гильбертовом пространстве HH, а EλE_{\lambda } — разложение единицы для оператора AA. Доказать следующие свойства:

?
(а)

если λ<minσ(A)\lambda < \min \sigma (A), то Eλ=0E_{\lambda } = 0; если λ>maxσ(A)\lambda > \max \sigma (A), то Eλ=IE_{\lambda } = I;

(б)

если λ<μ\lambda < \mu, то EλEμE_{\lambda } \leqslant E_{\mu };

(в)

для любого xHx \in H выполнено равенство Eλx=limμλ0EμxE_{\lambda } x = \lim_{\mu \rightarrow \lambda -0} E_{\mu } x;

(г)

все операторы EλE_{\lambda } коммутируют с операторами f(A)f(A), где fC(R)f \in C(\mathbb {R}) (в частности, с самим оператором AA).

Задача 13.40

Пусть AA — самосопряжённый оператор в гильбертовом пространстве HH. Доказать, что семейство подпространств HλH_{\lambda }, ассоциированных с оператором AA, обладает следующими свойствами:

?
(а)

если λ<minσ(A)\lambda < \min \sigma (A), то Hλ={0}H_{\lambda } = \left\{ 0\right\}; если λ>maxσ(A)\lambda > \max \sigma (A), то Hλ=HH_{\lambda } = H;

(б)

если λ<μ\lambda < \mu, то HλHμH_{\lambda } \subseteq H_{\mu };

(в)

для любого λR\lambda \in \mathbb {R} выполнено равенство Hλ=μ<λHμH_{\lambda } = \overline{\bigcup_{\mu < \lambda } H_{\mu }};

(г)

все пространства HλH_{\lambda } инвариантны относительно f(A)f(A) для любой fC(R)f \in C(\mathbb {R}) (в частности, они инвариантны относительно оператора AA).

Задача 13.41

Пусть AA — самосопряжённый оператор в гильбертовом пространстве HH. Доказать, что:

?
(а)

число λσ(A)\lambda \in \sigma (A) тогда и только тогда, когда оно является точкой возрастания семейства HλH_{\lambda } (т. е. в любой окрестности точки λ\lambda найдётся точка μ\mu, для которой HλHμH_{\lambda } \neq H_{\mu });

(б)

число λσp(A)\lambda \in \sigma_{\mathrm{p}}(A) тогда и только тогда, когда оно является точкой разрыва семейства HλH_{\lambda } (т. е. μ>λHμHλ\bigcap_{\mu > \lambda } H_{\mu } \neq H_{\lambda }).

Задача 13.42

Пусть AA — самосопряжённый оператор в гильбертовом пространстве HH. Доказать, что если λσess (A)\lambda \in \sigma_{\text{ess }}(A) (см. определение 12.4) или λσc(A)\lambda \in \sigma_{\mathrm{c}}(A), то у оператора AλIA-\lambda I существует ортонормированная последовательность Вейля (сравнить с задачей 12.30).

?
Задача 13.43

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

σess(A)={λR:rank(Eλ+εEλ)= для любого ε>0}. \sigma _{\mathrm{ess}}(A) = \left\{ \lambda \in \mathbb {R}: \operatorname {rank}\left(E_{\lambda +\varepsilon }-E_{\lambda }\right) = \infty \text{ для любого } \varepsilon > 0\right\} .

Доказать, что если λσ(A)\σess(A)\lambda \in \sigma (A) \backslash \sigma_{\mathrm{ess}}(A), то λ\lambda — изолированное собственное значение оператора AA конечной кратности.

?
Задача 13.44

Найти семейство проекторов EλE_{\lambda } и подпространств HλH_{\lambda }, ассоциированных с оператором PP ортогонального проектирования на некоторое подпространство YHY \subset H.

?
Задача 13.45

Найти семейство проекторов EλE_{\lambda } и подпространств HλH_{\lambda }, ассоциированных с оператором AA, заданным в l2(n)l_{2}(n) матрицей

A=[λ1000λ2000λn] A = \left[\begin{smallmatrix} \lambda _{1} & 0 & \ldots & 0 \\ 0 & \lambda _{2} & \ldots & 0 \\ \ldots \ldots \ldots \ldots \ldots & \ldots \\ 0 & 0 & \ldots & \lambda _{n} \end{smallmatrix}\right]

где все числа λi,i=1,,n\lambda_{i}, i = 1, \ldots , n, вещественны и попарно различны. Как изменится ответ, если среди чисел λi\lambda_{i} есть одинаковые?

?
Задача 13.46

Найти семейство проекторов EλE_{\lambda } и подпространств HλH_{\lambda }, ассоциированных с оператором A:L2[0,1]L2[0,1],(Ax)(t)=tx(t)A: L_{2}[0,1] \rightarrow L_{2}[0,1],(A x)(t) = t x(t).

?
Задача 13.47

Найти семейство проекторов EλE_{\lambda } и подпространств HλH_{\lambda }, ассоциированных с оператором A(x1,x2,)=(λ1x1,λ2x2,)A\left(x_{1}, x_{2}, \ldots \right) = \left(\lambda_{1} x_{1}, \lambda_{2} x_{2}, \ldots \right) в пространстве l2l_{2}, где {λk}1\left\{ \lambda_{k}\right\}_{1}^{\infty } — ограниченная вещественная последовательность.

?
Задача 13.48

Найти семейство проекторов EλE_{\lambda } и подпространств HλH_{\lambda }, ассоциированных с оператором, заданным матрицей:

?
(а)

A=(0220)A = \left(\begin{array}{ll}0 & 2 \\ 2 & 0\end{array}\right);

(б)

A=(2112)A = \left(\begin{array}{ll}2 & 1 \\ 1 & 2\end{array}\right);

(в)

A=(0ii0)A = \left(\begin{array}{rr}0 & -i \\ i & 0\end{array}\right);

(г)

A=(01010i0i0)A = \left(\begin{array}{rrr}0 & 1 & 0 \\ 1 & 0 & -i \\ 0 & i & 0\end{array}\right).

Задача 13.49

Пусть aa — непрерывная строго возрастающая функция на [0,1][0,1]. Найти семейство проекторов EλE_{\lambda } и подпространств HλH_{\lambda }, ассоциированных с оператором A:L2[0,1]L2[0,1],Ax(t)=a(t)x(t)A: L_{2}[0,1] \rightarrow L_{2}[0,1], A x(t) = a(t) x(t).

?
Задача 13.50

Описать семейство проекторов EλE_{\lambda } и подпространств HλH_{\lambda }, ассоциированных с самосопряжённым компактным оператором AA в гильбертовом пространстве (в терминах собственных значений и собственных векторов).

?
Задача 13.51

Найти семейство проекторов EλE_{\lambda } и подпространств HλH_{\lambda }, ассоциированных с оператором AB(L2[1,1]),(Ax)(t)=t2x(t)A \in \mathcal{B}\left(L_{2}[-1,1]\right),(A x)(t) = t^{2} x(-t).

?
Задача 13.52

Пусть AA — ограниченный оператор в гильбертовом пространстве HH и для любого ортонормированного базиса {en}1\left\{ e_{n}\right\}_{1}^{\infty } в HH выполнено Aen0\left\| A e_{n}\right\| \rightarrow 0 при nn \rightarrow \infty. Доказать, что оператор AA компактен (ср. с задачами 11.54 и 11.45).

?
Задача 13.53

Доказать, что любой самосопряжённый оператор AA в гильбертовом пространстве HH можно с любой точностью приблизить конечными линейными комбинациями ортогональных проекторов в пространстве B(H)\mathcal{B}(H).

?
Задача 13.54

Пусть AA — самосопряжённый оператор в гильбертовом пространстве HH, а BB — самосопряжённый оператор в гильбертовом пространстве KK. Пусть HλH_{\lambda } и KλK_{\lambda } — семейства подпространств, ассоциированные с операторами AA и BB. Доказать, что операторы AA и BB подобны (унитарно эквивалентны), т. е. BC=CAB C = C A для некоторого CIB(H,K)C \in \mathcal{I B}(H, K) (CC — унитарный оператор из HH в KK) тогда и только тогда, когда CC осуществляет биекцию (унитарный изоморфизм) HλH_{\lambda } и KλK_{\lambda } для любого λR\lambda \in \mathbb {R}.

?
Задача 13.55

Пусть UU — унитарный оператор в гильбертовом пространстве HH. Доказать, что существует единственная проекторнозначная мера EλE_{\lambda } на окружности T={zC:z=1}\mathbb {T} = \left\{ z \in \mathbb {C}:\left|z\right| = 1\right\} со значениями в B(H)\mathcal{B}(H), для которой справедливо равенство

f(U)=02πf(eiλ)dEλ f(U) = \int _{0}^{2 \pi } f\left(e^{i \lambda }\right) d E_{\lambda }

для любой борелевской ограниченной функции ff на T\mathbb {T}.

?
Задача 13.56

Пусть UU — унитарный оператор в гильбертовом пространстве HH. Доказать, что 1nk=1nUksP\frac{1}{n} \sum_{k = 1}^{n} U^{k} \xrightarrow {s} P, где PP — ортопроектор на подпространство Ker(UI)\operatorname {Ker}(U-I). странство Ker(UI)\operatorname {Ker}(U-I).

?
Задача 13.57

Пусть AA и BB — самосопряжённые операторы в гильбертовом пространстве HH и Eλ,FμE_{\lambda }, F_{\mu } — их разложения единицы соответственно. Доказать, что AA и BB коммутируют тогда и только тогда, когда EλFμ=FμEλE_{\lambda } F_{\mu } = F_{\mu } E_{\lambda } для любых λ,μR\lambda , \mu \in \mathbb {R}.

?
Задача 13.58

Пусть M1\mathcal{M}_{1} и M2\mathcal{M}_{2} — полные метрические сепарабельные пространства, Σ1\Sigma_{1} и Σ2σ\Sigma_{2}-\sigma-алгебры борелевских множеств на этих пространствах. Пусть на (M1,Σ1)(\mathcal{M}_{1}, \Sigma_{1}) и (M2,Σ2)(\mathcal{M}_{2}, \Sigma_{2}) заданы соответственно борелевские разложения единиц E(1)E^{(1)} и E(2)E^{(2)}, значениями которых являются ортогональные проекторы в одном и том же гильбертовом пространстве HH. Пусть эти разложения единиц коммутируют, т. е. для всех ΩiΣi(i=1,2)E(1)(Ω1)E(2)(Ω2)=E(2)(Ω2)E(1)(Ω1)\Omega_{i} \in \Sigma_{i}(i = 1,2) E^{(1)}\left(\Omega_{1}\right) E^{(2)}\left(\Omega_{2}\right) = E^{(2)}\left(\Omega_{2}\right) E^{(1)}\left(\Omega_{1}\right). На декартовом произведении M:=M1×M2\mathcal{M}: = \mathcal{M}_{1} \times \mathcal{M}_{2} определим Σ\Sigma — борелевскую σ\sigma-алгебру подмножеств, содержащую все «прямоугольники» вида Ω1×Ω2\Omega_{1} \times \Omega_{2}. Доказать, что на (M,Σ)(\mathcal{M}, \Sigma ) существует единственное разложение единицы, определяемое условием

E(Ω1×Ω2)=E(1)(Ω1)E(2)(Ω2) E(\Omega _{1} \times \Omega _{2}) = E^{(1)}\left(\Omega _{1}\right) E^{(2)}\left(\Omega _{2}\right)

где ΩiΣi,i=1,2\Omega_{i} \in \Sigma_{i}, i = 1,2.

?
Задача 13.59

Пусть A=Are+iAimA = A_{\mathrm{re}}+i A_{\mathrm{im}} — ограниченный нормальный оператор в гильбертовом пространстве H,Π:=σ(Are)+iσ(Aim)H, \Pi : = \sigma \left(A_{\mathrm{re}}\right)+i \sigma \left(A_{\mathrm{im}}\right). Доказать, что существует такое разложение единицы EE, определённое на борелевских подмножествах П, что A=ΠλdEλA = \int_{\Pi } \lambda d E_{\lambda }, где интеграл понимается в смысле Лебега-Стилтьеса (см. преамбулу этого параграфа).

?
Задача 13.60

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

Ax2=C(s2+t2)(dEλx,x),λ=s+it \left\| A x\right\| ^{2} = \int _{\mathbb {C}}\left(s^{2}+t^{2}\right)\left(d E_{\lambda } x, x\right), \quad \lambda = s+i t
?
Задача 13.61

Пусть A=Are+iAimA = A_{\mathrm{re}}+i A_{\mathrm{im}} — ограниченный нормальный оператор в гильбертовом пространстве HH. Доказать, что σ(A)σ(Are)+iσ(Aim)\sigma (A) \subseteq \sigma \left(A_{\mathrm{re}}\right) + i \sigma \left(A_{\mathrm{im}}\right). Привести примеры нормальных операторов, для которых

?
(а)

это включение строгое;

(б)

σ(A)=σ(Are)+iσ(Aim)\sigma (A) = \sigma \left(A_{\mathrm{re}}\right)+i \sigma \left(A_{\mathrm{im}}\right).

Задача 13.62

Пусть AA — унитарный оператор в гильбертовом пространстве HH. Доказать, что σ(A)σ(Are)+iσ(Aim)\sigma (A) \subseteq \sigma \left(A_{\mathrm{re}}\right)+i \sigma \left(A_{\mathrm{im}}\right).

?