ANLISIS DE FOURIER

Fue el matemtico francs Joseph Fourier, a principios del

siglo XIX, quien encontr que una funcin peridica se puede
representar como una suma infinita ponderada de trminos en senos
y cosenos (la serie de Fourier), mientras que en el caso de
funciones no peridicas la representacin se da por medio de una
integral (la transformada de Fourier).
Esto dio origen al Anlisis Armnico, rama de la Matemtica que estudia la
representacin de funciones o seales como superposicin de ondas de base (los
armnicos). En el caso de las series de Fourier estos son sinusoidales y por tanto las series
son trigonomtricas.
A partir de la segunda mitad del siglo XIX se aplica esta teora a datos de
fenmenos relacionados con el sonido, la imagen, el clima, la mecnica cuntica o las
neurociencias.

Funciones ortogonales y condiciones de simetra
En matemticas superiores se considera que una funcin es la generalizacin de un
vector. Veremos cmo los dos conceptos vectoriales de producto interno (punto) y
ortogonalidad se pueden ampliar para abarcar las funciones.
Supongamos que u y v son vectores en el espacio tridimensional. El producto
interno (u, v) de los vectores, que tambin se escribe u.v, posee las propiedades siguientes:

1) (u, v)=(v,u)
2) (ku, v) = k(u, v), donde k es un escalar
3) (u, u) = 0, si u = 0, y (u, u) > 0 si u f 0
4) (u + v, w) = (ll, w) + (v, w).
Esperamos que una generalizacin del concepto de producto interno debe tener las
mismas propiedades.
Producto interno
Supongamos ahora que f
1
y f
2
son funciones definidas en un intervalo [a, b]. Como
una integrar del producto f
1
(x)f
2
(x) definida en el intervalo tambin posee las propiedades 1)
a 4), siempre y cuando existan las integrales, podemos enunciar la siguiente definicin:
El producto interno de dos funciones f
1
y f
2
en u intervalo [a, b] es el nmero
(

()

()

Funciones ortogonales
Dado que dos vectores u y v son ortogonales cuando su producto interno es cero,
definiremos las funciones ortogonales en forma semejante:
(1) Dos funciones f
1
y f
2
son ortogonales en un intervalo [a, b] si
(

()

()

A diferencia del anlisis vectorial, en donde la palabra ortogonal es sinnimo de
perpendicular, en el presente contexto el trmino ortogonal y la condicin (1) no tienen
significado geomtrico.
Ejemplo: Las funciones

()

()

son ortogonales en el intervalo

[-1, 1] porque
(

()

()

Condiciones de simetra
Funciones pares e impares
Una funcin (peridica o no) se dice funcin par(o con simetra par) si su grfica es
simtrica respecto al eje vertical, es decir, la funcin f(t) es par si
() ()

En forma similar, una funcin f(t) se dice funcin impar o con simetra impar, si su
grfica es simtrica impar, si su grfica es simtrica respecto al origen, es decir, si cumple
lo siguiente:
() ()

Ejemplo: Las siguientes funciones son pares o impares?
()

()

Solucin:
Como ()

(), por lo tanto f(t) es funcin impar.

Como ()

()

(), por lo tanto g(t) es funcin par.

Como la funcin (

) es una funcin impar para todo y la funcin

(

) es una funcin par para todo n, es de esperar que:

Si f(t) es par, su serie de Fourier no contendr trminos seno, por lo tanto

para todo n.
Si f(t) es impar, su serie de Fourier no contendr trminos coseno, por lo
tanto

para todo .
Simetra de media onda
Una funcin peridica de periodo T se dice simtrica de media onda, si cumple la
propiedad
(

) ()
Es decir, si en su grfica las partes negativas son un reflejo de las positivas pero
desplazadas medio periodo:

Simetra de cuarto de onda
Si una funcin tiene simetra de media y adems es funcin par o impar, se dice que
tiene simetra de cuarto de onda par o impar
Ejemplo: Funcin con simetra impar de cuarto de onda:

Ejemplo: Funcin con simetra par de cuarto de onda:

Serie trigonomtrica de Fourier
Funcin peridica
Una funcin peridica f(t) cumple la siguiente propiedad para todo valor de t.
() ( )
A la constante mnima para la cual se cumple lo anterior se le llama periodo de la
funcin.
Repitiendo la propiedad se puede obtener:
() ( ), donde
Ejemplo: Cul es el perodo de la funcin () (

) (

)
Si f(t) es peridica se debe cumplir:
( ) (

) (

) () (

) (

)
Pero como se sabe ( ) () para cualquier entero k, entonces para
que se cumpla la igualdad se requiere que

Es decir,

Donde k
1
y k
2
son enteros, el valor minimo de T se obtiene con k
1
=4, k
2
=3, es decir,
T=24.
Grafica de la funcin () (

) (

)

Podramos pensar que cualquier suma de funciones seno y coseno produce una
funcin peridica. Esto no es as, por ejemplo, consideremos la funcin
() (

) (

)
Para que sea peridica se requiere encontrar dos enteros m, n tales que

De donde

Es decir, la relacin

debe ser un nmero racional.

Ejemplo: la funcin () ( ) no es peridica, ya que

no es
un nmero racional.

Serie Trigonomtrica de Fourier
Algunas funciones peridicas f(t) de periodo T pueden expresarse por la siguiente
serie, llamada Serie Trigonomtrica de Fourier:
()

)
Donde:

Es decir:
()

Es posible escribir de una manera ligeramente diferente la Serie de Fourier, si
observamos el trmino

) se puede escribir como:

))
Podemos encontrar una manera ms compacta para expresar estos coeficientes
pensando en un tringulo rectngulo:

Con lo cual la expresin queda

)
Si adems definimos

, la serie de Fourier se puede escribir como

()

As

)
Transformada de Fourier
La serie de Fourier nos permite obtener una representacin en el dominio de la
frecuencia para funciones peridicas f(t). Es posible extender de alguna manera las series
de Fourier para obtener el dominio de la frecuencia de funciones no peridicas?
Consideremos la siguiente funcin peridica de periodo T. Tren de pulsos de
amplitud 1, ancho p y perido T:

()
{

Los coeficientes de la serie compleja de Fourier en este caso resultan puramente
reales:

)
(

)
(

)

El espectro de frecuencia correspondiente lo obtenemos (en este caso) graficando C
n

contra

.
Espectro del tren de pulsos para p=1, T=2

Si el periodo del tren de pulsos aumenta:

En el lmite cuando , la funcin deja de ser peridica:

Qu pasa con los coeficientes de la serie de Fourier?

Si hace T muy grande ( ): el espectro se vuelve continuo.

El razonamiento anterior nos lleva a reconsiderar la expresin de una funcin f(t) no
peridica en el dominio de la frecuencia, no como una suma de armnicos de frecuencia

, sino como una funcin continua de la frecuencia .

As, la serie ()

Al cambiar la variable discreta

(cuando ) por la variable continua , se

transforma en una integral de la siguiente manera:
Como

()

La serie queda () *

()

O bien, () *

()

Cuando ,

y la sumatoria se convierte en
()

[ ()

Es decir,
()

()

Donde
() ()

Estas expresiones nos permiten calcular la expresin () (dominio de la
frecuencia) a partir de f(t) (dominio del tiempo) y viceversa.
A la funcin () se le llama transformada de Fourier de f(t) y se denota por F, es
decir
F() () ()

En forma similar, a la expresin que nos permite obtener f(t) a partir de () se le
llama transformada inversa de Fourier y se denota por F
-1
, es decir
F
-1
() ()

()