Convergence, finiteness and periodicity of several new algorithms of -adic continued fractions

Classical continued fractions can be introduced in the field of p p -adic numbers, where p p -adic continued fractions offer novel perspectives on number representation and approximation. While numerous p p -adic continued fraction expansion algorithms have been proposed by the researchers, the esta...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Mathematics of computation 2024-02
Hauptverfasser: Wang, Zhaonan, Deng, Yingpu
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Classical continued fractions can be introduced in the field of p p -adic numbers, where p p -adic continued fractions offer novel perspectives on number representation and approximation. While numerous p p -adic continued fraction expansion algorithms have been proposed by the researchers, the establishment of several excellent properties, such as the Lagrange’s Theorem for classic continued fractions, which indicates that every quadratic irrationals can be expanded periodically, remains elusive. In this paper, we introduce several new algorithms designed for expanding algebraic numbers in Q p \mathbb {Q}_p for a given prime p p . We give an upper bound of the number of partial quotients for the expansion of rational numbers, and prove that for small primes p p , our algorithm generates periodic continued fraction expansions for all quadratic irrationals. Experimental data demonstrates that our algorithms exhibit better performance in the periodicity of expansions for quadratic irrationals compared to the existing algorithms. Furthermore, for bigger primes p p , we propose a potential approach to establish a p p -adic continued fraction expansion algorithm. As before, the algorithm is designed to expand algebraic numbers in Q p \mathbb {Q}_p , while generating periodic expansions for all quadratic irrationals in Q p \mathbb {Q}_p .
ISSN:0025-5718
1088-6842
DOI:10.1090/mcom/3948