Some remarks about the derivation operator and generalized Stirling numbers.

Abstract

Studying expressions of the form (f(x)D), where D = d dx is the derivation operator, goes back to Scherk’s Ph.D. thesis in 1823. We show that this can be extended as ∑ γp;a(f )(f) · · · (f)D ∑ i , where the summation is taken over the p-tuples (a0, a1, . . . , ap−1), satisfying ∑ i a(i) = p − 1, ∑ i ia(i) < p, f (i) = Df and γp;a is the number of increasing trees on the vertex set [0, p] having a(0) + 1 leaves and having a(i) vertices with i children for 0 < i < p. Thus, previously known results about increasing trees, lead us to some equalities containing coefficients γp;a. In the sequel, we consider the expansion of (x D) and coefficients appearing there, which are called generalized Stirling numbers by physicists. Some results about these coefficients and their inverses are discussed through bijective methods. Particularly, we introduce and use the notion of (p, k)-forest in these arguments.