Conjecture on parity-dependent convergence of periodic spline projections

About 8 years old · traced to

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 q≥0q\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 i→∞i\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.

References

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.