S-原始塔中的附加分解
摘要：原始塔中的加法分解问题，我们提出了一种算法，将S-原始塔中的函数分解为塔中的导函数和在某种意义下最小的剩余项之和。S-原始塔的特殊实例包括由有限个对数函数和对数积分生成的微分域。在原始塔中的函数在塔中可积当且仅当剩余项等于零。通过将我们的塔看作不是传统的扩展域链，而是一些子环的直和来实现加法分解。此外，我们可以确定一个S-原始塔中的函数是否具有初等积分，而不需要解任何微分方程。我们还展示了一种称为对数塔的S-原始塔可以嵌入到一个特定的扩展中，从而可以获得更精细的剩余项。
作者：Hao Du, Jing Guo, Ziming Li and Elaine Wong
论文ID：2002.02355
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2020-10-20