偏微分方程数值解---学习总结(1)

偏微分方程数值解---学习总结(1)

1.知识回顾 （注:\(\mit V\)是线性空间）

• 内积

  $(\cdot ,\cdot):\mit V \times \mit V \longrightarrow \mathbb{R} $ 是一个双线性映射，并且满足 \((i) (u,v)=(v,u), \forall \, u,v \in\mit V\);

  $(ii) (u,u) \ge 0, \forall , u \in \mit V $ ; \((iii) (u,u)=0\) 当且仅当 \(u=0\).

• 半范数

  \(||\cdot||:\mit V \longrightarrow \mathbb{R}\) 是一个线性映射，满足 下列条件:
  \[ \begin{align} &(i) ||v||\ge 0, \forall \, v \in \mit V;\\ &(ii) ||cv||=|c|||v||,\forall v \in \mit V, \forall c \in \mathbb{R}; \\ &(iii) ||u+v||\leq ||u||+||v||, \forall u, v \in \mit V. \end{align} \]

• 范数

  范数+条件 ”\(||u||=0\)当且仅当 \(u=0\)".

• 范数等价定理：

  设 \(||\cdot||\) 和 \(|||\cdot|||\) 是线性空间 \(\mathbf V\) 上两个范数，如果存在两个正数 \(c_1\) 和 \(c_2，\)

  满足下列 不等 式, 则称 \(||\cdot||\) 和 \(|||\cdot|||\) 是等价的，
  \[ c_1 ||v||\leq |||v||| \leq c_2 ||v||, \forall \,c_1,c_2 \in \mathbb{R},\,\forall \,v \in \mit V. \]

• 内积空间

  一个线性空间被赋予内积, 它就是一个内积空间.

  • 内积可以产生诱导范数
    \[ ||v||=(v,v)^{1/2},\,\forall \,v \in \mit V. \]

  • Schwarz inequality
    \[ |(w,v)|\leq ||w||\,||v||,\, \forall w,v \in \mit V. \]

• 希尔伯特空间

  完备的内积空间是希尔伯特空间 (即内积空间内任意柯西序列都是收敛的).

• 赋范线性空间

  一个线性空间被赋予范数，则它成为赋范线性空间。

  • 内积空间一定是赋范线性空间，其范数为 \(||v||=(v,v)^{1/2},\,\forall \,v \in \mit V.\)

• 巴拿赫空间

  完备的赋范线性空间，即赋范线性空间内任意柯西序列都是收敛的.

  • 希尔伯特空间一定是巴拿赫空间。

2. 重要概念

• 对偶空间

  • 如果（\(\mit V, ||\cdot||_{\mit V}\)）和 （\(\mit W, ||\cdot||_{\mit w}\)）是两个赋范线性空间, 从\(\mathbf V\) 到\(\mit W\) 的所有线性泛函构成一个赋范线性空间 , 记