Abstract and Applied Analysis

Volume 2012 (2012), Article ID 764351, 12 pages

http://dx.doi.org/10.1155/2012/764351

## Asymptotic Upper and Lower Estimates of a Class of Positive Solutions of a Discrete Linear Equation with a Single Delay

^{1}Department of Mathematics and Descriptive Geometry, Faculty of Civil Engineering, Brno University of Technology, 602 00 Brno, Czech Republic^{2}Department of Mathematics, Faculty of Electrical Engineering and Communication, Brno University of Technology, 616 00 Brno, Czech Republic

Received 20 February 2012; Accepted 1 March 2012

Academic Editor: Elena Braverman

Copyright © 2012 J. Diblík and I. Hlavičková. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We study a frequently investigated class of linear difference equations
with a positive coefficient and a single delay *k*. Recently, it was proved that if the function is bounded above by a certain function, then there exists a positive vanishing solution of the considered equation, and the upper bound was found. Here we improve this result by finding even the lower bound for the positive solution, supposing the function is bounded above and below by certain functions.

#### 1. Introduction

Throughout this paper, we use the following notation: for an integer , we define We investigate the asymptotic behavior as of the solutions of the discrete delayed equation of the -th order where is the independent variable assuming values from the set with a fixed . The number is the fixed delay, , and .

Along with (1.2), we consider initial conditions Initial problem (1.2), (1.3) obviously has a unique solution, defined for every . Moreover, the solution of (1.2) continuously depends on initial conditions (1.3).

Equation (1.2) is investigated very frequently. It was analyzed, for example, in papers [1–3] (where the comparison method [4, 5] was used) and [6]. Similar problems for differential and dynamic equations are studied, for example, in [7–10].

In a recent work of the authors [6], it is proved that if the function is bounded above by a certain function, then there exists a positive vanishing (i.e., tending to 0 as ) solution of the considered equation. Moreover, its upper bound was found. Our aim is to improve this result and to show that if the coefficient is between two functions and (see (2.3), (2.6), and (2.7) below) then (1.2) has a positive vanishing solution which is bounded from below by the function (see (2.5)) and from above by the function (see (2.4)). Due to the linearity of equation considered it becomes clear that a similar result holds for a one-parametric family of positive vanishing solutions of (1.2).

To prove this, we will use Theorem 1.1 which is one of the main results of [6]. This theorem is valid for any delayed difference equation of the form:

Theorem 1.1. *Let , , be real functions defined on . Further, let be a continuous function and let the inequalities:
**
hold for every and every such that
**
Then there exists a solution of (1.4) satisfying the inequalities
**
for every .*

For related comparison theorems for solutions of difference equations as well as related methods and their applications, see, for example, [1, 11–21] and the related references therein. Investigation of positive solutions (and connected problems of oscillating solutions) attracted recently large attention. Except the references given above, one refers as well to [11, 22–33], and to the references therein. Existence of positive solutions of some classes of difference equations has been also studied in papers [12–16]. The existence of unbounded solutions by some comparison methods can be found, for example, in [17, 18].

#### 2. Auxiliary Functions and Lemmas

Define the expression , , as where . We will write only instead of . Further, for a fixed integer define auxiliary functions: where , is a constant. Notice that if is sufficiently large, all these functions are well defined for .

Finally, let functions satisfy for the inequalities: for fixed and .

In [3], it was proved that if in (1.2) is a positive function bounded above by for some , then there exists a positive solution of (1.2) bounded above by the function for sufficiently large. Since , such solution will vanish as . This result was further improved in [6], where it was shown that (1.2) has a positive solution bounded above by even if the coefficient satisfies a less restrictive inequality, namely, . Here we will prove that function provides the lower estimate of the solution, supposing . The proof of this statement will be based on the following four lemmas. The symbols “” and “” stand for the Landau order symbols and are used as .

Lemma 2.1. *For fixed and fixed , the asymptotic representation:
**
holds as .*

*Proof. *Relation (2.8) can be proved by induction with respect to , for details, see [6].

Lemma 2.2. *For fixed and fixed , the asymptotic representations:
**
hold as .*

*Proof. *Both these relations are simple consequences of the asymptotic formula:
and of Lemma 2.1 (for formula (2.9)).

In the case of relation (2.10), we put and .

To prove relation (2.9), first notice that dividing (2.8) by , we get
Thus, putting
and using (2.11), we get (2.9).

The following lemma is proved in [6].

Lemma 2.3. *For fixed and fixed , the asymptotic representation:
**
holds as .*

Lemma 2.4. *For fixed , and , the asymptotic representation:
**
holds as .*

*Proof. *Using Lemma 2.2 with and instead of , we get for
Multiplying the asymptotic representations (2.14) and (2.16), we get (2.15).

#### 3. Main Result

Now we are ready to prove that there exists a positive solution of (1.2) which is bounded below and above. Remind the functions , , , , and were defined by (2.3)–(2.6) and (2.7), respectively.

Theorem 3.1. *Suppose that there exist numbers , and , such that the function in (1.2) satisfies the inequalities
**
for every . Then there exists a solution of (1.2) such that for sufficiently large the inequalities:
**
hold.*

*Proof. *Show that all the assumptions of Theorem 1.1 are fulfilled. For (1.2),
This is a continuous function. Put
We have to prove that for every such that
the inequalities (1.5) and (1.6) hold for sufficiently large. Start with (1.5). That gives that for
it has to be
which is equivalent to the inequality
Denote the left-hand side of (3.8) as . As and as by (2.3), (2.6), and (3.1)
we have
Further, we can easily see that
Thus, to prove (3.8), it suffices to show that for sufficiently large, the following inequality holds:
Denote the left-hand side of inequality (3.12) as and the right-hand side as . In the following computation we will use the fact that and
and we will omit all the terms which are of order . Applying Lemma 2.4 with and , we can write
Using Lemma 2.4 with and , we get for
It is easy to see that the inequality (3.12) reduces to
This inequality is equivalent to
The last inequality holds for sufficiently large because , , , and as ,
tend to zero faster than
does.

Thus, we have proved that inequality (1.5) holds.

Next, according to (1.6), we have to prove that
which is equivalent to the inequality:
Denote the left-hand side of (3.21) as . As and as by (2.3), (3.1), and (2.7)
we have
Further, we can easily see that
Thus, to prove (3.21), it suffices to show that for sufficiently large, the following inequality holds:
Denote the left-hand side of inequality (3.25) as and the right-hand side as . Using Lemma 2.3 with and , we can write
Using Lemma 2.3 with and , we get for
It is easy to see that the inequality (3.25) reduces to
This inequality is equivalent to
The last inequality holds for sufficiently large because and . We have proved that all the assumptions of Theorem 1.1 are fulfilled and hence there exists a solution of (1.2) satisfying conditions (1.8), that is, in our case, conditions (3.2).

#### Acknowledgments

The research was supported by the Grant P201/10/1032 of the Czech Grant Agency (Prague), by the Council of Czech Government Grant MSM 00216 30519 and by the Grant FEKT-S-11-2-921 of Faculty of Electrical Engineering and Communication, Brno University of Technology.

#### References

- J. Baštinec and J. Diblík, “Subdominant positive solutions of the discrete equation $\mathrm{\Delta}u(k+n)=-p(k)u(k)$,”
*Abstract and Applied Analysis*, no. 6, pp. 461–470, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. Bašstinec and J. Diblík, “Remark on positive solutions of discrete equation $\mathrm{\Delta}u(k+n)=-p(k)u(k)$,”
*Nonlinear Analysis*, vol. 63, pp. e2145–e2151, 2005. View at Google Scholar - J. Baštinec, J. Diblík, and Z. Šmarda, “Existence of positive solutions of discrete linear equations with a single delay,”
*Journal of Difference Equations and Applications*, vol. 16, no. 9, pp. 1047–1056, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - I. Győri and G. Ladas,
*Oscillation Theory of Delay Differential Equations*, The Clarendon Press Oxford University Press, New York, NY, USA, 1991. - G. Ladas, C. G. Philos, and Y. G. Sficas, “Sharp conditions for the oscillation of delay difference equations,”
*Journal of Applied Mathematics and Simulation*, vol. 2, no. 2, pp. 101–111, 1989. View at Google Scholar · View at Zentralblatt MATH - J. Diblík and I. Hlavičková, “Asymptotic behavior of solutions of delayed difference equations,”
*Abstract and Applied Analysis*, vol. 2011, Article ID 671967, 24 pages, 2011. View at Publisher · View at Google Scholar - L. Berezansky, J. Diblík, and Z. Šmarda, “On connection between second-order delay differential equations and integro-differential equations with delay,”
*Advances in Difference Equations*, vol. 2010, Article ID 143298, 8 pages, 2010. View at Publisher · View at Google Scholar - E. Braverman and B. Karpuz, “Nonoscillation of first-order dynamic equations with several delays,”
*Advances in Difference Equations*, vol. 2010, Article ID 873459, 22 pages, 2010. View at Google Scholar · View at Zentralblatt MATH - E. Braverman and B. Karpuz, “Nonoscillation of second-order dynamic equations with several delays,”
*Abstract and Applied Analysis*, vol. 2011, Article ID 591254, 34 pages, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. Diblík and N. Koksch, “Positive solutions of the equation $i(t)=-c(t)x(t-\tau )$ in the critical case,”
*Journal of Mathematical Analysis and Applications*, vol. 250, no. 2, pp. 635–659, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - R. P. Agarwal, M. Bohner, and W.-T. Li,
*Nonoscillation and Oscillation: Theory for Functional Differential Equations*, Marcel Dekker, New York, NY, USA, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - L. Berg and S. Stević, “On the asymptotics of the difference equation ${y}_{n}(1+{y}_{n-1}\mathrm{...}{y}_{n-k+1})={y}_{n-k}$,”
*Journal of Difference Equations and Applications*, vol. 17, no. 4, pp. 577–586, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - S. Stević, “Asymptotic behavior of a class of nonlinear difference equations,”
*Discrete Dynamics in Nature and Society*, vol. 2006, Article ID 47156, 10 pages, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - S. Stević, “On positive solutions of a $(k+1)$-th order difference equation,”
*Applied Mathematics Letters*, vol. 19, no. 5, pp. 427–431, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - S. Stević, “Existence of nontrivial solutions of a rational difference equation,”
*Applied Mathematics Letters*, vol. 20, no. 1, pp. 28–31, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - S. Stevich, “Nontrivial solutions of higher-order rational difference equations,”
*Mathematical Notes*, vol. 84, no. 5-6, pp. 718–724, 2008. View at Publisher · View at Google Scholar - S. Stević, “On the recursive sequence ${x}_{n+1}=\text{max}\{c,{x}_{n}^{p}/{x}_{n-1}^{p}\}$,”
*Applied Mathematics Letters*, vol. 21, no. 8, pp. 791–796, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - S. Stević, “On a nonlinear generalized max-type difference equation,”
*Journal of Mathematical Analysis and Applications*, vol. 376, no. 1, pp. 317–328, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - S. Stević, “On a system of difference equations,”
*Applied Mathematics and Computation*, vol. 218, no. 7, pp. 3372–3378, 2011. View at Publisher · View at Google Scholar - S. Stević, “On some solvable systems of difference equations,”
*Applied Mathematics and Computation*, vol. 218, no. 9, pp. 5010–5018, 2012. View at Publisher · View at Google Scholar - S. Stević, “On the difference equation ${x}_{n}={x}_{n-2}/({b}_{n}+{c}_{n}{x}_{n-1}{x}_{n-2})$,”
*Applied Mathematics and Computation*, vol. 218, pp. 4507–4513, 2011. View at Google Scholar - J. Baštinec, L. Berezansky, J. Diblík, and Z. Šmarda, “On the critical case in oscillation for differential equations with a single delay and with several delays,”
*Abstract and Applied Analysis*, vol. 2010, Article ID 417869, 20 pages, 2010. View at Publisher · View at Google Scholar - J. Baštinec, J. Diblík, and B. Zhang, “Existence of bounded solutions of discrete delayed equations,” in
*Proceedings of the Sixth International Conference on Difference Equations*, pp. 359–366, CRC, Boca Raton, Fla, usa, 2004. - L. Berezansky and E. Braverman, “On existence of positive solutions for linear difference equations with several delays,”
*Advances in Dynamical Systems and Applications*, vol. 1, no. 1, pp. 29–47, 2006. View at Google Scholar · View at Zentralblatt MATH - G. E. Chatzarakis, C. G. Philos, and I. P. Stavroulakis, “An oscillation criterion for linear difference equations with general delay argument,”
*Portugaliae Mathematica*, vol. 66, no. 4, pp. 513–533, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - G. E. Chatzarakis, R. Koplatadze, and I. P. Stavroulakis, “Oscillation criteria of first order linear difference equations with delay argument,”
*Nonlinear Analysis*, vol. 68, no. 4, pp. 994–1005, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. Čermák, “Asymptotic bounds for linear difference systems,”
*Advances in Difference Equations*, vol. 2010, Article ID 182696, 14 pages, 2010. View at Google Scholar · View at Zentralblatt MATH - I. Győri and M. Pituk, “Asymptotic formulae for the solutions of a linear delay difference equation,”
*Journal of Mathematical Analysis and Applications*, vol. 195, no. 2, pp. 376–392, 1995. View at Publisher · View at Google Scholar - T. Khokhlova, M. Kipnis, and V. Malygina, “The stability cone for a delay differential matrix equation,”
*Applied Mathematics Letters*, vol. 24, no. 5, pp. 742–745, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - L. K. Kikina and I. P. Stavroulakis, “Oscillation criteria for second-order delay, difference, and functional equations,”
*International Journal of Differential Equations*, vol. 2010, Article ID 598068, 14 pages, 2010. View at Google Scholar · View at Zentralblatt MATH - B. Krasznai, I. Győri, and M. Pituk, “Positive decreasing solutions of higher-order nonlinear difference equations,”
*Advances in Difference Equations*, vol. 2010, Article ID 973432, 16 pages, 2010. View at Google Scholar · View at Zentralblatt MATH - R. Medina and M. Pituk, “Nonoscillatory solutions of a second-order difference equation of Poincaré type,”
*Applied Mathematics Letters*, vol. 22, no. 5, pp. 679–683, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - A. Zafer, “The existence of positive solutions and oscillation of solutions of higher-order difference equations with forcing terms,”
*Computers & Mathematics with Applications*, vol. 36, no. 10–12, pp. 27–35, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH