Skip to main content
Top
Published in: Soft Computing 8/2013

01-08-2013 | Focus

Variants of the general interval power function

Authors: Oliver Heimlich, Marco Nehmeier, Jürgen Wolff von Gudenberg

Published in: Soft Computing | Issue 8/2013

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

The article gives an overview of power function variants and compares three differently extensive versions for use in interval arithmetics. Aiming at the general power function for inclusion in interval libraries, which is defined for as many pairs of base and exponent as possible, we observe that the definition of a power for each such pair depends on the context. This problem eventually comes up at the point where reasonable doubts about the definition \(0^0\) and powers with negative base in correlation with a non-integral exponent arise. We come up with several variants serving distinct purposes, yet also recommend a general-purpose power function, which is unique for being restricted to integral exponents on the domain of negative bases. Three different variants of interval power functions satisfy all meaningful general exponentiation needs. We provide a unified treatment to handle the variants and present valuable implementation techniques for the computation of these interval functions along with a mathematic foundation.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Footnotes
1
Private communication with Dan Zuras.
 
Literature
go back to reference Averbukh B, Günther H (2008) On powers and power functions (Über die Potenzen und die Potenzfunktionen). Mathematikinformation (49):5–23 (german) Averbukh B, Günther H (2008) On powers and power functions (Über die Potenzen und die Potenzfunktionen). Mathematikinformation (49):5–23 (german)
go back to reference Chiriaev D, Walster GW (1998) Interval arithmetic specification. Tech. rep. Chiriaev D, Walster GW (1998) Interval arithmetic specification. Tech. rep.
go back to reference IEEE 754, (2008) IEEE 754-2008, Standard for floating-point arithmetic. IEEE, New York IEEE 754, (2008) IEEE 754-2008, Standard for floating-point arithmetic. IEEE, New York
go back to reference ISO C90 (1990) The ANSI C standard (C90). Tech. Rep. 9899:1990, ISO/IEC ISO C90 (1990) The ANSI C standard (C90). Tech. Rep. 9899:1990, ISO/IEC
go back to reference Java 6 (2011) Java Platform, Standard Edition 6: API Specification. Oracle Java 6 (2011) Java Platform, Standard Edition 6: API Specification. Oracle
go back to reference Moebius A (1834) ‘Beweis der Gleichung \(0^{0}=1\) nach J. F. Pfaff’. Journal für die reine und angewandte Mathematik 12:134–136 (german) Moebius A (1834) ‘Beweis der Gleichung \(0^{0}=1\) nach J. F. Pfaff’. Journal für die reine und angewandte Mathematik 12:134–136 (german)
go back to reference Muller JM, Brisebarre N, de Dinecin F, Jeannerod CP, Lefèvre V, Melquion G, Revol N, Stehlè D, Torres S (2010) Handbook of floating point arithmetic. Birkhäuser, Berlin Muller JM, Brisebarre N, de Dinecin F, Jeannerod CP, Lefèvre V, Melquion G, Revol N, Stehlè D, Torres S (2010) Handbook of floating point arithmetic. Birkhäuser, Berlin
go back to reference Petrov E (2007) Algorithm for evaluation of the interval power function of unconstrained arguments. CoRR abs/0704.3141 Petrov E (2007) Algorithm for evaluation of the interval power function of unconstrained arguments. CoRR abs/0704.3141
go back to reference Rump S (1999) INTLAB—INTerval LABoratory. In: Csendes T (ed) Developments in reliable computing. Kluwer Academic Publishers, Dordrecht, pp 77–104CrossRef Rump S (1999) INTLAB—INTerval LABoratory. In: Csendes T (ed) Developments in reliable computing. Kluwer Academic Publishers, Dordrecht, pp 77–104CrossRef
go back to reference Truss JK (1997) Foundations of mathematical analysis. Oxford Science Publications, Clarendon Press, Oxford Truss JK (1997) Foundations of mathematical analysis. Oxford Science Publications, Clarendon Press, Oxford
go back to reference Wolff von Gudenberg J (2009) Motion 10, a Proposal for Elementary Functions. In: IEEE P1788(2009) Wolff von Gudenberg J (2009) Motion 10, a Proposal for Elementary Functions. In: IEEE P1788(2009)
Metadata
Title
Variants of the general interval power function
Authors
Oliver Heimlich
Marco Nehmeier
Jürgen Wolff von Gudenberg
Publication date
01-08-2013
Publisher
Springer Berlin Heidelberg
Published in
Soft Computing / Issue 8/2013
Print ISSN: 1432-7643
Electronic ISSN: 1433-7479
DOI
https://doi.org/10.1007/s00500-013-1008-8

Other articles of this Issue 8/2013

Soft Computing 8/2013 Go to the issue

Premium Partner