Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $u,u_k \in C^{0}(K)$and $u_0 \in C(\partial K)$ where $K \subset \mathbb{R}^{n}$ is a compact set. Assume that $u_k \rightarrow u$ uniformly and exist $x_0, x_1 \in \partial K$such that $u(x_0) < 0$ and $u(x_1)>0$.

  1. These hypotheses are sufficient to guarantee that \begin{equation} \mbox{med}(\{u_k>0\}) \rightarrow \mbox{med}(\{u>0\}) \end{equation} or \begin{equation} \mbox{med}(\{u_k>0\}) \rightarrow \mbox{med}(\{u>0\})? \end{equation}

  2. Is there some type of converge such $\{u_k>0\} \rightarrow \{u>0\}$ or $\{u_k>0\} \rightarrow \{u>0\}?$

share|improve this question
    
What is $\mathrm{med}$? –  Alexander Shamov Aug 21 '12 at 21:21
    
I think a slight modification of my counterexample still works here. –  Alex Becker Aug 21 '12 at 21:22
    
med is the lebesgue measure. –  user29999 Aug 21 '12 at 21:23

1 Answer 1

A natural sufficient condition is $\mathrm{med}\{u = 0\} = 0$. It follows from weak convergence of the $u_k$-images of Lebesgue measure.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.