Abstract
The classical linearization problem concerns with determining the coefficients in the expansion of the product of two polynomials in terms of any given sequence of polynomials. As a generalization of this, we consider here sums of finite products of Chebyshev polynomials of the first, third, and fourth kinds, which are different from the ones previously studied. We represent each of them as linear combinations of Hermite, extended Laguerre, Legendre, Gegenbauer, and Jacobi polynomials. Here, the coefficients involve some terminating hypergeometric functions \({}_{2}F_{1}\), \({}_{2}F_{2}\), and \({}_{1}F_{1}\). These representations are obtained by explicit computations.
Similar content being viewed by others
1 Introduction and preliminaries
Here in this section, before stating the necessary basic facts about orthogonal polynomials, we will first fix some notations that will be used throughout this paper. We will limit those facts as minimum as possible. So the interested reader may want to refer to some general books on orthogonal polynomials; for instance [2, 3, 26].
For any nonnegative integer n, the falling factorial polynomials \((x)_{n}\) and the rising factorial polynomials \(\langle x\rangle _{n}\) are, respectively, given by
The two factorial polynomials are related by
where \(\varGamma (x)\) is the gamma function. The hypergeometric function is defined by
Next, we would like to state some basic facts about Chebyshev polynomials of the first kind \(T_{n}(x)\), second kind \(U_{n}(x)\), third kind \(V_{n}(x)\), and fourth kind \(W_{n}(x)\). Also, we will mention those facts about Hermite polynomials \(H_{n}(x)\), extended Laguerre polynomials \(L^{\alpha }_{n}(x)\), Legendre polynomials \(P_{n}(x)\), Gegenbauer polynomials \(C^{(\lambda )}_{n}(x)\), and Jacobi polynomials \(P^{(\alpha ,\beta )}_{n}(x)\). All of these facts can be found also in [5,6,7,8,9, 12, 14].
The above-mentioned polynomials are given, in terms of generating functions, in the following:
They are also given, in terms of explicit expressions, as follows:
Next, we state Rodrigues-type formulas for Hermite and extended Laguerre polynomials, and Rodrigues’ formulas for Legendre, Gegenbauer and Jacobi polynomials:
The special polynomials in (27)–(31) satisfy the following orthogonality properties with respect to various weight functions:
In this paper, we will consider the following sums of finite products of Chebyshev polynomials of the first, third and fourth kinds:
where all the sums in (37)–(39) run over all nonnegative integers \(i_{1},\ldots,i_{r+1}\), with \(i_{1}+\cdots +i _{r+1}=m\). Here, we observe that \(\alpha _{m,r}(x)\), \(\beta _{m,r}(x)\), and \(\gamma _{m,r}(x)\) all have degree m.
Our goal here is to express each of the sums of products in (37)–(39) as linear combinations of \(H_{n}(x)\), \(L^{ \alpha }_{n}(x)\), \(P_{n}(x)\), \(C^{(\lambda )}_{n}(x)\), and \(P^{(\alpha , \beta )}_{n}(x)\). An important observation here is that \(\alpha _{m,r}(x)\), \(\beta _{m,r}(x)\), and \(\gamma _{m,r}(x)\) can be expressed in terms of \(U^{(r)}_{m-j+r}(x)\), \((j=1,\ldots,m)\) (see Lemmas 1 and 2) by using the generating functions in (10). Then our results for \(\alpha _{m,r}(x)\), \(\beta _{m,r}(x)\), and \(\gamma _{m,r}(x)\) will be obtained by making use of Lemmas 1 and 2, the general formulas in Propositions 1 and 2, and integration by parts. We note here that each of the sums in (37)–(39) are also expressed in terms of all four kinds of Chebyshev polynomials in (21).
Before we state the main theorems, we would like to mention some previous work directly related to the results in the present paper. For this purpose, let us put
We studied Eq. (40) in [13, 16] and (41) and (42) in [4, 19] and were able to express each of them in terms of the Chebyshev polynomials of all kinds, Hermite polynomials, extended Laguerre polynomials. Legendre polynomials, Gegenbauer polynomials, and Jacobi polynomials. It is worth mentioning that some terminating hypergeometic functions like \({}_{1}F_{1}\), \({}_{2}F_{0}\), \({}_{2}F_{1}\), and \({}_{3}F_{2}\) appear as coefficients in such expressions. The impetus for these studies was the observation that the sums in (40)–(42) are, respectively, equal to \(\frac{1}{2^{r-1}r!}{T^{(r)}_{m+r}(x)}\), \(\frac{1}{2^{r}r!}V^{(r)}_{m+r}(x)\), and \(\frac{1}{2^{r}r!}W^{(r)}_{m+r}(x)\). In fact, these equalities can easily be seen by differentiating the generating functions in (9), (11) and (12). The next three theorems are the main results in this paper.
Theorem 1
For any nonnegative integers m, r, the following identities hold:
Theorem 2
For any nonnegative integers m, r, the following identities hold:
Theorem 3
For any nonnegative integers m, r, the following identities hold:
Lastly, we would like to mention some of the previous results that are related to the present work. Along the same line as this paper, certain sums of finite products of Chebyshev polynomials of the first, second, third and fourth kinds, and of Legendre, Laguerre, Fibonacci and Lucas polynomials are expressed in terms of all four kinds of Chebyshev polynomials in [10, 16, 19, 23, 25] and also in terms of Hermite, extended Laguerre, Legendre, Gegenbauer and Jacobi polynomials in [4, 11, 13, 24].
Also, some sums of finite products of Appell and non-Appell polynomials are expressed as linear combinations of Bernoulli polynomials. All of these were obtained by deriving Fourier series expansions for the functions closely related to such sums of finite products of special polynomials. Indeed, as for Appell polynomials some sums of finite products of Bernoulli and Euler polynomials are expressed in terms of Bernoulli polynomials in [1, 20]. As for non-Appell polynomials in [15, 17, 18, 22] the same are done for some sums of finite products of Chebyshev polynomials of the first, second, third, and fourth kinds, and of Legendre, Laguerre, Fibonacci and Lucas polynomials.
2 Proof of Theorem 1
Here we are going to prove Theorem 1. For this purpose, we first state Propositions 1 and 2 that will be used in showing Theorems 1, 2 and 3.
We note that the facts (a), (b), (c), (d) and (e) of Proposition 1 are, respectively, from (3.7) of [8], (2.3) of [12], (2.3) of [9], (2.3) of [6] and (2.7) of [14]. Actually, all the formulas in Proposition 1 can be derived from the orthogonalities in (32)–(36). Rodrigues’ and Rodrigues-type formulas in (27)–(31), and integration by parts.
Proposition 1
Let \(q(x)\in \mathbb{R}[x]\) be a polynomial of degree n. Then the following formulas hold:
-
(a)
\(q(x)=\sum_{k=0}^{n} C_{k,1} H_{k} (x)\), where
$$ C_{k,1}=\frac{(-1)^{k}}{2^{k}k!\sqrt{\pi }} \int _{-\infty }^{\infty }q(x)\frac{d^{k}}{dx^{k}}e^{-x^{2}} \,dx. $$ -
(b)
\(q(x)=\sum_{k=0}^{n} C_{k,2} L^{\alpha }_{k} (x)\), where
$$ C_{k,2}=\frac{1}{\varGamma (\alpha +k+1)} \int _{0}^{\infty }q(x)\frac{d ^{k}}{dx^{k}} \bigl(e^{-x}x^{k+\alpha }\bigr) \,dx. $$ -
(c)
\(q(x)=\sum_{k=0}^{n} C_{k,3} P_{k} (x)\), where
$$ C_{k,3}=\frac{2k+1}{2^{k+1}k!} \int _{-1}^{1}q(x)\frac{d^{k}}{dx^{k}}\bigl(x ^{2}-1\bigr)^{k} \,dx. $$ -
(d)
\(q(x)=\sum_{k=0}^{n} C_{k,4} C^{(\lambda )}_{k} (x)\), where
$$ C_{k,4}=\frac{(k+\lambda )\varGamma (\lambda )}{(-2)^{k}\sqrt{\pi } \varGamma (k+\lambda +\frac{1}{2})} \int _{-1}^{1}q(x)\frac{d^{k}}{dx^{k}}\bigl(1-x ^{2}\bigr)^{k+\lambda -\frac{1}{2}} \,dx. $$ -
(e)
\(q(x)=\sum_{k=0}^{n} C_{k,5} P^{(\alpha , \beta )}_{k} (x)\), where
$$ C_{k,5}=\frac{(-1)^{k}(2k+\alpha +\beta +1)\varGamma (k+\alpha +\beta +1)}{2^{ \alpha +\beta +k+1}\varGamma (\alpha +k+1)\varGamma (\beta +k+1)} \int _{-1} ^{1}q(x)\frac{d^{k}}{dx^{k}}(1-x)^{k+\alpha }(1+x)^{k+\beta } \,dx. $$
The next proposition is stated in [24].
Proposition 2
Let m, k be nonnegative integers. Then we have the following.
In [27], the following lemma is stated for \(m\geq r+1\). But it is valid for any nonnegative integer m, under the usual convention \(\binom{r+1}{j} =0\), for \(j>r+1\) (see [21]).
Lemma 1
Let m, r be any nonnegative integers. Then the following identity holds:
where \(\binom{r+1}{j}=0\), for \(j>r+1\).
For (19), we see that the rth derivative of \(U_{n} (x)\) is given by
We see easily from (59) that
In this section, we are going to show (43), (45) and (47) in Theorem 1, leaving the others (44) and (46) as exercises to the reader.
With \(\alpha _{m,r}(x)\) as in (37), we let
Then, by making use of (a) of Proposition 1, (58), (60), and integration by parts k times, we have
where we note from (a) of Proposition 2 that
Now, from (61)–(63) and after some simplifications, we obtain
Next, let us put
Then, from (c) of Proposition 1, (58), (60) and integration by parts k times, we get
where we observe from (b) of Proposition 2 that
Now, from (65)–(67) and after some simplifications, we have
This completes the proof for (37) in Theorem 1.
Finally, we put
Then, from (e) of Proposition 1, (58), (60) and integration by parts k times, we get
where we note from (d) of Proposition 2 that
Now, from (69)–(71) and after some simplifications, we have
3 Proofs of Theorems 2 and 3
Here we will show (49) and (51) in Theorem 2 and leave the others (48), (50) and (52) as exercises to the reader. Also, we remark that Theorem 3 follows from Theorem 2 by simple observation. We start with the next lemma, which can be shown analogously to Lemma 1.
Lemma 2
Let m, r be nonnegative integers. Then the following identities hold true:
where \(\binom{r+1}{j}=0\) for \(j>r+1\).
With \(\beta _{m,r}(x)\) as in (38), let us put
First, we note from (59) that
Then, from (b) of Proposition 1, (73), (76), and integration by parts k times, we get
Now, from (75) and (77) and using (7), we have
Next, we let
Then, from (d) of Proposition 1, (73), (76), and integration by parts k times, we obtain
From (c) of Proposition 2, we note that
By (79)–(81), and after some simplifications, we have
This finishes up the proof for (51) in Theorem 2.
Finally, we remark here that the identities (53)–(57) in Theorem 3 follow from those (48)–(52) in Theorem 2. For this purpose, we note from (73) and (74) that the only difference between \(\beta _{m,r}(x)\) and \(\gamma _{m,r}(x)\) (see (38), (39)) are the alternating sign \((-1)^{j}\) in their sums. This amounts to multiplying (48), (50), (52) by \((-1)^{m-k}\), and (51) by \((-1)^{j}\), and replacing \({}_{2}F_{2}(-;-;- \frac{1}{2})\) in (49) by \(_{2}F_{2}(-;-;\frac{1}{2})\).
4 Conclusion
In this paper, we studied the classical linearization problem, determining the coefficients in the expansion of the product of two polynomials in terms of any given sequence of polynomials. Considering sums of finite products of Chebyshev polynomials of the first, third, and fourth kinds, we have represented each of them as linear combinations of Hermite, extended Laguerre, Legendre, Gegenbauer, and Jacobi polynomials by explicit computations. Also, it is shown that some terminating hypergeometric functions \({}_{2}F_{1}\), \({}_{2}F_{2}\), and \({}_{1}F_{1}\) appear in the coefficients of the combinations.
References
Agarwal, R.P., Kim, D.S., Kim, T., Kwon, J.: Sums of finite products of Bernoulli functions. Adv. Differ. Equ. 2017, 237 (2017)
Andrews, G.E., Askey, R., Roy, R.: Special Functions. Encyclopedia of Mathematics and Its Applications, vol. 71. Cambridge University Press, Cambridge (1999)
Beals, R., Wong, R.: Special Functions and Orthogonal Polynomials. Cambridge Studies in Advanced Mathematics, vol. 153. Cambridge University Press, Cambridge (2016)
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 617 (2018)
Kim, D.S., Dolgy, D.V., Kim, T., Rim, S.-H.: Identities involving Bernoulli and Euler polynomials arising from Chebyshev polynomials. Proc. Jangjeon Math. Soc. 15(4), 361–370 (2012)
Kim, D.S., Kim, T., Lee, S.-H.: Some identities for Bernoulli polynomials involving Chebyshev polynomials. J. Comput. Anal. Appl. 16(1), 172–180 (2014)
Kim, D.S., Kim, T., Rim, S.-H.: Some identities involving Gegenbauer polynomials. Adv. Differ. Equ. 2012, 219 (2012)
Kim, D.S., Kim, T., Rim, S.-H., Lee, S.-H.: Hermite polynomials and their applications associated with Bernoulli and Euler numbers. Discrete Dyn. Nat. Soc. 2012, Article ID 974632 (2012)
Kim, D.S., Rim, S.-H., Kim, T.: Some identities on Bernoulli and Euler polynomials arising from orthogonality of Legendre polynomials. J. Inequal. Appl. 2012, 227 (2012)
Kim, T., Dolgy, D.V., Kim, D.S.: Representing sums of finite products of Chebyshev polynomials of the second kind and Fibonacci polynomials in terms of Chebyshev polynomials. Adv. Stud. Contemp. Math. (Kyungshang) 28(3), 321–335 (2018)
Kim, T., Hwang, K.-W., Kim, D.S., Dolgy, D.V.: Connection problem for sums of finite products of Legendre and Laguerre polynomials. Symmetry 11(3), Article ID 317 (2019)
Kim, T., Kim, D.S.: Extended Laguerre polynomials associated with Hermite, Bernoulli, and Euler numbers and polynomials. Abstr. Appl. Anal. 2012, Article ID 957350 (2012)
Kim, T., Kim, D.S.: Representing by several orthogonal polynomials for sums of finite products of Chebyshev polynomials of the first kind and Lucas polynomials (submitted)
Kim, T., Kim, D.S., Dolgy, D.V.: Some identities on Bernoulli and Hermite polynomials associated with Jacobi polynomials. Discrete Dyn. Nat. Soc. 2012, Article ID 584643 (2012)
Kim, T., Kim, D.S., Dolgy, D.V., Kwon, J.: Sums of finite products of Chebyshev polynomials of the third and fourth kinds. Adv. Differ. Equ. 2018, 283 (2018)
Kim, T., Kim, D.S., Dolgy, D.V., Kwon, J.: Representing sums of finite products of Chebyshev polynomials of the first kind and Lucas polynomials by Chebyshev polynomials. Mathematics 7(1), Article ID 26 (2019)
Kim, T., Kim, D.S., Dolgy, D.V., Park, J.-W.: Sums of finite products of Chebyshev polynomials of the second kind and of Fibonacci polynomials. J. Inequal. Appl. 2018, 148 (2018)
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., Dolgy, D.V., Ryoo, C.S.: Representing sums of finite products of Chebyshev polynomials of third and fourth kinds by Chebyshev polynomials. Symmetry 10(7), Article ID 258 (2018)
Kim, T., Kim, D.S., Jang, G.-W., Kwon, J.: Sums of finite products of Euler functions. In: Advances in Real and Complex Analysis with Applications. Trends in Mathematics, pp. 243–260. Birkhäuser, Basel (2017)
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., Jang, G.-W.: Sums of finite products of Genocchi functions. Adv. Differ. Equ. 2017, 268 (2017)
Kim, T., Kim, D.S., Jang, L.-C., Jang, G.-W.: Fourier series for functions related to Chebyshev polynomials of the first kind and Lucas polynomials. Mathematics 6(12), Article ID 276 (2018)
Kim, T., Kim, D.S., Kwon, J., Dolgy, D.V.: Expressing sums of finite products of Chebyshev polynomials of the second kind and of Fibonacci polynomials by several orthogonal polynomials. Mathematics 6(10), Article ID 210 (2018)
Kim, T., Kim, D.S., Kwon, J., Jang, G.-W.: Sums of finite products of Legendre and Laguerre polynomials by Chebyshev polynomials. Adv. Stud. Contemp. Math. (Kyungshang) 28(4), 551–565 (2018)
Mason, J.C., Handscomb, D.C.: Chebyshev Polynomials. Chapman & Hall/CRC, Boca Raton (2003)
Zhang, W.: Some identities involving the Fibonacci numbers and Lucas numbers. Fibonacci Q. 42, 149–154 (2004)
Acknowledgements
The present research has been conducted by the research grant of Kwangwoon university in 2019.
Availability of data and materials
Not applicable.
Funding
The authors received no specific funding for this work.
Author information
Authors and Affiliations
Contributions
Each of the authors, TK, DSK, DVD and DK contributed to each part of this study equally and read and approved the final version of the manuscript.
Corresponding author
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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Kim, T., Kim, D.S., Dolgy, D.V. et al. Representation by several orthogonal polynomials for sums of finite products of Chebyshev polynomials of the first, third and fourth kinds. Adv Differ Equ 2019, 110 (2019). https://doi.org/10.1186/s13662-019-2058-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-019-2058-8