- 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