Jacobi polynomials on the Bernstein ellipse
Haiyong Wang, Lun Zhang

TL;DR
This paper derives explicit formulas and asymptotic estimates for Jacobi polynomials on the Bernstein ellipse, revealing where their maxima and minima occur, which advances understanding of their convergence in spectral interpolation.
Contribution
It provides new explicit representations and asymptotic estimates for Jacobi polynomials on the Bernstein ellipse, extending known results to broader parameter ranges.
Findings
Maximum of |P_n^{(α,β)}(z)| occurs at endpoints of the major axis if α+β ≥ -1.
Minimum value for Gegenbauer polynomials occurs at endpoints of the minor axis.
Extended previous results to more general cases of Jacobi polynomials.
Abstract
In this paper, we are concerned with Jacobi polynomials on the Bernstein ellipse with motivation mainly coming from recent studies of convergence rate of spectral interpolation. An explicit representation of is derived in the variable of parametrization. This formula further allows us to show that the maximum value of over the Bernstein ellipse is attained at one of the endpoints of the major axis if . For the minimum value, we are able to show that for a large class of Gegenbauer polynomials (i.e., ), it is attained at two endpoints of the minor axis. These results particularly extend those previously known only for some special cases. Moreover, we obtain a more refined asymptotic estimate for Jacobi polynomials on the Bernstein ellipse.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMathematical functions and polynomials · Advanced Mathematical Identities · Nonlinear Waves and Solitons
Jacobi polynomials on the Bernstein ellipse
Haiyong Wang111School of Mathematics and Statistics, Huazhong University of Science and Technology, Wuhan 430074, P. R. China. E-mail: [email protected] 222Hubei Key Laboratory of Engineering Modeling and Scientific Computing, Huazhong University of Science and Technology, Wuhan 430074, P. R. China. and Lun Zhang333School of Mathematical Sciences and Shanghai Key Laboratory for Contemporary Applied Mathematics, Fudan University, Shanghai 200433, P. R. China. E-mail: [email protected]
Abstract
In this paper, we are concerned with Jacobi polynomials on the Bernstein ellipse with motivation mainly coming from recent studies of convergence rate of spectral interpolation. An explicit representation of is derived in the variable of parametrization. This formula further allows us to show that the maximum value of over the Bernstein ellipse is attained at one of the endpoints of the major axis if . For the minimum value, we are able to show that for a large class of Gegenbauer polynomials (i.e., ), it is attained at two endpoints of the minor axis. These results particularly extend those previously known only for some special cases. Moreover, we obtain a more refined asymptotic estimate for Jacobi polynomials on the Bernstein ellipse.
Keywords: spectral method, Jacobi polynomials, Bernstein ellipse, extrema, asymptotic estimate
AMS classifications: 65N35, 65D05, 41A05, 41A25.
1 Introduction
Spectral collocation method is a classical and powerful tool to solve integral and differential equations. Suppose that the equation is defined on a finite interval , the basic idea of this approach is to approximate the solution of the equation by its polynomial interpolant of the form
[TABLE]
where is a set of distinct nodes and
[TABLE]
are the Lagrange fundamental polynomials. The values are determined by requiring that the interpolant satisfies the equation exactly at the nodes . To ensure rapid convergence of the spectral collocation method, the interpolation nodes with the distribution of density are preferable, and the ideal candidates are the zeros or extrema of classical orthogonal polynomials such as Gegenbauer polynomials, or more generally, the Jacobi polynomials; cf. [8, 14, 18]. The interpolation procedure described above is also known as spectral interpolation.
As is well known, the accuracy of spectral interpolation depends on the regularity of the underlying function , with exponential rate if is analytic in a neighborhood containing the interval ; we refer to [13, 17, 19, 21, 22, 23, 24] for relevant results and [20] for fast implementation. To this end, it is worthwhile to recall that the starting point of these proofs is the so-called Hermite integral formula. More precisely, let be the Bernstein ellipse:
[TABLE]
The Bernstein ellipse has the foci at with the major and minor semi-axes given by and , respectively. Suppose that is analytic on and within for some , it follows from the Hermite integral formula [2, Theorem 3.6.1] that
[TABLE]
where
[TABLE]
with being a positive normalization constant. This in turn implies that
[TABLE]
where , denotes the length of the circumference of , and is the distance from to the interval .
For polynomial interpolation at the Jacobi points, i.e., the nodes are the roots of -th Jacobi polynomial () and the polynomial in (1.3) is taken to be , the properties of on the Bernstein ellipse are essential in the analysis of convergence rate. For the Gegenbauer polynomials (corresponding to the special cases of the Jacobi polynomials), by noting that (see [22, Lemma 3.1])
[TABLE]
where
[TABLE]
the following asymptotic estimate of Gegenbauer polynomials on the Bernstein ellipse is obtained by Xie, Wang and Zhao in [22, Theorem 3.2]: there exists such that
[TABLE]
for , and , where
[TABLE]
The estimate (1.6) plays an important role in the rigorous proofs of exponential convergence of Gegenbauer interpolation and spectral differentiation conducted in [22]. Later, in a paper regarding superconvergence of Jacobi-Gauss type spectral interpolation [21], Wang, Zhao and Zhang have made use of the following estimate of the lower bound for Jacobi polynomial on the Bernstein ellipse:
[TABLE]
where is a constant independent of , and the function is regular for , and but ; see [21, Equation (4.7)]. This result follows directly from the asymptotic formula of Jacobi polynomials [16, Theorem 8.21.9]. We note that, however, except for the very special cases like , the explicit form of is not available.
We also note that there is a close connection between polynomial interpolation and the potential theory [18, Chapter 5]. More specifically, let us define the discrete potential function associated with the nodes by
[TABLE]
This function is harmonic in the complex plane except at and can be viewed as the potential generated by all if each is interpreted as a point charge of strength and the repulsion is inverse-linear. Clearly, we have . Thus, if we choose to be the zeros of , then the extrema of implies the extrema of the corresponding potential as well.
It is the aim of the present research to conduct more complete studies of Jacobi polynomials on the Bernstein ellipse, including the explicit formula, extrema of the absolute value and the asymptotic estimate. Our main contributions are listed below:
- •
An explicit formula of is derived in the variable of parametrization, which generalizes (1.5) valid for the Gegenbauer case.
- •
The extrema of on the Bernstein ellipse are identified under some assumptions on the parameters. We show that the maximum value is attained at one of the endpoints of the major axis if . This particularly extends [9, Theorem 4.5.1] established by Ismail, which is valid for the Gegenbauer polynomials. For the minimum value, we are able to show that for a large class of Gegenbauer polynomials, it is attained at two endpoints of the minor axis.
- •
We provide a more refined and computable asymptotic estimate as well as a lower bound for the Jacobi polynomials on the Bernstein ellipse, which generalizes (1.6) concerning the Gegenbauer polynomials.
The rest of this paper is organized as follows. We first give a brief review of Jacobi polynomials in Section 2, which includes some basic properties that will be used later. Section 3 is devoted to the explicit representation of Jacobi polynomials on the Bernstein ellipse. The extrema of Jacobi polynomials on the Bernstein ellipse are discussed in Section 4. The identification of maximum value relies on a three-term recurrence relation for the coefficients arising in the explicit formula. For the minimum value, we first deal with the Chebyshev polynomials of the first and second kinds and then extend the results to Gegenbauer polynomials. The asymptotic estimate and the lower bound of Jacobi polynomials on the Bernstein ellipse are presented in Section 5.
2 Some properties of Jacobi polynomials
In this section, we collect some basic properties of Jacobi polynomials which will be used in the subsequent analysis. All these properties can be found in the classical book of Szegő [16].
Let denote the Jacobi polynomial of degree , which is defined explicitly by
[TABLE]
The Jacobi polynomials are orthogonal over with respect to the weight function , that is,
[TABLE]
where is the Kronecker delta and
[TABLE]
From the explicit formula (2.1), it is easily seen that
[TABLE]
where the leading coefficient is given by
[TABLE]
Let with . The maximum of on the interval is given by (see [16, Theorem 7.32.1])
[TABLE]
where is one of the two maximum points nearest . Indeed, when , the maximum of is attained at one of the endpoints .
When , the Jacobi polynomials are, up to some positive constants, also known as Gegenbauer (or the ultraspherical) polynomials . More precisely, we have
[TABLE]
The orthogonality of Gegenbauer polynomials reads
[TABLE]
where Since the weight function is an even function, it is readily seen that following symmetry relations hold:
[TABLE]
Thus, is an even function for even and an odd function for odd .
The Chebyshev polynomials of the first and second kinds are
[TABLE]
respectively. When , the Chebyshev polynomials have the following simple representations in the variable of parametrization:
[TABLE]
They are special cases of Gegenbauer polynomials, and the relations are given by
[TABLE]
Equivalently, one has
[TABLE]
Finally, let be the zeros of Gegenbauer polynomials. By [16, Theorem 6.21.1], it follows that
[TABLE]
where denotes the integer part of . Thus, the positive zeros of a Gegenbauer polynomial strictly decrease with respect to the parameter .
3 An explicit formula of Jacobi polynomials on the Bernstein ellipse
It is the aim of this section to prove the following theorem, which gives an explicit representation of on the Bernstein ellipse in the variable of parametrization.
Theorem 3.1**.**
For , i.e.,
[TABLE]
we have
[TABLE]
where the coefficients are given by
[TABLE]
for .
To show Theorem 3.1, we note that Chebyshev polynomials of the first kind has a simple explicit formula (2.10) on the Bernstein ellipse, the strategy is then to expand Jacobi polynomials in terms of . The connection formula between two different families of Jacobi polynomials are stated in the following lemma (see [1, Theorem 7.1.1]).
Lemma 3.2**.**
Assume that
[TABLE]
Then the connection coefficients are given by
[TABLE]
where
[TABLE]
is the Pochhammer symbol and
[TABLE]
is the generalized hypergeometric function.
With the aid of Lemma 3.2, we are now ready to prove Theorem 3.1.
Proof of Theorem 3.1
By taking in Lemma 3.2, it follows that
[TABLE]
where the prime indicates that the first term of the sum should be halved. This, together with the identity (2.12), gives
[TABLE]
where we have made use of the the duplication formula (cf. [12, Formula 5.5.5])
[TABLE]
in the second step.
Note that has a simple expression on . Substituting this formula into the last equation of (3) gives us the desired result.
This completes the proof of Theorem 3.1. ∎
Remark 3.3*.*
Suppose that (i.e., ), we obtain from (3.2) the following trigonometric representations of Jacobi polynomials
[TABLE]
The above formula seems to be new, except for the special case (cf. [16, Formula (4.9.19)]).
Remark 3.4*.*
When , the coefficients can be further simplified with the help of the properties of hypergeometric function . Indeed, on account of the fact (see [1, Theorem 3.5.5]) that
[TABLE]
it follows from (3.3) and straightforward calculations that
[TABLE]
This particularly implies that
[TABLE]
Up to some constant factors, this recovers (1.5) which was derived via the three-term recurrence relation of Gegenbauer polynomials in [22]. The approach used therein, however, seems difficult to be generalized to handle the Jacobi case.
4 Extrema of Jacobi polynomials on the Bernstein ellipse
In this section, we will consider the extrema of Jacobi polynomials on the Bernstein ellipse. The maximum value and the minimum value will be discussed in subsections 4.1 and 4.2, respectively.
4.1 Maximum value
By [9, Theorem 4.5.1], it is known that for the Gegenbauer polynomials , , with is attained at the right endpoint of the major axis. It comes out that similar property holds for the Jacobi polynomials with , which is our main result of this section.
Theorem 4.1**.**
For and , we have
- (i)
If and , then the maximum value of is attained uniquely at the right endpoint of the major axis, i.e.,
[TABLE] 2. (ii)
If and , then the maximum value of is attained uniquely at the left endpoint of the major axis, i.e.,
[TABLE] 3. (iii)
If , then the maximum value of is attained at two endpoints of the major axis, i.e.,
[TABLE]
Moreover, the maximum value can only be attained at these two real points if .
The assertion in item corresponds to the case of Gegenbauer polynomials mentioned at the very beginning. Moreover, the condition implies that . By setting in the above theorem, we recover the result concerning maximum of over the orthogonal interval , as explained after (2.7).
The proof of Theorem 4.1 relies on the explicit formula of on the Bernstein ellipse established in Theorem 3.1. The essential issue here is to determine the signs of the coefficients appearing in (3.2) under various conditions on the parameters and ; see Proposition 4.4 below. To proceed, we start with the following proposition which reveals a recurrence relation for the coefficients and plays a fundamental role in the sequel.
Proposition 4.2**.**
With defined in (3.3), we have, for each and ,
[TABLE]
with initial conditions
[TABLE]
Proof.
In view of (3), it is readily seen that
[TABLE]
We recall from [16, Theorem 4.2.1] that the Jacobi polynomial satisfies the following linear differential equation
[TABLE]
Substituting (4.6) into the above equation gives
[TABLE]
Our strategy now is to rewrite the left hand side of (4.1) in terms of the Chebyshev polynomial of the second kind . To this end, note that satisfies
[TABLE]
we then obtain from (4.1) that
[TABLE]
This, together with the facts (cf. [12, §18.9]) that
[TABLE]
implies
[TABLE]
By setting the coefficients of , and the constant term to be zero, the recurrence relation (4.2) is immediate.
This completes the proof of Proposition 4.2. ∎
Remark 4.3*.*
From (4.2), it is readily seen that if , the three-term recurrence relation can be simplified as
[TABLE]
In addition, note that the coefficients in (3.3) involve the hypergeometric function , it would be helpful to use the recurrence relation (4.2) in actual computations.
As a consequence of Proposition 4.2, we are able to determine the signs of the coefficients in the following proposition.
Proposition 4.4**.**
For , we have
- (i)
If and , then . 2. (ii)
If and , then . 3. (iii)
If , then
[TABLE]
If , then
[TABLE]
Proof.
If and , it is easily seen that
[TABLE]
and
[TABLE]
for . These, together with the recurrence relation (4.2) and the fact that both of the initial values and are positive (see (4.5)), imply the assertion in item .
Similarly, if and , we have
[TABLE]
and
[TABLE]
for . Since and in this case, we again obtain from (4.2) that is an alternating sequence, as required.
Finally, if , the assertion in item follows immediately from (3.15).
This completes the proof of Proposition 4.4. ∎
We are now ready to prove Theorem 4.1.
Proof of Theorem 4.1
If and , we recall from item in Proposition 4.4 that for . On account of (3.1) and (3.2), it is straightforward to see that
[TABLE]
Thus, can be achieved if and only if , which is (4.1).
Similarly, if and , a combination of item in Proposition 4.4 and (3.2) implies that
[TABLE]
Hence, the maximum value can be achieved if and only if , as shown in (4.2).
To show (4.3), we see from Remark 3.4, (4.9) and (4.10) that
[TABLE]
Thus, the maximum value can be achieved when and (4.3) follows. Moreover, if , since is strictly positive (see (4.9)) for , the maximum value can only be achieved at two endpoints of the major axis.
This completes the proof of Theorem 4.1. ∎
Remark 4.5*.*
For the very special case , the Jacobi polynomials (up to a normalization constant) are the Chebyshev polynomials of the first kind ; see (2.12). In this case, we obtain from (2.10) that for ,
[TABLE]
It is then clear that is attained if and only if , i.e., at points
[TABLE]
4.2 Minimum value
The identification of minimum value of on the Bernstein ellipse is, in general, much more involved than that of its maximum value. Since the minimum value will be zero when , we will restrict our attention to and focus on the ultraspherical case in this section. In view of the relations (2.8) and (2.12), the results will be presented in terms of , and .
To provide some intuition about the location where Gegenbauer polynomials attain the minimum value, we perform some numerical experiments of with ; see Figures 1–3 for different choices of the parameters , and . Note that we omit the numerical results for and even , since they are similar to those shown in Figure 3. The numerical studies imply that the minimum value depends on the parameters , , , and further suggest the following conjecture concerning the observations.
Conjecture 4.1**.**
It is conjectured that
- (i)
If and is odd, is attained at for , i.e., at two endpoints of the minor axis. 2. (ii)
If and is even, there exists a critical value depending on the parameters and such that is attained at for . 3. (iii)
If and , there exists a critical value depending on the parameters and such that is attained at for , i.e., at two endpoints of the major axis.
In what follows, we shall prove items and of the above conjecture under the assumptions that and (for item ).
We first deal with the Chebyshev polynomials of the first and second kinds. The relevant results, on one hand, will provide important insights for the general case, on the other hand they are crucial in further analysis.
Theorem 4.6** (Minimum value of Chebyshev polynomials of the first kind ).**
For and , we have
[TABLE]
and the minimum value is attained at points
[TABLE]
Proof.
From (4.5) it is readily seen that attains its minimum value if and only if
[TABLE]
i.e., for with . The desired results follow immediately. ∎
Remark 4.7*.*
From (4.15), it follows that, for odd , the minimum value of can be attained at .
We next proceed to the Chebyshev polynomial of the second kind . The following lower bound can be found in [11, formula (1.53)]:
[TABLE]
Our next theorem shows that this lower bound is attainable only when is odd. If is even, a new and attainable lower bound will be presented under some conditions on .
Theorem 4.8** (Minimum value of Chebyshev polynomials of the second kind ).**
For , we have
[TABLE]
where is the unique root of the equation
[TABLE]
and where
[TABLE]
Moreover, in both cases the the minimum value is attained if and only if , i.e., at two endpoints of the minor axis.
The above theorem can actually be seen from a remarkable connection between and the kernel arising in the contour integral representation of the remainder term of an -point Gauss quadrature for the Chebyshev weight function of the second kind. More precisely, let be an analytic function on and within the Bernstein ellipse . The Gaussian quadrature rule for the Chebyshev weight function of the second kind reads
[TABLE]
where are the zeros of the Chebyshev polynomial of the second kind , and are the corresponding Christoffel numbers. The remainder term admits the following contour representation:
[TABLE]
where the kernel is given by
[TABLE]
where and the second equality follows from [7, Equation 3.613.3]. The above formula particularly implies that is proportional to the reciprocal of if . Since the maximum value of over has been studied in the context of estimating the remainder term in [6, 5], Theorem 4.8 follows directly from [6, Theorem 5.2] and [5, Theorem 1]. For completeness, we include a more direct proof in what follows.
Proof of Theorem 4.8
By (2.10), it is readily seen that
[TABLE]
Denote by the function appearing on the right hand side of (4.24). It is then equivalent to consider the minimum of for .
We start with the easy case that is odd. By (4.24), it is clear that
[TABLE]
and the lower bound on the right hand side is attained if and only if and , which gives or . Thus, the minimum can only be attained at two endpoints of the minor axis, i.e., at the points , as desired.
If is even, a straightforward calculation shows that
[TABLE]
To this end, we note that, on one hand,
[TABLE]
where . It then follows from the property of that
[TABLE]
and the upper bound can be attained if and only if or . On the other hand, it is easily seen that the function is strictly increasing for and fixed. Hence, if , we see from (4.2) and (4.26) that
[TABLE]
In addition, since
[TABLE]
the second case in follows. It is also easy to see that the minimum is attained if and only if or .
This completes the proof of Theorem 4.8. ∎
Remark 4.9*.*
For even and , one can conclude from [5, Theorem 1] that the minimum value of is attained at some with , which is slightly off the imaginary axis. Moreover, from [5, Theorem 2] we know that is a strictly decreasing sequence and as ; see Figure 4 for an illustration.
We finally come to the Gegenbauer polynomials . Besides the trivial case444If , . Thus, the minimum value of can only be attained at two endpoints of the minor axis . , we have the following theorem.
Theorem 4.10** (Minimum value of Gegenbauer polynomials ).**
Let be the unique root of (4.20) with . For and , the minimum value of is attained at two endpoints of the minor axis, i.e.,
[TABLE]
*provided , or and is odd. *
We precede the proof of Theorem 4.10 with the following lemma.
Lemma 4.11**.**
Let and define
[TABLE]
where . Then, for and ,
[TABLE]
Proof.
See [15, Lemma 4.1]. ∎
Proof of Theorem 4.10
Let be the zeros of arranged in decreasing order. The symmetry relation (2.9) implies that
[TABLE]
where is the leading coefficient of . Moreover, we see that for .
Let be the positive zeros of the Chebyshev polynomials of the second kind . Again, we could rewrite as
[TABLE]
By (2.13), it follows that
[TABLE]
for .
To find is equivalent to find . A combination of (4.29) and (4.30) gives
[TABLE]
In view of (4.31), Lemma 4.11, Theorem 4.8 and the monotonicity of aforementioned in Remark 4.9, we conclude that all the terms on the right hand side of (4.32) attain their maximum values at for . Therefore, attains its minimum at two endpoints of the minor axis provided .
The case for and odd can be proved in a similar manner. We only need to replace in (4.32) by the Chebyshev polynomials of the first kind , and to make use of Remark 4.7 instead. The details are left to the interested readers.
This completes the proof of Theorem 4.10.∎
5 Asymptotic estimate of Jacobi polynomials on the Bernstein ellipse
From the explicit formula (1.5) of Gegenbauer polynomials on the Bernstein ellipse, the authors in [22] derive an asymptotic estimate of as shown in (1.6). Due to the complexity of the coefficients given in (3.3), it is difficult to apply the same approach to obtain the asymptotic estimate of Jacobi polynomials on the Bernstein ellipse.
To this end, we note that a more computable form has been given in [10], where the authors actually consider asymptotics of polynomials orthogonal with respect to a modified Jacobi weight function
[TABLE]
with and being real analytic and strictly positive on . Based on the Riemann-Hilbert (RH) approach [4], various asymptotics of the monic/orthonomal polynomials in the complex plane have been derived in [10], which in particular includes a full asymptotic expansion for the monic polynomials outside .
To state the relevant results, we need the function
[TABLE]
where is analytic in and behaves like as . This function is a conforming mapping from onto the exterior of the unit circle. Thus,
[TABLE]
As in [10], we also define the Szegő function of a weight by
[TABLE]
and
[TABLE]
The function is analytic for .
Let denote the monic orthogonal polynomial of degree associated with (5.1). It is shown in [10, Theorem 1.4] that has an asymptotic expansion of the form
[TABLE]
uniformly valid for in any compact subsets of . The functions , which are analytic on , are rational in . They are explicitly computable via the RH approach but with more complicated form as increases. The first two terms are
[TABLE]
and
[TABLE]
For an efficient numerical calculations of the higher-order terms , we refer to recent work [3].
Obviously, the classical Jacobi polynomials correspond to the case in (5.1). We then have the following asymptotic estimate of Jacobi polynomials on the Bernstein ellipse in the variable of parametrization.
Proposition 5.1**.**
For , i.e.,
[TABLE]
we have, for large ,
[TABLE]
where
[TABLE]
and
[TABLE]
Furthermore, the error is uniformly bounded for with .
Proof.
We first derive the uniform asymptotics of for . In view of the facts that
[TABLE]
and
[TABLE]
it then follows from (2.3) and (5.5) that
[TABLE]
uniformly valid for in any compact subsets of , where is defined as in (2.4). Using asymptotic formulas for the Gamma functions (see [12, Formulas 5.11.3 and 5.11.13]), we deduce that
[TABLE]
This, together with (5.12), implies that
[TABLE]
where is given in (5.11).
If , which can be parameterized through the argument as shown in (3.1), it is straightforward to check that
[TABLE]
A combination of the above two formulas and (5.13) gives
[TABLE]
where is defined as in (5.11) and the asymptotics is valid uniformly for with . By using the above uniform asymptotic, it is straightforward to derive the desired result (5.9) and this completes the proof of Proposition 5.1. ∎
Remark 5.2*.*
One should compare the asymptotic estimate (5.9) with (1.6). It is worthwhile to point out that the error in (5.9) is of order . Indeed, a full asymptotic expansion of in terms of powers of on the Bernstein ellipse can be derived by combining (5.12) and a full asymptotic expansion of the leading coefficient . We note that this form of asymptotic expansion has been mentioned in [16, Theorem 8.21.9], but without explicit formulas for the coefficients.
Remark 5.3*.*
As a direct consequence of Proposition 5.1, we have
[TABLE]
where and .
A further application of Proposition 5.1 is that we are able to derive the following lower bound for the Jacobi polynomial on the Bernstein ellipse, which particularly implies a more explicit expression of the constant appearing in (1.7).
Corollary 5.4**.**
For , we have
[TABLE]
where is a positive constant and for large . Moreover,
[TABLE]
Proof.
The lower bound follows immediately from Proposition 5.1 and the elementary inequality . To show (5.17), by setting , and , it is easily seen that
[TABLE]
Hence, if , attains its maximum value at and its minimum value at , which gives us (5.17). ∎
6 Concluding remarks
In this paper, we have investigated several basic properties of Jacobi polynomials on the Bernstein ellipse, which include the explicit formula, extrema of the absolute values as well as a refined asymptotic estimate. These results provide some further insight into Jacobi polynomials and can be adaptable to some practical applications such as establishing an explicit error bound of the spectral interpolation at the Jacobi nodes.
Acknowledgements
Haiyong Wang thanks the hospitality of the School of Mathematical Sciences at Fudan university where the present research was initiated. His work was supported by the National Natural Science Foundation of China under grant 11671160. Lun Zhang was partially supported by The Program for Professor of Special Appointment (Eastern Scholar) at Shanghai Institutions of Higher Learning (No. SHH1411007), by National Natural Science Foundation of China (No. 11501120) and by Grant EZH1411513 from Fudan University.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] G. E. Andrews, R. Askey, and R. Roy. Special functions , volume 71. Cambridge University Press, 1999.
- 2[2] P. J. Davis. Interpolation and approximation . Dover Publications, New York, 1975.
- 3[3] A. Deaño, D. Huybrechs, and P. Opsomer. Construction and implementation of asymptotic expansions for Jacobi-type orthogonal polynomials. Advances in Computational Mathematics , 42(4):791–822, 2016.
- 4[4] P. Deift. Orthogonal polynomials and random matrices: a Riemann-Hilbert approach , volume 3 of Courant Lecture Notes in Mathematics . New York University Courant Institute of Mathematical Sciences, New York, 1999.
- 5[5] W. Gautschi, E. Tychopoulos, and R. S. Varga. A note on the contour integral representation of the remainder term for a Gauss-Chebyshev quadrature rule. SIAM Journal on Numerical Analysis , 27:219–224, 1990.
- 6[6] W. Gautschi, and R. S. Varga. Error bounds for Gaussian quadrature of analytic functions. SIAM Journal on Numerical Analysis , 20:1170–1086, 1983.
- 7[7] I. S. Gradshteyn and I. M. Ryzhik. Tables of Integrals, Series, and Products . Academic Press, New York, 1965.
- 8[8] M. Y. Hussaini, A. Quarteroni, T. A. Zang, and C. Canuto. Spectral methods: Fundamentals in single domains . Springer, Berlin, 2006.
