JOURNAL OF
COMPUTATIONAL AND APPLIED MATHEMATICS ELSEVIER Journal of Computational and Applied Mathematics 65 (1995) 293 298
Bounds for the weighted Lebesgue functions for Freud weights
on a larger interval
D . M . M a t j i l a
Department of Mathematics, University of the North, Private Bag Xl I06, Sovenga 0727, South Africa Received 4 November 1994
Abstract
The bounds of the weighted Lebesgue functions for Freud weights between the largest and the smallest zeros of orthonormal polynomials are established by means of the extension of the Erd6s-Turfin inequality for the sum of successive fundamental polynomials of Lagrange interpolation. An extension to a larger interval is also done. Keywords: Lebesgue function; Freud weight; Orthogonal polynomials; Erd6s-Tur/m inequality; Lagrange interpolation AMS Classification: 42C05; 41A17
. Introduction and results
We consider W := e -Q, where Q: E --. E is even and continuous in ~, Q' > 0 in (0, oo), Q" is continuous in (0, ~ ) , while for some A, B > 1,
[d
]/
A <<, d x (xQ'(x)) Q'(x) ~< B, x e (0, oo). (1.1) We call such W a Freud weight. F o r example
W~ := exp(--IxlO), fl > 1, is one such a weight.
Corresponding to W 2 is a sequence of o r t h o n o r m a l polynomials {p,(x)}, where
p,(x) := p , ( W 2, x) = 7,x" + "..,
is the nth o r t h o n o r m a l polynomial of W 2 and ~, > 0 is its leading coefficient. The zeros ofp,(x) will be denoted by
- o o < x , , < x , _ l , , < ... < x 2 , < x l , < + o o (1.2) arranged in increasing order.
0377-0427/95/$09.50 © 1995 Elsevier Science B.V. All rights reserved SSDI 0 3 7 7 - 0 4 2 7 ( 9 5 ) 0 0 1 1 7 - 4
294 D.M. Matjila /Journal of Computational and Applied Mathematics 65 (1995) 293-298
We define for ~ ~> 0, the nth weighted Lebesguefunction for the Freud weight W = e -Q by
n A.(x) := W(x) ~ [lk.(X)lW-l(Xk.)(1 + IXk.[) -=, k = l where (1.3)
p.(x)
~.(x):=
(1.4)
p~(xk.)(X--Xk.)
are the fundamental polynomials associated with W 2
The significance of the bounds of A.(x) lies in the study of convergence of Lagrange interpolation at the zeros of orthogonal polynomials to continuous functions f : ~ ~ ~ satisfying the decay condition
lim If(x)l W(x)(1 + Ixl) ~ = 0, for ~ ~ 0. (1.5)
Ixl-*~
The b o u n d s of A.(x) were established in [6, 7] with a full discussion of applications to uniform and pointwise convergence of Lagrange interpolation at the zeros of orthogonal polynomials to functions characterized by (1.5) in the former. A n o t h e r work on the bounds of Lebesgue functions and their applications to Lagrange interpolation can be obtained in [1, 2, 8]. In [6] we determined the bounds of A.(x) on a small interval. In particular we proved:
Theorem 1.1. Let a ~ (0, 1) be fixed and ~ >~ O. Define
~ l o g n , i f ~ = l , l ° g * n : = ~1, /f ~ ~ 1.
Then uniformly for
I xl ~< ~ra.,
A.(x) ~
(1 + Ixl) -~ +~/-~.lp~(W 2,
x)lW(x){(l
+ [ x l ) - ~ l o g n + (1 + I x l ) - ~ l o g * n}. (1.6)H o w e v e r we could not extend (1.6) to a larger interval due to our inability to determine suitable lower bounds on larger set. O u r failure to obtain a suitable lower b o u n d in this respect can be attributed to lack of a m o r e general form of the Erd6s-Turfin inequality (cf. [4]) for the sum of consecutive fundamental polynomials.
The p r i m a r y objective of this paper is to extend (1.6) to the interval [x,,, Xl,] (recall (1.2)) and even a larger interval.
Notation. To state out result we need some notation:
(1) T h r o u g h o u t , L, C, C1, Ce,... are positive constants independent of n and x e ~. The same symbol does not necessarily denote the same constant in different occurrences.
(2) We use ~ in the following sense: If A and B are two expressions depending on some variables and indices then
D.M Matjila/Journal of Computational and Applied Mathematics 65 (1995) 293-298 295 (3) F o r u > 0, the uth Mhaskar-Rahmanov-Saffa,, is the positive r o o t of the e q u a t i o n
u = - autQ'(aut)/x/1 - t 2 dr. (1.7)
It
(4) F o r x ~ ~, define
On(x):=max{n_2/3, l_lxl}an ' n>~ 1. (1.8) (5) F o r x e ~, let Xk(x),, d e n o t e a zero of pn(W 2, 3) closest to x. Let
: = x e
be the set c o n t a i n i n g all the zeros closest to x, a n d define
/~.(x) := W(x) • IIk,,(x)IW-I(xk.)(1 + Ixk. I) -=. (1.9) Xkn E ,9" (6) Define Xon := xln(1 + n -1/2) a n d x , + l , , := Xnn(1 + n-l/2). O u r result is: T h e o r e m 1.2. For ~ >~ O. Define [ l o g n , /f c~ = 1, l ° g * n : = [ 1 , /f c~ ¢ 1. (a) Then uniformly for x e [xnn,xl,],
n
A,(x) := W(x) 2 I/kn(x)l W-I(Xk,)(1 + [Xkn]) -~ j = l
,'~(l + l x [ ) - ~ + x / ~ , [ p , ( W 2 , x ) l W ( x ) { ( l + [ x l ) - ~ l o g n + ( l +lxl)-Slog*n}. (1.10) (b) (1.10) holds uniformly for Ixl <<- an(l + L n - Z/3), for any fixed L > O.
2. Preliminary results
T h e p r o o f of the m a i n result is a c o n s e q u e n c e of a n u m b e r of lemmas. L e m m a 2.1. (a) For n >1 1,
] X 1_...._~ n __
1 Cn-2/3
a n
and uniformly for n >- 3 and 1 <. k <~ n,
a. O.(xk.)- 1/2. X k - l ' n - - X k + l ' n n
(2.1)
296 D.M. Matjila /Journal of Computational and Applied Mathematics 65 (1995) 293-298 (b) Uniformly f o r n >1 1, 1 <<, k <~ n, and x ~ ~, I/k.(x) l w - a (xk.) w (x) ~< c . (2.3) (c) I f A, B are as in (1.1), then u am <, a , / a l <, u a/A. (2.4) (d) Uniformly f o r n >1 1, 1 <<, j <~ n, and x E ~, ]tj,(x)] ~ (a3/Z/n) W (xj,)q/,(xj,)- a/4 I p,(x)[ Ix - xj.l" (2.5)
(e) There exists Ca > O, such that uniformly f o r n >1 1, 1 <~ j <<. n, and Ix - xj.l <~ c a a" q / . ( x j . ) - a / z ,
n
we have
[p,(x)l W (x) ,~ (n/a3/Z)~,(xj,) a/41x -- xj, I. (2.6)
Proof. (a) This is Corollary 1.2(a) in [3]. (b) This is L e m m a 2.6(b) in [5]. (c) This is L e m m a 5.2(b) in [3]. (d) This is L e m m a 2.6(a) in [5]. (e) This is L e m m a 2.6(c) in [5]. []
L e m m a 2.2. L e t ~l,(x) := A , ( x ) - A,(x). Then
~l,(x) ~ x//-~]p,(WZ, x)l W(x){(1 + Ixl)-~logn + (1 + Ixl)-~log * n}.
Proof. This is L e m m a 2.10 in [7]. []
The following results in the extension of the Erd6s-Tur~n inequality.
L e m m a 2.3. Let W = e -°- be a Freud weight. Then f o r fl > O, and 1 <~k < < . n - 1 , and
X E [Xk+ a,n, Xkn],
W p (x) lk, (x) W - ~ (Xk,) + W ~ (x) lk + X,,(X) W - ~ (Xk + a, n) ~ 1. (2.7) Proof. This is Theorem 1 in [4]. []
3. Proof of Theorem 1.1
N o w we estimate/],(x). Let Xk~x)., denote the closest abscissa to x ~ ~. We can assume that x ~> 0. Observe that because of the spacing (2.2), A.(x) has a finite number of terms.
Using (2.3) we obtain
/'/.(x) ~< C y, (1 + Ixk.I) -=
Xkn ~ , 9 a
D.M. Matjila /Journal of Computational and Applied Mathematics 65 (1995) 293-298 297
which is an easy consequence of (2.2): F r o m (2.2) for 2 ~< k ~< n - 1,
1 + It[ ~ 1 + [Xkn[, t~[Xk+l,n,Xk-l,n]. (2.9) Assume for simplicity that k = k(x) (if not, x ~ [Xk,, Xk- 1,,] a n d the a r g u m e n t is similar). N o w it is k n o w n that if x ~ [Xk+l,,,Xk,], for some 1 ~< k ~< n - 1, then by the generalized Erd6s-Tur~m inequality (2.7) with fl = 1, we obtain
k(x)+ 1 W ( x ) Z I l j , ( x ) l w - l ( x j , ) ( 1 + l x j . I ) -= j=k(x) k(x) + 1 ~ ( 1 + I x l ) - ~ W ( x ) y, I l j , ( x ) l W - a ( x j , ) j = k ( x ) /> C2(1 + Ix]) -~
In particular, if 71,(x) contains the terms in the last sum, we obtain
71,(x)/> C3(1 + Ix1)-', for x e [ x , , , x l , ] . (2.10)
This establishes the desired lower bound. N o w (2.8) a n d (2.10) yield
7 1 , ( x ) ~ ( l + l x ] ) -~, f o r x ~ [ x , , , x a , ] . (2.11)
Part (a) is n o w a consequence of L e m m a 2.2 and (2.11).
(b) Let Ix[ ~< a,(1 +
Ln-2/3),
for L > 0 fixed. T h e n from (2.1) and the fact that for x j + l , , ~> 0,~,(xi,) ~ tfi,(xj+l,,), for 1 ~ j ~< n -- 1,
(cf. (11.10) in [3]), we can choose C1 as in L e m m a 2.1(e) and set
aCOl := {xJn" lx -- XJnl ~ Cl a-~n ~tn(Xj")- l/2}
I f ~ l is not empty, then it is n o t e w o r t h y that 5P1 contains some zeros ofp,({) closest to x e ~. This is due to the inequality (2.4) of L e m m a 2.1. Also from (2.1) and the symmetric property of the zeros of
pn(WZ, x)
a b o u t origin we infer that only for x e ~ for which Ix[ ~< a,(1 +Ln-2/3),
L > 0 fixed, can we obtain zeros close to x. N o w using L e m m a 2.1(d) we obtain71,>~ W ( x ) Z I l k , ( X ) l W - l ( x k , ) ( 1 + l X k , I) -~ Xkn ~ ,of 1 ~,, ~ a)/Z/n~,(xi,)_l/4 ]p,(x)] (1 +]Xk,]) -~ ... I x - x .l ~ (1 + l x k . I ) - " ~ (1 + ]x]) ", (2.12)
after using (2.6) and the a r g u m e n t s of part (a). N o w (2.8) and (2.12) also yield
298 D.M. Matjila /Journal of Computational and Applied Mathematics 65 (1995) 293-298
a n d the p r o o f o f (b) follows f r o m L e m m a 2.2 a n d (2.12). This c o m p l e t e s the p r o o f o f the
T h e o r e m . [ ]
References
[1] G. Freud, Lagrangesche Interpolation fiber die Nullstellen der Hermiteschen Orthogonalpolynome, Studia Sci.
Math. Hungar. 4 (1969) 179 190.
[-2] G. Freud, Orthoqonal Polynomials (Pergamon Press/Akad6miai Kiad6, Budapest/Oxford, 1971, 1985).
[3] A.L. Levin and D.S. Lubinsky, Christoffel functions, orthogonal polynomials, and Nevai's conjecture for Freud weights, Constr. Approx. 8 (1992) 463-535.
[4] D.S. Lubinsky, An extension of the Erd6s-Turfin Inequality for the sum of successive fundamental polynomials,
Ann. Numer. Math., to appear.
[5] D.S. Lubinsky and F. M6ricz, The weighted Lp-norms of orthogonal polynomials for Freud weights, J. Approx.
Theory 77 (1994) 42-50.
1-6] D.M. Matjila, Lagrange interpolation for Freud weights, Ph.D. Thesis, University of Witwatersrand, 1994. [7] D.M. Matjila, Bounds for Lebesgue functions for Freud weights, J. Approx. Theory 79 (1994) 385-406. [8] J. Szabados and P. V6rtesi, Interpolation of Functions (World Scientific, Singapore, 1990).