Skip to main content

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

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.

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.

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.

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). □

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]\).

References

  1. 1.

    Hilfer, R: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)

    Book  MATH  Google Scholar 

  2. 2.

    Tarasov, VE: Fractional Dynamics: Application of Fractional Calculus to Dynamics of Particles, Fields and Media. Springer, Heidelberg (2010)

    Book  MATH  Google Scholar 

  3. 3.

    Abbas, S, Benchohra, M, N’Guérékata, GM: Topics in Fractional Differential Equations. Springer, New York (2012)

    Book  MATH  Google Scholar 

  4. 4.

    Abbas, S, Benchohra, M, N’Guérékata, GM: Advanced Fractional Differential and Integral Equations. Nova Science Publishers, New York (2015)

    MATH  Google Scholar 

  5. 5.

    Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

    MATH  Google Scholar 

  6. 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)

    MathSciNet  Article  Google Scholar 

  7. 7.

    Abbas, S, Benchohra, M: Fractional order integral equations of two independent variables. Appl. Math. Comput. 227, 755-761 (2014)

    MathSciNet  MATH  Google Scholar 

  8. 8.

    Abbas, S, Benchohra, M, Henderson, J: Partial Hadamard fractional integral equations. Adv. Dyn. Syst. Appl. 10(2), 97-107 (2015)

    MathSciNet  Google Scholar 

  9. 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)

    MathSciNet  Article  MATH  Google Scholar 

  10. 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)

    MathSciNet  Google Scholar 

  11. 11.

    Wang, JR, Feckan, M, Zhou, Y: A survey on impulsive fractional differential equations. Fract. Calc. Appl. Anal. 19, 806-831 (2016)

    MathSciNet  Article  MATH  Google Scholar 

  12. 12.

    Wang, JR, Feckan, M, Zhou, Y: Center stable manifold for planar fractional damped equations. Appl. Math. Comput. 296, 257-269 (2017)

    MathSciNet  Google Scholar 

  13. 13.

    Zhou, Y: Attractivity for fractional differential equations. Appl. Math. Lett. 75, 1-6 (2018)

    MathSciNet  Article  Google Scholar 

  14. 14.

    Zhou, Y, Peng, L: Weak solutions of the time-fractional Navier-Stokes equations and optimal control. Comput. Math. Appl. 73, 1016-1027 (2017)

    MathSciNet  Article  Google Scholar 

  15. 15.

    Zhou, Y, Peng, L: On the time-fractional Navier-Stokes equations. Comput. Math. Appl. 73, 874-891 (2017)

    MathSciNet  Article  Google Scholar 

  16. 16.

    Zhou, Y, Vijayakumar, V, Murugesu, R: Controllability for fractional evolution inclusions without compactness. Evol. Equ. Control Theory 4, 507-524 (2015)

    MathSciNet  Article  MATH  Google Scholar 

  17. 17.

    Zhou, Y, Zhang, L: Existence and multiplicity results of homoclinic solutions for fractional Hamiltonian systems. Comput. Math. Appl. 73, 1325-1345 (2017)

    MathSciNet  Article  Google Scholar 

  18. 18.

    Zhou, Y, Zhang, L, Shen, XH: Existence of mild solutions for fractional evolution equations. J. Integral Equ. Appl. 25, 557-586 (2013)

    MathSciNet  Article  MATH  Google Scholar 

  19. 19.

    Zhou, Y, Ahmad, B, Alsaedi, A: Existence of nonoscillatory solutions for fractional neutral differential equations. Appl. Math. Lett. 72, 70-74 (2017)

    MathSciNet  Article  MATH  Google Scholar 

  20. 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)

    MathSciNet  Article  Google Scholar 

  21. 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)

    MathSciNet  MATH  Google Scholar 

  22. 22.

    Banas̀, J, Goebel, K: Measures of Noncompactness in Banach Spaces. Dekker, New York (1980)

    Google Scholar 

  23. 23.

    Akhmerov, RR, Kamenskii, MI, Patapov, AS, Rodkina, AE, Sadovskii, BN: Measures of Noncompactness and Condensing Operators. Birkhäuser, Basel (1992)

    Book  Google Scholar 

  24. 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)

    MathSciNet  MATH  Google Scholar 

  25. 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)

    MathSciNet  MATH  Google Scholar 

  26. 26.

    Guo, D, Lakshmikantham, V, Liu, X: Nonlinear Integral Equations in Abstract Spaces. Kluwer Academic, Dordrecht (1996)

    Book  MATH  Google Scholar 

  27. 27.

    O’Regan, D: Weak solutions of ordinary differential equations in Banach spaces. Appl. Math. Lett. 12, 101-105 (1999)

    MathSciNet  Article  MATH  Google Scholar 

  28. 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)

    MathSciNet  MATH  Google Scholar 

  29. 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)

    MathSciNet  Article  MATH  Google Scholar 

  30. 30.

    Pettis, BJ: On integration in vector spaces. Trans. Am. Math. Soc. 44, 277-304 (1938)

    MathSciNet  Article  MATH  Google Scholar 

  31. 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)

    MATH  Google Scholar 

  32. 32.

    Kilbas, AA: Hadamard-type fractional calculus. J. Korean Math. Soc. 38(6), 1191-1204 (2001)

    MathSciNet  MATH  Google Scholar 

  33. 33.

    O’Regan, D: Fixed point theory for weakly sequentially continuous mapping. Math. Comput. Model. 27(5), 1-14 (1998)

    MathSciNet  Article  MATH  Google Scholar 

  34. 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)

    MathSciNet  Article  MATH  Google Scholar 

  35. 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 

Download references

Acknowledgements

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

Author information

Affiliations

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.

Corresponding author

Correspondence to Yong Zhou.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

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.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Abbas, S., Benchohra, M., Zhou, Y. et al. Weak solutions for a coupled system of Pettis-Hadamard fractional differential equations. Adv Differ Equ 2017, 332 (2017). https://doi.org/10.1186/s13662-017-1391-z

Download citation

  • Received:

  • Accepted:

  • Published:

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

MSC

  • 26A33
  • 35H10
  • 35D30

Keywords

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