UNIVERSIDAD DE SONORA

División de Ciencias Exactas y Naturales

Departamento de Matemáticas

"Análisis de la Convergencia
de las Series de Fourier"

BIBLIOTECA
DE CILNCIAS EXACTAS
∎ _z Y NAISLES
Jorge Usbaldo Fierros Bobadilla ELSALER LE MIS HIJOS
MARA MI 6RANUE7A

Hermenegildo Rivera Martínez

Hermosil lo, Sonora. Septiembre de 1996.

 UNIVERSIDAD DE SONORA
División de Ciencias Exactas y Naturales
Departamento de Matemáticas

» 4 » »
»»
» 4 S S ;.S
, » »

Presentan:
JORGE USBALDO FIERROS BOBADILLA
HERMENEGILDO RIVERA MARTINEZ

HERMOSILLO, SONORA SEPTIEMBRE 1996.
 A NUESTRO DIRECTOR M.C. FERNANDO LUQUE
POR ACCEDER DIRIGIR EL PRESENTE TRABAJO, ASI
COMO EL APOYO Y LA PACIENCIA QUE DE EL RECIBIMOS.
GRACIAS.

BIBLIOTECA
DE CIENCIAS EXACTAS
Y NATURALES
SAIER UE 1105 MOR
RARA MI GRAMMA
 AGRADEZCO A TODA MI FAMILIA POR SU GRAN APOYO Y CONFIANZA Y DE
UNA MANERA MUY ESPECIAL A MIS PADRES ESTHER HOHADILLA RUELAS Y
GUILIHALDO FIERRO GASTELUM POR BRINDARME LA OPORTUNIDAD DE CONCLUIR
UNA CARRERA, POR SU SACRIFICIO, SUS CONSEJOS Y SU AMOR.
GRACIAS.

A MI ESPOSA MARIA DE LOS ANGELES PERALTA CORDOVA POR SU

PACIENCIA Y GRAN APOYO EN TODO MOMENTO ASI COMO A MI HIJO JHONATAN
POR SU SONRISA Y. GRAN VITALIDAD QUE SE CONTAGIA.
GRACIAS.

A MI HERMANA LUPITA POR SU AYUDA INCONDICIONAL EN TODO

MOMENTO.
GRACIAS.

JORGE USBALDO FIERROS BOBADILLA

 AGRADEZCO PRIMERAMENTE A DIOS POR HABERME PERMITIDO CONCLUIR
SATISFACTORIAMENTE ESTE TRABAJO.

A MIS PADRES MANITA Y JOSE POR DARME LA OPORTUNIDAD DE

ESTUDIAR Y POR EL APOYO Y LAS PALABRAS DE ALIENTO QUE SIEMPRE
ENCONTRE EN ELLOS
GRACIAS VIEJOS.

A MIS HERMANOS Y SUS RESPECTIVAS FAMILIAS POR LA CONFIANZA QUE

ME BRINDARON.
GRACIAS.

AL COLEGIO DE BACHILLERES POR EL APOYO BRINDADO.

AL DEPARTAMENTO DE MATEMATICAS POR LA FACILIDADES PRESTADAS
PARA LA ELABORACION DE ESTE TRABAJO.
GRACIAS.

A JOSE MOISES ESA PERSONITA QUIEN FUE LA QUE HIZO QUE TUVIERA
MAS ALIENTO PARA PODER TERMINAR CON ESTE TRABAJO, QUE CUANDO SENTIA
GANAS DE ABANDONARLO, EL SOLO PENSAR EN EL HACIA QUE ME VOLVIERA EL
ANIMO DE CONTINUAR ADELANTE.
GRACIAS HIJO.

A MI ESPOSA ROSA MARIA REYNOSO , QUIEN ME TUVO LA PACIENCIA DE

SOPORTAR LOS MOMENTOS DIFICILES Y QUE SIEMPRE DEPOSITO SU CONFIANZA
EN MI.
GRACIAS AMOR.

FINALMENTE A TODOS AQUELLOS QUIENES CREYERON EN MI.

GRACIAS.

$ERMENEGILDO RIVERA MARTINEZ.

MERE.
 INDICE.
BIBLIOTECA
DE CIENCIAS EXACTAS
Introducción Y NATURALES
a mane DE 14114 HIJOS
11•14• MI GRAPMEZA

CAPITULO UNO: CONVERGENCIA PUNTUAL.

1.1.- Breve introducción histórica 1

1.2.- Series trigonométricas y series de Fourier 6
1.3.- Núcleo de Dirichlet y Teorema de
Riemman-Lebesgue 9
1.4.- Criterios de convergencia 21
1.4.1.- Criterio de Dini 27
1.4.2.- Criterio de Jordan 29
1.4.3.- Criterio de de La Valleé-Poussin 33
1.5.- Relación entre los criterios de
convergencia 34

CAPITULO DOS: OTROS TIPOS DE CONVERGENCIA.

•

2.1.- Convergencia absoluta y uniforme

de la serie de Fourier 42
2.2.- Convergencia de las sumas de Féjer 46

CAPITULO TRES: CONVERGENCIA EN Lz([a,b1).

3.1.- Análisis de Fourier en los espacios

Lz(Ia,bl) 51
3.1.1.- Desigualdad de Bessel 51
3.1.2.- Identidad deParseval 53
3.1.3.- Teorema de Riesz-Fisher 56
3.1.4.- Teorema de convergencia 58
3.1.5.- Transformación de los resultados
anteriores al caso particular de
Lz(Ea,b1) 59
CAPITULO CUATRO: FUNCIONES CONTINUAS CON SERIE DE
FOURIER DIVERGENTE.

4.1.- Existencia de funciones continuas cuya

serie de Fourier diverge 62
4.2.- Serie de Fourier de Funciones continuas 69

APENDICE 75
BIBLIOGRAFIA 91
 INTRODUCCION

La representación de una función arbitraria por medio de

una serie trigonométrica fué estudiado por algunos investigadores
a finales del siglo XVIII y principios del siglo XIX.
Uno de estos investigadores fué Joseph Fourier, el cual dió
una primera " demostración " de que cualquier función admite una
representación en serie trigonométrica.
Después de esto se presentó el problema de encontrar
condiciones necesarias y suficientes bajo las cuales dicha serie
converge.
En el presente trabajo analizaremos las condiciones bajo las
cuales se da la convergencia de la serie trigonométrica a la
función que la genera.
En el capítulo uno analizaremos la convergencia puntual de la
serie de Fourier, iniciando con una breve reseña histórica de la
forma en la cual se estuvó atacando el problema de la
representación en serie trigonométrica de una función y de la
convergencia de dicha serie.
En otra sección del capítulo uno analizamos dos resultados
fundamentales en el desarrollo de este trabajo en los cuales nos
apoyaremos, para demostrar los criterios de convergencia que se
analizan en este capítulo.
En el capítulo dos, analizamos otro tipo de convergencia,
como lo es la convergencia absoluta y uniforme de la serie de
Fourier y la convergencia de las sumas de Féjer.
En el tercer capítulo , nos enfocaremos en demostrar que para
toda función en el espacio de las funciones de cuadrado integrable
en un intervalo cerrado, su serie de Fourier converge a ella.
Por último en el capítulo cuatro, a diferencia de los tres
iniciales , analizaremos el conjunto de funciones continuas cuya
serie de Fourier diverge y daremos una idea de la cardinalidad de
este conjunto.
 CAPITULO UN O.
CONVERGENCIA PUNTUAL.

En este capítulo, iniciaremos con una breve reseña de la

forma de como se atacó el problema de la convergencia de la serie
de Fourier, y mencionaremos algunos resultados recientes.
Definiremos también el concepto de serie trigonométrica y
serie de Fourier, analizando resultados importantes, los cuales
nos permitirán demostrar algunos criterios que nos proporcionan
condiciones para que se dé la convergencia puntual de la serie de
Fourier.
Por último analizaremos la relación que existe entre los
criterios.

1.1.- BREVE INTRODUCCION HISTORICA.

En esta sección nuestro próposito es el de dar una breve

reseña histórica del desarrollo que tuvo la teoría de las series
de Fourier.
Es importante aclarar que el análisis en esta sección es el
de conocer el tratamiento que hicieron algunos personajes, al
problema de la cuerda vibrante, así como el problema de la
convergencia de la serie de Fourier.
El problema de la cuerda vibrante es el de encontrar una
función f(x,t) que represente el desplazamiento de la cuerda.
A mediados del siglo XVIII , se llegó a la ecuación que 1

representa el movimiento de la cuerda vibrante, la cual está dada

por:

2 2
d y 2 d y
- k (A)
2 2
dt dx

donde "y" es el desplazamiento transversal en el instante "t" del

punto "x" de una cuerda uniforme sujeta por sus extremos a dos
puntos en el eje "x", distantes entre si ir. Esta ecuación fué
estudiada, principalmente por Leonhard Euler, Jean Le Rond
D'Alembert, Daniel Bernoulli, Joseph Lagrange y Joseph Fourier.
D'Alembert y Euler en 1747 y 1748 respectivamente,
encontraron que la solución a la ecuación (A) es:
y = f(x + ct) + g'(x - ct) (B)
donde f y g quedan determinadas por las condiciones iniciales.
Después de esto el problema fué el de ver qué características
deben de cumplir las funciones f y g en (B).
Por un lado Euler afirmaba que estas funciones podían
sustituirse por funciones arbitrarias y D'Alembert sostenía que la
función g debía de tener propiedades que la restringieran al
conjunto de funciones conocidas hasta entonces.
Posteriormente en 1753, Daniel Bernoulli, afirmó que el
desplazamiento de la cuerda se podía expresar como:

y = bn Sen nx Cos nt
n=1

la cuál para t = O se reduce a:

f(x) = bn Sen nx
n=1

sin embargo no ofreció argumentos matemáticos para calcular los

coeficientes bn.
Una de las objeciones que presentaba Euler a la serie
trigonométrica de Bernoulli, era el carácter periódico e impar de
las funciones senos, que la integran, que impediría que se pudiera
representar de esta manera una función arbitraria,
Lagrange en 1759, presentó un análisis nuevo del problema
defendiendo la ecuación (B) y la interpretación hecha por Euler,
sin embargo en este análisis obtiene fórmulas muy parecidas a las
de Bernoulli.
En 1807, Fourier presentó una monografía sobre la transmisión
del calor, en la cuál presentaba la ecuación de difusión que tenía
la forma:

2
 2
d y _ dy
(C)
2 dt
dx

donde "y" representa la temperatura en un punto "x" de una barra

horizontal en el instante "t" y resolviendo por el método
de separación de variables las ecuaciones resultantes y sustitu-
yendo la ecuación inicial y = f(x) para t = O obtuvó:

f(x) = 1 ao + (an Cos nx + bn Sen nx) (D)

2 n=1

donde los coeficientes están dados por:

2//
1
2n
ao = 1 If(x) dx, an = f(x) Cos nx dx,
o o

, 2W
bn = f(x) Sen nx dx, xe(0,2n]
o

En el caso de ciertos cuerpos y ciertas condiciones iniciales

solo aparecían en (D) los términos en senos, del tipo en el que
había insistido ya, Bernoulli, al tratar el problema de la cuerda
vibrante y en el caso de otras configuraciones solo aparecían los
términos en cosenos y la constante ao.
Otra cuestión fundamental relativa a las series de Fourier
mencionada al inicio de esta sección fué el de su convergencia.
Debemos mencionar que este problema constituyó un reto muy
interesante para el análisis matemático de la época, no solo por
la importancia que estaba alcanzando el análisis de Fourier para
la matemática aplicada, sino también para la mezcla de funciones,
límites e integracion que aparecían en torno al problema de la
convergencia.
Una de las primeras demostraciones fué publicada en 1820 por
Poisson, posteriormente, Cauchy en 1826 intentó demostrar
la convergencia integrando término a término la serie, es decir
suponía la convergencia que se quería demostrar.
Un año después Cauchy presentó otra demostración, en esta


también hace algunas hipótesis de convergencia y es muy

restrictiva al tipo de funciones que se puede aplicar.
Uno de los errores de Cauchy era el de suponer que si;

co

an bn O y si E an es convergente entonces bn
n--403
n=1 n=1

también convergen.
Este error fué detectado por Peter Lejeune-Dirichlet, en
1829, dando el siguiente contraejemplo:

n-1/2 Ni. i n n - 1/2.

an =(-1)n Y bn = 11-1 +

Dirichlet desarrolló su propia demostración con el objeto de

establecer condiciones para la convergencia de la serie de
Fourier, estas condiciones agudizaron el choque con el Teorema de
Cauchy sobre la continuidad de la función suma de una serie
convergente de funciones continuas, debido a que incluían la
posibilidad de que la función representada fuera discontinua en un
número finito de puntos,.
La contribución más importantes de la teoría de las series de
Fourier después de que Dirichlet estableciera sus condiciones, fué s H/
M_2*
la de Bernahard Riemann en 1854 sobre series trigonométricas. El
trabajo de Riemann fué publicado hasta después de su muerte, por
su amigo Dedekind en 1868.
En ese trabajo. Riemann construyó funciones con una cantidad
infinita de discontinuidades y estudió sus integrales así como la
posibilidad de representarla por series de Fourier. 1

Riemann buscó condiciones necesarias para la convergencia de

la serie de Fourier, posteriormente Rudolph Lipschitz en 1864
aborda el problema de como extender las condiciones suficientes de
Dirichlet al caso de un número infinito de discontinuidades,
Durante el resto del siglo XIX se obtuvieron condiciones
todavía mas generales para la convergencia de la serie de Fourier
incluyendo la posibilidad de convergencia uniforme.
En 1876 Paul du Bois Reymond, refutó una conjetura de
 Dirichlet y de Riemann acerca de que toda función continua tiene
una serie de Fourier convergente.
En 1904 el matemático húngaro Leopold Féjer obtuvó
importantes resultados al considerar en lugar de convergencia
puntual la convergencia de las medias aritméticas de las sumas
parciales de la serie de Fourier.
Henri Lebesgue en 1906, probó el resultado según el cual la
serie de Fourier de una función continua puede integrarse término
a término si la serie integrada converge y aún mas esto mismo se
puede realizar si la serie diverge.
Algunos resultados mas recientes sobre condiciones
suficientes de la convergencia de la serie de Fourier son:
F. Riesz y E. Fisher probaron en 1907 que existen condiciones
suficientes para que una serie trigonométrica sea una serie de
Fourier,
Se ha mencionado que existen funciones continuas que no son
la suma de su serie de Fourier. En 1935 J. Pál y H. Bohr demostra-
ron que esta situación puede corregirse mediante un cambio de
variable.
Otra corrección fué dada por D. E. Menchov:
"Si f es medible sobre 10,2u], entonces, existe una función
continua g, tal que f(x) = g(x), excepto sobre un conjunto de
medida cero y la serie de Fourier de g converge uniformemente",
Jean P. Kahane y Katznelson, en 1966 han probado que, dado
cualquier conjunto de medida cero existe una función continua cuya
serie de Fourier diverge en cada punto de ese conjunto.
L. Carleson probó en ese mismo año que es imposible construir
una función continua cuya serie de Fourier diverja sobre un
conjunto de medida positiva. Su resultado fué: Si f es una función
en Lz(0,27r) (en particular si f es continua) su serie de Fourier
converge excepto sobre un conjunto de medida cero.
R. A. Hunt extendió el resultado de Carleson en 1967 para
funciones en Lp( 1' s p) y C. Fefferman lo extendió en 1971 a serie
de Fourier múltiples.

1.2 SERIES TRIGONOMETRICAS Y SERIES DE FOURIER.

DEFINICION 1.1:Una serie trigonométrica, es una serie de la forma:

1
ao + ( an Cos nx + bn Sen nx )
2 n=1

donde los coeficientes ao, al„ .... bt, bz,..., son independientes
de x.
El problema de la representación de una función f(x) por una
serie de esta forma fué planteado por Fourier en el problema de la
conducción del calor. Consecuentemente éste jugó un papel
importante en la teoría de funciones de variables reales.
Primeramente analizaremos la fórmula para los coeficientes
ao, an y bn, en términos de la función f(x).
Supongamos que la serie converge a una función integrable
f(x) en el intervalo [-n,u], es decir:

1
f(x) = ao + ( an Cos nx + bn Sen nx ) (1)

2 n=1

y que además la serie puede integrarse término a término, Para

calcular los coeficientes multiplicaremos ambos lados de la
igualdad (1) por las funciones del sistema trigonométrico básico
Cos x, Sen x, Cos 2x, ... Y.
Multiplicando por la función Cos mx obtenemos:

f(x) Cos mx = 1 ao Cos mx + E ( an Cos nx Cos mx
2 n=1

+ bn Sen nx Cos mx )

e integrando ambos lados de la igualdad:

1
f(x) Cos mx dx = ao ICos mx dx +E ( aniCos nx Cos mx dx
Jn
-u 2 -n n=1 -n

BIBLIOTECA + bnfSen nx Cos mx dx).

DE CIENCIAS EXACTAS
Y NATURALES
KUMMAMWMAS
" Mit/4~MM~

6
OBSERVACION 1.1: Como Sen nx es una función impar y Cos mx es una
función par, el producto de ambas es una función impar por lo que:
rrz
Sen nx Cos mx dx = O.
-u

De la observación anterior se tiene que:

ff(x) Cos mx dx = ao iCos mx dx + a4Cos nx Cos mx dx .

7 n 2 -u n=1 -n

Como

0 si n * m
fCos nx Cos mx dx (1.a)
-J11 n si n = m

(ver Apéndice 2),,,'

entonces:

Si m = O resulta que:

rz
1
f(x) dx = ao (2n)
J
-n

de donde

1
ao = Jf(x) dx
71"
-u

Si m * O, por el resultado (1.a) tenemos que:

rn 1
J
f(x) Cos mx dx =
2
ao fmxCos dx + am (n)
-n -n

= 71 am
de donde

rn
1
am = f(x) Cos mx dx m = 1, 2, ...
-n

7
 Para calcular los coeficientes bn se multiplica (1) por

Sen mx con m = 1,2,3 , e integrando ambos lados de laigualdad,

y procediendo de manera análoga se obtiene:

If(x) Sen nx dx = n bn
-n

de donde

= 1 r
bn f(x) Sen nx dx n = 1, 2, ...

DEFINICION 1.2: Sea f una función integrable de [-n,n]. Los

• coeficientes de Fourier o de Euler-Fourier de la función f(x)
se definen por:

1
ao = f(x) dx , an = f(x) Cos nx dx
-n -n

1
y bn = f(x) Sen nx dx para n = 1,2,3...
-n

A la serie trigonométrica formada con estos coeficientes se

le llama Serie de Fourier de la función f.
En la discusión anterior, para calcular los coeficientes de
Fourier suponemos que la serie trigonométrica converge a f(x),
y por lo tanto f(x), tiene que ser periódica con período 2n, ya
que la serie está formada por funciones periódicas con período 2n,
[6] pág. 51.
Por lo tanto de aquí en adelante trabajaremos con funciones
periódicas con período 2n.
Siempre que f(x) sea integrable podemos calcular dichos coe-
ficientes y por tanto formar su serie de Fourier, pero esto no
indica que la serie converja y aunque esto suceda su suma puede
ser una función distinta de f(x) (La igualdad se da cuando se sabe
que la serie de Fourier converge y que su suma es f(x)).
Ejemplos en los cuales se calculan los coeficientes de
Fourier de algunas funciones se pueden observar en apéndice (1).

8
 1.3 NUCLEO DE DIRICHLET Y TEOREMA DE RIEMANN-LEBESGUE.

DEFINICION 1.3: Para n e N, x e R, definimos la función

Dn(x) = Cos kx,

2 +
k=1

la cual llamaremos NUCLEO DE DIRICHLET.

Demostraremos algunas propiedades del nucleo de Dirichlet que
enunciamos en el siguiente teorema.
TEOREMA 1.1: El núcleo de Dirichlet satisface:
Dn(x) es par, es decir, Dn(x) = Dn(-x).
Dn(x) es una función periódica con período 2n, es decir,
Dn(x) = Dn(x + 2n).

rrz
1
Dn(x)dx = 1, es decir,
J-n

1
n
Dn(x)dx =
1
j Dn(x)dx
1
y Tt 2
o -n

Sen ( n + 2 x
iv).- Dn(x) = J con x O en [-Lir].

[2 x
1
2 Sen x )

Demostración:

1
i).- Dn(-x) =
2 E Cos (-kx).
k=/

Ahora como Cos(-kx)= Cos(kx), entonces:

1
Dn(-x) = Cos kx = Dn(x).
2 +
k=1

ii).- Dn(x + 2n) = 21 + Cos k(x + 2n)

k=1

+ Cos (kx + 2kn).

2
k=1

COMO Cos(kx + 2kn) = Cos kx, entonces:

BIBLIOTECA
DE CIENCIAS EXACTAS
Y NATURALES
EL SA/ER DE MI mina
MARA VI GRANDEZA
1
Dn(x + 2n) = + Cos kx = Dn(x).
2
k=i

1 1
Cos kx
1 (
dx = ---
r 1
dx +
n
I Cos kx dx
I -n ( 2
k=1
U in 2
k=1 -U

n
1 r í 1
w- j 72- E Cos kx J dx = -I- (
-n
dx
-n k=1

= 1.

iv).- Basta demostrar que:

1 1
2 Sen(--- x) Dn(x) = Senin + j x .
2 2

De la definición 1.3 se tiene:

2 Seni
1
2
1
xiDn(x) = 2 Sen(---
2
x)
2 )
+ 1 Cos kx
k=1

10


1 2 Senp- + 2 Sen( --1- xj Cos kx

2 Sen( 2 x Dn (X) =
2 xj( 2 2 k=1

Cos kx
= 2 + 2k=1
SenEL Sen(-1-
2

Como:
2 (Sen x)(Cos y) = Sen (x + y) - Sen (y - x),
1 1 1
2 Sen( —
2 x)Da(x) = SenEr + E { Sen(
k=1
2 x + kx) -

- Sen kx - 1
2 }

1 1
2 x +
= Sen(-- + Sen(-- - Sen
2
1 1 1 x + 3x) -
2
+ Sen[— 2 x + 2x) - Sen (2x - —
2 +
1 + Sen( 1 x + 4x) - Sen [4x - 2 + +
2

1
+ Sen (12 x + nx) - Sen (nx - 2 Xj

+ Sen { 2n2 - 1) x - Sen ( 2n 2- 3 x+

2n - 1
+ Seri( 21 x + nx) - Sen 2

= Sen( x + nx) = Sen( 21 + n 1 x .

32.

Por lo tanto:

Senln + 1 x
2 O
Da(x) - para x
, 2 Sen( 1 x)

11


TEOREMA 1.2:(Integral de Dirichlet) Supongamos que :

f:R R es integrable, periódica con período 2n. Sea Sn(x) la
n-ésima suma parcial de la serie de Fourier generada por f, defi-
nida por:

Sn(x) ao + Z( am Cos mx + bm Sen mx ). (2)

2

Entonces Sn(x) se puede representar como integral definida en la

forma

rrz
1
Sn(x) = f(t+x) Dn(t) dt. (3)
-n

Demostración:

Sustituyendo los valores de los coeficientes, ao, am y bm

generados por la función f(t) en (2), se tiene:

1 g { 1
Sn(x) f(t) dt + f(t) t Cos mx dt +
2n
-n m=1 -n

4 k

1
n II
f(t) Sen mt Sen mx
t
Sn(x) = 1
n 2
+ Cos mt Cos mx + Sen mt Sen mx } f(t) dt
m=1

= 1 r
* 1
+ Cos m(t - x) f(t) dt ya que
rz
171. 2
m=1

Cos (x - y) = Cosx Cosy + Senx Seny.

De la Definición 1.3 se tiene:

1
Sn(x) = I rz f(t) Dn(t - x) dt.
-n

12
 Haciendo t= x+ u ó = t- x, tenemos

ru-x
Sn(x) = 1 f(x + u) Dn(u) du.
rz
-n-x

Puesto que f toma los mismos valores en el intervalo

(-n-x,n-x) que en el intervalo (-n,n), la última igualdad puede
escribirse como

1
Sn(x) J f(x + u) Dn(u) du.
u
-n

Esta fórmula es conocida como la INTEGRAL DE DIRICHLET, que

puede escribirse haciendo u = -v en el intervalo [-n,o) en la
forma:

1
Sn(x) = Dn(u) ( f(x + u) + f(x - u)) du. (3.a)
o

Supongamos que f(x) = 1 V x, entonces los coeficientes de

Fourier son:

rr
1 1 1 f
ao = -1- j f(x) dx = dx = k ir n) = 2.
-n -n

1 1 1
an = I f(x) Cos nx dx = Cos nx dx = (Sen nx)
nn
-n -n

1
(Sen nn + Sen nn) = O.
nn

1 -1
bn = f(x) nx dx =
f Sen 1 Sen nx dx = nn (Cos nx)
u
-n -n

1
(Cos nn - Cos nn) = O.
nn

13
 Entonces Sn(x) = 1 V n = O.

En este caso la fórmula (3), puede ser escrita de la siguiente

forma:

u
= 1
1 fDn(t) dt
-n BIBLIOTECt
DE CIENCIAS EXACTM
y por el Teorema 1.1 iii) se tiene: Y NATURALES
H. USER DE MIS RINGS
RARA VI GRANDEZA

1 ( rz
2 Dn(t).dt.
rz
o

Sustituyendo Dn(t) como en el Teorema 1.1 iv) se tiene:

1
Sen ( n+ 2 (t)
1
1 = ( 2 ) dt.
n 1710 1
2 Sen (t)
2

Si multiplicamos por s E R, obtenemos:

1
Sen ( n + (t)
1 2
( 2s ) dt
Igo 2 Sen
1
2
111(t)

Restando a Sn(x) se obtiene:

1
n 1 e
I Sen ( n+ (t)
1 2
Sn(x) - s = [ f(x + t) + f(x - t) ] dt
1
2 Sen (t)
o 2

rz 1
Sen ( n +
2
) ( t)
1 ( 2s ) dt =
1
2 Sen (t)
o 2

n 1
Sen ( n + (t)
1
f(x + t) + f(x - t) - 2s I dt. (4)
rz
Jo2 Sen (t)

Por lo tanto, una condición necesaria y suficiente para que

la serie Sn(x) converja a s es que (4) tienda a cero, entonces, el
problema de la convergencia es encontrar condiciones bajo las cua-

14
les (4) tiende a cero y en ese caso, s es el límite de la serie.

En el desarrollo de la teoría es fundamental el siguiente

resultado.

TEOREMA 1.3 ( RIEMANN-LEBESGUE ): Si f(x) es integrable sobre

(a,b), entonces:

lim f(x) Cos Xx dx = 0 , lim f(x) Sen Ax dx = 0.

X4m a X-)w a

Demostración: Para la demostración se seguirán los siguientes

pasos:
Lo haremos para cuando f(x) es una función constante,
después para cuando f(x) es una función escalonada,
cuando f(x) es una función simple no-negativa,
para f(x) no negativa y,
v).- por último para cuando f(x) es una función integrable.

Sea f(x) = C (cte.)

lim C Cos Xx dx = C lim f Cos Ax dx = O.

X4w a X-)w a

Sea f(x) = al X con al constantes y Al intervalos,

At
1=1

contenidos en (a,b), donde:

At = xe(a,b) /// f(x) = al } y

0 si x 0 At
X, =
Ai { 1 Si x E At

b m
ff(x) Cos Xx dx = al X Cos Ax dx
At
a a t=1

15


at X Cos Ax dx
A

m bi
= E
al Cos Ax dx
A —4 W
> O
1=1 Jai

donde Ai = (al,bt).
iii).- Sea f(x) una función simple, no negativa, que toma los
. valores al, «2,...,4111, y por supuesto, f es acotada, y puede
representarse en la forma

f(x) =Eal X
Al
t=/
con Al conjunto medible.
Dado e > 0, sea e' = 2m con M = max { a1,a2 , am }.
EM

1
Para cada conjunto Ai, existen intervalos abiertos I ,I , I
2 kl
ki
tal que si Gi = u I , entonces, p(Ai A GO < e', donde Al A G1
j =1 j
es la diferencia simétrica entre estos conjuntos (8] pág_._42.

Definamos la función escalonada 0(x) =

1=1
E
al X
Gr

entonces,

f(x) - 0(x) I = I E al XAi - E al XGi I

1=1 1=1

= I E al X - al X
At Gi

, E ail XAl - X
Gt
I
1=1

b
I
If(x) 0(X) I dx = E &J.' XAi - X
Gt
I dx
a a 1=/

16


XA1 - XG, 1 dx

al I X dx
(Al A Gi)
i=1 a

BIBLIOTE
=E al g( Al A Gi ) DE CIENCIAS EXACTA
1=1 Y NATURALES
EL ENSER DE mm san
amtA DI GRANDEZA
s m M e'
e
2
Tomar Ao suficientemente grande tal que:

0(x) Cos Ax dx < c para todo A > Ao

2
a

J f(x) Cos Ax dx 1 = l y [ f(x) 0(X) — 0(X) ] Cos Ax dx 1

a a

= I f(x) — 0(X) ] Cos XX dx +

a

+ C0(x) Cos Ax dx 1
a

if 1 f(X) 0(X) ] Cos Ax dx 1 +

a

4-If 0(X) Cos Ax dx 1

a

2 2

iv).- Sea f una función no-negativa, entonces, existe {V'n} una

sucesión de funciones simples no-negativas que converge a f
[2] pág. 51, entonces, por el Teorema de Convergencia Monótona
para e > O dado, existe No tal que para toda n = No,

17
 E
lb[ f(x) - On(x) dx <
2
a

Por lo tanto,

b b
f(x) Cos Xx dx = I f [ f(x) — 011(X) + lin(x) ] COS Xx dx
a a

= I I [ f(x) — 01(X)] COS Ax dx

a

I Ori(X) COS XX dx I
a

5 [ f(x) — On(X)] COS ÁX dx I +

a

I f I//n(x) COS Xx dx I
a

fb
< I( f(x) — On(X)] COS Ax dx
a

f 10n(X) COS Xx dx I
a

e e
para n? No y A suficientemente
2 2
grande

= E.

v).- Sea f(x) una función integrable, entonces, existen fi.,

f funciones no-negativas tales que f = f + - f-.

18
 r
as
f(x) Cos Ax dx r (
a
) ( x) Cos Ax dx

fl.(X) Cos Ax dx - j f(x) Cos Ax dx

a a

Tomando límite en ambos lados de la igualdad por iv) tenemos

que:

lim
A403
I a
f(x) Cos Ax dx = O.

Análogamente se demuestra la otra parte del teorema..

El Teorema de RIEMANN-LEBESGUE tiene las siguientes

consecuencias importantes:
Los coeficientes de Fourier de una función
integrable tienden a cero.
El comportamiento de la serie de Fourier para un
valor determinado de x solamente depende del compor-
tamiento de la función en una vecindad de ese punto.
1) se sigue de la definición de los coeficientes de Fourier y
para probar 2), sea S un número positivo menor que u y sea
g(t) = f(t) en el intervalo x-a<t<x+ S y g(t) = O
en el resto del intervalo ( x - u, x + u

Sea Sn la suma parcial de la serie de Fourier de g(t).

Entonces, por (3.a)

Sn(x) = 1
Sen ( +2 1 (u)
g(x + u) + g(x - u) du =
o
2 Sen - - (u)
1
2 { }

1
Sen (n+ 1 ]
2 (u)
1 , , f(x + u) + f(x - u)} du.
2 (u)
2 Sen - -- t {}
o

19
 Ahora:

Sen fn + u) {
1 2 ) (
Sn(x) — Sn(X) — ir 1
f(x + u) + f(x - u)
2 Sen (u)
o 2

1 ) (u)
Sen ( n +
1 2
{f(x + u) + f(x - u)}
u) du
1
2 Sen (u) {
o 2

1 ) (u)
Sen f n+
1 2
f(x + u) + f(x - u)} du.
2 Sen - 12- (u) {}

Ahora la función:
1
H(u) = Csc 2 u { f(x + u) + f(x - u) } es integrable en el

intervalo (8,n) si 8 > O y entonces por el teorema de

RIEMANN-LEBESGUE:

Sen ( n+ (u)
1 2
lim f(x + u) + f(x - u) du =
u
n403 2 Sen _1_ (u)
8 2

rz
= lim 1 Sen rn + (u) H(u) du = 0, entonces:
u J J
n- a

lim Sn Sn = O.
n-xo

Sin embargo, haciendo 8 suficientemente, pequeña, el

comportamiento de Sn(x) depende solamente de la naturaleza de f(t)
en el intervalo (x - 8, x + 8) y no se afecta por el valor que
tome f(t) fuera del intervalo.

20
 1.4 CRITERIOS DE CONVERGENCIA.

El siguiente teorema tiene la ventaja de que es fácil

comprobar si una función dada satisface sus hipótesis, y además,
nos da condiciones para que la serie de Fourier de una función
f(x) converja a f(x).
Es importante observar que las hipótesis del teorema son
suficientes pero no necesarias.

A las hipótesis de este teorema se le llaman CONDICIONES DE

DIRICHLET.

TEOREMA 1.4 (De Fourier): Sea f una función periódica con

período 2n y suave por partes ( es decir, f y f' son continuas por
partes ) en [-n,n], entonces, la serie de Fourier de f converge en
cada punto del intervalo a

1
f(x+) + f(x-)
2

OBSERVACION 1.2.: El número f(x+) + f(x-)1 es la media

2{

aritmética de los límites laterales de f en el punto x. Por tanto

si f es continua en x :

1
f(x) + f(x) = f(x).
2 [ f (x+) + f(x-) =
2

OBSERVACION 1.3.: Una función g es continua por partes si g es

continua en cada intervalo [a,b], excepto posiblemente, en un
conjunto finito de puntos X1,X2,...,Xn:
a < xl < x2 <...< Xn < b BIBLIOTECA
Dt CIENCIAS EXACTAS
en los cuales los límites laterales Y NATURALES
s /OMR LIE hal 1/U41
g(xi+) y g(xi-) (i = 1,2,3,...,n) existen. W"AMGRAPIDUA

21


Demostración: Probaremos

1
limr 1 ao + E ( am cos mx+ bm Sen mx )1 =
2
[f (x+) + f(x-)
2 in--=

Del Teorema 1.2 tenemos

o
1 u 1
Sn(x) = f(t + x) Dn(t) dt = If(t + X) Dn(t) dt +
-n -n

ff(t + x) Dn(t) dt.

o

Por otra parte de i) y iii) del Teorema 1.1 se tiene

1
°Dn(t) dt = Dn(t) dt = ---
J-n u 2 '
o

multipliquemos por f(x+) en ambos lados de la última igualdad

tenemos,

u
1 1
2
f(x+) = f(x+) Dn(t) dt (5)
o

y analógamente obtenemos

o
1 1
2 f(x-) = f(x-) Dn(t) dt. (6)
-n

Sumando ambos lados de las ecuaciones (5) y (6) tenemos:

1
2 [f(x+) + f(x-) = f(x+) Dn(t) dt +
o

22
 o
1
ff(x-) Dn(t) dt,
-n

entonces

o
1
Sn(x) f (x+) + f (x-) I = 1 (t + x) Dn(t) dt +
2 J -u

1
f(t + x) Dn(t) dt - 1 f f(x+) Dn(t) dt
o o

o
1
I f(x-) Dn(t) dt
-n

ro [
1 (( L
in f (t + x) - f(x-)] Dn(t) dt) +

( [f(t+x) - f(x+)]Dn(t) dt J.
o

Senín +
Sustituyendo Dn(t) - en ambos términos
2 Sen( 2 t)
del lado derecho tenemos:

1 1
Sn(x) f(x+) + f(x-) I = x) - f(t +
f(x-)l
2 To
-n

Sení n +
1
2 tJJJJ
t
dt f +
1
2 Sení-2-

Se+ + t
1
(
(t+x)[f - f(x+)] 1 }2 dt
o 1
2 Sen(
2 tj

23


y tomando lim en ambos lados:

n44:0

lim Sn(x) -
11—>co 2
f(x+) + f(x-) I=

1
o Senín +
1 2 j
lim ( [f (t + x) dt
.
/1 --X0 U
¡ J
-n
2 Sen I t)

1
n Se ín + t
1 ( 2 )
+ 11111 [f(t+X) — f(x+)] dt ) .
n4w
4 0 L
2 Se f t) n

Si demostramos que el lado derecho de la igualdad es igual a

cero el teorema quedará demostrado. Por el Teorema de
Riemann-Lebesgue es suficiente probar que las funciones:

f(t+x) - f(x-)
g(t) - para t# O y g(t) = O para t= O
2 Senr-1- t)
2

f(t+x) - f(x+)
h(t) — para t x O y h(t) = O para t= O
2 Sen( t)
2

son funciones continuas por partes en [-n,0) y (0,n), respectiva-

mente.
1
Como f y Sen ( 2 t ) son continuas por partes en [-n,0),
entonces g también lo es, y de la misma forma h(t) es continua por
partes en (0,n).
Para ver que g es continua en t = O, obtendremos lim g(t).
t-)0—
 1
Multiplicando y dividiendo por - - t el lado derecho, en (7)
2
obtenemos

(f(t+x) - f(x-)1(-1- ti
lim g(t) = lim
t40— t90—
2 Sen(4- t11-1- ti

Reescribiendo tenemos:

1 t
f(t+x) f(x-)
2
lim g(t) = lim
t90— t90—
Sen(-1- t)

t
f(t+x) - f(x-)
2
= lim lim
t40— t t4o-
Sen( -1-
2
t)

= f' (x).

Como f es suave por partes entonces f' existe en x.

izq
Por lo tanto g(t) es continua en t = O, entonces g(t) es
continua para toda t E [-m)].
Así mismo h(t) es contínua por partes en el intervalo [o,n]
puesto que:
lim h(t) = f' (x).
der
t90+
BIBLIOTECA
DE CIENCIAS EXACTAS
Por lo tanto Y NATURALES
IMWERDOWILM
URAY41~~

25
 11M Sn(X) = f(x+) + f(x-) ).
2 (
n40

Por lo que la serie de Fourier de f converge a :

1
( f(x+) + f(x-) ).
2

Ahora expresaremos la condición necesaria y suficiente para

la convergencia a una suma en una forma más conveniente.
Si 1(u) = f(x+u) + f(x-u) - 2s, entonces la condición (4)
donde f es integrable en [-n,n1 puede escribirse en la forma:

fn 1
Sen n( + ) (u)
2
lim
1
0(u) du = O . (8)
2 Sen (u)
O 2

Podemos reemplazar esto por

a 1 (u)
lim
ngoo
Sen
n
2 Sen
2
1
1(u) du = O, donde O < 8 < n, (9)
2 (u)
O

puesto que por el teorema de Riemann-Lebesgue la diferencia

de las integrales (8) y ( 9) tiende a cero.

Enseguida cambiamos (9) por:

1
a Sen ( n + (u)
2
lim F O(u) du = O (10)
n403 u
JO

1 2
puesto que la integrabilidad de( Csc u - u ) en (0,8) y el
2

Teorema de Riemann-Lebesgue implican:

26
 I
8
1 1
lim Sen ( n + 2 } 1(u) du = O.
2 1 u
n->o3 Sen u
O 2

Ahora tomaremos postura para algunas condiciones de los

criterios de convergencia. En el resto del capítulo, f es siempre
una función periódica integrable en [-Lid y 1 es la función que
se definió en la discusión anterior.

1.4.1 CRITERIO DE DINI

( u)
TEOREMA 1.5: Si es integrable sobre (0,5), entonces
Iu
la serie converge a la suma s.

Este teorema resulta obvio después de haber obtenido (10)

y el Teorema de Riemann-Lebesgue. Recordemos que la integrabilidad
_t 11
de en el sentido de Lebesgue implica integrabilidad absoluta.
u

Demostración:
0(u)
Por el Teorema de Riemann-Lebesgue tenemos que si es
u
integrable, entonces

a Sen ( n +
1
(u)

lim 1(u) du = O.
n4w J 0 u

Como ya demostramos que:

r - r '
11
:7.1 111Dfs
.7.•rm yirep

a
lim
n4c0
1 Sen ( n +
1
2
) (u) T

1.
1
Sen -- u
1
0(u) du = 0,
0 2
Ir

entonces,

27


S Sen ( n + 1 1 (u)
lim 1 2 j (1)(u) du = O
n4m 0 2 Sen 21 (u)

Por lo tanto Sn —4 s ya que:

n Sen (1 n + 1 ) (u)
2
lim 4,(u) du =
n4w0 2 Sen 21 u)

1
{ S Sen
Sen ( n + 2 (u)
= lim 1(u) du = O,
O 2 Sen 21 (u)

Y,

1 Sen ( n 2 + ] (u)
Sn — S = 1(u) du.
2 Sen - 21 - (u)

28
 1.4.2. CRITERIO DE JORDAN.

TEOREMA 1.6: Si f(t) es de variación acotada(v.a.) en una

vecindad de t = x entonces la serie converge a la suma:

s = 1 { f(x+) + f(x-)}.
2

Demostración:
Dado que de v.a. quiere decir de v.a. sobre un intervalo,
entonces esta condición es para convergencia sobre un intervalo.
Por otro lado si f(x) es de v.a., entonces los limites f(x+)
y f(x-) existen dado que f(x) se puede poner como una diferencia
de dos funciones crecientes.
Entonces, como

1(u) = f(x + u) + f(x - u) - 2s

la podemos expresar de la siguiente manera

1(u) = f(x + u) + f(x - u) - f(x+) - f(x-)

la cual es también de v.a. en un intervalo a la derecha de u = O.

Si u tiende a cero por la derecha entonces :

f(x + u) f(x+) y f(x - u) > f(x-)

de aqui que 0(u) tiende a cero cuando u tiende a cero.

Por lo anterior, podemos escribir

Ell) = 0 (u) - 0 (u)

1 2

donde 0 (u) y 1 (u) son funciones crecientes no-negativas; y

2
además cada función tiende al mismo límite cuando u tiende a cero.
Sin pérdida de generalidad, supongamos que el límite común es O.

29
 Sea S lo suficientemente pequeña para que 0(u) sea de v.a. en
(0,3). Entonces:

1 1
Senln + 2 ] u S nfn
) + u
2
0(u) du = (u) du
u u 1

1
Sen ( n + ) u
2

0 2 (u) du
u

= J - J
1 2

consideremos la integral J . Dado c > O, elegimos n tan pequeña

que 0 1 (q) < e, entonces por el segundo Teorema del valor medio
[101 pág. 66,.

1 1
n Sen ín + V + 2 ) u
2 u Senín
0 1 (u) du = 01(1) du
10 u u

(n + 1.2)n

Sen v
(n) dv
(n + 1/2)

donde O < g < n. BIBLIOTECA

DE CIENCIAS EXACTAS
Y NATURALES
EL SARE k YL MM EMMY
MARA MI GRANDEZA

(n + 1/2)n

Sen v
Ahora bien,para ver que dv esta acotada, sea
(n + 1/2)
A > O y B > A, entonces

.33
Sen v - Cos Cos v
dv dv
2
v
-)A A A

13
- Cos v Cos v
dv
2
A A v

1 3
A B A A

Por lo tanto

1
n Senín + } u
2
0 1 (u) du < Ke, VnEN
u
/O

donde K es independiente de n.

Fijando n, por el Teorema de Riemann-Lebesgue, existe no tal

que

1
Se+ +
2 u
(u) du <c (Vn> no ).
u

Entonces J O y similarmente J > O .Esto prueba

1 2
el teorema.
u

31
 En particular si f(x) tiene un número finito de máximos y
mínimos y un número finito de discontinuidades en el intervalo
(0,2n), la serie de Fourier es convergente para todo valor de x
a la suma
1
f(x+) f(x-) }
2

puesto que f es de variación acotada en todo el intervalo.

32
 TEOREMA 1.7: Si la función:

t
o /(u) du
J

es de variación acotada en un intervalo a la derecha de t = O,

entonces, la serie es convergente.
Si s se elige tal que T(t)--9 O cuando t--4 O, entonces, la
serie converge a s.
Demostración: Por el Teorema Fundamental del Cálculo,

0(t) = t T(t) = W(t) + t T'(t).

It

Entonces.

1
a Sen (n + 2
)11
1(u)du =
u

1
Sen ín +
2
[0(u) + u th'(undu
u
lo

Como W(t) por hipótesis es de variación acotada, el primer

sumando de la integral tiende a cero como en el criterio de Jordan
puesto que W(t) es de variación acotada, entonces se puede poner
como la diferencia de dos funciones no decreÇientes, y como la
derivada de una función no decreciente es integrable, por lo tanto
r(t) es integrable ( [R] Cap. V ), entonces, la
integral correspondiente a tT'(t) tiende a cero por el teorema de
Riemann- Lebesgue. Procediendo como en el criterio de Dini,
podemos ver que Sn converge a s. •

33
 1.5 RELACION ENTRE LOS CRITERIOS

Consideremos la función:
BIBLIOTECA
DE CIENCIAS EXACTAS
Y NATURALES
NA SAlElt NE. M$ RUOR
`:/Alto. MI GRANDEZA

1
si O < X < TE

f (x) =

O si n 5 x 5 2n 11

Tomando una vecindad de x = O, vemos que la función es

monótona(creciente) y acotada. Por lo tanto es de variación
acotada, es decir, cumple con el criterio de Jordan por lo que la
serie de f(x) converge en x = O.
Sustituyendo x = O en:
1(u) = f(x + u) + f(x - u) - f(x+) f(x-)
se obtiene:
1(u) = f(u) + f(-u) f(x+) f(x-)
0(u) = f(u).

Por lo tanto:

entonces


1
1
o(u) a In
u du
du - du -
u
o o u In
1
u

1 - du
Sea t = In , dt - entonces du = - u dt sustituyendo
u u

1
In
8 8
du -u dt
lim I
I o
u ln 1
U
c4o
In
1
E
u t

1
1n
dt
= li -
c4om
I ln
1
E

1
In
a

= lim - ln t
E-so
1
In —

pero

1
In

- ln u - ln [ln 1 + ln
8

1
In
E

por lo tanto la integral diverge.

35
 O bien, haciendo el razonamiento de ver la integral del area
bajo la curva en una vecindad de cero, el area tiende al infinito.
Por lo tanto JORDAN NO IMPLICA DINI.

Ahora consideremos la función:

1
x Sen O < x < n
x
f(x) = ct- con O < a < 1
11 S x S 27r

a 1
(1)(u) = u Sen
u

1(u) 1

o u
du = du = ua Sen
u
du

COMO:

a-1 1 uIX-1
u Sen - - -
171

8 a a
a-1 1 IX-1 u
u Sen -- Idu = u du -
u a a
I 81
o o o

1(u)
Por lo tanto, es integrable.
u

Por lo tanto f satisface la condición en el criterio de Dini.

a 1
Por otro lado f(x) = x Sen - no es de variación acotada,
puesto que si tomamos la partición.

36
 2
x = de (o,8), entonces,
k (2k + 1)n

a
1 - x
a
Sen
1
I f(x f(x k-1 ) I x Sen X I
k k X k-1
k k-1
k=1 k=1

a
2 1
Sen
= [ (2k + l)n 2
1
(2k+l)n

a
1
2
Sen
(2k - 1)n 2 c
(2k-1)n '4"

n a
2 (2k+lin
Sen
í (2k + 1)n 2
k=1

a
2 (2k-1)u
Sen
(2k - 1)u 2

•
k-1
2 2
-1
í (2k 4 l)n (1 (2k - 1)n

37


2
(2k + 1)n
1
2a
a

k=1
(2k+1 ) a (2k-1)a I
a 3 2n+1
n

por lo tanto

2 a

f
k=1
f(x ) - f(x )
k-1
n
a
1
3
1
2n+1

Es decir f(x) no cumple la condición de Jordan.

Ahora bien el criterio de Dini o el criterio de Jordan
Implica el de de la Valleé-Poussin.

LEMA 1.1: Si g(u) es una función no-negativa, no-decreciente y

acotada, entonces,

H(t) = t g(u) du
o

cumple con las mismas caracteristicas de g(u).

Demostración: Es claro que H(t) es no-negativa y acotada,
para ver, que sea no-decreciente tenemos que - demostrar que si
O < xi s xi, entonces,

t2 ti
1 1
>
g(u) du- g(u) du.
t2 ti

Analicemos la integral

38


t2
ti g(u) du = ti (t2-ti) g(ti)
1 ti
ti ti
= (ta-ti) g(u) du, dado que ti g(ti) = g(u) du
1o o

ti ti
t2 g(u) du - ti g(u) du, entonces,
o

ti
t2 I ti ti
g(u) du + ti g(u) du k 2 g(u) du, de donde,
ti o. o

t2 ti
ti g(u) du = t2 g(u) du por lo tanto
I _ o

t2 ti
1 1
g(u) du = g(u) du.
t2 ti
o o
a

PROPOSICION 1.1: Sea g(u) de variación acotada en (0,8), entonces,

Ix
G(x) = g(u) du
o

' es de variación acotada por lo tanto cumple el criterio de de la

Valleé-Poussin.

Demostración: Como g(u) es de variación acotada ,entonces, se

cumple el criterio de Jordan ahora sea g(u) = g (u) - g (u) las
2
cuales son positivas y no decrecientes y acotadas, sustituyendo
obtenemos:

39
 1 I xí
G(x) = g (u) - g (u) du BIBLIO,TECA
1 2 DE CIENCIAS EXACTAS
o Y NATURALES

x x
1 1
glu) du - glu) du
o o

= G (x) - G (x).
1 2

Por el Lema 1.1 las funciones G y G cumplen con las mismas

2
características de g yg por lo cual G120_es de Variación acota-
1 2 ,
da, por lo tanto, se cumple el criterio de de la Valleé-Poussin.
•
Supongamos que el criterio de Dini se cumple, es decir, la
función

o(u)
U

es integrable.

t
1(u)
Sea x(t) =
u du
o

la cual es de variación acotada, [81 pág. 101.

t

Sea 0(t) = t 1(u) du, dado que:
o

1(u)
x'(u) - u , entonces, 1(u) = u x'(u), sustituyendo:

oto = f t u x'(u) du
o

e integrando por partes

40
 a = u db = x'(u) du
da = du b = x(u)

0(t) = u x(u) - X(u) du = 1 (u)(X(u))

o o o

t
1
x(u) du
t
o

t
1
0 (t) = t ) (x(t)] - X(u) du
o

1
0(t) = x(t) -
t
x(u) du.
ft
o

Si x(t) es de variación acotada, por la proposición 1.1

tx(u) du, es de variación acotada.

o

Por lo tanto 0(u) es de variación acotada, es decir, se

cumple la condición del criterio de la Valleé-Poussin.
Algunos ejemplos de funciones que satisfacen los criterios
mencionados anteriormente son vistos en el Apéndice (3).

41
 CAPITULO DO S.
OTROS TIPOS DE CONVERGENCIA.

En este capítulo, analizaremos algunas condiciones para la

convergencia absoluta y uniforme de la serie de Fourier, asimismo
la convergencia de las sumas de Féjer.

2.1 CONVERGENCIA ABSOLUTA Y UNIFORME

DE LA SERIE DE FOURIER.

LEMA 2.1: Supongamos que f es continua en el intervalo

[-n,n1, con f(-7r) = f(n), y que su derivada es continua por
partes sobre (-n,n). Entonces si ao y bn son los coeficientes de
Fourier de la función f, la serie

co

/(an) 2 + (bn)2
n=1

converge.

Demostración: Sean

Oto = 1 r f'(x) dx an =
1 f

-n
r(x) Cos nx dx

1
j3n f'(x) Sen nx dx
-n

los coeficientes de Fourier de f'(x), los cuales existen, debido a

que r(x) es continua por partes.
Es claro que ao = O, por otro lado, integrando por partes,
para n = 1,2,3,... obtenemos

42
 1
an
1
r(x) Cos nx dx = f(x) Cos nx! +
-u -n

+ n f-
f(x) Sen nx dx}
n

1 f
+ n bn
ftXJ Cos nx
-Ir

= n bn.

Análogamente se obtiene que Rn = - n an, por lo tanto

—Rn an
an y bn
n
Sea

SN = (12)
v/(an) 2 + (bn)2
n=1

sustituyendo (11) en (12) se tiene:

N
2
SN = anl
n
1

1
n v/(an) 2 + (ftn)2
n=

utilizando la desigualdad de Cauchy que nos dice:

N N
E 2 2 ]
í Pnqn 1 2 P n qn
n=1 ( n=1 I n=1

43
 •

obtenemos
N

(SN) 2 = (an) 2 + (R n)2 (N = 1,2,..)

112] fi
]
n=1 n=1

N
(an)2 ((3n)2 I.
f1 I {
n=1
n2
n=1

N N
1
Es claro que las series (a/02 y (13n)2 están
Z
2
n
n=1 n=1 n=1
acotadas.
Por otro lado, haciendo tender N a infinito tenemos que

n=1

y por la desigualdad de Bessel que nos dice

ao
+ L (ao) 2 + (bn) 2 ) = 11 f II 2 V f E L2
n( 2
n=1

(esta desigualdad será demostrada en el capítulo III) se tiene

que
co

(ao) 2 + (Rn)2 = 2 J Ir(x)1 2 dx < w

LL -n
n=1 n=1

y además son No decrecientes, lo que implica que (SN) 2 converge,

por lo tanto SN converge, es decir la serie
ro

2
/(an) 2 + (bn)
n=1

converge. 01

44
 TEOREMA 2.1: Supongamos que f es continua en el intervalo
[-n,n], donde f(-n) = f(n), y que su derivada es continua por
partes sobre (-n,n). Entonces la serie de Fourier de f(x)

1
ao + (an Cos nx + bn Sen nx) (13)
2
n=1

converge absoluta y uniformemente a f(x) en [-n,n].

Demostración: Sea f periódica con período 2n, lo cual no

altera la hipótesis del teorema, entonces por el Teorema 1.4, la
serie (13) converge a f(x), en todo el intervalo [-n,n].
Observemos entonces que I an 1
y
I bn 1, son menores o

iguales que 3(an) 2 + (bn) 2 ,

! an Cos nx + bn Sen nx I s I an Cos nx I + I bn Sen nx

Y.1

I bn I

s 2 1/1(an) 2 + (bn)2

por el criterio M de Weierstrass [6] pág. 34 y el Lema 2.1, la

serie

(an Cos nx + bn Sen nx)

n=1

converge absoluta y uniformemente en [-n,n].

Por lo tanto la serie (13) converge absoluta y uniformente.

45


2.2 CONVERGENCIA DE LAS SUMAS DE FEJER.

DEFINICION 2.1: Sea So(x), Si(x), Sn-1(X) las sumas

parciales de la serie de Fourier de f. Llamaremos a

So(X) Si(x) ... Sn-1(x)

ava(x) = (14)
n

sumas de Féjer de la función f.

Otra forma de representar o'n(x) se obtiene de la siguiente
manera:
Sustituyendo iv) del Teorema 1.1 y (3) en (14) tenemos:

I. {n1
1 Sen(k + 1/2)(t-x)
Cn(X) f(t) dt. (15)
2nn Sen (1/2)(t - x)
-N k=0

Co mo

n-1 2
Sen nu
Sen(2k + 1) u =
k=0
Sen u

sustituyendo (16) en (15), obtenemos

n2 [ t x )
Se n
1
Tn(X) =
2un
1-n Ir Sen
2( t - x )
2
En la expresión
2 11 ( t X)
Sen
2
1
Hn( t - x )
2ffn
2( t - x
Sen
2

hagamos z = t - x , entonces, podemos escribir (17) en la forma .

o'n(x) = f -n f( x + z ) Hn(z) dz.

46
 NICION 2.2: Sea n E N y z E R, definimos la función

Sen nf-
2
1
Hn(z) - 2nn
Sen(-31
2 12
1 cual llamaremos Núcleo de Féjer.
Esta función cumple con las siguientes propiedades:
Hn(z) O

f Hn(z) dz = 1

Para todo S E (0,n) fijo , y n w, tenemos

-S
IHn(z) dz =
-u fa Hn(z) dz = n (S) — 4 0.

La primera de estas propiedades es obvia.

Para verificar la segunda propiedad, procederemos de la
siguiente manera.
Pueto que

an(x) = f( x + z ) Hn(z) dz,

rz

y tomando f(x) = 1, se tiene,

0'n(X) = I Hn(z) dz.

-n

Calculando los coeficientes de Fourier de f(x) = 1, obtenemos que

ao = 2, an = bn = O, sustituyendo estos coeficientes en (14),
tenemos que an(x) = 1.

Por lo tanto
f-n Hn(z) dz = 1.

Para demostrar la tercera propiedad seguimos el siguiente

procedimiento

47
 z 2r
Sea cr > O tal que I Sen u para 8 <Izi< n
2 I
entonces,

2
1
Sen 4-2 2 Sen n - -)
21 2 1 2
c
2
Sen(-3--) ( 2T )2 2:
2 ( 2: ]

por lo tanto

Sen 2
8 2
1
Hn(z) dz = dz
n 2nn
Sen(j2

-8 2
1
2nn ( 2r dz
-n u )

2
dz =
n r-a dz
= I 8nr 2
8nr -n

2
8ncr

Por lo tanto n (a) —4 O.

n
Análogamente se puede ver que la integral

Hn(z) dz --4 O cuando n --4 w.

a

48
 TEOREMA 2.2: Si f es una función continua con período 2n, la
ucesión { •n } de sumas de Féjer converge a f uniformemente en
oda la recta númerica (R).

Demostración: Como f es continua y periódica, entonces, f es

cotada y uniformemente continua, es decir; existe M tal que

f(x) I = M y x

y además, para todo e > O, existe 8 > O tal que,

f(x2) - f(xi) I s e si I X2 - xi I < a.

Para demostrar el teorema hay que ver que Wn converge a f.

f(x) - i •/1(x) = f(x) - I f( x + z ) 16(2) dz

-n

= I f(x) - f( x + z ) 7 Hn(z) dz (19)

Descomponiendo la integral en la ecuación (19) queda:

-3
f(x) - f( x + z Hn(z) dz + Jf(x) - f( x + z Hn(z) dz
11 -S

u
+ f [f(x) - f( Hn(z) dz

y utilizando la propiedad 3, podemos observar que

3
[f(x) - f( x + z ) 1 Hn(z) dz1 5
n

49
 hit/ - 3 TI
=f -a
If(x) - f( x + z )IIHn(z)I dz =

BIBLIOTECA
s 2m f 6

n
1 Hn(z) 1 dz = 2M n (a),
n
DE CIENCIAS EXACTAS
Y NATURALES
DL MIS RUIZ
n11 GRAMILLA
similarmente podemos observar que

1 6
rf(x) - f( x + z Hn(z) dz s 2M n
n (6).
a
.
f [f (x) - f( x+ z )
6
1 Hn(Z) dZ1

6
= If(x) - f( x + z ) 1 Hn(z) dz s
-8

a
L a Hn(z) dz < E
esto último por las propiedades (1) y (2) del Núcleo de Féjer.
Con esto tenemos, entonces, que

f. If(x) - f( x + z ) 1 Hn(z) dz < 4M n (8) +

2

Si tomamos no tal que n = no y 6 dado se cumple que

E
4M n (a) <
n 2

de donde

f(x) - f( x + z ) 1 Hn(z) dz < e

J

por lo tanto
f(x) - wn(x) I < e
lo que implica que en converge a f cuando n tiende a infinito.
 CAPITULO TRES.
CONVERGENCIA EN L2.

En eeste capítulo demostraremos algunos resultados importantes

acerca de la convergencia de la serie de Fourier en el caso general
de un espacio euclideano cualquiera V y estos mismos los retomare--
MOS para el caso particular del espacio Lz(Ia,b)) (De aquí en
adelante denotaremos Lz(fa,b)) como Lz).

3.1 ANÁLISIS DE FOURIER EN LOS ESPACIOS L2.

En el Apéndice 7 se definen algunos conceptos de los espacios

euclideanos

DEFINICION 3.1: Sea V un espacio euclideano, 01 , 02 , ...,

una base ortonormal en V y sea f E V. A los números Ck = < f,0 k>,
k = 1,2 3 se les llama los COEFICIENTES DE FOURIER de f
respecto al sistema { Ok } y a la serie:

E ckok, (20)
k=1

se le llama la SERIE DE FOURIER de f respecto a Ok Y.

ro
OBSERVACION 5.1: Entendemos por como el elemento en V que
k=1

es límite ( en la ' norma de V ) de las sumas parciales:

C 0 . ( 21)
k k
k=1

El primer resultado que analizaremos es:

3.1.1 DESIGUALDAD DE BESSEL.

TEOREMA 3.1: Sea ( V, < > ) un espacio euclideano, Ok

conkENun sistema ortonormal, yfEV, entonces:

51
 SI 2 -
C S f
k
I2
k=1

a la cual se le llama DESIGUALDAD DE BESSEL.

Demostración:
Para n fijo escogeremos los coeficientes a arbitrarios
( k = 1,2 , n ) y consideremos la distancia entre f y la suma

Sn = E kk
0 . (22)
k=1

Entonces

-SnII2 =<f -Sn, f -Sn>=<f -

Ect O , f fni` a O >
k k
k=1 k k k=1

= < f, f > - 2< f, Zao

k k
> + <Zalá,
kk
k=1 k=1 k=1

n n
2
= II f 11 2 - 2 Ea< f, O
k
> + Ea <0k,0
k>
k=/ k=1

= f II 2 2 E k c k Lak
2
k=1 k=1

= f 11 2 - C1, + (a C k )2. •
k
k=/ k=/

Esta expresión alcanza su mínimo cuando el último sumando es

igual a cero, es decir, a = C para k = 1,2,...,n.
k k
En este caso:

II f -Sn112= 11f1IZ - EC2k (23)
k=1

y Sn representa la suma parcial de la serie de Fourier de f.

52
 Por lo tanto, entre todas las funciones de la forma (22) para
n fijo, la de menor distancia de f es la suma parcial de la serie
de Fourier de f.
Puesto que: H f - Sn 112 a: O, entonces,

II f 112 - = IIf-Sn11 2 It O, de aquí que fifH 2 =ZC2Vnéll

^Ck
k=1 k=1

haciendo n tender a infinito, como el lado izquierdo no depende de

n, tenemos que:

1)3

IIf 112 E C2 (24)

k=1

Como segundo resultado, tenemos:

3.1.2 IDENTIDAD DE PARSEVAL.

DEFINICION 3.2: Sea { 0 un sistema ortonormal, decimos que

' k } kEN
{ Ok } es completo en V espacio euclideano, si V es el mínimo
subespacio cerrado que contiene a { O k }, es decir, toda función en
V puede aproximarse con combinaciones lineales finitas de elementos
en { Ok }'
DEFINICION 3.3: Un sistema ortonormal { 0 } se llama cerrado
cuando para cualquier f E V se cumple la igualdad

2
L C = II f it2 (25)
k
k=1

llamada IGUALDAD DE PARSEVAL.

Recordemos que un espacio métrico X se dice separable si

contiene un subconjunto denso numerable Y, es decir, Y = X.

TEOREMA 3.2: Sea ( V, < , > ) un espacio euclideano separable.

El sistema ortonormal { O k } donde k E fi , es completo, si y solo
si, es cerrado.

v.
53


Demostración: ( a ) Si { Ok } es cerrado, entonces, por la

igualdad (23), para toda f E V las sumas parciales de la serie de

Fourier E k
0
k
converge a f, es decir, cualquier f E V se puede
k=1
aproximar mediante combinaciones lineales de { 0 k } lo cual implica
que { Ok Y es un sistema completo (definición 3.2).
( 4 ) Sea { 0 k } completo, dado e > O, existe { a }, k E N tal
que

11 f 11 <
k •
k=1

Por la igualdad (23) tenemos que

II f112 - C2 = IIf - y Ck O 11 2
k
SlIf - ^ ak0k ¡12<E.
k=1 k=1 k=1

Tomando límite cuando n tiende al infinito se tiene que

2 2
II f 112 - E C = O, es decir, II f 112 = C por lo tanto < 0 k } es
k=1 k=1

cerrado.

PROPOSICION 3.1: En un espacio euclideano separable V, todo siste-

ma ortogonal es a lo mas numerable.
Demostración: Sin pérdida de generalidad, supongamos que

ok, es ortonormal ( de otra forma se sustituye por

i°1kbk 11

{ 1 si a =
es decir, II O k112 = < Oa, > =
O si a R •

Tomemos:

11 Oct - OR 11 2 = < Oa - OR , 95a - OR

54
 = < 0, 0. > - 2< 0. , 01 > + < OR . Op>

= H 0 a 11 2 - 2< 0. , 0 + 11 01 112

= 1 - 2(0) + 1

H 0 a - Om H = / 2 si a * R.

Consideremos el conjunto de bolas B(Oa , 1/2 ). Estas bolas no

se intersectan, dado que las distancias entre dos elementos del

sistema es igual a 11/ 2

Como el espacio V es separable, contiene un conjunto { X Y

denso numerable en V.
En cada B( 0 , 1/2 ), hay al menos un X , por lo tanto el
a
conjunto B( O ,1/2 ) es numerable, es decir, el sistema
a
{ es a lo más numerable.
a} m

De la desigualdad de Bessel, se deduce que para que los núme-

ros Cl, C2 Cn representen los coeficientes de Fourier de
f E V, respecto a un sistema ortonormal O }, una condición
necesaria es que:

E c: <
k=1

Veremos en el siguiente teorema que esta condición también es

suficiente.

55
 3.1.3 TEOREMA DE RIES2-FISCHER.

TEOREMA 3.3 ( RIESZ - FISCHER ): Sea { 0n } un sistema

ortonormal arbitrario en un espacio euclideano completo w V y sean
los números Ct, C2 Cn tales que la serie
E C 2 < w,
n=1
entonces existe f E V tal que:
C k = < f, O K >

03
BIBLIOTECA
c: = H f IP. DE CIENCIAS EXACTAS
k=1 e:íJ
Y NATURALES
DE AtiN 1:11~
41 GRANDEZA

Demostración: Sea fn = C E k
, entonces:
k=/
211
n+r n+r
Ec
H fn+r — fn 112 - Hk=1 k m k k k
k=i
c 0 112 = H E Ck 0
k
112
k=n+1

n+r n+r
E 11 C
k ok H2 = E C
2
H o k H2
k=n+1 k=n+1

n+r
E C2 puesto que H 0 . H = 1.
k=n+1k

Como C2 < Go se tiene que { fn } es de Cauchy en y.

k=1

Por lo tanto converge a un f en V.

Además podemos representar < f, 0 1 > = < fn, 0 1 > + < f-fn, Oi
para toda n E N, como

< fn, 0 > = < E ck 0k , =< E Ck < 0k , 01 > = Ci

k=1 k=1

entonces < f, 01 > = C i + < f - fn, 0 1 >.

Por la desigualdad de Cauchy-Buniakowsky tenemos que:

56


- ffl, 0 1 >1 sHf- fn HM 0 1 H-Hf- fn II

COMO fn f iif —fnii

n 4 mi

por lo tanto < f, 0 , > = Ci.

Por otro lado

Hf- fn H 2 = <f-EC
k 0k
,f - EC k 0 k >
k=1 k=1

n
= < f, f > — 2 < f, FC 0 > + < rF C 0, 1 C 0>
k k k k k k
k=/ k=1 k=1

= 11 f 11 2 - 2 E C< f, 0 > + C2 < 0 , 0 >

k k k
k=/ k=1

= II f 11 2 —2 Ee 2 +E e2
k=1 k=1

n
= I I ,f H 2 - C:
k=1

COMO

f — fn = f 112— C2
n w
>0
k=i

entonces

11 f 11 2 =
k=1

57


PROPOSICION 3.2: El espacio L2(a,b] es separable.

Demostración: Para demostrar que L2 es separable debemos
encontrar un subconjunto de L2 numerable denso.
Sea D = Q[x], el conjunto de los polinomios en la
indeterminada x, con coeficientes en los racionales, entonces D es
denso y numerable.
La densidad es consecuencia del Teorema de Weierstrass y la
densidad de las funciones continuas en L2[a,b] (4] pág. 318 además
del hecho de que es posible apróximar uniformemente un
polinomio en los R[x] por elementos de D.

T. Weierstrass Densas
D --> 11(x] > Cía,b1 > L21a,b1

Por último analizaremos la convergencia de las sumas parciales

de un elemento de V a él mismo, el cuál lo enunciamos de la
siguiente forma:

3.1.4 TEOREMA DE CONVERGENCIA.

TEOREMA 3.4: Si ( V, < , > ) es un espacio separable, y Y

con k E fi es un sistema ortonormal completo, entonces, para toda

f e V las sumas parciales:

Sn = < f, 9k > 9k
k=/

convergen a f , es decir, H f Sn H
n
____4 > O.
w

Demostración:

II f - H2 = < f - < f, 9
k
> 9
k
, f - E < f, 9 >9 >
k k
k=1 k=1

58


=<f, f>-2<f — E< f,p > 9 >+

k=1

+< < f 99 >99 < f, ry >9>

k=1 k k . k k
k=1

Hf Ir - 2 E < f, 9 >2 + E f, 9 >2 < 9 , 9 >

k k
k=1 k=1

> 2 < 9 >2

= Ilf il 2 — 2 E< f, pk
k=1 k=1

n
2
=Hf IP - < f, 9 > .
k=1

Por la igualdad de Parseval, tomando lím en ambos lados se

n4m
obtiene:

II f - sn H 2 = lím[Il f lit - y < f, >2 I

n4W k=1 9k

=Hf 112 - < f w >2

'
k=1

3.1.5 TRANSFORMACION DE LOS RESULTADOS

ANTERIORES AL CASO PARTICULAR DE L2.

Si en los resultados enunciados anteriormente tomamos el

espacio ( V, < , > ), como el espacio L2([0,2n]) de funciones de
cuadrado integrable con la norma establecida en este espacio, estos
resultados quedan enunciados de la siguiente forma:

59
 1).- DESIGUALDAD DE BESSEL.
Para toda f E 12([0,2n]) se tiene:

03
Hf Ha ?„ u ( ao
+ an
2
+ bn2
2
n=1
BIBLIOTECA
donde: DE CIENCIAS EXACTAS
Y NATURALES
Jtk DI.
MIS BINE
W GRANDEZA
< f, 1>
ao =

< f, Cos nx > < f, Cos nx >

an bn =
II Cos nx 1I 2
2
H Sen nx H2
IDENTIDAD DE PARSEVAL.
Para toda f E 1.2([0,27d) se cumple:

( ao
II f 112 2 + E
an2 +
n=1

TEOREMA DE RIESZ-FISCHER.( 1_2([0,27d) es un espacio

normado completo [8] Cap 6).
Para toda f E L2([0,27(]) se cumple :

03
2
II f 112 = ao
2
Ean + bn
2
1.
n=1

4).- TEOREMA 3.4.

Para toda f E 1_2([0,211]) las sumas parciales

1
Sk = ao + an Cos nx + bn Sen nx
2
n=1

convergen a f, es decir:
f - sk II >0.
k --> CO

il

60
 El sistema trigonométrico básico es un sistema ortonormal
completo.
La ortonormalidad se sigue del Apéndice 2. Para ver que el
sistema es completo, primero podemos observar por el Teorema de
Féjer (Teorema 2.3) que toda función continua , puede aproximarse
uniformemente (y en L2) con polinomios trigonométricos, y por la
densidad del conjunto de las funciones continuas en L2, tenemos que
toda función en L2 se puede aproximar con funciones continuas, por
lo tanto toda función en L2 se puede aproximar con polinomios
trigonométricos, lo cual hace que el sistema sea completo.

61
 CAPITULO CUATRO.
FUNCIONES CONTINUAS CON SERIE DE FOURIER DIVERGENTE.

En este capítulo demostraremos que existe un conjunto de

funciones continuas cuya serie de Fourier es divergente. Asimismo
probaremos que dicho conjunto tiene por lo menos la cardinalidad
de los números reales.

4.1 EXISTENCIA DE FUNCIONES CONTINUAS

CUYA SERIE DE FOURIER DIVERGE.

DEFINICION 4.1: Si f: X Y es una función que mapea al espacio

lineal X en el espacio lineal Y, entonces, se dice que F es una
transformación lineal si:
f(x + y) = f(x) + f(y) x,y E X.
f(ax) =af(x) y xeXyae R.

Sea F el espacio de las transformaciones lineales acotadas,

f: X-4Y donde X y Y son espacios lineales normados.
DEFINICION 4.2: f es una transformación lineal acotada si

II f(x) II
Sup < co
XEX II x

DEFINICION 4.3: Sea f E F la NORMA de f es:

{ II f(x) II
H f = Sup : xeXyx#0. (26)
H x H JJ
donde
II f(x) II es una norma definida en Y.
II x II es una norma definida en X.

Verifiquemos que II II es una norma, es decir, veremos que

cumple con las siguientes condiciones:

i).-HfUk0 y UfH=Osiysolo sif= 0.

62
 ii).- II fi + f2 II 5 II fi II + II f2 II para toda fi,f2 E F.
II af II =1a111fH para toda a E R.

Se puede observar que la condición i) es obvia por la

definición de H f

H (fi + f2)(x) H }
ii).- 11 fi + f2 H = sup {
II x II

II fi(x) + f2(x) II }
= Sup {

II fi(x) II + II f2(x) II
s Sup
x II

{ II fi(x) 11} { 11 f2(x) II

s Sup + Sup
11x II 11x 11

= II fi II + II f2 II.

Por lo tanto 11 fi + f2 II 5 II fi II + II f2 II.

II af(x)II
iii).11 af H = sup{
II x II

f(x)H 1
Sup
H x II f

II f(x)H
la' Sup
II x H

63


BIBLIOTECA
Por lo tanto II II es una norma. DE CIENCIAS EXACTAS
Y NATURALES
..?.AKIWZA

OBSERVACIONES:

4.1: Hfll = Sup {11f(x) 1iparaxEXynx11= 1}yademás

II f(ax) II = II af (x) II = f (x) II.

Nótese que (26) y la observación 4.1 son equivalentes, ya que

II f(x)
11 x II

4.2: Por definición, II f II es el número más pequeglo que

satisface:

H f(x)U s HfUnx11 para todaxE X.

4.3: Toda f E F mapea una bola unitaria cerrada en X en una

bola cerrada en Y, con centro en O y radio II f II , es decir,

{x EX: 11X1151'} > f(X) E Y : 11 f(x) 11 s II f 11 }

puesto que:

II f(x) II
Ti f(x) II H fi! porque II x H 5 1.
H x II

4.4: Se le llama Funcional a una transformación f:X -4 R.

A continuación se demostrarán algunos resultados en los
cuales nos apoyaremos para demostrar la existencia de funciones
continuas cuya serie de Fourier diverge.

64
 TEOREMA - 4.1: Para una transformación lineal f de un espacio
lineal normado X en un espacio lineal normado Y, cada una de las
siguientes tres condiciones implican las otras dos.
1).- f es acotada.
2).-f es continua.
3).- f es continua en un punto.

Demostración: Se demostrará siguiendo el procedimiento:

1) == 2) =~ 3) ==4 1).
1) -~ 2), es decir, II f II < w f es continua.
Por demostrar que dado e > 0, 3 8 > O tal que II xl - x2 11 < 8
implica que H f(xl) - f(x2) H < e.
H f(xl) - f(x2) II = H f(xl - x2) H porque f es una transforma-
ción lineal.
x2Hpor obs. 4.2).
< II f 11 a
< M8 donde H f H < M.

E
< c si 8 =
M

Por lo tanto f es continua.

2) ==4 3) obvia.
c).- 3) =4 1), es decir, f continua en un punto de X ---4 f
acotada.
Sea f continua en xo E X, entonces, dado e > 0 3 8 > O tal
que:
II x - xo H < a II f(x) - f(xo) II < e.

II f(x) - f(x0) II = II f(x-xo) II

2 (x-xo) II
f
H x-xo H 11

2e
puesto que

65
 (x - xo)
I 11 < 6
11 x-xo I I

Por lo tanto II f 11 < 2e , es decir, II f II es acotada.

a

DEFINICION 4.4: Un conjunto A en un espacio métrico se llama

Abierto si todos sus puntos son interiores, es decir, para cada
x E A , existe una vecindad B(x) totalmente contenida en A.

TEOREMA 4.2 (TEOREMA DE BAIRE): Si X es un espacio métrico

completo, la intersección de cada colección numerable de sub-
conjuntos abiertos densos en X es densa en X.
En particular, la intersección es no vacía (excepto si X = 0)

Demostración:
Supongamos que V1,V2 son densos y abiertos en X.
Sea W cualquier abierto en X, probaremos que
n Vn es densa en
n =1
X, es decir, n Vn tiene al menos un punto que pertenece a W, Si
n=1
W x 0.

[Link]> O, sea B(a,r) = { b E X : d(a,b) <r con

d la métrica de X y B(a,r) su cerradura.

Procederemos inductivamente. Como VI es denso y abierto y W

es un abierto, entonces, Wat es un conjunto abierto y no vacío,
es decir, todos sus puntos son interiores, esto significa que
podemos encontrar, al e WnVi y ri talque :
Bl(al,r1) c WnVi y O < r/ < 1.
Tomemos V2nB1, podemos encontrar a2 E V2r1B1 y r2 talque:
, 1
ona2,r2) c VanBI y 0 < r2 <
2
Si n > 2, sean an e VnnBn-/ y rn escogidos tales que:

Bn(an,rn) c VnnBn-1 y O < rn < 1

lo cuál es posible por la densidad de los Vn.

66
 Probaremos que (an} es de Cauchy, es decir: Para c > O,
3N tal que d(ai,aj) <csii>Nyj> N.
Sii>nyj> n, por construcción al y aj caen en Bn(an,rn),
así que d(at,ai) < 2 rn < 2 , por lo tanto:
d(ai,aj) < E si n > N donde N = 2
E
Por lo tanto {an} es una sucesión de Cauchy.
Esto nos permite afirmar que existe un x E X tal que:
lím an = x.
n-)03

Como al cae en Bn(an,rn), si i > n entonces, x cae

Bn(an,rn) por lo que x E B/ y además x E VnnBn -1,

X E Vn para toda n, entonces, x E V1, es decir, x E WnVí.

Por lo tanto x E W, esto significa que n lyn es densa en X.

n

COROLARIO 4.1: En un espacio métrico completo, la intersec-

ción de cualquier colección numerable de GS's (ver Apéndice (4))
densos es otra vez un G denso.
5

n n
Demostración: Sea Gn = no denso, donde O es abierto para
k=1 k
toda k,n con n = 1,2,3,...
Por demostrar que n Gn es denso y G 6 . Como cada Gn es denso,
n
n
esto implica que O es denso para toda k,n, entonces, por el Teorema
de Baire se tiene que:
n Gn es densa en X y como :
n=1

w w n
n Gn = n n , entonces, es un G a . n
n1 n= 1 k = 1 Ok

TEOREMA 4.3 (DE BANACH-STEINHAUS): Sea X un espacio de Banach

y Y un espacio lineal normado y una colección de

{ fa }
aEA
transformaciones lineales acotadas de X en Y. Entonces, existe un
M < w tal que :
H fa H M para toda a E A

Sup II fa(x) II = w para toda x en algún conjunto

denso G en X.
8

67
 Demostración: Sea H(x) = Sup H fa(x) II, por el teorema 4.1 2)
aEA

se tiene que cada fa es continua, y la función NORMA es continua

(ver Apéndice (5)), el mapeo x --4 H fa(x) II es continuo, por lo
tanto los conjuntos de la forma:

Vn = { x E X : H(x) >n con n=1,2,3,... son abiertos, ya que:

}
Vn = {xEX: SupHfa(x)H>n}=t+EX: II fa(x)H> n}.
aEA aEA
Consideremos los siguientes dos casos:

Si los Vn son todos densos en X, entonces, por el

Teorema de Baire, n Vn es densa en X, y además es un conjunto G
n1 6
en X y por construcción de,los Vn se sigue que H(x) = w, para cada
X E n Vn.
n=1
Si uno de los conjuntos Vn no es denso en X, supongamos
que V N es éste conjunto, entonces, existe un xo en X y r > O
tal que II x II < r implica que xo+x V N, es decir H(xo) 5 N y
H(xo+x) 5 N, ó escrito de otra manera:
H fa(x0)H 5 NyHfa(xo+x)H5Npara toda a E A y para toda x
con norma menor o igual que r.
Como x = (xo+x) - xo, entonces:
H fa(x) II = H fa[(x0+x) - xo] 11

= it fa(xo+x) - fa(xo) H
= H fa(xo+x) H + H fa(xo) H

5 N + N
= 2N.
H fa(x) II = 2N para toda x, talque H x H <

II II 1-1
Como
r II
II x H l H x II 2
4N

Dado que I I x
r < r.
H x 11 2

68


4N
Por lo tanto II fa s r , es decir, H fa II s m, para toda
aEAyM- 4Nr.
n

4.2 SERIE DE FOURIER DE FUNCIONES CONTINUAS.

Tomemos el conjunto de las funciones continuas en [-n,n)

(CE-u,n)), con la norma del supremo, es decir,

H g H = Sup g(x) H : x E L-n,n) }.

Denotemos a Sn(x) como Sn(g,x), la n-ésima suma parcial de

g(x), por el Teorema 1.2 se tiene que:

1
S n(g, x ) = g (t-l x) Dn(t) dt.
Tr
-n BIBLIOTECA
DE CIENCIAS EXACTAS
Si x = O se tiene: Y NATURALES
Hi SAlE/1 DE MIS HIJO&
HALA In GRANMA
1 in
Sn(g,0) ) = g(t) Dn(t) dt.
-n
Definamos fn(g) = Sn(g,0), entonces,

1
wigg(t) Dn(t) dt
fn(g) I
-7I

II g II 11 g 11

"II g(t) II I Dn(t) I

dt
Hg H

1j n
I Dn(t) I dt.
-n

Por lo tanto II fn II s —
1 Dn(t) dt = II Dn
1
(27)

Se probarán dos cosas:

69
 H Dn 11 ---4 , cuando n ---4 w.
1
En (27) se cumple la igualdad.

Demostración: Para demostrar 1) se utilizará iv) del

Teorema 1.1 y la desigualdad ISentisit I.

I Sen (n + —
1 )t I
1 1 2
Dn(t) I dt = dt
fi-a r i n
lin
n 2 I Sen ( —1 t) I

71. I Sen (n + 21 )t 1
1 1
> dt
n
I t 1 2
-V

1
Sen (n + )t
2
> no dt
t

(n + ) n
2 Sen t
1
dt
t
/ 0

I Sen t I
1
dt
I : t

kir
Sen t
U
dt
t
k=1 (k-1)W

I Sen
dt
R E
EL k7( t
k=1J kk-1)ff
I

70
 n kit
. 1 1
kW
I Sen t I dt
k=1

2 1
m.
2
ir n
k=1

Por lo tanto H Dn H 1 ---4 w.

Para demostrar 2), definimos g(t) en [-n,n] como:

g(t) 1 si Dn(t) = O
para n fijo.
-1 si Dn(t) < 0

Existe una sucesión Rj } en C[-n,w], tal que -1 s Rj s 1 y

Rj(t) > g(t) para cada t.

j

Utilizando el Teorema de Convergencia Dominada [8] pág.88.

/ R
l iá fn(Rj) = lim s
_Hm U
f Rj(t) Dn(t)dt =
-U

1
11m Rj(t) Dn(t)dt
f j4co

1
g(t) Dn(t)dt
-n

= H Dn H1

puesto que g(t) Dn(t) = I Dn(t) I, por lo tanto:

lim fn(Rj) =
J4co
II Dn H 1.
Es decir,

71
 f CR.1) - II Dn I
j --4
o

I II Dn I I 1 - I
fn (11.1) s I fn (Rj) - II Dn II l I
< e, es

decir,

II Dn H 5 I fn(Rj) I + e, con j = 1,2,...

Como II FU II = 1 entonces:
BIBLIOTECA
DE CIENCIAS EXACTAS
Y NATURALES
u( MIS
H Dn H 5 Sup I fn(h) I +e
1
II h II = 1

II Dn II s II fnII + e

II Dn II s II f. II. (27)

Por (27) y (28) se tiene que:

II fn II = II Dn I I

1) y 2) implica II fn H W--)00
03 .

Utilizando el Teorema de Banach- Steinhaus se tiene que:

Sup I Sn(g,0) I =

para toda g E denso en C[-n,n), es decir, la serie de Fourier

de toda función en el conjunto G8 diverge en el punto x = O.
El punto x = O se tomó por conveniencia, pero el mismo
resultado se tiene para cualquier punto x, es decir:
Para cada x E f-w,al, 3 un conjunto Ex c C(-u,n), tal que:

Sup I Sn(g,x) I= w para toda g E Ex. (2 9 )

Por lo anterior se puede observar que existe una gran

cantidad " de funciones continuas cuya serie de Fourier diverge en
un punto.

72
 •
Este resultado se puede extender de la siguiente manera:

Sea { xi una sucesión de números reales y sea El los

}W
1=1
correspondientes conjuntos densos Ga , s en C[-E,tr].

Sea E n El , entonces, por el corolario del Teorema de

=
t=i
Baire, E es un conjunto denso y Ga en C[-LIT], por (30), se tiene:

Sup So(g,x1) I = w, para toda g E E, i = 1,2,...

es decir, la serie de Fourier de toda función en E diverge en los

puntos { xi }.
Nota: Los puntos X1's pueden ser un conjunto denso en R, por
ejemplo los racionales
Una pregunta que surge al observar este resultado, es el
saber, " (cuántas funciones existen en el conjunto E?. "
El siguiente teorema nos permite dar respuesta a esta
pregunta.

TEOREMA 4.4: En un espacio métrico completo X, sin puntos

aislados ningún conjunto denso numerables es Ga.

Demostración: Sea E = { xi,x2,...} un conjunto denso y

numerable en X, supongamos que E es G8' entonces, E = n Vn donde
n 1
cada Vn es denso y abierto.

Sea Wn = Vn - U {xk}, entonces, cada Wn es denso y abierto,

k= 1
por lo tanto:

w m ,” n ,
n Wn = n (Vn - 1Xkl
n=1 n=1 k1

n Wn = n Vn - E
n=1 n=1

n Wn = n Vn - n Vn = 0
n=1 n=1 n=1

por el Teorema de Baire, n Wn tendría que ser denso, es decir,

n=1
n Wn * 0, esto nos lleva a una contradicción, por lo
n=1
tanto, E no puede ser G 8 . •

73
 Por lo tanto la cardinalidad del conjunto de funciones
continuas cuya serie de Fourier diverge es cuando menos el
continuo, ya que entre la cardinalidad de los conjuntos numerables
(Mo) y el conjunto O (C), no existe otra .

74
 APENDICE 1.
DETERMINACION DE LOS COEFICIENTES DE FOURIER
DE ALGUNAS FUNCIONES

Encontraremos los coeficientes de Fourier de algunas funcio-

nes.

EJEMPLO 1.1:Sea f periódica con periodo 2n, definida en (-TEM por

f(x) = x . Calcular sus coeficientes de Fourier.

2
1 1
f
ao =
-n
x dx =
[ 2X I;
BIBLIOTECA
DE CIENCIAS EXACTAS
Y NATURALES
Ft SABER DE MIS RIMA
MARA MI GRANDEZA

= O.

1
an = fx Cos nx dx = O
-n

puesto que f(x) es impar y Cos nx es par, su producto es una fun-

ción impar por tanto su integral es igual a cero.

1
bn =
II
f x Sen nx dx
-n

e integrando por partes obtenemos que:

1
/ n fn 1
bn Cos nx Cos nx dx]
-TI -77

1
Cos nx + Sen nxj!
2
n

1
Cos nn +-1- Sen nn Cos (-nn)
n

75
 1 Sen (-nir) I
n

2n
Cos nn + -- Sen nn
n

= 1 r 2n
Cos nn
n I n

= - 2
cos nn
n

= - 2 ( -1 )n.
n

Por lo tanto la serie de Fourier de la función f es:

(-1)n
- 2 Sen nx.
n=1

EJEMPLO 1.2: Sea f de período 2n definida en (-Lid por

f(x) = x 2 . Calcular su serie de Fourier.
Encontraremos primero sus coeficientes de Fourier.

3 1 II 2
1 1 2 n
ao =• f x 2 dx =
3 3
-1/

1
an = X2 COS nx dx , e integrando por partes obtenemos:
-n
X2 2
an =
n
Sen nx f x Sen nx dx
1 -n -u

an =
1 x2 Sen nx -
2 ( _ x
Cos nx +
1
Sen nx )
2 11
n. -ff
4.

•
2
1 r (n) 2 n 23
an - Sen nn + Cos nn - Sen nu
n 2
r _n1 2 2 n 2
- Sen (-nn) + Cos (-nu) + Sen (-nn)]
n 2 3
n n

76
 1 { 4 TI
an = Cos n'a]
2

4
an = Cos nn.
n
y
1 2
bn = x Sen nx dx, integrando por partes:
-n
2 y
1 X
bn = Cos nx + 2 1 x Cos nx dx ]
n [- - n n
-n
2 n
1 2 1
--- Cos nx + --- . 1
bn = --- [ - x x sen nx + Cos nx ) ii -n
n n n n 2
n
2
1 [ (-n) 2 n 2
bn = Cos (nn) + Sen nn + Cos nn
n n 2 3
n n
2
Cos (-nn) + 2 n Sen (-nn) - 2 Cos (-ny)
2 3
n n

bn = —
1 (O)

bn = O.

Por lo tanto la serie de Fourier de la función f es:

2 w
f(x) x K
3
+ 4 E_=_2 Cos(nn) Cos nx
n=1 n

2
f(x) 5k1 + 4 E
m(-1)n
Cos nx .
3 2
n=1 ' n

77
 APENDICE 2.
ORTONORMALIDAD DEL SISTEMA TRIGONOMETRICO BÁSICO:

TEOREMA : (ORTOGONALIDAD DEL SISTEMA TRIGONOMETRICO BÁSICO.)

La integral sobre el intervalo -n = x n del producto
de cualquier pareja de funciones distintas del sistema
trigonométrico básico:

1, Cos x, Sen x, Cos 2x, Sen 2x, ...

{ } BIBLIOTECA
es cero, es decir: DE CIENCIAS EXACTAS
Y NATURALES
tutmWMAIS
1) . - Sen nx Cos mx dx = O
n = 1,2,3,...
m = 0,1,2,...
-“JohMWM

-n
{ sin = m = 1,2,3,...
Sen nx Sen mx dx =
O si n * in
-n

O si n M

Cos nx Cos mx dx n si n = m
J-n
2n si n = m =

Demostración:

Como el producto de Sen nx Cos mx resulta ser una

función impar su integral es igual a cero.
Sea m = n

2
ISen nx Sen mx dx = j Sen nx dx
-u -n

2 1
como Sen nx = ( 1 - Cos 2nx), entonces:
2

u u
2
Sen nx dx =
1
2
( 1 - Cos 2nx) dx =
1
2
(J dx - I Cos 2nx dx )
-u -n -n

78
 1
2n Sen 2nx )2 1 1
2n Set/6n + n +
-n

1
2n Sen 2nn =

11).- Si n = m, de la fórmula

1
Sen x Sen y = {Cos (x-y) - Cos (x+y)] se tiene que
2

J
-n
Sen nx Sen mx dx = f
-n
(
Cos(n - m)x - Cos(n + m)x) dx =

1
2
Cos(n - m)x dx - oI C s(n + m)x dx =
( -n -n

1
Sen (n - m)x - Sen (n + m)x
2(n, - m) 2(n 1 + m)
-n

2(n 1 - m)
Sen (n - m)n -
+ m)
Sen (n + m)n + --72
1
Sen (n - m)n Sen (n + m)n.
2(n l-- m) 2(n + m)

Como n y m son enteros (n - m) y (n + m) también lo son y

además como la función Sen kn =0 Nike7, obtenemos que

u
fSen nx Sen mx dx = O.
-n

79
 4.

iii).- Si n * m, de la fórmula
1
Cos x Cos y _- Cos (x + y) + Cos (x - y)]
2
se tiene que

fCos nx Cos mx dx = 1 Cos (n + m)x + Cos (n - m)x] dx =

-n -n

fCos (n + m)x dx + f Cos (n - m)x dx

1 (2 -n -n

1 1 1
2 n + m
Sen (n + m)x +
m
Sen (n - m)x )I K

1 1 1
Sen (n + m)n +n
2 n+ m - m Sen (n - m)n +

1 1
Sen (n + m)n +n m Sen (n - m)n) = 0
n + m -
porque Sen kn =O y lcc I.

Sea n = m = O

fCos nx Cos mx dx = f dx = 2n.

-n -n

Si n = m = 1,2,3 , aplicando la fórmula

Cos 2x = ( 1 + Cos 2x

obtenemos

f ( 1+
n n n
2 1
• , Cos nx Cos mx dx = Cos nx dx = Cos 2nx dx =
f
-n -1(
2
-n

y
1 1 1
( f dx + f Cos 2nx dx ) = + —- Sen 2nx) 1 =
2
-n -n
2 (x 2n
-w

80
 1 1 1
n + Sen 2nr + n + 21- Sen 2nr =
2

21(
2

APENDICE 3.
EJEMPLOS DE ALGUNAS FUNCIONES QUE SATISFACEN
LOS CRITERIOS DE CONVERGENCIA

EJEMPLO 1.3: Sea f(x) = x X e -n.n] y f(x+2n) = f(x),

entonces, su serie de Fourier es:

-2
Eñ
n=1
Cos nr Sen nx.

Ahora como f(x) es de variación acotada, ya que f es monótona,

entonces, satisface el criterio de Jordan. Por lo tanto:

03

l
m -2
n4W
E 1
n
Cos kr Sen kx =
1
2
f(x+) + f(x-) =
k=1

1 1
f(x) + f(x) I =
2 2 (x+x
1
2 (2x) = x.

es decir, la serie converge a la función, en otras palabras:

x = -2 1 Cos nn Sen nx.

n=1

81


1 si -u < x < 0
EJEMPLO 1.4: Sea f(x) = f(x+2n) = f(x)
si 0 < x < n
BIBLIOTECA
DE CIENCIAS EXACTAS
Y NATURALES
Calculemos su serie de Fourier: WR111.1nfi
-; nnIWZA

ao = f f(x) dx =
1
I o

-u
f(x) dx +
u
I f(x) dx =
o

1
-n
dx +f
J
O dx
o
=ñ (x)
-n
o
= 1.

an =
1
f
-E
rz
f(x) Cos nx dx =
1
J -n
o
Cos nx dx -
Sen nx
nn
-n
o
-O.

bn
1
rz
f f(x) Sen nx dx =
-u
1 f o

-n
Sen nx dx - Cos nx
nn
o

- Cos(0) Cos(-nu) -1 (-1)n

nn nn nn nn

entonces:

f(x) =
1
2
+
n=1
w
E -1
nn
(-1)n
nn
]
Sen nx.

Para n par, los términos de la serie son iguales a cero, y si

n es impar, entonces, los términos de la serie son iguales a
-2 Sen nx, por lo tanto, podemos reescribir:

82
 f(x) =
1 - 2 1 Sen(2n-1)x
2 u 2n-1
n=1

Como:

1 si -u < x < 0
f(x) =
O si 0 < x < u

es de variación acotada, puesto que, para cualquier t partición

k
de (-u,w1, tenemos:

N , si
E k
) - f(t k-1 )1 f ( tk) = f(tk_i)
n=1 si f(t k ) * f(tk-1)

Por lo tanto:

If(tk ) - f(t k-1 )1 5 1.

n=1

Es decir, cumple con el criterio de Jordan, entonces, la

serie converge a:

1
2 ( f(x+) + f(x-) J
igual a 2 si x= O y f(x) si x x 0.

ya que

1 Si X E [-X,0)

f(x+) =
Si X E (0,m)
 1 si X E [-n,0]

BIBLIOTECA
O si x E (0,711 DE CIENCIAS EXACTA,
v.ILMOEIWWW06
Y NATURALES
-1(AMIGRANIMA

2 si x E (-n,0)

f(x+) + f(x-) = O si x E (0,n)

1 si x = O

APENDICE 4.
CONJUNTOS G .
S'S

DEFINICION: Un conjunto es G a si es la intersección de una

colección numerable de conjuntos abiertos, es decir, A E Ga si
A = n Ok con Ok conjuntos abiertos.
k=1

APENDICE 5.
CONTINUIDAD DE LA FUNCION NORMA.

TEOREMA: La función IIII : X R es continua.

Demostración: por demostrar que dado e > O existe 8 > O

talque:
11 xi - x2 H < implica 1 H xi H - H x2 H < c.

I H xl H - I I x211 H x1 - x2 I I < e, si hacemos e= 8.

84


APENDICE 6.
DESIGUALDAD DE CAUCHY-BUNIAKOVSKI.

TEOREMA: Para todo x,y E V, se cumple:

I< x,y >1 <- lixlllly II.
Si y = O, ambos lados de la desigualdad son cero y no hay
nada que probar.
Si y * O, entonces la desigualdad equivale a probar:

o bien

l< x,y >I 5HxH siHyll=ipara todaxen V.

Ahora bien si

o 5 H x - < x,y >y H 2 = < x - < x,y >y,x - < x,y >y >
= < x,x > - 2 < x,< x, y >y > +
< < x,y >y,< x,y >y >
= < x,x > - 2 < x,y > < x,y > +
2
< x,y > < y,y >

= II x - 2 I < x,y > 12+

1 < x,y > 1211y ll

= 11 X H 2 - 1 < X,y > 12

por lo tanto

1 < X,y > 1 2 S x 112

entonces

< x,y > 5 II x II si II y II = 1.

85
 APENDICE 7. •
ESPACIOS EUCLIDEANOS4

DEFINICION 1: Un espacio EUCLIDEANO es un espacio lineal V, con

producto escalar, es decir, una función real < , >: VxV ---> R
que satisface las siguientes condiciones:
< X, X > k O, < X, X > = O .4 X =

< x, y > = < y, x >.

< 00c, y > = < x, y > para cada a E R.
< x, y + z > = < x, y > + < x, z >.

DEFINICION 2: En un espacio euclideano definimos la norma como:

Ilx H = 1/7 < x, x> V X E V. (A)

Para determinar si una función P : V --4 [Link] una Norma de un

espacio V debe de cumplir - las siguientes características:

P(x) a O, P(x) = o x = O.
P(x + y) s P(x) + P(y) x,y E V.
3).- P(ax) = lai P(x) para cualquier a

Comprobaremos que la función II II definida por (A) es una

norma, es decir, cumple las siguientes propiedades:

IlxHaoya que < x, x>a0y

IIxiI = O :1 X = O dado que < x, x> =O x = O.

por demostrar que: II x + y II 511x II + II y II

x + y, x + y >
= < x + y, x > + < x + y, y>
= < x x > + < y, x > + < x, y > + < y, y>
=11x112 + 2< x, y>+11y112

86
 5 H x IP + 2 i< x, y > 1 + H y ip
s 11 x 11 2 + 2 11 x 11 11 y 11 + 11 y 112

dado que i< x, y>1 :5Hx11HyM (ver Apéndice 6), por lo tanto
x + y 112 s ( 11 x 11 + 11 y 11 )2
extrayendo raíz cuadrada obtenemos:
Hx+yHsHxIl +HyIL
BIBLIOTECA
DE CIENCIAS EXACTAS
3) Por demostrar que: II ax II = la' II x H Y NATURALES
aL MIS 1111111
4' nonNUEZA

Hax11=1<ax, a.x >

Hax11=ia<x, a.x >

HaxII= jaa < x, x>

II ax H = 1/7 CX 2 /<x,
X, X >

H H = lal H xlh
Por lo tanto la función (A) es una NORMA en el espacio V.

Ahora bien, si x,y E R2 , y < x, y > = O, entonces, O = w/z y

se dice que x y y son ortogonales. Generalizando, podemos
enunciar lo siguiente:

DEFINICION 3: Un sistema { Xa c V con X distintos de

aEI
cero se llama ORTOGONALES si <X X >= Oparaax p, a,RE I.
pe A

DEFINICION 4: Diremos que un sistema 4 X c V es ortonormal

a
si es un sistema ortogonal y la norma de cada elemento de 1 Xa }
es igual a uno ( H Xa II = 1 para toda a ).

Está claro que siendo { X a } un sistema ortogonal, el sistema

( X
a
} resulta ser ortonormal.
( II x II
«


Es decir, un sistema < X ec ) tal que :

a = R
<X I X > =
ft
1 { O a = R

se le llama sistema ortonormal.

Uno de los espacios normados es el de funciones medibles de

potencias integrables, en especial el espacio Lz de funciones de
cuadrado integrable. Estudiaremos algunas de sus propiedades y
analizaremos algunos resultados en este espacio.

DEFINICION 5: El espacio Lz([a,b)) es el conjunto de todas las

funciones f : [a,b] —4 R tal que:

2
(f(x)1 dx <
a

Veremos si el conjunto Lz(Ea,b1) está bien definido como

espacio lineal. Para esto veamos que cumpla con:

PROPOSICION 1: Sean f,g y h E Lz([a,b)).Entonces Lz([a,b)) es un

espacio lineal, es decir, satisface las siguientes propiedades:

f + g = g f
f + (g + h) = (f + g) + h
V f E L2([a,b]), 3 j E L2([a,b]) tal que, f+ j= f
V f E Lz((a,b)), 3 -f E Lz([a,b]) tal que, f + (-f) =
VaeRyfel..2([a,b]), afEL2(1a,bl); a (Rf ) = (4)f
V f E L2([a,b]), 3 1 E R tal que (f)(1) = f
V a,P E R. (a + p)f = af + pf
V a E R, a(f + g) = af + ag.

88


Demostración:Estas propiedades se desprenden de las propiedades de

los números reales y de comprobar que:

1).- El producto de dos funcionesfygEl¿Ja,b) es integrable

( f 2 = f 2 _ 2fg g2
-g )
f g ) 2 4. 2fg = f 2 g2

2fg s f
2
+ g
2 BIBLIOTECA
1 2 2 DE CIENCIAS EXACTAS
fg s 2 (f + g )
RL SARRR
Y NATURALES
DE MIS FRUIR
RARA IIIGRAWLIEZA

a
J fg s 2 [ f2

2 g2 < w, entonces, f fg < w.

COMO f f <w
f

Toda función f E L2([a,bJ) de cuadrado integrable es integrable, es

decir, si f E L2 =4 f < w.
Esto es obvio si hacemos g(x) E 1 en el resultado anterior.

f,g E L2((a,b1) =4 f + g E 1..2((a,b1)

g) 2 = f 2 2fg g2

Como cada una de las funciones del miembro derecho son

2
integrables, entonces, (f + g ) es integrable, por lo tanto f + g
pertenece a L2([a,b]).

4).- Si f E L2(fa,b1) y a E R =4 af E L2Na,b1) .

2
Si f f < w, por demostrar que, I [ af ] 2 < w.

Dado que:

= f a2 f2 = a2 f2 <
[af]2 af E L2([2,,b]). m

89
DEFINICION 6: Sea f y g E L2([a,b]) el producto escalar es:

rb
< f, g > = f(x)g(x) dx.
Ja

Nos resta, demostrar que este producto escalar está bien

definido, es decir, que cumple con las siguientes condiciones:

< f, g > = < g, f >.

< fl + f2, g > = < fl, g > + < fa, g >. -
3).- < af, g > = a < f, g >.
< f, f>a0y< f, f > = O si y sólo si f = O casi
dondequiera.
Estas claramente se cumplen aplicando las propiedades de la
integral.
Definiremos la norma en L2([a,b]).

DEFINICION 7: Sea f E L2([a,b]) entonces la norma de f es:

f H = < f, f > = f2(x) dg

3

90
 BIBLIOGRAFIA.

T. M. APOSTOL, Mathematical Analysis, Addison-Wesley 1957.

G. D. BARRA, Introduction to Measure Theory, Van Nostrand
1974.
[3] R. V. CHURCHILL, J. W. BROWN, Fourier Series and Boundary
Value Problems, McGraw-Hill, 1987.
[4], R. R. GOLDENBERG, Methods of Real Analysis, Blaisdell 1964.
[5] G. H. HARDY , W. W. ROGONSINSKY, Fourier Series, Macmillan
1944.
[6] O. HERNANDEZ LERMA Métodos de Fourier en la física y la
ingeniería, E. Trillas 1973.
A. N. KOLMOGOROV, Elementos de la teoría de funciones y del
análisis funcional, E. Mir. Moscú 1978.
H. L. ROYDEN, Real Analysis second edition, Macmillan 1968.
E. C. TITCHMARSH, The theory of functions, Oxford University
Press 1939.
E. T. WHITTAKER, G. N. WATSON, A Course of Modern Analysis,
Cambridge University Press 1940.

BIBLIOTECA
DE CIE P CIAS EXACTAS
Y NATURALES
HL MUR DI kiliS RIMES
RARA M1 GRANDEZA

91