Conformal radius

Last updated

In mathematics, the conformal radius is a way to measure the size of a simply connected planar domain D viewed from a point z in it. As opposed to notions using Euclidean distance (say, the radius of the largest inscribed disk with center z), this notion is well-suited to use in complex analysis, in particular in conformal maps and conformal geometry.

Contents

A closely related notion is the transfinite diameter or (logarithmic) capacity of a compact simply connected set D, which can be considered as the inverse of the conformal radius of the complement E = Dc viewed from infinity.

Definition

Given a simply connected domain DC, and a point zD, by the Riemann mapping theorem there exists a unique conformal map f : DD onto the unit disk (usually referred to as the uniformizing map) with f(z) = 0 ∈ D and f′(z) ∈ R+. The conformal radius of D from z is then defined as

The simplest example is that the conformal radius of the disk of radius r viewed from its center is also r, shown by the uniformizing map xx/r. See below for more examples.

One reason for the usefulness of this notion is that it behaves well under conformal maps: if φ : DD′ is a conformal bijection and z in D, then .

The conformal radius can also be expressed as where is the harmonic extension of from to .

A special case: the upper-half plane

Let KH be a subset of the upper half-plane such that D := H\K is connected and simply connected, and let zD be a point. (This is a usual scenario, say, in the Schramm–Loewner evolution). By the Riemann mapping theorem, there is a conformal bijection g : DH. Then, for any such map g, a simple computation gives that

For example, when K = ∅ and z = i, then g can be the identity map, and we get rad(i, H) = 2. Checking that this agrees with the original definition: the uniformizing map f : HD is

and then the derivative can be easily calculated.

Relation to inradius

That it is a good measure of radius is shown by the following immediate consequence of the Schwarz lemma and the Koebe 1/4 theorem: for zDC,

where dist(z, ∂D) denotes the Euclidean distance between z and the boundary of D, or in other words, the radius of the largest inscribed disk with center z.

Both inequalities are best possible:

The upper bound is clearly attained by taking D = D and z = 0.
The lower bound is attained by the following “slit domain”: D = C\R+ and z = −rR. The square root map φ takes D onto the upper half-plane H, with and derivative . The above formula for the upper half-plane gives , and then the formula for transformation under conformal maps gives rad(−r, D) = 4r, while, of course, dist(−r, ∂D) = r.

Version from infinity: transfinite diameter and logarithmic capacity

When DC is a connected, simply connected compact set, then its complement E = Dc is a connected, simply connected domain in the Riemann sphere that contains ∞[ citation needed ], and one can define

where f : C\DE is the unique bijective conformal map with f(∞) = ∞ and that limit being positive real, i.e., the conformal map of the form

The coefficient c1 = rad(∞, D) equals the transfinite diameter and the (logarithmic) capacity of D; see Chapter 11 of Pommerenke (1975) and Kuz′mina (2002).

The coefficient c0 is called the conformal center of D. It can be shown to lie in the convex hull of D; moreover,

where the radius 2c1 is sharp for the straight line segment of length 4c1. See pages 12–13 and Chapter 11 of Pommerenke (1975).

The Fekete, Chebyshev and modified Chebyshev constants

We define three other quantities that are equal to the transfinite diameter even though they are defined from a very different point of view. Let

denote the product of pairwise distances of the points and let us define the following quantity for a compact set DC:

In other words, is the supremum of the geometric mean of pairwise distances of n points in D. Since D is compact, this supremum is actually attained by a set of points. Any such n-point set is called a Fekete set.

The limit exists and it is called the Fekete constant.

Now let denote the set of all monic polynomials of degree n in C[x], let denote the set of polynomials in with all zeros in D and let us define

and

Then the limits

and

exist and they are called the Chebyshev constant and modified Chebyshev constant, respectively. Michael Fekete and Gábor Szegő proved that these constants are equal.

Applications

The conformal radius is a very useful tool, e.g., when working with the Schramm–Loewner evolution. A beautiful instance can be found in Lawler, Schramm & Werner (2002).

Related Research Articles

<span class="mw-page-title-main">Central limit theorem</span> Fundamental theorem in probability theory and statistics

In probability theory, the central limit theorem (CLT) states that, under appropriate conditions, the distribution of a normalized version of the sample mean converges to a standard normal distribution. This holds even if the original variables themselves are not normally distributed. There are several versions of the CLT, each applying in the context of different conditions.

In mathematics, the Lp spaces are function spaces defined using a natural generalization of the p-norm for finite-dimensional vector spaces. They are sometimes called Lebesgue spaces, named after Henri Lebesgue, although according to the Bourbaki group they were first introduced by Frigyes Riesz.

Distributions, also known as Schwartz distributions or generalized functions, are objects that generalize the classical notion of functions in mathematical analysis. Distributions make it possible to differentiate functions whose derivatives do not exist in the classical sense. In particular, any locally integrable function has a distributional derivative.

In the mathematical field of real analysis, the monotone convergence theorem is any of a number of related theorems proving the good convergence behaviour of monotonic sequences, i.e. sequences that are non-increasing, or non-decreasing. In its simplest form, it says that a non-decreasing bounded-above sequence of real numbers converges to its smallest upper bound, its supremum. Likewise, a non-increasing bounded-below sequence converges to its largest lower bound, its infimum. In particular, infinite sums of non-negative numbers converge to the supremum of the partial sums if and only if the partial sums are bounded.

In mathematics, Fatou's lemma establishes an inequality relating the Lebesgue integral of the limit inferior of a sequence of functions to the limit inferior of integrals of these functions. The lemma is named after Pierre Fatou.

<span class="mw-page-title-main">Jensen's inequality</span> Theorem of convex functions

In mathematics, Jensen's inequality, named after the Danish mathematician Johan Jensen, relates the value of a convex function of an integral to the integral of the convex function. It was proved by Jensen in 1906, building on an earlier proof of the same inequality for doubly-differentiable functions by Otto Hölder in 1889. Given its generality, the inequality appears in many forms depending on the context, some of which are presented below. In its simplest form the inequality states that the convex transformation of a mean is less than or equal to the mean applied after convex transformation; it is a simple corollary that the opposite is true of concave transformations.

In mathematics, the total variation identifies several slightly different concepts, related to the (local or global) structure of the codomain of a function or a measure. For a real-valued continuous function f, defined on an interval [a, b] ⊂ R, its total variation on the interval of definition is a measure of the one-dimensional arclength of the curve with parametric equation xf(x), for x ∈ [a, b]. Functions whose total variation is finite are called functions of bounded variation.

In mathematics, the Riesz–Thorin theorem, often referred to as the Riesz–Thorin interpolation theorem or the Riesz–Thorin convexity theorem, is a result about interpolation of operators. It is named after Marcel Riesz and his student G. Olof Thorin.

<span class="mw-page-title-main">Mixing (mathematics)</span> Mathematical description of mixing substances

In mathematics, mixing is an abstract concept originating from physics: the attempt to describe the irreversible thermodynamic process of mixing in the everyday world: e.g. mixing paint, mixing drinks, industrial mixing.

In mathematics, a π-system on a set is a collection of certain subsets of such that

In mathematics, more specifically measure theory, there are various notions of the convergence of measures. For an intuitive general sense of what is meant by convergence of measures, consider a sequence of measures μn on a space, sharing a common collection of measurable sets. Such a sequence might represent an attempt to construct 'better and better' approximations to a desired measure μ that is difficult to obtain directly. The meaning of 'better and better' is subject to all the usual caveats for taking limits; for any error tolerance ε > 0 we require there be N sufficiently large for nN to ensure the 'difference' between μn and μ is smaller than ε. Various notions of convergence specify precisely what the word 'difference' should mean in that description; these notions are not equivalent to one another, and vary in strength.

In mathematics, uniform integrability is an important concept in real analysis, functional analysis and measure theory, and plays a vital role in the theory of martingales.

An -superprocess, , within mathematics probability theory is a stochastic process on that is usually constructed as a special limit of near-critical branching diffusions.

In mathematics, the spectral theory of ordinary differential equations is the part of spectral theory concerned with the determination of the spectrum and eigenfunction expansion associated with a linear ordinary differential equation. In his dissertation, Hermann Weyl generalized the classical Sturm–Liouville theory on a finite closed interval to second order differential operators with singularities at the endpoints of the interval, possibly semi-infinite or infinite. Unlike the classical case, the spectrum may no longer consist of just a countable set of eigenvalues, but may also contain a continuous part. In this case the eigenfunction expansion involves an integral over the continuous part with respect to a spectral measure, given by the Titchmarsh–Kodaira formula. The theory was put in its final simplified form for singular differential equations of even degree by Kodaira and others, using von Neumann's spectral theorem. It has had important applications in quantum mechanics, operator theory and harmonic analysis on semisimple Lie groups.

In mathematical analysis, and especially in real, harmonic analysis and functional analysis, an Orlicz space is a type of function space which generalizes the Lp spaces. Like the Lp spaces, they are Banach spaces. The spaces are named for Władysław Orlicz, who was the first to define them in 1932.

In mathematics, the Pettis integral or Gelfand–Pettis integral, named after Israel M. Gelfand and Billy James Pettis, extends the definition of the Lebesgue integral to vector-valued functions on a measure space, by exploiting duality. The integral was introduced by Gelfand for the case when the measure space is an interval with Lebesgue measure. The integral is also called the weak integral in contrast to the Bochner integral, which is the strong integral.

In mathematics, especially measure theory, a set function is a function whose domain is a family of subsets of some given set and that (usually) takes its values in the extended real number line which consists of the real numbers and

In mathematics, in the field of complex analysis, a Nevanlinna function is a complex function which is an analytic function on the open upper half-plane and has a non-negative imaginary part. A Nevanlinna function maps the upper half-plane to itself or a real constant, but is not necessarily injective or surjective. Functions with this property are sometimes also known as Herglotz, Pick or R functions.

In mathematical analysis, the spaces of test functions and distributions are topological vector spaces (TVSs) that are used in the definition and application of distributions. Test functions are usually infinitely differentiable complex-valued functions on a non-empty open subset that have compact support. The space of all test functions, denoted by is endowed with a certain topology, called the canonical LF-topology, that makes into a complete Hausdorff locally convex TVS. The strong dual space of is called the space of distributions on and is denoted by where the "" subscript indicates that the continuous dual space of denoted by is endowed with the strong dual topology.

This is a glossary of concepts and results in real analysis and complex analysis in mathematics.

References

Further reading