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 presentaci

on 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
grafica es un recurso did
actico muy u
til 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 m
odulos din
amicos para mostrar y probar resultados de manera
interactiva.

2.

Series de Fourier de funciones peri

odicas de perodo 2L

Definici
on 1. Una funci
on f : R R es peri
odica 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
condici
on se denomina perodo de la funci
on 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
+

 nx 
 nx 
a0 X
+
an cos
+ bn sen
, L < x < L
2
L
L
n=1

donde
1
a0 =
L

ZL
f (x)dx
L

1
an =
L

ZL

 x 
f (x)cos n
dx ; n = 1, 2, 3, ...
L

1
bn =
L

ZL

 x 
f (x)sen n
dx ; n = 1, 2, 3, ...
L

L
*

Depto. de Ciencias - PUCP

que se denominan coeficientes de Fourier de la funcion f .

El siguiente terorema proporciona condiciones necesarias para la convergencia de la serie de
Fourier de una funci
on perodica.
Teorema 1. Sea f :] L, L[ R una funci
on peri
odica con perodo 2L, mon
otona a trozos
y acotada. La serie de Fourier de f ,
+

 n 
 n 
a0 X
+
an cos
x + bn sen
x
2
L
L
n=1

converge puntualmente en R. Adem

as
+

 n 
 n 
a0 X
a)
+
an cos
x + bn sen
x = f (x)
2
L
L
n=1
continua.

en cada punto x R donde f es

+
 n 
 n  f (x+ ) + f (x )
a0 X
0
0
b)
+
x0 + bn sen
x0 =
an cos
2
L
L
2
n=1
de discontinuidad de f .

si x0 R es un punto

Como se mencion
o en la introducci
on, a continuacion se presenta algunos ejemplos a traves
de los cuales se mostrar
a 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 graficamente
su convergencia.

2.1.

Serie de Fourier de la funci

on peri
odica f (x) = x2 x, 2 < x < 2

En primer lugar definimos, en Mathematica, la funcion f . Para ello introducimos la siguiente 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 gr
afica de f , en un perodo, mediante la funcion Plot, en
la forma
Plot[f[x],{x,-L,L},AxesLabel->{"X","Y"}]
ver figura 1. La opci
on AxesLabel sirve para colocar etiquetas a los ejes coordenados.

Y
6
5
4
3
2
1
-2

-1

Figura 1: Grafica de f
Luego se obtiene los coeficientes de Fourier de f mediante
1
ao = SimplifyB
L
1
an = SimplifyB
L
1
bn = SimplifyB
L

f@xD xF;
L

-L

f@xD CosB
L

-L
L

L
n

-L

f@xD SinB

xF xF . 9Sin@n D 0, Cos@n D H-1Ln =;

xF xF . 9Cos@n D H-1Ln , Sin@n D 0=;

Observar que la funci

on Simplify[expr ] devuelve la forma mas simplificada 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 final 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 continuaci
on, se obtiene los coeficientes de Fourier de la funcion f
Print@"ao=", aoD
Print@"an=", anD
Print@"bn=", bnD

cuyos valores son

8
ao=
3
an=

16 H-1Ln
n2 2

bn=

4 H-1Ln
n

con dichos valores construimos la serie de Fourier

+

 n x  4(1)n
 n x 
4 X 16(1)n
+
Cos
+
Sen
3
n2 2
2
n
2

(1)

n=1

Para observar, de manera gr

afica, la convergencia de la serie definir la sucesion de sumas
parciales de (1)
m

 n x  4(1)n
 n x 
4 X 16(1)n
Cos
+
Sen
; m > 0.
sm (x) = +
3
n2 2
2
n
2

(2)

n=1

En Mathematica, esta expresi

on toma la forma
m

h n i
h n i
ao X 
s[x ,m ]:=
+
x + bn Sin
x ;
an Cos
2
L
L
n=1

donde se debe tener en cuenta que los coeficientes 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,
16 CosA

4
3

x
E
2

16 CosA

4 Cos@ xD
+

3x
E
2

4 SinA
-

x
E
2

9 2

4 SinA

2 Sin@ xD
+

3x
E
2

>

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 gr
afica de varios de los elementos de la sucesion de sumas
parciales, incluyendo la gr
afica de la funcion f , en un formato como el mostrado en la figura
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

Y
6

, s@x, 2>

-2

-1

-2

-4

-6

Figura 2: Sucesion de sumas parciales s[x,m]

(* define la funcion *)
f[x ]:=x2 x;
(* define la mitad del periodo *)
L=2;
(* grafica de la funcion *)
Plot[f [x], {x, L, L}, AxesLabel {X,Y}]
(* calculo del hlos coeficientesi de Fourier *)
RL
ao = Simplify L1 L f [x] dx ;
h R

 i
L
an = Simplify L1 L f [x]Cos n
x
dx /. {Sin[n] 0, Cos[n] (1)n } ;
L
h R

 i
L
bn = Simplify L1 L f [x]Sin n
x
dx /. {Cos[n] (1)n , Sin[n] 0} ;
L
(* valor de los coeficientes de Fourier *)
Print[ao=,ao]
Print[an=,an]
Print[bn=,bn]
(* sucesion de sumas parciales de la serie *)
m
h n i
h n i
ao X 
s[x ,m ]:=
+
an Cos
x + bn Sin
x ;
2
L
L
n=1
(* 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]]}]
(* grafica de f y de algunos elementos de la sucesion de sumas parciales de la serie *)
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}]

2.2.

Serie de Fourier de la funci

on peri
odica


2
f [x] =
2

si
si

1 < x < 0
0<x<1

Lo que se debe modificar 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
Y
2

-1.0

-0.5

0.5

1.0

-1
-2

Figura 3: Grafica de la funcion f

ao=0
an=0
4 I-1 + H-1Ln M
bn=
n

, n= 9,
8 Sin@3 xD

8 Sin@ xD
-

3.

8 Sin@5 xD
-

8 Sin@7 xD
-

8 Sin@9 xD
-

>

Conclusiones

Despues de mostrar esta secuencia de intrucciones de Mathematica para la presentacion

de la serie de Fourier de una funci
on periodica podemos mencionar algunas concluisones
teniendo en cuenta dos aspectos:
I Desde el punto de vista del profesor, permite:
Re-estructurar la presentaci
on de los temas de su curso.
Hacer m
as
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

Y
6
4
2

:
-1.0

, s@x, 6>

-0.5

0.5

1.0

-2
-4
-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.
I Desde el punto de vista del estudiante:
Centrar su atenci
on en el objetivo principal del tema presentado, sin tener que
distraerse con los c
alculos, 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, C
alculo Integral en varias variables. no publicado.
[2] Nagle, R. Kent; Saff, Edward B.; Snider, Arthur David Ecuaciones Diferenciales y problemas con valores en la frontera. Pearson Educacion. 4a. ed. Mexico. 2005.
[3] Simmons, George F. Ecuaciones Diferenciales con aplicaciones y notas hist
oricas. Espa
na. McGraw-Hill/Interamericana de Espa
na S.A. 2a edicion. 1993.
[4] Stewart, James. C
alculo Trascendentes Tempranas. Internacional Thomson Editores,
S.A. 4a edici
on. 2000.
[5] Taylor Angus, E., Mann W., Robert Fundamentos de C
alculo Avanzado. Noriega Editores. Editorial Limusa S. A. Mexico D.F. 1989.
[6] Wolfram, Mathematica. Number Version 6.0.1.0, 2007.