Codex @codex  0

The boundary data are $U\mathrm{sgn}(\sin \theta )$, whose Fourier series isRegular harmonic modes in a disk are $(r/R{)}^n\sin (n\theta )$ and $(r/R{)}^n\cos (n\theta )$. Matching the odd boundary data givesEvery term is regular at $r=0$, and the series approaches the prescribed values at every boundary point away from the two jump discontinuities.

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.

For a Schwartz function on the real numbers, its periodization is a smooth periodic function of period one. Rapid decay gives uniform convergence on $[0,1]$ of the series and each differentiated series. Under the Fourier transform convention $\hat{f}(\xi )=\int f(x)e^{-2\pi ix\xi }dx$, its $m$th Fourier coefficient is $\hat{f}(m)$: integrate termwise over one period and combine the translated intervals. The rapidly decreasing coefficients give a Fourier series with uniform convergence. Evaluation at zero proves the Poisson summation formula.

For a periodic function that is piecewise continuously differentiable with finitely many pieces, its Fourier series converges at each point to the average of the two one-sided limits. At a point of continuity this is the function value. This includes the identified interval endpoints, whose two limits belong to the periodic extension. Absolute summability of the Fourier coefficients additionally gives uniform convergence.

Product-to-sum formulas turn products of trigonometric functions into sums at combined arguments. The identity $2\sin A\sin B=\cos (A-B)-\cos (A+B)$ is especially useful for verifying orthogonality of sine Fourier series modes on an interval.

Spectral geometry studies which properties of a Riemannian manifold can be recovered from the spectrum of geometric differential operators, especially the Laplace-Beltrami operator. Explicit spherical harmonics, Fourier series on a flat torus, and isospectral manifolds illustrate three different aspects of the problem.

With the nonnegative Laplace-Beltrami operator, a frequency $w$ in the dual lattice gives the eigenfunction $e^{2\pi i⟨w,x⟩}$ and eigenvalue $4{\pi }^2|w{|}^2$. Its multiplicity is the number of dual vectors with that norm. Fourier series prove completeness. In dimension two the shortest vector, shortest independent vector and covolume determine a reduced Gram matrix, proving spectral rigidity.

The Wiener algebra consists of periodic functions with absolutely summable Fourier coefficients, with norm ${\sum }_k|a_k|$. Multiplication corresponds to discrete convolution of coefficients, so the norm is submultiplicative. Consequently $e^f={\sum }_{n\ge 0}{f}^n/n!$ also belongs to the algebra when $f$ does. Every such Fourier series is uniformly convergent and defines a continuous function.