: We now have only 2N pieces of discrete data at the
different 2N grid points
and they
correspond to 2N waves, as we have a ``silent'' last mode, i.e., with .
Thus is well-defined; in view of (Fourier_even.3)
it is the unique interpolant of
w(x) at the 2N gridpoints :
The aliasing relation in this case reads - compare (app_ps.7)
and spectral convergence follows - compare with (app_ps.16)
In the usual sin-cos formulation it takes the form
Noting that we have 2N free parameters
to match our data at .