Abstract
In this paper the problem of verified numerical computation of algebraic fast decreasing polynomials approximating the Dirac delta function is considered. We find the smallest degree of the polynomials and give precise estimates for this degree. It is shown that the computer algebra system Maple does not always graph such polynomials reliably because of evaluating the expressions in usual floating-point arithmetic. We propose a procedure for verified computation of the polynomials and use it to produce their correct graphic presentation in Maple.
Similar content being viewed by others
References
Ahieser, N. I.: Elements of the Elliptic Functions Theory, Moscow, Nauka, 1970 (in Russian).
Char, B. W., Geddes, K. O., Gonnet, G. H., Leong, B. L., Monagan, M. B., and Watt, S. M.: First Leaves: A Tutorial Introduction to Maple V, Springer Verlag, 1992.
Connel, A. E. and Corless, R. M.: An Experimental Interval Arithmetic Package in Maple, Interval Computations 2 (1993), pp. 120–134.
Ivanov, K. G. and Totik, V.: Fast Decreasing Polynomials, Constructive Approx. 6 (1990), pp. 1–20.
Sendov, B.: Hausdorff Approximations, Kluwer Academic Publ., London, 1990.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Dimitrova, N.S., Markov, S.M. Verified Computation of Fast Decreasing Polynomials. Reliable Computing 5, 229–240 (1999). https://doi.org/10.1023/A:1009972120539
Issue Date:
DOI: https://doi.org/10.1023/A:1009972120539