Abstract

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 approximately satisfies functional equation , when does there exists an exact solution of which 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 [57]). The Ulam-Hyers stability of differential equations has been investigated by Alsina and Ger [8] and generalized by Jung [911]. 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. [2124] 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 -plane as follows.

Definition 2.1. The fractional derivative of order is defined, for a function , by where the function is analytic in simply connected region of the complex -plane containing the origin and the multiplicity of is removed by requiring to be real when .

Definition 2.2. The fractional integral of order is defined, for a function , by where the function is analytic in simply connected region of the complex -plane containing the origin and the multiplicity of is removed by requiring to be real when .

Remark 2.3. From Definitions 2.1 and 2.2, we have

We need the following preliminaries in the sequel.

Let be the open unit disk in the complex plane and denote the space of all analytic functions on . Also for and , let be the subspace of consisting of functions of the form Let be the class of functions , analytic in and normalized by the conditions . A function is called univalent if it is one-one in .

Lemma 2.4 (see [28]). Let the function be in the class . Then

Lemma 2.5 (see [28]). Let the function be in the class . Then

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 where (the space of analytic function on the unit disk). While the second problem is where is analytic in . Finally, we consider the problem where and is analytic in .

Definition 3.1. Problem (3.1) has the Ulam-Hyers stability if there exists a positive constant with the following property: for every , , if then there exists some satisfying with such that

Definition 3.2. Problem (3.2) has the Ulam-Hyers stability if there exists a positive constant with the following property: for every , if then there exists some satisfying with such that

Definition 3.3. Problem (3.3) has the Ulam-Hyers stability if there exists a positive constant with the following property: for every , if then there exists some satisfying with such that We start with the following result.

Theorem 3.4. Let , such that where If , then problem (3.1) has the Ulam-Hyers stability.

Proof. For every , we let with . In view of Lemma 2.4, we obtain consequently, we have hence we impose that Obviously, is a solution of the problem (3.1) and yields Hence (3.1) has the Ulam-Hyers stability.

Corollary 3.5. Let , where is a convex domain, satisfying one of the following conditions:(1), (2), (3). If and , then problem (3.1) has the Ulam-Hyers stability.

Proof. Assume that satisfying one of the conditions , then is a univalent function in the unit disk; that is, (see [30]). Thus, in view of Theorem 3.4, problem (3.1) has the Ulam-Hyers stability.

Remark 3.6. A function is called bounded turning function if it satisfies the following inequality: A function is called star-like if it satisfies the following inequality: A function is called convex if it satisfies the following inequality 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 , such that , where If then problem (3.2) has the Ulam-Hyers stability.

Proof. For every , we let with . In view of Lemma 2.4, it implies that therefore, we pose that is, It is clear that yields 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 , such that , where If , then problem (3.3) has the Ulam-Hyers stability.

Proof. Since is a contraction mapping, then the Banach fixed-point theorem implies that problem (3.3) has a unique solution. For every , we let with . In view of Lemma 2.5, we impose and consequently we have hence we receive It is clear that for some yields 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 and (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 and . This leads to a set of questions:(1) Is the fractional Cauchy problem (linear and nonlinear) has the Ulam-Hyers stability for all ? (under what conditions).(2) Is the higher-order fractional Cauchy problem has the Ulam-Hyers stability for all ? (under what conditions). More specific,(3)does the higher-order fractional Cauchy problem of the form have the Ulam-Hyers stability?(4)If we extend our study to complex Banach space, does the last problem have the Ulam-Hyers stability?(5)If the study in complex Banach space, does the problem have the Ulam-Hyers stability?

More generalization(6) If the study in complex Banach space, does the problem have the Ulam-Hyers stability?

Another special case(7) If the study in complex Banach space, does the problem have the Ulam-Hyers stability?