On one class of nowhere non-monotonic functions with fractal properties that contains a subclass of singular functions

El artículo estudia una clase de funciones continuas en el intervalo $[0,1]$ con propiedades fractales, estableciendo criterios para su monotonía, no diferenciabilidad y singularidad, y analizando las características de sus conjuntos de nivel.

Lo esencial

Imagina que tienes una montaña rusa infinita, pero en lugar de estar hecha de acero, está construida con reglas matemáticas muy extrañas. Esta montaña rusa es la función que estudian los autores del artículo: S. O. Klymchuk y M. V. Pratsiovtyi.

Aquí tienes una explicación sencilla de lo que descubrieron, usando analogías de la vida cotidiana:

1. El Mapa de la Montaña (La Definición)

Imagina que quieres describir un punto en una línea recta (del 0 al 1). Normalmente, usamos el sistema decimal (0, 1, 2... 9). Pero estos autores usan un sistema especial de "tres colores" (0, 1, 2), como si fuera un código de barras infinito.

La función $f(x)$ que crean es como una receta para construir una montaña rusa.

• Tienes un código de colores (la secuencia de números).
• Tienes un botón de control llamado $\varepsilon$ (epsilon). Este botón decide qué tan "loca" será la montaña.
• La función toma tu código de colores y, paso a paso, decide si subes, si bajas o si te quedas plano.

2. La Regla del Botón Mágico ($\varepsilon$)

El secreto de todo el artículo es este botón $\varepsilon$. Dependiendo de cómo lo ajustes, la montaña rusa cambia drásticamente:

• Modo "Subida Constante" ($\varepsilon$ es pequeño): Si ajustas el botón a un valor bajo, la montaña rusa siempre sube. Nunca baja. Es como una escalera perfecta: si avanzas, subes. Es aburrida pero predecible.
• Modo "Plano" ($\varepsilon = 0.5$): Si lo ajustas a la mitad, la montaña se vuelve plana en ciertos tramos. Es como si la montaña rusa se convirtiera en un túnel largo y recto donde no subes ni bajas, solo avanzas. En matemáticas, esto significa que la función es "singular" (crece, pero su pendiente es cero casi siempre).
• Modo "Caos Total" ($\varepsilon > 0.5$): ¡Aquí viene lo interesante! Si subes el botón por encima de la mitad, la montaña rusa se vuelve loca.
  • En cualquier trozo de la línea que mires, por pequeño que sea (incluso si usas una lupa microscópica), la montaña rusa sube y baja al mismo tiempo.
  • No hay ninguna parte donde sea solo "subida" o solo "bajada". Es una montaña rusa que nunca deja de cambiar de dirección. A esto los matemáticos le llaman "ningún punto monótono" (nowhere monotonic).

3. La Paradoja de la Suavidad

Lo más sorprendente de esta función es que, aunque parece una montaña rusa salvaje llena de picos y valles infinitos:

• Es suave: No tiene saltos ni agujeros. Si dibujas la línea, puedes hacerlo sin levantar el lápiz del papel. Es continua.
• Es imposible de medir con una regla: Si intentas poner una regla tangente (una línea recta que toca la curva) en cualquier punto, no podrás hacerlo. La curva cambia de dirección tan rápido que nunca tiene una "pendiente" definida. Es como intentar poner una regla sobre una nube de humo; la regla nunca se asienta.

4. El Efecto Espejo (Fractales)

El artículo menciona que la gráfica de esta función tiene propiedades fractales.
Imagina un helecho o un copo de nieve. Si haces zoom en una parte pequeña, ves la misma forma que en el todo.
En esta función, si tomas un pedacito de la montaña rusa y lo estiras, verás que se parece a la montaña rusa completa. Es una estructura que se repite a sí misma infinitamente, como un espejo dentro de un espejo.

5. ¿Qué pasa con los "Niveles"? (Conjunto de Nivel)

Imagina que cortas la montaña rusa con un cuchillo horizontal (una línea recta a una altura fija).

• Si la montaña siempre sube, el cuchillo la corta una sola vez.
• Si la montaña es plana, el cuchillo puede cortar un trozo entero.
• Pero en este caso "loco" (donde $\varepsilon > 0.5$), el cuchillo corta la montaña en muchos puntos separados, como si la montaña fuera una serie de agujas infinitamente finas y separadas. El artículo demuestra que estos puntos son infinitos pero contables (como los números naturales).

En Resumen

Los autores han creado una nueva familia de funciones matemáticas que son:

1. Continuas: Sin saltos.
2. Fractales: Se ven iguales a cualquier nivel de zoom.
3. Caóticas: Nunca se quedan subiendo o bajando en ningún lugar (siempre cambian de dirección).
4. Mágicas: Dependen de un solo botón ($\varepsilon$) para decidir si son una escalera aburrida, un túnel plano o una montaña rusa infinita y sinuosa.

Es como si hubieran descubierto una nueva forma de "dibujar" el caos, demostrando que incluso en el desorden más absoluto, hay reglas matemáticas precisas que lo gobiernan.

Resumen técnico

Resumen Técnico del Artículo: "Sobre una clase de funciones nunca monótonas con propiedades fractales que contiene una subclase de funciones singulares"

Autores: S. O. Klymchuk y M. V. Pratsiovtyi
Fuente: Collection of Proceedings of the Institute of Mathematics of the NAS of Ukraine (2017).

1. Planteamiento del Problema

El artículo aborda la construcción y el análisis de una nueva clase de funciones continuas definidas en el intervalo $[0, 1]$. El objetivo principal es estudiar funciones que exhiben propiedades fractales complejas, específicamente aquellas que son nunca monótonas (no monótonas en ningún subintervalo) y que, bajo ciertas condiciones, son funciones singulares (continuas, con derivada cero casi por todas partes, pero no constantes).

El problema se enmarca en la generalización de las representaciones de números reales. Los autores utilizan la representación $Q^*_3$ (una generalización de la representación ternaria basada en una matriz estocástica infinita) para definir tanto el dominio como el rango de las funciones, permitiendo una flexibilidad paramétrica que no está presente en las representaciones clásicas.

2. Metodología

La metodología se basa en el análisis funcional y la teoría de sistemas de numeración generalizados:

• Definición de la Función: Se define una función $f(x)$ mediante una serie infinita que depende de la representación $Q^*_3$ del argumento $x$. La fórmula general es:
  $$f(x) = \delta_{\alpha_1(x)}^1 + \sum_{k=2}^{\infty} \left[ \delta_{\alpha_k(x)}^k \prod_{j=1}^{k-1} g_{\alpha_j(x)}^j \right]$$
  Donde:

  • $\alpha_k(x) \in \{0, 1, 2\}$ son los dígitos de la representación $Q^*_3$ de $x$.
  • $Q^*_3$ es una matriz estocástica positiva infinita ($q_{ik} > 0$, $\sum q_{ik} = 1$).
  • Los parámetros $g_{ik}$ y $\delta_{ik}$ dependen de una secuencia dada $(\varepsilon_k)$ con $0 \le \varepsilon_k \le 1$. Específicamente,$g_{0k} = g_{2k} = \frac{1+\varepsilon_k}{3}$y$g_{1k} = \frac{1-2\varepsilon_k}{3}$.

• Análisis de Convergencia y Bien Definición: Se demuestra que la serie converge absolutamente para cualquier secuencia de dígitos y que la función está bien definida incluso para números racionales $Q^*_3$ (que tienen dos representaciones), garantizando que el valor de la función es único.

• Estudio de Propiedades: Se analizan la continuidad, el rango de valores, la monotonía, la diferenciabilidad y la estructura de los conjuntos de nivel mediante el uso de cilindros (intervalos definidos por prefijos fijos en la representación $Q^*_3$) y sumas parciales.

3. Contribuciones Clave y Resultados Principales

A. Continuidad y Rango

• Teorema 1: Se prueba que la función $f$ es continua en todo el intervalo $[0, 1]$.
• Corolario 1: El conjunto de valores de la función es exactamente el intervalo $[0, 1]$.

B. Propiedades de Monotonía y No Monotonía

El comportamiento de la función depende críticamente del parámetro $\varepsilon_k$:

• Crecimiento Estricto: Si $0 \le \varepsilon_k < 1/2$para todo$k$, la función es estrictamente creciente en todo su dominio.
• Constante en Intervalos: Si $\varepsilon_k = 1/2$ para algún $k$, la función es constante en ciertos cilindros (intervalos específicos de la representación), lo que implica derivada cero en esos tramos.
• Nunca Monótona (Teorema 3): Si $1/2 < \varepsilon_k \le 1$para todo$k$, la función es **nunca monótona**. Esto significa que en cualquier subintervalo de$[0, 1]$, la función no es ni creciente ni decreciente. La prueba se basa en mostrar que los incrementos de la función en cilindros adyacentes tienen signos opuestos, impidiendo la existencia de un intervalo de monotonía.

C. Funciones Singulares y Estructura Fractal

• Singularidad: Cuando $\varepsilon_k = 1/2$, la función es constante en una unión de intervalos cuya longitud total es 1. Dado que la función es continua y constante en un conjunto de medida de Lebesgue igual a 1, su derivada es cero casi por todas partes, clasificándola como una función singular.
• Estructura de Cantor: El conjunto donde la función no es constante (cuando $\varepsilon_k = 1/2$) tiene la estructura de un conjunto de Cantor generalizado $C[Q^*_3, V]$.

D. Extremos y Conjuntos de Nivel

• Extremos: Se demuestra que en cualquier cilindro $\Delta$, los valores máximo y mínimo de la función se alcanzan en los extremos del intervalo (puntos con representación periódica de 0 o 2).
• Conjuntos de Nivel ($f^{-1}(y_0)$):
  • Si $0 \le \varepsilon_n < 1/2$: La función es estrictamente creciente, por lo que cada conjunto de nivel es un único punto.
  • Si $\varepsilon_n = 1/2$: Los conjuntos de nivel son puntos o segmentos (debido a las partes constantes).
  • Si $1/2 < \varepsilon_n \le 1$: La función es nunca monótona y los conjuntos de nivel son **conjuntos numerables**. Esto se debe a que la función oscila infinitamente, cruzando cualquier nivel$y_0$ en una cantidad contable de puntos.

E. Propiedades Geométricas del Gráfico

• Teorema 4: Si $\varepsilon_n$ es constante, el gráfico de la función y sus subconjuntos asociados a dígitos iniciales específicos son afínmente equivalentes. Esto confirma la naturaleza fractal y auto-similar de la gráfica de la función.

4. Significado e Impacto

Este trabajo es significativo por varias razones:

1. Generalización: Extiende el estudio de funciones singulares y no monótonas más allá de las representaciones ternarias o cuaternarias clásicas, utilizando una matriz estocástica infinita ($Q^*_3$) que permite una gran variedad de comportamientos locales.
2. Unificación de Propiedades: Proporciona un marco unificado donde, mediante el ajuste de un solo parámetro ($\varepsilon_k$), se puede transitar entre funciones estrictamente crecientes, funciones singulares con partes constantes y funciones nunca monótonas con estructura fractal compleja.
3. Análisis de Conjuntos de Nivel: Ofrece resultados precisos sobre la cardinalidad y topología de los conjuntos de nivel, un aspecto crucial en el análisis de funciones patológicas y en la teoría de la medida.
4. Aplicaciones Potenciales: Las funciones construidas son relevantes en la teoría de sistemas dinámicos, la modelización de fenómenos con autosimilitud y en el estudio de la diferenciabilidad de funciones continuas.

En resumen, Klymchuk y Pratsiovtyi han caracterizado rigurosamente una familia de funciones que sirven como ejemplos fundamentales de comportamiento "patológico" (no monótono, singular) dentro de un marco matemático estructurado y generalizable.