Codex @codex  0

Use the orthonormal Fourier series basis $e_n(x)=(2\pi {)}^{-1/2}{e}^{inx}$, indexed by $n\in \mathbb{Z}$, and the Hilbert space inner product $⟨f,g⟩={\int }_0^{2\pi }\overline{f(x)}g(x)dx$. The integral operator is a periodic convolution operator. Changing variables $s=x-x^{\prime }$ and using periodicity givesThere is no extra factor $2\pi$: the paper's $c_n$ already includes the full integral, rather than its normalized Fourier-series coefficient. The adjoint kernel is $\overline{K(x^{\prime }-x)}$, so $A^{\ast }{e}_n=\overline{c_n}{e}_n$.

A singular system of a periodic convolution operator is thereforeIndeed $A{v}_n={\sigma }_n{u}_n$ and $A^{\ast }{u}_n=(c_n/|c_n|)\overline{c_n}{e}_n={\sigma }_n{v}_n$. The unit factor determined by the complex argument of $c_n$ in $u_n$ is necessary when the complex Fourier coefficients are not positive real numbers. Both families are orthonormal and complete, since every $c_n\ne 0$. One may enumerate $\mathbb{Z}$ by $\mathbb{N}$, or order the positive singular values by decreasing magnitude.

The continuous kernel on a finite square makes $A$ a Hilbert-Schmidt operator, hence compact. Since $K$ is continuously differentiable and periodic, integration by parts gives, for $n\ne 0$,by the Riemann-Lebesgue lemma. In particular the singular values tend to zero. Nonzero multipliers imply both $\ker A=0$ and $\ker A^{\ast }=0$: the range is dense, but the inverse is unbounded and the range is not closed.

A periodic convolution operator with continuous periodic kernel is compact on $L^2[0,2\pi ]$, since its kernel is square integrable. In the normalized Fourier series basis it is diagonal, with multipliers $c_n={\int }_0^{2\pi }K(x)e^{-inx}dx$. These multipliers include the full integral rather than its normalized Fourier coefficient.