Open Access

Some results about functions that share functions with their derivative of higher order

Advances in Difference Equations20132013:192

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

Received: 7 January 2013

Accepted: 29 May 2013

Published: 1 July 2013

Abstract

In this paper, we investigate the growth of some functions that share functions with their derivative of higher order. The first main theorem is an improvement of the result obtained by Lü (Bull. Korean Math. Soc. 48: 951-957, 2011), two examples are given to show that the conclusion is sharp. The second main theorem is of estimating, more exactly, the order of an entire function sharing polynomial, which extends the related result of Lü, Xu and Chen (Arch. Math. 92: 593-601, 2009).

MSC:30D35, 30D45.

Keywords

complex differential equationentire functionnormal familyNevanlinna theory

1 Introduction and main results

In this paper, a meromorphic function always means meromorphic in the whole complex plane. We assume that the reader is familiar with the basic notions of Nevanlinna theory. In the Nevanlinna theory, the order and the hyper-order of a meromorphic function are two important concepts. So, it is meaningful to discuss the properties of the order and the hyper-order for a meromorphic function. Let us recall the definitions of the order and the hyper-order of a meromorphic function f, which are respectively defined as (see [1])
ρ ( f ) = lim sup r log T ( r , f ) log r = lim sup r log log M ( r , f ) log r , σ ( f ) = lim sup r log log T ( r , f ) log r = lim sup r log log log M ( r , f ) log r .

In addition, we say that two meromorphic functions f ( z ) and g ( z ) share a finite value a IM (ignoring multiplicities) when f ( z ) a and g ( z ) a have the same zeros. And we say that f ( z ) and g ( z ) share a finite value a CM (counting multiplicities) when f ( z ) a and g ( z ) a have the same zeros counting multiplicities. deg P ( z ) denotes the degree of the polynomial P ( z ) . If R ( z ) = P 1 ( z ) P 2 ( z ) is a rational function (where P 2 ( z ) 0 and P 1 ( z ) , P 2 ( z ) are two coprime polynomials), then we indicate deg R ( z ) = max { deg P 1 ( z ) , deg P 2 ( z ) } to denote the degree of the rational function.

The subject on sharing values between entire functions and their derivatives was first studied by Rubel and Yang [2]. In 1977, they proved the result that if a nonconstant entire function f and its first derivative f share two distinct finite numbers a, b CM, then f f . Since then, shared value problems have been studied by many authors and a number of profound results have been obtained (see, e.g., [3, 4]).

In 1982, Bank and Laine [5] investigated the complex oscillation theory of differential equations and obtained the following main result.

Theorem A Let A ( z ) be a nonconstant polynomial of degree n, and let f 1 and f 2 be two linearly independent solutions of the equation f + A ( z ) f = 0 . Then at least one of f 1 and f 2 has the property that the exponent of convergence of its zero-sequence is n + 2 2 .

Since then, to study properties of the exponent of convergence, the order and the hyper-order for the solutions of some differential equations becomes a hot topic and is discussed by many experts.

In 2008, Li and Gao [6] deduced the following result.

Theorem B Let Q 1 and Q 2 be two nonzero polynomials, and let P be a polynomial. If f is a nonconstant solution of the equation
f ( k ) Q 1 = e P ( f Q 2 ) ,

then σ ( f ) = n , where, and in the sequel, n denotes the degree of P.

Recently, Lü [7] obtained the result.

Theorem C Let f be a transcendental meromorphic function with finitely many poles, let n 2 be an integer, and let α = P e Q ( α ) be an entire function such that the order of α is less than that of f, where P, Q are two polynomials. If f n and ( f n ) share α CM, then f = A e 1 n z , where A is a nonzero constant.

From Theorem C, we see that f n and ( f n ) share a function with finite order. So, it is natural to ask what will happen if they share functions with infinite order and also what will happen if ( f n ) is replaced by ( f n ) ( k ) . In this work, we discuss these problems and derive the following result.

Theorem 1.1 Let f be a meromorphic function with finitely many poles, let R be a rational function, γ be an entire function. If all zeros of f have multiplicity at least k + 1 and
f ( k ) ( z ) = α ( z ) f ( z ) = α ( z ) ,

where α = R e γ , then σ ( f ) σ ( α ) = ρ ( γ ) .

Remark 1 The following examples show that the conclusion σ ( f ) ρ ( γ ) is sharp.

Example 1 Let f ( z ) = A e z , where A is a nonzero constant. Let α ( z ) = e e z + z 2 . Noting that f f ( k ) , we have
f ( k ) ( z ) = α ( z ) f ( z ) = α ( z ) .

Thus, σ ( f ) = 0 < σ ( α ) = 1 .

Example 2 Let f ( z ) = z e z 2 + e z / 2 , α ( z ) = ( 4 z 2 z + 2 ) e z 2 , and γ ( z ) = z 2 . Then
f α f α = 2 .

Thus, σ ( f ) = ρ ( γ ) = 0 .

Remark 2 If γ is a polynomial, then the above condition obviously holds.

Remark 3 In Theorem 1.1, if the order of γ is zero, for example, γ is a polynomial, then σ ( f ) = 0 .

In 2009, Lü, Xu and Chen [8] obtained the following result.

Theorem D Let f ( z ) be a nonconstant meromorphic function with finitely many poles, and let Q 1 , Q 2 ( Q 1 ) be two polynomials. If
f ( z ) = Q 1 ( z ) f ( z ) = Q 1 ( z ) and f ( z ) = Q 2 ( z ) f ( z ) = Q 2 ( z ) ,

then f ( z ) is of finite order.

In this paper, we get the following results which improve Theorem D.

Theorem 1.2 Let f ( z ) be a nonconstant meromorphic function with finitely many poles, and let Q 1 , Q 2 ( Q 1 ) be two polynomials. If
f ( z ) = Q 1 ( z ) f ( z ) = Q 1 ( z ) and f ( z ) = Q 2 ( z ) f ( z ) = Q 2 ( z ) ,

then ρ ( f ) 2 + 2 max { deg R 1 ( z ) , deg R 2 ( z ) } , where R 1 = Q 2 Q 1 Q 2 Q 1 , R 2 = Q 1 Q 1 Q 2 Q 1 are rational functions.

Corollary 1.3 Let f ( z ) be a nonconstant entire function and let Q 1 , Q 2 ( Q 1 ) be two polynomials. If f ( z ) = Q 1 ( z ) f ( z ) = Q 1 ( z ) and f ( z ) = Q 2 ( z ) f ( z ) = Q 2 ( z ) , then ρ ( f ) 1 + max { deg R 1 ( z ) , deg R 2 ( z ) } , where R 1 = Q 2 Q 1 Q 2 Q 1 , R 2 = Q 1 Q 1 Q 2 Q 1 are rational functions.

Very recently, Li, Gao and Zhang [9] proved the following result.

Theorem E Let f be a nonconstant entire function. If f and f share the value 1 CM, and if N ( r , 1 f ) < α T ( r , f ) , where α [ 0 , 1 4 ] , then f 1 = c ( f 1 ) for some nonzero constant c.

By the same method of Li, Gao and Zhang [9], we also consider the k th derivative and improve the above result as follows.

Theorem 1.4 Let f be a nonconstant entire function, and let k be a positive integer. If f and f ( k ) share the value 1 CM and if N ( r , 1 f ( k ) ) < α T ( r , f ) , where α [ 0 , 1 4 ) , then f ( k ) 1 = c ( f 1 ) for some nonzero constant c.

2 Some lemmas

In order to prove our theorems, we need the following lemmas.

Lemma 2.1 [3]

Let be a family of meromorphic functions in the unit disc with the property that for each f ( z ) F , all zeros of f ( z ) have multiplicity at least k + 1 . If k is a positive integer and a n a , | a | < 1 and f n ( a n ) , there exist
  1. 1.

    a subsequence of functions f n F (also denoted by f n );

     
  2. 2.

    a sequence of complex numbers z n z 0 , | z 0 | < 1 ;

     
  3. 3.

    a positive sequence ρ n 0 ;

     
  4. 4.
    f n ( z n + ρ n ξ ) ρ n k = g n ( ξ ) g ( ξ ) , here g is a nonconstant meromorphic (entire) function satisfying g ( ξ ) g ( 0 ) = k + 1 and
    ρ n M f n ( a n ) k + 1 ,
     

here M, n are respective positive numbers.

With a similar method to that in [[3], Lemma 2], we obtain the following Lemma 2.3, which plays an important part in the proof of Theorem 1.1. For the sake of convenience, the detailed proof will be given after Lemma 2.3.

Lemma 2.2 Let f be a meromorphic function of hyper-order σ ( f ) > 0 . Then, for any ϵ > 0 , there exists a sequence z n such that f ( z n ) > e | z n | σ ( f ) ϵ if n is large enough.

Proof On the contrary, there exist ϵ > 0 and R > 0 such that ϵ < σ ( f ) and for all z, | z | R satisfying f ( z ) e | z | σ ( f ) ϵ . Thus,
S ( r , f ) = 1 π | z | < r f ( z ) 2 d σ = 1 π R | z | < r f ( z ) 2 d σ + O ( 1 ) 1 π R | z | < r e 2 | z | σ ( f ) ϵ d σ + O ( 1 ) = 1 π 0 2 π d θ R r e 2 | z | σ ( f ) ϵ d t + O ( 1 ) 2 r e 2 r σ ( f ) ϵ [ 1 + o ( 1 ) ] .
By the definition of Ahlfors characteristic of f, we have
T ( r , f ) = 0 r S ( t , f ) t d t 2 r e 2 r σ ( f ) ϵ [ 1 + o ( 1 ) ] .
Then the hyper-order of f is
σ ( f ) = lim sup r log log T ( r , f ) log r lim sup r ( σ ( f ) ϵ ) log r log r = σ ( f ) ϵ ,

a contradiction. Thus, the proof is completed. □

Lemma 2.3 [9]

Let f be a nonconstant entire function and let k 1 be positive. Suppose that f and f ( k ) share the value 1 CM. Then f 1 has infinitely many zeros such that each zero of f 1 is of order at most k, and
N ( r , 1 f 1 ) ( 1 2 ϵ ) T ( r , f ) , N ¯ ( r , 1 f 1 ) ( 1 k + 1 ϵ ) T ( r , f ) ,
for any ϵ > 0 and large enough r, and
δ ( 1 , f ) 1 2 , Θ ( 1 , f ) k 1 + k .

Remark 4 There exist some mistakes in Theorem 2.2 and its proof and the proof of Theorem 3.1 in [9], we will correct them in another paper.

Lemma 2.4 [1]

Let f be a meromorphic function and k 1 be positive. Then
N ( r , 1 f ( k ) ) N ( r , 1 f ) + k N ¯ ( r , f ) + S ( r , f ) .

Lemma 2.5 [4]

Let f ( z ) be a meromorphic function in the complex plane, ρ ( f ) > 2 , then for each 0 < μ < ρ ( f ) 2 2 , there exist points a n ( n ) such that
lim n f ( a n ) | a n | μ = + .

Lemma 2.6 [10]

Let f ( z ) be an entire function in the complex plane, ρ ( f ) > 1 , then for each 0 < μ < ρ ( f ) 1 , there exist points a n ( n ) such that
lim n f ( a n ) | a n | μ = + .

3 The proof of Theorem 1.1

The proof of Theorem 1.1 In a similar way to that of [8, 11], we prove Theorem 1.1 as follows.

Noting that f and R have at most finitely many poles, there exists a positive number r such that f and R have no poles in D = { z : | z | r } . Then f and R are holomorphic in D.

Noting that α = R e γ , we have σ ( α ) = ρ ( γ ) , and then we just need to prove σ ( f ) ρ ( γ ) .

On the contrary, suppose that σ ( f ) = d > c = ρ ( γ ) . Set F = f α , obviously, σ ( F ) = σ ( f ) = d . Then, for 0 < ϵ < d c 2 , by Lemma 2.2, there exists a sequence w n as n such that
F ( w n ) > e | w n | σ ( F ) ϵ = e | w n | d ϵ .
In view of w n as n , without loss of generality, we may assume that | w n | r + 1 for all n. Define D 1 = { z : | z | < 1 } and
F n ( z ) = F ( w n + z ) = f ( w n + z ) α ( w n + z ) .
(3.1)

Then all F n ( z ) are holomorphic in D 1 .

Thus, we structure a family of holomorphic functions ( F n ) n . Moreover,
F n ( 0 ) = F ( w n ) as  n .

It follows from Marty’s criterion that ( F n ) n is not normal at z = 0 .

Therefore, applying Lemma 2.1 with α = k and choosing an appropriate subsequence of ( F n ) n if necessary, we may assume that there exist sequences ( z n ) n D 1 and ( ρ n ) n such that ρ n 0 and
g n ( ζ ) = ρ n k F n ( z n + ρ n ζ ) = ρ n k f ( w n + z n + ρ n ζ ) α ( w n + z n + ρ n ζ ) g ( ζ )
(3.2)
locally uniformly in , where g is a nonconstant entire function of order at most 1, all zeros of g have multiplicity at least k + 1 , and
ρ n M F n ( 0 ) = M F ( w n ) M e | w n | d ϵ
(3.3)

for a positive number M.

We claim that
f ( l ) ( w n + z n + ρ n ζ ) ρ n k l α ( w n + z n + ρ n ζ ) g ( l ) ( ζ ) ( 0 l k )
(3.4)
locally uniformly in . Obviously, the claim is correct if l = 0 . Next, we will prove that the claim holds by mathematical induction. We may assume that (3.4) holds for l = s , 0 s < k , and then
H n ( ζ ) = f ( s ) ( w n + z n + ρ n ζ ) ρ n k s α ( w n + z n + ρ n ζ ) g ( s ) ( ζ ) .
(3.5)
Now we will prove that (3.4) still holds for l = s + 1 . Differentiating (3.5), we deduce
f ( s + 1 ) ( w n + z n + ρ n ζ ) ρ n k s 1 α ( w n + z n + ρ n ζ ) = H n ( ζ ) + ρ n H n ( ζ ) α ( w n + z n + ρ n ζ ) α ( w n + z n + ρ n ζ ) .
(3.6)
In view of the definition of order, we have
| α α | z = w n + z n + ρ n ζ | = | R + R γ R | z = w n + z n + ρ n ζ | | w n | q M ( | w n + z n + ρ n ζ | , γ ) | w n | q M ( 2 | w n | , γ ) | w n | q e A | w n | c + ϵ ,
(3.7)

where A is a positive constant and q is an integer.

Noting that 0 < ϵ < d c 2 , we have d ϵ > c + ϵ . Then combining (3.3) and (3.7) yields
ρ n H n ( ζ ) α ( w n + z n + ρ n ζ ) α ( w n + z n + ρ n ζ ) = ρ n H n ( ζ ) [ R + R γ ] ( w n + z n + ρ n ζ ) R ( w n + z n + ρ n ζ ) M | g n ( ζ ) | | w n | q e A | w n | c + ϵ | w n | d ϵ 0
(3.8)
as n . By (3.6) and (3.8), we obtain
f ( s + 1 ) ( w n + z n + ρ n ζ ) ρ n k s 1 α ( w n + z n + ρ n ζ ) g ( s + 1 ) ( ζ ) .
(3.9)
So, (3.4) holds. Set l = k , then
f ( k ) ( w n + z n + ρ n ζ ) α ( w n + z n + ρ n ζ ) g ( k ) ( ζ ) .
(3.10)
Now, if g ( k ) ( ζ ) 1 , then we obtain that g ( ζ ) is a polynomial of degree at most k. It contradicts with all zeros of g having multiplicity at least k + 1 . Suppose that g ( k ) ( ζ 0 ) = 1 , then by Hurwitz’s theorem there exist ζ n , ζ n ζ 0 such that (for sufficiently large n)
f ( k ) ( w n + z n + ρ n ζ ) α ( w n + z n + ρ n ζ ) = 1 .

Noting that f ( k ) ( z ) = α ( z ) f ( z ) = α ( z ) and (3.2), we obtain g ( ζ 0 ) = . It contradicts with the assumption that g ( k ) ( ζ 0 ) = 1 . So, g ( k ) ( ζ ) 1 .

Next, by the famous Hayman inequality for g ( ζ ) , it is easy to obtain contradiction.

Hence, we complete the proof of Theorem 1.1. □

4 Proof of Theorem 1.2

Let H = f Q 1 , then we have
H = 0 H = Q 1 Q 1 , H = Q 2 Q 1 H = Q 2 Q 1 .

Let P = Q 2 Q 1 and P 2 = Q 2 Q 1 . Then P 0 . We consider the function F = H P , obviously, ρ ( F ) = ρ ( f )

If ρ ( F ) > 2 + 2 max { deg ( Q 2 Q 1 Q 2 Q 1 ) , deg ( Q 1 Q 1 Q 2 Q 1 ) } . By Lemma 2.5, for each 0 < μ < ρ ( f ) 2 2 , there exist w n such that for n ,
lim n F ( w n ) | w n | μ = + .
(4.1)
Since P is a polynomial, we know that for any ϵ > 0 , there exists an r 1 > 0 such that
| P ( z ) P ( z ) | < ϵ and P ( z ) 0
for all z C satisfying | z | r 1 . Note that f ( z ) has only finitely many poles, hence H ( z ) has only finitely many poles. Thus, there is an r 2 > 0 such that H ( z ) is holomorphic in | z | r 2 . Let r = max { r 1 , r 2 } and D = { z : | z | r } , then F is holomorphic in D. Without loss of generality, we may assume that | w n | r + 1 for all n. We define D 1 = { z : | z | < 1 } and
F n ( z ) = F ( w n + z ) .

Then all F n ( z ) are holomorphic in D 1 and F n ( 0 ) = F ( w n ) as n . It follows from Marty’s criterion that ( F n ) n is not normal at z = 0 .

Therefore, by using Lemma 2.1 and choosing an appropriate subsequence of ( F n ) n if necessary, we may assume that there exist sequences ( z n ) n and ( ρ n ) n with | z n | < r < 1 and ρ n 0 such that the sequences ( g n ) n are defined by
g n ( ζ ) = F n ( z n + ρ n ζ ) = H ( w n + z n + ρ n ζ ) P ( w n + z n + ρ n ζ ) g ( ζ )
(4.2)
locally uniformly in with a nonconstant entire function g and
ρ n M F n ( 0 ) = M F ( w n )
(4.3)
for a positive number M. Let G n ( ζ ) = ρ n H ( w n + z n + ρ n ζ ) P ( w n + z n + ρ n ζ ) , then from (4.2) and | P ( w n + z n + ρ n ζ ) P ( w n + z n + ρ n ζ ) | < 1 as n , we get
G n ( ζ ) = g n ( ζ ) + ρ n g n ( ζ ) P ( w n + z n + ρ n ζ ) P ( w n + z n + ρ n ζ ) g ( ζ )
(4.4)

locally uniformly in .

Suppose that g ( ζ 0 ) = 1 , then by Hurwitz’s theorem there exist ζ n , ζ n ζ 0 such that (for n sufficiently large)
g n ( ζ n ) = H ( w n + z n + ρ n ζ n ) P ( w n + z n + ρ n ζ n ) = 1 .
By the assumption of Theorem 1.2, we have
H ( w n + z n + ρ n ζ n ) = P 2 ( w n + z n + ρ n ζ n ) .
(4.5)
From (4.1) and (4.3), we deduce that
lim n w n l 1 ρ n = 0
(4.6)
for any fixed constant 0 l 1 < ρ ( f ) 2 2 . Meanwhile, we have
P 2 ( w n + z n + ρ n ζ ) P ( w n + z n + ρ n ζ ) = O ( | w n | l 1 ) ,
here deg R 1 = deg ( P 2 P ) = deg ( Q 2 Q 1 Q 2 Q 1 ) = l 1 . By (4.6), we deduce that
ρ n P 2 ( w n + z n + ρ n ζ ) P ( w n + z n + ρ n ζ ) = O ( ρ n w n l 1 ) 0 ( n ) .
(4.7)
By (4.4), (4.5) and (4.7), we obtain that
g ( ζ 0 ) = lim n ρ n H ( w n + z n + ρ n ζ n ) P ( w n + z n + ρ n ζ n ) = lim n ρ n P 2 ( w n + z n + ρ n ζ n ) P ( w n + z n + ρ n ζ n ) = 0 .

Thus g ( ζ ) = 1 g ( ζ ) = 0 , which yields that the zeros of g 1 are of multiplicity at least 2. Similarly, we can prove that the zeros of g are of multiplicity at least 2.

Noting that Q 1 ( z ) Q 2 ( z ) , without loss of generality, we assume that Q 1 ( z ) 0 . Next, we shall prove that g ( ζ ) 0 . Suppose that ξ 0 is a zero of g ( ζ ) with multiplicity m (≥2), then g ( m ) ( ξ 0 ) 0 . Thus there exists a positive number δ such that
g ( ζ ) 0 , g ( ζ ) 0 , g ( m ) ( ζ ) 0
(4.8)

on D δ o = { z : 0 < | ζ ξ 0 | < δ } .

Noting that g ( ζ ) 0 , by Rouché’s theorem there exist ζ n , j ( j = 1 , 2 , , m ) on D δ / 2 = { ξ : | ζ ξ 0 | < δ / 2 } such that
g n ( ζ n , j ) = H ( w n + z n + ρ n ζ n , j ) = 0 ( j = 1 , , m ) .
Note that, for n large enough,
H ( w n + z n + ρ n ζ n , j ) = Q 1 ( w n + z n + ρ n ζ n , j ) Q 1 ( w n + z n + ρ n ζ n , j ) 0 ,

so each ζ n , j is a simple zero of H ( w n + z n + ρ n ζ ) , that is, ζ n , j ζ n , i ( 1 i j m ).

Likewise (4.7), we have
ρ n Q 1 ( w n + z n + ρ n ζ ) Q 1 ( w n + z n + ρ n ζ ) P ( w n + z n + ρ n ζ ) = O ( ρ n w n l 2 ) 0 ( n ) ,
(4.9)

here l 2 = deg R 2 = deg Q 1 Q 1 Q 2 Q 1 .

Note that by (4.4) and (4.9) we have
K n ( ζ ) = G n ( ζ ) ρ n Q 1 ( w n + z n + ρ n ζ ) Q 1 ( w n + z n + ρ n ζ ) P ( w n + z n + ρ n ζ ) g ( ζ ) ,
(4.10)
and K n ( ζ n , j ) = 0 ( j = 1 , , m ). From (4.8) we have
lim n ζ n , j = ξ 0 ( j = 1 , 2 , , m ) .

Noting (4.8), (4.10) and that K n ( ζ ) has m zeros ζ n , j ( j = 1 , 2 , , m ) in D δ / 2 , we obtain from Hurwitz’s theorem that ξ 0 is a zero of g ( ζ ) with multiplicity m, and thus g ( m ) ( ξ 0 ) = 0 . This is a contradiction. Hence g ( ζ ) 0 .

We have shown that g is a nonvanishing entire function that takes the value 1 always with multiplicity at least 2. But this contradicts Nevanlinna’s second fundamental theorem that the sum of the defects is at most 2.

This completes the proof of Theorem 1.2.

5 The proof of Corollary 1.3

By Lemma 2.6, the reader could give the proof of Corollary 1.3 with almost the same argument as that in the proof of Theorem 1.2. Here we omit it.

6 The proof of Theorem 1.4

By a similar way to that of Li, Gao and Zhang [9], we prove Theorem 1.4 as follows.

Since f is an entire function, by Lemma 2.4 we have
N ( r , 1 f ( k + 1 ) ) N ( r , 1 f ( k ) ) + S ( r , f ) < α T ( r , f ) + S ( r , f ) .
(6.1)
Set
(6.2)
Then F is a meromorphic function and hence
m ( r , F ) = S ( r , f )
(6.3)
from the fundamental estimate of the logarithmic derivative. Since the poles of F appear to the zeros of f ( k ) and f ( k + 1 ) , by assumption and (6.1), we have
N ( r , F ) N ( r , 1 f ( k ) ) + N ( r , 1 f ( k + 1 ) ) + S ( r , f ) .
(6.4)

Combining (6.3) with (6.4), we see that T ( r , F ) < 2 α T ( r , f ) + S ( r , f ) .

We assume that F 0 . Notice that all zeros of f 1 and f ( k ) 1 are k multiples. Let z 0 be a common zero of f 1 and f ( k ) 1 . Then f ( k + 1 ) ( z 0 ) 0 , and it is easy to see that F is holomorphic at z 0 , and F ( z 0 ) = 0 . Thus we have
N ( r , 1 f 1 ) N ( r , 1 F ) T ( r , F ) + O ( 1 ) 2 α T ( r , f ) + S ( r , f ) < 2 ( α + 1 4 α 8 ) T ( r , f ) = ( α + 1 4 ) T ( r , f ) ,
(6.5)
for large enough r. However, by Lemma 2.3, we have
N ( r , 1 f 1 ) ( 1 2 ( 1 4 α ) ) T ( r , f ) = ( α + 1 4 ) T ( r , f ) ,
(6.6)

for large enough r. (6.6) contradicts to (6.5).

Hence F 0 . Integration of (6.2) yields
A f ( k + 1 ) f ( k ) = ( f ( k ) 1 f 1 ) 2 ,
(6.7)
where A is a nonzero constant. Since f and f ( k ) share 1 CM, for any point z 1 satisfying that f ( z 1 ) = f ( k ) ( z 1 ) = 1 , we obtain that f ( z 1 ) f ( k + 1 ) ( z 1 ) 0 , and then A = f ( k + 1 ) ( z 1 ) [ f ( z 1 ) ] 2 . Thus if we assume that f ( k + 1 ) f ( k ) is not a constant function, we see from (6.7) that f ( k ) ( z ) 0 and f ( k + 1 ) ( z ) 0 . Noting that f ( z ) is an entire function, we see that f ( k + 1 ) f ( k ) has no both pole and zero. So A f ( k + 1 ) f ( k ) = : e h ( z ) is a small function of f ( k ) , where h ( z ) is an entire function. Now we may change (6.7) into
f ( z ) = ( f ( k ) ( z ) 1 ) e 1 2 h ( z ) + 1 .
(6.8)
By the second main theorem, (6.5) and (6.8), we have
T ( r , f ) = T ( r , f ( k ) ) + S ( r , f ( k ) ) N ( r , f ( k ) ) + N ( r , 1 f ( k ) ) + N ( r , 1 f ( k ) 1 ) + S ( r , f ( k ) ) N ( r , 1 f 1 ) + S ( r , f ) 1 2 T ( r , f ) + S ( r , f ) ,

a contradiction.

Therefore, f ( k + 1 ) f ( k ) is a constant function and hence there exists a nonzero constant c such that
f ( k + 1 ) ( z ) 1 f ( z ) 1 = c .

This completes the proof of Theorem 1.4.

Declarations

Acknowledgements

This work was supported by the Visiting Scholar Program of Chern Institute of Mathematics at Nankai University when the authors worked as visiting scholars. The authors would like to express their hearty thanks to Chern Institute of Mathematics that provided very comfortable research environment to them. Project supported by the funding scheme for training young teachers in colleges and universities in Shanghai (ZZSDJ12020), also supported by the NNSF of China (No. 11271090, 11171184, 11001057), the NSF of Guangdong Province (S2012010010121) and by project 10XKJ01, 12C401 and 12C104 from the Leading Academic Discipline Project of Shanghai Dianji University. The authors wish to thank the referee and managing editor for their very helpful comments and useful suggestions.

Authors’ Affiliations

(1)
Department of Mathematics and Physics, Shanghai Dianji University, Shanghai, P.R. China
(2)
College of Science, China University of Petroleum, Qingdao, P.R. China
(3)
School of Mathematics and Information Science, Guangzhou University, Guangzhou, P.R. China
(4)
Key Laboratory of Mathematics and Interdisciplinary Sciences of Guangdong Higher Education Institutes, Guangzhou University, Guangzhou, P.R. China

References

  1. Yi HX, Yang CC: Uniqueness Theory of Meromorphic Functions. Science Press, Beijing; 1995.Google Scholar
  2. Rubel LA, Yang CC: Values shared by an entire function and its derivative. Lecture Notes in Math. 599. In Complex Analysis. Springer, Berlin; 1976:101-103.Google Scholar
  3. Liu XJ, Nevo S, Pang XC: On the k th derivative of meromorphic functions with zeros of multiplicity at least k + 1 . J. Math. Anal. Appl. 2008, 348: 516-529. 10.1016/j.jmaa.2008.07.019MathSciNetView ArticleGoogle Scholar
  4. Yuan WJ, Xiao B, Zhang JJ: The general result of Gol’dberg’s theorem concerning the growth of meromorphic solutions of algebraic differential equations. Comput. Math. Appl. 2009, 58: 1788-1791. 10.1016/j.camwa.2009.07.092MathSciNetView ArticleGoogle Scholar
  5. Bank S, Laine I: On the oscillation theory of f + A ( z ) f = 0 where A is entire. Trans. Am. Math. Soc. 1982, 273: 351-363.MathSciNetGoogle Scholar
  6. Li XM, Gao CC: Entire functions sharing one polynomial with their derivatives. Proc. Indian Acad. Sci. Math. Sci. 2008, 118: 13-26. 10.1007/s12044-008-0002-zMathSciNetView ArticleGoogle Scholar
  7. Lü F: A note on the Brük conjecture. Bull. Korean Math. Soc. 2011, 48: 951-957. 10.4134/BKMS.2011.48.5.951MathSciNetView ArticleGoogle Scholar
  8. Lü F, Xu JF, Chen A: Entire functions sharing polynomials with their first derivatives. Arch. Math. 2009, 92: 593-601. 10.1007/s00013-009-3075-8View ArticleGoogle Scholar
  9. Li S, Gao ZS, Zhang JL: Entire functions that share values or small functions with their derivatives. Ann. Pol. Math. 2012, 104: 1-11. 10.4064/ap104-1-1MathSciNetView ArticleGoogle Scholar
  10. Gu RM, Li ZR, Yuan WJ: The growth of entire solutions of some algebraic differential equations. Georgian Math. J. 2011, 18: 489-495.MathSciNetGoogle Scholar
  11. Grahl J, Meng C: Entire functions sharing a polynomial with their derivatives and normal families. Analysis 2008, 28: 51-61. 10.1524/anly.2008.0902MathSciNetView ArticleGoogle Scholar

Copyright

© Qi 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.