 Research
 Open Access
 Published:
Solution to the solvability problem for a class of producttype systems of difference equations
Advances in Difference Equations volume 2017, Article number: 151 (2017)
Abstract
Solution to the solvability problem for a class of producttype systems of difference equations is given by presenting explicit formulas for its solutions. In the main/most complicated cases the problem is solved by using two different methods. This is the last system, out of the three nonequivalent ones, for which an associated polynomial, which essentially determines the structure of the solutions, is of the third order, so that the paper finishes the study of this kind of twodimensional systems.
Introduction
Theory of difference equations is a mathematical area of great interest [1–40]. Concrete systems is one of its subareas which is of some interest nowadays. Papers [12–14] by Papaschinopoulos and Schinas are some of those which have influenced the interest. Later many others have appeared [4, 9–11, 15, 16, 18, 19, 22–28, 30–40]. One of the oldest topics is finding solutions to the equations and systems [1, 5–8]. Since the mid of 2000s there has been increasing interest in the topic [4, 17, 21–31, 33–40]. An interesting fact is that many nonlinear equations and systems are related to linear ones although they are of relatively complex forms, which usually do not suggest it on the first site. A line of the investigation related to a solvable nonlinear difference equation can be followed, for example, in [4, 17, 21, 36] (see also the references therein). A more complicated equation and related methods can be found in [29]. The corresponding and related systems of difference equations were studied, for example, in [23, 33] and [34] (see also the references therein). Another system of interest can be found in [35]. The equations and systems in these papers are solved by employing suitable changes of variables which transform them to some linear equations and systems which are solvable.
Many equations and systems contain as special cases producttype ones [20, 32]. Some methods for the study of the longterm behavior of their solutions have used directly or indirectly the equations and systems which can be solved. In [20] and [32] we studied only positive solutions to the equations and systems appearing therein, so the producttype ones, which are obtained from them by special choices of their parameters, were solvable. Applying the logarithm is a standard method for solving such equations and systems; it was, among others, also used in solving a system in [22]. In general, a more complex case is studying nonpositive solutions to difference equations and systems, which is also the case for the producttype systems, since the previous method is useless because it produces multivalued solutions. In our papers [26] and [31], we have presented a two and a threedimensional solvable producttype system in the complex plane, respectively. Many results on the longterm behavior of solutions to the system in [31] were presented therein, while in [26] we only gave a method for solving the corresponding system. Having published these two papers has motivated us to look for other solvable producttype systems. In [37] we have managed to solve another one. The fact that the systems in [31] and [37] have been special cases of the following system
has motivated us to start investigating the solvability of other special cases of the system. Some equations in [29] are producttype ones, but they have additional multipliers, which suggested us to study the solvability of the generalizations of system (1) containing some multipliers. The first step in the study was made in [24]. Our further investigations suggested that closedform formulas for solutions to producttype systems can be presented for all given values of parameters and multipliers, which for two specific systems of the form in (1) was done in [28] and [40] for the first time (in [37] and [39] general formulas were presented in the main cases, but without detailed analysis and without presenting more concrete formulas for each possible case; this type of problems does not appear for the system in [38], where its solutions are presented in all the cases). Producttype systems can be also solved by using the method which we developed in [27], but is somewhat technically complicated with respect to the one developed in [28, 37, 40]. Another class of producttype systems has been quite recently investigated in detail in [30].
This paper is devoted to the study of an extension of system (1), with the following delays \(k_{1}=k_{2}=1\) and \(k_{3}=k_{4}=2\), that is, of the system:
where \(a,b,c,d\in {\mathbb {Z}}\), \(\alpha , \beta , z_{2}, z_{1}, w_{2}, w_{1}\in {\mathbb {C}}\). It is also a natural continuation of our study in [24, 27–31, 37–40].
This is the last system, out of the three nonequivalent ones, for which an associated polynomial, which essentially determines the structure of the solutions, is of the third order, so that the paper finishes the study of this kind of systems with two dependent variables. The case when some of initial values or parameters α and β are equal to zero is excluded from the consideration since such solutions are either not well defined [23] or eventually equal to zero. If a finite sum is of the form \(\sum_{j=l}^{l1}c_{j}\), for some \(l\in {\mathbb {Z}}\), we regard that its value is zero.
Auxiliary results
The following two lemmas are useful in the investigation of producttype systems. Proofs of the first one can be found, for example, in [6] and [37].
Lemma 1
Let
such that \(t_{i}\ne t_{j}\), \(i\ne j\), and \(c_{k}\ne0\). Then
for \(0\le s\le k2\), and
The second lemma is well known ([6, 8], see also [28] for a more general result).
Lemma 2
Let \(i\in {\mathbb {N}}_{0}\) and
where \(z\in {\mathbb {C}}\).
Then
for every \(z\in {\mathbb {C}}\setminus\{1\}\) and \(n\in {\mathbb {N}}\).
Main results
Five cases will be considered separately. Before we formulate and prove our main results, note that
Theorem 1
Assume that \(a,b,d\in {\mathbb {Z}}\), \(c=0\), \(bd=0\), \(\alpha ,\beta , z_{2}, z_{1}, w_{1}\in {\mathbb {C}}\setminus\{0\}\). Then

(a)
if \(a\ne1\), the general solution to (2) is given by
$$\begin{aligned} z_{n}=\alpha ^{\frac{1a^{n+1}}{1a}}\beta ^{b\frac {1a^{n}}{1a}}z_{1}^{a^{n+1}}w_{1}^{ba^{n}},\quad n\in {\mathbb {N}} \end{aligned}$$(7)and
$$\begin{aligned} w_{n}=\beta \alpha ^{d\frac{1a^{n1}}{1a}}z_{1}^{da^{n1}},\quad n\ge 2; \end{aligned}$$(8) 
(b)
if \(a=1\), the general solution to (2) is given by
$$\begin{aligned} z_{n}=\alpha ^{n+1}\beta ^{bn}z_{1}w_{1}^{b},\quad n\in {\mathbb {N}}_{0} \end{aligned}$$(9)and
$$\begin{aligned} w_{n}=\alpha ^{d(n1)}\beta z_{1}^{d},\quad n \ge2. \end{aligned}$$(10)
Proof
Since \(c=0\), we have
From the equations in (11) and the assumption \(bd=0\), we get
and consequently
which along with (6) yields
From (13) we easily get (7) and (9).
Using (13) in the second equality in (11), as well as the assumption \(bd =0\), we obtain
From (14) we easily get (8) and (10) for \(n\ge3\). For \(n=2\), equalities (8) and (10) are directly verified. □
Theorem 2
Assume that \(a, c, d\in {\mathbb {Z}}\), \(c\ne0\), \(b=0\), \(\alpha ,\beta , z_{2}, z_{1}, w_{2}, w_{1}\in {\mathbb {C}}\setminus\{0\}\). Then system (2) is solvable in closed form.
This theorem was essentially proved in [39], Theorem 2, (see also [39], Corollary 2, for the closed form formulas for the solutions in all the cases), since when \(b=0\) system (2) is
which is nothing but the corresponding system in Theorem 2 in [39] with indices shifted backward for one. Hence, we omit the proof of the theorem.
Theorem 3
Assume that \(a,b,c\in {\mathbb {Z}}\), \(c\ne 0\), \(d=0\), \(\alpha ,\beta , z_{1}, w_{2}, w_{1}\in {\mathbb {C}}\setminus\{0\}\). Then system (2) is solvable in closed form.
This theorem was essentially proved in [28], since when \(d=0\) system (2) is
which is nothing but the corresponding system in Theorem 3.7 in [28] whose indices are shifted backward for one (see also [28], Corollary 3.8, for the closed form formulas for the solutions in all the cases). Hence, the proof of the theorem will be also omitted.
Theorem 4
Assume that \(a,b,c,d\in {\mathbb {Z}}\setminus\{0\}\), \(ac\ne bd\), \(\alpha ,\beta , z_{2}, z_{1}, w_{2}, w_{1}\in {\mathbb {C}}\setminus\{0\}\). Then system (2) is solvable in closed form.
Proof
Since \(\alpha ,\beta , z_{2}, z_{1}, w_{2}, w_{1}\in {\mathbb {C}}\setminus\{0\}\), from (2) we get \(z_{n}\ne0\ne w_{n}\) for \(n\ge 2\). Hence
and
from which it follows that
Let \(\mu=\alpha ^{1c}\beta ^{b}\),
Then
Equality (17) implies
for \(n\ge2\), where
Assume
for a \(k\ge2\) and all \(n\ge k\), and
If we replace n by \(nk\) in (17) and employ it in (20), we get
for \(n\ge k+1\), where
Relations (18), (19), (23), (24) along with the inductive argument confirm the conjectures in (20)(22).
Setting \(k=n\) in (20) and using (6), (21) and (22), we have
for \(n\in {\mathbb {N}}\).
The relations in (21) show that
Since \(c_{1}=bdac\ne0\), (26) yields
This equality enables us to calculate \(a_{j}\) for \(j\le0\). It is obtained that
(see detailed corresponding calculations in [28] and [40]) from which along with (22), it is obtained
and
Linear equation (26) can be solved, from which along with (28) a closed form formula for \(a_{k}\) is obtained. Using (30) and Lemma 2, a closed form formula for \(y_{k}\) is obtained. Employing such obtained formulas for \(a_{k}\) and \(y_{k}\) in (25), we obtain a closed form formula for the solution to (15).
From (2), we also have
and consequently
As above, we get
where \(\eta=\alpha ^{d}\beta ^{1a}\), \(a_{k}\), \(b_{k}\) and \(c_{k}\) are defined by (16) and (21), and \(y_{k}\) is defined by (22) and (29).
Setting \(k=n+1\) in (34) and using (6), we get
for \(n\in {\mathbb {N}}_{0}\).
As we have already mentioned, closed form formulas for \(a_{k}\) and \(y_{k}\) can be found, from which along with (35) it follows that (33) is solvable. It is not difficult to see that formulas (25) and (35) present a solution to system (2), from which the theorem follows. □
Remark 1
Theorem 4 can be also proved by using the method in [27]. We include the proof also for the benefit of the reader and since in the theorem that follows we follow the lines of the method.
First note that
The equalities in (36) show that \(w_{2}\) and \(w_{3}\) depend on all the parameters and initial values (we neglect the cases when some of the powers are zero). This fact and (2) show that the same holds for every \(w_{n}\), \(n\ge2\), from which along with the first equation in (2) it follows that the same holds for every \(z_{n}\), \(n\ge3\). Hence
for \(n\ge2\), for some sequences \(x_{n}, y_{n}, a_{n}, b_{n}, c_{n}, d_{n}, u_{n}, v_{n}, \alpha _{n}, \beta _{n}, \gamma _{n}, \delta_{n}\).
Clearly, it must be
Applying (37) and (38) in (2), we get
for \(n\in {\mathbb {N}}_{0}\), and
for \(n\in {\mathbb {N}}_{0}\).
Motivated by (37)(48), we define sequences \(x_{n}, y_{n}, a_{n}, b_{n}, c_{n}, d_{n}, u_{n}, v_{n}, \alpha _{n}, \beta _{n}\), \(\gamma _{n}, \delta_{n}\) as follows:
for \(n\in {\mathbb {N}}_{0}\).
Relations (39)(44), (49)(54) define \(x_{n}, y_{n}, a_{n}, b_{n}, c_{n}, d_{n}, u_{n}, v_{n}, \alpha _{n}, \beta _{n}, \gamma _{n}, \delta _{n}\) uniquely, while \(z_{n}\) and \(w_{n}\) in (2) are defined uniquely by initial values \(z_{2}, z_{1}, w_{2}, w_{1}\). Since \(z_{n}\) and \(w_{n}\) defined by (47) and (48) are solutions to (2) such that their values for \(n=0,1\) are the same, it follows that they are closed form formulas for solutions to system (2). Hence, we need only to prove that systems (49)(54) are solvable.
The condition \(d\ne0\) implies
which along with the first equality in (49) yields
and also
which along with the first equality in (50) yields
We also have
for \(n\in {\mathbb {N}}_{0}\), and consequently
for \(n\in {\mathbb {N}}_{0}\).
It is important to point out that all the transformations that we have employed transform systems (49)(54) into equivalent ones. Therefore, there is a bijection between the sets of solutions to the original and transformed systems.
Let
where \((t_{n})_{n\ge2}\) is a sequence. Then A is a linear operator, (56) can be written as \(A(u_{n})=d\), \(n\in {\mathbb {N}}_{0}\), (58) as \(A(v_{n})=1a\), \(n\in {\mathbb {N}}_{0}\), and (63)(66) as
Since the equation
is linear of third order, it can be solved, and specially closed form formulas for \(\alpha _{n}\), \(\beta _{n}\), \(\gamma _{n}\), \(\delta_{n}\) can be obtained for the corresponding initial conditions (39)(44). Employing the formulas for \(\alpha _{n}\), \(\beta _{n}\), \(\gamma _{n}\), \(\delta_{n}\) in (59)(62), formulas for \(a_{n}\), \(b_{n}\), \(c_{n}\), \(d_{n}\) are obtained.
When \(h\in {\mathbb {R}}\), the equation
can be also solved (especially for \(h=d\) and \(h=1a\)), since a particular solution to the equation can be found in the following form:
for some constants \(g_{j}\), \(j=\overline {0,3}\) (see, e.g., [1, 8]). From this and using (39)(44), formulas for \(u_{n}\) and \(v_{n}\) can be found, from which along with (55) and (57) formulas for \(x_{n}\) and \(y_{n}\) are obtained. Using the obtained formulas for these twelve sequences in (47) and (48), we obtain closed form formulas for solutions to system (2).
Forms of solutions to (2) for the case \(ac\ne bd\)
The characteristic polynomial associated to (26) is
which is of the third order due to the assumption \(ac\ne bd\). By using the change of variables \(\lambda =t+\frac{a}{3}\), the equation \(P_{3}(\lambda )=0\) becomes
where \(p=(a^{2}+3c)/3\) and \(q=(18ac27bd2a^{3})/27\), which is solved by looking for solutions in the form \(t=u+v\) and posing the condition \(3uv=p\). Then \(u^{3}\) and \(v^{3}\) are solutions of the equation \(z^{2}+qz\frac{p^{3}}{27}=0\), from which it follows that
where \(\varepsilon ^{3}=1\), \(\varepsilon \ne1\).
If the discriminant
is such that \(\Delta\ne0\), then all three zeros are different (if \(\Delta >0\) two zeros are complex conjugate, if \(\Delta <0\) all three zeros are real), whereas if \(\Delta =0\), at least two zeros are equal [41].
Case \(\Delta\ne0\). Since in this case the zeros of \(P_{3}\) are different, the general solution to (26) is
where \(\alpha _{i}\), \(i=\overline {1,3}\), are constants (in fact, (73) holds for every \(n\in {\mathbb {Z}}\) due to the assumption \(ac\ne bd\); see the relation in (27)).
Lemma 1 employed to \(P_{3}\) shows that
From (28), (73) and (74) it follows that
for \(n\ge2\).
Equalities (30) and (75) yield
If \(P_{3}(1)\ne0\), that is, \((a1)(c1)\ne bd\), then (76) yields
Using (74), it is easily seen that (77) holds for \(n\ge2\).
If \(P_{3}(1)=0\), that is, \((a1)(c1)=bd\), and \(P'(1)=32ac\ne0\), then
so that \(\lambda _{1}=1\),
and
Using (74) it is easily checked that (80) holds for \(n\ge2\) (for a detailed explanation, see [40]).
Corollary 1
Assume that \(a,b,c,d\in {\mathbb {Z}}\setminus\{0\}\), \(\alpha , \beta , z_{2}, z_{1}, w_{2}, w_{1}\in {\mathbb {C}}\setminus\{0\}\), \(ac\ne bd\) and \(\Delta \ne0\). Then the following statements hold.

(a)
If \((a1)(c1)\ne bd\), then the general solution to system (2) is given by (25) and (35), where \((a_{n})_{n\ge2}\) is given by (75), \((y_{n})_{n\ge2}\) is given by (77), and \(\lambda _{j}\), \(j=\overline {1,3}\), are given by (71).

(b)
If \((a1)(c1)=bd\) and \(2a+c\ne3\), then the general solution to system (2) is given by (25) and (35), where \((a_{n})_{n\ge2}\) is given by (75) with \(\lambda _{1}=1\), \((y_{n})_{n\ge2}\) is given by (80), \(\lambda _{1}=1\), while \(\lambda _{2,3}\) are given by (79).
Remark 2
As we have already mentioned, \(P_{3}\) has a zero equal to 1 if and only if \((a1)(c1)=bd\), so that (78) holds. The condition \(\Delta \ne0\) will be satisfied if and only if
For example, if \(a=c\in {\mathbb {Z}}\setminus\{0,1\}\) and \(bd=(a1)^{2}\ne0\), then \(\Delta \ne0\),
and conditions of Corollary 1(b) are satisfied. Note that \(\lambda _{1}=1\) and
Thus \(P_{3}\) can have three different zeros, one of which is equal to 1.
Case \(\Delta =0\) . In this case, \(P_{3}\) has at least two equal zeros. We may assume that \(\lambda _{2}=\lambda _{3}\). If \(p\ne0\), then \(\lambda _{2}\) is not a triple zero of \(P_{3}\), so the general solution to (26) is
where \(\hat{g}_{j}\), \(j=\overline {1,3}\), are constants. Since the solution satisfies (28), we can find it by letting \(\lambda _{3}\to \lambda _{2}\) in (75), and obtain
from which along with (30), we get
If we assume \(\lambda _{1}\ne1\ne \lambda _{2}=\lambda _{3}\), then (83) and Lemma 2 imply
Moreover, using (74) it is easily checked that (84) holds also for \(n\ge2\).
If we assume that \(\lambda _{1}\ne1\) and \(\lambda _{2}=\lambda _{3}=1\), then from (83) it follows that
Moreover, (85) holds also for \(n\ge2\). This case is obtained when \((a1)(c1)=bd\) and \(2a+c=3\), which implies
so that \(\lambda _{1}=a2\).
If we assume that \(\lambda _{1}=1\) and \(\lambda _{2}=\lambda _{3}\ne1\), then from (83) it follows that
Moreover, (86) holds also for \(n\ge2\).
If \(\Delta=p=0\), then \(\lambda _{1}=\lambda _{2}=\lambda _{3}\), so the general solution to (26) has the following form:
where \(\hat{\beta {_{1}}}, \hat{\beta {_{2}}}\) and \(\hat{\beta {_{3}}}\) are constants.
To find the solution to equation (26) satisfying (28) in this case, we can let \(\lambda _{2}\to \lambda _{1}\) in (82) and obtain
for \(n\ge2\), from which along with (30) we obtain
for every \(n\in {\mathbb {N}}\). Moreover, (89) holds also for \(n\ge2\).
If we assume that \(\lambda _{1}=\lambda _{2}=\lambda _{3}\ne1\), then from (87) and Lemma 2 it follows that
for every \(n\in {\mathbb {N}}\). In fact, (90) holds also for \(n\ge2\).
If we assume \(\lambda _{1}=\lambda _{2}=\lambda _{3}=1\), then from (87) and some calculation, we obtain
for every \(n\in {\mathbb {N}}\), which obviously holds for \(j=2,1,0\) (for more details, see [28, 40]).
Corollary 2
Assume that \(a,b,c,d\in {\mathbb {Z}}\setminus\{0\}\), \(\alpha , \beta , z_{2}, z_{1}, w_{2}, w_{1}\in {\mathbb {C}}\setminus\{0\}\), \(ac\ne bd\) and \(\Delta =0\). Then the following statements are true.

(a)
If \((a1)(c1)\ne bd\) and \(a^{2}+3c\ne0\), then the general solution to system (2) is given by (25) and (35), where \((a_{n})_{n\ge2}\) is given by (82), \((y_{n})_{n\ge2}\) is given by (84), while \(\lambda _{j}\), \(j=\overline {1,3}\) are given by (71).

(b)
If \((a1)(c1)=bd\), \(2a+c=3\) and \(a\ne3\), then the general solution to system (2) is given by (25) and (35), where \((a_{n})_{n\ge2}\) is given by (82) with \(\lambda _{2}=1\), \((y_{n})_{n\ge2}\) is given by (85), and \(\lambda _{1}=a2\).

(c)
If \((a1)(c1)=bd\), \(2a+c\ne3\), then the general solution to system (2) is given by (25) and (35), where \((a_{n})_{n\ge2}\) is given by (82) with \(\lambda _{1}=1\), \((y_{n})_{n\ge2}\) is given by (86), \(\lambda _{1}=1\), while \(\lambda _{2,3}\) are given by (79).

(d)
If \((a1)(c1)\ne bd\) and \(a^{2}+3c=0\), then the general solution to system (2) is given by (25) and (35), where \((a_{n})_{n\ge2}\) is given by (88), \((y_{n})_{n\ge2}\) is given by (90), while \(\lambda _{j}=a/3\), \(j=\overline {1,3}\).

(e)
If \((a1)(c1)=bd\) and \(2a+c=3\) and \(a=3\), then the general solution to system (2) is given by (25) and (35), where \((a_{n})_{n\ge2}\) is given by (88) with \(\lambda _{1}=1\), while \((y_{n})_{n\ge2}\) is given by (91).
Remark 3
Recall that equation (70) will have a zero equal to one if \((a1)(c1)=bd\). If \(\lambda =m\in {\mathbb {Z}}\setminus \{0\}\) is a double zero of \(P_{3}\), then it must be
From (93) we have that \(c=3m^{2}2am\). Using this in (92), we get
From this, and since \(ac\ne bd\), it follows that \(a\ne2m\). Since \(P_{3}''(m)\ne0\), we also have that it must be \(a\ne3m\). Hence, for every \(m\in {\mathbb {Z}}\setminus\{0\}\) and \(a\in {\mathbb {Z}}\) such that \(2m\ne a\ne 3m\), the polynomials in (94) are of type (70), and they have exactly two equal zeros \(\lambda _{1}=\lambda _{2}=m\ne \lambda _{3}=a2m\), and if additionally \(m\ne1\) and \(a\ne2m+1\) hold, we see that the conditions of Corollary 2(a) are satisfied. For \(m=1\) and \(a\ne3\), it is obtained that \(P_{3}\) can have 1 as a double zero, which means that such polynomials satisfy the conditions of Corollary 2(b). For \(a=2m+1\), we get a polynomial which has a double zero different from 1, which is its third zero. This means that such polynomials satisfy the conditions of Corollary 2(c).
The polynomial has three equal zeros only if \(q=0\), which along with \(\Delta =0\) implies \(p=0\). Hence, we have \(c=a^{2}/3\) and \(8ac=9bd\), which implies that \(c_{1}=a^{3}/27\), so that
Since c must be an integer, it follows that \(a=3\hat{a}\) for some \(\hat{a}\in {\mathbb {Z}}\), so that \(c=3\hat{a}^{2}\) and \(c_{1}=\hat{a}^{3}\). Hence, for each \(\hat{a}\in {\mathbb {Z}}\setminus\{0\}\), these relations give polynomials of the form in (70) which have three equal zeros. This means that such polynomials satisfy the conditions of Corollary 2(d). When \(a=3\), polynomial \(P_{3}\) has 1 as a triple zero, which means that there is a polynomial satisfying the conditions of Corollary 2(e).
Before we formulate our next result, we want to say that the solution to the difference equation
with initial values \(z_{0}, z_{1}\in {\mathbb {C}}\), where \(a\in {\mathbb {C}}\) and \(b\in {\mathbb {C}}\setminus\{0\}\), is given by
if \(\lambda _{1}\ne \lambda _{2}\), and
if \(\lambda _{1}=\lambda _{2}\), where \(\lambda _{1}\) and \(\lambda _{2}\) are the zeros of the characteristic polynomial \(P_{2}(\lambda )=\lambda^{2}+a\lambda+b\). This simple result is well known and can be essentially found in any book on difference equations and many papers [6, 8, 25].
Theorem 5
Assume that \(a,b,c,d\in {\mathbb {Z}}\), \(ac=bd\), \(cd\ne0\), \(\alpha ,\beta \in {\mathbb {C}}\setminus\{0\}\) and \(z_{2}, z_{1}, w_{2}, w_{1}\in {\mathbb {C}}\setminus\{0\}\). Then the following statements hold.

(a)
If \(a^{2}\ne4c\) and \(a+c\ne1\), then the general solution to system (2) is given by the following formulas:
$$\begin{aligned} z_{n}={}&\alpha ^{\frac{1}{1ac} \bigl(a\frac{(\lambda _{2}1)\lambda _{1}^{n+1}(\lambda _{1}1)\lambda _{2}^{n+1}}{\lambda _{1}\lambda _{2}}+1c \bigr)} \\ &{}\times \beta ^{\frac{ac}{d(a+c1)} \bigl(\frac{(\lambda _{2}1)\lambda _{1}^{n+1}(\lambda _{1}1)\lambda _{2}^{n+1}}{\lambda _{2}\lambda _{1}}1 \bigr)} z_{2}^{ac\frac{\lambda _{1}^{n}\lambda _{2}^{n}}{\lambda _{1}\lambda _{2}}} \\ &{}\times z_{1}^{a\frac{\lambda _{1}^{n+1}\lambda _{2}^{n+1}}{\lambda _{1}\lambda _{2}}}w_{2}^{\frac{ac^{2}}{d}\frac{\lambda _{1}^{n}\lambda _{2}^{n}}{\lambda _{1}\lambda _{2}}} w_{1}^{\frac{ac}{d}\frac{\lambda _{1}^{n+1}\lambda _{2}^{n+1}}{\lambda _{1}\lambda _{2}}} \end{aligned}$$(98)and
$$\begin{aligned} w_{n}={}&\alpha ^{\frac{d}{1ac} \bigl(\frac{(\lambda _{2}1)\lambda _{1}^{n}(\lambda _{1}1)\lambda _{2}^{n}}{\lambda _{1}\lambda _{2}}+1 \bigr)}\beta ^{\frac{1}{a+c1} \bigl(c\frac{(\lambda _{2}1)\lambda _{1}^{n}(\lambda _{1}1)\lambda _{2}^{n}}{\lambda _{2}\lambda _{1}}+a1 \bigr)} \\ &{}\times z_{2}^{cd\frac{\lambda _{1}^{n1}\lambda _{2}^{n1}}{\lambda _{1}\lambda _{2}}}z_{1}^{d\frac{\lambda _{1}^{n}\lambda _{2}^{n}}{\lambda _{1}\lambda _{2}}}w_{2}^{c^{2}\frac{\lambda _{1}^{n1}\lambda _{2}^{n1}}{\lambda _{1}\lambda _{2}}}w_{1}^{c\frac{\lambda _{1}^{n}\lambda _{2}^{n}}{\lambda _{1}\lambda _{2}}}, \end{aligned}$$(99)where
$$\begin{aligned} \lambda _{1,2}=\frac{a+\sqrt{a^{2}+4c}}{2}. \end{aligned}$$(100) 
(b)
If \(a^{2}=4c\) and \(a+c\ne1\), then the general solution to system (2) is given by the following formulas:
$$\begin{aligned} z_{n}={}&\alpha ^{\frac{1}{a+c1} (((n+1)\lambda _{1}^{3}+(n+2)\lambda _{1}^{2}+c(n1)\lambda _{1}cn)\lambda _{1}^{n1}+c1 )} \\ &{}\times \beta ^{\frac{c}{d(a+c1)} (((n+1)\lambda _{1}^{3}+(n+2)\lambda _{1}^{2}+c(n1)\lambda _{1}cn)\lambda _{1}^{n1}a )}z_{2}^{(c(n1)(n+1)\lambda _{1}^{2})\lambda _{1}^{n}} \\ &{}\times z_{1}^{((n+2)\lambda _{1}^{2}cn)\lambda _{1}^{n1}}w_{2}^{\frac{c}{d}(c(n1)(n+1)\lambda _{1}^{2})\lambda _{1}^{n}}w_{1}^{\frac{c}{d}((n+2)\lambda _{1}^{2}cn)\lambda _{1}^{n1}} \end{aligned}$$(101)and
$$\begin{aligned} w_{n}={}&\alpha ^{\frac{d}{a+c1}((\lambda _{1}+n(1\lambda _{1}))\lambda _{1}^{n1}1)}\beta ^{\frac{1}{a+c1} (c(\lambda _{1}+(1\lambda _{1})n)\lambda _{1}^{n1}+a1 )}z_{2}^{d(1n)\lambda _{1}^{n}} \\ &{}\times z_{1}^{dn\lambda _{1}^{n1}}w_{2}^{c(1n)\lambda _{1}^{n}}w_{1}^{cn\lambda _{1}^{n1}}, \end{aligned}$$(102)where
$$\begin{aligned} \lambda _{1}=a/2. \end{aligned}$$(103) 
(c)
If \(a^{2}\ne4c\) and \(a+c=1\), then the general solution to system (2) is given by the following formulas:
$$\begin{aligned} z_{n}={}&\alpha ^{\frac {a(a1)^{n+1}n(a1)^{2}3(a1)+n+1}{(a2)^{2}}} \\ &{}\times \beta ^{\frac {a(a1)^{n+2}+na(1a)(2a)+a(a1)^{2}}{d(2a)^{2}}}z_{2}^{a(a1)\frac {(a1)^{n}1}{2a}} \\ &{}\times z_{1}^{a\frac{(a1)^{n+1}1}{a2}}w_{2}^{\frac {a(a1)^{2}((a1)^{n}1)}{d(a2)}}w_{1}^{\frac {a(a1)((a1)^{n+1}1)}{d(2a)}} \end{aligned}$$(104)and
$$\begin{aligned} w_{n}={}&\alpha ^{\frac{d((a1)^{n}+n(1a)+n1)}{(a2)^{2}}}\beta ^{\frac {(a1)^{n+1}+(2a)^{2}1+a+n(1a)(2a)}{(2a)^{2}}}z_{2}^{d(a1)\frac {(a1)^{n1}1}{2a}} \\ &{}\times z_{1}^{d\frac{(a1)^{n}1}{a2}}w_{2}^{\frac {(a1)^{2}((a1)^{n1}1)}{a2}}w_{1}^{\frac {(a1)((a1)^{n}1)}{2a}}. \end{aligned}$$(105) 
(d)
If \(a^{2}=4c\) and \(a+c=1\), then the general solution to system (2) is given by the following formulas:
$$\begin{aligned} z_{n}=\alpha ^{n^{2}+n+1}\beta ^{b\frac {n(n+1)}{2}}z_{2}^{2n}z_{1}^{2n+2}w_{2}^{bn}w_{1}^{b(n+1)} \end{aligned}$$(106)and
$$\begin{aligned} w_{n}=\alpha ^{\frac{d(n1)n}{2}}\beta ^{\frac {2+nn^{2}}{2}}z_{2}^{d(1n)}z_{1}^{dn}w_{2}^{n1}w_{1}^{n}. \end{aligned}$$(107)
Proof
First note that in this case equalities (49)(66) also hold. Since \(ac=bd\) and \(c\ne0\), we have
for \(n\in {\mathbb {N}}_{0}\), while operator A defined in (67) becomes
Now, equation (68) is of the second order, so solvable in closed form. Consequently, (110)(113) are solvable, so that closed form formulas for \(\alpha _{n}\), \(\beta _{n}\), \(\gamma _{n}\), \(\delta_{n}\) can be found by employing the corresponding conditions in (39)(44). Such obtained formulas along with (59)(62) yield formulas for \(a_{n}\), \(b_{n}\), \(c_{n}\), \(d_{n}\). Further, (69) is also solvable, since a particular solution to the equation has the form
for some constants \(\hat{d}_{j}\), \(j=\overline {0,2}\). Specially, it is solved for \(f=d\) and \(f=1a\), which gives formulas for the sequences \(u_{n}\) and \(v_{n}\), and consequently closed form formulas for \(x_{n}\) and \(y_{n}\). Using such obtained formulas in (47) and (48), we get formulas for solutions to system (2) in this case.
(a) Case \(a^{2}+4c\ne0\), \(a+c\ne1\). In this case, a particular solution to equation (108) is
so that
where
from which along with \(u_{0}=u_{1}=0\) it follows that
and consequently
Particular solution to equation (109) in this case is
so that
where \(\lambda _{1,2}\) are given by (115), from which along with \(v_{0}=v_{1}=1\) it follows that
and consequently
By using the corresponding conditions in (43)(46) in formula (96), we get
By using (121)(124) in (59)(62), we get
Using (116), (117), (119)(128) in (47) and (48), as well as the fact that \(\lambda _{1,2}\) are roots of the polynomial \(\lambda ^{2}a\lambda c\), and after some standard calculations, formulas (98) and (99) are obtained.
(b) Case \(a^{2}+4c=0\), \(a+c\ne1\). In this case, we have \(\lambda _{1}=\lambda _{2}\ne1\) and a particular solution to equation (108) is given by (114), so that
where \(\lambda _{1}\) is given by (103), from which along with \(u_{0}=u_{1}=0\) it follows that
and consequently
Particular solution to equation (109) in this case is given by (118), so that
where \(\lambda _{1}\) is given by (103), from which along with \(v_{0}=v_{1}=1\) it follows that
and consequently
By using the corresponding conditions in (43)(46) in formula (97), we get
By using (133)(136) in (59)(62), we get
Using the equalities in (129)(140), in (47) and (48), formulas (101) and (102) are obtained.
(c) Case \(a^{2}+4c\ne0\), \(a+c=1\). In this case, we have that \(\lambda _{1}\ne1=\lambda _{2}\) and that a particular solution to equation (108) is given by
so that
where \(\lambda _{1}=c=a1\), from which along with \(u_{0}=u_{1}=0\) it follows that
and consequently
Particular solution to equation (109) in this case is given by
so that
from which along with \(v_{0}=v_{1}=1\) it follows that
and consequently
By using the corresponding conditions in (43)(46) in formula (96), we get
By using (147)(150) in (59)(62), we get
Using (142), (143), (145)(154) in (47) and (48), formulas (104) and (105) are obtained.
(d) Case \(a^{2}+4c=0\), \(a+c=1\). In this case, we have that \(a=2\) and \(c=1\). We also have that \(\lambda _{1}=\lambda _{2}=1\), and that a particular solution to equation (108) is given by
so that
from which along with \(u_{0}=u_{1}=0\) it follows that \(c_{1}=0\) and \(c_{2}=\frac{d}{2}\), and consequently
Particular solution to equation (109) in this case is given by
so that
from which along with \(v_{0}=v_{1}=1\) it follows that \(d_{1}=1\) and \(d_{2}=1/2\), and consequently
By using the corresponding conditions in (43)(46) in formula (97), we get
By using (161)(164) in (59)(62), we get
Using (156), (157), (159)(168) in (47) and (48), formulas (106) and (107) are obtained.
By some calculation it can be proved that formulas (99)(107) really satisfy system (2), which was checked by the author. □
References
Agarwal, RP: Difference Equations and Inequalities: Theory, Methods, and Applications, 2nd edn. Dekker, New York (2000)
AndruchSobilo, A, Migda, M: Further properties of the rational recursive sequence \(x_{n+1}=ax_{n1}/(b+cx_{n}x_{n1})\). Opusc. Math. 26(3), 387394 (2006)
AndruchSobilo, A, Migda, M: On the rational recursive sequence \(x_{n+1}=ax_{n1}/(b+cx_{n}x_{n1})\). Tatra Mt. Math. Publ. 43, 19 (2009)
Berg, L, Stević, S: On some systems of difference equations. Appl. Math. Comput. 218, 17131718 (2011)
Jordan, C: Calculus of Finite Differences. Chelsea, New York (1956)
Krechmar, VA: A Problem Book in Algebra. Mir, Moscow (1974)
Levy, H, Lessman, F: Finite Difference Equations. Dover, New York (1992)
Mitrinović, DS, Kečkić, JD: Methods for Calculating Finite Sums. Naučna Knjiga, Beograd (1984) (in Serbian)
Papaschinopoulos, G, Fotiades, N, Schinas, CJ: On a system of difference equations including negative exponential terms. J. Differ. Equ. Appl. 20(56), 717732 (2014)
Papaschinopoulos, G, Psarros, N, Papadopoulos, KB: On a system of m difference equations having exponential terms. Electron. J. Qual. Theory Differ. Equ. 2015, Article ID 5 (2015)
Papaschinopoulos, G, Radin, M, Schinas, CJ: On the system of two difference equations of exponential form \(x_{n+1}=a+bx_{n1}e^{y_{n}}\), \(y_{n+1}=c+dy_{n1}e^{x_{n}}\). Math. Comput. Model. 54(1112), 29692977 (2011)
Papaschinopoulos, G, Schinas, CJ: On a system of two nonlinear difference equations. J. Math. Anal. Appl. 219(2), 415426 (1998)
Papaschinopoulos, G, Schinas, CJ: On the behavior of the solutions of a system of two nonlinear difference equations. Commun. Appl. Nonlinear Anal. 5(2), 4759 (1998)
Papaschinopoulos, G, Schinas, CJ: Invariants for systems of two nonlinear difference equations. Differ. Equ. Dyn. Syst. 7(2), 181196 (1999)
Papaschinopoulos, G, Schinas, CJ: Invariants and oscillation for systems of two nonlinear difference equations. Nonlinear Anal. TMA 46(7), 967978 (2001)
Papaschinopoulos, G, Schinas, CJ: On the dynamics of two exponential type systems of difference equations. Comput. Math. Appl. 64(7), 23262334 (2012)
Papaschinopoulos, G, Stefanidou, G: Asymptotic behavior of the solutions of a class of rational difference equations. Int. J. Difference Equ. 5(2), 233249 (2010)
Stefanidou, G, Papaschinopoulos, G, Schinas, C: On a system of max difference equations. Dyn. Contin. Discrete Impuls. Syst. Ser. A 14(6), 885903 (2007)
Stefanidou, G, Papaschinopoulos, G, Schinas, CJ: On a system of two exponential type difference equations. Commun. Appl. Nonlinear Anal. 17(2), 113 (2010)
Stević, S: On a generalized maxtype difference equation from automatic control theory. Nonlinear Anal. TMA 72, 18411849 (2010)
Stević, S: On the difference equation \(x_{n}=x_{nk}/(b+cx_{n1}\cdots x_{nk})\). Appl. Math. Comput. 218, 62916296 (2012)
Stević, S: Solutions of a maxtype system of difference equations. Appl. Math. Comput. 218, 98259830 (2012)
Stević, S: Domains of undefinable solutions of some equations and systems of difference equations. Appl. Math. Comput. 219, 1120611213 (2013)
Stević, S: Firstorder producttype systems of difference equations solvable in closed form. Electron. J. Differ. Equ. 2015, Article ID 308 (2015)
Stević, S: Representation of solutions of bilinear difference equations in terms of generalized Fibonacci sequences. Electron. J. Qual. Theory Differ. Equ. 2014, Article ID 67 (2014)
Stević, S: Producttype system of difference equations of secondorder solvable in closed form. Electron. J. Qual. Theory Differ. Equ. 2015, Article ID 56 (2015)
Stević, S: New solvable class of producttype systems of difference equations on the complex domain and a new method for proving the solvability. Electron. J. Qual. Theory Differ. Equ. 2016, Article ID 120 (2016)
Stević, S: Solvability of a producttype system of difference equations with six parameters. Adv. Nonlinear Anal. (in press). doi:10.1515/anona20160145
Stević, S: Solvable subclasses of a class of nonlinear secondorder difference equations. Adv. Nonlinear Anal. 5(2), 147165 (2016)
Stević, S: Solvable producttype system of difference equations whose associated polynomial is of the fourth order. Electron. J. Qual. Theory Differ. Equ. 2017, Article ID 13 (2017)
Stević, S, Alghamdi, MA, Alotaibi, A, Elsayed, EM: Solvable producttype system of difference equations of second order. Electron. J. Differ. Equ. 2015, Article ID 169 (2015)
Stević, S, Alghamdi, MA, Alotaibi, A, Shahzad, N: Boundedness character of a maxtype system of difference equations of second order. Electron. J. Qual. Theory Differ. Equ. 2014, Article ID 45 (2014)
Stević, S, Diblik, J, Iričanin, B, Šmarda, Z: On a thirdorder system of difference equations with variable coefficients. Abstr. Appl. Anal. 2012, Article ID 508523 (2012)
Stević, S, Diblik, J, Iričanin, B, Šmarda, Z: On some solvable difference equations and systems of difference equations. Abstr. Appl. Anal. 2012, Article ID 541761 (2012)
Stević, S, Diblik, J, Iričanin, B, Šmarda, Z: On a solvable system of rational difference equations. J. Differ. Equ. Appl. 20(56), 811825 (2014)
Stević, S, Diblik, J, Iričanin, B, Šmarda, Z: Solvability of nonlinear difference equations of fourth order. Electron. J. Differ. Equ. 2014, Article ID 264 (2014)
Stević, S, Iričanin, B, Šmarda, Z: On a producttype system of difference equations of second order solvable in closed form. J. Inequal. Appl. 2015, Article ID 327 (2015)
Stević, S, Iričanin, B, Šmarda, Z: Solvability of a close to symmetric system of difference equations. Electron. J. Differ. Equ. 2016, Article ID 159 (2016)
Stević, S, Iričanin, B, Šmarda, Z: Twodimensional producttype system of difference equations solvable in closed form. Adv. Differ. Equ. 2016, Article ID 253 (2016)
Stević, S, Ranković, D: On a practically solvable producttype system of difference equations of second order. Electron. J. Qual. Theory Differ. Equ. 2016, Article ID 56 (2016)
Faddeyev, DK: Lectures on Algebra. Nauka, Moscow (1984) (in Russian)
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
Author’s contributions
The author contributed solely to the writing of this paper. He read and approved the manuscript.
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
Stević, S. Solution to the solvability problem for a class of producttype systems of difference equations. Adv Differ Equ 2017, 151 (2017). https://doi.org/10.1186/s1366201712044
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201712044
MSC
 39A20
 39A45
Keywords
 solvability problem
 system of difference equations
 producttype system
 solutions in closed form