 Research
 Open access
 Published:
Quasilinearization for nonlinear boundary value problems for delaytype 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 timedelayed coupling on stochastic resonance over scalefree 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 twodimensional 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 scalefree 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] firstorder difference equations are studied; in [10] some criteria for existence and uniqueness results for nth order antiperiodic 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 wellknown 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 abovementioned 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 {\mathbb{R}}_{+}=[0,\mathrm{\infty}), ℤ be the set of all integers. For any c,b\in \mathbb{Z}: c<b, we denote \mathbb{Z}[c,b]=\{z\in \mathbb{Z}:c\le z\le b\}.
Let a,T\in \mathbb{Z}: T>a+1, r,p\in \mathbb{Z}[0,Ta] and h\in \mathbb{Z}: h>0 be fixed.
Consider the following mixed boundary value problem for a nonlinear delaydifference equation with ‘maxima’ (MBVP):
where u\in \mathbb{R}, \mathrm{\Delta}u(k1)=u(k)u(k1), f:\mathbb{Z}[a+1,T]\times {\mathbb{R}}^{r+2}\to \mathbb{R}, g:{\mathbb{R}}^{p+1}\to \mathbb{R}, {\tau}_{m}(k):\mathbb{Z}[a+1,T]\to \mathbb{Z}[a+1h,T]: kh\le {\tau}_{m}(k)\le k, m=1,2,\dots ,r, {\lambda}_{j}\in \mathbb{Z}[1,Ta], j=1,2,\dots ,p, and \phi :\mathbb{Z}[ah+1,a1]\to \mathbb{R}.
Any solution of MBVP (1)(3) is a finite sequence of Ta+h real numbers, and we consider it as a realvalued function with a discrete domain.
The presence of delays {\tau}_{m} generalizes the type of the considered difference equation since the function f could depend on different delays at any point k. In the case r=h and {\tau}_{j}(k)=kj, j=1,\dots ,r, the righthand side of (1) is reduced to f(k,u(kh),u(kh+1),\dots ,u(k1),u(k),{max}_{s\in \mathbb{Z}[kh,k]}u(s)). 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 {\sum}_{i=n}^{m}{a}_{i}=0 and {\prod}_{i=n}^{m}{a}_{i}=1, where m<n<\mathrm{\infty} and {a}_{j}\in \mathbb{R}, j\in Z[m,n].
For any function F\in {C}^{2}(I,\mathbb{R}), I\subset {\mathbb{R}}^{r+2}, V=({v}_{1},{v}_{2},\dots ,{v}_{r+2}), we denote by {F}_{{v}_{j}}(V) the first derivative of F(V) with respect to its j th argument, and by {F}_{{v}_{j}{v}_{k}}(V) the second derivative of F(V) with respect to its j th and k th arguments.
We introduce the following notations:
Using the above notations, the righthand sides of equation (1) and boundary condition (3) could be written in a simpler way: f(k,\mathrm{\Xi}(u(\tau (k)))) and g(\chi (u(T))).
We will use the norm \parallel u\parallel =max\{u(k):k\in \mathbb{Z}[ah+1,T]\}.
Let \alpha ,\beta :\mathbb{Z}[a+1h,T]\to \mathbb{R} be given functions such that \alpha (k)\le \beta (k). We introduce the following sets:
We will use lower/upper solutions of MBVP (1)(3) which are defined in a wellknown way.
Definition 1 [11]
The function \alpha :\mathbb{Z}[ah+1,T]\to \mathbb{R} 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 {\tau}_{j}:\mathbb{Z}[a+1,T]\to \mathbb{Z}[a+1h,T], j\in \mathbb{Z}[1,r] are such that kh\le {\tau}_{j}(k)\le k, k\in \mathbb{Z}[a+1,T].

2.
The functions q,Q,{C}_{j}:\mathbb{Z}[a+1,T]\to {\mathbb{R}}_{+}, j\in \mathbb{Z}[1,r], and
\tilde{S}(k)\equiv q(k)+Q(k)+\sum _{j=1}^{r}{C}_{j}(k)<1\phantom{\rule{1em}{0ex}}\mathit{\text{for}}k\in \mathbb{Z}[a+1,T].(5) 
3.
The function u:\mathbb{Z}[a+1h,T]\to {\mathbb{R}}_{+} satisfies inequalities (4).
Then for k\in \mathbb{Z}[a+1,T] the inequality u(k)\le K\theta (k) holds, where
Proof From inequality (4) we obtain
Define a function z:\mathbb{Z}[a+1h,T]\to {\mathbb{R}}_{+} by the equalities
The function z(k) is nondecreasing and u(k)\le z(k), u({\tau}_{j}(k))\le z({\tau}_{j}(k))\le z(k), {max}_{s\in \mathbb{Z}[kh,k]}u(s)\le {max}_{s\in \mathbb{Z}[kh,k]}z(s)=z(k) for k\in \mathbb{Z}[a+1,T], j=1,2,\dots ,r.
From the definition of z(k) and the first inequality in (4), we obtain
By mathematical induction from (8), condition 2 and the definition of z(k), we prove the claim. □
In the case when all delays {\tau}_{j}(k)<k for k\in \mathbb{Z}[a+1,T], condition 2 of Lemma 1 could be changed by a simpler one.
Lemma 2 Let the following conditions be fulfilled:

1.
The delays {\tau}_{j}:kh\le {\tau}_{j}(k)<k for all j\in \mathbb{Z}[1,r] and k\in \mathbb{Z}[a+1,T].

2.
The functions q,Q,{C}_{j}:\mathbb{Z}[a+1,T]\to {\mathbb{R}}_{+}, j=1,2,\dots ,r, and
S(k)\equiv q(k)+Q(k)<1\phantom{\rule{1em}{0ex}}\mathit{\text{for}}k\in \mathbb{Z}[a+1,T].(9) 
3.
The function u:\mathbb{Z}[a+1h,T]\to {\mathbb{R}}_{+} satisfies inequalities (4).
Then for k\in \mathbb{Z}[a+1,T] the inequality u(k)\le K\tilde{\xi}(k) holds, where
Corollary 1 Let conditions 1 and 2 of Lemma 1/Lemma 2 be fulfilled, and let the function u:\mathbb{Z}[a+1h,T]\to {\mathbb{R}}_{+} satisfy inequalities (4) for K=0.
Then u(k)\le 0 for all k\in \mathbb{Z}[ah+1,T].
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 delaydifference equation with ‘maxima’:
where Q,P:\mathbb{Z}[a+1,T]\to \mathbb{R}, q,{C}_{j}:\mathbb{Z}[a+1,T]\to {\mathbb{R}}_{+} for j=1,2,\dots ,r, \psi :\mathbb{Z}[a+1h,a]\to \mathbb{R} and {\tau}_{m}(k):\mathbb{Z}[a+1,T]\to \mathbb{Z}[a+1h,T]: kh\le {\tau}_{m}(k)\le k for m=1,2,\dots ,r.
We will consider two cases with respect to the type of delays {\tau}_{j}.
Case 1: Let the inequality {\tau}_{j}(k)<k hold for all j\in \mathbb{Z}[1,r], k\in \mathbb{Z}[a+1,T]. Additionally, we assume that inequality (9) is satisfied for all k\in \mathbb{Z}[a+1,T].
Assume that the values u(k) of the unknown solution are obtained for all k\in \mathbb{Z}[ah+1,m], where m<T. Now let k=m+1.
Case 1.1: Let the following inequality be satisfied:
Thus, {max}_{s\in \mathbb{Z}[kh,k]}u(s)=u(k). Then the unique solution of IVP (11), (12) is
Case 1.2: Let inequality (13) be not satisfied for all l\in \mathbb{Z}[1,h]. Therefore, there exists m\in \mathbb{Z}[1,h] such that {max}_{s\in \mathbb{Z}[kh,k]}u(s)=u(km). Then Q(k)\le Q(k)+q(k)<1 and the unique solution of IVP (11), (12) is
Case 2: Let there exist at least one j\in \mathbb{Z}[1,r] and k\in \mathbb{Z}[a+1,T] such that {\tau}_{j}(k)=k. Additionally, we assume that inequality (5) is satisfied for all k\in \mathbb{Z}[a+1,T].
Assume that the values u(k) of the unknown solution are obtained for all k\in \mathbb{Z}[ah+1,m], where m<T. Now let k=m+1.
Let there exist integers {j}_{s}\in \mathbb{Z}[1,r]:{\tau}_{{j}_{s}}(k)=k for s\in \mathbb{Z}[1,m] and {\tau}_{j}(k)<k for j\ne {j}_{s}, s\in \mathbb{Z}[1,m]. Equation (11) is reduced to
Case 2.1: Let the following inequality be satisfied:
Therefore, {max}_{s\in \mathbb{Z}[kh,k]}u(s)=u(k), and from (16) we obtain the solution
Case 2.2: Let inequality (17) be not satisfied for all s\in \mathbb{Z}[1,h].
Therefore, there exists m\in \mathbb{Z}[1,h] such that {max}_{s\in \mathbb{Z}[kh,k]}u(s)=u(km).
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 {\tau}_{j}(k):kh\le {\tau}_{j}(k)\le k for all j\in \mathbb{Z}[1,r] and k\in \mathbb{Z}[a+1,T].

2.
The function f:\mathbb{Z}[a+1,T]\times {\mathbb{R}}^{r+2}\to \mathbb{R} and for any k\in \mathbb{Z}[a+1,T] and V\in {\mathrm{\Omega}}_{k}({\alpha}_{0},{\beta}_{0}), the equality f(k,V)=F(k,V)G(k,V) holds, where the functions F(k,V), G(k,V) are twice continuously differentiable with respect to any component of V and the following inequalities are valid for k\in \mathbb{Z}[a+1,T], V\in {\mathrm{\Omega}}_{k}({\alpha}_{0},{\beta}_{0}):
{F}_{{v}_{i}{v}_{j}}(k,V)\ge 0,\phantom{\rule{2em}{0ex}}{G}_{{v}_{i}{v}_{j}}(k,V)\ge 0,\phantom{\rule{1em}{0ex}}\mathit{\text{for}}i,j\in \mathbb{Z}[1,r+2],(20){F}_{{v}_{j}}(k,\mathrm{\Xi}({\alpha}_{0}(k)))\ge {G}_{{v}_{j}}(k,\mathrm{\Xi}({\beta}_{0}(k))),\phantom{\rule{1em}{0ex}}j=1,2,\dots ,r+2,(21)\sum _{j=1}^{r+2}[{F}_{{v}_{j}}(k,\mathrm{\Xi}({\beta}_{0}(k))){G}_{{v}_{j}}(k,\mathrm{\Xi}({\alpha}_{0}(k)))]<1.(22) 
3.
The function g\in {C}^{1}(W({\alpha}_{0},{\beta}_{0}),\mathbb{R}) is nondecreasing with respect to all its arguments.

4.
The functions {\alpha}_{0},{\beta}_{0}:\mathbb{Z}[a+1h,T]\to \mathbb{R}, {\alpha}_{0} is a lower solution, {\beta}_{0} is an upper solution of MBVP (1)(3), and {\alpha}_{0}(k)\le {\beta}_{0}(k) for k\in \mathbb{Z}[a+1h,T].
Then there exist two sequences of functions {\{{\alpha}_{n}\}}_{n=0}^{\mathrm{\infty}}, {\{{\beta}_{n}\}}_{n=0}^{\mathrm{\infty}} such that

(a)
{\alpha}_{n}:\mathbb{Z}[a+1h,T]\to \mathbb{R} (n=1,2,\dots) are lower solutions of MBVP (1)(3).

(b)
{\beta}_{n}:\mathbb{Z}[a+1h,T]\to \mathbb{R} (n=1,2,\dots) are upper solutions of MBVP (1)(3).

(c)
{\alpha}_{0}(k)\le {\alpha}_{1}(k)\le \dots \le {\alpha}_{n}(k)\le \dots \le {\beta}_{n}(k)\le \dots \le {\beta}_{1}(k)\le {\beta}_{0}(k).

(d)
Both sequences are convergent on \mathbb{Z}[a+1h,T] and their limits u(k)={lim}_{n\to \mathrm{\infty}}{\alpha}_{n}(k) and v(k)={lim}_{n\to \mathrm{\infty}}{\beta}_{n}(k) are solutions of MBVP (1)(3) in S({\alpha}_{0},{\beta}_{0}). In the case of uniqueness, both limits coincide with this solution.

(e)
The convergence is semiquadratic, i.e., there exist {\lambda}_{i}(k),{\mu}_{i}(k),{\nu}_{i}(k)>0, i=1,2, such that
\begin{array}{c}x(k){\alpha}_{n}(k)\le {\lambda}_{1}(k)\parallel x{\alpha}_{n}\parallel +{\mu}_{1}(k){\parallel x{\alpha}_{n}\parallel}^{2}+{\nu}_{1}(k){\parallel x{\beta}_{n}\parallel}^{2},\hfill \\ {\beta}_{n}(k)x(k)\le {\lambda}_{2}(k)\parallel x{\beta}_{n}\parallel +{\mu}_{2}(k){\parallel x{\alpha}_{n}\parallel}^{2}+{\nu}_{2}(k){\parallel x{\beta}_{n}\parallel}^{2}.\hfill \end{array}
Proof We will give an algorithm for construction of successive approximations to the exact unknown solution of MBVP (1)(3).
Assume that the functions {\alpha}_{j}(k),{\beta}_{j}(k):\mathbb{Z}[a+1h,T]\to \mathbb{R}, j=1,2,\dots ,n, are constructed so that the following conditions are satisfied:
(H1) {\alpha}_{j}(k)\ge {\alpha}_{j1}(k) and {\beta}_{j}(k)\le {\beta}_{j1}(k) for k\in \mathbb{Z}[a+1h,T];
(H2) {\alpha}_{j}(k)\le {\beta}_{j}(k) for k\in \mathbb{Z}[a+1h,T];
(H3) {\alpha}_{j}(k)\le \phi (k)\le {\beta}_{j}(k) for k\in \mathbb{Z}[a+1h,a1];
(H4) functions {\alpha}_{j}, {\beta}_{j} 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 {P}_{n},{Q}_{n},{q}_{n},{C}_{m}:\mathbb{Z}[a+1,T]\to \mathbb{R}, m=1,2,\dots ,r, are defined by
From inequalities (20) and {\alpha}_{n}(k)\ge {\alpha}_{0}(k), {\beta}_{n}(k)\le {\beta}_{0}(k), k\in \mathbb{Z}[a+1h,T], it follows that {q}_{n}(k)\ge 0. From inequalities (20), (22) we get that the functions {Q}_{n}, {q}_{n}, {C}_{m1}^{(n)} satisfy (5) for k\in \mathbb{Z}[a+1,T]. IVPs (23), (24) and (25), (26) have unique solutions {\alpha}_{n+1}(k) and {\beta}_{n+1}(k), respectively, which are defined on the interval \mathbb{Z}[a+1h,T].
From condition (H3), for j=n, the constants {L}_{n},{M}_{n},{k}_{n},{p}_{n}\ge 0 follow.
Define a function {p}_{1}:\mathbb{Z}[a+1h,T]\to \mathbb{R} by {p}_{1}(k)={\alpha}_{n}(k){\alpha}_{n+1}(k).
Let k\in \mathbb{Z}[a+1h,a1]. From (24) we get \phi (k){\alpha}_{n}(k)\ge {L}_{n} and
Now, let k=a. Then from (H3) for j=n we get
Let k\in \mathbb{Z}[a+1,T]. From the choice of the function {\alpha}_{n} and equation (23) for the function {\alpha}_{n+1}, we get
According to Corollary 1, from inequalities (27)(29) it follows that {p}_{1}(k)\le 0 for k\in \mathbb{Z}[a+1h,T], i.e., {\alpha}_{n}(k)\le {\alpha}_{n+1}(k) for k\in \mathbb{Z}[a+1h,T].
Similarly, we prove {\beta}_{n}(k)\ge {\beta}_{n+1}(k) for k\in \mathbb{Z}[a+1h,T], i.e., condition (H1) is satisfied for j=n+1.
Now, we will prove that the function {\alpha}_{n+1} is a lower solution of MBVP (1)(3).
Let k\in \mathbb{Z}[a+1h,a1]. From (24) we get {\alpha}_{n+1}(k)=\phi (k){k}_{n}{L}_{n}\le \phi (k).
Let k=a. From the proved above and condition 3 of Theorem 1, the inequality {\alpha}_{n+1}(a)=g(\chi ({\alpha}_{n}(T)))\le g(\chi ({\alpha}_{n+1}(T))) holds.
Let k\in \mathbb{Z}[a+1,T]. Then we obtain
Similarly, we prove that {\beta}_{n+1}(k) is an upper solution of MBVP (1)(3).
Now, we will prove (H2) for j=n+1. Define a function {p}_{3}:\mathbb{Z}[a+1h,T]\to \mathbb{R} by the equality {p}_{3}(k)={\alpha}_{n+1}(k){\beta}_{n+1}(k).
Let k\in \mathbb{Z}[a+1h,a1]. Then {p}_{3}(k)=\phi (k){k}_{n}{L}_{n}\phi (k){p}_{n}{M}_{n}\le 0.
Also, from condition 3 of Theorem 1 and (H2) for j=n, we get {p}_{3}(a)=g(\chi ({\alpha}_{n}(T)))g(\chi ({\beta}_{n}(T)))\le 0.
Now, let k\in \mathbb{Z}[a+1,T]. Then for the function {p}_{3}(k) we get
According to Corollary 1, the inequality {p}_{3}(k)\le 0 holds for k\in \mathbb{Z}[a+1h,T], i.e., {\alpha}_{n+1}(k)\le {\beta}_{n+1}(k) for k\in \mathbb{Z}[a+1h,T].
Therefore, {\alpha}_{n+1},{\beta}_{n+1}\in S({\alpha}_{0},{\beta}_{0}).
For any fixed k\in \mathbb{Z}[a+1h,T], the sequences {\{{\alpha}_{n}\}}_{n=0}^{\mathrm{\infty}} and {\{{\beta}_{n}\}}_{n=0}^{\mathrm{\infty}} are monotone nondecreasing and monotone nonincreasing, respectively, and they are bounded by the functions {\alpha}_{0} and {\beta}_{0}. Therefore, both sequences are convergent on \mathbb{Z}[a+1h,T], i.e., there exist functions V,W:\mathbb{Z}[a+1h,T]\to \mathbb{R} such that
From claim (c) of Theorem 1 it follows that V,W\in S({\alpha}_{0},{\beta}_{0}). Taking limits as n\to \mathrm{\infty} in IVPs (23), (24) and (25), (26), we obtain that V and W are solutions of MBVP (1)(3) in S({\alpha}_{0},{\beta}_{0}).
Now, we will study the power of convergence of the sequences of functions {\{{\alpha}_{n}\}}_{n=0}^{\mathrm{\infty}} and {\{{\beta}_{n}\}}_{n=0}^{\mathrm{\infty}}.
Define the functions {\tilde{A}}_{n+1},{\tilde{B}}_{n+1}:\mathbb{Z}[a+1h,T]\to {\mathbb{R}}_{+}, n=0,1,\dots , by
Let k\in \mathbb{Z}[a+1h,a1]. From (24) and the choice of {\alpha}_{n} we get
Also, from condition 3 it follows that there exists a constant C>0 such that
Let k\in \mathbb{Z}[a+1,T]. According to the definitions of the functions {\tilde{A}}_{n+1}(k), {\alpha}_{n+1}(k) 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 {M}_{k},{S}_{k}>0 such that
Let M=max\{1,{max}_{k\in \mathbb{Z}[a+1,T]}{M}_{k}\} and S=max\{1,{max}_{k\in \mathbb{Z}[a+1,T]}{S}_{k}\}.
According to Lemma 1, for u={\tilde{A}}_{n+1}, K=C\parallel {\tilde{A}}_{n}\parallel +M{\parallel {\tilde{A}}_{n}\parallel}^{2}+S{\parallel {\tilde{B}}_{n}\parallel}^{2} from inequalities (31), (32), (35) it follows that
where \theta (k) is defined by (6) for \tilde{S}(k)={Q}_{n}(k)+{\sum}_{j=1}^{r}{C}_{j}^{(n)}(k)+{q}_{n}(k), i.e., the sequence {\{{\alpha}_{n}\}}_{n=0}^{\mathrm{\infty}} semiquadratically converges to the exact solution of (1)(3).
Similarly, we prove the semiquadratic convergence of {\{{\beta}_{n}\}}_{n=0}^{\mathrm{\infty}}. □
Theorem 2 Let the delays {\tau}_{j}(k):kh\le {\tau}_{j}(k)<k for all j\in \mathbb{Z}[1,r] and k\in \mathbb{Z}[a+1,T] 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 {\tau}_{r} 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 \tau (k)=k[\sqrt{k}], k\in \mathbb{Z}[3,15], and [s] denotes the integer part of the real number s, i.e.,
MBVP (39) is of type (1)(3), where h=3, a=2, T=15, g(u)={(1.1)}^{0.1u}, \phi (0)=0, \phi (1)=0.5, f\equiv F, G\equiv 0, F(k,{v}_{1},{v}_{2},{v}_{3})=\frac{{2}^{k1}}{{2}^{k+1}{v}_{1}}+\frac{{2}^{k2}}{{2}^{k+1}{v}_{2}}+\frac{{2}^{k1}}{{2}^{k+1}{v}_{3}}.
The functions {\alpha}_{0}(k)=k and {\beta}_{0}(k)=k, k\in \mathbb{Z}[0,15] 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 {\alpha}_{n} is a solution of IVP (23), (24) which is reduced to
and the approximation {\beta}_{n} is a solution of IVP (25), (26) which is reduced to
where {L}_{n1}=min\{{\alpha}_{n1}(0),0.5{\alpha}_{n1}(1)\}, {M}_{n1}=min\{{\beta}_{n1}(0),{\beta}_{n1}(1)0.5\}, {k}_{n1}=min\{{L}_{n1},\frac{1}{{2}^{n1}}\}, {p}_{n1}=min\{{M}_{n1},\frac{1}{{2}^{n1}}\} 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: Delayinduced multiple stochastic resonances on scalefree 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 smallworld neuronal networks: effects of information transmission delay and rewiring probability. EPL 2008., 83: Article ID 50008 10.1209/02955075/83/50009
Wang Q, Perc M, Duan Z, Chen G: Synchronization transitions on scalefree 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 firstorder discrete boundary value problems. J. Differ. Equ. Appl. 2006, 12: 1213–1223. 10.1080/10236190600949790
Agarwal R, Cabada A, OteroEspinar 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: Firstorder 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, OteroEspinar 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/S08981221(99)003107
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 delaytype difference equations with maxima. J Inequal Appl 2014, 132 (2014). https://doi.org/10.1186/1029242X2014132
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029242X2014132