Jairo Eloy- abril 21-2017

1
Captulo 1

SERIES DE FOURIER E
INTEGRALES DE FOURIER

1.1. SERIES DE FOURIER

Sistemas Ortogonales. Series de Fourier con respecto a un sistema or-
togonal. Convergencia en media cuadratica.

Serie Trigonometrica de Fourier. Lema Riemann -Lebesgue. Conver-

gencia puntual de la serie trigonometrica de Fourier.

Series trigonometricas de Fourier de funciones pares e impares. Forma

compleja de la serie trigonometrica de Fourier

Integracion de la serie trigonometrica de Fourier. Convergencia unifor-

me de la serie trigonometrica de Fourier.

Sumabilidad Cesaro de las series de trigonometricas de Fourier. Teore-

ma de Fejer

2
1.2. INTRODUCCION
En 1807, Fourier sorprendio a algunos de sus contemporaneos al afirmar
que una funcion arbitraria podra expresarse como una combinacion lineal
de senos y cosenos. Estas combinaciones lineales, llamadas ahora series de
Fourier, se han convertido en herramienta indispensable en el analisis de cier-
tos fenomenos periodicos (tales como vibraciones, movimientos planetarios y
ondulatorios) que se estudian en fsica e ingeniera. Muchas cuestiones ma-
tematicas importantes tambien han surgido en el estudio de Series de Fourier,
y es un hecho historico notable que gran parte del desarrollo de el analisis
matematico moderno ha sido profundamente influenciado por la busqueda de
respuestas a estas preguntas. Para encontrar una breve pero excelente expo-
sicion historica del tema de las series de Fourier y su impacto en el desarrollo
de las matematicas puede verse la referencia: Carslaw, H. S., Introduction
to the Theory of Fouriers Series and Integrals, 3rd ed. Macmillan, London,
1930.

1.3. Sucesiones de Dirac

Por una sucesion de Dirac nos referiremos a una sucesion de funciones
{Kn }, con valores reales, definidas en todo R, que satisfacen las siguientes
propiedades:
DIR 1. Tenemos Kn (x) 0 para todo n y todo x.

DIR 2. Cada Kn es continua, y

Z
Kn (t) dt = 1.

DIR 3. Dados  y , existe N tal que, si n N , entonces

Z Z
Kn (t) dt + Kn (t) dt < .

3
La condicion DIR 2 significa que el area bajo la curva y = Kn (x) es igual a
1. La condicion DIR 3 significa que esta area se concentra cerca de 0 si se
toma n suficientemente grande.
Las funciones Kn tienen picos mas altos cerca de 0 cuando n se hace mas
grande, de manera que el area bajo la curva cerca de 0 salga igual a 1. Mas
aun, en todas las aplicaciones de este captulo, las funciones Kn son pares,
esto es, Kn (x) = Kn (x) para todo x. Esta es la razon por la cual trazamos
las graficas de manera simetrica alrededor del eje y.
Como se menciono antes, en las aplicaciones de este captulo Kn sera 0 fue-
ra de algun intervalo. Si f es cualquiera funcion continua a trozos y esta aco-
tada, entonces definimos la convolucion como
Z
fn (x) = Kn f (x) = Kn (x t)f (t) dt.

Veremos que la sucesion {fn } se aproxima a f .

Teorema 1.1 Sea f una funcion continua a trozos en R, y supongamos

que f esta acotada. Para cada n, sea fn = Kn f . Sea S un subconjunto
compacto De R en la cual f es continua. Entonces la sucesion {fn } converge
a f uniformemente en S.

Demostracion. Cambiando las variables, tenemos

Z
fn (x) = Kn (t)f (x t) dt.

Por otro lado, por DIR 2,

Z Z
f (x) = f (x) Kn (t) dt = f (x)Kn (t) dt

Por lo tanto,
Z
fn (x) f (x) = [f (x t) f (x)]Kn (t) dt.

4
Tomamos X S. Por la compacidad de S y la continuidad uniforme de f
en S, concluimos que, dada , existe tal que, si |t| < , tenemos

|f (x t) f (x)| < 

Para todo x S. Sea M una cota para f . Entonces seleccionamos N tal que,
si n N , Z Z

Kn (t) dt + Kn (t) dt < .
2M
Tenemos
Z Z Z
|fn (x) f (x)| + + |f (x t) f (x)| Kn (t) dt.

Para estimar la primera y tercera integral utilizamos la cota dada M para f ,

de modo que |f (x t) f (x)| 2M . Obtenemos
Z Z hZ Z Z i
+ |f (x t) f (x)| Kn (t) dt 2M + + Kn (t) dt

< .

Para la integral en el medio tenemos la estimacion

Z Z
|f (x t) f (x)| Kn (t) dt Kn (t) dt

Z Z
= Kn (t) dt Kn (t) dt .

Esto demuestra nuestro teorema. 

Funciones como Kn que se utilizan para tomar integrales como la convolu-
cion se llaman a veces funciones kernel. Tienen el efecto de transformar a f
en funciones fn que aproximan a f y usualmente tienen mejores propiedades
que f . Veremos ejemplos en los ejercicios y en las secciones siguientes.

5
 Ejercicios

1. Sea K una funcion real de una variable real tal que K 0, K es

continua, igual a cero fuera de un intervalo acotado, y
Z
K(t) dt = 1.

Defina Kn (t) = nK(nt). Demuestre que {Kn } es una sucesion de Dirac.

2. Muestre que se puede hallar una funcion K como en el ejercicio 1 que

es infinitamente diferenciable par y cero fuera del intervalo [1, 1].

3. Sea K infinitamente diferenciable, y tal que K(t) = 0 si t esta fuera

de algun intervalo acotado. Sea f una funcion continua a trozos, y
acotada. Mostrar que K f es infinitamente diferenciable, y de hecho,
(K f )0 = K 0 f .

4. Sean f, g y h continuas a trozos (o incluso continuas, si con ello se

sienten mejor) y acotado, y tales que g es cero fuera de algun intervalo
acotado. Definir Z
f g = f (t)g(x t) dt.

Demuestre que (f g)h = f (g h). Mostrar, bajo hipoesis adecuadas

sobre f1 y f2 que (f1 +f2 )g = f1 g+f2 g. Demuestre que f g = gf .

1.4. El teorema de Weierstrass

Aplicamos el Teorema 1.1 a un caso particular.

Teorema 1.2 Sea [a, b] un intervalo cerrado, y sea f una funcion continua
en [a, b]. Entonces f se puede aproximar uniformemente mediante polinomios
en [a, b].

6
Demostracion. Primero hacemos algunas reducciones a un caso donde pode-
mos aplicar el teorema 1.1 con un Kn particular. Podemos suponer que a 6= b.
Sea
xa
u= a x b.
ba
Entonces x = (b a)u + a, y 0 u 1. Sea

g(u) = f ((b a)u + a)

Si podemos encontrar un polinomio P en [0, 1] tal que

|P (u) g(u)| 

para todo u [0, 1], entonces

 
 xa 
 b a ) f (x) 
P ( 

para a x b, y P ((x a)/(b a)) es un polinomio en x, lo cual prueba

nuestro teorema. Esto reduce la prueba al caso cuando [a, b] = [0, 1]. Ahora,
suponiendo que este es el caso, sea

h(x) = f (x) f (0) x[f (1) f (0)].

Si podemos aproximar h por polinomios, es evidente que podemos hacer lo

mismo con f . Esto reduce nuestra prueba al caso en que f (0) = f (1) = 0.
A partir de ahora suponemos que [a, b] = [0, 1] y f (0) = f (1) = 0.
Definimos entonces f (x) = 0 si x no esta en el intervalo [0, 1]. Entonces f es
continua y acotada en toda la lnea real.
A continuacion, sea cn una constante adecuada > 0, y sea

(1 t2 )n
Kn (t) = si 1 t 1,
cn
Kn (t) = 0 si t < 1 o t > 1.

7
Entonces Kn (t) 0 para todo t y Kn es continua. Seleccionamos cn de modo
que se satisfaga la condicion DIR 2. Esto significa que
Z 1
cn = (1 t2 )n dt.
1

Observen que Kn es par. Aseguramos que {Kn} satisface DIR 3 y, por

lo tanto, es una sucesion de Dirac. Para probar esto debemos estimar cn .
Tenemos:
Z 1 Z 1
cn 2 n
= (1 t ) dt = (1 + t)n (1 t)n dt
2
Z0 1 0
1
(1 t)n dt = .
0 n+1

As, cn 2/(n + 1). Dado > 0, tenemos

Z 1 Z 1 Z 1
(1 t2 )n (n + 1)
Kn (t) dt = dt (1 t)n dt
c n 2
n+1
(1 2 )n (1 ).
2
Sea r = (1 2 ). Entonces 0 < r < 1, y (n + 1)rn tiende a 0 cuando n .
Esto prueba la condicion DIR 3. (La integral para el otro lado tiene el mismo
valor debido a la simetra de Kn .) As, {Kn } es una sucesion de Dirac. Solo
falta mostrar que Z
fn (x) = f (t)Kn (x t) dt

es un polinomio. Pero f es igual a 0 fuera de [0, 1]. Por lo tanto,

Z 1
fn (x) = f (t)Kn (x t) dt.
0

Observen que Kn (x t) es un polinomio en t y x, y puede entonces escribirse

en la forma

Kn (x t) = g0 (t) + g1 (t)x + + g2n (t)x2n ,

8
donde g0 , . . . , g2n son polinomios en t. Entonces

fn (x) = a0 + a1 x + + a2n x2n ,

donde los coeficientes ai se expresan como integrales

Z 1
ai = f (t)gi (t) dt.
0
Esto concluye el teorema de Weierstrass. Las funciones Kn usadas en esta
demostracion se llaman kernels de Landau.
Ejercicios
1. Sea f continua en [0, 1]. Suponer que
Z 1
f (x)xn dx = 0
0

para todo entero n = 0, 1, 2, . . .. Mostrar que f = 0. [Idea: Usar el

teorema de Weierstrass para aproximar f mediante un polinomio y
mostrar que la integral de f 2 es igual a 0.]

2. Probar que, si f es una funcion continua, entonces

Z 1
h
lm f (x) dx = f (0).
h0 1 h2 + x2
h>0

1.5. Productos hermitianos y ortogonalidad

Consideraremos los espacios vectoriales sobre los numeros complejos. Estos
satisfacen los mismos axiomas que los espacios vectoriales sobre los reales,
excepto que los escalares ahora se toman de C.
Sea E un espacio vectorial sobre C. Por un producto hermitiano (producto
interior si el espacio vectorial sobre R) sobre E nos referimos a una funcion
E E C denotado por

(v, w) 7 hv, wi

que satisface las siguientes condiciones:

9
PH 1. Tenemos hv, wi = hw, vi para todo v y w E. (Aqu la barra denota
complejo conjugado.)

PH 2. Si u, v y w son elementos de E, entonces

hu, v + wi = hu, vi + hu, wi

PH 3. Si C, entonces

hu, vi = hu, vi y hu, vi = hu, vi.

Ademas, asumiremos en todo lo que sigue que el producto hermitiano

satisface la condicion

PH 4. Para todos v E tenemos hv, vi 0

Si ademas tenemos hv, vi > 0 cuando v 6= 0, decimos que el producto es

definido positivo. Sin embargo, no lo damos por supuesto.
Definimos que v es perpendicular u ortogonal a w si hv, wi = 0. Sea S un
subconjunto de E. El conjunto de elementos v E tal que hv, wi = 0 para
todo w S es un subespacio de E. Esto se ve facilmente y se dejara como
un ejercicio. Denotamos este conjunto por S (Subespacio ortogonal de S).

Ejemplo 1.1 Este es el ejemplo que trataremos en todo este captulo. Sea
E el espacio vecctorial de funciones con valores complejos definidas en R
que sean continuas a trozos (en todo intervalo finito) y periodicas de perodo
2. Por lo tanto, estas son esencialmente las funciones continuas a trozos
definidas en el crculo, como se suele decir. Si f y g E, definimos
Z
hf, gi = f (x)g(x) dx.

Las propiedades estandar de la integral muestran que se trata de un producto

hermitiano satisfaciendo las cuatro condiciones. El conjugado complejo que

10
aparece en la definicion es garantizar PH 4, y es obvio que no se necesita
en el caso de funciones con valores reales. Para funciones de valor complejo,
tenemos f f = |f |2 y sabemos que la integral de una funcion 0 es tambien
0.
Sea ER el espacio de las funciones con valores reales definidas en E.
As ER es el espacio de las funciones continuas a trozos con valores reales de
perodo 2. Si f es de valores complejo y f = f1 + if2 es su descomposicion
en una parte real y una parte imaginaria, entonces f E si y solo si f1 y
f2 ER . Esto es obvio.
Sea n la funcion
n (x) = einx

Para cada entero n (positivo, negativo o cero). Entonces

hn , n i = 2, hn , m i = 0 si m 6= n.

Hacemos 0 = 1, y para todo entero positivo n, hacemos n (x) = cos nx

y n (x) = sin nx. Convenimos respecto a la notacion que, para un numero
entero positivo n, hacemos

n (x) = sin nx = n (x).

As, tenemos una notacion unificada {n }nZ . Integraciones elementales mues-

tran que, para todos n Z, m Z,

h0 , 0 i = 2, hn , n i = hn , m i = 0 si m 6= n.

Observen que tenemos 0 = 0 . Mas aun, tenemos relaciones entre n ,

n , y n , 0 n a saber:

einx + einx = 2 cos nx y einx einx = 2i sin nx.

Es evidente que
einx = cos nx + i sin nx.

11
Volvamos al caso general del espacio vectorial E con su producto hermitiano.
Sea E0 formado por todos los elementos v E tales que v E , esto es,
hv, wi = 0 para todo w E. Entonces E0 es un subespacio, que se llamara el
espacio nulo del producto hermitiano.

Ejemplo 1.2 Si E es el espacio de funciones como antes, y f E es tal

que hf, f i = 0, esto significa que
Z Z
ff = |f |2 = 0.

Sabemos que si g es continua en un punto y 6= 0 en ese punto, y si, ademas,

g 0 en otros casos, entonces su integral es > 0. Por lo tanto, concluimos
que |f |2 es igual a 0 excepto en un numero finito de puntos. Se sigue que
f es igual a 0 excepto en un numero finito de puntos. Recprocamente, si
f tiene esta propiedad, entonces hf, gi = 0 para todo g E. Por lo tanto,
E0 esta formado por todas las funciones que son iguales a 0 excepto en un
numero finito de puntos. Ahora se vera que esto tiene una generalizacion.

Teorema 1.3 Si w E es tal que hw, wi = 0, entonces w E0 , esto es

hw, vi = 0 para todo v E.

Demostracion. Sea t real, y considere

0 hv + tw, v + twi = hv, vi + 2tRehv, wi + t2 hw, wi

= hv, vi + 2tRehv, wi.

6 0, entonces tomamos t muy grande de signo opuesto a Rehv, wi.

Si Rehv, wi =
Entonces hv, vi + 2tRehv, wi es negativa, lo cual es una contradiccion. Por lo
tanto
Rehv, wi = 0.

Esto es cierto para todo v E. Por lo tanto, Rehiv, wi = 0 para todo v E,

de donde Imhv, wi = 0. Por lo tanto, hv, wi = 0, como habia que mostrar.

12
 p
Definimos ||v|| = hv, vi, y la llamamos la longitud o norma de v. Por
definicion y por el teorema 1.3, tenemos ||v|| = 0 si y solo si v E0 .

Teorema 1.4 (Desigualdad de Schwarz). Por todo v y w E tenemos

|hv, wi| ||v|| ||w||.

Demostracion. Sea = hw, wi y = hv, wi. Tenemos

0 hv + w, v + wi
= hv, vi + hw, vi + hv, wi + hw, wi
= hv, vi + hw, vi + v, wi + wh+hw, wi.

Notese que = ||w||2 . Sustituyendo los valores de y obtenemos

0 ||w||4 ||v||2 2||w||2 hv, wihv, wi + ||w||2 hv, wihv, wi.

Pero hv, wihv, wi = |hv, wi|2 . Por lo tanto

||w||2 |hv, wi|2 ||w||4 ||v||2 .

Si ||w|| = 0, entonces, por el Teorema 1.3, w E0 y la desigualdad de

Schwarz es obvio. Si ||w|| =
6 0, entonces podemos dividir esta ultima relacion
entre ||w||2 y al tomar las races cuadradas se obtiene la demostracion del
teorema.

Teorema 1.5 La funcion v 7 ||v|| es una seminorma sobre E, esto es:

SN 1 Tenemos ||v|| 0, e ||v|| = 0 si y solo si, v E0 .

SN 2 Para cualquier complejo tenemos que ||v|| = || ||v||.

SN 3 Para v y w E tenemos ||v + w|| ||v|| + ||w||.

13
Demostracion. La primera afirmacion se deduce del teorema 1.3. La segunda
se deja al lector. La tercera se demuestra con la desigualdad de Schwarz.
Basta demostrar que

||v + w||2 (||v|| + ||w||)2 .

Para ello, tenemos

||v + w||2 = hv + w, v + wi = hv, vi + hw, vi + hv, wi + hw, wi.

Pero hw, vi + hv, wi = 2Rehv, wi 2|hv, wi|. Entonces por Schwarz,

||v + w||2 ||v||2 + 2|hv, wi| + ||w||2

||v||2 + 2||v|| ||w|| + ||w||2 = (||v|| + ||w||)2 .

Tomando la raz cuadrada de cada lado se obtiene lo que se quiere.

Un elemento de E se dice que es un vector unitario si ||v|| = 1. Si ||v|| =
6 0,
entonces v/||v|| es un vector unitario.

Nota 1.1 En el espacio de funciones podemos usar la norma sup, pero tam-
bien tenemos la seminorma que surgen del producto hermitiano. Cuando tra-
tamos con los dos simultaneamente, pues a veces es necesario, denotaremos
la norma del sup por || ||, como antes, o tambien || ||0 , pero denotamos la
seminorma del Teorema 1.5 por || ||2 . Es habitual llamar a esta seminorma
tambien norma, esto es, cometeremos el abuso del lenguaje al llamarla norma
en L2 . Para cualquier funcion f tenemos

||f ||2 2||f ||0

En efecto , sea M = ||f ||0 . Entonces

Z Z
2
|f | M 2 = 2M 2 .

Nuestra afirmacion se sigue al tomar races cuadradas. En lo resta de esta

seccion tratamos solo con el caso abstracto, y usamos || || para la seminorma
del producto hermitiano.

14
Sea w E un elemento tal que ||w|| 6= 0, y sea v E. Existe un numero
unico c tal que v cw es perpendicular a w. En efecto, para que v cw sea
perpendicular a w debemos tener que

hv cw, wi = 0,

de donde hv, wi hcw, wi = 0 y hv, wi = chw, wi. As,

hv, wi
c= .
hw, wi

Reciprocamente, al hacer que c tenga este valor se muestra que v cw es

perpendicular a w. Llamamos a c coeficiente de Fourier de v con respecto a
w.

Ejemplo 1.3 En el caso del espacio de funciones, si f es una funcion real,

entonces su coeficiente de Fourie con respecto a n es
Z
1
cn = f (x)einx dx.
2

Usualmente denotamos por a0 , an , bn = an los coeficientes de Fourier de f

con respecto a 1, cos nx y sin nx respectivamente, de manera que:
Z
1
a0 = f (x) dx,
2
1
Z
an = f (x) cos nx dx,

1
Z
an = bn = f (x) sin nx dx.

Como un ejemplo concreto, se determinamos el coeficiente de Fourier de la

funcion real f (x) = x con respecto a sin nx. Tenemos

1
Z
bn = x sin nx dx.

15
Podemos integrar por partes, y encontrar
2 2
bn = cos n = (1)n+1 .
n n
A veces se da una funcion en el intervalo [0, 2] y se extiende por periodicidad
a toda la recta real. Los coeficientes de Fourier pueden ser calculado tomando
las integrales entre 0 y 2. (Ver Ejercicio 4.) As Para cualquier f periodico
del perodo 2, Z 2
1
ck = f (x)eikx dx.
2 0

Por ejemplo, si f (x) = ( x)2 /4 en el intervalo [0, 2], vemos que su serie
de Fourier es
2 X cos kx
+ k = 1 .
12 k2
En la seccion 3, veremos que la serie en realidad converge realmente a la
funcion 0 < x < 2.
Es natural definir la proyeccion de v a lo largo de w como el vector cw,
donde c es el coeficiente de Fourier.
Sean v1 , . . . , vn elementos de E que no estan en E0 , y que son mutuamente
perpendiculares entre s, es decir, hvi , vj i = 0 si i 6= j. Sea ci el coeficiente de
Fourier de v con respecto a vi . Entonces

v c1 v1 c2 v2 cn vn

es perpendicular a v1 , v2 , . . . vn . En efecto, todo lo que tenemos que hacer es

tomar el producto de v con vj . Todos los terminos que implican hvi , vj i daran
0, y tendremos dos terminos

hv, vj i cj hvj , vj i

que se cancelan. As, al restar combinaciones lineales como antes se ortogo-

naliza a v con respecto a v1 , v2 , . . . vn .

16
 En aplicaciones las aplicaciones tratamos de ortogonalizar respecto a una
sucesion infinita de vectores {v1 , v2 , . . . vn }. Pasamos entonces a un problema
de convergencia; de hecho a tres problemas de convergencia: respecto a la
norma L2 , respecto a la norma sup, y respecto a la convergencia puntual. El
estudio de estos problemas y de sus relaciones es lo que constituye la teora
de series de Fourier.
En esta seccion seguimos deduciendo algunas afirmaciones sencillas que
se cumplen en el ambito abstracto del espacio vectorial con su producto
hermitiano.
Sea {vn } una sucesion de elementos de E tal que ||vn || =
6 0 para todo n.
Para cada n, sea Fn el subespacio de E generado por v1 , v2 , . . . vn . Sea F la
union de todos los Fn , esto es, el conjunto de todos los elementos de E que
pueden escribir de la forma

c1 v1 + + cn vn

con coeficientes complejos ci , y todos los n posibles. Entonces F es claramen-

te un subespacio de E, del cual se dice de nuevo que es generada por {vn }.
Diremos que la familia {vn } es total en E si, cuando v E es ortogonal a
cada vn para todo n, se sigue que ||v|| = 0, esto es, v E0 . Decimos que la
familia {vn } es una familia ortogonal si sus elementos son perpendiculares
entre si, esto es, (vn , vm ) = 0 si m 6= n. Decimos que es una familia orto-
normal si es ortogonal, y si ||vn || = 1 para todo n. Siempre se puede obtener
una familia ortonormal a partir de una ortogonal al dividir cada vector entre
su longitud.
Si {vn } es una familia ortogonal y si F es el espacio generado por {vn },
entonces {vn } es total en F . En efecto, si

c1 v1 + + cn vn vi

para todo i = 1, . . . , n, entonces ci hvi , vi i = 0, y por lo tanto, ci = 0.

En la demostracion del teorema siguiente, usamos el

17
Teorema 1.6 Teorema de Pitagoras. Si u y v E son perpendiculares,
entonces
||u + v||2 = ||u||2 + ||v||2 .

La prueba es inmediata de las definiciones.

El siguiente teorema afirma que, si tratamos de aproximar un elemento v
de E por combinaciones lineales de {v1 , v2 , . . . vn }, entonces la aproximacion
mas cercana esta dada por la combinacion con los coeficientes de Fourier.
Aqu mas cercana se toma respecto a la norma L2 .

Teorema 1.7 Sea {vn } una familia ortogonal en E. Sea v E, y sea cn

el coeficiente de Fourier de v con respecto a vn . Sea {an } una familia de
numeros. Entonces
   
 n
X   n
X 
v ck vk  v ak vk 
   
   
k=1 k=1

Demostracion. Sea
n
X n
X
u= ck vk y u1 = ak vk .
k=1 k=1

Sea Fn el subespacio generado por {v1 , v2 , . . . vn }. Sea w = vu y w1 = vu1 .

Entonces u + w = v = u1 + w1 , de modo que, w1 = u u1 + w, u u1 es
perpendicular a w. Por lo tanto, por el teorema de Pitagoras,

||w1 ||2 = ||u u1 ||2 + ||w||2 .

Esto demuestra nuestro teorema.

El teorema 1.7 se utilizara para derivar algunas afirmaciones sobre con-
vergencia en E. Incluso si || || es solo una seminorma, seguimos utilizando el
mismo lenguaje anterior que usamos con normas, acerca de puntos adheren-
tes, series convergentes, etc. [En realidad, tambien podimos tratar con clases
de equivalencia de elementos de E, diciendo que v es equivalente a w si existe

18
algun u E0 tal que v = w + u. Podemos comvertir estas clases de equiva-
lencia de elementos en un espacio vectorial, definir el producto hermitiano
en este espacio vectorial y definir tambien || || en este espacio vectorial de
clases de equivalencia. Entonces || || es un norma verdadera sobre este espacio
vectorial. Sin embargo, usamos el otra lenguaje simplemente por comodidad.]

Teorema 1.8 Sea {vn } una familia ortonormal. Sea v E, y sea cn el

coeficiente de Fourier de v con respecto a vn . Entonces las sumas parciales
P
de La serie cn vn forman una secuencia de Cauchy, y tenemos
X
|cn |2 ||v||2 .

Las siguientes condiciones son equivalentes:

P
1. La serie cn vn converge a v.

|cn |2 = ||v||2 .
P
2. tenemos

3. El elemento v esta adherido al subespacio F generado por la familia

{vn }.

Demostracion. Tenemos, para todo n,

* +  2
Xn n
X  n
X 
0 v ck vk , v ck vk = v ck vk 
 
 
k=1 k=1 k=1
n
X n
X Xn
= hv, vi ck hvk , vi ck hv, vk i + |ck |2
k=1 k=1 k=1
Xn
= ||v||2 |ck |2 .
k=1

As, para todo n tenemos:

n
X
|ck |2 ||v||2 .
k=1

19
De aqu vemos como siempte que, dado , tenemos
n
X
|ck |2 < 
k=m

para m y n suficientemente grandes, de donde

 2
n
 X 
ck vk  < 
 

 
k=m

por el teorema de Pitagoras, porque

n
X n
X
2
|ck | = |ck |2 .
k=m k=m

|cn |2 = ||v||2 ,y, reciprocamen-

P P
Si la serie cn vn converge a v, entonces
te, segun se sigue de las primeras relaciones de nuestra prueba. Ademas,
si se satisfacen estas condiciones, entonces ciertamente v es adherente a F .
Finalmente, supongamos que v es adherente a F . Dado , existen numeros
a1 , a2 , . . . , an tales que  
 N
X 
v ak vk  < .
 
 
k=1

Por el teorema 1.7, se sigue que

 
 N
X 
v ck vk  < .
 
 
k=1

Si n > N , de nuevo por el teorema 1.7, se sigue que

 n

 X 
v ck vk  < .
 
 
k=1
P
Esto demuestra que la serie cn vn converge a v y concluye la prueba del
teorema.

20
Corolario 1.8.1 Sea {vn } una familia ortonormal, y v E un elemento con
todos los coeficientes de Fourier con respecto a {vn } iguales a 0. Supongamos
que v esta en la cerradura del espacio generado por {vn }. Entonces ||v|| = 0.

Demostracion. clara.
P
La serie cn vn se llama serie de Fourier de v con respecto a la familia
{vn }.

Ejemplo 1.4 Considerar primero el caso de las funciones {n }, con n

Z, de modo que n vara sobre todos los enteros positivos o negativos y 0.
Mantemos la convencion de que las sumas parciales de la serie de Fourier
son n n
X X
sn = ck k o sn (x) = ck eikx .
k=n k=n

Sabemos que el orden en que se toman los terminos de una serie de funciones
(o de numeros) es importante cuando no tenemos convergencia absoluta. Por
supuesto, ya vimos que la serie de Fourier converge absolutamente para la
norma L2 , pero queremos estudiarla con respecto a las otras convergencias.
As fue como establecimos la convencion anterior.
El lector verificara inmediatamente que si {an }nZ son los coeficientes de
Fourier de f con respecto a la familia {n }nZ , entonces
n
X n
X
ak k = ck k ,
k=n k=n

en otras palabras,
n
X n
X
a0 + (ak cos kx + bk sin kx) = ck eikx .
k=1 k=n

Al tratar el caso concreto del espacio de funciones, denotaremos la serie de

Fourier por

X
X
an n = cn n ,

21
 P
o simplemente an n , donde se entende que n Z, y que la suma se toma
en el orden prescrito,
n
X n
X
lm ak k = lm ck k .
n n
k=n k=n

Ejercicios

1. Verificar las afirmaciones acerca de la ortogonalidad de las funciones

n , y de las funciones 0 , n y n .

2. En el espacio Cn , formado por todos los vectores z = (z1 , . . . , zn ) y

(w1 , . . . , wn ), donde zi y wi C, definir el producto

hz, wi = z1 w1 + + zn wn .

Demuestre que este es un producto hermitiano, y que hz, zi = 0 si y

solo si, z = 0.

3. Sea l2 el conjunto de todas las secuencias {cn } de numeros complejos

|cn |2 converge. Demuestre que l2 es un espacio vectorial, y
P
tales que
que si {n } y {n } son elementos de l2 , entonces el producto
X
({n }, {n }) 7 n n

es un producto hermitiano tal que h, i = 0 si y solo si, = 0.

4. Si f es periodica del perodo 2, y a, b R, entonces

Z b Z b+2 Z b2
f (x) dx = f (x) dx = f (x) dx
a a+2 a2

(Cambiar variables haciendo u = x 2, du = dx.) Ademas,

Z Z Z +a
f (x + a) dx = f (x) dx = f (x) dx.
+a

(Partir la integral con los lmites + a, , y + a y utilizar la

afirmacion anterior.)

22
 5. Sea f una funcion par (es decir f (x) = f (x)). Demuestre que todos
sus coeficientes de Fourier respecto a sin nx son 0. Sea g una funcion
impar (es decir g(x) = g(x)). Demuestre que todos sus coeficientes
de Fourier con respecto a cos nx son 0.

6. Calcular los coeficientes de Fourier reales de las siguientes funciones:

(a) x; (b) x2 ; (c) |x|; (d) sin2 x; (e) | sin x|; (f) | cos x|.

7. Sea f (x) la funcion igual a ( x)/2 en el intervalo [0, 2], y extendida

por periodicidad a toda la lnea real. Demuestre que la serie de Fourier
P
de f es (sin nx)/n.

8. Sea f periodico del perodo 2, y diferenciable. Supongamos que f 0 es

continua. Demuestre que existe una constante C > 0 tal que todos los
coeficientes de Fourier an (n Z) satisfacen la acotacion |an | C/|n|.
[Sugerencia: Integrar por partes.]

9. Sea f periodica, de perodo 2, y dos veces diferenciable. Supongamos

que f 00 es continua. Muestre que existe una constante C > 0 tal que
todos los coeficientes de Fourier an (n Z) satisfacen la acotacion
|an | C/n2 . Generalizar.

10. Sea t real y no entero. Determine la serie de Fourier para las funciones
f (x) = cos tx y g(x) = sintx.

11. Sea E un espacio vectorial sobre C con un producto hermitiano. Probar

la ley del paralelogramo: Para todo v, w E tenemos

||v + w||2 + ||v w||2 = 2||v||2 + 2||w||2 .

23
1.6. Los polinomios Trigonometricos como una
familia total
Teorema 1.9 Sea f una funcion continua, periodica del perodo 2. Enton-
ces f (x) se puede aproximar uniformente mediante polinomios trigonometri-
cos n
X
ck eikx .
k=n

De manera alternativa, f (x) se puede aproximar uniformemente por sumas

n
X n
X
ak cos kx + bk sin kx
k=0 k=1

Primero suponemos dado el teorema 1.9 y deducimos algunas consecuencias.

Especficamente, sea E el espacio vectorial de funciones continuas a trozos
en R, periodicas del perodo 2, y sea ER el espacio de funciones con valores
reales definidas en E. Nuestra primera tarea sera mostrar la consecuencia
inmediata del teorema 1.9: las familias de funciones

{n }nZ y {n }nZ

son totales.

Teorema 1.10 Sea f una funcion continua periodica de perodo 2 con to-
dos sus coeficientes de Fourier iguales a 0. Entonces f = 0.

Demostracion. Existe una secuencia de polinomios trigonometricos

{Pm } (m = 1, 2, . . .)

que converge uniformemente a f . Supongamos, por simplicidad que f es real

y que los Pm son polinomios en seno y coseno con coeficientes reales. tenemos
entonces
X
Pm = k k

24
con constantes adecuadas k y la suma tomada sobre un numero finito de
terminos. Esta claro que los k depende de m. Se sigue que
Z X Z
f (x)Pm (x) dx = k f (x)k (x) dx = 0.

Pero entonces Z Z
2
f = lm f (x)Pm (x) dx = 0.
m

Por tanto, f = 0 porque f es continua y f 2 O. El caso complejo se puede

deducir del caso real utilizando las partes real e imaginaria de una funcion
compleja, o razonando de manera directa, notando que Pm aproxima f y
usando Pm en la integral.

Corolario 1.10.1 Las familias {n }nZ y {n }nZ son totales.

Demostracion. Esta es solo cuestion de aproximar la integral tomada con

una funcion real continua por trozos mediante la integral tomada con una
funcion real continuo. En este caso la aproximacion no es uniforme, y damos
el razonamiento en detalle. Se basa en el lema siguiente.

Lema 1.1 Sea f una funcion real continua a trozos en un intervalo [a, b].
Dado , existe una funcion continua g en [a, b] tal que
Z b
|f (x) g(x)| dx < .
a

Si f (a) = f (b), podemos seleccionar g tal que g(a) = g(b).

Demostracion. Supongamos que f tiene posibles discontinuidades en los pun-

tos de una particion

a = a0 < a1 < < am = b.

Se toma pequeno y se considera un intervalo de radio alrededor de cada

ai . Cambiamos f a otra funcion real g cambiando los valores de f solo en

25
estos intervalos de radio . Supongamos que ai no es un punto extremo. Sea
g la funcion lineal real con valor f (ai ) en ai y el valor 0 en ai , y sea
lineal en el intervalo [ai , ai ]. De manera analoga, hacemos que g tenga el
valor 0 en ai , el valor f (ai + ) en ai + , y sea lineal en el intervalo [ai , ai + ].
En los extremos definimos g de una manera similar, pero solo del lado donde
tenga sentido.
Entonces la norma del sup ||f g||0 esta acotada por ||f ||0 , y f (x) = g(x)
a menos que x este en uno de de nuestros intervalos de radio . La unica parte
de la integral Z b
|f g|
a
que no contribuye con un cero es la que se toma sobre estos intervalos de
radio . En consecuencia, encontramos la estimacion
Z b
|f g| 2m||f g||0 .
a

Esto prueba nuestro lema. 

Supongamos ahora que f es continua a trozoz, periodica, real, y que
todos sus coeficientes de Fourier son iguales a 0, esto es hf, n i = 0 para
todas nuestras funciones n . Si P es cualquier polinomio trigonometrico, P
es una combinacion lineal de la n con coeficientes constantes, y de modo
que ademas hf, P i = 0. Sea g continua y que aproxima a f como en el lema.
Sea P un polinomio trigonometrico que aproxima g uniformemente. Tenemos
Z Z Z Z
2
f = f (f g) + f (g P ) + f P.

Tenemos ahora la estimacion

Z  Z
 

 f (f g)
 |f | |f g|

Z
||f || |f g|.

26
Esto es menor que  para g cerca de f en el sentido del lema. La segunda
integral es estimada mediante el sup, y la tercera es 0, por hipotesis. As
Z
f2 < 

para todo , y, por lo tanto, es igual a 0. Entonces

f 2 (x) = 0 = f (x)

cuando f es continuo, como haba mostrar.

El patron de la prueba anterior se extiende a una clase mucho mas amplia
de funciones reales, a saber, a todas las funciones reales se pueden aproximar
en la norma L1 mediante funciones reales continuas. Esta es mas o menos, la
clase de todas funciones que se desea integrar.
Ejercicios

1. Sea un numero irracional. Sea f una funcion continua (con valor

complejos, de variable real), periodico del perodo 1. Muestre que
N Z 1
1 X
lm f (n) = f (x) dx.
N N 0
n=1

[Sugerencia: En primer lugar, sea f (x) = e2ikn para algun entero k.

Si k 6= 0, entonces se puede calcular de manera explcita la suma de la
izquierda, y se ve inmediatamente que las sumas geometricas
 
X N 
e2ikn 
 

 n=1 

son acotadas, de donde se sigue la afirmacion. Si k = 0, esto es todava

mas trivial. Finalmente, aproximar f uniformemente mediante un poli-
nomio trigonometrico para obtener el resultado Para una f arbitraria.]

27
 2. Demuestre que el lmite del ejercicio anterior es valido si f es una fun-
cion real Riemann integrable, mostrando que, dado , existen funciones
reales continuas g y h periodicas del perodo 1, tales que

gf h

y Z 1
(h g) < .
0
En particular, el lmite es valido si f es la funcion caracterstica de un
subintervalo de [0, 1].

1.7. Aproximacion uniforme explicita

Ahora volvemos a probar nuevamente el teorema de aproximacion por
polinomios trigonometricos por el metodo de las sucesiones de Dirac. Ya
que estamos tratando con funciones periodicas, reemplazamos los lmites de
integracion por y en lugar de y . En otros casos no haremos
ningun cambio en la definicion de la Sucesion de Dirac.
Si f, g son periodicas del perodo 2, definimos
Z
f g = f (t)g(x t) dt,

y de nuevo llamamos esto la convolucion de f y g. Vamos a convolucionar

una funcion f con dos tipos de kernels. Uno de ellos sera el nucleo de
Dirichlet n
1 X ikx
Dn (x) = e ,
2 k=n

y el otro sera el nucleo Fejer (llamado tambien el kernel de Cesaro)

n1 m
1 X X ikx
Kn (x) = e .
2n m=0 k=m

28
Vemos que el segundo es un promedio del primero. Resulta que los nucleos de
Fejer forman una sucesion de Dirac, pero los nucleos de Dirichlet no, aunque
veremos en la siguiente seccion que tambien proporcionan ciertos teoremas
de aproximacion.
Denotamos por Sn la nesima suma parcial de la serie de Fourier de una
funcion real f (Estrictamente hablando deberamos escribir sf,n .)
Tomaremos la convolucion tanto de Dn como de Kn con una funcion real
dada f . Comenzamos por observar la convolucion de f con las funciones

k (x) = eikx .

Tenemos
Z
k f (x) = f (t)eik(xt) dt
Z

= f (t)eikt dt eikx

= 2ck eikx

donde ck es el kesimo coeficiente de Fourier de f . Esto ata a las series de

Fourier con convoluciones, y dado que el producto de convolucion es distri-
butivo sobre la suma, obtenemos:

Teorema 1.11 Sea f una funcion continua por tramos y periodica. Entonces

f Dn (x) = sn (x)

y
s0 (x) + + sn1 (x)
f Kn (x) = .
n
As, f Kn es el promedio de las sumas parciales de las series de Fourier de f .
Ahora analizaremos los nucleos de Fejer usando identidades trigonometricas,
y probamos que ellos forman una sucesion de Dirac.

29
 Tenemos
m
X m
X m
X
ikx
e =1+ 2 cos kx = 1 + 2Re eikx . (1.1)
k=m k=1 k=0

Por otro lado,

m
X 1 ei(m+1)x eix/2 ei(m+1/2)x
eikx = = .
k=0
1 eix 2i sin x/2

Tomando la parte real, concluimos que

m
sin(m + 1/2)x X
=1+ 2 cos kx. (1.2)
sin x/2 k=1

Por otro lado, para n 1,

n1
X 1 einx 1 cos nx i sin nx
eimx = ix
= ix/2 ix/2 .
m=0
1e e (e eix/2 )

Multiplicando a ambos lados por eix/2 y igualando las partes imaginarias,

tenemos
n1
X 1 sin2 nx/2
sin(m + )x = . (1.3)
m=0
2 sin x/2
Ahora hallamos que
n1 Xm
sin2 nx/2 X
=n+ 2 cos kx.
sin2 x/2 m=0 k=1

Esto da nuestra expresion para Kn , a saber:

1 sin2 nx/2
Kn (x) = . (1.4)
2n sin2 x/2

Teorema 1.12 La sucesion de los nucleos de Fejer es una sucesion de Dirac.

30
Demostracion. Puesto que Kn es el cuadrado de una funcion real, sus valores
son 0, de modo que se satisface DIR 1. Para DIR 2 integramos los
terminos en la definicion de Kn y obtenga 0 excepto para un termino, con
m = 0, que da 1. Para DIR 3, dado , tenemos
1 sin nt/2 2 1
Z Z
1
( 2 ) dt 2 dt.
n sin t/2 n sin t/2
La integral de la derecha es un numero fijo, y la division por n muestra que
la expresion de la derecha tiende a 0 cuando n . Por lo tanto DIR 3 se
satisface.
(En realidad, la integral de la derecha puede ser integrada facilmente,
pero esto es irrelevante aqu.)
Observese que, como de costumbre, Kn es una funcion par.

Corolario 1.12.1 Las funciones f Kn convergen uniformemente a f en

cualquier conjunto compacto donde f sea continua.

Demostracion. Propiedad General de las sucesiones de Dirac.

Ya hemos observado que
s0 + + sn1
n
es el promedio de las sumas parciales de las series de Fourier. El procedimiento
de tomar este promedio se conoce como suma de Cesaro. El corolario de
El teorema 1.12 puede ser expresado diciendo que
La serie de Fourier de una funcion es Cesaro sumable a la funcion, uni-
formemente en cualquier conjunto compacto donde la funcion sea continua.
Observe que esto es una afirmacion de convergencia puntual.
De la formula (1.3), podemos obtener una expresion para el nucleo Fejer
en terminos de funciones coseno, a saber:
n1
1 1X k
Kn (x) = + (1 ) cos kx. (1.5)
2 k=1 n

31
La correspondiente formula para f Kn es entonces dada por
n1
X k
f Kn (x) = a0 + (1 )(ak cos kx + bk sin kx),
k=1
n

Donde a0 , ak , bk son los coeficientes de Fourier de f con respecto a las fun-

ciones coseno y seno. Esto es trivialmente verificado.
En la siguiente seccion, probamos afirmaciones que muestran como po-
demos ajustar las propiedades de las sucesiones de Dirac para proporcionar
afirmaciones de convergencia con Dn en lugar de Kn .
Ejercicios

1. Sea E como en la seccion, el espacio vectorial de las funciones periodicas

continuas a trozos. Si f y g E, definir
Z
f g(x) = f (t)g(x t) dt.

Demuestre las siguientes propiedades:

(a) f g = g f .
(b) Si h E, entonces f (g + h) = f g + f h.
(c) (f g) h = f (g h).
(d) Si es un numero, entonces (f ) g = (f g).

2. Para 0 r < 1, definir el kernel de Poisson como

1 X |n| in
Pr () = r e .
2

Mostrar que
1 1 r2
Pr () = .
2 1 2r cos + r2
3. Probar que Pr () satisface las tres condiciones DIR 1, 2, 3, donde n se
sustituyo por r y se puso r 1 en lugar de n . En otras palabras:

32
 DIR 1 Tenemos Pr () 0 para todo r y todo .
DIR 2 Cada Pr es continuo e
Z
Pr () d = 1.

DIR 3 Dados  y , existe r0 , 0 < r0 < 1, tal que, si r0 < r < 1,

entonces Z Z
Pr + Pr < .

4. Demuestre que el Teorema 1.1 relativo a las secuencias de Dirac se

aplica a los kernels de Poisson, haciendo de nuevo r 1 en lugar de
n . En otras palabras: Sea f una funcion continua a trozos en R
que sea periodica. Sea S un conjunto compacto donde f sea continuo.
Sea
fr = Pr f.

Entonces fr converge a f uniformemente en S como r 1.

5. En este ejercicio utilizamos derivadas parciales.

Sea x = r cos y y = r sin , donde (r, ) son las coordenadas polares
habituales. Demostrar que en terminos de coordenadas polares, tene-
mos la relacion
2 2 2 1 1 2
+ = + + .
x2 y 2 r2 r r r2 2
Esto significa que, si f (x, y) es una funcion real de las coordenadas
rectangulares x y y, entonces

f (x, y) = f (r cos , r sin ) = u(r, )

tambien es una funcion real de (r, ), y, si aplicamos el lado izquierdo

a f , esto es
2f 2f
+ ,
x2 y 2

33
 Entonces obtendremos lo mismo que si aplicamos el lado derecho a
u(r, ). La relacion anterior da la expresion para el operador de La-
2 2
place x2
+ y 2
en terminos de coordenadas polares. El operador de
Laplace se denota por .
Una funcion f se llama armonica si f = 0.

6. (a) Mostrar que las funciones r|k| eik son armonicas para todo entero
k.
(b) Muestrar que la funcion

X
r|k| eik
k=

es armonico para 0 r < 1. Justificar las diferenciaciones termino

a de termino.
El uso del kernel de Poisson viene del deseo de resolver un problema
con valores a frontera. Suponer que dada una funcion g, vista como una
funcion en el crculo, digamos g(), periodico de perodo 2. Queremos
encontrar una funcion en el disco, es decir, una funcion u(r, ) con
0 r < 1, que sea armonica, y tal que u tenga periodo 2 en su
segunda variable, es decir,

u(r, ) = u(r, + 2).

Mas aun, queremos que u(1, ) sea lo mas parecido a g. Esto se puede
lograr como sigue.

7. Sea g una funcion continua de (), periodico de perodo 2. Definir

u(r, ) = (g Pr )() para 0 r < 1.

(a) Mostrar que u(r, ) es armonica. (Tendra que diferenciar bajo un

signo de integral.)

34
 (b) Muestre que
lm u(r, ) = g()
r1

uniformemente en , como un caso especial de aproximacion me-

diante familias de Dirac.

1.8. Convergencia puntual

Teorema 1.13 (i) Sea {an } una familia de numeros tal que la serie
P
an n
P
converge uniformemente, y sea g = an n . Entonces an es el coeficien-
te de Fourier de g con respecto a n , y por tanto
P
an n es la serie de
Fourier de g.
(ii) Sea f una funcion continua por tramos, periodica del perodo 2.
Sea {an } sus coeficientes de Fourier, y supongamos que
P
an n conver-
ge uniformemente. Entonces f es continuo y la serie de Fourier converge
uniformemente a f .

Demostracion. Para cada m la funcion m esta acotada (por 1 ), y esto

muestra de inmediato que la serie

X
ak k m = gm
k=

converge uniformemente. Por lo tanto, se puede integrar termino a termino,

y las relaciones de ortogonalidad muestran que

am hm , m i = hg, m i ,

Esto demuestra la primera parte del teorema. La segunda parte proviene

de la primera, y el Teorema 1.10, que dice que si todos los coeficientes de
Fourier son 0, entonces la funcion es 0. Aplicamos el Teorema 1.10 a f g
para concluir la prueba. 

35
Ejemplo 1.5 Sea g(x) = ( x)2 /4 en el intervalo [0, 2] y, fuera de ah,
extendida por periodicidad. Los coeficientes de Fourier se calculan facilmente
2 1
a0 = , ak = 2 , bk = 0
12 k
para enteros positivos k. Por lo tanto la serie de Fourier converge uniforme-
mente, a la funcion g misma. Tenemos

x2 2 X cos kx
= + . (1.6)
4 12 k=1 k 2
Haciendo x = 0, encontramos que

2 X 1
= .
6 k=1
k2
Ya vimos que, si la funcion real periodica f es dos veces continuamente
diferenciable, entonces sus coeficientes de Fourier tienden a 0 como 1/m2 , y,
en consecuencia, la serie de Fourier es uniformemente convergente, y converge
a la funcion.
Cuando la serie no converge uniformemente, necesitamos un lema para
investigar su convergencia en un punto dado.

Lema 1.2 (Lema de Riemann). Sea a < b. Sea f continua por tramos en
[a, b]. Entonces
Z b
lm f (x) cos Ax dx = 0,
A a
y similarmente si cos es reemplazado por sin.

Demostracion. Supongamos primero que f es diferenciable excepto en un

numero finito de puntos, y que su derivada es continua por tramos. Descom-
poniendo el intervalo [a, b] en un numero finito de segmentos, vemos que basta
con probar nuestro lema para cada segmento. Por lo tanto, basta probar: Si
f tiene derivada continua en [a, b], entonces
Z b
lm f (x) cos Ax dx = 0.
A a

36
En este caso, integramos por partes y obtenemos
Z b
1 b 0
Z
f (b) sin Ab f (a) sin Aa
f (x) cos Ax dx = f (x) sin Ax dx.
a A A A a

Esto claramente va a 0 cuando A porque f 0 esta acotada en el intervalo

cerrado [a, b].
Ahora sea f arbitrario. Dado , existe una funcion escalonada g tal que
Z b
|f (x) g(x)| dx < .
a

Entonces
Z b Z b Z b
f (x) cos Ax dx = (f (x) g(x)) cos Ax dx + g(x) cos Ax dx,
a a a

y tomando valores absolutos, tenemos

Z b  Z b Z b 
   
 f (x) cos Ax dx |f (x) g(x)| cos Ax dx +  g(x) cos Ax dx,
   
a a a

pues | cos Ax| 1. El primer termino a la derecha es < , y el segundo

tambien para A suficientemente grande, segun la primera parte de la prueba.
Esto demuestra el lema de Riemann. 
El lemma de Riemann jugara un papel similar al de las sucesiones de
Dirac, a saber, que la contribucion a la integral fuera de un intervalo de
radio alrededor del origen es muy pequena para n suficientemente grande.
Las otras propiedades necesarias son faciles, a saber:
Z
Dn (x) dx = 1, (1.7)

sin((2n + 1)x/2)
Dn (x) = (x 6= 2m). (1.8)
2 sin x/2
Dejamos las pruebas como ejercicios.

37
 Es natural considerar, en cualquier punto x, el valor promedio de la fun-
cion. Si
f (x+) = lm f (x + h) y f (x) = lm f (x h),
h0 h0
h>0 h<0

hacemos
(x+) + f (x)
Promf (x) = .
2
Este es el punto medio entre los lmites derecho e izquierdo.
La mayora de las funciones que consideramos, ademas de ser continuo por
trozos, son tambien diferenciables por trozos. Una condicion razonable que
se utiliza en La practica es ligeramente mas debil. Diremos que f satisface
la condicion de Lipschitz por la derecha en x si existe una constante
C > O y tal que
|f (x + h) f (x+)| Ch

para todo h con 0 < h . Similarmente, definimos una condicion de

Lipschitz por la izquierda en x. Ciertamente si f es diferenciable a derecha
en x, entonces satisface la condicion de Lipschitz por la derecha en x.

Teorema 1.14 Sea f continuo a trozos y supongamos que f satisface una

condicion de Lipschitz por la derecha y por la izquierda en un punto dado x.
Entonces la serie de Fourier de f converge a Promf (x) en x.

Demostracion. Tenemos que, para > 0,

Z
Dn f (x) Promf (x) = [f (x t) Promf (x)]Dn (t) dt

Z Z Z
= + + [f (x t) Promf (x)]Dn (t) dt.

La primera integral se estimara de manera absoluta; las otras dos seran esti-
madas usando el Lema de Riemann. Dado .

38
 Sea C la constante de la condicion de Lipschitz, y elija < . Note que
Dn es par, es decir, Dn (t) = Dn (t). Por lo tanto
Z Z
f (x t)Dn (t) dt = f (x + t)Dn (t) dt.

Por lo tanto la primera integral de hasta es igual a

Z
f (x t) + f (x + t)
[ Promf (x)]Dn (t) dt,
2
la cual, en valor absoluto puede ser estimada por
Z   Z
|t|  (2n + 1)t 
 dt t
C sin C dt C C1 ,
| sin t/2|  2 
sin t/2
porque t/ sin(t/2) es continuo incluso en 0 y su integral esta acotada por
algun C1 , de modo que nuestra primera integral es pequena.
Ahora, para las otras, la funcion g(t) = f (x t) Promf (x) es continua
a trozos. Por consiguiente, para todo n suficientemente grandes, la segundo
y terceras integrales tienden a 0. Esto demuestra nuestro teorema. 
A partir del Lema de Riemann y de la estimacion de la primera parte de la
demostracion del Teorema 1.14 se deduce que, para obtener afirmaciones de
uniformidad sobre la convergencia, se necesitan afirmaciones de uniformidad
sobre las constantes Lipschitz, y sobre la oscilacion de f . No entraremos
aqu en este tema.
Ejercicios

1. Realizar los calculos de la serie de Fourier de ( x)2 /4 sobre [0, 2].

Mostrar que esta serie de Fourier se puede diferenciar termino a termino
en todo intervalo [, 2 ] y deducir que

x X sin kx
= , 0 < x < 2.
2 k=1
k

2. Deducir el mismo resultado por consideraciones del teorema 1.14.

39
3. Muestre que la convergencia de la serie de Fourier a Promf (x) en un
punto dado x depende solo del comportamiento de f cerca de x. En
otras palabras, si g(t) = f (t) para todo t en algun intervalo abierto que
contiene a x, entonces la serie de Fourier de g converge a Promg (x) en
x si, y solo si, la serie de Fourier de f converge a Promf (x) en x.

4. Determine la serie de Fourier para la funcion cuyos valores son ex para

0 < x < 2.

Mostrar que se cumplen las relaciones siguientes:

5. Para 0 < x < 2 y a 6= 0 tenemos

X a cos kx k sin kx
ax 2a 1
e = (e 1)( + ).
2a k=1 k 2 + a2

6. Para 0 < x < 2 y a que no sea entero, tenemos

sin 2a X a sin 2a cos kx + k(cos 2a 1) sin kx
cos ax = + 2 k2
.
2a k=1
a

7. Haciendo x = en el ejercicio 6, concluir que

a X (1)k
= 1 + 2a2 2 k2
.
sin a k=1
a

Cuando a no es entero.
(En todos los casos anteriores, el teorema 1.12 muestra que la serie de
Fourier converge a la funcion.)

40