About this Journal Submit a Manuscript Table of Contents
Discrete Dynamics in Nature and Society
Volume 2012 (2012), Article ID 584643, 11 pages
doi:10.1155/2012/584643
Research Article

Some Identities on Bernoulli and Hermite Polynomials Associated with Jacobi Polynomials

1Department of Mathematics, Kwangwoon University, Seoul 139-701, Republic of Korea
2Department of Mathematics, Sogang University, Seoul, Republic of Korea
3Hanrimwon, Kwangwoon University, Seoul 139-701, Republic of Korea

Received 17 July 2012; Accepted 9 August 2012

Academic Editor: Josef Diblík

Copyright © 2012 Taekyun Kim et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

We investigate some identities on the Bernoulli and the Hermite polynomials arising from the orthogonality of Jacobi polynomials in the inner product space Pn.

1. Introduction

For 𝛼 , 𝛽 with 𝛼 > 1 and 𝛽 > 1 , the Jacobi polynomials 𝑃 𝑛 ( 𝛼 , 𝛽 ) ( 𝑥 ) are defined as 𝑃 𝑛 ( 𝛼 , 𝛽 ) ( 𝑥 ) = ( 𝛼 + 1 ) 𝑛 𝑛 ! 2 𝐹 1 𝑛 , 1 + 𝛼 + 𝛽 + 𝑛 ; 𝛼 + 1 ; 1 𝑥 2 = ( 𝛼 + 1 ) 𝑛 𝑛 ! 𝑛 𝑘 = 0 ( 𝑛 𝑘 ) ( 1 + 𝛼 + 𝛽 + 𝑛 ) 𝑘 ( 𝛼 + 1 ) 𝑘 𝑥 1 2 𝑘 , ( 1 . 1 ) (see [14]), where ( 𝛼 ) 𝑛 = 𝛼 ( 𝛼 + 1 ) ( 𝛼 + 𝑛 1 ) = Γ ( 𝛼 + 𝑛 ) / Γ ( 𝛼 ) .

From (1.1), we note that 𝑃 𝑛 ( 𝛼 , 𝛽 ) Γ ( 𝑥 ) = ( 𝛼 + 1 + 𝑛 ) 𝑛 ! Γ ( 𝛼 + 𝛽 + 𝑛 + 1 ) 𝑛 𝑘 = 0 ( 𝑛 𝑘 ) Γ ( 𝛼 + 𝛽 + 𝑛 + 𝑘 + 1 ) Γ ( 𝛼 + 𝑘 + 1 ) 𝑥 1 2 𝑘 . ( 1 . 2 ) By (1.2), we see that 𝑃 𝑛 ( 𝛼 , 𝛽 ) ( 𝑥 ) is polynomial of degree 𝑛 with real coefficients. It is not difficult to show that the leading coefficient of 𝑃 𝑛 ( 𝛼 , 𝛽 ) ( 𝑥 ) is 2 𝑛 𝑛 𝛼 + 𝛽 + 2 𝑛 . From (1.2), we have 𝑃 𝑛 ( 𝛼 , 𝛽 ) ( 1 ) = ( 𝑛 𝛼 + 𝑛 ) .

By (1.1), we get 𝑑 𝑑 𝑥 𝑘 𝑃 𝑛 ( 𝛼 , 𝛽 ) ( 𝑥 ) = 2 𝑘 Γ ( 𝑛 + 𝛼 + 𝛽 + 𝑘 + 1 ) 𝑃 Γ ( 𝑛 + 𝛼 + 𝛽 + 1 ) ( 𝛼 + 𝑘 , 𝛽 + 𝑘 ) 𝑛 𝑘 = 1 ( 𝑥 ) 2 𝑘 ( 𝑛 + 𝛼 + 𝛽 + 𝑘 ) ( 𝑛 + 𝛼 + 𝛽 + 𝑘 1 ) ( 𝑛 + 𝛼 + 𝛽 + 1 ) 𝑃 ( 𝛼 + 𝑘 , 𝛽 + 𝑘 ) 𝑛 𝑘 ( 𝑥 ) , ( 1 . 3 ) where 𝑘 is a positive integer (see [14]).

The Rodrigues' formula for 𝑃 𝑛 ( 𝛼 , 𝛽 ) ( 𝑥 ) is given by ( 1 𝑥 ) 𝛼 ( 1 + 𝑥 ) 𝛽 𝑃 𝑛 ( 𝛼 , 𝛽 ) ( 𝑥 ) = ( 1 ) 𝑛 2 𝑛 𝑑 𝑛 ! 𝑑 𝑥 𝑘 ( 1 𝑥 ) 𝑛 + 𝛼 ( 1 + 𝑥 ) 𝑛 + 𝛽 . ( 1 . 4 ) It is easy to show that 𝑢 = 𝑃 𝑛 ( 𝛼 , 𝛽 ) ( 𝑥 ) is a solution of the following differential equation: 1 𝑥 2 𝑢 + { 𝛽 𝛼 ( 𝛼 + 𝛽 + 2 ) 𝑥 } 𝑢 + 𝑛 ( 𝑛 + 𝛼 + 𝛽 + 1 ) 𝑢 = 0 . ( 1 . 5 ) As is well known, the generating function of 𝑃 𝑛 ( 𝛼 , 𝛽 ) ( 𝑥 ) is given by 𝐹 ( 𝑥 , 𝑡 ) = 𝑛 = 0 𝑃 𝑛 ( 𝛼 , 𝛽 ) ( 𝑥 ) 𝑡 𝑛 = 2 𝛼 + 𝛽 𝑅 ( 1 𝑡 + 𝑅 ) 𝛼 ( 1 + 𝑡 + 𝑅 ) 𝛽 , ( 1 . 6 ) where 𝑅 = 1 2 𝑥 𝑡 + 𝑡 2 , (see [14]).

From (1.3), (1.4), and (1.6), we can derive the following identity: 1 1 𝑃 𝑚 ( 𝛼 , 𝛽 ) ( 𝑥 ) 𝑃 𝑛 ( 𝛼 , 𝛽 ) ( 𝑥 ) ( 1 𝑥 ) 𝛼 ( 1 + 𝑥 ) 𝛽 = 2 𝑑 𝑥 𝛼 + 𝛽 + 1 Γ ( 𝑛 + 𝛼 + 1 ) Γ ( 𝑛 + 𝛽 + 1 ) 𝛿 ( 2 𝑛 + 𝛼 + 𝛽 + 1 ) Γ ( 𝑛 + 𝛼 + 𝛽 + 1 ) Γ ( 𝑛 + 1 ) 𝑛 , 𝑚 , ( 1 . 7 ) where 𝛿 𝑛 , 𝑚 is the Kronecker symbol.

Let 𝐏 𝑛 = { 𝑝 ( 𝑥 ) [ 𝑥 ] d e g 𝑝 ( 𝑥 ) 𝑛 } . Then 𝐏 𝑛 is an inner product space with respect to the inner product 𝑞 1 ( 𝑥 ) , 𝑞 2 ( 𝑥 ) = 1 1 ( 1 𝑥 ) 𝛼 ( 1 + 𝑥 ) 𝛽 𝑞 1 ( 𝑥 ) 𝑞 2 ( 𝑥 ) 𝑑 𝑥 , where 𝑞 1 ( 𝑥 ) , 𝑞 2 ( 𝑥 ) 𝐏 𝑛 . From (1.7), we note that { 𝑃 0 ( 𝛼 , 𝛽 ) ( 𝑥 ) , 𝑃 1 ( 𝛼 , 𝛽 ) ( 𝑥 ) , , 𝑃 𝑛 ( 𝛼 , 𝛽 ) ( 𝑥 ) } is an orthogonal basis for 𝐏 𝑛 .

The so-called Euler polynomials 𝐸 𝑛 ( 𝑥 ) may be defined by means of 2 𝑒 𝑡 𝑒 + 1 𝑥 𝑡 = 𝑒 𝐸 ( 𝑥 ) 𝑡 = 𝑛 = 0 𝐸 𝑛 ( 𝑡 𝑥 ) 𝑛 , 𝑛 ! ( 1 . 8 ) (see [522]), with the usual convention about replacing 𝐸 𝑛 ( 𝑥 ) by 𝐸 𝑛 ( 𝑥 ) . In the special case, 𝑥 = 0 , 𝐸 𝑛 ( 0 ) = 𝐸 𝑛 are called the Euler numbers.

The Bernoulli polynomials are also defined by the generating function to be 𝑡 𝑒 𝑡 𝑒 1 𝑥 𝑡 = 𝑒 𝐵 ( 𝑥 ) 𝑡 = 𝑛 = 0 𝐵 𝑛 ( 𝑡 𝑥 ) 𝑛 , 𝑛 ! ( 1 . 9 ) (see [1121]), with the usual convention about replacing 𝐵 𝑛 ( 𝑥 ) by 𝐵 𝑛 ( 𝑥 ) .

From (1.8) and (1.9), we note that 𝐵 𝑛 ( 𝑥 ) = 𝑛 𝑘 = 0 𝑛 𝑘 𝐵 𝑛 𝑘 𝑥 𝑘 , 𝐸 𝑛 ( 𝑥 ) = 𝑛 𝑘 = 0 𝑛 𝑘 𝐸 𝑛 𝑘 𝑥 𝑘 . ( 1 . 1 0 ) For 𝑛 + , we have 𝑑 𝐵 𝑛 ( 𝑥 ) 𝑑 𝑥 = 𝑛 𝐵 𝑛 1 ( 𝑥 ) , 𝑑 𝐸 𝑛 ( 𝑥 ) 𝑑 𝑥 = 𝑛 𝐸 𝑛 1 ( 𝑥 ) ( 1 . 1 1 ) (see [2329]) By the definition of Bernoulli and Euler polynomials, we get 𝐵 0 = 1 , 𝐵 𝑛 ( 1 ) 𝐵 𝑛 = 𝛿 1 , 𝑛 , 𝐸 0 = 1 , 𝐸 𝑛 ( 1 ) + 𝐸 𝑛 = 2 𝛿 0 , 𝑛 . ( 1 . 1 2 )

In this paper we give some interesting identities on the Bernoulli and the Hermite polynomials arising from the orthogonality of Jacobi polynomials in the inner product space 𝐏 𝑛 .

2. Bernoulli, Euler and Jacobi Polynomials

From (1.4), we have 𝑃 𝑛 ( 𝛼 , 𝛽 ) ( 𝑥 ) = 𝑛 𝑘 = 0 𝑘 𝑛 + 𝛼 𝑛 𝑘 𝑛 + 𝛽 𝑥 1 2 𝑘 𝑥 + 1 2 𝑛 𝑘 . ( 2 . 1 ) By (2.1), we have 𝑛 = 0 𝑃 𝑛 ( 𝛼 , 𝛽 ) ( 𝑥 ) 𝑡 𝑛 = 1 2 𝜋 𝑖 ( 1 + ( ( 𝑥 + 1 ) / 2 ) 𝑧 ) 𝑛 + 𝛼 ( 1 + ( ( 𝑥 1 ) / 2 ) 𝑧 ) 𝑛 + 𝛽 𝑧 𝑛 + 1 𝑑 𝑧 , ( 2 . 2 ) where we assume 𝑥 ± 1 and circle around 0 is taken so small that 2 ( 𝑥 ± 1 ) 1 lie neither on it nor in its interior. It is not so difficult to show that 𝑃 𝑛 ( 𝛼 , 𝛽 ) ( 𝑥 ) = ( 1 ) 𝑛 𝑃 𝑛 ( 𝛽 , 𝛼 ) ( 𝑥 ) .

For 𝑞 ( 𝑥 ) 𝐏 𝑛 , let 𝑞 ( 𝑥 ) = 𝑛 𝑘 = 0 𝐶 𝑘 𝑃 𝑘 ( 𝛼 , 𝛽 ) 𝐶 ( 𝑥 ) , 𝑘 . ( 2 . 3 ) From (1.7), we note that 𝑞 ( 𝑥 ) , 𝑃 𝑘 ( 𝛼 , 𝛽 ) ( 𝑥 ) = 𝐶 𝑘 𝑃 𝑘 ( 𝛼 , 𝛽 ) ( 𝑥 ) , 𝑃 𝑘 ( 𝛼 , 𝛽 ) ( 𝑥 ) = 𝐶 𝑘 1 1 ( 1 𝑥 ) 𝛼 ( 1 + 𝑥 ) 𝛽 𝑃 𝑘 ( 𝛼 , 𝛽 ) ( 𝑥 ) 2 𝑑 𝑥 = 𝐶 𝑘 2 𝛼 + 𝛽 + 1 Γ ( 𝑘 + 𝛼 + 1 ) Γ ( 𝑘 + 𝛽 + 1 ) . ( 2 𝑘 + 𝛼 + 𝛽 + 1 ) Γ ( 𝛼 + 𝛽 + 𝑘 + 1 ) 𝑘 ! ( 2 . 4 ) Thus, by (2.4), we get 𝐶 𝑘 = ( 2 𝑘 + 𝛼 + 𝛽 + 1 ) Γ ( 𝛼 + 𝛽 + 𝑘 + 1 ) 𝑘 ! 2 𝛼 + 𝛽 + 1 Γ ( 𝑘 + 𝛼 + 1 ) Γ ( 𝑘 + 𝛽 + 1 ) 1 1 ( 1 𝑥 ) 𝛼 ( 1 + 𝑥 ) 𝛽 𝑃 𝑘 ( 𝛼 , 𝛽 ) ( 𝑥 ) 𝑞 ( 𝑥 ) 𝑑 𝑥 . ( 2 . 5 ) Therefore, by (1.7), (2.3), and (2.5), we obtain the following proposition.

Proposition 2.1. For 𝑞 ( 𝑥 ) 𝐏 𝑛 ( 𝑛 ) , one has 𝑞 ( 𝑥 ) = 𝑛 𝑘 = 0 𝐶 𝑘 𝑃 𝑘 ( 𝛼 , 𝛽 ) ( 𝑥 ) , ( 2 . 6 ) where 𝐶 𝑘 = ( 1 ) 𝑘 ( 2 𝑘 + 𝛼 + 𝛽 + 1 ) Γ ( 𝑘 + 𝛼 + 𝛽 + 1 ) 2 𝛼 + 𝛽 + 1 + 𝑘 Γ ( 𝛼 + 𝑘 + 1 ) Γ ( 𝛽 + 𝑘 + 1 ) 1 1 𝑑 𝑘 𝑑 𝑥 𝑘 ( 1 𝑥 ) 𝑘 + 𝛼 ( 1 + 𝑥 ) 𝑘 + 𝛽 𝑞 ( 𝑥 ) 𝑑 𝑥 . ( 2 . 7 )

Let us take 𝑞 ( 𝑥 ) = 𝑥 𝑛 𝐏 𝑛 . First, we consider the following integral: 1 1 𝑑 𝑑 𝑥 𝑘 ( 1 𝑥 ) 𝑘 + 𝛼 ( 1 + 𝑥 ) 𝑘 + 𝛽 = 𝑞 ( 𝑥 ) 𝑑 𝑥 1 1 𝑑 𝑑 𝑥 𝑘 ( 1 𝑥 ) 𝑘 + 𝛼 ( 1 + 𝑥 ) 𝑘 + 𝛽 𝑥 𝑛 𝑑 𝑥 = ( 𝑛 ) 1 1 𝑑 𝑑 𝑥 𝑘 1 ( 1 𝑥 ) 𝑘 + 𝛼 ( 1 + 𝑥 ) 𝑘 + 𝛽 𝑥 𝑛 1 𝑑 𝑥 = = ( 1 ) 𝑘 𝑛 ! ( 𝑛 𝑘 ) ! 1 1 ( 1 𝑥 ) 𝑘 + 𝛼 ( 1 + 𝑥 ) 𝑘 + 𝛽 𝑥 𝑛 𝑘 = 𝑑 𝑥 ( 1 ) 𝑘 𝑛 ! 2 2 𝑘 + 𝛼 + 𝛽 + 1 ( 𝑛 𝑘 ) ! 1 0 𝑦 𝑘 + 𝛽 ( 1 𝑦 ) 𝑘 + 𝛼 ( 2 𝑦 1 ) 𝑛 𝑘 = ( 𝑑 𝑦 1 ) 𝑘 𝑛 ! 2 ( 𝑛 𝑘 ) ! 2 𝑘 + 𝛼 + 𝛽 + 1 𝑛 𝑘 𝑙 = 0 𝑙 2 𝑛 𝑘 𝑙 ( 1 ) 𝑛 𝑘 𝑙 = ( B ( 𝑘 + 𝑙 + 𝛽 + 1 , 𝑘 + 𝛼 + 1 ) 1 ) 𝑘 𝑛 ! 2 ( 𝑛 𝑘 ) ! 2 𝑘 + 𝛼 + 𝛽 + 1 𝑛 𝑘 𝑙 = 0 𝑙 2 𝑛 𝑘 𝑙 ( 1 ) 𝑛 𝑘 𝑙 Γ ( 𝑘 + 𝑙 + 𝛽 + 1 ) Γ ( 𝑘 + 𝛼 + 1 ) . Γ ( 2 𝑘 + 𝛼 + 𝛽 + 𝑙 + 2 ) ( 2 . 8 ) From (2.5) and (16), we have 𝐶 𝑘 = ( 1 ) 𝑘 ( 2 𝑘 + 𝛼 + 𝛽 + 1 ) Γ ( 𝑘 + 𝛼 + 𝛽 + 1 ) 2 𝛼 + 𝛽 + 1 + 𝑘 × Γ ( 𝛼 + 𝑘 + 1 ) Γ ( 𝛽 + 𝑘 + 1 ) 1 1 𝑑 𝑑 𝑥 𝑘 ( 1 𝑥 ) 𝑘 + 𝛼 ( 1 + 𝑥 ) 𝑘 + 𝛽 𝑥 𝑛 = 𝑑 𝑥 ( 1 ) 𝑘 ( 2 𝑘 + 𝛼 + 𝛽 + 1 ) Γ ( 𝑘 + 𝛼 + 𝛽 + 1 ) 2 𝛼 + 𝛽 + 1 + 𝑘 Γ ( 𝛼 + 𝑘 + 1 ) Γ ( 𝛽 + 𝑘 + 1 ) ( 1 ) 𝑘 𝑛 ! 2 2 𝑘 + 𝛼 + 𝛽 + 1 × ( 𝑛 𝑘 ) ! 𝑛 𝑘 𝑙 = 0 𝑙 2 𝑛 𝑘 𝑙 ( 1 ) 𝑛 𝑘 𝑙 Γ ( 𝑘 + 𝑙 + 𝛽 + 1 ) Γ ( 𝑘 + 𝛼 + 1 ) = Γ ( 2 𝑘 + 𝛼 + 𝛽 + 𝑙 + 2 ) ( 2 𝑘 + 𝛼 + 𝛽 + 1 ) Γ ( 𝑘 + 𝛼 + 𝛽 + 1 ) 𝑛 ! 2 𝑘 Γ ( 𝛽 + 𝑘 + 1 ) ( 𝑛 𝑘 ) ! 𝑛 𝑘 𝑙 = 0 ( 1 ) 𝑛 𝑘 𝑙 𝑙 𝑛 𝑘 2 𝑙 Γ ( 𝑘 + 𝑙 + 𝛽 + 1 ) . Γ ( 2 𝑘 + 𝛼 + 𝛽 + 𝑙 + 2 ) ( 2 . 9 ) By Proposition 2.1, we get 𝑥 𝑛 = 𝑛 ! 𝑛 𝑘 = 0 𝑛 𝑘 𝑙 = 0 ( 2 𝑘 + 𝛼 + 𝛽 + 1 ) Γ ( 𝑘 + 𝛼 + 𝛽 + 1 ) Γ 2 ( 𝑘 + 𝛽 + 1 ) ( 𝑛 𝑘 ) ! 𝑘 × ( 1 ) 𝑛 𝑘 𝑙 𝑙 𝑛 𝑘 2 𝑙 Γ ( 𝑘 + 𝑙 + 𝛽 + 1 ) 𝑃 Γ ( 2 𝑘 + 𝛼 + 𝛽 + 𝑙 + 2 ) 𝑘 ( 𝛼 , 𝛽 ) ( 𝑥 ) . ( 2 . 1 0 ) From (1.9), we have 𝑒 𝑥 𝑡 = 1 𝑡 𝑡 𝑒 𝑡 𝑒 1 𝑥 𝑡 𝑒 𝑡 = 1 𝑛 = 0 𝐵 𝑛 + 1 ( 𝑥 + 1 ) 𝐵 𝑛 + 1 ( 𝑥 ) 𝑡 𝑛 + 1 𝑛 . 𝑛 ! ( 2 . 1 1 ) By (2.11), we get 𝑥 𝑛 = 𝐵 𝑛 + 1 ( 𝑥 + 1 ) 𝐵 𝑛 + 1 ( 𝑥 ) , 𝑛 + 1 𝑛 + . ( 2 . 1 2 ) Therefore, by (2.10) and (2.12), we obtain the following theorem.

Theorem 2.2. For 𝑛 + , one has 1 𝐵 ( 𝑛 + 1 ) ! 𝑛 + 1 ( 𝑥 + 1 ) 𝐵 𝑛 + 1 = ( 𝑥 ) 𝑛 𝑘 = 0 𝑛 𝑘 𝑙 = 0 ( 1 ) 𝑛 𝑘 𝑙 2 𝑘 + 𝑙 ( 2 𝑘 + 𝛼 + 𝛽 + 1 ) 𝑙 𝑛 𝑘 Γ 𝑃 ( 𝑘 + 𝛽 + 1 ) Γ ( 2 𝑘 + 𝛼 + 𝛽 + 𝑙 + 2 ) ( 𝑛 𝑘 ) ! × Γ ( 𝑘 + 𝛼 + 𝛽 + 1 ) Γ ( 𝑘 + 𝑙 + 𝛽 + 1 ) 𝑘 ( 𝛼 , 𝛽 ) ( 𝑥 ) . ( 2 . 1 3 )

Let us take 𝑞 ( 𝑥 ) = 𝐵 𝑛 ( 𝑥 ) 𝐏 𝑛 . Then we evaluate the following integral: 1 1 𝑑 𝑑 𝑥 𝑘 ( 1 𝑥 ) 𝑘 + 𝛼 ( 1 + 𝑥 ) 𝑘 + 𝛽 𝐵 𝑛 = ( 𝑥 ) 𝑑 𝑥 𝑛 𝑙 = 𝑘 𝑛 𝑙 𝐵 𝑛 𝑙 ( 1 ) 𝑘 𝑙 ! 2 ( 𝑙 𝑘 ) ! 2 𝑘 + 𝛼 + 𝛽 + 1 1 0 𝑦 𝑘 + 𝛽 ( 1 𝑦 ) 𝑘 + 𝛼 ( 2 𝑦 1 ) 𝑙 𝑘 = 𝑑 𝑦 𝑛 𝑙 = 𝑘 𝑛 𝑙 𝐵 𝑛 𝑙 ( 1 ) 𝑘 𝑙 ! ( 2 𝑙 𝑘 ) ! 2 𝑘 + 𝛼 + 𝛽 + 1 𝑙 𝑘 𝑚 = 0 𝑚 2 𝑙 𝑘 𝑚 ( 1 ) 𝑙 𝑘 𝑚 × Γ ( 𝑘 + 𝑚 + 𝛽 + 1 ) Γ ( 𝑘 + 𝛼 + 1 ) = Γ ( 2 𝑘 + 𝛼 + 𝛽 + 𝑚 + 2 ) 𝑛 𝑙 = 𝑘 𝑙 𝑘 𝑚 = 0 ( 𝑛 𝑙 ) 𝐵 𝑛 𝑙 ( 1 ) 𝑙 𝑚 𝑙 ! 2 2 𝑘 + 𝛼 + 𝛽 + 1 𝑚 𝑙 𝑘 2 𝑚 Γ ( 𝑘 + 𝑚 + 𝛽 + 1 ) Γ ( 𝑘 + 𝛼 + 1 ) . ( 𝑙 𝑘 ) ! Γ ( 2 𝑘 + 𝛼 + 𝛽 + 𝑚 + 2 ) ( 2 . 1 4 ) Finding (2.5) and (21), we have 𝐶 𝑘 = ( 1 ) 𝑘 ( 2 𝑘 + 𝛼 + 𝛽 + 1 ) Γ ( 𝛼 + 𝛽 + 𝑘 + 1 ) 2 𝛼 + 𝛽 + 𝑘 + 1 × Γ ( 𝛼 + 𝑘 + 1 ) Γ ( 𝛽 + 𝑘 + 1 ) 1 1 𝑑 𝑘 𝑑 𝑥 𝑘 ( 1 𝑥 ) 𝑘 + 𝛼 ( 1 + 𝑥 ) 𝑘 + 𝛽 𝐵 𝑛 = ( 𝑥 ) 𝑑 𝑥 𝑛 𝑙 = 𝑘 𝑙 𝑘 𝑚 = 0 2 𝑘 + 𝑚 ( 𝑛 𝑙 ) 𝐵 𝑛 𝑙 ( 1 ) 𝑙 𝑚 𝑘 𝑙 ! ( 2 𝑘 + 𝛼 + 𝛽 + 1 ) 𝑚 𝑙 𝑘 Γ ( 𝛽 + 𝑘 + 1 ) ( 𝑙 𝑘 ) ! Γ ( 2 𝑘 + 𝛼 + 𝛽 + 𝑚 + 2 ) × Γ ( 𝑘 + 𝑚 + 𝛽 + 1 ) Γ ( 𝑘 + 𝛼 + 𝛽 + 1 ) . ( 2 . 1 5 )

Theorem 2.3. For 𝑛 + , one has 𝐵 𝑛 ( 𝑥 ) = 𝑛 𝑘 = 0 𝑛 𝑙 = 𝑘 𝑙 𝑘 𝑚 = 0 2 𝑘 + 𝑚 ( 𝑛 𝑙 ) 𝐵 𝑛 𝑙 ( 1 ) 𝑙 𝑚 𝑘 𝑙 ! ( 2 𝑘 + 𝛼 + 𝛽 + 1 ) 𝑚 𝑙 𝑘 Γ 𝑃 ( 𝛽 + 𝑘 + 1 ) ( 𝑙 𝑘 ) ! Γ ( 2 𝑘 + 𝛼 + 𝛽 + 𝑚 + 2 ) × Γ ( 𝑘 + 𝑚 + 𝛽 + 1 ) Γ ( 𝑘 + 𝛼 + 𝛽 + 1 ) 𝑘 ( 𝛼 , 𝛽 ) ( 𝑥 ) . ( 2 . 1 6 )

Let 𝑞 ( 𝑥 ) = 𝑃 𝑛 ( 𝛼 , 𝛽 ) ( 𝑥 ) 𝐏 𝑛 . From Proposition 2.1, we firstly evaluate the following integral: 1 1 𝑑 𝑑 𝑥 𝑘 ( 1 𝑥 ) 𝑘 + 𝛼 ( 1 + 𝑥 ) 𝑘 + 𝛽 𝑃 𝑛 ( 𝛼 , 𝛽 ) ( 𝑥 ) 𝑑 𝑥 = ( 1 ) 𝑘 1 2 𝑘 Γ ( 𝑛 + 𝛼 + 𝛽 + 𝑘 + 1 ) Γ ( 𝑛 + 𝛼 + 𝛽 + 1 ) 1 1 ( 1 𝑥 ) 𝑘 + 𝛼 ( 1 + 𝑥 ) 𝑘 + 𝛽 𝑃 ( 𝛼 + 𝑘 , 𝛽 + 𝑘 ) 𝑛 𝑘 ( 𝑥 ) 𝑑 𝑥 . ( 2 . 1 7 )

By (2.1) and (2.17), we get 1 1 𝑑 𝑑 𝑥 𝑘 ( 1 𝑥 ) 𝑘 + 𝛼 ( 1 + 𝑥 ) 𝑘 + 𝛽 𝑃 𝑛 ( 𝛼 , 𝛽 ) = ( 𝑥 ) 𝑑 𝑥 ( 1 ) 𝑘 2 𝑘 Γ ( 𝑛 + 𝛼 + 𝛽 + 𝑘 + 1 ) Γ ( 𝑛 + 𝛼 + 𝛽 + 1 ) 𝑛 𝑘 𝑙 = 0 𝑙 × 𝑛 + 𝛼 𝑛 𝑘 𝑙 𝑛 + 𝛽 1 1 ( 1 𝑥 ) 𝑘 + 𝛼 ( 1 + 𝑥 ) 𝑘 + 𝛽 𝑥 1 2 𝑙 𝑥 + 1 2 𝑛 𝑘 𝑙 = 𝑑 𝑥 ( 1 ) 𝑘 2 𝑘 Γ ( 𝑛 + 𝛼 + 𝛽 + 𝑘 + 1 ) Γ ( 𝑛 + 𝛼 + 𝛽 + 1 ) 𝑛 𝑘 𝑙 = 0 𝑙 𝑛 + 𝛼 𝑛 𝑘 𝑙 𝑛 + 𝛽 ( 1 ) 𝑙 2 2 𝑘 + 𝛼 + 𝛽 + 1 × 1 0 ( 1 𝑦 ) 𝑘 + 𝛼 + 𝑙 𝑦 𝑛 + 𝛽 𝑙 𝑑 𝑦 = ( 1 ) 𝑘 2 𝛼 + 𝛽 + 𝑘 + 1 Γ ( 𝑛 + 𝛼 + 𝛽 + 𝑘 + 1 ) Γ ( 𝑛 + 𝛼 + 𝛽 + 1 ) 𝑛 𝑘 𝑙 = 0 𝑙 𝑛 + 𝛼 𝑛 𝑘 𝑙 𝑛 + 𝛽 ( 1 ) 𝑙 × 𝐵 ( 𝑘 + 𝛼 + 𝑙 + 1 , 𝑛 + 𝛽 𝑙 + 1 ) = ( 1 ) 𝑘 2 𝛼 + 𝛽 + 𝑘 + 1 Γ ( 𝑛 + 𝛼 + 𝛽 + 𝑘 + 1 ) Γ ( 𝑛 + 𝛼 + 𝛽 + 1 ) 𝑛 𝑘 𝑙 = 0 𝑙 𝑛 + 𝛼 𝑛 𝑘 𝑙 𝑛 + 𝛽 ( 1 ) 𝑙 × Γ ( 𝛼 + 𝑘 + 𝑙 + 1 ) Γ ( 𝑛 + 𝛽 𝑙 + 1 ) Γ ( 𝛼 + 𝛽 + 𝑘 + 𝑛 + 2 ) = ( 1 ) 𝑘 2 𝛼 + 𝛽 + 𝑘 + 1 1 Γ ( 𝑛 + 𝛼 + 𝛽 + 1 ) 𝑛 𝑘 𝑙 = 0 𝑙 𝑛 + 𝛼 𝑛 𝑘 𝑙 𝑛 + 𝛽 ( 1 ) 𝑙 × Γ ( 𝛼 + 𝑘 + 𝑙 + 1 ) Γ ( 𝑛 + 𝛽 𝑙 + 1 ) . ( 𝛼 + 𝛽 + 𝑘 + 𝑛 + 1 ) ( 2 . 1 8 ) It is easy to show that Γ ( 𝑛 + 𝛽 𝑙 + 1 ) = Γ ( 𝛽 + 𝑘 + 1 ) ( 𝑛 + 𝛽 𝑙 ) 𝛽 Γ ( 𝛽 ) = ( 𝛽 + 𝑘 ) 𝛽 Γ ( 𝛽 ) = ( 𝑛 + 𝛽 𝑙 ) ( 𝛽 + 𝑘 + 1 ) 𝑛 + 𝛽 𝑙 𝑛 𝑘 𝑙 ( 𝑛 𝑘 𝑙 ) ! . ( 2 . 1 9 ) From (2.5), (2.18), and (2.19), we can derive the following equation: 𝐶 𝑘 = ( 1 ) 𝑘 ( 2 𝑘 + 𝛼 + 𝛽 + 1 ) Γ ( 𝑘 + 𝛼 + 𝛽 + 1 ) 2 𝛼 + 𝛽 + 𝑘 + 1 × Γ ( 𝛼 + 𝑘 + 1 ) Γ ( 𝛽 + 𝑘 + 1 ) 1 1 𝑑 𝑑 𝑥 𝑘 ( 1 𝑥 ) 𝑘 + 𝛼 ( 1 + 𝑥 ) 𝑘 + 𝛽 𝑃 𝑛 ( 𝛼 , 𝛽 ) = ( 𝑥 ) 𝑑 𝑥 ( 2 𝑘 + 𝛼 + 𝛽 + 1 ) Γ ( 𝛼 + 𝛽 + 𝑘 + 1 ) Γ ( 𝛽 + 𝑘 + 1 ) Γ ( 𝑛 + 𝛼 + 𝛽 + 1 ) 𝑛 𝑘 𝑙 = 0 𝑙 𝑙 𝑛 + 𝛼 𝑛 𝑘 𝑙 𝑛 + 𝛽 𝛼 + 𝑘 + 𝑙 × 𝑙 ! ( 1 ) 𝑙 Γ ( 𝑛 + 𝛽 𝑙 + 1 ) ( 𝛼 + 𝛽 + 𝑘 + 𝑛 + 1 ) = ( 2 𝑘 + 𝛼 + 𝛽 + 1 ) Γ ( 𝛼 + 𝛽 + 𝑘 + 1 ) 𝑛 𝑘 𝑙 = 0 𝑙 × 𝑛 + 𝛼 𝑛 𝑘 𝑙 𝑛 + 𝛽 𝑛 + 𝛽 𝑙 𝑛 𝑘 𝑙 ( 𝑛 𝑘 𝑙 ) ! 𝑙 ! 𝛼 + 𝛽 + 𝑘 + 𝑛 + 1 ( 1 ) 𝑙 . ( 2 . 2 0 ) Therefore, by Proposition 2.1, we obtain the following theorem.

Theorem 2.4. For ( 𝑛 + ) , one has Γ ( 𝑛 + 𝛼 + 𝛽 + 1 ) 𝑃 𝑛 ( 𝛼 , 𝛽 ) ( 𝑥 ) = Γ ( 𝛼 + 𝛽 + 1 ) 𝑛 𝑘 = 0 𝑛 𝑘 𝑙 = 0 𝑘 × 𝑙 𝑙 ( 2 𝑘 + 𝛼 + 𝛽 + 1 ) 𝛼 + 𝛽 + 𝑘 𝑛 + 𝛼 𝑛 𝑘 𝑙 𝑛 + 𝛽 𝛼 + 𝑘 + 𝑙 𝑛 + 𝛽 𝑙 𝑛 𝑘 𝑙 ( 1 ) 𝑙 ( 𝑛 𝑘 𝑙 ) ! 𝑘 ! 𝑙 ! 𝑃 𝛼 + 𝛽 + 𝑛 + 𝑘 + 1 𝑘 ( 𝛼 , 𝛽 ) ( 𝑥 ) . ( 2 . 2 1 )

Let 𝐻 𝑛 ( 𝑥 ) be the Hermite polynomial with 𝐻 𝑛 ( 𝑥 ) = 𝑞 ( 𝑥 ) = 𝑛 𝑘 = 0 𝐶 𝑘 𝑃 𝑘 ( 𝛼 , 𝛽 ) ( 𝑥 ) , ( 2 . 2 2 ) where 𝐶 𝑘 = ( 1 ) 𝑘 ( 2 𝑘 + 𝛼 + 𝛽 + 1 ) Γ ( 𝑘 + 𝛼 + 𝛽 + 1 ) 2 𝛼 + 𝛽 + 𝑘 + 1 × Γ ( 𝛼 + 𝑘 + 1 ) Γ ( 𝛽 + 𝑘 + 1 ) 1 1 𝑑 𝑑 𝑥 𝑘 ( 1 𝑥 ) 𝑘 + 𝛼 ( 1 + 𝑥 ) 𝑘 + 𝛽 𝐻 𝑛 ( 𝑥 ) 𝑑 𝑥 . ( 2 . 2 3 ) Integrating by parts, one has 1 1 𝑑 𝑑 𝑥 𝑘 ( 1 𝑥 ) 𝑘 + 𝛼 ( 1 + 𝑥 ) 𝑘 + 𝛽 𝐻 𝑛 = 2 ( 𝑥 ) 𝑑 𝑥 𝑘 ( 1 ) 𝑘 𝑛 ! ( 𝑛 𝑘 ) ! 1 1 ( 1 𝑥 ) 𝑘 + 𝛼 ( 1 + 𝑥 ) 𝑘 + 𝛽 𝐻 𝑛 𝑘 = 2 ( 𝑥 ) 𝑑 𝑥 𝑘 ( 1 ) 𝑘 𝑛 ! ( 𝑛 𝑘 ) ! 𝑛 𝑘 𝑙 = 0 𝑙 𝐻 𝑛 𝑘 𝑛 𝑘 𝑙 2 𝑙 1 1 ( 1 𝑥 ) 𝑘 + 𝛼 ( 1 + 𝑥 ) 𝑘 + 𝛽 𝑥 𝑙 = 2 𝑑 𝑥 𝑘 ( 1 ) 𝑘 𝑛 ! ( 𝑛 𝑘 ) ! 𝑛 𝑘 𝑙 = 0 𝑙 𝐻 𝑛 𝑘 𝑛 𝑘 𝑙 2 𝑙 2 𝑘 + 𝛼 + 𝛽 + 𝑙 + 1 𝑚 = 0 𝑙 𝑚 ( 1 ) 𝑙 𝑚 2 𝑚 × 1 0 ( 1 𝑦 ) 𝑘 + 𝛼 𝑦 𝑘 + 𝛽 + 𝑚 = 2 𝑑 𝑦 𝑘 ( 1 ) 𝑘 𝑛 ! ( 𝑛 𝑘 ) ! 𝑛 𝑘 𝑙 𝑙 = 0 𝑚 = 0 𝑙 𝑙 𝑚 𝐻 𝑛 𝑘 𝑛 𝑘 𝑙 ( 1 ) 𝑙 𝑚 2 2 𝑘 + 𝛼 + 𝛽 + 𝑚 + 𝑙 + 1 × Γ ( 𝑘 + 𝛼 + 1 ) Γ ( 𝛽 + 𝑘 + 𝑚 + 1 ) Γ . ( 2 𝑘 + 𝛼 + 𝛽 + 𝑚 + 2 ) ( 2 . 2 4 ) By (2.23) and (29), we get 𝐶 𝑘 = 𝑛 𝑘 𝑙 𝑙 = 0 𝑚 = 0 𝑙 𝑛 𝑘 𝑙 𝑚 𝐻 𝑛 𝑘 𝑙 ( 1 ) 𝑙 𝑚 ( 2 𝑘 + 𝛼 + 𝛽 + 1 ) 𝑘 𝛼 + 𝛽 + 𝑘 𝑘 ! ( 𝛼 + 𝛽 + 1 ) 2 𝑘 + 𝛼 + 𝛽 + 𝑚 + 1 𝑚 + 2 𝑘 ( 𝑚 + 2 𝑘 ) ! ( 𝑛 𝑘 ) ! × 2 2 𝑘 + 𝑚 + 𝑙 𝑚 𝑛 ! 𝛽 + 𝑘 + 𝑚 𝑚 ! . ( 2 . 2 5 ) Therefore, by (2.22) and (2.25), we obtain the following theorem.

Theorem 2.5. For 𝑛 + , one has ( 𝛼 + 𝛽 + 1 ) 𝐻 𝑛 ( 𝑥 ) = 𝑛 ! 𝑛 𝑘 = 0 𝑛 𝑘 𝑙 𝑙 = 0 𝑚 = 0 𝑙 𝑛 𝑘 𝑙 𝑚 𝐻 𝑛 𝑘 𝑙 ( 1 ) 𝑙 𝑚 ( 2 𝑘 + 𝛼 + 𝛽 + 1 ) 2 𝑘 + 𝛼 + 𝛽 + 𝑚 + 1 𝑚 + 2 𝑘 ( × 𝑘 𝑚 + 2 𝑘 ) ! ( 𝑛 𝑘 ) ! 𝛼 + 𝛽 + 𝑘 𝑘 ! 2 2 𝑘 + 𝑚 + 𝑙 𝑚 𝑃 𝛽 + 𝑘 + 𝑚 𝑚 ! 𝑘 ( 𝛼 , 𝛽 ) ( 𝑥 ) , ( 2 . 2 6 ) where 𝐻 𝑛 is the 𝑛 th Hermite number.

Remark 2.6. By the same method as Theorem 2.3, we get 1 𝐸 2 𝑛 ! 𝑛 ( 𝑥 + 1 ) + 𝐸 𝑛 = ( 𝑥 ) 𝑛 𝑘 = 0 𝑛 𝑘 𝑙 = 0 2 𝑘 + 𝑙 ( 2 𝑘 + 𝛼 + 𝛽 + 1 ) 𝑙 𝑛 𝑘 ( 1 ) 𝑛 𝑘 𝑙 Γ 𝑃 ( 𝑘 + 𝛽 + 1 ) Γ ( 2 𝑘 + 𝛼 + 𝛽 + 𝑙 + 2 ) ( 𝑛 𝑘 ) ! × Γ ( 𝑘 + 𝛼 + 𝛽 + 1 ) Γ ( 𝑘 + 𝑙 + 𝛽 + 1 ) 𝑘 ( 𝛼 , 𝛽 ) ( 𝑥 ) . ( 2 . 2 7 )

Acknowledgments

This research was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology 2012R1A1A2003786.

References

  1. L. Carlitz, “The generating function for the Jacobi polynomial,” Rendiconti del Seminario Matematico della Università di Padova, vol. 38, pp. 86–88, 1967. View at Zentralblatt MATH
  2. L. Carlitz, “An integral formula for the Jacobi polynomial,” Bollettino dell'Unione Matematica Italiana, vol. 17, no. 3, pp. 273–275, 1962. View at Zentralblatt MATH
  3. L. Carlitz, “Some generating functions for the Jacobi polynomials,” Bollettino dell'Unione Matematica Italiana, vol. 16, no. 2, pp. 150–155, 1961. View at Zentralblatt MATH
  4. L. Carlitz, “On Laguerre and Jacobi polynomials,” Bollettino dell'Unione Matematica Italiana, vol. 12, no. 1, pp. 34–40, 1957. View at Zentralblatt MATH
  5. T. Kim, “On the weighted q-Bernoulli numbers and polynomials,” Advanced Studies in Contemporary Mathematics, vol. 21, no. 2, pp. 207–215, 2011.
  6. T. Kim, “An identity of the symmetry for the Frobenius-Euler polynomials associated with the Fermionic p-adic invariant q-integrals on p,” The Rocky Mountain Journal of Mathematics, vol. 41, no. 1, pp. 239–247, 2011. View at Publisher · View at Google Scholar
  7. T. Kim, “Some identities on the q-Euler polynomials of higher order and q-Stirling numbers by the fermionic p-adic integral on p,” Russian Journal of Mathematical Physics, vol. 16, no. 4, pp. 484–491, 2009. View at Publisher · View at Google Scholar
  8. T. Kim, “Symmetry of power sum polynomials and multivariate fermionic p-adic invariant integral on p,” Russian Journal of Mathematical Physics, vol. 16, no. 1, pp. 93–96, 2009. View at Publisher · View at Google Scholar
  9. T. Kim, “On Euler-Barnes multiple zeta functions,” Russian Journal of Mathematical Physics, vol. 10, no. 3, pp. 261–267, 2003. View at Zentralblatt MATH
  10. T. Kim, “q-Volkenborn integration,” Russian Journal of Mathematical Physics, vol. 9, no. 3, pp. 288–299, 2002. View at Zentralblatt MATH
  11. H. Ozden, I. N. Cangul, and Y. Simsek, “Remarks on q-Bernoulli numbers associated with Daehee numbers,” Advanced Studies in Contemporary Mathematics, vol. 18, no. 1, pp. 41–48, 2009.
  12. H. Ozden, I. N. Cangul, and Y. Simsek, “Multivariate interpolation functions of higher-order q-Euler numbers and their applications,” Abstract and Applied Analysis, vol. 2008, Article ID 390857, 16 pages, 2008. View at Publisher · View at Google Scholar
  13. C. S. Ryoo, “A note on the Frobenius-Euler polynomials,” Proceedings of the Jangjeon Mathematical Society, vol. 14, no. 4, pp. 495–501, 2011.
  14. C. S. Ryoo, “Some identities of the twisted q-Euler numbers and polynomials associated with q-Bernstein polynomials,” Proceedings of the Jangjeon Mathematical Society, vol. 14, no. 2, pp. 239–248, 2011.
  15. C. S. Ryoo, “On the generalized Barnes type multiple q-Euler polynomials twisted by ramified roots of unity,” Proceedings of the Jangjeon Mathematical Society, vol. 13, no. 2, pp. 255–263, 2010.
  16. S.-H. Rim and S.-J. Lee, “Some identities on the twisted (h,q)-Genocchi numbers and polynomials associated with q-Bernstein polynomials,” International Journal of Mathematics and Mathematical Sciences, vol. 2011, Article ID 482840, 8 pages, 2011. View at Publisher · View at Google Scholar
  17. S.-H. Rim, E.-J. Moon, J.-H. Jin, and S.-J. Lee, “On the symmetric properties for the generalized Genocchi polynomials,” Journal of Computational Analysis and Applications, vol. 13, no. 7, pp. 1240–1245, 2011.
  18. S.-H. Rim, J.-H. Jin, E.-J. Moon, and S.-J. Lee, “Some identities on the q-Genocchi polynomials of higher-order and q-Stirling numbers by the fermionic p-adic integral on p,” International Journal of Mathematics and Mathematical Sciences, vol. 2010, Article ID 860280, 14 pages, 2010. View at Publisher · View at Google Scholar
  19. Y. Simsek, “Generating functions of the twisted Bernoulli numbers and polynomials associated with their interpolation functions,” Advanced Studies in Contemporary Mathematics, vol. 16, no. 2, pp. 251–278, 2008. View at Zentralblatt MATH
  20. Y. Simsek, “Special functions related to Dedekind-type DC-sums and their applications,” Russian Journal of Mathematical Physics, vol. 17, no. 4, pp. 495–508, 2010. View at Publisher · View at Google Scholar
  21. Y. Simsek and M. Acikgoz, “A new generating function of (q-) Bernstein-type polynomials and their interpolation function,” Abstract and Applied Analysis, vol. 2010, Article ID 769095, 12 pages, 2010. View at Publisher · View at Google Scholar
  22. Z. Zhang and H. Yang, “Some closed formulas for generalized Bernoulli-Euler numbers and polynomials,” Proceedings of the Jangjeon Mathematical Society, vol. 11, no. 2, pp. 191–198, 2008. View at Zentralblatt MATH
  23. W. A. Al-Salam and L. Carlitz, “Finite summation formulas and congruences for Legendre and Jacobi polynomials,” vol. 62, pp. 108–118, 1958. View at Zentralblatt MATH
  24. L. N. Karmazina, Tables of Jacobi Polynomials, Izdat. Akademii Nauk SSSR, Moscow, Russia, 1954.
  25. A. Bayad, “Modular properties of elliptic Bernoulli and Euler functions,” Advanced Studies in Contemporary Mathematics, vol. 20, no. 3, pp. 389–401, 2010.
  26. A. Bayad and T. Kim, “Identities for the Bernoulli, the Euler and the Genocchi numbers and polynomials,” Advanced Studies in Contemporary Mathematics, vol. 20, no. 2, pp. 247–253, 2010. View at Zentralblatt MATH
  27. A. Bayad and T. Kim, “Identities involving values of Bernstein, q-Bernoulli, and q-Euler polynomials,” Russian Journal of Mathematical Physics, vol. 18, no. 2, pp. 133–143, 2011. View at Publisher · View at Google Scholar
  28. I. N. Cangul, V. Kurt, H. Ozden, and Y. Simsek, “On the higher-order w-q-Genocchi numbers,” Advanced Studies in Contemporary Mathematics, vol. 19, no. 1, pp. 39–57, 2009.
  29. M. Can, M. Cenkci, V. Kurt, and Y. Simsek, “Twisted Dedekind type sums associated with Barnes' type multiple Frobenius-Euler l-functions,” Advanced Studies in Contemporary Mathematics, vol. 18, no. 2, pp. 135–160, 2009.