Gibbs phenomenon

From Example Problems
Jump to navigation Jump to search
File:Gibbs phenomenon 10.png
Approximation of square wave in 5 steps
File:Gibbs phenomenon 50.jpg
Approximation of square wave in 25 steps
File:Gibbs phenomenon 250.png
Approximation of square wave in 125 steps

In mathematics, the Gibbs phenomenon, named after the American physicist J. Willard Gibbs, (also known as ringing artifacts) is the peculiar manner in which the Fourier series of a piecewise continuously differentiable periodic function f behaves at a jump discontinuity: the nth partial sum of the Fourier series has large oscillations near the jump, which might increase the maximum of the partial sum above that of the function itself. The overshoot does not die out as the frequency increases, but approaches a finite limit.

The three pictures on the right demonstrate this for a square wave whose Fourier expansion is

More precisely, this is the function f which equals between and and between and for every integer n; thus this square wave has a jump discontinuity of height at every integer multiple of .

As can be seen, as the number of terms rises, the error of the approximation is reduced in width and energy, but converges to a fixed height. A calculation for the square wave (see Zygmund, chap. 8.5., or the computations at the end of this article) gives an explicit formula for the limit of the height of the error. It turns out that the Fourier series exceeds the height of the square wave by

More generally, at any jump point of a piecewise continuously differentiable function with a jump of a, the nth partial Fourier series will (for n very large) overshoot this jump by approximately at one end and undershoot it by the same amount at the other end; thus the "jump" in the partial Fourier series will be about 18% larger than the jump in the original function. At the location of the discontinuity itself, the partial Fourier series will converge to the midpoint of the jump (regardless of what the actual value of the original function is at this point). The quantity

is sometimes known as the Wilbraham-Gibbs constant.

The Gibbs phenomenon was first observed by Albert Michelson via a mechanical graphing machine. Michelson developed a device in 1898 that could compute and re-synthesize the Fourier series. When a square wave was input into the machine, the graph would move to and from around the discontinuities. This would occur, and continue to occur, as the number of Fourier coefficients approached infinity.

The phenomenon was first explained mathematically by J. Willard Gibbs in 1899. Informally, it reflects the difficulty inherent in approximating a discontinuous function by a series of continuous sine and cosine waves. This phenomenon is also closely related to the principle that the decay of the Fourier coefficients of a function at infinity is controlled by the smoothness of that function; very smooth functions will have very rapidly decaying Fourier coefficients (and thus very rapidly convergent Fourier series), whereas discontinuous functions will have very slowly decaying Fourier coefficients (and thus very badly convergent Fourier series). Note for instance that the Fourier coefficients of the discontinuous square wave described above decay only as fast as the harmonic series, which is not absolutely convergent; indeed, the above Fourier series turns out to be only conditionally convergent for almost every value of x. This provides a partial explanation of the Gibbs phenomenon, since Fourier series with absolutely convergent Fourier coefficients would be uniformly convergent by the Weierstrass M-test and would thus be unable to exhibit the above oscillatory behavior. By the same token, it is impossible for a discontinuous function to have absolutely convergent Fourier coefficients, since the function would thus be the uniform limit of continuous functions and therefore be continuous, a contradiction. See more about absolute convergence of Fourier series.

In practice, the difficulties associated with the Gibbs phenomenon can be ameliorated by using a smoother method of Fourier series summation, such as Fejér summation or Riesz summation, or by using sigma-approximation. If one uses a wavelet transform instead of the Fourier transform then the Gibbs phenomenon no longer occurs.

Formal mathematical description of the phenomenon

Let be a piecewise continuously differentiable function which is periodic with some period . Suppose that at some point , the left limit and right limit of the function differ by a non-zero gap :

For each positive integer , let be the th partial Fourier series

where the Fourier coefficients are given by the usual formulae

Then we have

and

but

More generally, if is any sequence of real numbers which converges to as , and if the gap a is positive then

and

If instead the gap a is negative, one needs to interchange limit superior with limit inferior, and also interchange the ≤ and ≥ signs, in the above two inequalities.

The square wave example

We now illustrate the above Gibbs phenomenon in the case of the square wave described earlier. In this case the period L is , the discontinuity is at zero, and the jump a is equal to . For simplicity let us just deal with the case when N is even (the case of odd N is very similar). Then we have

Substituting , we obtain

as claimed above. Next, we compute

If we introduce the sinc function , we can rewrite this as

But the expression in square brackets is a numerical integration approximation to the integral (more precisely, it is a midpoint rule approximation with spacing ). Since the sinc function is continuous, this approximation converges to the actual integral as . Thus we have

which was what was claimed in the previous section. A similar computation shows

See also

Publications

  • Gibbs, J. W., "Fourier Series". Nature 59, 200 and 606, 1899.
  • Antoni Zygmund, Trigonometrical series, Dover publications, 1955.
  • Wilbraham, H. On a certain periodic function, Cambridge and Dublin Math. J., 3 (1848), pp. 198-201.

External links and references

de:Gibbssches Phänomen