Abstract
In this paper, we investigate the distribution of the zeros of some high differential-difference polynomials and obtain some uniqueness theorems with regard to it.
MSC:30D35, 34M10.
Similar content being viewed by others
1 Introduction and main results
In this paper, a meromorphic function always means it is meromorphic in the whole complex plane . We assume that the reader is familiar with the standard notations in the Nevanlinna theory. We use the following standard notations in value distribution theory (see [1, 4, 11, 14]):
And we denote by any quantity satisfying
possibly outside of a set E with finite linear measure, not necessarily the same at each occurrence. A meromorphic function is said to be a small function with respect to if . We say that two meromorphic functions and share the value a IM (ignoring multiplicities) if and have the same zeros. If and have the same zeros with the same multiplicities, then we say that they share the value a CM (counting multiplicities). A polynomial is called a differential-difference polynomial in f if Q is a polynomial in f, its derivatives and shifts with meromorphic coefficients, say , such that for all . We define the difference operators and .
In 2007, Laine and Yang [8] considered zeros of one certain type of difference polynomials and obtained the following theorem.
Theorem A Let f be a transcendental entire function of finite order and c be a nonzero complex constant. If , then has infinitely many zeros, where .
Liu [13] considered the case of general difference products of a meromorphic function and made relevant improvements to Theorem A. Recently, a number of papers [5, 6] focusing on the distribution of zeros of some difference polynomials of differential types emerged. In this paper, we consider the general differential difference cases in some sense and obtain some results as follows.
Theorem 1 Let f be a transcendental entire function of finite order and be a small function with respect to . If one of the following conditions holds:
-
(i)
when ;
-
(ii)
when ,
then the differential-difference polynomial has infinitely many zeros.
Theorem 2 Let f be a transcendental entire function of finite order and , and be a small function with respect to . If , then the differential-difference polynomial has infinitely many zeros.
Theorem 3 Let f be a transcendental meromorphic function of finite order, λ be a nonzero constant, and be a small function with respect to . If , then the differential-difference polynomial has infinitely many zeros.
Theorem 4 Let f, g be two transcendental entire functions of finite order, λ be a nonzero constant, and be a small function with respect to . If and , share CM, then one of the following cases holds:
-
(i)
, where , i.e., if m, n are two prime integers, then ;
-
(ii)
.
Recently, Yang and Laine [10] considered the following interesting differential equation and they proved
Theorem B Let be a nonvanishing polynomial and be two nonzero complex constants. If is nonconstant, then the differential equation
admits no transcendental entire solutions. If is a nonzero constant, then equation above admits three distinct transcendental entire solutions, provided .
They also presented some results on difference analogues of the equation in Theorem B and obtained the following theorem.
Theorem C A nonlinear difference equation
where is a nonconstant polynomial and are two nonzero constants, has no transcendental entire function of finite order. If is a nonzero constant, then the difference equation above admits three distinct transcendental entire functions of finite order, provided and for a nonzero integer n.
In this paper, we also consider a more general class of difference equation related to Theorem B and Theorem C and obtain the following results, which generalize the above related results.
Theorem 5 Let p, q be two polynomials and , n be two positive integers. Then the difference equation
has no transcendental entire function of finite order.
Theorem 6 Let be a nonconstant polynomial and b, c be two nonzero constants. Then the difference equation
has no transcendental entire function of finite order. If is a nonzero constant, and the difference equation above admits a transcendental entire function of finite order, then
and
where , .
2 Some lemmas
To prove our results, we need some lemmas as follows.
Lemma 1 (see [9])
Let be a transcendental meromorphic function with finite order. Then
Lemma 2 (see [9])
Let be a transcendental meromorphic function with finite order σ and η be a nonzero complex number, then for each , we have
Lemma 3 Let be a transcendental entire function with finite order and . Then
Proof On the one hand, from Lemma 1, Lemma 2, and the standard Valiant-Mohon’ko theorem, we obtain
on the other hand, by Lemma 2 once again, we obtain
Combing the two equations above, we can get our conclusion immediately. □
Lemma 4 Let be a transcendental entire function with finite order and . Then
Proof It is obvious that the difference operator can be expressed in the following form:
where () are some integers. By Lemma 1 and the equation above, we can deduce that
Then from the standard Valiant-Mohon’ko theorem and the equation above, we can obtain
The proof of Lemma 4 is completed. □
Lemma 5 (see [7])
Let be a transcendental meromorphic solution of finite order σ of a difference equation of the form
where , , are difference polynomials in such that the total degree of in and its shifts is n and that the corresponding total degree of is at most n. If just contains one term of maximal total degree, then for any ,
holds possibly outside of an exceptional set of finite logarithmic measure.
Lemma 6 (see [3])
Suppose c is a nonzero constant and α is a nonconstant meromorphic function. Then the differential equation
has no transcendental meromorphic solutions satisfying .
Lemma 7 (see [11])
Suppose that () are meromorphic functions and are entire functions satisfying the following conditions:
-
(i)
;
-
(ii)
are not constants for ;
-
(iii)
For , . (, ).
Then ().
Lemma 8 (see [2])
Let f be a nonconstant meromorphic function and p, k be positive integers. Then
Remark denotes the counting function of zeros of f where an m-fold zero is counted m times if and p times if .
Lemma 9 (see [12])
Suppose F and G are two nonconstant meromorphic functions. If F and G share 1 CM, then one of the following three cases holds:
-
(i)
;
-
(ii)
;
-
(iii)
.
3 The proof of theorems
The proof of Theorem 1 Denote . From the definition of F and Lemma 3, we obtain
which means F is also a transcendental entire function. On the contrary, we suppose that has only finitely many zeros, then we obtain
Applying the second main theorem for three small functions to the entire function , we can obtain
And by applying Lemma 8 to the right side of the equation above, we can obtain
That is to say
Combing Equations (2)-(3), we obtain
Next, we discuss the following two cases separately.
Case 1. If , then from the definition of F again, we can obtain
Then, based on the equation above, Equation (4) becomes
which contradicts our assumption .
Case 2. If , then in the similar way as in Case 1, we can obtain
Then, based on the equation above, Equation (4) becomes
which also contradicts our assumption . Therefore, has infinitely many zeros. The proof of Theorem 1 is completed. □
The proof of Theorem 2 Denote . From the definition of F and Lemma 4, we get
which means F is also a transcendental entire function. On the contrary, suppose that has only finitely many zeros. Noting the following fact in Lemma 4 again
we can obtain
Then in the similar way as in Theorem 1, we can obtain
Thus, we can deduce
which contradicts our assumption . Thus we proved has infinitely many zeros. The proof of Theorem 2 is completed. □
The proof of Theorem 3 Denote . On the contrary, suppose that has only finitely many zeros. Then from the definition of F, we can obtain obviously that
which means F is also a transcendental entire function. Applying the second main theorem for three small functions to function F, we obtain
In other words,
which contradicts our assumption . So we proved has infinitely many zeros. The proof of Theorem 3 is completed. □
The proof of Theorem 4 Set
Then F and G share 1 CM. From the definition of F, G and Lemma 2, we obtain
and
From the definition of and Lemma 2, we obtain
In other words,
In the similar way, we can obtain
Next, we consider three cases according to Lemma 9.
Case 1. Suppose the first equation in Lemma 9 holds. Then by Equations (7)-(8), we obtain
But by Equations (5), (6), and (9), we obtain
which is impossible when .
Case 2. Suppose holds. That is to say
Set , and suppose it is a nonconstant meromorphic function.
If , then . By Lemma 2, we obtain
which is also impossible when . So .
Substituting into Equation (11), we obtain
From Equation (12), it is obvious that if , then and . Thus, we can obtain
Applying the second main theorem to and noting the equation above, we obtain
That is to say,
which is impossible when . Thus, we obtain h is a constant such that . Furthermore, if , then and .
Case 3. Suppose holds. Then
The proof of Theorem 4 is completed. □
The Proof of Theorem 5 Suppose the difference equation admits a transcendental entire function of finite order and does not vanish identically without loss of generality. Then, by Lemma 1, we obtain
which is impossible when . The proof of Theorem 5 is completed. □
The Proof of Theorem 6 Suppose the difference equation (1) admits a transcendental entire function of finite order. First of all, we notice that
is a difference polynomial of f with total degree at most one. Differentiating Equation (1), we obtain
where . Combining the squares of Equation (1) and Equation (13), we can obtain
where
is a differential-difference polynomial of f with total degree at most four. Then by Lemma 5, we obtain
From Equation (15) and Lemma 6, we obtain must be a constant. To put it another way,
It is clear that the solutions of homogeneous and linear Equation (16) with constant coefficients must be of the form
where , are two constants. Next, we claim , are two nonzero constants.
If , then and , , where . Substituting these into Equation (1), we obtain
By Lemma 7, we obtain , which is impossible. Thus , and we can obtain in a similar way. Thus, our claim holds.
From Equation (17), we obtain
where and . Substituting Equation (19) into Equation (1), we can obtain
By Lemma 7 again, we obtain
and
If is a nonconstant polynomial, then we can obtain a contradiction from Equation (22) obviously.
If is a nonzero constant, then we can set according to Equation (22), where , . It is easy to see or −x.
If , then and we obtain from Equation (22), which is a contradiction. So .
If , then
where n is an integer. From Equation (22), we obtain
The proof of Theorem 6 is completed. □
References
Hayman WK: Meromorphic Functions. Clarendon Press, Oxford; 1964.
Lahiri I, Sarkar A: Uniqueness of a meromorphic function and its derivative. J. Inequal. Pure Appl. Math. 2004., 5(1): Article ID 20
Heittokangas J, Laine I: On meromorphic solutions of certain non-linear differential equations. Bull. Aust. Math. Soc. 2002, 66(2):331–343. 10.1017/S000497270004017X
Laine I Studies in Math. 15. In Nevanlinna Theory and complex Differential Equations. de Gruyter, Berlin; 1993.
Chen ZX, Huang ZB, Zheng XM: On properties of difference polynomials. Acta Math. Sci. 2011, 31B(2):627–633.
Huang ZB, Chen ZX: A Clunie lemmae for difference and q-difference polynomials. Bull. Aust. Math. Soc. 2010, 81: 23–32. 10.1017/S0004972709000811
Laine I, Yang CC: Clunie theorem for difference and q-difference polynomials. J. Lond. Math. Soc. 2007, 76(3):556–566. 10.1112/jlms/jdm073
Laine I, Yang CC: Value distribution of difference polynomials. Proc. Jpn. Acad., Ser. A, Math. Sci. 2007, 83: 148–151. 10.3792/pjaa.83.148
Chiang YM, Feng SJ:On the Nevanlinna characteristic of and difference equations in the complex plane. Ramanujian J. 2008, 16: 105–129. 10.1007/s11139-007-9101-1
Yang CC, Laine I: On analogies between nonlinear difference and differential equations. Proc. Jpn. Acad., Ser. A, Math. Sci. 2010, 86: 10–14. 10.3792/pjaa.86.10
Yang CC, Yi HX: Uniqueness Theory of Meromorphic Functions. 2nd edition. Science Press, Beijing; 2006.
Yang CC, Hua HX: Uniqueness and value-sharing of meromorphic functions. Ann. Acad. Sci. Fenn., Ser. A 1 Math. 1997, 22: 395–406.
Liu K: Zeros of difference polynomials of meromorphic functions. Results Math. 2010, 57: 365–376. 10.1007/s00025-010-0034-4
Yang L: Value Distribution Theory. Springer, Berlin; 1993.
Acknowledgements
The author would like to thank the main editor and anonymous referees for their valuable comments and suggestions leading to improvement of this paper. This research was supported by the Fundamental Research Funds for the Central Universities (No. 2011QNA25).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
Authors’ contributions
The author carried out the proof of the theorems and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Zhang, J. Some results on zeros and the uniqueness of one certain type of high difference polynomials. Adv Differ Equ 2012, 160 (2012). https://doi.org/10.1186/1687-1847-2012-160
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2012-160