Abstract
In this paper, we consider the Barnes-type Daehee with λ-parameter and degenerate Euler mixed-type polynomials. We present several explicit formulas and recurrence relations for these polynomials. Also, we establish a connection between our polynomials and several known families of polynomials.
Similar content being viewed by others
1 Introduction
In this paper, we use umbral calculus techniques (see [1, 2]) to obtain several new and interesting identities of Barnes-type Daehee with λ-parameter and degenerate Euler mixed-type polynomials. To define the umbral calculus, let Π be the algebra of polynomials in a single variable x over \(\mathbb{C}\) and \(\Pi^{*}\) be the vector space of all linear functionals on Π. The action of a linear functional \(L\in\Pi^{*}\) on a polynomial \(p(x)\) is denoted by \(\langle L|p(x)\rangle \), and linearly extended as \(\langle cL+dL'|p(x)\rangle=c\langle L|p(x)\rangle+d\langle L'|p(x)\rangle\), where \(c,d\in\mathbb{C}\). Define \(\mathcal{H}=\{f(t)=\sum_{k\geq0} a_{k}\frac{t^{k}}{k!}\mid a_{k}\in\mathbb{C}\}\) to be the algebra of formal power series in a single variable t. The formal power series \(f(t)\in\mathcal{H}\) defines a linear functional on Π by setting \(\langle f(t)|x^{n}\rangle=a_{n}\) for all \(n\geq0\). Thus, we have (see [1, 2])
where \(\delta_{n,k}\) is the Kronecker symbol. Let \(f_{L}(t)=\sum_{n\geq0}\langle L|x^{n}\rangle\frac{t^{n}}{n!}\). By (1.1), we get that \(\langle f_{L}(t)|x^{n}\rangle=\langle L|x^{n}\rangle\). Thus, the map \(L\mapsto f_{L}(t)\) gives a vector space isomorphism from \(\Pi^{*}\) onto \(\mathcal{H}\). Therefore, \(\mathcal{H}\) is thought of as a set of both formal power series and linear functionals, which is called the umbral algebra. The umbral calculus is the study of umbral algebra.
The order \(O(f(t))\) of the non-zero power series \(f(t)\) is defined to be k when \(f(t)=\sum_{n\geq k}a_{n}t^{n}\) and \(a_{k}\neq0\). Suppose that \(O(f(t))=1\) and \(O(g(t))=0\). Then there exists a unique sequence \(s_{n}(x)\) of polynomials such that \(\langle g(t)f(t)^{k}|s_{n}(x)\rangle=n!\delta_{n,k}\), where \(n,k\geq0\). The sequence \(s_{n}(x)\) is called the Sheffer sequence for \((g(t),f(t))\), and we write \(s_{n}(x)\sim(g(t),f(t))\) (see [1, 2]). For \(f(t)\in\mathcal{H}\) and \(p(x)\in\Pi\), we have that \(\langle e^{yt}|p(x)\rangle=p(y)\), \(\langle f(t)g(t)|p(x)\rangle=\langle g(t)|f(t)p(x)\rangle\), \(f(t)=\sum_{n\geq0}\langle f(t)|x^{n}\rangle \frac {t^{n}}{n!}\) and \(p(x)=\sum_{n\geq0}\langle t^{n}|p(x)\rangle\frac {x^{n}}{n!}\). Therefore, \(\langle t^{k}|p(x)\rangle=p^{(k)}(0)\), \(\langle1|p^{(k)}(x)\rangle=p^{(k)}(0)\), where \(p^{(k)}(0)\) denotes the kth derivative of \(p(x)\) with respect to x at \(x=0\). So, \(t^{k}p(x)=p^{(k)}(x)=\frac{d^{k}}{dx^{k}}p(x)\) for all \(k\geq0\) (see [1, 2]).
Let \(s_{n}(x)\sim(g(t),f(t))\). Then we have
for all \(y\in\mathbb{C}\), where \(\bar{f}(t)\) is the compositional inverse of \(f(t)\) (see [1, 2]). For \(s_{n}(x)\sim(g(t),f(t))\) and \(r_{n}(x)\sim(h(t),\ell(t))\), let \(s_{n}(x)=\sum_{k=0}^{n} c_{n,k}r_{k}(x)\). Then we have
Throughout the paper, let \(r,s\in\mathbb{Z}_{>0}\), and let \(\mathbf{a}=(a_{1},a_{2},\ldots,a_{r})\), \(\mathbf{b}=(b_{1},b_{2},\ldots ,b_{s})\) with \(a_{j},b_{i}\neq0\) for all i, j. We define the Barnes-type Daehee with λ-parameter and degenerate Euler mixed-type polynomials \(D\mathcal{E}_{n}(\lambda,x|\mathbf{a};\mathbf{b})\) (for other Barnes-types, see [3–5]) as
where we define
For \(x=0\), \(D\mathcal{E}_{n}(\lambda|\mathbf{a};\mathbf{b})=D\mathcal {E}_{n}(\lambda,0|\mathbf{a};\mathbf{b})\) are called the Barnes-type Daehee with λ-parameter and degenerate Euler mixed-type numbers.
We recall here that the polynomials \(D_{n,\lambda}(x|\mathbf{a})\) given by
are called the Barnes-type Daehee polynomials with λ-parameter (see [6, 7]). Also, the polynomials \(\mathcal{E}_{n}(\lambda ,x|\mathbf{b})\) given by
are called the Barnes-type degenerate Euler polynomials which are studied in [8–11]. In the case \(x=0\), we write \(\mathcal{E}_{n}(\lambda|\mathbf{b})=\mathcal{E}_{n}(\lambda,0|\mathbf {b})\), which are called the Barnes-type degenerate Euler numbers. Note that \(\lim_{\lambda\rightarrow0}\mathcal{E}_{n}(\lambda,x|\mathbf {b})=E_{n}(x|\mathbf{b})\) and \(\lim_{\lambda\rightarrow\infty}\lambda^{-n}\mathcal{E}_{n}(\lambda ,\lambda x|\mathbf{b})=(x)_{n}\), where \((x)_{n}=\prod_{i=0}^{n-1}(x-i)\) with \((x)_{0}=1\) and \(E_{n}(x|\mathbf{b})\) are the Barnes-type degenerate Euler polynomials given by
It is immediate from (1.2) and (1.4) to see that \(D\mathcal{E}_{n}(\lambda,x|\mathbf{a};\mathbf{b})\) is the Sheffer sequence for the pair \(g(t)=\prod_{i=1}^{r} (\frac {e^{a_{i}t}-1}{t} )\prod_{i=1}^{s} (\frac{e^{b_{i}t}+1}{2} )\) and \(f(t)=\frac{e^{\lambda t}-1}{\lambda}\). Thus,
The aim of the present paper is to present several new identities for Barnes-type Daehee with λ-parameter and degenerate Euler mixed-type polynomials by the use of umbral calculus. For some of the related works, one is referred to the papers [12–20].
2 Explicit formulas
In this section we suggest several explicit formulas for the Barnes-type Daehee with λ-parameter and degenerate Euler mixed-type polynomials. To do that, we recall that the Stirling numbers \(S_{1}(n,m)\) of the first kind are defined as \((x)_{n}=\sum_{m=0}^{n}S_{1}(n,m)x^{m}\sim(1,e^{t}-1)\) or \(\frac{1}{j!}(\log(1+t))^{j}=\sum_{\ell\geq j}S_{1}(\ell,j)\frac {t^{\ell}}{\ell!}\). Let \((x|\lambda)_{n}\) be the generalized falling factorials defined by \((x|\lambda)_{n}=\prod_{i=0}^{n-1}(x-i\lambda)\) with \((x|\lambda)_{0}=1\), namely \((x|\lambda)_{n}=\lambda^{n}(x/\lambda)_{n}\).
Let \(\mathit{BE}_{n}(x|\mathbf{a};\mathbf{b})\) be the Barnes-type Bernoulli and Euler mixed-type polynomials given by
Note that \(\mathit{BE}_{n}^{r,s}(x)\) denotes the special case \(\mathit{BE}_{n}(x|\underbrace{1,1,\ldots,1}_{r};\underbrace{1,1,\ldots,1}_{s})\) and was treated in [21, 22] by using p-adic integrals on \(\mathbb{Z}_{p}\).
Theorem 2.1
For all \(n\geq0\),
Proof
By (1.6), we have that
Thus,
as claimed. □
Theorem 2.2
For all \(n\geq0\),
Proof
We proceed the proof by applying the conjugate representation: for \(s_{n}(x)\sim(g(t),f(t))\), we have \(S_{n}(x)=\sum_{j=0}^{n}\frac{1}{j!}\langle g(\bar{f}(t))^{-1}\bar{f}(t)^{j}|x^{n}\rangle x^{j}\). By (1.6), we obtain
Therefore, \(D\mathcal{E}_{n}(\lambda,x|\mathbf{a};\mathbf{b})=\sum_{j=0}^{n} (\sum_{\ell=j}^{n}\binom{n}{\ell}S_{1}(\ell,j)\lambda ^{\ell-j}D\mathcal{E}_{n-\ell}(\lambda|\mathbf{a};\mathbf {b}) ) x^{j}\), as claimed. □
Theorem 2.3
For all \(n\geq1\),
where \(B_{\ell}^{(n)}\) is the ℓth Bernoulli number of order n (see [23]).
Proof
We proceed the proof by using the following transfer formula: for \(p_{n}(x)\sim(1,f(t))\) and \(q_{n}(x)\sim(1,g(t))\), we have that \(q_{n}(x)=x (\frac{f(t)}{g(t)} )^{n}x^{-1}p_{n}(x)\) for all \(n\geq1\). So, by the fact that \(x^{n}\sim(1,t)\) and (2.2), we obtain
which, by (2.1), implies
as required. □
In order to state our next theorem, we recall the polynomials \(\beta\mathcal{E}_{n}(\lambda,x|\mathbf{a};\mathbf{b})\), which are called the Barnes-type degenerate Bernoulli and Euler mixed-type polynomials. They are defined as
where \(Q_{r,s}(t)=\prod_{i=1}^{r} (\frac{t}{(1+\lambda t)^{\frac{a_{i}}{\lambda}}-1} )\prod_{i=1}^{s} (\frac {2}{(1+\lambda t)^{\frac{b_{i}}{\lambda}}+1} )\), for example, see [3].
Theorem 2.4
For all \(n\geq0\),
Proof
By (1.4), we have
which, by (2.3), implies \(D\mathcal{E}_{n}(\lambda,x|\mathbf{a};\mathbf{b})=\sum_{\ell =0}^{n}\frac{\binom{n}{\ell}}{\binom{\ell+r}{r}}\lambda ^{\ell}S_{1}(\ell+r,r)\beta\mathcal{E}_{n-\ell}(\lambda,x|\mathbf {a};\mathbf{b})\), as required. □
In order to present our next theorem, we recall the polynomials \(\beta_{n}(\lambda,x|\mathbf{a})\), which are called the Barnes-type degenerate Bernoulli polynomials. They are given by
Theorem 2.5
For all \(n\geq0\),
Proof
By the proof of Theorem 2.4, we have
Thus, by (1.5) and (2.4), we obtain
which completes the proof of the first formula.
The second formula can be obtained by using very similar techniques. □
3 Recurrence relations
In this section, we present several recurrence relations for Barnes-type Daehee with λ-parameter and degenerate Euler mixed-type polynomials. Our first recurrence is based on the polynomials \((x|\lambda)_{n}\).
Theorem 3.1
For all \(n\geq0\),
Proof
Let \(p_{n}(x)=\prod_{i=1}^{r} (\frac{e^{a_{i}t}-1}{t} )\prod_{i=1}^{s} (\frac{e^{b_{i}t}+1}{2} )D\mathcal{E}_{n}(\lambda ,x|\mathbf{a};\mathbf{b})\). By (2.2) we have that \(p_{n}(x)=(x|\lambda)_{n}\sim (1,\frac{e^{\lambda t}-1}{\lambda } )\), which leads to the required recurrence. □
The second recurrence is obtained from the fact that \(f(t)s_{n}(x)=ns_{n-1}(x)\) for all \(s_{n}(x)\sim(g(t),f(t))\) (see [1, 2]).
Theorem 3.2
For all \(n\geq1\),
Proof
By (1.6) and \(f(t)s_{n}(x)=ns_{n-1}(x)\) whenever \(s_{n}(x)\sim (g(t),f(t))\), we have
which implies \(D\mathcal{E}_{n}(\lambda,x+\lambda|\mathbf{a};\mathbf{b})-D\mathcal {E}_{n}(\lambda,x|\mathbf{a} ;\mathbf{b})=n\lambda D\mathcal{E}_{n-1}(\lambda,x|\mathbf {a};\mathbf{b})\), as required. □
The next result gives an explicit formula for \(\frac{d}{dx}D\mathcal {E}_{n}(\lambda,x+\lambda|\mathbf{a};\mathbf{b})\).
Theorem 3.3
For all \(n\geq1\),
Proof
It is well known that for \(s_{n}(x)\sim(g(t),f(t))\), \(\frac {d}{dx}s_{n}(x)=\sum_{\ell=0}^{n-1}\binom{n}{\ell}\langle\bar {f}(t)|x^{n-\ell}\rangle s_{\ell}(x)\) (see [1, 2]). In our case, by (1.6), we have
Thus \(\frac{d}{dx}D\mathcal{E}_{n}(\lambda,x|\mathbf{a};\mathbf {b})=n!\sum_{\ell =0}^{n-1}\frac{(-\lambda)^{n-\ell-1}}{\ell!(n-\ell)}D\mathcal {E}_{\ell}(\lambda,x|\mathbf{a};\mathbf{b})\), as required. □
Another recurrence relation can be stated as follows.
Theorem 3.4
For all \(n\geq1\),
where \(\mathfrak{b}_{n}\) is the nth Bernoulli number of the second kind, which is defined by \(\frac{t}{\log(1+t)}=\sum_{n\geq 0}\mathfrak {b}_{n}\frac{t^{n}}{n!}\).
Proof
Let \(n\geq1\). Then
By (1.6), the term in (3.3) equals
For the term in (3.2), we observe that
So the term in (3.2) is
For the term in (3.1), we note that
where \(\frac{\lambda t}{\log(1+\lambda t)}-\frac{a_{i} t}{(1+\lambda t)^{a_{i}/\lambda}-1}\) has order at least 1. Thus, the term in (3.1) equals
which is equal to
By using (3.4), (3.5) and (3.6) instead of (3.3), (3.2) and (3.1), respectively, we complete the proof. □
Theorem 3.5
For all \(n\geq0\),
where \(B_{\ell}\) is the ℓth Bernoulli number and \(E_{\ell}(1)\) is the ℓth Euler polynomial evaluated at 1.
Proof
It is well known that for \(s_{n}(x)\sim(g(t),f(t))\), \(s_{n+1}(x)=(x-g'(t)/g(t))\frac{1}{f'(t)} s_{n}(x)\) (see [1, 2]). In our case, by (1.6), we have
and by Theorem 2.1, we obtain
Note that
So
Hence, by substituting into (3.7), we complete the proof. □
4 Relations with other families of polynomials
In this section, we establish a connection between Barnes-type Daehee with λ-parameter and degenerate Euler mixed-type polynomials and several known families of polynomials.
Theorem 4.1
For all \(n\geq0\),
Proof
Note that \((x|\lambda)_{n}\sim(1,\frac{e^{\lambda t}-1}{\lambda})\). Let \(D\mathcal{E}_{n}(\lambda,x|\mathbf{a};\mathbf{b})=\sum_{m=0}^{n}c_{n,m}(x|\lambda)_{m}\). By (1.3) and (1.6), we have
which completes the proof. □
For the following, we note that \(B_{n}^{(\alpha)}(x)\sim(\frac {(e^{t}-1)^{\alpha}}{t^{\alpha}},t)\).
Theorem 4.2
For all \(n\geq0\), the polynomial \(D\mathcal{E}_{n}(\lambda,x|\mathbf {a};\mathbf{b})\) is given by
where \(a_{\ell,k,q,p}=S_{1}(\ell,m)S_{1}(q+\alpha,q-p+\alpha)S_{2}(q-p+\alpha ,\alpha )\lambda^{k+\ell+p-m}b_{\ell}^{(\alpha)}\) and \(b_{\ell}^{(\alpha)}\) is the ℓth Bernoulli number of the second kind of order α given by \((\frac{t}{\log(1+t)})^{\alpha}=\sum_{\ell\geq0}b_{\ell }^{(\alpha)}\frac {t^{\ell}}{k!}\).
Proof
Let \(D\mathcal{E}_{n}(\lambda,x|\mathbf{a};\mathbf{b})=\sum_{m=0}^{n}c_{n,m}B_{m}^{(\alpha )}(x)\). By (1.3) and (1.6), we have
One can show that
where \(S_{2}(n,m)\) is the Stirling number of the second kind. Thus,
where \(\langle P_{r,s}(t)|x^{n-\ell-k-q}\rangle=D\mathcal{E}_{n-\ell -k-q}(\lambda|\mathbf{a};\mathbf{b})\). Hence,
which completes the proof. □
By similar techniques as in the proof of the last theorem, we can express our polynomials \(D\mathcal{E}_{n}(\lambda,x|\mathbf {a};\mathbf{b})\) in terms of the degenerate Bernoulli polynomials \(\beta_{n}^{(\alpha)}(\lambda,x)\) of order α. These polynomials are the Sheffer sequence which is given by \(\beta_{n}^{(\alpha)}(\lambda,x)\sim((\frac{\lambda (e^{t}-1)}{e^{\lambda t}-1})^{\alpha},\frac{e^{\lambda t}-1}{\lambda})\).
Theorem 4.3
For all \(n\geq0\), the polynomial \(D\mathcal{E}_{n}(\lambda,x|\mathbf {a};\mathbf{b})\) is given by
where \(c_{n,m}=\sum_{q=0}^{n-m}\sum_{p=0}^{q} \frac{\binom{n-m}{q}}{\binom{q+\alpha}{\alpha}}S_{1}(q+\alpha ,q-p+\alpha )S_{2}(q-p+\alpha,\alpha)\lambda^{p}D\mathcal{E}_{n-m-q}(\lambda |\mathbf{a};\mathbf{b})\).
Now we are interested in expressing our polynomials in terms of \(H_{n}^{(\alpha)}(x|\mu)\) which are called the Frobenius-Euler polynomials of order α. Note that \(H_{n}^{(\alpha)}(x|\mu)\sim ( (\frac{e^{t}-\mu}{1-\mu} )^{\alpha},t )\) (see [10, 24]).
Theorem 4.4
For all \(n\geq0\),
where
Proof
Let \(D\mathcal{E}_{n}(\lambda,x|\mathbf{a};\mathbf{b})=\sum_{m=0}^{n}c_{n,m}H^{(\alpha )}_{m}(x|\mu)\). By (1.3) and (1.6), we have
where
Thus, the constants \(c_{n,m}\) are given by
which completes the proof. □
Now we are interested in expressing our polynomials in terms of \(\mathcal{E}_{n}^{(\alpha)}(\lambda,x)\) which are called the degenerate Euler polynomials of order α. Note that
(see [10]). Using similar techniques as in the proof of the above theorem, we obtain the following relation.
Theorem 4.5
For all \(n\geq0\), the polynomial \(D\mathcal{E}_{n}(\lambda,x|\mathbf {a};\mathbf{b})\) is given by
References
Roman, S: More on the umbral calculus, with emphasis on the q-umbral calculus. J. Math. Anal. Appl. 107, 222-254 (1985)
Roman, S: The Umbral Calculus. Dover, New York (2005)
Kim, DS, Kim, T, Kwon, HI, Mansour, T: Barnes-type degenerate Bernoulli and Euler mixed-type polynomials (submitted)
Kim, DS, Kim, T, Kwon, HI, Mansour, T, Seo, JJ: Barnes-type Peters polynomial with umbral calculus viewpoint. J. Inequal. Appl. 2014, 324 (2014)
Kim, DS, Kim, T, Kwon, HI, Mansour, T: Barnes-type Narumi of the first kind and poly-Cauchy of the first kind mixed-type polynomials. Adv. Stud. Theor. Phys. 8(22), 961-975 (2014)
Kim, DS, Kim, T, Lee, S-H, Seo, JJ: A note on the lambda-Daehee polynomials. Int. J. Math. Anal. 7(62), 3069-3080 (2013)
Park, J-W: On the twisted Daehee polynomials with q-parameter. Adv. Differ. Equ. 2014, 304 (2014)
Carlitz, L, Stirling, D: Bernoulli and Eulerian numbers. Util. Math. 15, 51-88 (1979)
Carlitz, L: A degenerate Staudt-Clausen theorem. Arch. Math. (Basel) 7, 28-33 (1956)
Kim, DS, Kim, T: Higher-order degenerate Euler polynomials. Appl. Math. Sci. (Ruse) 9(2), 57-73 (2015)
Kim, DS, Kim, T: Some identities of degenerate Euler polynomials arising from fermionic integral on \(Z_{p}\). Integral Transforms Spec. Funct. 26(4), 295-302 (2015)
Araci, S, Acikgoz, M, Sen, E: On the extended Kim’s p-adic q-deformed fermionic integrals in the p-adic integer ring. J. Number Theory 133(10), 3348-3361 (2013)
Hwang, K-W, Dolgy, DV, Kim, DS, Kim, T, Lee, SH: Some theorems on Bernoulli and Euler numbers. Ars Comb. 109, 285-297 (2013)
Kim, DS, Kim, T: q-Bernoulli polynomials and q-umbral calculus. Sci. China Math. 57(9), 1867-1874 (2014)
Kim, T: Some identities on the q-Euler polynomials of higher order and q-Stirling numbers by the fermionic p-adic integral on \(Z_{p}\). Russ. J. Math. Phys. 16(4), 484-491 (2009)
Luo, Q-M, Qi, F: Relationships between generalized Bernoulli numbers and polynomials and generalized Euler numbers and polynomials. Adv. Stud. Contemp. Math. (Kyungshang) 7(1), 11-18 (2003)
Ozden, H: p-Adic distribution of the unification of the Bernoulli, Euler and Genocchi polynomials. Appl. Math. Comput. 218(3), 970-973 (2011)
Park, J-W, Rim, S-H, Kwon, J: The twisted Daehee numbers and polynomials. Adv. Differ. Equ. 2014, 1 (2014)
Rim, S-H, Joung, J, Jin, J-H, Lee, S-J: A note on the weighted Carlitz’s type q-Euler numbers and q-Bernstein polynomials. Proc. Jangjeon Math. Soc. 15(2), 195-201 (2012)
Zhang, Z, Yang, H: Some closed formulas for generalized Bernoulli-Euler numbers and polynomials. Proc. Jangjeon Math. Soc. 11(2), 191-198 (2008)
Kim, DS, Kim, T, Kwon, HI, Seo, JJ: Identities of some special mixed-type polynomials. Adv. Stud. Theor. Phys. 8(17), 745-754 (2014)
Lim, D, Do, Y: Some identities of Barnes-type special polynomials. Adv. Differ. Equ. 2015, 42 (2015)
Kim, DS, Kim, T, Dolgy, DV, Komtasu, T: Barnes-type degenerate Bernoulli polynomials. Adv. Stud. Contemp. Math. 25, 121-146 (2015)
Kurt, B, Simsek, Y: On the generalized Apostol-type Frobenius-Euler polynomials. Adv. Differ. Equ. 2013, 1 (2013)
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Dolgy, D.V., Kim, D.S., Kim, T. et al. Barnes-type Daehee with λ-parameter and degenerate Euler mixed-type polynomials. J Inequal Appl 2015, 154 (2015). https://doi.org/10.1186/s13660-015-0676-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0676-6