Abstract
We present an overview of two approaches to validated, one dimensional indefinite integration. The first approach is to find an inclusion of the integrand, then integrate this inclusion to obtain an inclusion of the indefinite integral. Inclusions for the integrand may be obtained from Taylor polynomials, Tschebyscheff polynomials, or other approximating forms which have a known error term. The second approach finds an inclusion of the indefinite integral directly as a linear combination of function evaluations plus an interval-valued error term. The second approach can be applied to any quadrature formula such as Gaussian or Newton-Cotes quadrature with a known error expression. In either approach, composite formulae improve the accuracy of the inclusion.
The result of the validated indefinite integration is an algorithm which may be represented as a character string, as a subroutine in a high level programming language such a Pascal-SC or Fortran, or as a collection of data. An example is given showing the application of validated indefinite integration to constructing a validated inclusion of the error function, erf (x).
This work was supported in part by IBM Deutschland, GmbH, and in part by the National Science Foundation under Grant No. CCC-8802429. The Government has certain rights to this material.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
B. F. Caviness, Computer algebra: Past and future, J. of Symbolic Computation, 2 (1986), pp. 217–236.
B. W. Char, G. J. Fee, K. O. Geddes, G. H. Gonnet, and M. B. Monagan, A tutorial ntroduction to Maple, J. of Symbolic Computation, 2 (1986), pp. 179–200.
G. W. Cherry, Integration in finite terms with special functions: The error function, J. of Symbolic Computation, 1 (1985), pp. 283–302.
George F. Corliss and Gary S. Krenz, Indefinite integration with validation, ACM Trans. Math. Software (to appear) (1989).
George F. Corliss and Louis B. Rall, Adaptive, self-validating numerical quadrature, SIAM J. Scientific and Statistical Comput., 8 (1987), pp. 831–847.
J. Fitch, Solving algebraic problems with REDUCE, J. of Symbolic Computation, 1 (1985), pp. 211–227.
IBM Corp., ACRITH High Accuracy Subroutine Library: General Information Manual, IBM No. GC33 - 6163 - 02, 1986.
Ulrich Kulisch, (Ed.), Pascal-SC Manual and System Disks, Wiley-Teubner, Stuttgart, 1986.
James Lyness and J. J. Kaganove, Comments on the nature of automatic quadrature routines, ACM Trans. Math. Soft., 2 (1976), pp. 65–81.
Ramon E. Moore, Interval Analysis, Prentice-Hall, Englewood Cliffs, NJ, 1966.
Ramon E. Moore, Methods and Applications of Interval Analysis, SIAM, Philadelphia, PA, 1979.
R. Piessens, E. de Doncker-Kapenga, C. W. Ãœberhuber, and D. K. Kahaner, QUAD-PACK: A Subroutine Package for Automatic Integration, Springer Series in Computational Mathematics No. 1, New York, 1983.
Louis B. Rall, Automatic Differentiation: Techniques and Applications, Springer Lecture Notes in Computer Science No. 120, New York, 1981.
R. H. Rand, Computer Algebra in Applied Mathematics: An Introduction to MACSYMA, Pitman, Boston, 1983.
R. H. Risch, The problem of integration in finite terms, Trans. Amer. Math. Soc, 139 (1969), pp. 167–189.
R. H. Risch, The solution of the problem of integration in finite terms, Bull. Amer. Math. Soc, 76 (1970), pp. 605–608.
R. S. Sutor, The Scratchpad II computer algebra language and system, Proc. of Eurocal’85, vol II, edited by B. F. Caviness, Springer Lecture Notes in Computer Science No. 204, New York, 1985, pp. 32–33.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag New York Inc.
About this chapter
Cite this chapter
Corliss, G.F. (1991). Validated Anti-Derivatives. In: Meyer, K.R., Schmidt, D.S. (eds) Computer Aided Proofs in Analysis. The IMA Volumes in Mathematics and Its Applications, vol 28. Springer, New York, NY. https://doi.org/10.1007/978-1-4613-9092-3_9
Download citation
DOI: https://doi.org/10.1007/978-1-4613-9092-3_9
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4613-9094-7
Online ISBN: 978-1-4613-9092-3
eBook Packages: Springer Book Archive