8.2

Сопряжённые операторы в гильбертовом пространстве. Унитарные и нормальные операторы

[67/39%]
Показать
LaTeX
Задача 8.15

Доказать следующие свойства операции сопряжения (здесь H1H_{1} и H2H_{2} — гильбертовы пространства, AB(H1,H2)A \in \mathcal{B}\left(H_{1}, H_{2}\right)):

?
(а)

для всякого оператора AA существует единственный сопряжённый оператор AB(H2,H1)A^{*} \in \mathcal{B}\left(H_{2}, H_{1}\right);

(б)

A=AA^{* *} = A;

(в)

(αA+βB)=αˉA+βˉB(\alpha A+\beta B)^{*} = \bar{\alpha } A^{*}+\bar{\beta } B^{*};

(г)

A=A\left\| A^{*}\right\| = \left\| A\right\|;

(д)

если H3H_{3} — гильбертово пространство, BB(H2,H3)B \in \mathcal{B}\left(H_{2}, H_{3}\right), то (BA)=AB(B A)^{*} = A^{*} B^{*}.

Задача 8.16

Используя изоморфизм Рисса, установить для произвольного оператора AB(H1,H2)A \in \mathcal{B}\left(H_{1}, H_{2}\right) соотношение A=JH11AJH2A^{*} = J_{H_{1}}^{-1} A^{\prime } J_{H_{2}}, т. е. доказать коммутативность следующей диаграммы:

?
Задача 8.17

Найти сопряжённые операторы AA^{*} для следующих операторов в пространстве L2[0,1]L_{2}[0,1] :

?
(а)

Ax(t)=0tx(s)dsA x(t) = \int_{0}^{t} x(s) d s;

(б)

Ax(t)=01sx(s)dsA x(t) = \int_{0}^{1} s x(s) d s;

(в)

Ax(t)=01tx(s)dsA x(t) = \int_{0}^{1} t x(s) d s;

(г)

Ax(t)=01t2sx(s)dsA x(t) = \int_{0}^{1} t^{2} s x(s) d s;

(д)

Ax(t)=01(ts+s)x(s)dsA x(t) = \int_{0}^{1}(t s+s) x(s) d s;

(е)

Ax(t)=0tsx(s)dsA x(t) = \int_{0}^{t} s x(s) d s;

(ж)

Ax(t)=0ts2x(s)dsA x(t) = \int_{0}^{t} s^{2} x(s) d s;

(з)

Ax(t)=a(t)x(t),aL[0,1]A x(t) = a(t) x(t), a \in L_{\infty }[0,1] (в этом же пункте также необходимо найти AA^{\prime } и сравнить его действие с действием оператоpa AA^{*}).

Задача 8.18

Пусть оператор AB(l2)A \in \mathcal{B}\left(l_{2}\right) в некотором ортонормированном базисе задан матрицей {aij}i,j=1\left\{ a_{i j}\right\}_{i, j = 1}^{\infty }. Доказать, что AA^{\prime } в этом же базисе задаётся матрицей {aji}i,j=1\left\{ a_{j i}\right\}_{i, j = 1}^{\infty }, а AA^{*} задаётся матрицей {aˉji}i,j=1\left\{ \bar{a}_{j i}\right\}_{i, j = 1}^{\infty }.

?
Задача 8.19

Найти сопряжённые операторы AA^{*} для следующих операторов в пространстве l2l_{2}:

?
(а)

Ax=(x1,x2,,xn,0,0,)A x = \left(x_{1}, x_{2}, \ldots , x_{n}, 0,0, \ldots \right);

(б)

Ax=(0,x1,0,x3,,0,x2n1,0,)A x = \left(0, x_{1}, 0, x_{3}, \ldots , 0, x_{2 n-1}, 0, \ldots \right);

(в)

Ax=(0,x1,0,x2,,0,xn,0,)A x = \left(0, x_{1}, 0, x_{2}, \ldots , 0, x_{n}, 0, \ldots \right);

(г)

Ax=(0,x1,x2,x3,)A x = \left(0, x_{1}, x_{2}, x_{3}, \ldots \right) — правый сдвиг;

(д)

Ax=(x2,x3,x4,)A x = \left(x_{2}, x_{3}, x_{4}, \ldots \right) — левый сдвиг;

(е)

Ax=(xn+1,xn+2,)A x = \left(x_{n+1}, x_{n+2}, \ldots \right);

(ж)

Ax=(λ1x1,λ2x2,λ3x3,)A x = \left(\lambda_{1} x_{1}, \lambda_{2} x_{2}, \lambda_{3} x_{3}, \ldots \right), где {λn}1l\left\{ \lambda_{n}\right\}_{1}^{\infty } \in l_{\infty } (в этом пункте также необходимо найти AA^{\prime } и сравнить его действие с действием оператора AA^{*}.);

(з)

Ax=(x1,x2,x4,x8,,x2n1,)A x = \left(x_{1}, x_{2}, x_{4}, x_{8}, \ldots , x_{2^{n-1}}, \ldots \right).

Задача 8.20

Найти эрмитовы сопряжённые операторы для операторов левого и правого сдвигов в пространстве l2(Z)l_{2}(\mathbb {Z}).

?
Задача 8.21

Найти сопряжённые операторы AA^{\prime } и AA^{*} к интегральному оператору (Ax)(t)=abK(t,s)x(s)ds(A x)(t) = \int_{a}^{b} K(t, s) x(s) d s в пространстве L2[a,b]L_{2}[a, b], где KL2([a,b]2)K \in L_{2}\left([a, b]^{2}\right). Найти условия на функцию KK, при которых оператор AA самосопряжён.

?
Задача 8.22

При каких условиях на последовательность {λn}1l\left\{ \lambda_{n}\right\}_{1}^{\infty } \in l_{\infty } оператор Ax=(λ1x1,λ2x2,λ3x3,)A x = \left(\lambda_{1} x_{1}, \lambda_{2} x_{2}, \lambda_{3} x_{3}, \ldots \right) в пространстве l2l_{2} является самосопряжённым? При каких условиях на функцию aL[0,1]a \in L_{\infty }[0,1] оператор (Bx)(t)=a(t)x(t)(B x)(t) = a(t) x(t) в пространстве L2[0,1]L_{2}[0,1] является самосопряжённым?

?
Задача 8.23

Найти сопряжённый оператор AA^{*} к оператору замены переменной

?
(а)

A:L2[0,1]L2[0,1],(Ax)(t)=x(t)A: L_{2}[0,1] \rightarrow L_{2}[0,1],(A x)(t) = x(\sqrt{t});

(б)

A:L2[0,1]L2[0,1],(Ax)(t)=x(φ(t))A: L_{2}[0,1] \rightarrow L_{2}[0,1],(A x)(t) = x(\varphi (t)), где φ(t)\varphi (t) — непрерывная функция, отображающая отрезок [0,1][0,1] в себя со свойством φ(t)>0\varphi^{\prime }(t) > 0 для любого t[0,1]t \in [0,1].

Задача 8.24

Найти сопряжённые операторы AA^{*} для следующих операторов:

?
(а)

HH — произвольное гильбертово пространство, yy и zz — фиксированные векторы, Ax=(x,y)zA x = (x, y) z;

(б)

A:L2(R)L2(R),Ax(t)=x(t+a)A: L_{2}(\mathbb {R}) \rightarrow L_{2}(\mathbb {R}), A x(t) = x(t+a);

(в)
  • A:W21[0,1]L2[0,1],Ax=xA: W_{2}^{1}[0,1] \rightarrow L_{2}[0,1], A x = x;
(г)
  • A:W21[0,1]L2[0,1],Ax=xA: W_{2}^{1}[0,1] \rightarrow L_{2}[0,1], A x = x^{\prime }.
Задача 8.25

Пусть H0H_{0} — подпространство гильбертова пространства HH, инвариантное относительно оператора AB(H)A \in \mathcal{B}(H). Доказать, что H0H_{0}^{\perp } инвариантно относительно AA^{*}.

?
Задача 8.26

Пусть гильбертово пространство HH разложено в прямую сумму замкнутых подпространств H=H0H1H = H_{0} \oplus H_{1}, и пусть задан проектор PP на подпространство H0H_{0} вдоль H1H_{1}. Доказать, что H0H1P=PH_{0} \perp H_{1} \Leftrightarrow \Leftrightarrow P = P^{*} (ср. с задачей 6.62).

?
Задача 8.27

Пусть HH — гильбертово пространство, а P1P_{1} и P2P_{2} — ортопроекторы на подпространства H1H_{1} и H2H_{2}. Доказать эквивалентность следующих утверждений:

  1. P1P2P_{1} \leqslant P_{2} (т. е. ((P2P1)x,x)0\left(\left(P_{2}-P_{1}\right) x, x\right) \geqslant 0 для любого xHx \in H);

  2. H1H2H_{1} \subseteq H_{2};

  3. P1P2=P2P1=P1P_{1} P_{2} = P_{2} P_{1} = P_{1};

  4. P2P1P_{2}-P_{1} — ортопроектор.

?
Задача 8.28

Пусть P1P_{1} и P2P_{2} — ортопроекторы в гильбертовом пространстве HH на подпространства H1H_{1} и H2H_{2}. При каких условиях на P1P_{1} и P2P_{2} (при каких условиях на H1H_{1} и H2H_{2}) следующие операторы также являются ортопроекторами:

?
(а)

P1+P2P_{1}+P_{2};

(б)

P1P2P_{1} P_{2}? В том случае, когда эти операторы являются ортопроекторами, найти их образы и ядра.

Задача 8.29

Пусть HH — гильбертово пространство, AB(H)A \in \mathcal{B}(H). Доказать, что

?
(а)

Ker(A)=(ImA)\operatorname {Ker}\left(A^{*}\right) = (\operatorname {Im} A)^{\perp };

(б)

KerA=(ImA)\operatorname {Ker} A = \left(\operatorname {Im} A^{*}\right)^{\perp };

(в)

ImA=(KerA);\overline{\operatorname {Im} A} = \left(\operatorname {Ker} A^{*}\right)^{\perp } ;

(г)

ImA=(KerA)\overline{\operatorname {Im} A^{*}} = (\operatorname {Ker} A)^{\perp }.

Задача 8.30

Пусть HH — гильбертово пространство, AB(H)A \in \mathcal{B}(H) и dimImA=n<\operatorname {dim} \operatorname {Im} A = n < \infty. Доказать, что dimIm(A)=n\operatorname {dim} \operatorname {Im}\left(A^{*}\right) = n.

?
Задача 8.31

Пусть H1H_{1} и H2H_{2} — гильбертовы пространства, причём пространство H2H_{2} сепарабельно. Доказать, что если существует инъективный оператор AB(H1,H2)A \in \mathcal{B}\left(H_{1}, H_{2}\right), то пространство H1H_{1} также сепарабельно. Верно ли это утверждение для банаховых пространств?

?
Задача 8.32

Пусть H1H_{1} и H2H_{2} — гильбертовы пространства, {An}1B(H1,H2)\left\{ A_{n}\right\}_{1}^{\infty } \subset \subset \mathcal{B}\left(H_{1}, H_{2}\right) и AnAB(H1,H2)A_{n} \rightrightarrows A \in \mathcal{B}\left(H_{1}, H_{2}\right). Доказать, что AnAA_{n}^{*} \rightrightarrows A^{*}. Доказать, что если AnAB(H1,H2)A_{n} \rightharpoonup A \in \mathcal{B}\left(H_{1}, H_{2}\right), то AnAA_{n}^{*} \rightharpoonup A^{*}.

?
Задача 8.33

Привести пример такой последовательности операторов {An}1B(H1,H2)\left\{ A_{n}\right\}_{1}^{\infty } \subset \mathcal{B}\left(H_{1}, H_{2}\right) в гильбертовых пространствах H1H_{1} и H2H_{2}, что AnsAB(H1,H2)A_{n} \xrightarrow {s} A \in \mathcal{B}\left(H_{1}, H_{2}\right), но последовательность {An}1\left\{ A_{n}^{*}\right\}_{1}^{\infty } не имеет сильного предела.

?
Задача 8.34

Пусть H1H_{1} и H2H_{2} — гильбертовы пространства. Доказать, что оператор UB(H1,H2)U \in \mathcal{B}\left(H_{1}, H_{2}\right) унитарен (см. определение 8.4) тогда и только тогда, когда выполнены оба равенства UU=IH2U U^{*} = I_{H_{2}} и UU=IH1U^{*} U = I_{H_{1}}. Привести пример не унитарного оператора, для которого выполнено одно из этих равенств.

?
Задача 8.35

При каких условиях на последовательность {λn}1l\left\{ \lambda_{n}\right\}_{1}^{\infty } \in l_{\infty } оператор Ax=(λ1x1,λ2x2,λ3x3,)A x = \left(\lambda_{1} x_{1}, \lambda_{2} x_{2}, \lambda_{3} x_{3}, \ldots \right) является унитарным в пространстве l2l_{2}? При каких условиях на функцию aL[0,1]a \in L_{\infty }[0,1] оператор (Ax)(t)=a(t)x(t)(A x)(t) = a(t) x(t) является унитарным в пространстве L2[0,1]L_{2}[0,1]?

?
Задача 8.36

Доказать, что оператор сдвига (Ax)(t)=x(ta)(A x)(t) = x(t-a) унитарен в L2(R)L_{2}(\mathbb {R}).

?
Задача 8.37

Доказать, что операторы левого и правого сдвига унитарны в пространстве l2(Z)l_{2}(\mathbb {Z}).

?
Задача 8.38

Пусть HH — гильбертово пространство, а UB(H)U \in \mathcal{B}(H). Доказать, что если {en}1\left\{ e_{n}\right\}_{1}^{\infty } — некоторый ортонормированный базис в HH и система {Uen}1\left\{ U e_{n}\right\}_{1}^{\infty } также является ортонормированным базисом, то UU унитарен. Обратно, доказать, что если оператор UU унитарен, то он переводит любой ортонормированный базис в ортонормированный базис.

?
Задача 8.39

Пусть H1H_{1} и H2H_{2} — гильбертовы пространства, WB(H1,H2)W \in \mathcal{B}\left(H_{1}, H_{2}\right). Доказать, что WW является частично изометрическим оператором тогда и только тогда, когда WWW=WW W^{*} W = W. Как действует оператор WW^{*}?

?
Задача 8.40

Преобразованием Гильберта функции xL2[0,2π]x \in L_{2}[0,2 \pi ] называют функцию y(t)=12π02πx(s)ctgts2ds.y(t) = \frac{1}{2 \pi } \int_{0}^{2 \pi } x(s) \operatorname {ctg} \frac{t-s}{2} d s.{ }1 Доказать, что оператор A:xyA: x \mapsto y является частичной изометрией.

Footnotes

  1. Функцию yy называют ещё тригонометрической сопряжённой к функции xx.

?
Задача 8.41

Доказать, что операторы левого и правого сдвига являются частичными изометриями пространства l2l_{2}.

?
Задача 8.42

При каких условиях на последовательность {λn}1l\left\{ \lambda_{n}\right\}_{1}^{\infty } \in l_{\infty } оператор Ax=(λ1x1,λ2x2,λ3x3,)A x = \left(\lambda_{1} x_{1}, \lambda_{2} x_{2}, \lambda_{3} x_{3}, \ldots \right) является частичной изометрией в пространстве l2l_{2}? При каких условиях на функцию aL[0,1]a \in L_{\infty }[0,1] оператор (Ax)(t)=a(t)x(t)(A x)(t) = a(t) x(t) является частичной изометрией в пространстве L2[0,1]L_{2}[0,1]?

?
Задача 8.43

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

?
(а)

унитарных,

(б)

изометрических операторов замкнуто в B(H)\mathcal{B}(H). Доказать, что композиция унитарных (изометрических) операторов является унитарным (соответственно изометрическим) оператором.

Задача 8.44

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

?
Задача 8.45

Пусть HH — гильбертово пространство

?
(а)

над C\mathbb {C};

(б)

над R\mathbb {R}. Является ли множество самосопряжённых операторов замкнутым подпространством в пространстве B(H)\mathcal{B}(H)? Доказать, что композиция двух самосопряжённых операторов является самосопряжённым оператором тогда и только тогда, когда эти операторы коммутируют.

Задача 8.46

Пусть AA и BB — два самосопряженных оператора в комплексном гильбертовом пространстве HH. Для всякого xH,x0x \in H, x \neq 0, определяется

UC(x)=Ax(Ax,x)xx2Bx(Bx,x)xx2((ABBA)x,x) U C(x) = \frac{\left\| A x-\frac{(A x, x) x}{\left\| x\right\| ^{2}}\right\| \cdot \left\| B x-\frac{(B x, x) x}{\left\| x\right\| ^{2}}\right\| }{\left|((A B-B A) x, x)\right|}
  • константа неопределенности, соответствующая паре операторов A,BA, B для элемента xx (если знаменатель дроби равен нулю, то UC(x):=U C(x): = \infty). Доказать, что всегда выполнено неравенство UC(x)12U C(x) \geqslant \frac{1}{2}.
?
Задача 8.47

Пусть HH — гильбертово пространство, AA — самосопряжённый оператор. Может ли образ ImA\operatorname {Im} A быть незамкнутым?

?
Задача 8.48

Пусть HH — гильбертово пространство, AA — самосопряжённый оператор. Доказать, что ImA=H\overline{\operatorname {Im} A} = H тогда и только тогда, когда KerA={0}\operatorname {Ker} A = \left\{ 0\right\}.

?
Задача 8.49

Пусть HH — гильбертово пространство, AA — самосопряжённый оператор, xKerAx \notin \operatorname {Ker} A. Доказать, что последовательность αn=An+1x/Anx\alpha_{n} = \left\| A^{n+1} x\right\| /\left\| A^{n} x\right\| сходится.

?
Задача 8.50

Пусть HH — гильбертово пространство, AB(H)A \in \mathcal{B}(H). Доказать, что Ker(AA)=KerA,Ker(AA)=KerA\operatorname {Ker}\left(A A^{*}\right) = \operatorname {Ker} A^{*}, \operatorname {Ker}\left(A^{*} A\right) = \operatorname {Ker} A. Верно ли, что

?
(а)

Im(AA)=ImA\operatorname {Im}\left(A A^{*}\right) = \operatorname {Im} A;

(б)

Im(AA)=ImA?\operatorname {Im}\left(A^{*} A\right) = \operatorname {Im} A^{*}?

Задача 8.51

Пусть A=AA = A^{*}. Доказать, что A=supx=1(Ax,x)\left\| A\right\| = \sup_{\left\| x\right\| = 1}\left|(A x, x)\right|. Привести пример несамосопряжённого оператора, для которого эта формула неверна.

?
Задача 8.52

Пусть HH — гильбертово пространство, AB(H)A \in \mathcal{B}(H). Доказать, что AA=AA=A2\left\| A A^{*}\right\| = \left\| A^{*} A\right\| = \left\| A\right\|^{2}.

?
Задача 8.53

Пусть HH — гильбертово пространство, AB(H)A \in \mathcal{B}(H). Доказать, что существует единственная пара таких самосопряжённых операторов Are A_{\text{re }} и Aim A_{\text{im }}, что A=Are +iAim A = A_{\text{re }}+i A_{\text{im }}.

?
Задача 8.54

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

?
(а)

если ABA \geqslant B и BAB \geqslant A, то A=BA = B;

(б)

если ABA \leqslant B и BCB \leqslant C, то ACA \leqslant C;

(в)

если A1B1A_{1} \leqslant B_{1} и A2B2A_{2} \leqslant B_{2}, то A1+B1A2+B2A_{1}+B_{1} \leqslant A_{2}+B_{2};

(г)

если ABA \leqslant B и k>0k > 0, то kAkBk A \leqslant k B;

(д)

если ABA \leqslant B, то для всякого CB(H)CACCBCC \in \mathcal{B}(H) C^{*} A C \leqslant C^{*} B C;

(е)

если AB,C0A \geqslant B, C \geqslant 0 и AC=CA,BC=CBA C = C A, B C = C B, то ACBCA C \geqslant B C;

(ж)

если αIAβI\alpha I \leqslant A \leqslant \beta I, то Amax(α,β),α,β>0\left\| A\right\| \leqslant \max (\alpha , \beta ), \alpha , \beta > 0;

(з)

если BAB-B \leqslant A \leqslant B, то AB\left\| A\right\| \leqslant \left\| B\right\|.

Задача 8.55

Доказать, что для положительного оператора AA справедливо обобщённое неравенство Коши-Буняковского:

(Ax,y)2(Ax,x)(Ay,y) |(A x, y)|^{2} \leqslant (A x, x)(A y, y)
?
Задача 8.56

Пусть последовательность {An}1\left\{ A_{n}\right\}_{1}^{\infty } положительных операторов слабо сходится к нулю. Доказать, что AnA_{n} сходятся к нулю сильно.

?
Задача 8.57

Пусть AA и BB-ограниченные операторы в гильбертовом пространстве HH. Доказать, что неравенство AABBA^{*} A \leqslant B^{*} B эквивалентно системе неравенств AxBx\left\| A x\right\| \leqslant \left\| B x\right\| для любого xHx \in H.

?
Задача 8.58

Пусть HH — гильбертово пространство, AB(H)A \in \mathcal{B}(H). Доказать, что AA0A A^{*} \geqslant 0.

?
Задача 8.59

Пусть HH — комплексное гильбертово пространство, AB(H)A \in \mathcal{B}(H). Доказать, что если для любого xHx \in H квадратичная форма (Ax,x)(A x, x) вещественна (в частности, если оператор положителен), то A=AA^{*} = A.

?
Задача 8.60

Пусть HH — гильбертово пространство, AA и BB — самосопряжённые операторы и A0A \geqslant 0. Доказать, что BAB0B A B \geqslant 0.

?
Задача 8.61

Пусть HH — гильбертово пространство, AA и BB — самосопряжённые операторы, 0AB0 \leqslant A \leqslant B и AB=BAA B = B A. Доказать, что AB0A B \geqslant 0 и A2B2A^{2} \leqslant B^{2}. Привести примеры, показывающие, что условие AB=BAA B = B A в этом утверждении существенно.

?
Задача 8.62

Пусть HH — гильбертово пространство, а последовательность {An}1\left\{ A_{n}\right\}_{1}^{\infty } самосопряжённых операторов из B(H)\mathcal{B}(H) монотонно не убывает, т. е. A1A2A3A_{1} \leqslant A_{2} \leqslant A_{3} \leqslant \ldots Доказать, что такая последовательность имеет предел в смысле сильной операторной сходимости, но не обязательно имеет предел в смысле равномерной операторной сходимости.

?
Задача 8.63

Пусть HH — гильбертово пространство, AA — самосопряжённый оператор и A0A \geqslant 0. Доказать, что существует единственный самосопряжённый неотрицательный оператор BB, для которого B2=AB^{2} = A.

?
Задача 8.64

Для следующих операторов AA найти A\sqrt{A} :

?
(а)

Ax=(λ1x1,λ2x2,λ3x3,)A x = \left(\lambda_{1} x_{1}, \lambda_{2} x_{2}, \lambda_{3} x_{3}, \ldots \right), где {λn}1l,λn0\left\{ \lambda_{n}\right\}_{1}^{\infty } \in l_{\infty }, \lambda_{n} \geqslant 0;

(б)

(Ax)(t)=a(t)x(t)(A x)(t) = a(t) x(t), где aL[0,1],a(t)0a \in L_{\infty }[0,1], a(t) \geqslant 0 для любого t[0,1]t \in [0,1];

(в)

AA — ортопроектор в гильбертовом пространстве HH;

(г)

(Ax)(t)=01tsx(s)ds(A x)(t) = \int_{0}^{1} t s x(s) d s.

Задача 8.65

Пусть HH — гильбертово пространство, AA — самосопряжённый оператор и A0A \geqslant 0. Доказать, что A=A\left\| \sqrt{A}\right\| = \sqrt{\left\| A\right\| }.

?
Задача 8.66

Показать, что из неравенств 0AB0 \leqslant A \leqslant B для операторов в гильбертовом пространстве следует неравенство AB\sqrt{A} \leqslant \sqrt{B}.

?
Задача 8.67

Доказать, что в гильбертовом пространстве всякий самосопряжённый оператор есть линейная комбинация двух унитарных операторов. Как следствие, всякий ограниченный оператор есть линейная комбинация четырех унитарных.

?
Задача 8.68

Пусть H1H_{1} и H2H_{2} — гильбертовы пространства, а оператор AB(H1,H2)A \in \mathcal{B}\left(H_{1}, H_{2}\right). Доказать, что существует такой частично изометрический оператор W:H1H2W: H_{1} \rightarrow H_{2} и такие неотрицательные операторы SB(H1)S \in \mathcal{B}\left(H_{1}\right) и RB(H2)R \in \mathcal{B}\left(H_{2}\right), что A=WS=RWA = W S = R W. При этом пара операторов W,SW, S однозначно определена условием KerW=KerS\operatorname {Ker} W = \operatorname {Ker} S, а пара W,RW, R условием (ImW)=KerR(\operatorname {Im} W)^{\perp } = \operatorname {Ker} R.

?
Задача 8.69

Найти полярное разложение A=WS=RWA = W S = R W для оператора AB(H)A \in \mathcal{B}(H) в случае

?
(а)

H=L2[0,1],Ax(t)=a(t)x(t)H = L_{2}[0,1], A x(t) = a(t) x(t), где aL[0,1]a \in L_{\infty }[0,1];

(б)

H=l2,A(x1,x2,)=(0,x1,x2,)H = l_{2}, A\left(x_{1}, x_{2}, \ldots \right) = \left(0, x_{1}, x_{2}, \ldots \right).

Задача 8.70

Пусть HH — гильбертово пространство, AB(H)A \in \mathcal{B}(H). Доказать, что существует единственный самосопряжённый неотрицательный оператор BB(H)B \in \mathcal{B}(H) такой, что для любого xHx \in H выполнено Ax=Bx\left\| A x\right\| = \left\| B x\right\|.

?
Задача 8.71

Пусть HH — гильбертово пространство, AB(H)A \in \mathcal{B}(H) и H0:=ImAH_{0}: = \operatorname {Im} A. Доказать, что найдётся такой самосопряжённый оператор в HH, что его образ совпадает с H0H_{0}.

?
Задача 8.72

Пусть AA и BB-ограниченные операторы в гильбертовом пространстве HH. Доказать равносильность следующих свойств:

  1. ImAImB\operatorname {Im} A \subset \operatorname {Im} B;

  2. A=BCA = B C для некоторого CB(H)C \in \mathcal{B}(H);

  3. существует такое λ0\lambda \geqslant 0, что (Ax,Ax)λ2(Bx,Bx)\left(A^{*} x, A^{*} x\right) \leqslant \lambda^{2}\left(B^{*} x, B^{*} x\right) для всех xHx \in H.

?
Задача 8.73

Для всякого ли оператора AB(X)A \in \mathcal{B}(X) (XX — банахово пространство) существует такой оператор BB(X)B \in \mathcal{B}(X), что B2=AB^{2} = A?

?
Задача 8.74

Доказать, что оператор AA нормален тогда и только тогда, когда AreAim=AimAreA_{\mathrm{re}} A_{\mathrm{im}} = A_{\mathrm{im}} A_{\mathrm{re}} (см. задачу 8.53).

?
Задача 8.75

Доказать, что если оператор AA нормальный, то для любого λC\lambda \in \mathbb {C} оператор AλIA-\lambda I тоже нормальный.

?
Задача 8.76

Пусть HH — гильбертово пространство и оператор AB(H)A \in \mathcal{B}(H) нормален. Доказать, что существует такой унитарный оператор UB(H)U \in \mathcal{B}(H), что A=UAA^{*} = U A.

?
Задача 8.77

Пусть HH — гильбертово пространство. Доказать, что оператор AB(H)A \in \mathcal{B}(H) нормален тогда и только тогда, когда Ax=Ax\left\| A x\right\| = \left\| A^{*} x\right\| для любого xHx \in H.

?
Задача 8.78

Пусть HH — гильбертово пространство и оператор AB(H)A \in \mathcal{B}(H) нормален. Доказать, что A2=A2\left\| A^{2}\right\| = \left\| A\right\|^{2} и вообще A2n=A2n\left\| A^{2^{n}}\right\| = \left\| A\right\|^{2^{n}} для любого натурального n.n.1

Footnotes

  1. На самом деле, для всякого нормального оператора AB(H)A \in \mathcal{B}(H) верно соотношение An=An\left\| A^{n}\right\| = \left\| A\right\|^{n} при всех nNn \in \mathbb {N}.

?
Задача 8.79

Какие из следующих операторов нормальны в l2l_{2} :

?
(а)

Ax=(x1,x2,,xn,0,0,)A x = \left(x_{1}, x_{2}, \ldots , x_{n}, 0,0, \ldots \right);

(б)

Ax=(0,x1,0,x3,,0,x2n1,0,)A x = \left(0, x_{1}, 0, x_{3}, \ldots , 0, x_{2 n-1}, 0, \ldots \right);

(в)

Ax=(0,x1,0,x2,,0,xn,0,)A x = \left(0, x_{1}, 0, x_{2}, \ldots , 0, x_{n}, 0, \ldots \right);

(г)

Ax=(0,x1,x2,x3,)A x = \left(0, x_{1}, x_{2}, x_{3}, \ldots \right) — правый сдвиг;

(д)

Ax=(x2,x3,x4,)A x = \left(x_{2}, x_{3}, x_{4}, \ldots \right) — левый сдвиг;

(е)

Ax=(λ1x1,λ2x2,λ3x3,)A x = \left(\lambda_{1} x_{1}, \lambda_{2} x_{2}, \lambda_{3} x_{3}, \ldots \right), где {λn}1l\left\{ \lambda_{n}\right\}_{1}^{\infty } \in l_{\infty };

(ж)

Ax=(xn+1,xn+2,)A x = \left(x_{n+1}, x_{n+2}, \ldots \right);

(з)

Ax=(x1,x2,x4,x8,,x2n1,)A x = \left(x_{1}, x_{2}, x_{4}, x_{8}, \ldots , x_{2^{n-1}}, \ldots \right)?

Задача 8.80

При каких условиях на функцию KL2([0,1]2)K \in L_{2}\left([0,1]^{2}\right) оператор (Ax)(t)=01K(t,s)x(s)ds(A x)(t) = \int_{0}^{1} K(t, s) x(s) d s в пространстве L2[0,1]L_{2}[0,1] нормален?

?
Задача 8.81

Доказать, что для любой функции aL[0,1]a \in L_{\infty }[0,1] оператор (Ax)(t)=a(t)x(t)(A x)(t) = a(t) x(t) нормален в L2[0,1]L_{2}[0,1].

?