Q20Mathematics I
Question
Find half range cosine series for the function . Hence deduce that:
Answer
This complex problem requires deriving the half-range Fourier cosine series for the linear function strictly over the interval . By evaluating the rigorously constructed infinite series at the boundary , we mathematically deduce the specific infinite sum identity
The mathematical objective is to express the simple non-periodic function , defined strictly on the half-interval , exclusively as an infinite sum of cosine waves. To achieve this, we theoretically extend the function into the negative domain as a perfectly even function. By definition, an even function's Fourier series will automatically possess absolutely zero sine terms ( for all ).
Step 1: Calculating the DC Component ()
The formal half-range Fourier cosine series formula over an interval strictly dictates that the constant term is calculated as:
For this problem, the fundamental interval length is precisely . We substitute this and our function into the integral:
We execute the basic polynomial integration strictly:
The complete absence of a DC offset makes mathematical sense because the area of the function exactly above the x-axis perfectly cancels the area exactly below it on the interval .
Step 2: Calculating the Harmonic Coefficients ()
The general formula for the cosine coefficients is rigorously defined as:
Substituting our specific and setting yields a complex integral requiring integration by parts:
We meticulously apply the integration by parts formula by setting and :
We now rigidly integrate the remaining sine term:
We systematically evaluate this exact mathematical expression at the rigorous boundaries and . A critical realization is that for all integer values of , and . Therefore, all sine terms universally vanish.
We must strictly analyze this resulting term for different parities of : - When is an even integer (), . The parenthesis becomes . All even harmonics absolutely disappear. - When is an odd integer (), . The parenthesis becomes . Thus, .
The perfectly derived half-range Fourier series consists solely of odd-harmonic cosine waves:
Step 3: Deductive Proof of the Infinite Series
To deductively prove the given identity, we must selectively evaluate the derived Fourier series at a specific coordinate point. The most mathematically fruitful point is the boundary .
At , the original function evaluates perfectly to . Furthermore, the cosine term within the sum evaluates perfectly to for all values of .
We substitute these exact rigid values back into our Fourier series equation:
We can factor out the absolute constants entirely from the infinite summation:
To finalize the mathematical proof, we simply multiply both sides of the exact equation by , which immediately isolates the summation series and confirms the identity flawlessly: