𝑝-adic续分数的几种新算法的收敛性、有限性和周期性

IF 2.2 2区 数学 Q1 MATHEMATICS, APPLIED
Zhaonan Wang, Yingpu Deng
{"title":"𝑝-adic续分数的几种新算法的收敛性、有限性和周期性","authors":"Zhaonan Wang, Yingpu Deng","doi":"10.1090/mcom/3948","DOIUrl":null,"url":null,"abstract":"<p>Classical continued fractions can be introduced in the field of <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding=\"application/x-tex\">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-adic numbers, where <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding=\"application/x-tex\">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-adic continued fractions offer novel perspectives on number representation and approximation. While numerous <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding=\"application/x-tex\">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-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 <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper Q Subscript p\"> <mml:semantics> <mml:msub> <mml:mrow> <mml:mi mathvariant=\"double-struck\">Q</mml:mi> </mml:mrow> <mml:mi>p</mml:mi> </mml:msub> <mml:annotation encoding=\"application/x-tex\">\\mathbb {Q}_p</mml:annotation> </mml:semantics> </mml:math> </inline-formula> for a given prime <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding=\"application/x-tex\">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. We give an upper bound of the number of partial quotients for the expansion of rational numbers, and prove that for small primes <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding=\"application/x-tex\">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, 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 <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding=\"application/x-tex\">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, we propose a potential approach to establish a <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding=\"application/x-tex\">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-adic continued fraction expansion algorithm. As before, the algorithm is designed to expand algebraic numbers in <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper Q Subscript p\"> <mml:semantics> <mml:msub> <mml:mrow> <mml:mi mathvariant=\"double-struck\">Q</mml:mi> </mml:mrow> <mml:mi>p</mml:mi> </mml:msub> <mml:annotation encoding=\"application/x-tex\">\\mathbb {Q}_p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, while generating periodic expansions for all quadratic irrationals in <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper Q Subscript p\"> <mml:semantics> <mml:msub> <mml:mrow> <mml:mi mathvariant=\"double-struck\">Q</mml:mi> </mml:mrow> <mml:mi>p</mml:mi> </mml:msub> <mml:annotation encoding=\"application/x-tex\">\\mathbb {Q}_p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>.</p>","PeriodicalId":18456,"journal":{"name":"Mathematics of Computation","volume":"64 1","pages":""},"PeriodicalIF":2.2000,"publicationDate":"2024-01-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Convergence, finiteness and periodicity of several new algorithms of 𝑝-adic continued fractions\",\"authors\":\"Zhaonan Wang, Yingpu Deng\",\"doi\":\"10.1090/mcom/3948\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Classical continued fractions can be introduced in the field of <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"p\\\"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding=\\\"application/x-tex\\\">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-adic numbers, where <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"p\\\"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding=\\\"application/x-tex\\\">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-adic continued fractions offer novel perspectives on number representation and approximation. While numerous <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"p\\\"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding=\\\"application/x-tex\\\">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-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 <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"double-struck upper Q Subscript p\\\"> <mml:semantics> <mml:msub> <mml:mrow> <mml:mi mathvariant=\\\"double-struck\\\">Q</mml:mi> </mml:mrow> <mml:mi>p</mml:mi> </mml:msub> <mml:annotation encoding=\\\"application/x-tex\\\">\\\\mathbb {Q}_p</mml:annotation> </mml:semantics> </mml:math> </inline-formula> for a given prime <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"p\\\"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding=\\\"application/x-tex\\\">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. We give an upper bound of the number of partial quotients for the expansion of rational numbers, and prove that for small primes <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"p\\\"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding=\\\"application/x-tex\\\">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, 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 <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"p\\\"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding=\\\"application/x-tex\\\">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, we propose a potential approach to establish a <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"p\\\"> <mml:semantics> <mml:mi>p</mml:mi> <mml:annotation encoding=\\\"application/x-tex\\\">p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-adic continued fraction expansion algorithm. As before, the algorithm is designed to expand algebraic numbers in <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"double-struck upper Q Subscript p\\\"> <mml:semantics> <mml:msub> <mml:mrow> <mml:mi mathvariant=\\\"double-struck\\\">Q</mml:mi> </mml:mrow> <mml:mi>p</mml:mi> </mml:msub> <mml:annotation encoding=\\\"application/x-tex\\\">\\\\mathbb {Q}_p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, while generating periodic expansions for all quadratic irrationals in <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"double-struck upper Q Subscript p\\\"> <mml:semantics> <mml:msub> <mml:mrow> <mml:mi mathvariant=\\\"double-struck\\\">Q</mml:mi> </mml:mrow> <mml:mi>p</mml:mi> </mml:msub> <mml:annotation encoding=\\\"application/x-tex\\\">\\\\mathbb {Q}_p</mml:annotation> </mml:semantics> </mml:math> </inline-formula>.</p>\",\"PeriodicalId\":18456,\"journal\":{\"name\":\"Mathematics of Computation\",\"volume\":\"64 1\",\"pages\":\"\"},\"PeriodicalIF\":2.2000,\"publicationDate\":\"2024-01-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Mathematics of Computation\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1090/mcom/3948\",\"RegionNum\":2,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS, APPLIED\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematics of Computation","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1090/mcom/3948","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
引用次数: 0

摘要

经典的续分数可以引入 p p -adic 数领域,其中 p p -adic 续分数为数的表示和逼近提供了新的视角。虽然研究人员已经提出了许多 p p -adic 续分数展开算法,但一些优秀性质的建立,如经典续分数的拉格朗日定理(该定理表明每个二次无理数都可以周期性展开),仍是一个未知数。在本文中,我们介绍了几种新算法,旨在为给定素数 p p 在 Q p \mathbb {Q}_p 中展开代数数。我们给出了有理数展开的部分商数上限,并证明了对于小素数 p p ,我们的算法能生成所有二次无理数的周期性续分展开。实验数据表明,与现有算法相比,我们的算法在二次无理数的周期性展开方面表现出更好的性能。此外,对于更大的素数 p p,我们提出了一种建立 p p -adic 连续分数展开算法的潜在方法。与之前的算法一样,该算法旨在扩展 Q p \mathbb {Q}_p 中的代数数,同时为 Q p \mathbb {Q}_p 中的所有二次无理数生成周期性扩展。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
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 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 .

求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
Mathematics of Computation
Mathematics of Computation 数学-应用数学
CiteScore
3.90
自引率
5.00%
发文量
55
审稿时长
7.0 months
期刊介绍: All articles submitted to this journal are peer-reviewed. The AMS has a single blind peer-review process in which the reviewers know who the authors of the manuscript are, but the authors do not have access to the information on who the peer reviewers are. This journal is devoted to research articles of the highest quality in computational mathematics. Areas covered include numerical analysis, computational discrete mathematics, including number theory, algebra and combinatorics, and related fields such as stochastic numerical methods. Articles must be of significant computational interest and contain original and substantial mathematical analysis or development of computational methodology.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信