Fourier Transform 20 | Gibbs Phenomenon
Based on The Bright Side of Mathematics's video on YouTube. If you like this content, support the original creators by watching, liking and subscribing to their content.
Gibbs phenomenon is a persistent oscillation in Fourier series approximations near jump discontinuities, with overshoot amplitude that does not shrink as more terms are added.
Briefing
Gibbs phenomenon is the stubborn, built-in overshoot that appears when a Fourier series approximates a function with a jump discontinuity—and it does not disappear no matter how many Fourier terms are used. Away from the jump, increasing the number of terms improves the approximation pointwise, but near the discontinuity the partial sums keep oscillating with a characteristic “ringing” pattern. The overshoot shifts toward the jump as the number of terms grows, yet its size stays essentially the same in the limit, so the approximation never becomes uniformly accurate across the jump.
To make that concrete, the discussion focuses on a standard step function on the interval to , extended periodically. The function takes value 1 on one side of the origin and 0 on the other, creating a negative jump at x = 0. Fourier series theory already guarantees that at the jump point itself the series converges to the midpoint value (here, 1/2). The surprising part is what happens just next to the jump: even when the series is computed with very large truncation n (the example contrasts n = 40 with n = 100), the overshoot remains at roughly the same magnitude.
The core of the proof strategy is to estimate the truncated Fourier series near the jump using a closed-form expression for this particular step function. Because the function is essentially an odd function up to a vertical shift, the Fourier expansion involves only sine terms with odd frequencies. With an odd truncation n, the partial sum can be written as a finite series of the form sin(kx)/k over odd k. The overshoot near the jump is then tied to estimating this oscillatory sum.
The argument turns the sum into an integral estimate. By introducing an integral variable and rewriting trigonometric terms using Euler’s formula, the analysis reduces the complicated oscillatory sum to a ratio involving sine functions. This leads to an expression whose behavior is governed by the sinc function and, after integration, by the sine integral (denoted SI). The sine integral has a pronounced maximum at , and that maximum controls where the Fourier partial sum achieves its strongest deviation.
As a result, the most significant overshoot occurs at a point scaled with n: x = /(n+1). Evaluating the Fourier partial sum at that location yields a quantitative bound on the overshoot size. For the unit jump from 1 down to 0, the calculation produces a deficit of about 0.089 from the midpoint value, meaning the partial sums undershoot/overshoot by roughly 8.9% relative to the jump height. Crucially, this percentage is effectively independent of n: increasing n only moves the location of the ringing closer to the discontinuity. In the limit as n , the overshoot’s position collapses onto the jump, so the effect vanishes pointwise everywhere except at the discontinuity—yet the characteristic Gibbs magnitude remains a mathematical constant of the approximation process.
Cornell Notes
Fourier series approximate smooth functions well, but jump discontinuities trigger a persistent oscillation known as Gibbs phenomenon. For a step function that jumps from 1 to 0, the Fourier series converges pointwise to the midpoint value 1/2 at the jump, yet near the jump it overshoots by nearly a fixed fraction. The strongest deviation occurs not at the jump itself, but at a nearby location x = /(n+1), where n is the number of Fourier terms. Estimating the truncated sine-series using integral methods reduces the behavior to the sine integral SI, whose maximum at sets the overshoot size. Numerically, the overshoot magnitude is about 8.9% of the jump height, independent of n; increasing n only shifts the ringing closer to the discontinuity.
Why does a Fourier series behave differently at a jump discontinuity than at other points?
Where does the maximum overshoot occur relative to the jump, and how does that depend on n?
How does the step function’s symmetry simplify its Fourier series?
What mathematical objects control the overshoot size in the estimate?
What numerical overshoot fraction results for a unit step jump from 1 to 0?
Review Questions
- For a step function with a jump, what value does the Fourier series converge to exactly at the discontinuity, and why is that consistent with persistent oscillations nearby?
- Why does the maximum Gibbs overshoot occur at x = /(n+1) rather than at x = 0?
- Which special function (SI) is used to estimate the overshoot, and what property of it determines the peak magnitude?
Key Points
- 1
Gibbs phenomenon is a persistent oscillation in Fourier series approximations near jump discontinuities, with overshoot amplitude that does not shrink as more terms are added.
- 2
For a step from 1 to 0, the Fourier series converges at the jump to the midpoint value 1/2, even though nearby partial sums keep ringing.
- 3
Increasing the number of Fourier terms improves pointwise accuracy away from the jump, but the overshoot remains near the discontinuity.
- 4
The strongest deviation occurs at x = /(n+1), so the ringing peak moves toward the jump as n grows.
- 5
Integral estimation of the truncated sine series reduces the overshoot behavior to the sine integral SI, whose maximum at sets the overshoot size.
- 6
For a unit jump, the overshoot magnitude is about 8.9% of the jump height, effectively independent of n.
- 7
The overshoot disappears only in the limit sense because its location collapses onto the discontinuity, not because the oscillation amplitude vanishes for finite n.