Abstract
E-Methods for solving linear Volterra integral equations of the first kind with smooth kernels are considered.E-Methods are a new type of numerical algorithms computing numerical approximations together with mathematically guaranteed close error bounds. The basic concepts from verification theory are sketched and such self-validating numerics derived. Computational experiments show the efficiency of these procedures being an advance in numerical methods.
Abstract
РассматриваютсяE-методы решения динейных интегральных уравнений Вольтерра первого рода с гладким ядром.E-методы представляют собой новый тип численных алгоритмов, позволяюяющих нолучить одновременно с численными приближениями математически гарантированные тесные гранипы погрешностей. В работе излагаются основные понятия теории верификации и ее прияожения в области самоверифицируюпщх вычислений. Численные эксперименты показывают эффективность этих новых вычислительных методов. mis© H.-J. Dobner, 1996
Similar content being viewed by others
References
De Hoog, F. and Weiss, R.High order methods for Volterra integral equations of the first kind. SIAM J. Numer. Anal.10 (4) (1973), pp. 647–664.
Delves, L. M. and Mohamed, J. L.Computational methods for integral equations. Cambridge University Press, Cambridge, 1985.
Dobner, H.-J. and Kaucher, E.Singular operator equations with functional constraints. In: Atanassova, L. and Herzberger, J. (eds) “Computer Arithmetic and Enclosure Methods”, Elsevier, 1992, pp. 235–241.
Fenyö, S. and Stolle, H. W.Theorie und Praxis der linearen Integralgleichungen 4. Birkhäuser, Basel, Boston, Stuttgart, 1989.
Hadamard, J.Lectures on Cauchy's problem in linear partial differential equations. Yale University Press, New Haven, 1923.
Kaucher, E. and Baumhof, C.A verified computation of Fourier-representations of solutions for functional equations. Computing Suppl.9 (1993), pp. 101–115.
Kaucher, E. and Miranker, W. L.Self validating numerics for function space problems. Academic Press, New York, 1984.
Klatte, R., Kulisch, U., Neaga, M., Ratz, D., and Ullrich, C.PASCAL-XSC. Springer-Verlag, Berlin, Heidelberg, New York, 1991.
Kulisch, U. and Miranker, W. L.Computer arithmetic in theory and practice. Academic Press, New York, 1981.
Linz, P.Analytical and numerical methods for Volterra equations. SIAM, Philadelphia, 1985.
Moore, R. E.Interval analysis. Prentice Hall, Englewood Cliffs, N.J., 1966.
Rall, L.Automatic differentiation. Springer Lecture Notes in Computer Science 120, Berlin, Heidelberg, New York, 1981.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Dobner, HJ. Bounds of high quality for first kind Volterra integral equations. Reliable Comput 2, 35–45 (1996). https://doi.org/10.1007/BF02388186
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02388186