The Scientific World Journal

Volume 2014 (2014), Article ID 103249, 4 pages

http://dx.doi.org/10.1155/2014/103249

Research Article

Fixed Points of Difference Operator of Meromorphic Functions

Zhaojun Wu¹ and Hongyan Xu²

¹School of Mathematics and Statistics, Hubei University of Science and Technology, Xianning 437100, China

²Department of Informatics and Engineering, Jingdezhen Ceramic Institute, Jingdezhen 333403, China

Received 28 August 2013; Accepted 24 October 2013; Published 19 January 2014

Academic Editors: M. Gandarias and Y. C. Shiah

Copyright © 2014 Zhaojun Wu and Hongyan Xu. 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.

Let f be a transcendental meromorphic function of order less than one. The authors prove that the exact difference has infinitely many fixed points, if and are Borel exceptional values (or Nevanlinna deficiency values) of f. These results extend the related results obtained by Chen and Shon.

1. Introduction and Main Results

In this paper, we assume that the reader is familiar with the notations of frequency use in Nevanlinna theory (see [1–3]). Let be a meromorphic function in the complex plane and . We use the notations to denote the order of , , and , respectively, to denote the exponent of convergence of zeros of and poles of . Especially, if , we denote . A point is called as a fixed point of if . There is a considerable number of results on the fixed points for meromorphic functions in the plane; we refer the reader to Chuang and Yang [4]. It follows Chen and Shon [5]; we use the notation to denote the exponent of convergence of fixed points of that is defined as

Let be a transcendental meromorphic function in the complex plane . The exact differences are defined by .

Recently, there are a number of papers (including [6–16]) focusing on the differences analogues of Nevanlinna's theory and its application on the complex difference equations. For the fixed points of the difference operator , Chen and Shon have proved the following.

Theorem A (see [17]). Let be a transcendental entire function of order of growth and have infinitely many zeros with the exponent of convergence of zeros . Then has infinitely many zeros and infinitely many fixed points.

When the order of is less than 1, Chen and Shon have proved the following.

Theorem B (see [5]). Let be a transcendental meromorphic function of order of growth . Suppose that satisfies or has infinitely many zeros (with ) and finitely many poles. Then has infinitely many fixed points and satisfies the exponent of convergence of fixed points .

A natural question is, letting be a transcendental meromorphic function of order of growth , is there a similar result as that in Theorem B if or has infinitely many zeros (with ) and infinitely many poles?

In this paper, we will prove the following theorem to answer the question.

Theorem 1 (main). Let be a transcendental meromorphic function of order of growth and . Suppose that satisfies and . Then has infinitely many fixed points and satisfies the exponent of convergence of fixed points .

From Theorem 1, we can get the following corollary.

Corollary 2. Let be a transcendental meromorphic function of order of growth . Suppose that satisfies . Then has infinitely many fixed points and satisfies the exponent of convergence of fixed points .

In Theorem 1, we suppose that satisfies and . That is to say and are Borel exceptional values of . If we suppose that and are Nevanlinna deficiency values of , is there a similar result as that in Theorem B? In the following, we give Theorem 3 to answer this question.

Let be a meromorphic function in the complex plane and . Nevanlinna’s deficiency of with respect to is defined by

If , then one should replace in the above formula by . If , then is called a Nevanlinna deficiency value of .

Theorem 3 (main). Let be a transcendental meromorphic function of order of growth and . Suppose that satisfies and is a Nevanlinna deficiency value of . Then has infinitely many fixed points.

Corollary 4. Let be a transcendental entire function of order of growth and . Suppose that . Then has infinitely many fixed points.

2. Some Lemmas

Lemma 1 (lemma on the logarithmic derivative). Let be a meromorphic function. If the function has finite order, then

holds for any positive integer .

Lemma 2 (see [18]). Let be a meromorphic function with the exponent of convergence of poles and let be a nonzero complex number. Then for each , we have

Lemma 3. Let be a transcendental meromorphic function of order of growth and let be a nonzero complex number. Then

Proof. Since the order , then . Therefore, for any , it follows from Lemma 2 that

That is,

Lemma 4 (see [6]). Let be a function transcendental and meromorphic in the plane which satisfies

Then is transcendental.

Lemma 5. Let be a transcendental meromorphic function of order of growth . Then is transcendental.

Proof. Since the order , then, for any positive , there exists such that for any we have

Therefore,

Lemma 5 follows Lemma 4.

Lemma 6 (see [7]). Let be a meromorphic function of finite order, then .

Lemma 7 (see [7]). Let be a transcendental meromorphic function of order of growth . Then for any and any positive integer , there exists a set that depends on and has finite logarithmic measure, such that for all satisfying we have

It is easy to derive the following lemma from Lemma 1 and Lemma 7.

Lemma 8. Let be a transcendental meromorphic function of order of growth . Then for any positive integer there exists a set that depends on and has finite logarithmic measure, such that

3. Proof of Theorems

Proof. Since

then

Applying the first fundamental theorem, we get

Combining (14)-(15) we have

Since

then, we can get

Therefore,

Thus from Lemma 3 and (20), we deduce

By Lemmas 5 and 6, we know that is a transcendental meromorphic function of order of growth . It follows from Lemma 8 and (19) that there exists a set that has finite logarithmic measure, such that for any we have

From (16) and (21)-(22), we have

Denoting by (23) we derive,

3.1. The Rest of the Proof of Theorem 1

By Lemma 6, we know that . If , by and , there exists a number , such that for any sufficient   we have

Combining (24) and (25), we can get a contradiction. Therefore, we have .

3.2. The Rest of the Proof of Theorem 3

Since , then . By (24), we can get

Since , then there is a positive number such that

If has only a finite number of fixed points, then from (26) and (27) we would have

This contradicts being transcendental. Therefore, has infinitely many fixed points.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This research was partly supported by the National Natural Science Foundation of China (Grant nos. 11201395 and 61202313), by the Natural Science Foundation of Jiang-Xi Province in China (Grant nos. 20132BAB211001 and 20122BAB201044) and by the Science Foundation of Educational Commission of Hubei Province (Grant nos. Q20132801 and D20132804).

References

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

L. Yang, Value Distribution Theory, Springer, Berlin, Germany; Science Press Beijing, Beijing, China, 1993.

J. H. Zheng, Value Distribution of Meromorphic Functions, Tsinghua University Press, Beijing, China; Springer, Heidelberg, Germany, 2010.

C. T. Chuang and C. C. Yang, Theory of Fix Points and Factorization of Mero- Morphic Functions, Mathematical Monogragh Series, Peking University Press, 1986.

Z.-X. Chen and K. H. Shon, “Properties of differences of meromorphic functions,” Czechoslovak Mathematical Journal, vol. 61, no. 1, pp. 213–224, 2011.

W. Bergweiler and J. K. Langley, “Zeros of differences of meromorphic functions,” Mathematical Proceedings of the Cambridge Philosophical Society, vol. 142, no. 1, pp. 133–147, 2007.

Y. M. Chiang and S. J. Feng, “On the growth of logarithmic difference, difference equations and logarithmic derivatives of meromorphic functions,” Transactions of the American Mathematical Society, vol. 361, pp. 3767–3791, 2009.

R. G. Halburd and R. J. Korhonen, “Nevanlinna theory for the difference operator,” Annales Academiae Scientiarum Fennicae Mathematica, vol. 31, pp. 463–478, 2006.

R. G. Halburd and R. J. Korhonen, “Meromorphic solutions of difference equations, integrability and the discrete Painlevé equations,” Journal of Physics A, vol. 40, no. 6, pp. R1–R38, 2007.

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, pp. 477–487, 2006.

N. Li and L. Z. Yang, “Value distribution of difference and q-difference polynomials,” Advances in Difference Equations, vol. 2013, article 98, pp. 1–9, 2013.

H. F. Liu and Z. Q. Mao, “On the meromorphic solutions of some linear difference equations,” Advances in Difference Equations, vol. 2013, article 133, pp. 1–12, 2013.

K. Liu and T. B. Cao, “Entire solutions of Fermat type q-difference differential equations,” Electronic Journal of Differential Equations, vol. 2013, no. 59, pp. 1–10, 2013.

K. Liu, H. Z. Cao, and T. B. Cao, “Entire solutions of Fermat type differential difference equations,” Archiv Der Mathematik, vol. 99, pp. 147–155, 2012.

H. Y. Xu, T. B. Cao, and B. X. Liu, “The growthof solutions of systems of complex q-shift difference equations,” Advances in Difference Equations, vol. 2012, article 216, pp. 1–22, 2012.

J. F. Xu and X. B. Zhang, “The zeros of q-shift difference polynomials of meromorphic functions,” Advances in Difference Equations, vol. 2012, article 200, pp. 1–10, 2012.

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 f(z+η) and difference equations in the complex plane,” Ramanujan Journal, vol. 16, no. 1, pp. 105–129, 2008.