Real-valued finite-frequency approximation #
Complex Fourier restriction followed by coordinatewise real part supplies a
real spatial L² approximation for the Galerkin argument in thm:regularised.
Taking real parts after complexification recovers a real spatial L² field.