Skip to main content

Existence and Ulam stability results of a coupled system for terminal value problems involving ψ-Hilfer fractional operator

Abstract

The work reported in this paper deals with the study of a coupled system for fractional terminal value problems involving ψ-Hilfer fractional derivative. The existence and uniqueness theorems to the problem at hand are investigated. Besides, the stability analysis in the Ulam–Hyers sense of a given system is studied. Our discussion is based upon known fixed point theorems of Banach and Krasnoselskii. Examples are also provided to demonstrate the applicability of our results.

Introduction

Over the past few years, mathematicians have realized that fractional calculus has many applications in various scopes of applied science and engineering. Several researchers have employed the fractional calculus as an experiential style of describing the properties of natural phenomena such as chemistry, biology, physics, bioengineering, electrochemistry, finance, economic, etc., for more details, see [12, 20, 21, 23] and many other references. The interesting issue about this theme is that it is completely unlike classical derivatives, because it deals with arbitrary and noninteger order, e.g., the fractional derivative of noninteger order depends not just on the diagram of the function very near to the point but also on some chronicle.

Recently, there has been considerable growth in fractional differential equations (FDEs) involving several different fractional derivative operators, we indicate here the more famous operators like Riemann–Liouville (RL), Caputo, Hilfer, Hadamard, Katugampola, and several other generalized operators.

So, this implies that different categories of FDEs involving several fractional operators have been considered. Researchers who are concerned with this topic have presented many generalizations of fractional derivatives like Hilfer–Katugampola, Hilfer–Hadamard, ψ-Caputo, and ψ-Hilfer, see [10, 1618, 24, 29]. Some existence, uniqueness, and Ulam–Hyers stability results of generalized FDEs have been studied, see the recent references [14, 9, 11, 22, 25, 3034].

On the other hand, many interesting and recent results on the existence and stability of a coupled system for different categories of FDEs have been investigated, see the following studies [68, 26] and the references therein.

Terminal value problems (TVPs) for FDEs for the time being play a major role in the modeling of numerous phenomena in engineering, science, and simulation. In short, the existence results for ordinary and fractional TVPs have been studied by many investigators, see [5, 1315, 27, 28, 35]. For example, Benchohra et al. in [13] obtained the existence and uniqueness of solution to the fractional implicit TVP

$$ {}^{\rho }D_{a^{+}}^{\theta ,\eta }y(t)=f \bigl( t,y(t),{}^{\rho }D_{a^{+}}^{ \theta ,\eta }y(t) \bigr) , \quad a< t\leq T, a>0, $$
(1)

under the terminal condition

$$ y(T)=w\in \mathbb{R} , $$
(2)

where \({}^{\rho }D_{a^{+}}^{\theta ,\eta }\) is the fractional derivative of order \((\theta ,\eta )\) in the Hilfer–Katugampola sense (\(0<\theta <1\), \(0\leq \eta \leq 1\)), \(\rho >0\), and \(f: ( a,T ] \times \mathbb{R} \rightarrow \mathbb{R} \) is a certain function.

Motivated by the aforementioned works, the target of this work is to investigate the existence, uniqueness, and Ulam–Hyers stability of solutions of a coupled system for fractional TVPs involving generalized Hilfer fractional derivative of the type

$$ \textstyle\begin{cases} D_{a^{+}}^{\theta _{1},\eta _{1};\psi }y(t)=f_{1} ( t,x(t) ) ,&a< t\leq T, a>0, \\ D_{a^{+}}^{\theta _{2},\eta _{2};\psi }x(t)=f_{2} ( t,y(t) ) ,&a< t\leq T, a>0,\end{cases} $$
(3)

under the terminal conditions

$$ \textstyle\begin{cases} y(T)=w_{1}\in \mathbb{R} , \\ x(T)=w_{2}\in \mathbb{R} ,\end{cases} $$
(4)

where \(0<\theta _{i}<1\), \(0\leq \eta _{i}\leq 1\), \(D_{a^{+}}^{\theta _{i},\eta _{i};\psi }\) (\(i=1,2\)) is the Hilfer fractional derivative of order \(\theta _{i}\) and type \(\eta _{i}\) with respect to ψ and \(f: ( a,T ] \times \mathbb{R} \rightarrow \mathbb{R} \) is a certain function under the conditions listed later.

As far as we know, no papers about a coupled system for fractional TVPs exist in the literature, specifically for those encompassing the generalized fractional derivative in the ψ-Hilfer sense. Moreover, the results of the problem at hand are obtained under minimal assumptions on nonlinear functions \(f_{1}\), \(f_{2}\).

The rest of the structure of this paper is as follows. In Sect. 2, we briefly state some essential definitions and the results that are applied throughout the paper. Section 3 studies the existence and uniqueness results on ψ-Hilfer FDEs with the terminal conditions via fixed point techniques of Banach and Krasnoselskii. The stability analysis in the concept Ulam–Hyers of the proposed system is investigated in Sect. 4. At the end, some examples are included to illustrate the applicability of the obtained results in Sect. 5.

Auxiliary results

Let \([ a,T ] \subset \mathbb{R} ^{+}\) with \((0< a< T<\infty )\), we also consider \(C [ a,T ] \) the Banach space of real-valued continuous functions defined on \([a,T]\) with the norm

$$ \Vert \sigma \Vert _{C}= \max_{t\in [ a,T ] } \bigl\vert \sigma (t) \bigr\vert , \quad \sigma \in C [ a,T ] . $$

Let \(\varsigma =\theta +\eta (1-\theta )\) where \(0<\theta <1\), \(0\leq \eta \leq 1\), and let \(\psi \in C^{1}[a,T]\) be an increasing function with \(\psi ^{\prime }(t)\neq 0\) for each \(t\in {[} a,T]\). For \(0<\varsigma \leq 1\), the weighted spaces \(C_{1-\varsigma ;\psi } [ a,T ] \), \(C_{1-\varsigma ;\psi }^{n} [ a,T ] \) of continuous functions are defined by [29]

$$\begin{aligned}& C_{1-\varsigma ;\psi } [ a,T ] = \bigl\{ \sigma :(a,T] \rightarrow \mathbb{R} ; \bigl[ \psi (t)-\psi (a) \bigr] ^{1-\varsigma } \sigma (t)\in C [ a,T ] \bigr\} , \\& C_{1-\varsigma ;\psi }^{n} [ a,T ] = \bigl\{ \sigma \in C^{n-1} [ a,T ] , \sigma ^{(n)}\in C_{1-\varsigma ;\psi } [ a,T ] \bigr\} . \end{aligned}$$

Obviously, \(C_{1-\varsigma ;\psi } [ a,T ] \) and \(C_{1-\varsigma ;\psi }^{n} [ a,T ] \) are Banach spaces endowed with the norms

$$\begin{aligned}& \Vert \sigma \Vert _{C_{1-\varsigma ;\psi }}= \max_{t\in [ a,T ] } \bigl\vert \bigl[ \psi (t)-\psi (a) \bigr] ^{1- \varsigma }\sigma (t) \bigr\vert , \\& \Vert \sigma \Vert _{C_{1-\varsigma ;\psi }^{n}}=\sum_{j=0}^{n-1} \bigl\Vert \sigma ^{(j)} \bigr\Vert _{C}+ \bigl\Vert \sigma ^{(n)} \bigr\Vert _{C_{1-\varsigma ;\psi }}, \end{aligned}$$

respectively. For \(n=0\), \(C_{1-\varsigma ;\psi }^{0} [ a,T ] =C_{1-\varsigma ;\psi } [ a,T ] \). Let us introduce the following space:

$$ E=\bigl\{ \sigma (t):\sigma (t)\in C_{1-\varsigma ;\psi } [ a,T ] \bigr\} $$

endowed with the norm defined by

$$ \Vert \sigma \Vert _{E}= \Vert \sigma \Vert _{c_{1- \varsigma ;\psi }}. $$

It is easy to perceive that, for \(\sigma \in E\), \((E, \Vert \sigma \Vert _{E})\) is a Banach space. Then, for \((\sigma ,\rho )\in E\times E \), the product space \((E\times E, \Vert (\sigma ,\rho ) \Vert _{E\times E})\) is a Banach space too, where

$$ \bigl\Vert (\sigma ,\rho ) \bigr\Vert _{E\times E}=\max \bigl( \Vert \sigma \Vert _{E}, \Vert \rho \Vert _{E} \bigr) , \quad \sigma ,\rho \in E. $$

Definition 1

([19, Sect. 2.5, Eq. (2.5.1)])

Let \(\theta >0\), \(\sigma \in L_{1} [ a,T ] \). Then the left-sided ψ-RL fractional integral of order θ of a function σ w.r.t. ψ is described by

$$ I_{a^{+}}^{\theta ,\psi }\sigma (t)=\frac{1}{\varGamma (\theta )}\int _{a}^{t}\psi ^{\prime }(s) \bigl(\psi (t)-\psi (s)\bigr)^{\theta -1}\sigma (s)\,ds. $$

Definition 2

([19, Eq. (2.5.17)], [10, Definition 1])

Let \(n-1<\theta <n\), and \(\sigma \in C^{n}[a,T]\). Then the left-sided ψ-fractional derivatives in the concepts ψ-RL and ψ-Caputo of order θ of a function σ w.r.t. ψ are described by

$$ D_{a^{+}}^{\theta ,\psi }\sigma (t)=D^{n,\psi }I_{a^{+}}^{n-\theta , \psi } \sigma (t) $$

and

$$ {}^{C}D_{a^{+}}^{\theta ,\psi }\sigma (t)=I_{a^{+}}^{n-\theta ,\psi } \sigma _{\psi }^{[n]}(t), $$

respectively, where \(\sigma _{\psi }^{[n]}(t)=D^{n,\psi }\sigma (t)\), \(D^{n,\psi }= [ \frac{1}{\psi ^{\prime }(t)}\frac{d}{dt} ] ^{n}\), and \(n= [ \theta ] +1\).

Definition 3

([29, Definition 7])

Let \(\varsigma =\theta +\eta (n-\theta )\) where \(n-1<\theta < n\in \mathbb{N} \), \(0\leq \eta \leq 1\), and \(\sigma \in C^{n}[a,T]\). Then the left-sided ψ-fractional derivative in the concept ψ-Hilfer of order θ and type η of a function σ w.r.t. ψ is given by

$$\begin{aligned} D_{a^{+}}^{\theta ,\eta ,\psi }\sigma (t) =&I_{a^{+}}^{\eta (n- \theta );\psi }D^{n,\psi }I_{a^{+}}^{(1-\eta )(n-\theta );\psi } \sigma (t) \\ =&I_{a^{+}}^{\eta (n-\theta );\psi }D_{a^{+}}^{\varsigma ;\psi } \sigma (t), \end{aligned}$$
(5)

where

$$ D_{a^{+}}^{\varsigma ;\psi }\sigma (t)=D^{n,\psi }I_{a^{+}}^{(1-\eta )(n- \theta );\psi } \sigma (t). $$

Lemma 1

([32, Lemma 1])

Let\(\theta >0\)and\(0<\varsigma \leq 1\). Then\((I_{a^{+}}^{\theta ,\psi }\textit{ is bounded}):C_{1-\varsigma ;\psi }[a,T] \rightarrow C_{1-\varsigma ;\psi }[a,T]\).

Lemma 2

([32, Lemma 1], [29, Lemma 4])

Let\(\theta >0\), \(0<\varsigma \leq 1 \), and\(\sigma \in C_{1-\varsigma ,\psi }[a,T]\). If\(\varsigma <\theta \), then\((I_{a^{+}}^{\theta ,\psi }\textit{ is bounded}):C_{1-\varsigma ;\psi }[a,T] \rightarrow C[a,T]\). Besides,

$$ I_{a^{+}}^{\theta ;\psi } \sigma (a)= \lim _{t\rightarrow a^{+}} I_{a^{+}}^{\theta ;\psi }\sigma (t)=0. $$

Definition 4

[32, Definition 3] The weighted continuous spaces \(C_{1-\varsigma ;\psi }^{\theta ,\eta }[a,T]\) and \(C_{1-\varsigma ;\psi }^{\varsigma }[a,T]\) are described by

$$ C_{1-\varsigma ;\psi }^{\theta ,\eta }[a,T]=\bigl\{ \sigma \in C_{1- \varsigma ;\psi }[a,T],D_{a^{+}}^{\theta ,\eta ;\psi } \sigma \in C_{1- \varsigma ;\psi }[a,T]\bigr\} $$

and

$$ C_{1-\varsigma ;\psi }^{\varsigma }[a,T]=\bigl\{ \sigma \in C_{1-\varsigma ; \psi }[a,T],D_{a^{+}}^{\varsigma ;\psi } \sigma \in C_{1-\varsigma ; \psi }[a,T]\bigr\} , $$
(6)

where \(\varsigma =\theta +\eta (1-\theta )\), \(0<\theta < 1\), and \(0\leq \eta \leq 1\). Observe that

$$ C_{1-\varsigma ;\psi }^{\varsigma }[a,T]\subset C_{1-\varsigma ;\psi }^{ \theta ,\eta }[a,T] \subset C_{1-\varsigma ;\psi }[a,T]\subset C[a,T]. $$

Lemma 3

([2, Lemma 2.3])

Let\(\varsigma =\theta +\eta (1-\theta )\)where\(0<\theta < 1\), \(0\leq \eta \leq 1\), and\(\sigma \in C_{1-\varsigma ;\psi }^{\varsigma }[a,T]\). Then

$$ I_{a^{+}}^{\varsigma ;\psi }D_{a^{+}}^{\varsigma ;\psi }\sigma =I_{a^{+}}^{ \theta ;\psi } D_{a^{+}}^{\theta ,\eta ;\psi }\sigma \quad \textit{and}\quad D_{a^{+}}^{\varsigma ;\psi }I_{a^{+}}^{\theta ;\psi } \sigma =D_{a^{+}}^{\eta (1-\theta );\psi }\sigma . $$

Lemma 4

([29, Theorem 7])

Let\(\theta >0\), \(0<\varsigma \leq 1\), and\(\sigma \in C_{1-\varsigma }[a,T]\), \(\eta \in [ 0,1 ] \). Then

$$ D_{a^{+}}^{\theta ,\psi }I_{a^{+}}^{\theta ,\psi }\sigma (t)= \sigma (t). $$

Lemma 5

([29, Theorem 1])

Let\(\theta >0\), \(0<\varsigma \leq 1\), and\(\sigma \in C_{1-\varsigma ;\psi }[a,T]\)and\(I_{a^{+}}^{1-\varsigma ;\psi }\sigma \in C_{1-\varsigma ,\psi }^{1}[a,T]\). Then

$$ I_{a^{+}}^{\varsigma ;\psi }D_{a^{+}}^{\varsigma ,\psi }\sigma (t)= \sigma (t)- \frac{I_{a^{+}}^{1-\varsigma ;\psi }\sigma (a)}{\varGamma (\varsigma )}\bigl(\psi (t)-\psi (a) \bigr)^{\varsigma -1}. $$

Lemma 6

([19, Property 2.18])

Let\(t>a\), and consider\(\chi ^{\varsigma }(t):= [ \psi (t)-\psi (a) ] ^{\varsigma -1}\). Then, for\(\theta > 0\)and\(\varsigma >0\),

$$ I_{a^{+}}^{\theta ,\psi }\chi ^{\varsigma }(t)= \frac{\varGamma (\varsigma )}{\varGamma (\theta +\varsigma )} \bigl(\psi (t)-\psi (a)\bigr)^{\theta +\varsigma -1}. $$

Besides, for \(0<\theta <1\),

$$ D_{a^{+}}^{\theta ,\psi }\chi ^{\theta }(t)=0. $$

Theorem 1

([36, Theorem 1.45])

LetΞbe a Banach space, and let\(\varnothing \subset \varXi \)be a nonempty, closed, convex, and bounded set, and\(\varPi _{1}\), \(\varPi _{2}\)be two operators satisfying

  1. (i)

    \(\varPi _{1}u+\varPi _{2}v\in \varnothing \)for all\(u,v\in \varnothing \);

  2. (ii)

    \(\varPi _{1}\)is continuous and compact;

  3. (iii)

    \(\varPi _{2}\)is a contraction operator.

Then there exists\(u^{\ast }\in \varnothing \)such that\(u^{\ast }=\varPi _{1}u^{\ast }+\varPi _{2}u^{\ast }\).

Theorem 2

([36, Theorem 1.41])

LetΞbe a Banach space and be a nonempty closed subset ofΞ, then any contraction operator\(\varPi :\varnothing \rightarrow \varnothing \)has a unique fixed point.

The results we study in this paper will only concern \(0<\theta <1\) (\(n=1\)).

Existence and uniqueness results

To shorten the length of equations, we set \(\mathcal{K}_{\psi }^{\varsigma }(t,a):= [ \psi (t)-\psi (a) ] ^{\varsigma -1}\) and \(\mathcal{H}_{\psi }^{\theta }(t,s):=\psi ^{\prime }(s) [ \psi (t)-\psi (s) ] ^{\theta -1}\).

Theorem 3

Let\(\varsigma =\theta +\eta (1-\theta )\)where\(0<\theta <1\)and\(0\leq \eta \leq 1\). If\(\sigma : ( a,T ] \rightarrow \mathbb{R} \)is a function such that\(\sigma (\cdot )\in C_{1-\varsigma ,\psi } [ a,T ] \), then\(y\in C_{1-\varsigma ,\psi }^{\varsigma } ( a,T ] \)satisfies the TVP forψ-Hilfer FDEs

$$\begin{aligned}& D_{a^{+}}^{\theta ,\eta ;\psi }y(t) =\sigma (t), \quad t\in ( a,T ] , a>0, \end{aligned}$$
(7)
$$\begin{aligned}& y(T) =w\in \mathbb{R} , \end{aligned}$$
(8)

if and only ifyfulfills the following fractional integral equation:

$$ y(t)= \frac{\mathcal{K}_{\psi }^{\varsigma }(t,a)}{\mathcal{K}_{\psi }^{\varsigma }(T,a)} \biggl[ w-\frac{1}{\varGamma (\theta )} \int _{a}^{T}\mathcal{H}_{\psi }^{\theta }(T,s) \sigma (s)\,ds \biggr] + \frac{1}{\varGamma (\theta )}\int _{a}^{t}\mathcal{H}_{\psi }^{\theta }(t,s) \sigma (s)\,ds. $$
(9)

Proof

Assume that \(y\in C_{1-\varsigma ,\psi }^{\varsigma }[a,T]\) is the solution of the TVP for ψ-Hilfer FDEs (7)–(8). According to the definitions of \(C_{1-\varsigma ,\psi }^{\varsigma } ( a,T ] \) and \(D_{a^{+}}^{\varsigma ;\psi }\), applying Lemma 1, we have

$$ I_{a^{+}}^{1-\varsigma ,\psi }y(t)\in C_{1-\varsigma ,\psi } [ a,T ] \quad \text{and}\quad D_{a^{+}}^{\varsigma ;\psi }y(t)=D^{1,\psi }I_{a^{+}}^{1- \varsigma ,\psi }y(t) \in C_{1-\varsigma ,\psi } [ a,T ] . $$
(10)

Thanks to the definition of \(C_{1-\varsigma ,\psi }^{n} [ a,T ] \), we have

$$ I_{a^{+}}^{1-\varsigma ,\psi }y(t)\in C_{1-\varsigma ,\psi }^{1} [ a,T ] . $$
(11)

Take advantage of Lemma 5 to get

$$ I_{a^{+}}^{\varsigma ;\psi }D_{a^{+}}^{\varsigma ,\psi }y(t)=y(t)- \frac{I_{a^{+}}^{1-\varsigma ;\psi }y(a)}{\varGamma (\varsigma )}\mathcal{K}_{ \psi }^{\varsigma }(t,a), \quad t\in ( a,T ] . $$
(12)

It follows from the assumption \(y\in C_{1-\varsigma ,\psi }^{\varsigma } [ a,T ] \), Lemma 3, and equation (7) that

$$ I_{a^{+}}^{\varsigma ;\psi }D_{a^{+}}^{\varsigma ;\psi }y(t)=I_{a^{+}}^{ \theta ;\psi } \sigma (t). $$
(13)

Equating both sides of equations (12) and (13), we find that

$$ y(t)=\frac{I_{a^{+}}^{1-\varsigma ;\psi }y(a)}{\varGamma (\varsigma )} \mathcal{K}_{\psi }^{\varsigma }(t,a)+I_{a^{+}}^{\theta ;\psi } \sigma (t). $$
(14)

Using the terminal condition \(y(T)=w\), we get

$$ I_{a^{+}}^{1-\varsigma ;\psi }y(a)= \frac{\varGamma (\varsigma )}{\mathcal{K}_{\psi }^{\varsigma }(T,a)} \bigl[ w_{1}-I_{a^{+}}^{\theta ;\psi } \sigma (T) \bigr]. $$
(15)

Now, from equations (14) and (15), we conclude that

$$ y(t)= \frac{\mathcal{K}_{\psi }^{\varsigma }(t,a)}{\mathcal{K}_{\psi }^{\varsigma }(T,a)} \biggl[ w-\frac{1}{\varGamma (\theta )} \int _{a}^{T}\mathcal{H}_{\psi }^{\theta }(T,s) \sigma (s)\,ds \biggr] + \frac{1}{\varGamma (\theta )}\int _{a}^{t}\mathcal{H}_{\psi }^{\theta }(t,s) \sigma (s)\,ds. $$

Hence \(y(t)\) satisfies the TVP for ψ-Hilfer FDEs (7)–(8).

Conversely, suppose that \(y\in C_{1-\varsigma ,\psi }^{\varsigma } [ a,T ] \) satisfying integral equation (9). Applying fractional derivative \(D_{a^{+}}^{\varsigma ;\psi }\) on both sides of integral equation (9) and employing Lemmas 6 and 3, we will surely find

$$\begin{aligned} D_{a^{+}}^{\varsigma ;\psi }y(t) =&\frac{1}{\mathcal{K}_{\psi }^{\varsigma }(T,a)} \bigl[ w-I_{a^{+}}^{\theta ;\psi }\sigma (T) \bigr] D_{a^{+}}^{ \varsigma ;\psi } \mathcal{K}_{\psi }^{\varsigma }(t,a)+D_{a^{+}}^{ \varsigma ;\psi }I_{a^{+}}^{\theta ;\psi } \sigma (t) \\ =&D_{a^{+}}^{\eta (1-\theta );\psi }\sigma (t), \end{aligned}$$
(16)

where \(D_{a^{+}}^{\varsigma ;\psi }\mathcal{K}_{\psi }^{\varsigma }(t,a)=0\). From (10), we have \(D_{a^{+}}^{\varsigma ;\psi }y\in C_{1-\varsigma ;\psi } [ a,T ] \), then (16) implies

$$ D_{a^{+}}^{\varsigma ;\psi }y(t)=D^{1,\psi }I_{a^{+}}^{1-\eta (1- \theta ),\psi } \sigma (t)=D_{a^{+}}^{\eta (1-\theta );\psi }\sigma (t) \in C_{1-\varsigma ;\psi } [ a,T ] . $$
(17)

As \(\sigma (t)\in C_{1-\varsigma ;\psi } [ a,T ] \), it follows from Lemma 1 that

$$ I_{a^{+}}^{1-\eta (1-\theta );\psi }\sigma \in C_{1-\varsigma ;\psi } [ a,T ] . $$
(18)

From the definition of \(C_{1-\varsigma ;\psi }^{n} ( a,T ] \) with the aid of equations (17), (18), we get

$$ I_{a^{+}}^{1-\eta (1-\theta );\psi }\sigma \in C_{1-\varsigma ;\psi }^{1} [ a,T ] . $$

Thus σ and \(I_{a^{+}}^{1-\eta (1-\theta );\psi }\sigma \) satisfy assumptions of Lemma 5. Now, we can apply the fractional integral \(I_{a^{+}}^{\eta (1-\theta );\psi }\) on both sides of (17) and utilize Lemmas 2, 5 to get

$$\begin{aligned} I_{a^{+}}^{\eta (1-\theta );\psi }D_{a^{+}}^{\varsigma ;\psi }y(t) =& \sigma (t)- \frac{I_{a^{+}}^{1-\eta (1-\theta );\psi }\sigma (a)}{\varGamma (\eta (1-\theta ))} \mathcal{K}_{\psi }^{\eta (1-\theta )}(t,a) \\ =&\sigma (t). \end{aligned}$$
(19)

From (5) with \(n=1\), equation (19) reduces to

$$ D_{a^{+}}^{\theta ,\eta ;\psi }y(t)=\sigma (t), \quad t\in (a,T]. $$

This proves that y also satisfies FDE (7). Undoubtedly, if \(y\in C_{1-\varsigma ;\psi }^{\varsigma } [ a,T ] \) satisfies integral equation (9), then it also fulfills terminal condition (8). □

Before we present our main results, we consider that the following assumptions are satisfied:

(\(H_{1}\)):

\(f_{1},f_{2}:(a,T]\times \mathbb{R} \rightarrow \mathbb{R} \) are such that

$$\begin{aligned}& f_{1}\bigl(\cdot ,y(\cdot )\bigr)\in C_{1-\varsigma _{1};\psi }^{\eta _{1}(1- \theta _{1})}[a,T], \quad y\in C_{1-\varsigma _{1};\psi } [ a,T ] , \\& f_{2}\bigl(\cdot ,x(\cdot )\bigr)\in C_{1-\varsigma _{2};\psi }^{\eta _{2}(1- \theta _{2})}[a,T], \quad y\in C_{1-\varsigma _{2};\psi } [ a,T ] . \end{aligned}$$
(\(H_{2}\)):

There exist \(L_{1} ( >0 ) \) and \(L_{2} ( >0 ) \) such that, for \(p,p^{\ast },q,q^{\ast }\in \mathbb{R} \), \(t\in (a,T]\), we have

$$\begin{aligned}& \bigl\vert f_{1}(t,p)-f_{1}\bigl(t,p^{\ast }\bigr) \bigr\vert \leq L_{1} \bigl\vert p-p^{\ast } \bigr\vert , \\& \bigl\vert f_{2}(t,q)-f_{2}\bigl(t,q^{\ast } \bigr) \bigr\vert \leq L_{2} \bigl\vert q-q^{\ast } \bigr\vert . \end{aligned}$$

In the forthcoming theorem, by using Theorem 2, we prove the unique solution of a coupled system for ψ-Hilfer terminal FDEs (3)–(4). In view of Theorem 3, we get the following lemma.

Lemma 7

Let\(i=1,2\), \(\varsigma _{i}=\theta _{i}+\eta _{i}(1-\theta _{i})\), where\(0<\theta _{i}<1\)and\(0\leq \eta _{i}\leq 1\). If\(f_{1},f_{2}: ( a,T ] \times \mathbb{R} \rightarrow \mathbb{R} \)two functions such that\(f_{1}(\cdot ,y)\in C_{1-\varsigma _{1},\psi } [ a,T ] \)and\(f_{2}(\cdot ,x)\in C_{1-\varsigma _{2},\psi } [ a,T ] \), then\(y\in C_{1-\varsigma _{1},\psi }^{\varsigma _{1}} ( a,T ] \)and\(x\in C_{1-\varsigma _{2},\psi }^{\varsigma _{2}} ( a,T ] \)satisfy the following coupled system of fractional integral equations:

$$ \textstyle\begin{cases} y(t)= \frac{\mathcal{K}_{\psi }^{\varsigma _{1}}(t,a)}{\mathcal{K}_{\psi }^{\varsigma _{1}}(T,a)} [ w_{1}-\frac{1}{\varGamma (\theta _{1})}\int _{a}^{T}\mathcal{H}_{\psi }^{\theta _{1}}(T,s)f_{1}(s,x(s))\,ds ] \\ \hphantom{y(t)=}{}+\frac{1}{\varGamma (\theta _{1})}\int _{a}^{t}\mathcal{H}_{\psi }^{ \theta _{1}}(t,s)f_{1}(s,x(s))\,ds, \\ x(t)= \frac{\mathcal{K}_{\psi }^{\varsigma _{2}}(t,a)}{\mathcal{K}_{\psi }^{\varsigma _{2}}(T,a)} [ w_{2}-\frac{1}{\varGamma (\theta _{2})}\int _{a}^{T}\mathcal{H}_{\psi }^{\theta _{2}}(T,s)f_{2}(s,y(s))\,ds ] \\ \hphantom{x(t)=}{}+\frac{1}{\varGamma (\theta _{2})}\int _{a}^{t}\mathcal{H}_{\psi }^{ \theta _{2}}(t,s)f_{2}(s,y(s))\,ds.\end{cases} $$
(20)

According to Lemma (7), we consider the operators \(\mathcal{N}_{1}:E\rightarrow E\) and \(\mathcal{N}_{2}:E\rightarrow E\) defined by

$$ \textstyle\begin{cases} \mathcal{N}_{1}x(t)=y(t), \\ \mathcal{N}_{2}y(t)=x(t). \end{cases} $$

That is,

$$ \textstyle\begin{cases} \mathcal{N}_{1}x(t)= \frac{\mathcal{K}_{\psi }^{\varsigma _{1}}(t,a)}{\mathcal{K}_{\psi }^{\varsigma _{1}}(T,a)} [ w_{1}- \frac{1}{\varGamma (\theta _{1})}\int _{a}^{T}\mathcal{H}_{\psi }^{ \theta _{1}}(T,s)f_{1}(s,x(s))\,ds ] \\ \hphantom{\mathcal{N}_{1}x(t)=}{}+\frac{1}{\varGamma (\theta _{1})}\int _{a}^{t}\mathcal{H}_{\psi }^{ \theta _{1}}(t,s)f_{1}(s,x(s))\,ds, \\ \mathcal{N}_{2}y(t)= \frac{\mathcal{K}_{\psi }^{\varsigma _{2}}(t,a)}{\mathcal{K}_{\psi }^{\varsigma _{2}}(T,a)} [ w_{2}- \frac{1}{\varGamma (\theta _{2})}\int _{a}^{T}\mathcal{H}_{\psi }^{ \theta _{2}}(T,s)f_{2}(s,y(s))\,ds ] \\ \hphantom{\mathcal{N}_{2}y(t)=}{}+\frac{1}{\varGamma (\theta _{2})}\int _{a}^{t}\mathcal{H}_{\psi }^{ \theta _{2}}(t,s)f_{2}(s,y(s))\,ds.\end{cases} $$
(21)

Therefore, we define \(\mathcal{N}:E\times E\rightarrow E\times E\) by

$$ \mathcal{N}(y,x) (t)= \bigl( \mathcal{N}_{1}(x) (t), \mathcal{N}_{2}(y) (t) \bigr) . $$

For the sake of brevity, we set

$$\begin{aligned}& \varLambda _{f_{1}}= \biggl[ \frac{2L_{1}\mathcal{B}(\varsigma _{1},\theta _{1})}{\varGamma (\theta _{1})} \biggr] \mathcal{K}_{\psi }^{\theta _{1}+1}(T,a), \\& \Delta _{f_{1}}= \frac{w_{1}}{\mathcal{K}_{\psi }^{\varsigma _{1}}(T,a)}+\frac{2A_{1}}{\varGamma (\theta _{1}+1)} \mathcal{K}_{\psi }^{2}(T,a), \\& \varLambda _{f_{2}}= \biggl[ \frac{2L_{2}\mathcal{B}(\varsigma _{2},\theta _{2})}{\varGamma (\theta _{2})} \biggr] \mathcal{K}_{\psi }^{\theta _{2}+1}(T,a), \\& \Delta _{f_{2}}= \frac{w_{2}}{\mathcal{K}_{\psi }^{\varsigma _{2}}(T,a)}+\frac{2A_{2}}{\varGamma (\theta _{2}+1)} \mathcal{K}_{\psi }^{2}(T,a), \end{aligned}$$

where \(A_{i}=\max_{t\in {[} a,T]} \vert f_{i}(t,0) \vert \), \(i=1,2\).

Now, via Theorems 2, 1, we obtain the existence and uniqueness results of a coupled system for ψ-Hilfer FDEs (3)–(4).

Theorem 4

Assume that (\(H_{1}\)) and (\(H_{2}\)) hold. If\(\varLambda _{f_{1}}<1\)and\(\varLambda _{f_{2}}<1\), thenψ-Hilfer coupled system (3)(4) has a unique solution in\(E^{\varsigma }\times E^{\varsigma }\subset E^{\theta ,\eta }\times E^{ \theta ,\eta }\), where\(E^{\varsigma }:=C_{1-\varsigma ;\psi }^{\varsigma } [ a,T ] \)and\(E^{\theta ,\eta }:=C_{1-\varsigma ;\psi }^{\theta ,\eta } [ a,T ] \).

Proof

Define the closed, bounded, convex, and nonempty set

$$ \mathcal{S}_{R}= \bigl\{ (y,x)\in E\times E: \bigl\Vert ( y,x ) \bigr\Vert _{E\times E}\leq R \bigr\} \subset E\times E, $$

with

$$ R\geq \max \biggl\{ \frac{\Delta _{f_{1}}}{1-\varLambda _{f_{1}}}, \frac{\Delta _{f_{2}}}{1-\varLambda _{f_{2}}} \biggr\} . $$

The analysis of proof will be presented in three steps.

Step(1): \(\mathcal{NS}_{R}\subset \mathcal{S}_{R}\).

Let \((y,x)\in \mathcal{S}_{R}\) and \(t\in (a,T]\). Then

$$\begin{aligned}& \bigl\vert \bigl[ \psi (t)-\psi (a) \bigr] ^{1-\varsigma _{1}}( \mathcal{N}_{1}x) (t) \bigr\vert \\& \quad \leq \frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(T,a)} \biggl[w_{1}+ \frac{1}{\varGamma (\theta _{1})} \int _{a}^{T}\mathcal{H}_{\psi }^{\theta _{1}}(T,s) \bigl\vert f_{1}\bigl(s,x(s)\bigr) \bigr\vert \,ds \biggr] \\& \qquad {}+\frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(t,a)} \frac{1}{\varGamma (\theta _{1})} \int _{a}^{t}\mathcal{H}_{\psi }^{ \theta _{1}}(t,s) \bigl\vert f_{1}\bigl(s,x(s)\bigr) \bigr\vert \,ds \\& \quad \leq \frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(T,a)} \biggl[w_{1}+ \frac{1}{\varGamma (\theta _{1})} \int _{a}^{T} \mathcal{H}_{\psi }^{\theta _{1}}(T,s) \\& \qquad {}\times\bigl[\bigl\vert f_{1}\bigl(s,x(s)\bigr)-f_{1}(s,0) \bigr\vert + \bigl\vert f_{1}(s,0) \bigr\vert \bigr]\,ds \biggr] \\& \qquad {}+\frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(t,a)} \frac{1}{\varGamma (\theta _{1})} \int _{a}^{t} \mathcal{H}_{\psi }^{ \theta _{1}}(t,s) \\& \qquad {}\times\bigl[\bigl\vert f_{1}\bigl(s,x(s)\bigr)-f_{1}(s,0) \bigr\vert + \bigl\vert f_{1}(s,0) \bigr\vert \bigr]\,ds. \end{aligned}$$
(22)

Thanks to hypothesis \((H_{2})\), for \((y,x)\in \mathcal{S}_{R}\), \(t\in (a,T]\), we have

$$\begin{aligned}& \bigl\vert \bigl[ \psi (t)-\psi (a) \bigr] ^{1-\varsigma _{1}}( \mathcal{N}_{1}x) (t) \bigr\vert \\& \quad \leq \frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(T,a)} \biggl[w_{1}+ \frac{1}{\varGamma (\theta _{1})} \int _{a}^{T}\mathcal{H}_{\psi }^{\theta _{1}}(T,s) \bigl( L_{1} \bigl( \psi (s)-\psi (a) \bigr) ^{1-\varsigma _{1}} \Vert x \Vert _{E}+A_{1} \bigr) \,ds \biggr] \\& \qquad {}+\frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(t,a)} \frac{1}{\varGamma (\theta _{1})} \int _{a}^{t}\mathcal{H}_{\psi }^{ \theta _{1}}(t,s) \bigl( L_{1} \bigl( \psi (s)-\psi (a) \bigr) ^{ \varsigma _{1}-1} \Vert x \Vert _{E}+A_{1} \bigr) \,ds \\& \quad \leq \frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(T,a)} \biggl[w_{1}+L_{1}R\frac{\varGamma (\varsigma _{1})}{\varGamma (\varsigma _{1}+\theta _{1})} \mathcal{K}_{\psi }^{\theta _{1}+\varsigma _{1}}(T,a)+ \frac{A_{1}}{\varGamma (\theta _{1}+1)}\mathcal{K}_{\psi }^{\theta _{1}+1}(T,a) \biggr] \\& \qquad {} +\frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(t,a)} \biggl[L_{1}R \frac{\varGamma (\varsigma _{1})}{\varGamma (\varsigma _{1}+\theta _{1})} \mathcal{K}_{\psi }^{\theta _{1}+1}(t,a)+\frac{A_{1}}{\varGamma (\theta _{1}+1)} \mathcal{K}_{\psi }^{\theta _{1}+1}(t,a) \biggr] \\& \quad \leq \frac{w_{1}}{\mathcal{K}_{\psi }^{\varsigma _{1}}(T,a)}+ \frac{2A_{1}}{\varGamma (\theta _{1}+1)}\mathcal{K}_{\psi }^{2}(T,a)+2L_{1}R \frac{\mathcal{B}( \varsigma _{1},\theta _{1})}{\varGamma (\theta _{1})}\mathcal{K}_{\psi }^{ \theta _{1}+1}(T,a), \end{aligned}$$
(23)

where we used the fact that

$$ \frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(t,a)}\leq \frac{1}{\mathcal{K}_{\psi }^{\theta _{1}}(t,a)}\quad \text{for }\varsigma _{1}\geq \theta _{1} $$

and

$$ \mathcal{K}_{\psi }^{\varsigma _{1}}(t,a)\leq 1\quad \text{for }0< \varsigma _{1}\leq 1. $$

Hence, inequality (23) becomes

$$ \bigl\vert \bigl[ \psi (t)-\psi (a) \bigr] ^{1-\varsigma _{1}}( \mathcal{N}_{1}x) (t) \bigr\vert \leq \varLambda _{f_{1}}+\Delta _{f_{1}}R, $$

which leads to

$$ \Vert \mathcal{N}_{1}x \Vert _{E}\leq \varLambda _{f_{1}}+ \Delta _{f_{1}}R\leq R. $$
(24)

Similarly, we can get that

$$ \Vert \mathcal{N}_{2}y \Vert _{E}\leq \varLambda _{f_{2}}+ \Delta _{f_{2}}R\leq R. $$
(25)

It follows from (24) and (25) that

$$ \bigl\Vert \mathcal{N}(y,x) \bigr\Vert _{E\times E}=\max \bigl( \Vert \mathcal{N}_{1}x \Vert _{E}, \Vert \mathcal{N}_{2}y \Vert _{E} \bigr) \leq \max ( R,R ) =R. $$

This proves \(\mathcal{NS}_{R}\subset \mathcal{S}_{R}\).

Step(2): The operator \(\mathcal{N}\) is a contraction.

Let \((y,x),(y^{\ast },x^{\ast })\in \mathcal{S}_{R}\) and \(t\in ( a,T ] \). Applying (\(H_{2}\)) we have

$$\begin{aligned}& \bigl\vert \bigl[ \psi (t)-\psi (a) \bigr] ^{1-\varsigma _{1}} \bigl[ (\mathcal{N}_{1}x) (t)-\bigl(\mathcal{N}_{1}x^{\ast } \bigr) (t) \bigr] \bigr\vert \\& \quad \leq \frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(T,a)} \frac{1}{\varGamma (\theta _{1})} \int _{a}^{T}\mathcal{H}_{\psi }^{\theta _{1}}(T,s) \bigl\vert f_{1}\bigl(s,x(s)\bigr)-f_{1} \bigl(s,x^{\ast }(s)\bigr) \bigr\vert \,ds \\& \qquad {}+\frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(t,a)} \frac{1}{\varGamma (\theta _{1})} \int _{a}^{t}\mathcal{H}_{\psi }^{ \theta _{1}}(t,s) \bigl\vert f_{1}\bigl(s,x(s)\bigr)-f_{1} \bigl(s,x^{\ast }(s)\bigr) \bigr\vert \,ds \\& \quad \leq \frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(T,a)}L_{1} \bigl\Vert x-x^{\ast } \bigr\Vert _{E} \bigl( I_{a^{+}}^{\theta _{1}, \psi }\mathcal{K}_{\psi }^{\varsigma _{1}}(s,a) \bigr) (T) \\& \qquad {} +\frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(t,a)}L_{1} \bigl\Vert x-x^{\ast } \bigr\Vert _{E} \bigl( I_{a^{+}}^{\theta _{1}, \psi }\mathcal{K}_{\psi }^{\varsigma _{1}}(s,a) \bigr) (t) \\& \quad \leq 2L_{1} \frac{\mathcal{B}(\varsigma _{1},\theta _{1})}{\varGamma (\theta _{1})} \mathcal{K}_{\psi }^{\theta _{1}+1}(T,a) \bigl\Vert x-x^{\ast } \bigr\Vert _{E}, \end{aligned}$$

which implies

$$ \bigl\Vert ( \mathcal{N}_{1}x ) - \bigl( \mathcal{N}_{1}x^{ \ast } \bigr) \bigr\Vert _{E}\leq \varLambda _{f_{1}} \bigl\Vert x-x^{ \ast } \bigr\Vert _{E}. $$

By the same technique, we can also get

$$ \bigl\Vert ( \mathcal{N}_{2}y ) - \bigl( \mathcal{N}_{2}y^{ \ast } \bigr) \bigr\Vert _{E}\leq \varLambda _{f_{2}} \bigl\Vert x-x^{ \ast } \bigr\Vert _{E}. $$

In view of the conditions \(\varLambda _{f_{1}}<1\) and \(\varLambda _{f_{2}}<1\), we get

$$ \bigl\Vert \mathcal{N}(y,x)-\mathcal{N}\bigl(y^{\ast },x^{\ast } \bigr) \bigr\Vert _{E\times E}< \bigl\Vert (y,x)-\bigl(y^{\ast },x^{\ast } \bigr) \bigr\Vert _{E\times E}. $$

Thus \(\mathcal{N}\) is a contraction mapping. In accordance with Theorem 2, \(\mathcal{N}\) has a unique fixed point \(( \widehat{y},\widehat{x} ) \in E\times E\).

Step(3): We show that such a fixed point \(( \widehat{y},\widehat{x} ) \in C_{1-\varsigma _{1};\psi } [ a,T ] \times C_{1-\varsigma _{2};\psi } [ a,T ] \) is actually in \(C_{1-\varsigma _{1};\psi }^{\varsigma _{1}} [ a,T ] \times C_{1-\varsigma _{2};\psi }^{\varsigma _{2}} [ a,T ] \). Since ŷ and are the unique fixed points of \(\mathcal{N}_{1}\) and \(\mathcal{N}_{2}\) in \(C_{1-\varsigma _{1};\psi } [ a,T ] \times C_{1-\varsigma _{2}; \psi } [ a,T ] \) respectively, then for \(t\in ( a,T ] \), we have

$$ \textstyle\begin{cases} \widehat{y}(t)= \frac{\mathcal{K}_{\psi }^{\varsigma _{1}}(t,a)}{\mathcal{K}_{\psi }^{\varsigma _{1}}(T,a)} [ w_{1}- \frac{1}{\varGamma (\theta _{1})}\int _{a}^{T}\mathcal{H}_{\psi }^{\theta _{1}}(T,s)f_{1}(s, \widehat{x}(s))\,ds ] \\ \hphantom{\widehat{y}(t)=}{}+\frac{1}{\varGamma (\theta _{1})}\int _{a}^{t}\mathcal{H}_{\psi }^{ \theta _{1}}(t,s)f_{1}(s,\widehat{x}(s))\,ds, \\ \widehat{x}(t)= \frac{\mathcal{K}_{\psi }^{\varsigma _{2}}(t,a)}{\mathcal{K}_{\psi }^{\varsigma _{2}}(T,a)} [ w_{2}- \frac{1}{\varGamma (\theta _{2})}\int _{a}^{T}\mathcal{H}_{\psi }^{\theta _{2}}(T,s)f_{2}(s, \widehat{y}(s))\,ds ] \\ \hphantom{\widehat{x}(t)=}{}+\frac{1}{\varGamma (\theta _{2})}\int _{a}^{t}\mathcal{H}_{\psi }^{ \theta _{2}}(t,s)f_{2}(s,\widehat{y}(s))\,ds. \end{cases} $$

Multiplying both sides of the last system by \(D_{a^{+}}^{\varsigma _{1},\psi }\), \(D_{a^{+}}^{\varsigma _{2},\psi }\) respectively, it follows from Lemmas 6 and 3 that

$$ \textstyle\begin{cases} D_{a^{+}}^{\varsigma _{1},\psi }\widehat{y}(t)=D_{a^{+}}^{\varsigma _{1}, \psi }I_{a^{+}}^{\theta _{1};\psi }f_{1}(s,\widehat{x}(s))(t)=D_{a^{+}}^{\eta _{1}(1-\theta _{1});\psi }f_{1}(s,\widehat{x}(s)), \\ D_{a^{+}}^{\varsigma _{2},\psi }\widehat{x}(t)=D_{a^{+}}^{\varsigma _{2}, \psi }I_{a^{+}}^{\theta _{2};\psi }f_{2}(s,\widehat{y}(s))(t)=D_{a^{+}}^{\eta _{2}(1-\theta _{2});\psi }f_{2}(s,\widehat{y}(s)).\end{cases} $$

Since \(\varsigma _{i}\geq \theta _{i}\) (\(i=1,2\)) and by (\(H_{1}\)), we get

$$ \textstyle\begin{cases} D_{a^{+}}^{\eta _{1}(1-\theta _{1});\psi }f_{1}(s,\widehat{x}(s))\in C_{1- \varsigma _{1};\psi } [ a,T ] , \\ D_{a^{+}}^{\eta _{2}(1-\theta _{2});\psi }f_{2}(s,\widehat{y}(s))\in C_{1- \varsigma _{2};\psi } [ a,T ] .\end{cases} $$

Hence, \(D_{a^{+}}^{\varsigma _{1},\psi }\widehat{y}\in C_{1-\varsigma _{1}; \psi } [ a,T ] \) and \(D_{a^{+}}^{\varsigma _{2},\psi }\widehat{x}\in C_{1-\varsigma _{2};\psi } [ a,T ] \), it follows from the definition of \(C_{1-\varsigma _{i};\psi }^{\varsigma _{i}} [ a,T ] \) (\(i=1,2\)) that \(\widehat{y}\in C_{1-\varsigma _{1};\psi }^{\varsigma _{1}} [ a,T ] \) and \(\widehat{x}\in C_{1-\varsigma _{2};\psi }^{\varsigma _{2}} [ a,T ] \). As a sequel to the steps outlined above, we infer that the ψ-Hilfer coupled system (3)–(4) has a unique solution in \(C_{1-\varsigma _{1};\psi }^{\varsigma _{1}} [ a,T ] \times C_{1-\varsigma _{2};\psi }^{\varsigma _{2}} [ a,T ] \). □

We exhibit now the next result, which relies on Theorem 1.

Theorem 5

Assume that (\(H_{1}\))(\(H_{2}\)) hold. Then theψ-Hilfer coupled system (3)(4) has at least one solution.

Proof

Let \(\mathcal{K}\subset \mathcal{S}_{R}\subseteq E\times E\) be a bounded set, and we define the operators \(\mathcal{F}_{1}\), \(\mathcal{G}_{1}\): \(E\rightarrow E\) and \(\mathcal{F}_{2}\), \(\mathcal{G}_{2}\): \(E\rightarrow E\) by

$$\begin{aligned}& ( \mathcal{F}_{1}x ) (t)=\frac{1}{\varGamma (\theta _{1})} \int _{a}^{t}\mathcal{H}_{\psi }^{\theta _{1}}(t,s)f_{1} \bigl(s,x(s)\bigr)\,ds, \\& ( \mathcal{G}_{1}x ) (t)= \frac{\mathcal{K}_{\psi }^{\varsigma _{1}}(t,a)}{\mathcal{K}_{\psi }^{\varsigma _{1}}(T,a)} \biggl[ w_{1}- \frac{1}{\varGamma (\theta _{1})} \int _{a}^{T}\mathcal{H}_{\psi }^{\theta _{1}}(T,s)f_{1} \bigl(s,x(s)\bigr)\,ds \biggr] , \\& ( \mathcal{F}_{2}y ) (t)=\frac{1}{\varGamma (\theta _{2})} \int _{a}^{t}\mathcal{H}_{\psi }^{\theta _{2}}(t,s)f_{2} \bigl(s,y(s)\bigr)\,ds, \\& ( \mathcal{G}_{2}y ) (t)= \frac{\mathcal{K}_{\psi }^{\varsigma _{2}}(t,a)}{\mathcal{K}_{\psi }^{\varsigma _{2}}(T,a)} \biggl[ w_{2}-\frac{1}{\varGamma (\theta _{2})} \int _{a}^{T}\mathcal{H}_{\psi }^{\theta _{2}}(T,s)f_{2} \bigl(s,y(s)\bigr)\,ds \biggr] . \end{aligned}$$

From the above-mentioned operators, we are able to write \(\mathcal{N}_{1}=\mathcal{F}_{1}+\mathcal{G}_{1}\) and \(\mathcal{N}_{2}=\mathcal{F}_{2}+\mathcal{G}_{2}\). Thus, the operator \(\mathcal{N}\) can be expressed as

$$ \mathcal{N=F}+\mathcal{G}\quad \text{such that }\mathcal{F} ( y,x ) = ( \mathcal{F}_{1}x,\mathcal{F}_{2}y ) \text{ and } \mathcal{G} ( y,x ) = ( \mathcal{G}_{1}x, \mathcal{G}_{2}y ). $$

The proof will be divided into several stages as follows:

Stage(1): \(\mathcal{N}\) is continuous.

The continuity of \(f_{1}\) and \(f_{2}\) implies the continuity of \(\mathcal{N}\).

Stage(2): \(\mathcal{F}(\mathcal{K})\) is uniformly bounded.

Let \(( y,x ) \in \mathcal{K}\), \(t\in ( a,T ] \). Then, by using (\(H_{2}\)), we have

$$\begin{aligned} \Vert \mathcal{F}_{1}x \Vert _{E} =&\max _{t\in {[} a,T]} \bigl\vert \bigl[ \psi (t)-\psi (a) \bigr] ^{1-\varsigma _{1}} ( \mathcal{F}_{1}x ) (t) \bigr\vert \\ \leq &\max_{t\in {[} a,T]} \frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(t,a)} \frac{1}{\varGamma (\theta _{1})} \int _{a}^{t}\mathcal{H}_{\psi }^{ \theta _{1}}(t,s)f_{1} \bigl(s,x(s)\bigr)\,ds \\ \leq &\max_{t\in {[} a,T]} \frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(t,a)} \frac{1}{\varGamma (\theta _{1})} \int _{a}^{t}\mathcal{H}_{\psi }^{ \theta _{1}}(t,s) \bigl( \bigl\vert f_{1}\bigl(s,x(s)\bigr)-f_{1}(s,0) \bigr\vert + \bigl\vert f_{1}(s,0) \bigr\vert \bigr) \,ds \\ \leq &\max_{t\in {[} a,T]} \frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(t,a)} \frac{1}{\varGamma (\theta _{1})} \int _{a}^{t}\mathcal{H}_{\psi }^{ \theta _{1}}(t,s) \bigl( A_{1}+L_{1} \bigl[ \psi (s)-\psi (a) \bigr] ^{ \varsigma _{1}-1} \Vert x \Vert _{E} \bigr) \,ds \\ \leq &\max_{t\in {[} a,T]} \biggl[ \frac{A_{1}}{\varGamma (\theta _{1}+1)}\mathcal{K}_{\psi }^{2}(t,a)+L_{1} \frac{\mathcal{B}(\varsigma _{1},\theta _{1})}{\varGamma (\theta _{1})} \mathcal{K}_{\psi }^{\theta _{1}+1}(t,a) \Vert x \Vert _{E} \biggr] \\ \leq & \biggl[ \frac{A_{1}}{\varGamma (\theta _{1}+1)}+L_{1} \frac{\mathcal{B}(\varsigma _{1},\theta _{1})}{\varGamma (\theta _{1})} \biggr] \mathcal{K}_{\psi }^{2}(T,a) \Vert x \Vert _{E}:=R_{1}, \end{aligned}$$
(26)

where \(\mathcal{K}_{\psi }^{\theta _{1}+1}(t,a)<\mathcal{K}_{\psi }^{2}(t,a)\)for \(0<\theta _{1}<1\). In the same fashion, we get

$$ \Vert \mathcal{F}_{2}y \Vert _{E}\leq \biggl[ \frac{A_{2}}{\varGamma (\theta _{2}+1)}+L_{2} \frac{\mathcal{B}(\varsigma _{2},\theta _{2})}{\varGamma (\theta _{2})} \biggr] \mathcal{K}_{\psi }^{2}(T,a) \Vert y \Vert _{E}:=R_{2}, $$

which implies

$$ \bigl\Vert \mathcal{F}(y,x) \bigr\Vert _{E\times E}\leq \max ( R_{1},R_{2} ) . $$

This proves \(\mathcal{F}(\mathcal{K})\) is uniformly bounded.

Stage(3): \(\mathcal{F}(\mathcal{K})\) is equicontinuous in \(\mathcal{K}\).

Let \((y,x)\in \mathcal{K}\) and \(t_{1},t_{2}\in ( a,T ] \) with \(t_{1}< t_{2}\). Then we have

$$\begin{aligned}& \bigl\vert \bigl[ \psi (t_{2})-\psi (a) \bigr] ^{1-\varsigma _{1}} ( \mathcal{F}_{1}x ) (t_{2})- \bigl[ \psi (t_{1})- \psi (a) \bigr] ^{1-\varsigma _{1}} ( \mathcal{F}_{1}x ) (t_{1}) \bigr\vert \\& \quad \leq \frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(t_{2},a)} \frac{1}{\varGamma (\theta _{1})} \int _{t_{1}}^{t_{2}}\mathcal{H}_{\psi }^{ \theta _{1}}(t_{2},s) \bigl\vert f_{1}\bigl(s,x(s)\bigr) \bigr\vert \,ds \\& \qquad {}+\frac{1}{\varGamma (\theta _{1})} \biggl\vert \int _{a}^{t_{1}} \frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(t_{2},a)} \mathcal{H}_{\psi }^{ \theta _{1}}(t_{2},s)- \frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(t_{1},a)}\mathcal{H}_{\psi }^{\theta _{1}}(t_{1},s) \biggr\vert \bigl\vert f_{1}\bigl(s,x(s)\bigr) \bigr\vert \,ds \\& \quad \leq \frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(t_{2},a)} \bigl( I_{t_{1}}^{ \theta _{1},\psi } \bigl[ \psi (s)-\psi (a) \bigr] ^{\varsigma _{1}-1} \bigr) (t_{2}) \bigl\Vert f_{1}\bigl(\cdot ,x(\cdot )\bigr) \bigr\Vert _{E} \\& \qquad {}+ \biggl\vert \frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(t_{2},a)} \bigl( I_{a}^{ \theta _{1},\psi } \bigl[ \psi (s)-\psi (a) \bigr] ^{\varsigma _{1}-1} \bigr) (t_{2}) \\& \qquad {}-\frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(t_{1},a)} \bigl( I_{a}^{\theta _{1},\psi } \bigl[ \psi (s)-\psi (a) \bigr] ^{ \varsigma _{1}-1} \bigr) (t_{1}) \biggr\vert \bigl\Vert f_{1}\bigl( \cdot ,x(\cdot )\bigr) \bigr\Vert _{E} \\& \quad \leq \frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(t_{2},a)} \frac{\mathcal{B}(\varsigma _{1},\theta _{1})}{\varGamma (\theta _{1})} \bigl( \bigl[ \psi (t_{2})-\psi (t_{1}) \bigr] ^{\theta _{1}+\varsigma _{1}-1} \bigr) \bigl\Vert f_{1}\bigl(\cdot ,x(\cdot )\bigr) \bigr\Vert _{E} \\& \qquad {} + \biggl\vert \frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(t_{2},a)} \frac{\mathcal{B}(\varsigma _{1},\theta _{1})}{\varGamma (\theta _{1})} \bigl( \bigl[ \psi (t_{2})-\psi (a) \bigr] ^{\theta _{1}+\varsigma _{1}-1} \bigr) \\& \qquad {} -\frac{1}{\mathcal{K}_{\psi }^{\varsigma _{1}}(t_{1},a)} \frac{\mathcal{B}(\varsigma _{1},\theta _{1})}{\varGamma (\theta _{1})} \bigl( \bigl[ \psi (t_{1})-\psi (a) \bigr] ^{\theta _{1}+\varsigma _{1}-1} \bigr) \biggr\vert \bigl\Vert f_{1}\bigl(\cdot ,x(\cdot )\bigr) \bigr\Vert _{E} \\& \quad \leq \frac{\mathcal{B}(\varsigma _{1},\theta _{1})}{\varGamma (\theta _{1})} \bigl\Vert f_{1}\bigl(\cdot ,x( \cdot )\bigr) \bigr\Vert _{E} \biggl[ \frac{ [ \psi (t_{2})-\psi (t_{1}) ] ^{\theta _{1}+\varsigma _{1}-1}}{\mathcal{K}_{\psi }^{\varsigma _{1}}(t_{2},a)} \\& \qquad {}+ \bigl\vert \bigl[ \psi (t_{2})-\psi (a) \bigr] ^{\theta _{1}}- \bigl[ \psi (t_{1})-\psi (a) \bigr] ^{\theta _{1}} \bigr\vert \biggr], \end{aligned}$$

which leads to

$$ \bigl\Vert ( \mathcal{F}_{1}x ) (t_{2})- ( \mathcal{F}_{1}x ) (t_{1}) \bigr\Vert _{E}\rightarrow 0,\quad \text{as } t_{2}\rightarrow t_{1}. $$

Again applying the same reasoning, we have

$$ \bigl\Vert \mathcal{F}_{2}y(t_{2})-\mathcal{F}_{2}y(t_{1}) \bigr\Vert _{E}\rightarrow 0,\quad \text{as } t_{2} \rightarrow t_{1}. $$

This exhibits that \(\mathcal{F}(\mathcal{K})\) is equicontinuous. Stages 1–3 show that \(\mathcal{F}\) is relatively compact on \(\mathcal{K}\). By \(E ( =C_{1-\varsigma ;\psi } ) \) type Arzelá–Ascoli theorem, \(\mathcal{F}\) is compact on \(\mathcal{K}\).

Stage(4): \(\mathcal{Q}\) is a contraction operator.

Let \((y,x),(y^{\ast },x^{\ast })\in E\times E\) and \(t\in ( a,T ] \). Then, by applying (\(H_{2}\)), we easily get

$$ \bigl\Vert ( \mathcal{G}_{1}x ) - \bigl( \mathcal{G}_{1}x^{ \ast } \bigr) \bigr\Vert _{E}\leq \varLambda _{f_{1}} \bigl\Vert x-x^{ \ast } \bigr\Vert _{E} $$

and

$$ \bigl\Vert ( \mathcal{G}_{2}y ) - \bigl( \mathcal{G}_{2}y^{ \ast } \bigr) \bigr\Vert _{E}\leq \varLambda _{f_{2}} \bigl\Vert y-y^{ \ast } \bigr\Vert _{E}. $$

Since \(\varLambda _{f_{1}},\varLambda _{f_{2}}<1\), \(\mathcal{G}\) is a contraction mapping. Using Theorem 1, we see that \(\mathcal{N}\) has at least one fixed point, which is the corresponding solution of ψ-Hilfer coupled system (3)–(4). □

Ulam–Hyers stability

This part is devoted to proving the Ulam–Hyers (U-H) and generalized Ulam–Hyers (G-U-H) stability of solution to the ψ-Hilfer coupled system (3)–(4).

Definition 5

The ψ-Hilfer coupled system (3)–(4) is U-H stable if there exists \(\lambda = ( \lambda _{f_{1}},\lambda _{f_{2}} ) >0\) with the following property: For some \(\epsilon = ( \epsilon _{1},\epsilon _{2} ) >0\) and each \((\widetilde{y},\widetilde{x})\in E\times E\), if

$$\begin{aligned}& \bigl\vert D_{a^{+}}^{\theta _{1},\eta _{1},\psi }\widetilde{y}(t)-f_{1} \bigl(t,\widetilde{x}(t)\bigr) \bigr\vert \leq \epsilon _{1}, \end{aligned}$$
(27)
$$\begin{aligned}& \bigl\vert D_{a^{+}}^{\theta _{2},\eta _{2},\psi }\widetilde{x}(t)-f_{2} \bigl(t,\widetilde{y}(t)\bigr) \bigr\vert \leq \epsilon _{2}, \end{aligned}$$
(28)

then there exists \((y,x)\in E\times E\) satisfying coupled system (3) with the following coupled boundary conditions:

$$ \textstyle\begin{cases} y(T)=\widetilde{y}(T), \\ x(T)=\widetilde{x}(T), \end{cases} $$
(29)

complying with

$$ \bigl\Vert ( \widetilde{y},\widetilde{x} ) -(y,x) \bigr\Vert _{E\times E}\leq \lambda \epsilon . $$

Definition 6

The ψ-Hilfer coupled system (3)–(4) is G-U-H stable if there exists \(\varphi = ( \varphi _{f_{1}},\varphi _{f_{2}} ) \in C(\mathbb{R} ^{+},\mathbb{R} ^{+})\) with \(\varphi (0)= ( \varphi _{f_{1}}(0),\varphi _{f_{2}}(0) ) =(0,0)\) such that for some \(\epsilon = ( \epsilon _{1},\epsilon _{2} ) >0\) and for each solution \((\widetilde{y},\widetilde{x})\in E\times E\) of inequalities (27), (28) there exists a solution \((y,x)\in E\times E\) of coupled system (3)–(29) complying with

$$ \bigl\Vert ( \widetilde{y},\widetilde{x} ) -(y,x) \bigr\Vert _{E\times E}\leq \varphi (\epsilon ). $$

Remark 1

A function \((\widetilde{y},\widetilde{x})\in E\times E\) is a solution of inequalities (27)–(28) if and only if there exists a function \(( h_{1},h_{2} ) \in E\times E\) (where \(h_{1}\) depends on solution and \(h_{2}\) depends on solution ) such that

  1. (i)

    \(|h_{1}(t)|\leq \epsilon _{1}\) and \(|h_{2}(t)|\leq \epsilon _{2}\) for \(t\in (a,T]\),

  2. (ii)

    For \(t\in (a,T]\),

    $$ \textstyle\begin{cases} D_{a^{+}}^{\theta _{1},\eta _{1},\psi }\widetilde{y}(t)=f_{1}(t, \widetilde{x}(t))+h_{1}(t), \\ D_{a^{+}}^{\theta _{2},\eta _{2},\psi }\widetilde{x}(t)=f_{2}(t, \widetilde{y}(t))+h_{2}(t).\end{cases} $$

Lemma 8

Let\((\widetilde{y},\widetilde{x})\in E\times E\)be the solution of inequalities (27)(28). Then\((y,x)\in E\times E\)is the solution of the following fractional integral inequalities:

$$ \biggl\vert \widetilde{y}(t)-Z_{\widetilde{x}}- \frac{1}{\varGamma (\theta _{1})}\int _{a}^{t}\mathcal{H}_{\psi }^{\theta _{1}}(t,s)f_{1} \bigl(s, \widetilde{x}(s)\bigr)\,ds \biggr\vert \leq \frac{2\epsilon _{1}\mathcal{K}_{\psi }^{\theta _{1}+1}(T,a)}{\varGamma (\theta _{1}+1)} $$

and

$$ \biggl\vert \widetilde{x}(t)-Z_{\widetilde{u}}- \frac{1}{\varGamma (\theta _{2})}\int _{a}^{t}\mathcal{H}_{\psi }^{\theta _{2}}(t,s)f_{2} \bigl(s, \widetilde{y}(s)\bigr)\,ds \biggr\vert \leq \frac{2\epsilon _{2}\mathcal{K}_{\psi }^{\theta _{2}+1}(T,a)}{\varGamma (\theta _{2}+1)}, $$

where

$$ Z_{\widetilde{x}}:= \frac{\mathcal{K}_{\psi }^{\varsigma _{1}}(t,a)}{\mathcal{K}_{\psi }^{\varsigma _{1}}(T,a)} \biggl[ w_{1}- \frac{1}{\varGamma (\theta _{1})}\int _{a}^{T}\mathcal{H}_{\psi }^{\theta _{1}}(T,s)f_{1} \bigl(s, \widetilde{x}(s)\bigr)\,ds \biggr] $$

and

$$ Z_{\widetilde{y}}:= \frac{\mathcal{K}_{\psi }^{\varsigma _{2}}(t,a)}{\mathcal{K}_{\psi }^{\varsigma _{2}}(T,a)} \biggl[ w_{2}- \frac{1}{\varGamma (\theta _{2})}\int _{a}^{T}\mathcal{H}_{\psi }^{\theta _{2}}(T,s)f_{2} \bigl(s, \widetilde{y}(s)\bigr)\,ds \biggr] . $$

Proof

Thanks to Remark 1, we have

$$ \textstyle\begin{cases} D_{a^{+}}^{\theta _{1},\eta _{1},\psi }\widetilde{y}(t)=f_{1}(t, \widetilde{x}(t))+h_{1}(t), \\ D_{a^{+}}^{\theta _{2},\eta _{2},\psi }\widetilde{x}(t)=f_{2}(t, \widetilde{y}(t))+h_{2}(t), \\ \widetilde{y}(T)=w_{1},\qquad \widetilde{x}(T)=w_{2}. \end{cases} $$
(30)

Thanks to Theorem 15, the solution of (30) is defined by

$$ \widetilde{y}(t)= \textstyle\begin{cases} \frac{\mathcal{K}_{\psi }^{\varsigma _{1}}(t,a)}{\mathcal{K}_{\psi }^{\varsigma _{1}}(T,a)} [ w_{1}-\frac{1}{\varGamma (\theta _{1})}\int _{a}^{T}\mathcal{H}_{\psi }^{\theta _{1}}(T,s)f_{1}(s, \widetilde{x}(s))\,ds ] \\ \quad {}+ \frac{\mathcal{K}_{\psi }^{\varsigma _{1}}(t,a)}{\mathcal{K}_{\psi }^{\varsigma _{1}}(T,a)} [ w_{1}-\frac{1}{\varGamma (\theta _{1})}\int _{a}^{T}\mathcal{H}_{\psi }^{\theta _{1}}(T,s)h_{1}(s)\,ds ] \\ \quad {}+\frac{1}{\varGamma (\theta _{1})}\int _{a}^{t}\mathcal{H}_{\psi }^{ \theta _{1}}(t,s)h_{1}(s)\,ds \\ \quad {}+\frac{1}{\varGamma (\theta _{1})}\int _{a}^{t}\mathcal{H}_{\psi }^{ \theta _{1}}(t,s)f_{1}(s,\widetilde{x}(s))\,ds \end{cases} $$
(31)

and

$$ \widetilde{x}(t)= \textstyle\begin{cases} \frac{\mathcal{K}_{\psi }^{\varsigma _{2}}(t,a)}{\mathcal{K}_{\psi }^{\varsigma _{2}}(T,a)} [ w_{2}-\frac{1}{\varGamma (\theta _{2})}\int _{a}^{T}\mathcal{H}_{\psi }^{\theta _{2}}(T,s)f_{2}(s, \widetilde{y}(s))\,ds ] \\ \quad {}+ \frac{\mathcal{K}_{\psi }^{\varsigma _{2}}(t,a)}{\mathcal{K}_{\psi }^{\varsigma _{2}}(T,a)} [ w_{2}-\frac{1}{\varGamma (\theta _{1})}\int _{a}^{T}\mathcal{H}_{\psi }^{\theta _{2}}(T,s)h_{1}(s)\,ds ] \\ \quad {}+\frac{1}{\varGamma (\theta _{2})}\int _{a}^{t}\mathcal{H}_{\psi }^{ \theta _{2}}(t,s)h_{1}(s)\,ds \\ \quad {}+\frac{1}{\varGamma (\theta _{2})}\int _{a}^{t}\mathcal{H}_{\psi }^{ \theta _{2}}(t,s)f_{2}(s,\widetilde{y}(s))\,ds. \end{cases} $$
(32)

It follows from (31) and (32) with using Lemma 8 that

$$\begin{aligned}& \biggl\vert \widetilde{y}(t)-Z_{\widetilde{x}}- \frac{1}{\varGamma (\theta _{1})} \int _{a}^{t}\mathcal{H}_{\psi }^{\theta _{1}}(t,s)f_{1} \bigl(s, \widetilde{x}(s)\bigr)\,ds \biggr\vert \\& \quad \leq \frac{\mathcal{K}_{\psi }^{\varsigma _{1}}(t,a)}{\mathcal{K}_{\psi }^{\varsigma _{1}}(T,a)} \frac{1}{\varGamma (\theta _{1})} \int _{a}^{T}\mathcal{H}_{\psi }^{\theta _{1}}(T,s) \bigl\vert h_{1}(s) \bigr\vert \,ds+ \frac{1}{\varGamma (\theta _{1})} \int _{a}^{t}\mathcal{H}_{\psi }^{ \theta _{1}}(t,s) \bigl\vert h_{1}(s) \bigr\vert \,ds \\& \quad \leq \epsilon _{1} \frac{\mathcal{K}_{\psi }^{\varsigma _{1}}(t,a)}{\mathcal{K}_{\psi }^{\varsigma _{1}}(T,a)} \frac{1}{\varGamma (\theta _{1}+1)}\mathcal{K}_{\psi }^{\theta _{1}+1}(T,a)+ \frac{\epsilon _{1}}{\varGamma (\theta _{1}+1)} \mathcal{K}_{\psi }^{ \theta _{1}+1}(t,a) \\& \quad \leq \frac{2\epsilon _{1}\mathcal{K}_{\psi }^{\theta _{1}+1}(T,a)}{\varGamma (\theta _{1}+1)}, \end{aligned}$$

where \(\mathcal{K}_{\psi }^{\mu }(t,a)\leq \mathcal{K}_{\psi }^{\mu }(T,a)\). Along the same lines, we can also get

$$ \biggl\vert \widetilde{x}(t)-Z_{\widetilde{u}}- \frac{1}{\varGamma (\theta _{2})}\int _{a}^{t}\mathcal{H}_{\psi }^{\theta _{2}}(t,s)f_{2} \bigl(s, \widetilde{y}(s)\bigr)\,ds \biggr\vert \leq \frac{2\epsilon _{2}\mathcal{K}_{\psi }^{\theta _{2}+1}(T,a)}{\varGamma (\theta _{2}+1)}. $$

 □

Theorem 6

Under the assumptions of Theorem 4, if\(1-\mathcal{C}_{\theta _{1}}\mathcal{C}_{\theta _{2}}\neq 0\), then theψ-Hilfer coupled system (3)(4) will be U-H and G-U-H stable in\(E\times E \), where\(\mathcal{C}_{\theta _{1}}:= \frac{\varGamma (\varsigma _{1})L_{1}}{\varGamma (\varsigma _{1}+\theta _{1})}\mathcal{K}_{\psi }^{\theta _{1}+1}(T,a) \)and\(\mathcal{C}_{\theta _{2}}:= \frac{\varGamma (\varsigma _{2})L_{2}}{\varGamma (\varsigma _{2}+\theta _{2})} \mathcal{K}_{\psi }^{\theta _{2}+1}(T,a)\).

Proof

Let \((\widetilde{y},\widetilde{x})\in E\times E\) be the solution of coupled system (30) and \((y,x)\in E\times E\) be a unique solution of the ψ-Hilfer coupled system (3)–(4) with the conditions

$$ \textstyle\begin{cases} y(T)=\widetilde{y}(T)=w_{1}, \\ x(T)=\widetilde{x}(T)=w_{2}.\end{cases} $$
(33)

That is,

$$ y(t)=Z_{x}+\frac{1}{\varGamma (\theta _{1})} \int _{a}^{t}\mathcal{H}_{ \psi }^{\theta _{1}}(t,s)f_{1} \bigl(s,x(s)\bigr)\,ds $$
(34)

and

$$ x(t)=Z_{y}+\frac{1}{\varGamma (\theta _{2})} \int _{a}^{t}\mathcal{H}_{ \psi }^{\theta _{2}}(t,s)f_{2} \bigl(s,y(s)\bigr)\,ds. $$
(35)

Due to (33), \(Z_{\widetilde{x}}=Z_{x}\) and \(Z_{\widetilde{y}}=Z_{y}\). Hence relations (34) and (35) become

$$ y(t)=Z_{\widetilde{x}}+\frac{1}{\varGamma (\theta _{1})} \int _{a}^{t} \mathcal{H}_{\psi }^{\theta _{1}}(t,s)f_{1} \bigl(s,x(s)\bigr)\,ds $$

and

$$ x(t)=Z_{\widetilde{y}}+\frac{1}{\varGamma (\theta _{2})} \int _{a}^{t} \mathcal{H}_{\psi }^{\theta _{2}}(t,s)f_{2} \bigl(s,y(s)\bigr)\,ds. $$

Through Lemma 8, we arrive at

$$ \biggl\vert \widetilde{y}(t)-Z_{\widetilde{x}}- \frac{1}{\varGamma (\theta _{1})}\int _{a}^{t}\mathcal{H}_{\psi }^{\theta _{1}}(t,s)f_{1} \bigl(s, \widetilde{x}(s)\bigr)\,ds \biggr\vert \leq \mathcal{A}_{1}\epsilon _{1} $$
(36)

and

$$ \biggl\vert \widetilde{x}(t)-Z_{\widetilde{u}}- \frac{1}{\varGamma (\theta _{2})}\int _{a}^{t}\mathcal{H}_{\psi }^{\theta _{2}}(t,s)f_{2} \bigl(s, \widetilde{y}(s)\bigr)\,ds \biggr\vert \leq \mathcal{A}_{2}\epsilon _{2}, $$
(37)

where \(\mathcal{A}_{1}= \frac{2\mathcal{K}_{\psi }^{\theta _{1}+1}(T,a)}{\varGamma (\theta _{1}+1)}\) and \(\mathcal{A}_{2}= \frac{2\mathcal{K}_{\psi }^{\theta _{2}+1}(T,a)}{\varGamma (\theta _{2}+1)}\).

Thus, by (\(H_{2}\)) and inequalities (36), (37), we reach

$$\begin{aligned}& \bigl\vert \widetilde{y}(t)-y(t) \bigr\vert \\& \quad = \biggl\vert \widetilde{y}(t)-Z_{\widetilde{x}}- \frac{1}{\varGamma (\theta _{1})} \int _{a}^{t}\mathcal{H}_{\psi }^{ \theta _{1}}(t,s)f_{1} \bigl(s,\widetilde{x}(s)\bigr)\,ds \biggr\vert \\& \qquad {} +\frac{1}{\varGamma (\theta _{1})} \int _{a}^{t}\mathcal{H}_{\psi }^{ \theta _{1}}(t,s) \bigl\vert f_{1}\bigl(s,\widetilde{x}(s)\bigr)-f_{1} \bigl(s,x(s)\bigr) \bigr\vert \,ds \\& \quad \leq \mathcal{A}_{1}\epsilon _{1}+\frac{1}{\varGamma (\theta _{1})}\int _{a}^{t}\mathcal{H}_{\psi }^{\theta _{1}}(t,s)L_{1} \bigl\vert \widetilde{x}(s)-x(s) \bigr\vert \,ds \\& \quad \leq \mathcal{A}_{1}\epsilon _{1}+ \frac{\varGamma (\varsigma _{1})L_{1}}{\varGamma (\varsigma _{1}+\theta _{1})} \mathcal{K}_{\psi }^{\theta _{1}+ \varsigma _{1}}(t,a) \Vert \widetilde{x}-x \Vert _{E}, \end{aligned}$$

which implies

$$\begin{aligned}& \Vert \widetilde{y}-y \Vert _{E}\leq \overline{ \mathcal{A}_{1}}\epsilon _{1}+\mathcal{C}_{\theta _{1}} \Vert \widetilde{x}-x \Vert _{E}, \end{aligned}$$
(38)

where \(\overline{\mathcal{A}_{1}}:= \frac{\mathcal{A}_{1}}{\mathcal{K}_{\psi }^{\varsigma _{1}}(T,a)}\).

Similarly, we have

$$ \Vert \widetilde{x}-x \Vert _{E}\leq \overline{ \mathcal{A}_{2}}\epsilon _{2}+ \mathcal{C}_{\theta _{2}} \Vert \widetilde{y}-y \Vert _{E}, $$
(39)

where \(\overline{\mathcal{A}_{2}}:= \frac{\mathcal{A}_{2}}{\mathcal{K}_{\psi }^{\varsigma _{2}}(T,a)}\). Inequalities (38) and (39) can be rewritten again as follows:

$$ \textstyle\begin{cases} \Vert \widetilde{y}-y \Vert _{E}-\mathcal{C}_{\theta _{1}} \Vert \widetilde{x}-x \Vert _{E}\leq \overline{\mathcal{A}_{1}}\epsilon _{1}, \\ \Vert \widetilde{x}-x \Vert _{E}-\mathcal{C}_{\theta _{2}} \Vert \widetilde{y}-y \Vert _{E}\leq \overline{\mathcal{A}_{2}}\epsilon _{2}.\end{cases} $$
(40)

Now, we will represent the relations in (40) as matrices as follows:

$$ \begin{pmatrix} 1 & -\mathcal{C}_{\theta _{1}} \\ -\mathcal{C}_{\theta _{2}} & 1\end{pmatrix} \begin{pmatrix} \Vert \widetilde{y}-y \Vert _{E} \\ \Vert \widetilde{x}-x \Vert _{E}\end{pmatrix} \leq \begin{pmatrix} \overline{\mathcal{A}_{1}}\epsilon _{1} \\ \overline{\mathcal{A}_{2}}\epsilon _{2}\end{pmatrix} . $$

After simple computations of the above inequality, we can write

$$ \begin{pmatrix} \Vert \widetilde{y}-y \Vert _{E} \\ \Vert \widetilde{x}-x \Vert _{E}\end{pmatrix} \leq \begin{pmatrix} \frac{1}{\Delta } & \frac{\mathcal{C}_{\theta _{1}}}{\Delta } \\ \frac{\mathcal{C}_{\theta _{2}}}{\Delta } & \frac{1}{\Delta }\end{pmatrix} \times \begin{pmatrix} \overline{\mathcal{A}_{1}}\epsilon _{1} \\ \overline{\mathcal{A}_{2}}\epsilon _{2}\end{pmatrix}, $$

where \(\Delta =1-\mathcal{C}_{\theta _{1}}\mathcal{C}_{\theta _{2}}\neq 0\). This leads to

$$\begin{aligned}& \Vert \widetilde{y}-y \Vert _{E}\leq \frac{\overline{\mathcal{A}_{1}}}{\Delta }\epsilon _{1}+ \frac{\mathcal{C}_{\theta _{1}}\overline{\mathcal{A}_{2}}}{\Delta }\epsilon _{2}, \\& \Vert \widetilde{x}-x \Vert _{E}\leq \frac{\mathcal{C}_{\theta _{2}}\overline{\mathcal{A}_{1}}}{\Delta } \epsilon _{1}+\frac{\overline{\mathcal{A}_{2}}}{\Delta }\epsilon _{2}. \end{aligned}$$

By compiling the above two inequalities, we get

$$ \Vert \widetilde{y}-y \Vert _{E}+ \Vert \widetilde{x}-x \Vert _{E}\leq \biggl( \frac{\overline{\mathcal{A}_{1}}+\mathcal{C}_{\theta _{2}}\overline{\mathcal{A}_{1}}}{\Delta } \biggr) \epsilon _{1}+ \biggl( \frac{\overline{\mathcal{A}_{2}}+\mathcal{C}_{\theta _{1}}\overline{\mathcal{A}_{2}}}{\Delta } \biggr) \epsilon _{2}. $$

For \(\epsilon =\max \{\epsilon _{1},\epsilon _{2}\}\) and

$$ \mathcal{\lambda }= \biggl( \frac{\overline{\mathcal{A}_{1}}+\mathcal{C}_{\theta _{2}}\overline{\mathcal{A}_{1}}+\overline{\mathcal{A}_{2}}+\mathcal{C}_{\theta _{1}}\overline{\mathcal{A}_{2}}}{\Delta } \biggr) , $$

we obtain

$$ \bigl\Vert ( \widetilde{y},\widetilde{x} ) -(y,x) \bigr\Vert _{E\times E}\leq \mathcal{\lambda }\epsilon . $$
(41)

This proves that the ψ-Hilfer coupled system (3)–(4) is U-H stable.

Moreover, we could put into writing inequality (41) as

$$ \bigl\Vert ( \widetilde{y},\widetilde{x} ) -(y,x) \bigr\Vert _{E\times E}\leq \mathcal{\varphi }(\epsilon ), $$

where \(\mathcal{\varphi }(\epsilon )=\mathcal{\lambda }\epsilon \) with \(\mathcal{\varphi }(0)=0\). This shows that the ψ-Hilfer coupled system (3)–(4) is G-U-H stable. □

Examples

Here, we provide some illustrative examples to validate the obtained results.

Example 1

Consider the following coupled system of TVP for ψ-Hilfer FDE:

$$ \textstyle\begin{cases} D_{0^{+}}^{\frac{1}{2},0;e^{\frac{t}{3}}}y(t)=\frac{1}{10e^{t+1}} \frac{ \vert x(t) \vert }{1+ \vert x(t) \vert }+ \frac{1}{\sqrt{t+1}}, \quad t\in ( 0,1 ] , \\ D_{0^{+}}^{\frac{1}{2},0;e^{\frac{t}{3}}}x(t)= \frac{1}{ ( t+6 ) ^{2}} \frac{ \vert y(t) \vert }{1+ \vert y(t) \vert }+ \frac{1}{2\sqrt{t+1}},\quad t\in ( 0,1 ] , \\ y(1)=1, \qquad x(1)=2.\end{cases} $$
(42)

Set

$$ f_{1}(t,u)=\frac{1}{10e^{t+1}}\frac{u}{1+u}+\frac{1}{\sqrt{t+1}},\quad u,v \in \mathbb{R} , t\in ( 0,1 ] $$

and

$$ f_{2}(t,v)=\frac{1}{ ( t+6 ) ^{2}}\frac{v}{1+v}+ \frac{1}{2\sqrt{t+1}}\quad u,v\in \mathbb{R} , t\in ( 0,1 ] . $$

Then

$$\begin{aligned}& C_{1-\varsigma _{1};\psi }^{\eta _{1}(1-\theta _{1})} [ 0,1 ] =C_{\frac{1}{2};e^{\frac{t}{3}}}^{0} [ 0,1 ] = \bigl\{ f_{1}: ( 0,1 ] \times \mathbb{R} \rightarrow \mathbb{R} ; \bigl( e^{\frac{t}{3}}-1 \bigr) ^{\frac{1}{2}}f_{1}\in C [ 0,1 ] \bigr\} , \\& C_{1-\varsigma _{2};\psi }^{\eta _{2}(1-\theta _{2})} [ 0,1 ] =C_{\frac{1}{2};e^{\frac{t}{3}}}^{0} [ 0,1 ] = \bigl\{ f_{2}: ( 0,1 ] \times \mathbb{R} \rightarrow \mathbb{R} ; \bigl( e^{\frac{t}{3}}-1 \bigr) ^{\frac{1}{2}}f_{2}\in C [ 0,1 ] \bigr\} , \end{aligned}$$

with \(\theta _{1}=\theta _{2}=\frac{1}{2}\), \(\eta _{1}=\eta _{2}=0\), \(\varsigma _{1}=\varsigma _{2}=\frac{1}{2}\), \(\psi (t)=e^{\frac{t}{3}} \), and \(( a,T ] = ( 0,1 ]\). Evidently, the functions \(f_{1},f_{2}\in C_{\frac{1}{2};e^{\frac{t}{3}}} [ 0,1 ] \). So, hypothesis (\(H_{1}\)) holds. For \(t\in ( 0,1 ] \) and \(u,u^{\ast },v,v^{\ast }\in \mathbb{R} \), we have

$$\begin{aligned}& \bigl\vert f_{1}(t,u)-f_{1}\bigl(t,u^{\ast }\bigr) \bigr\vert \leq \frac{1}{10e} \bigl\vert u-u^{\ast } \bigr\vert , \\& \bigl\vert f_{2}(t,v)-f_{2}\bigl(t,v^{\ast } \bigr) \bigr\vert \leq \frac{1}{36} \bigl\vert v-v^{\ast } \bigr\vert . \end{aligned}$$

Hence, hypothesis (\(H_{2}\)) is satisfied with \(L_{1}=\frac{1}{10e}\) and \(L_{2}=\frac{1}{36}\). By some straightforward calculations, we find that \(A_{1}=1\), \(A_{2}=\frac{1}{2}\), \(\varLambda _{f_{1}}\approx 0.08<1\), \(\varLambda _{f_{2}}\approx 0.06<1\), \(\Delta _{f_{1}}\approx 1.5\), and \(\Delta _{f_{2}}\approx 1.7\). Thus all the assumptions in Theorem 4 are satisfied. An application of Theorem 4 shows that problem (42) has a unique solution in \(C_{\frac{1}{2},e^{\frac{t}{3}}}^{\frac{1}{2}}[0,1]\). However, \(\Delta =1-\mathcal{C}_{\theta _{1}}\mathcal{C}_{\theta _{1}}=1- \frac{\pi ( \sqrt[3]{e}-1 ) }{360e}\neq 0\), where \(\mathcal{C}_{\theta _{1}}= \frac{\sqrt{\pi ( \sqrt[3]{e}-1 ) }}{10e} \) and \(\mathcal{C}_{\theta _{2}}= \frac{\sqrt{\pi ( \sqrt[3]{e}-1 ) }}{36}\). Therefore, from Theorem 6, coupled system (42) is U-H and G-U-H stable.

Example 2

A particular case, for \(\theta _{1}=\theta _{2}=\frac{1}{2}\), \(\eta _{1}=\eta _{2}=1 \), and \(\psi (t)=t\), the coupled system for ψ-Hilfer FDE (42) reduces to the following coupled system for Caputo FDE:

$$ \textstyle\begin{cases} {}^{C}D_{0^{+}}^{\frac{1}{2}}y(t)=\frac{1}{10e^{t+1}} \frac{ \vert x(t) \vert }{1+ \vert x(t) \vert }+ \frac{1}{\sqrt{t+1}}, \quad t\in {[} 0,1], \\ {}^{C}D_{0^{+}}^{\frac{1}{2}}x(t)=\frac{1}{ ( t+2 ) ^{2}} \frac{ \vert y(t) \vert }{1+ \vert y(t) \vert }+ \frac{1}{2\sqrt{t+1}}, \quad t\in {[} 0,1], \\ y(1)=1,\qquad x(1)=2.\end{cases} $$
(43)

Clearly, the function \(f_{1},f_{2}\in C [ 0,1 ] \). Hence (\(H_{1}\)) holds. Also, hypothesis (\(H_{2}\)) is satisfied with \(L_{1}=\frac{1}{10e}\) and \(L_{2}=\frac{1}{36}\). Via some straightforward computations, we see that \(A_{1}=1\), \(A_{2}=\frac{1}{2}\), \(\varLambda _{f_{1}}=\frac{2}{5e\sqrt{\pi }}<1\), \(\varLambda _{f_{2}}=\frac{1}{9\sqrt{\pi }}<1\), \(\Delta _{f_{1}}=1+\frac{4}{\sqrt{\pi }}\), and \(\Delta _{f_{2}}=2+\frac{2}{\sqrt{\pi }}\). Thus all the suppositions in Theorem 4 are satisfied. An application of Theorem 4 shows that problem (43) has a unique solution in \(C[0,1] \). Moreover, since \(\Delta =1-\mathcal{C}_{\theta _{1}}\mathcal{C}_{\theta _{1}}=1- \frac{1}{90e\pi }\neq 0\), where \(\mathcal{C}_{\theta _{1}}=\frac{1}{5e\sqrt{\pi }}\) and \(\mathcal{C}_{\theta _{2}}=\frac{1}{18\sqrt{\pi }}\), Theorem 6 shows that coupled system (43) is U-H and G-U-H stable.

Example 3

Consider the special case when \(\psi (t)=\log t\) of the coupled system of TVP for Hilfer–Hadamard FDE

$$ \textstyle\begin{cases} D_{1^{+}}^{\frac{1}{4},\frac{1}{3};\log t}y(t)=\frac{1}{5+2^{t}} \frac{x^{2}(t)+ \vert x(t) \vert }{1+ \vert x(t) \vert }+ \sqrt{2}, \quad t\in ( 1,e ] , \\ D_{1^{+}}^{\frac{1}{4},\frac{1}{3};\log t}x(t)= \frac{e^{-\log t}}{e^{\log t}+8} \frac{ \vert y(t) \vert }{1+ \vert y(t) \vert }+ \frac{3}{2}, \quad t\in ( 1,e ] , \\ y(e)=1, \qquad x(e)=2.\end{cases} $$
(44)

Through comparing coupled system (3)–(4) with (44), we have \(\theta _{1}=\theta _{2}=\frac{1}{4}\), \(\eta _{1}=\eta _{2}= \frac{1}{3}\), \(\varsigma _{1}=\varsigma _{2}=\frac{1}{2}\), \(\psi (t)=\log t\), \(a=1\), \(T=e\), \(w_{1}=1\), \(w_{2}=2\) and \(f_{1}(t,u)=\frac{1}{5+2^{t}}\frac{u^{2}+u}{1+u}+\sqrt{2}\) and \(f_{2}(t,v)=\frac{e^{-\log t}}{e^{\log t}+8}\frac{v}{1+v}+\frac{3}{2}\) for \(u,v\in \mathbb{R} \), \(t\in ( 1,e ] \). Evidently, the functions \(f_{1},f_{2}\in C_{\frac{1}{2};\log } [ 1,e ] \). So, condition (\(H_{1}\)) holds. It is simple to verify that

$$\begin{aligned}& \bigl\vert f_{1}(t,u)-f_{1}\bigl(t,u^{\ast }\bigr) \bigr\vert \leq \frac{1}{7} \bigl\vert u-u^{\ast } \bigr\vert ,\quad t\in ( 1,e ] , u,u^{\ast }\in \mathbb{R} , \\& \bigl\vert f_{2}(t,v)-f_{2}\bigl(t,v^{\ast } \bigr) \bigr\vert \leq \frac{1}{9} \bigl\vert v-v^{\ast } \bigr\vert , \quad t\in ( 1,e ] , v,v^{\ast }\in \mathbb{R} . \end{aligned}$$

Thus, hypothesis (\(H_{2}\)) is satisfied with \(L_{1}=\frac{1}{7}\) and \(L_{2}=\frac{1}{9}\). Through some easy calculations, we infer that \(A_{1}=\sqrt{2}\), \(A_{2}=\frac{3}{2}\), \(\varLambda _{f_{1}}\approx 0.4<1\), \(\varLambda _{f_{2}}\approx 0.3<1\), \(\Delta _{f_{1}}\approx 4.1\), and \(\Delta _{f_{2}}\approx 5.3\). Since every supposition in Theorem 4 is satisfied, problem (44) has a unique solution in \(C_{\frac{1}{2},\log }^{\frac{1}{2}}[1,e]\). Further, as shown in Theorem 6, for every \(\epsilon =\max (\epsilon _{1},\epsilon _{2})>0\), if \(( \widetilde{y},\widetilde{x} ) \in E\times E\) satisfies

$$ \textstyle\begin{cases} \vert D_{a^{+}}^{\theta _{1},\eta _{1},\log }\widetilde{y}(t)- \frac{1}{5+2^{t}} \frac{\widetilde{x}^{2}(t)+ \vert \widetilde{x}(t) \vert }{1+ \vert \widetilde{x}(t) \vert }+\sqrt{2} \vert \leq \epsilon _{1}, \\ \vert D_{a^{+}}^{\theta _{2},\eta _{2},\log }\widetilde{x}(t)- \frac{e^{-\log t}}{e^{\log t}+8} \frac{ \vert \widetilde{y}(t) \vert }{1+ \vert \widetilde{y}(t) \vert }+\frac{3}{2} \vert \leq \epsilon _{2}, \end{cases} $$

there exists a unique solution \((y,x)\in E\times E\) such that

$$ \bigl\Vert ( \widetilde{y},\widetilde{x} ) -(y,x) \bigr\Vert _{E\times E}\leq \mathcal{\lambda }\epsilon , $$

where

$$ \mathcal{\lambda }= \biggl( \frac{\overline{\mathcal{A}_{1}}+\mathcal{C}_{\theta _{2}}\overline{\mathcal{A}_{1}}+\overline{\mathcal{A}_{2}}+\mathcal{C}_{\theta _{1}}\overline{\mathcal{A}_{2}}}{\Delta } \biggr) \approx 5.4>0, $$

\(\overline{\mathcal{A}_{1}}= \overline{\mathcal{A}_{2}}=\frac{2}{\varGamma (\frac{5}{4})}\), \(\mathcal{C}_{\theta _{1}}= \frac{\sqrt{\pi }}{7\varGamma (\frac{3}{4})}\), \(\mathcal{C}_{\theta _{2}}= \frac{\sqrt{\pi }}{9\varGamma (\frac{3}{4})}\), and \(\Delta =1-\mathcal{C}_{\theta _{1}}\mathcal{C}_{\theta _{1}}=1-\frac{\pi }{63\varGamma (\frac{3}{4})^{2}}\neq 0\).

Hence coupled system (44) is U-H and G-U-H stable. Some graphical presentation of Example 3 is shown in Fig. 1.

Figure 1
figure1

Graphical representation of approximate solution for Example 3 at various fractional order of coupled system (44)

Abbreviations

FDEs:

Fractional differential equations

TVPs:

Terminal value problems

RL:

Riemann–Liouville

U-H:

Ulam–Hyers

G-U-H:

Generalized Ulam–Hyers

References

  1. 1.

    Abdo, M.S., Ibrahim, A.G., Panchal, S.K.: Nonlinear implicit fractional differential equation involving ψ-Caputo fractional derivative. Proc. Jangjeon Math. Soc. 22(3), 387–400 (2019)

    MathSciNet  MATH  Google Scholar 

  2. 2.

    Abdo, M.S., Panchal, S.K.: Fractional integro-differential equations involving ψ-Hilfer fractional derivative. Adv. Appl. Math. Mech. 11(2), 338–359 (2019)

    MathSciNet  Article  Google Scholar 

  3. 3.

    Abdo, M.S., Panchal, S.K., Hussien, H.S.: Fractional integro-differential equations with nonlocal conditions and ψ-Hilfer fractional derivative. Math. Model. Anal. 24(4), 564–584 (2019)

    MathSciNet  Article  Google Scholar 

  4. 4.

    Abdo, M.S., Panchal, S.K., Saeed, A.M.: Fractional boundary value problem with ψ-Caputo fractional derivative. Proc. Indian Acad. Sci. Math. Sci. 129(5), 65 (2019)

    MathSciNet  MATH  Article  Google Scholar 

  5. 5.

    Aftabizadeh, A.R., Lakshmikantham, V.: On the theory of terminal value problems for ordinary differential equations. Nonlinear Anal., Theory Methods Appl. 5(11), 1173–1180 (1981)

    MathSciNet  MATH  Article  Google Scholar 

  6. 6.

    Ali, Z., Kumam, P., Shah, K., Zada, A.: Investigation of Ulam stability results of a coupled system of nonlinear implicit fractional differential equations. Mathematics 7(4), 341 (2019)

    Article  Google Scholar 

  7. 7.

    Ali, Z., Zada, A., Shah, K.: Ulam stability to a toppled systems of nonlinear implicit fractional order boundary value problem. Bound. Value Probl. 2018, 175, 1–16 (2018)

    MathSciNet  Article  Google Scholar 

  8. 8.

    Ali, Z., Zada, A., Shah, K.: On Ulam’s stability for a coupled systems of nonlinear implicit fractional differential equations. Bull. Malays. Math. Sci. Soc. 42(5), 2681–2699 (2019)

    MathSciNet  MATH  Article  Google Scholar 

  9. 9.

    Almalahi, M.A., Abdo, M.S., Panchal, S.K.: Existence and Ulam–Hyers–Mittag-Leffler stability results of ψ-Hilfer nonlocal Cauchy problem. Rend. Circ. Mat. Palermo, II. Ser (2020). https://doi.org/10.1007/s12215-020-00484-8

    Article  Google Scholar 

  10. 10.

    Almeida, R.: A Caputo fractional derivative of a function with respect to another function. Commun. Nonlinear Sci. Numer. Simul. 44, 460–481 (2017)

    MathSciNet  Article  Google Scholar 

  11. 11.

    Almeida, R.: Fractional differential equations with mixed boundary conditions. Bull. Malays. Math. Sci. Soc. 42(4), 1687–1697 (2019)

    MathSciNet  MATH  Article  Google Scholar 

  12. 12.

    Atanackovic, T.M., Pilipovic, S., Stankovic, B., Zorica, D.: Fractional Calculus with Applications in Mechanics: Wave Propagation, Impact and Variational Principles. Wiley, New York (2014)

    Google Scholar 

  13. 13.

    Benchohra, M., Bouriah, S., Nieto, J.J.: Terminal value problem for differential equations with Hilfer–Katugampola fractional derivative. Symmetry 11(5), 672 (2019)

    MATH  Article  Google Scholar 

  14. 14.

    Ford, N.J., Morgado, M.L., Rebelo, M.: A nonpolynomial collocation method for fractional terminal value problems. J. Comput. Appl. Math. 275, 392–402 (2015)

    MathSciNet  MATH  Article  Google Scholar 

  15. 15.

    Hallam, T.G.: A comparison principle for terminal value problems in ordinary differential equations. Trans. Am. Math. Soc. 169, 49–57 (1972)

    MathSciNet  MATH  Article  Google Scholar 

  16. 16.

    Jarad, F., Abdeljawad, T., Baleanu, D.: Caputo-type modification of the Hadamard fractional derivatives. Adv. Differ. Equ. 2012(1), 142 (2012)

    MathSciNet  MATH  Article  Google Scholar 

  17. 17.

    Kassim, M.D., Tatar, N.E.: Well-posedness and stability for a differential problem with Hilfer–Hadamard fractional derivative. Abstr. Appl. Anal. 2013, 605029 (2013)

    MathSciNet  MATH  Article  Google Scholar 

  18. 18.

    Katugampola, U.N.: A new approach to generalized fractional derivatives. Bull. Math. Anal. Appl. 6(4), 1–15 (2014)

    MathSciNet  MATH  Google Scholar 

  19. 19.

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

    Google Scholar 

  20. 20.

    Magin, R.L.: Fractional Calculus in Bioengineering. Begell House Inc. Publisher (2006)

    Google Scholar 

  21. 21.

    Magin, R.L.: Fractional calculus models of complex dynamics in biological tissues. Comput. Math. Appl. 59, 1586–1593 (2010)

    MathSciNet  MATH  Article  Google Scholar 

  22. 22.

    Mali, A.D., Kucche, K.D.: Nonlocal boundary value problem for generalized hilfer implicit fractional differential equations (2020) arXiv preprint. arXiv:2001.08479

  23. 23.

    Manam, S.R.: Multiple integral equations arising in the theory of water waves. Appl. Math. Lett. 24, 1369–1373 (2011)

    MathSciNet  MATH  Article  Google Scholar 

  24. 24.

    Oliveira, D.S., de Oliveira, E.C.: Hilfer–Katugampola fractional derivatives. Comput. Appl. Math. 37(3), 3672–3690 (2018)

    MathSciNet  MATH  Article  Google Scholar 

  25. 25.

    Seemab, A., Rehman, M.U., Alzabut, J., Hamdi, A.: On the existence of positive solutions for generalized fractional boundary value problems. Bound. Value Probl. 2019(1), 186 (2019)

    MathSciNet  Article  Google Scholar 

  26. 26.

    Shah, K., Wang, J., Khalil, H., Khan, R.A.: Existence and numerical solutions of a coupled system of integral BVP for fractional differential equations. Adv. Differ. Equ. 2018(1), 149 (2018)

    MathSciNet  MATH  Article  Google Scholar 

  27. 27.

    Shah, S.H., Rehman, M.: A note on terminal value problems for fractional differential equations on infinite interval. Appl. Math. Lett. 52, 118–125 (2016)

    MathSciNet  MATH  Article  Google Scholar 

  28. 28.

    Shreve, W.E.: Terminal value problems for second order nonlinear differential equations. SIAM J. Appl. Math. 18, 783–791 (1970)

    MathSciNet  MATH  Article  Google Scholar 

  29. 29.

    Sousa, J.V.D.C., de Oliveira, E.C.: On the ψ-Hilfer fractional derivative. Commun. Nonlinear Sci. Numer. Simul. 60, 72–91 (2018)

    MathSciNet  Article  Google Scholar 

  30. 30.

    Sousa, J.V.D.C., de Oliveira, E.C.: Ulam–Hyers stability of a nonlinear fractional Volterra integro-differential equation. Appl. Math. Lett. 81, 50–56 (2018)

    MathSciNet  MATH  Article  Google Scholar 

  31. 31.

    Sousa, J.V.D.C., De Oliveira, E.C.: On the Ulam–Hyers–Rassias stability for nonlinear fractional differential equations using the ψ-Hilfer operator. J. Fixed Point Theory Appl. 20(3), 96 (2018)

    MathSciNet  MATH  Article  Google Scholar 

  32. 32.

    Sousa, J.V.D.C., de Oliveira, E.C.: A Gronwall inequality and the Cauchy-type problem by means of ψ-Hilfer operator. Differ. Equ. Appl. 11(1), 87–106 (2019)

    MathSciNet  MATH  Google Scholar 

  33. 33.

    Sousa, J.V.D.C., De Oliveira, E.C.: Leibniz type rule: ψ-Hilfer fractional operator. Commun. Nonlinear Sci. Numer. Simul. 77, 305–311 (2019)

    MathSciNet  Article  Google Scholar 

  34. 34.

    Sousa, J.V.D.C., Rodrigues, F.G., De Oliveira, E.C.: Stability of the fractional Volterra integro-differential equation by means of ψ-Hilfer operator. Math. Methods Appl. Sci. 42(9), 3033–3043 (2019)

    MathSciNet  MATH  Article  Google Scholar 

  35. 35.

    Zaky, M.A.: Recovery of high order accuracy in Jacobi spectral collocation methods for fractional terminal value problems with non-smooth solutions. J. Comput. Appl. Math. 357, 103–122 (2019)

    MathSciNet  MATH  Article  Google Scholar 

  36. 36.

    Zhou, Y.: Basic Theory of Fractional Differential Equations, vol. 6. World Scientific, Singapore (2014)

    Google Scholar 

Download references

Acknowledgements

We are thankful to the reviewers for their careful reading and constructive suggestions which improved this paper very much.

Availability of data and materials

This is not applicable in our paper.

Funding

Funding source is not available.

Author information

Affiliations

Authors

Contributions

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

Corresponding author

Correspondence to Mohammed S. Abdo.

Ethics declarations

Competing interests

None of the authors has conflict of interests regarding this work.

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

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Abdo, M.S., Shah, K., Panchal, S.K. et al. Existence and Ulam stability results of a coupled system for terminal value problems involving ψ-Hilfer fractional operator. Adv Differ Equ 2020, 316 (2020). https://doi.org/10.1186/s13662-020-02775-x

Download citation

MSC

  • 26A33
  • 34A07
  • 93A30
  • 35R11

Keywords

  • Hilfer fractional differential equation
  • Terminal value problem
  • Existence and stability theory
  • Fixed point theorem