Abstract
Given a continuous functionf:D→ℝ on a compact interval\(D \subseteq \mathbb{R}\) we consider the problem of finding an intervalV(f, X) that contains the range of the values off,W(f, X)={f(x)‖x∈X} on a subintervalX⊆D. To reach this goal we use methods from interval-arithmetic. WhenV(f, X) is computed by one of the well-known methods from literature for a sequence {X n } of intervals with decreasing diametersd(X n )→0, then generally the overestimation ofW(f, X n ) byV(f, X n ) will decrease at most quadratically withd(X n ). The method presented in this paper, however, allows the computation ofV(f, X n ) such that this overestimation decreases with an arbitrary powers>0 ofd(X n ). Theoretically any powers∈ℕ is possible, in practice, however, 1≤s≤4 can be reached with little or moderate amount of work ands=5 ors=6 with some more work. A generalization to functionsf: ℝn℩ℝ is given at the end of the paper.
Zusammenfassung
Für eine stetige Funktionf:D→ℝ auf einem kompakten Intervall\(D \subseteq \mathbb{R}\) betrachten wir das Problem, ein IntervallV(f, X) zu finden, das den WertebereichW(f, X)={f(x)‖∈X} vonf auf einem TeilintervallX⊆D enthält. Um dies zu erreichen, verwenden wir Methoden der Intervallrechnung. WirdV(f, X) mit einer aus der Literatur bekannten Methode für eine Folge {X n } von Intervallen mit abnehmendem Durchmesserd(X n )→0 berechnet, dann wird i.a. die Überschätzung vonW(f, X n ) durchV(f, X n ) höchstens quadratisch mitd(X n ) abnehmen. Das in dieser Arbeit vorgestellte Verfahren erlaubt es,V(f, X n ) so zu berechnen, daß diese Überschätzung mit einer beliebigen Potenzs>0 vond(X n ) abnimmt. Theoretisch ist jede Potenzs∈ℕ erreichbar, in der Praxis jedoch kann 1≤s≤4 mit wenig oder mäßigem Aufwand unds=5 oders=6 mit etwas größerem Aufwand erreicht werden. Eine Verallgemeinerung auf Funktionenf: ℝn℩ℝ wird zum Schluß der Arbeit angegeben.
Article PDF
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
References
Adams, E., Lohner, R.: Error bounds and sensitivity analysis. In: Proceedings of the 10th IMACS World Congress on System Simulation and Scientific Computation 1982, Montreal, Canada, pp. 376–378.
Alefeld, G., Herzberger, J.: Einführung in die Intervallrechnung. (Reihe Informatik, 12). Mannheim: Bibliographisches Institut 1974.
Alefeld, G., Rokne, J.: On the evaluation of rational function in interval arithmetic. SIAM J. Numer. Anal.18, 862–870 (1981).
Asaithambi, N. S., Shen Zuhe, Moore, R. E.: On computing the range of values. Computing28, 225–237 (1982).
Caprani, O., Madsen, K.: Mean value forms in interval analysis. Computing25, 147–154 (1980).
Chuba, W., Miller, W.: Quadratic convergence in interval arithmetic, Part I BIT12, 284–290 (1972).
Hansen, E. R.: On the centered form. In: Topics in Interval Analysis (Hansen, E. R., ed.), pp. 102–106. Oxford: Clarendon Press 1969.
Herzberger, J.: Zur Approximation des Wertebereiches reeller Funktionen durch Intervallausdrücke. Computing, Suppl. 1, pp. 57–64. Wien-New York: Springer 1977.
Krawczyk, R.: Zur äußeren und inneren Einschließung des Wertebereiches einer Funktion. Freiburger Intervall-Berichte 80/7 (1980).
Krawczyk, R., Nickel, K.: Die zentrische Form in der Intervallarithmetik, ihre quadratische Konvergenz und ihre Inklusionsisotonie. Computing28, 117–137 (1982).
Kulisch, U., Ullrich, Ch.: Wissenschaftliches Rechnen und Programmiersprachen. (German Chapter of the ACM, Berichte 10). Stuttgart: Teubner 1982.
Miller, W.: Quadratic convergence in interval arithmetic, Part II. BIT12, 291–298 (1972).
Miller, W.: More on quadratic convergence in interval arithmetic. BIT13, 76–83 (1973).
Moore, R. E.: Interval Analysis. Englewood Cliffs, N.J.: Prentice-Hall 1966.
Moore, R. E.: Methods and applications of interval analysis. SIAM Studies in Applied Mathematics, 1979.
Ratschek, H.: Zentrische Formen. ZAMM58, T434-T436 (1978).
Ratschek, H.: Centered forms. SIAM J. Numer. Anal.17, 656–662 (1980).
Ratschek, H., Rokne, J.: About the centered form. SIAM J. Numer. Anal.17, 333–337 (1980).
Ratschek, H., Schröder, G.: Centered forms for functions in several variables. J. Math. Anal. Appl.82, 534–552 (1981).
Rokne, J., Wu, T.: The circular complex centered form. Computing28, 17–30 (1982).
Skelboe, S.: Computation of rational interval functions. BIT14, 87–95 (1974).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Cornelius, H., Lohner, R. Computing the range of values of real functions with accuracy higher than second order. Computing 33, 331–347 (1984). https://doi.org/10.1007/BF02242276
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02242276