Get AI summaries of any video or article — Sign up free
Fourier Transform 20 | Gibbs Phenomenon thumbnail

Fourier Transform 20 | Gibbs Phenomenon

5 min read

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.

TL;DR

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?

At points of discontinuity, the Fourier partial sums do not converge to the function’s left or right limit. Instead, they converge to the midpoint of the jump. For the step function jumping from 1 to 0, that midpoint is 1/2. However, near the jump the partial sums keep oscillating; increasing n improves accuracy away from the discontinuity but does not eliminate the oscillation amplitude near it.

Where does the maximum overshoot occur relative to the jump, and how does that depend on n?

The strongest deviation happens at a scaled distance from the jump: x = /(n+1). As n increases, this location moves toward the discontinuity, so the ringing pattern concentrates closer and closer to the jump. The overshoot magnitude stays roughly constant even though the position shifts.

How does the step function’s symmetry simplify its Fourier series?

The step function is essentially an odd function up to a vertical shift. That structure means the Fourier expansion uses only sine terms, and only odd harmonics appear. With an odd truncation n, the partial sum can be written as a finite series over odd k of the form sin(kx)/k (up to the constant shift). This reduction makes the later estimation tractable.

What mathematical objects control the overshoot size in the estimate?

After converting the oscillatory sum into an integral and using Euler’s formula, the analysis reduces the behavior to the sinc function and then to the sine integral SI. The sine integral has a key maximum at , and that maximum determines the largest value of the estimated sum. That is why the overshoot peaks at x = /(n+1).

What numerical overshoot fraction results for a unit step jump from 1 to 0?

Evaluating the estimate at the peak location yields a deficit from the midpoint value of about 0.089. Interpreted relative to the jump height (which is 1), the Fourier partial sums exhibit an overshoot/undershoot of about 8.9%. The key point is that this percentage persists for arbitrarily large n; only the peak’s location moves toward the jump.

Review Questions

  1. 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?
  2. Why does the maximum Gibbs overshoot occur at x = /(n+1) rather than at x = 0?
  3. Which special function (SI) is used to estimate the overshoot, and what property of it determines the peak magnitude?

Key Points

  1. 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. 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. 3

    Increasing the number of Fourier terms improves pointwise accuracy away from the jump, but the overshoot remains near the discontinuity.

  4. 4

    The strongest deviation occurs at x = /(n+1), so the ringing peak moves toward the jump as n grows.

  5. 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. 6

    For a unit jump, the overshoot magnitude is about 8.9% of the jump height, effectively independent of n.

  7. 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.

Highlights

The overshoot near a jump discontinuity stays at about 8.9% of the jump height even as the Fourier series uses more terms.
The Gibbs peak occurs at x = /(n+1), meaning the ringing shifts toward the discontinuity as n increases.
Pointwise convergence still holds: the Fourier series approaches the midpoint at the jump while oscillations persist only in a shrinking neighborhood around it.

Topics

  • Gibbs Phenomenon
  • Fourier Series
  • Jump Discontinuities
  • Sine Integral
  • Sinc Function