Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2013, Article ID 459763, 6 pages http://dx.doi.org/10.1155/2013/459763 Research Article Some Identities on the High-Order π-Euler Numbers and Polynomials with Weight 0 Jongsung Choi,1 Hyun-Mee Kim,2 and Young-Hee Kim1 1 2 Division of General Education-Mathematics, Kwangwoon University, Seoul 139-701, Republic of Korea Department of General Education-Mathematics, Kookmin University, Seoul 136-702, Republic of Korea Correspondence should be addressed to Young-Hee Kim; yhkim@kw.ac.kr Received 7 February 2013; Accepted 2 April 2013 Academic Editor: Chun-Gang Zhu Copyright © 2013 Jongsung Choi 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 construct the πth order nonlinear ordinary differential equation related to the generating function of π-Euler numbers with weight 0. From this, we derive some identities on π-Euler numbers and polynomials of higher order with weight 0. 1. Introduction As a well-known definition, the Euler polynomial πΈπ (π₯) is given by π‘π 2 π₯π‘ ∞ = πΈ π . ∑ (π₯) π ππ‘ + 1 π! π=0 (1) In the special case, π₯ = 0, πΈπ (0) = πΈπ is the πth Euler number. From (1), we note that πΈ0 = 1, (πΈ + 1)π + πΈπ = 0, if π > 0, (2) with the usual convention of replacing πΈπ by πΈπ (see [1–16]). In the viewpoint of the π-extension of (1) and (2), let us consider the following π-Euler number and polynomial: ∞ π 2 π₯π‘ Μπ,π (π₯) π‘ , πΈ = π ∑ πππ‘ + 1 π! π=0 πΈΜ0,π = 2 , 1+π π π(πΈΜπ + 1) + πΈΜπ,π = 0, (3) if π > 0, (4) with the usual convention of replacing πΈΜππ by πΈΜπ,π . Equation (3) is called the generating function of π-Euler polynomial with weight 0. In the case π₯ = 0, πΈΜπ,π (0) = πΈΜπ,π is the πth π-Euler number with weight 0 (see [5, 11]). Throughout this paper, let π be a complex number with |π| < 1. As π → 1, we obtain (1) and (2) from (3) and (4). The generating function of Eulerian polynomial π»π (π₯ | π’) is defined by π‘π 1 − π’ π₯π‘ ∞ | π’) = π» π , ∑ (π₯ π ππ‘ − π’ π! π=0 (5) where π’ ∈ C with π’ =ΜΈ 1. In the special case, π₯ = 0, π»π (0 | π’) = π»π (π’) is called the πth Eulerian number (see [1–3]). Sometimes that is called the πth Frobenius-Euler number (see [9–11, 15]). From (1) and (5), we note that π»π (π₯ | −1) = πΈπ (π₯). From (5), we have π»0 (π’) = 1, π»π (1 | π’) − π’π»π (π’) = (1 − π’) πΏ0,π , (6) where πΏπ,π is Kronecker symbol (see [9–11]). For π ∈ N, the π-Euler polynomial of order π is defined by the generating function as follows: 2 2 ) × ⋅⋅⋅ × ( π‘ )ππ₯π‘ πΊππ (π‘, π₯) = ( π‘ ππ + 1 ππ + 1 βββββββββββββββββββββββββββββββββββββββββββββββββββββββ π-times (7) ∞ π‘π (π) = ∑ πΈΜπ,π (π₯) . π! π=0 (π) (π) (0) = πΈΜπ,π is called the πth In the special case, π₯ = 0, πΈΜπ,π π-Euler number of order π with weight 0 (see [5, 11]). 2 Abstract and Applied Analysis In [9], Kim derived some identities between the sums of products of Frobenius-Euler polynomials and FrobeniusEuler polynomials of higher order. The main idea is to construct nonlinear ordinary differential equations with respect to π‘ which are closely related to the generating function of Frobenius-Euler polynomial. In [3], Choi considered nonlinear ordinary differential equations with respect to π’ not π‘. In this paper, we construct nonlinear ordinary differential equations with respect to π. The purpose of this paper is to give some new identities on the high order π-Euler numbers and polynomials with weight 0 by using the differential equations of π. 2. Construction of Nonlinear Differential Equations From (13) and (14), we get π!πΊπ+1 = π (π − 1)!πΊπ π−1 + ∑ πππ (π) ππ πΊ(π) π=0 π + ∑ ππ−1 (π) ππ πΊ(π) , π=1 π (π) where π!πΊπ+1 = ∑π π=0 ππ (π + 1)π πΊ . By comparing coefficients on both sides of (15), we obtain the following recurrence relations: π0 (π + 1) = ππ0 (π) , π-times (8) π0 (π + 1) = ππ0 (π) for π ∈ N. = π (π − 1) π0 (π − 1) From (7) and (8), we note that πΊππ (π‘, π₯) π π π π π₯π‘ = 2 πΊ (π‘, π₯) = 2 πΊ π . (1) ππΊ πππ‘ + 1 − 1 ππΊ πΊ πΊ2 =− + =− , 2 ππ π π π(πππ‘ + 1) (9) By (10) and (13), we have 1 ππΊ(1) + πΊ = πΊ2 = ∑ ππ (2) ππ πΊ(π) π=0 (10) +πΊ=πΊ . From (18) and (19), we get By differentiating (10) with respect to π, we get (π) π (11) π0 (2) = 1, π1 (2) = 1, where πΊ = π πΊ/ππ . By the derivative of (11) with respect to π, we have ππ (π + 1) = ππ−1 (π) = ⋅ ⋅ ⋅ = π1 (2) = 1. (12) π (π‘, π ) = ∑ (13) π=0 Let us consider the derivative of (13) with respect to π to find the coefficient ππ (π) in (13). By (10), we get π π ((π − 1)! πΊπ) = π!πΊπ−1 ππΊ(1) ππ = π!πΊπ+1 − π (π − 1)!πΊπ. ∑ ππ (π) π≥1 0≤π≤π−1 π−1 = π!πΊπ−1 (−πΊ + πΊ2 ) (20) π‘π π π , π! (22) where |π‘| < 1 (see [9]). From (17) and (22), we have ∑ ∑ ππ+1 (π + 1) π≥1 0≤π≤π−1 = ∑ (14) (21) To find ππ (π) in (13) from (17), we set Continuing this process, we get (π − 1)!πΊπ = ∑ ππ (π) ππ πΊ(π) . π0 (π) = (π − 1)!. From the second part of (16), we have π π3 πΊ(3) + 9π2 πΊ(2) + 18ππΊ(1) + 3!πΊ = 3!πΊ4 . (19) = π0 (2) πΊ + π1 (2) ππΊ(1) . 2 π2 πΊ(2) + 4ππΊ(1) + 2πΊ = 2!πΊ3 , (18) = ⋅ ⋅ ⋅ = π!π0 (2) . By differentiating (8) with respect to π, we get πΊ(1) = (17) for 1 ≤ π ≤ π − 1 and ππ (π) = 0. From the first part of (16), we have 1 , π‘ ππ + 1 ββππ₯π‘ πΊβββββββ × ⋅βββ ⋅ ⋅βββββββ ×πΊ πΊπ (π‘, π₯) = ββ ππ (π + 1) = ππ−1 (π) , (16) ππ (π + 1) = πππ (π) + πππ (π) + ππ−1 (π) , We define πΊ = πΊ (π) = (15) ∑ πππ−1 (π) π≥1 0≤π≤π−1 + ∑ π‘π π π π! ∑ π≥1 0≤π≤π−1 π‘π π π π! (π + 1) ππ+1 (π) (23) π‘π π π + π (π‘, π ) . π! Abstract and Applied Analysis 3 From the left hand side of (23), we have ∑ ππ+1 (π + 1) ∑ π≥1 0≤π≤π−1 We consider Cauchy problem for the following first-order quasilinear partial differential equation: π‘π π π π! π (π₯, π¦, π§) π§π₯ + π (π₯, π¦, π§) π§π¦ = π (π₯, π¦, π§) , π‘π−1 π 1 = ∑ ∑ ππ (π) π π π≥2 1≤π≤π−1 (π − 1)! (28) π§ (π₯0 (π‘) , π¦0 (π‘)) = π§0 (π‘) , π‘ ∈ πΌ, π‘π−1 π π‘π−1 1 π − π0 (π) ) = ∑ ( ∑ ππ (π) π π≥2 0≤π≤π−1 (π − 1)! (π − 1)! where πΌ is some interval. We know that (28) has a unique solution under some conditions as follows. = π‘π−1 π 1 π − π0 (1) − ∑ π‘π−1 ) ( ∑ ∑ ππ (π) π π≥1 0≤π≤π−1 (π − 1)! π≥2 Theorem A (see [17, page 65]). Suppose that π, π, and π are of class πΆ1 in a domain Ω of R3 containing the point (π₯0 , π¦0 , π§0 ) and suppose that = 1 1 (ππ‘ + ), π π‘−1 (24) where ππ‘ = ππ/ππ‘. From the first term of the right hand side of (23), we have ∑ πππ+1 (π) ∑ π≥1 0≤π≤π−1 π (π₯0 , π¦0 , π§0 ) ππ¦0 (π‘0 ) ππ₯ (π‘ ) − π (π₯0 , π¦0 , π§0 ) 0 0 =ΜΈ 0. ππ‘ ππ‘ Then in a neighborhood π of (π₯0 , π¦0 ) there exists a unique solution of (28) at every point of initial curve contained in π. Since (27) satisfies (29) and regularity conditions, there exists a unique solution of (27). It is customary to write (27) in the form π π‘ π π π! π‘π−1 π π‘ π = ∑ ∑ ππ (π) π π≥1 1≤π≤π−1 (π − 1)! = π−1 π‘ π‘ ( ∑ ∑ π (π) π π π π≥1 0≤π≤π−1 π (π − 1)! (25) π‘ 1 (π + ). π π‘ π‘−1 ∑ π≥1 0≤π≤π−1 (π + 1) ππ+1 (π) = ∑ ∑ πππ (π) π≥1 1≤π≤π (26) π ∈ R. 1−π‘ . π (32) ππ 1 = −π − . ππ π (33) By the integrating factor method, we have πΈπ (π ) = ∫ π (34) −∞ ππ ππ π ∞ π π , π=1 π ⋅ π! = πΎ + ln |π | + ∑ where ππ = ππ/ππ . From (22)–(26), we obtain the following initial value problem quasilinear first-order partial differential equation: π (0, π ) = 0, π = 0. The exponential integral πΈπ (π ) is defined by π‘π π−1 = ∑ ∑ πππ (π) π = ππ , π! π≥1 0≤π≤π−1 |π‘| < 1, (31) π = π, Since ππ‘/(π‘ − 1) = ππ /π is separable, we get π (π‘ − 1) ππ‘ + π ππ = −π π − 1, π‘ = 0, π’2 (π‘, π , π) = ππ π + πΈπ (π ) . π‘π π π π! π‘ π−1 π π! (30) π’1 is a solution of partial differential equation of (27). From (30), we get the linear equation From the second term of the right hand side of (23), we have ∑ ππ ππ ππ‘ = = , π‘−1 π −π π − 1 π’1 (π‘, π , π) = π (π) π−1 −∑ 0 π‘ ) π≥1 (π − 1)! = (29) (27) (35) (π ∈ R, π =ΜΈ 0) , where πΎ is Euler constant. π’2 is another solution of partial differential equation of (27), and π’1 and π’2 are linearly independent. From the parameterized initial conditions (31), (33), and (34), we get π’2 = πΈπ ( 1 ), π’1 ππ π + πΈπ (π₯) = πΈπ ( π ). 1−π‘ (36) 4 Abstract and Applied Analysis Thus, from (35) and (36), we obtain the following unique solution of (27): ∞ π π π 1 (( ) − 1)) . π ⋅ π! 1 −π‘ π=1 (37) π (π‘, π ) = π−π (− ln |1 − π‘| + ∑ In the case of π ≥ π in (40), from (41), we get π (−1)π−π (−1)π π+π−1 +∑ ( ) π π ⋅ π! π=1 (π − π)!π ⋅ π! = (−1)π ( Moreover, if we choose another initial condition ∞ π (π‘, 0) = ∑ π0 (π) π≥1 π ∞ = (−1)π π π‘ π‘ = ∑ π! π≥1 π (38) π‘π) π≥1 π1 +⋅⋅⋅+ππ =π + ∑ (π − 1)! π≥1 (39) = ∑ π≥1 π‘π (−1)π π π )(∑ ) π! π≥1 π π≥0 (−1)π π π ) π! π≥0 πΊπ (π) = π π π+π−1 π )π‘ ) ∑( π π≥1 π ⋅ π! π≥1 × (∑ π≥1 1≤π≤π−1 where πΊ(π) = ππ πΊ(π) /πππ and πΊπ(π) = βββββββββββββββββββββββββββββββ πΊ(π) × ⋅ ⋅ ⋅ × πΊ(π). π−π (−1) π+π−1 ( )) π‘ππ π π (π − π)! π ⋅ π! π=1 (∑ π (−1)π−π π+π−1 ( )) π‘ππ π . π − π)! π ⋅ π! (π π=1 (40) + ∑ ∑ (∑ Then πΊ(π) = 1/(πππ‘ + 1) is a solution of (45). It is known that π-times Let us define πΊ(π) (π‘, π₯) = πΊ(π) (π)ππ₯π‘ . Then we obtain the following corollary. Corollary 2. For π ∈ N, one considers πΊπ (π‘, π₯) = 2 π−1 1 π−1 ) ππ πΊ(π) (π‘, π₯) ∑ (π − π − 1)!( π (π − 1)! π=0 π−1 π −π π+π−1 ( ), )= (−1)π ( π π π π π π+π ). ∑( )( ) = ( π π π (45) 1 π − 1 π (π) = ∑ ( )π πΊ , π π! π=0 (−1)π π π (−1)π π π π‘ π + ∑ ∑ π‘ π π≥1 0≤π≤π−1 π ⋅ π! π≥1 π≥π π ⋅ π! π 2 π−1 1 π−1 ) ππ πΊ(π) ∑ (π − π − 1)!( π (π − 1)! π=0 π−1 ∑ π=0 (44) Theorem 1. For π ∈ C with |π| < 1 and π ∈ N, one can consider the following nonlinear (π − 1)th order ordinary differential equation with respect to π: + (∑ π 2 π − 1 π‘π π π , ) (π − π − 1)!( π π! 0≤π≤π−1 ∑ Therefore, by (13) and (44), we obtain the following theorem. π (π‘, π ) = (∑ π≥1 π≥π (43) 2 By (37) and (39), we get ∑ π‘π π! π−1 ππ (π) = (π − π − 1)!( ). π π≥1 + ∑ (π − 1)! π − π π‘π π ( π ) π π! π! π π−1 where ( π−π π ) = (−1) ( π ). Thus, by (22) and (43), we get π+π−1 π = ∑( )π‘ . π = ∑ ∑ (−1)π π≥1 1≤π≤π−1 π-times ∑ 1 π−π (1 + ( ) − 1) = 0. π π ⋅ π! π (π‘, π ) = ∑ 1 π ) − 1 = ( ∑ π‘π1 ) × ⋅ ⋅ ⋅ × ( ∑ π‘ππ ) − 1 1−π‘ π1 ≥0 ππ ≥0 βββββββββββββββββββββββββββββββββββββββββββββββββ = ∑( (42) By (40) and (41), we get from (20) and (22), then (37) satisfies it. We note that ( 1 1 π π −π + ∑ ( ) ( )) π π ⋅ π! π ⋅ π! π=1 π 1 π − 1 π (π) ( ) π πΊ (π‘, π₯) . π π! π=0 = ∑ (41) (46) Then πΊ(π‘, π₯) = ππ₯π‘ /(πππ‘ + 1) is a solution of (46). Abstract and Applied Analysis 5 ∞ 3. Identities on the High-Order π-Euler Numbers and Polynomials with Weight 0 πΊπ (π) = 1 2 2 ( π‘ ) × ⋅⋅⋅ × ( π‘ ) 2π βββββββββββββββββββββββββββββββββββββββββββββββββββββββ ππ + 1 ππ + 1 π=0 π1 +⋅⋅⋅+ππ =π = ∑( ∑ π=0 π1 +⋅⋅⋅+ππ =π π‘π π! π‘π π ( ) πΈΜπ1 ,π ⋅ ⋅ ⋅ πΈΜππ ,π ) . π1 , . . . , ππ π! Therefore, by (49) and (52), we obtain the following corollary. 1 ∞ (π) π‘π = π ∑ πΈΜπ,π , 2 π=0 π! (47) π‘π 1 2 1∞ = ∑ πΈΜπ,π . π‘ 2 ππ + 1 2 π=0 π! Corollary 5. For π ∈ N and π ∈ N ∪ {0}, one has ∑ π1 +⋅⋅⋅+ππ =π π ( ) πΈΜ ⋅ ⋅ ⋅ πΈΜππ ,π π1 , . . . , ππ π1 ,π π−1 From (47), we note that πΊ(π) = π1 ! ⋅ ⋅ ⋅ ππ! ) (52) π-times πΊ (π) = ∑ ∞ From (3), (7), and (8), we get π!πΈΜπ1 ,π ⋅ ⋅ ⋅ πΈΜππ ,π = ∑( =2 ππ πΊ (π) 1 ∞ π πΈΜπ,π π‘π = ∑ . 2 π=0 πππ π! πππ π (48) π 1 π − 1 π π πΈΜπ,π . )π ∑ ( π π! πππ π=0 π−1 (53) Acknowledgment Therefore, by (47), (48), and (45), we obtain the following theorem. The present research has been conducted by the research grant of Kwangwoon University in 2013. Theorem 3. For π ∈ N and π ∈ N ∪ {0}, one has References π π−1 1 π − 1 π π πΈΜπ,π (π) = 2π−1 ∑ ( . πΈΜπ,π )π π π! πππ π=0 (49) From (48), we get πΊ(π) (π‘, π₯) = πΊ(π) (π) ππ₯π‘ π ∞ π π π₯ π‘ 1 ∞ π πΈΜπ,π π‘π =( ∑ ) ( ) ∑ π 2 π=0 ππ π! π=0 π! (50) ∞ π ππ πΈΜπ,π π‘π 1 π ) . = ∑ (∑ ( ) π₯π−π 2 π π! πππ π=0 π=0 Therefore, by (7), (47), and (50), we obtain the following corollary. Corollary 4. For π ∈ N and π ∈ N ∪ {0}, one has π π−1 1 π − 1 π π π π−π π πΈΜπ,π (π) πΈΜπ,π . (51) )π ∑( )π₯ (π₯) = 2π−1 ∑ ( π π π! πππ π=0 π=0 From (3) and (7), we get ∞ (π) ∑ πΈΜπ,π π=0 π‘π 2 2 =( π‘ ) × ⋅⋅⋅ × ( π‘ ) π! βββββββββββββββββββββββββββββββββββββββββββββββββββββββ ππ + 1 ππ + 1 π-times ∞ = ( ∑ πΈΜπ1 ,π π1 =0 ∞ π‘π1 π‘ππ ) × ⋅ ⋅ ⋅ × ( ∑ πΈΜππ ,π ) π1 ! ππ! π =0 π [1] L. Carlitz, “Eulerian numbers and polynomials,” Mathematics Magazine , vol. 32, pp. 247–260, 1959. [2] L. Carlitz, “The product of two Eulerian polynomials,” Mathematics Magazine, vol. 36, no. 1, pp. 37–41, 1963. [3] J. Choi, “A note on Eulerian polynomials of higher order,” Journal of the Chungcheong Mathematical Society, vol. 26, no. 1, pp. 191–196, 2013. [4] J. Choi, T. Kim, and Y. H. Kim, “A recurrence formula for qEuler numbers of higher order,” Proceedings of the Jangjeon Mathematical Society, vol. 13, no. 3, pp. 321–326, 2010. [5] J. Choi, T. Kim, and Y.-H. Kim, “A note on the π-analogues of Euler numbers and polynomials,” Honam Mathematical Journal, vol. 33, no. 4, pp. 529–534, 2011. [6] D. S. Kim, “Identities of symmetry for generalized Euler polynomials,” International Journal of Combinatorics, vol. 2011, Article ID 432738, 12 pages, 2011. [7] D. S. Kim, T. Kim, J. Choi, and Y. H. Kim, “Identities involving πBernoulli and π-Euler numbers,” Abstract and Applied Analysis, vol. 2012, Article ID 674210, 10 pages, 2012. [8] H.-M. Kim, J. Choi, and T. Kim, “On the extended π-Euler numbers and polynomials of higher-order with weight,” Honam Mathematical Journal, vol. 34, no. 1, pp. 1–9, 2012. [9] T. Kim, “Identities involving Frobenius-Euler polynomials arising from non-linear differential equations,” Journal of Number Theory, vol. 132, no. 12, pp. 2854–2865, 2012. [10] T. Kim and J. Choi, “A note on the product of Frobenius-Euler polynomials arising from the π-adic integral on Zπ ,” Advanced Studies in Contemporary Mathematics, vol. 22, no. 2, pp. 215– 223, 2012. [11] T. Kim and J. Choi, “On the π-Euler numbers and polynomials with weight 0,” Abstract and Applied Analysis, vol. 2012, Article ID 795304, 7 pages, 2012. [12] H. Ozden, I. N. Cangul, and Y. Simsek, “Multivariate interpolation functions of higher-order π-Euler numbers and their 6 [13] [14] [15] [16] [17] Abstract and Applied Analysis applications,” Abstract and Applied Analysis, vol. 2008, Article ID 390857, 16 pages, 2008. H. Ozden and Y. Simsek, “A new extension of π-Euler numbers and polynomials related to their interpolation functions,” Applied Mathematics Letters, vol. 21, no. 9, pp. 934–939, 2008. Y. Simsek, “Complete sum of products of (β, π)-extension of Euler polynomials and numbers,” Journal of Difference Equations and Applications, vol. 16, no. 11, pp. 1331–1348, 2010. Y. Simsek, “Generating functions for q-Apostol type FrobeniusEuler numbers and polynomials,” Axioms, vol. 1, no. 3, pp. 395– 403, 2012. Y. Simsek, “Generating functions for generalized Stirling type numbers, Array type polynomials, Eulerian type polynomials and their applications,” Fixed Point Theory and Applications, vol. 2013, article 87, 2013. C. Zachmanoglou and D. W. Thoe, Introduction to Partial Differntial Equations with Applications, The Williams and Wilkins company, Baltimore, Md, USA, 1976. 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