With the standard unweighted inner product on real square-integrable functions, orthogonality on means
Multiplying this inner product by a common nonzero normalising constant does not change orthogonality.
The Fourier coefficients follow by multiplying the expansion by , by the appropriate cosine, or by the appropriate sine, then using orthogonality. In the convention with constant term ,
The factor comes from the squared norms of the nonconstant sine and cosine functions: the integral of each square over is . The constant function has squared norm .
For , the even function has , because is an odd function. Its constant coefficient is . The remaining Fourier coefficients are
Two applications of integration by parts give the antiderivative, with ,
Its endpoint difference is , so . Therefore
The periodic extension is continuous and piecewise smooth, so pointwise convergence of a piecewise smooth Fourier series gives equality, including at the endpoints.
Termwise differentiation of a Fourier series, applied to the continuous periodic extension in part (c), gives for
Hence the required Fourier sine series is
The endpoint deserves care: at every term is zero, so the Fourier series sums to , the average of the periodic one-sided limits and . It therefore does not reproduce the specified endpoint value . Changing a value at one point does not change any Fourier coefficient, so this is still the Fourier series of the stated function on .
Evaluate the Fourier sine series of part (d) at the interior point . Only odd indices remain, with alternating signs:
Thus .
For the second identity, apply Parseval's identity to . From part (c), , and , so
The left side is , giving . Consequently
The first series is conditionally convergent, while the second converges absolutely by the P-series criterion.

Articles by others on the same topic (0)

There are currently no matching articles.