Captulo 10

Series de Funciones
10.1. Series de Funciones
Denicion 10.1 Sea X R y (f
n
)
nN
una sucesion de funciones reales sobre
X. Para n N denimos S
n
: X R por
S
n
(x) =
n

j=0
f
j
(x).
Llamamos a (S
n
)
nN
la serie innita asociada a (f
n
)
nN
y usamos la notacion

n=0
f
n
o

f
n
.
Hay dos nociones de convergencia que podemos usar, si (S
n
) converge puntual-
mente a f : X R decimos que la serie

f
n
converge puntualmente a f en X.
Si (S
n
) converge uniformemente a f, entonces

f
n
converge uniformemente a
f.
Los teoremas que hemos obtenido anteriormente para sucesiones de funciones
pueden aplicarse a las series de funciones.
Teorema 10.1 Sea

f
n
una serie de funciones reales continuas denidas so-
bre X R, que converge uniformemente a f en X, entonces f es continua.
Demostracion. (S
n
)
nN
es una sucesion de funciones continuas que convergen
uniformemente a f en X. Por el Teorema 2.3 f es continua.
De manera similar pueden obtenerse los siguientes teoremas a partir de los
resultados correspondientes de las secciones anteriores.
Teorema 10.2 Sea I R un intervalo abierto y para n N f
n
: I R una
funcion diferenciable en I. Si

f
n
converge puntualmente a f en I y si

f

n
186 CAP

ITULO 10. SERIES DE FUNCIONES

converge uniformemente en I entonces f es diferenciable en I y f

es la suma
uniforme de

f

n
.
Teorema 10.3 Si (f
n
)
nN
es una sucesion de funciones en [a, b] tal que

f
n
converge uniformemente a f en [a, b] entonces f [a, b] y
_
b
a
fdx =

n
_
b
a
f
n
dx.
El siguiente teorema nos provee un criterio para determinar si una serie de
funciones converge absolutamente.
Teorema 10.4 (Weierstrass) Sea (f
n
) una sucesion de funciones reales de-
nidas sobre X y tales que sup
xX
[f
n
(x)[ M
n
para todo n N. Si

M
n
converge entonces

f
n
converge uniformemente en X.
Demostracion. Como

M
n
converge, dado > 0 existe N tal que si n > m > N

i=m
f
i
(x)

i=m
[f
i
(x)[
n

i=m
M
i
< para todo x X.
Una aplicacion del Teorema 2.1 completa la demostracion.
Ejemplo 10.1 (Riemann)
Una funcion integrable que es discontinua en todo intervalo.
Denimos la funcion
B(x) =
_
x x) si x ,= k/2, para todo k Z,
0 si x = k/2, para alg un k Z
donde x) denota el entero mas cercano a x. La funcion
f(x) =

n=1
B(nx)
n
2
(10.1)
denida en [0,1] es discontinua en 1/2, 1/4, 3/4, 1/6, 5/6, . . . Sin embargo, la serie
(10.1) converge uniformemente por el criterio de Weierstrass, y las funciones
f
n
(x) =
B(nx)
n
2
son integrables seg un Riemann porque tienen un n umero nito de discontinuidades.

Ejemplo 10.2
Una funcion continua que no es diferenciable en ning un punto.
La funcion del ejemplo anterior, una vez integrada, es un ejemplo de una
funcion continua que no es diferenciable en un conjunto denso de puntos. El
10.1. SERIES DE FUNCIONES 187
siguiente paso es preguntarse si existen funciones continuas que no sean difer-
enciables en ning un punto. Weierstrass demostro en 1872 que estas funciones
existen. La funcion que considero fue
f(x) =

n=1
b
n
cos(a
n
x)
que es uniformemente convergente para b < 1 y no tiene derivada en ning un
punto si ab > 1 + 3/2. Nosotros vamos a considerar un ejemplo propuesto por
Takagi en 1903. Consideramos la funcion
K(x) =
_
x 0 x 1/2
1 x 1/2 x 1,
y la extendemos periodicamente: K(x + 1) = K(x) para todo x y obtenemos
una funcion continua con forma de zig zag. Denimos ahora
f(x) =

n=0
1
2
n
K(2
n
x) = K(x) +
1
2
K(2x) +
1
4
K(4x) + (10.2)
Como [K(x)[ 1/2 y

2
n
converge, vemos que la serie en (10.1) es
uniformemente convergente y por lo tanto la funcion f es continua.
Para ver que esta funcion no es diferenciable sea x
0
un punto y consideremos

n
= i/2
n
y
n
= (i + 1)/2
n
, donde i es el entero tal que
n
x
0
<
n
, y
consideramos el cociente
r
n
=
f(
n
) f(
n
)

n
.
En los puntos
n
y
n
la suma (10.2) es nita y por lo tanto r
n
es la pendiente
de la serie truncada
n1

j=0
1
2
j
K(2
j
x)
A medida que n aumenta se tiene que r
n+1
= r
n
1, y la sucesion (r
n
) no
puede converger. Por otro lado
r
n
=
n
f(
n
) f(x
0
)

n
x
0
+ (1
n
)
f(x
0
) f(
n
)
x
0

n
donde
n
= (
n
x
0
)/(
n

n
) (0, 1]. Si f fuese diferenciable en x
0
se tendra
que
[r
n
f

(x
0
)[

n
_
f(
n
) f(x
0
)

n
x
0
f

(x
0
)
_

(1
n
)
_
f(x
0
) f(
n
)
x
0

n
f

(x
0
)
_

<
n
+ (1
n
) = ,
para n sucientemente grande, lo cual es una contradiccion.
188 CAP

ITULO 10. SERIES DE FUNCIONES

Ejercicios 10.1
1. Demuestre que 1/(n
2
+x
2
) converge uniformemente en el conjunto {x: x 0}.
2. Investigue la convergencia puntual y uniforme en R de la serie

1
(1 + x
2
)
n
3. Demuestre que la serie

nx
2
n
2
+ x
3
es uniformemente convergente en [0, a], para cualquier a > 0.
4. Demuestre que la serie

0
x
n
converge uniformemente en [, ] para 0 < < 1
pero que esto no es cierto en (1, 1).
5. Muestre que si (f
n
) es una sucesion de funciones reales denidas en S R,
entonces f
n
converge uniformemente en X si y solo si para cualquier > 0
existe un entero n
0
tal que

r=n
f
r
(x)

<
si m n n
0
y x X.
6. Investigue la convergencia puntual y uniforme de la serie f
n
en el conjunto X
y sus subconjuntos en cada uno de los siguientes casos:
f
n
(x) =
x
n
x
n
+ 1
, X = [0, ); f
n
(x) =
1
(nx)
2
, X = R \ {0}
f
n
(x) =
1
x
n
+ 1
, X = [0, ); f
n
(x) =
(1)
n
n + x
, X = [0, )
7. Si (f
n
) es una sucesion acotada de funciones reales sobre un conjunto X y a
n
es absolutamente convergente, entonces a
n
f
n
es uniformemente convergente
en X.
10.2. Series de Potencias
Sea (a
n
)
nN
una sucesion de n umeros reales y para cada n N sea f
n
: R
R la funcion denida por f
n
(x) = (x c)
n
para c R jo. La serie

n=0
a
n
f
n
=

n=0
a
n
(x c)
n
es una serie de potencias y a
n
se llama el n-esimo coeciente de la serie. Es-
cribiremos a
n
(x c)
n
para denotar esta serie, (a
n
)
nN
es la sucesion de coe-
cientes asociados a ella. En general solo vamos a considerar el caso c = 0 pero
los resultados se extienden al caso general de manera trivial.
Teorema 10.5 Si para x
0
,= 0, a
n
x
n
0
converge y [y[ < [x
0
[ entonces a
n
y
n
es
absolutamente convergente .
10.2. SERIES DE POTENCIAS 189
Demostracion. Si a
n
x
n
0
converge, la sucesion (a
n
x
n
0
) converge a 0 y es acotada,
es decir, existe M que depende de x
0
tal que [a
n
x
n
0
[ M, para n N.
Si [y[ < [x
0
[ entonces [a
n
y
n
[ M[y/x
0
[
n
y por el criterio de Weierstrass
(teorema 10.4) la serie a
n
y
n
converge absolutamente ya que [y/x
0
[ < 1.
Teorema 10.6 Para cualquier serie de potencias a
n
x
n
ocurre alguna de las
siguientes posibilidades:
1. a
n
x
n
converge puntualmente para todo x R.
2. Existe > 0 tal que la serie converge puntualmente en (, ) y diverge
puntualmente en x : [x[ > .
3. a
n
x
n
converge unicamente para x = 0.
Demostracion. Si no ocurren ni 1 ni 3 entonces existen reales x
0
y x
1
distintos
de 0 tales que a
n
x
n
0
converge y a
n
x
n
1
diverge. Sea
A = x : a
n
x
n
converge.
A no es vaco porque x
0
A y es acotado ya que, por el teorema 10.5, si
[x[ > x
1
entonces a
n
x
n
diverge, de modo que A (x
1
, x
1
). Sea = sup A,
supongamos que [y[ < y escojamos x A, [y[ < x A. Por el teorema
10.5, como a
n
x
n
converge, tambien lo hace a
n
y
n
e y A, de modo que
(, ) A.
Para ver el recproco supongamos que [y[ > x > y a
n
y
n
converge, en-
tonces por el teorema 10.5, a
n
x
n
converge y x A, lo cual contradice la
denicion de . Por lo tanto a
n
y
n
diverge si [y[ > .
Denicion 10.2 El radio de convergencia de una serie de potencias a
n
x
n
es
innito en el caso 1, en el caso 2 y 0 en el caso 3. El intervalo o crculo de
convergencia es R en el caso 1 y (, ) en el caso 2.
10.2.1. Determinacion del Radio de Convergencia
Los siguientes teoremas dan resultados utiles para la determinacion del radio
de convergencia de una serie de potencias.
Teorema 10.7 (Cauchy) Si lim
n
[a
n
/a
n+1
[ existe o es , entonces
= lim
n

a
n
a
n+1

.
Demostracion. Aplicamos el criterio del cociente a la serie con termino general
x
n
= a
n
x
n
:
lim
n

x
n+1
x
n

= lim
n

a
n+1
x
n+1
a
n
x
n

= [x[ lim
n

a
n+1
a
n

= [x[/ lim
n

a
n
a
n+1

.
Ahora, la serie

a
n
x
n
converge si [x[ < lim[a
n
/a
n+1
[ y diverge si [x[ >
lim[a
n
/a
n+1
[.
190 CAP

ITULO 10. SERIES DE FUNCIONES

Teorema 10.8 (Hadamard) El radio de convergencia de la serie

a
n
x
n
esta dado por
=
1
limsup
n
n
_
[a
n
[
.
Demostracion. Aplicamos el criterio de la raz a la serie con termino general
x
n
= a
n
x
n
:
limsup
n
n
_
[x
n
[ = [x[ limsup
n
n
_
[a
n
[,
vemos que la serie

a
n
x
n
converge si [x[ < limsup
n
n
_
[a
n
[ y diverge si
[x[ > limsup
n
n
_
[a
n
[.
Teorema 10.9 Sea a
n
x
n
una serie de potencias con radio de convergencia
distinto de 0. Entonces
1. La serie converge absolutamente en cada punto de su crculo de conver-
gencia
2. La serie converge uniformemente en todo intervalo cerrado contenido en
su crculo de convergencia.
Demostracion.
1. Supongamos que y esta en el crculo de convergencia de a
n
x
n
y escojamos
z en el crculo de convergencia de modo que [y[ < z. Por el Teorema 10.5,
[a
n
y
n
[ converge lo cual muestra el primer resultado.
2. Supongamos que [, ] es un intervalo cerrado contenido en el crculo de
convergencia de a
n
x
n
: Sea = max([[, [[) entonces esta en el crculo
de convergencia de

a
n
x
n
y por la parte 1, [a
n

n
[ converge. Por lo
tanto, si > 0 existe N N tal que
n

r=m+1
[a
r

r
[ < si n > m N.
En consecuencia, si x [, ] y S
n
(x) =
n
r=0
a
r
x
r
,
[S
m
(x) S
n
(x)[
n

r=m+1
[a
r
x
r
[
n

r=m+1
[a
r

r
[ <
si n > m > N. Por lo tanto (S
n
) es una sucesion de Cauchy y en conse-
cuencia converge.
Ejemplos 10.3
1. Tomemos la sucesion (a
n
)
nN
donde a
n
= 1, para todo n N y sea x R.
La serie de potencias en x con coecientes (a
n
) es la serie geometrica

n=0
x
n
, que como sabemos es convergente si [x[ < 1 y es divergente si
[x[ 1 . As, el radio de convergencia de esta serie es 1 y observamos que
ella no converge ni en 1 ni en 1.
10.2. SERIES DE POTENCIAS 191
2. Consideramos la sucesion (a
n
)
nN
con a
n
= 1/n! para todo n N. Sea x
R y consideremos la serie x
n
/n!. Aplicando el teorema 10.7 obtenemos
[x[
n
(n + 1)!
[x[
n+1
n!
=
n + 1
[x[
(n )
y por lo tanto esta serie de potencias tiene radio de convergencia .
3. Consideremos ahora la sucesion (a
n
)
nN
con a
n
= n! para todo n N. Sea
x ,= 0, x R. Para ver que la serie a
n
x
n
no converge mostraremos que
[a
n
x
n
[ no tiende a 0 cuando n . Sea t = 1/[x[ y n
0
el menor entero
positivo mayor que t. Para todo entero n > n
0
tenemos
[a
n
x
n
[ =
n!
t
n
=
n
0
!
t
n
0
(n
0
+ 1)(n
0
+ 2) n
t
nn
0

n
0
!
t
n
0
.
Por lo tanto la sucesion (a
n
x
n
) no tiende a 0 y a
n
x
n
no converge. El
radio de convergencia de esta serie es 0.

Denicion 10.3 una funcion f con dominio un intervalo abierto I R y

valores en R es analtica si para cada c I existe tal que para todo x
(c , c + ) I se tiene que
f(x) =

n=0
a
n
(x c)
n
,
es decir, que f se puede representar como una serie de potencias.
En las siguientes secciones estudiaremos las principales propiedades de estas
funciones.
10.2.2. Continuidad
Corolario 10.1 Si a
n
x
n
tiene radio de convergencia distinto de cero, en-
tonces converge puntualmente en su crculo de convergencia a una funcion que
es continua en el crculo de convergencia.
Demostracion. Sea C el crculo de convergencia de a
n
x
n
y f la funcion a la cual
converge la serie de potencias. Si x C podemos escoger un intervalo cerrado
[, ] tal que x [, ] C, y como a
n
x
n
converge uniformemente en [, ],
obtenemos que la funcion f es continua en x.
El estudio de la continuidad de una serie de potencias en un punto del borde
de su crculo de convergencia es mas delicado. Presentamos a continuacion un
resultado conocido como el Teorema de Abel.
192 CAP

ITULO 10. SERIES DE FUNCIONES

Teorema 10.10 (Abel) Supongamos que la serie a
n
x
n
tiene radio de con-
vergencia positivo y supongamos que converge en uno de los extremos del
intervalo de convergencia: a
n

n
= s. Entonces la funcion f(x) = a
n
x
n
para
[x[ < tiende a s cuando x .
Para la demostracion necesitamos el siguiente lema
Lema 10.1 Sea

k
una serie (no necesariamente convergente) cuyas sumas
parciales S
p
=

p
k=1

k
estan acotadas, es decir, existe M > 0 tal que [S
p
[ < M
para todo p N. Sea b
j
una sucesion no creciente de n umeros no negativos.
Entonces para todo p N se tiene
[
1
b
1
+ +
p
b
p
[ Mb
1
Demostracion.
[
1
b
1
+ +
p
b
p
[ = [S
1
b
1
+ (S
2
S
1
)b
2
+ + (S
p
S
p1
)b
p
[
= [S
1
(b
1
b
2
) + + S
p1
(b
p1
b
p
) + S
p
b
p
[
M(b
2
b
1
+ b
2
b
3
+ + b
p1
b
p
+ b
p
[ = Mb
1

Demostracion del Teorema de Abel. Dado > 0 existe N N tal que para
n > N se tiene que
[a
n+1

n+1
+ + a
n+p

n+p
[ <
para todo p N. Dado n > N escribimos
p
= a
n+p

n+p
para p N. Estas
p
cumplen las hipotesis del lema anterior con M = . Para todo x [0, ] tenemos
[a
n+1
x
n+1
+ + a
n+p
x
n+p
[ = [
1
(
x

) + +
p
(
x

)
p
[(
x

)
n
Usando el lema con b
p
= (x/)
p
concluimos que para todo n > N y todo
x [0, ]
[a
n+1
x
n+1
+ + a
n+p
x
n+p
[
_
x

_
n+1

para todo p N. Esto prueba que

a
n
x
n
converge uniformemente en [0, ].
Como los terminos a
n
x
n
son funciones continuas, la suma f(x) =

a
n
x
n
es
continua en [0, ]. Por lo tanto

n
a
n

n
= lim
x

a
n
x
n

10.2. SERIES DE POTENCIAS 193

10.2.3. Derivadas e Integrales
El siguiente resultado nos muestra la relacion entre diferenciacion y series
de potencias.
Teorema 10.11 Si a
n
x
n
tiene radio de convergencia distinto de cero y con-
verge puntualmente en su crculo de convergencia a la funcion f, entonces f es
diferenciable en cada punto x de su crculo de convergencia y
f

(x) =

n=1
na
n
x
n1
.
Demostracion. Sea C el crculo de convergencia de a
n
x
n
, x C y escojamos
y C de modo que y > [x[. Entonces [a
n
y
n
[ es convergente y para alg un
k R, [a
n
y
n
[ k para n N y se tiene
[(n + 1)a
n+1
x
n
[ = (n + 1)

x
y

n
[a
n+1
y
n
[
k
y
(n + 1)

x
y

n
.
En consecuencia, como (n+1)[x/y[
n
converge, lo cual se ve facilmente usando
el criterio de la razon, podemos concluir por el criterio de comparacion que
(n + 1)a
n+1
x
n
converge. Por lo tanto el crculo de convergencia C de a
n
x
n
esta contenido en el crculo de convergencia C
1
de (n + 1)a
n+1
x
n
, de manera
que si x C, existe > 0 tal que [x , x +] C C
1
. Por el Teorema 10.9,
tanto a
n
x
n
como (n+1)a
n+1
x
n
convergen uniformemente en [x, x+] y
por el Teorema 10.2, para t (x , x + )
f

(t) =

(n + 1)a
n+1
t
n
.

Teorema 10.12 Bajo las hipotesis del Teorema 10.11 f tiene derivadas de to-
dos las ordenes en su crculo de convergencia C que estan dadas por
f
(k)
(x) =

n=k
n(n 1) (n k + 1)a
n
x
nk
(10.3)
y en particular
f
(k)
(0) = k!a
k
k = 0, 1, . . . (10.4)
Demostracion La ecuacion (10.3) se obtiene aplicando sucesivamente el teorema
anterior a f.
La ecuacion (10.4) nos muestra que los coecientes en el desarrollo de f en
serie de potencias estan determinados por los valores de f y sus derivadas en el
origen. Por otra parte, si conocemos los coecientes en el desarrollo de la funcion
tenemos de inmediato los valores de las derivadas de f en el origen.
194 CAP

ITULO 10. SERIES DE FUNCIONES

Observamos sin embargo que a un cuando una funcion f puede tener deriva-
das de todos las ordenes, la serie a
n
x
n
donde a
n
se obtiene usando (10.4) no
necesariamente converge a f(x) para x ,= 0. En este caso f no puede ser desa-
rrollada en serie de potencias ya que tendramos f(x) = c
n
x
n
, en consecuencia
n!c
n
= f
(n)
(0)
y necesariamente c
n
= a
n
.
Ejemplo 10.4
f(x) =
_
e
1/x
2
x ,= 0
0 x = 0
es posible mostrar que f tiene derivada de todos los ordenes en x = 0 y f
(k)
(0) =
0 para n 1.

Teorema 10.13 Si a
n
x
n
tiene radio de convergencia distinto de cero y con-
verge puntualmente en su crculo de convergencia a la funcion f, entonces f es
integrable seg un Riemann en cualquier subintervalo cerrado [a, b] del crculo de
convergencia y
_
b
a
fdx =

n=1
a
n
n + 1
(b
n+1
a
n1
).
Demostracion. Sea [a, b] un subintervalo del crculo de convergencia de a
n
x
n
.
Por el Teorema 10.9 a
n
x
n
converge uniformemente en [a, b] y por el Teorema
10.3 f R[a, b] y
_
b
a
fdx =

n=1
_
b
a
a
n
x
n
dx
de donde se obtiene el resultado.
10.2.4. Multiplicacion de Series de Potencia
Teorema 10.14 Sea

a
n
x
n
y

b
n
x
n
dos series de potencia con intervalos
de convergencia I
1
, I
2
, respectivamente. Sea f la funcion denida por la primera
serie en I
1
, g la funcion denida por la segunda serie en I
2
. Entonces, en el
dominio com un I
1
I
2
de ambas funciones, se tiene que
f(x)g(x) =

n=0
c
n
x
n
con c
n
=
n

j=0
a
j
b
nj
Demostracion. Sean
A
n
(x) =
n

i=0
a
i
x
i
, B
n
(x) =
n

i=0
b
i
x
i
, C
n
(x) =
n

i=0
c
i
x
i
10.2. SERIES DE POTENCIAS 195
las sumas parciales y sea R
n
(x) =

i=n+1
b
i
x
i
. Tenemos
C
n
(x) =
n

i=0
c
i
x
i
=
n

i=0
i

j=0
a
j
b
ij
x
i
=
n

j=0
n

i=j
a
j
b
ij
x
i
=
n

j=0
a
j
x
j
n

i=j
b
ij
x
ij
=
n

j=0
a
j
x
j
nj

k=0
b
k
x
k
=
n

j=0
a
j
x
j
B
nj
(x) =
n

j=0
a
j
x
j
(g(x) R
nj
(x))
= g(x)
n

j=0
a
j
x
j

j=0
a
j
R
nj
(x)x
j
.
Ahora, g(x)

n
j=0
a
j
x
j
converge a g(x)f(x) cuando n y para mostrar que
C
n
f g basta ver que
[a
0
R
n
+ a
1
R
n1
x + + a
n
R
0
x
n
[ 0 (n ).
Fijamos x y sabemos que

a
n
x
n
es absolutamente convergente. Ponemos A =

[a
j
[[x[
j
. Ademas,

b
j
x
j
es convergente y dado > 0 existe N N tal que
si n N entonces [R
n
[ < . Por lo tanto tenemos

j=0
a
j
x
j
R
nj

_
nN

j=0
+
n

j=nN+1
_
a
j
x
j
R
nj

nN

j=0
[a
j
[[x[
j
[R
nj
[ +
n

j=nN+1
[a
j
[[x[
j
[R
nj
[
sup
kN
[R
k
[

j=0
[a
j
[[x[
j
[R
nj
[ + sup
kN
[R
k
[
n

j=nN+1
[a
j
[[x[
j
A + M
n

j=nN+1
[a
j
[[x[
j
donde M es una cota para [R
n
[. Haciendo n vemos que la suma en el
segundo termino tiende a 0, de modo que
limsup
n

j=0
a
j
x
j
R
nj

A
Como es arbitrario, esto implica el resultado.
10.2.5. Series de Taylor
Sea f una funcion real denida sobre un intervalo abierto de R que contiene
al 0, y supongamos que f tiene derivadas de todos los ordenes en 0. Podemos
196 CAP

ITULO 10. SERIES DE FUNCIONES

entonces escribir la serie de potencias

n=0
f
(n)
(0)
n!
x
n
donde f
(0)
(0) = f(0). Esta serie se conoce como la serie de Maclaurin de f.
Consideremos ahora la serie de potencias a
n
x
n
. Si esta serie tiene radio
de convergencia distinto de 0 y converge a f en su crculo de convergencia,
entonces, por el Corolario 10.1, a
n
= f
(n)
(0)/n!, de modo que a
n
x
n
es la serie
de Maclaurin correspondiente a f.
En general, las series de potencias de la forma:

n=0
a
n
(x x
0
)
n
con a
n
= f
(n)
(x
0
)/n! se conocen como la serie de Taylor de f alrededor del
punto x
0
.
Por el Teorema de Taylor sabemos que
f(x) =
n1

k=0
f
(k)
(x
0
)
k!
(x x
0
)
k
+
f
(n)
()
n!
(x x
0
)
n
entre x
0
y x.
Esta serie converge a f si y solo si el resto tiende a 0 cuando n :
lim
n
f
(n)
()
(x x
0
)
n
n!
= 0.
Teorema 10.15 Supongamos que f tiene derivadas de todos los ordenes en un
intervalo de la forma (x
0
r, x
0
+ r) y que existe una constante M (que puede
depender de x
0
) tal que
[f
(n)
(x)[ M x (x
0
r, x
0
+ r)
y n N (alg un N N). Entonces, para todo x (x
0
r, x
0
+ r) la serie de
Taylor de f alrededor de x
0
converge a f(x):
f(x) =

k=0
f
(k)
(x
0
)
k!
(x x
0
)
k
.
Demostracion. En cada uno de estos puntos tenemos un desarrollo de Taylor
cuyo resto puede estimarse:

f
(n)
()(x x
0
)
n
n!

M
[x x
0
[
n
n!
= M
r
n
n!
pero
r
n
n!
0 y el lmite del resto tiende a 0.
10.2. SERIES DE POTENCIAS 197
Ejemplo 10.5 (Las funciones exponencial y logartmica)
Denimos
E(x) =

n=0
x
n
n!
. (10.5)
Por la prueba del cociente sabemos que esta serie converge para todo x R.
Aplicando el teorema sobre multiplicacion de series absolutamente convergentes
obtenemos
E(x)E(y) =

n=0
x
n
n!

m=0
y
m
m!
=

n=0
n

k=0
x
k
y
nk
k!(n k)!
=

n=0
1
n!
n

k=0
_
n
k
_
x
k
y
nk
=

n=0
(x + y)
n
n!
= E(x + y) (10.6)
Como consecuencia tenemos que x R
E(x)E(x) = E(x x) = E(0) = 1 (10.7)
y por lo tanto E(x) ,= 0 x R.
A partir de la denicion observamos que E(x) > 0 si x > 0 y por lo tanto
E(x) > 0 para todo x R.
A partir de (10.5) vemos que E(x) + si x + y (10.7) nos dice
que E(x) 0 cuando x .
A partir de (10.5) vemos que 0 < x < y E(x) < E(y) y por (10.7)
tenemos E(y) < E(x), de modo que E es estrictamente creciente en
R.
Ademas por (10.7):
lim
n0
E(z + h) E(z)
h
= E(z) lim
h0
E(h) 1
h
= E(z)
de modo que E

(z) = E(z).
Iterando (10.6) obtenemos
E(z
1
+ z
2
+ + z
n
) = E(z
1
) E(z
n
).
Como E(1) = e obtenemos
E(n) = e
n
.
Si = n/m, n, m N entonces
[E()]
m
= E(m) = E(n) = e
n
198 CAP

ITULO 10. SERIES DE FUNCIONES

es decir,
E() = e

, > 0, Q
y por (10.7) sabemos que
E() = e

si > 0, Q.
Si denimos
e
x
= supe

: < x, Q
las propiedades de continuidad y monotoma de E implican
E(x) = e
x
, x R.
Resumiendo tenemos
Teorema 10.16 a) e
x
es continua y diferenciable para todo x.
b) e
x
es estrictamente creciente y estrictamente positiva.
c) e
x+y
= e
x
e
y
d) e
x
+ (x +), e
x
0, (x ).
e) lim
x
x
n
e
x
= 0 n N.
Demostracion. Solo demostraremos e). A partir de e
x
>
x
n+1
(n+1)!
para x > 0,
obtenemos
x
n
e
x
>
(n + 1)!
x
.

Como E es estrictamente creciente y diferenciable en R, tiene una funcion

inversa L que tambien es estrictamente creciente y diferenciable y cuyo dominio
es (0, ). L esta denida por
L(E(x)) = x, x R (10.8)
Derivando obtenemos
L

(E(x))E(x) = 1
Poniendo y = E(x),
L

(y) = 1/y, y > 0.

Tomando x = 0 en (10.8) vemos que L(1) = 0 y en consecuencia
L(y) =
_
y
1
dx
x
.
Si u = E(x), v = E(y)
L(uv) = L(E(x)E(y)) = L(E(x + y)) = x + y = L(u) + L(v).
10.2. SERIES DE POTENCIAS 199
Usualmente escribimos log x en lugar de L(x). Tenemos
log x x ,
log x x 0.
Es posible mostrar como antes que
x

= E(L(x)) = e
log x
derivando
(x

= E(L(x))

x
= x
1
.
Veamos que x

log x 0 (x ), > 0. Si 0 < < y x > 1

x

log x = x

_
x
1
1
t
dt < x

_
x
1
t
1
dt
= x

x
1
<
x

y como > esta expresion tiende a 0 cuando x .

Ejemplo 10.6 (Las funciones trigonometricas)
Denimos las funciones C(x) y S(x) en R por
C(x) =

j=0
(1)
j
x
2j
(2j)!
, S(x) =

j=0
(1)
j
x
2j+1
(2j + 1)!
Ambas series convergen en todo R. Si derivamos estas series obtenemos
S

(x) =

j=0
(1)
j
x
2j
(2j)!
= C(x)
y de manera similar C

(x) = S(x).
Es posible ver que, denidas de esta manera, estas funciones satisfacen las
mismas identidades que las funciones seno y coseno. Por ejemplo, si ponemos
h(x) = S
2
(x) + C
2
(x) derivando obtenemos
h

(x) = 2S(x)C(x) 2C(x)S(x) = 0

para todo x y por lo tanto h es constante. Como C(0) = 1, S(0) = 0 tenemos
h(0) = 1 y h(x) = 1 para todo x R.
Usando el desarrollo en serie para la funcion exponencial, que tambien vale
para argumentos complejos, obtenemos
e
ix
=

k=0
(ix)
k
k!
= 1 + ix
x
2
2
i
x
3
3
+
x
4
4
+ i
x
5
5
. . .
=
_
1
x
2
2
+
x
4
4

_
+ i
_
x
x
3
3
+
x
5
5

_
= C(x) + iS(x)
200 CAP

ITULO 10. SERIES DE FUNCIONES

que es la formula de Euler. A partir de ella podemos obtener otras propiedades
de las funciones trigonometricas. Por ejemplo, a partir de la identidad
e
i(x+y)
= e
ix
e
iy
obtenemos
C(x + y) + iS(x + y) = (C(x) + iS(x))(C(y) + iS(y))
= C(x)C(y) + iS(x)C(y) + iC(x)S(y) S(x)S(y)
= C(x)C(y) S(x)S(y) + i(S(x)C(y) + C(x)S(y))
e igualando la partes real e imaginaria obtenemos las identidades
C(x + y) = C(x)C(y) S(x)S(y)
S(x + y) = S(x)C(y) + C(x)S(y)
Ejercicios 10.2
1. Vericar que i) el crculo de convergencia de
n
x
n
es (1/, 1/); ii) x
n
/n
2
converge si |x| 1 y diverge si |x| > 1.
2. Hallar el radio de convergencia de las siguientes series y determinar su compor-
tamiento en los extremos del intervalo de convergencia.
1)

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

n=1
(x 2)
n
n

n
3)

n=1
(3/2)
n
x
n
n + 1
4)

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

n=1
x
2n2
(2n 2)!
6)

n=1
(1)
n+1
n
n
n
7)

n=1
x
n
2
8)

n=1
(1)
n+1
x
2n2
(2n 2)!
9)

n=1
x
n

n
10)

n=1
2
n
x
n
n
2
+ 1
11)

n=0
x
n
2
n
(n 1)
12)

n=1
nx
n1
2
n1
3
n
3. Hallar el radio de convergencia de las siguientes series y determinar su compor-
tamiento en los extremos del intervalo de convergencia.
1)

n=1
(1)
n+1
n(x 1)
n1
, 2)

n=0
(x 2)
n
n!
,
3)

n=1
(x + 4)
2n2
(2n 2)!
, 4)

n=1
(1)
n+1
(x + 3)
2n2
.
4. Halle la serie de MacLaurin para las siguientes funciones y determine su radio
de convergencia
1) sen x, 2) cos x, 3)(1 + x)

, 4) log(1 + x)
Observe que en tercer caso el intervalo de convergencia de la serie y el dominio
de la funcion no coinciden.
10.3. SERIES DE FOURIER 201
5. A partir de la relacion arcsin x =

x
0
dt

1x
2
, desarrolle el integrando en una
serie de potencias e integre para obtener la serie de MacLaurin de arcsin x. El
mismo procedimiento aplicado a la relacion log(1+x) =

x
0
dt
1+t
permite obtener
la serie para log(1 + x).
6. Sea

c
n
una serie convergente y denamos f(x) =

n=0
c
n
x
n
para 1 < x <
1. Demuestre que
lim
x1
f(x) =

n=0
c
n
,
es decir, que la serie de potencias es continua en 1.
10.3. Series de Fourier
Las ideas del Analisis de Fourier surgen historicamente asociadas a proglemas
de la Fsica tales como la conduccion del calor y el movimiento de ondas. Vamos
a revisar muy supercielmente uno de estos problemas, el de la cuerda vibrante,
para hacernos una idea del tipo de problemas que motivo el surgimiento de estas
tecnicas.
10.3.1. La Cuerda Vibrante
Consideremos la ecuacion de onda
a
2

2
y
x
2
=

2
y
y
2
(10.9)
que describe el movimiento de una cuerda que esta sujeta en sus extremos.
supondremos, por comodidad, que los extremos estan situados e los puntos 0 y
, y tenemos como condiciones de contorno
y(0, t) = 0, y(, t) = 0. (10.10)
La funcion y(x, t) describe el movimiento de la cuerda en el punto x a medida
que el tiempo t evoluciona.
Adicionalmente tenemos las siguientes condiciones iniciales:
t
t

t=0
= 0 (10.11)
que indica que la velocidad inicial de la cuerda es 0 y
y(x, 0) = f(x) (10.12)
que describe la conguracion inicial de la cuerda.
Para resolver esta ecuacion suponemos que podemos separar las variables.
Por conveniencia tomamos a = 1 y suponemos y(x, t) = u(x)v(t). Colocando
esto en la ecuacion diferencial (10.9) obtenemos
u

(x)v(t) = u(x)v

(t) (10.13)
202 CAP

ITULO 10. SERIES DE FUNCIONES

Obtenemos
u

(x)
u(x)
=
v

(t)
v(t)
Como el lado izquierdo solo depende de x mientras que el derecho solo de t,
necesariamente
u

(x)
u(x)
= =
v

(t)
v(t)
para alguna constante . Esto nos da dos ecuaciones ordinarias lineales de se-
gundo orden que podemos resolver
u

= u (10.14)
v

= v (10.15)
Las condiciones iniciales implican u(0) = u() = 0.
Este problema tiene solucion no trivial si y solo si = n
2
para alg un entero
positivo n, y la solucion correspondiente es
u
n
(x) = sen(nx)
Para este mismo valor de , la solucion general de (10.15) es
v(t) = Asen(nt) + B cos(nt)
La condicion 10.11 implica que v

(0) = 0 y entonces A = 0. Por lo tanto

v(t) = B cos(nt)
En consecuencia la solucion que encontramos para la ecuacion ( 10.9) con las
condiciones de contorno e iniciales dadas es
y
n
(x, t) = sen(nx) cos(nt) (10.16)
Por el principio de superposicion cualquier combinacion lineal nita de estas
soluciones tambien es una solucion.
y(x, t) =
n

k=1

k
sen(kx)cos(kt)
Bajo ciertas condiciones, una combinacion lineal innita de soluciones del
tipo ( 10.16) tambien es una solucion:
y(x, t) =

k=1

k
sen(kx)cos(kt)
Nos falta a un examinar la condicion (10.12): y(x, 0) = f(x). tenemos
f(x) = y(x, 0) =

k=1

k
sen(kx)
y esta condicion se satisface si podemos expresar f en un desarrollo de funciones
seno.
10.3. SERIES DE FOURIER 203
10.3.2. Sistemas Ortogonales de Funciones
Denicion 10.4 Si f, g son funciones reales, integrables seg un Riemann en
[a, b], la integral
_
b
a
f(x)g(x) dx (10.17)
se conoce como el producto interno de f y g, y se denota por f, g). El n umero
no-negativo [[f[[ = f, f)
1/2
es la norma de f.
El producto interno tiene las siguiente propiedades
f, f) 0.
f, g) = g, f).
f, g) = f, g), f + g, h) = f, h) +g, h).
Observacion 10.1 Para la integral de Riemann no es cierto en general que
f, f) = 0 f = 0, ya que una funcion que sea distinta de 0 en un punto del
intervalo [a, b] pero igual a cero en el resto de los puntos satisface f, f) = 0 pero
no es identicamente igual a cero. Sin embargo, si consideramos el producto in-
terno sobre el espacio de las funciones continuas en [a, b], entonces si se satisface
que f, f) = 0 f = 0.
Proposicion 10.1 (Desigualdad de Cauchy-Schwarz) Si f, g son integrables
seg un Riemann en [a, b] entonces
[f, g)[ [[f[[ [[g[[. (10.18)
Demostracion. Sabemos que f g, f
2
, y g
2
son integrables. Tenemos
0
_
b
a
(f(x) g(x))
2
dx
=
_
b
a
f
2
(x) dx 2
_
b
a
f(x)g(x) dx +
2
_
b
a
g
2
(x) dx.
Ponemos
A =
_
b
a
f
2
(x) dx, B =
_
b
a
f(x)g(x) dx, C =
_
b
a
g
2
(x) dx,
y entonces
A2B +
2
C 0
para todo R. Si C = 0 entonces B = 0. Si C ,= 0 el discriminante de la
ecuacion cuadratica no puede ser positivo y tenemos
B
2
AC.

Usando esta desigualdad podemos obtener la desigualdad de Minkowski

204 CAP

ITULO 10. SERIES DE FUNCIONES

Proposicion 10.2 (Desigualdad de Minkowski)
[[f + g[[ [[f[[ +[[g[[ (10.19)
Demostracion.
[[f + g[[
2
=
_
b
a
[f(x) + g(x)[
2
dx

_
b
a
[f(x)[[f(x) + g(x)[dx +
_
b
a
[g(x)[[f(x) + g(x)[dx
[[f[[[[f + g[[ +[[g[[[[f + g[[ = ([[f[[ +[[g[[)[[f + g[[
de donde se obtiene el resultado.
Tenemos la siguiente relacion
[[f + g[[
2
= f + g, f + g) = f, f) + 2f, g) +g, g)
= [[f[[
2
+[[g[[
2
+ 2f, g).
Por lo tanto la ecuacion [[f + g[[
2
= [[f[[
2
+ [[g[[
2
es equivalente a f, g) = 0.
Esto motiva la siguiente denicion
Denicion 10.5 Sean f, g funciones integrables seg un Riemann en [a, b]. Si
f, g) = 0 decimos que f y g son ortogonales. Si S =
0
,
1
,
2
, . . . es una
coleccion de funciones integrables seg un Riemann en [a, b] decimos que S es un
sistema ortogonal en [a, b] si

m
,
n
) = 0 siempre que n ,= m (10.20)
Si ademas cada
n
tiene norma 1, decimos que S es ortonormal en [a, b]. Es-
cribiremos s.o.n. para abreviar sistema ortonormal.
Nos interesa en particular el sistema trigonometrico dado por

0
(x) =
1

2
,
2n1
(x) =
cos nx

,
2n
(x) =
sennx

n 1 (10.21)
Es sencillo vericar que este sistema es ortonormal en [0, 2], o en cualquier
intervalo de longitud 2.
La nocion de producto interno puede extenderse a funciones con valores
complejos que sean integrables seg un Riemann. La integral de una funcion de
este tipo f(x) = f
1
(x) + if
2
(x) se dene como
_
b
a
f(x) dx =
_
b
a
f
1
(x) dx + i
_
b
a
f
2
(x) dx.
Las propiedades de estas integrales son similares a las de las funciones reales y
pueden deducirse de ellas.
10.3. SERIES DE FOURIER 205
En el caso de funciones complejas el producto interno esta denido por
f, g) =
_
b
a
f(x)g(x) dx (10.22)
donde g(x) denota el complejo conjugado de g(x). Se introduce el conjugado
para que el producto interno de f consigo misma sea una cantidad no-negativa:
f, f) =
_
b
a
[f(x)[
2
dx 0.
La norma de f se dene como antes: [[f[[
2
= f, f) y las propiedades del pro-
ducto interno deben modicarse de la siguiente manera:
f, g) = g, f)
y ademas ahora podemos multiplicar por constantes complejas.
La denicion de sistemas ortogonales y ortonormales no cambia. Como ejem-
plo de un sistema ortonormal de funciones con valores complejos tenemos

n
(t) =
e
inx

2
=
cos nx + i sennx

2
, n 0 (10.23)
donde [a, b] = [0, 2].
Ejemplo 10.7
Sea f, g (a, b), g ,= 0. Denimos la proyeccion de f sobre g como el vector
h = f, g)
g
[[g[[
2
.
Veamos que h y f h son ortogonales.
h, f h) = h, f) [[h[[
2
=
g, f)f, g)
[[g[[
2

f, g)g, f, g)g)
[[g[[
4
=
g, f)f, g)
[[g[[
2

f, g)f, g)
[[g[[
2
= 0
ya que g, f) = f, g). Por lo tanto h y f h son ortogonales.
Denicion 10.6 Una coleccion nita
0
,
1
, . . . ,
n
de funciones es lineal-
mente dependiente en [a, b] si existen constantes c
0
, c
1
, . . . , c
n
, no todas cero,
tales que
c
0

0
(x) + + c
n

n
(x) = 0, x [a, b]. (10.24)
En caso contrario decimos que
0
,
1
, . . . ,
n
es linealmente independiente en
[a, b]. Una coleccion innita
0
,
1
, . . . es linealmente independiente en [a, b]
si todo subconjunto nito es linealmente independiente en [a, b].
206 CAP

ITULO 10. SERIES DE FUNCIONES

Ejemplo 10.8
Todo sistema ortogonal es linealmente independiente: Supongamos que
c
0

0
(x) + + c
n

n
(x) = 0, x [a, b],
multiplicando por
k
(x), 0 k n e itegrando en [a, b] obtenemos
c
k
_
b
a

2
k
(x) dx = c
k
[[
k
[[
2
= 0 c
k
= 0
para 0 k n.
Dado un espacio con producto interno V y una coleccion de vectores lineal-
mente independientes g
0
, g
1
, g
2
, . . . en V , es posible formar un sistema ortonor-
mal
0
,
1
,
2
, . . . de la siguiente manera

0
=
g
0
[[g
0
[[

1
=
g
1
g
1
,
0
)
0
[[g
1
g
1
,
0
)
0
[[

2
=
g
2
g
2
,
1
)
1
g
2
,
0
)
0
[[g
2
g
2
,
1
)
1
g
2
,
0
)
0
[[
Este procedimiento se conoce como el proceso de ortogonalizacion de Gram-
Schmidt.
Los polinomios de Legendre normalizados se obtienen aplicando el proceso
de Gram-Schmidt a los polinomios 1, x, x
2
, . . . , x
n
, . . . en [1, 1]. En R, este
proceso aplicado a las funciones x
n
e
x
2
/2
, n 0 da las funciones de Hermite
normalizadas y aplicado a las funciones x
n
e
x
, n 0 en [0, ) da las funciones
de Laguerre normalizadas.
La analoga existente con vectores en un espacio de dimension nita sugiere
la posibilidad de expresar una funcion arbitraria f como combinacion lineal de
los elementos de un conjunto ortonormal
0
,
1
, . . . , que sera una ecuacion
de la forma
f(x) =

n=0
c
n

n
(t) (10.25)
valida para todo x [a, b].
Esta idea plantea dos problemas. bajo que condiciones en f y
0
,
1
, . . .
se puede asegurar que (10.25) existe? Y suponiendo que exista un desarrollo de
este tipo Como determinamos los coecientes c
0
, c
1
, . . . ? Veamos primero el
segundo problema.
Vamos a suponer que (10.25) es cierta y operamos formalmente con esta
ecuacion sin preocuparnos por los problemas de convergencia. Multiplicamos
10.4. LA SERIE DE FOURIER DE UNA FUNCI

ON. 207
ambos lados por
k
(x) e integramos la serie resultante termino a termino en
[a, b] para obtener
f,
k
) =

n=0
c
n

n
,
k
) = c
k
.
Por lo tanto, si podemos justicar las operaciones formales, vemos que el k-esimo
coeciente en (10.25) no es mas que el producto interno f,
k
).
Teorema 10.17 Sea
0
.
1
, . . . un sistema ortonormal en [a, b] y supongamos
que la serie

n=0
c
n

n
(x)
converge uniformemente en [a, b] y sea f(x) la funcion denida por esta serie en
[a, b]. Entonces esta funcion es integrable seg un Riemann en [a, b] y el n-esimo
coeciente c
n
esta dado por
c
n
= f,
n
) =
_
b
a
f(x)
n
(x) dx, n 0. (10.26)
Demostracion. Aplicar resultados sobre series de funciones.
Supogamos ahora que tomamos el siguiente punto de vista: Nos dan una fun-
cion f integrable seg un Riemann en [a, b] y un conjunto ortonormal
0
,
1
, . . .
en [a, b]. Podemos denir los coecientes c
k
por (10.26) y podemos escribir la
serie (10.25). Surgen ahora las siguientes preguntas: Converge puntualmente en
[a, b] esta serie? Si la serie converge para cierto x es f(x) su valor? En general
la respuesta a ambas preguntas es negativa. Es necesario poner restricciones
adicionales tanto en la funcion f como en el conjunto ortonormal
0
,
1
, . . . .
10.4. La Serie de Fourier de una Funci on.
Denicion 10.7 Sea
0
,
1
, . . . un s.o.n. en [a, b] y supongamos que f
(a, b). La notacion
f(x)

n=0
c
n

n
(x) (10.27)
signica que los coecientes c
i
, i 0 estan dados por
c
n
= f,
n
) =
_
b
a
f(x)
n
(x) dx, n 0. (10.28)
La serie (10.27) se conoce como la serie de Fourier de f respecto al sistema

0
,
1
, . . . y los n umeros c
i
, i 0 son los coecientes de Fourier de f respecto
a
0
,
1
, . . . .
208 CAP

ITULO 10. SERIES DE FUNCIONES

En el caso particular de las funciones trigonometricas, la serie se conoce
como la serie de Fourier generada por f. En este caso
f(x)
a
0
2
+

n=1
(a
n
cos nx + b
n
sennx)
con
a
n
=
1

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

_
2
0
f(x) sennxdx.
Si usamos las funciones e
inx
entonces la serie de Fourier se escribe

n=
c
n
e
inx
con
c
n
=
1
2
_
2
0
f(x)e
inx
dx
10.5. Convergencia en Media Cuadratica
Denicion 10.8 Sea (f
n
)
n1
una sucesion de funciones en (a, b) y sea f
(a, b). Decimos que f
n
converge en media cuadratica a f si
[[f
n
f[[ =
_
_
b
a
[f
n
(x) f(x)[
2
dx
_
1/2
0 (n ). (10.29)
Este tipo de convergencia es distinto a la convergencia puntual. Los siguientes
ejemplos muestran que ningun implica la otra.
Ejemplo 10.9
Consideremos f
n
= n1
(0,1/n)
. Entonces f
n
(x) 0 cuando n para todo
x [0, 1] pero
_
1
0
[f
n
(x)[
2
dx = 1,
de modo que f
n
no converge a 0 en media cuadratica.
Ejemplo 10.10
Consideremos la siguiente sucesion
f
0,0
= 1
[0,1)
f
1,0
= 1
[0,1/2)
, f
1,1
= 1
[1/2,1)
f
2,0
= 1
[0,1/3)
, f
2,1
= 1
[1/3,2/3)
, f
2,2
= 1
[2/3,1)
.
.
.
10.5. CONVERGENCIA EN MEDIA CUADR

ATICA 209
Entonces
_
1
0
[f
n,k
[
2
= 1/n
para todo 0 k n, de modo que la sucesion tiende a cero en media cuadratica,
pero no converge en ning un punto.
Denicion 10.9 Una sucesion (f
n
) en un espacio con producto interno es una
sucesion de Cauchy si para todo > 0 existe un N N tal que
m, n N [[f
n
f
m
[[ <
Un espacio con producto interno es completo si toda sucesion de Cauchy converge
a un punto del espacio. Un espacio con producto interno que es completo se
conoce como un espacio de Hilbert.
Ni el espacio de las funciones continuas en un intervalo [a, b] con el producto
interno que hemos denido, ni el de las funciones integrables seg un Riemann
son completos.
Teorema 10.18 Sea
0
,
1
, . . . un s.o.n. en [a, b], sea f (a, b) y supon-
gamos que f(x)

n=0
c
n

n
(x). Sea s
n
(x) la suma parcial
s
n
(x) =
n

k=0
c
k

k
(x) (10.30)
Si b
0
, b
1
, b
2
, . . . son n umeros complejos cualesquiera sea
t
n
(x) =
n

k=0
b
k

k
(x). (10.31)
Entonces tenemos la siguiente identidad:
_
b
a
[f(x) t
n
(x)[
2
dx =
_
b
a
[f(x)[
2
dx
n

k=0
[c
k
[
2
+
n

k=0
[c
k
b
k
[
2
(10.32)
de donde se obtiene la desigualdad
_
b
a
[f(x) s
n
(x)[
2
dx
_
b
a
[f(x) t
n
(x)[
2
dx (10.33)
Demostracion. (10.32) implica (10.33) porque el lado derecho de (10.32) tiene
su mnimo valor cuando b
k
= c
k
, para k 0. Para demostrar (10.32) escribimos
_
b
a
[f t
n
[
2
dx = f t
n
, f t
n
) = f, f) f, t
n
) t
n
, f) +t
n
, t
n
)
210 CAP

ITULO 10. SERIES DE FUNCIONES

Ahora
t
n
, t
n
) =
n

k=0
b
k

k
,
n

m=0
b
m

m
) =
n

k=0
n

m=0
b
k
b
k

k
,
m
) =
n

k=0
[b
k
[
2
f, t
n
) = f,
n

k=0
b
k

k
) =
n

k=0
b
k
f,
k
) =
n

k=0
b
k
c
k
t
n
, f) = f, t
n
) =
n

k=0
c
k
b
k
Por lo tanto
_
b
a
[f t
n
[
2
dx = [[f[[
2
+
n

k=0
[b
k
[
2

k=0
b
k
c
k

n

k=0
b
k
c
k
= [[f[[
2

k=0
[c
k
[
2
+
n

k=0
(b
k
c
k
)(b
k
c
k
)
= [[f[[
2

k=0
[c
k
[
2
+
n

k=0
[b
k
c
k
[
2

Teorema 10.19 Sea

0
,
1
, . . . un s.o.n. en [a, b], sea f (a, b) y supon-
gamos que f(x)

n=0
c
n

n
(x). Entonces
(a) La serie

[c
n
[
2
converge y satisface la desigualdad

n=0
[c
n
[
2

_
b
a
[f(x)[
2
dx (10.34)
que se conoce como la desigualdad de Bessel.
(b) La ecuacion

n=0
[c
n
[
2
=
_
b
a
[f(x)[
2
dx (10.35)
que se conoce como la identidad de Parseval, es valida si y solo si se tiene
[[f s
n
[[ 0 cuando n , donde s
n
es la sucesion de sumas parciales.
Demostracion. Poniendo b
k
= c
k
en (10.32) y observando que el lado izquierdo
es no-negativo obtenemos
n

k=0
[c
k
[
2

_
b
a
[f(x)[
2
dx
10.6. SERIES TRIGONOM

ETRICAS. 211
que demuestra (a). Para demostrar (b) ponemos b
k
= c
k
de nuevo en (10.32) y
obtenemos
[[f s
n
[[ =
_
b
a
[f(x) s
n
(x)[
2
dx =
_
b
a
[f(x)[
2
dx
n

k=0
[c
k
[
2
de donde se obtiene (b).
La parte (b) del teorema anterior nos dice que la identidad de Parseval vale
si y solo si la sucesion s
n
converge a f en media cuadratica.
Denicion 10.10 Sea S una coleccion de funciones integrables seg un Riemann
en [a, b]. Sea
0
,
1
, . . . un s.o.n. en [a, b],
f(x)

n=0
c
n

n
(x)
y sea
s
n
(x) =
n

k=0
c
k

k
(x), n 0.
El conjunto ortonormal
0
,
1
, . . . es completo para S si para toda f S se
tiene que [[f s
n
[[ 0 cuando n 0.
Por lo tanto, para un s.o.n.c. la relacion de Parseval vale para toda f S.
Veremos mas adelante que el sistema de funciones trigonometricas es completo
para el conjunto S de las funciones continuas en [0, 2].
Como consecuencia de la parte (a) del teorema anterior observamos que el
coeciente de Fourier c
n
de f respecto de cualquier s.o.n.
0
,
1
, . . . debe
tender a 0 cuando n , porque

[c
n
[
2
converge. En particular, cuando

n
(t) = e
int
/

2 tenemos
lim
n
_
2
0
f(x)e
inx
dx = 0
de donde obtenemos
lim
n
_
2
0
f(x) cos nxdx = 0, lim
n
_
2
0
f(x) sennxdx = 0.
10.6. Series Trigonometricas.
De ahora en adelante solo consideraremos series trigonometricas y funciones
periodicas con perodo 2 que sean integrables seg un Riemann en [, ]. La
serie de Fourier de f es la serie

n=
c
n
e
inx

2
212 CAP

ITULO 10. SERIES DE FUNCIONES

con
c
n
=
1

2
_

f(x)e
inx
dx
y la suma parcial se escribe
s
n
(x) = s
n
(f; x) =
n

n
c
k
e
ikx

2
.
En este caso la desigualdad de Bessel es
_

[s
n
(x)[
2
dx =
n

n
[c
k
[
2

[f(x)[
2
dx. (10.36)
Teorema 10.20 (Lema de Riemann-Lebesgue) Sea f [a, b]. Para todo
R se tiene
lim

_
b
a
f(t) sen(t + ) dt = 0 (10.37)
Demostracion. Si f es constante en [a, b], el resultado es consecuencia de

_
b
a
sen(t + ) dt

cos(a + ) cos(b + )

si > 0. El resultado tambien vale si f es constante en (a, b), sin importar como
denimos f(a) y f(b). Por lo tanto (10.37) vale si f es una funcion escalera.
Para > 0 escogemos P T[a, b] tal que S(P, f) I(P, f) < /2. Denimos
M(t), m(t) funciones escalera determinadas por P y f de modo que M(t) vale
M
i
en el i-esimo intervalo de la particion P, y de manera similar para m(t) con
m
i
. Por lo tanto m(t) f(t) M(t) para todo t [a, b] y tenemos
I(P, f) =
_
b
a
m(t) dt, S(P, f) =
_
b
a
M(t) dt.
Entonces

_
b
a
(f(t) m(t)) sen(t + ) dt

_
b
a
[M(t) m(t)[ dt

2
.
Para este mismo valor de podemos escoger A de modo que
A

_
b
a
m(t) sen(t + ) dt

<

2
.
Combinando estas dos ecuaciones obtenemos

_
b
a
f(t) sen(t + ) dt

0.
10.6. SERIES TRIGONOM

ETRICAS. 213
cuando .
Introducimos el n ucleo de Dirichlet para obtener una expresion para s
n
que
sea mas manejable:
D
n
(x) =
n

k=n
e
ikx
. (10.38)
Esta funcion satisface
(e
ix
1)D
n
(x) = e
i(n+1)x
e
inx
.
Multiplicando esta igualdad por e
ix/2
obtenemos que
D
n
(x) =
sen(n +
1
2
)x
sen(x/2)
.
Tenemos
s
n
(f; x) =
n

k=n
c
n
e
inx

2
=
n

k=n
1
2
_

f(t)e
ikt
dt e
ikx
=
1
2
_

f(t)
n

k=n
e
ik(xt)
dt
=
1
2
_

f(t)D
n
(x t) dt
La periodicidad de las funciones que aparecen en esta formula y un cambio de
variables muestran que
s
n
(f; x) =
1
2
_

f(t)D
n
(x t) dt =
1
2
_

f(x t)D
n
(t) dt (10.39)
Teorema 10.21 Si para alg un x existen constantes > 0 y M < tales que
[f(x + t) f(x)[ M[t[ (10.40)
para todo t (, ) entonces
lim
n
s
n
(f; x) = f(x). (10.41)
Demostracion. Denimos
g(t) =
f(x t) f(x)
sen(t/2)
para 0 < [t[ , y ponemos g(0) = 0. Por la denicion del n ucleo de Dirichlet
tenemos
1
2
_

D
n
(x) dx = 1.
214 CAP

ITULO 10. SERIES DE FUNCIONES

Por lo tanto, a partir de (10.39) tenemos que
s
n
(f; x) f(x) =
1
2
_

f(x t)D
n
(t) dt f(x)
=
1
2
_

(f(x t) f(x))D
n
(t) dt
=
1
2
_

g(t) sen(n +
1
2
)t dt.
y ahora, como g es integrable seg un Riemann en [a, b] podemos usar el lema de
Riemann-Lebesgue para obtener el resultado.
Corolario 10.2 Si f(x) = 0 para todo x en un intervalo I, entonces lims
n
(f; x) =
0 para todo x I.
Otra formulacion de este corolario es la siguiente:
Si f(t) = g(t) para todo t en una vecindad de x, entonces
s
n
(f; x) s
n
(g; x) = s
n
(f g; x) 0 cuando n .
Para la demostracion del proximo teorema necesitamos la siguiente version
del teorema de Stone-Weierstrass, que enunciamos sin demostracion. Un algebra
/ de funciones complejas es auto-adjunta si para toda f / se tiene que f /.
Teorema 10.22 Sea / una algebra auto-adjunta de funciones complejas con-
tinuas en un conjunto compacto K, / separa puntos en K y no se anula en
ning un punto de K. Entonces la clausura uniforme B de / consiste de todas las
funciones complejas continuas sobre K, es decir, / es densa en ((K).
Teorema 10.23 Si f es continua y periodica (con perodo 2) y si > 0,
entonces existe un polinomio trogonometrico P tal que
[f(x) P(x)[ <
para todo x R.
Demostracion. Si identicamos x y x + 2 podemos considerar las funciones
periodicas de perodo 2 sobre como funciones sobre el crculo unitario T, por
la transformacion x e
ix
. Los polinomios trigonometricos forman un algebra
auto-adjunta / que separa puntos de T y no se anula en ning un punto de T.
Como T es compacto, el teorema 10.22 dice que / es denso en ((T).
Lema 10.2 Sea f [a, b]. Dado > 0 existe una funcion continua g en [a, b]
tal que [[f g[[ < .
10.6. SERIES TRIGONOM

ETRICAS. 215
Demostracion. Dado > 0 sea P T[a, b] tal que S(P, f) I(P, f) < . Con
base en esta particion denimos la funcion
g(t) =
x
i
t
x
i
f(x
i1
) +
t x
i1
x
i
f(x
i
)
Observamos que g(x
i1
) = f(x
i1
) y g(x
i
) = f(x
i
) y la funcion esta denida
como una interpolacion lineal entre estos dos puntos. Por lo tanto tenemos que
para todo x en [x
i1
, x
i
],
[g(x) f(x)[ M
i
m
i
1
En consecuencia
_
b
a
[f(x) g(x)[
2
dx =
n

i=1
_
x
i
x
i1
[f(x) g(x)[
2
dx

i=1
_
x
i
x
i1
[M
i
m
i
[
2
dx <

Teorema 10.24 Sean f, g funciones integrables seg un Riemann con perodo 2

y
f(x)

c
n
e
inx

2
, g(x)

d
n
e
inx

2
.
Entonces [[f s
n
(f)[[ 0 y
f, g) =
_
b
a
f(x)g(x) dx =

k=
c
n
d
n
(10.42)
Demostracion. Sea > 0. Como f [, ] y f() = f() por el lema
anterior tenemos una funcion h continua en [, ], con perodo 2 tal que
[[f h[[ < .
Por el teorema 10.23 existe un polinomio trogonometrico P tal que [h(x)
P(x)[ < /2 para todo x. Por lo tanto [[h P[[ < . Si P tiene grado N, por
(10.33) tenemos
[[h s
n
(h)[[ [[h P[[ <
para todo n N. Por la desigualdad de Bessel para h f,
[[s
n
(h) s
n
(f)[[ = [[s
n
(h f)[[ [[h f[[ < .
Combinando estas desigualdades con la desigualdad de Minkowski obtenemos
[[f s
n
(f)[[ [[f h[[ +[[h s
n
(h)[[ +[[s
n
(h) s
n
(f)[[ 3
216 CAP

ITULO 10. SERIES DE FUNCIONES

Esto demuestra la convergencia a 0 de [[f s
n
(f)[[. Por otro lado
_

s
n
(f)g dx =
n

k=n
c
n
1
2
_

e
ikx
g(x) dx =
n

k=n
c
n
d
n
y por la desigualdad de Cauchy-Schwarz tenemos

_
fg
_
s
n
(f)g

_
[f s
n
(f)[ [g[
_
_
[f s
n
(f)[
2
_
[g[
2
_
1/2
que tiende a 0 cuando n por lo que acabamos de demostrar. A partir de
esta desigualdad se obtiene (10.42).