logo

Under Cone Conditions

Under Cone Conditions

Definition1

Let ΩRn\Omega \subset \mathbb{R}^{n} be an open set. If there exists some finite cone such that for each xΩx \in \Omega, there exists a finite cone CxΩC_{x} \subset \Omega having xx as its vertex, then Ω\Omega satisfies the cone condition.

Explanation

14.PNG

For all xΩx\in \Omega, if there exists CxΩC_{x} \in \Omega as shown in the figure above, then Ω\Omega satisfies the cone condition. If Ω\Omega includes a pointed part as shown in the next figure, it can’t satisfy the cone condition.

15.PNG

Ω\Omega, as shaped like a diamond pattern above, fails to meet the condition at least at 4 vertices. Regardless of the size of the cone, it’s clear that CxC_{x} can never be included in Ω\Omega.


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