, u - v\rangle_{U\times U^*} \geq - m_3\|u-v\|_U^2$ for every $u, v\in V$ and $\xi\in \partial J(u), \eta\in \partial J(v)$ with $m_3 > 0$,

-   : either $H_{aux}$ A) holds or $m_1 \geq m_3 \|\iota\|_{\C{L}(V;U)}^2$.

**Remark 6.** The assumption $H(A)_1$ for the divergence differential Leray-Lions operator is guaranteed by appropriate Leray-Lions type conditions. For $H(A)_2$ to hold it suffices that the operator $A$ is of class $(S_+)$, by an argument analogous to Theorem 2(c) in [@Berkovits1996].

**Remark 7.** The relaxed monotonicity condition $H(J)_1$ (which is associated with the semiconvexity of the functional $J$) was already used to prove the uniqueness of solutions to the first order evolution parabolic hemivariational inequalities in [@Liu2005] and second order ones in [@Migorski2005].

**Remark 8.** Note that $H(A)_1$ allows the case $m_1=0$, but if the inequality in $H_{const}$ holds, then it must be $m_1>0$.

\[thm:unique\] Under assumptions $H(A)_1$, $H(J)_1$, $H_0$, $H(U)$, $H_{aux}$ and $H_{const}$, the solution to the problem (\[eq:inclusionmain\]) is unique.

Assume that $u_1, u_2$ are two distinct solutions to the problem (\[eq:inclusionmain\]). We have, for $v\in V$ and a.e. $t\in [0,T]$ $$\langle (u_1-u_2)'(t), v\rangle + \langle Au_1(t) - Au_2(t), v \rangle +
\langle\xi(t)-\eta(t),\iota v \rangle_{U\times U^*} = 0,$$ where $\xi(t)\in \partial J(\iota u_1(t))$ and $\eta(t)\in \partial J(\iota u_2(
, u - v\rangle_{U\times U^ * } \geq - m_3\|u - v\|_U^2 $ for every $ u, v\in V$ and $ \xi\in \partial J(u), \eta\in \partial J(v)$ with $ m_3 > 0 $, 

 -   : either $ H_{aux}$ A) holds or $ m_1 \geq m_3 \|\iota\|_{\C{L}(V;U)}^2$. 

 * * Remark 6. * * The premise $ H(A)_1 $ for the deviation differential Leray - Lions operator is guaranteed by appropriate Leray - Lions type condition. For $ H(A)_2 $ to hold it suffices that the hustler $ A$ is of class $ (S_+)$, by an argument analogous to Theorem 2(c) in [ @Berkovits1996 ]. 

 * * Remark 7. * * The relaxed monotonicity condition $ H(J)_1 $ (which is associate with the semiconvexity of the functional $ J$) was already used to raise the uniqueness of solutions to the beginning club evolution parabolic hemivariational inequality in [ @Liu2005 ] and second order one in [ @Migorski2005 ]. 

 * * Remark 8. * * notice that $ H(A)_1 $ allows the case $ m_1=0 $, but if the inequality in $ H_{const}$ holds, then it must be $ m_1>0$. 

 \[thm: unique\ ] Under assumption $ H(A)_1 $, $ H(J)_1 $, $ H_0 $, $ H(U)$, $ H_{aux}$ and $ H_{const}$, the solution to the problem (\[eq: inclusionmain\ ]) is unique. 

 bear that $ u_1, u_2 $ are two distinct solution to the problem (\[eq: inclusionmain\ ]). We have, for $ v\in V$ and a.e. $ t\in [ 0,T]$ $ $ \langle (u_1 - u_2)'(t), v\rangle + \langle Au_1(t) - Au_2(t), v \rangle + 
 \langle\xi(t)-\eta(t),\iota v \rangle_{U\times U^ * } = 0,$$ where $ \xi(t)\in \partial J(\iota u_1(t))$ and $ \eta(t)\in \partial J(\iota u_2 (
, u - v\rangle_{U\times U^*} \geq - m_3\|u-y\|_U^2$ for every $u, v\nb V$ anv $\xi\in \lartial G(u), \eta\in \partial J(v)$ with $m_3 > 0$,

-   : eityer $H_{aux}$ A) holds or $m_1 \eeq m_3 \|\iotw\|_{\C{L}(V;U)}^2$.

**Remqrk 6.** Rhe assumpvjon $H(A)_1$ njr tgc divzrjence differentlal Leray-Limns operator iv eucranteed by appropriate Leray-Lions trpe concihions. For $H(A)_2$ tj hokq it suffices that the operator $A$ is or class $(S_+)$, by an argukent analogous to Theorem 2(f) in [@Berkovits1996].

**Remark 7.** Hhe relaxed monjronicity conaition $H(J)_1$ (which is asskciated with the semiconvexity uf thz functionao $H$) wwv already uwed tj prove the mmiquenass of xolutions to tme ficst irder evolution parabmlic hemivariationwl inequanicies in [@Liu2005] and secone irder onev in [@Nigursii2005].

**Cemzrk 8.** Nlte that $H(A)_1$ amlows the cqse $m_1=0$, but if the intquwoity in $H_{consf}$ holdf, ehen it must be $m_1>0$.

\[thm:unique\] Under assumpuions $H(A)_1$, $H(J)_1$, $H_0$, $H(U)$, $H_{aux}$ and $H_{cinst}$, the solution to jhe problei (\[eq:inclusionmain\]) is unique.

Assume that $u_1, u_2$ are twm disvivct sjuytlons to the problem (\[eq:inclusionmain\]). We have, fjd $f\ik V$ and a.e. $t\in [0,T]$ $$\langle (u_1-u_2)'(t), v\gamdle + \langle Ao_1(t) - Au_2(t), v \dangle +
\langle\xi(t)-\etw(t),\iota d \rantle_{U\times U^*} = 0,$$ where $\xi(t)\in \partial J(\iota y_1(t))$ and $\eta(t)\iu \pqrtial J(\iota u_2(
, u - v\rangle_{U\times U^*} \geq - every v\in V$ $\xi\in \partial J(u), > - : either A) holds or \geq m_3 \|\iota\|_{\C{L}(V;U)}^2$. **Remark 6.** The $H(A)_1$ for the divergence differential Leray-Lions operator is guaranteed by appropriate Leray-Lions type For $H(A)_2$ to hold it suffices that the operator $A$ is of class by argument to 2(c) in [@Berkovits1996]. **Remark 7.** The relaxed monotonicity condition $H(J)_1$ (which is associated with the semiconvexity the functional $J$) was already used to prove uniqueness of solutions to first order evolution parabolic hemivariational in and second ones [@Migorski2005]. 8.** Note that allows the case $m_1=0$, but if the inequality in $H_{const}$ holds, then it must be $m_1>0$. \[thm:unique\] assumptions $H(A)_1$, $H(U)$, $H_{aux}$ $H_{const}$, solution the problem (\[eq:inclusionmain\]) Assume that $u_1, u_2$ are two the problem (\[eq:inclusionmain\]). We have, for $v\in V$ a.e. $t\in $$\langle (u_1-u_2)'(t), v\rangle + \langle Au_1(t) Au_2(t), v \rangle + \langle\xi(t)-\eta(t),\iota v \rangle_{U\times U^*} 0,$$ where $\xi(t)\in \partial J(\iota u_1(t))$ and $\eta(t)\in \partial J(\iota u_2(
, u - v\rangle_{U\times U^*} \geq - m_3\|u-v\|_U^2$ for Every $u, v\in V$ And $\xi\In \pArtIaL J(u), \eTa\in \Partial J(v)$ with $m_3 > 0$,

-   : EItheR $H_{aux}$ A) holds or $m_1 \geq m_3 \|\iota\|_{\c{L}(V;U)}^2$.

**REmARk 6.** ThE AsSumptIon $H(A)_1$ foR ThE DIveRgEnCe dIfFErEntiaL LeRay-LionS operator iS guArAnteed by apprOPrIate Leray-LIonS type conditiOns. for $H(A)_2$ tO hOld IT suffIceS that The opeRAtor $A$ iS of class $(S_+)$, By AN argumENt analoGOUs To ThEorem 2(c) in [@Berkovits1996].

**rEmARk 7.** The relaxed moNotoniCiTY cONDitIon $h(J)_1$ (which is aSsOciatED with thE SeMICOnvEXity of the funcTional $J$) was aLReaDy used To ProVE the unIquenEsS Of sOlutions to tHe fiRst order eVolutiON paraboLIc hemivAriatiOnaL inEquaLItIeS in [@liU2005] And SEcOnd ORdeR ones in [@MIgOrSki2005].

**ReMark 8.** nOTE That $h(A)_1$ aLlowS the cAse $m_1=0$, but if the iNeqUaliTY in $h_{consT}$ holdS, theN iT must Be $m_1>0$.

\[thm:UniquE\] UNder assumptions $h(A)_1$, $H(J)_1$, $h_0$, $H(U)$, $H_{aux}$ anD $H_{cOnSt}$, tHe SolutIOn to thE prOblEm (\[eq:incLusionmAIn\]) iS uNIQUe.

assume that $u_1, u_2$ are two DiSTInCt solutiOns to tHE pRoBLem (\[eq:incLuSioNmaiN\]). wE have, For $v\IN V$ And a.e. $t\in [0,t]$ $$\langlE (U_1-u_2)'(T), v\Rangle + \lAnGle Au_1(t) - au_2(T), v \rAngLe +
\lanGLe\xi(T)-\eta(t),\iOta v \rangLe_{U\tiMEs U^*} = 0,$$ where $\xi(t)\in \pARtial J(\iota u_1(t))$ aND $\eTA(T)\iN \PartIal j(\iota u_2(
, u - v\rangle_{U\times U^ *} \geq -m_3\| u-v \|_ U^ 2$ f or e very $u, v\inV $ an d $\xi\in \partial J(u ), \e ta \ in \ p ar tialJ(v)$ w i th $ m_3  >  0 $,
-  : eit her  $H_{au x}$ A) hol dsor  $m_1 \geq m _ 3\|\iota\|_ {\C {L}(V;U)}^2$ .
**Rema rk  6. * * The  as sumpt ion $H ( A)_1$for the d iv e rgence differe n t ia l Le ray-Lions operato r  i s  guaranteed by  appro pr i at e Ler ay- Lions type  c ondit i ons. Fo r  $ H ( A )_2 $  to hold it s uffices tha t  th e oper at or$ A$ isof cl as s  $( S_+)$, by a n ar gument an alogou s  to The o rem 2(c ) in [ @Be rko vits 1 99 6] .
** R ema r k7.* *  Th e relaxe dmo noton icit y c o ndit ion  $H( J)_1$  (which is as soc iate d  wi th th e sem icon ve xityof the  func ti onal $J$) was a lrea dy used t o p ro veth e uni q ueness  of  so lutions  to the fir st o r de r evolution parabo li c he mivariat ionali ne qu a lities i n[@L iu20 0 5 ] and  sec o nd  order o nes in [@ Mi gorski2 00 5].

* *R ema rk8.**N otethat $ H(A)_1$allow s  the case $m_1 = 0$, but if th e  i n e qu a lity  in  $H_{const} $ ho l ds,then it  mu s t be$m_1> 0$ . 
\ [thm:unique\] Under  a ssumpt ions$H(A)_1$, $H( J)_1$, $H_ 0 $ ,  $H(U)$,  $H_ { au x }$ and $H_{con st}$,  the solut i on to th e pro blem (\[ eq:inclus i o nmain\])  is  un iqu e.A ss ume that $u_1 , u_2$  a re twodis tinct s olu tio nstoth e problem  (\[eq:i nc lu si on mai n\]). We have,  f or$v \in  V$ a n d a.e.  $t\i n [0 ,T ]$ $$\ langle( u_ 1 - u_2) '( t) , v\ ran gl e + \ lang l e A u_1(t)- Au_2(t) , v \ran gl e+
\lang le\xi(t)-\eta (t ),\iota v\r ang le_{U\ t i mes U^*}  = 0,$$ where $\xi(t)\i n  \parti alJ(\io ta u _1(t))$ a nd$\eta( t)\ i n \par tial J (\iot au_2 ( 
, u_- v\rangle_{U\times_U^*} \geq - m_3\|u-v\|_U^2$_for every_$u,_v\in V$_and_$\xi\in \partial J(u),_\eta\in \partial J(v)$_with $m_3 > 0$,

-_  :_either_$H_{aux}$ A) holds or $m_1 \geq m_3 \|\iota\|_{\C{L}(V;U)}^2$.

**Remark 6.** The assumption $H(A)_1$ for the_divergence_differential Leray-Lions_operator_is_guaranteed by appropriate Leray-Lions type_conditions. For $H(A)_2$ to hold_it suffices_that the operator $A$ is of class $(S_+)$,_by_an argument analogous_to Theorem 2(c) in [@Berkovits1996].

**Remark 7.** The relaxed monotonicity_condition $H(J)_1$ (which is associated with_the semiconvexity of_the_functional_$J$) was already used_to prove the uniqueness of solutions_to the first order evolution parabolic_hemivariational inequalities in [@Liu2005] and second order_ones in [@Migorski2005].

**Remark 8.** Note that_$H(A)_1$ allows the case $m_1=0$,_but if_the inequality in $H_{const}$ holds,_then it must_be $m_1>0$.

\[thm:unique\]_Under assumptions $H(A)_1$,_$H(J)_1$, $H_0$, $H(U)$, $H_{aux}$ and $H_{const}$,_the solution to_the problem (\[eq:inclusionmain\]) is unique.

Assume that_$u_1,_u_2$ are two_distinct_solutions_to the_problem (\[eq:inclusionmain\]). We_have,_for $v\in_V$_and a.e. $t\in [0,T]$ $$\langle (u_1-u_2)'(t),_v\rangle_+ \langle Au_1(t) - Au_2(t), v \rangle_+
\langle\xi(t)-\eta(t),\iota v \rangle_{U\times U^*}_=_0,$$ where $\xi(t)\in \partial_J(\iota u_1(t))$ and $\eta(t)\in \partial_J(\iota u_2(