A set of identities that encapsulates relations among the Bernoulli numbers, the Stirling numbers of the first and second kinds, and operators related to the umbral calculus of Blissard and his contemporaries:
The symbols with periods as subscripts are to be treated as umbral variables to be evaluated umbrally, i.e., at the level indicated by the that is, within these delimiters, the umbral variables may be treated as regular commuting variables that simply multiply together. Once a series in these variables is established within the delimiters with each summand containing only a single power of the umbral variable, the single power can be lowered to the subscript position and the umbra assigned whatever value (numerical, polynomial, operator, whatever) consistent to that subscript value throughout the series.
the derivative, by definition is the natural logarithm, and
This last set of identities follows from arguments in the notes “Goin’ with the Flow” below, the binomial translation property of the Bernoulli polynomials, , and their defining property connecting them to the tangent space for formal power series
The Bernoulli numbers together with the binomial translation property also uniquely define the Bernoulli polynomials, and are related to the Riemann zeta by the Mellin transform of their e.g.f. (with a sign introduced), while the Mellin transform of the e.g.f. (mod sign) of the Bernoulli polynomials gives the Hurwitz zeta function. Some useful identities which follow from the Mellin transform relations are , which can be related to with the functional, or reflection, formula of the Riemann zeta, except for , which is the odd man out.
The umbral compositional inverses of the Bernoulli polynomials are defined by and vice versa, and this, together with the Appell property, means that their e.g.f.s are multiplicative reciprocals as evident in the identities above. Specifically, the reciprocal polynomials are
(An aside.) Using differential operators in the rich tradition discussed by Harold Davis in his book The Theory of Linear Operators, and with a grasp of the fundamentals of the generalized shift op and Gauss-Newton series or interpolation, you can operate on both sides of the iconic Euler integral for the gamma function, using not the values of the Bernoulli numbers but only the fact that the polynomials are comp inverses of the reciprocal polynomials, to obtain the Mellin transform for the Hurwitz zeta function, or operate on expressed as the log of the Weierstrass expression for the gamma function to get the digamma function as a power series in the values of the Riemann zeta at . A second differential op that is equivalent to the operational definition of the Bernoulli polynomials acting on functions analytic at is
Try acting on with it using the generalized shift operation and the generalized binomial expansion to obtain the Hurwitz zeta function in its usual series rep, as a Mellin transform, and as a Gauss-Newton interpolation series of the Bernoulli polynomials. For operation on functions analytic at , e.g., , this consistently gives the same result as
You can check that both formulations are equivalent for by noting the binomial transform (with signs) is an involution, i.e., self-reciprocal, i.e., and that in the Mellin transform can be replaced by the derivatives of the Dirac delta funtion for such values of .
The end result is that you can see precisely the true nature of the Mellin transform in interpolating the coefficients of e.g.f.s (or as generating a reciprocal -space with a curve whose trajectory intersects with the coefficients at integer values of ) and are now justified in regarding the Hurwitz zeta function as an interpolation and therefore generalization of the Bernoulli polynomials, and you will be in the company of Euler, Riemann, and Ramanujan with his Master Theorem / Formula (not such bad company). The machinations involved in regularizing the Mellin transform to analytically continue it are in accord with displaying this curve. Think of the Euler integral for the gamma function. You subtract out the lower coefficients, or powers, that lead to singularities in the integrand of the Mellin transform to view the nature of the curve for values of , as the constant one. Same for the Bernoulli polynomials a.k.a. the Hurwitz zeta. To obtain the Riemann zeta, simply assign .
(Back to the main points.) This is all closely related to the two sets of Stirling numbers: the Bell polynomials, whose coefficients are the Stirling numbers of the second kind, and their umbral compositional inverses, the falling factorials, whose coefficients are the Stirling numbers of the first kind, so also These can be taken as the operational definitions of these binomial Sheffer sequences.
You should also be careful with taking the powers of the expressions in the top identities. The eval for the Bernoulli umbral variables must either be done first or the variables treated as in my entry on the Todd class and the Hirzebruch criterion. The paper by B. Taylor that I mention in that entry also has an informative discussion of this in terms of moments of independent random variables.
The fact that the Bell polynomials and the falling factorials are an umbral compositional inverse pair is reflected in the two lower triangular matrices of those numbers being an inverse pair as well as the two functions that define the pair of binomial Sheffer polynomial sequences. The functions and give and
This also leads to the operator compositional inverse pair the lowering op for , and the lowering op for .
The formal group law FGL associated with the Stirling compositional inverse pair is the multiplicative FGL
which in op form becomes
All these Lie derivatives map to matrix relations, as discussed in “Goin’ with the Flow” and entries on the OEIS, with the infinitesimal Lie generator of the Pascal matrix and the Pascal matrix itself playing central roles along with conjugation (guage transformation) by the two fundamental, mutually orthogonal Stirling matrices. Essentially, is mapped to , the infinitesimal matrix (nilpotent to the order of its rank if truncated, with vanishing trace and determinant) of the Pascal matrix. However, these matrices are conjugated with the mutually orthogonal pair of Stirling matrices. These results lead also to the matrix OEIS A238363 with its associations to the Coxeter group and Bernoullis through A074909, A135278, and A130534. The Bernoulli polynomials have the e.g.f. , the reciprocal polynomials, , associated with A074909, and a third e.g.f. in the top identities is , which is an Appell e.g.f. associated to A238363. Taking powers of these matrices is relatvely straightforward since they involve conjugation of an infinitesimal generator.
The operator relations hold just as well for any lowering op and raising op acting on its associated sequence, with , , and . Simply replace with and with everywhere. The last section of Goin’ with the Flow presents raising and lowering ops related to geometric operations on the simplices. The exponentiated raising op then gives bivariate polynomials for the face polynomials of the simplices, essentially the polynomials of A074909, A135278, and A130534.
These relations run parallel to the classic relations for the finite difference operator:
“Hopf algebras in dynamical systems” by Carinena, Ebrahimi-Fard, Figueroa, and Gracia-Bondi http://arxiv.org/abs/math/0701010
“Central differences, Euler numbers and symbolic methods” by Dowker http://arxiv.org/abs/1305.0500
“Poincare and Lie groups” by Schmid