Series de Fourier con Mathematica

Mariano Gonzalez Ulloa

*
mgonzal@pucp.edu.pe
Lima, 15 de enero de 2013
1. Introducci on
El objetivo de esta presentacion es mostrar algunas actividades con el software Mathematica
para el desarrollo de las las series de Fourier de funciones periodicas.
El uso de Mathematica como herramienta de calculo simbolico, numerico y de representacion
graca es un recurso didactico muy util para ser usado en el proceso ense nanza aprendizaje
de las asignaturas de ciencias e ingeniera ya que dispone de una gran cantidad de funciones
que permiten desarrollar modulos dinamicos para mostrar y probar resultados de manera
interactiva.
2. Series de Fourier de funciones periodicas de perodo 2L
Denicion 1. Una funcion f : R R es periodica si existe una constante real T > 0
tal que f(x + T) = f(x), x R. La menor de las constantes T que cumplen con dicha
condicion se denomina perodo de la funcion f.
Sea f : ] L, L[ R, L > 0, una funcion periodica con perodo 2L, monotona a trozos y
acotada. La serie de Fourier de f es
a
0
2
+
+

n=1
a
n
cos
_
nx
L
_
+ b
n
sen
_
nx
L
_
, L < x < L
donde
a
0
=
1
L
L
_
L
f(x)dx
a
n
=
1
L
L
_
L
f(x)cos
_
n
x
L
_
dx ; n = 1, 2, 3, ...
b
n
=
1
L
L
_
L
f(x)sen
_
n
x
L
_
dx ; n = 1, 2, 3, ...
*
Depto. de Ciencias - PUCP
1
que se denominan coecientes de Fourier de la funcion f.
El siguiente terorema proporciona condiciones necesarias para la convergencia de la serie de
Fourier de una funcion perodica.
Teorema 1. Sea f :] L, L[R una funcion periodica con perodo 2L, monotona a trozos
y acotada. La serie de Fourier de f,
a
0
2
+
+

n=1
a
n
cos
_
n
L
x
_
+ b
n
sen
_
n
L
x
_
converge puntualmente en R. Ademas
a)
a
0
2
+
+

n=1
a
n
cos
_
n
L
x
_
+ b
n
sen
_
n
L
x
_
= f(x) en cada punto x R donde f es
continua.
b)
a
0
2
+
+

n=1
a
n
cos
_
n
L
x
0
_
+ b
n
sen
_
n
L
x
0
_
=
f(x
+
0
) + f(x

0
)
2
si x
0
R es un punto
de discontinuidad de f.
Como se menciono en la introduccion, a continuacion se presenta algunos ejemplos a traves
de los cuales se mostrara el uso de Mathematica en la presentacion de las series de Fourier.
El desarrollo se realiza describiendo cada una de las instrucciones de Mathematica para
construir todos los objetos que requieren las series de Fourier para visualiar gracamente
su convergencia.
2.1. Serie de Fourier de la funcion periodica f(x) = x
2
x, 2 < x < 2
En primer lugar denimos, en Mathematica, la funcion f. Para ello introducimos la sigu-
iente secuencia y ejecutamos la celda correspondiente
f[x_]:=x^2-x;
tambien podemos asignar el valor 2 a la variable L
L=2;
con lo cual podemos construir la graca de f, en un perodo, mediante la funcion Plot, en
la forma
Plot[f[x],{x,-L,L},AxesLabel->{"X","Y"}]
ver gura 1. La opcion AxesLabel sirve para colocar etiquetas a los ejes coordenados.
2
2 1 1 2
X
1
2
3
4
5
6
Y
Figura 1: Graca de f
Luego se obtiene los coecientes de Fourier de f mediante
ao Simplify_
1
L

_
L
L
f[x] x_;
an Simplify_
1
L

_
L
L
f[x] Cos_
n
L
x_ x_ /. ]Sin[n ] 0, Cos[n ] (1)
n
);
bn Simplify_
1
L

_
L
L
f[x] Sin_
n
L
x_ x_ /. ]Cos[n ] (1)
n
, Sin[n ] 0);
Observar que la funcion Simplify[expr] devuelve la forma mas simplicada de expr y el
operador /. expr1 expr2 indica que la expresion expr1 sera reemplazada con la expresion
expr2, mientras que el punto y coma (;) al nal de cada lnea le indica al sistema que no
muestre el resultado obtenido.
Teniendo en cuenta que aqu no se trata de mostrar metodos de integracion, ejecutando la
celda que se muestra a continuacion, se obtiene los coecientes de Fourier de la funcion f
Print"ao", ao
Print"an", an
Print"bn", bn
cuyos valores son
ao
8
3
an
16 1
n
n
2

2
bn
4 1
n
n
3
con dichos valores construimos la serie de Fourier
4
3
+
+

n=1
16(1)
n
n
2

2
Cos
_
n x
2
_
+
4(1)
n
n
Sen
_
n x
2
_
(1)
Para observar, de manera graca, la convergencia de la serie denir la sucesion de sumas
parciales de (1)
s
m
(x) =
4
3
+
m

n=1
16(1)
n
n
2

2
Cos
_
n x
2
_
+
4(1)
n
n
Sen
_
n x
2
_
; m > 0. (2)
En Mathematica, esta expresion toma la forma
s[x ,m ]:=
ao
2
+
m

n=1
_
anCos
_
n
L
x
_
+ bnSin
_
n
L
x
__
;
donde se debe tener en cuenta que los coecientes ao, an y bn ya han sido evaluados y por
lo tanto tienen un valor.
Para mostrar algunos elementos de la sucesion de sumas parciales, ingresar la expresion y
ejecutar la celda correspondiente
DynamicModule[{n = 0}, {Slider[Dynamic[n], {0, 10, 1}],
"n=" Dynamic[n], Dynamic[s[x, n]]}]
luego tendra
, n 3,
4
3

16 Cos
x
2

4 Cos x

16 Cos
3 x
2

9
2

4 Sin
x
2

2 Sin x

4 Sin
3 x
2

3

moviendo el deslizador se puede ver otros elementos (los 11 primeros) de la sucesion de

sumas parciales de la serie. Si desea visualizar mas terminos de la serie sustituya, en la
celda anterior, el n umero 10 por el n umero entero positivo que desee.
Finalmente, ejecutando la celda que contiene la expresion
graficas[n_]:=Plot[{f[x],s[x,n]},{x,-L,L},PlotRange->6,AxesLabel->
{"X","Y"}];
Animate[{graficas[n],"s[x," Dynamic[n]},{n, 0, 10,1}]
se obtiene, de manera animada, la graca de varios de los elementos de la sucesion de sumas
parciales, incluyendo la graca de la funcion f, en un formato como el mostrado en la gura
2.
Se puede agrupar, en una sola celda, todas las instrucciones de Mathematica que se han
presentado en el ejemplo anterior para usarlas directamente con otras funciones, en la forma
4
n

2 1 1 2
X
6
4
2
2
4
6
Y
, sx, 2
Figura 2: Sucesion de sumas parciales s[x,m]
(* dene la funcion *)
f[x ]:=x
2
x;
(* dene la mitad del periodo *)
L = 2 ;
(* graca de la funcion *)
Plot[f[x], {x, L, L}, AxesLabel {X,Y}]
(* calculo del los coecientes de Fourier *)
ao = Simplify
_
1
L
_
L
L
f[x] dx
_
;
an = Simplify
_
1
L
_
L
L
f[x]Cos
_
n
L
x

dx
_
/. {Sin[n] 0, Cos[n] (1)
n
} ;
bn = Simplify
_
1
L
_
L
L
f[x]Sin
_
n
L
x

dx
_
/. {Cos[n] (1)
n
, Sin[n] 0} ;
(* valor de los coecientes de Fourier *)
Print[ao=,ao]
Print[an=,an]
Print[bn=,bn]
(* sucesion de sumas parciales de la serie *)
s[x ,m ]:=
ao
2
+
m

n=1
_
anCos
_
n
L
x
_
+ bnSin
_
n
L
x
__
;
(* algunos elementos de la sucesion de sumas parciales de la serie *)
DynamicModule[{n=0},{Slider[Dynamic[n],{0,10,1}],n= Dynamic[n],Dynamic[s[x,n]]}]
(* graca de f y de algunos elementos de la sucesion de sumas parciales de la serie *)
gracas[n ]:=Plot[{f[x],s[x,n]},{x,-L,L},PlotRange 6, AxesLabel {X,Y}];
Animate[{gracas[n],s[x, Dynamic[n] },{n,0,10,1}]
5
2.2. Serie de Fourier de la funcion periodica
f[x] =
_
2 si 1 < x < 0
2 si 0 < x < 1
Lo que se debe modicar en el bloque anterior es la funcion y su perodo, en la forma
f[x_]:=If[x<0,2,-2];
L=1;
y luego ejecutar la celda que contiene la secuencia completa, obteniendose
1.0 0.5 0.5 1.0
X
2
1
1
2
Y
Figura 3: Graca de la funcion f
ao0
an0
bn
4 1 1
n

n
, n 9,

8 Sin x

8 Sin3 x
3

8 Sin5 x
5

8 Sin7 x
7

8 Sin9 x
9

3. Conclusiones
Despues de mostrar esta secuencia de intrucciones de Mathematica para la presentacion
de la serie de Fourier de una funcion periodica podemos mencionar algunas concluisones
teniendo en cuenta dos aspectos:
Desde el punto de vista del profesor, permite:
Re-estructurar la presentacion de los temas de su curso.
Hacer mas agil la presentacion de sus temas durante su clase.
Aprovechar del dinamismo de la presentacion para mostrar las conexiones entre
la parte algebraica y la geometrica de los objetos que intervienen en el tema
presentado.
6
n

1.0 0.5 0.5 1.0

X
6
4
2
2
4
6
Y
, sx, 6
Figura 4: Sucesion de sumas parciales s[x,m]
Presentar varios casos debido a que evitara ocupar tiempo en los calculos que en
este caso no constituyen el objeto principal del tema presentado.
Desde el punto de vista del estudiante:
Centrar su atencion en el objetivo principal del tema presentado, sin tener que
distraerse con los calculos, necesarios, que se requiere en la presentacion.
Disponer del material y del software para poder revisar en cualquier momento la
convergencia de la serie de Fourier.
Elaborar sus propios ejemplos, a partir de las aplicaciones de las series de Fourier
tratadas en otras materias de su especialidad, bajo esta perspectiva.
Referencias
[1] Gonzalez U., Mariano, Calculo Integral en varias variables. no publicado.
[2] Nagle, R. Kent; Sa, Edward B.; Snider, Arthur David Ecuaciones Diferenciales y prob-
lemas con valores en la frontera. Pearson Educacion. 4a. ed. Mexico. 2005.
[3] Simmons, George F. Ecuaciones Diferenciales con aplicaciones y notas historicas. Es-
pa na. McGraw-Hill/Interamericana de Espa na S.A. 2
a
edicion. 1993.
[4] Stewart, James. Calculo Trascendentes Tempranas. Internacional Thomson Editores,
S.A. 4
a
edicion. 2000.
[5] Taylor Angus, E., Mann W., Robert Fundamentos de Calculo Avanzado. Noriega Edi-
tores. Editorial Limusa S. A. Mexico D.F. 1989.
[6] Wolfram, Mathematica. Number Version 6.0.1.0, 2007.
7