Abstract
In this study, we introduce conditions for the existence of solutions for an iterative functional differential equation of fractional order. We prove that the solutions of the above class of fractional differential equations are bounded by Tsallis entropy. The method depends on the concept of Hyers-Ulam stability. The arbitrary order is suggested in the sense of Riemann-Liouville calculus.
1. Introduction
In 1940, Ulam [1,2] established the following question on the stability of the Cauchy equation: if a function ϕ approximately satisfies functional equation
, when does an exact solution of
which ϕ approximates exist?
In 1941, D. H. Hyers introduced a solution to the problem [3]. In 1978, Th.M. Rassias [4] modified Hyers’ theorem by establishing the existence of unique linear mappings near approximate additive mappings. The issue has been assumed for various types of spaces (see [5–7]). Li and Hua [8] investigated the Hyers-Ulam stability of finite polynomial equations. Bidkham, Mezerji, and Gordji [9] introduced the Hyers–Ulam stability of the generalized finite polynomial equation. Recently, Cimpean and Popa [10] proved the Hyers–Ulam stability for Euler’s equation in ℝn. Popa and Rasa [11] obtained the infimum of the Hyers–Ulam stability constants for different operators, such as the Stancu, Bernstein, and Kantorovich operators.
The Ulam stability of fractional differential equations was introduced for the first time by Wang and Zhou using the Caputo derivative [12]. Ibrahim investigated this type of stability for different classes of fractional differential equations by utilizing the fractional derivatives of the Srivastava-Owa differential operator (a type of Riemann–Liouville operator) in a complex domain [13–15]. The Ulam–Hyers stability for the Cauchy fractional differential equation in the unit disk was also investigated. Various studies are reported in [16,17]. Wang and Lin also imposed stability by utilizing the Hadamard-type fractional integral equations [18]. Recently, the stability of the sequential fractional differential equation with respect to the Miller-Ross formula was investigated on the basis of the Banach contraction mapping theorem [19].
The class of fractional iterative differential equations is derived by applying non-expansive operators [20,21] as follows:
Ibrahim and Darus [22] established sufficient conditions for fractional differential equations as follows:
with the initial value y(0) = y0. Recently, Ibrahim et al. [23] investigated the existence and uniqueness of
subjected to the initial value as follows:
where y[j](t) := y(y[j−1](t)) indicates the j − th iterate of self-mapping y, where j = 1, 2, …, n.
In this study, we impose conditions for the existence of solutions for an iterative functional differential equation of fractional order Equation (1). We prove that the solutions of the aforementioned class of fractional differential equations are bounded by the Tsallis entropy (fractional entropy). The strategy is based on the concept of the Hyers–Ulam stability. The arbitrary order is derived with respect to the Riemann-Liouville calculus.
2. Preliminaries
We consider the following concepts:
In view of the Riemann–Liouville operators (differential and integral), the fractional calculus can be defined and the fractional integral operator can be formulated as follows:
Moreover, for the continuous function ϕ, the fractional derivative of order ρ > 0 is defined by
Consequently, when a = 0 we have
and
Definition 1. The function ϕ :
, n ∈ ℕ is called homogeneous of degree γ with respect to λ ∈ ℝ+ such that
where ℝ+ = (0, ∞), and (χ, ‖·‖) is a Banach space over ℝ.
Definition 2. The function ϕ :
, n ∈ ℕ is called homogeneous of degree 0 < γ ≤ 1 with respect to t ∈ ℝ+ if
where y0(t) = y[0] (t) := tβ, 0 < β ≤ 1.
Definition 3. Let ∊ be a nonnegative number. Then, Equation (1) is considered stable in the Hyers–Ulam sense if δ > 0 such that for every ϕ ∈ C1 ∈ (
, χ), we derive Equation (2) and
for all y ∈ ℝ+ the function η ∈ ℝ+ exists with the following property:
An entropy of the scalar variable was imposed by Mathai, and the properties and its links to the Tsallis non-extensive statistical mechanics and the Mathai pathway pattern were introduced and generalized by Mathai and Haubold [24]. In the present work, we deal with the following measure of entropy, which was derived by Tsallis [25]
The discreet form is as follows:
Various fractional entropies have been proposed in the literature [26–30]. We show that a solution of Equation (1) is bounded by the Tsallis entropy under some conditions. This solution satisfies the Hyers–Ulam stability.
3. Main results
Our first main result is explained in the following theorem:
If then every solution y of Equation (1) is bounded by the Tsallis entropy.
Proof. The relationship
implies that
By letting
we derive the following equation:
Let y be a solution of the form
Then in view of Equation (5) yields
If
then we obtain the following inequality:
Stability is discussed in the subsequent result.
If, then a unique solution y of Equation (1) satisfies the Hyers–Ulam stability.
Proof. We let y be a solution of Equation (1) satisfying Equation (3). Putting the following equation:
If ║ Φ ║ ≤ ϵ, ϵ > 0, then
is absolutely convergent. We consider the following function:
Thus, in view of Theorem 1, we derive the following equation:
Consequently, we obtain the following inequality:
The existence of stability is proven. As such, we assume two solutions to Equation (1), namely, y and u such that y ≠ u with the property in Equation (6). Thus, there exists t0 ∈ (0,T] such that
For all t > 0 the following inequality holds:
Since ϵ is arbitrary, which leads to a contradiction. Thus, we prove the uniqueness of the solution.
Next, we discuss the stability of the following case:
subjected to the initial value
We formulate the following theorem:
Theorem 3. Assume that
such that |F(u)| <ϵ, ϵ > 0, and
for some. If
then Equation (7) has Hyers–Ulam stability.
Proof. The solution to Equation (7) has the following form:
Moreover, we determine that
where |y(t)| = max yi(t). Thus, we obtain the following inequality:
We define the function G : L1(0, T]→ L1(0, T] as follows:
Evidently, G(y) is absolutely convergent because
Moreover, G(y) satisfies the following inequality:
Thus for m → ∞ we derive the following conclusion:
Hence we conclude that
Therefore, G is a µ-contraction mapping in L1(0, T]. On the basis of the Banach contraction mapping theorem, we find a unique v ∈ L1(0, T] such that
Thus, we propose that
Therefore, Equation (7) has Ulam-Hyers stability. □
4. Conclusions
In this study, we investigated the generalized Ulam–Hyers stability and Ulam–Hyers–Rassias stability for iterative fractional differential equations with respect to the Riemann-Liouville derivative. These stabilities depend on fractional entropy. We demonstrated that the solutions of the aforementioned class of fractional differential equations are bounded by the Tsallis entropy. We also utilized the Banach contraction fixed-point theorem.
Acknowledgments
The authors are grateful to the referees for their helpful suggestions that improved this article. This research is supported by Project No. RG312-14AFR from the University of Malaya.
PACS classifications: 02.70
Author Contributions
Both authors jointly worked on deriving the results and approved the final manuscript.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Ulam, S.M. A Collection of Mathematical Problems; Interscience Publishers: New York, NY, USA, 1960. [Google Scholar]
- Ulam, S.M. Problems in Modern Mathematics; Wiley: New York, NY, USA, 1964. [Google Scholar]
- Hyers, D.H. On the stability of linear functional equation. Proc. Natl. Acad. Sci. USA 1941, 27, 222–224. [Google Scholar]
- Rassias, T.M. On the stability of the linear mapping in Banach space. Proc. Am. Math. Soc. 1978, 72, 297–300. [Google Scholar]
- Hyers, D.H. The stability of homomorphisms and related topics. In GlobalAnalysts—Analysis on Mamfolds; Rassias, Th.M., Ed.; Springer: Berlin/Heidelberg, Germany, 1983; pp. 140–153. [Google Scholar]
- Hyers, D.H.; Rassias, Th.M. Approximate homomorphisms. Aequ. Math. 1992, 44, 125–153. [Google Scholar]
- Hyers, D.H.; Isac, G.I.; Rassias, T.M. Stability of Functional Equations in Several Variables; Birkhauser: Basel, Switzerland, 1998. [Google Scholar]
- Li, Y.; Hua, L. Hyers–Ulam stability of a polynomial equation. Banach J. Math. Anal. 2009, 3, 86–90. [Google Scholar]
- Bidkham, M.; Mezerji, H.A.; Gordji, M.E. Hyers-Ulam stability of polynomial equations. Abstr. Appl. Anal. 2010, 2010. [Google Scholar] [CrossRef]
- Cimpean, D.; Popa, D. Hyers–Ulam stability of Euler’s equation. Appl. Math. Lett. 2011, 24, 1539–1543. [Google Scholar]
- Popa, D.; Rasa, I. On the best constant in Hyers–Ulam stability of some positive linear operators. J. Math. Anal. Appl. 2014, 412, 103–108. [Google Scholar]
- Wang, J.; Lv, L.; Zhou, Y. Ulam stability and data dependence for fractional differential equations with Caputo derivative. Electron. J. Qual. Theory Differ. Equ. 2011, 63. Available online: http://www.emis.ams.org/journals/EJQTDE/p1003.pdf accessed on 12 May 2015.
- Ibrahim, R.W. Approximate solutions for fractional differential equation in the unit disk. Electron. J. Qual. Theory Differ. Equ. 2011, 64. Available online: http://www.emis.ams.org/journals/EJQTDE/p603.pdf accessed on 12 May 2015.
- Ibrahim, R.W. Ulam stability for fractional differential equation in complex domain. Abstr. Appl. Anal. 2012, 2012. [Google Scholar] [CrossRef]
- Ibrahim, R.W. Generalized Ulam–Hyers stability for fractional differential equations. Int. J. Math. 2012, 23, 1250056. [Google Scholar]
- Wang, J.; Zhou, Y.; Feckan, M. Nonlinear impulsive problems for fractional differential equations and Ulam stability. Comput. Math. Appl. 2012, 64, 3389–3405. [Google Scholar]
- Wang, J.; Feckan, M.; Zhou, Y. Ulam’s type stability of impulsive ordinary differential equations. J. Math. Anal. Appl. 2012, 395, 258–264. [Google Scholar]
- Wang, J.; Lin, Z. Ulam’s type stability of Hadamard type fractional integral equations. Filomat 2014, 28, 1323–1331. [Google Scholar]
- Ibrahim, R.W. Stability of sequential fractional differential equation. Appl. Comput. Math. 2015, in press. [Google Scholar]
- Ibrahim, R.W. Existence of deviating fractional differential equation. CUBO Math. J 2012, 14, 129–142. [Google Scholar]
- Ibrahim, R.W. Existence of iterative Cauchy fractional differential equation. J. Math. 2013, 2013. [Google Scholar] [CrossRef]
- Ibrahim, R.W.; Darus, M. Infective disease processes based on fractional differential equation, Proceedings of the 3rd International Conference on Mathematical Sciences, Kuala Lumpur, Malaysia, 17–19 December 2013; 1602, pp. 696–703.
- Ibrahim, R.W.; Kilicman, A.; Damag, F. H. Existence and uniqueness for a class of iterative fractional differential equations. Adv. Differ. Equ. 2015, 421. [Google Scholar] [CrossRef]
- Mathai, A.; Haubold, H. On a generalized entropy measure leading to the pathway model with a preliminary application to solar neutrino data. Entropy 2013, 15, 4011–4025. [Google Scholar]
- Tsallis, C. Introduction to Nonextensive Statistical Mechanics, Approching a Complex World; Springer: New York, NY, USA, 2009. [Google Scholar]
- Machado, J.A.T. Entropy analysis of integer and fractional dynamical systems. J. Appl. Nonlinear Dyn. 2010, 62, 371–378. [Google Scholar]
- Machado, J.A.T. Entropy analysis of fractional derivatives and their approximation. J. Appl. Nonlinear Dyn. 2012, 1, 109–112. [Google Scholar]
- Ibrahim, R.W. The fractional differential polynomial neural network for approximation of functions. Entropy 2013, 15, 4188–4198. [Google Scholar]
- Machado, J.A.T. Fractional order generalized information. Entropy 2014, 16, 2350–2361. [Google Scholar]
- Ibrahim, R.W.; Jalab, H.A. Existence of entropy solutions for nonsymmetric fractional systems. Entropy 2014, 16, 4911–4922. [Google Scholar]
© 2015 by the authors; licensee MDPI, Basel, Switzerland This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution license (http://creativecommons.org/licenses/by/4.0/).