Nonconvex functions and separation by power means

Abstract

In this note we show that, for a nonconvex function defined on a real interval, there exists a point where this function behaves like a strictly concave function. Due to this result, global convexity can be characterized as pointwise convexity everywhere. As an application, a necessary and sufficient condition for the separability of quasiarithmetic means with power means is obtained.