`Abstract and Applied AnalysisVolume 2012, Article ID 407351, 8 pageshttp://dx.doi.org/10.1155/2012/407351`
Research Article

## Uniqueness Theorems on Difference Monomials of Entire Functions

1Shandong Transport Vocational College, Weifang, Shandong 261206, China
2Laiwu Vocational and Technical College, Laiwu, Shandong 271100, China
3Department of Physics and Mathematics, University of Eastern Finland, P.O. Box 111, 80101 Joensuu, Finland

Received 5 April 2012; Accepted 11 June 2012

Copyright © 2012 Gang Wang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

The aim of this paper is to discuss the uniqueness of the difference monomials . It assumed that and are transcendental entire functions with finite order and , where is a nonzero complex constant and , are integers. It is proved that if one of the following holds (i) and , (ii) and , and (iii) and , then or for some constants and which satisfy and . It is an improvement of the result of Qi, Yang and Liu.

#### 1. Introduction and Main Results

In this paper, a meromorphic (respectively entire) function always means meromorphic (respectively, analytic) in the complex plane . It is also assumed that the reader is familiar with the basic concepts of the Nevanlinna theory. We adopt the standard notations in the Nevanlinna value distribution theory of meromorphic functions as explained in [1, 2].

Let and be two nonconstant meromorphic functions, and let be a value in the extended plane. We say that and share the value CM, provided that and have the same -pints with the same multiplicities. We say that and share the value IM, provided that and have the same -points ignoring multiplicities. The order of is defined by

Let be a nonconstant meromorphic function on , let be a finite value, and let be a positive integer or infinity. We denote by the set of zeros of and count multiplicities, while by the set of zeros of but ignore multiplicities. Also, we denote by the set of zeros of with multiplicities less than or equal to and count multiplicities. For , we denote by the counting function corresponding to the set while by the counting function corresponding to the set . If , we say that , share the value a with weight .

The definition implies that if and share a value with weight , then is a zero of with multiplicity if and only if it is a zero of with multiplicity and is a zero of with multiplicity if and only if it is a zero of with multiplicity where is not necessarily equal to .

Also, we denote by and the reduced forms of and , respectively. At last, we set

Hayman proposed the well-known conjecture in .

Hayman  Conjecture
If an entire function satisfies for all , then is a constant.
In fact, Hayman has proved that the conjecture holds in the cases in  while Clunie proved the cases in , respectively. In 1997, Yang and Hua  studied the uniqueness theorem of the differential monomials and obtained the following result.

Theorem A. Let and be nonconstant entire function, and let be an integer. If and share 1 CM, then either , where , and are constants satisfying , or for a constant such that .

In 2010, Qi et al.  studied the uniqueness of the difference monomials and obtained the following result.

Theorem B. Let and be transcendental entire functions with finite order, a non-zero complex constant, and an integer. If , then or for some constants and which satisfy and .

In this paper, we will obtain the following results.

Theorem 1.1. Let and be transcendental entire functions with finite order, a non-zero complex constant, and an integer. If , then the assertion of Theorem B holds.

Theorem 1.2. Let and be transcendental entire functions with finite order, a non-zero complex constant, and an integer. If , then the assertion of Theorem B holds.

Theorem 1.3. Let and be transcendental entire functions with finite order, a non-zero complex constant, and an integer. If , then the assertion of Theorem B holds.

#### 2. Auxiliary Results

Lemma 2.1 (see [8, Corollary 2.5]). Let be a meromorphic function in the complex plane with finite order , and let be a fixed non-zero complex number. Then for each , one has

Lemma 2.2 (see [8, Theorem 2.1]). Let be a meromorphic function in the complex plane with finite order , and let be a fixed non-zero complex number. Then for each , one has

Lemma 2.3. Let be an entire function with finite order , a fixed non-zero complex number, and where are constants. If , then

Proof. Since is an entire transcendental function with finite order, we can deduce from Lemma 2.1 and the standard Valiron-Mohon'ko theorem that Therefore On the other hand, Lemma 2.2 implies that We will obtain the conclusion of Lemma 2.3.

Remark 2.4. The condition “entire” cannot be replaced by “meromorphic” in Lemma 2.3, as is shown by the following example.

Example 2.5. Let , , and , we can see for every set of with infinite measure.

Lemma 2.6 (see [9, Lemma 2.1]). Let and be two nonconstant meromorphic functions satisfying for some positive integer . Define as follows: If , then where denotes the counting function of zeros of but not zeros of and is similarly defined.

Lemma 2.7 (see ). Under the condition of Lemma 2.6, one has

Lemma 2.8 (see ). Let be defined as Lemma 2.6. If , then either or provided that where and is a set with infinite linear measure.

Lemma 2.9 (see [11, Lemma 2.2]). Let be a nondecreasing continuous function, , , and let be the set of all such that If the logarithmic measure of is infinite, then

#### 3. Proof of Theorem 1.1

We define First of all, suppose that . We replace and by and , respectively, in Lemma 2.7 and Lemma 2.8. Thus, Applying the second main theorem to and jointly implies that Noting that According to Lemma 2.9 and (3.2)–(3.4), we can obtain that Lemma 2.3 shows that We can deduce that which is impossible since . Therefore, we have . Noting that where . Together with Lemma 2.8, it shows that either or . We will consider the following two cases.

Case 1. Suppose that . Therefore Let ; we have If is not a constant, then Lemma 2.2 and (3.10) imply that which is a contraction with . Thus, , where is a constant. From (3.10), we have and .

Case 2. Suppose that . Therefore Let ; we have By the same way as Case 1, we can obtain that is a constant. Therefore, and .

#### 4. Proof of Theorem 1.2

Noting that According to (3.1) and (4.1), we can obtain the conclusion of Theorem 1.2 by the same way as Section 3.

#### 5. Proof of Theorem 1.3

Noting that According to (3.1) and (5.1), we can obtain the conclusion of Theorem 1.2 by the same way as Section 3.

#### Acknowledgment

The third author was supported in part by China Scholarship Council (CSC).

#### References

1. W. K. Hayman, Meromorphic Functions, Clarendon Press, Oxford, UK, 1964.
2. H. X. Yi and C. C. Yang, Uniqueness Theory of Meromorphic Functions, Science Press, Beijing, China, 1995.
3. W. K. Hayman, Research Problems in Function Theory, The Athlone Press University of London, London, UK, 1967.
4. W. K. Hayman, “Picard values of meromorphic functions and their derivatives,” Annals of Mathematics (2), vol. 70, pp. 9–42, 1959.
5. J. Clunie, “On a result of Hayman,” Journal of the London Mathematical Society, vol. 42, pp. 389–392, 1967.
6. C. C. Yang and X. H. Hua, “Uniqueness and value-sharing of meromorphic functions,” Annales Academiæ Scientiarum Fennicæ Mathematica, vol. 22, no. 2, pp. 395–406, 1997.
7. X.-G. Qi, L. Z. Yang, and K. Liu, “Uniqueness and periodicity of meromorphic functions concerning the difference operator,” Computers & Mathematics with Applications, vol. 60, no. 6, pp. 1739–1746, 2010.
8. Y.-M. Chiang and S.-J. Feng, “On the Nevanlinna characteristic of $f\left(z+\eta \right)$ and difference equations in the complex plane,” Ramanujan Journal, vol. 16, no. 1, pp. 105–129, 2008.
9. J.-F. Xu, Q. Han, and J.-L. Zhang, “Uniqueness theorems of meromorphic functions of a certain form,” Bulletin of the Korean Mathematical Society, vol. 46, no. 6, pp. 1079–1089, 2009.
10. H. X. Yi, “Meromorphic functions that share one or two values,” Complex Variables and Elliptic Equations, vol. 28, no. 1, pp. 1–11, 1995.
11. R. G. Halburdand and R. J. Korhonen, “Nevanlinna theory for the difference operator,” Annales Academiæ Scientiarium Fennicæ, vol. 31, no. 2, pp. 463–478, 2006.