2025-11-20T17:49:15.132482

Complete Reduction for Derivatives in a Primitive Tower

Du, Gao, Li et al.

A complete reduction $Ï$ for derivatives in a differential field is a linear operator on the field over its constant subfield. The reduction enables us to decompose an element $f$ as the sum of a derivative and the remainder $Ï(f)$. A direct application of $Ï$ is that $f$ is in-field integrable if and only if $Ï(f) = 0.$ In this paper, we present a complete reduction for derivatives in a primitive tower algorithmically. Typical examples for primitive towers are differential fields generated by (poly-)logarithmic functions and logarithmic integrals. Using remainders and residues, we provide a necessary and sufficient condition for an element from a primitive tower to have an elementary integral, and discuss how to construct telescopers for non-D-finite functions in some special primitive towers.

academic

Complete Reduction for Derivatives in a Primitive Tower

基本信息

论文ID: 2510.13456
标题: Complete Reduction for Derivatives in a Primitive Tower
作者: Hao Du (北京邮电大学), Yiman Gao (约翰内斯开普勒大学), Wenqiao Li (中科院数学机械化重点实验室), Ziming Li (中科院数学机械化重点实验室)
分类: cs.SC (Symbolic Computation)
发表会议: ISSAC'25 (International Symposium on Symbolic and Algebraic Computation)
论文链接: https://arxiv.org/abs/2510.13456

摘要

微分域中导数的完全约简 $\phi$ 是域在其常数子域上的线性算子。该约简使我们能够将元素 $f$ 分解为导数和余项 $\phi(f)$ 的和。 $\phi$ 的一个直接应用是 $f$ 在域内可积当且仅当 $\phi(f) = 0$ 。本文算法化地提出了原始塔中导数的完全约简。原始塔的典型例子是由(多重)对数函数和对数积分生成的微分域。利用余项和留数，我们提供了原始塔中元素具有初等积分的充要条件，并讨论了如何为某些特殊原始塔中的非D-finite函数构造telescoper。

研究背景与动机

问题背景

符号积分中的核心问题：在符号计算中，确定一个函数是否具有初等形式的积分是一个基本问题。对于超越Liouville函数，这个问题通常通过单项式扩张来描述。
完全约简的重要性：完全约简是一种线性算子，能够将微分域中的任意元素分解为导数部分和"最小"的余项。这种分解对于：
- 判断函数的域内可积性
- 基于约简的创造性telescoping
- 有限项积分(求和)
现有方法的局限性：
- 加法分解(additive decomposition)不总是线性映射，缺乏理论和实践上的便利性
- 现有的完全约简主要针对超指数函数、代数函数、D-finite函数等特定类型
- 对于原始塔(primitive tower)这一重要类别缺乏系统的完全约简算法

研究动机

本文的研究动机源于：

理论需求：为原始塔建立完whole的完全约简理论框架
算法需求：开发高效的算法来计算原始塔中的完全约简
应用需求：将完全约简应用于初等积分计算和telescoper构造

核心贡献

建立了原始塔中导数完全约简的算法框架：提出了系统的三步方法来构造完全约简
开发了关键的辅助算法：包括辅助约简(AuxiliaryReduction)、基构造(Basis)和投影(Projection)算法
提供了初等积分的充要条件：基于余项和留数给出了原始塔中元素具有初等积分的判定准则
扩展了telescoper构造方法：为某些非D-finite函数提供了telescoper存在性的充分条件
实现了高效的算法：实验表明该方法在多数情况下优于现有方法

方法详解

任务定义

给定原始塔 $F_0 \subset F_1 \subset \cdots \subset F_n$ ，其中 $F_i = F_{i-1}(t_i)$ 且 $t_i$ 是 $F_{i-1}$ 上的原始单项式，目标是构造完全约简 $\phi: F_n \to F_n$ 使得：

对任意 $f \in F_n$ ，存在唯一的 $g \in F_n$ 和 $r \in \text{im}(\phi)$ 使得 $f = g' + r$
$\phi(f) = r$ 是 $f$ 的余项
$\ker(\phi) = F_n'$ (所有导数的集合)

核心算法架构

1. 三步构造方法

对于原始单项式扩张 $F(t)$ ，算法分三步：

步骤1：定义辅助子空间 定义 $\mathcal{A} = \text{im}(\phi) \otimes_C C[t]$ 作为 $F[t]'$ 在 $F[t]$ 中的辅助子空间，其中 $\phi: F \to F$ 是 $F$ 上已有的完全约简。

步骤2：确定交集的基 构造 $F[t]' \cap \mathcal{A}$ 的 $C$ -基 $\{v_0, v_1, v_2, \ldots\}$ ，其中：

$v_0 = \phi(t')$
$v_i = \phi(t')t^i - M_{i,0}(t^i)$ （对 $i \geq 1$ ）

步骤3：固定补空间 通过有效基技术确定 $\mathcal{A}$ 在 $F[t]$ 中关于 $F[t]'$ 的补空间 $\mathcal{A}_\theta$ 。

2. 关键算法组件

算法3.4 (AuxiliaryReduction)：

输入：p ∈ F[t]
输出：(q,r) ∈ F[t] × A 使得 p = q' + r
1. 初始化 p̃ ← p, q ← 0, r ← 0
2. while p̃ ≠ 0 do
   d ← deg(p̃), l ← lc(p̃)
   计算l的R-对(g, φ(l))
   q ← q + gt^d, r ← r + φ(l)t^d
   p̃ ← p̃ - lt^d - (dgt')t^(d-1)
3. return (q,r)

算法3.12 (Projection)：将辅助子空间中的元素投影到 $F[t]'$ 和 $\theta$ -补空间。