Inner and outer smooth approximation of convex hypersurfaces. When is it possible?

Abstract: Let

S

be a convex hypersurface (the boundary of a closed convex set

V

with nonempty interior) in

m a t h b b R^{n}

. We prove that

S

contains no lines if and only if for every open set

U s u p s e t S

there exists a real-analytic convex hypersurface

S_{U} s u b s e t U c a p e x t r m i n t (V)

. We also show that

S

contains no rays if and only if for every open set

U s u p s e t S

there exists a real-analytic convex hypersurface

S_{U} s u b s e t U s e t m i n u s V

. Moreover, in both cases,

S_{U}

can be taken strongly convex. We also establish similar results for convex functions defined on open convex subsets of

m a t h b b R^{n}

, completely characterizing the class of convex functions that can be approximated in the

C^{0}

-fine topology by smooth convex functions from above or from below. We also provide similar results for

C^{1}

-fine approximations

This page was built for publication: Inner and outer smooth approximation of convex hypersurfaces. When is it possible?