Skip to main content
3 of 4
Question modified
G. Panel
  • 449
  • 3
  • 10

Link between asymptotic cone and the boundary of a convex set

For $n\geq 1$, let $f\in\mathcal{C}^2(\mathbb{R}^n ; \mathbb{R})$ such that $f^{-1}(\mathbb{R}_-^*)\neq\varnothing$ and $\forall x\in\mathbb{R}^n$: $\nabla f(x)\neq 0$ and $\mathcal{Hess}f(x)$ is defined positive. Let $C=\lbrace x\in\mathbb{R}^n,f(x)\leq 0\rbrace$. $C$ is then a closed convex set, with boundary $\partial C=\lbrace x\in\mathbb{R}^n,f(x)= 0\rbrace$. Its asymptotic cone is denoted $C^{as}$, which has a polar cone denoted by $(C^{as})^\circ$.

Question: for "Int" denoting the interior, do the following hold: $\text{Int}\big((C^{as})^\circ\big)\subset\bigcup_{x\in\partial C} \lbrace\lambda\nabla f(x)\rbrace_{\lambda\geq 0}$ ?

G. Panel
  • 449
  • 3
  • 10