泛函分析 05.06 共轭空间和共轭算子 - 习题课

$\color{blue}{\S 5.6 共轭空间和共轭算子习题课}$

$1.设 X 是线性赋范空间, f 是 X 上的非零有界线性泛函,$
$则存在 x_0 \in X, 使得$
$\qquad X = \mathscr{N} \oplus \lbrace \alpha x_0 | \alpha \in \mathbb{C} \rbrace,$
$其中 \mathbb{N} 是 f 的零空间.$
$分析:$
$\bullet 要找到 x_0 \in X, 使得 X 可以表示为 {\color{blue}{f的零空间 \mathscr{N} }}$
$与 {\color{blue}{x_0 张成的一维子空间}} 的直接和.$
$\bullet 这也就说{\color{red}{f 的零空间 \mathscr{N} 比全空间 X 少一维}}. 因此要$
$取 x_0 \not \in \mathscr{N}.$
$证明: 因为 f 是 X 上的{\color{blue}{非零有界线性泛函}}, 则存在$
$x_0 \in X, x_0 \neq 0, 使得 f(x_0) \neq 0.$
$令$
$\qquad M = \mathscr{N} \oplus \lbrace \alpha x_0 | \alpha \in \mathbb{C} \rbrace,$
$显然有$
$\qquad {\color{red}{X \supseteq M, 且 \mathscr{N} \cap \lbrace \alpha x_0 | \alpha \in \mathbb{C} \rbrace = \lbrace 0 \rbrace.}}$
$下面证 X \subseteq M.$
$对于 \forall x \in M, 令$
$\qquad {\color{blue}{y = x - \dfrac{f(x)}{f(x_0)} x_0}},$
$则 f(y) = 0, 从而 y \in \mathscr{N}.$
$因此 x 可表示为$
$\qquad {\color{blue}{x = y + \dfrac{f(x)}{f(x_0)} x_0}}.$
$由于 \mathscr{N} \cap \lbrace \alpha x_0 | \alpha \in \mathbb{C} \rbrace = \lbrace 0 \rbrace, 故{\color{blue}{x 的表示是唯一的}}.$
$这表明了 X \subseteq M.$
$所以 X = \mathscr{N} \oplus \lbrace \alpha x_0 | \alpha \in \mathbb{C} \rbrace.$
$注:$
$\bullet 非零有界线性泛函的零空间{\color{brown}{比全空间仅少一维}}.$

$2.试求下列{\color{blue}{定义在 l^2 上}}的线性算子的{\color{blue}{共轭算子}}:$
$(1) T\lbrace x_1, x_2, \cdots \rbrace = \lbrace 0, x_1, x_2, \cdots \rbrace;$
$(2) T\lbrace x_1, x_2, \cdots \rbrace = \lbrace \alpha_1 x_1, \alpha_2 x_2, \cdots \rbrace,$
$其中 \lbrace \alpha_k \rbrace 是{\color{brown}{有界数列}};$
$(3)T \lbrace x_1, x_2, \cdots \rbrace = \lbrace x_1, x_2, \cdots, x_n, 0, \cdots \rbrace,$
$其中{\color{brown}{n 是给定的}};$
$(4) T\lbrace x_1, x_2, \cdots \rbrace = \lbrace \alpha_n x_n, \alpha_{n+1} x_{n+1}, \cdots \rbrace,$
$其中\lbrace \alpha_k \rbrace 是{\color{brown}{有界数列, n 是给定的}}.$
$分析: l^2 是 Hilbert 空间, 内积为 {\color{blue}{(x, y) = \sum \limits_{i=1}^{\infty} x_i \overline{y_i} }}.$
$求 l^2 上的线性算子的共轭算子, 要用到 {\color{blue}{Hilbert 空间上的共轭算子}}$
$的定义 5.3.5, 即对于任意的 x, y \in l^2, 有$
$\qquad (Tx, y) = (x, T^{\ast} y).$
$解:(1) 对 \forall x = \lbrace x_1, x_2, \cdots \rbrace, y = \lbrace y_1, y_2, \cdots \rbrace \in l^2,$
$\qquad {\color{red}{(x, T^{\ast} y)}} = (Tx, y) = {\color{blue}{x_1 \overline{y_2} + x_2 \overline{y_3} + \cdots .}}$
$所以 T^{\ast} y = T^{\ast} \lbrace y_1, y_2, \cdots \rbrace = \lbrace y_2, y_3, \cdots \rbrace.$
$(2) 对 \forall x = \lbrace x_1, x_2, \cdots \rbrace, y = \lbrace y_1, y_2, \cdots \rbrace \in l^2,$
$\qquad {\color{red}{(x, T^{\ast} y)}} = (Tx, y) = {\color{blue}{\alpha_1 x_1 \overline{y_1} + \alpha_2 x_2 \overline{y_2} + \cdots.}}$
$所以 T^{\ast} y = T^{\ast} \lbrace y_1, y_2, \cdots \rbrace = \lbrace \overline{\alpha_1} y_1, \overline{\alpha_2} y_2, \cdots \rbrace.$
$(3) 对\forall x = \lbrace x_1, x_2, \cdots \rbrace, y = \lbrace y_1, y_2, \cdots \rbrace \in l^2,$
$\qquad {\color{red}{(x, T^{\ast} y)}} = (Tx, y) = {\color{blue}{x_1 \overline{y_1} + x_2 \overline{y_2} + \cdots + x_n \overline{y_n}.}}$
$所以 T^{\ast} y = T^{\ast} \lbrace y_1, y_2, \cdots \rbrace = \lbrace y_1, y_2, \cdots, y_n, 0, \cdots \rbrace.$
$(4) 对 \forall x = \lbrace x_1, x_2, \cdots \rbrace, y = \lbrace y_1, y_2, \cdots \rbrace \in l^2,$
${\color{red}{(x, T^{\ast} y)}} = (Tx, y) = {\color{blue}{\alpha_n x_n \overline{y_1} + \alpha_{n+1} x_{n+1} \overline{y_2} + \cdots}}.$
$所以 T^{\ast} \lbrace y_1, y_2, \cdots \rbrace = \lbrace 0, \cdots, 0, \overline{\alpha_n} y_1, \overline{\alpha_{n+1}} y_2, \cdots \rbrace.$
$注:$
$\bullet 对于 {\color{brown}{Banach 空间 l^p}} (1 < p < \infty) 上定义上述算子,$
$也可类似计算共轭算子.$
$但需要用到 {\color{blue}{Banach 空间共轭算子}}的概念, 即对于任意$
$的 x \in l^p 及任意的 f \in (l^p)^{\ast},$
$\qquad (T^{\prime} f)(x) = f(T(x)).$
$此外还要考虑到{\color{red}{(l^p)^{\ast} = l^q}}, 即对于任意的 f \in (l^p)^{\ast},$
$存在唯一的 y \in l^q 使得 f(x) = \sum \limits_{i=1}^{\infty} x_i \overline{y_i}, \forall x \in l^p.$

$3.求下列在 L^2(-\infty, \infty) 上定义的线性算子的共轭算子:$
$(1) (Tx)(t) = x(t + h) (h 是给定的实数);$
$(2) (Tx)(t) = a(t) x(t+h) (a(t) 是有界可测函数, h是给定的实数);$
$(3) (Tx)(t) = \dfrac{1}{2}[x(t) + x(-t)].$
$分析: L^2(-\infty, \infty) 是 Hilbert 空间, 内积为$
$\qquad {\color{blue}{(x, y) = \int_{-\infty}^{\infty} x(t) \overline{y(t)} dt}}.$
$求 L^2(-\infty, \infty) 上的线性算子的共轭算子, 要用到$
${\color{brown}{Hilbert 空间上的共轭算子}}的定义 5.3.5.$
$解(1) 因为对 \forall x, y \in L^2(-\infty, \infty) 有$
${\color{red}{(x, T^{\ast} y)}} = (Tx, y) = \int_{-\infty}^{\infty} x(t+h) \overline{y(t)} dt$
$\qquad ={\color{blue}{\int_{-\infty}^{\infty} x(t) \overline{y(t-h)} dt }}$
$故 (T^{\ast} y)(t) = y(t-h).$
$(2) 因为对 \forall x, y \in L^2(-\infty, \infty)有$
${\color{red}{(x, T^{\ast} y)}} = (Tx, y) = \int_{-\infty}^{\infty} a(t) x(t+h) \overline{y(t)} dt$
$\qquad = {\color{blue}{\int_{-\infty}^{\infty} x(t)\overline{\overline{a(t-h)} y(t-h)} dt }}.$
$故 (T^{\ast} y)(t) = \overline{a(t-h)} y(t-h).$
$(3) 因为对 \forall x, y \in L^2(-\infty, \infty) 有$
${\color{red}{(x, T^{\ast} y)}} = (Tx, y) = \int_{-\infty}^{\infty} \dfrac{1}{2}[x(t) + x(-t)] \overline{y(t)} dt$
$\qquad = {\color{blue}{\int_{-\infty}^{\infty} x(t) \dfrac{\overline{[y(t) + y(-t)]}}{2} dt }}$
$故 (T^{\ast} y)(t) = \dfrac{1}{2}[y(t) + y(-t)].$

$4. 设 L 是 Hilbert 空间 H 上的有界线性算子.证明下列关系式$
$\qquad {\color{blue}{\mathscr{N}(L^{\ast}) = \mathscr{N}(LL^{\ast}); \overline{\mathscr{R}(L)} = \overline{\mathscr{R}(LL^{\ast})} }}.$
$分析: 利用共轭算子定义 5.3.5 及定理 5.3.8,$
$\qquad {\color{brown}{\overline{\mathscr{R}(A)} = \mathscr{N}(A^{\ast})^{\perp}. }}$
$证明:(1) 对 \forall x \in \mathscr{N}(L^{\ast}), 则 L^{\ast}(x) = 0, 从而$
$\qquad LL^{\ast}(x) = 0.$
$因此 x \in \mathscr{N}(LL^{\ast}).$
$另一方面, 对 {\color{brown}{\forall x \in \mathscr{N}(LL^{\ast})}}, 则 {\color{blue}{LL^{\ast}(x) = 0}}.$
$结合共轭算子定义可知$
$\qquad {\color{red}{(L^{\ast}x, L^{\ast} x)}} = (x, LL^{\ast} x) = (x, 0) = 0.$
$因此 L^{\ast} x = 0, 从而 {\color{brown}{x \in \mathscr{N}(L^{\ast})}}.$
$综上可知 \mathscr{N}(L^{\ast}) = \mathscr{N}(LL^{\ast}).$
$(2) 由定理 5.3.8 可得$
$\qquad {\color{blue}{\overline{\mathscr{R}(L)} }} = \mathscr{N}(L^{\ast})^{\perp} = \mathscr{N}(LL^{\ast})^{\perp} = {\color{blue}{\overline{\mathscr{R}(LL^{\ast})} }}$

$5.设 T 是 Hilbert 空间 H 中的 {\color{blue}{自共轭}} 算子且{\color{blue}{有有界逆算子}},$
$证明: T^{-1} 也是自共轭算子.$
$分析:证明 T^{-1} 是自共轭的, 由自共轭算子的定义 5.4.1$
$和共轭算子的定义 5.3.5, 需要证明对 \forall x, y \in H,$
$\qquad {\color{brown}{(T^{-1}x, y) = (x, T^{-1}y).}}$
$也可以用共轭算子的性质 ((T^{-1})^{\ast} = (T^{\ast})^{-1}) 直接证明.$
$证明:因为 T^{-1} 存在且有界且 T 是自共轭的, 所以对于任意的 x, y \in H,$
${\color{blue}{(T^{-1}x, y)}} = (T^{-1}x, TT^{-1}y) = (TT^{-1}x, T^{-1} y) = {\color{blue}{(x, T^{-1} y).}}$
$因此 T^{-1} 也是自共轭算子.$

$6.设 T: L^2[0, 1] \to L^2[0, 1] 由(Tx)(t) = tx(t)定义,$
$证明: T 是{\color{blue}{自共轭}} 的 {\color{blue}{有界}}线性算子.$
$分析:首先证明 T 有界, 然后利用自共轭算子定义 5.4.1$
$以及共轭算子的定义 5.3.5 证明 T 是自共轭的.$
$证明: 显然 T 是线性的, 且对 \forall x \in L^2[0, 1] 有$
$\Vert Tx \Vert = (\int_0^1 t^2 |x(t)|^2 dt)^{\frac{1}{2}} \leq (\int_0^1 |x(t)|^2 dt)^{\frac{1}{2}} = \Vert x \Vert.$
$故 T 是有界线性算子.$
$对 \forall x, y \in L^2[0, 1] 有$
${\color{red}{(Tx, y)}} = \int_0^1 tx(t) \overline{y(t)} dt = \int_0^1 x(t) \overline{t y(t)} dt = {\color{red}{(x, Ty)}}.$
$由共轭算子的定义可知$
$\qquad {\color{blue}{T = T^{\ast} }}.$
$即 T 是自共轭的.$
$注：$
$\bullet 从上面几个题目可以看到, {\color{red}{Hilbert 空间 H 上的共轭算子}}$
$的概念很关键.$
$T 的共轭算子 T^{\ast} 满足, 对于任意的 x, y \in H,$
$\qquad {\color{blue}{(Tx, y) = (x, T^{\ast} y).}}$
$T 是有界自共轭的, 如果 T = T^{\ast}, 即对于任意的 x, y \in H,$
$\qquad {\color{blue}{(Tx, y) = (x, Ty).}}$

$7.设 H 为复 Hilbert 空间, T 为H 上的有界线性算子,$
$若对一切 x \in H, Re(Tx, x) = 0, 则 T = -T^{\ast}.$
$分析: 可分三步证明, 本题用到定理 5.3.6、定理 5.4.8:$
$1)构造 {\color{blue}{B = T + T^{\ast}}}, 证明 B 是自共轭的.$
$2)证明:{\color{red}{(Bx, x) = 0}}, \forall x \in H.$
$3){\color{blue}{\Vert B \Vert = \sup \lbrace |(Bx, x)| | x \in H, \Vert x \Vert = 1 \rbrace }} = 0 \Rightarrow B = 0.$
$证明: 令 B = T + T^{\ast}, 则 B^{\ast} = T^{\ast} + T^{\ast \ast} = B, 从而B为自共轭算子.$
$对于任意 x \in H, 有$
${\color{red}{(Bx, x)}} = (Tx, x) + (T^{\ast}x, x)$
$\qquad = (Tx, x) + (x, Tx) = 2 Re (Tx, x) = 0.$
$由于$
${\color{blue}{\Vert B \Vert = \sup \lbrace |(Bx, x)| | x \in H, \Vert x \Vert = 1 \rbrace = 0, }}$
$故 B = 0. 因此 T = -T^{\ast}.$
$注:$
$\bullet 本题主要用到自共轭算子 T 的范数表示(定理 5.4.8),$
$\Vert T \Vert = \sup \lbrace \Vert Tx \Vert | x \in H, \Vert x \Vert = 1 \rbrace$
$\qquad = \sup \lbrace |(Tx, y)| |x \in H, \Vert x \Vert = 1, \Vert y \Vert = 1 \rbrace$
$\qquad = \sup \lbrace |(Tx, x)| | x \in H, \Vert x \Vert = 1 \rbrace.$

$8.设 X 是赋范线性空间, M 为 X 的闭线性子空间.$
$证明:如果 \lbrace x_n \rbrace \subset M, 并且当 n \to \infty 时 x_n \stackrel{\omega}{\to} x_0,$
$则 x_0 \in M.$
$分析:本题用到弱收敛的定义 5.5.6 以及 {\color{red}{Hahn-Banach 定理的推论 5.1.6.}}$
$证明:假设 x_0 \notin M. 令$
$\qquad {\color{blue}{d = dist(x_0, M) > 0, }}$
$由 Hahn-Banach 定理的推论可知, 存在 f \in X^{\ast}, 使得$
${\color{brown}{\Vert f \Vert = \dfrac{1}{d}, f(x_0) = 1, f(x) = 0, \forall x \in M.}}$
$由于 x_n \stackrel{\omega}{\to} x_0, 故f(x_n) \to f(x_0) (n \to \infty).$
$又由 \lbrace x_n \rbrace \subset M 可知 f(x_n) = 0, 从而 f(x_0) = 0.$
$这与 f(x_0) = 1 矛盾.因此 x_0 \in M.$
$注：注意比较弱收敛与范数收敛.$
$\because |f(x_n) - f(x)| = |f(x_n - x)| \leq \Vert f \Vert \Vert x_n - x \Vert,$
$\therefore {\color{blue}{x_n \to x}}(n \to \infty) {\color{blue}{\Rightarrow f(x_n) \to f(x) }}(n \to \infty),$
$即如果 \lbrace x_n \rbrace 按范数收敛到 x, 则 \lbrace x_n \rbrace 必弱收敛到 x.$
${\color{red}{反之则不然}},$
$\blacktriangleright {\color{green}{例如}}:我们在 Hilbert 空间 l^2 中考虑: 取$
$x_n = \lbrace 0, \cdots, 1, 0, \cdots \rbrace (n = 1, 2, \cdots),$
$则对于任意 y = \lbrace \xi_n \rbrace \in l^2,$
${\color{red}{(x_n, y) = \xi_n \to 0 = (0, y) }}(n \to \infty),$
$但当 m \neq n 时, \Vert x_n - x_m \Vert = \sqrt{2}, {\color{blue}{\lbrace x_n \rbrace 不按范数收敛到0}}.$