2025-11-23T08:31:17.127218

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

Grundinformationen

  • Paper-ID: 1810.10127
  • Titel: Continued fractions and irrationality exponents for modified Engel and Pierce series
  • Autoren: Andrew N. W. Hone (University of Kent), Juan Luis Varona (Universidad de La Rioja)
  • Klassifikation: math.NT (Zahlentheorie)
  • Veröffentlichungsdatum: 23. Oktober 2018
  • Paper-Link: https://arxiv.org/abs/1810.10127

Zusammenfassung

Diese Arbeit untersucht die Kettenbruchentwicklungen und Irrationalitätsexponenten von modifizierten Engel- und Pierce-Reihen. Engel-Reihen sind Summen von Kehrwerten nicht abnehmender Folgen (xn)(x_n) 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 α\alpha, die durch Addition dieser Reihe zur rationalen Zahl entsteht, explizit durch die entsprechende Folge (xn)(x_n) 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(3+\sqrt{5})/2 nach unten begrenzt ist, und identifiziert eine unendliche Familie von transzendenten Zahlen, für die der Irrationalitätsexponent exakt berechnet werden kann.

Forschungshintergrund und Motivation

Problemhintergrund

  1. Engel- und Pierce-Reihen: Diese beiden Reihenklassen sind wichtige Verallgemeinerungen von Kettenbruchentwicklungen mit ähnlichen rekursiven und metrischen Eigenschaften
  2. Konstruktion transzendenter Zahlen: Die Suche nach transzendenten Zahlen mit expliziter Kettenbruchentwicklung ist ein wichtiges Problem der Zahlentheorie
  3. Irrationalitätsexponententheorie: Der Irrationalitätsexponent μ(α)\mu(\alpha) misst, wie gut eine reelle Zahl α\alpha durch rationale Zahlen approximiert werden kann; der Satz von Roth besagt, dass algebraische irrationale Zahlen einen Irrationalitätsexponenten von 2 haben

Forschungsmotivation

  1. 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
  2. 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
  3. Einheitlicher Rahmen: Ein einheitliches theoretisches Rahmenwerk für modifizierte Engel- und Pierce-Reihen bereitstellen

Kernbeiträge

  1. Erweiterung des Kettenbruchkonstruktionssatzes: Kombination einer beliebigen rationalen Zahl p/qp/q mit einer Engel- oder Pierce-Reihe mit expliziter Kettenbruchentwicklung
  2. Verbesserung der Untergrenze des Irrationalitätsexponenten: Beweis, dass der Irrationalitätsexponent μ(α)(3+5)/22,618\mu(\alpha) \geq (3+\sqrt{5})/2 \approx 2,618 für alle solche transzendenten Zahlen gilt
  3. Exakte Berechnung des Irrationalitätsexponenten: Identifikation unendlich vieler transzendenter Zahlenfamilien, für die der Irrationalitätsexponent exakt berechnet werden kann
  4. Konstruktion von Reihen mit starker Teilbarkeitseigenschaft: Für Engel-Reihen, die die stärkere Bedingung xj2xj+1x_j^2|x_{j+1} erfüllen, wird eine vollständige Kettenbruchkonstruktion gegeben

Methodische Erläuterung

Aufgabendefinition

Untersuchung der Kettenbruchentwicklung und des Irrationalitätsexponenten von transzendenten Zahlen der Form:

  • Modifizierte Engel-Reihe: α=pq+j=21xj\alpha = \frac{p}{q} + \sum_{j=2}^{\infty} \frac{1}{x_j}
  • Modifizierte Pierce-Reihe: α=pq±j=2(1)jxj\alpha = \frac{p}{q} \pm \sum_{j=2}^{\infty} \frac{(-1)^j}{x_j}

wobei die Folge (xn)(x_n) die Bedingung xjxj+1x_j|x_{j+1} erfüllt und durch eine nichtlineare Rekurrenzrelation erzeugt wird.

Zentrale Rekurrenzrelation

Die Folgen (xn)(x_n) und (yn)(y_n) werden durch folgende Relation definiert: yj=yj1(1+ujxj),xj+1=xjyj,j1y_j = y_{j-1}(1 + u_j x_j), \quad x_{j+1} = x_j y_j, \quad j \geq 1

wobei x1=qx_1 = q und (un)(u_n) eine Folge positiver ganzer Zahlen ist. Dies führt dazu, dass xnx_n die nichtlineare Rekurrenzrelation zweiter Ordnung erfüllt: xn+1xn1=xn2(1+unxn),n2x_{n+1}x_{n-1} = x_n^2(1 + u_n x_n), \quad n \geq 2

Hauptsätze

Satz 2.1 (Modifizierte Engel-Reihe): Für α=pq+j=21xj\alpha = \frac{p}{q} + \sum_{j=2}^{\infty} \frac{1}{x_j} mit y0=mq+q2k1+1y_0 = mq + q_{2k-1} + 1 ist die Kettenbruchentwicklung von α\alpha:

  • Die ersten 2k+12k+1 Terme stimmen mit p/qp/q überein
  • a2k+1=m+u1y0a_{2k+1} = m + u_1 y_0
  • a2k+2j=xja_{2k+2j} = x_j, a2k+2j+1=uj+1yja_{2k+2j+1} = u_{j+1}y_j für j1j \geq 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.

Irrationalitätsexponentenanalyse

Lemma 3.1: Die Wachstumsrate der Folge erfüllt xn+1>xnμϵ,μ=3+52x_{n+1} > x_n^{\mu^*-\epsilon}, \quad \mu^* = \frac{3+\sqrt{5}}{2}

Dies wird durch Induktion bewiesen, wobei die Rekurrenzrelation ρk+1=3ρk1\rho_{k+1} = 3 - \rho_k^{-1} genutzt wird, wobei ρk\rho_k der Wachstumsexponent ist.

Satz 3.3: Wenn unu_n ein Polynom in xnx_n ist, kann der Irrationalitätsexponent exakt berechnet werden: μ(α)=λ=d+2+d(d+4)2\mu(\alpha) = \lambda = \frac{d+2+\sqrt{d(d+4)}}{2} wobei dd der Grad des Polynoms ist.

Experimentelle Einrichtung

Theoretische Verifikation

Diese Arbeit ist hauptsächlich eine theoretische Arbeit, die Ergebnisse durch strenge mathematische Beweise verifiziert. Die wichtigsten Verifikationsmethoden umfassen:

  1. Induktionsbeweis: Beweis, dass Teilsummen gleich bestimmten Konvergenten sind
  2. Asymptotische Analyse: Analyse des Wachstumsverhaltens der Folge
  3. Matrixmethode: Nutzung der Matrixdarstellung von Kettenbrüchen

Konkrete Beispiele

Beispiel 4.4: Für q=5q = 5, zj=(j+1)2+1z_j = (j+1)^2 + 1 werden Kettenbruchentwicklungen für vier verschiedene pp-Werte konstruiert, die die konkrete Anwendung der Methode demonstrieren.

Experimentelle Ergebnisse

Hauptergebnisse

  1. Untergrenze des Irrationalitätsexponenten: Der Irrationalitätsexponent aller modifizierten Engel-/Pierce-Reihen erfüllt μ(α)(3+5)/22,618\mu(\alpha) \geq (3+\sqrt{5})/2 \approx 2,618, eine signifikante Verbesserung gegenüber der früheren Untergrenze von 5/2=2,55/2 = 2,5
  2. Exakte Berechnung: Für Folgen (un)(u_n) spezieller Form kann der Irrationalitätsexponent exakt als λ=d+2+d(d+4)2\lambda = \frac{d+2+\sqrt{d(d+4)}}{2} berechnet werden
  3. Konstruktion unendlicher Familien: Satz 3.4 beweist, dass für jedes ν(3+5)/2\nu \geq (3+\sqrt{5})/2 unendlich viele transzendente Zahlen mit Irrationalitätsexponent genau ν\nu existieren

Theoretische Erkenntnisse

  1. Wachstumsmuster: Die Wachstumsrate der Folge (xn)(x_n) wird durch die Halbierung von Fibonacci-Zahlen bestimmt
  2. Kettenbruchstruktur: Die Kettenbruchentwicklung modifizierter Pierce-Reihen zeigt ein 3-Perioden-Muster
  3. Rekursive Konstruktion: Kettenbrüche unter starker Teilbarkeitsbedingung haben eine rekursive Struktur mit ungefähr verdoppelter Länge

Verwandte Arbeiten

Historischer Hintergrund

  1. Klassische Theorie: Engel-Entwicklungen und Pierce-Entwicklungen sind wichtige Verallgemeinerungen von Kettenbruchentwicklungen
  2. Metrische Eigenschaften: Diese Entwicklungen haben ähnliche metrische Eigenschaften wie Kettenbrüche
  3. Transzendenzforschung: Reihen mit schnell wachsenden Folgen sind typischerweise transzendent

Frühere Arbeiten

  1. Hone (2015, 2016, 2017): Etablierung der grundlegenden Kettenbruchtheorie für Engel-Reihen
  2. Varona (2017): Erweiterung auf Pierce-Reihen
  3. Arbeiten von Shallit et al.: Untersuchung spezieller Formen von Engel-Reihen

Innovationen dieser Arbeit

  1. Verallgemeinerung: Erweiterung von reinen Reihen auf rationale Zahlen plus Reihen
  2. Parametrisierung: Einführung des Parameters mm zur Erhöhung der Konstruktionsflexibilität
  3. Exakte Berechnung: Nicht nur Untergrenzen angeben, sondern auch Irrationalitätsexponenten exakt berechnen

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

  1. Transzendente Zahlen, die durch modifizierte Engel-/Pierce-Reihen entstehen, haben explizite Kettenbruchentwicklungen
  2. Der Irrationalitätsexponent dieser Zahlen beträgt mindestens (3+5)/2(3+\sqrt{5})/2 und kann exakt berechnet werden
  3. Es existieren unendliche Familien transzendenter Zahlen mit beliebig großem Irrationalitätsexponent

Einschränkungen

  1. Spezielle Formen: Die Methode ist nur auf Folgen anwendbar, die durch spezifische Rekurrenzrelationen erzeugt werden
  2. Rechenkomplexität: Die Berechnung der Kettenbruchentwicklung kann komplex sein
  3. Anwendungsbereich: Hauptsächlich theoretische Ergebnisse mit begrenztem praktischen Anwendungswert

Zukünftige Richtungen

  1. Verallgemeinerung auf andere Reihen: Untersuchung allgemeinerer Reihenformen
  2. Rechenmethoden: Entwicklung effizienter Algorithmen zur Kettenbruchberechnung
  3. Anwendungserkundung: Suche nach Anwendungen in der diophantischen Approximation

Tiefgreifende Bewertung

Stärken

  1. Theoretische Tiefe: Kombination von Kettenbruchtheorie, Rekurrenzrelationen und Transzendenztheorie
  2. Vollständigkeit der Ergebnisse: Nicht nur Existenzaussagen, sondern auch konstruktive Beweise
  3. Technische Innovation: Verbesserung der Schätztechniken für Irrationalitätsexponenten
  4. Einheitlicher Rahmen: Einheitliche Behandlung von Engel- und Pierce-Reihen

Mängel

  1. Komplexe Beweise: Einige Beweise sind technisch anspruchsvoll und könnten lesbarer sein
  2. Begrenzte Beispiele: Relativ wenige konkrete numerische Beispiele
  3. Anwendungshintergrund: Starker theoretischer Fokus, praktischer Anwendungswert nicht hervorgehoben

Einfluss

  1. Akademischer Beitrag: Neue Konstruktionsmethoden für transzendente Zahlen in der Zahlentheorie
  2. Theoretischer Wert: Verbesserung wichtiger Ergebnisse in der Irrationalitätsexponententheorie
  3. Erweiterbarkeit: Bereitstellung von Rahmenwerk und Werkzeugen für nachfolgende Forschung

Anwendungsszenarien

  1. Zahlentheoretische Forschung: Transzendenztheorie und diophantische Approximation
  2. Kettenbruchtheorie: Konstruktion und Untersuchung spezieller Kettenbrüche
  3. Rekurrente Folgen: Anwendung nichtlinearer Rekurrenzrelationen

Literaturverzeichnis

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.