Next Article in Journal
Generation of Numerical Models of Anisotropic Columnar Jointed Rock Mass Using Modified Centroidal Voronoi Diagrams
Next Article in Special Issue
On Classical Gauss Sums and Some of Their Properties
Previous Article in Journal
Detect User’s Rating Characteristics by Separate Scores for Matrix Factorization Technique
Previous Article in Special Issue
Fibonacci and Lucas Numbers of the Form 2a + 3b + 5c + 7d
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Connection Problem for Sums of Finite Products of Chebyshev Polynomials of the Third and Fourth Kinds

1
Institute of National Sciences, Far Eastern Federal University, 690950 Vladivostok, Russia
2
Department of Mathematics, Sogang University, Seoul 04107, Korea
3
Department of Mathematics, College of Science, Tianjin Polytechnic University, Tianjin 300160, China
4
Department of Mathematics, Kwangwoon University, Seoul 01897, Korea
5
Department of Mathematics Education and ERI, Gyeongsang National University, Jinju 52828, Gyeongsangnamdo, Korea
*
Author to whom correspondence should be addressed.
Symmetry 2018, 10(11), 617; https://doi.org/10.3390/sym10110617
Submission received: 8 October 2018 / Revised: 3 November 2018 / Accepted: 5 November 2018 / Published: 9 November 2018
(This article belongs to the Special Issue Current Trends in Symmetric Polynomials with their Applications)

Abstract

:
This paper treats the connection problem of expressing sums of finite products of Chebyshev polynomials of the third and fourth kinds in terms of five classical orthogonal polynomials. In fact, by carrying out explicit computations each of them are expressed as linear combinations of Hermite, generalized Laguerre, Legendre, Gegenbauer, and Jacobi polynomials which involve some terminating hypergeometric functions F 0 2 , F 1 2 , and F 2 3 .

1. Introduction and Preliminaries

In this section, we will recall some basic facts about relevant orthogonal polynomials that will be needed throughout this paper. For this, we will first fix some notations. For any nonnegative integer n, the falling factorial polynomials ( x ) n and the rising factorial polynomials < x > n are respectively given by
( x ) n = x ( x 1 ) ( x n + 1 ) , ( n 1 ) , ( x ) 0 = 1 ,
< x > n = x ( x + 1 ) ( x + n 1 ) , ( n 1 ) , < x > 0 = 1 .
The two factorial polynomials are evidently related by
( 1 ) n ( x ) n = < x > n , ( 1 ) n < x > n = ( x ) n .
( 2 n 2 s ) ! ( n s ) ! = 2 2 n 2 s ( 1 ) s < 1 2 > n < 1 2 n > s , ( n s 0 ) .
B ( x , y ) = 0 1 t x 1 ( 1 t ) y 1 d t = Γ ( x ) Γ ( y ) Γ ( x + y ) , ( R e x , R e y > 0 ) .
Γ ( n + 1 2 ) = ( 2 n ) ! π 2 2 n n ! , ( n 0 ) .
Γ ( x + 1 ) Γ ( x + 1 n ) = ( x ) n , Γ ( x + n ) Γ ( x ) = < x > n , ( n 0 ) ,
where Γ ( x ) and B ( x , y ) are the gamma and beta functions respectively.
The hypergeometric function is defined by
F q p ( a 1 , , a p ; b 1 , , b q ; x ) = n = 0 < a 1 > n < a p > n < b 1 > n < b q > n x n n ! .
We are now ready to state some basic facts about Chebyshev polynomials of the third kind V n ( x ) , those of the fourth kind W n ( x ) , Hermite polynomials H n ( x ) , generalized (extended) Laguerre polynomials L n α ( x ) , Legendre polynomials P n ( x ) , Gegenbauer polynomials C n ( λ ) ( x ) , and Jacobi polynomials P n ( α , β ) . Chebyshev polynomials are diversely used in approximation theory and numerical analysis, Hermite polynomials appear as the eigenfunctions of the harmonic oscillator in quantum mechanics, Laguerre polynomials have important applications to the solution of Schrödinger’s equation for the hydrogen atom, Legendre polynomials can be used to write the Coulomb potential as a series, Gegenbauer polynomials play an important role in the constructive theory of spherical functions and Jacobi polynomials occur in the solution to the equations of motion of the symmetric top. All the necessary facts on those special polynomials can be found in [1,2,3,4,5,6,7,8,9]. For the full accounts of this fascinating area of orthogonal polynomials, the reader may refer to [10,11,12,13].
The above special polynomials are given in terms of generating functions by
F ( t , x ) = 1 t 1 2 x t + t 2 = n = 0 V n ( x ) t n ,
G ( t , x ) = 1 + t 1 2 x t + t 2 = n = 0 W n ( x ) t n ,
e 2 x t t 2 = n = 0 H n ( x ) t n n ! ,
( 1 t ) α 1 exp ( x t 1 t ) = n = 0 L n α ( x ) t n , ( α > 1 ) ,
( 1 2 x t + t 2 ) 1 2 = n = 0 P n ( x ) t n ,
1 ( 1 2 x t + t 2 ) λ = n = 0 C n ( λ ) ( x ) t n , ( λ > 1 2 , λ 0 , | t | < 1 , | x | 1 ) ,
2 α + β R ( 1 t + R ) α ( 1 + t + R ) β = n = 0 P n ( α , β ) ( x ) t n , ( R = 1 2 x t + t 2 , α , β > 1 ) .
Explicit expressions for the above special polynomials are as in the following:
V n ( x ) = F 1 2 ( n , n + 1 ; 1 2 ; 1 x 2 )   = l = 0 n 2 n l l 2 n l ( x 1 ) n l ,
W n ( x ) = ( 2 n + 1 ) F 1 2 ( n , n + 1 ; 3 2 ; 1 x 2 )   = ( 2 n + 1 ) l = 0 n 2 n l 2 n 2 l + 1 2 n l l ( x 1 ) n l ,
H n ( x ) = n ! l = 0 [ n 2 ] ( 1 ) l l ! ( n 2 l ) ! ( 2 x ) n 2 l ,
L n α ( x ) = < α + 1 > n n ! F 1 1 ( n , α + 1 ; x )   = l = 0 n ( 1 ) l n + α n l l ! x l ,
P n ( x ) = F 1 2 ( n , n + 1 ; 1 ; 1 x 2 )   = 1 2 n l = 0 [ n 2 ] ( 1 ) l n l 2 n 2 l n x n 2 l ,
C n ( λ ) ( x ) = n + 2 λ 1 n F 1 2 ( n , n + 2 λ ; λ + 1 2 ; 1 x 2 )   = k = 0 [ n 2 ] ( 1 ) k Γ ( n k + λ ) Γ ( λ ) k ! ( n 2 k ) ! ( 2 x ) n 2 k ,
P n ( α , β ) ( x ) = < α + 1 > n n ! F 1 2 ( n , 1 + α + β + n ; α + 1 ; 1 x 2 )   = k = 0 n n + α n k n + β k ( x 1 2 ) k ( x + 1 2 ) n k .
Next, we state Rodrigues-type formulas for Hermite and generalized Laguerre polynomials and Rodrigues’ formulas for Legendre, Gegenbauer and Jacobi polynomials.
H n ( x ) = ( 1 ) n e x 2 d n d x n e x 2 ,
L n α ( x ) = 1 n ! x α e x d n d x n ( e x x n + α ) ,
P n ( x ) = 1 2 n n ! d n d x n ( x 2 1 ) n ,
( 1 x 2 ) λ 1 2 C n ( λ ) ( x ) = ( 2 ) n n ! < λ > n < n + 2 λ > n d n d x n ( 1 x 2 ) n + λ 1 2 ,
( 1 x ) α ( 1 + x ) β P n ( α , β ) ( x ) = ( 1 ) n 2 n n ! d n d x n ( 1 x ) n + α ( 1 + x ) n + β .
The last thing we want to mention is the orthogonalities with respect to various weight functions enjoyed by Hermite, generalized Laguerre, Legendre, Gegenbauer and Jacobi polynomials.
e x 2 H n ( x ) H m ( x ) d x = 2 n n ! π δ n , m ,
0 x α e x L n α ( x ) L m α ( x ) d x = 1 n ! Γ ( α + n + 1 ) δ n , m ,
1 1 P n ( x ) P m ( x ) d x = 2 2 n + 1 δ n , m ,
1 1 ( 1 x 2 ) λ 1 2 C n ( λ ) ( x ) C m ( λ ) ( x ) d x = π 2 1 2 λ Γ ( n + 2 λ ) n ! ( n + λ ) Γ ( λ ) 2 δ n , m ,
1 1 ( 1 x ) α ( 1 + x ) β P n ( α , β ) ( x ) P m ( α , β ) ( x ) d x = 2 α + β + 1 Γ ( n + α + 1 ) Γ ( n + β + 1 ) ( 2 n + α + β + 1 ) Γ ( n + α + β + 1 ) Γ ( n + 1 ) δ n , m .
For convenience, let us put
γ n , r ( x ) = l = 0 n i 1 + i 2 + + i r + 1 = l r 1 + n l r 1 V i 1 ( x ) V i 2 ( x ) V i r + 1 ( x ) , ( n 0 , r 1 ) ,
E n , r ( x ) = l = 0 n i 1 + i 2 + + i r + 1 = l ( 1 ) n l r 1 + n l r 1 W i 1 ( x ) W i 2 ( x ) W i r + 1 ( x ) , ( n 0 , r 1 ) .
We observe here that both γ n , r ( x ) and E n , r ( x ) have degree n.
In this paper, we will consider the connection problem of expressing the sums of finite products in (33) and (34) as linear combinations of H n ( x ) , L n α ( x ) , P n ( x ) , C n ( λ ) ( x ) , and P n ( α , β ) ( x ) . These will be done by performing explicit computations based on Proposition 1. We observe here that the formulas in Proposition 1 follow from their orthogonalities, Rodrigues’ and Rodrigues-type formulas and integration by parts.
Our main results are the following Theorems 1 and 2.
Theorem 1.
Let n , r be any integers with n 0 , r 1 . Then we have the following.
l = 0 n i 1 + i 2 + + i r + 1 = l r 1 + n l r 1 V i 1 ( x ) V i 2 ( x ) V i r + 1 ( x ) = ( 2 n + 2 r ) ! r ! 4 n + r ( n + r 1 2 ) n + r k = 0 n ( 2 ) k ( n k ) ! × j = 0 [ k 2 ] F 1 2 ( 2 j k , 1 2 n r ; 2 n 2 r ; 2 ) j ! 4 j ( k 2 j ) ! H n k ( x )
= 1 r ! k = 0 n l = 0 k ( 2 ) n l ( 2 n + 2 r l ) ! ( n + r l ) ! l ! ( 2 n + 2 r 2 l ) ! ( k l ) ! × F 0 2 ( l k , n k + α + 1 ; ; 1 ) L n k α ( x )
= ( 1 ) n n ! ( 2 n + 2 r ) ! r ! 4 r ( n + r 1 2 ) n + r k = 0 n ( 1 ) k ( 2 k + 1 ) ( n k ) ! ( n + k + 1 ) ! × F 2 3 ( k n , 1 2 n r , n k 1 ; 2 n 2 r , n ; 1 ) P k ( x )
= ( 1 ) n ( 2 n + 2 r ) ! 4 λ r Γ ( λ ) Γ ( n + λ + 1 2 ) π r ! ( n + r 1 2 ) n + r k = 0 n ( 1 ) k ( k + λ ) Γ ( n + k + 2 λ + 1 ) ( n k ) ! × F 2 3 ( k n , 1 2 n r , n k 2 λ ; 2 n 2 r , n λ + 1 2 ; 1 ) C k ( λ ) ( x )
= ( 1 ) n ( 2 n + 2 r ) ! Γ ( n + α + 1 ) r ! 4 r ( n + r 1 2 ) n + r k = 0 n ( 1 ) k ( 2 k + α + β + 1 ) Γ ( k + α + β + 1 ) ( n k ) ! Γ ( α + k + 1 ) Γ ( n + k + α + β + 2 ) × F 2 3 ( k n , 1 2 n r , n k α β 1 ; 2 n 2 r , n α ; 1 ) P k ( α , β ) ( x ) .
Theorem 2.
Let n , r be any integers with n 0 , r 1 . Then we have the following.
l = 0 n i 1 + i 2 + + i r + 1 = l ( 1 ) n l r 1 + n l r 1 W i 1 ( x ) W i 2 ( x ) W i r + 1 ( x ) = ( 2 n + 1 ) ( 2 n + 2 r ) ! r ! 2 2 n + 2 r + 1 ( n + r + 1 2 ) n + r + 1 k = 0 n ( 2 ) k ( n k ) ! × j = 0 [ k 2 ] F 1 2 ( 2 j k , n r 1 2 ; 2 n 2 r ; 2 ) j ! 4 j ( k 2 j ) ! H n k ( x )
= ( 2 n + 1 ) r ! k = 0 n l = 0 k ( 2 ) n l ( 2 n + 2 r l ) ! ( n + r l ) ! l ! ( 2 n + 2 r 2 l + 1 ) ! ( k l ) ! × F 0 2 ( l k , n k + α + 1 ; ; 1 ) L n k α ( x )
= ( 1 ) n n ! ( 2 n + 1 ) ( 2 n + 2 r ) ! r ! 2 2 r + 1 ( n + r + 1 2 ) n + r + 1 k = 0 n ( 1 ) k ( 2 k + 1 ) ( n k ) ! ( n + k + 1 ) ! × F 2 3 ( k n , n r 1 2 , n k 1 ; 2 n 2 r , n ; 1 ) P k ( x )
= ( 1 ) n ( 2 n + 2 r ) ! 2 2 λ 2 r 1 ( 2 n + 1 ) Γ ( λ ) Γ ( n + λ + 1 2 ) π r ! ( n + r + 1 2 ) n + r + 1 × k = 0 n ( 1 ) k ( k + λ ) Γ ( n + k + 2 λ + 1 ) ( n k ) ! × F 2 3 ( k n , n r 1 2 , n k 2 λ ; 2 n 2 r , n λ + 1 2 ; 1 ) C k ( λ ) ( x )
= ( 1 ) n ( 2 n + 2 r ) ! ( 2 n + 1 ) Γ ( n + α + 1 ) r ! 2 2 r + 1 ( n + r + 1 2 ) n + r + 1 × k = 0 n ( 1 ) k ( 2 k + α + β + 1 ) Γ ( k + α + β + 1 ) ( n k ) ! Γ ( α + k + 1 ) Γ ( n + k + α + β + 2 ) × F 2 3 ( k n , n r 1 2 , n k α β 1 ; 2 n 2 r , n α ; 1 ) P k ( α , β ) ( x ) .
Before closing the section, we are going to mention some of previous results on the related connection problems. The papers [14,15,16] treat the connection problem of expressing sums of finite products of Bernoulli, Euler and Genocchi polynomials in terms of Bernoulli polynomials. In fact, they were carried out by deriving Fourier series expansions for the functions closely related to those sums of finite products. Moreover, the same was done for the sums of finite products of Chebyshev polynomials of the second kind and of Fibonacci polynomials in [17].
Along the same line as the present paper, sums of finite products of Chebyshev polynomials of the second kind and Fibonacci polynomials were expressed in [18] as linear combinations of the orthogonal polynomials H n ( x ) , L n α ( x ) , P n ( x ) , C n ( λ ) ( x ) , and P n ( α , β ) ( x ) . Also, the connection problem of expressing in terms of all kinds of Chebyshev polynomials were done for sums of finite products of Chebyshev polynomials of the second, third and fourth kinds and of Fibonacci, Legendre and Laguerre polynomials in [19,20,21].
Finally, we let the reader refer to [22,23] for some applications of Chebyshev polynomials.

2. Proof of Theorem 1

First, we will state Propositions 1 and 2 that will be needed in showing Theorems 1 and 2.
The results in (a), (b), (c), (d) and (e) in Proposition 1 follow respectively from (3.7) of [4], (2.3) of [4] (see also (2.4) of [2]), (2.3) of [5], (2.3) of [3] and (2.7) of [7]. They can be derived from their orthogonalities in (28)–(32), Rodrigues-type and Rodrigues’ formulas in (23)–(27) and integration by parts.
Proposition 1.
Let q ( x ) R [ x ] be a polynomial of degree n. Then we have the following.
( a ) q ( x ) = k = 0 n C k , 1 H k ( x ) , w h e r e   C k , 1 = ( 1 ) k 2 k k ! π q ( x ) d k d x k e x 2 d x , ( b ) q ( x ) = k = 0 n C k , 2 L k α ( x ) , w h e r e   C k , 2 = 1 Γ ( α + k + 1 ) 0 q ( x ) d k d x k ( e x x k + α ) d x , ( c ) q ( x ) = k = 0 n C k , 3 P k ( x ) , w h e r e   C k , 3 = 2 k + 1 2 k + 1 k ! 1 1 q ( x ) d k d x k ( x 2 1 ) k d x , ( d ) q ( x ) = k = 0 n C k , 4 C k ( λ ) ( x ) , w h e r e   C k , 4 = ( k + λ ) Γ ( λ ) ( 2 ) k π Γ ( k + λ + 1 2 ) 1 1 q ( x ) d k d x k ( 1 x 2 ) k + λ 1 2 d x , ( e ) q ( x ) = k = 0 n C k , 5 P n ( α , β ) ( x ) , w h e r e   C k , 5 = ( 1 ) k ( 2 k + α + β + 1 ) Γ ( k + α + β + 1 ) 2 α + β + k + 1 Γ ( α + k + 1 ) Γ ( β + k + 1 )   × 1 1 q ( x ) d k d x k ( 1 x ) k + α ( 1 + x ) k + β d x .
The following proposition will be used in showing Theorems 1 and 2. In fact, (a) is needed for (35) and (40), (b) for (39) and (44), and (b) or (c) for (37), (38), (42) and (43).
Proposition 2.
The following holds true.
(a) 
For any nonnegative integer m,
x m e x 2 d x = 0 , i f m 1 ( m o d 2 ) , m ! π ( m 2 ) ! 2 m , i f m 0 ( m o d 2 ) ,
(b) 
For any real numbers r , s > 1 , we have
1 1 ( 1 x ) r ( 1 + x ) s d x = 2 r + s + 1 Γ ( r + 1 ) Γ ( s + 1 ) Γ ( r + s + 2 ) ,
(c) 
For any real numbers r , s with r + s > 1 , s > 1 , we have
1 1 ( 1 x ) r ( 1 x 2 ) s d x = 2 r + 2 s + 1 Γ ( r + s + 1 ) Γ ( s + 1 ) Γ ( r + 2 s + 2 ) .
Proof. 
(a)
This is an easy exercise.
(c)
This follows from (b) with r replaced by r + s .
(b)
This follows from the change of variable 1 + x = 2 y and (5). □
The following lemma can be obtained by differentiating (9), as was shown in [24].
Lemma 1.
Let n , r be integers with n 0 , r 1 . Then we have the following identity.
l = 0 n i 1 + i 2 + + i r + 1 = l r 1 + n l r 1 V i 1 ( x ) V i 2 ( x ) V i r + 1 ( x ) = 1 2 r r ! V n + r ( r ) ( x ) ,
where the inner sum runs over all nonnegative integers i 1 , i 2 , i r + 1 , with i 1 + i 2 + + i r + 1 = l .
From (16), we see that the rth derivative of V n ( x ) is given by
V n ( r ) ( x ) = l = 0 n r 2 n l l 2 n l ( n l ) r ( x 1 ) n l r .
Especially, we have
V n + r ( r + k ) ( x ) = l = 0 n k 2 n + 2 r l l 2 n + r l ( n + r l ) r + k ( x 1 ) n k l .
Now, we are ready to prove Theorem 1. As (38) and (39) can be shown similarly to (43) and (44) in the next section, we will show only (35), (36) and (37). With γ n , r ( x ) as in (33), we let
γ n , r ( x ) = k = 0 n C k , 1 H k ( x ) .
Then, from (a) of Proposition 1, (45), (47), and integration by parts k times, we obtain
C k , 1 = ( 1 ) k 2 k k ! π γ n , r ( x ) d k d x k e x 2 d x   = ( 1 ) k 2 k + r k ! r ! π V n + r ( r ) ( x ) d k d x k e x 2 d x   = 1 2 k + r k ! r ! π V n + r ( r + k ) ( x ) e x 2 d x   = 1 2 k + r k ! r ! π l = 0 n k 2 n + 2 r l l 2 n + r l ( n + r l ) r + k   × ( x 1 ) n k l e x 2 d x .
Before proceeding further, by making use of (a) in Proposition 2, we note that
( x 1 ) m e x 2 d x = s = 0 m m s ( 1 ) m s x s e x 2 d x = 0 s m s 0 ( mod 2 ) m s ( 1 ) m s s ! π ( s 2 ) ! 2 s = ( 1 ) m π j = 0 [ m 2 ] m 2 j ( 2 j ) ! j ! 2 2 j , ( m 0 ) .
From (48)–(50), and after simplifications, we have
γ n , r ( x ) = 1 r ! k = 0 n ( 2 ) k ( n k ) ! l = 0 k j = 0 [ k l 2 ] ( 1 2 ) l ( 2 n + 2 r l ) ! ( n + r l ) ! l ! ( 2 n + 2 r 2 l ) ! ( k l 2 j ) ! j ! 4 j H n k ( x )   = 1 r ! k = 0 n ( 2 ) k ( n k ) ! j = 0 [ k 2 ] 1 j ! 4 j l = 0 k 2 j ( 1 2 ) l ( 2 n + 2 r l ) ! ( n + r l ) ! l ! ( 2 n + 2 r 2 l ) ! ( k l 2 j ) ! H n k ( x )   = ( 2 n + 2 r ) ! r ! 4 n + r < 1 2 > n + r k = 0 n ( 2 ) k ( n k ) ! j = 0 [ k 2 ] 1 j ! 4 j ( k 2 j ) !   × l = 0 k 2 j 2 l < 2 j k > l < 1 2 n r > l l ! < 2 n 2 r > l H n k ( x )   = ( 2 n + 2 r ) ! r ! 4 n + r ( n + r 1 2 ) n + r k = 0 n ( 2 ) k ( n k ) !   × j = 0 [ k 2 ] F 1 2 ( 2 j k , 1 2 n r ; 2 n 2 r ; 2 ) j ! 4 j ( k 2 j ) ! H n k ( x ) .
This shows (35) of Theorem 1.
Next, we let
γ n , r ( x ) = k = 0 n C k , 2 L k α ( x ) .
Then, from (b) of Proposition 1, (45), (47) and integration by parts k times, we get
C k , 2 = 1 2 r r ! Γ ( α + k + 1 ) 0 V n + r ( r ) ( x ) d k d x k ( e x x k + α ) d x   = ( 1 ) k 2 r r ! Γ ( α + k + 1 ) 0 V n + r ( r + k ) ( x ) e x x k + α d x   = ( 1 ) k 2 r r ! Γ ( α + k + 1 ) l = 0 n k 2 n + 2 r l l 2 n + r l ( n + r l ) r + k   × 0 ( x 1 ) n k l e x x k + α d x   = ( 1 ) k 2 r r ! Γ ( α + k + 1 ) l = 0 n k 2 n + 2 r l l 2 n + r l ( n + r l ) r + k   × s = 0 n k l n k l s ( 1 ) n k l s Γ ( s + k + α + 1 )   = ( 1 ) k 2 r r ! l = 0 n k 2 n + 2 r l l 2 n + r l ( n + r l ) r + k   × s = 0 n k l n k l s ( 1 ) n k l s < k + α + 1 > s   = 1 r ! l = 0 n k ( 2 n + 2 r l ) ! ( 2 ) n l ( n + r l ) ! l ! ( 2 n + 2 r 2 l ) ! ( n k l ) !   × s = 0 n k l 1 s ! < k + l n > s < k + α + 1 > s   = 1 r ! l = 0 n k ( 2 n + 2 r l ) ! ( 2 ) n l ( n + r l ) ! l ! ( 2 n + 2 r 2 l ) ! ( n k l ) !   × F 0 2 ( k + l n , k + α + 1 ; ; 1 ) .
Combining (52)–(53), we finally have
γ n , r ( x ) = 1 r ! k = 0 n l = 0 k ( 2 n + 2 r l ) ! ( 2 ) n l ( n + r l ) ! l ! ( 2 n + 2 r 2 l ) ! ( k l ) !   × F 0 2 ( l k , n k + α + 1 ; ; 1 ) L n k α ( x ) .
This completes the proof for (36) of Theorem 1.
Finally, let us put
γ n , r ( x ) = k = 0 n C k , 3 P k ( x ) .
Then, from (c) of Proposition 1, (45), (47) and integration by parts k times, we have
C k , 3 = 2 k + 1 ( 1 ) k 2 k + r + 1 k ! r ! 1 1 V n + r ( r + k ) ( x ) ( x 2 1 ) k d x   = ( 2 k + 1 ) ( 1 ) k 2 k + r + 1 k ! r ! l = 0 n k 2 n + 2 r l l 2 n + r l ( n + r l ) r + k   × 1 1 ( x 1 ) n k l ( x 2 1 ) k d x .
By making use of (c) in Proposition 2 and after simplifications, from (56) we obtain
C k , 3 = ( 1 ) n + k ( 2 k + 1 ) r ! l = 0 n k   × ( 1 ) l 4 n l ( 2 n + 2 r l ) ! ( n + r l ) ! ( n l ) ! l ! ( 2 n + 2 r 2 l ) ! ( n k l ) ! ( n + k l + 1 ) !   = ( 1 ) n ( 2 n + 2 r ) ! n ! r ! 4 r ( n + r 1 2 ) n + r ( 1 ) k ( 2 k + 1 ) ( n k ) ! ( n + k + 1 ) !   × l = 0 n k < k n > l < 1 2 n r > l < n k 1 > l l ! < 2 n 2 r > l < n > l   = ( 1 ) n ( 2 n + 2 r ) ! n ! r ! 4 r ( n + r 1 2 ) n + r ( 1 ) k ( 2 k + 1 ) ( n k ) ! ( n + k + 1 ) !   × F 2 3 ( k n , 1 2 n r , n k 1 ; 2 n 2 r , n ; 1 ) .
From (55) and (57), we get
γ n , r ( x ) = ( 1 ) n ( 2 n + 2 r ) ! n ! r ! 4 r ( n + r 1 2 ) n + r k = 0 n ( 1 ) k ( 2 k + 1 ) ( n k ) ! ( n + k + 1 ) !   × F 2 3 ( k n , 1 2 n r , n k 1 ; 2 n 2 r , n ; 1 ) P k ( x ) .
This proves (37) of Theorem 1.

3. Proof of Theorem 2

Here we will show only (43) and (44) in Theorem 2, as (40)–(42) can be shown analogously to the proofs for (35)–(37), respectively. The following can be derived by differentiating the Equation (10) and is stated in [24].
Lemma 2.
Let n , r be integers with n 0 , r 1 . Then we have the following identity.
l = 0 n i 1 + i 2 + + i r + 1 = l ( 1 ) n l r 1 + n l r 1 W i 1 ( x ) W i 2 ( x ) W i r + 1 ( x ) = 1 2 r r ! W n + r ( r ) ( x ) ,
where the inner sum runs over all nonnegative integers i 1 , i 2 , , i r + 1 , with i 1 + i 2 + + i r + 1 = l .
From (17), the rth derivative of W n ( x ) is given by
W n ( r ) ( x ) = ( 2 n + 1 ) l = 0 n r 2 n l 2 n + 1 2 l 2 n l l ( n l ) r ( x 1 ) n l r .
In particular, we have
W n + r ( r + k ) ( x ) = ( 2 n + 1 ) l = 0 n k 2 n + r l 2 n + 2 r + 1 2 l 2 n + 2 r l l ( n + r l ) r + k ( x 1 ) n k l .
With E n , r ( x ) as in (34), we let
E n , r ( x ) = k = 0 n C k , 4 C k ( α ) ( x ) .
Then, from (d) of Proposition 1, (59), (61) and integration by parts k times, we get
C k , 4 = ( k + λ ) Γ ( λ ) 2 k + r r ! π Γ ( k + λ + 1 2 )   × 1 1 W n + r ( r + k ) ( x ) ( 1 x 2 ) k + λ 1 2 d x   = ( k + λ ) Γ ( λ ) ( 2 n + 1 ) 2 k + r r ! π Γ ( k + λ + 1 2 )   × l = 0 n k 2 n + r l 2 n + 2 r + 1 2 l 2 n + 2 r l l ( n + r l ) r + k   × 1 1 ( x 1 ) n k l ( 1 x 2 ) k + λ 1 2 d x   = ( k + λ ) Γ ( λ ) ( 2 n + 1 ) ( 2 ) n k r ! π Γ ( k + λ + 1 2 )   × l = 0 n k ( 1 2 ) l ( 2 n + 2 r l ) ! ( n + r l ) ! ( 2 n + 2 r 2 l + 1 ) l ! ( 2 n + 2 r 2 l ) ! ( n k l ) !   × 1 1 ( 1 x ) n k l ( 1 x 2 ) k + λ 1 2 d x .
Invoking (c) of Proposition 2 and after simplifications, from (63) we obtain
C k , 4 = ( 1 ) n k ( k + λ ) Γ ( λ ) ( 2 n + 1 ) 2 2 n + 2 λ + 1 Γ ( n + λ + 1 2 ) ( 2 n + 2 r ) ! Γ ( n + k + 2 λ + 1 ) ( n k ) ! r ! π   × l = 0 n k ( 1 4 ) l ( 2 n + 2 r l ) ! ( n + r l + 1 ) ! ( n k ) ! ( n + k + 2 λ ) l l ! ( 2 n + 2 r ) ! ( 2 n + 2 r 2 l + 2 ) ! ( n k l ) ! ( n + λ 1 2 ) l   = ( 1 ) k ( k + λ ) Γ ( λ ) ( 2 n + 1 ) 2 2 λ 2 r 1 ( 1 ) n Γ ( n + λ + 1 2 ) ( 2 n + 2 r ) ! Γ ( n + k + 2 λ + 1 ) ( n k ) ! r ! π ( n + r + 1 2 ) n + r + 1   × l = 0 n k < k n > l < n r 1 2 > l < n k 2 λ > l l ! < 2 n 2 r > l < n λ + 1 2 > l   = ( 1 ) k ( k + λ ) Γ ( λ ) ( 2 n + 1 ) 2 2 λ 2 r 1 ( 1 ) n Γ ( n + λ + 1 2 ) ( 2 n + 2 r ) ! Γ ( n + k + 2 λ + 1 ) ( n k ) ! r ! π ( n + r + 1 2 ) n + r + 1   × F 2 3 ( k n , n r 1 2 , n k 2 λ ; 2 n 2 r , n λ + 1 2 ; 1 ) .
From (62) and (64), we have
E n , r ( x ) = Γ ( λ ) ( 2 n + 1 ) 2 2 λ 2 r 1 ( 1 ) n Γ ( n + λ + 1 2 ) ( 2 n + 2 r ) ! r ! π ( n + r + 1 2 ) n + r + 1   × k = 0 n ( 1 ) k ( k + λ ) Γ ( n + k + 2 λ + 1 ) ( n k ) !   × F 2 3 ( k n , n r 1 2 , n k 2 λ ; 2 n 2 r , n λ + 1 2 ; 1 ) C k ( α ) ( x ) .
This shows (43) of Theorem 2.
Next, we let
E n , r ( x ) = k = 0 n C k , 5 P n ( α , β ) ( x ) .
Then, from (e) of Proposition 1, and (59), (61), and integrating by parts k times, we obtain
C k , 5 = ( 2 k + α + β + 1 ) Γ ( k + α + β + 1 ) 2 α + β + k + r + 1 r ! Γ ( α + k + 1 ) Γ ( β + k + 1 )   × 1 1 W n + r ( r + k ) ( x ) ( 1 x ) k + α ( 1 + x ) k + β d x   = ( 2 k + α + β + 1 ) Γ ( k + α + β + 1 ) ( 2 n + 1 ) 2 α + β + k + r + 1 r ! Γ ( α + k + 1 ) Γ ( β + k + 1 )   × l = 0 n k 2 n + r l 2 n + 2 r 2 l + 1 2 n + 2 r l l ( n + r l ) r + k ( 1 ) n k l   × 1 1 ( 1 x ) n + α l ( 1 + x ) k + β d x .
By exploiting (b) in Proposition 2 and after simplifications, from (67) we get
C k , 5 = ( 1 ) n k ( 2 k + α + β + 1 ) Γ ( k + α + β + 1 ) 2 2 n + 1 ( 2 n + 1 ) Γ ( n + α + 1 ) Γ ( α + k + 1 ) Γ ( n + k + α + β + 2 ) r !   × l = 0 n k ( 1 4 ) l ( 2 n + 2 r l ) ! ( n + r l + 1 ) ! ( n + k + α + β + 1 ) l l ! ( 2 n + 2 r 2 l + 2 ) ! ( n k l ) ! ( n + α ) l   = ( 1 ) n k ( 2 k + α + β + 1 ) Γ ( k + α + β + 1 ) ( 2 n + 1 ) Γ ( n + α + 1 ) ( 2 n + 2 r ) ! Γ ( α + k + 1 ) Γ ( n + k + α + β + 2 ) ( n k ) ! r ! 2 2 r + 1 ( n + r + 1 2 ) n + r + 1   × l = 0 n k < k n > l < n r 1 2 > l < n k α β 1 > l l ! < 2 n 2 r > l < n α > l   = ( 1 ) n k ( 2 k + α + β + 1 ) Γ ( k + α + β + 1 ) ( 2 n + 1 ) Γ ( n + α + 1 ) ( 2 n + 2 r ) ! Γ ( α + k + 1 ) Γ ( n + k + α + β + 2 ) ( n k ) ! r ! 2 2 r + 1 ( n + r + 1 2 ) n + r + 1   × F 2 3 ( k n , n r 1 2 , n k α β 1 ; 2 n 2 r , n α ; 1 ) .
Thus, from (66) and (68), we have
E n , r ( x ) = ( 1 ) n ( 2 n + 1 ) Γ ( n + α + 1 ) ( 2 n + 2 r ) ! r ! 2 2 r + 1 ( n + r + 1 2 ) n + r + 1 × k = 0 n ( 1 ) k ( 2 k + α + β + 1 ) Γ ( k + α + β + 1 ) Γ ( α + k + 1 ) Γ ( n + k + α + β + 2 ) ( n k ) ! × F 2 3 ( k n , n r 1 2 , n k α β 1 ; 2 n 2 r , n α ; 1 ) P n ( α , β ) ( x ) .

4. Conclusions

In this paper, we considered sums of finite products of Chebyshev polynomials of the third and fourth kinds and expressed each of them in terms of five orthogonal polynomials. Indeed, by explicit computations we expressed each of them as linear combinations of Hermite, generalized Laguerre, Legendre, Gegenbauer and Jacobi polynomials which involve some terminating hypergeometric functions. This can be viewed as a generalization of the classical linearization problem. In general, the linearization problem deals with determining the coefficients in the expansion of the products of two polynomials a m ( x ) and b n ( x ) in terms of an arbitrary polynomial sequence p k ( x ) k 0 :
a m ( x ) b n ( x ) = k = 0 m + n c m n ( k ) p k ( x ) .
Those sums of finite products were also represented by all kinds of Chebyshev polynomials in [20]. In addition, the same had been done for sums of finite products of Chebyshev polynomials of the first and second kinds, Fibonacci polynomials, Legendre polynomials, Laguerre polynomials and Lucas polynomials.

Author Contributions

T.K. and D.S.K. conceived the framework and structured the whole paper; T.K. wrote the paper; J.K. typed; D.V.D. checked for typos; D.S.K.completed the revision of the article.

Funding

This work was supported by the National Research Foundation of Korea (NRF) grant funded by the Korea government (MEST) (No. 2017R1E1A1A03070882).

Acknowledgments

We would like to thank the referees for their valuable comments and suggestions.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. 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. 2012, 15, 361–370. [Google Scholar]
  2. Kim, D.S.; Kim, T.; Dolgy, D.V. Some identities on Laguerre polynomials in connection with Bernoulli and Euler numbers. Discret. Dyn. Nat. Soc. 2012, 2012, 619197. [Google Scholar] [CrossRef]
  3. Kim, D.S.; Kim, T.; Rim, S.-H. Some identities involving Gegenbauer polynomials. Adv. Differ. Equ. 2012, 2012, 219. [Google Scholar] [CrossRef] [Green Version]
  4. Kim, D.S.; Kim, T.; Rim, S.-H.; Lee, S.H. Hermite polynomials and their applications associated with Bernoulli and Euler numbers. Discret. Dyn. Nat. Soc. 2012, 2012, 974632. [Google Scholar] [CrossRef]
  5. 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, 2012, 227. [Google Scholar] [CrossRef] [Green Version]
  6. Kim, T.; Kim, D.S. Extended Laguerre polynomials associated with Hermite, Bernoulli, and Euler numbers and polynomials. Abstr. Appl. Anal. 2012, 2012, 957350. [Google Scholar] [CrossRef]
  7. Kim, T.; Kim, D.S.; Dolgy, D.V. Some identities on Bernoulli and Hermite polynomials associated with Jacobi polynomials. Discret. Dyn. Nat. Soc. 2012, 2012, 584643. [Google Scholar] [CrossRef]
  8. Kim, T.; Kim, D.S. Identities for degenerate Bernoulli polynomials and Korobov polynomials of the first kind. Sci. China Math. 2018. [Google Scholar] [CrossRef]
  9. Kim, T.; Kim, D.S.; Kwon, J.; Gang, W.-J. Sums of finite products of Legendre and Laguerre polynomials by Chebyshev polynomials. Adv. Stud. Contemp. Math. (Kyungshang) 2018, 28, 551–565. [Google Scholar]
  10. Andrews, G.E.; Askey, R.; Roy, R. Special Functions; Encyclopedia of Mathematics and its Applications 71; Cambridge University Press: Cambridge, UK, 1999. [Google Scholar]
  11. Beals, R.; Wong, R. Special Functions and Orthogonal Polynomials; Cambridge Studies in Advanced Mathematics 153; Cambridge University Press: Cambridge, UK, 2016. [Google Scholar]
  12. Wang, Z.X.; Guo, D.R. Special Functions; Guo, D.R.; Xia, X.J., Translators; World Scientific Publishing Co., Inc.: Teaneck, NJ, USA, 1989. [Google Scholar]
  13. Mason, J.C.; Handscomb, D.C. Chebyshev Polynomials; Chapman & Hall/CRC: Boca Raton, FL, USA, 2003. [Google Scholar]
  14. Agarwal, R.P.; San Kim, D.; Kim, T.; Kwon, J. Sums of finite products of Bernoulli functions. Adv. Differ. Equ. 2017, 2017, 237. [Google Scholar] [CrossRef] [Green Version]
  15. Kim, T.; San Kim, D.; Jang, G.W.; Kwon, J. Sums of finite products of Euler functions. In Advances in Real and Complex Analysis with Applications; Trends in Mathematics; Birkhäuser: Singapore, 2017; pp. 243–260. [Google Scholar]
  16. Kim, T.; Kim, D.S.; Jang, L.C.; Jang, G.-W. Sums of finite products of Genocchi functions. Adv. Differ. Equ. 2017, 2017, 268. [Google Scholar] [CrossRef]
  17. Kim, T.; San Kim, D.; Dolgy, D.V.; Park, J.W. Sums of finite products of Chebyshev polynomials of the second kind and Fibonacci polynomials. J. Inequal. Appl. 2018, 2018, 148. [Google Scholar] [CrossRef] [PubMed]
  18. Kim, T.; Kim, D.S.; Kwon, J.; Dolgy, D.V. Expressing sums of finite products of Chebyshev polynomials of the second kind and Fibonacci polynomials by several orthogonal polynomials. Mathematics 2018, 6, 210. [Google Scholar] [CrossRef]
  19. 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) 2018, 28, 321–335. [Google Scholar]
  20. Kim, T.; Kim, D.S.; Dolgy, D.V.; Ryoo, C.-S. Representing sums of finite products of Chebyshev polynomials of the third and fourth kinds by Chebyshev polynomials. Symmetry 2018, 10, 258. [Google Scholar] [CrossRef]
  21. Kim, T.; Kim, D.; Victorovich, D.; Ryoo, C. Representing sums of finite products of Legendre and Laguerre polynomials by Chebyshev polynomials. Adv. Stud. Contemp. Math. (Kyungshang) 2018, 28. in press. [Google Scholar]
  22. Doha, E.H.; Abd-Elhameed, W.M.; Alsuyuti, M.M. On using third and fourth kinds Chebyshev polynomials for solving the integrated forms of high odd-order linear boundary value problems. J. Egyptian Math. Soc. 2015, 23, 397–405. [Google Scholar] [CrossRef]
  23. Mason, J.C. Chebyshev polynomials of the second, third and fourth kinds in approximation, indefinite integration, and integral transforms. J. Comput. Appl. Math. 1993, 49, 169–178. [Google Scholar] [CrossRef]
  24. Kim, T.; San Kim, D.; Dolgy, D.V.; Kwon, J. Sums of finite products of Chebyshev polynomials of the third and fourth kinds. Adv. Differ. Equ. 2018, 2018, 283. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

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 2018, 10, 617. https://doi.org/10.3390/sym10110617

AMA Style

Dolgy DV, Kim DS, Kim T, Kwon J. Connection Problem for Sums of Finite Products of Chebyshev Polynomials of the Third and Fourth Kinds. Symmetry. 2018; 10(11):617. https://doi.org/10.3390/sym10110617

Chicago/Turabian Style

Dolgy, Dmitry Victorovich, Dae San Kim, Taekyun Kim, and Jongkyum Kwon. 2018. "Connection Problem for Sums of Finite Products of Chebyshev Polynomials of the Third and Fourth Kinds" Symmetry 10, no. 11: 617. https://doi.org/10.3390/sym10110617

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop