样条逼近性质

$\newcommand{\nj}[1]{{\left\langle#1\right\rangle}}\newcommand{\kh}[1]{{\left(#1\right)}}\newcommand{\zkh}[1]{{\left[#1\right]}}\newcommand{\dkh}[1]{{\left\{{#1}\right \}}}\newcommand{\norm}[1]{\left|#1\right|}\newcommand{\normm}[1]{\left\Vert#1\right\Vert}\newcommand{\calA}{{\mathcal{A}}}\newcommand{\calC}{{\mathcal{C}}}\newcommand{\calH}{{\mathcal{H}}}\newcommand{\calN}{{\mathcal{N}}}\newcommand{\calQ}{{\mathcal{Q}}}\newcommand{\calR}{{\mathcal{R}}}\newcommand{\calS}{{\mathcal{S}}}\newcommand{\calW}{{\mathcal{W}}}\newcommand{\calX}{{\mathcal{X}}}\newcommand{\calZ}{{\mathcal{Z}}}\newcommand{\bbC}{\mathbb{C}}\newcommand{\bbN}{\mathbb{N}}\newcommand{\bbR}{\mathbb{R}}\newcommand{\bbZ}{\mathbb{Z}}\newcommand{\sin}{{\rm sin}}\newcommand{\cos}{{\rm cos}}\newcommand{\Id}{{\rm Id}}$

表示定理

　　定理（Schoenberg-Whitney）　设节点$\left\{\xi_i\right\}_{i=0}^n$上$k$次B样条为$\left\{B_p^k\right\}_{p=-k}^{n-1}$，插值点为$\left\{x_i\right\}_{i=1}^{n+k}$。则对任意给定$\left\{y_i\right\}_{i=1}^{n+k}$都存在$\calS$中元素$s$使得$s\kh{x_i}=y_i$，当且仅当，$0\notin\left\{B_{p}^k\kh{x_{p+k+1}}\right\}_{p=-k}^{n-1}$。

一致逼近性

　　设节点$\left\{\xi_i\right\}_{i=0}^n$上$k$次B样条为$\left\{B_p^k\right\}_{p=-k}^{n-1}$，记$N_p^k=\kh{\xi_{p+k+1}-\xi_p}B_p^k$。注意$N_p^k\geq0$。

　　定理（常数函数的B样条表示）

1=∑p=−kn−1Nkp(x).