Title:On almost everywhere convergence of tensor product spline projections

Abstract:Let $d$ be a positive integer 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 $\Delta_1,\ldots,$ $\Delta_d$ of the interval $[0,1]$, we prove that the orthogonal projection $P_{(\Delta_1,\dots,\Delta_d)}f$ of $f$ onto the space of tensor product splines with arbitrary orders $(k_1,\dots, k_d)$ and knots $\Delta_1,\ldots, \Delta_d$ converges to $f$ almost everywhere (a.e.) as all the mesh diameters $|\Delta_1|,\ldots, |\Delta_{d}|$ tend to zero. This extends the one-dimensional result by Passenbrunner, Shadrin (2013) to arbitrary dimensions.
On the other hand, we also show that this result is sharp, i.e. given any "bigger" Orlicz class $X=\sigma(L)L(\log^+ L)^{d-1}$ with an arbitrary function $\sigma$ tending to zero at infinity, there exist a function $\varphi\in X$ and partitions of the unit cube such that the orthogonal projections of $\varphi$ do not converge a.e.