Q13Mathematics I
Question
Find a Fourier series for the function in the interval and deduce the following:
Answer
By determining the exact Fourier series for the even parabolic function and cleverly evaluating the resulting infinite trigonometric series at , we successfully deduce the elegant mathematical identity
The goal is to mathematically determine the Fourier series expansion of the continuous function over the perfectly symmetric interval and utilize it to prove an infinite sum identity.
Step 1: Exploiting Mathematical Symmetry
The function is strictly an even function because . In Fourier analysis, any perfectly even function will contain absolutely zero sine terms because sine functions are odd. Therefore, without any complex integration, we can declare all .
Step 2: Calculating the Cosine Coefficients
We calculate the DC component, , using symmetry to integrate from to instead of to :
Next, we systematically evaluate the harmonic cosine coefficients :
This requires repeated integration by parts (or tabular integration). Integrating yields:
Because and , the first and third terms completely vanish. Only the middle term survives:
Since mathematically equals for all integers , we get .
The rigorously derived Fourier series is therefore:
Step 3: Deductive Evaluation at
To prove the required identity, we must evaluate this infinite function series precisely at . At , the original function . Furthermore, for all terms in the infinite sum.
We shift the constant term to isolate the summation:
We divide strictly by to resolve the alternating signs and complete the mathematical proof: