On the existence of solutions for fractional boundary valued problems with integral boundary conditions involving measure of non compactness

Author(s): Ahmed Hamrouni1, Said Beloul1
1Department of Mathematics, Exact Sciences Faculty, University of El Oued, P.O.Box 789, El Oued 39000, Algeria.
Copyright © Ahmed Hamrouni, Said Beloul. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

This paper presents an existence theorem of the solutions for a boundary value problem of fractional order differential equations with integral boundary conditions, by using measure of noncompactness combined with Mönch fixed point theorem. An example is furnished to illustrate the validity of our outcomes.

Keywords: Fixed point, measure of noncompactness, fractional differential equation.

1. Introduction

Quite recently, fractional differential equations become one of the most important research topic, since their applications in various applied science, as in physics, finance, hydrology, biophysics, thermodynamics, control theory, statistical mechanics, for example see [1,2]. many results were given concerning the existence and uniqueness of the solution of such equations by using various techniques, while the fixed point theory tool still one of the efficacy methods, see for example. Several authors tried to develop a technique that depends on the Darbo or the Monch fixed point theorems with the Hausdorff or Kuratowski measure of noncompactness.

This article deals with the existence of solutions for boundary value problems with fractional order differential equations and nonlinear integral boundary conditions. We furnish an example to illustrate our results.

Consider the following boundary value problems:
\begin{eqnarray}\label{eqq1} \left\{ \begin{array}{ll} ^{c}D^{\alpha}x(t)+f(t,x(t),^{c}D^{\alpha}x(t))=0,\,\,0\leq t\leq1,\,\,1< \alpha\leq2\\ ax(0)-bx'(0)=0\\ x(1)=\int_{0}^{1}g(s,x(s))ds+\lambda\\ \end{array} \right. \end{eqnarray}
(1)
where \(\lambda>0\), \(^{c}D^{\alpha}\), \(1 < \alpha \leq 2\) is the Caputo fractional derivative, \(f\) and \(g\) are given functions

\(f : [0; 1]\times C([0; 1];\mathbb{R})\times\mathbb{R} \longrightarrow R\), \(g \in C([0,1],\mathbb{R})\), \(a, b, \lambda \in \mathbb{R}_{+}\), \( a+b > 0\) and \(\frac{a}{a+b}< \alpha-1\).

2. Preliminaries

Now, we give some definitions and preliminaries which will be used throughout this paper. Let \(X=C([0,1],\mathbb{R})\) be the Banach space of continuous functions \(x : [0,1]\longrightarrow\mathbb{R}\), with the usual supermum norm \[\parallel x\parallel_\infty = \sup\{\parallel x(t)\parallel,\,\,\,t\in[0, 1]\}.\] Let \(L^{1}([0; 1],\mathbb{R})\) be the Banach space of measurable functions \(x: [0, 1]\longrightarrow \mathbb{R}\) which are Bochner integrable, equipped with the norm \[\parallel x\parallel_{L^1}=\int_{0}^1x(t)dt.\] Now let us recall some fundamental facts of the notion of Kuratowski measure of noncompactness.

Definition 1. [3,4] Let \(E\) be a Banach space and \(\Omega_E\) be the bounded subsets of \(E\). The Kuratowski measure of noncompactness is the map \(\alpha : \Omega_E\rightarrow [0,\infty]\) defined by \[\mu(B)=\liminf\{\epsilon>0:\,\, B\subseteq\cup_{i=1}^nB_i,\,\,diam(B_i)\leq\epsilon\},\,\,\,B\in\Omega_E,\] where \[diam(B_i ) = sup\{\|u – v\|_E : u, v \in B_i \}.\]

The Kuratowski measure of noncompactness satisfies the following properties;

Lemma 1.[3,4] Let \(A\) and \(B\) bounded sets. Then

  • 1. \(\mu(B) = 0\) if and only if \(\overline{B}\) is compact (\(B\) is relatively compact).
  • 2. \(\mu(B)=\mu(\overline{B})\).
  • 3. \(A\subset B\Rightarrow \mu(A)\leq \mu(B)\).
  • 4. \(\mu(A+B)\leq \mu(A)+\mu(B)\).
  • 5. \(\mu(cB)\leq |c|\mu(B),\,\,c\in\mathbb{R}\).
  • 6. \(\mu(conv\,B)=\mu(B)\).

Definition 2. [5] The Riemann Liouville fractional integral of order \(q > 0\) of \(x :(0,\infty) \rightarrow\mathbb{R}\) is given by \[I^\alpha_{0^+}x(t)=\frac{1}{\Gamma(\alpha)}\displaystyle\int_{0}^{t}(t-s)^{\alpha-1}x(s)ds\] provided that the right hand side is defined on \((0,\infty)\).

Definition 3. [5] The Riemann Liouville fractional derivative of order \(q\in (0,1) 0\) of \(x :(0,\infty) \rightarrow\mathbb{R}\) is given by \[^{RL}D^\alpha_{0^+}x(t)=\frac{1}{\Gamma(n-q)}\displaystyle\frac{d^{(n)}}{dt}\int_{0}^{t}(t-s)^{n-q-1}x(s)ds,\;\ n=[q]+1,\] where \(\Gamma(q)\) denotes the classical gamma function, provided that the right-hand side is pointwise defined on \((0,\infty)\).

Definition 4.[5] The fractional derivative in Caputo sense of order \(q>0\) for a function \(x:(0,\infty)\rightarrow \mathbb{R}\) is given by \[^{c}D^{\alpha}x(t)=\frac{1}{\Gamma(n-q)}\int_{0}^{t}(t-s)^{n-q-1}x^{(n)}(s)ds,\] where \(n=[q]+1\), provided that the right side is pointwise defined on \((0,\infty)\).

Lemma 2.[5] Let \(\alpha > 0\), then the differential equation \[^{c}D^\alpha x(t)=0\] has solutions \(x(t) =\displaystyle\sum_{i=0}^{n-1} c_it^i, c_i \in \mathbb{R}, n = [\alpha]+1\).

Lemma 3.[5] Let \(\alpha > 0\), then \[\displaystyle I^{\alpha c}D^\alpha x(t) = x(t)-\sum_{i=0}^{n-1}c_it^i, c_i \in \mathbb{R}, n= [\alpha]+1.\]

Theorem 1. [1] Let \(X\) be a Banach space and \(0\in C\) be a nonempty, bounded, closed and convex subset of \(X\). Suppose a continuous mapping \(N : C \rightarrow C \) is such that for all non empty subsets V of C, \[\mu(N(V))\leq k\mu(V),\] where \(0 \leq k < 1\), and \(\mu\) is the Kuratowski measure of noncompactness, then \(N\) has a fixed point in \(C.\)

Theorem 2.[6] Let \(C\) be a bounded, closed and convex subset of a Banach space such that \(0\in C\), and let \(T\) be a continuous mapping of \(C\) into itself. If the implication \[V=\overline{conv}T(V)\,\,\,\,or\,\,\,\,V=T(V)\cup{0}\Rightarrow\mu(V)=0\] holds for every subset \(V\) of \(C\), then \(T\) has a fixed point.

Lemma 4.[7] Let \(D\) be a bounded, closed and convex subset of the Banach space \(C(J,X)\), \(G\) a continuous function on \(J\times J\) and \(f\) a function from \(J \times X \rightarrow X\) which satisfies the Carathéodory conditions, and suppose there exists \(p \in L^1(J,R_+)\) such that, for each \(t\in J\) and each bounded set \(B \subset X\), we have \[\displaystyle\lim_{h\rightarrow0^+}\mu\big(f\big(J_{t,h}\times B\big)\big)\leq p(t)\mu(B);\,\, here \,\,J_{t,h} = [t – h, t] \cap J.\] If \(V\) is an equicontinuous subset of \(D\), then \[\mu\big(\big\{\int_J G(s, t)f(s, x(s))ds: x \in V\big\}\big)\leq\int_J\parallel G(t, s)\parallel p(s)\mu(V (s))ds.\]

Lemma 5. Let \(X\) be a Banach space and \(F\subset C(J,X)\). If the following conditions are satisfied:

  • family \(F\) in \(C(J,X)\) is called uniformly bounded if there exists a positive constant \(K\) such that \(|f(t)| \leq K\) for all \(t \in J\) and all \( f \in F¸\);
  • F is called equicontinuous, if for every \(\epsilon > 0 \) there exists a \(\delta > 0\) such that \(|f(t_1) . f(t_2)| < \varepsilon\) for all \(t_1, t_2\in J\) with \(|t_1 – t_2| < \delta\) and all \(f \in F\);
  • for each \(x \in E\), \(A(x)= \lbrace f(x); f \in A\rbrace\) is relatively compact.

3. Main results

Lemma 6. Let \(1 < \alpha < 2\) and \( y \in C([0, 1])\). A function \(x\) is a solution of the fractional integral equation

\begin{equation}\label{eqq2} x(t)=\int_{0}^{1} G(t, s) f(s)ds+\frac{a t+b}{a+b}\int_{0}^{1} g(s) d s+\frac{a t+b}{a+b} \lambda\,, \end{equation}
(2)
where \(G\) is the Green function given by
\begin{equation}\label{eqq3} G(t, s)=\left\{\begin{array}{ll} \frac{(a t+b)(1-s)^{\alpha-1}}{(a+b) \Gamma(\alpha)}-\frac{(t-s)^{\alpha-1}}{\Gamma(\alpha)} & {s \leq t} \\ \frac{(a t+b)(1-s)^{\alpha-1}}{(a+b)\Gamma(\alpha)} & {t \leq s},\end{array}\right. \end{equation}
(3)
if and only if \(x\) is a solution of the fractional boundary value problem
\begin{eqnarray}\label{eqq4} \left\{ \begin{array}{ll} ^{c}D^{\alpha}x(t)=-f(t),\,\,0\leq t\leq1,\,\,1< \alpha\leq2;\\ ax(0)-bx'(0)=0;\\ x(1)=\int_{0}^{1}g(s)ds+\lambda\,.\\ \end{array} \right. \end{eqnarray}
(4)

Proof. By Lemma 3, we reduce (4) to an equivalent integral equation \[ x(t) =-\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha-1}f(s) d s+c_{0}+c_{1} t ,\] \[ x^{\prime}(t) =-\frac{1}{\Gamma(\alpha-1)} \int_{0}^{t}(t-s)^{\alpha-2}f(s) ds+c_{1} ,\] for some constants \(c_0, c_1\in X\). Boundary conditions of (4) give \[ a c_{0}-b c_{1}=0,\] \[-\frac{1}{\Gamma(\alpha)} \int_{0}^{1}(1-s)^{\alpha-1}f(s) ds+c_{0}+c_{1}=\int_{0}^{1}g(s)ds+\lambda. \] Therefore \[\left\{\begin{array}{ll} c_{0}=\frac{b}{a+b}\left[\frac{1}{\Gamma(\alpha)} \int_{0}^{1}(1-s)^{\alpha-1}f(s) ds+\int_{0}^{1}g(s) ds+\lambda\right], \\ \\ c_{1}=\frac{a}{a+b}\left[\frac{1}{\Gamma(\alpha)} \int_{0}^{1}(1-s)^{\alpha-1} f(s) d s+\int_{0}^{1}f(s)ds+\lambda\right].&\end{array}\right.\] Thus \[ \begin{aligned} x(t)&=-\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha-1}f(s) d s+\frac{b}{a+b}\left[\frac{1}{\Gamma(\alpha)} \int_{0}^{1}(1-s)^{\alpha-1}f(s) ds+\int_{0}^{1} h(s) y(s) d s+\lambda\right]\\ &\;\;\;\;\;+\frac{at}{a+b}\left[\frac{1}{\Gamma(\alpha)} \int_{0}^{1}(1-s)^{\alpha-1} k(s) d s+\int_{0}^{1} g(s)ds+\lambda\right] \\ &\;\;\;\;\;\times\int_{0}^{t}\left[ \frac{(a t+b)(1-s)^{\alpha-1}}{(a+b) \Gamma(\alpha)}-\frac{(t-s)^{\alpha-1}}{\Gamma(\alpha)}\right]f(s)ds+\int_{t}^{1} \frac{(a t+b)(1-s)^{\alpha-1}}{(a+b)\Gamma(\alpha)}f(s) ds\\ &\;\;\;\;\;+\frac{a t+b}{a+b} \int_{0}^{1}g(s) ds+\frac{a t+b}{a+b} \lambda\\ &=\int_{0}^{1} G(t, s)f(s) ds+\frac{a t+b}{a+b} \int_{0}^{1} g(s)d s+\frac{a t+b}{a+b} \lambda. \end{aligned} \] The proof is complete.

Since, we have

\[\int_{0}^{1}G(t,s)ds=\frac{1}{\Gamma(\alpha)}\Big(\int{0}^{t}(t-s)^{\alpha-1}ds+\frac{at+b}{a+b}\int{0}^{1}(1-s)^{\alpha-1}ds\Big)\] \[ \frac{1}{\Gamma(\alpha+1)}\big( t^{\alpha}+\frac{at+b}{a+b}\big)\leq\frac{2}{\Gamma(\alpha+1)}.\] Assume that
  • (A1): There exist \( K >0\) and \( L>0 \) such that \[ |f(t, x(t), u(t))-f(t, y(t), v(t))| \leq K\|x-y\|_{\infty}+L\|u-v\|_{\infty}.\]
  • (A2): For any bounded subset \( A \) and \( B \) of \( X \) we have \[\mu(f(t, A, B)) \leq K \mu(A)+L \mu(B),\] or \( \mu \) is a measure of non-compactness.
  • (A3): There exists \( N> 0 \) such that \[ \|g(t, x(t))-g(t, y(t)\| \leq N\| x-y\|. \]
  • (A4): For any bounded subset \( C \) of \( X \), we have \[\mu(g(t, C))\leq N \mu(C).\]
  • (A5): \(\frac{K }{(1-L) \mu(\alpha+1)}+ N< 1\).

Theorem 3. Under the assumptions (A1)-(A5) the Problem (1) has a solution provided \[\frac{2K}{(1-L)\Gamma(\alpha+1)}+N< 1.\]

Proof. Transform the Problem (1) into a fixed point problem. Consider the operator \(T:X=C ([0,1],\mathbb{R})\longrightarrow C ([0,1],\mathbb{R})\) defined by \[ Tx(t)=\int_{0}^{1} G(t, s)f(t,x(s),^{c}D^{\alpha} x(s)) ds+\frac{at+b}{a+b} \int_{0}^{1}g(s,x(s))ds+\frac{a t+b}{a+b}\lambda. \]

Clearly, the fixed points of the operator \(T\) are solutions of the Problem (1). We shall show that \(T\) satisfies the assumptions of Theorem 3. The proof will be given in three steps.

Step 1: \(T\) is continuous. Let \((x_{n})\) be a sequence such that \(x_{n}\longrightarrow x\) in \(C ([0,1], X)\), then for each \(t\in[0,1]\) we have \[|T(x_{n})(t)-T(x)(t)| \leq| \int_{0}^{1}|G(t, s)f(t,x_{n}(t),^{c}D^{\alpha}x_{n}(t))-f(t,x(t),^{c}D^{\alpha}x(t)|ds\] \[ \;\;\;\;\;\;\;+\frac{a t+b}{a+b} \int_{0}^{1}( g(s,x_{n}(s))-g(s,x(s))|ds .\] By \((A1)\) and \((A3)\), we have \[ \begin{aligned} \left|f(t,x_{n}(t),^{c}D^{\alpha}x_{n}(t))-f(t,x(t),^{c}D^{\alpha}x(t)\right|& \leq K\left|x_{n}-x\right|+L\left|^{c}D^{\alpha}x_{n}(t)-^{c}D^{\alpha}x(t)\right|\\ & \leq K|x_{n}-x|+L|f(t, x_{x}(t),^{c}D^{\alpha } x_{n} ( t ))-f(t, x(t), ^{c}D^{\alpha} x ( t ))|. \end{aligned} \] Then \[ |f(t,x_{n}(t),^{c}D^{\alpha}x_{n}(t))-f(t,x(t),^{c}D^{\alpha}x(t)|\leq\frac{K}{1-L}|x_{n}-x|,\] and \[|g_{t},x_n(t)-g(t,x(t))|\leq N|x_{n}-x|. \] So \[ \begin{aligned} |T(x_{n})(t)-T(x)(t)| & \leq\Big(\frac{2K}{1-L} +N\Big)\|x_{n}-x|.\end{aligned} \] Since \(x_{n} \longrightarrow x\), for each \(t \in [0,1]\). \[|T(x_{n}(t)-T(x)(t))| \longrightarrow 0, \qquad when \quad n \longrightarrow \infty.\] So \[\|T\left(x_{n}\right)(t)-T(x)(t)\| \rightarrow 0,\,\,\, when \,\,\, n \rightarrow \infty.\] Therefore, \( T \) is continuous. Now, let \[r\geq \frac{1}{(1-L)\Gamma(\alpha+1)}( K r+f_0)+N r + g_{0}+\lambda \] where \[ f_0=\displaystyle\sup _{t \in [0,1]}\|f(t, 0,0)\|, \;\ g_{0}=\displaystyle\sup _{t \in [0,1]}\|g(t, 0)\|. \]

Define \(B_{r} = \lbrace x \in X:\Vert x\Vert \leq r \rbrace\). It is clear that \( B_ {r} \) is a bounded, closed and convex subset of \(X\).

Step 2: \(T\) maps \(B_{r}\) into itself, i.e., \(T (B_{r}) \subseteq B_{r}\). Let \( x \in B_{r}\), so for each \(t \in [0,1]\), we have \[ \begin{aligned} |T(x)(t)|&= \Big|\int_{0}^{1}G(t,s)f(t,x_{n}(t),^{c}D^{\alpha}x(t))ds+\frac{at+b}{a+b} \int_{0}^{1}g(s,x(s))ds+\frac{at+b}{a+b} \lambda\Big|\\ & \leq\int_{0}^{1}G(t,s)f(t,x_{n}(t),^{c}D^{\alpha}x_{n}(t))ds+ \frac{at+b}{a+b}\int_{0}^{1}\int_{0}^{1}g(s,x(s)) ds+\frac{at+b}{a+b}\lambda \\ & \leq \frac{2}{\Gamma(\alpha+1)}\|f(s,x(s),^{c}D^{\alpha}x(t))\|+\|g(s,x(s))\|+\lambda.\end{aligned}\] By \((A1)\) et \((A3)\), we have for each \(t \in [0,1]\)
\begin{equation} \label{15} \begin{aligned} \|f(s,x(s),^{c}D^{\alpha}x(t))\|& = \|f(t, x(t), ^{c}D^{\alpha}x(t))-f(t,0,0)+f(t, 0,0)\|\\ & \leq\|f(t, x, ^{c}D^{\alpha}x(t))-f(t, 0,0)\|+\|f(t, 0,0)\| \\ & \leq K\|x\|+L\|^{c}D^{\alpha}x(t)\|+f_0 \\ & \leq \frac{1}{1-L}( K r+f_0) \end{aligned} \end{equation}
(5)
and
\begin{equation}\label{16} \begin{aligned} \|g(t,x(t))\|&= \|g(t,x(t))-g(t,0)+g(t,0)\|\\ &\leq \|g(t,x(t))-g(t,0)\|+\|g(t,0)\|\\ &\leq N \|x\| + g_{0}\\ &\leq N r + g_{0}. \end{aligned} \end{equation}
(6)
So \[\|T x(t)\| \leq \frac{2}{(1-L)\Gamma(\alpha+1)}( K r+f_0)+N r+ g_{0})+\lambda\leq r.\] It follows that for each \(t \in [0,1]\), we have \[\Vert T x (t)\Vert \leq r \,\,which\,\, implies\,\, T (B_{r}) \subseteq B_{r}.\] Step 3: \(T(B_{r})\) is bounded and equicontinuous. According to step 2, we have \[T (B_{r}) = \lbrace T (x): x \in B_{r}\rbrace \subset B_{r}.\] So for every \(x \in B_{r}\) we have \(\Vert T (x)\Vert_{\infty} \leq r\), which means that \(T (B_{r})\) is bounded. Now, let \(t_{1}, t_{2} \in [0, 1], t_{1} < t_{2}\) and \(x \in T (B_{r})\), then \[ \begin{aligned} \left|T(x)(t_{2})-T(x)(t_{1})\right| \leq &\|f(s,x(s),^{c}D^{\alpha}x(t))\|\int_{0}^{1}|G(t_{2},s)-G(t_1,s)|ds + \frac{a|t_{2}-t_1|}{a+b}\Big(\|g(t,x(t))\|+\lambda\Big).\end{aligned} \] According to (5) and (6), we have \[ \begin{aligned} \left\|T(x)(t_{2})-T(x)(t_{1})\right\| & \leq \frac{1}{1-L}(K r+f_0)|t_2^{\alpha}-t_1^{\alpha}|+\frac{a|t_2-t_1|}{a+b}(N r + g_{0}+\lambda).\end{aligned} \] As \(t_{2} \longrightarrow t_{1}\), the right hand side of the above inequality tends to zero, so \( T \) is equicontinuous. Let \(V \subset TB_{r}\), such as \( V=\lbrace Tx, x\in B_{r}\rbrace\), so \(V \subset \overline{\operatorname{conv}}(T(V) \cup\{0\})\). The subset \( V \) is bounded and equicontinuous, so the function \(t :\longmapsto \mu( V(t))\in \mathbb{R}\) is continuous on \([0,1]\). Using Lemma 4 and the properties of the measure \(\mu\), we have, for each \(t\in[0,1]\) \[\begin{aligned} v(t)=\mu(V(t)) & \leqslant \mu(T(V)(t) \cup\{0\}) \\ & \leqslant \mu(T(V)(t))\\ &=\mu\Big(\Big\{\int_{0}^{1} G(t, s) f(t, x(t), ^{c}D^{\alpha}x(t))ds +\frac{a t+b}{a+b} \int_{0}^{1}g(s,x(s)) ds +\frac{a t+b}{a+b} \lambda, x \in V\Big\}\Big)\\ & \leq \mu\Big(\Big\{\int_{0}^{1} G(t, s) f(t, x(t), ^{c}D^{\alpha}x(t)) d s,x \in V\Big\}\Big)+\mu\Big(\Big\{\frac{a t+b}{a+b}(\int_{0}^{1}g(s,x(s))ds+ \lambda, x \in V\Big\}\Big)\\ & \leq \int_{0}^{1} G(t, s) \mu\left(f(t, x(t), ^{c}D^{\alpha}x(t))\right) d s+\frac{a t+b}{a+b}\int_{0}^{1}\mu\left(g(s,x(s))\right) d s. \end{aligned} \] Thus for each \(s \in [0,1]\), \[ \begin{aligned} \mu\Big(\Big\{f(s,x(t),^{c}D^{\alpha}x(t)), x(i)\in V\Big\}\Big) & \leq K \mu\Big(\Big\{x(t), x\in V\Big\}\Big)+ L \mu\Big(\Big\{f(s, x(t),^{c}D^{\alpha}x(t))\Big\}\Big) \\ &\leq \frac{K}{1-L} \mu\Big(\Big\{x(s), x\in V\Big\}\Big)=\frac{K}{1-L}v(t), \end{aligned} \] and \[ \mu(g(t,V(t))=\mu\Big(\Big\{g(t,x(t), x(t)\in V(t)\Big\}\Big)\leq N v(t). \] Then \[ \begin{aligned} \mu(T(V)(t)) \leq & \frac{2K}{(1-L)\Gamma(\alpha+1)}\mu(V(t))+\frac{a t+b}{a+b} N \mu(V(t)) \\ &\leq\frac{2K}{(1-L)\Gamma(\alpha+1)}v(t)++N v(t) \\ &= \Big( \frac{2K }{(1-L)\Gamma(\alpha+1)}+ N\Big)\|v\|_{\infty}.\end{aligned} \] So \[ \|v\|_{\infty} \leq \Big( \frac{2K }{(1-L)\Gamma(\alpha+1)}+ N\Big)\|v\|_{\infty}, \] which gives \(\|v\|_{\infty} =0\), that is to say \(v(t)=0\), for each \(t \in [0,1]\), then \(V(t)\) is relatively compact in \( X \). In view of the lemma of Ascoli – Arzela, \( V \) is relatively compact in \(B_{r}\). Applying now the Theorem of M\(\ddot{o}\)nch, we conclude that \(T\) has a fixed point which is a solution of the Problem (1). This completes the proof.

Finally, we present a numerical example to illustrate our results.

Example 1. Let us consider the following fractional boundary value problem:

\begin{eqnarray} \left\{ \begin{array}{ll}\label{eqq6} ^{c} D^{\frac{3}{2}} x(t)=\frac{1}{10}(t \cos x-x e^t)+\frac{1}{9} \cos \left(^{c} D^{\frac{3}{2}} x(t)\right),\,\,\,t \in[0,1]\\ {x(0)- x^{\prime}(0)=0}\\ x(1)=\frac{1}{8} \int_{0}^{1}s e^{-s} x(s) d s \end{array} \right. \end{eqnarray}
(7)
where \[ f(t, x, u)= \frac{1}{10}(t \cos (x)-xe^t)+\frac{1}{9} \cos \left(^{c} D^{\frac{3}{2}} x(t)\right),\,\,\,x, u \in C([0,1],\mathbb{R})\] and \[ g(s, x)=\frac{x(s)}{8}, \quad g \in C(I\times\mathbb{R}, \mathbb{R}), \alpha=\frac{3}{2} , a=1, b=1.\] Clearly \( {\frac{a}{a+b}=\frac{1}{3}< \alpha-1}\). On other hand we have \[ \|f(t, x, u)-f(t, y, v)\| \leq \frac{1}{10}|t|\|\cos x-\cos y \|+\frac{1}{10}|e^t|\|x- y\| +\frac{1}{9}\|\cos u-\cos v \| \leq \frac{1+e}{10}\|x- y \|+\frac{1}{9}\|u-v\| .\] Therefore, the conditions \( (A1) \) and \( (A3) \) are satisfied with \( K =\frac{ 1+e}{10}, L=\frac{1}{9}, N=\frac{1}{8}\) and \[ \frac{K }{\Gamma(\alpha+1)(1-L)}+ N =\frac{3(1+e)}{10\sqrt{\pi}}+\frac{1}{8} < 1. \] Then the Problem (7) admits at least one solution on \( [0,1].\)

authorcontributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

conflictofinterests

The authors declare no conflict of interest.

References:

  1. Darbo, G. (1955). Punti uniti in trasformazioni a codominio non compatto. Rendiconti del Seminario matematico della Università di Padova, 24, 84-92. [Google Scholor]
  2. Miller, K. S., & Ross, B. (1993). An introduction to the fractional calculus and fractional differential equations. Wiley. [Google Scholor]
  3. Akhmerov, R. R., Kamenskii, M. I., Potapov, A. S., Rodkina, A. E., & Sadovskii, B. N. (1992). Measures of noncompactness and condensing operators (Vol. 55). Basel: Birkhäuser. [Google Scholor]
  4. Banas, J. (1980). On measures of noncompactness in Banach spaces. Commentationes Mathematicae Universitatis Carolinae, 21(1), 131-143. <a href="https://scholar.google.com/scholar?hl=en&as_sdt=0%2C5&q=On+measures+of+noncompactness+in+Banach+spaces.+Commentationes+Mathematicae+Universitatis+Carolinae%2C&btnG=” target=”_blank”>[Google Scholor]
  5. Kilbas, A. A., Srivastava, H. M., & Trujillo, J. J. (2006). Theory and applications of fractional differential equations (Vol. 204). elsevier.[Google Scholor]
  6. Mönch, H. (1980). Boundary value problems for nonlinear ordinary differential equations of second order in Banach spaces. Nonlinear Analysis: Theory, Methods & Applications, 4(5), 985-999. [Google Scholor]
  7. Szufla, S. (1986). On the application of measure of noncompactness to existence theorems. Rendiconti del Seminario Matematico della Universita di Padova, 75, 1-14. [Google Scholor]