JCA Journal of Complex Analysis 2314-4971 2314-4963 Hindawi 10.1155/2017/3253095 3253095 Research Article Entire Functions of Bounded L-Index: Its Zeros and Behavior of Partial Logarithmic Derivatives http://orcid.org/0000-0003-0598-2237 Bandura Andriy 1 Skaskiv Oleh 2 Kanas Stanislawa 1 Department of Advanced Mathematics Ivano-Frankivsk National Technical University of Oil and Gas 15 Karpatska St. Ivano-Frankivsk 76019 Ukraine nung.edu.ua 2 Department of Function Theory and Theory of Probability Ivan Franko National University of Lviv 1 Universytetska St Lviv 79000 Ukraine lnu.edu.ua 2017 6112017 2017 05 08 2017 15 10 2017 6112017 2017 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.

In this paper, we obtain new sufficient conditions of boundedness of L-index in joint variables for entire function in Cn 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 l-index in C too. They generalize known results of Fricke, Sheremeta, and Kuzyk.

1. Introduction

In this paper, we find multidimensional sufficient conditions of boundedness of L-index in joint variables, which describe distribution of zeros and behavior of partial logarithmic derivatives. Recently, we published a paper  where some similar restrictions are established. Another approach was used by a slice function F(z0+tb), where z0Cn,tC,b is a given direction in Cn{0},F:CnC is an entire function. It is a background for concept of function of bounded L-index in direction (see definition and properties in [2, 3]). We proved that if an entire function in Cn function F is of bounded lj-index in every direction 1j=(0,,0,1jthplace,0,,0), then F is of bounded L-index in joint variables for L=(l1,,ln),lj:CnR+ (Theorem 6, ). It helped us to find restrictions by directional logarithmic derivatives and distribution zeros in every direction 1j,j{1,,n}. We assumed that the logarithmic derivative in direction 1j is bounded by a function lj outside some exceptional set, which contains all zeros of entire function F (see definition of Grb(F) 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 Cn. Thus, it leads to the following question: is there sufficient conditions of boundedness of L-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 L-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 F, under which F has bounded L-index in joint variables. Nevertheless, we do not know whether the obtained conditions in Theorems 710 are necessary too in Cn,(n2). Note that these propositions are new even for entire functions of bounded index in joint variables, i. e. L=(1,,1) (see definition and properties in ).

It is known  that for every entire function f with bounded multiplicities of zeros there exists a positive continuity on [0;+) function l(r) (r=|z|) such that f is of bounded l-index. This result can be easily generalized for entire functions in Cn. Thus, the concept of bounded L-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 L-index in a direction and bounded L-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 , 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.  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 Cn. The different estimates of measure of zero set and its geometrical properties are investigated in . 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 R+=[0,+). Denote 0=(0,,0)R+n, 1=(1,,1)R+n,2=(2,,2)R+n, 1j=(0,,0,1jthplace,0,,0)R+n.

For R=(r1,,rn)R+n and K=(k1,,kn)Z+n denote R=r1++rn, K!=k1!··kn!. For =(a1,,an)Cn, b=(b1,,bn)Cn, z=(z1,,zn)Cn, we will use formal notations without violating the existence of these expressions:(1)a=a1,a2,,an,A±B=a1±b1,,an±bn,AB=a1b1,,anbn,AB=a1b1,,anbn,AB=a1b1a2b2··anbn,dz=dz1dz2dzn.If a,bRn the notation a<b means that aj<bj(j=1,,n); similarly, the relation ab is defined.

The polydisc {zCn:|zj-zj0|<rj,j=1,,n} is denoted by Dn(z0,R), its skeleton zCn:zj-zj0=rj,j=1,,n is denoted by Tn(z0,R), and the closed polydisc zCn:zj-zj0rj,j=1,,n is denoted by Dn[z0,R]. For K=(k1,,kn)Z+n and partial derivatives of entire function F(z)=F(z1,,zn) we will use the notation (2)FKz=KFzK=k1++knfz1k1znkn.

Let L(z)=(l1(z),,ln(z)), where lj(z) are positive continuous functions of zCn, j{1,2,,n}. An entire function, F(z),zCn, is called a function of bounded L-index in joint variables  if there exists a number mZ+ such that for all zCn and J=(j1,j2,,jn)Z+n(3)FJzJ!LJzmaxFKzK!LKz:KZ+n,Km.

If lj=lj(|zj|) then we obtain a concept of entire functions of bounded L-index in a sense of definition given in . If lj(zj)1,j{1,2,,n}, then the entire function is called a function of bounded index in joint variables [48, 25].

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

For RR+n, j{1,,n} and L(z)=(l1(z),,ln(z)) we define(4)λ1,jR=infz0Cninfljzljz0:zDnz0,RLz0,λ2,jR=supz0Cnsupljzljz0:zDnz0,RLz0,Λ1R=λ1,jR,,λ1,nR,Λ2R=λ2,1R,,λ2,nR.

By Qn we denote a class of functions L(z) which for every RR+n and j{1,,n} satisfy the condition(5)0<λ1,jRλ2,jR<+.If n=1 then QQ1.

Let L~(z)=(l~1(z),,l~n(z)). A notation LL~ means that there exist Θ1=(θ1,j,,θ1,n)R+n, Θ2=(θ2,j,,θ2,n)R+n such that zCn  θ1,jl~j(z)lj(z)θ2,jl~j(z).

3. Auxiliary Propositions

We need the following theorems.

Theorem 1 ([<xref ref-type="bibr" rid="B8">11</xref>, p. 158, Th. 4.2], see also [<xref ref-type="bibr" rid="B4">23</xref>]).

Let LQn and LL~. An entire function F:CnC has bounded L~-index in joint variables if and only if F has bounded L-index in joint variables.

Theorem 2 (see [<xref ref-type="bibr" rid="B3">1</xref>]).

Let LQn. An entire function F is of bounded L-index in joint variables if and only if, for any R, R, 0<R<R, there exists a number p1=p1(R,R)1 such that for every z0Cn inequality(6)maxFz:zTnz0,RLz0p1maxFz:zTnz0,RLz0.holds.

Remark 3.

It was also proved that the condition “for any R, R, 0<R<R, there exists a number p1=p1R,R1” in Theorem 2 can be replaced by the condition “there exist R, R, 0<R<1<R, and p1=p1R,R1”. It is Theorem  5 in .

Now we relax the restriction R<1<R in sufficient conditions.

Theorem 4.

Let LQn, F:CCn be an entire function. If there exist R, R, 0<R<R, and p1=p1R,R1 such that for every z0Cn inequality (6) holds; then the function F has bounded L-index in joint variables.

Proof.

From (6) with 0<R<R it follows that(7)maxFz:zTnz0,2RR+RR+R2Lz0P1maxFz:zTnz0,2RR+RR+R2Lz0.Denoting L~z=2Lz/R+R, we obtain (8)maxFz:zTnz0,2RR+RL~z0P1maxFz:zTnz0,2RR+RL~z0,where 0<2R/R+R<1<2R/R+R. In view of Remark 3, F has bounded L~-index in joint variables. By Theorem 1, the function  F is bounded L-index in joint variables.

Note that Theorem 4 is new even if L(z)1.

Lemma 5.

If L:CnR+ is a continuous function such that (RR+n)Λ2(R)< then (RR+n)Λ1(R)1/Λ2(RΛ2(R))>0.

Proof.

Let (RR+n)Λ2(R)< i.e. j{1,,n}λ2,j(R)<+. Hence, we have lj(z)λ2,j(R)lj(z0) for zDn(z0,R/L(z0)). This means that zj-zj0rj/lj(z0)rjλ2,j(R)/lj(z). Using definition of λ1,j(R), we deduce(9)infljzljz0:zDnz0,RLz0=1supljz0/ljz:zDnz0,R/Lz01supljz0/ljz:zj0-zjrjλ2,jR/ljz,j1,,n1λ2,jRΛ2R.Thus, λ1,j(R)1/λ2,j(RΛ2(R)).

Remark 6.

By Lemma 5 the left inequality in (5) is excessive because the condition λ2,j(R)<+ implies λ1,j(R)>0. But in our considerations we will use so Λ1(R) as Λ2(R). It is convenient.

4. Estimate Maximum Modulus on a Skeleton in Polydisc

Let ZF be a zero set of entire function F. We denote(10)GRF=z0ZFzCn:zj-zj0<rjljz0j1,2,,n=z0ZFDnz0,RLz0.

Theorem 7.

Let LQn,F be an entire in Cn function. If   R>0p21ΘR+n, 0<Θ<R, R>0, (R=0 for ZF=) such that z0CnR0=R0(z0)R+n, ΘR0R, for which(11)measTnz0,R0Lz0GRF<2π3nj=1nθjλ2,j2R+1ljz0,(12)maxFz:zTnz0,R0Lz0p2minFz:zTnz0,R0Lz0GRFthen the function F has bounded L-index in joint variables (meas is the Lebesgue measure on the skeleton in the polydisc).

Proof.

By Theorem 4, we will show that p1>0z0Cn(13)maxFz:zTnz0,R+1Lz0p1maxFz:zTnz0,RLz0.Denote lj=maxlj(z):zDnz0,2(R+1)/L(z0), ρj,0=rj/lj(z0), ρj,k=ρj,0+k·θj/lj, kN,j{1,,n}. The following estimate holds (14)θjlj<rjljrjljz0<2rj+2ljz0-rj+1ljz0.Hence, there exists S=(s1,,sn)N independent of z0 such that(15)ρj,mj-1<rj+1ljz0<ρj,mj2rj+2ljz0for some mj=mj(z0)sj because LQn. Indeed,(16)2rj+2/ljz0-ρj,0θj/lj=2rj+2-rjljθjljz0=rj+2θjmaxljzljz0:zDnz0,2R+1Lz0rj+2θjλ2,j2R+1.Thus, sj=rj+2/θjλ2,j(2(R+1)), where x is the integer part of xR.

Let M0=(m1,,mn) and τK be such a point in Cn that(17)FτK=maxFz:zTnz0,RK,where K=(k1,,kn), RK=(ρ1,k1,,ρn,kn) and τj,K be the intersection point in C of the segment [zj0,τj,K] with |zj-zj0|=ρj,kj-1. We construct a sequence of polydisc Dn(z0,RK) with KM0, R0=R/L(z0)=(ρ1,0,,ρn,0) and Θ/L(z0)=(θ1/l1,,θn/ln) (see Figures 1 and 2).

Denote αK(j)=(τ1,K,,τj-1,K,τj,K,τj+1,K,,τn,K). Hence, for every rj>θj and KS:τj,K-τj,K=θj/ljrj/lj(αK(j)). Thus, for some R0=R0(αK(j))R+n, ΘR0R, we deduce (18)FτKmaxFz:zTnαKj,R0LαKjp2minFz:zTnαKj,R0LαKjGRFp2minFz:zTnαKj,R0LαKjGRF,zDnz0,RK-1jp2maxFz:zTnz0,RK-1j.To deduce (18), we implicitly used that(19)TnαKj,R0LαKjGRFDnz0,RK-1j.Condition (11) provides (19). Indeed, we will find a lower estimate of measure of the set Tn(αK(j),R0/L(αK(j)))Dn[z0,RK-1j] and will show that the measure is not lesser than a left part of inequality (11).

The set Tn(αK(j),R0/L(αK(j)))Dn[z0,RK-1j] is a Cartesian product of the following arcs on circles: for every m{1,,n},mj (see Figure 3)(20)zmC:zm-τm,K=rm0lmαKjzmC:zm-zm0ρm,kmand for m=j (see Figure 4)(21)zjC:zj-τj,K=rj0ljαKjzjC:zj-zj0ρj,kj-1.It is easy to prove that the length of arc equals (22)2rm0lmαKj·arccosrm02lmαKjρm,kmfor  mj,(23)2rj0ljαKj·arccosrj02ljαKjρj,kj-1for  m=j.But for mjrm0/lm(αK(j))ρm,km and rj0/lj(αK(j))ρj,kj-1 the argument in arccosine from (23) and (22) does not exceed 1/2. This means that the length of arc is not lesser than(24)2rm0lmαKjarccos122θmπ3lmz0λ2,m2R+1for  every  m1,2,,n,because LQn. Accordingly, the measure of the set(25)TnαKj,R0LαKjDnz0,RK-1jon the skeleton of polydisc is always not lesser than m=1n2θmπ/3lm(z0)λ2,m(2(R+1)). Assuming a strict inequality in (11), we deduce that (19) is valid.

Applying (18) mjth times in every variable zj, we obtain(26)maxFz:zTnz0,R+1Lz0maxFz:zTnz0,RM0p2maxFz:zTnz0,RM0-1np2mnmaxFz:zTnz0,RM0-mn1np2mn+1maxFz:zTnz0,RM0-mn1n-1n-1p2mn+mn-1maxFz:zTnz0,RM0-mn1n-mn-11n-1p2M0maxFz:zTnz0,R0p2SmaxFz:zTnz0,RLz0.By Theorem 2 the function F has bounded L-index in joint variables.

With r=rm0/lmαKj.

With r=rj0/ljαKj.

Let us denote c(z,r)={zC:z-z=r/l(z)}. For n=1 Theorem 7 implies the following corollary.

Corollary 8.

Let lQ,f be an entire function. If r>0, r0, p21θ(0,r), such that z0Cr0=r0(z0)[θ;r], and measc(z0,r0)GR(F)<2πθ/3l(z0)λ2(2r+2) and (27)maxfz:zcz0,r0p2minfz:zcz0,r0Grfthen the function f has bounded l-index (here meas 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 c(z0,r0) can contain zeros of the function f. Meanwhile, in corresponding theorem from [26, 27] the circle c(z0,r0) is chosen such that f(z)0 for all zc(z0,r0).

5. Behavior of Partial Logarithmic Derivatives

Denote J={(j1,,jn):ji{0,1},i{1,,n}}0.

Theorem 9.

Let LQn. If an entire function F satisfies the following conditions

for every R>0 there exists p1=p1(R)>0 such that for all zCnGR(F) and for all JJ(28)lnFzJp1LJz,

where lnF(z) is the principal value of logarithm.

for every R>0 and R0 exists p2=p2(R,R)1 that for all z0Cn such that Tn(z0,R/L(z0))GR(F)=iCi, where the sets Ci are connected disjoint sets, and either (a) maximinzCi|F(z)|p2miniminzCi|F(z)|, or (b) maximaxzCi|F(z)|p2minimaxzCi|F(z)|, or (c) |F(z)|=maximaxzCi|F(z)|, |F(z)|=miniminzCi|F(z)|, and z,z belong to the same set Ci0

for every R>0 there exists n(R)>0 such that for all zCn(29)measZFDnz,RLznR.

then F has bounded L-index in joint variables (here meas is (2n-2)-dimensional of the Lebesgue measure).

Proof.

Let z0Cn be arbitrarily chosen point. In view of Theorem 7 we need to prove that(30)measTnz0,R0Lz0GRF<2π3nj=1nθjλ2,j2R+1ljz0for  some  R0=R0z0.Let R>0 be arbitrary radius. We choose Θ, RR+n such that θj<2rj/2+3λ2,j(2(R+1)), (31)rj<minθj,2λ1,j2R+RΛ2R/Λ1Rθjrj-θj3nR+RΛ2R/Λ1R1/nλ2,j2R+1,j1,,n.Let dS=ds1··dsn, S=(s1,,sn), ωz be a volume measure in R2n. Clearly, (see [28, p. 75-76])(32)Dnz0,Ruzdωz=0r10rns1sn02π02πuz0+SeiΘdθ1dθnds1dsn=0R02π02πuz0+SeiΘds1θ1dsnθndS,where u is plurisubharmonic function. Hence, (33)0R/Lz0measTnz0,SGRFdS=measDnz0,RLz0GRF.Obviously, there can exist points zZFDn[z0,R/L(z0)] such that (34)Dnz0,RLz0Dnz,RLz.Let zj be the intersection point of the segment [zj0,zj] and the circle zj-zj0=rj/lj(z0),j{1,,n}. Then zj-zjrj/ljz and zTn(z0,R/L(z0)). Using LQn, we estimate maximum distance between zj0 and zj:(35)ljzljzljz·ljzljz0·ljz0λ1,jRλ2,jR·ljz0λ1,jRλ2,jRljz0,zj0-zjz0-zj+zj-zjrjljz0+rjljzjrjljz01+λ2,jRλ1,jR.Denote R=R+RΛ2(R)/Λ1(R). Let V2n-2 be a (2n-2)-dimensional volume, χF(z) a characteristic function of zero set of the function F. Now we replace the measure in (33) by integrating on zero set in polydisc Dn[z0,R/L(z0)]:(36)0R/Lz0measTnz0,SGRFdSZFDnz0,R/Lz0χFzπnj=1nrj2lj2zdV2n-2πnj=1nrj2λ1,j2Rlj2z0ZFDnz0,R/Lz0χFzdV2n-2nRπnj=1nrj2λ1,j2Rlj2z0<nRπnj=1n2λ1,j2R+RΛ2R/Λ1Rθjrj-θj3nR+RΛ2R/Λ1R1/nλ2,j2R+1λ1,j2Rlj2z0=2π3nj=1nθjrj-θjλ2,j2R+1lj2z0.Besides, we have that(37)0Θ/Lz0measTnz0,SGRFdS=measDnz0,ΘLz0GRFπnj=1nθj2lj2z0.Hence, the following difference is positive(38)2π3nj=1nθjrj-θjλ2,j2R+1lj2z0-0Θ/Lz0measTnz0,SGRFdS2π3nj=1nθjrj-θjλ2,j2R+1lj2z0-πnj=1nθj2lj2z0=πnj=1nθjlj2z02rj-θj2+3λ2,j2R+13λ2,j2R+1>0because θj<2rj/2+3λ2,j(2(R+1)). From (36) it follows that(39)Θ/Lz0R/Lz0measTnz0,SGRFdS<2π3nj=1nθjrj-θjλ2,j2R+1lj2z0-0Θ/Lz0measTnz0,SGRFdS2π3nj=1nθjrj-θjλ2,j2R+1lj2z0.By mean value theorem there exists R0=R0(z0) with rj[θj,rj] such that(40)Θ/Lz0R/Lz0measTnz0,SGRFdS=measTnz0,R0Lz0GRFj=1nrj-θjljz0.Hence, in view of (39) we obtain a desired inequality(41)measTnz0,R0Lz0GRF<2π3nj=1nθjλ2,j2R+1ljz0.

Clearly, for every point z0Cn we have Tn(z0,R0/Lz0)ZF=iCi, where Ci are connected disjoint sets, CiCi and Ci is defined in condition (2). Let zTn(z0,R/L(z0)) be such that |F(z)=max|F(z)|:zTn(z0,R0/L(z0)). Then there exists i0 such that zCi0. Let zCi0Ci0 be such that |F(z)|=minzCi0|F(z)|. We choose J=(j1,,jn)J, where(42)ji=1,zizi,0,zi=zi,i1,,n,and deduce(43)lnFzFzzzlnFzJdzJzzp1LJzdzJp1LJz0Λ2JR·πRJLJz0πnp1RJΛ2JR.Hence, (44)maxFz:zTnz0,R0Lz0=Fzexpπnp1RJΛ2JRFz=expπnp1RJΛ2JRminzCi0Fzexpπnp1RJΛ2JRp2miniminzCiFz=expπnp1RJΛ2JRp2minFz:zTnz0,R0Lz0GRF.By Theorem 7 the function F has bounded L-index in joint variables.

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

Theorem 10.

Let LQn. If an entire function F satisfies the following conditions

for every R>0 there exists p1=p1(R)>0 such that for all zCnGR(F) and for every j{1,,n}(45)lnFzzjp1ljz,

where lnF(z) is the principal value of logarithm.

for every R>0 and R0 exists p2=p2(R,R)1 that for all z0Cn such that Tn(z0,R/L(z0))GR(F)=iCi, where the sets Ci are connected disjoint sets, and either (a) maximinzCi|F(z)|p2miniminzCi|F(z)|, or (b) maximaxzCiFzp2minimaxzCiFz, or (c) |F(z)|=maximaxzCi|F(z)|, |F(z)|=miniminzCi|F(z)|, and z, z belong to the same set Ci0

for every R>0 there exists n(R)>0 such that for all zCn(46)Dnz0,R/Lz0ΔlnFdV2nnR

then F has bounded L-index in joint variables.

Proof.

Ronkin [28, p. 230] deduced the following formula for entire function:(47)Dn0,RΔlnFdV2n=2πZFDn0,RγFzdV2n-2,where γF(z) is a multiplicity of zero point of the function F at point z, RR+n is arbitrary radius. Let χF(z) be a characteristic function of zero set of F. Then χF(z)γF(z). Hence, (48)measZFDnz0,RLz0=ZFDnz0,R/Lz0χFzdV2n-2ZFDnz0,R/Lz0γFzdV2n-2=12πDnz0,R/Lz0ΔlnFdV2nnR2π;that is, inequality (29) holds.

Now we want to prove that (45) implies (28). For every JJk=1n1k and z0CnGR(F), Cauchy’s integral formula can be written in the following form(49)lnFz0J=J!2πinTnz0,R/Lz0lnFz1mz-z0J-1m+1dz,where m is such that jm=1.

If z0CnGR(F) and zZFGRF, then for every j{1,,n}(50)zj0-zjrjljzrjλ1,jRljz0>rjλ1,jR2ljz0.Let us consider the set A=z0CnGR(F)Tn(z0,RΛ1(R)/2L(z0)). We want to find the greatest radius RR+n such that GR(F)A=:(51)RLz-RΛ1R2Lz0RLz-RΛ1R2Λ1RLz=R2Lz.Thus, for R=R/3ACnGR(F). Using (45), we obtain that for every z0CnGR(F)(52)lnFz0J12πnTnz0,RΛ1R/2Lz0lnFz1mz-z0J-1m+1dz12πnTnz0,RΛ1R/2Lz02Lz0RΛ1RJ-1m+1p113Rlmzdz12πnTnz0,RΛ1R/2Lz02Lz0RΛ1RJ-1m+1p113Rλ2,m0.5RΛ1Rlmz0dz=rmλ1,mR22πn2Lz0RΛ1RJ+1p113Rλ2,m0.5RΛ1RTnz0,RΛ1R/2Lz0dz=0.5rmλ1,mRp113Rλ2,m0.5RΛ1R2Lz0RΛ1RJCRLJz0,where C(R)=0.5p11/3RmaxJJ{λ2,m0.5RΛ1Rrmλ1,m(R)2/RΛ1(R)J}. Thus, we proved that inequality (28) is valid.

For n=1 Theorem 9 implies the following corollary.

Corollary 11.

Let lQ,f be an entire in C function, n(r,z0,f) a number of zeros of the f in the disc |z-z0|r/l(z0). If the function f satisfies the following conditions:

for every r>0 there exists p1=p1(r)>0 such that for all zCGr(f)(53)fzfzp1lz,

for every r>0 and r0 exists p2=p2(r,r)1 that for all z0C such that zC:z-z0=r/lz0Gr(f)=iCi, where the sets Ci are connected disjoint sets, and either (a) maximinzCifzp2miniminzCifz, or (b) maximaxzCifzp2minimaxzCi|f(z)|, or (c) |f(z)|=maximaxzCi|f(z)|, |f(z)|=miniminzCi|f(z)|, and z, z belong to the same set Ci0

for every r>0 there exists n(r)>0 such that for all z0Cn(r,z0,f)n(r),

then f has bounded l-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 l-index or index. Thus, condition (2) is excessive in the case. But for Cn(n2), it is required because Dn[z0,R/L(z0)]GR(F) is a multiply connected domain, when Dn[z0,R/L(z0)] contains zeros of the function F.

We need some notations from . Let bCn{0} be a given direction. For a given z0Cn we denote gz0(t)F(z0+tb). If one has gz0(t)0 for all tC, then Grb(F,z0); if gz0(t)0, then Grb(F,z0){z0+tb:tC}. And if gz0(t)0 and ak0 are zeros of the function gz0(t), then Grb(F,z0)k{z0+tb:|t-ak0|r/L(z0+ak0b)}, r>0. Let (54)GrbF=z0CnGrbF,z0.

Remark 12.

In [1, Theorem 8], sufficient conditions of boundedness of L-index in joint variables were obtained, which are similar to Theorem 10. Particularly, we assumed the validity of inequality (45) for all zCnGrj1j(F),j{1,2,,n}. However, Grj1j(F)GR(F), where R=(r1,,rn). Thus, condition (1) in Theorem 10 is weaker than the corresponding assumption in Theorem 8 from .

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Bandura A. I. Bordulyak M. T. Skaskiv O. B. Sufficient conditions of boundedness of L-index in joint variables Matematychni Studii 2016 45 1 12 26 10.15330/ms.45.1.12-26 MR3561322 Bandura A. I. Skaskiv O. B. Open problems for entire functions of bounded index in direction Matematychni Studii 2015 43 1 103 109 10.15330/ms.43.1.103–109 MR3408631 Bandura A. Skaskiv O. Chyzhykov I. E. Entire Functions of Several Variables of Bounded Index 2016 Lviv, Ukraine Chyslo, Publisher http://chyslo.com.ua/ Chakraborty B. C. Samanta T. K. On entire functions of bounded index in several complex variables Journal of Pure Mathematics 2000 17 53 71 MR1840581 Zbl1053.32502 Krishna G. J. Shah S. M. Functions of bounded indices in one and several complex variables Mathematical Essays Dedicated to A. J. Macintyre 1970 Athens, Ohio, USA Ohio Univ. Press 223 235 MR0271345 Nuray F. Patterson R. F. Entire bivariate functions of exponential type Bulletin of Mathematical Sciences 2015 5 2 171 177 10.1007/s13373-015-0066-x MR3354032 Zbl1317.30033 2-s2.0-84942233497 Nuray F. Patterson R. F. Multivalence of bivariate functions of bounded index Le Matematiche 2015 70 2 225 233 MR3437188 Patterson R. F. Nuray F. A characterization of holomorphic bivariate functions of bounded index Mathematica Slovaca 2017 67 3 731 736 10.1515/ms-2017-0005 MR3660753 Zbl06738464 Bordulyak M. T. A proof of Sheremeta conjecture concerning entire function of bounded l-index Matematychni Studii 1999 12 1 108 110 MR1737836 Bandura A. Skaskiv O. Filevych P. Properties of entire solutions of some linear PDE's Journal of Applied Mathematics and Computational Mechanics 2017 16 2 17 28 10.17512/jamcm.2017.2.02 MR3671887 Bandura A. Skaskiv O. 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 Sheremeta M. Analytic Functions of Bounded Index 1999 Lviv, Ukraine VNTL Publishers MR1751042 Chyzhykov I. Gundersen G. G. Heittokangas J. Linear differential equations and logarithmic derivative estimates Proceedings of the London Mathematical Society. Third Series 2003 86 3 735 754 10.1112/S0024611502013965 MR1974397 2-s2.0-0038053139 Chyzhykov I. Heittokangas J. Rättyä J. Sharp logarithmic derivative estimates with applications to ordinary differential equations in the unit disc Journal of the Australian Mathematical Society 2010 88 2 145 167 10.1017/S1446788710000029 MR2629927 Heittokangas J. Korhonen R. Rättyä J. Generalized logarithmic derivative estimates of gol'dberg and grinshtein type Bulletin of the London Mathematical Society 2004 36 1 105 114 10.1112/S0024609303002649 Heittokangas J. Growth estimates for logarithmic derivatives of Blaschke products and of functions in the Nevanlinna class Kodai Mathematical Journal 2007 30 2 263 279 10.2996/kmj/1183475517 MR2343423 Zbl1134.30025 Agler J. McCarthy J. E. Stankus M. Local geometry of zero sets of holomorphic functions near the torus New York Journal of Mathematics 2008 14 517 538 MR2448658 Zbl1153.14002 2-s2.0-54249167603 Ahn H. Cho H. R. Zero sets of holomorphic functions in the Nevanlinna type class on convex domains in C2 Japanese Journal of Mathematics 2002 28 2 245 260 MR1947903 Cumenge A. Zero sets of functions in the Nevanlinna or the Nevanlinna-Djrbachian classes Pacific Journal of Mathematics 2001 199 1 79 92 10.2140/pjm.2001.199.79 MR1847148 Jasiczak M. Remark on zero sets of holomorphic functions in convex domains of finite type Canadian Mathematical Bulletin. Bulletin Canadien de Mathématiques 2010 53 2 311 320 10.4153/CMB-2010-037-3 MR2662694 Kanter M. Gauss-Lucas theorems for entire functions on CM Complex Variables and Elliptic Equations. An International Journal 2015 60 1 93 98 10.1080/17476933.2014.894030 MR3295090 Lundqvist J. An explicit calculation of the Ronkin function Annales de la Faculté des Sciences de Toulouse 2015 24 2 227 250 10.5802/afst.1447 MR3358612 Bandura A. Bordulyak M. Skaskiv O. Sufficient conditions of boundedness of L-index in joint variables Matematychni Studii 2016 45 1 12 26 10.15330/ms.45.1.12-26 Zbl1353.30030 Bordulyak M. T. Sheremeta M. M. Boundedness of the L-index of an entire function of several variables Dopividi Akademiï Nauk Ukraïni 1993 9 10 13 MR1300779 Salmassi M. Functions of bounded indices in several variables Indian Journal of Mathematics 1989 31 3 249 257 MR1042643 Fricke G. H. Entire functions of locally slow growth Journal d'Analyse Mathematique 1975 28 1 101 122 10.1007/BF02786809 Sheremeta M. N. Kuzyk A. D. Logarithmic derivative and zeros of an entire function of bounded l-index Siberian Mathematical Journal 1992 33 2 304 312 10.1007/BF00971102 MR1174069 Ronkin L. I. Introduction to theory of entire functions of several variables Translations of Mathematical Monographs 1974 44 273 MR0346175 Fricke G. H. Functions of bounded index and their logarithmic derivatives Mathematische Annalen 1973 206 215 223 10.1007/BF01429209 MR0325962 2-s2.0-34250427313