Set-valued fractional programming problems with $ \sigma $-arcwisely connectivity

Koushik Das; Savin Treanţă; Muhammad Bilal Khan; Koushik Das; Savin Treanţă; Muhammad Bilal Khan

doi:10.3934/math.2023666

AIMS Mathematics

2023, Volume 8, Issue 6: 13181-13204. doi: 10.3934/math.2023666

Previous Article Next Article

Research article

Set-valued fractional programming problems with $\sigma$ -arcwisely connectivity

1.
Department of Mathematics, Taki Government College, Taki 743429, West Bengal, India
2.
Department of Applied Mathematics, University Politehnica of Bucharest, 060042 Bucharest, Romania
3.
Academy of Romanian Scientists, 54 Splaiul Independentei, 050094 Bucharest, Romania
4.
Fundamental Sciences Applied in Engineering-Research Center (SFAI), University Politehnica of Bucharest, 060042 Bucharest, Romania
5.
Department of Mathematics, COMSATS University Islamabad, Islamabad 44000, Pakistan

Received: 31 October 2022 Revised: 12 March 2023 Accepted: 23 March 2023 Published: 03 April 2023
MSC : 26B25, 49N15

In this paper, we determine the sufficient Karush-Kuhn-Tucker (KKT) conditions of optimality of a set-valued fractional programming problem (in short, SVFP) $\rm (FP)$ under the suppositions of contingent epidifferentiation and $\sigma$ -arcwisely connectivity. We additionally explore the results of duality of parametric $\rm (PD)$ , Mond-Weir $\rm (MWD)$ , Wolfe $\rm (WD)$ , and mixed $\rm (MD)$ kinds for the problem $\rm (FP)$ .

Keywords:

Citation: Koushik Das, Savin Treanţă, Muhammad Bilal Khan. Set-valued fractional programming problems with $\sigma$ -arcwisely connectivity[J]. AIMS Mathematics, 2023, 8(6): 13181-13204. doi: 10.3934/math.2023666

Related Papers:

[1]	Yinwan Cheng, Chao Yang, Bing Yao, Yaqin Luo . Neighbor full sum distinguishing total coloring of Halin graphs. AIMS Mathematics, 2022, 7(4): 6959-6970. doi: 10.3934/math.2022386
[2]	Shabbar Naqvi, Muhammad Salman, Muhammad Ehtisham, Muhammad Fazil, Masood Ur Rehman . On the neighbor-distinguishing in generalized Petersen graphs. AIMS Mathematics, 2021, 6(12): 13734-13745. doi: 10.3934/math.2021797
[3]	Xiaoxue Hu, Jiangxu Kong . An improved upper bound for the dynamic list coloring of 1-planar graphs. AIMS Mathematics, 2022, 7(5): 7337-7348. doi: 10.3934/math.2022409
[4]	Baolin Ma, Chao Yang . Distinguishing colorings of graphs and their subgraphs. AIMS Mathematics, 2023, 8(11): 26561-26573. doi: 10.3934/math.20231357
[5]	Zongpeng Ding . Skewness and the crossing numbers of graphs. AIMS Mathematics, 2023, 8(10): 23989-23996. doi: 10.3934/math.20231223
[6]	Zongrong Qin, Dingjun Lou . The k-subconnectedness of planar graphs. AIMS Mathematics, 2021, 6(6): 5762-5771. doi: 10.3934/math.2021340
[7]	Xin Xu, Xu Zhang, Jiawei Shao . Planar Turán number of double star $S_{3, 4}$ . AIMS Mathematics, 2025, 10(1): 1628-1644. doi: 10.3934/math.2025075
[8]	Yunfeng Tang, Huixin Yin, Miaomiao Han . Star edge coloring of $K_{2, t}$ -free planar graphs. AIMS Mathematics, 2023, 8(6): 13154-13161. doi: 10.3934/math.2023664
[9]	Ana Klobučar Barišić, Antoaneta Klobučar . Double total domination number in certain chemical graphs. AIMS Mathematics, 2022, 7(11): 19629-19640. doi: 10.3934/math.20221076
[10]	Gohar Ali, Martin Bača, Marcela Lascsáková, Andrea Semaničová-Feňovčíková, Ahmad ALoqaily, Nabil Mlaiki . Modular total vertex irregularity strength of graphs. AIMS Mathematics, 2023, 8(4): 7662-7671. doi: 10.3934/math.2023384

Abstract

1. Introduction

Differential equations of arbitrary order have been shown to be useful in the study of models of many phenomena in various fields such as: Electrochemistry and material science, they are in fact described by differential equations of fractional order ^{[9,10,15,16,25,26,27,28,29]}. For more details, we refer the reader to the books of Hilfer ^[30], Podlubny ^[31], Kilbas et al. ^[34], Miller and Ross ^[2] and to the following research papers ^{[1,2,3,4,5,6,7,8,11,12,14,16,17,19,20,24,31,35,36,37,38,39,40,41,42]}. In this work, we discuss the existence and uniqueness of the solutions for multi-point boundary value problems of nonlinear fractional differential equations with two Riemann-Liouville fractionals:

$\begin{equation} \left\{\begin{array}{llll} D^{\alpha}x(t) = \sum^{m}_{i = 1}f_{i}(t, x(t), y(t), \varphi_{1}x(t), \phi_{1}y(t)) , \alpha\in]1, 2], t\in[0, T] &\\ D^{\beta }y(t) = \sum_{i = 1}^{m}g_{i}(t, x(t), y(t), \varphi_{2}x(t), \phi_{2}y(t)) , \beta\in]1, 2], t\in[0, T]& \\ I^{2-\alpha}x(0) = 0, \ D^{\alpha-2}x(T) = \theta I^{\alpha-1}(x(\eta)), \ 0 < \eta < T, &\\ I^{2-\beta}y(0) = 0, \ D^{\beta-2}x(T) = \omega I^{\beta-1}(x(\gamma)), \ 0 < \gamma < T, & \end{array}\right. \end{equation}$

(1.1)

where $D^{(.)}$ , $I^{(.)}$ denote the Riemann-Liouville derivative and integral of fractional order $(.)$ , respectively, $f_{i},$ $g_{i}:\left[0, T\right] \times \mathbb{R}^{4}\rightarrow \mathbb{R},$ $i = 1, \cdots, m$ are continuous functions on $[0, T]$ and

$(\varphi_{1}x)(t) = \int_{0}^{t}A_{1}'(t, s)x(s)ds, \ (\phi_{1}y)(t) = \int_{0}^{t}B_{1}'(t, s)y(s)ds,$

$(\varphi_{2}x)(t) = \int_{0}^{t}A_{2}'(t, s)x(s)ds, \ (\phi_{1}y)(t) = \int_{0}^{t}B_{2}'(t, s)y(s)ds,$

with $A_{i}$ and $B_{i}$ being continuous functions on $[0, 1]\times[0, 1].$ However, it is rare to find a work in nonlinear term $f_{i}$ depends on fractional derivative of unknown functions $x(t), y(t), \varphi_{1}x(t), \phi_{1}y(t)$ and solutions for multi-order fractional differential equations on the infinite interval $[0, T)$ . Motivated by ^{[8,11,12,13,14]} and the references therein, we consider the existence and unicity of solution for multi-order fractional differential equations on infinite interval $[0, T)$ .

The rest of this paper is organized as follow. In section 2, we present some preliminaries and lemmas. Section 3 is dedicated to showing the existence of a solution for problem (1.1). Finally, section 4 illustrated the proposed results with two examples.

Remark 1.1. This work generalizes the work of Houas and Benbachir ^[14] on different boundary conditions and for another type of integral.

2. Preliminaries

This section covers the basic concepts of Riemann-Liouville type fractional calculus that will be used throughout this paper.

Definition 2.1. ^[31,32] The Riemann-Liouville fractional integral operator of order $\alpha \geq 0,$ of a function $f:\left(0, \infty \right) \rightarrow \mathbb{R}$ is defined as

$\begin{eqnarray*} \left\{\begin{array}{ll} J^{\alpha }f\left( t\right) = \frac{1}{\Gamma \left( \alpha \right) }\int_{0}^{t}\left( t-\tau \right) ^{\alpha -1}f\left( \tau \right) d\tau , & \\ J^{0}f\left( t\right) = f\left( t\right) , & \end{array}\right. \end{eqnarray*}$

where $\Gamma \left(\alpha \right) : = \int_{0}^{\infty }e^{-u}u^{\alpha -1}du.$

Definition 2.2. ^[31,32] The Riemann-Liouville fractional derivative of order $\alpha > 0,$ of a continuous function $h:\left(0, \infty \right) \rightarrow \mathbb{R}$ is defined as

$\begin{equation*} D^{\alpha}h\left( t\right) = \frac{1}{\Gamma \left( n-\alpha \right) } \left( \frac{d}{dt}\right) ^{n}\int_{0}^{t}\left( t-\tau \right) ^{n-\alpha-1}h\left( \tau \right) d\tau = \left(\dfrac{d}{dt}\right)^{n}I^{n-\alpha}h(\tau), \end{equation*}$

where $n = \left[\alpha \right] +1.$

For $\alpha < 0$ , we use the convention that $D^{\alpha }h = J^{-\alpha}h.$ Also for $0\leq \rho < \alpha$ , it is valid that $D^{\rho }J^{\alpha }h = h^{\alpha -\rho }.$ We note that for $\varepsilon > -1$ and $\varepsilon \neq \alpha -1, \alpha-2, ..., \alpha-n,$ we have

$\begin{eqnarray*} D^{\alpha}t^{\varepsilon } & = &\frac{\Gamma \left( \varepsilon +1\right) }{\Gamma \left( \varepsilon -\alpha +1\right) }t^{\varepsilon -\alpha }, \\ D^{\alpha}t^{\alpha -i} & = &0, \text{ }i = 1, 2, ..., n. \end{eqnarray*}$

In particular, for the constant function $h(t) = 1$ , we obtain

$D^{\alpha}1 = \dfrac{1}{\Gamma(1-\alpha)}t^{-\alpha}, \alpha\notin\mathbb{N}.$

For $\alpha\in\mathbb{N}$ , we obtain, of course, $D^{\alpha}1 = 0$ because of the poles of the gamma function at the points $0, -1, -2, ...$ For $\alpha > 0$ , the general solution of the homgeneous equation $D^{\alpha}h(t) = 0$ in $C(0, T)\cap L(0, T)$ is

$h(t) = c_{0}t^{\alpha-n}+c_{1}t^{\alpha-n-1}+......+c_{n-2}t^{\alpha-2}+c_{n-1}t^{\alpha-1},$

where $c_{i}, i = 1, 2, ...., n-1$ , are arbitrary real constants. Further, we always have $D^{\alpha}I^{\alpha}h = h$ , and

$D^{\alpha}I^{\alpha}h(t) = h(t)+c_{0}t^{\alpha-n}+c_{1}t^{\alpha-n-1}+......+c_{n-2}t^{\alpha-2}+c_{n-1}t^{\alpha-1}.$

Lemma 2.1. ^[33] Let $E$ be Banach space. Assume that $T : E\longrightarrow E$ is a completely continuous operator. If the set $V = \{x \in E : x = \mu T x, \ 0 < \mu < 1\}$ is bounded, then $T$ has a fixed point in $E$ .

To define the solution for problem (1.1). We consider the following lemma.

Lemma 2.2. Suppose that $(H_{i})_{i = 1, \ldots, m}\subset C([0, 1], \mathbb{R})$ , and consider the problem

$\begin{equation} D^{\alpha}h(t)-\sum\limits_{i = 1}^{m}H_{i}(t) = 0, \ t\in j, \ 1 < \alpha < 2, \ m\in\mathbb{N}^{\ast}, \end{equation}$

(2.1)

with the conditions

$\begin{equation} I^{2-\alpha}h(0) = 0, \ D^{\alpha-2}h(T) = \theta I^{\alpha-1}(h(\eta)), \ 0 < \eta < T. \end{equation}$

(2.2)

Then we have

$\begin{eqnarray*} h(t)& = &\dfrac{1}{\Gamma(\alpha)}\sum\limits_{i = 1}^{m}\int^{t}_{0}(t-\tau)^{\alpha-1}H_{i}(\tau)d\tau\\ &&+\dfrac{t^{\alpha-1}}{\psi}\left(\sum\limits_{i = 1}^{m}\int^{T}_{0}(T-\tau)H_{i}(\tau)d\tau \right. \left. -\dfrac{\theta}{\Gamma(2\alpha)}\sum\limits_{i = 1}^{m}\int^{\eta}_{0}(\eta-\tau)^{2\alpha-2}H_{i}(\tau)d\tau\right) \end{eqnarray*}$

with $\psi = \theta\dfrac{\Gamma(\alpha)}{\Gamma(2\alpha-1)}\eta^{2\alpha-2}-\Gamma(\alpha)T.$

Proof. We have

$h(t) = \sum\limits_{i = 1}^{m}I^{\alpha}H_{i}(t)+c_{0}t^{\alpha-2}+c_{1}t^{\alpha-1},$

where $c_{i}\in\mathbb{R}, \ i = 0, 1.$

We obtain

$\begin{eqnarray*} I^{2-\alpha}h(\tau)& = &\sum\limits_{i = 1}^{m}I^{2}H_{i}(\tau)+c_{0}I^{2-\alpha}\tau^{\alpha-2}+c_{1}I^{2-\alpha}\tau^{\alpha-1}\\ & = &\sum\limits_{i = 1}^{m}I^{2}H_{i}(\tau)+c_{0}+c_{1}\tau , \\ I^{\alpha-1}h(\tau)& = &\sum\limits_{i = 1}^{m}I^{2\alpha-1}H_{i}(\tau)+c_{0}I^{\alpha-1}\tau^{\alpha-2}+c_{1}I^{\alpha-1}\tau^{\alpha-1}\\ & = &\sum\limits_{i = 1}^{m}I^{2\alpha-1}H_{i}(\tau)+c_{0}\dfrac{\Gamma(\alpha-1)}{\Gamma(2\alpha-2)}\tau^{2\alpha-3}+c_{1}\dfrac{\Gamma(\alpha)}{\Gamma(2\alpha-1)}\tau^{2\alpha-2}, \\ D^{\alpha-2}h(\tau)& = &\sum\limits_{i = 1}^{m}I^{2}H_{i}(\tau)+c_{0}\Gamma(\alpha-1)+c_{1}\Gamma(\alpha)\tau. \end{eqnarray*}$

Using the given conditions: $I^{2-\alpha}h(0) = 0$ , we find that $c_{0} = 0$ , and since $D^{\alpha-2}h(T)-\theta I^{\alpha-1}(h(\eta)) = 0$ , we have

$\begin{equation*} \sum\limits_{i = 1}^{m}I^{2}h_{i}(T)+c_{1}\Gamma(\alpha)T-\theta\left[\sum\limits_{i = 1}^{m}I^{2\alpha-1}h_{i}(\eta)+c_{1}\dfrac{\Gamma(\alpha)}{\Gamma(2\alpha-1)}\eta^{2\alpha-2}\right] = 0, \end{equation*}$

then

$\begin{equation*} c_{1}\left[\dfrac{\Gamma(\alpha)}{\Gamma(2\alpha-1)}\eta^{2\alpha-2}-\Gamma(\alpha)T\right] = \sum\limits_{i = 1}^{m}I^{2}h_{i}(T)-\theta\sum\limits_{i = 1}^{m}I^{2\alpha-1}h_{i}(\eta) \end{equation*}$

and

$\begin{eqnarray*} c_{1}& = &\dfrac{1}{\psi}\left(\sum\limits_{i = 1}^{m}I^{2}H_{i}(T)-\theta\sum\limits_{i = 1}^{m}I^{2\alpha-1}H_{i}(\eta)\right)\\ & = &\dfrac{1}{\psi}\left(\sum\limits_{i = 1}^{m}\int_{0}^{T}(T-\tau)H_{i}(\tau)d\tau-\dfrac{\theta}{\Gamma(2\alpha)}\sum\limits_{i = 1}^{m}\int_{0}^{\eta}(\eta-\tau)^{2\alpha-2}H_{i}(\tau)d\tau\right) \end{eqnarray*}$

with

$\begin{eqnarray*} \psi = \theta\dfrac{\Gamma(\alpha)}{\Gamma(2\alpha-1)}\eta^{2\alpha-2}-\Gamma(\alpha)T. \end{eqnarray*}$

Finally, the solution of (2.1) and (2.2) is

$\begin{eqnarray*} h(t)& = &\dfrac{1}{\Gamma(\alpha)}\sum\limits_{i = 1}^{m}\int^{t}_{0}(t-\tau)^{\alpha-1}H_{i}(\tau)d\tau+\dfrac{t^{\alpha-1}}{\psi}\left(\sum\limits_{i = 1}^{m}\int^{T}_{0}(T-\tau)H_{i}(\tau)d\tau \right. \\ &&\qquad \left. -\dfrac{\theta}{\Gamma(2\alpha)}\sum\limits_{i = 1}^{m}\int^{\eta}_{0}(\eta-\tau)^{2\alpha-2}H_{i}(\tau)d\tau\right). \end{eqnarray*}$

3. Main results

We denote by

$E = \{x, y\in C\left( \left[ 0, T\right], \mathbb{R} \right); \varphi_{i}x, \phi_{i}y\in C\left( \left[ 0, T\right], \mathbb{R} \right)\ \ i = 1, 2\},$

and the Banach space of all continuous functions from $\left[0, T \right]$ to $\mathbb{R}$ endowed with a topology of uniform convergence with the norm defined by

$||(x, y)||_{E} = \max\left(||x||, ||y||, ||\varphi_{1} x||, ||\phi_{1}y||, ||\varphi_{2}x||, ||\phi_{2}y||\right),$

where

$\begin{eqnarray*} &&||x|| = \sup\limits_{t\in j}|\varphi_{i}x(t)|, \; \; ||y|| = \sup\limits_{t \in j}|y(t)|, \\ && ||\phi_{i}x|| = \sup\limits_{t\in j}|\varphi_{i}x(t)|, \; \; ||\phi_{i}y|| = \sup\limits_{t \in j}|\phi_{i}y(t)|. \end{eqnarray*}$

In this section, we prove some existence and uniqueness results to the nonlinear fractional coupled system (1.1).

For the sake of convenience, we impose the following hypotheses:

$(H1)$ For each $i = 1, 2, \cdots, m$ , the functions $f_{i}$ and $g_{i}\ \ : [0, T]\times\mathbb{R}^4\longrightarrow\mathbb{R}$ are continuous.

$(H2)$ There exist nonnegative real numbers $\xi^{i}_{k}, \varphi^{i}_{k}, k = 1, 2, 3, 4, i = 1, 2, \cdots, m$ , such that for all $t\in \left[0, T\right]$ and all $(x_{1}, x_{2}, x_{3}, x_{4}),$ $(y_{1}, y_{2}, y_{3}, y_{4})\in \mathbb{R}^{4},$ we have

$\begin{equation*} |f_{i}(t, x_{1}, x_{2}, x_{3}, x_{4})-f_{i}(t, y_{1}, y_{2}, y_{3}, y_{4})|\leq\sum\limits_{k = 1}^{4}\ \xi^{i}_{k} |x_{k}-y_{k}|, \end{equation*}$

and

$\begin{equation*} |g_{i}(t, x_{1}, x_{2}, x_{3}, x_{4})-g_{i}(t, y_{1}, y_{2}, y_{3}, y_{4})|\leq\sum\limits_{k = 1}^{4}\ \chi^{i}_{k} |x_{k}-y_{k}|. \end{equation*}$

$(H3)$ There exist nonnegative constants $(L_{i}) \ \text{and}\ \ (K_{i}) \ i = 1, ..., m$ , such that: For each $t \in [0, T]$ and all $(x_{1}, x_{2}, x_{3}, x_{4}) \in \mathbb{R}^{4},$

$\begin{equation*} | f_{i} (t, x_{1}, x_{2}, x_{3}, x_{4})| \leq L_{i}, |g_{i} (t, x_{1}, x_{2}, x_{3}, x_{4})| \leq K_{i}, i = 1, ..., m. \end{equation*}$

We also consider the following quantities:

$\begin{eqnarray*} A_{1}& = &\dfrac{T^{\alpha}}{\Gamma(\alpha +1)}\sum\limits_{i = 1}^{m}(\xi_{1}^{i}+\xi_{2}^{i}+\xi_{3}^{i}+\xi_{4}^{i}), \\ A_{2}& = &\dfrac{T^{\beta}}{\Gamma(\beta +1)}\sum\limits_{i = 1}^{m}(\chi_{1}^{i}+\chi_{2}^{i}+\chi_{3}^{i}+\chi_{4}^{i}), \\ A_{3}& = &\max\limits_{t, s\in[0, 1]}||A'_{1}(t, s)||\times A_{1}, \\ A_{4}& = &\max\limits_{t, s\in[0, 1]}||A'_{2}(t, s)||\times A_{1}, \\ A_{5}& = &\max\limits_{t, s\in[0, 1]}||B'_{1}(t, s)||\times A_{2}, \\ A_{6}& = &\max\limits_{t, s\in[0, 1]}||B'_{2}(t, s)||\times A_{2}, \\ \nu_{1}& = &\left[\dfrac{T^{\alpha}}{\Gamma(\alpha+1)}+\dfrac{1}{\psi}\left(\dfrac{T^{\alpha+1}}{2}+\dfrac{\theta T^{3\alpha-2}}{(2\alpha-1)^{2}\Gamma(2\alpha-1)}\right)\right], \\ \nu_{2}& = &\left[\dfrac{T^{\beta}}{\Gamma(\beta+1)}+\dfrac{1}{\psi'}\left(\dfrac{T^{\beta+1}}{2}+\dfrac{\omega T^{3\beta-2}}{(2\beta-1)^{2}\Gamma(2\beta-1)}\right)\right], \\ \nu_{3}& = &\max\limits_{t, s\in[0, 1]}|A'_{1}(t, s)|\nu_{1}, \\ \nu_{4}& = &\max\limits_{t, s\in[0, 1]}|A'_{2}(t, s)|\nu_{1}, \\ \nu_{5}& = &\max\limits_{t, s\in[0, 1]}|B'_{1}(t, s)|\nu_{2}, \\ \nu_{6}& = &\max\limits_{t, s\in[0, 1]}|B'_{2}(t, s)|\nu_{2}. \end{eqnarray*}$

3.1. Existence of solutions

The first result is based on Banach contraction principle. We have

Theorem 3.1. Assume that $(H2)$ holds. If the inequality

$\begin{equation} \max(A_{1}, A_{2}, A_{3}, A_{4}, A_{5}, A_{6}) < 1, \end{equation}$

(3.1)

is valid, then the system (1.1) has a unique solution on $[0, T]$ .

Proof. We define the operator $T : E\longrightarrow E$ by

$T(x, y)(t) = (T_{1}(x, y)(t) , T_{2} (x, y)(t)) , t \in[0, T],$

such that

$\begin{eqnarray} T_{1}(x, y)(t)& = &\dfrac{1}{\Gamma(\alpha)}\sum\limits_{i = 1}^{m}\int^{t}_{0}(t-\tau)^{\alpha-1}H_{i}(\tau)d\tau+\dfrac{t^{\alpha-1}}{\psi}\left(\sum\limits_{i = 1}^{m}\int^{T}_{0}(T-\tau)H_{i}(\tau)d\tau \right.\\ &&\qquad \left. -\dfrac{\theta}{\Gamma(2\alpha)}\sum\limits_{i = 1}^{m}\int^{\eta}_{0}(\eta-\tau)^{2\alpha-2}H_{i}(\tau)d\tau\right) \end{eqnarray}$

(3.2)

and

$\begin{eqnarray} T_{2}(x, y)(t)& = &\dfrac{1}{\Gamma(\beta)}\sum\limits_{i = 1}^{m}\int^{t}_{0}(t-\tau)^{\beta-1}G_{i}(\tau)d\tau+\dfrac{t^{\beta-1}}{\psi'}\left(\sum\limits_{i = 1}^{m}\int^{T}_{0}(T-\tau)G_{i}(\tau)d\tau \right.\\ &&\qquad \left. -\dfrac{\omega}{\Gamma(2\beta)}\sum\limits_{i = 1}^{m}\int^{\gamma}_{0}(\gamma-\tau)^{2\beta-2}G_{i}(\tau)d\tau\right) \end{eqnarray}$

(3.3)

where

$H_{i}(\tau) = f_{i}(\tau, x(\tau), y(\tau), \varphi_{1}x(\tau), \phi_{1}y(\tau))$

and

$G_{i}(\tau) = g_{i}(\tau, x(\tau), y(\tau), \varphi_{2}x(\tau), \phi_{2}y(\tau)).$

We obtain

$\varphi_{i} T_{1}(x, y)(t) = \int^{t}_{0}A_{i}(t, s)T_{1}(x, y)(s)ds, \ \phi_{i}T_{2}(x, y)(t) = \int^{t}_{0}B_{i}(t, s)T_{2}(x, y)(s)ds$

where $i = 1, 2.$

We shall now prove that T is contractive.

Let $T_{1}(x_{1}, y_{1}), T_{2} (x_{2}, y_{2})\in E$ . Then, for each $t\in [0, T]$ , we have

$\begin{eqnarray} |T_{1}(x_{1}, y_{1})-T_{1}(x_{2}, y_{2})|&\leq &\left[\dfrac{1}{\Gamma(\alpha)}\sum\limits_{i = 1}^{m}\int^{t}_{0}(t-\tau)^{\alpha-1}d\tau+\dfrac{t^{\alpha-1}}{\psi}\left(\sum\limits_{i = 1}^{m}\int^{T}_{0}(T-\tau)d\tau \right.\right. \\ &&\qquad \left.\left. -\dfrac{\theta}{\Gamma(2\alpha)}\sum\limits_{i = 1}^{m}\int^{\eta}_{0}(\eta-\tau)^{2\alpha-2}d\tau\right)\right]\\ &&\times\max\limits_{\tau\in[0, T]}\sum\limits_{i = 1}^{m} \left|\left(\begin{array}{ll} f_{i}(\tau, x_{1}(\tau), y_{1}(\tau), \varphi_{1}x_{1}(\tau), \phi_{1}y_{1}(\tau))& \\ -f_{i}(\tau, x_{2}(\tau), y_{2}(\tau), \varphi_{1}x_{2}(\tau), \phi_{1}y_{2}(\tau)) & \end{array}\right)\right|\\ &\leq &\dfrac{T^{\alpha}}{\Gamma(\alpha +1)}\max\limits_{\tau\in[0, T]}\sum\limits_{i = 1}^{m} \left|\left(\begin{array}{ll} f_{i}(\tau, x_{1}(\tau), y_{1}(\tau), \varphi_{1}x_{1}(\tau), \phi_{1}y_{1}(\tau)) & \\ -f_{i}(\tau, x_{2}(\tau), y_{2}(\tau), \varphi_{1}x_{2}(\tau), \phi_{1}y_{2}(\tau)) \end{array}\right)\right|. \end{eqnarray}$

By $(H2)$ , it follows that

$\begin{eqnarray*} ||T_{1}(x_{1}, y_{1})-T_{1}(x_{2}, y_{2})||&\leq &\dfrac{T^{\alpha}}{\Gamma(\alpha +1)}\sum\limits_{i = 1}^{m}(\xi_{1}^{i}+\xi_{2}^{i}+\xi_{3}^{i}+\xi_{4}^{i})\times\max(||x_{1}-x_{2}||, ||y_{1}-y_{2}||, \\ &&||\varphi_{1}(x_{1}-x_{2})||, ||\varphi_{2}(x_{1}-x_{2})||, ||\phi_{1}(y_{1}-y_{2})||, ||\phi_{2}(y_{1}-y_{2})||). \end{eqnarray*}$

Hence,

$\begin{equation} ||T_{1}(x_{1}, y_{1})-T_{1}(x_{2}, y_{2})||\leq A_{1}||x_{1}-x_{2}, y_{1}-y_{2}||_{E}. \end{equation}$

(3.4)

With the same arguments as before, we can show that

$\begin{equation} ||T_{2}(x_{1}, y_{1})-T_{2}(x_{2}, y_{2})||\leq A_{2}||x_{1}-x_{2}, y_{1}-y_{2}||_{E}. \end{equation}$

(3.5)

On the other hand, we have

$\begin{eqnarray*} ||\varphi_{1}(T_{1}(x_{1}, y_{1})-T_{1}(x_{2}, y_{2}))||&\leq &\int_{0}^{t}||A'_{1}(t, s)||||T_{1}(x_{1}, y_{1})-T_{1}(x_{2}, y_{2})||ds\\ &\leq &\max\limits_{t, s\in[0, 1]}||A'_{1}(t, s)||\times A_{1}||x_{1}-x_{2}, y_{1}-y_{2}||_{E}. \end{eqnarray*}$

Hence,

$\begin{equation} ||\varphi_{1}(T_{1}(x_{1}, y_{1})-T_{1}(x_{2}, y_{2}))||\leq A_{3}||x_{1}-x_{2}, y_{1}-y_{2}||_{E} \end{equation}$

(3.6)

and

$\begin{equation} ||\varphi_{2}(T_{1}(x_{1}, y_{1})-T_{1}(x_{2}, y_{2}))||\leq A_{4}||x_{1}-x_{2}, y_{1}-y_{2}||_{E}. \end{equation}$

(3.7)

Also, we have

$\begin{equation} ||\phi_{1}(T_{2}(x_{1}, y_{1})-T_{2}(x_{2}, y_{2}))||\leq A_{5}||x_{1}-x_{2}, y_{1}-y_{2}||_{E} \end{equation}$

(3.8)

and

$\begin{equation} ||\phi_{2}(T_{2}(x_{1}, y_{1})-T_{2}(x_{2}, y_{2}))||\leq A_{6}||x_{1}-x_{2}, y_{1}-y_{2}||_{E}. \end{equation}$

(3.9)

Thanks to (3.4)–(3.9), we get

$\begin{eqnarray} ||T(x_{1}, y_{1})-T(x_{2}, y_{2})|| & \leq \max(A_{1}, A_{2}, A_{3}, A_{4}, A_{5}, A_{6})\\ & \times ||(x_{1}-x_{2}, y_{1}-y_{2})||_{E}. \end{eqnarray}$

(3.10)

Thanks to (3.10), we conclude that T is a contractive operator. Therefore, by Banach fixed point theorem, $T$ has a unique fixed point which is the solution of the system (1.1).

3.2. Uniqueness of solutions

Our second main result is based on Lemma 2.1. We have

Theorem 3.2. Assume that the hypotheses $(H1)$ and $(H3)$ are satisfied. Then, system (1.1) has at least a solution on $[0, T]$ .

Proof. The operator $T$ is continuous on $E$ in view of the continuity of $f_{i}$ and $g_{i}$ (hypothesis ( $H1$ )).

Now, we show that $T$ is completely continuous:

(i) First, we prove that $T$ maps bounded sets of $E$ into bounded sets of $E$ . Taking $\lambda > 0$ , and $(x, y)\in \Omega_{\lambda} = \{(x, y) \in E; ||(x, y)||\leq\lambda\}$ , then for each $t\in [0, T]$ , we have:

$\begin{eqnarray*} |T_{1}(x, y)|&\leq &\left[\dfrac{1}{\Gamma(\alpha)}\int^{t}_{0}(t-\tau)^{\alpha-1}d\tau+\dfrac{t^{\alpha-1}}{\psi}\left(\int^{T}_{0}(T-\tau)d\tau \right.\right. \\ \nonumber &&\qquad \left.\left. -\dfrac{\theta}{\Gamma(2\alpha)}\int^{\eta}_{0}(\eta-\tau)^{2\alpha-2}d\tau\right)\right]\\ &&\times\sup\limits_{t\in[0, T]}\sum\limits_{i = 1}^{m} |f_{i}(t, x(t), y(t), \varphi_{1}x(t), \phi_{1}y(t))|\\ &\leq & \left[\dfrac{T^{\alpha}}{\Gamma(\alpha+1)}+\dfrac{1}{\psi}\left(\dfrac{T^{\alpha+1}}{2}+\dfrac{\theta T^{3\alpha-2}}{(2\alpha-1)^{2}\Gamma(2\alpha-1)}\right)\right] \\ &&\times\sup\limits_{t\in[0, T]}\sum\limits_{i = 1}^{m} |f_{i}(t, x(t), y(t), \varphi_{1}x(t), \phi_{1}y(t))|, \end{eqnarray*}$

Thanks to ( $H3$ ), we can write

$||T_{1}(x, y)||\leq\left[\dfrac{T^{\alpha}}{\Gamma(\alpha+1)}+\dfrac{1}{\psi}\left(\dfrac{T^{\alpha+1}}{2}+\dfrac{\theta T^{3\alpha-2}}{(2\alpha-1)^{2}\Gamma(2\alpha-1)}\right)\right]\sum\limits_{i = 1}^{m} L_{i}.$

Thus,

$\begin{equation} ||T_{1}(x, y)||\leq \nu_{1} \sum\limits_{i = 1}^{m} L_{i}. \end{equation}$

(3.11)

As before, we have

$\begin{equation} ||T_{2}(x, y)||\leq \nu_{2} \sum\limits_{i = 1}^{m} K_{i}. \end{equation}$

(3.12)

On the other hand, for all $j = 1, 2$ , we get

$\begin{eqnarray*} |\phi_{j}T_{1}(x, y)(t)| = \left|\int_{0}^{t}A'_{j}(t, s)T_{1}(x, y)(s)ds\right| \leq \max\limits_{t, s\in[0, 1]}|A'_{j}(t, s)|\nu_{1}\sum\limits_{i = 1}^{m} L_{i}. \end{eqnarray*}$

This implies that

$\begin{eqnarray} ||\phi_{1}T_{1}(x, y)(t)||&\leq &\nu_{3}\sum\limits_{i = 1}^{m} L_{i}, \end{eqnarray}$

(3.13)

$\begin{eqnarray} ||\phi_{2}T_{1}(x, y)(t)||&\leq &\nu_{4}\sum\limits_{i = 1}^{m} L_{i}. \end{eqnarray}$

(3.14)

Similarly, we have

$\begin{eqnarray} ||\varphi_{1}T_{2}(x, y)(t)||&\leq &\nu_{5}\sum\limits_{i = 1}^{m} K_{i}, \end{eqnarray}$

(3.15)

$\begin{eqnarray} ||\varphi_{2}T_{2}(x, y)(t)||&\leq &\nu_{6}\sum\limits_{i = 1}^{m} K_{i}. \end{eqnarray}$

(3.16)

It follows from (3.11)–(3.16) that:

$\begin{eqnarray*} ||T(x, y)||_{E}\leq \max \left(\begin{array}{ll} \nu_{1} \sum\limits_{i = 1}^{m} L_{i}, \nu_{2} \sum\limits_{i = 1}^{m} K_{i}, \nu_{3}\sum\limits_{i = 1}^{m} L_{i}, &\\ \nu_{4}\sum\limits_{i = 1}^{m} L_{i}, , \nu_{5}\sum\limits_{i = 1}^{m}, \nu_{6}\sum\limits_{i = 1}^{m}& \end{array}\right). \end{eqnarray*}$

Thus,

$||T(x, y)||_{E} < \infty.$

(ii) Second, we prove that $T$ is equi-continuous:

For any $0 \leq t_{1} < t_{2} \leq T$ and $(x, y) \in\Omega_{\lambda}$ , we have

$\begin{eqnarray*} &&|T_{1}(x, y)(t_{2})-T_{1}(x, y)(t_{1})|\\ &&\qquad\leq \left[\dfrac{1}{\Gamma(\alpha)}\int^{t_{1}}_{0}(t_{2}-\tau)^{\alpha-1}-(t_{1}-\tau)^{\alpha-1}d\tau+\dfrac{1}{\Gamma(\alpha)}\int^{t_{2}}_{t_{1}}(t_{2}-\tau)^{\alpha-1}d\tau\right. \\ &&\qquad\quad\left.+\dfrac{t_{2}^{\alpha-1}-t_{1}^{\alpha-1}}{\psi}\left(\dfrac{T^{2}}{2}-\dfrac{\theta\eta^{2\alpha-1}}{\Gamma(2\alpha-1)^{2}\Gamma(2\alpha-1)}\right)\right]\\ &&\qquad\times\sup\limits_{t\in[0, T]}\sum\limits_{i = 1}^{m} |f_{i}(t, x(t), y(t), \varphi_{1}x(t), \phi_{1}y(t))|\\ &&\qquad\leq\left[\dfrac{2}{\Gamma(\alpha+1)}(t_{2}-t_{1})^{\alpha-1}+(t_{2}^{\alpha-1}-t_{1}^{\alpha-1})\left[\dfrac{T^{2}}{2\psi}\right.\right.\\ &&\qquad\quad\left.\left.-\dfrac{\theta\eta^{2\alpha-1}}{\psi\Gamma(2\alpha-1)^{2}\Gamma(2\alpha-1)}+\dfrac{1}{\Gamma(\alpha+1)}\right]\right]\times\sum\limits_{i = 1}^{m}L_{i}. \end{eqnarray*}$

Therefore,

$\begin{eqnarray} &&||T_{1}(x, y)(t_{2})-T_{1}(x, y)(t_{1})||_{E} \\ &&\quad\left[\dfrac{2}{\Gamma(\alpha+1)}(t_{2}-t_{1})^{\alpha-1}+(t_{2}^{\alpha-1}-t_{1}^{\alpha-1})\left[\dfrac{T^{2}}{2\psi}+\dfrac{1}{\Gamma(\alpha+1)}\right]\right]\times\sum\limits_{i = 1}^{m}L_{i}. \end{eqnarray}$

(3.17)

We also have

$\begin{eqnarray} &&||T_{2}(x, y)(t_{2})-T_{2}(x, y)(t_{1})||_{E} \\ &&\quad\left[\dfrac{2}{\Gamma(\beta+1)}(t_{2}-t_{1})^{\beta-1}+(t_{2}^{\beta-1}-t_{1}^{\beta-1})\left[\dfrac{T^{2}}{2\psi'}+\dfrac{1}{\Gamma(\beta+1)}\right]\right]\times\sum\limits_{i = 1}^{m}K_{i}. \end{eqnarray}$

(3.18)

On the other hand,

$\begin{eqnarray*} &&|\phi_{i}T_{1}(x, y)(t_{2})-\phi_{i}T_{1}(x, y)(t_{1})|\\ &&\quad\leq\left[\max\limits_{s\in[0, 1]}|A_{i}'(t_{2}, s)-A_{i}'(t_{1}, s)|+(t_{2}-t_{1})\max\limits_{s\in[0, 1]}|A_{i}'(t_{1}, s)|\right] \times\sup\limits_{s\in[0, 1]}|T_{1}(x, y)(s)|. \end{eqnarray*}$

Consequently, for all $i = 1, 2,$ we obtain

$\begin{eqnarray} &&||\phi_{i}T_{1}(x, y)(t_{2})-\phi_{i}T_{1}(x, y)(t_{1})||\\ &&\quad\leq\left[\max\limits_{s\in[0, 1]}|A_{i}'(t_{2}, s)-A_{i}'(t_{1}, s)|+(t_{2}-t_{1})\max\limits_{s\in[0, 1]}|A_{i}'(t_{1}, s)|\right] \nu_{1}\sum\limits_{i = 1}^{m}L_{i}. \end{eqnarray}$

(3.19)

Similarly,

$\begin{eqnarray} &&||\varphi_{i}T_{1}(x, y)(t_{2})-\varphi_{i}T_{1}(x, y)(t_{1})||\\ &&\quad\leq\left[\max\limits_{s\in[0, 1]}|B_{i}'(t_{2}, s)-B_{i}'(t_{1}, s)|+(t_{2}-t_{1})\max\limits_{s\in[0, 1]}|B_{i}'(t_{1}, s)|\right] \nu_{2}\sum\limits_{i = 1}^{m}K_{i}. \end{eqnarray}$

(3.20)

where $i = 1, 2$ . Using (3.17)–(3.20), we deduce that

$||T(x, y)(t_{2})-T(x, y)(t_{1})||_{E}\longrightarrow 0$

as $t_{2}\rightarrow t_{1}.$

Combining (i) and (ii), we conclude that $T$ is completely continuous.

(iii) Finally, we shall prove that the set $F$ defined by

$F = \{(x, y) \in E, (x, y) = \rho T (x, y), \ 0 < \rho < 1 \}$

is bounded.

Let $(x, y)\in F$ , then $(x, y) = \rho T (x, y)$ , for some $0 < \rho < 1$ . Thus, for each $t \in [0, T]$ , we have:

$\begin{equation} x(t) = \rho T_{1}(x, y)(t), \ y (t) = \rho T_{2}(x, y)(t) . \end{equation}$

(3.21)

Thanks to ( $H3$ ) and using (3.11) and (3.12), we deduce that

$\begin{equation} ||x||\leq\rho\nu_{1}\sum\limits_{i = 1}^{m}L_{i}, \ ||y|| \leq\rho\nu_{2} \sum\limits_{i = 1}^{m}K_{i} . \end{equation}$

(3.22)

Using (3.13)–(3.16), it yields that

$\begin{eqnarray} \left\{\begin{array}{llll} ||\phi_{1}x||\leq \rho\nu_{3} \sum_{i = 1}^{m}L_{i} & \\ ||\phi_{2}x||\leq \rho\nu_{4} \sum_{i = 1}^{m}L_{i} & \\ ||\varphi_{1}y||\leq \rho\nu_{5} \sum_{i = 1}^{m}K_{i} & \\ ||\varphi_{2}y||\leq \rho\nu_{6} \sum_{i = 1}^{m}K_{i} & \end{array}\right.. \end{eqnarray}$

(3.23)

It follows from (3.22) and (3.23) that

$\begin{eqnarray*} ||T(x, y)||_{E}\leq \rho\max \left(\begin{array}{ll} \nu_{1} \sum_{i = 1}^{m} L_{i}, \nu_{2} \sum_{i = 1}^{m} K_{i}, \nu_{3}\sum_{i = 1}^{m} L_{i}, &\\ \nu_{4}\sum_{i = 1}^{m} L_{i}, , \nu_{5}\sum_{i = 1}^{m}, \nu_{6}\sum_{i = 1}^{m}& \end{array}\right). \end{eqnarray*}$

Consequently,

$||(x, y)||_{E} < \infty.$

This shows that $F$ is bounded. By Lemma (2.1), we deduce that $T$ has a fixed point, which is a solution of (1.1).

4. Related examples

To illustrate our main results, we treat the following examples.

Example 4.1. Consider the following system:

$\begin{eqnarray} \left\{\begin{array}{llllll} D^{\frac{3}{2}}x(t) = \dfrac{\cos(\pi t)(x+y+\varphi_{1}x(t)+\phi_{1}y(t))}{10\pi(x+y+\varphi_{1}x(t)+\phi_{1}y(t))}+\dfrac{1}{32\pi^{2}e}&\\ \\ \qquad\qquad\qquad \left(\cos x(t)+\cos y(t)+\dfrac{\varphi_{1}x(t)+\phi_{1}y(t)}{4\pi}\right), &\\ \\ D^{\frac{3}{2}}y(t) = \dfrac{1}{8\pi^{3}(t+1)}\left(\dfrac{x+y+\varphi_{2}x(t)+\phi_{2}y(t)}{3+x+y+\varphi_{2}x(t)+\phi_{2}y(t)}\right)+\dfrac{1}{(10\pi+e^{t})e^{(t+1)}}&\\ \\ \qquad\qquad\qquad \left(\dfrac{\sin x(t)+\sin y(t)+\cos\varphi_{2}x(t)+\cos\phi_{2}y(t) }{2+\sin x(t)+\sin y(t)+\cos\varphi_{2}x(t)+\cos\phi_{2}y(t)}\right), \\ \\ I^{\frac{1}{2}}x(0) = 0, \ D^{-\frac{1}{2}}x(T) = I^{\frac{1}{2}}(x(1)), &\\ I^{\frac{1}{2}}y(0) = 0, \ D^{-\frac{1}{2}}y(T) = I^{\frac{1}{2}}(y(1)).& \end{array}\right. \end{eqnarray}$

(4.1)

We have

$\alpha = \dfrac{3}{2}, \ \beta = \dfrac{3}{2}, \ T = 1, \ \theta = 1, \ \omega = 1, \ \gamma = 1, \ m = 2, \ \eta = 1.$

Also,

$\begin{eqnarray} f_{1}(t, x(t), y(t), \varphi_{1}x(t), \phi_{1}y(t))& = & \dfrac{\cos(\pi t)(x+y+\varphi_{1}x(t)+\phi_{1}y(t))}{10\pi(1+x+y+\varphi_{1}x(t)+\phi_{1}y(t))}, \end{eqnarray}$

(4.2)

$\begin{eqnarray} f_{2}(t, x(t), y(t), \varphi_{1}x(t), \phi_{1}y(t))& = &\dfrac{1}{32\pi^{2}e}\left(\cos x(t)+\cos y(t)+\dfrac{\varphi_{1}x(t)+\phi_{1}y(t)}{4\pi}\right).\\ \end{eqnarray}$

(4.3)

For $t \in [0, 1]$ and $(x_{1}, y_{1}, \varphi_{1}x_{1}, \phi_{1}y_{1}), (x_{2}, y_{2}, \varphi_{1}x_{2}, \phi_{1}y_{2})\in\mathbb{R}^{4}$ , we have

$\begin{eqnarray} &&|f_{1}(t, x_{1}, y_{1}, \varphi_{1}x_{1}, \phi_{1}y_{1})-f_{1}(t, x_{2}, y_{2}, \varphi_{1}x_{2}, \phi_{1}y_{2})|\\ &&\leq\dfrac{|\cos(\pi t)|}{10\pi}\left|\dfrac{x_{1}+y_{1}+\varphi_{1}x_{1}+\phi_{1}y_{1}}{1+x_{1}+y_{1}+\varphi_{1}x_{1}+\phi_{1}y_{1}}-\dfrac{x_{2}+y_{2}+\varphi_{1}x_{2}+\phi_{1}y_{2})}{1+x_{2}+y_{2}+\varphi_{1}x_{2}+\phi_{1}y_{2})}\right|\\ &&\leq \dfrac{1}{10\pi}(|x_{1}-x_{2}|+|y_{1}-y_{2}|+|\varphi_{1}x_{1}-\varphi_{1}x_{2}|+|\phi_{1}y_{1}-\phi_{1}y_{2}|) \end{eqnarray}$

(4.4)

and

$\begin{eqnarray} &&|f_{2}(t, x_{1}, y_{1}, \varphi_{1}x_{1}, \phi_{1}y_{1})-f_{2}(t, x_{2}, y_{2}, \varphi_{1}x_{2}, \phi_{1}y_{2})|\\ &&\quad\leq \dfrac{1}{32\pi e}(|x_{1}-x_{2}|+|y_{1}-y_{2}|+|\varphi_{1}x_{1}-\varphi_{1}x_{2}|+|\phi_{1}y_{1}-\phi_{1}y_{2}|). \end{eqnarray}$

(4.5)

So, we can take

$\xi_{1}^{1} = \xi_{2}^{1} = \xi_{3}^{1} = \xi_{4}^{1} = \dfrac{1}{10\pi},$

$\xi_{1}^{2} = \xi_{2}^{2} = \xi_{3}^{2} = \xi_{4}^{2} = \dfrac{1}{32\pi e}.$

We also have

$\begin{eqnarray} g_{1}(t, x(t), y(t), \varphi_{2}x(t), \phi_{2}y(t))& = &\dfrac{1}{8\pi^{3}(t+1)}\left(\dfrac{x+y+\varphi_{2}x(t)+\phi_{2}y(t)}{3+x+y+\varphi_{2}x(t)+\phi_{2}y(t)}\right) \end{eqnarray}$

and

$\begin{eqnarray} && g_{2}(t, x(t), y(t), \varphi_{2}x(t), \phi_{2}y(t))\\ && = \dfrac{1}{(10\pi +e^{t})e^{t+1}} \left(\dfrac{\sin x(t)+\sin y(t)+\cos\varphi_{2}x(t)+\cos\phi_{2}y(t) }{2+\sin x(t)+\sin y(t)+\cos\varphi_{2}x(t)+\cos\phi_{2}y(t)}\right) \end{eqnarray}$

(4.6)

For $t \in [0, 1]$ and $(x_{1}, y_{1}, \varphi_{2}x_{1}, \phi_{2}y_{1}), (x_{2}, y_{2}, \varphi_{2}x_{2}, \phi_{2}y_{2})\in\mathbb{R}^{4}$ , we can write

$\begin{eqnarray} &&|g_{1}(t, x_{1}, y_{1}, \varphi_{2}x_{1}, \phi_{2}y_{1})-g_{1}(t, x_{2}, y_{2}, \varphi_{2}x_{2}, \phi_{2}y_{2})|\\ &&\quad \leq \dfrac{1}{8\pi^{3}}(|x_{1}-x_{2}|+|y_{1}-y_{2}|+|\varphi_{2}x_{1}-\varphi_{2}x_{2}|+|\phi_{2}y_{1}-\phi_{2}y_{2}|), \end{eqnarray}$

(4.7)

and

$\begin{eqnarray} &&|g_{2}(t, x_{1}, y_{1}, \varphi_{2}x_{1}, \phi_{2}y_{1})-g_{2}(t, x_{2}, y_{2}, \varphi_{2}x_{2}, \phi_{2}y_{2})|\\ &&\quad \leq \dfrac{1}{10\pi e^{2}}(|x_{1}-x_{2}|+|y_{1}-y_{2}|+|\varphi_{2}x_{1}-\varphi_{2}x_{2}|+|\phi_{2}y_{1}-\phi_{2}y_{2}|). \end{eqnarray}$

(4.8)

Hence,

$\chi_{1}^{1} = \chi_{2}^{1} = \chi_{3}^{1} = \chi_{4}^{1} = \dfrac{1}{8\pi^{3}},$

$\chi_{1}^{2} = \chi_{2}^{2} = \chi_{3}^{2} = \chi_{4}^{2} = \dfrac{1}{10\pi e^{2}}.$

Therefore,

$A_{1} = 0.0589009676, \; \; A_{2} = 0.0250930393.$

Suppose

$A'_{i} = B'_{i} = 1, \ i = 1, 2,$

so,

$A_{1} = A_{3} = A_{4}, \; \; A_{2} = A_{5} = A_{6}.$

Thus,

$\begin{equation} \max(A_{1}, A_{2}, A_{3}, A_{4}, A_{5}, A_{6}) < 1, \end{equation}$

(4.9)

and by Theorem 3.1, we conclude that the system (4.1) has a unique solution on $[0, 1]$ .

Example 4.2.

$\begin{eqnarray} \left\{\begin{array}{llllll} D^{\frac{3}{2}}x(t) = \dfrac{\pi( t+1)\sin(\varphi_{1}x(t)+\phi_{1}y(t))}{2-\cos(x(t)+y(t))}&\\ \\ \qquad\qquad\qquad +\dfrac{e^{t}}{2\pi+\cos(x(t)+\varphi_{1}x(t))+\sin(\sin(y(t)+\phi_{1}y(t))}, \ t\in[0, 1], &\\ \\ D^{\frac{4}{3}}y(t) = \dfrac{e^{2}\sin(x(t)+y(t))}{2\pi+\cos(\varphi_{2}x(t)+\phi_{2}y(t))}&\\ \\ \qquad\qquad\qquad +\dfrac{3 t^{2}\cos y(t)}{e^{t^{3}+1}-\cos( x(t)+y(t)-\varphi_{2}x(t)-\phi_{2}y(t))}, \ t\in[0, 1], \\ \\ I^{\frac{1}{2}}x(0) = 0, \ D^{-\frac{1}{2}}x(T) = I^{\frac{1}{2}}(x(1)), &\\ I^{\frac{2}{3}}y(0) = 0, \ D^{-\frac{2}{3}}y(T) = I^{\frac{1}{3}}(y(1)).& \end{array}\right. \end{eqnarray}$

(4.10)

We have

$\alpha = \dfrac{3}{2}, \ \beta = \dfrac{4}{3}, \ T = 1, \ \theta = 1, \ \omega = 1, \ \gamma = 1, \ m = 2, \ \eta = 1.$

Since

$\begin{eqnarray} |f_{1}(t, x(t), y(t), \varphi_{1}x(t), \phi_{1}y(t))|& = &\left|\dfrac{\pi( t+1)\sin(\varphi_{1}x(t)+\phi_{1}y(t))}{2-\cos(x(t)+y(t))}\right| \leq 2\pi , \\ |f_{2}(t, x(t), y(t), \varphi_{1}x(t), \phi_{1}y(t))|& = &\left|\dfrac{e^{t}}{2\pi+\cos(x(t)+\varphi_{1}x(t))+\sin(\sin(y(t)+\phi_{1}y(t))}\right| \leq \dfrac{e}{2\pi +2}, \\ |g_{1}(t, x(t), y(t), \varphi_{2}x(t), \phi_{2}y(t))|& = &\left|\dfrac{e^{2}\sin(x(t)+y(t))}{2\pi+\cos(\varphi_{2}x(t)+\phi_{2}y(t))}\right| \leq \dfrac{e^{2}}{2\pi +1}, \\ |g_{2}(t, x(t), y(t), \varphi_{2}x(t), \phi_{2}y(t))|& = &\left|\dfrac{3 t^{2}\cos y(t)}{e^{t^{3}+1}-\cos( x(t)+y(t)-\varphi_{2}x(t)-\phi_{2}y(t))}\right| \leq \dfrac{3}{e-1}. \end{eqnarray}$

The functions $f_{1}, \ f_{2}, \ g_{1}\ \text{and}\ g_{2}$ are continuous and bounded on $[0, 1]\times\mathbb{R}^{4}$ . So, by Theorem 3.2, the system (4.10) has at least one solution on $[0, 1]$ .

5. Conclusions

We have proved the existence of solutions for fractional differential equations with integral and multi-point boundary conditions. The problem is solved by applying some fixed point theorems. We also provide examples to make our results clear.

Conflict of interest

The authors declare that they have no conflicts of interest in this paper.

References

[1]	D. Agarwal, P. Singh, M. A. El Sayed, The Karush-Kuhn-Tucker (KKT) optimality conditions for fuzzy-valued fractional optimization problems, Math. Comput. Simulat., 205 (2023), 861–877. https://doi.org/10.1016/j.matcom.2022.10.024 doi: 10.1016/j.matcom.2022.10.024
[2]	J. P. Aubin, Contingent derivatives of set-valued maps and existence of solutions to nonlinear inclusions and differential inclusions, In: Mathematical Analysis and Applications, Part A, New York: Academic Press, 1981,160–229.
[3]	J. P. Aubin, H. Frankowska, Set-valued analysis, Boston: Birhäuser, 1990.
[4]	M. Avriel, Nonlinear programming: Theory and method, Englewood Cliffs, New Jersey: Prentice-Hall, 1976.
[5]	D. Bhatia, P. K. Garg, Duality for non smooth non linear fractional multiobjective programs via ( $\mathrm{F}$ , $\rho$ )-convexity, Optimization, 43 (1998), 185–197. https://doi.org/10.1080/02331939808844382 doi: 10.1080/02331939808844382
[6]	D. Bhatia, A. Mehra, Lagrangian duality for preinvex set-valued functions, J. Math. Anal. Appl., 214 (1997), 599–612. https://doi.org/10.1006/jmaa.1997.5599 doi: 10.1006/jmaa.1997.5599
[7]	D. Bhatia, A. Mehra, Fractional programming involving set-valued functions, Indian J. Pure Appl. Math., 29 (1998), 525–540.
[8]	J. Borwein, Multivalued convexity and optimization: A unified approach to inequality and equality constraints, Math. Program., 13 (1977), 183–199. https://doi.org/10.1007/BF01584336 doi: 10.1007/BF01584336
[9]	K. Das, On constrained set-valued optimization problems with $\rho$ -cone arcwise connectedness, SeMA J., 2022, 1–16. https://doi.org/10.1007/s40324-022-00295-0
[10]	K. Das, C. Nahak, Sufficient optimality conditions and duality theorems for set-valued optimization problem under generalized cone convexity, Rend. Circ. Mat. Palerm., 63 (2014), 329–345. https://doi.org/10.1007/s12215-014-0163-9 doi: 10.1007/s12215-014-0163-9
[11]	K. Das, C. Nahak, Optimality conditions for approximate quasi efficiency in set-valued equilibrium problems, SeMA J., 73 (2016), 183–199. https://doi.org/10.1007/s40324-016-0063-3 doi: 10.1007/s40324-016-0063-3
[12]	K. Das, C. Nahak, Set-valued fractional programming problems under generalized cone convexity, Opsearch, 53 (2016), 157–177. https://doi.org/10.1007/s12597-015-0222-9 doi: 10.1007/s12597-015-0222-9
[13]	K. Das, C. Nahak, Approximate quasi efficiency of set-valued optimization problems via weak subdifferential, SeMA J., 74 (2017), 523–542. https://doi.org/10.1007/s40324-016-0099-4 doi: 10.1007/s40324-016-0099-4
[14]	K. Das, C. Nahak, Optimality conditions for set-valued minimax fractional programming problems, SeMA J., 77 (2020), 161–179. https://doi.org/10.1007/s40324-019-00209-7 doi: 10.1007/s40324-019-00209-7
[15]	K. Das, C. Nahak, Set-valued optimization problems via second-order contingent epiderivative, Yugosl. J. Oper. Res., 31 (2021), 75–94. https://doi.org/10.2298/YJOR191215041D doi: 10.2298/YJOR191215041D
[16]	K. Das, S. Treanţă, On constrained set-valued semi-infinite programming problems with $\rho$ -cone arcwise connectedness, Axioms, 10 (2021), 302. https://doi.org/10.3390/axioms10040302 doi: 10.3390/axioms10040302
[17]	K. Das, S. Treanţă, Constrained controlled optimization problems involving second-order derivatives, Quaest. Math., 2022, 1–11. https://doi.org/10.2989/16073606.2022.2055506
[18]	K. Das, S. Treanţă, T. Saeed, Mond-weir and wolfe duality of set-valued fractional minimax problems in terms of contingent epi-derivative of second-order, Mathematics, 10 (2022), 938. https://doi.org/10.3390/math10060938 doi: 10.3390/math10060938
[19]	M. A. Elsisy, M. A. El Sayed, Y. A.-Elnaga, A novel algorithm for generating Pareto frontier of bi-level multi-objective rough nonlinear programming problem, Ain Shams Eng. J., 12 (2021), 2125–2133. https://doi.org/10.1016/j.asej.2020.11.006 doi: 10.1016/j.asej.2020.11.006
[20]	M. A. Elsisy, A. S. Elsaadany, M. A. El Sayed, Using interval operations in the hungarian method to solve the fuzzy assignment problem and its application in the rehabilitation problem of valuable buildings in Egypt, Complexity, 2020, 1–11. https://doi.org/10.1155/2020/6623049
[21]	J. Y. Fu, Y. H. Wang, Arcwise connected cone-convex functions and mathematical programming, J. Optim. Theory Appl., 118 (2003), 339–352. https://doi.org/10.1023/A:1025451422581 doi: 10.1023/A:1025451422581
[22]	N. Gadhi, A. Jawhar, Necessary optimality conditions for a set-valued fractional extremal programming problem under inclusion constraints, J. Global Optim., 56 (2013), 489–501. https://doi.org/10.1007/s10898-012-9849-8 doi: 10.1007/s10898-012-9849-8
[23]	J. Jahn, R Rauh, Contingent epiderivatives and set-valued optimization, Math. Method. Oper. Res., 46 (1997), 193–211. https://doi.org/10.1007/BF03354124 doi: 10.1007/BF03354124
[24]	H. Jiao, Y. Shang, R. Chen, A potential practical algorithm for minimizing the sum of affine fractional functions, Optimization, 2022, 1–31. https://doi.org/10.1080/02331934.2022.2032051
[25]	H. Jiao, W. Wang, Y. Shang, Outer space branch-reduction-bound algorithm for solving generalized affine multiplicative problem, J. Comput. Appl. Math., 419 (2023), 114784. https://doi.org/10.1016/j.cam.2022.114784 doi: 10.1016/j.cam.2022.114784
[26]	R. N. Kaul, V. Lyall, A note on nonlinear fractional vector maximization, Opsearch, 26 (1989), 108–121. https://doi.org/10.1515/pm-1989-260303 doi: 10.1515/pm-1989-260303
[27]	M. B. Khan, G. Santos-García, S. Treanţă, M. A. Noor, M. S. Soliman, Perturbed mixed variational-like inequalities and auxiliary principle pertaining to a fuzzy environment, Symmetry, 14 (2022), 2503.
[28]	M. B. Khan, G. Santos-García, H. Budak, S. Treanţă, M. S. Soliman, Some new versions of Jensen, Schur and Hermite-Hadamard type inequalities for (p, F)-convex fuzzy-interval-valued functions, AIMS Math., 8 (2023), 7437–7470.
[29]	M. B. Khan, H. A. Othman, G. Santos-García, T. Saeed, M. S. Soliman, On fuzzy fractional integral operators having exponential kernels and related certain inequalities for exponential trigonometric convex fuzzy-number valued mappings, Chaos Soliton. Fract., 169 (2023), 113274.
[30]	M. B. Khan, G. Santos-García, M. A. Noor, M. S. Soliman, Some new concepts related to fuzzy fractional calculus for up and down convex fuzzy-number valued functions and inequalities, Chaos Soliton. Fract., 164 (2022), 112692.
[31]	C. S. Lalitha, J. Dutta, M. G. Govil, Optimality criteria in set-valued optimization, J. Aust. Math. Soc., 75 (2003), 221–232. https://doi.org/10.1017/S1446788700003736 doi: 10.1017/S1446788700003736
[32]	J. C. Lee, S. C. Ho, Optimality and duality for multiobjective fractional problems with r-invexity, Taiwanese J. Math., 12 (2008), 719–740. https://doi.org/10.11650/twjm/1500574161 doi: 10.11650/twjm/1500574161
[33]	J. Ma, H. Jiao, J. Yin, Y. Shang, Outer space branching search method for solving generalized affine fractional optimization problem, AIMS Math., 8 (2023), 1959–1974. https://doi.org/10.3934/math.2023101 doi: 10.3934/math.2023101
[34]	Z. Peng, Y. Xu, Second-order optimality conditions for cone-subarcwise connected set-valued optimization problems, Acta Math. Appl. Sin.-E., 34 (2018), 183–196. https://doi.org/10.1007/s10255-018-0738-x doi: 10.1007/s10255-018-0738-x
[35]	Q. S. Qiu, X. M. Yang, Connectedness of henig weakly efficient solution set for set-valued optimization problems, J. Optim. Theory Appl., 152 (2012), 439–449. https://doi.org/10.1007/s10957-011-9906-3 doi: 10.1007/s10957-011-9906-3
[36]	L. Rodríguez-Marín, M. Sama, About contingent epiderivatives, J. Math. Anal. Appl., 327 (2007), 745–762. https://doi.org/10.1016/j.jmaa.2006.04.060 doi: 10.1016/j.jmaa.2006.04.060
[37]	M. A. El Sayed, M. A. Abo-Sinna, A novel approach for fully intuitionistic fuzzy multi-objective fractional transportation problem, Alex. Eng. J., 60 (2021), 1447–1463. https://doi.org/10.1016/j.aej.2020.10.063 doi: 10.1016/j.aej.2020.10.063
[38]	M. A. El Sayed, I. A. Baky, P. Singh, A modified TOPSIS approach for solving stochastic fuzzy multi-level multi-objective fractional decision making problem, Opsearch, 57 (2020), 1374–1403. https://doi.org/10.1007/s12597-020-00461-w doi: 10.1007/s12597-020-00461-w
[39]	M. A. El Sayed, F. A. Farahat, M. A. Elsisy, A novel interactive approach for solving uncertain bi-level multi-objective supply chain model, Comput. Ind. Eng., 169 (2022), 108225. https://doi.org/10.1016/j.cie.2022.108225 doi: 10.1016/j.cie.2022.108225
[40]	I. M. Stancu-Minasian, A eighth bibliography of fractional programming, Optimization, 66 (2017), 439–470. https://doi.org/10.1080/02331934.2016.1276179 doi: 10.1080/02331934.2016.1276179
[41]	I. M. Stancu-Minasian, A ninth bibliography of fractional programming, Optimization, 68 (2019), 2125–2169. https://doi.org/10.1080/02331934.2019.1632250 doi: 10.1080/02331934.2019.1632250
[42]	T. V. Su, D. D. Hang, Second-order optimality conditions in locally Lipschitz multiobjective fractional programming problem with inequality constraints, Optimization, 2021, 1–28. https://doi.org/10.1080/02331934.2021.2002328
[43]	S. K. Suneja, S. Gupta, Duality in multiple objective fractional programming problems involving nonconvex functions, Opsearch, 27 (1990), 239–253. https://doi.org/10.1515/tsd-1990-270418 doi: 10.1515/tsd-1990-270418
[44]	S. K. Suneja, C. S. Lalitha, Multiobjective fractional programming involving $\rho$ -invex and related functions, Opsearch, 30 (1993), 1–14.
[45]	N. T. T. Thuy, T. V. Su, Robust optimality conditions and duality for nonsmooth multiobjective fractional semi-infinite programming problems with uncertain data, Optimization, 2022, 1–31. https://doi.org/10.1080/02331934.2022.2038154
[46]	S. Treanţă, K. Das, On robust saddle-point criterion in optimization problems with curvilinear integral functionals, Mathematics, 9 (2021), 1790. https://doi.org/10.3390/math9151790 doi: 10.3390/math9151790
[47]	T. V. Su, D. D. Hang, Optimality and duality in nonsmooth multiobjective fractional programming problem with constraints, 4OR-Q. J. Oper. Res., 20 (2022), 105–137. https://doi.org/10.1007/s10288-020-00470-x doi: 10.1007/s10288-020-00470-x
[48]	X. U. Yihong, L. I. Min, Optimality conditions for weakly efficient elements of set-valued optimization with $\alpha$ -order near cone-arcwise connectedness, J. Syst. Sci. Math. Sci., 36 (2016), 1721–1729. https://doi.org/10.12341/jssms12925 doi: 10.12341/jssms12925
[49]	G. Yu, Optimality of global proper efficiency for cone-arcwise connected set-valued optimization using contingent epiderivative, Asia Pac. J. Oper. Res., 30 (2013), 1340004. https://doi.org/10.1142/S0217595913400046 doi: 10.1142/S0217595913400046
[50]	G. Yu, Global proper efficiency and vector optimization with cone-arcwise connected set-valued maps, Numer. Algebr. Control, 6 (2016), 35–44. https://doi.org/10.3934/naco.2016.6.35 doi: 10.3934/naco.2016.6.35

Reader Comments

Your name:*

Email:*
© 2023 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)

通讯作者: 陈斌, bchen63@163.com

1.
沈阳化工大学材料科学与工程学院沈阳 110142

AIMS Mathematics

1.8 3.4

Metrics

Article views(1205) PDF downloads(62) Cited by(1)

Preview PDF

Download XML

Export Citation

Article outline

Show full outline

AIMS Mathematics

Set-valued fractional programming problems with $\sigma$ -arcwisely connectivity

Related Papers:

Abstract

1. Introduction

2. Preliminaries

3. Main results

3.1. Existence of solutions

3.2. Uniqueness of solutions

4. Related examples

5. Conclusions

Conflict of interest

References

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Other Articles By Authors

Catalog

AIMS Mathematics

Set-valued fractional programming problems with σ \sigma -arcwisely connectivity

Related Papers:

Abstract

1. Introduction

2. Preliminaries

3. Main results

3.1. Existence of solutions

3.2. Uniqueness of solutions

4. Related examples

5. Conclusions

Conflict of interest

References

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Other Articles By Authors

Related pages

Tools

Export File

Citation

Format

Content

Catalog

Set-valued fractional programming problems with $\sigma$ -arcwisely connectivity