- Research
- Open access
- Published:
Quasilinearization for nonlinear boundary value problems for delay-type difference equations with maxima
Journal of Inequalities and Applications volume 2014, Article number: 132 (2014)
Abstract
The paper deals with an approximate method for solving a mixed boundary value problem for nonlinear difference equations containing a maximum of the unknown function over a past time interval. Every successive approximation to the unknown solution is the unique solution of an appropriately constructed initial value problem for a linear difference equation with maxima, and an algorithm for its explicit obtaining is suggested. Also, each approximation is a lower/upper solution of the given mixed problem. The rapid convergence of the successive approximations is proved. The suggested algorithm is realized as a computer program and it is applied to an example.
MSC: 39A23, 39A99, 65Q10.
1 Introduction
In the last few decades great attention has been paid to automatic control systems and their applications to computational mathematics and modeling. Many problems in the control theory correspond to the maximal deviation of the regulated quantity. Discrete modeling of such kind of problems is done adequately by difference equations with maxima over a past time discrete interval. These difference equations are a part of the set of difference equations with delays. Meanwhile, the delays have recently been found crucial in many areas such as neuronal dynamics. For example, the effects of periodic subthreshold pacemaker activity and time-delayed coupling on stochastic resonance over scale-free neuronal networks are studied in [1]; the effects of spatiotemporal additive noise on the spatial dynamics of excitable neuronal media that is locally modeled by a two-dimensional map are considered in [2]; the discrete model of the movement of eukaryotic cells regulated by a process of phase separation of two competing enzymes on the cell membrane is studied in [3]; front propagation and synchronization transitions in dependence on the information transmission delay and coupling strength over scale-free neuronal networks with different average degrees and scaling exponents are investigated in [4].
The presence of the maximum function over a discrete past time interval in the discrete equation requires not only more complicated calculations but also a development of new methods for qualitative investigations of the behavior of their solutions as well as approximate methods for their solving. The character of the maximum function leads to a variety of different types of difference equations. The properties of solutions of some special types of difference equations with maxima are studied in [5–7]. In several papers various types of boundary value problems for difference equations have been studied and the monotone iterative method has been applied. For example, in [8, 9] first-order difference equations are studied; in [10] some criteria for existence and uniqueness results for nth order anti-periodic difference equations are developed; in [11] a generalized delay difference equation is studied by lower and upper solutions, but the problem consists only of a boundary condition, which does not get uniqueness of the solution; the global boundary value problem for difference equations without any kind of delay is well studied in [12]; in [13] a nonlinear boundary value problem for a delay difference equation with one delay is studied by the monotone iterative method; in [14] an approximate method with a rapid convergence is applied to an initial value problem for difference equations with maxima. Also, in [15], the monotone iterative technique is applied to a periodic boundary value problem for difference equations with maxima, but the successive approximation is solutions of periodic boundary value problems, which are practically difficult to be obtained. Approximate methods for various problems for differential equations with maxima are proved and applied in [16–18].
In the paper a nonlinear difference equation of delayed type is considered. The studied equation generalizes the well-known problems in several ways:
-
at each current time the value of unknown function is included in both parts of the equation, so the equation could not be solved recursively;
-
the delays are without any restrictions;
-
the boundary condition is set up in a very general way and it involves many other cases, which are studied in the literature (see, for example, the above-mentioned papers).
The main purpose of the paper is to establish comparison results which allow us to use upper and lower solutions in order to build two convergent monotonic sequences of functions with discrete domains. Each term of these sequences is a solution of an appropriately constructed initial value problem for a linear difference equation with maxima. An algorithm for solving these initial value problems is given. Also, each term of both sequences is a lower/upper solution of the given nonlinear boundary value problem. The limits of both sequences coincide to the solution of a given problem and the rapid convergence of both sequences is proved. Also, the algorithm is computerized and it is applied to a particular example to show the advantages of the suggested approximate method.
2 Statement of the problem
Let , ℤ be the set of all integers. For any : , we denote .
Let : , and : be fixed.
Consider the following mixed boundary value problem for a nonlinear delay-difference equation with ‘maxima’ (MBVP):
where , , , , : , , , , and .
Any solution of MBVP (1)-(3) is a finite sequence of real numbers, and we consider it as a real-valued function with a discrete domain.
The presence of delays generalizes the type of the considered difference equation since the function f could depend on different delays at any point k. In the case and , , the right-hand side of (1) is reduced to . For some other particular cases, see equation (39) of the paper.
The presence of both delays and the maximum function in the equation leads to a new statement of the problem, which involves both the boundary condition and the initial condition. Problem (1)-(3) covers many different problems for difference equations with delays and maxima such as the initial value problem, the periodic boundary value problem, the linear boundary value problem.
3 Preliminary notes, basic notations and definitions
Note and , where and , .
For any function , , , we denote by the first derivative of with respect to its j th argument, and by the second derivative of with respect to its j th and k th arguments.
We introduce the following notations:
Using the above notations, the right-hand sides of equation (1) and boundary condition (3) could be written in a simpler way: and .
We will use the norm .
Let be given functions such that . We introduce the following sets:
We will use lower/upper solutions of MBVP (1)-(3) which are defined in a well-known way.
Definition 1 [11]
The function is called a lower (upper) solution of MBVP (1)-(3) if
4 Linear delay difference inequalities with maxima
We will consider the following linear difference inequality with ‘maxima’:
where K is a nonnegative constant.
The inequalities (4) are the base of the main proof, and we will obtain a solution of (4) in an explicit form.
Lemma 1 Let the following conditions be fulfilled:
-
1.
The delays , are such that , .
-
2.
The functions , , and
(5) -
3.
The function satisfies inequalities (4).
Then for the inequality holds, where
Proof From inequality (4) we obtain
Define a function by the equalities
The function is nondecreasing and , , for , .
From the definition of and the first inequality in (4), we obtain
By mathematical induction from (8), condition 2 and the definition of , we prove the claim. □
In the case when all delays for , condition 2 of Lemma 1 could be changed by a simpler one.
Lemma 2 Let the following conditions be fulfilled:
-
1.
The delays for all and .
-
2.
The functions , , and
(9) -
3.
The function satisfies inequalities (4).
Then for the inequality holds, where
Corollary 1 Let conditions 1 and 2 of Lemma 1/Lemma 2 be fulfilled, and let the function satisfy inequalities (4) for .
Then for all .
5 Linear delay difference equations with maxima
In connection with the computer realization of the suggested method, we will give an algorithm for exact solution of the initial value problem for the scalar linear delay-difference equation with ‘maxima’:
where , for , and : for .
We will consider two cases with respect to the type of delays .
Case 1: Let the inequality hold for all , . Additionally, we assume that inequality (9) is satisfied for all .
Assume that the values of the unknown solution are obtained for all , where . Now let .
Case 1.1: Let the following inequality be satisfied:
Thus, . Then the unique solution of IVP (11), (12) is
Case 1.2: Let inequality (13) be not satisfied for all . Therefore, there exists such that . Then and the unique solution of IVP (11), (12) is
Case 2: Let there exist at least one and such that . Additionally, we assume that inequality (5) is satisfied for all .
Assume that the values of the unknown solution are obtained for all , where . Now let .
Let there exist integers for and for , . Equation (11) is reduced to
Case 2.1: Let the following inequality be satisfied:
Therefore, , and from (16) we obtain the solution
Case 2.2: Let inequality (17) be not satisfied for all .
Therefore, there exists such that .
Then the unique solution of problem (11), (12) is given by
6 Method of quasilinearization
We will apply the method of quasilinearization to obtain the approximate solution of MBVP (1)-(3).
Theorem 1 Let the following conditions be fulfilled:
-
1.
The delays for all and .
-
2.
The function and for any and , the equality holds, where the functions , are twice continuously differentiable with respect to any component of V and the following inequalities are valid for , :
(20)(21)(22) -
3.
The function is nondecreasing with respect to all its arguments.
-
4.
The functions , is a lower solution, is an upper solution of MBVP (1)-(3), and for .
Then there exist two sequences of functions , such that
-
(a)
() are lower solutions of MBVP (1)-(3).
-
(b)
() are upper solutions of MBVP (1)-(3).
-
(c)
.
-
(d)
Both sequences are convergent on and their limits and are solutions of MBVP (1)-(3) in . In the case of uniqueness, both limits coincide with this solution.
-
(e)
The convergence is semi-quadratic, i.e., there exist , , such that
Proof We will give an algorithm for construction of successive approximations to the exact unknown solution of MBVP (1)-(3).
Assume that the functions , , are constructed so that the following conditions are satisfied:
(H1) and for ;
(H2) for ;
(H3) for ;
(H4) functions , are lower and upper solutions of MBVP (1)-(3), respectively.
Consider both initial value problems (IVP) for the linear difference equations with ‘maxima’:
and
where
and , , are defined by
From inequalities (20) and , , , it follows that . From inequalities (20), (22) we get that the functions , , satisfy (5) for . IVPs (23), (24) and (25), (26) have unique solutions and , respectively, which are defined on the interval .
From condition (H3), for , the constants follow.
Define a function by .
Let . From (24) we get and
Now, let . Then from (H3) for we get
Let . From the choice of the function and equation (23) for the function , we get
According to Corollary 1, from inequalities (27)-(29) it follows that for , i.e., for .
Similarly, we prove for , i.e., condition (H1) is satisfied for .
Now, we will prove that the function is a lower solution of MBVP (1)-(3).
Let . From (24) we get .
Let . From the proved above and condition 3 of Theorem 1, the inequality holds.
Let . Then we obtain
Similarly, we prove that is an upper solution of MBVP (1)-(3).
Now, we will prove (H2) for . Define a function by the equality .
Let . Then .
Also, from condition 3 of Theorem 1 and (H2) for , we get .
Now, let . Then for the function we get
According to Corollary 1, the inequality holds for , i.e., for .
Therefore, .
For any fixed , the sequences and are monotone nondecreasing and monotone nonincreasing, respectively, and they are bounded by the functions and . Therefore, both sequences are convergent on , i.e., there exist functions such that
From claim (c) of Theorem 1 it follows that . Taking limits as in IVPs (23), (24) and (25), (26), we obtain that V and W are solutions of MBVP (1)-(3) in .
Now, we will study the power of convergence of the sequences of functions and .
Define the functions , , by
Let . From (24) and the choice of we get
Also, from condition 3 it follows that there exists a constant such that
Let . According to the definitions of the functions , and condition 2 of Theorem 1, we get
Also, the following inequalities are valid:
Applying the mean value theorem, condition 2 of Theorem 1, inequalities (33), (34) and some simple calculations, we obtain that there exist constants such that
Let and .
According to Lemma 1, for , from inequalities (31), (32), (35) it follows that
where is defined by (6) for , i.e., the sequence semi-quadratically converges to the exact solution of (1)-(3).
Similarly, we prove the semi-quadratic convergence of . □
Theorem 2 Let the delays for all and and conditions 2, 3, 4 of Theorem 1 be satisfied, where the inequalities (21) and (22) are replaced by
Then all the claims of Theorem 1 are true.
7 Application
Now we will give an example of a generalized difference equation to illustrate the advantage of both the introducing delay functions in the equation and the suggested above scheme for approximate obtaining of a solution.
Consider the MBVP for the nonlinear difference equation with ‘maxima’
where , , and denotes the integer part of the real number s, i.e.,
MBVP (39) is of type (1)-(3), where , , , , , , , , .
The functions and , are lower and upper solutions of (39). Inequalities (37), (38) and condition 3 of Theorem 1 are satisfied. According to Theorem 2, MBVP (39) has a solution, and we will obtain it as a limit of two sequences of successive approximations.
The approximation is a solution of IVP (23), (24) which is reduced to
and the approximation is a solution of IVP (25), (26) which is reduced to
where , , , and
IVPs (40) and (41) are solved by a computer realization of the algorithm given in Section 5, and the results are given in Table 1. The obtained numerical results demonstrate the rapid monotonic convergence of both sequences.
References
Wang Q, Perc M, Duan Z, Chen G: Delay-induced multiple stochastic resonances on scale-free neuronal networks. Chaos 2009., 19: Article ID 023112 10.1063/1.3133126
Perc M: Spatial coherence resonance in neuronal media with discrete local dynamics. Chaos Solitons Fractals 2007, 31: 64–69. 10.1016/j.chaos.2005.09.021
Ferraro T, de Candia A, Gamba A, Coniglio A: Synchronization transitions on small-world neuronal networks: effects of information transmission delay and rewiring probability. EPL 2008., 83: Article ID 50008 10.1209/0295-5075/83/50009
Wang Q, Perc M, Duan Z, Chen G: Synchronization transitions on scale-free neuronal networks due to finite information transmission delays. Phys. Rev. E 2009., 80: Article ID 026206
Gelisken A, Sinar G, Kurbanli A: On the asymptotic behavior and periodic nature of a difference equation with maximum. Comput. Math. Appl. 2010,59(2):898–902. 10.1016/j.camwa.2009.10.004
Touafek N, Halim Y: On max type difference equations: expressions of solutions. Int. J. Nonlinear Sci. 2011,11(4):396–402.
Yang X, Liao X, Li C: On a difference equation with maximum. Appl. Math. Comput. 2006,181(1):1–5. 10.1016/j.amc.2006.01.005
Atici FM, Cabada A, Ferreiro J: First order difference equations with maxima and nonlinear functional boundary value conditions. J. Differ. Equ. Appl. 2006,12(6):565–576. 10.1080/10236190600637924
Tisdell C: On first-order discrete boundary value problems. J. Differ. Equ. Appl. 2006, 12: 1213–1223. 10.1080/10236190600949790
Agarwal R, Cabada A, Otero-Espinar V: Existence and uniqueness results for n -th order nonlinear difference equations in presence of lower and upper solutions. Arch. Inequal. Appl. 2003, 1: 421–432.
Jankowski T: First-order functional difference equations with nonlinear boundary value problems. Comput. Math. Appl. 2010, 59: 1937–1943. 10.1016/j.camwa.2009.11.008
Cabada A: The method of lower and upper solutions for periodic and anti periodic difference equations. Electron. Trans. Numer. Anal. 2007, 27: 13–25.
Cabada A, Otero-Espinar V, Pouso V: Existence and approximations of solutions of first order discontinuous difference equations with nonlinear global conditions in the presence of lower and upper solutions. Comput. Math. Appl. 2000, 39: 21–33. 10.1016/S0898-1221(99)00310-7
Hristova S, Golev A, Stefanova K: Quasilinearization of the initial value problem for difference equations with maxima. J. Appl. Math. 2012., 2012: Article ID 159031 10.1155/2012/159031
Atici FM, Cabada A, Ferreiro J: Existence and comparison results for first order periodic implicit difference equations with maxima. J. Differ. Equ. Appl. 2002,8(4):357–369. 10.1080/1026190290017342
Agarwal R, Hristova S: Quasilinearization for initial value problems involving differential equations with “maxima”. Math. Comput. Model. 2012,55(9–10):2096–2105. 10.1016/j.mcm.2012.01.015
Bainov D, Hristova S: Differential Equations with Maxima. Taylor & Francis, CRC Press, London; 2011.
Golev A, Hrisova S, Rahnev A: An algorithm for approximate solving of differential equations with “maxima”. Comput. Math. Appl. 2010, 60: 2771–2778. 10.1016/j.camwa.2010.09.030
Acknowledgements
Research was partially supported by Fund Scientific Research MU13FMI002, Plovdiv University.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally in the preparation of this article. Both authors read and approved the final manuscript.
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
Hristova, S., Golev, A. Quasilinearization for nonlinear boundary value problems for delay-type difference equations with maxima. J Inequal Appl 2014, 132 (2014). https://doi.org/10.1186/1029-242X-2014-132
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2014-132