logo

Weak Cone Condition

Weak Cone Condition

Definition1

Let ΩRn\Omega \subset \mathbb{R}^{n} be called an open set. Suppose a point xΩx \in \Omega is given. Let R(x)R(x) be the set of all yy that ensure the line segment from xx to yΩy \in \Omega is included within Ω\Omega again. That is, R(x)R(x) is the set of points on all lines starting from xx within Ω\Omega. And let Γ(x)\Gamma (x) be defined as follows.

Γ(x):= {yR(x):yx<1}= R(x)B(x,1) \begin{align*} \Gamma (x) :=&\ \left\{ y \in R(x) : |y-x| \lt 1\right\} \\ =&\ R(x) \cap B(x,1) \end{align*}

If there exists a δ>0\delta \gt 0 that satisfies the following condition, Ω\Omega is said to satisfy the weak cone condition.

μn(Γ(x))δ, xΩ \mu_{n} \Big( \Gamma (x) \Big) \ge \delta, \quad \forall\ x \in \Omega

Here, μn\mu_{n} is the Lebesgue measure.


  1. Robert A. Adams and John J. F. Foutnier, Sobolev Space (2nd Edition, 2003), p82 ↩︎