Una serie de Fourier-Lebesgue divergente en

casi todo punto

El proposito de este artculo es dar un ejemplo de una funci on integrable cuya serie de
Fourier diverge en casi todo punto (es decir: en todas partes excepto en los puntos de un
conjunto de medida cero).
La funci on construida en este artculo es un cuadrado no integrable y no se sabe nada
sobre el orden de magnitud de los coecientes dados de su serie de Fourier. Los metodos
utilizados aqu no se utilizan para construir una serie de Fourier divergente en todas partes.
I. A continuaci on voy a demostrar la existencia de una sucesi on de funciones:
1
(x),

2
(x),...,
n
(x), ..., denidas en 0 x 2 cumpliendo las siguientes condiciones.
1

)
n
(x) 0,
_
2
0

n
(x) dx = 2, (n = 1, 2, ...).
2

) Las sumas parciales de la serie de Fourier de

n
(x) estan acotadas.
3

) Para cada funcion

n
(x) es posible encontrar un n umero positivo M
n
, un conjunto E
n
y un n umero entero q
n
tal que:
3a) lm
n
M
n
=
3b) lm
n
mesE
n
= 2
3c) Para cada punto del conjunto E
n
existe una suma parcial de la serie de Fourier
de
n
(x) con un ndice menor o igual que q
n
cuyo valor absoluto es mayor que
M
n
.
Asumiendo que las funciones
n
(x) han sido construidas, es facil encontrar una sucesi on
creciente de n umeros enteros n
1
, n
2
, ..., n
k
, ... tales que:
A)
1
_
M
n
k

1
2
k
y por consiguiente

k=1
1
_
M
n
k
1
1
B) la magnitud de
1
2
_
M
n
k
es mayor en valor absoluto que el maximo de las sumas par-
ciales de la serie de Fourier de (k 1) funciones tal que
n
1
(x),
n
2
(x), ...,
n
k1
(x).
C) q
n
i

1
2
k
_
M
n
k
para todo i < k
Si los n
i
son conocidos para todos los valores de i menores que k, entonces podemos
determinar n
k
que satisfagan las desigualdades A), B), y C).
Ahora sea
(x) =

k=1
1
_
M
n
k

n
k
(x).
Por 1

y A esta serie converge en casi todas partes a una funci on integrable, y los coe-
cientes de la serie de Fourier de (x) son iguales a la suma de los coecientes de Fourier de
las funciones
1
_
M
n
k

n
k
(x) (k = 1, 2, 3, ...)
consideremos la suma parcial de la serie de Fourier de (x), que es mayor que M
n
k
en
cualquier punto del conjunto E
n
k
por 3

.
a) Para cualquiera de los terminos de la serie
n
k
(x) :
_
M
n
k
es mayor que
_
M
n
k
b) Para la suma de todos los terminos con ndices menores que k, por la condici on B),
este es menor que
1
2
_
M
n
k
c) Para los terminos con ndices s > k es menor que
6
2
s
En efecto, la suma parcial con el ndice menor que o igual a q
n
i

1
2
s
_
M
n
k
, (en virtud
de C) es menor que (2q
n
k
+ 1) multiplicado por la integral del valor absoluto de la funci on,
que en este caso debe ser igual a 2/
_
M
n
k
.
De a), b), c) se sigue que la suma considerada de (x) es mayor en valor absoluto que
1
2
_
M
n
k

6
2
k
Por lo tanto concluimos que la serie de Fourier de (x) es divergente en cada punto del
conjunto
E = lmE
n
k
, mesE = 2
2
1. Construcci on de la funcion
n
(x)
Sea

1
= 1,
2
, ...,
n
una sucesi on nita creciente de enteros impares, de tal manera que se cumplan las con-
diciones indicadas mas adelante.
Determinemos la sucesion m
1
, m
2
, m
3
, m
n
m
1
= n, 2m
k
+ 1 =
k
(2n + 1) (1)
Hagamos
A
k
= k
4
2n + 1
, 1 k n (2)
A
n
= 2
2
2n + 1
Veamos nalmente
n
(x) =
m
2
k
n
en el segmento:

k
= [A
k

1
m
2
k
, A
k
+
1
m
2
k
] (3)
Para cada pnto que no pertenece al segmento
k
, hacemos
n
(x) = 0.
Es evidente que

n
(x) 0 ;
_
2
0

n
(x) dx = 2 (Condicion 1)
y
n
(x) son variables acotadas, por tanto la condici on 2 tambien se cumple.
Consideremos la suma parcial de la serie de Fourier de
n
(x) con el ndice m
k
1

_
2
0

n
()
sin
2m
k
+1
2
( x)
sin
1
2
( x)
d (4)
Supongamos que el punto x se encuentra en el segmento

k
= [A
k1
+
2
n
2
, A
k

2
n
2
] (5)
Si los
i
para i < k est an denidos, por consecuencia la funci on
n
(x) est a denida en
los segmentos
i
, entonces es posible tomar
k
lo sucientemente grande de manera que la
3
integral (2.4), calculada sobre todos los segmentos
i
(i < k), podra ser tan peque na como se
desee para cualquier x en
k
. Supongamos que esta es mas peque na que 1 en valor absoluto
Consideremos ahora la integral (2.4) en un segmento
s
(s k)
1

_
s
m
2
s
n
sin
2m
k
+1
2
( x)
sin
1
2
( x)
d =
1

_
s
m
2
s
n
sin
2m
k
+1
2
(A
s
x)
sin
1
2
(A
s
x)
d +
+
1

_
s
m
2
s
n
_
sin
2m
k
+1
2
( x)
sin
1
2
( x)

sin
2m
k
+1
2
(A
s
x)
sin
1
2
(A
s
x)
_
d (6)
Teniendo en cuenta que | A
s
|
q
m
s
2
se puede ver que la diferencia entre los corchetes
es menor que
1
m
2
max

d
d
sin
_
2m
k
+1
2
_

2 sin
_

2
_

4m
2
k
m
2
s
4
Y como la longitud de
s
es igual a
2
m
2
s
, el segundo miembro de (6) es mas peque no que
4
n
Sacamos la constante en la segunda integral , tenemos la expresion (6) igual a
2
n
_
sin
_
2m
k
+1
2
_
(A
s
x)
2 sin
1
2
(A
s
x)
_
+

n
, || 4 (7)
La suma de los terminos con para s = k, k +1, ...., n es mas peque no en valor absoluto que
4. Tomando en cuenta que :
2m
k
+ 1
2
(A
s
A
k
) = (s k)
k
2,
2m
k
+ 1
2
(A
s
x) = sin
2m
k
+ 1
2
(A
s
x)
A
s
x < A
s
A
k1
= (s k + 1)
4
2n + 1
< (s k + 1)
2
n
,
1
sin
1
2
(A
s
x)
>
n
(s k + 1)
,
Podemos ver que la suma de los primeros miembros de (7) para s=k,k+1,.....n es igual en
valor absoluto a
1
n

sin
2m
k
+ 1
2
(A
k
x)

s=k
1
sin
1
2
(A
s
x)
>
1

sin
2m
k
+ 1
2
(A
s
x)

nk

r=1
1
r
5 (8)
4
As, para cada punto x de
k
el valor absoluto de la integral (4) es mayor que
1

sin
2m
k
+ 1
2
(A
s
x)

nk

r=1
1
r
5
Sea E
n
el conjunto de todos los puntos x, que se encuentra en los segmentos
k
para
n k >
2

n, tal que la siguiente condicion es verdadera:

1

sin
2m
k
+ 1
2
(A
s
x)

>
1
2

_
2

r=1
1
r
=
1
N
m
.
Podemos ver que por cada punto de E
m
, situado en
k
, la suma parcial de la serie de
Fourier
n
(x) , con el ndice m
k
, es mas grande que N
n
5 = M
n
.
Se puede demostrar sin dicultad que:
lm
n
MesE
n
= 2
5