/ / Article
Special Issue

## Qualitative Analysis of Differential, Difference Equations, and Dynamic Equations on Time Scales

View this Special Issue

Research Article | Open Access

Volume 2014 |Article ID 483707 | https://doi.org/10.1155/2014/483707

Qusuay H. Alqifiary, Soon-Mo Jung, "On the Hyers-Ulam Stability of Differential Equations of Second Order", Abstract and Applied Analysis, vol. 2014, Article ID 483707, 8 pages, 2014. https://doi.org/10.1155/2014/483707

# On the Hyers-Ulam Stability of Differential Equations of Second Order

Revised16 Jun 2014
Accepted25 Jun 2014
Published07 Jul 2014

#### Abstract

By using of the Gronwall inequality, we prove the Hyers-Ulam stability of differential equations of second order with initial conditions.

#### 1. Introduction

In 1940, Ulam [1] posed a problem concerning the stability of functional equations: “Give conditions in order for a linear function near an approximately linear function to exist.”

A year later, Hyers [2] gave an answer to the problem of Ulam for additive functions defined on Banach spaces: let and be real Banach spaces and . Then for every function satisfying for all , there exists a unique additive function with the property for all .

After Hyers’s result, many mathematicians have extended Ulam’s problem to other functional equations and generalized Hyers’s result in various directions (see [36]). A generalization of Ulam’s problem was recently proposed by replacing functional equations with differential equations: the differential equation has the Hyers-Ulam stability if for a given and a function such that there exists a solution of the differential equation such that and .

Obloza seems to be the first author who has investigated the Hyers-Ulam stability of linear differential equations (see [7, 8]). Thereafter, Alsina and Ger published their paper [9], which handles the Hyers-Ulam stability of the linear differential equation : if a differentiable function is a solution of the inequality for any , then there exists a constant such that for all .

Those previous results were extended to the Hyers-Ulam stability of linear differential equations of first order and higher order with constant coefficients in [1013], respectively. Furthermore, Jung has also proved the Hyers-Ulam stability of linear differential equations (see [1417]). Rus investigated the Hyers-Ulam stability of differential and integral equations using the Gronwall lemma and the technique of weakly Picard operators (see [18, 19]). Recently, the Hyers-Ulam stability problems of linear differential equations of first order and second order with constant coefficients were studied by using the method of integral factors (see [20, 21]). The results given in [10, 15, 20] have been generalized by Cimpean and Popa [22] and by Popa and Raşa [23, 24] for the linear differential equations of th order with constant coefficients. Furthermore, the Laplace transform method was recently applied to the proof of the Hyers-Ulam stability of linear differential equations (see [25]).

This paper consists of two main sections. In Section 2, we introduce some sufficient conditions under which each solution of the linear differential equation (11) is bounded. In Section 3, we prove the Hyers-Ulam stability of the linear differential equations of the form (11) as well as the nonlinear differential equations of the form (55) by using the Gronwall lemma that was recently introduced by Rus [18, 19] in studying the Hyers-Ulam stability of differential equations.

One of the advantages of this paper is that the authors have applied the Gronwall lemma, which is now recognized as a powerful method, for proving the Hyers-Ulam stability of various differential equations of second order.

#### 2. Preliminaries

In this section, we first introduce and prove a lemma which is a kind of the Gronwall inequality.

Lemma 1. Let be integrable functions, let be a constant, and let be given. If satisfies the inequality for all , then for all .

Proof. It follows from (5) that for all . Integrating both sides of the last inequality from to , we obtain or for each , which together with (5) implies that for all .

In the following theorem, using Lemma 1, we investigate sufficient conditions under which every solution of the differential equation is bounded.

Theorem 2. Let be a differentiable function. Every solution of the linear differential equation (11) is bounded provided that and as .

Proof. First, we choose to be large enough so that for all . Multiplying (11) by and integrating it from to , we obtain for all . Integrating by parts, this yields for any . Then it follows from (13) that for all . Thus, it holds that for any .
In view of Lemma 1, (15), and our hypothesis, there exists a constant such that for all . On the other hand, since is continuous, there exists a constant such that for all , which completes the proof.

Corollary 3. Let be a differentiable function satisfying as . Every solution of the linear differential equation is bounded provided that .

#### 3. Main Results on Hyers-Ulam Stability

Given constants and , let denote the set of all functions with the following properties:(i)is twice continuously differentiable;(ii);(iii).

We now prove the Hyers-Ulam stability of the linear differential equation (11) by using the Gronwall inequality.

Theorem 4. Given constants and , assume that is a differentiable function with and . If a function satisfies the inequality for all and for some , then there exist a solution of the differential equation (11) and a constant such that for any , where

Proof. We multiply (18) with to get for all . If we integrate each term of the last inequalities from to , then it follows from that for any .
Integrating by parts and using , we have for all .
Since holds for all , it follows from (23) that or for any .
Applying Lemma 1, we obtain for all . Hence, it holds that for any . Obviously, satisfies (11) and the conditions , , and such that for all , where .

If we set , then the following corollary is an immediate consequence of Theorem 4.

Corollary 5. Given constants and , assume that is a differentiable function with and . If a function satisfies the inequality for all and for some , then there exist a solution of the differential equation (17) and a constant such that for any , where .

Example 6. Let be a constant function defined by for all and for a constant . Then, we have and . Assume that a twice continuously differentiable function satisfies , , and for all and for some and . According to Corollary 5, there exists a solution of the differential equation, , such that for any .
Indeed, if we define a function by where we set , then satisfies the conditions stated in the first part of this example, as we see in the following. It follows from the definition of that and, hence, we get . Moreover, we obtain For any given , if we choose the constant such that , then we can easily see that for any .

Theorem 7. Given constants and , assume that is a monotone increasing and differentiable function. If a function satisfies the inequality (18) for all and for some , then there exists a solution of the differential equation (11) such that for any .

Proof. We multiply (18) with to get for all . If we integrate each term of the last inequalities from to , then it follows from that for any .
Integrating by parts, the last inequalities together with yield for all . Then we have for any .
Applying Lemma 1, we obtain for all , since is a monotone increasing function. Hence, it holds that for any . Obviously, satisfies (11), , and the inequality (37) for all .

Corollary 8. Given constants and , assume that is a monotone increasing and differentiable function with . If a function satisfies the inequality for all and for some , then there exists a solution of the differential equation (17) such that for any .

If we set , then the following corollary is an immediate consequence of Theorem 7.

Corollary 9. Given constants and , assume that is a monotone decreasing and differentiable function with . If a function satisfies the inequality for all and for some , then there exists a solution of the differential equation such that for any .

Example 10. Let be a monotone decreasing function defined by for all . Then, we have . Assume that a twice continuously differentiable function satisfies , , and for all and for some and . According to Corollary 9, there exists a solution of the differential equation, , such that for any .
Indeed, if we define a function by where is a real number with , then satisfies the conditions stated in the first part of this example, as we see in the following. It follows from the definition of that and, hence, we get . Moreover, we obtain We can see that for any .

Now, we investigate the Hyers-Ulam stability of the nonlinear differential equation

Theorem 11. Given constants and , assume that is a function satisfying and for all and . If a function satisfies and the inequality for all and for some , then there exists a solution of the differential equation (55) such that for any .

Proof. We multiply (56) with to get for all . If we integrate each term of the last inequalities from to , then it follows from that for any .
Integrating by parts and using , the last inequalities yield for all . Then we have for any .
Applying Lemma 1, we obtain for all . Hence, it holds that for any . Obviously, satisfies (55) and such that for all .

In the following theorem, we investigate the Hyers-Ulam stability of the Emden-Fowler nonlinear differential equation of second order for the case where is a positive odd integer.

Theorem 12. Given constants and , assume that is a differentiable function. Let be an odd integer larger than . If a function satisfies and the inequality for all and for some , then there exists a solution of the differential equation (64) such that for any , where .

Proof. We multiply (65) with to get for all . If we integrate each term of the last inequalities from to , then it follows from that for any .
Integrating by parts and using , the last inequalities yield for all . Then we have for any .
Applying Lemma 1, we obtain for all , from which we have for all . Hence, it holds that for any , where we set . Obviously, satisfies (64) and . Moreover, we get for all .

Given constants , , and , let denote the set of all functions with the following properties: is twice continuously differentiable;; for all ; for all .

We now investigate the Hyers-Ulam stability of the differential equation of the form where is a positive odd integer.

Theorem 13. Given constants , , and , assume that is a function satisfying . Let be an odd integer larger than . If a function satisfies the inequality for all and for some , then there exists a solution of the differential equation (75) such that for any .

Proof. We multiply (76) with to get for all . If we integrate each term of the last inequalities from to , then it follows from that for any .
Integrating by parts and using and , the last inequalities yield for all . Then it follows from that for any .
Applying Lemma 1, we obtain for all . Hence, it holds that for any . Obviously, satisfies (75) and . Furthermore, we get for all .

#### Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

#### Acknowledgment

This research was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (no. 2013R1 A1A2005557).

#### References

1. S. M. Ulam, Problems in Modern Mathematics, Science Editions, Chapter 6, Wiley, New York, NY, USA, 1960. View at: MathSciNet
2. 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. View at: Publisher Site | Google Scholar | MathSciNet
3. S. Czerwik, Functional Equations and Inequalities in Several Variables, World Scientific, Singapore, 2002. View at: Publisher Site | MathSciNet
4. D. H. Hyers, G. Isac, and T. M. Rassias, Stability of Functional Equations in Several Variables, Birkhäuser, Boston, Mass, USA, 1998.
5. S.-M. Jung, Hyers-Ulam-Rassias Stability of Functional Equations in Nonlinear Analysis, Springer, New York, NY, USA, 2011.
6. 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.
7. M. Obloza, “Hyers stability of the linear differential equation,” Rocznik Naukowo-Dydaktyczny Prace Matematyczne, vol. 13, pp. 259–270, 1993. View at: Google Scholar
8. M. Obłoza, “Connections between Hyers and Lyapunov stability of the ordinary differential equations,” Rocznik Naukowo-Dydaktyczny. Prace Matematyczne, no. 14, pp. 141–146, 1997. View at: Google Scholar | MathSciNet
9. 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.
10. 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. View at: Publisher Site | Google Scholar | MathSciNet
11. S. E. Takahasi, T. Miura, and S. Miyajima, “On the Hyers-Ulam stability of the Banach space-valued differential equation $y\prime =\lambda y$,” Bulletin of the Korean Mathematical Society, vol. 39, no. 2, pp. 309–315, 2002. View at: Publisher Site | Google Scholar | MathSciNet
12. S. Takahasi, H. Takagi, T. Miura, and S. Miyajima, “The Hyers-Ulam stability constants of first order linear differential operators,” Journal of Mathematical Analysis and Applications, vol. 296, no. 2, pp. 403–409, 2004. View at: Publisher Site | Google Scholar | MathSciNet
13. T. Miura, S. Miyajima, and S. Takahasi, “Hyers-Ulam stability of linear differential operator with constant coefficients,” Mathematische Nachrichten, vol. 258, pp. 90–96, 2003.
14. S.-M. Jung, “Hyers-Ulam stability of linear differential equations of first order,” Applied Mathematics Letters, vol. 17, no. 10, pp. 1135–1140, 2004. View at: Publisher Site | Google Scholar | MathSciNet
15. 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. View at: Publisher Site | Google Scholar | MathSciNet
16. S.-M. Jung, “Hyers–Ulam stability of linear differential equations of first order, II,” Applied Mathematics Letters, vol. 19, no. 9, pp. 854–858, 2006. View at: Publisher Site | Google Scholar
17. S. M. Jung, “Hyers-Ulam stability of a system of first order linear differential equations with constant coefficients,” Journal of Mathematical Analysis and Applications, vol. 320, no. 2, pp. 549–561, 2006. View at: Publisher Site | Google Scholar | MathSciNet
18. I. A. Rus, “Remarks on Ulam stability of the operatorial equations,” Fixed Point Theory, vol. 10, no. 2, pp. 305–320, 2009. View at: Google Scholar | MathSciNet
19. I. A. Rus, “Ulam stability of ordinary differential equations,” Studia Universitatis Babes-Bolyai: Mathematica, vol. 54, no. 4, pp. 125–133, 2009. View at: Google Scholar | MathSciNet
20. 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. View at: Publisher Site | Google Scholar | MathSciNet
21. G. Wang, M. Zhou, and L. Sun, “Hyers-Ulam stability of linear differential equations of first order,” Applied Mathematics Letters, vol. 21, no. 10, pp. 1024–1028, 2008. View at: Publisher Site | Google Scholar | MathSciNet
22. D. S. Cimpean and D. Popa, “On the stability of the linear differential equation of higher order with constant coefficients,” Applied Mathematics and Computation, vol. 217, no. 8, pp. 4141–4146, 2010. View at: Publisher Site | Google Scholar | MathSciNet
23. D. Popa and I. Raşa, “On the Hyers-Ulam stability of the linear differential equation,” Journal of Mathematical Analysis and Applications, vol. 381, no. 2, pp. 530–537, 2011. View at: Publisher Site | Google Scholar | MathSciNet
24. 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. View at: Publisher Site | Google Scholar | MathSciNet
25. 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. View at: Publisher Site | Google Scholar | MathSciNet

Copyright © 2014 Qusuay H. Alqifiary and Soon-Mo Jung. 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.