This section presents our main result. Before we do this, we give a list of first several members of sequences
,
and
defined by (3), which will be used in the proof of the result. We have
Theorem 1. Assume that , . Then, system (3) is solvable.
Proof of Theorem 1. From (3) and since and , it easily follows that for every .
From Equations (5), (7) and (9), we get, respectively,
for
Taking Equation (10) to the
-th power and using (11),
is obtained, that is,
Taking Equation (6) to the
-th power and using (12),
is obtained, that is,
Taking Equation (8) to the
-th power and using (13) is obtained
that is,
Let
,
for
Then, Equations (14)–(16) can be written in the form
for
and
By using Equation (18) with
, into Equation (18), we have
for
and
where
Assume that, for some
, we have proved that
for
and
where
Then, by using Equation (18) with
into Equation (23), we get
for
and
i = −1, 0, 1, where
Relations (21), (22), (25), (26) along with the induction show that (23) and (24) hold for every k and m such that and each
From the first two equations in (26), it follows that
The third equalities in (17) and (24) imply
for
and
Similarly is obtained
for
and
By taking
in Equations (23), (29) and (30), using the second relation in (24), and the fact that due to (17) and (24), sequences
, as well as
and
, are the same for
, and denoting them by
,
,
, we get
for
and
i = −1, 0, 1.
Employing (4) and (24), in (31)–(33), we have
for
Case In this case, we have
from which along with (17) and (24), it follows that
for
From (28) and (43), it follows that
and consequently
when
, while
when
.
On the other hand, from (34)–(42), we get
for
Subcase . Employing (43) and (44) in (46)–(54),
is obtained for
Subcase . Employing (43) and (45) in (46)–(54),
is obtained for
Case . In this case, we have
from which, along with (17) and (24), it follows that
for
From (28) and (73), it follows that
and consequently
when
, while
when
.
On the other hand, from (34)–(42), we get
for
We have to consider two subcases.
Subcase . Employing (73) and (74) in (76)–(84),
is obtained for
Subcase . Employing (73) and (75) in (76)–(84),
is obtained for
Case In this case, we have
from which along with (17) and (24), it follows that
From (28) and (103), it follows that
and consequently
when
, while
when
.
On the other hand, from (34)–(42), we get
for
Subcase . Employing (103) and (104) in (106)–(114),
is obtained for
Subcase . Employing (103) and (105) in (106)–(114),
is obtained for
Case Let
be the roots of the characteristic polynomial
associated with the equation
It is known that general solution of Equation (133) has the following form
if
, where
and
and
are arbitrary constants, while in the case
, the general solution has the following form
where
and
are arbitrary constants.
Since
, from (133), we have
from which it follows that
can be calculated also for every
Hence, it is easily seen that, for
holds, from which it follows that
when
, and consequently
By using (135) and (136) in (34)–(42), and after some calculations, we get