Función de Weierstrass

De Wikipedia, la enciclopedia libre

Función de Weierstrass en el intervalo [−2, 2]. La función tiene un comportamiento fractal.

La función de Weierstrass es muy particular. Su nombre, por supuesto es por su mentor, quien la publicó por primera vez, Karl Weierstrass. Está definida en la recta y toma valores reales. Lo que la hace particular es que es continua en todo punto y no es derivable o diferenciable en ninguno.

La función de Weierstrass fue la primera conocida con esta propiedad. De este modo, Weierstrass mostró que era falsa la conjetura que circulaba en aquella época que afirmaba que las funciones continuas eran diferenciables salvo en puntos aislados.

La función, tal como la definió Weierstrass, es la siguiente

f(x)=\sum_{n=0}^\infty a^n\cos(b^n\pi x),

donde 0 < a < 1, b es un entero impar y positivo y cumplen que

 ab > 1+\frac{3}{2} \pi.

La prueba de que la función es continua es sencilla. Dado que las sumas parciales son continuas y que la serie es uniformemente convergente, se deduce que el límite es continuo.

Otra propiedad interesante de esta función es su condición fractal. Si bien su gráfico no es rigurosamente autosemejante (véase ampliación en el gráfico, arriba), la dimensión del mismo gráfico no es uno ni dos. De hecho la dimensión de Hausdorff está acotada inferiormente por \frac{\log a}{\log b +2} y se cree que ese sea su valor (eso es lo que se prueba en el libro de Falconer).

Herramientas personales
Crear un libro