Research Article | Open | Published:
General Comparison Principle for Variational-Hemivariational Inequalities
Journal of Inequalities and Applicationsvolume 2009, Article number: 184348 (2009)
We study quasilinear elliptic variational-hemivariational inequalities involving general Leray-Lions operators. The novelty of this paper is to provide existence and comparison results whereby only a local growth condition on Clarke's generalized gradient is required. Based on these results, in the second part the theory is extended to discontinuous variational-hemivariational inequalities.
Let , , be a bounded domain with Lipschitz boundary . By and , we denote the usual Sobolev spaces with their dual spaces and , respectively, where is the Hölder conjugate satisfying . We consider the following elliptic variational-hemivariational inequality. Find such that
where denotes the generalized directional derivative of the locally Lipschitz functions at in the direction given by
(cf. [1, Chapter 2]). We denote by a closed convex subset of , and is a second-order quasilinear differential operator in divergence form of Leray-Lions type given by
The operator stands for the Nemytskij operator associated with some Carathéodory function defined by
Furthermore, we denote the trace operator by which is known to be linear, bounded, and even compact.
The aim of this paper is to establish the method of sub- and supersolutions for problem (1.1). We prove the existence of solutions between a given pair of sub-supersolution assuming only a local growth condition of Clarke's generalized gradient, which extends results recently obtained by Carl in . To complete our findings, we also give the proof for the existence of extremal solutions of problem (1.1) for a fixed ordered pair of sub- and supersolutions in case has the form
In the second part we consider (1.1) with a discontinuous Nemytskij operator involved, which extends results in  and partly of . Let us consider next some special cases of problem (1.1), where we suppose .
(1)If and are smooth, problem (1.1) reduces to
which is equivalent to the weak formulation of the nonlinear boundary value problem
where denotes the conormal derivative of . The method of sub- and supersolution for this kind of problems is a special case of .
(2)For , and , (1.1) corresponds to the variational-hemivariational inequality given by
which has been discussed in detail in .
(3)If and , then (1.1) is a classical variational inequality of the form
whose method of sub- and supersolution has been developed in [7, Chapter 5].
(4)Let or and not necessarily smooth. Then problem (1.1) is a hemivariational inequality, which contains for as a special case the following Dirichlet problem for the elliptic inclusion:
and for the elliptic inclusion
where the multivalued functions stand for Clarke's generalized gradient of the locally Lipschitz function given by
Existence results for variational-hemivariational inequalities with or without the method of sub- and supersolutions have been obtained under different structure and regularity conditions on the nonlinear functions by various authors. For example, we refer to [9–16]. In case that is the whole space or , respectively, problem (1.1) reduces to a hemivariational inequality which has been treated in [17–25].
Comparison principles for general elliptic operators , including the negative -Laplacian , Clarke's generalized gradient , satisfying a one-sided growth condition in the form
for all , for a.a. , and for all with can be found in . Inspired by results recently obtained in [8, 26], we prove the existence of (extremal) solutions for the variational-hemivariational inequality (1.1) within a sector of an ordered pair of sub- and supersolutions without assuming a one-sided growth condition on Clarke's gradient of the form (1.13).
2. Notation of Sub- and Supersolution
For functions we use the notation , and and introduce the following definitions.
A function is said to be a subsolution of (1.1) if the following holds:
A function is said to be a supersolution of (1.1) if the following holds:
In order to prove our main results, we additionally suppose the following assumptions:
3. Preliminaries and Hypotheses
Let , and assume for the coefficients the following conditions.
(A1) Each satisfies Carathéodory conditions, that is, is measurable in for all and continuous in for a.e. . Furthermore, a constant and a function exist so that
for a.e. and for all , where denotes the Euclidian norm of the vector .
(A2) The coefficients satisfy a monotonicity condition with respect to in the form
for a.e. , for all , and for all with .
(A3) A constant and a function exist such that
for a.e. , for all and for all .
Condition (A1) implies that is bounded continuous and along with (A2); it holds that is pseudomonotone. Due to (A1) the operator generates a mapping from into its dual space defined by
where stands for the duality pairing between and , and assumption (A3) is a coercivity type condition.
Let be an ordered pair of sub- and supersolutions of problem (1.1). We impose the following hypotheses on and the nonlinearity in problem (1.1).
(j1) and are measurable in and , respectively, for all .
(j2) and are locally Lipschitz continuous in for a.a. and for a.a. , respectively.
(j3) There are functions and such that for all the following local growth conditions hold:
(i) is measurable in for all .
(ii) is continuous in for a.a. .
(iii)There exist a constant and a function such that
for a.e. , for all , and for all .
Note that the associated Nemytskij operator defined by is continuous and bounded from to (cf. ). We recall that the normed space is equipped with the natural partial ordering of functions defined by if and only if , where is the set of all nonnegative functions of .
Based on an approach in , the main idea in our considerations is to modify the functions . First we set for
By means of (3.7) we introduce the mappings and defined by
The following lemma provides some properties of the functions and .
Let the assumptions in (j1)–(j3) be satisfied. Then the modified functions and have the following qualities.
() and are measurable in and , respectively, for all , and and are locally Lipschitz continuous in for a.a. and for a.a. , respectively.
() Let be Clarke's generalized gradient of . Then for all the following estimates hold true:
() Clarke's generalized gradients of and are given by
and the inclusions and are valid for .
With a view to the assumptions (j1)–(j3) and the definition of in (3.8), one verifies the lemma in few steps.
With the aid of Lemma 3.1, we introduce the integral functionals and defined on and , respectively, given by
Due to the properties and Lebourg's mean value theorem (see [1, Chapter 2]), the functionals and are well defined and Lipschitz continuous on bounded sets of and , respectively. This implies among others that Clarke's generalized gradients and are well defined, too. Furthermore, by means of Aubin-Clarke's theorem (see ), for and we get
An important tool in our considerations is the following surjectivity result for multivalued pseudomonotone mappings perturbed by maximal monotone operators in reflexive Banach spaces.
Let be a real reflexive Banach space with the dual space , a maximal monotone operator, and . Let be a pseudomonotone operator, and assume that either is quasibounded or is strongly quasibounded. Assume further that is -coercive, that is, there exists a real-valued function with as such that for all one has . Then is surjective, that is, .
The proof of the theorem can be found, for example, in [28, Theorem ]. The notation and stand for and , respectively. Note that any bounded operator is, in particular, also quasibounded and strongly quasibounded. For more details we refer to . The next proposition provides a sufficient condition to prove the pseudomonotonicity of multivalued operators and plays an important part in our argumentations. The proof is presented, for example, in [28, Chapter 2].
Let be a reflexive Banach space, and assume that satisfies the following conditions:
(i)for each one has that is a nonempty, closed, and convex subset of ;
(ii) is bounded;
(iii)if in and in with and if , then and .
Then the operator is pseudomonotone.
We denote by and the adjoint operators of the imbedding and the trace operator , respectively, given by
Next, we introduce the following multivalued operators:
where are defined as mentioned above. The operators have the following properties (see, e.g., [5, Lemmas and ]).
The multivalued operators and are bounded and pseudomonotone.
Let be the cutoff function related to the given ordered pair of sub- and supersolutions defined by
Clearly, the mapping is a Carathéodory function satisfying the growth condition
for a.e. , for all , where and . Furthermore, elementary calculations show the following estimate:
where and are some positive constants. Due to (3.16) the associated Nemytskij operator defined by
is bounded and continuous. Since the embedding is compact, the composed operator is completely continuous.
For , we define the truncation operator with respect to the functions and given by
The mapping is continuous and bounded from into which follows from the fact that the functions and are continuous from to itself and that can be represented as (cf. ). Let be the composition of the Nemytskij operator and given by
Due to hypothesis (F1)(iii), the mapping is bounded and continuous. We set , and consider the multivalued operator
where is a constant specified later, and the operator is given by
We are going to prove the following properties for the operator .
The operator is bounded, pseudomonotone, and coercive for sufficiently large.
The boundedness of follows directly from the boundedness of the specific operators , , , , and . As seen above, the operator is completely continuous and thus pseudomonotone. The elliptic operator is pseudomonotone because of hypotheses (A1), (A2), and (F1), and in view of Lemma 3.4 the operators and are bounded and pseudomonotone as well. Since pseudomonotonicity is invariant under addition, we conclude that is bounded and pseudomonotone. To prove the coercivity of , we have to find the existence of a real-valued function satisfying
such that for all and the following holds
for some . Let ; that is, is of the form
where with for a.a. and with for a.a. . Applying (A1), (A3), (F1)(iii), (3.17), and (), the trace operator and Young's inequality yield
where are some positive constants. Choosing and such that yields the estimate
Setting for and provides the estimate in (3.24) satisfying (3.23). This proves the coercivity of and completes the proof of the lemma.
4. Main Results
Let hypotheses (A1)–(A3), (j1)–(j3), and (F1) be satisfied, and assume the existence of sub- and supersolutions and , respectively, satisfying and (2.1). Then, there exists a solution of (1.1) in the order interval .
Let be the indicator function corresponding to the closed convex set given by
which is known to be proper, convex, and lower semicontinuous. The variational-hemivariational inequality (1.1) can be rewritten as follows. Find such that
for all . By using the operators and the functions introduced in Section 3, we consider the following auxiliary problem. Find such that
for all . Consider now the multivalued operator
where is as in (3.21), and is the subdifferential of the indicator function which is known to be a maximal monotone operator (cf. [28, page 20]). Lemma 3.5 provides that is bounded, pseudomonotone, and coercive. Applying Theorem 3.2 proves the surjectivity of meaning that Since , there exists a solution of the inclusion
This implies the existence of , and such that
where it holds in view of (3.12) and (3.14) that
Due to the Definition of Clarke's generalized gradient , one gets
Moreover, we have the following estimate:
From (4.6) we conclude
Using the estimates in (4.9) and (4.10) to the equation above where is replaced by , yields for all
Hence, we obtain a solution of the auxiliary problem (4.3) which is equivalent to the problem. Find such that
In the next step we have to show that any solution of (4.13) belongs to . By Definition 2.2 and by choosing , we obtain
and selecting in (4.13) provides
Adding these inequalities yields
Let us analyze the specific integrals in (4.16). By using (A2) and the definition of the truncation operator, we obtain
Furthermore, we consider the third integral of (4.16) in case ; otherwise it would be zero. Applying (1.12) and (3.8) proves
Proposition in  along with (3.7) shows
In view of (4.18) and (4.19) we obtain
and analog to this calculation
Due to (4.17), (4.20), and (4.21), we immediately realize that the left-hand side in (4.16) is nonpositive. Thus, we have
which implies and hence, . The proof for is done in a similar way. So far we have shown that any solution of the inclusion (4.5) (which is a solution of (4.3) as well) belongs to the interval . The latter implies , and , and thus from (4.5) it follows
where and , which proves that is also a solution of our original problem (1.1). This completes the proof of the theorem.
Let denote the set of all solutions of (1.1) within the order interval . In addition, we will assume that has lattice structure, that is, fulfills
We are going to show that possesses the smallest and the greatest element with respect to the given partial ordering.
Let the hypothesis of Theorem 4.1 be satisfied. Then the solution set is compact.
First, we are going to show that is bounded in . Let be a solution of (4.2), and notice that is -bounded because of . This implies , and thus, is also bounded in . Choosing a fixed in (4.2) delivers
Using (A1), (j3), (F1)(iii), Proposition in , and Young's inequality yields
where the left-hand side fulfills the estimate
Thus, one has
where the choice proves that is bounded. Hence, we obtain the boundedness of in . Let . Since is reflexive, there exists a weak convergent subsequence, not relabelled, which yields along with the compact imbedding and the compactness of the trace operator
As solves (4.2), in particular, for , we obtain
Since is upper semicontinuous and due to Fatou's Lemma, we get from (4.30)
The elliptic operator satisfies the ()-property, which due to (4.31) and (4.29) implies
Replacing by in (1.1) yields the following inequality:
Passing to the limes superior in (4.33) and using Fatou's Lemma, the strong convergence of in , and the upper semicontinuity of , we have
Hence, . This shows the compactness of the solution set .
In order to prove the existence of extremal elements of the solution set , we drop the -dependence of the operator . Then, our assumptions read as follows.
() Each satisfies Carathéodory conditions, that is, is measurable in for all and continuous in for a.e. . Furthermore, a constant and a function exist so that
for a.e. and for all , where denotes the Euclidian norm of the vector .
() The coefficients satisfy a monotonicity condition with respect to in the form
for a.e. , and for all with .
() A constant and a function exist such that
for a.e. , and for all .
Then the operator acts in the following way:
Let us recall the definition of a directed set.
Let be a partially ordered set. A subset of is said to be upward directed if for each pair there is a such that and . Similarly, is downward directed if for each pair there is a such that and . If is both upward and downward directed, it is called directed.
Let hypotheses ()–() and (j1)–(j3) be fulfilled, and assume that (F1) and (4.24) are valid. Then the solution set of problem (1.1) is a directed set.
By Theorem 4.1, we have . Let be given solutions of (1.1), and let . We have to show that there is a such that . Our proof is mainly based on an approach developed recently in  which relies on a properly constructed auxiliary problem. Let the operator be given basically as in (3.15)–(3.18) with the following slight change:
We introduce truncation operators related to and modify the truncation operator as follows. For , we define
and we set
as well as
Moreover, we define
for and introduce the functions and defined by
Furthermore, we define the functions and for as follows:
where . (Note that for we understand the functions above being defined on .) Apparently, the mappings are Carathéodory functions which are piecewise linear with respect to . Let us introduce the Nemytskij operators and defined by
Due to the compact imbedding and the compactness of the trace operator , the operators and are bounded and completely continuous and thus pseudomonotone. Now, we consider the following auxiliary variational-hemivariational inequality. Find such that
for all . The construction of the auxiliary problem (4.48) including the functions and is inspired by a very recent approach introduced by Carl and Motreanu in . The first part of the proof of Theorem 4.1 delivers the existence of a solution of (4.48), since all calculations in Section 3 are still valid. In order to show that the solution set of (1.1) is upward directed, we have to verify that a solution of (4.48) satisfies . By assumption , that is, solves
for all . Selecting in the inequality above yields
Taking the special test function in (4.48), we get
Adding (4.50) and (4.51) yields
The condition () implies directly
and the second integral can be estimated to obtain
In order to investigate the third integral, we make use of some auxiliary calculation. In view of (4.44) we have for
Applying Proposition in  and (3.7) results in
Furthermore, we have in case
Thus, we get
The same result can be proven for the boundary integral meaning
Applying (4.53)–(4.59) to (4.52) yields
and hence, meaning that for . This proves . The proof for can be shown in a similar way. More precisely, we obtain a solution of (4.48) satisfying which implies and . The same arguments as at the end of the proof of Theorem 4.1 apply, which shows that is in fact a solution of problem (1.1) belonging to the interval . Thus, the solution set is upward directed. Analogously, one proves that is downward directed.
Theorems 4.2 and 4.4 allow us to formulate the next theorem about the existence of extremal solutions.
Let the hypotheses of Theorem 4.4 be satisfied. Then the solution set possesses extremal elements.
Since and are separable, is also separable; that is, there exists a countable, dense subset of . We construct an increasing sequence as follows. Let and select such that
By Theorem 4.4, the element exists because is upward directed. Moreover, we can choose by Theorem 4.2 a convergent subsequence (denoted again by ) with in and in . Since is increasing, the entire sequence converges in and further, . One sees at once that which follows from
and the fact that is closed in implies
Therefore, as , we conclude that is the greatest element in . The existence of the smallest solution of (1.1) in can be proven in a similar way.
If depends on , we have to require additional assumptions. For example, if satisfies in a monotonicity condition, the existence of extremal solutions can be shown, too. In case , a Lipschitz condition with respect to is sufficient for proving extremal solutions. For more details we refer to .
5. Generalization to Discontinuous Nemytskij Operators
In this section, we will extend our problem in (1.1) to include discontinuous nonlinearities of the form . We consider again the elliptic variational-hemivariational inequality
where all denotations of Section 1 are valid. Here, denotes the Nemytskij operator given by
where we will allow to depend discontinuously on its third argument. The aim of this section is to deal with discontinuous Nemytskij operators by combining the results of Section 4 with an abstract fixed point result for not necessarily continuous operators, cf. [30, Theorem ]. This will extend recent results obtained in . Let us recall the Definitions of sub- and supersolutions.
A function is called a subsolution of (5.1) if the following holds:
A function is called a supersolution of (5.1) if the following holds:
The conditions for Clarke's generalized gradient and the functions are the same as in (j1)–(j3). We only change the property (F1) to the following.
(i) is measurable for all , for all , and for all measurable functions .
(ii) is continuous in for all and for a.a. .
(iii) is decreasing for all and for a.a. .
(iv)There exist a constant and a function such that
for a.e. , for all , and for all .
By  the mapping is measurable for ; however, the associated Nemytskij operator is not necessarily continuous. An important tool in extending the previous result to discontinuous Nemytskij operators is the next fixed point result. The proof of this lemma can be found in [30, Theorem ].
Let be a subset of an ordered normed space, an increasing mapping, and .
(1)If has a lower bound in and the increasing sequences of converge weakly in , then has the least fixed point , and .
(2)If has an upper bound in and the decreasing sequences of converge weakly in , then has the greatest fixed point , and .
Our main result of this section is the following theorem.
Assume that hypotheses ()–(), (j1)–(j3), (F2), and (4.24) are valid, and let and be sub- and supersolutions of (5.1) satisfying and (2.1). Then there exist extremal solutions and of (5.1) with .
We consider the following auxiliary problem:
where , and we define the set , and is a supersolution of (5.1) satisfying . On we introduce the fixed point operator by , that is, for a given supersolution , the element is the greatest solution of (5.4) in , and thus, it holds for all . This implies . Because of (4.24), is also a supersolution of (5.4) satisfying
for all . By the monotonicity of with respect to its third argument, , and using the representation for any we obtain
for all . Consequently, is a supersolution of (5.1). This shows .
Let , and assume that . Then we have the following.
Since , it follows that and due to (4.24), is also a subsolution of (5.7), that is, (5.7) holds, in particular, for , that is,
for all . Using the monotonicity of with respect to its third argument yields
for all . Hence, is a subsolution of (5.8). By Theorem 4.5, we know that there exists the greatest solution of (5.8) in . But is the greatest solution of (5.8) in and therefore, . This shows that is increasing.
In the last step we have to prove that any decreasing sequence of converges weakly in . Let be a decreasing sequence. Then a.e. for some . The boundedness of in can be shown similarly as in Section 4. Thus the compact imbedding along with the monotony of as well as the compactness of the trace operator implies
Since , it follows . From (5.4) with replaced by and by , and using the fact that is upper semicontinuous, we obtain by applying Fatou's Lemma
The -property of provides the strong convergence of in . As is also a supersolution of (5.4) Definition 5.2 yields
for all . Due to and the monotonicity of we get
for all , and since the mapping is continuous from to itself (cf. ), we can pass to the upper limit on the right-hand side for . This yields
which shows that is a supersolution of (5.1), that is, . As is an upper bound of , we can apply Lemma 5.3, which yields the existence of the greatest fixed point of in . This implies that must be the the greatest solution of (5.1) in . By analogous reasoning, one shows the existence of the smallest solution of (5.1). This completes the proof of the theorem.
Sub- and supersolutions of problem (5.1) have been constructed in  under the conditions ()–(), (j1)–(j2) and (F2)(i)–(F2)(iii), where the gradient dependence of has been dropped, meaning that . Further, it is assumed that which is the negative -Laplacian defined by
The coefficients are given by
Thus, hypothesis () is satisfied with and . Hypothesis () is a consequence of the inequalities from the vector-valued function (see [7, page 37]), and () is satisfied with and . The construction is done by using solutions of simple auxiliary elliptic boundary value problems and the eigenfunction of the -Laplacian which belongs to its first eigenvalue.
Clarke FH: Optimization and Nonsmooth Analysis, Classics in Applied Mathematics. Volume 5. 2nd edition. SIAM, Philadelphia, Pa, USA; 1990:xii+308.
Carl S: The sub- and supersolution method for variational-hemivariational inequalities. Nonlinear Analysis: Theory, Methods & Applications 2008,69(3):816–822. 10.1016/j.na.2008.02.046
Winkert P: Discontinuous variational-hemivariational inequalities involving the -Laplacian. Journal of Inequalities and Applications 2007, 2007:-11.
Carl S, Heikkilä S: Existence results for nonlocal and nonsmooth hemivariational inequalities. Journal of Inequalities and Applications 2006, 2006:-13.
Carl S: Existence and comparison results for noncoercive and nonmonotone multivalued elliptic problems. Nonlinear Analysis: Theory, Methods & Applications 2006,65(8):1532–1546. 10.1016/j.na.2005.10.028
Carl S: Existence and comparison results for variational-hemivariational inequalities. Journal of Inequalities and Applications 2005,2005(1):33–40. 10.1155/JIA.2005.33
Carl S, Le VK, Motreanu D: Nonsmooth Variational Problems and Their Inequalities. Comparison Principles and Applications, Springer Monographs in Mathematics. Springer, New York, NY, USA; 2007:xii+395.
Carl S, Motreanu D: General comparison principle for quasilinear elliptic inclusions. Nonlinear Analysis: Theory, Methods & Applications 2009,70(2):1105–1112. 10.1016/j.na.2008.01.038
Bonanno G, Candito P: On a class of nonlinear variational-hemivariational inequalities. Applicable Analysis 2004,83(12):1229–1244. 10.1080/00036810410001724607
Carl S, Le VK, Motreanu D: Existence and comparison principles for general quasilinear variational-hemivariational inequalities. Journal of Mathematical Analysis and Applications 2005,302(1):65–83. 10.1016/j.jmaa.2004.08.011
Carl S, Le VK, Motreanu D: Existence, comparison, and compactness results for quasilinear variational-hemivariational inequalities. International Journal of Mathematics and Mathematical Sciences 2005, (3):401–417.
Filippakis ME, Papageorgiou NS: Solvability of nonlinear variational-hemivariational inequalities. Journal of Mathematical Analysis and Applications 2005,311(1):162–181. 10.1016/j.jmaa.2005.02.029
Goeleven D, Motreanu D, Panagiotopoulos PD: Eigenvalue problems for variational-hemivariational inequalities at resonance. Nonlinear Analysis: Theory, Methods & Applications 1998,33(2):161–180. 10.1016/S0362-546X(97)00521-X
Kristály A, Varga C, Varga V: A nonsmooth principle of symmetric criticality and variational-hemivariational inequalities. Journal of Mathematical Analysis and Applications 2007,325(2):975–986. 10.1016/j.jmaa.2006.02.062
Lisei H, Varga C: Some applications to variational-hemivariational inequalities of the principle of symmetric criticality for Motreanu-Panagiotopoulos type functionals. Journal of Global Optimization 2006,36(2):283–305. 10.1007/s10898-006-9009-0
Marano SA, Papageorgiou NS: On some elliptic hemivariational and variational-hemivariational inequalities. Nonlinear Analysis: Theory, Methods & Applications 2005,62(4):757–774. 10.1016/j.na.2005.03.101
Barletta G: Existence results for semilinear elliptical hemivariational inequalities. Nonlinear Analysis: Theory, Methods & Applications 2008,68(8):2417–2430. 10.1016/j.na.2007.01.068
Carl S, Naniewicz Z: Vector quasi-hemivariational inequalities and discontinuous elliptic systems. Journal of Global Optimization 2006,34(4):609–634. 10.1007/s10898-005-1651-4
Denkowski Z, Gasiński L, Papageorgiou NS: Existence and multiplicity of solutions for semilinear hemivariational inequalities at resonance. Nonlinear Analysis: Theory, Methods & Applications 2007,66(6):1329–1340. 10.1016/j.na.2006.01.019
Filippakis M, Gasiński L, Papageorgiou NS: Multiple positive solutions for eigenvalue problems of hemivariational inequalities. Positivity 2006,10(3):491–515. 10.1007/s11117-005-0002-5
Filippakis ME, Papageorgiou NS: Existence of positive solutions for nonlinear noncoercive hemivariational inequalities. Canadian Mathematical Bulletin 2007,50(3):356–364. 10.4153/CMB-2007-034-6
Hu S, Papageorgiou NS: Neumann problems for nonlinear hemivariational inequalities. Mathematische Nachrichten 2007,280(3):290–301. 10.1002/mana.200410482
Kyritsi STh, Papageorgiou NS: Nonsmooth critical point theory on closed convex sets and nonlinear hemivariational inequalities. Nonlinear Analysis: Theory, Methods & Applications 2005,61(3):373–403. 10.1016/j.na.2004.12.001
Marano SA, Molica Bisci G, Motreanu D: Multiple solutions for a class of elliptic hemivariational inequalities. Journal of Mathematical Analysis and Applications 2008,337(1):85–97. 10.1016/j.jmaa.2007.03.077
Motreanu D, Motreanu VV, Papageorgiou NS: Positive solutions and multiple solutions at non-resonance, resonance and near resonance for hemivariational inequalities with -Laplacian. Transactions of the American Mathematical Society 2008,360(5):2527–2545.
Carl S, Motreanu D: Directness of solution set for some quasilinear multivalued parabolic problems. to appear in Applicable Analysis to appear in Applicable Analysis
Zeidler E: Nonlinear Functional Analysis and Its Applications. II/B: Nonlinear Monotone Operators. Springer, New York, NY, USA; 1990:i–xvi and 469–1202. translated from the German by the author and L. F. Boron translated from the German by the author and L. F. Boron
Naniewicz Z, Panagiotopoulos PD: Mathematical Theory of Hemivariational Inequalities and Applications, Monographs and Textbooks in Pure and Applied Mathematics. Volume 188. Marcel Dekker, New York, NY, USA; 1995:xviii+267.
Heinonen J, Kilpeläinen T, Martio O: Nonlinear Potential Theory of Degenerate Elliptic Equations. Dover, Mineola, NY, USA; 2006:xii+404. unabridged republication of the 1993 original unabridged republication of the 1993 original
Carl S, Heikkilä S: Nonlinear Differential Equations in Ordered Spaces, Chapman & Hall/CRC Monographs and Surveys in Pure and Applied Mathematics. Volume 111. Chapman & Hall/CRC, Boca Raton, Fla, USA; 2000:vi+323.
Appell J, Zabrejko PP: Nonlinear Superposition Operators, Cambridge Tracts in Mathematics. Volume 95. Cambridge University Press, Cambridge, UK; 1990:viii+311.
Carl S, Winkert P: General comparison principle for variational-hemivariational inequalities. preprint, 2009, http://www.mathematik.uni-halle.de/reports/sources/2009/09–02report.pdf