- Research
- Open Access
- Published:
The existence of solutions of q-difference-differential equations
SpringerPlus volume 5, Article number: 556 (2016)
Abstract
By using the Nevanlinna theory of value distribution, we investigate the existence of solutions of some types of non-linear q-difference differential equations. In particular, we generalize the Rellich–Wittich-type theorem and Malmquist-type theorem about differential equations to the case of q-difference differential equations (system).
Background
In this paper, we shall assume that readers are familiar with the basic theorems and the standard notations of the Nevanlinna value distribution theory of meromorphic functions such as m(r, f), \(N(r,f), T(r,f), \ldots\), (see Hayman 1964; Yang 1993; Yi and Yang 1995). For a meromorphic function f, S(r, f) denotes any quantity satisfying \(S(r,f)=o(T(r,f))\) for all r outside a possible exceptional set of finite logarithmic measure, \(\mathbb {S}(f)\) denotes the family of all meromorphic function a(z) such that \(T(r,a)=S(r,f)=o(T(r,f))\), where \(r\rightarrow \infty\) outside of a possible exceptional set of finite logarithmic measure. In addition, we denote by \(S_1(r,f)\) any quantity satisfying \(S_1(r,f)=o(T(r,f))\) for all r on a set F of logarithmic density 1, the logarithmic density of a set F is defined by
Throughout this paper, the set F of logarithmic density can be not necessarily the same at each occurrence.
Complex differential equations have attracted many mathematicians, and there are many results about the existence or growth of solutions of differential equations (see He 1981; Laine 1993, 1971; Liao 2015; Tu et al. 2013). In recent, with the development of Nevanlinna theory in complex difference equations (see Barnett et al. 2007; Chiang and Feng 2008; Gundersen et al. 2002; Halburd and Korhonen 2006a, b), there has been an increasing interest in studying difference equations, difference product and q-difference in the complex plane \(\mathbb {C}\), a number of papers (including Chen 2010; Gan 2015; Halburd and Korhonen 2007; Heittokangas et al. 2001; Laine and Yang 2007; Qi and Yang 2015; Zheng and Chen 2010; Zhang and Korhonen 2010) have focused on the existence and growth of solutions of difference equation.
The following two results had been proved by F. Rellich and H. Wittich, respectively.
Theorem 1
(see He 1981, Rellich). Let the differential equation be the following form
If f(w) is transcendental meromorphic function of w, then Eq. (1) has no non-constant entire solution.
Wittich (1955) studied the more general differential equation than Eq. (1) and obtained the following result.
Theorem 2
(see Wittich 1955). Let
be differential polynomial, with coefficients \(a_{(i)}(z)\) are polynomial of z. If the right-hand side of the differential equation
f(w) is the transcendental meromorphic function of w , then the Eq. ( 2 ) has no non-constant entire solution.
In the 1980s, Yanagihara and Shimomura extended the above type theorem to the case of difference equations (see Yanagihara 1980, 1983; Shimomura 1981), and obtained the following two results
Theorem 3
(see Shimomura 1981). For any non-constant polynomial P(w), the difference equation
has a non-trivial entire solution.
Theorem 4
(see Yanagihara 1980). For any non-constant rational function R(w), the difference equation
has a non-trivial meromorphic solution in the complex plane.
Conclusions and our main results
In the present paper, we mainly study the above Rellich–Wittich-type theorem of q-difference differential equation (system).
Definition 5
We call the equation a q-difference differential equation (system) if a equation (system) contains the q-difference term f(qz) and differential term \(f'(z)\) of one function f(z) at the same time.
We consider the system of q-difference differential equation of the form
where \(a_{J_1}(z),b_{J_2}(z)\) are polynomials of z and \(q\in \mathbb {C}{\setminus }\{0\}\), \(P_m[f]\) is a polynomial of f of degree m,
and \(d_m(z),\ldots ,d_0(z)\) are polynomials of z, and obtain the following results.
Theorem 6
For system (3), if \(s\ge 1, t\ge 1\) and f is a transcendental meromorphic function, then the system (3) has no non-constant transcendental entire solutions \((w_1,w_2)\) with zero order.
Remark 7
Under the assumptions of Theorem 6, the system of q-difference differential equation
has no non-constant transcendental entire solutions \((w_1,w_2)\) with zero order, where \(s_1,s_2\ge 1\) and \(P_{s_i}[f]\) and \(Q_{t_i}[f]\) are irreducible polynomials in f.
If \(s=t\) and \(w_1=w_2\), we can get the following theorem easily
Theorem 8
Let
if \(s\ge 1\) and f is a transcendental meromorphic function, then the system (4) has no non-constant transcendental entire solution with zero order.
From Remark 7, we have
Remark 9
Let \(s\ge 1\) and f be a transcendental meromorphic function, then the equation
has no non-constant transcendental entire solution with zero order, where \(P_{s}[f]\) and \(Q_{t}[f]\) are irreducible polynomials in f.
As we know, it is very interest problem about the Malmquist theorem of differential equations, Laine (1993) gave the following results
Theorem 9
(see Laine 1993). Let
where R(z, w) is defined as
If Eq. (5) has transcendental meromorphic solution, then there will be \(l= 0\) and \(k\le 2n\).
Theorem 10
(see Laine 1993). Let
where R(z, w) is defined as in Theorem 9. If Eq. (6) has transcendental meromorphic solution, then there will be \(l= 0\) and \(k\le \min \{\Delta ,\lambda +\mu (1- \Theta (\infty ))\}\), where
and
Recently, there were a number of papers focused on the Malmquist-type theorem of the complex difference equations. Ablowitz et al. (2000) proved some results on the classical Malmquist-type theorem of the complex difference equations by applying Nevanlinna theory. Besides, Gao, Xu and Li also studied some systems of complex difference equation and obtained some more precise results related to Malmquist-type theorem (see Gao 2012a, b, c; Li and Gao 2015; Xu et al. 2013, 2015; Xu and Xuan 2015). In this paper, we mainly study the q-difference differential equation about the Maimquist-type theorem, and obtain the following theorem.
Theorem 11
Let
where R(z, w) is defined as
P(z, w) and Q(z, w) are irreducible polynomials in w, coefficients \(a_i(z),b_j(z)\) are rational functions of z. If Eq. (7) exists transcendental meromorphic solutions with zero order, then we also think that \(l= 0\) and \(k\le 2n\).
Similar to the proof of Theorem 11, we can get the following corollary easily.
Corollary 12
Let
where R(z, w) is defined as in Theorem 11. If Eq. (8) has transcendental meromorphic solution of zero order, then there will be \(l= 0\) and \(k\le \min \{\Delta ,\lambda +\mu (1- \Theta (\infty ))\}\), where \(\Delta , \lambda\) and \(\mu\) are stated as in Theorem 10.
Some Lemmas
Lemma 13
(Valiron-Mohon’ko, Laine 1993). Let f(z) be a meromorphic function. Then for all irreducible rational functions in f,
with meromorphic coefficients \(a_i(z),b_j(z)\), the characteristic function of R(z, f(z)) satisfies
where \(d=\max \{m,n\}\) and \(\Psi (r)=\max _{i,j}\{T(r,a_i),T(r,b_j)\}\).
Lemma 14
(Zhang and Korhonen 2010, Theorem 1 and Theorem 3) Let f(z) be a transcendental meromorphic function of zero order and q be a nonzero complex constant. Then
and
on a set of logarithmic density 1.
Lemma 15
(see Barnett et al. 2007). Let f(z) be a nonconstant zero-order meromorphic function and \(q \in \mathbb {C}{\setminus } \{0\}\). Then
on a set of logarithmic density 1 for all r outside a possible exceptional set of logarithmic density 0.
Lemma 16
(see Yi and Yang 1995, p. 37 or Yang 1993). Let f(z) be a nonconstant meromorphic function in the complex plane and l be a positive integer. Then
Lemma 17
Let \(q\in \mathbb {C}{\setminus }\{0\}\) and f(z) be a nonconstant meromorphic function with zero order. Then for any positive finite integer k, we have
and
Proof
It follows from Lemma 15 that
Moreover, we have
This completes the proof of Lemma 17.\(\square\)
The Proof of Theorem 6
Suppose that \(w_i (i=1,2)\) be non-constant entire functions solutions of system (3) with zero order. Suppose \(i=1\), let \(E_1=\{z: |w_1(z)|>1\}\) and \(E_2=\{z: |w_1(z)|\le 1\}\), then we have
where \(\lambda =\max \{\lambda _i\}, \lambda _i=i_1+\cdots +i_{n_1}\). It follows from Lemma 15 and 17 that
And since \(w_1(z)\) is a non-constant entire function, we have \(N(r,w_1)=0\). Thus, we have \(N(r, \Omega _1(z,w_1)=0\) and
Similarly, we have
where \(\eta =\max \{\eta _i\}, \eta _i=i_1+\cdots +i_{n_2}\).
Since \(P_s[f(w_2)]\) is a polynomial of \(f(w_2)\), we can take a complex constant \(\alpha\) such that
where \(\beta _1, \ldots ,\beta _s\) are complex constants, and there at least exists a constant \(\beta \in \{\beta _1, \ldots ,\) \(\beta _s\}\) which is not Picard exceptional value of \(f(w_2)\). Let \(\{\xi _j, j=1,2,\ldots , p_2\}\) be the zeros of \(f(w_2)-\beta\), where \(p_2\) is any positive integer with \(p_2\ge 1\). Then it follows
Thus, by using the second main theorem and (10), (11), we can get that
Similarly, there exists any positive integer \(p_1(\ge 1)\) such that
It follows from (12) and (13) that
Since \(w_i (i=1,2)\) are transcendental and \(p_1,p_2\) are arbitrary, we can get a contradiction with (4). Hence, we complete the proof of Theorem 6.
The Proof of Theorem 11
We firstly choose a constant \(a\in \mathbb {C}\) such that \(P(z, a)\ne 0\) and \(Q(z,a)\ne 0\), then (7) can be rewritten as
where \(A_1(z), \ldots ,A_k(z), B_1(z),\ldots ,B_l(z)\) are all rational functions. Let \(\varphi (z)=\frac{1}{w(z)-a}\), that is, \(w(z)=\frac{1}{\varphi (z)}+a\) and
Hence, it follows from (15) and (16) that
where \(\widetilde{a}_i(z)=(-1)^{-n}P(z,a)\ne 0, \widetilde{b}_i(z)=Q(z,a)\ne 0\).
Suppose that w(z) is a transcendental meromorphic solution of equation (7) with zero order, then \(\varphi (z)= \frac{1}{w(z)-a}\) is also a transcendental meromorphic solution of Eq. (17). We will discuss two cases as follows.
If \(2n+l-k\le 0\), then \(\hbox {deg}_\varphi \widetilde{P}(z,\varphi )=k\) and \(\hbox {deg}_\varphi \widetilde{Q}(z,\varphi )=l-(2n+l-k)=k-2n\). It follows by Lemma 13 that
And by Lemmas 13–17, we have
Thus, it follows
which implies \(k\le 2n\). Since \(2n+l-k\le 0\) and \(l\ge 0\), then we have \(l=0\).
If \(2n+l-k\ge 0\), then then \(\hbox {deg}_\varphi \widetilde{P}(z,\varphi )=2n+l\) and \(\hbox {deg}_\varphi \widetilde{Q}(z,\varphi )=l\). It follows by Lemma 13 that
Similar to the argument as in above, we can get \(l=0\) and \(k\le 2n\).
This completes the proof of Theorem 11.
References
Ablowitz MJ, Halburd R, Herbst B (2000) On the extension of the Painlevé property to differenceequations. Nonlinearity 13(3):889–905
Barnett DC, Halburd RG, Korhonen RJ, Morgan W (2007) Nevanlinna theory for the \(q\)-difference operator and meromorphic solutions of \(q\)-difference equations. Proc R Soc Edinb Sect A Math 137:457–474
Chen ZX (2010) Value distribution of meromorphic solutions of certain difference Painlev equations. J Math Anal Appl 364:556–566
Chiang YM, Feng SJ (2008) On the Nevanlinna characteristic of \(f(z + \eta )\) and difference equations in the complex plane. Ramanujan J 16:105–129
Gan HL (2015) The zeros and fixed points of difference of entire functions. J Jiangxi Norm Univ Nat Sci 39(5):519–522
Gao LY (2012a) On meromorphic solutions of a type of system of composite functional equations. Acta Math Sci 32B(2):800–806
Gao LY (2012b) Systems of complex difference equations of Malmquist type. Acta Math Sin 55:293–300
Gao LY (2012c) Estimates of N-function and m-function of meromorphic solutions of systems of complex difference equations. Acta Math Sci 32B(4):1495–1502
Gundersen GG, Heittokangas J, Laine I, Rieppo J, Yang DQ (2002) Meromorphic solutions of generalized Schröder equations. Aequ Math 63:110–135
Halburd RG, Korhonen RJ (2006a) Difference analogue of the lemma on the logarithmic derivative with applications to difference equations. J Math Anal Appl 314:477–487
Halburd RG, Korhonen RJ (2006b) Nevanlinna theory for the difference operator. Ann Acad Sci Fenn Math 31:463–478
Halburd RG, Korhonen RJ (2007) Finite order solutions and the discrete Painlevé equations. Proc Lond Math Soc 94:443–474
Hayman WK (1964) Meromorphic functions. The Clarendon Press, Oxford
He YZ (1981) On the algebroid function solutions of differential equations. Acta Math Sin 24:464–471
Heittokangas J, Korhonen R, Laine I, Rieppo J, Hohge K (2001) Complex difference equations of Malmquist type. Comput Methods Funct Theory 1:27–39
Laine I (1971) On the behaviour of the solutions of some first order differential equations. Ann Acad Sci Fenn Ser A I 497:1–26
Laine I (1993) Nevanlinna theory and complex differential equations. Walter de Gruyter, Berlin
Laine I, Yang CC (2007) Clunie theorems for difference and \(q\)-difference polynomials. J Lond Math Soc 76(2):556–566
Liao LW (2015) The new developments in the research of nonlinear complex differential equations. J Jiangxi Norm Univ Nat Sci 39(4):331–339
Li HC, Gao LY (2015) Meromorphic solutions of a type of system of complex differential–difference equations. Acta Math Sci 35B(1):195–206
Qi XG, Yang LZ (2015) Properties of meromorphic solutions of \(q\)-difference equations. Electron J Differ Equ 2015(59):1–9
Shimomura S (1981) Entire solutins of a polynomial difference equation. J Fac Sci Univ Tokyo Sect IA Math 28:253–266
Tu J, Huang HX, Xu HY, Chen CF (2013) The order and type of meromorphic functions and analytic functions in the unit disc. J Jiangxi Norm Univ Nat Sci 37(5):449–452
Wittich H (1955) Neuere Untersuchungen über eindeutige analytische Funktionen. Springer, Berlin
Xu HY, Liu BX, Tang KZ (2013) Some properties of meromorphic solutions of systems of complex \(q\)-shift difference equations. In: Abstract and applied analysis, vol 2013, Art. 680956
Xu HY, Wang JL, Wang H (2015) The existence of meromorphic solutions of some types of systems of complex functional equations. In: Discrete dynamics in nature and society, vol 2015, Art. 723025
Xu HY, Xuan ZX (2015) Growth of the solutions of some q-difference differential equations. Adv Differ Equ 2015:172
Yanagihara N (1980) Meromorphic solutionas of some difference equations. Funkc Ekvacioj 23:309–326
Yanagihara N (1983) Meromorphic solutionas of some difference equations of the nth order. Arch Ration Mech Anal 91:19–192
Yang L (1993) Value distribution theory. Springer, Berlin
Yi HX, Yang CC (1995) Uniqueness theory of meromorphic functions, Kluwer Academic Publishers, Dordrecht, 2003; Chinese original. Science Press, Beijing
Zhang JL, Korhonen RJ (2010) On the Nevanlinna characteristic of \(f(qz)\) and its applications. J Math Anal Appl 369:537–544
Zheng XM, Chen ZX (2010) Some properties of meromorphic solutions of q-difference equations. J Math Anal Appl 361:472–480
Authors' contributions
XLW, HW and HYX completed the main part of this article. All authors read and approved the final manuscript.
Acknowledgements
The authors were supported by the NSF of China (11561033, 11301233), the Natural Science Foundation of Jiangxi Province in China (20151BAB201008), and the Foundation of Education Department of Jiangxi (GJJ150902) of China.
Competing interests
The authors declare that they have no competing interests.
Author information
Authors and Affiliations
Corresponding author
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
Wang, XL., Wang, H. & Xu, HY. The existence of solutions of q-difference-differential equations. SpringerPlus 5, 556 (2016). https://doi.org/10.1186/s40064-016-2179-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s40064-016-2179-4
Keywords
- Transcendental
- q-Difference differential equation
- Solution
- Zero order
Mathematics Subject Classification
- 39A 50
- 30D 35