1
$\begingroup$

I'm working through a book that provides the following exercise which I'm having trouble with. They cite this paper which I can't find (and even if I could, I can't read italian). enter image description here

The problem:

Let $\Omega$ be a bounded open domain in $\mathbb{R}^n$ and let $E$ and $F$ be closed nonempty subsets of $\Omega$. Let $\phi \in H^1(\Omega)$ and denote by $K$ the convex set: $$K = \{v \in H^1(\Omega)\ : v \geq \phi\text{ on } E \text{ and } v \leq \phi\text{ on } F \}$$ Let $$a(u,v) = \int_{\Omega}\sum_{i=1}^nu_{x_i}v_{x_i}\,dx \quad \forall u,v \in H^1(\Omega)$$ Show that there exists a solution to the variational inequality: $$u \in K: a(u, v - u) \geq 0 \quad \forall v \in K$$

$\endgroup$
1
  • $\begingroup$ The task is, apparently, to minimize $\int_\Omega|\nabla u|^2$ and to show that the minimizer exists, which more or less amounts to showing that $K$ is closed in $H^1$. (BTW, the condition $u\ge\varphi$ on $E$ should be understood with certain care because point evaluation is not continuous in $H^1$ when $n\ge 2$). $\endgroup$
    – fedja
    May 12, 2019 at 15:48

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.