Abstract
We present results concerning analytic machines, a model of real computation introduced by Hotz which extends the well known Blum, Shub and Smale machines by infinite converging computations. We use the machine model to define computability of complex analytic (i.e. holomorphic) functions and examine in particular the class of analytic functions which have analytically computable power series expansions. We show that this class is closed under the basic analytic operations composition, local inversion and analytic continuation.
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
Blum, L., Shub, M., Smale, S.: On a theory of computation and complexity over the real numbers. Bull. of the AMS 21, 1–46 (1989)
Blum, L., Cucker, F., Shub, M., Smale, S.: Complexity and Real Computation. Springer, New York (1998)
Grzegorczyk, A.: On the definition of computable real continuous functions. Fundamenta Mathematicae 44, 61–71 (1957)
Weihrauch, K.: Computable Analysis. Springer, Berlin (2000)
Ziegler, M.: Real computability and hypercomputation. TR C-07013, KIAS (2007)
Hotz, G., Vierke, G., Schieffer, B.: Analytic machines. ECCC 2, 25 (1995)
Chadzelek, T., Hotz, G.: Analytic machines. TCS 219, 151–167 (1999)
Chadzelek, T.: Analytische Maschinen. Dissertation, Saarland University (1998)
Ko, K.I.: Complexity Theory of Real Functions. Birkhäuser, Basel (1991)
Müller, N.T.: Uniform computational complexity of Taylor series. In: Ottmann, T. (ed.) ICALP 1987. LNCS, vol. 267, pp. 435–444. Springer, Heidelberg (1987)
Müller, N.T.: Constructive aspects of analytic functions. Informatik Berichte FernUniversität Hagen 190, 105–114 (1995)
Rudin, W.: Real and Complex Analysis. McGraw-Hill, New York (1987)
Ziegler, M.: Computability and continuity on the real arithmetic hierarchy and the power of type-2 nondeterminism. In: Cooper, S.B., Löwe, B., Torenvliet, L. (eds.) CiE 2005. LNCS, vol. 3526, pp. 562–571. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gärtner, T., Hotz, G. (2009). Computability of Analytic Functions with Analytic Machines. In: Ambos-Spies, K., Löwe, B., Merkle, W. (eds) Mathematical Theory and Computational Practice. CiE 2009. Lecture Notes in Computer Science, vol 5635. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03073-4_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-03073-4_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-03072-7
Online ISBN: 978-3-642-03073-4
eBook Packages: Computer ScienceComputer Science (R0)