- Research
- Open access
- Published:
Uniqueness of meromorphic solutions sharing values with a meromorphic function to \(w(z + 1)w(z - 1) = h(z)w^{m}(z)\)
Advances in Difference Equations volume 2019, Article number: 372 (2019)
Abstract
For the nonlinear difference equations of the form
where \(h(z)\) is a nonzero rational function and \(m = \pm 2, \pm 1,0\), we show that its transcendental meromorphic solution is mainly determined by its zeros, 1-value points and poles except for some special cases. Examples for the sharpness of these results are given.
1 Introduction
For a given meromorphic function \(f(z)\), we use the standard notation of the Nevanlinna theory (see e.g. [2, 4, 10]), such as \(T(r,f),m(r,f),N(r,f),\rho (f),\lambda (f)\) and \(\lambda (1/f)\). And we say that a meromorphic function \(a(z)\) is a small function of \(f(z)\), if \(T(r,a) = o(T(r,f)) = S(r,f)\). Denote the set of all small functions of \(f(z)\) by \(S_{f}\).
Let \(f(z)\) and \(g(z)\) be two meromorphic functions, \(a \in S_{f} \cap S_{g}\). We say \(f(z)\) and \(g(z)\) share a IM (CM), if \(f(z) - a\) and \(g(z) - a\) have the same zeros ignoring multiplicities (counting multiplicities). And we say \(f(z)\) and \(g(z)\) share ∞ IM (CM), if they have the same poles ignoring multiplicities (counting multiplicities).
Our aim in the paper is to investigate the uniqueness of meromorphic solutions of nonlinear difference equations, which are given by Ronkainen in [8], in the form
where \(h(z)\) is a nonzero rational function and \(m = \pm 2, \pm 1,0\). This idea is partly due to the investigation of the uniqueness of meromorphic solutions of some differential equations (see e.g. [1, 9, 12]), and partly due to some recent research on the uniqueness of meromorphic solutions of several kinds of difference equations (see e.g. [3, 6, 7]). One of these results reads as follows.
Theorem A
([3])
Let \(f(z)\) be a finite order transcendental meromorphic solution of the equation
where \(P_{1}(z),P_{2}(z),P_{3}(z)\) are nonzero polynomials such that \(P_{1}(z) + P_{2}(z)\not\equiv 0\). If a meromorphic function \(g(z)\) shares \(0,1,\infty \) CM with \(f(z)\), then one of the following cases holds:
-
(i)
\(f(z) \equiv g(z)\);
-
(ii)
\(f(z) + g(z) = f(z)g(z)\);
-
(iii)
there exist a polynomial \(\beta (z) = a_{0}z + b_{0}\) and a constant \(a_{0}\) satisfying \(e^{a_{0}}\neq e^{b_{0}}\), such that
$$ f(z) = \frac{1 - e^{\beta (z)}}{e^{\beta (z)}(e^{a_{0} - b_{0}} - 1)},\qquad g(z) = \frac{1 - e^{\beta (z)}}{1 - e^{b_{0} - a_{0}}}, $$where \(a_{0}\neq 0,b_{0}\) are constants.
Considering Theorem A and Eq. (1.1), we prove the following results.
Theorem 1.1
Let \(w(z)\) be a finite order transcendental meromorphic solution of Eq. (1.1), where \(m = - 2, - 1,0,1\). If a meromorphic function \(u(z)\) shares \(0,1,\infty \) CM with \(w(z)\), then \(w(z) \equiv u(z)\).
Theorem 1.2
Let \(w(z)\) be a finite order transcendental meromorphic solution of Eq. (1.1), where \(m = 2\), and \(h(z)\) satisfies
If a meromorphic function \(u(z)\) shares \(0,1,\infty \) CM with \(w(z)\), then \(w(z) \equiv u(z)\).
The following examples show that the numbers of shared values in Theorem 1.1 and Theorem 1.2 cannot be reduced.
Example 1
In the following examples, \(w_{j}(z)\) and \(u_{j}(z) \equiv - w_{j}(z)\) share \(0,\infty \) CM (\(j = 1, \ldots,5\)):
-
(1)
\(w_{1}(z) = z\tan (\pi z/2)\) satisfies the difference equation
$$ w(z + 1)w(z - 1) = (z + 1) (z - 1)z^{2}w^{ - 2}(z); $$ -
(2)
\(w_{2}(z) = z\tan ^{2}(\pi z/3)\tan ^{2}(\pi z/3 - \pi /6)\) satisfies the difference equation
$$ w(z + 1)w(z - 1) = (z + 1) (z - 1)zw^{ - 1}(z); $$ -
(3)
\(w_{3}(z) = z\tan (\pi z/4)\) satisfies the difference equation
$$ w(z + 1)w(z - 1) = - (z + 1) (z - 1); $$ -
(4)
\(w_{4}(z) = z\tan (\pi z/6)\tan (\pi z/6 - \pi /6)\) satisfies the difference equation
$$ w(z + 1)w(z - 1) = - \frac{(z + 1)(z - 1)}{z}w(z); $$ -
(5)
\(w_{5}(z) = e^{z^{2}}\tan (\pi z)\) satisfies the difference equation
$$ w(z + 1)w(z - 1) = e^{2}w^{2}(z). $$
Remark 1
We have tried hard but failed to find examples for the sharpness of the “CM” shared condition in Theorem 1.1 and Theorem 1.2 until now.
The following example shows that the condition (1.2) in Theorem 1.2 is necessary.
Example 2
\(w(z) = e^{z}\) and \(u(z) = e^{ - z}\) share \(0,1, \infty \) CM, and \(w(z)\) satisfies the difference equation
Here \(h(z) \equiv 1\) and \(w(z)\not\equiv u(z)\).
2 Some lemmas
From the results of Lan and Chen [5] and Zhang and Yang [11], we have the following.
Lemma 2.1
Let \(w(z)\) be a finite order transcendental meromorphic solution of Eq. (1.1), where \(m = - 2, \pm 1,0\). Then \(\lambda (w - a) = \lambda (1/w) = \rho (w) \ge 1\), where a is an arbitrary constant.
We need the following result.
Lemma 2.2
Let \(\theta _{1}\neq \theta _{2} \in [ - \pi, \pi)\) be two given real numbers. Then, for any given integer \(k \ge 1\), there exist some \(\theta _{3},\theta _{4} \in [ - \pi,\pi)\) such that
Proof
Since \(\theta _{1}\neq \theta _{2} \in [ - \pi,\pi)\), we have \(\theta _{1} - \theta _{2}\neq 0,2\pi \), and hence \(- 1 \le \cos (\theta _{1} - \theta _{2}) < 1\). If \(\theta _{1} + \theta _{2} \in ( - 2\pi,0]\), we choose a point \(\alpha = - (\pi + \theta _{1} + \theta _{2})/2k \in [ - \pi,\pi)\), and we have
Without loss of generality, assume that \(\cos (\theta _{1} + k\alpha ) > 0\), then \(\cos (\theta _{2} + k\alpha ) < 0\), and we can denote \(\theta _{3} = \alpha \). What is more, if \(k\alpha < 0\), denote \(\theta _{4} = \alpha + \pi /k\); if \(k\alpha \ge 0\), denote \(\theta _{4} = \alpha - \pi /k\), then we have \(\cos (\theta _{2} + k\theta _{4}) > 0 > \cos (\theta _{1} + k\theta _{4})\).
If \(\theta _{1} + \theta _{2} \in (0,2\pi )\), choose a point \(\beta = ( \pi - \theta _{1} - \theta _{2})/2k \in ( - \pi,\pi )\), then
From the equation above, we can similarly obtain \(\theta _{3}\) and \(\theta _{4}\), which we need.
Finally, note that \(\operatorname{Re} e^{i\theta } = \cos \theta \), and we finish our proof. □
3 Proof of Theorem 1.1
Since \(w(z)\) and \(u(z)\) are meromorphic functions and share \(0,1, \infty \) CM, from the second main theorem of Nevanlinna theory, we have
This indicates that \(\rho (u) \le \rho (w)\), and hence \(u(z)\) is also of finite order.
Now from the assumption that \(w(z)\) and \(u(z)\) share \(0,1,\infty \) CM again, we get
where \(p(z),q(z)\) are polynomials such that \(\deg p(z) = l,\deg q(z) = s\).
We claim that \(e^{p(z)} \equiv e^{q(z)}\), then we get \(w(z) \equiv u(z)\), which follows from (3.1) and (3.2) immediately.
Otherwise, \(e^{p(z)}\not\equiv e^{q(z)}\), then \(e^{p(z)}\not\equiv 1\) and \(e^{q(z)}\not\equiv 1\). Now (3.1) and (3.2) give
and
From (3.3) and (3.4), we see that
and
Thus, we have
If \(s > l\), then
From the second main theorem of Nevanlinna theory again, we have
which leads to
Since the common zeros of \(1 - e^{p - q}\) and \(1 - e^{q}\) should be the zeros of \(1 - e^{p}\), from (3.3), (3.6) and (3.7), we can find that
and hence \(\lambda (w) \ge \rho (e^{q}) = s\). Thus, from Lemma 2.1, we get \(\lambda (w - 1) = \lambda (w) \ge s > l\), which contradicts the second conclusion in (3.5).
If \(s < l\), then with a similar reasoning we can deduce a similar contradiction to the first conclusion in (3.5). Therefore, we prove that \(s = l\).
If \(\deg (q(z) - p(z)) < l\), then
From this equation, (3.3) and (3.7), we see that
which implies that \(\lambda (w) \ge \rho (e^{q}) = s = l\). Then from Lemma 2.1 and (3.3), we can deduce the contradiction that
Thus, \(\deg (q(z) - p(z)) = l \ge 1\), and hence if we set
and
then \(a_{l}b_{l}\neq 0\) and \(a_{l}\neq b_{l}\). Denote \(a_{l} = r_{1}e^{i\theta _{1}},b_{l} = r_{2}e^{i\theta _{2}}\) where \(\theta _{1},\theta _{2} \in [ - \pi,\pi)\).
Next, we discuss four cases step by step and give the relative contradictions.
Case 1: \(m = 0\). From (1.1) and (3.3), we get
Subcase 1.1: \(\theta _{1} = \theta _{2}\). Now \(|a_{l}| = r_{1} \neq r_{2} = |b_{l}|\). If \(r_{1} < r_{2}\), then, for all \(z = re^{i\theta _{3}}\) such that \(\theta _{1} + l\theta _{3} = 0\), we have
As \(h(z)\) is a rational function, for all \(\theta \in [ - \pi,\pi)\), we can get from (3.10)
However, for the \(\theta _{4}\) such that \(\theta _{1} + l\theta _{4} = - \pi \), we can deduce that
a contradiction to (3.11).
If \(r_{1} > r_{2}\), we can easily get a similar contradiction.
Subcase 1.2: \(\theta _{1}\neq \theta _{2}\). By Lemma 2.2, there exist some \(\theta _{5},\theta _{6} \in [ - \pi,\pi)\) such that
This means that, for \(j = 0,1,2\), and \(r_{3} = r_{1}\operatorname{Re} e ^{i(\theta _{1} + l\theta _{5})}, r_{4} = r_{2}\operatorname{Re} e^{i( \theta _{2} + l\theta _{6})}\), we have
and
as \(r \to \infty \).
We can get from (3.12) and (3.13)
and
respectively. Since \(h(z)\) is a rational function, we can get a contradiction from (3.14) and (3.15).
Case 2: \(m = 1\). Now (1.1) is of the form
which gives
From this and (3.3), we get
Notice that \(h(z + 2)h(z + 1)\) is still a rational function. With (3.16), we can deduce some similar contradictions as in Case 1 again.
Case 3: \(m = - 1\). From (1.1) and (3.3), we get
With (3.17), we can also deduce some similar contradictions as in the Case 1.
Case 4: \(m = - 2\). From (1.1) and (3.3), we get
which enables us to get some similar contradictions as in Case 1. This finishes our proof.
4 Proof of Theorem 1.2
Obviously, we can use (3.1)–(3.3) for this case directly. Moreover, we may begin our proof with assuming that \(e^{p(z)}\not\equiv e^{q(z)}\), then \(e^{p(z)}\not\equiv 1\) and \(e^{q(z)}\not\equiv 1\). Now (3.3) also holds. Thus, we can get from (1.1) and (3.3)
where \(p(z)\) and \(q(z)\) are polynomials such that
and
where \(a_{l}b_{s}\neq 0\). Denote \(a_{l} = r_{1}e^{i\theta _{1}}\), \(b _{s} = r_{2}e^{i\theta _{2}}\) where \(\theta _{1},\theta _{2} \in [ - \pi,\pi)\).
If \(l > s\), it is easy to find that there exists some ray \(\theta = \theta _{3}\) such that \(\theta _{1} + l\theta _{3} = 0\), for \(z = re^{i\theta _{3}} \text{ and } j = - 1,0,1\),
as \(r \to \infty \). Then we can get
a contradiction to (1.2). Thus, \(l \le s\). However, with a similar reasoning above, we see that \(l < s\) is also impossible. This indicates that \(l = s\).
Next, we complete our proof by driving some contradictions for two cases.
Case 1: \(\theta _{1} = \theta _{2}\). If \(r_{1} > r_{2}\), then, for all \(z = re^{i\theta _{4}}\) such that \(\theta _{1} + l\theta _{4} = 0\), we have
From (4.1) and (4.2), we can prove that
which is also a contradiction to (1.2).
Similarly, we can prove that \(r_{1} < r_{2}\) is impossible. Thus, \(r_{1} = r_{2}\). Since \(e^{p(z)}\not\equiv e^{q(z)}\), now for \(j = 0,1,2\) and the \(\theta _{4}\) given before, we have
This and (4.1) yield the same limit (4.3), a contradiction to (1.2).
Case 2: \(\theta _{1}\neq \theta _{2}\). By Lemma 2.2, there exists some \(\theta _{5} \in [ - \pi,\pi)\) such that
This means that, for \(j = 0,1,2\), and \(r_{3} = r_{1}\operatorname{Re} e ^{i(\theta _{1} + l\theta _{5})}\), as \(r \to \infty \), we have
It is easy to deduce from (4.1) and (4.4) that
a contradiction to (1.2).
References
Brosch, G.: Eindeutigkeiss ä für meromorphe Funktionen. Thesis, Tehchnical University of Aachen (1989)
Chen, Z.X.: Complex Differences and Difference Equations. Science Press, Bejing (2014)
Cui, N., Chen, Z.X.: Uniqueness for meromorphic solutions sharing three values with a meromorphic function to some linear difference equations. Chin. Ann. Math., Ser. A 38A(1), 13–22 (2017). (in Chinese)
Laine, I.: Nevanlinna Theory and Complex Differential Equations. de Gruyter Studies in Mathematics, vol. 15. de Gruyter, Berlin (1993)
Lan, S.T., Chen, Z.X.: On properties of meromorphic solutions of certain difference Painlevé equations. Abstr. Appl. Anal. 2014, Article ID 208701 (2014)
Lü, F., Han, Q., Lü, W.R.: On unicity of meromorphic solutions to difference equations of Malmquist type. Bull. Aust. Math. Soc. 93(1), 92–98 (2016)
Pachpatte, B.G.: Existence and uniqueness theorems on certain difference-differential equations. Electron. J. Differ. Equ. 49, 1609 (2009)
Ronkainen, O.: Meromorphic solutions of difference Painlevé equations. Ann. Acad. Sci. Fenn., Math. Diss. 155, 1–59 (2010)
Wang, J., Cai, H.P.: Uniqueness theorems for solutions of differential equations. J. Syst. Sci. Math. Sci. 26, 21–30 (2006)
Yang, C.C., Yi, H.X.: Uniqueness Theory of Meromorphic Functions. Kluwer Academic, Dordrecht (2003)
Zhang, J.L., Yang, L.Z.: Meromorphic solutions of Painlevé III difference equations. Acta Math. Sin. 57, 181–188 (2014)
Zhang, X.B., Han, Y., Xu, J.F.: Uniqueness theorem for solutions of Painlevé transcendents. J. Contemp. Math. Anal. 51(4), 208–214 (2016)
Acknowledgements
The authors would like to thank the referees for their constructive suggestions, which greatly improved the readability of our paper.
Availability of data and materials
All details of our paper, including datasets, have been present in it.
Funding
This work was supported by the Natural Science Foundation of Guangdong Province (2018A030307062) and project of Enhancing School with Innovation of Guangdong Ocean University (GDOU2016050228).
Author information
Authors and Affiliations
Contributions
All authors have read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Chen, B., Li, S. Uniqueness of meromorphic solutions sharing values with a meromorphic function to \(w(z + 1)w(z - 1) = h(z)w^{m}(z)\). Adv Differ Equ 2019, 372 (2019). https://doi.org/10.1186/s13662-019-2308-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-019-2308-9