arxiv: v2 [math.ap] 3 Nov 2014

Transcription

1 arxiv: v2 [math.ap] 3 Nov 204 Existence result for differential inclusion with p(x)-laplacian Sylwia Barnaś Sylwia.Barnas@im.uj.edu.pl Cracow University of Technology Institute of Mathematics ul. Warszawska 24, 3-55 Kraków, Poland Jagiellonian University Department of Mathematics and Computer Science ul. Lojasiewicza 6, Kraków, Poland March 30, 208 Keywords: p(x)-laplacian, Palais-Smale condition, mountain pass theorem, variable exponent Sobolev space. Abstract: In this paper we study the nonlinear elliptic problem with p(x)- Laplacian (hemivariational inequality). We prove the existence of a nontrivial solution. Our approach is based on critical point theory for locally Lipschitz functionals due to Chang [4]. Introduction Let R N be a bounded domain with a C 2 -boundary and N > 2. In this paper we consider a differential inclusion in involving a p(x)-laplacian of the type { p(x) u λ u(x) p(x) 2 u(x) j(x,u(x)) in, (P) u = 0 on, where p : R is a continuous function satisfying and < p := inf p(x) p(x) x p+ := supp(x) < N < x p + p := Np N p.

2 Existence result for differential inclusion with p(x)-laplacian 2 A functional j(x,t) is a measurable in the first variable and locally Lipschitz in the second variable. By j(x,t) we denote the subdifferential of j(x, ) in the sense of Clarke [5]. The operator p(x) u := div ( u(x) p(x) 2 u(x) ) is the so-called p(x)-laplacian, which becomes p-laplacian when p(x) p. Problems with p(x)-laplacian are more complicated than with p-laplacian, in particular, they are inhomogeneous and possesses more nonlinearity. In our problem (P) a parametr λ appears, for which we will assume that λ < p p + λ, where λ is defined by λ = inf u W,p(x) 0 ()\{0} u(x) p(x) dx u(x) p(x) dx. It may happen that λ = 0 (see Fan-Zhang-Zhao [9]). More recently, the existence of solutions for variable exponent differential inclusions with different boundary value conditions have been widely investigated by many authors, which are usually reduced to the solutions of Dirichlet and Neumann type problems. For instance, we have papers where hemivariational inequalities involving p(x)-laplacian are studied. In Ge-Xue [6] and Qian-Shen [24], differential inclusions involving p(x)-laplacian and Clarke subdifferential with Dirichlet boundary condition is considered. In the last paper the existence of two solutions of constant sign is proved. Hemivariational inequalities with Neumann boundary condition were studied in Qian-Shen-Yang [25] and Dai [7]. In Qian-Shen-Yang [25], the inclusions involve a weighted function which is indefinite. In Dai [7], the existence of infinitely many nonnegative solutions is proved. All the above mentioned papers deal with the so-called hemivariational inequalities, i.e. the multivalued part is provided by the Clarke subdifferential of the nonsmooth potential (see e.g. Naniewicz-Panagiotopoulos [23]). Our starting point for considering problems with p(x)-laplacian were the papers of Gasiński-Papageorgiou [3, 4, 5] and Kourogenic-Papageorgiou [8], where the authors deal with the constantexponent problems i.e. when p(x) = p. Moreover, the similar kind of problems were considered in D Aguì - Bisci [6] and Marano - Bisci - Motreanu [20]. In the first of this paper, the authors deal with a perturbed eigenvalue Dirichlet-type problem for an elliptic hemivariational inequality involving the p-laplacian. In the last paper, the existence of multiple solutions is investigated by the use of classical techniques due to Struwe and a recent saddle point theorem for locally Lipschitz continuous functionals. In a recent paper (see Barnaś [2]), we examined nonlinear hemivariational inequality with p(x)-laplacian. We proved an existence theorem under the assumptions that the Clarke subdifferential of the generalized potential is bounded. In the present paper, this hypothesis is more general and we assume the so-called

3 Existence result for differential inclusion with p(x)-laplacian 3 sub-critical growth condition. Moreover, we also take more general assumption about behaviour in the neighbourhood of 0. The techniques of this paper differ from these used in the above mentioned paper. Our method is more direct and general. Hemivariational inequalities arise in physical problems when we deal with nonconvex nonsmooth energy functionals. Such functions appear quite often in mechanics and engineering. For instance, we have a lot of applications to modelling electrorheological fluids (see Ružička [27]) and image restoration. 2 Mathematical preliminaries Let X be a Banach space and X its topological dual. By we will denote the norm in X and by, the duality brackets for the pair (X,X ). In analogy with the directional derivative of a convex function, we define the generalized directional derivative of a locally Lipschitz function f at x X in the direction h X by f 0 (x;h) = limsup x 0,λ 0 f(x+x +λh) f(x+x ). λ The function h f 0 (x,h) R is sublinear, continuous so it is the support function of a nonempty, convex and w -compact set f(x) = {x X : x,h f 0 (x,h) for all h X}. The set f(x) is known as generalized or Clarke subdifferential of f at x. If f is strictly differentiable at x (in particular if f is continuously Gâteaux differentiable at x), then f(x) = {f (x)}. Let f : X R be a locally Lipschitz function. From convex analysis it is well know that a proper, convex and lower semicontinuous function g : X R = R {+ } is locally Lipschitz in the interior of its effective domain domg = {x X : g(x) < }. A point x X is said to be a critical point of the locally Lipschitz function f : X R, if 0 f(x). If x X is local minimum or local maksimum of f, then x is critical point, and moreover this time the value c = f(x) is called a critical value of f. From more details on the generalized subdifferential we refer to Clarke [5], Gasiński-Papageorgiou [4], Motreanu-Panagiotopoulos [2] and Motreanu-Radulescu [22]. The critical point theory for smooth functions uses a compactness type condition known as the Palais-Smale condition. In our nonsmooth setting, the condition takes the following form. We say that locally Lipschitz function f : X R satisfies the nonsmooth Palais-Smale condition (nonsmooth PS-condition for short), if any sequence {x n } n X such that {f(x n )} n is bounded and m(x n ) = min{ x : x f(x n )} 0 as n, has a strongly convergent subsequence.

4 Existence result for differential inclusion with p(x)-laplacian 4 The first theorem is due to Chang [4] and extends to a nonsmooth setting the well known mountain pass theorem due to Ambrosetti -Rabinowitz [] (see also Radulescu [26]). Theorem 2.. If X is a reflexive Banach space, R : X R is a locally Lipschitz functional satisfying PS-condition and for some ρ > 0 and y X such that y > ρ, we have max{r(0),r(y)} < inf {R(x)} =: η, x =ρ then R has a nontrivial critical point x X such that the critical value c = R(x) η is characterized by the following minimax principle c = inf γ Γ max 0 τ {R(γ(τ))}, where Γ = {γ C([0,],X) : γ(0) = 0,γ() = y}. Inordertodiscussproblem(P),weneedsometheoriesonthespacesL p(x) () and W,p(x) (), which we call generalized Lebesgue-Sobolev spaces (see Fan- Zhao [0, ] and Kováčik-Rákosnik [9]). By S() we denote the set of all measurable real-valued function defined on R N. We define L p(x) () = {u S() : u(x) p(x) dx < }. We furnish L p(x) () with the following norm (known as the Luxemburg norm) { u p(x) = u L p(x) () = inf λ > 0 : u(x) p(x) } dx. λ Also we introduce the variable exponent Sobolev space and we equip it with the norm W,p(x) () = {u L p(x) () : u L p(x) ()}, u = u W,p(x) () = u p(x) + u p(x). By W,p(x) 0 () we denote the closure of C 0 () in W,p(x) (). Lemma 2.2 (Fan-Zhao [0]). If R N is an open domain, then (a) the spaces L p(x) (), W,p(x) () and W,p(x) 0 () are separable and reflexive Banach spaces; (b) the space L p(x) () is uniformly convex; (c) if q(x) C() and q(x) p (x) (respectively q(x) < p (x)) for any x, where { Np(x) p (x) = N p(x) p(x) < N p(x) N,

5 Existence result for differential inclusion with p(x)-laplacian 5 then W,p(x) () is embedded continuously (respectively compactly) in L q(x) (); (d) Poincaré inequality in W,p(x) 0 () holds i.e., there exists a positive constant c such that u p(x) c u p(x) for all u W,p(x) 0 (); (e) (L p(x) ()) = L p (x) (), where p(x) + p (x) = and for all u Lp(x) () and v L p (x) (), we have ( uv dx p + ) p u p(x) v p (x). Lemma 2.3 (Fan-Zhao [0]). Let ϕ(u) = u(x) p(x) dx for u L p(x) () and let {u n } n L p(x) (). (a) for u 0, we have (b) we have u p(x) = a ϕ( u a ) = ; u p(x) < (respectively =,> ) ϕ(u) < (respectively =,> ); (c) if u p(x) >, then (d) if u p(x) <, then (e) we have u p p(x) ϕ(u) u p+ p(x) ; u p+ p(x) ϕ(u) u p p(x) ; (f) we have lim u n p(x) = 0 lim ϕ(u n) = 0; n n lim u n p(x) = lim ϕ(u n) =. n n Similarly to Lemma 2.3, we have the following result. Lemma 2.4 (Fan-Zhao [0]). Let Φ(u) = ( u(x) p(x) + u(x) p(x) )dx for u W,p(x) () and let {u n } n W,p(x) (). Then (a) for u 0, we have (b) we have u = a Φ( u a ) = ; u < (respectively =,> ) Φ(u) < (respectively =,> ); (c) if u >, then

6 Existence result for differential inclusion with p(x)-laplacian 6 u p Φ(u) u p+ ; (d) if u <, then u p+ Φ(u) u p ; (e) we have (f) we have lim u n = 0 lim Φ(u n) = 0; n n lim u n = lim Φ(u n) =. n n Consider the following function J(u) = p(x) u p(x) dx, for all u W,p(x) 0 (). We know that J C (W,p(x) 0 ()) and operator div( u p(x) 2 u), is the derivative operator of J in the weak sense (see Chang [3]). We denote then A = J : W,p(x) 0 () (W,p(x) 0 ()), Au,v = for all u,v W,p(x) 0 (). u(x) p(x) 2 ( u(x), v(x))dx, (2.) Lemma 2.5 (Fan-Zhang [8]). If A is the operator defined above, then A is a continuous, bounded, strictly monotone and maximal monotone operator of type (S + ) i.e., if u n u weak in W,p(x) 0 () and limsup Au n,u n u 0, implies that u n u in W,p(x) 0 (). 3 Existence of Solutions n We start by introducing our hypotheses on the function j(x, t). H(j) j : R R is a function such that j(x,0) = 0 on and (i) for all x R, the function x j(x,t) R is measurable; (ii) for almost all x, the function t j(x,t) R is locally Lipschitz; (iii)foralmostallx andallv j(x,t), wehave v a(x)+c t r(x) with a L +(),c > 0and r C(), suchthat p + r + := max r(x) < x p := Np N p ; (iv) we have uniformly for almost all x ; lim sup t j(x, t) < 0, t p(x)

7 Existence result for differential inclusion with p(x)-laplacian 7 (v) there exists µ > 0, such that lim sup t 0 j(x, t) µ, t p(x) uniformly for almost all x ; (vi) there exists u W,p(x) 0 ()\{0}, such that p where λ := max{0, λ}. u(x) p(x) dx+ λ p u(x) p(x) dx j(x, u(x))dx, Remark 3.. Hypothesis H(j)(vi) can be replaced by (vi ) there exists u W,p(x) 0 ()\{0}, such that c u p+ j(x,u(x))dx, if u, or c u p j(x,u(x))dx, if u <, where c := max{ p, λ p }. We introduce locally Lipschitz functional R : W,p(x) 0 () R defined by R(u) = for all u W,p(x) 0 (). p(x) u(x) p(x) dx λ p(x) u(x) p(x) dx j(x, u(x))dx, Remark 3.2. The existence of nontrival solution for problem (P) was also considered in paper Barnaś [2]. In contrast to the last paper, instead of linear growth in H(j)(iii) we assume the so-called sub-critical growth condition. Moreover, condition H(j)(v) is more general. Lemma 3.3. If hypotheses H(j) hold and λ (, p p + λ ), then R satisfies the nonsmooth PS-condition. Proof. Let{u n } n W,p(x) 0 ()beasequencesuchthat{r(u n )} n isbounded andm(u n ) 0asn.Wewillshowthat{u n } n W,p(x) 0 () is bounded. Because R(u n ) M for all n, we have p(x) u n(x) p(x) dx So we obtain p + u n(x) p(x) dx λ p(x) u n(x) p(x) dx j(x,u n (x))dx M. (3.) λ + p u n(x) p(x) dx j(x,u n (x))dx M, (3.2)

8 Existence result for differential inclusion with p(x)-laplacian 8 where λ + := max{λ,0}. From the definition of λ, we have λ u n (x) p(x) dx for all n. Using (3.3) in (3.2), we get ( λ p + λ + p ) u n (x) p(x) dx By virtue of hypotheses H(j)(iv), we know that lim sup t u n (x) p(x) dx, (3.3) j(x, t) < 0, t p(x) j(x,u n (x))dx M. (3.4) uniformly for almost all x. So we can find L > 0, such that for almost all x, all t such that t L, we have It immediately follows that j(x, t) < c < 0. (3.5) t p(x) j(x,t) c t p(x) for all t such that t L. Ontheotherhand,fromtheLebourgmeanvaluetheorem(seeClarke[5]), for almost al x and all t R, we can find v(x) j(x,ku(x)) with 0 < k <, such that j(x,t) j(x,0) v(x) t. So from hypothesis H(j)(iii), for almost all x j(x,t) a(x) t +c t r(x) a(x) t +c t r+ +c 2, (3.6) for some c,c 2 > 0. Then for almost all x and all t such that t < L, from (3.6) it follows that j(x,t) c 3, (3.7) for some c 3 > 0. Therefore, it follows that for almost all x and all t R, we have j(x,t) c t p(x) +β, (3.8) where β > 0. We use (3.8) in (3.4) and obtain ( λ p + λ + p ) u n (x) p(x) dx M (c u n (x) p(x) β)dx,

9 Existence result for differential inclusion with p(x)-laplacian 9 for all n, which leads to ( λ p + λ + p ) +c u n (x) p(x) dx M n, (3.9) for some c,m > 0. We know that λ p + λ+ p +c > 0, so (see Lemmata 2.3 (c) and (d)). the sequence {u n } n L p(x) () is bounded (3.0) Now, let us consider two cases. Case. Suppose that λ 0. In this case, from (3.2), we get p + u n p(x) dx j(x,u n (x))dx M. Using (3.8) and fact that {u n } n L p(x) () is bounded, we obtain p + u n p(x) dx M 2, for some M 2 > 0. So, we have that the sequence { u n } n L p(x) (;R N ) is bounded (3.) (see Lemmata 2.4 (c) and (d)). Case 2. Suppose that λ > 0. Similar to the first part of our proof, by using again (3.3) in (3.2) in another way, we obtain ( p + λ + λ p ) u n p(x) dx j(x,u n (x))dx M. In a similar way, from (3.8) and fact that {u n } n L p(x) () is bounded, we obtain ( p + λ + λ p ) +c u n p(x) dx M 3, for some M 3,c > 0. From fact that p + λ+ λ p > 0, we have that the sequence { u n } n L p(x) (;R N ) is bounded. (3.2)

10 Existence result for differential inclusion with p(x)-laplacian 0 From (3.0), (3.) and (3.2), we have that (see Lemmata 2.4 (c) and (d)). the sequence {u n } n W,p(x) 0 () is bounded (3.3) Hence, by passing to a subsequence if necessary, we may assume that u n u, weakly in W,p(x) 0 (), u n u, in L r(x) (), (3.4) for any r C(), with r + = max r(x) < x p := Np N p. Since R(u n ) (W,p(x) 0 ()) is weakly compact, nonempty and the norm functional is weakly lower semicontinuous in a Banach space, then we can find u n R(u n) such that u n = m(u n ), for n. Consider the operator A : W,p(x) 0 () (W,p(x) 0 ()) defined by (2.). Then, for every n, we have u n = Au n λ u n p(x) 2 u n v n, (3.5) where vn ψ(u n ) L p (x) (), for n, with p(x) + p (x) =. ψ : W,p(x) 0 () R is defined by ψ(u n ) = j(x,u n (x))dx. We know that, if vn ψ(u n ), then vn(x) j(x,u n (x)) (see Clarke [5]). From the choice of the sequence {u n } n W,p(x) 0 (), at least for a subsequence, we have u n,w ε n for all w W,p(x) 0 (), (3.6) with ε n ց 0. Putting w = u n u in (3.6) and using (3.5), we obtain Au n,u n u λ u n (x) p(x) 2 u n (x)(u n u)(x)dx vn(x)(u n u)(x)dx ε n, with ε n ց 0. Using Lemma 2.2(e), we see that λ u n (x) p(x) 2 u n (x)(u n u)(x)dx ( λ p + ) p u n p(x) p (x) u n u p(x), (3.7) where p(x) + p (x) =. We know that {u n } n L p(x) () is bounded, so using (3.4), we conclude that λ u n (x) p(x) 2 u n (x)(u n u)(x)dx 0 as n

11 Existence result for differential inclusion with p(x)-laplacian and v n (x)(u n u)(x)dx 0 as n. If we pass to the limit as n in (3.7), we have lim sup Au n,u n u 0. (3.8) n So from Lemma 2.5, we have that u n u in W,p(x) 0 () as n. Thus R satisfies the PS-condition. Lemma 3.4. If hypotheses H(j) hold and λ < p p + λ, then there exist β,β 2 > 0 such that for all u W,p(x) 0 () with u <, we have with p + < θ p := Np N p. R(u) β u p+ β 2 u θ, Proof. From hyphothesis H(j)(v), we can find δ > 0, such that for almost all x and all t such that t δ, we have j(x,t) µ 2 t p(x). Onthe otherhand, fromhypothesish(j)(iii), weknowthat foralmostallx and all t such that t > δ, we have j(x,t) a t +c t r(x), for some a,c > 0. Thus for almost all x and all t R we have for some γ > 0 and p + < θ < p. Let us consider two cases. j(x,t) µ 2 t p(x) +γ t θ, (3.9) Case. Suppose that λ 0. By using (3.9), we obtain that λ R(u) = p(x) u(x) p(x) dx p(x) u(x) p(x) dx j(x, u(x))dx µ p + u(x) p(x) dx+ 2 u(x) p(x) dx γ u(x) θ dx. So, we have [ R(u) β u(x) p(x) dx+ ] u(x) p(x) dx γ u θ θ,

12 Existence result for differential inclusion with p(x)-laplacian 2 where β := min{ p +, µ 2 }. Case 2. Suppose that λ (0, p p + λ ). By using (3.9) and the Rayleigh quotient, we obtain that λ R(u) = p(x) u(x) p(x) dx p(x) u(x) p(x) dx j(x, u(x))dx λ p + u(x) p(x) dx p u(x) p(x) dx µ + 2 u(x) p(x) dx γ u(x) θ dx p + u(x) p(x) dx+ µ u(x) p(x) dx 2 λ λ p u(x) p(x) dx γ u θ θ ( = p + λ λ p ) u(x) p(x) dx+ µ u(x) p(x) dx γ u θ θ 2. In our case, we have so p + λ λ p > 0, [ R(u) β u(x) p(x) dx+ ] u(x) p(x) dx γ u θ θ, where β := min{ p λ + λ p, µ 2 }. As θ p (x) = Np(x) N p(x), then W,p(x) 0 () is embedded continuously in L θ () (see Lemma 2.2(c)). So there exists c > 0 such that u θ c u for all u W,p(x) 0 (). (3.20) Using (3.20) and Lemma 2.4(d), for all u W,p(x) 0 () with u <, we have where β 2 = γc θ. R(u) β u p+ β 2 u θ, Using Lemmata 3.3 and 3.4, we can prove the following existence theorem for problem (P). Theorem 3.5. If hypotheses H(j) hold and λ < p p + λ, then problem (P) has a nontrival solution. Proof. From Lemma 3.4 we know that there exist β,β 2 > 0, such that for all u W,p(x) 0 () with u <, we have R(u) β u p+ β 2 u θ = β u p+( β ) 2 u θ p +. β

13 Existence result for differential inclusion with p(x)-laplacian 3 Since p + < θ, if we choose ρ > 0 small enough, we will have that R(u) L > 0, for all u W,p(x) 0 (), with u = ρ and some L > 0. Now, let u W,p(x) 0 (). We have R(u) = p p(x) u(x) p(x) dx u(x) p(x) dx+ λ p λ p(x) u(x) p(x) dx j(x, u(x))dx u(x) p(x) dx j(x, u(x))dx, where λ := max{0, λ}. From hyphothesis H(j)(v), we get R(u) 0. This permits the use of Theorem 2. which gives us u W,p(x) 0 () such that R(u) > 0 = R(0) and 0 R(u). From the last inclusion we obtain where v ψ(u). Hence 0 = Au λ u p(x) 2 u v, Au = λ u p(x) 2 u+v, so for all v C0 (), we have Au,v = λ u p(x) 2 u,v + v,v. So we have u(x) p(x) 2 ( u(x), v(x)) R Ndx = λ u(x) p(x) 2 u(x)v(x)dx+ v (x)v(x)dx, for all v C0 (). From the definition of the distributional derivative we have { ( div u(x) p(x) 2 u(x) ) = λ u(x) p(x) 2 u(x)+v(x) in, u = 0 on, so { p(x) u λ u(x) p(x) 2 u(x) j(x,u(x)) in, u = 0 on. Therefore u W,p(x) 0 () is a nontrivial solution of (P). (3.2) (3.22) Remark 3.6. A nonsmooth potential satisfying hypothesis H(j) is for example the one given by the following function: µ t p(x) if t, j(x,t) = (µ+σ 2 p(x) ) t 2µ σ + 2 p(x) if < t 2, σ t p(x) if t > 2, with µ,σ > 0 and continuous function p : R which satisfies < p p(x) p + < N < and p + p.

14 Existence result for differential inclusion with p(x)-laplacian 4 References [] A.Ambrosetti, P.H.Rabinowitz, Dual variational methods in critical point theory and applications, J. Funct. Anal. 4 (973), [2] S.Barnaś, Existence result for hemivariational inequality involving p(x)- Laplacian, Opuscula Mathematica 32 (202), [3] K.C.Chang, Critical Point Theory and Applications, Shanghai Scientific and Technology Press, Shanghai, 996. [4] K.C.Chang, Variational methods for nondifferentiable functionals and their applications to partial differential equations, J. Math. Anal. Appl. 80(98), [5] F.H.Clarke, Optimization and Nonsmooth Analysis, Wiley, New York,993. [6] G.D Aguì, G.M.Bisci, Infinitely many solutions for perturbed hemivariational inequalities, Bound. Value Probl. (200), -5. [7] G.Dai, Infinitely many solutions for a hemivariational inequality involving the p(x)-laplacian, Nonlinear Anal. 7 (2009), [8] X.L.Fan, Q.H.Zhang, Existence of solutions for p(x)-laplacian Dirichlet problem, Nonlinear Anal. 52 (2003), [9] X.L.Fan, Q.H.Zhang, D.Zhao Eigenvalues of p(x)-laplacian Dirichlet problem, J. Math. Anal. Appl. 302 (2005), [0] X.L.Fan, D.Zhao, On the generalized Orlicz - Sobolev space W k,p(x) (), J. Gansu Educ. College 2 () (998), -6. [] X.Fan, D.Zhao, On the spaces L p(x) () and W m,p(x) (), J. Math. Anal. Appl. 263 (200), [2] L.Gasiński, Existence and multiplicity results for quasilinear hemivariational inequalities at resonance, Mathematische Nachrichten 28:2 (2008), [3] L.Gasiński, N.S.Papageorgiou, Solutions and multiple solutions for quasilinear hemivariational inequalities at resonance, Proc. Roy. Soc. Edinb. 3A:5 (200), 09-. [4] L.Gasiński, N.S.Papageorgiou, Nonlinear Analysis: Volume 9, Series in Mathematical Analysis and Applications (2005). [5] L.Gasiński, N.S.Papageorgiou, Anisotropic nonlinear Neumann problems, Calculus of Variations and Partial Differential Equations 42 (20), [6] B.Ge, X.Xue, Multiple solutions for inequality Dirichlet problems by the p(x)-laplacian, Nonlinear Anal. (200),

15 Existence result for differential inclusion with p(x)-laplacian 5 [7] S.Hu, N.S.Papageorgiou, Handbook of multivalued analysis. Volume : Theory, Kluver, Dordrecht, The Netherlands (997). [8] N.Kourogenic, N.S.Papageorgiou, Nonsmooth critical point theory and nonlinear elliptic equations at resonance, J. Aust. Math. Soc. 69 (2000), [9] O.Kováčik, J.Rákosnik, On Spaces L p(x) and W,p(x), Czechoslovak Math. J. 4 (99), [20] S.A.Marano, G.M.Bisci, D.Motreanu, Multiple solutions for a class of elliptic hemivariational inequalities, J. Math. Anal. Appl. 337 (2008), [2] D.Motreanu, P.D.Panagiotopoulos, Minimax theorems and qualitative properties of the solutions of hemivariational inequalities: Volume 29, Nonconvex Optimization and its Applications, Kluwer Academic Publishers, Dordrecht, 999. [22] D.Motreanu, V.Radulescu, Variational and nonvariational methods in nonlinear analysis and boundary value problems: Volume 67, Nonconvex Optimization and its Applications, Kluwer Academic Publishers, Dordrecht, [23] Z.Naniewicz, P.D.Panagiotopoulos, Mathematical theory of hemivariational inequalities and applications, Marcel-Dekker, New York (995). [24] Ch.Qian, Z.Zhen, Existence and multiplicity of solutions for p(x)-laplacian equation with nonsmooth potential, Nonlinear Anal. (200), [25] Ch.Qian, Z.Shen, M.Yang, Existence of solutions for p(x)-laplacian nonhomogeneous Neumann problems with indefinite weight, Nonlinear Anal. (200), [26] V.Radulescu, Mountain pass type theorems for non-differentiable functions and applications, Proc. Japan Acad. 69A (993), [27] M. Ružička, Electrorheological Fluids: Modelling and Mathematical Theory, Springer-Verlag, Berlin (2000).