Conjecture on parity-dependent convergence of periodic spline projections

Let τ{\boldsymbol \tau} be a uniform knot sequence such that the dimension of Sp,τ,per\mathcal{S}_{p,{\boldsymbol \tau},\operatorname{per}} is 2m2m. For any q0q\geq 0, let QpqQ_p^q be the projection onto Sp,τ,per\mathcal{S}_{p,{\boldsymbol \tau},\operatorname{per}} defined by the periodic projection construction. Parity convergence conjecture. As ii\to\infty, the projections satisfy

sin(2πm)Q2iqsin(2πm)0,\left\|\sin(2\pi m\mathord\cdot)-Q^q_{2i}\sin(2\pi m\mathord\cdot)\right\|\longrightarrow 0,

for p=2ip=2i, and

cos(2πm)Q2i+1qcos(2πm)0,\left\|\cos(2\pi m\mathord\cdot)-Q^q_{2i+1}\cos(2\pi m\mathord\cdot)\right\|\longrightarrow 0,

for p=2i+1p=2i+1. The conjecture addresses the missing eigenfunction in the even-dimensional periodic spline case, where parity causes one of the two eigenfunctions at frequency mm to be orthogonal to the spline space.

Sources & referencesView supporting material

Primary source

Espen Sande, Carla Manni and Hendrik Speleers, “Sharp error estimates for spline approximation: explicit constants, n-widths, and eigenfunction convergence”, arXiv:1810.13418 (2019).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.