Bounded type (mathematics)

In mathematics, a function defined on a region of the complex plane is said to be of bounded type if it is analytic in the region and equal to the ratio of two analytic functions bounded in that region. But more generally, a function is of bounded type in a region \Omega if and only if f is analytic on \Omega and \log^+|f(z)| has a harmonic majorant on \Omega, where \log^+(x)=\max[0,\log(x)]. Being the ratio of two bounded analytic functions is a sufficient condition for a function to be of bounded type (defined in terms of a harmonic majorant), and if \Omega is simply connected the condition is also necessary.

The class of all such f on \Omega is commonly denoted N(\Omega) and is sometimes called the Nevanlinna class for \Omega. The Nevanlinna class includes all the Hardy classes.

Functions of bounded type are not necessarily bounded, nor do they have a property called "type" which is bounded. The reason for the name is probably that when defined on a disc, the Nevanlinna characteristic (a function of distance from the centre of the disc) is bounded.

Examples

Polynomials are of bounded type in any bounded region. They are also of bounded type in the upper half-plane (UHP), because a polynomial f(z) of degree n can be expressed as a ratio of two analytic functions bounded in the UHP:

f(z)=P(z)/Q(z)

with

P(z)=f(z)/(z+i)^n
Q(z)=1/(z+i)^n.

The inverse of a polynomial is of bounded type in a region so long as the polynomial has no root in the region, although it may have roots on the boundary of the region. If the polynomial has a root in the region, then the inverse is not considered to be of bounded type simply because it is not analytic at the root.

The function \exp(aiz) is of bounded type in the UHP if and only if a is real. If a is positive the function itself is bounded in the UHP (so we can use Q(z)=1), and if a is negative then the function equals 1/Q(z) with Q(z)=\exp(|a|iz).

Sine and cosine are of bounded type in the UHP. Indeed,

\sin(z)=P(z)/Q(z)

with

P(z)=\sin(z)\exp(iz)
Q(z)=\exp(iz)

both of which are bounded in the UHP.

All of the above examples are of bounded type in the lower half-plane as well, using different P and Q functions. But the region mentioned in the definition of the term "bounded type" cannot be the whole complex plane unless the function is constant because one must use the same P and Q over the whole region, and the only entire functions (that is, analytic in the whole complex plane) which are bounded are constants, by Liouville's theorem.

Another example in the upper half-plane is a "Nevanlinna function", that is, an analytic function that maps the UHP to the closed UHP. If f(z) is of this type, then

f(z)=P(z)/Q(z)

where P and Q are the bounded functions:

P(z)=\frac{f(z)}{f(z)+i}
Q(z)=\frac 1{f(z)+i}

(This obviously applies as well to f(z)/i, that is, a function whose real part is non-negative in the UHP.)

Properties

For a given region, the sum or product of two functions of bounded type is also of bounded type. The set of functions of bounded type is an algebra over the complex numbers. The inverse of a function of bounded type in a region is also of bounded type if it has no zero in the region.

Any function of bounded type in the upper half-plane (with no zeros in a neighborhood of 0) can be expressed as a Blaschke product (an analytic function, bounded in the region, which factors out the zeros) multiplying the quotient P(z)/Q(z) where P(z) and Q(z) are bounded by 1 and have no zeros in the UHP. One can then express this quotient as

P(z)/Q(z)=\exp(-U(z))/\exp(-V(z))

where U(z) and V(z) are analytic functions having non-negative real part in the UHP. Each of these in turn can be expressed by a Poisson representation (see Nevanlinna functions):

U(z)= c -ipz -i \int_{\mathbb{R}} \left(\frac{1}{\lambda - z} - \frac{\lambda}{1+\lambda^2} \right) d\mu(\lambda)
V(z)= d -iqz -i \int_{\mathbb{R}} \left(\frac{1}{\lambda - z} - \frac{\lambda}{1+\lambda^2} \right) d\nu(\lambda)

where c and d are imaginary constants, p and q are non-negative real constants, and μ and ν are non-decreasing functions of a real variable (well behaved so the integrals converge). The difference q−p has been given the name "mean type" by Louis de Branges[1] and describes the growth or decay of the function along the imaginary axis. If an entire function is of bounded type in both the upper and the lower half-plane then it is of exponential type equal to the higher of the two respective "mean types"[2] (which will be non-negative). An entire function of order greater than 1 (which means that in some direction it grows faster than a function of exponential type) cannot be of bounded type in any half-plane.

We may thus fabricate a function of bounded type using an appropriate exponential of z and exponentials of arbitrary Nevanlinna functions multiplied by i, for example:

f(z)=\exp(iz)\frac{\exp(i\sqrt{z})}{\exp(-i/\sqrt{z})}

Concerning the examples given above, the mean type of polynomials or their inverses is zero. The mean type of \exp(aiz) in the upper half-plane is −a, while in the lower half-plane it is a. The mean type of \sin(z) in both half-planes is 1.

Functions of bounded type in the upper half-plane with non-positive mean type and having a continuous, square-integrable extension to the real axis have the interesting property (useful in applications) that the integral (along the real axis)


\frac 1{2\pi i}\int_{-\infty}^\infty\frac{f(t)dt}{t-z}


equals f(z) if z is in the upper half-plane and zero if z is in the lower half-plane.[3] This may be termed the Cauchy formula for the upper half-plane.

See also

References

  1. ↑ For no particularly clear reason. Louis de Branges. Hilbert spaces of entire functions. Prentice-Hall. p. 26.
  2. ↑ According to a theorem of Mark Krein. See p. 26 of the book by de Branges.
  3. ↑ Theorem 12 in the book by de Branges.
This article is issued from Wikipedia - version of the Tuesday, August 11, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.