- Research
- Open access
- Published:

# Study on Krasnoselskii’s fixed point theorem for Caputo–Fabrizio fractional differential equations

*Advances in Difference Equations*
**volume 2020**, Article number: 178 (2020)

## Abstract

This note is concerned with establishing existence theory of solutions to a class of implicit fractional differential equations (FODEs) involving nonsingular derivative. By using usual classical fixed point theorems of Banach and Krasnoselskii, we develop sufficient conditions for the existence of at least one solution and its uniqueness. Further, some results about Ulam–Hyers stability and its generalization are also discussed. Two suitable examples are given to demonstrate the results.

## 1 Introduction

FODEs have many applications in real world problems; see [1–3]. The concerned area has been investigated from different aspects in the last several years. These investigations include the existence theory of solutions by the fixed point theory, numerical analysis and stability theory by taking Hadamard, Riemann–Liouville, Caputo, etc., type fractional derivatives (for details, see [4–7]). But recently another form of derivative, called nonsingular type, has attracted much attention from the researchers. The existence theory, together with stability results, has been very well investigated for other FODEs; for details, see [8–10]. The considered differential operator has been introduced in 2015 by Caputo and Fabrizio [11] (in short, we write it as (CFFD)), which replaces the singular kernel by a nonsingular kernel of exponential type. In this research work, we establish the existence theory for the following class of fractional differential equations involving the CFFD:

where \(\theta\in(0, 1]\), \(f:\mathcal{J}\times\mathbb{R}\times\mathbb {R}\rightarrow\mathbb{R}\). The considered differential operator replaces the singular kernel by a nonsingular kernel of exponential type in (1). The mentioned operator has been observed to be more practical than the usual Caputo operator in some problems; for details, see [12–15].

So in this paper, we are using the fixed point theory to obtain some results for the existence and uniqueness of a solution to the considered problem (1). Also the stability theory of Ulam–Hyers type has been properly investigated for ordinary FODEs. Some results in this regards can be traced back in [16–19]. In recent years some remarkable work has been carried out about the mentioend FODEs; see [20–24] Therefore in this article, we also developed some results about the stability for the proposed problem. Two proper examples are also given in the end.

## 2 Background materials

Some basic notions and results are provided bellow.

### Definition 1

Letting \(u\in H^{1}(\mathcal{J})\), where \(H^{1}(0, T)\) is a Hilbert space, we define the nonsingular derivatives for \(\theta\in(0, 1]\) as

provided the integral on the right-hand side of (2) converges on \((0, \infty)\), where \(\mathbb{M}(\theta)\) is a normalization function with \(\mathbb {M}(0)=\mathbb{M}(1)=1\). Further, if *u* does not exist in \(H^{1}(\mathcal{J})\), then the listed derivative of fractional order is defined as

provided that the integral on the right-hand side of (3) converges on \((0, \infty)\). Further, let \(\lambda=\frac{1-\theta}{\theta }\), \(\theta\in[0, 1]\), \(\lambda\in[0, \infty]\), and then

Further,

where \(\mathbb{N}(\theta)\) is the corresponding normalization term of \(\mathbb{M}(\theta)\) with the property \(\mathbb{N}(0)=\mathbb{N}(\infty)=1\).

### Definition 2

The nonsingular kernel type fractional integral is given by

provided that the integral on right-hand side converges on \((0, \infty )\). Further, if we set \(\theta=1\), then \(\mathbb{M}(\theta)=1\) in (4), and we get the following classical integral:

### Lemma 1

([11])

*Let*\(y\in C[0, T]\), *then the solution of FODE* (5)

*is given as*

*where*\(D_{\theta}=\frac{(1-\theta)}{\mathbb{M}(\theta)}\), \({\bar {D}_{\theta}}=\frac{\theta}{\mathbb{M}(\theta)}\).

### Proof

Using the definition of \({}_{0}^{\mathrm{CF}}\mathbf{I}_{x}^{\theta}\), (5) implies that

Using the initial condition \(u(0)=u_{0}\) and \(y(0)=y_{0} \in\mathbb{R}\), from (7), we get \(c=u_{0}-D_{\theta}y_{0}\). Hence by plugging the value of *c* in (7), we get (6). □

### Remark 1

Henceforth, for simplicity, we use \({_{0}^{\mathrm{CF}}\mathbf {D}_{x}^{\theta}}u(x)=h_{u}(x)\) for the implicit term in our analysis. Further, for simplicity, we use \(f(0, u(0), h_{\bar{u}}(0))=f_{0}\).

## 3 Main work

### Lemma 2

*Under the conditions of Lemma*1, *the solution of* (1) *is given by*

To proceed further, we assume that

- \((C_{1})\):
There exist \(L_{f}>0\) and \(0< M_{f}<1\) such that

$$\bigl\vert f(x, u, h_{u})-f(x, \bar{u}, h_{\bar{u}}) \bigr\vert \leq L_{f} \vert u-\bar {u} \vert +M_{f} \vert h_{u}-h_{\bar{u}} \vert $$for all \(u,\bar{u}, h_{u}, h_{\bar{u}}\in\mathbb{R}\).

Let \(X=C(\mathcal{J})\) be a Banach space with norm \(\|x\|=\max_{x\in \mathcal{J}}|u(x)|\).

### Theorem 1

*Under the assumption*\((C_{1})\), *if the condition*\((D_{\theta}+{\bar{D}_{\theta}}T)\frac {L_{f}}{1-M_{f}}<1\)*holds*, *then the considered problem* (1) *has a unique solution*.

### Proof

Define an operator \(S:X\rightarrow X\) by using (8) as

Then for any \(u, \bar{u}\in X\), from (9), we have

Hence *S* is a contraction, therefore *S* has a unique fixed point. Hence the corresponding problem (1) has a unique solution. □

### Theorem 2

([27])

*Let*\(E\subset X\)*be a closed*, *convex*, *and nonempty subset of**X*, *and suppose there exist two operators*\(S_{1}\), \(S_{2}\)*such that*

- 1.
\(S_{1}u_{1}+S_{2}u_{2}\in E\)

*for all*\(u_{1}, u_{2}\in E\); - 2.
\(S_{1}\)

*is a contraction and*\(S_{2}\)*is compact and continuous*.

*Then there exists at least one solution*\(u\in E\)*to the operator equation*\(S_{1}u+S_{2}u=u\).

For further analysis, let the given assumption hold:

- \((C_{2})\):
There exist constants \(a_{f}, b_{f}, c_{f}>0\) with \(0< c_{f}<1\) such that

$$\bigl\vert f(x, u, v) \bigr\vert \leq a_{f}+b_{f} \vert u \vert +c_{f} \vert v \vert . $$

### Theorem 3

*Under the assumption*\((C_{2})\), *if*\(0< D_{\theta }\frac{L_{f}}{1-M_{f}}<1\)*holds*, *then the considered problem* (1) *has at least one solution*.

### Proof

Let us define two operators from (8) as

and

Let us define a set \(E=\{u\in X: \|u\|\leq r\}\). Since *f* is continuous, so is \(S_{1}\), and letting \(u, \bar{u}\in E\), from (10), we have

Hence \(S_{1}\) is a contraction. Next to prove that \(S_{2}\) is compact and continuous, for any \(u\in E\), we have from (11)

which implies that \(\Vert S_{2}u \Vert \leq A\). Thus \(S_{2}\) is bounded. Next, letting \(x_{1}< x_{2}\) in \(\mathcal{J}\), we have

which implies that

From (12), we see that if \(x_{1} \rightarrow x_{2}\), then the right-hand side of (12) goes to zero, so \(\vert S_{2}u(x_{2})-S_{2}u(x_{1}) \vert \rightarrow0\) as \(x_{1} \rightarrow x_{2}\). Thus the operator defined in (11), \(S_{2}\), is continuous. Also \(S_{2}(E)\subset E\), therefore \(S_{2}\) is compact and, due to Arzelá–Ascoli theorem, *S* has at least one fixed point. Hence the corresponding problem has at least one solution. □

## 4 Stability theory

In this section, we establish some results regarding stability of Ulam type. Before proceeding further, we give some notion and a definition:

### Definition 3

The considered problem (1) is Ulam–Hyers stable if for any \(\varepsilon>0\) such that the inequality

holds, there exists a unique solution *ū* with a constant \(\mathcal{C}_{f}\) such that

Further the mentioned problem will be generalized Ulam–Hyers stable if there exists a nondecreasing function \(\vartheta: (0, 1)\rightarrow(0, \infty)\) such that

with \(\vartheta(0)=0\).

Also we state an important remark.

### Remark 2

There exists a function \(\ell(x)\) depending on \(u\in X\) with \(\ell(0)=0\) and such that

- 1.
\(|\ell(x)|\leq\varepsilon\), \(\forall x\in\mathcal{J}\);

- 2.
\({_{0}^{\mathrm{CF}}\mathbf{D}_{x}^{\theta}}u(x)=f(x, u(x), h_{u}(x))+\ell(x)\), \(\forall x\in\mathcal{J}\).

### Lemma 3

*The solution of the given perturbed problem*

*is given as*

*Moreover*, *the solution satisfies the following inequality*:

*where*\(\varOmega=D_{\theta}+\bar{D}_{\theta}T\).

### Proof

The solution (13) can be obtained easily by using Lemma 2. From it, it is obvious how to get result (14) using Remark 2. □

### Theorem 4

*Under the assumptions of Lemma*3, *the solution of the considered problem* (1) *is Ulam–Hyers stable and also generalized Ulam–Hyers stable if*\(\frac{L_{f}\varOmega}{1-M_{f}}<1\).

### Proof

Let \(u\in X\) be any solution of problem (1) and \(\bar{u}\in X\) be the unique solution of the considered problem. Then take

Hence from (15), we have

Hence (16) yields that the solution is Ulam–Hyers stable. Further let \(\mathcal{C}_{f}=\frac{\varOmega}{1-\frac{L_{f}\varOmega }{1-M_{f}}}\) and suppose there exists a nondecreasing function \(\vartheta \in C((0, 1), (0, \infty))\). Then from (16) we can write

Therefore (17) implies that the solution is also generalized Ulam–Hyers stable. □

## 5 Application of our analysis

In this part of the paper, we test our obtained results on some problems given bellow.

### Example 1

Take an implicit-type problem

Clearly, from (18), \(T=1\) and

is continuous for all \(x\in[0, 1]\). Further, let \(u, \tilde{u}, h_{u}, h_{\tilde{u}} \in\mathbb{R}\), then one has

From (19), one has \(L_{f}=\frac{1}{50}\), \(M_{f}=\frac{1}{50}\), \(\theta=\frac{1}{2}\). Also

Thus \(a_{f}=\frac{1}{10}\), \(b_{f}=c_{f}=\frac{1}{50}\), and then \(D_{\theta }=\frac{1}{2}\), \({\bar{D}_{\theta}}=\frac{1}{2}\), \(T=1\), and \((D_{\theta}+{\bar{D}_{\theta}}T)\frac{L_{f}}{1-M_{f}}=\frac{1}{49}<1\). Hence the conditions of Theorem 1 are satisfied, so (18) has a unique solution. Further, \(\frac{D_{\theta}L_{f}}{1-M_{f}}=\frac {1}{98}<1\), therefore the conditions of Theorem 3 also hold. Thus the results of Theorem 3 hold. Further, to verify Theorem 4, we see that \(\varOmega=1\), \(\varOmega\frac {L_{f}}{1-M_{f}}=0.0204<1\). Hence the solution of the given problem is Ulam– Hyers stable and, consequently, generalized Ulam–Hyers stable.

### Example 2

Here to strengthen our analysis, we investigate another problem:

Clearly, from (20), we have \(T=1\) and

is continuous for all \(x\in[0, 1]\). Further, for \(u, \tilde{u}, h_{u}, h_{\tilde{u}} \in\mathrm{R}\), one has

From (21), we take \(L_{f}=\frac{1}{120}\), \(M_{f}=\frac{1}{200}\), \(\theta=\frac{99}{100}\). Also

Thus \(a_{f}=\frac{1}{80}\), \(b_{f}=\frac{1}{120}\), \(c_{f}=\frac{1}{200}\), and then \(D_{\theta}=\frac{1}{100}\), \({\bar{D}_{\theta}}=\frac{99}{100}\) with \(T=1\), and \((D_{\theta}+{\bar{D}_{\theta}}T)\frac{L_{f}}{1-M_{f}}=\frac{99}{5970}<1\). Hence the conditions of Theorem 1 are satisfied, so (20) has a unique solution. Further, \(\frac{D_{\theta}L_{f}}{1-M_{f}}=\frac {1}{11940}<1\). Therefore the conditions of Theorem 3 also hold. Thus the results of Theorem 3 hold. Further, to verify Theorem 4, we see that \(\varOmega=1\), \(\varOmega\frac {L_{f}}{1-M_{f}}=0.0083752<1\). Hence the solution of the given problem is Ulam–Hyers stable and, consequently, generalized Ulam–Hyers stable.

## 6 Conclusion

The existence theory of solutions to nonsingular kernel-type FODEs has been framed. For the said theory, we have applied the usual Banach and Krasnoselskii fixed point theorems. Also some appropriate results about Ulam–Hyers and generalized Ulam–Hyers stability have been established by using the tools of nonlinear analysis. The obtained results have been testified by two interesting examples. To the best of our knowledge, the said results are new for FODEs involving CFFD. In the future, the above theory and analysis can be extended to more complicated and applicable problems of FODEs involving CFFD.

## References

Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)

Podlubny, I.: Fractional Differential Equations, Mathematics in Science and Engineering. Academic Press, New York (1999)

Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, New York (1993)

Shah, K.: Multipoint boundary value problems for systems of fractional differential equations: existence theory and numerical simulations. Ph.D. dissertation, University of Malakand, Pakistan (2016)

Wang, J.R., Xuezhu, L.: A uniform method to Ulam–Hyers stability for some linear fractional equations. Mediterr. J. Math.

**13**, 625–635 (2016)Lazarevic, P.M., Aleksandar, M.S.: Finite-time stability analysis of fractional order time-delay systems: Gronwall’s approach. Math. Comput. Model.

**49**(3–4), 475–481 (2009)Garra, R., Orsingher, E., Polito, F.: A note on Hadamard fractional differential equations with varying coefficients and their applications in probability. Mathematics

**6**, Article ID 4 (2018). https://doi.org/10.3390/math6010004Borisut, P., Kumam, P., Ahmed, I., Sitthithakerngkiet, K.: Nonlinear Caputo fractional derivative with nonlocal Riemann–Liouville fractional integral condition via fixed point theorems. Symmetry

**11**(6), Article ID 829 (2019)Ahmed, I., Kumam, P., Shah, K., Borisut, P., Sitthithakerngkiet, K., Demba, M.A.: Stability results for implicit fractional pantograph differential equations via

*ψ*-Hilfer fractional derivative with a nonlocal Riemann–Liouville fractional integral condition. Mathematics**8**(1), Article ID 94 (2020)Borisut, P., Kumam, P., Ahmed, I., Jirakitpuwapat, W.: Existence and uniqueness for

*ψ*-Hilfer fractional differential equation with nonlocal multi-point condition. Math. Methods Appl. Sci. (2020). https://doi.org/10.1002/mma.6092Toufik, M., Atangana, A.: New numerical approximation of fractional derivative with non-local and non-singular kernel: application to chaotic models. Eur. Phys. J. Plus

**132**, Article ID 444 (2017)Algahtani, O.J.J.: Comparing the Atangana–Baleanu and Caputo–Fabrizio derivative with fractional order: Allen Cahn model. Chaos Solitons Fractals

**89**, 552–559 (2016)Atanackovic, T.M., Pilipovic, S., Zorica, D.: Properties of the Caputo–Fabrizio fractional derivative and its distributional settings. Fract. Calc. Appl. Anal.

**21**(1), 29–44 (2018)Ali, F., et al.: Application of Caputo–Fabrizio derivatives to MHD free convection flow of generalized Walters-B fluid model. Eur. Phys. J. Plus

**131**(10), Article ID 377 (2016)Francisco, G., Torres, L., Escobar, R.F.: Fractional Derivatives with Mittag-Leffler Kernel. Springer, Berlin (2019)

Wang, C.: Stability of some fractional systems and Laplace transform. Acta Math. Sci. Ser. A

**39**(1), 49–58 (2019)Sher, M., Shah, K., Feçkan, M., Khan, R.A.: Qualitative analysis of multi-terms fractional order delay differential equations via the topological degree theory. Mathematics

**8**(2), Article ID 218 (2020)Abdeljawad, T.: Fractional operators with exponential kernels and a Lyapunov type inequality. Adv. Differ. Equ.

**2017**, Article ID 313 (2017)Benchohra, M., Bouriah, S.: Existence and stability results for nonlinear boundary value problem for implicit differential equations of fractional order. Moroccan J. Pure Appl. Anal.

**1**, 22–36 (2015)Alderremy, A.A., et al.: Certain new models of the multi space-fractional Gardner equation. Phys. A, Stat. Mech. Appl.

**545**, Article ID 123806 (2020)Agarwal, P., Singh, R.: Modelling of transmission dynamics of Nipah virus (Niv): a fractional order approach. Phys. A, Stat. Mech. Appl.

**547**, Article ID 124243 (2020)Agarwal, P., Bessem, M.S.: Fixed Point Theory in Metric Spaces: Recent Advances and Applications. Springer, Berlin (2019)

Morales-Delgado, V.F., Gómez-Aguilar, J.F., Saad, K.M., Khan, M.A., Agarwal, P.: Analytic solution for oxygen diffusion from capillary to tissues involving external force effects: a fractional calculus approach. Phys. A, Stat. Mech. Appl.

**523**, 48–65 (2019)Choi, J., Agarwal, P.: A note on fractional integral operator associated with multiindex Mittag-Leffler functions. Filomat

**30**(7), 1931–1939 (2016)Caputo, M.: A new definition of fractional derivative without singular kernel. Prog. Fract. Differ. Appl.

**1**(2), 73–85 (2015)Abdeljawad, T., Baleanu, D.: On fractional derivatives with exponential kernel and their discrete versions. Rep. Math. Phys.

**80**(1), 11–27 (2017)Burton, T.A., Furumochi, T.: Krasnoselskii’s fixed point theorem and stability. Nonlinear Anal., Theory Methods Appl.

**49**(4), 445–454 (2002)

### Acknowledgements

All authors are thankful to the anonymous referees for their useful comments/suggestions.

### Availability of data and materials

Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.

## Funding

This research work has been financially supported by Prof. Dumitru Baleanu of the Department of Mathematics, Cankaya University, Etimesgut/Ankara, Turkey.

## Author information

### Authors and Affiliations

### Contributions

All authors equally contributed to this manuscript, read and approved the final version.

### 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

Eiman, Shah, K., Sarwar, M. *et al.* Study on Krasnoselskii’s fixed point theorem for Caputo–Fabrizio fractional differential equations.
*Adv Differ Equ* **2020**, 178 (2020). https://doi.org/10.1186/s13662-020-02624-x

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13662-020-02624-x