The Ringing That Never Dies
Layer sine waves onto a square wave. The ringing beside each jump never dies out, no matter how large N gets.
SN(x)=π4k=1∑N2k−1sin((2k−1)x)
Examples & Exercises
Compute the sine-series coefficients b2k−1=π(2k−1)4 of the square wave by direct integration.
bn=π2∫0πsin(nx)dx=nπ2(1−cosnπ)
N=5: the first 5 odd harmonics mimic the step.
Show proof
- The square wave is odd on (−π,π), so cosine coefficients vanish and bn=π1∫−ππf(x)sin(nx)dx=π2∫0πsin(nx)dx.
- Integrating gives nπ2(1−cosnπ): 0 for even n, nπ4 for odd n.
- So b2k−1=π(2k−1)4 and b2k=0.
Verify numerically that the peak near the jump tends to ≈1.179, i.e. about 9% of the jump. (Numerical check)
maxSN→π2Si(π)≈1.17898
N=50: peak ≈1.179 — overshooting 1 by 0.179.
Show proof
- Measuring the peak just right of the jump at N=50 gives ≈1.179 (theory: π2Si(π)≈1.17898).
- The jump size is 2, so the excess 0.179 above 1 is about 8.95% of the jump.
- This fraction does not go to 0 as N grows — that is the Gibbs phenomenon. (Verified numerically; the rigorous proof is omitted.)
Show algebraically that SN at x=π/2 becomes the Leibniz series.
SN(2π)=π4k=1∑N2k−1(−1)k+1→1
At x=π/2 the partial sum is π4 times the Leibniz partial sum.
Show proof
- Since sin((2k−1)2π)=(−1)k+1, SN(π/2)=π4∑k=1N2k−1(−1)k+1.
- As N→∞, the bracket tends to the Leibniz series 4π (series chapter).
- Hence SN(π/2)→π4⋅4π=1, matching the square wave's value.
8. Series of Functions & Fourier