An effective Carathéodory theorem

DOI10.1007/S00224-011-9356-1MaRDI QIDQ692891zbMATH OpenOpenAlexFDO

Authors Timothy H. McNicholl

Publication date 6 December 2012

Published in Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1106.4803

zbMATH Keywords

Carathéodory extensioncomplex analysiscomputable analysisconformal mappingconstructive analysisDirichlet problemeffective local connectivityhomeomorphismlocal connectivityparameterization

Mathematics Subject Classification ID

Applications of computability and recursion theory (03D80) Constructive and recursive analysis (03F60) General theory of conformal mappings (30C35)

Abstract: By means of the property of effective local connectivity, the computability of finding the Carath'eodory extension of a conformal map of a Jordan domain onto the unit disk is demonstrated.

Recommendations

• Computable Carathéodory theory
• An effective Riemann Mapping Theorem
• Towards an effectivisation of the Riemann theorem
• Effective Riemann mappings of multiply connected domains and Riemann surfaces
• Compactness and the Effectivity of Uniformization

Cites work

• An effective Riemann Mapping Theorem
• Degrees of unsolvability of continuous functions
• Effective versions of local connectivity properties
• Effectiveness for embedded spheres and balls
• Function theory of one complex variable.
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 1022658 (Why is no real title available?)
• scientific article; zbMATH DE number 2174317 (Why is no real title available?)
• scientific article; zbMATH DE number 770106 (Why is no real title available?)
• Plottable Real Number Functions and the Computable Graph Theorem
• The constructive Jordan curve theorem

Cited in

(12)

• The Riemann-Carathéodory result implies Borsuk's retract theorem
• Towards an effectivisation of the Riemann theorem
• Computing boundary extensions of conformal maps
• Carathéodory's theorem and moduli of local connectivity
• Computable Carathéodory theory
• Effective Riemann mappings of multiply connected domains and Riemann surfaces
• Computing links and accessing arcs
• Computable complex analysis
• Computable Geometric Complex Analysis and Complex Dynamics
• Carathéodory domains and Rudin's converse of the maximum modulus principle
• The Carathéodory reflection principle and Osgood-Carathéodory theorem on Riemann surfaces
• Construction of the Riemann map

This page was built for publication: An effective Carathéodory theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q692891)