Some properties of the generalized Apostol-type polynomials

Da-Qian Lu; Qiu-Ming Luo

doi:10.1186/1687-2770-2013-64

Research
Open Access

Some properties of the generalized Apostol-type polynomials

Da-Qian Lu¹ and
Qiu-Ming Luo²Email author

Boundary Value Problems20132013:64

https://doi.org/10.1186/1687-2770-2013-64

Received: 10 December 2012
Accepted: 19 March 2013
Published: 28 March 2013

Abstract

In this paper, we study some properties of the generalized Apostol-type polynomials (see (Luo and Srivastava in Appl. Math. Comput. 217:5702-5728, 2011)), including the recurrence relations, the differential equations and some other connected problems, which extend some known results. We also deduce some properties of the generalized Apostol-Euler polynomials, the generalized Apostol-Bernoulli polynomials, and Apostol-Genocchi polynomials of high order.

MSC:11B68, 33C65.

Keywords

generalized Apostol type polynomials
recurrence relations
differential equations
connected problems
quasi-monomial

1 Introduction, definitions and motivation

The classical Bernoulli polynomials

B_{n} (x)

, the classical Euler polynomials

E_{n} (x)

and the classical Genocchi polynomials

G_{n} (x)

, together with their familiar generalizations

B_{n}^{(α)} (x)

,

E_{n}^{(α)} (x)

and

G_{n}^{(α)} (x)

of (real or complex) order α, are usually defined by means of the following generating functions (see, for details, [1], pp.532-533 and [2], p.61 et seq.; see also [3] and the references cited therein):

(1.1)

(1.2)

and

{(\frac{2 z}{e^{z} + 1})}^{α} \cdot e^{x z} = \sum_{n = 0}^{\infty} G_{n}^{(α)} (x) \frac{z^{n}}{n!} (| z | < π) .

(1.3)

So that, obviously, the classical Bernoulli polynomials

B_{n} (x)

, the classical Euler polynomials

E_{n} (x)

and the classical Genocchi polynomials

G_{n} (x)

are given, respectively, by

B_{n} (x) : = B_{n}^{(1)} (x), E_{n} (x) : = E_{n}^{(1)} (x) and G_{n} (x) : = G_{n}^{(1)} (x) (n \in N_{0}) .

(1.4)

For the classical Bernoulli numbers

B_{n}

, the classical Euler numbers

E_{n}

and the classical Genocchi numbers

G_{n}

of order n, we have

B_{n} : = B_{n} (0) = B_{n}^{(1)} (0), E_{n} : = E_{n} (0) = E_{n}^{(1)} (0) and G_{n} : = G_{n} (0) = G_{n}^{(1)} (0),

(1.5)

respectively.

Some interesting analogues of the classical Bernoulli polynomials and numbers were first investigated by Apostol (see [4], p.165, Eq. (3.1)) and (more recently) by Srivastava (see [5], pp.83-84). We begin by recalling here Apostol’s definitions as follows.

Definition 1.1 (Apostol [4]; see also Srivastava [5])

The Apostol-Bernoulli polynomials

B_{n} (x; λ)

(

λ \in C

) are defined by means of the following generating function:

(1.6)

with, of course,

B_{n} (x) = B_{n} (x; 1) and B_{n} (λ) : = B_{n} (0; λ),

(1.7)

where $B_{n} (λ)$ denotes the so-called Apostol-Bernoulli numbers.

Recently, Luo and Srivastava [6] further extended the Apostol-Bernoulli polynomials as the so-called Apostol-Bernoulli polynomials of order α.

Definition 1.2 (Luo and Srivastava [6])

The Apostol-Bernoulli polynomials

B_{n}^{(α)} (x; λ)

(

λ \in C

) of order

α \in N_{0}

are defined by means of the following generating function:

(1.8)

with, of course,

B_{n}^{(α)} (x) = B_{n}^{(α)} (x; 1) and B_{n}^{(α)} (λ) : = B_{n}^{(α)} (0; λ),

(1.9)

where $B_{n}^{(α)} (λ)$ denotes the so-called Apostol-Bernoulli numbers of order α.

On the other hand, Luo [7], gave an analogous extension of the generalized Euler polynomials as the so-called Apostol-Euler polynomials of order α.

Definition 1.3 (Luo [7])

The Apostol-Euler polynomials

E_{n}^{(α)} (x; λ)

(

λ \in C

) of order

α \in N_{0}

are defined by means of the following generating function:

{(\frac{2}{λ e^{z} + 1})}^{α} \cdot e^{x z} = \sum_{n = 0}^{\infty} E_{n}^{(α)} (x; λ) \frac{z^{n}}{n!} (| z | < | log (- λ) |)

(1.10)

with, of course,

E_{n}^{(α)} (x) = E_{n}^{(α)} (x; 1) and E_{n}^{(α)} (λ) : = E_{n}^{(α)} (0; λ),

(1.11)

where $E_{n}^{(α)} (λ)$ denotes the so-called Apostol-Euler numbers of order α.

On the subject of the Genocchi polynomials $G_{n} (x)$ and their various extensions, a remarkably large number of investigations have appeared in the literature (see, for example, [8–14]). Moreover, Luo (see [12–14]) introduced and investigated the Apostol-Genocchi polynomials of (real or complex) order α, which are defined as follows:

Definition 1.4 The Apostol-Genocchi polynomials

G_{n}^{(α)} (x; λ)

(

λ \in C

) of order

α \in N_{0}

are defined by means of the following generating function:

{(\frac{2 z}{λ e^{z} + 1})}^{α} \cdot e^{x z} = \sum_{n = 0}^{\infty} G_{n}^{(α)} (x; λ) \frac{z^{n}}{n!} (| z | < | log (- λ) |)

(1.12)

with, of course,

\begin{aligned} G_{n}^{(α)} (x) = G_{n}^{(α)} (x; 1), G_{n}^{(α)} (λ) : = G_{n}^{(α)} (0; λ), \\ G_{n} (x; λ) : = G_{n}^{(1)} (x; λ) and G_{n} (λ) : = G_{n}^{(1)} (λ), \end{aligned}

(1.13)

where $G_{n} (λ)$ , $G_{n}^{(α)} (λ)$ and $G_{n} (x; λ)$ denote the so-called Apostol-Genocchi numbers, the Apostol-Genocchi numbers of order α and the Apostol-Genocchi polynomials, respectively.

Recently, Luo and Srivastava [15] introduced a unification (and generalization) of the above-mentioned three families of the generalized Apostol type polynomials.

Definition 1.5 (Luo and Srivastava [15])

The generalized Apostol type polynomials

F_{n}^{(α)} (x; λ; u, v)

(

α \in N_{0}

,

λ, u, v \in C

) of order α are defined by means of the following generating function:

{(\frac{2^{u} z^{v}}{λ e^{z} + 1})}^{α} \cdot e^{x z} = \sum_{n = 0}^{\infty} F_{n}^{(α)} (x; λ; u, v) \frac{z^{n}}{n!} (| z | < | log (- λ) |),

(1.14)

where

F_{n}^{(α)} (λ; u, v) : = F_{n}^{(α)} (0; λ; u, v)

(1.15)

denote the so-called Apostol type numbers of order α.

So that, by comparing Definition 1.5 with Definitions 1.2, 1.3 and 1.4, we have

(1.16)

(1.17)

(1.18)

A polynomial

p_{n} (x)

(

n \in N

,

x \in C

) is said to be a quasi-monomial [16], whenever two operators

\hat{M}

,

\hat{P}

, called multiplicative and derivative (or lowering) operators respectively, can be defined in such a way that

(1.19)

(1.20)

which can be combined to get the identity

\hat{M} \hat{P} p_{n} (x) = n p_{n} (x) .

(1.21)

The Appell polynomials [17] can be defined by considering the following generating function:

A (t) e^{x t} = \sum_{n = 0}^{\infty} \frac{R_{n} (x)}{n!} t^{n},

(1.22)

where

A (t) = \sum_{k = 0}^{\infty} \frac{R_{k}}{k!} t^{k} (A (0) \neq 0)

(1.23)

is analytic function at $t = 0$ .

From [18], we know that the multiplicative and derivative operators of

R_{n} (x)

are

(1.24)

(1.25)

where

\frac{A^{'} (t)}{A (t)} = \sum_{n = 0}^{\infty} α_{n} \frac{t^{n}}{n!} .

(1.26)

By using (1.21), we have the following lemma.

Lemma 1.6 ([18])

The Appell polynomials

R_{n} (x)

defined by (1.22) satisfy the differential equation:

\frac{α_{n - 1}}{(n - 1)!} y^{(n)} + \frac{α_{n - 2}}{(n - 2)!} y^{(n - 1)} + \dots + \frac{α_{1}}{1!} y^{″} + (x + α_{0}) y^{'} - n y = 0,

(1.27)

where the numerical coefficients

α_{k}

,

k = 1, 2, \dots, n - 1

are defined in (1.26), and are linked to the values

R_{k}

by the following relations:

R_{k + 1} = \sum_{h = 0}^{k} (\begin{matrix} k \\ h \end{matrix}) R_{h} α_{k - h} .

Let

P

be the vector space of polynomials with coefficients in ℂ. A polynomial sequence

{P_{n}}_{n \geq 0}

be a polynomial set.

{P_{n}}_{n \geq 0}

is called a σ-Appell polynomial set of transfer power series A is generated by

G (x, t) = A (t) G_{0} (x, t) = \sum_{n = 0}^{\infty} \frac{P_{n} (x)}{n!} t^{n},

(1.28)

where

G_{0} (x, t)

is a solution of the system:

In [19], the authors investigated the connection coefficients between two polynomials. And there is a result about connection coefficients between two σ-Appell polynomial sets.

Lemma 1.7 ([19])

Let

σ \in Λ^{(- 1)}

. Let

{P_{n}}_{n \geq 0}

and

{Q_{n}}_{n \geq 0}

be two σ-Appell polynomial sets of transfer power series, respectively,

A_{1}

and

A_{2}

. Then

Q_{n} (x) = \sum_{m = 0}^{n} \frac{n!}{m!} α_{n - m} P_{m} (x),

(1.29)

where

\frac{A_{2} (t)}{A_{1} (t)} = \sum_{k = 0}^{\infty} α_{k} t^{k} .

In recent years, several authors obtained many interesting results involving the related Bernoulli polynomials and Euler polynomials [5, 20–40]. And in [29], the authors studied some series identities involving the generalized Apostol type and related polynomials.

In this paper, we study some other properties of the generalized Apostol type polynomials $F_{n}^{(α)} (x; λ; u, v)$ , including the recurrence relations, the differential equations and some connection problems, which extend some known results. As special, we obtain some properties of the generalized Apostol-Euler polynomials, the generalized Apostol-Bernoulli polynomials and Apostol-Genocchi polynomials of high order.

2 Recursion formulas and differential equations

From the generating function (1.14), we have

\frac{\partial}{\partial x} F_{n}^{(α)} (x; λ; u, v) = n F_{n - 1}^{(α)} (x; λ; u, v) .

(2.1)

A recurrence relation for the generalized Apostol type polynomials is given by the following theorem.

Theorem 2.1 For any integral

n \geq 1

,

λ \in C

and

α \in N

, the following recurrence relation for the generalized Apostol type polynomials

F_{n}^{(α)} (x; λ; u, v)

holds true:

(\frac{α v}{n + 1} - 1) F_{n + 1}^{(α)} (x; λ; u, v) = \frac{α λ}{2^{u}} \cdot \frac{n!}{(n + v)!} F_{n + v}^{(α + 1)} (x + 1; λ; u, v) - x F_{n}^{(α)} (x; λ; u, v) .

(2.2)

Proof Differentiating both sides of (1.14) with respect to t, and using some elementary algebra and the identity principle of power series, recursion (2.2) easily follows. □

By setting $λ : = - λ$ , $u = 0$ and $v = 1$ in Theorem 2.1, and then multiplying ${(- 1)}^{α}$ on both sides of the result, we have:

Corollary 2.2 For any integral

n \geq 1

,

λ \in C

and

α \in N

, the following recurrence relation for the generalized Apostol-Bernoulli polynomials

B_{n}^{(α)} (x; λ)

holds true:

[α - (n + 1)] B_{n + 1}^{(α)} (x; λ) = α λ B_{n + 1}^{(α + 1)} (x + 1; λ) - x B_{n}^{(α)} (x; λ) .

(2.3)

By setting $u = 1$ and $v = 0$ in Theorem 2.1, we have the following corollary.

Corollary 2.3 For any integral

n \geq 1

,

λ \in C

and

α \in N

, the following recurrence relation for the generalized Apostol-Euler polynomials

E_{n}^{(α)} (x; λ)

holds true:

E_{n + 1}^{(α)} (x; λ) = x E_{n}^{(α)} (x; λ) - \frac{α λ}{2} E_{n}^{(α + 1)} (x + 1; λ) .

(2.4)

By setting $u = 1$ and $v = 1$ in Theorem 2.1, we have the following corollary.

Corollary 2.4 For any integral

n \geq 1

,

λ \in C

and

α \in N

, the following recurrence relation for the generalized Apostol-Genocchi polynomials

G_{n}^{(α)} (x; λ)

holds true:

2 [α - (n + 1)] G_{n + 1}^{(α)} (x; λ) = α λ G_{n + 1}^{(α + 1)} (x + 1; λ) - 2 (n + 1) x G_{n}^{(α)} (x; λ) .

(2.5)

From (1.14) and (1.22), we know that the generalized Appostol type polynomials

F_{n}^{(α)} (x; λ; u, v)

is Appell polynomials with

A (t) = {(\frac{2^{u} t^{v}}{λ e^{t} + 1})}^{α} .

(2.6)

From the Eq. (23) of [15], we know that

G_{0} (1; λ) = 0

. So from (2.6) and (1.12), we can obtain that if

v = 0

, we have

\frac{A^{'} (t)}{A (t)} = \frac{λ α}{2} \sum_{n = 0}^{\infty} \frac{G_{n + 1} (1; λ)}{n + 1} \cdot \frac{t^{n}}{n!} .

(2.7)

By using (1.24) and (1.26), we can obtain the multiplicative and derivative operators of the generalized Appostol type polynomials

F_{n}^{(α)} (x; λ; u, v)

(2.8)

(2.9)

From (2.1), we can obtain

\frac{\partial^{p}}{\partial x^{p}} F_{n}^{(α)} (x; λ; u, v) = \frac{n!}{(n - p)!} F_{n - p}^{(α)} (x; λ; u, v) .

(2.10)

Then by using (1.20), (2.8) and (2.10), we obtain the following result.

Theorem 2.5 For any integral

n \geq 1

,

λ \in C

and

α \in N

, the following recurrence relation for the generalized Apostol type polynomials

F_{n}^{(α)} (x; λ; u, 0)

holds true:

\begin{array}{rcl} F_{n + 1}^{(α)} (x; λ; u, 0) & = & (x + \frac{λ α}{2} G_{1} (1; λ)) F_{n}^{(α)} (x; λ; u, 0) \\ + \frac{λ α}{2} \sum_{k = 0}^{n - 1} (\begin{matrix} n \\ k \end{matrix}) \frac{G_{n - k + 1} (1; λ)}{n - k + 1} F_{n - k}^{(α)} (x; λ; u, 0) . \end{array}

(2.11)

By setting $u = 1$ in Theorem 2.5, we have the following corollary.

Corollary 2.6 For any integral

n \geq 1

,

λ \in C

and

α \in N

, the following recurrence relation for the generalized Apostol-Euler polynomials

E_{n}^{(α)} (x; λ)

holds true:

E_{n + 1}^{(α)} (x; λ) = (x + \frac{λ α}{2} G_{1} (1; λ)) E_{n}^{(α)} (x; λ) + \frac{λ α}{2} \sum_{k = 0}^{n - 1} (\begin{matrix} n \\ k \end{matrix}) \frac{G_{n - k + 1} (1; λ)}{n - k + 1} E_{n - k}^{(α)} (x; λ) .

(2.12)

Furthermore, applying Lemma 1.7 to $F_{n}^{(α)} (x; λ; u, 0)$ , we have the following theorem.

Theorem 2.7 The generalized Apostol type polynomials

F_{n}^{(α)} (x; λ; u, 0)

satisfy the differential equation:

(2.13)

Specially, by setting $u = 1$ in Theorem 2.7, then we have the following corollary.

Corollary 2.8 The generalized Apostol-Euler polynomials

E_{n}^{(α)} (x; λ)

satisfy the differential equation:

(2.14)

3 Connection problems

From (1.14) and (1.28), we know that the generalized Apostol type polynomials $F_{n}^{(α)} (x; λ; u, v)$ are a $D_{x}$ -Appell polynomial set, where $D_{x}$ denotes the derivative operator.

From Table 1 in [19], we know that the derivative operators of monomials $x^{n}$ and the Gould-Hopper polynomials $g_{n}^{m} (x, h)$ [30] are all $D_{x}$ . And their transfer power series $A (t)$ are 1 and $e^{h t^{m}}$ , respectively.

Applying Lemma 1.7 to $P_{n} (x) = x^{n}$ and $Q_{n} (x) = F_{n}^{(α)} (x; λ; u, v)$ , we have the following theorem.

Theorem 3.1

F_{n}^{(α)} (x; λ; u, v) = \sum_{m = 0}^{n} (\begin{matrix} n \\ m \end{matrix}) F_{n - m}^{(α)} (λ; u, v) x^{m},

(3.1)

where $F_{n}^{(α)} (λ; u, v)$ is the so-called Apostol type numbers of order α defined by (1.15).

By setting $λ : = - λ$ , $u = 0$ and $v = 1$ in Theorem 3.1, and then multiplying ${(- 1)}^{α}$ on both sides of the result, we have the following corollary.

Corollary 3.2

B_{n}^{(α)} (x; λ) = \sum_{m = 0}^{n} (\begin{matrix} n \\ m \end{matrix}) B_{n - m}^{(α)} (λ) x^{m},

(3.2)

which is just Eq. (3.1) of [23].

By setting $u = 0$ and $v = 0$ in Theorem 3.1, we have the following corollary.

Corollary 3.3

E_{n}^{(α)} (x; λ) = \sum_{m = 0}^{n} (\begin{matrix} n \\ m \end{matrix}) E_{n - m}^{(α)} (λ) x^{m} .

(3.3)

By setting $u = 1$ and $v = 1$ in Theorem 3.1, we have the following corollary.

Corollary 3.4

G_{n}^{(α)} (x; λ) = \sum_{m = 0}^{n} (\begin{matrix} n \\ m \end{matrix}) G_{n - m}^{(α)} (λ) x^{m},

(3.4)

which is just Eq. (24) of [15].

Applying Lemma 1.7 to $P_{n} (x) = F_{n} (x; λ; u, v)$ and $Q_{n} (x) = F_{n}^{(α)} (x; λ; u, v)$ , we have the following theorem.

Theorem 3.5

F_{n}^{(α)} (x; λ; u, v) = \sum_{m = 0}^{n} (\begin{matrix} n \\ m \end{matrix}) F_{n - m}^{(α - 1)} (λ; u, v) F_{m} (x; λ; u, v),

(3.5)

where $F_{n}^{(α)} (λ; u, v)$ is the so-called Apostol type numbers of order α defined by (1.15).

By setting $λ : = - λ$ , $u = 0$ and $v = 1$ in Theorem 3.5, and then multiplying ${(- 1)}^{α}$ on both sides of the result, we have the following corollary.

Corollary 3.6

B_{n}^{(α)} (x; λ) = \sum_{m = 0}^{n} (\begin{matrix} n \\ m \end{matrix}) B_{n - m}^{(α - 1)} (λ) B_{m} (x; λ),

(3.6)

which is just Eq. (3.2) of [23].

By setting $u = 1$ and $v = 0$ in Theorem 3.5, we have the following corollary.

Corollary 3.7

E_{n}^{(α)} (x; λ) = \sum_{m = 0}^{n} (\begin{matrix} n \\ m \end{matrix}) E_{n - m}^{(α - 1)} (λ) E_{m} (x; λ) .

(3.7)

By setting $u = 1$ and $v = 1$ in Theorem 3.5, we have the following corollary.

Corollary 3.8

G_{n}^{(α)} (x; λ) = \sum_{m = 0}^{n} (\begin{matrix} n \\ m \end{matrix}) G_{n - m}^{(α - 1)} (λ) G_{m} (x; λ) .

(3.8)

Applying Lemma 1.7 to $P_{n} (x) = g_{n}^{m} (x, h)$ and $Q_{n} (x) = F_{n}^{(α)} (x; λ; u, v)$ , we have the following theorem.

Theorem 3.9

F_{n}^{(α)} (x; λ; u, v) = \sum_{r = 0}^{n} \frac{n!}{r!} [\sum_{k = 0}^{[(n - r) / m]} {(- 1)}^{k} \frac{h^{k}}{k! (n - r - m k)!} F_{n - r - m k}^{(α)} (λ; u, v)] g_{r}^{m} (x, h) .

(3.9)

By setting $λ : = - λ$ , $u = 0$ and $v = 1$ in Theorem 3.9, and then multiplying ${(- 1)}^{α}$ on both sides of the result, we have the following corollary.

Corollary 3.10

B_{n}^{(α)} (x; λ) = \sum_{r = 0}^{n} \frac{n!}{r!} [\sum_{k = 0}^{[(n - r) / m]} {(- 1)}^{k} \frac{h^{k}}{k! (n - r - m k)!} B_{n - r - m k}^{(α)} (λ)] g_{r}^{m} (x, h),

(3.10)

which is just Eq. (3.3) of [23].

By setting $u = 1$ and $v = 0$ in Theorem 3.9, we have the following corollary.

Corollary 3.11

E_{n}^{(α)} (x; λ) = \sum_{r = 0}^{n} \frac{n!}{r!} [\sum_{k = 0}^{[(n - r) / m]} {(- 1)}^{k} \frac{h^{k}}{k! (n - r - m k)!} E_{n - r - m k}^{(α)} (λ)] g_{r}^{m} (x, h) .

(3.11)

By setting $u = 1$ and $v = 1$ in Theorem 3.9, we have the following corollary.

Corollary 3.12

G_{n}^{(α)} (x; λ) = \sum_{r = 0}^{n} \frac{n!}{r!} [\sum_{k = 0}^{[(n - r) / m]} {(- 1)}^{k} \frac{h^{k}}{k! (n - r - m k)!} G_{n - r - m k}^{(α)} (λ)] g_{r}^{m} (x, h) .

(3.12)

When $v α = 1$ , applying Lemma 1.7 to $P_{n} (x) = E_{n}^{(α - 1)} (x; λ)$ and $Q_{n} (x) = F_{n}^{(α)} (x; λ; u, v)$ , we have the following theorem.

Theorem 3.13 If

v α = 1

, then we have

F_{n}^{(α)} (x; λ; u, v) = \sum_{m = 0}^{n} (\begin{matrix} n \\ m \end{matrix}) 2^{(u - 1) α} G_{n - m} (λ) E_{m}^{(α - 1)} (x; λ) .

(3.13)

By setting $λ : = - λ$ , $u = 0$ and $v = 1$ in Theorem 3.13, and then multiplying ${(- 1)}^{α}$ on both sides of the result, we have the following corollary.

Corollary 3.14

B_{n} (x; λ) = - \frac{1}{2} \sum_{m = 0}^{n} (\begin{matrix} n \\ m \end{matrix}) G_{n - m} (- λ) x^{m} .

(3.14)

By setting $u = 1$ and $v = 1$ in Theorem 3.13, we have the following corollary.

Corollary 3.15

G_{n} (x; λ) = - \frac{1}{2} \sum_{m = 0}^{n} (\begin{matrix} n \\ m \end{matrix}) G_{n - m} (λ) x^{m},

(3.15)

which is just the case of $α = 1$ in (3.4).

When $v = 1$ or $α = 0$ , applying Lemma 1.7 to $P_{n} (x) = G_{n}^{(α - 1)} (x; λ)$ and $Q_{n} (x) = F_{n}^{(α)} (x; λ; u, v)$ , we can obtain the following theorem.

Theorem 3.16 If

v = 1

or

α = 0

, we have

F_{n}^{(α)} (x; λ; u, v) = \sum_{m = 0}^{n} (\begin{matrix} n \\ m \end{matrix}) 2^{(u - 1) α} G_{n - m} (λ) G_{m}^{(α - 1)} (x; λ) .

(3.16)

By setting $λ : = - λ$ , $u = 0$ and $v = 1$ in Theorem 3.13, and then multiplying ${(- 1)}^{α}$ on both sides of the result, we have the following corollary.

Corollary 3.17

B_{n}^{(α)} (x; λ) = \sum_{m = 0}^{n} (\begin{matrix} n \\ m \end{matrix}) {(- \frac{1}{2})}^{α} G_{n - m} (- λ) G_{m}^{(α - 1)} (x; - λ) .

(3.17)

When $α = 1$ in (3.17), it is just (3.15).

By setting $u = 1$ and $v = 1$ in Theorem 3.16, we have the following corollary.

Corollary 3.18

G_{n}^{(α)} (x; λ) = \sum_{m = 0}^{n} (\begin{matrix} n \\ m \end{matrix}) G_{n - m} (λ) G_{m}^{(α - 1)} (x; λ),

(3.18)

which is equal to (3.8).

If $α = 0$ in Theorem 3.16, we have:

Corollary 3.19

x^{n} = \sum_{m = 0}^{n} (\begin{matrix} n \\ m \end{matrix}) G_{n - m} (λ) G_{m}^{(- 1)} (x; λ) .

(3.19)

4 Hermite-based generalized Apostol type polynomials

Finally, we give a generation of the generalized Apostol type polynomials.

The two-variable Hermite-Kampé de Fériet polynomials (2VHKdFP)

H_{n} (x, y)

are defined by the series [31]

H_{n} (x, y) = n! \sum_{r = 0}^{[n / 2]} \frac{x^{n - 2 r} y^{r}}{r! (n - 2 r)!}

(4.1)

with the following generating function:

exp (x t + y t^{2}) = \sum_{n = 0}^{\infty} \frac{t^{n}}{n!} H_{n} (x, y) .

(4.2)

And the 2VHKdFP

H_{n} (x, y)

are also defined through the operational identity

exp (y \frac{\partial^{2}}{\partial x^{2}}) {x^{n}} = H_{n} (x, y) .

(4.3)

Acting the operator

exp (y \frac{\partial^{2}}{\partial x^{2}})

on (1.14), and by the identity [32]

exp (y \frac{\partial^{2}}{\partial x^{2}}) {exp (- a x^{2} + b x)} = \frac{1}{\sqrt{1 + 4 a y}} exp (- \frac{a x^{2} - b x - b^{2} y}{1 + 4 a y}),

(4.4)

we define the Hermite-based generalized Apostol type polynomials

{}_{H}F_{n}^{(α)} (x, y; λ; u, v)

by the generating function

{(\frac{2^{u} z^{v}}{λ e^{t} + 1})}^{α} \cdot e^{x t + y t^{2}} = {\sum_{n = 0}^{\infty}}_{H} F_{n}^{(α)} (x, y; λ; u, v) \frac{t^{n}}{n!} (| t | < | log (- λ) |) .

(4.5)

Clearly, we have

{}_{H}F_{n} (x, y; λ; u, v) =_{H} F_{n}^{(1)} (x, y; λ; u, v) .

From the generating function (4.5), we easily obtain

{\frac{\partial}{\partial x}}_{H} F_{n}^{(α)} (x, y; λ; u, v) = n_{H} F_{n - 1}^{(α)} (x, y; λ; u, v)

(4.6)

and

{\frac{\partial}{\partial y}}_{H} F_{n}^{(α)} (x, y; λ; u, v) = n {(n - 1)}_{H} F_{n - 2}^{(α)} (x, y; λ; u, v),

(4.7)

which can be combined to get the identity

{\frac{\partial^{2}}{\partial x^{2}}}_{H} F_{n}^{(α)} (x, y; λ; u, v) = {\frac{\partial}{\partial y}}_{H} F_{n}^{(α)} (x, y; λ; u, v) .

(4.8)

Acting with the operator

exp y \frac{\partial^{2}}{\partial x^{2}}

on both sides of (3.1), (3.5), (3.13), (3.18), and by using (4.3), we obtain

(4.9)

(4.10)

(4.11)

(4.12)

where

{}_{H}E_{n}^{(α)} (x; λ)

and

{}_{H}G_{n}^{(α)} (x; λ)

are the Hermite-based generalized Apostol-Euler polynomials and the Hermite-based generalized Apostol-Genocchi polynomials respectively, defined by the following generating functions:

Declarations

Acknowledgements

Dedicated to Professor Hari M Srivastava.

The present investigation was supported, in part, by the National Natural Science Foundation of China under Grant 11226281, Fund of Science and Innovation of Yangzhou University, China under Grant 2012CXJ005, Research Project of Science and Technology of Chongqing Education Commission, China under Grant KJ120625 and Fund of Chongqing Normal University, China under Grant 10XLR017 and 2011XLZ07.

Authors’ Affiliations

(1)

Department of Mathematics, Yangzhou University, Yangzhou, Jiangsu, 225002, People’s Republic of China

(2)

Department of Mathematics, Chongqing Normal University, Chongqing Higher Education Mega Center, Huxi Campus, Chongqing, 401331, People’s Republic of China

References

Sándor J, Crstici B II. In Handbook of Number Theory. Kluwer Academic, Dordrecht; 2004.View ArticleGoogle Scholar
Srivastava HM, Choi J: Series Associated with the Zeta and Related Functions. Kluwer Academic, Dordrecht; 2001.View ArticleGoogle Scholar
Srivastava HM, Pintér Á: Remarks on some relationships between the Bernoulli and Euler polynomials. Appl. Math. Lett. 2004, 17: 375-380. 10.1016/S0893-9659(04)90077-8MathSciNetView ArticleGoogle Scholar
Apostol TM: On the Lerch zeta function. Pac. J. Math. 1951, 1: 161-167. 10.2140/pjm.1951.1.161MathSciNetView ArticleGoogle Scholar
Srivastava HM: Some formulas for the Bernoulli and Euler polynomials at rational arguments. Math. Proc. Camb. Philos. Soc. 2000, 129: 77-84. 10.1017/S0305004100004412View ArticleGoogle Scholar
Luo Q-M, Srivastava HM: Some generalizations of the Apostol-Bernoulli and Apostol-Euler polynomials. J. Math. Anal. Appl. 2005, 308: 290-320. 10.1016/j.jmaa.2005.01.020MathSciNetView ArticleGoogle Scholar
Luo Q-M: Apostol-Euler polynomials of higher order and Gaussian hypergeometric functions. Taiwan. J. Math. 2006, 10: 917-925.Google Scholar
Horadam AF: Genocchi polynomials. In Proceedings of the Fourth International Conference on Fibonacci Numbers and Their Applications. Kluwer Academic, Dordrecht; 1991:145-166.View ArticleGoogle Scholar
Horadam AF: Negative order Genocchi polynomials. Fibonacci Q. 1992, 30: 21-34.MathSciNetGoogle Scholar
Horadam AF: Generation of Genocchi polynomials of first order by recurrence relations. Fibonacci Q. 1992, 30: 239-243.MathSciNetGoogle Scholar
Jang L-C, Kim T: On the distribution of the q -Euler polynomials and the q -Genocchi polynomials of higher order. J. Inequal. Appl. 2008, 2008: 1-9.Google Scholar
Luo Q-M: Fourier expansions and integral representations for the Genocchi polynomials. J. Integer Seq. 2009, 12: 1-9.Google Scholar
Luo Q-M: q -extensions for the Apostol-Genocchi polynomials. Gen. Math. 2009, 17: 113-125.Google Scholar
Luo Q-M: Extension for the Genocchi polynomials and its Fourier expansions and integral representations. Osaka J. Math. 2011, 48: 291-309.MathSciNetGoogle Scholar
Luo Q-M, Srivastava HM: Some generalizations of the Apostol-Genocchi polynomials and the Stirling numbers of the second kind. Appl. Math. Comput. 2011, 217: 5702-5728. 10.1016/j.amc.2010.12.048MathSciNetView ArticleGoogle Scholar
Dattoli G, Srivastava HM, Zhukovsky K: Orthogonality properties of the Hermite and related polynomials. J. Comput. Appl. Math. 2005, 182: 165-172. 10.1016/j.cam.2004.10.021MathSciNetView ArticleGoogle Scholar
Appell P: Sur une classe de polynomials. Ann. Sci. Éc. Norm. Super. 1880, 9: 119-144.MathSciNetGoogle Scholar
He MX, Ricci PE: Differential equation of Appell polynomials via the factorization method. J. Comput. Appl. Math. 2002, 139: 231-237. 10.1016/S0377-0427(01)00423-XMathSciNetView ArticleGoogle Scholar
Ben Cheikh Y, Chaggara H: Connection problems via lowering operators. J. Comput. Appl. Math. 2005, 178: 45-61. 10.1016/j.cam.2004.02.024MathSciNetView ArticleGoogle Scholar
Garg M, Jain K, Srivastava HM: Some relationships between the generalized Apostol-Bernoulli polynomials and Hurwitz-Lerch zeta functions. Integral Transforms Spec. Funct. 2006, 17: 803-815. 10.1080/10652460600926907MathSciNetView ArticleGoogle Scholar
Lin S-D, Srivastava HM, Wang P-Y: Some expansion formulas for a class of generalized Hurwitz-Lerch zeta functions. Integral Transforms Spec. Funct. 2006, 17: 817-827. 10.1080/10652460600926923MathSciNetView ArticleGoogle Scholar
Liu HM, Wang WP: Some identities on the Bernoulli, Euler and Genocchi polynomials via power sums and alternate power sums. Discrete Math. 2009, 309: 3346-3363. 10.1016/j.disc.2008.09.048MathSciNetView ArticleGoogle Scholar
Lu D-Q: Some properties of Bernoulli polynomials and their generalizations. Appl. Math. Lett. 2011, 24: 746-751. 10.1016/j.aml.2010.12.021MathSciNetView ArticleGoogle Scholar
Luo Q-M: The multiplication formulas for the Apostol-Bernoulli and Apostol-Euler polynomials of higher order. Integral Transforms Spec. Funct. 2009, 20: 377-391. 10.1080/10652460802564324MathSciNetView ArticleGoogle Scholar
Luo Q-M, Srivastava HM: Some relationships between the Apostol-Bernoulli and Apostol-Euler polynomials. Comput. Math. Appl. 2006, 51: 631-642. 10.1016/j.camwa.2005.04.018MathSciNetView ArticleGoogle Scholar
Ozden H, Simsek Y, Srivastava HM: A unified presentation of the generating functions of the generalized Bernoulli, Euler and Genocchi polynomials. Comput. Math. Appl. 2010, 60: 2779-2787. 10.1016/j.camwa.2010.09.031MathSciNetView ArticleGoogle Scholar
Yang S-L: An identity of symmetry for the Bernoulli polynomials. Discrete Math. 2008, 308: 550-554. 10.1016/j.disc.2007.03.030MathSciNetView ArticleGoogle Scholar
Yang SL, Qiao ZK: Some symmetry identities for the Euler polynomials. J. Math. Res. Expo. 2010, 30(3):457-464.MathSciNetGoogle Scholar
Lu D-Q, Srivastava HM: Some series identities involving the generalized Apostol type and related polynomials. Comput. Math. Appl. 2011, 62: 3591-3602. 10.1016/j.camwa.2011.09.010MathSciNetView ArticleGoogle Scholar
Gould HW, Hopper AT: Operational formulas connected with two generalizations of Hermite polynomials. Duke Math. J. 1962, 29: 51-63. 10.1215/S0012-7094-62-02907-1MathSciNetView ArticleGoogle Scholar
Appell P, Kampé de Fériet J: Functions hypergéométriques et hypersphériques: Polynómes d’Hermite. Gauthier-Villars, Paris; 1926.Google Scholar
Dattoli G, Khan S, Ricci PE: On Crofton-Glaisher type relations and derivation of generating functions for Hermite polynomials including the multi-index case. Integral Transforms Spec. Funct. 2008, 19: 1-9. 10.1080/10652460701358984MathSciNetView ArticleGoogle Scholar
Dere R, Simsek Y: Normalized polynomials and their multiplication formulas. Adv. Differ. Equ. 2013., 2013: Article ID 31. doi:10.1186/1687-1847-2013-31Google Scholar
Dere R, Simsek Y: Genocchi polynomials associated with the umbral algebra. Appl. Math. Comput. 2011, 218: 756-761. 10.1016/j.amc.2011.01.078MathSciNetView ArticleGoogle Scholar
Dere R, Simsek Y: Applications of umbral algebra to some special polynomials. Adv. Stud. Contemp. Math. 2012, 22: 433-438.MathSciNetGoogle Scholar
Kurt B, Simsek Y: Frobenius-Euler type polynomials related to Hermite-Bernoulli polynomials, analysis and applied math. AIP Conf. Proc. 2011, 1389: 385-388.View ArticleGoogle Scholar
Srivastava HM: Some generalizations and basic (or q -) extensions of the Bernoulli, Euler and Genocchi polynomials. Appl. Math. Inf. Sci. 2011, 5: 390-444.MathSciNetGoogle Scholar
Srivastava HM, Kurt B, Simsek Y: Some families of Genocchi type polynomials and their interpolation functions. Integral Transforms Spec. Funct. 2012, 23: 919-938. see also corrigendum, Integral Transforms Spec. Funct. 23, 939-940 (2012) 10.1080/10652469.2011.643627MathSciNetView ArticleGoogle Scholar
Srivastava HM, Ozarslan MA, Kaanuglu C: Some generalized Lagrange-based Apostol-Bernoulli, Apostol-Euler and Apostol-Genocchi polynomials. Russ. J. Math. Phys. 2013, 20: 110-120.MathSciNetView ArticleGoogle Scholar
Srivastava HM, Choi J: Zeta and q-Zeta Functions and Associated Series and Integrals. Elsevier, Amsterdam; 2012.Google Scholar

Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.