Following the article "On positivity-preserving high order discontinuous Galerkin schemes for compressible Euler equations on rectangular meshes" of Zhang and Shu, JCP 2010.
They claim that:
"It can be easily verified that p is a concave function of w=(rho,rho u,rho E) if rho ≥ 0."
This is true according to Jensen's inequality, where W is the conservative variables vector and rho is the density.
"Define the set of admissible states by G = {w|rho>0 and
p =(gamma − 1)(E − (1/2)(m2/r))>0},
then G is a convex set."
How is it possible to conclude that G is a convex set based on the first sentence?