Arxiv:1903.09620V1 [Math.CA] 21 Mar 2019 Rtn Ucin ( Functions Erating with and Where Oyoil;Otooa Polynomialds

Home , Appell sequence

arXiv:1903.09620v1 [math.CA] 21 Mar 2019 rtn ucin ( functions erating with and where oyoil;Otooa polynomialds. Generalized Orthogonal relations, polynomials; Recurrence equation; Differential t eeaigfnto a h olwn form: following the has function generating its une soeo h otipratcasso oyoilse polynomial of classes important 1 most 12, the 11, of sequence [10, one example, is appr for quences in (see, occurring analysis those and as combinatorics such sciences mathematical plied IFRNILEUTO N EURNERLTOSOF RELATIONS RECURRENCE AND EQUATION DIFFERENTIAL e srcl natraedfiiino h hffrsequences Sheffer the of definition alternate an recall us Let Crepnigauthor. *Corresponding eune fplnmaspa nipratroei aypro many rôle in important an play polynomials of Sequences e od n phrases. and words Key 2010 H HFE-PELPLNMA EUNE MATRIX A SEQUENCE: POLYNOMIAL SHEFFER-APPELL THE A 0 ahmtc ujc Classification. Subject Mathematics eut oa xeddcaso oyoilsequences. a polynomial apply of we class examples, extended of an means to genera By the results derive sequence. to convenient polynomial mat is The Appell article, algebra. this in matrix used using have by sequence diffe polynomial and Appell identities several investigate we matrices, skian Abstract. and 0 6= { s n ( .M RVSAA AM AE N OAMDSHADAB MOHAMMAD AND JABEE SRIVASTAVA, SAIMA M. H. x ) } n ∞ H =0 an functional Pascal the of impact effective the by Motivated l 1 ( y 0. 6= ) scle hffrplnma eune[,4 2 5 fadon and if 15] 12, 4, [3, sequence polynomial Sheffer a called is h , hffrApl oyoilsqecs aclfntoa;W functional; Pascal sequences; polynomial Sheffer-Appell ( y )(e,freape [8]): example, for (see, )) A H A ( ( y y ( ) y = ) e = ) xH 1. APPROACH H ( y A introduction rmr 51,1A4 34;Scnay65Q30. Secondary 33C45; 15A24, 15A15, Primary ) 1 0 y = + + n X ∞ A =0 H 1 1 2 y s y n 2 + ( aureplnmas ilrLetp Appell type Miller-Lee polynomials; Laguerre + x · · · ) · · · y n , n ! eta qainfrteSheffer- the for equation rential , , igfntoso h Sheffer- the of functions ting ].Tecaso hffrse- Sheffer of class The 3]). xmto hoy statistics, theory, oximation i prah hc we which approach, rix das lutaeour illustrate also nd ntrso aro gen- of pair a of terms in une.Apolynomial A quences. lm fpr n ap- and pure of blems h Wron- the d osinmatrices; ronskian ∗ (1.1) yif ly 2 H.M.SRIVASTAVA,SAIMAJABEEANDMOHAMMADSHADAB

Let h(y) be a delta series and let l(y) be an invertible series, deﬁned as follows: ∞ yn h(y)= hn (h(0) = 0; h(1) 6= 0) (1.2) n n! X=0 and ∞ yn l(y)= ln (l(0) 6= 0). (1.3) n n! X=0 Then there exists a unique sequence of Sheﬀer polynomials sn(x) satisfying the orthog- onality conditions: k hl(y)h(y) |sn(x)i = n!δn,k (∀ n, k ≧ 0), (1.4) where δn,k is the Kronecker delta.

Roman [12, p. 18, Theorem 2.3.4] introduced the exponential generating function of sn(x) as follows: ∞ n 1 −1 y exh (y) s x . −1 = n( ) (1.5) h (y) n n! X=0 The Sheﬀer sequence for the pair (l(y),y) is called an Appell sequence for l(y). In fact, Roman [12] characterized Appell sequences in several ways:

{An(x)}n∈N is an Appell set if either d α (x) = nα (x) n ∈ N dx n n or if there exists an exponential generating function of the form (see also the recent works [9, 16]): ∞ n xy y A(y)e = αn(x) , (1.6) n n! X=0 where N denotes the set of positive integers and 1 A(y)= . l(y) We also note that, for H(y)= y, the generating function (1.1) of the Sheﬀer polynomials sn(x) reduces to the generating function (1.6) of the Appell polynomials αn(x).

The polynomials deﬁned as the discrete convolution of known polynomials are used to (A) investigate new families of special functions. For example, the polynomial hn (x) given by ∞ (A) hn (x)= Akhn−k(x), (1.7) r X=0 n is known as a discrete Appell convolution by setting hn(x)= x in the above equation. SHEFFER-APPELL POLYNOMIAL SEQUENCE: A MATRIX APPROACH 3

In the year 2015, Subuhi et al. [7] introduced the determinantal definition and other properties of the Sheffer-Appell polynomials. The Sheffer-Appell polynomial sequences are combination of the families of the Sheffer and the Appell polynomials sequences.

Now, in order to recall the deﬁnition of the generalized Pascal functional matrix of an analytic function (see [18]), let ∞ yr F = h(y)= αr αr ∈ C ( r! ) r=0 X C be the set of power series possessing the -algebra. Then the generalized Pascal functional matrix [Pn(h(y))], which is a lower triangular matrix of order (n + 1) × (n + 1) for h(y) ∈ F, is deﬁned by i h(i−j)(y) (i ≧ j) j! Pn[h(y)]ij =  (1.8)   0 (otherwise),  for all i, j = 0, 1, 2, · · · ,n. Hereh(i)(y) is the ith order derivative of h(y).

We next recall the nth order Wronskian matrix of several analytic functions h1(y), h2(y), · · · , hm(y) of order (n + 1) × m as follows:

h1(y) h2(y) h3(y) · · · hm(y) ′ ′ ′ ′  h1(y) h2(y) h3(y) · · · hm(y)  Wn[h1(y), h2(y), · · · , hm(y)] = ...... (1.9)  ......       (n) (n) (n) (n)  h1 (y) h2 (y) h3 (y) · · · hm (y)   We also record here some properties and relationships between the Wronskian matrices and the generalized Pascal functional matrices as they are the main tool of our work (see, for example, [19, 20]).

Property I. For h(y), l(y) ∈ C, Pn[h(y)] and Wn[h(y)] are linear, that is,

Pn[uh(y)+ vl(y)] = uPn[h(y)] + vPn[l(y)] and

Wn[uh(y)+ vl(y)] = uWn[h(y)] + vWn[l(y)], (1.10) where u, v ∈ C.

Property II. For h(y), l(y) ∈ C,

Pn[h(y)l(y)] = Pn[h(y)]Pn[l(y)] = Pn[l(y)]Pn[h(y)]. (1.11) Property III. For h(y), l(y) ∈ C,

Wn[h(y)l(y)] = Pn[h(y)]Wn[l(y)] = Pn[l(y)]Wn[h(y)]. (1.12) 4 H.M.SRIVASTAVA,SAIMAJABEEANDMOHAMMADSHADAB

Property IV. For h(y), l(y) ∈ C, with h(0) = 0 and h′(0) 6= 0,

W l h y W , h y , h2 y , , hn y −1W l y , n[ ( ( ))] y=0 = n 1 ( ) ( ) · · · ( ) y=0 Ωn n[ ( )] y=0 (1.13) h i where 0!, 1!, · · · ,n! are the diagonal entries in the diagonal matrix given by

Ωn = diag[0!, 1!, 2!, · · · ,n!].

2. The Sheffer-Appell polynomial sequence and its differential equation He and Ricci ([6]; see also [14]) derived some recurrence relations and differential equation for the Appell polynomial sequence. Further, Youn and Yang ([20]; see also [1]) obtained some identities and differential equation for the Sheffer polynomial sequence by using matrix algebra. Here, in this paper, we study some recursive formulas and differential equation for the Sheffer-Appell polynomial sequence by using matrix algebra.

The Sheffer-Appell polynomial sequence, which is denoted by sAn(x), is defined as the discrete Appell convolution of the Sheffer polynomials sn(x). The generating function of the Sheffer-Appell polynomials sAn(x) is given by

∞ n 1 −1 y exh (y) A x , −1 = s n( ) (2.1) l(h (y))l(y) n n! X=0 where h−1(y) is the compositional inverse of h(y), that is, we have (see [19])

h−1(h(y)) = (h(h−1(y)) = y.

Thus, if the following generating function in (2.1):

1 −1 exh (y) l(h−1(y))h(y) is analytic, then (by using Taylor’s expansion theorem), we obtain

k d 1 xh−1(y) sAk(x)= − e (k ≧ 0). (2.2) dyk l(h 1(y))l(y) y=0

The Sheﬀer-Appell polynomial sequence sAn(x) in vector form for the pair (l(y), h(y)) is denoted by sA~ n(x) and it is deﬁned by ~ T sAn(x) = [sA0(x), sA1(x), · · · , sAn(x)] , (2.3) which can also be expressed as follows:

~ T 1 xh−1(y) sAn(x) = [sA0(x), sA1(x), · · · , sAn(x)] = Wn − e . (2.4) l(h 1(y))l(y) y=0

SHEFFER-APPELL POLYNOMIAL SEQUENCE: A MATRIX APPROACH 5

Lemma. Let sAn(x) be the Sheﬀer-Appell polynomial sequence for the pair (l(y), h(y)). Then

T −1 Wn[sA0(x), sA1(x), · · · , sAn(x)] Ωn W , h−1 y , h−1 y 2, , h−1 y n = n[1 ( ( )) ( ( )) · · · ( ( )) ] y=0

−1 1 1 xy · Ωn Pn Pn Pn [e ] . (2.5) l(y) l(h(y)) y=0 y=0 y=0

Proof. Let us begin with the equation (2.4), that is,

~ 1 xh−1(y) sAn(x)= Wn − e . (2.6) l(h 1(y))l(y) y=0

Applying Property IV in the equation (2.6), we get

~ −1 −1 2 −1 n −1 1 xy sAn(x)= Wn[1, (h (y)), (h (y)) , · · · , (h (y)) ] Ωn Wn e .(2.7) l(y)l(h(y)) y=0 y=0

In view of the following result:

xy 2 n T Wn[e ] = [1, x, x , · · · ,x ] , (2.8)

y=0

the (2.7) becomes

−1 −1 2 −1 n sA~ n(x)= Wn[1, (h (y)), (h (y)) , · · · , (h (y)) ]

y=0

−1 1 1 2 n T · Ωn Pn Pn [1, x, x , · · · ,x ] . (2.9) l(y) l(h(y)) y=0 y=0

Now, by taking the kth order derivative of both sides of the equation (2.9) with respect to x and dividing the resulting equation by k!, we obtain 1 [ A(k)(x), A(k)(x), · · · , A(k)(x)]T k! s 0 s 1 s n

−1 −1 2 −1 n = Wn[1, (h (y)), (h (y)) , · · · , (h (y)) ]

y=0

−1 1 1 · Ωn Pn Pn l(y) l(h(y)) y=0 y=0

T k + 1 k + 1 n · 0, · · · , 0, 1, x, x2, · · · , xn−k . (2.10) " k ! k ! k! # 6 H.M.SRIVASTAVA,SAIMAJABEEANDMOHAMMADSHADAB

Hence, clearly, the right-hand side and left-hand side of the equation (2.10) are the kth columns of

−1 −1 2 −1 n −1 Wn[1, (h (y)), (h (y)) , · · · , (h (y)) ] Ωn ,

y=0

1 1 xy Pn Pn Pn[e ] l(y) l(h(y)) y=0 y=0 y=0

and

T −1 Wn[sA0(x), sA1(x), · · · , sAn(x)] Ω , respectively. Our proof of the Lemma is thus completed.

We now state and prove Theorem 1 below.

Theorem 1. The Sheffer-Appell polynomial sequence sAn(x) ∼ (l(y), h(y)) satisfies the following differential equation:

n (k) sAn (x) (xa + b + c ) − nsAn(x) = 0, (2.11) k k k k! kX=0 where

h(y) (k) ak = ′ (k ≧ 0), h (y) y=0

h(y)l′(h(y)) (k) bk = − (k ≧ 0) l(h(y)) y=0

and

h(y)l′(y) (k) ck = − ′ (k ≧ 0). h (y)l(y) y=0

Proof. Let us begin with the following result:

− d exh 1(y) Wn y − . (2.12) " dy l(h 1(y))l(y) !# y=0

SHEFFER-APPELL POLYNOMIAL SEQUENCE: A MATRIX APPROACH 7

On the one hand, by using Property III, we get

− d exh 1(y) Wn y − " dy l(h 1(y))l(y) !# y=0

xh−1(y) d e = Pn[y] Wn − "dy l(h 1(y))l(y) !# y=0 y=0

0 0 0 · · · 0 0 0 1 0 0 · · · 0 0 0 A (x)   s 1 0 2 0 · · · 0 0 0 A (x)  s 2    0 0 3 · · · 0 0 0 sA3(x) =     . (2.13)  ......   .   ......   .      0 0 0 · · · 0 0 0  sAn(x)      0 0 0 · · · n − 1 0 0 sAn (x)    +1  0 0 0 · · · 0 n 0      

Also, on the other hand, we can rewrite the equation (2.12) as follows:

− d exh 1(y) Wn y − " dy l(h 1(y))l(y) !# y=0

−1 −1 ′ −1 ′ −1 h(h (y)) h(h (y))l (y) h(h (y)) l (h (y)) = Wn x ′ − − − ′ − − " h (h 1(y)) l(y) h (h 1(y)) l(h 1(y)) ! − exh 1(y) · − . (2.14) l(h 1(y))l(y) # y=0

Thus, by using Property IV in the equation (2.14), we have

− d exh 1(y) Wn y − " dy l(h 1(y))l(y) !# y=0

−1 −1 2 −1 n −1 = Wn[1, (h (y)), (h (y)) , · · · , (h (y)) ] Ωn

y=0

′ ′ xy h(y) h(y)l (h(y)) h(y) l (y) e · Wn x ′ − − ′ . (2.15) h (y) l(h(y)) h (y) l(y) l(y)l(h(y)) y=0

8 H.M.SRIVASTAVA,SAIMAJABEEANDMOHAMMADSHADAB

Next, by using Property III in the equation (2.15), we get − d exh 1(y) Wn y − " dy l(h 1(y))l(y) !# y=0

−1 −1 2 −1 n −1 xy 1 = Wn[1, (h (y)), (h (y)) , · · · , (h (y)) ] Ωn Pn [e ] Pn l(y) y=0 y=0 y=0

′ ′ 1 h(y) h(y) l (h(y)) h(y) l (y) · Pn Wn x ′ − − ′ , (2.16) l(h(y)) h (y) l(h(y)) h (y) l(y) y=0 y=0

which, by applying the above Lemma, yields xh−1(y) d e T Wn y − = Wn[sA0(x), sA1(x), · · · , sAn(x)] " dy l(h 1(y))l(y) !# y=0

′ ′ −1 h(y) h (y)l (h(y)) h(y) l (y) · Ω Wn x ′ − − ′ h (y) l(h(y)) h (y) l(y) y=0

or, equivalently, − d exh 1(y) Wn y − " dy l(h 1(y))l(y) !# y=0

sA0(x) 0 0 · · · 0 ′ sA (x) xa0 + b0 + c0  A (x) 1 0 · · · 0  s 1 1! xa + b + c ′ ′′  1 1 1  s s  A2(x) A2 (x)  xa b c = sA2(x) · · · 0  2 + 2 + 2 . (2.17)  1! 2!   .   . . . . .   .   ......      xa + b + c   ′ ′′ (n)   n n n  sA x sA x sAn x     A (x) n( ) n( ) · · · ( )    s n 1! 2! n!    Finally, upon equating the nth rows of (2.13) and (2.17), we obtain the desired result (2.11) asserted by Theorem 1.

By setting l(y) = 1 and bk = ck = 0 (∀ k ≧ 1) in Theorem 1, we get the following corollary.

Corollary 1. Let qAn(x) ∼ (1, h(y)) be the associated polynomial sequence. Then n (k) An (x) x a q − n A (x) = 0. (2.18) k k! q n kX=0 In its special case when ak = (1)k, bk = (λ+1)((2)k −(1)k) and ck = (λ+1)[(3)k −(4)k], Theorem 1 would apply to the Laguerre polynomials as follows. Corollary 2. Let y L(λ)(x) ∼ (1 − y)−λ−1, n y − 1 SHEFFER-APPELL POLYNOMIAL SEQUENCE: A MATRIX APPROACH 9 be the generalized Laguerre polynomial of degree n in x and with the index (or order) λ. Then n n k(k − 1)(k + 4)(λ + 1) k! x − LAn−k(x)= n LAn(x). (2.19) k! 6 kX=1 (m) Example 1. By applying Theorem 1 to the Miller-Lee type Appell polynomials Gn (x) given by (m) ∼ m+1 Gn (x) (1 − y) ,y , we have 1 (k = 1) a = k   0 (k> 1), 0 (k = 0) b = k   (m + 1)(1)k (k > 0) and  0 (k = 0) c = k   −(m + 1)(1)k (k > 0). Hence we get the following recurrence relation for the Miller-Lee type Appell polynomials (m) Gn (x) : n n nGAn(x) − nxGAn−1(x)= GAn−k(x)(bk + ck). (2.20) k! kX=1 3. Recurrence relations for the Sheffer-Appell polynomials Here, in this section, we ﬁrst state and prove Theorem 2 below.

Theorem 2. Let sAn(x) ∼ (l(y), h(y)) be the Sheﬀer-Appell polynomial sequence. Then the following recursive formula holds true for sAn(x) : n (k) An (x) A (x)= (xa + b + c ) s , (3.1) s n+1 k k k k! kX=0 where 1 (k) ak = ′ (k ≧ 0), h (y) y=0

′ ( k) l (h(y)) bk = − (k ≧ 0) l(h(y)) y=0 and k l′(y) ( ) ck = − ′ (k ≧ 0). h (y)l(y) y=0

10 H.M.SRIVASTAVA,SAIMAJABEEANDMOHAMMADSHADAB

Proof. Let us consider

− d exh 1(y) Wn − , (3.2) "dy l(h 1(y))l(y) !# y=0

which, on the one hand, can be written as follows:

xh−1(y) d e T Wn − = [sA1(x), sA2(x), · · · , sAn+1(x)] . (3.3) "dy l(h 1(y))l(y) !# y=0

Also, on the other hand, we can write the equation (3.2) in the following form:

−1 1 l′(y) 1 l′(h−1(y)) exh (y) Wn x ′ − − − ′ − − − , (3.4) " h (h 1(y)) l(y) h (h 1(y)) l(h 1(y)) ! l(h 1(y))l(y) # y=0

which, on using Property IV, yields

−1 1 l′(y) 1 l′(h−1(y)) exh (y) Wn x ′ − − − ′ − − − " h (h 1(y)) l(y) h (h 1(y)) l(h 1(y)) ! l(h 1(y))l(y) # y=0

−1 −1 2 −1 n −1 = Wn[1, (h (y)), (h (y)) , · · · , (h (y)) ] Ωn

y=0

′ ′ xy 1 l (h(y)) 1 l (y) e · Wn x ′ − − ′ . (3.5) h (y) l(h(y)) h (y) l(y) l(y)l(h(y)) y=0

Now, if we make use of Property III, we ﬁnd from (3.5) that

−1 1 l′(y) 1 l′(h−1(y)) exh (y) Wn x ′ − − − ′ − − − " h (h 1(y)) l(y) h (h 1(y)) l(h 1(y)) ! l(h 1(y))l(y) # y=0

−1 −1 2 −1 n −1 = Wn[1, (h (y)), (h (y)) , · · · , (h (y)) ] Ωn

y=0

xy 1 1 · Pn [e ] Pn Pn l(y) l(h(y)) y=0 y=0 y=0

′ ′ 1 l (h(y)) 1 l (y) · Wn x ′ − − ′ . (3.6) h (y) l(h(y)) h (y) l(y) y=0

SHEFFER-APPELL POLYNOMIAL SEQUENCE: A MATRIX APPROACH 11

Finally, by applying the above Lemma, we get

−1 1 l′(y) 1 l′(h−1(y)) exh (y) Wn x ′ − − − ′ − − − " h (h 1(y)) l(y) h (h 1(y)) l(h 1(y)) ! l(h 1(y))l(y) # y=0

T −1 = Wn[sA0(x), sA1(x), · · · , sAn(x)] Ω 1 l′(h(y)) 1 l′(y) · Wn x ′ − − ′ h (y) l(h(y)) h (y) l(y) y=0

or, equivalently,

−1 1 l′(y) 1 l′(h−1(y)) exh (y) Wn x ′ − − − ′ − − − " h (h 1(y)) l(y) h (h 1(y)) l(h 1(y)) ! l(h 1(y))l(y) # y=0

sA0(x) 0 0 · · · 0 ′ sA (x) xa0 + b0 + c0  A (x) 1 0 · · · 0  s 1 1! xa + b + c ′ ′′  1 1 1  s s  A2(x) A2 (x)  xa b c = sA2(x) · · · 0  2 + 2 + 2 . (3.7)  1! 2!   .   . . . . .   .   ......      xa + b + c   ′ ′′ (n)   n n n  sA x sA x sAn x     A (x) n( ) n ( ) · · · ( )    s n 1! 2! n!    Equating the nth rows of (3.3) and (3.7), we arrive at the desired result (3.1) asserted by Theorem 2.

Corollary 3 below follows from Theorem 2 in its special case when l(y) = 1 and bk = ck = 0 (∀ k ≧ 1) in the recursive formula (3.1).

Corollary 3. Let qAn(x) ∼ (1, h(y)) be the associated polynomial sequence. Then

n (k) An (x) A (x)= x a q , (3.8) q n+1 k k! kX=0 where 1 (k) ak = ′ (k ≧ 0). h (y) y=0

Example 2. Here, in this example, we apply Theorem 2 to the generalized Laguerre (λ) polynomials Ln (x) given by

y Lλ(x) ∼ (1 − y)−λ−1, n y − 1 12 H.M.SRIVASTAVA,SAIMAJABEEANDMOHAMMADSHADAB with −1 (k = 0)   2 (k = 1)  ak =    −2 (k = 2)   0 (k > 2),    bk = −(λ + 1)(1)k and −λ − 1 (k = 0)

 ck =  λ + 1 (k = 1)   0 (k> 1).   Hence we get the following recurrence relation for the Laguerre-Appell polynomials: n LAn+1(x) + (x + 2λ + 2)LAn(x) = 2xnLAn−1(x) − 2(x + λ + 1) LAn−2(x) 2! n n + (λ + 1) LAn−k(x)k!. (3.9) k! kX=3 (m) If we apply Theorem 2 to the Miller-Lee type Appell polynomials Gn (x) given by (m) ∼ m+1 Gn (x) (1 − y) ,y , we have 1 (k = 0) a = k   0 (k> 0),

bk= (m + 1)(1)k and

ck = −(m + 1)(1)k. Hence we get the following recurrence relation for the Miller-Lee type Appell polynomials: n n GAn+1(x) − xGAn(x)= GAn−k(x)(bk + ck). (3.10) k! kX=0 Theorem 3. Let {sAn(x)} ∼ (l(y), h(y)) be the Sheﬀer-Appell polynomial sequence. Then the following recursive formula holds true for sAn(x) : n n n n sAn+1(x)a0 = xsAn(x)+ sAn−k(x)(bk + ck) − sAn+1−k(x)ak, (3.11) k! k! kX=0 kX=1 SHEFFER-APPELL POLYNOMIAL SEQUENCE: A MATRIX APPROACH 13 where k ′ −1 ( ) ak = h (h (y)) ,

y=0

(k) h′(h−1(y))l′(y) bk = − l(y) ! y=0

and (k) l′(h−1(y)) ck = − − . l(h 1(y)) ! y=0

Proof. Let us begin with

xh−1(y) ′ −1 d e Wn h (h (y)) − , (3.12) " dy l(h 1(y))l(y) !# y=0

which, by applying Property III, yields