泛函分析 05.04 共轭空间和共轭算子 - 自共轭的有界线性算子

$\color{blue}{\S 5.4 自共轭的有界线性算子}$

$\bullet 以下我们还是在 Hilbert 空间中讨论, A 是从 H 到$
$H 的有界线性算子.$
$1. 在有限维空间, {\color{red}{A = (a_{ij})}} 的共轭算子(共轭转置矩阵)是$
${\color{blue}{A^{\ast} = (\bar a_{ji})}} {\color{green}{(H \mapsto H 的映射)}}.$
$2. 在实的 Hilbert 空间, {\color{blue}{A = A^{\ast}}} \Leftrightarrow {\color{blue}{a_{ij} = a_{ji}}}, {\color{red}{即 A 是对称的}}.$
$\bullet 我们考虑的问题:$
$在 Hilbert 空间是否可以类似的考虑{\color{green}{线性算子 A 的某种对称性?}}$
$即: A 和 A^{\ast} 的关系.$
$\bullet (5.3.11)式定义的 A 的共轭算子 A^{\ast} 也是{\color{blue}{从H到H的有界线性算子}},$
$\bullet 于是可以研究和{\color{red}{比较 A 和 A^{\ast} }}, 看它们是否{\color{red}{相等}}?$
$即它{\color{blue}{是否是自共轭}}.$
$\ast 对称具有许多非常好的{\color{brown}{美学性质}}, 自共轭是{\color{brown}{对称}}的一个直接推广.$
$\blacktriangledown 下面我们将看到, {\color{blue}{自共轭算子}}具有与{\color{blue}{对称矩阵}}相类似的许多性质,$
$自共轭算子的{\color{green}{谱(特征值)}}是相对简单的.$

$\color{blue}{5.4.1 有界自共轭算子的定义、例}$

$定义 5.4.1 是 A 是 Hilbert 空间 H 到 H 的有界线性算子.$
$如果 A = A^{\ast}, 则称 A 是自共轭的.$
$注1：由定义 5.3.5, {\color{green}{有界线性算子}} A是自共轭的, 当且仅当$
$\qquad {\color{blue}{(Ax, y) = (x, Ay)}}, \forall x, y \in H \quad (5.4.1)$
$注2：对于{\color{red}{有界线性算子}}而言, 自共轭算子也称为{\color{red}{对称算子}}.$

$例 5.4.2 令 H = \mathbb{C}^n, 其上定义的内积为(x, y) = \sum \limits_{i=1}^n \xi_i \overline{\eta_i},$
$A 是 \mathbb{C}^n 到 \mathbb{C}^n 的有界线性算子,$
$\qquad {\color{blue}{A = (a_{ij}), i, j = 1, 2, \cdots, n, Ax = z, }}$
$其中 x = (\xi_1, \xi_2, \cdots, \xi_n), z = (\varsigma_1, \varsigma_2, \cdots, \varsigma_n), 且$
$\qquad {\color{blue}{\varsigma_i = \sum \limits_{j=1}^n a_{ij} \xi_j (i = 1, 2, \cdots, n)}}$
$对于 \forall y \in \mathbb{C}^n, y = (\eta_1, \eta_2, \cdots, \eta_n), 由于$
${\color{red}{(Ax, y)}} = \sum \limits_{i=1}^n (\sum \limits_{j=1}^n a_{ij} \xi_j)\overline{\eta_i} = \sum \limits_{j=1}^n \sum \limits_{i=1}^n a_{ij} \overline{\eta_i} = \sum \limits_{j=1}^n(\sum \limits_{i=1}^n a_{ij} \overline{\eta_i}) \xi_j$
$\qquad = \sum \limits_{j=1}^n \overline{(\sum \limits_{i=1}^n \bar a_{ij} \eta_i)} \xi_j = \sum \limits_{i=1}^n \xi_i {\color{red}{\overline{(\sum \limits_{j=1}^n \bar a_{ji} \eta_j)}}} = (x, A^{\ast} y),$
$我们有 A^{\ast} = (\bar a_{ji}) = (a_{ij})^{\ast}, 即 {\color{blue}{A^{\ast} 是 A的转置共轭}}.$
$\qquad A = (a_{ij}) _{n \times n}, A^{\ast} = (\bar a_{ji})_{n \times n}$
$因此 {\color{green}{A 是自共轭的}} 充分必要条件是矩阵(a_{ij})$
${\color{red}{和它的共轭转置矩阵(\bar a_{ji})相等.}}$
$注: 如果{\color{brown}{在 \mathbb{R}^n 中}}, A 是{\color{blue}{自共轭}}的充分必要条件是矩阵$
$A = (a_{ij})_{n \times n} 是{\color{blue}{对称}}的.$

$例 5.4.3 记 H = L^2(I), 其中 I \subset \mathbb{R} 是一个可测集合.$
$k(s, t) 是 I \times I \to \mathbb{C} 的函数, 满足$
$\qquad {\color{blue}{\int_I \int_I |k(s, t)|^2 ds dt < \infty}} \quad (5.4.2)$
$K 是 L^2(I) 到 L^2(I)的线性算子, 定义 z = Kx, 其中$
$\qquad {\color{red}{z(s) = \int_I k(s, t) x(t) dt}} \quad (5.4.3)$
$它的共轭算子 K^{\ast}:$
$\qquad {\color{blue}{(K^{\ast}y)(s) = \int_I \overline{k(t, s)} y(t) dt }},$
$注：条件(5.4.2) {\color{red}{保证}} K 从 {\color{green}{L^2(I) 到 L^2(I)}}是有界的.$
$证明:对于 \forall y \in L^2(I)由于$
${\color{red}{(Kx, y)}} = \int_I[\int_I k(s, t) x(t) dt] \overline{y(s)} ds$
$\qquad = \int_I \int_I[k(s, t) x(t)] \overline{y(s)} ds dt$
$\qquad = \int_I x(t) \overline{[\int_I \overline{k(s, t)} y(s) ds]} dt = {\color{red}{(x, K^{\ast} y)}}.$
$因此$
$\qquad {\color{blue}{(K^{\ast} y)(s) = \int_I \overline{k(t, s)} y(t) dt = \int_I k^{\ast}(s, t) y(t) dt, }}$
$即 K^{\ast} 也是积分算子, 且 {\color{red}{k^{\ast}(s, t) = \overline{k(t, s)}}}$
$注：积分算子{\color{green}{K是自共轭算子}}的充要条件是$
$\qquad {\color{blue}{k(s, t) = \overline{k(t, s)} }}, t, s \in I.$

$例 5.4.4 在 L^2(-\infty, \infty) 上考虑{\color{red}{乘法算子}}$
$\qquad {\color{blue}{F: x(t) \to f(t) x(t), }}$
$其中 |f(t)| \leq M < \infty 几乎处处成立.$
$容易验证，F 是有界线性算子且$
$\qquad {\color{blue}{\Vert F \Vert}} = ess \sup \limits_{t \in \mathbb{R}} |f(t)| = \Vert f \Vert _{\infty}$
$由于$
${\color{red}{(Fx, y)}} = \int_{-\infty}^{\infty} f(t) x(t) \overline{y(t)} dt = \int_{-\infty}^{\infty} {\color{blue}{x(t)}} \overline{{\color{red}{\overline{f(t)} y(t)}}} dt = ({\color{blue}{x}}, {\color{red}{F^{\ast} y}})$
$即它的{\color{blue}{共轭算子 F^{\ast} 也是乘法算子}}:$
$\qquad F^{\ast} : y(t) \to \overline{f(t)} y(t).$
$注：显然{\color{green}{F是自共轭的}}, 当且仅当 {\color{red}{f(t) 是实函数}}.$

$\color{blue}{5.4.2 自共轭算子的性质}$

$\ast 显然, 若 A 和 B 是自共轭的, 则 A + B 也是自共轭的,$
$\ast 并且对于任何的实数 \alpha, \alpha A 也是自共轭的.$
$\blacktriangleright 进一步地我们有:$

$定理 5.4.5 Hilbert 空间 H 上的全体{\color{blue}{自共轭算子组成的}}$
${\color{blue}{集合是 \mathscr{B}(H)中的一个闭集.}}$
$证明: 考虑 \mathscr{B}(H) 中的一个由自共轭算子 A_n 组成的点列$
$\qquad A_n \to A (n \to \infty) , A \in \mathscr{B}(H).$
$我们要证明{\color{red}{A 是自共轭的}}.$
$即$
$\qquad {\color{blue}{(Ax, y) - (x, Ay) = 0, \forall x, y \in H}}.$
$由于 A_n 是自共轭的, 我们有对 \forall x, y \in H$
$|(Ax, y) - (x, Ay)|$
$= |(Ax, y) - (A_n x, y) + (x, A_ny) - (x, Ay)|$
$\leq |((A - A_n)x, y)| + |(x, (A_n - A)y|$
$\leq 2 \Vert A_n - A \Vert \Vert x \Vert \Vert y \Vert \to 0 (n \to \infty),$
$即(Ax, y) = (x, Ay), 所以 A 是一个自共轭算子.$
$注: {\color{green}{全体自共轭算子组成实的赋范线性空间}}, 但是在复的有$
$界线性算子空间 \mathscr{B}(H) 中, 它不是 \mathscr{B}(H) 中的子空间.$

$定理 5.4.6 设A、B 是 Hilbert 空间上的有界自共轭算子,$
$则{\color{red}{AB是自共轭}}的充要条件是{\color{blue}{AB = BA}}.$
$证明:按照定义, AB 是自共轭的 \Leftrightarrow 对于 \forall x, y \in H 有$
$\qquad {\color{red}{(ABx, y) = (x, ABy)}}.$
$由于 A、B是自共轭的,$
$根据共轭算子的定义, 我们有:对 \forall x, y \in H$
${\color{blue}{(ABx, y)}} = (Bx, A^{\ast} y) = (Bx, Ay)$
$\qquad = (x, B^{\ast} Ay) = {\color{blue}{(x, BAy)}},$
$即 AB 是自共轭的 \Leftrightarrow AB = BA.$

$定理 5.4.7 设 A 是 Hilbert 空间 H 上的有界线性算子,$
$则{\color{red}{A 是自共轭的}} 当且仅当对{\color{blue}{\forall x \in H, (x, Ax) 是实的}}.$
$证明:(\Rightarrow) 因为 A 是自共轭的, 所以$
$\qquad {\color{blue}{(x, Ax)}} = (Ax, x) = \overline{(x, Ax)}.$
$(\Leftarrow) 如果{\color{red}{(x, Ax) = \overline{(x, Ax)} }} = (Ax, x), 对于任何的$
$x, y \in H, 由直接计算我们有$
$4(x, Ay) = {\color{blue}{(x + y, A(x + y)) - (x - y, A(x - y)) + i(x + iy, A(x + iy)) - i(x - iy, A(x - iy))}}$
$\qquad = (A(x+y), x+y) - (A(x-y), x-y) + i(A(x+iy), x+iy) - i(A(x-iy), x-iy)$
$\qquad = 4(Ax, y),$
$即 A = A^{\ast}.$

$定理 5.4.8 设 A 是 Hilbert 空间 H 中有界自共轭算子, 则$
$\qquad \Vert A \Vert = {\color{red}{\sup \limits_{x \in H} \lbrace |(Ax, x)| \Vert x \Vert = 1 \rbrace }}$
$\qquad = \sup \limits_{x \in H, y \in H} \lbrace |(Ax, y)| | \Vert x \Vert = \Vert y \Vert = 1 \rbrace.$
$证明：令 \alpha = \sup \lbrace |(Ax, x)| \Vert x \Vert = 1 \rbrace, 因为$
$\qquad |(Ax, x)| \leq \Vert A \Vert \Vert x \Vert ^2,$
$所以 {\color{red}{\alpha \leq \Vert A \Vert}}.$
$反之, 对于任何的 \gamma > 0, 由于(Ax, Ax) = (A^2x, x),$
$通过直接计算和应用平行四边形法则,$
$4 \Vert Ax \Vert ^2 = {\color{blue}{(A(\gamma x + \gamma^{-1} Ax), \gamma x + \gamma^{-1} Ax) -(A(\gamma x - \gamma^{-1} Ax), \gamma x - \gamma^{-1} Ax) }}$
$\qquad \leq \alpha \Vert \gamma x + \gamma^{-1} Ax \Vert ^2 + \alpha \Vert \gamma x - \gamma^{-1} Ax \Vert ^2$
$\qquad = 2 \alpha (\gamma^2 \Vert x \Vert ^2 + \gamma^{- 2}\Vert Ax \Vert ^2) \quad (5.4.4)$
$不妨设 \Vert Ax \Vert \neq 0, 令 \gamma^{-2} = \dfrac{\Vert x \Vert}{\Vert Ax \Vert}, 由 (5.4.4) 式有$
$\qquad {\color{red}{4 \Vert Ax \Vert ^2}} \leq 2 \alpha(\dfrac{\Vert Ax \Vert}{\Vert x \Vert} \Vert x \Vert ^2 + \dfrac{\Vert x \Vert }{\Vert Ax \Vert} \Vert Ax \Vert ^2)$
$\qquad \leq {\color{red}{4 \alpha \Vert Ax \Vert \Vert x \Vert}} \quad (5.4.5)$
$于是我们有 {\color{blue}{\Vert A \Vert \leq \alpha}}. 令$
$\qquad {\color{blue}{\beta = \sup \limits_{x \in H, y \in H} \lbrace |(Ax, y)| | \Vert x \Vert = \Vert y \Vert = 1 \rbrace,}}$
$因为 |(Ax, y)| \leq \Vert A \Vert \Vert x \Vert \Vert y \Vert, 所以 {\color{red}{\beta \leq \Vert A \Vert}},$
$注意到{\color{blue}{\alpha \leq \beta}}, 结合 \Vert A \Vert \leq \alpha. 有{\color{blue}{\Vert A \Vert = \alpha = \beta}}.$

$\color{blue}{5.4.3 Cartesian分解}$

$\bullet 对 \forall z \in \mathbb{C}, 可分解为: z = a + bi, 其中a, b \in \mathbb{R}.$
$\blacktriangleright {\color{green}{类似地}}:$

$定理 5.4.9 设H 是一个 Hilbert 空间, T \in \mathscr{B}(H), 则$
$T可分解成$
$\qquad {\color{blue}{T = A + iB,}} \quad (5.4.6)$
$其中 A、B 是 Hilbert 空间中的{\color{red}{有界自共轭算子}}, 并且$
$这种分解是唯一的.$
$证明:令$
$\qquad {\color{blue}{A = \dfrac{1}{2}(T + T^{\ast}), B = \dfrac{1}{2i}(T - T^{\ast})}} \quad (5.4.7)$
$显然 A = A^{\ast}, B = B^{\ast}, 即 A、B是 {\color{blue}{有界自共轭算子}}, 且$
$\qquad T = A + iB, T^{\ast} = A - iB \quad (5.4.8)$
$可以证明这样的{\color{red}{分解是唯一}}的.$
$事实上, 若 T = A_1 + i B_1, 其中 A_1、B_1 是自共轭的,于是有$
$\qquad {\color{blue}{A - A_1 = i(B_1 - B), }}$
$这样对于 \forall x \in H, 有$
$((A - A_1)x, x) = (i(B_1 - B)x, x) = i((B_1 - B)x, x).$
$由于 A - A_1 和 B - B_1 是自共轭的, 上式左边是实的,$
$右边是纯虚数(如果不是0).$
$于是$
$((A - A_1)x, x) = i((B_1 - B)x, x) = 0, \forall x \in H,$
$由于 A - A_1 和 B - B_1 是自共轭的, 根据定理 5.4.8 有$
$A - A_1 = B - B_1 = 0.$
$注：(5.4.6) 式给出的分解 T = A + iB, 其中 A、B是$
$Hilbert 空间中的有界自共轭算子, 称为{\color{blue}{T的Cartesian分解}}.$