On almost everywhere convergence of tensor product spline projections

Abstract

Let $d\in\mathbb N$ and $f$ be a function in the Orlicz class $L(\log^+L)^{d-1}$ defined on the unit cube $[0,1]^d$ in $\mathbb{R}^d$. Given partitions $Δ_1,\ldots,$ $Δ_d$ of $[0,1]$, we first prove that the orthogonal projection $P_{(Δ_1,\dots,Δ_d)}(f)$ onto the space of tensor product splines with arbitrary orders $(k_1,\dots, k_d)$ and knots $Δ_1,\ldots,Δ_d$ converges to $f$ almost everywhere as the mesh diameters $|Δ_1|,\ldots, |Δ_{d}|$ tend to zero. This extends the one-dimensional result in [Passenbrunner and Shadrin, Journal of Approximation Theory, 2014] to arbitrary dimensions. In a second step, we show that this result is optimal, i.e., given any "bigger" Orlicz class $X=σ(L)L(\log^+ L)^{d-1}$ with an arbitrary function $σ$ tending to zero at infinity, there exists a function $φ\in X$ and partitions of the unit cube such that the orthogonal projections of $φ$ do not converge almost everywhere.