# Some generalizations of 2D Bernoulli polynomials

## Abstract

As a generalization of 2D Bernoulli polynomials, neo-Bernoulli polynomials are introduced from a point of view involving the use of nonexponential generating functions. Their relevant recurrence relations, the differential equations satisfied by them and some other properties are obtained. Especially, we obtain the relationships between them and neo-Hermite polynomials. We also study some other generalizations of 2D Bernoulli polynomials.

MSC:11B68, 33C99, 34A35.

## 1 Introduction, definitions and motivation

The 2-variable Hermite Kampé de Fériet polynomials (2VHKdFP) $H n (x,y)$  are defined by

$H n (x,y)=n! ∑ r = 0 [ n / 2 ] x n − 2 r y r r ! ( n − 2 r ) !$
(1.1)

with the generating function

$exp ( x t + y t 2 ) = ∑ n = 0 ∞ H n (x,y) t n n ! .$
(1.2)

The neo-Hermite polynomials $ϕ n (x,y)$  are defined by

$ϕ n (x,y)=n! ∑ s = 0 [ n / 2 ] f n − s x n − 2 s y s ( n − 2 s ) ! s !$
(1.3)

with the generating function

$f ( x t + y t 2 ) = ∑ n = 0 ∞ t n n ! ϕ n (x,y),$
(1.4)

where $f(x)$ is a continuous and infinitely differentiable function and it can be expanded in series as follows:

$f(x)= ∑ s = 0 ∞ f s s ! x s .$

And it has an operational definition

$ϕ n (x,y)=exp [ ( f ˆ − 1 y ) ∂ 2 ∂ x 2 ] f n x n .$
(1.5)

As it is well-known, the HKdF polynomials are generated by (1.4) when $f(x)$ reduces to an exponential function.

The classical Bernoulli polynomials $B n (x)$ are defined by 

$z e x z e z − 1 = ∑ n = 0 ∞ B n (x) z n n ! ( | z | < 2 π ) ,$
(1.6)

and consequently, the classical Bernoulli numbers $B n := B n (0)$ can be obtained by the generating function

$z e z − 1 = ∑ n = 0 ∞ B n z n n ! .$
(1.7)

It is well known that

$B n ( 0 ) = B n ( 1 ) = B n , n ≠ 1 , B n ( x ) = ∑ k = 0 n ( n k ) B k x n − k = ∑ k = 0 n ( n k ) B n − k x k , B n ′ ( x ) = n B n − 1 ( x ) .$
(1.8)

The generalized Bernoulli polynomials $B n ( α ) (x)$ are defined by 

$( z e z − 1 ) α e x z = ∑ n = 0 ∞ B n ( α ) (x) z n n ! ( | z | < 2 π ) .$
(1.9)

Clearly, the generalized Bernoulli numbers $B n ( α )$ are given by

$B n ( α ) := B n ( α ) (0)$

and

$B n (x):= B n ( 1 ) (x)(n∈ N 0 ).$

In 2005, Luo defined the Apostol-Bernoulli numbers $B n (λ)$ and polynomials $B n (x;λ)$ as follows:

$z λ e z − 1 = ∑ n = 0 ∞ B n (λ) z n n ! ,$
(1.10)
(1.11)

The generalized Apostol-Bernoulli numbers $B n ( α ) (λ)$ and polynomials $B n ( α ) (x;λ)$ are defined by 

$( z λ e z − 1 ) α = ∑ n = 0 ∞ B n ( α ) (λ) z n n ! ,$
(1.12)
(1.13)

The 2D Bernoulli polynomials $B n ( 2 ) (x,y)$ are defined  by the generating function

$t e t − 1 e x t + y t 2 = ∑ n = 0 ∞ B n ( 2 ) (x,y) t n n ! .$
(1.14)

In this paper, we will give some generalizations of the 2D Bernoulli polynomials. And some properties of them will be given.

## 2 The Bernoulli polynomials from a general point of view

We consider a continuous and infinitely differentiable function $f(x)$ and associate it with the following generating function:

$t e t − 1 f ( x t + y t 2 ) = ∑ n = 0 ∞ b n ( 2 ) (x,y) t n n ! .$
(2.1)

As it is well known, the 2D Bernoulli polynomials $B n ( 2 ) (x,y)$ are generated by (2.1) when $f(x)$ reduces to an exponential function.

It is possible to find an explicit form of the polynomials $b n ( 2 ) (x,y)$ in terms of the neo-Hermite polynomials $ϕ n (x,y)$ defined by (1.4).

Theorem 2.1 The following representation formulas hold true:

$b n ( 2 ) ( x , y ) = ∑ h = 0 n ( n h ) B n − h ϕ h ( x , y ) = n ! ∑ h = 0 n B n − h ( n − h ) ! ∑ s = 0 [ h / 2 ] f h − s x h − 2 s y s s ! ( h − 2 s ) ! ,$
(2.2)

where $B k$ denotes the Bernoulli numbers;

$ϕ n (x,y)= ∑ h = 0 n ( n h ) 1 n − h + 1 b h ( 2 ) (x,y).$
(2.3)

Proof Equation (2.2) is obtained starting from the generating function (2.1) by using the Cauchy product of the series expansion (1.4) and (1.7), and then using the identity principle of power series.

Equation (2.3) is obtained in the same way, starting from the equation

$f ( x t + y t 2 ) = e t − 1 t ∑ n = 0 ∞ b n ( 2 ) (x,y) t n n ! .$

□

By assuming that $f(x)$ can be expanded in series as follows:

$f(x)= ∑ s = 0 ∞ f s s ! x s ,$
(2.4)

we introduce the operator $f ˆ$ defined in such a way that

$( f ˆ ) s = f s , ( f ˆ r ) f s = f s + r .$
(2.5)

Thus, we can write

$f(x)=exp [ ( f ˆ x ) ] = ∑ s = 0 ∞ ( f ˆ x ) s s ! = ∑ s = 0 ∞ f s s ! x s .$
(2.6)

Within the context of such a formalism, we have

$f ( x + y ) = exp [ f ˆ ( x + y ) ] = exp [ ( f ˆ x ) + ( f ˆ y ) ]$
(2.7)
$=exp [ ( f ˆ x ) ] exp [ ( f ˆ y ) ] .$
(2.8)

Making use of (2.1), (2.7), we can obtain

$∂ ∂ x b n ( 2 ) (x,y)=n f ˆ b n − 1 ( 2 ) (x,y),$
(2.9)
$∂ ∂ y b n ( 2 ) (x,y)=n(n−1) f ˆ b n − 2 ( 2 ) (x,y).$
(2.10)

By using (1.6), (2.5), (2.8) and (2.9), we know that the polynomials $b n ( 2 ) (x,y)$ satisfy the following partial differential equation:

$∂ ∂ y b n ( 2 ) (x,y)= f ˆ − 1 ∂ 2 ∂ x 2 b n ( 2 ) (x,y)$
(2.11)

with

$b n ( 2 ) (x,0)= B n [ ( f ˆ x ) ] .$

Thus, the polynomials $b n ( 2 ) (x,y)$ can be constructed according to the following operational rule:

$b n ( 2 ) (x,y)=exp [ ( f ˆ − 1 y ∂ 2 ∂ x 2 ) ] B n [ ( f ˆ x ) ] .$
(2.12)

Then we can derive some relations of the polynomials $b n ( 2 ) (x,y)$ by using the relations of the Bernoulli polynomials $B n (x)$ along with the operational rule (2.12).

Remark 2.2 Upon the proof, the series (2.1) is the absolute convergence and uniformly convergence, thus we can differentiate the both sides of (2.1) with respect to the variable x or y.

We recall the following functional equations involving the Bernoulli polynomials $B n (x)$ :

$B n ( x ) = ∑ k = 0 n ( n k ) B n − k x k , B n ( x ) = x n − 1 n + 1 ∑ k = 0 n − 1 ( n + 1 k ) B k ( x ) , B n ( x + 1 ) − B n ( x ) = n x n − 1 .$

Now, substituting x with $f ˆ x$ in the above equations and performing the operation $exp[( f ˆ − 1 y ∂ 2 ∂ x 2 )]$ on the results, then by using (1.5), (2.5) and (2.11), we get the following identities involving $b n ( 2 ) (x,y)$.

Theorem 2.3 We have the following relationships between the neo-Hermite polynomials and the neo-Bernoulli polynomials:

$b n ( 2 ) ( x , y ) = ∑ k = 0 n ( n k ) B n − k ϕ k ( x , y ) , b n ( 2 ) ( x , y ) = ϕ n ( x , y ) − 1 n + 1 ∑ k = 0 n − 1 ( n + 1 k ) b k ( 2 ) ( x , y ) , b n ( 2 ) ( x + 1 , y ) − b n ( 2 ) ( x , y ) = n ϕ n − 1 ( x , y ) .$

A recurrence relation for the polynomials $b n ( 2 ) (x,y)$ is given by the following theorem.

Theorem 2.4 For any integral $n≥1$, the following linear homogeneous recurrence relation for the 2D Bernoulli polynomials $b n ( 2 ) (x,y)$ holds true:

$b 0 ( 2 ) ( x , y ) = 1 , b n ( 2 ) ( x , y ) = − 1 n ∑ k = 0 n − 2 ( n k ) B n − k b k ( 2 ) ( x , y ) + ( f ˆ x − 1 2 ) b n − 1 ( 2 ) ( x , y ) + 2 ( n − 1 ) f ˆ y b n − 2 ( 2 ) ( x , y ) ,$
(2.13)

where $B k$ denotes the Bernoulli numbers.

Proof Differentiating both sides of Eq. (2.1) with respect to t, recalling the generating functions (1.7) of the Bernoulli numbers, and using (2.7) and some elementary algebra and the identity principle of power series, we get recursion (2.13) easily. □

A natural further extension is obtained by considering the following case:

$t e t − 1 f ( x t + y t m ) = ∑ n = 0 ∞ b n ( m ) (x,y) t n n ! ,$
(2.14)

where

$b n ( m ) ( x , y ) = ∑ h = 0 n ( n h ) B n − h ϕ n ( m ) ( x , y ) = n ! ∑ h = 0 n B n − h ( n − h ) ! ∑ s = 0 [ h / m ] f h − ( m − 1 ) s x h − m s y s s ! ( h − m s ) ! .$
(2.15)

We can also extend the polynomials $b n ( 2 ) (x,y)$ to $b n ( 2 ; α ) (x,y;λ)$ defined by

$( t λ e t − 1 ) α f ( x t + y t 2 ) = ∑ n = 0 ∞ b n ( 2 ; α ) (x,y;λ) t n n ! ,$
(2.16)

where

$b n ( 2 ; α ) ( x , y ) = ∑ h = 0 n ( n h ) B n − h ( α ) ( λ ) ϕ h ( x , y ) = n ! ∑ h = 0 n B n − h ( α ) ( λ ) ( n − h ) ! ∑ s = 0 [ h / 2 ] f h − s x h − 2 s y s s ! ( h − 2 s ) ! .$
(2.17)

The properties of these polynomials can be obtained by using a similar method.

## References

1. 1.

Appell P, Kampé de Fériet J: Fonctions hypergéométriques et hypersphériques: Polynómes d’Hermite. Gauthier-Villars, Paris; 1926.

2. 2.

Dattoli G, Srivastava HM, Sacchetti D: The Hermite polynomials and the Bessel functions from a general point of view. Int. J. Math. Math. Sci. 2003, 57: 3633–3642.

3. 3.

Gradshteyh IS, Ryzhik IM: Table of Series, and Products. Academic Press, New York; 1980.

4. 4.

Magnus W, Oberhettinger F, Soni RP: Formulas and Theorems for the Special Functions of Mathematical Physics. 3rd edition. Springer, New York; 1966.

5. 5.

Luo Q-M, Srivastava HM: Some generalizations of the Apostol-Bernoulli and Apostol-Euler polynomials. J. Math. Anal. Appl. 2005, 308: 290–302. 10.1016/j.jmaa.2005.01.020

6. 6.

Bretti G, Ricci PE: Multidimensional extensions of the Bernoulli and Appell polynomials. Taiwan. J. Math. 2004, 8: 415–428.

## Acknowledgements

Dedicated to Professor Hari M Srivastava.

The present investigation was supported 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.

## Author information

Authors

### Corresponding author

Correspondence to Qiu-Ming Luo.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally in writing this paper, and read and approved the final manuscript.

## Rights and permissions

Reprints and Permissions

Lu, D., Luo, Q. Some generalizations of 2D Bernoulli polynomials. J Inequal Appl 2013, 110 (2013). https://doi.org/10.1186/1029-242X-2013-110 