The Existence of Meromorphic Solutions of Some Types of Systems of Complex Functional Equations

Xu, Hong-Yan; Wang, Jin-Lian; Wang, Hua

doi:https://doi.org/10.1155/2015/723025

Discrete Dynamics in Nature and Society

On this page

Abstract Introduction Acknowledgments References Copyright Related Articles

Research Article | Open Access

Volume 2015 | Article ID 723025 | https://doi.org/10.1155/2015/723025

The Existence of Meromorphic Solutions of Some Types of Systems of Complex Functional Equations

Hong-Yan Xu,¹Jin-Lian Wang,²and Hua Wang¹

Academic Editor: Chris Goodrich

Received04 Aug 2015

Accepted13 Sept 2015

Published15 Oct 2015

Abstract

We investigate the existence of transcendental meromorphic solutions of some types of systems of complex functional equations and obtain some results about the existence of meromorphic solutions of such systems. Our results are improvement of the previous theorems given by Gao, Xu, and Zheng, and our examples show that our results are sharp to some extent.

1. Introduction and Main Results

Recently, with the establishment of the differences analogues of Nevanlinna’s theory (see [1–3]), people obtained many interesting theorems about the growth and existence of solutions of difference equations, -difference equations, and so on (see [4–10]). To state some results, we should introduce some basic definition and standard notations. We firstly assume that readers are familiar with the fundamental results and the standard notations of the Nevanlinna value distribution theory of meromorphic functions such as (see Hayman [11], Yang [12], and Yi and Yang [13]). In addition, we also use , , and to denote the order, the exponent of convergence of zeros, and the exponent of convergence of poles of , respectively, and to denote any quantity satisfying for all outside a possible exceptional set of finite logarithmic measure , and a meromorphic function is called small function with respect to , if .

In 2001, Heittokangas et al. considered the existence of solutions of some difference equations and obtained the following results [14].

Theorem 1 (see [14, Propositions and ]). Let . If the following equationswhere with small coefficients , with respect to , admit transcendental meromorphic solutions of finite order, then .

Theorem 2 (see [14]). Let . If (2) with small coefficients , of growth such that . If then (2) is of the formwhere is meromorphic, , and .

In 2002, Gundersen et al. considered the solutions of -difference equation and obtained the following result.

Theorem 3 (see [15]). Suppose that is a transcendental meromorphic solution of a -difference equation of the formwhere , and meromorphic coefficients are of growth . If then (6) is either of the form

In 2012, Zheng and Chen [16] further considered a -difference equation more general than (2) under a condition similar to Theorem 2 on meromorphic solutions and obtained the following result.

Theorem 4 (see [16, Theorem ]). Suppose that is a transcendental meromorphic solution of a -difference equation of the formwhere , and is an irreducible rational function in with meromorphic coefficients and of growth such that . If then (9) is reduced to the form

In 2012, Gao [17] studied the similar problem when (9) is replaced by the following system of functional equations,where is an entire function, are irreducible rational functions, and the coefficients are small functions, and obtained the following theorems.

Theorem 5 (see [17, Theorem ]). Let be a pair of nonconstant meromorphic solutions of system (12). Then, is a polynomial.

Theorem 6 (see [17, Theorem ]). Let the polynomial be of degree a pair of transcendental meromorphic solutions of system (12), and small functions. If then system (12) is of the form where are meromorphic, , and .

Remark 7. We can see that the numerical values of are uncertain in the conclusion of Theorem 6.

After his works, there were some papers focusing on the growth and existence of meromorphic solutions of some types of systems of complex functional equations (see [18–21]).

In this paper, we will further investigate some properties of solutions of the system of complex functional equations. The main purpose of this paper is to find out the relationship between “” and “” and further to confirm the numerical values of , in the conclusion of Theorem 6. Some results are obtained in this paper, and the first main result is about meromorphic solutions with few zeros and poles of a type of system of complex functional equations.

Theorem 8. Let , and let be a pair of nonrational meromorphic solutions of the systemwith the meromorphic coefficients of growth , and . Ifthen system (15) is one of the four following forms:

Corollary 9. Let be a pair of transcendental solutions of (15) with finite order , are positive integers and all the other assumptions of Theorem 8 hold.(i)If and , then system (15) is reduced to (18b) only.(ii)If and , then system (15) is reduced to (18b) only.

Corollary 10. Let be a pair of transcendental solutions of (15) with finite order , are positive integers and all the other assumptions of Theorem 8 hold. If system (15) is reduced to (18b) only, and then .

Furthermore, we obtain the following result when system (15) is replaced by the other system.

Theorem 11. Let , and let be a pair of nonrational meromorphic solutions of the systemwith the meromorphic coefficients of growth , and . If , satisfy (16) and , where is a polynomial in of degree , then satisfy the following forms:

The researches on the properties of solutions of complex differential equations in the whole complex plane, disc, and angular domain are always interesting in the past several decades (see [22–26]). In 2014, Liu and Dong [27] considered the existence of solutions of some differential-difference equation, where the differential-difference equation is an equation including derivatives, shifts, or differences of , and obtained the following result.

Theorem 12 (see [27, Theorem ]). Let be a positive integer. If the equationadmits a transcendental meromorphic solution of finite order, then . If (22) admits a transcendental entire solution of finite order, then .

Then, we will further consider the system of differential-difference equations with the analogue form of (22) and obtain the following theorem.

Theorem 13. Let be integers. If systemwith the meromorphic coefficients of growth , and , admits a pair of transcendental meromorphic solutions of finite order, set , ; then If (23) admits a pair of transcendental entire solutions of finite order, then

We give the following example to show that Theorem 13 is not valid for a pair of meromorphic solutions with infinite order of (23).

Example 14. Let ; then are a pair of solutions of the system where is a complex constant and is a positive integer satisfying .

Theorem 15. Under the assumptions of Theorem 13, let be a pair of transcendental meromorphic solutions of systemwhere of degree . Then where and

2. Some Lemmas

Lemma 16 (Valiron-Mohon’ko (see [24])). Let be a meromorphic function. Then for all irreducible rational functions in , with meromorphic coefficients , the characteristic function of satisfies that where and .

Lemma 17 (see [14, p. 37]). If a meromorphic function satisfies then is of regular growth.

Lemma 18 (see [15, p. 127]). The differential field is algebraically closed in the field of meromorphic functions in the complex plane. That is, any meromorphic function satisfying an algebraic equation over the field actually belongs to .

Remark 19 (see [28, p. 249] and [16, p. 728 Remark]). The following observation holds for any meromorphic function and any nonzero complex constant . Clearly, we can immediately obtain Similarly, we also have

Lemma 20 (see [29]). Let be a transcendental meromorphic function and a complex polynomial of degree . For given , let ; then for given and for large enough,

Lemma 21. Suppose that , are meromorphic functions of finite order , are positive integers satisfying (16), and let .
(i) If and then, satisfies .
(ii) If and then, satisfies .

Remark 22. The following example shows that the conclusions are not valid if the condition is removed in Lemma 21.

Example 23. Let ; then and . If , are complex constants and satisfy then we have ; that is, .

Proof. From the assumptions in Lemma 21 and by Hadamard Theorem, we have where , are polynomials of degree , respectively, and are the canonical products formed with nonzero zeros and poles of , , respectively. So, we have Denoting then we can rewrite as the following form:where , are the leading coefficient of and are polynomials of degree .
(i) . By Remark 19, it follows from (16) thatIt follows from (44)–(46) that for all . Since , we have .
(ii) . By using the same argument as in (i), we can get easily.
Thus, this completes the proof of Lemma 21.

Lemma 24 (see [2]). Let be a transcendental meromorphic function of finite order and a nonzero complex constant. Then, we have

Lemma 25 (see [13, p. 37] or [12]). Let be a nonconstant meromorphic function in the complex plane and a positive integer. Then

Lemma 26 (see [24, 30]). Let be monotone increasing functions such that outside of an exceptional set with finite linear measure, or , , where is a set of finite logarithmic measure. Then, for any , there exists such that for all .

Lemma 27 (see [31]). Let be a function of , positive, and bounded in every finite interval.
(i) Suppose that , where , , , and are constants. Then with , unless and ; and if and , then, for any , .
(ii) Suppose that (with the notation of (i)) . Then for all sufficiently large values of , with , for some positive constant .

3. Proofs of Theorem 8, Corollaries 9 and 10

3.1. The Proof of Theorem 8

Let . By applying Valiron-Mohon’ko theorem [24] to (15), we haveFrom (16), we can take constants such that and then we have From the definitions of , similar to the above argument, we have From (16), we know that zeros and poles are Borel exceptions of , and from [32, Satz 13.4], we have that is of regular growth. Hence, there exists that for . So, we can get thatNow, we rewrite system (15) aswithout loss of generality, assume that are monic polynomials in with coefficients of growth , and set ; from (54), we have . And because it follows that Substituting , to the above equalities and comparing the leading coefficients, we can get Solving the above system, we getwhere From (54)–(58) and , it follows that

Substituting the above system into (15), we have that is,where , orwhere . By regarding (61) or (62) as an algebraic equation in with coefficients of growth , then it follows by Lemma 18 that . Moreover, if and , we can get a contradiction with the condition that is irreducible in . Thus, we have or . Then it follows from (61) that or .

Similarly, we can get or .

Thus, we complete the proof of Theorem 8.

3.2. The Proof of Corollary 9

Let be a pair of transcendental solutions of (15) of finite order .

(i) If , we can exclude (17a) and (17b) easily by comparing the growth order of two sides of the equation

Next, we will exclude (18a). Suppose thatFrom the assumptions of Lemma 21 and by Hadamard Theorem, we can writewhere , are polynomials of degree , respectively, and are the canonical products formed with nonzero zeros and poles of , respectively. Substituting (65) into (64), we have Since and , we can get a contradiction easily.

(ii) If , we can exclude (17a) and (18a). By using the same argument as in (i) and combining the condition and , we can exclude (17b).

Therefore, we complete the proof of Corollary 9.

3.3. The Proof of Corollary 10

From the assumptions of Corollary 10 and (18b), we haveWe can rewrite (67) as the following form:where .

Suppose that . Since by using the similar method as in Lemma 21, from (68), we can get a contradiction with the assumption . Hence .

Thus, we complete the proof of Corollary 10.

4. The Proof of Theorem 11

Let and . By applying Valiron-Mohon’ko theorem [24] to (20), we haveFrom (70) and the definitions of , similar to the above argument, we haveSince is an increasing function for and , hence, there exists such that for all where , and . Thus, it follows from the above inequality and Lemma 20 that From (16), we have as for . Thus, we can get as for ; that is,Similarly, we haveFrom (71)–(75), we have

Now, we rewrite system (20) as and, without loss of generality, assume that are monic polynomials in with coefficients of growth . Thus, by using the same argument as in Theorem 8, we can get the conclusion of Theorem 11 easily.

Therefore, this completes the proof of Theorem 11.

5. Proofs of Theorems 13 and 15

5.1. The Proof of Theorem 13

Let be a pair of transcendental meromorphic solutions of (23); by using Lemmas 16 and 25, it follows from (23) that By Lemma 24, it follows that From the above inequalities and the fact that are transcendental functions, then we have and . If are entire functions, we can get and , easily.

Hence, this completes the proof of Theorem 13.

5.2. The Proof of Theorem 15

By using the same argument as in Theorem 13, we can get Since , by Lemma 20, we can get that, for and sufficiently large , where are two sets of finite linear measure. By Lemma 26, we have that, for any given and for sufficiently large , that is,where and . From (83) and (84), we haveAnd since , we get that . Then it follows from (85) and by Lemma 27 that where Set ; then we have

Next, we will prove that . Suppose that ; then we can get that . For sufficiently small , we have . This contradicts the condition on the transcendence of .

Thus, the proof of Theorem 15 is completed.

Conflict of Interests

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

Acknowledgments

The authors were supported by the NSF of China (11171170, 11301233, and 11561033), the Natural Science Foundation of Jiangxi Province in China (20132BAB211001, 20151BAB201008), and the Foundation of Education Department of Jiangxi (GJJ14644) of China.

References

D. C. Barnett, R. G. Halburd, W. Morgan, and R. J. Korhonen, “Nevanlinna theory for the q-difference operator and meromorphic solutions of q-difference equations,” Proceedings of the Royal Society of Edinburgh Section A: Mathematics, vol. 137, no. 3, pp. 457–474, 2007.
View at: Publisher Site | Google Scholar | MathSciNet
Y.-M. Chiang and S.-J. Feng, “On the Nevanlinna characteristic of $f (z + η)$ and difference equations in the complex plane,” The Ramanujan Journal, vol. 16, no. 1, pp. 105–129, 2008.
View at: Publisher Site | Google Scholar
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.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
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.
View at: Publisher Site | Google Scholar | MathSciNet
R. G. Halburd and R. J. Korhonen, “Nevanlinna theory for the difference operator,” Annales Academiae Scientiarum Fennicae. Mathematica, vol. 31, no. 2, pp. 463–478, 2006.
View at: Google Scholar | MathSciNet
J. Heittokangas, R. Korhonen, I. Laine, J. Rieppo, and J. Zhang, “Value sharing results for shifts of meromorphic functions, and sufficient conditions for periodicity,” Journal of Mathematical Analysis and Applications, vol. 355, no. 1, pp. 352–363, 2009.
View at: Publisher Site | Google Scholar | MathSciNet
I. Laine and C.-C. Yang, “Value distribution of difference polynomials,” Proceedings of the Japan Academy—Series A, Mathematical Sciences, vol. 83, no. 8, pp. 148–151, 2007.
View at: Publisher Site | Google Scholar | MathSciNet
K. Liu and L.-Z. Yang, “Value distribution of the difference operator,” Archiv der Mathematik, vol. 92, no. 3, pp. 270–278, 2009.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
J. Zhang and R. Korhonen, “On the Nevanlinna characteristic of $f (qz)$ and its applications,” Journal of Mathematical Analysis and Applications, vol. 369, no. 2, pp. 537–544, 2010.
View at: Publisher Site | Google Scholar | MathSciNet
X.-M. Zheng and Z.-X. Chen, “Some properties of meromorphic solutions of q-difference equations,” Journal of Mathematical Analysis and Applications, vol. 361, no. 2, pp. 472–480, 2010.
View at: Publisher Site | Google Scholar | MathSciNet
W. K. Hayman, Meromorphic Functions, Clarendon Press, Oxford, UK, 1964.
View at: MathSciNet
L. Yang, Value Distribution Theory, Springer, Berlin, Germany, 1993.
View at: MathSciNet
H. X. Yi and C. C. Yang, Uniqueness Theory of Meromorphic Functions, Kluwer Academic Publishers, Dordrecht, The Netherlands, 2003, Chinese Original: Science Press, Beijing, China, 1995.
J. Heittokangas, R. Korhonen, I. Laine, J. Rieppo, and K. Tohge, “Complex difference equations of Malmquist type,” Computational Methods and Function Theory, vol. 1, no. 1, pp. 27–39, 2001.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
G. G. Gundersen, J. Heittokangas, I. Laine, J. Rieppo, and D. Yang, “Meromorphic solutions of generalized Schröder equations,” Aequationes Mathematicae, vol. 63, no. 1-2, pp. 110–135, 2002.
View at: Publisher Site | Google Scholar | MathSciNet
X. Zheng and Z. Chen, “On properties of $q$ -difference equations,” Acta Mathematica Scientia Series B, vol. 32, no. 2, pp. 724–734, 2012.
View at: Publisher Site | Google Scholar | MathSciNet
L. Y. Gao, “On meromorphic solutions of a type of system of composite functional equations,” Acta Mathematica Scientia, vol. 32, no. 2, pp. 800–806, 2012.
View at: Publisher Site | Google Scholar | MathSciNet
L. Y. Gao, “Systems of complex difference equations of Malmquist type,” Acta Mathematica Sinica. Chinese Series, vol. 55, no. 2, pp. 293–300, 2012.
View at: Google Scholar | MathSciNet
L. Y. Gao, “Estimates of N-function and m-function of meromorphic solutions of systems of complex difference equations,” Acta Mathematica Scientia B, vol. 32, no. 4, pp. 1495–1502, 2012.
View at: Publisher Site | Google Scholar | MathSciNet
H.-Y. Xu, B.-X. Liu, and K.-Z. Tang, “Some properties of meromorphic solutions of systems of complex q-shift difference equations,” Abstract and Applied Analysis, vol. 2013, Article ID 680956, 6 pages, 2013.
View at: Publisher Site | Google Scholar | MathSciNet
H.-Y. Xu and Z.-X. Xuan, “Some properties of solutions of a class of systems of complex q-shift difference equations,” Advances in Difference Equations, vol. 2013, article 271, 2013.
View at: Publisher Site | Google Scholar
S. A. Gao, Z. X. Chen, and T. W. Chen, Complex Oscillation Theory of Linear Differential Equations, Huazhong University of Science and Technology Press, Wuhan, China, 1997.
J. He and X. M. Zheng, “The iterated order of meromorphic solutions of some classes of higher order linear differential equations,” Journal of Jiangxi Normal University. Natural Sciences, vol. 36, no. 6, pp. 584–588, 2012.
View at: Google Scholar
I. Laine, Nevanlinna Theory and Complex Differential Equations, Walter de Gruyter, Berlin, Germany, 1993.
View at: Publisher Site | MathSciNet
J. Tu, H. X. Huang, H. Y. Xu, and C. F. Chen, “The order and type of meromorphic functions and analytic functions in the unit disc,” Journal of Jiangxi Normal University. Natural Science, vol. 37, no. 5, pp. 449–452, 2013.
View at: Google Scholar
L. W. Liao, “The new developments in the research of nonlinear complex differential equations,” Journal of Jiangxi Normal University. Natural Sciences, vol. 39, no. 4, pp. 331–339, 2015.
View at: Google Scholar
K. Liu and X. J. Dong, “Some results related to complex differential-difference equations of certain types,” Bulletin of the Korean Mathematical Society, vol. 51, no. 5, pp. 1453–1467, 2014.
View at: Publisher Site | Google Scholar | MathSciNet
W. Bergweiler, K. Ishizaki, and N. Yanagihara, “Meromorphic solutions of some functional equations,” Methods and Applications of Analysis, vol. 5, no. 3, pp. 248–259, 1998, Correction: Methods and Applications of Analysis, vol. 6, no. 4, pp. 617-618, 1999.
View at: Google Scholar
R. Goldstein, “Some results on factorisation of meromorphic functions,” Journal of the London Mathematical Society, vol. 4, no. 2, pp. 357–364, 1971.
View at: Google Scholar | MathSciNet
G. G. Gundersen, “Finite order solutions of second order linear differential equations,” Transactions of the American Mathematical Society, vol. 305, no. 1, pp. 415–429, 1988.
View at: Publisher Site | Google Scholar | MathSciNet
R. Goldstein, “On meromorphic solutions of certain functional equations,” Aequationes Mathematicae, vol. 18, no. 1-2, pp. 112–157, 1978.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
G. Jank and L. Volkmann, Einführung in die Theorie der Ganzen und Meromorphen Funktionen mit Anwendungen auf Differentialgleichungen, Birkhäuser, Basel, Switzerland, 1985.

Copyright

Copyright © 2015 Hong-Yan Xu et al. 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.

PDF Download Citation

Download other formats

Order printed copies

Views

777

Downloads

740

Citations