We prove existence and comparison results for multi-valued variational inequalities in a bounded domain Omega\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega $$\end{document} of the form u is an element of K:0 is an element of Au+partial derivative IK(u)+F(u)+F Gamma(u)inW1,H(Omega)& lowast;,\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} u\in K{:}\, 0 \in Au+\partial I_K(u)+{\mathcal {F}}(u)+{\mathcal {F}}_\Gamma (u)\quad \text {in }W<^>{1, {\mathcal {H}}}(\Omega )<^>*, \end{aligned}$$\end{document}where A:W1,H(Omega)-> W1,H(Omega)& lowast;\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A{:}\,W<^>{1, {\mathcal {H}}}(\Omega ) \rightarrow W<^>{1, {\mathcal {H}}}(\Omega )<^>*$$\end{document} given by Au:=-div|del u|p(x)-2 del u+mu(x)|del u|q(x)-2 del u\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} Au:=-\text {div}\left( |\nabla u|<^>{p(x)-2} \nabla u+ \mu (x) |\nabla u|<^>{q(x)-2} \nabla u\right) \end{aligned}$$\end{document}for u is an element of W1,H(Omega)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$u \in W<^>{1, {\mathcal {H}}}(\Omega )$$\end{document}, is the double phase operator with variable exponents and W1,H(Omega)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$W<^>{1, {\mathcal {H}}}(\Omega )$$\end{document} is the associated Musielak-Orlicz Sobolev space. First, an existence result is proved under some weak coercivity condition. Our main focus aims at the treatment of the problem under consideration when coercivity fails. To this end we establish the method of sub-super-solution for the multi-valued variational inequality in the space W1,H(Omega)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$W<^>{1, {\mathcal {H}}}(\Omega )$$\end{document} based on appropriately defined sub- and super-solutions, which yields the existence of solutions within an ordered interval of sub-super-solution. Moreover, the existence of extremal solutions will be shown provided the closed, convex subset K of W1,H(Omega)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$W<^>{1, {\mathcal {H}}}(\Omega )$$\end{document} satisfies a lattice condition. As an application of the sub-super-solution method we are able to show that a class of generalized variational-hemivariational inequalities with a leading double phase operator are included as a special case of the multi-valued variational inequality considered here. Based on a fixed point argument, we also study the case when the corresponding Nemytskij operators F,F Gamma\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {F}}, {\mathcal {F}}_\Gamma $$\end{document} need not be continuous. At the end, we give an example of the construction of sub- and supersolutions related to the problem above.
