Next Article in Journal
Quality-Oriented Study on Mapping Island Model Genetic Algorithm onto CUDA GPU
Next Article in Special Issue
Bernoulli Polynomials and Their Some New Congruence Properties
Previous Article in Journal
Construction of Stancu-Type Bernstein Operators Based on Bézier Bases with Shape Parameter λ
Previous Article in Special Issue
On Central Complete and Incomplete Bell Polynomials I
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Connection Problem for Sums of Finite Products of Legendre and Laguerre Polynomials

1
Department of Mathematics, Kwangwoon University, Seoul 01897, Korea
2
Department of Mathematics, Dong-A University, Busan 49315, Korea
3
Department of Mathematics, Sogang University, Seoul 04107, Korea
4
Institute of National Science, Far Eastern Federal University, Vladivostok 690950, Russia
*
Author to whom correspondence should be addressed.
Symmetry 2019, 11(3), 317; https://doi.org/10.3390/sym11030317
Submission received: 12 February 2019 / Revised: 24 February 2019 / Accepted: 26 February 2019 / Published: 2 March 2019
(This article belongs to the Special Issue Current Trends in Symmetric Polynomials with their Applications)

Abstract

:
The purpose of this paper is to represent sums of finite products of Legendre and Laguerre polynomials in terms of several orthogonal polynomials. Indeed, by explicit computations we express each of them as linear combinations of Hermite, generalized Laguerre, Legendre, Gegenbauer and Jacobi polynomials, some of which involve terminating hypergeometric functions 1 F 1 and 2 F 1 .

1. Preliminaries

Here, after fixing some notations that will be needed throughout this paper, we will review briefly some basic facts about orthogonal polynomials relevant to our discussion. As general references on orthogonal polynomials, we recommend the reader to refer to [1,2].
As is well known, the falling factorial sequence ( x ) n and the rising factorial sequence x n are respectively defined 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 sequences are 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 ) .
( 2 n + 2 s ) ! ( n + s ) ! = 2 2 n + 2 s 1 2 n n + 1 2 s , ( n , s 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 ) ,
B ( x , y ) = 0 1 t x 1 ( 1 t ) y 1 d t = Γ ( x ) Γ ( y ) Γ ( x + y ) , ( Re x , Re y > 0 ) ,
where Γ ( x ) and B ( x , y ) denote respectively the gamma and beta functions.
The hypergeometric function is defined by
p F q = ( 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 ! .
Now, we are ready to recall some relevant facts about Legendre polynomials P n ( x ) , Laguerre polynomials L n ( x ) , Hermite polynomials H n ( x ) , generalized (extended) Laguerre polynomials L n α ( x ) , Gegenbauer polynomials C n ( λ ) ( x ) , and Jacobi polynomials P n ( α , β ) ( x ) . All the facts stated here can also be found in [3,4,5,6,7,8].Interested readers may refer to [1,2,9,10,11,12,13] for full accounts of orthogonal polynomials and also to [14,15] for papers discussing relevant orthogonal polynomials.
The above-mentioned orthogonal polynomials are given, in terms of generating functions, by
F ( t , x ) = ( 1 2 x t + t 2 ) 1 2 = n = 0 P n ( x ) t n ,
G ( t , x ) = ( 1 t ) 1 e x p x t 1 t = n = 0 L n ( x ) t n ,
e 2 x t t 2 = n = 0 H n ( x ) t n n ! ,
( 1 t ) α 1 e x p x t 1 t = n = 0 L 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 ) ,
α + β R ( 1 t + + R ) α ( 1 + t + R ) β = n = 0 P n ( α , β ) ( x ) t n , ( R = 1 2 x t + t 2 , α , β > 1 ) .
In terms of explicit expressions, those orthogonal polynomials are given explicitly as follows:
P n ( x ) = 2 F 1 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 ,
L n ( x ) = 1 F 1 ( n ; 1 ; x ) = l = 0 n ( 1 ) n l n l 1 ( n l ) ! x 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 ! 1 F 1 ( n ; α + 1 ; x ) = l = 0 n ( 1 ) l n + α n l l ! x l ,
C n λ ( x ) = n + 2 λ 1 n 2 F 1 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 ! 2 F 1 n , 1 + α + β + n ; α + 1 ; 1 x 2 = k = 0 n n + α n k n + β k x 1 2 k x + 1 2 n k .
For Legendre, Gegenbauer and Jacobi polynomials, we have Rodrigues’ formulas, and for Hermite and generalized Laguerre polynomials, we have Rodrigues-type formulas.
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 orthogonal polynomials in Equations (22)–(26) satisfy the following orthogonality relations with respect to various weight functions.
e x 2 H n ( x ) H m ( x ) d x = 2 n n ! π δ m , n ,
0 x α e x L n α ( x ) L m α ( x ) d x = 1 n ! Γ ( α + n + 1 ) δ m , n ,
1 1 P n ( x ) P m ( x ) d x = 2 2 n + 1 δ m , n ,
1 1 ( 1 x 2 ) λ 1 2 C n ( λ ) ( x ) C m ( λ ) ( x ) d x = π 2 1 2 λ Γ ( n + 2 λ ) n ! ( n + λ ) Γ ( λ ) 2 δ m , n ,
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 ) δ m , n .

2. Introduction

In this paper, we will consider two sums of finite products
γ n , r ( x ) = i 1 + + i 2 r + 1 = n P i 1 ( x ) P i 2 ( x ) P i 2 r + 1 ( x ) , ( n , r 0 ) ,
in terms of Legendre polynomials and
ε n , r ( x ) = i 1 + + i r + 1 = n L i 1 x r + 1 L i 2 x r + 1 L i r + 1 x r + 1 , ( n , r 0 ) ,
in terms of Laguerre polynomials. We represent each of them as linear combinations of Hermite, extended Laguerre, Legendre, Gegenbauer, and Jacobi polynomials (see Theorems 1 and 2). It is amusing to note here that, for some of these expressions, the coefficients involve certain terminating hypergeometric functions 2 F 1 and 1 F 1 . These representations are obtained by carrying out explicit computations with the help of Propositions 1 and 2. We observe here that the formulas in Proposition 1 can be derived from the orthogonalities in Equation (27)–(31), Rodrigues’ and Rodrigues-type formulas in Equation (22)–(26), and integration by parts.
Our study of such representation problems can be justified by the following. Firstly, the present research can be viewed as a generalization of the classical connection problems. Indeed, the classical connection problems are concerned with determining the coefficients in the expansion of a product of two polynomials in terms of any given sequence of polynomials (see [1,2]).
Secondly, studying such kinds of sums of finite products of special polynomials can be well justified also by the following example. Let us put
α m ( x ) = k = 1 m 1 1 k ( m k ) B k ( x ) B m k ( x ) , ( m 2 ) ,
where B n ( x ) are the Bernoulli polynomials. Then we can express α m ( x ) as linear combinations of Bernoulli polynomials, for example from the Fourier series expansion of the function closely related to that. Indeed, we can show that
k = 1 m 1 1 2 k 2 m 2 k B 2 k x B 2 m 2 k x + 2 2 m 1 B 1 x B 2 m 1 x = 1 m k = 1 m 1 2 k 2 m 2 k B 2 k B 2 m 2 k x + 1 m H 2 m 1 B 2 m x + 2 2 m 1 B 2 m 1 B 1 x ,
where H m = j = 1 m 1 j are the harmonic numbers.
Further, some simple modification of this gives us the famous Faber-Pandharipande-Zagier identity and a slightly different variant of the Miki’s identity by letting respectively x = 1 2 and x = 0 in (34). We note here that all the other known derivations of F-P-Z and Miki’s identity are quite involved, while our proof of Miki’s and Faber-Pandharipande-Zagier identities follow from the polynomial identity (34), which in turn follows immediately the Fourier series expansion of α m ( x ) . Indeed, Miki makes use of a formula for the Fermat quotient a p a p modulo p 2 , Shiratani-Yokoyama employs p-adic analysis, Gessel’s proof is based on two different expressions for Stirling numbers of the second kind S 2 n , k , and Dunne-Schubert exploits the asymptotic expansion of some special polynomials coming from the quantum field theory computations. For some details on these, we let the reader refer to the introduction in [16] and the papers therein.
The next two theorems are the main results of this paper.
Theorem 1.
For any nonnegative integers n and r, we have the following representation.
i 1 + i 2 + + i 2 r + 1 = n P i 1 ( x ) P i 2 ( x ) P i 2 r + 1 ( x ) = 2 r ( n + r 1 2 ) n + r ( 2 r 1 ) ! ! j = 0 [ n 2 ] 1 F 1 ( j ; 1 2 n r ; 1 ) j ! ( n 2 j ) ! H n 2 j ( x )
= 1 ( 2 r 1 ) ! ! 2 n + r k = 0 n ( 1 ) k Γ ( α + k + 1 ) × l = 0 [ n k 2 ] ( 1 ) l ( 2 n + 2 r 2 l ) ! Γ ( n 2 l + α + 1 ) l ! ( n + r l ) ! ( n k 2 l ) ! L k α ( x )
= 2 r 1 ( n + r 1 2 ) n + r ( 2 r 1 ) ! ! × j = 0 [ n 2 ] ( 2 n + 1 4 j ) 2 F 1 ( j , j n 1 2 ; 1 2 n r ; 1 ) j ! ( n j + 1 2 ) n j + 1 P n 2 j ( x )
= 2 r Γ ( λ ) ( n + r 1 2 ) n + r ( 2 r 1 ) ! ! × j = 0 [ n 2 ] ( n + λ 2 j ) 2 F 1 ( j , j n r ; 1 2 n r ; 1 ) Γ ( n + λ j + 1 ) j ! C n 2 j ( λ ) ( x )
= ( 1 ) n ( 2 r 1 ) ! ! 2 n + r k = 0 n Γ ( k + α + β + 1 ) ( 2 ) k Γ ( 2 k + α + β + 1 ) × l = 0 [ n k 2 ] ( 1 ) l ( 2 n + 2 r 2 l ) ! l ! ( n + r l ) ! ( n k 2 l ) ! × 2 F 1 ( 2 l + k n , k + β + 1 ; 2 k + α + β + 2 ; 2 ) P k ( α , β ) ( x ) .
Here ( 2 r 1 ) ! ! is the double factorial given by
( 2 r 1 ) ! ! = ( 2 r 1 ) ( 2 r 3 ) 1 , ( r 1 ) , ( 1 ) ! ! = 1 .
Remark 1.
An alternative expression for (36) is given by
γ n , r ( x ) = 1 Γ ( α + 1 ) ( 2 r 1 ) ! ! 2 n + r × l = 0 [ n 2 ] ( 1 ) l ( 2 n + 2 r 2 l ) ! Γ ( n 2 l + α + 1 ) l ! ( n + r l ) ! ( n 2 l ) ! k = 0 n 2 l 2 l n k α + 1 k L k α ( x ) .
Theorem 2.
For any nonnegative integers n and r, we have the following representation.
i 1 + i 2 + + i r + 1 = n L i 1 x r + 1 L i 2 x r + 1 L i r + 1 x r + 1
= ( n + r ) ! k = 0 n ( 1 2 ) k k ! j = 0 [ n k 2 ] ( 1 4 ) j j ! ( n k 2 j ) ! ( r + k + 2 j ) ! H k ( x )
= ( n + r ) ! k = 0 n 2 F 1 ( k n , k + α + 1 ; r + k + 1 ; 1 ) ( n k ) ! ( r + k ) ! L k α ( x )
= ( n + r ) ! k = 0 n 2 k + 1 ( 2 k + 1 ) × j = 0 [ n k 2 ] ( k + j + 1 ) ! j ! ( n k 2 j ) ! ( r + k + 2 j ) ! ( 2 k + 2 j + 2 ) ! P k ( x )
= ( n + r ) ! Γ ( λ ) k = 0 n 1 2 k ( k + λ ) × j = 0 [ n k 2 ] ( 1 4 ) j j ! ( n k 2 j ) ! ( r + k + 2 j ) ! Γ ( k + j + λ + 1 ) C k ( λ ) ( x )
= ( n + r ) ! k = 0 n Γ ( k + α + β + 1 ) ( 2 ) k Γ ( 2 k + α + β + 1 ) × l = 0 n k 2 F 1 ( k n + l , k + β + 1 ; 2 k + α + β + 2 ; 2 ) l ! ( n + r l ) ! ( n k l ) ! P k ( α , β ) ( x ) .
Remark 2.
An alternative expression for (42) is as follows:
ε n , r ( x ) = ( n + r ) ! j = 0 [ n 2 ] ( 1 4 ) j j ! ( n 2 j ) ! ( r + 2 j ) ! k = 0 n 2 j ( 1 2 ) k 2 j n k k ! r + 2 j + 1 k H k ( x ) .
Before we move on to the next section, we would like to mention some of the related previous works. In [16,17,18], sums of finite products of Bernoulli, Euler and Genocchi polynomials were represented as linear combinations of Bernoulli polynomials. These were derived from the Fourier series expansions for the functions closely related to those sums of finite products. In addition, in [9] the same had been done for sums of finite products of Chebyshev polynomials of the second kind and of Fibonacci polynomials.
On the other hand, in terms of all kinds of Chebyshev polynomials, sums of finite products of Chebyshev polynomials of the second, third and fourth kinds and of Fibonacci, Legendre and Laguerre polynomials were expressed in [11,12,19]. Further, by the orthogonal polynomials in Equations (16), and (18)–(21), sums of finite products of Chebyshev polynomials of the second kind and Fibonacci polynomials were represented in [13].
Finally, the reader may want to see [20,21] for some other aspects of Legendre and Laguerre polynomials.

3. Proof of Theorem 1

We will first state Propositions 1 and 2 that will be needed in showing Theorems 1 and 2.
The results in the next proposition can be derived from the orthogonalities in (27)–(31), Rodrigues’ and Rodrigues-type formulas in (22)–(26), and integration by parts, as we mentioned earlier. The facts (a), (b), (c), (d) and (e) in Proposition 1 are respectively from (3.7) of [5], (2.3) of [7] (see also (2.4) of [3]), (2.3) of [6], (2.3) of [4] and (2.7) of [8].
Proposition 1.
For any polynomial q ( x ) R [ x ] of degree n, the following hold.
(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 k ( α , β ) ( 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 .
Proposition 2.
The following proposition was stated in [16].
For any nonnegative integers m and k, the following identities hold.
(a) 
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) 
1 1 x m ( 1 x 2 ) k d x = 0 , i f m 1 ( m o d 2 ) , 2 2 k + 2 k ! m ! ( k + m 2 + 1 ) ! ( m 2 ) ! ( 2 k + m + 2 ) ! , i f m 0 ( m o d 2 ) , = 2 2 k + 1 k ! s = 0 m m s 2 s ( 1 ) m s ( k + s ) ! ( 2 k + s + 1 ) ! ,
(c) 
1 1 x m ( 1 x 2 ) k + λ 1 2 d x = 0 , i f m 1 ( m o d 2 ) , Γ ( k + λ + 1 2 ) Γ ( m 2 + 1 2 ) Γ ( k + λ + m 2 + 1 ) , i f m 0 ( m o d 2 ) ,
(d) 
1 1 x m ( 1 x ) k + α ( 1 + x ) k + β d x = 2 2 k + α + β + 1 s = 0 m m s ( 1 ) m s 2 s × Γ ( k + α + 1 ) Γ ( k + β + s + 1 ) Γ ( 2 k + α + β + s + 2 ) .
Differentiation of (10) gives us the following lemma.
Lemma 1.
For any nonnegative integers n and r, we have the following identity.
i 1 + i 2 + i 2 r + 1 = n P i 1 ( x ) , P i 2 ( x ) , , P i 2 r + 1 ( x ) = 1 ( 2 r 1 ) ! ! P n + r ( r ) ( x ) ,
where the sum is over all nonnegative integers i 1 , i 2 , , i 2 r + 1 , with i 1 + i 2 + i 2 r + 1 = n .
By taking rth derivative of (16), we have
P n ( r ) ( x ) = 1 2 n l = 0 [ n r 2 ] ( 1 ) l n l 2 n 2 l n ( n 2 l ) r x n 2 l r .
Actually, we need the following particular case of (49).
P n + r ( r + k ) ( x ) = 1 2 n + r l = 0 [ n k 2 ] ( 1 ) l n + r l 2 n + 2 r 2 l n + r × ( n + r 2 l ) r + k x n 2 l k .
Here we are going to show (35), (36) and (38), leaving the other two (37) and (39) as exercises.
With γ n , r ( x ) as in (32), let us put
γ n , r ( x ) = k = 0 n C k , 1 H k ( x ) .
Then, from (a) of Proposition 1, (48), (50), and by integrating by parts k times, we have
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 k ! π ( 2 r 1 ) ! ! P n + r ( r ) ( x ) d k d x k e x 2 d x = 1 2 k k ! π ( 2 r 1 ) ! ! P n + r ( r + k ) ( x ) e x 2 d x = 1 2 k + n + r k ! π ( 2 r 1 ) ! ! × l = 0 [ n k 2 ] ( 1 ) l n + r l 2 n + 2 r 2 l n + r ( n + r 2 l ) r + k × x n 2 l k e x 2 d x .
From (52) and making use of (a) of Proposition 2, we obtain
C k , 1 = 1 2 k + n + r k ! π ( 2 r 1 ) ! ! × l = 0 [ n k 2 ] ( 1 ) l n + r l 2 n + 2 r 2 l n + r ( n + r 2 l ) r + k × 0 , i f k n ( m o d 2 ) , ( n k 2 l ) ! π 2 n k 2 l ( n k 2 l ) ! , i f k n ( m o d 2 ) .
Now, from (51) and (53) and after some simplifications,
γ n , r ( x ) = 1 2 2 n + r ( 2 r 1 ) ! ! 0 k n k n ( m o d 2 ) 1 k ! × l = 0 [ n k 2 ] ( 4 ) l ( 2 n + 2 r 2 l ) ! l ! ( n + r l ) ! ( n k 2 l ) ! H k ( x ) = 1 2 2 n + r ( 2 r 1 ) ! ! j = 0 [ n 2 ] 1 j ! ( n 2 j ) ! H n 2 j ( x ) × l = 0 j ( 4 ) l ( j ) l ( 2 n + 2 r 2 l ) ! l ! ( n + r l ) ! = 2 r ( n + r 1 2 ) n + r ( 2 r 1 ) ! ! j = 0 [ n 2 ] 1 j ! ( n 2 j ) ! H n 2 j ( x ) × l = 0 j ( 1 ) l j l l ! 1 2 n r l = 2 r ( n + r 1 2 ) n + r ( 2 r 1 ) ! ! j = 0 [ n 2 ] 1 F 1 ( j ; 1 2 n r ; 1 ) j ! ( n 2 j ) ! H n 2 j ( x ) .
This shows (35) in Theorem 1.
Next, we put
γ n , r ( x ) = k = 0 n C k , 2 L k α ( x ) .
Then, from (b) of Proposition 1, (48), (50) and integration by parts k times, we get
C k , 2 = ( 1 ) k Γ ( α + k + 1 ) ( 2 r 1 ) ! ! 0 P n + r ( r + k ) ( x ) e x x k + α d x = ( 1 ) k Γ ( α + k + 1 ) ( 2 r 1 ) ! ! 2 n + r l = 0 [ n k 2 ] ( 1 ) l n + r l 2 n + 2 r 2 l n + r × ( n + r 2 l ) r + k Γ ( n 2 l + α + 1 ) = ( 1 ) k Γ ( α + k + 1 ) ( 2 r 1 ) ! ! 2 n + r × l = 0 [ n k 2 ] ( 1 ) l ( 2 n + 2 r 2 l ) ! Γ ( n 2 l + α + 1 ) l ! ( n + r l ) ! ( n k 2 l ) ! .
Combining (55) and (56), and changing order of summation, we immediately have
γ n , r ( x ) = 1 ( 2 r 1 ) ! ! 2 n + r k = 0 n ( 1 ) k Γ ( α + k + 1 ) × l = 0 [ n k 2 ] ( 1 ) l ( 2 n + 2 r 2 l ) ! Γ ( n 2 l + α + 1 ) l ! ( n + r l ) ! ( n k 2 l ) ! L k α ( x ) = 1 Γ ( α + 1 ) ( 2 r 1 ) ! ! 2 n + r l = 0 [ n 2 ] ( 1 ) l ( 2 n + 2 r 2 l ) ! Γ ( n 2 l + α + 1 ) l ! ( n + r l ) ! ( n 2 l ) ! × k = 0 n 2 l 2 l n k α + 1 k L k α ( x ) .
This yields (36) in Theorem 1.
Finally, we let
γ n , r ( x ) = k = 0 n C k , 4 C k ( λ ) ( x )
Then, from (d) of Proposition 1, (48), (50), integration by parts k times and making use of (c) of Proposition 2, we have
C k , 4 = ( k + λ ) Γ ( λ ) ( 1 ) k ( 2 ) k π Γ ( k + λ + 1 2 ) ( 2 r 1 ) ! ! × 1 1 P n + r ( r + k ) ( x ) ( 1 x 2 ) k + λ 1 2 d x = ( k + λ ) Γ ( λ ) 2 k + n + r π Γ ( k + λ + 1 2 ) ( 2 r 1 ) ! ! × l = 0 [ n k 2 ] ( 1 ) l n + r l 2 n + 2 r 2 l n + r ( n + r 2 l ) r + k × 0 , i f k n ( m o d 2 ) , Γ ( k + λ + 1 2 ) Γ ( n k + 1 2 l ) Γ ( n + k 2 + λ l + 1 ) , i f k n ( m o d 2 ) .
From (58) and (59), exploiting (3), (4), (6) and (7), and after some simplifications, we finally derive
γ n , r ( x ) = Γ ( λ ) π ( 2 r 1 ) ! ! 2 n + r 0 k n k n ( m o d 2 ) ( k + λ ) 2 k × l = 0 [ n k 2 ] ( 1 ) l ( 2 n + 2 r 2 l ) ! Γ ( n k + 1 2 l ) l ! ( n + r l ) ! ( n k 2 l ) ! Γ ( k + n 2 + λ l + 1 ) C k ( λ ) ( x ) = Γ ( λ ) π ( 2 r 1 ) ! ! 2 n + r j = 0 [ n 2 ] ( n 2 j + λ ) 2 n 2 j × l = 0 j ( 1 ) l ( 2 n + 2 r 2 l ) ! Γ ( j l + 1 2 ) l ! ( n + r l ) ! ( 2 j 2 l ) ! Γ ( n + λ j l + 1 ) C n 2 j ( λ ) ( x ) = Γ ( λ ) ( 2 r 1 ) ! ! 2 2 n + r j = 0 [ n 2 ] ( n 2 j + λ ) Γ ( n + λ j + 1 ) × l = 0 j ( 4 ) l ( 2 n + 2 r 2 l ) ! ( n + λ j ) l l ! ( n + r l ) ! ( j l ) ! C n 2 j ( λ ) ( x )
= 2 r Γ ( λ ) ( n + r 1 2 ) n + r ( 2 r 1 ) ! ! j = 0 [ n 2 ] ( n 2 j + λ ) Γ ( n + λ j + 1 ) j ! × l = 0 j j l j n r l l ! 1 2 n r l C n 2 j ( λ ) ( x ) = 2 r Γ ( λ ) ( n + r 1 2 ) n + r ( 2 r 1 ) ! ! × j = 0 [ n 2 ] ( n 2 j + λ ) 2 F 1 ( j , j n r ; 1 2 n r ; 1 ) Γ ( n + λ j + 1 ) j ! C n 2 j ( λ ) ( x ) .
This completes the proof for (38) in Theorem 1.

4. Proof of Theorem 2

The proofs for (42), (43) and (45) are left to the reader as an exercise and we will show only (44) and (46) in Theorem 2.
The following lemma is important for our discussion in this section and can be derived by differentiating (11).
Lemma 2.
Let n , r be nonnegative integers. Then we have the following identity.
i 1 + i 2 + + i r + 1 = n L i 1 x r + 1 L i 2 x r + 1 L i r + 1 x r + 1 = ( 1 ) r L n + r ( r ) ( x ) ,
where the sum runs over all nonnegative integers i 1 , i 2 , , i r + 1 , with i 1 + i 2 + + i r + 1 = n .
From (17), it is immediate to see that the rth derivative of L n ( x ) is given by
L n ( r ) ( x ) = l = 0 n r ( 1 ) n l n l 1 ( n l r ) ! x n l r .
In particular, we have
L n + r ( r + k ) ( x ) = l = 0 n k ( 1 ) n + r l n + r l 1 ( n k l ) ! x n k l .
With ε n , r ( x ) as in (33), let us set
ε n , r ( x ) = k = 0 n C k , 3 P k ( x ) .
Then, from (c) of Proposition 1, (61), (63), by integration by parts k times and using (b) of Proposition 2, we get
C k , 3 = ( 2 k + 1 ) ( 1 ) r + k 2 k + 1 k ! 1 1 L n + r ( r + k ) ( x ) ( x 2 1 ) k d x = ( 1 ) n + k ( 2 k + 1 ) ( n + r ) ! 2 k + 1 k ! l = 0 n k ( 1 ) l l ! ( n + r l ) ! ( n k l ) ! × 0 , i f l n k ( m o d 2 ) 2 2 k + 2 k ! ( n k l ) ! ( n + k l 2 + 1 ) ! ( n k l 2 ) ! ( n + k l + 2 ) ! , i f l n k ( m o d 2 )
= ( 1 ) n + k ( 2 k + 1 ) 2 k + 1 ( n + r ) ! × 0 l n k l n k ( m o d 2 ) ( 1 ) l ( n + k l 2 + 1 ) ! l ! ( n + r l ) ! ( n k l 2 ) ! ( n + k l + 2 ) ! = ( n + r ) ! ( 2 k + 1 ) 2 k + 1 × j = 0 [ n k 2 ] ( k + j + 1 ) ! j ! ( n k 2 j ) ! ( r + k + 2 j ) ! ( 2 k + 2 j + 2 ) ! .
By combining (64) and (65) we get the following result.
ε n , r ( x ) = ( n + r ) ! k = 0 n ( 2 k + 1 ) 2 k + 1 × j = 0 [ n k 2 ] ( k + j + 1 ) ! j ! ( n k 2 j ) ! ( r + k + 2 j ) ! ( 2 k + 2 j + 2 ) ! P k ( x ) .
This completes the proof for (44).
Finally, we put
ε n , r ( x ) = k = 0 n C k , 5 P k ( α , β ) ( x ) .
Then, from (e) of Proposition 1, (61), (63), integration by parts k times and exploiting (d) of Proposition 2, we have
C k , 5 = ( 1 ) r ( 2 k + α + β + 1 ) Γ ( k + α + β + 1 ) 2 α + β + k + 1 Γ ( α + k + 1 ) Γ ( β + k + 1 ) × 1 1 L n + r ( r + k ) ( x ) ( 1 x ) k + α ( 1 + x ) k + β d x = ( 1 ) r ( 2 k + α + β + 1 ) Γ ( k + α + β + 1 ) 2 α + β + k + 1 Γ ( α + k + 1 ) Γ ( β + k + 1 ) × l = 0 n k ( 1 ) n + r l n + r l 1 ( n k l ) ! × 1 1 x n k l ( 1 x ) k + α ( 1 + x ) k + β d x = ( n + r ) ! ( 2 ) k ( 2 k + α + β + 1 ) Γ ( k + α + β + 1 ) Γ ( β + k + 1 ) × l = 0 n k 1 l ! ( n + r l ) ! s = 0 n k l ( 2 ) s Γ ( k + β + s + 1 ) s ! ( n k l s ) ! Γ ( 2 k + α + β + s + 2 ) = ( n + r ) ! ( 2 ) k Γ ( k + α + β + 1 ) Γ ( 2 k + α + β + 1 ) × l = 0 n k 1 l ! ( n + r l ) ! ( n k l ) ! s = 0 n k l 2 s k + l n s k + β + 1 s s ! 2 k + α + β + 2 s = ( n + r ) ! ( 2 ) k Γ ( k + α + β + 1 ) Γ ( 2 k + α + β + 1 ) × l = 0 n k 2 F 1 ( k + l n , k + β + 1 ; 2 k + α + β + 2 ; 2 ) l ! ( n + r l ) ! ( n k l ) !
We now obtain
ε n , r ( x ) = ( n + r ) ! k = 0 n ( 2 ) k Γ ( k + α + β + 1 ) Γ ( 2 k + α + β + 1 ) × l = 0 n k 2 F 1 ( k + l n , k + β + 1 ; 2 k + α + β + 2 ; 2 ) l ! ( n + r l ) ! ( n k l ) ! P k ( α , β ) ( x ) .
This verifies (46) in Theorem 2.

5. Conclusions

Let γ m , r ( x ) , ε m , r ( x ) , and α m ( x ) denote the following sums of finite products given by
γ n , r ( x ) = i 1 + + i 2 r + 1 = n P i 1 ( x ) P i 2 ( x ) P i 2 r + 1 ( x ) ,
ε n , r ( x ) = i 1 + + i r + 1 = n L i 1 x r + 1 L i 2 x r + 1 L i r + 1 x r + 1 ,
α m ( x ) = k = 1 m 1 1 k ( m k ) B k ( x ) B m k ( x ) , ( m 2 ) ,
where P n ( x ) , L n ( x ) , B n ( x ) , ( n 0 ) are respectively Legendre, Laguerre and Bernoulli polynomials. In this paper, we studied sums of finite products of Legendre polynomials γ m , r ( x ) and those of Laguerre polynomials ε m , r ( x ) , and expressed them as linear combinations of the orthogonal polynomials H n ( x ) , L n α ( x ) , P n ( x ) , C n ( λ ) ( x ) , and P n ( α , β ) ( x ) . These have been done by carrying out explicit computations. In recent years, we have obtained similar results for many other special polynomials. For example, we considered sums of finite products of Bernoulli, Euler and Genocchi polynomials and represented them in terms of Bernoulli polynomials. In addition, as for Chebyshev polynomials of the second, third, and fourth kinds, and Fibonacci, Legendre and Laguerre polynomials, we expressed them not only in terms of Bernoulli polynomials but also of Chebyshev polynomials of all kinds and Hermite, generalized Laguerre, Legendre, Gegenbauer and Jacobi polynomials.
We gave twofold justification for studying such sums of finite products of special polynomials. Firstly, it can be viewed as a generalization of the classical connection problem in which one wants to determine the connection coefficients in the expansion of a product of two polynomials in terms of any given sequence of polynomials. Secondly, from the representation of α m ( x ) in terms of Bernoulli polynomials we can derive the famous Faber-Pandharipande-Zagier identity and a slightly different variant of the Miki’s identity. We emphasized that these identities had been obtained by several different methods which are quite involved and not elementary, while our previous method used only elementary Fourier series expansions.
Along the same line of the present paper, we would like to continue to work on representing sums of finite products of some special polynomials in terms of various kinds of special polynomials and to find interesting applications of them in mathematics, science and engineering areas.

Author Contributions

All authors contributed equally to the manuscript and typed, read, and approved the final manuscript.

Funding

This work was supported by the Dong-A University research Fund.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Andrews, G.E.; Askey, R.; Roy, R. Special Functions, Encyclopedia of Mathematics and Its Applications; Cambridge University Press: Cambridge, UK, 1999. [Google Scholar]
  2. Beals, R.; Wong, R. Special functions and orthogonal polynomials. In Cambridge Studies in Advanced Mathematics; Cambridge University Press: Cambridge, UK, 2016. [Google Scholar]
  3. 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]
  4. Kim, D.S.; Kim, T.; Rim, S. Some identities involving Gegenbauer polynomials. Adv. Differ. Equ. 2012, 2012, 219. [Google Scholar] [CrossRef] [Green Version]
  5. Kim, D.S.; Kim, T.; Rim, S.; Lee, S.H. Hermite polynomials and their applications associated with Bernoulli and Euler numbers. Discret. Dyn. Nat. Soc. 2012, 2012, 974632. [Google Scholar] [CrossRef]
  6. Kim, D.S.; Rim, S.; 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]
  7. 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]
  8. 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]
  9. 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, 2018, 148. [Google Scholar] [CrossRef] [PubMed]
  10. Kim, T.; Kim, D.S.; Dolgy, D.V.; Park, J.-W. Sums of finite products of Legendre and Laguerre polynomials. Adv. Differ. Equ. 2018, 2018, 277. [Google Scholar] [CrossRef]
  11. 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 2018, 10, 258. [Google Scholar] [CrossRef]
  12. Kim, T.; Kim, D.S.; Jang, G.-W.; Kwon, J. Sums of finite products of Legendre and Laguerre polynomials by Chebyshev polynomials. Adv. Stud. Contemp. Math. 2018, 28, 551–565. [Google Scholar]
  13. 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 2018, 6, 210. [Google Scholar] [CrossRef]
  14. Cesarano, C.; Fornaro, C. A note on two-variable Chebyshev polynomials. Georgian Math. J. 2017, 24, 339–349. [Google Scholar] [CrossRef]
  15. Cesarano, C.; Fornaro, C.; Vazquez, L. A note on a special class of Hermite polynomials. Int. J. Pure Appl. Math. 2015, 98, 261–273. [Google Scholar] [CrossRef]
  16. Kim, T.; Kim, D.S.; Jang, L.C.; Jang, G. Sums of finite products of Genocchi functions. Adv. Differ. Equ. 2017, 2017, 268. [Google Scholar] [CrossRef]
  17. Agarwal, R.P.; Kim, D.S.; Kim, T.; Kwon, J. Sums of finite products of Bernoulli functions. Adv. Differ. Equ. 2017, 2017, 237. [Google Scholar] [CrossRef] [Green Version]
  18. 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; Springer: Berlin, Germany, 2017; pp. 243–260. [Google Scholar]
  19. Kim, T.; Dolgy, D.V.; Kim, D.S. Representing sums of finite products of Chebyshev polynomials of second kind and Fibonacci polynomials in terms of Chebyshev polynomials. Adv. Stud. Contemp. Math. (Kyungshang) 2018, 28, 321–335. [Google Scholar]
  20. Araci, S.; Acikgoz, M.; Bagdasaryan, A.; Sen, E. The Legendre polynomials associated with Bernoulli, Euler, Hermite and Bernstein polynomials. Turk. J. Anal. Number Theory 2013, 1, 1–3. [Google Scholar] [CrossRef]
  21. Khan, W.A.; Araci, S.; Acikgoz, M. A new class of Laguerre-based Apostol type polynomials. Cogent Math. 2016, 3, 1243839. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Kim, T.; Hwang, K.-W.; Kim, D.S.; Dolgy, D.V. Connection Problem for Sums of Finite Products of Legendre and Laguerre Polynomials. Symmetry 2019, 11, 317. https://doi.org/10.3390/sym11030317

AMA Style

Kim T, Hwang K-W, Kim DS, Dolgy DV. Connection Problem for Sums of Finite Products of Legendre and Laguerre Polynomials. Symmetry. 2019; 11(3):317. https://doi.org/10.3390/sym11030317

Chicago/Turabian Style

Kim, Taekyun, Kyung-Won Hwang, Dae San Kim, and Dmitry V. Dolgy. 2019. "Connection Problem for Sums of Finite Products of Legendre and Laguerre Polynomials" Symmetry 11, no. 3: 317. https://doi.org/10.3390/sym11030317

APA Style

Kim, T., Hwang, K. -W., Kim, D. S., & Dolgy, D. V. (2019). Connection Problem for Sums of Finite Products of Legendre and Laguerre Polynomials. Symmetry, 11(3), 317. https://doi.org/10.3390/sym11030317

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