In mathematics, the measurable Riemann mapping theorem is a theorem proved in 1960 by Lars Ahlfors and Lipman Bers in complex analysis and geometric function theory. Contrary to its name, it is not a direct generalization of the Riemann mapping theorem, but instead a result concerning quasiconformal mappings and solutions of the Beltrami equation. The result was prefigured by earlier results of Charles Morrey from 1938 on quasi-linear elliptic partial differential equations.
The theorem of Ahlfors and Bers states that if μ is a bounded measurable function on C with , then there is a unique solution f of the Beltrami equation
for which f is a quasiconformal homeomorphism of C fixing the points 0, 1 and ∞. A similar result is true with C replaced by the unit disk D. Their proof used the Beurling transform, a singular integral operator.
In complex analysis, the Riemann mapping theorem states that if is a non-empty simply connected open subset of the complex number plane which is not all of , then there exists a biholomorphic mapping from onto the open unit disk
Lars Valerian Ahlfors was a Finnish mathematician, remembered for his work in the field of Riemann surfaces and his textbook on complex analysis.
In mathematics, the Laplace operator or Laplacian is a differential operator given by the divergence of the gradient of a scalar function on Euclidean space. It is usually denoted by the symbols , (where is the nabla operator), or . In a Cartesian coordinate system, the Laplacian is given by the sum of second partial derivatives of the function with respect to each independent variable. In other coordinate systems, such as cylindrical and spherical coordinates, the Laplacian also has a useful form. Informally, the Laplacian Δf (p) of a function f at a point p measures by how much the average value of f over small spheres or balls centered at p deviates from f (p).
In mathematics, the uniformization theorem says that every simply connected Riemann surface is conformally equivalent to one of three Riemann surfaces: the open unit disk, the complex plane, or the Riemann sphere. The theorem is a generalization of the Riemann mapping theorem from simply connected open subsets of the plane to arbitrary simply connected Riemann surfaces.
In mathematics, the Schwarzian derivative is an operator similar to the derivative which is invariant under Möbius transformations. Thus, it occurs in the theory of the complex projective line, and in particular, in the theory of modular forms and hypergeometric functions. It plays an important role in the theory of univalent functions, conformal mapping and Teichmüller spaces. It is named after the German mathematician Hermann Schwarz.
In mathematics, a Dirichlet problem is the problem of finding a function which solves a specified partial differential equation (PDE) in the interior of a given region that takes prescribed values on the boundary of the region.
In mathematics, a fundamental polygon can be defined for every compact Riemann surface of genus greater than 0. It encodes not only the topology of the surface through its fundamental group but also determines the Riemann surface up to conformal equivalence. By the uniformization theorem, every compact Riemann surface has simply connected universal covering surface given by exactly one of the following:
In mathematics, the Teichmüller space of a (real) topological surface , is a space that parametrizes complex structures on up to the action of homeomorphisms that are isotopic to the identity homeomorphism. Teichmüller spaces are named after Oswald Teichmüller.
In mathematical complex analysis, a quasiconformal mapping, introduced by Grötzsch (1928) and named by Ahlfors (1935), is a homeomorphism between plane domains which to first order takes small circles to small ellipses of bounded eccentricity.
Geometric function theory is the study of geometric properties of analytic functions. A fundamental result in the theory is the Riemann mapping theorem.
In mathematics, an invariant measure is a measure that is preserved by some function. The function may be a geometric transformation. For examples, circular angle is invariant under rotation, hyperbolic angle is invariant under squeeze mapping, and a difference of slopes is invariant under shear mapping.
Lipman Bers was a Latvian-American mathematician, born in Riga, who created the theory of pseudoanalytic functions and worked on Riemann surfaces and Kleinian groups. He was also known for his work in human rights activism.
In mathematics, specifically in differential geometry, isothermal coordinates on a Riemannian manifold are local coordinates where the metric is conformal to the Euclidean metric. This means that in isothermal coordinates, the Riemannian metric locally has the form
In mathematics—specifically, in functional analysis—a weakly measurable function taking values in a Banach space is a function whose composition with any element of the dual space is a measurable function in the usual (strong) sense. For separable spaces, the notions of weak and strong measurability agree.
In mathematics, pseudoanalytic functions are functions introduced by Lipman Bers that generalize analytic functions and satisfy a weakened form of the Cauchy–Riemann equations.
In mathematics, the Beltrami equation, named after Eugenio Beltrami, is the partial differential equation
In mathematics, a quasicircle is a Jordan curve in the complex plane that is the image of a circle under a quasiconformal mapping of the plane onto itself. Originally introduced independently by Pfluger (1961) and Tienari (1962), in the older literature they were referred to as quasiconformal curves, a terminology which also applied to arcs. In complex analysis and geometric function theory, quasicircles play a fundamental role in the description of the universal Teichmüller space, through quasisymmetric homeomorphisms of the circle. Quasicircles also play an important role in complex dynamical systems.
In the mathematical field of analysis, quasiregular maps are a class of continuous maps between Euclidean spaces Rn of the same dimension or, more generally, between Riemannian manifolds of the same dimension, which share some of the basic properties with holomorphic functions of one complex variable.
In mathematics, conformal welding is a process in geometric function theory for producing a Riemann surface by joining together two Riemann surfaces, each with a disk removed, along their boundary circles. This problem can be reduced to that of finding univalent holomorphic maps f, g of the unit disk and its complement into the extended complex plane, both admitting continuous extensions to the closure of their domains, such that the images are complementary Jordan domains and such that on the unit circle they differ by a given quasisymmetric homeomorphism. Several proofs are known using a variety of techniques, including the Beltrami equation, the Hilbert transform on the circle and elementary approximation techniques. Sharon & Mumford (2006) describe the first two methods of conformal welding as well as providing numerical computations and applications to the analysis of shapes in the plane.
In mathematics, the Douady–Earle extension, named after Adrien Douady and Clifford Earle, is a way of extending homeomorphisms of the unit circle in the complex plane to homeomorphisms of the closed unit disk, such that the extension is a diffeomorphism of the open disk. The extension is analytic on the open disk. The extension has an important equivariance property: if the homeomorphism is composed on either side with a Möbius transformation preserving the unit circle the extension is also obtained by composition with the same Möbius transformation. If the homeomorphism is quasisymmetric, the diffeomorphism is quasiconformal. An extension for quasisymmetric homeomorphisms had previously been given by Lars Ahlfors and Arne Beurling; a different equivariant construction had been given in 1985 by Pekka Tukia. Equivariant extensions have important applications in Teichmüller theory; for example, they lead to a quick proof of the contractibility of the Teichmüller space of a Fuchsian group.