 Research
 Open access
 Published:
Existenceuniqueness of positive solutions to nonlinear impulsive fractional differential systems and optimal control
Boundary Value Problems volume 2020, Article number: 162 (2020)
Abstract
In this thesis, we investigate a kind of impulsive fractional order differential systems involving control terms. By using a class of φconcaveconvex mixed monotone operator fixed point theorem, we obtain a theorem on the existence and uniqueness of positive solutions for the impulsive fractional differential equation, and the optimal control problem of positive solutions is also studied. As applications, an example is offered to illustrate our main results.
1 Introduction
In recent years, more experiments and theories show that many abnormal phenomena that occur in engineering and applied sciences can be described by fractional calculus, and fractional differential equations have been proved to be valuable tools in various science fields, such as physics, biological engineering, mechanics, artificial intelligence, chemistry engineering, etc. (see [1–5]). In [5], Zhang and Tian investigated the following fractional differential system with two nonlinear terms:
where \(n\geq 3, 1\leq \gamma \leq \beta \leq n2\), \(f:[0,1]\times [0,\infty )\times [0,\infty )\rightarrow [0,\infty )\) is continuous, \(g:[0,1]\times [0,\infty )\rightarrow [0,\infty ) \) is continuous, and \(k:[0,\infty )\rightarrow [0,\infty )\) is continuous. By means of the sumtype mixed monotone operator fixed point theorems, a unique positive solution was obtained, and the authors constructed two monotone iterative sequences to approximate the unique positive solution.
In addition, in order to describe a physical process model with discontinuous jumps or mutations in disease prevention and control, earthquake and shock absorption systems, and other aspects of research, many researchers have investigated the impulsive problems, see [6–12]. Moreover, in recent years, optimal control problem to all kinds of differential equations has attracted many researchers. For a small sample of such work, readers can refer to [13–16]. In [14], Zhang and Yamazaki investigated a class of second order impulsive differential equations given by
By employing a fixed point theorem of φconcaveconvex mixed monotone operator, existence and uniqueness of positive solutions to the initial value problem were obtained. In addition, the authors investigated the control problem of positive solutions and proved the existencestability of an optimal control.
In [16], Benchohra investigated the following Caputo fractional differential equations with impulsive terms:
where \(^{C}D^{\gamma }\) is the standard Caputo fractional derivative, \(f:J\times E\rightarrow E\) is a given function, \(I_{k}:E\rightarrow E, k=1,2,\ldots,m\), and \(y_{0}\in E\). By using Monch’s fixed point theorem and the technique of measures of noncompactness, the existence of solutions for a class of initial value problems was investigated in an abstract Banach space.
Inspired by the above literature, in the article, we are devoted to studying the existenceuniqueness and optimal control of positive solutions to impulsive fractional order differential equations with control term as follows:
where \({}_{0}^{C}D_{t}^{\alpha }\) denotes the standard Caputo fractional derivative of order α, \(J=[0,1]\), \(t\in (0,1)/\{t_{1},t_{2},\ldots,t_{m}\}\), \(R^{+}=[0,\infty ]\), \(f: C[J\times R^{+}\times R^{+}]\rightarrow R^{}\). u is a given function on \([0,1]\) and \(x_{0}>0\), \(0< t_{1}< t_{2}<\cdots<t_{m}<1\), \(\Delta x_{t=t_{k}}\) is a jump of \(x(t)\) at \(t=t_{k}\) and \(\Delta x_{t=t_{k}}=x(t_{k}^{+})x(t_{k}^{})\), where \(x(t_{k}^{+})\) is the right limit and \(x(t_{k}^{})\) is the left limit of \(x(t)\) at \(t=t_{k}\). Also, \(I_{k}\in C[R^{+}\times R^{+},R^{+}], k=1,2,\ldots m\). In addition, let \(J_{0}=[0,t_{1}],J_{1}=(t_{1},t_{2}],\ldots,J_{1}=(t_{m1},t_{m}]\), and \(J'=J\setminus \{t_{1},t_{2},\ldots,t_{m}\}\).
Problem (OP). Find an optimal control \(u^{*}\in \mathcal{U}_{M}\) such that \(\pi (u^{*})=\inf_{u\in \mathcal{U}_{M}}\pi (u)\). Here, \(\mathcal{U}_{M}\) is a control Banach space defined by
where M is a positive constant and \(\pi (u)\) is the cost functional. Set
where \(u\in \mathcal{U}_{M}\) is a control function, x is a positive solution to \((IP;u)\), and \(x_{d}\) is the given desired target profiles in \(L^{2}(0,1)\).
To the best of our knowledge, there are few studies that consider the existenceuniqueness and optimal control of positive solutions to Caputo fractional differential equations with impulsive terms. Therefore, in the sense of minimum function, it is particularly important to study this kind of equation by nonlinear theory, which enriches and extends the existing body of literature. The main characteristic features presented in this article are as follows. Firstly, the equations in this paper are the generalization of the equations studied in [16], where \(I_{k}(x(t_{k}),x(t_{k}))=I_{k}(x(t_{k}))\), \(f(t,x(t),x(t))=f(t,x(t))\), and \(u(t)=0\). Secondly, in our work, the nonlinear term is mixed monotone, so by means of the fixed point theorem of φconcaveconvex mixed monotone operator, we can show the existence and uniqueness of positive solution. Here, we should point out that the conditions showed in this paper are weaker than the conditions in [7], in which the operator is completely continuous. Finally, comparing with [15], the optimal control problems in differential equations of integer order are extended to the fractional differential equations; comparing with [5] and [14], in this paper, we consider the fractional differential equations with impulsive terms and control terms. As we all know, in many applications, lots of systems with shortterm perturbations are often described by impulsive fractional differential equations, and in the existing literature, there is no paper studying a similar optimal control problem for fractional differential equations with impulsive term. So our study is new and significant.
The structure of this paper is as follows. In Sect. 2, we briefly review some definitions, concepts, notations, and lemmas in a Banach space partially ordered by cone \(P_{h}\). In Sect. 3, the existence and uniqueness of positive solutions are investigated. In Sect. 4, we study the optimal control problems to fractional differential equations involving impulsive terms (1.1). Finally, in Sect. 5, we show a specific example to illustrate our main results.
2 Preliminaries
Suppose that P is a nonempty closed convex set and \(P\subset E\), P is called a cone if it satisfies the following conditions:
 \((I_{1})\):

\(x\in P\), \(\lambda \geq 0 \Rightarrow \lambda x \in P\);
 \((I_{2})\):

\(x\in P, x\in P \Rightarrow x=\theta \).
In addition, \((E, \Vert \cdot \Vert )\) is a real Banach space which is partially ordered by a cone \(P\subset E\), that is, \(yx\in P\) implies that \(x\leq y\). If \(x\leq y\) and \(x\neq y\), then we denote \(x< y\) or \(y>x\). We denote the zero element of E by θ. For all \(x,y\in E\), if there exists \(M>0\) such that \(\theta \leq x\leq y\) implies \(\x\\leq \y\\), the cone P is called normal; in this case M is the infimum of such a constant, it is called normality constant of P.
Furthermore, for given \(\forall h>\theta \), set \(P_{h}=\{x\in E\mid x\sim h\}\), in which ∼ is an equivalence relation, i.e., for all \(x,y\in E\), \(x\sim y\) means that there exist \(\lambda >0\) and \(\mu >0\) such that \(\lambda x\geq y\geq \mu x\).
Throughout this paper, let \(PC[J,R]:=\{xx:J\to R, x(t)\) be a continuous function at \(t\ne t_{k}\) and left continuous at \(t=t_{k}\), \(x(t_{k}^{+})\) exists, \(k=1,2,\ldots,m\}\). Then we can easily find that \(PC[J,R]\) is a Banach space and the norm \(\x\_{pc}=\sup_{t\in J}x\). Set \(H:=L^{2}(J)\) with the usual Hilbert structure, in addition, \(\\cdot \\) is the norm in H.
Definition 2.1
([8])
The fractional integral of α order for a function f is defined as follows:
provided that such an integral exists.
Definition 2.2
([8])
The Caputo fractional derivative of α order for a function f is defined as follows:
where \([\alpha ]\) denotes the integer part of the real number α.
Definition 2.3
([5])
\(A:P\times P\rightarrow P\) is said to be a mixed monotone operator if \(A(x,y)\) is increasing in x and decreasing in y, i.e., \(u_{1}< u_{2}\) and \(v_{1}>v_{2}\) imply \(A(u_{1},v_{1})\leq A(u_{2},v_{2})\). An element \(x\in P\) is called a fixed point of A if \(A(x,x)=x\).
Definition 2.4
([13])
\(A:P\times P\rightarrow P\) is said to be a φconcaveconvex operator if there exists \(\varphi (t)\in (t,1]\) such that \(A(tu,t^{1}v)\geq \varphi (t)A(u,v)\) for any \(u,v\in P\) and \(t\in (0,1)\).
Lemma 2.1
([17])
Let P be a normal cone of a real Banach space E. Also, let \(A:P\times P\rightarrow P\) be a mixed monotone operator. Assume that
 \((A_{1})\):

there exists \(h\in P\) with \(h\neq \theta \) such that \(A(h,h)\in P_{h}\);
 \((A_{2})\):

\(A:P\times P\rightarrow P\) is a φconcaveconvex operator for any \(u,v\in P\).
Then operator A has a unique fixed point \(x^{*}\) in \(P_{h}\). Moreover, for any initial \(x_{0},y_{0}\in P_{h}\), constructing successively the sequences
we have \(\x_{n}x^{*}\\rightarrow 0\) and \(\y_{n}x^{*}\\rightarrow 0\) as \(n\rightarrow \infty \).
3 Initial value problem
In this section, we show the existenceuniqueness of the positive solution to (OP; u) by applying a fixed point theorem of mixed monotone operator (Lemma 2.1). Throughout this section, let \(\widetilde{P}=\{u\in PC[J,R];u(t)\geq 0,\forall t\in J\}\). Obviously, P̃ is a normal cone in \(PC[J,R]\); moreover, the normality constant of P̃ is 1.
Definition 3.1
([14])
Let \(v\in H\) and M be a given constant. Then a function \(u\in PC[J,R]\cap C'[J',R]\) is called a solution to \((OP;v)\) on J if it satisfies (1.1).
Lemma 3.1
Assume that \(f:J\times R^{+}\times R^{+}\rightarrow R\) is continuous and \(u\in H\). So, \(x\in PC{[J,R]}\cap C[J',R]\) is a solution to \((IP;u)\) on J if and only if \(x\in PC[J,R]\) is the solution to the following integral equation:
Proof
If \(t\in J_{0}\), we take α times integral for the first equation on both sides of (1.1) at the same time, then the following contents can be obtained:
Then
If \(t\in J_{1}\), integrating on both sides of the first equation of (1.1), we have
Since \(x(t)\) has a break point \(t=t_{1}\) within \((0, t) \), we get
and
Furthermore, we obtain
Similarly, if \(t\in J_{k}\), we have
and
Finally, we get
Then we know that (3.1) is equivalent to (1.1).
Now, we prove that (3.1) meets the differential system (1.1).
If \(t\in J_{0}\), let \(t=0\), by (3.1) we get \(x(0)=x_{0}\).
If \(t\in J_{1}\), taking derivative on both sides of (3.1), we have
In the first type of (3.1), let \(t\rightarrow t_{1}^{}\), we have
In the second type of (3.1), let \(t\rightarrow t_{1}^{+}\), we have
and then we know
So it is easy to know, when \(t\in J_{1}\), (3.1) meets all kinds of (1.1). Likewise, if \(t\in J_{k}\), (3.1) meets all kinds of (1.1) too, i.e., (3.1) and (1.1) are completely equivalent. It constitutes a proof. □
For convenience, set \(A:PC[J,R]\times PC[J,R]\rightarrow PC[J,R]\) by
Theorem 3.1
Assume that \(M>0\) and
 \((H_{1})\):

\(f:J\times R^{+}\times R^{+}\rightarrow R^{}\) for all \(t\in J\) and \(x,y\in R^{+}\), \(f(t,x,y)\) is monotone decreasing in x for each \(t\in J\) and \(y\in R^{+}\) and is monotone increasing in y for each \(t\in J\) and \(x\in R^{+}\); furthermore, \(f(t,\frac{1}{2},1)<0\) for all \(t\in J\);
 \((H_{2})\):

for each \(k=1,2,\ldots,m, I_{k}\in C[R^{+}\times R^{+}]\), and \(I_{k}\geq 0\), \(I_{k}(x,y)\) is monotone increasing in x for each \(y\in R^{+}\) and is monotone decreasing in y for each \(x\in R^{+}\);
 \((H_{3})\):

for all \(\gamma \in (0,1)\) and \(x,y\in R^{+}\), there exists \(\varphi _{1}(\gamma )\in (\gamma,1]\) such that
$$ f\bigl(t,\gamma x,\gamma ^{1}y\bigr)\leq \varphi _{1}( \gamma )f(t,x,y); $$for all \(\gamma \in (0,1)\), \(\forall x,y\in R^{+}\), and \(k=1,2,\ldots,m\), there exists \(\varphi _{2}(\gamma )\in (\gamma,1]\) such that
$$ I_{k}\bigl(\gamma x,\gamma ^{1}y\bigr)\geq \varphi _{2}(\gamma )I_{k}(x,y). $$
Then, for all \(u\in H\) with \(M\leq u(t)\leq 0\), the problem \((OP;u)\) has a unique positive solution \(x^{*}\in \widetilde{P}_{h}\), where \(h(t)=\frac{1}{2}+\frac{1}{\Gamma (\alpha )}\int _{0}^{t}(ts)^{ \alpha 1}\,ds\) and \(\widetilde{P}_{h}=\{u\in \widetilde{P}\mid u\sim h\}\).
Proof
From (3.2), \((H_{1})\), and \((H_{2})\), we have \((A(x,y))(t)\geq 0\) for \(\forall x,y\in \tilde{P}\), that is, \(A:\tilde{P}\times \tilde{P}\rightarrow \tilde{P}\). Also, the operator \(A:\tilde{P}\times \tilde{P}\rightarrow \tilde{P}\) is a mixed monotone operator. Now, we show that A is a φconcaveconvex operator. Put \(\varphi (\gamma )=\min \{\varphi _{1}(\gamma ),\varphi _{2}(\gamma )\}\), where \(\gamma \in (0,1)\). Since \(\varphi _{1}(\gamma )\in (\gamma,1]\) and \(\varphi _{2}(\gamma )\in (\gamma,1]\), it is easy to see that \(\gamma \leq \varphi (\gamma )\leq 1\). Hence, from \((H_{1})\)–\((H_{3})\) and \(u(t)\leq 0\), for \(\forall \gamma \in (0,1)\) and \(x,y\in \tilde{P}\), we obtain
that is, \(A(\gamma x,\gamma ^{1}y)(t)\geq \varphi (\gamma )A(x,y)(t)\) for \(\forall x,y\in \tilde{P}\) and \(\gamma \in (0,1)\).
Let \(h(t):=\frac{1}{2}+\frac{1}{\Gamma (\alpha )}\int _{0}^{t}(ts)^{ \alpha 1}\,ds=\frac{1}{2}+\frac{t^{\alpha }}{\Gamma (\alpha +1)}, \forall t\in J\). Then we can easily obtain that \(\frac{1}{2}\leq h(t)\leq \frac{1}{2}+\frac{1}{\Gamma (\alpha +1)}, \forall t\in J\). Set
then \(0\leq r_{1}\leq r_{2}\). Furthermore, from \(M\leq u\leq 0\), it is easy to know that
where \(r_{3}=\frac{2\Gamma (\alpha +1)}{2+\Gamma (\alpha +1)} (x_{0}+r_{1} )\). Furthermore,
where \(r_{4}=2 (x_{0}+r_{2}+M+\sum_{0< t_{k}<1}I_{k} ( \frac{1}{2}+\frac{1}{\Gamma (\alpha +1)},\frac{1}{2} ) )\).
From the above, we know that \(r_{3}h\leq A(h,h)\leq r_{4}h\), that is, \(A(h,h)\in \widetilde{P}_{h}\). Therefore, by employing Lemma 2.1, the equation \(x=A(x,x)\) has a unique positive solution in \(\tilde{P_{h}}\) for \((IP;u)\) on J. The proof is complete. □
Corollary 3.1
Suppose that
 \((H_{1}')\):

\(f:J\times R^{+}\rightarrow (\infty,0]\) for all \(t\in J\) and \(x\in R^{+}\). Also, \(f(t,x)\) is nondecreasing in x for each \(t\in J\) and \(x\in R^{+}\). Moreover, \(f(t,\frac{1}{2})<0\) for all \(t\in J\);
 \((H_{2}')\):

for each \(k=1,2,\ldots,m, I_{k}:R^{+}\rightarrow R^{+}, I_{k}(x)\) is nondecreasing in x;
 \((H_{3}')\):

for all \(\gamma \in (0,1)\) and \(\forall x\in R^{+}\), there exists \(\varphi _{1}(\gamma )\in (\gamma,1]\) such that
$$ f(t,\gamma x)\leq \varphi _{1}(\gamma )f(t,x); $$for all \(\gamma \in (0,1)\), \(x\in R^{+}\), and \(\forall k=1,2,\ldots,m\), there exists \(\varphi _{2}(\gamma )\in (\gamma,1]\) such that
$$ I_{k}(\gamma x)\geq \varphi _{2}(\gamma )I_{k}(x). $$
Then, for \(\forall u\in H\) with \(M\leq u(t)\leq 0\), the following optimal control system
has a unique positive solution \(x^{*}\in P_{h}\) on J, where \(h(t)=\frac{1}{2}+\frac{1}{\Gamma (\alpha )}\int _{0}^{t}(ts)^{ \alpha 1}\,ds\).
4 Optimal control problem (OP)
In this section, in order to investigate the optimal control problem \((OP)\) to \((IP;u)\), we assume that the following additional conditions hold:
 \((H_{4})\):

There exist two constants \(C_{f}>0\) and \(C_{k}>0\) such that
$$\begin{aligned} &\bigl\vert f(s,u,u)f(s,v,v) \bigr\vert \leq C_{f} \vert uv \vert ,\quad \forall s\in J, u,v \in R^{+}; \\ &\bigl\vert I_{k}(u,u)I_{k}(v,v) \bigr\vert \leq C_{k} \vert uv \vert \quad \forall u,v\in R^{+}, \forall k=1,2,\ldots,m. \end{aligned}$$  \((H_{5})\):

\(x_{d}\) is a given desired target profile in H.
Lemma 4.1
Let \(\{u_{n}\}\subset H\), \(\Phi:H\rightarrow C[J,R]\) be an integral operator defined by
Suppose that there exists \(u_{n}\rightarrow u\) weakly \(n\rightarrow \infty \) for \(u\in H\). Then we have \(\Phi u_{n}\rightarrow \Phi u\) in \(C[J,R]\) as \(n\rightarrow \infty \).
Proof
Because of \(u_{n}\rightarrow u\) weakly in H, it is easy to see that, for \(\forall t\in J\),
Moreover,
Since \((ts)^{\alpha 1}(\tau s)^{\alpha 1}\rightarrow 0\) and \(\frac{(t\tau )^{\alpha }}{\alpha }\rightarrow 0\) as \(t\rightarrow \tau \), we get
It shows that \(\{\Phi u_{n}\}\subset C[J,R]\) is equicontinuous, \(u_{n}\rightarrow u\) weakly as \(n\rightarrow \infty \). Finally, by means of the Ascoli–Arzela theorem, it is easy to see that Lemma 4.1 holds. □
Lemma 4.2
Suppose that \((H_{1})\)–\((H_{5})\) hold. Let \(\{u_{n}\}\subset \mathcal{U}_{M}\) and \(u\in \mathcal{U}_{M}\). Assume \(u_{n}\rightarrow u\) weakly in H. Then, for the \((OP;u_{n})\) problems, the unique positive solution \(x_{n}\) on J converges to one x of \((OP;u)\). That is, for the Banach space \(PC[J,R]\), we have
Proof
Obviously, \(x_{n}\) is a solution of \((OP;u_{n})\) if and only if
Let \(t\in J_{0}=[0,t_{1}]\subset J\), we get
By using the Gronwall inequalities, we have
and
Hence,
Moreover, from \((H_{4})\), we obtain
and for \(\forall t\in J_{1}=(t_{1},t_{2}]\), we get
Taking \(N_{2}=N_{0}+1+C_{1}N_{1}>0\) such that \(x_{n}(t)x(t)\leq N_{2}\\Phi u_{n}\Phi u\_{C[J,R]}\), \(\forall t\in J_{1}, n=1,2,\ldots \) . Also, from \((H_{4})\), we get
Repeat this process until there exist two positive constants \(N_{k}>0,N'_{k}>0\) such that
Finally, set \(N=\max \{N_{1},N'_{1},N_{2},N'_{2},\ldots,N_{m},N'_{m},N_{m+1}\}\). Then we have \(\x_{n}x_{PC}\leq N\\Phi u_{n}\Phi u\_{C[J,\mathbb{R}]}, n=1,2, \ldots \) . From \(u_{n}\rightarrow u\) weakly as \(n\rightarrow \infty \), we can know that \(\Phi u_{n}\rightarrow \Phi u\) in \(C[J,R]\) as \(n\rightarrow \infty \). Hence, we obtain \(x_{n}\rightarrow x\text{ as }n\rightarrow \infty\text{ in }PC[J,R] \). □
Theorem 4.1
Assume that \((H_{1})\)–\((H_{5})\) hold, so the optimal control problem \((OP)\) to \((IP;u)\) has at least one optimal control \(u^{\ast }\in \mathcal{U}_{M}\) such that \(\pi (u^{\ast })=\inf_{u\in \mathcal{U}_{M}}\pi (u)\), where \(\mathcal{U}_{M}\) is a control functions space defined by (1.2), \(\pi (\cdot )\) is a cost functional given in (1.3).
Proof
Let \(\{u_{n}\}\subset \mathcal{U}_{M}\) be a minimizing sequence, we have \(\lim_{n\rightarrow \infty }\pi (u_{n})=\inf_{u\in \mathcal{U}_{M}} \pi (u)\). Since \(\{u_{n}\}\) is a bounded consequence in H, there exist a subsequence \(\{n_{k}\}\subset \{n\}\) and \(u^{\ast }\in \mathcal{U}_{M}\) such that \(n_{k}\rightarrow \infty \) and \(u_{n_{k}}\rightarrow u^{\ast }\) weakly in the space H as \(k\rightarrow \infty \). In addition, set \(x_{n_{k}}\) to be the unique positive solution to \((IP;u_{n_{k}})\) on J. Then, from Lemma 4.2, we get \(x_{n_{k}}\rightarrow x\) as \(k\rightarrow \infty\) in \(PC[J, \mathbb{R}]\). For \((IP;u)\), x is a unique positive solution. Finally, by employing the weak lower semicontinuity of Hnorm, it is obvious that
that is, \(u^{\ast }\in \mathcal{U}_{M}\) is an optimal control to \((OP)\). □
For convenience, we give the following condition:
\((H_{4}')\) There exist two constants \(C_{f}>0\) and \(C_{k}>0\) such that
Corollary 4.1
Suppose that conditions \((H_{1}')\)–\((H_{4}')\) and \((H_{5})\) hold, so \((IP_{1};u)\) has at least one optimal control \(u^{\ast }\in \mathcal{U}_{M}\) such that \(\inf_{u\in \mathcal{U}_{M}}\pi (u)=\pi (u^{\ast })\), where \(\mathcal{U}_{M}\) is the control space given by (1.2), \(\pi (\cdot )\) is a cost function defined by (1.3).
5 Application
In this section, in order to verify the validity of our conclusions, we investigate a specific initial value problem of fractional order impulsive differential systems as follows:
Conclusion: There exists a unique positive solution to fractional order impulsive differential equation initial value problem (5.1), and the unique positive solution is continuously differentiable on \([0,\frac{1}{3})\cup (\frac{1}{3},1]\). In addition, the impulsive initial value problem (5.1) has at least one optimal control.
Proof
Let \(J=[0,1],t_{1}=\frac{1}{3},f(t,x,y):=f(x,y)=2(1+x(t))^{\frac{1}{2}}2(1+y(t))^{ \frac{1}{4}}\). Evidently, the twovariable function \(f(x,y)\) is decreasing in x and increasing in y, respectively. Setting \(I_{1}(x,y)=(1+x(t))^{\frac{1}{2}}+(1+x(t))^{\frac{1}{4}}\), we know that \(I_{1}(x,y)\) is increasing in x for \(y\geq 0\) and is decreasing in y for \(x\geq 0\).
Set \(\varphi (\gamma )=\gamma ^{\frac{1}{2}}, \gamma \in (0,1)\), then
It is easy to see that \((H_{1}),(H_{2})\), and \((H_{3})\) hold. Hence, for each \(u\in H\) with \(M\leq u(t)\leq 0\), Theorem 3.1 implies that there exists a unique positive solution on J, where \(M>0\) is a given constant. In addition, let \(C_{f}=C_{1}=1\). Then we can conclude that \((H_{4})\) holds. Finally, by means of Theorem 4.1, for each desired target profile \(x_{d}\) in H, the (OP) to (5.1) has at least one optimal control. □
References
Oldham, K.: The Fractional Calculus. Academic Press, New York (1974)
Weitzner, H.: Some applications of fractional equations. Commun. Nonlinear Sci. Numer. Simul. 8(3–4), 273–281 (2003)
Khalil, R.: A new definition of fractional derivative. J. Comput. Appl. Math. 264, 65–70 (2014)
Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)
Zhang, L., Tian, H.: Existence and uniqueness of positive solutions for a class of nonlinear fractional differential equations. Adv. Differ. Equ. 2017, 422 (2017)
Zhai, C., Hao, M.: Fixed point theorems for mixed monotone operators with perturbation and applications to fractional differential equation boundary value problems. Nonlinear Anal. 75, 2542–2551 (2012)
Goodrich, C.: Existence of a positive solution to a class of fractional differential equations. Appl. Math. Lett. 23(9), 1050–1055 (2010)
Jleli, M.: Existence of positive solutions to an arbitrary order fractional differential equation via a mixed monotone operator method. Nonlinear Anal., Model. Control 20(3), 367–376 (2015)
Feckan, M.: On the concept and existence of solution for impulsive fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 17, 3050–3060 (2012)
Zhai, C., Ren, J.: A coupled system of fractional differential equations on the halfline. Bound. Value Probl. 2019, 117 (2019)
Zhai, C., Yan, W., Yang, C.: A sum operator method for the existence and uniqueness of positive solutions to Riemann–Liouville fractional differential equation boundary value problems. Commun. Nonlinear Sci. Numer. Simul. 18, 858–866 (2013)
Mujeeb, U.: Existence and uniqueness of solutions for impulsive fractional differential equations. Appl. Math. Comput. 224, 422–431 (2013)
Wardowski, D.: Mixed monotone operators and their application to integral equations. J. Fixed Point Theory Appl. 19, 1103–1117 (2017)
Zhang, L., Yamazaki, N.: Positive solutions for impulsive differential equations with mixed monotonicity and optimal control. Abstr. Appl. Anal. 2014, 974968 (2014)
Zhang, Y.: Optimal control of positive solution to initial value problem for fractional integrodifferential equations. In: 29th Chinese Control and Decision Conference, pp. 7851–7856 (2017)
Benchohra, M.: Impulsive fractional differential equations in Banach spaces. Electron. J. Qual. Theory Differ. Equ. 2009, 8 (2009)
Zhai, C., Zhang, L.: New fixed point theorems for mixed monotone operators and local existenceuniqueness of positive solutions for nonlinear boundary value problems. J. Math. Anal. Appl. 382(2), 594–614 (2011)
Acknowledgements
We are thankful to the editor and the anonymous reviewers for many valuable suggestions to improve this paper.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Funding
This paper is supported by the opening project of State Key Laboratory of Explosion Science and Technology (Beijing Institute of Technology). The opening project number is KFJJ1906M. And it is also supported by the Key R&D Program of Shanxi Province (International Cooperation, 201903D421042).
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the manuscript and typed, read, and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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/.
About this article
Cite this article
Song, S., Zhang, L., Zhou, B. et al. Existenceuniqueness of positive solutions to nonlinear impulsive fractional differential systems and optimal control. Bound Value Probl 2020, 162 (2020). https://doi.org/10.1186/s1366102001461x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366102001461x