- About this Journal
- Abstracting and Indexing
- Aims and Scope
- Annual Issues
- Article Processing Charges
- Articles in Press
- Author Guidelines
- Bibliographic Information
- Citations to this Journal
- Contact Information
- Editorial Board
- Editorial Workflow
- Free eTOC Alerts
- Publication Ethics
- Reviewers Acknowledgment
- Submit a Manuscript
- Subscription Information
- Table of Contents
Abstract and Applied Analysis
Volume 2012 (2012), Article ID 407351, 8 pages
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
Academic Editor: Matti Vuorinen
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.
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 .
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.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 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
5. Proof of Theorem 1.3
The third author was supported in part by China Scholarship Council (CSC).
- W. K. Hayman, Meromorphic Functions, Clarendon Press, Oxford, UK, 1964.
- H. X. Yi and C. C. Yang, Uniqueness Theory of Meromorphic Functions, Science Press, Beijing, China, 1995.
- W. K. Hayman, Research Problems in Function Theory, The Athlone Press University of London, London, UK, 1967.
- W. K. Hayman, “Picard values of meromorphic functions and their derivatives,” Annals of Mathematics (2), vol. 70, pp. 9–42, 1959.
- J. Clunie, “On a result of Hayman,” Journal of the London Mathematical Society, vol. 42, pp. 389–392, 1967.
- 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.
- 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.
- Y.-M. Chiang and S.-J. Feng, “On the Nevanlinna characteristic of and difference equations in the complex plane,” Ramanujan Journal, vol. 16, no. 1, pp. 105–129, 2008.
- 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.
- H. X. Yi, “Meromorphic functions that share one or two values,” Complex Variables and Elliptic Equations, vol. 28, no. 1, pp. 1–11, 1995.
- 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.