Skip to main content

Theory and Modern Applications

Normalized polynomials and their multiplication formulas

Abstract

The aim of this paper is to prove multiplication formulas of the normalized polynomials by using the umbral algebra and umbral calculus methods. Our polynomials are related to the Hermite-type polynomials.

AMS Subject Classification:05A40, 11B83, 11B68.

1 Introduction

In this paper, we use the following notations:

N : = { 1 , 2 , 3 , … } and N 0 : = N ∪ { 0 } , δ n , k = { 0 if  n ≠ k , 1 if  n = k , ( n ) k = n ( n − 1 ) ⋯ ( n − k + 1 ) .

Here, we first give some remarks on the normalized polynomials.

Firstly, we introduce some notations which are related to the earlier works by (among others) Carlitz [1, 2], Bodin [3], Roman [[4], pp.1-125]. We recall from the work of Bodin [3]: Let p be a prime number and n≥1. For q= p n , we denote by F q the finite field having q elements. F q ∗ denotes the multiplicative group of non-zero elements of F q .

Let f(x,y)∈ F q [x,y] be a polynomial of degree exactly d

f(x,y)= α 0 x d + α 1 x d y+ α 2 x d − 2 y 2 +⋯+ α d y d +terms of lower degree.

f is said to be normalized if the first non-zero term in the sequence ( α 0 , α 1 , α 2 ,…, α d ) is equal to 1. Any polynomial g can be written

g(x,y)=cf(x,y),

where f is a normalized polynomial and c∈ F q ∗ (cf. [3]).

We recall the work of Carlitz [[2], p.60]: Let k be a fixed integer >1 and let α k 1 ,…, α k k denote (complex) numbers such that

α k 1 +⋯+ α k k =1.

Let | λ k |≠1 or 0 and let β k 1 ,…, β k k be distinct numbers. Then consider the functional equation

∑ r = 1 k α k r f m (x+ β k r )= λ k − m f m ( λ k x),
(1)

where f m (x) denotes a normalized polynomial of degree m (that is, a polynomial with the highest coefficient 1). Here f m (x) is completely determined by (1); moreover, f m (x) form an Appell set of polynomials (cf. [2]).

Theorem 1.1 Let k be a fixed integer >1 and let α k 1 ,…, α k k be complex numbers such that

α k 1 +⋯+ α k k =1.

Let | λ k |≠1 or 0 and let β k 1 ,…, β k k be distinct numbers. Then equation (1) is satisfied by a unique set of normalized polynomials { f m (x)} which form an Appell set (cf. [2]).

Every Appell set satisfies an equation of the form (1) (cf. [2]).

If f n (x) is a normalized polynomial, then it satisfies the following formula:

f n (yx)= y n − 1 ∑ j = 0 y − 1 f n ( x + j y ) .
(2)

If y is an even positive integer, some normalized polynomials satisfy the following equation (cf. [1]):

g n − 1 (yx)=− 2 y n − 1 n ∑ j = 0 y − 1 ( − 1 ) j f n ( x + j y ) ,
(3)

where g n − 1 (x) and f n (x) denote the normalized polynomials of degree n−1 and n, respectively.

We give some Hermite base polynomials of higher order, which are defined as follows (cf. [5] and [6]):

( t e t − 1 ) a e x t − v t 2 2 = ∑ n = 0 ∞ B H , n ( a ) (x,v) t n n ! ( | t | < 2 π ) ,

where B H , n ( a ) (x,v) denotes Hermite base Bernoulli polynomials of higher order,

( 2 e t + 1 ) a e x t − v t 2 2 = ∑ n = 0 ∞ E H , n ( a ) (x,v) t n n ! ( | t | < π ) ,

where E H , n ( a ) (x,v) denotes Hermite base Euler polynomials of higher order and

( 2 t e t + 1 ) a e x t − v t 2 2 = ∑ n = 0 ∞ G H , n ( a ) (x,v) t n n ! ( | t | < π ) ,

where G H , n ( a ) (x,v) denotes Hermite base Genocchi polynomials of higher order.

The proof of polynomials which satisfied (2) was given in various ways. In this paper, we study normalized polynomials which are defined above by using the umbral algebra and umbral calculus methods. We also recall from the work of Roman [4] the following.

Let P be the algebra of polynomials in the single variable x over the field complex numbers. Let P ∗ be the vector space of all linear functionals on P. Let

〈 L ∣ p ( x ) 〉

be the action of a linear functional L on a polynomial p(x). Let F denote the algebra of formal power series in the variable t over â„‚. The formal power series

f(t)= ∑ k = 0 ∞ a k k ! t k

defines a linear functional on P by setting

〈 f ( t ) ∣ x n 〉 = a n

for all n≥0. In a special case,

〈 t k ∣ x n 〉 =n! δ n , k .

This kind of algebra is called an umbral algebra (cf. [4]). Any power series

f(t)= ∑ k = 0 ∞ a k k ! t k

is a linear operator on P defined by

f(t) x n = ∑ k = 0 ∞ ( n k ) a k x n − k .

Here, each f(t)∈F plays three roles in the umbral calculus: a formal power series, a linear functional and a linear operator. For example, let p(x)∈P and

f(t)= e y t .

As a linear functional, e y t satisfies the following property:

〈 e y t ∣ p ( x ) 〉 =p(y).
(4)

As a linear operator, e y t satisfies the following property:

e y t p(x)=p(x+y).
(5)

Let f(t), g(t) be in F, then

〈 f ( t ) g ( t ) ∣ p ( x ) 〉 = 〈 f ( t ) ∣ g ( t ) p ( x ) 〉

for all polynomials p(x). The order o(f(t)) of a power series f(t) is the smallest integer k for which the coefficient of t k does not vanish. If f(t)=0, o(f(t))=+∞. A series f(t) for which

o ( f ( t ) ) =1

is called a delta series. A series f(t) for which

o ( f ( t ) ) =0

is called an invertible series (for details, see [4]).

Theorem 1.2 [[4], p.20, Theorem 2.3.6]

Let f(t) be a delta series and let g(t) be an invertible series. Then there exists a unique sequence s n (x) of polynomials satisfying the orthogonality conditions

〈 g ( t ) f ( t ) k ∣ s n ( x ) 〉 =n! δ n , k
(6)

for all n,k≥0.

The sequence s n (x) in (6) is the Sheffer polynomials for a pair (g(t),f(t)). The Sheffer polynomials for a pair (g(t),t) are the Appell polynomials or Appell sequences for g(t) (cf. [4]).

The Appell polynomials are defined by means of the following generating function (cf. [4]):

∑ k = 0 ∞ s k ( x ) k ! t k = 1 g ( t ) e x t .
(7)

The Appell polynomials satisfy the following relations:

s n (x)=g ( t ) − 1 x n ,
(8)

the derivative formula

t s n (x)= s n ′ (x)=n s n − 1 (x)
(9)

and

1 t s n (x)= 1 n + 1 s n + 1 (x),
(10)

the multiplication formula

s n (αx)= α n g ( t ) g ( t α ) s n (x),
(11)

where α≠0.

In the next section, we need the following generalized multinomial identity.

Lemma 1.3 (Generalized multinomial identity [[7], p.41, Equation (12m)])

If x 1 , x 2 ,…, x m are commuting elements of a ring (⇔ x i x j = x j x i , 1≤i<j≤m), then we have for all real or complex variables α:

( x 1 + x 2 + ⋯ + x m ) α = ∑ v 1 , v 2 , … , v m ≥ 0 ( α v 1 , v 2 , … , v m ) x 1 v 1 x 2 v 2 ⋯ x m v m ,

the last summation takes places over all positive or zero integers v i ≥0, where

( α v 1 , v 2 , … , v m ) := ( α ) v 1 + v 2 + ⋯ + v m v 1 ! v 2 ! ⋯ v m !

are called generalized multinomial coefficients defined by [[7], p.27, Equation (10c″)], where b∈N and ( x ) 0 =1.

2 Some identities of normalized polynomials

In this section, we derive some identities and properties related to Hermite base normalized polynomials.

If we set

g(t)= ( e t − 1 t ) a e v t 2 2
(12)

in (8), we obtain the following lemma.

Lemma 2.1 Let n∈ N 0 . The following relationship holds true:

B H , n ( a ) (x,v)= ( t e t − 1 ) a e − v t 2 2 x n .
(13)

If we set

g(t)= ( e t + 1 2 ) a e v t 2 2
(14)

in (8), we obtain the following lemma.

Lemma 2.2 Let n∈ N 0 . The following relationship holds true:

E H , n ( a ) (x,v)= ( 2 e t + 1 ) a e − v t 2 2 x n .
(15)

If we set

g(t)= ( e t + 1 2 t ) a e v t 2 2
(16)

in (8), we obtain the following lemma.

Lemma 2.3 Let n∈ N 0 . The following relationship holds true:

G H , n ( a ) (x,v)= ( 2 t e t + 1 ) a e − v t 2 2 x n .
(17)

3 Multiplication formulas for normalized polynomials

In this section, we study the Hermite base normalized polynomials. The Hermite base Bernoulli-type polynomials satisfy equation (2), which is given by the following theorem.

Theorem 3.1 Let m∈N. The following multiplication formula of the B H , n ( a ) (x,v) polynomials holds true:

B H , n ( a ) (mx,v)= m n − a ∑ u 1 , … , u m − 1 ≥ 0 ( a u 1 , … , u m − 1 ) B H , n ( a ) ( x + r m , v m 2 ) ,

where

r= u 1 +2 u 2 +⋯+(m−1) u m − 1 .

Proof By using (12) in (11), we get

B H , n ( a ) (mx,v)= m n − a ( e t − 1 ) a ( e t m − 1 ) a e v t 2 2 e − v t 2 2 m 2 B H , n ( a ) (x,v).

Using (13), we have

B H , n ( a ) (mx,v)= m n − a ( e t − 1 ) a ( e t m − 1 ) a B H , n ( a ) ( x , v m 2 ) .

After some calculations, we obtain

B H , n ( a ) (mx,v)= m n − a ( ∑ k = 0 m − 1 e k t m ) a B H , n ( a ) ( x , v m 2 ) .

By using Lemma 1.3 in the above equation, we get

B H , n ( a ) (mx,v)= m n − a ∑ u 1 , … , u m − 1 ≥ 0 ( a u 1 , … , u m − 1 ) e r t m B H , n ( a ) ( x , v m 2 ) ,

where

r= u 1 +2 u 2 +⋯+(m−1) u m − 1 .

From (5), we arrive at the desired result. □

The Hermite base Euler-type polynomials and the Hermite base Genocchi-type polynomials satisfy equation (2) for all m∈N. But for m being odd, these polynomials in studies normalize condition in (2). For even m, these polynomials satisfy (3).

Theorem 3.2 Let m∈N. The following multiplication formula of the E H , n ( a ) (x,v) polynomials holds true:

E H , n ( a ) (mx,v)= m n ∑ u 1 , … , u m − 1 ≥ 0 ( a u 1 , … , u m − 1 ) ( − 1 ) r E H , n ( a ) ( x + r m , v m 2 )

when m is odd,

E H , n ( a ) (mx,v)= m n 2 a ( n + 1 ) a ∑ u 1 , … , u m − 1 ≥ 0 ( a u 1 , … , u m − 1 ) ( − 1 ) r B H , n + a ( a ) ( x + r m , v m 2 )

when m is even, where

r= u 1 +2 u 2 +⋯+(m−1) u m − 1 .

Proof Let m be odd.

From (11), (14) and (15), we obtain

E H , n ( a ) (mx,v)= m n ( e t + 1 e t m + 1 ) a E H , n ( a ) ( x , v m 2 ) .

After some calculations, we get

E H , n ( a ) (mx,v)= m n ( ∑ k = 0 m − 1 ( − 1 ) k e k t m ) a E H , n ( a ) ( x , v m 2 ) .

By using Lemma 1.3, we obtain

E H , n ( a ) (mx,v)= m n ∑ u 1 , … , u m − 1 ≥ 0 ( a u 1 , … , u m − 1 ) ( − 1 ) r e r t m E H , n ( a ) ( x , v m 2 ) ,

where

r= u 1 +2 u 2 +⋯+(m−1) u m − 1 .

From (5), we arrive at the desired result.

Let m be even.

From (11), (14) and (15), we obtain

E H , n ( a ) (mx,v)= m n ( e t + 1 e t m + 1 ) a e v t 2 2 e − v t 2 2 m 2 ( 2 e t + 1 ) a e − v t 2 2 x n .

From (13), we get

E H , n ( a ) (mx,v)= 2 a m n ( e t − 1 e t m + 1 ) a 1 t a B H , n ( a ) ( x , v m 2 ) .

After some calculations, we have

E H , n ( a ) (mx,v)= 2 a m n ( ∑ k = 0 m − 1 ( − 1 ) k e k t m ) a 1 t a B H , n ( a ) ( x , v m 2 ) .

By using Lemma 1.3, we obtain

E H , n ( a ) (mx,v)= 2 a m n ∑ u 1 , … , u m − 1 ≥ 0 ( a u 1 , … , u m − 1 ) ( − 1 ) r e r t m 1 t a B H , n ( a ) ( x , v m 2 ) ,

where

r= u 1 +2 u 2 +⋯+(m−1) u m − 1 .

From (5) and (10), we arrive at the desired result. □

Theorem 3.3 Let m∈N. The following multiplication formula of the G H , n ( a ) (x,v) polynomials holds true:

G H , n ( a ) (mx,v)= m n − a ∑ u 1 , … , u m − 1 ≥ 0 ( a u 1 , … , u m − 1 ) ( − 1 ) r G H , n ( a ) ( x + r m , v m 2 )

when m is odd,

G H , n ( a ) (mx,v)= m n 2 a ∑ u 1 , … , u m − 1 ≥ 0 ( a u 1 , … , u m − 1 ) ( − 1 ) r B H , n ( a ) ( x + r m , v m 2 )

when m is even, where

r= u 1 +2 u 2 +⋯+(m−1) u m − 1 .

Proof Let m be odd.

From (11), (16) and (17), we obtain

G H , n ( a ) (mx,v)= m n − a ( e t + 1 e t m + 1 ) a G H , n ( a ) ( x , v m 2 ) .

After some calculations, we get

G H , n ( a ) (mx,v)= m n − a ( ∑ k = 0 m − 1 ( − 1 ) k e k t m ) a G H , n ( a ) ( x , v m 2 ) .

By using Lemma 1.3, we obtain

G H , n ( a ) (mx,v)= m n − a ∑ u 1 , … , u m − 1 ≥ 0 ( a u 1 , … , u m − 1 ) ( − 1 ) r e r t m G H , n ( a ) ( x , v m 2 ) ,

where

r= u 1 +2 u 2 +⋯+(m−1) u m − 1 .

From (5), we arrive at the desired result.

Let m be even.

From (11), (16) and (17), we obtain

G H , n ( a ) (mx,v)= m n − a ( e t + 1 e t m + 1 ) a e v t 2 2 e − v t 2 2 m 2 ( 2 t e t + 1 ) a e − v t 2 2 x n .

Using (13), we get

G H , n ( a ) (mx,v)= 2 a m n − a ( e t − 1 e t m + 1 ) a B H , n ( a ) ( x , v m 2 ) .

After some calculations, we have

G H , n ( a ) (mx,v)= 2 a m n − a ( ∑ k = 0 m − 1 ( − 1 ) k e k t m ) a B H , n ( a ) ( x , v m 2 ) .

By using Lemma 1.3, we obtain

G H , n ( a ) (mx,v)= 2 a m n − a ∑ u 1 , … , u m − 1 ≥ 0 ( a u 1 , … , u m − 1 ) ( − 1 ) r e r t m B H , n ( a ) ( x , v m 2 ) ,

where

r= u 1 +2 u 2 +⋯+(m−1) u m − 1 .

From (5), we arrive at the desired result. □

Remark 3.4 By substituting a=1 and v=0 into Theorem 3.1, Theorem 3.2 and Theorem 3.3, one can obtain multiplication formulas for the Bernoulli, Euler and Genocchi polynomials (cf. [1, 2, 4–16]).

Remark 3.5 The proofs of Theorem 3.1, Theorem 3.2 and Theorem 3.3 are also given by the generating functions method and may be other.

References

  1. Carlitz L: A note on the multiplication formulas for the Bernoulli and Euler polynomials. Proc. Am. Math. Soc. 1953, 4: 184-188. 10.1090/S0002-9939-1953-0052569-8

    Article  MATH  Google Scholar 

  2. Carlitz L: The multiplication formulas for the Bernoulli and Euler polynomials. Math. Mag. 1953, 27: 59-64. 10.2307/3029762

    Article  MATH  MathSciNet  Google Scholar 

  3. Bodin A: Number of irreducible polynomials in several variables over finite fields. Am. Math. Mon. 2008, 115: 653-660. arXiv:0706.0157v2 [math.AC]

    MATH  MathSciNet  Google Scholar 

  4. Roman S: The Umbral Calculus. Dover, New York; 2005.

    Google Scholar 

  5. Dere, R, Simsek, Y: Bernoulli type polynomials on Umbral Algebra. arXiv:1110.1484v1 [math.CA]

  6. Dere R, Simsek Y: Applications of umbral algebra to some special polynomials. Adv. Stud. Contemp. Math. 2012, 22: 433-438.

    MATH  MathSciNet  Google Scholar 

  7. Comtet L: Advanced Combinatorics: the Art of Finite and Infinite Expansions. Reidel, Dordrecht; 1974. (Translated from the French by J. M. Nienhuys)

    Book  MATH  Google Scholar 

  8. Dattoli G, Migliorati M, Srivastava HM: Sheffer polynomials, monomiality principle, algebraic methods and the theory of classical polynomials. Math. Comput. Model. 2007, 45: 1033-1041. 10.1016/j.mcm.2006.08.010

    Article  MATH  MathSciNet  Google Scholar 

  9. Dere R, Simsek Y: Genocchi polynomials associated with the Umbral algebra. Appl. Math. Comput. 2011, 218: 756-761. 10.1016/j.amc.2011.01.078

    Article  MATH  MathSciNet  Google Scholar 

  10. Luo Q-M: The multiplication formulas for the Apostol-Bernoulli and Apostol-Euler polynomials of higher order. Integral Transforms Spec. Funct. 2009, 20: 377-391. 10.1080/10652460802564324

    Article  MATH  MathSciNet  Google Scholar 

  11. Milne-Thomson LM: Two classes of generalized polynomials. Proc. Lond. Math. Soc. 1933, s2-35: 514-522. 10.1112/plms/s2-35.1.514

    Article  MathSciNet  Google Scholar 

  12. Simsek, Y: Generating functions for generalized Stirling type numbers, Array type polynomials, Eulerian type polynomials and their applications. http://arxiv.org/pdf/1111.3848v2.pdf

  13. Srivastava, HM, Kurt, B, Simsek, Y: Some families of Genocchi type polynomials and their interpolation functions. Integral Transforms Spec. Funct. (2012), iFirst, 1-20

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

    MathSciNet  Google Scholar 

  15. Srivastava HM, Kim T, Simsek Y: q -Bernoulli numbers and polynomials associated with multiple q -zeta functions and basic L -series. Russ. J. Math. Phys. 2005, 12: 241-268.

    MATH  MathSciNet  Google Scholar 

  16. Srivastava HM, Choi J: Zeta and q-Zeta Functions and Associated Series and Integrals. Elsevier, Amsterdam; 2012.

    MATH  Google Scholar 

Download references

Acknowledgements

Dedicated to Professor Hari M Srivastava.

All authors are partially supported by Research Project Offices Akdeniz Universities. We would like to thank the referees for their valuable comments.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yilmaz Simsek.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors completed the paper together. 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 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Dere, R., Simsek, Y. Normalized polynomials and their multiplication formulas. Adv Differ Equ 2013, 31 (2013). https://doi.org/10.1186/1687-1847-2013-31

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2013-31

Keywords