Convergence of polyharmonic splines on semi-regular grids \(\mathbb Z \times \mathbb Z^n\) for \(a\rightarrow 0\) (Q2641452): Difference between revisions

Let \(\Gamma\) be a discrete subspace of \(\mathbb R^{n+1}\) and let \(p\) be a natural number satisfying \(2p\geq n+2\). We define \(\text{SH}^p(\mathbb R^{n+1},\Gamma)\) to be the set of all tempered distributions \(u\) on \(\mathbb R^{n+1}\) which are \(2p-n-2\) continuously differentiable and such that \(\Delta^pu(x)=0\) for all \(x\in \mathbb R^{n+1}\setminus\Gamma\). Here \(\Delta^p\) is the \(p\)-th iterate of the Laplace operator \(\Delta=\sum^{n+1}_{j=1}\frac{\partial^2}{\partial x_j^2}\) for a natural number \(p\). For the discrete subset \(\Gamma=\mathbb Z^{n+1}\) one calls the distributions \(u\in \text{SH}^p(\mathbb R^{n+1},\Gamma)\) as polyharmonic cardinal splines of order \(p\). Let \(I_a\) be a polyharmonic spline of order \(p\) on the grid \(\mathbb Z\times a\mathbb Z^n\) which satisfies the interpolating conditions \(I_a(j,am)=d_j(am)\) for \(j\in \mathbb Z\), \(m\in \mathbb Z^n\), where the functions \(d_j: \mathbb R^n\to \mathbb R\) and the parameter \(a>0\) are given. Let \(B_s(\mathbb R^n)\) be the set of all integrable functions \(f:\mathbb R^n\to C\) such that the integral \[ \|f\|_s=\int_{\mathbb R^n}|f(\xi)|(1+|\xi|^s)\,d\xi \] is finite. The main result of this paper states that for any given \(\sigma>0\) there is a constant \(c>0\) such that whenever \(d_j\in B_{2p}(\mathbb R^n)\cap C(\mathbb R^n)\), \(j\in \mathbb Z\), satisfy the inequality \(\|d_j\|_{2p}\leq D(1+|j|^{\sigma})\) for all \(j\in \mathbb Z\) then there exists a polyspline \(S: \mathbb R^{n+1}\to C\) of order \(p\) on strips such that \[ |S(t,y)-I_a(t,y)|\leq a^{2p-1}cD(1+|t|^{\sigma}) \] for all \(y\in \mathbb R^n\), \(t\in \mathbb R\) and all \(a\in (0,1)\).