Let GRnG \subset \mathbb{R}^n be an open convex set which is either bounded or contains a translation of a convex cone with nonempty interior. It is known that, for every modulus ω\omega, every function on GG which is both semiconvex and semiconcave with modulus ω\omega is (globally) C1,ωC^{1,\omega}-smooth. We show that this result is optimal in the sense that the assumption on GG cannot be relaxed. We also present direct short proofs of the above mentioned result and of some its quantitative versions. Our results have immediate consequences concerning (i) a first-order quantitative converse Taylor theorem and (ii) the problem whether fC1,ω(G)f\in C^{1,\omega}(G) whenever ff is continuous and smooth in a corresponding sense on all lines. We hope that these consequences are of an independent interest.

Contact details are reproduced from the original publication and may be historical.

V. Krystof, L. Zajícek. “Functions on a Convex Set which are both ω-Semiconvex and ω-Semiconcave.” Journal of Convex Analysis 29 (2022), No. 3, 837–856.