Issue 4open Volume 2, 2019 Difference & Differential Equations and Applications 4 9 Mathematics - Applied Mathematics https://doi.org/10.1051/fopen/2019004 25 April 2019

© S. Pinelas & P.E. Ricci, Published by EDP Sciences, 2019 This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

1 Introduction

In recent articles [1, 2], new sets of Sheffer  and Brenke  polynomials, based on higher order Bell numbers , have been studied. Furthermore, several integer sequences  associated with the considered polynomials sets both of exponential [11, 12] and logarithmic type have been introduced .

We recall that the exponential and logarithmic polynomials have been recently studied even in the multidimensional case .

It is worth to note that the Sheffer family includes a plenty of unusual polynomials, which satisfy non-standard differential equations. In this article we focus our attention on Sheffer polynomial families whose characteristic elements are based on powers or exponential functions, deriving the relevant differential equations, which are frequently of fractional type.

2 Sheffer polynomials

We start recalling the particular meaning of the term set in the framework of polynomial theory.

Definition 2.1. A polynomial family {P n (x)}(n ≥ 0) is called a polynomial set iff , deg P n = n.

In what follows, we are dealing with polynomial families that, in several cases, don’t satisfy the above condition.

The Sheffer polynomial families {s n (x)} are introduced  by means of the exponential generating function  of the type: (1)where, (2)

Remark 2.2. It is well known [4, 17] that there is a natural link between the function H(t) and the degree of polynomials s n (x) in expansion (1). Namely, Actually, in what follows, if H(t) is a polynomial of degree m, we have found that , where [⋅] denotes the integral part.

In general, we are dealing with a Sheffer polynomial set iff the condition is satisfied.

According to a different characterization (see , p. 18), the same polynomial sequence can be defined by means of the pair (g(t), f(t)), where g(t) is an invertible series and f(t) is a delta series: (3)

Denoting by f −1(t) the compositional inverse of f(t) (i.e., such that f(f −1) (t)) = (f −1) (f(t)) = t), the exponential generating function of the sequence {s n (x)} is given by (4)so that, (5)

When g(t) ≡ 1, the Sheffer sequence corresponding to the pair (1, f(t)) is called the associated Sheffer sequence {σ n (x)} for f(t), and its exponential generating function is given by (6)

A list of known Sheffer polynomial sequences and their associated ones can be found in . New Euler-type Sheffer polynomials have been recently introduced in .

3 Power based Sheffer polynomials

In this section we derive Sheffer polynomial families assuming the following basic functions: (7) p and q positive integer numbers, so that, (8)and the generating function is: (9)

Therefore, denoting by H −1(t) the compositional inverse of H(t), we have: (10)

Definition 3.1. We recall that a polynomial set {p n (x)} is called quasi-monomial if and only if there exist two operators and such that, (11) is called the derivative operator and the multiplication operator, as they act in the same way of classical operators on monomials.

This definition traces back to a paper by J.F. Steffensen , recently improved by G. Dattoli  and widely used in several applications (see e.g., [23, 24] and the references therein).

Y. Ben Cheikh  proved that every polynomial set is quasi-monomial under the action of suitable derivative and multiplication operators. In particular, if the considered polynomial set is Sheffer, the Corollary 3.2 in the same article ensure that the derivative and multiplication operator are given by: (12)where prime denotes the derivative with respect to t, and D x the derivative with respect to x.

Remark 3.2. It is worth to note that the above mentioned result (Corollary 3.2 in ), given for polynomial sets, never uses in proof the condition h1 ≠ 0. Therefore, it can be applied even to polynomials defined by Sheffer generating functions (1), i.e. to Sheffer polynomial families.

According to the above equations (8), (10), (12), we have the result:

Theorem 3.3. The derivative and multiplication operators of the Sheffer polynomial family defined by the generating function (9) are given by, (13)

3.1 Differential equation

As a consequence of the monomiality principle, the factorization method gives the differential equation satisfied by the quasi-monomial polynomials {p n (x)} in the form: (14)

In the present case, we have the result:

Theorem 3.5. The Sheffer polynomials satisfy the differential equation (15)

4 Some particular examples

We show in this Section some particular example.

4.1 Case The ordinary differential equation is: (16)

The first few polynomials are as follows: Further values can be easily achieved by using Wolfram Alpha©.

Remark 4.1. Note that there is a link of the polynomials with the classical H n (x). In fact, let Since G 2(x, −t) = G 2(x, t), it follows that , and Therefore, putting t 2 = 2is (i the imaginary unit), we find, and consequently, In a similar way, when (N integer number), we can find a link between the Gould-Hopper polynomials defined by the generating function, and the Sheffer polynomials defined by, In fact, owing the symmetry of these polynomials, we have, and therefore, putting τ − t N , we find: so that , as a polynomial of degree n, can be expressed in terms of the Gould-Hopper polynomials by: Remark 4.2. 1. The equation (16) is an ordinary differential equation of order 2, because (p + 1)/q = 4/2 = 2. This happens, in general, if and only if (N integer number).

2. Note that, owing to the fractional derivative operator , the polynomial degree increases slowly, actually the degree of is equal to (2n)/2 = n.

4.2 Case The fractional differential equation is: (17)

The first few polynomials are as follows:

If n ≡ 0, (mod 3): If n ≡ 1, (mod 3): If n ≡ 2, (mod 3): Further values can be easily achieved by using Wolfram Alpha©.

Remark 4.3. 1. The equation (17) is a fractional differential equation.

2. Note that, owing to the fractional derivative operator , the degree of the polynomial is equal to:

• n/3 if n ≡ 0, (mod 3),

• (n−4)/3 if n ≡ 1, (mod 3), and n ≥ 4,

• (n−2)/3 if n ≡ 2, (mod 3), and n ≥ 2.

5 A particular family of Sheffer polynomials

In this Section we consider a particular family of Sheffer polynomials defined by generating functions of the type: (18)and H(t) is an invertible function. Therefore, we find, (19)

Putting, as before, f(t) = H −1(t), according to the recalled result by Y. Ben Cheikh , the derivative and multiplication operators for the relevant polynomials τ n are given by: (20)so that we have the result:

Theorem 5.1. The Sheffer polynomials {τ n (x)} satisfy the differential equation (21)

6 Particular examples

Note that the particular Sheffer polynomials of Section 5 only depend on H(t).

6.1 A power based example, linked to Section 3

We assume, (22)(q a positive integer number), so that, (23)

According to the above results, the derivative and multiplication operators for the quasi-monomials are given by, (24)and the relevant differential equation writes, that is, (25)which is a fractional derivative equation.

6.2 Case q = 1, H(t) = t3/3

The generating function is, and the fractional differential equation (25) writes, (26)

The first few polynomials are as follows: Further values can be easily achieved by using Wolfram Alpha©.

Note the symmetry of the above scheme, according to which the degree of the polynomial is equal to:

• n/3 if n ≡ 0, (mod 3),

• (n−4)/3 if n ≡ 1, (mod 3), and n ≥ 4,

• (n−8)/3 if n ≡ 2, (mod 3), and n ≥ 8.

6.3 An exponential based example

We assume, (27)so that, (28)

According to the above results, the derivative and multiplication operators for the quasi-monomials are given by, (29)and the relevant differential equation writes, that is, (30)Which is an infinite order differential equation reducing to an equation of order n when applied to a polynomial of degree n.

The first few polynomials are as follows: Further values can be easily achieved by using Wolfram Alpha©.

Remark 6.1. Note that the sequence: (that is the values ), has a combinatorial character, since it appears in the Encyclopedia of integer sequences under A217924 – Row sequence of table A217537, ; – Vladimir Kruchinin, Feb 28, 2015.

Furthermore, the sequence: (that is the values appears in the Encyclopedia of integer sequences under A000296 – Set partitions without singletons: number of partitions of an n-set into blocks of size >1. Also number of cyclically spaced (or feasible) partitions.

7 A mixed-type (power-exp) Sheffer polynomial family

We assume in this Section: (31)(q a positive integer number), so that, (32)

According to the above results, the derivative and multiplication operators for the quasi-monomials are given by, (33)and the relevant differential equation writes, that is, (34)which is an infinite order differential equation reducing to an equation of order qn−1 when it is applied to a polynomial of degree n.

7.1 Case q = 2, G(t, x) = exp[e t  − 1 + xt2]

The first few polynomials are as follows: Further values can be easily achieved by using Wolfram Alpha©.

Remark 7.1. 1. Note that owing to the fractional derivative operator , the degree of the polynomial is equal to .

A similar phenomenon also applies to q > 2.

2. Note that the sequence: (that is the values ), has a combinatorial character, since it appears in the Encyclopedia of integer sequences under A000110 – Bell or exponential numbers: number of ways to partition a set of n labeled elements.

8 Conclusion

We have introduced “unusual families” of Sheffer polynomials, namely they satisfy non-standard differential equations, including some of fractional type.

In some case, we have noticed connections with particular integer sequences, since the polynomial – in suitable points – exhibit a combinatorial character. In this article have considered Sheffer polynomials based on powers or exponential functions. In subsequent papers further families will be introduced, by using different basic elements.

Author contributions

The authors claim to have contributed equally and significantly in this paper. Both authors read and approved the final manuscript.

Acknowledgments

The authors thanks the anonymous referee for his skillful remarks, useful for improving the manuscript.

Conflict of interest

The authors declare that they have not received funds from any institution and that they have no conflict of interest.

References

1. Ricci PE, Natalini P, Bretti G (2017), Sheffer and Brenke polynomials associated with generalized Bell numbers. Jnanabha, Vijnana Parishad of India 47, 2, 337–352. [Google Scholar]
2. Bretti G, Natalini P, Ricci PE (2019), A new set of Sheffer-Bell polynomials and logarithmic numbers. Georgian Math J, https://doi.org/10.1515/gmj-2019-2007. [Google Scholar]
3. Sheffer IM (1939), Some properties of polynomials sets of zero type. Duke Math J 5, 590–622. [CrossRef] [Google Scholar]
4. Brenke WC (1945), On generating functions of polynomial systems. Am Math Mon 52, 297–301. [CrossRef] [Google Scholar]
5. Natalini P, Ricci PE (2004), An extension of the Bell polynomials. Comput Math Appl 47, 719–725. [CrossRef] [Google Scholar]
6. Bernardini A, Natalini P, Ricci PE (2005), Multi-dimensional Bell polynomials of higher order. Comput Math Appl 50, 1697–1708. [CrossRef] [Google Scholar]
7. Natalini P, Ricci PE (2016), Remarks on Bell and higher order Bell polynomials and numbers. Cogent Math 3, 1–15. [CrossRef] [Google Scholar]
8. Natalini P, Ricci PE (2017), Higher order Bell polynomials and the relevant integer sequences. Appl Anal Discrete Math 11, 327–339. [CrossRef] [Google Scholar]
9. Natalini P, Ricci PE (2018), Bell-Sheffer polynomial sets. Axioms 7, 71. https://doi.org/10.3390/axioms7040071. [CrossRef] [Google Scholar]
10. Sloane NJA (2016), On-line encyclopedia of integer sequences, Published electronically at http://oeis.org. [Google Scholar]
11. Bell ET (1934), Exponential polynomials. Ann Math 35, 258–277. [CrossRef] [Google Scholar]
12. Bell ET (1938), The iterated exponential integers. Ann Math 39, 539–557. [CrossRef] [Google Scholar]
13. Feng Q, Da-Wei N, Dongkyu L, Bai-Ni G (2018), Some properties and an application of multivariate exponential polynomials, HAL archives, available online at https://hal.archives-ouvertes.fr/hal-01745173. [Google Scholar]
14. Feng Q (2018), Integral representations for multivariate logarithmic potentials. J Comput Appl Math 336, 54–62. [CrossRef] [Google Scholar]
15. Feng Q (2018), On multivariate logarithmic polynomials and their properties. Indag Math 29, 5, 1179–1192. [CrossRef] [Google Scholar]
16. Srivastava HM, Manocha HL (1984), A treatise on generating functions, Halsted Press (Ellis Horwood Limited, Chichester), John Wiley and Sons, New York, Chichester, Brisbane and Toronto. [Google Scholar]
17. Huff WN (1947), The type of the polynomials generated by f(x t)ϕ(t). Duke Math J 14, 4, 1091–1104. [CrossRef] [Google Scholar]
18. Roman SM (1984), The umbral calculus, Academic Press, New York. [Google Scholar]
19. Boas RP, Buck RC (1958), Polynomial expansions of analytic functions, Springer-Verlag, Berlin, Gottingen, Heidelberg, New York. [CrossRef] [Google Scholar]
20. Bretti G, Natalini P, Ricci PE (2018), New sets of Euler-type polynomials. J Ana Num Theor 6, 2, 51–54. [CrossRef] [Google Scholar]
21. Steffensen JF (1941), The poweroid, an extension of the mathematical notion of power. Acta Math 73, 333–366. [CrossRef] [Google Scholar]
22. Dattoli G (2000), Hermite-Bessel and Laguerre-Bessel functions: a by-product of the monomiality principle, in: Cocolicchio D, Dattoli G, Srivastava HM (Eds.), Advanced Special Functions and Applications (Proceedings of the Melfi School on Advanced Topics in Mathematics and Physics; Melfi, 9–12 May, 1999), Aracne, Roma, pp. 147–164. [Google Scholar]
23. Dattoli G, Ricci PE, Srivastava HM (Eds.) (2003), Advanced special functions and related topics in probability and in differential equations (Proceedings of the Melfi school on advanced topics in mathematics and Physics; Melfi, June 24–29, 2001). Appl Math Comput 141, 1, 1–230. [Google Scholar]
24. Dattoli G, Germano B, Martinelli MR, Ricci PE (2009), Monomiality and partial differential equations. Math Comput Model 50, 1332–1337. [CrossRef] [Google Scholar]
25. Ben Cheikh Y (2003), Some results on quasi-monomiality. Appl Math Comput 141, 63–76. [Google Scholar]

Cite this article as: Pinelas S, Ricci P.E 2019. On Sheffer polynomial families. 4open, 2, 4.

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.