Submodule approach to creative telescoping

Abstract

This paper proposes ideas to speed up the process of creative telescoping, particularly when the telescoper is reducible. One can interpret telescoping as computing an annihilator $L\in D$ for an element m in a D-module M. The main idea in this paper is to look for submodules of M. If N is a non-trivial submodule of M, constructing the minimal annihilator R of the image of m in $M/N$ gives a right-factor of L in D. Then $L=L^{\prime }R$ where the left-factor $L^{\prime }$ is the telescoper of $R\left(m\right)\in N$. To expedite computing $L^{\prime }$, compute the action of D on a natural basis of N, then obtain $L^{\prime }$ with a cyclic vector computation.

The next main idea is to construct submodules from automorphisms, if we can find some. An automorphism with distinct eigenvalues can be used to decompose N as a direct sum $N_1\oplus \cdots \oplus N_k$. Then $L^{\prime }$ is the LCLM (Least Common Left Multiple) of $L_1,\dots ,L_k$ where $L_i$ is the telescoper of the projection of $R\left(m\right)$ on $N_i$. An LCLM can greatly increase the degrees of coefficients, so $L^{\prime }$ and L can be much larger expressions than the factors $L_1,\dots ,L_k$ and R. Examples show that computing each factor $L_i$ and R separately can save a lot of CPU time compared to computing L in expanded form with standard creative telescoping.