 Research
 Open Access
 Published:
Some results on a certain type of difference equation originated from difference Painlevé I equation
Advances in Difference Equations volume 2015, Article number: 276 (2015)
Abstract
In this paper, by using Nevanlinna value distribution theory, we consider a certain type of difference equation, which originates with the difference Painlevé I equation, \(f(z+1)+f(z1)=\frac{A(z)}{f(z)}+C(z)\), where \(A(z)\), \(C(z)\) are small meromorphic functions relative to \(f(z)\), and we obtain the existence and the forms of rational solutions. We also discuss the properties of the Borel exceptional value, zeros, poles, and fixed points of finite order transcendental meromorphic solutions.
Introduction
In this paper, a meromorphic function means meromorphic in the whole complex plane \(\mathbb{C}\). We assume that the reader is familiar with the standard symbols and fundamental results of Nevanlinna theory; see e.g. [1, 2]. For a meromorphic function \(f(z)\), let \(\sigma(f)\) be the order of growth of \(f(z)\). Further, let \(\lambda(f)\) (resp. \(\lambda(1/f)\)) be the exponent of convergence of the zeros (resp. poles) of \(f(z)\). We also use the notation \(\tau(f)\) to denote the exponent of convergence of fixed points of \(f(z)\), which is defined by
Moreover, we use the notation \(\deg_{f}R(z, f)\) for the degree of a rational function \(R(z, f)\) with respect to \(f(z)\), where \(R(z, f)\) is rational in both of its arguments with small functions relative to \(f(z)\) as its coefficients. In what follows \(\mathfrak{F}(f)\) denotes the field of small functions relative to \(f(z)\).
Halburd and Korhonen [3] used ideas related to the singularity confinement test [4] in its proof, and considered a difference equation of type
The solutions of (1.1) are called admissible. If (1.1) has at least one admissible meromorphic solution of finite order, they both showed that either \(f(z)\) satisfies a difference Riccati equation, or (1.1) can be transformed into a difference Painlevé or a linear equation. Now, we recall their result.
Theorem 1.A
(Theorem 1.1 of [3])
If the equation
where \(R(z,f)\) is rational in \(f(z)\) and meromorphic in z, has an admissible meromorphic solution of finite order, then either \(f(z)\) satisfies a difference Riccati equation,
where \(p, q\in\mathfrak{F}(f)\), or (1.1) can be transformed by a linear change in \(f(z)\) into one of the following equations:
where \(\pi_{k}, \kappa_{k} \in\mathfrak{F}(f)\) are arbitrary finite order periodic functions with period k.
Recently, due to the difference analog of the lemma on the logarithmic derivative given by Halburd and Korhonen in [5], and Chiang and Feng in [6] independently, many authors focused their interest on the complex difference analogs of Nevanlinna theory and complex difference equations (see [5–13]). But most of them mainly dealt with the growth of order of meromorphic solutions of difference equations (see e.g. [6, 9, 13]).
Though there are few papers on the existence of finite order meromorphic solution of difference equations (see [3, 9, 11, 12]), there is only one paper concerning with the existence of rational solution of difference Painlevé I equation (see [9]). In this paper, we will discuss the existence and forms of rational solutions, and investigate the properties on finite order transcendental meromorphic solutions of a certain type of difference equation originating with the difference Painlevé I equation.
The existence and forms of rational solutions
Chen and Shon considered the difference Painlevé I equation
and obtained the following result.
Theorem 2.A
(Theorem 4 of [9])
Let a, b, c be constants, where a, b are not both equal to zero. Then

(i)
if \(a\neq0\), then (2.1) has no rational solution;

(ii)
if \(a=0\), and \(b\neq0\), then (2.1) has a nonzero constant solution \(f(z)=A\), where A satisfies
$$ 2A^{2} cAb=0. $$
The other rational solution \(f(z)\) satisfies \(f(z)=\frac{P(z)}{Q(z)}+A\), where \(P(z)\) and \(Q(z)\) are relatively prime polynomials and satisfy \(\deg P <\deg Q\).
What will happen if we consider a certain type of difference equation originating with the difference Painlevé I equation (2.1)? Here, we obtain the following result.
Theorem 2.1
Let C be a nonzero constant, and \(A(z)=\frac {m(z)}{n(z)}\) be an irreducible rational function, where \(m(z)\) and \(n(z)\) are polynomials with \(\deg m(z)=m\) and \(\deg n(z)=n\).

(i)
Suppose that \(m\geq n\) and \(mn\) is an even number or zero. If the difference equation
$$ f(z+1)+f(z1)=\frac{A(z)}{f(z)}+C $$(2.2)has an irreducible rational solution \(f(z)=\frac{P(z)}{Q(z)}\), where \(P(z)\) and \(Q(z)\) are polynomials with \(\deg P(z)=p\) and \(\deg Q(z)=q\), then
$$ pq=\frac{mn}{2}. $$ 
(ii)
Suppose that \(m< n\). If the difference equation (2.2) has an irreducible rational solution \(f(z)=\frac{P(z)}{Q(z)}\), then
$$ qp=nm\geq1 \quad \textit{or} \quad qp=0. $$ 
(iii)
Suppose that \(m>n\) and \(mn\) is an odd number.
Then the difference equation (2.2) has no rational solution.
Remark 2.1
We know that (1.2), (1.3), and (1.4) are difference Painlevé I equations. Why do we only consider the existence and forms of rational solutions of (1.3)? We cannot know the limits of the type \(0\cdot\infty\) when we investigate (1.2) and (1.4) by using the same method below.
Example 2.1, Example 2.2, and Example 2.3 show that the difference equations have rational solutions satisfying Theorem 2.1(i), and Example 2.4 and Example 2.5 show that the difference equations have rational solutions satisfying Theorem 2.1(ii).
Example 2.1
The difference equation
has a rational solution \(f(z)=z\), where \(m=2\), \(n=0\), \(p=1\), \(q=0\), and \(pq=1=\frac{mn}{2}\).
Example 2.2
The difference equation
has a rational solution \(f(z)=z+\frac{1}{z}\), where \(m=5\), \(n=3\), \(p=2\), \(q=1\), and \(pq=1=\frac{mn}{2}\).
Example 2.3
The difference equation
has a rational solution \(f(z)=\frac{z+1}{z1}\), where \(C\neq2\), \(m=n=3\), \(p=q=1\), and \(pq=0=\frac{mn}{2}\).
Example 2.4
The difference equation
has a rational solution \(f(z)=\frac{1}{z}\), where \(C\neq0\), \(m=2\), \(n=3\), \(p=0\), \(q=1\), and \(qp=1=nm\).
Example 2.5
The difference equation
has a rational solution \(f(z)=\frac{z+1}{z1}\), where \(m=1\), \(n=2\), \(p=q=1\), and \(qp=0\).
Proof of Theorem 2.1
Suppose that \(f(z)=\frac{P(z)}{Q(z)}\) is a rational solution of (2.2). Then \(f(z)\) can be written as
where \(c_{j \lambda_{j}}\ (\neq0), c_{j\lambda_{j 1}},\ldots, c_{j1}\) (\(j=1,2,\ldots,k\)), and \(B_{0}, B_{1}, \ldots,B_{\nu}\) are constants, \(z_{j}\) (\(j=1,2,\ldots,k\)) are poles of \(f(z)\) with multiplicities \(\lambda_{j}\), respectively.
(i) Suppose that \(m>n\) and \(mn\) is an even number. We conclude from (2.2) and (2.3) that
If \(\deg P(z)=p< q=\deg Q(z)\), then \(\frac{P(z)}{Q(z)}\rightarrow0\), \(\frac{P(z+1)}{Q(z+1)}\rightarrow0\), and \(\frac{P(z1)}{Q(z1)}\rightarrow0\) as \(z\rightarrow\infty\), while \(\frac{m(z)}{n(z)}\rightarrow\infty\) as \(z\rightarrow\infty\). Thus, (2.4) is a contradiction.
If \(\deg P(z)=p=q=\deg Q(z)\), then \(\frac{P(z)}{Q(z)}\rightarrow a\), \(\frac{P(z+1)}{Q(z+1)}\rightarrow a\), and \(\frac{P(z1)}{Q(z1)}\rightarrow a\) as \(z\rightarrow\infty\), where a is a nonzero constant, while \(\frac{m(z)}{n(z)}\rightarrow \infty\) as \(z\rightarrow\infty\). Thus, (2.4) is also a contradiction.
If \(\deg P(z)=p>q=\deg Q(z)\), then we can assume that \(B_{\mu}\neq 0\) and \(B_{j} \equiv0\) (\(1\leq\mu\leq\nu\), \(\mu< j\leq\nu\)). We obtain, by (2.3), for all sufficiently large z,
where A is a nonzero constant. Therefore, we obtain from (2.2), for all sufficiently large z,
Thus, we deduce from (2.5) that
Now we suppose that \(m=n\). So, for all sufficiently large z,
where \(A^{*}\) is a nonzero constant.
If \(\deg P(z)=p< q=\deg Q(z)\), then using the same method as above, we get a contradiction.
If \(\deg P(z)=p>q=\deg Q(z)\), using the same method as above, we deduce that, for all sufficiently large z,
This is a contradiction. Hence,
From the above, if \(m\geq n\) and \(mn\) is an even number or zero, \(f(z)=\frac{P(z)}{Q(z)}\) is a rational solution of (2.2), the degree of \(P(z)\) and \(Q(z)\) satisfy
(ii) Suppose that \(m< n\). Then, for all sufficiently large z, we get
If \(\deg P(z)=p>q=\deg Q(z)\), then we can assume that \(B_{\mu}\neq 0\) and \(B_{j} \equiv0\) (\(1\leq\mu\leq\nu\), \(\mu< j\leq\nu\)). Using the same method as above, we deduce that, for all sufficiently large z,
This is a contradiction.
If \(\deg P(z)=p< q=\deg Q(z)\), we conclude from \(f(z)=\frac{P(z)}{Q(z)}\) and (2.2) that
So, (2.7) yields
Now, we compare the degree of three terms in (2.7). If \(m+2p+q=m+3q\), then \(qp=\frac{nm}{2}\). When \(nm\) is an odd number, it is a contradiction obviously. When \(nm\) is an even number, we conclude that
This shows that there is only one term \(C n(z)P(z)Q(z+1)Q(z1)\) in (2.7) which has the highest degree. This is also a contradiction. If \(m+2p+q=n+p+2q\), then \(qp=0\). This is a contradiction since \(p< q\). If \(m+3q=n+p+2q\), then \(qp=nm\geq1\) and \((m+3q)(n+2p+q)=qp\geq 1\).
If \(\deg P(z)=p=q=\deg Q(z)\), then we may assume that \(B_{0} \neq0\) and \(B_{j} =0\) (\(j=1,2,\ldots,\nu\)). Thus, for all sufficiently large z, we have
Therefore we obtain from (2.2) and (2.6), for all sufficiently large z,
This means that \(p=q\) is possible if
Thus, if \(n< m\), then the degrees of \(P(z)\) and \(Q(z)\) satisfy
(iii) Suppose that \(n>m\) and \(nm\) is an odd number, and that (2.2) has a rational solution \(f(z)=\frac{P(z)}{Q(z)}\). By the proof in (i), we also get \(pq=\frac{mn}{2}\). This is a contradiction. Thus, (2.2) has no rational solution. The proof of Theorem 2.1 is completed. □
Value distribution of finite order meromorphic solutions
Let \(f(z)\) be an admissible meromorphic solution of the equation
where \(A(z),C(z)\in\mathfrak{F}(f)\). Suppose that there exist \(k\geq 1\) and \(\alpha<1\) such that
By the method used in Theorem 2.5 of [3], we see that \(f(z)\) is of infinite order of growth.
On the other hand, using similar arguments to those shown in Theorem 3 of [7] and Proposition 8 of [12], if (1.1) admits a finite order nonrational meromorphic solution, then \(\deg _{f} R(z, f)\leq 2\). The proofs rely heavily on the ValironMohon’ko lemma, which states that
Now recalling the fact that
holds for all \(\varepsilon>0\), if r is sufficiently large, we conclude that
This implies that \(f(z)\) is of infinite order unless the degree of \(R(z,f)\) is at most two.
The above facts imply that it is possible that (3.1) has finite order transcendental meromorphic solutions. Thus, we consider (3.1) and obtain the following.
Theorem 3.1
Suppose that the equation
where \(A(z),C(z)\in\mathfrak{F}(f)\), admits a finite order transcendental meromorphic solution \(f(z)\). Then:

(i)
\(\lambda(f)=\lambda (\frac{1}{f} )=\sigma(f)\).

(ii)
\(f(z)\) has no Borel exceptional value.

(iii)
If \(A(z)\not\equiv2z^{2} z C(z)\), then the exponent of convergence of fixed points of \(f(z)\) satisfies \(\tau(f)=\sigma(f)\).
We need some lemmas to prove Theorem 3.1.
Lemma 3.1
(Theorem 3.2 of [5])
Let \(f(z)\) be a nonconstant finite order meromorphic solution of
where \(P(z, f(z))\) is a difference polynomial in \(f(z)\). If \(P(z, a)\not\equiv0\) for a meromorphic function \(a\in\mathfrak{F}(f)\), then
Lemma 3.2
(Theorem 2.3 of [13])
Let \(f(z)\) be a transcendental meromorphic solution of finite order σ of a difference equation of the form
where \(U(z,f)\), \(P(z,f)\), and \(Q(z,f)\) are difference polynomials with all coefficients \(\alpha_{\lambda}(z)\) small functions as understood in the usual Nevanlinna theory, i.e. \(T(r, \alpha_{\lambda})=O(r^{\sigma1+\varepsilon})+S(r, f)\). The maximum total degree is \(\deg_{f} U(z,f)=n\) in \(f(z)\) and its shifts, and \(\deg_{f} Q(z,f)\leq n\). Moreover, we assume that \(U(z,f)\) contains just one term of maximal total degree in \(f(z)\) and its shifts. Then, for each \(\varepsilon>0\),
possibly outside of an exceptional set of finite logarithmic measure.
Lemma 3.3
(Theorem 2.2 of [6])
Let \(f(z)\) be a meromorphic function with exponent of convergence of poles \(\lambda(\frac{1}{f})=\lambda<+\infty\), \(\eta\neq0\) be fixed, then, for each \(\varepsilon>0\),
Lemma 3.4
(Theorem 1.51 of [14])
Suppose that \(f_{j}(z)\) (\(j=1,2,\ldots,n\)) (\(n\geq 2\)) are meromorphic functions, and \(g_{j}(z)\) (\(j=1, 2, \ldots, n\)) are entire functions satisfying the following conditions.

(1)
\(\sum_{j=1}^{n} f_{j}(z) e^{g_{j}(z)}=0\).

(2)
\(g_{j}(z)g_{k}(z)\) are not constants for \(1\leq j< k \leq n\).

(3)
For \(1\leq j \leq n\), \(1\leq h < k\leq n\),
$$ T(r, f_{j})=o \bigl\{ T\bigl(r, e^{g_{h}g_{k}}\bigr) \bigr\} \quad (r \rightarrow +\infty, r\notin E), $$where \(E\subset(1, +\infty)\) is of finite linear measure or finite logarithmic measure.
Then \(f_{j}(z)\equiv0\) (\(j=1,2,\ldots,n\)).
Proof of Theorem 3.1
(i) Suppose that \(f(z)\) is a finite order transcendental meromorphic solution of (3.1). We obtain from (3.1)
We notice that
Thus we deduce from Lemma 3.1 and (3.2) that
Therefore,
and so \(\lambda(f)=\sigma(f)\).
Now we prove \(\lambda (\frac{1}{f} )=\sigma(f)\). By (3.1), we have
Set \(\sigma(f)=\sigma<\infty\). Then, by applying Lemma 3.2 to (3.3), we obtain
possibly outside of an exceptional set of finite logarithmic measure.
On the other hand, we conclude from the ValironMohon’ko lemma and (3.1) that
Hence, we deduce from Lemma 3.3, (3.4), (3.5), and the fact \(\lambda=\lambda (\frac{1}{f} )\leq \sigma(f)=\sigma<\infty\) that
possibly outside of an exceptional set of finite logarithmic measure. Therefore, \(\lambda (\frac{1}{f} )= \sigma(f)\).
(ii) Suppose that \(f(z)\) is a finite order transcendental meromorphic solution of (3.1). If the conclusion does not hold, then there exists a finite value b such that \(\lambda(fb)<\sigma(fb)=\sigma(f)<\infty\). This shows that there exists \(\sigma\in\mathbb{N}\) such that \(\sigma(fb)=\sigma(f)=\sigma<\infty\). Thus, we can write \(f(z)b\) in the form
where \(d\neq0\) is a constant, \(h(z)\) is a meromorphic function satisfying
We further conclude from (3.6) that
where
Now substituting (3.6) and (3.8) into (3.1), we conclude that
We now apply Lemma 3.4 to (3.10) to obtain
This is impossible since \(h(z)\), \(h(z+1)\), \(h(z1)\), \(h_{+1}(z)\), and \(h_{1}(z)\) satisfy (3.6)(3.9). Otherwise, if (3.11) holds, then we deduce from (3.1) and (3.8) that
This is a contradiction since \(f(z)\) is transcendental and \(A(z), C(z)\in\mathfrak{F}(f)\).
Hence, together with the result of (i), \(f(z)\) has no Borel exceptional value.
(iii) Suppose that \(f(z)\) is a finite order transcendental meromorphic solution of (3.1). Set
Then \(g(z)\) is a finite order transcendental meromorphic function with
We substitute \(f(z)=g(z)+z\) into (3.1) and obtain
Since \(P_{2} (z, 0)=2z^{2} z C(z)A(z)\not\equiv0\), we apply Lemma 3.1 to (3.12) to obtain
Therefore \(\tau(f)=\lambda(g)=\sigma(f)\). The proof of Theorem 3.1 is completed. □
References
 1.
Hayman, WK: Meromorphic Functions. Clarendon, Oxford (1964)
 2.
Yang, L: Value Distribution Theory and New Research. Science Press, Beijing (1982) (in Chinese)
 3.
Halburd, RG, Korhonen, RJ: Finiteorder meromorphic solutions and the discrete Painlevé equations. Proc. Lond. Math. Soc. 94(2), 443474 (2007)
 4.
Grammaticos, B, Ramani, A, Papageorgiou, V: Do integrable mappings have the Painlevé property? Phys. Rev. Lett. 67(14), 18251828 (1991)
 5.
Halburd, RG, Korhonen, RJ: Difference analogue of the lemma on the logarithmic derivative with applications to difference equations. J. Math. Anal. Appl. 314(2), 477487 (2006)
 6.
Chiang, YM, Feng, SJ: On the Nevanlinna characteristic of \(f(z+\eta)\) and difference equations in the complex plane. Ramanujan J. 16(1), 105129 (2008)
 7.
Ablowitz, MJ, Halburd, R, Herbst, B: On the extension of Painlevé property to difference equations. Nonlinearity 13(3), 889905 (2000)
 8.
Bergweiler, W, Langley, JK: Zeros of differences of meromorphic functions. Math. Proc. Camb. Philos. Soc. 142(1), 133147 (2007)
 9.
Chen, ZX, Shon, KH: Value distribution of meromorphic solutions of certain difference Painlevé equations. J. Math. Anal. Appl. 364(2), 556566 (2010)
 10.
Halburd, RG, Korhonen, RJ: Nevanlinna theory for the difference operator. Ann. Acad. Sci. Fenn., Math. 31(2), 463478 (2006)
 11.
Halburd, RG, Korhonen, RJ: Existence of finiteorder meromorphic solutions as a detector of integrability in difference equations. Physica D 218(2), 191203 (2006)
 12.
Heittokangas, J, Korhonen, RJ, Laine, I, Rieppo, J, Tohge, K: Complex difference equations of Malmquist type. Comput. Methods Funct. Theory 1(1), 2739 (2001)
 13.
Laine, I, Yang, CC: Clunie theorems for difference and qdifference polynomials. J. Lond. Math. Soc. 76(3), 556566 (2007)
 14.
Yang, CC, Yi, HX: Uniqueness Theory of Meromorphic Functions. Kluwer Academic, Dordrecht (2003)
Acknowledgements
Our research is supported by the Guangdong National Natural Science Foundation (No. 2014A030313422) and also partly supported by the National Natural Science Foundation of China (No. 11171119).
Author information
Additional information
Competing interests
The authors declare that they have no competing interests regarding the publication of this paper.
Authors’ contributions
Both authors drafted the manuscript and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Li, Q., Huang, Z. Some results on a certain type of difference equation originated from difference Painlevé I equation. Adv Differ Equ 2015, 276 (2015). https://doi.org/10.1186/s1366201506180
Received:
Accepted:
Published:
MSC
 30D35
 39B32
 34M05
Keywords
 difference equation
 meromorphic solution
 rational solution