泛函分析-徐小绪 / 相关资料 / 押题卷 / 押题

首先由 $M$ 有界, 故 $f(M)$ 也是有界的, 所以上确界和下确界存在.

设 $A=\sup\limits_{x\in M}f(x)$. 根据上确界定义, 存在点列 $\lbrace x_n\rbrace \subset M$ 满足 $|f(x_n)-A|<\frac 1n$.

由 $X$ 是自反空间, 故 $\lbrace x_n\rbrace$ 作为 $X$ 中的有界列必有弱收敛子列. 设 $x_{n_k}\xrightarrow{w}x_0$.

又由 Mazur 定理及 $M$ 是闭凸子集, 故 $M$ 弱闭, 从而 $x_0\in M$.

根据元素弱收敛 $f(x_{n_k})\to f(x_0)$. 结合极限的唯一性, 可得 $f(x_0)=A$. 从而可以取到最大值.

最小值同理, 考虑 $-f$ 能取到最大值即可.

设 $d=\rho(x,M)$. 令开球 $B(x,d)=\lbrace x+u\in X:\Vert u \Vert<d\rbrace$.

则 $M,B$ 均为凸子集, 且交为空. 因为若交非空, 则存在 $x_0$ 满足 $d(x)\leqslant\Vert x-x_0 \Vert<d$ 矛盾.

从而由 Hahn-Banach 定理的几何形式, 存在有界线性泛函 $f$ 分离 $M,B$. 故

令 $f_1=f/\Vert f \Vert$ 则有

• ((1)) 由 $T=T^*$ 则 $(Tx,x)\in \mathbb{R}$, 从而 $\lambda(x,x)=(\lambda x,x)=(Tx,x)\in\mathbb{R}$.
• [(2)] 由 $(\lambda-\mu)(x,y)=(\lambda x,y)-(x,\overline{\mu}y)=(Tx,y)-(x,\mu y)=(Tx,y)-(x,Ty)=0$ 故 $(x,y)=0$ 即 $x\perp y$.

$X^*$ 可分, 则存在泛函列 $\lbrace f_n\rbrace \subset X^*$ 使得 $\lbrace f_n\rbrace$ 在 $X^*$ 中稠密.

从而 $\lbrace g_n:=f_n/\Vert f_n \Vert\rbrace$ 在 $X^*$ 的单位球面上稠密.

由算子范数定义, $\exists x_n\in X$ 满足 $\Vert x_n \Vert=1$ 使得 $g_n(x_n)>1/2$.

令 $X_0=\overline{\text{span}\lbrace x_n\rbrace }$. 下证 $X_0=X$.

反证, 假设 $\exists z\notin X_0$.

由 Hahn-Banach 定理知 $\exists f\in X^*$ 使得 $\Vert f \Vert=1$ 且 $f(x)=0$ $(\forall x\in X_0)$.

利用 $\lbrace g_n\rbrace$ 在 $X^*$ 中的单位球上稠密, 知存在子列 $g_{n_k}\to f$.

但 $|g_{n_k}(x_{n_k})-f(x_{n_k})|>1/2$ 矛盾.

令 $X_0=\overline{\text{span}\lbrace x_n\rbrace }$, 则 $X_0$ 是 $X$ 的闭子空间且可分.

由 $X$ 自反, 根据 Pettis 定理知 $X_0$ 也自反. 从而 $X_0^{**}=X_0$ 是可分的. 故根据 Banach 定理, $X_0^*$ 是可分的.

故对于 $X_0^*$ 上的有界线性泛函列 $\lbrace J_{x_n}\rbrace$ 有*弱收敛子列. 即存在 $J_0$ 满足

$X_0$ 自反说明存在 $x\in X_0$ 使得 $Jx=J_0$. 从而有 $f(x_{n_k})=f|_{X_0}(x_{n_k})\to f|_{X_0}(x)=f(x)\quad\forall f\in X^*$, 即 $x_{n_k}\xrightarrow{w}x$.

对任意有界列 $\lbrace x_n\rbrace$, 证明 $\lbrace Tx_n\rbrace$ 列紧.

由 $X$ 自反, 则 $\lbrace x_n\rbrace$ 作为自反空间中的有界列有弱收敛子列. 设 $x_{n_k}\xrightarrow{w}x_0$.

那么由题设条件知 $Tx_{n_k}\to Tx_0$ 即 $\lbrace Tx_n\rbrace$ 列紧.

所以 $T$ 是紧算子.

• ((1)) 等价于证明 $\forall \lambda\in\mathbb{C}\setminus \mathbb{R}$, $\lambda\in \rho(A)$. 设 $\lambda=a+b\text{i}$, $b\neq 0$. 有

其中 $(b\text{i} x,(aI-A)x)+((aI-A)x,b\text{i} x)=2\text{Re}((aI-A)x,b\text{i} x)=-2b\text{Re}\text{i}((aI-A)x,x)$, 由 $A$ 自伴, 故 $(Ax,x)\in \mathbb{R}$, 从而 $((aI-A)x,x)=a(x,x)-(Ax,x)\in \mathbb{R}$. 所以 $\text{Re}\text{i} ((aI-A)x,x)=0$. 即 $\Vert (\lambda I-A)x \Vert^2=\Vert (aI-A)x \Vert^2+b^2\Vert x \Vert^2$. 故 $(\lambda I-A)x=0\Leftrightarrow x=0$. 即 $\text{Ker}(\lambda I-A)=\lbrace 0\rbrace$, $\lambda I-A$ 是单射. 下证 $\lambda I-A$ 是满射. 根据共轭算子性质 $\text{Ran}(\lambda I-A)^\perp=\text{Ker}(\overline{\lambda} I-A^*)$. 故只需证 $R(\lambda I-A)$ 是闭的, 且 $N(\lambda I-A^*)=\lbrace 0\rbrace$. 由 $A=A^*$ 故 $N(\overline{\lambda} I-A^*)=N(\overline{\lambda} I-A)=\lbrace 0\rbrace$. (用 $\overline{\lambda}$ 带入之前的过程). 任取 $R(\lambda I-A)$ 中的收敛列, $(\lambda I-A)x_n=y_n\to y$. 则有 $\Vert y_n-y_m \Vert^2=\Vert (\lambda I-A)(x_n-x_m) \Vert^2\geqslant b^2\Vert x_n-x_m \Vert^2$. 故 $\lbrace x_n\rbrace$ 是 $X$ 中的 Cauchy 列, 又 $X$ 完备, 设 $x_n\to x$. 则有

所以 $y\in R(\lambda I-A)$, 即 $R(\lambda I-A)$ 是闭集. 于是就得到 $\lambda I-A$ 是双射, 根据 Banach 逆映射定理, 知 $(\lambda I-A)^{-1}\in\mathscr L(X)$. 从而 $\lambda\in\mathbb{C}\setminus\mathbb{R}$ 有 $\lambda\in\rho(A)$. 故 $\sigma(A)\subset\mathbb{R}$.

• [(2)] 设 $\lambda\in\sigma(A)\subset \mathbb{R}$, 但 $\lambda\notin\sigma_p(A)$, 即 $N(\lambda I-A)=\lbrace 0\rbrace$. 此时, $R(\lambda I-A)^\perp=N(\overline{\lambda}I-A^*)=N(\lambda I-A)=\lbrace 0\rbrace$. 从而 $\overline{R(\lambda I-A)}=X$, 即 $\lambda\sigma_c(A)$, 故 $\sigma_r(A)=\varnothing$.

由 $B:X^*\to X^*$, 故 $\forall f\in X^*, Bf\in X^*$.

从而 $\forall f\in X^*, f\circ A$ 是 $X$ 上的有界线性泛函.

考虑到第二共轭空间的自然嵌入 $J_x:X\to X^{**}$, 有 $\Vert J_x \Vert=\Vert x \Vert$.

任取有界列 $\lbrace x_n\rbrace$, 为了证明 $A$ 有界, 只需证明 $\lbrace Ax_n\rbrace$ 有界.

那么对 $\lbrace J_{Ax_n}\rbrace$ $\forall f\in X^*$, $J_{Ax_n}(f)=f(Ax_n)=f\circ A (x_n)$.

由 $f\circ A$ 是有界线性泛函, 所以 $\lbrace J_{Ax_n}(f)\rbrace$ 是有界的, 那么 $\lbrace J_{Ax_n}\rbrace$ 点点有界, 由一致有界原理知存在 $M>0$, $\norm{J_{Ax_n}}<M\quad \forall n$.

从而 $\Vert Ax_n \Vert=\norm{J_{Ax_n}}<M$ 故 $\lbrace Ax_n\rbrace$ 有界, 所以 $A$ 是有界线性算子.

此时考虑 $A^*:X^*\to X^*$, $A^*(f)=f\circ A$. 故 $\forall f\in X^*, x\in X$, $A^*(f)(x)=f(Ax)=(Bf)(x)$. 从而 $A^*f=Bf,\quad \forall f$, 则有 $A^*=B$.

再根据伴随算子性质 $\Vert B \Vert=\Vert A^* \Vert=\Vert A \Vert$, 故 $B\in\mathscr L(X^*)$.

• ((1)) 由积分的线性性显然 $T$ 是线性算子. 有界性:

由 Cauchy-Schwarz 不等式及 $K(x,y)\in L^2(\Omega\time\Omega)$

所以 $T\in \mathscr L(L^2(\Omega))$. 设 $K_n$ 是 $L^2(\Omega\times\Omega)$ 上的依范数收敛于 $K$ 的简单函数, 并且每个取值集合均为 $E_i\times F_i$ 的形式, $E_i,F_i\subset\Omega$ 令 $T_n:u(x)\mapsto\displaystyle\int_{\Omega} K_n(x,y)u(y)\text{d} y$. 由于 $T_n$ 的值域是有限维的, 故每个 $T_n$ 都是紧算子. 并且有 $\Vert T-T_n \Vert\leqslant \Vert K-K_n \Vert\to 0$ 又 Hilbert 空间完备, 故紧算子在有界算子中闭, 从而 $T$ 是紧算子.

• ((2)) 设 $\widetilde{T}=-T$, 由 (1) 知 $\widetilde{T}$ 也是紧算子. $f=0$ 时只有零解, 即 $\text{Ker}(I-\widetilde{T})=\lbrace 0\rbrace$, 而由 Riesz-Fredholm 理论 (iii) $\text{Ker}(I-T)=\lbrace 0\rbrace \Leftrightarrow\text{Ran}(I-T)=X$ 得到 $\text{Ran}(I-\widetilde{T})=L^2(\Omega)$. 即 $I-\widetilde{T}$ 是双射. 所以对任意 $f\in L^2(\Omega)$ 存在唯一解. 又 $L^2(\Omega)$ 完备, 故根据 Banach 逆映射定理 $(I-\widetilde{T})^{-1}\in\mathscr L(L^2(\Omega))$. 从而存在 $C>0$ 使得 $\Vert u \Vert\leqslant\norm{(I-\widetilde{T})^{-1}}\Vert f \Vert=C\Vert f \Vert$.

$\Leftarrow$: 反设 $f$ 有界, 我们有 $f\in X^*\Leftrightarrow\ker f$ 是 $X$ 的闭子空间.

从而 $\ker f=\overline{\ker f}$, 又 $\ker f$ 在 $X$ 中稠密, 从而 $\overline{\ker f}=X$ 也就是说 $f\equiv 0$ 与题设矛盾.

故 $f$ 无界.

$\Rightarrow$: $f$ 无界, 即 $\forall n\in\mathbb Z_+$ 存在 $x_n\in X$ 使得

那么对任意的 $x\in X$, 有 $f(x-f(x)x_n)=f(x)-f(x)f(x_n)=0$ 即 $x-f(x)x_n\in\ker f$. 而 $\Vert x-(x-f(x)x_n) \Vert=|f(x)|\Vert x_n \Vert<\frac{|f(x)|}{n}\to 0$ 从而 $\ker f$ 在 $X$ 中稠密.

• ((1)) 先证 $N(T)$ 是 $X$ 的闭线性子空间. 线性性: 由 $T$ 是线性算子显然得到. 闭性: 对任意收敛点列 $\lbrace x_n\rbrace \subset N(T)$, 设 $x_n\to x$. 那么 $(x_n,Tx_n)=(x_n,0)\to (x,0)$. 由 $T$ 是闭算子知 $x\in D(T), Tx=0$ 从而 $x\in N(T)$. 即 $N(T)$ 是闭的.
• ((2)) 再证当 $N(T)=\lbrace 0\rbrace$ 时, $R(T)$ 在 $Y$ 中闭的充要条件是 $\exists \alpha>0$, 使得

$\Rightarrow$: 由 $T$ 是单射的闭算子, 所以存在 $T^{-1}:R(T)\to X$ 且也是闭算子. 那么由 $R(T)$ 是闭的, 根据闭图像定理知 $T^{-1}$ 有界, 从而存在 $\alpha$ 满足 $\norm{T^{-1}y}\leqslant \alpha\Vert y \Vert\quad \forall y\in R(T)$. 即

$\Leftarrow$: 由 $T$ 是单射, 任取收敛列 $y_n=Tx_n\in R(T)$ 且 $y_n\to y$. 由条件存在 $\alpha>0$ 满足 $\Vert x_n-x_m \Vert\leqslant\alpha\Vert T(x_n-x_m) \Vert=\alpha\Vert y_n-y_m \Vert$. 所以 $\lbrace x_n\rbrace$ 在 $X$ 中是 Cauchy 列, 又 $X$ 完备, 从而 $x_n\to x\in X$. 那么根据 $T$ 是闭算子 $x_n\to x, Tx_n\to y$ 从而 $x\in D(T), y=Tx\in R(T)$. 综上 $R(T)$ 是闭的.

• ((3)) 最后证原命题. 由 $X$ 是 Banach 空间, $N(T)$ 是 $X$ 的闭子空间, 则 $X/N(T)$ 也是 Banach 空间. 考虑商空间上的映射 $\widetilde{T}:X/N(T)\to Y$, $\widetilde{T}([x])=T(x+z)=Tx, z\in N(T)$. 而此时我们有 $d(x,N(T))=\inf\limits_{z\in N(T)}\Vert z-x \Vert=\Vert [x] \Vert$. $R(T)=R(\widetilde{T})$. 现在只要证 $\widetilde{T}$ 是闭算子就可以由上一问结果得到. 即要证

\Rightarrow

\Vert [x] \Vert\leqslant\alpha\norm{\widetilde{T}[x]}\quad \forall [x]\in D(\widetilde{T})\Leftrightarrow d(x,N(T))\leqslant\alpha\Vert Tx \Vert\quad (\forall x\in D(T)).

T:x(t)\mapsto \int_0^t x(s),ds,\qquad x\in C[0,1].