Las series de Fourier son la representación de las señales periódicas continuas en el tiempo dado en términos de exponenciales complejos. Las condiciones de Dirichlet sugieren que las señales discontinuas pueden tener representación de serie de fourier siempre y cuando tengan un número finito de discontinuidades. Esto parece decir lo contrario de lo que hemos explicado, ya que los exponenciales complejos son funciones continuas. No parece que sea posible el poder reconstruir exactamente una función discontinua de un conjunto de funciones continuas. De hecho, no se puede. Sin embargo, podemos relajar la condición de ‘exactamente’ y remplazarla con la idea de “casi en todos lados”. Esto es para decir que la reconstrucción es exactamente la misma de la señal origina excepto en un numero de puntos finitas. Estos puntos ocurren en las discontinuidades.
En los 1800s, muchas maquinas fueron construidas para calcular los coeficientes de Fourier y re-sintetizar:
f
N
′t=∑n=-NN
c
n
ⅇⅈ
ω
0
nt
f
N
t
n
N
N
c
n
ω
0
n
t
(1)
Albert Michelson (un físico experimental extraordinario) construyo una maquina en 1898 que podía calcular
c
n
c
n
hasta
n=±79
n
±
79
, y re-sintetizo
f
79
′t=∑n=-7979
c
n
ⅇⅈ
ω
0
nt
f
79
t
n
79
-79
c
n
ω
0
n
t
(2)
La maquina funciono muy bien en todos los exámenes excepto en esos que tenían
funciones descontinúas. Cuando una función cuadrada como la mostrada en
figura 1,fue dada a la maquina aparecieron “garabatos” alrededor de las discontinuidades, aunque el numero de los coeficientes de fourier llegaron a ser casi infinitos, los garabatos nunca desaparecieron- esto se puede observar en las
figura 1. J. Willard Gibbs fue el primero en explicar este fenómeno en 1899, por eso estos puntos son conocidos como el
Fenómeno de Gibbs.
Empezaremos esta discusión tomando una señal con un número finito de discontinuidades (como el pulso cuadrado) y encontrando su representación de series de fourier. Entonces trataremos de reconstruir esta señal usando sus coeficientes de fourier. Vemos que entre mas coeficientes usemos, la señal reconstruida se parece más y más a la señal original. Sin embargo, alrededor de las discontinuidades, observamos ondulaciones que no desaparecen. Al considerar el uso de más coeficientes, las ondulaciones se vuelven estrechas, pero no desaparecen. Cuando llegamos a un número casi infinito de coeficientes, estas ondulaciones continúan ahí. Esto es cuando aplicamos la idea de casi en todos lados. Mientras estas ondulaciones siguen presentes (estando siempre arriba del 9% de la altura del pulso), el área dentro de ellas tiende a ser cero, lo que significa que la energía de las ondulaciones llega a ser cero. Lo que demuestra que su anchura tiende a ser cero y podemos saber que la reconstrucción de la señal es exactamente igual ala señal original excepto en las discontinuidades. Ya que las condiciones de Dirichlet dicen que pueden haber un numero finito de discontinuidades, podemos concluir que el principio de casi en todos lados es cumplido. Este fenómeno es un caso específico de una convergencia no-uniforme.
Usaremos una función cuadrada, junto con sus series de Fourier, para ver figures donde se muestra este fenómeno con detalles un poco mas matemáticos.
Las series de Fourier de esta señal nos dicen que sus lados derechos e izquierdos son “iguales”. Para entender el fenómeno de Gibbs, necesitaremos redefinir la manera en la que vemos la igualdad.
st=
a
0
+∑k=1∞
a
k
cos2πktT+∑k=1∞
b
k
sin2πktT
s
t
a
0
k
1
a
k
2
k
t
T
k
1
b
k
2
k
t
T
(3)
La siguiente figura 1 nos muestra varias aproximaciones para las series de fourier de la función cuadrada, usando un número variado de términos escrito por
KK:
Cuando comparamos la función cuadrada con su representación de la series de Fourier figura 1, no se puede ver claramente que las dos son iguales. El hecho de que las series de fourier requieren más términos para una representación más exacta no es importante. Sin embargo, una inspección mas detallada figura 1 revela un posible problema: ¿la series de Fourier pueden igualar la función cuadrada en todos los valores de tt? ? En particular, en cualquier cambio de paso en la función, las series de fourier muestran un pico seguido por oscilaciones rápidas. Cuando se adhieren más términos a las series, las oscilaciones se vuelven más rápidas y más pequeñas, pero los picos no disminuyen. Consideremos intuitivamente esta pregunta matemática: ¿puede una función discontinua, como la función cuadrada, ser expresada como una suma, aun si es infinita, de funciones continuas? Uno tiene que sospechar que de hecho no se puede expresar. Esta pregunta le produjo a Fourier criticas de la academia de ciencia Francesa (Lapace, Legendre, y Lagrande formaban parte del comité de revisión) por muchos anos de su presentación en 1907. Esto no fue resuelto por mas se cien anos, y la solución es algo importante e interesante de entender para un punto de vista practico.
Estos picos en la series de fourier de la función cuadrada nunca desaparecen; son llamados el fenómeno de Gibb nombrado por el físico Americano Josiah Willard Gibb. Ocurran cada vez que las señales discontinuas, y siempre estarán presentes cuando la señal tiene brincos.
Regresemos a la pregunta de igualdad; como se puede justificar la señal de igualdad en la definición de la series de Fourier? La respuesta parcial es que cada punto –todos los valores de
t
t--la igualdad no es garantizada. Lo que los matemáticos del siglo 19 fue que el error RMS de las series de Fourier eran cero.
limK→∞rms
ε
K
=0
K
rms
ε
K
0
(4)
Lo que significa es que la diferencia entre la señal actual y su representación en fourier puede no ser cero, pero el cuadrado de esta cantidad tiene una integral igual a ¡
cero! Es a través del valor de RMS que definimos igualdad: dos señales
s
1
t
s
1
t
,
s
2
t
s
2
t
se dicen ser iguales en el
promedio cuadrado si
rms
s
1
-
s
2
=0
rms
s
1
s
2
0
. Estas señales se dicen ser iguales
punto a punto si
s
1
t=
s
2
t
s
1
t
s
2
t
para todos los valores de
t
t.
Para las series de fourier, los picos del fenómeno de Gibbs tienen altura finita y anchura de cero: el error difiere de cero solo en punto aislado- cuando la señal periódica contiene discontinuidades- igual a 9% del tamaño de la discontinuidad. El valor de la función en conjunto de puntos finitos afecta el integral. Este efecto no explica la razón del porque definimos el valor de una función descontinúa en su discontinuidad. El valor que se escoja para esta discontinuidad no tiene una relevancia práctica para el espectro de la señal o el como el sistema responde a esta señal. Las series de fourier valoradas en “ en” la discontinuidad es el promedio de los valores en cualquier lado del salto.
