Loewner differential equation

Last updated

In mathematics, the Loewner differential equation, or Loewner equation, is an ordinary differential equation discovered by Charles Loewner in 1923 in complex analysis and geometric function theory. Originally introduced for studying slit mappings (conformal mappings of the open disk onto the complex plane with a curve joining 0 to ∞ removed), Loewner's method was later developed in 1943 by the Russian mathematician Pavel Parfenevich Kufarev (1909–1968). Any family of domains in the complex plane that expands continuously in the sense of Carathéodory to the whole plane leads to a one parameter family of conformal mappings, called a Loewner chain, as well as a two parameter family of holomorphic univalent self-mappings of the unit disk, called a Loewner semigroup. This semigroup corresponds to a time dependent holomorphic vector field on the disk given by a one parameter family of holomorphic functions on the disk with positive real part. The Loewner semigroup generalizes the notion of a univalent semigroup.

Contents

The Loewner differential equation has led to inequalities for univalent functions that played an important role in the solution of the Bieberbach conjecture by Louis de Branges in 1985. Loewner himself used his techniques in 1923 for proving the conjecture for the third coefficient. The Schramm–Loewner equation, a stochastic generalization of the Loewner differential equation discovered by Oded Schramm in the late 1990s, has been extensively developed in probability theory and conformal field theory.

Subordinate univalent functions

Let and be holomorphic univalent functions on the unit disk , , with .

is said to be subordinate to if and only if there is a univalent mapping of into itself fixing such that

for .

A necessary and sufficient condition for the existence of such a mapping is that

Necessity is immediate.

Conversely must be defined by

By definition φ is a univalent holomorphic self-mapping of with .

Since such a map satisfies and takes each disk , with , into itself, it follows that

and

Loewner chain

For let be a family of open connected and simply connected subsets of containing , such that

if ,

and

Thus if ,

in the sense of the Carathéodory kernel theorem.

If denotes the unit disk in , this theorem implies that the unique univalent maps

given by the Riemann mapping theorem are uniformly continuous on compact subsets of .

Moreover, the function is positive, continuous, strictly increasing and continuous.

By a reparametrization it can be assumed that

Hence

The univalent mappings are called a Loewner chain.

The Koebe distortion theorem shows that knowledge of the chain is equivalent to the properties of the open sets .

Loewner semigroup

If is a Loewner chain, then

for so that there is a unique univalent self mapping of the disk fixing such that

By uniqueness the mappings have the following semigroup property:

for .

They constitute a Loewner semigroup.

The self-mappings depend continuously on and and satisfy

Loewner differential equation

The Loewner differential equation can be derived either for the Loewner semigroup or equivalently for the Loewner chain.

For the semigroup, let

then

with

for .

Then satisfies the ordinary differential equation

with initial condition .

To obtain the differential equation satisfied by the Loewner chain note that

so that satisfies the differential equation

with initial condition

The Picard–Lindelöf theorem for ordinary differential equations guarantees that these equations can be solved and that the solutions are holomorphic in .

The Loewner chain can be recovered from the Loewner semigroup by passing to the limit:

Finally given any univalent self-mapping of , fixing , it is possible to construct a Loewner semigroup such that

Similarly given a univalent function on with , such that contains the closed unit disk, there is a Loewner chain such that

Results of this type are immediate if or extend continuously to . They follow in general by replacing mappings by approximations and then using a standard compactness argument. [1]

Slit mappings

Holomorphic functions on with positive real part and normalized so that are described by the Herglotz representation theorem:

where is a probability measure on the circle. Taking a point measure singles out functions

with , which were the first to be considered by Loewner (1923).

Inequalities for univalent functions on the unit disk can be proved by using the density for uniform convergence on compact subsets of slit mappings. These are conformal maps of the unit disk onto the complex plane with a Jordan arc connecting a finite point to ∞ omitted. Density follows by applying the Carathéodory kernel theorem. In fact any univalent function is approximated by functions

which take the unit circle onto an analytic curve. A point on that curve can be connected to infinity by a Jordan arc. The regions obtained by omitting a small segment of the analytic curve to one side of the chosen point converge to so the corresponding univalent maps of onto these regions converge to uniformly on compact sets. [2]

To apply the Loewner differential equation to a slit function , the omitted Jordan arc from a finite point to can be parametrized by so that the map univalent map of onto less has the form

with continuous. In particular

For , let

with continuous.

This gives a Loewner chain and Loewner semigroup with

where is a continuous map from to the unit circle. [3]

To determine , note that maps the unit disk into the unit disk with a Jordan arc from an interior point to the boundary removed. The point where it touches the boundary is independent of and defines a continuous function from to the unit circle. is the complex conjugate (or inverse) of :

Equivalently, by Carathéodory's theorem admits a continuous extension to the closed unit disk and , sometimes called the driving function, is specified by

Not every continuous function comes from a slit mapping, but Kufarev showed this was true when has a continuous derivative.

Application to Bieberbach conjecture

Loewner (1923) used his differential equation for slit mappings to prove the Bieberbach conjecture

for the third coefficient of a univalent function

In this case, rotating if necessary, it can be assumed that is non-negative.

Then

with continuous. They satisfy

If

the Loewner differential equation implies

and

So

which immediately implies Bieberbach's inequality

Similarly

Since is non-negative and ,

using the Cauchy–Schwarz inequality.

Notes

  1. Pommerenke 1975 , pp. 158–159
  2. Duren 1983 , pp. 80–81
  3. Duren 1983 , pp. 83–87

Related Research Articles

<span class="mw-page-title-main">Laplace's equation</span> Second order partial differential equation

In mathematics and physics, Laplace's equation is a second-order partial differential equation named after Pierre-Simon Laplace, who first studied its properties. This is often written as

<span class="mw-page-title-main">Dirac delta function</span> Pseudo-function δ such that an integral of δ(x-c)f(x) always takes the value of f(c)

In mathematics, the Dirac delta distribution, also known as the unit impulse, is a generalized function or distribution over the real numbers, whose value is zero everywhere except at zero, and whose integral over the entire real line is equal to one.

In complex analysis, de Branges's theorem, or the Bieberbach conjecture, is a theorem that gives a necessary condition on a holomorphic function in order for it to map the open unit disk of the complex plane injectively to the complex plane. It was posed by Ludwig Bieberbach (1916) and finally proven by Louis de Branges (1985).

In mathematics, the Schwarzian derivative, named after the German mathematician Hermann Schwarz, is a certain operator that is invariant under all 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.

<span class="mw-page-title-main">Picard–Lindelöf theorem</span> Existence and uniqueness of solutions to initial value problems

In mathematics – specifically, in differential equations – the Picard–Lindelöf theorem, Picard's existence theorem, Cauchy–Lipschitz theorem, or existence and uniqueness theorem gives a set of conditions under which an initial value problem has a unique solution.

<span class="mw-page-title-main">Debye–Hückel equation</span> Electrochemical equation

The chemists Peter Debye and Erich Hückel noticed that solutions that contain ionic solutes do not behave ideally even at very low concentrations. So, while the concentration of the solutes is fundamental to the calculation of the dynamics of a solution, they theorized that an extra factor that they termed gamma is necessary to the calculation of the activity coefficients of the solution. Hence they developed the Debye–Hückel equation and Debye–Hückel limiting law. The activity is only proportional to the concentration and is altered by a factor known as the activity coefficient . This factor takes into account the interaction energy of ions in solution.

In mathematics, subharmonic and superharmonic functions are important classes of functions used extensively in partial differential equations, complex analysis and potential theory.

<span class="mw-page-title-main">Schramm–Loewner evolution</span>

In probability theory, the Schramm–Loewner evolution with parameter κ, also known as stochastic Loewner evolution (SLEκ), is a family of random planar curves that have been proven to be the scaling limit of a variety of two-dimensional lattice models in statistical mechanics. Given a parameter κ and a domain in the complex plane U, it gives a family of random curves in U, with κ controlling how much the curve turns. There are two main variants of SLE, chordal SLE which gives a family of random curves from two fixed boundary points, and radial SLE, which gives a family of random curves from a fixed boundary point to a fixed interior point. These curves are defined to satisfy conformal invariance and a domain Markov property.

<span class="mw-page-title-main">Peano existence theorem</span> Theorem regarding the existence of a solution to a differential equation.

In mathematics, specifically in the study of ordinary differential equations, the Peano existence theorem, Peano theorem or Cauchy–Peano theorem, named after Giuseppe Peano and Augustin-Louis Cauchy, is a fundamental theorem which guarantees the existence of solutions to certain initial value problems.

<span class="mw-page-title-main">Timoshenko–Ehrenfest beam theory</span>

The Timoshenko–Ehrenfest beam theory was developed by Stephen Timoshenko and Paul Ehrenfest early in the 20th century. The model takes into account shear deformation and rotational bending effects, making it suitable for describing the behaviour of thick beams, sandwich composite beams, or beams subject to high-frequency excitation when the wavelength approaches the thickness of the beam. The resulting equation is of 4th order but, unlike Euler–Bernoulli beam theory, there is also a second-order partial derivative present. Physically, taking into account the added mechanisms of deformation effectively lowers the stiffness of the beam, while the result is a larger deflection under a static load and lower predicted eigenfrequencies for a given set of boundary conditions. The latter effect is more noticeable for higher frequencies as the wavelength becomes shorter, and thus the distance between opposing shear forces decreases.

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.

<span class="mw-page-title-main">Mild-slope equation</span> Physics phenomenon and formula

In fluid dynamics, the mild-slope equation describes the combined effects of diffraction and refraction for water waves propagating over bathymetry and due to lateral boundaries—like breakwaters and coastlines. It is an approximate model, deriving its name from being originally developed for wave propagation over mild slopes of the sea floor. The mild-slope equation is often used in coastal engineering to compute the wave-field changes near harbours and coasts.

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, this notion is well-suited to use in complex analysis, in particular in conformal maps and conformal geometry.

In mathematics, the Koenigs function is a function arising in complex analysis and dynamical systems. Introduced in 1884 by the French mathematician Gabriel Koenigs, it gives a canonical representation as dilations of a univalent holomorphic mapping, or a semigroup of mappings, of the unit disk in the complex numbers into itself.

In mathematics, Grunsky's theorem, due to the German mathematician Helmut Grunsky, is a result in complex analysis concerning holomorphic univalent functions defined on the unit disk in the complex numbers. The theorem states that a univalent function defined on the unit disc, fixing the point 0, maps every disk |z| < r onto a starlike domain for r ≤ tanh π/4. The largest r for which this is true is called the radius of starlikeness of the function.

<span class="mw-page-title-main">Grunsky matrix</span>

In complex analysis and geometric function theory, the Grunsky matrices, or Grunsky operators, are infinite matrices introduced in 1939 by Helmut Grunsky. The matrices correspond to either a single holomorphic function on the unit disk or a pair of holomorphic functions on the unit disk and its complement. The Grunsky inequalities express boundedness properties of these matrices, which in general are contraction operators or in important special cases unitary operators. As Grunsky showed, these inequalities hold if and only if the holomorphic function is univalent. The inequalities are equivalent to the inequalities of Goluzin, discovered in 1947. Roughly speaking, the Grunsky inequalities give information on the coefficients of the logarithm of a univalent function; later generalizations by Milin, starting from the Lebedev–Milin inequality, succeeded in exponentiating the inequalities to obtain inequalities for the coefficients of the univalent function itself. The Grunsky matrix and its associated inequalities were originally formulated in a more general setting of univalent functions between a region bounded by finitely many sufficiently smooth Jordan curves and its complement: the results of Grunsky, Goluzin and Milin generalize to that case.

In mathematics, the Carathéodory kernel theorem is a result in complex analysis and geometric function theory established by the Greek mathematician Constantin Carathéodory in 1912. The uniform convergence on compact sets of a sequence of holomorphic univalent functions, defined on the unit disk in the complex plane and fixing 0, can be formulated purely geometrically in terms of the limiting behaviour of the images of the functions. The kernel theorem has wide application in the theory of univalent functions and in particular provides the geometric basis for the Loewner differential equation.

In mathematics, a positive harmonic function on the unit disc in the complex numbers is characterized as the Poisson integral of a finite positive measure on the circle. This result, the Herglotz-Riesz representation theorem, was proved independently by Gustav Herglotz and Frigyes Riesz in 1911. It can be used to give a related formula and characterization for any holomorphic function on the unit disc with positive real part. Such functions had already been characterized in 1907 by Constantin Carathéodory in terms of the positive definiteness of their Taylor coefficients.

In mathematics, the Neumann–Poincaré operator or Poincaré–Neumann operator, named after Carl Neumann and Henri Poincaré, is a non-self-adjoint compact operator introduced by Poincaré to solve boundary value problems for the Laplacian on bounded domains in Euclidean space. Within the language of potential theory it reduces the partial differential equation to an integral equation on the boundary to which the theory of Fredholm operators can be applied. The theory is particularly simple in two dimensions—the case treated in detail in this article—where it is related to complex function theory, the conjugate Beurling transform or complex Hilbert transform and the Fredholm eigenvalues of bounded planar domains.

<span class="mw-page-title-main">Wrapped asymmetric Laplace distribution</span>

In probability theory and directional statistics, a wrapped asymmetric Laplace distribution is a wrapped probability distribution that results from the "wrapping" of the asymmetric Laplace distribution around the unit circle. For the symmetric case, the distribution becomes a wrapped Laplace distribution. The distribution of the ratio of two circular variates (Z) from two different wrapped exponential distributions will have a wrapped asymmetric Laplace distribution. These distributions find application in stochastic modelling of financial data.

References