Theory and Modern Applications

# The solutions of one type q-difference functional system

## Abstract

In this paper, we study the functional system on q-difference equations, our results can give estimates on the proximity functions and the counting functions of the solutions of q-difference equations system. This implies that solutions have a relatively large number of poles. The main results in this paper concern q-difference equations to the system of q-difference equations.

MSC:30D35, 39B32, 39A13, 39B12.

## 1 Introduction and main results

A function $f\left(z\right)$ is called meromorphic if it is analytic in the complex plane except at isolate poles. In what follows, we assume that the reader is familiar with the basic notion of Nevanlinna’s value distribution theory, see [1] and [2].

Let us consider the q-difference polynomial case. Let ${d}_{j}\in \mathbb{C}$ for $j=1,\dots ,n$, and let ${I}_{q}$ be a finite set of multi-indexes $\gamma =\left({\gamma }_{0},\dots ,{\gamma }_{n}\right)$. A q-difference polynomial of a meromorphic function $w\left(z\right)$ is defined as follows:

$\begin{array}{rcl}P\left(z,w\right)& =& P\left(z,w\left(qz\right),w\left({q}^{2}z\right),\dots ,w\left({q}^{n}z\right)\right)\\ =& \sum _{\gamma \in {I}_{q}}{a}_{\gamma }\left(z\right)w{\left(z\right)}^{{\gamma }_{0}}w{\left(qz\right)}^{{\gamma }_{1}}\cdots w{\left({q}^{n}z\right)}^{{\gamma }_{n}},\end{array}$
(1.1)

where $q\in \mathbb{C}\left\{0\right\}$, and the coefficients ${a}_{\gamma }\left(z\right)$ are small meromorphic functions with respect to $w\left(z\right)$ such that $T\left(r,{a}_{\gamma }\right)=o\left(T\left(r,w\right)\right)$ on a logarithmic density 1, denoted by ${S}_{q}\left(r,w\right)$. The total degree of $P\left(z,w\right)$ in $w\left(z\right)$ and the q-shifts of $w\left(z\right)$ is denoted by ${deg}_{w}^{q}\left(P\right)$, and the order of zero of $P\left(z,{x}_{0},{x}_{1},\dots ,{x}_{n}\right)$, as a function of ${x}_{0}$ at ${x}_{0}=0$, is denoted as ${ord}_{0}^{q}\left(P\right)$, which can be found, e.g., in [3]. Moreover, the weight of difference polynomial (1.1) is defined by

${K}_{q}\left(P\right)=\underset{\gamma \in {I}_{q}}{max}\left\{\sum _{j=1}^{n}{\gamma }_{j}\right\},$

where γ and ${I}_{q}$ are the same as in (1.1) above. The q-difference polynomial $P\left(z,w\right)$ is said to be homogeneous with respect to $w\left(z\right)$ if the degree ${d}_{\gamma }={\gamma }_{0}+\cdots +{\gamma }_{n}$ of each term in the sum (1.1) is non-zero and the same for all $\gamma \in {I}_{q}$.

We recall the following result of Zhang et al. [[4], Theorem 1].

Theorem A Let $w\left(z\right)$ be a zero-order meromorphic solution of

$H\left(z,w\right)P\left(z,w\right)=Q\left(z,w\right),$

where $P\left(z,w\right)$ is a homogeneous q-difference polynomial with polynomial coefficients, and $H\left(z,w\right)$ and $Q\left(z,w\right)$ are polynomials in $w\left(z\right)$ with polynomial coefficients having no common factors. If

$max\left\{{deg}_{w}^{q}\left(H\right),{deg}_{w}^{q}\left(Q\right)-{deg}_{w}^{q}\left(P\right)\right\}>min\left\{{deg}_{w}^{q}\left(P\right),{ord}_{0}^{q}\left(Q\right)\right\}-{ord}_{0}^{q}\left(P\right),$

then $N\left(r,w\right)\ne {S}_{q}\left(r,w\right)$, where ${ord}_{0}^{q}\left(P\right)$ denotes the order of zero of $P\left(z,{x}_{0},{x}_{1},\dots ,{x}_{n}\right)$, as a function of ${x}_{0}$ at ${x}_{0}=0$.

Now let us introduce some notation. Let ${q}_{j}\in \mathbb{C}\setminus \left\{0,\right\}$ for $j=1,\dots ,n$, and let I and J be a finite set of multi-indexes $I=\left({i}_{0},\dots ,{i}_{n}\right)$ and $J=\left({j}_{0},\dots ,{j}_{n}\right)$. Two q-difference polynomials of a meromorphic function $w\left(z\right)$ are defined as follows:

$\begin{array}{rcl}{\mathrm{\Omega }}_{1}\left(z,{w}_{1},{w}_{2}\right)& =& {\mathrm{\Omega }}_{1}\left(z,{w}_{1}\left(z\right),{w}_{2}\left(z\right),{w}_{1}\left({q}_{1}z\right),{w}_{2}\left({q}_{1}z\right),\dots ,{w}_{1}\left({q}_{n}z\right),{w}_{2}\left({q}_{n}z\right)\right)\\ =& \sum _{i\in I}{a}_{i}\left(z\right)\prod _{k=1}^{2}{w}_{k}{\left(z\right)}^{{k}_{{i}_{0}}}{w}_{k}{\left({q}_{1}z\right)}^{{k}_{{i}_{1}}}\cdots {w}_{k}{\left({q}_{n}z\right)}^{{k}_{{i}_{n}}}\end{array}$

and

$\begin{array}{rcl}{\mathrm{\Omega }}_{2}\left(z,{w}_{1},{w}_{2}\right)& =& {\mathrm{\Omega }}_{2}\left(z,{w}_{1}\left(z\right),{w}_{2}\left(z\right),{w}_{1}\left({q}_{1}z\right),{w}_{2}\left({q}_{1}z\right),\dots ,{w}_{1}\left({q}_{n}z\right),{w}_{2}\left({q}_{n}z\right)\right)\\ =& \sum _{j\in J}{b}_{j}\left(z\right)\prod _{k=1}^{2}{w}_{k}{\left(z\right)}^{{k}_{{i}_{0}}}{w}_{k}{\left({q}_{1}z\right)}^{{k}_{{i}_{1}}}\cdots {w}_{k}{\left({q}_{n}z\right)}^{{k}_{{i}_{n}}},\end{array}$

where the coefficients ${a}_{i}\left(z\right)$ and ${b}_{j}\left(z\right)$ are small with respect to ${w}_{1}\left(z\right)$ and ${w}_{2}\left(z\right)$ in the sense that $T\left(r,{a}_{i}\right)=o\left(T\left(r,{w}_{k}\right)\right)$ and $T\left(r,{b}_{j}\right)=o\left(T\left(r,{w}_{k}\right)\right)$, $k=1,2$, on a set of logarithmic density 1, as r tends to infinity outside of an exceptional set E of finite logarithmic measure

$\underset{r\to \mathrm{\infty }}{lim}{\int }_{E\cap \left[1,r\right)}\frac{dt}{t}<\mathrm{\infty }.$

The weights of ${\mathrm{\Omega }}_{1}\left(z,{w}_{1},{w}_{2}\right)$ and ${\mathrm{\Omega }}_{2}\left(z,{w}_{1},{w}_{2}\right)$ in ${w}_{1}\left(z\right)$, ${w}_{2}\left(z\right)$ are denoted by

${\lambda }_{11}=\underset{i}{max}\left\{\sum _{l=0}^{n}{i}_{1l}\right\},\phantom{\rule{2em}{0ex}}{\lambda }_{12}=\underset{i}{max}\left\{\sum _{l=0}^{n}{i}_{2l}\right\}$

and

${\lambda }_{21}=\underset{j}{max}\left\{\sum _{l=0}^{n}{i}_{1l}\right\},\phantom{\rule{2em}{0ex}}{\lambda }_{22}=\underset{j}{max}\left\{\sum _{l=0}^{n}{i}_{2l}\right\}.$

The purpose of this paper is to study the problem of the properties of Nevanlinna counting functions and proximity functions of meromorphic solutions of a type of systems of q-difference equations of the following form:

$\left\{\begin{array}{c}{\mathrm{\Omega }}_{1}\left(z,{w}_{1},{w}_{2}\right)={R}_{1}\left(z,{w}_{1}\right),\hfill \\ {\mathrm{\Omega }}_{2}\left(z,{w}_{1},{w}_{2}\right)={R}_{2}\left(z,{w}_{2}\right),\hfill \end{array}$
(1.2)

where

${R}_{1}\left(z,{w}_{1}\right)=\frac{{P}_{1}\left(z,{w}_{1}\right)}{{Q}_{1}\left(z,{w}_{1}\right)}=\frac{{\sum }_{i=0}^{{p}_{1}}{a}_{i}\left(z\right){w}_{1}^{i}}{{\sum }_{j=0}^{{q}_{1}}{b}_{j}\left(z\right){w}_{1}^{j}}$

and

${R}_{2}\left(z,{w}_{2}\right)=\frac{{P}_{2}\left(z,{w}_{2}\right)}{{Q}_{2}\left(z,{w}_{2}\right)}=\frac{{\sum }_{i=0}^{{p}_{2}}{c}_{i}\left(z\right){w}_{2}^{i}}{{\sum }_{j=0}^{{q}_{2}}{d}_{j}\left(z\right){w}_{2}^{j}},$

the coefficients $\left\{{a}_{i}\left(z\right)\right\}$, $\left\{{b}_{i}\left(z\right)\right\}$, $\left\{{c}_{i}\left(z\right)\right\}$, $\left\{{d}_{i}\left(z\right)\right\}$ are meromorphic functions and small functions. The order of zero of ${\mathrm{\Omega }}_{j}\left(z,{x}_{0},\dots ,{x}_{n}\right)$, as a function of ${x}_{0}$ at ${x}_{0}=0$, is denoted by ${ord}_{0}\left({\mathrm{\Omega }}_{j}\right)$. The q-difference polynomial ${\mathrm{\Omega }}_{k}\left(z,{w}_{1},{w}_{2}\right)$, $k=1,2$, is said to be homogeneous with respect to ${w}_{k}\left(z\right)$ if the degree ${d}_{k}={i}_{k0}+\cdots +{i}_{kn}$ of each term in the sum is non-zero and the same for all $i\in I$. Finally, the order of growth of a meromorphic solution $\left({w}_{1},{w}_{2}\right)$ is defined by

$\rho \left({w}_{1},{w}_{2}\right)=max\left\{\rho \left({w}_{1}\right),{\rho }_{2}\left({w}_{2}\right)\right\},$

where

$\rho \left({w}_{k}\right)=\underset{r\to \mathrm{\infty }}{lim sup}\frac{logT\left(r,{w}_{k}\right)}{logr},\phantom{\rule{1em}{0ex}}k=1,2.$

In this paper, the main results are as follows.

Theorem 1 Let $\left({w}_{1},{w}_{2}\right)$ be a zero-order meromorphic solution of system (1.2), where ${\mathrm{\Omega }}_{k}\left(z,{w}_{1},{w}_{2}\right)$ ($k=1,2$) are homogeneous q-difference polynomials in ${w}_{1}$ and ${w}_{2}$, respectively, with meromorphic coefficients, and ${P}_{k}\left(z,{w}_{k}\right)$ and $Q\left(z,{w}_{k}\right)$, $k=1,2$, are polynomials in ${w}_{k}\left(z\right)$ with meromorphic coefficients having no common factors. If

$max\left\{{q}_{1},{p}_{1}-{\lambda }_{11}\right\}>min\left\{{\lambda }_{11},{ord}_{{w}_{1}}\left({P}_{1}\right)\right\}-{ord}_{{w}_{1}}\left({\mathrm{\Omega }}_{1}\right)+{\lambda }_{12}$
(1.3)

and

$max\left\{{q}_{2},{p}_{2}-{\lambda }_{22}\right\}>min\left\{{\lambda }_{22},{ord}_{{w}_{2}}\left({P}_{2}\right)\right\}-{ord}_{{w}_{2}}\left({\mathrm{\Omega }}_{2}\right)+{\lambda }_{21},$
(1.4)

then $N\left(r,{w}_{1}\right)={S}_{q}\left(r,{w}_{1}\right)$ and $N\left(r,{w}_{2}\right)={S}_{q}\left(r,{w}_{2}\right)$ cannot hold both at the same time, possibly outside of an exceptional set of finite logarithmic measure.

Theorem 2 Let $\left({w}_{1},{w}_{2}\right)$ be a zero-order meromorphic solution of system (1.2), where ${\mathrm{\Omega }}_{k}\left(z,{w}_{1},{w}_{2}\right)$ ($k=1,2$) are homogeneous q-difference polynomials in ${w}_{1}$ and ${w}_{2}$, respectively, with meromorphic coefficients, and ${P}_{k}\left(z,{w}_{k}\right)$ and $Q\left(z,{w}_{k}\right)$, $k=1,2$, are polynomials in ${w}_{k}\left(z\right)$ with meromorphic coefficients having no common factors,

$A=2{\lambda }_{11}-\left(max\left\{{p}_{1},{q}_{1}+{\lambda }_{11}\right\}-min\left\{{\lambda }_{11},{ord}_{{w}_{1}}\left({\mathrm{\Omega }}_{1}\right)\right\}\right)$

and

$B=2{\lambda }_{22}-\left(max\left\{{p}_{2},{q}_{2}+{\lambda }_{22}\right\}-min\left\{{\lambda }_{22},{ord}_{{w}_{2}}\left({\mathrm{\Omega }}_{2}\right)\right\}\right).$

If $A<0$, $B<0$ and $AB>9{\lambda }_{21}{\lambda }_{12}$, then $m\left(r,{w}_{k}\right)={S}_{q}\left(r,{w}_{k}\right)$ ($k=1,2$), where r runs to infinity outside of an exceptional set of finite logarithmic measure.

## 2 Some lemmas

Lemma 1 ([5], Theorem 1.2)

Let $f\left(z\right)$ be a non-constant zero-order meromorphic function, and $q\in \mathbb{C}\setminus \left\{0\right\}$. Then

$m\left(r,\frac{f\left(qz\right)}{f\left(z\right)}\right)={S}_{q}\left(r,f\right).$

Lemma 2 ([6], Lemma 4)

If $T:{\mathbb{R}}^{+}\to {\mathbb{R}}^{+}$ is a piecewise continuous increasing function such that

$\underset{r\to \mathrm{\infty }}{lim}\frac{logT\left(r\right)}{logr}=0,$

then the set

$E:=\left\{r:T\left({C}_{1}r\right)\ge {C}_{2}T\left(r\right)\right\}$

has logarithmic density 0 for all ${C}_{1}>1$ and ${C}_{2}>1$.

## 3 Proof of Theorem 1

Since ${\mathrm{\Omega }}_{k}\left(z,{w}_{1},{w}_{2}\right)$ are homogeneous in ${w}_{1}$ and ${w}_{2}$, respectively, it follows by Lemma 1 that

$m\left(r,\frac{{\mathrm{\Omega }}_{1}\left(z,{w}_{1},{w}_{2}\right)}{{w}_{1}^{{\lambda }_{11}}}\right)\le {\lambda }_{12}m\left(r,{w}_{2}\right)+{S}_{q}\left(r,{w}_{1}\right)$
(3.1)

and

$m\left(r,\frac{{\mathrm{\Omega }}_{2}\left(z,{w}_{1},{w}_{2}\right)}{{w}_{2}^{{\lambda }_{22}}}\right)\le {\lambda }_{21}m\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{2}\right)$
(3.2)

for all r outside of an exceptional set of finite logarithmic measure. Moreover, from (1.2), we have

$\begin{array}{rcl}T\left(r,\frac{{\mathrm{\Omega }}_{1}\left(z,{w}_{1},{w}_{2}\right)}{{w}_{1}^{{\lambda }_{11}}}\right)& =& T\left(r,\frac{{P}_{1}\left(z,{w}_{1}\right)}{{Q}_{1}\left(z,{w}_{1}\right){w}_{1}^{{\lambda }_{11}}}\right)\\ =& \left(max\left\{{p}_{1},{q}_{1}+{\lambda }_{11}\right\}-min\left\{{\lambda }_{11},{ord}_{{w}_{1}}\left({P}_{1}\right)\right\}\right)T\left(r,{w}_{1}\right)\\ +{S}_{q}\left(r,{w}_{1}\right)\end{array}$
(3.3)

and

$\begin{array}{rcl}T\left(r,\frac{{\mathrm{\Omega }}_{2}\left(z,{w}_{1},{w}_{2}\right)}{{w}_{2}^{{\lambda }_{22}}}\right)& =& T\left(r,\frac{{P}_{2}\left(z,{w}_{2}\right)}{{Q}_{2}\left(z,{w}_{2}\right){w}_{2}^{{\lambda }_{22}}}\right)\\ =& \left(max\left\{{p}_{2},{q}_{2}+{\lambda }_{22}\right\}-min\left\{{\lambda }_{22},{ord}_{{w}_{2}}\left({P}_{2}\right)\right\}\right)T\left(r,{w}_{2}\right)\\ +{S}_{q}\left(r,{w}_{2}\right),\end{array}$
(3.4)

where r approaches infinity outside of an exceptional set of finite logarithmic measure. By combining (3.1) and (3.3), (3.2) and (3.4), respectively, it follows that

$\begin{array}{rcl}N\left(r,\frac{{\mathrm{\Omega }}_{1}\left(z,{w}_{1},{w}_{2}\right)}{{w}_{1}^{{\lambda }_{11}}}\right)& \ge & \left(1+{\lambda }_{12}+{\lambda }_{11}-{ord}_{{w}_{1}}\left({\mathrm{\Omega }}_{1}\right)\right)T\left(r,{w}_{1}\right)\\ -{\lambda }_{12}m\left(r,{w}_{2}\right)+{S}_{q}\left(r,{w}_{1}\right)\end{array}$
(3.5)

and

$\begin{array}{rcl}N\left(r,\frac{{\mathrm{\Omega }}_{2}\left(z,{w}_{1},{w}_{2}\right)}{{w}_{2}^{{\lambda }_{22}}}\right)& \ge & \left(1+{\lambda }_{21}+{\lambda }_{22}-{ord}_{{w}_{2}}\left({\mathrm{\Omega }}_{2}\right)\right)T\left(r,{w}_{1}\right)\\ -{\lambda }_{21}m\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{2}\right).\end{array}$
(3.6)

From Lemma 2, we have

$\begin{array}{c}N\left(r,\frac{{\mathrm{\Omega }}_{1}\left(z,{w}_{1},{w}_{2}\right)}{{w}_{1}^{{ord}_{{w}_{1}}\left({\mathrm{\Omega }}_{1}\left(z,{w}_{1},{w}_{2}\right)\right)}}\right)\hfill \\ \phantom{\rule{1em}{0ex}}\le \left({\lambda }_{11}-{ord}_{{w}_{1}}\left({\mathrm{\Omega }}_{1}\right)\right)N\left(qr,{w}_{1}\right)+{\lambda }_{12}N\left(qr,{w}_{2}\right)+{S}_{q}\left(r,{w}_{1}\right)\hfill \\ \phantom{\rule{1em}{0ex}}=\left({\lambda }_{11}-{ord}_{{w}_{1}}\left({\mathrm{\Omega }}_{1}\right)\right)N\left(r,{w}_{1}\right)+{\lambda }_{12}N\left(r,{w}_{2}\right)+{S}_{q}\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{2}\right)\hfill \end{array}$

and

$\begin{array}{c}N\left(r,\frac{{\mathrm{\Omega }}_{2}\left(z,{w}_{1},{w}_{2}\right)}{{w}_{1}^{{ord}_{{w}_{2}}\left({\mathrm{\Omega }}_{2}\left(z,{w}_{1},{w}_{2}\right)\right)}}\right)\hfill \\ \phantom{\rule{1em}{0ex}}\le \left({\lambda }_{22}-{ord}_{{w}_{2}}\left({\mathrm{\Omega }}_{2}\right)\right)N\left(qr,{w}_{2}\right)+{\lambda }_{21}N\left(qr,{w}_{1}\right)+{S}_{q}\left(r,{w}_{2}\right)\hfill \\ \phantom{\rule{1em}{0ex}}=\left({\lambda }_{22}-{ord}_{{w}_{2}}\left({\mathrm{\Omega }}_{2}\right)\right)N\left(r,{w}_{2}\right)+{\lambda }_{11}N\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{2}\right).\hfill \end{array}$

Therefore,

$\begin{array}{rcl}N\left(r,\frac{{\mathrm{\Omega }}_{1}\left(z,{w}_{1},{w}_{2}\right)}{{w}_{1}^{{\lambda }_{11}}}\right)& \le & N\left(r,\frac{{\mathrm{\Omega }}_{1}\left(z,{w}_{1},{w}_{2}\right)}{{w}_{1}^{{ord}_{{w}_{1}}\left({\mathrm{\Omega }}_{1}\left(z,{w}_{1},{w}_{2}\right)\right)}}\right)+N\left(r,\frac{1}{{w}_{1}^{{\lambda }_{11}-{ord}_{{w}_{1}}\left({\mathrm{\Omega }}_{1}\right)}}\right)\\ \le & \left({\lambda }_{11}-{ord}_{{w}_{1}}\left({\mathrm{\Omega }}_{1}\right)\right)N\left(r,{w}_{1}\right)+{\lambda }_{12}N\left(r,{w}_{2}\right)\\ +T\left(r,\frac{1}{{w}_{1}^{{\lambda }_{11}-{ord}_{{w}_{1}}\left({\mathrm{\Omega }}_{1}\right)}}\right)+{S}_{q}\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{2}\right)\\ \le & \left({\lambda }_{11}-{ord}_{{w}_{1}}\left({\mathrm{\Omega }}_{1}\right)\right)N\left(r,{w}_{1}\right)+{\lambda }_{12}N\left(r,{w}_{2}\right)\\ +\left({\lambda }_{11}-{ord}_{{w}_{1}}\left({\mathrm{\Omega }}_{1}\right)\right)T\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{2}\right)+{S}_{q}\left(r,{w}_{2}\right)\end{array}$
(3.7)

and

$\begin{array}{rcl}N\left(r,\frac{{\mathrm{\Omega }}_{2}\left(z,{w}_{1},{w}_{2}\right)}{{w}_{2}^{{\lambda }_{22}}}\right)& \le & N\left(r,\frac{{\mathrm{\Omega }}_{2}\left(z,{w}_{1},{w}_{2}\right)}{{w}_{2}^{{ord}_{{w}_{2}}\left({\mathrm{\Omega }}_{2}\left(z,{w}_{1},{w}_{2}\right)\right)}}\right)+N\left(r,\frac{1}{{w}_{2}^{{\lambda }_{22}-{ord}_{{w}_{2}}\left({\mathrm{\Omega }}_{2}\right)}}\right)\\ \le & \left({\lambda }_{22}-{ord}_{{w}_{2}}\left({\mathrm{\Omega }}_{2}\right)\right)N\left(r,{w}_{2}\right)+{\lambda }_{21}N\left(r,{w}_{1}\right)\\ +T\left(r,\frac{1}{{w}_{2}^{{\lambda }_{22}-{ord}_{{w}_{2}}\left({\mathrm{\Omega }}_{2}\right)}}\right)+{S}_{q}\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{2}\right)\\ \le & \left({\lambda }_{22}-{ord}_{{w}_{2}}\left({\mathrm{\Omega }}_{2}\right)\right)N\left(r,{w}_{2}\right)+{\lambda }_{21}N\left(r,{w}_{1}\right)\\ +\left({\lambda }_{22}-{ord}_{{w}_{2}}\left({\mathrm{\Omega }}_{2}\right)\right)T\left(r,{w}_{2}\right)+{S}_{q}\left(r,{w}_{2}\right)+{S}_{q}\left(r,{w}_{2}\right).\end{array}$
(3.8)

Combining (3.5) and (3.7), (3.6) and (3.8), respectively, we have

$\begin{array}{c}\left(1+{\lambda }_{12}+{\lambda }_{11}-{ord}_{{w}_{1}}\left({\mathrm{\Omega }}_{1}\right)\right)T\left(r,{w}_{1}\right)\hfill \\ \phantom{\rule{1em}{0ex}}<\left({\lambda }_{11}-{ord}_{{w}_{1}}\left({\mathrm{\Omega }}_{1}\right)\right)N\left(r,{w}_{1}\right)+{\lambda }_{12}T\left(r,{w}_{2}\right)\hfill \\ \phantom{\rule{2em}{0ex}}+\left({\lambda }_{11}-{ord}_{{w}_{1}}\left({\mathrm{\Omega }}_{1}\right)\right)T\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{2}\right)\hfill \end{array}$
(3.9)

and

$\begin{array}{c}\left(1+{\lambda }_{21}+{\lambda }_{22}-{ord}_{{w}_{2}}\left({\mathrm{\Omega }}_{2}\right)\right)T\left(r,{w}_{2}\right)\hfill \\ \phantom{\rule{1em}{0ex}}<\left({\lambda }_{22}-{ord}_{{w}_{2}}\left({\mathrm{\Omega }}_{2}\right)\right)N\left(r,{w}_{2}\right)+{\lambda }_{21}T\left(r,{w}_{1}\right)\hfill \\ \phantom{\rule{2em}{0ex}}+\left({\lambda }_{22}-{ord}_{{w}_{2}}\left({\mathrm{\Omega }}_{2}\right)\right)T\left(r,{w}_{2}\right)+{S}_{q}\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{2}\right).\hfill \end{array}$
(3.10)

Suppose that $N\left(r,{w}_{1}\right)={S}_{q}\left(r,{w}_{1}\right)$ and $N\left(r,{w}_{2}\right)={S}_{q}\left(r,{w}_{2}\right)$, according to (3.9) and (3.10), we have

$\left(1+{\lambda }_{12}\right)T\left(r,{w}_{1}\right)<{\lambda }_{12}T\left(r,{w}_{2}\right)+{S}_{q}\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{2}\right)$

and

$\left(1+{\lambda }_{21}\right)T\left(r,{w}_{2}\right)<{\lambda }_{21}T\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{2}\right).$

That is,

$\left(1+{\lambda }_{12}+o\left(1\right)\right)T\left(r,{w}_{1}\right)<\left({\lambda }_{12}+o\left(1\right)\right)T\left(r,{w}_{2}\right)$
(3.11)

and

$\left(1+{\lambda }_{21}+o\left(1\right)\right)T\left(r,{w}_{2}\right)<\left({\lambda }_{12}+o\left(1\right)\right)T\left(r,{w}_{1}\right).$
(3.12)

By (3.11) and (3.12), we conclude that

$1+{\lambda }_{12}+1+{\lambda }_{21}+o\left(1\right)<{\lambda }_{12}+{\lambda }_{21},$

which is impossible, we prove the assertion.

## 4 Proof of Theorem 2

It follows by Lemma 1 that

$m\left(r,\frac{{\mathrm{\Omega }}_{1}\left(z,{w}_{1},{w}_{2}\right)}{{w}_{1}^{{\lambda }_{11}}}\right)\le {\lambda }_{12}m\left(r,{w}_{2}\right)+{S}_{q}\left(r,{w}_{1}\right)$
(4.1)

and

$m\left(r,\frac{{\mathrm{\Omega }}_{2}\left(z,{w}_{1},{w}_{2}\right)}{{w}_{2}^{{\lambda }_{22}}}\right)\le {\lambda }_{21}m\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{2}\right)$
(4.2)

for all r outside of an exceptional set of finite logarithmic measure.

Suppose now that $\left({w}_{1}\left(z\right),{w}_{2}\left(z\right)\right)$ is a finite-order meromorphic solution of (1.2). Denoting $C={max}_{j=1,\dots ,n}\left\{|{c}_{j}|\right\}$ in ${\mathrm{\Omega }}_{1}\left(z,{w}_{1},{w}_{2}\right)$ and ${\mathrm{\Omega }}_{2}\left(z,{w}_{1},{w}_{2}\right)$, by Lemma 2, we obtain

$\begin{array}{rcl}N\left(r,\frac{{\mathrm{\Omega }}_{1}\left(z,{w}_{1},{w}_{2}\right)}{{w}_{1}^{{\lambda }_{11}}}\right)& \le & {\lambda }_{11}\left(N\left(|q|r,{w}_{1}\right)+N\left(r,\frac{1}{{w}_{1}}\right)\right)\\ +{\lambda }_{12}\left(N\left(|q|r,{w}_{2}\right)+N\left(r,\frac{1}{{w}_{2}}\right)\right)\\ +{\lambda }_{12}N\left(r,{w}_{2}\right)+{S}_{q}\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{2}\right)\\ =& {\lambda }_{11}\left(N\left(r,{w}_{1}\right)+N\left(r,\frac{1}{{w}_{1}}\right)\right)+{\lambda }_{12}\left(N\left(r,{w}_{2}\right)+N\left(r,\frac{1}{{w}_{2}}\right)\right)\\ +{\lambda }_{12}N\left(r,{w}_{2}\right)+{S}_{q}\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{2}\right)\end{array}$
(4.3)

for all r outside of a set E of finite logarithmic measure. By (4.1) and (4.3), we have

$\begin{array}{rcl}N\left(r,\frac{{\mathrm{\Omega }}_{1}\left(z,{w}_{1},{w}_{2}\right)}{{w}_{1}^{{\lambda }_{11}}}\right)& \le & {\lambda }_{11}\left(N\left(r,{w}_{1}\right)+N\left(r,\frac{1}{{w}_{1}}\right)\right)\\ +{\lambda }_{12}\left(N\left(r,{w}_{2}\right)+N\left(r,\frac{1}{{w}_{2}}\right)\right)+{S}_{q}\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{2}\right)\\ \le & {\lambda }_{12}\left(2T\left(r,{w}_{1}\right)-m\left(r,{w}_{1}\right)\right)+{\lambda }_{12}\left(3T\left(r,{w}_{2}\right)-2m\left(r,{w}_{2}\right)\right)\\ +{S}_{q}\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{2}\right)\end{array}$
(4.4)

for all $r\notin E$. On the other hand, by (4.1) and (4.3),

$\begin{array}{c}N\left(r,\frac{{\mathrm{\Omega }}_{1}\left(z,{w}_{1},{w}_{2}\right)}{{w}_{1}^{{\lambda }_{11}}}\right)+{\lambda }_{12}m\left(r,{w}_{2}\right)\hfill \\ \phantom{\rule{1em}{0ex}}\ge T\left(r,\frac{{P}_{1}\left(r,{w}_{1}\right)}{{w}_{1}^{{\lambda }_{11}}{Q}_{1}r,{w}_{1}}\right)\hfill \\ \phantom{\rule{1em}{0ex}}=\left(max\left\{{p}_{1},{q}_{1}+{\lambda }_{11}\right\}-min\left\{{\lambda }_{11},{ord}_{{w}_{1}}\left({\mathrm{\Omega }}_{1}\right)\right\}\right)T\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{1}\right),\hfill \end{array}$
(4.5)

where r lies outside of a set F of finite logarithmic measure. Combining inequalities (4.4) and (4.5) with the assumption in Theorem 2, we have

$\begin{array}{c}\left(max\left\{{p}_{1},{q}_{1}+{\lambda }_{11}\right\}-min\left\{{\lambda }_{11},{ord}_{{w}_{1}}\left({\mathrm{\Omega }}_{1}\right)\right\}\right)T\left(r,{w}_{1}\right)\hfill \\ \phantom{\rule{2em}{0ex}}-{\lambda }_{12}m\left(r,{w}_{2}\right)+{S}_{q}\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{2}\right)\hfill \\ \phantom{\rule{1em}{0ex}}\le {\lambda }_{11}\left(2T\left(r,{w}_{1}\right)-m\left(r,{w}_{1}\right)\right)+{\lambda }_{12}\left(3T\left(r,{w}_{2}\right)-2m\left(r,{w}_{2}\right)\right)\hfill \\ \phantom{\rule{2em}{0ex}}+{S}_{q}\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{2}\right).\hfill \end{array}$
(4.6)

Similarly, we obtain

$\begin{array}{c}\left(max\left\{{p}_{2},{q}_{2}+{\lambda }_{22}\right\}-min\left\{{\lambda }_{22},{ord}_{{w}_{2}}\left({\mathrm{\Omega }}_{2}\right)\right\}\right)T\left(r,{w}_{2}\right)\hfill \\ \phantom{\rule{2em}{0ex}}-{\lambda }_{21}m\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{2}\right)\hfill \\ \phantom{\rule{1em}{0ex}}\le {\lambda }_{22}\left(2T\left(r,{w}_{2}\right)-m\left(r,{w}_{2}\right)\right)+{\lambda }_{21}\left(3T\left(r,{w}_{1}\right)-2m\left(r,{w}_{1}\right)\right)\hfill \\ \phantom{\rule{2em}{0ex}}+{S}_{q}\left(r,{w}_{1}\right)+{S}_{q}\left(r,{w}_{2}\right).\hfill \end{array}$
(4.7)

By (4.6) and (4.7), we obtain

$\begin{array}{c}{\lambda }_{11}m\left(r,{w}_{1}\right)\hfill \\ \phantom{\rule{1em}{0ex}}\le \left(2{\lambda }_{11}-\left(max\left\{{p}_{1},{q}_{1}+{\lambda }_{11}\right\}-min\left\{{\lambda }_{11},{ord}_{{w}_{1}}\left({\mathrm{\Omega }}_{1}\right)\right\}\right)+o\left(1\right)\right)T\left(r,{w}_{1}\right)\hfill \\ \phantom{\rule{2em}{0ex}}+\left(3{\lambda }_{12}+o\left(1\right)\right)T\left(r,{w}_{2}\right)\hfill \end{array}$
(4.8)

and

$\begin{array}{c}\left(\left(max\left\{{p}_{2},{q}_{2}+{\lambda }_{22}\right\}-min\left\{{\lambda }_{22},{ord}_{{w}_{2}}\left({\mathrm{\Omega }}_{2}\right)\right\}\right)-2{\lambda }_{22}+o\left(1\right)\right)T\left(r,{w}_{2}\right)\hfill \\ \phantom{\rule{1em}{0ex}}\le \left(3{\lambda }_{21}+o\left(1\right)\right)T\left(r,{w}_{1}\right)-2{\lambda }_{21}m\left(r,{w}_{2}\right).\hfill \end{array}$
(4.9)

Combining (4.8) and (4.9), we have

$\begin{array}{c}{\lambda }_{11}m\left(r,{w}_{1}\right)\hfill \\ \phantom{\rule{1em}{0ex}}\le \left(2{\lambda }_{11}-\left(max\left\{{p}_{1},{q}_{1}+{\lambda }_{11}\right\}-min\left\{{\lambda }_{11},{ord}_{{w}_{1}}\left({\mathrm{\Omega }}_{1}\right)\right\}\right)+o\left(1\right)\right)T\left(r,{w}_{1}\right)\hfill \\ \phantom{\rule{2em}{0ex}}+\frac{3{\lambda }_{12}\left(3{\lambda }_{21}+o\left(1\right)\right)T\left(r,{w}_{1}\right)-6{\lambda }_{12}{\lambda }_{21}m\left(r,{w}_{1}\right)}{\left(max\left\{{p}_{2},{q}_{2}+{\lambda }_{22}\right\}-min\left\{{\lambda }_{22},{ord}_{{w}_{2}}\left({\mathrm{\Omega }}_{2}\right)\right\}\right)-2{\lambda }_{22}},\hfill \end{array}$

that is,

$\left({\lambda }_{11}-\frac{6{\lambda }_{12}{\lambda }_{21}}{B}\right)m\left(r,{w}_{1}\right)\le \left(A-\frac{9{\lambda }_{12}{\lambda }_{21}+o\left(1\right)}{B}\right)T\left(r,{w}_{1}\right),$
(4.10)

where $A=2{\lambda }_{11}-\left(max\left\{{p}_{1},{q}_{1}+{\lambda }_{11}\right\}-min\left\{{\lambda }_{11},{ord}_{{w}_{1}}\left({\mathrm{\Omega }}_{1}\right)\right\}\right)$ and $B=2{\lambda }_{22}-\left(max\left\{{p}_{2},{q}_{2}+{\lambda }_{22}\right\}-min\left\{{\lambda }_{22},{ord}_{{w}_{2}}\left({\mathrm{\Omega }}_{2}\right)\right\}\right)$. Combining the assumption and (4.10), we have

$m\left(r,{w}_{1}\right)={S}_{q}\left(r,{w}_{1}\right)$

for all r outside of $E\cup F$, a set of finite logarithmic measure.

Similarly, we obtain

$m\left(r,{w}_{2}\right)={S}_{q}\left(r,{w}_{2}\right)$

for all r outside of $E\cup F$, we have proved the assertion.

## References

1. 1.

Hayman W-K: Meromorphic Functions. Clarendon, Oxford; 1964.

2. 2.

Laine I: Nevanlinna Theory and Complex Differential Equations. de Gruyter, Berlin; 1993.

3. 3.

Korhonen R: A new Clunie type theorem for difference polynomials. J. Differ. Equ. Appl. 2011, 17(3):387-400. 10.1080/10236190902962244

4. 4.

Zhang JC, Wang G, Chen JJ, Zhao RX: Some results on q -difference equations. Adv. Differ. Equ. 2012., 2012: Article ID 191

5. 5.

Barnett D, Halburd R-G, Korhonen R-J, Morgan W: Nevanlinna theory for the q -difference operator and meromorphic solutions of q -difference equations. Proc. R. Soc. Edinb. A 2007, 137(3):457-474.

6. 6.

Hayman W-K: On the characteristic of functions meromorphic in the plane and of their integrals. Proc. Lond. Math. Soc. 1965, 14A: 93-128.

## Acknowledgements

Research was supported by the National Science Foundation of China (11161041), and the Fundamental Research Funds for the Central Universities (No. 31920130006) and Middle-Younger Scientific Research Fund (No. 12XB39).

## Author information

Authors

### Corresponding author

Correspondence to Yonglin Xu.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors read and approved the final manuscript.

## Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and Permissions

Xu, Y., Han, D., Fan, X. et al. The solutions of one type q-difference functional system. Adv Differ Equ 2014, 3 (2014). https://doi.org/10.1186/1687-1847-2014-3