On mixed $b$-concatenations of Fibonacci and Lucas numbers that are Lucas numbers

A continuación presento un resumen técnico detallado del artículo "On mixed b-concatenations of Fibonacci and Lucas numbers that are Lucas numbers" (Sobre las concatenaciones mixtas en base $b$ de números de Fibonacci y Lucas que son números de Lucas), escrito por Herbert Batte y Prosper Kaggwa.

1. Planteamiento del Problema

El objetivo central del trabajo es determinar todos los números de Lucas ($L_n$) que pueden expresarse como concatenaciones mixtas en una base $b$ (donde $2 \le b \le 10$) de un número de Fibonacci ($F_m$) y un número de Lucas ($L_k$), o viceversa.

Matemáticamente, el problema se formula mediante dos ecuaciones diofánticas en enteros no negativos $n, m, k$:

1. Caso 1: $L_n = L_m \cdot b^d + F_k$
2. Caso 2: $L_n = F_m \cdot b^d + L_k$

Donde:

• $d$ representa el número de dígitos del número concatenado (ya sea $F_k$ o $L_k$) en la base $b$.
• La operación $x \cdot b^d + y$ modela la concatenación de los dígitos de $x$ seguidos por los dígitos de $y$.

El estudio se enmarca en la investigación de términos de secuencias de recurrencia lineal que son concatenaciones de otros términos de la misma o de secuencias relacionadas. El trabajo extiende resultados previos sobre concatenaciones dentro de una sola secuencia (como Fibonacci-Fibonacci) a un escenario mixto (Fibonacci-Lucas) y en bases arbitrarias.

2. Metodología

Los autores emplean una combinación de herramientas avanzadas de Teoría de Números y Aproximación Diofántica para resolver las ecuaciones. El enfoque se divide en dos etapas principales:

A. Acotación de Variables (Método de Baker)

Para demostrar que el número de soluciones es finito, primero se establecen cotas superiores muy grandes para las variables $n, m, k$.

• Se utilizan las fórmulas de Binet para $F_n$ y $L_n$, que involucran el número áureo $\alpha = \frac{1+\sqrt{5}}{2}$ y su conjugado $\beta = \frac{1-\sqrt{5}}{2}$.
• Se aplican desigualdades de aproximación para relacionar $n, m$ y $k$ (por ejemplo, demostrando que $n \approx m+k$).
• Se utiliza el Teorema de Matveev (una versión refinada de los resultados de Baker sobre formas lineales en logaritmos) para obtener cotas explícitas para las formas lineales no nulas en logaritmos de números algebraicos. Esto permite establecer una cota superior inicial para $n$ del orden de $10^{27}$ a $10^{30}$, dependiendo de la base $b$.

B. Reducción de Cotas (Método de Baker-Davenport)

Las cotas obtenidas con el Teorema de Matveev son demasiado grandes para una búsqueda computacional directa. Por lo tanto, se aplica un método de reducción:

• Se utiliza el Lema de Baker-Davenport, refinado por Dujella y Pethő, basado en la teoría de fracciones continuas.
• Este método permite reducir drásticamente la cota superior de $n$ (de $10^{30}$ a valores menores a 250) analizando los convergentes de la expansión en fracción continua de $\frac{\log b}{\log \alpha}$.
• Una vez reducida la cota, se realiza una búsqueda computacional exhaustiva utilizando el software SageMath (con precisión de hasta 1000 dígitos) para verificar todas las posibles soluciones dentro del rango reducido.

3. Contribuciones Clave y Resultados

El artículo proporciona una clasificación completa de las soluciones para todas las bases $b$ entre 2 y 10.

Teorema 1.1 (Ecuación $L_n = L_m \cdot b^d + F_k$)

Se determinan todas las soluciones para esta ecuación.

• Resultado principal: Solo existen un número finito de soluciones.
• Caso Base 10 (Decimal): Las únicas soluciones son:
  • $L_5 = 11 = 101 \cdot L_1 + F_1$ (o $F_2$).
  • $L_6 = 18 = 101 \cdot L_1 + F_6$.
• Se listan todas las soluciones para bases binarias, ternarias, etc., mostrando patrones específicos para cada base.

Teorema 1.2 (Ecuación $L_n = F_m \cdot b^d + L_k$)

Se determinan todas las soluciones para la segunda forma de concatenación.

• Resultado principal: Al igual que en el caso anterior, el conjunto de soluciones es finito.
• Caso Base 10 (Decimal): La única solución es:
  • $L_5 = 11 = 101 \cdot F_1 + L_1$ (o $F_2$).

Observaciones sobre los resultados:

• La mayoría de las soluciones ocurren para valores pequeños de $n, m, k$.
• El número de soluciones varía significativamente según la base $b$. Por ejemplo, la base 2 tiene muchas más soluciones listadas que la base 10.
• Se demuestra rigurosamente que no existen soluciones "grandes" (donde $n > 1500$), lo que confirma la finitud del conjunto de soluciones.

4. Significado e Impacto

• Extensión de Teoría: Este trabajo generaliza problemas anteriores de concatenación (que se centraban en secuencias puras como Fibonacci-Fibonacci o Pell-Pell) a un escenario mixto (Fibonacci-Lucas), demostrando que las técnicas de aproximación diofántica son robustas para manejar combinaciones de diferentes secuencias de recurrencia.
• Metodología Estándar: El artículo sirve como un ejemplo claro y aplicable de cómo combinar el Teorema de Matveev (para cotas teóricas) con el método de reducción de Baker-Davenport (para cotas computacionales) en problemas de teoría de números computacional.
• Futuras Direcciones: Los autores sugieren que estos resultados podrían extenderse a secuencias de recurrencia lineal generalizadas, abriendo la puerta a investigar la finitud de representaciones concatenadas en contextos más amplios.

En resumen, el paper resuelve completamente un problema diofántico específico sobre la estructura de los números de Lucas, demostrando que solo un conjunto muy limitado de ellos puede formarse mediante la concatenación de números de Fibonacci y Lucas en bases decimales y menores.