🔢 mathematics

Dirichlet improvability in $L_p$ -norms

Este artículo proporciona una caracterización completa de los números $F$ -Dirichlet mejorables en términos de patrones de fracciones continuas para las normas $L_p$ , resolviendo preguntas abiertas de Kleinbock y Rao con respecto a la dimensión de Hausdorff completa de diferencias de conjuntos específicos y determinando el rango preciso de $p$ para el cual el número $e$ es Dirichlet mejorable.

Autores originales: Nikolay Moshchevitin, Nikita Shulga

Publicado 2026-06-23

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Nikolay Moshchevitin, Nikita Shulga

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que estás intentando adivinar un número secreto, $\alpha$ , usando fracciones como $1/2$ , $3/4$ o $22/7$ . En el mundo de las matemáticas, esto se llama aproximación diofántica. El objetivo es ver qué tan cerca puede una fracción "abrazar" al número secreto sin ser realmente él.

Durante más de un siglo, los matemáticos han conocido una regla (el Teorema de Dirichlet) que dice: "No importa cuál sea tu número secreto, siempre puedes encontrar una fracción lo suficientemente cercana". Sin embargo, para algunos números muy obstinados, no puedes acercarte demasiado. Estos son los números Mal Aproximables. Son los números "poco cooperativos" del mundo matemático.

Este artículo, escrito por Nikolay Moshchevitin y Nikita Shulga, explora una nueva forma de medir la "cercanía". En lugar de usar la regla estándar (la distancia habitual), usan diferentes formas de "reglas" llamadas normas $L_p$ .

Las Diferentes Reglas

Piensa en estas normas como diferentes formas de medir la distancia en una ciudad:

La Norma del Taxi ( $L_1$ ): Solo puedes conducir por las manzanas de la ciudad (arriba, abajo, izquierda, derecha). La distancia es la suma de los pasos.
La Norma de Línea Recta ( $L_2$ ): Puedes volar en diagonal. Es la distancia euclidiana estándar.
La Norma "Máxima" ( $L_\infty$ ): Solo te importa el paso individual más largo que diste, ignorando los demás.

Los autores preguntan: Si cambiamos la regla, ¿cambia la lista de números "poco cooperativos"?

El Gran Descubrimiento: Un Código Secreto

El artículo es un gran avance porque encontró un "anillo de decodificación" para estos números. Descubrieron que si un número es "mejorable" (fácil de aproximar) o "no mejorable" (difícil de aproximar) depende enteramente del patrón de números dentro de su fracción continua.

Una fracción continua es como una receta para un número, escrita como una lista de enteros: $[a_0; a_1, a_2, a_3, \dots]$ .

La Regla Antigua: Para la regla estándar ( $L_\infty$ ), un número es obstinado si su receta contiene números enormes que siguen creciendo indefinidamente.
La Nueva Regla: Los autores descubrieron que para otras reglas ( $L_1$ , $L_2$ , etc.), la "obstinación" depende de patrones simétricos específicos en la receta.

Imagina que la receta es una canción.

Para la Norma del Taxi ( $L_1$ ), la canción es obstinada si tiene un estribillo muy específico, casi simétrico, que se repite con un volumen creciente.
Para la Norma de Línea Recta ( $L_2$ ), la canción es obstinada si tiene un patrón específico donde dos partes de la canción se multiplican para igualar a 3.
Para la Norma Máxima ( $L_\infty$ ), se trata simplemente de tener números enormes.

Los autores mapearon exactamente qué patrones hacen que un número sea obstinado para cada tipo de regla.

Los Resultados Sorprendentes

Usando este mapeo de patrones, resolvieron varios acertijos que antes no tenían solución:

Los Números "Intermedios":
Demostraron que existe una multitud masiva e infinita de números que son "mejorables" (fáciles de aproximar) con una regla pero "no mejorables" (difíciles) con otra.
- Analogía: Imagina un número que es fácil de atrapar con una red hecha de cuadrados (norma del Taxi) pero imposible de atrapar con una red hecha de círculos (norma de línea recta). Los autores mostraron que el conjunto de estos números "cambiaformas" es tan vasto que tiene "dimensión completa" (es tan grande como toda la recta numérica en un sentido matemático).
El Misterio del Número $e$ :
Aplicaron sus nuevas reglas al famoso número $e$ (la base de los logaritmos naturales, aproximadamente 2.718).
- Descubrieron que $e$ es fácil de aproximar con la regla del Taxi ( $L_1$ ) y la regla de línea recta ( $L_2$ ).
- Sin embargo, $e$ se vuelve obstinado (difícil de aproximar) si usas una regla con un "estiramiento" específico entre 2 y una constante especial llamada $p_0$ (aprox. 2.57), o si usas una regla aún más estirada que esa.
- En términos simples: $e$ es un camaleón. Se comporta de manera diferente dependiendo de qué "regla" uses para medirlo.
La Constante "Crítica" ( $p_0$ ):
Hay un número mágico, $p_0 \approx 2.57$ , donde las reglas del juego cambian por completo. Por debajo de este número, los patrones requeridos para ser "obstinado" son una cosa; por encima, son otra cosa. Los autores identificaron este punto de inflexión y describieron exactamente cómo las reglas se invierten.

Por Qué Esto Importa (Según el Artículo)

El artículo no habla de construir puentes o curar enfermedades. En su lugar, resuelve un enigma teórico profundo sobre la estructura de los números.

Conecta la forma abstracta de una "regla" con la secuencia específica de dígitos en la receta de un número.
Demuestra que la diferencia entre estos distintos tipos de números no es solo una pequeña mota, sino un paisaje masivo y complejo.
Proporciona un "manual de instrucciones" completo para determinar si un número es obstinado simplemente mirando el patrón de su fracción continua.

En resumen, los autores tomaron un problema complejo sobre la medición de números con diferentes formas y lo convirtieron en un juego de reconocimiento de patrones, revelando que el universo de los números es mucho más diverso y estructurado de lo que se pensaba anteriormente.

Resumen Técnico: Mejorabilidad de Dirichlet en Normas $L^p$

Planteamiento del Problema

El artículo aborda la clasificación de los números de Dirichlet mejorables con respecto a las normas generales $L^p$ en $\mathbb{R}^2$ . Mientras que el caso clásico de la norma del supremo ( $L^\infty$ ) está bien comprendido —donde un número es de Dirichlet mejorable si y solo si no es mal aproximable (Teorema B)—, el comportamiento de estos conjuntos para otras normas ( $1 \le p < \infty$ ) permanecía en gran medida abierto.

Específicamente, los autores abordan tres problemas interconectados:

Clasificación (Problema I): ¿Se pueden caracterizar los números de Dirichlet mejorables en $p$ ( $DI_p$ ) en términos de los patrones encontrados en sus expansiones de fracciones continuas regulares, de forma análoga al resultado clásico para $L^\infty$ ?
Tamaño Métrico de las Diferencias (Problema II): ¿Tiene el conjunto diferencia $DI_p \setminus BA$ (números que son $p$ -mejorables pero no mal aproximables) dimensión de Hausdorff completa? Esta fue una pregunta abierta planteada por Kleinbock y Rao para la norma euclidiana ( $p=2$ ).
Tamaño Comparativo (Problema III): ¿Cuál es el tamaño de la diferencia entre los conjuntos de números mejorables para dos normas distintas, específicamente $DI_{p_1} \setminus DI_{p_2}$ ?

Metodología

Los autores emplean una combinación de geometría de los números, sistemas dinámicos y teoría métrica de fracciones continuas.

Correspondencia de Dani y Redes Críticas:
El estudio utiliza la correspondencia de Dani para traducir problemas de aproximación diofántica en la dinámica de trayectorias de redes en el espacio de redes unimodulares. Un número $\alpha$ es de Dirichlet no mejorable en $F$ si y solo si la trayectoria de la red $\Lambda_\alpha(t)$ acumula en una red crítica para la bola unidad $B_F$ de la norma $F$ .
Los autores dependen fuertemente de la clasificación de las redes críticas para las bolas unidad $L^p$ ( $B_p$ ), un resultado completado por Glazunov, Golovanov y Malyshev [14]. Esta clasificación revela una bifurcación estructural en una constante crítica $p_0 \approx 2.57$ .
Análisis de Patrones en Fracciones Continuas:
Al analizar el comportamiento límite de las trayectorias de las redes que convergen a redes críticas, los autores derivan condiciones necesarias y suficientes para la no mejorabilidad en $p$ . Estas condiciones se expresan como la ocurrencia de patrones palindrómicos o simétricos específicos en los cocientes parciales de la expansión de la fracción continua de $\alpha$ .
- Para $2 < p < p_0$ , la no mejorabilidad corresponde a patrones como $x, 1, 1, y$ o $x, 2, y$ con $x, y$ grandes.
- Para $p \in (1, 2) \cup (p_0, \infty)$ , los patrones dependen de la expansión de la fracción continua de una constante específica $\varsigma_p$ (la raíz de $\varsigma + (1+\varsigma)^p = 2$ ).
Límites de la Dimensión de Hausdorff:
Para probar que ciertos conjuntos tienen dimensión de Hausdorff completa, los autores construyen subconjuntos de números mal aproximables ($BA$) insertando patrones específicos en sus fracciones continuas. Utilizan una técnica de mapeo de espacio simbólico (Lema 9.1) para mostrar que la inserción de estos patrones preserva la dimensión completa del conjunto subyacente mientras altera sus propiedades diofánticas. Esto implica demostrar que el mapa de inserción es localmente Lipschitz y que su inversa es localmente Hölder continua.

Contribuciones Clave y Resultados

1. Clasificación Completa (Teorema 3.1)

El artículo proporciona una caracterización completa y efectiva del conjunto $DI_p^c$ (el complemento de los números de Dirichlet mejorables en $p$ ) para todo $p \in [1, \infty)$ .

Caso $2 < p < p_0$ : $\alpha \in DI_p^c$ si y solo si su fracción continua contiene los patrones $x, 1, 1, y$ o $x, 2, y$ con $\min(x, y) \to \infty$ .
Caso $p \in (1, 2) \cup (p_0, \infty)$ : La condición depende de $\varsigma_p$ . Si $\varsigma_p$ es racional, deben ocurrir patrones palindrómicos finitos específicos que involucren los dígitos de $\varsigma_p$ . Si $\varsigma_p$ es irracional, deben ocurrir patrones palindrómicos arbitrariamente largos derivados de la fracción continua de $\varsigma_p$ .
Caso $p=1$ y $p=2$ : La caracterización involucra patrones simétricos más complejos y, para $p=2$ , pares de números $\beta, \beta^*$ que satisfacen $\beta \cdot \beta^* = 3$ .

2. Resolución de Preguntas Abiertas sobre Dimensión

Teorema 1.1: Para cualquier $p \in [1, \infty)$ , el conjunto $DI_p \setminus BA$ tiene dimensión de Hausdorff completa (dimensión 1). Esto resuelve la pregunta abierta de Kleinbock y Rao para $p=2$ y la generaliza a todas las normas $L^p$ . Los autores señalan explícitamente que esto falla para $p=\infty$ (donde $DI_\infty \setminus BA = \mathbb{Q}$ ).
Teorema 1.2: Los conjuntos $DI_2 \setminus DI_1$ y $DI_1 \setminus DI_2$ también tienen dimensión de Hausdorff completa. Esto demuestra que los conjuntos de números mejorables para diferentes normas $L^p$ son distintos y que sus diferencias son "grandes" en un sentido fractal.

3. Caracterización de Constantes Específicas

Corolario 3.9: Los autores aplican su clasificación al número $e$ . Demuestran que $e \in DI_p$ si y solo si $p \in (1, 2) \cup (p_0, \infty)$ . En consecuencia, $e$ no es de Dirichlet mejorable en $p$ para $p \in [2, p_0]$ .
Corolario 3.8: El conjunto de valores $p$ para los cuales existen números mal aproximables de Dirichlet no mejorables en $p$ es denso en $(1, 2) \cup (p_0, \infty)$ , tiene medida de Lebesgue cero y tiene dimensión de Hausdorff completa.

4. Verificación de la Conjetura de Minkowski

El artículo incluye una verificación independiente de la prueba de la conjetura de Minkowski respecto a las redes críticas para las bolas $L^p$ (Apéndice A), abordando la falta de código en la prueba original de Glazunov et al. [14].

Significado y Reivindicaciones

El artículo afirma proporcionar la primera clasificación completa y efectiva de los números de Dirichlet mejorables para las normas $L^p$ en términos de patrones de fracciones continuas. Esto cierra la brecha entre la teoría clásica de $L^\infty$ y la geometría más compleja de otras normas.

La importancia radica en:

Unificación: Unifica la comprensión de la mejorabilidad de Dirichlet a través de toda la familia de las normas $L^p$ , revelando una transición de fase en $p_0 \approx 2.57$ .
Resolución Métrica: Resuelve la cuestión del "tamaño" de los conjuntos $DI_p \setminus BA$ y $DI_{p_1} \setminus DI_{p_2}$ , mostrando que no son meramente no vacíos, sino que tienen la máxima dimensión de Hausdorff posible.
Aplicaciones Específicas: Proporciona una respuesta definitiva sobre las propiedades diofánticas del número $e$ bajo las normas $L^p$ , un caso específico de la clasificación general.

Los autores enfatizan que sus resultados se derivan de la clasificación de las redes críticas y de la teoría de las fracciones continuas, evitando argumentos heurísticos. El trabajo confirma que, si bien casi todos los números son no mejorables (Teorema C), el conjunto de números mejorables es estructuralmente rico y varía significamente con la elección de la norma $p$ .