Fenomeno de Gibbs

La serie de Fourier en [1/2, 1/2] de P

la funcion signo f (x) = sgn(x) converge
a f pero no uniformemente. Si SN (x) = |n | an e(nx), con an sus coeficientes
de Fourier, se tiene N

lm SN (x) = f (x) pero > 0, l sup SN (x) f (x) = 00 089 . . .

m
N N |x|<

Por simetra, el supremos de f (x) SN (x) tendra tambien el mismo valor.

En
general, uno puede representar un salto de tamano 2 en una funcion
buena
como g(x) + f (x) con g regular, y este resultado implica que por muchos
terminos que tomemos en la serie de Fourier no podremos evitar un error por
arriba y por abajo como 00 089, aproximadamente el 9 % de . A esto se le
llama fenomeno de Gibbs.
Para probar el resultado anterior se escribe
X sen((2N + 1)t)
SN (x) = (D f )(x) con D(t) = e(nt) = .
sen(t)
|n|N
R
Usando la definicion (D f )(x) = D(y)f (x y) dy,
Z x+1/2 Z x
SN (x) = sen((2N + 1)t)
dt +
sen((2N + 1)t)
dt.
x sen(t) x1/2 sen(t)

Cambiando t por t en la primera integral

Z x Z x Z x Z x1/2
SN (x) = + = + .
x1/2 x1/2 x x1/2

Cuando x es pequena, la ultima integral tambien lo es. De hecho

integrando por partes es posible probar que tiende a cero cuando N . Por
otra parte sen(t) t para |t| pequeno. Como esto se puede probar que
Z x
sen((2N + 1)t)
lm sup SN (x) f (x) = l sup dt f (x) .
m
N |x|< N |x|< x t

Dibujando la funcion h(t) = t1 sen((2N + 1)t) es facil ver su integral entre

algo y algo ser maxima cuando algo = 1/(2N + 1), el primer punto donde
deja de ser positiva. Entonces el supremo es
Z 1/(2N +1) Z 1
sen((2N + 1)t) sen(u) du 1 = 00 08949 . . .
dt 1 =
1/(2N +1) t 1 u

donde se ha empleado el cambio u = (2N + 1)t, y se ha aproximado la integral

con metodos numericos.