# Note on wandering domains in the dynamics of solutions of certain difference equations

## Abstract

In this note we study the value distribution of solutions of certain difference equations analogous to differential equations, the finite order solutions of which do not have wandering domains. Meanwhile, the nonexistence of wandering domains of solutions with finite order of these difference equations is proved. Thus the nonexistence of wandering domains of solutions of these difference and differential equations is similar in some extent.

## Introduction and main results

Let f be a nonlinear meromorphic function, the Fatou set $$F(f)$$ is the set of points $$z\in\mathbb{C}$$ such that iterates of f, $$(f^{n})_{n\in\mathbb{N}}$$, form a normal family in some neighborhood of z. The complement of $$F(f)$$ is called the Julia set $$J(f)$$ of f. The Fatou set is open and completely invariant. If U is a component of $$F(f)$$, then $$f^{n}(U)$$ lies in some component $$U_{n}$$ of $$F(f)$$. If $$U_{n}\neq U_{m}$$ for all $$n\neq m$$, then U is called a wandering domain of f. Otherwise U is called pre-periodic and $$U_{n}=U$$ for some $$n\in\mathbb{N}$$, then U is called periodic. An introduction to iteration theory can be found in .

Sullivan  proved that rational functions do not have wandering domains. However, transcendental meromorphic functions may have wandering domains (for example, see ), while many classes of meromorphic functions do not have wandering domains (for example, see [3, 712]). In , the nonexistence of wandering domains is proved by Wang for a meromorphic function f of finite order satisfying some first order nonlinear differential equations, see the following two theorems.

### Theorem A

Let $$q(z)$$ be a rational function, $$p(z)$$ be a polynomial and $$m,n\in\mathbb{N}$$, $$t\in \mathbb{N}\cup\{0\}$$, $$a\in\mathbb{C}\backslash\{0\}$$. Suppose that f is a meromorphic solution of the differential equation

$$\bigl(f'\bigr)^{n}=q(z)p(f) \bigl(f'-a\bigr)^{t}(f-z)^{m}.$$
(1)

Then f does not have wandering domains.

### Theorem B

Let $$q(z)$$ be a rational function, $$p(z)$$, $$Q(z)$$ be two polynomials and $$m,n\in\mathbb{N}$$. Suppose that f is a meromorphic function of finite order satisfying the differential equation

$$\bigl(f'\bigr)^{n}=q(z)p(f)e^{Q(z)}(f-z)^{m}.$$
(2)

Then f does not have wandering domains.

We also assume that the readers are familiar with basic Nevanlinna’s value distribution theory and its standard notations such as $$m(r,f)$$, $$N(r,f)$$, $$T(r,f)$$. $$S(r, f)$$ denotes any term satisfying $$S(r, f)=o(T(r, f))$$ as $$r\rightarrow\infty$$ outside some exceptional set of finite measure; see [14, 15] as references for Nevanlinna theory. Also, we use the notations $$\sigma(f)$$, $$\lambda(f)$$ to denote the order of f, exponent of convergence of zeros of f, respectively, as usual. Halburd and Korhonen [16, 17], Chiang and Feng  established a version of Nevanlinna theory based on difference operators independently. After that many difference equations analogous to differential equations have been studied.

In this note, we study the value distribution and dynamical properties of the solutions of difference equations which are analogous to differential equations (1) and (2). We use $$f_{c}$$ to denote the shift $$f(z+c)$$ of $$f(z)$$, where c is a nonzero constant.

A general form difference equations analogue of differential equation (1) is as follows:

$$(f_{c})^{n}=P(z,f) (f_{c}-a)^{t},$$
(3)

where a is a nonzero constant, $$P(z,f)$$ is a polynomial in f with degree p, the coefficients of $$P(z,f)$$ are small functions of f.

We obtain the following results with regard to equation (3).

### Theorem 1

Let $$f(z)$$ be a finite order meromorphic solution of (3), then $$\max\{t,n\}\geq p\geq n-t$$.

### Theorem 2

If equation (3) admits a finite order meromorphic solution f, then f is rational.

The following example shows that there are rational solutions satisfying equation (3).

### Example

Suppose that $$n=t$$, $$c=1$$, then $$f=a+\frac{1}{z}$$ satisfying equation (3), where $$P(z,f)= (\frac{az^{2}+(a+1)z}{az+1} )^{n}f^{n}$$.

By Sullivan’s no existence of wandering domains for rational function, we obtain the following dynamical property for the finite order solutions of (3), which is similar to the dynamical property of solutions of equation (1).

### Corollary 1

The finite order meromorphic solutions of (3) do not have wandering domains.

We also consider the difference equation analogous to differential equation (2). Its general form is as follows:

$$f(z+c)^{n}=q(z)e^{Q(z)}P(z,f),$$
(4)

where $$q(z)$$, $$Q(z)$$ are nonconstant polynomials and $$P(z,f)$$ is a polynomial in f with polynomials as coefficients. Replace $$f(z+c)$$ by $$f(z)$$ in (4), the equation can be written as

$$f(z)^{n}=q(z)e^{Q(z)}P\bigl(z,f(z-c)\bigr).$$
(5)

Without loss of generality, we only consider that (6) below is enough. Firstly, we study the growth of the finite order solutions of it.

### Theorem 3

Let $$q(z)$$, $$Q(z)$$ be nonconstant polynomials and $$P(z,f)$$ be a polynomial in f with degree p, the coefficients of $$P(z,f)$$ are also polynomials. If $$n>p$$ and f is a finite order entire solution of the difference equation

$$f(z)^{n}=q(z)e^{Q(z)}P\bigl(z,f(z+c)\bigr),$$
(6)

then $$\sigma(f)=\deg Q(z)$$.

In the following, we shall show the properties of the solutions of the following difference equation (7), which is a special case of (6).

### Theorem 4

Let $$m,n\geq2$$ be integers and $$n>m$$, $$m|n$$, let $$c\in\mathbb{C}\backslash\{0\}$$, and let $$q(z)$$, $$Q(z)$$ be polynomials such that $$Q(z)$$ is not a constant and $$q(z)\not\equiv0$$. If f is a finite order entire solution of the difference equation

$$f(z)^{n}=q(z)e^{Q(z)}f(z+c)^{m},$$
(7)

then the solution f is of the form $$f=e^{\alpha(z)}$$, where $$\alpha(z)$$ is a nonconstant polynomial.

Some ideas of this theorem are from . Recall the following theorem about the nonexistence of wandering domains for a class of entire functions, which is due to Baker .

### Theorem C

Let P and Q be polynomials with Q nonconstant, then

$$f(z)=\int_{0}^{z} P(t)e^{Q(t)}\, dt$$
(8)

has no wandering domains. Particularly, the form $$f=P_{1}e^{Q_{1}}$$ for polynomials $$P_{1}$$, $$Q_{1}$$ is a special case of (8).

Combining Theorem 4 and Theorem C, obviously, we have the corollary below.

### Corollary 2

Under the hypothesis of Theorem  4, every finite order entire solution of (7) has no wandering domains.

## Preliminary lemmas

The following lemma introduced by Laine and Yang  is an analogue of findings of Mohonko and Mohonko  on differential equations.

### Lemma 1

()

Let $$w(z)$$ be a transcendental meromorphic solution of finite order of the difference equation

$$P(z,w)=0,$$

where $$P(z,w)$$ is a difference polynomial in $$w(z)$$ and its shift. If $$P(z,a)\neq0$$ for a slowly moving target function a, that is, $$T(r,a)=S(r,w)$$, then

$$m \biggl(r,\frac{1}{w-a} \biggr)=S(r,w).$$

### Lemma 2

()

Let $$f(z)$$ be a meromorphic function with order $$\sigma=\sigma(f)$$, $$\sigma<+\infty$$, and let c be a fixed nonzero complex number, then for each $$\varepsilon > 0$$, we have

$$T\bigl(r,f(z + c)\bigr)=T (r, f)+O\bigl(r^{\sigma-1+\varepsilon}\bigr)+O(\log r).$$

The following result is due to Valiron and Mohonko, one can find the proof in Laine’s book [22, p.29].

### Lemma 3

Let f be a meromorphic function. Then, for all irreducible rational functions in f,

$$R\bigl(z,f(z)\bigr)=\frac{\sum_{j=0}^{p} a_{j}(z)f(z)^{j}}{\sum_{j=0}^{q}b_{j}(z)f(z)^{j}}$$
(9)

with meromorphic coefficients $$a_{j}(z)$$, $$b_{j}(z)$$, the characteristic function of $$R(z,f(z))$$ satisfies

$$T\bigl(r,R\bigl(z,f(z)\bigr)\bigr)=dT(r,f)+O\bigl(\Psi(r)\bigr),$$
(10)

where $$d=\max\{p,q\}$$ and

$$\Psi(r)=\max_{i,j}\bigl\{ T(r,a_{j}),T(r,b_{j}) \bigr\} .$$

In the particular case when

\begin{aligned}& T(r,a_{j})=S(r,f),\quad j=0,1,\ldots,p, \\& T(r,b_{j})=S(r,f),\quad j=0,1,\ldots,q, \end{aligned}

we have $$T(r,R(z,f(z)))=dT(r,f)+S(r,f)$$.

## Proof of theorems

### Proof of Theorem 1

By the assumption of $$\sigma(f)<\infty$$, Lemma 3 and (3), we have

$$T\bigl(r, P(z,f)\bigr)\leq T \biggl(r, \frac{f_{c}^{n}}{(f_{c}-a)^{t}} \biggr) = \max\{t,n\}T(r,f_{c})+S(r,f_{c}).$$
(11)

Then, by Lemma 2 and Lemma 3, we get that

$$p T(r,f)\leq\max\{t,n\}T(r,f)+S(r,f).$$
(12)

Thus, we obtain $$\max\{t,n\}\geq p$$.

On the other hand, by (3), Lemma 2 and Lemma 3, we have

\begin{aligned} nT(r,f_{c}) =&T\bigl(r,(f_{c}-a)^{t}P(z,f) \bigr) \\ \leq& tT(r,f_{c})+pT(r,f)+S(r,f) \\ =&(t+p)T(r,f)+S(r,f). \end{aligned}
(13)

Then we have $$p\geq n-t$$. □

### Proof of Theorem 2

Suppose that f is a transcendental meromorphic function of (3) with finite order. Set $$Q(z,f_{c})=f_{c}^{n}-P(z,f)(f_{c}-a)^{t}$$. Since $$Q(z,a)=a^{n}\not\equiv0$$, by Lemmas 1, 2 and (3), we obtain that

$$m \biggl(r, \frac{1}{f_{c}-a} \biggr)=S(r,f_{c})=S(r,f).$$
(14)

Additionally, it follows from (3) that a is a Picard value of $$f_{c}$$. By the first main theorem of Nevanlinna theory, this implies that

$$T(r,f_{c})=T(r,f_{c}-a)+O(1) =T \biggl(r,\frac{1}{f_{c}-a} \biggr)+O(1)=S(r,f_{c}),$$
(15)

which is a contradiction. Thus, every finite order meromorphic solution of (3) is rational. □

### Proof of Theorem 3

Suppose that f is an entire solution of (6) with $$\sigma(f)=\sigma<\infty$$. By Lemma 2 and (6), we deduce that

\begin{aligned} nT(r,f) =&T\bigl(r,q(z)e^{Q(z)}P\bigl(z,f(z+c)\bigr)\bigr) \\ \leq& T\bigl(r,e^{Q(z)}\bigr)+T\bigl(r,P\bigl(z,f(z+c)\bigr)\bigr)+O( \log r) \\ \leq& T\bigl(r,e^{Q(z)}\bigr)+pT\bigl(r,f(z+c)\bigr)+O(\log r) \\ \leq& T\bigl(r,e^{Q(z)}\bigr)+pT(r,f)+O\bigl(r^{\sigma-1+\varepsilon}\bigr)+O( \log r) \end{aligned}
(16)

that is,

$$(n-p)T(r,f)\leq T\bigl(r,e^{Q(z)}\bigr)+O\bigl(r^{\sigma-1+\varepsilon}\bigr)+O( \log r).$$

Since $$n>p$$, this shows $$\sigma(f)\leq\deg(Q)$$. On the other hand, by equation (6), Lemma 2 and the first main theorem of Nevanlinna theory, we obtain

\begin{aligned} T\bigl(r,e^{Q(z)}\bigr) \leq& T \biggl(r,\frac{f^{n}}{q(z)P(z,f(z+c))} \biggr) \\ \leq& T\bigl(r,f^{n}\bigr)+T\bigl(r,q(z)P\bigl(z,f(z+c)\bigr) \bigr)+O(1) \\ \leq&nT(r,f)+pT\bigl(r,f(z+c)\bigr)+O(\log r) \\ \leq& (n+p)T(r,f)+O\bigl(r^{\sigma-1+\varepsilon}\bigr)+O(\log r) , \end{aligned}
(17)

which shows that $$\deg(Q)\leq\sigma(f)$$. Hence $$\sigma(f)=\deg(Q)$$. □

### Proof of Theorem 4

By the Hadamard factorization theorem, $$f(z)$$ can be written as

$$f(z)=T(z)e^{\alpha(z)},$$
(18)

where $$T(z)$$ and $$f(z)$$ have the same zeros, if any, and $$\alpha(z)$$ is a polynomial.

Substituting (18) into (7), we obtain

$$\frac{T^{n}(z)}{q(z)T(z+c)^{m}}=e^{Q(z)+m\alpha(z+c)-n\alpha(z)}.$$
(19)

If $$T(z)$$ has infinitely many zeros, then there exists a zero $$z_{0}$$ of $$T(z)$$ such that none of the points $$z_{l}=z_{0}+lc$$, $$l\in \mathbb{N}\cup\{0\}$$, is a zero of $$q(z)$$. If $$z_{0}$$ is of multiplicity $$k\geq1$$, then by (19), $$z_{0}+c$$ is a zero of $$T(z)$$ of multiplicity of $$nk/m$$. Continuing inductively, we deduce that $$z_{l}$$ is a zero of $$T(z)$$ of multiplicity $$(n/m)^{l}k$$. Since $$n/m\geq2$$, the sequence of zeros (counting multiplicities) is of infinite convergence exponent. This is a contradiction. Hence $$T(z)$$ has finite zeros, that is, is a polynomial. So, $$\lambda(f)=0<\sigma(f)=\deg Q(z)$$.

Since $$T(z)$$ is a polynomial, observing the both sides of (19), we know that $$\frac{T^{n}(z)}{q(z)T(z+c)^{m}}$$ must be a constant. Without loss of generality, we set $$T^{n}(z)=q(z)T(z+c)^{m}$$. If $$T(z+c)$$ has a zero that is not a zero of $$T(z)$$, we get a contradiction immediately. Hence every zero of $$T(z+c)$$ must be a zero of $$T(z)$$, but maybe with different multiplicity. In other words, every distinct zero of $$T(z)$$ must be a zero of $$T(z-c)$$. Since $$c\neq0$$ and $$n>m$$, $$m|n$$, by continuing inductively, $$T(z)$$ has infinitely many zeros, this is a contradiction. Hence $$T(z)$$ cannot have any zeros, in which case $$T(z)$$ and $$q(z)$$ are constants. By (18), f is of the form $$f=e^{\alpha(z)}$$, where $$\alpha(z)$$ is a nonconstant polynomial. □

## References

1. 1.

Bergweiler, W: Iteration of meromorphic functions. Bull. Am. Math. Soc. (N.S.) 29, 151-188 (1993)

2. 2.

Sullivan, D: Quasiconformal homeomorphisms and dynamics I: solution of the Fatou-Julia problem on wandering domains. Ann. Math. 122, 401-418 (1985)

3. 3.

Baker, IN: An entire function which has wandering domains. J. Aust. Math. Soc. A 22, 173-176 (1976)

4. 4.

Baker, IN: Wandering domains in the iteration of entire functions. Proc. Lond. Math. Soc. (3) 49, 563-576 (1984)

5. 5.

Baker, IN: Some entire functions with multiply-connected wandering domains. Ergod. Theory Dyn. Syst. 5, 163-169 (1985)

6. 6.

Eremenko, A, Lyubich, M: Examples of entire functions with pathological dynamics. J. Lond. Math. Soc. 36, 454-468 (1987)

7. 7.

Baker, IN, Kotus, J, Lü, YN: Iterates of meromorphic functions IV: critically finite functions. Results Math. 22, 651-656 (1992)

8. 8.

Baker, IN, Singh, A: Wandering domains in the iteration of compositions of entire functions. Ann. Acad. Sci. Fenn., Ser. A 1 Math. 20, 149-153 (1995)

9. 9.

Bergweiler, W: Newton’s method and a class of meromorphic functions without wandering domains. Ergod. Theory Dyn. Syst. 13, 231-247 (1993)

10. 10.

Bergweiler, W, Haruta, M, Kriete, H, Meier, HG, Terglane, N: On the limit functions of iterates in wandering domains. Ann. Acad. Sci. Fenn., Ser. A 1 Math. 18, 369-375 (1993)

11. 11.

Bergweiler, W, Terglane, N: Weakly repelling fixpoints and the connectivity of wandering domains. Trans. Am. Math. Soc. 348, 1-12 (1996)

12. 12.

Bergweiler, W, Wang, Y: On the dynamics of composite entire functions. Ark. Mat. 36, 31-39 (1998)

13. 13.

Wang, YF: Wandering domains in the dynamics of certain meromorphic functions. Bull. Aust. Math. Soc. 59, 99-104 (1999)

14. 14.

Hayman, W: Meromorphic Functions. Clarendon, Oxford (1964)

15. 15.

Yi, HX, Yang, CC: Uniqueness Theory of Meromorphic Functions. Science Press, Beijing (1995) (in Chinese)

16. 16.

Halburd, RG, Korhonen, R: Difference analogue of the lemma on the logarithmic derivative with applications to difference equations. J. Math. Anal. Appl. 314, 477-487 (2006)

17. 17.

Halburd, RG, Korhonen, R: Nevanlinna theory for the difference operator. Ann. Acad. Sci. Fenn., Math. 94, 463-478 (2006)

18. 18.

Chiang, YM, Feng, SJ: On the Nevanlinna characteristic of $$f(z+\eta)$$ and difference equations in the complex plane. Ramanujan J. 16, 105-129 (2008)

19. 19.

Wen, ZT, Heittokangas, J, Laine, I: Exponential polynomials as solutions of certain nonlinear difference equations. Acta Math. Sin. 28, 1295-1306 (2012)

20. 20.

Laine, I, Yang, CC: Clunie theorems for difference and q-difference polynomials. J. Lond. Math. Soc. 76(3), 556-566 (2007)

21. 21.

Mohonko, AZ, Mohonko, VD: Estimates of the Nevanlinna characteristics of certain classes of meromorphic functions, and their applications to differential equations. Sib. Mat. Zh. 15, 1305-1322 (1974)

22. 22.

Laine, I: Nevanlinna Theory and Complex Differential Equations. de Gruyter, Berlin (1993)

## Acknowledgements

The author is very grateful to the editor and the referees for their insightful and constructive comments and suggestions, which have led to an improved version of this paper. This work was supported by the Tianyuan Fund for Mathematics of NSFC (No. 11426035).

## Author information

Authors

### Corresponding author

Correspondence to Guowei Zhang.

### Competing interests

The author declares that there is no conflict of interests regarding the publication of this article.

### Author’s contributions

The author carried out the proof and conceived of the study. The author read and approved the final manuscript.

## Rights and permissions

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Reprints and Permissions 