Quadrature Theory the Theory of Numerical Integration on a Compact Interval
Total Page:16
File Type:pdf, Size:1020Kb
Mathematical Surveys and Monographs Volume 178 Quadrature Theory The Theory of Numerical Integration on a Compact Interval Helmut Brass Knut Petras American Mathematical Society http://dx.doi.org/10.1090/surv/178 Quadrature Theory The Theory of Numerical Integration on a Compact Interval Mathematical Surveys and Monographs Volume 178 Quadrature Theory The Theory of Numerical Integration on a Compact Interval Helmut Brass Knut Petras American Mathematical Society Providence, Rhode Island EDITORIAL COMMITTEE Ralph L. Cohen, Chair MichaelA.Singer Jordan S. Ellenberg Benjamin Sudakov MichaelI.Weinstein 2010 Mathematics Subject Classification. Primary 41A55; Secondary 65D30, 65D32. For additional information and updates on this book, visit www.ams.org/bookpages/surv-178 Library of Congress Cataloging-in-Publication Data Brass, Helmut. Quadrature theory : the theory of numerical integration on a compact interval / Helmut Brass, Knut Petras. p. cm. – (Mathematical surveys and monographs ; v. 178) Includes bibliographical references and index. ISBN 978-0-8218-5361-0 (alk. paper) 1. Gaussian quadrature formulas. 2. Numerical integration. I. Petras, Knut, 1962– II. Title. QA299.4.G3B73 2011 515.43–dc23 2011030201 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Acquisitions Department, American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294 USA. Requests can also be made by e-mail to [email protected]. c 2011 by the American Mathematical Society. All rights reserved. The American Mathematical Society retains all rights except those granted to the United States Government. Printed in the United States of America. ∞ The paper used in this book is acid-free and falls within the guidelines established to ensure permanence and durability. Visit the AMS home page at http://www.ams.org/ 10987654321 161514131211 Contents Preface vii Chapter 1. Introduction 1 Chapter 2. The Abstract Framework 7 2.1. Standard estimation framework 7 2.2. Linear rules that are exact on a subspace 16 2.3. Strong optimality: inner product spaces 21 2.4. Varying the observation 26 Chapter 3. Norm and Kernel of the Remainder Functional 29 3.1. Norm of an estimation rule 29 3.2. The interpolation theorem 33 3.3. Quadrature formulas and one-sided approximation 36 3.4. Krein’s theory 40 Chapter 4. Co-observations 47 4.1. Survey 47 4.2. The Peano kernel theorem 50 4.3. Bounded derivatives as co-observation 59 4.4. Bounded variation as co-observation 63 4.5. Error bounds using the modulus of continuity 66 4.6. Derivatives of bounded variation 72 4.7. Sard’s co-observation 73 4.8. Co-observations of Davis type 76 4.9. Bounds in the complex plane as co-observations 82 4.10. Convex functions 93 Chapter 5. Quadrature Rules of Interpolatory Type 99 5.1. Recapitulation 99 5.2. The Newton–Cotes method 104 5.3. A theorem of Sloan and Smith 110 5.4. Error bounds for the Clenshaw–Curtis method 114 5.5. Relatives of the Clenshaw–Curtis method 121 5.6. The distribution of nodes 130 5.7. Bounds for the norms of Peano kernels of interpolatory rules 135 5.8. Asymptotic behaviour of a class of Peano kernels 144 Chapter 6. Gaussian Quadrature 149 6.1. Rules of high degree and orthogonal polynomials 149 6.2. Coefficients and nodes for general weights 156 v vi CONTENTS 6.3. Nodes and coefficients for w = 1 162 6.4. Peano kernels for general weights 166 6.5. Peano kernels for w = 1 173 6.6. Error bounds 180 6.7. Asymptotics of the error 189 6.8. Extremal properties of Gaussian rules 195 6.9. Why Gaussian quadrature? 197 6.10. The Kronrod method 201 6.11. Kronrod rules for w = 1 204 Chapter 7. Quadrature Rules with Equidistant Nodes 211 7.1. The trapezoidal method and the Euler–Maclaurin formula 211 7.2. More on the trapezoidal method 217 7.3. Simpson’s method 230 7.4. The Filon method 233 7.5. Gregory methods 236 7.6. Romberg methods 244 7.7. Equidistant nodes and the degree of polynomial exactness 254 7.8. The midpoint method 256 Chapter 8. Periodic Integrands 261 8.1. The special role of the trapezoidal rule for w = 1 261 8.2. Error bounds for the trapezoidal rule 264 8.3. Trigonometric interpolation 271 8.4. Universality 273 8.5. Standard rules for Fourier coefficients 276 8.6. Other rules for Fourier coefficients 283 Chapter 9. Variance and Chebyshev-type Rules 291 9.1. Fundamentals 291 9.2. Chebyshev methods 296 9.3. The special case of w = 1 299 9.4. Variance 303 Chapter 10. Problems 307 Appendix A. Orthogonal Polynomials 315 Appendix B. Bernoulli Polynomials 325 Appendix C. Validation of Co-observations 329 C.1. Automatic generation of Taylor coefficients 329 C.2. Real interval arithmetic 331 C.3. Complex interval arithmetic 333 Bibliography 335 Books on quadrature 335 References 336 Symbols 357 Index 361 Preface Methods for the approximate calculation of definite integrals are covered in every book on numerical analysis. Our intention here is to provide a complementary treatment of this topic by presenting a coherent theory that encompasses many deep and elegant results as well as a large number of interesting (solved and open) problems. The inclusion of the word “theory” in the title highlights our emphasis on concepts rather than numerical recipes. Thus, no computer programs and only a few numerical examples are given in the book. The focus on theory does not, however, mean that we pass over concrete practical problems, merely that we choose to restrict our attention to problems for which a guaranteed result can be obtained in a systematic manner. Systematic analyses of this kind rely on certain properties of the integrand, over and beyond the knowledge of finitely many function values. Such additional information about the integrand (called “co-observations”) forms the central organizing principle for our theory, and distinguishes our book from other texts on quadrature. A wide variety of co-observations are examined in this monograph, as we believe such information will be very useful for solving problems in practical contexts. While quadrature theory is often viewed as a branch of numerical analysis, its influence extends much further: it has been the starting point of many far-reaching generalizations in various directions, as well as a testing ground for new ideas and concepts; in fact, in many instances the extensions seem more “natural” than the original motivating problem. We shall discuss such generalizations, although the classical problem will remain our guiding star throughout the book. Working on quadrature has given us great pleasure over the years, and we hope we can convey our enthusiasm for the subject to the readers of this book. The mathematical prerequisites for engaging with this text are knowledge (at the level taught in most undergraduate courses) of linear algebra, advanced calculus and real analysis. We thank our wives for their patience and assistance in many ways. We are grateful to Alice Yew for her help in editing our manuscript. Helmut Brass and Knut Petras Technische Universit¨at Braunschweig vii Bibliography Books on Quadrature Brass, H. (1977) Quadraturverfahren. Vandenhoeck & Ruprecht, G¨ottingen. Davis, P.J.; Rabinowitz, P. (1984) Methods of Numerical Integration, second edition. Academic Press, Orlando. Engels, H. (1980) Numerical Quadrature and Cubature. Academic Press, London. Evans, G. (1993) Practical Numerical Integration. Wiley, Chichester. Ghizzetti, A.; Ossicini, A. (1970) Quadrature Formulae. Birkh¨auser, Basel. Kowalewski, G. (1932) Interpolation und gen¨aherte Quadratur. Teubner, Leipzig. Krommer, A.R.; Ueberhuber, C.W. (1994) Numerical Integration on Advanced Computer Systems. Springer, Berlin. Krommer, A.R.; Ueberhuber, C.W. (1998) Computational Integration. SIAM, Philadelphia. Kronrod, A.S. (1964) Nodes and Weights of Quadrature Formulas (in Russian). Izdat Nauka, Moscow. English translation: Consultants Bureau, New York (1965). Krylov, V.J. (1962) Approximate Calculation of Integrals. (Translated from the Russian by A.H. Stroud.) Macmillan, New York. Kythe, P.K.; Schaferkotter,¨ M.R. (2005) Handbook of Computational Meth- ods for Integration. Chapman & Hall/CRC Press, Boca Raton, FL. Levin, M.; Girshovich, J. (1979) Optimal Quadrature Formulas. Teubner, Leipzig. Nikol’skii, S.M. (1964) Quadrature Formulae. Hindustan Publishing Corpora- tion, Delhi. Piessens, R.; de Doncker-Kapenga, E.; Uberhuber,¨ C.W.; Kahaner, D.K. (1983) QUADPACK: A Subroutine Package for Automatic Integration. Springer, Berlin. Smith, H.V. (1993) Numerical Methods of Integration. Chartwell-Bratt, Bromley. Stroud, A.H.; Secrest, D. (1966) Gaussian Quadrature Formulas. Prentice- Hall, Englewood Cliffs, NJ. Zielas, W. (1977) Verallgemeinerte Interpolation und Quadraturen. Akademie- Verlag, Berlin. 335 336 BIBLIOGRAPHY References Abramowitz, M.; Stegun, I.A. (1964) Handbook of Mathematical Functions. National Bureau of Standards, Washington, DC. Achieser, N.J. (1956) Theory of Approximation. Frederick Ungar Publishing Co., New York. Achieser, N.J.; Krein, M.G. (1938) Some remarks on the coefficients in quad- rature formulae of the type of Gauss (in Ukrainian). TrudiOdes.Derz.Univ. Mat. 2, 29–38. Akrivis, G. (1984) Fehlerabsch¨atzungen f¨ur Gauss-Quadraturformeln. Numer. Math. 44, 261–278. Akrivis, G. (1985) The error norm of certain Gaussian quadrature formulae. Math. Comp. 45, 513–519. Akrivis, G.; Forster,¨ K.-J. (1984) On the definiteness of quadrature formulae of Clenshaw-Curtis type. Computing 33, 363–366. Albrecht, J. (1972) Intervallschachtelungen beim Romberg-Verfahren. Z.