Abstract and Applied Analysis

Volume 2012, Article ID 493271, 17 pages

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

## Monotone-Iterative Method for the Initial Value Problem with Initial Time Difference for Differential Equations with “Maxima”

Faculty of Mathematics and Informatics, Plovdiv University, Tzar Asen 24, 4000 Plovdiv, Bulgaria

Received 13 February 2012; Accepted 6 March 2012

Academic Editor: Josef Diblík

Copyright © 2012 S. Hristova and A. Golev. 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

The object of investigation of the paper is a special type of functional differential equations containing the maximum value of the unknown function over a past time interval. An improved algorithm of the monotone-iterative technique is suggested to nonlinear differential equations with “maxima.” The case when upper and lower solutions of the given problem are known at different initial time is studied. Additionally, all initial value problems for successive approximations have both initial time and initial functions different. It allows us to construct sequences of successive approximations as well as sequences of initial functions, which are convergent to the solution and to the initial function of the given initial value problem, respectively. The suggested algorithm is realized as a computer program, and it is applied to several examples, illustrating the advantages of the suggested scheme.

#### 1. Introduction

Equations with “maxima” find wide applications in the theory of automatic regulation. As a simple example of mathematical simulations by means of such equations, we shall consider the system of regulation of the voltage of a generator of constant current ([1]). The object of regulation is a generator of constant current with parallel stimulation, and the quantity regulated is the voltage on the clamps of the generator feeding an electric circuit with different loads. An equation with maxima is used if the regulator is constructed such that the maximal deviation of the quantity is regulated on the segment . The equation describing the work of the regulator has the form where and are constant characterizing the object, is the voltage regulated, and is the perturbing effect.

Note that the above given model as well as all types of differential equations with “maxima” could be considered as delay functional differential equations. Differential equations with delay are studied by many authors (see, e.g., [2–14]). At the same time, the presence of maximum function in the equations causes impossibilities of direct application of almost all known results for delay functional differential equations (see the monograph [15]). Also, in the most cases, differential equations with “maxima,’’ including the some linear scalar equations, are not possible to be solved in an explicit form. That requires the application of approximate methods. In the recent years, several effective approximate methods, based on the upper and lower solutions of the given problem, was proved for various problems of differential equations in [16–21].

In the current paper, an approximate method for solving the initial value problem for nonlinear differential equations with “maxima” is considered. This method is based on the method of lower and upper solutions. Meanwhile, in studying the initial value problems the authors usually keep the initial time unchanged. But, in the real repeated experiments it is difficult to keep this time fixed because of all kinds of disturbed factors. It requires the changing of initial time to be taken into consideration. Note that several qualitative investigations of the solutions of ordinary differential equations with initial time difference are studied in [22–30]. Also some approximate methods for various types of differential equations with initial time difference are proved in [23, 26, 31–33].

In this paper, an improved algorithm of monotone-iterative techniques is suggested to nonlinear differential equations with “maxima.” The case when upper and lower solutions of the given problem are known at different initial time is studied. The behavior of the lower/upper solutions of the initial value problems with different initial times is studied. Also, some other improvements in the suggested algorithm are given. The main one is connected with the initial functions. In the known results for functional differential equations, the initial functions in the corresponding linear problems for successive approximations are the same (see, e.g., [20, 34–42]). In our case, it causes troubles with obtaining the solutions, which are successive approximations. To avoid these difficulties, we consider linear problems with different initial functions at any step. It allows us to chose appropriate initial data. Additionally, in connection with the presence of the maximum function in the equation and computer application of the suggested algorithm, an appropriate computer program is realized and it is applied to some examples illustrating the advantages and the practical application of the considered algorithm.

#### 2. Preliminary Notes and Definitions

Consider the following initial value problem for the nonlinear differential equation with “maxima’’ (IVP): where , , , , and is a fixed constant.

In the paper, we will study the differential equation with “maxima” (2.1) with an initial condition at two different initial points. For this purpose, we consider the differential equation (2.1) with the initial condition where .

Assume there exist a solution of the IVP (2.1), (2.2) defined on , and there exists a solution of the IVP (2.1), (2.3) defined on , where is a given constant. In the paper, we will compare the behavior of both solutions.

*Definition 2.1. *The function is called a lower (upper) solution of the IVP (2.1), (2.2) for if the following inequalities are satisfied:

Note that the function is a lower (upper) solution of the IVP (2.1), (2.3) for if the point in the inequalities (2.4) is replaced by .

#### 3. Comparison Results

Often in the real world applications, the lower and upper solutions of one and the same differential equation are obtained at different initial time intervals.

The following result is a comparison result for lower and upper solutions with initial conditions given on different initial time intervals.

Theorem 3.1. *Let the following conditions be satisfied.*(1)*Let be fixed such that .*(2)*The function is a lower solution of the IVP (2.1), (2.2).*(3)*The function is an upper solution of the IVP (2.1), (2.3).*(4)*The function is nondecreasing in its both first and third argument for any , and there exist positive constants such that for and and , the inequality
holds.*(5)*The function .**Then for .*

*Proof. *Choose a positive number such that and a positive number . Define a function for and . Then for , the following inequalities
hold.

Therefore, we obtain

Note that for we have . We will prove that

Assume the contrary, that is, there exists a point such that for , and for , where is sufficiently close to . Therefore . Then . The obtained contradiction proves the claim.

Therefore, for .

Corollary 3.2. *Let the conditions of Theorem 3.1 be fulfilled. Then for .*

The comparison results are true if the inequality holds.

Theorem 3.3 (comparison result). *Let the following conditions be satisfied.*(1)*The conditions 2, 3, 5 of Theorem 3.1 are satisfied.*(2)*Let be fixed such that .*(3)*The function is nonincreasing in its first argument and is nondecreasing in its third argument for any , and there exist positive constants such that for and and the inequality**
holds.**Then for . *

The proof of Theorem 3.3 is similar to the proof of Theorem 3.1 and we omit it.

In what follows, we shall need that the functions are such that .

Consider the sets:

In our further investigations, we will need the following comparison result on differential inequalities with “maxima.’’

Lemma 3.4 (see [43, Lemma 2.1]). *Let the function satisfies the inequalities
**
where the positive constants are such that .**Then the inequality holds on .*

In our further investigations, we will use the following result, which is a partial case of Theorem 3.1 [44].

Lemma 3.5 (existence and uniqueness result). *Let the following conditions be fulfilled.*(1)*The functions .*(2)*The functions .**Then the initial value problem for the linear scalar equation
**
has a unique solution on the interval .*

#### 4. Main Results

Denote and , where are fixed numbers.

*Case 1. *Let .

Theorem 4.1. *Let the following conditions be fulfilled.*The points are such that .The function is a lower solution of the IVP (2.1), (2.2) in .The function is an upper solution of the IVP (2.1), (2.3) in .The function .The function is nondecreasing in its first argument and satisfies the one side Lipschitz condition
for and , where are such that*Then there exist two sequences of functions and such that*(a)the functions are lower solutions of the IVP (2.1), (2.2) on ;(b)the functions are upper solutions of the IVP (2.1), (2.3) on ; (c)the sequence is increasing;(d)the sequence is decreasing;(e)the inequalities
hold;(f)both sequences uniformly converge and is a solution of the IVP (2.1), (2.2) in , and is a solution of the IVP (2.1), (2.3) in .*Proof. *According to Theorem 3.1, the inequality holds on .

Let . Choose a number such that

Therefore, or on .

We consider the linear differential equation with “maxima’’
with the initial condition
According to Lemma 3.5, the linear initial value problem (4.5), (4.6) has a unique solution in .

We will prove that on .

From the choice of and equality (4.6), it follows that for .

Now, let . Consider the function defined on . It is clear that on . From the definition of the function and (4.5), we have
Now from inequality (4.7) and
we obtain
According to Lemma 3.4, the inequality holds on , that is, .

We will prove that the function is a lower solution of the IVP (2.1), (2.2) on .

From equality (4.6), it follows the validity of the inequality on . Now, let . Then, since , according to the one side Lipschitz condition 2 of Theorem 4.1, we have
where .

Next, according to Lemma 3.4 for the function , the inequality holds on , that is, the inclusion is valid.

Let . Choose a number such that

Therefore, or on .

We consider the linear differential equation with “maxima’’
with the initial condition

There exists a unique solution of the IVP (4.12), (4.13), which is defined on .

The function is an upper solution of the IVP (2.1), (2.3) on , and the inclusion is valid. The proofs are similar to the ones about the function . We omit the proofs.

Functions are a lower and an upper solution of the IVP (2.1), (2.2), and (2.1), (2.3) correspondingly. According to Lemma 3.4 the inequality on holds.

Similarly, recursively, we can construct two sequences of functions and . In fact, if the functions and are known, and , and the numbers are such that
then the function is the unique solution of the initial value problem for the linear differential equation with “maxima’’
and the function is the unique solution of the initial value problem

Now following exactly as for the case , it can be proved that the function is a lower solution of the IVP (2.1), (2.2) on , the function is an upper solution of the IVP (2.1), (2.3) on , the inclusions , are valid, and the inequalities (4.3) hold.

Therefore, the sequence is uniformly convergent on and is uniformly convergent on .

Denote
From the uniform convergence and the definition of the functions and , it follows that the following inequalities hold

*Case 2. *Let .

In this case, we could approximate again the solution of the given initial value problem, starting from lower and upper solutions given at two different initial points. Since the proofs are similar, we will set up only the results.

Theorem 4.2. *Let the following conditions be fulfilled.*The points are such that .The conditions 2, 3, 4 of Theorem 4.1 are satisfied.The function is nonincreasing in its first argument and satisfies the one side Lipschitz condition
for and , where are such that
Then there exist two sequences of functions and such that(a)the functions are lower solutions of the IVP (2.1), (2.2) on ;(b)the functions are upper solutions of the IVP (2.1), (2.3) on ; (c)the sequence is increasing;(d)the sequence is decreasing;(e)the inequalities
hold;(f)both sequences uniformly converge and is a solution of the IVP (2.1), (2.2) in and is a solution of the IVP (2.1), (2.3) in .

#### 5. Computer Realization

Since the set of differential equations, which could be solved in an explicit form, is very narrow, we will realize the above suggested algorithm numerically. At present, we cannot solve numerically differential equations with “maxima” by the existing ready-made systems, such as *Mathematica, Mathlab*, and so forth, because of the maximum of the unknown function over a past time interval. It requires proposed and computer realized new algorithms for solving such kind of equations. In [43], an algorithm for solving a class of differential equations with “maxima,” based on the trapezoid’s method, is presented. The main problem in the suggested algorithm is obtaining the maximum of the unknown function over a past time interval. It is based on the idea that the local maximum depends on values that are initially inserted and later they are removed within the range. A special structure is applied to help quicker obtaining the local maximum ([43]). The suggested scheme could be based on any numerical method for solving differential equations. In this paper, we will use Euler method in the application of the algorithm ([43]) for solving differential equations with “maxima.” We combine the algorithm of Euler method and obtaining of maximum of the function, and we get the following modification:
where the values and are obtained by the algorithm suggested in [43], and the initial values of are found by initial conditions (4.16) and (4.18).

#### 6. Applications

Now we will illustrate the employment of the suggested above scheme to a particular nonlinear scalar differential equations with “maxima.’’

Initially we will consider the case of one and the same initial points of both initial value problems. By this way, we will emphasize our considerations to the advantages of the involved in the initial conditions constants.

*Example 6.1. *Consider the following scalar nonlinear differential equation with “maxima’’:
with the initial condition
where . It is easy to check that the initial value problem (6.1), (6.2) has a zero solution.

In this case , , , , . Choose and . Then is a lower solution and is an upper solution of the IVP (6.1), (6.2). In this case, . Let and and . Then
That is, , and the inequality holds.

The successive approximations and will be the unique solutions of the linear problems
where , and the numbers are chosen such that , , .

Now we will construct an increasing sequence of lower solutions and a decreasing sequence of upper solutions, which will be convergent to the zero solution.

The first lower approximation is a solution of the IVP
Choose . Then the IVP (6.5) has an exact solution .

The second lower approximation is a solution of the IVP
Choose . Then the IVP (6.6) has an exact solution . It is clear that .

The first upper approximation is a solution of the IVP
Choose . Then the IVP (6.7) has an exact solution .

The second upper approximation is a solution of the IVP
Choose . Then the IVP (6.8) has an exact solution .

It is obviouse that on the interval .

Example 6.1 illustrates that the presence of the constants and allow us easily to construct each successive approximation in an explicit form.

Now we will illustrate the suggested method in the case when lower and upper solutions are defined for different initial points and on different intervals.

*Example 6.2. *Consider the following IVP for the scalar nonlinear differential equation with “maxima’’:
where .

In this case, , , , , , , , .

Choose . Then for the inequality
holds. Therefore, is a lower solution of the IVP (6.9) in .

Let . Then for the inequality
holds. Therefore, is an upper solution of the IVP (6.10) on .

In this case, and .

Let , and . Then from the inequality , we obtain
That is, , and the inequality holds.

According to Theorem 4.1, there exist two convergent monotone sequences of functions and such that (4.3) holds and their limits are solutions of the IVP (6.9) and (6.10).

The successive approximations will be the unique solutions of the linear problems
and the successive approximations will be the unique solutions of the linear problems
where , , , , , and .

Note the above IVPs are linear, but we are not able to obtain their solutions in explicit form because of the presence of maximum function.

We will use the computer realization of the considered method, explained in Section 4, to solve the initial value problems (6.14) and (6.15) for . In this case at any step, the function in (5.1) is replaced by the functions or , respectively, the function is the next approximation or , respectively, and the function is the right part of (6.14) or (6.15), respectively, and . Some of the numerical values of the successive approximations and , which are lower/upper solutions of the given problem, are shown in the Table 1. Also, the obtained successive approximations are graped on the Figure 1. Both, Table 1 and Figure 1, illustrate us the monotonicity of the sequences and and the validity of the inequalities

#### Acknowledgments

This paper was partially supported by Fund “Scientific Research’’ NI11FMI004/30.05.2011, Plovdiv University and BG051PO001/3.3-05-001 Science and Business, financed by the Operative Program “Development of Human Resources,” European Social Fund.

#### References

- E. P. Popov,
*Automatic Regulation and Control*, NASA, Moscow, Russia, 1966. - R. P. Agarwal, D. R. Anderson, and A. Zafer, “Interval oscillation criteria for second-order forced delay dynamic equations with mixed nonlinearities,”
*Computers and Mathematics with Applications*, vol. 59, no. 2, pp. 977–993, 2010. View at Publisher · View at Google Scholar - M. U. Akhmetov and A. Zafer, “Successive approximation method for quasilinear impulsive differential equations with control,”
*Applied Mathematics Letters*, vol. 13, no. 5, pp. 99–105, 2000. View at Publisher · View at Google Scholar - J. Bastinec, L. Berezansky, J. Diblik, and Z. Smarda, “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 - L. Berezansky and E. Braverman, “On stability of some linear and nonlinear delay differential equations,”
*Journal of Mathematical Analysis and Applications*, vol. 314, no. 2, pp. 391–411, 2006. View at Publisher · View at Google Scholar - L. Berezansky and E. Braverman, “Positive solutions for a scalar differential equation with several delays,”
*Applied Mathematics Letters*, vol. 21, no. 6, pp. 636–640, 2008. View at Publisher · View at Google Scholar - L. Berezansky and E. Braverman, “New stability conditions for linear differential equations with several delays,”
*Abstract and Applied Analysis*, vol. 2011, Article ID 178568, 19 pages, 2011. View at Publisher · View at Google Scholar - J. Diblik, “Asymptotic convergence criteria of solutions of delayed functional differential equations,”
*Journal of Mathematical Analysis and Applications*, vol. 274, no. 1, pp. 349–373, 2002. View at Publisher · View at Google Scholar - J. Diblik and N. Koksch, “Existence of global solutions of delayed differential equations via retract approach,”
*Nonlinear Analysis*, vol. 64, no. 6, pp. 1153–1170, 2006. View at Publisher · View at Google Scholar - J. Diblik and M. Kudelcikova, “Existence and asymptotic behavior of positive solutions of functional differential equations of delayed type,”
*Abstract and Applied Analysis*, vol. 2011, Article ID 754701, 16 pages, 2011. View at Publisher · View at Google Scholar - J. Diblik and M. Ruzickova, “Convergence of the solutions of the equation $\stackrel{\xb7}{y}(t)=\beta (t)[y(t-\delta )-y(t-\tau )]$ in the critical case,”
*Journal of Mathematical Analysis and Applications*, vol. 331, no. 2, pp. 1361–1370, 2007. View at Publisher · View at Google Scholar - J. Diblik, M. Ruzickova, and Z. Suta, “Asymptotical convergence of the solutions of a linear differential equation with delays,”
*Advances in Difference Equations*, vol. 2010, Article ID 749852, 12 pages, 2010. View at Google Scholar - D. Franco, J. J. Nieto, and Y. V. Rogovchenko, “Periodic boundary value problem for nonlinear first order ordinary differential equations with impulses at fixed moments,”
*Extracta Mathematicae*, vol. 13, no. 3, pp. 313–326, 1998. View at Google Scholar - I. Gyori and F. Hartung, “Stability in delay perturbed differential and difference equations,”
*Fields Institute Communications*, vol. 29, pp. 181–194, 2001. View at Google Scholar - D. Bainov and S. Hristova,
*Differential Equations with Maxima*, Chapman and Hall/CRC, 2011. - D. D. Bainov and S. G. Hristova, “Monotone-iterative techniques of Lakshmikantham for a boundary value problem for systems of differential equations with ‘maxima’,”
*Journal of Mathematical Analysis and Applications*, vol. 190, no. 2, pp. 391–401, 1995. View at Publisher · View at Google Scholar - S. W. Du and V. Lakshmikantham, “Monotone iterative technique for differential equations in a Banach space,”
*Journal of Mathematical Analysis and Applications*, vol. 87, no. 2, pp. 454–459, 1982. View at Publisher · View at Google Scholar - S. Heikkila and V. Lakshmikantham,
*Monotone Iterative Techniques for Discontinuous Nonlinear Differential Equations*, vol. 181 of*Monographs and Textbooks in Pure and Applied Mathematics*, Marcel Dekker, New York, NY, USA, 1994. - V. Lakshmikantham and A. S. Vatsala, “General uniqueness and monotone iterative technique for fractional differential equations,”
*Applied Mathematics Letters*, vol. 21, no. 8, pp. 828–834, 2008. View at Publisher · View at Google Scholar - J. J. Nieto, Y. Jiang, and Y. Jurang, “Monotone iterative method for functional-differential equations,”
*Nonlinear Analysis*, vol. 32, no. 6, pp. 741–747, 1998. View at Publisher · View at Google Scholar - P. Y. H. Pang and R. P. Agarwal, “Monotone iterative methods for a general class of discrete boundary value problems,”
*Computers and Mathematics with Applications*, vol. 28, no. 1–3, pp. 243–254, 1994. View at Publisher · View at Google Scholar - T. Jankowski, “Differential inequalities with initial time difference,”
*Applicable Analysis*, vol. 81, no. 3, pp. 627–635, 2002. View at Publisher · View at Google Scholar - T. Jankowski, “Delay integro-differential inequalities with initial time difference and applications,”
*Journal of Mathematical Analysis and Applications*, vol. 291, no. 2, pp. 605–624, 2004. View at Publisher · View at Google Scholar - A. Li, W. Lv, and J. Ye, “Exponential and global stability of nonlinear dynamical systems relative to initial time difference,”
*Applied Mathematics and Computation*, vol. 217, no. 12, pp. 5923–5929, 2011. View at Publisher · View at Google Scholar - A. Li, E. Feng, and S. Li, “Stability and boundedness criteria for nonlinear differential systems relative to initial time difference and applications,”
*Nonlinear Analysis. Real World Applications*, vol. 10, no. 2, pp. 1073–1080, 2009. View at Publisher · View at Google Scholar - V. Lakshmikantham, S. Leela, and J. Vasundhara, “Another approach to the theory of differential inequalities relative to changes in the initial times,”
*Journal of Inequalities and Applications*, vol. 4, no. 2, pp. 163–174, 1999. View at Publisher · View at Google Scholar - V. Lakshmikantham and A. S. Vatsala, “Differential inequalities with initial time difference and applications,”
*Journal of Inequalities and Applications*, vol. 3, no. 3, pp. 233–244, 1999. View at Publisher · View at Google Scholar - Y. Zhang and Z. Yi, “Theory of functional differential equation with initial data difference,”
*Dynamic Systems and Applications*, vol. 10, no. 4, pp. 523–532, 2001. View at Google Scholar - C. Yakar and M. D. Shaw, “A comparison result and Lyapunov stability criteria with initial time difference,”
*Dynamics of Continuous, Discrete and Impulsive Systems Series A*, vol. 12, no. 6, pp. 731–737, 2005. View at Google Scholar - C. Yakar and M. Shaw, “Practical stability in terms of two measures with initial time difference,”
*Nonlinear Analysis*, vol. 71, no. 12, pp. 781–785, 2009. View at Google Scholar - B. Ahmad, “Integro-differential equations with initial time difference,”
*Dynamic Systems and Applications*, vol. 16, no. 3, pp. 497–506, 2007. View at Google Scholar - L. Skora, “Impulsive differential equations with initial data difference,”
*Commentationes Mathematicae*, vol. 51, no. 1, pp. 55–69, 2011. View at Google Scholar - C. Yakar and A. Yakar, “Monotone iterative technique with initial time difference for fractional differential equations,”
*Hacettepe Journal of Mathematics and Statistics*, vol. 40, no. 2, pp. 331–340, 2011. View at Google Scholar - A. Cabada and J. J. Nieto, “Rapid convergence of the iterative technique for first order initial value problems,”
*Applied Mathematics and Computation*, vol. 87, no. 2-3, pp. 217–226, 1997. View at Publisher · View at Google Scholar - I. Gyori, “Global attractivity in delay differential equations using a mixed monotone technique,”
*Journal of Mathematical Analysis and Applications*, vol. 152, no. 1, pp. 131–155, 1990. View at Publisher · View at Google Scholar - I. Gyori and J. Turi, “Uniform approximation of a nonlinear delay equation on infinite intervals,”
*Nonlinear Analysis*, vol. 17, no. 1, pp. 21–29, 1991. View at Publisher · View at Google Scholar - S. G. Hristova and D. D. Bainov, “Application of the monotone-iterative techniques of V. Lakshmikantham for solving the initial value problem for impulsive differential-difference equations,”
*The Rocky Mountain Journal of Mathematics*, vol. 23, no. 2, pp. 609–618, 1993. View at Publisher · View at Google Scholar - S. G. Hristova and D. D. Bainov, “Application of the monotone-iterative techniques of V. Lakshmikantham to the solution of the initial value problem for impulsive differential equations with ‘supremum’,”
*Journal of Mathematical and Physical Sciences*, vol. 25, no. 1, pp. 69–80, 1991. View at Google Scholar - G. S. Ladde, V. Lakshmikantham, and A. S. Vatsala,
*Monotone Iterative Techniques for Nonlinear Differential Equations*, Pitman, New York, NY, USA, 1985. - V. Lakshmikantham and B. G. Zhang, “Monotone iterative technique for delay differential equations,”
*Applicable Analysis*, vol. 22, no. 3-4, pp. 227–233, 1986. View at Publisher · View at Google Scholar - Y. Xing, M. Han, and G. Zheng, “Initial value problem for first-order integro-differential equation of Volterra type on time scales,”
*Nonlinear Analysis*, vol. 60, no. 3, pp. 429–442, 2005. View at Publisher · View at Google Scholar - Sh. Zhang, “Monotone iterative method for initial value problem involving Riemann-Liouville fractional derivatives,”
*Nonlinear Analysis*, vol. 71, no. 5-6, pp. 2087–2093, 2009. View at Publisher · View at Google Scholar - A. Golev, S. Hristova, and A. Rahnev, “An algorithm for approximate solving of differential equations with ‘maxima’,”
*Computers and Mathematics with Applications*, vol. 60, no. 10, pp. 2771–2778, 2010. View at Publisher · View at Google Scholar - V. G. Angelov and D. D. Bainov, “On the functional-differential equations with ‘maxima’,”
*Applicable Analysis*, vol. 16, no. 3, pp. 187–194, 1983. View at Publisher · View at Google Scholar