zbMATH — the first resource for mathematics

The diagonal of a D-finite power series is D-finite. (English) Zbl 0657.13024
Let \(K[[x]]\) be the ring of formal power series in variables \(x_ 1,...,x_ n\) over a field \(K\) of characteristic zero. A series \(f\in K[[ x]]\) is called D-finite (or differentiably finite) if the set of all its derivatives lie in a finite-dimensional vector space over \(K(x)\), the field of rational functions in \(x_ 1,...,x_ n\). If \(f=\sum a_{i_ 1...i_ n}x_ 1^{i_ 1}...x_ n^{i_ n}\) the primitive diagonal \(I_{12}(f)\) is defined by the formula \[ I_{12}(f)=\sum a_{i_ 1i_ 3...i_ n}x_ 1^{i_ 1}x_ 3^{i_ 3}...x_ n^{i_ n}. \] The other primitive diagonals \(I_{ij}\) (for \(i<j\)) are defined similarly. Any composition of the \(I_{ij}\) is called diagonal.
It is proved that any diagonal of a D-finite power series is again D-finite.

13F25 Formal power series rings
13J05 Power series rings
05A15 Exact enumeration problems, generating functions
Full Text: DOI
[1] Christol, G, Diagonals de fractions rationelles et équations différentielles, (), No. 18 · Zbl 0698.13009
[2] Deligne, P, Intégration sur un cycle évanescent, Invent. math., 76, 129-143, (1984) · Zbl 0538.13007
[3] Denef, J; Lipshitz, L, Algebraic power series and diagonals, J. number theory, 26, 46-67, (1987) · Zbl 0609.12020
[4] Dwork, B, On the zeta function of a hypersurface, IV, Ann. of math., 90, 335-352, (1969) · Zbl 0213.47402
[5] \scB. Dwork, Differential systems associated with families of singular hypersurfaces, preprint.
[6] Furstenberg, H, Algebraic functions over finite fields, J. algebra, 7, 271-277, (1967) · Zbl 0175.03903
[7] Gessel, I, Two theorems on rational power series, Utilitas math., 19, 247-254, (1981) · Zbl 0477.13008
[8] Lipshitz, L; Rubel, L, A gap theorem for power series solutions of algebraic differential equations, Amer. J. math., 108, 1193-1214, (1986) · Zbl 0605.12014
[9] Stanley, R.P, Differentiably finite power series, Eur. J. combin., 1, 175-188, (1980) · Zbl 0445.05012
[10] Zeilberger, D, Sister Celine’s technique and its generalizations, J. math. anal. appl., 85, 114-145, (1982) · Zbl 0485.05003
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.