Sobre la ecuación de Ratat-Goormaghtigh y puntos enteros cercanos a la gráfica de una función suave

Información Básica

• ID del artículo: 2510.11252
• Título: Sobre la ecuación de Ratat-Goormaghtigh y puntos enteros cercanos a la gráfica de una función suave
• Autor: Tomohiro Yamada (Centro de Idioma y Cultura Japonesa, Universidad de Osaka)
• Clasificación: math.NT (Teoría de Números)
• Fecha de publicación: 13 de octubre de 2025
• Enlace del artículo: https://arxiv.org/abs/2510.11252

Resumen

En este artículo se demuestra que para un entero dado $N$, en las soluciones enteras de la ecuación diofántica $(x^m-1)/(x-1)=N$ bajo las condiciones $x,m\geq 2$, la suma de los recíprocos $1/x$ de todas las soluciones excepto la más pequeña es menor que 5.9037. Cuando se restringe $x$ a números primos, esta suma es menor que 0.73194.

Antecedentes de investigación y motivación

Origen del problema

Esta investigación surge de la célebre ecuación de Ratat-Goormaghtigh: $N = \frac{x^m-1}{x-1} = \frac{y^n-1}{y-1}$ donde $x,y\geq 2$ y $m,n\geq 3$ son enteros.

Esta ecuación tiene una larga historia:

1. Ratat (1916) descubrió la solución $(x,m,y,n,N) = (2,5,5,3,31)$
2. Goormaghtigh (1917) descubrió otra solución $(x,m,y,n,N) = (2,13,90,3,8191)$
3. Actualmente se conjetura que estas son las únicas dos soluciones

Motivación de la investigación

Aunque el estudio de la ecuación completa de Ratat-Goormaghtigh es difícil, el problema de la distribución de soluciones de la ecuación individual $(x^m-1)/(x-1) = N$ es igualmente importante y más manejable. Los resultados conocidos incluyen:

• Loxton: El número de soluciones es a lo sumo $\log^{1/2+o(1)} N$
• Luca: Cuando $x$ es primo, hay cotas superiores más precisas para el número de soluciones

Innovación

Este artículo adopta un método geométrico, transformando el problema en el estudio de la distribución de puntos enteros cerca de la gráfica de una función suave, lo que contrasta con los métodos aritméticos de Luca y otros.

Contribuciones principales

1. Teorema principal 1: Se demuestra que la suma de recíprocos de todas las soluciones excepto la más pequeña satisface $\sum_{i\geq 2} \frac{1}{x_i} < 5.9037$
2. Teorema principal 2: Cuando se restringe $x$ a números primos, $\sum_{i\geq 2} \frac{1}{q_i} < 0.73194$
3. Propiedades asintóticas: Se demuestra que cuando $N\to\infty$, la suma de recíprocos tiende a 0
4. Innovación metodológica: Se establece una conexión entre ecuaciones diofánticas y el conteo de puntos enteros cerca de funciones suaves

Explicación detallada del método

Definición de la tarea

Dado un entero positivo $N$, encontrar todos los pares de enteros $(x,m)$ que satisfacen $(x^m-1)/(x-1) = N$, donde $x\geq 2$ y $m\geq 2$.

Transformación de la idea central

Mediante una transformación logarítmica, la ecuación original se transforma en: $m \log x - \log(x-1) - \log N = \log\left(\frac{x^m}{x^m-1}\right)$

Esto conduce a la desigualdad clave: $0 < m - f_N(x) < \frac{1}{N\log x}$ donde $f_N(x) = \frac{\log N + \log(x-1)}{\log x}$

Método de geometrización

El problema se transforma en el estudio del conjunto: $\left\{x \in \mathbb{Z}_{\geq 2} : \|f_N(x)\| < \frac{1}{N\log x}\right\}$ donde $\|t\|$ denota la distancia de $t$ al entero más cercano.

Herramientas técnicas

1. Conteo de puntos enteros cerca de funciones suaves

Se utilizan resultados de Huxley y otros (Lema 2.1): Para una función $f$ con $k$ derivadas continuas, si la $k$-ésima derivada satisface $\lambda \leq |f^{(k)}(x)| \leq c\lambda$, entonces $R(f,M,\delta) \leq \alpha M\lambda^{2/(k^2+k)} + 4k$

2. Cotas inferiores de formas lineales logarítmicas

Se utiliza el teorema de Matveev para obtener una cota inferior para la segunda solución más pequeña $x_2$: $x_2 > \log^{0.33479} N$

3. Análisis de la función $f_N(x)$

Cálculo detallado de las expresiones y estimaciones de $f_N^{(k)}(x)$: $f_N^{(k)}(x) = \frac{(-1)^k}{\log^{k+1} x}\left(P_{k,k}(\log x)\frac{\log N + \log(x-1)}{x^k} - \sum_{r=1}^k \frac{P_{k,r}(\log x)}{x^r(x-1)^{k-r}}\right)$

Configuración experimental

Estrategia de cálculo numérico

1. Tratamiento por intervalos: Se seleccionan diferentes valores de $k$ según el tamaño de $N$ para optimizar las estimaciones
2. Optimización de constantes: Se determinan numéricamente las constantes óptimas $C_k$, $\gamma_k$, $\tau_k$
3. Casos límite: Se tratan especialmente los casos donde $N < 10^{100000}$

Selección de parámetros

• Para diferentes valores $k = 1,2,\ldots,6$, se elige $M_k = \min\{2^n M_6 : 2^n M_6 \geq \log^{2/k} N\}$
• $M_6 = \min\{10^5, \log^{0.33479} N\}$

Resultados experimentales

Resultados principales

Teorema 1.1: $\sum_{i\geq 2} \frac{1}{x_i} < 5.9037$

Teorema 1.2: Cuando $x$ se restringe a números primos, $\sum_{i\geq 2} \frac{1}{q_i} < 0.73194$$\prod_{i\geq 2} \frac{q_i}{q_i-1} < 2.07913$

Estimaciones técnicas

Mediante análisis detallado se obtiene la siguiente tabla de constantes clave:

Comportamiento asintótico

Se demuestra que $\sum_{i\geq 2} \frac{1}{x_i} \to 0$ cuando $N \to \infty$.

Trabajos relacionados

Desarrollo histórico

1. Resultados clásicos: Historia de la conjetura de Ratat-Goormaghtigh
2. Avances modernos:
   • Cotas generales de Loxton
   • Resultados de Luca para el caso de números primos
   • Casos de parámetros pequeños de Bennett y otros

Comparación de métodos

• Método aritmético: Luca utiliza teoría de números elemental y métodos de criba
• Método geométrico: Este artículo utiliza conteo de puntos enteros cerca de funciones suaves
• Método analítico: Utiliza estimaciones de cotas inferiores de formas lineales logarítmicas

Conclusiones y discusión

Conclusiones principales

1. Se proporcionan cotas numéricas explícitas para la distribución de soluciones del caso unilateral de la ecuación de Ratat-Goormaghtigh
2. Se demuestra la acotación y las propiedades asintóticas de la suma de recíprocos de las soluciones
3. Se establece una nueva conexión entre ecuaciones diofánticas y conteo geométrico de puntos enteros

Limitaciones

1. La constante 5.9037 posiblemente no es óptima
2. El método se aplica principalmente a ecuaciones de la forma $(x^m-1)/(x-1) = N$
3. La generalización a ecuaciones diofánticas exponenciales generales es limitada

Direcciones futuras

1. Mejorar las cotas de las constantes
2. Generalizar a ecuaciones diofánticas exponenciales más generales
3. Investigar casos multivariables

Evaluación profunda

Ventajas

1. Innovación metodológica: Nuevo enfoque de geometrización para tratar ecuaciones diofánticas
2. Resultados precisos: Se proporcionan constantes numéricas explícitas
3. Técnica rigurosa: Análisis detallado de funciones y estimaciones de errores
4. Marco teórico completo: Marco teórico completo desde el método hasta la aplicación

Deficiencias

1. Complejidad computacional: Implica grandes cantidades de cálculos numéricos y análisis de casos
2. Optimización de constantes: Algunas constantes posiblemente aún pueden mejorarse
3. Generalidad: El grado de generalización del método es limitado

Impacto

1. Contribución teórica: Proporciona una nueva perspectiva para la investigación de ecuaciones diofánticas
2. Valor técnico: Nueva aplicación de métodos de conteo de puntos enteros
3. Practicidad: Proporciona cotas numéricas concretas para problemas relacionados

Escenarios de aplicación

1. Investigación de la distribución de soluciones de ecuaciones diofánticas exponenciales
2. Problemas de conteo de puntos enteros cerca de funciones suaves
3. Problemas de estimaciones explícitas en teoría de números

Referencias

El artículo cita literatura importante en este campo, incluyendo la teoría de formas lineales logarítmicas de Matveev, resultados de conteo de puntos enteros de Huxley, y avances recientes de Luca y Bennett en la ecuación de Ratat-Goormaghtigh.

Resumen de puntos técnicos: Este artículo, mediante una transformación logarítmica ingeniosa, convierte el problema de ecuaciones diofánticas en un problema de distribución de puntos enteros cerca de la gráfica de una función suave, utilizando la teoría moderna de conteo de puntos enteros en teoría analítica de números y estimaciones de cotas inferiores de formas lineales logarítmicas, obteniendo resultados numéricos precisos para este problema clásico. Este método de tratamiento geométrico abre un nuevo camino técnico para la investigación de ecuaciones diofánticas relacionadas.