Abstract and Applied Analysis

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

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

Research Article

Results on Difference Analogues of Valiron-Mohon'ko Theorem

Ran Ran Zhang¹ and Zhi Bo Huang²

¹Department of Mathematics, Guangdong University of Education, Guangzhou 510303, China

²School of Mathematical Sciences, South China Normal University, Guangzhou 510631, China

Received 6 April 2013; Accepted 4 May 2013

Academic Editor: Allan Peterson

Copyright © 2013 Ran Ran Zhang and Zhi Bo Huang. 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 classical Valiron-Mohon'ko theorem has many applications in the study of complex equations. In this paper, we investigate rational functions in f(z) and the shifts of f(z). We get some results on their characteristic functions. These results may be viewed as difference analogues of Valiron-Mohon'ko theorem.

1. Introduction and Results

We use the basic notions of Nevanlinna’s theory in this work (see [1, 2]). Let be a meromorphic function. We say that a meromorphic function is a small function of if , where outside a possible exceptional set of finite logarithmic measure.

The Valiron-Mohon’ko theorem has been proved to be an extremely useful tool in the study of meromorphic solutions of differential, difference, and functional equations. It is stated as follows.

Theorem A (see [3, page 29]). Let be a meromorphic function. Then for all irreducible rational functions in

with meromorphic coefficients , such that

the characteristic function of satisfies

Recently, a number of papers have focused on difference analogues of Nevanlinna’s theory; see, for instance, [4–12]. Among these papers, difference polynomials are investigated extensively (see [5, 9–11]). But the difference analogues of Valiron-Mohon’ko theorem have not been established. In this paper, we are devoted to this work.

A difference polynomial of is an expression of the form

where is an index set, are complex constants, and are nonnegative integers. In what follows, we assume that the coefficients of difference polynomials are, unless otherwise stated, small functions. The maximal total degree of in and the shifts of is defined by

First, we investigate the rational function

where is an arbitrary complex number, and and are small functions of with or . Our result is stated as follows.

Theorem 1. Let be a meromorphic function of finite order such that . Suppose that is a difference polynomial in and that is of the form (6). Then

In many papers (see, for instance, [7, 13, 14]), linear difference expressions often appear. Concerning their characteristic functions, we have the following corollary, which is obtained easily from Theorem 1.

Corollary 2. Let be a meromorphic function of finite order such that . Suppose that is a linear combination in and the shifts of . Then

Next we consider the rational function

where are different complex constants. We get the following result.

Theorem 3. Let be a meromorphic function of finite order such that . Suppose that is a difference polynomial in and that is of the form (9). Then

As for the general rational function in and the shifts of ,

we get the following two results.

Theorem 4. Let be a meromorphic function of finite order such that . Suppose that and are difference polynomials in and that is of the form (11).

(i)If and contains just one term of maximal total degree, then

(ii)If and contains just one term of maximal total degree, then

Theorem 5. Let be a meromorphic function of finite order such that . Suppose that and are difference polynomials in and that is of the form (11). Then

The following two examples show that the results in Theorems 1–5 are sharp; that is, “≤” and “≥” cannot be replaced by “<”, “>” or “”.

Example 6. Let and

Let

Then and . Clearly,

Therefore,

Example 7. Let and

Let

Then and . Clearly,

Therefore,

2. Proof of Theorem 1

We need the following lemmas for the proof of Theorem 1.

The difference analogue of the logarithmic derivative lemma was given by Halburd-Korhonen [8, Corollary 2.2] and Chiang-Feng [7, Corollary 2.6], independently. The following Lemma 8 is a variant of [8, Corollary 2.2].

Lemma 8. Let be a nonconstant meromorphic function of finite order, and let be two arbitrary complex numbers. Then,

In the remark of [15, page 15], it is pointed out that the following lemma holds.

Lemma 9. Let be a nonconstant finite order meromorphic function and let be an arbitrary complex number. Then,

Let be a meromorphic function. It is shown in [16, page 66] that for an arbitrary , the following inequalities:

hold as . From its proof we see that the above relations are also true for counting functions. So by these relations and Lemma 9, we get the following lemma.

Lemma 10. Let be a nonconstant finite order meromorphic function and let be an arbitrary complex number. Then,

Remark 11. In [7], Chiang and Feng proved a similar result. Let be a meromorphic function with , and let be fixed; then for each , we have

Proof of Theorem 1. Let

and .

Rearranging the expression of by collecting together all terms having the same total degree, we get

where, for ,

Since the coefficients of are small functions of , we have

So by Lemma 8, we have, for all the estimates

Without loss of generality, we may assume in (6). Otherwise, substituting for , we get

By Lemma 10, we see that

So, in the following discussion, we only discuss the form

Assume first that . Clearly, we may assume that . By (29), we get

If , then . So by (32), we get

If , then rewrite in the form

So we have

By (39) and the inductive argument, we have

To estimate , we use the form

Clearly,

So by (31), , and Lemma 10, we get

Combining this equality with (40), we get

and we have completed the case .

We now proceed to the case . Clearly, in this case we may assume that . By (29), we see that (6) becomes

By (45), we get

where

By (32), we get, for , the estimates

By (46), using the same method as in (36)–(40), we get

To estimate , we use the form

By (31), , and Lemma 10, we get

Combining this equality with (49), we get

Theorem 1 is proved.

3. Proof of Theorem 3

Proof. Let be of the form (28) and . Rearranging the expression of , we get (29) and (30). We only discuss the case since the case is easier.

Rewrite in the form

where

By Lemma 8, we get

By (29) and (53), we get

By (32) and (55), we have, for all , the estimates

By (57), using the same method as in (36)–(40), we get

Combining the above two inequalities with (56), we get

To estimate , we use the form

By (31), , and Lemma 10, we get

Combining this inequality with (59), we get

Theorem 3 is proved.

4. Proof of Theorem 4

We need the following lemma for the proof of Theorem 4.

Lemma 12 (see [11]). Let be a meromorphic function of finite order such that . Suppose that is a difference polynomial in and contains just one term of maximal total degree. Then,

Proof of Theorem 4. We have the following.

Case  1. Suppose that and contains just one term of maximal total degree.

Let and . By Lemma 12, we get

By Theorem 1, we get

By (11), we get

By (64)–(66), we get

So we have,

Case  2. Suppose that and contains just one term of maximal total degree.

In this case, we consider . Using the same method as in Case 1, we can easily get

Theorem 4 is proved.

5. Proof of Theorem 5

Proof. Let be of the form (28) and . Let

and .

Rearranging the expression of , we get (29) and (30).

Similarly, rearranging the expression of , we get

where, for ,

By (29) and (71), we get

Since , by Lemma 10, we have, for an arbitrary ,

By (74) and Lemma 8, we have, for an arbitrary ,

Since the coefficients and of and are small functions of , by (30), (72), and (75), we get

By (73), we are not clear whether is an irreducible rational function in . So by Theorem A, we get

Theorem 5 is proved.

Acknowledgments

This work was supported by the National Natural Science Foundation of China (11226090 and 11171119) and Guangdong Natural Science Foundation (S2012040006865).

References

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

L. Yang, Value Distribution Theory and New Research, Science Press, Beijing, China, 1982.

I. Laine, Nevanlinna theory and complex differential equations, Walter de Gruyter, Berlin, Germany, 1993.

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.

Z. X. Chen, Z. B. Huang, and X. M. Zheng, “On properties of difference polynomials,” Acta Mathematica Scientia B, vol. 31, no. 2, pp. 627–633, 2011.

Z. X. Chen and K. H. Shon, “Estimates for the zeros of differences of meromorphic functions,” Science in China A, vol. 52, no. 11, pp. 2447–2458, 2009.

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.

I. Laine and C.-C. Yang, “Clunie theorems for difference and q-difference polynomials,” Journal of the London Mathematical Society, vol. 76, no. 3, pp. 556–566, 2007.

I. Laine and C.-C. Yang, “Value distribution of difference polynomials,” Japan Academy A, vol. 83, no. 8, pp. 148–151, 2007.

R. R. Zhang and Z. X. Chen, “Value distribution of difference polynomials of meromorphic functions,” Science China Mathematics, vol. 42, no. 11, pp. 1115–1130, 2012.

R. R. Zhang and Z. X. Chen, “Value distribution of meromorphic functions and their differences,” Turkish Journal of Mathematics, vol. 36, no. 3, pp. 395–406, 2012.

R. Korhonen and O. Ronkainen, “Order reduction method for linear difference equations,” Proceedings of the American Mathematical Society, vol. 139, no. 9, pp. 3219–3229, 2011.

C.-C. Yang and I. Laine, “On analogies between nonlinear difference and differential equations,” Japan Academy A, vol. 86, no. 1, pp. 10–14, 2010.

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.

A. A. Gol'dberg and I. V. Ostrovskii, Distribution of Values of Meromorphic Functions, Nauka, Moscow, Russia, 1970.