Está en la página 1de 21

Captulo 5

Series de Fourier
5.1. Introduccion
La teora de las series de Fourier se origina a mediados del siglo XVIII
en relaci on con el estudio de la cuerda vibrante. En 1753 Daniel Bernoulli
defenda la tesis de que, para una amplia clase de funciones f(x), era posible
expresar f(x) como una serie de senos

a
n
sen nx.
Sin embargo, otros matematicos de la epoca (como DAlambert y Euler)
pensaban que esto no era posible. Posteriormente, Fourier (1807) usa estos
desarrollos de forma natural en el estudio de la conduccion del calor, pero
no aporta demostraciones. Dirichlet (1829) fue el primero en probar de una
forma rigurosa que la serie de Fourier converge hacia la funci on, si esta es
diferenciable a trozos.
Esta disputa y la obra de Fourier, Theorie Analytique de la Chaleur
(1822), dieron un gran impulso a la claricaci on del concepto de serie y al
desarrollo moderno del concepto de funci on.
Para motivar el estudio de las series de Fourier, vamos a tratar de resolver
un problema de contorno relativo a la ecuaci on del calor por el metodo de
separacion de variables
175
Se demuestra que, si se quiere encontrar la temperatura T(x, t), para
cada instante t > 0, en cada punto de una barra delgada de longitud L,
conocida la temperatura inicial T(x, 0) = f(x) y sabiendo que se mantiene
la temperatura igual a 0

en los extremos de la barra, debemos resolver el


problema de contorno siguiente:
_

_
T
t
= k

2
T
x
2
T(0, t) = T(L, t) = 0, 0 < x < L, t > 0
T(x, 0) = f(x).
El metodo de separacion de variables se basa en la b usqueda de una
soluci on de la ecuaci on y de las condiciones de contorno con la forma u(x, t) =
X(x) (t). Las funciones desconocidas X(x) y (t) pueden determinarse a
partir de las igualdades
_
X

X
=

k
X(0) = X(L) = 0.
La primera igualdad obliga a que las funciones
X

X
y

k
deben ser constantes.
Por tanto, existe una constante real de tal suerte que
X

X
=

k
= .
Para encontrar X(x) y (t), debemos resolver los dos problemas de ecuaciones
diferenciales ordinarias siguientes:
_
X

= X
X(0) = X(L) = 0
y

= k. Este segundo tiene la soluci on inmediata (t) = e


kt
. Para
resolver el primero, escribimos la ecuacion caracterstica de su ecuacion difer-
encial, r
2
= . Si fuese < 0, la soluci on general de la ecuaci on diferencial
vendra dada por
X(x) = c
1
e
(

)x
+ c
2
e
(

)x
,
176
en cuyo caso no habra forma de conseguir que X(0) = X(L) = 0. Por tanto,
debe ser necesariamente > 0. Entonces X(x) = c
1
cos(

)x + c
2
sen(

)x
que, por las condiciones de contorno X(0) = X(L) = 0, se reduce a
X(x) = sen
nx
L
( = (n/L)
2
).
Vemos, pues, que el problema de contorno
_
X

= X
X(0) = X(L) = 0
solo tiene solucion no trivial para = (n/L)
2
(n N). Se dir a que son los
autovalores del problema de contorno. La soluci on no trivial
X
n
(x) = sen
nx
L
que corresponde a cada autovalor
n
= (n/L)
2
se llama la autofunci on
correspondiente.
Volviendo a la funcion T(x, t), el metodo de separaci on de variables nos
ha permitido encontrar soluciones de la ecuacion del calor (que verican las
condiciones de contorno) de la forma
T(x, t) = e
kt(n/L)
2
sen
nx
L
(n N).
Dada la linealidad del problema, tambien es solucion cualquier combinaci on
lineal de funciones de este tipo
T(x, t) =
N

n=1
a
n
e
kt(n/L)
2
sen
nx
L
.
Si nos olvidamos de la cuestion de la convergencia, resulta facil probar que
una suma innita
T(x, t) =

n=1
a
n
e
kt(n/L)
2
sen
nx
L
177
tambien es soluci on de la ecuaci on del calor (y de las condiciones de contorno).
Si queremos que esta ultima funcion verique tambien la condicion inicial
T(x, 0) = f(x), los coecientes a
n
deben escogerse de forma que se cumpla
la igualdad
f(x) =

n=1
a
n
sen
nx
L
.
Es decir, la funcion f(x) debe poder representarse como una suma de senos.
Por tanto, se podra resolver el problema de contorno inicial en cuanto sepa-
mos expresar una funci on dada, f(x), como la suma de una serie de senos:

a
n
sen
nx
L
.
En otras aplicaciones se presenta el problema de expresar una funcion
como la suma de una serie de cosenos,

a
n
cos
nx
L
,
o incluso como la suma de una serie de senos y cosenos

_
a
n
cos
nx
L
+ b
n
sen
nx
L
_
.
5.2. Series trigonometricas
Una serie de la forma
a
0
2
+

n=1
a
n
cos
nx
T
+ b
n
sen
nx
T
, (5.1)
donde los coecientes a
n
y b
n
son constantes reales, se dir a que es una serie
trigonometrica. Un importante problema que se plantea es el de determinar
los valores de x para los que la serie es convergente. Este es el llamado
problema de convergencia. Obviamente, si x es un punto de convergencia
de la serie, entonces tambien lo son todos los puntos de la forma x + 2kT,
178
cualquiera que sea k Z (por ser peri odicas de periodo 2T las funciones
cos
nx
T
y sen
nx
T
). Por tanto, la funci on suma de la serie
S(x) =
a
0
2
+

n=1
a
n
cos
nx
T
+ b
n
sen
nx
T
debe ser periodica de periodo 2T (en su dominio de convergencia).
Pero nos planteamos ahora la situacion recproca. Tenemos una funcion,
f(x), denida en toda la recta real y periodica de periodo 2T. Existe una
serie trigonometrica del tipo (5.1) tal que su suma sea f(x), para cada valor
de x?. Si la hay, como se encuentra?. Este es el llamado problema de
representacion. Existe mas de una serie con tal propiedad?. Este es el
problema de unicidad.
Otro pregunta importante es como se pueden encontrar los coecientes?
La respuesta a esta pregunta no es muy difcil, pero antes necesitamos ten-
er presente una propiedad de las funciones que forman el llamado sistema
trigonometrico, a saber
1, cos
x
T
, sen
x
T
, cos
2x
T
, sen
2x
T
,
, cos
3x
T
, sen
3x
T

Estas funciones son mutuamente ortogonales en cualquier intervalo de lon-
gitud 2T. Concretamente, verican las igualdades
_
T
T
cos
nx
T
cos
mx
T
dx =
=
_
T
T
sen
nx
T
sen
mx
T
dx = 0,
para cada n = m,
_
T
T
sen
nx
T
cos
mx
T
dx = 0,
para cada n, m N, y
_
T
T
cos
nx
T
dx =
_
T
T
sen
nx
T
dx = 0,
179
para n N. Estas igualdades, que se pueden comprobar mediante un calculo
elemental, juegan un papel fundamental en la respuesta a la ultima pregunta.
Tambien usaremos las igualdades elementales
_
T
T
cos
2
nx
T
dx =
_
T
T
sen
2
nx
T
dx = T.
Suponemos en todo lo que sigue, que las funciones que manejamos estan
denidas en toda la recta real, son peri odicas de periodo 2T e integrables en
el sentido de Riemann en el intervalo [T, T]. Sea f(x) una tal funcion de la
que, adem as, sabemos que es representable por una serie trigonometrica, es
decir, verica
f(x) =
a
0
2
+

n=1
a
n
cos
nx
T
+ b
n
sen
nx
T
, (5.2)
para cada x R. Vamos a probar que los coecientes deben ser
a
n
=
1
T
_
T
T
f(x) cos
nx
T
dx, n = 0, 1, 2, (5.3)
y
b
n
=
1
T
_
T
T
f(x) sen
nx
T
dx, n = 1, 2, (5.4)
En efecto, si multiplicamos ambos miembros de (5.2) por cos
mx
T
e inte-
gramos (termino a termino) la igualdad resultante respecto de x en el inter-
valo [T, T], obtenemos
_
T
T
f(x) cos
mx
T
dx =
_
T
T
a
0
2
cos
mx
T
dx+
+

n=1
_
a
n
_
T
T
cos
nx
T
cos
mx
T
dx+
+b
n
_
T
T
sen
nx
T
cos
mx
T
dx
_
.
180
Si suponemos que m 1, la igualdad anterior se reduce a
_
T
T
f(x) cos
mx
T
dx = a
m
_
T
T
cos
2
mx
T
dx =
= a
m
T,
pues las restantes integrales del segundo miembro son nulas en virtud de la
ortogonalidad del sistema trigonometrico. De la igualdad anterior se deduce
a
m
=
1
T
_
T
T
f(x) cos
mx
T
dx , m = 1, 2,
Procediendo de forma an aloga se comprueba que todos los coecientes del
desarrollo (5.2) vienen dados por las formulas (5.3) y (5.4).
Hemos probado, por tanto, que si una funci on f(x) (de periodo 2T e inte-
grable Riemann en [T, T]) es la suma de una serie trigonometrica (igualdad
(5.2)), entonces necesariamente los coecientes de dicha serie est an determi-
nados unvocamente por las igualdades (5.3) y (5.4). Es decir, caso de ser
representable por una serie trigonometrica, solo existe una tal serie que la
represente. Este resultado conduce a la siguiente denici on.
Denicion 5.2.1. Sea f(x) una funcion integrable en [T, T] (recordemos
que suponemos en todo el tema que f esta denida en todo R y es perodica
de periodo 2T). Los n umeros a
n
y b
n
dados por las igualdades
a
n
=
1
T
_
T
T
f(x) cos
nx
T
dx, n = 0, 1, 2,
y
b
n
=
1
T
_
T
T
f(x) sen
nx
T
dx, n = 1, 2, ,
se denominan coecientes de Fourier de f y la serie trigonometrica
a
0
2
+

n=1
a
n
cos
nx
T
+ b
n
sen
nx
T
181
se dira que es la serie de Fourier de f y escribiremos
f(x)
a
0
2
+

n=1
a
n
cos
nx
T
+ b
n
sen
nx
T
.
En la expresion anterior no podemos poner el signo = en lugar de , mien-
tras no hayamos probado por alg un procedimiento que la serie de Fourier de
f(x) es convergente y su suma es precisamente f(x). De esto nos ocuparemos
en la siguiente secci on. Ponemos n a esta indicando el por que de la notaci on
a
0
/2. Escribiendo de esta forma el termino constante de la serie de Fourier
se consigue que a
0
se pueda calcular con la misma formula (5.3) que los a
n
,
sin m as que hacer n = 0.
5.3. El problema de convergencia. Condicion
de Dini
Ahora abordamos el problema de, dada una funci on f(x) integrable en
[T, T] y con periodo 2T, determinar los valores de x para los que la serie
de Fourier de f es convergente y encontrar el valor de la suma de dicha
serie. Se trata de un problema de gran dicultad para el que se han obtenido
condiciones sucientes diversas. Aqu solo vamos a recoger una de ellas, la
condici on de Dini, que es de facil aplicaci on practica. Para darnos una idea
de lo complicado que puede ser el problema de convergencia, podemos citar
el sorprendente resultado que establece que existen funciones continuas cuya
serie de Fourier diverge para un conjunto innito de valores de x. Uno de
los resultados m as recientes, debido a Carleson (1966), establece que la serie
de Fourier de una funci on integrable Riemann (o incluso m as general) es
convergente en casi todos los puntos, pero no se sabe si la suma de la serie
es f(x).
Para facilitar la comprension de la Condici on de Dini, vamos antes a es-
tablecer una notacion comoda. Dada una funci on f y jado x
0
R, supong-
amos que existen los lmites laterales f(x
0
+) y f(x
0
). Se dene la funci on
182
f
d
(x) (la funcion parte derecha de f) por
f
d
(x) =
_
f(x) si x > x
0
f(x
0
+) si x = x
0
.
y f
i
(x) (la funcion parte izquierda de f) por
f
i
(x) =
_
f(x) si x < x
0
f(x
0
) si x = x
0
.
Vemos que f
d
(x) es la propia f(x), para x > x
0
y para x = x
0
toma el valor
natural de f en x
0
, si se la analiza por la derecha.
Teorema 5.3.1. (Condicion de Dini) Sea f integrable en [T, T] y con
periodo 2T y x
0
R. Si f
d
(x) y f
i
(x) son derivables en x
0
a la derecha y a
la izquierda, respectivamente, entonces la serie de Fourier de f converge en
x
0
y su suma es
(f(x
0
+) + f(x
0
))/2.
Es decir, se verica
f(x
0
+) + f(x
0
)
2
=
=
a
0
2
+

n=1
a
n
cos
nx
0
T
+ b
n
sen
nx
0
T
.
Por tanto, si ademas f es continua en x
0
, entonces la serie de Fourier de f
converge y su suma es f(x
0
).
En particular, se sigue del Teorema precedente que, para toda funcion
continua ( periodica ) con la propiedad de que en cada punto tiene derivadas
laterales, se verica la igualdad deseable
f(x) =
a
0
2
+

n=1
a
n
cos
nx
T
+ b
n
sen
nx
T
,
para cualquier x R.
183
5.4. Funciones pares e impares
Cuando la funcion f es par o impar, la serie de Fourier asociada no tiene
terminos de la forma sen
nx
T
o cos
nx
T
, seg un el caso. Este hecho puede ser
explotado para desarrollar una funcion en serie de cosenos o en serie de senos.
A) FUNCIONES PARES. Recordemos que una funcion f : R R se
llama par si verica f(x) = f(x), para cada x R. Vamos a probar que,
en tal caso, los coecientes b
n
son nulos y que los a
n
pueden calcularse por
las formulas
a
n
=
2
T
_
T
0
f(x) cos
nx
T
dx, n = 0, 1, 2, (5.5)
Empezamos calculando el coeciente b
n
b
n
=
1
T
_
T
T
f(x) sen
nx
T
dx =
=
1
T
_
_
0
T
f(x) sen
nx
T
dx +
_
T
0
f(x) sen
nx
T
dx
_
.
Ahora, mediante un cambio de variable, veremos que la segunda integral es
igual a la primera cambiada de signo. En efecto, haciendo el cambio x = t
en la segunda integral
_
T
0
f(x) sen
nx
T
dx =
_
T
0
f(t) sen
n(t)
T
(dt) =
_
0
T
f(t) sen
n(t)
T
dt =
=
_
0
T
f(t) sen
n(t)
T
dt
en el ultimo paso hemos usado el hecho de que f es par y sen
n(t)
T
impar. La
prueba de que a
n
puede determinarse por la igualdad (5.5) es similar. Basta
hacer el cambio de variable en la integral siguiente
_
0
T
f(x) cos
nx
T
dx =
184
=
_
0
T
f(t) cos
n(t)
T
(dt) =
=
_
T
0
f(t) cos
n(t)
T
dt =
=
_
T
0
f(t) cos
nt
T
dt
en el paso nal se ha usado que tanto f como cos
nt
T
son pares.
Queda probado, pues, que si f es par y tiene periodo 2T, entonces su serie
de Fourier tiene la forma
f(x)
a
0
2
+

n=1
a
n
cos
nx
T
,
con los coecientes a
n
dados por
a
n
=
2
T
_
T
0
f(x) cos
nx
T
dx, n = 0, 1, 2, 3 .
B) FUNCIONES IMPARES. f se llama impar si verica f(x) = f(x),
para cada x R. Si f es impar y tiene periodo 2T, su serie de Fourier tiene
la forma
f(x)

n=1
b
n
sen
nx
T
,
con los coecientes b
n
dados por
b
n
=
2
T
_
T
0
f(x) sen
nx
T
dx, n = 1, 2, 3 .
En este caso omitimos las pruebas pues son semejantes a las del caso anterior.
Nota 5.4.1. Hemos visto en la introducci on que en las aplicaciones pode-
mos encontrarnos con el problema de desarrollar en serie de solo senos una
funcion denida en cierto intervalo. Vamos a ver como podemos explotar los
185
resultados anteriores para resolver este tipo de problemas. Para simplicar,
supongamos que tenemos la funci on f(x) = x denida en el intervalo (0, L)
y nos piden que la desarrollemos en serie de senos. Como la teora que hemos
desarrollado hasta el momento es valida para funciones denidas en toda
la recta real y con periodo 2T, no hay problema alguno en denir nuestra
funcion fuera del intervalo (0, L) de modo que resulte una funci on impar y
de periodo 2L. El desarrollo en serie de la nueva funcion solo contiene senos
por tratarse de una funcion impar y nos sirve, en particular, para la funcion
inicial que solo estaba denida en (0, L). Una vez obtenido el desarrollo en
serie de senos, se estudia su convergencia usando la condici on de Dini. El
desarrollo tendra la forma
x

n=1
b
n
sen
nx
L
(0 < x < L),
y los coecientes vienen dados por
b
n
=
2
L
_
L
0
x sen
nx
L
dx, n = 1, 2, 3,
Empezamos calculando los coecientes integrando por partes
b
n
=
2
L
_
L
0
x sen
nx
L
dx =
=
2
L
_
_

L
n
x cos
nx
L

x=L
x=0
+
_
L
0
L
n
cos
nx
L
dx
_
=
=
2
L
_

L
2
n
cos n +
L
2
n
2

2
_
sen
nx
L

x=L
x=0
_
=
=
2L
n
cos n =
2L(1)
n+1
n
(se ha usado la igualdad cos n = (1)
n
). Luego el desarrollo pedido es
x

n=1
2(1)
n+1
L
n
sen
nx
L
.
186
Ahora usaremos la condici on de Dini para determinar si la serie obtenida es
convergente y su suma es f(x) = x. Nuestra funcion es continua y derivable
en cada punto de (0, L), por tanto, la condici on de Dini nos asegura que la
serie es convergente y su suma es f(x). Hemos probado, pues, la igualdad
x =

n=1
2(1)
n+1
L
n
sen
nx
L
, 0 < x < L.
Si quisieramos descubrir si la serie es convergente para x = L, debemos
notar que por la periodicidad de f debe ser f(L) = f(L). Pero, ademas, f
es impar, por tanto, tambien f(L) = f(L). Resulta, pues que se verica
f(L) = 0 (estamos manejando la funci on que se extendi o a toda la recta
real). Vamos a estudiar el caso concreto x = L, pues el otro es similar. Es claro
que f(L+) = L, f(L) = L y las funciones f
d
(x) y f
i
(x) tienen derivada a
la derecha y a la izquierda, respectivamente. Por tanto, la condicion de Dini
nos asegura que la serie es convergente y su suma vale
f(L+)+f(L)
2
= 0. Es
decir, se verica
0 =

n=1
2(1)
n+1
L
n
sen
nL
L
=
=

n=1
2(1)
n+1
L
n
sen n,
lo que, por otro lado, es una igualdad obvia, pues cada sumando de la serie
es nulo por ser sen n = 0, para todo n natural.
5.5. Propiedades de los coecientes de Fouri-
er
1) Identidad de Parseval.
Se demuestra que toda funcion f integrable en el sentido de Riemann en
[T, T] y con periodo 2T verica la llamada identidad de Parseval
a
2
0
2
+

n=1
_
a
2
n
+ b
2
n
_
=
1
T
_
T
T
f(x)
2
dx.
187
A partir de esta identidad se obtienen las desigualdades de Bessel sigu-
ientes

n=1
a
2
n

1
T
_
T
T
f(x)
2
dx

n=1
b
2
n

1
T
_
T
T
f(x)
2
dx.
En particular, se sigue que
lm
n
a
n
= lm
n
b
n
= 0.
2) Relacion entre los coecientes de Fourier de una funcion y su derivada
Si f es una funcion peri odica de periodo 2T con derivada integrable en
[T, T], entonces tambien f

tiene periodo 2T. Vamos a encontrar la relacion


que existe entre los coecientes de Fourier de ambas. Haciendo uso de la
formula de integraci on por partes, resulta
a
n
=
1
T
_
T
T
f(x) cos
nx
T
dx =
=
1
T
_
T
n
_
f(x) sen
nx
T

x=T
x=T

_
T
T
T
n
f

(x) sen
nx
T
dx =
=
1
n
_
T
T
f

(x) sen
nx
T
dx =
T
n
b
n
(f

).
Procediendo de la misma forma se obtiene la relaci on entre los otros coe-
cientes. Las siguientes igualdades recogen estas relaciones
a
n
=
T
n
b
n
(f

), b
n
=
T
n
a
n
(f

), n = 1, 2,
Nota 5.5.1. Precisamente las relaciones anteriores son la base para de-
mostrar que las funciones (periodicas) con derivada integrable Riemann tienen
188
la propiedad de que su serie de Fourier converge uniformemente hacia f(x).
Recordamos que esto signica que, dado > 0, puede encontrarse n
0
de modo
que
|f(x)
_
a
0
/2 +
n

k=1
(a
k
cos
nk
T
+ b
k
sen
kx
T
)
_
| < ,
cualesquiera que sean x R y n n
0
. Por tanto, las sumas parciales de la
serie de Fourier convergen hacia f(x) con la misma velocidad para todos los
x. Este hecho es de suma importancia, pues cuando una serie de funciones
converge uniformemente, se demuestra que esta puede derivarse e integrarse
miembro a miembro. As, por ejemplo, la integral de una tal f(x) verica
_
b
a
f(x) dx = (a
0
/2)
_
b
a
f(x) dx+
+

n=1
_
a
n
_
b
a
f(x) cos
nx
T
dx+
+b
n
_
b
a
f(x) sen
nx
T
dx
_
.
PROBLEMAS RESUELTOS
1. Obtener el desarrollo de Fourier de una funcion f periodica de periodo
2, sabiendo que f(x) = x(2 x), para 0 x 2.
Empezamos dibujando la graca de f(x).
Vemos que es una funcion par (simetrica respecto del eje OY) y de
periodo 2. Por tanto, en este caso T = 1 es el semiperiodo y el intervalo
fundamental es [1, 1]. Por ser par, los coecientes b
n
son todos nulos
y solo necesitamos calcular los a
n
. Primero calculamos a
0
a
0
= 2
_
1
0
(x(2 x) dx = 2
_
x
2

x
3
3

x=1
x=0
=
189
Y
X
0 2
-2 1
-1
3
= 2(1
1
3
) = 4/3.
A continuaci on calculamos los a
n
, para n 1, integrando por partes
dos veces
a
n
= 2
_
1
0
f(x) cos
nx
1
dx =
2
(n)
2
.
Por tanto, la serie de Fourier tiene la forma
f(x) a
0
/2 +

n=1
a
n
cos
nx
1
=
= 2/3
2

n=1
cos nx
n
2
.
Ahora debemos estudiar la convergencia de la serie. Para ello, usamos
la condici on de Dini. Como nuestra funci on es continua en todo R y
tiene derivadas laterales en todos los puntos, se deduce que la serie
converge y su suma es f(x), cualquiera que sea x R.
2. Hallar la serie de Fourier de la funcion
f(x) =
_
0, x 0
x, 0 < x
190
Denimos la funcion fuera de (, ) de modo que sea peri odica de
periodo 2. Su gr aca tiene la forma
X
Y
0
p
-p
2p
Calculamos los coecientes de Fourier:
a
0
=
1

f(x) dx =
1

_

0
xdx =

2
,
a
n
=
1

f(x)cos nx dx =
1

_

0
xcos nx dx =
=
_

2
n
2
si n es impar,
0 si n es par,
b
n
=
1

f(x)sennx dx =
1

_

0
xsennxdx =
=
(1)
n+1
n
, n.
Entonces la serie de Fourier viene dada por

4

2

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

n=1
(1)
n+1
sennx
n
.
191
Ahora estudiamos la convergencia de la serie. Para x (, ), se
trata de una funcion continua y con derivadas laterales. Por tanto, la
condici on de Dini nos garantiza que la serie de Fourier es convergente
y su suma es f(x). EL estudio en los otros puntos es similar, por lo
que vamos a considerar el caso x = . En este punto la funci on es
discontinua, pero las funciones f
d
y f
i
son derivables a la derecha y a
la izquierda, respectivamente. Entonces la condicion de Dini nos dice
que la serie de Fourier es convergente para x = y su suma es
f(+) + f()
2
=
0 +
2
.
3. Obtener el desarrollo en cosenos de la funcion
f(x) =
_
x, 0 x 2
4 x, 2 < x 4
Denimos f fuera del intervalo [0, 4] de modo que la funci on sea par y
peri odica de periodo 4.
Y
X
0 2
4
-2
-4
Obtenemos un desarrollo en cosenos de la nueva funci on con
a
0
=
2
2
_
2
0
f(x) dx =
_
2
0
xdx = [
x
2
2
]
x=2
x=0
= 2.
192
A continuacion calculamos los coecientes a
n
(n 1):
a
n
=
2
2
_
2
0
f(x)cos
n
2
xdx =
_
2
0
xcos
n
2
xdx.
Integrando por partes, se obtiene
a
n
=
_
0, si n par,

4
n
2

2
, si n impar.
Por tanto, la serie de Fourier en cosenos es
a
0
2
+

n=1
a
n
cos
n
2
x =
= 1

n=1
8
(2n 1)
2

2
cos
(2n 1)
2
x.
Como f(x) es continua y tiene derivadas laterales en todo punto, se
sigue que la serie es convergente y su suma es f(x).
4. Hallar la serie de Fourier en senos de la funcion f(x) = 1, x [0, 2].
Y
X
0
2 -2
Denimos f fuera del intervalo [0, 2] procurando que sea impar y per-
i odica de periodo 4. Como la funci on f es impar, a
n
=0, para todo n.
193
Por otra parte,
b
n
=
2
2
_
2
0
sen
nx
2
dx =
2
n
(1 cos n) =
=
2
n
(1 (1)
n
) =
_
0, n par
4
n
, n impar.
En consecuencia, el desarrollo en senos de f es

n=1
2
n
(1 cos n)sen
nx
2
=
=

n=1
4
(2n 1)
sen
(2n 1)x
2
.
La condicion de Dini nos asegura la convergencia de la serie hacia f(x),
para cada x (0, 2). Para x = 0 o x = 2 la serie de Fourier converge
hacia cero.
PROBLEMAS PROPUESTOS
1. Hallar la serie de Fourier de la funcion
f(x) =
_
0 si x 0
sen x si 0 x ,
indicando si la suma de la serie coincide con la funci on.
Soluci on:
f(x) = 2/ + (1/2) sen x + (2/)

k=1
cos 2kx
1 4k
2
, para cada x R.
194
2. Hallar el desarrollo de Fourier de la funci on peri odica de periodo 2
denida por f(x) = e
x
, para x [, ]. Estudiar la convergencia y
suma de la serie.
Soluci on: f(x) =
= senh
_
1

+ 2

n=1
(1)
n
( cos nx nsen nx)

2
(1 + n
2
)
_
,
para cada x distinto de un m ultiplo entero de .
3. Desarrollar en serie de Fourier la funcion f(x) = | cos x|, para cada
x R.
Soluci on:
f(x) = 2/ +cos 2x+(4/)

k=1
(1)
k
1 4k
2
cos 4kx, para cada x R (f es
peri odica de periodo y par).
4. Desarrollar en serie de senos la funci on f(x) = x en el intervalo
(0, ). Aplicar la condici on de Dini para estudiar la convergencia.
Soluci on:
f(x) =

n=1
2
n
sen nx, para 0 < x .
5. Desarrollar en serie de cosenos la funci on
f(x) =
_
x si 0 < x 1
2 x si 1 < x < 2,
Soluci on:
f(x) = (1/2) (4/
2
)

n=0
cos(2n + 1)x
(2n + 1)
2
, para todo x (0, 2) .
195