Skip to main content

Truncated-exponential-based Frobenius–Euler polynomials

Abstract

In this paper, we first introduce a new family of polynomials, which are called the truncated-exponential based Frobenius–Euler polynomials, based upon an exponential generating function. By making use of this exponential generating function, we obtain their several new properties and explicit summation formulas. Finally, we consider the truncated-exponential based Apostol-type Frobenius–Euler polynomials and their quasi-monomial properties.

Introduction and preliminaries

Various families of polynomials play a key role in applied mathematics due to the fact that they can be described in many different ways, for example, by orthogonality conditions, by generating functions, as solutions to differential equations, by integral transforms, by recurrence relations, by operational formulas, and so on. In light of their many important properties, their extensions and generalizations with applications are also considered by the researchers in mathematical and physical sciences. The resulting formulas are very important and potentially useful, because they include expansions for many transcendent expressions of mathematical physics in series of the classical orthogonal polynomials. The developments bear heavily upon the work of many researchers who have earlier studied the special polynomials with applications to p-adic analysis, q-analysis, umbral analysis, and so on (see, for example, the recent work [322] and [23]).

Frobenius [10] (see also [4]) studied the polynomials \(F_{n}(x|u)\) in great detail by means of the following exponential generating function:

$$ \sum_{n=0}^{\infty }F_{n}(x|u) \frac{t^{n}}{n!}=\frac{1-u}{e^{t}-u} e ^{xt}\quad \bigl(u \in \mathbb{C} \setminus \{1\}\bigr). $$
(1.1)

Several identities and characterizations of the Frobenius polynomials \(F_{n}(x|u)\) can be found in the works by Kim et al. [1417]. In the case when \(u=-1\) in (1.1), it reduces to the following relationship with the Euler polynomials \(E_{n}(x)\):

$$ F_{n}(x|-1)=E_{n} (x ), $$

which are given in (1.4) below. Owing to their important properties, and in the honor of Frobenius, the polynomials \(F_{n}(x|u)\) are called the Frobenius–Euler polynomials.

These polynomials are expressed recursively, in terms of the Frobenius–Euler numbers defined by

$$ F_{n}(u):=F_{n}(0|u), $$

as follows:

$$ F_{n}(x|u)=\sum_{k=0}^{n} \binom{n}{k}F_{k}(u)x^{n-k}\quad ( n\geqq 0 ), $$
(1.2)

where the Frobenius–Euler numbers \(F_{n}(u)\) satisfy the following recurrence relation:

$$ F_{0}(u)=1\quad \text{and}\quad \bigl(F(u)+1\bigr)^{n}-F_{n}(u)= (1-u ) \delta _{n,0}, $$
(1.3)

by simply replacing \(F^{n}(u)\) by \(F_{n}(u)\), \(\delta _{n,k}\) being the Kronecker delta.

The classical Bernoulli polynomials \(B_{n}(x)\) and the classical Euler polynomials \(E_{n}(x)\) are analogous to the Frobenius–Euler polynomials \(F_{n}(x|u)\). They are specified by the following exponential generating functions:

$$ \sum_{n=0}^{\infty }B_{n}(x) \frac{t^{n}}{n!}=\frac{t}{e^{t}-1} e ^{xt}\quad \text{and}\quad \sum_{n=0}^{\infty }E_{n}(x) \frac{t ^{n}}{n!}=\frac{2}{ e^{t}+1} e^{xt}. $$
(1.4)

The two-variable special polynomials from application viewpoint are very important as they allow the descent of a bunch of handy, advantageous and pragmatic identities in a fairly simple way. They also prove to be handy in originating new clan of special polynomials. The two-variable families of the Appell polynomials were originated by Bretti et al. [3] with the usage of an iterated isomorphism. The two-variable truncated-exponential, Hermite, Legendre and Laguerre polynomials along their extensions are investigated and examined in [2, 57, 23] by several authors.

The properties of the truncated-exponential polynomials (TEP) are comparatively little known, despite the fact that these polynomials prove to be very handy in solving many problems of quantum mechanics and optics. The main definition of TEP [1] is given as follows:

$$ e_{n}(x)=\sum_{k=0}^{n} \frac{x^{k}}{k!}. $$
(1.5)

It is noteworthy here that

$$ \lim_{n\rightarrow \infty }e_{n}(x)=e^{x}. $$

The comprehensive investigation and examination for the first time of certain properties of \(e_{n}(x)\) was made by Dattoli et al. [6].

The most remarkable properties of these polynomials can be established by using (1.5). An integral representation of these polynomials is given by

$$ e_{n}(x)=\frac{1}{n!} \int _{0}^{\infty }e^{-\xi }(x+\xi )^{n} \,\mathrm{d}\xi , $$
(1.6)

which is a notable consequence of the following well-flourished expression [1]:

$$ n!= \int _{0}^{\infty }e^{-\xi } \xi ^{n} \,\mathrm{d}\xi . $$
(1.7)

The TEP can also be written in terms of the ordinary generating function as follows [6]:

$$ \sum_{n=0}^{\infty }e_{n}(x)t^{n}= \frac{e^{xt}}{1-t}\quad \bigl(t\in \mathbb{C}; \vert t \vert < 1 \bigr). $$
(1.8)

A further extension of the TEP \(e_{n}(x)\) to two variables was given by Dattoli et al. [6]. The TEP has shown to play a vital and key role in evaluating integrals containing products of special functions. They also emerge in numerous problems of quantum mechanics and optics, but their properties are not known in a way they should be.

Recalling that the two-variable TEP \(e_{n}(x,y)\) are determined by means of the generating relation (see [6])

$$ \sum_{n=0}^{\infty }{}_{[2]}e_{n}(x,y)t^{n}= \frac{e^{xt}}{1-yt^{2}} $$
(1.9)

and possess the following series definition:

$$ {}_{[ 2]}e_{n}(x,y)=\sum_{k=0}^{[\frac{n}{2}]} \frac{y^{k} x^{n-2k}}{ (n-2k)!}. $$
(1.10)

Recalling also that the higher-order two-variable TEP \(e_{n}(x,y)\) are determined by the generating relation given by (see [6])

$$ \sum_{n=0}^{\infty }{}_{[s]}e_{n}(x,y)t^{n}= \frac{e^{xt}}{1-yt^{s}}, $$
(1.11)

which satisfy the following formula:

$$ {}_{[s]}e_{n}(x,y)=\sum_{k=0}^{[\frac{n}{s}]} \frac{y^{k} x^{n-sk}}{ (n-sk)!}. $$
(1.12)

In view of Eqs. (1.8), (1.9) and (1.11), we find that

$$ {}_{[2]}e_{n}(x,y):=e_{n}^{(2)}(x,y)\quad \text{and}\quad e_{n}(x):=e _{n}^{(1)}(x,1). $$

We note that

$$ U_{n}(y)={}_{[2]}e_{n}(0,y), $$
(1.13)

where \(U_{n}(y)\) represents the Chebyshev polynomials of the second kind, which is determined by the following ordinary generating relation [1]:

$$ \sum_{n=0}^{\infty }U_{n}(x)t^{n}= \frac{1}{1-2xt+t^{2}} \quad \bigl( \vert t \vert < 1;x\leqq 1 \bigr). $$
(1.14)

Furthermore, under the operation of the multiplicative operator \(\widehat{\mathcal{M}}\) and the derivative operator \(\widehat{\mathcal{M}}\), we get

$$ \widehat{\mathcal{M}}_{e^{(s)}}=x+syD_{y}yD_{x}^{s-1} $$
(1.15)

and

$$ \widehat{\mathcal{P}}_{e^{(s)}}=D_{y}, $$
(1.16)

respectively. It follows from (1.15) and (1.16) that the higher-order two-variable TEP \({}_{[s]}e_{n}(x,y)\) are quasi-monomial ([24] and [23]).

The idea of the monomiality principle traces back to the year 1941, when Steffenson [25] introduced the concept and method of poweroid. Subsequently, this method was modified by Dattoli [5]. According to the hypothesis of monomiality, the operators \(\widehat{\mathcal{M}}\) and \(\widehat{\mathcal{P}}\) occur and perform as multiplicative and derivative operators for a given polynomial set \(\{q_{n}(x)\}_{n\in \mathbb{N}}\), that is, they satisfy the following relations:

$$ q_{n+1}(x)=\widehat{\mathcal{M}}\bigl\{ q_{n}(x)\bigr\} $$
(1.17)

and

$$ n q_{n-1}(x)=\widehat{\mathcal{P}}\bigl\{ q_{n}(x)\bigr\} . $$
(1.18)

The set \(\{q_{n}(x)\}_{n\in \mathbb{N}}\) operated upon by the multiplicative and derivative operators is then called a quasi-monomial set and must obey the following relation:

$$ {}[ \widehat{\mathcal{P}},\widehat{\mathcal{M}}]= \widehat{\mathcal{P}} \widehat{\mathcal{M}}-\widehat{\mathcal{M}} \widehat{\mathcal{P}}=\widehat{1}, $$
(1.19)

which obviously exhibits a structure of the Weyl group.

If the underlying set \(\{q_{n}(x)\}_{n\in \mathbb{N}}\) is quasi-monomial, its properties can be obtained from those of the operators \(\widehat{\mathcal{M}} \) and \(\widehat{\mathcal{P}}\). Specifically, the following properties hold true:

  1. (i)

    \(q_{n}(x)\) exhibits the differential equation given by

    $$ \widehat{\mathcal{M}}\widehat{\mathcal{P}}\bigl\{ q_{n}(x)\bigr\} =n q_{n}(x) $$
    (1.20)

    if \(\widehat{\mathcal{M}}\) and \(\widehat{\mathcal{P}}\) have differential realizations.

  2. (ii)

    \(q_{n}(x)\) can be explicitly formulated as follows:

    $$ q_{n}(x)=\widehat{\mathcal{M}}^{n} \{1\} $$
    (1.21)

    with the initial condition \(q_{0}(x)=1\).

  3. (iii)

    The exponential generating relation of \(q_{n}(x)\) can be put in the following form:

    $$ e^{t\widehat{\mathcal{M}}}\{1\} =\sum_{n=0}^{\infty }q_{n}(x) \frac{t^{n}}{ n!}\quad \bigl( \vert t \vert < \infty \bigr) $$
    (1.22)

    by using of the identity (1.21) (see, for details, [5, 6] and [23]).

There is ongoing use of the above-mentioned operational methods in such fields of research as classical optics, quantum mechanics and many areas of mathematical physics. Thus, clearly, these methods provide efficient and powerful means of investigation of various families of polynomials.

This article is organized as follows. In Sect. 2, the truncated-exponential based Frobenius–Euler polynomials are introduced and their several interesting properties are obtained. In Sect. 3, summation formulas are established for these types of polynomials. In the last section (Sect. 4), the truncated-exponential based Apostol-type Frobenius–Euler polynomials are introduced and their quasi-monomial properties are derived.

Truncated-exponential based Frobenius–Euler polynomials

With a view to generating the truncated-exponential based Frobenius–Euler polynomials (TEFEPs) denoted by \({}_{e^{(s)}}F_{n}(x,y|u)\), we first prove the following result.

Theorem 2.1

The exponential generating function for the TEFEP \({}_{{e}^{(s)}}F_{n}(x,y|u)\) is given by

$$ \sum_{n=0}^{\infty }\text{ }_{{e}^{(s)}}F_{n}(x,y|u)\text{ } \frac{t ^{n}}{n!}= \frac{1-u}{ (e^{t}-u ) (1-yt^{s} )} e^{xt}. $$
(2.1)

Proof

Upon replacing x in Eq. (1.1) by \(\widehat{\mathcal{M}} _{e^{(s)}}\), that is, by the multiplicative operator of the polynomials \({}_{[s]}e_{n}(x,y)\), we have

$$ \frac{1-u}{e^{t}-u}\exp (\widehat{\mathcal{M}}_{e^{(s)}}t ) \{1\}=\sum _{n=0}^{ \infty }F_{n}(\widehat{ \mathcal{M}}_{e^{(s)}}|u) \frac{t ^{n}}{n!}. $$
(2.2)

Now, if we first make use of the expression for \(\widehat{\mathcal{M}}_{e^{(s)}}\) given by (1.15) and then decouple the exponential term in the left-hand side of the resulting equation by means of the Crofton identity:

$$ f \biggl(z+m\mu \frac{\mathrm{d}^{m-1}}{\mathrm{d}z^{m-1}} \biggr) \{ 1 \} =\exp \biggl(\mu \frac{\mathrm{d}^{m}}{ \mathrm{d}z^{m}} \biggr) \bigl\{ f(y) \bigr\} , $$
(2.3)

we get

$$ \frac{1-u}{e^{t}-u} e^{(yD_{y}yD_{x}^{s})} e^{xt}=\sum _{n=0}^{\infty }{}F_{n} \bigl(x+syD_{y}yD_{x}^{s-1}|u\bigr) \frac{t^{n}}{n!} \quad \biggl(D_{z}:=\frac{\mathrm{d}}{\mathrm{d}z} \biggr). $$
(2.4)

Denoting the TEFEP in the right-hand side of Eq. (2.4) by \({}_{e^{(s)}}F_{n}(x,y|u)\), we find that

$$ F_{n}\bigl(x+syD_{y}yD_{x}^{s-1}|u \bigr)={}_{e^{(s)}}F_{n}(x,y|u). $$
(2.5)

Also, upon expanding the first exponential in the left-hand side of Eq. (2.4) by using the following binomial expansion:

$$ (1-z)^{-\lambda }=\sum_{\ell =0}^{\infty } \frac{(\lambda )_{\ell }}{ \ell !} z^{\ell }, $$
(2.6)

the assertion (2.1) is established, \((\lambda )_{\ell }\) being the familiar Pochhammer symbol. □

The next result is proved in order to frame the TEFEP \({}_{{e}^{(s)}}F _{n}(x,y|u)\) in the context of the monomiality hypothesis.

Theorem 2.2

The following succeeding derivative and multiplicative operators for the TEFEP \({}_{{e}^{(s)}}F_{n}(x,y|u)\)hold true:

$$ \widehat{\mathcal{P}}_{e^{(s)}F}=D_{x} $$
(2.7)

and

$$ \widehat{\mathcal{M}}_{e^{(s)}F}=x+syD_{y}yD_{x}^{s-1}- \frac{e^{D_{x}}}{ e^{D_{x}}-u}, $$
(2.8)

respectively.

Proof

Differentiating both sides (2.2) with respect to t partially, we have

$$ \biggl(\widehat{\mathcal{M}}_{e^{(s)}}-\frac{e^{t}}{e^{t}-u} \biggr) \frac{1-u}{ (e^{t}-u)}\exp (\widehat{\mathcal{M}}_{e^{(s)}}t )= \sum _{n=0}^{\infty }F_{n+1}( \widehat{ \mathcal{M}}_{e^{(s)}}|u)\frac{t ^{n}}{n!}. $$
(2.9)

If we first substitute from (1.15) and (2.5) into both sides of Eq. (2.9) and then use the following identity:

$$ D_{x} \biggl\{ \frac{1-u}{(e^{t}-u)(1-yt^{s})} e^{xt} \biggr\} =t \biggl\{ \frac{1-u}{(e^{t}-u)(1-yt^{s})} e^{xt} \biggr\} $$
(2.10)

in the resulting equation, we get

$$ \biggl(x+syD_{y}yD_{x}^{s-1}- \frac{e^{D_{x}}}{e^{D_{x}}-u} \biggr) \sum_{n=0}^{\infty }{}_{e^{(s)}}F_{n}(x,y|u) \frac{t^{n}}{n!} = \sum_{n=0}^{\infty }{}_{e^{(s)}}F_{n+1}(x,y|u) \frac{t^{n}}{n!}. $$
(2.11)

Equating the coefficients of like powers of t on both sides of Eq. (2.11), we are led to the first result (2.8) asserted by Theorem 2.2.

Next, by using Eq. (2.1) on both sides of the identity (2.10), we have

$$ D_{x} \Biggl\{ \sum_{n=0}^{\infty }{}_{e^{(s)}}F_{n}(x,y|u) \frac{t ^{n}}{n!} \Biggr\} = \Biggl\{ \sum_{n=0}^{\infty }{}_{e^{(s)}}F_{n-1}(x,y|u) \frac{t^{n}}{ (n-1)!} \Biggr\} . $$
(2.12)

Comparing the coefficients of like powers of t on both sides of the above equation (2.12), we obtain the second result (2.7) asserted by Theorem 2.2. □

Remark 2.1

Using Eqs. (2.7) and (2.8) in Eq. (1.15), we find the following differential equation for the TEFEP \({}_{e^{(s)}}F_{n}(x,y|u)\):

$$ \biggl(xD_{x}+syD_{y}yD_{x}^{s}- \frac{e^{D_{x}}}{e^{D_{x}}-u}D_{x}-n \biggr) {}_{e^{(s)}}F_{n}(x,y|u)=0. $$
(2.13)

We next turn to the series definitions of the TEFEP \({}_{e^{(s)}}F _{n}(x,y|u) \) by proving Theorem 2.3.

Theorem 2.3

The following expansion:

$$ \frac{{}_{e^{(s)}}F_{n}(x,y|u)}{n!}=\sum_{k=0}^{n} {}_{[s]}e_{n-k} ( x,y ) \frac{F_{k} ( u ) }{k!} $$
(2.14)

or, equivalently,

$$ \frac{{}_{e^{(s)}}F_{n}(x,y|u)}{n!}=\sum_{k=0}^{n}U_{n-k} ( y ) \frac{F_{k} ( x| u ) }{k!} $$
(2.15)

holds true for the TEFEP.

Proof

Using Eq. (1.1) with \(x=0\) and (1.11) in the left-hand side of Eq. (2.1), we find that

$$ \sum_{n=0}^{\infty }{}_{e^{(s)}}F_{n}(x,y|u) \frac{t^{n}}{n!}= \Biggl( \sum_{k=0}^{\infty }F_{k}(u) \frac{t^{k}}{k!} \Biggr) \Biggl( \sum_{n=0}^{\infty }{}_{[s]}e_{n}(x,y) {t^{n}} \Biggr). $$
(2.16)

Thus, by using the Cauchy product rule in the right-hand side of Eq. (2.16), the assertion (2.14) is established.

Similarly, by using Eqs. (1.1) and (1.11) with \(x=0\) in the left-hand side of Eq. (2.1), we get

$$ \sum_{n=0}^{\infty }{}_{e^{(s)}}F_{n}(x,y|u) \frac{t^{n}}{n!}= \Biggl( \sum_{n=0}^{\infty }F_{n}(x|u) \frac{t^{n}}{n!} \Biggr) \Biggl( \sum_{k=0}^{\infty }{}U_{k} (y ) {t^{k}} \Biggr). $$
(2.17)

Thus, if we apply the Cauchy product rule in the right-hand side of the above equation (2.17), the assertion (2.15) is established. □

Summation formulas

In this section, we give several implicit summation formulas for the TEFEP.

Theorem 3.1

The following addition property for the TEFEP holds true:

$$ {}_{e^{(s)}}F_{n}(x+v,y|u)=\sum_{k=0}^{n} \binom{n}{k}{}_{e^{(s)}}F_{n-k}(x,y|u) v^{k}. $$
(3.1)

Proof

Upon setting \(x\mapsto x+v\) in Eq. (2.1), we find that

$$ \frac{1-u}{(e^{t}-u)(1-yt^{s})} e^{(x+v)t} =\sum_{n=0}^{\infty } {}_{e^{(s)}}F_{n}(x+v,y|u) \frac{t^{n}}{n!}. $$
(3.2)

Expanding the exponential term in Eq. (3.2) and then on using the Cauchy product rule in the resulting equation, we get

$$ \sum_{n=0}^{\infty }\sum _{k=0}^{n}\binom{n}{k}v ^{k}{}_{e^{(s)}}F_{n-k}(x,y|u) \frac{t^{n}}{n!}= \sum_{n=0}^{\infty }{}_{e^{(s)}}F_{n}(x+v ,y|u) \frac{t^{n}}{n!}. $$
(3.3)

Exchanging the sides and comparing the coefficients of like powers of t in the resulting equation, the assertion (3.1) is established. □

Upon setting \(v=1\) in (3.1), we get the following corollary.

Corollary 3.1

It is asserted that

$$ {}_{e^{(s)}}F_{n}(x+1,y|u) =\sum _{k=0}^{n}\binom{n}{k}{}_{e^{(s)}}F _{n-k}(x,y|u). $$
(3.4)

Theorem 3.2

The TEFEPs \({}_{e^{(s)}}F_{n}(x,y|u)\)satisfy the following implicit summation formula:

$$ {}_{e^{(s)}}F_{n+k}(\eta ,y|u)=\sum _{l=0}^{n}\sum_{m=0}^{k} \binom{n}{l}\binom{k}{m} (\eta -x )^{l+m} \,{}_{e^{(s)}}F_{n+k-l-m}(x,y|u). $$
(3.5)

Proof

By setting \(t\mapsto t+w\) in Eq. (2.1), we find that

$$ \frac{1-u}{(e^{t+w}-u)(1-y(t+w)^{s})} e^{x(t+w)} =\sum_{n=0}^{ \infty }{}_{e^{(s)}}F_{n}(x,y|u) \frac{(t+w)^{n}}{n!}. $$
(3.6)

Using

$$ \sum_{M=0}^{\infty }f(M)\frac{(u+v)^{M}}{M!}= \sum_{i,j=0}^{\infty }f(i+j) \frac{u^{i}}{i!} \frac{v^{j}}{j!} $$
(3.7)

in Eq. (3.6) and shifting the exponential term to the right-hand side in the resulting equation, we get

$$ \frac{1-u}{(e^{t+w}-u)(1-y(t+w)^{s})}=e^{-x(t+w)} \sum_{n,k=0}^{ \infty }{}_{e^{(s)}}F_{n+k}(x,y|u) \frac{t^{n}}{n!} \frac{w^{k}}{k!}. $$
(3.8)

Upon letting \(x=\eta \) in Eq. (3.8) and then comparing the resulting equation with Eq. (3.8) itself, we obtain

$$ \sum_{n,k=0}^{\infty }{}_{e^{(s)}}F_{n+k}( \eta ,y|u) \frac{t^{n}}{n!} \frac{w^{k}}{k!} =e^{(\eta -x)(t+w)} \sum _{n,k=0} ^{\infty }{}_{e^{(s)}}F_{n+k}(x,y|u) \frac{t^{n}}{n!} \frac{w^{k}}{k!}. $$
(3.9)

In view of Eq. (3.7), by expanding the exponential term in Eq. (3.9), we have

$$ \sum_{n,k=0}^{\infty }{}_{e^{(s)}}F_{n+k}( \eta ,y|u) \frac{t^{n}}{n!} \frac{w^{k}}{k!} =\sum _{l,m=0}^{\infty }(\eta -x)^{l+m} \frac{t^{l}}{l!} \frac{w^{m}}{m!} \sum_{n,k=0}^{\infty }{}_{e^{(s)}}F _{n+k}(x,y|u) \frac{t^{n}}{n!} \frac{w^{k}}{k!}. $$
(3.10)

Finally, if we apply the Cauchy product rule in the right-hand side of Eq. (3.10) and compare the coefficients of like powers of t in the resulting equation, the assertion (3.5) is established. □

For \(n=0\) in (3.5), we deduce the following corollary.

Corollary 3.2

It is asserted that

$$ {}_{e^{(s)}}F_{k}(\eta ,y|u)=\sum _{m=0}^{k}\binom{k}{m} (\eta -x ) ^{m} {}_{e^{(s)}}F_{k-m}(x,y|u). $$

Replacing η by \(\eta +x\) and setting \(y=0\) in (3.5), we get the following corollary.

Corollary 3.3

It is asserted that

$$ {}_{e^{(s)}}F_{k}(\eta +x,0|u)=\sum _{l=0}^{n} \sum_{m=0}^{k} \binom{n}{l}\binom{k}{m}\eta ^{m+l} {}_{e^{(s)}}F_{n+k-l-m}(x|u). $$

For \(\eta =0\) in (3.5), we get the following corollary.

Corollary 3.4

It is asserted that

$$ {}_{e^{(s)}}F_{k}(0,y|u)=\sum_{l,m=0}^{n,k} \binom{n}{l}\binom{k}{m} ( -x ) ^{l+m} {}_{e^{(s)}}F_{n+k-l-m}(x,y|u). $$

Concluding remarks and observation

Various other allied families of the Apostol-type polynomials are investigated by several researchers in an organized way (see, for example, [9, 20] and [21]). We recall here the Apostol-type Frobenius–Euler polynomials (ATFEPs) \(\mathcal{F}_{n}(x|u,\lambda )\) which are given by the following definition.

Definition 4.1

The ATFEPs \(\mathcal{F}_{n}(x|u,\lambda )\) are determined by the following generating relation:

$$ \frac{1-u}{\lambda e^{t}-u} e^{xt}=\sum_{n=0}^{\infty } \mathcal{F}_{n}(x|u,\lambda ) \frac{t^{n}}{n!} \quad (u\in \mathbb{C}; u\neq 1), $$
(4.1)

which, upon setting \(x=0\), reduces as follows:

$$ \frac{1-u}{\lambda e^{t}-u}=\sum_{n=0}^{\infty } \mathcal{F} _{n}(u,\lambda ) \frac{t^{n}}{n!} $$
(4.2)

for the Apostol-type Frobenius–Euler numbers \(\mathcal{F}_{n}(u| \lambda )\).

Putting \(u=-1\), the ATFEP gives the Apostol–Euler polynomials \(\mathfrak{E}_{n}(x;\lambda )\) (see [18]), which (for \(\lambda =1\)) reduces to (1.4). Also, for \(\lambda =1\) and \(u=-1\), the ATFEPs reduce to the classical Euler polynomials \(E_{n}(x)\) in (1.1).

Here, in this last section, we examine the truncated-exponential based Apostol-type Frobenius–Euler polynomials (TEAFEPs) represented by \({}_{e^{(s)}}F_{n}(x,y|\lambda ,u)\) by demonstrating the following result.

Theorem 4.1

The TEAFEPs satisfy the following exponential generating function:

$$ \sum_{n=0}^{\infty } {}_{e^{(s)}}F_{n}(x,y| \lambda ,u) \frac{t ^{n}}{n!}= \frac{1-u}{ (\lambda e^{t}-u ) (1-yt^{s} )} e ^{xt}. $$
(4.3)

Proof

Changing x in Eq. (4.1) by the multiplicative operator of the two-variable truncated polynomials \({}_{[s]}e_{n}(x,y)\), we get

$$ \frac{1-u}{(\lambda e^{t}-u)}\exp (\widehat{\mathcal{M}}_{e^{(r)}}t ) \{1\}= \sum _{n=0}^{\infty }F_{n}(\widehat{ \mathcal{M}}_{e^{(r)}}| \lambda ,u) \frac{t^{n} }{n!}. $$
(4.4)

By applying the expression for \(\widehat{\mathcal{M}}_{e^{(s)}}\) given by (1.15) and decoupling the exponential term in the resulting equation by means of the identity (2.3), we get

$$ \frac{1-u}{(\lambda e^{t}-u)} e^{(yD_{y}yD_{x}^{s})}e^{xt}=\sum _{n=0} ^{ \infty }{}_{e^{(s)}}F_{n} \bigl(x+syD_{y}yD_{x}^{s-1}|\lambda ,u\bigr) \frac{t ^{n}}{n!}. $$
(4.5)

Now, if we denote the TEAFEP in the right-hand side of Eq. (4.5) by \({}_{e^{(s)}}F_{n}(x,y|\lambda ,u)\), we obtain

$$ {}_{e^{(s)}}F_{n}\bigl(x+syD_{y}yD_{x}^{s-1}| \lambda ,u\bigr)={}_{e^{(s)}}F_{n}(x,y| \lambda ,u). $$
(4.6)

Also, in view of Eq. (2.6), by expanding the first exponential in the left-hand side of Eq. (4.5), we get the assertion (4.3). □

In order to frame the TEAFEP \({}_{{e}^{(s)}}F_{n}(x,y|\lambda ,u)\) in the context of the monomiality hypothesis, we demonstrate the following result.

Theorem 4.2

For the TEAFEP \({}_{{e}^{(s)}}F_{n}(x,y|\lambda ,u)\), the following relationships involving the derivative and multiplicative operators hold true:

$$ \widehat{\mathcal{P}}_{e^{(s)}F}=D_{x} $$
(4.7)

and

$$ \widehat{\mathcal{M}}_{e^{(s)}F}=x+syD_{y}yD_{x}^{s-1}- \frac{\lambda e^{D_{x}}}{ \lambda e^{D_{x}}-u}, $$
(4.8)

respectively.

Proof

The proof of Theorem 4.2 can be given as in Theorem 2.2. So we omit the details involved. □

Remark 4.1

Substituting from Eqs. (4.7) and (4.8) into Eq. (1.15), we arrive at the following differential equation:

$$ \biggl(xD_{x}+syD_{y}yD_{x}^{s}- \frac{\lambda e^{D_{x}}}{\lambda e ^{D_{x}}-u} D_{x}-n \biggr)\, {}_{e^{(s)}}F_{n}(x,y|u)=0. $$

Remark 4.2

By using an approach as that already applied in this paper, we can derive several summation formulas, symmetry identities, recurrence relations and other types results for the TEAFEP \({}_{e^{(r)}}F_{n}(x,y| \lambda ,u)\). We leave the details involved as an exercise for the interested reader.

Before finalizing this paper, we give the following definition which seems to be a multi-dimensional version of the TEAFEP \({}_{e^{(r)}}F _{n}(x,y|\lambda ,u)\).

Definition 4.2

Multi-dimensional (or multivariable) of truncated based exponential based Apostol-type Frobenius–Euler polynomials are determined by the generating series:

$$ \sum_{n=0}^{\infty } {}_{e^{(s)}}F_{n}^{r}( \overrightarrow{X},y| \lambda ,u) \frac{t^{n}}{n!}= \biggl( \frac{1-u}{\lambda e^{t}-u} \biggr) ^{r}\frac{e^{t\sum _{i=1} ^{r}x_{i}}}{1-yt^{s}}, $$
(4.9)

where \(\overrightarrow{X}= ( x_{1},x_{2},\ldots ,x_{r} ) \).

In the case \(\lambda =1\), we get a multi-dimensional version of the TEFEP \({}_{e^{(r)}}F_{n}(x,y|u)\) as follows:

$$ \sum_{n=0}^{\infty } {}_{e^{(s)}}F_{n}^{r}( \overrightarrow{X},y|u) \frac{t^{n}}{n!}= \biggl( \frac{1-u}{e^{t}-u} \biggr) ^{r}\frac{e ^{t\sum _{i=1}^{r}x_{i}}}{1-yt^{s}}. $$

Corollary 4.1

Taking \(r=1\)in (4.9) reduces to Eq. (2.1).

In our forthcoming investigation, we plan to establish further results and properties associated with some generalized forms of the above-mentioned families of polynomials.

References

  1. 1.

    Andrews, L.C.: Special Functions for Engineers and Applied Mathematicians. Macmillan Co., New York (1985)

    Google Scholar 

  2. 2.

    Appell, P., Kampé de Fériet, J.: Fonctions Hypergéométriques et Hypersphériques: Polynômes d’Hermite. Gauthier-Villars, Paris (1926)

    Google Scholar 

  3. 3.

    Bretti, G., Cesarano, C., Ricci, P.E.: Laguerre-type exponentials and generalized Appell polynomials. Comput. Math. Appl. 48, 833–839 (2004)

    MathSciNet  Article  Google Scholar 

  4. 4.

    Carlitz, L.: Eulerian numbers and polynomials. Math. Mag. 32, 247–260 (1959)

    MathSciNet  Article  Google Scholar 

  5. 5.

    Dattoli, G.: Hermite–Bessel and Laguerre–Bessel functions: a by-product of the monomiality principle. In: Dattoli, G., Srivastava, H.M., Cesarano, C. (eds.) Advanced Special Functions and Applications. Proceedings of the Second Melfi School on Advanced Topics in Mathematics and Physics, Melfi, Italy, 18–23 June 2000. Aracne Editrice, Rome (2001)

    Google Scholar 

  6. 6.

    Dattoli, G., Cesarano, C., Sacchetti, D.: A note on truncated polynomials. Appl. Math. Comput. 134, 595–605 (2003)

    MathSciNet  MATH  Google Scholar 

  7. 7.

    Dattoli, G., Lorenzutta, S., Mancho, A.M., Torre, A.: Generalized polynomials and associated operational identities. J. Comput. Appl. Math. 108, 209–218 (1999)

    MathSciNet  Article  Google Scholar 

  8. 8.

    Dattoli, G., Migliorati, M., Srivastava, H.M.: Sheffer polynomials, monomiality principle, algebraic methods and the theory of classical polynomials. Math. Comput. Model. 45, 1033–1041 (2007)

    MathSciNet  Article  Google Scholar 

  9. 9.

    Dere, R., Simsek, Y., Srivastava, H.M.: Unified presentation of three families of generalized Apostol-type polynomials based upon the theory of the umbral calculus and the umbral algebra. J. Number Theory 13, 3245–3265 (2013)

    MathSciNet  Article  Google Scholar 

  10. 10.

    Frobenius, F.G.: Über die Bernoullischen Zahlen und die Eulerischen Polynome. Sitzungsber. K. Preubischen Akad. Wissenschaft. Berlin 1910, 809–847 (1910)

  11. 11.

    He, Y., Araci, S.: Sums of products of Apostol–Bernoulli and Apostol–Euler polynomials. Adv. Differ. Equ. 2014, Article ID 155 (2014)

    MathSciNet  Article  Google Scholar 

  12. 12.

    He, Y., Araci, S., Srivastava, H.M.: Some new formulas for the products of the Apostol type polynomials. Adv. Differ. Equ. 2016, Article ID287 (2016)

    MathSciNet  Article  Google Scholar 

  13. 13.

    He, Y., Araci, S., Srivastava, H.M., Acikgöz, M.: Some new identities for the Apostol–Bernoulli polynomials and the Apostol–Genocchi polynomials. Appl. Math. Comput. 262, 31–41 (2015)

    MathSciNet  MATH  Google Scholar 

  14. 14.

    Kim, D.S., Kim, T.: Some new identities of Frobenius–Euler numbers and polynomials. J. Inequal. Appl. 2012, Article ID 307 (2012)

    MathSciNet  Article  Google Scholar 

  15. 15.

    Kim, T.: Identities involving Frobenius–Euler polynomials arising from non-linear differential equations. J. Number Theory 132, 2854–2865 (2012)

    MathSciNet  Article  Google Scholar 

  16. 16.

    Kim, T., Lee, B.-J.: Some identities of the Frobenius–Euler polynomials. Abstr. Appl. Anal. 2009, Article ID 639439 (2009)

    MathSciNet  MATH  Google Scholar 

  17. 17.

    Kim, T., Seo, J.-J.: Some identities involving Frobenius–Euler polynomials and numbers. Proc. Jangjeon Math. Soc. 19, 39–46 (2016)

    MathSciNet  MATH  Google Scholar 

  18. 18.

    Luo, Q.-M.: Apostol–Euler polynomials of higher order and the Gaussian hypergeometric function. Taiwan. J. Math. 10, 917–925 (2006)

    MathSciNet  Article  Google Scholar 

  19. 19.

    Luo, Q.-M., Srivastava, H.M.: Some relationships between the Apostol–Bernoulli and Apostol–Euler polynomials. Comput. Math. Appl. 51, 631–642 (2006)

    MathSciNet  Article  Google Scholar 

  20. 20.

    Özarslan, M.A.: Unified Apostol–Bernoulli, Euler and Genocchi polynomials. Comput. Math. Appl. 62, 2452–2462 (2011)

    MathSciNet  Article  Google Scholar 

  21. 21.

    Özden, H., Simsek, Y., Srivastava, H.M.: A unified presentation of the generating functions of the generalized Bernoulli, Euler and Genocchi polynomials. Comput. Math. Appl. 60, 2779–2789 (2010)

    MathSciNet  Article  Google Scholar 

  22. 22.

    Srivastava, H.M.: Some formulas for the Bernoulli and Euler polynomials at rational arguments. Math. Proc. Camb. Philos. Soc. 129, 77–84 (2000)

    MathSciNet  Article  Google Scholar 

  23. 23.

    Srivastava, H.M., Araci, S., Khan, W.A., Acikgöz, M.: A note on the truncated-exponential based Apostol-type polynomials. Symmetry 11, Article ID 538 (2019)

    Article  Google Scholar 

  24. 24.

    Srivastava, H.M., Ben Cheikh, Y.: Orthogonality of some polynomial sets via quasi-monomiality. Appl. Math. Comput. 141, 415–425 (2003)

    MathSciNet  MATH  Google Scholar 

  25. 25.

    Steffensen, J.F.: The poweriod, an extension of the mathematical notion of power. Acta Math. 73, 333–366 (1941)

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

The authors are grateful to referees for their careful reading, suggestions and valuable comments which have improved the paper substantially. The authors acknowledge the financial support provided by the Center of Excellence in Theoretical and Computational Science (TaCS-CoE), KMUTT. Moreover, the first author thanks the Rajamangala University of Technology Thanyaburi (RMUTT) for financially supported.

Funding

Wiyada Kumam was financially supported by the Rajamangala University of Technology Thanyaburi (RMUTTT) (Grant No. NSF62D0604).

Author information

Affiliations

Authors

Contributions

All authors contributed equally to the manuscript and typed, read, and approved the final manuscript.

Corresponding author

Correspondence to Poom Kumam.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Kumam, W., Srivastava, H.M., Wani, S.A. et al. Truncated-exponential-based Frobenius–Euler polynomials. Adv Differ Equ 2019, 530 (2019). https://doi.org/10.1186/s13662-019-2462-0

Download citation

MSC

  • 11T23
  • 33E20
  • 33B10
  • 33E30

Keywords

  • Truncated-exponential based polynomials
  • Frobenius–Euler polynomials
  • Summation formulas
  • Monomiality principle
  • Quasi-monmiality principle