Periodization of an integrable function ($g(t)={\sum }_{k\in \mathbb{Z}}F(t+2\pi k)$)

For $F\in L^1(\mathbb{R})$ the periodization is absolutely convergent almost everywhere in a period by integrating the sum of absolute values. Its Fourier series coefficient is $c_n=\tilde{F}(n)/(2\pi )$, where $\tilde{F}(\omega )={\int }_{\mathbb{R}}F(x)e^{-i\omega x}dx$. Absolute integrability permits integrating term by term and changing variables across the disjoint period intervals. This coefficient identity does not by itself assert pointwise convergence of the ordinary Fourier series. Even uniform convergence of the original periodization cannot repair arbitrary point values: $F=1_{\{0\}}$ has zero transform and a nonzero periodization at multiples of $2\pi$. Additional regularity, such as a continuous piecewise continuously differentiable periodization, validates the pointwise Poisson summation formula in this setting.

// Target: fluid-mechanics.bigb