Discrete Dynamics in Nature and Society

Volume 2013 (2013), Article ID 152069, 6 pages

http://dx.doi.org/10.1155/2013/152069

Research Article

Value Sharing Results for -Shifts Difference Polynomials

Yong Liu,1,2 Yinhong Cao,³ Xiaoguang Qi,⁴ and Hongxun Yi⁵

¹Department of Mathematics, Shaoxing College of Arts and Sciences, Shaoxing, Zhejiang 312000, China

²Department of Physics and Mathematics, Joensuu Campus, University of Eastern Finland, P.O. Box 111, Joensuu 80101, Finland

³School of Mathematics and Information Sciences, Henan Polytechnic University, Jiaozuo, Henan 454000, China

⁴Department of Mathematics, Jinan University, Jinan, Shandong 250022, China

⁵School of Mathematics, Shandong University, Jinan, Shandong 250100, China

Received 15 January 2013; Accepted 26 March 2013

Academic Editor: Risto Korhonen

Copyright © 2013 Yong Liu 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.

We investigate the zero distribution of -shift difference polynomials of meromorphic functions with zero order and obtain some results that extend previous results of K. Liu et al.

1. Introduction and Main Results

In this paper, we assume that the reader is familiar with the fundamental results and the standard notations of the Nevanlinna theory (see, e.g., [1, 2]). Let and be two nonconstant meromorphic functions in the complex plane. By , we denote any quantity satisfying as , possibly outside a set of with finite linear measure. Then the meromorphic function is called a small function of , if . If and have same zeros, counting multiplicity (ignoring multiplicity), then we say that and share the small function CM (IM). The logarithmic density of a set is defined as follows:

Currently, many articles have focused on value distribution in difference analogues of meromorphic functions (see, e.g., [3–11]). In particular, there has been an increasing interest in studying the uniqueness problems related to meromorphic functions and their shifts or their difference operators (see, e.g., [8, 12–15]). Our aim in this article is to investigate the uniqueness problems of -difference polynomials.

Recently, Liu et al. [13] considered uniqueness of difference polynomials of meromorphic functions, corresponding to uniqueness theorems of meromorphic functions sharing values (see, e.g., [9, 16]). They got the following.

Theorem A. Let and be two transcendental meromorphic functions with finite order. Suppose that is a nonzero complex constant and is an integer. If and and share , then or , where .

Theorem B. Under the conditions of Theorem A, if and and share , then or , where .

In this paper, we consider the case of -shift difference polynomials and extend Theorem A as follows:

Theorem 1. Let and be two transcendental meromorphic functions with . Suppose that and are two nonzero complex constants and is an integer. If and and share , then or , where .

It is natural to ask whether Theorem 1 holds if and share 1 IM. Corresponding to this question, we get the following result.

Theorem 2. Under the conditions of Theorem 1, if and and share , then or , where .

Next, we consider the uniqueness of -difference products of entire functions and obtain the following results.

Theorem 3. Let and be two transcendental entire functions with , and let and be two nonzero complex constants, and let be a nonzero polynomial, where , are complex constants, and denotes the number of the distinct zero of . If and and share , then one of the following results holds:

(1) for a constant such that , where and

(2) and satisfy the algebraic equation , where

Remark 4. A similar result can be found in [15], but the method of this paper is more concise, and the condition of this paper is better.

2. Preliminary Lemmas

The following lemma is a -difference analogue of the logarithmic derivative lemma.

Lemma 5 (see [14]). Let be a meromorphic function of zero order, and let and be two nonzero complex numbers. Then one has

on a set of logarithmic density 1.

Lemma 6 (see [7]). If is an increasing function such that

then the set

has logarithmic density 0 for all and .

The following lemma is essential in our proof and is due to Heittokangas et al., see [12, Theorems 6 and 7].

Lemma 7. Let be a meromorphic function of finite order, and let be fixed. Then

Lemma 8. Let be a meromorphic function with , and let and be two nonzero complex numbers. Then

Proof of Lemma 8. We only prove the case . For the case , we can use the same method in the proof. By a simple geometric observation, we obtain

Combining with Lemma 6, we obtain

on a set of logarithmic density 1. On the other hand, we have

Therefore,

on a set of logarithmic density 1. From (9) and (12), we have

By Lemma 7, we have

Similarly, we have

Lemma 9. Let be a nonconstant meromorphic function of zero order, and let and be two nonzero complex numbers. Then

on a set of logarithmic density 1.

Proof of Lemma 9. By Lemmas 5 and 8, we have

on a set of logarithmic density 1.

Lemma 10. Let be an entire function with , let and be two fixed nonzero complex constants, and let be a nonzero polynomial, where are complex constants. Then

Proof of Lemma 10. By and Lemma 5, we obtain

on a set of logarithmic density 1. Using the similar method as above, we also get

on a set of logarithmic density 1.

Hence, we have on a set of logarithmic density 1.

Lemma 11 (see [17]). Let and be two nonconstant meromorphic functions. If and share , then one of the following three cases holds:

(i)

(ii), (iii),

where denotes the counting function of zero of , such that simple zero are counted once and multiple zeros are counted twice.

In order to prove Theorem 2, we need the following lemma.

Lemma 12 (see [16]). Let and be two nonconstant meromorphic functions, and let and share . Let

If , then

3. Proof of Theorem 1

Let and . Thus, and share 1 CM. Combining the first main theorem with Lemma 9, we obtain

Hence, we obtain

Using the similar method as above, we have

From Lemma 9, we have

By the second main theorem, Lemma 9, and (28), we obtain

Hence, (25) and (29) imply that

Similarly, we have

Equations (30) and (31) imply that . Together the definition of with Lemma 9, we have

Similarly,

Thus, together (21) with (32)-(33), we obtain

Then, by (25), (26), and (34), we obtain

which is a contradiction since . By Lemma 11, we have or . If , that is, . Set . Suppose that is not a constant. Then we obtain

Lemma 9 and (36) imply that

Hence, must be a nonzero constant, since . Set . By (36), we know . Thus, , where .

If , that is,

Let . Using the similar method as above, we also obtain that must be a nonzero constant. Thus, we have , where .

4. Proof of Theorem 2

Let and , and let be defined in Lemma 12. Using the similar proof as the proof of Theorem 1, we prove that (25)–(33) hold. By Lemma 9, we obtain

Similarly, we obtain

Together Lemma 12 with (32), (33), (39), and (40), we have

By (25), (26) and (41) yield that

which is impossible, since . Hence, we have .

By integrating (22) twice, we have

which yields that . From (25)–(28), we obtain

Next, we will prove that or .

Case 1 (). If , by (43), we obtain

Together the Nevanlinna second main theorem with Lemma 9, (28), and (44), we obtain

which yields that , which is impossible, since . Hence, we obtain , so

Using the similar method as above, we obtain

which is impossible.

Case 2. If and , then follows trivially. Therefore, we may consider the case and . By (43), we have

Similarly, we get a contradiction.

Case 3. If , and then   follows trivially. Therefore, we may consider the case and . By (43), we obtain

Similarly, we get a contradiction.

5. Proof of Theorem 3

Since and share 1 CM, we obtain

where is an entire function. by and , we have as a constant. We can rewrite (52) as follows:

If , by the first main theory, the second main theory, and Lemma 9, we have

By Lemma 10 and (54), we have

Hence, we have

Similarly, we have

Equations (56) and (57) imply that

which is impossible, since . Hence, we have . We can rewrite (52) as follows:

Set . We break the rest of the proof into two cases.

Case 1. Suppose that is a constant. Then by substituting into (59), we obtain

where are complex constants. By the fact that is transcendental entire function, we have . Hence, we obtain

Equation (61) implies that and when for . Therefore, , where is defined as the assumption of Theorem 3.

Case 2. Suppose that is not a constant, then we know by (59) that and satisfy the algebraic equation , where .

Acknowledgments

The authors would like to thank the referee for his/her helpful suggestions and comments. The work was supported by the NNSF of China (no. 10771121), the NSFC Tianyuan Mathematics Youth Fund (no. 11226094), the NSF of Shandong Province, China (no. ZR2012AQ020 and no. ZR2010AM030), the Fund of Doctoral Program Research of University of Jinan (XBS1211), and Shandong University Graduate Student Independent Innovation Fund (yzc11024).

References

W. K. Hayman, Meromorphic Functions, Oxford Mathematical Monographs, Clarendon Press, Oxford, UK, 1964.

C. C. Yang and H. X. Yi, Uniqueness of Meromorphic Functions, Kluwer, Dordrecht, The Netherlands, 2003.

Z.-X. Chen and K. H. Shon, “Value distribution of meromorphic solutions of certain difference Painlevé equations,” Journal of Mathematical Analysis and Applications, vol. 364, no. 2, pp. 556–566, 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.

R. G. Halburd and R. J. Korhonen, “Difference analogue of the lemma on the logarithmic derivative with applications to difference equations,” Journal of Mathematical Analysis and Applications, vol. 314, no. 2, pp. 477–487, 2006.

R. G. Halburd and R. J. Korhonen, “Nevanlinna theory for the difference operator,” Annales Academiæ Scientiarum Fennicæ. Mathematica, vol. 31, no. 2, pp. 463–478, 2006.

R. G. Halburd and R. J. Korhonen, “Finite-order meromorphic solutions and the discrete Painlevé equations,” Proceedings of the London Mathematical Society, vol. 94, no. 2, pp. 443–474, 2007.

K. Liu and L.-Z. Yang, “Value distribution of the difference operator,” Archiv der Mathematik, vol. 92, no. 3, pp. 270–278, 2009.

L.-Z. Yang and J.-L. Zhang, “Non-existence of meromorphic solutions of a Fermat type functional equation,” Aequationes Mathematicae, vol. 76, no. 1-2, pp. 140–150, 2008.

J. Zhang, “Value distribution and shared sets of differences of meromorphic functions,” Journal of Mathematical Analysis and Applications, vol. 367, no. 2, pp. 401–408, 2010.

J. Zhang and R. Korhonen, “On the Nevanlinna characteristic of and its applications,” Journal of Mathematical Analysis and Applications, vol. 369, no. 2, pp. 537–544, 2010.

J. Heittokangas, R. Korhonen, I. Laine, J. Rieppo, and J. Zhang, “Value sharing results for shifts of meromorphic functions, and sufficient conditions for periodicity,” Journal of Mathematical Analysis and Applications, vol. 355, no. 1, pp. 352–363, 2009.

K. Liu, X. Liu, and T. Cao, “Value distributions and uniqueness of difference polynomials,” Advances in Difference Equations, vol. 2011, Article ID 234215, 12 pages, 2011.

K. Liu and X.-G. Qi, “Meromorphic solutions of -shift difference equations,” Annales Polonici Mathematici, vol. 101, no. 3, pp. 215–225, 2011.

H. Y. Xu, K. Liu, and T. B. Cao, “Uniqueness and value distribution for q-shifts of meromorphic functions,” to appear in Mathematical Communications

J. Xu and H. Yi, “Uniqueness of entire functions and differential polynomials,” Bulletin of the Korean Mathematical Society, vol. 44, no. 4, pp. 623–629, 2007.

C.-C. Yang and X. Hua, “Uniqueness and value-sharing of meromorphic functions,” Annales Academiæ Scientiarum Fennicæ. Mathematica, vol. 22, no. 2, pp. 395–406, 1997.