Arxiv:Math/9502220V1

arXiv:math/9502220v1 [math.CO] 9 Feb 1995 Examples Sequences Graded Appell 6 Functions Generating 5 Theorem Expansion 4 Sequences Graded Sheffer 3 Introduction 2 1 Contents . aureGae eune...... Sequence . Graded . . . Laguerre ...... Sequence . Graded . . Hermite ...... Sequence . 6.4 Graded Bernoulli . . . . Sequence 6.3 Graded Harmonic 6.2 6.1 hffro pelsqec fplnmas hslast seve summation to Euler-MacLaurin leads the This of version polynomials. logarithmic of a sequence and Appell or Sheffer is uu eso oaihiu el oml esommatio de formule pe la d’applications de exemples logarithmique version Quelques qu’un ainsi d’Appell. et Sheffer de itérés, logarithmes definit l’algèbrethéorie des on de ’l` bedsLgrtmsI´re I e utsd Sheffe de Suites Itérés Les Logarithmes II: L’Algèbre des netnino h hoyo h trtdLgrtmcAlgeb Logarithmic Iterated the of theory the of extension An tv Roman Steve eiae to Dedicated Abstract naaou oaihiu e utsd polynômes de suites des logarithmique analogue un eEuler–MacLaurin. de n mtetd ´diel oml eStirling de formule déduire la de rmettent formula. a xmlsicuigSiln’ formula Stirling’s including examples ral agvstelgrtmcaao fa of analog logarithmic the gives ra r ra e` n généralisation la Grâce à une de 12 ...... 8 . . 8 ...... 10 . . . . 8 6 5 4 3 2 1 2 1 INTRODUCTION

1 Introduction

Just as many of the important polynomial sequences of mathematics—generalized Laguerre, Hermite, Bernoulli—are not quite sequences of binomial type, and forced us to invent the theory of Sheffer and Appell sequences; we now have in [1] two complete theory of graded sequences of logarithmic series of binomial type. Both the theories contained in [1]—continuous and discrete—allow us to do work in a field involving the iterated logarithms; however, the continuous theory also allows us to use x to a real power. Nevertheless, neither theory can yet help us compute any Euler-MacLaurin-like summation formulas, since the logarithmic generalization of the Bernoulli polynomials are not of binomial type. Again, we are forced to augment our theory through the use of Sheffer and Appell sequences.

Along the way, we will determine a sort of generating function for them, and for all ordinary graded sequence of formal power series of logarithmic type. We conclude by presenting several examples and applications.

The paper [1] contains the necessary background for this material.

As in [1], we will study two theories in parallel. All results and sections regarding the discrete iterated logarithmic algebra will be denoted “Discrete” and the results regarding the more general continuous iterated logarithmic algebra will be denoted “Continuous.” Readers interested in only one of these theories may safely omit all material pertaining to the other. Sections and results numbered with a D and paragraphs starting with Discrete are relevant only to the discrete theory whereas sections and results numbered with a C and paragraphs starting with Continuous are relevant only to the continuous theory. Otherwise, the remainder of this article may be interpreted discretely by supposing that all variables a, b, c, . . . are integers, and that α, β are vectors of integers, or it may be interpreted continuously by supposing that all variables a, b, c, . . . are real numbers and that α, β are vectors of real numbers.

Digressions and all sections marked with the word “Appendix” or the letter “A” are independent of all later material, and are included for their own sake. 3

2 Sheﬀer Graded Sequences

We begin by giving one deﬁnition of a Sheﬀer graded sequence of formal power series of logarithmic type.

α Definition 2.1 (Sheﬀer Graded Sequences) Suppose sa (x) is a graded sequence such that if there is a α α α Roman graded sequence pa (x) and an Artinian operator g(D) of degree zero with sa (x)= g(D)pa (x). Then α α we say that sa (x) is Sheﬀer for g(D) with respect to pa (x).

α th α If pa (x) is the (n ) associated sequence for the delta operator f(D), then we also say that sa (x) is Sheﬀer for g(D) with respect to f(D) (and n).

Graded Sheﬀer sequences admit a number of equivalent characterizations:

α Theorem 2.2 For a graded sequence sa (x), the following are equivalent:

α 1. sa (x) is a Sheﬀer graded sequence.

2. There are Artinian operators f(D) and g(D) of degrees 1 and 0 respectively and an integer n such that

b;n α g(D)f(D) sa (x) α = ⌊a⌉!δab

for all a and b.

3. There is a delta operator f(D) such that

α α f(D)sa (x)= ⌊a⌉ sa−1(x) (1)

for all a and α.

α 4. There is a Roman sequence pa (x) such that a Ezsα(x)= Ezp(0)(x) sα (x) a b b (0) a−b Xb j mD E

for all complex numbers z, and all a and α. 4 3 EXPANSION THEOREM

α α Proof: (4 implies 1) Let T be the continuous, linear operator in I mapping pa (x) to λa (x). We have: a T Ezsα(x) = hpα(x)i Tsα (x) a b b α a−b Xb j m a = hpα(x)i Tpα (x) b b α a−b Xb j m z α = E pa (x) z α = E Tsa (x) By the characterization of diﬀerential operators in [1], T is a diﬀerential operator of degree 0. Thus, we have

α −1 α sa (x)= T pa (x). (2)

(1 implies 3) We have the following series of identities:

α −1 α f(D)sa (x) = f(D)T pa (x) −1 α = T f(D)pa (x) −1 α = ⌊a⌉ T pa−1(x) α = ⌊a⌉ sa−1(x).

(3 implies 4) Since Ez is expressible in term of f(D)a;n, the result is immediate.

(2 is equivalent to 1) See [1].

3 Expansion Theorem

As with the harmonic logarithms and all Roman graded sequences, we have formulas whcih give the coeﬃ- cients of an arbitrary Artinian operator or logarithmic series in terms of a Sheﬀer graded sequence and its operators.

α Theorem 3.1 (Expansion Theorem) Let the graded sequence sa (x) be Sheﬀer for g(D) with respect to f(D) (and n). Then for all Artinian operators h(D) and vectors α 6= (0) we have the following convergent sum. hh(D)sα(x)i h(D) = a α g(D)−1f(D)a;n. (3) ⌊a⌉! Xa

When α = (0), equation (3)holds for all diﬀerential operators h(D).

Proof: See the Expansion Theorem of [1]. 5

α Theorem 3.2 (Taylor’s Theorem) Let the graded sequence sa (x) be Sheﬀer for g(D) with respect to f(D) (and n). Then for every formal power series of logarithmic type p(x) ∈ I+ we have the following convergent sum. g(D)−1f(D)a;np(x) p(x)= α sα(x). ⌊a⌉! a αX=(0)6 Xa

Proof: See the Taylor’s Theorem of [1].

4 Generating Functions

Definition 4.1 (Roman Exponential Series) For all α,

Discrete A vector of integers, deﬁne the Roman exponential series of α to be the formal series yn [e]y = [exp] (y) = (E + E ) . α α α(0) α(1) [n]! Xn

Continuous A vector of real α, deﬁne the nth Roman exponential series of α to be the formal series ya;n [e]y;n = [exp] (y; n) = (E + E ) . α α α(0) α(1) [a]! Xa

Thus, the (0th) exponential series is a generating function of α at x is a generating function for the harmonic logarithms of order α.

Note that this is not a formal power series of logarithmic type in fact is not any sort of Noetherian or Artinian series; it is merely a formal series whose coefficients are homogeneous logarithmic series of order α. x x In general, products of this form are not well defined. For example,[e]α[e]α is not well defined.

In [5, Corollary 3 to Theorem 2 ], it is shown that ordinary (nonlogarithmic) sequences of binomial type for the operator f(D) are given by the generating function

p (x) n yn = exp(xf (−1)(y)). n! Xn In our present context, we have: 6 5 APPELL GRADED SEQUENCES

α th Theorem 4.2 (Generating Function for Roman Graded Sequences) Let be pa (x) be the (n ) associated sequence of the delta operator f(D). Then pα(x) Discrete k yn = [exp] xf (−1)(y)  [n]! α  Xk  α  (4)  p (x) (−1)   Continuous a ya = [exp]xf (y);n.  [a]! α Xa     Proof: By consideration of the expansion Theorem [1],

p (x) (−1;n) p(x, y)= a ya = exf (y);n. a! Xa e The result follows now from regularity.

α Theorem 4.3 (Generating Function for Sheﬀer Graded Sequences) Let sa (x) be Sheﬀer for g(D) with respect to f(D) (and n). Then pα(x) Discrete k yn = g(f −1(y))[exp] xf (−1)(y)  [n]! α  Xk  α   p (x) (−1)   Continuous a ya = g(f (−1;n)(y))[exp]xf (y);n.  [a]! α Xa     Proof: By the generalized expansion theorem of [1],

Dbg(D)pα(x) Dbg(D) = a α f(D)a;n ⌊a⌉! Xa Dbg(D)pα(x) f (−1;n)(D)bg(f (−1;n)(D)) = a α Da ⌊a⌉! Xa Dbsα(x) = a α Da. ⌊a⌉! Xa

5 Appell Graded Sequences

The most interesting types of Sheﬀer graded sequences are the Roman graded sequences themselves and the Appell graded sequences. The name Appell is given to all Sheﬀer graded sequences with respect to D α and 0, or equivalently with respect to the harmonic logarithms λa (x). 7

They are the logarithmic generalization of the notion of an Appell sequence of polynomials, that is, a sequence (pn(x))n≥0 of polynomials satisfying the identity n p (x + a)= an−kp (x). n k k kX≥0

By [1], the action of the derivative operator D on the space I of formal power series of logarithmic type is naturally decomposes as a direct sum of the minimal invariant subspaces Iα. For each α, the subspace Iα is the minimal invariant subspace of I+ under the action of the operators Da which contains ℓα. It is α α not yet clear, however, that the pseudobasis of the spaces I provided by the harmonic logarithms λa (x) is determined by intrinsic algebraic properties. In order to derive the properties that single out the harmonic logarithms as the natural pseudobasis for Iα, we are led to this generalization to formal power series of logarithmic type of the classical theory of Appell polynomials.

α Proposition 5.1 Let pa (x) be a graded sequence of formal power series of logarithmic type. Then the following statements are equivalent:

α 1. pa (x) is an Appell graded sequence. 2. There is an Artinian operator g(D) of degree 0 such that

b α g(D)D pa (x) α = ⌊a⌉!δab

for all a and b, and for all α 6= (0). 3. For all a and α, α α Dpa (x)= ⌊a⌉ pa−1(x). (5) 4. For all complex numbers z, and all a and α, zn ⌊a⌉! Ezpα(x)= pα (x). a ⌊a − n⌉! a−b nX≥0

Proof: Theorem 2.2.

We now deduce an explicit expression for an Appell graded sequence as a linear combination of harmonic logarithms.

α Corollary 5.2 Let pa (x) be an Appell graded sequence, then for all a and α, a pα(x)= p(0)(x) λα (x). a b b (0) a−b Xb j mD E 8 6 EXAMPLES

6 Examples

6.1 Harmonic Graded Sequence

We begin by giving examples of Appell graded sequences. The only Appell graded sequence which is Roman is the graded sequence of harmonic logarithms. It is is characterized among all Appell graded sequences by the fact that α hλa (x)iα = ⌊a⌉!δa,0. This is the characterization of the harmonic graded sequence we had previously announced.

6.2 Bernoulli Graded Sequence

Next, we consider the logarithmic extension of Bernoulli polynomials.

Definition 6.1 (Logarithmic Bernoulli Graded Sequence) Deﬁne the Bernoulli operator J by

x+1 Jp(x)= p(t)dt Zx for p(x) ∈ I, that is, eD − I J = . D α The Appell graded sequence Ba (x) deﬁned as

α −1 α Bn (x)= J λn(x), is be called the logarithmic Bernoulli graded sequence. In particular, we obtain the ordinary Bernoulli (0) polynomials, Bn(x)= Bn (x) and the Bernoulli numbers Bn = Bn(0).

The logarithmic Bernoulli graded sequence can be computed by Proposition 5.2: n Bα(x)= B λα (x). (6) a k k a−k kX≥0 j m 6.2 Bernoulli Graded Sequence 9

α Table 1: Logarithmic Bernoulli Graded Sequence Bn (x)

α α α α α α B− (x) = λ− (x)+ λ− (x)+ λ− (x)/2 − λ− (x)/6+ λ− (x)/6 −··· α2 α 2 α 3 4α 6α 8 α B− (x) = λ− (x)+ λ− (x)/2+ λ− (x)/6 − λ− (x)/30 + λ− (x)/42 −··· α1 α 1 α 2 α 3 α 5 α7 B (x) = λ (x) − λ− (x)/2 − λ− (x)/12 + λ− (x)/120 − λ− (x)/252 + ··· 0α 0α α 1 α 2 α 4 α 6 B (x) = λ (x) − λ (x)/2+ λ− (x)/12 − λ− (x)/360 + λ− (x)/1260 −··· 1α α1 α0 α 1 α 3 α 5 B2 (x) = λ2 (x) − λ1 (x)+ λ0 (x)/6+ λ−2(x)/360 − λ−4(x)/2520 + ···

In particular, the residual series is given by 1 1 1 1 1 B(1)(x)= + + − + − · · · . −1 x 2x2 6x3 30x5 42x7

We derive the Euler-MacLaurin Summation Formula from the logarithmic Bernoulli graded sequence. Since DJ = eD − I = ∆ where ∆ is the classical forward diﬀerence operator ∆p(x) = p(x + 1) − p(x), the Euler-MacLaurin formula can be written as B B I = B J + B ∆+ 2 ∆D + 3 ∆D2 + ··· . 0 1 2! 3! Applying it to a discrete formal power series of logarithmic type p(x) we obtain

p(x)+ p(x +1)+ ··· + p(x + n)= x+n+1 B0 p(t)dt + B1 [(p(x + n + 1) − p(x)] Zx B B + 2 [p′(x + n + 1) − p′(x)] + 3 [p′′(x + n + 1) − p′′(x)] + ··· . 2! 3! We stress the fact that this formula is an identity in the logarithmic algebra, and not just an asymptotic formula. For example, for p(x)=1/x, we obtain:

1 1 1 + + ··· + = x x +1 x + n −1 −1 B0 [log(x + n + 1) − log(x)] + B1 (x + n + 1) − x B2 B 3 + −(x + n + 1)−2 + x−2 + 2(x + n + 1)−3 − 2x−3 + ··· . (7) 2! 3!

For another example, let p(x) = log x. We then obtain a version of Stirling’s formula

log(x(x + 1) ··· (x + n)) =

B0((x + n + 1) log(x + n + 1) − x log x − n − 1) B 1 1 +B (log(x + n + 1) − log x)+ 2 − + ··· . (8) 1 2! x + n +1 x 10 6 EXAMPLES

Finally, let p(x) = log log x.

log(log x log(x + 1) ··· log(x + n)) = x+n+1 −n y+n+1 B0 y log log y + (n − 1)!y(log y)  + B1 [log log y]y=x nX≥1  y=x x+n+1 x+n+1 B2 1 B3 1 + log y + − 2 2 + ··· 2 y log y y=x 6 y (log y) y=x

We note that J = ∆D−1, and thus for α 6= (0),

α −1 α ∆Ba (x) = ∆J λa (x) α = Dλa (x) α = ⌊a⌉ λa−1(x).

Summing, we obtain

α α α −1 α α λa (x)+ λa (x +1)+ ··· + λa (x + k)= ⌊a⌉ Ba+1(x + k + 1) − Ba+1(x) . For example,

(1) (1) log(x(x + 1) ··· (x + k)) = B1 (x + k + 1) − B1 (x) (0,1) (0,1) log(log x log(x + 1) ··· log(x + k)) = B1 (x + k + 1) − B1 (x) 2 2 (2) (2) (log x) + ··· + (log(x + n + 1)) = B1 (x + k + 1) − B1 (x)

Clearly, any similar sum of ℓ(a),α can be evaluated in terms of the logarithmic Bernoulli graded sequence.

6.3 Hermite Graded Sequence

Our next example of an Appell graded sequence is the logarithmic Hermite graded sequence.

2 Definition 6.2 (Logarithmic Hermite Graded Sequence) Let the Weirstrass operator be W = eD /2. α The logarithmic Hermite graded sequence Ha (x) is deﬁned as

α −1 α Ha (x)= W λa (x). 6.3 Hermite Graded Sequence 11

α Table 2: Logarithmic Hermite Graded Sequence Hn (x)

α α α α α H− (x) = λ− (x) − 6λ− (x) + 60λ− (x) − 840λ− (x) −··· α2 α 2 α 4 α 6 α 8 H− (x) = λ− (x) − 2λ− (x) + 12λ− (x) − 120λ− (x) −··· α1 α 1 α 3 α 5 α 7 H (x) = λ (x)+ λ− (x) − 3λ− (x) + 20λ− (x)+ ··· 0α α0 α 2 α 4 α 6 H (x) = λ (x) − λ− (x)+ λ− (x) − 4λ− (x) −··· 1α α1 α1 α 3 α 5 H2 (x) = λ2 (x) − 2λ0 (x) − λ−2(x) + 2λ−4(x)+ ···

(0) For n a nonnegative integer, Hn (x) = Hn(x) is the usual Hermite polynomial. From them we deﬁne the Hermite numbersThe logarithmic Hermite graded sequence can be computed via Proposition 5.2: a Hα(x)= H λα (x). (9) a k k a−k kX≥0 j m

(See Table 2.) Recall that α E0αHn (x)= Hn(x), in other words, the “positive” terms of equation (9) equal the ordinary Hermite polynomials, except that α n λn(x) replaces x . Thus, we have a logarithmic generalization of the Hermite polynomials. All classical properties of Hermite polynomials may be extended to the logarithmic Hermite graded sequence. For example, we have the explicit expression

α −D2/2 α Ha (x) = e λa (x) 1 k ⌊a⌉! = − λα (x). (10) 2 k! ⌊a − 2k⌉! a−2k kX≥0

so that for n a negative integer,

1 k (2k − n − 1)! H(1)(x)= − xn−2k (11) n 2 k!(−n − 1)! kX≥0 or 1 k (2k − n − 1)! Hα(x)= − λα (x) n 2 k!(−n − 1)! n−2k kX≥0

(1) The right side of equation (11) is the classical asymptotic expansion of the Hermite series Hn (x); in the present context, it is a convergent series, and one term of the Hermite graded sequence. We trivially have

α α DHa (x)= ⌊a⌉ Ha−1(x), and a EzHα(x)= zkHα (x). a k a−k kX≥0 j m 12 6 EXAMPLES

Finally, every logarithmic series p(x) has a unique convergent expansion in terms of the logarithmic Hermite graded sequence: hW Dap(x)i p(x)= α Hα(x). ⌊a⌉! a Xa,α

6.4 Laguerre Graded Sequence

We conclude by introducing a Sheﬀer sequence which is neither Appell nor Roman. The generalized Laguerre graded sequence is Sheﬀer for the ordinary Laguerre graded sequence [1].

Definition 6.3 (Laguerre Graded Sequence of Grade b) Given a real number b, deﬁne the Laguerre α;b b+1;0 sequence of grade b La (x) to be the Sheﬀer graded sequence for (1 − D) with respect to the Laguerre graded sequence.

By the transfer formula [1],

D a+1;0 Lα;b(x) = (1 − D)b+1;0K′ λα (x) a K a+1 a;0 a+b α = (−1) (1 − D) λa (x) a + b ⌊a⌉! = (−1)a−k;0λα (x) k ⌊a − k⌉! a−k kX≥0

The generating function for the Laguerre graded sequence of grade b is

Lα;b (1 − y)−b−1;0 exp (xy/(y − 1)) = a ya. α ⌊a⌉! Xa

We hope the preceding examples display the utility of the theory of formal power series of logarithmic type. REFERENCES 13

References

[1] D. Loeb, The Iterated Logarithmic Algebra, To appear. [2] J. B. Miller, The Standard Summation Operator, the Euler-MacLaurin Sum Formula, and the Laplace Transformation, Journal of the Australian Mathematical Society, 39 (1985), 376–390. [3] T. R. Prabhakar, and Reva, An Appell Cross-sequence Suggested by the Bernoulli and Euler Poly- nomials of General Order, Indian Journal of Pure and Applied Mathematics, 10 (1979), 1216–1227. [4] N. Ray, Extensions of Umbral Calculus, Penumbral Coalgebras and Generalized Bernoulli Numbers, Advances in Mathematics, 61 (1986), 49–100. [5] G.-C. Rota, “Finite Operator Calculus,” Academic Press, 1975.

Please refer to [1] for a more complete list of references on this topic.