En matemáticas , la función de Weierstrass es un ejemplo de una función de valor real que es continua en todas partes pero no diferenciable en ninguna parte. Es un ejemplo de curva fractal . Lleva el nombre de su descubridor Karl Weierstrass .
La función de Weierstrass ha cumplido históricamente el papel de una función patológica , siendo el primer ejemplo publicado (1872) creado específicamente para desafiar la noción de que toda función continua es diferenciable excepto en un conjunto de puntos aislados. [1] La demostración de Weierstrass de que la continuidad no implicaba diferenciabilidad en casi todas partes puso patas arriba las matemáticas, anulando varias pruebas que se basaban en la intuición geométrica y las vagas definiciones de suavidad . Este tipo de funciones fueron denunciadas por los contemporáneos: Henri Poincaré las describió como "monstruos" y calificó la obra de Weierstrass como "un ultraje contra el sentido común", mientras que Charles Hermite escribió que eran un "flagelo lamentable". Las funciones eran imposibles de visualizar hasta la llegada de las computadoras en el siglo siguiente, por lo que la prueba del resultado se basó completamente en pasos teóricos técnicamente exigentes. Los resultados no obtuvieron una amplia aceptación hasta que las aplicaciones prácticas, como los modelos de movimiento browniano, requirieron funciones infinitamente irregulares (hoy en día conocidas como curvas fractales). [2]
Construcción
En el artículo original de Weierstrass, la función se definió como una serie de Fourier :
dónde , es un entero impar positivo y
El valor mínimo de por lo que existe tal que estas restricciones se satisfagan es . Esta construcción, junto con la prueba de que la función no es diferenciable en ningún intervalo, fue entregada por primera vez por Weierstrass en un documento presentado a la Königliche Akademie der Wissenschaften el 18 de julio de 1872. [3] [4] [5]
A pesar de no ser nunca diferenciable, la función es continua: dado que los términos de la serie infinita que la define están delimitados por ± a n y esta tiene suma finita para 0 < a <1, la convergencia de la suma de los términos es uniforme por la Weierstrass Prueba M con M n = a n . Dado que cada suma parcial es continua, según el teorema del límite uniforme , se deduce que f es continua. Además, dado que cada suma parcial es uniformemente continua , se deduce que f también es uniformemente continua.
Podría esperarse que una función continua deba tener una derivada, o que el conjunto de puntos en los que no es diferenciable sea numerablemente infinito o finito. Según Weierstrass en su artículo, los matemáticos anteriores, incluido Gauss, a menudo habían asumido que esto era cierto. Esto puede deberse a que es difícil dibujar o visualizar una función continua cuyo conjunto de puntos no diferenciables es algo diferente a un conjunto de puntos contables. Existen resultados análogos para clases de funciones continuas con mejor comportamiento, por ejemplo, las funciones de Lipschitz , cuyo conjunto de puntos de no diferenciabilidad debe ser un conjunto nulo de Lebesgue ( teorema de Rademacher ). Cuando tratamos de dibujar una función continua general, generalmente dibujamos la gráfica de una función que es Lipschitz o que se comporta bien.
La función Weierstrass fue uno de los primeros fractales estudiados, aunque este término no se utilizó hasta mucho más tarde. La función tiene detalles en todos los niveles, por lo que hacer zoom en una parte de la curva no muestra que se acerque cada vez más a una línea recta. Más bien entre dos puntos cualesquiera, sin importar cuán cerca estén, la función no será monótona.
El cálculo de la dimensión D de Hausdorff del gráfico de la función clásica de Weierstrass fue un problema abierto hasta 2018: mientras que en general se creía que D es. [6] [7] Que D sea estrictamente menor que 2 se deduce de las condiciones en, y desde arriba. Solo después de más de 30 años esto se demostró rigurosamente. [8]
El término función de Weierstrass se usa a menudo en el análisis real para referirse a cualquier función con propiedades y construcción similares al ejemplo original de Weierstrass. Por ejemplo, la función coseno se puede reemplazar en la serie infinita por una función lineal en "zigzag" por partes . GH Hardy demostró que la función de la construcción anterior no es diferenciable en ninguna parte con los supuestos 0 < a <1, ab ≥ 1. [9]
Continuidad de Hölder
Es conveniente escribir la función de Weierstrass de manera equivalente como
por . Entonces W α ( x ) es la continua de Hölder de exponente α, lo que quiere decir que hay una constante C tal que
para todos los x y y . [10] Además, W 1 es Hölder continuo de todos los órdenes α <1 pero no Lipschitz continuo .
Densidad de funciones no diferenciables en ninguna parte
Resulta que la función de Weierstrass está lejos de ser un ejemplo aislado: aunque es "patológica", también es "típica" de las funciones continuas:
- En un sentido topológico : el conjunto de funciones de valor real no diferenciables en ninguna parte en [0, 1] es comeager en el espacio vectorial C ([0, 1]; R ) de todas las funciones continuas de valor real en [0, 1] con la topología de convergencia uniforme . [11] [12]
- En un sentido teórico de la medida: cuando el espacio C ([0, 1]; R ) está equipado con la medida clásica de Wiener γ , la colección de funciones que son diferenciables incluso en un solo punto de [0, 1] tiene γ - medida cero . Lo mismo es cierto incluso si uno toma "cortes" de dimensión finita de C ([0, 1]; R ), en el sentido de que las funciones no diferenciables en ninguna parte forman un subconjunto predominante de C ([0, 1]; R ) .
Ver también
- Curva blancmange
- Copo de nieve de Koch
- Función continua en ninguna parte
Notas
- ^ Al menos dos investigadores formularon funciones continuas, en ninguna parte diferenciables antes de Weierstrass, pero sus hallazgos no se publicaron durante su vida. Alrededor de 1831, Bernard Bolzano (1781-1848), un matemático, filósofo y sacerdote católico checo, construyó tal función; sin embargo, no se publicó hasta 1922. Ver:
- Martin Jašek (1922) "Funkce Bolzanova" (función de Bolzano), Časopis pro Pěstování Matematiky a Fyziky (Revista para el cultivo de las matemáticas y la física), vol. 51, no. 2, páginas 69–76 (en checo y alemán).
- Vojtěch Jarník (1922) "O funkci Bolzanově" (Sobre la función de Bolzano), Časopis pro Pěstování Matematiky a Fyziky (Revista para el cultivo de las matemáticas y la física), vol. 51, no. 4, páginas 248 - 264 (en checo). Disponible en línea en checo en: http://dml.cz/bitstream/handle/10338.dmlcz/109021/CasPestMatFys_051-1922-4_5.pdf . Disponible en línea en inglés en: http://dml.cz/bitstream/handle/10338.dmlcz/400073/Bolzano_15-1981-1_6.pdf .
- Karel Rychlík (1923) "Über eine Funktion aus Bolzanos handschriftlichem Nachlasse" (En función de los restos literarios de Bolzano en manuscrito), Sitzungsberichte der königlichen Böhmischen Gesellschaft der Wissenschaften (Pragoso) (Actas de la Royal Bohemian Society) (Actas de la Real Bohemia de Praga) los años 1921-1922), Clase II, no. 4, páginas 1-20. ( Sitzungsberichte continuó como: Věstník Královské české společnosti nauk, třída matematicko-přírodovědecká (Revista de la Real Sociedad Checa de Ciencias, Clase de Matemáticas y Ciencias Naturales).)
- Cellérier, C. (1890) "Note sur les principes fondamentaux de l'analyse" (Nota sobre los principios fundamentales del análisis), Bulletin des sciences mathématiques , segunda serie, vol. 14, páginas 142-160.
- ^ Kucharski, Adam (26 de octubre de 2017). "Hermosos monstruos de las matemáticas: cómo una idea destructiva allanó el camino para las matemáticas modernas" . Consultado el 4 de marzo de 2020 .
- ↑ En la página 560 de la Monatsberichte der Königlich Preussischen Akademie der Wissenschaften zu Berlin de 1872(Informes mensuales de la Real Academia de Ciencias de Prusia en Berlín), se menciona brevemente que el 18 de julio "Hr. Weierstrass las über stetige Funktionen ohne bestimmte Differentialquotienten "(el Sr. Weierstrass leyó [un artículo] sobre funciones continuas sin derivadas definidas [es decir, bien definidas] [a los miembros de la Academia]). Sin embargo, el artículo de Weierstrass no se publicó en Monatsberichte .
- ↑ Karl Weierstrass, "Über continuirliche Functionen eines reellen Arguments, die für keinen Werth des letzeren einen bestimmten Differentialquotienten besitzen", (Sobre las funciones continuas de un argumento real que posee un derivado definido sin valor del argumento) en: Königlich Preussichen Akademie der Wissenschaften, Mathematische Werke von Karl Weierstrass (Berlín, Alemania: Mayer & Mueller, 1895), vol. 2, páginas 71–74 .;
- ↑ Véase también: Karl Weierstrass, Abhandlungen aus der Functionenlehre [Tratados de la teoría de las funciones] (Berlín, Alemania: Julius Springer, 1886), página 97 .
- ^ Kenneth Falconer, The Geometry of Fractal Sets (Cambridge, Inglaterra: Cambridge University Press, 1985), páginas 114, 149.
- ↑ Véase también: Brian R. Hunt (1998) "La dimensión de Hausdorff de los gráficos de funciones de Weierstrass", Actas de la American Mathematical Society , vol. 126, no. 3, páginas 791-800.
- ^ Shen, Weixiao (2018). "Dimensión de Hausdorff de los gráficos de las funciones clásicas de Weierstrass". Mathematische Zeitschrift . 289 (1–2): 223–266. arXiv : 1505.03986 . doi : 10.1007 / s00209-017-1949-1 . ISSN 0025-5874 . S2CID 118844077 .
- ^ Hardy GH (1916) "Función no diferenciable de Weierstrass", Transactions of the American Mathematical Society , vol. 17, páginas 301–325.
- ^ Zygmund, A. (2002) [1935], Trigonometric Series. Vol. I, II , Cambridge Mathematical Library (3.a ed.), Cambridge University Press , ISBN 978-0-521-89053-3, Señor 1963498, pag. 47.
- ^ Mazurkiewicz, S .. (1931). "Sur les fonctions non-dérivables" . Studia Math . 3 (3): 92–94. doi : 10.4064 / sm-3-1-92-94 .
- ^ Banach, S. (1931). "Über die Baire'sche Kategorie gewisser Funktionenmengen" . Studia Math . 3 (3): 174-179. doi : 10.4064 / sm-3-1-174-179 .
Referencias
- David, Claire (2018), "Bypassing dynamical systems: A simple way to get the box-count dimension of the graph of the Weierstrass function", Proceedings of the International Geometry Center , Academy of Sciences of Ukraine, 11 (2): 53 –68, doi : 10.15673 / tmgc.v11i2.1028
- Falconer, K. (1984), The Geometry of Fractal Sets , Cambridge Tracts in Mathematics, Libro 85, Cambridge: Cambridge University Press, ISBN 978-0-521-33705-2
- Gelbaum, B Bernard R .; Olmstead, John MH (2003) [1964], Contraejemplos en análisis , Dover Books on Mathematics, Dover Publications, ISBN 978-0-486-42875-8
- Hardy, GH (1916), "La función no diferenciable de Weierstrass" (PDF) , Transactions of the American Mathematical Society , American Mathematical Society, 17 (3): 301-325, doi : 10.2307 / 1989005 , JSTOR 1989005
- Weierstrass, Karl (18 de julio de 1872), Über continuirliche Functionen eines reellen Arguments, die für keinen Werth des letzeren einen bestimmten Differentialquotienten besitzen , Königlich Preussische Akademie der Wissenschaften
- Weierstrass, Karl (1895), "Über continuirliche Functionen eines reellen Arguments, die für keinen Werth des letzeren einen bestimmten Differentialquotienten besitzen" , Mathematische Werke von Karl Weierstrass , 2 , Berlín, Alemania: Mayer & Müller, págs. 71–74
- Traducción en inglés: Edgar, Gerald A. (1993), "Sobre las funciones continuas de un argumento real que no poseen una derivada bien definida para ningún valor de su argumento", Classics on Fractals , Studies in Nonlinearity, Addison-Wesley Publishing Company, págs. 3 a 9, ISBN 978-0-201-58701-2
enlaces externos
- Weisstein, Eric W. "Función de Weierstrass" . MathWorld . (una función de Weierstrass diferente que también es continua y no diferenciable en ninguna parte)
- Prueba de existencia de función continua diferenciable en ninguna parte utilizando el principio de contracción de Banach .
- En ninguna parte prueba de existencia de función continua monótona utilizando el teorema de la categoría de Baire .
- Johan Thim. "Funciones diferenciables continuas en ninguna parte" . Tesis de Maestría Universidad Tecnológica de Lulea 2003 . Consultado el 28 de julio de 2006 .
- Función de Weierstrass en el plano complejo Hermoso fractal.
- SpringerLink - Journal of Fourier Analysis and Applications, Volumen 16, Número 1 Pruebas simples de diferenciación en ninguna parte para la función de Weierstrass y casos de crecimiento lento
- Funciones de Weierstrass: continuas pero no diferenciables en ninguna parte