Fourier Sine Series — Question 4

PDF ↗

Question 4

On [0,π][0,\pi], let ff equal one on (π/3,2π/3)(\pi/3,2\pi/3) and zero elsewhere, including the two jump points. Let SNS_N denote its first NN sine modes.

Tasks

  1. Derive every sine coefficient from the defining integral. Use symmetry about π/2\pi/2 to explain why all even modes vanish.

  2. Determine whether any odd modes vanish. State the sine-series limit at every point of [0,π][0,\pi], paying attention to the assigned values at the jumps.

  3. Change the assigned values at the two jumps to arbitrary real numbers. Explain what happens to the coefficients, the series and its pointwise limits.

  4. Prove that no continuous function can approximate this assigned target with uniform error less than 1/21/2. Explain the implication for sine partial sums and sketch S15S_{15} alongside the pulse.

Original worksheet page 1: question and worked solution for 8-4-004
Show solutionHide solution

Question 4 – Solution

Strategy. Use symmetry for coefficient selection, but use one-sided limits to determine convergence at jumps.

Step 1: Compute and simplify the coefficients. Integration over the nonzero portion gives bn=2πn[cos(nπ/3)−cos(2nπ/3)].\boxed{b_n=\frac 2{\pi n}\left[\cos(n\pi/3)-\cos(2n\pi/3)\right].} The reflection f(π−x)=f(x)f(\pi-x)=f(x) implies bn=(−1)n+1bnb_n=(-1)^{n+1}b_n, so even modes are zero. For odd nn, cos⁡(2nπ/3)=−cos⁡(nπ/3)\cos(2n\pi/3)=-\cos(n\pi/3), giving bn=4cos⁡(nπ/3)/(πn)b_n=4\cos(n\pi/3)/(\pi n).

Step 2: Account for every mode and every limit. For odd integers nn, cos⁡(nπ/3)\cos(n\pi/3) is 1/21/2 or −1-1, never zero. Thus no odd mode vanishes. The odd periodic extension is piecewise constant; the Fourier convergence theorem gives one inside the pulse, zero outside, and 1/2\boxed{1/2} at π/3\pi/3 and 2π/32\pi/3. Both endpoints have limit zero. The jump-point sums differ from the assigned target values zero.

Step 3: Change only the assigned values. Changing finitely many points does not change any coefficient integral. The partial sums and their limits are therefore unchanged. The series records the jump averages, not arbitrary isolated assignments at the jumps.

Step 4: Establish the uniform-error obstruction. Let gg be continuous and suppose sup⁡|f−g|≤E\sup|f-g|\leq E. Taking one-sided limits at the first jump gives |g(π/3)|≤E|g(\pi/3)|\leq E and |1−g(π/3)|≤E|1-g(\pi/3)|\leq E. The triangle inequality yields 1≤2E1\leq 2E, so E≥1/2\boxed{E\geq 1/2}. Every finite sine sum is continuous and obeys this lower bound. Thus pointwise convergence away from the jumps cannot become uniform convergence to this target on the whole interval. The graph shows the finite-sum transition and oscillations.

See the diagram in the original worksheet below.

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

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