The Fourier sine series has coefficients
by integration by parts. Thus
Its odd extension is on , continued with period . The usual Fourier convergence result for a piecewise smooth periodic function gives the value at a continuous point and the mean of one-sided limits at a jump. At , subtracting one period gives , a continuous point of this extension. Therefore the sine series converges to there.
For the Fourier cosine series, the even extension is on , continued with period . Its triangular wave is continuous even at the joining points, so the cosine series converges to that extension everywhere. On the requested interval its graph is
The vertices are . In particular, its value at is .
Figure 1.
The even periodic extension represented by the cosine series
. Details.
The method of images for the Neumann boundary conditions extends evenly through zero and then with period . Define the triangular wave
The formulas agree at their endpoints. It is even, -periodic, and agrees with on . Its Fourier cosine series has the coefficients in part (a). The cosine product identity then gives the D'Alembert formula
It is the average of two oppositely traveling reflected waves. For , the sketch rises from zero at even multiples of to at odd multiples; for it is reflected vertically, and for it is zero.
Figure 1.
Even periodic extension of the initial displacement for the Neumann wave equation
. Details.
On the basic interval the graph is the pair of straight segments joining , and . Its periodic extension is an even triangular wave.
Figure 1. . Original plot marking the basic interval and the repeated linear pieces. Details.
The Fourier coefficients satisfy by evenness, and
For the second formula, integration by parts gives . Only odd indices survive, giving this rescaled Fourier cosine series of a triangular wave:
The pointwise convergence of a piecewise smooth Fourier series applies throughout the interval, including the continuous joined endpoints. The coefficients also imply uniform convergence by the Weierstrass M-test. At , the value is one, so
The periodic extension is an even triangular wave: peaks of height one occur at the even integers and valleys of height zero at the odd integers . Adjacent peaks and valleys are joined by straight segments of slopes . The function is continuous and has corners at every integer.
Figure 1.
Period-two triangular wave and its first odd cosine harmonics
. Original graph of the periodic extension of , together with the first one and four nonconstant terms of its Fourier cosine series. Details.