Well-Posedness for a Class of Strongly Mixed Variational-Hemivariational Inequalities with Perturbations

The concept of well-posedness for a minimization problem is extended to develop the concept of well-posedness for a class of strongly mixed variational-hemivariational inequalities with perturbations which includes as a special case the class of variational-hemivariational inequalities with perturbations. We establish some metric characterizations for the well-posed strongly mixed variational-hemivariational inequality and give some conditions under which the strongly mixed variational-hemivariational inequality is stronglywell-posed in the generalized sense. On the other hand, it is also proven that under some mild conditions there holds the equivalence between the well posedness for a stronglymixed variational-hemivariational inequality and thewell-posedness for the corresponding inclusion problem.


Introduction
It is well-known that the classical notion of well-posedness for the minimization problem (MP) is due to Tykhonov [25], which has been known as the Tykhonov well-posedness.Let V be a Banach space and f : V → R ∪ {+∞} be a real-valued functional on V .The problem (MP), i.e., min x∈V f (x), is said to be well-posed if there exists a unique minimizer and every minimizing sequence converges to the unique minimizer.Furthermore, the notion of generalized Tykhonov well-posedness is also introduced for the problem (MP), which means the existence of minimizers and the convergence of some subsequence of every minimizing sequence toward a minimizer.Clearly, the concept of well-posedness is inspired by numerical methods producing optimizing sequences for optimization problems and plays a crucial role in the optimization theory.Therefore, various concepts of well-posedness have been introduced and studied for optimization problems.For more details, we refer to [3,9,13,20,31,37,38] and the references therein.
On the other hand, the concept of well-posedness has been extended to other related problems, such as variational inequalities [4,8,10,11,16,20,33], saddle point problem [7], inclusion problems [8,10] and fixed point problems [8,10].An initial notion of well-posedness for variational inequalities is due to Lucchetti and Patrone [20].They introduced the notion of well-posedness for variational inequalities and proved some related results by means of Ekeland's variational principle.Since then, many authors have been devoted to generating the concept of well-posedness from the minimization problem to various variational inequalities.In [3], Crespi, Guerraggio and Rocca gave the notions of well-posedness for a vector optimization problem and a vector variational inequality of the differential type, explored their basic properties and investigated their links.Lignola [16] introduced two concepts of well-posedness and L-well-posedness for quasivariational inequalities, and investigated some equivalent characterizations of these two concepts.Recently, Fang, Huang and Yao [10] generalized the concepts of well-posedness and α-well-posedness to a generalized mixed variational inequality which includes as a special case the classical variational inequality, and discussed its links with the well-posedness of corresponding inclusion problem and the well-posedness of corresponding fixed point problem.They also derived some conditions under which the mixed variational inequality is well-posed.For further results on the well-posedness for variational inequalities and equilibrium problems, we refer to [1,10,16,17,19,20,38] and the references therein.
In 1983, in order to formulate variational principles involving energy functions with no convexity and no smoothness, Panagiotopoulos [23] first introduced the hemivariational inequality which is an important and useful generalization of variational inequality, and investigated it by using the mathematical notion of the generalized gradient of Clarke for nonconvex and nondifferentiable functions [2].The hemivariational inequalities have been proved very efficient to describe a variety of mechanical problems, for instance, unilateral contact problems in nonlinear elasticity, problems describing the adhesive and frictional effects, and nonconvex semipermeability problems (see, for instance, [21][22][23]).Therefore, in recent years all kinds of hemivariational inequalities have been studied by many authors [5,6,15,18,21,[26][27][28]33] and the study of hemivariational inequalities has emerged as a new and interesting branch of applied mathematics.However, there are very few researchers extending the well-posedness to hemivariational inequalities.In 1995, Goeleven and Mentagui [33] first introduced the notion of well-posedness for hemivariational inequalities and established some basic results concerning the well-posed hemivariational inequality.
Very recently, Xiao and Huang [29] generalized the well-posedness of minimization problems to a class of variational-hemivariational inequalities with perturbations, which includes as special cases the classical hemivariational inequalities and variational inequalities.Under appropriate conditions, they derived some metric characterizations for the well-posed variational-hemivariational inequality, presented some conditions under which the variationalhemivariational inequality is strongly well-posed in the generalized sense.Meantime, they also proved that the well-posedness for a variational-hemivariational inequality is equivalent to the well-posedness for the corresponding inclusion problem.
In this paper, we extend the notion of well-posedness for minimization problems to a class of strongly mixed variational-hemivariational inequalities with perturbations, which includes as a special case the class of variational-hemivariational inequalities with perturbations in [29].Under very mild conditions, we establish some metric characterizations for the well-posed strongly mixed variational-hemivariational inequality, give some conditions under which the strongly mixed variational-hemivariational inequality is strongly well-posed in the generalized sense.On the other hand, it is also proven that the well-posedness for a strongly mixed variational-hemivariational inequality is equivalent to the well-posedness for the corresponding inclusion problem.

Preliminaries
Throughout this paper, unless stated otherwise, we always suppose that V is a real reflexive Banach space, where its dual space is denoted by V * and the generalized duality pairing between V and V * is denoted by •, • .We denote the norms of Banach spaces V and V * by • V and • V * , respectively.In what follows, let N : V * × V * → V * , A, T : V → V * and g : V → V be four mappings, G : V → R ∪ {+∞} be a proper, convex and lower semicontinuous functional, and f ∈ V * be some given element.Denote by domG the efficient domain of functional, that is, Consider the following strongly mixed variational-hemivariational inequality: find u ∈ V such that SMVHVI : ) where J • (u, v) denotes the generalized directional derivative in the sense of Clarke of a locally Lipschitz functional J : V → R at u in the direction v (see [2]) given by In particular, if N (u * , v * ) = u * + v * , ∀u * , v * ∈ V * and g = I the identity mapping of V , then the problem (2.1) reduces to the following variational-hemivariational inequality of finding u ∈ V such that VHVI : where T is perturbation, which was first introduced and studied by Xiao and Huang [29].
Let Ω be an open bounded subset of R 3 which is occupied by a linear elastic body, Γ be the boundary of the Ω which is assumed to be appropriately regular (C 0,1 , i.e., a Lipschitzian boundary, is sufficient).We denote by S = {S i } the stress vector on Γ , which can be decomposed into a normal component S N and a tangential component S T with respect to Γ , i.e., S N = σ ij n j n i and where σ = {σ ij } is an appropriately defined stress tensor and n = {n i } is the outward unit normal vector on Γ .Analogously, u N and u T denote the normal and the tangential components of the displacement vector u with respect to Γ .As pointed out in [29], the reaction-displacement law presents in compression ideal locking effect (the infinite branch EF ), i.e., always u N ≤ a, whereas u N > a is impossible.Specifically, where β is a multivalued function defined as follows: Suppose that β : R → R is a function such that β ∈ L ∞ loc (R), i.e., a function essentially bounded on any bounded interval of R. For any ρ > 0 and ξ ∈ R, we define βρ (ξ) = ess inf |ξ 1 −ξ|≤ρ β(ξ 1 ) and βρ (ξ) = ess sup |ξ 1 −ξ|≤ρ β(ξ 1 ).By the monotonicity of the functions βρ and βρ with respect to ρ, we infer that the limits as ρ → 0 + exist, that is, Furthermore, a locally Lipschitz function j N can be determined up to an additive constant by such that ∂j N (ξ) = β(ξ) for each ξ ∈ R when the limits β(ξ ± ) exist, where ∂j N is the Clarke's generalized gradient of locally Lipschitz function j N which will be specified in the follows.Now, let K = {u N |u N ≤ a}, N K be the normal cone to K at u N and I K be the indicator of the set K. Then (2.3) can be written as where ∂I K is the subgradient of the convex functional I K in the sense of convex analysis, which will also be specified in the follows.By the definitions of the Clarke's generalized gradient of locally Lipschitz function and the subgradient of the convex functional, (2.4) gives rise to the following variational-hemivariational inequality which is a special case of the variational-hemivariational inequality VHVI.Beyond question, the problem (2.5) is a special case of the strongly mixed variational-hemivariational inequality SMVHVI as well.More special cases of the SMVHVI are stated as follows: (i) If G = δ K and J(u) = Ω j(x, u)dΩ , where δ K denotes the indicator functional of a nonempty, convex subset K of a function space V defined on Ω and j : Ω × R → R is a locally Lipschitz continuous function, then the SMVHVI reduces to the following strongly mixed variational-hemivariational inequality: Remark that, the SMVHVI (2.6) with N (Ag(u), T u) = Ag(u) + T u and g = I, is equivalent to the VHVI which was considered by Goeleven and Mentagui in [33].
(iii) If J = 0, then the SMVHVI (2.1) with N (Ag(u), T u) = Ag(u) + T u reduces to the strongly mixed variational inequality of finding u ∈ V such that SMVI : Remark that, the SMVI (2.8) with T = 0 and g = I, is equivalent to the mixed variational inequality (see, e.g., [10,30]) and the references therein).
Let ∂G(u) : V → 2 V * \ {∅} and ∂J(u) : V → 2 V * \ {∅} denote the subgradient of convex functional G in the sense of convex analysis (see [24]) and the Clarke's generalized gradient of locally Lipschitz functional J (see [2]), respectively.That is, Remark 2.1 (see [34]).The Clarke's generalized gradient of a locally Lipschitz functional J : V → R at a point u is given by About the subgradient in the sense of convex analysis, the Clarke's generalized directional derivative and the Clarke's generalized gradient, we have the following basic properties (see, e.g., [2,24,29,34]).
Proposition 2.1.Let V be a Banach space and G : V → R ∪ {+∞} be a convex and proper functional.Then we have the following properties of ∂G: (i) ∂G(u) is convex and weak * -closed; (ii) If G is continuous at u ∈ domG, then ∂G(u) is nonempty, convex, bounded, and weak * -compact; (iii) If G is Gateaux differentiable at u ∈ domG, then ∂G(u) = {DG(u)}, where DG(u) is the Gateaux derivative of G at u. Proposition 2.2.Let V be a Banach space and G 1 , G 2 : V → R ∪ {+∞} be two convex functionals.If there is a point u 0 ∈ domG 1 ∩ domG 2 at which G 1 is continuous, then the following equation holds: ) is finite, positively homogeneous, subadditive and then convex on V ; (ii) J • (u, v) is upper semicontinuous as a function of (u, v), as a function of v alone, is Lipschitz continuous on V ; Now we recall some important definitions and useful results.Definition 2.1 (see [32]).Let V be a real Banach space with its dual V * and T be an operator from V to its dual space V * .T is said to be monotone if It is clear that the continuity implies the hemicontinuity, but the converse is not true in general.
Then, there exists y * ∈ C * such that Definition 2.3 (see [35]).Let S be a nonempty subset of V .The measure, say µ, of noncompactness for the set S is defined by where diamS i means the diameter of set S i .Definition 2.4 (see [35]).Let A, B be nonempty subsets of V .The Hausdorff metric H(•, •) between A and B is defined by Let {A n } be a sequence of nonempty subsets of V .We say that A n converges to A in the sense of Hausdorff metric if H(A n , A) → 0. It is easy to see that e(A n , A) → 0 iff d(a n , A) → 0 for all section a n ∈ A n .For more details on this topic, we refer the reader to [35].

Well-Posedness of the SMVHVI with Metric Characterizations
In this section, we generalize the concept of well-posedness to the strongly mixed variationalhemivariational inequality SMVHVI with perturbations, establish its metric characterizations and derive some conditions under which the strongly mixed variational-hemivariational inequality is strongly well-posed in the generalized sense in Euclidean space R n .Definition 3.1.A sequence {u n } ⊂ V is said to be an approximating sequence for the SMVHVI if there exists a nonnegative sequence { n } with n → 0 as n → ∞ such that The SMVHVI is said to be strongly (resp.weakly) well-posed if the SMVHVI has a unique solution in V and every approximating sequence converges strongly (resp.weakly) to the unique solution.
Remark 3.1.Strong well-posedness implies weak well-posedness, but the converse is not true in general.
Definition 3.3.The SMVHVI is said to be strongly (resp.weakly) well-posed in the generalized sense if the SMVHVI has a nonempty solution set S in V and every approximating sequence has a subsequence which converges strongly (resp.weakly) to some point of the solution set S. Remark 3.2.Strong well-posedness in the generalized sense implies weak well-posedness in the generalized sense, but the converse is not true in general.Definition 3.4.Let N : V * × V * → V * and A : V → V * be two mappings.Then (i) A is said to be monotone with respect to the first argument of N if there holds (iii) A is said to be hemicontinuous with respect to the first argument of N if for all u, v ∈ V and w * ∈ V * , the function For any > 0, we define the following two sets: Lemma 3.1.Suppose that A : V → V * is both monotone and hemicontinuous with respect to the first argument of N , G : V → R ∪ {+∞} is a proper, convex and lower semicontinuous functional.Then Ω ( ) = Ψ ( ) for all > 0.
Proof.Let u ∈ Ω ( ).Then, by the monotonicity of the mapping A with respect to the first argument of N , we have for all v ∈ V This implies that u ∈ Ψ ( ).Thus, we get the inclusion Ω ( ) ⊂ Ψ ( ).
Next let us show that Ψ ( ) ⊂ Ω ( ).Indeed, for any u ∈ Ψ ( ), we have 2), we obtain Since the Clarke's generalized directional derivative J • (u, v) is positively homogeneous with respect to v and G is convex, it follows that (3.3) Taking the limit for (3.3) as t → 0 + , we obtain from the hemicontinuity of the mapping A with respect to the first argument of N that By the arbitrariness of w ∈ V , we conclude that u ∈ Ω ( ), which implies that Ψ ( ) ⊂ Ω ( ).This completes the proof. 2 Lemma 3.2.Suppose that T : V → V * is continuous with respect to the second argument of N , g : V → V is continuous and G : V → R ∪ {+∞} is a proper, convex and lower semicontinuous functional.Then Ψ ( ) is closed in V for all > 0.
Proof.Let {u n } ⊂ Ψ ( ) be a sequence such that u n → u in V .Then (3.4) Since T : V → V * is continuous with respect to the second argument of N , g : V → V is continuous, G : V → R ∪ {+∞} is lower semicontinuous, and the Clarke's generalized directional derivative J • (u, v) is upper semicontinuous with respect to (u, v), we deduce that g(u n ) → g(u), N (Av, T u n ) → N (Av, T u), and Taking the lim sup for (3.4) as n → ∞, we obtain from (3.5) that which implies that u ∈ Ψ ( ).Therefore, Ψ ( ) is closed in V .This completes the proof. 2 Corollary 3.1.Suppose that A : V → V * is both monotone and hemicontinuous with respect to the first argument of N and T : V → V * is continuous with respect to the second argument of N .Let g : V → V be continuous and G : V → R ∪ {+∞} be a proper, convex and lower semicontinuous functional.Then, for all > 0, Ω ( ) = Ψ ( ) is closed in V .Theorem 3.1.Suppose that A : V → V * is both monotone and hemicontinuous with respect to the first argument of N and T : V → V * is continuous with respect to the second argument of N .Let g : V → V be continuous and G : V → R ∪ {+∞} be a proper, convex and lower semicontinuous functional.Then, the SMVHVI is strongly well-posed if and only if Ω ( ) = ∅, ∀ > 0 and diamΩ ( ) → 0 as → 0. (3.6) Proof."Necessity".Suppose that the SMVHVI is strongly well-posed.Then the SMVHVI has a unique solution which lies in Ω ( ) and so Ω ( ) = ∅ for all > 0. If diamΩ ( ) → 0 as → 0, then there exist a constant l > 0, a nonnegative sequence { n } with n → 0 and , it is known that {u n } and {v n } are both approximating sequences for the SMVHVI.From the strong well-posedness of the SMVHVI, it follows that both {u n } and {v n } converge strongly to the unique solution of the SMVHVI, which is a contradiction to (3.7)."Sufficiency".Let {u n } ⊂ V be an approximating sequence for the SMVHVI.Then there exists a nonnegative sequence { n } with n → 0 such that which implies that u n ∈ Ω ( n ).By condition (3.6), {u n } is a Cauchy sequence and so {u n } converges strongly to some point u ∈ V .Since the mapping A is monotone with respect to the first argument of N , the mapping T is continuous with respect to the second argument of N , g is continuous, the Clarke's generalized directional derivative J • (u, v) is upper semicontinuous with respect to (u, v) and G is lower semicontinuous, it follows from (3.8) that (3.9) Furthermore, since A is also hemicontinuous with respect to the first argument of N and G is convex, by the argument similar to that in Lemma 3.1 we can readily prove that which implies that u solves the SMVHVI.
To complete the proof of Theorem 3.1, we need only to prove the SMVHVI has a unique solution.Assume by contradiction that the SMVHVI has two distinct solutions u 1 and u 2 .Then it is easy to see that u 1 , u 2 ∈ Ω ( ) for all > 0 and which is a contradiction.Therefore, the SMVHVI has a unique solution.This completes the proof. 2 Corollary 3.2 (see [29,Theorem 3.1]).Suppose that A : V → V * is a monotone and hemicontinuous mapping, T : V → V * is a continuous mapping and G : V → R ∪ {+∞} be a proper, convex and lower semicontinuous functional.Then, the VHVI is strongly well-posed if and only if Ω ( ) = ∅, ∀ > 0 and diamΩ ( ) → 0 as → 0.
Proof.In Theorem 3.1, put N (u * , v * ) = u * + v * , ∀u * , v * ∈ V * and g = I the identity mapping of V .Then from the monotonicity and hemicontinuity of A it follows that A : V → V * is both monotone and hemicontinuous with respect to the first argument of N .Moreover, from the continuity of T it follows that T : V → V * is continuous with respect to the second argument of N .Thus, utilizing Theorem 3.1, we obtain the desired result. 2 Theorem 3.2.Suppose that A : V → V * is both monotone and hemicontinuous with respect to the first argument of N and T : V → V * is continuous with respect to the second argument of N .Let g : V → V be continuous and G : V → R∪{+∞} be a proper, convex and lower semicontinuous functional.Then, the SMVHVI is strongly well-posed in the generalized sense if and only if Ω ( ) = ∅, ∀ > 0 and µ(Ω ( )) → 0 as → 0. (3.10) Proof."Necessity".Suppose that the SMVHVI is strongly well-posed in the generalized sense.Then the solution set of the SMVHVI is nonempty and S ⊂ Ω ( ) for any > 0. Furthermore, the solution set of the SMVHVI also is compact.In fact, for any sequence {u n } ⊂ S, it follows from S ⊂ Ω ( ) for any > 0 that {u n } ⊂ S is an approximating sequence for the SMVHVI.Since the SMVHVI is strongly well-posed in the generalized sense, {u n } has a subsequence which converges strongly to some point of the solution set S. Thus, the solution set S of the SMVHVI is compact.Now let us show that µ(Ω ( )) → 0 as → 0. From S ⊂ Ω ( ) for any > 0, we get H(Ω ( ), S) = max{e(Ω ( ), S), e(S, Ω ( ))} = e(Ω ( ), S). (3.11) Taking into account the compactness of the solution set S, we obtain from (3.11) that µ(Ω ( )) ≤ 2H(Ω ( ), S) = 2e(Ω ( ), S).
Since the solution set S is compact, there exists ūn ∈ S such that Again from the compactness of the solution set S, {ū n } has a subsequence {ū n k } converging strongly to some ū ∈ S. It follows from (3.14) that which implies that {u n k } converges strongly to ū.Therefore, the SMVHVI is strongly wellposed in the generalized sense.This completes the proof. 2 Corollary 3.3 (see [29,Theorem 3.2]).Suppose that A : V → V * is a monotone and hemicontinuous mapping, T : V → V * is a continuous mapping and G : V → R ∪ {+∞} be a proper, convex and lower semicontinuous functional.Then, the VHVI is strongly well-posed in the generalized sense if and only if Ω ( ) = ∅, ∀ > 0 and µ(Ω ( )) → 0 as → 0.
The following theorem gives some conditions under which the strongly mixed variationalhemivariational inequality is strongly well-posed in the generalized sense in Euclidean space R n .Theorem 3.3.Suppose that A : R n → R n is both monotone and hemicontinuous with respect to the first argument of N and T : R n → R n is continuous with respect to the second argument of N .Let g : R n → R n be continuous and G : R n → R∪{+∞} be a proper, convex and lower semicontinuous functional.If there exists some > 0 such that Ω ( ) is nonempty and bounded.Then the strongly mixed variational-hemivariational inequality SMVHVI is strongly well-posed in the generalized sense.
Proof.Suppose that {u n } is an approximating sequence for the SMVHVI.Then there exists a nonnegative sequence { n } with n → 0 as n → ∞ such that (3.15) Let 0 > 0 be such that Ω ( 0 ) is nonempty and bounded.Then there exists n 0 such that u n ∈ Ω ( 0 ) for all n > n 0 .This implies that {u n } is bounded by the boundedness of Ω ( 0 ).Thus, there exists a subsequence {u n k } such that u n k → ū as k → ∞.Since the mapping A is monotone with respect to the first argument of N , the mapping T is continuous with respect to the second argument of N , g is continuous, the Clarke's generalized directional derivative J • (u, v) is upper semicontinuous with respect to (u, v) and G is lower semicontinuous, it follows from (3.15) that (3.16) Meantime, since A is also hemicontinuous with respect to the first argument of N and G is convex, by the argument similar to that in Lemma 3.1 we can readily prove that which implies that ū solves the SMVHVI.Therefore, the SMVHVI is strongly well-posed in the generalized sense.This completes the proof. 2 Corollary 3.4 (see [29,Theorem 3.3]).Suppose that A : R n → R n is a monotone and hemicontinuous mapping, T : R n → R n is a continuous mapping and G : R n → R ∪ {+∞} be a proper, convex and lower semicontinuous functional.If there exists some > 0 such that Ω ( ) is nonempty and bounded.Then the variational-hemivariational inequality VHVI is strongly well-posed in the generalized sense.

Well-Posedness of Inclusion Problem
In this section, we first recall the concept of well-posedness for inclusion problems and then investigate the relations between the well-posedness for the strongly mixed variationalhemivariational inequality and the well-posedness for the corresponding inclusion problem.In what follows we always assume that F is a set-valued mapping from real reflexive Banach space V to its dual space V * .The inclusion problem associated with mapping F is defined by IP(F ) : find x ∈ V such that 0 ∈ F (x). Definition 4.1 (see [19,36]).A sequence {u n } ⊂ V is called an approximating sequence for the inclusion problem IP(F ) if d(0, F (u n )) → 0, or equivalently, there exists a sequence [19,36]).We say that the inclusion problem IP(F ) is strongly (resp.weakly) well-posed if it has a unique solution and every approximating sequence converges strongly (resp.weakly) to the unique solution of IP(F ).Definition 4.3 (see [19,36]).We say that the inclusion problem IP(F ) is strongly (resp.weakly) well-posed in the generalized sense if the solution set S of the IP(F ) is nonempty and every approximating sequence has a subsequence which converges strongly (resp.weakly) to some point of the solution set S for the IP(F ).
The following two theorems establish the relations between the strong (resp.weak) wellposedness for the strongly mixed variational-hemivariational inequality and the strong (resp.weak) well-posedness for the corresponding inclusion problem.
Theorem 4.1.Let N : V * × V * → V * , A, T : V → V * and g : V → V be four mappings, J : V → R be a locally Lipschitz functional and G : V → R ∪ {+∞} be a proper, convex and lower semicontinuous functional.Then the strongly mixed variational-hemivariational inequality SMVHVI is strongly (resp.weakly) well-posed if and only if the corresponding inclusion problem IP(N (A(g), T ) − f + ∂J + ∂G(g)) is strongly (resp.weakly) well-posed.Theorem 4.2.Let N : V * × V * → V * , A, T : V → V * and g : V → V be four mappings, J : V → R be a locally Lipschitz functional and G : V → R ∪ {+∞} be a proper, convex and lower semicontinuous functional.Then the strongly mixed variational-hemivariational inequality SMVHVI is strongly (resp.weakly) well-posed in the generalized sense if and only if the corresponding inclusion problem IP(N (A(g), T ) − f + ∂J + ∂G(g)) is strongly (resp.weakly) well-posed in the generalized sense.Lemma 4.1.Let N : V * × V * → V * , A, T : V → V * and g : V → V be four mappings, J : V → R be a locally Lipschitz functional and G : V → R ∪ {+∞} be a proper, convex and lower semicontinuous functional.Then u ∈ V is a solution of the SMVHVI if and only if u is a solution of the corresponding inclusion problem IP(N (A(g), T ) − f + ∂J + ∂G(g)) of finding u ∈ V such that 0 ∈ N (A(g(u)), T u) − f + ∂J(u) + ∂G(g(u)).
Proof."Sufficiency".Assume that u is a solution of the inclusion problem IP(N (A(g), T )− f + ∂J + ∂G(g)).Then there exist w 1 ∈ ∂J(u) and w 2 ∈ ∂G(g(u)) such that By multiplying v−g(u) at both sides of the above equation (4.1), we obtain from the definitions of the Clarke's generalized gradient for locally Lipschitz functional and the subgradient for convex functional that which implies that u is a solution of the SMVHVI."Necessity".Suppose that u is a solution of the SMVHVI.Then, From the fact that we deduce that there exists a w(u, v) ∈ ∂J(u) such that In terms of Proposition 2.3 (4), ∂J(u) is a nonempty, convex, bounded, weak * -compact subset of V * .Note that V is a real reflexive Banach space.Hence, ∂J(u) is a nonempty, convex, bounded, weak-compact subset in V * .Thus ∂J(u) is a nonempty, closed, convex and bounded subset in V * which implies that {N (A(g(u)), T u) − f + w : w ∈ ∂J(u)} is nonempty, closed, convex and bounded in V * .Since G : V → R ∪ {+∞} is a proper, convex and lower semicontinuous functional, it follows from Theorem 2.1 with ϕ(u) = G(u) and (4.2) that there exists w(u) ∈ ∂J(u) such that For the sake of simplicity we write w = w(u), and hence from (4.3) we have which implies that u is a solution of the inclusion problem IP(N (A(g), T ) − f + ∂J + ∂G(g)).
This completes the proof. 2 Proof of Theorem 4.1."Necessity".Assume that the SMVHVI is strongly (resp.weakly) well-posed.Then there is a unique solution u * for the SMVHVI.By Lemma 4.1, u * also is the unique solution for the inclusion problem IP(N (A(g), T ) − f + ∂J + ∂G(g)).Let {u n } be an approximating sequence for the IP(N (A(g), T ) − f + ∂J + ∂G(g)).Then there exists a sequence w n ∈ N (A(g(u n )), T u n ) − f + ∂J(u n ) + ∂G(g(u n )) such that w n V * → 0 as n → ∞.And so there exist ξ n ∈ ∂J(u n ) and η n ∈ ∂G(g(u n )) such that From the definitions of the Clarke's generalized gradient for locally Lipschitz functional and the subgradient for convex functional, we obtain by multiplying v − g(u n ) at both sides of the above equation (4.4) that Letting n = w n V * , we obtain that {u n } is an approximating sequence for the SMVHVI from (4.5) with w n V * → 0 as n → ∞.Therefore, it follows from the strong (resp.weak) well-posedness of the SMVHVI that {u n } converges strongly (resp.weakly) to the unique solution u * .Thus, the inclusion problem IP(N (A(g), T ) − f + ∂J + ∂G(g)) is strongly (resp.weakly) well-posed.
"Sufficiency".Suppose that the inclusion problem IP(N (A(g), T ) − f + ∂J + ∂G(g)) is strongly (resp.weakly) well-posed.Then the IP(N (A(g), T ) − f + ∂J + ∂G(g)) has a unique solution u * , which implies that u * is the unique solution for the SMVHVI by Lemma 4.1.Let {u n } be an approximating sequence for the SMVHVI.Then there exists a sequence { n } with n → 0 as n → ∞ such that By the same argument as in the proof of Lemma 4.1, there exists a w(u n , v) ∈ ∂J(u n ) such that and bounded in V * .Then, it follows from (4.6) and Theorem 2.1 with ϕ(u) = G(u) + n u − g(u n ) V , which is proper, convex and lower semicontinuous, that there exists w (4.7)For the sake of simplicity we write w n = w(u n ), and hence from (4.7) we have where P n (v) and Q n (v) are two functionals on V defined by Clearly, G n is proper, convex and lower semicontinuous and v = g(u n ) is a global minimizer of G n on V .Thus, 0 ∈ ∂G n (g(u n )).Since the functionals P n and Q n are continuous on V and G is proper, convex and lower semicontinuous, it follows from Proposition 2.2 that It is easy to calculate that and so there exists a ξ n ∈ ∂Q n (g(u n )) with ξ n V * = 1 such that 0 ∈ ∂G(g(u n )) + N (A(g(u n )), T u n ) − f + w n + n ξ n .(4.8) Letting u * n = − n ξ n , we have u * n V * → 0 as n → 0.Moreover, since w n ∈ ∂J(u n ), it follows from (4.8) that u * n ∈ N (A(g(u n )), T u n ) − f + ∂J(u n ) + ∂G(g(u n )), which implies that {u n } is an approximating sequence for the IP(N (A(g), T )−f +∂J +∂G(g)).
Since the inclusion problem IP(N (A(g), T ) − f + ∂J + ∂G(g)) is strongly (resp.weakly) wellposed, {u n } converges strongly (resp.weakly) to the unique solution u * .Therefore, the strongly mixed variational-hemivariational inequality SMVHVI is strongly (resp.weakly) well-posed.This completes the proof. 2 Proof of Theorem 4.2.The proof is similar to that in Theorem 4.1 and so we omit it here.
Corollary 4.1 (see [29,Theorem 4.1]).Let A and T be two mappings from Banach space V to its dual V * , J : V → R be a locally Lipschitz functional and G : V → R ∪ {+∞} be a proper, convex and lower semicontinuous functional.Then the variational-hemivariational inequality VHVI is strongly (resp.weakly) well-posed if and only if the corresponding inclusion problem IP(A + T − f + ∂J + ∂G) is strongly (resp.weakly) well-posed.
Proof.In Theorem 4.1, put g = I the identity mapping of V and N (u * , v * ) = u * + v * , ∀u * , v * ∈ V * .Then, in terms of Theorem 4.1 we derive the desired result.).Let A and T be two mappings from Banach space V to its dual V * , J : V → R be a locally Lipschitz functional and G : V → R ∪ {+∞} be a proper, convex and lower semicontinuous functional.Then the variational-hemivariational inequality VHVI is strongly (resp.weakly) well-posed in the generalized sense if and only if the corresponding inclusion problem IP(A + T − f + ∂J + ∂G) is strongly (resp.weakly) well-posed in the generalized sense.

Concluding Remarks
In this paper, we introduce some concepts of well-posedness for a class of strongly mixed variational-hemivariational inequalities with perturbations, which includes as a special case the class of variational-hemivariational inequalities in [29].We establish some metric characterizations for the well-posed strongly mixed variational-hemivariational inequality and give some conditions under which the strongly mixed variational-hemivariational inequality is strongly well-posed in the generalized sense in R n .On the other hand, we first recall the concept of well-posedness for inclusion problems and then investigate the relations between the strong (resp.weak) well-posedness for a strongly mixed variational-hemivariational inequality and the strong (resp.weak) well-posedness for the corresponding inclusion problem.
It is well known that there are many other concepts of well-posedness for optimization problems, variational inequalities and Nash equilibrium problems, such as α-well-posedness [17], well-posedness by perturbations [11] and Levitin-Polyak well-posedness [14], etc.However, we wonder whether the concepts mentioned as above can be extended to the strongly mixed variational-hemivariational inequality.Beyond question, this is an interesting problem.
where e(A, B) := sup a∈A d(a, B) with d(a, B) := inf b∈B a − b V .