- Research
- Open access
- Published:
Ulam–Hyers stabilities of a differential equation and a weakly singular Volterra integral equation
Journal of Inequalities and Applications volume 2021, Article number: 19 (2021)
Abstract
In this work we study the Ulam–Hyers stability of a differential equation. Its proof is based on the Banach fixed point theorem in some space of continuous functions equipped with the norm \(\|\cdot \|_{\infty }\). Moreover, we get some results on the Ulam–Hyers stability of a weakly singular Volterra integral equation using the Banach contraction principle in the space of continuous functions \(C([a,b])\).
1 Introduction and mathematical preliminaries
In 1922, Banach gave his famous result,the Banach contraction principle, in the concept of the fixed point theory [1, 2]. Later, most of the authors introduced many works in various spaces using this fixed point theorem or its generalization. Up to now, several developments have occurred in this area, especially the study of the stability problem of a functional equation. The origin of this subject returns to a question of Ulam [3] in 1940, which was related to the stability of group homomorphisms. Hyers [4] was the first researcher who gave the affirmative partial answer to Ulam’s question. This type of stability is known as the Ulam–Hyers stability. It has attracted attention of many authors who have published various results on the stability of some classes of functional equations via fixed point approach. For more details on Ulam–Hyers stability, we recommend [5–15].
This paper concerns the study of the Ulam–Hyers stability of a differential equation and a weakly singular Volterra integral equation. In the first case, given an initial condition and an equation \(u'=f(\cdot ,u)\), where u is defined from \(I\subset \mathbb{R}\) into \(\mathbb{R}^{n}\), we show that when f is continuous and k-Lipschitz for some k and when u takes its values on a certain ball B, we get the Ulam–Hyers stability. In the second case, we show that we can prove Ulam–Hyers stability when the kernel is composed of a singular part which verifies certain properties in a space \(L^{q}\), \((q>1)\) and a continuous function on a part of \(\mathbb{R}^{3}\) with a given certain condition on the third variable.
Our paper is organized as follows. First, we give some tools needed in the proofs of our main results which will be given in other sections. In Sect. 2, we deal with Ulam–Hyers stability of a differential equation. In the last section, we use the Banach contraction principle to present the Ulam–Hyers stability of certain nonlinear integral equation of Volterra type, where the kernel contains a singular part. Comparing with many papers such as [16–19] in the literature, we believe that our fixed point approach brings new and different perspective to show that some differential and integral equations have the Hyers–Ulam stability.
Theorem 1.1
Let \((X, d)\) be a complete metric space and \(A:X\rightarrow X\) be a contraction, i.e., there exists \(\lambda \in [0, 1)\) such that
Then there exists a unique element \(u_{0} \in X\) such that \(Au_{0}=u_{0}\). Moreover, \(\lim_{n\rightarrow \infty } A^{n}u=u_{0}\) and
Definition 1.2
Let \((X, d)\) be a metric space and \(A:X\rightarrow X\) be an operator. The fixed point equation
is said to be generalized Ulam–Hyers stable if there exists an increasing function \(\phi :\mathbb{R}^{+}\rightarrow \mathbb{R}^{+}\) continuous in 0 with \(\phi (0)=0\) such that, for each \(\alpha >0\) and for each mapping u satisfying
there exists a solution \(u_{0}\) of (1.1) such that
If \(\phi (x)=ax\) for each \(x\in \mathbb{R}^{+}\), then equation (1.1) is called Ulam–Hyers stable.
Definition 1.3
([22])
A function \(f:{\mathbb{A}}\rightarrow \mathbb{R}^{m}\), \({\mathbb{A}}\subset \mathbb{R}^{n}\) is said to be k-Lipschitz, \(k\geq 0\), if
for every pair of points \(a,b\in {\mathbb{A}}\). We say that a function is Lipschitz if it is k-Lipschitz for some k.
Definition 1.4
([2])
A function \(f:{\mathbb{A}}\rightarrow \mathbb{R}^{m}\), \({\mathbb{A}}\subset \mathbb{R}\times \mathbb{R}^{m}\), \((x, u) \mapsto f(x,u)\) is said to be locally Lipschitz with respect to u if, for all \((x_{0}, u_{0})\in {\mathbb{A}}\), there exist a neighborhood V of \((x_{0},u_{0})\) in \({\mathbb{A}}\) and a constant \(k\geq 0\) such that, for all \((x,u)\), \(({x},u')\in V\), we have
2 Ulam–Hyers stability of a differential equation
Our result in this section concerns the Ulam–Hyers stability for the differential equation
where \((x_{0}, y_{0})\in U\), \(u:I \subset \mathbb{R}\rightarrow \mathbb{R}^{n}\) is a function, U is an open set in \(\mathbb{R} \times \mathbb{R}^{n}\), and \(f:U\rightarrow \mathbb{R}^{n}\) is a continuous function.
Let V be a neighborhood of \((x_{0}, y_{0})\). Assume that f is a k-Lipschitz with respect to u on V. Let \(T_{0}>0\), \(r_{0}>0\), and \(C_{0}=[x_{0}-T_{0}, x_{0}+T_{0}]\times B(y_{0}, r_{0})\subset V\), where \(B(y_{0}, r_{0})\) is the closed ball. One can easily see that f is bounded on the compact set \(C_{0}\) and \(\rho =\sup_{(x, u)\in C_{0}}|f(x,u(x))|\).
Let \(\mu =\min (T_{0}, \frac{r_{0}}{\rho })\), where \(r_{0}\) and \(T_{0}\) are chosen so that \({0<\mu <\frac{1}{k}}\). Denote by F the set of continuous functions on \([x_{0}-\mu , x_{0}+\mu ]\times B(y_{0}, r_{0})\) and equip this set with the usual \(\|\cdot \|_{\infty }\) norm.
Theorem 2.1
Let ε be a positive real number. If \(u\in F\) is a function such that
then there exist \(\theta _{0}>0\) and unique \(u_{0}\in F\) such that
and
That is, the differential equation (2.1) is locally Ulam–Hyers stable.
Proof
The proof will be given in four steps.
-
Step 1:
Consider the operator \(T:F\rightarrow F\) defined by
$$ Tu(x)=y_{0} + \int _{x_{0}}^{x}f\bigl(s,u(s)\bigr)\,ds. $$T is well defined. Indeed, let \(u\in F\) for any \(x\in [x_{0}-\mu , x_{0}+\mu ]\). Then we have
$$ \begin{aligned} \bigl\Vert Tu(x)-y_{0} \bigr\Vert _{\infty } &= \biggl\Vert \int _{x_{0}}^{x}f\bigl(s,u(s)\bigr)\,ds \biggr\Vert _{\infty } \\ & \leq \int _{x_{0}}^{x} \bigl\Vert f\bigl(s,u(s)\bigr) \bigr\Vert _{\infty } \,ds \\ & \leq \rho \int _{x_{0}}^{x}\,ds \\ & \leq \rho (x - x_{0}) \\ & \leq r_{0}. \end{aligned} $$That is, \(Tu(x)\in B(y_{0}, r_{0})\).
-
Step 2:
Let \(u \in F\). We have the following equivalence:
$$ u \text{ is a solution of equation (2.1)} \Longleftrightarrow u \text{ is a fixed point of the operator } T. $$We will show this equivalence.
\((\Rightarrow )\) If u is a solution of the differential equation (2.1), since the function \(s\mapsto f(s,u(s))\) is continuous, we can integrate with respect to s the equation \(u'(s)=f(s, u(s))\), \(s\in [x_{0}-\mu , x_{0}+\mu ]\). Then we have
$$ \int _{x_{0}}^{x}f\bigl(s,u(s)\bigr)\,ds = \int _{x_{0}}^{x}u'(s) \,ds =u(x)-u(x_{0})=u(x)-y_{0} , $$which means that \(Tu=u\).
\((\Leftarrow )\) Now, we suppose that u is a fixed point of the operator T. Then
$$ Tu=u \quad \text{and} \quad y_{0}+ \int _{x_{0}}^{x}f\bigl(s,u(s)\bigr)\,ds=u(x), \quad \forall x \in [x_{0}-\mu , x_{0}+\mu ]. $$Since f is continuous on U, u is also continuous on U and differentiable and \(u'(x)=f(x,u(x))\). Moreover,
$$ u(x_{0})=y_{0}+ \int _{x_{0}}^{x_{0}}f\bigl(s,u(s)\bigr)\,ds=y_{0}. $$ -
Step 3:
In this step, we prove that the operator T is a contraction. Let \(u,v\in F\). Then we have
$$\begin{aligned} \bigl\Vert Tu(x)-Tv(x) \bigr\Vert _{\infty } = & \biggl\Vert \int _{x_{0}}^{x} \bigl(f\bigl(s,u(s)\bigr) - f \bigl(s,v(s)\bigr) \bigr)\,ds \biggr\Vert _{\infty } \\ \leq & \int _{x_{0}}^{x} \bigl\Vert f\bigl(s,u(s)\bigr)-f \bigl(s,v(s)\bigr) \bigr\Vert _{ \infty } \,ds \\ \leq & k \int _{x_{0}}^{x} \bigl\Vert u(s)-v(s) \bigr\Vert _{\infty }\,ds \\ \leq & k \Vert u-v \Vert _{\infty } \biggl\vert \int _{x_{0}}^{x}\,ds \biggr\vert \\ \leq & k \Vert u-v \Vert _{\infty } \vert x-x_{0} \vert . \end{aligned}$$Taking the sup on x over \([x_{0}-\mu , x_{0}+\mu ]\), we get
$$ \Vert Tu-Tv \Vert _{\infty }\leq k\mu \Vert u-v \Vert _{\infty }, $$that is,
$$ \Vert Tu-Tv \Vert _{\infty }\leq \lambda \Vert u-v \Vert _{\infty }. $$As \(0< \lambda =k\mu <1\), then T is a contraction. From Theorem 1.1, there exists a unique element \(u^{*}\in F\) such that \(Tu^{*}=u^{*}\) and
$$ \bigl\Vert u^{*}- u \bigr\Vert _{\infty }=\frac{1}{1-\lambda } \Vert Tu-u \Vert _{\infty }, \quad \forall u \in F. $$(2.5)Moreover, from Step 2, we find
$$ \bigl(u^{*}\bigr)'=f \bigl(x,u^{*}(x)\bigr) \quad \text{and} \quad u^{*}(x_{0})=y_{0}. $$(2.6) -
Step 4:
Let ε be a positive real number and u be a point in F such that
$$ \bigl\Vert u'(x)-f\bigl(x,u(x)\bigr) \bigr\Vert _{\infty } \leq \varepsilon , \quad u(x_{0})=y_{0}. $$(2.7)Using (2.7) and integrating with respect to s over \([x_{0}-\mu , x_{0}+\mu ]\), we get
$$ \bigl\Vert u(x)-Tu(x) \bigr\Vert _{\infty }\leq \varepsilon \mu , \quad \forall x \in [x_{0}- \mu , x_{0}+\mu ]. $$On the other hand, we obtain the following inequalities:
$$\begin{aligned} \bigl\Vert u^{*}-u \bigr\Vert _{\infty } \leq & \bigl\Vert u^{*}-Tu \bigr\Vert _{\infty }+ \Vert Tu-u \Vert _{\infty } \\ \leq & \bigl\Vert Tu^{*}-Tu \bigr\Vert _{\infty }+ \Vert Tu-u \Vert _{\infty } \\ \leq & k\mu \bigl\Vert u^{*}-u \bigr\Vert _{\infty }+ \varepsilon \mu , \end{aligned}$$that is,
$$\begin{aligned} (1 - k\mu ) \bigl\Vert u^{*}-u \bigr\Vert _{\infty } \leq & \varepsilon \mu, \\ \bigl\Vert u^{*}-u \bigr\Vert _{\infty } \leq & \frac{\mu }{1-k\mu }\varepsilon . \end{aligned}$$Setting \(\theta _{0}=\frac{\mu }{1-k\mu }>0\), we have
$$ \bigl\Vert u^{*}-u \bigr\Vert _{\infty }\leq \theta _{0}\varepsilon , $$which gives
$$ \bigl\Vert u^{*}(x)-u(x) \bigr\Vert _{\infty }\leq \theta _{0}\varepsilon , \quad \forall x \in [x_{0}-\mu , x_{0}+\mu ]. $$That is the needed result.
□
Example 2.2
Let \(\xi \neq 0\) be a positive real number. Consider the following function:
Since
we have \(|u'(x)-f(x,u(x))| \to 0\) when \(\xi \to \infty \). So condition (2.7) is satisfied. From Theorem 2.1, the differential equation \(u'=f(x,u(x))\) is locally Hyers–Ulam stable.
3 Ulam–Hyers stability of a nonlinear Volterra integral equation
In this section, we are interested in the study of Ulam–Hyers stability of a nonlinear Volterra integral equation whose kernel contains a weakly singular part as follows:
where \({\varphi }\in C([a, b])\) and K is a function defined by
Let us consider the operator \(T:C([a, b])\rightarrow C([a, b])\) defined by
and assume that the following hypotheses are satisfied:
-
(1)
\(K\in C([a, b]^{2}\times \mathbb{R})\),
-
(2)
\(\exists \sigma > 0\), \(\forall x,t \in [a, b]\), \(\forall u \in \mathbb{R}\), \(|K(x, t, u)| \leq \sigma \),
-
(3)
\(H(x,t)=\vartheta (x-t) \in C([a, b]^{2})\), \(\forall x \neq t\), where \(H:[a,b]\rightarrow [a,b]\) is a function,
-
(4)
\(f\in C([a, b])\),
-
(5)
there exists \(M>0\) such that \(\forall x, t \in [a, b]\), \(\forall u, v \in \mathbb{R}\)
$$ \bigl\vert K(x, t, u)-K(x, t, v) \bigr\vert \leq M \vert u-v \vert , $$ -
(6)
for \(q>1\), there exists \(\rho >0\) such that \({H(x,t)}\in L^{q}([a,b])\) and
$$ \bigl\Vert {H(x,t)} \bigr\Vert _{q}\leq \rho , \quad \forall x,t \in [a, b], x \neq t. $$
Proposition 3.1
Under the above assumptions, the operator T is well defined.
Proof
Let \(x, y \in [a, b]\). Our goal is to show that
For this purpose, we consider the following statements:
that is,
Taking the absolute value from both sides of the above equation, we get the following:
Moreover, we obtain
when \(x\to y\), that is, \(\exists \epsilon > 0\), \(|x - y|\leq \epsilon \). In the same manner, we get
and
As K is continuous with respect to the first variable, we have
Then we obtain
On the other hand, we have
Since \(H: [x - \frac{\epsilon }{2}, b ]\times [a, x -\epsilon ] \) is continuous, we conclude that
So
From \(x - \frac{\epsilon }{2} < b \), we have \(x -\epsilon < b - \frac{\epsilon }{2} < b \) and \(x -\varepsilon < b - a\). For \(| x - y| < \min (\epsilon ,\epsilon _{0},\epsilon _{1}, \epsilon _{*}, \epsilon _{\star } )\), we have
which means that \((T\varphi ) \in C ( [a, b] )\), that is, T is well defined. □
Theorem 3.2
Let ε be a positive real number. If \(\varphi \in C([a, b])\) is given such that
then there exist \(\theta _{0}>0\) and unique \(\varphi _{0}\in C([a, b]) \) such that
and
Proof
The operator \(T:C([a, b])\rightarrow C([a, b])\) defined by
is a contraction in the metric space \((X,d_{\tau })\), where \(X=C([a, b])\) and \(d_{\tau }\) the Bielecki metric
where τ is chosen such that
Indeed,
So
Since \((\tau (\frac{q}{q-1} ) )^{\frac{q -1}{q}} > M\rho \), we have
Set \(\theta =\frac{M\rho }{(\tau p)^{\frac{1}{p}}}\) with \(p=q-1\). By Theorem 1.1, there exists unique \(\varphi _{0} \in X\) satisfying
Now, let \(\varepsilon >0\) and \(\varphi \in X\) such that
Then
and
That is,
which means that the integral equation
is Ulam–Hyers stable. □
Example 3.3
Let σ be a positive real number. Consider the following functions φ, K, H such that, for all \(x,t\in [a,b]\), \(\forall u \in \mathbb{R}\):
It is clear that conditions (1), (3), and (4) in Proposition 3.1 are satisfied. It suffices to show that conditions (2), (5), and (6) in Proposition 3.1 are satisfied.
\((2)\) is satisfied because \(\forall x, t\in [a, b]\) and \(\forall \varphi (x), \phi (x) \in \mathbb{R}\), we have
Since
(5) is also satisfied. Let \(q > 1\). The following inequalities
show that condition (6) is satisfied. By Theorem 3.2, the nonlinear Volterra integral equation
has the Hyers–Ulam stability.
4 Conclusion
In this paper, we have studied the Ulam–Hyers stability of a differential equation. Its proof is based on the Banach fixed point theorem in some space of continuous functions. Moreover, we have obtained some results on the Ulam–Hyers stability of a weakly singular Volterra integral equation using the Banach contraction principle in the space of continuous functions \(C([a,b])\).
Availability of data and materials
Not applicable.
References
Agarwal, R.P., Meehan, M., O’Regan, D.: Fixed Point Theory and Applications. Cambridge University Press, Cambridge (2004)
Agarwal, R.P., O’Regan, D., Sahu, D.R.: Fixed Point Theory for Lipschitzian-Type Mappings with Application. Springer, New York (2009)
Ulam, S.M.: Problems in Modern Mathematics. Wiley, New York (1964)
Hyers, D.H.: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 27, 222–224 (1941)
Gachpazan, M., Baghani, O.: Hyers–Ulam stability of Volterra integral equation. Int. J. Nonlinear Anal. Appl. 1, 19–25 (2010)
Huang, J., Jung, S., Li, Y.: On the Hyers–Ulam stability of non-linear differential equations. Bull. Korean Math. Soc. 52, 685–697 (2015)
Janfada, M., Sadeghi, G.: Stability of the Volterra integrodifferential equation. Folia Math. 18, 11–20 (2013)
Jung, S.: Hyers–Ulam stability of linear differential equations of first order. Appl. Math. Lett. 17, 1135–1140 (2004)
Miura, T., Miyajima, S., Takahasi, S.E.: A characterization of Hyers–Ulam stability of first order linear differential operators. J. Math. Anal. Appl. 286, 136–146 (2003)
Niazi, A.U.K., Wei, J., Rehman, M.U., Jun, D.: Ulam–Hyers stability for nonlinear fractional neutral differential equations. Hacet. J. Math. Stat. 48, 157–169 (2019)
Sevgin, S., Sevli, H.: Stability of a nonlinear Volterra integro-differential equation via a fixed point approach. J. Nonlinear Sci. Appl. 9, 200–207 (2016)
Shah, A.Z.R.: A fixed point approach to the stability of a nonlinear Volterra integrodifferential equation with delay. Hacet. J. Math. Stat. 47, 615–623 (2018)
Cadariu, L., Gãvruţa, P., Gãvruţa, L.: Weighted space method for the stability of some nonlinear equations. Appl. Anal. Discrete Math. 6(1), 126–139 (2012)
Gãvruţa, P., Gãvruţa, L.: A new method for the generalized Hyers–Ulam-Rassias stability. Int. J. Nonlinear Anal. Appl. 1(2), 11–18 (2010)
Jung, S.M.: A fixed point approach to the stability of differential equation \(y'=F(x,y)\). Bull. Malays. Math. Sci. Soc. (2) 33(1), 47–56 (2010)
Sousa, J.V.C., Oliveira, E.C.: Ulam–Hyers stability of a nonlinear fractional Volterra integro-differential equation. Appl. Math. Lett. 81, 50–56 (2018)
Zada, A., Ali, W., Farina, S.: Hyers–Ulam stability of nonlinear differential equations with fractional integrable impulses. Math. Methods Appl. Sci. 40, 5502–5514 (2017)
Zada, A., Shah, S.O.: Hyers–Ulam stability of first-order nonlinear delay differential equations with fractional integrable impulses. Hacet. J. Math. Stat. 47, 1196–1205 (2018)
Mahmudov, I., Al-Khateeb, A.: Existence and Ulam–Hyers stability of coupled sequential fractional differential equations with integral boundary conditions. J. Inequal. Appl. 2019, Article ID 165 (2019)
Andras, S., Baricz, A., Pogany, T.: Ulam–Hyers stability of singular integral equations via weakly Picard operators. Fixed Point Theory 17, 21–36 (2016)
Rus, I.A.: Remarks on Ulam stability of the operational equations. Fixed Point Theory 10, 305–320 (2009)
Lipschitz, R.: De explicatione per series trigonometricas insttuenda functionum unius variablis arbitrariarum, et praecipue earum, quae per variablis spatium finitum valorum maximorum et minimorum numerum habent infintum disquisitio. J. Reine Angew. Math. 63(63), 296–308 (1984)
Acknowledgements
We would like to express our gratitude to the anonymous referees for their helpful suggestions and corrections.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The authors equally conceived of the study, participated in its design and coordination, drafted the manuscript, participated in the sequence alignment, and read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ege, O., Ayadi, S. & Park, C. Ulam–Hyers stabilities of a differential equation and a weakly singular Volterra integral equation. J Inequal Appl 2021, 19 (2021). https://doi.org/10.1186/s13660-020-02529-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-020-02529-z