Convergence of bivariate cardinal interpolation (Q1084589)

Consider \(\Theta =\{\xi_ 1,...,\xi_ n\}\), a set of vectors from the set \(\{\) (1,0),(0,1),(1,1)\(\}\) and refer to \(\Theta\) by \(n=(n_ 1,n_ 2,n_ 3)\in {\mathbb{Z}}^ 3_+\), where \(n_{\nu}\) is the multiplicity of the corresponding vector in \(\Theta\). The bivariate box spline associated to n is the functional \(M_ n\) on \(C_ 0({\mathbb{R}}^ 2)\) defined by \(<M_ n,\emptyset >:=\int_{[-1/2,1/2]^ n}\emptyset (\sum^{n}_{\nu =1}\lambda_{\nu}\xi_{\nu})d\lambda.\) For any continuous bounded function f denote by \(I_ nf\) its bivariate cardinal spline interpolant, i.e. the unique bounded spline \(I_ nf\in S_ n:=span\{M_ n(\cdot -j):j\in {\mathbb{Z}}^ 2\}\) for which \(I_ nf(k)=f(k),k\in {\mathbb{Z}}^ 2\). Denote by n' the middle component of n and write \(n\to N\) if a sequence \(n=n(m)\), \(m\in {\mathbb{N}}\), satisfies: n'(m)\(\to \infty\) as \(m\to \infty\) and \(\lim_{m\to \infty}n(m)/n'(m)=N\in [0,\infty]^ 3.\) Assume further that \(| n|:=n_ 1+n_ 2+n_ 3\leq c(n')^ c\), where \(c>0\) and consider the domain \(\Omega_ N:=\{2\pi x:0\leq a_{N,j}(x)<1,j\in J\}\), where \(J:=\{\pm (1,0),\pm (0,1),\pm (1,-1)\}\) and for \(x=(u,v)\), \(j=(k,\ell)\), \[ a_{N,j}(x)=(\frac{u}{u+k})^{N_ 1}(\frac{v}{v+\ell})^{N_ 2}(\frac{u+v}{u+v+k+\ell})^{N_ 3}. \] The authors prove that if the Fourier transform of f is a tempered distribution with supp\(\hat f\subset \Omega_ N\), then, for any \(\alpha \in {\mathbb{Z}}^ 2_+\), the partial derivative \(D^{\alpha}I_ nf\) converges locally uniformly on \({\mathbb{R}}^ 2\) to \(D^{\alpha}f\) as \(n\to N\). Conversely, if a sequence of cardinal splines \(s_ n\in S_ n\) converges locally uniformly to f as \(n\to N\) and if \(| s_ n(x)| \leq b(1+| x|)^ b\) for all n and some \(b>0\), then supp\(\hat f\subseteq {\bar\Omega}_ N\).