New approach to twisted q-Bernoulli polynomials
© Kim et al.; licensee Springer. 2013
Received: 31 July 2013
Accepted: 5 September 2013
Published: 7 November 2013
By using the theory of basic hypergeometric series, we present some formulas for q-consecutive integers, and we find certain new identities for twisted q-Bernoulli polynomials and q-consecutive integers (Simsek in Adv. Stud. Contemp. Math. 16(2):251-278, 2008).
MSC: 11B68, 05A30.
Keywordsq-consecutive integer twisted q-Bernoulli polynomial
where , , and x is a natural number. In this paper, we first study relations among q-consecutive integers, q-Bernoulli numbers, and q-Euler numbers.
with and .
In Section 2, we recall some necessary identities for basic hypergeometric series . Further, we obtain a generalization of Proposition 2.1, and accordingly, we obtain q-consecutive integers for . These new results are similar to the ones presented in some other studies [7–9] and .
Here, we note that these are related to .
with . Finally, we shall relate through Theorem 4.7 and Remark 4.14, q-Bernoulli polynomials with the third-order mock theta functions introduced by Ramanujan.
Throughout this paper, we adopt the following notations:
ω: the r th root of unity.
2 Identities of basic hypergeometric series and
Throughout this paper, q denotes a fixed complex number of absolute value less than 1, so that we may write , where τ is a complex number with a positive imaginary part. We use to denote . The partial product converges for all values of a, as may be easily seen from the absolute convergence of . Hence, if b is not one of the values , the coefficients are bounded, and the series (2.1) converges for all t inside the unit circle, and represents an analytic function therein. Hence, the function on the right-hand of (2.2) is regular in the domain , except for a simple pole at . Therefore, we obtain the continuation of F to a larger circle. Then, it is easy to apply (2.2) again to the continuation of F to the circle , and thus, we conclude that for , , the only possible singularities of F occur at the points (), which are simple poles in general. As a function of b, F is regular, except possibly at the simple poles (), provided that b and t do not have one of the singular values mentioned above. First, we derive Theorem 2.2 by generalizing the following proposition.
To prove this, we need some identities from .
Thus, we deduce the identity as desired. □
Next, we present alternative proofs of the following results of Kim  as an application of Theorem 2.2.
These are the q-analogues of .
- (2)If we put in (1), we have the first equality
- (3)It follows from (2) that(2.3)
Thus, by combining (2.3), (2.4), and (2.5), we reach the conclusion. □
3 q-Consecutive and q-analogue of Eulerian numbers and
We have studied the infinite sum with linear coefficients for q-numbers in the previous section. In this section, we consider the sum with quadratic coefficients, i.e., the following equation.
Since , we get the first equality.
by the definition of . Therefore, the last equality follows. □
The other cases will be studied in greater detail in the next section. This was previously proved by Schlosser by using Bailey’s terminating very-well-poised balanced transformation.
Then, the sum of formulas after setting and shows that our corollary is true. □
A similar result is in [, Lemma 2.1]. Thus, we get the results for and 2 as follows.
Comparing this with (3.1), we can prove (1).
as desired. □
for any positive integer k from [, Proposition 1]. The proof of Theorem 3.4 is obtained without the help of the summations above.
4 Difference equation and q-consecutive integer
As mentioned in Theorem 3.3, in this section, we study for more general cases l and its similar sum with q-binomial coefficients. In addition, we show the relations between these and twisted q-Bernoulli numbers. To this end, we need the following lemma.
Proof See Section 20, . □
Using this lemma, we generalize the identities considered in the previous two sections.
If l is 1 (respectively, 2), this would be the result of Corollary 2.4(1) (respectively, Lemma 3.1).
Therefore, if we let , we are done, which amounts to recovering Corollary 2.4, Lemma 3.1, and Theorem 3.2. □
Then, we get the following theorem.
- (2)Since , we have
Replacing t by in Theorem 4.4(1), we can deduce one of Simsek’s relations [, Proposition 3.1].
By (S2) and Theorem 4.5, we get a corollary.
Substituting , , and for l, n, and t in (4.3), respectively, we establish the last identities. □
As its immediate corollary, we have the following.
Moreover, we can deduce the following corollary, which is analogous to Theorem 4.4.
Thus, by substituting q for t, we conclude (3). □
Proof We see from (6.22) in  that . Thus, the proposition follows from Theorem 4.4(2). □
Henceforth, we concentrate on introduced in Section 1.
Here, we consider as 1.
Multiplying both sides by and replacing t by , we complete the proof. □
Further, it gives rise to a third-order mock theta function , where the explicit formula of was conjectured by both Andrews  and Dragonette , and later proved by Bringmann and Ono . Let (resp., ) be the infinite sum (resp., ). Then, we can find the coefficients of the infinite sum , because the formula for the partition function is already known and .
By utilizing our notations, we interpret them as follows.
with and .
The first author was supported by the National Institute for Mathematical Science (NIMS) grant funded by the Korean government (B21303), the second named author partially was supported by the NRF of Korea grant funded by the MISP (2013042157) and the corresponding author was supported by NRF 2012-0006901.
- Hegazi AS, Mansour M: A note on q -Bernoulli numbers and polynomials. J. Nonlinear Math. Phys. 2006, 13(1):9-18. 10.2991/jnmp.2006.13.1.2MathSciNetView ArticleMATHGoogle Scholar
- Kim M-S: On Euler numbers, polynomials and related p -adic integrals. J. Number Theory 2009, 129: 2166-2179. 10.1016/j.jnt.2008.11.004MathSciNetView ArticleMATHGoogle Scholar
- Kim T: Power series and asymptotic series associated with the q -analog of the two-variable p -adic L -function. Russ. J. Math. Phys. 2005, 12(2):186-196.MathSciNetMATHGoogle Scholar
- Kupershmidt BA: Reflection symmetries of q -Bernoulli polynomials. J. Nonlinear Math. Phys. 2005, 12: 412-422. suppl. 1 10.2991/jnmp.2005.12.s1.34MathSciNetView ArticleGoogle Scholar
- Kim T: On explicit formulas of p -adic q - L -functions. Kyushu J. Math. 1994, 48(1):73-86. 10.2206/kyushujm.48.73MathSciNetView ArticleMATHGoogle Scholar
- Kim T: Sums of powers of consecutive q -integers. Adv. Stud. Contemp. Math. 2004, 9(1):15-18.MathSciNetMATHGoogle Scholar
- Kim T: Symmetry of power sum polynomials and multivariate fermionic p -adic invariant integral on . Russ. J. Math. Phys. 2009, 16(1):93-96. 10.1134/S1061920809010063MathSciNetView ArticleMATHGoogle Scholar
- Kim M-S, Lee J: On sums of products of the extended q -Euler numbers. J. Math. Anal. Appl. 2013, 397: 522-528. 10.1016/j.jmaa.2012.07.067MathSciNetView ArticleMATHGoogle Scholar
- Simsek Y: Generating functions of the twisted Bernoulli numbers and polynomials associated with their interpolation functions. Adv. Stud. Contemp. Math. 2008, 16(2):251-278.MathSciNetMATHGoogle Scholar
- Simsek Y: On p -adic twisted q - L -functions related to generalized twisted Bernoulli numbers. Russ. J. Math. Phys. 2006, 13(3):340-348. 10.1134/S1061920806030095MathSciNetView ArticleMATHGoogle Scholar
- Faulhaber J: Academia Algebræ, Darinnen die miraculosische Inventiones zu den höchsten Cossen weiters continuirt und profitert werden. Johann Ulrich Schonigs, Augsburg; 1631.Google Scholar
- Knuth DE: Johann Faulhaber and sums of powers. Math. Comput. 1993, 61(203):277-294. 10.1090/S0025-5718-1993-1197512-7MathSciNetView ArticleMATHGoogle Scholar
- Warnaar SO: On the q -analogue of the sum of cubes. Electron. J. Comb. 2004., 11(1): Article ID N13 (electronic)MATHGoogle Scholar
- Fine NJ: Basic Hypergeometric Series and Applications. Am. Math. Soc., Providence; 1988.View ArticleMATHGoogle Scholar
- Kim T: A note on p -adic q -integral on associated with q -Euler numbers. Adv. Stud. Contemp. Math. 2007, 15(2):133-137.MathSciNetMATHGoogle Scholar
- Kim T: q -Volkenborn integration. Russ. J. Math. Phys. 2002, 9(3):288-299.MathSciNetMATHGoogle Scholar
- Schlosser M: q -Analogues of the sums of consecutive integers, squares, cubes, quarts and quints. Electron. J. Comb. 2004., 11(1): Article ID R71 (electronic)MATHGoogle Scholar
- Carlitz L: q -Bernoulli and Eulerian numbers. Trans. Am. Math. Soc. 1954, 76: 332-350.MathSciNetMATHGoogle Scholar
- Kim T: On the q -extension of Euler and Genocchi numbers. J. Math. Anal. Appl. 2007, 326(2):1458-1465. 10.1016/j.jmaa.2006.03.037MathSciNetView ArticleMATHGoogle Scholar
- Kim T: On p -adic q - l -functions and sums of powers. J. Math. Anal. Appl. 2007, 329(2):1472-1481. 10.1016/j.jmaa.2006.07.071MathSciNetView ArticleMATHGoogle Scholar
- Andrews GE: On the theorems of Watson and Dragonette for Ramanujan’s mock theta functions. Am. J. Math. 1966, 88: 454-490. 10.2307/2373202View ArticleGoogle Scholar
- Dragonette L: Some asymptotic formulae for the mock theta series of Ramanujan. Trans. Am. Math. Soc. 1952, 72: 474-500. 10.1090/S0002-9947-1952-0049927-8MathSciNetView ArticleMATHGoogle Scholar
- Bringmann K, Ono K:The mock theta function conjecture and partition ranks. Invent. Math. 2006, 165: 243-266. 10.1007/s00222-005-0493-5MathSciNetView ArticleMATHGoogle Scholar
- Hardy GH, Seshu Aiyar PV, Wilson BM: Collected Papers of Srinivasa Ramanujan. Cambridge University Press, Cambridge; 1927.Google Scholar
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.