arxiv: v1 [math.co] 11 Jul 2015

Transcription

1 arxiv: v [mathco] Jul 05 Duals of Bernoulli Numbers and Polynomials and Euler Number and Polynomials Tian-Xiao He and Jinze Zheng Department of Mathematics Illinois Wesleyan University Bloomington, IL , USA Abstract A sequence inverse relationship can be defined by a pair of infinite inverse matrices If the pair of matrices are the same, they define a dual relationship Here presented is a unified approach to construct dual relationships via pseudo-involution of Riordan arrays Then we give four dual relationships for Bernoulli numbers and Euler numbers, from which the corresponding dual sequences of Bernoulli polynomials and Euler polynomials are constructed Some applications in the construction of identities of Bernoulli numbers and polynomials and Euler numbers and polynomials are discussed based on the dual relationships AMS Subect Classification: 05A5, 05A05, B39, B73, 5B36, 5A06, 05A9, B83 Key Words and Phrases: inverse matrices, dual, Bernoulli numbers, Bernoulli polynomials, Euler numbers, Euler polynomials, Riordan arrays, pseudo-involution Introduction Krattenthaler defines a class of matrix inverses in [6], which has numerous famous special cases presented by Gould and Hsu [3], Carlitz [4], Bressoud [], Chu and Hsu [9], Ma[9], etc Hsu, Shiue, and one of the authors study Riordan matrix inverses in [] Let infinite low triangle matrices d n, 0 n and d n, 0 n be matrix inverses Then a sequence inverse relationship can be defined as f n d n, g g n d n, f, where sequences {f n } n 0 and {g n } n 0 are called the inverse sequences with respect to inverse matrices d n, 0 n and d n, 0 n If d n, d n,, ie, {d n, } 0 n is selfinverse, then {f n } n 0 and {g n } n 0 are said to be a pair of dual sequences or they are dual each other with respect to self-inverse matrix d n, 0 n, ie, they satisfy

2 T X He and J Zheng f n d n, g g n d n, f, If there exists a sequence {f n } n 0 that is dual to itself with respect to a self-inverse matrix d n, 0 n, ie, f n d n, f, 3 then, {f n } n 0 is called self-dual sequence with respect to the matrix d n, 0 n Let d n, n Then d n, 0 n is a self-inverse matrix because n + δ n,, where δ n, is the Kronecer symbol Let {a n } n 0 be a sequence of complex numbers Then {a n} n 0 defined by a n n a 4 is the dual sequence of {a n } n 0 see, for example, Graham, Knuth, and Patashni [4] with respect to n Hence, n a n a 5 {a n } n 0 and {a n} n 0 are a pair of inverse sequences with a n a n If a n a n, then {a n } n 0 is called the self-dual sequence see Z W Sun [48] For instance, the following number sequences are self-dual sequences with respect to the dual relationship 4 see, for example, Z H Sun [47]: { } n, { n+m m }, { n B n }, {L n }, {nf n }, where {B n }, {L n }, and {F n } are the Bernoulli sequence, Lucas sequence, and Fibonacci sequence Bernoulli polynomials B n x and Euler polynomials E n x for n 0,, are defined by te xt e t n 0 B n x tn n! ext and e t + E n x tn n! 6 n 0 Bernoulli numbers B n and Euler numbers E n for n 0,, are defined by B n : B n 0 and E n n E n 7

3 Duals of Bernoulli and Euler Numbers and Polynomials 3 A large literature scatters widely in boos and ournals on Bernoulli numbers B n, and Bernoulli polynomials B n x and Euler numbers E n and Euler polynomials E n x They can be studied by means of the binomial expressions connecting them, B n x E n x n B x n, n 0, 8 n x n E, n 0, 9 where E E / The study brings consistent attention of researchers woring in combinatorics, number theory, etc This paper will study the duals of Bernoulli number sequence and Euler number sequence with respect to n and other self-inverse matrices The dual sequence of {B n } n 0 with respect to n is denoted by {Bn} n 0, and the corresponding dual Bernoulli polynomials denoted by {Bn x} n 0 is defined similarly to 8 by using the the duals of sequences {B n } n 0, ie, B nx where B n are the duals of the Bernoulli numbers {B n } n 0, ie, B n n n B x n, n 0, 0 n B, n 0 Hence, there are several questions raised: With respect to which self-inverse matrix the Bernoulli number sequence {B n } is self-dual? What is the relationship between the self-inverse matrix in and the self-inverse matrix for { n B n } n 0, n? And 3 does there exist a unified approach to construct self-inverse matrices and self-duals with respect to a self-inverse matrix? We will answer those questions by using the Riordan array theory Riordan arrays are infinite, lower triangular matrices defined by the generating function of their columns They form a group, called the Riordan group see Shapiro et al [44] Some of the main results on the Riordan group and its application to combinatorial sums and identities can be found in [5] [8], [0] [], [5] [5], [7]-[8], [3]-[3], [34], [36]-[37], [39]-[43], [45] [46], and [50]-[53] More formally, let us consider the set of formal power series fps F R[t]; the order of ft F, ft f t f R, is the minimal number r N such that f r 0; F r is the set of formal power series of order r It is nown that F 0 is the set of invertible fps and F is the set of compositionally invertible fps, that is, the fps ft for which the compositional inverse ft exists such that f ft fft t Let dt F 0 and ht F ; the pair dt, ht defines the proper Riordan array D d n, n, N dt,ht having d n, [t n ]dtht

4 4 T X He and J Zheng or, in other words, having dtht as the generating function whose coefficients mae-up the entries of column It is immediately to be nown that the usual row-by-column product of two Riordan arrays is also a Riordan array: d t, h t d t, h t d td h t, h h t, 3 where the fundamental theorem of Riordan arrays dt, htft dtfht 4 is applied to obtain 3 The Riordan array I, t is everywhere 0 except that it contains all s on the main diagonal; it can be easily proved that I acts as an identity for this product, that is,, t dt, ht dt, ht,t dt, ht From these facts, we deduce a formula for the inverse Riordan array: dt, ht d ht, ht 5 where ht is the compositional inverse of ht In this way, the set R of proper Riordan arrays forms a group From [40], an infinite lower triangular array [d n, ] n, N dt,ht is a Riordan array if and only if a sequence A a 0 0,a,a, exists such that for every n, N there holds d n+,+ a 0 d n, +a d n,+ + +a n d n,n, 6 which is shown in [4] to be equivalent to ht taht 7 Here, At is the generating function of the A-sequence In [4, 3] it is also shown that a unique sequence Z z 0,z,z, exists such that every element in column 0 can be expressed as the linear combination or equivalently, d n+,0 z 0 d n,0 +z d n, + +z n d n,n, 8 dt d 0,0 tzht 9 We call sequences A and Z the A-characterization sequence and Z characterization sequence of the Riordan array dt,ht, respectively, and the generating functions of called A-sequence and Z sequence the A generating function and Z generating function, respectively In next section, we present a unified approach to construct a class of self-inverse matrices and their application for the construction of dual number sequences and dual polynomial sequences In Section 3 we will discuss the algebraic structure of dual number sequences with respect to the dual relationships established in Section Some identities of self-dual number sequences are found accordingly In Section 4, more identities of dual number sequences will be constructed by using the dual relationships

5 Duals of Bernoulli and Euler Numbers and Polynomials 5 Construction of self-inverse matrices and the corresponding self-duals It is calear that a Riordan array dt,ht and its inverse dt,ht d ht, ht, where hht h ht t, is a pair of inverse matrices If dt,ht dt,ht, ie, dt,ht is an involution, ie, it has an order of, then dt,ht is a self-inverse matrix Here, if g is an element of a group G, then the smallest positive integer n such that g n e, the identity of the group, if it exists, is called the order of g If there is no such integer, then g is said to have infinite order It is well-nown that see Shapiro [4] if we restrict all entries of a Riordan array to be integers, then any element of finite order in the Riordan group must have order or, and each element of order generates a subgroup of order Sprugnoli and one of the author find the characterization of Riordan arrays of order in [4] In combinatorial situations, a Riordan array often has nonnegative integer entries and hence it can not have order Therefore, we consider see definition, for example, in [6] an element R R to have pseudo-order, ie, RM has order, where M, t Those R are called pseudo-riordan involutions or briefly pseudo-involutions see Cameron and Nwanta [3] and [4] We now present some sufficient and necessary conditions to identify pseudo-involutions Theorem Let dt, ht be a pseudo-involution, and let At and Zt be the generating functions of the A-sequence and Z-sequence of dt,ht, ie, A-function and Z function Then the following statements are equivalent to the statement that the Riordan array dt, ht is a pseudo-involution: ±dt, ht, t ±dt, ht are involutions, tdt,ht, t dt,ht, the inverse of dt,ht 3 ±, tdt, ht ±d t, h t are involutions 4 At t h t and Zt d t h t Proof Let dt, ht be a pseudo-involution Then dt, ht, t dt, ht is an involution, ie, dt, htdt, ht dtd ht, h ht,t Additionally, dt, ht, t dt, ht satisfies dt, ht dt, ht dt, htdt, ht,t, which implies dt, ht, t dt, ht is also an involution Hence, we have proved the assumption that dt, ht is a pseudo-involution implies follows from because I dt,ht, tdt,ht, t dt,ht, tdt,ht, t From the above equations, we have

6 6 T X He and J Zheng ±, tdt,ht±, tdt,ht, tdt,ht, tdt,ht,t I Hence, we obtain 3 from Similarly, follows from 3 To find the A-function and Z-function of pseudo-involution dt, ht, we recall see Theorem 33 of [4] the A-sequence of has the A-generating function d 3 t,h 3 t d t,h td t,h t t A 3 t A ta, A t where A t and A t are the A-generating functions of d t,h t and d t,h t, respectively Since the A-functions of dt, ht and, t are respectively At and, the A-function of dt, ht, t is A 3 t A t 0 On the other hand, from Theorem 43 of [4] we now the A-generating function of the involution dt, ht, t dt, ht is Comparing 0 and we have A 3 t t ht At t h t From Theorem 34 of [4], the Z-generating function of is d 3 t,h 3 t dt,ht, t dt, ht Z 3 t Z t because the Z-functions of dt, ht and, t are Zt and 0, respectively Since d 3 t,h 3 t is an involution, from Theorem 43 of [4] we also have Z 3 t dt ht Comparing the last two equations, we immediately now Zt d t h t From the definition of A-sequence and Z-sequence, a Riordan arraydt, ht that possesses the above A-function and Z-function is a pseudo-involution

7 Duals of Bernoulli and Euler Numbers and Polynomials 7 Corollary Let nonzero dt F 0 and ht F Then the infinite lower triangle matrix dt, ht is a pseudo-involution if and only if ht h t and dt where the denominator is assumed not being zero Proof ht h t if and only if t ht t h t, or equivalently, there exists the function At such that At t ht h t h t td t+t, and At t h t, which implies that dt, ht has an A-function see, for example, [4] satisfying 4 of Theorem dt h t/h t td t+t if and only if d t h t dt, tdt or equivalently, there exists the function Zt such that Zt dt tdt and Zt d t, h t which implies that dt, ht has a Z-function see, for example, [4] which satisfies 4 of Theorem Combining all above statements together we now dt, ht is a pseudoinvolution, completing the proof of Corollary Corollary also presents an algorithm to find a pseudo-involution Generally one can accomplish this by carrying through the procedure demonstrated by the following example as suggested by the corollary For instance, it is clear that ht t/ t or t/+t has the compositional inverse ht t/ + t or t/ t and satisfies ht h t From Corollary, we may also find that dt / t or / + t satisfies dt h t/h t td t + t Therefore / t,t/ t / + t,t/ + t is a pseudo-involution Remar It can be seen that dt,ht is a pseudo-involution if and only if there exist A-function and Z-function satisfying four relationships At t t, At ht h t, Zt dt tdt, and Zt d t, h t which not only give the formulas shown in Corollary 3 but also the following useful formula in the construction of pseudo-involutions:

8 8 T X He and J Zheng ht tzt Z t tzt and dt htz t tzt The proof is straightforward from the above four relationships and is omitted From and 3 of Theorem we obtain the following result Corollary 3 / t,t/ t n n, 0 and /+t,t/+t n n n, 0 are pseudo-involutions Hence, from and 3 of Theorem, we generate the following four Riordan involutions, denoted by R, R, R 3, and R 4, respectively R t, t, t, t t +t, t +t t, t n, t n, 0 R t, t, t, t t +t, t +t t, t n +, t n, 0 R 3, t t, t t +t, t, t +t +t, t n n, +t n, 0 R 4, t t, t t +t, t, t +t +t, t n n+ +t n, 0 Theorem 4 Let R i i,,3,4 be the Riordan arrays shown in Corollary 3 Then there hold the following four dual relationships, denoted by D, D, D 3, and D 4, respectively D : a n D : a n D 3 : a n D 4 : a n n n n n a, + a, n a, n+ a

9 Duals of Bernoulli and Euler Numbers and Polynomials 9 Furthermore, { { n B n } n 0 and {B n } n 0 are self-dual sequences with respect to D and D 3, respectively } { En and n E } n n are self-dual sequences with n respect to D and D 4, respectively Proof Since see, for example, Apostol [] and Milton and Stegun [33] n B B n n B n, 3 { n B n } n 0 and{b n } n 0 areself-dualsequenceswithrespecttod andd 3, respectively Similarly, from 9 and n E n x E n x+x n see, for example [, 33] there hold Similarly, we have n n n + E n E n E n n + n n + n E n n E n + n n n+ n E n n E n completing the proof of the theorem n E + n n n, E n + n n We now consider the duals of Bernoulli and Euler numbers and the corresponding duals of Bernoulli and Euler polynomials with respect to different dual relationships shown in Theorem 4 Theorem 5 Let B n be the duals of Bernoulli numbers B n with respect to R, and let B nx be the corresponding dual Bernoulli polynomials defined by 0 Then there hold B n x n B n x 4

10 0 T X He and J Zheng for all n 0, and Proof 8 and 0 give Hence, B nx n n n B n n B n +n 5 n x n B x n B n B n B x+ n n B n x x n which implies 5 B n B n 0 n B n B n +n n B n 0+n, Corollary 6 Let Bn x be the duals of Bernoulli polynomials Then their generating function is n 0 Bnx tn n! B n x tn n! n 0 tex+t e t ex+t + t e t t Other duals of Bernoulli and Euler numbers can be presented below, 6 Theorem 7 With respect to the dual relationship D 3, the duals of numbers n B n, denoted by n B n, may be written as n B n And the corresponding dual Bernoulli polynomials are n n B B n + n n 7

11 Duals of Bernoulli and Euler Numbers and Polynomials n x B n B n x nx n 8 With respect to the dual relationship D 4, the duals of numbers E n / / n, denoted by E n / / n, have the expressions n E n n E n + 3n n The corresponding dual Euler polynomials are n x n E n n+ E 9 n E n x+ x n +x n 30 With respect to the dual relationship D, the duals of numbers n E n / / n, denoted by n E n / / n, can be evaluated as n E n n E n n + E + 3n n 3 And the corresponding dual Bernoulli polynomials are n x n E E n x+x+ n x n 3 Proof The proofs are straightforward from the definitions and are omitted 3 Generating functions of self-dual number sequences In this section, we give some structures of self-dual number sequences, by using which the characterizations, relationships, and other properties of the self-dual number sequences can be obtained The first half of the following theorem is presented in Prodinger [38] Theorem 3 Let ax n 0 a nx n Then its coefficient sequence is a self-dual sequence with respect to D D, ie, it satisfies

12 T X He and J Zheng n a a n a n for n N {0} if and only if ax satisfies the equation x a xax xax, x respectively The coefficient sequence of ax is a self-dual sequence with respect to D 3 D 4, ie, it satisfies n n a a n a n for n N {0} if and only if ax satisfies the equation respectively a x +xax +xax, +x Proof Since the first half of the theorem is given in [38] It is sufficient to prove the second half ± +x a x ± a x +x +x ± a x x ± x + ± The proof is complete a + + n n n0 n a n x n ± a n x n ±ax n0 Corollary 3 Let {a n } n 0 be a given sequence with ordinary generating function ax n 0 a nx n Then [47] {a n } n 0 is a self-dual sequence with respect to D if and only if {a n+ a n } n 0 is a self-dual sequence with respect to D {a n } n 0 is a self-dual sequence with respect to D 3 if and only if {a n+ +a n } n 0 is a self-dual sequence with respect to D 4

13 Duals of Bernoulli and Euler Numbers and Polynomials 3 Proof The result shown in is given in [47] It is sufficient to prove Let b n a n+ +a n with its ordinary generating function bx n 0 b nx n Thus, which implies bx ax a 0 x +ax x+ x ax x a 0, b x x+ +x x+ +x x +x a x a x + +x x +xa 0 x +x x a 0 Therefore, a x +xax +x if and only if b x x+ +x +x x ax x a 0 +xbx Based on Theorem 3 we have finished the proof Theorem 33 Let {a n } n 0 be agiven sequence with exponential generating function a x n 0 a nx n /n! Then [47] {a n } n 0 is a self-dual sequence with respect to D if and only if a xe x/ is an even function [47] {a n } n 0 is a self-dual sequence with respect to D if and only if a xe x/ is an odd function 3 {a n } n 0 is a self-dual sequence with respect to D 3 if and only if a xe x/ is an even function 4 {a n } n 0 is a self-dual sequence with respect to D 4 if and only if a xe x/ is an odd function Proof The results shown in and are given in [47] We only need to prove 3 and 4 here by using a similar argument:

14 4 T X He and J Zheng a xe x x a x!! x + a!! 0 0 n n n x a n n! n 0 Hence, if then n n a a n and a n, respectively, which can be written briefly as a xe x ax and ax, a xe x/ ±axe x/ If the case of positive sign on the right-hand side holds, ie, {a n } is a self-dual sequence with respect to D 3, then a xe x/ is an even function; while the negative sign holds, or equivalently, {a n } is a self-dual sequence with respect to D 4, then the function a xe x/ is odd It is easy to see the sufficiencies of 3 and 4 are also true This concludes the proof of the theorem [47] uses Theorem 33 to derive a numerous identities [30] uses umbral calculus to reprove and extend some of them We now survey their results and extend them to other self-dual sequences Theorem 34 For any function f, we have [47] n n f n f a n 0 for n N {0} if {a n } n 0 is a self-dual sequence with respect to D [30] n n f+ n f a n 0 for n N {0} if {a n } n 0 is a self-dual sequence with respect to D 3 n n f n f a n 0 for n N {0} if {a n } n 0 is a self-dual sequence with respect to D 3 4 n n f+ n f a n 0 for n N {0} if {a n } n 0 is a self-dual sequence with respect to D 4 Proof The proofs of 3 and 4 are similar as and by using either Theorem 33 or umbral calculus Hence, we omit them

15 Duals of Bernoulli and Euler Numbers and Polynomials 5 From Theorem 4, { n B n } n 0 and {B n } n 0 are self-dual sequences with respect to D and D 3, respectively { E } { n and n E } n n areself-dual sequences n with respect to D and D 4, respectively Therefore, we may use Theorem 34 to obtain the following identities Theorem 35 Let B n and E n be Bernoulli numbers and Euler numbers, respectively For any function f, we have n n f f B n 0, n f+ n f n f n f B n 0, n n f+ f where the first identity is given in [47] E n n 0, E n n 0, 33 4 Applications of dual sequences to Bernoulli and Euler polynomials Let α R Denote C n,α x n n n a x α n and C n,α x n n n a x αn 34 Then we have the following identities about C n,α x and Cn,α x, which is an extension of the main results shown in Sun [49] Theorem 4 Let C n,α x and Cn,α x be defined as 34, and let,l N {0} and x+y +z +α Then there hold x Cl++,α y l+ + + l C x l ++,α z + + a 0 x +l+ +l+ 35 +l

16 6 T X He and J Zheng In addition, we have and x C l+,α y l x l C+,α z 36 + l+ +x + C l+,α y+ l+ + +x l + C+,α z +l+ C +l+,α y+ l C +l+,αz 37 Proof Substituting 34 into the left-hand side of 35 yields + x a 0 l++ y α l++ + l+ + r0 l+ i0 i0 l+ + a i+ l++ y α l+ i i+ l x l ++ r + + r ++ a i r z α ++ r + + r i +l ca 0 + i0 +l+ + i a i+ a i ++ ri +l c i ca 0 + i+ a i+, where i0 l+ + x i+ l+ + l++ y α l++ i+ l + + r r x l i + + z α++ r c + x l+ + l++ y α l++ ++ r0 l which will be evaluated later, and + + x l r + + z α++ r,

17 Duals of Bernoulli and Euler Numbers and Polynomials 7 l c i + ++ ri+ l+ + x i+ i+ l+ + l l+ i + + r x y α l+ i l + + i x +l i l+ y α i x 0, l + i y αl+ i r i+ l + x l i l + x l ri+ l+ i l + y α + i x z α ++ r + i z α + i r i r i where the last step is due to the expression in the last parenthesis is zero following from Lemma 3 of [49] Finally, we evaluate c as follows c l+ + l+ l x l + + x y αl++ l r0 y α x r t l+ dt+ z α ++ r l x+y α x l t + dt 0 y α x+y α l+ t l t+x dt+ l t t x l dt 0 0 x+y α x+y α l s x l s ds+ t x l t dt x x l t x l t dt l tx x l tx xdt 0 x +l+ t l t dt x +l+γ +Γl+ Γ +l+ 0 x +l+ +l+ +l 0 0

18 8 T X He and J Zheng By taing partial derivative with respect to y on the both sides of 35 and noting z +α x y, one may obtain 36 Replacing and l by + and l+ in 36 taing the partial derivative with respect to y, one may obtain 37 The proof is complete The following corollary of Theorem 4 is equivalent to the results shown in Theorems and of [49] Corollary 4 [49] Let C n,0 x and Cn,0 x be defined as 34, and let,l N {0} and x+y +z Then there holds x Cl++,0 y l C l+ + + x l ++,0 z + + a 0 x +l+ +l+ +l 38 In addition, we have and x C l+,0 y l x l + l+ +x + C l+,0 y+ C+,0 z 39 l+ + +x l + C+,0 z +l+ C +l+,0 y+ l C +l+,0z If a B or B, then we have In addition, we have and l+ x Bl++ y l x +l+ +l+ +l l x l B++ z l l x B l+ y x l B + z 4 + l+ l l+ +x B l+ y+ + +x l B + z +l+ B +l+ y+ l B +l+ z

19 Duals of Bernoulli and Euler Numbers and Polynomials 9 The conugate Bernoulli polynomials B n x is introduced in [3] by their generating function as follows e xt + +t et t n0 B n x tn n!, 4 where the first few terms of the conugate polynomial sequence { B n } n 0 are B 0 x, B x x+, B x x +x+ 5 6, B 3 x x x + 5 x+, B 4 x x 4 +x 3 +5x +8x+ 9 30, B 5 x x x x3 +0x x+ 6 3,etc Let { B n x} n 0 be the conugate Bernoulli polynomial sequence defined by 4, and let the conugate Bernoulli numbers { B n } n 0 be defined by B n B n 0 Then we may find that B n x n x n B 43 for all n 0 We define dual sequence of the conugate Bernoulli number sequence with respect to inverse matrix R Then the corresponding dual polynomial sequence is B nx : for all n 0 From Theorem 4, we obtain n x n B 44 Corollary 43 Let,l N {0} and x+y +z Then there holds x B + l++ y l+ + + l B x l ++ z x +l+ +l+, 45 +l where B n t are defined by 4, and B n x are defined by 44 Also

20 0 T X He and J Zheng and l x Bl+ y l x l B + z 46 + l x + l+ + B l+ y l+ + x l B + z +l+ l+ B+l+ y+ + B +l+ z 47 In 34, substituting α / and a E and a E + 3, 48 where the duals a are derived by using 9 of Theorem 7, we obtain A n x n E n x n x n and A nx E n x++ x n x n Hence, Theorem 4 implies Corollary 44 Let C n,α x and Cn,α x be defined as 34 with α /, and let,l N {0} and x+y +z For a and a shown in 48, there hold l+ x El++ y l l+ + + x l E++ z y l+ t l t+x dt x+y t x t l dt x+y t x t l dt 49 In addition, we have l x E l+ y l y l x+y l x l E + z+x+y y l x+y y l 50

21 Duals of Bernoulli and Euler Numbers and Polynomials The above identities of polynomial sequences can be used to establish identities of number sequences For instance, if x, y 0, and z, then 49 yields the number sequence identity l+ x El++ 0 l+ + l + x l E l+ +l If x and y z /, from 49 there holds l+ x El++ / + l+ + +B +l+ +l, +,l+ l x l E++ / B, +,l+, where Bα,a,b α 0 ta t b dt is an incomplete beta function From the last two identities, we have l+ x El++ / E l++ 0 l + x l E++ / E ++ 0 l B, +,l+ B, +,l+ Let A and B be any m m and n n square matrices, respectively Cheon and Kim [6] use the notation for the direct sum of matrices A and B: A B [ A 0 0 B Hence, we may obtain a matrix form of Lemma 3 of Pan and Sun [35] ] 5 Theorem 45 Let n be any positive integer, and let Bt and P[t] be defined as Bt : B 0 t, B t, and n P[t] : t n, n, 0 [ ] respectively Denote x,x,x, T x, D diag0,,/,, and [X] [0] n, n ie,

22 T X He and J Zheng Then x 0 [X] n xn 0 x n [X] Bx+y P[x]D By+[X]x, 5 which implies for all n 0 shown in [35] B x+y x n l n Bl y x n l +H n x n 53 l l Proof Noting that B 0 y, the left-hand side of 5 can be written as LHS of 5 [X]P[x] By x+ B y x + x B y+ B y [X] x n + n x n B y+ + n n Bn y 0 x x B y x B y+ B y [X] + x n n x n B y+ + n n Bn y 0 0 x + B y x x B y+ B y +[X] n xn n x n B y+ +, n n Bn y

23 Duals of Bernoulli and Euler Numbers and Polynomials 3 where the second term can be written as 0 + B yx+ B y n n B yx n n n B yx n + + n n n Bn y 0 B yx+ B y n B yx n + n B yx n + n n n Bn y In the last step we use the identities n n n and n n n n n n n n for,n N with n Since the last matrix can be written as P[x]DBy, we obtain 5 By multiplying the matrices of 5, LHS of 53 H n x n + which is the RHS of 53 l n Bl y x n l l l l n Bl y x n l +H n x n, l l References [] T M Apostol, Introduction to Analytic Number Theory, Undergraduate Texts in Mathematics, New Yor-Heidelberg: Springer-Verlag, 976 [] D M Bressoud, A Matrix Inverse Proc Amer Math Soc , [3] N T Cameron and A Nwanta, On some pseudo involutions in the Riordan group J Integer Seq 8 005, no 3, Article 0537, 6 pp [4] L Carlitz, Some Inverse Relations Due Math J 40 97, [5] G-S Cheon and S-T Jin, Structural properties of Riordan matrices and extending the matrices Linear Algebra Appl, 435 0, 09 03

24 4 T X He and J Zheng [6] G-S Cheon and J-S Kim, Stirling matrix via Pascal matrix, Linear Algebra Appl, 39 00, No -3, [7] G-S Cheon, H Kim, L W Shapiro, An algebraic structure for Faber polynomials, Linear Algebra Appl, , [8] G-S Cheon, H Kim, L W Shapiro, Combinatorics of Riordan arrays with identical A and Z sequences, Disc Math, 3 0, [9] W C Chu and L C Hsu, Some New Applications of Gould-Hsu Inversions J Combin Inform System Sci 4 989, 4 [0] E Deutsch, L Ferrari, and S Rinaldi, Production matrices, Adv Appl Math, , No, 0 [] E Deutsch, L Ferrari, and S Rinaldi, Production matrices and Riordan arrays, Ann Comb, 3 009, [] H W Gould and T X He, Characterization of c-riordan arrays, Gegenbauer- Humbert-type polynomial sequences, and c-bell polynomials, J Math Res Appl, 33 03, No5, [3] H W Gould and L C Hsu, Some New Inverse Series Relations Due Math J , [4] R L Graham, D E Knuth, and O Patashni, Concrete Mathematics, Addison- Wesley, New Yor, 989 [5] T X He, A Symbolic operator approach to power series transformation-expansion formulas, J Integer Sequences, 008, No, Article 087, 9 [6] T X He, Riordan arrays associated with Laurent series and generalized Sheffer-type groups Linear Algebra Appl [7] T X He, Parametric Catalan numbers and Catalan triangles, Linear Algebra Appl , no 3, [8] T X He, Expression and computation of generalized Stirling numbers, J Combin Math Combin Comput 86 03, [9] T X He, Shift Operators Defined in the Riordan Group and Their Applications, submitted manuscript, 04 [0] T X He, Matrix Characterizations of Riordan Arrays, Linear Algebra Appl , no, 5-4 [] T X He, Riordan Matrix Functions and Their Applications, manuscript, 05 [] T X He, L C Hsu, PJ-S Shiue, The Sheffer group and the Riordan group, Discrete Appl Math, 55007, pp [3] T X He and L Shapiro, Row sums and alternating sums of Riordan arrays, manuscript, 05

25 Duals of Bernoulli and Euler Numbers and Polynomials 5 [4] T X He and R Sprugnoli Sequence Characterization of Riordan Arrays, Discrete Math, , [5] C Jean-Louis and A Nwanta, Some algebraic structure of the Riordan group Linear Algebra Appl, , no 5, [6] C Krattenthaler, Operator Methods and Lagrange Inversions: A Unified Approach to Lagrange Formulas Trans Amer Math Soc , [7] A Luzón, D Merlini, M A Morón, and R Sprugnoli, Identities induced by Riordan arrays Linear Algebra Appl, 436 0, no 3, [8] A Luzón, D Merlini, M A Morón, and R Sprugnoli, Complementary Riordan arrays Discrete Appl Math 7 04, [9] X Ma, Two matrix inversions associated with the Hagen-Rothe formula, their q- analogues and applications J Combin Theory Ser A 8 0, no 4, [30] Y Wang, Self-inverse sequences related to a binomial inverse pair, Fibonacci Quart , 46 5 [3] D Merlini, D G Rogers, R Sprugnoli, and M C Verri, On some alternative characterizations of Riordan arrays, Canadian J Math, , [3] D Merlini, R Sprugnoli, and M C Verri, An algebra for proper generating trees Mathematics and computer science Versailles, 000, 7 39 [33] A Milton and I A Stegun Eds, Handboo of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, Dover, New Yor, 97 [34] A Nwanta, A Riordan matrix approach to unifying a selected class of combinatorial arrays, Congressus Numerantium, , [35] H Pan and Z-W Sun, New identities involving Bernoulli and Euler polynomials J Combin Theory Ser A, 3 006, no, [36] P Peart, and W-J Woan, A divisibility property for a subgroup of Riordan matrices, Discrete Appl Math, , [37] P Peart and W-J Woan, Generating functions via Hanel and Stieltes matrices, J Integer Seq, 3 000, no, Article 00, HTML document electronic [38] H Prodinger, Some information about the binomial transform, Fibonacci Quarterly, 3 994, 4 45 [39] J Riordan, Combinatorial Identities New Yor: Wiley, 979 [40] D G Rogers, Pascal triangles, Catalan numbers and renewal arrays, Discrete Math, 978, [4] L W Shapiro, A survey of the Riordan group, Tal at a meeting of the American Mathematical Society, Richmond, Virginia, 994

26 6 T X He and J Zheng [4] L W Shapiro, Some open questions about random wals, involutions, limiting distributions and generating functions, Advances in Applied Math, 7 00, [43] L W Shapiro, Biections and the Riordan group, Theoretical Computer Science, , [44] L V Shapiro, S Getu, W J Woan and L Woodson, The Riordan group, Discrete Appl Math [45] R Sprugnoli, Riordan arrays and combinatorial sums, Discrete Math, 3 994, [46] R Sprugnoli, Riordan arrays and the Abel-Gould identity, Discrete Math, 4995, 3 33 [47] Z H Sun, Invariant sequences under binomial transformations, Fibonacci Quarterly, 39 00, [48] Z-W Sun, Invariant sequences under binomial transformation, Fibonacci Quart 39 00, [49] Z- W Sun, Combinatorial identities in dual sequences European J Combin 4 003, no 6, [50] S-L Yang, Recurrence relations for the Sheffer sequences Linear Algebra Appl 437 0, no, [5] S-L Yang, S-N Zheng, S-P Yuan, and T-X He, Schröder matrix as inverse of Delannoy matrix Linear Algebra Appl , no, [5] Y Wang and Z-H Zhang, Log-convexity of Aigner-Catalan-Riordan numbers, Linear Algebra Appl , - [53] W Wang and T Wang, Generalized Riordan arrays, Disc Math , no 4,