Open Access

On the iterated exponent of convergence of zeros of f ( j ) ( z ) φ ( z )

Advances in Difference Equations20132013:71

https://doi.org/10.1186/1687-1847-2013-71

Received: 27 November 2012

Accepted: 27 February 2013

Published: 22 March 2013

Abstract

In this paper, the authors investigate the iterated exponent of convergence of zeros of f ( j ) ( z ) φ ( z ) ( j = 0 , 1 , 2 , ), where f is a solution of some second-order linear differential equation, φ ( z ) 0 is an entire function satisfying σ p + 1 ( φ ) < σ p + 1 ( f ) or i ( φ ) < i ( f ) ( p N ). We obtain some results which improve and generalize some previous results in (Chen in Acta Math. Sci. Ser. A 20(3):425-432, 2000; Chen and Shon in Chin. Ann. Math. Ser. A 27(4):431-442, 2006; Tu et al. in Electron. J. Qual. Theory Differ. Equ. 23:1-17, 2011) and provide us with a method to investigate the iterated exponent of convergence of zeros of f ( j ) ( z ) φ ( z ) ( j = 0 , 1 , 2 , ).

MSC:34A20, 30D35.

Keywords

linear differential equationsiterated orderiterated typeiterated exponent of convergence of zero-sequence

1 Introduction

In this paper, we assume that readers are familiar with the fundamental results and standard notation of Nevanlinna’s theory of meromorphic functions (see [1, 2]). First, we introduce some notations. Let us define inductively, for r [ 0 , ) , exp 1 r = e r and exp j + 1 r = exp ( exp j r ) , j N . For all sufficiently large r, we define log 1 r = log r and log j + 1 r = log ( log j r ) , j N ; we also denote exp 0 r = r = log 0 r and exp 1 r = log 1 r . Moreover, we denote the linear measure and the logarithmic measure of a set E [ 1 , + ) by m E = E d t and m l E = E d t / t respectively. Let f ( z ) , a ( z ) be meromorphic functions in the complex plane satisfying T ( r , a ) = o { T ( r , f ) } except possibly for a set of r having finite logarithmic measure, then we call that a ( z ) is a small function of f ( z ) . We use p to denote a positive integer throughout this paper, not necessarily the same at each occurrence. In order to describe the infinite order of fast growing entire functions precisely, we recall some definitions of entire functions of finite iterated order (e.g., see [38]).

Definition 1.1 The p-iterated order of a meromorphic function f ( z ) is defined by
σ p ( f ) = lim r ¯ log p T ( r , f ) log r .
(1.1)
Remark 1.1 If f ( z ) is an entire function, the p-iterated order of f ( z ) is defined by
σ p ( f ) = lim r ¯ log p T ( r , f ) log r = lim r ¯ log p + 1 M ( r , f ) log r .
(1.2)
It is easy to see that σ p ( f ) = if σ p + 1 ( f ) > 0 . If p = 2 , the hyper-order of f ( z ) is defined by (see [9])
σ 2 ( f ) = lim r ¯ log 2 T ( r , f ) log r = lim r ¯ log 3 M ( r , f ) log r .
(1.3)
Definition 1.2 The p-iterated type of an entire function f ( z ) with 0 < σ p ( f ) = σ < is defined by
τ p ( f ) = lim r ¯ log p M ( r , f ) r σ .
(1.4)
Definition 1.3 The finiteness degree of the iterated order of an entire function f ( z ) is defined by
i ( f ) = { 0 for  f  polynomial , min { j N : σ j ( f ) < } for  f  transcendental for which some j N  with  σ j ( f ) <  exists , for  f  with  σ j ( f ) =  for all  j N .
(1.5)
Definition 1.4 Suppose that φ ( z ) is an entire function satisfying σ p ( φ ) < σ p ( f ) or i ( φ ) < i ( f ) , then the p-iterated order exponent of convergence of zero-sequence of f ( z ) φ ( z ) is defined by
λ p ( f φ ) = lim r ¯ log p N ( r , 1 f φ ) log r .
(1.6)
Especially, if φ ( z ) = z , the p-iterated order exponent of convergence of fixed points of f ( z ) is defined to be
λ p ( f z ) = lim r ¯ log p N ( r , 1 f z ) log r .
(1.7)
If φ ( z ) = 0 , the p-iterated exponent of convergence of zero-sequence of f ( z ) is defined to be
λ p ( f ) = lim r ¯ log p N ( r , 1 f ) log r .
(1.8)
Definition 1.5 The p-iterated exponent of convergence of distinct zero-sequence of f ( z ) φ ( z ) and the p-iterated exponent of convergence of distinct fixed points of f ( z ) are respectively defined to be
λ ¯ p ( f φ ) = lim r ¯ log p N ¯ ( r , 1 f φ ) log r , λ ¯ p ( f z ) = lim r ¯ log p N ¯ ( r , 1 f z ) log r .
(1.9)
Definition 1.6 If φ ( z ) is an entire function satisfying σ p ( φ ) < σ p ( f ) or i ( φ ) < i ( f ) , then the finiteness degree of the iterated exponent of convergence of zero-sequence of f ( z ) φ ( z ) is defined by
i λ ( f φ ) = { 0 for  N ( r , 1 f φ ) = O ( log r ) , min { j N : λ j ( f φ ) < } for some  j N with  λ j ( f φ ) <  exists , if  λ j ( f φ ) =  for all  j N .
(1.10)

Remark 1.2 From Definitions 1.5 and 1.6, we can similarly give the definitions of λ ¯ p ( f ) , i λ ( f z ) , i λ ¯ ( f φ ) and i λ ¯ ( f ) .

2 Main result

In [10], Chen firstly investigated the fixed points of the solutions of equations (2.1) and (2.2) with a polynomial coefficient and a transcendental entire coefficient of finite order and obtained the following Theorems A and B. Two years later in [11], Chen investigated the zeros of f ( j ) ( z ) φ ( z ) ( j = 0 , 1 , 2 ) and obtained the following Theorems C and D, where f ( z ) is a solution of equation (2.3) or (2.4), φ ( z ) is an entire function satisfying σ ( φ ) < . In [12], Tu, Xu and Zhang investigated the hyper-exponent of convergence of zeros of f ( j ) ( z ) φ ( z ) ( j N ) and obtained the following Theorem E, where f ( z ) is a solution of (2.5), φ ( z ) is an entire function satisfying σ 2 ( φ ) < σ ( B ) . One year later, Xu, Tu and Zheng improved Theorem E to Theorem F in [13] from (2.5) to (2.6). In the following, we list Theorems A-F which have been mentioned above.

Theorem A [10]

Let P ( z ) be a polynomial with degree n (≥1). Then every non-trivial solution of
f + P ( z ) f = 0
(2.1)

has infinitely many fixed points and satisfies λ ¯ ( f z ) = λ ( f z ) = σ ( f ) = n + 2 2 .

Theorem B [10]

Let A ( z ) be a transcendental entire function with σ ( A ) = σ < . Then every non-trivial solution of
f + A ( z ) f = 0
(2.2)

has infinitely many fixed points and satisfies λ ¯ 2 ( f z ) = λ 2 ( f z ) = σ 2 ( f ) = σ .

Theorem C [11]

Let A j ( z ) (0) ( j = 1 , 2 ) be entire functions with σ ( A j ) < 1 . a, b are complex numbers and satisfy a b 0 and arg a arg b or a = c b ( 0 < c < 1 ). If φ ( z ) 0 is an entire function of finite order, then every non-trivial solution f of
f + A 1 ( z ) e a z f + A 2 ( z ) e b z f = 0
(2.3)

satisfies λ ¯ ( f φ ) = λ ¯ ( f φ ) = λ ¯ ( f φ ) = .

Theorem D [11]

Let A 1 ( z ) 0 , φ ( z ) 0 , Q ( z ) be entire functions with σ ( A 1 ) < 1 and 1 < σ ( Q ) < . Then every non-trivial solution f of
f + A 1 ( z ) e a z f + Q ( z ) f = 0
(2.4)

satisfies λ ¯ ( f φ ) = λ ¯ ( f φ ) = λ ¯ ( f φ ) = , where a 0 is a complex number.

Theorem E [12]

Let A ( z ) and B ( z ) be entire functions with finite order. If σ ( A ) < σ ( B ) < or 0 < σ ( A ) = σ ( B ) < and 0 τ ( A ) < τ ( B ) < , then for every solution f 0 of
f + A ( z ) f + B ( z ) f = 0
(2.5)
and for any entire function φ ( z ) 0 satisfying σ 2 ( φ ) < σ ( B ) , we have
  1. (i)

    λ ¯ 2 ( f φ ) = λ ¯ 2 ( f φ ) = λ ¯ 2 ( f φ ) = λ ¯ 2 ( f φ ) = σ 2 ( f ) = σ ( B ) ;

     
  2. (ii)

    λ ¯ 2 ( f ( j ) φ ) = σ 2 ( f ) = σ ( B ) ( j > 3 , j N ).

     

Theorem F [13]

Let A j ( z ) ( j = 0 , 1 , , k 1 ) be entire functions of finite order and satisfy one of the following conditions:
  1. (i)

    max { σ ( A j ) , j = 1 , 2 , , k 1 } < σ ( A 0 ) < ;

     
  2. (ii)

    0 < σ ( A k 1 ) = = σ ( A 1 ) = σ ( A 0 ) < and max { τ ( A j ) , j = 1 , 2 , , k 1 } < τ ( A 0 ) < .

     
Then for every solution f 0 of
f ( k ) + A k 1 f ( k 1 ) + + A 0 f = 0
(2.6)
and for any entire function φ ( z ) 0 satisfying σ 2 ( φ ) < σ ( A 0 ) , we have
λ ¯ 2 ( f ( j ) φ ) = σ 2 ( f ) = σ ( A 0 ) , j N .

The main purpose of this paper is to improve Theorem E from entire coefficients of finite order in (2.5) to entire coefficients of finite iterated order. And we obtain the following results.

Theorem 2.1 Let A ( z ) and B ( z ) be entire functions of finite iterated order satisfying σ p ( A ) < σ p ( B ) < or 0 < σ p ( A ) = σ p ( B ) < and 0 τ p ( A ) < τ p ( B ) . Then for every solution f 0 of (2.5) and for any entire function φ ( z ) 0 satisfying σ p + 1 ( φ ) < σ p ( B ) , we have
  1. (i)

    λ ¯ p + 1 ( f φ ) = λ ¯ p + 1 ( f φ ) = λ ¯ p + 1 ( f φ ) = λ ¯ p + 1 ( f φ ) = σ p + 1 ( f ) = σ p ( B ) ;

     
  2. (ii)

    λ ¯ p + 1 ( f ( j ) φ ) = σ p + 1 ( f ) = σ p ( B ) , j > 3 , j N .

     
Theorem 2.2 Let A ( z ) , B ( z ) be entire functions satisfying i ( A ) < i ( B ) = p . Then for every solution f 0 of (2.5) and for any entire functions φ ( z ) 0 with i ( φ ) p , we have
  1. (i)

    i λ ¯ ( f ( j ) φ ) = i λ ( f ( j ) φ ) = i ( f ( j ) φ ) = p + 1 ( j = 0 , 1 , 2 , );

     
  2. (ii)

    λ ¯ p + 1 ( f ( j ) φ ) = λ p + 1 ( f ( j ) φ ) = σ p + 1 ( f ( j ) φ ) = σ p ( B ) ( j = 0 , 1 , 2 , ).

     

Theorem 2.3 Under the hypotheses of Theorem  2.1, let L ( f ) = a k f ( k ) + a k 1 f ( k 1 ) + + a 0 f , where a j ( j = 0 , 1 , , k ) are entire functions which are not all equal to zero and satisfy σ p ( a j ) < σ p ( B ) . Then for any solution f 0 of (2.5), we have σ p + 1 ( L ( f ) ) = σ p + 1 ( f ) = σ p ( B ) .

Corollary 2.1 Under the hypotheses of Theorem  2.1, if φ ( z ) = z , we have
  1. (i)

    λ ¯ p + 1 ( f z ) = λ ¯ p + 1 ( f z ) = λ ¯ p + 1 ( f z ) = λ ¯ p + 1 ( f z ) = σ p + 1 ( f ) = σ p ( B ) ;

     
  2. (ii)

    λ ¯ p + 1 ( f ( j ) z ) = σ p + 1 ( f ) = σ p ( B ) , j > 3 , j N .

     
Corollary 2.2 Under the hypotheses of Theorem  2.2, if φ ( z ) = z , we have
  1. (i)

    i λ ¯ ( f ( j ) z ) = i λ ( f ( j ) z ) = i ( f ( j ) z ) = p + 1 ( j = 0 , 1 , 2 , );

     
  2. (ii)

    λ ¯ p + 1 ( f ( j ) z ) = λ p + 1 ( f ( j ) z ) = σ p + 1 ( f ( j ) z ) = σ p ( B ) ( j = 0 , 1 , 2 , ).

     

Remark 2.1 Theorem 2.1 is an extension and improvement of Theorem E. As for Theorem C, if a = c b ( 0 < c < 1 ), it is easy to see that σ ( A 1 e a z ) = σ ( A 2 e b z ) = 1 and τ ( A 1 e a z ) = a < τ ( A 2 e b z ) = b . By Theorem E, for every solution f 0 of (2.3) and for any entire function φ ( z ) 0 with σ 2 ( φ ) < 1 , we have λ ¯ 2 ( f φ ) = λ ¯ 2 ( f φ ) = λ ¯ 2 ( f φ ) = 1 , therefore Theorem E is also a partial extension of Theorem C. Theorem B is a special case of Corollary 2.1 for p = 1 .

Remark 2.2 Nevanlinna’s second fundamental theorem is an important tool to investigate the distribution of zeros of meromorphic functions. From Nevanlinna’s second fundamental theorem [[1], p.47, Theorem 2.5], we have that
( 1 + o ( 1 ) ) T ( r , f ) < N ¯ ( r , 1 f ) + N ¯ ( r , f ) + N ¯ ( r , 1 f φ ) + S ( r , f ) ,

where φ ( z ) is a small function of f ( z ) . For example, set f ( z ) = e a ( z ) , a ( z ) is a transcendental entire function with i ( a ) = p , then we have λ ¯ p + 1 ( f φ ) = σ p + 1 ( f ) = σ p ( a ) if i ( φ ) < p + 1 . Our Theorem 2.1 and Theorem 2.2 also provide us with a method to investigate the iterated exponent of zero sequence of f ( j ) ( z ) φ ( z ) ( j = 0 , 1 , 2 , ), where f ( z ) and φ ( z ) are entire functions satisfying σ p + 1 ( φ ) < σ p + 1 ( f ) or i ( φ ) < i ( f ) . If we can find equation (2.5) with entire coefficients A ( z ) , B ( z ) satisfying σ p ( A ) < σ p ( B ) or 0 < σ p ( A ) = σ p ( B ) < and 0 τ p ( A ) < τ p ( B ) such that f ( z ) is a solution of (2.5), then we have λ ¯ p + 1 ( f ( j ) φ ) = σ p ( B ) ( j = 0 , 1 , 2 , ). By the above example, set f ( z ) = e a ( z ) , a ( z ) is transcendental with i ( a ) = p , then f ( z ) is a solution of f ( a + a 2 ) f = 0 . Since σ p ( a + a 2 ) = σ p ( a ) and by Theorem 2.1, we have λ ¯ p + 1 ( f ( j ) φ ) = σ p ( a ) ( j = 0 , 1 , 2 , ) for any entire function φ ( z ) 0 satisfying σ p + 1 ( φ ) < σ p ( a ) or i ( φ ) < p + 1 .

3 Lemmas

Lemma 3.1 [5, 7]

Let f ( z ) be an entire function with σ p ( f ) = σ , and ν f ( r ) denote the central index of f ( z ) . Then
lim r ¯ log p ν f ( r ) log r = σ .
(3.1)
Lemma 3.2 Let f ( z ) be an entire function with σ p ( f ) = σ , then there exists a set E 1 [ 1 , + ) with infinite logarithmic measure such that for all r E 1 , we have
lim r log p T ( r , f ) log r = σ , r E 1 .
(3.2)
Proof By Definition 1.1 lim ¯ r log p T ( r , f ) log r = σ , there exists a sequence { r n } n = 1 tending to ∞ satisfying ( 1 + 1 n ) r n < r n + 1 and
lim r n log p T ( r n , f ) log r n = σ .
(3.3)
There exists an n 1 such that for n n 1 and for any r [ r n , ( 1 + 1 n ) r n ] , we have
log p T ( r n , f ) log ( 1 + 1 n ) r n log p T ( r , f ) log r .
(3.4)
Set E 1 = n = n 1 [ r n , ( 1 + 1 n ) r n ] , by (3.4) and Definition 1.1, then for any r E 1 , we have
lim r log p T ( r , f ) log r = lim r n log p T ( r n , f ) log r n = σ ,

and m l E 1 = n = n 1 r n ( 1 + 1 n ) r n d t t = n = n 1 log ( 1 + 1 n ) = . Thus, we complete the proof of this lemma. □

By Lemma 3.1 and the same proof in Lemma 3.2, we have the following lemma.

Lemma 3.3 Let f ( z ) be an entire function with σ p ( f ) = σ and ν f ( r ) denote the central index of f ( z ) . Then there exists a set E 1 [ 1 , + ) with infinite logarithmic measure such that for all r E 1 , we have
lim r log p ν f ( r ) log r = σ , r E 1 .
(3.5)

Lemma 3.4 [5, 7]

Let A 0 , A 1 , , A k 1 , F 0 be meromorphic functions. If f is a meromorphic solution of the equation
f ( k ) + A k 1 f ( k 1 ) + + A 0 f = F ,
(3.6)
then we have the following two statements:
  1. (i)

    If max { i ( A j ) , j = 0 , 1 , , k 1 , i ( F ) } < i ( f ) , then i λ ¯ ( f ) = i λ ( f ) = i ( f ) ;

     
  2. (ii)

    If max { σ p ( A j ) , j = 0 , 1 , , k 1 , σ p ( F ) } < σ p ( f ) , then λ ¯ p ( f ) = λ p ( f ) = σ p ( f ) .

     

Lemma 3.5 [14]

Let f ( z ) be an entire function of finite iterated order with i ( f ) = p . Then there exist entire functions β ( z ) and D ( z ) such that
f ( z ) = β ( z ) e D ( z ) , σ p ( f ) = max { σ p ( β ) , σ p ( e D ( z ) ) }
and
σ p ( β ) = lim r ¯ log p N ( r , 1 f ) log r .
Moreover, for any ε > 0 , we have
log | β ( z ) | exp p 1 { r σ p ( β ) + ε } , r E 2 ,
(3.7)

where E 2 [ 1 , + ) is a set of r of finite linear measure.

Lemma 3.6 Let f ( z ) be an entire function of finite iterated order with σ p ( f ) = σ < + . Then for any given ε > 0 , there is a set E 3 [ 1 , ) that has finite linear measure such that for all z satisfying | z | = r [ 0 , 1 ] E 3 , we have
exp { exp p 1 r σ + ε } | f ( z ) | exp p { r σ + ε } .
(3.8)
Proof Let f ( z ) be an entire function of finite iterated order with σ p ( f ) = σ . By Definition 1.1, it is easy to obtain that | f ( z ) | < exp p { r σ + ε } holds for all sufficiently larger | z | = r . By Lemma 3.5, there exist entire functions β ( z ) and D ( z ) such that
f ( z ) = β ( z ) e D ( z ) , σ p ( f ) = max { σ p ( β ) , σ p ( e D ( z ) ) } .
For any ε > 0 , we have
| β ( z ) | exp { exp p 1 { r σ p ( β ) + ε } } exp { exp p 1 { r σ p ( f ) + ε 2 } } , r E 3 ,
(3.9)
hold outside a set E 3 [ 1 , + ) of finite linear measure. Since σ p 1 ( D ( z ) ) = σ p ( e D ( z ) ) σ p ( f ) , by Definition 1.1, we have that | D ( z ) | exp p 1 { r σ p ( f ) + ε 2 } holds for all sufficiently large r. From | e D ( z ) | e | D ( z ) | exp { exp p 1 { r σ p ( f ) + ε 2 } } and (3.9), we have
| f ( z ) | | β ( z ) | e | D ( z ) | exp { 2 exp p 1 { r σ p ( f ) + ε 2 } } exp { exp p 1 { r σ p ( f ) + ε } } , r E 3 ,
(3.10)

where E 3 is a set of r of finite linear measure. By Definition 1.1 and (3.10), we obtain the conclusion of Lemma 3.6. □

Remark 3.1 Lemma 3.6 gives the modulus estimation of an entire function with finite iterated order and extends the conclusion of [[15], p.84, Lemma 4].

Lemma 3.7 Let f ( z ) be an entire function of finite iterated order with σ p ( f ) = σ > 0 ( p 2 ), and let L ( f ) = a 2 f + a 1 f + a 0 f , where a 0 , a 1 , a 2 are entire functions of finite iterated order which are not all equal to zero and satisfy b = max { σ p 1 ( a j ) , j = 0 , 1 , 2 } < α , then σ p ( L ( f ) ) = σ p ( f ) = σ .

Proof L ( f ) can be written as
L ( f ) = f ( a 2 f f + a 1 f f + a 0 ) .
(3.11)
By the Wiman-Valiron lemma (see [2, 16]), for all z satisfying | z | = r and | f ( z ) | = M ( r , f ) , we have
f ( k ) ( z ) f ( z ) = ( ν f ( r ) z ) k ( 1 + o ( 1 ) ) , k N , r E 4 ,
(3.12)
where E 4 is a set of finite logarithmic measure. From (1.4.5) in [[16], p.26], for any given ε > 0 , we have
ν f ( r ) < [ log μ f ( r ) ] 1 + ε
(3.13)
holds outside a set E 5 with finite logarithmic measure, where μ f ( r ) is the maximum term of f. By the Cauchy inequality, we have μ f ( r ) M ( r , f ) . Substituting it into (3.13), we have
ν f ( r ) < [ log M ( r , f ) ] 1 + ε , r E 5 .
(3.14)
By Lemma 3.1, there exists a set E 1 having infinite logarithmic measure such that for all | z | = r E 1 , we have
lim r log p ν f ( r ) log r = σ , r E 1 .
(3.15)
By (3.15) and Lemma 3.6, for all r E 1 E 3 and for any ε ( 0 < 2 ε < σ b ), we have
exp { exp p 2 r b + ε } < | a j ( z ) | < exp p 1 { r b + ε } < exp p 1 { r σ ε } < ν f ( r ) < exp p 1 { r σ + ε } ( j = 0 , 1 , 2 ) .
(3.16)
Substituting (3.16) into (3.14), we have
exp p { r σ 2 ε } < M ( r , f ) ( r E 1 ( E 3 E 5 ) ) .
(3.17)
By (3.11), we have
| L ( f ) | = | f | | a 2 f f + a 1 f f + a 0 | | f | [ | a 2 f f + a 1 f f | | a 0 | ] .
(3.18)
Substituting (3.12), (3.16), (3.17) into (3.18), for all z satisfying | f ( z ) | = M ( r , f ) and | z | = r E 1 ( E 3 E 4 E 5 ) , we have
| L ( f ) | | f | [ | ν f ( r ) z ( a 2 ν f ( r ) z + a 1 ) | | a 0 | ] | f | [ | ν f ( r ) z | | | a 2 ν f ( r ) z | | a 1 | | | a 0 | ] exp p { r σ 2 ε } [ exp p 1 { r σ ε } exp p 1 { r b + ε } ] .
(3.19)

By (3.19), we can obtain that σ p ( L ( f ) ) σ p ( f ) . On the other hand, it is easy to get σ p ( L ( f ) ) σ p ( f ) . Hence σ p ( L ( f ) ) = σ p ( f ) . □

Remark 3.2 The assumption σ p 1 ( a j ) < σ p ( f ) in Lemma 3.7 is necessary. For example, if a ( z ) is an entire function satisfying σ p 1 ( a ) > 0 ( p 2 ), set f ( z ) = e a ( z ) , L ( f ) = f a f a f , then we have σ p ( f ) = σ p 1 ( a ) > 0 and L ( f ) 0 , i.e., σ p ( L ( f ) ) = 0 < σ p ( f ) .

By a similar proof to that in Lemma 3.7, we can easily get the following lemma.

Lemma 3.8 Let f ( z ) be an entire function with σ p ( f ) = σ > 0 ( p 2 ) and L ( f ) = a k f ( k ) + a k 1 f ( k 1 ) + + a 0 f , where a 0 , a 1 , , a k are entire functions which are not all equal to zero satisfying b = max { σ p 1 ( a j ) , j = 0 , 1 , , k } < σ . Then σ p ( L ( f ) ) = σ p ( f ) = σ .

Remark 3.3 By a similar proof to that of Lemma 2.2 in [3] or Lemma 6 in [8], we can easily get the following lemma which is a better result than that in [3] or [8] by allowing τ p ( f ) = .

Lemma 3.9 Let f ( z ) be an entire function satisfying 0 < σ p ( f ) = σ < , 0 < τ p ( f ) = τ , then for any given β < τ , there exists a set E 6 [ 1 , + ) that has infinite logarithmic measure such that for all r E 6 , we have
log p M ( r , f ) > β r σ .
(3.20)

Lemma 3.10 [17]

Let f ( z ) be a transcendental meromorphic function and α > 1 be a given constant, for any given ε > 0 , there exists a set E 7 [ 1 , ) that has finite logarithmic measure and a constant B > 0 that depends only on α and ( m , n ) ( m , n { 0 , , k } ) with m < n such that for all z satisfying | z | = r [ 0 , 1 ] E 7 , we have
| f ( n ) ( z ) f ( m ) ( z ) | B ( T ( α r , f ) r ( log α r ) log T ( α r , f ) ) n m .
(3.21)

Lemma 3.11 [6]

Let A j ( z ) ( j = 0 , 1 , , k 1 ) be entire functions with finite iterated order satisfying max { σ p ( A j ) , j 0 } < σ p ( A 0 ) , then every solution f 0 of (2.6) satisfies σ p + 1 ( f ) = σ p ( A 0 ) .

Lemma 3.12 [3, 8]

Let A j ( z ) ( j = 0 , 1 , , k 1 ) be entire functions with finite iterated order satisfying max { σ p ( A j ) , j 0 } σ p ( A 0 ) ( 0 < σ p ( A 0 ) < ) and max { τ p ( A j ) , σ p ( A j ) = σ p ( A 0 ) , j 0 } < τ p ( A 0 ) < . Then every solution f 0 of (2.6) satisfies σ p + 1 ( f ) = σ p ( A 0 ) .

Remark 3.4 The conclusion of Lemma 3.12 also holds if τ p ( A 0 ) = .

Lemma 3.13 Let A ( z ) , B ( z ) be entire functions of finite iterated order satisfying σ p ( A ) < σ p ( B ) . Let G ( z ) , H ( z ) be meromorphic functions with σ p ( H ) σ p ( A ) , σ p ( G ) σ p ( B ) , if f ( z ) is an entire solution of equation
f + ( A + G G ) f + ( B + H + H G G ) f = 0 ,
(3.22)

then σ p + 1 ( f ) σ p ( B ) .

Proof From (3.22), we have
m ( r , B + H + H G G ) m ( r , f f ) + m ( r , f f ) + m ( r , A + G G ) .
(3.23)
By the lemma of logarithmic derivative and (3.23), we have
m ( r , B ) O { log r T ( r , f ) } + m ( r , A ) + 2 T ( r , H ) + O { log r T ( r , G ) } , r E 0 ,
(3.24)
where E 0 is a set having finite linear measure. By Lemma 3.2, there exists a set E 1 having infinite logarithmic measure such that for all | z | = r E 1 E 0 , we have
exp p 1 { r σ p ( B ) ε } O { log r T ( r , f ) } + 4 exp p 1 { r σ p ( A ) + ε } ,
(3.25)

where 0 < 2 ε < σ ( B ) σ ( A ) . By (3.25), we have σ p + 1 ( f ) σ p ( B ) . □

Lemma 3.14 Let A ( z ) , B ( z ) be entire functions satisfying 0 < σ p ( A ) = σ p ( B ) = σ 2 < and τ p ( A ) < τ p ( B ) and let G ( z ) , H ( z ) be meromorphic functions satisfying σ p ( H ) σ 2 , σ p ( G ) σ 2 and | H ( j ) ( z ) | exp p { ( τ ( A ) + ε ) r σ 2 } ( j = 0 , 1 ) outside of a set E 8 of finite logarithmic measure, where 0 < 2 ε < τ p ( B ) τ p ( A ) . If f ( z ) is an entire solution of (3.22), then σ p + 1 ( f ) σ 2 .

Proof Without loss of generality, we suppose that τ p ( A ) < τ p ( B ) < . From (3.22), we have
| B ( z ) | | f f | + [ | A | + | G G | ] | f f | + | H | + | H | | G G | .
(3.26)
By Lemma 3.9, for any given β ( τ p ( A ) + 2 ε < β < τ p ( B ) ), there exists a set E 6 having infinite logarithmic measure such that for all | z | = r E 6 , we have
M ( r , B ) > exp p { β r σ 2 } .
(3.27)
By Lemma 3.10, there exists a set E 7 having finite logarithmic measure such that for all | z | = r E 7 , we have
| f f | B [ T ( 2 r , f ) ] 2 , | f f | B [ T ( 2 r , f ) ] , | G G | B [ T ( 2 r , G ) ] < exp p 1 { r σ 2 + ε } ,
(3.28)
where M > 0 is a constant. By the hypotheses, for all | z | = r E 8 , we have
| H | < exp p { ( τ ( A ) + ε ) r σ 2 } , | H | < exp p { ( τ ( A ) + ε ) r σ 2 } .
(3.29)
By (3.26)-(3.29), for all z satisfying | B ( z ) | = M ( r , B ) and | z | = r E 6 ( E 7 E 8 ) , we have
exp p { β r σ 2 } 4 exp p { ( τ p ( A ) + 2 ε ) r σ 2 } [ T ( 2 r , f ) ] 2 .
(3.30)

By (3.30), we have σ p + 1 ( f ) σ 2 . □

By the above proof, we can easily obtain that Lemma 3.14 also holds if τ p ( B ) = .

4 Proof of Theorem 2.1

Now we divide the proof of Theorem 2.1 into two cases: case (i) σ p ( A ) < σ p ( B ) and case (ii) τ p ( A ) < τ p ( B ) and σ p ( A ) = σ p ( B ) > 0 .

Case (i): (1) We prove that λ ¯ p + 1 ( f φ ) = σ p + 1 ( f ) . Assume that f 0 is a solution of (2.5), then σ p + 1 ( f ) = σ p ( B ) by Lemma 3.11. Set g = f φ , since σ p + 1 ( φ ) < σ p ( B ) , then σ p + 1 ( g ) = σ p + 1 ( f ) = σ p ( B ) , λ ¯ p + 1 ( g ) = λ ¯ p + 1 ( f φ ) . Substituting f = g + φ , f = g + φ , f = g + φ into (2.5), we have
g + A g + B g = ( φ + A φ + B φ ) .
(4.1)
If φ + A φ + B φ 0 , by Lemma 3.11, we have σ p + 1 ( φ ) = σ p ( B ) , which is a contradiction. Since φ + A φ + B φ 0 and σ p + 1 ( φ + A φ + B φ ) < σ p + 1 ( f ) = σ p + 1 ( g ) , by Lemma 3.4 and (4.1), we have λ ¯ p + 1 ( g ) = λ p + 1 ( g ) = σ p + 1 ( g ) = σ p ( B ) , therefore λ ¯ p + 1 ( f φ ) = λ p + 1 ( f φ ) = σ p + 1 ( f ) = σ p ( B ) .
  1. (2)
    We prove that λ ¯ p + 1 ( f φ ) = σ p + 1 ( f ) . Set g 1 = f φ , then σ p + 1 ( g 1 ) = σ p + 1 ( f ) = σ p ( B ) and
    f = g 1 + φ , f = g 1 + φ , f = g 1 + φ .
    (4.2)
     
By (2.5), we get
f = 1 B ( f + A f ) .
(4.3)
The derivation of (2.5) is
f + A f + ( A + B ) f + B f = 0 .
(4.4)
Substituting (4.2), (4.3) into (4.4), we obtain
g 1 + ( A B B ) g 1 + ( A + B A B B ) g 1 = ( φ + ( A B B ) φ + ( A + B A B B ) φ ) .
(4.5)
Let F 1 = φ + ( A B B ) φ + ( A + B A B B ) φ . We affirm that F 1 0 . If F 1 0 , by Lemma 3.13, we have σ p + 1 ( φ ) σ p ( B ) , which is a contradiction; therefore F 1 0 . Since σ p + 1 ( F 1 ) < σ p ( B ) = σ p + 1 ( g 1 ) , by Lemma 3.4 and (4.5), we get λ ¯ p + 1 ( f φ ) = λ p + 1 ( f φ ) = σ p + 1 ( f ) .
  1. (3)
    We prove that λ ¯ p + 1 ( f φ ) = σ p + 1 ( f ) . Set g 2 = f φ , then σ p + 1 ( g 2 ) = σ p + 1 ( f ) = σ p ( B ) and
    f = g 2 + φ , f = g 2 + φ , f ( 4 ) = g 2 + φ .
    (4.6)
     
Substituting (4.3) into (4.4), we have
f + ( A B B ) f + ( A + B A B B ) f = 0 .
(4.7)
The derivation of (4.7) is
f ( 4 ) + ( A B B ) f + [ ( A B B ) + ( A + B A B B ) ] f ( A + B A B B ) A + B A B B [ f + ( A B B ) f ] = 0 .
(4.8)
Set Q ( z ) = A + B A B B , S ( z ) = A B B , it is easy to see that
lim r ¯ log p m ( r , Q ) log r = σ p ( B ) and lim r ¯ log p m ( r , S ) log r = σ p ( A ) ,
then by (4.8), we get
f ( 4 ) + ( S Q Q ) f + ( S + Q S Q Q ) f = 0 .
(4.9)
Substituting (4.6) into (4.9), we have
g 2 + ( S Q Q ) g 2 + ( S + Q S Q Q ) g 2 = ( φ + ( S Q Q ) φ + ( S + Q S Q Q ) φ ) .
(4.10)
If F 2 ( z ) = φ + ( S Q Q ) φ + ( S + Q S Q Q ) φ 0 , by Lemma 3.13, we have σ p + 1 ( φ ) σ p ( B ) , which is a contradiction; therefore F 2 0 . Since σ p + 1 ( F 2 ) < σ p ( B ) = σ p + 1 ( g 2 ) , by Lemma 3.4 and (4.10), we have λ ¯ p + 1 ( f φ ) = λ p + 1 ( f φ ) = σ p + 1 ( f ) .
  1. (4)
    We prove that λ ¯ p + 1 ( f φ ) = σ p + 1 ( f ) . Set g 3 = f φ , then σ p + 1 ( g 3 ) = σ p + 1 ( f ) = σ p ( B ) and
    g 3 = f ( 4 ) φ , g 3 = f ( 5 ) φ .
    (4.11)
     
The derivation of (4.9) is
f ( 5 ) + ( S Q Q ) f ( 4 ) + ( S Q Q ) f + ( S + Q S Q Q ) f + ( S + Q S Q Q ) f = 0 .
(4.12)
By (4.9), we have
f = 1 S + Q S Q Q [ f ( 4 ) + ( S Q Q ) f ] .
(4.13)
Substituting (4.13) into (4.12), we have
f ( 5 ) + ( S Q Q ) f ( 4 ) + [ ( S Q Q ) + ( S + Q S Q Q ) ] f ( S + Q S Q Q ) S + Q S Q Q [ f ( 4 ) + ( S Q Q ) f ] = 0 .
(4.14)
Let U ( z ) = S + Q S Q Q , V ( z ) = S Q Q , it is easy to obtain that
lim r ¯ log p m ( r , U ) log r = σ p ( B ) and lim r ¯ log p m ( r , V ) log r = σ p ( A ) ,
by (4.14), we have
f ( 5 ) + ( V U U ) f ( 4 ) + ( V + U V U U ) f = 0 .
(4.15)
Substituting (4.11) into (4.15), we have
g 3 + ( V U U ) g 3 + ( V + U V U U ) g 3 = ( φ + ( V U U ) φ + ( V + U V U U ) φ ) .
(4.16)
Let F 3 ( z ) = φ + ( V U U ) φ + ( V + U V U U ) φ . By Lemma 3.13, we have F 3 ( z ) 0 . Since σ p + 1 ( F 3 ) < σ p ( B ) = σ p + 1 ( g 3 ) , by Lemma 3.4 and (4.16), we have λ ¯ p + 1 ( f φ ) = λ p + 1 ( f φ ) = σ p + 1 ( f ) .
  1. (5)
    We prove that λ ¯ p + 1 ( f ( j ) φ ) = σ p + 1 ( f ) ( j > 3 ). Set f ( j ) = g j + φ ( j > 3 ), then f ( j + 1 ) = g k + φ , f ( j + 2 ) = g j + φ ( j > 3 ) and σ p + 1 ( g j ) = σ p + 1 ( f ( j ) ) = σ p ( B ) . By successive derivation on (4.14), we can also get the following equation which has a similar form to (4.16):
    g j + ( A + G G ) g j + ( B + H + H G G ) g j = ( φ + ( A + G G ) φ + ( B + H + H G G ) φ ) ,
    (4.17)
     

where G, H are meromorphic functions which have the same form as U ( z ) , V ( z ) and satisfy σ p ( G ) σ p ( B ) and σ p ( H ) σ p ( A ) . By Lemma 3.13, we have F j = φ + ( A + G G ) φ + ( B + H + H G G ) φ 0 . Since σ p + 1 ( F j ) < σ p + 1 ( g j ) = σ p ( B ) , by Lemma 3.4, we have λ ¯ p + 1 ( f ( j ) φ ) = λ p + 1 ( f ( j ) φ ) = σ p + 1 ( f ) = σ p ( B ) ( j > 3 ).

Case (ii): (1) We prove that λ ¯ p + 1 ( f φ ) = σ p + 1 ( f ) . Assume that f 0 is a solution of (2.5), by Lemma 3.12, we know that σ p + 1 ( f ) = σ p ( B ) > 0 . Set g = f φ , φ 0 is an entire function with σ p + 1 ( φ ) < σ p ( B ) , then we have σ p + 1 ( g ) = σ p + 1 ( f ) = σ p ( B ) , λ ¯ p + 1 ( g ) = λ ¯ p + 1 ( f φ ) . Substituting f = g + φ , f = g + φ , f = g + φ into (2.6), we have (4.1). We affirm that φ + A φ + B φ 0 . If φ + A φ + B φ 0 , by Lemma 3.12, we have σ p + 1 ( φ ) = σ p ( B ) , which is a contradiction. Since φ + A φ + B φ 0 and σ p + 1 ( φ + A φ + B φ ) < σ p + 1 ( f ) = σ p + 1 ( g ) , by Lemma 3.4 and (4.1), we have λ ¯ p + 1 ( g ) = λ p + 1 ( g ) = σ p + 1 ( g ) = σ p ( B ) ; therefore λ ¯ p + 1 ( f φ ) = λ p + 1 ( f φ ) = σ p + 1 ( f ) = σ p ( B ) .
  1. (2)

    We prove that λ ¯ p + 1 ( f φ ) = σ p + 1 ( f ) . Set g 1 = f φ , then σ p + 1 ( g 1 ) = σ p + 1 ( f ) = σ p ( B ) . By the same proof as that of (2) in case (i), we have (4.5). Set F 1 = φ + ( A B B ) φ + ( A + B A B B ) φ , we affirm F 1 0 , if F 1 0 , then by Lemma 3.14, we have σ p + 1 ( φ ) σ p ( B ) , which is a contradiction to σ p + 1 ( φ ) < σ p ( B ) ; therefore F 1 0 . Since σ p + 1 ( F 1 ) < σ p ( B ) = σ p + 1 ( g 1 ) , by Lemma 3.4 and (4.5), we have λ ¯ p + 1 ( f φ ) = λ p + 1 ( f φ ) = σ p + 1 ( f ) = σ p ( B ) .

     
  2. (3)
    We prove that λ ¯ p + 1 ( f φ ) = σ p + 1 ( f ) . Set g 2 = f φ , then σ p + 1 ( g 2 ) = σ p + 1 ( f ) = σ p ( B ) and f = g 2 + φ , f = g 2 + φ , f ( 4 ) = g 2 + φ By the same proof as that of (3) in case (i), we can obtain (4.10). Set F 2 = φ + ( S Q Q ) φ + ( S + Q S Q Q ) φ , where Q ( z ) = A + B A B B , S ( z ) = A B B . In the following we prove that F 2 0 . By Definition 1.2 and Lemma 3.10, for all sufficiently large | z | = r E 7 and for any ε > 0 , we have
    | S ( z ) | exp p { ( τ p ( A ) + ε ) r σ p ( A ) } , | S ( z ) | exp p { ( τ p ( A ) + ε ) r σ p ( A ) } .
    (4.18)
     
By Lemma 3.9 and Lemma 3.10, for all sufficiently large | z | = r E 6 E 7 and for any ε ( 0 < 2 ε < τ p ( B ) τ p ( A ) ), we have
M ( r , Q ) exp p { ( τ p ( B ) ε ) r σ p ( B ) } .
(4.19)
By (4.18)-(4.19) and Lemma 3.10, it is easy to obtain
| S Q Q | 2 exp p { ( τ p ( A ) + ε ) r σ p ( A ) } , | S + Q S Q Q | 1 2 exp p { ( τ p ( B ) ε ) r σ p ( B ) } , r E 6 E 7 .
(4.20)

If F 2 0 , by (4.20) and by a similar proof to that in Lemma 3.14, we have σ p + 1 ( φ ) σ p ( B ) , which is a contradiction. Therefore F 2 0 , then by Lemma 3.4 and σ p + 1 ( F 2 ) < σ p + 1 ( g 2 ) = σ p ( B ) , we have λ ¯ p + 1 ( f φ ) = λ p + 1 ( f φ ) = σ p + 1 ( f ) = σ p ( B ) .

By following the proof of (4)-(5) in case (i) and the proof of (3) in case (ii), we can obtain λ ¯ p + 1 ( f ( j ) φ ) = λ p + 1 ( f ( j ) φ ) = σ p + 1 ( f ) = σ p ( B ) ( j 3 ).

5 Proof of Theorems 2.2-2.3

Using a similar proof to that in case (i) of Theorem 2.1 and by Lemma 3.4, we can easily obtain Theorem 2.2. Theorem 2.3 is a direct result of Theorem 2.1 and Lemma 3.8.

Declarations

Acknowledgements

The authors thank the referee for his/her valuable suggestions to improve the present article. This project is supported by the National Natural Science Foundation of China (11171119, 61202313, 11261024, 11271045), and by the Natural Science Foundation of Jiangxi Province in China (20122BAB211005, 20114BAB211003, 20122BAB201016) and the Foundation of Education Bureau of Jiang-Xi Province in China (GJJ12206). Zuxing Xuan is supported in part by NNSFC (No. 11226089, 60972145), Beijing Natural Science Foundation (No. 1132013) and the Project of Construction of Innovative Teams and Teacher Career Development for Universities and Colleges Under Beijing Municipality (IDHT20130513).

Authors’ Affiliations

(1)
College of Mathematics and Information Science, Jiangxi Normal University, Nanchang, China
(2)
Beijing Key Laboratory of Information Service Engineering, Department of General Education, Beijing Union University, Beijing, China
(3)
Department of Informatics and Engineering, Jingdezhen Ceramic Institute, Jingdezhen, China

References

  1. Hayman WK: Meromorphic Functions. Clarendon Press, Oxford; 1964.MATHGoogle Scholar
  2. Laine I: Nevanlinna Theory and Complex Differential Equations. de Gruyter, Berlin; 1993.View ArticleGoogle Scholar
  3. Belaïdi B: Growth and oscillation of solutions to linear differential equations with entire coefficients having the same order. Electron. J. Differ. Equ. 2009, 70: 1–10.Google Scholar
  4. Bernal LG: On growth k -order of solutions of a complex homogeneous linear differential equations. Proc. Am. Math. Soc. 1987, 101: 317–322.MATHMathSciNetGoogle Scholar
  5. Cao TB, Chen ZX, Zheng XM, Tu J: On the iterated order of meromorphic solutions of higher order linear differential equations. Ann. Differ. Equ. 2005, 21(2):111–122.MATHMathSciNetGoogle Scholar
  6. Kinnunen L: Linear differential equations with solutions of finite iterated order. Southeast Asian Bull. Math. 1998, 22(4):385–405.MATHMathSciNetGoogle Scholar
  7. Tu J, Chen ZX: Growth of solution of complex differential equations with meromorphic coefficients of finite iterated order. Southeast Asian Bull. Math. 2009, 33: 153–164.MATHMathSciNetGoogle Scholar
  8. Tu J, Deng GT:Growth of solutions of higher order linear differential equations with coefficient A 0 being dominant. Acta Math. Sci. Ser. A Chin. Ed. 2010, 30(4):945–952. (in Chinese)MATHMathSciNetGoogle Scholar
  9. Yang CC, Yi HX: The Uniqueness Theory of Meromorphic Functions. Science Press, Beijing; 2003.View ArticleGoogle Scholar
  10. Chen ZX: The fixed points and hyper order of solutions of second order complex differential equations. Acta Math. Sci. Ser. A 2000, 20(3):425–432. (in Chinese)MathSciNetGoogle Scholar
  11. Chen ZX, Shon KH: The relation between solutions of a class of second order differential equation with function of small growth. Chin. Ann. Math., Ser. A 2006, 27(4):431–442. (in Chinese)MathSciNetGoogle Scholar
  12. Tu J, Xu HY, Zhang CY: On the zeros of solutions of any order of derivative of second order linear differential equations taking small functions. Electron. J. Qual. Theory Differ. Equ. 2011, 23: 1–17.MathSciNetView ArticleGoogle Scholar
  13. Xu HY, Tu J, Zheng XM: On the hyper exponent of convergence of zeros of higher order linear differential equations. Adv. Differ. Equ. 2012, 2012: 114. doi:10.1186/1687–1847–2012–114 10.1186/1687-1847-2012-114MathSciNetView ArticleGoogle Scholar
  14. Zheng JH, Yang CC: Estimate on the number of fix-points of composite entire functions. Complex Var. Elliptic Equ. 1994, 24: 301–309. 10.1080/17476939408814722MATHMathSciNetView ArticleGoogle Scholar
  15. Chen ZX: On the hyper order of solutions of some second order liner differential equations. Acta Math. Sin. Engl. Ser. 2002, 18: 79–88. 10.1007/s101140100107MathSciNetView ArticleGoogle Scholar
  16. He YZ, Xiao XZ: Algebroid Functions and Ordinary Equations. Science Press, Beijing; 1988. (in Chinese)Google Scholar
  17. Gundersen GG: Estimates for the logarithmic derivative of a meromorphic function, plus similar estimates. J. Lond. Math. Soc. 1998, 305(2):88–104.Google Scholar

Copyright

© Tu et al.; licensee Springer. 2013

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.