数学 旧 .com 迁移

泛函分析 / 习题/考试 / 期末 / 押题

从旧 .com 全量搬运的历史内容,来源路径:/math/课程/泛函分析/exams/期末/押题/

迁移来源

押题 #

题目 #

X\mathscr X 是自反的 BB 空间, MMX\mathscr X 中的有界闭凸子集, fX\forall f\in\mathscr X^*, 求证: ffMM 上达到最大值和最小值.

note

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

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

XX 是自反空间, 故 {xn}\{x_n\} 作为 XX 中的有界列必有弱收敛子列. 设 xnkwx0x_{n_k}\xrightarrow{w}x_0.

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

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

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

题目 #

MMBB^{*} 空间 X\mathscr{X} 中的闭凸集, 求证: xXM\forall x\in \mathscr{X}\setminus M, 必 f1X\exists\, f_{1}\in \mathscr{X}^{*}, 满足 f1=1\|f_{1}\| = 1, 并且

supyMf1(y)f1(x)d(x),\sup_{y\in M} f_{1}(y) \leqslant f_{1}(x) - d(x),

其中

d(x)=infzMxz.d(x) = \inf_{z\in M}\|x - z\|.
note

d=ρ(x,M)d=\rho(x,M). 令开球 B(x,d)={x+uX:u<d}B(x,d)=\{x+u\in X:\Vert u \Vert<d\}.

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

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

supyMf(y)infzB(x,d)f(z)=infyB(0,1)f(xdy)=f(x)supyB(0,1)df(y)=f(x)df\sup\limits_{y\in M}f(y)\leqslant\inf\limits_{z\in B(x,d)}f(z)=\inf\limits_{y\in B(0,1)}f(x-dy)=f(x)-\sup\limits_{y\in B(0,1)}df(y)=f(x)-d\Vert f \Vert

f1=f/ff_1=f/\Vert f \Vert 则有

supyMf1(y)f1(x)d(x).\sup\limits_{y\in M}f_1(y)\leqslant f_1(x)-d(x).

题目 #

XX 是 Hilbert 空间, T=TT=T^*.

  • (1) 若存在 x0x\neq 0 使得 Tx=λxTx=\lambda x, 则 λR\lambda\in \mathbb{R};
  • (2) 若存在 TT 的特征元 x,yXx,y\in X 使得 Tx=λxTx=\lambda x, Ty=μyTy=\mu yλμ\lambda\neq\mu, 则 xyx\perp y.
note
  • (1) 由 T=TT=T^*(Tx,x)R(Tx,x)\in \mathbb{R}, 从而 λ(x,x)=(λx,x)=(Tx,x)R\lambda(x,x)=(\lambda x,x)=(Tx,x)\in\mathbb{R}.
  • (2) 由 (λμ)(x,y)=(λx,y)(x,μy)=(Tx,y)(x,μy)=(Tx,y)(x,Ty)=0(\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,y)=0xyx\perp y.

题目 #

XXBB^* 空间, 若 XX^* 是可分的, 则 XX 也是可分的.

note

XX^* 可分, 则存在泛函列 {fn}X\{f_n\}\subset X^* 使得 {fn}\{f_n\}XX^* 中稠密.

从而 {gn:=fn/fn}\{g_n:=f_n/\Vert f_n \Vert\}XX^* 的单位球面上稠密.

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

X0=span{xn}X_0=\overline{\text{span}\{x_n\}}. 下证 X0=XX_0=X.

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

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

利用 {gn}\{g_n\}XX^* 中的单位球上稠密, 知存在子列 gnkfg_{n_k}\to f.

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

题目 #

XX 是自反空间, 则 XX 中的有界列 {xn}\{x_n\} 有弱收敛子列.

note

X0=span{xn}X_0=\overline{\text{span}\{x_n\}}, 则 X0X_0XX 的闭子空间且可分.

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

故对于 X0X_0^* 上的有界线性泛函列 {Jxn}\{J_{x_n}\} 有*弱收敛子列. 即存在 J0J_0 满足

Jxnk(f)J0(f)(fX0)Jx_{n_k}(f)\to J_0(f)\quad (\forall f\in X_0^*)

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

题目 #

XX 自反, TL(X,Y)T\in\mathscr L(X,Y). 若对任意的 xnwxx_n \overset{w}{\rightarrow} x 都有 TxnTxTx_n\to Tx, 则 TC(X,Y)T\in\mathfrak{C}(X,Y).

note

对任意有界列 {xn}\{x_n\}, 证明 {Txn}\{Tx_n\} 列紧.

XX 自反, 则 {xn}\{x_n\} 作为自反空间中的有界列有弱收敛子列. 设 xnkwx0x_{n_k}\xrightarrow{w}x_0.

那么由题设条件知 TxnkTx0Tx_{n_k}\to Tx_0{Txn}\{Tx_n\} 列紧.

所以 TT 是紧算子.

题目 #

XX 是 Hilbert 空间, AL(X)A\in\mathscr L(X) 自伴, 则

  • (1) σ(A)R\sigma(A)\in\mathbb{R};
  • (2) σr(A)=\sigma_r(A)=\varnothing.
note
  • (1) 等价于证明 λCR\forall \lambda\in\mathbb{C}\setminus \mathbb{R}, λρ(A)\lambda\in \rho(A).

λ=a+bi\lambda=a+b\text{i}, b0b\neq 0.

(λIA)x2=((λIA)x,(λIA)x)=(aIA)x2+bx2+(bix,(aIA)x)+((aIA)x,bix)\Vert (\lambda I-A)x \Vert^2=((\lambda I-A)x,(\lambda I-A)x)=\Vert (aI-A)x \Vert^2+\Vert bx \Vert^2+(b\text{i} x,(aI-A)x)+((aI-A)x,b\text{i} x)

其中 (bix,(aIA)x)+((aIA)x,bix)=2Re((aIA)x,bix)=2bRei((aIA)x,x)(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), 由 AA 自伴, 故 (Ax,x)R(Ax,x)\in \mathbb{R}, 从而 ((aIA)x,x)=a(x,x)(Ax,x)R((aI-A)x,x)=a(x,x)-(Ax,x)\in \mathbb{R}.

所以 Rei((aIA)x,x)=0\text{Re}\text{i} ((aI-A)x,x)=0. 即 (λIA)x2=(aIA)x2+b2x2\Vert (\lambda I-A)x \Vert^2=\Vert (aI-A)x \Vert^2+b^2\Vert x \Vert^2.

(λIA)x=0x=0(\lambda I-A)x=0\Leftrightarrow x=0.

Ker(λIA)={0}\text{Ker}(\lambda I-A)=\{0\}, λIA\lambda I-A 是单射.

下证 λIA\lambda I-A 是满射. 根据共轭算子性质 Ran(λIA)=Ker(λIA)\text{Ran}(\lambda I-A)^\perp=\text{Ker}(\overline{\lambda} I-A^*).

故只需证 R(λIA)R(\lambda I-A) 是闭的, 且 N(λIA)={0}N(\lambda I-A^*)=\{0\}.

A=AA=A^*N(λIA)=N(λIA)={0}N(\overline{\lambda} I-A^*)=N(\overline{\lambda} I-A)=\{0\}. (用 λ\overline{\lambda} 带入之前的过程).

任取 R(λIA)R(\lambda I-A) 中的收敛列, (λIA)xn=yny(\lambda I-A)x_n=y_n\to y.

则有 ynym2=(λIA)(xnxm)2b2xnxm2\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.

{xn}\{x_n\}XX 中的 Cauchy 列, 又 XX 完备, 设 xnxx_n\to x. 则有

yn=(λIA)xn(λIA)x=yy_n=(\lambda I-A)x_n\to (\lambda I-A)x=y

所以 yR(λIA)y\in R(\lambda I-A), 即 R(λIA)R(\lambda I-A) 是闭集.

于是就得到 λIA\lambda I-A 是双射, 根据 Banach 逆映射定理, 知 (λIA)1L(X)(\lambda I-A)^{-1}\in\mathscr L(X).

从而 λCR\lambda\in\mathbb{C}\setminus\mathbb{R}λρ(A)\lambda\in\rho(A).

σ(A)R\sigma(A)\subset\mathbb{R}.

  • (2) 设 λσ(A)R\lambda\in\sigma(A)\subset \mathbb{R}, 但 λσp(A)\lambda\notin\sigma_p(A), 即 N(λIA)={0}N(\lambda I-A)=\{0\}. 此时, R(λIA)=N(λIA)=N(λIA)={0}R(\lambda I-A)^\perp=N(\overline{\lambda}I-A^*)=N(\lambda I-A)=\{0\}.

从而 R(λIA)=X\overline{R(\lambda I-A)}=X, 即 λσc(A)\lambda\sigma_c(A), 故 σr(A)=\sigma_r(A)=\varnothing.

题目 #

AA 为定义在 Banach 空间 XX 上的线性算子, BB 是定义在 XX 的共轭空间 XX^* 上的线性算子, 如果

f(Ax)=(Bf)(x),xX,fX. f(Ax) = (Bf)(x), \quad \forall x \in X, f \in X^*.

证明: AL(X)A \in \mathscr{L}(X), BL(X)B \in \mathscr{L}(X^*)B=AB = A^*.

note

B:XXB:X^*\to X^*, 故 fX,BfX\forall f\in X^*, Bf\in X^*.

从而 fX,fA\forall f\in X^*, f\circ AXX 上的有界线性泛函.

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

任取有界列 {xn}\{x_n\}, 为了证明 AA 有界, 只需证明 {Axn}\{Ax_n\} 有界.

那么对 {JAxn}\{J_{Ax_n}\} fX\forall f\in X^*, JAxn(f)=f(Axn)=fA(xn)J_{Ax_n}(f)=f(Ax_n)=f\circ A (x_n).

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

从而 Axn=\normJAxn<M\Vert Ax_n \Vert=\norm{J_{Ax_n}}<M{Axn}\{Ax_n\} 有界, 所以 AA 是有界线性算子.

此时考虑 A:XXA^*:X^*\to X^*, A(f)=fAA^*(f)=f\circ A. 故 fX,xX\forall f\in X^*, x\in X, A(f)(x)=f(Ax)=(Bf)(x)A^*(f)(x)=f(Ax)=(Bf)(x). 从而 Af=Bf,fA^*f=Bf,\quad \forall f, 则有 A=BA^*=B.

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

题目 #

  • (1) 设 ΩRn\Omega \subset \mathbb{R}^n 是一个可测集, KL2(Ω×Ω)K \in L^2(\Omega \times \Omega). 定义
T:u(x)ΩK(x,y)u(y)dy,uL2(Ω) T: u(x) \mapsto \int_\Omega K(x,y) u(y)\,dy, \quad \forall u \in L^2(\Omega)

证明:TC(L2(Ω))T \in \mathfrak{C}(L^2(\Omega)).

  • (2) 若 f=0f = 0 时, 下列积分方程
u(x)+ΩK(x,y)u(y)dy=f(x). u(x) + \int_\Omega K(x,y) u(y)\,dy = f(x).

只有零解 u=0u = 0, 证明:fL2(Ω)\forall f \in L^2(\Omega), 上述积分方程都存在唯一的解 uL2(Ω)u \in L^2(\Omega), 且存在常数 C>0C > 0, 使得

uL2(Ω)CfL2(Ω)(fL2(Ω)). \|u\|_{L^2(\Omega)} \leq C \|f\|_{L^2(\Omega)} \quad (\forall f \in L^2(\Omega)).
note
  • (1) 由积分的线性性显然 TT 是线性算子.

有界性:

Tu=(ΩTu(x)2dx)1/2=(ΩΩK(x,y)u(y)dy)1/2\Vert Tu \Vert=\left(\int_\Omega|Tu(x)|^2\text{d} x\right)^{1/2}=\left(\int_\Omega|\int_\Omega K(x,y)u(y)|\text{d} y\right)^{1/2}

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

Tu(ΩK(x,)22u2dx)1/2=K(,)2u\Vert Tu \Vert\leqslant\left(\int_\Omega\Vert K(x,\cdot) \Vert_2^2\cdot\Vert u \Vert^2\text{d} x\right)^{1/2}=\Vert K(\cdot,\cdot) \Vert_2\cdot\Vert u \Vert

所以 TL(L2(Ω))T\in \mathscr L(L^2(\Omega)).

KnK_nL2(Ω×Ω)L^2(\Omega\times\Omega) 上的依范数收敛于 KK 的简单函数, 并且每个取值集合均为 Ei×FiE_i\times F_i 的形式, Ei,FiΩE_i,F_i\subset\OmegaTn:u(x)\mint[Ω]Kn(x,y)u(y)dyT_n:u(x)\mapsto\mint[\Omega] K_n(x,y)u(y)\text{d} y.

由于 TnT_n 的值域是有限维的, 故每个 TnT_n 都是紧算子. 并且有 TTnKKn0\Vert T-T_n \Vert\leqslant \Vert K-K_n \Vert\to 0

又 Hilbert 空间完备, 故紧算子在有界算子中闭, 从而 TT 是紧算子.

  • (2) 设 T~=T\widetilde{T}=-T, 由 (1) 知 T~\widetilde{T} 也是紧算子.

f=0f=0 时只有零解, 即 Ker(IT~)={0}\text{Ker}(I-\widetilde{T})=\{0\}, 而由 Riesz-Fredholm 理论 (iii) Ker(IT)={0}Ran(IT)=X\text{Ker}(I-T)=\{0\}\Leftrightarrow\text{Ran}(I-T)=X 得到 Ran(IT~)=L2(Ω)\text{Ran}(I-\widetilde{T})=L^2(\Omega).

IT~I-\widetilde{T} 是双射. 所以对任意 fL2(Ω)f\in L^2(\Omega) 存在唯一解.

L2(Ω)L^2(\Omega) 完备, 故根据 Banach 逆映射定理 (IT~)1L(L2(Ω))(I-\widetilde{T})^{-1}\in\mathscr L(L^2(\Omega)). 从而存在 C>0C>0 使得 u\norm(IT~)1f=Cf\Vert u \Vert\leqslant\norm{(I-\widetilde{T})^{-1}}\Vert f \Vert=C\Vert f \Vert.

题目 #

ffBB^* 空间 XX 上的非零线性泛函. 证明: ff 无界当且仅当 kerf\ker fXX 中稠密.

note

\Leftarrow: 反设 ff 有界, 我们有 fXkerff\in X^*\Leftrightarrow\ker fXX 的闭子空间.

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

ff 无界.

\Rightarrow: ff 无界, 即 nZ+\forall n\in\mathbb Z_+ 存在 xnXx_n\in X 使得

xn<1nf(xn)=1\Vert x_n \Vert<\frac 1 n \wedge f(x_n)=1

那么对任意的 xXx\in X, 有 f(xf(x)xn)=f(x)f(x)f(xn)=0f(x-f(x)x_n)=f(x)-f(x)f(x_n)=0xf(x)xnkerfx-f(x)x_n\in\ker f. 而 x(xf(x)xn)=f(x)xn<f(x)n0\Vert x-(x-f(x)x_n) \Vert=|f(x)|\Vert x_n \Vert<\frac{|f(x)|}{n}\to 0 从而 kerf\ker fXX 中稠密.

题目 #

X,YX,YBB 空间, TT 是闭线性算子, D(T)X,R(T)YD(T)\subset X, R(T)\subset Y. 求证: R(T)R(T)YY 中闭的充要条件是, C>0\exists C>0 使得 d(x,N(T))CTx (xD(T))d(x,N(T))\leqslant C\Vert Tx \Vert\ (\forall x\in D(T)).

note
  • (1) 先证 N(T)N(T)XX 的闭线性子空间.

线性性: 由 TT 是线性算子显然得到.

闭性: 对任意收敛点列 {xn}N(T)\{x_n\}\subset N(T), 设 xnxx_n\to x. 那么 (xn,Txn)=(xn,0)(x,0)(x_n,Tx_n)=(x_n,0)\to (x,0). 由 TT 是闭算子知 xD(T),Tx=0x\in D(T), Tx=0 从而 xN(T)x\in N(T). 即 N(T)N(T) 是闭的.

  • (2) 再证当 N(T)={0}N(T)=\{0\} 时, R(T)R(T)YY 中闭的充要条件是 α>0\exists \alpha>0, 使得
xαTx(xD(T))\Vert x \Vert\leqslant \alpha\Vert Tx \Vert\quad(\forall x\in D(T))

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

xαTx,xD(T).\Vert x \Vert\leqslant\alpha\Vert Tx \Vert,\forall x\in D(T).

\Leftarrow: 由 TT 是单射, 任取收敛列 yn=TxnR(T)y_n=Tx_n\in R(T)ynyy_n\to y. 由条件存在 α>0\alpha>0 满足 xnxmαT(xnxm)=αynym\Vert x_n-x_m \Vert\leqslant\alpha\Vert T(x_n-x_m) \Vert=\alpha\Vert y_n-y_m \Vert. 所以 {xn}\{x_n\}XX 中是 Cauchy 列, 又 XX 完备, 从而 xnxXx_n\to x\in X.

那么根据 TT 是闭算子 xnx,Txnyx_n\to x, Tx_n\to y 从而 xD(T),y=TxR(T)x\in D(T), y=Tx\in R(T).

综上 R(T)R(T) 是闭的.

  • (3) 最后证原命题.

XX 是 Banach 空间, N(T)N(T)XX 的闭子空间, 则 X/N(T)X/N(T) 也是 Banach 空间.

考虑商空间上的映射 T~:X/N(T)Y\widetilde{T}:X/N(T)\to Y, T~([x])=T(x+z)=Tx,zN(T)\widetilde{T}([x])=T(x+z)=Tx, z\in N(T).

而此时我们有 d(x,N(T))=infzN(T)zx=[x]d(x,N(T))=\inf\limits_{z\in N(T)}\Vert z-x \Vert=\Vert [x] \Vert. R(T)=R(T~)R(T)=R(\widetilde{T}).

现在只要证 T~\widetilde{T} 是闭算子就可以由上一问结果得到.

即要证

{[xn][x]T~[xn]y{y=T~[x]xD(T~)\begin{cases} [x_n]\to [x]\\ \widetilde{T}[x_n]\to y \end{cases}\Rightarrow \begin{cases} y=\widetilde{T}[x]\\ x\in D(\widetilde{T}) \end{cases}

xx[x][x] 的一个代表元.

[xn][x][x_n]\to [x][xn][x]0\Vert [x_n]-[x] \Vert\to 0.

[xnx]\Vert [x_n-x] \Vert 存在 y[xnx]y\in[x_n-x] 满足 y2[xnx]\Vert y \Vert\leqslant2\Vert [x_n-x] \Vert. 故取 xn=y+xx_n'=y+x 即有 xnx2[xnx]0\Vert x_n'-x \Vert\leqslant2\Vert [x_n-x] \Vert\to 0

从而 xnxx_n'\to x.

另一方面, T~[x]=Txy\widetilde{T}[x]=Tx\to y. 故由 TT 是闭算子, 知 Tx=yTx=yxD(T)x\in D(T).

所以 T~[x]=Tx=y\widetilde{T}[x]=Tx=y[x]D((~T))[x]\in D(\widetilde(T)).

综上 T~\widetilde{T} 也是闭算子.

那么根据 (2) 的结论可以得到 R(T~)R(\widetilde{T})YY 中闭的充要条件是 α>0\exists \alpha>0, 使得 [x]α\normT~[x][x]D(T~)\Vert [x] \Vert\leqslant\alpha\norm{\widetilde{T}[x]}\quad \forall [x]\in D(\widetilde{T}).

xD(T)\forall x\in D(T)d(x,N(T))=[x],Tx=T~[x]d(x,N(T))=\Vert [x] \Vert, Tx=\widetilde{T}[x]. 所以

[x]α\normT~[x][x]D(T~)d(x,N(T))αTx(xD(T)).\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)).

证毕.

题目 #

C[0,1]C[0,1] 中, 考虑映射

T:x(t)0tx(s)ds,xC[0,1]. T:x(t)\mapsto \int_0^t x(s)\,ds,\qquad x\in C[0,1].
  • 证明: TT 是紧算子;
  • σ(T)\sigma(T).
note
  • (1) 由微积分基本定理 Tx(t)Tx(t) 关于 tt 可导, 故 TxC[0,1]Tx\in C[0,1].

线性性: 由积分的线性性, T(αx(t)+βy(t))=\mint[0]tαx(s)+βy(s)ds=αTx(t)+βTy(t)T(\alpha x(t)+\beta y(t))=\mint[0]^t \alpha x(s)+\beta y(s)\text{d} s=\alpha Tx(t)+\beta Ty(t).

有界性: Tx=maxt[0,1]Tx(t)maxt[0,1]txx\Vert Tx \Vert=\max\limits_{t\in[0,1]}|Tx(t)|\leqslant\max\limits_{t\in[0,1]}t\Vert x \Vert\leqslant\Vert x \Vert.

任取 XX 中的有界列 {xn}\{x_n\}, {Txn}C[0,1]\{Tx_n\}\subset C[0,1], 根据 AA 定理, {Txn}\{Tx_n\} 列紧 \Leftrightarrow {Txn}\{Tx_n\} 一致有界且等度连续.

{xn}\{x_n\} 有界, 故存在 M>0M>0, 满足 xn<M\Vert x_n \Vert<M, 于是 Txn(t)tMM|Tx_n(t)|\leqslant t M\leqslant M. 故一致有界.

Txn(t1)Txn(t2)t2t1M|Tx_n(t_1)-Tx_n(t_2)|\leqslant|t_2-t_1|M, 故对任意 ε>0\varepsilon>0, 取 δ=εM\delta=\frac{\varepsilon}{M} 则有 Txn(t1)Txn(t2)ε|Tx_n(t_1)-Tx_n(t_2)|\leqslant \varepsilon 即等度连续.

从而 {Txn}\{Tx_n\} 列紧.

综上 TT 是紧算子.

  • (2) 由 Riesz-Schauder 理论, σ(T){0}=σp(T){0}\sigma(T)\setminus\{0\}=\sigma_p(T)\setminus\{0\}, 且连续函数空间维数是无穷故 0σ(T)0\in\sigma(T).

λ0\lambda\neq 0 时.

Tx(t)=λx(t)Tx(t)=\lambda x(t), 由微积分基本定理, 等式左侧可导, 从而右侧也可导, 故有 x(t)C1[0,1]x(t)\in C^1[0,1].

则有 x(t)=λx(t)x(t)=\lambda x'(t).

再带入 t=0t=0, λx(0)=Tx(0)=\mint[0]0x(s)ds=0\lambda x(0) = Tx(0)=\mint[0]^0 x(s)\text{d} s=0, 故 x(0)=0x(0)=0.

下面解微分方程 x(t)=λx(t)x(t)=\lambda x'(t) 得到 x(t)=Cet/λx(t)=Ce^{t/\lambda}, 带入 x(0)=0x(0)=0C=0C=0. 从而 x=0x=0(λIT)x=0(\lambda I-T)x=0 只有零解.

σp(T)\sigma_p(T) 中不含非 0 元.

结合 Riesz-Schauder 非零谱点均为特征值, 从而谱点只有 00.

综上 σ(T)={0}\sigma(T)=\{0\}.

题目 #

AC(X)A\in \mathfrak{C}(\mathscr X), 且 T=IAT=I-A. 对任意 kNk\in\mathbb N, 证明:

  • N(Tk)N(T^k) 是有限维的;
  • R(Tk)R(T^k) 是闭的.
note
  • (1) 考虑 Tk=(IA)K=Ij=1k(kj)(1)k1AkITT^k=(I-A)^K=I-\sum\limits_{j=1}^k\binom{k}{j}(-1)^{k-1}A^k\triangleq I-T'. 由 AA 是紧算子, 所以 TT' 也是紧算子. 所以根据 Riesz-Fredholm 定理 N(Tk)=N(IT)N(T^k)=N(I-T') 是有限维的.
  • (2) 同 (1) Tk=ITT^k=I-T', 故由 Riesz-Fredholm (i) 可知 R(IT)R(I-T') 是闭的.

讨论

评论

正在加载评论...