Fourier Sine Series — Question 1

PDF ↗

Question 1

Let f(x)=xf(x)=x on [0,π][0,\pi]. Define its sine coefficients and partial sums by bn=2π∫0πf(x)sin⁡(nx)dx,SN=∑n=1Nbnsin⁡(nx).b_n=\frac 2\pi\int_0^\pi f(x)\sin(nx)dx,\qquad S_N=\sum_{n=1}^Nb_n\sin(nx). For a piecewise smooth odd periodic extension, the Fourier series converges to the average of its one-sided limits, including at periodic joins.

Tasks

  1. Derive bnb_n by integration by parts. Describe the odd 2π2\pi-periodic extension, including its jump at odd multiples of π\pi.

  2. Determine the series sum at every x∈[0,π]x\in[0,\pi]. Distinguish the assigned endpoint value f(π)f(\pi) from the series limit.

  3. Decide whether SNS_N converges uniformly to ff on [0,π][0,\pi], or to xx on the open interval (0,π)(0,\pi). Give a quantitative obstruction for both claims.

  4. Use the value at x=π/2x=\pi/2 to evaluate 1−1/3+1/5−⋯1-1/3+1/5-\cdots. Sketch S12S_{12} with ff and explain why the endpoint mismatch does not invalidate the interior representation.

Original worksheet page 1: question and worked solution for 8-4-001
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 ∫0πxsin⁡(nx)dx=[−xcos⁡(nx)/n]0π+[sin⁡(nx)/n2]0π=−π(−1)n/n.\int_0^\pi x\sin(nx)dx=[-x\cos(nx)/n]_0^\pi +[\sin(nx)/n^2]_0^\pi=-\pi(-1)^n/n. Hence bn=2(−1)n+1/n\boxed{b_n=2(-1)^{n+1}/n}. The odd extension equals xx on (−π,π)(-\pi,\pi) and repeats every 2π2\pi. At an odd multiple of π\pi its left and right limits are π\pi and −π-\pi. The join value may be chosen zero for an odd periodic representative.

Step 2: Apply the convergence theorem. The series equals xx for 0<x<π0<x<\pi. At zero it equals zero by continuity of the extension, and at π\pi it equals the jump average zero: ∑n≥12(−1)n+1nsin⁡(nx)=x(0≤x<π),sum at π=0.\boxed{\sum_{n\geq 1}\frac{2(-1)^{n+1}}n\sin(nx) =x\ (0\leq x<\pi),\qquad \text{sum at }\pi=0.} This does not reproduce the separately assigned value f(π)=πf(\pi)=\pi.

Step 3: Rule out uniform convergence near the join. On the closed interval, |f(π)−SN(π)|=π|f(\pi)-S_N(\pi)|=\pi for every NN. On the open interval, continuity of each finite sum gives lim⁡x↑π|x−SN(x)|=π\lim_{x\uparrow\pi}|x-S_N(x)|=\pi, so the supremum error is at least π\pi. Neither asserted uniform convergence holds, despite pointwise convergence inside.

Step 4: Evaluate an interior numerical series. At x=π/2x=\pi/2, only odd modes remain and their sine values alternate: π/2=2(1−1/3+1/5−⋯)\pi/2=2(1-1/3+1/5-\cdots). Therefore the convergent series equals π/4\boxed{\pi/4}. 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.

Original worksheet page 2: question and worked solution for 8-4-001

Original worksheet layout. Use Enlarge or open the PDF for a closer view.