Fractions continues et exposants d'irrationalité pour les séries d'Engel et de Pierce modifiées

Informations fondamentales

• ID de l'article: 1810.10127
• Titre: Continued fractions and irrationality exponents for modified Engel and Pierce series
• Auteurs: Andrew N. W. Hone (University of Kent), Juan Luis Varona (Universidad de La Rioja)
• Classification: math.NT (Théorie des nombres)
• Date de publication: 23 octobre 2018
• Lien de l'article: https://arxiv.org/abs/1810.10127

Résumé

Cet article étudie les développements en fractions continues et les exposants d'irrationalité des séries d'Engel et de Pierce modifiées. Une série d'Engel est la somme des inverses d'une suite non décroissante d'entiers positifs $(x_n)$ où chaque terme divise le suivant ; une série de Pierce est une série alternée des inverses d'une suite possédant la même propriété. Les auteurs démontrent que pour tout nombre rationnel, il existe une classe de séries d'Engel telle que le nombre transcendant $\alpha$ obtenu en ajoutant ce rationnel à la série possède un développement en fraction continue explicitement déterminé par la suite correspondante $(x_n)$, laquelle est générée par une relation de récurrence non linéaire d'ordre deux. L'article fournit également des résultats analogues pour les séries de Pierce additionnées ou soustraites d'un nombre rationnel, prouvant que dans les deux cas l'exposant d'irrationalité admet une minoration $(3+\sqrt{5})/2$, et identifie une famille infinie de nombres transcendants pour lesquels l'exposant d'irrationalité peut être calculé exactement.

Contexte et motivation de la recherche

Contexte du problème

1. Séries d'Engel et de Pierce: Ces deux classes de séries constituent des généralisations importantes des fractions continues, possédant des propriétés récursives et métriques analogues
2. Construction de nombres transcendants: La recherche de nombres transcendants possédant des développements en fractions continues explicites constitue un problème important en théorie des nombres
3. Théorie des exposants d'irrationalité: L'exposant d'irrationalité $\mu(\alpha)$ mesure la facilité avec laquelle un nombre réel $\alpha$ peut être approché par des rationnels ; le théorème de Roth établit que l'exposant d'irrationalité d'un nombre algébrique irrationnel est 2

Motivation de la recherche

1. Extension des résultats existants: Sur la base des travaux antérieurs des auteurs, extension des séries pures d'Engel/Pierce aux combinaisons de ces séries avec des nombres rationnels
2. Calcul exact: Non seulement fournir des minorations de l'exposant d'irrationalité, mais également identifier les familles infinies pour lesquelles cet exposant peut être calculé exactement
3. Cadre unifié: Fournir un cadre théorique unifié pour les séries d'Engel et de Pierce modifiées

Contributions principales

1. Extension du théorème de construction en fractions continues: Combinaison de tout nombre rationnel $p/q$ avec une série d'Engel ou de Pierce, fournissant des développements en fractions continues explicites
2. Amélioration de la minoration de l'exposant d'irrationalité: Preuve que l'exposant d'irrationalité $\mu(\alpha) \geq (3+\sqrt{5})/2 \approx 2,618$ pour tous ces nombres transcendants
3. Calcul exact de l'exposant d'irrationalité: Identification d'une infinité de familles de nombres transcendants pour lesquels l'exposant d'irrationalité peut être calculé exactement
4. Construction de séries avec propriété de divisibilité forte: Pour les séries d'Engel satisfaisant la condition plus forte $x_j^2|x_{j+1}$, fourniture d'une construction complète en fractions continues

Détails méthodologiques

Définition du problème

Étude du développement en fractions continues et de l'exposant d'irrationalité de nombres transcendants de la forme :

• Série d'Engel modifiée: $\alpha = \frac{p}{q} + \sum_{j=2}^{\infty} \frac{1}{x_j}$
• Série de Pierce modifiée: $\alpha = \frac{p}{q} \pm \sum_{j=2}^{\infty} \frac{(-1)^j}{x_j}$

où la suite $(x_n)$ satisfait $x_j|x_{j+1}$ et est générée par une relation de récurrence non linéaire.

Relation de récurrence centrale

Les suites $(x_n)$ et $(y_n)$ sont définies par la relation suivante : $y_j = y_{j-1}(1 + u_j x_j), \quad x_{j+1} = x_j y_j, \quad j \geq 1$

où $x_1 = q$ et $(u_n)$ est une suite d'entiers positifs. Ceci entraîne que $x_n$ satisfait la récurrence non linéaire d'ordre deux : $x_{n+1}x_{n-1} = x_n^2(1 + u_n x_n), \quad n \geq 2$

Théorèmes principaux

Théorème 2.1 (Série d'Engel modifiée): Pour $\alpha = \frac{p}{q} + \sum_{j=2}^{\infty} \frac{1}{x_j}$ en posant $y_0 = mq + q_{2k-1} + 1$, le développement en fraction continue de $\alpha$ est :

• Les $2k+1$ premiers termes sont identiques à ceux 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$ pour $j \geq 1$

Théorèmes 2.2 et 2.4 (Série de Pierce modifiée): Fournissent des formules analogues pour le développement en fraction continue de la série de Pierce, mais avec une structure plus complexe impliquant un motif de période 3.

Analyse de l'exposant d'irrationalité

Lemme 3.1: Le taux de croissance de la suite satisfait $x_{n+1} > x_n^{\mu^*-\epsilon}, \quad \mu^* = \frac{3+\sqrt{5}}{2}$

Ceci est prouvé par récurrence, en utilisant la relation de récurrence $\rho_{k+1} = 3 - \rho_k^{-1}$, où $\rho_k$ est l'indice de croissance.

Théorème 3.3: Lorsque $u_n$ est un polynôme en $x_n$, l'exposant d'irrationalité peut être calculé exactement : $\mu(\alpha) = \lambda = \frac{d+2+\sqrt{d(d+4)}}{2}$ où $d$ est le degré du polynôme.

Configuration expérimentale

Vérification théorique

Cet article est principalement un travail théorique, dont les résultats sont vérifiés par des preuves mathématiques rigoureuses. Les principales méthodes de vérification incluent :

1. Preuves par récurrence: Preuve que les sommes partielles égalent des convergents spécifiques
2. Analyse asymptotique: Analyse du comportement de croissance de la suite
3. Méthode matricielle: Utilisation de la représentation matricielle des fractions continues

Exemples concrets

Exemple 4.4: Pour $q = 5$, $z_j = (j+1)^2 + 1$, construction de développements en fractions continues correspondant à quatre valeurs différentes de $p$, illustrant l'application concrète de la méthode.

Résultats expérimentaux

Résultats principaux

1. Minoration de l'exposant d'irrationalité: L'exposant d'irrationalité $\mu(\alpha) \geq (3+\sqrt{5})/2 \approx 2,618$ pour toutes les séries d'Engel/Pierce modifiées, améliorant significativement la minoration antérieure de $5/2 = 2,5$
2. Calcul exact: Pour les suites $(u_n)$ de formes spécifiques, l'exposant d'irrationalité peut être calculé exactement comme $\lambda = \frac{d+2+\sqrt{d(d+4)}}{2}$
3. Construction de familles infinies: Le théorème 3.4 prouve que pour tout $\nu \geq (3+\sqrt{5})/2$, il existe une infinité de nombres transcendants dont l'exposant d'irrationalité est exactement $\nu$

Découvertes théoriques

1. Motifs de croissance: Le taux de croissance de la suite $(x_n)$ est déterminé par la bisection des nombres de Fibonacci
2. Structure en fractions continues: Le développement en fraction continue de la série de Pierce modifiée présente un motif de période 3
3. Construction récursive: Les fractions continues sous la condition de divisibilité forte possèdent une structure récursive avec doublement approximatif de la longueur

Travaux connexes

Contexte historique

1. Théorie classique: Les développements d'Engel et de Pierce constituent des généralisations importantes des fractions continues
2. Propriétés métriques: Ces développements possèdent des propriétés similaires aux fractions continues en théorie métrique
3. Recherche sur la transcendance: Les séries générées par des suites à croissance rapide sont généralement transcendantes

Travaux antérieurs

1. Hone (2015, 2016, 2017): Établissement de la théorie fondamentale des fractions continues pour les séries d'Engel
2. Varona (2017): Extension aux séries de Pierce
3. Travaux de Shallit et al.: Étude de formes spéciales de séries d'Engel

Innovations de cet article

1. Généralisation: Extension des séries pures aux combinaisons rationnel + série
2. Paramétrisation: Introduction du paramètre $m$ augmentant la flexibilité de la construction
3. Calcul exact: Non seulement fournir des minorations, mais également calculer exactement l'exposant d'irrationalité

Conclusions et discussion

Conclusions principales

1. Les nombres transcendants produits par les séries d'Engel/Pierce modifiées possèdent des développements en fractions continues explicites
2. L'exposant d'irrationalité de ces nombres est au moins $(3+\sqrt{5})/2$ et peut être calculé exactement
3. Il existe des familles infinies de nombres transcendants possédant des exposants d'irrationalité arbitrairement grands

Limitations

1. Formes spéciales: La méthode ne s'applique qu'aux suites générées par des relations de récurrence spécifiques
2. Complexité computationnelle: Le calcul du développement en fraction continue peut être complexe
3. Portée des applications: Les résultats sont principalement théoriques, avec une applicabilité pratique limitée

Directions futures

1. Généralisation à d'autres séries: Étude de formes plus générales de séries
2. Méthodes computationnelles: Développement d'algorithmes efficaces pour le calcul des fractions continues
3. Exploration des applications: Recherche d'applications en approximation diophantienne

Évaluation approfondie

Avantages

1. Profondeur théorique: Combinaison de la théorie des fractions continues, des relations de récurrence et de la théorie des nombres transcendants
2. Complétude des résultats: Non seulement existence, mais également preuves constructives
3. Innovation technique: Amélioration des techniques d'estimation de l'exposant d'irrationalité
4. Cadre unifié: Traitement unifié des séries d'Engel et de Pierce

Insuffisances

1. Complexité des preuves: Certaines preuves sont très techniques, avec une lisibilité à améliorer
2. Exemples limités: Relativement peu d'exemples numériques concrets
3. Contexte applicatif: Caractère très théorique, valeur pratique insuffisante

Impact

1. Contribution académique: Fournit de nouvelles méthodes de construction de nombres transcendants en théorie des nombres
2. Valeur théorique: Amélioration des résultats importants en théorie des exposants d'irrationalité
3. Extensibilité: Fournit un cadre et des outils pour les recherches ultérieures

Domaines d'application

1. Recherche en théorie des nombres: Théorie des nombres transcendants et approximation diophantienne
2. Théorie des fractions continues: Construction et étude des propriétés de fractions continues spéciales
3. Suites récurrentes: Applications des relations de récurrence non linéaires

Références bibliographiques

L'article cite 17 références importantes couvrant la théorie classique et les développements récents en théorie des fractions continues, séries d'Engel/Pierce, théorie des nombres transcendants et théorie des exposants d'irrationalité, fournissant aux lecteurs un contexte théorique complet.

Évaluation générale: Cet article est un travail théorique de haute qualité en théorie des nombres, réalisant des progrès importants dans la théorie des fractions continues pour les séries d'Engel et de Pierce modifiées. Bien que fortement théorique, il fournit des outils et des perspectives de valeur pour la recherche dans les domaines connexes.