• No results found

New recurrence formulae for the Apostol Bernoulli and Apostol Euler polynomials

N/A
N/A
Protected

Academic year: 2020

Share "New recurrence formulae for the Apostol Bernoulli and Apostol Euler polynomials"

Copied!
14
0
0

Loading.... (view fulltext now)

Full text

(1)

R E S E A R C H

Open Access

New recurrence formulae for the

Apostol-Bernoulli and Apostol-Euler

polynomials

Jingzhe Wang

*

*Correspondence:

wangjingzhe729@126.com Department of Mathematics, Northwest University, Xi’an, Shaanxi 710127, People’s Republic of China

Abstract

The main purpose of this paper is by using the generating function methods and some combinatorial techniques to establish some new recurrence formulae for the Apostol-Bernoulli and Apostol-Euler polynomials. It turns out that some known results in (He and Wang in Adv. Differ. Equ. 2012:209, 2012) are obtained as special cases. MSC: 11B68; 05A19

Keywords: Bernoulli numbers and polynomials; Apostol-Bernoulli numbers and polynomials; combinatorial identities

1 Introduction

The classical Bernoulli polynomialsBn(x) and Euler polynomialsEn(x) are usually defined

by means of the following generating functions

text et– =

n=

Bn(x)

tn n!

|t|< π (.)

and

ext

et+ = ∞

n=

En(x)

tn

n!

|t|<π. (.)

In particular, the rational numbersBn=Bn() and integersEn= nEn(/) are called the

classical Bernoulli numbers and Euler numbers, respectively. These polynomials and num-bers play important roles in various branches of mathematics including number theory, combinatorics, special functions and analysis, and there exist numerous interesting prop-erties for them, see, for example, [–].

In , Agoh and Dilcher [] made use of some connections between the classical Bernoulli numbers and the Stirling numbers of the second kind to establish a quadratic re-currence formula on the classical Bernoulli numbers, which was generalized to the classi-cal Bernoulli polynomials by He and Zhang []. More recently, He and Wang [] extended the Agoh and Dilcher’s quadratic recurrence formula on the classical Bernoulli numbers to the Apostol-Bernoulli and Apostol-Euler polynomials. As further applications, they de-rived some corresponding results related to some formulae of products of the classical Bernoulli and Euler polynomials and numbers stated in Nielsen’s book [].

(2)

We begin by recalling now the Apostol-Bernoulli polynomialsB()(x;λ) and

Apostol-Euler polynomialsEn(α)(x;λ) of (real or complex) higher orderα, which were introduced

by Luo and Srivastava [, ]

t

λet– 

α ext=

n= B(α)

n (x;λ)

tn

n!

|t+logλ|< π; α:=  (.)

and

λet+ 

α ext=

n= E(α)

n (x;λ)

tn

n!

|t+logλ|<π; α:= . (.)

Especially, the caseα=  in (.) and (.) is called the Apostol-Bernoulli polynomials

Bn(x;λ) and Apostol-Euler polynomialsEn(x;λ), respectively. Moreover, we callBn(λ) =

Bn(;λ) the Apostol-Bernoulli numbers andEn(λ) = nEn(/;λ) the Apostol-Euler

num-bers. It is worth of mentioning that the Apostol-Bernoulli polynomials were introduced by Apostol [] (see also Srivastava [] for a systematic study) in order to evaluate the value of the Hurwitz-Lerch zeta function. For more results on these polynomials and numbers, one is referred to [–].

In this paper, we only consider the Apostol-Bernoulli polynomialsBn(x;λ) and Apostol-Euler polynomialsEn(x;λ). By applying the generating function methods and some combi-natorial techniques, developed in [, ], we establish some new recurrence formulae for the Apostol-Bernoulli and Apostol-Euler polynomials, by virtue of which, some known results including the ones presented in [], are obtained as special cases.

2 Recurrence formulae for Apostol-Bernoulli polynomials

In what follows, we shall always denote byδ,λthe Kronecker symbol given byδ,λ=  or , according toλ=  orλ= , and we also denote byβn(x;λ) =Bn+(x;λ)/(n+ ) for any

non-negative integern. We first state the following.

Theorem . Let k,m,n be any non-negative integers.Then

k

j=

k j

n

i=

n i

βi+j(x;μ)βk+m+nij(y;λμ)

=

m

i=

m i

(–)miβmi

x;

λ

βk+n+i(x+y;λμ) +βm(y;λ)βk+n(x+y;μ)

δ,λβk+m+n+(x+y;λμ) m+  –

δ,μβk+m+n+(y;λμ)

k+n+ 

δ,λμ(–)

mm!(k+n)!

(k+m+n+ )! βk+m+n+

x;

λ

. (.)

Proof Multiplying both sides of the identity

λeu– 

μev– =

λeu

λeu– +

μev– 

(3)

byexv+y(u+v)yields

More generally, the Taylor theorem gives

ex(u+v)

Obverse that

(4)

It follows from (.)-(.) that

where M is denoted by

M =δ,μ

mation, we obtain

(5)

So from (.), (.), (.) and the symmetric distributions for the Apostol-Bernoulli

poly-umvkmfor non-negative integerk, then the identity above can

be rewritten as

M = –δ,λμ

It follows from (.) that

M = –δ,λμ

Thus, combining (.) and (.), and then makingk-times derivative with respect tov, we get

which together with the Cauchy product arises the desired result after comparing the

co-efficients ofumvn/m!n!.

It follows that we show a special case of Theorem .. We have the following formula of products of the Apostol-Bernoulli polynomial due to He and Wang [].

Corollary . Let m,n be any positive integers.Then

(6)

Proof Settingk=  in Theorem ., we get

n

i=

n i

Bn

+–i(x;μ)

n+  –i

Bm++i(y;λμ)

m+  +i

=

m

i=

m i

(–)miBm+–i(x;

λ) m+  –i

Bn++i(x+y;λμ)

n+  +i

+Bm+(y;λ) m+ 

Bn+(x+y;μ)

n+  –

δ,λBm+n+(x+y;λμ)

(m+ )(m+n+ )

δ,μBm+n+(y;λμ) (n+ )(m+n+ )–

δ,λμ(–)mm!n!

(m+n+ )! Bm+n+

x;

λ

. (.)

Note that for any negative integersi,n,

n+  –i

n i

=  n+ 

n+  i

. (.)

It follows from (.) and (.) that

n+ 

n+

i=

n+  i

Bn+–i(x;μ)

Bm++i(y;λμ)

m+  +i

= –  m+ 

m+

i=

m+  i

(–)m+–iBm+–i

x;

λ

Bn

++i(x+y;λμ)

n+  +i

+Bm+(y;λ) m+ 

Bn+(x+y;μ)

n+  –

δ,λμ(–)mm!n!

(m+n+ )! Bm+n+

x;

λ

. (.)

Thus, replacingxbyyxandybyxin (.) gives the desired result.

We now use Theorem . to give another new recurrence formula for the Apostol-Bernoulli polynomials.

Theorem . Let k,m,n be any non-negative integers.Then for x+y+z= ,

(–)k

k

i=

k i

βm+i(x;μ)βk+ni(y;λμ) +

(–)m

μ

m

i=

m i

βn+i(y;λ)βk+mi

z;

μ

+(–)

n

λμ

n

i=

n i

βk+i

z;

λμ

βm+ni

x;

λ

= – δ,λμ

(–)k+nk!n!

(k+n+ )!βk+m+n+

x;

λ

+δ,μ

(–)k+mk!m!

(k+m+ )!βk+m+n+(y;λμ)

+δ,λ

λμ

(–)m+nm!n!

(m+n+ )!βk+m+n+

z;

λμ

(7)

Proof We firstly prove that for any non-negative integersk,m,n,

We shall use induction onk. Clearly, (.) holds trivially whenk=  in Theorem .. Now assume (.) for any smaller value ofk. In light of (.), we have

n

Since (.) holds for any smaller value ofkthen

(8)

Note that for non-negative integersi,k,m,n,

by using induction onk. It follows from (.)-(.) that

k–

Hence, applying the five identities (.)-(.) above to (.), and then combining (.), gives (.). Thus, by settingx+y+z=  in (.), and using the symmetric distributions of the Apostol-Bernoulli polynomials, we complete the proof of Theorem . by replacing

nbyk,kbymandmbyn.

We now give a special case of Theorem .. We have the following quadratic recurrence formula for the Apostol-Bernoulli polynomials, presented in [].

Corollary . Let k,m,n be any non-negative integers.Then

(9)

whereδ(k,m) = –when k=m= ,δ(k,m) = when k= ,m≥or m= ,k≥,and

δ(k,m) = ,otherwise.

Proof Since the Apostol-Bernoulli polynomialsBn(x;λ) satisfy the difference equation

/∂x(Bn(x;λ)) =nBn–(x;λ) for any positive integern(see,e.g., []), so by substitutingn

fork,kformandmfornand making the derivative operation/∂x·/∂yin both sides of Theorem ., and then using the symmetric distributions of the Apostol-Bernoulli

poly-nomials, the desired result follows immediately.

Remark . In fact, we can also use Theorem . to obtain the above formula of products of the Apostol-Bernoulli polynomials. For example, settingm=  and substitutingyx forx,xfory,nforkandmfornin Theorem ., with the help of the symmetric distribu-tions of the Apostol-Bernoulli polynomials, Corollary . follows immediately. For some applications of Corollaries . and ., the interested readers may consult [, , ].

3 Recurrence formulae for mixed Apostol-Bernoulli and Apostol-Euler polynomials

We next give a similar formula to Theorem ., which is involving the mixed Apostol-Bernoulli and Apostol-Euler polynomials. As in the proof of Theorem ., we need the fol-lowing formula concerning the mixed Apostol-Bernoulli and Apostol-Euler polynomials.

Theorem . Let k,m,n be any non-negative integers.Then

k

j=

k j

n

i=

n i

Ei+j(x;μ)βk+m+nij(y;λμ)

=

m

i=

m i

(–)miEmi

x;

λ

βk+n+i(x+y;λμ) –

Em(y;λ)Ek+n(x+y;μ)

δ,λμ

(–)mm!(k+n)!

(k+m+n+ )!Ek+m+n+

x;

λ

. (.)

Proof Multiplying both sides of the identity

λeu+ 

μev+ =

λeu

λeu+ 

μev+ 

λμeu+v–  (.)

by exv+y(u+v)yields

exv

μev+ 

ey(u+v)

λμeu+v– =λ

e(–x)u

λeu+ 

e(x+y)(u+v)

λμeu+v– 

 

eyu

λeu+ 

e(x+y)v

μev+ , (.)

which means

exv

μev+ 

ey(u+v)

λμeu+v– 

δ,λμ u+v

=λe

(–x)u

λeu+ 

e(x+y)(u+v)

λμeu+v– 

δ,λμ u+v

– 

eyu

λeu+ 

e(x+y)v

μev+ 

+ δ,λμ u+v

λe

(–x)u

λeu+ 

exv

μeu+ 

(10)

In a similar consideration to (.), we have

So from the symmetric distributions for the Apostol-Euler polynomials λEn( –x;λ) = (–)nEn(x;

Applying (.) and (.) to (.), and then makingk-times derivative with respect tov, we obtain

which together with the Cauchy product gives the desired result by comparing the

coeffi-cients ofumvn/m!n!.

(11)

Corollary . Let m,n be any non-negative integers.Then

Em(x;λ)En(y;μ) = 

m

i=

m i

(–)miEmi

yx;

λ

Bn

++i(y;λμ)

n+  +i

– 

n

i=

n i

Eni(y–x;μ)Bm++i

(x;λμ) m+  +i

– δ,λμ

(–)mm!n! (m+n+ )!Em+n+

yx;

λ

. (.)

Proof Settingk=  in Theorem ., we get

n

i=

n i

Eni(x;μ)Bm++i

(y;λμ) m+  +i

=

m

i=

m i

(–)miEmi

x;

λ

Bn

++i(x+y;λμ)

n+  +i – 

Em(y;λ)En(x+y;μ)

δ,λμ

(–)mm!n!

(m+n+ )!Em+n+

x;

λ

. (.)

Thus, the desired result follows by replacingxbyyxandybyxin (.).

Now we apply Theorem . to give the following another recurrence formula for the mixed Apostol-Bernoulli and Apostol-Euler polynomials.

Theorem . Let k,m,n be any non-negative integers.Then for x+y+z= ,

(–)k

k

i=

k i

Em+i(x;μ)βk+ni(y;λμ) +

(–)m

μ

m

i=

m i

En+i(y;λ)Ek+mi

z;

μ

+(–)

n

λμ

n

i=

n i

βk+i

z;

λμ

Em+ni

x;

λ

= –δ,λμ

(–)k+nk!n!

(k+n+ )!Ek+m+n+

x;

λ

. (.)

Proof We firstly prove that for any non-negative integersk,m,n,

n

i=

n i

Ek+i(x;μ)βm+ni(y;λμ)

= – 

k

i=

k i

(–)kiEn+i(x+y;μ)Ek+mi(y;λ)

+

m

i=

m i

(–)miβn+i(x+y;λμ)Ek+mi

x;

λ

δ,λμ

(–)mm!n!

(m+n+ )!Ek+m+n+

x;

λ

(12)

The proof is similar to that of (.), and, therefore, we leave out some of the more obvious details. Clearly, the casek=  in (.) is complete. Next, consider the casek≥ in (.). Assume that (.) holds for all positive integers being less thank. In light of (.), we have

n

i=

n i

Ek+i(x;μ)βm+ni(y;λμ)

=

k+m

i=

m ik

(–)k+miEk+mi

x;

λ

βn+i(x+y;λμ)

– 

Em(y;λ)Ek+n(x+y;μ) –δ,λμ

(–)mm!(k+n)!

(k+m+n+ )!Ek+m+n+

x;

λ

k–

j=

k j

n

i=

n i

Ei+j(x;μ)βk+m+nij(y;λμ). (.)

It follows from (.) and (.) that

n

i=

n i

Ek+i(x;μ)βm+ni(y;λμ)

=

k+m

i=

m ik

(–)k+miEk+mi

x;

λ

βn+i(x+y;λμ)

– 

Em(y;λ)Ek+n(x+y;μ) –δ,λμ

(–)mm!(k+n)!

(k+m+n+ )!Ek+m+n+

x;

λ

k+m

i=

(–)k+miβn+i(x+y;λμ)Ek+mi

x;

λ

k–

j=

(–)j

k j

k+mj i

+ 

k+m

i=

(–)iEn+i(x+y;μ)Ek+mi(y;λ) k–

j=

(–)j

k j

j i

+δ,λμ

(–)k+mEk

+m+n+(x;λ)

n+ 

k–

j=

(–)j

k

j

k+m+n+–j

n+

. (.)

Hence, applying (.), (.) and (.) to (.), we conclude the induction step. Thus, by settingx+y+z=  in (.), and applying the symmetric distributions of Apostol-Euler polynomials, we complete the proof of Theorem . by replacingnbyk,kbymandm

byn.

We next give some special cases of Theorem .. We have the following formula products of the mixed Apostol-Bernoulli and Apostol-Euler polynomials due to He and Wang [].

Corollary . Let m be any non-negative integer.Then for positive integer n,

Em(x;λ)Bn(y;μ) =n

m

i=

m i

(–)miEmi

yx;

λ

En+i–(y;λμ)

+

n

i=

n i

(13)

Proof Settingk= , and substituting  –yfory,yxforz,λforμandλμ forλin Theo-rem ., by the symmetric distributions of the Apostol-Bernoulli and Apostol-Euler

poly-nomials, the desired result follows immediately.

We next apply Theorem . to give the following quadratic recurrence formulae for the mixed Apostol-Bernoulli and Apostol-Euler polynomials presented in [].

Corollary . Let k,m,n be any non-negative integers.Then

n

i=

n i

Ek+i(x;μ)Bm+ni(y;λμ)

=

m

i=

m i

(–)miBn+i(x+y;λμ)Ek+mi

x;

λ

–  

k+m

i=

(–)ki n

k i

m

k i– 

En–+i(x+y;μ)Ek+mi(y;λ). (.)

Proof Substitutingnfork,kformandmfornand making the derivative operation/∂y in both sides of Theorem ., and then using the difference equation and symmetric dis-tributions of the Apostol-Bernoulli polynomials gives the desired result.

Corollary . Let k,m,n be any non-negative integers.Then

n

i=

n i

Ek+i(x;μ)Em+ni(y;λμ)

= δ,λ k!m!

(k+m+ )!Ek+m+n+(x+y;λμ)

– 

m

i=

m i

(–)miEn+i(x+y;λμ)

Bk+m+–i(x;λ) k+m+  –i

– 

k

i=

k i

(–)kiEn+i(x+y;μ)Bk+m+–i

(y;λ)

k+m+  –i. (.)

Proof Substitutingμforλ, λμ forμ,xforyandyforzin Theorem ., by applying the symmetric distributions of the Apostol-Euler polynomials, the desired result follows

im-mediately.

Remark . We also mention that Theorem . above can also be used to obtain the for-mulae of products of the mixed Apostol-Bernoulli and Apostol-Euler polynomials. For ex-ample, settingm= , and substitutingy–xforx,xfory,nforkandmfornin Theorem ., with the help of the symmetric distributions of the Apostol-Bernoulli polynomials, Corol-lary . follows immediately. For some corresponding applications of Corollaries ., ., . and ., one is referred to [, , ].

Competing interests

(14)

Acknowledgements

The author would like to express her gratitude to the referees for their helpful comments and suggestions in improving this paper.

Received: 16 May 2013 Accepted: 31 July 2013 Published: 14 August 2013 References

1. Nielsen, N: Traité élémentaire des nombres de Bernoulli, pp. 75-78. Gauthier-Villars, Paris (1923) 2. Nörlund, NE: Vorlesungen über Differnzenrechnung. Springer, Berlin (1924)

3. Srivastava, HM, Choi, J: Series Associated with the Zeta and Related Functions. Kluwer Academic, Dordrecht (2001) 4. Agoh, T, Dilcher, K: Convolution identities and lacunary recurrences for Bernoulli numbers. J. Number Theory124,

105-122 (2007)

5. He, Y, Zhang, WP: A convolution formula for Bernoulli polynomials. Ars Comb.108, 97-104 (2013)

6. He, Y, Wang, CP: Recurrence formulae for Apostol-Bernoulli and Apostol-Euler polynomials. Adv. Differ. Equ.2012, 209 (2012)

7. Luo, QM, Srivastava, HM: Some generalizations of the Apostol-Bernoulli and Apostol-Euler polynomials. J. Math. Anal. Appl.308, 290-302 (2005)

8. Luo, QM: Apostol-Euler polynomials of higher order and Gaussian hypergeometric functions. Taiwan. J. Math.10, 917-925 (2006)

9. Apostol, TM: On the Lerch zeta function. Pac. J. Math.1, 161-167 (1951)

10. Srivastava, HM: Some formulas for the Bernoulli and Euler polynomials at rational arguments. Math. Proc. Camb. Philos. Soc.129, 77-84 (2000)

11. Boyadzhiev, KN: Apostol-Bernoulli functions, derivative polynomials and Eulerian polynomials. Adv. Appl. Discrete Math.1, 109-122 (2008)

12. Garg, M, Jain, K, Srivastava, HM: Some relationships between the generalized Apostol-Bernoulli polynomials and Hurwitz-Lerch zeta functions. Integral Transforms Spec. Funct.17, 803-815 (2006)

13. Luo, QM, Srivastava, HM: Some relationships between the Apostol-Bernoulli and Apostol-Euler polynomials. Comput. Math. Appl.51, 631-642 (2006)

14. Luo, QM: Fourier expansions and integral representations for the Apostol-Bernoulli and Apostol-Euler polynomials. Math. Comput.78, 2193-2208 (2009)

15. Luo, QM: The multiplication formulas for the Apostol-Bernoulli and Apostol-Euler polynomials of higher order. Integral Transforms Spec. Funct.20, 377-391 (2009)

16. Srivastava, HM, Todorov, PG: An explicit formula for the generalized Bernoulli polynomials. J. Math. Anal. Appl.130, 509-513 (1988)

17. He, Y, Wang, CP: Some formulae of products of the Apostol-Bernoulli and Apostol-Euler polynomials. Discrete Dyn. Nat. Soc.2012, Article ID 927953 (2012)

18. He, Y, Zhang, WP: Some sum relations involving Bernoulli and Euler polynomials. Integral Transforms Spec. Funct.22, 207-215 (2011)

doi:10.1186/1687-1847-2013-247

Cite this article as:Wang:New recurrence formulae for the Apostol-Bernoulli and Apostol-Euler polynomials.

References

Related documents

individuals from migrant backgrounds do not understand the volunteering system in Germany (Wuerger, 2009:7-8), or do not understand volunteering in civil protection (Federal Ministry

Through the ejected material from my tool, the visual effects of my art could be used to demonstrate the abstracted process of bodily movement instead of the physical

We found that heart rate and head velocity showed strong patterns of association - both in terms of tonic (baseline) levels, and in phasic changes (response to an

who would spend it, involved complex bargaining processes between central and provincial government authorities, as well as between provincial level agencies under the

Jung; in psychoanalysis; in the pioneering child analytic work of Anna Freud, Melanie Klein and Margaret Lowenfeld; in Michael Fordham and his blend of analytical psychology

This report is structured as follows: the Pathways programme is described, the data collected and collated for the study is documented, and the outcomes for young people whilst they

Chapter 4 - Regional policy and the Corsican question in France ... 70 The challenges of territorial planning to economic growth... &#34; 71 Functional regionalism and

Based on the research findings and the factor analysis performed, it has been observed that the item variables that load on the named factor “Service Quality” are among the