Question 1
Let on . Define its sine coefficients and partial sums by For a piecewise smooth odd periodic extension, the Fourier series converges to the average of its one-sided limits, including at periodic joins.
Tasks
Derive by integration by parts. Describe the odd -periodic extension, including its jump at odd multiples of .
Determine the series sum at every . Distinguish the assigned endpoint value from the series limit.
Decide whether converges uniformly to on , or to on the open interval . Give a quantitative obstruction for both claims.
Use the value at to evaluate . Sketch with and explain why the endpoint mismatch does not invalidate the interior representation.
Show solutionHide solution
Question 1 – Solution
Strategy. Determine the odd extension before applying the convergence theorem at its endpoints.
Step 1: Compute the coefficients and extension. Integration by parts yields Hence . The odd extension equals on and repeats every . At an odd multiple of its left and right limits are and . The join value may be chosen zero for an odd periodic representative.
Step 2: Apply the convergence theorem. The series equals for . At zero it equals zero by continuity of the extension, and at it equals the jump average zero: This does not reproduce the separately assigned value .
Step 3: Rule out uniform convergence near the join. On the closed interval, for every . On the open interval, continuity of each finite sum gives , so the supremum error is at least . Neither asserted uniform convergence holds, despite pointwise convergence inside.
Step 4: Evaluate an interior numerical series. At , only odd modes remain and their sine values alternate: . Therefore the convergent series equals . The graph displays a finite approximation; the convergence theorem, not endpoint agreement of the original data, justifies the interior sum.
See the diagram in the original worksheet below.