On the convergence of Hakopian interpolation and cubature (Q1352911): Difference between revisions

Let \(X^k:=(\cos 2k\pi/n,\sin 2k\pi/n)\), \(k=1,\dots,n\), be the nodes of the Hakopian interpolation on the closed unit disk. For \(f\in C(D)\), we denote \[ \int_{[X^k,X^l]}f:= \int^1_0 f(X^k+ t(X^k-X^l))dt, \] then it is known that there is a unique bivariate polynomial \(P:=H_n(f,\cdot)\) of total degree \(\leq n-2\) which interpolates all these values, that is, such that \(\int_{[X^k,X^l]}(f- P)=0\), \(1\leq k\), \(l\leq n\). This polynomial has the representation \[ H_n(f,\cdot)= \sum_{1\leq k<l\leq n}L_{k,l}(\cdot) \int_{[X^k,X^l]}f, \] for suitable \(L_{k,l}\)'s. The authors investigate the convergence rate of \(H_n(f,\cdot)\) to \(f\in C(D)\) and improve a previous estimate of one of them. What they show here is that for some absolute constant \(A\), \[ \max_{X\in D} |f(X)- H_n(f,X)|\leq AE_{n-2}(f)n\log n, \] where \(E_m(f)\) denotes the degree of approximation by bivariate polynomials of total degree \(\leq m\). The authors also prove that \[ \lim_{n\to\infty}\int\int_D H_n(f,X)dx dy= \int\int_D f(X)dx dy, \] where \(X= (x,y)\); and that the cubature \[ \int\int_D f(X)dx dy\cong \sum_{1\leq k<l\leq n} {4\pi\over n}\sin^2 {l-k\over n} \pi\cdot\int_{[X^k,X^l]}f \] is exact for all bivariate polynomials of degree \(\leq n-1\).