- Research Article
- Open access
- Published:
Positive Decreasing Solutions of Higher-Order Nonlinear Difference Equations
Advances in Difference Equations volume 2010, Article number: 973432 (2010)
Abstract
It is shown that the decay rates of the positive, monotone decreasing solutions approaching the zero equilibrium of higher-order nonlinear difference equations are related to the positive characteristic values of the corresponding linearized equation. If the nonlinearity is sufficiently smooth, this result yields an asymptotic formula for the positive, monotone decreasing solutions.
1. Introduction and the Main Results
Let ,
, and
be the set of real and complex numbers and the set of integers, respectively. The symbol
denotes the set of nonnegative integers.
Recently, Aprahamian et al. [1] have studied the second-order nonlinear difference equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ1_HTML.gif)
where ,
so that
and
is a Lipschitz continuous function such that
in
and
is identically in
. As noted in [1], (1.1) is related to the discretization of traveling wave solutions of the Fisher-Kolmogorov partial differential equation. The main result of [1] is the following theorem about the existence of positive, decreasing solutions of (1.1) (see [1, Theorem
] and its proof).
Theorem 1.1.
In addition to the above hypotheses on , suppose that there exist
and
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ2_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ3_HTML.gif)
Then (1.1) has a strictly decreasing solution such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ4_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ5_HTML.gif)
Note that in [1], solutions of (1.1) satisfying conditions (1.4) and (1.5) of Theorem 1.1 are called fast solutions.
In this paper, we give an asymptotic description of the decreasing fast solutions of (1.1) described in Theorem 1.1. We will also consider a similar problem for the more general higher-order equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ6_HTML.gif)
where and
, with
being a convex open neighborhood of
in
. Throughout the paper, we will assume that the partial derivatives
,
, are continuous on
and
so that (1.6) has the zero equilibrium; moreover, the mild technical assumption
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ7_HTML.gif)
holds. We are interested in the asymptotic properties of those positive, monotone decreasing solutions of (1.6) which tend to the zero equilibrium, that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ8_HTML.gif)
We will show that under appropriate assumptions the decay rates of these solutions are equal to the characteristic values of the corresponding linearized equation belonging to the interval . Our result, combined with asymptotic theorems from [2] or [3], yields asymptotic formulas for the positive, monotone decreasing solutions of (1.6).
Before we formulate our main theorems, we introduce some notations and definitions. Associated with (1.6) is the linearization about the zero equilibrium, namely, the linear homogeneous equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ9_HTML.gif)
with coefficients
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ10_HTML.gif)
By a characteristic value of (1.9), we mean a complex root of the characteristic polynomial
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ11_HTML.gif)
Thus, the set of all characteristic values of (1.9) is given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ12_HTML.gif)
To each , there corresponds solutions of (1.9) of the form
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ13_HTML.gif)
where is a polynomial of degree less than
, the multiplicity of
as a root of
. Such solutions are called characteristic solutions corresponding to
. If
is a nonempty set of characteristic values, then by a characteristic solution corresponding to the set
, we mean a finite sum of characteristic solutions corresponding to values
.
Now we can formulate our main results. The first theorem applies to the positive, monotone decreasing solutions of (1.6) provided that zero is a hyperbolic equilibrium of (1.6). Recall that the zero equilibrium of (1.6) is hyperbolic if the linearized equation (1.9) has no characteristic values on the unit circle .
Theorem 1.2.
In addition to the above hypotheses on , suppose that the partial derivatives
,
, are Lipschitz continuous on compact subsets of
. Assume also that zero is a hyperbolic equilibrium of (1.6). Let
be a positive, monotone decreasing solution of (1.6) satisfying (1.8). Then the limit
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ14_HTML.gif)
exists and is a characteristic value of the linearized equation (1.9) belonging to the interval
. Moreover, there exists
such that the asymptotic representation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ15_HTML.gif)
holds, where is a positive characteristic solution of the linearized equation (1.9) corresponding to the set
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ16_HTML.gif)
In contrast to Theorem 1.2, the next result applies also in some cases when the zero equilibrium of (1.6) is not hyperbolic.
Theorem 1.3.
In addition to the hypotheses on , suppose that the linearized equation (1.9) has exactly one characteristic value
in the interval
. Assume also that
is the only characteristic value of (1.9) on the circle
and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ17_HTML.gif)
where is the multiplicity of
as a root of the characteristic polynomial
. Let
be a positive, monotone decreasing solution of (1.6) satisfying (1.8). Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ18_HTML.gif)
Note that conclusion (1.18) of Theorem 1.3 is stronger than (1.14).
For the second-order equation (1.1), we have the following theorem which provides new information about the decreasing fast solutions obtained by Aprahamian et al. [1].
Theorem 1.4.
Adopt the hypotheses of Theorem 1.1. Let be a monotone decreasing solution of (1.1) satisfying conditions (1.4) and (1.5). If the (finite) right-hand derivative
exists, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ19_HTML.gif)
where is the unique root of the equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ20_HTML.gif)
in the interval .
If is Lipschitz continuous on
, then (1.19) can be replaced with the stronger conclusion
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ21_HTML.gif)
The proofs of the above theorems are given in Section 3.
2. Preliminary Results
In this section, we establish some preliminary results on linear difference equations with asymptotically constant coefficients which will be useful in the proof of our main theorems.
Consider the linear homogeneous difference equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ22_HTML.gif)
where the coefficients ,
, are asymptotically constant, that is, the (finite) limits
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ23_HTML.gif)
exist. We will assume that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ24_HTML.gif)
If we replace the coefficients in (2.1) with their limits, we obtain the limiting equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ25_HTML.gif)
Theorem 1.2 will be deduced from the following proposition.
Proposition 2.1.
Suppose (2.2) and (2.3) hold. Assume that the convergence in (2.2) is exponential, that is, there exists a constant such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ26_HTML.gif)
Let be a positive, monotone decreasing solution of (2.1). Then the limit
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ27_HTML.gif)
exists and is a characteristic value of the limiting equation (2.4) belonging to the interval
. Moreover, there exists
such that the asymptotic representation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ28_HTML.gif)
holds, where is a positive characteristic solution of the limiting equation (2.4) corresponding to the set of characteristic values
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ29_HTML.gif)
where is the characteristic polynomial corresponding to (2.4).
Proof.
Equation (2.1) can be written in the form
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ30_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ31_HTML.gif)
Let be the
-transform of
defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ32_HTML.gif)
where is the radius of convergence given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ33_HTML.gif)
The boundedness of implies that
. By the application of a Perron-type theorem (see [4, Theorem
] or [5, Theorem
]), we conclude that
for some characteristic value
of (2.4). By virtue of (2.3), the characteristic values of (2.4) are nonzero. Therefore,
.
From (2.5) and (2.12), we see that the radius of convergence of the
-transform
of
given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ34_HTML.gif)
satisfies the inequality
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ35_HTML.gif)
Therefore, is holomorphic in the region
. Taking the
-transform of (2.9) and using the shifting properties
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ36_HTML.gif)
it follows by easy calculations that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ37_HTML.gif)
where is the polynomial given by (1.11) and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ38_HTML.gif)
with given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ39_HTML.gif)
Since the coefficients of the -transform
are positive, according to Prinsheim's theorem (see [6, Theorem
] or [7, Theorem
, page 262])
has a singularity at
. Since
and hence
is holomorphic in the region
, this implies that
. Otherwise, (2.16) would imply that
can be extended as a holomorphic function to a neighborhood of
by
. Thus,
is a characteristic value of (2.4).
According to [4, Theorems and
], we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ40_HTML.gif)
Since is monotone decreasing, it follows for
,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ41_HTML.gif)
and hence
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ42_HTML.gif)
Letting in the last inequality, and using (2.19), we find that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ43_HTML.gif)
This proves the existence of the limit (2.6) with . Finally, conclusion (2.7) is an immediate consequence of [2, Theorem
and Remark
].
Theorem 1.3 can be regarded as a corollary of the following result.
Proposition 2.2.
Suppose (2.2) and (2.3) hold. Assume that the limiting equation (2.4) has exactly one characteristic value in the interval
. Assume also that
is the only characteristic value of (2.4) on the circle
and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ44_HTML.gif)
where is the multiplicity of
as a root of the characteristic polynomial corresponding to (2.4). Let
be a positive, monotone decreasing solution of (2.1). Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ45_HTML.gif)
Before we give a proof of Proposition 2.2, we establish two lemmas.
Lemma 2.3.
Suppose (2.2) and (2.3) hold. Let be a positive, monotone decreasing solution of (2.1). Then there exists
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ46_HTML.gif)
Proof.
The second inequality in (2.25) follows from the monotonicity of . In order to prove the first inequality, suppose by the way of contradiction that there exists a strictly increasing sequence
in
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ47_HTML.gif)
From (2.1), we obtain for ,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ48_HTML.gif)
From this and from the fact that is monotone decreasing, we find for
,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ49_HTML.gif)
Writing in the last inequality, letting
, and using (2.2), (2.3), and (2.26), we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ50_HTML.gif)
a contradiction. Thus, (2.25) holds for some .
The following lemma will play a key role in the proof of Proposition 2.2.
Lemma 2.4.
Suppose that (2.4) has exactly one characteristic value in the interval
. Assume also that
is the only characteristic value of (2.4) on the circle
and (2.23) holds. Let
be a positive, monotone decreasing biinfinite sequence satisfying (2.4) on
, that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ51_HTML.gif)
Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ52_HTML.gif)
Proof.
We will prove the lemma by using a similar method as in the proof of [8, Lemma ]. The radius of convergence
of the
-transform
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ53_HTML.gif)
of is given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ54_HTML.gif)
Since is bounded on
,
, and [4, Theorem
] or Lemma 2.3 implies that
. Taking the
-transform of (2.4), we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ55_HTML.gif)
where is given by (1.11) and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ56_HTML.gif)
Relation (2.34), combined with Pringsheim's theorem [6, Theorem ], implies that
. (Otherwise,
can be extended as a holomorphic function to a neighborhood of
by
.) Since
and the only root of
in
is
, we have that
.
Define
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ57_HTML.gif)
where is the radius of convergence of the above power series given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ58_HTML.gif)
Since is monotone decreasing, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ59_HTML.gif)
Therefore,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ60_HTML.gif)
and hence . As a solution of a constant coefficient equation,
is a sum of characteristic solutions. Therefore,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ61_HTML.gif)
and hence . From (2.30), we find for
and
,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ62_HTML.gif)
Summation from to infinity and the definition of
yield
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ63_HTML.gif)
with as in (2.35). This, combined with Prinsheim's theorem, implies that
. Since
and the only root of
in
is
, we have that
. Thus,
. This, together with (2.34) and (2.42), implies that the holomorphic function
defined on the open set
by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ64_HTML.gif)
satisfies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ65_HTML.gif)
By hypotheses, is the only root of
on the circle
. Therefore, (2.44) implies that
can be extended as a holomorphic function to
by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ66_HTML.gif)
Moreover, since , the function
defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ67_HTML.gif)
has a removable singularity at . Thus, it can be regarded as an entire function. Using (1.11), (2.35), and (2.44), we obtain for
,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ68_HTML.gif)
Hence
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ69_HTML.gif)
By the application of the Extended Liouville Theorem [6, Theorem ], we conclude that
is a polynomial of degree at most 2, that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ70_HTML.gif)
for some ,
,
. Since
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ71_HTML.gif)
Therefore,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ72_HTML.gif)
Hence
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ73_HTML.gif)
where . This, together with (2.43), implies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ74_HTML.gif)
From this, in view of the uniqueness of the -transform, we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ75_HTML.gif)
From (2.43) and (2.52), we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ76_HTML.gif)
From this and (2.36), in view of the uniqueness of the coefficients of the power series, we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ77_HTML.gif)
This, together with (2.54), yields
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ78_HTML.gif)
From this, taking into account that for all
, we see that
. Therefore, (2.57) reduces to (2.31).
Now we are in a position to give a proof of Proposition 2.2.
Proof of Proposition 2.2.
Let be an arbitrary accumulation point of
so that for some strictly increasing sequence
in
,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ79_HTML.gif)
In order to prove (2.24), it is enough to show that . From conclusion (2.25) of Lemma 2.3 and the relation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ80_HTML.gif)
we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ81_HTML.gif)
From (2.60), it follows by the standard diagonal choice (see the proof of [8, Theorem ]) that there exists a subsequence
of
such that the limits
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ82_HTML.gif)
exist and are finite. Let be fixed. Writing
in (2.1) and dividing the resulting equation by
, we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ83_HTML.gif)
where is so large that
for
. From this, letting
and using (2.2) and (2.61), we see that the biinfinite sequence
satisfies (2.30). Further, it is easily seen that
inherits the monotone decreasing property of
. Finally, from estimates (2.60), we see that
on
. By the application of Lemma 2.4, we conclude that
has the form (2.31). Since
(see (2.61)), (2.31) yields
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ84_HTML.gif)
From this and (2.61), taking into account that is a subsequence of
, we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ85_HTML.gif)
3. Proofs of the Main Theorems
Proof of Theorem 1.2.
Since , from (1.6), we find for
,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ86_HTML.gif)
Thus, is a solution of (2.1) with coefficients
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ87_HTML.gif)
By virtue of (1.8), the limits in (2.2) exist and are given by (1.10), that is, the limiting equation (2.4) coincides with the linearized equation (1.9). By virtue of (1.7), hypothesis (2.3) of Proposition 2.1 is satisfied. Let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ88_HTML.gif)
By virtue of the boundedness of ,
. As noted in the proof of Proposition 2.1, according to [4, Theorem
],
for some
. Since zero is a hyperbolic equilibrium of (1.6),
for all
. Therefore,
. Choose
. By virtue of (3.3),
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ89_HTML.gif)
From this, (1.10), (3.2) and the Lipschitz continuity of the partial derivatives ,
, it is easily shown that hypothesis (2.5) of Proposition 2.1 also holds. The conclusions of Theorem 1.2 follow from Proposition 2.1.
Proof of Theorem 1.3.
As noted in the proof of Theorem 1.2, is a solution of (2.1) with the asymptotically constant coefficients given by (3.2) and the limiting equation of (2.1) is the linearized equation (1.9). Further, by virtue of (1.7), condition (2.3) holds. Thus, all hypotheses of Proposition 2.2 are satisfied and the result follows from Proposition 2.2.
Proof of Theorem 1.4.
Equation (1.1) can be written in the form
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ90_HTML.gif)
Consequently, is a solution of the equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ91_HTML.gif)
Suppose that is finite. Condition (1.4), together with the positivity of
and
, implies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ92_HTML.gif)
Therefore, the coefficients in (3.6) are asymptotically constant and the corresponding limiting equation is
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ93_HTML.gif)
Since and
, we have
. From (1.2), it follows
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ94_HTML.gif)
with the last but one equality being a consequence of L'Hospital's rule. This, together with (1.3), yields
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ95_HTML.gif)
Hence
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ96_HTML.gif)
The characteristic polynomial corresponding to (3.8) is
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ97_HTML.gif)
We have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ98_HTML.gif)
Further, it is easily shown that (3.11) implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ99_HTML.gif)
Therefore, has a root
in
and the second root
of
belongs to the interval
. By the application of Poincaré's theorem (see [5, Section
] or [9, Section
]), we conclude that the limit
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ100_HTML.gif)
exists and or
. Condition (1.5) implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ101_HTML.gif)
Therefore,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ102_HTML.gif)
From this and (1.4), we find that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ103_HTML.gif)
Hence
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ104_HTML.gif)
Since , we have that
and (1.19) holds.
Now suppose that is Lipschitz continuous on
. For all large
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ105_HTML.gif)
where is the Lipschitz constant of
on
. From this and (3.18), we see that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F973432/MediaObjects/13662_2009_Article_1359_Equ106_HTML.gif)
This shows that the convergence of the coefficients of (3.6) to their limits is exponentially fast. Thus, Proposition 2.1 applies and the limit relation (1.21) follows from the asymptotic formula (2.7).
References
Aprahamian M, Souroujon D, Tersian S: Decreasing and fast solutions for a second-order difference equation related to Fisher-Kolmogorov's equation. Journal of Mathematical Analysis and Applications 2010,363(1):97-110. 10.1016/j.jmaa.2009.08.009
Agarwal RP, Pituk M: Asymptotic expansions for higher-order scalar difference equations. Advances in Difference Equations 2007, 2007:-12.
Bodine S, Lutz DA: Exponentially asymptotically constant systems of difference equations with an application to hyperbolic equilibria. Journal of Difference Equations and Applications 2009,15(8-9):821-832. 10.1080/10236190802357602
Pituk M: More on Poincaré's and Perron's theorems for difference equations. Journal of Difference Equations and Applications 2002,8(3):201-216. 10.1080/10236190211954
Elaydi S: An Introduction to Difference Equations, Undergraduate Texts in Mathematics. 3rd edition. Springer, New York, NY, USA; 2005:xxii+539.
Bak J, Newman DJ: Complex Analysis, Undergraduate Texts in Mathematics. Springer, New York, NY, USA; 1982:x+244.
Schaefer HH: Topological Vector Spaces, Graduate Texts in Mathematics. Volume 3. 3rd edition. Springer, New York, NY, USA; 1971:xi+294.
Pituk M: Nonnegative iterations with asymptotically constant coefficients. Linear Algebra and Its Applications 2009,431(10):1815-1824. 10.1016/j.laa.2009.06.020
Agarwal RP: Difference Equations and Inequalities, Monographs and Textbooks in Pure and Applied Mathematics. Volume 155. Marcel Dekker, New York, NY, USA; 1992:xiv+777.
Acknowledgment
This research was supported in part by the Hungarian National Foundation for Scientific Research (OTKA) Grant no. K 732724.
Author information
Authors and Affiliations
Corresponding author
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.
About this article
Cite this article
Krasznai, B., Győri, I. & Pituk, M. Positive Decreasing Solutions of Higher-Order Nonlinear Difference Equations. Adv Differ Equ 2010, 973432 (2010). https://doi.org/10.1155/2010/973432
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2010/973432