Use the real Fourier series convention . The function is an even function, so . For noninteger real ,
For , the product-to-sum identity gives
Thus the Fourier series of a noninteger-frequency cosine is
Its Fourier coefficients are , giving absolute convergence and uniform convergence. The periodic function is continuous at its joins because the two endpoint cosine values coincide, so the Dirichlet-Jordan convergence theorem gives this value at every point.
Putting gives
Evaluate at , where , and multiply by :
Comparing with the required form gives .

Articles by others on the same topic (0)

There are currently no matching articles.