Journal of Function Spaces
Volume 2016 (2016), Article ID 8164978, 6 pages
http://dx.doi.org/10.1155/2016/8164978

Research Article

On the Hyers-Ulam Stability of First-Order Impulsive Delay Differential Equations

Akbar Zada,¹ Shah Faisal,¹ and Yongjin Li²

¹Department of Mathematics, University of Peshawar, Peshawar 25000, Pakistan
²Department of Mathematics, Sun Yat-sen University, Guangzhou 510275, China

Received 10 December 2015; Revised 12 February 2016; Accepted 23 February 2016

Academic Editor: Janusz Brzdęk

Copyright © 2016 Akbar Zada et al. 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.

This paper proves the Hyers-Ulam stability and the Hyers-Ulam-Rassias stability of nonlinear first-order ordinary differential equation with single constant delay and finite impulses on a compact interval. Our approach uses abstract Gronwall lemma together with integral inequality of Gronwall type for piecewise continuous functions.

1. Introduction

Ulam, in [1], put a question regarding the stability of functional equation for homomorphism in front of a Mathematical Colloquium. The question was “when an approximate homomorphism from a group to a metric group can be approximated by an exact homomorphism?”

Within the next two years, Hyers [2] brilliantly gave a partial answer to this question for the case when and are assumed to be Banach spaces by using direct method. Aoki [3] and Rassias [4] latter extended the partial answer by Hyers. In fact, the most exciting result was by Rassias [4] which weakens the condition for the bound of the norm of Cauchy difference . For further details and discussions, the reader is referred to the book by Jung [5].

As far we know, among the functional equations, Obloza for the first time investigated the stability of differential equations [6, 7]. After him, Alsina and Ger [8] proved the stability for differential equation , which was then generalized for the Banach space valued linear differential equation of first-order , by Takahasi et al. [9]. To study Hyers-Ulam stability of differential equations, different researchers presented their works with different approaches; for example, see [10–25].

Many real world phenomenons are represented by smooth differential equations. However, the situation becomes quite different in the case when a physical phenomenon has sudden changes in its state such as mechanical systems with impact, biological systems like heart beats, blood flows, population dynamics [26, 27], theoretical physics, radio physics, pharmacokinetics, mathematical economy, chemical technology, electric technology, metallurgy, ecology, industrial robotics, biotechnology processes, chemistry [28], engineering [29], control theory, and medicine. Adequate mathematical models of such processes are systems of differential equations with impulses, that is, impulsive differential equations.

An impulsive differential equation is described by three components: a continuous-time differential equation, which governs the state of the system between impulses; an impulse equation, which models an impulsive jump defined by a jump function at the instant an impulse occurs; and a jump criterion, which defines a set of jump events in which the impulse equation is active.

To the best of our knowledge, the first mathematicians who investigated Ulam’s type stability of impulsive ordinary differential equations are Wang et al. [30]. They, in 2012, obtained four Ulam’s type stability concepts for first-order nonlinear impulsive ordinary differential equation on closed bounded interval with finite impulses. Following their own work, in 2014, they proved the Ulam-Hyers-Rassias stability and generalized Ulam-Hyers-Rassias stability for impulsive evolution equations on a compact interval [31] which then they extended for infinite impulses in the same paper. To study more work on impulsive ODEs we recommend [32–35].

However, as far as we know, Ulam’s type stability results of impulsive delay ordinary differential equations have not been investigated yet.

In this paper, we obtain Hyers-Ulam stability and Hyers-Ulam-Rassias stability of impulsive delay differential equation of the form

where , , , , and are continuous. and are, respectively, the right and left side limits of at , where satisfy . Moreover, is such that .

2. Preliminaries

In this section we list some important notations, definitions, and lemmas that would be used in our main results.

Throughout this paper, the following spaces appear mostly:

(a) is the Banach space of all continuous real valued functions from with norm , where is a compact interval.(b) denotes the Banach space of all functions such that , where , exist and are finite for , with norm .(c) is Banach space with norm .

For problem (1), for some , , where is increasing, for some , we focus on the following inequalities:

Definition 1. Equation (1) is Hyers-Ulam stable on if for every satisfying (2), there exists a solution of (1) with , for all .

Definition 2. Equation (1) is Hyers-Ulam-Rassias stable on with respect to if for every satisfying (3), there exists a solution of (1) with , for all .

Definition 3. Let be a metric space. An operator is a Picard operator if it has a unique fixed point such that, for every , the sequence converges to .

We consume what just follow in deriving our main results.

Lemma 4 (Gronwall lemma [36]). If for we have

where , is nondecreasing and , . Then for the following inequality works:

Lemma 5 (abstract Gronwall lemma [37]). Let be an ordered metric space and let be an increasing Picard operator with fixed point . Then for any , implies and implies , where is the fixed point of in .

Remark 6 (see [30]). A function satisfies (2) if and only if there is a function and a sequence (which depends on ) such that for all , for all , and

We do similar remark for (3).

Lemma 7. Every that satisfies (2) also comes out perfect on the following inequality:

for .

Proof. If satisfies (2), then by Remark 6 we have

Then

From this the following follows:

We have similar remarks for (3).

3. Main Results

Thus far, we were warming up the environment for our main results. Now, we are in position to present our main results.

First we are going to give our result on Hyers-Ulam stability.

Theorem 8. If

(a) is continuous with the Lipschitz condition: , , for all and , ;(b) is such that , , for all and , ;(c),

then (1) has

(i)a unique solution in ;(ii)Hyers-Ulam’s stability on .

Proof. (i) Define an operator by

We see that for any , and for all we have . For consider

Following (c), the operator is strictly contractive on , , and hence a Picard operator on . From (11), it follows that the unique fixed point of this operator is in fact the unique solution of (1) in .
Next, let be a solution to (2). The unique solution of the differential equation

is given by

We observe that for all we have . For , using Lemma 7, we have

Next, we show that the operator given below is an increasing Picard operator on :

For any , for all . For consider

Since , the operator is contractive on for , where . Applying Banach contraction principle, is Picard operator with unique fixed ; that is,

is increasing, so and hence we can write

Using Lemma 4, we get

If we set , then from (16), from which, by using abstract Gronwall Lemma, it follows that ; thus

In the following theorem, we state about the Hyers-Ulam-Rassias stability of (1) on . The proof follows the same steps as that of the above theorem. The remarked Lemma 7 for inequality (3) is consumed in the proof.

Theorem 9. If

(a) is continuous with the Lipschitz condition: , , for all and , ;(b) is such that ,  , for all and , ;(c);(d) is increasing such that, for some ,

then (1) has

(i)a unique solution in ;(ii)Hyers-Ulam-Rassias stability on .

Remark 10. The implications in the above theorem can also be established by assuming that, in (a), “there exists a function such that, for all and , , we have .”

Remark 11. We notice that our results in this paper have also some practical meanings in the following sense. Consider a phenomenon which has sudden changes in state at some finite instants of time which follows model (1). In general, we can not expect any exact solution to (1). So what is required is to find a function that approximates (1); our results guarantee that there is an exact solution of (1) close to that approximate solution. In fact, our results are important when finding an exact solution is quit difficult and hence are important in approximation theory and so forth.

Competing Interests

The authors declare that they have no competing interests.

Acknowledgments

This work was supported by the National Natural Science Foundation of China (11571378).

References

S. M. Ulam, A Collection of the Mathematical Problems, Interscience Publishers, New York, NY, USA, 1960.

D. H. Hyers, “On the stability of the linear functional equation,” Proceedings of the National Academy of Sciences of the United States of America, vol. 27, pp. 222–224, 1941.

T. Aoki, “On the stability of the linear transformation in Banach spaces,” Journal of the Mathematical Society of Japan, vol. 2, pp. 64–66, 1950.

T. M. Rassias, “On the stability of the linear mapping in Banach spaces,” Proceedings of the American Mathematical Society, vol. 72, no. 2, pp. 297–300, 1978.

S.-M. Jung, Hyers-Ulam-Rassias Stability of Functional Equations in Nonlinear Analysis, vol. 48 of Springer Optimization and Its Applications, Springer, New York, NY, USA, 2011.

M. Obloza, “Hyers stability of the linear differential equation,” Rocznik Naukowo-Dydaktyczny. Prace Matematyczne, vol. 13, pp. 259–270, 1993.

M. Obloza, “Connections between Hyers and Lyapunov stability of the ordinary differential equations,” Rocznik Naukowo-Dydaktyczny. Prace Matematyczne, vol. 14, pp. 141–146, 1997.

C. Alsina and R. Ger, “On some inequalities and stability results related to the exponential function,” Journal of Inequalities and Applications, vol. 2, no. 4, pp. 373–380, 1998.

S.-E. Takahasi, T. Miura, and S. Miyajima, “On the Hyers-Ulam stability of the Banach space-valued differential equation ,” Bulletin of the Korean Mathematical Society, vol. 39, no. 2, pp. 309–315, 2002.

J. Brzdek and N. Eghbali, “On approximate solutions of some delayed fractional differential equations,” Applied Mathematics Letters, vol. 54, pp. 31–35, 2016.

S.-M. Jung, “Hyers-Ulam stability of linear differential equations of first order III,” Journal of Mathematical Analysis and Applications, vol. 311, no. 1, pp. 139–146, 2005.

J. Huang, S.-M. Jung, and Y. Li, “On Hyers-Ulam stability of nonlinear differential equations,” Bulletin of the Korean Mathematical Society, vol. 52, no. 2, pp. 685–697, 2015.

J. Huang and Y. Li, “Hyers-Ulam stability of linear functional differential equations,” Journal of Mathematical Analysis and Applications, vol. 426, no. 2, pp. 1192–1200, 2015.

J. Huang and Y. Li, “Hyers-Ulam stability of delay differential equations of first order,” Mathematische Nachrichten, vol. 289, no. 1, pp. 60–66, 2016.

J. Huang, Q. H. Alqifiary, and Y. Li, “Superstability of differential equations with boundary conditions,” Electronic Journal of Differential Equations, vol. 2014, pp. 1–8, 2014.

Y. Li and Y. Shen, “Hyers-Ulam stability of nonhomogeneous linear differential equations of second order,” International Journal of Mathematics and Mathematical Sciences, vol. 2009, Article ID 576852, 7 pages, 2009.

Y. Li and Y. Shen, “Hyers-Ulam stability of linear differential equations of second order,” Applied Mathematics Letters, vol. 23, no. 3, pp. 306–309, 2010.

T. Li, A. Zada, and S. Faisal, “Hyers-Ulam stability of nth order linear differential equations,” The Journal of Nonlinear Science and Applications, vol. 9, no. 5, pp. 2070–2075, 2016.

T. Miura, S. Miyajima, and S.-E. Takahasi, “A characterization of Hyers-Ulam stability of first order linear differential operators,” Journal of Mathematical Analysis and Applications, vol. 286, no. 1, pp. 136–146, 2003.

D. Popa and I. Raşa, “Hyers–Ulam stability of the linear differential operator with nonconstant coefficients,” Applied Mathematics and Computation, vol. 219, no. 4, pp. 1562–1568, 2012.

H. Rezaei, S.-M. Jung, and T. M. Rassias, “Laplace transform and Hyers–Ulam stability of linear differential equations,” Journal of Mathematical Analysis and Applications, vol. 403, no. 1, pp. 244–251, 2013.

C. Wang and T.-Z. Xu, “Hyers–Ulam stability of fractional linear differential equations involving Caputo fractional derivatives,” Applications of Mathematics, vol. 60, no. 4, pp. 383–393, 2015.

B. Xu and J. Brzdęk, “Hyers–Ulam stability of a system of first order linear recurrences with constant coefficients,” Discrete Dynamics in Nature and Society, vol. 2015, Article ID 269356, 5 pages, 2015.

B. Xu, J. Brzdek, and W. Zhang, “Fixed-point results and the Hyers-Ulam stability of linear equations of higher orders,” Pacific Journal of Mathematics, vol. 273, no. 2, pp. 483–498, 2015.

A. Zada, O. Shah, and R. Shah, “Hyers-Ulam stability of nonautonomous systems in terms of bounded-ness of Cauchy problems,” Applied Mathematics and Computation, vol. 271, pp. 512–518, 2015.

D. D. Bainov and A. B. Dishliev, “Population dynamics control in regard to minimizing the time necessary for the regeneration of a biomass taken away from the population,” Comptes Rendus de l'Academie Bulgare des Sciences, vol. 42, no. 12, pp. 29–32, 1989.

S. I. Nenov, “Impulsive controllability and optimization problems in population dynamics,” Nonlinear Analysis: Theory, Methods & Applications, vol. 36, no. 7, pp. 881–890, 1999.

D. D. Bainov and P. S. Simenov, Systems with Impulse Effect Stability Theory and Applications, Ellis Horwood Limited, Chichester, UK, 1989.

A. B. Dishliev and D. D. Bainov, “Dependence upon initial conditions and parameter of solutions of impulsive differential equations with variable structure,” International Journal of Theoretical Physics, vol. 29, no. 6, pp. 655–675, 1990.

J. Wang, M. Feckan, and Y. Zhou, “Ulam's type stability of impulsive ordinary differential equations,” Journal of Mathematical Analysis and Applications, vol. 395, no. 1, pp. 258–264, 2012.

J. Wang, M. Feckan, and Y. Zhou, “On the stability of first order impulsive evolution equations,” Opuscula Mathematica, vol. 34, no. 3, pp. 639–657, 2014.

C. Parthasarathy, “Existence and Hyers-Ulam stability of nonlinear impulsive differential equations with nonlocal conditions,” Electronic Journal of Mathematical Analysis and Applications, vol. 4, no. 1, pp. 106–115, 2016.

M. Gowrisankar, P. Mohankumar, and A. Vinodkumar, “Stability results of random impulsive semilinear differential equations,” Acta Mathematica Scientia, vol. 34, no. 4, pp. 1055–1071, 2014.

Y. Liao and J. Wang, “A note on stability of impulsive differential equations,” Boundary Value Problems, vol. 2014, article 67, 2014.

V. Lupulescu and A. Zada, “Linear impulsive dynamic systems on time scales,” Electronic Journal of Qualitative Theory of Differential Equations, vol. 11, pp. 1–30, 2010.

A. M. Samoilenko and N. A. Perestyuk, “Stability of solutions of differential equations with impulse effect,” Differential Equations, vol. 13, pp. 1981–1992, 1977.

I. A. Rus, “Gronwall lemmas: ten open problems,” Scientiae Mathematicae Japonicae, vol. 70, no. 2, pp. 221–228, 2009.