Abstract
One may consider the generalization of Jacobi polynomials and the Jacobi function of the second kind to a general function where the degree is allowed to be a complex number instead of a non-negative integer. These functions are referred to as Jacobi functions. In a similar fashion as associated Legendre functions, these break into two categories, functions which are analytically continued from the real line segment and those analytically continued from the real ray Using properties of Gauss hypergeometric functions, we derive multi-derivative and multi-integral representations for the Jacobi functions of the first and second kind.
1. Preliminaries
Throughout this paper we adopt the following set notations: and represents the complex numbers. The rising factorial (Pochhammer symbol) for is given by (CitationDLMF, (5.2.4), (5.2.5)) The gamma function (CitationDLMF, Chapter 5) is related to the rising factorial, namely for one has (1) (1) which allows one to extend the definition to non-positive integer values of n. Some other properties of rising factorials which we will use are () (2) (2) (3) (3) One also has the following expression for the generalized binomial coefficient for (CitationDLMF, (1.2.6)) (4) (4) We will also use the common notational product conventions, e.g., (5) (5) (6) (6)
The generalized hypergeometric function (CitationDLMF, Chapter 16) is defined by the infinite series (CitationDLMF, (16.2.1)) (7) (7) where for and elsewhere by analytic continuation. Further define Olver’s (scaled or regularized) generalized hypergeometric series (8) (8) which is entire for all Both the generalized and Olver’s generalized hypergeometric series, if nonterminating, are entire if convergent for if and divergent if
The Gauss hypergeometric function has many useful and interesting properties. For instance it satisfies several useful derivative relations which we will rely upon. These are given by cf. (CitationDLMF, (15.5.2), (15.5.4), (15.5.6), and (15.5.9)) (9) (9) (10) (10) (11) (11) (12) (12)
The Jacobi polynomial and many of the other special functions which we will study in this paper are given in terms of a terminating Gauss hypergeometric function. In particular, one of the most important classical orthogonal polynomials, the Jacobi polynomial, is defined as (CitationDLMF, (18.5.7)) (13) (13)
2. Definitions and properties of the Jacobi functions
Jacobi functions are complex solutions to the Jacobi differential equation (CitationDLMF, Table 18.8.1) (14) (14) which is a second order linear homogeneous differential equation. Jacobi functions of the first and second kind are solutions to the Jacobi differential EquationEquation (14)(14) (14) which are regular as and respectively. There are several important references for Jacobi functions such as (Erdélyi, Magnus, Oberhettinger, & Tricomi, Citation1981, Section 10.8), and (Durand, Citation1978; Durand, Citation1979; Flensted-Jensen & Koornwinder, Citation1973; Koornwinder, Citation1984; Kuijlaars, Martinez-Finkelshtein, & Orive, Citation2005; Szegő, Citation1975; Wimp, McCabe, & Connor, Citation1997).
2.1. The Jacobi function of the first kind
The Jacobi function of the first kind is a generalization of the Jacobi polynomial where the degree is no longer restricted to be an integer. In the following section we provide some important properties for the Jacobi function of the first kind.
2.1.1. Single Gauss hypergeometric representations
In the following result we present the four single Gauss hypergeometric function representations of the Jacobi function of the first kind.
Theorem 2.1.
Let such that . Then the Jacobi function of the first kind has the following single Gauss hypergeometric function representations (15) (15) (16) (16) (17) (17) (18) (18)
Proof.
Start with Equation(13)(13) (13) and replace the rising factorial by a ratio of gamma functions using Equation(1)(1) (1) and the factorial and substitute Application of Pfaff’s and Euler’s transformations (CitationDLMF, (15.8.1)) provides the other three representations. This completes the proof. □
One of the consequences of the definition of the Jacobi function of the first kind is the following special value: (19) (19) where
2.2. The Jacobi function of the second kind
Studies of the Jacobi function of the second kind traditionally used a degree γ which was integer valued (see for instance Szegő, Citation1975, §4.61). However, in this paper we treat the Jacobi function of the second kind where γ is not necessarily restricted to be an integer. In the following material we provide some important properties for the Jacobi function of the second kind.
2.2.1. Single Gauss hypergeometric representations
Below we give the four single Gauss hypergeometric function representations of the Jacobi function of the second kind.
Theorem 2.2.
Let such that . Then, the Jacobi function of the second kind has the following single Gauss hypergeometric function representations (20) (20) (21) (21) (22) (22) (23) (23)
Proof.
Start with (Erdélyi et al., Citation1981, (10.8.18)) and let and Application of Pfaff’s and Euler’s transformations (CitationDLMF, (15.8.1)) provides the other three representations. This completes the proof. □
The Jacobi function of the second kind has the following integral representation (Szegő, Citation1975, (4.61.1)) (24) (24) provided (Wimp et al., Citation1997, (2.5)). We will use this integral representation to derive an alternative integral representation for the Jacobi function of the second kind.
Theorem 2.3.
Let such that . Decompose , where . Then, the Jacobi function of the second kind has the following integral representation (25) (25)
Proof.
Start with Equation(24)(24) (24) and decompose γ such that it is written as some complex number δ added to a non-negative integer k, with this produces (26) (26) Along the lines of the derivation of (Szegő, Citation1975, (4.61.4)) (27) (27) proceed by integrating Equation(26)(26) (26) by parts k-times with the boundary terms vanishing and utilizing the Rodrigues-type formula for Jacobi polynomials (Koekoek, Lesky, & Swarttouw, Citation2010, (9.8.10)) (28) (28) with This completes the proof. □
The Jacobi function of the second kind has the following raising and lowering operators (Ismail & Mansour, Citation2014, Theorem 3.1).
Theorem 2.4.
Let . Then (29) (29) (30) (30)
Proof.
We extend the proof given in (Ismail & Mansour, Citation2014, Theorem 3.1) by replacing integer n by complex γ for the Jacobi functions of the second kind. □
Theorem 2.5.
Let . Then (31) (31)
Proof.
Start with the n = 1 case. Taking into account Equation(30)(30) (30) and Equation(29)(29) (29) one obtains
From the above expression, a straightforward calculation allows us to obtain the general n integral case. □
Starting from Theorem 2.5 we can obtain a multi-derivative representation of the Jacobi function of the second kind.
Corollary 2.6.
Let such that . Then (32) (32)
Proof.
Starting with Theorem 2.5 and mapping completes the proof. □
3. Multi-integral representations for the Jacobi functions
In this section we derive multi-integral representations for the Jacobi functions of the first and second kind. First we will derive a useful lemma.
Lemma 3.1.
Let , and let be a function such that (33) (33) where . Then the following identity holds: where
The proof of this result is analogous to the one given in (Cohl & Costas-Santos, Citation2020, Lemma 2.3).
3.1. The Jacobi functions of the first kind
Theorem 3.2.
Let , such that . Then (34) (34)
Proof.
Considering the n = 1 case of Equation(35)(35) (35) and then integrating produces the following definite integral
Iterating the above expression n-times completes the proof. □
The Jacobi function of the first kind obeys the following multi-derivative identity.
Theorem 3.3.
Let . Then (35) (35)
Proof.
Starting with (Equation12(12) (12) ), (Equation15(15) (15) ), one has (36) (36) and from this, we derive (37) (37)
Substituting the Gauss hypergeometric function Equation(15)(15) (15) into the above expression completes the proof. □
Theorem 3.4.
Let , such that . Then (38) (38)
Proof.
Considering the n = 1 case of Equation(35)(35) (35) , taking into account the constraints considered in the statement and then integrating produces the following improper integral:
Iterating the above expression n-times completes the proof. □
Theorem 3.5.
Let . Then (39) (39)
Proof.
Adopting Equation(37)(37) (37) and utilizing the Gauss hypergeometric representation Equation(16)(16) (16) completes the proof. □
Theorem 3.6.
Let , with . Then (40) (40)
Proof.
Considering the n = 1 case of Equation(39)(39) (39) and then integrating produces the following definite integral
Iterating the above expression n-times completes the proof. □
Theorem 3.7.
Let , with . Then (41) (41)
Proof.
Considering the n = 1 case of Equation(39)(39) (39) , taking into account the constraints considered in the statement and then integrating produces the following improper integral:
Iterating the above expression n-times completes the proof. □
Theorem 3.8.
Let . Then (42) (42)
Proof.
Adopting Equation(37)(37) (37) and utilizing the Gauss hypergeometric representation Equation(16)(16) (16) completes the proof. □
Theorem 3.9.
Let , with . Then (43) (43)
Proof.
Considering the n = 1 case of Equation(42)(42) (42) , taking into account the constraints considered in the statement and then integrating produces the following improper integral:
Iterating the above expression n-times completes the proof. □
Theorem 3.10.
Let . Then (44) (44)
Proof.
Starting with Equation(9)(9) (9) and using Equation(15)(15) (15) , Equation(36)(36) (36) completes the proof. □
Theorem 3.11.
Let , with . Then (45) (45) (46) (46)
Proof.
Considering the n = 1 case of Equation(44)(44) (44) and then integrating using Equation(19)(19) (19) produces the following definite integral
Iterating the above expression n-times, reversing the order of the sum and utilizing standard properties of rising factorials such as Equation(1)–Equation(3)(3) (3) results in the term involving the terminating generalized hypergeometric series. The term involving the Jacobi function of the first kind is clear. The second identity is a direct consequence of Lemma 3.1. This completes the proof. □
Remark 3.12.
Taking into account Lemma 3.1 as well as the previous result and then setting one obtains the following identity for the Taylor series of the Jacobi function of the first kind of order n – 1 at z = 1: (47) (47)
Theorem 3.13.
Let , with . Then (48) (48)
Proof.
Considering the n = 1 case of Equation(44)(44) (44) , taking into account the constraints considered in the statement and then integrating produces the following improper integral:
Iterating the above expression n-times completes the proof. □
If we consider the different hypergeometric representations for the Jacobi function of the first kind Equation(15)(15) (15) –Equation(18)(18) (18) and applying the derivative relations Equation(9)(9) (9) –Equation(12)(12) (12) one obtains the following alternative result.
Theorem 3.14.
Let , with . Then (49) (49) (50) (50) (51) (51) (52) (52)
Proof.
First consider the n = 1 case. Start with the representation Equation(15)(15) (15) multiply it by and apply the derivative relation Equation(9)(9) (9) , to obtain
Multiplying the expression by and iterating the identity produces Equation(49)(49) (49) . By repeating an analogous process for the expressions Equation(16)(16) (16) –Equation(18)(18) (18) , the result follows. □
As a consequence of this result, we have the following derivative relations.
Corollary 3.15.
Let . The following identities hold: (53) (53) (54) (54) (55) (55) (56) (56)
Proof.
By starting with Equation(12)(12) (12) using (57) (57) and substituting in Equation(15)(15) (15) –Equation(17)(17) (17) and Equation(18)(18) (18) in an as we did in the Theorem 3.14, one obtains the above expressions which completes the proof. □
We are also able to obtain some interesting Rodrigues-type relations for Jacobi polynomials.
Corollary 3.16
(Rodrigues-type formula). Let . The Jacobi polynomial admits the following Rodrigues-type relation: (58) (58) (59) (59)
Proof.
Setting and in Equation(51)(51) (51) the first identity follows. Setting and in Equation(55)(55) (55) , the second identity follows. □
Theorem 3.17.
Let , with . Then one has the following multi-integral representations for the Jacobi function of the first kind: (60) (60) (61) (61) (62) (62) (63) (63) where , respectively.
Proof.
Consider the n = 1 case of Equation(49)(49) (49) and then integrate both sides using the fundamental theorem of calculus. This produces the following definite integral
Iterating the above expression n-times completes the proof. The process for the remaining cases, i.e., for the cases starting with Equation(51)(51) (51) , Equation(55)(55) (55) , and Equation(56)(56) (56) , is similar and we will omit their proofs. This completes the proof. □
Theorem 3.18.
Let , such that . Then one has the following multi-integral representations for the Jacobi function of the first kind: (64) (64) (65) (65) where , respectively.
The proof is analogous to those carried out previously, and we leave this to the reader.
Theorem 3.19.
Let , such that . Then one has the following multi-integral representations for the Jacobi function of the first kind: (66) (66) (67) (67)
Proof.
Considering the n = 1 case of Equation(54)(54) (54) and then integrating produces the definite integral which is due to Equation(19)(19) (19) . Iterating the above expression n-times completes the proof of the first identity. Using Equation(1)(1) (1) , Equation(2)(2) (2) , Equation(19)(19) (19) , taking into account where k = 0, 1, . . . , and reversing the finite series, i.e., for any non-negative integer m, the result follows. □
3.2. The Jacobi functions of the second kind
In this section we derive multi-integral representations for the Jacobi function of the second kind. Since both the Jacobi function of the first kind and the Jacobi function of the second kind are strongly connected Equation(27)(27) (27) , we expect to obtain similar multi-integrals to those obtained in the previous section.
Theorem 3.20.
Let , with . Then (68) (68)
Proof.
Considering the n = 1 case of Equation(31)(31) (31) and then integrating produces the following definite integral
Iterating the above expression n-times completes the proof. □
Theorem 3.21.
Let . Then (69) (69)
Proof.
First we prove the n = 1 case. Consider Equation(22)(22) (22) , multiply this expression by and differentiate with respect to z. This obtains
The nth derivative case is obtained by iterating the above procedure. □
Theorem 3.22.
Let , with . Then (70) (70)
Proof.
Considering the n = 1 case of Equation(69)(69) (69) and then integrating produces the following definite integral
Iterating the above expression n-times completes the proof. □
Theorem 3.23.
Let . Then (71) (71)
Proof.
The n = 1 case follows from Equation(30)(30) (30) and for n > 1, the result is obtained by iterating the above procedure. □
Theorem 3.24.
Let , with . Then (72) (72)
Proof.
Considering the n = 1 case of Equation(71)(71) (71) and then integrating produces the following definite integral
Iterating the above expression n-times completes the proof. □
If we consider, as we did in the case of the Jacobi functions of the first kind, the different hypergeometric representations for the Jacobi function of the second kind Equation(20)(20) (20) –Equation(23)(23) (23) and applying the derivative relations Equation(9)(9) (9) –Equation(12)(12) (12) one obtains the following result.
Theorem 3.25.
Let , with . Then (73) (73) (74) (74) (75) (75) (76) (76)
Proof.
The proof of these results are analogous to the proof of Theorem 3.14 and we will leave this to the reader. □
Corollary 3.26.
Let . Then (77) (77) (78) (78) (79) (79) (80) (80)
Proof.
The proof is analogous to the proof of Corollary 3.15 and we leave this to the reader. □
Remark 3.27.
One should note the interesting work by Loyal Durand which was recently presented in (Durand, Citation2022). In that paper, the author derives many of the multi-integral representations appearing in (Cohl & Costas-Santos, Citation2020) for associated Legendre and Ferrers functions from more general relations involving non-integer changes in the order obtained using fractional Lie group operator methods developed earlier for SO(1,2), E(1,2), and its conformal extension SO(3). It is therefore probable that similar Lie group theoretic methods could be used to derive the multi-integral representations contained within the present paper for Jacobi functions of the first and second kind. This could potentially shed some interesting light on the Lie groups which are associated with general Jacobi functions of the first and second kind, as well as these functions.
Disclosure statement
No potential conflict of interest was reported by the authors.
References
- Cohl, H. S., & Costas-Santos, R. S. (2020). Multi-integral representations for associated Legendre and Ferrers functions. Symmetry, 12(10), 1598. doi:10.3390/sym12101598
- Durand, L. (1978). Product formulas and Nicholson-type integrals for Jacobi functions. I. Summary of results. SIAM Journal on Mathematical Analysis, 9(1), 76–86. doi:10.1137/0509007
- Durand, L. (1979). Addition formulas for Jacobi, Gegenbauer, Laguerre, and hyperbolic Bessel functions of the second kind. SIAM Journal on Mathematical Analysis, 10(2), 425–437. doi:10.1137/0510039
- Durand, L. (2022). Fractional operators and multi-integral representations for associated Legendre functions. Journal of Mathematical Physics, 63(3), 22. doi:10.1063/5.0066214
- Erdélyi, A., Magnus, W., Oberhettinger, F., & Tricomi, F. G. (1981). Higher Transcendental Functions. Vol. II. Robert E. Krieger Publishing Co. Inc., Melbourne, FL.
- Flensted-Jensen, M., & Koornwinder, T. (1973). The convolution structure for Jacobi function expansions. Arkiv för Matematik, 11(1–2), 245–262. doi:10.1007/BF02388521
- Ismail, M. E. H., & Mansour, Z. S. I. (2014). Functions of the second kind for classical polynomials. Advances in Applied Mathematics, 54, 66–104. doi:10.1016/j.aam.2013.11.002
- Koekoek, R., Lesky, P. A., & Swarttouw, R. F. (2010). Hypergeometric orthogonal polynomials and their q-analogues. Springer Monographs in Mathematics. Springer-Verlag, Berlin, Springer Monographs in Mathematics, with a foreword by Tom H. Koornwinder.
- Koornwinder, T. H. (1984). Jacobi functions and analysis on noncompact semisimple Lie groups. In Special functions: Group theoretical aspects and applications. Math. Appl (pp. 1–85). Dordrecht: Reidel.
- Kuijlaars, A. B. J., Martinez-Finkelshtein, A., & Orive, R. (2005). Orthogonality of Jacobi polynomials with general parameters. Electronic Transactions on Numerical Analysis, 19, 1–17.
- NIST Digital Library of Mathematical Functions. https://dlmf.nist.gov/, Release 1.1.11 of 2023-09-15. F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain (Eds.).
- Szegő, G. (1975). Orthogonal polynomials. Providence, RI: American Mathematical Society Colloquium Publications (Vol. 23, 4th ed.).
- Wimp, J., McCabe, P., & Connor, J. N. L. (1997). Computation of Jacobi functions of the second kind for use in nearside-farside scattering theory. 7th ICCAM 96 Congress (Leuven). Journal of Computational and Applied Mathematics 82(1–2), 447–64. doi: 10.1016/S0377-0427(97)00083-6