ANLISIS DE FOURIER O ANLISIS ARMNICO

1.- INTRODUCCION.
En matemticas el anlisis armnico o anlisis de Fourier estudia la representacin de
funciones o seales como superposicin de ondas bsicas o armnicos.
El anlisis de Fourier nace a partir del intento de su autor por hallar la solucin a un
problema prctico de conduccin del calor en un anillo de hierro. Desde el punto de
vista matemtico, se obtiene una funcin discontinua a partir de la combinacin de
funciones continuas. Esta fue la atrevida tesis defendida por Fourier ante la Academia
Francesa, que motiv severas objeciones de los matemticos ms importantes de su
poca como Lagrange, Laplace, etc.
Tambin investiga y generaliza las nociones de series de Fourier, transformadas de
Fourier y anlisis armnico abstracto. A lo largo de los siglos XIX y XX se ha
convertido en una materia importante, con aplicaciones en campos diversos, como el
procesamiento de seales, la mecnica cuntica o la neurociencia. Y es posible,
usando el anlisis de Fourier y la transformada de Fourier describir formas de ondas
ms complejas, como las que producen los instrumentos musicales.
El anlisis de Fourier se considera difcil por el nivel de las matemticas necesarias
para explicarlo, por lo que con los conceptos adquiridos hasta este momento
profundizaremos un poco slo en series de Fourier, mientras que de las transformadas
y el anlisis armnico abstracto solo citaremos conceptos bsicos.
2.- SERIE DE FOURIER.
Las series de Fourier se utilizan para descomponer una funcin, seal u onda
peridica como suma infinita o finita de funciones, seales u ondas armnicas o
sinusoidales, es decir, una serie de Fourier es un tipo de serie trigonomtrica.
Una de este tipo de serie TRIGONOMTRICA DE FOURIER es:

( ) ( ) ( ) ( ) ) 1 .......( 3 2
3 3 2 2 1 1 0
+ + + + + + + = o o o x sen c x sen c x sen c c x f


Siempre que ( ) x f tenga como periodo 2 y satisfaga otras condiciones determinadas.
Para las funciones que probablemente encontremos, de las nicas condiciones que
debern estar seguros que se cumplen son:
1.- La funcin debe ser de valor nico, es decir, para cada valor de x debe haber un
solo valor de ( ) x f . Y.
2.- La funcin tiene que ser finita y nunca infinita
El trmino ( )
1 1
o + x sen c se llama primera armnica o fundamental. Los trminos
( ) ( ), 3 , 2
3 3 2 2
o o + + x sen c x sen c etc. se conocen como segunda armnica, tercera
armnica, etc.
Si el perodo de ( ) x f no es t 2 , mediante un cambio apropiado de variable puede
hacerse una conversin hacia una funcin de perodo t 2 , como se ver
posteriormente.
Forma ms prctica de poner a la serie trigonomtrica de Fourier.
Para ponerle en esta forma utilizamos la trigonometra como sigue:
( )
1 1 1
cos cos o o o xsen senx x sen + = +
Y, por tanto, puede escribirse
( ) senx b x a x sen c
1 1 1 1
cos + = +o
Donde
1 1 1
o sen c a = y
1 1 1
coso c b =
Convirtiendo los otros trminos en una forma semejante, la serie queda:
( ) ........ 3 cos 2 cos cos
2
1
3 2 1 0
+ + + + = x a x a x a a x f


). 2 ........( 3 2
3 2 1
+ + + + x sen b x sen b senx b

Ahora, nuestro problema, en cualquier caso particular, es encontrar los coeficientes
,....... , ,......, , ,
2 1 2 1 0
b b a a a o, lo que es equivalente, los valores de
,...... , ,......, , ,
2 1 2 1 0
o o c c c En la prctica, es ms fcil calcular los a y b, entonces,
pueden hallarse los c y los o , a partir de ellos, si se requiere la serie en la forma (1).
Pero en general es posible que la forma (2) sea apropiada por s misma.
En trminos de sumatoria se representa a la serie trigonomtrica de Fourier as:

()

2.1 APLICACIONES.
Algunos procedimientos que utilizan los ingenieros en la solucin de problemas, slo
son ajustables a funciones senoidales y, consecuentemente, a menudo resulta til usar
las series de Fourier para expresar otras funciones en trminos de senos (y o cosenos).

a.- En el campo de la ingeniera elctrica.
Dos de estos casos son:
- El uso de nmeros complejos al tratar con circuitos de c.a; depende de
funciones senoidales.
- Si se requiere el valor promedio de la potencia en un circuito sobre el tiempo T,
siendo T el periodo del voltaje aplicado, tiene que evaluarse la
integral

, que se simplifica, si el voltaje y la corriente pueden

escribirse en funciones de cosenos de arcos mltiples.

b.- En ingeniera civil.
Son tiles al abordar algunos problemas de vigas, en la determinacin y construccin
de la curva de deflexin, cuando stas soportan cargas que son de forma irregular, y
que no resulta fcil hallar la solucin de las ecuaciones estndar de las vigas:

c.- En la ciencia mdica.
- Una nota musical consiste de una armnica fundamental y armnicas
superiores, y, en el estudio de la fisiologa del odo, la teora de Helmholtz
supone que las diferentes fibras en el odo interno slo son excitadas por
aquellas armnicas que estn en armona.
- La actividad del corazn produce una corriente elctrica. La variacin del voltaje
que resulta es peridica y puede medirse mediante un electrocardigrafo. La
onda resultante puede ser analizada en una serie de Fourier y los coeficientes
mostrarn si existe alguna enfermedad o dao.
- La temperatura humana flucta peridicamente y, por tanto puede representarse
como una serie de Fourier.
d.- Otras de las aplicaciones es su uso en ajustar condiciones en la frontera a las
soluciones de ecuaciones diferenciales parciales.
2.2 Clculo de los coeficientes.
Para calcular los coeficientes

tenemos las siguientes expresiones:

( )
}

=
t
t
t
dx x f a
2
1
2
1
0



2.3 Ejemplos.
I.
Calculando la serie de Fourier de la funcin f dada por:
() ,
0 <
<

Figura 1.
Solucin:




( )
}

=
t
t
t
nxdx x f a
n
cos
1
( )
}

=
t
t
t
nxdx sen x f b
n
.
1
. 0 ) 2 (
2
1
) (
2
1
) (
2
1 2
2
0
0 2
1
= + = = =
} }
t t t
t t t
t
t
t
t
t
t
x x dx dx a
o
. 0 ) .
1
.
1
(
1
) cos cos (
1 2
0
2
0
= = =
} }
t
t
t
t
t
t
t t
nx sen
n
nx sen
n
nxdx nxdx a
n

Por lo que reemplazando valores la serie ser:
,

II.
Calcular la serie de Fourier de la funcin f dada por:

, en el intervalo

Figura 2.
Solucin:


}

=
= + = =
} }
par n
impar n
n
n n
n
n
n
nx
n
nx
n
nxdx sen nxdx sen b
n
. ... .......... 0
. ........
4
) cos 2 (cos
1
) 1 (cos
1 1
) . cos
1
. cos
1
(
1
) . . (
1 2
0
2
0
t
t t t
t
t t
t
t
t
t
t
t
|
.
|

\
|
+ + + = ......
5
5 .
3
3 .
.
4
) (
x sen x sen
x sen x f
t
x
e x f = ) ( | | t t,
. ) (
2
1
) (
2
1
) (
2
1
0 2
1
t t t t
t t t
t
t
t
shx
e e e dx e a
x x
= = = =

}






Por lo que reemplazando valores la serie ser:

Si la funcin f(x) tiene simetra, algunos de los coeficientes resultan ser nulos as:
Si f(x) es una funcin par, f(x) = f(-x), los trminos

son nulos
Si f(x) es impar f(x) = - f(-x), los coeficientes

son nulos.





| |
+
=
(

+
+
= =

}
t t
t t t
t t
t
t
t
t
n e n e
n
x nsen nx
n
e
nxdx e a
x
x
n
cos cos
) 1 (
1
) . (cos
1
1
) cos (
1
2 2
.
. ... .. .. . ..........
) 1 (
2
.. .. .. .. ..........
) 1 (
2
cos
) 1 (
2
2
2

+
=
+

impar es n si
n
sh
par es n si
n
sh
n
n
e e
t
t
t
t
t
t
t t
| | +
+
=
(

+
= =

}
t t
t t t
t t
t
t
t
t
n n e n n e
n
nx n x sen
n
e
nxdx sen e b
x
x
n
cos cos
) 1 (
1
) cos . (
1
1
) . (
1
2 2
.
. ... .. .. . ..........
) 1 (
2
.. .. .. .. ..........
) 1 (
2
cos
) 1 (
) (
2
2
2

+
+

=
+

impar es n si
n
nsh
par es n si
n
nsh
n
n
e e n
t
t
t
t
t
t
t t
)
`

+ + + + + = .... 3
10
3
2
5
2
2
1
........ 3 cos
16
1
2 cos
5
1
cos
2
1
2
1 2
) ( x sen x sen senx x x x
sh
x f
t
t

III.
Consideraremos la onda dientes de sierra representada en la siguiente grfica.

Figura 3

Esta onda esta descrita por la ecuacin: f(x) = x en - t < x <t, adems esta
funcin es peridica ya que f (x+2) = f(x)
Como f (-x) = -f(x) decimos que es una funcin impar. Por lo que al calcular esta
funcin en serie de Fourier los coeficientes a
0
= a
n
= 0. Y solo calcularemos los
coeficientes b
n
.

b
n
= = , funcin par

,*

}

}
H
H
nxdx sen x . .
1
t
}
H
0
. .
2
nxdx sen x
t

, haciendo un anlisis para los diferentes valores que puede tomar n

{

Por lo que la serie de Fourier para esta onda es:
() (

).
IV.
Obtenga la serie de Fourier para la funcin peridica que se muestra en la figura.

Figura 4
Esta Funcin est definida por: f(x) = 1 en el intervalo de
(

) , los valores de b
n
= 0, y slo calcularemos los
trminos de

Solucin:
a
0
= valor medio de f (x) sobre un perodo
2
1
=
a
n
=
=
=

=
{
0

La serie de Fourier es
2.4 SERIES DE FOURIER DE MEDIO RANGO.
En algunos problemas donde la funcin no es peridica dentro del intervalo de
definicin, resulta til representarla mediante una serie de Fourier. Para sortear esta
dificultad, usamos una funcin que es peridica y que coincida con la funcin dada
sobre el intervalo de definicin. El periodo que se elija, obviamente debe ser mayor o
igual al intervalo dado. Tomando el intervalo como la mitad de un perodo, hace posible
obtener una serie sencilla, definiendo la funcin para otro semiperiodo en tal forma
2
1
}
H
H
nxdx x f cos ) (
1
t
}
H
H

2
2
cos . 1
1
nxdx
t
}
H
2
0
cos
2
nxdx
t
2
2 t
t
n
sen
n
|
.
|

\
|
+ + ....... 7 cos
7
1
5 cos
5
1
3 cos
3
1
cos
2
2
1
x x x x
t
que sea impar, dado por tanto una serie solo de senos, o bien par, dando una serie de
cosenos (incluyendo el trmino a
0
, ya que puede considerarse como

0)
Por ejemplo, si tenemos la funcin definida entre 0 y t como se muestra en la figura.


Figura 5
Puede elegirse cualquiera de las ondas siguientes para representarla.

Figura 6

Figura 7
2
1
Figura 6.13.- Una onda impar y su serie slo contendrn senos (conocida como
serie senoidal de Fourier de medio rango).
Figura 6.14.- Es una onda par y su serie slo contendrn cosenos (llamada serie
cosenoidal de Fourier de medio rango).
2.5 PERIODO GENERAL.
A continuacin vamos a ver funciones que tienen el periodo diferente 2t, ya que hasta
el momento slo consideramos funciones de dicho periodo, pero los problemas mas
prcticos comprenden el uso de dichas funciones con un perodo diferente. Veremos
ahora un ejemplo de una funcin cuyo perodo no es 2t.
Sea la onda:

Figura 8
Cuya ecuacin es , definida por
{
()

( ) < < 0
() 0 0 < < 0
( ) ()

Para este tipo de funciones de periodo diferente de , el cual en forma general lo
tomaremos como la serie de Fourier anterior sera:


) (x f y =
...
3 2
...
3
cos
2
cos cos
2
1
) (
3 2 1 3 2 1 0
+ + + + + + + + =

x
sen b
x
sen b
x
sen b
x
a
x
a
x
a a x f
t t t t t t
Y las expresiones que nos permite calcular los coeficientes en este caso son:




Como ejemplo, consideremos la onda que se muestra:

Figura 9
Primero, escribimos las ecuaciones que definen la funcin y luego hallamos el valor de
en este caso tenemos:
{
() < < 0
() 0 < <
( ) ()
{
() 0 < <
() < <
( ) ()

El perodo es de 6, de modo que el valor de es 3.
Escribiendo, las formulas para a
0
, a
n
y b
n,
para esta onda particular, usando las
definiciones anteriores tenemos:
( rea bajo la grfica entre -3 y +3)
dx x f a
}

t
t
) (
1
0
dx
x n
x f a
n
}

t
cos ) (
1
dx
x n
sen x f b
n
}

t
) (
1

)
`

+ =
} }

0
3
3
0
0
4 12
3
1
xdx dx a x
3
1
=


(

rea bajo la grfica entre 0 y 6)


Procediendo a evaluar los coeficientes con el primer conjunto de ecuaciones tenemos:






)
`

+ =
} }

0
3
3
0
3
cos 4
3
cos 12
3
1
dx
x n
x dx
x n
a
n
t t
)
`

+ =
} }

0
3
3
0
3
4
3
12
3
1
dx
x n
xsen dx
x n
sen b
n
t t
)
`

+ =
} }
3
0
6
3
0
12 4
3
1
dx xdx a x
3
1
=
)
`

+ =
} }
3
0
6
3
3
cos 12
3
cos 4
3
1
dx
x n
dx
x n
x a
n
t t
)
`

+ =
} }
3
0
6
3
3
12
3
4
3
1
dx
x n
sen dx
x n
xsen b
n
t t
18 54 .
3
1
0
= = a
)
`

+ =
} }

0
3
3
0
3
cos
3
cos 3
3
4
dx
x n
x dx
x n
a
n
t t

+
(

=
}

3
0
3
0
0
3
3
3
3
3
3
9
3
4
dx
x n
sen
n
x n
sen
n
x
x n
sen
n
t
t
t
t
t
t
3
0
3
cos
3 4
(

=
x n
n n
t
t t
) 1 (cos
12
2 2
= t
t
n
n
={
0

Vamos a demostrar ahora que .





Por lo que dando los valores n en las expresiones encontradas, la serie de Fourier de la
funcin del ejemplo es:

3.- Transformada de Fourier
La transformada clsica de Fourier en R
n
an es un rea de investigacin activa, sobre
todo en la transformacin de Fourier sobre objetos ms generales, como las
distribuciones temperadas. Por ejemplo, si imponemos algunos requerimientos sobre
una distribucin f, podemos intentar trasladarlos a trminos de su transformada de
Fourier. El Teorema de Paley-Wiener es un ejemplo de ello, que implica
inmediatamente que si f es una distribucin de soporte compacto (lo que incluye a las
t n
b
n
12
=
)
`

+ =
} }

0
3
3
0
3
4
3
12
3
1
dx
x n
xsen dx
x n
sen b
n
t t
)
`

+ =
} }

0
3
3
0
3 3
3
3
4
dx
x n
xsen dx
x n
sen b
n
t t

+
(

=
}

3
0
3
0
0
3
3
cos
3
3
cos
3
3
cos
9
3
4
dx
x n
n
x n
n
x
x n
n
t
t
t
t
t
t
| | t t
t
n n
n
cos 1 cos
9
3
4
=
t n
12
=
|
.
|

\
|
+ + +
|
.
|

\
|
+ + + = ...
3
1
3
2
2
1
3
12
...
3
5
cos
5
1
cos
3
1
3
cos
24
9 ) (
2 2 2
x sen
x
sen
x
sen
x
x
x
x f t
t t
t
t
t
t
t
funciones de soporte compacto), entonces su transformada de Fourier no tiene nunca
el soporte compacto. Esto es un tipo muy elemental de un principio de incertidumbre en
trminos del anlisis armnico.
Las series de Fourier pueden ser estudiadas convenientemente en el contexto de los
espacios de Hilbert, lo que nos da una conexin entre el anlisis armnico y el anlisis
funcional.
4.- Anlisis armnico abstracto.
Una de las ramas ms modernas del anlisis armnico, que tiene sus races a
mediados del siglo XX, es el anlisis sobre grupos topolgicos. La idea central que lo
motiva es la de las varias transformadas de Fourier, que pueden ser generalizadas a
una transformacin de funciones definidas sobre grupos localmente compactos.
La teora para los grupos localmente compactos abelianos se llama dualidad de
Pontryagin, que se considera una proposicin muy satisfactoria ya que explica las
caractersticas envueltas en el anlisis armnico. En su pgina se encuentra
desarrollada en detalle.
El anlisis armnico estudia las propiedades de tal dualidad y la transformada de
Fourier; y pretende extender tales caractersticas a otros marcos, por ejemplo en el del
caso de los grupos de Lie no abelianos.
Para grupos generales no abelianos localmente compactos, el anlisis armnico est
muy relacionado con la teora unitaria de representacin de grupos unitarios. Para
grupos compactos, el Teorema de Peter-Weyl explica cmo se pueden conseguir
armnicos extrayendo una representacin irreducible de cada clase de equivalencia de
representaciones. Esta eleccin de armnicos goza de algunas de las propiedades
tiles de la transformada de Fourier clsica de forma que lleva convoluciones a
productos escalares, o por otra parte mostrando cierta comprensin sobre la estructura
de grupo subyacente.