Research Article Some Identities on the High-Order Polynomials with Weight 0

advertisement
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
Download