0
$\begingroup$

Consider the subset $\Omega\subset\mathbf{R}^n$, $$\Omega=\{x=(x_1,...,x_n)\in\mathbf{R}^n;x_n>\varphi(x_1,...,x_n)\},$$ where $\varphi$ is a Lipschitz continuous function, that is, $\Omega$ is a unbounded set, bounded for a Lipschitz graph.

Why this set satisfies the interior sphere condtion?

Interior sphere condition means that for each $z\in\partial\Omega$, there is a ball $B_r(\xi)$ satisfying $\partial B_r(\xi)\cap\overline\Omega=\{z\}$.

  • 0
    What is the "interior sphere condition"?2012-11-22
  • 0
    I edited the question with the definition!2012-11-22
  • 0
    I am not sure that your condition is the standard interior sphere condition.2012-11-22
  • 0
    Yes, in this form, this condition seems not to hold for $\Omega$, even with *constant* $\varphi$.. anyway, what is $\xi$?2012-11-22
  • 0
    Im sorry, I repaired the definition. $\xi$ is a point of $\Omega$. This condition means that for each point $z$ in the boundary, you can construct a ball insided $\Omega$, that the boundary of this ball intersect only the point $z$.2012-11-22
  • 0
    As far as I can tell, this is straight analysis, so I've removed the differential-geometry and pde tags.2012-11-22

1 Answers 1

1

This set does certainly not satisfy the interior sphere (or interior ball) condition in general, as the example $\varphi (x) = |x_1| + \ldots + |x_{n-1}|$ shows. This functions is $1$-Lipschitz, but the condition is violated at $0$.

  • 0
    I need to use a Hopf Lemma in this set. You know how can i use this without the interior ball condition?2012-11-22
  • 0
    Maybe you just need it almost everywhere? Lipschitz functions are differentiable a.e., that should give you the condition a.e. At points of non-differentiability like $0$ in the example you already have problems writing down the statement of the Hopf lemma, since there is no well-defined normal vector at these points.2012-11-22
  • 0
    Thank you very much Lukas Geyer.2012-11-22