In a recent article we noted that the first and second kind Cebyshev polynomials can be used to separate the real from the imaginary part of the Appell polynomials. The purpose of this article is to show that the same classic polynomials can also be used to separate the even part from the odd part of the Appell polynomials and of the Appell–Bessel functions.

Bessel functions Appell–Bessel functions generating functions Chebyshev polynomials MSC AMS 2010 Mathematics Subject Classifications: 33C99–11B83–12E10
1. Introduction

In a recent article  we noted that the first and second type Chebyshev polynomials can be used to separate the real from the imaginary part of the Appell polynomials. This is just one of the countless applications of these classic polynomials in Function theory. The purpose of this article is to highlight another of their applications, which is, in some way, analogous to the previous one. In fact everybody knows that the even and the odd part of a function F(x) are derived, in a trivial form, by the equations 12[F(x)+F(x)] and 12[F(x)F(x)].

However, in the case of more complicated expressions of the F function, for example in relation to the Appell-type functions, the result is not so obvious, and it will be shown here that it can be obtained using another property of the first and second kind Chebyshev polynomials.

The article is organized as follows. In the first section we use a formula, similar to that of Euler, to separate the even part from the odd part of a binomial power containing hyperbolic functions, showing a connection with the Chebyshev polynomials considered outside their orthogonality interval. Then the results are applied to the case of the Appell polynomials and, in the following sections, to the case of the first kind Bessel functions and to the recently introduced Appell–Bessel functions .

It is noteworthy that the study of Appell’s polynomials, and of their various extensions, has been considered in both earlier  and recent times [4,5,6]. In these articles have been shown applications to difference equations, expansions in polynomial series and has been analyzed the relative internal structure.

2. Recalling the Chebyshev Polynomials

It is well known that the first kind Chebyshev polynomias Tn(x) can be defined outside the interval [1,1], by using their expression in terms of hyperbolic functions .

Putting x=coshθ, and f(θ)=coshθ+sinhθ, we can write:[f(θ)]n=(coshθ+sinhθ)n=h=0[n/2]n2h[coshθ]n2h([coshθ]21)h++sinhθh=0[(n1)/2]n2h+1[coshθ]n2h1([coshθ]21)h==E[f(θ)]n+O[f(θ)]n, where E[f(θ)]n and O[f(θ)]n denote the even and odd part of the [f(θ)]n function.

Therefore, using the explicit expression of Chebyshev polynomias, we find [f(θ)]n=(coshθ+sinhθ)n=Tn(coshθ)+sinhθUn1(coshθ), and E[f(θ)]n=Tn(coshθ),O[f(θ)]n=sinhθUn1(coshθ).

Equations (2) and (3) can be interpreted as an Euler-type formula, owing the analogy with the classical one:[exp(iθ)]n=(cosθ+isinθ)n=h=0[n/2]n2h[cosθ]n2h([cosθ]21)h++isinθh=0[(n1)/2]n2h+1[cosθ]n2h1([cosθ]21)h==[(exp(iθ))n]+i[(exp(iθ))n].

Consequences of the Euler-Type Formula

Using the expansions proven in  (but in the case of hyperbolic functions), we find:

The Taylor expansions hold:exτcosh(yτ)=n=0C˜n(x,y)τnn!,exτsinh(yτ)=n=0S˜n(x,y)τnn!,whereC˜n(x,y)=j=0[n/2]h2jxn2jy2jS˜n(x,y)=j=0[(n1)/2]h2j+1xn2j1y2j+1.

The result follows by using the product of series:

I. Cauchy product involving an even function. k=0ckτkk!k=0dkτ2k(2k)!=k=0h=0k2k2hck2hdhτkk!.

II. Cauchy product involving an odd function. k=0akτkk!k=0bkτ2k+1(2k+1)!=k=0h=0k12k2h+1ak2h1bhτkk!.

As a consequence of Equations (5) and (6) we find: exτcosh(yτ)+sinh(yτ)=e(x+y)τ=n=0C˜n(x,y)+S˜n(x,y)τnn!, and putting x=coshθ, y=sinhθ exp[(coshθ+sinhθ)τ]=n=0(coshθ+sinhθ)nτnn!==n=0C˜n(coshθ,sinhθ)+S˜n(coshθ,sinhθ)τnn!.

Therefore, we conclude that C˜n(coshθ,sinhθ)=Tn(coshθ)1pt26ptS˜n(coshθ,sinhθ)=sinhθUn1(coshθ), and furthermore: C˜n(x,x21)=Tn(x),S˜n(x,x21)=x21Un1(x).

3. The Even and Odd Part of Appell Polynomials

In this section we show how to represent the even and odd part of Appell polynomials.

Consider the Appell polynomials [9,10,11], defined by the generating function  A(t)ext=n=0αn(x)tnn!, where A(t)=n=0aktkk!.

Putting y:=x21, we have A(t)e(x+y)t=n=0An(x,y)tnn!, where An(x,y)=An(x,x21)=αn(x+x21).

By using the Cauchy product we find:An(x,y)=k=0nnkank(x+y)k=E[An(x,y)]+O[An(x,y)], and putting x=coshθ, y=x21=sinhθ, An(x,y)=k=0nnkank(coshθ+sinhθ)k=k=0nnkankC˜k(x,y)+S˜k(x,y)=1pt26pt=k=0nnkankTk(x)+yUk1(x).

Therefore, by recalling (2) and (3), we conclude that E[An(x,x21)]=k=0nnkankTk(x),O[An(x,x21)]=x21k=0nnkankUk1(x).

Note that Equation (18) can be applied in general, since, when |x|>1, the position x+x21=u is equivalent to x=u212u, and x21=u212u, so that Equation (13) becomes: A ( t ) e u t = n = 0 α n ( u ) t n n ! .

Therefore, we can conclude with the theorem.

The even and odd part of the Appell polynomials αn(u) defined by the generating function (19) can be represented, in terms of the first and second kind Chebyshev polynomials, by the equations: E[αn(u)]=k=0nnkankTku2+12u,O[αn(u)]=u212uk=0nnkankUk1u2+12u.

4. 1st Kind Bessel Functions

We consider here the first kind of Bessel functions with integer order , defined by the generating function :ex2t1t=n=Jn(x)tn. Putting, for shortness:J˜0(x):=12J0(x),J˜k(x):=Jk(x),(k1).

Equation (21) writes:ex2t1t=n=0J˜n(x)tn+n=0(1)nJ˜n(x)tn. Note that, using the notation ex2t1t=Eex2t1t+Oex2t1t, the even and odd part must be understood with respect to both t and x, and we find:Eex2t1t=n=0J˜2n(x)t2n+t2n,Oex2t1t=n=0J2n+1(x)t2n+1t(2n+1).

Representation by Chebyshev Polynomials

Inverting the equation τ=12t1t, we have:t=τ+τ2+1.

The generating function (21) can be represented in terms of Chebyshev polynomials by: exτ=2n=0J˜2n(x)T2n(τ)+2τ2+1n=0J2n+1(x)U2n(τ), so that the even and odd part of the Bessel functions defined by Equation (21) are given by Ek=Jk(x)tk=2k=0J˜2k(x)T2k(τ),Ok=Jk(x)tk=2τ2+1k=0J2k+1U2k(τ).

Equation (21) writes: exτ=n=0J˜2n(x)t2n+t2n+n=0J2n+1(x)t2n+1t(2n+1), so that t2n+t2n=2T2n(τ),t2n+1t(2n+1)=2τ2+1U2n(τ), and the result is proven. ☐

5. Appel–Bessel Functions

Several mixed-type (or hybrid) functions have been recently considered. The starting point of these type of special functions can be found in [14,15]. In this section we consider the Appel–Bessel functions introduced in .

The Appel–Bessel functions  are defined by generating function: G ( x , t ) = A x 2 ( t 1 t ) exp x 2 ( t 1 t ) = k = [ A J k ( x ) ] t k , where A ( τ ) = k = 0 a k τ k k ! , ( a 0 0 ) . Since G ( x , t ) = k = [ A J k ( x ) ] t k = k = [ A J k ( x ) ] t k , we find [ A J k ( x ) ] = ( 1 ) k [ A J k ( x ) ] .

Furthermore, from G ( x , t ) = G ( x , t ) = k = [ A J k ( x ) ] ( 1 ) k t k = k = [ A J k ( x ) ] t k , we find [ A J k ( x ) ] = ( 1 ) k [ A J k ( x ) ] .

That is, the same symmetry properties of the ordinary 1st kind Bessel functions still hold for the Appell–Bessel functions.

5.1. Representation of the Appell–Bessel Functions

Even in this case we put, for shortness:[AJ˜0(x)]:=12[AJ0(x)],[AJ˜k(x)]:=[AJk(x)],(k1).

The generating function (31) can be represented in terms of Chebyshev polynomials by: A(xτ)exτ=2n=0[AJ˜2n(x)]T2n(τ)+2τ2+1n=0[AJ2n+1(x)]U2n(τ), so that the even and odd part of the Appell-Bessel functions are given by Ek=[AJk(x)]tk=2k=0[AJ˜2k(x)]T2k(τ),Ok=[AJk(x)]tk=2τ2+1k=0[AJ2k+1]U2k(τ).

Using the symmetry properties (34) and (36), the same technique applied in Section 3 gives the result in the present case. ☐

5.2. Connection with the Appel–Bessel Functions

The following equation holds: k = 0 h = 0 k k h a k h ( x τ ) k k ! = 1 p t 26 p t = 2 n = 0 [ A J ˜ 2 n ( x ) ] T 2 n ( τ ) + 2 τ 2 + 1 n = 0 [ A J 2 n + 1 ( x ) ] U 2 n ( τ ) .

By using the Cauchy product we find: A(xτ)exτ=k=0ak(xτ)kk!k=0(xτ)kk!=k=0h=0kkhakh(xτ)kk!.

Therefore, the result follows by comparing Equations (38) and (41). ☐

6. Conclusions

It has been shown that the first and second kind Chebyshev polynomials play an important role in separating the even part from the odd part of several polynomials and special functions, which include the Appell polynomials, the first kind Bessel functions and the recently introduced Appell–Bessel functions . This is another remarkable property of Chebyshev’s classic polynomials within Function theory, which seems to be the counterpart of another, highlighted in , which showed its role in separating the real from the imaginary part of Appell’s polynomials.

Author Contributions

Review and editing, P.N.; investigation, original draft preparation, P.E.R.

Funding

This research received no external funding.

Conflicts of Interest

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

References Srivastava H.M. Ricci P.E. Natalini P. A Family of Complex Appell Polynomial Sets Rev. Real Acad. Cienc. Exactas Fís. Natur. Ser. A Mat. 2019 113 2359 2371 10.1007/s13398-018-00622-z Khan S. Naikoo S.A. Certain discrete Bessel convolutions of the Appell polynomials Miskolc Math. Notes 2019 20 271 279 Srivastava H.M. Some characterizations of Appell and q-Appell polynomials Ann. Mat. Pura Appl. 1982 130 321 329 10.1007/BF01761501 Pintér Á. Srivastava H.M. Addition theorems for the Appell polynomials and the associated classes of polynomial expansions Aequ. Math. 2013 85 483 495 10.1007/s00010-012-0148-8 Srivastava H.M. Özarslan M.A. Yaşar B.Y. Difference equations for a class of twice-iterated Δh-Appell sequences of polynomials Rev. Real Acad. Cienc. Exactas Fís. Natur. Ser. A Mat. 2019 113 1851 1871 10.1007/s13398-018-0582-0 Verde-Star L. Srivastava H.M. Some binomial formulas of the generalized Appell form J. Math. Anal. Appl. 2002 274 755 771 10.1016/S0022-247X(02)00359-1 Rivlin T.J. The Chebyshev Polynomials J. Wiley New York, NY, USA 1990 Masjed-Jamei M. Beyki M.R. Koepf W. A New Type of Euler Polynomials and Numbers Mediterr. J. Math. 2018 15 138 10.1007/s00009-018-1181-1 Appell P. Sur une classe de polynômes Ann. Sci. Ec. Norm. Sup. 1880 9 119 144 10.24033/asens.186 Appell P. Kampé de Fériet J. Fonctions Hypergéométriques et Hypersphériques. Polynômes d’Hermite Gauthier-Villars Paris, France 1926 Sheffer I.M. Some properties of polynomials sets of zero type Duke Math. J. 1939 5 590 622 10.1215/S0012-7094-39-00549-1 Srivastava H.M. Manocha H.L. A Treatise on Generating Functions Ellis Horwood Limited Chichester, UK John Wiley and Sons New York, NY, USA Chichester, UK Brisbane, Australia Toronto, ON, Canada 1984 Watson G.N. A Treatise on the Theory of Bessel Functions 2nd ed. Cambridge Univ. Press Cambridge, UK 1966 Dattoli G. Hermite-Bessel and Laguerre-Bessel functions: A by-product of the monomiality principle Advanced Special Functions and Applications Cocolicchio D. Dattoli G. Srivastava H.M. Aracne Editrice Rome, Italy 2000 147 164 Dattoli G. Ricci P.E. Srivastava H.M. 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, Italy 24–29 June 2001