- Research
- Open access
- Published:
Results on the approximate controllability of fractional hemivariational inequalities of order \(1< r<2\)
Advances in Difference Equations volume 2021, Article number: 237 (2021)
Abstract
In this paper, we investigate the approximate controllability of fractional evolution inclusions with hemivariational inequalities of order \(1< r<2\). The main results of this paper are verified by using the fractional theories, multivalued analysis, cosine families, and fixed-point approach. At first, we discuss the existence of the mild solution for the class of fractional systems. After that, we establish the approximate controllability of linear and semilinear control systems. Finally, an application is presented to illustrate our theoretical results.
1 Introduction
Fractional calculus, as a significant area of mathematics, was initiated in 1695. Currently, the concept of fractional calculation has been powerfully tested in many social, physical, signal and image processing, biological, control theory, and engineering problems, etc. For more specifics, refer to the book [32] and the research papers [1–6, 14]. The notion of exact controllability has an essential role in mathematical control theories and technology. In recent years, many authors have done fruitful achievements on exact and approximate controllability of different nonlinear dynamical problems; one can refer to the research articles [16, 30].
It is common knowledge that many problems from mechanics (elasticity theory, semipermeability, electrostatics, hydraulics, fluid flow), economics, and so on can be modeled by subdifferential inclusions or hemivariational inequalities, and we refer to [31] for more applications of hemivariational inequalities. Recently, the existence of solutions for hemivariational inequalities has been proved by many authors. Furthermore, the hemivariational inequalities were initiated by Panagiotopoulos in 1980. They are handled for the mechanical problems with nonconvex, nonsmooth superpotentials, and optimal control problems; several researchers investigated the existence and approximate controllability results by applying the various approaches and different fixed-point theorems. We suggest the articles [23–25] and the references therein. Recently, in [20], the authors discussed the existence results for quasilinear parabolic hemivariational inequalities by use of the theory of multivalued pseudomonotone operators, the notion of the generalized gradient of Clarke, and the property of the first eigenfunction. The authors built a Landesman–Lazer theory in the nonsmooth framework of quasilinear parabolic hemivariational inequalities. Inspired by the above-mentioned paper, in [21], the authors studied the approximate controllability for control systems described by a class of hemivariational inequalities. The authors introduced the concept of mild solutions for hemivariational inequalities and then the approximate controllability was formulated and proved by utilizing a fixed-point theorem of multivalued maps and properties of generalized Clarke subdifferential.
Currently, a growing number of researchers have made successful progress in existence and exact controllability results for fractional evolution systems of order \(r \in (1,2)\). In particular, in [41], the authors introduced a new approach for finding mild solutions for the considered system. Additionally, the authors developed the controllability of fractional differential systems with order \(r\in (1,2)\) by applying fractional calculus, cosine families, multivalued analysis, the Laplace transform, measure of noncompactness, Mainardi’s Wright-type function, and a fixed-point theorem. Further, the authors established the nonlocal condition in fractional system with order \(r \in (1,2)\) (see [12]). Moreover, there are some interesting and improved outcomes on the existence and exact controllability of the fractional system of order \(r \in (1,2)\) with delay, without delay by referring to the theory of fractional calculus, cosine families, multivalued analysis, and the fixed-point approach. For more details, see the research articles [26–29].
The approximate controllability for fractional evolution inclusions of order \(r \in (1,2)\) by using the ideas of hemivariational inequalities, Mainardi’s Wright function and strongly continuous cosine families is still an untreated topic [18, 19]. The above facts inspired the present work. Therefore, we consider the fractional differential hemivariational inequalities with order \(r \in (1,2)\) having the form
where \({}^{\mathrm{C}}D_{t}^{r}\) denotes the Caputo fractional derivative of order \(r \in (1,2)\), \(A:D(A) \subseteq U \times U\) is the infinitesimal generator of a strongly continuous cosine family \(\{C(t)\}_{t \ge 0}\) in a Hilbert space U. The control function \(x(\cdot )\) takes values in \(L^{2}(W,Y)\) and the admissible controls’ set Y is a Hilbert space. Furthermore, B is a bounded linear operator from Y into U, and \(\partial \mathcal {G}(t,\cdot )\) denotes the generalized Clarke’s subdifferential of a locally Lipschitz function \(\mathcal {G}(t,\cdot )\) mapping U into \(\mathbb {R}\).
The main contributions of our manuscript are as follows: (i) A new set of sufficient conditions are formulated and used to prove the existence and approximate controllability results of fractional evolution inclusions with hemivariational inequalities of order \(1< r<2\) under simple and fundamental assumptions on the system operators, in particular, that the corresponding linear system is approximately controllable. (ii) In this paper, we establish sufficient conditions for the approximate controllability results of fractional evolution inclusions with hemivariational inequalities for the linear system. (iii) Further, we extend the result to obtain the conditions for the solvability of approximate controllability results for fractional evolution inclusions with hemivariational inequalities for the semilinear case. (iv) We show that our result has no analog for the concept of complete controllability, and finally we give an example of the system which is not completely controllable, but approximately controllable. (v) More precisely, the controllability problem can be converted into a solvability problem of a functional operator equation in an appropriate Hilbert spaces and the fixed point approach is used to solve the problem.
The rest of this manuscript is organized as follows: Sect. 2 gives basic definitions and preliminary results to be used in this paper. In Sect. 3, we present the existence of solutions to (1.1) and investigate the approximate controllability of the linear system (4.1) in Sect. 4. In Sect. 5, we provide the approximate controllability of (1.1). Finally, an application is provided to illustrate the theory of the obtained results.
2 Preliminaries
Now, we introduce the well-known definitions, lemmas, notations, and facts about fractional calculus which will be used in the sequel [15, 32]. Let X be a Banach space with the norm \(\|\cdot \|_{X}\); \(X^{*}\) denotes its dual and \((\cdot ,\cdot )_{X}\) is the duality pairing between \(X^{*}\) and X; \(\mathbb {C}(W,X)\) denotes the Banach space of all continuous functions from W into X with the \(\|u\|_{\mathbb {C}(W,X)}=\sup_{t \in W}\|u(t)\|_{X}\). We set \(P:=\sup_{t \in [0,\infty )}\|C(t)\| < +\infty \).
Denote by \(D(A)\) and \(R(A)\) the domain and range of A, respectively. We denote the resolvent set of A by \(\rho (A)\) and the resolvent of A by
We now present some theories based on fractional calculus, which are discussed in [15].
Definition 2.1
The Riemann–Liouville fractional integral of order \(\gamma \in \mathbb {R}^{+}\) with the lower limit zero for a function \(g:[0,\infty )\rightarrow \mathbb {R}^{+}\) is defined by
provided the right-hand side is pointwise defined on \([0,\infty )\), where \(\Gamma (\cdot )\) is the gamma function.
Definition 2.2
The Riemann–Liouville fractional derivative of order \(\gamma \in \mathbb {R}^{+}\) with the lower limit zero for a function \(g:[0,\infty )\rightarrow \mathbb {R}^{+}\) is defined by
Definition 2.3
The Caputo fractional derivative of order \(\gamma \in \mathbb {R}^{+}\) with the lower limit zero for a function \(g:[0,\infty )\rightarrow \mathbb {R}^{+}\) is defined by
Remark 2.4
-
(1)
The Caputo derivative of a constant is equal to zero.
-
(2)
If \(g \in \mathbb {C}[0,\infty )\), then
$$ {{}^{\mathrm{C}}D^{\gamma }}g(t)=\frac{1}{\Gamma (k-\gamma )} \int _{0}^{t} (t-s)^{k- \gamma -1}g^{(k)}(s)\,ds=I^{k-\gamma }g^{(k)}(t), $$with \(t>0\), \(k-1<\gamma <k\).
-
(3)
If g is an abstract function with values in U, then the integrals which appear in Definitions 2.2 and 2.3 are taken in Bochner’s sense.
Let us recall the well-known definitions and results of multivalued analysis. For more details on multivalued analysis, see the books [10, 13].
-
(i)
A multivalued map \(E: X \rightarrow 2^{X}\setminus \{\emptyset \}:=\psi (X)\) is convex (closed) valued, if \(E(u)\) is convex (closed) for all \(u \in X\).
-
(ii)
A multivalued map E is said to be upper semicontinuous on X if for each \(u\in X\), the set \(E(u)\) is a nonempty, closed subset of X, and if for each open set \(\mathbb {V}\) of X containing \(E(u)\), there exists an open neighborhood Q of u such that
$$ E(Q)\subseteq \mathbb {V}. $$ -
(iii)
E is said to be completely continuous if \(E(\mathbb {V})\) is relatively compact, for every bounded subset \(\mathbb {V} \subseteq X\).
-
(iv)
Let \((F,\Psi )\) and \((X,d)\) be a measurable space and separable metric space, respectively. A multivalued mapping \(E:W \rightarrow \psi (X)\) is said to be measurable, if for every closed set \(\mathscr {F} \subseteq X\), we have
$$ E^{-1}(\mathscr {F})=\bigl\{ t \in W:E(t) \cap \mathscr {F} \ne \emptyset \bigr\} \in \Psi . $$
We present the definition of the Clarke’s subdifferential for a locally Lipschitz function μ mapping X into \(\mathbb {R}\) [13]. We denote by \(\mu ^{0}(m,n)\) the Clarke’s generalized directional derivative of μ at m in the direction n, i.e.,
Recall also that the generalized Clarke’s subdifferential of μ at m is the subset of \(X^{*}\) given by
Lemma 2.5
([25])
Let μ be locally Lipschiz of rank \(\mathscr {F}\) near m, then
-
(a)
\(\partial \mu (m)\) is a nonempty, convex, weak∗-compact subset of \(X^{*}\) and \(\|m^{*}\|_{X^{*}} \le \mathscr {F}\), for every \(m^{*} \in \partial \mu (m)\);
-
(b)
for every \(n \in X\), one has \(\mu ^{0}(m,n)=\max \{\langle m^{*},n \rangle: \textit{for all } m^{*} \in \partial \mu (m)\}\).
Definition 2.6
([34])
A one-parameter family \(\{C(t)\}_{t \in \mathbb {R}}\) of bounded linear operators mapping the Hilbert space U to itself is said to be a strongly continuous cosine family if and only if
-
(i)
\(C(0) = I\);
-
(ii)
\(C(s+ t) + C(s- t) = 2C(s)C(t)\) for all \(s, t \in \mathbb {R}\);
-
(iii)
\(C(t)u\) is strongly continuous in t on \(\mathbb {R}\) for each fixed point \(u\in U\).
Let \(\{S(t)\}_{t\in \mathbb {R}}\) denote the strongly continuous sine family associated with the strongly continuous cosine family \(\{C(t)\}_{t\in \mathbb {R}}\), where
Additionally, A is called an infinitesimal generator of a cosine family \(\{C(t)\}_{t \in \mathbb {R}}\) if
where \(D(A)\) is determined by
Denote a set
The infinitesimal generator A is a closed, densely-defined operator in U. We set \(b= \frac{r}{2}\) for \(r\in (1, 2)\), as in [12, 40].
Definition 2.7
Any \(u \in \mathbb {C}(W,U)\) is said to be a mild solution of system (1.1) on W if
where
and \(S_{b}(\cdot )\) is the Mainardi’s Wright-type function defined on \((0,\infty )\) such that
Let
which is said to be the reachable set of (1.1). If \(\mathcal {G}=0\), then this system is said to be the corresponding linear system of (1.1). Let \(N_{c}(0)\) denote the reachable set of the linear system.
Definition 2.8
([18])
The control system (1.1) is said to be approximately controllable on \(W=[0,c]\), if \(\overline {N_{c}(\mathcal {G})}=U\), where \(\overline {N_{c}(\mathcal {G})}\) denotes the closure of \(N_{c}(\mathcal {G})\). Clearly, the corresponding linear system is approximately controllable on W, if \(\overline {N_{c}(0)}=U\).
Lemma 2.9
([12])
The operators \(C_{b}(t)\), \(K_{b}(t)\), and \(T_{b}(t)\) have the following properties:
-
(i)
For any \(t\ge 0\), \(C_{b}(t)\), \(K_{b}(t)\), and \(T_{b}(t)\) are linear and bounded operators such that for all \(u\in U\),
$$ \bigl\Vert C_{b}(t)u \bigr\Vert \le P \Vert u \Vert ,\qquad \bigl\Vert K_{b}(t)u \bigr\Vert \le P \Vert u \Vert t, \qquad \bigl\Vert T_{b}(t)u \bigr\Vert \le \frac{P}{\Gamma (2b)} \Vert u \Vert t^{b}; $$ -
(ii)
The operators \(\{C_{b}(t),t\ge 0\}\), \(\{K_{b}(t),t\ge 0\}\), and \(\{t^{b-1} T_{b}(t),t\ge 0\}\) are strongly continuous;
-
(iii)
For any \(t\ge 0\), \(C_{b}(t)\), \(K_{b}(t)\), and \(T_{b}(t)\) are also compact operators if \(T(t)\) is compact.
Lemma 2.10
([34])
The following results are true:
-
(i)
There exist \(P \ge 1\) and \(\omega \ge 0\) such that \(\|C(t)\|_{L_{c}(U)}\le P e^{\omega |t|}\), for all \(t \in \mathbb {R}\);
-
(ii)
\(\|S(t_{2})-S(t_{1})\|_{L_{c}(U)}\le P |\int _{t_{1}}^{t_{2}}e^{ \omega |s|}\,ds |\) for all \(t_{2},t_{1} \in \mathbb {R}\);
-
(iii)
If \(u \in \mathcal {A}\), then \(S(t)u \in D(A)\) and \(\frac{d}{dt}C(t)u = A S(t)u\).
Lemma 2.11
([41])
Let \(\{C(t)\}_{t \in \mathbb {R}}\) be a strongly continuous cosine family in U, and A be the infinitesimal generator of \(\{C(t)\}_{t \in \mathbb {R}}\). Then
Lemma 2.12
([34])
Let \(\{C(t)\}_{t\in \mathbb {R}}\) be a strongly continuous cosine family in U satisfying \(\|C(t)\|_{L_{c}(U)}\le Pe^{\omega |t|}\), \(t \in \mathbb {R}\). Then for \(\operatorname{Re} \Lambda > \omega \), \(\Lambda ^{2}\in \rho (A)\) and
Theorem 2.13
([22])
Let X is a Banach space and \(\mathcal {H}:X \rightarrow 2^{X}\) be a compact convex valued, upper semicontinuous multivalued map such that there exists a closed neighborhood \(\mathbb {V}\) of zero for which \(\mathcal {H}(\mathbb {V})\) is relatively compact set. If
is bounded, then \(\mathcal {H}\) has a fixed point.
3 Existence results
In this section, we study the existence of mild solutions of system (1.1). Before starting and proving the main results of this section, we impose the following hypotheses:
- (\(\mathrm{H}_{1}\)):
-
The operator \(\{C(t)\}\) is compact for all \({t\ge 0}\).
- (\(\mathrm{H}_{2}\)):
-
\(\mathcal {G}:W \times U \rightarrow \mathbb {R}\) is a function such that
-
(i)
the function \(t \mapsto \mathcal {G}(t,u)\) is measurable for all \(u \in U\);
-
(ii)
the function \(u \mapsto \mathcal {G}(t,u)\) is locally Lipschitz for all \(t \in W\);
-
(iii)
there exists a function \(\beta \in L^{2}(W,\mathbb {R^{+}})\) and \(j>0\) such that
$$ \bigl\Vert \partial \mathcal {G}(t,u) \bigr\Vert _{U}=\sup \bigl\{ \Vert g \Vert _{U}: g \in \partial \mathcal {G}(t,u)\bigr\} \le \beta (t)+j \Vert u \Vert _{U}, $$for every \(u \in U\) and for all \(t \in W\).
-
(i)
Now, we consider the operator \(\mathcal {V}:L^{2}(W,U) \rightarrow 2^{L^{2}(W,U)}\) as follows:
Lemma 3.1
([25])
If (\(\mathrm{H}_{2}\)) holds, then for every \(u \in L^{2}(W,U)\), the set \(\mathcal {V}(u)\) has nonempty, convex, and weakly compact values.
Lemma 3.2
([24])
If (\(\mathrm{H}_{2}\)) holds, the operator \(\mathcal {P}\) has the property that if \(u_{k} \rightarrow u \in L^{2}(W,U)\), \(z_{k} \rightarrow z\) weakly in \(L^{2}(W,U)\) and \(z_{k} \in \mathcal {P}(u_{k})\), then we have \(z \in \mathcal {P}(u)\).
Theorem 3.3
If (\(\mathrm{H}_{1}\)) and (\(\mathrm{H}_{2}\)) are satisfied, then system (1.1) has a mild solution on W.
Proof
For each \(x \in L^{2}(W,U)\) and all \(u \in \mathbb {C}(W,U) \subset L^{2}(W,U)\), from Definition 2.7, we introduce the multivalued map \(\mathcal {G}:\mathbb {C}(W,U) \rightarrow 2^{\mathbb {C}(W,U)}\) as follows:
Then our problem is reduced to finding the fixed point of \(\mathcal {H}\). For this, we shall check that \(\mathcal {H}\) satisfies all the assumptions of Theorem 2.13. Now, \(\mathcal {H}(u)\) is convex by the convexity of \(\mathcal {V}(u)\). Now, we split our discussion into following steps for ease of exposition.
Step 1: \(\mathcal {H}\) maps bounded subsets into bounded subsets in \(\mathbb {C}(W,U)\).
For any \(u \in \mathcal {B}_{p}=\{u \in \mathbb {C}(W,U):\|u\|_{\mathbb {C}} \le p\}\), \(p>0\), \(\vartheta \in \mathcal {H}(u)\), we obtain \(g \in \mathcal {V}(u)\) such that
Using (\(\mathrm{H}_{2}\))(iii), Lemma 2.10, and Hölder inequality, we get
Hence, \(\mathcal {H}(\mathcal {B}_{p})\) is bounded in \(\mathbb {C}(W,U)\).
Step 2: \(\{\mathcal {H}(u): u \in \mathcal {B}_{p}\}\) is equicontinuous for every \(p>0\).
For any \(u \in \mathcal {B}_{p}\), \(\vartheta \in \mathcal {H}(u)\) there exists \(g \in \mathcal {V}(u)\) such that (3.1) holds true. Now, for every \(\epsilon >0\), from (\(\mathrm{H}_{2}\))(iii), we have for all \(t \in W\),
Then, there exists \(\eta _{1}>0\) sufficiently small such that for all \(0< t \le \eta _{1}\),
Since, for each \(\epsilon >0\), all \(\varpi _{1},\varpi _{2} \in [0,\eta _{1}]\), and every \(\vartheta \in \mathcal {H}(\mathcal {B}_{p})\), we obtain
independently of \(u \in \mathcal {B}_{p}\). Next, for all \(u \in \mathcal {B}_{p}\), and \(\frac{\eta _{1}}{2} \le \varpi _{1} < \varpi _{2} \le c\), we get
Using Lemma 2.9, (\(\mathrm{H}_{2}\))(iii), and Hölder inequality, we get
Let \(M_{b}(t)=t^{b-1}T_{b}(t)\) for all \(t \in W\). From Lemma 2.9(ii), we get that \(M_{b}(t)\) is a strongly continuous operator. Choosing \(\eta _{2}>0\), we have
Let \(M_{b}(t)=t^{b-1}T_{b}(t)\) for all \(t \in W\). From Lemma 2.9(ii), we get that \(M_{b}(t)\) is a strongly continuous operator. Choosing \(\eta _{2}>0\), we have
Now Lemma 2.9 and the compactness of \(T(t)\) (\(t>0\)) gives the continuity of \(T_{b}(t)\) (\(t>0\)) in the uniform operator topology. Then \(\mathcal {E}_{4}\), \(\mathcal {E}_{7} \rightarrow 0\) independently of \(u \in \mathcal {B}_{p}\) as \(\varpi _{2} \rightarrow \varpi _{1}\), \(\eta _{2} \rightarrow 0\), and \(\mathcal {E}_{1}-\mathcal {E}_{3}\), \(\mathcal {E}_{5}\), \(\mathcal {E}_{6}\), \(\mathcal {E}_{8} \rightarrow 0\) as \(\varpi _{2} \rightarrow \varpi _{1}\) does not depend on a particular choice of u. Hence,
independently of \(u \in \mathcal {B}_{p}\) as \(\varpi _{2} \rightarrow \varpi _{1}\) and \(\eta _{2} \rightarrow 0\).
Let \(\eta =\min \{\eta _{1},\eta _{2}\}\). In addition, for all \(\epsilon >0\), all \(\varpi _{1},\varpi _{2} \in [0,c]\), \(|\varpi _{2}-\varpi _{1}| < \eta \), and all \(\vartheta \in \mathcal {H}(\mathcal {B}_{p})\), we easily prove that \(\|\vartheta (\varpi _{2})-\vartheta (\varpi _{1})\|_{U} < \epsilon \) independently of \(u \in \mathcal {B}_{p}\). Hence \(\{\mathcal {H}(u): u \in \mathcal {B}_{p}\}\) is an equicontinuous family of functions in \(\mathbb {C}(W,U)\).
Step 3: For each positive constant p, set \(\Upsilon _{p} = \{u\in U : |u| \le p\}\). Obviously, \(\Upsilon _{p}\) a bounded subset in U. We need to verify that ∀ \(p>0\) and \(t > 0\),
is relatively compact in U.
Let \(t > 0\) be fixed. For every \(\eta > 0\) and \(0 < \epsilon \le t\), define the subset in U by
Clearly, for each fixed \(t > 0\), \(\mathcal {T}_{\epsilon ,\eta }(t)\) is well-defined. In fact, by the uniformly boundedness of cosine family \(\tau \in (\eta ,\infty )\), we have for every \(u\in \Upsilon _{p}\),
Hence, the set \(\mathcal {T}_{\epsilon ,\eta }(t)\) is relatively compact since \(S(\epsilon ^{b}\eta )\) is compact for \(\epsilon ^{b}\eta >0\).
Moreover, we have
Since
and
we can see that
is uniformly convergent. Further, due to the strong continuity of \(\{S(t)\}_{t>0}\), for \(\tau \in (\eta ,\infty )\), using Lemma 2.9, we have
as \(b \rightarrow 0\). Hence, we have
On the other hand, since \(\int _{0}^{b} b\tau ^{2} S_{b}(\tau ) \,d\tau \rightarrow 0\) as \(b\rightarrow 0\), we have
Hence, there are relatively compact sets arbitrarily close to \(\mathcal {T}(t)\) for every \(t>0\). Therefore, the set \(\mathcal {T}(t)\) is relatively compact in U for every \(t > 0\). By Arzela–Ascoli’s theorem, \(\mathcal {H}\) is completely continuous.
Step 4: We have to prove that \(\mathcal {H}\) is upper semicontinuous. First, we prove that \(\mathcal {H}\) has a closed graph.
Let \(u_{k} \rightarrow u_{*}\in \mathbb {C}(W,U)\), \(\vartheta _{k} \in \mathcal {H}(u_{k})\) and \(\vartheta _{k} \rightarrow \vartheta _{*} \in \mathbb {C}(W,U)\). We prove that \(\vartheta _{*} \in \mathcal {H}(u_{*})\). In fact, \(\vartheta _{k} \in \mathcal {H}(u_{k})\) implies there exists \(g_{k} \in \mathcal {V}(u_{k})\) such that
Using (\(\mathrm{H}_{2}\))(iii), \(\{g_{k}\}_{k \ge 1} \in L^{2}(W,U)\) is bounded. Then, moving to a subsequence, if necessary, we obtain that
From (3.2), (3.3), and the compactness of the operator \(T_{b} \), we see that
Note that \(\vartheta _{k} \rightarrow \vartheta _{*}\) in \(\mathbb {C}(W,U)\) and \(g_{k} \in \mathcal {V}(u_{k})\). From Lemma 3.2 and (3.4), we have \(g_{*} \in \mathcal {V}(u_{*})\). Therefore, we get \(\vartheta _{*} \in \mathcal {H}(u_{*})\), thus \(\mathcal {H}\) has a closed graph. By [25], \(\mathcal {H}\) is upper semicontinuous.
From the above steps, we get that \(\mathcal {H}\) is upper semicontinuous, compact and convex valued, and \(\mathcal {H}(\mathcal {B}_{p} )\) is relatively compact.
Step 5: A priori estimate.
We now prove that Φ is bounded to obtain that \(\mathcal {H}\) has a fixed point, where Φ is
For any \(u \in \Phi \), there exists \(g\in \mathcal {V}(u)\) such that
Using (\(\mathrm{H}_{2}\))(iii), we obtain
where
From (3.5) and [39], we easily conclude that
Therefore, Φ is bounded. Then by Theorem 2.13, \(\mathcal {H}\) has a fixed point u, which is a mild solution of system (3.1). The proof is finished. □
4 Approximate controllability of the linear system
Our focus here is on the approximate controllability of the following linear fractional systems:
In the continuation, let us define the bounded linear operator \(\mathcal {Q}:L^{2}(W,U) \rightarrow U\) as follows:
Now, we examine the approximate controllability of (4.1) and introduce the following hypothesis:
- (\(\mathrm{H}_{3}\)):
-
For any \(j(\cdot ) \in L^{2}(W,U)\), there exists a function \(f(\cdot ) \in \overline {R(\mathrm{B})}\) such that \(\mathcal {Q} j=\mathcal {Q} f\), where \(R(\mathrm{B})\) denotes the range of operator B and \(\overline {R(\mathrm{B})}\) is the closure of \(R(\mathrm{B})\).
Theorem 4.1
If (\(\mathrm{H}_{3}\)) is satisfied, then system (4.1) is approximately controllable on W if \(C(t)\) is a differentiable cosine family.
Proof
Our main idea of the proof comes from the paper [17]. Since the domain \(D(A)\) of the operator A is dense in U, it is sufficient to show that \(D(A) \subset \overline {N_{c}(0)}\), that is, for any \(\epsilon >0\) and \(\hbar \in D(A)\), there exists \(x \in L^{2}(W,Y)\) such that
Firstly, for any \(u_{0},u_{1} \in U\), we know that \(C_{b}(c)u_{0},K_{b}(c)u_{1} \in D(A)\), since \(C(t)\) is a differentiable cosine family. Letting \(\hbar \in D(A)\), we can be seen that there exists a function \(j(\cdot ) \in L^{2}(W,U)\) such that \(\mathcal {Q} j=\hbar -C_{b}(c)u_{0}-K_{b}(c)u_{1}\).
For example, we have
with \(t \in (0,c)\).
Next, we prove that one can get a control function \(x_{\alpha } \in L^{2}(W,Y)\) such that the inequality (4.2) holds. From (\(\mathrm{H}_{3}\)), we know that for \(j(\cdot ) \in L^{2}(W,U)\), there exists \(f \in \overline {R(\mathrm{B})}\) such that the following equality holds:
Since \(f \in \overline {R(\mathrm{B})}\), given \(\alpha >0\), there exists a control function \(x_{\alpha } \in L^{2}(W,Y)\) such that
Then for \(\alpha >0\) and \(x_{\alpha } \in L^{2}(W,Y)\) from the above arguments, we obtain
Since α is arbitrary, we can deduce \(D(A) \subset \overline {N_{c}(0)}\). The density of \(D(A)\) in U implies the approximate controllability of system (4.1) on W and the proof is finished. □
We consider the two relevant operators connected with (4.1):
and
where \(\mathrm{B}^{*}\), \(T_{b}^{*}(t)\) denote the adjoints of B and \(T_{b}(t)\), respectively.
Theorem 4.2
(Lemma 2.10 of [21])
The linear fractional control system (4.1) is approximately controllable on W if and only if \(\alpha R(\alpha ,\Gamma _{0}^{c}) \rightarrow 0\) as \(\alpha \rightarrow 0^{+}\) in the strong operator topology.
5 Approximate controllability for the semilinear case
In this section, we present our main result on approximate controllability of control system (1.1). Firstly, for any \(u \in \mathbb {C}(W,U) \subset L^{2}(W,U)\), from Lemma 3.1, we know that \(\mathcal {V}(u) \neq \emptyset \). Therefore, for every \(\alpha >0\), let us introduce the multivalued map \(\mathcal {G}_{\alpha }:\mathbb {C}(W,U) \rightarrow 2^{\mathbb {C}(W,U)}\) as follows:
where
Theorem 5.1
If the hypotheses (\(\mathrm{H}_{1}\)), (\(\mathrm{H}_{2}\))(i), and (\(\mathrm{H}_{2}\))(ii) are satisfied and, in addition, if there exists \(\phi \in L^{2}(W,\mathbb {R}^{+})\) such that
then \(\mathcal {G}_{\alpha }\) has a fixed point on the interval W.
Proof
The verification is similar to that of Theorem 3.3. To finish the work, we introduce the straightforward interpretation of our proof. Obviously, for all \(u \in \mathbb {C}(W,U), \mathcal {G}_{\alpha }(u)\) is convex due to \(\mathcal {V}(u)\). Now, we split our discussion into the following steps for clarity of exposition:
Step 1: \(\mathcal {H}_{\alpha }\) maps bounded subsets into bounded subsets in \(\mathbb {C}(W,U)\).
For any \(u \in \mathcal {B}_{\ell }=\{u \in \mathbb {C}(W,U):\|u\|_{\mathbb {C}} \le \ell \}\), \(\ell >0\), \(\vartheta \in \mathcal {H}_{\alpha }(u)\), we have \(g \in \mathcal {V}(u)\) such that
Because \(\|\partial \mathcal {G}(t,u)\|_{U} \le \phi (t)\), and from Hölder inequality, we get
Using (5.2), we have
Then, we get that \(\mathcal {H}_{\alpha }(\mathcal {B}_{\ell })\) is bounded in \(\mathbb {C}(W,U)\).
Step 2: Next, we prove that \(\{\mathcal {H}_{\alpha }(u): u \in \mathcal {B}_{\ell }\}\) is equicontinuous.
Firstly, for any \(u \in \mathcal {B}_{\ell }\), \(\vartheta \in \mathcal {H}_{\alpha }\), there exists \(g \in \mathcal {V}(u)\) such that
From the value of \(\|x_{\alpha }(t)\|\) as in (5.2) and thus Step 2 of Theorem 3.3, it follows that \(\{\mathcal {H}_{\alpha }(u): u \in \mathcal {B}_{\ell }\}\) is equicontinuous.
Step 3: For each positive constant ℓ, set \(\Upsilon _{\ell }= \{u\in U : |u| \le \ell \}\). Obviously, \(\Upsilon _{\ell }\) a bounded subset in U. We need to check that for every \(\ell >0\) and \(t > 0\),
is relatively compact in U.
Let \(t > 0\) be determined. For all \(\eta >0\) and \(0 < \epsilon \le t\), define a subset in U by
Clearly, for each fixed \(t > 0\), \(\mathcal {T}_{\epsilon ,\eta }(t)\) is well-defined. Indeed, by using the uniform boundedness of the cosine family \(\tau \in (\eta ,\infty )\), we obtain that for any \(u\in \Upsilon _{p}\),
Hence, the set \(\mathcal {T}_{\epsilon ,\eta }(t)\) is relatively compact since \(S(\epsilon ^{b}\eta )\) is compact for \(\epsilon ^{b}\eta >0\).
Moreover, we have
Since
and
we can see that
is uniformly convergent. Further, from the strong continuity of \(\{S(t)\}_{t>0}\), for \(\tau \in (\eta ,\infty )\), using Lemma 2.9, we get
as \(b \rightarrow 0\). Hence, we get
On the other hand, since \(\int _{0}^{b} b\tau ^{2} S_{b}(\tau ) \,d\tau \rightarrow 0\) as \(b\rightarrow 0\), we have
Therefore, there are relatively compact sets arbitrarily close to \(\mathcal {T}(t)\) for every \(t > 0\). Hence, \(\mathcal {T}(t)\) is relatively compact in U for any \(t > 0\). From Arzela–Ascoli’s theorem, we get that, for \(\alpha >0\), \(\mathcal {H}_{\alpha }\) is completely continuous.
Step 4: We have to verify \(\mathcal {H}_{\alpha }\) is upper semicontinuous.
First, we need to verify \(\mathcal {H}_{\alpha }\) has a closed graph.
Let \(u_{k} \rightarrow u_{*} \in \mathbb {C}(W,U)\), \(\vartheta _{k} \in \mathcal {H}_{ \alpha }(u_{k})\) and \(\vartheta _{k} \rightarrow \vartheta _{*} \in \mathbb {C}(W,U)\). We prove that \(\vartheta _{*} \in \mathcal {H}_{\alpha }(u_{*})\). In fact, \(\vartheta _{k} \in \mathcal {H}_{\alpha }(u_{k})\) means that there exists \(g_{k} \in \mathcal {V}(u_{k})\) such that
Using \(\|\partial \mathcal {G}(t,u)\|_{U} \le \phi (t)\), \(\{g_{k}\}_{k\ge 1} \subseteq L^{2}(W,U)\) is bounded. Therefore, we may assume, passing to a subsequence if necessary, that
From (5.3), (5.4), and the compactness of the operator \(T_{b}(t)\), we have
Note that \(\vartheta _{k} \rightarrow \vartheta _{*}\) in \(\mathbb {C}(W,U)\) and \(g_{k} \in \mathcal {V}(u_{k})\). From Lemma 3.2 and (5.5), we have \(g_{*} \in \mathcal {V}(u_{*})\). Therefore, we get \(\vartheta _{*} \in \mathcal {H}_{\alpha }(u_{*})\), and so \(\mathcal {H}_{\alpha }\) has a closed graph. From [25], \(\mathcal {H}_{\alpha }\) is upper semicontinuous.
From the above steps, we get that \(\mathcal {H}_{\alpha }\) is upper semicontinuous, compact and convex valued, and \(\mathcal {H}_{\alpha }(\mathcal {B}_{\ell })\) is relatively compact.
Step 5: A priori estimate.
We show that Φ is bounded to get that \(\mathcal {H}_{\alpha }\) has a fixed point, where Φ is
Let for any \(u \in \Phi \), there exists \(g \in \mathcal {V}(u)\) such that
Using (\(\mathrm{H}_{2}\))(iii), we have
Using (5.2), we have
Therefore, Φ is bounded. Then, by Theorem 2.13, one can get that \(\mathcal {H}_{\alpha }\) has a fixed point and the proof is finished. □
Next, we will prove the main results of this article.
Theorem 5.2
If the hypotheses of Theorem 5.1are satisfied, then (1.1) is approximately controllable on the interval W if the system (4.1) is approximately controllable on the same interval W.
Proof
In the previous Theorem 5.1, we proved that the operator \(\mathcal {H}_{\alpha }\) has a fixed point in \(\mathbb {C}(W,U)\) for any \(\alpha >0\). Let \(u^{\alpha }\) be a fixed point of \(\mathcal {H}_{\alpha }\) in \(\mathbb {C}(W,U)\). Hence, there exists \(g^{\alpha } \in \mathcal {V}(u^{\alpha })\) such that for any \(t \in W\),
Considering \(I \rightarrow \Gamma _{0}^{c}R(\alpha ,\Gamma _{0}^{c})=\alpha R(\alpha , \Gamma _{0}^{c})\), we obtain
where
Because \(\|\partial \mathcal {G}(t,u)\|_{U} \le \phi (t)\), we get
Further, the sequence \(\{g^{\alpha }\}\) is bounded in \(L^{2}(W,U)\). Hence, there is a subsequence, still denoted by \(\{g^{\alpha }\}\), which converges weakly to \(g \in L^{2}(W,U)\). Denote
Because the corresponding linear system (4.1) is approximately controllable, by Theorem 4.2, we have
Then
as \(\alpha \rightarrow 0^{+}\), due to the compactness of the operator
Therefore, we get by the previous arguments
Hence, the system (1.1) is approximately controllable on W and the proof is finished. □
Remark 5.3
The idea of “nonlocal conditions” has been introduced by Byszewski [8] for the augmentation of issues dependent on classical conditions. When comparing nonlocal and classical initial conditions, which are more precise to depict the nature marvels, since more information is considered, along these lines we lessen the negative impacts initiated by a potentially incorrect single estimation taken toward the beginning time. For exceptionally valuable discussion about differential systems under nonlocal conditions, one can refer to [5, 8, 11, 12, 16, 26–29, 33, 35–38]. The nonlocal term h has a superior impact on the solution and is more accurate for physical measurements than the classical condition \(u(0)=u_{0}\) alone. For example, \(h(u)\) can be presented by \(h(u)=\sum_{i=1}^{n} c_{i}u(t_{i})\), where \(c_{i}\) (\(i=1,2,3,\dots ,m\)) are the constants and \(0< t_{1}<\cdots <t_{m}\le c\). Inspired by this fact and [5], we may extend our current work to the fractional system with nonlocal conditions too, by replacing the equation \(u(0)=u_{0}+h(u)\) and introducing the required hypothesis related to the function h.
6 Application
Let \(\Omega \subset \mathbb {R}^{N}\) be a bounded domain with sufficiently smooth boundary and \(U=Y=L^{2}(\Omega )\). As an application of the obtained theory, we consider a control system which is represented by fractional partial differential systems of the form
where \(\partial _{t}^{r}\) is the Caputo fractional partial derivative of order \(1< r<2\) and \(x(t)(v) =\mu (t,v)\). The bounded linear operator B is defined by \(\mathrm{B}x = \mu (t,v)\), \(t\in W\), \(0 \le v \le 1\), \(x \in U\). Let us consider \(E(t,v)=\overline {E}(t,v)+\overline {\overline {E}}(t,v)\), where \(\overline {\overline {E}}(t,v)\) is provided and \(\overline {E}(t,v)\) is a known function of the temperature of the form
In this place, \(\mathcal {G}=\mathcal {G}(t,v,\zeta )\) is a locally Lipschitz energy function which is generally nonsmooth and nonconvex; \(\partial \mathcal {G}\) denotes the generalized Clarke’s gradient in the third variable ζ [9]. A simple example of a function \(\mathcal {G}\) which satisfies hypothesis (\(\mathrm{H}_{2}\)) is \(\mathcal {G}(\zeta )=\min \{j_{1}(\zeta ),j_{2}(\zeta )\}\), where \(j_{k}: \mathbb {R} \rightarrow \mathbb {R}\) (\(k=1,2\)) are convex quadratic functions [23]. Dynamic systems modeled by (6.1) arise in the theory of contact mechanics for elastic bodies in many engineering applications. In such a framework, the set Ω stands for a planar deformable purely elastic body which remains in contact with another medium introducing frictional effects. In the system of small deformations, the body is subjected to nonmonotone friction skin effects (skin friction, adhesion, etc.), E is the reaction force of the constraint introducing the skin effect (e.g., due to the gluing material), u is the displacement field.
Let A be the Laplace operator with Dirichlet boundary conditions given by \(A=\Delta \) and
Clearly, we have \(D(A)=H_{0}^{1}(\Omega ) \cap H^{2}(\Omega )\). An operator A produces \(C(t)\) for \(t \ge 0\) (refer to [7]).
Indeed, let \(\psi _{k}=k^{2} \pi ^{2}\) and \(\phi _{k}(v)=\sqrt{(2/\pi )}\sin (k\pi v)\), \(\forall k \in \mathbb {N}\). Let \(\{-\psi _{k},\phi _{k}\}_{k=1}^{\infty }\) be the eigensystem of operator A, then \(0<\psi _{1}\le \psi _{2} \le \cdots \) , \(\psi _{k}\rightarrow \infty \) as \(k\rightarrow \infty \), and \(\{\phi _{k}\}_{k=1}^{\infty }\) form an orthonormal basis of U. Next,
where \(\langle \cdot ,\cdot \rangle \) denotes an inner product in U. Then the cosine family is given by
and the sine family \(S(t)\) associated with cosine family is given by
Clearly, \(C(t)\) is compact for \(t \ge 0\) and \(\|C(t)\|_{L_{c}(U)}\le 1\), for all \(t\in \mathbb {R}\). Let the infinite-dimensional Hilbert space Y be defined by
The norm in Y is defined by \(\|x\|_{Y}=(\sum_{k=2}^{\infty }x_{k}^{2})^{\frac{1}{2}}\). Define the mapping \(\mathrm{B} \in \mathcal {L}(W,U)\) as follows:
also let \(y=\sum_{k=1}^{\infty } y_{k}\phi _{k} \in U\), and consider the inner product \(\langle \mathrm{B}x,y \rangle =\langle x,\mathrm{B}^{*}y \rangle \). Then
and
It follows that having \(\|\mathrm{B}C^{*}(t)u\|_{U}=0\) for some \(t \in W\), implies \(u=0\). Hence, the linear control system corresponding to (6.1) is approximately controllable on W.
Thus, all the assumptions of Theorem 5.2 are satisfied. Therefore (6.1) is approximately controllable on W.
7 Conclusion
In our paper, we discussed the approximate controllability of fractional evolution inclusions with hemivariational inequalities of order \(1< r<2\). Initially, we presented the existence of the mild solution for the class of fractional systems. After that, we established the approximate controllability of linear and semilinear control systems. In the end, an application was presented to illustrate our theoretical results. In our future work, the focus will be on the hemivariational inequalities for the exact controllability of fractional differential system having order \(r\in (1,2)\) via a measure of noncompactness.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
References
Abdeljawad, T., Agarwal, R.P., Karapinar, E., Kumari, P.S.: Solutions of the nonlinear integral equation and fractional differential equation using the technique of a fixed point with a numerical experiment in extended b-metric space. Symmetry 11, 686 (2019)
Adigüzel, R.S., Aksoy, Ü., Karapinar, E., Erhan, I.M.: On the solution of a boundary value problem associated with a fractional differential equation. Math. Methods Appl. Sci. (2020). https://doi.org/10.1002/mma.6652
Afshari, H., Kalantari, S., Karapinar, E.: Solution of fractional differential equations via coupled fixed point. Electron. J. Differ. Equ. 2015, 286 (2015)
Afshari, H., Karapinar, E.: A discussion on the existence of positive solutions of the boundary value problems via ψ-Hilfer fractional derivative on b-metric spaces. Adv. Differ. Equ. 2020(1), 616 (2020)
Ahmed, H.M., El-Owaidy, H.M., Al-Nahhas, M.A.: Neutral fractional stochastic partial differential equations with Clarke subdifferential. Appl. Anal., 1–13 (2020). https://doi.org/10.1080/00036811.2020.1714035
Alqahtani, B., Aydi, H., Karapinar, E., Rakocevic, V.: A solution for Volterra fractional integral equations by hybrid contractions. Mathematics 7, 694 (2019)
Arendt, W., Batty, C.J.K., Hieber, M., Neubrander, F.: Vector-Valued Laplace Transforms and Cauchy Problems, 2nd edn. Birkhäuser, Basel (2011)
Byszewski, L.: Theorems about the existence and uniqueness of solutions of a semilinear evolution nonlocal Cauchy problem. J. Math. Anal. Appl. 162, 494–505 (1991)
Clarke, F.H.: Optimization and Nonsmooth Analysis. Wiley, New York (1983)
Denkowski, Z., Migorski, S., Papageorgiou, N.S.: An Introduction to Nonlinear Analysis: Theory. Kluwer Academic, Boston (2003)
Dineshkumar, C., Udhayakumar, R., Vijayakumar, V., Nisar, K.S.: A discussion on the approximate controllability of Hilfer fractional neutral stochastic integro-differential systems. Chaos Solitons Fractals 142, 110472 (2020)
He, J.W., Liang, Y., Ahmad, B., Zhou, Y.: Nonlocal fractional evolution inclusions of order \(\alpha \in (1,2)\). Mathematics 7(2), 209 (2019)
Hu, S., Papageorgiou, N.S.: Handbook of Multivalued Analysis (Theory). Kluwer Academic, Boston (1997)
Karapinar, E., Fulga, A., Rashid, M., Shahid, L., Aydi, H.: Large contractions on quasi-metric spaces with an application to nonlinear fractional differential-equations. Mathematics 7, 444 (2019)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Kumar, S., Sakthivel, R.: Constrained controllability of second order retarded nonlinear systems with nonlocal condition. IMA J. Math. Control Inf., 1–14 (2019). https://doi.org/10.1093/imamci/dnz007
Kumar, S., Sukavanam, N.: Approximate controllability of fractional order semilinear systems with bounded delay. J. Differ. Equ. 252, 6163–6174 (2012)
Li, Y., Li, X., Liu, Y.: On the approximate controllability for fractional evolution hemivariational inequalities. Math. Methods Appl. Sci. 39(11), 3088–3101 (2016)
Liu, X., Wang, J., O’Regan, D.: On the approximate controllability for fractional evolution inclusions of Sobolev and Clarke’s subdifferential type. IMA J. Math. Control Inf. 36, 1–17 (2019)
Liu, Z.: Existence results for quasilinear parabolic hemivariational inequalities. J. Differ. Equ. 244, 1395–1409 (2008)
Liu, Z., Li, X.: Approximate controllability for a class of hemivariational inequalities. Nonlinear Anal., Real World Appl. 22, 581–591 (2015)
Ma, T.W.: Topological degrees for set-valued compact vector fields in locally convex spaces. Diss. Math. 92, 1–43 (1972)
Migórski, S.: On existence of solutions for parabolic hemivariational inequalities. J. Comput. Appl. Math. 129, 77–87 (2001)
Migórski, S., Ochal, A.: Quasi-static hemivariational inequalities via vanishing acceleration approach. SIAM J. Math. Anal. 41, 1415–1435 (2009)
Migórski, S., Ochal, A., Sofonea, M.: Nonlinear Inclusions and Hemivariational Inequalities. Advances in Mechanics and Mathematics, vol. 26. Springer, New York (2013)
Mohan Raja, M., Vijayakumar, V.: New results concerning to approximate controllability of fractional integro-differential evolution equations of order \(1< r<2\). Numer. Methods Partial Differ. Equ., 1–16 (2020). https://doi.org/10.1002/num.22653
Mohan Raja, M., Vijayakumar, V., Udhayakumar, R.: Results on the existence and controllability of fractional integro-differential system of order \(1 < r < 2\) via measure of noncompactness. Chaos Solitons Fractals 139, 110299 (2020)
Mohan Raja, M., Vijayakumar, V., Udhayakumar, R.: A new approach on approximate controllability of fractional evolution inclusions of order \(1 < r < 2\) with infinite delay. Chaos Solitons Fractals 141, 110343 (2020)
Mohan Raja, M., Vijayakumar, V., Udhayakumar, R., Zhou, Y.: A new approach on the approximate controllability of fractional differential evolution equations of order \(1 < r < 2\) in Hilbert spaces. Chaos Solitons Fractals 141, 110310 (2020)
Muslim, M., Kumar, A., Sakthivel, R.: Exact and trajectory controllability of second-order evolution systems with impulses and deviated arguments. Math. Methods Appl. Sci., 1–14 (2018). https://doi.org/10.1002/mma.4888
Naniewicz, Z., Panagiotopoulos, P.D.: Mathematical Theory of Hemivariational Inequalities and Applications. Dekker, New York (1995)
Podlubny, I.: Fractional Differential Equations, an Introduction to Fractional Derivatives, Fractional Differential Equations, to Method of Their Solution and Some of Their Applications. Academic Press, San Diego (1999)
Sakthivel, R., Ganesh, R., Anthoni, S.M.: Approximate controllability of fractional nonlinear differential inclusions. Appl. Math. Comput. 225, 708–717 (2013)
Travis, C.C., Webb, G.F.: Cosine families and abstract nonlinear second order differential equations. Acta Math. Hung. 32, 75–96 (1978)
Vijayakumar, V., Ravichandran, C., Nisar, K.S., Kucche, K.D.: New discussion on approximate controllability results for fractional Sobolev type Volterra–Fredholm integro-differential systems of order \(1< r<2\). Numer. Methods Partial Differ. Equ., 1–19 (2020). https://doi.org/10.1002/num.227720
Vijayakumar, V., Udhayakumar, R.: Results on approximate controllability for non-densely defined Hilfer fractional differential system with infinite delay. Chaos Solitons Fractals 139, 110019 (2020)
Williams, W.K., Vijayakumar, V., Udhayakumar, R., Nisar, K.S.: A new study on existence and uniqueness of nonlocal fractional delay differential systems of order \(1< r<2\) in Banach spaces. Numer. Methods Partial Differ. Equ., 1–13 (2020). https://doi.org/10.1002/num.22560
Williams, W.K., Vijayakumar, V., Udhayakumar, R., Panda, S.K., Nisar, K.S.: Existence and controllability of nonlocal mixed Volterra–Fredholm type fractional delay integro-differential equations of order \(1< r<2\). Numer. Methods Partial Differ. Equ., 1–21 (2020). https://doi.org/10.1002/num.22697
Ye, H., Gao, J., Ding, Y.: A generalized Gronwall inequality and its application to a fractional differential equation. J. Math. Anal. Appl. 328, 1075–1081 (2007)
Zhou, Y.: Basic Theory of Fractional Differential Equations. World Scientific, Singapore (2014)
Zhou, Y., He, J.W.: New results on controllability of fractional evolution systems with order \(\alpha \in (1,2)\). Evol. Equ. Control Theory, 1–19 (2020). https://doi.org/10.3934/eect.2020077
Acknowledgements
The authors would like to thank the reviewers and editor for their constructive comments and valuable suggestions that improved the quality of our paper.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The authors declare that the study was realized in collaboration with the same responsibility. All authors 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
Mohan Raja, M., Vijayakumar, V., Huynh, L.N. et al. Results on the approximate controllability of fractional hemivariational inequalities of order \(1< r<2\). Adv Differ Equ 2021, 237 (2021). https://doi.org/10.1186/s13662-021-03373-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03373-1