Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Generalization of Pólya’s Zero Distribution Theory for Exponential Polynomials, and Sharp Results for Asymptotic Growth

Generalization of Pólya’s Zero Distribution Theory for Exponential Polynomials, and Sharp Results... An exponential polynomial of order q is an entire function of the form Q (z) Q (z) 1 k f (z) = P (z)e + ··· + P (z)e , 1 k where the coefficients P (z), Q (z) are polynomials in z such that j j max{deg(Q )}= q. In 1977 Steinmetz proved that the zeros of f lying outside of finitely many logarithmic strips around so called critical rays have exponent of convergence ≤ q − 1. This result does not say anything about the zero distribution of f in each individual logarithmic strip. Here, it is shown that the asymptotic growth of the non-integrated counting function of zeros of f is asymptotically comparable to r in each logarithmic strip. The result generalizes the first order results by Pólya and Schwengeler from the 1920’s, and it shows, among other things, that the critical rays of f are precisely the Borel directions of order q of f . The error terms in the asymptotic equations for T (r , f ) and N (r , 1/ f ) originally due to Steinmetz are also improved. Keywords Asymptotic growth, critical ray · Error term · Exponential polynomial · Exponential sum · Logarithmic strip · Number of zeros · Value distribution Communicated by Doron Lubinsky. Heittokangas was partially supported by the Academy of Finland #268009 and the Magnus Ehrnrooth Foundation. Wen was partially supported by the National Natural Science Foundation of China (No. 11971288 and No. 11771090) and Shantou University SRFT (NTF18029). B Janne M. Heittokangas janne.heittokangas@uef.fi Extended author information available on the last page of the article 123 246 J. M. Heittokangas, Z.-T. Wen Mathematics Subject Classification 30D15 · 30D35 1 Background on Exponential Sums An exponential sum is an entire function of the form w z w z 0 m f (z) = P (z)e + ··· + P (z)e , (1.1) 0 n where the coefficients P (z) are polynomials, P (z) ≡ 0for j = 1,..., m, and if j j P (z) ≡ 0, we set w = 0. The constants w ∈ C are pairwise distinct, and they are 0 0 j called the leading coefficients of f . Thus w = 0for j = 1,..., m. Every exponential sum (or more generally every exponential polynomial, see (1.7) below) satisfies a linear differential equation with polynomial coefficients [24]. In the literature, exponential sums can also be found as solutions to differential-difference equations [2,21], and even to linear differential equations of infinite order [2]. 1 1 iz −iz iz −iz The functions sin z = (e − e ) and cos z = (e + e ) are typical exam- 2i 2 ples of exponential sums, their quotient being tan z. In 1929 Ritt [19] showed that if the ratio g of two exponential sums with constant coefficients is entire, then g is an exponential sum also. The proof of this result was simplified by Lax in 1949 [14]. In 1958 Shapiro [21] conjectured that if two exponential sums with polynomial coeffi- cients have infinitely many zeros in common, then they are both multiples of some third exponential sum. This claim is known as Shapiro’s conjecture, and it remains unsolved. We note that distribution of a-points and zero distribution of exponential sums are essentially the same thing because f is an exponential sum if and only if f −a is. Zero distribution of functions f of the form (1.1) has been investigated for roughly a century by several authors, starting with the case where the coefficients P are constants and the leading coefficients w are real and commensurable. The latter means that w = α p , j j j where α ∈ R and p ∈ Z. The early developments, with references, are surveyed in [13]. Zero distribution results in the general case are traced back to the work of Pólya [17,18] and Schwengeler [20]. We summarize these findings in Theorem A below, for which Dickson [3] has given a generalization in the sense that the coefficients are asymptotically polynomials. Before stating the actual result, we need to agree on the notation. If P (z) ≡ 0, set W ={w = 0, w ,..., w }, while if P (z) ≡ 0, set W = 0 f 0 1 m 0 f 0 0 {w ,..., w }. Moreover, set W = W ∪{0}. Thus, if P (z) ≡ 0, then W = W . 1 m f 0 f f f For any finite set G ⊂ C,let C (co(G)) denote the circumference of the convex hull co(G). Around a given ray arg(z) = ϕ, we define a logarithmic strip log r i θ (ϕ, c) = re : r > 1, |θ − ϕ| < c , (1.2) 123 Generalization of Pólya’s Zero Distribution Theory... 247 where c > 0. Finally, we let θ denote the argument of a ray parallel to one of the outer normals of co(W ). Thus the ray arg(z) = θ is orthogonal to a line passing through one of the sides of the polygon co(W ). Theorem A [3,17,18,20] Let f be an exponential sum of the form (1.1). Then f has at most finitely many zeros outside of the finitely many domains (θ , c). Moreover, let w , w be two consecutive vertex points of co(W ), and let θ denote the argument j k f of the ray parallel to the outer normal of co(W ) corresponding to its side [w , w ]. f j k Then the number n(r,) of zeros of f in  θ , c ∩{|z| < r } satisfies n(r,) =|w − w | + O (1) . (1.3) j k 2π Let n(r , 1/ f ) denote the number of zeros of f in |z| < r. We recall that the integrated counting function for the zeros of f and the proximity function of f are defined by 1 1 r n t , − n 0, 1 f f 1 N r , = dt + n 0, log r , f t f 2π + i θ m(r , f ) = log | f (re )| dθ, 2π respectively. The Nevanlinna characteristic function of f is T (r , f ) = m(r , f ) + N (r , f ), where N (r , f ) is the integrated counting function for the poles of f . By summing over all sides of co(W ) in Theorem A, we get |w − w |= f j k C (co(W )). Hence Theorem A yields the asymptotic equations 1 r n r , = C (co(W )) + O (1) , (1.4) f 2π 1 r N r , = C (co(W )) + O (log r ) , (1.5) f 2π where r →∞ without any exceptional set. In addition, Wittich [25] has proved the asymptotic equation T (r , f ) = C (co(W )) + o (r ) , (1.6) 2π where r →∞ without any exceptional set. Exponential sums can be generalized to exponential polynomials, which are higher order entire functions of the form Q (z) Q (z) 0 n f (z) = P (z)e + ··· + P (z)e , (1.7) 0 n where P (z), Q (z) are polynomials for 0 ≤ j ≤ n . A polynomial can be considered to j j be a special case of an exponential polynomial. We assume that the polynomials Q (z) are pairwise distinct and normalized such that Q (0) = 0. This convention forces the 123 248 J. M. Heittokangas, Z.-T. Wen Q (z) functions g (z) = P (z)e to be linearly independent. Let q = max{deg(Q )} j j j denote the order of f . As observed in [9,22], we may then write f in the normalized form q q q w z w z w z 0 1 m f (z) = H (z)e + H (z)e + ··· + H (z)e , (1.8) 0 1 m where the functions H (z), H (z), ..., H (z) are non-vanishing exponential polyno- 0 1 m mials of order ≤ q − p for some 1 ≤ p ≤ q, and m ≤ n. The leading coefficients w , 0 ≤ j ≤ m, are pairwise distinct and non-zero, except possibly w . Thus H (z) ≡ 0 0 0 precisely when q = deg(Q ) holds for every j. Steinmetz [22] has proved analogues of (1.5) and (1.6) for exponential polynomials. We will improve the error terms in these asymptotic equations. So far there has been no attempt to find a higher order analogue of (1.3). The main focus of this paper is to find one. Then a higher order analogue of (1.4) will be found in two different ways as simple consequences. The main results are stated and further motivated in Sects. 2–3. The proofs of the main results are given in Sects. 4–8. 2 Zero Distribution So far there have been no attempts to prove a higher order analogue of Theorem A. The major part of this paper focuses on proving such a result. Before stating the actual result, we need to recall a few concepts. If f is an exponential polynomial of the form (1.8), then its Phragmén–Lindelöf indicator function −q i θ h (θ ) = lim sup r log | f (re )| r →∞ takes the form iqθ h (θ ) = max Re w e , f j see [10, p. 993]. The indicator h (θ ) is 2π-periodic and differentiable everywhere except for cusps θ at which ∗ ∗ ∗ iqθ iqθ h (θ ) = Re w e = Re w e (2.1) f j k for a pair of indices j , k such that j = k. These cusps are called the critical angles for f , and the corresponding rays are called critical rays for f [9,22]. An alternative way to find the critical angles is by means of the convex hull co(W ) of the conjugated leading coefficients of f . Namely, let arg(z) = θ be the ray that j ,k is parallel to the outer normal of co(W ) determined by two successive vertex points w , w of co(W ). Then the rays j k f arg(z) = θ + 2πn , n ∈ Z, (2.2) j ,k 123 Generalization of Pólya’s Zero Distribution Theory... 249 Po´lya Schwengeler HITW Fig. 1 Assuming that the positive real axis is a critical ray for f , the zeros of f have been con- sidered in different regions as follows: Pólya in sectors | arg(z)| <ε, Schwengeler in logarithmic strips | arg(z)|≤ c log |z|/|z|, and Heittokangas–Ishizaki–Tohge–Wen in modified logarithmic strips | arg(z)|≤ c log |z|/|z| .Here ε> 0and c > 0 are real, and p ≥ 1isaninteger are critical rays for f ,see [9, Lem. 3.2]. Thus, if co(W ) has s sides/vertices, then f has sq critical rays all together. In the particular case when q = 1 the critical rays and the orthogonal rays are one and the same. Let f be given in the normalized form (1.8), where we suppose that ρ(H ) ≤ q − p for 1 ≤ p ≤ q. The case p = 1 corresponds to the standard case, while the identity p = q reduces the coefficients H (z) to be polynomials. In [9]itisprovedthat most of the zeros of f are inside of modified logarithmic strips log r ∗ i θ ∗ (θ , c) = z = re : r > 1, | arg(z) − θ | < c , where c > 0 and arg(z) = θ represents one of the critical rays for f .For p ≥ 2 these domains approach the corresponding critical rays asymptotically, which does not happen in the standard case p = 1, see [9, Sect. 2]. Let N (r ) denote the integrated counting function of the zeros of f in |z| < r lying outside of the union of the finitely many domains (θ , c). Then q−p N (r ) = O(r + log r ). (2.3) The case p = 1 was proved earlier in [22], while partial results for the general case were proved in [5,16]. For (2.3) to hold, the constant c > 0 needs to be large enough (depending on f ). In what follows, we will assume that this is always the case without further notice whenever discussing the domains  (θ , c). The discussion above says nothing about the zero distribution in each individual modified logarithmic strip  . This motivates us to prove the following generalization of Theorem A. Theorem 2.1 Let f be an exponential polynomial of the form (1.8), where the coeffi- cients H (z) are exponential polynomials of growth ρ(H ) ≤ q − p for some integer j j 123 250 J. M. Heittokangas, Z.-T. Wen 1 ≤ p ≤ q. Then the number n (r ) of zeros of f outside of the finitely many domains (θ , c) satisfies q−p n (r ) = O r + log r . Moreover, let w , w be two consecutive vertex points of co(W ), and let θ denote the j k f argument of the ray parallel to the outer normal of co(W ) corresponding to its side [w , w ]. Let ε> 0, and let θ be any critical angle for f associated with the angle j k ⊥ ∗ θ by means of (2.2). Then the number of zeros n(r, ) of f in  (θ , c)∩{|z| < r } p p satisfies q−p 3+ε n(r, ) =|w − w | + O r log r . (2.4) p j k 2π We make some comments regarding Theorem 2.1, and discuss some immediate consequences of it. First, according to (2.1), at least two leading coefficients are needed to induce a critical ray. The example jz f (z) = e , n ≥ 2, (2.5) j =0 having critical rays at arg(z) =±π/2 shows that more than two leading coefficients can induce the same critical ray. It follows that the conjugate of any leading coefficient inducing a critical ray must be a boundary point of co(W ). Indeed, if (2.1) holds, then ∗ ∗ ∗ iqθ iqθ iqθ Re w e = Re w e ≥ max Re w e . j k l l=k, j From (2.2) we get that arg(z) = qθ is an orthogonal ray for a line through the points w and w . Hence this line must be a support line for co(W ), and so w and w are j k f j k boundary points of co(W ). However, being a boundary point of co(W ) is not enough. f f In proving Theorem 2.1 it is necessary that in between two consecutive  -domains precisely one exponential term is dominant. This property is explained in more detail in Lemma 7.2 below. Only those exponential terms that are associated with vertex points of co(W ) have this property. For the function f in (2.5), the dominant term in nz the right half-plane is e , while the dominant term in the left half-plane is 1. Second, keeping in mind that w , w are two consecutive vertex points of co W , j k f we get |w − w |= C (co(W )), where the summation is taken over all sides of j k f co(W ).From(2.2) we see that the orthogonal ray associated with the pair w , w f j k induces q critical rays. This gives rise to the asymptotic equation q−p 3+ε n(r , 1/ f ) = qC (co(W )) + O r log r . (2.6) 2π Third, since a domain  (θ , c) for any p is essentially contained in an arbitrary ε-angle {z :| arg(z) − θ | <ε}, it follows that the critical rays of f are precisely 123 Generalization of Pólya’s Zero Distribution Theory... 251 the Borel directions of order q of f . Note that f has no Borel directions of order ρ ∈ (q − p, q). In the case q = 1 the critical rays of f (which are the same as the orthogonal rays of f ) are precisely the Julia directions for f in a strong sense. Indeed, for any a ∈ C, f has at most finitely many a-points outside of the domains  (θ , c) by Theorem A. q−p Finally, it seems that the best possible error term in (2.4) might be O(r ),but our method does not give this. 3 Asymptotic Growth of T (r, f ) and N(r, 1/f ) For an exponential polynomial f of the normalized form (1.8), Steinmetz [22] has proved the asymptotic equations 1 r N r , = C (co(W )) + o(r ), (3.1) f 2π 0 q T (r , f ) = C co W + o(r ). (3.2) 2π These are higher order analogues of (1.5) and (1.6). The next result improves the error term in (3.2) even in the standard case p = 1. It is obvious that the logarithmic term in (3.3) below is only needed when q = p, that is, when the coefficients H (z) are ordinary polynomials. Theorem 3.1 Let f be an exponential polynomial in the normalized form (1.8), where we suppose that ρ(H ) ≤ q − pfor 1 ≤ p ≤ q. Then 0 q−p T (r , f ) = C co W + O r + log r . (3.3) 2π Let f be the exponential polynomial in (1.7), and suppose that f can be written in the normalized form (1.8), where ρ(H ) ≤ q − p for 1 ≤ p ≤ q. If one of the polynomials Q (z) vanishes identically, we may suppose that it is Q (z), and that no j 0 other polynomial Q (z) vanishes identically. In this case H (z) reduces to an ordinary j 0 polynomial in z. Under these conditions, we have the following result that improves theerrortermin(3.1). Theorem 3.2 If H (z) ≡ 0, we have q−p m r , = O r + log r . (3.4) If Q (z) ≡ 0, then we have the stronger estimate m r , = O (log r ) . (3.5) 123 252 J. M. Heittokangas, Z.-T. Wen Moreover, we have 1 r q−p N r , = C (co(W )) + O r + log r . (3.6) f 2π We conclude this section with the following quick consequence of (3.1). This is a weaker form than (2.6), but it is needed in proving Theorem 2.1, whereas (2.6)isa consequence of Theorem 2.1. Corollary 3.3 Let f be an exponential polynomial of order q such that C = C (co(W )) > 0. Then 1 r n r , = qC (co(W )) + o r . f 2π Proof Write (3.1) in the form q q r 1 r q q C (co(W )) − ε(r )r ≤ N r , ≤ C (co(W )) + ε(r )r , f f 2π f 2π where 0 <ε(r)< 1 is a decreasing function such that ε(r ) → 0as r →∞.Let 0 <δ(r)< 1 be any decreasing function such that δ(r ) → 0as r →∞.Using x −1 log x ≥ for x ≥ 1, we get 1 1 n r , r (1+δ(r )) r (1+δ(r )) n t , 1 f dt 1 + δ(r ) f n r , = ≤ dt f log (1 + δ(r )) t δ(r ) t r r 1 + δ(r ) 1 1 = N r 1 + δ(r ) , − N r , ( ) δ(r ) f f ⎛ ⎞ 1 + δ(r ) Cr q j q ⎝ ⎠ = δ(r ) + O ε(r )r δ(r ) 2π j j =1 q q r ε(r )r q q = qC + O δ(r )r + O ε(r )r + O . 2π δ(r ) Similarly, using log x ≤ x − 1for x ≥ 1, we get 1 1 n r , r r n t , 1 f dt 1 − δ(r ) f n r , = ≥ dt f − log (1 − δ(r )) t δ(r ) t r (1−δ(r )) r (1−δ(r )) q q r ε(r )r q q = qC + O δ(r )r + O ε(r )r + O . 2π δ(r ) Choose δ(r ) = ε(r ), and all error terms above are of the form o (r ). 123 Generalization of Pólya’s Zero Distribution Theory... 253 4 Lemmas for Theorem 3.1 Let f be an exponential polynomial with no zeros. Then f = e , where P is a polynomial of degree p, and there exist constants C > 0 and R > 0 such that −|P(z)| p log | f (z)|≥ log e ≥−Cr (4.1) for |z| > R.If f has finitely many zeros, then f = Qe , where Q is also a polynomial. The conclusion in (4.1) holds in this case also, but possibly for different constants C and R. For an exponential polynomial f with infinitely many zeros, a lower bound for log | f (z)| is given in [9, Lem. 5.1], which originates from [23, Thm V. 19]. This estimate is valid for all z outside of certain discs centered at the zeros of f . In our applications, however, we need to be more flexible with the size of these discs, as is described next. Lemma 4.1 Let f be an entire function of finite order ρ = ρ( f ), and let {z } denote the zeros of f . Suppose that the exponent of convergence of {z } is λ = λ( f ) ≥ 1, and that the number of zeros of f in |z| < r satisfies n r , = C (r )r , where C (r ) is bounded from above as r →∞. Moreover, let k : (0, ∞) →[1, ∞) be any non-decreasing function. Then there exists a constant A > 0 such that ρ λ log | f (z)|≥−A max r , r log (rk(2r )) (4.2) i θ whenever z = re lies outside of the discs |z − z |≤ 1/k(|z |) and |z|≤ e. n n Proof We may factorize the entire f as f = Qe , where P is a polynomial and Q is a canonical product formed with the zeros z of f . Set p = deg(P), in which case q+1 ρ = max{ p,λ}, and q =λ. Since the integral N (r , 1/ f )/r dr diverges, −q the sum |z | also diverges, see [8, Lem. 1.4]. Hence q is the genus of the n=1 sequence {z },see [23, p. 216] for the definition. This allows us to write Q in the form z z 1 z Q(z) = 1 − exp + ··· + . z z q z n n n n=1 We also write z z 1 z (z, z ) = log − + ··· + , z − z z q z n n n 123 254 J. M. Heittokangas, Z.-T. Wen so that log = (z, z ), z = z . n n Q(z) n=1 Taking positive real parts on both sides of the above equation results in + + log ≤ Re ( (z, z )) + | (z, z )|=: + , n n 1 2 |Q(z)| r ≤2r r >2r n n where r =|z |. Similarly as in the proof of [9, Lem. 5.1], we obtain = O (r ). n n 2 This estimate has nothing to do with the size of the discs around the points z .In , n 1 we have z r + + Re ( (z, z )) ≤ log + z − z r n n j =1 q−1 z r r n n ≤ log + z − z r r n n j =0 z r + q ≤ log + 2 . z − z r n n If z lies outside of the discs |z − z |≤ 1/k(|z |) and |z|≤ e,itfollows that n n log ≤ log (r k(r )) ≤ log (2rk(2r )) , n n z − z because r ≤ 2r and k is non-decreasing. Thus 2r dn(t ) q q ≤ n(2r ) log (2rk(2r )) + 2 r + O(1) 2r n(t ) λ q q λ ≤ O r log (rk(2r )) + 2 qr dt = O r log (rk(2r )) . q+1 The reasoning above shows that there exists a constant B > 0 such that log |Q(z)|≥ λ i θ −Br log (rk(2r )) whenever z = re lies outside of the aforementioned closed discs. P(z) Since P is a polynomial of degree p, there is a constant C > 0 such that log e ≥ −Cr for |z| > e. The assertion now follows by choosing A = B + C. Corollary 4.2 Let f be an exponential polynomial of order ρ = ρ( f ),let {z } denote the zeros of f , and let λ = λ( f ) ≥ 1 be the exponent of convergence of {z }. Suppose that k : (0, ∞) →[1, ∞) is any non-decreasing function. Then there exists a constant A > 0 such that ρ λ log | f (z)|≥−A max r , r log (rk(2r )) 123 Generalization of Pólya’s Zero Distribution Theory... 255 i θ whenever z = re lies outside of the discs |z − z |≤ 1/k(|z |) and |z|≤ e. n n λ+ε q 2 Remark 1 We may choose k(x ) = x , ε> 0, in Lemma 4.1 and k(x ) = x log x in Corollary 4.2. For these choices of k, it follows by Riemann–Stieltjes integration that 1 dn(t ) = < ∞. k(|z |) k(t ) n e |z |≥e Thus the projection I of the discs |z − z |≤ 1/k(|z |) on the positive real axis has n n finite linear measure. The following lemma follows implicitly from the discussions in [11, Sect. 3]. For the convenience of the reader, we give a direct proof. Lemma 4.3 Suppose that T : R → R is eventually a non-decreasing function. + + Suppose further that there exist constants C > 0,q > 0, 0 ≤ p < q and s ≥ 0 such that, as r →∞, T can be written in the form q p s T (r ) = Cr + O r log r , r ∈ / E ∪[0, 1], (4.3) where E ⊂[1, ∞) has finite logarithmic measure (or finite linear measure). Then the asymptotic equality in (4.3) holds for all r large enough. Proof Let ε ∈ (0, min{1, C }). Then there exist constants R = R (ε) > 1 and C > 0 1 1 1 such that T (r ) is increasing for r > R and q p s q p s (C − ε)r − C r log r ≤ T (r ) ≤ (C + ε)r + C r log r , 1 1 where r ∈ (R , ∞) \ E. Moreover, due to p < q we may suppose that R is chosen 1 1 large enough so that the lower bound and the upper bound for T (r ) are increasing functions of r. Then, using [7, Lem. 5], we can find an R = R (ε) > max{2, R } 2 2 1 such that, for r > R , q q p s T (r ) ≤ (C + ε)(1 + ε) r + C (2r ) log (2r ) q q p+s p s ≤ (C + ε)(1 + ε) r + 2 C r log r , and similarly C − ε q p s T (r ) ≥ r − C r log r . (1 + ε) In other words, q p s  q p s (C − ε )r − C r log r ≤ T (r ) ≤ (C + ε )r + C r log r , r > R , 2 2 2 p+s where R = R (ε )> 2 and C = 2 C . This yields the assertion. 2 2 2 1 123 256 J. M. Heittokangas, Z.-T. Wen Lemma 4.4 [9] Let f be an exponential polynomial of the form (1.8), ψ (θ ) = iqθ Re(w e ),p ≤ q and 2a = min |ψ (θ ) − ψ (θ )|: ψ (θ ) = ψ (θ ), k = j . (4.4) k j k j i θ For a given c > 0 there exists an R > 0, with the following property: If z = re ∈ / ∗ ∗ (θ , c) for any θ and any r ≥ R , and if h (θ ) = ψ (θ ), then p 0 f j log r h (θ ) > max ψ (θ ) + ac . f k k= j r 5 Proof of Theorem 3.1 We divide the proof into four steps for clarity. 5.1 Preliminaries Let arg(z) = θ , j = 1,..., k, be the critical rays of f arranged such that 0 ≤ θ < j 1 θ < ··· <θ < 2π. Set θ = θ + 2π.For j = 1,..., k, define F = (θ ,θ ) 2 k k+1 1 j j j +1 and log r i θ (θ , c) = z = re : r > 1, | arg(z) − θ | < c , p j j log r log r F (r ) = θ + c ,θ − c , j j j +1 p p r r where c > 0 is sufficiently large. The domain  (θ , c) curves asymptotically towards p j the critical ray arg(z) = θ , provided that p ≥ 2, see [9, Sect. 2]. The interval F (r ) j j corresponds to the arguments in between two consecutive domains  (θ , c) and p j (θ , c). Clearly F (r ) → (θ ,θ ) = F as r →∞ for any p ≥ 1. p j +1 j j j +1 j Since f has no poles, we have 2π + i θ T (r , f ) = m(r , f ) = log | f (re )| dθ. 2π For j = 0,..., m, we define iqθ iqθ E = θ ∈[0, 2π) : Re w e > max Re w e , j j k k= j log r iqθ iqθ E (r ) = θ ∈[0, 2π) : Re w e > max Re w e + c . j j k k= j r By Lemma 4.4, each set E (r ) is a finite union of intervals F (r ). Thus the set E is a j i j finite union of intervals F .If E =∅, then P (z) ≡ 0 and w = 0, so the definition i 0 0 0 123 Generalization of Pólya’s Zero Distribution Theory... 257 w z of the set E implies that the terms |H (z)e |, j = 1,..., m, are bounded for j j w z arg(z) = θ ∈ E . On the other hand, if θ/ ∈ E for some j, then |H (z)e |≤ 0 j j M (r , H ). Keeping in mind that ρ(H ) ≤ q − p, we conclude in both cases E =∅ j j 0 and E =∅ that + i θ q−p T (r , f ) = log | f (re )| dθ + O r + log r . (5.1) 2π j =1 5.2 Upper Bound for T(r, f) To estimate the integrals in (5.1) over the sets E , we write ⎛ ⎞ q q w z (w −w )z j k j ⎝ ⎠ f (z) = e H (z) + H (z)e . (5.2) j k k= j i θ If z = re and θ ∈ E , it follows that + iqθ + log | f (z)|≤ Re w e + log M (r , H ) + log(m + 1) j j j =0 q q−p = k (qθ)r + O r + log r , (5.3) where k (θ ) is the support function for the convex set co(W ) [15, p. 74]. Therefore q−p T (r , f ) ≤ k (qθ) dθ + O r + log r 2π j =1 q 2π q−p ≤ k (qθ) dθ + O r + log r 2π q 2π q−p = k (ϕ) dϕ + O r + log r 2π 0 q−p = C (co(W )) + O r + log r , 2π where the last identity follows from Cauchy’s formula for convex curves. This formula can be found in many books on integral geometry. 5.3 Lower Bound for T(r, f) If q = 1orif p = q, then the coefficients H (z) are polynomials, and no exceptional set occurs when estimating T (r , f ) from below. Hence we suppose that 1 ≤ p ≤ q −1. Observe that 123 258 J. M. Heittokangas, Z.-T. Wen + + + log (xy) ≥ max log x − log , 0 i θ for all x ≥ 0 and y > 0. So, if z = re and θ ∈ E (r ), by applying this observation to (5.2), we have ⎧ ⎫ −1 ⎪   ⎪ ⎨   ⎬ + iqθ + (w −w )z k j log | f (z)|≥ max Re w e − log |H (z)|− M (r , H )e  , 0 j j k ⎪ ⎪ ⎩   ⎭ k= j ⎧ ⎫ −1 ⎪   ⎪ ⎨ ⎬ q−p q + −cr log r ≥ max h (θ )r − log |H (z)|− M (r , H )e , 0 . f j k ⎪ ⎪ ⎩   ⎭ k= j The functions H (z) are of order ≤ q − p ≤ q − 1 and of finite type. Therefore there exists a constant A > 0 such that q−p q−p log M (r , H ) ≤ Ar log r and log |H (z)|≥−Ar log r . j j The latter inequality is valid for all |z|= r outside of a set I ⊂ (0, ∞) of finite linear measure. This follows by applying Lemma 4.1 with k(x ) = x to each of the coefficients H (z), and then taking the union of all the exceptional sets involved. See also the remark following Lemma 4.1. We note that k(x ) could be chosen to have less growth at this point, but the particular growth rate fixed here is needed later on. Choosing c > 2a in Lemma 4.4,wehave + q q−p log | f (z)|≥ max{h (θ )r , 0}− O r + log r , (5.4) where |z|= r ∈ / I . Recall that each set E is a finite union of intervals F . In fact, j i E (r ) := E (r ) = F (r ), so that j i j i −p θ −cr log r j +1 + i θ + i θ log | f (re )| dθ = log | f (re )| dθ −p [0,2π ]\E (r ) θ +cr log r j =1 q−p = O r + log r . From (5.1), (5.3) and (5.4), it then follows that q−p T (r , f ) ≥ max{h (θ ), 0} dθ + O r + log r 2π E (r ) j =1 q−p = max{h (θ ), 0} dθ + O r + log r 2π j =1 123 Generalization of Pólya’s Zero Distribution Theory... 259 q 2π q−p = max{h (θ ), 0} dθ + O r + log r 2π 0 q−p = C (co(W )) + O r + log r , r ∈ / I , 2π where the last identity follows again by Cauchy’s formula and by the fact that h (θ ) = k (qθ). 5.4 Conclusion of the Proof The upper and lower estimates just obtained for T (r , f ) have the same magnitude of growth, but the lower estimate is valid outside of an exceptional set I of finite linear measure. The set I can be avoided by means of Lemma 4.3. This completes the proof of (3.3). 6 Proof of Theorem 3.2 Q (z) Let us begin with the particular case Q (z) ≡ 0. As the functions g (z) = P (z)e , 0 j j j = 1,..., n, are linearly independent, they form a fundamental solution base for a linear differential equation (n) (n−1) L (g) := g + a (z)g + ··· + a (z)g = 0, (6.1) n n−1 0 see [12, Prop. 1.4.6]. The coefficient functions a (z) can be expressed as quotients of Wronskian and modified Wronskian determinants of the functions g (z). Note that Q (z) g (z) = R (z)e , where R (z) = P (z) + Q (z)P (z) ≡ 0. j j j j Q (z) This means that the exponential term e remains in differentiation, and further differentiations will not change that. Therefore, from each column of each determinant we can pull out the single exponential term as a common factor. Thus exp(Q (z)+···+ Q (z)) is a common factor for each determinant, and they cancel out in the quotients. The entries of the remaining determinants are polynomials. Hence the coefficients a (z) in (6.1) are rational functions. If P (z) were to be a solution of (6.1), it would have to be linearly dependent with the solutions g ,..., g . Thus P (z) would be transcendental, which is a contradiction. 1 n 0 It follows that a (z) := L (P ) ≡ 0 is a rational function. We conclude that f is a n n 0 solution of the non-homogeneous equation (n) (n−1) f + a (z) f + ··· + a (z) f = a (z). n−1 0 n Dividing both sides by fa (z) and using the lemma on the logarithmic derivative together with the fact that the coefficients are rational gives us (3.5). 123 260 J. M. Heittokangas, Z.-T. Wen Suppose next that Q (z) ≡ 0. Define −Q (z) Q (z)−Q (z) 0 0 g(z) = e f (z) = P (z) + ··· + P (z)e . (6.2) 0 n Now the discussion above can be applied to g giving us m(r , 1/g) = O(log r ) and, a fortiori, 1 1 N r , = N r , = T (r , g) + O(log r ). (6.3) f g Suppose in addition that H (z) ≡ 0. Due to the assumption ρ(H ) ≤ q − p,wemay 0 j assume, without loss of generality, that deg(Q ) ≤ q − p. Thus, applying Theorem 3.1 to f and using (6.2), we get 0 q−p T (r , f ) = C co W + O r + log r 2π q−p = T (r , g) + O r + log r . (6.4) We deduce the estimate (3.4) by combining (6.3) and (6.4). Finally, we suppose that H (z) ≡ 0, in which case deg(Q ) = q for every j and m = n.Let U ={w − 0 j 1 w ,..., w − w } be the set of conjugate leading coefficients of g, and set U = 0 m 0 0 U ∪{0}. By a simple vector calculus, we conclude the following: If w is a boundary point of co(W ), then 0 is a boundary point of co(U ), while if w is an interior point f 0 of co(W ), then 0 is an interior point of co(U ). Thus, applying Theorem 3.1 to g,we get q−p T (r , g) = C (co(U )) + O r + log r 2π q−p = C (co(W )) + O r + log r . 2π The final assertion (3.6) follows from this and (6.3). 7 Lemmas for Theorem 2.1 The following lemma is considered for more general curves in [4] but in Cartesian coordinates. However, our situation is very delicate, and we need the representation in polar coordinates. Lemma 7.1 Let p ≥ 1 be any real number, and let U be any collection of Euclidean discs D = D(z , r ), where the center points z ∈ C are ordered according to n n n n increasing moduli, |z |→∞,r > 0,r → 0 and n n n p−1 |z | r n n < ∞. (7.1) log |z | |z |>e 123 Generalization of Pólya’s Zero Distribution Theory... 261 y arg z =arg z + θ n n log |z| arg z = c |z| arg z =arg z − θ n n log |z| 1 arg z = c |z| Fig. 2 The disc D and the asymptotic curves in the case p = 1 Then the set C ⊂ (0, ∞) of values of c for which the curve log r i θ ∂ (0, c) = z = re : r ≥ 1, | arg(z)|= c meets infinitely many discs D has linear measure zero. Proof If z ∈ ∂(0, c), then log r log r log r z = r cos c ± ir sin ∼ r ± ic . p p p r r r log x Asymptotically this corresponds to the Cartesian curves y =±c .Fromthis p−1 representation we see that the cases p = 1 and p > 1 have a different geometry. Nevertheless our proof works for both cases simultaneously. By the Cartesian representation we may suppose that the points z lie in the right half-plane in between the lines y =±x. Since |z |→∞ and r → 0, there exists a n n positive integer N such that |z | |z |− r ≥ ≥ 2e, n ≥ N . n n Note that the function x → log x /x is strictly decreasing for x ≥ e. Moreover, it suffices to consider the portion of ∂ (0, c) located in the upper half-plane, call it (c) for short. Suppose that a disc D lies asymptotically in between the curves  (c ) and n 1 (c ), where c < c , and let ζ and ζ denote the respective intersection points. 2 1 2 1 2 The disc D can be seen from the origin at an angle 2θ , where sin θ = r /|z |. n n n n n 123 262 J. M. Heittokangas, Z.-T. Wen We have θ ≤ 2r /|z |→ 0as n →∞, and n n n p p |ζ | arg(ζ ) |ζ | arg(ζ ) 2 2 1 1 c − c = − 2 1 log |ζ | log |ζ | 2 1 p p (|z |+ r ) arg(ζ ) (|z |− r ) arg(ζ ) n n 2 n n 1 ≤ − log(|z |+ r ) log(|z |− r ) n n n n p p p r p r n n |z | 1 + (arg(z ) + θ ) |z | 1 − (arg(z ) − θ ) n n n n n n |z | |z | n n ≤ − log(|z |+ r ) log(|z |− r ) n n n n p p p p |z | arg(z ) + 2|z | θ r r n n n n n n ≤ 1 + − 1 − . log(|z |− r ) |z | |z | n n n n Using the estimate p p p r r |z |− r n n n n 1 + − 1 − ≤ 2 1 − |z | |z | |z |+ r n n n n 1 p+1 2 pr p p−1 = 2 p x dx ≤ , |z |−r n n |z | |z |+r n n we conclude that p+1 p−1 2 p|z | r (arg(z ) + 2θ ) n n n n c − c ≤ 2 1 log(|z |− r ) n n p p−1 p+1 p−1 2 pπ |z | r 2 pπ |z | r n n n n ≤ ≤ , n ≥ N . (7.2) |z | log |z | log( ) n Let ε> 0. By the assumption (7.1) there exists an integer N (ε) ≥ N such that p−1 |z | r ε n n < . (7.3) p+1 log |z | 2 pπ n≥N (ε) + + Let then C ⊂ (0, ∞) denote the set of values c for which the curve  (c) meets at least one disc D , where n ≥ N (ε).By(7.2) and (7.3), p+1 p−1 2 pπ |z | r n n dx ≤ <ε. log |z | C n n≥N (ε) − − Analogously, if C ⊂ (0, ∞) denotes the set of values c for which the curve  (c) in the lower half-plane meets at least one disc D , where n ≥ N (ε), then − dx <ε. + − Since C is a subset of C ∪ C for any ε> 0, we have dx = 0. ε ε C Through the rest of this section, let k : (0, ∞) →[1, ∞) denote any non-decreasing function. To simplify the notation, we restrict to the growth rate k(r ) = O (r ) for 123 Generalization of Pólya’s Zero Distribution Theory... 263 some σ> 0, even though the results that will follow would allow for even faster growth. Let f be an exponential polynomial in the normalized form (1.8), and let {z } denote the sequence of zeros of f and of all of its transcendental coefficients H , listed according to multiplicities and ordered according to increasing moduli. Finally, let C( f , k) denote the collection of discs |z − z |≤ 1/k(|z |). For simplicity, we may n n also assume that a disc |z| < R for a suitably large R > 0 is included in C( f , k). The next auxiliary result is obtained by modifying the proof of [9,Thm.2.4], see also the remark following [9,Thm.2.4]. Lemma 7.2 Let f be an exponential polynomial in the normalized form (1.8), where we suppose that ρ(H ) ≤ q − pfor 1 ≤ p ≤ q. Then there exist constants A > q and c > 0 with the following properties: If  denotes the domain in between any two ∗ ∗ consecutive zero-domains  (θ , c) and  (θ , c) of f , and if z ∈  \ C( f , k), then p p 1 2 there exists a unique index j such that w z f (z) = H (z)e (1 + ε (r )), (7.4) j q−p where |ε (r )|≤ B exp −Ar log r ,k ≥ 0, |z|= r, and B > 0 is some constant. Denote q−1 G (z) = H (z) + qw z H (z). j j j For the same values of z and j as above, we have w z G (z)e (1 + ε (r )), if j = 0, j q−p 0 f (z) = (7.5) H (z) + ε (r ), if j = 0. q−p 0 Proof (1) In order to prove (7.4), we first suppose that q ≥ 2 and that 1 ≤ p ≤ q − 1. The latter means that all coefficients H (z) are assumed to be transcendental. There exist constants A > q and r > 0 such that q−p log M (r , H ) ≤ Ar , j ∈{0,..., m}, (7.6) whenever r ≥ r . We conclude by Corollary 4.2 that there exists a constant A > q such that q−p log |H (z)|≥−Ar log r , j ∈{0,..., m}, (7.7) whenever z ∈ / C( f , k). We may suppose that the constant A in (7.7) is the same as q q that in (7.6) by choosing the larger of the two. Noting that r ψ (θ ) = Re (w z ),we k k i θ make use of Lemma 4.4 by choosing c > 4A/a:If z = re ∈  and if r is large enough, then there exists a unique index j such that q q q−p Re w z ≥ Re w z + 4Ar log r (7.8) j k 123 264 J. M. Heittokangas, Z.-T. Wen for all k = j . If in addition z ∈ / C( f , k), then the estimates (7.6)–(7.8) applied to (1.8) yield q q −w z (w −w )z j k j 0 0 f (z)e ≥|H (z)|− |H (z)||e | j k k= j q−p q−p ≥|H (z)|− exp log m + Ar − 4Ar log r , from which | f (z)| q−p ≥ 1 − exp −Ar log r . w z H (z)e On the other hand, | f (z)| |H (z)| q (w −w )z q−p k j ≤ 1 + e  ≤ 1 + exp −Ar log r , w z 0 |H (z)| H (z)e j k= j where z ∈  \ C( f , k). This discussion covers the case w = w = 0 also, that is, j 0 the case when f (z) − H (z) = ε (r ) in λ \ C( f , k). 0 p−q If some (but not all) coefficients are polynomials, the previous reasoning can be simplified. Indeed, if a particular coefficient H (z) is a polynomial, then the growth of deg(H ) |H (z)| is comparable to |z| for r large enough. Consideration of the set C( f , k) is not needed for this particular coefficient, as we only need to assume that |z| is large enough. Suppose then that q ≥ 1 is any integer and p = q, that is, all of the coefficients H (z) are polynomials. This covers the remaining case. There exist constants A > 0 j 1 and A > 0 such that d d |H (z)|≤ A |z| and |H (z)|≥ A |z| , j 1 j 2 i θ where d = deg(H ) and d = max{d }. Suppose that z = re ∈ , and that r is j j j large enough. Let A = max{d, 2}. We choose c > 4A/a in Lemma 4.4, and find that there exists a unique index j such that −w z d −4A log r f (z)e ≥|H (z)|− A mr e , j 1 from which | f (z)| ≥ 1 − exp (−A log r ) , z ∈  \ C. w z H (z)e On the other hand, | f (z)| |H (z)| q (w −w )z k j ≤ 1 + e ≤ 1 + exp (−A log r ) , w z 0 |H (z)| H (z)e j 0 k= j 123 Generalization of Pólya’s Zero Distribution Theory... 265 where z ∈  \ C( f , k). This completes the proof of (7.4). (2) In order to prove (7.5), we first note that q q q w z w z w z 0 1 m f = G (z)e + G (z)e + ··· + G (z)e , 0 1 m q−1 where G (z) = H (z) + qw z H (z) for j ≥ 0. If G (z) ≡ 0, then either H (z) j j j j j is a constant and w = 0or ρ(H ) = q. The latter is clearly impossible, while the j j former is possible only in the case when j = 0. Hence f is an exponential polynomial with coefficients being of order ≤ q − p, and shares the leading coefficients with f , except possibly w . Thus, by considering separately the cases j = 0 and j = 0, the 0 0 0 proof of Part (1) applies to f , and we obtain (7.5) for the same index j that appears in (7.4). This completes the proof. If any of the coefficients H in (1.8) is transcendental, it also can be represented in an analogous normalized form as f , where the coefficients are either polynomials or exponential polynomials. Proceeding from one generation of transcendental coef- ficients to the next, the order of growth decreases at least by one. Obviously there are at most q − 1 generations of transcendental descendant coefficients all together. Let {z } denote the sequence of zeros of f , of the transcendental coefficients H of n j f , and of all transcendental descendants of these coefficients, listed according to their multiplicities and ordered according to increasing moduli. Let then C ( f , k) denote the collection of all discs |z − z |≤ 1/k(|z |), and suppose that a suitably large disc n n |z| < R is also included in C ( f , k). Clearly, C( f , k) is a sub-collection of C ( f , k). 0 0 Let  denote the set consisting of the critical angles of f in (1.8), the critical angles of the transcendental coefficients H of f , and the critical angles of all transcendental descendants of these coefficients. Some of the critical angles of f may coincide with those of its coefficients or descendant coefficients. Nevertheless,  is a finite subset of [0, 2π), so the elements θ of  can be ordered, say 0 ≤ θ <θ < ... < θ < 2π. j 1 2 l Set θ = θ . l+1 1 Lemma 7.3 Let f be an exponential polynomial in the normalized form (1.8), where we suppose that ρ(H ) ≤ q − pfor 1 ≤ p ≤ q. Let θ ,θ be two consecutive elements j j j +1 of , and let  be the domain in between the domains  (θ , c) and  (θ , c), p j p j +1 where c > 0 is sufficiently large. If z ∈  \ C ( f , k), then there exists a unique index j and constants C ,..., C ∈ C such that 0 0 q−p−1 f (z) q−1 q−p−1 −1 = qw z + C z + ··· + C + O(r ). (7.9) j q−p−1 0 f (z) Proof We will make use of the proof of Lemma 7.2 not only for f but also for the coefficients and the descendant coefficients of f . For each function for which the proof is used, new constants A > q and c > 0 are found. Since there are at most finitely many functions involved, we may choose A and c to be the maxima of all these corresponding coefficients. 123 266 J. M. Heittokangas, Z.-T. Wen Independently of whether w = 0or w = 0, it follows directly from (7.4) and j j 0 0 (7.5) that H (z) f (z) q−1 0 = qw z + (1 + ε (r )). (7.10) j q−p f (z) H (z) Suppose that H (z) is a polynomial. Then (7.10) yields f (z) q−1 −1 = qw z + O r (1 + ε (r )) j q−p f (z) q−p +O exp (q − 1) log r − Ar log r q−1 −1 = qw z + O(r ), z ∈  \ C ( f , k), j 0 because of A > q. This proves (7.9) in the case where H (z) is a polynomial. Suppose next that H (z) is transcendental. Then q − p ≥ 1, so we may write H (z) in the normalized form with coefficients being either exponential polynomials of order ≤ q − p − 1 or ordinary polynomials. Analogously as in (7.10), the proof of Lemma 7.2, applied to H (z) instead of f , yields H (z) K (z) 0 q−p−1 = C z + (1 + ε (r )), (7.11) q−p−1 q−p−1 H (z) K (z) where C ∈ C and where K (z) is either an exponential polynomial of order q− p−1 ≤ q − p − 1 or an ordinary polynomial in z. If K (z) in (7.11) is a polynomial, then we combine (7.10) and (7.11) to get f (z) q−1 q−p−1 −1 = qw z + C z + O(r ), z ∈  \ C ( f , k). j q−p−1 0 f (z) If K (z) is transcendental, then we continue inductively in this fashion by reducing the order on each step by one. Eventually the descendant coefficient must reduce down to −1 a polynomial, and, as such, its logarithmic derivative is of growth O r . This gives us the representation (7.9). Finally, we remind the reader of the following well-known standard growth estimate for logarithmic derivatives by Gundersen [6]. Lemma 7.4 Let f be a meromorphic function, let k, j be integers such that k > j ≥ 0, and let α> 1. Then there exists a set E ⊂ (1, ∞) that has finite logarithmic measure, and there exists a constant A > 0 depending only on α, k, j, such that for all z satisfying |z| ∈ / E ∪[0, 1], we have (k)  k− j f (z) T (αr , f ) n (αr ) ≤ A + log r log n (αr ) , (7.12) ( j ) f (z) r r ( j ) where r =|z| and n (r ) denotes the number of zeros and poles of f in |z| < r. 123 Generalization of Pólya’s Zero Distribution Theory... 267 8 Proof of Theorem 2.1 q−p The first assertion n (r ) = O r + log r is a simple consequence of (2.3) and the −1 standard estimate n(r ) ≤ (log 2) (N (2r ) − N (r )) between any counting function n(r ) and its integrated counterpart N (r ). Thus it suffices to prove (2.4). Let  denote any piecewise smooth positively oriented Jordan curve, and let n() denote the zeros of f in the domain bounded by . By the argument principle, we have 1 f (z) n() = dz, (8.1) 2πi f (z) provided that f has no zeros on . In addition, the curve  needs to be separated from the zeros of f so that we can use the minimum modulus estimate in Corollary 4.2 as well as its further consequences in Sect. 7. Hence we need to choose  carefully. In order to simplify the situation, we may suppose that the positive real axis is −i θ a critical ray for f by appealing to the exponential polynomial g(z) = f (e z), if necessary. Thus, we assume that θ = 0 is a critical angle for f , determined by its leading coefficients w ,w as in (2.1). It follows that w and w are the unique j k j k dominant leading coefficients of f on the sides of the positive real axis. Without loss of generality, we may assume that w determines the dominant term of f below the x- axis and that w determines the dominant term of f above the x-axis. The uniqueness of the constants w ,w carries over to the application of Lemma 7.3. j k q+p−1 Let k(x ) = x log x and r = k(|z |) for x ≥ e and |z |≥ e. For this particular n n n k,welet C ( f , k) denote the set discussed in Sect. 7. Then (7.1) clearly holds, and so, by Lemma 7.1, we can find c > 0 such that ∂ (0, c) meets at most finitely many discs |z − z |≤ r . This constant c also takes into account the p-generalization (2.3) n n + − of the result by Steinmetz. Denote by  (c) and  (c) the portions of  (0, c) in the upper half-plane and the lower half-plane, respectively. Let α> 1, and let E ⊂ (1, ∞) denote the exceptional set of finite logarithmic measure in Lemma 7.4, where f is our exponential polynomial of order q, and k = 1, + − j = 0. Choose R ∈ (e, ∞) \ E large enough such that the curves  (c) and  (c) do not meet any of the discs |z − z |≤ r for r ≥ R. Then choose any r ∈ (R, ∞) \ E. n n Finally, let  =  +  +  +  , where 1 2 3 4 log t −ic : z = te , where t goes from R to r , log r log r i θ : z = re , where θgoes from − c to c , 2 p p r r log t ic : z = te , where t goes from r to R, log R log R i θ : z = Re , where θ goes from c to − c . 4 p p R R The idea is to keep R fixed and eventually to let r increase. Due to the construction, it is clear that  contains no zeros of f , even when r ∈ (R, ∞) \ E is arbitrarily large. We find that log t 1 − p log t q−1 q−1 −iqc I := w qz dz = w qt e 1 − ci dt . j j p+1 123 268 J. M. Heittokangas, Z.-T. Wen −ic log t Γ : z = te θ x Γ : z = re Γ : z = Re −ic log t Γ : z = te Fig. 3 The domain bounded by the curve  =  +  +  + 1 2 3 4 If we set w = a + ib , then j j j log t log t 1 − p log t q−1 Im I = b qt cos qc − sin qc c dt p p p+1 t t t log t log t 1 − p log t q−1 − a qt sin qc + cos qc c dt . p p p+1 t t t 2 3 Using the standard estimates 1 − x /2 ≤ cos x ≤ 1 and x − x /6 ≤ sin x ≤ x,we get q q−p Im I = b r + O r log r . Using Lemma 7.3, it follows that f (z) q q−p Im dz = b r + O r log r . f (z) Analogously, if w = a + ib , then k k k f (z) q q−p Im dz =−b r + O r log r . f (z) The minus-sign here is a result of integrating in the opposite direction. Next we apply Lemma 7.4 together with Corollary 3.3, and obtain the estimate f (z) f (z) q−p 2+α dz + dz = O r log r . f (z) f (z) 2 4 123 Generalization of Pólya’s Zero Distribution Theory... 269 By putting everything together, we conclude that 1 f (z) b − b j k q q−p 2+α dz = r + O r log r . (8.2) 2πi f (z) 2π Keeping (8.1) in mind, the left-hand side of (8.2) is the number of zeros n(r,) of f in a domain bounded by the closed curve  that depends on r. Since counting functions are always non-negative, it follows that b − b =|b − b |. The situation would be j k j k symmetric if we would have chosen the leading coefficients w and w the other way j k ∗ ∗ iqθ iqθ around in the reasoning above. Moreover, from (2.1), we get Re w e = Re w e , j k which can be written as ∗ ∗ ∗ ∗ a cos qθ − b sin qθ = a cos qθ − b sin qθ . j j k k Since we have chosen θ = 0, it follows that a = a . Therefore, we have |w −w |= j k j k |b − b |, so that (8.2) now reads as j k |w − w | j k q q−p 2+α n(r,) = r + O r log r . 2π The assertion follows from this via Lemma 4.3 by writing α = 1 + ε. Acknowledgements Open access funding provided by University of Eastern Finland (UEF) including Kuopio University Hospital. Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/. References 1. Chuaqui, M., Gröhn, J., Heittokangas, J., Rättyä, J.: Zero separation results for solutions of second order linear differential equations. Adv. Math. 245, 382–422 (2013) 2. Dickson, D.G.: Expansions in series of solutions of linear difference-differential and infinite order equations with constant coefficients. Mem. Am. Math. Soc. 23, (1957) 3. Dickson, D.G.: Asymptotic distribution of zeros of exponential sums. Publ. Math. Debrecen 1(1), 297–300 (1964) 4. Ding, J., Heittokangas, J., Wen, Z.-T.: A continuous transition from E-sets to R-sets, and beyond. arXiv:1910.00801 5. Gackstatter, F., Meyer, G.P.: Zur Wertverteilung der Quotienten von Exponentialpolynomen. Arch. Math. (Basel) 36(3), 255–274 (1981) 6. Gundersen G.G.: Estimates for the logarithmic derivative of a meromorphic function, plus similar estimates. J. Lond. Math. Soc. (2) 37(1), 88–104 (1988) 7. Gundersen, G.G.: Finite order solutions of second order linear differential equations. Trans. Am. Math. Soc. 305(1), 415–429 (1988) 123 270 J. M. Heittokangas, Z.-T. Wen 8. Hayman, W.: Meromorphic Functions. Oxford Mathematical Monographs. Clarendon Press, Oxford (1964) 9. Heittokangas, J., Ishizaki, K., Tohge, K., Wen, Z.-T.: Zero distribution and division results for expo- nential polynomials. Isr. J. Math. 227, 397–421 (2018) 10. Heittokangas, J., Laine, I., Tohge, K., Wen, Z.-T.: Completely regular growth solutions of second order complex linear differential equations. Ann. Acad. Sci. Fenn. 40(2), 985–1003 (2015) 11. Helmrath, W., Nikolaus, J.: Ein elementarer Beweis bei der Anwendung der Zentralindexmethode auf Differentialgleichungen. Complex Var. Theory Appl. 3(4), 387–396 (1984) 12. Laine, I.: Nevanlinna Theory and Complex Differential Equations. De Gruyter Studies in Mathematics, vol. 15. Walter de Gruyter & Co., Berlin (1993) 13. Langer, R.E.: On the zeros of exponential sums and integrals. Bull. Am. Math. Soc. 37(4), 213–239 (1931) 14. Lax, P.D.: The quotient of exponential polynomials. Duke Math. J. 15, 967–970 (1948) 15. Levin B.Ja.: Distribution of Zeros of Entire Functions. Translated from the Russian by R. P. Boas, J. M. Danskin, F. M. Goodspeed, J. Korevaar, A. L. Shields and H. P. Thielman. Revised edition. Translations of Mathematical Monographs, vol. 5. American Mathematical Society, Providence (1980) 16. MacColl, L.A.: On the distributions of the zeros of sums of exponentials of polynomials. Trans. Am. Math. Soc. 36(2), 341–360 (1934) 17. Pólya, G.: Geometrisches über die Verteilung der Nullstellen spezieller ganzer Funktionen. Sitz.- Ber. Bayer. Akad. Wiss., pp. 285–290 (1920) 18. Pólya, G.: Untersuchungen über Lücken und Singularitäten von Potenzreihen. Math. Z. 29(1), 549–640 (1929) 19. Ritt, J.F.: On the zeros of exponential polynomials. Trans. Am. Math. Soc. 31(4), 680–686 (1929) 20. Schwengeler, E.: Geometrisches über die Verteilung der Nullstellen spezieller ganzer Funktionen (Exponentialsummen). Diss, Zürich (1925) 21. Shapiro, H.S.: The expansion of mean-periodic functions in series of exponentials. Commun. Pure Appl. Math. 11, 1–21 (1958) 22. Steinmetz, N.: Zur Wertverteilung von Exponentialpolynomen. Manuscr. Math. 26(1–2), 155–167 (1978/1979) 23. Tsuji, M.: Potential Theory in Modern Function Theory. Reprinting of the 1959 Original. Chelsea Publishing Co., New York (1975) 24. Voorhoeve, M., van der Poorten, A.J., Tijdeman, R.: On the number of zeros of certain functions. Ned. Akad. Wer. Proc. Ser. A 78, 407–416 (1975) 25. Wittich, H.: Bemerkung zur Wertverteilun von Exponentialsummen. Arch. Math. (Basel) 4, 202–209 (1953) Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. Affiliations 1,3 2,3 Janne M. Heittokangas · Zhi-Tao Wen Zhi-Tao Wen zhtwen@stu.edu.cn Department of Physics and Mathematics, University of Eastern Finland, P.O. Box 111, 80101 Joensuu, Finland Department of Mathematics, Shantou University, Daxue Road No. 243, Shantou 515063, China Department of Mathematics, Taiyuan University of Technology, Yingze West Street No. 79, Taiyuan 030024, China http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Computational Methods and Function Theory Springer Journals

Generalization of Pólya’s Zero Distribution Theory for Exponential Polynomials, and Sharp Results for Asymptotic Growth

Download PDF
26 pages

Loading next page...
 
/lp/springer-journals/generalization-of-p-lya-s-zero-distribution-theory-for-exponential-5ktrofuW0r

References (28)

Publisher
Springer Journals
Copyright
Copyright © The Author(s) 2020
ISSN
1617-9447
eISSN
2195-3724
DOI
10.1007/s40315-020-00336-7
Publisher site
See Article on Publisher Site

Abstract

An exponential polynomial of order q is an entire function of the form Q (z) Q (z) 1 k f (z) = P (z)e + ··· + P (z)e , 1 k where the coefficients P (z), Q (z) are polynomials in z such that j j max{deg(Q )}= q. In 1977 Steinmetz proved that the zeros of f lying outside of finitely many logarithmic strips around so called critical rays have exponent of convergence ≤ q − 1. This result does not say anything about the zero distribution of f in each individual logarithmic strip. Here, it is shown that the asymptotic growth of the non-integrated counting function of zeros of f is asymptotically comparable to r in each logarithmic strip. The result generalizes the first order results by Pólya and Schwengeler from the 1920’s, and it shows, among other things, that the critical rays of f are precisely the Borel directions of order q of f . The error terms in the asymptotic equations for T (r , f ) and N (r , 1/ f ) originally due to Steinmetz are also improved. Keywords Asymptotic growth, critical ray · Error term · Exponential polynomial · Exponential sum · Logarithmic strip · Number of zeros · Value distribution Communicated by Doron Lubinsky. Heittokangas was partially supported by the Academy of Finland #268009 and the Magnus Ehrnrooth Foundation. Wen was partially supported by the National Natural Science Foundation of China (No. 11971288 and No. 11771090) and Shantou University SRFT (NTF18029). B Janne M. Heittokangas janne.heittokangas@uef.fi Extended author information available on the last page of the article 123 246 J. M. Heittokangas, Z.-T. Wen Mathematics Subject Classification 30D15 · 30D35 1 Background on Exponential Sums An exponential sum is an entire function of the form w z w z 0 m f (z) = P (z)e + ··· + P (z)e , (1.1) 0 n where the coefficients P (z) are polynomials, P (z) ≡ 0for j = 1,..., m, and if j j P (z) ≡ 0, we set w = 0. The constants w ∈ C are pairwise distinct, and they are 0 0 j called the leading coefficients of f . Thus w = 0for j = 1,..., m. Every exponential sum (or more generally every exponential polynomial, see (1.7) below) satisfies a linear differential equation with polynomial coefficients [24]. In the literature, exponential sums can also be found as solutions to differential-difference equations [2,21], and even to linear differential equations of infinite order [2]. 1 1 iz −iz iz −iz The functions sin z = (e − e ) and cos z = (e + e ) are typical exam- 2i 2 ples of exponential sums, their quotient being tan z. In 1929 Ritt [19] showed that if the ratio g of two exponential sums with constant coefficients is entire, then g is an exponential sum also. The proof of this result was simplified by Lax in 1949 [14]. In 1958 Shapiro [21] conjectured that if two exponential sums with polynomial coeffi- cients have infinitely many zeros in common, then they are both multiples of some third exponential sum. This claim is known as Shapiro’s conjecture, and it remains unsolved. We note that distribution of a-points and zero distribution of exponential sums are essentially the same thing because f is an exponential sum if and only if f −a is. Zero distribution of functions f of the form (1.1) has been investigated for roughly a century by several authors, starting with the case where the coefficients P are constants and the leading coefficients w are real and commensurable. The latter means that w = α p , j j j where α ∈ R and p ∈ Z. The early developments, with references, are surveyed in [13]. Zero distribution results in the general case are traced back to the work of Pólya [17,18] and Schwengeler [20]. We summarize these findings in Theorem A below, for which Dickson [3] has given a generalization in the sense that the coefficients are asymptotically polynomials. Before stating the actual result, we need to agree on the notation. If P (z) ≡ 0, set W ={w = 0, w ,..., w }, while if P (z) ≡ 0, set W = 0 f 0 1 m 0 f 0 0 {w ,..., w }. Moreover, set W = W ∪{0}. Thus, if P (z) ≡ 0, then W = W . 1 m f 0 f f f For any finite set G ⊂ C,let C (co(G)) denote the circumference of the convex hull co(G). Around a given ray arg(z) = ϕ, we define a logarithmic strip log r i θ (ϕ, c) = re : r > 1, |θ − ϕ| < c , (1.2) 123 Generalization of Pólya’s Zero Distribution Theory... 247 where c > 0. Finally, we let θ denote the argument of a ray parallel to one of the outer normals of co(W ). Thus the ray arg(z) = θ is orthogonal to a line passing through one of the sides of the polygon co(W ). Theorem A [3,17,18,20] Let f be an exponential sum of the form (1.1). Then f has at most finitely many zeros outside of the finitely many domains (θ , c). Moreover, let w , w be two consecutive vertex points of co(W ), and let θ denote the argument j k f of the ray parallel to the outer normal of co(W ) corresponding to its side [w , w ]. f j k Then the number n(r,) of zeros of f in  θ , c ∩{|z| < r } satisfies n(r,) =|w − w | + O (1) . (1.3) j k 2π Let n(r , 1/ f ) denote the number of zeros of f in |z| < r. We recall that the integrated counting function for the zeros of f and the proximity function of f are defined by 1 1 r n t , − n 0, 1 f f 1 N r , = dt + n 0, log r , f t f 2π + i θ m(r , f ) = log | f (re )| dθ, 2π respectively. The Nevanlinna characteristic function of f is T (r , f ) = m(r , f ) + N (r , f ), where N (r , f ) is the integrated counting function for the poles of f . By summing over all sides of co(W ) in Theorem A, we get |w − w |= f j k C (co(W )). Hence Theorem A yields the asymptotic equations 1 r n r , = C (co(W )) + O (1) , (1.4) f 2π 1 r N r , = C (co(W )) + O (log r ) , (1.5) f 2π where r →∞ without any exceptional set. In addition, Wittich [25] has proved the asymptotic equation T (r , f ) = C (co(W )) + o (r ) , (1.6) 2π where r →∞ without any exceptional set. Exponential sums can be generalized to exponential polynomials, which are higher order entire functions of the form Q (z) Q (z) 0 n f (z) = P (z)e + ··· + P (z)e , (1.7) 0 n where P (z), Q (z) are polynomials for 0 ≤ j ≤ n . A polynomial can be considered to j j be a special case of an exponential polynomial. We assume that the polynomials Q (z) are pairwise distinct and normalized such that Q (0) = 0. This convention forces the 123 248 J. M. Heittokangas, Z.-T. Wen Q (z) functions g (z) = P (z)e to be linearly independent. Let q = max{deg(Q )} j j j denote the order of f . As observed in [9,22], we may then write f in the normalized form q q q w z w z w z 0 1 m f (z) = H (z)e + H (z)e + ··· + H (z)e , (1.8) 0 1 m where the functions H (z), H (z), ..., H (z) are non-vanishing exponential polyno- 0 1 m mials of order ≤ q − p for some 1 ≤ p ≤ q, and m ≤ n. The leading coefficients w , 0 ≤ j ≤ m, are pairwise distinct and non-zero, except possibly w . Thus H (z) ≡ 0 0 0 precisely when q = deg(Q ) holds for every j. Steinmetz [22] has proved analogues of (1.5) and (1.6) for exponential polynomials. We will improve the error terms in these asymptotic equations. So far there has been no attempt to find a higher order analogue of (1.3). The main focus of this paper is to find one. Then a higher order analogue of (1.4) will be found in two different ways as simple consequences. The main results are stated and further motivated in Sects. 2–3. The proofs of the main results are given in Sects. 4–8. 2 Zero Distribution So far there have been no attempts to prove a higher order analogue of Theorem A. The major part of this paper focuses on proving such a result. Before stating the actual result, we need to recall a few concepts. If f is an exponential polynomial of the form (1.8), then its Phragmén–Lindelöf indicator function −q i θ h (θ ) = lim sup r log | f (re )| r →∞ takes the form iqθ h (θ ) = max Re w e , f j see [10, p. 993]. The indicator h (θ ) is 2π-periodic and differentiable everywhere except for cusps θ at which ∗ ∗ ∗ iqθ iqθ h (θ ) = Re w e = Re w e (2.1) f j k for a pair of indices j , k such that j = k. These cusps are called the critical angles for f , and the corresponding rays are called critical rays for f [9,22]. An alternative way to find the critical angles is by means of the convex hull co(W ) of the conjugated leading coefficients of f . Namely, let arg(z) = θ be the ray that j ,k is parallel to the outer normal of co(W ) determined by two successive vertex points w , w of co(W ). Then the rays j k f arg(z) = θ + 2πn , n ∈ Z, (2.2) j ,k 123 Generalization of Pólya’s Zero Distribution Theory... 249 Po´lya Schwengeler HITW Fig. 1 Assuming that the positive real axis is a critical ray for f , the zeros of f have been con- sidered in different regions as follows: Pólya in sectors | arg(z)| <ε, Schwengeler in logarithmic strips | arg(z)|≤ c log |z|/|z|, and Heittokangas–Ishizaki–Tohge–Wen in modified logarithmic strips | arg(z)|≤ c log |z|/|z| .Here ε> 0and c > 0 are real, and p ≥ 1isaninteger are critical rays for f ,see [9, Lem. 3.2]. Thus, if co(W ) has s sides/vertices, then f has sq critical rays all together. In the particular case when q = 1 the critical rays and the orthogonal rays are one and the same. Let f be given in the normalized form (1.8), where we suppose that ρ(H ) ≤ q − p for 1 ≤ p ≤ q. The case p = 1 corresponds to the standard case, while the identity p = q reduces the coefficients H (z) to be polynomials. In [9]itisprovedthat most of the zeros of f are inside of modified logarithmic strips log r ∗ i θ ∗ (θ , c) = z = re : r > 1, | arg(z) − θ | < c , where c > 0 and arg(z) = θ represents one of the critical rays for f .For p ≥ 2 these domains approach the corresponding critical rays asymptotically, which does not happen in the standard case p = 1, see [9, Sect. 2]. Let N (r ) denote the integrated counting function of the zeros of f in |z| < r lying outside of the union of the finitely many domains (θ , c). Then q−p N (r ) = O(r + log r ). (2.3) The case p = 1 was proved earlier in [22], while partial results for the general case were proved in [5,16]. For (2.3) to hold, the constant c > 0 needs to be large enough (depending on f ). In what follows, we will assume that this is always the case without further notice whenever discussing the domains  (θ , c). The discussion above says nothing about the zero distribution in each individual modified logarithmic strip  . This motivates us to prove the following generalization of Theorem A. Theorem 2.1 Let f be an exponential polynomial of the form (1.8), where the coeffi- cients H (z) are exponential polynomials of growth ρ(H ) ≤ q − p for some integer j j 123 250 J. M. Heittokangas, Z.-T. Wen 1 ≤ p ≤ q. Then the number n (r ) of zeros of f outside of the finitely many domains (θ , c) satisfies q−p n (r ) = O r + log r . Moreover, let w , w be two consecutive vertex points of co(W ), and let θ denote the j k f argument of the ray parallel to the outer normal of co(W ) corresponding to its side [w , w ]. Let ε> 0, and let θ be any critical angle for f associated with the angle j k ⊥ ∗ θ by means of (2.2). Then the number of zeros n(r, ) of f in  (θ , c)∩{|z| < r } p p satisfies q−p 3+ε n(r, ) =|w − w | + O r log r . (2.4) p j k 2π We make some comments regarding Theorem 2.1, and discuss some immediate consequences of it. First, according to (2.1), at least two leading coefficients are needed to induce a critical ray. The example jz f (z) = e , n ≥ 2, (2.5) j =0 having critical rays at arg(z) =±π/2 shows that more than two leading coefficients can induce the same critical ray. It follows that the conjugate of any leading coefficient inducing a critical ray must be a boundary point of co(W ). Indeed, if (2.1) holds, then ∗ ∗ ∗ iqθ iqθ iqθ Re w e = Re w e ≥ max Re w e . j k l l=k, j From (2.2) we get that arg(z) = qθ is an orthogonal ray for a line through the points w and w . Hence this line must be a support line for co(W ), and so w and w are j k f j k boundary points of co(W ). However, being a boundary point of co(W ) is not enough. f f In proving Theorem 2.1 it is necessary that in between two consecutive  -domains precisely one exponential term is dominant. This property is explained in more detail in Lemma 7.2 below. Only those exponential terms that are associated with vertex points of co(W ) have this property. For the function f in (2.5), the dominant term in nz the right half-plane is e , while the dominant term in the left half-plane is 1. Second, keeping in mind that w , w are two consecutive vertex points of co W , j k f we get |w − w |= C (co(W )), where the summation is taken over all sides of j k f co(W ).From(2.2) we see that the orthogonal ray associated with the pair w , w f j k induces q critical rays. This gives rise to the asymptotic equation q−p 3+ε n(r , 1/ f ) = qC (co(W )) + O r log r . (2.6) 2π Third, since a domain  (θ , c) for any p is essentially contained in an arbitrary ε-angle {z :| arg(z) − θ | <ε}, it follows that the critical rays of f are precisely 123 Generalization of Pólya’s Zero Distribution Theory... 251 the Borel directions of order q of f . Note that f has no Borel directions of order ρ ∈ (q − p, q). In the case q = 1 the critical rays of f (which are the same as the orthogonal rays of f ) are precisely the Julia directions for f in a strong sense. Indeed, for any a ∈ C, f has at most finitely many a-points outside of the domains  (θ , c) by Theorem A. q−p Finally, it seems that the best possible error term in (2.4) might be O(r ),but our method does not give this. 3 Asymptotic Growth of T (r, f ) and N(r, 1/f ) For an exponential polynomial f of the normalized form (1.8), Steinmetz [22] has proved the asymptotic equations 1 r N r , = C (co(W )) + o(r ), (3.1) f 2π 0 q T (r , f ) = C co W + o(r ). (3.2) 2π These are higher order analogues of (1.5) and (1.6). The next result improves the error term in (3.2) even in the standard case p = 1. It is obvious that the logarithmic term in (3.3) below is only needed when q = p, that is, when the coefficients H (z) are ordinary polynomials. Theorem 3.1 Let f be an exponential polynomial in the normalized form (1.8), where we suppose that ρ(H ) ≤ q − pfor 1 ≤ p ≤ q. Then 0 q−p T (r , f ) = C co W + O r + log r . (3.3) 2π Let f be the exponential polynomial in (1.7), and suppose that f can be written in the normalized form (1.8), where ρ(H ) ≤ q − p for 1 ≤ p ≤ q. If one of the polynomials Q (z) vanishes identically, we may suppose that it is Q (z), and that no j 0 other polynomial Q (z) vanishes identically. In this case H (z) reduces to an ordinary j 0 polynomial in z. Under these conditions, we have the following result that improves theerrortermin(3.1). Theorem 3.2 If H (z) ≡ 0, we have q−p m r , = O r + log r . (3.4) If Q (z) ≡ 0, then we have the stronger estimate m r , = O (log r ) . (3.5) 123 252 J. M. Heittokangas, Z.-T. Wen Moreover, we have 1 r q−p N r , = C (co(W )) + O r + log r . (3.6) f 2π We conclude this section with the following quick consequence of (3.1). This is a weaker form than (2.6), but it is needed in proving Theorem 2.1, whereas (2.6)isa consequence of Theorem 2.1. Corollary 3.3 Let f be an exponential polynomial of order q such that C = C (co(W )) > 0. Then 1 r n r , = qC (co(W )) + o r . f 2π Proof Write (3.1) in the form q q r 1 r q q C (co(W )) − ε(r )r ≤ N r , ≤ C (co(W )) + ε(r )r , f f 2π f 2π where 0 <ε(r)< 1 is a decreasing function such that ε(r ) → 0as r →∞.Let 0 <δ(r)< 1 be any decreasing function such that δ(r ) → 0as r →∞.Using x −1 log x ≥ for x ≥ 1, we get 1 1 n r , r (1+δ(r )) r (1+δ(r )) n t , 1 f dt 1 + δ(r ) f n r , = ≤ dt f log (1 + δ(r )) t δ(r ) t r r 1 + δ(r ) 1 1 = N r 1 + δ(r ) , − N r , ( ) δ(r ) f f ⎛ ⎞ 1 + δ(r ) Cr q j q ⎝ ⎠ = δ(r ) + O ε(r )r δ(r ) 2π j j =1 q q r ε(r )r q q = qC + O δ(r )r + O ε(r )r + O . 2π δ(r ) Similarly, using log x ≤ x − 1for x ≥ 1, we get 1 1 n r , r r n t , 1 f dt 1 − δ(r ) f n r , = ≥ dt f − log (1 − δ(r )) t δ(r ) t r (1−δ(r )) r (1−δ(r )) q q r ε(r )r q q = qC + O δ(r )r + O ε(r )r + O . 2π δ(r ) Choose δ(r ) = ε(r ), and all error terms above are of the form o (r ). 123 Generalization of Pólya’s Zero Distribution Theory... 253 4 Lemmas for Theorem 3.1 Let f be an exponential polynomial with no zeros. Then f = e , where P is a polynomial of degree p, and there exist constants C > 0 and R > 0 such that −|P(z)| p log | f (z)|≥ log e ≥−Cr (4.1) for |z| > R.If f has finitely many zeros, then f = Qe , where Q is also a polynomial. The conclusion in (4.1) holds in this case also, but possibly for different constants C and R. For an exponential polynomial f with infinitely many zeros, a lower bound for log | f (z)| is given in [9, Lem. 5.1], which originates from [23, Thm V. 19]. This estimate is valid for all z outside of certain discs centered at the zeros of f . In our applications, however, we need to be more flexible with the size of these discs, as is described next. Lemma 4.1 Let f be an entire function of finite order ρ = ρ( f ), and let {z } denote the zeros of f . Suppose that the exponent of convergence of {z } is λ = λ( f ) ≥ 1, and that the number of zeros of f in |z| < r satisfies n r , = C (r )r , where C (r ) is bounded from above as r →∞. Moreover, let k : (0, ∞) →[1, ∞) be any non-decreasing function. Then there exists a constant A > 0 such that ρ λ log | f (z)|≥−A max r , r log (rk(2r )) (4.2) i θ whenever z = re lies outside of the discs |z − z |≤ 1/k(|z |) and |z|≤ e. n n Proof We may factorize the entire f as f = Qe , where P is a polynomial and Q is a canonical product formed with the zeros z of f . Set p = deg(P), in which case q+1 ρ = max{ p,λ}, and q =λ. Since the integral N (r , 1/ f )/r dr diverges, −q the sum |z | also diverges, see [8, Lem. 1.4]. Hence q is the genus of the n=1 sequence {z },see [23, p. 216] for the definition. This allows us to write Q in the form z z 1 z Q(z) = 1 − exp + ··· + . z z q z n n n n=1 We also write z z 1 z (z, z ) = log − + ··· + , z − z z q z n n n 123 254 J. M. Heittokangas, Z.-T. Wen so that log = (z, z ), z = z . n n Q(z) n=1 Taking positive real parts on both sides of the above equation results in + + log ≤ Re ( (z, z )) + | (z, z )|=: + , n n 1 2 |Q(z)| r ≤2r r >2r n n where r =|z |. Similarly as in the proof of [9, Lem. 5.1], we obtain = O (r ). n n 2 This estimate has nothing to do with the size of the discs around the points z .In , n 1 we have z r + + Re ( (z, z )) ≤ log + z − z r n n j =1 q−1 z r r n n ≤ log + z − z r r n n j =0 z r + q ≤ log + 2 . z − z r n n If z lies outside of the discs |z − z |≤ 1/k(|z |) and |z|≤ e,itfollows that n n log ≤ log (r k(r )) ≤ log (2rk(2r )) , n n z − z because r ≤ 2r and k is non-decreasing. Thus 2r dn(t ) q q ≤ n(2r ) log (2rk(2r )) + 2 r + O(1) 2r n(t ) λ q q λ ≤ O r log (rk(2r )) + 2 qr dt = O r log (rk(2r )) . q+1 The reasoning above shows that there exists a constant B > 0 such that log |Q(z)|≥ λ i θ −Br log (rk(2r )) whenever z = re lies outside of the aforementioned closed discs. P(z) Since P is a polynomial of degree p, there is a constant C > 0 such that log e ≥ −Cr for |z| > e. The assertion now follows by choosing A = B + C. Corollary 4.2 Let f be an exponential polynomial of order ρ = ρ( f ),let {z } denote the zeros of f , and let λ = λ( f ) ≥ 1 be the exponent of convergence of {z }. Suppose that k : (0, ∞) →[1, ∞) is any non-decreasing function. Then there exists a constant A > 0 such that ρ λ log | f (z)|≥−A max r , r log (rk(2r )) 123 Generalization of Pólya’s Zero Distribution Theory... 255 i θ whenever z = re lies outside of the discs |z − z |≤ 1/k(|z |) and |z|≤ e. n n λ+ε q 2 Remark 1 We may choose k(x ) = x , ε> 0, in Lemma 4.1 and k(x ) = x log x in Corollary 4.2. For these choices of k, it follows by Riemann–Stieltjes integration that 1 dn(t ) = < ∞. k(|z |) k(t ) n e |z |≥e Thus the projection I of the discs |z − z |≤ 1/k(|z |) on the positive real axis has n n finite linear measure. The following lemma follows implicitly from the discussions in [11, Sect. 3]. For the convenience of the reader, we give a direct proof. Lemma 4.3 Suppose that T : R → R is eventually a non-decreasing function. + + Suppose further that there exist constants C > 0,q > 0, 0 ≤ p < q and s ≥ 0 such that, as r →∞, T can be written in the form q p s T (r ) = Cr + O r log r , r ∈ / E ∪[0, 1], (4.3) where E ⊂[1, ∞) has finite logarithmic measure (or finite linear measure). Then the asymptotic equality in (4.3) holds for all r large enough. Proof Let ε ∈ (0, min{1, C }). Then there exist constants R = R (ε) > 1 and C > 0 1 1 1 such that T (r ) is increasing for r > R and q p s q p s (C − ε)r − C r log r ≤ T (r ) ≤ (C + ε)r + C r log r , 1 1 where r ∈ (R , ∞) \ E. Moreover, due to p < q we may suppose that R is chosen 1 1 large enough so that the lower bound and the upper bound for T (r ) are increasing functions of r. Then, using [7, Lem. 5], we can find an R = R (ε) > max{2, R } 2 2 1 such that, for r > R , q q p s T (r ) ≤ (C + ε)(1 + ε) r + C (2r ) log (2r ) q q p+s p s ≤ (C + ε)(1 + ε) r + 2 C r log r , and similarly C − ε q p s T (r ) ≥ r − C r log r . (1 + ε) In other words, q p s  q p s (C − ε )r − C r log r ≤ T (r ) ≤ (C + ε )r + C r log r , r > R , 2 2 2 p+s where R = R (ε )> 2 and C = 2 C . This yields the assertion. 2 2 2 1 123 256 J. M. Heittokangas, Z.-T. Wen Lemma 4.4 [9] Let f be an exponential polynomial of the form (1.8), ψ (θ ) = iqθ Re(w e ),p ≤ q and 2a = min |ψ (θ ) − ψ (θ )|: ψ (θ ) = ψ (θ ), k = j . (4.4) k j k j i θ For a given c > 0 there exists an R > 0, with the following property: If z = re ∈ / ∗ ∗ (θ , c) for any θ and any r ≥ R , and if h (θ ) = ψ (θ ), then p 0 f j log r h (θ ) > max ψ (θ ) + ac . f k k= j r 5 Proof of Theorem 3.1 We divide the proof into four steps for clarity. 5.1 Preliminaries Let arg(z) = θ , j = 1,..., k, be the critical rays of f arranged such that 0 ≤ θ < j 1 θ < ··· <θ < 2π. Set θ = θ + 2π.For j = 1,..., k, define F = (θ ,θ ) 2 k k+1 1 j j j +1 and log r i θ (θ , c) = z = re : r > 1, | arg(z) − θ | < c , p j j log r log r F (r ) = θ + c ,θ − c , j j j +1 p p r r where c > 0 is sufficiently large. The domain  (θ , c) curves asymptotically towards p j the critical ray arg(z) = θ , provided that p ≥ 2, see [9, Sect. 2]. The interval F (r ) j j corresponds to the arguments in between two consecutive domains  (θ , c) and p j (θ , c). Clearly F (r ) → (θ ,θ ) = F as r →∞ for any p ≥ 1. p j +1 j j j +1 j Since f has no poles, we have 2π + i θ T (r , f ) = m(r , f ) = log | f (re )| dθ. 2π For j = 0,..., m, we define iqθ iqθ E = θ ∈[0, 2π) : Re w e > max Re w e , j j k k= j log r iqθ iqθ E (r ) = θ ∈[0, 2π) : Re w e > max Re w e + c . j j k k= j r By Lemma 4.4, each set E (r ) is a finite union of intervals F (r ). Thus the set E is a j i j finite union of intervals F .If E =∅, then P (z) ≡ 0 and w = 0, so the definition i 0 0 0 123 Generalization of Pólya’s Zero Distribution Theory... 257 w z of the set E implies that the terms |H (z)e |, j = 1,..., m, are bounded for j j w z arg(z) = θ ∈ E . On the other hand, if θ/ ∈ E for some j, then |H (z)e |≤ 0 j j M (r , H ). Keeping in mind that ρ(H ) ≤ q − p, we conclude in both cases E =∅ j j 0 and E =∅ that + i θ q−p T (r , f ) = log | f (re )| dθ + O r + log r . (5.1) 2π j =1 5.2 Upper Bound for T(r, f) To estimate the integrals in (5.1) over the sets E , we write ⎛ ⎞ q q w z (w −w )z j k j ⎝ ⎠ f (z) = e H (z) + H (z)e . (5.2) j k k= j i θ If z = re and θ ∈ E , it follows that + iqθ + log | f (z)|≤ Re w e + log M (r , H ) + log(m + 1) j j j =0 q q−p = k (qθ)r + O r + log r , (5.3) where k (θ ) is the support function for the convex set co(W ) [15, p. 74]. Therefore q−p T (r , f ) ≤ k (qθ) dθ + O r + log r 2π j =1 q 2π q−p ≤ k (qθ) dθ + O r + log r 2π q 2π q−p = k (ϕ) dϕ + O r + log r 2π 0 q−p = C (co(W )) + O r + log r , 2π where the last identity follows from Cauchy’s formula for convex curves. This formula can be found in many books on integral geometry. 5.3 Lower Bound for T(r, f) If q = 1orif p = q, then the coefficients H (z) are polynomials, and no exceptional set occurs when estimating T (r , f ) from below. Hence we suppose that 1 ≤ p ≤ q −1. Observe that 123 258 J. M. Heittokangas, Z.-T. Wen + + + log (xy) ≥ max log x − log , 0 i θ for all x ≥ 0 and y > 0. So, if z = re and θ ∈ E (r ), by applying this observation to (5.2), we have ⎧ ⎫ −1 ⎪   ⎪ ⎨   ⎬ + iqθ + (w −w )z k j log | f (z)|≥ max Re w e − log |H (z)|− M (r , H )e  , 0 j j k ⎪ ⎪ ⎩   ⎭ k= j ⎧ ⎫ −1 ⎪   ⎪ ⎨ ⎬ q−p q + −cr log r ≥ max h (θ )r − log |H (z)|− M (r , H )e , 0 . f j k ⎪ ⎪ ⎩   ⎭ k= j The functions H (z) are of order ≤ q − p ≤ q − 1 and of finite type. Therefore there exists a constant A > 0 such that q−p q−p log M (r , H ) ≤ Ar log r and log |H (z)|≥−Ar log r . j j The latter inequality is valid for all |z|= r outside of a set I ⊂ (0, ∞) of finite linear measure. This follows by applying Lemma 4.1 with k(x ) = x to each of the coefficients H (z), and then taking the union of all the exceptional sets involved. See also the remark following Lemma 4.1. We note that k(x ) could be chosen to have less growth at this point, but the particular growth rate fixed here is needed later on. Choosing c > 2a in Lemma 4.4,wehave + q q−p log | f (z)|≥ max{h (θ )r , 0}− O r + log r , (5.4) where |z|= r ∈ / I . Recall that each set E is a finite union of intervals F . In fact, j i E (r ) := E (r ) = F (r ), so that j i j i −p θ −cr log r j +1 + i θ + i θ log | f (re )| dθ = log | f (re )| dθ −p [0,2π ]\E (r ) θ +cr log r j =1 q−p = O r + log r . From (5.1), (5.3) and (5.4), it then follows that q−p T (r , f ) ≥ max{h (θ ), 0} dθ + O r + log r 2π E (r ) j =1 q−p = max{h (θ ), 0} dθ + O r + log r 2π j =1 123 Generalization of Pólya’s Zero Distribution Theory... 259 q 2π q−p = max{h (θ ), 0} dθ + O r + log r 2π 0 q−p = C (co(W )) + O r + log r , r ∈ / I , 2π where the last identity follows again by Cauchy’s formula and by the fact that h (θ ) = k (qθ). 5.4 Conclusion of the Proof The upper and lower estimates just obtained for T (r , f ) have the same magnitude of growth, but the lower estimate is valid outside of an exceptional set I of finite linear measure. The set I can be avoided by means of Lemma 4.3. This completes the proof of (3.3). 6 Proof of Theorem 3.2 Q (z) Let us begin with the particular case Q (z) ≡ 0. As the functions g (z) = P (z)e , 0 j j j = 1,..., n, are linearly independent, they form a fundamental solution base for a linear differential equation (n) (n−1) L (g) := g + a (z)g + ··· + a (z)g = 0, (6.1) n n−1 0 see [12, Prop. 1.4.6]. The coefficient functions a (z) can be expressed as quotients of Wronskian and modified Wronskian determinants of the functions g (z). Note that Q (z) g (z) = R (z)e , where R (z) = P (z) + Q (z)P (z) ≡ 0. j j j j Q (z) This means that the exponential term e remains in differentiation, and further differentiations will not change that. Therefore, from each column of each determinant we can pull out the single exponential term as a common factor. Thus exp(Q (z)+···+ Q (z)) is a common factor for each determinant, and they cancel out in the quotients. The entries of the remaining determinants are polynomials. Hence the coefficients a (z) in (6.1) are rational functions. If P (z) were to be a solution of (6.1), it would have to be linearly dependent with the solutions g ,..., g . Thus P (z) would be transcendental, which is a contradiction. 1 n 0 It follows that a (z) := L (P ) ≡ 0 is a rational function. We conclude that f is a n n 0 solution of the non-homogeneous equation (n) (n−1) f + a (z) f + ··· + a (z) f = a (z). n−1 0 n Dividing both sides by fa (z) and using the lemma on the logarithmic derivative together with the fact that the coefficients are rational gives us (3.5). 123 260 J. M. Heittokangas, Z.-T. Wen Suppose next that Q (z) ≡ 0. Define −Q (z) Q (z)−Q (z) 0 0 g(z) = e f (z) = P (z) + ··· + P (z)e . (6.2) 0 n Now the discussion above can be applied to g giving us m(r , 1/g) = O(log r ) and, a fortiori, 1 1 N r , = N r , = T (r , g) + O(log r ). (6.3) f g Suppose in addition that H (z) ≡ 0. Due to the assumption ρ(H ) ≤ q − p,wemay 0 j assume, without loss of generality, that deg(Q ) ≤ q − p. Thus, applying Theorem 3.1 to f and using (6.2), we get 0 q−p T (r , f ) = C co W + O r + log r 2π q−p = T (r , g) + O r + log r . (6.4) We deduce the estimate (3.4) by combining (6.3) and (6.4). Finally, we suppose that H (z) ≡ 0, in which case deg(Q ) = q for every j and m = n.Let U ={w − 0 j 1 w ,..., w − w } be the set of conjugate leading coefficients of g, and set U = 0 m 0 0 U ∪{0}. By a simple vector calculus, we conclude the following: If w is a boundary point of co(W ), then 0 is a boundary point of co(U ), while if w is an interior point f 0 of co(W ), then 0 is an interior point of co(U ). Thus, applying Theorem 3.1 to g,we get q−p T (r , g) = C (co(U )) + O r + log r 2π q−p = C (co(W )) + O r + log r . 2π The final assertion (3.6) follows from this and (6.3). 7 Lemmas for Theorem 2.1 The following lemma is considered for more general curves in [4] but in Cartesian coordinates. However, our situation is very delicate, and we need the representation in polar coordinates. Lemma 7.1 Let p ≥ 1 be any real number, and let U be any collection of Euclidean discs D = D(z , r ), where the center points z ∈ C are ordered according to n n n n increasing moduli, |z |→∞,r > 0,r → 0 and n n n p−1 |z | r n n < ∞. (7.1) log |z | |z |>e 123 Generalization of Pólya’s Zero Distribution Theory... 261 y arg z =arg z + θ n n log |z| arg z = c |z| arg z =arg z − θ n n log |z| 1 arg z = c |z| Fig. 2 The disc D and the asymptotic curves in the case p = 1 Then the set C ⊂ (0, ∞) of values of c for which the curve log r i θ ∂ (0, c) = z = re : r ≥ 1, | arg(z)|= c meets infinitely many discs D has linear measure zero. Proof If z ∈ ∂(0, c), then log r log r log r z = r cos c ± ir sin ∼ r ± ic . p p p r r r log x Asymptotically this corresponds to the Cartesian curves y =±c .Fromthis p−1 representation we see that the cases p = 1 and p > 1 have a different geometry. Nevertheless our proof works for both cases simultaneously. By the Cartesian representation we may suppose that the points z lie in the right half-plane in between the lines y =±x. Since |z |→∞ and r → 0, there exists a n n positive integer N such that |z | |z |− r ≥ ≥ 2e, n ≥ N . n n Note that the function x → log x /x is strictly decreasing for x ≥ e. Moreover, it suffices to consider the portion of ∂ (0, c) located in the upper half-plane, call it (c) for short. Suppose that a disc D lies asymptotically in between the curves  (c ) and n 1 (c ), where c < c , and let ζ and ζ denote the respective intersection points. 2 1 2 1 2 The disc D can be seen from the origin at an angle 2θ , where sin θ = r /|z |. n n n n n 123 262 J. M. Heittokangas, Z.-T. Wen We have θ ≤ 2r /|z |→ 0as n →∞, and n n n p p |ζ | arg(ζ ) |ζ | arg(ζ ) 2 2 1 1 c − c = − 2 1 log |ζ | log |ζ | 2 1 p p (|z |+ r ) arg(ζ ) (|z |− r ) arg(ζ ) n n 2 n n 1 ≤ − log(|z |+ r ) log(|z |− r ) n n n n p p p r p r n n |z | 1 + (arg(z ) + θ ) |z | 1 − (arg(z ) − θ ) n n n n n n |z | |z | n n ≤ − log(|z |+ r ) log(|z |− r ) n n n n p p p p |z | arg(z ) + 2|z | θ r r n n n n n n ≤ 1 + − 1 − . log(|z |− r ) |z | |z | n n n n Using the estimate p p p r r |z |− r n n n n 1 + − 1 − ≤ 2 1 − |z | |z | |z |+ r n n n n 1 p+1 2 pr p p−1 = 2 p x dx ≤ , |z |−r n n |z | |z |+r n n we conclude that p+1 p−1 2 p|z | r (arg(z ) + 2θ ) n n n n c − c ≤ 2 1 log(|z |− r ) n n p p−1 p+1 p−1 2 pπ |z | r 2 pπ |z | r n n n n ≤ ≤ , n ≥ N . (7.2) |z | log |z | log( ) n Let ε> 0. By the assumption (7.1) there exists an integer N (ε) ≥ N such that p−1 |z | r ε n n < . (7.3) p+1 log |z | 2 pπ n≥N (ε) + + Let then C ⊂ (0, ∞) denote the set of values c for which the curve  (c) meets at least one disc D , where n ≥ N (ε).By(7.2) and (7.3), p+1 p−1 2 pπ |z | r n n dx ≤ <ε. log |z | C n n≥N (ε) − − Analogously, if C ⊂ (0, ∞) denotes the set of values c for which the curve  (c) in the lower half-plane meets at least one disc D , where n ≥ N (ε), then − dx <ε. + − Since C is a subset of C ∪ C for any ε> 0, we have dx = 0. ε ε C Through the rest of this section, let k : (0, ∞) →[1, ∞) denote any non-decreasing function. To simplify the notation, we restrict to the growth rate k(r ) = O (r ) for 123 Generalization of Pólya’s Zero Distribution Theory... 263 some σ> 0, even though the results that will follow would allow for even faster growth. Let f be an exponential polynomial in the normalized form (1.8), and let {z } denote the sequence of zeros of f and of all of its transcendental coefficients H , listed according to multiplicities and ordered according to increasing moduli. Finally, let C( f , k) denote the collection of discs |z − z |≤ 1/k(|z |). For simplicity, we may n n also assume that a disc |z| < R for a suitably large R > 0 is included in C( f , k). The next auxiliary result is obtained by modifying the proof of [9,Thm.2.4], see also the remark following [9,Thm.2.4]. Lemma 7.2 Let f be an exponential polynomial in the normalized form (1.8), where we suppose that ρ(H ) ≤ q − pfor 1 ≤ p ≤ q. Then there exist constants A > q and c > 0 with the following properties: If  denotes the domain in between any two ∗ ∗ consecutive zero-domains  (θ , c) and  (θ , c) of f , and if z ∈  \ C( f , k), then p p 1 2 there exists a unique index j such that w z f (z) = H (z)e (1 + ε (r )), (7.4) j q−p where |ε (r )|≤ B exp −Ar log r ,k ≥ 0, |z|= r, and B > 0 is some constant. Denote q−1 G (z) = H (z) + qw z H (z). j j j For the same values of z and j as above, we have w z G (z)e (1 + ε (r )), if j = 0, j q−p 0 f (z) = (7.5) H (z) + ε (r ), if j = 0. q−p 0 Proof (1) In order to prove (7.4), we first suppose that q ≥ 2 and that 1 ≤ p ≤ q − 1. The latter means that all coefficients H (z) are assumed to be transcendental. There exist constants A > q and r > 0 such that q−p log M (r , H ) ≤ Ar , j ∈{0,..., m}, (7.6) whenever r ≥ r . We conclude by Corollary 4.2 that there exists a constant A > q such that q−p log |H (z)|≥−Ar log r , j ∈{0,..., m}, (7.7) whenever z ∈ / C( f , k). We may suppose that the constant A in (7.7) is the same as q q that in (7.6) by choosing the larger of the two. Noting that r ψ (θ ) = Re (w z ),we k k i θ make use of Lemma 4.4 by choosing c > 4A/a:If z = re ∈  and if r is large enough, then there exists a unique index j such that q q q−p Re w z ≥ Re w z + 4Ar log r (7.8) j k 123 264 J. M. Heittokangas, Z.-T. Wen for all k = j . If in addition z ∈ / C( f , k), then the estimates (7.6)–(7.8) applied to (1.8) yield q q −w z (w −w )z j k j 0 0 f (z)e ≥|H (z)|− |H (z)||e | j k k= j q−p q−p ≥|H (z)|− exp log m + Ar − 4Ar log r , from which | f (z)| q−p ≥ 1 − exp −Ar log r . w z H (z)e On the other hand, | f (z)| |H (z)| q (w −w )z q−p k j ≤ 1 + e  ≤ 1 + exp −Ar log r , w z 0 |H (z)| H (z)e j k= j where z ∈  \ C( f , k). This discussion covers the case w = w = 0 also, that is, j 0 the case when f (z) − H (z) = ε (r ) in λ \ C( f , k). 0 p−q If some (but not all) coefficients are polynomials, the previous reasoning can be simplified. Indeed, if a particular coefficient H (z) is a polynomial, then the growth of deg(H ) |H (z)| is comparable to |z| for r large enough. Consideration of the set C( f , k) is not needed for this particular coefficient, as we only need to assume that |z| is large enough. Suppose then that q ≥ 1 is any integer and p = q, that is, all of the coefficients H (z) are polynomials. This covers the remaining case. There exist constants A > 0 j 1 and A > 0 such that d d |H (z)|≤ A |z| and |H (z)|≥ A |z| , j 1 j 2 i θ where d = deg(H ) and d = max{d }. Suppose that z = re ∈ , and that r is j j j large enough. Let A = max{d, 2}. We choose c > 4A/a in Lemma 4.4, and find that there exists a unique index j such that −w z d −4A log r f (z)e ≥|H (z)|− A mr e , j 1 from which | f (z)| ≥ 1 − exp (−A log r ) , z ∈  \ C. w z H (z)e On the other hand, | f (z)| |H (z)| q (w −w )z k j ≤ 1 + e ≤ 1 + exp (−A log r ) , w z 0 |H (z)| H (z)e j 0 k= j 123 Generalization of Pólya’s Zero Distribution Theory... 265 where z ∈  \ C( f , k). This completes the proof of (7.4). (2) In order to prove (7.5), we first note that q q q w z w z w z 0 1 m f = G (z)e + G (z)e + ··· + G (z)e , 0 1 m q−1 where G (z) = H (z) + qw z H (z) for j ≥ 0. If G (z) ≡ 0, then either H (z) j j j j j is a constant and w = 0or ρ(H ) = q. The latter is clearly impossible, while the j j former is possible only in the case when j = 0. Hence f is an exponential polynomial with coefficients being of order ≤ q − p, and shares the leading coefficients with f , except possibly w . Thus, by considering separately the cases j = 0 and j = 0, the 0 0 0 proof of Part (1) applies to f , and we obtain (7.5) for the same index j that appears in (7.4). This completes the proof. If any of the coefficients H in (1.8) is transcendental, it also can be represented in an analogous normalized form as f , where the coefficients are either polynomials or exponential polynomials. Proceeding from one generation of transcendental coef- ficients to the next, the order of growth decreases at least by one. Obviously there are at most q − 1 generations of transcendental descendant coefficients all together. Let {z } denote the sequence of zeros of f , of the transcendental coefficients H of n j f , and of all transcendental descendants of these coefficients, listed according to their multiplicities and ordered according to increasing moduli. Let then C ( f , k) denote the collection of all discs |z − z |≤ 1/k(|z |), and suppose that a suitably large disc n n |z| < R is also included in C ( f , k). Clearly, C( f , k) is a sub-collection of C ( f , k). 0 0 Let  denote the set consisting of the critical angles of f in (1.8), the critical angles of the transcendental coefficients H of f , and the critical angles of all transcendental descendants of these coefficients. Some of the critical angles of f may coincide with those of its coefficients or descendant coefficients. Nevertheless,  is a finite subset of [0, 2π), so the elements θ of  can be ordered, say 0 ≤ θ <θ < ... < θ < 2π. j 1 2 l Set θ = θ . l+1 1 Lemma 7.3 Let f be an exponential polynomial in the normalized form (1.8), where we suppose that ρ(H ) ≤ q − pfor 1 ≤ p ≤ q. Let θ ,θ be two consecutive elements j j j +1 of , and let  be the domain in between the domains  (θ , c) and  (θ , c), p j p j +1 where c > 0 is sufficiently large. If z ∈  \ C ( f , k), then there exists a unique index j and constants C ,..., C ∈ C such that 0 0 q−p−1 f (z) q−1 q−p−1 −1 = qw z + C z + ··· + C + O(r ). (7.9) j q−p−1 0 f (z) Proof We will make use of the proof of Lemma 7.2 not only for f but also for the coefficients and the descendant coefficients of f . For each function for which the proof is used, new constants A > q and c > 0 are found. Since there are at most finitely many functions involved, we may choose A and c to be the maxima of all these corresponding coefficients. 123 266 J. M. Heittokangas, Z.-T. Wen Independently of whether w = 0or w = 0, it follows directly from (7.4) and j j 0 0 (7.5) that H (z) f (z) q−1 0 = qw z + (1 + ε (r )). (7.10) j q−p f (z) H (z) Suppose that H (z) is a polynomial. Then (7.10) yields f (z) q−1 −1 = qw z + O r (1 + ε (r )) j q−p f (z) q−p +O exp (q − 1) log r − Ar log r q−1 −1 = qw z + O(r ), z ∈  \ C ( f , k), j 0 because of A > q. This proves (7.9) in the case where H (z) is a polynomial. Suppose next that H (z) is transcendental. Then q − p ≥ 1, so we may write H (z) in the normalized form with coefficients being either exponential polynomials of order ≤ q − p − 1 or ordinary polynomials. Analogously as in (7.10), the proof of Lemma 7.2, applied to H (z) instead of f , yields H (z) K (z) 0 q−p−1 = C z + (1 + ε (r )), (7.11) q−p−1 q−p−1 H (z) K (z) where C ∈ C and where K (z) is either an exponential polynomial of order q− p−1 ≤ q − p − 1 or an ordinary polynomial in z. If K (z) in (7.11) is a polynomial, then we combine (7.10) and (7.11) to get f (z) q−1 q−p−1 −1 = qw z + C z + O(r ), z ∈  \ C ( f , k). j q−p−1 0 f (z) If K (z) is transcendental, then we continue inductively in this fashion by reducing the order on each step by one. Eventually the descendant coefficient must reduce down to −1 a polynomial, and, as such, its logarithmic derivative is of growth O r . This gives us the representation (7.9). Finally, we remind the reader of the following well-known standard growth estimate for logarithmic derivatives by Gundersen [6]. Lemma 7.4 Let f be a meromorphic function, let k, j be integers such that k > j ≥ 0, and let α> 1. Then there exists a set E ⊂ (1, ∞) that has finite logarithmic measure, and there exists a constant A > 0 depending only on α, k, j, such that for all z satisfying |z| ∈ / E ∪[0, 1], we have (k)  k− j f (z) T (αr , f ) n (αr ) ≤ A + log r log n (αr ) , (7.12) ( j ) f (z) r r ( j ) where r =|z| and n (r ) denotes the number of zeros and poles of f in |z| < r. 123 Generalization of Pólya’s Zero Distribution Theory... 267 8 Proof of Theorem 2.1 q−p The first assertion n (r ) = O r + log r is a simple consequence of (2.3) and the −1 standard estimate n(r ) ≤ (log 2) (N (2r ) − N (r )) between any counting function n(r ) and its integrated counterpart N (r ). Thus it suffices to prove (2.4). Let  denote any piecewise smooth positively oriented Jordan curve, and let n() denote the zeros of f in the domain bounded by . By the argument principle, we have 1 f (z) n() = dz, (8.1) 2πi f (z) provided that f has no zeros on . In addition, the curve  needs to be separated from the zeros of f so that we can use the minimum modulus estimate in Corollary 4.2 as well as its further consequences in Sect. 7. Hence we need to choose  carefully. In order to simplify the situation, we may suppose that the positive real axis is −i θ a critical ray for f by appealing to the exponential polynomial g(z) = f (e z), if necessary. Thus, we assume that θ = 0 is a critical angle for f , determined by its leading coefficients w ,w as in (2.1). It follows that w and w are the unique j k j k dominant leading coefficients of f on the sides of the positive real axis. Without loss of generality, we may assume that w determines the dominant term of f below the x- axis and that w determines the dominant term of f above the x-axis. The uniqueness of the constants w ,w carries over to the application of Lemma 7.3. j k q+p−1 Let k(x ) = x log x and r = k(|z |) for x ≥ e and |z |≥ e. For this particular n n n k,welet C ( f , k) denote the set discussed in Sect. 7. Then (7.1) clearly holds, and so, by Lemma 7.1, we can find c > 0 such that ∂ (0, c) meets at most finitely many discs |z − z |≤ r . This constant c also takes into account the p-generalization (2.3) n n + − of the result by Steinmetz. Denote by  (c) and  (c) the portions of  (0, c) in the upper half-plane and the lower half-plane, respectively. Let α> 1, and let E ⊂ (1, ∞) denote the exceptional set of finite logarithmic measure in Lemma 7.4, where f is our exponential polynomial of order q, and k = 1, + − j = 0. Choose R ∈ (e, ∞) \ E large enough such that the curves  (c) and  (c) do not meet any of the discs |z − z |≤ r for r ≥ R. Then choose any r ∈ (R, ∞) \ E. n n Finally, let  =  +  +  +  , where 1 2 3 4 log t −ic : z = te , where t goes from R to r , log r log r i θ : z = re , where θgoes from − c to c , 2 p p r r log t ic : z = te , where t goes from r to R, log R log R i θ : z = Re , where θ goes from c to − c . 4 p p R R The idea is to keep R fixed and eventually to let r increase. Due to the construction, it is clear that  contains no zeros of f , even when r ∈ (R, ∞) \ E is arbitrarily large. We find that log t 1 − p log t q−1 q−1 −iqc I := w qz dz = w qt e 1 − ci dt . j j p+1 123 268 J. M. Heittokangas, Z.-T. Wen −ic log t Γ : z = te θ x Γ : z = re Γ : z = Re −ic log t Γ : z = te Fig. 3 The domain bounded by the curve  =  +  +  + 1 2 3 4 If we set w = a + ib , then j j j log t log t 1 − p log t q−1 Im I = b qt cos qc − sin qc c dt p p p+1 t t t log t log t 1 − p log t q−1 − a qt sin qc + cos qc c dt . p p p+1 t t t 2 3 Using the standard estimates 1 − x /2 ≤ cos x ≤ 1 and x − x /6 ≤ sin x ≤ x,we get q q−p Im I = b r + O r log r . Using Lemma 7.3, it follows that f (z) q q−p Im dz = b r + O r log r . f (z) Analogously, if w = a + ib , then k k k f (z) q q−p Im dz =−b r + O r log r . f (z) The minus-sign here is a result of integrating in the opposite direction. Next we apply Lemma 7.4 together with Corollary 3.3, and obtain the estimate f (z) f (z) q−p 2+α dz + dz = O r log r . f (z) f (z) 2 4 123 Generalization of Pólya’s Zero Distribution Theory... 269 By putting everything together, we conclude that 1 f (z) b − b j k q q−p 2+α dz = r + O r log r . (8.2) 2πi f (z) 2π Keeping (8.1) in mind, the left-hand side of (8.2) is the number of zeros n(r,) of f in a domain bounded by the closed curve  that depends on r. Since counting functions are always non-negative, it follows that b − b =|b − b |. The situation would be j k j k symmetric if we would have chosen the leading coefficients w and w the other way j k ∗ ∗ iqθ iqθ around in the reasoning above. Moreover, from (2.1), we get Re w e = Re w e , j k which can be written as ∗ ∗ ∗ ∗ a cos qθ − b sin qθ = a cos qθ − b sin qθ . j j k k Since we have chosen θ = 0, it follows that a = a . Therefore, we have |w −w |= j k j k |b − b |, so that (8.2) now reads as j k |w − w | j k q q−p 2+α n(r,) = r + O r log r . 2π The assertion follows from this via Lemma 4.3 by writing α = 1 + ε. Acknowledgements Open access funding provided by University of Eastern Finland (UEF) including Kuopio University Hospital. Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/. References 1. Chuaqui, M., Gröhn, J., Heittokangas, J., Rättyä, J.: Zero separation results for solutions of second order linear differential equations. Adv. Math. 245, 382–422 (2013) 2. Dickson, D.G.: Expansions in series of solutions of linear difference-differential and infinite order equations with constant coefficients. Mem. Am. Math. Soc. 23, (1957) 3. Dickson, D.G.: Asymptotic distribution of zeros of exponential sums. Publ. Math. Debrecen 1(1), 297–300 (1964) 4. Ding, J., Heittokangas, J., Wen, Z.-T.: A continuous transition from E-sets to R-sets, and beyond. arXiv:1910.00801 5. Gackstatter, F., Meyer, G.P.: Zur Wertverteilung der Quotienten von Exponentialpolynomen. Arch. Math. (Basel) 36(3), 255–274 (1981) 6. Gundersen G.G.: Estimates for the logarithmic derivative of a meromorphic function, plus similar estimates. J. Lond. Math. Soc. (2) 37(1), 88–104 (1988) 7. Gundersen, G.G.: Finite order solutions of second order linear differential equations. Trans. Am. Math. Soc. 305(1), 415–429 (1988) 123 270 J. M. Heittokangas, Z.-T. Wen 8. Hayman, W.: Meromorphic Functions. Oxford Mathematical Monographs. Clarendon Press, Oxford (1964) 9. Heittokangas, J., Ishizaki, K., Tohge, K., Wen, Z.-T.: Zero distribution and division results for expo- nential polynomials. Isr. J. Math. 227, 397–421 (2018) 10. Heittokangas, J., Laine, I., Tohge, K., Wen, Z.-T.: Completely regular growth solutions of second order complex linear differential equations. Ann. Acad. Sci. Fenn. 40(2), 985–1003 (2015) 11. Helmrath, W., Nikolaus, J.: Ein elementarer Beweis bei der Anwendung der Zentralindexmethode auf Differentialgleichungen. Complex Var. Theory Appl. 3(4), 387–396 (1984) 12. Laine, I.: Nevanlinna Theory and Complex Differential Equations. De Gruyter Studies in Mathematics, vol. 15. Walter de Gruyter & Co., Berlin (1993) 13. Langer, R.E.: On the zeros of exponential sums and integrals. Bull. Am. Math. Soc. 37(4), 213–239 (1931) 14. Lax, P.D.: The quotient of exponential polynomials. Duke Math. J. 15, 967–970 (1948) 15. Levin B.Ja.: Distribution of Zeros of Entire Functions. Translated from the Russian by R. P. Boas, J. M. Danskin, F. M. Goodspeed, J. Korevaar, A. L. Shields and H. P. Thielman. Revised edition. Translations of Mathematical Monographs, vol. 5. American Mathematical Society, Providence (1980) 16. MacColl, L.A.: On the distributions of the zeros of sums of exponentials of polynomials. Trans. Am. Math. Soc. 36(2), 341–360 (1934) 17. Pólya, G.: Geometrisches über die Verteilung der Nullstellen spezieller ganzer Funktionen. Sitz.- Ber. Bayer. Akad. Wiss., pp. 285–290 (1920) 18. Pólya, G.: Untersuchungen über Lücken und Singularitäten von Potenzreihen. Math. Z. 29(1), 549–640 (1929) 19. Ritt, J.F.: On the zeros of exponential polynomials. Trans. Am. Math. Soc. 31(4), 680–686 (1929) 20. Schwengeler, E.: Geometrisches über die Verteilung der Nullstellen spezieller ganzer Funktionen (Exponentialsummen). Diss, Zürich (1925) 21. Shapiro, H.S.: The expansion of mean-periodic functions in series of exponentials. Commun. Pure Appl. Math. 11, 1–21 (1958) 22. Steinmetz, N.: Zur Wertverteilung von Exponentialpolynomen. Manuscr. Math. 26(1–2), 155–167 (1978/1979) 23. Tsuji, M.: Potential Theory in Modern Function Theory. Reprinting of the 1959 Original. Chelsea Publishing Co., New York (1975) 24. Voorhoeve, M., van der Poorten, A.J., Tijdeman, R.: On the number of zeros of certain functions. Ned. Akad. Wer. Proc. Ser. A 78, 407–416 (1975) 25. Wittich, H.: Bemerkung zur Wertverteilun von Exponentialsummen. Arch. Math. (Basel) 4, 202–209 (1953) Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. Affiliations 1,3 2,3 Janne M. Heittokangas · Zhi-Tao Wen Zhi-Tao Wen zhtwen@stu.edu.cn Department of Physics and Mathematics, University of Eastern Finland, P.O. Box 111, 80101 Joensuu, Finland Department of Mathematics, Shantou University, Daxue Road No. 243, Shantou 515063, China Department of Mathematics, Taiyuan University of Technology, Yingze West Street No. 79, Taiyuan 030024, China

Journal

Computational Methods and Function Theory – Springer Journals

Published: Jul 30, 2020

There are no references for this article.