# Wiman and Arima Theorems for Quasiregular Mappings

- O Martio
^{1}, - VM Miklyukov
^{2}and - M Vuorinen
^{3}Email author

**2010**:604217

https://doi.org/10.1155/2010/604217

© O. Martio et al. 2010

**Received: **28 December 2009

**Accepted: **11 February 2010

**Published: **1 March 2010

## Abstract

Wiman's theorem says that an entire holomorphic function of order less than 1/2 has a minimum modulus converging to along a sequence. Arima's theorem is a refinement of Wiman's theorem. Here we generalize both results to quasiregular mappings in the manifold setup. The so called fundamental frequency has an important role in this study.

## Keywords

## 1. Main Results

It follows from the Ahlfors theorem that an entire holomorphic function
of order
has no more than
distinct asymptotic curves where
stands for the largest integer
. This theorem does not give any information if
, This case is covered by two theorems: *if an entire holomorphic function*
*has order*
*then*
(Wiman [1]) and *if*
*is an entire holomorphic function of order*
*and*
*is a number satisfying the conditions*
*then there exists a sequence of circular arcs*
*along which*
*tends to*
*uniformly with respect to*
(Arima [2]).

Below we prove generalizations of these theorems for quasiregular mappings for . The next two theorems are generalizations of the theorems of Wiman and of Arima for quasiregular mappings on manifolds.

Theorem 1.1.

Let be -dimensional noncompact Riemannian manifolds without boundary. Assume that is a special exhaustion function of the manifold and is a nonnegative growth function on the manifold , which is a subsolution of (3.4) with the structure conditions (3.2), (3.3) and the structure constants , , .

is a constant, is the maximal dilatation of , is an -sphere in the manifold , is a fundamental frequency of an open subset , and , where the infimum is taken over all open sets with . (See Sections 4 and 6.)

Theorem 1.2.

Let be -dimensional noncompact Riemannian manifolds without boundary. Assume that is a special exhaustion function of the manifold and is a nonnegative growth function on the manifold , which is a subsolution of (3.4) with the structure conditions (3.2), (3.3) and the structure constants , , .

The proofs of these results are based upon Phragmén-Lindelöf's and Ahlfors' theorems for differential forms of -classes obtained in [3].

For -harmonic functions on abstract cones, similar theorems were obtained in [4].

Our notation is as in [3, 5]. We assume that the results of [3] are known to the reader and we only recall some results on qr-mappings.

## 2. Quasiregular Mappings

almost everywhere on . Here is the formal derivative of , further, . We denote by the Jacobian of at the point , that is, the determinant of .

is called the maximal dilatation of and if , then the mapping is called -quasiregular.

If is a quasiregular homeomorphism, then the mapping is called quasiconformal. In this case, the inverse mapping is also quasiconformal in the domain and .

We denote by and the natural projections of the manifold onto submanifolds.

If and are volume forms on and , respectively, then the differential form is a volume form on .

Theorem 2.1 (see [5]).

Let be a quasiregular mapping and let . Then the differential form is of the class on with the structure constants , , and .

Remark 2.2.

## 3. Domains of Growth

Let be an unbounded domain and let be a holomorphic function continuous on the closure . The Phragmén-Lindelöf principle [6] traditionally refers to the alternatives of the following type:

( ) if everywhere on , then either grows with a certain rate as or for all ;

( ) if on , then either grows with a certain rate as or for all .

Here the rate of growth of the quantities and depends on the "width" of the domain near infinity.

It is not difficult to prove that these conditions are equivalent with the following conditions:

( ) if on and in , then either grows with a certain rate as or ;

( ) if on and in , then either grows with a certain rate as or .

Let be an unbounded domain in and let be a quasiregular mapping. We assume that . It is natural to consider the Phragmén-Lindelöf alternative under the following assumptions:

Several formulations of the Phragmén-Lindelöf theorem under various assumptions can be found in [7–11]. However, these results are mainly of qualitative character. Here we give a new approach to Phragmén-Lindelöf type theorems for quasiregular mappings, based on isoperimetry, that leads to almost sharp results. Our approach can be used to prove Phragmén-Lindelöf type results for quasiregular mappings of Riemannian manifolds.

Let
be an
-dimensional noncompact Riemannian
-manifold with piecewise smooth boundary
(possibly empty). A function
is called a *growth function* with
as a *domain of growth* if (i)
(ii)
if
and

We consider a quasiregular mapping , , where is a noncompact Riemannian -manifold, , and . We assume that . In what follows, we mean by the Phragmén-Lindelöf principle an alternative of the form: either the function has a certain rate of growth in or .

By choosing the domain of growth and the growth function in a special way, we can obtain several formulations of Phragmén-Lindelöf theorems for quasiregular mappings. In view of the examples in [7], the best results are obtained if an -harmonic function is chosen as a growth function. In the case (a), the domain of growth is and as the function of growth, it is natural to choose ; in the case (b), the domain is the set , , and ; in the case (c), the domain of growth is and .

be a mapping defined a.e. on the tangent bundle Suppose that for a.e. the mapping is continuous on the fiber that is, for a.e. , the function is defined and continuous; the mapping is measurable for all measurable vector fields (see [12]).

hold with and for some constants . It is clear that we have .

## 4. Exhaustion Functions

Below we introduce exhaustion and special exhaustion functions on Riemannian manifolds and give illustrating examples.

### 4.1. Exhaustion Functions of Boundary Sets

the -balls and -spheres, respectively.

Let be a locally Lipschitz function such that there exists a compact with for a.e. . We say that the function is an exhaustion function for a boundary set of if for an arbitrary sequence of points , the function if and only if .

It is easy to see that this requirement is satisfied if and only if for an arbitrary increasing sequence , the sequence of the open sets is a chain, defining a boundary set . Thus the function exhausts the boundary set in the traditional sense of the word.

The function is called the exhaustion function of the manifold if the following two conditions are satisfied:

(i)for all , the -ball is compact;

(ii)for every sequence with , the sequence of -balls generates an exhaustion of , that is,

Example 4.1.

Let be a Riemannian manifold. We set where is a fixed point. Because almost everywhere on , the function defines an exhaustion function of the manifold .

### 4.2. Special Exhaustion Functions

Let be a noncompact Riemannian manifold with the boundary (possibly empty). Let satisfy (3.2) and (3.3) and let be an exhaustion function, satisfying the following additional conditions:

( ) there is such that is compact and is a solution of (3.4) in the open set

Here
is the element of the
dimensional Hausdorff measure on
Exhaustion functions with these properties will be called *the special exhaustion functions of*
*with respect to*
. In most cases, the mapping
will be the
Laplace operator (3.8) and, unless otherwise stated,
is the
-Laplace operator.

Since the unit vector is orthogonal to the -sphere , the condition means that the flux of the vector field through -spheres is constant.

In the following, we consider domains in as manifolds . However, the boundaries of are allowed to be rather irregular. To handle this situation, we introduce -transversality property for .

where is the unit inner normal to .

Example 4.2.

be a cylinder with base . The function , , is an exhaustion function for . Since every domain in can be approximated by smooth domains from inside, it is easy to see that for the domain can be used as an approximating domain . Note that the transversality condition (4.8) is automatically satisfied for the -Laplace operator .

Lemma 4.3.

Suppose that an exhaustion function satisfies (3.4) in and that the function is continuously differentiable. If satisfies the -transversality condition, then is a special exhaustion function on the manifold .

Proof.

Example 4.4.

Fix . Let be an orthonormal system of coordinates in . Let be an unbounded domain with piecewise smooth boundary and let be a -dimensional compact Riemannian manifold with or without boundary. We consider the manifold .

We denote by , , and the points of the corresponding manifolds. Let and be the natural projections of the manifold .

Assume now that the function is a function on the domain satisfying the conditions , , and (3.8). We consider the function .

Let be an arbitrary point where the boundary has a tangent hyperplane and let be a unit normal vector to .

because the vector is parallel to .

The other requirements for a special exhaustion function for the manifold are easy to verify.

*is a special exhaustion function on the manifold*
.

Example 4.5.

We shall say that an unbounded domain is -admissible if for each , the set has compact closure.

It is clear that every unbounded domain is -admissible. In the general case, the domain is -admissible if and only if the function is an exhaustion function of . It is not difficult to see that if a domain is -admissible, then it is -admissible for all .

satisfies (3.4). By Lemma 4.3, the function is a special exhaustion function of the domain . Therefore, the domain has -parabolic type for and -hyperbolic type for .

Example 4.6.

be the cylinder domain with base

The domain is -admissible. The -spheres are orthogonal to the boundary and therefore everywhere on the boundary, where is as in Example 4.5.

*satisfies*(3.8) *in*
*and thus it is a special exhaustion function of the domain*

Example 4.7.

*is a special exhaustion function of the domain*
for
.

Example 4.8.

is a special exhaustion function for the manifold . Therefore, for , the given manifold has -parabolic type and for -hyperbolic type.

Example 4.9.

where are -functions on and is an element of length on .

The manifold is a warped Riemannian product. In the cases, , , and the manifold is isometric to a cylinder in . In the cases, , , the manifold is a spherical annulus in .

where is the gradient in the metric of the unit sphere .

is a special exhaustion function on the manifold .

Theorem 4.10.

Let be a special exhaustion function of a boundary set of the manifold . Then

(i)if , the set has -parabolic type,

(ii)if , the set has -hyperbolic type.

Proof.

By the conditions, imposed on the special exhaustion function, the function is an extremal in the variational problem [3, ( )]. Such an extremal is unique and therefore the preceding inequality holds as an equality. This conclusion proves (4.37).

If , then letting in (4.37) we conclude the parabolicity of the type of . Let . Consider an exhaustion and choose such that the -ball contains the compact set .

## 5. Wiman Theorem

Now we will prove Theorem 1.1.

### 5.1. Fundamental Frequency

where the infimum is taken over all functions
(*U*) with
(By the definition,
is a
-function on an open set
, if
belongs to this class on every component of
.). Here
is the gradient of
on the surface
.

In the case , this quantity is well-known and can be interpreted, in particular, as the best constant in the Poincaré inequality. Following [14], we shall call this quantity the fundamental frequency of the rigidly supported membrane .

Observe a useful property of the fundamental frequency.

Lemma 5.1.

Proof.

We also need the following statement.

Lemma 5.2.

For the proof, see Lemma in [10].

We now use these estimates for proving Phragmén-Lindelöf type theorems for the solutions of quasilinear equations on manifolds.

Theorem 5.3.

and where is the constant of Lemma 5.2.

Proof.

By, [3, Corollary ] the set is noncompact.

From this relation, we arrive at (5.14).

The proof of (5.15) is carried out exactly in the same way by means of the inequality [3, 5.75].

where is a number independent of .

The relation (5.15) implies then that (5.16) holds.

Example 5.4.

the relation (5.16) can be written in the form (5.34).

Example 5.5.

Let be an arbitrary domain with nonempty boundary. We consider a warped Riemannian product equipped with the metric (4.30) of the domain . We now analyze Theorem 5.3 in this case.

### 5.2. Proof of Theorem 1.1

It is clear that for a suitable choice of , the set is not empty.

with the constant of Theorem 1.1.

It is easy to see that . Using (5.16) with for the function in the domain , we see that on . This contradicts with the definition of the domain .

Example 5.6.

As the first corollary, we shall now prove a generalization of Wiman's theorem for the case of quasiregular mappings where is a warped Riemannian product.

where are continuously differentiable on and is an element of length on .

is a special exhaustion function on .

Let be a quasiregular mapping. We set . This function is a subsolution of (3.4) with and also satisfies all the other requirements imposed on a growth function.

holds.

In this way, we get the following corollary.

Corollary 5.7.

Example 5.8.

Suppose that under the assumptions of Example 5.6, we have (in addition) , , and the functions , that is, with the metric is an -dimensional half-cylinder. As the special exhaustion function of the manifold , we can take . The condition (5.58) is obviously fulfilled for the manifold.

Corollary 5.9.

We assume that in Example 5.8 the quantities , , and the functions , , that is, the manifold is . As the special exhaustion function, we choose . This function satisfies (3.6) with and . The condition (5.58) for the manifold is obviously fulfilled.

We have the following corollary.

Corollary 5.10.

## 6. Asymptotic Tracts and Their Sizes

Wiman's theorem for the quasiregular mappings asserts the existence of a sequence of spheres , , along which the mapping tends to . It is possible to further strengthen the theorem and to specify the sizes of the sets along which such a convergence takes place. For the formulation of this result it is convenient to use the language of asymptotic tracts discussed by MacLane [15].

### 6.1. Tracts

Let
be a domain in the complex plane
and let
be a holomorphic function on
. A collection of domains
is called an *asymptotic tract* of
if

( )each of the sets is a component of the set

Two asymptotic tracts and are considered to be different if for some we have .

Below we shall extend this notion to quasiregular mappings of Riemannian manifolds. We study the existence of an asymptotic tract and its size.

Let be -dimensional connected noncompact Riemannian manifolds and let be a growth function on , which is a positive subsolution of (3.4) with structure constants , , .

A family is called an asymptotic tract of a quasiregular mapping if

( )each of the sets is a component of the set

Let be a quasiregular mapping having a point as a Picard exceptional value, that is, and attains on all values of for some .

The set has -capacity zero in and there is a solution in of (3.4) such that as or (cf. [12, Chapter 10, polar sets] ). As the growth function on , we choose the function . It is clear that this function is a subsolution of (3.4) in .

there exists at least one having a nonempty intersection with . Then by the maximum principle for subsolutions, such a component cannot be relatively compact.

Letting , we find an asymptotic tract , along which a quasiregular mapping tends to a Picard exceptional value .

Because one can find in every asymptotic tract a curve along which , we obtain the following generalization of Iversen's theorem [16].

Theorem 6.1.

Every Picard exceptional value of a quasiregular mapping is an asymptotic value.

We prove a generalization of this theorem for quasiregular mappings of Riemannian manifolds.

The following result holds.

Theorem 6.2.

Let be a nonconstant quasiregular mapping between -dimensional noncompact Riemannian manifolds without boundaries. If there exists a growth function on which is a positive subsolution of (3.4) with and on a special exhaustion function, then the mapping has at least one asymptotic tract and, in particular, at least one curve on along which .

Proof.

If , then tends uniformly on to for . The asymptotic tract generates mutual inclusion of the components of the set .

Because is a subsolution, the nonempty set does not have relatively compact components. By a standard argument, we choose for each , as , a component of the set having property (b) of the definition of an asymptotic tract. We now easily complete the proof for the theorem.

### 6.2. Proof of Theorem 1.2

Let be the quantity defined in (6.5). The case is degenerate and has no interest in the present case.

where and is defined in Lemma 5.2.

then because was arbitrary, it would follow from (6.17) that on which is impossible.

Letting , we see that . Using each time the relation (6.17), we get Theorem 1.2.

In the formulation of the theorem, we used only a part of the information about the sizes of the sets which is contained in (6.17). In particular, the relation (6.17) to some extent characterizes also the linear measure of those for which the intersection of the sets with the -spheres is not too narrow.

We consider the case of warped Riemannian product with the metric described in Example 5.6. Let be a special exhaustion function of the manifold of the type (4.36) with , satisfying condition (4.35).

Hence we obtain

Corollary 6.3.

Corresponding estimates of the quantities and were given in [7] in terms of the -dimensional surface area and in terms of the best constant in the embedding theorem of the Sobolev space into the space on open subsets of the sphere. This last constant can be estimated without difficulties in terms of the maximal radius of balls contained in the given subset.

## Authors’ Affiliations

## References

- Wiman A: Sur une extension d'un théoréme de M. Hadamard.
*Arkiv för Matematik,Astronomi och Fysik*1905, 2(14):1–5.Google Scholar - Arima K: On maximum modulus of integral functions.
*Journal of the Mathematical Society of Japan*1952, 4: 62–66. 10.2969/jmsj/00410062MATHMathSciNetView ArticleGoogle Scholar - Martio O, Miklyukov V, Vuorinen M:
*Ahlfors theorems for differential forms.*Department of Mathematics, University of Helsinki, Helsinki, Finland; 2005.http://arxiv.org/abs/0710.4648Google Scholar - Martio O, Miklyukov V, Vuorinen M: Generalized Wiman and Arima theorems for -subharmonic functions on cones.
*The Journal of Geometric Analysis*2003, 13(4):605–630.MATHMathSciNetView ArticleGoogle Scholar - Franke D, Martio O, Miklyukov VM, Vuorinen M, Wisk R: Quasiregular mappings and -classes of differential forms on Riemannian manifolds.
*Pacific Journal of Mathematics*2002, 202(1):73–92. 10.2140/pjm.2002.202.73MATHMathSciNetView ArticleGoogle Scholar - Phragmén E, Lindelöf E: Sur une extension d'un principe classique de l'analyse et sur quelques propriétés des fonctions monogènes dans le voisinage d'un point singulier.
*Acta Mathematica*1908, 31(1):381–406. 10.1007/BF02415450MATHMathSciNetView ArticleGoogle Scholar - Mikljukov VM: Asymptotic properties of subsolutions of quasilinear equations of elliptic type and mappings with bounded distortion.
*Matematicheskiĭ Sbornik. Novaya Seriya*1980, 111(1):42–66. English translation: Mathematics USSR-Sbornik vol. 39, pp. 37–60, 1981MathSciNetGoogle Scholar - Rickman S, Vuorinen M: On the order of quasiregular mappings.
*Annales Academiae Scientiarum Fennicae. Series A*1982, 7(2):221–231.MATHMathSciNetGoogle Scholar - Granlund S, Lindqvist P, Martio O: Phragmén-Lindelöf's and Lindelöf's theorems.
*Arkiv för Matematik*1985, 23(1):103–128. 10.1007/BF02384420MATHMathSciNetView ArticleGoogle Scholar - Martio O, Miklyukov VM, Vuorinen M: Critical points of -solutions of quasilinear elliptic equations.
*Houston Journal of Mathematics*1999, 25(3):583–601.MATHMathSciNetGoogle Scholar - Martio O, Miklyukov VM, Vuorinen M: Morrey's lemma on Riemannian manifolds.
*Revue Roumaine de Mathématiques Pures et Appliquées*1998, 43(1–2):183–210.MATHMathSciNetGoogle Scholar - Heinonen J, Kilpeläinen T, Martio O:
*Nonlinear Potential Theory of Degenerate Elliptic Equations, Oxford Mathematical Monographs*. The Clarendon Press, New York, NY, USA; 1993:vi+363.Google Scholar - Federer H:
*Geometric Measure Theory, Die Grundlehren der Mathematischen Wissenschaften, Vol 153*. Springer, Berlin, Germany; 1969:xiv+676.Google Scholar - Pólya G, Szegö G:
*Isoperimetric Inequalities in Mathematical Physics, Annals of Mathematics Studies, no. 27*. Princeton University Press, Princeton, NJ, USA; 1951:xvi+279.Google Scholar - MacLane GR: Asymptotic values of holomorphic functions.
*Rice University Studies*1963, 49(1):83.MathSciNetGoogle Scholar - Iversen F:
*Recherches sur les fonctions inverses des fonctions meromorphes, Thesis Helsinki*. 1914.Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.