A power series being given as the solution of a linear differential equation with appropriate initial conditions, minimization consists in finding a non-trivial linear differential equation of minimal order having this power series as a solution. This problem exists in both homogeneous and inhomogeneous variants; it is distinct from, but related to, the classical problem of factorization of differential operators. Recently, minimization has found applications in Transcendental Number Theory, more specifically in the computation of non-zero algebraic points where Siegel's $E$-functions take algebraic values. We present algorithms for these questions and discuss implementation and experiments.
翻译:电源序列作为线性差分方程式的解决方案,并附有适当的初始条件,最小化是指找到一个非三线性极分方程式,以此电源序列作为解决方案。这个问题存在于同质和不相容的变异体中;它与差异操作者典型的因数化问题不同,但与差异操作者典型的因数化问题有关。最近,最小化在Transcental National Theory中找到了应用,更具体地说,在计算非零代数点时,Siegel的 $E$- 函数取代数值。我们提出了这些问题的算法,并讨论了实施和实验。