UNIVERSIDAD AUSTRAL DE CHILE

FACULTAD DE CIENCIAS DE LA INGENIER

IA
CENTRO DE DOCENCIA DE CIENCIAS B

ASICAS PARA INGENIER

IA.
Ecuaciones Diferenciales para Ingeniera BAIN 041
Series de Fourier
Segundo Semestre 2013
Paulo

Alvarez - Sergio Jara - Ana Mara Ruiz
1 Introducci on
Las funciones periodicas se presentan frecuentemente en una gran variedad de problemas de fsica e ingeniera,
tales como propagacion de ondas en un medio, conduccion del calor a lo largo de una varilla, resonancia
nuclear magnetica, en consecuencia, abordar la solucion de tales problemas, requiere del estudio de la serie
de Fourier.
La serie de Fourier es la representacion de una funcion en terminos de una serie trigonometrica innita cuyas
bases son las funciones seno y coseno.
Para problemas con condiciones de frontera periodicas en el intervalo L x L, nos preguntamos si es
posible expresar una funcion como una combinacion lineal de funciones seno y coseno de frecuencias cada
vez mayores, como la siguiente serie innita (conocida como serie de Fourier de f(x)):
f(x) = a
0
+

n=1
_
a
n
cos
_
nx
L
_
+ b
n
sin
_
nx
L
__
(1)
Obviando la igualdad, vale preguntarse converge esta serie innita?, que condiciones debe cumplir f para
que se de la convergencia?, cuando converge a f(x)?
Estas preguntas no tienen una respuesta sencilla. Sin embargo, las series de Fourier normalmente funcionan
bastante bien.
2 La serie de Fourier de una funcion
Se debe distinguir entre f(x) y su serie de Fourier en el intervalo L x L:
Serie de Fourier de f(x)
a
0
+

n=1
_
a
n
cos
_
nx
L
_
+ b
n
sin
_
nx
L
__
La serie trigonometrica puede incluso no converger y si converge, puede que no lo haga a f(x). Partiendo
del supuesto que la serie converge podramos determinar los coecientes de Fourier a
0
, a
n
y b
n
.
2.1 Coecientes de Fourier
Denicion 1
i) Sea f una funcion Riemann integrable en [L, L], las constantes
a
0
=
1
2L
_
L
L
f(x)dx
a
n
=
1
L
_
L
L
f(x) cos
_
nx
L
_
dx para n = 1, 2, 3, . . .
b
n
=
1
L
_
L
L
f(x) sin
_
nx
L
_
dx para n = 1, 2, 3, . . .
_

_
(2)
se denominan los coecientes de Fourier de f en [L, L].
1
ii) La serie:
f(x) a
0
+

n=1
_
a
n
cos
_
nx
L
_
+ b
n
sin
_
nx
L
__
es la serie de Fourier de f en el intervalo [L, L], cuando los coecientes estan dados por (2). Para
no hablar de convergencia todava, escribimos el signo que signica que a la derecha se tiene la serie
de Fourier de f en L x L.
Ejemplo 1 Determinar la serie de Fourier de f(x) = x si x [, ].
Solucion: La graca de la funcion es
Los coecientes de Fourier de f en [, ] son:
a
0
=
1
2
_

xdx = 0
a
n
=
1

xcos(nx)dx =
_
1
n
2

cos(nx) +
x
n
sin(nx)
_

= 0 n 1
b
n
=
1

xsin(nx)dx =
_
1
n
2

sin(nx)
x
n
cos(nx)
_

=
2
n
(1)
n+1
n 1
Por tanto, la serie de Fourier de f en [, ] es:

n=1
2
n
(1)
n+1
sin(nx)
2.2 Atributos de la funci on
Lo anteriormente expuesto es valido para cierto tipo de funciones, nos referimos a las funciones f(x) que son
seccionalmente continuas.
Denicion 2 Sea f(x) denida en [a, b]. Entonces f es seccionalmente continua en [a, b] si:
i) f es continua en [a, b], excepto quizas en un n umero nito de puntos.
ii) Ambos lim
xb

f(x) y lim
xa
+
f(x) existen y son nitos.
iii) f no es continua en x
0
, x
0
]a, b[ y los lmites lim
xx

0
f(x) y lim
xx
+
0
f(x) existen y son nitos.
Denicion 3 f(x) es seccionalmente suave en [a, b] si f y f

son seccionalmente continuas en [a, b].

2
Observacion:
Las funciones seno y coseno, que aparecen como bases en la serie de Fourier, tienen perodos diferentes los
que son iguales a
2L
n
para n 1. Por otra parte, un m ultiplo entero del perodo de una funcion perodica
es tambien un perodo , podemos armar entonces, que 2L es el perodo com un para las funciones seno y
coseno del desarrollo de la serie. Por lo anterior, la serie de Fourier no solo representa a f en el intervalo
L x L, sino que, proporciona una extension perodica de f en todos los reales.
2.3 Convergencia de las series de Fourier
A continuacion vamos a establecer las condiciones de suciencia que debe cumplir una funcion f(x) para
que pueda ser representada por medio de una serie de Fourier.
Teorema 1 Si f(x) es seccionalmente suave en el intervalo [L, L], entonces la serie de Fourier de f(x)
converge:
i) A la extensi on perodica de f(x); en los puntos que la extensi on perodica sea continua.
ii) Al promedio de los lmites laterales
f(x
+
) + f(x

)
2
en los puntos donde la extension perodica tenga
una discontinuidad de salto.
En el siguiente ejemplo, se eval ua si la serie de Fourier resultante de una funcion f(x) en un punto x
0
dado
converge o no en ese punto.
Ejemplo 2 Sea f(x) =
_
0, si 3 x 0
x, si 0 x 3
. Construir la serie de Fourier y analizar la convergencia
en todo R.
Solucion: Representemos la graca de la funcion
Los coecientes de la serie de Fourier de f(x) son:
a
0
=
1
6
_
3
3
f(x)dx =
1
6
_
3
0
xdx =
3
4
a
n
=
1
3
_
3
3
f(x) cos
_
nx
3
_
dx
=
1
3
_
3
0
xcos
_
nx
3
_
dx =
1
3
_
_
9 cos
_
nx
3
_
n
2

2
+
3xsin
_
nx
3
_
n
_
_
3
0
=
3
n
2

2
(cos(n) 1) =
3
n
2

2
((1)
n
1)
b
n
=
1
3
_
3
3
f(x) sin
_
nx
3
_
dx
=
1
3
_
3
0
xsin
_
nx
3
_
dx =
1
3
_
_
9 sin
_
nx
3
_
n
2

2
+
3xcos
_
nx
3
_
n
_
_
3
0
=
3
n
cos(n) =
3
n
(1)
n
3
Por consiguiente, la serie de Fourier la podemos escribir
3
4
+

n=1
_
3
n
2

2
((1)
n
1) cos
_
nx
3
_

3
n
(1)
n
sin
_
nx
3
_
_
Tenemos que f es continua en [3, 3] ,por lo tanto su extension perodica es seccionalmente continua en R,
con discontinuidad de salto en los puntos x = 3 6n, n Z.
Por lo tanto, de acuerdo al teorema la serie converge a
f
E
(x) =
_

_
f(x), si x = 3 6n
3
2
, si x = 3 6n
entonces
f
E
(x) =
3
4
+
3

n=1
_
1
n
2
((1)
n
1) cos
_
nx
3
_

n
(1)
n
sin
_
nx
3
_
_
los coecientes ((1)
n
1) son nulos, si n es n umero par e iguales a 2, si n es n umero impar. Entonces
f
E
(x) =
3
4

6

n=1
_
1
(2n 1)
2
cos
_
(2n 1)x
3
_
+

6n
(1)
n
sin
_
nx
3
_
_
Al evaluar la convergencia en x
0
= 3, punto de discontinuidad de la funcion, se obtiene
3
2
=
3
4

6

n=1
1
(2n 1)
2
(1)
2n1

n=1
1
(2n 1)
2
=

2
8
Observese que a partir de la convergencia de la serie de Fourier en un punto se puede inferir la convergencia
de la suma de terminos de la serie resultante.
2.4 La integral de funciones pares e impares
Lema 1 Sea f una funcion integrable en [L, L].
i) Si f una funcion par en [L, L], entonces
_
L
L
f(x)dx = 2
_
L
0
f(x)dx.
ii) Si f una funcion impar en [L, L], entonces
_
L
L
f(x)dx = 0.
A continuacion, vamos a determinar los coecientes y la serie de Fourier coseno (o seno) seg un corresponda,
dada una funcion f par (o impar) de periodo 2L.
2.5 Teorema de las funciones pares y de las impares
Teorema 2 Sea f una funcion integrable en [L, L].
i) Si f es par, la serie de Fourier de f en [L, L] es
a
0
+

n=1
a
n
cos
_
nx
L
_
con coecientes a
0
=
1
L
_
L
0
f(x)dx y a
n
=
2
L
_
L
0
f(x) cos
_
nx
L
_
dx, se denomina serie de cosenos.
4
ii) Si f es impar, la serie de Fourier de f en [L, L] es

n=1
b
n
sin
_
nx
L
_
con coeciente b
n
=
2
L
_
L
0
f(x) sin
_
nx
L
_
dx, se denomina serie de senos.
Ejemplo 3 Calcule la serie de Fourier de f(x) = 1 |x| en 2 x 2.
Solucion: A partir de la graca de la funcion podemos inferir que la funcion es par.
Es decir f(x) = 1 |x| = 1 |x| = f(x) x R, luego se tiene que f es par.
Los coecientes del desarrollo de Fourier, son:
a
0
=
1
2
_
2
0
(1 x)dx =
1
2
_
x
x
2
2
_

2
0
= 0
a
n
=
2
2
_
2
0
(1 x) cos
_
nx
2
_
dx
=
_
2
0
cos
_
nx
2
_
dx
_
2
0
xcos
_
nx
2
_
dx
= 0
_
4 cos(
nx
2
)
n
2

2
+
2xsin(
nx
2
)
n
_
2
0
por consiguiente
a
n
=
_
_
_
0, si n es par
8
(2n 1)
2

2
, si n es impar
As la serie de Fourier de f(x) = 1 |x| es:
8

n=1
1
(2n 1)
2
cos
_
(2n 1)x
2
_
En muchos problemas se tiene la posibilidad de trabajar con series de senos o series de cosenos. Por ejemplo ,
al resolver ecuaciones diferenciales parciales de segundo orden aplicando el metodo de separacion de variables.
3 Desarrollos llamados de medio rango
Sea una funcion f seccionalmente continua que esta defnida solo en el semi-intervalo [0, L], queremos obtener
el desarrollo de f en serie de Fourier x [0, L]. Una forma de hacer lo anterior es extender f al intervalo
[L, L] y por supuesto, puede ser hecho de muchas maneras, sin embargo, dos extensiones son las mas
convenientes e importantes. Construir una extension impar lo que origina una serie de senos o construir
una extension par lo que determina una serie de cosenos. Estas se denominan desarrollos de medio rango.
5
3.1 Extension impar
Supongamos que conocemos f(x) solamente para 0 x L, entonces podemos extenderla como una funcion
impar, obteniendo otra funcion denotada f
i
(x) denida por:
f
i
(x) =
_
f(x), 0 x L
f(x), L x 0
como se muestra en la gura.
Si f(x) es seccionalmente suave en 0 x L, entonces f
i
(x) es tambien seccionalmente suave y se puede
aplicar el teorema de convergencia de series de Fourier.
La serie de Fourier de f
i
(x) es
f
i
(x) =

n=1
b
n
sin
_
nx
L
_
, L x L
Como estamos interesados solamente en lo que ocurre entre 0 x L, En esa region f(x) es identica a
f
i
(x) y la serie de Fourier es
f
i
(x) =

n=1
b
n
sin
_
nx
L
_
, 0 x L
con coeciente
b
n
=
2
L
_
L
0
f(x) sin
_
nx
L
_
dx
Ejemplo 4 Sea la funci on f(x) = x en el interior 0 x L. Obtener el desarrollo de medio rango
considerando una extension impar.
Solucion: Consideremos la extension impar de f(x) en 0 x L, la graca de f muestra que la serie de
fourier de senos converge a f(x) en 0 x L. Sin embargo, en x = L hay una discontinuidad de salto,
luego la serie converge a cero aunque f(L) = 0.
b
n
=
2
L
_
L
0
f(x) sin
_
nx
L
_
dx =
2
L
_
L
0
xsin
_
nx
L
_
dx =
2L
n
(1)
n+1
Por tanto, la serie resultante es:
x =
2L

n=1
(1)
n+1
n

n=1
b
n
sin
_
nx
L
_
, 0 x L
6
3.2 Extension par
Supongamos ahora que conocemos f(x) solamente para 0 x L, entonces la extendemos como funcion
par, obteniendo otra funcion denotada f
p
(x) deda por:
f
p
(x) =
_
f(x), 0 x L
f(x), L x 0
como muestra la gura:
Si f(x) es seccionalmente continua en 0 x L, entonces su extension par f
p
(x) lo sera tambien por lo que
se puede aplicar el teorema de convergencia de series de Fourier.
En el intervalo 0 x L, la funcion f(x) es identica a su extension par. La serie que se obtiene se denomina
serie de Fourier de cosenos de f(x).
a
0
+

n=1
a
n
cos
_
nx
L
_
, 0 x L
con coecientes
a
0
=
1
L
_
L
0
f(x)dx a
n
=
2
L
_
L
0
f(x) cos
_
nx
L
_
dx
Ejemplo 5 Construir la serie de Fourier de cosenos de f(x) = x en 0 x L
Solucion: Por las caractersticas de la extension en lo que concierne a la continuidad de la funcion
tenemos:
x = a
0
+

n=1
a
n
cos
_
nx
L
_
, 0 x L
a
0
=
1
L
_
L
0
f(x)dx =
1
L
_
L
0
xdx =
1
L
x
2
2
/
L
0
=
L
2
a
n
=
2
L
_
L
0
f(x) cos
_
nx
L
_
dx =
1
L
_
L
0
f(x) cos
_
nx
L
_
dx
a
n
=
_
0 n par

4L
n
2

2
n impar
Finalmente, la serie de Fourier de coseno de f(x) = x en 0 x L es:
L
2

4L

n=1
1
(2n 1)
2
cos
_
(2n 1)x
L
_
7
4 Ejercicio resuelto (Prueba 3, primer semestre 2013)
Considere la salida de un recticador de onda completa, que produce corriente continua pulsante como
muestra la gura. El recticador se puede modelar como un dispositivo que se alimenta con una onda
senoidal ,que deja pasar los pulsos positivos, e invierte los pulsos negativos, es decir:
f(x) =
_
sin(x), si < x < 0
sin(x), si 0 < x <
1. Encuentre la serie de Fourier que representa la se nal.
Solucion: La funcion f es par b
n
= 0
a
0
=

2
_

0
sin(x)dx
=

2
(cos() cos(0))
=
4

a
n
=
2

_

0
sin(x) cos(nx)dx
=
2

_

0
sin(n + 1)x + sin(1 n)x
2
dx
=
1

_
cos(n + 1)x
n + 1
+
cos(1 n)x
1 n
_

0
=
2
(1 n
2
)
((1)
n
+ 1)
a
n
=
_
_
_
0, si n impar
4
(1 n
2
)
, si n par
a
n
=
4
(1 4n
2
)
Por tanto, la serie buscada es:
f(x) =
2

k=1
4
(1 4n
2
)
cos(2nx)
2. Usando el resultado anterior, muestre que:

n=1
1
4n
2
1
=
1
2
8
Solucion:
f(0
+
) = lim
x0
+
sin(x) = 0
f(0

) = lim
x0

sin(x) = 0
Luego la funcon converge a
0 + 0
2
= 0
f(x) =
2

k=1
1
(4n
2
1)
cos(2nx)
0 =
2

k=1
1
(4n
2
1)

=
4

k=1
1
(4n
2
1)
1
2
=

k=1
1
(4n
2
1)
5 Ejercicios propuestos
Problema 1 Sea f(x) periodica de perodo 2 dada por
f(x) =
_
1
2
x, si 0 x 1
x
3
2
, si 1 x 2
a) Determine su serie de Fourier.
b) Estudie la convergencia de la serie en x
0
=
Problema 2
a) Desarrolle en serie de Fourier la funcion periodica de perodo , denida por:
f(x) = x
2
, x
b) A partir del resultado obtenido calcule la suma de:

n=1
1
n
2
Problema 3
a) Desarrolle en serie de Fourier la funcion periodica de perodo 2.
f(x) =
_
0, si x 0
x, si 0 < x
b) A partir del resultado anterior obtenga la suma de la serie:

n=1
1
(2n 1)
2
9
Problema 4
a) Para f(x) = e
[x]
, 0 x 2, encuentre su serie de Fourier en cosenos, de perodo 4.
b) Del resultado anterior determine la convergencia de:

n=1
(1)
n1
(2n 1)
Obs: [x] es la funcion parte entera.
Problema 5 Sea f(x) = xsin x, para x , entonces:
a) Determine la serie de esta funcion.
b) Pruebe la convergencia de la serie:

n=1
(1)
n
(n
2
1)
=
1
4
10