Constructible Differentially Finite Algebraic Series

in Several Variables


François Bergeron and Ulrike Sattler

Abstract. We extend the concept of  constructible differentially finite algebraic (CDF) series (introduced by C.~Reutenauer and the first author) to the context of several variables, and show that the series solution of first order differential equations  y'=x(t,y)  and functional equation  y=x(t,y), with x  CDF in two variables, are CDF-series. We also give many effective closure properties for CDF-series in several variables. CDF-series appear naturally in the study of enumeration problems in a manner similar to D-finite series which have been shown to have  great importance in
enumerative combinatorics by Gessel, Stanley  and  Zeilberger.


(Paper in .ps.gz format)    (Paper in .pdf format)