Grunsky's theorem

Last updated

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.

Contents

Statement

Let f be a univalent holomorphic function on the unit disc D such that f(0) = 0. Then for all r ≤ tanh π/4, the image of the disc |z| < r is starlike with respect to 0, , i.e. it is invariant under multiplication by real numbers in (0,1).

An inequality of Grunsky

If f(z) is univalent on D with f(0) = 0, then

Taking the real and imaginary parts of the logarithm, this implies the two inequalities

and

For fixed z, both these equalities are attained by suitable Koebe functions

where |w| = 1.

Proof

Grunsky (1932) originally proved these inequalities based on extremal techniques of Ludwig Bieberbach. Subsequent proofs, outlined in Goluzin (1939), relied on the Loewner equation. More elementary proofs were subsequently given based on Goluzin's inequalities, an equivalent form of Grunsky's inequalities (1939) for the Grunsky matrix.

For a univalent function g in z > 1 with an expansion

Goluzin's inequalities state that

where the zi are distinct points with |zi| > 1 and λi are arbitrary complex numbers.

Taking n = 2. with λ1 = – λ2 = λ, the inequality implies

If g is an odd function and η = – ζ, this yields

Finally if f is any normalized univalent function in D, the required inequality for f follows by taking

with

Proof of the theorem

Let f be a univalent function on D with f(0) = 0. By Nevanlinna's criterion, f is starlike on |z| < r if and only if

for |z| < r. Equivalently

On the other hand by the inequality of Grunsky above,

Thus if

the inequality holds at z. This condition is equivalent to

and hence f is starlike on any disk |z| < r with r ≤ tanh π/4.

Related Research Articles

Lorentz transformation Family of linear transformations

In physics, the Lorentz transformations are a one-parameter family of linear transformations from a coordinate frame in spacetime to another frame that moves at a constant velocity relative to the former. The respective inverse transformation is then parametrized by the negative of this velocity. The transformations are named after the Dutch physicist Hendrik Lorentz.

The fundamental theorem of algebra states that every non-constant single-variable polynomial with complex coefficients has at least one complex root. This includes polynomials with real coefficients, since every real number is a complex number with its imaginary part equal to zero.

In complex analysis, Liouville's theorem, named after Joseph Liouville, states that every bounded entire function must be constant. That is, every holomorphic function f for which there exists a positive number M such that for all in is constant. Equivalently, non-constant holomorphic functions on have unbounded images.

In mathematics, the Lerch zeta function, sometimes called the Hurwitz–Lerch zeta-function, is a special function that generalizes the Hurwitz zeta function and the polylogarithm. It is named after the Czech mathematician Mathias Lerch.

In mathematics, the Riemann–Siegel theta function is defined in terms of the gamma function as

In mathematics, the von Mangoldt function is an arithmetic function named after German mathematician Hans von Mangoldt. It is an example of an important arithmetic function that is neither multiplicative nor additive.

Zeta function universality

In mathematics, the universality of zeta-functions is the remarkable ability of the Riemann zeta-function and other similar functions to approximate arbitrary non-vanishing holomorphic functions arbitrarily well.

In mathematics, the explicit formulae for L-functions are relations between sums over the complex number zeroes of an L-function and sums over prime powers, introduced by Riemann (1859) for the Riemann zeta function. Such explicit formulae have been applied also to questions on bounding the discriminant of an algebraic number field, and the conductor of a number field.

Quasiperiodic function Class of functions behaving "like" periodic functions

In mathematics, a quasiperiodic function is a function that has a certain similarity to a periodic function. A function is quasiperiodic with quasiperiod if , where is a "simpler" function than . What it means to be "simpler" is vague.

Chebyshev function

In mathematics, the Chebyshev function is either of two related functions. The first Chebyshev functionϑ(x) or θ(x) is given by

In complex analysis, a branch of mathematics, the Koebe 1/4 theorem states the following:

Koebe Quarter Theorem. The image of an injective analytic function f : DC from the unit disk D onto a subset of the complex plane contains the disk whose center is f(0) and whose radius is |f′(0)|/4.

In number theory, an average order of an arithmetic function is some simpler or better-understood function which takes the same values "on average".

Riemann hypothesis Conjecture in mathematics linked to the distribution of prime numbers

In mathematics, the Riemann hypothesis is a conjecture that the Riemann zeta function has its zeros only at the negative even integers and complex numbers with real part 1/2. Many consider it to be the most important unsolved problem in pure mathematics. It is of great interest in number theory because it implies results about the distribution of prime numbers. It was proposed by Bernhard Riemann (1859), after whom it is named.

Cnoidal wave A nonlinear and exact periodic wave solution of the Korteweg–de Vries equation

In fluid dynamics, a cnoidal wave is a nonlinear and exact periodic wave solution of the Korteweg–de Vries equation. These solutions are in terms of the Jacobi elliptic function cn, which is why they are coined cnoidal waves. They are used to describe surface gravity waves of fairly long wavelength, as compared to the water depth.

Wrapped Cauchy distribution wrapped probability distribution that results from the "wrapping" of the Cauchy distribution around the unit circle

In probability theory and directional statistics, a wrapped Cauchy distribution is a wrapped probability distribution that results from the "wrapping" of the Cauchy distribution around the unit circle. The Cauchy distribution is sometimes known as a Lorentzian distribution, and the wrapped Cauchy distribution may sometimes be referred to as a wrapped Lorentzian distribution.

In mathematics, the Grunsky matrices, or Grunsky operators, are matrices introduced by Grunsky (1939) in complex analysis and geometric function theory. They 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. Historically the inequalities were used in proving special cases of the Bieberbach conjecture up to the sixth coefficient; the exponentiated inequalities of Milin were used by de Branges in the final solution. The Grunsky operators and their Fredholm determinants are related to spectral properties of bounded domains in the complex plane. The operators have further applications in conformal mapping, Teichmüller theory and conformal field theory.

In mathematics, Nevanlinna's criterion in complex analysis, proved in 1920 by the Finnish mathematician Rolf Nevanlinna, characterizes holomorphic univalent functions on the unit disk which are starlike. Nevanlinna used this criterion to prove the Bieberbach conjecture for starlike univalent functions

In mathematics, singular integral operators of convolution type are the singular integral operators that arise on Rn and Tn through convolution by distributions; equivalently they are the singular integral operators that commute with translations. The classical examples in harmonic analysis are the harmonic conjugation operator on the circle, the Hilbert transform on the circle and the real line, the Beurling transform in the complex plane and the Riesz transforms in Euclidean space. The continuity of these operators on L2 is evident because the Fourier transform converts them into multiplication operators. Continuity on Lp spaces was first established by Marcel Riesz. The classical techniques include the use of Poisson integrals, interpolation theory and the Hardy–Littlewood maximal function. For more general operators, fundamental new techniques, introduced by Alberto Calderón and Antoni Zygmund in 1952, were developed by a number of authors to give general criteria for continuity on Lp spaces. This article explains the theory for the classical operators and sketches the subsequent general theory.

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.

Stochastic portfolio theory (SPT) is a mathematical theory for analyzing stock market structure and portfolio behavior introduced by E. Robert Fernholz in 2002. It is descriptive as opposed to normative, and is consistent with the observed behavior of actual markets. Normative assumptions, which serve as a basis for earlier theories like modern portfolio theory (MPT) and the capital asset pricing model (CAPM), are absent from SPT.

References