MONOTONICITY OF THE ERROR TERM IN GAUSS TURÁN QUADRATURES FOR ANALYTIC FUNCTIONS

Similar documents
ERROR BOUNDS FOR GAUSS-TURÁN QUADRATURE FORMULAE OF ANALYTIC FUNCTIONS

On the remainder term of Gauss Radau quadratures for analytic functions

A note on the bounds of the error of Gauss Turán-type quadratures

A trigonometric orthogonality with respect to a nonnegative Borel measure

Banach Journal of Mathematical Analysis ISSN: (electronic)

Gaussian interval quadrature rule for exponential weights

GENERALIZED GAUSS RADAU AND GAUSS LOBATTO FORMULAE

Applicable Analysis and Discrete Mathematics available online at

Gauss Hermite interval quadrature rule

Bulletin T.CXLV de l Académie serbe des sciences et des arts 2013 Classe des Sciences mathématiques et naturelles Sciences mathématiques, No 38

Electronic Transactions on Numerical Analysis Volume 50, 2018

ZERO DISTRIBUTION OF POLYNOMIALS ORTHOGONAL ON THE RADIAL RAYS IN THE COMPLEX PLANE* G. V. Milovanović, P. M. Rajković and Z. M.

Interpolation and Cubature at Geronimus Nodes Generated by Different Geronimus Polynomials

Numerical quadratures and orthogonal polynomials

The Hardy-Littlewood Function: An Exercise in Slowly Convergent Series

On the solution of integral equations of the first kind with singular kernels of Cauchy-type

27r---./p. IR.(f)l<=,, l(o) max If(z)l. (1.2) o={z" z= 1/2(u + u-1), u p ei, O<- O <-- 2.a }

Instructions for Matlab Routines

Quadrature Rules With an Even Number of Multiple Nodes and a Maximal Trigonometric Degree of Exactness

Positive definite solutions of some matrix equations

Error estimates for Gauss Turán quadratures and their Kronrod extensions

Contemporary Mathematicians

On summation/integration methods for slowly convergent series

INTEGRAL FORMULAS FOR CHEBYSHEV POLYNOMIALS AND THE ERROR TERM OF INTERPOLATORY QUADRATURE FORMULAE FOR ANALYTIC FUNCTIONS

Asymptotics of Integrals of. Hermite Polynomials

On Tricomi and Hermite-Tricomi Matrix Functions of Complex Variable

A quadrature rule of interpolatory type for Cauchy integrals

A NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS. Masaru Nagisa. Received May 19, 2014 ; revised April 10, (Ax, x) 0 for all x C n.

GAUSS-KRONROD QUADRATURE FORMULAE A SURVEY OF FIFTY YEARS OF RESEARCH

SHARP BOUNDS FOR THE GENERAL RANDIĆ INDEX R 1 OF A GRAPH

Polynomial expansions in the Borel region

Summation of Series and Gaussian Quadratures

Part II NUMERICAL MATHEMATICS

ORTHOGONAL POLYNOMIALS FOR THE OSCILLATORY-GEGENBAUER WEIGHT. Gradimir V. Milovanović, Aleksandar S. Cvetković, and Zvezdan M.

ON A WEIGHTED INTERPOLATION OF FUNCTIONS WITH CIRCULAR MAJORANT

A mean value theorem for systems of integrals

CS 450 Numerical Analysis. Chapter 8: Numerical Integration and Differentiation

(1-2) fx\-*f(x)dx = ^^ Z f(x[n)) + R (f), a > - 1,

On orthogonal polynomials for certain non-definite linear functionals

Intrinsic Definition of Strong Shape for Compact Metric Spaces

COMPUTATION OF BESSEL AND AIRY FUNCTIONS AND OF RELATED GAUSSIAN QUADRATURE FORMULAE

Applicable Analysis and Discrete Mathematics available online at

Bivariate Lagrange interpolation at the Padua points: The generating curve approach

On spectral radius and energy of complete multipartite graphs

Numerical Methods I: Numerical Integration/Quadrature

Quadrature rules with multiple nodes

Bulletin T.CXXII de l Académie Serbe des Sciences et des Arts Classe des Sciences mathématiques et naturelles Sciences mathématiques, No 26

MATH 117 LECTURE NOTES

Fully Symmetric Interpolatory Rules for Multiple Integrals over Infinite Regions with Gaussian Weight

COMPUTATION OF GAUSS-KRONROD QUADRATURE RULES

Discrete Orthogonal Polynomials on Equidistant Nodes

ON A SINE POLYNOMIAL OF TURÁN

In numerical analysis quadrature refers to the computation of definite integrals.

Quadrature Formula for Computed Tomography

SZEGÖ ASYMPTOTICS OF EXTREMAL POLYNOMIALS ON THE SEGMENT [ 1, +1]: THE CASE OF A MEASURE WITH FINITE DISCRETE PART

Review of Power Series

Orthogonal Polynomials, Quadratures & Sparse-Grid Methods for Probability Integrals

A collocation method for solving the fractional calculus of variation problems

Let D be the open unit disk of the complex plane. Its boundary, the unit circle of the complex plane, is denoted by D. Let

A Chebyshev Polynomial Rate-of-Convergence Theorem for Stieltjes Functions

Quadratures and integral transforms arising from generating functions

UNIMODULAR ROOTS OF RECIPROCAL LITTLEWOOD POLYNOMIALS

A Note about the Pochhammer Symbol

NEWMAN S INEQUALITY FOR INCREASING EXPONENTIAL SUMS

The Generating Functions for Pochhammer

Szegő-Lobatto quadrature rules

SQUARE-ROOT FAMILIES FOR THE SIMULTANEOUS APPROXIMATION OF POLYNOMIAL MULTIPLE ZEROS

POLYNOMIAL INTERPOLATION IN NONDIVISION ALGEBRAS

Positivity of Turán determinants for orthogonal polynomials

Quadratures with multiple nodes, power orthogonality, and moment-preserving spline approximation

A Fixed Point Theorem for G-Monotone Multivalued Mapping with Application to Nonlinear Integral Equations

On Some Mean Value Results for the Zeta-Function and a Divisor Problem

x x2 2 + x3 3 x4 3. Use the divided-difference method to find a polynomial of least degree that fits the values shown: (b)

9. Series representation for analytic functions

Orthogonal polynomials

AP Calculus Testbank (Chapter 9) (Mr. Surowski)

Invariant Approximation Results of Generalized Contractive Mappings

A Proof of the Lucas-Lehmer Test and its Variations by Using a Singular Cubic Curve

CONSTRUCTIVE APPROXIMATION 2001 Springer-Verlag New York Inc.

Representation for the generalized Drazin inverse of block matrices in Banach algebras

ON LINEAR COMBINATIONS OF

Convergence and Stability of a New Quadrature Rule for Evaluating Hilbert Transform

CESÁRO TYPE OPERATORS ON SPACES OF ANALYTIC FUNCTIONS. S. Naik

UNIFORM BOUNDS FOR BESSEL FUNCTIONS

ESTIMATES ON THE NUMBER OF LIMIT CYCLES OF A GENERALIZED ABEL EQUATION

Numerical Integration (Quadrature) Another application for our interpolation tools!

c 2007 Society for Industrial and Applied Mathematics

A note on a construction of J. F. Feinstein

Math Subject GRE Questions

arxiv: v1 [math.mg] 15 Jul 2013

Applied Mathematics and Computation

Tools from Lebesgue integration

Complex Series. Chapter 20

On Fixed Point Results for Matkowski Type of Mappings in G-Metric Spaces

ASYMPTOTIC BEHAVIOUR OF SECOND-ORDER DIFFERENCE EQUATIONS

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

Random Bernstein-Markov factors

Complex Analysis Slide 9: Power Series

arxiv: v1 [cs.ds] 11 Oct 2018

POLYNOMIALS WITH COEFFICIENTS FROM A FINITE SET

Transcription:

ANZIAM J. 48(27), 567 581 MONOTONICITY OF THE ERROR TERM IN GAUSS TURÁN QUADRATURES FOR ANALYTIC FUNCTIONS GRADIMIR V. MILOVANOVIĆ 1 and MIODRAG M. SPALEVIĆ 2 (Received March 19, 26) Abstract For Gauss Turán quadrature formulae with an even weight function on the interval ; 1] and functions analytic in regions of the complex plane which contain in their interiors a circle of radius greater than 1, the error term is investigated. In some particular cases we prove that the error decreases monotonically to zero. Also, for certain more general cases, we illustrate how to check numerically if this property holds. Some `2-error estimates are considered. 2 Mathematics subect classification: primary 41A55; secondary 65D3, 65D32. Keywords and phrases: Gauss Turán quadrature; error term; monotonicity; weight function; analytic functions. 1. Introduction Let w be an integrable weight function on the interval.; 1/. It is well known that the Gauss Turán quadrature formula with multiple nodes, w.t/ f.t/ dt n 2s A i; f.i/. / + R n;s. f /; (1.1) 1 i is exact for all algebraic polynomials of degree at most 2.s + 1/n 1 and that its nodes are the zeros of the corresponding s-orthogonal polynomial ³ n;s.t/ of degree n. For more details on Gauss Turán quadratures and s-orthogonal polynomials see the book 5] and the survey paper 9]. Numerically stable procedures for calculating the Gauss Turán quadrature formula have been proposed in 3, 1, 16]. 1 Department of Mathematics, University of Niš, Faculty of Electronic Engineering, P. O. Box 73, 18 Niš, Serbia; e-mail: grade@ni.ac.yu. 2 Department of Mathematics and Informatics, University of Kraguevac, Faculty of Science, P. O. Box 6, 34 Kraguevac, Serbia; e-mail: spale@kg.ac.yu. c Australian Mathematical Society 27, Serial-fee code 1446-8735/7 567

568 Gradimir V. Milovanović and Miodrag M. Spalević 2] Let be a simple closed curve in the complex plane surrounding the interval ; 1] and D be its interior. If the integrand f is an analytic function in D and continuous on D, then we take as our starting point the well-known expression of the remainder term R n;s. f / in the form of the contour integral R n;s. f / 1 K n;s.z/ f.z/ dz: (1.2) 2³i The kernel is given by K n;s.z/ % n;s.z/ ³n;s.z/ ] ; z ; 1]; 2s+1 where % n;s.z/ ³n;s.z/ ] 2s+1 w.t/ dt; n N; z t and ³ n;s.t/ is an s-orthogonal polynomial with respect to the measure w.t/ dt on.; 1/. Let w be one of the four generalized Chebyshev weight functions: (a) w 1.t/.1 t 2 / 2 ; (b) w 2.t/.1 t 2 / 12+s ; (c) w 3.t/.1 t/ 2.1 + t/ 12+s ; (d) w 4.t/.1 t/ 12+s.1 + t/ 2 : It is well known that the Chebyshev polynomials of the first kind T n are s-orthogonal subect to w 1.t/ on ; 1] for each s (see1]), and that for three other weights w i.t/, i 2; 3; 4, the s-orthogonal polynomials can be identified as Chebyshev polynomials of the second, third and fourth kinds: U n, V n and W n, which are defined by (see, for example, 18]) U n.t/ sin.n + 1/ cos.n + 12/ ; V n.t/ sin cos 2 and W n.t/ sin.n + 12/ sin 2 ; respectively, where t cos. However, such weights depend on s. The weight function in (d) can be omitted from investigation because W n. t/./ n V n.t/. Gori and Micchelli 6] have introduced for each n a class of weight functions defined on ; 1] for which the explicit Gauss Turán quadrature formulae can be found for all s. In other words, these classes of weight functions have the peculiarity that the corresponding s-orthogonal polynomials, of the same degree, are independent of s. This class includes certain generalized Jacobi weight functions w n;¼.t/ U n.t/ n 2¼+1.1 t 2 / ¼ ;

3] Monotonicity of the error term in Gauss Turán quadratures for analytic functions 569 where U n.cos / sin nsin (a Chebyshev polynomial of the second kind) and ¼>. In this case, the Chebyshev polynomials T n.t/ appear to be s-orthogonal polynomials. Using the representation (1.2) of the remainder term R n;s. f /, the results from 4, 8, 19] for Gauss quadrature formulae, and taking to be a confocal ellipse or circle, some very precise error bounds of R n;s. f / are derived in 11, 12, 13, 14]. The case with strong singularities has been considered in 15]. The monotonicity of quadrature approximations for some quadrature rules has been considered by several authors. For example, Newman 17] showed that, for a certain class of functions, the convergence of the general Newton-Cotes quadrature is monotone. Also, under the condition f.2n/, Brass 2] considered the quadrature rule Q n. f /, with n nodes, and proved certain monotonicity results in the case of Gaussian and Newton-Cotes rules. In this paper we consider the error term R n;s. f / in the Gauss Turán quadrature formula, with an even weight function on the interval ; 1], for functions analytic in regions of the complex plane which contain in their interiors a circle of radius greater than 1. For some important particular cases we prove that R n;s. f / decreases monotonically to zero. Also, we investigate numerically some more general cases and analyze some `2-error estimates. The paper is organized as follows. In Section 2 we give some preliminary results. The monotonicity of the error term is given in Section 3, including a numerical analysis. Finally, the `2-error estimates are considered in Section 4. 2. Preliminaries Let f be an analytic function in {z : z < 1 + 2"},where">, that is, f.z/ k a k z k ; z < 1 + 2": (2.1) Let ³ n;s.t/ be the s-orthogonal polynomial of the nth degree subect to the given weight function w.t/: ³ n;s.t/ n t n + n t n +,wherewetake n n.s/ >. In the following, we suppose that w.t/ is even, that is, w. t/ w.t/ on ; 1], and that the contour is the circle of radius 1 + ". The results which will be presented in this paper are a continuation of the results from 13]. Because of that we need some facts from 13], and we give them in this section again (without proofs).

57 Gradimir V. Milovanović and Miodrag M. Spalević 4] LEMMA 2.1. In the expansion + 1 ³ n;s.z/ b.s/ n; z n ; z 1; for n > 1 it holds that b.s/ n;2 +1, b.s/ n;2 >. ; 1; 2;:::/, and for n 1 it holds that 1³ 1;s.z/ b 1;z.s/, where b.s/ 1; 1 1 >. Therefore, in the case with even weight function, we have + 1 ³ n;s.z/ b.s/ n;2 z n 2 ; z 1; and ( 1 ³n;s.z/ ] + 2s+1 z n.2s+1/ ) 2s+1 b.s/ n;2 z 2 b.s/ n;2 z n.2s+1/ : It is clear that b.s/.s/ n;2 +1 andb n;2 >. If b.s/ n;2k are known, by using 7, Equation.314], it is possible to determine b.s/ n;2 in the following way: b.s/ n; b2s+1 n; ; b.s/ n;2 1 b.s/ n; LEMMA 2.2. For % n;s.z/ it holds that % n;s.z/ k1.2k.s + 1/ / b.s/ n;2k b.s/ n;2 2k : c.s/ n;2 z n 2 ; z > 1; where c.s/ n;2 >,n ; 1; 2;:::.s N /; ; 1; 2;:::. THEOREM 2.3. Let R n;s. f / be the remainder term in the Gauss Turán quadrature formula (1.1) and n;k k b.s/ n;2 c.s/ n;2k 2. Then, for n 1, R n;s. f / k a 2n.s+1/+2k n;k : (2.2) Let ¼ s be the moments of the weight function w.t/, thatis,¼ w.t/t dt ( ; 1; 2;:::). At the same time we introduce the quantities ¼ n 2s 1 i A i; ( i )! i ; ; 1; 2;::: ; which are obtained by applying the Gauss Turán quadrature sum on t, and which can be numerically calculated by using the above mentioned procedures. Because n;k >, we also obtained the following consequences of Theorem 2.3.

5] Monotonicity of the error term in Gauss Turán quadratures for analytic functions 571 COROLLARY 2.4. We have n;k ¼ 2n.s+1/+2k ¼ 2n.s+1/+2k ; k ; 1; 2;::: ; and n;k ¼ 2n.s+1/+2k 1 + o.1/] : Therefore, there exists k such that for all k k it holds that ¼ 2n.s+1/+2k >. Also, lim k + n;k, and the sequence ( ) n;k is bounded. k;1;2;::: 3. Monotonicity of the error term In this section we prove that the remainder R n;s. f / decreases monotonically to zero in some particular cases, when all a 2k in the expansion (2.1) are nonnegative. We use an analogous way of concluding as in Stenger 19, Lemma 4, Theorem 2] for the Gaussian quadrature formula (s ). 1. The case when n is fixed. We have R n;s. f / R n;s+1. f / k a 2n.s+1/+2k n;k k a 2n.s+2/+2k e.s+1/ n;k a 2n.s+1/ n; + +a 2n.s+1/+2n 2 n;n + a 2n.s+1/ n; + +a 2n.s+1/+2n 2 n;n + kn k a 2n.s+1/+2k n;k a 2n.s+2/+2k e.s+1/ n;k k ( ) a 2n.s+1/+2n+2k en;k+n.s/ e.s+1/ n;k : It will hold that R n;s. f / R n;s+1. f /, s ; 1; 2;:::, if it holds that n;k+n e.s+1/ n;k ; k ; 1; 2;::: : (3.1) Let us show that (3.1) holds if n 1; 2; 3, and w.t/ belongs to the class of Gori Micchelli weight functions. We have n;k+n e.s+1/ n;k 1 w.t/ z 2n.s+1/+2n+2k ³n;s.t/ ] 2s+1 2³i z t ³n;s.z/ ] dtdz 2s+1 1 w.t/ z 2n.s+2/+2k ³n;s+1.t/ ] 2s+3 2³i z t ³n;s+1.z/ ] dtdz : 2s+3

572 Gradimir V. Milovanović and Miodrag M. Spalević 6] After a little reordering we obtain n;k+n e.s+1/ n;k 1 2³i z 2n.s+2/+2k Tn.z/ ] 2s+3 w.t/ T n.t/ ] 2s+1 Sn.z; t/.t n.z/ + T n.t// ] dtdz; where we put S n.z; t/.t n.z/ T n.t//.z t/. Finally, because of orthogonality, n;k+n e.s+1/ n;k 1 z 2n.s+2/+2k 1 2³i Tn.z/ ] w.t/ T 2s+3 n.t/ ] 2s+2 S n.z; t/ dtdz : The value of the last expression will be equal to the coefficient of z when the expression under the integral over is expanded in the series of z. It is clear that all the coefficients of the series, which have been obtained by expanding z 2n.s+2/+2k T n.z/] 2s+3, are positive. Since the weight function is even, the corresponding (s-) orthogonal polynomial of degree n has the form (here this is the Chebyshev polynomial of the first kind) T n.t/ Þ n t n Þ n 2 t n 2 + Þ n 4 t n 4 ; where n Þ n > ; Þ n 2 > ; Þ n 4 > ; :::. Let n 1. Then T 1.t/ Þ 1 t and S.z; t/ Þ 1 >. Therefore w.t/ T 1.t/ ] 2s+2 S.z; t/ dt Þ 1 w.t/ T 1.t/ ] 2s+2 dt > : Let n 2. Then T 2.t/ Þ 2 t 2 Þ and S 1.z; t/ Þ 2.z + t/. Therefore w.t/ T 2.t/ ] 2s+2 S 1.z; t/ dt Þ 2 z w.t/ T 2.t/ ] 2s+2 dt ; which gives that the coefficient of z is positive. Let n 3. Then T 3.t/ Þ 3 t 3 Þ 1 t and S 2.z; t/ T 3.z/z + Þ 3 t 2 + Þ 3 tz. Therefore T 3.z/ z Now, because of w.t/ T 3.t/ ] 2s+2 S 2.z; t/ dt w.t/ T 3.t/ ] 2s+2 dt + Þ 3 w.t/t 2 T 3.t/ ] 2s+2 dt : w.t/ T 3.t/ ] 2s+2 dt > and Þ 3 w.t/t 2 T 3.t/ ] 2s+2 dt > ;

7] Monotonicity of the error term in Gauss Turán quadratures for analytic functions 573 we conclude that the coefficient of z is positive. It is not possible, in this way, to prove positivity of the coefficient of z for n 4. 2. The case when s is fixed. Consider the generalized Chebyshev weight functions whichareeven,thatis,w 1.t/ and w 2.t/. We have R n;s. f / R n+1;s. f / k a 2n.s+1/+2k n;k k a 2.n+1/.s+1/+2k n+1;k a 2n.s+1/ n; + +a 2n.s+1/+2s n;s + ks+1 a 2n.s+1/+2k n;k k a 2n.s+1/ n; + +a 2n.s+1/+2s n;s + k a 2.n+1/.s+1/+2k n+1;k a 2n.s+1/+2.s+1/+2k ( e.s/ n;k+s+1 n+1;k) : It will hold that R n;s. f / R n+1;s. f /, n ; 1; 2;:::, if it holds that We have n;k+s+1 n+1;k 1 2³i 1 2³i ( 2s i n;k+s+1 n+1;k ; k ; 1; 2;::: : (3.2) w.t/ z 2n.s+1/+2.k+s+1/ z t ( ) 2s+1 ³n;s.t/ ³ n;s.z/ ( ) 2s+1 ] ³n+1;s.t/ dtdz ³ n+1;s.z/ w.t/ z 2n.s+1/+2.k+s+1/ ³ n;s.t/³ n+1;s.z/ ³ n+1;s.t/³ n;s.z/ ³ n;s.z/] 2s+1 ³ n+1;s.z/] 2s+1 z t ) ³ n;s.t/³ n+1;s.z/] 2s i ³ n+1;s.t/³ n;s.z/] i Finally, by using the Christoffel-Darboux identity, n;k+s+1 n+1;k 1 2³i n+1 n z 2n.s+1/+2.k+s+1/ ³ n.z/] 2s+1 ³ n+1.z/] 2s+1 dtdz: n 2s ³ k.z/³ n+1.z/] 2s i ³ n.z/] i k w.t/³ k.t/³ n.t/] 2s i ³ n+1.t/] i dtdz; where ³ k is the corresponding ordinary orthogonal polynomial. i

574 Gradimir V. Milovanović and Miodrag M. Spalević 8] Consider now the case w.t/ w 1.t/, t.; 1/. By substituting t cos in the last integral we obtain n;k+s+1 n+1;k 1 2³i n+1 n z 2n.s+1/+2.k+s+1/ ³ n.z/] 2s+1 ³ n+1.z/] 2s+1 n 2s ³ k.z/³ n+1.z/] 2s i ³ n.z/] i k i cos kcos n] 2s i cos.n + 1/] i ddz: We see that n+1 n >, and that the expansions of z 2n.s+1/+2.k+s+1/ ; i ; 1;:::;2s; ³ n.z/] 2s+1 i ³ n+1.z/] i+1 in the series of z are such that all their coefficients are positive. Further, we use the following known formulae cos n] 2s i 2s i and cos.n + 1/] i i cos r.n + 1/, and put where a.i/ Both a.i/ Now, a.i/ r b.i/ r a.i/ cos2 n d and b.i/ r cos n] 2s i cos n d and b.i/ r b.i/ r cos2 r.n + 1/ d ; and b.i/ r can be found by using 7, Equation 3.631 17]. cos kcos n] 2s i cos.n + 1/] i d 1 2 1 4 2s i i r 2s i 2s i a.i/ i r i r b.i/ r cos k cos n cos r.n + 1/ d a.i/ a.i/ b.i/ r a.i/ cos n cos.n + 1/] i cos r.n + 1/ d : cos.k + n/ + cos.k n/] cos r.n + 1/ d b.i/ r cos.k + n + r + rn/ + cos.k + n r rn/ + cos.k n + r + rn/ + cos.k n r rn/ ] d: (3.3) Since w.t/ w 1.t/ is an even weight function, the previous integrals are different from zero in those cases when k, i are both of even parity. Further, a.i/ ifi + is

9] Monotonicity of the error term in Gauss Turán quadratures for analytic functions 575 odd and b.i/ r ifi + r is odd. Therefore, we consider the cases in which k; i; ; r are all of even parity. The last integrals are of the form cos l d, l Z, and are equal to zero, except when l. Consider the case s 1. It is not difficult to conclude that the integral in (3.3) is not zero only in the cases when.k; i; ; r/ take the following values:.; ; ; /,.; 2; ; / and.1; 1; 1; 1/. In these cases we have: (i) If.k; i; ; r/.; ; ; /, then a./ cos 2 n d >; b./ d > : (ii) If.k; i; ; r/.; 2; ; /, then a.2/ d >; b./ cos 2.n + 1/ d > : (iii) If.k; i; ; r/.1; 1; 1; 1/, then a.1/ 1 cos 2 n d >; b.1/ 1 cos 2.n + 1/ d > : Therefore, we conclude that the requested coefficient of z will be positive. We derived the same conclusion in the case when w.t/ w 2.t/. Concluding in an analogous way we cannot see what happens if s 2. All that we can conclude is that R 1;2. f / R 2;2. f /. 3.1. Numerical analysis The formulae (3.1) and (3.2) give us a way to check numerically if monotonicity holds, for the error in the Gauss Turán quadrature formulae in the cases under consideration in this paper. Let us consider the Legendre weight function w.t/ w L.t/ 1on; 1]. Itis possible to display the graphs of n;k+n and e.s+1/ n;k for k M, form sufficiently large, by using programme packages such as MATLAB or MATHEMATICA, andso checking the conditions (3.1). The same can be said for the conditions (3.2). Let n be fixed, for instance, n 4. In Figure 1 we see the graphs of 4;k+4 (connected by dashed lines) and e.s+1/ 4;k (connected by solid lines), for s 1(left) and s 2 (right), where k ; 1; 2;:::;7. Finally let s be fixed, for instance, s 1. In Figure 2 we see the graphs of e.1/ n;k+2 (connected by dashed lines) and e.1/ n+1;k (connected by solid lines), for n 3(left)and n 4 (right), where k ; 1; 2;:::;6.

576 Gradimir V. Milovanović and Miodrag M. Spalević 1].3.18.16.25.14.2.12.1.15.8.1.6.4.5.2 1 2 3 4 5 6 7 1 2 3 4 5 6 7 FIGURE 1. The graphs show: R 4;1 R 4;2 (left) and R 4;2 R 4;3 (right)..5.3.45.4.25.35.2.3.25.15.2.15.1.1.5.5 1 2 3 4 5 6 1 2 3 4 5 6 FIGURE 2. The graphs show: R 3;1 R 4;1 (left) and R 4;1 R 5;1 (right). 4. Some l 2 -error estimates For the remainder term in the Gauss Turán quadrature formula (1.1) we can derive the following estimate: Rn;s. f / Rn;s f : (4.1) If a given sequence ( ) n;k (n, s fixed) belongs to the space `p.p 1/, we k;1;::: apply Hölder s inequality to (2.2) to obtain Rn;s. f / ( + ) 1p ( ( ) + 1q e.s/ p n;k a2n.s+1/+2k q) ; (4.2) k where 1p + 1q 1. The quantities n;p.s/ ( + ( k e.s/ p ) 1p n;k) are independent of f and can be computed. The case when p + wasconsidered in 13]. k

11] Monotonicity of the error term in Gauss Turán quadratures for analytic functions 577 TABLE 1. Error constants W 12 n;s.w i/.i L; 2/ for some n; s and for the weight functions w L.t/ 1, w 2.t/ 1 t 2, t ; 1]. n W 12 n;1.w L / W 12 n;2.w L / W 12 n;1.w 2 / W 12 n;2.w 2 / 5 1:58./ 1:24./ 1:86. 2/ 1:11. 2/ 6 1:33./ 1:4./ 1:33. 2/ 7:88. 3/ 7 1:14./ 8:93. 2/ 9:99. 3/ 5:88. 3/ 8 1:1./ 7:84. 2/ 7:77. 3/ 4:55. 3/ 9 8:97. 2/ 6:98. 2/ 6:22. 3/ 3:63. 3/ 1 8:9. 2/ 6:3. 2/ 5:9. 3/ 2:96. 3/ Here we consider the case p q 2. The estimate (4.2) of type (4.1)gives R n;s ( + k ) 12 ( ) e.s/ 2 n;k W 12 : (4.3) n;s On the basis of the results from Section 2, there exists a k such that that is, < ¼ 2n.s+1/+2k ¼ 2n.s+1/+2k ; k k ; k + 1;:::; ¼ 2 2n.s+1/+2k ¼ 2 2n.s+1/+2k ; k k : Therefore, the series + ¼ 2 converges if the series + k 2n.s+1/+2k k ¼2 2k converges. But the last series converges if and only if the integral converges, since k I ¼ 2 2k + k w.t/w.y/ 1 ty w.t/t 2k dt dtdy w.y/y 2k dy I : Therefore, if the integral I converges, then the quantities Wn;s 12 Wn;s 12.w/ exist and can be calculated. The error constants Wn;s 12.w i/ (i L; 2) for some values of n, s and for weight functions w L.t/ 1, w 2.t/ 1 t 2, t ; 1], are displayed in Table 1. Numbers in parentheses indicate decimal exponents. These do not exist for the weight function w 1.t/ 1 1 t 2 (see, for example 19]). A calculation of W 12 n; in (4.3) for the Gaussian rule was given by Wilf 2] and Stenger 19, tableon page 157]. We finish, by deriving another expression for W n;s. Formula (4.2), for p q 2,

578 Gradimir V. Milovanović and Miodrag M. Spalević 12] has been derived as follows: R n;s. f / n 2s w.t/ f.t/ dt A i; f.i/. / 1 i ( 1 + ) ( 2s n + ).i/ w.t/ a t dt A i; a t 1 i ] 2s n a ¼ A i;.t /.i/ 1 i a.¼ ¼ / ( + ) 12 ( + ) 12 a 2.¼ ¼ / 2 : (4.4) Equality can be obtained in (4.4) by putting { ; ; 1;:::;2n.s + 1/ 1; a ¼ ¼ ; 2n.s + 1/; 2n.s + 1/ + 1;:::; (4.5) that is, for the function f.t/.¼ ¼ /t : (4.6) We have that (subect to (4.5), a always when is odd, since ¼ ¼ ) for the function f in (4.6) it holds that a a 2n.s+1/+2k n;k > ; 2n.s + 1/; 2n.s + 1/ + 2;::: : On the basis of these facts and (4.5) we conclude that a ; ; 1;::: : (4.7) By using (4.4), where a are given by (4.5), we have ] 1 2s n W n;s w.t/ ¼ A i;. i/! i t dt 1 i ( 2s n + ] ) 2s.i/ n A i; ¼ A i1; 1. i 1 /! i1 1 t : 1 i 11 i 1

13] Monotonicity of the error term in Gauss Turán quadratures for analytic functions 579 In fact, on the basis of (4.4) and (4.7), W n;s is equal to the last expression inside the absolute value, that is, W n;s w.t/ ( n 2s A i; 1 i ¼ + n 2s 1 i ¼ ] A i;. i/! i t dt n 2s 11 i 1 Let us put the last formula in order. First, we have w.t/ ¼ t dt w.t/ Second, we have w.t/t 2n.s+1/ dt ] ).i/ A i1; 1. i 1 /! i1 1 t : w.y/ ( ] t 2n.s+1/ y 2n.s+1/ + t 2n.s+1/+1 y + ) 2n.s+1/+1 dy dt w.t/w.y/.ty/ 2n.s+1/ dtdy : 1 ty w.t/ n 2s 1 i 2 A i; w.y/y 2n.s+1/.1 + ty + / dy n 2s 1 i n 2s 1 i A i; ] A i;. i/! i t dt ¼. i/! i + We now determine the last sum in this expression. Since.1 ¾/.l+1/ + ) l ¾ l, ¾ < 1, we have i! ( l. i/! i ¼ m2n.s+1/ i!. i/! i ¼. i/! i : w.y/y m dy

58 Gradimir V. Milovanović and Miodrag M. Spalević 14] 1 + ( ) 2n.s+1/ ( ] m i! w.y/y i. y/ i ). y/ m i dy i i Therefore 2 i! 2s n 1 i 2 Finally, we have 2s n 1 A i; i w.y/y i 2n.s+1/ dy.1 y/ i+1 + n 2s i! A i; 1 i i 11 i 1 i ¼. i/! i ( 2s n A i; A i1; 1 n 2s 1 ¼ 2 : i i ( ) ] i ¼ : i w.y/y i 2n.s+1/ dy.1 y/ i+1 + A i;. i/! i i ( ) ] i ¼ : i ). / 2. i/!. i 1 /! i i1 1 On the basis of the previous analysis, the quantity W n;s can be given in the form ] 2 where W n;s 2 W n;s W n;s + w.t/w.y/.ty/ 2n.s+1/ dtdy 1 ty 2s n i! A i; 1 i ¼ 2 ; w.y/y i 2n.s+1/ dy.1 y/ i+1 i ( ) ] i ¼ : i Acknowledgements The work was supported in part by the Serbian Ministry of Science and Environmental Protection.

15] Monotonicity of the error term in Gauss Turán quadratures for analytic functions 581 References 1] S. Bernstein, Sur les polynomes orthogonaux relatifs àunsegmentfini,j. Math. Pures Appl. 9 (193) 127 177. 2] H. Brass, Monotonie bei den Quadraturverfahren von Gauss and Newton Cotes, Numer. Math. 3 (1978) 349 354. 3] W. Gautschi and G. V. Milovanović, S-orthogonality and construction of Gauss Turán type quadrature formulae, J. Comput. Appl. Math. 86 (1997) 25 218. 4] W. Gautschi and R. S. Varga, Error bounds for Gaussian quadrature of analytic functions, SIAM J. Numer. Anal. 2 (1983) 117 1186. 5] A. Ghizzetti and A. Ossicini, Quadrature Formulae (Akademie Verlag, Berlin, 197). 6] L. Gori and C. A. Micchelli, On weight functions which admit explicit Gauss Turán quadrature formulas, Math. Comp. 69 (1996) 269 282. 7] I. S. Gradshteyn and I. M. Ryzhik, Table of Integrals, Series, and Products (Academic Press, New York, 198). 8] D. B. Hunter, Some error expansions for Gaussian quadrature, BIT 35 (1995) 64 82. 9] G. V. Milovanović, Quadratures with multiple nodes, power orthogonality, and momentpreserving spline approximation, J. Comput. Appl. Math. 127 (21) 267 286. 1] G. V. Milovanović and M. M. Spalević, Quadrature formulae connected to -orthogonal polynomial, J. Comput. Appl. Math. 14 (22) 619 637. 11] G. V. Milovanović and M. M. Spalević, Error bounds for Gauss Turán quadrature formulae of analytic functions, Math. Comp. 72 (23) 855 187. 12] G. V. Milovanović and M. M. Spalević, Error analysis in some Gauss Turán Radau and Gauss Turán Lobatto quadratures for analytic functions, J. Comput. Appl. Math. 164 165 (24) 569 586. 13] G. V. Milovanović and M. M. Spalević, Bounds of the error of Gauss Turán-type quadratures, J. Comput. Appl. Math. 178 (25) 333 346. 14] G. V. Milovanović and M. M. Spalević, An error expansion for Gauss Turán quadratures and L 1 -estimates of the remainder term, BIT 45 (25) 117 136. 15] G. V. Milovanović and M. M. Spalević, Quadrature rules with multiple nodes for evaluating integrals with strong singularities, J. Comput. Appl. Math. 189 (26) 689 72. 16] G. V. Milovanović, M. M. Spalević and A. S. Cvetković, Calculation of Gaussian type quadratures with multiple nodes, Math. Comput. Modelling 39 (24) 325 347. 17] D. J. Newman, Monotonicity of quadrature approximations, Proc. Amer. Math. Soc. 42 (1974) 251 257. 18] A. Ossicini and F. Rosati, Funzioni caratteristiche nelle formule di quadratura gaussiane con nodi multipli, Boll. Unione Mat. Ital. 11 (1975) 224 237. 19] F. Stenger, Bounds on the error of Gauss-type quadratures, Numer. Math. 8 (1966) 15 16. 2] H. Wilf, Exactness conditions in numerical quadrature, Numer. Math. 6 (1964) 315 319.