数学 泛函分析(徐小绪)

22级强基期中

泛函分析期中试题与解答,涵盖 Banach 空间、范数、线性泛函与算子等基础主题。

本页目录6 节

任课老师: xxx.

题目 #

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

题目 #

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

$

∥f∥:=max⁡0⩽n⩽3max⁡x∈[a,b]∣f(n)(x)∣∥f∥∗:=max⁡x∈[a,b]∣f(x)∣+max⁡x∈[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 X 是 BB 空间, Y\mathscr Y 是 B∗B^* 空间, A0,A1∈L(X,Y)A_0,A_1\in\mathscr L(\mathscr X,\mathscr Y). 对 t∈[0,1]t\in[0,1] 定义 At=(1−t)A0+tA1A_t=(1-t)A_0+tA_1. 假设存在常数 M>0M>0 使得

∥x∥⩽M∥Atx∥∀x∈X,∀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 都是满射且 ∥At−1∥⩽M(∀t∈[0,1])\norm{A_t^{-1}}\leqslant M\quad(\forall t\in[0,1]).

题目 #

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

Xs={x=(x1,x2,⋯ ,xn,⋯ )∣∑n=1∞ns∣xn∣2<∞}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=1∞ns∣xn∣2)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,⋯ ,fn∈X∗f_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,x⟩⩾0\langle T_nx,x\rangle\geqslant 0 以及 ⟨Tx,x⟩⩾0\langle Tx,x\rangle\geqslant 0;
  • [(2)] 对于任意的 y∈Xy\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, 使得 ∥X∥L2[0,1]⩽C∥y∥L2[0,1](∀y∈X)\Vert X \Vert_{L^2[0,1]}\leqslant C\Vert y \Vert_{L^2[0,1]}(\forall y\in\mathscr X).

讨论

评论

正在加载评论…

输入关键词开始搜索。