Advances in Difference Equations

, 2019:431

Some representations of the general solution to a difference equation of additive type

Open Access
Research

Abstract

The general solution to the difference equation
$$x_{n+1}=\frac {ax_{n}x_{n-1}x_{n-2}+bx_{n-1}x_{n-2}+cx_{n-2}+d}{x_{n}x_{n-1}x_{n-2}},\quad n\in\mathbb{N}_{0},$$
where $$a, b, c\in\mathbb{C}$$, $$d\in\mathbb{C}\setminus\{0\}$$, is presented by using the coefficients, the initial values $$x_{-j}$$, $$j=\overline{0,2}$$, and the solution to the difference equation
$$y_{n+1}=ay_{n}+by_{n-1}+cy_{n-2}+dy_{n-3}, \quad n\in\mathbb{N}_{0},$$
satisfying the initial conditions $$y_{-3}=y_{-2}=y_{-1}=0$$, $$y_{0}=1$$. The representation complements known ones of the general solutions to the corresponding difference equations of the first and second order. Besides, the general representation formula is investigated in detail and refined by using the roots of the characteristic polynomial
$$P_{4}(\lambda )=\lambda ^{4}-a\lambda ^{3}-b\lambda ^{2}-c\lambda -d$$
of the linear equation. The following cases are considered separately: (1) all the roots of the polynomial are distinct; (2) there is a unique double root of the polynomial; (3) there is a triple root of the polynomial and one simple; (4) there is a quadruple root of the polynomial; (5) there are two distinct double roots of the polynomial.

Keywords

Third-order difference equation Solvable difference equation Linear difference equation Representation of solutions

MSC

39A20 39A06 39A45

1 Introduction

Regarding some notations which are used in this paper, say that we denote the sets of positive, nonnegative, integer, and complex numbers by $${\mathbb {N}}$$, $${\mathbb {N}}_{0}$$, $${\mathbb {Z}}$$, and $${\mathbb {C}}$$, respectively. If $$l_{1},l_{2}\in {\mathbb {Z}}$$, $$l_{1}\le l_{2}$$, then the notation $$l=\overline {l_{1},l_{2}}$$, which is frequently used throughout the paper, denotes the set of all $$l\in {\mathbb {Z}}$$ satisfying the inequalities $$l_{1}\le l\le l_{2}$$. We also use the standard convention $$\prod_{j=k}^{k-1}a_{j}=1$$, $$k\in {\mathbb {Z}}$$.

A method for solving the linear difference equation
\begin{aligned} x_{n+k}=a_{k-1}x_{n+k-1}+\cdots+a_{0}x_{n}, \quad n\ge l, \end{aligned}
(1)
where $$k\in {\mathbb {N}}$$, $$l\in {\mathbb {Z}}$$, $$a_{j}\in {\mathbb {C}}$$, $$j=\overline {0,k-1}$$, $$a_{0}\ne 0$$, has been known to de Moivre yet . See also Euler’s book  where some old results on solvability can be found. Solvability theory of linear difference equations was developed later, and it became a standard topic of almost any book on difference equations (see, e.g., [3, 4, 5, 6, 7, 8, 9, 10]). Equation (1) is practically solvable when $$k\le4$$, whereas if $$k>5$$ then it is theoretically solvable. These facts are consequences of a well-known form of the general solution to the equation (see, e.g., [3, 4, 5, 6, 7, 8, 9, 10]), as well as of the Abel–Ruffini theorem on solvability of the polynomial equations by radicals .

Solvability of equation (1) of the corresponding nonhomogeneous linear difference equation, as well as of the nonhomogeneous linear first-order difference equation whose coefficients can be nonconstant, is frequently used in pure and applied mathematics as well as in other branches of science. For some recently studied classes of nonlinear difference equations and systems of nonlinear difference equations which have been solved by using one of these equations, see, e.g., [12, 13, 14, 15, 16, 17]. For some recent applications of their solvability, see, e.g., [18, 19, 20]. For example, by using solvability methods in  and , some classes of difference equations are transformed to “integral” forms, which are usually more suitable for studying the existence of bounded or periodic solutions to difference equations than the equations in their original forms.

Employing various changes of variables, many classes of nonlinear difference equations can be transformed to special cases of equation (1), from which solvability of the nonlinear equations can follow.

One of the first of such nonlinear difference equations which appeared in the literature is the following:
\begin{aligned} x_{n+1}=\frac{\alpha x_{n}+\beta }{\gamma x_{n}+\delta},\quad n\in {\mathbb {N}}_{0}, \end{aligned}
(2)
where $$\alpha ,\beta ,\gamma ,\delta,z_{0}\in {\mathbb {C}}$$ (the bilinear difference equation).
Namely, if $$\alpha \delta-\beta \gamma \ne0$$ and $$\gamma \ne0$$ (these conditions eliminate two simple cases), then the change of variables
\begin{aligned} x_{n}=\frac{y_{n+1}}{\gamma y_{n}}-\frac{\delta}{ \gamma },\quad n\in {\mathbb {N}}_{0}, \end{aligned}
(3)
transforms equation (2) to
\begin{aligned} y_{n+2}-(\alpha +\delta)y_{n+1}+(\alpha \delta-\beta \gamma )y_{n}=0, \quad n\in {\mathbb {N}}_{0}, \end{aligned}
(4)
(see, e.g., [3, 10, 21, 22, 23, 24, 25]).

For a method which uses an associated two-dimensional system of difference equations in solving equation (2), see, e.g.,  or . For some other results on the difference equation and for some applications of the equation, see, e.g., [3, 12, 25, 27, 28, 29, 30].

As an explanation for the study in this paper, let us note now that the change of variables
$$\widetilde{x}_{n}=\gamma x_{n}+\delta,\quad n\in {\mathbb {N}}_{0},$$
transforms equation (2) to
\begin{aligned} \widetilde{x}_{n+1}=\widetilde{\alpha }+\frac{\widetilde{\beta }}{\widetilde{x}_{n}},\quad n\in {\mathbb {N}}_{0}, \end{aligned}
(5)
where
$$\widetilde{\alpha }=\alpha +\delta\quad\mbox{and}\quad\widetilde{\beta {=}}\beta \gamma -\alpha \delta,$$
which further by the change of variables
\begin{aligned} \widetilde{x}_{n}=\frac{y_{n+1}}{y_{n}},\quad n\in {\mathbb {N}}_{0}, \end{aligned}
(6)
where $$y_{0}$$ is an arbitrary number different from zero, is transformed to equation (4), that is, to
\begin{aligned} y_{n+2}=\widetilde{\alpha }y_{n+1}+\widetilde{\beta {y}}_{n} \end{aligned}
(7)
for $$n\in {\mathbb {N}}_{0}$$.
The method for solving equation (5) by using the change of variables (6) is something which is known to any expert. It is much less known that a transformation which transforms equation (7) to equation (5) has been essentially known for more than two centuries and can be found in book  by Vincenzo Brunacci. Namely, in nowadays notation, he employed the following change of variables:
\begin{aligned} y_{n}=A\prod_{j=0}^{n}z_{j}, \quad n\in {\mathbb {N}}_{0}, \end{aligned}
(8)
from which after some calculation and cancelation, where is tacitly assumed that $$z_{n}\ne0$$, $$n\in {\mathbb {N}}_{0}$$, equation (7) becomes
$$z_{n+2}z_{n+1}=\widetilde{\alpha }z_{n+1}+\widetilde{\beta {,}} \quad n\in {\mathbb {N}}_{0},$$
and consequently,
$$z_{n+2}=\widetilde{\alpha }+\frac{\widetilde{\beta }}{z_{n+1}},\quad n\in {\mathbb {N}}_{0}.$$
Note that the last difference equation is equation (5) with indices shifted forward for one.

Remark 1

Note that the change of variables
\begin{aligned} y_{n}=y_{0}\prod_{j=0}^{n-1}x_{j}, \quad n\in {\mathbb {N}}_{0}, \end{aligned}
(9)
transforms equation (7) to equation (5) directly, and that the change of variables is quite natural.
Namely, from relation (6), where $$\widetilde{x}_{n}$$ is replaced by $$x_{n}$$, it immediately follows that
$$y_{n}=x_{n-1}y_{n-1},\quad n\in {\mathbb {N}},$$
which is a simple product-type recurrent relation from which relation (9) is easily obtained.

This should be the main reason why Brunacci tried to solve equation (7) by using the change of variables (8). It is also interesting to note that in this way Brunacci “solved” equation (7) in terms of a product of continuous fractions, which is, in fact, a quite complicated representation of general solution to the difference equation.

Now note that the change of variables (8), where $$y_{n}$$ is replaced by $$x_{n}$$, transforms equation (1) to the following:
\begin{aligned} z_{n+k}=a_{k-1}+\frac{a_{k-2}}{z_{n+k-1}}+\cdots +\frac{a_{0}}{\prod_{j=1}^{k-1}z_{n+j}} \end{aligned}
(10)
for $$n\ge l$$.
In  we explained why the general solutions to some special cases of the difference equations in (2), as well as the general solutions to some special cases of the corresponding two-dimensional systems of difference equations, can be written in terms of the Fibonacci sequence, that is, in terms of the solution to the difference equation
$$x_{n+1}=x_{n}+x_{n-1},\quad n\in {\mathbb {N}},$$
such that
\begin{aligned} x_{0}=0\quad\mbox{and}\quad x_{1}=1. \end{aligned}
(11)
(Many facts related to the Fibonacci sequence and its numerous applications in various branches in mathematics can be found, e.g., in books  and ; see also  and  for some basic facts and relations concerning the sequence). Moreover, we have shown that the general solution to equation (2), as well as the general solution to the corresponding two-dimensional system of difference equations, can be written in terms of their coefficients, initial values, and the solution to an associated second-order linear difference equation with constant coefficients satisfying the initial conditions in (11).

Our further investigations on solvability of difference equations and systems of difference equations have shown that these solutions, the solutions to the linear difference equations with constant coefficients of the third order such that $$x_{-2}=x_{-1}=0$$ and $$x_{0}=1$$, as well as the solutions to the linear difference equations with constant coefficients of the fourth order such that $$x_{-3}=x_{-2}=x_{-1}=0$$ and $$x_{0}=1$$, naturally appear in representations of general solutions to several other classes of difference equations and systems of difference equations. For example, they appear in papers [25, 28, 29, 30] predominately connected to the bilinear difference equations, as well as in the representations of general solutions to the product-type difference equations and systems of difference equations, e.g., in [15, 33, 34, 35, 36, 37, 38, 39] (see also the references therein).

For some other results on solvability of difference equations and systems of difference equations, related topics such as invariants for difference equations and systems, and their applications, see, e.g., [3, 5, 6, 7, 9, 10, 23, 26, 32, 40, 41, 42, 43, 44, 45, 46, 47].

If $$k=3$$, equation (10) can be written as follows:
\begin{aligned} x_{n+1}=a+\frac{b}{x_{n}}+\frac{c}{x_{n}x_{n-1}} \end{aligned}
(12)
for $$n\in {\mathbb {N}}_{0}$$.
Employing the change of variables
\begin{aligned} x_{n}=\frac{y_{n}}{y_{n-1}},\quad n\ge-1, \end{aligned}
(13)
it is transformed to
\begin{aligned} y_{n+1}=ay_{n}+by_{n-1}+cy_{n-2},\quad n\in {\mathbb {N}}_{0}, \end{aligned}
(14)
which is clearly solvable.

Motivated, among other things, by some results in [15, 25, 33, 34, 35, 36, 37, 38, 39], recently in  we have proved the following theorem extending and theoretically explaining a recent result in the literature.

Theorem 1

Let$$a, b\in {\mathbb {C}}$$, $$c\in {\mathbb {C}}\setminus \{0\}$$, and let$$(t_{n})_{n\ge-2}$$be the solution to equation (14) such that
\begin{aligned} t_{-2}=t_{-1}=0,\quad t_{0}=1. \end{aligned}
(15)
Then every well-defined solution to equation (12) has the following representation:
\begin{aligned} x_{n}=\frac {x_{0}x_{-1}t_{n}+x_{-1}(t_{n+1}-at_{n})+ct_{n-1}}{x_{0}x_{-1}t_{n-1}+x_{-1}(t_{n}-at_{n-1})+ct_{n-2}} \end{aligned}
(16)
for$$n\ge-1$$.
It is a natural problem to obtain the corresponding representation of the general solution to the following difference equation:
\begin{aligned} x_{n+1}=a+\frac{b}{x_{n}}+\frac{c}{x_{n}x_{n-1}}+\frac {d}{x_{n}x_{n-1}x_{n-2}},\quad n\in {\mathbb {N}}_{0}, \end{aligned}
(17)
where $$a, b, c\in {\mathbb {C}}$$, $$d\in {\mathbb {C}}\setminus\{0\}$$.
Our aim here is to solve the problem. Besides, we also present more concrete representations of the general solution to equation (17) by using the roots of the polynomial
\begin{aligned} P_{4}(\lambda )=\lambda ^{4}-a\lambda ^{3}-b\lambda ^{2}-c \lambda -d, \end{aligned}
(18)
which is associated with a naturally chosen linear difference equation with constant coefficients.

The following cases are considered separately: (1) all the roots of the polynomial are distinct; (2) there is a unique double root of the polynomial; (3) there is a triple root of the polynomial and one simple; (4) there is a quadruple root of the polynomial; (5) there are two distinct double roots of the polynomial.

2 Main results

The main results in this paper are stated and proved in this section.

2.1 A representation of general solution to equation (17)

Our first result concerns the problem of representing the general solution to equation (17) in terms of the parameters a, b, c, d, initial values, and a specially chosen solution to a linear difference equation with constant coefficients of the fourth order associated with the equation. It complements known representations of the general solutions to the corresponding difference equation of the first order (i.e., of equation (5)), as well as of the second order (i.e., of equation (12)).

Theorem 2

Let$$a, b, c\in {\mathbb {C}}$$, $$d\in {\mathbb {C}}\setminus\{0\}$$, and$$(s_{n})_{n\ge-2}$$be the solution to the equation
\begin{aligned} y_{n+1}=ay_{n}+by_{n-1}+cy_{n-2}+dy_{n-3}, \quad n\in {\mathbb {N}}_{0}, \end{aligned}
(19)
such that
\begin{aligned} s_{-3}=s_{-2}=s_{-1}=0,\quad s_{0}=1. \end{aligned}
(20)
Then every well-defined solution to equation (17) has the following representation:
\begin{aligned} x_{n}=\frac {s_{n}x_{0}x_{-1}x_{-2}+(s_{n+1}-as_{n})x_{-1}x_{-2}+(cs_{n-1}+ds_{n-2})x_{-2}+ds_{n-1}}{ s_{n-1}x_{0}x_{-1}x_{-2}+(s_{n}-as_{n-1})x_{-1}x_{-2}+(cs_{n-2}+ds_{n-3})x_{-2}+ds_{n-2}} \end{aligned}
(21)
for$$n\ge-2$$.

Proof

We consider the following four cases: (1) $$a\ne0$$, (2) $$a=0$$, $$b\ne0$$, (3) $$a=b=0$$, $$c\ne0$$, (4) $$a=b=c=0$$, separately.

Case$$a\ne0$$. The first part of the proof in this case was essentially presented in  (see also [36, 38]). Hence, we will present only essential details for the completeness and benefit of the reader.

First note that, by employing (13) in equation (17), it is transformed to equation (19).

Let
\begin{aligned} \alpha _{1}:=a,\qquad \beta _{1}:=b,\qquad \gamma _{1}:=c,\qquad \delta _{1}:=d. \end{aligned}
(22)
Employing (19), where n is replaced by $$n-2$$, in relation (19), where n is replaced by $$n-1$$, and using (22), we have
\begin{aligned} y_{n} &=\alpha _{1}(ay_{n-2}+by_{n-3}+cy_{n-4}+dy_{n-5})+ \beta _{1}y_{n-2}+\gamma _{1}y_{n-3}+ \delta_{1}y_{n-4} \\ &=\alpha _{2}y_{n-2}+\beta _{2}y_{n-3}+ \gamma _{2}y_{n-4}+\delta_{2}y_{n-5} \end{aligned}
(23)
for $$n\ge2$$, where
\begin{aligned} \alpha _{2}:=a\alpha _{1}+\beta _{1},\qquad \beta _{2}:=b \alpha _{1}+\gamma _{1},\qquad \gamma _{2}:=c\alpha _{1}+ \delta_{1},\qquad\delta_{2}:=d\alpha _{1}. \end{aligned}
(24)
Assume that for an $$l\in {\mathbb {N}}\setminus\{1\}$$ and all $$n\ge l$$, we have proved
\begin{aligned} y_{n}=\alpha _{l}y_{n-l}+\beta _{l}y_{n-l-1}+ \gamma _{l}y_{n-l-2}+\delta _{l}y_{n-l-3} \end{aligned}
(25)
and
\begin{aligned} \alpha _{l}=a\alpha _{l-1}+\beta _{l-1},\qquad \beta _{l}=b \alpha _{l-1}+\gamma _{l-1},\qquad \gamma _{l}=c\alpha _{l-1}+ \delta_{l-1},\qquad\delta_{l}=d\alpha _{l-1}. \end{aligned}
(26)
Employing relation (19) where n is replaced by $$n-l-1$$ in (25), it follows that
\begin{aligned} y_{n}={}&\alpha _{l}(ay_{n-l-1}+by_{n-l-2}+cy_{n-l-3}+dy_{n-l-4}) +\beta _{l}y_{n-l-1}+\gamma _{l}y_{n-l-2}+ \delta_{l}y_{n-l-3} \\ ={}&\alpha _{l+1}y_{n-l-1}+\beta _{l+1}y_{n-l-2}+ \gamma _{l+1}y_{n-l-3}+\delta _{l+1}y_{n-l-4} \end{aligned}
(27)
for $$n\ge l+1$$, where
\begin{aligned} \alpha _{l+1}:=a\alpha _{l}+\beta _{l},\qquad \beta _{l+1}:=b \alpha _{l}+\gamma _{l},\qquad \gamma _{l+1}:=c\alpha _{l}+ \delta_{l},\qquad\delta_{l+1}:=d\alpha _{l}. \end{aligned}
(28)
Relations (23), (24), (27), (28), and the induction imply that (25) and (26) hold $$2\le l\le n$$.
Since $$d\ne0$$, (26) can be used to calculate $$\alpha _{l}$$, $$\beta _{l}$$, $$\gamma _{l}$$, and $$\delta_{l}$$ for $$l\le0$$. Namely, by taking $$l=1,0,-1,-2$$, respectively, it easily follows that (see, e.g., [34, 38] for some details)
$$\begin{gathered} \alpha _{0}=1,\qquad \alpha _{-1}=0,\qquad \alpha _{-2}=0,\qquad \alpha _{-3}=0, \\ \beta _{0}=0,\qquad \beta _{-1}=1,\qquad \beta _{-2}=0,\qquad \beta _{-3}=0, \\ \gamma _{0}=0,\qquad \gamma _{-1}=0,\qquad \gamma _{-2}=1,\qquad \gamma _{-3}=0, \\ \delta_{0}=0,\qquad\delta_{-1}=0,\qquad\delta_{-2}=0, \qquad\delta_{-3}=1. \end{gathered}$$
(29)
The relations in (26) further yield
\begin{aligned}& \alpha _{n}=a\alpha _{n-1}+b\alpha _{n-2}+c\alpha _{n-3}+d \alpha _{n-4}, \end{aligned}
(30)
\begin{aligned}& \beta _{n}=\alpha _{n+1}-a\alpha _{n}, \end{aligned}
(31)
\begin{aligned}& \gamma _{n}=c\alpha _{n-1}+d\alpha _{n-2}, \end{aligned}
(32)
\begin{aligned}& \delta_{n}=d\alpha _{n-1} \end{aligned}
(33)
for $$n\in {\mathbb {Z}}$$ (since $$d\ne0$$).
If we take $$l=n$$ in (25), we obtain
\begin{aligned} y_{n}=\alpha _{n}y_{0}+\beta _{n}y_{-1}+ \gamma _{n}y_{-2}+\delta _{n}y_{-3} \end{aligned}
(34)
for $$n\in {\mathbb {N}}_{0}$$, from which along with (31)–(33), we get
\begin{aligned} y_{n}=\alpha _{n}y_{0}+(\alpha _{n+1}-a \alpha _{n})y_{-1}+(c\alpha _{n-1}+d\alpha _{n-2})y_{-2}+d \alpha _{n-1}y_{-3} \end{aligned}
(35)
for $$n\in {\mathbb {N}}_{0}$$ (in fact, (35) holds for every $$n\in {\mathbb {Z}}$$).
Using (35) in (13), we obtain
$$x_{n}=\frac{\alpha _{n}y_{0}+(\alpha _{n+1}-a\alpha _{n})y_{-1}+(c\alpha _{n-1}+d\alpha _{n-2})y_{-2}+d\alpha _{n-1}y_{-3}}{\alpha _{n-1}y_{0}+(\alpha _{n}-a\alpha _{n-1})y_{-1}+(c\alpha _{n-2}+d\alpha _{n-3})y_{-2}+d\alpha _{n-2}y_{-3}}$$
for $$n\ge-2$$, from which, along with (29) and (30), as well as the definition of the sequence $$s_{n}$$, it follows that
\begin{aligned} x_{n}=\frac {s_{n}y_{0}+(s_{n+1}-as_{n})y_{-1}+(cs_{n-1}+ds_{n-2})y_{-2}+ds_{n-1}y_{-3}}{s_{n-1}y_{0}+(s_{n}-as_{n-1})y_{-1}+(cs_{n-2}+ds_{n-3})y_{-2}+ds_{n-2}y_{-3}} \end{aligned}
(36)
for $$n\ge-2$$.
Case$$a=0$$,$$b\ne0$$. Since $$a=0$$, we have
\begin{aligned} y_{n+1}=by_{n-1}+cy_{n-2}+dy_{n-3},\quad n\in {\mathbb {N}}_{0}. \end{aligned}
(37)
Let
\begin{aligned} \widetilde{\beta {_{1}}}:=b,\qquad\widetilde{\gamma }_{1}:=c,\qquad \widetilde{\delta}_{1}:=d,\qquad\widetilde{\eta}_{1}:=0. \end{aligned}
(38)
Employing (37), where n is replaced by $$n-3$$, in equality (37), where n is replaced by $$n-1$$, we obtain
\begin{aligned} y_{n}&=\widetilde{\beta {_{1}}}(by_{n-4}+cy_{n-5}+dy_{n-6})+ \widetilde{\gamma }_{1}y_{n-3}+\widetilde{\delta}_{1}y_{n-4}+ \widetilde{\eta}_{1}y_{n-5} \\ &=\widetilde{\gamma }_{1}y_{n-3}+(b\widetilde{\beta {_{1}}}+ \widetilde{\delta}_{1})y_{n-4}+(c\widetilde{\beta {_{1}}}+ \widetilde{\eta}_{1})y_{n-5}+d\widetilde{\beta {_{1}}}y_{n-6} \\ &=\widetilde{\beta {_{2}}}y_{n-3}+\widetilde{\gamma }_{2}y_{n-4}+ \widetilde{\delta}_{2}y_{n-5}+\widetilde{\eta}_{2}y_{n-6} \end{aligned}
(39)
for $$n\ge3$$, where
\begin{aligned} \widetilde{\beta {_{2}}}:=\widetilde{\gamma }_{1},\qquad\widetilde{\gamma }_{2}:=b\widetilde{\beta {_{1}}}+\widetilde{\delta}_{1}, \qquad\widetilde{\delta}_{2}:=c\widetilde{\beta {_{1}}}+\widetilde{\eta}_{1},\qquad\widetilde{\eta}_{2}:=d\widetilde{\beta {_{1}}}. \end{aligned}
(40)
Assume that for an $$l\in {\mathbb {N}}\setminus\{1\}$$ and all $$n\ge l+1$$, we have proved
\begin{aligned} y_{n}=\widetilde{\beta {_{l}}}y_{n-l-1}+\widetilde{\gamma }_{l}y_{n-l-2}+\widetilde{\delta}_{l}y_{n-l-3}+ \widetilde{\eta}_{l}y_{n-l-4} \end{aligned}
(41)
and
\begin{aligned} \widetilde{\beta {_{l}}}=\widetilde{\gamma }_{l-1},\qquad\widetilde{\gamma }_{l}=b\widetilde{\beta {_{l-1}}}+\widetilde{\delta}_{l-1}, \qquad\widetilde{\delta}_{l}=c\widetilde{\beta {_{l-1}}}+\widetilde{\eta}_{l-1},\qquad \widetilde{\eta}_{l}=d\widetilde{\beta {_{l-1}}}. \end{aligned}
(42)
Then, by using equality (37) where n is replaced by $$n-l-2$$ in (41), we have
\begin{aligned} y_{n}&=\widetilde{\beta {_{l}}}(by_{n-l-3}+cy_{n-l-4}+dy_{n-l-5})+ \widetilde{\gamma }_{l}y_{n-l-2}+\widetilde{\delta}_{l}y_{n-l-3}+ \widetilde{\eta}_{l}y_{n-l-4} \\ &=\widetilde{\gamma }_{l}y_{n-l-2}+(b\widetilde{\beta {_{l}}}+ \widetilde{\delta}_{l})y_{n-l-3}+(c\widetilde{\beta {_{l}}}+ \widetilde{\eta}_{l})y_{n-l-4}+d\widetilde{\beta {_{l}}}y_{n-l-5} \\ &=\widetilde{\beta {_{l+1}}}y_{n-l-2}+\widetilde{\gamma }_{l+1}y_{n-l-3}+ \widetilde{\delta}_{l+1}y_{n-l-4}+\widetilde{\eta}_{l+1}y_{n-l-5}, \end{aligned}
(43)
where
\begin{aligned} \widetilde{\beta {_{l+1}}}:=\widetilde{\gamma }_{l},\qquad\widetilde{\gamma }_{l+1}:=b\widetilde{\beta {_{l}}}+\widetilde{\delta}_{l}, \qquad\widetilde{\delta}_{l+1}:=c\widetilde{\beta {_{l}}}+\widetilde{\eta}_{l},\qquad\widetilde{\eta}_{l+1}:=d\widetilde{\beta {_{l}}}. \end{aligned}
(44)
Relations (39), (40), (43), (44) together with the induction imply that (41) and (42) hold for $$l,n\in {\mathbb {N}}$$ such that $$2\le l\le n-1$$.
Since $$d\ne0$$, from (42) it follows that $$\widetilde{\beta {_{l}}}$$, $$\widetilde{\gamma }_{l}$$, $$\widetilde{\delta}_{l}$$, $$\widetilde{\eta}_{l}$$ can be calculated for $$l\le0$$. Namely, by taking $$l=1,0,-1,-2,-3$$, respectively, it easily follows that
$$\begin{gathered} \widetilde{\beta {_{-1}}}=1,\qquad \widetilde{\beta {_{-2}}}=0,\qquad\widetilde{\beta {_{-3}}}=0,\qquad\widetilde{\beta {_{-4}}}=0, \\ \widetilde{\gamma }_{-1}=0,\qquad\widetilde{\gamma }_{-2}=1,\qquad \widetilde{\gamma }_{-3}=0,\qquad\widetilde{\gamma }_{-4}=0, \\ \widetilde{\delta}_{-1}=0,\qquad\widetilde{\delta}_{-2}=0,\qquad \widetilde{\delta}_{-3}=1,\qquad\widetilde{\delta}_{-4}=0, \\ \widetilde{\eta}_{-1}=0,\qquad\widetilde{\eta}_{-2}=0,\qquad \widetilde{\eta}_{-3}=0,\qquad\widetilde{\eta}_{-4}=1, \end{gathered}$$
(45)
(for $$l=1$$ are obtained $$\widetilde{\beta {_{0}}}$$, $$\widetilde{\gamma }_{0}$$, $$\widetilde{\delta}_{0}$$, $$\widetilde{\eta}_{0}$$, but they are not used further, which is why we have not listed them here).
The relations in (42) further yield
\begin{aligned}& \widetilde{\beta {_{n}}}=b\widetilde{\beta {_{n-2}}}+c\widetilde{\beta {_{n-3}}}+d\widetilde{\beta {_{n-4}}}, \end{aligned}
(46)
\begin{aligned}& \widetilde{\gamma }_{n}=\widetilde{\beta {_{n+1}}}, \end{aligned}
(47)
\begin{aligned}& \widetilde{\delta}_{n}=c\widetilde{\beta {_{n-1}}}+d\widetilde{\beta {_{n-2}}}, \end{aligned}
(48)
\begin{aligned}& \widetilde{\eta}_{n}=d\widetilde{\beta {_{n-1}}} \end{aligned}
(49)
for $$n\in {\mathbb {Z}}$$.
From (41) with $$l=n-1$$, we obtain
\begin{aligned} y_{n}=\widetilde{\beta {_{n-1}}}y_{0}+\widetilde{\gamma }_{n-1}y_{-1}+\widetilde{\delta}_{n-1}y_{-2}+ \widetilde{\eta}_{n-1}y_{-3} \end{aligned}
(50)
for $$n\in {\mathbb {N}}_{0}$$.
Employing (47)–(49) in (50), we get
\begin{aligned} y_{n}=\widetilde{\beta {_{n-1}}}y_{0}+\widetilde{\beta {_{n}}}y_{-1}+(c\widetilde{\beta {_{n-2}}}+d\widetilde{\beta {_{n-3}}})y_{-2}+d\widetilde{\beta {_{n-2}}}y_{-3} \end{aligned}
(51)
for $$n\in {\mathbb {N}}_{0}$$.
From (45) and (46) it follows that $$\widetilde{\beta {_{n}}}$$ is the solution to equation (19) with $$a=0$$, $$b\ne0$$ such that
$$\widetilde{\beta {_{n-1}}}=s_{n}.$$
Hence, from (13) and (51) it follows that (36) also holds in this case.
Case$$a=b=0\ne c$$. Since $$a=b=0$$, equation (19) is
\begin{aligned} y_{n+1}=cy_{n-2}+dy_{n-3} \end{aligned}
(52)
for $$n\in {\mathbb {N}}_{0}$$.
Let
\begin{aligned} \widehat{\gamma }_{1}:=c,\qquad\widehat{\delta}_{1}:=d,\qquad \widehat{\eta}_{1}:=0,\qquad\widehat{\zeta}_{1}:=0. \end{aligned}
(53)
Employing (52), where n is replaced by $$n-4$$, in equality (52), where n is replaced by $$n-1$$, we obtain
\begin{aligned} y_{n}&=\widehat{\gamma }_{1}y_{n-3}+\widehat{\delta}_{1}y_{n-4}+\widehat{\eta}_{1}y_{n-5}+ \widehat{\zeta}_{1}y_{n-6} \\ &=\widehat{\gamma }_{1}(cy_{n-6}+dy_{n-7})+\widehat{\delta}_{1}y_{n-4}+\widehat{\eta}_{1}y_{n-5}+ \widehat{\zeta}_{1}y_{n-6} \\ &=\widehat{\delta}_{1}y_{n-4}+\widehat{\eta}_{1}y_{n-5}+(c \widehat{\gamma }_{1}+\widehat{\zeta}_{1})y_{n-6}+d\widehat{\gamma }_{1}y_{n-7} \\ &=\widehat{\gamma }_{2}y_{n-4}+\widehat{\delta}_{2}y_{n-5}+ \widehat{\eta}_{2}y_{n-6}+\widehat{\zeta}_{2}y_{n-7} \end{aligned}
(54)
for $$n\ge4$$, where
\begin{aligned} \widehat{\gamma }_{2}:=\widehat{\delta}_{1},\qquad\widehat{\delta}_{2}:=\widehat{\eta}_{1},\qquad\widehat{\eta}_{2}:=c\widehat{\gamma }_{1}+\widehat{\zeta}_{1},\qquad \widehat{\zeta}_{2}:=d\widehat{\gamma }_{1}. \end{aligned}
(55)
Assume that for an $$l\in {\mathbb {N}}\setminus\{1\}$$ and all $$n\ge l+2$$, we have proved
\begin{aligned} y_{n}=\widehat{\gamma }_{l}y_{n-l-2}+\widehat{\delta}_{l}y_{n-l-3}+\widehat{\eta}_{l}y_{n-l-4}+ \widehat{\zeta}_{l}y_{n-l-5} \end{aligned}
(56)
and
\begin{aligned} \widehat{\gamma }_{l}=\widehat{\delta}_{l-1},\qquad\widehat{\delta}_{l}=\widehat{\eta}_{l-1},\qquad\widehat{\eta}_{l}=c\widehat{\gamma }_{l-1}+\widehat{\zeta}_{l-1},\qquad \widehat{\zeta}_{l}=d\widehat{\gamma }_{l-1}. \end{aligned}
(57)
Then, by using equality (52) where n is replaced by $$n-l-3$$ in (56), we have
\begin{aligned} y_{n}&=\widehat{\gamma }_{l}y_{n-l-2}+\widehat{\delta}_{l}y_{n-l-3}+\widehat{\eta}_{l}y_{n-l-4}+ \widehat{\zeta}_{l}y_{n-l-5} \\ &=\widehat{\gamma }_{l}(cy_{n-l-5}+dy_{n-l-6})+\widehat{\delta}_{l}y_{n-l-3}+\widehat{\eta}_{l}y_{n-l-4}+ \widehat{\zeta}_{l}y_{n-l-5} \\ &=\widehat{\delta}_{l}y_{n-l-3}+\widehat{\eta}_{l}y_{n-l-4}+(c \widehat{\gamma }_{l}+\widehat{\zeta}_{l})y_{n-l-5}+d\widehat{\gamma }_{l}y_{n-l-6} \\ &=\widehat{\gamma }_{l+1}y_{n-l-3}+\widehat{\delta}_{l+1}y_{n-l-4}+ \widehat{\eta}_{l+1}y_{n-l-5}+\widehat{\zeta}_{l+1}y_{n-l-6}, \end{aligned}
(58)
where
\begin{aligned} \widehat{\gamma }_{l+1}:=\widehat{\delta}_{l},\qquad\widehat{\delta}_{l+1}:=\widehat{\eta}_{l},\qquad\widehat{\eta}_{l+1}:=c\widehat{\gamma }_{l}+\widehat{\zeta}_{l}, \qquad\widehat{\zeta}_{l+1}:=d\widehat{\gamma }_{l}. \end{aligned}
(59)

From (54), (55), (58), (59), and the induction it follows that (56) and (57) hold for $$l,n\in {\mathbb {N}}$$ such that $$2\le l\le n-2$$.

Since $$d\ne0$$, employing the recurrent relations (57), we can calculate $$\widehat{\gamma }_{l}$$, $$\widehat{\delta}_{l}$$, $$\widehat{\eta}_{l}$$, $$\widehat{\zeta}_{l}$$ for $$l\le0$$ and get
$$\begin{gathered} \widehat{\gamma }_{-2}=1,\qquad \widehat{\gamma }_{-3}=0,\qquad\widehat{\gamma }_{-4}=0,\qquad\widehat{\gamma }_{-5}=0, \\ \widehat{\delta}_{-2}=0,\qquad\widehat{\delta}_{-3}=1,\qquad \widehat{\delta}_{-4}=0,\qquad\widehat{\delta}_{-5}=0, \\ \widehat{\eta}_{-2}=0,\qquad\widehat{\eta}_{-3}=0,\qquad\widehat{\eta}_{-4}=1,\qquad\widehat{\eta}_{-5}=0, \\ \widehat{\zeta}_{-2}=0,\qquad\widehat{\zeta}_{-3}=0,\qquad \widehat{\zeta}_{-4}=0,\qquad\widehat{\zeta}_{-5}=1 \end{gathered}$$
(60)
(see, e.g., the corresponding calculations in [34, 37]).
The relations in (57) further yield
\begin{aligned}& \widehat{\gamma }_{n}=c\widehat{\gamma }_{n-3}+d\widehat{\gamma }_{n-4}, \end{aligned}
(61)
\begin{aligned}& \widehat{\delta}_{n}=\widehat{\gamma }_{n+1}, \end{aligned}
(62)
\begin{aligned}& \widehat{\eta}_{n}=c\widehat{\gamma }_{n-1}+d\widehat{\gamma }_{n-2}, \end{aligned}
(63)
\begin{aligned}& \widehat{\zeta}_{n}=d\widehat{\gamma }_{n-1}, \end{aligned}
(64)
for $$n\in {\mathbb {Z}}$$.
If we choose $$l=n-2$$ in (56), we obtain
\begin{aligned} y_{n}=\widehat{\gamma }_{n-2}y_{0}+\widehat{\delta}_{n-2}y_{-1}+\widehat{\eta}_{n-2}y_{-2}+ \widehat{\zeta}_{n-2}y_{-3} \end{aligned}
(65)
for $$n\in {\mathbb {N}}_{0}$$.
Employing (62)–(64) in (65), it follows that
\begin{aligned} y_{n}=\widehat{\gamma }_{n-2}y_{0}+\widehat{\gamma }_{n-1}y_{-1}+(c\widehat{\gamma }_{n-3}+d\widehat{\gamma }_{n-4})y_{-2}+d\widehat{\gamma }_{n-3}y_{-3} \end{aligned}
(66)
for $$n\in {\mathbb {N}}_{0}$$.
From (60) and (61) we see that $$\widehat{\gamma }_{n}$$ is the solution to equation (19) with $$a=b=0$$, $$c\ne0$$ such that
$$\widehat{\gamma }_{n-2}=s_{n},$$
from which along with (13) and (65) it follows that (36) also holds in this case.
Case$$a=b=c=0\ne d$$. Since $$a=b=c=0$$, equation (19) is
\begin{aligned} y_{n+1}=dy_{n-3} \end{aligned}
(67)
for $$n\in {\mathbb {N}}_{0}$$.
From (67) we have
\begin{aligned} s_{4m-i}=d^{m}s_{-i} \end{aligned}
(68)
for $$m\in {\mathbb {N}}_{0}$$ and $$i=\overline {0,3}$$. It is not difficult to check that (36) holds for the sequence defined in (68).
From (36) we have
\begin{aligned} x_{n}&=\frac {s_{n}y_{0}+(s_{n+1}-as_{n})y_{-1}+(cs_{n-1}+ds_{n-2})y_{-2}+ds_{n-1}y_{-3}}{s_{n-1}y_{0}+(s_{n}-as_{n-1})y_{-1}+(cs_{n-2}+ds_{n-3})y_{-2}+ds_{n-2}y_{-3}} \\ &=\frac{s_{n}\frac{y_{0}}{y_{-3}}+(s_{n+1}-as_{n})\frac {y_{-1}}{y_{-3}}+(cs_{n-1}+ds_{n-2})\frac{y_{-2}}{y_{-3}}+ds_{n-1}}{ s_{n-1}\frac{y_{0}}{y_{-3}}+(s_{n}-as_{n-1})\frac {y_{-1}}{y_{-3}}+(cs_{n-2}+ds_{n-3})\frac {y_{-2}}{y_{-3}}+ds_{n-2}} \\ &=\frac {s_{n}x_{0}x_{-1}x_{-2}+(s_{n+1}-as_{n})x_{-1}x_{-2}+(cs_{n-1}+ds_{n-2})x_{-2}+ds_{n-1}}{ s_{n-1}x_{0}x_{-1}x_{-2}+(s_{n}-as_{n-1})x_{-1}x_{-2}+(cs_{n-2}+ds_{n-3})x_{-2}+ds_{n-2}} \end{aligned}
for $$n\in {\mathbb {Z}}$$, as claimed. □

Remark 2

The case $$a\ne0$$ has been essentially treated in . However, the proofs in the other cases, in all of which is $$a=0$$, have been omitted there; although, as it is seen in the proof of Theorem 2, they follow the idea of the proof in the case $$a\ne0$$. Hence, the proof of Theorem 2 can be regarded as a completion of the proof of Theorem 6 in  in the case $$a=0$$.

2.2 About the roots of polynomial $$P_{4}(\lambda )$$

Here we present the roots of polynomial $$P_{4}$$ and some facts related to them.

First, we formulate a well-known lemma, whose proofs can be found, e.g., in [26, 38, 50].

Lemma 1

Let$$t_{j}$$, $$j=\overline {1,k}$$be the roots of the polynomial
$$p(t)=\widetilde{a}_{k} t^{k}+\widetilde{a}_{k-1}t^{k-1}+ \cdots+\widetilde{a}_{1} t+\widetilde{a}_{0}$$
such that$$t_{i}\ne t_{j}$$, $$i\ne j$$, then
$$\sum_{j=1}^{k}\frac{t_{j}^{s}}{p'(t_{j})}=\left \{ \textstyle\begin{array}{l@{\quad}l} 0, & s=\overline {0,k-2}; \\ 1/{\widetilde{a}_{k}}, & s=k-1. \end{array}\displaystyle \right .$$
Now we discuss the form of the sequence $$s_{n}$$ defined in Theorem 2. Equation $$P_{4}(\lambda )=0$$ can be written in the form
\begin{aligned} \biggl(\lambda ^{2}-\frac{a}{2}\,\lambda +\frac{s}{2} \biggr)^{2}- \biggl( \biggl(\frac{a^{2}}{4}+b+s \biggr) \lambda ^{2}- \biggl(\frac{as}{2}-c \biggr)\lambda +\frac{s^{2}}{4}+d \biggr)=0. \end{aligned}
(69)
Further, choose s so that
$$(as-2c)^{2}=\bigl(a^{2}+4b+4s\bigr) \bigl(s^{2}+4d \bigr)$$
(see, for example, ), that is,
\begin{aligned} s^{3}+bs^{2}+(ac+4d)s+a^{2}d+4bd-c^{2}=0. \end{aligned}
(70)
Then (69) is
\begin{aligned} \biggl(\lambda ^{2}-\frac{a}{2} \lambda +\frac{s}{2} \biggr)^{2}- \biggl(\frac{\sqrt{a^{2}+4b+4s}}{2} \lambda -\frac{as-2c}{2\sqrt{a^{2}+4b+4s}} \biggr)^{2}=0, \end{aligned}
(71)
from which it follows that
$$\lambda ^{2}- \biggl(\frac{a}{2}+\frac{\sqrt{a^{2}+4b+4s}}{2} \biggr)\lambda + \frac{s}{2}+\frac{as-2c}{2\sqrt{a^{2}+4b+4s}}=0$$
(72)
or
$$\lambda ^{2}- \biggl(\frac{a}{2}-\frac{\sqrt{a^{2}+4b+4s}}{2} \biggr)\lambda + \frac{s}{2}-\frac{as-2c}{2\sqrt{a^{2}+4b+4s}}=0.$$
(73)
By using the change of variables
\begin{aligned} s=\widehat{s}-\frac{b}{3} \end{aligned}
(74)
in (70), we have
\begin{aligned} \widehat{s}^{3}+p\widehat{s}+q=0, \end{aligned}
(75)
where
$$p=ac+4d-\frac{b^{2}}{3}$$
and
$$q=a^{2}d+\frac{8bd}{3}-\frac{abc}{3}-c^{2}+ \frac{2b^{3}}{27}.$$
A standard procedure for solving cubic equation (75) says that the solutions should be looked for in the form $$\widehat{s}=u+v$$, where it is assumed that $$uv=-p/3$$. Hence, $$u^{3}+v^{3}=-q$$ and $$u^{3}v^{3}=-p^{3}/27$$, implying that $$u^{3}$$ and $$v^{3}$$ are the zeros of $$z^{2}+qz-p^{3}/27=0$$.
Thus
\begin{aligned} \widehat{s}=\sqrt{-\frac{q}{2}-\sqrt{\frac {q^{2}}{4}+ \frac{p^{3}}{27}}}+\sqrt{-\frac{q}{2}+\sqrt{\frac {q^{2}}{4}+ \frac{p^{3}}{27}}}. \end{aligned}
(76)
Let $$p=-\Delta_{0}/3$$ and $$q=-\Delta_{1}/27$$, then from (74) and (76) we have
\begin{aligned} s=\frac{1}{3\sqrt{2}} \Bigl(\sqrt{\Delta _{1}-\sqrt{ \Delta_{1}^{2}-4\Delta_{0}^{3}}}+ \sqrt{\Delta_{1}+\sqrt{\Delta _{1}^{2}-4 \Delta_{0}^{3}}} \Bigr)-\frac{b}{3}. \end{aligned}
(77)
From (72) and (73) and by some calculations, we obtain
\begin{aligned}& \lambda _{1}=\frac{a}{4}+\frac{\sqrt{a^{2}+4b+4s}}{4} +\frac{1}{2} \sqrt{\frac{a^{2}}{2}+b-s-\frac{Q}{2\sqrt {a^{2}+4b+4s}}}, \end{aligned}
(78)
\begin{aligned}& \lambda _{2}=\frac{a}{4}+\frac{\sqrt{a^{2}+4b+4s}}{4} -\frac{1}{2} \sqrt{\frac{a^{2}}{2}+b-s-\frac{Q}{2\sqrt {a^{2}+4b+4s}}}, \end{aligned}
(79)
\begin{aligned}& \lambda _{3}=\frac{a}{4}-\frac{\sqrt{a^{2}+4b+4s}}{4} +\frac{1}{2} \sqrt{\frac{a^{2}}{2}-s+\frac{Q}{2\sqrt {a^{2}+4b+4s}}}, \end{aligned}
(80)
\begin{aligned}& \lambda _{4}=\frac{a}{4}-\frac{\sqrt{a^{2}+4b+4s}}{4} -\frac{1}{2} \sqrt{\frac{a^{2}}{2}+b-s+\frac{Q}{2\sqrt {a^{2}+4b+4s}}}, \end{aligned}
(81)
where
\begin{aligned}& \Delta _{0}=-3p=b^{2}-3ac-12d, \end{aligned}
(82)
\begin{aligned}& \Delta _{1}=-27q=-2b^{3}-27a^{2}d-72bd+9abc+27c^{2}, \end{aligned}
(83)
\begin{aligned}& Q=-a^{3}-4ab-8c. \end{aligned}
(84)

Multiplicity of the zeros of the polynomial $$P_{4}$$ are described in the following lemma (see, e.g., ).

Lemma 2

Let polynomial$$P_{4}$$be defined in (18), $$\Delta _{0}$$in (82), $$\Delta _{1}$$in (83), Qin (84), and let$$\Delta =\frac{1}{27}(4\Delta _{0}^{3}-\Delta _{1}^{2})$$, $$P=-8b-3a^{2}$$, and$$D=-64d-16b^{2}-16a^{2}b-16ac-3a^{4}$$.

Then the following statements hold:
1. (a)

If$$\Delta \ne0$$, then the zeros of$$P_{4}$$are distinct.

2. (b)

If$$\Delta =0$$and$$P<0$$, $$D<0$$, $$\Delta _{0}\ne0$$, or$$D>0$$, or$$P>0$$, $$D\ne0$$, or$$P>0$$, $$Q\ne0$$, then exactly two zeros of$$P_{4}$$are equal.

3. (c)

If$$\Delta=0$$, $$\Delta _{0}=0$$, and$$D\ne0$$, then there is a triple zero of$$P_{4}$$and one simple.

4. (d)

If$$\Delta=0$$, $$D=0$$, and if$$P<0$$, or$$P>0$$and$$Q=0$$, then$$P_{4}$$has two distinct double zeros.

5. (e)

If$$\Delta=0$$, $$D=0$$, and$$\Delta _{0}=0$$, then all the zeros of$$P_{4}$$are equal to$$a/4$$.

2.3 Possible forms of the sequence $$s_{n}$$

While formula (21) gives a representation of the general solution to equation (17) in terms of the sequence $$s_{n}$$, it does not tell anything about its possible forms. In this section we will describe the forms in terms of the roots $$\lambda _{j}$$, $$j=\overline {1,4}$$, of polynomial (18).

Case$$\Delta \ne0$$. In this case, by Lemma 2(a), we have that the roots $$\lambda _{j}$$, $$j=\overline {1,4}$$, are distinct. By using Lemma 1 and the general solution to equation (19) in this case, we have proved in  (see also ) that the following formula holds:
\begin{aligned} s_{n}=\sum_{j=1}^{4} \frac{\lambda _{j}^{n+3}}{P_{4}'(\lambda _{j})} \end{aligned}
(85)
for $$n\ge-3$$ (in fact, (85) holds for every $$n\in {\mathbb {Z}}$$).
If one of the roots of $$P_{4}$$ is one, say $$\lambda _{1}$$, then we have
\begin{aligned} P_{4}(\lambda )=(\lambda -1) \bigl(\lambda ^{3}+(1-a)\lambda ^{2}+(1-a-b)\lambda +1-a-b-c\bigr). \end{aligned}
(86)
Employing the change of variables
\begin{aligned} \lambda =s-\frac{1-a}{3} \end{aligned}
(87)
in the equation
$$\lambda ^{3}+(1-a)\lambda ^{2}+(1-a-b)\lambda +1-a-b-c=0,$$
it is transformed to
\begin{aligned} s^{3}+\widehat{p}s+\widehat{q}=0, \end{aligned}
(88)
where
$$\widehat{p}=1-a-b-\frac{(1-a)^{2}}{3}\quad\mbox{and}\quad\widehat{q}= \frac{2(1-a)^{3}}{27}+\frac{(1-a-b)(2+a)}{3}-c.$$
We have (see ; see also (76))
$$s_{j}=\sqrt{-\frac{\widehat{q}}{2}-\sqrt{\frac{\widehat{q}^{2}}{4}+ \frac {\widehat{p}^{3}}{27}}}\varepsilon ^{j-2}+\sqrt{-\frac{\widehat{q}}{2}+\sqrt { \frac{\widehat{q}^{2}}{4}+\frac{\widehat{p}^{3}}{27}}}\overline {\varepsilon }^{j-2}$$
for $$j=\overline {2,4}$$, where ε is a complex root of the equation $$t^{3}=1$$, from which along with (87) it follows that
\begin{aligned} \lambda _{j}=\sqrt{-\frac{\widehat{q}}{2}-\sqrt{\frac {\widehat{q}^{2}}{4}+ \frac{\widehat{p}^{3}}{27}}}\varepsilon ^{j-2}+\sqrt{-\frac {\widehat{q}}{2}+\sqrt{ \frac{\widehat{q}^{2}}{4}+\frac{\widehat{p}^{3}}{27}}}\overline {\varepsilon }^{j-2}- \frac{1-a}{3} \end{aligned}
(89)
for $$j=\overline {2,4}$$.

From the above analysis, we get the following corollary.

Corollary 1

Consider equation (17) with$$a,b,c\in {\mathbb {C}}$$and$$d\in {\mathbb {C}}\setminus\{0\}$$. Assume that$$\Delta\ne 0$$. Then the following statements are true.
1. (a)

If$$a+b+c+d\ne1$$, then the general solution to equation (17) is given by (21), where sequence$$(s_{n})_{n\ge-3}$$is given by (85), whereas$$\lambda _{j}$$, $$j=\overline {1,4}$$, are given by (78)(81).

2. (b)

If$$a+b+c+d=1$$, then the general solution to equation (17) is given by (21), where sequence$$(s_{n})_{n\ge-3}$$is given by (85) where$$\lambda _{1}=1$$, $$\lambda _{j}$$, $$j=\overline {2,4}$$, are given by (89).

Remark 3

Note that from (85) we have
\begin{aligned}& s_{n+1}-as_{n}=\sum_{j=1}^{4} \frac{\lambda _{j}-a}{P_{4}'(\lambda_{j})}\lambda _{j}^{n+3}, \end{aligned}
(90)
\begin{aligned}& cs_{n-1}+ds_{n-2}=\sum_{j=1}^{4} \frac{c\lambda _{j}+d}{P_{4}'(\lambda_{j})}\lambda _{j}^{n+1}, \end{aligned}
(91)
\begin{aligned}& ds_{n-1}=\sum_{j=1}^{4} \frac{d}{P_{4}'(\lambda_{j})}\lambda _{j}^{n+2} \end{aligned}
(92)
for $$n\in {\mathbb {Z}}$$. By using (85), (90)–(92) in (21), we get the following representation of the general solution to equation (17) in the case $$\Delta\ne0$$:
\begin{aligned} x_{n}=\frac{\sum_{j=1}^{4}\frac{\lambda _{j}^{2}x_{0}x_{-1}x_{-2}+(\lambda _{j}^{3}-a\lambda _{j}^{2})x_{-1}x_{-2}+(c\lambda _{j}+d)x_{-2}+d\lambda _{j}}{P_{4}'(\lambda_{j})}\lambda _{j}^{n+1}}{ \sum_{j=1}^{4}\frac{\lambda _{j}^{2}x_{0}x_{-1}x_{-2}+(\lambda _{j}^{3}-a\lambda _{j}^{2})x_{-1}x_{-2}+(c\lambda _{j}+d)x_{-2}+d\lambda _{j}}{P_{4}'(\lambda_{j})}\lambda _{j}^{n}} \end{aligned}
(93)
for $$n\in {\mathbb {Z}}$$.
Case$$\Delta =0$$and$$P<0$$,$$D<0$$,$$\Delta _{0}\ne0$$, or$$D>0$$, or$$P>0$$,$$D\ne0$$, or$$P>0$$,$$Q\ne0$$. By Lemma 2(b) in this case $$P_{4}$$ has exactly one double zero. We may assume $$\lambda _{1}=\lambda _{2}\ne \lambda _{j}$$, $$j=3,4$$. To find the solution satisfying (20), we let $$\lambda _{1}\to \lambda _{2}$$ in (85) and get
\begin{aligned}[b] s_{n}={}&\frac{\lambda _{2}^{n+2}((n+3)(\lambda _{2}-\lambda _{3})(\lambda _{2}-\lambda _{4})-\lambda _{2}(2\lambda _{2}-\lambda _{3}-\lambda _{4}))}{(\lambda _{2}-\lambda _{3})^{2}(\lambda _{2}-\lambda _{4})^{2}} \\ &+\frac{\lambda _{3}^{n+3}}{(\lambda _{3}-\lambda _{2})^{2}(\lambda _{3}-\lambda _{4})}+\frac {\lambda _{4}^{n+3}}{(\lambda _{4}-\lambda _{2})^{2}(\lambda _{4}-\lambda _{3})}\end{aligned}
(94)
for $$n\in {\mathbb {Z}}$$ (for details, see ).
If $$\lambda _{1}=\lambda _{2}=1$$, then from (94) we immediately get
\begin{aligned} s_{n}={}&\frac{n(1-\lambda _{3})(1-\lambda _{4})+3\lambda _{3}\lambda _{4}-2\lambda _{3}-2\lambda _{4}+1}{(1-\lambda _{3})^{2}(1-\lambda _{4})^{2}} \\ &+\frac{\lambda _{3}^{n+3}}{(\lambda _{3}-1)^{2}(\lambda _{3}-\lambda _{4})}+\frac{\lambda _{4}^{n+3}}{(\lambda _{4}-1)^{2}(\lambda _{4}-\lambda _{3})} \end{aligned}
(95)
for $$n\in {\mathbb {Z}}$$.
In this case we have $$a+b+c+d-1=4-3a-2b-c=0$$, $$12\ne6a+2b$$, and
\begin{aligned} P_{4}(\lambda )=(\lambda -1)^{2}\bigl(\lambda ^{2}+(2-a)\lambda +3-2a-b \bigr), \end{aligned}
(96)
from which it follows that
\begin{aligned} \lambda _{3,4}=\frac{a-2\pm\sqrt{a^{2}+4a+4b-8}}{2}. \end{aligned}
(97)

Corollary 2

Consider equation (17) with$$a,b,c\in {\mathbb {C}}$$and$$d\in {\mathbb {C}}\setminus\{0\}$$. Assume that$$\Delta =0$$and$$P<0$$, $$D<0$$, $$\Delta _{0}\ne0$$, or$$D>0$$, or$$P>0$$, $$D\ne0$$, or$$P>0$$, $$Q\ne0$$. Then the following statements hold.
1. (a)

If$$3a+2b+c\ne4$$, then the general solution to equation (17) is given by formula (21), where sequence$$(s_{n})_{n\ge-3}$$is given by (94).

2. (b)

If$$a+b+c+d-1=4-3a-2b-c=0$$, then the general solution to equation (17) is given by formula (21), where sequence$$(s_{n})_{n\ge-3}$$is given by (95), whereas$$\lambda _{3,4}$$are given by (97).

Case$$\Delta=0$$,$$D=0$$, and$$P<0$$, or$$P>0$$and$$Q=0$$. By Lemma 2(d) in this case $$P_{4}$$ has two pairs of double zeros. By letting $$\lambda _{3}\to \lambda _{4}$$ in (94), it is obtained
\begin{aligned} s_{n}={}&\frac{\lambda _{2}^{n+2}(n(\lambda _{2}-\lambda _{4})^{2}+\lambda _{2}^{2}-4\lambda _{2}\lambda _{4}+3\lambda _{4}^{2}) }{(\lambda _{2}-\lambda _{4})^{4}} \\ &+\frac{\lambda _{4}^{n+2}(n(\lambda _{4}-\lambda _{2})^{2}+\lambda _{4}^{2}-4\lambda _{2}\lambda _{4}+3\lambda _{2}^{2})}{(\lambda _{4}-\lambda _{2})^{4}} \end{aligned}
(98)
for $$n\ge-3$$ (see ).
If $$a+b+c+d=1$$, then two of the zeros, say $$\lambda _{1}$$ and $$\lambda _{2}$$, are equal to 1, and from (98) we obtain
\begin{aligned} s_{n}=&\frac{\lambda _{4}^{n+2}(n(\lambda _{4}-1)^{2}+\lambda _{4}^{2}-4\lambda _{4}+3)+n(1-\lambda _{4})^{2}+1-4\lambda _{4}+3\lambda _{4}^{2}}{(\lambda _{4}-1)^{4}} \end{aligned}
(99)
for $$n\ge-3$$. Besides, from (97) we have
\begin{aligned} \lambda _{3,4}=\frac{a-2}{2}. \end{aligned}
(100)

Corollary 3

Consider equation (17) with$$a,b,c\in {\mathbb {C}}$$and$$d\in {\mathbb {C}}\setminus\{0\}$$. Assume that$$\Delta =0$$, $$D=0$$, and$$P<0$$, or$$P>0$$and$$Q=0$$. Then the following statements hold.
1. (a)

If$$a+b+c+d\ne1$$, then the general solution to equation (17) is given by formula (21), where sequence$$(s_{n})_{n\ge-3}$$is given by (98).

2. (b)

If$$a+b+c+d=1$$, then the general solution to equation (17) is given by formula (21), where sequence$$(s_{n})_{n\ge-3}$$is given by (99), whereas$$\lambda _{3,4}$$are given by (100).

Case$$\Delta=0$$,$$\Delta _{0}=0$$, and$$D\ne0$$. By Lemma 2(c) we have that $$P_{4}$$ has a triple zero and one simple. We may assume that $$\lambda _{1}=\lambda _{2}=\lambda _{3}$$. In  we proved that in this case
\begin{aligned} s_{n}= \biggl(1-\frac{\lambda _{4}^{3}}{(\lambda _{4}-\lambda _{1})^{3}}+\frac{\lambda _{1}(3\lambda _{1}-5\lambda _{4})}{2(\lambda _{4}-\lambda _{1})^{2}}n+ \frac{\lambda _{1}}{2(\lambda _{1}-\lambda _{4})}n^{2} \biggr)\lambda _{1}^{n}+ \frac{\lambda ^{n+3}_{4}}{(\lambda _{4}-\lambda _{1})^{3}} \end{aligned}
(101)
for $$n\ge-3$$.
If $$\lambda _{j}=1$$, $$j=\overline {1,3}$$, then from (101) it follows that
\begin{aligned} s_{n}=1-\frac{\lambda _{4}^{3}}{(\lambda _{4}-1)^{3}}+\frac{(3-5\lambda _{4})}{2(\lambda _{4}-1)^{2}}n+\frac{1}{2(1-\lambda _{4})}n^{2}+ \frac{\lambda ^{n+3}_{4}}{(\lambda _{4}-1)^{3}} \end{aligned}
(102)
for $$n\ge-3$$. Besides, from (96) we have
\begin{aligned} \lambda _{4}=a-3. \end{aligned}
(103)

Corollary 4

Consider equation (17) with$$a,b,c\in {\mathbb {C}}$$and$$d\in {\mathbb {C}}\setminus\{0\}$$. Assume that$$\Delta =0$$, $$\Delta _{0}=0$$, and$$D\ne0$$. Then the following statements hold.
1. (a)

If$$3a+2b+c\ne4$$, then the general solution to equation (17) is given by formula (21), where sequence$$(s_{n})_{n\ge-3}$$is given by (101).

2. (b)

If$$a+b+c+d=1$$and$$3a+2b+c=4$$, then the general solution to equation (17) is given by formula (21), where sequence$$(s_{n})_{n\ge-3}$$is given by (102), whereas$$\lambda _{4}$$is given by (103).

Case$$\Delta=0$$,$$D=0$$, and$$\Delta _{0}=0$$. By Lemma 2(e) we have that all the zeros to $$P_{4}$$ are equal to $$a/4$$.

The general solution in this case is given by
\begin{aligned} a_{n}=\bigl(c_{1}+c_{2}n+c_{3}n^{2}+c_{4}n^{3} \bigr) \biggl(\frac{a}{4} \biggr)^{n},\quad n \ge-3. \end{aligned}
(104)
From this and (20) it follows that $$s_{0}=1=c_{1}$$,
\begin{aligned}& c_{1}-c_{2}+c_{3}-c_{4}=0, \\& c_{1}-2c_{2}+4c_{3}-8c_{4}=0, \\& c_{1}-3c_{2}+9c_{3}-27c_{4}=0. \end{aligned}
Solving the system, we get
$$c_{1}=c_{3}=1,\qquad c_{2}=\frac{11}{6}, \quad\mbox{and}\quad c_{4}=\frac{1}{6}.$$
Using this in (104), after some calculation, we obtain
\begin{aligned} s_{n}=\frac{(n+1)(n+2)(n+3)}{6} \biggl(\frac{a}{4} \biggr)^{n} \end{aligned}
(105)
for $$n\ge-3$$.

Corollary 5

Consider equation (17) with$$a,b,c\in {\mathbb {C}}$$and$$d\in {\mathbb {C}}\setminus\{0\}$$. Assume that$$\Delta =0$$, $$D=0$$, and$$\Delta _{0}=0$$. Then the general solution to equation (17) is given by formula (21), where the sequence$$(s_{n})_{n\ge -3}$$is given by (105).

References

1. 1.
de Moivre, A.: Miscellanea analytica de seriebus et quadraturis. J. Tonson & J. Watts, London (1730) (in Latin) Google Scholar
2. 2.
Euler, L.: Introductio in Analysin Infinitorum. Tomus Primus, Lausannae (1748) (in Latin)
3. 3.
Boole, G.: A Treatsie on the Calculus of Finite Differences, 3rd edn. Macmillan & Co., London (1880) Google Scholar
4. 4.
Brunacci, V.: Corso di Matematica Sublime, Tomo I, Calcolo delle Differenze Finite e sue Applicazioni. Presso Pietro Allegrini, Firenze (1804) (in Italian) Google Scholar
5. 5.
Fort, T.: Finite Differences and Difference Equations in the Real Domain. Clarendon, Oxford (1948)
6. 6.
Jordan, C.: Calculus of Finite Differences. Chelsea, New York (1956)
7. 7.
Levy, H., Lessman, F.: Finite Difference Equations. Dover, New York (1992)
8. 8.
Markov, A.A.: Ischislenie Konechnykh Raznostey, 2nd edn. Matezis, Odessa (1910) (in Russian) Google Scholar
9. 9.
Milne-Thomson, L.M.: The Calculus of Finite Differences. Macmillan & Co., London (1933)
10. 10.
Mitrinović, D.S., Kečkić, J.D.: Methods for Calculating Finite Sums. Naučna Knjiga, Beograd (1984) (in Serbian) Google Scholar
11. 11.
Abel, N.H.: Mémoire sur les équations algébriques, où l’on démontre l’impossibilité de la résolution de l’équation générale du cinquième degré. In: Sylow, L., Lie, S. (eds.) Oeuvres Complètes de Niels Henrik Abel, vol. I, 2nd edn., pp. 28–33 (1881)  (in French) Google Scholar
12. 12.
Berg, L., Stević, S.: On some systems of difference equations. Appl. Math. Comput. 218, 1713–1718 (2011)
13. 13.
Papaschinopoulos, G., Stefanidou, G.: Asymptotic behavior of the solutions of a class of rational difference equations. Int. J. Difference Equ. 5(2), 233–249 (2010)
14. 14.
Stević, S.: On the system of difference equations $$x_{n}=c_{n}y_{n-3}/(a_{n}+b_{n}y_{n-1}x_{n-2}y_{n-3})$$, $$y_{n}=\gamma _{n} x_{n-3}/(\alpha _{n}+\beta _{n} x_{n-1}y_{n-2}x_{n-3})$$. Appl. Math. Comput. 219, 4755–4764 (2013)
15. 15.
Stević, S.: Solvable subclasses of a class of nonlinear second-order difference equations. Adv. Nonlinear Anal. 5(2), 147–165 (2016)
16. 16.
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)
17. 17.
Stević, S., Diblik, J., Iričanin, B., Šmarda, Z.: On the difference equation $$x_{n}=a_{n}x_{n-k}/(b_{n}+c_{n}x_{n-1}\cdots x_{n-k})$$. Abstr. Appl. Anal. 2012, Article ID 409237 (2012)
18. 18.
Stević, S.: Bounded and periodic solutions to the linear first-order difference equation on the integer domain. Adv. Differ. Equ. 2017, Article ID 283 (2017)
19. 19.
Stević, S.: Bounded solutions to nonhomogeneous linear second-order difference equations. Symmetry 9, Article ID 227 (2017)
20. 20.
Stević, S.: Existence of a unique bounded solution to a linear second order difference equation and the linear first order difference equation. Adv. Differ. Equ. 2017, Article ID 169 (2017)
21. 21.
Adamović, D.: Solution to problem 194. Mat. Vesn. 23, 236–242 (1971) Google Scholar
22. 22.
Brand, L.: A sequence defined by a difference equation. Am. Math. Mon. 62(7), 489–492 (1955)
23. 23.
Mitrinović, D.S., Adamović, D.D.: Sequences and Series. Naučna Knjiga, Beograd (1980) (in Serbian) Google Scholar
24. 24.
Richardson, C.H.: An Introduction to the Calculus of Finite Differences. Van Nostrand, Toronto (1954)
25. 25.
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)
26. 26.
Krechmar, V.A.: A Problem Book in Algebra. Mir, Moscow (1974) Google Scholar
27. 27.
Berezansky, L., Braverman, E.: On impulsive Beverton–Holt difference equations and their applications. J. Differ. Equ. Appl. 10(9), 851–868 (2004)
28. 28.
Stević, S.: Representations of solutions to linear and bilinear difference equations and systems of bilinear difference equations. Adv. Differ. Equ. 2018, Article ID 474 (2018)
29. 29.
Stević, S., Iričanin, B., Kosmala, W., Šmarda, Z.: Note on the bilinear difference equation with a delay. Math. Methods Appl. Sci. 41, 9349–9360 (2018)
30. 30.
Stević, S., Iričanin, B., Šmarda, Z.: On a symmetric bilinear system of difference equations. Appl. Math. Lett. 89, 15–21 (2019)
31. 31.
Alfred, B.U.: An Introduction to Fibonacci Discovery (1965) Google Scholar
32. 32.
Vorobiev, N.N.: Fibonacci Numbers. Birkhäuser, Basel (2002)
33. 33.
Stević, S.: First-order product-type systems of difference equations solvable in closed form. Electron. J. Differ. Equ. 2015, Article ID 308 (2015)
34. 34.
Stević, S.: Product-type system of difference equations of second-order solvable in closed form. Electron. J. Qual. Theory Differ. Equ. 2015, Article ID 56 (2015)
35. 35.
Stević, S.: Product-type system of difference equations with complex structure of solutions. Adv. Differ. Equ. 2017, Article ID 140 (2017)
36. 36.
Stević, S.: Solvable product-type system of difference equations whose associated polynomial is of the fourth order. Electron. J. Qual. Theory Differ. Equ. 2017, Article ID 13 (2017)
37. 37.
Stević, S.: Solvability of a product-type system of difference equations with six parameters. Adv. Nonlinear Anal. 8(1), 29–51 (2019)
38. 38.
Stević, S., Iričanin, B., Šmarda, Z.: On a product-type system of difference equations of second order solvable in closed form. J. Inequal. Appl. 2015, Article ID 327 (2015)
39. 39.
Stević, S., Iričanin, B., Šmarda, Z.: Two-dimensional product-type system of difference equations solvable in closed form. Adv. Differ. Equ. 2016, Article ID 253 (2016)
40. 40.
Mitrinović, D.S.: Matrices and Determinants. Naučna Knjiga, Beograd (1989) (in Serbian) Google Scholar
41. 41.
Papaschinopoulos, G., Schinas, C.J.: On the behavior of the solutions of a system of two nonlinear difference equations. Commun. Appl. Nonlinear Anal. 5(2), 47–59 (1998)
42. 42.
Papaschinopoulos, G., Schinas, C.J.: Invariants for systems of two nonlinear difference equations. Differ. Equ. Dyn. Syst. 7(2), 181–196 (1999)
43. 43.
Papaschinopoulos, G., Schinas, C.J.: Invariants and oscillation for systems of two nonlinear difference equations. Nonlinear Anal. TMA 46(7), 967–978 (2001)
44. 44.
Papaschinopoulos, G., Schinas, C.J., Stefanidou, G.: On a k-order system of Lyness-type difference equations. Adv. Differ. Equ. 2007, Article ID 31272 (2007)
45. 45.
Riordan, J.: Combinatorial Identities. Wiley, New York (1968)
46. 46.
Schinas, C.: Invariants for difference equations and systems of difference equations of rational form. J. Math. Anal. Appl. 216, 164–179 (1997)
47. 47.
Schinas, C.: Invariants for some difference equations. J. Math. Anal. Appl. 212, 281–291 (1997)
48. 48.
Stević, S., Iričanin, B., Kosmala, W., Šmarda, Z.: Representation of solutions of a solvable nonlinear difference equation of second order. Electron. J. Qual. Theory Differ. Equ. 2018, Article ID 95 (2018)
49. 49.
Stević, S., Iričanin, B., Kosmala, W., Šmarda, Z.: On some classes of solvable systems of difference equations. Adv. Differ. Equ. 2019, Article ID 39 (2019)
50. 50.
Faddeyev, D.K.: Lectures on Algebra. Nauka, Moscow (1984) (in Russian) Google Scholar
51. 51.
Rees, E.L.: Graphical discussion of the roots of a quartic equation. Am. Math. Mon. 29(2), 51–55 (1922)

© The Author(s) 2019 