An effective Carathéodory theorem

DOI10.1007/S00224-011-9356-1zbMATH Open1277.03063arXiv1106.4803OpenAlexW3103663852MaRDI QIDQ692891FDOQ692891

Authors: Timothy H. McNicholl 

Publication date: 6 December 2012

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

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.

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

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

zbMATH Keywords

computable analysisDirichlet problemhomeomorphismconformal mappingparameterizationcomplex analysisconstructive analysislocal connectivityeffective local connectivityCarathéodory extension

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Function theory of one complex variable.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An effective Riemann Mapping Theorem
• Plottable Real Number Functions and the Computable Graph Theorem
• Effectiveness for embedded spheres and balls
• Degrees of unsolvability of continuous functions
• The constructive Jordan curve theorem
• Effective versions of local connectivity properties

Cited In (11)

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

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)