As long as the cost function ph(·) is a strictly convex and
increasing function for each hour h ∈ H, the NE of the energy
consumption scheduling game always exists and is unique [4,
Theorem 1]. Moreover, this unique NE maximizes the social
welfare (or equivalently minimizes the total aggregate energy
cost of all users) [4, Theorem 2].