Fracciones continuas y exponentes de irracionalidad para series de Engel y Pierce modificadas

Información Básica

• ID del Artículo: 1810.10127
• Título: Continued fractions and irrationality exponents for modified Engel and Pierce series
• Autores: Andrew N. W. Hone (University of Kent), Juan Luis Varona (Universidad de La Rioja)
• Clasificación: math.NT (Teoría de Números)
• Fecha de Publicación: 23 de octubre de 2018
• Enlace del Artículo: https://arxiv.org/abs/1810.10127

Resumen

Este artículo investiga las expansiones en fracciones continuas y los exponentes de irracionalidad de series de Engel y Pierce modificadas. Las series de Engel son sumas de recíprocos de secuencias no decrecientes de enteros positivos $(x_n)$, donde cada término es divisible por el anterior; las series de Pierce son series alternas de recíprocos de secuencias con la misma propiedad. Los autores demuestran que para cualquier número racional, existe una clase de series de Engel que, cuando se suma con ese número racional, produce un número trascendental $\alpha$ cuya expansión en fracción continua puede determinarse explícitamente mediante la secuencia correspondiente $(x_n)$, generada por una relación de recurrencia no lineal de segundo orden. El artículo también proporciona resultados análogos para números racionales sumados o restados con series de Pierce, demostrando que en ambos casos el exponente de irracionalidad tiene una cota inferior de $(3+\sqrt{5})/2$, e identifica una familia infinita de números trascendentales para los cuales el exponente de irracionalidad puede calcularse exactamente.

Antecedentes y Motivación de la Investigación

Contexto del Problema

1. Series de Engel y Pierce: Estas dos clases de series son generalizaciones importantes de las expansiones en fracciones continuas, con propiedades recursivas y métricas similares
2. Construcción de números trascendentales: La búsqueda de números trascendentales con expansiones en fracciones continuas explícitas es un problema importante en teoría de números
3. Teoría de exponentes de irracionalidad: El exponente de irracionalidad $\mu(\alpha)$ mide la facilidad con la que un número real $\alpha$ puede aproximarse mediante números racionales; el teorema de Roth establece que el exponente de irracionalidad de números algebraicos irracionales es 2

Motivación de la Investigación

1. Extensión de resultados previos: Basándose en trabajos anteriores de los autores, extender series puras de Engel/Pierce a combinaciones de números racionales con estas series
2. Cálculo exacto: No solo proporcionar cotas inferiores para el exponente de irracionalidad, sino también encontrar familias infinitas donde el exponente de irracionalidad pueda calcularse exactamente
3. Marco unificado: Proporcionar un marco teórico unificado para series de Engel y Pierce modificadas

Contribuciones Principales

1. Extensión del teorema de construcción de fracciones continuas: Combinar cualquier número racional $p/q$ con series de Engel o Pierce, proporcionando expansiones explícitas en fracciones continuas
2. Mejora de la cota inferior del exponente de irracionalidad: Demostrar que el exponente de irracionalidad $\mu(\alpha) \geq (3+\sqrt{5})/2 \approx 2.618$ para todos estos números trascendentales
3. Cálculo exacto del exponente de irracionalidad: Identificar infinitas familias de números trascendentales para los cuales el exponente de irracionalidad puede calcularse exactamente
4. Construcción de series con propiedades de divisibilidad fuerte: Para series de Engel que satisfacen la condición más fuerte $x_j^2|x_{j+1}$, proporcionar construcciones completas de fracciones continuas

Explicación Detallada de Métodos

Definición de la Tarea

Investigar las expansiones en fracciones continuas y los exponentes de irracionalidad de números trascendentales de la forma:

• Series de Engel modificadas: $\alpha = \frac{p}{q} + \sum_{j=2}^{\infty} \frac{1}{x_j}$
• Series de Pierce modificadas: $\alpha = \frac{p}{q} \pm \sum_{j=2}^{\infty} \frac{(-1)^j}{x_j}$

donde la secuencia $(x_n)$ satisface $x_j|x_{j+1}$ y es generada por relaciones de recurrencia no lineales.

Relaciones de Recurrencia Principales

Las secuencias $(x_n)$ e $(y_n)$ se definen mediante las siguientes relaciones: $y_j = y_{j-1}(1 + u_j x_j), \quad x_{j+1} = x_j y_j, \quad j \geq 1$

donde $x_1 = q$ y $(u_n)$ es una secuencia de enteros positivos. Esto conduce a que $x_n$ satisfaga una recurrencia no lineal de segundo orden: $x_{n+1}x_{n-1} = x_n^2(1 + u_n x_n), \quad n \geq 2$

Teoremas Principales

Teorema 2.1 (Series de Engel Modificadas): Para $\alpha = \frac{p}{q} + \sum_{j=2}^{\infty} \frac{1}{x_j}$ tomando $y_0 = mq + q_{2k-1} + 1$, la expansión en fracción continua de $\alpha$ es:

• Los primeros $2k+1$ términos son idénticos a los de $p/q$
• $a_{2k+1} = m + u_1 y_0$
• $a_{2k+2j} = x_j$, $a_{2k+2j+1} = u_{j+1}y_j$ para $j \geq 1$

Teoremas 2.2 y 2.4 (Series de Pierce Modificadas): Proporcionan fórmulas análogas para la expansión en fracción continua de series de Pierce, pero con una estructura más compleja que implica patrones de período 3.

Análisis del Exponente de Irracionalidad

Lema 3.1: La tasa de crecimiento de la secuencia satisface $x_{n+1} > x_n^{\mu^*-\epsilon}, \quad \mu^* = \frac{3+\sqrt{5}}{2}$

Esto se demuestra por inducción, utilizando la relación de recurrencia $\rho_{k+1} = 3 - \rho_k^{-1}$, donde $\rho_k$ es el índice de crecimiento.

Teorema 3.3: Cuando $u_n$ es un polinomio en $x_n$, el exponente de irracionalidad puede calcularse exactamente: $\mu(\alpha) = \lambda = \frac{d+2+\sqrt{d(d+4)}}{2}$ donde $d$ es el grado del polinomio.

Configuración Experimental

Verificación Teórica

Este artículo es principalmente un trabajo teórico, verificando resultados mediante demostraciones matemáticas rigurosas. Los métodos de verificación principales incluyen:

1. Pruebas por inducción: Demostrar que las sumas parciales son iguales a convergentes específicos
2. Análisis asintótico: Analizar el comportamiento de crecimiento de las secuencias
3. Métodos matriciales: Utilizar la representación matricial de fracciones continuas

Ejemplos Concretos

Ejemplo 4.4: Para $q = 5$, $z_j = (j+1)^2 + 1$, se construyeron expansiones en fracciones continuas para 4 valores diferentes de $p$, demostrando la aplicación concreta del método.

Resultados Experimentales

Resultados Principales

1. Cota inferior del exponente de irracionalidad: El exponente de irracionalidad de todas las series de Engel/Pierce modificadas satisface $\mu(\alpha) \geq (3+\sqrt{5})/2 \approx 2.618$, mejorando significativamente la cota anterior de $5/2 = 2.5$
2. Cálculo exacto: Para formas específicas de la secuencia $(u_n)$, el exponente de irracionalidad puede calcularse exactamente como $\lambda = \frac{d+2+\sqrt{d(d+4)}}{2}$
3. Construcción de familias infinitas: El Teorema 3.4 demuestra que para cualquier $\nu \geq (3+\sqrt{5})/2$, existen infinitos números trascendentales con exponente de irracionalidad exactamente igual a $\nu$

Hallazgos Teóricos

1. Patrones de crecimiento: La tasa de crecimiento de la secuencia $(x_n)$ está determinada por bisecciones de números de Fibonacci
2. Estructura de fracciones continuas: La expansión en fracción continua de series de Pierce modificadas presenta un patrón de período 3
3. Construcción recursiva: Las fracciones continuas bajo condiciones de divisibilidad fuerte poseen una estructura recursiva con longitudes aproximadamente duplicadas

Trabajos Relacionados

Antecedentes Históricos

1. Teoría clásica: Las expansiones de Engel y Pierce son generalizaciones importantes de las fracciones continuas
2. Propiedades métricas: Estas expansiones tienen propiedades similares a las fracciones continuas en teoría métrica
3. Investigación de trascendencia: Las series generadas por secuencias de crecimiento rápido suelen ser trascendentales

Trabajos Previos

1. Hone (2015, 2016, 2017): Estableció la teoría fundamental de fracciones continuas para series de Engel
2. Varona (2017): Extendió la teoría a series de Pierce
3. Trabajos de Shallit y otros: Investigaron formas especiales de series de Engel

Innovaciones de este Artículo

1. Generalización: Extensión de series puras a combinaciones de números racionales y series
2. Parametrización: Introducción del parámetro $m$ para aumentar la flexibilidad de la construcción
3. Cálculo exacto: No solo proporcionar cotas inferiores, sino también calcular exactamente el exponente de irracionalidad

Conclusiones y Discusión

Conclusiones Principales

1. Los números trascendentales producidos por series de Engel/Pierce modificadas poseen expansiones explícitas en fracciones continuas
2. El exponente de irracionalidad de estos números es al menos $(3+\sqrt{5})/2$, y puede calcularse exactamente
3. Existen familias infinitas de números trascendentales con exponentes de irracionalidad arbitrariamente grandes

Limitaciones

1. Formas especiales: El método solo es aplicable a secuencias generadas por relaciones de recurrencia específicas
2. Complejidad computacional: El cálculo de la expansión en fracción continua puede ser muy complejo
3. Alcance de aplicación: Los resultados son principalmente teóricos, con aplicaciones prácticas limitadas

Direcciones Futuras

1. Generalización a otras series: Investigar series de formas más generales
2. Métodos computacionales: Desarrollar algoritmos eficientes para calcular fracciones continuas
3. Exploración de aplicaciones: Buscar aplicaciones en aproximación diofántica

Evaluación Profunda

Fortalezas

1. Profundidad teórica: Combina teoría de fracciones continuas, relaciones de recurrencia y teoría de números trascendentales
2. Completitud de resultados: No solo proporciona existencia, sino también demostraciones constructivas
3. Innovación técnica: Mejora las técnicas de estimación del exponente de irracionalidad
4. Marco unificado: Proporciona un tratamiento unificado para series de Engel y Pierce

Deficiencias

1. Complejidad de las demostraciones: Algunas pruebas son muy técnicas, con legibilidad mejorable
2. Ejemplos limitados: Relativamente pocos ejemplos numéricos concretos
3. Contexto de aplicación: Carácter muy teórico, valor de aplicación práctica insuficiente

Impacto

1. Contribución académica: Proporciona nuevos métodos de construcción de números trascendentales en teoría de números
2. Valor teórico: Mejora resultados importantes en la teoría de exponentes de irracionalidad
3. Extensibilidad: Proporciona marco y herramientas para investigaciones posteriores

Escenarios de Aplicación

1. Investigación en teoría de números: Teoría de números trascendentales y aproximación diofántica
2. Teoría de fracciones continuas: Construcción y estudio de propiedades de fracciones continuas especiales
3. Secuencias de recurrencia: Aplicaciones de relaciones de recurrencia no lineales

Referencias

El artículo cita 17 referencias importantes que abarcan la teoría clásica y los resultados más recientes en teoría de fracciones continuas, series de Engel/Pierce, teoría de números trascendentales y teoría de exponentes de irracionalidad, proporcionando a los lectores un contexto teórico completo.

Evaluación General: Este es un artículo de teoría de números de alta calidad que logra avances importantes en la teoría de fracciones continuas para series de Engel y Pierce modificadas. Aunque es muy teórico, proporciona herramientas e insights valiosos para investigaciones en campos relacionados.