Professional Documents
Culture Documents
Series y transformadas de
Fourier
Las series de Fourier son series de trminos coseno y seno y surgen en
la tarea prctica de representar funciones peridicas generales. Como aplicacin constituyen una herramienta muy importante en la solucin de problemas en los que intervienen ecuaciones diferenciales ordinarias y parciales.
La teora de las series de Fourier es bastante complicada, pero la aplicacin de estas series es simple. Las series de Fourier son, en cierto sentido,
ms universales que las series de Taylor, ya que muchas funciones peridicas
discontinuas pueden desarrollarse en serie de Fourier, pero, desde luego, no
tienen representaciones en serie de Taylor.
La introduccin de las series de Fourier (y de las integrales de Fourier)
fue uno de los mayores avances jamas realizados en la fsica matemtica
y en sus aplicaciones en la ingeniera, ya que las series de Fourier (y las
integrales de Fourier) son probablemente la herramienta ms importante en
la solucin de problemas con valores en la frontera. Esto se explicar en el
captulo siguiente.
La transformada de Laplace es con mucho la transformada integral ms
importante en ingeniera. Desde el punto de vista de las aplicaciones, las si
guientes en importancia seran quizs la transformada de Fourier, an cuando su manejo resulta un tanto ms difcil que la transformada de Laplace
2.1.
Series trigonomtricas
(2.1)
1.0
0.5
-3
-2
-1
-0.5
-1.0
cos
1
1.0
0.5
-3
-2
-1
1.0
0.5
-0.5
-1.0
cos 2
-3
-2
-1
-0.5
-1.0
cos 3
1.0
-2
0.5
0.5
-3
1.0
-1
-0.5
-3
-2
0.5
-1
-0.5
-3
sin
El sistema trigonomtrico
-2
-1
-0.5
-1.0
-1.0
1.0
-1.0
sin 2
sin 3
cos () sin () = 0
(2.3)
cos () cos () =
sin () sin () =
(2.4)
si = .
si 6= ,
si 6= ,
(2.5)
si = .
0
0 X
+ 1 cos + 1 sin + 2 cos (2) + =
+
( cos () + sin ())
2
2
=1
(2.6)
2
Recordar que
sin sin = 2 sin
cos
2
2
+
cos + cos = 2 cos 2 cos
2
cos cos = 2 sin +
sin
2
2
2.2.
Serie de Fourier
Las funciones peridicas que se presentan en problemas prcticos con frecuencia son bastante complicadas y es deseable representarlas en trminos
de funciones peridicas simples. Se ver que casi cualquier funcin peridica () de periodo 2 que aparezca en las aplicaciones (por ejemplo, con
relacin a vibraciones) puede representarse por una serie trigonomtrica la
cual se denominar serie de Fourier de .
Las series de Fourier surgen de la tarea prctica de representar una
funcin peridica () dada en trminos de funciones coseno y seno. Estas
series son trigonomtricas cuyos coeficientes se determinan a partir de ()
mediante ciertas frmulas (frmulas de Euler), las cuales se establecern
primero. Despus se considerar la teora de las series de Fourier.
2.2.1.
0 X
+
( cos () + sin ()) ,
() =
2
=1
(2.7)
es decir, se supone que esta serie converge y que tiene a () como su suma.
Dada una funcin () como esta, quieren determinarse los coeficientes
y de la serie trigonomtrica correspondiente.
Determinemos 0 .
Al integrar ambos miembros de (2.7) se obtiene
#
Z
Z "
+
0 X
+
() =
( cos () + sin ())
2
=1
Recordar que cualquier situacin en la que est involucrada una serie funcional su
convergencia requiere preocuparse por el comportamiento de sus sumas parciales
0
+
( cos () + sin ()) .
2
=1
() =
Z
Z
+
X
+
cos () +
sin () .
=1
es decir,
0 =
()
Determinemos ahora 1 2 y 1 2
Multipliquemos (2.7) por cos (), donde Z+ , e integremos de
a :
!
Z
Z
+
X
() cos () =
( cos () + sin ()) cos ()
0 +
=1
Z
Z
++
cos
()
cos
()
sin
()
cos
()
=1
=1
=1
cos () cos () =
y de (2.3)
+
X
sin () cos () = 0.
4
La idea consiste en suponer que la serie es uniformemente convergente, lo que permite
integrar trmino a trmino.
() cos () =
para todo Z+ .
Para determinar 1 2 se razona de manera anloga a lo anterior pero
ahora multiplicando (2.7) por sin (), donde Z+
Al escribir en lugar de , se obtienen las llamadas frmulas de Euler
=
=
1 R
() cos () para todo 0.
1 R
() sin () para todo 0.
(2.8)
0 X
+
( cos () + sin ())
() =
2
=1
(2.9)
+
con coeficientes { }+
=0 y { }=1 dados por (2.8) se denomina serie de
Fourier de () (sin atender la convergencia, sta la discutiremo ms adelante)
si 0,
() =
y
( + 2) = ()
si 0 .
Funciones de este tipo se presentan como fuerzas externas que actan sobre sistemas
mecnicos, fuerzas electromotrices en circuitos elctricos, etc (el valor de () en un slo
punto no afecta la integral, por lo que puede dejarse indefinida () en = 0 y = )
4
2
-3
-2
-1
-2
-3
-2
-1
3 =
2.2.2.
-2
4
sen
4
2 =
1
sen + sen 3
3
-1
-4
-3
1
-2
-4
1 =
-3
-2
-1
-2
-2
-4
-4
2
4 P
1
sen (2 + 1)
=0 2+1
4 =
3
4 P
1
sen (2 + 1)
=0 2+1
( + 2) = ().
= +
= (0 ) y la serie de
Observar que si () es continua en 0 , entonces
0
0
Fourier converge a (0 ) ya que
9
(+
(0 ) + (0 )
0 ) + (0 )
=
= (0 ) .
2
2
2.3.
La forma cannica de las series de Fourier es la que hemos estado utilizando hasta el momento, donde la funcin en cuestin estaba definida sobre
el intervalo [ [,
2.3.1.
= ,
entonces
() =
() =
Si definimos
( + 2) =
+ 2 =
= () .
( + 2) =
0 X
+
( cos () + sin ())
2
=1
(2.10)
10
1 R
() cos () para todo 0.
1 R
() sin () para todo N.
(2.11)
0 X
=
= ()
+
+ sin
,
cos
=1
1 R
=
() cos
1 R
() sin
=
Generalmente se escribe 0 =
para todo 0.
(2.12)
para todo N.
y por lo tanto,
con
0 X
+
( cos (0 ) + sin (0 )) ,
()
2
=1
=
=
1 R
() cos (0 ) para todo 0.
1 R 2
() sin (0 ) para todo N.
2
0 si 2 1
si 1 1
con = 2 = 4, = 2.
() =
0 si 1 2
2.3.2.
11
y si es impar, entonces
Z
() = 0.
en
Consecuentemente, si () es par, entonces el integrando () sin
(2.12) esimpar,
y = 0. De manera similar, si () es impar, entonces
resultado
cos
2
(2.13)
=1
12
sin
=1
(2.15)
cuyos coeficientes { }+
=1 se determinan a partir de la funcin segn
las frmulas
2
=
() sin
para todo = 1 2
(2.16)
3
2
1
-3
-2
-1
1
-1
-2
-3
13
2k
1
1
4
3
5
Ejemplo 7 Onda diente de sierra (pag41)
Determinar la serie de Fourier de la funcin
() = + si
2.3.3.
( + 2) = () .
()
0 X
+
( cos () + sin ())
2
=1
(2.17)
14
y
= cos sin
hallamos, con = , que
cos () =
sin () =
.
2
(2.18)
+
X
1
0 +
+
2
2
2
=1
+
X
+
1
0 +
+
2
2
2
=1
y si denotamos
0
= 0
2
=
2
entonces
() 0 +
o equivalentemente
() 0 +
= 0 +
+
X
=1
+
X
=1
+
X
+
+
=0
+
X
+
X
=1
1
X
=+
=1
+
X
+
=
2
1
X
=+
=+
15
Z
Z
1
1
() cos ()
() sin ()
2
2
Z
1
() (cos () sin ())
2
Z
1
() 0
2
y
=
=
=
Z
Z
1
1
() cos () +
() sin ()
2
2
Z
1
() (cos () + sin ())
2
Z
1
()
2
para todo N.
Claramente tambin podemos escribir
=
1
2
() .
para todo Z. Estos coeficientes reciben el nombre de coeficientes complejos de Fourier de ().
Para una funcin de periodo 2, el razonamiento anterior da como resultado la serie compleja de Fourier
() =
+
X
(
)
1
=
2
() (
) .
( + 2) = ()
16
2.4.
Transformada de Fourier
() .
(2.19)
lm () =
lm | ()| = 0
por lo que las funciones reales que tendrn transformada de Fourier tienen
12
La integral impropia
() =
() +
()
lm
()
lm
()
() = + .
Si
+ = + (+)
la integral no es convergente, pero si existe
lm
()
a ste lmite le llamaremos valor principal de Cauchy de la integral impropia. Este valor
principal coincide con el de la integral cuando sta es convergente, por lo que en la integral
impropia de la integral de Fourier se considera su valor principal.
17
1.0
0.8
0.6
0.4
0.2
-4
-3
-2
-1
-0.2
-0.4
-20
-10
10
20
-1
() y F [ ()] ()
18
2.0
1.5
1.0
0.5
-4
-3
-2
-1
() y F [ ()] ()
Ejemplo 11 Determinar la transformada de Fourier de la funcin () =
2
.
2.0
1.5
1.0
0.5
-4
-3
-2
-1
() y F [ ()] ()
2.4.1.
Propiedades
Existencia
Las dos condiciones siguientes son suficientes para la existencia de la
transformada de Fourier de un funcin () definida en R y son:
1. () es continua a trozos en R.
19
2. () es absolutamente integrable13 en R.
Linealidad de la transformacin de Fourier
Para cualesquiera funciones () y () cuyas transformadas de Fourier
existen y para constantes y cualesquiera
F [ () + ()] () = F [ ()] () + F [ ()] () .
(2.20)
Z +
Z +
=
()
+
()
= F [ ()] () + F [ ()] () .
||+
() = 0
F 0 () () = F [ ()] ()
(2.21)
Z +
=+
= () = +
()
= F [ ()] ()
13
| ()| +
20
ya que
lm
||+
() =
lm
||+
| ()| = 0
Cambio de escala
Sea 0. Si es una funcin continua y absolutamente integrale en R,
entonces
1
F [ ()] () = F [ ()]
()
1 +
()
Z
1 +
1
() = F [ ()]
.
21
Derivada de la transformada
Si es una funcin continua y absolutamente integrale en R, entonces
F [ ()] () = F [ ()] ()
Convolucin
El objetivo es el mismo que en el caso de la transformada de Laplace :
la convolucin de funciones corresponde a la multiplicacin de sus transformadas de Fourier
Sean y dos funciones continuas por secciones, acotadas y absolutamente integrables. Entonces
F ( ) = F ( ) F () .
(2.22)
Como
F ( ) F () =
=
Z
Z
()
+ Z +
()
() () (+)
+ Z +
( ) ()
Z + Z +
=
( ) ()
Z +
=
( ) = F ( )
F ( ) F () =
2.5.
22
| ()| +
Z +
Z +
1
()
.
() =
2
1
[ ()] () =
2
()
()
()
F 1
Si () es una funcin dada, la expresin
1
() =
2
14
()
23
es una ecuacin integral de funcin incognita (), de tipo singular por ser
la integral impropia. La solucin de esta ecuacin integral es
Z +
() .
() =
1 si ||
() =
0 si ||
Se pide:
3. Deducir el valor de
2.6.
sen
.
Ejercicios propuestos
si 0,
0
4
con = 2 =
,= .
() =
sin () si 0 ,
24
0 si 5 0
() =
3 si 0 5
( + 10) = () .
Se pide:
=
12 22 32
6
6. Desarrollos de medio rango
En varias aplicaciones existe la necesidad prctica de usar series de
Fourier en relacin con funciones () que estn dadas solamente en
algn intervalo, por ejemplo, 0
25
2L
para despus extender esta nueva funcin como una funcin peridica
de periodo 2 y, como es par, representarla como una serie de Fourier
de cosenos. O puede extenderse () como una funcin impar en el
intervalo , como en la figura
2L
para despus extender esta nueva funcin como una funcin peridica
de periodo 2 y, como es impar, representarla por una serie de Fourier
de senos. Estas dos series se llaman los dos desarrollos de medio rango
de la funcin (), la cual est dada slo en la mitad del rango (la
mitad del intervalo de periodicidad de estas series).
Encontrar los dos desarrollos de medio rango de la funcin
() =
si 0
2 ( ) si
,
2
26
L/
1 2 si || 1
() =
0
si || 1
Z +
cos sen
cos
3
2
0
10. Para cualquier funcin par () la transformada de Fourier es la transformada de Fourier de coseno
Z +
() cos ()
F [ ()] () =
0
y su transformada inversa
() =
F [ ()] () cos () .
() cos () =
1 si 0 1
si 1
sen2
= .
2
2.7.
Ejercicios complementarios
a) () =
b) () =
c)
d)
e)
f)
g)
h)
cos || 2
0
|| 2
|| ||
0
||
0
2
1 2 1
1
1 1
() =
1
12
0
2
1
1
() = 0 +
0
2
2
1
1
() = 0 +
0
sin (2)
2
2
sen () ||
() =
0
0
||
() = 0 + 12 0 12 cos () ; 0
0
||
||
1
() =
2
2
2
||
2
1 ||
0
b) () = ||
a) () =
0 ||
27
28
() =
2 + 1
1 [1 0[
[2 0[)
(a) () =
(b) () =
1
[0 1[
0 [0 2[
(c) () =
[1 1[
1 [2 0[
(e) () =
0 [0 1[
1 [1 2[
(g) () =
0 [ 0[
[0 [
(d) () =
[1 0[
[0 1[
(f) () =
0 [2 1[
1 [1 2[
(h) () =
[ 0[
[0 [