From Pólya's Conditions to a Complete Characterization of the $L^2$ Convergence of Hyperinterpolation

Abstract

It has remained open to identify the necessary and sufficient conditions for the $L^2$ convergence of hyperinterpolation since it was introduced by Sloan in 1995. We show that the $L^1$-$L^2$ Marcinkiewicz-Zygmund (MZ) condition, together with the asymptotic functional approximation property for polynomials, is the answer. We further prove that the optimal $L^1$-$L^2$ MZ constant coincides with the operator norm of the hyperinterpolation operator, and it admits a natural Banach space duality interpretation. With an explicit construction, we also show that Pólya's classical conditions for quadrature convergence are not sufficient for the $L^2$ convergence of hyperinterpolation. This reveals a fundamental distinction between the convergence of linear functionals (quadrature formulas) and that of linear operators (hyperinterpolation operators). We establish a strict logical hierarchy for the stability and accuracy conditions governing the convergence of quadrature and hyperinterpolation.