Next Article in Journal
Exact Solutions of Non-Linear Lattice Equations by an Improved Exp-Function Method
Next Article in Special Issue
Generalized Boundary Conditions for the Time-Fractional Advection Diffusion Equation
Previous Article in Journal
Effect of Heterogeneity in Initial Geographic Distribution on Opinions’ Competitiveness
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Existence of Ulam Stability for Iterative Fractional Differential Equations Based on Fractional Entropy

1
Institute of Mathematical Sciences, University Malaya, Kuala Lumpur 50603, Malaysia
2
Faculty of Computer Science and Information Technology, University Malaya, Kuala Lumpur 50603, Malaysia
*
Author to whom correspondence should be addressed.
Entropy 2015, 17(5), 3172-3181; https://doi.org/10.3390/e17053172
Submission received: 12 March 2015 / Revised: 27 April 2015 / Accepted: 11 May 2015 / Published: 13 May 2015
(This article belongs to the Special Issue Complex and Fractional Dynamics)

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 [57]). 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 [1315]. 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:
D ρ y ( t ) = ϕ ( t , y ( t ) , y ( ( y ( t ) ) , y ( 0 ) = y 0
Ibrahim and Darus [22] established sufficient conditions for fractional differential equations as follows:
D ρ y ( t ) = ϕ ( t , y ( t ) , y ( β t ) , y ( y ( t ) ) ) , β ( 0 , 1 ]
with the initial value y(0) = y0. Recently, Ibrahim et al. [23] investigated the existence and uniqueness of
D ρ y ( t ) = ϕ ( t , y [ 1 ] ( t ) , y [ 2 ] ( t ) , , y [ n ] ( t ) )
subjected to the initial value as follows:
y ( t 0 ) = c , c [ 0 , )
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:
I a ρ ϕ ( s ) = a s ( s τ ) ρ 1 Γ ( ρ ) ϕ ( τ ) d τ
Moreover, for the continuous function ϕ, the fractional derivative of order ρ > 0 is defined by
D a ρ ϕ ( s ) = d d s a s ( s τ ) ρ Γ ( 1 ρ ) ϕ ( τ ) d τ
Consequently, when a = 0 we have
D ρ s m = Γ ( m + 1 ) Γ ( m ρ + 1 ) s m ρ , m > 1 ; 0 < ρ < 1
and
I ρ s m = Γ ( m + 1 ) Γ ( m + ρ + 1 ) s m + ρ , m > 1 ; ρ > 0
Definition 1. The function ϕ : + n + 1 χ, n ∈is called homogeneous of degree γ with respect to λ ∈+ such that
ϕ ( λ y [ 1 ] ( t ) , λ y [ 2 ] ( t ) , , λ y [ n ] ( t ) ) = λ γ ϕ ( y [ 1 ] ( t ) , , y [ n ] ( t ) ) : = λ γ ϕ ( y 1 ( t ) , , y n ( t ) )
where+ = (0, ), and (χ, ‖·‖) is a Banach space over ℝ.
Definition 2. The function ϕ : + n + 1 χ, n ∈is called homogeneous of degree 0 < γ ≤ 1 with respect to t ∈+ if
ϕ ( t , t y [ 1 ] ( t ) , t y [ 2 ] ( t ) , , t y [ n ] ( t ) ) = t y ϕ ( y [ 0 ] ( t ) , y [ 1 ] ( t ) , , y [ n ] ( t ) ) : = t γ ϕ ( y 0 ( t ) , y 1 ( t ) , , y n ( t ) )
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 ( + n + 1, χ), we derive Equation (2) and
D ρ y ( t ) ϕ ( y 0 ( t ) , y 1 ( t ) , , y n ( t ) ) ϵ
for all y ∈+ the function η ∈+ exists with the following property:
y ( t ) η ( t ) δ .
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]
T γ ( ϕ ) = x [ ϕ ( x ) ] γ d x 1 1 γ , γ 1
The discreet form is as follows:
T γ ( ϕ ) = 1 γ 1 ( 1 i = 1 m ϕ i γ )
Various fractional entropies have been proposed in the literature [2630]. 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:
Theorem 1. Suppose that ϕ ∈ C( + n + 1, χ) achieving (2) and
ϕ Γ ( ρ ) ( 1 γ ) T ρ 1 , γ ( 0 , 1 ) , t ( 0 , T ] , ρ ( 0 , 1 ]
If c > 1 γ then every solution y of Equation (1) is bounded by the Tsallis entropy.
Proof. The relationship
ϕ ( t , t y [ 1 ] ( t ) , t y [ 2 ] ( t ) , , t y [ n ] ( t ) ) = t γ ϕ ( y 0 ( t ) , y 1 ( t ) , , y n ( t ) )
implies that
ϕ ( y 0 ( t ) , y 1 ( t ) , , y n ( t ) ) = ϕ ( t , t y [ 1 ] ( t ) , t y [ 2 ] ( t ) , , t y [ n ] ( t ) ) t γ
By letting t = 1 y 0 we derive the following equation:
ϕ ( y 0 ( t ) , y 1 ( t ) , , y n ( t ) ) = y 0 γ ϕ ( 1 , y 1 ( t ) y 0 ( t ) , , y n ( t ) y 0 ( t ) )
Let y be a solution of the form
y ( t ) = c + 0 t ( t τ ) ρ 1 Γ ( ρ ) ϕ ( τ , y 1 ( τ ) , , y n ( τ ) ) d τ
Then in view of Equation (5) yields
y ( t ) = c + 0 t ( t τ ) ρ 1 Γ ( ρ ) ϕ ( τ , y 1 ( τ ) , , y n ( τ ) ) c + 0 t y 0 γ ( τ ) ϕ ( t τ ) ρ 1 Γ ( ρ ) d τ c + 0 t y 0 γ ( τ ) d τ 1 γ = c c γ 1 γ + 0 t y 0 γ ( τ ) d τ 1 γ
If c > 1 γ then we obtain the following inequality:
y ( t ) c 1 γ + 0 T y 0 γ ( t ) d t 1 1 γ
Stability is discussed in the subsequent result.
Theorem 2. Assume that ϕ ∈ C( + n + 1, χ) achieving (2) and
ϕ Γ ( ρ ) ( 1 γ ) T ρ 1 , γ ( 0 , 1 ) , t ( 0 , T ] , ρ ( 0 , 1 ]
If c > 1 γ, 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:
D ρ y ( t ) ϕ ( y 0 ( t ) , y 1 ( t ) , , y n ( t ) ) : = Φ ( t )
If ║ Φ ║ ≤ ϵ, ϵ > 0, then
0 t ( t τ ) ρ 1 Γ ( ρ ) Φ ( τ ) d τ , t T
is absolutely convergent. We consider the following function:
η ( t ) = 0 T y 0 γ ( t ) d t 1 1 γ + 0 t ( t τ ) ρ 1 Γ ( ρ ) Φ ( τ ) d τ + c 1 γ
Thus, in view of Theorem 1, we derive the following equation:
y ( t ) c 1 γ + 0 T y 0 γ ( t ) d t 1 1 γ
Consequently, we obtain the following inequality:
y ( t ) η ( t ) = y ( t ) ( 0 T y 0 γ ( t ) d t 1 1 γ + 0 t ( t τ ) ρ 1 Γ ( ρ ) Φ ( τ ) d τ + c 1 γ ) c 1 γ + 0 T y 0 γ ( t ) d t 1 1 γ ( 0 T y 0 γ ( t ) d t 1 1 γ + 0 t ( t τ ) ρ 1 Γ ( ρ ) Φ ( τ ) d τ + c 1 γ ) = 0 t ( t τ ) ρ 1 Γ ( ρ ) Φ ( τ ) d τ 0 t ( t τ ) ρ 1 Γ ( ρ ) Φ ( τ ) d τ Φ 0 t ( t τ ) ρ 1 Γ ( ρ ) d τ , t > τ T ρ Γ ( ρ + 1 ) : δ , Φ <
The existence of stability is proven. As such, we assume two solutions to Equation (1), namely, y and u such that yu with the property in Equation (6). Thus, there exists t0 (0,T] such that
y ( t 0 ) u ( t 0 ) .
For all t > 0 the following inequality holds:
y ( t 0 ) u ( t 0 ) y ( t 0 ) η ( t 0 ) + η ( t 0 ) u ( t 0 ) 2 T ρ Γ ( ρ + 1 )
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:
D ρ y ( t ) = i = 0 m A i ( t ) y [ i ] ( t )
subjected to the initial value
y ( t 0 ) = c , c [ 0 , ) , t 0 > 0
We formulate the following theorem:
Theorem 3. Assume that
F ( y ) : = D ρ y ( t ) i = 0 m A i ( t ) y [ i ] ( t ) , t ( 0 , T ]
such that |F(u)| <ϵ, ϵ > 0, and
| F ( y ) F ( v ) | λ | y v |
for some λ < 1 γ 2 Γ ( ρ ) T 2 ρ. If
i = 0 max t | A i ( t ) | i = 0 Γ ( ρ ) ( 1 γ ) 2 i T ρ 1 , γ [ 0 , 1 )
then Equation (7) has Hyers–Ulam stability.
Proof. The solution to Equation (7) has the following form:
y ( t ) = c + 0 t ( t τ ) ρ 1 Γ ( ρ ) i = 0 m A i ( τ ) y [ i ] ( τ ) d τ = c + i = 0 m 0 t ( t τ ) ρ 1 Γ ( ρ ) A i ( τ ) y [ i ] ( τ ) d τ = c + i = 0 m 0 t ( t τ ) ρ 1 Γ ( ρ ) A i ( τ ) y 0 γ y i ( τ ) d τ
Moreover, we determine that
y ( t ) = 0 t ( t τ ) ρ 1 Γ ( ρ ) F ( τ ) d τ + i = 0 m 0 t ( t τ ) ρ 1 Γ ( ρ ) A i ( τ ) y 0 γ y i ( τ ) d τ ϵ T ρ Γ ( ρ + 1 ) + 0 t y 0 γ ( t τ ) ρ 1 Γ ( ρ ) i = 0 m A i ( τ ) y i ( τ ) d τ ϵ T ρ Γ ( ρ + 1 ) + 2 | y ( t ) | 0 t y 0 γ 1 γ + d τ = ϵ T ρ Γ ( ρ + 1 ) + 2 | y ( t ) | 0 T γ 0 γ d t 1 1 γ + 2 | y ( t ) | 1 γ = ϵ T ρ Γ ( ρ + 1 ) + 2 | y ( t ) | T γ ( y 0 ) + 2 | y ( t ) | 1 γ
where |y(t)| = max yi(t). Thus, we obtain the following inequality:
| y ( t ) | ϵ T ρ Γ ( ρ + 1 ) 1 2 ( T γ ( y 0 ) + 1 1 γ ) : K ϵ
We define the function G : L1(0, T]→ L1(0, T] as follows:
G ( y ) = i = 0 m A i ( t ) F ( y )
Evidently, G(y) is absolutely convergent because
lim m | G ( y ) | = | ( i = 0 A i ( t ) F ( y ) | i = 0 max t | A i ( t ) F ( y ) | i = 0 Γ ( ρ ) | F ( y ) | 2 j ( 1 γ ) T ρ 1 2 Γ ( ρ ) ϵ ( 1 γ ) T ρ 1
Moreover, G(y) satisfies the following inequality:
| G ( y ) G ( v ) | = | ( i = 0 m A i ( t ) ) F ( y ) ( i = 0 m A i ( t ) ) F ( v ) | | ( i = 0 m A i ( t ) ) F ( y ) F ( v ) | | ( i = 0 m A i ( t ) ) | λ | y v |
Thus for m → ∞ we derive the following conclusion:
| G ( y ) G ( v ) | i = 0 λ u v 2 i = 2 Γ ( ρ ) λ ( 1 γ ) T ρ 1 u v
Hence we conclude that
G ( y ) G ( v ) | | L 1 ( 0 , T ] = 0 T | G ( y ) G ( v ) d t 2 Γ ( ρ ) λ T 2 ρ ( 1 γ ) y v : = μ y v , μ < 1
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
G ( v ) = v .
Then, we verify the stability of Equation (7). For m → ∞ we get
| y ( t ) v ( t ) | = | y ( t ) G ( y ) + G ( y ) G ( v ) | | y ( t ) G ( y ) | + | G ( y ) G ( v ) | y ( t ) + i = 0 m A i ( t ) F ( y ) | + | i = 0 m A i ( t ) ) F ( y ) i = 0 m A i ( t ) ) F ( v ) | | y ( t ) | ( 1 + i = 0 A i ( t ) λ ) + i = 0 A i ( t ) λ | y ( t ) v ( t ) | K ϵ ( 1 + 2 λ Γ ( ρ ) ( 1 γ ) T ρ 1 ) + ( 2 λ Γ ( ρ ) ( 1 γ ) T ρ 1 ) | y ( t ) v ( t ) |
Thus, we propose that
| y ( t ) v ( t ) | K ϵ ( 1 + Λ 1 Λ ) : = δ , Λ : = 2 λ Γ ( ρ ) ( 1 γ ) T ρ 1
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

  1. Ulam, S.M. A Collection of Mathematical Problems; Interscience Publishers: New York, NY, USA, 1960. [Google Scholar]
  2. Ulam, S.M. Problems in Modern Mathematics; Wiley: New York, NY, USA, 1964. [Google Scholar]
  3. Hyers, D.H. On the stability of linear functional equation. Proc. Natl. Acad. Sci. USA 1941, 27, 222–224. [Google Scholar]
  4. Rassias, T.M. On the stability of the linear mapping in Banach space. Proc. Am. Math. Soc. 1978, 72, 297–300. [Google Scholar]
  5. 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]
  6. Hyers, D.H.; Rassias, Th.M. Approximate homomorphisms. Aequ. Math. 1992, 44, 125–153. [Google Scholar]
  7. Hyers, D.H.; Isac, G.I.; Rassias, T.M. Stability of Functional Equations in Several Variables; Birkhauser: Basel, Switzerland, 1998. [Google Scholar]
  8. Li, Y.; Hua, L. Hyers–Ulam stability of a polynomial equation. Banach J. Math. Anal. 2009, 3, 86–90. [Google Scholar]
  9. Bidkham, M.; Mezerji, H.A.; Gordji, M.E. Hyers-Ulam stability of polynomial equations. Abstr. Appl. Anal. 2010, 2010. [Google Scholar] [CrossRef]
  10. Cimpean, D.; Popa, D. Hyers–Ulam stability of Euler’s equation. Appl. Math. Lett. 2011, 24, 1539–1543. [Google Scholar]
  11. 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]
  12. 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.
  13. 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.
  14. Ibrahim, R.W. Ulam stability for fractional differential equation in complex domain. Abstr. Appl. Anal. 2012, 2012. [Google Scholar] [CrossRef]
  15. Ibrahim, R.W. Generalized Ulam–Hyers stability for fractional differential equations. Int. J. Math. 2012, 23, 1250056. [Google Scholar]
  16. 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]
  17. 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]
  18. Wang, J.; Lin, Z. Ulam’s type stability of Hadamard type fractional integral equations. Filomat 2014, 28, 1323–1331. [Google Scholar]
  19. Ibrahim, R.W. Stability of sequential fractional differential equation. Appl. Comput. Math. 2015, in press. [Google Scholar]
  20. Ibrahim, R.W. Existence of deviating fractional differential equation. CUBO Math. J 2012, 14, 129–142. [Google Scholar]
  21. Ibrahim, R.W. Existence of iterative Cauchy fractional differential equation. J. Math. 2013, 2013. [Google Scholar] [CrossRef]
  22. 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.
  23. 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]
  24. 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]
  25. Tsallis, C. Introduction to Nonextensive Statistical Mechanics, Approching a Complex World; Springer: New York, NY, USA, 2009. [Google Scholar]
  26. Machado, J.A.T. Entropy analysis of integer and fractional dynamical systems. J. Appl. Nonlinear Dyn. 2010, 62, 371–378. [Google Scholar]
  27. Machado, J.A.T. Entropy analysis of fractional derivatives and their approximation. J. Appl. Nonlinear Dyn. 2012, 1, 109–112. [Google Scholar]
  28. Ibrahim, R.W. The fractional differential polynomial neural network for approximation of functions. Entropy 2013, 15, 4188–4198. [Google Scholar]
  29. Machado, J.A.T. Fractional order generalized information. Entropy 2014, 16, 2350–2361. [Google Scholar]
  30. Ibrahim, R.W.; Jalab, H.A. Existence of entropy solutions for nonsymmetric fractional systems. Entropy 2014, 16, 4911–4922. [Google Scholar]

Share and Cite

MDPI and ACS Style

Ibrahim, R.W.; Jalab, H.A. Existence of Ulam Stability for Iterative Fractional Differential Equations Based on Fractional Entropy. Entropy 2015, 17, 3172-3181. https://doi.org/10.3390/e17053172

AMA Style

Ibrahim RW, Jalab HA. Existence of Ulam Stability for Iterative Fractional Differential Equations Based on Fractional Entropy. Entropy. 2015; 17(5):3172-3181. https://doi.org/10.3390/e17053172

Chicago/Turabian Style

Ibrahim, Rabha W., and Hamid A. Jalab. 2015. "Existence of Ulam Stability for Iterative Fractional Differential Equations Based on Fractional Entropy" Entropy 17, no. 5: 3172-3181. https://doi.org/10.3390/e17053172

Article Metrics

Back to TopTop