- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Journal of Mathematics
Volume 2013 (2013), Article ID 467351, 5 pages
Interpolation Polynomials of Entire Functions for Erdös-Type Weights
1Science Division, Center for General Education, Aichi Institute of Technology, Yakusa-cho, Toyota 470-0392, Japan
2Department of Mathematics, Meijo University, Nagoya 468-8052, Japan
Received 20 September 2012; Accepted 27 March 2013
Academic Editor: Markos Koutras
Copyright © 2013 Gou Nakamura et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Let , and let be an even function. In this paper, we consider some Lagrange interpolation polynomials and the Gauss-Jacobi quadrature formula of entire functions associated with Erdös-type weights , , and we will estimate the error terms.
For a weight , we suppose that for all . Then we define a unique sequence of orthonormal polynomials as follows: where is a polynomial of degree . Furthermore, we denote the zeros of by , . Hence, For a given function , the Lagrange interpolation polynomial with the weight is defined to be a unique polynomial of degree at most which coincides with at , . Then we have the representation where The Gauss-Jacobi quadrature formula to the function is defined by where the coefficients are the Christoffel numbers, which are given by
We denote by a class of all weight functions of the form such that is an even differentiable function on , except possibly at , increasing for , and there exists such that is increasing. In addition, the unique positive sequence determined by satisfies the condition , for some constant .
Theorem 1. Let and be an entire function.(1)There exists a constant , depending on only, such that if satisfies then, uniformly on compact subsets of , (2)If the entire function satisfies then, uniformly on compact subsets of ,
In this paper, we extend the above results to Erdös-type weights. Note that every weight in is not Erdös-type (see Remark 4). In Section 2, we recall the definition of , which is the class of weights we discuss here. Our theorems are stated in Section 3.
For any nonzero real valued functions and , we write if there exists a constant such that for all . Throughout this paper, denotes a positive constant independent of . The same symbol does not necessarily denote the same constant in different occurrences. We say that is quasi-increasing if there exists such that .
First, we recall a class of weights.
Definition 2 (see cf. [6, Definition 1.2]). Let be a continuous even function. We write if satisfies the following properties.(a) is continuous in , with . (b) is nondecreasing in . (c). (d)The function , , is quasi-increasing in and , . (e)There exists such that for , . (f)For any , there exists such that for any ,
Example 3. Let .(1)If is bounded, then the weight is called a Freud-type weight (see ). We see that , , is a Freud-type weight.(2)If is unbounded, then is called an Erdös-type weight. The following s give Erdös-type weights (see [7, Example 1.2], [8, Theorem 3.1]). Let for . Then for , , and , we set Also, for , put .
Remark 4. Every weight in is Freud type. In fact, by definition, . On the other hand, if we assume that is Erdös type, then for any given , there exists a constant such that for . By integration, we see for . Since , ; that is, . If we take sufficiently large, this contradicts the fact that (cf. [7, Lemma 3.2]).
For , we define the Mhaskar-Rakhmanov-Saff number by
For an entire function and , we set Then by the residue theorem, for , we have where is a simply connected domain containing all zeros of and is its boundary. Note that for any , there exists such that . For each we also set Then is a polynomial of degree at most such that holds. By the residue theorem again, we see for .
3. Theorems and Proofs
We state our theorems. Throughout this section, we assume , and let Note that is determined finitely by Lemma 5(1).
Theorem 6. (1) If an entire function satisfies
uniformly on compact subsets; that is, for any compact subset in , there exists a constant such that
for . Moreover, for any ,
holds also uniformly on compact subsets.
(2) If an entire function satisfies then for any , uniformly on compact subsets. Moreover, for any , holds also uniformly on compact subsets.
As for the Gauss-Jacobi quadrature, we have the following theorem.
Theorem 7. Let be an entire function. If holds for some large enough, then for a constant . Further, if holds, then for any ,
Theorem 8. Let be an entire function. Suppose that for every large enough. Then holds uniformly on compact subsets of and for any , also holds uniformly on compact subsets of . Moreover for any , holds true.
Remark 9. The order of an entire function is given by
Also the type of with order is given by
If is an Erdös-type weight and , then (35) holds for every . In fact, by (14),
The following lemma was proved in [2, Lemmas 3.3 and 3.4]. Its proof is available for our case.
Lemma 10. Let , and let be the orthonormal polynomial generated by . Then for all such that , and for all such that . Also we have
Proof of Theorem 6. (1) We estimate the error form given by the formula (17). For a given compact subset , choose a number such that for . We may take the path of integration to be the circle because . By (42), we see . From the definition of and (24), for any , there exists such that for ,
Hence by (43), for large enough,
Here we select such as
Then we have for and any ,
Since , we conclude (26). In the above proof, we only exchange (48) for
Then (27) follows.
(2) Since where , we see . Hence, (28) gives us Thus, (29) and (30) follow from (26) and (27), respectively.
Proof of Theorem 7. First, we show the case . From Lemma 5(3) and (44), we have where is an absolutely constant. Also by Lemma 5(3), we see Now let . Since (see [3, page 131]), (52) gives us Therefore, for , we conclude that We consider the circle , where we will choose large enough later. Now we estimate From Lemma 5(1), (53), (56), and our assumption (31), we have for small enough, Here we select as Then we have which shows that For the case of , as in the proof of (2) of Theorem 6, (33) gives us Hence, (34) follows from (32).
Proof of Theorem 8. In (17), we take the path of integration to be the circle . Then we have In this right-hand side, we can take as large as we like because of our assumption (35). Hence, we have (36). Similarly as above, (37) follows from (36). Also Theorem 7 shows (38).
- R. Al-Jarrah, “Error estimates for Gauss-Jacobi quadrature formulae with weights having the whole real line as their support,” Journal of Approximation Theory, vol. 30, no. 4, pp. 309–314, 1980.
- R. Al-Jarrah, “On the Lagrange interpolation polynomials of entire functions,” Journal of Approximation Theory, vol. 41, no. 2, pp. 170–178, 1984.
- R. Al-Jarrah and K. Al-Khaled, “Lagrange interpolation and entire function,” Revista Colombiana de Matemáticas, vol. 24, no. 3-4, pp. 115–123, 1990.
- R. Al-Jarrah and M. R. Hasan, “Interpolation of entire functions associated with some Freud weights, I,” Journal of Approximation Theory, vol. 71, no. 2, pp. 123–137, 1992.
- R. Al-Jarrah and S. Ali, “Interpolation of entire functions associated with some Freud weights, II,” Journal of Approximation Theory, vol. 78, no. 2, pp. 276–285, 1994.
- A. L. Levin and D. S. Lubinsky, Orthogonal Polynomials for Exponential Weights, Springer, New York, NY, USA, 2001.
- R. Sakai and N. Suzuki, “Mollification of exponential weights and its appication to Markov-Bernstein inequality,” Pioneer Journal of Mathematics and Mathematical Sciences, vol. 7, no. 1, pp. 83–101, 2013.
- H. Jung and R. Sakai, “Specific examples of exponential weights,” Communications of the Korean Mathematical Society, vol. 24, no. 2, pp. 303–319, 2009.