Abstract
The aim of this paper is to define a generating function for qEulerian polynomials and numbers attached to any character χ of the finite cyclic group G. We derive many functional equations, qdifference equations and partial deferential equations related to these generating functions. By using these equations, we find many properties of qEulerian polynomials and numbers. Using the generating element of the finite cyclic group G and the generating element of the subgroups of G, we show that the generating function with a conductor f can be written as a sum of the generating function with conductors which are less than f.
MSC: 05A40, 11B83, 11B68, 11S80.
Keywords:
Euler numbers; FrobeniusEuler numbers; FrobeniusEuler polynomials; qFrobeniusEuler polynomials; qseries; generating function; character χ of the finite abelian groups G1 Introduction
The theory of the family of Eulerian polynomials and numbers (FrobeniusEuler polynomials and numbers) has become a very important part of analytic number theory and other sciences, for example, engineering, computer, geometric design and mathematical physics. Euler numbers are related to the Brouwer fixed point theorem and vector fields. Therefore, qEulerian type numbers may be related to Brouwer fixed point theorem and vector fields [1].
Recently, many different special functions have been used to define and investigate qEulerian numbers and polynomials, see details [139]. Therefore, we construct and investigate various properties of qEulerian numbers and polynomials, which are related to the many known polynomials and numbers such as FrobeniusEuler polynomials and numbers, ApostolEuler polynomials and numbers, Euler polynomials and numbers.
Recently in [24], the authors defined a relationship between algebra and analysis. In detail, they made a new approximation between the subgroup and monoid presentation and special generating functions (such as Stirling numbers, Array polynomials etc.). In this paper, since our priority aim is to define special numbers and polynomials, it is worth depicting these references as well. Then in this paper, applying any group character χ of the finite cyclic group G to a special generating function (which has been defined in [5]), we give a generalization of qEulerian polynomials and numbers (qApostoltypeFrobeniusEuler polynomials and numbers) and investigate their properties and some useful functional equations. Using a generating element of the subgroups of G and a generating element of G, we also decompose our generating function attached to the characters of G, and so we obtain a new decomposition of qEulerian numbers and polynomials attached to the characters of a subgroup of G and the Dirichlet character of G. This decomposition enables us to compute qApostoltype FrobeniusEuler polynomials and numbers more easily.
Throughout this paper, we assume that , the set of complex numbers, with
We use the following standard notions.
, and also, as usual, ℝ denotes the set of real numbers, denotes the set of positive real numbers and ℂ denotes the set of complex numbers.
1.1 Characters of a group G
We recall the definition and some properties of the character of an arbitrary group (see [6]).
A nonzero complexvalued function χ defined on G is called a character of G if for all ,
In particular, if G is a finite group with the identity element e, then and is a root of unity. In [[6], Theorem 6.8], it is proved that a finite abelian group G of order n has exactly n distinct characters.
Let G be the group of reduced residue classes module positive integer f. Corresponding to each character χ of G, the Dirichlet character is defined as follows:
Hence it is easily observed that
for all . In this note, f is called the conductor of the character of a group G of reduced residue classes module a positive integer f.
1.2 qEulerian polynomials and numbers
In [5], Simsek defined and studied some properties of qApostol type FrobeniusEuler polynomials and numbers.
(i) The qApostol type FrobeniusEuler numbers
are defined by means of the following generating function:
(ii) The qApostol type FrobeniusEuler polynomials
are defined by means of the following generating function:
where
2 qEulerian polynomials and numbers attached to any character
In this section, we define qEulerian polynomials and numbers attached to any character of the finite cyclic group G. Our new generating functions are related to nonnegative real parameters.
Definition 2.1 Let ( and ), , (). Let χ be a character of a finite cyclic group G with the conductor f.
(i) The qEulerian numbers attached to the character χ
are defined by means of the following generating function:
(ii) The qEulerian polynomials attached to the character χ
are defined by means of the following generating function:
where
It is observed that
Upon setting in (3), we compute a qEulerian number attached to the character χ as follows:
By using the conductor f of the character χ and combining with , we modify Equation (2) and Equation (3), respectively, as follows:
and
Therefore, we provide the following relationships between qEulerian numbers and qEulerian numbers attached to the character χ.
(i)
(ii)
Proof By using (4), we deduce that
which, by comparing the coefficient on the both sides of the above equations, yields the first assertion of Theorem 2.2.
The second assertion (ii) is proved with the same argument. □
By Theorem 2.2, we also compute a qEulerian number attached to the character χ as follows:
Now, we turn our attention to the following generation function defined in [1] since we need this generating function frequently to give some functional equations for a qEulerian number and polynomials attached to the character χ.
Let . The number is defined by means of the following generating function:
The polynomials are defined by means of the following generating function:
Since we need this generating function frequently in this paper, we use the notation
By using the following wellknown identity:
in (3), we verify the following functional equation:
Hence we have the following theorem.
Proof By applying the Cauchy product to (7), we deduce that
By comparing the coefficient of on both sides of the above equation, we obtain our desired result. □
Upon setting in (7), we get the following functional equation:
By substituting in Theorem 2.3, the following theorem is easily proved.
So that we obtain a qdifference equation for qEulerian polynomials attached to the character χ, we study the following equations:
which, in light of the Cauchy product of the three series , and
yield the following theorem.
and
where
Now, we turn our attention to studying the derivative of the polynomials
By
and substituting in (8), we get that
Hence, using the induction method, we arrive at the following result.
Now we give a generalization of the Raabe formula by the following theorem.
where
and
Proof
We start the proof with defining the character
with the conductor . On the other hand, we derive that
where
Then by using (6), it follows that
Now, we are ready to prove our result.
Hence, comparing the coefficient of on both sides yields the assertion of this theorem. □
3 Decomposition of the generating function
In this section, using the generating element of the finite cyclic group G and the generating element of the subgroups of G, we show that the generating function with a conductor f can be written as a sum of the generating function with conductors which are less than f.
In this section, we use the following notations otherwise stated:
(ii) denotes the integer such that for all ,
We start to recall the fact that
for positive integers x and y. In particular, we get that
whenever x and y are distinct prime numbers.
Theorem 3.1With the above notations, we get
Proof We start to recall the fact that for sets A, B,
Then by using DeMorgan’s law of sets, we get the following equality:
Now we use induction on n.
We construct the following sets:
and
By using DeMorgan’s law of sets, we verify the following equalities:
and for all , it is clear that .
Now assume that it is true for the set with elements. Hence, the hypothesis for the sets and is true, and we get that
and
Hence it follows
□
Example 3.2 Let , , be distinct prime integers. Then we have
Lemma 3.3Letbe a prime number for alliand
Proof By using the fact if and only if if and only if for all for , we get that
Let . Then we get that for all i and so .
If , then there is such that is . Therefore
Let . Then there is such that . This means that and so , a contradiction. Thus the proof is completed. □
By using the Lemma 3.3, we have one of the main results in this section.
Theorem 3.4With the above notations, we get that
As stated before, to decompose the generating function of qEulerian polynomials attached to the character χ, now we need to compute the following relation:
where
Also, we define the character with the conductor h such as
Hence, we combine the above equation with the generating function
Now we are ready to state the main result without the proof in this section.
Theorem 3.5Let, whereis a prime integer. Then
whereis a Dirichlet character corresponding to the characterχ.
Example 3.6 Let , where is a prime integer. Then
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors completed the paper together. Both authors read and approved the final manuscript.
Acknowledgements
References

Simsek, Y: Generating functions for generalized Stirling type numbers, array type polynomials, Eulerian type polynomials and their applications. Fixed Point Theory Appl.. 2013, Article ID 87. doi:10.1186/16871812201387 (2013)

Cangül, IN, Cevik, AS, Simsek, Y: Analysis approach to finite monoids. Fixed Point Theory Appl.. 2013, Article ID 15. doi:10.1186/16871812201315 (2013)

Cevik, AS, Cangül, IN, Simsek, Y: A new approach to connect algebra with analysis: relationship and applications between presentations and generating functions. Bound. Value Probl.. 2013, Article ID 51. doi:10.1186/16872770201351 (2013)

Cevik, AS, Das, KC, Simsek, Y, Cangül, IN: Some array polynomials over special monoids presentations. Fixed Point Theory Appl.. 2013, Article ID 44. doi:10.1186/16871812201344 (2013)

Simsek, Y: Generating functions for qApostol type FrobeniusEuler numbers and polynomials. Axioms. 1, 395–403 doi:10.3390/axioms1030395 (2012)
doi:10.3390/axioms1030395
Publisher Full Text 
Apostol, TM: Introduction to Analytic Number Theory, Springer, New York (1976)

Luo, QM, Srivastava, HM: Some relationships between the ApostolBernoulli and ApostolEuler polynomials. Comput. Math. Appl.. 10, 631–642 (2005)

Luo, QM, Srivastava, HM: Some generalizations of the ApostolBernoulli and ApostolEuler polynomials. J. Math. Anal. Appl.. 308, 290–302 (2005). Publisher Full Text

Luo, QM: ApostolEuler polynomials of higher order and Gaussian hypergeometric functions. Taiwan. J. Math.. 10(4), 917–925 (2006)

Luo, QM, Srivastava, HM: Some relationships between ApostolBernoulli and ApostolEuler polynomials. Comput. Math. Appl.. 51, 631–642 (2006). Publisher Full Text

Luo, QM, Srivastava, HM: qextensions of some relationships between the ApostolBernoulli and ApostolEuler polynomials. Taiwan. J. Math.. 15, 241–257 (2011)

Luo, QM: Some results for the qBernoulli and qEuler polynomials. J. Math. Anal. Appl.. 363, 7–18 (2010). Publisher Full Text

Luo, QM: An explicit relationships between the generalized ApostolBernoulli and ApostolEuler polynomials associated with λStirling numbers of the second kind. Houst. J. Math.. 36, 1159–1171 (2010)

Luo, QM: Some formulas for the ApostolEuler polynomials associated with Hurwitz zeta function at rational arguments. Appl. Anal. Discrete Math.. 3, 336–346 (2009). Publisher Full Text

Choi, J, Anderson, PJ, Srivastava, HM: Carlitz’s qBernoulli and qEuler numbers and polynomials and a class of generalized qHurwitz zeta functions. Appl. Math. Comput.. 215, 1185–1208 (2009). Publisher Full Text

Kim, T, Jang, CL, Park, HK: A note on qEuler and Genocchi numbers. Proc. Jpn. Acad.. 77, 139–141 (2001). Publisher Full Text

Simsek, Y, Bayad, A, Lokesha, V: qBernstein polynomials related to qFrobeniusEuler polynomials, lfunctions, and qStirling numbers. Math. Methods Appl. Sci.. 35, 877–884 (2012). Publisher Full Text

Srivastava, HM, Choi, J: Zeta and qZeta Functions and Associated Series and Integrals, Elsevier, Amsterdam (2012)

Srivastava, HM: Some generalizations and basic (or q) extensions of the Bernoulli, Euler and Genocchi polynomials. Appl. Math. Inf. Sci.. 5, 390–444 (2011)

Kim, T: A note on some formulae for the qEuler numbers and polynomials. Proc. Jangjeon Math. Soc.. 9, 227–232 arXiv:math/0608649 (2006)

Kim, T: The modified qEuler numbers and polynomials. Adv. Stud. Contemp. Math.. 16, 161–170 arXiv:math/0702523 (2008)

Kim, T: A note on the alternating sums of powers of consecutive qintegers. Adv. Stud. Contemp. Math.. 11, 137–140 arXiv:math/0604227v1 [math.NT] (2005)

Carlitz, L: qBernoulli and Eulerian numbers. Trans. Am. Math. Soc.. 76, 332–350 (1954)

Choi, J, Anderson, PJ, Srivastava, HM: Some qextensions of the ApostolBernoulli and the ApostolEuler polynomials of order n, and the multiple Hurwitz zeta function. Appl. Math. Comput.. 199, 723–737 (2008). Publisher Full Text

Kim, T: On a qanalogue of the padic log gamma functions and related integrals. J. Number Theory. 76, 320–329 (1999). Publisher Full Text

Jang, LC, Kim, T: qanalogue of EulerBarnes’ numbers and polynomials. Bull. Korean Math. Soc.. 42, 491–499 (2005)

Kim, T: On the qextension of Euler and Genocchi numbers. J. Math. Anal. Appl.. 326, 1458–1465 (2007). Publisher Full Text

Kim, T, Jang, LC, Rim, SH, Pak, HK: On the twisted qzeta functions and qBernoulli polynomials. Far East J. Appl. Math.. 13, 13–21 (2003)

Kim, T, Rim, SH: A new Changhee qEuler numbers and polynomials associated with padic qintegral. Comput. Math. Appl.. 54, 484–489 (2007). Publisher Full Text

Ozden, H, Simsek, Y: A new extension of qEuler numbers and polynomials related to their interpolation functions. Appl. Math. Lett.. 21, 934–939 (2008). Publisher Full Text

Ozden, H, Simsek, Y, Srivastava, HM: A unified presentation of the generating functions of the generalized Bernoulli, Euler and Genocchi polynomials. Comput. Math. Appl.. 60, 2779–2787 (2010). Publisher Full Text

Schempp, W: EulerFrobenius polynomials. Numer. Methods Approx. Theory, vol. 7 (Oberwolfach, 1983). 131–138 (1984)

Shiratani, K: On Euler numbers. Mem. Fac. Sci. Kyushu Univ.. 27, 1–5 (1975)

Simsek, Y: Twisted Bernoulli numbers and polynomials related to twisted zeta function and Lfunction. J. Math. Anal. Appl.. 324, 790–804 (2006). PubMed Abstract  Publisher Full Text

Simsek, Y: qanalogue of the twisted lseries and qtwisted Euler numbers. J. Number Theory. 110, 267–278 (2005). Publisher Full Text

Simsek, Y: On padic twisted qLfunctions related to generalized twisted Bernoulli numbers. Russ. J. Math. Phys.. 13, 327–339 (2006)

Simsek, Y, Kim, T, Park, DW, Ro, YS, Jang, LC, Rim, SH: An explicit formula for the multiple FrobeniusEuler numbers and polynomials. JP J. Algebra Number Theory Appl.. 4, 519–529 (2004)

Srivastava, HM, Kim, T, Simsek, Y: qBernoulli numbers and polynomials associated with multiple qzeta functions and basic Lseries. Russ. J. Math. Phys.. 12, 241–268 (2005)

Tsumura, H: A note on qanalogues of the Dirichlet series and qBernoulli numbers. J. Number Theory. 39, 251–256 (1991). Publisher Full Text