🔢 mathematics

Anomalous Partial Quotients in the Continued Fraction of $\sqrt{ζ(3)-S_N}$

Este artículo demuestra que para índices específicos $N_k$ derivados de los números de Pell acompañantes, la fracción continua de $\sqrt{\zeta(3)-S_{N_k}}$ exhibe cocientes parciales anómalos, incluyendo un término de crecimiento cúbico, combinando expansiones de Euler--Maclaurin con identidades de Pell y verificando los resultados utilizando el asistente de pruebas LEAN.

Autores originales: David Victor Feldman

Publicado 2026-07-07

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: David Victor Feldman

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 medir la longitud de una cuerda invisible y muy extraña. Esta cuerda representa una pequeña brecha entre una constante matemática famosa (llamada $\zeta(3)$ ) y una suma específica de números. Normalmente, cuando los matemáticos intentan medir esta brecha usando una herramienta especial llamada "fracción continua", los números que obtienen son predecibles y crecen de forma constante y aburrida —como una escalera donde cada escalón tiene aproximadamente el mismo tamaño.

Sin embargo, este artículo descubre un atajo secreto. En ubicaciones muy específicas y poco comunes a lo largo de la recta numérica (llamadas índices de Pell), el comportamiento de esta cuerda cambia drásticamente. Es como si estuvieras subiendo una escalera normal y, de repente, cada tercer escalón se convirtiera en un salto gigante, mientras que los escalones intermedios se vuelven saltitos diminutos, casi invisibles.

Aquí tienes un desglose de lo que el artículo realmente descubrió, utilizando analogías sencillas:

1. El comportamiento "normal" frente a la "anomalía"

Piensa en la fracción continua como una receta para descomponer un número en una secuencia de números enteros (cocientes parciales).

La regla genérica: Para la mayoría de los números, estos pasos de la receta crecen de forma lenta y lineal. Si vas del paso 1 al 100, los números se vuelven un poco más grandes, pero no por mucho.
La anomalía: El autor, David Feldman, descubrió que en "números mágicos" específicos (derivados de una secuencia llamada números de Pell), la receta se descontrola.
- El primer número de la secuencia es enorme (crecimiento lineal).
- El segundo número es simplemente "1" (diminuto).
- ¡El tercero explota! Crece de forma cúbica. Si el primer número es 10, el tercero podría ser 1,000 o 10,000. Es como una escalera donde un escalón es un rascacielos.
- El cuarto número vuelve a ser "1".
- El quinto y el sexto siguen un patrón complejo y repetitivo basado en restos.

2. Los "números mágicos" (La conexión con Pell)

¿Por qué sucede esto solo en puntos específicos? El artículo vincula esto a una familia especial de números llamados números de Pell (0, 1, 2, 5, 12, 29...).

Imagina que estos números son llaves para una puerta oculta. Cuando introduces un número de Pell en la fórmula de nuestra "cuerda invisible", las matemáticas se alinean perfectamente.
El artículo demuestra que, en estas llaves específicas, las partes irracionales de la matemática (las raíces cuadradas complicadas) se cancelan de una manera muy precisa, dejando atrás un patrón limpio y predecible que revela el "salto gigante" (el crecimiento cúbico).

3. Cómo lo demostraron (La danza de dos pasos)

El autor no solo adivinó este patrón; lo demostró utilizando dos métodos diferentes, como comprobar un mapa con dos brújulas distintas:

Método A: El telescopio de alta precisión (Expansión de Euler-Maclaurin)
El autor utilizó un poderoso telescopio matemático para hacer un zoom sobre la "brecha" con una precisión extrema. Expandió la fórmula en una larga serie de términos. Al calcular los primeros términos con una precisión extrema, pudo ver exactamente dónde aterrizaría el "suelo" (la parte entera) de los números. Esto confirmó el salto cúbico gigante.
Método B: El truco de la "racionalización"
La parte más difícil fue demostrar el primer número de la secuencia. Para lograrlo, el autor utilizó un truco ingenioso llamado "racionalización".
- Analogía: Imagina que tienes un número irracional tambaleante (como $\sqrt{2}$ ) multiplicado por una fracción. Es difícil de medir. Pero si multiplicas el numerador y el denominador por un "conjugado" específico (un número compañero), la raíz cuadrada problemática desaparece y te queda un número racional limpio.
- Al hacer esto, el autor demostró que el valor se encuentra estrictamente entre dos enteros (específicamente, entre $M-1$ y $M$ ), probando exactamente cuál debe ser el primer número de la secuencia.

4. La verificación por computadora

El artículo menciona que todas estas afirmaciones han sido comprobadas por un programa de computadora llamado Lean (con la ayuda de una herramienta llamada Aristotle).

Analogía: Piensa en esto como un árbitro superestricto. El autor escribió la demostración y la computadora leyó cada paso lógico para asegurar que no hubiera errores, pasos omitidos o "palabrería". La computadora dio la "luz verde" a todo el argumento.

5. ¿Qué pasa con el resto? (Preguntas abiertas)

El artículo no pretende resolverlo todo. Deja algunos misterios sobre la mesa:

La conjetura "heurística": El autor tiene una fuerte corazonada (una heurística) sobre cómo se ven los números antes de que entren en juego los índices de Pell mágicos, pero aún no ha demostrado rigurosamente los primeros pasos de esa conjetura. Es como ver un patrón en las nubes pero no tener aún la física para probarlo.
Más allá del sexto paso: El artículo calcula perfectamente los primeros seis números de la secuencia. ¿Qué sucede en el séptimo, octavo o centésimo paso? El patrón se vuelve complicado y el autor admite que describir el comportamiento completo a largo plazo sigue siendo un problema abierto.
¿Por qué $\zeta(3)$ ? El autor explica que este "estallido cúbico" específico solo ocurre debido al poder específico de los números involucrados (relacionado con el número 3). Si cambiaras las matemáticas ligeramente, el salto gigante no sucedería.

Resumen

En resumen, este artículo es el descubrimiento de un fallo matemático (o una característica, dependiendo de cómo se mire). Muestra que, para un número específico y difícil de calcular, las reglas habituales de "qué tan grande es el siguiente número" se rompen en intervalos específicos, creando una secuencia con un salto masivo de tamaño cúbico. El autor demostró esto utilizando matemáticas de alta precisión, trucos algebraicos ingeniosos y verificación por computadora, revelando una estructura oculta en los números que antes era invisible.

Resumen Técnico: Cocientes Parciales Anómalos en la Fracción Continua de $\sqrt{\zeta(3) - S_N}$

Planteamiento del Problema
El artículo investiga el comportamiento de la expansión de la fracción continua simple de la cantidad $\sqrt{R_N}$ , donde $R_N = \zeta(3) - S_N$ y $S_N = \sum_{j=1}^N j^{-3}$ . Mientras que los cocientes parciales de $\sqrt{R_N}$ son genéricamente de orden $O(N)$ , el autor identifica una secuencia específica de índices $N_k$ donde la expansión exhibe un comportamiento "anómalo". Específicamente, en estos índices, el tercer cociente parcial crece cúbicamente con respecto a los números de Pell asociados, desviándose significativamente del crecimiento lineal observado en los casos genéricos.

Metodología
La demostración es autónoma y procede en dos etapas distintas, combinando la teoría analítica de números con la verificación formal:

Expansión de Euler–Maclaurin y Racionalización (Etapas 1 y 2):
- El autor utiliza la expansión de Euler–Maclaurin para aproximar $1/\sqrt{R_{N_k}}$ con alta precisión. Una característica algebraica crítica de los índices elegidos $N_k$ es que permiten la cancelación de términos irracionales (específicamente $\sqrt{2}$ ) cuando la expansión se expresa en términos de los números de Pell $M_k = P_{2k+1}$ y los números de Pell compañeros $Q_{2k+1}$ .
- Esto conduce a una expansión de polinomios de Laurent en $M_k$ con coeficientes racionales.
- Para establecer rigurosamente el primer cociente parcial ( $PQ_0$ ), el artículo emplea un argumento de "racionalización". Al multiplicar el término irracional $\sqrt{R_N}$ por una aproximación racional derivada de la identidad de Pell $Q^2 - 2M^2 = -1$ , el autor acota el valor dentro del intervalo $(M_k - 1, M_k)$ , probando que $PQ_0 = M_k - 1$ .
Cadena de Fracción Continua y Derivación Heurística:
- Utilizando la expansión de alta precisión, se realizan sucesivos pasos de "suelo e inversión" (floor-and-invert) para derivar los primeros seis cocientes parciales.
- Se proporciona una derivación heurística utilizando el algoritmo de fracciones continuas bihomogámicas de Gosper. Este algoritmo trata el problema como la fracción continua de un producto de dos números ( $1/\sqrt{R_N} = 1/(\sqrt{R_N/2} \cdot \sqrt{2})$ ), ofreciendo una visión de por qué los índices de Pell crean una resonancia que produce el término cúbico anómalo.

Resultos Clave
El artículo establece el Teorema 1.1, que determina explícitamente los primeros seis cocientes parciales de la fracción continua para $\sqrt{R_{N_k}}$ para todo $k \geq 3$ . Sea $M_k = P_{2k+1}$ y $r_k = (10M_k) \pmod{261}$ . La expansión comienza:
$\sqrt{R_{N_k}} = [0; M_k - 1, 1, 6M_k^3 + 12M_k - 2, 1, \lfloor \frac{10M_k - 261}{261} \rfloor, \lfloor \frac{261}{r_k} \rfloor + \epsilon_k, \dots]$
donde $\epsilon_k = -1$ si $r_k$ divide a 261 (ocurriendo en índices periódicos específicos) y $0$ de lo contrario.

Tasas de Crecimiento: Los cocientes parciales exhiben comportamientos de crecimiento distintos:
- $PQ_0 \sim M_k$ (Lineal)
- $PQ_1 = 1$
- $PQ_2 \sim 6M_k^3$ (Cúbico, la anomalía principal)
- $PQ_3 = 1$
- $PQ_4 \sim \frac{10}{261}M_k$ (Lineal)
- $PQ_5$ es acotado (a lo sumo 261) y depende de la recurrencia modular de $r_k$ .
Formalización: Todos los resultados reclamados han sido formalizados en el asistente de pruebas LEAN con la ayuda de la biblioteca Aristotle. La formalización incluye las cotas de Euler–Maclaurin y la prueba de racionalización para el primer cociente parcial.

Significancia y Problemas Abiertos
El artículo destaca la naturaleza "delicada" del primer paso ( $PQ_0 = M_k - 1$ ), que depende de la cancelación precisa de los términos $\sqrt{2}$ inherentes a los índices de Pell. El crecimiento cúbico de $PQ_2$ se identifica como el mecanismo que hace que estos índices sean excepcionales.

El autor señala varias limitaciones y problemas abiertos:

Heurístico vs. Riguroso: Aunque los primeros seis cocientes están probados, una derivación heurística para la fracción continua de la función intermedia $g(N) = \sqrt{R_N/2}$ (Conjetura 4.1) permanece sin probar para los índices más pequeños ( $k=1$ ) debido a las cotas del resto. Esta es la única afirmación no probada en la formalización de Lean que acompaña al texto.
Generalización: La anomalía cúbica específica está ligada a $\zeta(3)$ (donde $s=3$ ). Para otros valores impares de $s$ , la tasa de crecimiento principal cambia y el mecanismo de resonancia se rompe.
Direcciones Futuras: El artículo plantea preguntas sobre la estructura cuasi-periódica completa de los cocientes parciales más allá de $PQ_5$ , posibles conexiones con las demostraciones de irracionalidad de Apéry para $\zeta(3)$ , y si estas aproximaciones específicas producen nuevos resultados de irracionalidad o trascendencia.