数学 旧 .com 迁移

泛函分析-徐小绪:期中 / 22级强基期中

从旧 .com 全量搬运的历史内容,来源路径:/math/课程/泛函分析-徐小绪/习题考试/考试试卷/期中/22级强基期中/

迁移来源

任课老师: xxx.

题目 #

(15 分) 证明: 全体多项式无法构成 BB 空间.

题目 #

(20 分) 对 fC3[a,b]f\in C^3[a,b] 及其各阶导数 f(n)f^{(n)}

$

f:=max0n3maxx[a,b]f(n)(x)f:=maxx[a,b]f(x)+maxx[a,b]f(3)(x)\begin{array}{l} \Vert f \Vert:= \max\limits_{0\leqslant n\leqslant 3}\max\limits_{x\in [a,b]} |f^{(n)}(x)|\\ \Vert f \Vert_*:= \max\limits_{x\in[a,b]}|f(x)|+\max\limits_{x\in[a,b]}|f^{(3)}(x)| \end{array}

$

  1. (5 分) 证明: (C3[a,b],)(C^3[a,b],\Vert \cdot \Vert)BB 空间.
  2. (15 分) 证明: \Vert \cdot \Vert\Vert \cdot \Vert_* 等价.

题目 #

(20 分) 设 X\mathscr XBB 空间, Y\mathscr YBB^* 空间, A0,A1L(X,Y)A_0,A_1\in\mathscr L(\mathscr X,\mathscr Y). 对 t[0,1]t\in[0,1] 定义 At=(1t)A0+tA1A_t=(1-t)A_0+tA_1. 假设存在常数 M>0M>0 使得

xMAtxxX,t[0,1]\Vert x \Vert\leqslant M\Vert A_tx \Vert\quad\forall x\in\mathscr X,\forall t\in [0,1]

. 并且存在 s[0,1]s\in[0,1] 使得 AsA_s 是满射.

证明: 对任意的 t[0,1]t\in[0,1], AtA_t 都是满射且 \normAt1M(t[0,1])\norm{A_t^{-1}}\leqslant M\quad(\forall t\in[0,1]).

题目 #

(15 分) 设 sRs\in\mathbb{R} 并定义如下复值数列构成的集合

Xs={x=(x1,x2,,xn,)n=1nsxn2<}X_s=\lbrace \bm x=(x_1,x_2,\cdots,x_n,\cdots)|\sum\limits_{n=1}^\infty n^s|x_n|^2<\infty\rbrace

定义 {xn}s=(n=1nsxn2)1/2\Vert \lbrace x_n\rbrace \Vert_s=\left(\sum\limits_{n=1}^\infty n^s|x_n|^2\right)^{1/2}.

  1. (5 分) 证明: (Xs,s)(X_s,\Vert \cdot \Vert_s)BB 空间且可以定义内积形成 HilbertHilbert 空间.
  2. (10 分) 设 s>ts>t 证明: (Xs,s)(X_s,\Vert \cdot \Vert_s) 中的单位闭球是 (Xt,t)(X_t,\Vert \cdot \Vert_t) 中的紧集.

题目 #

(15 分) 设 X\mathscr X 是赋范线性空间而 f0,f1,,fnXf_0,f_1,\cdots,f_n\in\mathscr X^*, 其满足

N(f0)N(f1)N(f2)N(fn).N(f_0)\supseteq N(f_1)\cap N(f_2)\cap \cdots\cap N(f_n).

试证: 存在常数 α1,α2,,αn\alpha_1,\alpha_2,\cdots,\alpha_n, 使得 f0=α1f1+α2f2+αnfnf_0=\alpha_1f_1+\alpha_2f_2+\cdots\alpha_nf_n.

题目 #

(15 分) 已知 X=L2[0,1]\mathscr X=L^2[0,1] 是复 Hilbert 空间, 其上存在有界线性泛函

Tnx=01(ts)nx(s)ds,Tx=01etsx(s)ds.T_nx=\int_0^1 (ts)^n x(s)\text{d} s,\quad Tx=\int_0^1 e^{ts}x(s)\text{d} s.

试证明:

  • ((1)) 恒有 Tnx,x0\langle T_nx,x\rangle\geqslant 0 以及 Tx,x0\langle Tx,x\rangle\geqslant 0;
  • [(2)] 对于任意的 yXy\in\mathscr X, 积分方程
x(t)+01etsx(s)ds=y(t)x(t)+\int_0^1e^{ts}x(s)\text{d} s=y(t)

总存在唯一解 x(t)x(t), 且存在常数 CC, 使得 XL2[0,1]CyL2[0,1](yX)\Vert X \Vert_{L^2[0,1]}\leqslant C\Vert y \Vert_{L^2[0,1]}(\forall y\in\mathscr X).

讨论

评论

正在加载评论...