English

Convex hull-like property and supported images of open sets

Analysis of PDEs 2016-02-17 v2

Abstract

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

Keywords

Cite

@article{arxiv.1504.01010,
  title  = {Convex hull-like property and supported images of open sets},
  author = {Biagio Ricceri},
  journal= {arXiv preprint arXiv:1504.01010},
  year   = {2016}
}