Research Article | Open Access
Paul A. Gunsul, "Value Distribution for a Class of Small Functions in the Unit Disk", International Journal of Mathematics and Mathematical Sciences, vol. 2011, Article ID 537478, 24 pages, 2011. https://doi.org/10.1155/2011/537478
Value Distribution for a Class of Small Functions in the Unit Disk
If is a meromorphic function in the complex plane, R. Nevanlinna noted that its characteristic function could be used to categorize according to its rate of growth as . Later H. Milloux showed for a transcendental meromorphic function in the plane that for each positive integer , as , possibly outside a set of finite measure where denotes the proximity function of Nevanlinna theory. If is a meromorphic function in the unit disk , analogous results to the previous equation exist when . In this paper, we consider the class of meromorphic functions in for which , , and as . We explore characteristics of the class and some places where functions in the class behave in a significantly different manner than those for which holds. We also explore connections between the class and linear differential equations and values of differential polynomials and give an analogue to Nevanlinna's five-value theorem.
This paper uses notation from Nevanlinna theory which is summarized here for the reader's convenience. We denote by the number of poles of in , where each pole is counted according to its multiplicity. Also, counts the number of distinct poles of in disregarding multiplicity. If , then . We define the proximity function , the counting function , and the Nevanlinna characteristic function as follows: Also, we have that
A meromorphic function in the unit disk can be categorized according to the rate of growth of its Nevanlinna characteristic as approaches one. If many value distribution theorems analogous to those for transcendental meromorphic functions in the complex plane can be derived. In particular, results useful in studying solutions of linear differential equations which are analogous to theorems of H. Milloux can be shown—namely, for each positive integer , as approaches one, possibly outside a set of finite measure where denotes the proximity function of Nevanlinna theory. For meromorphic functions of lesser growth than (1.3), analogous theorems need not hold. If consists of those meromorphic functions in for which Shea and Sons  showed that is in for each in , but also that there exist functions in with unbounded characteristic for which on a sequence of approaching one. Thus all functions in with unbounded characteristic need not satisfy (1.4) for .
In this paper, we denote by those functions in for which is unbounded as approaches one and for which (1.4) does hold for . We derive striking properties of class and make some connections between functions in class and solutions of linear differential equations defined in . For functions in with , we develop an interesting theorem analogous to Nevanlinna's five-value theorem for functions in the plane. Further, we prove a value distribution theorem for differential polynomials where is in , the are meromorphic functions in , and , as .
Our paper proceeds as follows. In Section 2, we note examples of functions in and properties of the class. In Section 3, we prove a uniqueness theorem for functions in class (and hence in class ). In Section 4, we look at differential equations for which functions in are either coefficients or solutions, and in Section 5 we consider differential polynomials.
Much of the research reported here was part of the author's Ph.D. dissertation written at Northern Illinois University .
2. Properties and Examples of Functions in Class
First we note that is not empty. For , the function defined in by is in class , since by a calculation in Benbourenane  and by properties of and a lemma of Tsuji ([4, page 226]), Clearly as defined in (1.5) is for this function.
The following proposition gives some simple closure properties of .
Proposition 2.1. If and are in and is a nonzero complex number, we have (i) is in ;(ii) is in ;(iii) is in for each positive integer ;(iv) may not be in ;(v) may not be in .
The proof of (i), (ii), and (iii) in Proposition 2.1 follows by easy calculation. To see (iv), let , and to see (v), let .
The complicated nature of class is demonstrated by the following theorem whereby some sums and products are in .
Theorem 2.2. Let be a meromorphic function in class .(i)If is a nonzero complex number for which then is in .(ii)If is a meromorphic function in which is not identically zero and such that , , and , , then is in .(iii)There exists a Blaschke product such that is not in .(iv)There exists a Blaschke product such that is in .
Remark 2.3. In Nevanlinna theory, the Valiron deficiency of a complex value for a meromorphic function in is defined by It is known (cf. Theorem 2.20 on page 210 in ) that if then except for at most a set of -values of vanishing inner capacity. This fact enables us to show that the function in defined by has in for all complex numbers , because for all .
Remark 2.4. The following example illustrates part (ii) of Theorem 2.2.
Example 2.5. Let and . Then is not identically zero, and it is well known that . Therefore, as . Also we have that since is the quotient of two bounded, analytic functions in the unit disk. And so we have that .
We turn to the proof of Theorem 2.2.
Proof of Part (i). Let . Then . We will show that .
First, by calculation and properties of the Nevanlinna characteristic, note that
Also, by calculation and properties of the proximity function, we get Now, since , Also, since , and so
Therefore, since as , and is unbounded as .
Proof of Part (ii). First, is unbounded, since it can be shown that
since is unbounded.
Now note that . Therefore, Thus .
Proof of Part (iii). Let be the Blaschke product defined in [6, Proposition 6.1, page 273]. This Blaschke product has the feature that for any there exists an exceptional set satisfying
and there exists a set , satisfying
and a constant , such that
Let . Then . Now define . We will now show that .
First, it is easily shown that as .
Note that since , we have . Therefore, since , And so Therefore, Using (2.21), we have on a small exceptional set with for , Taking the of both sides, we get So, calculating the following ratio yields
Proof of Part (iv). Let be a Blaschke product with zeros such that for all integers . Theorem B in Heittokangas  shows that is in for in , so is of bounded characteristic. Hence is in for in .
Remark 2.6. Since a Blaschke product is a bounded, analytic function, we see from parts (iii) and (iv) above that multiplication by such functions may or may not yield a function in .
Theorem 2.7. There exists an analytic function in such that , as .
Proof. First, we begin by constructing a function which has unbounded characteristic as , but its derivative is of bounded characteristic. This construction is from [7, page 557].
Let be an integer greater than or equal to 2. Define for , where is a constant such that . Now define where Shea showed in  that is analytic in the unit disk and satisfies where and are constants such that and is the maximum modulus function for . Choose and such that , so we can take . This implies that is bounded in the unit disk by the following argument: for , By (2.31), we have that Therefore, since , we have by a simple integration that
Let . Define where . Recall that . We now show that . First, we see that as , by the following: and since is bounded, there exists a constant such that Thus, , as . On the other hand, Therefore, as .
Now, we bound from above by using properties of the Nevanlinna characteristic: And so we have as and thus .
Now we show that as . By a quick calculation, we have Also we have from the above construction so there exists an such that . And so, Combining (2.40) and (2.41), we have
Remark 2.8. If we define to be the set of functions in such that (1.4) holds for all positive integers , Theorem 2.7 shows is properly contained in . Further, we note that in the proof of Theorem 2.7 above can be replaced with where . Also the idea of the proof of Theorem 2.7 can be used to show that for there exist functions in for which
for all integers , but
The function in the proof of Theorem 2.7 provides us with further information about .
Theorem 2.9. There exists a function in such that is not in .
Theorem 2.10. If is an analytic function in class , then (i) as ;(ii);(iii)if as , then .
Proof. For part (i) since is analytic in , we have
from which the result follows. Using the definition of the index of and of , part (ii) comes from (i).
To see (iii), we observe Thus, Dividing both sides of (2.49) by and taking the limit superior as approaches one, we get .
3. Connections between Class and Differential Equations
We discuss some relationships between the coefficients of the linear differential equation and its solutions and how the coefficients and solutions relate to class . We consider the complex linear differential equation in the unit disk, with analytic coefficients.
There has been a tremendous amount of recent research on the relationship between the growth of the solutions of (3.1) and the growth of the analytic coefficients in the unit disk. Some recent papers include [8–10]. We now quote some of the important results that have a connection with class and, therefore, class . The theorems use the definitions of the weighted Hardy space and weighted Bergman space which are stated below for convenience.
Definition 3.1. We say that an analytic function in the unit disk is in the weighted Hardy space for and if We say that is in if
Definition 3.2. We say that an analytic function in the unit disk, , is in the weighted Bergman space if the area integral over satisfies for and .
The theorems below also mention the Nevanlinna class , the meromorphic functions of bounded characteristic in . If a function is in , then it is not in , since only has functions of unbounded characteristic.
Theorem 3.3 (see [10, page 320]). Let be a nontrivial solution of (3.1) with analytic coefficients , , in the unit disk. Then we have that(i)if and for all , then ;(ii)if for all , or for all , then ;(iii)if for all , then .
Theorem 3.4 (see [10, page 320]). We have that(i)if all nontrivial solutions , then the coefficients for all ;(ii)if all nontrivial solutions , then the coefficients for all .
We also have the following characterization, which uses the order of growth of in the unit disk defined as
When in (3.1), we observe using Theorem 3.3, if with , then and, therefore, . We can also conclude that if , then and so . Also, if , then , which means may be in . On the other hand, using Theorem 3.4, we have if , then .
If , then is a solution of the differential equation. However, if for an integer , then is of bounded characteristic, but the solution has order and, therefore, . This shows the delicate nature between the growth of the coefficient and the solution; that is, a subtle change in growth of the coefficient can result in a solution that is no longer considered slow growth.
Corollary 3.6. Let be a non-trivial solution of (3.1) with analytic coefficients and in the unit disk. Then(i)if and for , then and ;(ii)if and or and , then and ;(iii)if and , then and, therefore, could be in ;(iv)if all non-trivial solutions , then and .
The function is a solution to the equation
Since has no zeros, another solution of the above second-order differential equation that is linearly independent of is
We know that , but what can be said about ? The above form of makes it difficult to calculate the growth, but we do know that, by (iii) in Corollary 3.6, if and , then .
Example 3.7. We show for and , and . To see , we first note
We integrate and apply a lemma from Tsuji [4, page 226] which states that, in particular,
and get that there exists a constant such that
which goes to zero as . Therefore, .
A similar calculation shows that .
The question as to whether is not a trivial question as there exist examples, such as Example 3.9 below, where at least one solution is in class and at least one solution is not in class .
Example 3.8. The function in Theorem 2.7 is a solution of (3.1) with when and . Then since
we have that
Now, recall from the proof of Theorem 2.7 that and since , by (3.15), we conclude that at least one of or has index greater than or equal to . Therefore, as a consequence of Theorem 2.7, we have a growth estimate for the coefficients of this differential equation.
It can also be shown that . However, is not in , and thus the converse of Corollary 3.6(iii) is not true.
For differential equations of the form (3.1) where , we first quote two examples.
The first example has some solutions of (3.1) in and some not.
Example 3.9 (see [9, Example 10, page 52]). The functions are linearly independent solutions of where It can be shown that . However, is of bounded characteristic and, therefore, . (It is known that has order zero but unknown if .) Also, according to , we have that , , and .
This next example is also from .
Example 3.10 (see [9, Example 11, page 53]). The functions are linearly independent solutions of where It is known that , , and are all in , and it is known that has order zero. Also, it can be shown that , , , and .
Proceeding as in the discussion of Example 3.8, we have the following theorem.
Theorem 3.11. If a function in satisfies a differential equation of the form (3.1) such that for all integers such that , then at least one of the analytic coefficients has index greater than or equal to as for some .
For nonhomogeneous differential equations of the form where is analytic in the disk for all , we state a result from  that applies to class .