Hindawi Publishing Corporation Discrete Dynamics in Nature and Society Volume 2012, Article ID 584643, 11 pages doi:10.1155/2012/584643 Research Article Some Identities on Bernoulli and Hermite Polynomials Associated with Jacobi Polynomials Taekyun Kim,1 Dae San Kim,2 and Dmitry V. Dolgy3 1 Department of Mathematics, Kwangwoon University, Seoul 139-701, Republic of Korea Department of Mathematics, Sogang University, Seoul, Republic of Korea 3 Hanrimwon, Kwangwoon University, Seoul 139-701, Republic of Korea 2 Correspondence should be addressed to Dae San Kim, dskim@sogong.ac.kr Received 17 July 2012; Accepted 9 August 2012 Academic Editor: Josef Diblı́k Copyright q 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. 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 α, β ∈ R with α > −1 and β > −1, the Jacobi polynomials Pn α,β Pn x are defined as α 1n 1−x 2F1 −n, 1 α β n; α 1; n! 2 n n 1 α β n α 1n x−1 k k k , n! k0 2 α 1k x 1.1 see 1–4, where αn αα 1 · · · α n − 1 Γα n/Γα. From 1.1, we note that α,β Pn x n nk Γ α β n k 1 x − 1 k Γα 1 n . Γα k 1 2 n!Γ α β n 1 k0 1.2 2 Discrete Dynamics in Nature and Society α,β By 1.2, we see that Pn x is polynomial of degree n with real coefficients. It is not difficult α,β α,β to show that the leading coefficient of Pn x is 2−n αβ2n . From 1.2, we have Pn 1 n αn n . By 1.1, we get d dx k α,β Pn x −k 2 Γ n α β k 1 αk,βk Pn−k x Γ nαβ1 αk,βk 1 k n α β k n α β k − 1 · · · n α β 1 Pn−k x, 2 1.3 where k is a positive integer see 1–4. α,β The Rodrigues’ formula for Pn x is given by α,β 1 − xα 1 xβ Pn α,β It is easy to show that u Pn x −1n 2n n! d dx k 1 − xnα 1 xnβ . x is a solution of the following differential equation: 1 − x2 u β − α − α β 2 x u n n α β 1 u 0. α,β As is well known, the generating function of Pn ∞ α,β Pn xtn Fx, t 1.4 n0 1.5 x is given by 2αβ R1 − t Rα 1 t Rβ , 1.6 √ where R 1 − 2xt t2 , see 1–4. From 1.3, 1.4, and 1.6, we can derive the following identity: 1 α,β −1 Pm α,β xPn x1 − xα 1 xβ dx 2αβ1 Γn α 1Γ n β 1 δn,m , 2n α β 1 Γ n α β 1 Γn 1 1.7 where δn,m is the Kronecker symbol. Let Pn {px ∈ Rx | deg px ≤ n}. Then Pn is an inner product space with respect 1 to the inner product q1 x, q2 x −1 1 − xα 1 xβ q1 xq2 xdx, where q1 x, q2 x ∈ α,β α,β α,β Pn . From 1.7, we note that {P0 x, P1 x, . . . , Pn x} is an orthogonal basis for Pn . The so-called Euler polynomials En x may be defined by means of ∞ tn 2 xt Ext , e e E x n n! et 1 n0 1.8 Discrete Dynamics in Nature and Society 3 see 5–22, with the usual convention about replacing En x by En x. In the special case, x 0, En 0 En are called the Euler numbers. The Bernoulli polynomials are also defined by the generating function to be ∞ tn t xt Bxt , e e B x n n! et − 1 n0 1.9 see 11–21, with the usual convention about replacing Bn x by Bn x. From 1.8 and 1.9, we note that Bn x n n k0 k En x Bn−k xk , n n k0 k En−k xk . 1.10 For n ∈ Z , we have dBn x nBn−1 x, dx dEn x nEn−1 x dx 1.11 see 23–29 By the definition of Bernoulli and Euler polynomials, we get B0 1, Bn 1 − Bn δ1,n , E0 1, En 1 En 2δ0,n . 1.12 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 Pn . 2. Bernoulli, Euler and Jacobi Polynomials From 1.4, we have α,β Pn x n x − 1 k x 1 n−k nα nβ k0 n−k k 2 2 . 2.1 By 2.1, we have ∞ n0 α,β Pn xtn 1 2πi 1 x 1/2znα 1 x − 1/2znβ dz, zn1 2.2 where we assume x / ± 1 and circle around 0 is taken so small that −2x ± 1−1 lie neither on α,β β,α it nor in its interior. It is not so difficult to show that Pn −x −1n Pn x. For qx ∈ Pn , let qx n α,β Ck Pk x, k0 Ck ∈ R. 2.3 4 Discrete Dynamics in Nature and Society From 1.7, we note that α,β qx, Pk α,β α,β x Ck Pk x, Pk x Ck 1 −1 α,β 2 1 − xα 1 xβ Pk x dx 2.4 2αβ1 Γk α 1Γ k β 1 Ck . 2k α β 1 Γ α β k 1 k! Thus, by 2.4, we get 2k α β 1 Γ α β k 1 k! 1 α,β Ck 1 − xα 1 xβ Pk xqxdx. 2αβ1 Γk α 1Γ k β 1 −1 2.5 Therefore, by 1.7, 2.3, and 2.5, we obtain the following proposition. Proposition 2.1. For qx ∈ Pn n ∈ N, one has qx n α,β Ck Pk x, 2.6 k0 where k −1k 2k α β 1 Γ k α β 1 1 d kα kβ Ck qxdx. 1 − x 1 x dxk 2αβ1k Γα k 1Γ β k 1 −1 Let us take qx xn ∈ Pn . First, we consider the following integral: 1 −1 d k 1 − xkα 1 xkβ qxdx dx 1 k d 1 − xkα 1 xkβ xn dx dx −1 1 k−1 d −n 1 − xkα 1 xkβ xn−1 dx dx −1 ··· n! −1 n − k! k 1 −1 1 − xkα 1 xkβ xn−k dx 2.7 Discrete Dynamics in Nature and Society −1k n!22kαβ1 n − k! 1 5 kα n−k ykβ 1 − y dy 2y − 1 0 n−k −1k n! 2kαβ1 n−k l 2 2 −1n−k−l B k l β 1, k α 1 l n − k! l0 n−k −1k n! 2kαβ1 n−k l n−k−l Γ k l β 1 Γk α 1 . 2 2 −1 l n − k! Γ 2k α β l 2 l0 2.8 From 2.5 and 16, we have −1k 2k α β 1 Γ k α β 1 Ck 2αβ1k Γα k 1Γ β k 1 1 k d × 1 − xkα 1 xkβ xn dx dx −1 −1k 2k α β 1 Γ k α β 1 −1k n!22kαβ1 · n − k! 2αβ1k Γα k 1Γ β k 1 n−k n−k l n−k−l Γ k l β 1 Γk α 1 × 2 −1 l Γ 2k α β l 2 l0 2.9 n−k −1n−k−l n−k 2l Γ k l β 1 2k α β 1 Γ k α β 1 n!2k . l Γ β k 1 n − k! Γ 2k α β l 2 l0 By Proposition 2.1, we get 2k α β 1 Γ k α β 1 k 2 x n! Γ k β 1 n − k! k0 l0 l 2Γ klβ1 −1n−k−l n−k α,β l Pk x. × Γ 2k α β l 2 n n−k n 2.10 From 1.9, we have ext ∞ Bn1 x 1 − Bn1 x tn 1 t xt t . e − 1 e t et − 1 n1 n! n0 2.11 By 2.11, we get xn Bn1 x 1 − Bn1 x , n1 n ∈ Z . Therefore, by 2.10 and 2.12, we obtain the following theorem. 2.12 6 Discrete Dynamics in Nature and Society Theorem 2.2. For n ∈ Z , one has 1 {Bn1 x 1 − Bn1 x} n 1! n n−k −1n−k−l 2kl 2k α β 1 n−k l k0 l0 Γ k β 1 Γ 2k α β l 2 n − k! α,β ×Γ k α β 1 Γ k l β 1 Pk x. 2.13 Let us take qx Bn x ∈ Pn . Then we evaluate the following integral: 1 −1 d dx k 1 − xkα 1 xkβ Bn xdx n n lk l Bn−l −1k l! 2kαβ1 2 l − k! 1 kα l−k ykβ 1 − y dy 2y − 1 0 n n l−k −1k l! 2kαβ1 l−k m 2 Bn−l 2 −1l−k−m l m − k! l m0 lk Γ k m β 1 Γk α 1 × Γ 2k α β m 2 m l−k n n l Bn−l −1l−m l!22kαβ1 l−k m 2 Γ k m β 1 Γk α 1 . l − k!Γ 2k α β m 2 lk m0 2.14 Finding 2.5 and 21, we have −1k 2k α β 1 Γ α β k 1 Ck 2αβk1 Γα k 1Γ β k 1 1 k d kα kβ Bn xdx × 1 − x 1 x dxk −1 l−k 2km n n l Bn−l −1l−m−k l! 2k α β 1 l−k m Γ β k 1 − k!Γ 2k α β m 2 l lk m0 ×Γ kmβ1 Γ kαβ1 . 2.15 Discrete Dynamics in Nature and Society 7 Theorem 2.3. For n ∈ Z , one has l−k 2km n n n l Bn−l −1l−m−k l! 2k α β 1 l−k m Bn x Γ β k 1 − k!Γ 2k α β m 2 l k0 lk m0 α,β ×Γ k m β 1 Γ k α β 1 Pk x. α,β Let qx Pn integral: 2.16 x ∈ Pn . From Proposition 2.1 , we firstly evaluate the following 1 −1 d dx k α,β 1 − xkα 1 xkβ Pn xdx 1 Γ nαβk1 1 αk,βk −1 k 1 − xkα 1 xkβ Pn−k xdx. 2 Γ nαβ1 −1 2.17 k By 2.1 and 2.17, we get 1 −1 d dx k α,β 1 − xkα 1 xkβ Pn xdx n−k −1k Γ n α β k 1 nα nβ n−k−l l 2k Γ nαβ1 l0 × 1 −1 1 − xkα 1 xkβ x−1 2 l x1 2 n−k−l dx n−k −1k Γ n α β k 1 nα nβ −1l 22kαβ1 n − k − l l 2k Γ nαβ1 l0 × 1 0 1−y kαl ynβ−l dy n−k nαβk1 nα nβ −1 2 −1l n − k − l l Γ nαβ1 l0 × B k α l 1, n β − l 1 n−k n α n β k αβk1 Γ n α β k 1 −1 2 −1l n − k − l l Γ nαβ1 l0 k αβk1 Γ 8 Discrete Dynamics in Nature and Society Γα k l 1Γ n β − l 1 × Γ αβkn2 n−k 1 nα nβ −1 2 −1l l Γ n α β 1 l0 n − k − l Γα k l 1Γ n β − l 1 × . αβkn1 k αβk1 2.18 It is easy to show that Γ nβ−l1 n β − l · · · βΓ β n β − l ··· β k 1 Γ βk1 β k · · · βΓ β nβ−l n − k − l!. n−k−l 2.19 From 2.5, 2.18, and 2.19, we can derive the following equation: −1k 2k α β 1 Γ k α β 1 2αβk1 Γα k 1Γ β k 1 1 k α,β d × 1 − xkα 1 xkβ Pn xdx dx −1 n−k 2k α β 1 Γ α β k 1 nα nβ αkl n−k−l l l Γ βk1 Γ nαβ1 l0 Ck l × l!−1 Γ nβ−l1 αβkn1 n−k 2k α β 1 Γ α β k 1 l0 × nα n−k−l nβ l n − k − l!l! −1l . αβkn1 Therefore, by Proposition 2.1, we obtain the following theorem. nβ−l n−k−l 2.20 Discrete Dynamics in Nature and Society 9 Theorem 2.4. For n ∈ Z , one has α,β n n−k Γ n α β 1 Pn x αβk nα 2k α β 1 k n−k−l Γ αβ1 l0 k0 l n β α k l n β − l −1 n − k − l!k!l! α,β Pk x. × l l n−k−l αβnk1 2.21 Let Hn x be the Hermite polynomial with Hn x qx n k0 α,β Ck Pk x, 2.22 where −1k 2k α β 1 Γ k α β 1 Ck 2αβk1 Γα k 1Γ β k 1 1 k d × 1 − xkα 1 xkβ Hn xdx. dx −1 2.23 Integrating by parts, one has 1 −1 d dx k 1 − xkα 1 xkβ Hn xdx 1 2k −1k n! n − k! 1 n−k 2k −1k n! n−k Hn−k−l 2l 1 − xkα 1 xkβ xl dx l n − k! l0 −1 n−k l 2k −1k n! n−k l Hn−k−l 22kαβl1 −1l−m 2m l m n − k! l0 m0 × 1 1−y −1 1 − xkα 1 xkβ Hn−k xdx kα ykβm dy 0 l n−k 2k −1k n! n−k l Hn−k−l −1l−m 22kαβml1 l m n − k! l0 m0 Γk α 1Γ β k m 1 . × Γ 2k α β m 2 2.24 10 Discrete Dynamics in Nature and Society By 2.23 and 29, we get Ck l n−k k! Hn−k−l −1l−m 2k α β 1 αβk k α β 1 2kαβm1 m 2k!n − k! m2k n−k l l l0 m0 m × 22kml n! 2.25 βkm m!. m Therefore, by 2.22 and 2.25, we obtain the following theorem. Theorem 2.5. For n ∈ Z , one has ⎧ n−k l l−m l n ⎨ n−k 2k α β 1 α β 1 Hn x m Hn−k−l −1 l ⎩ l0 m0 2kαβm1 n! m 2k!n − k! k0 m2k αβk α,β 2kml β k m × m! Pk x, k!2 m k 2.26 where Hn is the nth Hermite number. Remark 2.6. By the same method as Theorem 2.3 , we get n n−k 2kl 2k α β 1 n−k −1n−k−l 1 l {En x 1 En x} 2n! k0 l0 Γ k β 1 Γ 2k α β l 2 n − k! α,β ×Γ k α β 1 Γ k l β 1 Pk x. 2.27 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. 2 L. Carlitz, “An integral formula for the Jacobi polynomial,” Bollettino dell’Unione Matematica Italiana, vol. 17, no. 3, pp. 273–275, 1962. 3 L. Carlitz, “Some generating functions for the Jacobi polynomials,” Bollettino dell’Unione Matematica Italiana, vol. 16, no. 2, pp. 150–155, 1961. 4 L. Carlitz, “On Laguerre and Jacobi polynomials,” Bollettino dell’Unione Matematica Italiana, vol. 12, no. 1, pp. 34–40, 1957. 5 T. Kim, “On the weighted q-Bernoulli numbers and polynomials,” Advanced Studies in Contemporary Mathematics, vol. 21, no. 2, pp. 207–215, 2011. Discrete Dynamics in Nature and Society 11 6 T. Kim, “An identity of the symmetry for the Frobenius-Euler polynomials associated with the Fermionic p-adic invariant q-integrals on Zp ,” The Rocky Mountain Journal of Mathematics, vol. 41, no. 1, pp. 239–247, 2011. 7 T. Kim, “Some identities on the q-Euler polynomials of higher order and q-Stirling numbers by the fermionic p-adic integral on Zp ,” Russian Journal of Mathematical Physics, vol. 16, no. 4, pp. 484–491, 2009. 8 T. Kim, “Symmetry of power sum polynomials and multivariate fermionic p-adic invariant integral on Zp ,” Russian Journal of Mathematical Physics, vol. 16, no. 1, pp. 93–96, 2009. 9 T. Kim, “On Euler-Barnes multiple zeta functions,” Russian Journal of Mathematical Physics, vol. 10, no. 3, pp. 261–267, 2003. 10 T. Kim, “q-Volkenborn integration,” Russian Journal of Mathematical Physics, vol. 9, no. 3, pp. 288–299, 2002. 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. 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 qBernstein 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. 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 Zp ,” International Journal of Mathematics and Mathematical Sciences, vol. 2010, Article ID 860280, 14 pages, 2010. 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. 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. 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. 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. 23 W. A. Al-Salam and L. Carlitz, “Finite summation formulas and congruences for Legendre and Jacobi polynomials,” vol. 62, pp. 108–118, 1958. 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. 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. 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. Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014