[論文レビュー] 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 のアイデアを現代のパラメータ付き積分の創造的テレスコーピング技法へと発展させ、 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-形式の最小テレスコーパーを計算するアルゴリズムを提示する。

提案手法

• 閉じた有理 1-形式へ Hermite 約化を一般化し、閉じた形を dg 部分と平方自由分母を持つ約化された部分に分解するアルゴリズム（HermiteOneForm）を提供する。
• 多変数の拡張（定理 3.1）を証明し、有理関数場の係数を持つ閉じた 1-形式は、形が a + sum_j c_j log b_j の形になることを示す（a は基本体、c_j は定数）。
• 閉じた有理 p-形式への約化を再帰的な変数間の約化を通じて拡張する（定理 4.3）、中間体上代数的な係数を持つ対数成分を許容する。
• 創作的なテレスコーピングを微分形式に関する直接的微分形言語で整理し関連付ける。
• Zeilberger の微分形式に対する創造的テレスコーピングを論じ、有理 1-形式の1パラメータの場合の最小テレスコーパーを Hermite 約化を用いて計算するアルゴリズムを提示する。

実験結果

リサーチクエスチョン

• RQ1 複数変数を持つ任意の閉じた有理 1-形式は、有理部分と対数項に分解して積分できるのか（定理 3.1）？
• RQ2 Hermite 約化を単変数有理関数から閉じた多変数 1-形式（および高次の p-形式）へ拡張するにはどうするか？
• RQ3 複数変数の閉じた p-形式の積分構造はどのようになっており、正確な形と対数成分へ還元できるのか（定理 4.3）？

主な発見

• 閉じた有理 1-形式は、有理部分と対数項を持つ形 dg に積分される（定理 3.1）。
• 多変量の閉じた 1-形式へ Hermite 約化を一般化し、正確部と平方自由分母を持つ約化形を得る（アルゴリズム HermiteOneForm）。
• 閉じた有理 p-形式への積分理論を拡張し、対数係数と有理/代数的部分を伴う構造を持つ（定理 4.3）。
• この設定における Liouville 型の結果を開発し、素元積分性を判定する。
• 微分形式の象徴的積分と Zeilberger の創造的テレスコーピングをパラメータ付き積分へ結びつける枠組みを提供し、有理 1-形式の1パラメータの場合の最小テレスコーパーを計算するアルゴリズムを提示する。