Convex hull-like property and supported images of open sets

Abstract

In this note, as a particular case of a more general result, we obtain the following theorem: Let $Ω\subseteq {\bf R}^n$ be a non-empty bounded open set and let $f:\overline Ω\to {\bf R}^n$ be a continuous function which is $C^1$ in $Ω$. Then, at least one of the following assertions holds: $(a)$ $f(Ω)\subseteq \hbox {conv}(f(\partial Ω))\ .$ $(b)$ There exists a non-empty open set $X\subseteq Ω$, with $\overline {X}\subseteq Ω$, satisfying the following property: for every continuous function $g:Ω\to {\bf R}^n$ which is $C^1$ in $X$, there exists $\tildeλ>0$ such that, for each $λ>\tildeλ$, the Jacobian determinant of the function $g+λf$ vanishes at some point of $X$. As a consequence, if $n=2$ and $h:Ω\to {\bf R}$ is a non-negative function, for each $u\in C^2(Ω)\cap C^1(\overline Ω)$ satisfying in $Ω$ the Monge-Ampère equation $$u_{xx}u_{yy}-u_{xy}^2=h\ ,$$ one has $$\nabla u(Ω)\subseteq \hbox {conv}(\nabla u(\partialΩ))\ .$$