2

Anlisis de Fourier

The material essential for a students mathematical laboratory is very simple. Each student should have a
copy of Barlows tables of squares, etc., a copy of Crelles Calculation Tables, and a seven-place table of
logarithms. Further it is necessary to provide a stock of computing paper, ...and lastly, a stock of
computing forms for practical Fourier analysis. With this modest apparatus nearly all the computation
hereafter described may be performed, although time and labor may often be saved by the use of
multiplying and adding machines, when these are available.
E.T. Whitakker and G. Robinson, The calculus of observations, 19241 .

En este captulo se revisan algunos conceptos del anlisis de Fourier. Despus de una
breve resea histrica, se recuerdan algunas nociones elementales de la serie de Fourier,
que permite representar una seal peridica como una suma infinita de componentes
sinusoidales. Se estudia luego la transformada de Fourier, que juega un papel similar en
el anlisis de las seales no peridicas, y es de aplicacin ms general que la serie. La
motivacin principal de la aplicacin de la serie o la transformada es obtener el espectro
de una seal dada, que revela el contenido frecuencial de la misma. La descripcin de la
seal en el dominio frecuencial (o transformado) frecuentemente es ms revelador que la
representacin original en funcin del tiempo.

2.1. Resea histrica

La historia2 del anlisis de Fourier tiene ms de 200 aos. Sus orgenes principian unos 60
aos antes del momento en que Jean Baptiste Joseph Fourier present la primera versin
de su trabajo sobre la teora de la conduccin del calor a la Academia de Pars (1807).
El ao 1750 es un buen punto de partida: Fernando VI era rey de Espaa, y Jorge II de
1 El material indispensable para el laboratorio matemtico de un alumno es muy simple. Cada estudiante

deber tener una copia de la tabla de cuadrados de Barlow, una copia de las Tablas de Clculos de Crelle, y
una tabla de logaritmos a siete decimales. Adems, es necesario que cuente con papel borrador, y finalmente,
un cuaderno para hacer anlisis prctico de Fourier. Con este modesto equipamiento podr realizar casi
todos los clculos descriptos aqu, aunque podr ahorrar tiempo y esfuerzo utilizando mquinas de sumar
y multiplicar, si estn disponibles.
2 Parte de esta resea est extractada de Briggs y Henson, 1995. En el Apndice E se resumen las biografas

de las principales personalidades que participaron en el desarrollo del anlisis de Fourier y del procesamien-
to de seales en general.

61
62 2. Anlisis de Fourier

Inglaterra; las colonias de Amrica del norte estaban en medio de las guerras con los na-
tivos y los franceses; unos aos despus Carlos III creaba el virreynato del Ro de la Plata
(1776). Voltaire, Rousseau y Kant estaban escribiendo sus libros en Europa; Bach acababa
de morir, y Mozart estaba pronto a nacer; y el clculo de Leibnitz y Newton, publicado 75
aos antes, estaba permitiendo la creacin de poderosas nuevas teoras sobre la mecnica
celeste y la mecnica del continuo.
En ese momento los esfuerzos de los fsicos y matemticos se concentraban en dos prob-
lemas principales, que sentaran las bases de lo que posteriormente se conocera como
anlisis de Fourier:

El problema de la cuerda vibrante o la propagacin del sonido en un medio elstico;

La determinacin de las rbitas de los planetas a partir de mediciones.

2.1.1. El problema de la cuerda vibrante

Una cuerda elstica (un alambre metlico) sujeta en ambos extremos, vibra al ser gol-
peada o punteada. Para simplificar el modelo se supondr que la cuerda es un objeto
unidimensional, ocupando el intervalo 0 x 1 en el plano x-y cuando est en reposo.
En el tiempo t = 0 se desplaza de su posicin inicial, manteniendo sus extremos fijos. La
forma de la cuerda se puede expresar como el grafo de una funcin

y = f ( x ), 0 x 1, con f (0) = f (1) = 0.

Apenas la cuerda se libera comienza a vibrar: ste es el modelo de una cuerda punteada.
El modelo de la cuerda golpeada tiene en cuenta adems que en t = 0 a cada punto x
de la cuerda se le imparte una velocidad g( x ) (la velocidad inicial) en la direccin y. La
expresin y(t, x ) describe el grfico del desplazamiento del punto x de la cuerda en el
tiempo t.
El movimiento queda gobernado por las ecuaciones:

2 y(t, x ) 2 y(t, x )
(i) 2
=a (ecuacin de onda)
t x2
(ii) y(t, 0) = y(t, 1) = 0 para todo t (condiciones de borde)
y(t, x )
(iii) y(0, x ) = f ( x ), = g( x ) (condiciones iniciales)
t
La solucin de este problema atrajo la atencin de muchas generaciones de matemticos.
Un hecho evidente es que para cada entero k, tanto

y(t, x ) = sen kx sen akt (2.1)

como
y(t, x ) = sen kx cos akt (2.2)
satisfacen (i) y (ii). La primera verifica (iii) si f ( x ) = 0 y g( x ) = ak sen kx, y la segunda
cumple con (iii) si f ( x ) = sen kx y g( x ) = 0.

Procesamiento Digital de Seales U.N.S. 2011

2.1. Resea histrica 63

Cualquier combinacin lineal finita de funciones como (2.1) y (2.2), esto es, una funcin
de la forma
y(t, x ) = (k cos akt + k sen akt) sen kx (2.3)
k

tambin satisface (i) y (ii), y verifica (iii) para cierta eleccin de f ( ) y g( ). Pero si f ( )
y g( ) son funciones arbitrarias es muy probable que la suma finita de (2.3) no satisfaga
(iii). Por otra parte, una suma infinita de la forma (2.3) tambin verifica (i) y (ii) siempre
que sea posible derivar la serie trmino a trmino.
Es natural preguntarse: cundo es posible tal diferenciacin? Si la solucin expresada en
forma de serie converge, y puede diferenciarse, se puede hacer que cumpla con la condi-
cin (iii) para cualquier eleccin de f ( ) y g( )? Existen otras soluciones al problema?
Las series de Fourier se idearon para intentar solucionar estas preguntas, y en el curso de
su desarrollo se precisaron conceptos tales como conjunto y funcin.
Una de las primeras soluciones al problema de la cuerda vibrante fue propuesto por J.
DAlembert en 1747, quien deriv una solucin simple y elegante de la forma

y(t, x ) = v( at + x ) v( at x ),

que puede interpretarse como la suma de dos ondas viajeras, una desplazndose hacia
la izquierda y otra hacia la derecha. Para el caso de la cuerda punteada, hay una nica
f ( ) y la solucin involucra la funcin v( ) que puede calcularse a partir de f ( ). Por lo
tanto, DAlembert crey que haba resuelto el problema completamente.
En esta poca la palabra funcin tena un significado muy restringido: significaba frmula,
y representaba objetos tales como f ( x ) = x2 , o f ( x ) = x tan x2 + 10e x . Poda ser tan
complicada como se quisiese, pero tena que ser una nica expresin analtica. Algo como
(
3x2 , si 0 x 1/2,
f (x) = 2
(1 x ), si 1/2 x 1,

no calificaba como funcin en el intervalo [0, 1]. En otra palabras, funcin y grfico sig-
nificaban objetos diferentes. Cada funcin puede ser representada por su grafo, pero no
todo grafo puede dibujarse como el grfico de una funcin.
Euler pens que no era necesario que la posicin inicial de la cuerda fuese una funcin,
pero s un grfico, y que la solucin de la onda viajera deba ser vlida, interpretando las
dos ondas como grficos. Este razonamiento fsico fue rechazado por DAlembert; su
razonamiento analtico slo funcionaba para funciones.
Tanto Euler como Lagrange resolvieron el problema discretizando la cuerda vibrante:
la supusieron formada por un nmero finito de pequeas partculas conectadas. La solu-
cin requera encontrar los valores que toma la funcin que describe el desplazamiento
de la cuerda sobre un conjunto de puntos.
En 1755 Daniel Bernoulli propuso otra solucin en funcin de ondas estacionarias. Su ar-
gumento se comprende mejor al considerar la solucin

y(t, x ) = sen kx cos akt.

Cuando k = 1, los puntos x = 0 y x = 1 (los extremos de la cuerda) permanecen fijos para

todo t, y los otros puntos se mueven segn una ley que depende del coseno del tiempo.

Procesamiento Digital de Seales U.N.S. 2011

64 2. Anlisis de Fourier

Cuando k = 2, los puntos x = 0, x = 1 y tambin el punto x = 1/2 quedan fijos; el resto

de los puntos se mueve. En cualquier instante de tiempo t dado, la forma de la cuerda es
la de una sinusoide, y el movimiento de un punto arbitrario es una funcin cosenoidal del
tiempo. El punto x = 1/2 se denomina nodo. Para cualquier k > 1 arbitrario, los puntos
1/k, 2/k, ..., (k 1)/k de la cuerda quedan fijos, mientras que el resto de los puntos se
desplazan como se describi ms arriba. Estas son las llamadas ondas estacionarias; los
puntos fijos interiores se denominan nodos y el movimiento para k = 1, 2, ... se denomina
primer armnico, segundo armnico, etc. Bernoulli afirm que cada solucin de la cuerda
pulsada con condiciones iniciales y(0, x ) = f ( x ), y(0, x )/t = 0 es una suma de estas
armnicas, y que esta suma poda ser infinita.
Euler no estaba de acuerdo con este planteo y sus principales objeciones fueron dos. En
primer lugar, las hiptesis de Bernoulli implicaran que cualquier funcin f ( x ) podra
representarse como
f ( x ) = k sen kx, (2.4)
k

porque en t = 0 la condicin inicial puede ser cualquier f ( x ). Sin embargo, el miem-

bro derecho de (2.4) es una funcin peridica (e impar), mientras que el miembro de la
izquierda es completamente arbitrario. La segunda objecin es que (2.4) no puede ser una
solucin general del problema, ya que el miembro de la derecha (aunque sea una serie in-
finita) es una funcin analtica y por lo tanto una funcin (en el sentido que se entenda
entonces). Sin embargo, como el mismo Euler haba observado anteriormente en conex-
in con la solucin propuesta por DAlembert, la posicin inicial de la cuerda poda ser
cualquier grfico, y no necesariamente una funcin. En sntesis, la solucin propuesta por
Bernoulli sera aplicable slo a una clase muy restringida de funciones.
Bernoulli insisti en que su solucin era vlida para todas las funciones. Su respuesta a
la primera objecin de Euler fue que la serie (2.4) inclua una sucesin infinita de coefi-
cientes k , y que eligindolos de manera apropiada se poda hacer que la serie tomara el
valor f ( x ) para infinitamente muchos x. Hoy se sabe que si dos funciones f ( ) y g( )
son iguales en infinitamente muchos puntos, no necesariamente son iguales en todos los
puntos; sin embargo, en aquella poca la naturaleza del infinito y de una funcin no esta-
ba completamente comprendida, y este argumento pareca plausible. Euler no lo acept,
pero por otros motivos.
En 1804 Joseph Fourier comenz sus estudios sobre la conduccin del calor en slidos,
y en slo tres aos descubri las ecuaciones bsicas de conduccin de calor, desarroll
nuevos mtodos para resolverlas, utiliz sus mtodos para solucionar muchos problemas
prcticos, y aport evidencia experimental para soportar su teora.
Una de las situaciones ms simples en las que se puede aplicar la tcnica de anlisis
ideada por Fourier es considerar un disco bidimensional para el cual la temperatura so-
bre el borde es conocida. A partir de estos datos, se desea determinar la temperatura en
cualquier punto interior del disco
En estado estacionario, la temperatura u(r, ) de un punto (r, ) obedece a la ecuacin de
Laplace (en coordenadas polares)

u(r, ) 1 2 u(r, )
r + = 0. (2.5)
r r r 2

Procesamiento Digital de Seales U.N.S. 2011

2.1. Resea histrica 65

Las temperaturas en el borde del disco estn dadas por

u(1, ) = f ( ), (2.6)

donde f ( ) es una funcin continua dada. El problema de encontrar u(r, ) para todo r y
es anlogo al de la cuerda vibrante. Empleando un anlisis muy similar al de Bernoulli,
Fourier observ que la suma finita
N
u(r, ) = An r jnj e jn
n= N

tambin es una solucin de (2.5), y que eligiendo adecuadamente los coeficientes An se

poda hacer que satisficiera la condicin de borde (2.6). En otras palabras, se puede es-
cribir

f ( ) = An e jn (2.7)
n=

cuando f ( ) es una funcin continua.

Fourier avanz un paso ms y asegur que su mtodo serva no slo cuando f ( ) fuese
una funcin sino tambin cuando f ( ) estuviese dada por un grafo arbitrario, elim-
inando las distinciones entre un grfico y una funcin. De hecho, si la afirmacin de
Fourier fuese correcta, cualquier grafo tendra una frmula, dada por la serie asociada
con l.
Fourier, como Euler, calcul la expresin de los coeficientes Ak de una forma muy labo-
riosa (y errnea). La versin corregida es
Z
1 jn
An = f ( )e d. (2.8)
2

La serie (2.7) se conoce como serie de Fourier, y los coeficientes (2.8) como coeficientes de
Fourier de f ( ). Fourier observ que los coeficientes An tienen sentido siempre que f ( )
sea un grfico limitando un rea definida (integrable en la terminologa actual), y por
lo tanto declar que sus resultados eran vlidos para cualquier f ( ) que tuviese esa
propiedad.
En 1807 Fourier present su trabajo Mmoire sur la propagation de la chaleur al Instituto de
Pars. El trabajo recibi apenas una tenue acogida, y los jueces recomendaron a Fourier
que puliera su trabajo, y lo presentara para el gran premio de 1812. El panel de jueces de
la Academia para este concurso inclua a Lagrange, Laplace, y Legendre, y acordaron a
Fourier el gran premio, pero no sin reservas: incomodaba el comentario de Fourier acerca
de que cualquier funcin peridica arbitraria poda ser representada con la ecuacin (2.7).
El gran premio contena el siguiente comentario:
La forma en la que el autor arriba a sus ecuaciones no est exenta de dificultades, y su
anlisis deja algo que desear, sea en generalidad o an en rigurosidad.
En definitiva, el artculo nunca fue publicado, y el trabajo de Fourier sobre la conduccin
del calor, y la teora de las series trigonomtricas que lo soportaba, recin vio la luz con la
publicacin en 1822 de Thorie analytique de la chaleur. Desde ese ao, el trabajo de Fourier
recibi comentarios muchos ms entusiastas que los de la Academia de Pars. James Clerk
Maxwell lo llam un gran poema matemtico. La carrera entera de William Thompson
(Lord Kelvin) estuvo marcada por la teora del calor de Fourier:

Procesamiento Digital de Seales U.N.S. 2011

66 2. Anlisis de Fourier

El teorema de Fourier no es slo uno de los ms bellos resultados del anlisis moderno,
sino que se ha vuelto un instrumento indispensable en el tratamiento de casi cualquier
recndito problema de la fsica moderna.

Euler falleci en 1783, y no tuvo oportunidad de conocer el trabajo de Fourier. Sin embar-
go quedaban pendientes sus objeciones al trabajo de Bernoulli: cmo poda una funcin
arbitraria ser la suma de funciones peridicas? La solucin propuesta por Fourier es ex-
tremadamente simple: la funcin dada se define sobre un intervalo cerrado (por ejemplo,
[0, 1] o [0, ], etc.), donde representa una cantidad fsica de inters (el desplazamiento de
la cuerda, la distribucin de calor en la periferia del disco, etc.) La clave est en extender
la funcin fuera de ese intervalo, y hacer que esa extensin sea peridica. Por supuesto, si
una funcin se piensa como una frmula, estas extensiones no son funciones. La idea
de Fourier de admitir funciones que son idnticas en un intervalo y diferentes fuera de l
hizo posible aplicar su teora a una gran variedad de problemas, y condujo a un examen
crtico de la nocin de funcin.
Como observ Fourier, los coeficientes An de (2.126) tienen sentido para todas las fun-
ciones para las cuales la integral es finita, y crea que la serie (2.7) era exactamente igual a
f ( ) para todas las f ( ) posibles y para todo . Esto es cierto todas las funciones bue-
nas (suaves a tramos), aunque no es cierto (de manera no trivial) para cualquier f ( ).
Ninguna de las afirmaciones de Fourier acerca de las series sera considerada correcta
bajo los parmetros matemticos de hoy en da. Dirichlet tom el trabajo de Fourier y
lo fundament de manera rigurosa, sentando bases firmes para el anlisis moderno. En
primer lugar era necesario precisar el concepto de funcin, y la definicin de Dirichlet es
la que se estudia en los cursos de anlisis actuales: una funcin es una regla que asigna
un valor definido f ( x ) a cualquier x en un conjunto de puntos. Bajo esta definicin una
funcin ya no tiene que ser una frmula o un grfico, y en 1828 Dirichlet dio un ejem-
plo que Fourier ni siquiera habra imaginado: la funcin caracterstica del conjunto de
nmeros racionales, definida como
(
1, si x es racional,
f (x) =
0, si x es irracional.

Esta funcin no puede representarse con ningn grfico; tampoco encierra ningn rea,
de modo que sus coeficientes de Fourier no pueden ser calculados con (2.8).
Sin embargo, para todas las funciones que pueden dibujarse, Dirichlet prob que la
serie de Fourier converge a f ( x ) en cualquier punto x donde f ( ) sea continua, y al valor
medio [ f ( x+ ) + f ( x )]/2 si f ( ) tiene una discontinuidad en x. Adems demostr que si
f ( ) es suave en un intervalo [ a, b], entonces la serie de Fourier converge uniformemente
a f ( x ) para todo x 2 [ a, b]. Este fue el primer resultado importante sobre la convergencia
de las series de Fourier. Posteriormente, C. Jordan demostr que las funciones contin-
uas de variacin acotada tienen series de Fourier convergentes. A lo largo de los aos
aparecieron otros muchos teoremas estableciendo condiciones suficientes para que una
funcin tenga una serie de Fourier convergente.
Para trabajar con funciones que no pueden dibujarse es necesario generalizar la idea de la
integral ms all de la idea intuitiva del rea bajo una curva. Slo entonces es posible
calcular los coeficientes de Fourier de una funcin con un nmero infinito de discon-
tinuidades. Riemann desarroll una teora de integracin que soportaba tales funciones,

Procesamiento Digital de Seales U.N.S. 2011

2.1. Resea histrica 67

y dio un ejemplo de una funcin que no satisface las condiciones de Dirichlet pero que
tiene una serie de Fourier que converge punto a punto. Tambin inici el estudio de series
trigonomtricas que no tienen por qu ser series de Fourier de alguna funcin.
Dirichlet crea (y pensaba que iba a poder probar) que la serie de Fourier de toda funcin
continua, y posiblemente de cualquier funcin integrable segn el criterio de Riemann
converge en todo punto. Este punto de vista era compartido por muchos matemticos
prominentes, como Riemann, Weierstrass y Dedekind. Sin embargo, en 1876 Du Bois-
Reymond ide una funcin continua cuya serie de Fourier es divergente en un punto.
Cantor tambin estuvo interesado en el estudio de las series de Fourier. Observ que el
cambio de una funcin f ( ) en unos pocos puntos no vara sus coeficientes de Fourier, y
se pregunt cuntos puntos podan ignorarse, y qu tipos de conjuntos formaban, lo que
lo condujo al estudio de conjuntos infinitos y nmeros cardinales.
En 1904 Fjer prob que la serie de Fourier de una funcin continua es sumable en un
sentido particular (el promedio de las primeras sumas parciales converge), y bajo este
punto de vista converge uniformemente a la funcin. Este teorema es extremadamente
til e impuls el estudio de la sumabilidad de las series.
El hecho notado por Cantor que el cambio de una funcin en unos pocos puntos no
altera los coeficientes de Fourier porque la integral (2.8) no se ve afectada por ellos, llev
a formular de manera diferente la identidad de las funciones con las series: en lugar
de preguntarse cundo la serie de Fourier y la funcin son iguales en todo punto, se
debe examinar cundo las dos son iguales en todo intervalo excepto en aquellos que
son irrelevantes para la integracin. Este problema condujo a una revisin crtica de la
integral de Riemann, y motiv a Lebesgue a definir una nueva integral que fuese ms
flexible. Conceptos tales como conjuntos de medida nula y igualdad de funciones casi en todo
punto cambiaron el significado de funcin todava ms: dos funciones son iguales si
difieren slo sobre un conjunto de medida nula. Por lo tanto, la funcin de Dirichlet (la
funcin caracterstica de los racionales) es igual a 0 casi en todo punto. As, a lo largo de
la historia, el concepto de funcin evolucion desde una frmula, pasando por un grafo,
luego una regla, hasta llegar en la actualidad a convertirse en una clase de equivalencia.
El concepto de integral de Lebesgue se ha vuelto imprescindible en el anlisis moderno.
Antes del ejemplo de 1876 de Du Bois-Reymond los matemticos crean que la serie de
Fourier de una funcin continua converge en todo punto. Como no pudieron probar esta
hiptesis, el ejemplo les hizo pensar que exactamente lo opuesto podra ser cierto: esto
es, que existiese una funcin continua cuya serie de Fourier diverge en todo punto. En
1926 Kolmogorov prob algo menos, pero igualmente sorprendente: existen una funcin
Lebesgue-integrable definida sobre [ , ] (espacio L1 ) cuya serie de Fourier diverge en
todo punto. La funcin ideada por Kolmogorov no es continua, ni Riemann integrable.
Luego de que este ejemplo fuese publicado se esperaba que tarde o temprano alguien
descubriese una funcin continua con una serie de Fourier divergente en casi todo pun-
to. Sin embargo, hubo una nueva sorpresa. En 1966 Carleson prob que si f ( ) es de
cuadrado integrable (espacio L2 ), entonces la serie de Fourier converge a f ( ) en casi
todo punto. En particular, esto es cierto para funciones continuas, de modo que Fourier
casi tena razn! El teorema de Carleson es mucho ms difcil de probar que la may-
ora de los resultados que se han citado. En 1967 R. A. Hunt demostr que la serie de
Rb
Fourier de cualquier funcin definida sobre un intervalo [ a, b] tal que a j f ( x )j p dx < ,
con 1 < p < (espacios L p ) converge en casi todo punto, y en la direccin inversa, Y.

Procesamiento Digital de Seales U.N.S. 2011

68 2. Anlisis de Fourier

Tabla 2.1: Datos de la rbita del asteroide Pallas.

Ascencin
0 30 60 90 120 150 180 210 240 270 300 330
(grados)
Declinacin x
408 89 66 10 338 807 1238 1511 1583 1462 1183 804
(minutos)

Katznelson y J. P. Kahane mostraron en 1966 que dado un conjunto E de medida nula en

[ , ] existe una funcin continua cuya serie de Fourier diverge en E.

2.1.2. La determinacin de las rbitas de los planetas

El segundo problema que anticip las bases del anlisis de Fourier, particularmente en
su forma discreta, fue la determinacin de las rbitas de los cuerpos celestes. Euler, La-
grange y Alexis Claude Clairaut hicieron contribuciones fundamentales al proponer que
los datos obtenidos a partir de las observaciones podan ser aproximados por combina-
ciones lineales de funciones peridicas. El clculo de los coeficientes de esas expansiones
trigonomtricas llev al clculo de lo que hoy llamamos transformada discreta de Fourier.
En realidad, un artculo escrito en 1754 por Clairaut contiene la primera frmula explcita
para el clculo de la transformada discreta de Fourier (TDF).
Clairaut y Lagrange haban estudiado el problema de ajustar datos astronmicos; co-
mo estos datos tienen patrones peridicos, era natural emplear funciones aproximadoras
formadas por una suma ponderada de un nmero finito de funciones seno y coseno. La
solucin del clculo de los pesos de las funciones trigonomtricas condujo a una de las
primeras expresiones de la transformada discreta de Fourier. Una pgina del trabajo de
Lagrange publicado en 1759, que se muestra en la Fig. 2.1, contiene todos los ingredientes
de una serie discreta de Fourier de senos; en la figura, el smbolo representa a .
En junio de 1801 el astrnomo Zach public las posiciones orbitales de Ceres, un nuevo
pequeo planeta que haba sido descubierto por G. Piazzi en enero del mismo ao.
Desafortunadamente Piazzi slo pudo observar 9 grados de la rbita antes que desa-
pareciera detrs del sol. Zach public varias predicciones de su posicin, incluyendo una
calculada por Gauss que difera notoriamente de las dems. Cuando Ceres fue redescu-
bierto por Zach en diciembre de 1801 estaba casi exactamente donde Gauss haba predi-
cho. Casi al mismo tiempo Gauss obtuvo los datos de posicin del asteroide Pallas, que
se muestran en la Tabla 2.1. La variable representa la ascensin en grados, y la vari-
able x la declinacin en minutos. La dupla ( n , xn ) representa un par de datos, donde
n = 0, . . . , 11. Para determinar la rbita es necesario encontrar una funcin continua de
que pase por cada uno de los 12 pares de puntos con el menor error posible. Como los
valores de x parecen tener una distribucin peridica en funcin de , Gauss propuso
una funcin de la forma
5
2k 2k 26
x = f ( ) = a0 + ak cos
360
+ bk sen
360
+ a6 cos
360
. (2.9)
k =1

Esta ecuacin tiene doce coeficientes desconocidos (los ak y los bk ) cada uno de los cuales
multiplica a una funcin coseno o seno de un cierto perodo o frecuencia, denominados

Procesamiento Digital de Seales U.N.S. 2011

2.1. Resea histrica 69

Fig. 2.1. Pgina de La Naturaleza y Propagacin del Sonido, escrito por Lagrange en 1759,
donde trata la solucin del problema de la cuerda vibrante, supuesta formada por m 1
partculas cuyos desplazamientos yn son sumas de funciones senoidales de distinta
frecuencia. Esta representacin es escencialmente una transformada discreta de Fourier
de senos.

modos. El perodo fundamental, representado por los trminos con coeficientes a1 y b1 ,

es de 360 grados; los modos con k > 1 poseen perodos menores, de 360/k grados. El
coeficiente a0 representa el valor medio de la funcin.
Para determinar los 12 coeficientes son necesarias 12 condiciones, que resultan de exigir
que la funcin f ( ) pase por los datos X, es decir

xn = f ( n )

Procesamiento Digital de Seales U.N.S. 2011

70 2. Anlisis de Fourier

para n = 1, . . . , 12. Esto conduce a un sistema de 12 ecuaciones con 12 incgnitas

5 h i
x1 = a0 + ak cos 2k
360 1 + bk sen 2k
360 1 + a6 cos 26
360 1
k =1
..
.
5 h i
x12 = a0 + ak cos 2k
360 12 + bk sen 2k
360 12 + a6 cos 26
360 12
k =1

que puede escribirse como

x = Mc,
donde 0
0
x = ( x1 , . . . , x12 ) , c = ( a0 , a1 , b1 , . . . , a5 , b5 , a6 ) ,
y
0 20 20 25 25 26 1
1 cos 360 1 sen 360 1 cos 360 1 sen 360 1 cos 360 1
B C
B 20 20 25 25 26 C
B 1 cos 360 2 sen 360 2 cos 360 2 sen 360 2 cos 360 2
C
B C
M=B
B
C.
C
B .. .. .. .. .. .. .. C
B . . . . . . . C
@ A
20 20 25 25 26
1 cos 360 12 sen 360 12 cos 360 12 sen 360 12 cos 360 12

1
El vector de coeficientes c se puede calcular como c = M x, y sus valores son

a0 = 780,6,
a1 = 411,0, b1 = 720,2,
a2 = 43,4, b2 = 2,2,
a3 = 4,3, b3 = 5,5,
a4 = 1,1, b4 = 1,0,
a5 = 0,3, b5 = 0,3.
a6 = 0,1,

En la Fig. 2.2 se comparan los datos, marcados , y la funcin f ( ) graficada como

una curva suave. Ms all de que la funcin pasa exactamente por los puntos que rep-
resentan los datos medidos, lo importante es que los coeficientes ak y bk permiten otra
interpretacin: representan la estructura o comportamiento frecuencial de los datos.
Los coeficientes de mayor valor corresponden al modo constante a0 y al modo funda-
mental (a1 y b1 ). Los coeficientes de los modos de frecuencia mayor tienen magnitudes
que apenas alcanzan el 10 % de la magnitud de los primeros, pero igual son necesarios
para aproximar los datos con exactitud.
El sistema de 12 ecuaciones con 12 incgnitas poda resolverse sin mayor esfuerzo an en
pocas de Gauss. Sin embargo, ya sea por buscar un atajo o sorprendido por las simetras
de las funciones seno y coseno, Gauss descubri una forma de reordenar los coeficientes
y las ecuaciones en tres subproblemas que se resolvan de manera ms sencilla. Un pe-
queo clculo contenido en su tratado sobre interpolacin Theoria Interpolationes Methodo
Nova Tractata, datado en 1805 pero publicado pstumamente en 1866, contiene la primera

Procesamiento Digital de Seales U.N.S. 2011

2.1. Resea histrica 71

Fig. 2.2. Los doce puntos marcados describen la posicin del asteroide Pallas. La decli-
nacin x en minutos se graca en funcin de la ascencin en grados. Para aproximar
los datos se utiliza una suma ponderada de doce funciones seno y coseno con diferentes
perodos (curva continua). Los coecientes de la suma ponderada se calculan con una
transformada discreta de Fourier.

prueba clara e indudable del empleo de la transformada rpida de Fourier (ms cono-
cida por sus siglas en ingls FFT), cuya autora se atribuye generalmente a Cooley y
Tukey por su trabajo publicado en 1965. Es una irona del destino que el trabajo de Gauss
fuese citado en la enciclopedia matemtica de Burkhardt Encyklopdie der Matematischen
Wissenchaften, publicada en 1904, y nuevamente en 1977 en un trabajo de Goldstine, quien
reprodujo estos resultados y mostr que el particionado ideado por Gauss es el corazn
del mtodo de clculo de la moderna transformada rpida de Fourier. En 1985 Heide-
man, Johnson y Burrus reconstruyeron la historia completa de la FFT en una fascinante
pieza de investigacin, donde resaltan:
Los trabajos de Burkhardt y de Goldstine pasaron tan desapercibidos como el mismo
trabajo de Gauss.
Estos mtodos sern estudiados con mucho mayor detalle en Captulos posteriores.

2.1.3. Influencia en otras ramas de la ciencia

Las series de Fourier han permitido el desarrollo de nuevos campos en la matemtica.

Uno de los teoremas fundamentales del anlisis funcional, el teorema de Riesz-Fischer,
se demuestra usando series de Fourier. Se considera que este teorema es la base de la
teora de transformacin de von Newman, que muestra la equivalencia entre la descrip-
cin ondulatoria y matricial de la mecnica cuntica. Otra teora de transformacin que
persegua los mismos objetivos fue desarrollada por P. A. M. Dirac, en la que juega un
papel fundamental la funcin , cuyas propiedades inusuales (algunas de las cuales
se estudian en la Seccion 2.3.4) no son consistentes con el anlisis clsico (von Newman
la describe como una ficcin en lugar de una funcin). El estudio de tales objetos, de-
nominados hoy en da funciones generalizadas o distribuciones, es una rama importante del
anlisis desarrollada por S. L. Sobolev y L. Schwartz. En algunos aspectos, los espacios
de tales funciones son el dominio natural de las series de Fourier.

Procesamiento Digital de Seales U.N.S. 2011

72 2. Anlisis de Fourier

Un objeto matemtico relacionado con las series es la transformada, introducida por Fouri-
er al estudiar la conduccin del calor en una barra de longitud infinita. Se ha aplicado en
rea tales como conduccin de calor, ptica, procesamiento de seales y probabilidad, y
recibi importantes contribuciones de N. Wiener, quien desarroll lo que hoy en da se
conoce como anlisis armnico generalizado. Tambin se ha vuelto ms abstracta en una ra-
ma de la matemtica conocida como anlisis armnico, algunas de las principales figuras
fueron E. Cartan, H. Weyl, y Harish-Chandra.
Las series de Fourier fueron ideadas para estudiar un problema fsico; no sorprende en-
tonces que hayan encontrado tantas aplicaciones. Como muestra esta breve resea, los
intentos para comprender el comportamiento de estas series sentaron las bases del anli-
sis riguroso.
Una de las ramas ms tericas de la matemtica es la teora de nmeros, y a primera
vista parecera que no tiene puntos de contacto con las series de Fourier. Sin embargo,
H. Weyl utiliz los resultados de convergencia de Fjer para probar uno de sus teoremas
ms relevantes.
Otra de las reas de aplicacin de las series de Fourier es la cristalografa. En 1985 H.
A. Hauptman y J. Karle ganaron el premio Nobel de Qumica por desarrollar un nuevo
mtodo de clculo de las constantes cristalogrficas a partir de sus coeficientes de Fourier,
que pueden inferirse por mediciones. Dos ingredientes fundamentales de su desarrollo
son el teorema de Weyl comentado ms arriba, y los teoremas de Toeplitz sobre las series
de Fourier de funciones no negativas.
Recientemente, el desarrollo de mtodos computacionales rpidos para el clculo de una
versin discreta de la transformada de Fourier, iniciado por J. Cooley y J. Tukey en 1965,
aumentaron enormemente su rango de aplicacin. La transformada rpida de Fourier
(FFT) tuvo una difusin tan masiva que en 1993 se estim que casi la mitad de todo el
tiempo de clculo de las supercomputadoras se gastaba calculando FFT, an para tareas
tales como la multiplicacin de grandes nmeros.
Otro desarrollo reciente que ha recibido gran atencin es la teora de onditas (wavelets).
En este caso las funciones no se expanden en series de Fourier, sino utilizando otras bases
ortogonales que son apropiadas para clculos eficientes, lo que dio lugar a nuevos algo-
ritmos utilizados en procesamiento de seales y para la solucin numrica de ecuaciones.

2.2. Series de Fourier

Una seal x (t) es peridica de perodo T0 si x (t) = x (t + kT0 ) para todo k entero. La
expansin en series de Fourier consiste en expresarla como una suma infinita de trminos
seno y coseno, que habitualmente se escribe como

2 2
x (t) = a0 + ak cos
T0
kt + bk sin
T0
kt . (2.10)
k =1 k =1

Los coeficientes ak y bk representan las amplitudes de los trminos coseno y seno, re-
spectivamente. La cantidad 2/T0 = 0 es la frecuencia angular fundamental de la seal,
y en consecuencia, la cantidad k(2/T0 ) = k0 representa el k-simo armnico de la
frecuencia fundamental. Cada una de las funciones seno y coseno de la expresin (2.10)

Procesamiento Digital de Seales U.N.S. 2011