w

w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Calculo: Series Funcionales. Taylor y Fourier
Antonio Garvn
Curso 04/05
1 Sucesiones de funciones
De forma analoga a como hicimos con las sucesiones de n umeros reales,
podemos denir una sucesion de funciones como una aplicacion : N F,
siendo F el conjunto formado por todas las funciones reales. Si (n) = f
n
,
denotamos la sucesion por {f
n
} o tambien f
1
, f
2
, f
3
, , f
n
,
1.1 Lmite puntual de una sucesion de funciones
Supongamos que tenemos una sucesion de funciones {f
n
} denidas en un
cierto dominio D, f
n
: D R.
Dado un x
0
D, tenemos la sucesion numerica {f
n
(x
0
)}. Supongamos
que existe el lmite de esta sucesion numerica, l
0
= limf
n
(x
0
), y es un
n umero real l
0
R. Si para cada x
0
D se puede hacer esto podermos
denir una funcion f
:
D R haciendo f(x
0
) = l
0
. A esta fun cion se la
denomina lmite puntual de la sucesion {f
n
}.
f(x) = limf
n
(x) x D.
1.2 Ejemplo
1. Sea f
n
(x) = nx, solo existe limf
n
(x) para x = 0.
Por tanto no existe en R la funcion lmite puntual de f
n
(x) = nx.
2. Consideremos la sucesion f
n
(x) = x
n
denidas en el intervalo [0, 1]
f
n
: [0, 1] R x f
n
(x) = x
n
El lmite puntual de la sucesion f
n
(x) = x
n
es la funcion
f(x) =
_
0 si x [0, 1)
1 si x = 1
.
1
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
3. Sea ahora la funcion f
n
(x) =
sennx
n
. El lmite puntual de f
n
(x) =
sennx
n
es la funcion nula
f(x) = 0 x R.
2 Convergencia puntual y uniforme
Como ya hemos visto, el lmite puntual de una sucesion de funciones no
tiene porque existir. En el caso de que si exista que quiere decir que
f
n
converge puntualmente a f? Para analizar esto consideremos un punto
x
1
D, f
n
: D R, y la sucesion f
n
(x
1
). Debe ser f(x
1
) = limf
n
(x
1
), es
decir que
> 0 N
1
/ | f
n
(x
1
) f(x
1
) |< si n N
1
Si ahora considero otro punto x
2
D, f
n
: D R, y la sucesion f
n
(x
2
).
Debe ser f(x
2
) = limf
n
(x
2
), es decir que
> 0 N
2
/ | f
n
(x
2
) f(x
2
) |< si n N
2
En general dado x D, debe ser f(x) = limf
n
(x), es decir que
> 0 N
x
/ | f
n
(x) f(x) |< si n N
x
.
En general el lugar N a partir del cual se cumple que | f
n
(x) f(x) |<
depende de x ya que para cada x, f
n
(x) es una sucesion distinta.
Pues bien cuando sea posible elegir un N que sirva para todos los x
diremos que la convergencia es uniforme y que f es el lmite uniforme de f
n
.
2.1 Denicion:
Supongamos que existe f el lmite puntual de f
n
. Decimos que f es el lmite
uniforme de f
n
o que f
n
converge uniformemente a f si dado > 0 N /
| f
n
(x) f(x) |< , x D.
Por denicion la convergencia uniforme implica la convergencia puntual.
Por otro lado esta denicion no es muy operativa en la practica, de esta forma
nos planteamos lo siguiente Como se sabe en la practica si la convergencia
es puntual o uniforme?
2.2 Propiedades:
1. Si f
n
f (uniformemente) y f
n
es continua n, entonces f es con-
tinua.
2
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
2. Si f
n
f (uniformemente) y f
n
es continua n, entonces
lim
_
b
a
f
n
(x)dx =
_
b
a
limf
n
(x)dx.
3. Supongamos que | f
n
(x) f(x) | a
n
, n, x D, siendo {a
n
} una
sucesion de n umeros que tiende a cero, lima
n
= 0. Entonces f
n
f
(uniformemente).
2.3 Ejemplos:
1. La sucesion f
n
(x) =
sennx
n
hemos visto que converge puntualmente
a f(x) = 0, la funcion nula. Converge uniformemente? Fijemonos
que |
sen nx
n
0 |=|
sennx
n
|
1
n
, x R. Por tanto aplicando la
propiedad 3 tenemos que
sen nx
n
(unif.)
0.
2. Hemos visto que la sucesion de funciones f
n
(x) = x
n
denidas en
[0, 1] convergen puntualmente a f(x) =
_
0 si x [0, 1)
1 si x = 1
. Lo hacen
uniformemente? Si tratamos de hacer que | f
n
(x) f(x) | a
n
, para
alguna sucesion numerica a
n
, con a
n
0, no se nos ocurre cual tomar.
El no encontrarla no es suciente para negar la convergencia uniforme,
pero si lo sera si encontramos alguna propiedad que respeta la conver-
gencia uniforme y que en este caso no lo hace. Esto es lo que ocurre
ya que todas las funciones x
n
son continuas y si la convergencia fuese
uniforme por la propiedad 1 f debera ser continua, y no lo es, ya
que no lo es en 0. Como conclusion obtenemos que la convergencia no
es uniforme. x
n
f(puntualmente), pero x
n
f(uniformemente).
Este ejemplo nos muestra que la convergencia puntual uniforme.
3 Series de funciones, o series funcionales
Al igual que con n umeros reales podemos asociar a una sucesion {f
n
} de
funciones una serie, la sucesion de sus sumas parciales. As S
1
= f
1
, S
2
=
f
1
+ f
2
, S
3
= f
1
+ f
2
+ f
3
, y en general S
n
= f
1
+ f
2
+ + f
n
. Tenemos
as las sucesion {S
n
} de sumas parciales de la sucesion {f
n
}. Supongamos
que S
n
(x) g(x) puntualmente x D, en este caso decimos que la serie
de termino general f
n
, que notamos por

n=1
f
n
, converge puntualmente a g
3
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
y escribimos

n=1
f
n
= g. Esto es:

n=1
f
n
= lim
(punt.)
S
n
= g en D
o tambien,

n=1
f
n
(x) = lim
(punt.)
S
n
(x) = g(x) x D
A D se le llama el campo de convergencia de la serie funcional

n=1
f
n
.
Si ocurre que ademas S
n
(x) g(x) uniformemente en D, decimos que
la serie

n=1
f
n
converge uniformemente a g. Esto es:

n=1
f
n
= lim
(unif.)
S
n
= g en D
o tambien,

n=1
f
n
(x) = lim
(unif.)
S
n
(x) = g(x) x D
Como ver en la practica que una serie converge uniformemente?
3.1 Teorema:
Supongamos que la serie

n=1
f
n
de funciones f
n
: D R es tal que:
| f
n
(x) | M
n
x D, n 1

n=1
M
n
converge
Entonces para cada x D la serie numerica

n=1
f
n
(x) converge absoluta-
mente (esto ya lo sabamos, es aplicacion directa del criterio de acotacion),
en particular converge puntualmente en D. Se verica ademas que la con-
vergencia es uniforme en D.
4
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
3.2 Ejemplos:
1.

n=1
cos nx
n

n
, x R
|
cos nx
n

n
|
1
n

n
= M
n
,

M
n
converge

n=1
cos nx
n

n
converge absolutamente x R,
en particular converge, y ademas

n=1
cos nx
n

n
converge uniformemente
en R.
2. Sea x [2, ), estudiemos

n=1
n
x
.
n
x
=
1
n
x
<
1
n
2
,

n=1
1
n
2
converge.
Por tanto para cada x [2, )

n=1
n
x
converge absolutamente. Ademas

n=1
n
x
converge uniformemente en [2, ).
-
3.3 Propiedades(Consecuencia de las propiedades para suce-
siones funcionales):
1. Si todas las f
n
son continuas y

n=1
f
n
converge uniformemente en D a
f, entonces f es continua.
2. Si todas las f
n
son integrables en [a, b] y la serie converge uniforme-
mente en [a, b],

n=1
f
n
= f(unif.). Entonces
_
b
a

n=1
f
n
=

n=1
_
b
a
f
n
5
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
es decir
_
b
a
f =

n=1
_
b
a
f
n
.
4 Series de Potencias
4.1 Denicion:
Una serie de potencias es una serie de funciones polinomicas de la forma

n=1
a
n
(x a)
n
. Decimos que esta centrada en x = a ya que cada f
n
(x) =
a
n
(x a)
n
es una potencia de (x a), es decir un monomio en x a.
Vamos a estudiar las que estan centradas en x = 0, ya que el cambio
y = x a nos reduce a este caso.
[

n=1
a
n
(x a)
n
=

n=1
a
n
y
n
, y = x a]
Por tanto realizamos el estudio para series del tipo

n=1
a
n
x
n
, centradas en
0.
4.2 Teorema
Toda serie de potencias del tipo

n=1
a
n
x
n
, esta en uno de los siguientes casos:
a) La serie converge unicamente en el valor x = 0.
b) La serie converge absolutamente en todo R.
c) La serie converge absolutamente en un intervalo de la forma (R, R) y
diverge fuera de [R, R]. En los extremos, x = R y x = R puede
converger o no.
En el primer caso se dice que el radio de convergencia es 0. En el segundo
que es . En el tercer caso se dice que el radio de convergencia es R.
Si jamos un x R la serie funcional se convierte en una serie numerica.
Podemos considerar la serie en valor absoluto e intentar aplicar los criterios
que vimos para series de terminos positivos. Si suponemos que l = lim
n
_
| a
n
|
y aplicamos el criterio de la raiz a la serie

n=1
| a
n
x
n
|=

n=1
| a
n
|| x |
n
6
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
lim
n
_
| a
n
|| x |
n
=| x | lim
n
_
| a
n
| =| x | l
As pues si | x | l < 1 la serie converge absolutamente, y si | x | l > 1 la
serie diverge. Es decir seg un que | x |<
1
l
o que | x |>
1
l
hay convergencia
absoluta o divergencia. Por tanto y de acuerdo con el teorema enunciado
anteriormente el radio de convergencia es R =
1
l
. A falta de analizar los
casos l = 0 y l = que son inmediatos, tenemos el siguiente resultado:
4.3 Proposicion:
Supongamos que l = lim
n
_
| a
n
| y R es el radio de convergencia de la serie

n=1
a
n
x
n
. Entonces:
1. Si l (0, ) R =
1
l
2. Si l = 0 R =
3. Si l = R = 0
4.4 Nota
Recordemos que si existe el lmite del cociente, entonces existe el lmite de
la raiz y son iguales,
l = lim
| a
n+1
|
| a
n
|
l = lim
n
_
| a
n
|
4.5 Ejemplos:
(1)

n=1
(1)
n
x
n
n
, aqu a
n
=
(1)
n
n
n
_
| a
n
| =
n
_
1
n
,
| a
n+1
|
| a
n
|
=
1/(n + 1)
1/n
=
n
n + 1
1
As pues l = 1, de donde R = 1/l = 1
Para x = 1 queda

n=1
(1)
n
n
que converge por Leibnitz.
Para x = 1 queda

n=1
1
n
que diverge.
7
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Por tanto el campo de convergencia es (1, 1]
(2)

n=1
(1)
n
x
2
n
2n
, aqu identicando con

n=1
a
n
x
n
resulta que | a
n
|= 0
si n es impar, y | a
n
|=
1
n
si n es par. De esta forma no existe lim
n
_
| a
n
|
y por tanto no podemos aplicar el criterio anterior. En este caso nos vemos
obligados a estudiar directamente la convergencia para cada x.
Dado un x jo estudio (en valor absoluto) la serie numerica (

n=1
(1)
n
x
2n
2n
.
Aplico el criterio del cociente
x
2n+2
/(2n + 2)
x
2n
/(2n)
=
2n
2n + 2
x
2
x
2
Por tanto converge si x
2
< 1 x (1, 1), y diverge si si x
2
> 1
x (, 1) (1, ). As el radio de convergencia es 1.
Para x = 1 y x = 1 se obtiene

n=1
(1)
n
n
que converge. El campo de
convergencia es, por tanto, el intervalo [1, 1].
-
Hasta aqu la convergencia que hemos analizado es puntual, sin embargo
se tiene el siguiente resultado que nos indica que este analisis es suciente
para las series de potencias.
4.6 Teorema
Sea S la funcion dada por S(x) =

n=1
a
n
x
n
.
1. La serie converge uniformemente a S en todo intervalo cerrado con-
tenido en su campo de convergencia.
2. S es continua en todo su campo de convergencia.
3. Las primitivas de S son series de potencias que tienen el mismo radio
de convergencia que S, y que se obtienen integrando termino a termino.
Concretamente
_

n=1
a
n
x
n
=

n=1
_
a
n
x
n
+ C =

n=1
a
n
n + 1
x
n+1
+ C
8
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
4. S es derivable. Su derivada es otra serie de potencias que tiene igual
radio de convergencia que S, y que se obtienen derivando termino a
termino.
d
dx
_

n=1
a
n
x
n
_
=

n=1
d
dx
(a
n
x
n
) =

n=2
na
n
x
n1
4.7 Ejemplo:
Vamos a calcular la suma de la serie

n=1
(1)
n
1
n
, que sabemos converge por
Leibnitz.
Dada la serie

n=1
x
n
, para cada x es geometrica de razon x, y por tanto
converge solo si | x |< 1. Ademas lo hace a

n=1
x
n
=
1
1 x
Por ser una serie de potencias la convergencia es uniforme, y el lmite uni-
forme es una funcion integrable, continua y derivable. En particular
_
1
1 x
dx =

n=0
x
n+1
n + 1
+ C x (1, 1)
log(1 x) = C +

n=0
x
n+1
n + 1
evaluando en x = 0, obtenemos C = 0, y evaluando en x
log(1 + x) =

n=1
(1)
n
x
n
n
, x (1, 1)
Fijemonos en que ahora la serie de la dercha converge en x = 1 (se ha
modicado el campo de convergencia al integrar). Por la continuidad de la
serie

n=1
(1)
n
x
n
n
en el punto x = 1, se tiene que
log(2) =

n=1
(1)
n
1
n
de donde

n=1
(1)
n
1
n
= log 2
9
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
5 Series de Taylor
Vamos a recordar algunas cosas que ya vimos al hablar del polinomio de
Taylor y vamos a justicarlas usando los resultados que hemos estado viendo.
5.1 Denicion
Sea f innitas veces derivable en I, intervalo abierto, y sea a I. La serie
de Taylor de f en I centrada en a, es la serie funcional

n=0
f
(n)
(a)
n!
(x a)
n
5.2 Observacion
Fijemonos en que la serie de Taylor es una serie de potencias, por tanto se
verican todas las propiedades que hemos estudiado.
Supongamos que la serie converge en un punto x = x
0
, entonces tenemos
el n umero

n=0
f
(n)
(a)
n!
(x
0
a)
n
. Decimos que la serie de Taylor representa a f en x
0
,
si ocurre que el n umero anterior es exactamente f(x
0
)
f(x
0
) =

n=0
f
(n)
(a)
n!
(x
0
a)
n
Fijemonos en que al menos en el punto x = a la serie representa a la
funcion, ya que trivialmente se tiene la igualdad

n=0
f
(n)
(a)
n!
(a a)
n
= f(a) + f

(a)(a a) + = f(a) + 0 + 0 + = f(a)

Tambien vimos que se tena el siguiente resultado
5.3 Teorema
La serie de Taylor de f en a representa a f en x
0
si y solo si limR
n
(x
0
) = 0
y como consecuencia de esto y teniendo en cuenta que
R
n
(x
0
) =
f
(n+1)
(c)
(n + 1)!
(x
0
a)
n+1
, c entre x
0
y a
obtenamos la siguiente
10
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
5.4 Consecuencia:
Si | f
n)
(x) | M, M R, n, x I. Entonces la serie de Taylor de f
representa a la f en todos los puntos de I, f(x) = T
f,a
(x).
5.5 Ejemplos
(1)
sen x = x
x
3
3!
+
x
5
5!

x
7
7!
+ + (1)
n
x
2n+1
(2n + 1)!
+
cos x = 1
x
2
2!
+
x
4
4!

x
6
6!
+ + (1)
n
x
2n
(2n)!
+
e
x
= 1 + x +
x
2
2!
+
x
3
3!
+ +
x
n
n!
+
Desarrollos de Taylor en x = 0. sen x y cos x tienen derivadas acotadas por
tanto representan en todo R. La igualdad es valida x R.
Para la exponencial, dado x
0
elegimos M talque x
0
(M, M). En-
tonces e
M
acota la derivada n x (M, M). En particular representa en
el punto x = x
0
. Como se puede hacer para todos los puntos, representa en
todo R. La igualda es valida en todo R.
(2) Encontrar el desarrollo de log x en el punto 1 ( o log(1+x) en x = 0)no
es tan inmediato ya que las sucesivas derivadas se van complicando, si bien
no es imposible existen maneras mas sencillas aplicando las propiedades de
las series de potencias.
La derivada de log(1+x) es
1
1 + x
que podemos expresar como
1
1 (x)
.
Lo anterior es precisamente la suma de una serie geometrica de razon x.
Como estas series convergen si | x |< 1, resulta que si x (1, 1) se tiene
la igualdad

n=0
(x)
n
=
1
1 (x)
=
1
1 + x
=
d
dx
(log(1 + x))
es decir

n=0
(1)
n
x
n
=
d
dx
(log(1 + x))
Si integramos se tiene que en (1, 1)

n=0
(1)
n
x
n+1
n + 1
= log(1 + x) + C
11
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Haciendo x = 0 determinamos que C = 0. Por la continuidad y dado que
la serie obtenida converge en x = 1 (y diverge en x = 1) podemos armar
que
log(1 + x) = x
x
2
2
+
x
3
3

x
4
4
+ + (1)
n+1
x
n
n
+
desarrollo valido en (1, 1]. Mejorando ligeramente el resultado que veamos
al hablar de las series de Taylor dentro de las series numericas.
(3)
Si f(x) = arctag x f

(x) =
1
1 + x
2
, que puedo pensarlo como la suma
de una geometrica de razon x
2
y termino inicial 1, que converge si
| x
2
|< 1 x
2
< 1 | x |< 1 x (1, 1)
As f

(x) = 1 x
2
+ x
4
x
6
+ + (1)
n
x
2n
+ , x (1, 1).
Integrando primero y haciendo x = 0 despues, para determinar la con-
stante que aparece, obtenemos que en (1, 1)
arctag x = x
x
3
3
+
x
5
5

x
7
7
+ + (1)
n
x
2n+1
2n + 1
+
Pero de nuevo por la continuidad y dado que la serie converge en los extremos
del intervalo, resulta que el desarrollo anterior es valido en [1, 1]. De nuevo
esto mejora el resultado que adelantabamos al nal de las series numericas.
5.6 Comentario:
Hemos dicho que es la continuidad, junto con el hecho que la serie converja en
el extremo lo que nos permite asegurar que la igualdad puede ser extendida
a ese extremo. Para ser totalmente precisos el razonamiento que justique
esto podroa ser el siguiente: Tenemos S(x) =

n=1
a
n
x
n
para cada x I,
siendo I el campo de convergencia de la serie. Sabemos que S es continua,
es decir que lim
xa
S(x) = S(a).
Por otro lado sabemos que para una cierta funcion f se tiene que en
el interior de I,

I, f(x) = S(x), pero no tenemos en principio asegurado
que en un extremo sean iguales. Esto es, en principio si x
0
es un extremo
del intervalo tenemos dos n umeros f(x
0
) y S(x
0
) que no sabemos que sean
iguales.
Resulta que si f es continua si son iguales ya que
S(x
0
) = lim
xx
0
x

I
S(x) = lim
xx
0
x

I
f(x) = f(x
0
)
12
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
6 Series de Fourier
Seas f una funcion periodica de periodo 2 (es decir f(x) = f(x + 2),
x R) y continua a trozos en [, ]. Se llama serie de Fourier de f, a la
serie
a
0
2
+

n=1
(a
n
cos nx + b
n
sen nx)
donde los coecientes a
n
y b
n
vienen dados por:
a
n
=
1

f(x) cos nxdx =

1

_
2
0
f(x) cos nxdx
b
n
=
1

f(x) sen nxdx =

1

_
2
0
f(x) sen nxdx
para cada n 0. Fijemonos que siempre b
0
= 0.
6.1 Ejemplo:
sea f(x) =
_
0, si x [, /2) (/2, ]
1, si x [/2, /2]
y extendida por periodicidad
fuera de [, ]. Quien es su serie de Fourier?
Es facil comprobar que a
0
= 1. Para n > 0
a
n
=
1

f(x) cos nxdx =

1

_
/2
/2
f(x) cos nxdx =
=
1

sen nx
n
_
/2
/2
=
1

2 sen (n/2)
n
b
n
=
1

f(x) sen nxdx =

1

_
/2
/2
f(x) sen nxdx =
=
1

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

0 = 0
As pues la serie de Fourier es
1
2
+
2

cos x
2
3
cos 3x +
2
5
cos 5x
2
7
cos 7x +
que resulta ser una serie de cosenos.
13
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
El ejemplo anterior es un caso particular de un hecho que afecta a todas
las funciones que son pares. Fijemonos en que f(x) = f(x) para la funcion
f del ejemplo anterior, es decir f es par. Por tanto al ser sen nx una
funcion impar, su producto f(x) sen nx resulta ser impar. De esta manera
y sin hacer el calculo explcito
_

f(x) sen nxdx = 0 ya que entre 0 y

toma los mismos valores, pero de signo opuesto, que entre 0 y , y as
_

=
_
0

+
_

0
= AA = 0
Por otro lado al ser cos nx una funcion par f(x) cos nx es par, y de esta
forma toma los mismos valores entre y 0 que entre 0 y . Por tanto
_

= 2
_

0
.
As pues si f es una funcion par se tiene que:
a
n
= 2
_

0
f(x) cos nxdx y b
n
= 0
por tanto su serie de Fourier es siempre una serie de cosenos (y el coseno es
par).
Por otro lado razonando analogamente si f es una funcion impar, es
decir, f(x) = f(x), f(x) cos nx es una funcion impar y por tanto se anula
_

f(x) cos nxdx y as a

n
= 0. f(x) sen nx es par (al ser producto de dos
impares) y por tanto
_

f(x) sen nxdx es el doble que

_

0
f(x) sen nxdx.
De esta forma
b
n
=
2

_

0
f(x) sen nxdx
As en el caso de que f sea una funcion impar, su serie de Fourier es una
serie de senos( y el seno es impar).
6.2 Ejemplo:
Sea la funcion f(x) =
x

si x [, ) y extendida por perodicidad a todo

R. Su graca es:
14
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1

1

1
Fijemonos que f es una funcion impar, f(x) =
x

= f(x), as pues
a
n
= 0 y
b
n
=
2

_

0
f(x) sen nxdx =
2

_

0
x

sen nxdx =
2

2
_

0
x sen nxdx =
(calculando una primitiva por partes, se tiene)
=
2

2
xcos nx
n
+
sen nx
n
2
_

0
=
2

2
_
cos n
n
_
=
2 cos n
n
As pues, teniendo en cuenta que
cos n =
_
1 si n es par
1 si n es impar
la serie de Fourier es la siguiente:
2

_
sen x
sen 2x
2
+
sen 3x
3

sen 4x
4
+
_
=
=
2

n=1
(1)
n+1
sen nx
n
Para denir la serie de Fourier de una funcion solo necesitamos que
sea periodica de periodo 2 y continua a trozos. Sin embargo necesitamos
algunas condiciones mas para que converja y para que represente a la funcion
f. La condicion es que sea derivable a trozos para que converja, y que sea
continua en el punto para que represente a la funcion en ese punto.
6.3 Notacion:
Notamos por f(x
+
0
) = lim
xx
+
0
f(x) y por f(x

0
) = lim
xx

0
f(x), a los lmites lat-
erales de f en x
0
por la derecha y por la izquierda respectivamente.
15
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
6.4 Observacion:
Es equivalente que una funcion sea continua a trozos a que existan todos sus
lmites laterales. Evidentemente continua continua a trozos, al contrario
no es cierto.
Analogamente a como denimos los lmites laterales denimos las derivadas
laterales popr la derecha f

(x
+
0
), y por la izquierda f

(x

0
)
f

(x
+
0
) = lim
h0
+
f(x
0
+ h) f(x
+
0
)
h
f

(x

0
) = lim
h0

f(x
0
+ h) f(x

0
)
h
Es equivalente que una funcion sea derivable a trozos, a que existan
todas sus derivadas laterales. Claramente derivable derivable a trozos, el
recproco no es cierto.
Se tiene el siguiente resultado que nos dice cuando converge una serie de
Fourier y a quien lo hace.
6.5 Teorema( de Dirichlet)
Si f es derivable a trozos en el intervalo [, ], entonces para cada x
0

[, ], la serie de Fourier de f converge al valor
1
2
(f(x
+
0
) + f(x

0
)), esto es,
a
0
2
+

n=1
(a
n
cos nx
0
+ b
n
sen nx
0
) =
1
2
(f(x
+
0
) + f(x

0
))
6.6 Nota
Como consecuencia de este resultado podemos decir que la serie representa
a la funcion f en x
0
, esto es, vale igual que la funcion en x
0
, si f es continua
en x
0
, ya que en este caso f(x
0
) = f(x
+
0
) = f(x

0
), y por tanto
f(x
0
) =
1
2
(f(x
+
0
) + f(x

0
)) =
a
0
2
+

n=1
(a
n
cos nx
0
+ b
n
sen nx
0
)
6.7 Ejemplo:
Consideremos f(x) =| x | en [, ]. Al ser par su serie de Fourier es de
cosenos, as
b
n
= 0 n 0 y a
n
=
2

_

0
f(x) cos nxdx
16
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Para n = 0 se tiene:
a
0
=
2

_

0
xdx =
2

2
2
=
Para n 1
a
n
=
2

_

0
xcos nxdx =
(calculando primitivas)
=
2

x sen nx
n
+
cos nx
n
2
_

0
=
2

_
cos n
n
2

1
n
2
_
=
=
2
n
2
(cos n 1) =
_
0 si n es par

4
n
2
si n es impar
La serie de Fourier es

2

4

n=0
cos(2n + 1)x
(2n + 1)
2
.
Fijemonos en que la funcion f es continua en x = , por tanto aplicando
el teorema de Dirichlet se tiene
=| |= f() =

2

4

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

2
+
4

n=0
1
(2n + 1)
2

2
=
4

n=0
1
(2n + 1)
2


2
8
=

n=0
1
(2n + 1)
2
Ya sabamos que la serie

n=0
1
(2n + 1)
2
converge comparando con

n=1
1
n
2
,
pero no sabamos su suma. Utilizando las series de Fourier hemos sido
capaces de decir exactamente a quien converge.
6.8 Serie de Fourier de una funcion periodica de periodo 2T
Si f es periodica de periodo 2T podemos, mediante un simple cambio de
variable, transformarla en una funcion periodica de periodo 2. Concreta-
mente a f de periodo 2T asociamos g de periodo 2 dada por la siguiente
composicion
17
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
[, ]
E
[T, T]
f
E
R
t
E
x = T
t

E
f(x) = g(t)
g
T
t =

t
x
g posee las mismas propiedades que f. Por ejemplo si f es par g es par,
etc.
Denimos la serie de Fourier de f como la serie de Fourier de g
a
0
2
+

n=1
(a
n
cos nt + b
n
sen nt) =
a
0
2
+

n=1
(a
n
cos n

T
x + b
n
sen n

T
x)
a
0
=
1

g(t)dt =
1

_
T
T
f(x)

T
dx =
1
T
_
T
T
f(x)dx
y si n 1
a
n
=
1

g(t) cos ntdt =

1

_
T
T
f(x) cos
_
n

T
x
_

T
dx =
1
T
_
T
T
f(x) cos
_
n

T
x
_
dx
Razonando analogamente tenemos
b
n
=
1
T
_
T
T
f(x) sen
_
n

T
x
_
dx
6.9 Ejemplo:
Dada la funcion, periodica de periodo , que tiene la siguiente graca, dar
su serie de Fourier.
d
2
d
d
d
d
d

d
d
d
d
d

d
0

d
d
d
d
d

d
d
d
d
d

2

18
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
f(x) = x, si x [0, ). Su periodo es (2T = ), por tanto el
semiperiodo es T = /2.
n = 0 a
0
=
1
T
_
T
T
f(x)dx =
1
T
_
2T
0
f(x)dx =
2

_

0
f(x)dx =
2

_

0
( x)dx =
2

[
( x)
2
2
]

0
=
2

2
2
=
n 1 a
n
=
1
T
_
T
T
f(x) cos(n

T
x)dx =
1
T
_
2T
0
f(x) cos(n

T
x)dx =
2

_

0
( x) cos(2nx)dx = (haciendo calculos) = 0
n 0 b
n
=
1
T
_
T
T
f(x) sin(n

T
x)dx =
1
T
_
2T
0
f(x) sin(n

T
x)dx =
2

_

0
( x) sin(2nx)dx = =
1
n
As pues la serie de Fourier de f es:
S
F
(x) =

2
+

n=1
sin(2nx)
n
.
Fijemonos en que f(0
+
) = , f(0

) = 0, y S
F
(0) =
f(0
+
)+f(0

)
2
=

2
.
6.10 Extensiones periodicas par e impar
Si tenemos f denida eb [0, T] podemos extenderla al intervalo (T, T] de
formas diferentes. Sean
f
1
(x) =
_
f(x), x [0, T]
f(x), x (T, 0)
; f
2
(x) =
_
f(x), x [0, T]
f(x), x (T, 0)
f
1
y f
2
extienden a f en el sentido que coinciden con f en el intervalo
[0, T], pero f
1
es una funcion par y f
2
es una funcion impar.
La serie de f
1
es una serie de cosenos, es decir
b
n
= 0 n 0 y a
n
=
2
T
_
T
0
f(x) cos n

T
xdx
19
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
La serie de f
2
es una serie de senos, es decir
a
n
= 0 n 0 y b
n
=
2
T
_
T
0
f(x) sen n

T
xdx
6.11 Ejemplo:
La funcion f(x) = x en [0, ).
En el ejemplo anterior dabamos la serie de Fourier de la funcion f(x) =
x, x [0, ) y periodica de periodo . Vamos ahora a dar su serie de
Fourier como funcion periodica de periodo 2, extendiendola a (, ] como
funcion par o como funcion impar
f
1
(x) =
_
f(x), x [0, ]
f(x), x (, 0)
=
_
x, x [0, ]
+ x, x (, 0)
2

d
d
d
d
d
d
0

d
d
d
d
d
d

2

Por ser par (f
1
(x) = f
1
(x)) b
n
= 0 n 0 y a
n
=
2

_

0
f(x) cos nxdx.
a
0
=
2

_

0
( x)dx =
a
n
=
2

_

0
( x) cos nxdx =
2

1 (1)
n
n
2
=
_

_
4
n
2
, n impar
0, n par
As f(x) =

2
+
4

_
cos x +
cos 3x
9
+
cos(2n + 1)x
(2n + 1)
2
+
_
, x [, ],
por ser f continua en todo R.
f
2
(x) =
_
f(x), x [0, ]
f(x), x (, 0)
=
_
x, x [0, ]
( + x), x (, 0)
20
www.cienciamatematica.com
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
2
0
2

d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d
d d


Por ser impar (f
2
(x) = f
2
(x)) a
n
= 0 n 0 y b
n
=
2

_

0
f(x) sen nxdx.
b
n
=
2

_

0
( x) sen nxdx =
2
n
As para cada x [, ], x = 0, por ser f continua en estos puntos
f(x) = 2

n=1
sen nx
n
= 2
_
sen x +
sen 2x
2
+
sen 3x
3
+
_
En el punto x = 0 la funcion no es continua y podemos comprobar que la
serie converge en ese punto a la semisuma de sus lmites laterales
0 =
+ ()
2
=
f(0
+
) + f(0

)
2
= 2

n=1
sen n 0
n
= 0
21
www.cienciamatematica.com