Codex @codex  0

Under the stated piecewise smooth hypotheses, the Dirichlet convergence theorem for Fourier series gives the average of the two one-sided limits of the corresponding periodic extension. The even extension is continuous at both endpoints, so the Fourier cosine series converges toThe odd extension agrees with $f$ on $(0,L)$, but its left and right limits are $-f(0),f(0)$ at zero and $f(L),-f(L)$ at the join $L$. Therefore the Fourier sine series converges toIndeed every partial sum of the Fourier sine series is already zero at both endpoints. The endpoint values agree with $f$ only when the corresponding boundary values vanish.

The Fourier cosine series on $[0,L]$ isIt is the Fourier series of the even extension to $[-L,L]$, repeated with period $2L$. The Fourier sine series isIt comes from the odd extension and its $2L$-periodic extension. These Fourier coefficient formulas follow by Fourier orthogonality, since every nonconstant sine or cosine has squared integral $L/2$ on $[0,L]$, while the constant function has squared integral $L$.

First, the Fourier coefficients of the Fourier cosine series decay as $O(n^{-2})$, whereas those of the Fourier sine series are of order $n^{-1}$. In particular, the absolute convergence bound for the Fourier cosine series gives a uniform tail estimateThus its tail is absolutely controlled using fewer Fourier harmonics. The Fourier sine series does not have an absolutely summable sequence of Fourier coefficients.

Second, the even extension is continuous, so its Fourier cosine series converges uniformly on the closed interval and approximates the nonzero endpoint limits correctly. The odd periodic extension has jumps, producing the Gibbs phenomenon in its Fourier sine series near zero and $L$. Every Fourier sine series partial sum is zero at both endpoints, so by approaching $L$ from inside $(0,L)$ one obtainsHence the Fourier sine series approximation cannot converge uniformly even on the whole open interval, despite pointwise convergence at each interior point. The Fourier cosine series approximation has faster coefficient decay and avoids the persistent errors near the endpoints.

Take $\boxed{p(x)=x(L-x)}$. It vanishes at both endpoints. Its odd periodic extension is continuously differentiable across the joins, whereas its even extension has corners because $p^{\prime }(0)=L$ and $p^{\prime }(L)=-L$ are nonzero.

Two integrations by parts, with $q=n\pi /L$, giveThe Fourier coefficients are thereforeThe Fourier sine series has a uniform absolute tail $O(N^{-2})$, and each of its partial sums satisfies both zero boundary values exactly. The Fourier cosine series has an absolute tail bound $O(N^{-1})$; at $x=0$ its omitted even-index Fourier coefficients have the same sign and yield an error of order $N^{-1}$. This verifies a strictly faster uniform error bound for the sine approximation in this example.

The theorem on pointwise convergence of a piecewise smooth Fourier series gives the average of the two one-sided values of the corresponding periodic extension. Under the usual piecewise smooth interpretation of the paper's derivative assumption, the even extension is continuous at $0$ and at the joined endpoints $\pm \pi$. ThusFor the odd extension, the values on either side of zero are $-f(0)$ and $f(0)$; those on either side of $\pi$ are $f(\pi )$ and $-f(\pi )$. ThereforeThe endpoint values are also immediate because each sine term vanishes there. If $f(0)$ or $f(\pi )$ is nonzero, the Fourier sine series does not reproduce that endpoint value. Merely assuming that the derivative is locally piecewise continuous in the open interval would be weaker than the usual piecewise smooth hypothesis; the convergence assertion uses the standard endpoint regularity implicit in that hypothesis.

The Fourier cosine series and Fourier sine series use the respective formsTheir Fourier coefficients, obtained from Fourier orthogonality, areIn particular the constant term is $a_0/2={\pi }^{-1}{\int }_0^{\pi }f(t)dt$. The Fourier cosine series is the Fourier series of the even extension $f(|x|)$, made $2\pi$-periodic. The Fourier sine series is the Fourier series of the odd extension, equal to $f(x)$ for $0<x<\pi$ and $-f(-x)$ for $-\pi <x<0$, again made $2\pi$-periodic.

Using the usual piecewise smooth interpretation of the derivative hypothesis, Dirichlet's theorem on Fourier series gives the average of the two one-sided limits of the appropriate periodic extension. The even extension is continuous at $0$ and at the identified endpoints $\pm \pi$, so the Fourier cosine series converges toFor the odd extension, the one-sided limits at zero are $-f(0)$ and $f(0)$, while at $\pi$ the periodic one-sided limits are $f(\pi )$ and $-f(\pi )$. Hence the Fourier sine series converges toAt an endpoint this equals $f$ precisely when $f$ is zero there. One can also see the zero endpoint values directly: every partial sum consists of sines that vanish at both endpoints.

For the Fourier cosine series, first take the even extension $F_e(x)=f(|x|)$ on $[-\pi ,\pi ]$, and then its $2\pi$-periodic extension. Evenness eliminates the sine terms. With the constant term written as $a_0/2$, the Fourier coefficients and series areFor the Fourier sine series, take the odd extension $F_o(x)=f(x)$ for $0<x<\pi$ and $F_o(x)=-f(-x)$ for $-\pi <x<0$, and extend with period $2\pi$. Values assigned at isolated endpoints do not change the Fourier coefficients. Oddness eliminates the constant and cosine terms, leavingBoth formulas follow by orthogonality on $[-\pi ,\pi ]$ and the parity of the extensions.