- Research Article
- Open Access
- Published:

# Wiman and Arima Theorems for Quasiregular Mappings

*Journal of Inequalities and Applications*
**volume 2010**, Article number: 604217 (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.

## 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 , , .

Let be a nonconstant quasiregular mapping. Suppose that the manifold is such that

If now

then

Here

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 , , .

Let be a quasiregular mapping and . If for some the mapping satisfies the condition

then for each there exists an -sphere and an open set , for which

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

Let and be Riemannian manifolds of dimension . A continuous mapping of the class is called a quasiregular mapping if satisfies

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

The best constant in the inequality (2.1) is called the outer dilatation of and denoted by . If is quasiregular, then the least constant for which we have

almost everywhere on is called the inner dilatation and denoted by . Here

The quantity

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 .

Let and be Riemannian manifolds of dimensions and , , and with scalar products , , respectively. The Cartesian product has the natural structure of a Riemannian manifold with the scalar product

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.

The structure constants can be chosen to be

where and are, respectively, the greatest and smallest positive roots of the equation

## 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:

(a) and everywhere in ;

(b) and on , ;

(c) on and on .

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 .

In the general case, we shall consider growth functions which are -solutions of elliptic equations [12]. Namely, let be a Riemannian manifold and let

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]).

Suppose that for a.e. and for all , the inequalities

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

We consider the equation

Solutions to (3.4) are understood in the weak sense, that is, -solutions are -functions satisfying the integral identity

for all with compact support in .

A function in is an *-subsolution* of (3.4) in if

weakly in , that is,

whenever , is nonnegative with compact support in .

A basic example of such an equation is the -Laplace equation

## 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

Let , , be a locally Lipschitz function such that

For arbitrary , we denote by

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

( ) for a.e. , ,

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 .

Let be a -exhaustion function. We say that satisfies the -transversality property if for a.e. , and for every , there exists an open set

with piecewise regular boundary such that

where is the unit inner normal to .

We say that satisfies the -transversality condition if satisfies the -transversality condition for the -Laplace operator . In this case, (4.8) reduces to

Example 4.2.

Let be a bounded domain in and let

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.

It suffices to show . Let and . Choose an open set as in the definition of the -transversality condition. for every , and (4.6)–(4.8) together with the Gauss formula imply for a.e.

Since is arbitrary, follows.

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 .

We have

Because is a special exhaustion function of , we have

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

If , then where the vector is orthogonal to and is a vector from . Thus

because is a special exhaustion function on and satisfies the property on . If , then the vector is orthogonal to and

because the vector is parallel to .

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

Therefore, *the function*

*is a special exhaustion function on the manifold*.

Example 4.5.

We fix an integer , and set

It is easy to see that everywhere in , where . We shall call the set

a -ball and the set

a -sphere in .

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 .

Fix . Let be a bounded domain in the -plane and let

The domain is -admissible. The -spheres are orthogonal to the boundary and therefore everywhere on the boundary. The function

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.

Fix . Let be a bounded domain in the plane with a (piecewise) smooth boundary and let

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.

Let where is a function with . We have and since , we obtain

From the equation

we conclude that *the function*

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

Example 4.7.

Let , where , , be the spherical coordinates in . Let , be an arbitrary domain with a piecewise smooth boundary on the unit sphere . We fix and consider the domain

As above it is easy to verify that the given domain is -admissible and *the function*

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

Example 4.8.

Let be a compact Riemannian manifold, with piecewise smooth boundary or without boundary. We consider the Cartesian product , . We denote by , , and the points of the corresponding spaces. It is easy to see that the function

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

Example 4.9.

Let , where , , be the spherical coordinates in . Let be an arbitrary domain on the unit sphere . We fix and consider the domain

with the metric

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 .

The volume element in the metric (4.30) is given by the expression

If , then the length of the gradient in takes the form

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

For the special exhaustion function , (3.8) reduces to the following form:

Solutions of this equation are the functions

where and are constants.

Because the function satisfies obviously the boundary condition as well as the other conditions of special exhaustion functions listed in (4.2), we see that under the assumption

the function

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.

Choose such that . We need to estimate the -capacity of the condenser . We have

where

is a quantity independent of . Indeed, for the variational problem [3, ()], we choose the function , for ,

and for . Using the Kronrod-Federer formula [13, Theorem ], we get

Because the special exhaustion function satisfies (3.8) and the boundary condition , one obtains for arbitrary ,

Thus we have established the inequality

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 .

Set . Then for , we have

and hence

and the boundary set has -hyperbolic type.

## 5. Wiman Theorem

Now we will prove Theorem 1.1.

### 5.1. Fundamental Frequency

Let be an open set. We need further the following quantity:

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.

Let be an open set and let be the components of , . Then

Proof.

To prove this property, we fix arbitrary functions with . Set for and for . Hence

Summation yields

and we obtain

This gives

The reverse inequality is evident. Indeed, if is a component of , then evidently

and hence

We also need the following statement.

Lemma 5.2.

Under the above assumptions for a.e. , we have

where is the fundamental frequency of the membrane defined by formula (5.1) and

where

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.

Let be an exhaustion function. Suppose that the manifold satisfies the condition

Let be a continuous solution of (3.4) with (3.2) and (3.3) on such that

Then either everywhere on or

In particular, if is a special exhaustion function on , then

Here

and where is the constant of Lemma 5.2.

Proof.

We assume that at some point we have . We consider the set

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

The function is an exhaustion function on . Using the relation [3, 6.74] for the function on , we have

where .

By Lemma 5.2, the following inequality holds

Because , it follows that and hence

Thus using the requirement (3.3) for (3.4), we arrive at the estimate

Further we observe that from the condition on , it follows that

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].

In order to convince ourselves of the validity of (5.16), we observe that by the maximum principle we have

But is a special exhaustion function and therefore by (4.37) we can write

where is a number independent of .

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

Example 5.4.

Let be a compact Riemannian manifold with nonempty piecewise smooth boundary, , and let , . Choosing as a special exhaustion function of the function , defined in Example 4.8, we have

Then using the fact that , we find

Therefore, on the basis of (5.1) we get

Computation yields

where is an element of -dimensional area on . Therefore,

and we obtain

where the infimum is taken over all functions with

In the particular case , Theorem 5.3 has a particularly simple content. Here is a function of one variable, and is isometric to . Therefore, and by (5.31) we have

In the same way, (5.16) can be written in the form

Let . We do not know of examples where the quantity (5.31) had been exactly computed. Some idea about the rate of growth of the quantity in the Phragmén-Lindelöf alternative can be obtained from the following arguments. Simplifying the numerator of (5.31) by ignoring the second summand, we get the estimate

For each fixed , the function is finite on , because from the definition of the fundamental frequency it follows that

From this we get

Thus

Here is the inverse function of . Because

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.

The function , given by (4.36) under the requirement (4.35), is a special exhaustion function on . We compute the quantity as follows:

Therefore, observing that

we have

Thus

Further we get

Thus the relation (5.16) attains the form

### 5.2. Proof of Theorem 1.1

We assume that

Consider the set

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

By assumptions, the function satisfies (3.4) with (3.2), (3.3) and structure constants , , . Since is quasiregular, by Lemma of [12] the function is a subsolution of another equation of the form (3.4) with structure constants , , where and are outer and inner dilatations of . In view of the maximum principle for subsolutions, the set does not have relatively compact components. Without restricting generality, we may assume that is connected. Because for sufficiently large , the condition

holds; we see that

Therefore, the condition (1.1) on the manifold implies the following property:

Observing that

we see that by (1.2)

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.

For , let

be a ring domain in and let be an -dimensional Riemannian manifold on with the metric

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

As we have proved in Example 4.9, under condition (4.35), the function

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.

We find

and further

Therefore, the requirement (1.1) on the manifold will be fulfilled if

holds.

Because

we see that, in view of (1.2), it suffices that

In this way, we get the following corollary.

Corollary 5.7.

Let be a nonconstant quasiregular mapping from the warped Riemannian product and a special exhaustion function of . If the manifold has property (5.58) and the mapping has property (5.60), then

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.

The condition (5.60) for the mapping attains the form

Corollary 5.9.

If is a half-cylinder and is a nonconstant quasiregular mapping satisfying (5.62), then

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.

The condition (5.62) attains the form

where

We have the following corollary.

Corollary 5.10.

Let be a nonconstant quasiregular mapping satisfying (5.64). Then

## 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

( )for all , we have and .

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

( )for all , we have and .

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 .

The function also is a subsolution of an equation of the form (3.4) on . Because the mapping attains all values in the punctured ball , then among the components of the set

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.

The classical form of Iversen's theorem asserts that if is an entire holomorphic function of the plane, then there exists a curve tending to infinity such that

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.

Let be a special exhaustion function of the manifold . Set

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

Let . For an arbitrary , we consider 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

We fix a growth function and a special exhaustion function as in Section 4. Let be a nonconstant quasiregular mapping. We set

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

Suppose now that . For , we consider the set , defined in the proof of the preceding theorem. Define

Because is a subsolution of an equation of the form (3.4) on by [3, Theorem ], we have for an arbitrary

Using the inequality () of [10] for the quantity , we get

where

By [3, 5.71], we have

where

But is a special exhaustion function and as in the proof of (4.37) we get

for all sufficiently large . Hence

and further

where and is defined in Lemma 5.2.

Under these circumstances, from the condition (1.5) for the growth of , it follows that for all and for all sufficiently large , we have

If we assume that for all

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

Hence there exists for which

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).

Here, as in Example 5.6,

where and is the image of the set under the similarity mapping

of .

Let be a nonconstant quasiregular mapping. We choose as a growth function the function . This function satisfies (3.6) with and The condition (1.5) can be written as follows:

Hence we obtain

Corollary 6.3.

If a quasiregular mapping has the property (6.22) for some , then for each there are spheres , , , and open sets for which

where as above

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.

## References

- 1.
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. - 2.
Arima K: On maximum modulus of integral functions.

*Journal of the Mathematical Society of Japan*1952, 4: 62–66. 10.2969/jmsj/00410062 - 3.
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.4648 - 4.
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. - 5.
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.73 - 6.
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/BF02415450 - 7.
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, 1981 - 8.
Rickman S, Vuorinen M: On the order of quasiregular mappings.

*Annales Academiae Scientiarum Fennicae. Series A*1982, 7(2):221–231. - 9.
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/BF02384420 - 10.
Martio O, Miklyukov VM, Vuorinen M: Critical points of -solutions of quasilinear elliptic equations.

*Houston Journal of Mathematics*1999, 25(3):583–601. - 11.
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. - 12.
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. - 13.
Federer H:

*Geometric Measure Theory, Die Grundlehren der Mathematischen Wissenschaften, Vol 153*. Springer, Berlin, Germany; 1969:xiv+676. - 14.
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. - 15.
MacLane GR: Asymptotic values of holomorphic functions.

*Rice University Studies*1963, 49(1):83. - 16.
Iversen F:

*Recherches sur les fonctions inverses des fonctions meromorphes, Thesis Helsinki*. 1914.

## Author information

### Affiliations

### Corresponding author

## Rights and permissions

**Open Access**
This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (
https://creativecommons.org/licenses/by/2.0
), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Martio, O., Miklyukov, V. & Vuorinen, M. Wiman and Arima Theorems for Quasiregular Mappings.
*J Inequal Appl* **2010, **604217 (2010). https://doi.org/10.1155/2010/604217

Received:

Accepted:

Published:

### Keywords

- Riemannian Manifold
- Fundamental Frequency
- Growth Function
- Transversality Condition
- Compact Riemannian Manifold