When considering operator inverses, one usually considers multiplicative inverses. As noted earlier in several entries, particularly, “Bernoulli and Blissard meet Stirling … ” (BBS), we see compositional inverse pairs of operators playing an important role in making associations among important integer arrays and combinatorics.
Using the arguments in BBS as a template, let
and , then, at any point satisfying the inverse relations,
And, if these relations are satisfied about the origin, i.e.,
, and , then these ratios serve as the e.g.f.s of the moments of the Appell sequences
Following the discussions in “Mathemagical Forests”, the e.g.f. of the binomial Sheffer sequence associated to , under these restrictions about the origin, is , and the lowering operator for the binomial sequence is with .
Similarly, let , and then .
From the properties of such pairs of binomial Sheffer sequences, the umbral compositional inversion
For any operator , let
with explicitly denoting the level at which the equivalent formal series of reduced monomials of the umbral variable for the enclosed expression is to be umbrally evaluated.
In this sense, we obtain the pair of compositional inverse ops
and the relations
We can relate this to matrix ops in the power basis through
, which implies that the lower triangular matrices of the coefficients of the two Sheffer sequences are a matrix inverse pair.
In addition, from the Appell formalism,
giving conjugate relations among the two Appell sequences.
A particularly interesting example is when with , which is discussed in the earlier posts “Bernoulli, Blissard, and Lie meet Stirling and the simplices” and “Goin’ with the flow,” related to the entry A238363. Then the Bernoulli polynomials are given by
where are the Bell / Touchard / exponential polynomials, or Stirling polynomials of the second kind; , the falling factorial polynomials, or Stirling polynomials of the first kind; and the conjugated polynomials are presented in the OEIS entry.
This gives the formula for the Bernoulli numbers
in terms of the Stirling numbers of the second kind or the coefficients of the face polynomials of the permutahedra / permutohedra (or dual polytopes, cf. A019538), e.g.,
Note the similarity of the expression for the Bernoulli numbers to that for the log of a determinant, or characteristic polynomial, in the MO-Q “Cycling in the zeta garden”
From discussions on the Pincherle derivative, if is a lowering op for a sequence with the raising op , then
Following the notes in BBS, Bernoulli Appells, and Goin’ with the Flow, all Appell sequences have the lowering op and a raising op of the segregated form and the logarithmic Appell sequence , the lowering op and raising op , so the commutator remains invariant to choice of the Appell sequence.