[论文解读] Symbolic Integration of Differential Forms: From Abel to Zeilberger

Shaoshi Chen, David A. Cox+1 more|arXiv (Cornell University)|Jan 2, 2026

Polynomial and algebraic computation被引用 0

一句话总结

该论文发展了符号积分微分形式的算法方法，将 Abel 的思想推进到参数化积分的现代可望久延（telescoping）技术，包括 Hermite 约简和对形式的 Liouville 型定理。

ABSTRACT

This paper focuses on symbolic integration of differential forms, with a particular emphasis on historical and modern developments, from Abel's addition theorems for Abelian integrals to Zeilberger's creative telescoping for parameterized integrals. It explores closed rational $p$-forms and provides algorithmic approaches for their integration, extending classical results like Hermite reduction and Liouville's theorem. The integration of closed differential forms with parameters is further examined through telescopers, offering a unified framework for handling both algebraic and transcendental cases.

研究动机与目标

• 通过将 Abel 的加法定理与现代望远镜方法联系起来，推动微分形式的符号积分的动机
• 将积分理论从有理 1-形式扩展到多变量的闭合有理 p-形式
• 为闭合有理 1-形式发展 Hermite 约简，并推广到更高次的形式
• 探讨微分形式的 Liouville 型结果及其对初等积分的影响
• 将微分形式积分与 Zeilberger 的创造性望远镜法在参数化积分中的联系与实现

提出的方法

• 将 Hermite 约简推广到闭合有理 1-形式并给出一个算法（HermiteOneForm），将闭合形式分解为一个精确部分 dg 与具有平方不变分母的约简部分
• 证明多变量推广（定理 3.1），即系数在有理函数域中的闭合 1-形式可积成 a + sum c_j log b_j 的形式，其中 a 在基域，c_j 为常数
• 通过对变量的递归约简，将闭合有理 p-形式的约简推广到定理 4.3，使其允许具有以中间域为代数的系数的对数分量
• 用直接的微分形式语言概述并联系 Liouville 型可积性
• 讨论微分形式的 Zeilberger 创造性望远镜法，并给出一个算法，用 Hermite 约简计算具有一个参数的有理 1-形式的最小望远镜算子

实验结果

研究问题

• RQ1 在若干变量下，是否每个闭合有理 1-形式都可以积分为有理部分加对数项（定理 3.1）？
• RQ2 如何将 Hermite 约简从一元有理函数扩展到多变量闭合有理 1-形式（以及更高阶 p-形式）？
• RQ3 在多变量中闭合 p-形式的积分结构是怎样的，是否可以约简为精确形式再加对数分量（定理 4.3）？

主要发现

• 一个系数在有理函数域中的闭合有理 1-形式的积分可表示为 dg，其中 g 具有有理部分和对数项（定理 3.1）
• 将 Hermite 约简推广到多变量闭合 1-形式，得到一个精确部分和具有平方不变量分母的约简形式（算法 HermiteOneForm）
• 积分理论扩展到闭合有理 p-形式，结构显示对数系数及有理/代数部分（定理 4.3）
• 开发了微分形式的 Liouville 型结果，以在此情形下判断初等可积性
• 提供一个框架，将符号微分形式积分与参数化积分的 Zeilberger 创造性望远镜法联系起来，并给出一个计算具有一个参数的有理 1-形式最小望远镜算子的算法