Sequences of Non-Gegenbauer-Humbert Polynomials Meet the Generalized Gegenbauer-Humbert Polynomials
Tian-Xiao He1and Peter J.-S. Shiue2
Academic Editor: F. Kittaneh, A. Vourdas, L. Vinet
Received19 Apr 2011
Accepted12 May 2011
Published30 Jun 2011
Abstract
Here, we present a connection between a sequence of polynomials generated by a linear recurrence relation of order 2 and
sequences of the generalized Gegenbauer-Humbert polynomials.
Many new and known transfer formulas between non-Gegenbauer-Humbert polynomials and generalized Gegenbauer-Humbert polynomials are given. The applications of the relationship to the
construction of identities of polynomial sequences defined by
linear recurrence relations are also discussed.
1. Introduction
Many number and polynomial sequences can be defined, characterized, evaluated, and classified by linear recurrence relations with certain orders. A polynomial sequence is called a sequence of order 2 if it satisfies the linear recurrence relation of order 2
for some coefficient and and initial conditions and . To construct an explicit formula of its general term, one may use a generating function, characteristic equation, or a matrix method (see Comtet [1], Hsu [2], Strang [3], Wilf [4], etc.). In [5], the authors presented a new method to construct an explicit formula of generated by (1.1). For the sake of the reader's convenience, we cite this result as follows.
Proposition 1.1. Let be a sequence of order 2 satisfying the linear recurrence relation (1.1), then
where and are roots of , namely,
In [6], Aharonov et al. have proved that the solution of any sequence of numbers that satisfies a recurrence relation of order 2 with constant coefficients and initial conditions and , called the primary solution, can be expressed in terms of Chebyshev polynomial values. For instance, the authors show and , where and are, respectively, Fibonacci numbers and Lucas numbers, and and are the Chebyshev polynomials of the first kind and the second kind, respectively. Some identities drawn from those relations were given by Beardon in [7]. Marr and Vineyard in [8] use the relationship to establish explicit expression of five-diagonal Toeplitz determinants. In [5], the authors presented a new method to construct an explicit formula of generated by (1.1). Inspired with those results, in [9], The authors and Weng established a relationship between the number sequences defined by recurrence relation (1.1) and the generalized Gegenbauer-Humbert polynomial value sequences. The results are suitable for all such number sequences defined by (1.1) with arbitrary initial conditions and , which includes the results in [6, 7] as the special cases. Many new and known formulas of Fibonacci, Lucas, Pell, and Jacobsthal numbers in terms of the generalized Gegenbauer-Humbert polynomial values were presented in [9]. In this paper, we will give an alternative form of (1.2) and find a relationship between all polynomial sequences defined by (1.1) and the generalized Gegenbauer-Humbert polynomial sequences.
A sequence of the generalized Gegenbauer-Humbert polynomials is defined by the expansion (see, e.g., [1], Gould [10], and the authors with Hsu [11])
where , and are real numbers. As special cases of (1.4), we consider as follows (see [11]): Chebyshev polynomial of the second kind, , Legendre polynomial, , Pell polynomial,, Fibonacci polynomial,, Morgan-Voyc polynomial, [12] by Koshy, , Fermat polynomial of the first kind,, Dickson polynomial of the second kind, (see, e.g., [13]) by Lidl et al.,
where is a real parameter, and is the Fibonacci number. In particular, if , the corresponding polynomials are called Gegenbauer polynomials (see [1]). More results on the Gegenbauer-type polynomials can be found in Hsu [14] and Hsu and Shiue [15], and so forth, it is interesting that for each generalized Gegenbauer-Humbert polynomial sequence there exists a nongeneralized Gegenbauer-Humbert polynomial sequence, for instance, corresponding to the Chebyshev polynomials of the second kind, Pell polynomials, Fibonacci polynomials, Fermat polynomials of the first kind, and the Dickson polynomials of the second kind, we have the Chebyshev polynomials of the first kind, Pell-Lucas polynomials (see [16] by Horadam and Mahon), Lucas polynomials, the Fermat polynomials of the second kind (see [17] by Horadam), and the Dickson polynomials of the first kind, respectively.
Similarly, for a class of the generalized Gegenbauer-Humbert polynomial sequences defined by
for all with initial conditions
the following theorem is obtained.
Theorem 1.2 (see [5]). Let . The generalized Gegenbauer-Humbert polynomials defined by expansion (1.4) can be expressed as
In next section, we will use an alternative form of (1.2) to establish a relationship between the polynomial sequences defined by recurrence relation (1.1) and the generalized Gegenbauer-Humbert polynomial sequences defined by (1.5). Many new and known formulas of polynomials in terms of the generalized Gegenbauer-Humbert polynomials and applications of the established relationship to the construction of identities of polynomial sequences will be presented in Section 3.
2. Main Results
We now modify the explicit formula of the polynomial sequences defined by linear recurrence relation (1.2) of order 2. If , the first formula in (1.2) can be written as
Noting that , we may further write the above expression of as
Denote and . To find a transfer formula between expressions (1.7) and (2.2), we set
for a nonzero real or complex-valued function , which are two roots of . Thus, adding and multiplying two equations of (2.3) side by side, we obtain
The above system implies
and at and give expressions of and as
It is clear that and satisfy and .
We first consider the case of . Substituting the corresponding (2.7) with positive sign into (2.2), we have
Similarly, for , we have
Therefore, we obtain our main result.
Theorem 2.1. Let sequence be defined by with initial conditions and , then can be presented as
where is the sequence of any generalized Gegenbauer-Humbert polynomials with . In particular, can be expressed in terms of , the sequence of the Chebyshev polynomials of the second kind,
which is a special case of (2.10) for .
Corollary 2.2. For , respectively, from (2.10), one has transfer formulas
where , , , , and are the Chebyshev polynomials of the second order, Pell polynomials, Fibonacci polynomials, Fermat polynomials, and the Dickson polynomials of the second kind, respectively.
Example 2.3. As the first example, we consider the Chebyshev polynomials of the first kind satisfying recurrence relation (1.1) with and and initial conditions and . From Corollary 2.2, we have
in which the first relation is equivalent to the well-known result due to
For the special cases of and , we have the following corollaries.
Corollary 2.4. Let sequence be defined by () with initial conditions and . Then
Corollary 2.5. Let sequence be defined by with initial conditions and , then
We now give another special case of Theorem 2.1 for the sequence defined by (1.1) with initial cases and .
Corollary 2.6. Let sequence be defined by with initial conditions and . Then
In addition, one has
where are the Chebyshev polynomials of the first kind.
Proof. It is sufficient to prove the positive case of (2.18). From the first formula shown in Corollary 2.6 and the recurrence relation , one easily sees
From the first formula of Example 2.3, the above last expression of implies the positive case of (2.18). The negative case can be proved similarly.
Example 2.7. As an example, the Lucas polynomial sequence defined by (1.1) with and and initial conditions and has an explicit formula for its general term
Using Corollary 2.6, we also have
From Theorem 2.1, one may obtain transfer formulas between generalized Gegenbauer-Humbert polynomials.
3. Examples and Applications
We first give some examples of Theorem 2.1 for sequences defined by (1.1).
Example 3.1. The Chebyshev polynomials of the third kind and fourth kind satisfy the same recurrence relationship as the Chebyshev polynomials of the first kind with the same constant initial term 1 and different linear initial terms, and , respectively (see, e.g., Mason and Handscomb [18] and Rivlin [19]). Hence, the Chebyshev polynomials of the third kind, , and the Chebyshev polynomials of the fourth kind, , when , have the following expressions using the argument shown in [5]:
Similarly to the Chebyshev polynomials of the first kind (see Example 2.3), we can transfer and to the generalized Gegenbauer-Humbert polynomials with ,
From the above formulas, one may obtain some identities between the Chebyshev polynomials of different kinds. For instance,
Since , , , and , where , the above identities of Chebyshev polynomials also present the following identities of trigonometric functions, respectively,
Example 3.2. Consider the Jacobsthal polynomials defined by (1.1) with coefficients and and initial conditions . One may use Corollary 2.5 to obtain transfer formulas
The first formula and its inverse (see the first formula below) were given on [20, page 76] by Riordan using a different method. The positive case of the third formula is easily to be transferred to the formula of Theoremββ1 in [21], where they used a different recurrence relation with and for constructing the Jacobsthal polynomials. Reference [20] also gave the inverse formula to present in terms of . Actually, we can easily have the inverse formulas of , , , , and in terms of as follows:
Example 3.3. In Eu [22], the polynomial sequence is defined by with initial conditions and . Using Corollary 2.5, we obtain
in which the first formula was given in [22] using a different approach. Similar to the case of the Jacobsthal polynomial sequence shown in Example 3.2, we have the inverse formulas
Another polynomial sequence is defined by with initial conditions and [22]. Using Corollary 2.5, we obtain
where the first formula has been established in [22] by using a different method. The inverse of the above formulas can be found similarly. For instance,
Example 3.4. In Riordan [23], the associate Legendre polynomial sequence is defined by with initial conditions and , then we use Theorem 2.1 and Corollary 2.2 to generate the following transfer formulas:
where the first formula was given on [20, page 85] using a different method.
Example 3.5. In Chow and West [24], the polynomial sequence is defined by with initial conditions and (). From Theorem 2.1 and Corollary 2.2, we obtain
Since , we have
Hence, from the last expression of and the transfer formula of in terms of shown above, we obtain
in which the case of
was established in [24] using mathematical induction. Equaling the right-hand expressions of the polynomials shown in each example, one may obtain various identities of generalized Gegenbauer-Humbert polynomials. For instance, from Example 2.3, we have
Using the relationship established in Theorem 2.1 and Corollaries 2.2β2.6, we may obtain some identities of polynomial sequences from the generalized Gegenbauer-Humbert polynomial sequence identity described in [5]
where satisfies the recurrence relation of order 2, with coefficients and , and and . Clearly (see (2.41) in [5]),
For , we have , where are the Chebyshev polynomials of the second kind, and we can write (3.17) as
where and . From the first formula of Example 3.2 and using transform , we have
Substituting the above expression to (3.19) yields the identity
Similarly, from Example 3.3, we obtain identities
One may also extend some well-known identities of a polynomial sequence to other polynomial sequences using the relationships we have established. For instance, from the Cassini-like formula for Fibonacci polynomials
we use the relationship shown in Example 3.2 to obtain the Cassini-like formula for the Jacobsthal polynomials
which can be transferred to the formula of Theoremββ2 in [21] using the same argument in Example 3.2.
Similarly, from the transform
we have
To construct a transform relationship for the polynomials defined by recurrence relation with coefficients related to the order of polynomials is much more difficulty. One special example can be found on [25, page 240] by Andrews et al.. It seems there is no a general method applied to such polynomial sequences.
Acknowledgments
The authors wish to thank the referees and editors for their helpful comments and suggestions.
References
L. Comtet, Advanced Combinatorics, D. Reidel, Dordrecht, The Netherlands, 1974.
T.-X. He and P. J.-S. Shiue, βOn sequences of numbers and polynomials defined by linear recurrence relations of order 2,β International Journal of Mathematics and Mathematical Sciences, vol. 2009, Article ID 709386, 21 pages, 2009.
D. Aharonov, A. Beardon, and K. Driver, βFibonacci, Chebyshev, and orthogonal polynomials,β The American Mathematical Monthly, vol. 112, no. 7, pp. 612β630, 2005.
R. B. Marr and G. H. Vineyard, βFive-diagonal Toeplitz determinants and their relation to Chebyshev polynomials,β SIAM Journal on Matrix Analysis and Applications, vol. 9, no. 4, pp. 579β586, 1988.
H. W. Gould, βInverse series relations and other expansions involving Humbert polynomials,β Duke Mathematical Journal, vol. 32, pp. 697β711, 1965.
T.-X. He, L. C. Hsu, and P. J.-S. Shiue, βA symbolic operator approach to several summation formulas for power series. II,β Discrete Mathematics, vol. 308, no. 16, pp. 3427β3440, 2008.
T. Koshy, Fibonacci and Lucas Numbers with Applications, Pure and Applied Mathematics, Wiley-Interscience, New York, NY, USA, 2001.
R. Lidl, G. L. Mullen, and G. Turnwald, Dickson Polynomials, vol. 65 of Pitman Monographs and Surveys in Pure and Applied Mathematics, Longman Scientific & Technical, Harlow, UK, 1993, copublished in the United States with: John Wiley & Sons, New York, NY, USA, 1993.
L. C. Hsu, βOn Stirling-type pairs and extended Gegenbauer-Humbert-Fibonacci polynomials,β in Applications of Fibonacci Numbers, Vol. 5 (St. Andrews, 1992), pp. 367β377, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1993.
J. C. Mason and D. C. Handscomb, Chebyshev Polynomials, Chapman & Hall/CRC, Boca Raton, Fla, USA, 2003.
T. J. Rivlin, Chebyshev Polynomial: From Approximation Theory to Algebra and Number Theory, Pure and Applied Mathematics, John Wiley & Sons, New York, NY, USA, 2nd edition, 1990.
J. Riordan, Combinatorial Identities, Robert E. Krieger, Huntington, NY, USA, 1979, Reprint of the 1968 original.
M. Salmassi and T. Koshy, βAn intriguing relationship between Fibonacci and Jacobsthal polynomials, Note 90.59,β The Mathematical Gazette, vol. 99, pp. 443β445, 2006.
G. E. Andrews, R. Askey, and R. Roy, Special Functions, vol. 71 of Encyclopedia of Mathematics and Its Applications, Cambridge University Press, Cambridge, UK, 1999.