44

Сопряжённые и нормальные операторы

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

Доказать следуюшие свойства операции перехода к сопряжённому оператору в метрическом пространстве:

?
(а)

A∗∗=A\mathcal{A}^{* *}=\mathcal{A};

(б)

(A+B)∗=A∗+B∗(\mathcal{A}+\mathcal{B})^{*}=\mathcal{A}^{*}+\mathcal{B}^{*};

(в)

(AB)∗=B∗A∗(\mathcal{A B})^{*}=\mathcal{B}^{*} \mathcal{A}^{*};

(г)

(λA)∗=λˉA∗(\lambda \mathcal{A})^{*}=\bar{\lambda } \mathcal{A}^{*};

(д)

A∗A\mathcal{A}^{*} \mathcal{A} и AA∗\mathcal{A} \mathcal{A}^{*} — самосопряжённые операторы;

(е)

если оператор A\mathcal{A} невырожден, то (A−1)∗=(A∗)−1\left(\mathcal{A}^{-1}\right)^{*}=\left(\mathcal{A}^{*}\right)^{-1}.

Задача 44.2

Найти матрицу оператора A∗\mathcal{A}^{*} в базисе е метрического векторного пространства VV, если оператор A\mathcal{A} имеет в этом базисе матрицу AA, а скалярное произведение — матрицу GG.

?
Задача 44.3

Пусть (e1,e2)\left(e_{1}, e_{2}\right) — ортонормированный базис метрического векторного пространства и оператор A\mathcal{A} имеет в базисе (e1,e1+e2)\left(e_{1}, e_{1}+e_{2}\right) матрицу (121−1)\left(\begin{array}{rr}1 & 2 \\ 1 & -1\end{array}\right). Найти матрицу оператора A∗\mathcal{A}^{*} в этом базисе.

?
Задача 44.4

Найти оператор, сопряжённый к проектированию координатной плоскости на ось абсцисс параллельно биссектрисе первой и третьей четвертей.

?
Задача 44.5

Пусть A\mathcal{A} — проектирование метрического векторного пространства VV на подпространство V1V_{1} параллельно подпространству V2V_{2}. Доказать, что:

?
(а)

V=V1⊥⊕V2⊥V=V_{1}^{\perp } \oplus V_{2}^{\perp };

(б)

A∗\mathcal{A}^{*} — проектирование пространства VV на V2⊥V_{2}^{\perp } параллельно V1⊥V_{1}^{\perp }.

Задача 44.6

Доказать, что если подпространство метрического векторного пространства инвариантно относительно линейного оператора A\mathcal{A}, то его ортогональное дополнение инвариантно относительно оператора A∗\mathcal{A}^{*}.

?
Задача 44.7

Доказать, что ядро и образ сопряжённого оператора A∗\mathcal{A}^{*} являются ортогональными дополнениями соответственно к образу и ядру оператора A\mathcal{A}.

?
Задача 44.8

Доказать, что если xx — собственный вектор операторов A\mathcal{A} и A∗\mathcal{A}^{*} в метрическом векторном пространстве с собственными значениями λ\lambda и μ\mu, то μ=λˉ\mu =\bar{\lambda }.

?
Задача 44.9

Пусть VV — пространство вещественных бесконечно дифференцируемых периодических функций периода h>0h>0 со скалярным произведением ∫0hf(x)g(x)dx\int_{0}^{h} f(x) g(x) d x.

?
(а)

Найти оператор, сопряжённый к оператору дифференцирования D\mathcal{D}.

(б)

Доказать, что отображения A\mathcal{A} и B\mathcal{B}, заданные правилами

A(f)=∑i=0nuiDi(f),B(f)=∑i=0n(−1)iDi(uif) \mathcal{A}(f)=\sum _{i=0}^{n} u_{i} \mathcal{D}^{i}(f), \quad \mathcal{B}(f)=\sum _{i=0}^{n}(-1)^{i} \mathcal{D}^{i}\left(u_{i} f\right)

где u0,u1…,un∈Vu_{0}, u_{1} \ldots , u_{n} \in V — фиксированные функции, являются линейными операторами в VV и B=A∗\mathcal{B}=\mathcal{A}^{*}.

(в)

Доказать, что оператор, определённый правилом

A(f)=sin⁡22πhxD2(f)+2πhsin⁡4πhxD(f) \mathcal{A}(f)=\sin ^{2} \frac{2 \pi }{h} x \mathcal{D}^{2}(f)+\frac{2 \pi }{h} \sin \frac{4 \pi }{h} x \mathcal{D}(f)

является самосопряжённым.

Задача 44.10

Пусть VV — пространство вещественных бесконечно дифференцируемых функций на отрезке [a,b][a, b] со скалярным произведением ∫abf(x)g(x)dx\int_{a}^{b} f(x) g(x) d x. Доказать, что:

?
(а)

если функции u0,…,un∈Vu_{0}, \ldots , u_{n} \in V удовлетворяют условиям

Di(uj)(a)=Di(uj)(b)=0(j=1,…,n;i=0,1,…,j−1) \mathcal{D}^{i}\left(u_{j}\right)(a)=\mathcal{D}^{i}\left(u_{j}\right)(b)=0 \quad (j=1, \ldots , n ; i=0,1, \ldots , j-1)

то отображения A\mathcal{A} и B\mathcal{B}, определённые правилами

A(f)=∑i=0nuiDi(f),B(f)=∑i=0n(−1)iDi(uif), \mathcal{A}(f)=\sum _{i=0}^{n} u_{i} \mathcal{D}^{i}(f), \quad \mathcal{B}(f)=\sum _{i=0}^{n}(-1)^{i} \mathcal{D}^{i}\left(u_{i} f\right),

являются линейными операторами в VV и B=A∗\mathcal{B}=\mathcal{A}^{*};

(б)

линейный оператор A\mathcal{A}, определённый правилом

A(f)=(x−a)2(x−b)2D2(f)+2(x−a)(x−b)(2x−a−b)D(f), \mathcal{A}(f)=(x-a)^{2}(x-b)^{2} \mathcal{D}^{2}(f)+2(x-a)(x-b)(2 x-a-b) \mathcal{D}(f),

самосопряжён.

Задача 44.11

Доказать, что если линейные операторы A\mathcal{A} и B\mathcal{B} в пространстве R[x]\mathbb {R}\left[x\right] со скалярным произведением ∫abf(x)g(x)dx\int_{a}^{b} f(x) g(x) d x определены правилами

A(f)=∫abP(x,y)f(y)dy,B(f)=∫abP(x,y)f(y)dy \mathcal{A}(f)=\int _{a}^{b} P(x, y) f(y) d y, \quad \mathcal{B}(f)=\int _{a}^{b} P(x, y) f(y) d y

где P(x,y)∈R[x,y]P(x, y) \in \mathbb {R}\left[x, y\right], то B=A∗\mathcal{B}=\mathcal{A}^{*}.

?
Задача 44.12

Доказать, что если A\mathcal{A} — самосопряжённый оператор, то функция f(x,y)=(Ax,y)f(x, y)=(\mathcal{A} x, y) эрмитова.

?
Задача 44.13

Доказать, что если A\mathcal{A} и B\mathcal{B} — самосопряжённые операторы в метрическом векторном пространстве VV и (Ax,x)=(Bx,x)(\mathcal{A} x, x)=(\mathcal{B} x, x) для всех x∈Vx \in V, то A=B\mathcal{A}=\mathcal{B}.

?
Задача 44.14

Доказать, что оператор A\mathcal{A} в евклидовом или эрмитовом пространстве VV нормален тогда и только тогда, когда ∣Ax∣=∣A∗x∣\left|\mathcal{A} x\right|=\left|\mathcal{A}^{*} x\right| для всех x∈Vx \in V.

?
Задача 44.15

Доказать, что если xx — собственный вектор нормального оператора A\mathcal{A} в евклидовом или эрмитовом пространстве с собственным значением λ\lambda, то xx — собственный вектор оператора A∗\mathcal{A}^{*} с собственным значением λˉ\bar{\lambda }.

?
Задача 44.16

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

?
Задача 44.17

Доказать, что:

?
(а)

ортогональное дополнение к линейной оболочке собственного вектора нормального оператора A\mathcal{A} в евклидовом или эрмитовом пространстве инвариантно относительно A\mathcal{A};

(б)

оператор в эрмитовом пространстве нормален тогда и только тогда, когда он имеет ортонормированный собственный базис;

(в)

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

Задача 44.18

Доказать, что любое множество перестановочных нормальных операторов в эрмитовом пространстве имеет общий ортонормированный базис.

?
Задача 44.19

Доказать, что если нормальный оператор A\mathcal{A} в эрмитовом пространстве перестановочен с оператором B\mathcal{B}, то A\mathcal{A} перестановочен с B∗\mathcal{B}^{*}.

?
Задача 44.20

Пусть A,B\mathcal{A}, B — нормальные операторы в эрмитовом пространстве, причём характеристические многочлены этих операторов равны. Доказать, что матрицы операторов A\mathcal{A} и BB в любом базисе подобны.

?
Задача 44.21

Пусть A\mathcal{A} — нормальный нильпотентный оператор в эрмитовом пространстве. Тогда A=0\mathcal{A}=0.

?
Задача 44.22

Оператор A\mathcal{A} в эрмитовом пространстве нормален тогда и только тогда, когда A∗=p(A)\mathcal{A}^{*}=p(\mathcal{A}) для некоторого полинома p(t)p(t).

?
Задача 44.23

Для всякого многочлена

f(x)=∑i=0naixi∈K[x] f(x)=\sum _{i=0}^{n} a_{i} x^{i} \in K[x]

положим

fˉ(x)=∑i=0naˉixi \bar{f}(x)=\sum _{i=0}^{n} \bar{a}_{i} x^{i}

Доказать, что если A\mathcal{A} — оператор в метрическом пространстве, то:

?
(а)

f(A)∗=f(A∗)‾f(\mathcal{A})^{*}=\overline{f\left(\mathcal{A}^{*}\right)};

(б)

если f(A)=0f(\mathcal{A})=0, то f(A∗)‾=0\overline{f\left(\mathcal{A}^{*}\right)}=0.

Задача 44.24

Пусть A\mathcal{A} — нормальный оператор в метрическом векторном пространстве VV и f(x)∈K[x]f(x) \in K[x].

Доказать, что:

?
(а)

ядро Ker⁡f(A)\operatorname {Ker} f(\mathcal{A}) инвариантно относительно A∗\mathcal{A}^{*};

(б)

Ker⁡f(A∗)‾=Ker⁡f(A)\operatorname {Ker} \overline{f\left(\mathcal{A}^{*}\right)}=\operatorname {Ker} f(\mathcal{A});

(в)

если f(x)=f1(x)f2(x)f(x)=f_{1}(x) f_{2}(x), где f1(x)f_{1}(x) и f2(x)f_{2}(x) взаимно просты, то Ker⁡f(A)\operatorname {Ker} f(\mathcal{A}) является ортогональной прямой суммой подпространств Ker⁡f1(A)\operatorname {Ker} f_{1}(\mathcal{A}) и Ker⁡f2(A)\operatorname {Ker} f_{2}(\mathcal{A});

(г)

если (f(A))n=0(f(\mathcal{A}))^{n}=0, то f(A)=0f(\mathcal{A})=0.

Задача 44.25

Пусть A\mathcal{A} — нормальный оператор в евклидовом пространстве VV, причём A2=−E\mathcal{A}^{2}=-E. Доказать, что A∗=−A\mathcal{A}^{*}=-\mathcal{A}.

?
Задача 44.26

Пусть p(t)=t2+at+bp(t)=t^{2}+a t+b — вещественный неприводимый многочлен. Предположим, что A\mathcal{A} — нормальный оператор в евклидовом пространстве, причём p(A)=0p(\mathcal{A})=0. Доказать, что A∗=−A−aEA^{*}=-\mathcal{A}-a E.

?
Задача 44.27

Пусть A\mathcal{A} — нормальный линейный оператор в евклидовом пространстве V,UV, U — двумерное инвариантное относительно A\mathcal{A} подпространство в VV, причём A\mathcal{A} не имеет в UU собственных векторов. Доказать, что:

?
(а)

UU инвариантно относительно A∗\mathcal{A}^{*};

(б)

U⊥U^{\perp } инвариантно относительно A\mathcal{A} и A∗\mathcal{A}^{*}.

Задача 44.28

Пусть A\mathcal{A} — нормальный линейный оператор в двумерном евклидовом пространстве UU, причём A\mathcal{A} не имеет собственных векторов. Пусть е =(e1,e2)=\left(e_{1}, e_{2}\right) — ортонормированный базис. Доказать, что матрица оператора A\mathcal{A} в базисе e\mathbf{e} имеет вид

[a−bba] \left[\begin{smallmatrix} a & -b \\ b & a \end{smallmatrix}\right]
?
Задача 44.29

Пусть A\mathcal{A} — нормальный оператор в евклидовом пространстве VV. Доказать, что в VV существует ортонормированный базис, в котором матрица оператора A\mathcal{A} имеет блочно-диагональный вид

[A10⋱0An], \left[\begin{smallmatrix} A_{1} & & 0 \\ & \ddots & \\ 0 & & A_{n} \end{smallmatrix}\right],

размер клеток AiA_{i} не выше двух, причём клетки AiA_{i} размера два имеют вид

[ai−bibiai]. \left[\begin{smallmatrix} a_{i} & -b_{i} \\ b_{i} & a_{i} \end{smallmatrix}\right].
?
Задача 44.30

Доказать, что всякий оператор в евклидовом (эрмитовом) пространстве является суммой симметрического и кососимметрического (эрмитова и косоэрмитова) операторов.

?
Задача 44.31

Доказать, что всякий оператор A\mathcal{A} в евклидовом пространстве VV кососимметричен тогда и только тогда, когда для любого x∈Vx \in V векторы xx и Ax\mathcal{A} x ортогональны.

?
Задача 44.32

Доказать, что для всякого кососимметрического оператора в евклидовом пространстве существует ортонормированный базис, в котором его матрица имеет клеточно-диагональный вид, где по главной диагонали стоят нули или клетки вида

[0−αα0],α∈R \left[\begin{smallmatrix} 0 & -\alpha \\ \alpha & 0 \end{smallmatrix}\right], \quad \alpha \in \mathbb {R}
?