 Research
 Open access
 Published:
Neoteric formulas of the monic orthogonal Chebyshev polynomials of the sixthkind involving moments and linearization formulas
Advances in Difference Equations volume 2021, Article number: 84 (2021)
Abstract
The principal aim of the current article is to establish new formulas of Chebyshev polynomials of the sixthkind. Two different approaches are followed to derive new connection formulas between these polynomials and some other orthogonal polynomials. The connection coefficients are expressed in terms of terminating hypergeometric functions of certain arguments; however, they can be reduced in some cases. New moment formulas of the sixthkind Chebyshev polynomials are also established, and in virtue of such formulas, linearization formulas of these polynomials are developed.
1 Introduction
Special functions in general and orthogonal polynomials, in particular, have been used for centuries. These functions and polynomials play essential parts in various disciplines such as theoretical physics, chemistry, and numerical analysis (see, for example, [1–3]). In particular, they occupy significant parts in the solution of differential equations of different types.
It is well known that there are several kinds of Chebyshev polynomials. The one most commonly used is of the first kind, but it is shown that all kinds have their roles to play (see [2]). The four kinds \(T_{n}(x)\), \(U_{n}(x)\), \(V_{n}(x)\) and \(W_{n}(x)\) denote, respectively, the first, second, third, and fourthkind Chebyshev polynomials. They are particular classes of Jacobi polynomials. The first and secondkind polynomials are ultraspherical polynomials, however, the third and fourthkinds are not ultraspherical polynomials. They are special nonsymmetric Jacobi polynomials. The third and fourthkind polynomials were first defined by Gautschi (see [4]). He named them Chebyshev polynomials since they have trigonometric definitions, like the first and secondkinds. There were two other kinds of Chebyshev polynomials introduced by Jamei [5]. He named them Chebyshev polynomials of the fifth and sixthkinds. Furthermore, he classified them as two halftrigonometric orthogonal polynomials because he could express only the evenorder polynomials in trigonometric definitions. Recently, AbdElhameed and Youssri found full trigonometric representations for the fifth and sixthkinds of any order (see [6, 7]). It should be pointed out here that all the six kinds of Chebyshev polynomials were employed in several applications in differential equations. For some articles concerned with the first four kinds see [8–10], and for some other contributions concerning the fifth and sixthkinds see [6, 7, 11].
Of the important problems related to the topic of special functions are the linearization problems and their related and generalizing problems. In this regard, we mention some of these problems accompanied by some contributions regarding them.

Linearization problems of different orthogonal polynomials. For example, and in this regard, recently, the author in [12] developed new linearization formulas of generalized Laguerre polynomials. More recently, the authors in [13] established some specific and general linearization formulas of certain classes of Jacobi polynomials. The author in [14] established linearization formulas of certain nonsymmetric classes of Jacobi polynomials. The authors in [15] derived some formulas of the linearization coefficients of some classes of Jacobi polynomials.

Summing finite products of different orthogonal polynomials. This important problem was investigated by some authors. In this regard, the authors in [16] represented certain sums of finite products of Chebyshev polynomials in terms of Chebyshev polynomials. The authors in [17] represented sums of finite products of Chebyshev polynomials of the firstkind and Lucas polynomials in terms of some orthogonal polynomials. Other expressions of sums of finite products of Legendre and Laguerre polynomials were developed in [18]. Recently, the authors in [19] developed new sums of finite products of the second, third, and fourthkind Chebyshev polynomials.

Connection problems between different orthogonal polynomials. Some studies were devoted to solving these problems via different approaches. For some articles interested in investigating these problems, one can be referred for example to [20, 21].
In this paper, we concentrate on developing some important formulas of Chebyshev polynomials of the sixthkind including connection and linearization formulas. Regarding the general linearization problem, if we have three polynomial sets \(\{\phi _{m}(x)\}_{m\ge 0}\), \(\{\psi _{n}(x)\}_{n\ge 0}\), and \(\{\xi _{p}(x)\}_{p\ge 0}\), then the problem
is called the general linearization problem, and the coefficients \(L_{r,m,n}\) are called the linearization coefficients. To solve the linearization problem (1), we should find the coefficients \(L_{r,m,n}\). In particular, we have two important problems considered as special cases of problem (1):

(i)
The linearization problem,
$$ \phi _{m}(x) \phi _{n}(x)=\sum _{r=0}^{m+n}M_{r,m,n} \phi _{r}(x), $$where \(M_{r,m,n}\) are the linearization coefficients to be determined.

(ii)
The connection problem,
$$ \phi _{m}(x)=\sum_{r=0}^{m+n}S_{r,m,n} \xi _{r}(x), $$where \(S_{r,m,n}\) are the connection coefficients to be determined.
Several algorithms were described to solve the connection and linearization problems. In most cases, the connection and linearization coefficients are expressed in terms of hypergeometric functions of certain arguments; see, for example [20, 22–24].
There are extensive studies regarding the first four kinds of Chebyshev polynomials form theoretical and numerical points of view, however, the studies regarding the fifth and sixthkinds of Chebyshev polynomials are not complete. This gives us a strong motivation to study these kinds of polynomials. In this paper, we are interested in developing some new formulas of the sixthkind Chebyshev polynomials. To the best of our knowledge, the following formulas are not found in the literature:

The connection formulas of Chebyshev polynomials of the sixthkind with other orthogonal polynomials and their inversion ones.

The moment formulas of Chebyshev polynomials of the sixthkind.

The linearization formulas of Chebyshev polynomials of the sixthkind.
The importance of the above formulas of course gives a motivation to establish them.
In this article, to solve the connection problems between the sixthkind Chebyshev polynomials and some other orthogonal polynomials, we follow two different approaches. Furthermore, and in order to establish the linearization formulas of Chebyshev polynomials of the sixthkind, we first develop the moment formulas of these polynomials and then utilize them to establish the linearization formulas.
The arrangement of the paper is as follows. In the next section, some elementary properties and useful formulas of the sixthkind Chebyshev polynomials are presented. Section 3 is concerned with the solutions to the connection problems between the sixthkind Chebyshev polynomials and some other orthogonal polynomials and their inversion ones. New moment formulas of the sixthkind Chebyshev polynomials are established in Sect. 4. Based on these formulas, the linearization formulas of the sixthkind Chebyshev polynomials are derived in Sect. 5. We end the paper by presenting some conclusions in Sect. 6.
2 Some properties and essential formulas
This section is devoted to presenting some fundamental properties of the sixthkind Chebyshev polynomials. These polynomials satisfy the following orthogonality relation (see [6]):
with
They also can be generated with the aid of the recurrence relation:
These polynomials can be expressed in the following power form representations (see [5]):
The inversion formula to the power form representation of any polynomial is among the essential formulas associated with any set of polynomials. In the following lemma, we give the inversion formulas to the power form representations in (3) and (4).
Lemma 1
Let n be any nonnegative integer. The inversion formulas to the power form representations in (3) and (4) are given as follows:
Proof
The two inversion formulas in (5) and (6) can be written in the form
where \((u)_{m}\) represents the wellknown Pochhammer symbol, that is, \((u)_{m}=\frac{\Gamma (u+m)}{\Gamma (u)}\), and \(\lfloor z \rfloor \) denotes the greatest integer less than or equal to z.
With the aid of the recurrence relation (2), Eq. (7) can be proved through induction. □
The next two lemmas are helpful in the sequel. A trigonometric representation of the polynomials \(Y_{n}(x)\) is given in the first lemma. In contrast, the second lemma is concerned with the definition of \(Y_{j}(x)\) for all \(j\in \mathbb{Z}\).
Lemma 2
([7])
Let n be any integer. We have
Lemma 3
For \(n\le 3\), we have
Proof
The identity (9) is a direct consequence of the trigonometric identity (8). □
3 Connection formulas between the sixthkind Chebyshev polynomials and some orthogonal polynomials
This section deals with the connection problems between the sixthkind Chebyshev polynomials and some other orthogonal polynomials. We will show that the connection coefficients can be expressed in terms of hypergeometric functions of certain arguments. Furthermore, we will show that in some cases they can be reduced to obtain some connection formulas whose coefficients are free of any hypergeometric functions.
3.1 Solution of the sixthkind Chebyshevultraspherical connection problem
Theorem 1
Let k be any nonnegative integer. The sixthkind Chebyshevultraspherical connection formula is
with
Proof
The connection formula (10) can be split into the following two connection formulas:
and
We prove (12). The proof of (11) is similar. Now, consider the following connection formula:
where \(\xi _{m,k,\mu }\) are the connection coefficients to be determined. We make use of the orthogonality relation of ultraspherical polynomials ([25]) to get the integral form of these coefficients,
In virtue of Rodrigues’ formula of \(C^{(\mu )}_{j}(x)\) (see [25]), Eq. (13) turns into the form
Integrating the righthand side of the last equation by parts \((2k2m+1)\) times enables one to rewrite (14) as
Making use of the power form representation of \(Y_{2k+1}(x)\) in (4) transforms (15) into the following form:
If we note the identity
then the coefficients \(\xi _{k,m,\mu }\) are given by
The summation in (16) can be written in a hypergeometric form as
and therefore, the following connection formula is obtained:
□
Noting that Chebyshev polynomials of the first and secondkinds and Legendre polynomials are special ones of the ultraspherical polynomials, the connection formulas between the sixthkind Chebyshev polynomials and these polynomials can be deduced as special cases of (11) and (12). These results are given in the following corollaries.
Corollary 1
Let k be any nonnegative integer. The sixthand firstkind Chebyshev polynomials are connected by the following two formulas:
Proof
We prove (17). Setting \(\mu =0\) in Eq. (12) yields
Based on Zeilberger’s algorithm (see Koepf [26]), and if we set
then \(G_{m,k}\) satisfies the following recurrence relation of order two:
The last recurrence relations can be exactly solved to give
and therefore, the connection formula (17) can be obtained. □
Corollary 2
Let k be any nonnegative integer. The sixth and secondkind Chebyshev polynomials are connected by the following two formulas:
Proof
We prove (18). Setting \(\mu =1\) in the connection formula (11) yields
The Pfaff–Saalschütz identity ([27]) reduces the above hypergeometric function to the form
and therefore, the following connection formula is obtained:
□
Corollary 3
Let k be any nonnegative integer. The sixthkind Chebyshev polynomials and Legendre polynomials are connected by the following two formulas:
Proof
The two connection formulas (19) and (20) can be immediately concluded by setting \(\mu =\frac{1}{2}\), in (11) and (12), respectively. □
3.2 Solution of the ultraspherical sixthkind Chebyshev connection problem
This section derives the inversion connection formulas to those given in the last subsection.
Theorem 2
Let k be any nonnegative integer. The ultraspherical sixthkind Chebyshev polynomial connection formula is
with
Proof
The connection formula (21) can be split into the following two connection formulas:
We prove (22). The power form representation of ultraspherical polynomials enables one to write
With the aid of Eq. (5), Eq. (24) can be converted into
Carrying out certain algebraic computations on the last formula transforms it into the following form:
and therefore the following connection formula is obtained:
Based on symbolic computation, and in particular, on Zeilberger’s and Petkovsek’s algorithms (see Koepf [26]), it can be shown that
then after performing some calculations, the connection formula (22) can be obtained. Equation (23) can be similarly proved. □
Now, setting \(\mu =0,1\) and \(\frac{1}{2}\), respectively, in the connection formulas (22) and (23), and performing some reductions yield three special connection formulas. The results are given in the following corollaries.
Corollary 4
Let k be any nonnegative integer. The firstkind and sixthkind Chebyshev polynomials connection formulas are
Corollary 5
Let k be any nonnegative integer. The secondkind and sixthkind Chebyshev polynomials connection formulas are
Corollary 6
Let k be any nonnegative integer. The Legendre polynomials and sixthkind Chebyshev polynomials connection formulas are
4 Development of the moment formulas of the sixthkind Chebyshev polynomials
This section focuses on the development of the moment formulas of Chebyshev polynomials of the sixthkind. First, the following lemma serves in the proof of the main theorem of the moment formulas.
Lemma 4
Let ℓ, j and m be any nonnegative integers. The following reduction formula holds:
Proof
Let
First, since the terminating hypergeometric function in (25) involves two nonnegative integers i and k, we have to take into consideration the following two cases:
(i) For \(i\le k\), Zeilberger’s algorithm enables one to obtain the following recurrence relation that is satisfied by \(A_{i,r,k}\):
with the following initial values:
The recurrence relation (26) can be exactly solved to give
(ii) For \(i\ge k+1\), Zeilberger’s algorithm again enables one to obtain the following recurrence relation that is satisfied by \(A_{i,r,k}\):
with the initial values
The recurrence relation (27) can be exactly solved to give
Lemma 4 is now proved. □
Theorem 3
The following moment formula holds for all nonnegative integers r and k:
where the coefficients \(B_{i,r,k}\) are given explicitly as
Proof
The proof of the theorem is lengthy. The idea depends on proving its alternative form. In fact, the moments formula (28) with the coefficients in (29) can be split into the following four moment formulas:
Now, we are going to prove the moment formula (30). The remaining moment formulas can be proved similarly. The power form expression in (4) along with the inversion formula in (5) enables one to write
Performing some computations on the last formula turns it into the formula
which can be written alternatively as
A closedform of the term \({}_{4} F_{3}(1)\) that appears in (31) is given in Lemma 4, and accordingly this enables one to write
where the moments’ coefficients \(B_{i,r,k}\) are given as
Due to Eq. (32) along with Eq. (33), we get
which can be written as
Now, based on identity (9), we have
If we perform some suitable transformations on the second sum of (34), we can write
and accordingly, Eq. (34) can be rewritten in the form
which is equivalent to
The proof is now complete. □
5 Linearization formulas of Chebyshev polynomials of the sixthkind
In this section, and based on the moment formulas introduced in Sect. 4, the linearization formulas of Chebyshev polynomials of the sixthkind are established.
Theorem 4
For all nonnegative integers m and n, the following linearization formula is valid:
and the linearization coefficients \(L_{r,m,n}\) are given explicitly as
Proof
The proof of the theorem is lengthy. Equation (35) can be split into the following four relations:
Now, we prove formula (36). The other formulas can be proved similarly. Based on Eq. (4), we can write
In virtue of the moment formula (30), the last formula turns into the form
Rearrangement of the terms in the righthand side of (37), enables one to write
After some lengthy manipulation, the last linearization formula can be written in the following form:
where
and
The \({}_{3} F_{2}(1)\) that appears in the coefficient \(G_{p,m}\) can be summed with the aid of the Pfaff–Saalschütz identity to give
while the \({}_{3} F_{2}(1)\) that appears in the coefficient \(S_{p,m}\) for all \(p\ge 1\) can be summed with Zeilberger’s and Petkovsek’s algorithms (see [26]) to give
The reductions of the above two hypergeometric functions enable one to express explicitly the coefficients \(G_{p,m}\) and \(S_{p,m}\) in the following reduced forms:
and this leads to the following linearization formula:
□
6 Conclusions
We have established some new formulas concerned with the sixthkind Chebyshev polynomials. Connection formulas between the sixthkind Chebyshev polynomials and some other orthogonal polynomials and their inversion formulas are derived with two different approaches. New moment formulas of the sixthkind Chebyshev polynomials are also established. Based on the moment formulas, the linearization formulas of these polynomials are derived. Most of the formulas derived in this paper are new and useful to the best of our knowledge.
Availability of data and materials
Not applicable.
References
Gil, A., Segura, J., Temme, N.M.: Numerical Methods for Special Functions. SIAM, Philadelphia (2007)
Mason, J.C., Handscomb, D.C.: Chebyshev Polynomials. Chapman & Hall/ CRC, Boca Raton (2003)
Ralston, A.: Numerical integration methods for the solution of ordinary differential equations. In: Ralston, A., Wilf, H.S. (eds.) Mathematical Methods for Digital Computers, vol. 1 (1960)
Gautschi, W.: On mean convergence of extended Lagrange interpolation. J. Comput. Appl. Math. 43(1–2), 19–35 (1992)
MasjedJamei, M.: Some new classes of orthogonal polynomials and special functions: a symmetric generalization of Sturm–Liouville problems and its consequences. Ph.D. thesis, Department of Mathematics, University of Kassel, Kassel, Germany (2006)
AbdElhameed, W.M., Youssri, Y.H.: Fifthkind orthonormal Chebyshev polynomial solutions for fractional differential equations. Comput. Appl. Math. 37, 2897–2921 (2018)
AbdElhameed, W.M., Youssri, Y.H.: Sixthkind Chebyshev spectral approach for solving fractional differential equations. Int. J. Nonlinear Sci. Numer. Simul. 20(2), 191–203 (2019)
Doha, E.H., AbdElhameed, W.M., Bassuony, M.A.: On the coefficients of differentiated expansions and derivatives of Chebyshev polynomials of the third and fourth kinds. Acta Math. Sci. 35(2), 326–338 (2015)
Doha, E.H., AbdElhameed, W.M.: On the coefficients of integrated expansions and integrals of Chebyshev polynomials of third and fourth kinds. Bull. Malays. Math. Sci. Soc. 37(2), 383–398 (2014)
Lee, K.: Chebyshev collocation method for the constant mobility Cahn–Hilliard equation in a square domain. Appl. Math. Comput. 370, Aticle ID 124931 (2020)
Babaei, A., Jafari, H., Banihashemi, S.: Numerical solution of variable order fractional nonlinear quadratic integrodifferential equations based on the sixthkind Chebyshev collocation method. J. Comput. Appl. Math. 377, Aticle ID 112908 (2020)
Ahmed, H.M.: Computing expansions coefficients for Laguerre polynomials. Integral Transforms Spec. Funct. (2020). https://doi.org/10.1080/10652469.2020.1815727
AbdElhameed, W.M., Ali, A.: New specific and general linearization formulas of some classes of Jacobi polynomials. Mathematics 9(1), Article ID 74 (2021)
AbdElhameed, W.M.: New formulae for the linearization coefficients of some nonsymmetric Jacobi polynomials. Adv. Differ. Equ. 2015, 168 (2015)
Chaggara, H., Koepf, W.: On linearization coefficients of Jacobi polynomials. Appl. Math. Lett. 23(5), 609–614 (2010)
Kim, T., Kim, D.S., Jang, L.C., Dolgy, D.V.: Representation by Chebyshev polynomials for sums of finite products of Chebyshev polynomials. Symmetry 10(12), Article ID 742 (2018)
Kim, T., Kim, D.S., Jang, L.C., Dolgy, D.V.: Representing by several orthogonal polynomials for sums of finite products of Chebyshev polynomials of the first kind and Lucas polynomials. Adv. Differ. Equ. 2019, 162 (2019)
Kim, T., Kim, D.S., Dolgy, D.V., Park, J.W.: Sums of finite products of Legendre and Laguerre polynomials. Adv. Differ. Equ. 2018, 277 (2018)
Kim, T., Kim, D.S., Lee, H., Kwon, J.: Studies in sums of finite products of the second, third, and fourth kind Chebyshev polynomials. Mathematics 8(2), Article ID 210 (2020)
AbdElhameed, W.M., Youssri, Y.H., ElSissi, N., Sadek, M.: New hypergeometric connection formulae between Fibonacci and Chebyshev polynomials. Ramanujan J. 42, 347–361 (2017)
Dolgy, D.V., Kim, D.S., Kim, T., Kwon, J.: Connection problem for sums of finite products of Chebyshev polynomials of the third and fourth kinds. Symmetry 10(11), Article ID 6170 (2018)
Tcheutia, D.D.: On connection, linearization and duplication coefficients of classical orthogonal polynomials. Ph.D. thesis, University of Kassel, Kassel, Germany (2014)
AbdElhameed, W.M.: New product and linearization formulae of Jacobi polynomials of certain parameters. Integral Transforms Spec. Funct. 26(8), 586–599 (2015)
AbdElhameed, W.M., Doha, E.H., Ahmed, H.M.: Linearization formulae for certainJacobi polynomials. Ramanujan J. 39(1), 155–168 (2016)
Doha, E.H., AbdElhameed, W.M.: Efficient spectralGalerkin algorithms for direct solution of secondorder equations using ultraspherical polynomials. SIAM J. Sci. Comput. 24(2), 548–571 (2002)
Koepf, W.: Hypergeometric Summation. An Algorithmic Approach to Summation and Special Function Identities. Springer, London (2014)
Olver, F.W.J., Lozier, D.W., Boisvert, R.F., Clark, C.W.: NIST Handbook of Mathematical Functions. Cambridge University Press, Cambridge (2010). DLMF, Digital Library of Mathematical Functions
Acknowledgements
The authors would like to thank the anonymous reviewers for carefully reading the article and also for their constructive and valuable comments, which have improved the paper in its present form.
Funding
There was no funding for this research.
Author information
Authors and Affiliations
Contributions
The two authors contributed equally to the work. Both authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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/.
About this article
Cite this article
AbdElhameed, W.M., Youssri, Y.H. Neoteric formulas of the monic orthogonal Chebyshev polynomials of the sixthkind involving moments and linearization formulas. Adv Differ Equ 2021, 84 (2021). https://doi.org/10.1186/s13662021032449
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662021032449