Está en la página 1de 25

Universidad T

ecnica Federico Santa Mara


tica
Departamento de Matema
Notas mat 023
Series de Fourier
Segundo Semestre 2011

1.

Funciones Ortogonales

n 1.1 El conjunto de funciones seccionalmente continuas {n (x) : n = 0, 1, . . . } en un intervalo finito


Definicio

[, ] o infinito, se dice ortogonal en [, ] con respecto a la funcion no negativa r(x) si


Z

r(x)m (x)n (x) dx = 0


m 6= n

m , n =

r(x)|n (x)|2 dx 6= 0
n

(1.1)

La funcion r(x) es llamada funcion peso.

Siempre asumiremos que r(x) posee un n


umero finito de ceros en el intervalo [, ] y que las integrales
en 1.1 existen para todo n. La notacion n (x) significa que consideramos el conjugado de la funci
on n (x),
2

que en general es a valores complejos. Por ello, escribimos |n (x)| = n (x)n (x). Sin embargo, en la mayora

de nuestras aplicaciones las funciones consideradas son a valores reales y luego, n (x) = n (x) y adem
as
|n (x)|2 = 2 (x).

El conjunto de funciones {n (x) : n = 0, 1, . . . } en [, ] con respecto a la funcion peso r(x) se dice ortonormal
si cumple con la primera de las relaciones en 1.1 para m 6= n, y ademas
Z

r(x)|n (x)|2 dx = 1

n.

As, las funciones ortonormales poseen las mismas propiedades que las funciones ortogonales, pero adem
as, han
sido normalizadas, i.e., cada funcion n (x) del conjunto ortogonal ha sido dividida por su propia norma, que se
define como
kn k =

!1/2

r(x)|n (x)|2 dx

Ejemplo 1.1 El conjunto


{1, cos nx, n = 1, 2, . . . },
es ortogonal sobre 0 < x < con r(x) = 1. En efecto, para m 6= n, tenemos
Z
Z
1
[cos(m n)x + cos(m + n)x] dx
cos mx cos nx dx =
2 0
0


1 sen(m n)x sen(m + n)x
=
+

2
mn
m+n
0


1 sen(m n)
sen(m + n)
=
0+
0 = 0.
2
mn
m+n

(1.2)

1. Funciones Ortogonales

Ahora, puesto que


k0 k =

Z

kn k =

Z

1/2

dx
=

1/2 Z
cos nx dx dx
=

1/2 r
1 + cos 2nx

dx
=
,
2
2

sigue que el conjunto


(

1
,

2
cos nx, n = 1, 2, . . .

es ortonormal en 0 < x < con r(x) = 1.


Ejemplo 1.2 El conjunto

1
1
1
, cos nx, sen nx, n = 1, 2, . . .

2
es ortonormal sobre < x < con r(x) = 1. Para esto, primero necesitamos chequear que
2
2
2
Z 
Z 
Z 
1
1
1

cos nx dx = 1,
sen nx dx = 1.
dx = 1,

(1.3)

La primera integral es evidente. En tanto, las siguientes se calculan usando el ejemplo anterior mas la propiedad
Rp
Rp
de integracion de funciones pares en intervalos simetricos: p h(z)dz = 2 0 h(z)dz. En segundo lugar, debemos
chequear que

1
1
cos nx dx = 0,

Z 2
1
1
cos nx cos mx dx = 0,

1
1
sen nx dx = 0,

1
1
sen nx sen mx dx = 0, m 6= n

1
1
cos nx sen mx dx = 0 m 6= n.

Es facil chequear esto recordando que todas las funciones involucradas son trigonometricas integradas en el
Z

perodo (, ).
Ejemplo 1.3 El conjunto de funciones a valores complejos


1 inx
e ,n Z ,
2
es ortonormal en el intervalo < x < con la funcion peso r(x) = 1. En efecto
Z
Z
1
1
2
inx inx
kn k =
e e
dx =
dx = 1.
2
2
Ademas, usando la formula de Euler si m 6= n:
Z
Z
1
1
imx inx
m , n =
e e
dx =
ei(mn)x dx
2
2

n
o

1
1
i(mn)x
i(mn)
i(mn)
e
=
e

e
=

2(m n)i
2(m n)i

1
=
{cos(m n) + i sen(m n) cos(m n) + i sen(m n)} = 0.
2(m n)i
2

(1.4)

2. Series de Fourier

Ejemplo 1.4 Los polinomios de Chebyshev de primer orden


{Tn (x) = cos(n arc cos x), n = 0, 1, 2, . . . },
son ortogonales en el intervalo 1 < x < 1 con la funcion peso r(x) = (1 x2 )1/2 . En efecto
Tm , Tn =
=

cos(m arc cos x) cos(n arc cos x) dx


1 x2

cos m cos n d
0

m 6= n

0,

(x = cos )

/2, m = n 6= 0

,
m = n = 0.

2.

Series de Fourier

A menudo necesitaremos expandir una funcion dada en terminos de otras funciones con una exactitud especfica de tal forma de realizar operaciones en la practica. En esta seccion mostraremos que los conjuntos de
funciones que hemos estudiado en la seccion anterior pueden ser utilizados efectivamente como la base en la
expansion de funciones mas generales.
La base {e1 , e2 , . . . , en } (ek es un vector unitario) de Rn posee una importante caracterstica: para cualquier
Pn
i
u Rn existe una eleccion u
nica de constantes 1 , . . . , n para las cuales u =
as a
un, por la
i=1 i e . M

ortonormalidad de los vectores ei , 1 < i < n podemos determinar estas constantes i , 1 < i < n como sigue
!
n
n
X
X
j
i
ue =
i e ej =
i (ei ej ) = j , 1 j n.
i=1

i=1

As, el vector u posee una u


nica representacion.
Una generalizacion natural de este resultado el cual es ampliamente aplicable y ha llevado a una gran cantidad de
avances en matematica avanzada puede establecerse como sigue: Sea {n (x), n = 0, 1, . . . } un conjunto ortogonal

de funciones en el intervalo [, ] con respecto a la funcion peso r(x). Entonces, una funcion arbitraria f (x)
puede ser expresada como una serie infinita que involucra a las funciones n (x), n = 0, 1, . . . como
f (x) =

cn n (x).

(2.1)

n=0

La pregunta natural que surge es el sentido de la igualdad en 2.1, i.e., el o los tipos de convergencia, si las hay,
de la serie infinita en el lado derecho para poder tener una idea de que tan bien representa a f (x). Tambien
podramos determinar los coeficientes cn , n = 0, 1, 2, . . . en 2.1.
Procederemos formalmente en primer lugar sin considerar la pregunta de la convergencia. Multiplicamos 2.1

2.1. Serie de Fourier de Cosenos

por r(x)m (x) e integramos desde a , para obtener


Z

r(x)m (x)f (x) dx

cn r(x)n (x)m (x) dx

n=0
Z

= cm

r(x)|m (x)|2 dx = cm km k2 .

As, bajo condiciones adecuadas de convergencia los coeficientes constantes cn , n = 0, 1, . . . estan dados por la
formula
cn =

r(x)n (x)f (x) dx

kn k2 .

(2.2)

Sin embargo, si el conjunto {n (x)} es ortonormal, es decir kn k = 1, entonces tenemos


cn =

r(x)n (x)f (x) dx.

(2.3)

Si la serie

n=0 cn n (x)

converge uniformemente a f (x) en [, ], entonces el procedimiento previo est


a justi-

ficado, y entonces los coeficientes cn estan dados por 2.2.


Los coeficientes cn obtenidos en 2.2 son llamados coeficientes de Fourier de la funcion f (x) con respecto al
P
conjunto ortogonal {n (x)} y la serie n=0 cn n (x) con coeficientes 2.2 es llamada la Serie de Fourier de f (x).

Vamos a escribir

f (x)

cn n (x)

n=0

lo cual, en general, es solo una correspondencia, i.e., a menudo f (x) 6=

n=0 cn n (x),

a menos que se pruebe.

A continuacion, listamos algunos de los casos con mas frecuencia utilizados.

2.1.

Serie de Fourier de Cosenos

En la seccion pasada hemos probado que el conjunto de funciones


)
(
r
1
2
0 (x) = , n (x) =
cos nx, n = 1, 2, . . . ,

es ortonormal en 0 < x < . As, para cualquier funcion seccionalmente continua f (x) definida sobre 0 < x < ,
r

X
X
c0
2
f (x) c0 0 (x) +
cn n (x) = +
cn
cos nx,

n=1
n=1
donde
c0 =

Luego,

f (x)

1
f (t) dt,

1
2

cn =

f (t) dt +

f (t)

 Z
X
2

n=1

2
cos nt dt,

n 1.


f (t) cos nt dt cos nx,

2.2. Series de Fourier de Senos

lo que puede ser escrito como

f (x)
donde

2
an =

a0 X
+
an cos nx,
2
n=1

(2.4)

f (t) cos nt dt,

n 0.

(2.5)

Esta serie es conocida como serie de Fourier de cosenos.


Ejemplo 2.1 Vamos a encontrar la serie de
Z
2
a0 =
t cos 0t dt =
0
Z
2
t cos nt dt =
an =
0

Fourier de cosenos de la funcion f (x) = x, 0 < x < . Claramente


Z
2
t dt = ,
0
Z


sen nt
2 sen nt
t

dt

n 0
n
0


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

n
n2

n2

As, de 2.4, tenemos

X 2 (1)n 1
+
cos nx,
2 n=1
n2

0 < x < .

En la figura se muestra la grafica de la funcion y la aproximacion por la serie truncada para diversos valores.
3.0

2.5

2.0

1.5

1.0

0.5

0.0
0.0

0.5

1.0

1.5

2.0

2.5

3.0

Figura 2.1 Gr
afico de f (x) = x (p
urpura) y de las aproximaciones con 1 coeficiente (rojo), 4 coeficientes (naranja) y 10 coeficientes
(verde). A medida que se toman m
as coeficientes de la expansi
on, la gr
afica de la serie se ajusta a la funci
on, como se esperaba.

2.2.

Series de Fourier de Senos

Recuerde que el conjunto


(

n (x) =

2
sen nx, n = 1, 2, . . .

es ortonormal sobre 0 < x < . As, para cualquier funcion continua por tramos f (x) definida sobre 0 < x < ,
r

X
2
f (x)
cn
sen nx,

n=1
5

2.3. Serie de Fourier Trigonom


etrica

donde
cn =

f (t)

De nuevo podemos rescribir como

f (x)
donde

2
bn =

2
sen nt dt,

n 1.

bn sen nx,

(2.6)

n=1

f (t) sen nt dt,

n 1.

(2.7)

Esta representacion de f (x) es llamada serie de Fourier de senos.


Ejemplo 2.2 Vamos a encontrar la serie de Fourier de senos de la funcion
(
1, si 0 < x < /2
f (x) =
0, si /2 < x < .
Claramente, para n 1
bn =

f (t) sen nt dt =

sen nt dt =
0



2 cos(n/2) + 1
.

As,



X
2 1 cos(n/2)
f (x)
sen nx,

n
n=1

2.3.

0 < x < .

Serie de Fourier Trigonom


etrica

En la seccion pasada, hemos verificado que el conjunto




1
1
1
0 (x) = , 2n1 (x) = cos nx, 2n (x) = sen nx, n = 1, 2, . . .

2
es ortonormal sobre < x < . As, para cualquier funcion seccionalmente continua f (x) definida sobre
< x < ,

donde



X
c0
cos nx
sen nx
f (x) +
c2n1
+ c2n
,

2 n=1
c0

c2n1

c2n

1
f (t) dt
2

Z
1
f (t) cos nt dt,

Z
1
f (t) sen nt dt,

n1
n 1.

Al reescribir las relaciones de arriba, tenemos la serie de Fourier trigonometrica

f (x)

a0 X
+
(an cos nx + bn sen nx) ,
2
n=1
6

(2.8)

2.3. Serie de Fourier Trigonom


etrica

donde

an =
bn =

f (t) cos nt dt,

n 0,

(2.9a)

f (t) sen nt dt,

n 1.

(2.9b)

Para nuestra discusion posterior notamos las siguientes relaciones


r

c0 =
a0 , c2n1 = an , c2n = bn .
2

(2.10)

Ejemplo 2.3 Vamos a encontrar la serie de Fourier trigonometrica de la funcion


(
1, si < x < 0
f (x) =
x, si 0 < x < .
De 2.9a-2.9b, tenemos
an =

f (t) cos nt dt

=
=
a0 =
1
bn =

1
1 sen nt dt +

1 1 dt +
Z

t 1 dt =

t sen nt dt

Z
1
1 cos nt dt +
t cos nt dt
0



1 t sen nt cos nt
0+
+

n
n2 0
n
1 (1) 1
,
n 1.

n2

1+ ,
2
1

1 + (1 )(1)n
,
n

n 1.

3.0

2.5

2.0

1.5

1.0

0.5

0.0
-3

-2

-1

Figura 2.2 Funci


on f (x) y su serie de Fourier trigonom
etrica para 2 coeficientes (rojo), 6 (naranja) y 100 coeficientes (verde).
Note la oscilaci
on de la serie en los extremos y en los puntos de discontinuidad.

Luego, hemos obtenido




2 + X 1 (1)n 1
1 + (1 )(1)n
f (x)
+
cos nx +
sen nx ,
4

n2
n
n=1
7

< x < .

2.3. Serie de Fourier Trigonom


etrica

Es claro que las constantes an , bn para la serie de Fourier trigonometrica son diferentes de aquellos obtenidos
para la serie de Fourier de cosenos y senos. Sin embargo, si la funcion f (x) es impar, entonces
Z
1
an =
f (t) cos nt dt = 0,
n0

Z
Z
1
2
bn =
f (t) sen nt dt =
f (t) sen nt dt,
n1

0
y la serie de Fourier trigonometrica se reduce a la serie de Fourier de senos. As, concluimos que si f (x) es impar,
o definida solo sobre (0, ) y hacemos su extension impar entonces la serie de Fourier de senos es v
alida sobre
(, ). Exactamente en el mismo sentido, si f (x) es par, o definida solo sobre (0, ) y hacemos su extensi
on
par entonces
an

bn

Z
Z
1
2
f (t) cos nt dt =
f (t) cos nt dt,

0
Z
1
f (t) sen nt dt = 0,
n1

n0

y la serie de Fourier trigonometrica se reduce a la serie de Fourier de cosenos.


Ejemplo 2.4 Vamos a calcular la serie de Fourier trigonometrica de la funcion definida sobre < x <

(x + ) si x 2
f (x) =
x
si 2 x 2

x
si < x 3 ,
2

con f (x + 2) = f (x).

Puesto que la funcion es impar, sigue que a0 = an = 0,

n 1. Ademas, se tiene que


Z
2
bn =
f (x) sen nx dx
0
!
Z /2
Z
2
=
x sen nx dx +
( x) sen nx dx

0
/2
Z /2
Z
2
=
x sen nx dx
x sen nx dx

0
/2
!
Z
+
sen nx dx .
/2

Figura 2.3 La funci


on f (x) del ejemplo. Note que es impar.

R
sen nz z cos nz
Las dos primeras integrales se calculan por partes y se obtiene z sen nz dz =

. Luego
n2
n


2 sen nx /2 x cos nx /2 x cos nx
sen nx
cos nx
bn =

n2 0
n
n
n2 /2
n
0
/2
/2

n
n
n
n 
2
sen

cos

cos

cos
2
cos n
cos n
2
2
2
2
=

n2
2n
n
2n
n
n
4
n
=
sen
.
2
n
2
8

2.3. Serie de Fourier Trigonom


etrica

Estos coeficientes son distintos de cero si n es impar, o sea, n = 2k 1, k N. Utilizando la identidad

trigonometrica del seno de la diferencia de dos angulos, sigue que sen(2k 1) 2 = cos k = (1)k+1 . Entonces
bk

f (x)

4 (1)k+1
; y
(2k 1)2

4 X (1)k+1
sen(2k 1)x .

(2k 1)2
k=1

Finalmente, hacemos notar que si la funcion seccionalmente continua f (x) esta definida sobre L < x < L,

entonces su serie de Fourier trigonometrica 2.8 toma la forma

f (x)

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

donde
an =
bn =

2.3.1.

1
L

1
L

(2.11)

f (t) cos

nt
dt,
L

n0

(2.12a)

f (t) sen

nt
dt,
L

n 1.

(2.12b)

L
L

Expansi
on de Medio Rango

Suponga que una funcion f esta definida sobre 0 < x < y que deseamos expandirla en una serie de Fourier
trigonometrica. Dado que los coeficientes an y bn involucran integrales desde a , debemos de alguna manera
extender la definicion de f al intervalo (, ). Podemos hacer esto de varias maneras a nuestro beneficio. Una

forma, es extender f tal que sea una funcion par sobre el intervalo (, ) (figura 2.4). Dado que es una funci
on
par, se tiene que bn = 0, n = 1, 2, . . . y la serie de Fourier trigonometrica solo posee terminos de cosenos, es
decir, coincide con la serie de Fourier de cosenos antes estudiada. Esta expansion es denominada expansi
on de
medio rango.
Tambien, una funcion definida en el intervalo (0, ) puede tambien ser extendida al intervalo (, ) como una
funcion impar. La figura 2.5 muestra tal extension, y notamos que se introducen discontinuidades en x = , 0, ,

a menos que f () = f (0) = f () = 0. esto no nos preocupa, puesto que como se vera en la siguiente secci
on,
los teoremas de convergencia para series de Fourier son validos para funciones seccionalmente continuas. Dado
que esta expansion es impar, se tiene que an = 0, n = 0, 1, 2, . . . , la serie resultante es una serie de Fourier de
senos.
y

Figura 2.4 Extensi


on par de f (x) al intervalo (, ).

x
-

2.3. Serie de Fourier Trigonom


etrica

Figura 2.5 Extensi


on impar de f (x) al intervalo (, ).

x
-

Ejemplo 2.5 Vamos a expandir de forma par la funcion


(
0, si 0 < x < /2
f (x) =
1, si /2 < x < .
1

El grafico de la extension par se muestra en la figura 2.6. Puesto que es una expansion par, sigue que
bn = 0, n = 1, 2, . . . Ademas
Z
Z
2
2
f (t) dt =
dt = 1,
a0 =
0
/2
y
Z
Z
2
2
ak =
f (t) cos kt dt =
cos kt dt
0
/2

2
2
k
=
=
sen

k
k
2
/2

Los coeficientes son cero, salvo los impares, i.e., si


k =
1, n = 1, 2, . . . Usando la identidad
 2n

sen n
= cos n = (1)n+1 , obtenemos
2

ak =
Por lo tanto,

Figura 2.6 Extensi


on par de f (x).

0,
si k = 2n, n = 1, 2, . . .
n
2
(1)

, si k = 2n 1, n = 1, 2, . . .
2n 1

f (x)

1
2 X (1)n
+
cos nx,
2 n=1 2n 1

0 < x < .

Se deja como ejercicio realizar la expansion impar.

Si deseamos expandir una funcion seccionalmente continua definida sobre el intervalo [c , c + ], formamos

su extensi
on peri
odica f0 como sigue
(
f (x),
si
f0 (x) =
f0 (x 2), para cualquier otro x.
10

< x < ,

2.4. Serie de Fourier Compleja

No importa cuan suave sea la funcion f , estaremos introduciendo discontinuidades en x = c y x = c +

al menos que f (c ) = f (c + ). Dado que tanto f0 (x), cos nx y sen nx son todas funciones peri
odicas con

periodo 2, podemos reemplazar el intervalo [, ] por [c , c + ], sobre el cual f0 coincide con f . Entonces,
los coeficientes de Fourier estan dados por

c+

1
bn =

c+

an =

f (t) cos nt dt,

(2.13a)

f (t) sen nt dt.

(2.13b)

La serie de Fourier formada con los coeficientes en 2.13a-2.13b entregan una expansion que es v
alida sobre el
intervalo c < x < c + .
Ejemplo 2.6 Vamos a expandir la funcion f (x) = x sobre 0 < x < 2. El grafico de la extension peri
odica se
muestra en la figura 2.7. Calculamos
2

a0

an

bn

=
=

t dt = 2,

0
2

2

1 t sen nt cos nt
+
= 0,

n
n2 0
0

2
Z
1 2
1
t cos nt sen nt
t sen nt dt =

+
0

n
n2 0
-2
2
.
Figura
n
Z

t cos nt dt =

2.7 Extensi
on peri
odica de f (x).

Por lo tanto,
f (x) 2

X
sen nx
,
n
n=1

0 < x < 2.

n 2.1 Por supuesto, podramos haber hecho los calculos sobre el intervalo [, ] usando la funObservacio
cion extendida f0 . Sin embargo, en tal caso, las integrales que determinan los coeficientes de Fourier deberan
separarse en dos, lo que hace mas engorrosa su determinacion, aun cuando el resultado sera el mismo.

2.4.

Serie de Fourier Compleja

En la seccion anterior hemos visto que el conjunto de funciones




1 inx
n (x) = e , n Z ,
2
es ortonormal en el intervalo < x < con la funcion peso r(x) = 1. As, para cualquier funci
on seccionalmente continua f (x) definida sobre < x < , (hemos abusado de la notacion para estar de acuerdo con la
11

3. Convergencia de las Series de Fourier

literatura existente)
f (x)
donde
cn =
As
f (x)

cn n (x),

n=

1
f (t) eint dt.
2


Z

X
1
1

f (t)eint dt einx
2
2

n=


Z

X
1
f (t)eint dt einx .
2

n=

Al reescribir la relacion de arriba tenemos la serie de Fourier exponencial


f (x)
donde

1
cn =
2

cn einx ,

(2.14)

f (t)eint dt.

(2.15)

n=

Ejemplo 2.7 Vamos a encontrar la serie de Fourier exponencial de la funcion f (x) = ex definida sobre
< x < . Tenemos que
cn =

1
2

et eint dt

=
=

Z
1
e(1in)t dt
2
i
1
1 h (1in)
e
e(1in)
2 1 in

1
1  in
e e
e ein .
2 1 in

Usando la formula de Euler y la definicion de seno hiperbolico


cn

=
=


1 
1
e cos n e cos n
2 1 in
senh (1)n
.

1 in

Luego
f (x)

senh X (1)n inx


e ,
n= 1 in

< x < .

********************************************************

3.

Convergencia de las Series de Fourier

En esta seccion vamos a examinar la convergencia de la serie de Fourier de la funcion f (x). Por esto,
para hacer el analisis ampliamente aplicable, asumiremos que las funciones n (x), n = 0, 1, . . . y f (x) son
12

3.1. Convergencia en Media

solo seccionalemente continuas sobre [, ]. Sea la suma de los primeros N + 1 terminos de

PN

n=0 cn n (x)

que

denotaremos por SN (x). Consideraremos la diferencia |SN (x) f (x)| para varios valores de N y x. Si para una

constante arbitraria > 0 existe un entero N () > 0 tal que |SN (x) f (x)| < , entonces la serie de Fourier

converge uniformemente a f (x) para todo x [, ]. Por otro lado, si N depende tanto de x como de , entonces

la serie de Fourier converge puntualmente a f (x). Sin embargo, por el momento ambos tipos de convergencia
son demasiado exigentes, y nos conformaremos con algo menos. Para este fin, estudiaremos lo siguiente.

3.1.

Convergencia en Media

n 3.1 Sean las funciones n (x), n 0 y (x) seccionalmente continuas sobre [, ]. Diremos que la
Definicio

serie {n (x)} converge en media a (x) (con respecto a la funcion peso r(x)) en el intervalo [, ] si
Z
2
lm kn k2 = lm
r(x) (n (x) (x)) dx = 0.

n

As, la serie de Fourier converge en media a f (x) siempre que


Z
2
lm
r(x) (SN (x) (x)) dx = 0.
N

(3.1)

(3.2)

Antes de probar la convergencia de las series de Fourier en media, vamos a considerar la posibilidad de representar
P
a f (x) por una serie de la forma n=0 dn n (x), donde los coeficientes dn no son necesariamente los coeficientes
de Fourier. Sea

TN (x; d0 , d1 , . . . , dn ) =

N
X

dn n (x)

n=0

y sea eN la cantidad kTN f k. Entonces, por la ortogonalidad de las funciones n (x) es claro que
!2
Z
N
X
2
2
eN = kTN f k =
r(x)
dn n (x) f (x) dx

N
X

n=0

N
X

n=0

d2n

n=0

r(x)2n (x) dx 2

kn k2 (dn cn )2

N
X

n=0

N
X

dn

r(x)n (x)f (x) dx +

n=0

kn k2 c2n + kf k2.

r(x)f 2 (x) dx

(3.3)

As, la cantidad eN es minimizada cuando dn = cn para n = 0, 1, . . . , N . Por lo tanto, hemos establecido el


siguiente resultado.
Teorema 3.1. Para cualquier entero no negativo N , la mejor aproximaci
on en media a la funci
on f (x) por
PN
una expresi
on de la forma n=0 dn n (x) es obtenida cuando los coeficientes dn son los coeficientes de Fourier
de f (x).

Ahora, en 3.3, hacemos dn = cn , n = 0, 1, . . . , N para obtener


kSN f k2 = kf k2
13

N
X

n=0

kn k2 c2n .

(3.4)

3.1. Convergencia en Media

As, sigue que


kTN f k2 =
Luego, encontramos que

N
X

kn k2 (dn cn )2 + kSN f k2 .

n=0

0 kSN f k kTN f k.
Si la serie

n=0

(3.5)

(3.6)

dn n (x) converge en media a f (x), i.e., si lmN kTN f k = 0, entonces de 3.6 es claro que

la serie de Fourier converge en media a f (x), i.e., lmN kSN f k = 0. Sin embargo, 3.5 implica que
N
X

lm

n=0

kn k2 (dn cn )2 = 0.

Pero esto es posible si y solo si dn = cn , n = 0, 1, . . . . As, hemos probado el siguiente resultado.


Teorema 3.2. Si una serie de la forma

n=0

dn n (x) converge en media a f (x), entonces los coeficientes dn

deben ser los coeficientes de Fourier de f (x).

Ahora, de la igualdad 3.3 notamos que


0 kSN +1 f k kSN f k.
As, la serie {kSN f k, N = 0, 1, . . . } es no creciente y acotada inferiormente por cero, y por lo tanto debe

converger. Si converge a cero, entonces la serie de Fourier de f (x) converge en media a f (x). Adem
as, de 3.4,

tenemos la desigualdad
N
X

kn k2 c2n kf k2 .

n=0

Dado que la serie {CN , N = 0, 1, . . . }, donde CN =


por kf k2 , debe converger. Por lo tanto, tenemos

n=0

PN

n=0

kn k2 c2n es no decreciente y acotada superiormente

kn k2 c2n kf k2 .

(3.7)

Luego, de 3.4 vemos que la serie de Fourier de f (x) converge en media a f (x) si y solo si
kf k2 =

n=0

kn k2 c2n .

(3.8)

Para el caso en que n (x), n = 0, 1, . . . sean ortonormales, 3.7 se reduce a la desigualdad de Bessel

n=0

c2n kf k2

(3.9)

y 3.8 se convierte en la identidad de Parseval.


kf k2 =

n=0

Resumimos nuestra discusion con el siguiente resultado


14

c2n .

(3.10)

3.1. Convergencia en Media

Teorema 3.3. Sean {n (x), n = 0, 1, . . . un conjunto ortonormal de funciones y sean cn los coeficientes de
Fourier de f (x) dados por 2.3. Entonces son v
alidas las siguientes
i La serie

2
n=0 cn

converge, y por lo tanto


lm cn = lm

r(x)n (x)f (x) dx = 0,

ii La desigualdad de Bessel 3.9 es verdadera,


iii La serie de Fourier de f (x) converge en media a f (x) si y s
olo si la identidad de Parseval 3.10 se
cumple.

Recordando las relaciones 2.10, para la serie de Fourier trigonometrica la identidad de Parseval puede ser
escrita como
r

a0
2

2

o bien

n=1

( an )2 + ( bn )2 =

1
a20 X 2
+
(an + b2n ) =
2

n=1

f 2 (x) dx,

f 2 (x) dx.

(3.11)

Ejemplo 3.1 Encontraremos la serie de Fourier trigonometrica de la funcion |x| sobre el intervalo < x < .

Puesto que es una funcion par, sigue que bk = 0, k 1. Ademas


Z
2
a0 =
t dt =
0



Z
Z
2
2 t sen kt
1
ak =
t cos kt dt =

sen kt dt
0

k 0 k 0


2
cos kt
2
=
= 2 [(1)k 1]
0+
k1
k
k 0
k

0
si k = 2n, n = 1, 2, . . .
=
4

si k = 2n 1, n = 1, 2, . . .
(2n 1)2

Luego

|x|

X
4
+
cos(2n 1)x,
2 n=1 (2n 1)2

< x < .

Evidentemente, |x| es una funcion seccionalmente continua sobre [, ]. Ademas, comparando su serie de
Fourier trigonometrica tenemos que

a0

= ,
2
2
As, la identidad 3.11 entrega

a2n = 0,

a2n1 =

4
,
(2n 1)2

bn = 0.

2
Z

2 X
4
1 2
+
=
|t| dt,
2
(2n 1)2

n=1
15

3.2. Convergencia Puntual

que es lo mismo que

2
16 X
1
2 2
+ 2
=
4
2
n=1 (2n 1)
3

Y luego

1
4
=
.
(2n 1)4
96
n=1

3.2.

Convergencia Puntual

La discusion analtica de la convergencia puntual y uniforme de la serie de Fourier de la funci


on f (x) es
complicada. Por lo tanto, en esta parte vamos a establecer varios resultados sin prueba. Estos resultados son
facilmente aplicables a problemas concretos. Denotaremos por f (x+ ) y f (x ) a los lmites de f hacia x por la
derecha e izquierda respectivamente con x (, ).
Teorema 3.4. Sean f (x) y f (x) seccionalmente continuas en el intervalo [, ]. Entonces, la serie de Fourier
trigonometrica de f (x) converge a [f (x+ ) + f (x )]/2 en cada punto del intervalo abierto (, ) y en x =
la serie converge a [f ( + ) + f ( )]/2.

Ejemplo 3.2 Vamos a encontrar la serie de Fourier trigonometrica de la funcion f (x) =

0, si x [, 0)
1

Tenemos que
a0

ak

bk

=
Luego
f (x)

si x [0, ].

Z
1
1 dt = 1.
0
Z
1
1 cos kt =
0
Z
1
1 sen kt =
0



1
k 1,
sen kt = 0,
k
0


1
cos kt = 0
k
0

0,
si k = 2n, n = 1, 2, . . .
1
((1)k 1) =
2

k
, si k = 2n 1, n = 1, 2, . . .
(2n 1)

1
2X
1
+
sen(2n 1)x = S(x),
2 n=1 (2n 1)

Del teorema anterior, la igualdad S(x) = f (x) es


valida en cada punto de los intervalos abiertos (, 0)
y (0, ), mientras que en x = 0 el lado derecho es

digamos,

< x < .

1.0

0.8

0.6

S(0) = 1/2 que coincide con el valor [f (0+ )+ f (0 )]/2.


Ademas, en x = , S() = 1/2 que coincide con

[f ( + ) + f ( )]/2.

0.4

0.2

0.0
-3

-2

-1

Figura 3.1 Gr
afico de la serie de Fourier de f (x) del ejemplo.
Note la convergencia al valor [f (0+ ) + f (0 )]/2 en x = 0.

16

3.2. Convergencia Puntual

Ejemplo 3.3 Vamos a obtener la serie de Fourier de f (x) = x + x2 /4, < x < para mostrar que
P
2
2
n=1 1/n = /6. En primer lugar tenemos que

Z 
Z
1
t2
1 t2
2
a0 =
t+
dt =
dt =
.

4
4
6
En segundo lugar, notando que n 1, t cos nt y t2 sen nt son funciones impares sigue que

Z 
Z
1
t2
1
an =
t+
cos nt dt =
t2 cos nt dt

4
4
"
#



Z
Z
Z
1 t2 sen nt
2
1
2
1
t sen nt dt =
0
t sen nt dt =
t sen nt dt
=
n
4
n
4
n
2n

"
#



Z
1
t cos nt
1
1
cos n + cos(n)
=

cos
nt
dt
=
+
0
2n
n n
2n
n
=

bn

=
=

(1)n
,
n 1,
n2 

Z
Z
1
t2
1
t+
sen nt dt =
t sen nt dt

4

"
#



Z
1 t cos nt
1
1 cos n + cos(n)
+
cos
nt
dt
=

n
n

2
= (1)n ,
n

n 1.

As

f (x)

2 X (1)n
+
(cos nx 2n sen nx) ,
12 n=1 n2

< x < .

Del teorema 3.4, al evaluar en x = , encontramos que

2 X (1)n
f ( ) + f ( + )
+
(cos n 2n sen n) =
2
12 n=1 n
2
y luego

( + 2 /4) + ( + 2 /4)
2
2 X (1)n
n
+
((1)

0)
=
=
,
12 n=1 n2
2
4

X
1
2
2
2
=

=
.
n2
4
12
6
n=1

Para las series de Fourier de cosenos y senos tambien tenemos resultados similares, esta vez sobre el intervalo
[0, ].
Teorema 3.5. Sean f (x) y f (x) seccionalmente continuas en el intervalo [0, ]. Entonces, la serie de Fourier
de cosenos de f (x) converge a [f (x+ ) + f (x )]/2 en cada punto del intervalo abierto (0, ) y en x = 0 y x =
la serie converge a f (0+ ) y f ( ), respectivamente.

17

3.2. Convergencia Puntual

Ejemplo 3.4 Dejamos como ejercicio verificar que


f (x) = x2

X
2
(1)n
+4
cos nx,
3
n2
n=1

0 < x < .

Del teorema 3.5 sigue que

f (x) = x ,

2
(1)n
+4
cos nx =
f (0+ ) = 0,

3
n2

n=1
f ( ) = 2 ,

As, en x = , tenemos

si 0 < x <
si x = 0
si x = .

X
2
(1)n
+4
cos n = 2
2
3
n
n=1

y luego

X
2
1
+4
= 2
2
3
n
n=1

lo que muestra que

X
1
2
=
.
n2
6
n=1

Teorema 3.6. Sean f (x) y f (x) seccionalmente continuas en el intervalo [0, ]. Entonces, la serie de Fourier
de senos de f (x) converge a [f (x+ ) + f (x )]/2 en cada punto del intervalo abierto (0, ). En x = 0 y x = la
serie converge a 0.

Para derivacion e integracion de series de Fourier trigonometricas tenemos los siguientes resultados
Teorema 3.7. Suponga que f (x) es continua en (, ), f () = f () y que f (x) es seccionalmente continua.
Entonces,
f (x) =

n=1

en cada punto x (, ) donde f (x) exista.

nan sen nx + nbn cos nx,




Ejemplo 3.5 En el ejemplo 3.1 mostramos que la serie de Fourier trigonometrica de la funcion f (x) = |x|

esta dada por

f (x)

4 X cos(2n 1)x

,
2
n=1 (2n 1)2

< x < .

Claramente, f (x) es continua sobre (, ), f () = f () = . Ademas,

1, si < x < 0

f (x) =
1, si 0 < x <


si x = 0.

18

REFERENCIAS

REFERENCIAS

Luego, f (x) es seccionalmente continua en (, ). Por u


ltimo, f (x) = 0 si x (, 0) (0, ) y f (x) no

existe si x = 0. As, el teorema 3.7 es aplicable y tenemos

1, si < x < 0

4 X (2n 1) sen(2n 1)x


4 X sen(2n 1)x
= f (x)
=
.
1, si 0 < x <

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

si x = 0.

Note que si bien la igualdad es valida para todo x (, 0) (0, ), en x = 0 la derivada no existe, pero la
serie de Fourier vale 0.

Teorema 3.8. Suponga que f (x) es seccionalmente continua en (, ) y

a0 X
+
(an cos nx + bn sen nx) ,
2
n=1

f (x)
Entonces, para x [, ]
Z x
f (t) dt

< x < .

Z x
X
a0
dt +
(an cos nt + bn sen nt) dt
2
n=1

X

1
a0
(x + ) +
an sen nx bn (cos nx + (1)n+1 ) .
2
n
n=1

Ejemplo 3.6 Vamos a usar la relacion

f (x) = x2

X
2
(1)n
+4
cos nx,
3
n2
n=1

< x < ,

para encontrar un polinomio p(x) tal que


p(x) =

X
(1)n
sen nx,
n3
n=1

x .

Claramente, la funcion f (x) = x2 cumple todas las condiciones del teorema 3.8. As, integrando desde a x,

obtenemos




X
x3
3
2
1 (1)n
t dt =
+
=
(x + ) + 4
sen nx ,
3
3
3
n
n2

n=1

X
x3
2 x
(1)n
=
+4
sen nx
3
3
n3
n=1

y luego
p(x) =

x(x2 2 ) X (1)n
=
sen nx,
12
n3
n=1

x .

Referencias
[1] Ordinary and Partial Differential Equations. R. P. Agarwal & D. ORegan. Universitext, Springer Verlag,
2009.
[2] Modern Mathematical Analysis. Murray H. Protter & Charles B. Morrey. AddisonWesley Publishing Company, 1964.

19

Ejercicios
A.
1.

Ejercicios Resueltos

3(2x 1) son ortonormales en el intervalo 0 < x < 1

a) Pruebe que las funciones 1 (x) = 1, 2 (x) =


con la funcion peso r(x) = 1.
b) Encontrar la serie de Fourier de f (x) =

2
3x en terminos de 1 , 2 en el intervalo 0 < x < 1.

c) Sea
F (a, b) =

2
3x2 a1 (x) b2 (x) dx.

Encontrar a, b tal que F (a, b) alcanza su mnimo. Ademas, encuentre el mnimo valor de F (a, b).
n. Tenemos que
a) Solucio
1 , 2

Z 1

1
3
(2x 1) dx = 3 [x2 x] 0 = 0,

k1 k2 = 1 , 1

k2 k2 = 2 , 2

= 3

12 dx = 1,

(2x 1)2 dx =

(2x 1)3
= 1.
2

Luego, las funciones 1 (x), 2 (x) son ortonormales en el intervalo 0 < x < 1.
b) Los coeficientes de Fourier estan dados por 2.3, luego

Z 1 2
3
c1 = f, 1 =
3
x dx =
,
3
0
Z 1
1
c2 = f, 2 = 3
x2 (2x 1) dx = .
2
0
As, la serie de Fourier de f (x) esta dada por

3
3
f (x)
+
(2x 1),
3
2

0 < x < 1.

c) Primero, notamos que F (a, b) 0. Ahora, si desarrollamos


Z 1h
i

F (a, b) =
3x2 2 3x2 (a1 (x) + b2 (x)) + (a1 (x) + b2 (x))2 dx
0

( 3x2 )2 dx 2a

Z
2
3x 1 (x) dx 2b

kf k2 2ac1 2bc2 + a2 + b2 ,

Z 1
2
3x 2 (x) dx +
(a1 (x) + b2 (x))2 dx
0

donde los u
ltimos dos terminos se han obtenido usando la ortonormalidad de 1 , 2 . Ahora derivamos
a F con respecto a a y b para obtener
F
a
F
b
20

2a 2c1

2a 2c2 .

A. Ejercicios Resueltos

Al igualar a cero ambas ecuaciones obtenemos los valores a = c1 , b = c2 . Puesto que F (a, b) 0
sigue que estos valores minimizan F . Ademas, este valor mnimo es
F (c1 , c2 ) = kf k2 c21 c22 =

3 1 1
1
=
.
5 3 4
60

Note que este valor no es cero. Esto es natural, es imposible obtener una aproximaci
on exacta al
aproximar una funcion cuadratica usando polinomios de grado cero y uno.
(
0, si < x < 0,
2. Encontrar la serie de Fourier trigonometrica de f (x) =
Utilice este resultado
1, si 0 < x < .
P
1
para calcular la suma
n=1 (2n1)2 .
n. Tenemos que
Solucio
Z
Z
1
1
a0 =
f (t) dt =
1 dt = 1,

0
Z
Z
1
1
1

ak =
f (t) cos kt dt =
cos kt dt =
sen kt|0 = 0,
k 1,

0
k
Z
Z
1
1
1
bk =
f (t) sen kt dt =
sen kt dt =
cos kt|0

0
k

0,
si k = 2n, n = 1, 2, . . .
1 cos k
1 + (1)k+1
=
=
=
,
k 1.
2

k
k
, si k = 2n 1, n = 1, 2, . . .
(2n 1)
Luego

f (x)

1 X
2
+
sen(2n 1)x.
2 n=1 (2n 1)

Por u
ltimo notamos que la forma de la serie a calcular sugiere el uso de la identidad de Parseval, entonces

 1 X 4
a20 X 2
1
1
+
an + b2n = +
=
2 (2n 1)2
2
2

n=1
n=1
Por lo tanto

f (t) dt.

1
2
=
.
2
(2n 1)
8
n=1

3. Encuentre la serie de Fourier trigonometrica de la funcion cos ax sobre [, ]. Utilice este resultado para
n+1
P
calcular el valor de la serie n=1 (1)
n2 a2 .
n. Dejamos propuesto como ejercicio el caso a Z. Para los otros casos, dado que cos ax es una
Solucio
funcion par, sigue que bn = 0, n 1 y
Z
2
1
an =
cos ax cos nx dx = [cos(n a)x + cos(n + a)x] dx
0



1 sen(n a)x sen(n + a)x
=
+

na
n+a
0


1
sen
a
sen
a
1
2a
=
(1)n+1

= (1)n+1 sen a 2
,

na
n+a

n a2
21

n 0.

A. Ejercicios Resueltos

Luego, sigue que


"
#

X
2a
1
(1)n+1
sen a
+
cos nx ,
cos ax

2a2 n=1 n2 a2

< x < .

Al evaluar en el punto de continuidad x = 0 y usando el teorema 3.4 tenemos


"
#

X
2a
1
(1)n+1
sen a
+
= cos 0 = 1

2a2 n=1 n2 a2
y luego

i
X
(1)n+1
1 h a
=

1
.
n2 a2
2a2 sen a
n=1

4. Considere a la funcion de periodo 2 definida por f (x) =

si < x < 0

sen x si

0<x<

a) Pruebe que la serie de Fourier S(x) de f (x) es


S(x) =

sen x
2 X cos 2nx
1
+

2
n=1 4n2 1

se
nalando claramente cuales son los coeficientes de la expansion.
b) Utilice lo anterior para calcular

X
(1)n
.
4n2 1
n=1

n Hacemos uso de las identidades sen cos = [sen( + ) + sen( )]/2, sen sen =
a) Solucio
[cos( ) cos( + )]/2 para calcular los coeficientes
Z
Z
1
2
1
a0 =
f (t) dt =
sen t dt = ,

0

Z
Z
1
1
1

a1 =
f (t) cos t dt =
sen t cos t dt =
cos 2t|0 = 0,

0
4
Z
Z
1
1
ak =
f (t) cos kt dt =
(sen(1 + k)t + sen(1 k)t) dt

2 0





1 cos(1 + k)t
cos(1 k)t
1 (1)k+1 1 (1)k+1 1
=
+
=

+
2
1 + k 0
1 k 0
2
1+k
1k


k+1
k+1
(1)
1
1
1
(1)
1
1
=

=
,
k2
2
k1 k+1

k2 1

1
2
si k = 2n, n = 1, 2, . . .
4n2 1
=

0
si k = 2n + 1, n = 1, 2, . . .
(
Z
1/2 si n = 1
1
1
bn =
f (t) sen nt dt =
sen t sen nt dt =

0
0 si n 6= 1

22

A. Ejercicios Resueltos

Con lo cual
S(x) =
que es lo deseado.

1
sen x
2 X cos 2nx
+

2
n=1 4n2 1

< x < ,

b) Evaluamos en el punto de continuidad x = /2. As


1=
Resolviendo, se llega a

1
1
2 X (1)n
+
.

2 n=1 4n2 1




X
(1)n
1
1
=

.
4n2 1
2 2
n=1
5.

a) Obtenga la expansion en serie de Fourier trigonometrica de la funcion periodica f (x) de perodo 2


definida sobre el perodo 1 < x < 1 por
(
f (x) =

si 1 < x < 0

1 x si 0 < x < 1

b) Usar el resultado anterior para calcular la suma de la serie numerica

1
,
(2n

1)2
n=1
n. Los coeficientes de Fourier de f (x) estan dados por
a) Solucio
Z 1
Z 1

1
1
a0 =
f (x) dx =
(1 x) dx =
(1 x)2 10 =
2
2
1
0
(
Z 1
Z 1
u =1x
du = dx
an =
f (x) cos(nx) dx =
(1 x) cos(nx) dx
1
dv = cos(nx) dx v
= n
sen(nx)
1
0
Z 1

1
1 cos(n)
1
=
sen(nx) dx = 2 2 cos(nx) 10 =
, n = 1, 2, 3, . . .
n 0
n
n2 2
(
Z 1
Z 1
u =1x
du = dx
bn =
f (x) sen(nx) dx =
(1 x) sen(nx) dx
1
dv = sen(nx) dx v
= n
cos(nx)
1
0
Z 1

1
1
1
1
1
=

cos(nx) dx =
2 2 sen(nx) 10 =
, n = 1, 2, 3, . . .
n
n 0
n
n
n
La serie de fourier de la funcion f (x) es


1 X 1 cos(n)
1
+
cos(nx) +
sen(nx) ,
4 n=1
n2 2
n

b) En x = 0 la suma de la serie tiene valor

1
2

1 < x < 1.

(f (0+ ) + f (0 )) = 12 , entonces

1
1 X 1 cos(n)
1
2
2
2
2
2
= +
= + 2 2 + 2 2 + 2 2 + 2 2 + ... +
...
2
2
2
4 n=1
n
4 1
3
5
7
(2n 1)2 2
Por lo tanto

1
2
=
.
2
(2n 1)
8
n=1
23

B. Ejercicios Propuestos

B.

Ejercicios Propuestos

1. Encuentre la serie de Fourier de cosenos sobre el intervalo 0 < x < para cada una de las siguientes
funciones:
2

(i) f (x) = x

(ii)

f (x) =

0, si

0 < x < /2

1, si /2 < x <

(iii)

f (x) = cos x.

2. Encuentre la serie de Fourier de senos sobre el intervalo 0 < x < para cada una de las siguientes
funciones:

(i)

f (x) = 1 (ii) f (x) = x.

3. Encuentre la serie de Fourier trigonometrica de las siguientes funciones:


(
1, si < x < 0
(i)
f (x) = x , < x <
(ii) f (x) =
2, si 0 < x <

si < x < 0

x,
(iii) f (x) =
2,
si
x=0

ex , si 0 < x < .

Ademas, para cada serie grafique la suma mostrando algunos terminos graficamente, comparando con la
funcion expandida.

4. Encuentre la serie de Fourier trigonometrica de las siguientes funciones:

0, si 2 < x < 1

2
(i) f (x) = x , 0 < x < 2 (ii) f (x) =
1, si 1 < x < 1

0, si
1 < x < 2.

5. Sea f (x) una funcion periodica de perodo 2 tal que sus coeficientes de Fourier existan. Suponga que
f ( x) = f (x), x. Muestre que an = 0 si n es impar y que bn = 0 si n es par. Encuentre explicitamente
c0 , c2 y c4 .

6. Encontrar, si existe, una serie de Fourier de perodo fundamental 2 para la funcion f (x) = sen3 x, x R.
Justifique brevemente su respuesta.

7. Sea f una funcion arbitraria, seccionalmente continua en [0, ], simetrica con respecto a la recta x = /2.
Demostrar que los u
nicos terminos no nulos en el desarrollo de Fourier senoidal de f , con perdo 2, son
los terminos b2k1 , k = 1, 2, . . .
8. Desarrolle la funcion:
f (x) = x 1,

1x2

en serie de Fourier, de tal modo que esa expansion tenga solo terminos pares.
24

B. Ejercicios Propuestos

9. Demostrar o refutar la identidad

x( x) =
(

1, si

2 X cos 2nx

,
6
n2
n=1

0 < x < /2

0 x .
q

2
sen nx, n =
0, si /2 < x < .
1, 2, 3 forman un conjunto ortonormal en el intervalo 0 < x < . Encuentre los valores de a, b para los

10. Considere la funcion f (x) =

cuales la integral
F (a, b) =

Es sabido que las funciones n (x) =

(f (x) a1 (x) b(2 (x) + 3 (x)))2 dx

alcanza su mnimo.
(
0, si x [1, 0)
11. Sea f (x) =
Muestre que
1, si x [0, 1].
Z

1
1

2
Z 1
2
1 3
f (x) x
dx
f (x) d0 d1 x d2 x2 dx
2 4
1

para cualquier eleccion del conjunto de constantes d0 , d1 y d2 .

12. Sean f (x) y g(x) seccionalmente continuas en el intervalo [, ] tal que sus coeficientes de Fourier sean
iguales con respecto a un conjunto ortonormal de funciones. Muestre que f (x) = g(x) en cada punto de
[, ] donde ambas funciones sean continuas.
13. La serie de Fourier trigonometrica de la funcion ex sobre el intervalo < x < esta dada por
"
#

2 senh 1 X (1)n
x
e
+
(cos nx n sen nx) .

2 n=1 n2 + 1
a) Utilice la relacion de arriba para mostrar que

n=1

n2

1
= coth .
+1
2
2

b) Encuentre el valor de la suma

Justifique su respuesta.

X
(1)n
.
n2 + 1
n=1

25