We prove the Ulam-Hyers stability of Cauchy fractional differential equations
in the unit disk for the linear and non-linear cases. The fractional operators are taken in sense of Srivastava-Owa operators.
1. Introduction
A classical problem in the theory of functional equations is that if a function f approximately satisfies functional equation ℰ, when does there exists an exact solution of ℰ which f approximates. In 1940, Ulam [1, 2] imposed the question of the stability of the Cauchy equation, and in 1941, Hyers solved it [3]. In 1978, Rassias [4] provided a generalization of Hyers, theorem by proving the existence of unique linear mappings near approximate additive mappings. The problem has been considered for many different types of spaces (see [5–7]). The Ulam-Hyers stability of differential equations has been investigated by Alsina and Ger [8] and generalized by Jung [9–11]. Recently, Li and Shen [12] have investigated the Ulam-Hyers stability of the linear differential equations of second order, Abdollahpour and Najati [13] have studied the Ulam-Hyers stability of the linear differential equations of third order, and Lungu and Popa have imposed the Ulam-Hyers stability of a first-order partial differential equation [14].
The analysis on stability of fractional differential equations is more complicated than the classical differential equations, since fractional derivatives are nonlocal and have weakly singular kernels. Recently, Li and Zhang [15] provided an overview on the stability results of the fractional differential equations. Particularly, Li et al. [16] devoted to study the Mittag-Leffler stability and the Lyapunov’s methods, Deng [17] derived sufficient conditions for the local asymptotical stability of nonlinear fractional differential equations, and Li et al. studied the stability of fractional-order nonlinear dynamic systems using the Lyapunov direct method and generalized Mittag-Leffler stability [18]. Furthermore, there are few works on the Ulam stability of fractional differential equations, which maybe provide a new way for the researchers to investigate the stability of fractional differential equations from different perspectives. First the Ulam stability and data dependence for fractional differential equations with Caputo derivative have been posed by Wang et al. [19] and Ibrahim [20] with Riemann-Liouville derivative in complex domain. Moreover, Wang et al. [21–24] considered and established the Ulam stability for various types of fractional differential equation. Finally, the author generalized the Ulam-Hyers stability for fractional differential equation including infinite power series [25, 26].
In this work, we continue our study by imposing the Ulam-Hyers stability for the Cauchy fractional differential equations in complex domain. The operators are taken in sense of the Srivastava-Owa fractional derivative and integral.
2. Fractional Calculus
The theory of fractional calculus has found interesting applications in the theory of analytic functions. The classical definitions of fractional operators and their generalizations have fruitfully been applied in obtaining, for example, the characterization properties, coefficient estimates [27], distortion inequalities [28], and convolution structures for various subclasses of analytic functions and the works in the research monographs. In [29], Srivastava and Owa gave definitions for fractional operators (derivative and integral) in the complex z-plane ℂ as follows.
Definition 2.1.
The fractional derivative of order α is defined, for a function f(z), by
(2.1)Dzαf(z):=1Γ(1-α)ddz∫0zf(ζ)(z-ζ)αdζ,0≤α<1,
where the function f(z) is analytic in simply connected region of the complex z-plane ℂ containing the origin and the multiplicity of (z-ζ)-α is removed by requiring log(z-ζ) to be real when (z-ζ)>0.
Definition 2.2.
The fractional integral of order α is defined, for a function f(z), by
(2.2)Izαf(z):=1Γ(α)∫0zf(ζ)(z-ζ)α-1dζ,α>0,
where the function f(z) is analytic in simply connected region of the complex z-plane (ℂ) containing the origin and the multiplicity of (z-ζ)α-1 is removed by requiring log(z-ζ) to be real when (z-ζ)>0.
Remark 2.3.
From Definitions 2.1 and 2.2, we have
(2.3)Dzαzμ=Γ(μ+1)Γ(μ-α+1)zμ-α,μ>-1,0≤α<1,Izαzμ=Γ(μ+1)Γ(μ+α+1)zμ+α,μ>-1,α>0.
We need the following preliminaries in the sequel.
Let U:={z∈ℂ:|z|<1} be the open unit disk in the complex plane ℂ and ℋ denote the space of all analytic functions on U. Also for a∈ℂ and m∈ℕ, let ℋ[a,m] be the subspace of ℋ consisting of functions of the form
(2.4)f(z)=a+amzm+am+1zm+1+⋯,z∈U.
Let 𝒜 be the class of functions f, analytic in U and normalized by the conditions f(0)=f′(0)-1=0. A function f∈𝒜 is called univalent (𝒮) if it is one-one in U.
Lemma 2.4 (see [28]).
Let the function f(z) be in the class 𝒮. Then
(2.5)|Dzαf(z)|≤r1-αΓ(1-α)∫011+rt(1-t)α(1-rt)3dt(r=|z|,z∈U,0<α<1).
Lemma 2.5 (see [28]).
Let the function f(z) be in the class 𝒮. Then
(2.6)|Dzα+1f(z)|≤r-αΓ(1-α)(rF(2,1;1-α;r))′(r=|z|,z∈U∖{0},0<α<1).
3. Ulam-Hyers Stability for Fractional Problems
In this section, we will study the Ulam-Hyers stability for two different types of fractional Cauchy problems involving the differential operator in Definition 2.1. The first initial value problem is
(3.1)Dzαu(z)=ρ(z)u(z),(u(0)=0,z∈U,0<α<1),
where u(z),ρ(z)∈ℋ[U,ℂ] (the space of analytic function on the unit disk). While the second problem is
(3.2)Dzαu(z)=f(z,u(z)),(u(0)=0,z∈U,0<α<1),
where f:U×ℂ→ℂ is analytic in z∈U. Finally, we consider the problem
(3.3)Dz1+αu(z)=f(z,u(z)),(u(z0)=c,z0∈U∖{0},0<α<1),
where u(z)∈ℋ[U,ℂ] and f:U×ℂ→ℂ is analytic in z∈U.
Definition 3.1.
Problem (3.1) has the Ulam-Hyers stability if there exists a positive constant K with the following property: for every ϵ>0, u∈ℋ[U,ℂ], if
(3.4)|Dzαu(z)-ρ(z)u(z)|<ϵ,
then there exists some v∈ℋ[U,ℂ] satisfying
(3.5)Dzαv(z)=ρ(z)v(z)
with v(0)=0 such that
(3.6)|u(z)-v(z)|<Kϵ.
Definition 3.2.
Problem (3.2) has the Ulam-Hyers stability if there exists a positive constant K with the following property: for every ϵ>0,u∈ℋ[U,ℂ], if
(3.7)|Dzαu(z)-f(z,u(z))|<ϵ,
then there exists some v∈ℋ[U,ℂ] satisfying
(3.8)Dzαv(z)=f(z,v(z))
with v(0)=0 such that
(3.9)|u(z)-v(z)|<Kϵ.
Definition 3.3.
Problem (3.3) has the Ulam-Hyers stability if there exists a positive constant K with the following property: for every ϵ>0,u∈ℋ[U,ℂ], if
(3.10)|Dz1+αu(z)-f(z,u(z))|<ϵ,
then there exists some v∈ℋ[U,ℂ] satisfying
(3.11)Dz1+αv(z)=f(z,v(z))
with v(z0)=c,z0∈U∖{0} such that
(3.12)|u(z)-v(z)|<Kϵ.
We start with the following result.
Theorem 3.4.
Let u∈𝒮, such that
(3.13)max|u(z)|≤hα2,∀z∈U,
where
(3.14)hα=r1-αΓ(1-α)∫011+rt(1-t)α(1-rt)3dt.
If max|ρ(z)|<1, then problem (3.1) has the Ulam-Hyers stability.
Proof.
For every ϵ>0,u∈𝒮, we let
(3.15)|Dzαu(z)-ρ(z)u(z)|<ϵ
with u(0)=0. In view of Lemma 2.4, we obtain
(3.16)max|Dzαu(z)|=hα(sharpcase),
consequently, we have
(3.17)max|u(z)|≤max|Dzαu(z)-ρ(z)u(z)|+max|ρ(z)|max|u(z)|≤ϵ+max|ρ(z)|max|u(z)|;
hence we impose that
(3.18)max|u(z)|≤ϵ1-max|ρ(z)|:=Kϵ.
Obviously, v(z)=0 is a solution of the problem (3.1) and yields
(3.19)|u(z)|≤Kϵ.
Hence (3.1) has the Ulam-Hyers stability.
Corollary 3.5.
Let u∈ℋ[𝔻,ℂ], where 𝔻⊂ℂ is a convex domain, satisfying one of the following conditions:
ℜ{u′(z)}>0,z∈U,
ℜ{zu′(z)/u(z)}>0,z∈U,
ℜ{1+zu′′(z)/u′(z)}>0,z∈U.
If max|u(z)|≤hα/2 and max|ρ(z)|<1, then problem (3.1) has the Ulam-Hyers stability.
Proof.
Assume that u∈ℋ[D,ℂ] satisfying one of the conditions (1)–(3), then u is a univalent function in the unit disk; that is, u∈𝒜 (see [30]). Thus, in view of Theorem 3.4, problem (3.1) has the Ulam-Hyers stability.
Remark 3.6.
A function f∈𝒜 is called bounded turning function if it satisfies the following inequality:
(3.20)R{f′(z)}>0(z∈U).
A function f∈𝒜 is called star-like if it satisfies the following inequality:
(3.21)R{zf′(z)f(z)}>0(z∈U).
A function f∈𝒜 is called convex if it satisfies the following inequality
(3.22)R{zf′′(z)f′(z)+1}>0(z∈U).
These subclasses of analytic functions in the unit disk play an important role in the theory of geometric function (see [30]).
Next, we consider the Ulam-Hyers stability for the nonlinear problems (3.2) and (3.3).
Theorem 3.7.
Let u∈𝒮, such that max|u(z)|≤hα/2, where
(3.23)hα=r1-αΓ(1-α)∫011+rt(1-t)α(1-rt)3dt.
If
(3.24)max|f(z,u(z))|≤Mmax|u(z)|,M∈(0,1),
then problem (3.2) has the Ulam-Hyers stability.
Proof.
For every ϵ>0,u∈𝒮, we let
(3.25)|Dzαu(z)-f(z,u(z))|<ϵ
with u(0)=0. In view of Lemma 2.4, it implies that
(3.26)max|Dzαu(z)|=hα(sharpcase);
therefore, we pose
(3.27)max|u(z)|≤max|Dzαu(z)-f(z,u(z))|+max|f(z,u(z))|≤ϵ+max|f(z,u(z))|≤ϵ+Mmax|u(z)|;
that is,
(3.28)max|u(z)|≤ϵ1-M:=Kϵ.
It is clear that
(3.29)v(0)=Izαf(z,v(z))|z=0=0
yields
(3.30)|u(z)|≤Kϵ.
Hence (3.2) has the Ulam-Hyers stability.
Now by applying Lemma 2.5, we study the Ulam-Hyers stability for the nonlinear problems (3.3).
Theorem 3.8.
Let u∈𝒮, such that max|u(z)|≤gα/2, where
(3.31)gα=r-αΓ(1-α)(rF(2,1;1-α;r))′,|f(z,u(z))-f(z,v(z))|≤L|u(z)-v(z)|.
If L∈(0,1), then problem (3.3) has the Ulam-Hyers stability.
Proof.
Since f is a contraction mapping, then the Banach fixed-point theorem implies that problem (3.3) has a unique solution. For every ϵ>0,u∈𝒮, we let
(3.32)|Dz1+αu(z)-f(z,u(z))|<ϵ
with u(z0)=c,z0∈U∖{0}. In view of Lemma 2.5, we impose
(3.33)max|Dz1+αu(z)|=gα(sharpcase),
and consequently we have
(3.34)max|u(z)-v(z)|≤max|Dzα(u(z)-v(z))|≤|Dzαu(z)-Dzαv(z)-f(z,u(z))+f(z,v(z))|+max|f(z,u(z))-f(z,v(z))|≤ϵ+Lmax|u(z)-v(z)|;
hence we receive
(3.35)max|u(z)-v(z)|≤ϵ1-L:=Kϵ.
It is clear that v(z0)=c for some z0∈U∖{0} yields
(3.36)|u(z)-v(z)|≤Kϵ.
Thus (3.3) has the Ulam-Hyers stability.
4. Conclusion
From above, the Ulam-Hyers stability is considered for different types of fractional Cauchy problems in the unit disk and in the puncture unit disk. We have observed that the problems (3.1) and (3.2) have the Ulam-Hyers stability when α∈(0,1) and u∈𝒮 (univalent solution). While the Ulam-Hyers stability for higher-order fractional Cauchy problem of the form (3.3) is studied in Theorem 3.8, for z∈U∖{0} and u∈𝒮. This leads to a set of questions:
Is the fractional Cauchy problem (linear and nonlinear) has the Ulam-Hyers stability for all u∈ℋ[U,ℂ]? (under what conditions).
Is the higher-order fractional Cauchy problem has the Ulam-Hyers stability for all u∈ℋ[U,ℂ]? (under what conditions). More specific,
does the higher-order fractional Cauchy problem of the form
(4.1)Dzm+αu(z)=f(z,u(z))(u∈H[U,C],m=2,3,…)
have the Ulam-Hyers stability?
If we extend our study to complex Banach space, does the last problem have the Ulam-Hyers stability?
If the study in complex Banach space, does the problem
(4.2)Dmu(z)=f(z,u(z)),D:=ddz
have the Ulam-Hyers stability?
More generalization
If the study in complex Banach space, does the problem
(4.3)Dmu(z)=f(z,u(z),Dm-1u(z)),m=2,3,…,
have the Ulam-Hyers stability?
Another special case
If the study in complex Banach space, does the problem
(4.4)Dmu(z)=f(z,zDm-1u(z)),m=2,3,…,
have the Ulam-Hyers stability?
UlamS.M.1961New York, NY, USAInterscienceUlamS. M.1964New York, NY, USAWileyHyersD. H.On the stability of the linear functional equation194127222224000407610.1073/pnas.27.4.222ZBL0061.26403RassiasT. M.On the stability of the linear mapping in Banach spaces197872229730010.2307/2042795507327ZBL0398.47040HyersD. H.The stability of homomorphisms and related topics198357Leipzig, GermanyTeubner140153Teubner Texts in Mathematics730609ZBL0517.22001HyersD. H.RassiasT. M.Approximate homomorphisms1992442-312515310.1007/BF018309751181264ZBL0806.47056HyersD. H.IsacG.RassiasT. M.1998Basel, SwitzerlandBirkhäuser Bostonvi+3131639801AlsinaC.GerR.On some inequalities and stability results related to the exponential function19982437338010.1155/S102558349800023X1671909ZBL0918.39009JungS.-M.Hyers-Ulam stability of linear differential equations of first order200417101135114010.1016/j.aml.2003.11.0042091847ZBL1061.34039JungS.-M.Hyers-Ulam stability of linear differential equations of first order I2005311113914610.1016/j.jmaa.2005.02.0252165468ZBL1087.34534JungS.-M.Hyers-Ulam stability of linear differential equations of first order II200619985485810.1016/j.aml.2005.11.0042240474ZBL1125.34328LiY.ShenY.Hyers-Ulam stability of linear differential equations of second order201023330630910.1016/j.aml.2009.09.0202565196ZBL1188.34069AbdollahpourM. R.NajatiA.Stability of linear differential equations of third order201124111827183010.1016/j.aml.2011.04.0432812220LunguN.PopaD.Hyers-Ulam stability of a first order partial differential equation20123851869110.1016/j.jmaa.2011.06.0252832076LiC. P.ZhangF. R.A survey on the stability of fractional differential equations20111932747LiY.ChenY.PodlubnyI.Mittag-Leffler stability of fractional order nonlinear dynamic systems20094519651969DengW.Smoothness and stability of the solutions for nonlinear fractional differential equations2010723-41768177710.1016/j.na.2009.09.0182577576ZBL1182.26009LiY.ChenY.PodlubnyI.Stability of fractional-order nonlinear dynamic systems: Lyapunov direct method and generalized Mittag-Leffler stability20105951810182110.1016/j.camwa.2009.08.0192595955ZBL1189.34015WangJ.LvL.ZhouY.Ulam stability and data dependence for fractional differential equations with Caputo derivative201163102832769IbrahimR. W.Approximate solutions for fractional differential equation in the unit disk201164112832770WangJ. R.LvL. L.ZhouY.New concepts and results in stability of fractional differential equations20121725302538WangJ. R.ZhouY.Mittag-Leffler-Ulam stabilities of fractional evolution equations201225723728WangJ.DongX.ZhouY.Existence, attractiveness and stability of solutions for quadratic Urysohn fractional integral equations201217254555410.1016/j.cnsns.2011.05.0342834413WangJ. R.DongX. W.ZhouY.Analysis of nonlinear integral equations with Erdlyi-Kober fractional operator20121783129313910.1016/j.cnsns.2011.12.002IbrahimR. W.Ulam stability for fractional differential equation in complex domain20112012810.1155/2012/649517649517IbrahimR. W.Generalized Ulam-Hyers stability for fractional differential equations2012235910.1142/S0129167X12500565DarusM.IbrahimR. W.Radius estimates of a subclass of univalent functions201163155582746329SrivastavaH. M.LingY.BaoG.Some distortion inequalities associated with the fractional derivatives of analytic and univalent functions20012261873863ZBL0993.30010SrivastavaH. M.OwaS.1989New York, NY, USAHalsted Press, John Wiley and SonsDurenP. L.1983259New York, NY, USASpringerxiv+382Grundlehren der Mathematischen Wissenschaften708494