Continued fractions and irrationality exponents for modified Engel and Pierce series
Hone, Varona
An Engel series is a sum of reciprocals of a non-decreasing sequence $(x_n)$ of positive integers, which is such that each term is divisible by the previous one, and a Pierce series is an alternating sum of the reciprocals of a sequence with the same property. Given an arbitrary rational number, we show that there is a family of Engel series which when added to it produces a transcendental number $α$ whose continued fraction expansion is determined explicitly by the corresponding sequence $(x_n)$, where the latter is generated by a certain nonlinear recurrence of second order. We also present an analogous result for a rational number with a Pierce series added to or subtracted from it. In both situations (a rational number combined with either an Engel or a Pierce series), the irrationality exponent is bounded below by $(3+\sqrt{5})/2$, and we further identify infinite families of transcendental numbers $α$ whose irrationality exponent can be computed precisely. In addition, we construct the continued fraction expansion for an arbitrary rational number added to an Engel series with the stronger property that $x_j^2$ divides $x_{j+1}$ for all $j$.
academic
Kettenbrüche und Irrationalitätsexponenten für modifizierte Engel- und Pierce-Reihen
Diese Arbeit untersucht die Kettenbruchentwicklungen und Irrationalitätsexponenten von modifizierten Engel- und Pierce-Reihen. Engel-Reihen sind Summen von Kehrwerten nicht abnehmender Folgen (xn) positiver ganzer Zahlen, wobei jeder Term den vorherigen teilt; Pierce-Reihen sind alternierende Reihen von Kehrwerten von Folgen mit derselben Eigenschaft. Die Autoren zeigen, dass für jede rationale Zahl eine Klasse von Engel-Reihen existiert, so dass die Kettenbruchentwicklung der transzendenten Zahl α, die durch Addition dieser Reihe zur rationalen Zahl entsteht, explizit durch die entsprechende Folge (xn) bestimmt werden kann, die durch eine nichtlineare Rekurrenzrelation zweiter Ordnung erzeugt wird. Der Artikel liefert auch ähnliche Ergebnisse für rationale Zahlen, die zu Pierce-Reihen addiert oder subtrahiert werden, beweist, dass der Irrationalitätsexponent in beiden Fällen durch (3+5)/2 nach unten begrenzt ist, und identifiziert eine unendliche Familie von transzendenten Zahlen, für die der Irrationalitätsexponent exakt berechnet werden kann.
Engel- und Pierce-Reihen: Diese beiden Reihenklassen sind wichtige Verallgemeinerungen von Kettenbruchentwicklungen mit ähnlichen rekursiven und metrischen Eigenschaften
Konstruktion transzendenter Zahlen: Die Suche nach transzendenten Zahlen mit expliziter Kettenbruchentwicklung ist ein wichtiges Problem der Zahlentheorie
Irrationalitätsexponententheorie: Der Irrationalitätsexponent μ(α) misst, wie gut eine reelle Zahl α durch rationale Zahlen approximiert werden kann; der Satz von Roth besagt, dass algebraische irrationale Zahlen einen Irrationalitätsexponenten von 2 haben
Erweiterung bestehender Ergebnisse: Auf der Grundlage früherer Arbeiten der Autoren wird die bloße Engel-/Pierce-Reihe auf Kombinationen rationaler Zahlen mit diesen Reihen erweitert
Exakte Berechnung: Nicht nur Untergrenzen für Irrationalitätsexponenten angeben, sondern auch unendliche Familien finden, für die der Irrationalitätsexponent exakt berechnet werden kann
Einheitlicher Rahmen: Ein einheitliches theoretisches Rahmenwerk für modifizierte Engel- und Pierce-Reihen bereitstellen
Erweiterung des Kettenbruchkonstruktionssatzes: Kombination einer beliebigen rationalen Zahl p/q mit einer Engel- oder Pierce-Reihe mit expliziter Kettenbruchentwicklung
Verbesserung der Untergrenze des Irrationalitätsexponenten: Beweis, dass der Irrationalitätsexponent μ(α)≥(3+5)/2≈2,618 für alle solche transzendenten Zahlen gilt
Exakte Berechnung des Irrationalitätsexponenten: Identifikation unendlich vieler transzendenter Zahlenfamilien, für die der Irrationalitätsexponent exakt berechnet werden kann
Konstruktion von Reihen mit starker Teilbarkeitseigenschaft: Für Engel-Reihen, die die stärkere Bedingung xj2∣xj+1 erfüllen, wird eine vollständige Kettenbruchkonstruktion gegeben
Die Folgen (xn) und (yn) werden durch folgende Relation definiert:
yj=yj−1(1+ujxj),xj+1=xjyj,j≥1
wobei x1=q und (un) eine Folge positiver ganzer Zahlen ist. Dies führt dazu, dass xn die nichtlineare Rekurrenzrelation zweiter Ordnung erfüllt:
xn+1xn−1=xn2(1+unxn),n≥2
Satz 2.1 (Modifizierte Engel-Reihe): Für
α=qp+∑j=2∞xj1
mit y0=mq+q2k−1+1 ist die Kettenbruchentwicklung von α:
Die ersten 2k+1 Terme stimmen mit p/q überein
a2k+1=m+u1y0
a2k+2j=xj, a2k+2j+1=uj+1yj für j≥1
Satz 2.2 und 2.4 (Modifizierte Pierce-Reihe): Geben ähnliche Kettenbruchentwicklungsformeln für Pierce-Reihen an, aber mit komplexerer Struktur, die ein 3-Perioden-Muster beinhaltet.
Lemma 3.1: Die Wachstumsrate der Folge erfüllt
xn+1>xnμ∗−ϵ,μ∗=23+5
Dies wird durch Induktion bewiesen, wobei die Rekurrenzrelation ρk+1=3−ρk−1 genutzt wird, wobei ρk der Wachstumsexponent ist.
Satz 3.3: Wenn un ein Polynom in xn ist, kann der Irrationalitätsexponent exakt berechnet werden:
μ(α)=λ=2d+2+d(d+4)
wobei d der Grad des Polynoms ist.
Diese Arbeit ist hauptsächlich eine theoretische Arbeit, die Ergebnisse durch strenge mathematische Beweise verifiziert. Die wichtigsten Verifikationsmethoden umfassen:
Induktionsbeweis: Beweis, dass Teilsummen gleich bestimmten Konvergenten sind
Asymptotische Analyse: Analyse des Wachstumsverhaltens der Folge
Matrixmethode: Nutzung der Matrixdarstellung von Kettenbrüchen
Beispiel 4.4: Für q=5, zj=(j+1)2+1 werden Kettenbruchentwicklungen für vier verschiedene p-Werte konstruiert, die die konkrete Anwendung der Methode demonstrieren.
Untergrenze des Irrationalitätsexponenten: Der Irrationalitätsexponent aller modifizierten Engel-/Pierce-Reihen erfüllt μ(α)≥(3+5)/2≈2,618, eine signifikante Verbesserung gegenüber der früheren Untergrenze von 5/2=2,5
Exakte Berechnung: Für Folgen (un) spezieller Form kann der Irrationalitätsexponent exakt als λ=2d+2+d(d+4) berechnet werden
Konstruktion unendlicher Familien: Satz 3.4 beweist, dass für jedes ν≥(3+5)/2 unendlich viele transzendente Zahlen mit Irrationalitätsexponent genau ν existieren
Der Artikel zitiert 17 wichtige Arbeiten, die klassische und aktuelle Forschungsergebnisse in der Kettenbruchtheorie, Engel-/Pierce-Reihen, Transzendenztheorie und Irrationalitätsexponententheorie abdecken und den Lesern einen umfassenden theoretischen Hintergrund bieten.
Gesamtbewertung: Dies ist eine hochwertige zahlentheoretische Arbeit, die bedeutende Fortschritte in der Kettenbruchtheorie modifizierter Engel- und Pierce-Reihen erzielt. Obwohl sie stark theoretisch ausgerichtet ist, bietet sie wertvolle Werkzeuge und Erkenntnisse für verwandte Forschungsbereiche.