Journal of Complex Analysis
Volume 2017 (2017), Article ID 3253095, 10 pages
https://doi.org/10.1155/2017/3253095

Research Article

Entire Functions of Bounded L-Index: Its Zeros and Behavior of Partial Logarithmic Derivatives

Andriy Bandura¹ and Oleh Skaskiv²

¹Department of Advanced Mathematics, Ivano-Frankivsk National Technical University of Oil and Gas, 15 Karpatska St., Ivano-Frankivsk 76019, Ukraine
²Department of Function Theory and Theory of Probability, Ivan Franko National University of Lviv, 1 Universytetska St, Lviv 79000, Ukraine

Correspondence should be addressed to Andriy Bandura; andriykopanytsia@gmail.com

Received 5 August 2017; Accepted 15 October 2017; Published 6 November 2017

Academic Editor: Stanislawa Kanas

Copyright © 2017 Andriy Bandura and Oleh Skaskiv. 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.

Abstract.

In this paper, we obtain new sufficient conditions of boundedness of -index in joint variables for entire function in functions. They give an estimate of maximum modulus of an entire function by its minimum modulus on a skeleton in a polydisc and describe the behavior of all partial logarithmic derivatives and the distribution of zeros. In some sense, the obtained results are new for entire functions of bounded index and -index in too. They generalize known results of Fricke, Sheremeta, and Kuzyk.

1. Introduction

In this paper, we find multidimensional sufficient conditions of boundedness of -index in joint variables, which describe distribution of zeros and behavior of partial logarithmic derivatives. Recently, we published a paper [1] where some similar restrictions are established. Another approach was used by a slice function , where is a given direction in is an entire function. It is a background for concept of function of bounded -index in direction (see definition and properties in [2, 3]). We proved that if an entire function in function is of bounded -index in every direction , then is of bounded -index in joint variables for (Theorem , [1]). It helped us to find restrictions by directional logarithmic derivatives and distribution zeros in every direction . We assumed that the logarithmic derivative in direction is bounded by a function outside some exceptional set, which contains all zeros of entire function (see definition of below). Prof. Chyzhykov paid attention in conversation with authors that this exceptional set is too small because it does not contain neighborhoods of some zeros of the function in Thus, it leads to the following question: is there sufficient conditions of boundedness of -index in joint variables with larger exceptional sets? We give a positive answer to this question (Theorem 10). Moreover, we obtain sufficient conditions of boundedness of -index in joint variables by estimating the maximum modulus of an entire function on the skeleton in polydisc by minimum modulus (Theorem 7). Theorems 9 and 10 present restrictions by a measure of zero set of an entire function , under which has bounded -index in joint variables. Nevertheless, we do not know whether the obtained conditions in Theorems 7–10 are necessary too in Note that these propositions are new even for entire functions of bounded index in joint variables, i. e. (see definition and properties in [4–8]).

It is known [9] that for every entire function with bounded multiplicities of zeros there exists a positive continuity on function () such that is of bounded -index. This result can be easily generalized for entire functions in Thus, the concept of bounded -index in joint variables allows the study of growth properties of any entire functions with bounded multiplicities of zero points.

It should be noted that the concepts of bounded -index in a direction and bounded -index in joint variables have few advantages in the comparison with traditional approaches to study properties of entire solutions of differential equations. In particular, if an entire solution has bounded index [10], then it immediately yields its growth estimates, a uniform distribution of its zeros, a certain regular behavior of the solution, and so forth. A full bibliography about application in theory of ordinary and partial differential equations is in [3, 11, 12].

The paper is devoted to two old problems in theory of entire and meromorphic functions. The first problem is the establishment of sharp estimates for the logarithmic derivatives of the functions in the unit disc outside some exceptional set. Chyzhykov et al. [13–16] considered various formulations of the problem. The obtained estimates were used to study properties of holomorphic solutions of differential equations. Instead, the authors assume that partial logarithmic derivative in every variable satisfies some inequalities (28) or (45).

Another interesting considered problem concerns zero sets of holomorphic function in The different estimates of measure of zero set and its geometrical properties are investigated in [17–22]. We suppose that zero points of entire functions admit uniform distribution in some sense, that is, (29).

Below we use results from Ukrainian papers [23, 24], but they are also included in English monographs [3, 11].

2. Main Definitions and Notations

We need some standard notations. Let . Denote , , .

For and denote , . For , , , we will use formal notations without violating the existence of these expressions:If the notation means that ; similarly, the relation is defined.

The polydisc is denoted by , its skeleton is denoted by , and the closed polydisc is denoted by For and partial derivatives of entire function we will use the notation

Let , where are positive continuous functions of , . An entire function, , is called a function of bounded -index in joint variables [1] if there exists a number such that for all and

If then we obtain a concept of entire functions of bounded -index in a sense of definition given in [24]. If , then the entire function is called a function of bounded index in joint variables [4–8, 25].

The least integer for which inequality (3) holds is called -index in joint variables of the function and is denoted by .

For , and we define

By we denote a class of functions which for every and satisfy the conditionIf then .

Let . A notation means that there exist , such that   .

3. Auxiliary Propositions

We need the following theorems.

Theorem 1 ([11, p. 158, Th. 4.2], see also [23]). Let and . An entire function has bounded -index in joint variables if and only if has bounded -index in joint variables.

Theorem 2 (see [1]). Let . An entire function is of bounded -index in joint variables if and only if, for any , , , there exists a number such that for every inequalityholds.

Remark 3. It was also proved that the condition “for any , , , there exists a number ” in Theorem 2 can be replaced by the condition “there exist , , , and ”. It is Theorem   in [1].

Now we relax the restriction in sufficient conditions.

Theorem 4. Let , be an entire function. If there exist , , , and such that for every inequality (6) holds; then the function has bounded -index in joint variables.

Proof. From (6) with it follows thatDenoting , we obtain where . In view of Remark 3, has bounded -index in joint variables. By Theorem 1, the function   is bounded -index in joint variables.

Note that Theorem 4 is new even if .

Lemma 5. If is a continuous function such that then .

Proof. Let i.e. . Hence, we have for . This means that . Using definition of , we deduceThus,

Remark 6. By Lemma 5 the left inequality in (5) is excessive because the condition implies . But in our considerations we will use so as It is convenient.

4. Estimate Maximum Modulus on a Skeleton in Polydisc

Let be a zero set of entire function We denote

Theorem 7. Let be an entire in function. If   , , , ( for ) such that , , for whichthen the function has bounded -index in joint variables ( is the Lebesgue measure on the skeleton in the polydisc).

Proof. By Theorem 4, we will show that Denote , , , . The following estimate holds Hence, there exists independent of such thatfor some because . Indeed,Thus, , where is the integer part of .
Let and be such a point in thatwhere , and be the intersection point in of the segment with . We construct a sequence of polydisc with , and (see Figures 1 and 2).
Denote . Hence, for every and . Thus, for some , , we deduce To deduce (18), we implicitly used thatCondition (11) provides (19). Indeed, we will find a lower estimate of measure of the set and will show that the measure is not lesser than a left part of inequality (11).
The set is a Cartesian product of the following arcs on circles: for every (see Figure 3)and for (see Figure 4)It is easy to prove that the length of arc equals But for and the argument in arccosine from (23) and (22) does not exceed . This means that the length of arc is not lesser thanbecause . Accordingly, the measure of the seton the skeleton of polydisc is always not lesser than . Assuming a strict inequality in (11), we deduce that (19) is valid.
Applying (18) th times in every variable , we obtainBy Theorem 2 the function has bounded -index in joint variables.

Figure 1

Figure 2

Figure 3: With .

Figure 4: With .

Let us denote . For Theorem 7 implies the following corollary.

Corollary 8. Let be an entire function. If , , , such that , and and then the function has bounded -index (here means the Lebesgue measure on the circle).

In a some sense, this corollary is new even for an entire function of one variable because the circle can contain zeros of the function Meanwhile, in corresponding theorem from [26, 27] the circle is chosen such that for all

5. Behavior of Partial Logarithmic Derivatives

Denote .

Theorem 9. Let . If an entire function satisfies the following conditions (1)for every there exists such that for all and for all  where is the principal value of logarithm.(2)for every and exists that for all such that , where the sets are connected disjoint sets, and either (a) , or (b) , or (c) , , and belong to the same set (3)for every there exists such that for all then has bounded -index in joint variables (here is -dimensional of the Lebesgue measure).

Proof. Let be arbitrarily chosen point. In view of Theorem 7 we need to prove thatLet be arbitrary radius. We choose , such that , Let , , be a volume measure in . Clearly, (see [28, p. 75-76])where is plurisubharmonic function. Hence, Obviously, there can exist points such that Let be the intersection point of the segment and the circle . Then and . Using , we estimate maximum distance between and Denote . Let be a -dimensional volume, a characteristic function of zero set of the function . Now we replace the measure in (33) by integrating on zero set in polydisc :Besides, we have thatHence, the following difference is positivebecause . From (36) it follows thatBy mean value theorem there exists with such thatHence, in view of (39) we obtain a desired inequalityClearly, for every point we have , where are connected disjoint sets, and is defined in condition (2). Let be such that . Then there exists such that . Let be such that . We choose , whereand deduceHence, By Theorem 7 the function has bounded -index in joint variables.

Let us to denote as Laplace operator. We will consider as generalized function. Using some known results from potential theory, we can rewrite Theorem 9 as follows.

Theorem 10. Let . If an entire function satisfies the following conditions (1)for every there exists such that for all and for every  where is the principal value of logarithm.(2)for every and exists that for all such that , where the sets are connected disjoint sets, and either (a) , or (b) , or (c) , , and , belong to the same set (3)for every there exists such that for all then has bounded -index in joint variables.

Proof. Ronkin [28, p. 230] deduced the following formula for entire function:where is a multiplicity of zero point of the function at point , is arbitrary radius. Let be a characteristic function of zero set of . Then . Hence, that is, inequality (29) holds.
Now we want to prove that (45) implies (28). For every and , Cauchy’s integral formula can be written in the following formwhere is such that .
If and , then for every Let us consider the set . We want to find the greatest radius such that :Thus, for . Using (45), we obtain that for every where . Thus, we proved that inequality (28) is valid.

For Theorem 9 implies the following corollary.

Corollary 11. Let be an entire in function, a number of zeros of the in the disc . If the function satisfies the following conditions: (1)for every there exists such that for all (2)for every and exists that for all such that , where the sets are connected disjoint sets, and either (a) , or (b) , or (c) , , and , belong to the same set (3)for every there exists such that for all , then has bounded -index.

It is known (see [12, 27, 29]) that in one-dimensional case conditions (1) and (3) of Corollary 11 are necessary and sufficient for boundedness of -index or index. Thus, condition (2) is excessive in the case. But for , it is required because is a multiply connected domain, when contains zeros of the function .

We need some notations from [1]. Let be a given direction. For a given we denote . If one has for all , then ; if , then . And if and are zeros of the function , then , . Let

Remark 12. In [1, Theorem ], sufficient conditions of boundedness of -index in joint variables were obtained, which are similar to Theorem 10. Particularly, we assumed the validity of inequality (45) for all . However, , where . Thus, condition (1) in Theorem 10 is weaker than the corresponding assumption in Theorem from [1].

Conflicts of Interest

The authors declare that they have no conflicts of interest.

References

A. I. Bandura, M. T. Bordulyak, and O. B. Skaskiv, “Sufficient conditions of boundedness of L-index in joint variables,” Matematychni Studii, vol. 45, no. 1, pp. 12–26, 2016.

A. I. Bandura and O. B. Skaskiv, “Open problems for entire functions of bounded index in direction,” Matematychni Studii, vol. 43, no. 1, pp. 103–109, 2015.

A. Bandura and O. Skaskiv, Entire Functions of Several Variables of Bounded Index, I. E. Chyzhykov, Ed., Chyslo, Publisher, Lviv, Ukraine, 2016, http://chyslo.com.ua/.

B. C. Chakraborty and T. K. Samanta, “On entire functions of bounded index in several complex variables,” Journal of Pure Mathematics, vol. 17, pp. 53–71, 2000.

G. J. Krishna and S. M. Shah, “Functions of bounded indices in one and several complex variables,” in Mathematical Essays Dedicated to A. J. Macintyre, pp. 223–235, Ohio Univ. Press, Athens, Ohio, USA, 1970.

F. Nuray and R. F. Patterson, “Entire bivariate functions of exponential type,” Bulletin of Mathematical Sciences, vol. 5, no. 2, pp. 171–177, 2015.

F. Nuray and R. F. Patterson, “Multivalence of bivariate functions of bounded index,” Le Matematiche, vol. 70, no. 2, pp. 225–233, 2015.

R. F. Patterson and F. Nuray, “A characterization of holomorphic bivariate functions of bounded index,” Mathematica Slovaca, vol. 67, no. 3, pp. 731–736, 2017.

M. T. Bordulyak, “A proof of Sheremeta conjecture concerning entire function of bounded l-index,” Matematychni Studii, vol. 12, no. 1, pp. 108–110, 1999.

A. Bandura, O. Skaskiv, and P. Filevych, “Properties of entire solutions of some linear PDE's,” Journal of Applied Mathematics and Computational Mechanics, vol. 16, no. 2, pp. 17–28, 2017.

A. Bandura and O. Skaskiv, “Entire functions of several variables of bounded L-index in direction and of bounded index in joint variables,” 2015, https://arxiv.org/abs/1508.07486.

M. Sheremeta, Analytic Functions of Bounded Index, VNTL Publishers, Lviv, Ukraine, 1999.

I. Chyzhykov, G. G. Gundersen, and J. Heittokangas, “Linear differential equations and logarithmic derivative estimates,” Proceedings of the London Mathematical Society. Third Series, vol. 86, no. 3, pp. 735–754, 2003.

I. Chyzhykov, J. Heittokangas, and J. Rättyä, “Sharp logarithmic derivative estimates with applications to ordinary differential equations in the unit disc,” Journal of the Australian Mathematical Society, vol. 88, no. 2, pp. 145–167, 2010.

J. Heittokangas, R. Korhonen, and J. Rättyä, “Generalized logarithmic derivative estimates of gol'dberg and grinshtein type,” Bulletin of the London Mathematical Society, vol. 36, no. 1, pp. 105–114, 2004.

J. Heittokangas, “Growth estimates for logarithmic derivatives of Blaschke products and of functions in the Nevanlinna class,” Kodai Mathematical Journal, vol. 30, no. 2, pp. 263–279, 2007.

J. Agler, J. E. McCarthy, and M. Stankus, “Local geometry of zero sets of holomorphic functions near the torus,” New York Journal of Mathematics, vol. 14, pp. 517–538, 2008.

H. Ahn and H. R. Cho, “Zero sets of holomorphic functions in the Nevanlinna type class on convex domains in C2,” Japanese Journal of Mathematics, vol. 28, no. 2, pp. 245–260, 2002.

A. Cumenge, “Zero sets of functions in the Nevanlinna or the Nevanlinna-Djrbachian classes,” Pacific Journal of Mathematics, vol. 199, no. 1, pp. 79–92, 2001.

M. Jasiczak, “Remark on zero sets of holomorphic functions in convex domains of finite type,” Canadian Mathematical Bulletin. Bulletin Canadien de Mathématiques, vol. 53, no. 2, pp. 311–320, 2010.

M. Kanter, “Gauss-Lucas theorems for entire functions on ,” Complex Variables and Elliptic Equations. An International Journal, vol. 60, no. 1, pp. 93–98, 2015.

J. Lundqvist, “An explicit calculation of the Ronkin function,” Annales de la Faculté des Sciences de Toulouse, vol. 24, no. 2, pp. 227–250, 2015.

A. Bandura, M. Bordulyak, and O. Skaskiv, “Sufficient conditions of boundedness of L-index in joint variables,” Matematychni Studii, vol. 45, no. 1, pp. 12–26, 2016.

M. T. Bordulyak and M. M. Sheremeta, “Boundedness of the L-index of an entire function of several variables,” Dopividi Akademiï Nauk Ukraïni, no. 9, pp. 10–13, 1993.

M. Salmassi, “Functions of bounded indices in several variables,” Indian Journal of Mathematics, vol. 31, no. 3, pp. 249–257, 1989.

G. H. Fricke, “Entire functions of locally slow growth,” Journal d'Analyse Mathematique, vol. 28, no. 1, pp. 101–122, 1975.

M. N. Sheremeta and A. D. Kuzyk, “Logarithmic derivative and zeros of an entire function of bounded l-index,” Siberian Mathematical Journal, vol. 33, no. 2, pp. 304–312, 1992.

L. I. Ronkin, “Introduction to theory of entire functions of several variables,” Translations of Mathematical Monographs, vol. 44, 273 pages, 1974.

G. H. Fricke, “Functions of bounded index and their logarithmic derivatives,” Mathematische Annalen, vol. 206, pp. 215–223, 1973.