Skip to content

Advertisement

  • Research
  • Open Access

Weak solutions for a coupled system of Pettis-Hadamard fractional differential equations

Advances in Difference Equations20172017:332

https://doi.org/10.1186/s13662-017-1391-z

Received: 31 August 2017

Accepted: 5 October 2017

Published: 17 October 2017

Abstract

In this paper, by applying the technique of measure of weak noncompactness and Mönch’s fixed point theorem, we investigate the existence of weak solutions under the Pettis integrability assumption for a coupled system of Hadamard fractional differential equations.

Keywords

  • functional integral equation
  • coupled system
  • partial Pettis-Hadamard fractional integral
  • measure of weak noncompactness
  • weak solution

MSC

  • 26A33
  • 35H10
  • 35D30

1 Introduction

Fractional differential equations have recently been applied in various areas of engineering, mathematics, physics and bio-engineering, and other applied sciences [1, 2]. There has been a significant development in fractional differential and integral equations in recent years; see the monographs of Abbas et al. [3, 4], Kilbas et al. [5], and the papers [620].

The measure of weak noncompactness was introduced by De Blasi [21]. The strong measure of noncompactness was considered by Banas̀ and Goebel [22] and subsequently developed and used in many papers; see, for example, Akhmerov et al. [23], Alvàrez [24], Benchohra et al. [25], Guo et al. [26], and the references therein. In [25, 27] the authors considered some existence results by applying the techniques of the measure of noncompactness. Recently, several researchers obtained other results by application of the technique of measure of weak noncompactness; see [4, 28, 29] and the references therein.

In this paper, we discuss the existence of weak solutions to the following coupled system of Hadamard fractional differential equations:
$$ \textstyle\begin{cases} (^{H}D_{1}^{r}u)(t)=f_{1}(t,u(t),v(t)), \\ (^{H}D_{1}^{\rho}v)(t)=f_{2}(t,u(t),v(t)); \end{cases}\displaystyle \quad t\in I:=[1,T], $$
(1)
with the following initial conditions:
$$ \textstyle\begin{cases} (^{H}I_{1}^{1-r}u)(t)|_{t=1}=\phi, \\ (^{H}I_{1}^{1-\rho}v)(t)|_{t=1}=\psi, \end{cases} $$
(2)
where \(T>1\), \(r,\rho\in(0,1]\), \(\phi,\psi\in E\), \(f_{1},f_{2}:I \times E\times E\rightarrow E\) are given continuous functions, E is a real (or complex) Banach space with norm \(\Vert \cdot \Vert _{E}\) and dual \(E^{*}\) such that E is the dual of a weakly compactly generated Banach space X, \({}^{H}I_{1}^{r}\) is the left-sided mixed Hadamard integral of order r, and \({}^{H}D_{1}^{r}\) is the Hadamard fractional derivative of order r.

2 Preliminaries

Let C be the Banach space of all continuous functions w from I into E with the supremum (uniform) norm
$$ \Vert w\Vert _{\infty}:=\sup_{t\in I}\bigl\Vert w(t) \bigr\Vert _{E} . $$
As usual, \(\operatorname {AC}(I)\) denotes the space of absolutely continuous functions from I into E. By \(C_{r,\ln}(I)\), we denote the weighted space of continuous functions defined by
$$ C_{r,\ln}(I)=\bigl\{ w(t): (\ln t)^{r}w(t)\in C\bigr\} , $$
with the norm
$$ \Vert w\Vert _{C_{r,\ln}}:=\sup_{t\in I}\bigl\Vert (\ln t)^{r}w(t)\bigr\Vert _{E}. $$
We denote \(\Vert w\Vert _{C_{r,\ln}}\) by \(\Vert w\Vert _{C_{r}}\). Also, by \(\mathcal{C}_{r,\rho,\ln}(I):=C_{r,\ln}(I)\times C_{\rho,\ln}(I)\) we denote the product weighted space with the norm
$$ \bigl\Vert (u,v)\bigr\Vert _{\mathcal{C}_{r,\rho,\ln}(I)}= \Vert u\Vert _{C_{r}}+ \Vert v\Vert _{C_{\rho}}. $$
In the following we denote \(\Vert (u,v)\Vert _{\mathcal {C}_{r,\rho,\ln}(I)} \) by \(\Vert (u,v)\Vert _{\mathcal{C}}\).

Let \((E,w)=(E,\sigma(E,E^{*}))\) be the Banach space E with its weak topology.

Definition 2.1

A Banach space X is called weakly compactly generated (WCG for short) if it contains a weakly compact set whose linear span is dense in X.

Definition 2.2

A function \(h:E\rightarrow E\) is said to be weakly sequentially continuous if h takes each weakly convergent sequence in E to a weakly convergent sequence in E (i.e., for any \((u_{n})\) in E with \(u_{n}\rightarrow u\) in \((E,w)\) then \(h(u_{n})\rightarrow h(u)\) in \((E,w)\)).

Definition 2.3

([30])

The function \(u:I\rightarrow E\) is said to be Pettis integrable on I if and only if there is an element \(u_{J}\in E\) corresponding to each \(J\subset I\) such that \(\phi(u_{J})=\int_{J} \phi(u(s))\,ds\) for all \(\phi\in E^{\ast}\), where the integral on the right-hand side is assumed to exist in the sense of Lebesgue (by definition, \(u_{J}=\int_{J}u(s)\,ds\)).

Let \(P(I,E)\) be the space of all E-valued Pettis integrable functions on I, and \(L^{1}(I,E)\) be the Banach space of Lebesgue integrable functions \(u:I\to E\). Define the class \(P_{1}(I,E)\) by
$$ P_{1}(I,E)=\bigl\{ u\in P(I,E): \varphi(u)\in L^{1}(I,E)\text{ for every }\varphi\in E^{*}\bigr\} . $$
The space \(P_{1}(I,E) \) is normed by
$$ \Vert u\Vert _{P_{1}}=\sup_{\varphi\in E^{*}, \Vert \varphi \Vert \leq1} \int_{1} ^{T}\bigl\vert \varphi\bigl(u(x)\bigr) \bigr\vert \,d\lambda x, $$
where λ stands for a Lebesgue measure on I.

The following result is due to Pettis (see [30], Theorem 3.4 and Corollary 3.41).

Proposition 2.4

([30])

If \(u\in P_{1}(I,E)\) and h is a measurable and essentially bounded E-valued function, then \(uh\in P_{1}(J,E)\).

For all that follows, the symbol “∫” denotes the Pettis integral.

Let us recall some definitions and properties of Hadamard fractional integration and differentiation. We refer to [5, 31] for a more detailed analysis.

Definition 2.5

([5, 31])

The Hadamard fractional integral of order \(q>0\) for a function \(g\in L^{1}(I,E)\) is defined as
$$ \bigl(^{H}I_{1}^{q}g\bigr) (x)=\frac{1}{\Gamma(q)} \int_{1}^{x} \biggl( \ln \frac{x}{s} \biggr) ^{q-1}\frac{g(s)}{s}\,ds, $$
provided the integral exists, where \(\Gamma(\cdot)\) is the (Euler’s) gamma function defined by
$$ \Gamma(\xi)= \int_{0}^{\infty}t^{\xi-1}e^{-t}\,dt,\quad \xi>0. $$

Example 2.6

Let \(0< q<1\). Then
$$ ^{H}I_{1}^{q} \ln t=\frac{1}{\Gamma(2+q)}(\ln t)^{1+q} \quad\text{for a.e. } t\in[0,e]. $$

Remark 2.7

Let \(g\in P_{1}([1,T], E)\). For every \(\varphi\in E^{*}\), we have
$$ \varphi\bigl(^{H}I_{1}^{q}g\bigr) (x)= \bigl(^{H}I_{1}^{q}\varphi g\bigr) (x) \quad \text{for a.e. } x\in I. $$
Analogous to the Riemann-Liouville fractional calculus, the Hadamard fractional derivative is defined in terms of the Hadamard fractional integral in the following way. Set
$$ \delta=x\frac{d}{dx}, \quad \quad q>0, \quad\quad n=[q]+1, $$
where \([q]\) is the integer part of q, and
$$ \operatorname {AC}_{\delta}^{n} :=\bigl\{ u:[1,T]\to E :\delta^{n-1} \bigl[u(x)\bigr]\in \operatorname {AC}(I)\bigr\} . $$

Definition 2.8

([5, 31])

The Hadamard fractional derivative of order q applied to the function \(w\in \operatorname {AC}_{\delta}^{n}\) is defined as
$$ \bigl(^{H}D_{1}^{q}w\bigr) (x)= \delta^{n} \bigl(^{H}I_{1}^{n-q}w\bigr) (x). $$

Example 2.9

Let \(0< q<1\). Then
$$ ^{H}D_{1}^{q} \ln t=\frac{1}{\Gamma(2-q)}(\ln t)^{1-q} \quad\text{for a.e. } t\in[0,e]. $$
It has been proved (see, e.g., Kilbas [32], Theorem 4.8) that in the space \(L^{1}(I,E)\), the Hadamard fractional derivative is the left-inverse operator to the Hadamard fractional integral, i.e.,
$$ \bigl(^{H}D_{1}^{q}\bigr) \bigl(^{H}I_{1}^{q}w \bigr) (x)=w(x). $$
From Theorem 2.3 of [5], we have
$$ \bigl(^{H}I_{1}^{q}\bigr) \bigl(^{H}D_{1}^{q}w \bigr) (x)=w(x)-\frac{(^{H}I_{1}^{1-q}w)(1)}{ \Gamma(q)}(\ln x)^{q-1}. $$

Corollary 2.10

Let \(h:I\to E\) be a continuous function. A function \(w\in L^{1}(I,E)\) is said to be a solution of the equation
$$ \bigl(^{H}D_{1}^{q}w\bigr) (t)=h(t) $$
if and only if u satisfies the following Hadamard integral equation:
$$ w(t)=\frac{(^{H}I_{1}^{1-q}u)(1)}{\Gamma(q)}(\ln t)^{q-1}+\bigl(^{H}I_{1} ^{q}h\bigr) (t). $$

Definition 2.11

([21])

Let E be a Banach space, \(\Omega_{E}\) be the bounded subsets of E, and \(B_{1}\) be the unit ball of E. The De Blasi measure of weak noncompactness is the map \(\beta:\Omega_{E}\rightarrow[0, \infty)\) defined by
$$ \beta(X)=\inf\{\epsilon>0: \text{there exists weakly compact } \Omega\subset E \text{ such that } X\subset\epsilon B_{1}+ \Omega \}. $$
The De Blasi measure of weak noncompactness satisfies the following properties:
  1. (a)

    \(A\subset B\Rightarrow\beta(A)\leq\beta(B)\),

     
  2. (b)

    \(\beta(A)= 0 \Leftrightarrow A \) is weakly relatively compact,

     
  3. (c)

    \(\beta(A\cup B)=\max\{\beta(A), \beta(B)\}\),

     
  4. (d)

    \(\beta(\overline{A}^{\omega})=\beta(A)\) (\(\overline{A} ^{\omega}\) denotes the weak closure of A),

     
  5. (e)

    \(\beta(A+B)\leq\beta(A)+\beta(B)\),

     
  6. (f)

    \(\beta(\lambda A)=\vert \lambda \vert \beta(A)\),

     
  7. (g)

    \(\beta(\operatorname {conv}(A))=\beta(A)\),

     
  8. (h)

    \(\beta(\bigcup _{\vert \lambda \vert \leq h} \lambda A)= h \beta(A)\).

     

The next result follows directly from the Hahn-Banach theorem.

Proposition 2.12

Let E be a normed space, and \(x_{0}\in E\) with \(x_{0}\neq0\). Then there exists \(\varphi\in E^{\ast}\) with \(\Vert \varphi \Vert =1\) and \(\varphi(x_{0})=\Vert x_{0}\Vert \).

For a given set V of functions \(v: I\to E\), let us denote
$$ V(t)=\bigl\{ v(t): v\in V\bigr\} ,\quad t\in I, $$
and
$$ V(I)=\bigl\{ v(t):v\in V, t\in I\bigr\} . $$

Lemma 2.13

([26])

Let \(H\subset C\) be a bounded and equicontinuous subset. Then the function \(t\to\beta(H(t))\) is continuous on I, and
$$ \beta_{C}(H)=\max_{t\in I}\beta\bigl(H(t)\bigr), $$
and
$$ \beta \biggl( \int_{I}u(s)\,ds \biggr) \leq \int_{I}\beta\bigl(H(s)\bigr)\,ds, $$
where \(H(s)=\{u(s):u\in H, s\in I\}\), and \(\beta_{C}\) is the De Blasi measure of weak noncompactness defined on the bounded sets of C.

For our purpose, we will need the following fixed point theorem.

Theorem 2.14

([33])

Let Q be a nonempty, closed, convex, and equicontinuous subset of a metrizable locally convex vector space \(C(J, E)\) such that \(0\in {Q}\). Suppose \(T:Q\rightarrow Q\) is weakly-sequentially continuous. If the implication
$$ \overline{V}=\overline{\operatorname {conv}}\bigl(\{0\}\cup T(V)\bigr)\Rightarrow V \textit{ is relatively weakly compact} $$
(3)
holds for every subset \(V\subset Q\), then the operator T has a fixed point.

3 Existence of weak solutions

Let us start by defining what we mean by a weak solution of the coupled system (1)-(2).

Definition 3.1

By a weak solution of the coupled system (1)-(2), we mean measurable coupled functions \((u,v)\in{\mathcal{C}}_{r,\rho,\ln}\) satisfying conditions (2) and equations (1) on I.

The following hypotheses will be used in the sequel.
\((H_{1})\)

For a.e. \(t\in I\), the functions \(v\to f_{i}(t,v, \cdot)\), \(i=1,2\), and \(w\to f_{i}(t,\cdot,w)\), \(i=1,2\), are weakly sequentially continuous;

\((H_{2})\)

For each \(v,w\in E\), the function \(t\to f(t,v,w)\) is Pettis integrable a.e. on I;

\((H_{3})\)
There exists \(p_{i}\in C(I,[0,\infty))\), \(i=1,2\), such that for all \(\varphi\in E^{*}\), we have
$$ \bigl\vert \varphi\bigl(f_{i}(t,u,v)\bigr)\bigr\vert \leq \frac{p_{i}(t)\Vert \varphi \Vert }{1+\Vert \varphi \Vert +\Vert u\Vert _{E}+\Vert v\Vert _{E}} \quad\text{for a.e. } t\in I\text{ and each } u,v\in E; $$
\((H_{4})\)
For each bounded and measurable set \(B\subset E\) and for each \(t\in I\), we have
$$ \beta\bigl(f_{i}(t,B,B)\bigr)\leq(\ln t)^{1-r}p_{i}(t) \beta(B), \quad i=1,2. $$
Set
$$ p_{i}^{*}=\sup_{t\in I}p_{i}(t),\quad i=1,2. $$

Theorem 3.2

Assume that hypotheses \((H_{1})\)-\((H_{4})\) hold. If
$$ L:=\frac{p_{1}^{*}\ln T}{\Gamma(1+r)}+\frac{p_{2}^{*}\ln T}{\Gamma(1+ \rho)}< 1, $$
(4)
then the coupled system (1)-(2) has at least one weak solution defined on I.

Proof

Define the operators \(N_{1}:C_{r,\ln}\rightarrow C_{r,\ln}\) and \(N_{2}:C_{\rho,\ln}\rightarrow C_{\rho,\ln}\) by
$$ (N_{1}u) (t)=\frac{\phi}{\Gamma(r)}(\ln t)^{r-1} + \int_{1}^{t} \biggl( \ln \frac{t}{s} \biggr) ^{r-1}\frac{f_{1}(s,u(s),v(s))}{s\Gamma(r)}\,ds $$
(5)
and
$$ (N_{2}v) (t)=\frac{\psi}{\Gamma(\rho)}(\ln t)^{\rho-1} + \int_{1} ^{t} \biggl( \ln\frac{t}{s} \biggr) ^{\rho-1}\frac{f_{2}(s,u(s),v(s))}{s \Gamma(\rho)}\,ds. $$
(6)
Consider the continuous operator \(N:\mathcal{C}_{r,\rho,\ln}\to {\mathcal{C}} _{r,\rho,\ln}\) defined by
$$ \bigl(N(u,v)\bigr) (t)=\bigl((N_{1}u) (x,y),(N_{2}v) (t)\bigr). $$
(7)
First notice that the hypotheses imply that the functions \(t\mapsto ( \ln\frac{t}{s} ) ^{r-1}\frac{f_{1}(s,u(s),v(s))}{s}\) and \(t\mapsto ( \ln\frac{t}{s} ) ^{\rho-1} \frac{f_{2}(s,u(s),v(s))}{s}\), for a.e. \(t\in I\), are Pettis integrable, and for each \((u,v)\in{\mathcal{C}}_{r,\rho,\ln}\), the function \(t\mapsto f(t,u(t),v(t))\) is Pettis integrable over I. Thus, the operator N is well defined. Let \(R>0\) be such that
$$ R>\frac{p_{1}^{*}\ln T}{\Gamma(1+r)}+\frac{p_{2}^{*}\ln T}{\Gamma(1+ \rho)}, $$
and consider the set
$$\begin{aligned} Q&= \biggl\{ (u,v)\in{\mathcal{C}}_{r,\rho,\ln}: \bigl\Vert (u,v)\bigr\Vert _{\mathcal{C}}\leq R \text{ and } \bigl\Vert (\ln t_{2})^{1-r}u(t_{2})-(\ln t_{1})^{1-r}u(t_{1}) \bigr\Vert _{E} \\ &\quad{} +\bigl\Vert (\ln t_{2})^{1-\rho}(N_{2}u) (t_{2})-(\ln t_{1})^{1- \rho}(N_{2}u) (t_{1})\bigr\Vert _{E} \leq\frac{p_{1}^{*}}{\Gamma(1+r)}( \ln T)^{1-r}\biggl\vert \ln\frac{t_{2}}{t_{1}}\biggr\vert ^{r} \\ &\quad{} +\frac{p_{1} ^{*}}{\Gamma(r)} \int_{1}^{t_{1}} \biggl\vert (\ln t_{2})^{1-r} \biggl(\ln\frac{t _{2}}{s}\biggr)^{r-1}-(\ln t_{1})^{1-r} \biggl(\ln\frac{t_{1}}{s}\biggr)^{r-1}\biggr\vert \,ds \\ & \quad{} +\frac{p_{2}^{*}}{\Gamma(1+\rho)}(\ln T)^{1-\rho}\biggl\vert \ln \frac{t _{2}}{t_{1}}\biggr\vert ^{\rho} \\ &\quad{} +\frac{p_{2}^{*}}{\Gamma(\rho)} \int_{1} ^{t_{1}}\biggl\vert (\ln t_{2})^{1-\rho} \biggl(\ln\frac{t_{2}}{s}\biggr)^{\rho-1} -( \ln t_{1})^{1-\rho} \biggl(\ln\frac{t_{1}}{s}\biggr)^{\rho-1}\biggr\vert \,ds \biggr\} . \end{aligned}$$
Clearly, the subset Q is closed, convex, and equicontinuous. We shall show that the operator N satisfies all the assumptions of Theorem 2.14. The proof will be given in several steps.

Step 1. N maps Q into itself.

Let \((u,v)\in Q\), \(t\in I\), and assume that \((N_{i}u)(t)\neq0\), \(i=1,2\). Then there exists \(\varphi\in E^{*}\) such that \(\Vert (\ln t)^{1-r}(N _{i}u)(t)\Vert _{E}=\varphi(|(\ln t)^{1-r}(N_{i}u)(t)|)\). Thus
$$ \bigl\Vert (\ln t)^{1-r}(N_{1}u) (t)\bigr\Vert _{E}=\varphi \biggl( \frac {\phi}{\Gamma(r)}+\frac{( \ln t)^{1-r}}{\Gamma(r)} \int_{1}^{t} \biggl( \ln\frac{t}{s} \biggr) ^{r-1}\frac{f_{1}(s,u(s),v(s))}{s}\,ds \biggr) . $$
Then
$$\begin{aligned} \bigl\Vert (\ln t)^{1-r}(N_{1}u) (t)\bigr\Vert _{E} \leq& \frac{(\ln t)^{1-r}}{\Gamma(r)} \int_{1}^{t} \biggl( \ln\frac{t}{s} \biggr) ^{r-1}\frac{\vert \varphi(f_{1}(s,u(s),v(s))\vert }{s}\,ds \\ \leq&\frac{p_{1}^{*}(\ln T)^{1-r}}{\Gamma(r)} \int_{1}^{t} \biggl( \ln \frac{t}{s} \biggr) ^{r-1}\frac{ds}{s} \\ \leq&\frac{p_{1}^{*}\ln T}{\Gamma(1+r)}. \end{aligned}$$
Again, we get
$$ \bigl\Vert (\ln t)^{1-\rho}(N_{2}v) (t)\bigr\Vert _{E}\leq\frac {p_{2}^{*}\ln T}{\Gamma (1+\rho)}. $$
Thus, we obtain
$$ \bigl\Vert \bigl(N(u,v)\bigr)\bigr\Vert _{\mathcal{C}}\leq \frac{p_{1}^{*}\ln T}{\Gamma(1+r)}+\frac{p _{2}^{*}\ln T}{\Gamma(1+\rho)}. $$
Next, let \(t_{1},t_{2}\in I\) such that \(t_{1}< t_{2}\), and let \((u,v)\in Q\), with
$$ (\ln t_{2})^{1-r}(N_{1}u) (t_{2})-(\ln t_{1})^{1-r}(N_{1}u) (t_{1}) \neq0, $$
and
$$ (\ln t_{2})^{1-\rho}(N_{2}v) (t_{2})-(\ln t_{1})^{1-\rho}(N_{2}v) (t _{1})\neq0. $$
Then there exists \(\varphi\in E^{*}\) with \(\Vert \varphi \Vert =1\) such that
$$ \bigl\Vert (\ln t_{2})^{1-r}(N_{1}u) (t_{2})-(\ln t_{1})^{1-r}(N_{1}u) (t_{1})\bigr\Vert _{E}=\varphi\bigl((\ln t_{2})^{1-r}(N_{1}u) (t_{2})-(\ln t_{1})^{1-r}(N _{1}u) (t_{1})\bigr) $$
and
$$ \bigl\Vert (\ln t_{2})^{1-\rho}(N_{2}v) (t_{2})-(\ln t_{1})^{1-\rho}(N_{2}v) (t _{1})\bigr\Vert _{E}=\varphi\bigl((\ln t_{2})^{1-\rho }(N_{2}v) (t_{2})-(\ln t_{1})^{1- \rho}(N_{2}v) (t_{1})\bigr). $$
Then
$$\begin{aligned} &\bigl\Vert (\ln t_{2})^{1-r}(N_{1}u) (t_{2})-(\ln t_{1})^{1-r}(N_{1}u) (t_{1}) \bigr\Vert _{E} \\ &\quad =\varphi\bigl((\ln t_{2})^{1-r}(N_{1}u) (t_{2})-(\ln t_{1})^{1-r}(N _{1}u) (t_{1})\bigr) \\ &\quad \leq\varphi \biggl( (\ln t_{2})^{1-r} \int_{1}^{t_{2}} \biggl( \ln\frac{t_{2}}{s} \biggr) ^{r-1}\frac{f_{1}(s,u(s),v(s))}{s \Gamma(r)}\,ds \\ &\quad\quad {} - (\ln t_{1})^{1-r} \int_{1}^{t_{1}} \biggl( \ln \frac{t_{1}}{s} \biggr) ^{r-1}\frac{f_{1}(s,u(s),v(s))}{s\Gamma (r)}\,ds \biggr) . \end{aligned}$$
This gives
$$\begin{aligned} &\bigl\Vert (\ln t_{2})^{1-r}(N_{1}u) (t_{2})-(\ln t_{1})^{1-r}(N_{1}u) (t_{1}) \bigr\Vert _{E} \\ &\quad \leq(\ln t_{2})^{1-r} \int_{t_{1}}^{t_{2}}\biggl\vert \ln\frac{t _{2}}{s} \biggr\vert ^{r-1} \frac{\vert \varphi(f_{1}(s,u(s),v(s)))\vert }{s\Gamma (r)}\,ds \\ &\quad\quad{} + \int _{1}^{t_{1}}\biggl\vert (\ln t_{2})^{1-r} \biggl(\ln\frac{t_{2}}{s}\biggr)^{r-1}-( \ln t_{1})^{1-r} \biggl(\ln\frac{t_{1}}{s}\biggr)^{r-1}\biggr\vert \frac{\vert \varphi(f _{1}(s,u(s),v(s)))\vert }{s\Gamma(r)}\,ds \\ &\quad \leq(\ln t_{2})^{1-r} \int_{t _{1}}^{t_{2}}\biggl\vert \ln\frac{t_{2}}{s} \biggr\vert ^{r-1}\frac{p_{1}(s)}{ \Gamma(r)}\,ds \\ &\quad\quad{} + \int_{1}^{t_{1}}\biggl\vert (\ln t_{2})^{1-r} \biggl( \ln\frac{t_{2}}{s}\biggr)^{r-1}-(\ln t_{1})^{1-r} \biggl(\ln\frac {t_{1}}{s}\biggr)^{r-1}\biggr\vert \frac{p_{1}(s)}{\Gamma(r)}\,ds. \end{aligned}$$
Thus, we get
$$ \begin{aligned} &\bigl\Vert (\ln t_{2})^{1-r}(N_{1}u) (t_{2})-(\ln t_{1})^{1-r}(N_{1}u) (t_{1}) \bigr\Vert _{E} \\ &\quad \leq\frac{p_{1}^{*}}{\Gamma(1+r)}(\ln T)^{1-r}\biggl\vert \ln\frac{t _{2}}{t_{1}} \biggr\vert ^{r} \\ &\quad\quad{} +\frac{p_{1}^{*}}{\Gamma(r)} \int _{1}^{t_{1}}\biggl\vert (\ln t_{2})^{1-r} \biggl(\ln\frac{t_{2}}{s}\biggr)^{r-1} -( \ln t_{1})^{1-r} \biggl(\ln\frac{t_{1}}{s}\biggr)^{r-1}\biggr\vert \,ds. \end{aligned} $$
Also, we can obtain that
$$ \begin{aligned} &\bigl\Vert (\ln t_{2})^{1-\rho}(N_{2}u) (t_{2})-(\ln t_{1})^{1-\rho}(N_{2}u) (t _{1})\bigr\Vert _{E} \\ &\quad \leq\frac{p_{2}^{*}}{\Gamma(1+\rho)}(\ln T)^{1- \rho}\biggl\vert \ln\frac{t_{2}}{t_{1}} \biggr\vert ^{\rho} \\ &\quad\quad{} +\frac{p _{2}^{*}}{\Gamma(\rho)} \int_{1}^{t_{1}}\biggl\vert (\ln t_{2})^{1-\rho} \biggl( \ln\frac{t_{2}}{s}\biggr)^{\rho-1} -(\ln t_{1})^{1-\rho} \biggl(\ln \frac{t_{1}}{s}\biggr)^{\rho-1}\biggr\vert \,ds. \end{aligned} $$
Hence \(N(Q)\subset Q\).

Step 2. N is weakly-sequentially continuous.

Let \((u_{n},v_{n})\) be a sequence in Q, and let \((u_{n}(t),v_{n}(t)) \to(u(t),v(t))\) in \((E,\omega)\times(E,\omega)\) for each \(t\in I\). Fix \(t\in I\), since for any \(i\in\{1,2\}\) the function \(f_{i}\) satisfies assumption \((H_{1})\), we have \(f_{i}(t,u_{n}(t),v _{n}(t))\) converges weakly uniformly to \(f(t,u(t),v(t))\). Hence the Lebesgue dominated convergence theorem for Pettis integral implies that \(((N_{1}u_{n})(t),(N_{2}v_{n})(t))\) converges weakly uniformly to \(((N_{1}u)(t),(N_{2}v)(t))\) in \((E,\omega)\times(E,\omega)\) for each \(t\in I\). Thus, \(N(u_{n},v_{n})\to(N(u),N(v))\). Hence, \(N:Q\to Q\) is weakly-sequentially continuous.

Step 3. Implication ( 3 ) holds.

Let V be a subset of Q such that \(\overline{V}=\overline{\operatorname {conv}}(N(V) \cup\{0\})\). Obviously
$$ V(t)\subset\overline{\operatorname {conv}}\bigl((NV) (t)\cup\{0\}\bigr), \quad t\in I. $$
Further, as V is bounded and equicontinuous, by Lemma 3 in [34] the function \(t\to v(t)=\beta(V(t))\) is continuous on I. From \((H_{3})\), \((H_{4})\), Lemma 2.13 and the properties of the measure β, for any \(t\in I\), we have
$$\begin{aligned} (\ln t)^{1-r}v(t) \leq&\beta\bigl((\ln t)^{1-r}(NV) (t)\cup\{0 \}\bigr) \\ \leq&\beta\bigl((\ln t)^{1-r}(NV) (t)\bigr) \\ \leq&\frac{(\ln T)^{1-r}}{\Gamma(r)} \int_{1}^{t}\biggl\vert \ln \frac{t}{s} \biggr\vert ^{r-1}\frac{p_{1}(s)\beta(V(s))}{s}\,ds \\ &{}+\frac{(\ln T)^{1-\rho}}{\Gamma(\rho)} \int_{1}^{t}\biggl\vert \ln \frac{t}{s} \biggr\vert ^{\rho-1}\frac{p_{2}(s)\beta(V(s))}{s}\,ds \\ \leq&\frac{(\ln T)^{1-r}}{\Gamma(r)} \int_{1}^{t}\biggl\vert \ln \frac{t}{s} \biggr\vert ^{r-1}\frac{(\ln s)^{1-r}p_{1}(s)v(s)}{s}\,ds \\ &{}+\frac{(\ln T)^{1-\rho}}{\Gamma(\rho)} \int_{1}^{t}\biggl\vert \ln \frac{t}{s} \biggr\vert ^{/rho-1}\frac{(\ln s)^{1-\rho}p_{2}(s)v(s)}{s}\,ds \\ \leq&\frac{p_{1}^{*}\ln T}{\Gamma(1+r)}\Vert v\Vert _{\mathcal{C}}+\frac{p_{2} ^{*}\ln T}{\Gamma(1+\rho)} \Vert v\Vert _{\mathcal{C}}. \end{aligned}$$
Thus
$$ \Vert v\Vert _{\mathcal{C}}\leq L\Vert v\Vert _{\mathcal{C}}. $$
From (4), we get \(\Vert v\Vert _{\mathcal{C}}=0\), that is, \(v(t)=\beta(V(t))=0\) for each \(t\in I\). And then, by Theorem 2 in [35], V is weakly relatively compact in \([\mathcal {C}]_{r,\rho, \ln}\). Applying now Theorem 2.14, we conclude that N has a fixed point which is a weak solution of the coupled system (1)-(2). □

4 An example

Let
$$ E=l^{1}= \Biggl\{ u =(u_{1}, u_{2},\ldots, u_{n},\ldots), \sum^{\infty }_{n=1} \vert u_{n}\vert < \infty \Biggr\} $$
be the Banach space with the norm
$$ \Vert u\Vert _{E}=\sum_{n=1}^{\infty} \vert u_{n}\vert . $$
We consider the following coupled system of Hadamard fractional differential equations:
$$ \textstyle\begin{cases} (^{H}D_{1}^{\frac{1}{2}}u_{n})(t)=f_{n}(t,u(t),v(t)), \\ (^{H}D_{1}^{\frac{1}{2}}v_{n})(t)=g_{n}(t,u(t),v(t)), \end{cases}\displaystyle \quad t\in[1,e], $$
(8)
with the initial conditions
$$ \textstyle\begin{cases} (^{H}I_{1}^{\frac{1}{2}}u)(t)|_{t=1}=0, \\ (^{H}I_{1}^{\frac{1}{2}}v)(t)|_{t=1}=0, \end{cases} $$
(9)
where
$$ f_{n}\bigl(t,u(t),v(t)\bigr)=\frac{ct^{2}}{1+\Vert u(t)\Vert _{E}+\Vert v(t)\Vert _{E}} \biggl( e ^{-7}+\frac{1}{e^{t+5}} \biggr) u_{n}(t), \quad t\in[1,e], $$
and
$$ g_{n}\bigl(t,u(t),v(t)\bigr)=\frac{ct^{2}e^{-6}}{1+\Vert u(t)\Vert _{E}+\Vert v(t)\Vert _{E}}v _{n}(t),\quad t\in[1,e], $$
with
$$ u=(u_{1},u_{2},\ldots,u_{n},\ldots),\quad\quad v=(v_{1},v_{2},\ldots,v_{n}, \ldots), \quad \text{and} \quad c:= \frac{e^{4}}{8}\Gamma\biggl(\frac{1}{2}\biggr). $$
Set
$$ f=(f_{1},f_{2},\ldots,f_{n},\ldots) \quad \text{and} \quad g=(g_{1},g_{2},\ldots,g _{n}, \ldots). $$
Clearly, the functions f and g are continuous. For each \(u,v\in E\) and \(t\in[1,e]\), we have
$$ \bigl\Vert f\bigl(t,u(t),v(t)\bigr)\bigr\Vert _{E}\leq ct^{2} \biggl( e^{-7}+\frac {1}{e^{t+5}} \biggr) $$
and
$$ \bigl\Vert g\bigl(t,u(t),v(t)\bigr)\bigr\Vert _{E}\leq ct^{2}e^{-6}. $$
Hence, hypothesis \((H_{3})\) is satisfied with \(p_{1}^{*}=p_{2}^{*}=ce ^{-4}\). We shall show that condition (4) holds with \(T=e\). Indeed,
$$ \frac{p_{1}^{*}\ln T}{\Gamma(1+r)}+\frac{p_{2}^{*}\ln T}{\Gamma(1+ \rho)}=\frac{2c}{e^{4}\Gamma(\frac{3}{2})}=\frac{1}{2}< 1. $$
Simple computations show that all conditions of Theorem 3.2 are satisfied. It follows that the coupled system (8)-(9) has at least one solution on \([1,e]\).

Declarations

Acknowledgements

The work was supported by the National Natural Science Foundation of China (No. 11671339).

Authors’ contributions

SA and MB contributed to Sections 1, 2, and 3. YZ and AA contributed to Sections 1 and 4. All authors read and approved the final manuscript.

Competing interests

The authors declare that they have no competing interests.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)
Laboratory of Mathematics, University of Saïda, Saïda, Algeria
(2)
Laboratory of Mathematics, University of Sidi Bel-Abbes, Sidi Bel-Abbès, Algeria
(3)
Faculty of Mathematics and Computational Science, Xiangtan University, Hunan, P.R. China
(4)
Nonlinear Analysis and Applied Mathematics (NAAM) Research Group, Faculty of Science, King Abdulaziz University, Jeddah, Saudi Arabia

References

  1. Hilfer, R: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000) View ArticleMATHGoogle Scholar
  2. Tarasov, VE: Fractional Dynamics: Application of Fractional Calculus to Dynamics of Particles, Fields and Media. Springer, Heidelberg (2010) View ArticleMATHGoogle Scholar
  3. Abbas, S, Benchohra, M, N’Guérékata, GM: Topics in Fractional Differential Equations. Springer, New York (2012) View ArticleMATHGoogle Scholar
  4. Abbas, S, Benchohra, M, N’Guérékata, GM: Advanced Fractional Differential and Integral Equations. Nova Science Publishers, New York (2015) MATHGoogle Scholar
  5. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006) MATHGoogle Scholar
  6. Ahmad, B, Alsaedi, A, Kirane, M, Tapdigoglu, RG: An inverse problem for space and time fractional evolution equations with an involution perturbation. Quaest. Math. 40(2), 151-160 (2017) MathSciNetView ArticleGoogle Scholar
  7. Abbas, S, Benchohra, M: Fractional order integral equations of two independent variables. Appl. Math. Comput. 227, 755-761 (2014) MathSciNetMATHGoogle Scholar
  8. Abbas, S, Benchohra, M, Henderson, J: Partial Hadamard fractional integral equations. Adv. Dyn. Syst. Appl. 10(2), 97-107 (2015) MathSciNetGoogle Scholar
  9. Ahmad, B, Alsaedi, A, Kirane, M: Nonexistence results for the Cauchy problem of time fractional nonlinear systems of thermoelasticity. Math. Methods Appl. Sci. 40, 4272-4279 (2017) MathSciNetView ArticleMATHGoogle Scholar
  10. Thiramanus, P, Ntouyas, SK, Tariboon, J: Existence and uniqueness results for Hadamard-type fractional differential equations with nonlocal fractional integral boundary conditions. Abstr. Appl. Anal. 2014, 902054 (2014) MathSciNetGoogle Scholar
  11. Wang, JR, Feckan, M, Zhou, Y: A survey on impulsive fractional differential equations. Fract. Calc. Appl. Anal. 19, 806-831 (2016) MathSciNetView ArticleMATHGoogle Scholar
  12. Wang, JR, Feckan, M, Zhou, Y: Center stable manifold for planar fractional damped equations. Appl. Math. Comput. 296, 257-269 (2017) MathSciNetGoogle Scholar
  13. Zhou, Y: Attractivity for fractional differential equations. Appl. Math. Lett. 75, 1-6 (2018) MathSciNetView ArticleGoogle Scholar
  14. Zhou, Y, Peng, L: Weak solutions of the time-fractional Navier-Stokes equations and optimal control. Comput. Math. Appl. 73, 1016-1027 (2017) MathSciNetView ArticleGoogle Scholar
  15. Zhou, Y, Peng, L: On the time-fractional Navier-Stokes equations. Comput. Math. Appl. 73, 874-891 (2017) MathSciNetView ArticleGoogle Scholar
  16. Zhou, Y, Vijayakumar, V, Murugesu, R: Controllability for fractional evolution inclusions without compactness. Evol. Equ. Control Theory 4, 507-524 (2015) MathSciNetView ArticleMATHGoogle Scholar
  17. Zhou, Y, Zhang, L: Existence and multiplicity results of homoclinic solutions for fractional Hamiltonian systems. Comput. Math. Appl. 73, 1325-1345 (2017) MathSciNetView ArticleGoogle Scholar
  18. Zhou, Y, Zhang, L, Shen, XH: Existence of mild solutions for fractional evolution equations. J. Integral Equ. Appl. 25, 557-586 (2013) MathSciNetView ArticleMATHGoogle Scholar
  19. Zhou, Y, Ahmad, B, Alsaedi, A: Existence of nonoscillatory solutions for fractional neutral differential equations. Appl. Math. Lett. 72, 70-74 (2017) MathSciNetView ArticleMATHGoogle Scholar
  20. Zhou, Y, Peng, L, Ahmad, B, Alsaedi, A: Topological properties of solution sets of fractional stochastic evolution inclusions. Adv. Differ. Equ. 2017(1), 90 (2017) MathSciNetView ArticleGoogle Scholar
  21. De Blasi, FS: On the property of the unit sphere in a Banach space. Bull. Math. Soc. Sci. Math. Roum. 21, 259-262 (1977) MathSciNetMATHGoogle Scholar
  22. Banas̀, J, Goebel, K: Measures of Noncompactness in Banach Spaces. Dekker, New York (1980) Google Scholar
  23. Akhmerov, RR, Kamenskii, MI, Patapov, AS, Rodkina, AE, Sadovskii, BN: Measures of Noncompactness and Condensing Operators. Birkhäuser, Basel (1992) View ArticleGoogle Scholar
  24. Alvàrez, JC: Measure of noncompactness and fixed points of nonexpansive condensing mappings in locally convex spaces. Rev. R. Acad. Cienc. Exactas Fís. Nat. Madr. 79, 53-66 (1985) MathSciNetMATHGoogle Scholar
  25. Benchohra, M, Henderson, J, Seba, D: Measure of noncompactness and fractional differential equations in Banach spaces. Commun. Appl. Anal. 12(4), 419-428 (2008) MathSciNetMATHGoogle Scholar
  26. Guo, D, Lakshmikantham, V, Liu, X: Nonlinear Integral Equations in Abstract Spaces. Kluwer Academic, Dordrecht (1996) View ArticleMATHGoogle Scholar
  27. O’Regan, D: Weak solutions of ordinary differential equations in Banach spaces. Appl. Math. Lett. 12, 101-105 (1999) MathSciNetView ArticleMATHGoogle Scholar
  28. Benchohra, M, Graef, J, Mostefai, F-Z: Weak solutions for boundary-value problems with nonlinear fractional differential inclusions. Nonlinear Dyn. Syst. Theory 11(3), 227-237 (2011) MathSciNetMATHGoogle Scholar
  29. Benchohra, M, Henderson, J, Mostefai, F-Z: Weak solutions for hyperbolic partial fractional differential inclusions in Banach spaces. Comput. Math. Appl. 64, 3101-3107 (2012) MathSciNetView ArticleMATHGoogle Scholar
  30. Pettis, BJ: On integration in vector spaces. Trans. Am. Math. Soc. 44, 277-304 (1938) MathSciNetView ArticleMATHGoogle Scholar
  31. Hadamard, J: Essai sur l’étude des fonctions données par leur développment de Taylor. J. Pure Appl. Math. 4(8), 101-186 (1892) MATHGoogle Scholar
  32. Kilbas, AA: Hadamard-type fractional calculus. J. Korean Math. Soc. 38(6), 1191-1204 (2001) MathSciNetMATHGoogle Scholar
  33. O’Regan, D: Fixed point theory for weakly sequentially continuous mapping. Math. Comput. Model. 27(5), 1-14 (1998) MathSciNetView ArticleMATHGoogle Scholar
  34. Bugajewski, D, Szufla, S: Kneser’s theorem for weak solutions of the Darboux problem in a Banach space. Nonlinear Anal. 20(2), 169-173 (1993) MathSciNetView ArticleMATHGoogle Scholar
  35. Mitchell, AR, Smith, Ch: Nonlinear equations in abstract spaces. In: Lakshmikantham, V (ed.) An Existence Theorem for Weak Solutions of Differential Equations in Banach Spaces, pp. 387-403. Academic Press, New York (1978) Google Scholar

Copyright

© The Author(s) 2017

Advertisement