Related papers: An effective Caratheodory Theorem
We give a constructive proof of the Carath\'eodory Theorem by means of the concept of a modulus of local connectivity and the extremal distance of the separating curves of an annulus.
Conformal Riemann mapping of the unit disk onto a simply-connected domain $W$ is a central object of study in classical Complex Analysis. The first complete proof of the Riemann Mapping Theorem given by P. Koebe in 1912 is constructive, and…
It is shown that there is a computable conformal map of the unit disk onto a domain $D$ that has a computable extension to the closure of the unit disk even though the boundary of $D$ is not effectively locally connected. The proof encodes…
We show the Jordan property for regional fundamental groups of klt singularities of fixed dimension. Furthermore, we prove the existence of effective simultaneous index one covers for $n$-dimensional klt singularities. We give an…
Let $G$ be a bounded simply connected domain in the complex plane. A point $a\in \partial G$ is said to be accessible from inside of $G$ if there is a Jordan arc $J$ such that $J\subset \bar G$ and $J\cap\partial G=\{a\}$. In this paper the…
We investigate, and prove equivalent, effective versions of local connectivity and uniformly local arcwise connectivity for connected and computably compact subspaces of Euclidean space. We also prove that Euclidean continua that are…
The Riemann Theorem states, that for any nontrivial connected and simply connected domain on the Riemann sphere there exists some its conformal bijection to the exterior of the unit disk. In this paper we find an explicit form of this map…
Let $\phi$ be a conformal map of the unit disk onto a domain $D$, and suppose $\phi$ has a boundary extension. We show that arbitrarily good approximations of the boundary extension of $\phi$ can be computed from sufficiently good…
We prove that a long iteration of rational maps is expanding near boundaries of bounded type Siegel disks. This leads us to extend Petersen's local connectivity result on the Julia sets of quadratic Siegel polynomials to a general case. A…
We prove a monotone Sobolev extension theorem for maps to Jordan domains with rectifiable boundary in metric surfaces of locally finite Hausdorff 2-measure. This is then used to prove a uniformization result for compact metric surfaces by…
The classical Julia-Wolff-Carath{\'e}odory Theorem characterizes the behaviour of the derivative of an analytic self-map of a unit disc or of a half-plane of the complex plane at certain boundary points. We prove a version of this result…
We investigate the set of uniform limits of polynomials on any closed Jordan domain with respect to the chordal metric $\chi$ on $\mathbb{C}\cup\{\infty \}$. We conclude that Mergelyan's Theorem may be extended to the case of uniform…
We consider conformal homeomorphisms $\varphi$ of generalized Jordan domains $U$ onto planar domains $\Omega$ %, possibly {\bf infinitely connected}, that satisfy both of the next two conditions: (1) at most countably many boundary…
In this paper we prove that for functions $f\in A(D)$ there is an equivalence between the continuous extension of their derivatives over the boundary and the differentiability of the map $t\mapsto f(e^{it})$. More specifically, we are able…
We present sufficient conditions so that a conformal map between planar domains whose boundary components are Jordan curves or points has a continuous or homeomorphic extension to the closures of the domains. Our conditions involve the…
Given a bounded n-connected domain in the plane bounded by non-intersecting Jordan curves, and given one point on each boundary curve, L. Bieberbach proved that there exists a proper holomorphic mapping of the domain onto the unit disc that…
Herglotz's representation of holomorphic functions with positive real part and Carath\'eodory's theorem on approximation by inner functions are two well-known classical results in the theory of holomorphic functions on the unit disc. We…
We present a selection theorem for domains in $\mathbb{C}^n$, $n\ge 1$, which states that any tamed sequence of pointed connected open subsets admits a subsequence convergent to its own kernel in the sense of Carath\'eodory. Not only is…
The paper proves a result on the convergence of discrete conformal maps to the Riemann mappings for Jordan domains. It is a counterpart of Rodin-Sullivan's theorem on convergence of circle packing mappings to the Riemann mapping in the new…
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assisted by the Coq system. Fundamental properties are proven by…