🔢 mathematics

A Database of Continued Fractions of Polynomial Type

本文提供了一个包含 1,883 个具有多项式系数的连分数数据库，其中包括为有趣的常数和超越函数新增的 1,600 多个条目，这些内容直接通过论文的 LaTeX 源代码提供。

原作者： Henri Cohen

发布于 2026-07-07

📖 1 分钟阅读🧠 深度阅读

原作者： Henri Cohen

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下，你拥有一个堆满了古老卷轴的、尘土飞扬的巨大图书馆。每一卷卷轴都包含着计算特定数字（如 $\pi$ 或 $\log(2)$ ）或数学函数的秘密配方。这些配方是用一种非常特定且复杂的简写形式记录的，叫做连分数 (Continued Fractions)。

几个世纪以来，数学家们已经找到了几百个这样的配方。它们很优美，但却散落在各处，难以寻找，而且往往缺少“说明书”来告知它们运行的速度或来源。

亨利·科恩（Henri Cohen）的论文本质上是为这些配方构建了一个巨大的、有组织的数字化仓库。

以下是使用简单类比对这篇论文内容的拆解：

1. “食谱大全” (数据库)

科恩汇编了一个包含 1,883 个此类数学配方的数据库。

旧与新： 在此之前，已知配方仅有约 250 个。科恩利用一个强大的计算机程序（一个名为 Pari/GP 的“厨房机器人”）发明了超过 1,600 个新配方。
格式： 想象一下，这些配方不是一段文本，而是一个结构化的成分清单。每个配方都会告诉你如何通过不断叠加分数来构建一个数字。
“多项式”转折： 大多数这些配方使用“多项式系数”。想象一个配方说：“先加 5，再加 10，然后加 15，最后加 20。”这是一个简单的模式。科恩的数据库充满了那些数字遵循复杂且可预测的代数模式（如 $n^2$ 或 $2n+1$ ）的配方。

2. “速度计” (收敛速率)

如果你正在烤蛋糕，你会想知道离完成还有多久。在数学中，这被称为收敛 (convergence)。

问题： 大多数旧的食谱书只给出配方。它们不会告诉你：“如果你在第 10 步停止，你的准确度是 90%。如果你在第 100 步停止，你的准确度是 99.9%。”
解决方案： 科恩计算了数据库中几乎每一个配方的“速度计”。他精确地算出了每个配方趋近于真实答案的速度。他甚至写下了“误差公式”（就像一张地图，显示如果你提前停止，会有多大的偏差）。

3. “说明手册” (起源与联系)

科恩不仅列出了这些配方，他还试图解释它们的来源。

“阿佩里 (Apéry)”联系： 他注明了哪些配方是使用一种称为“阿佩里加速”的技术制作的（这是一种让配方收敛更快的技术，就像在烘焙时加入一种能加速进程的秘密配料）。
“超几何 (Hypergeometric)”联系： 他将许多这些分数配方与另一种被称为“超几何级数”的数学类型联系起来。这就像是在展示一个法国食谱其实是另一个中国食谱的变体，只是写法不同而已。

4. 如何阅读“代码”

论文承认，该数据库是用一种对人类来说看起来像代码的计算机语言（Pari/GP）编写的。

类比： 想象一个图书馆里的书是用二进制代码写的。你无法用肉眼阅读，但计算机可以瞬间读取。
解决方案： 论文提供了一个“解码器”。它解释了计算机是如何存储这些配方的（使用向量和闭包），以便其他数学家可以将这些数据插入到他们自己的计算机中。
“美化”： 科恩承认原始代码很丑陋。他展示了如何将其中一个代码块转化为人类可以理解的、漂亮的数学公式。

5. “神秘盒子” (开放性问题)

在论文末尾，科恩表现得像一个发现了宝箱但仍有几个未解之谜的侦探。他列出了一些他无法回答的问题，例如：

“为什么其中一些配方似乎有一个无限简化的循环？”
“为什么某些数字有很多配方，而另一些数字却几乎没有？”
“我们能否为这个配方找到一个尚未发现的‘姐妹’配方？”

核心总结

这篇论文并不是关于一个解决了现实世界问题（如治愈疾病或建造桥梁）的新发现的故事。相反，它是一个参考工具。

它是针对一个非常特定、极其细分的数学领域的“黄页”或“谷歌地图”。科恩说：“这是地图。这是坐标。这是到达那里的速度。现在，你们这些数学家，去探索吧。”

来自作者的重要提示：
科恩对局限性非常诚实。他承认，虽然他利用强大的计算机搜索找到了这 1,600 多个新配方，但他并不总是拥有为什么这些配方有效的正式数学证明。他说：“我找到了它们，并且我 99% 确定它们是正确的，但我还没有为每一个配方都写下证明。”他邀请其他数学家去检查他的工作并填补缺失的证明。

技术摘要：多项式型连分数数据库

问题陈述
本文针对关于具有多项式系数的连分数（特别是与有趣的数学常数和超越函数相关的连分数）缺乏可获取、全面的资源这一问题进行了研究。在本文发表之前，文献中大约仅存在 250 个此类连分数，作者指出该领域缺乏一个统一的数据库，该数据库应包含精确的收敛速率、渐近展开以及来源（例如 Apéry 加速技术）。此外，标准文献通常忽略了部分商（partial quotients）的精确收敛速率，作者认为这一细节对于完整理解这些对象至关重要。

方法论
作者开发了一个专门的 Pari/GP 软件包（可通过 henri-ellCF2 GIT 分支访问），用于系统地生成、分析和格式化连分数。该方法包括：

生成： 从大约 250 个已知的具有多项式系数的连分数出发，作者应用了包括 Apéry 加速和 Bauer–Muir 方法在内的算法技术，推导出了超过 1,600 个新的连分数。
收敛分析： 对于几乎每一个条目，作者都计算了部分商 ( $p(n)/q(n)$ ) 的精确收敛速率，并推导了其渐近展开的前几项。
分类与格式化： 根据其系数对连分数进行分类。如果对于一个周期 $T$ （通常为 1 或 2），系数 $a(n)$ 和 $b(n)$ 在足够大的 $n$ 时变为 $n$ 的有理函数，则定义该连分数具有“多项式系数”。作者建立了一种用于在 Pari/GP 中进行计算机表示的特定向量格式，以区分标准连分数、参数化族和定义。
数据库构建： 生成的数据包含 1,883 个条目，并被编译成嵌入在论文 TeX 源码中的机器可读文件。

核心贡献

数据库： 主要贡献是一个包含 1,883 个具有多项式系数的连分数的数据库。其中，超过 1,600 个是新增于文献的。
收敛数据： 与以往著作不同，该数据库为几乎每个条目的误差项 $L - p(n)/q(n)$ 提供了精确的收敛速度和渐近展开。误差项表示为 $C / (F \cdot E \cdot n^D \cdot n! \cdot P) \cdot A$ ，其中 $A$ 是关于 $1/n$ 或 $1/\sqrt{n}$ 的幂级数渐近级数。
超几何联系： 该数据库将许多连分数与显式的超几何级数联系起来，并在适用时提供了该连分数及其逆函数的级数表示。
Apéry 加速追踪： 作者记录了连分数在 Apéry 加速过程下的行为，包括它们是否会导致其他标记的连分数、是否变为自对偶，或者是否导致过于复杂的表达式。
软件集成： 论文提供了一种特定的、透明的数据格式，可被 Pari/GP（及通过接口的其他软件）读取，从而实现即时的计算验证和进一步探索。

结果
数据库由 1,883 个条目组成，并进行了索引和标记（例如，“1.1.0.5”、“3.2.4”）。条目涵盖了广泛的数学对象：

常数： 包括整数的根、 $\pi$ 、 $\log(2)$ 、 $\zeta(k)$ 、 $G$ （卡塔兰常数）以及 Zeta 函数与 L 函数的线性组合。
函数： 指数、对数、幂、双曲、三角函数及其反函数。
特殊函数： Gamma 函数、Digamma 函数 ( $\psi$ )、Beta 函数、Bessel 函数 ( $J_\nu, I_\nu, K_\nu$ ) 以及椭圆积分。
参数化族： 包含了若干依赖于参数（如 $k, u$ ）的连分数族，特别是针对 2 阶和 3 阶周期的情形。

作者指出，虽然许多新生成的连分数是经过严格推导的，但另一些则是通过“拉马努金式”（启发式方法）获得的，它们具有极高的置信度但未提供正式证明。该数据库还强调了特定的异常情况，例如“无限可缩减”（在缩减过程中保持相同双度/bidegree）的连分数，以及在特定函数如 $\beta_2(z)$ 或第二类 Bessel 函数 ( $Y_\nu$ ) 方面的文献空白。

意义与声明
作者明确表示，这“并不完全是一篇标准的数学论文”，其目标是作为对连分数感兴趣的数学家的“有用”且“标准参考”。其意义在于新数据的庞大量级以及对以往文献中罕见的收敛细节的包含。

实用性： 作者声称，如果没有随附的 TeX 源文件，该文档是“无用”的，因为实际的数据库包含在其中。
谦逊： 作者对于证明过程表现得十分谦逊，承认对于许多条目，其来源是启发式的且未提供证明。收敛速度和常数通常是使用启发式方法和线性相关算法（如 Pari/GP 的 lindep）确定的，虽然被认为是正确的，但在文中并未经过严格证明。
未来工作： 作者设想将该数据库托管在网站上以供社区更新，但也承认个人缺乏相关的技术资源。论文邀请读者进行修正和补充，并指出当前文件只是一个潜在更大规模书籍的起点，该书将包含“美化版”的人类可读连分数。