UNA FUNCIÓN CONTINUA

PERO NO DIFERENCIABLE EN NINGUNA PARTE

Análisis de Fourier

Existen muchas funciones continuas que no son diferenciables en un punto, digamos f (x) = |x| o se pueden construir
funciones continuas que no sean diferenciables en un conjunto finito de puntos, un problema es ver existe una función
que no sea diferenciable en ninguna parte, en el año 1861, Riemann propuso que la función definida por
∞
X sin(n2 x)
R(x) =
n=1
n2

no era diferenciable en ninguna parte. La cual se le llegó a considerar por su conexión con la función theta, Riemann
nunca dió una prueba de este hecho pero como siempre mencionaba la función en sus conferencias, esto despertó el
interes en Weierstrass quien intentando buscar una prueba encontró el primer ejemplo de un continuo pero esta
función no es diferenciable en ninguna parte.
Tomó 0 < b < 1 y a un entero > 1.
En 1872 el demostró que si ab > 1 + 3π/2 entonces las función
∞
X
W (x) = bn cos(an x)
n=1

es no diferenciable en ninguna parte.

Pero aún no hay una opinión para la función original de Riemann, en 1916 Hardy probó que la función R es no
diferenciable en todos los multiplos irracionales de π y en algunos multiplos racionales de π, sin embargo fue hasta
1969 que Gerver resolvió completamente el problema, probando primero que la función R es diferenciable en todos los
multiplos racionles de π de la forma πp/q donde p y q son enteros impares, y después demostró que R es no
diferenciable en el resto de casos.
Ahora enfoquemos el interes en el siguiente teorema:
Teorema. Si 0 < α < 1, entonces la función
∞
X n
fα (x) = f (x) = 2−nα ei2 x

n=0

es continua pero en ninguna parte diferenciable.

La continuidad se da por la convergencia absoluta de las series. La propiedad crucial de f que necesitamos es que
tiene muchos coeficientes de Fourier que desaparecen, una serie de Fourier que se salta muchos términos, como ésta o
como W (x), se llama serie lacunar de Fourier.
La prueba del teorema es en realidad la historia de tres métodos para sumar una serie de Fourier. Primero está la
convergencia ordinaria en términos de las sumas parciales SN (g) = g ∗ DN , luego está la sumabilidad de cesaro
σN (g) = g ∗ FN y por último implica los ”delayed means” definidas por

∆N (g) = 2σ2N (g) − σN (g)

Por lo tanto,
∆N (g) = g ∗ [2F2N − FN ]

1
 an einx , entonces:
P
Suponga que g(x) ∼
1. SN surge multiplicando el termino an einx por 1 si |n| ≤ N , y por 0 si |n| > N .
2. σN surge por multiplicar an einx por 1 − |n|/N para |n| ≤ N y por 0 si |n| > N .

3. ∆N surge por multiplicar an einx por 1 si |n| ≤ N , por 2(1 − |n|/(2N )) para N ≤ |n| ≤ 2N y por 0 para |n| > 2N

note que,

X
SN (g)(x) = an einx
|n|≤N

S0 (g)(x) + S1 (g)(x) + · · · + SN −1 (g)(x)

σN (g)(x) =
N
N −1
1 X X
= ak eikx
N
`=0 |k|≤`
1 X
= (N − |n|) an einx
N
|n|≤N
X  |n|

= 1− an einx
N
|n|≤N

σ0 (g)(x) + σ2 (g)(x) + · · · + σN −1 (g)(x)

∆N (g) =
2N
N −1 X  
1 X |k|
= 1− ak eeix
2N `
`=0 |k|≤`
N −1 N −1 X  
1 X X eix
X |k|
= (1)ak e − ak eeix
2N `
`=0 |k|≤` `=0 |k|≤`

1 X X  |n|

= 2(2N − |n|)an einx − 1− an einx
2N N
N ≤|n|≤2N N ≤|n|
X  |n|
 X 
|n|

=2 1− an einx − 1− an einx
2N N
N ≤|n|≤2N N ≤|n|

= 2 σ2N (g)(x) − σN (g)(x)

2
Los tres métodos de sumabilidad estan respresentados gráficamente ası́,

3
Estas medias diferidas tienen dos importantes propiedades, por un lado, estas caracteristicas estan relacionadas con
las buenas caracteristicas de las medias de Césaro, por otro lado, para series que tienen propiedades lacunares como
los de f , las medias diferidas son esencialmente iguales a las sumas parciales. En particular, tenga en cuenta que para
nuestra función f = fa
SN (f ) = ∆N 0 (f )
donde N 0 es el entero más grande de la forma 2k con N 0 ≤ N .

Ahora si procedemos a la demostración del teorema 1, aplicando el siguiente lema, donde la idea de la prueba se
desarrollará por contradicción, es decir, asumimos que f 0 (x0 ) existe para algún x0 .
Lema. Sea g cualquier función continua que sea diferenciable en x0 . Entonces, las medias de Césaro satisfacen

σN (g)0 (x0 ) = O(log N )

donde
∆N (g)0 (x0 ) = O(log N )

Demostración. Primero veamos que,

Z π Z π
0
σN (g) (x0 ) = FN0 (x0 − t)g(t)dt = FN0 (t)g(x0 − t)dt
−π −π

donde FN es el kernel de Fejér. Como FN es periodico, sabemos que

Z π
FN0 (t)dt = 0
−π

esto implica que Z π

FN0 (t)[g(x0 − t) − g(x0 )]dt
−π

teniendo en cuenta el supuesto de que g es diferenciable en x0 obtenemos

Z π
|σN (g)0 (x0 )| ≤ C |FN0 (t)| |t| dt
−π

FN0 satisafce las dos condiciones

A
|FN0 (t)| ≤ AN 2 y |FN0 (t)| ≤
|t|2
para la primera desigualdad, se tiene en cuenta que FN es un polinomio trigonométrico de grado N cuyos coeficientes
estan acotados por 1, por lo tanto, FN0 es un polinomiro trigonométrico de grado N cuyos coeficientes no son mayores
que N , por esto,
|FN0 (t)| ≤ (2N + 1)N ≤ AN 2
para la segunda desigualdad, recordemos que

1 sin2 (N t/2)
FN (t) =
N sin2 (t/2)

derivando esta expresión obtenemos

sin(N t/2) cos(N t/2) 1 cos(t/2) sin2 (N t/2)

−
sin2 (t/2) N sin3 (t/2)

si usamos el hecho de que

| sin(N t/2)| ≤ CN |t| y | sin(t/2)| ≥ c|t|
pues |t| ≤ π, obtenemos los estimadores deseados para FN0 .
Usando estas estimaciones tenemos que
Z Z
0
|σN (g) (x0 )| ≤ C |FN0 (t)| |t| dt + C |FN0 (t)| |t| dt
|t|≥1/N |t|≤1/N
Z Z
dt
≤ CA + CAN dt
|t|≥1/N |t| |t|≤1/N

= O(log N ) + O(1)
= O(log N )
4
 
Para finalizar con la prueba del teorema, veamos el siguiente lema,
Lema. Si 2N = 2N entonces n
∆2N (f ) − ∆N (f ) = 2−nα ei2 x

esto se tiene por una obesrvación anterior, ya que

∆2N (f ) = S2N (f ) y ∆N (f ) = SN (f )

por el primer lema se tiene que

∆2N (f )0 (x0 ) − ∆N (f )0 (x0 ) = 2O(log N ) − O(log N ) = O(log N )

y por el segundo lema implica que

|∆2N (f )0 (x0 ) − ∆N (f )0 (x0 )| = 2n(1−α) ≥ cN 1−α

Esta es la contradicción deseada ya que N 1−α crece más rápido que log N
Algunas observaciones adicionales sobre la función
∞
X n
fα (x) = 2−nα ei2 x

n=0

Esta función tiene valores complejos a diferencia de los ejemplos R y W , por lo que la diferenciabilidad en ninguna
parte de fα no implica la misma propiedad por sus partes reales e imaginarias, sin embargo, una pequeña modificación
de la prueba muestra que de hecho la parte real de fα
∞
X
2−nα cos 2n x
n=0

ası́ como su parte imaginaria, no son diferenciables en ninguna parte.

Para ver esto, observemos que este lema garantiza que si g es una función continua que es diferenciable en x0 , entonces

∆N (g)0 (x0 + h) = O(log N )

cuando |h| ≤ c/N ; procedemos con

∞
X
F (x) = 2−nα cos 2n x
n=0

señalando que
∆2N (F ) − ∆N (F ) = 2−nα cos 2n x
como resultado. Asumiendo que F es diferenciable en x0 , tenemos que

|2n(1−α) sin(2n (x0 + h))| = O(log N )

donde 2N = 2n y |h| ≤ c/N . Para obtener una contradicción solo necesitamos elegir h tal que | sin(2n (x0 + h))| = 1,
esto se logra estableciendo δ igual a la distancia de 2n x0 al número más cercano de la forma (k + 1/2)π, con k ∈ Z (ası́
δ ≤ π/2), y tomando h = ±δ/2n .
Cuando α > 1 la función fα es continuamente diferenciable ya que la serie se puede diferenciar término a trérmino,
finalmente, la diferenciabilidad en ninguna parte que hemos probado para α < 1 se extiende a α = 1 por un adecuado
acondicionamiento del argumento que se desarrolla en otro capitulo.