箱样条的局部逼近阶

设△是由平面R²={(x₁,x₂):x₁,x₂∈R}上三族直线 x₁=n,x₂=n,x₂-x₁=n,n∈Z所构成的分划。R²上的函数s称为是关于分划△的一个k次样条函数,如果s在R~2\△的各连通分支上与一个全次数≤k的多项式相一致。全体k次样条函数所成的空间记为π_k,△。令π_k,△^ρ=π_k,△∩C^ρ。以φ_k,ρ表示由π_k,△^ρ内所有箱样条组成的集合,以m(k,ρ)表示φ_k,ρ所具有的局部逼近阶。迄今为止,关于m(k,ρ)仅有deBoor与Hollig,及Dahmen与Micchelli的少量结果。本文完全确定了m(k,ρ)的值,其结果如下: (1)m(k,ρ)=2k-2ρ,如果2k-3ρ=2, (2)m(k,ρ)=2k-2ρ-1,如果2k-3ρ=3或4, (3)m(k,ρ)=k+1,如果ρ=0, (4)m(k,ρ)=min{2k-2ρ-2,k},如果2k-3ρ≥5且ρ≥1。