Articles
Recepción: 24 Octubre 2020
Revisado: 19 Marzo 2021
Publicación: 06 Enero 2022
DOI: https://doi.org/10.15388/namc.2022.27.24649
Abstract: We consider a new fractional impulsive differential hemivariational inequality, which captures the required characteristics of both the hemivariational inequality and the fractional impulsive differential equation within the same framework. By utilizing a surjectivity theorem and a fixed point theorem we establish an existence and uniqueness theorem for such a problem. Moreover, we investigate the perturbation problem of the fractional impulsive differential hemivariational inequality to prove a convergence result, which describes the stability of the solution in relation to perturbation data. Finally, our main results are applied to obtain some new results for a frictional contact problem with the surface traction driven by the fractional impulsive differential equation.
Keywords: fractional differential variational inequality, fractional impulsive equation, hemivaria- tional inequality, frictional contact.
1 Introduction
Let
be three reflexive and separable Banach spaces, and let
be the dual space of
. For a prefixed
,
. This paper focuses on the following fractional impulsive differential hemivariational inequality (FIDHVI): find
and
such that


where
stands for the Caputo derivative of fractional order 

is given by 
with
and
being the left and right limit
, respectly, and
.
We remark that for appropriate and suitable choices of the spaces and the above defined maps, FIDHVI includes a number of differential variational inequalities as special cases [5,12,13,26, 29].
It is worth mentioning that FIDHVI is a new model, which captures the required char- acteristics of both the hemivariational inequality and the fractional impulsive differential equation within the same framework. In addition, FIDHVI can be used to describe the frictional contact problem with the surface traction driven by the fractional impulsive differential equation (see Section 5).
The study of differential variational inequality (DVI) can ascend to the work of Aubin and Cellina [1]. DVI described by the following generalized abstract system 

was then examined by Pang and Stewart [20] in finite dimensional Euclidean spaces. Here K is a nonempty, closed, and convex subset of
,
, and
are three given functions. As pointed out by Pang and Stewart [20], DVI provides a powerful tool of describing many practical problems such as fluid mechanical problems, engineering operation research, dynamic traffic networks, economical dynamics, and frictional contact problems [6,23, 25]. In 2010, Li et al. [11] discussed the solvability for a class of DVI in finite dimensional spaces. Later, Chen and Wang [4] employed the regularized time-stepping method to consider a class of parametric DVI and provided convergence analysis for this method in finite dimensional Euclidean spaces. Liu et al. [14] studied a class of nonlocal semilinear evolution DVI in Banach spaces. By using the theory of topological degree they obtained some existence results for their model under some suitable assumptions. Recently, in order to describe a free boundary problem raising from contact mechanics, Sofonea et al. [21] studied a differential quasivariational inequality and proved the stability of the solutions for such a problem. For more works related to DVIs, we refer the reader to [10,13, 15, 28] and the the references therein.
As is well known, fractional calculus, that is, the noninteger calculus, allows us to define derivatives of arbitrary order and has many applications in practical problems [9]. Recently, by applying the fixed point approach, Ke et al. [8] discussed the solvability of a class of fractional DVI in finite dimensional spaces. Using the Rothe method, Zeng et al. [30] studied a class of parabolic fractional differential hemivariational inequalities in Banach spaces. Xue et al. [29] discussed the existence of the mild solutions of a class of fractional DVIs in Banach spaces under some appropriate hypotheses. Very recently, Weng et al. [27] considered a fractional nonlinear evolutionary delay system driven by a hermivariational inequality in Banach spaces and established an existence theorem for such a system by employing the KKM theorem, fixed point theorem for condensing set-valued operators, and the theory of fractional calculus.
It is worth noting that, in the real world, many systems are often disturbed suddenly, and systems changes suddenly in a short time. These phenomena are called impulsive effects. We note that diverse numerical methods and theoretical results have been widely studied for differential equations with impulsive effects using different assumptions in the literature; for instance, we refer the reader to [2] and the references therein. In [17] and [16], Migórski and Ochal studied the existence of the solutions for two class of nonlinear second-order impulsive evolution inclusions problems. Recently, Li et al. [12] introduced a class of impulsive DVI in finite dimensional spaces and presented some existence and stability results of the solutions under some suitable assumptions. However, in some practical situations applications, it is necessary to consider FIDHVI. To illustrate this point, a fractional contact problem with the surface traction driven by the fractional impulsive differential equation will be considered as an application of FIDHVI in Section 5. The discipline of FIDHVI is still not explored, and very little is known. To fill this gap, in this paper, we seek to make a contribution in this new direction.
The outline of this work is as follows. In the next section, we present some necessary preliminaries and notations. After that, Section 3 establishes an existence and uniqueness result concerning FIDHVI under some mild conditions. In Section 4, we provide a stability result of the solution of FIDHVI with respect to the perturbation of data. Finally, we apply our main results for FIDHVI to the frictional contact problem with the surface traction driven by the fractional impulsive differential equation in Section 5.
2 Preliminaries
For a Banach space, we denote
the space of all functions :
that is continuous,
the space of all th power Bochner integrable functions on taking values in
the space of all functions
such that
is continuous, and
and
exist with 

the set of all closed subsets of
the set of all compact (closed and bounded) convex subsets of . For a set 
In the sequel, let
denote the gamma function.
Definition 1. (See [9].) Theth fractional integral of
with
is defined by

Definition 2. (See [9].) For
, the Caputo fractional-order derivative of of 

Definition 3. (See [3].) The generalized directional derivative of a locally Lipschitz functional
in the direction
and the generalized gradient of function at , denoted respectively by
and
, are respectively defined by

and

Definition 4. (See [22].) An operator
is said to be
(i) monotone if
for all 
(ii) strongly monotone if there exists
satisfying 

(iii) pseudomomotone if is bounded and
weakly in with lim sup
yields that
for all y 
(iv) demicontinuous if
in implies that
weakly in 
(v) bounded if
is bounded implies
is bounded.
Definition 5. (See [18].) A set-valued operator
is said to be pseudo- momotone if
(i) for every 
(ii) for any subspace
is upper semicontinuous from to endowed with the weak topology;
(iii) if
weakly in and
such that
then for every
, there exists
such that 
Lemma 1. (See [7, Prop. 5.6].) Assume that and are two reflexive Banach spaces, 
is the adjoint operator of
is a locally Lipschitz functional satisfying
, for all
, is pseudomonotone.
Lemma 2. (See [30, Cor. 7].) Assume that is a reflexive Banach spaces, and let the following conditions hold:
(i)
is pseudomomotone and strong monotone with constant 
(ii)
is pseudomomotone, and there exist two constants
satisfyng 
(iii) 
Then
is surjective in .
According to [18, Prop. 3.37], we can rewrite FIDHVI as follows.
Problem 1. Find
and
such that

To study Problem 1, we consider the following fractional impulsive Cauchy problem

Noting the fact that

solves the Cauchy problem

we have the following result immediately.
Lemma 3. Let
and
. Then the Cauchy problem

is equivalent to the integral equation

Lemma 4. For
(0, 1) and
, the Cauchy problem

is equivalent to the integral equation

Proof. Assume that (1) holds. If
, then
for all
with
. Clearly,

If
, then

and so Lemma 3 implies that

If
, then using Lemma 3 again, we have

Similarly, if
, then we can show that

Conversely, suppose that (2) holds. If
, then we know that (1) holds by the fact that
is the inverse of
. If
, since the Caputo fractional derivate for a constant is zero, one has
and
.
From Lemma 4 we have the following definition.
Definition 6. A pair
is said to be a solution of Problem 1 if it satisfies the following system:

Finally, we recall the following nonlinear impulsive Gronwall inequality.
Lemma 5. (See [24, Lemma 3.4].) Let
satisfy the following inequality:

where
are constants. Then

where
, andγ is the Mittag-Leffler function [9] defined by
for all 
3 Existence and uniqueness
To study the solvability of Problem 1, we need the following assumptions.
( )
is a map such that
(i) for any given
is continuous;
(ii) for any
, there exists
satisfying 
(iii) there exists
satisfying 

( ) For each
is bounded, and there exists
satisfying
for all 
()
is a map such that
(i) for any given
is continuous;
(ii) for any given
is bounded, demicontinuous, and strongly monotone with the constant.
( )
is a compact operator.
()
is a functional satisfying
(i) for any given
is continuous;
(ii) for any given
is locally Lipschitz;
(iii) there exists
satisfying
for all 
(iv) there exists
satisfying
for all 
()
is a map such that
(i) for any given
is continuous;
(ii) there exists
satisfying
for all 
()
, where 
(ii) 
We first consider nonlinear inclusion (4).
Lemma 6. For any given
, nonlinear inclusion (4) has a unique solution y
providing that assumptions (HA), (HN ), (HJ ), (Hg), and (H0) hold. Moreover, for any
, one has

where
are the solutions of (4) with respect to and, respectively.
Proof. For given
and
define two operators 
For simplicity, we do not indicate their dependence. Using (HA), (HN ), (HJ ), (H0), Lemma 1, and [22, Lemma 3], we deduce that the operators A and N are pseudomomotone and

By applying Lemma 2 with
and
we know that inclusion (4) has a solution for all
Next, we show that the solution is unique. Let
be solutions to (4). Then there exist
satisfying 
. Subtracting the two equations and taking the result in duality with


By assumptions () and ( ) one has

and so assumption () implies that
, which is our claim.
In what follows, we start by showing that (5) holds. Let
and denote
. It follows from (4) that
. Subtracting the two equations and taking the result in duality with
, we have

By assumptions ( ), (), and () one has

Thus, assumption () implies that

It follows from (6) that the map
is continuous for all
. Since
, we know that
. By (6) we conclude that, for any given
, nonlinear inclusion (4) has a unique solution
. Moreover, for any given
, (5) holds due to (6).
Theorem 1. Problem 1 admits a unique solution
providing that assumptions
hold.
Proof. For any given
, Lemma 6 shows that nonlinear inclusions (4) admits a unique solution. Define an operator
by setting

Then assumption ( ) implies that is well defined. To prove Theorem 1, we only need to show that admits a unique fixed point in
.
To this end, we first show that
for any
. In fact, let
and
be given. When
, by the Hölder inequality and assumption ( ) we have

as
, where
and
. This shows that
. When
, using the same argument, one has

which implies that
. Similarly, when
, we can show that

and so
.
Combining all the above, we see that
for any
.
Next, we prove that is a contractive map. For given
, by assumption ( ) it follows from (5) that

and so

Now assumption () implies that is a contractive map, and so admits a unique solution
by employing the Banach fixed point theorem.
4 A convergence result
We investigate the perturbation problem of Problem 1 to prove a convergence result, which describes the stability of the solution in relation to perturbation data. To this end, let
be the perturbed data of such that δ satisfies assumptions () and (). More precisely, we examine the following perturbation problem: find a pair of functions
such that

We denote the constants involved in assumption () by
. Furthermore, we introduce the following assumptions.
()
is a functional satisfying
(i) there exists a function
satisfying, for any
and
for all 

(ii) 
() There exists
such that
(i) 
(ii) 
The following example indicates that assumption () can be satisfied for some functions.
Example 1.
. Consider the functions
definoted by

Then it is easy to check that are locally Lipschitz and nonconvex for all
. Moreover, their Clarke subgradients are given by

Thus, we can see that condition () holds with
. Next, we show the stability result for FDQHVI as follows.
Theorem 2. Suppose that assumptions (HA), (Hf ), (HI ), (HN ), (HJ ), (Hg), (H0), (H0∗ ), and (Hj*) hold. Then
(i) for each
, the perturbation problem (7) has a unique solution 

(ii)
converges to
, the solution of Problem 1.
Proof. (i) In view of Theorem 1, the proof is obvious.
(ii) By Definition 6 we consider the problem

Subtracting (9) from (4) and multiplying the result by
, we have

Since

one has

Note that assumption () implies

Using assumptions () and (), for any

and

we have

and

We conclude from assumption () that, for any 


Thus, assumption () yields that

Subtracting (8) from (3), by assumptions (), () and estimation (13) one has

By Lemma 5 with

there exists
such that
, where H∗ is independent of . By assumption () we assert that
. It follows from (13) and () that 
5 An application
In this section, we show that the results obtained in Sections 3 and 4 can be applied to study the frictional contact problem (Problem 2) between an elastic body and a foundation over time interval. We suppose that the surface traction may change suddenly in a short time, such as shocks, and consequently, which can be described by a fractional impulsive differential equations. We show that the weak form of Problem 2 leads to Problem 1 analyzed in Sections 3 and 4. Then Theorems 1 and 2 are applied to obtain the unique solvability of the frictional contact problem mentioned above as well as the convergence result of the perturbation problem.
We shortly review the basic notations and its mechanical interpretations. A deformabke elastic body occupies a regular Liposchitz domain. The boundary ∂V consists of three measurable disjoint parts
with meas
. The body is clamped on
and subjected to the action of volume force with density
. An unknown surface traction (for convenience, we denote by its density) with impulsive effect is applied on
. On
, the body may contact with an obstacle. We do not show expressly the relation of various functions and .
Let be unit outward normal vector,
be the space of symmetric matrix of order two on
are equipped with, respectively, the following inner products and norms:
for all
with
for all
. Here the summation convention is adopted. For any
, we denote by
the normal components of η,
the tangential components of
, the normal components of the tangential components of σ. We also denote by
,
, respectively, the displacement vector, the stress tensor, and the linearized (small) strain tensor, where

For more details, we refer the reader to [17,18]. We now turn to present a new contact problem with the surface traction governed by a fractional impulsive differential equation.
Problem 2. Find a stress
, a surface traction density
, and a displacement field
such that

.Here relation (14) presents an elastic constitutive law with A being the elasticity operator. Equation (15) is the equilibrium equation, and equation (16) implies that the body is clamped on
. Equalities (17)–(18) show that the traction is acted on
, and the density of the surface traction is governed by a fractional impulsive differential equation, where F is a function to be specified later. The set-valued relations in (19) denote the friction and contact conditions, respectively, where and are locally Lipschitz functionals.
To deduce the weak formulation of Problem 2, we consider spaces
and
equipped with the inner products

and corresponding norms
, respectively. We denote by the dual space of
the duality pairing between and. The trace theorem states

where is the trace operator defined by
. In order to study Problem 2, we impose some hypotheses on the relevant data.
() The elasticity operator
satisfies the conditions:
(i)
is symmetric and linear for 
(ii) there exists
such that
for all 
(iii) there exists
such that 

() The function
is such that
(i)
is continuous for all 
(ii) there exists
such that 


(iii) there exists
satisfying 

()
is bounded, and there exist
for all 
(Hjν ) The function
is such that
(i) For a.e.
is locally Lipschitz on;
(ii) For all
is measurable on
;
iii) For all
, there exist
such that 

(iv) For all
, there exist
such that 
() The function
is such that
(i)
is locally Lipschitz on 
(ii)
is measurable on
for all 
(iii) there exist
such that
, 
(iv) there exist
such that 

() The densities of body force satisfies 
() (i) 
(ii) 
Utilizing the Green formula, we get the variational form of Problem 2.
Problem 3. Find a displacement field
and a surface traction density :
such that

5.1 Existence and uniqueness for the contact problem
We define the maps
and
by setting

for all 
Then Problem 3 is equivalent to the problem:
Problem 4. Find a displacement vector
and a surface traction density : such that

Clearly, Problem 4 is the form of Problem 1 with 

Theorem 3. Problem 4 has a unique solution 
providing that hypotheses
hold.
Proof. To prove Theorem 3, we only need to check the validity of assumptions
,
Firstly, conditions
, and
indicate that assumptions
, and
are fulfilled with
Since the trace operator is compact and surjective, we see that assumption
holds. Clearly, (21) implies that assumption
holds with
. By hypotheses
and Lemma 14 in [19] it follows from Lemma 14 in [19] that the functional in (20) is locally Lipschitz on and

is the generalized directional derivative of at in the directional . Moreover, assumption
holds with
. Combining Theorem 1 with hypothesis
, we see that Theorem 3 holds.
5.2 A convergence result for the contact problem
The above analysis reveals that the solution of Problem 4 relies on the data
and In what follows, we present a continuous dependence result of the solution in relation to these data. We consider the perturbation data jνδ and jτδ of jν and jτ , respectively, which satisfy hypotheses
and
. For each
, define a function
by setting

The perturbation problem of Problem 4 can be formulated as follows.
Problem 5. Find a displacement vector
and a surface traction density
such that

Denote the constants involved in hypotheses
and
and
, respectively. In addition, we impose the following hypotheses on the data.
() There exists a function
satisfying
(i) 
(ii) 
(iii) 
() There exists
such that
(i) 
(ii) 
Remark 1. Assumption
means that the perturbations of and must satisfy the locally Lipschitz conditions. Moreover, it is easy to see that the functions given in Example 1 satisfy condition
.
Theorem 4. Assume that hypotheses
hold. Then
(i) Problem 5 has a unique solution
for each 
(ii)
converges to
, the solution of Problem 4.
Proof. (i) In view of Theorem 3, the proof is obvious.
(ii) We employ Theorem 2 to prove the conclusion. to this end, we only need to check the validity of assumptions () and (). Clearly, hypothesis () implies that assumption () holds. By Proposition 3.35 of [18], Corollary 4.15 in [18], and hypoth- esis (), for any
and 
we have

which shows that assumption () holds with
. The convergence result now follows from Theorem 2.
Acknowledgments
The authors are grateful to the editor and the referees for their valu- able comments and suggestions.
References
1 J.P. Aubin, A. Cellina, Differential Inclusions: Set-Valued Maps and Viability Theory, Springer, Berlin, 1984, https://doi.org/10.1007/978-3-642-69512-4.
2 M. Benchohra, J. Henderson, S. Ntouyas, Impulsive Differential Equations and Inclusions, Hindawi, New York, 2006, https://doi.org/10.1155/9789775945501.
3 S. Carl, V.K. Le, D. Motreanu, Nonsmooth Variational Problems and Their Inequalities: Comparison Principles and Applications, Springer, New York, 2007, https://doi.org/ 10.1007/978-0-387-46252-3.
4 X.J. Chen, Z.Y. Wang, Convergence of regularized time-stepping methods for differential variational inequalities, SIAM J. Optim., 23(3):1647–1671, 2013, https://doi.org/10. 1137/120875223.
5 F.M. Guo, W. Li, Y.B. Xiao, S. Migórski, Stability analysis of partial differential variational inequalities in Banach spaces, Nonlinear Anal. Model. Control, 25(1):69–83, 2020, https://doi.org/10.15388/namc.2020.25.15730.
6 J. Gwinner, On a new class of differential variational inequalities and a stability result, Math. Program., 139(1-2):205–221, 2013, https://doi.org/10.1007/s10107- 013-0669-5.
7 W.M. Han, S. Migórski, M. Sofonea, Advances in Variational and Hemivariational Inequalities with Applications, Springer, Heidelberg, 2015, https://doi.org/10.1007/978-3- 319-14490-0.
8 T.D. Ke, N.V. Loi, V. Obukhovskii, Decay solutions for a class of fractional differential variational inequalities, Fract. Calc. Appl. Anal., 18(3):531–553, 2015, https://doi. org/10.1515/fca-2015-0033.
9 A.A. Kilbas, H.M. Srivastava, J.J. Trujillo, Theory and Applications of Fractional Differential Equations, Elsevier, Amsterdam, 2006, https://doi.org/10.1016/S0304- 0208(06)80001-0.
10 W. Li, Y.B. Xiao, X. Wang, J. Feng, Existence and stability for a generalized differential mixed quasivariational inequality, Carpathian J. Math., 34(3):347–354, 2018, https://www. jstor.org/stable/26898746.
11 X.S. Li, N.J. Huang, D. O’Regan, Differential mixed variational inequalities in finite dimensional spaces, Nonlinear Anal., Theory Methods Appl., 72(9-10):3875–3886, 2010, https://doi.org/10.1016/j.na.2010.01.025.
12 X.S. Li, N.J. Huang, D. O’Regan, A class of impulsive differential variational inequalities in finite dimensional spaces, J. Franklin Inst., 353(13):3151–3175, 2016, https://doi. org/10.1016/j.jfranklin.2016.06.011.
13 X.W. Li, Z.H. Liu, M. Sofonea, Unique solvability and exponential stability of differential hemivariational inequalities, Appl. Anal., 99(14):2489–2506, 2020, https://doi.org/ 10.1080/00036811.2019.1569226.
14 Z.H. Liu, L. Lu, X.F. Guo, Existence results for a class of semilinear differential variational inequalities with nonlocal boundary conditions, Topol. Methods Nonlinear Anal., 55(2):429– 449, 2020, https://doi.org/10.12775/TMNA.2019.088.
15 L. Lu, Z.H. Liu, V. Obukhovskii, Second order differential variational inequalities involving anti-periodic boundary value conditions, J. Math. Anal. Appl., 473(2):846–865, 2019, https://doi.org/10.1016/j.jmaa.2018.12.072.
16 S. Migórski, Existence of solutions to nonlinear second order evolution inclusions without and with impulses, Dyn. Contin. Discrete Impul. Syst., Ser. B, Appl. Algorithms, 18(4):493–520, 2011, http://online.watsci.org/abstract_pdf/2011v18/v18n4b-pdf/ 5.pdf.
17 S. Migórski, A. Ochal, Nonlinear impulsive evolution inclusions of second order, Dyn. Syst. Appl., 16(1):155–174, 2007, http://citeseerx.ist.psu.edu/viewdoc/ download?doi=10.1.1.515.9017&rep=rep1&type=pdf.
18 S. Migórski, A. Ochal, M. Sofonea, Nonlinear Inclusions and Hemivariational Inequalities: Models and Analysis of Contact Problems, Springer, New York, 2013, https://doi.org/ 10.1007/978-1-4614-4232-5.
19 S. Migórski, S.D. Zeng, Rothe method and numerical analysis for history-dependent hemivariational inequalities with applications to contact mechanics, Numer. Algorithms, 82(2):423–450, 2019, https://doi.org/10.1007/s11075-019-00667-0.
20 J.S. Pang, D.E. Stewart, Differential variational inequalities, Math. Program., 113(2):345–424, 2008, https://doi.org/10.1007/s10107-006-0052-x.
21 M. Sofonea, J. Bollati, D. A. Tarzia, Optimal control of differential quasivariational inequalities with applications in contact mechanics, J. Math. Anal. Appl., 493(2):124567, 2021, https://doi.org/10.1016/j.jmaa.2020.124567.
22 M. Sofonea, S. Migórski, Variational-Hemivariational Inequalities with Applications, Chapman & Hall/CRC, Boca Raton, FL, 2018, https://doi.org/10.1201/ 9781315153261.
23 A. Tasora, S. Negrini M. Anitescu, D. Negrut, A compliant visco-plastic particle contact model based on differential variational inequalities, Int. J. Nonlinear Mech., 53:2–12, 2013, https://doi.org/10.1016/j.ijnonlinmec.2013.01.010.
24 J.R. Wang, M. Fecˇkan, Y. Zhou, Relaxed controls for nonlinear fractional impulsive evolution equations, J. Optim. Theory Appl., 156(1):13–32, 2013, https://doi.org/10.1007/ s10957-012-0170-y.
25 X. Wang, N.J. Huang, Differential vector variational inequalities in finite dimensional spaces, J. Optim. Theory Appl., 158(1):109–129, 2013, https://doi.org/10.1007/s10957- 012-0164-9.
26 Y.H. Weng, T. Chen, N.J. Huang, A new fractional nonlinear system driven by a quasi- hemivariational inequality with an application, J. Nonlinear Convex Anal., 22(3):559–586, 2021, http://www.yokohamapublishers.jp/online2/jncav22-3.html.
27 Y.H. Weng, X.S. Li, N.J. Huang, A fractional nonlinear evolutionary delay system driven by a hemi-variational inequality in a Banach space, Acta Math. Sci., 41B(1):187–206, 2021, https://doi.org/10.1007/s10473-021-0111-7.
28 Z.B. Wu, X. Wang, N.J. Huang, T.Y. Wang, H.M. Wang, A new class of fuzzy fractional differential inclusions driven by variational inequalities, Fuzzy Sets Syst., 419:99–121, 2021, https://doi.org/10.1016/j.fss.2020.06.015.
29 G.M. Xue, F.N. Lin, B. Qin, Solvability and optimal control of fractional differential hemivariational inequalities, Optimization, 3:1–32, 2020, https://doi.org/10.1080/ 02331934.2020.1786089.
30 S.D. Zeng, Z.H. Liu, S. Migórski, A class of fractional differential hemivariational inequalities with application to contact problem, Z. Angew. Math. Phys., 69:36, 2018, https://doi. org/10.1007/s00033-018-0929-6.