With the advent of prosumers, the traditional centralized operation may become impracticable due to computational burden, privacy concerns, and conflicting interests. In this paper, an energy sharing mechanism is proposed to accommodate prosumers' strategic decision-making on their self-production and demand in the presence of capacity constraints. Under this setting, prosumers play a generalized Nash game. We prove main properties of the game: an equilibrium exists and is partially unique; no prosumer is worse off by energy sharing and the price-of-anarchy is 1 − O(1/I) where I is the number of prosumers. In particular, the PoA tends to 1 with a growing number of prosumers, meaning that the resulting total cost under the proposed energy sharing approaches social optimum. We prove that the corresponding prosumers' strategies converge to the social optimal solution as well. Finally we propose a bidding process and prove that it converges to the energy sharing equilibrium under mild conditions. Illustrative examples are provided to validate the results. Index Terms-Energy sharing, generalized Nash equilibrium, prosumer, bidding algorithm, distributed mechanism NOMENCLATURE A. Indices, Sets, and Functions i, I Index and set of prosumers.
S iAction sets of prosumer i, and S = ∏ i∈I S i .Utility function of prosumer i J i (p i , d i ) Net cost of prosumer i, which equals to f i (p i ) − u i (d i ); and J(p, d) = ∑ i∈I J i (p i , d i ). Γ i (p, d, b) Total net cost of prosumer i with sharing, which equals tosatisfies the capacity constraint. B. Parameters I Number of prosumers. p i , p i Lower/upper bound of prosumer i's production. d i , d i Lower/upper bound of prosumer i's demand. a Energy sharing market sensitivity.