Next Article in Journal
Mental Well-Being of Chinese Immigrants in the Netherlands during the COVID-19 Pandemic: A Survey Investigating Personal and Societal Antecedents
Next Article in Special Issue
Model Predictive Control of the Input Current and Output Voltage of a Matrix Converter as a Ground Power Unit for Airplane Servicing
Previous Article in Journal
Influence Range and Traffic Risk Analysis of Moving Work Zones on Urban Roads
Previous Article in Special Issue
The Potential of Sustainable Biomass Producer Gas as a Waste-to-Energy Alternative in Malaysia
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Economizing the Uneconomic: Markets for Reliable, Sustainable, and Price Efficient Electricity

by
Mohammad Rasouli
1,*,† and
Demosthenis Teneketzis
2
1
Civil and Environmental Engineering Department, Stanford, Palo Alto, CA 94305, USA
2
Electrical and Computer Engineering Department, University of Michigan, Ann Arbor, MI 48109, USA
*
Author to whom correspondence should be addressed.
235 Embarcadero Road, Palo Alto, CA 94301, USA.
Sustainability 2021, 13(8), 4197; https://doi.org/10.3390/su13084197
Submission received: 20 February 2021 / Revised: 19 March 2021 / Accepted: 21 March 2021 / Published: 9 April 2021
(This article belongs to the Special Issue Renewable Energy Technologies for Sustainable Development)

Abstract

:
Current electricity markets do not efficiently achieve policy targets i.e., sustainability, reliability, and price efficiency. Thus, there are debates on how to achieve these targets by using either market mechanisms e.g., carbon and capacity markets, or non-market mechanisms such as offer-caps, price-caps, and market-monitoring. At the same time, major industry changes including demand response management technologies and large scale batteries bring more elasticity to demand; such changes will impact the methodology needed to achieve the above mentioned targets. This work provides market solutions that capture all three policy targets simultaneously and take into account the above-mentioned industry changes. The proposed solutions are based on: (i) a model of electricity markets that captures all the above mentioned electricity policy targets; (ii) mechanism design and the development of a framework for design of efficient auctions with constraints (individual, joint homogeneous, and joint non-homogeneous). The results show that, within the context of the proposed model, all policy targets can be achieved efficiently by separate capacity and carbon markets in addition to efficient spot markets. The results also highlight that all three policy targets can be achieved without any offer-cap, price-cap, or market monitoring. Thus, within the context of the proposed model, they provide clear answers to the above-mentioned policy debates.

1. Introduction

1.1. Motivation

Electricity policies in most countries aim at providing reliable and sustainable electricity with an efficient price to customers [1]. Reliability refers to meeting the uncertain demand almost at all times. Sustainability primarily refers to overcoming global warming (sustainability solutions are subject to being economically profitable as emphasized in new studies e.g., [2]). Price efficiency (affordability) refers to non-discriminatory price equal to the marginal cost of production for all participants. System operators translate reliability target into different factors e.g., planning reserve requirement, n 1 criterion, interconnection frequency response, element availability percentage, etc.). Modeling all the reliability constraints will make the model and presentation complicated. Hence, in this study, we consider only the planning reserve requirement for reliability (whenever reliability is referred to in this work, it means meeting the planning reserve requirement), that is, the total capacity should exceed a threshold to ensure uncertain supply can meet the uncertain demand at almost all outcomes (depending on the definition used by system operator this could be one in ten year blackout or alternative more tight constraints); planning reserve requirement was chosen because it is at the center of the debate for the need for capacity markets as it is about sufficient capacity at the time of planning that operational constraints. The sustainability target is translated into the carbon cap, which is a cap for total carbon emission (note that the calculation of the carbon cap is subject to international agreements for global warming limits and advancements in other economically viable solutions to reduce carbon emission particularly carbon sequestration [3,4,5]). Planning reserve requirements and carbon caps are uneconomic constraints (public constraints) because generation companies (GenCos) do not have incentives to meet them unless appropriate taxes/subsidies are in place. Addressing the policy targets for the electricity industry should be consistent with the spirit of the restructured industry i.e., should be based on market competition, incentives, and minimum regulations.
Before restructuring, the system operator could set the selling price, the investment level, and the technology in-use and in this way could ensure price efficiency, reliability, and sustainability. After restructuring however, the current electricity markets suffer from high prices above marginal cost of production and scarce resources (capacity underinvestment); for example in the California 2000 electricity crisis, market imperfections such as market power and missing money problems (investors not collecting their cost of investment) led to very high prices [6]. Moreover, post-restructuring mechanisms used for reducing carbon emission, such as carbon tax, carbon markets, or renewable feed-in tariffs, are inefficient and costly [7,8]. Especially, this inefficiency increases with a larger share of renewables [9,10].
There are significant debates on the approaches to the correct solutions of these problems: The first is centered around the need for non-market mechanisms like price-cap, offer-cap, and market-monitoring so as to achieve efficient prices. The second is about the need for mechanisms with direct capacity incentives, like capacity subsidy or capacity market, so as to achieve the reliability target; this approach is referred to as the energy-and-capacity solution in contrast to the energy-only solution. Even without planning reserve requirements for reliability, some references argue that capacity mechanisms are required for price efficiency because GenCos’ investment will not be socially optimal due to their market power [11,12]. The third is with regard to carbon tax that is introduced so as to achieve sustainability target and refers to the need for the system operator to set the carbon tax (i.e., price policy) or the possibility of finding the efficient carbon tax by carbon markets (i.e., quantity policy).
While the above debates are still ongoing, the electricity industry is under major technological changes, with the most prominent ones being smart grids with demand response management (DRM), electricity storage both in the form of large scale batteries or small batteries (such as behind-the-meter batteries or electrical vehicles), and renewable technologies. First, smart grids facilitate response of the demand to the prices. This facility is used by DRM programs for demand shaping, demand shifting, and load shedding [13]. As a consequence, the demand in the wholesale market will be elastic to the prices. Second, electricity storage allows for a mismatch between supply and demand by charging (discharging) the surplus (deficit) to (from) the storage. Depending on the electricity prices, a battery can act like an elastic demand or a producer in the market [14]. Third, renewables discourage investment on electricity in two ways: (i) their low marginal cost of production reduces the prices in the wholesale (spot) market and therefore makes it harder for both renewable and conventional utilities to recover their investment costs [15]; (ii) renewables’ high uncertainty makes them a risky investment [16,17]. On the other hand, lower carbon emission of renewables can make them an interesting investment for producers if appropriate taxes/subsidies are in place [9]. Consequently, the available studies in the literature should be updated by considering the technological changes in the industry.
The existing studies of electricity policies are limited to addressing reliability, sustainability, and price efficiency separately and in isolation; however, these issues are in fact intertwined [18]. For example, any changes in the wholesale spot market for affordable prices, like changes in price caps, can impact reliability by changing investment incentives; reliability subsidies, like capacity investment subsidy, work against carbon taxation so as to reduce the capacity of conventional electricity; renewables subsidies result in more intermittent wind and solar resources and reduce reliability, etc. In fact, the interdisciplinary implications of the renewable policies are extensively shown in the literature; for example, Reference [19] shows corporate innovation and performance linked to green practices, References [20,21] study green incentives for farmers decisions, and [22] studies incentives for biorefinery. Therefore, the above-stated policy targets should be studied together. To the best of the authors’ knowledge, Reference [23] is the only study that considers all three policy targets together but it is limited to showing the shortcomings of the current markets by analyzing their performance. The second shortcoming of the literature is that majority of the existing studies analyze the current markets in order to evaluate their performance with respect to reliability, sustainability, and price efficiency. However, in the authors’ opinion, the correct approach for addressing these problems is a design approach starting from the desired policy targets.
This work provides market solutions that capture all three policy targets simultaneously and take into account the above-mentioned industry changes. The proposed solutions are based on: (i) a model of electricity markets that captures all the above mentioned electricity policy targets; (ii) mechanism design and the development of a framework for design of efficient auctions with constraints (individual, joint homogeneous, and joint non-homogeneous). The results show that within the context of the proposed model, all policy targets can be achieved efficiently by separate capacity and carbon markets in addition to efficient spot markets. They also highlight that all three policy targets can be achieved without any offer-cap, price-cap, or market monitoring. Thus, within the context of the proposed model, they provide clear answers to the above-mentioned policy debates.
Notation: Bold letters refer to random variables; the realizations of random variables are denoted by the corresponding non-bold letters. Capital letters refer to both sets and vectors. Such a notation is not going to create any confusion because it will be always clear from the context of the text where capital symbols appear. For convenience this paper uses the notation a x : y to refer to { a x , a x + 1 , , a y 1 , a y } , a x : y , v to refer to { a x , v , , a y , v } , and a x : y , v : w to refer to { a x : y , v , a x : y , v + 1 , , a x : y , w } .

1.2. Objective

The objective of this study is to provide a response to the debate about efficiency of market mechanisms vs non-market mechanisms for achieving electricity policy targets stated in Section 1.1, namely, reliability, sustainability, and price efficiency while considering the effect of the new technologies, particularly demand elasticity due to demand response management programs and electricity storage. To this end, it design markets that achieve all of the above-mentioned three electricity policy targets simultaneously, while considering the demand elasticity due to new technologies.

1.3. Approach to Achieving the Objectives

To achieve the objective, this work proceeds in two steps. First, it proposes a model of both the electricity industry, considering emerging electricity technological changes, and the policy targets. Second, for the proposed model, using ideas from auction theory and Nash implementation, it designs markets/mechanisms that achieve sustainability, reliability, and price efficiency at all Nash equilibria of the games induced by the mechanisms.
We start by modeling an oligopoly of strategic GenCos with symmetric information that interacts over a long horizon. The demand for electricity is elastic but non-strategic (i.e., demand is a price-taker). This means that the system operator wants to auction the demand among the strategic GenCos. In this model, each GenCo’s electricity generation is constrained by its capacity. Next, the policy targets is added to the model. The reliability target is modeled by a constraint requiring that the sum of the GenCos’ capacities exceed the planning reserve requirement. The sustainability target is modeled by a constraint requiring that the sum of the carbon emissions is below the carbon cap. Price efficiency is modeled as a desired feature of the electricity market at equilibrium. This stylized model captures, the major characteristics of the restructured electricity industry that can highlight the innovations presented here for studying the policy targets.
To design electricity markets/mechanisms that achieve the policy targets at all Nash equilibria of the games induced by them, this paper studies a sequence of problems that are increasing in complexity in terms of the constraints they include. These problems deal with the optimization of the social welfare function (i) without any constraints, (ii) with individual constraints (constraints on the actions of individual agents), and (iii) with homogeneous (additive) joint constraints (constraints that are function of multiple agents’ actions). The solution of these problems combined together leads to the design of a sequence of electricity markets that achieves the objective.

1.4. Contributions

This study presents electricity markets that achieve the electricity policy targets (reliability, sustainability, and price efficiency) described in Section 1.1 considering the technological changes in the industry, namely demand elasticity. In addition to achieving the policy targets, the proposed electricity markets possess the following desirable properties: budget balance, individual rationality, and social welfare optimality. A market that is price efficient and possesses the above three properties is called an efficient market. These three properties are the important desired properties of electricity market in practice [24,25]; other desired properties of the electricity markets such as coalition proofness shown in [26] are beyond the scope of this research and future directions. Finally, the design provides answers to electricity policy debates described in Section 1.1. Specifically, the results show that: (1) Price efficiency is achieved without using price caps, offer caps, market monitoring or other sorts of market interventions. (2) With respect to the debate on reliability, an energy-and-capacity solution/market as well as an energy-only solution/market achieve planning reserve requirements. The energy-and-capacity solution achieves efficient subsidy but requires extra markets (capacity markets) and corresponding regulations. The energy-only solution requires more information and complex computations by the system operator, and pays more subsidy to GenCos compared to the energy-and-capacity solution. In the absence of planning reserve requirements, no capacity markets or other subsidiary mechanisms are required to achieve socially optimal investment (this is in contrast to References [11,12]). (3) With respect to the debate on carbon market vs carbon tax, the price of carbon determined by the design in the carbon permit market is the efficient taxation required to meet the carbon emission target.

1.5. Literature Review

In accordance with the objectives, first, a review of the literature related to market design for implementing electricity policy targets, namely, price efficiency, reliability (capacity requirements), and sustainability (carbon emission constraint) is presented. Then, a review of the literature on mechanism design that is related to the problem is presented. Finally, the results are compared with those that appear in the reviewed literature.

1.5.1. Price Efficiency

Uniform price auctions have been proposed for electricity markets in order to achieve price efficiency. The proposed auctions are static auctions of divisible goods. Supply function (SF), Cournot, first and second price auctions are examples of uniform price auctions proposed for electricity markets.
In practice, SF auctions are the major approach used for electricity spot markets. In SF auctions GenCos bid their cost curve and the market is cleared by dispatching the minimum cost first [27,28]. The same bids are sometimes used to clear multiple possible demands due to demand uncertainty or demand variation during the day [29]. In general, SF auctions have a range of equilibria and are not efficient [27]. The inefficiency of SF auctions has been studied further within the context of oligopoly models with capacity constraints [30], models with generation portfolio [31], models with a pivotal bidder [32] and network constraints [33], and duopoly models with finite piece-wise linear cost function [34].
Cournot auctions have been used to approximate SF electricity auctions [35]. These auctions do not achieve social welfare maximizing allocations at Nash equilibria, but they are price efficient as the price at Nash equilibria is equal to marginal cost of production [29].
First and second price auctions have been used for capacity markets [36]. While these auctions implement the socially optimal allocation at Nash equilibria for a single indivisible item, they do not maximize social welfare in problems concerned with the allocation of divisible goods. Moreover, the uniform price in these auctions is not efficient.
In addition the above uniform price auctions, Vickery–Clarke–Groves (VCG) and d’Aspremont–Gerard–Varet (AGV) have also been proposed for electricity markets [37]. VCG and AGV achieve social optimality by paying each seller an individual price that aligns their incentive with the social welfare. However, VCG and AGV auctions are not price efficient and, in addition, they can not be budget balanced and individually rational at the same time [38].
The auctions/mechanisms proposed here are price-efficient, and in addition they are budget balanced, individually rational, and social welfare maximizing. A key idea in these proposed auctions for electricity is to use a uniform price at equilibrium to achieve price efficiency and budget balance, and discriminatory prices off-equilibrium to align individuals’ incentives with the social welfare. Such an idea has also been proposed during the early discussions concerning the restructuring of the British electricity markets [39].

1.5.2. Reliability

Implementation of reliability targets for electricity markets has been studied by considering sources of underinvestment, mainly market power and market imperfections leading to the missing money problem. Market power originates from the oligopoly nature of the market and increases in the case of inelastic demand. Market imperfections are further categorized into demand inelasticity and uncertainties. If the inelastic demand exceeds maximum capacity it results in market failure where supply and demand mismatch without any scarcity price to signal correct investment [40].
Several papers have studied underinvestment in capacity-trade competition where firms first expand their capacity and later use that capacity to compete in the trade market. These studies analyze specific forms of trade markets including Bertrand (capacity–price competition) [41], Cournot (capacity–quantity competition) [42], VCG [43], and competitive markets [44]. In the case of Bertrand and Cournot, the market equilibrium is not socially optimal. In the case of VCG and competitive markets, the outcome is socially optimal; but, VCG is not budget-balanced, and perfect competition is a strong assumption for electricity oligopolistic markets.
The methods proposed to address the issue of underinvestment and ensure meeting reliability constraints can be categorized into [44]: (i) correcting the spot (energy) markets e.g., using new market processes, lifting price caps, and price-dependent market intervention techniques [45]; (ii) using supportive energy remuneration mechanisms (ERM), e.g., operation reserve markets [46], forward generation contracts [47], and mandatory load hedging (MLH) [48]; (iii) using supportive capacity remuneration mechanisms (CRM) e.g., forward capacity obligation with capacity markets/bilateral trades (ICAP), capacity payments, strategic reserve, and reliability options [40,48]. Supportive mechanisms should be designed in a way that their effect automatically diminishes as the spot market imperfections are resolved [49]. These studies use a basic model of one stage investment decision followed by one stage production market.
Reliability has also been studied within the context of long-term dynamic interactions among strategic GenCos [50]. Models of long-term dynamic interactions incorporate uncertainty, symmetric, or asymmetric. For electricity industry, symmetric uncertainty has been particularly studied in the literature. Reference [51] provides an energy-only model (a model of only spot markets) for capacity expansion under uncertainty and by finding a Markov perfect equilibrium using simulations, it shows that the underinvestment problem causing high prices exists in this model. Reference [11] uses a highly stylized energy-only model with Cournot spot markets and provides the same results analytically. These results do not model capacity reserve requirement explicitly, but only argue that even in the absence of such requirements underinvestment exists in current markets which leads to high prices (inefficient prices). Dynamic markets with capacity reserve requirement are studied in [50]. They show the capacity market can reduce market power but provide concrete conditions for need of capacity markets. The exacerbating effect of renewables uncertainty in this context reliability is studied by [52].
This work relates to the literature of reliability as follows. Reference [53] implements reliability targets using energy-only markets but the analysis of that paper is limited to static environments and also the mechanism results in inefficient subsidy for reliability. In this paper, reliability and efficiency are achieved as follows: first the one-period problem of simultaneous decision on investment expansion and production is formulated as auctions with constraints. This study shows that in the absence of the reliability constraint, one can use the efficient spot markets to implement socially optimal investment. Then, reliability constraints are added in terms of capacity reserve requirements and characterized as homogeneous (additive) joint constraints. Implementing joint constraints in the auction design is a challenging task because it couples the GenCos’ decisions, furthermore, such constraints are uneconomic and require appropriate subsidy/tax. This study proposes a method that sequentially decomposes the problem with joint constraints into two problems, an expansion decision followed by a production decision each with individual constraints only. This method implements the efficient investment and production in subgame perfect Nash equilibrium of a dynamic two-stage mechanism where at each stage an efficient auction is used. The methodology results in an efficient capacity and spot market (capacity-and-energy solution). Furthermore, this study extends the results by considering long-term interaction of strategic GenCos, which are not myopic, with symmetric uncertainty. The model of long-term interactions and uncertainty provided in this study is similar to References [11,51], but in contrast to those papers, this study takes a design approach to propose efficient markets. This study extends the decomposition technique to design a sequence of efficient capacity and spot markets.

1.5.3. Sustainability

Practices for charging carbon emission have been in the form of a carbon emission tax or carbon market (also carbon cap-and-trade market) [54,55]. With a fully-informed system operator, they lead to the same outcome [56]; otherwise, only an efficient carbon market can find the efficient carbon tax [57]. Moreover, calculation and continuous adjustment of the carbon tax is a difficult task [8]. However, current carbon markets are not efficient as GenCos can use their market power to pay a price for carbon that is lower than the efficient tax [9,10]. Designing efficient markets for charging carbon is an open problem [49].
This study addresses this problem by first translating the carbon constraint into a homogeneous joint constraint (constraints that are function of multiple agents’ actions) via the introduction of carbon permit as auxiliary variables. Then this study uses the presented method for implementing homogeneous joint constraints, presented in the discussion of reliability, to design efficient carbon markets.

1.5.4. Literature on Mechanism Design

Since this study considers problems with symmetric information, the games induced by the auction/mechanisms this study proposes have symmetric information structure, therefore, this study adopts the Nash equilibrium (NE) as the solution concept for the games induced by the mechanisms for one-period problems and subgame perfect Nash equilibrium (SPNE) for games induced by mechanisms for multi-period problems.
Implementation in NE was first studied by [58] in the context of static (one-period) problems. Reference [58] determined conditions necessary and sufficient to achieve implementation of social choice functions in NE when the number N of strategic users is larger than two. Furthermore, he specified a mechanism that achieves implementation in NE. The message space of this mechanism is, in general, infinite dimensional (as the agents report their type completely) and this is its main drawback. Additional results refining Maskin’s work were presented in [59,60,61,62,63]. Reference [64] presented a mechanism that achieves implementation of Walrasian and Lindahl outcomes in NE when N 3 and has a low-dimensional message space. Necessary and sufficient conditions for implementation in NE when N = 2 were presented in [65,66]. A thorough discussion and survey of implementation in NE for one-period (static) problems appear in [67,68].
Mechanism design has been used to solve static problems in engineering where the environment is non-Bayesian, strategic agents posses private information, and NE is the solution concept in the games induced by the mechanisms. Instances of such problems are bandwidth allocation in wired networks [69,70], spectrum allocation and spectrum sharing in wired networks [71], cybersecurity and cyberinsurance [72], and energy markets [73].
Implementation in subgame perfect Nash equilibrium (SPNE) for a static problem was first studied by [74,75]; the authors determined necessary and sufficient conditions under which a social choice function is implementable in SPNE.

1.5.5. Comparison of the Results with the Relevant Literature

The auction/mechanisms we propose in this paper achieves the implementation of the social welfare function in subgame perfect NE, they are individually rational, budget-balanced, and price efficient. Thus, they are efficient. Consequently, they are different from all previous work in the literature of price efficiency, reliability, and sustainability, as none of them is efficient and none of them considers all three policy targets together. In the energy-and-capacity solution, the price in the carbon market will be the efficient tax for carbon emission and the price in the capacity market will be the efficient subsidy for reliability. Furthermore, we also propose an energy-only solution by adding to the spot market demand, which can be implemented in the form of operation reserve market, and show that this solution requires more subsidy for reliability compared to the efficient energy-and-capacity solution.
The mechanisms we propose are also different from the mechanism design literature in the following way. (i) We studied the efficient auction of a divisible elastic and inelastic good. (ii) The auctions include multiple decision variables for the agents, e.g., capacity expansion and production, where one variable sets a constraint for the others (individual constraints). (iii) The auctions put constraints as a function of the decisions of multiple agents (homogeneous joint constraints). These are explained below.
The presented efficient mechanisms without constraints is inspired by price mechanism of [64] for implementing a Walrasian outcome. But this work is distinctly different from [64] because we studied designing auctions; in other words the mechanism design allocates non-strategic demand, both elastic or inelastic, among multiple strategic agents. Moreover, this study adds price efficiency as a desired feature for the design. Also, the individual and joint constraints are not present in that work.
To the best of the authors’ knowledge the design of the efficient mechanism with individual and joint constraints similar to the ones appearing in this paper has been an open problem. The closest works to this work are the subgame perfect implementation of [74] and the literature following that. This study adopts similar decomposition ideas in [74] that are used for dynamic implementation of an originally static problem. But those are not price mechanisms, i.e., there is not a uniform price for agents, and moreover, the message space has large dimensionality (each agent should report his entire private information), which makes them impractical. Moreover, this study extends the results to the case where strategic non-myopic agents interact for a long horizon with symmetric uncertainty. To do this, this study takes advantage of the unidirectional constraint that some decision variables impose on the others (the capacity and carbon permission decisions set constraints for the production in the spot market, but not vice versa), to induce GenCos’ myopic behavior in the spot markets at the subgame perfect Nash equilibrium of the games induced by the design mechanisms. This, in turn, allows us to handle the complicated long term interactions.

2. Model

This section first models the electricity industry. Then, it adds the policy targets. It discusses the model limitations and propose possible extensions in Section 8.
Industry Model: With some abuse of notation and for simplicity of presentation, consider a T-period (T-year) economy, T = { 1 , 2 , , T , T + 1 } , consisting of N = { 1 , 2 , , N } strategic GenCos ( N 3 for technical issues), a non-strategic elastic demand with discount factor β and an independent system operator (ISO). Demand elasticity is due to the new technologies including demand response management (DRM) programs and battery storage. GenCos have symmetric information. Let e n , t denote GenCo n’s electricity production at time t. GenCo n’s production cost at time t is C n , t e ( e n , t ) where C n , t e ( e n , t ) is strictly convex and increasing with respect to e n , t and C n , t e ( 0 ) = 0 . The demand’s utility at time t is denoted by U t ( d t ) , where U t ( 0 ) = 0 and U t ( d t ) is strictly concave and increasing with respect to d t . Note that this utility represents elastic demand. Let Δ x n , t denote GenCo n’s capacity expansion at time t. GenCo n’s expansion cost at time t is C n , t x ( Δ x n , t ) . C n , t x ( Δ x n , t ) is strictly convex and increasing with respect to Δ x n , t with C n , t x ( 0 ) = 0 .
Initially, GenCos have capacity x n , 0 , n N . At the beginning of each year t T , all GenCos simultaneously and independently decide on how much to expand their existing capacities. The new capacities are built and added to the system so that the total GenCo n’s capacity for generating electricity at time t is x n , t = x n , 0 + τ = 1 , 2 , , t Δ x n , τ . Next, demand at time t + with utility U t ( d t ) realized and is cleared in the spot market at time t. GenCo n’s production at the spot market of time t is denoted by e n , t and its money transfer is denoted by r n , t . The timeline of events during year t is shown in Figure 1. Note that this model has only considered one spot market between expansion decisions just for simplicity of the presentation and the results hold even if there are numerous spot markets in each year between expansion decisions (which is the real case). Alternatively, this single market can also be interpreted as the aggregate of all spot markets in between expansion decisions. In the same way the assumption that the new capacity is available in the same year is for simplicity of presentation, and the results hold with multi-stage delay in expansions (in reality it takes multiple years to build new power plants). The model can be updated to include both of these, and the results will not change, but the presentation will be more complicated (see Section 8).
After the final year, at time T + 1 , each GenCo n N sells its entire capacity with price η , gains a value of V c ( x n , T + 1 ) = η × x n , T + 1 , and leaves the economy.
Next, this study models the ISO. The ISO is a social welfare that maximizes, designs the mechanisms, and runs the auctions, but does not participate in those.
Next, the model’s information structure is presented. This model assumes that GenCos have symmetric information, thus they know each others’ type (cost functions and initial capacities), and any time t they know all the information history up to t. The information history at any time t includes all the expansion decisions, bids in the market, market outcomes for all GenCos, and demand values (assume the ISO announces the market outcomes and demand in case they are not already available to the GenCos). Since information is symmetric, this study adopts the Nash equilibrium for one-period problems and subgame perfect Nash equilibrium for multi-period problems as solution concepts for the mechanism design. Note that the ISO does not necessarily know the type of the GenCos (their cost functions C n , t e ( . ) , C n , t x ( . ) , n N , t T , and initial capacity x n , 0 , n = 0 , 1 , 2 , ), but knows the spaces where C n , t e , C n , t x , and X n , 0 belong to.
This completes the description of the model for the industry. Note that while this study has not considered network constraints, the above model allows isolating and capturing some of the main dynamics of the electricity industry needed to study and understand the policy issues proposed in Section 1.1 (oligopolistic market with certain industry constraints). This study discusses in Section 8 about other important features of electricity industry and how this work can be expanded to capture them.
Policy Targets Model: This study models the policy targets i.e., reliability, sustainability, and price efficiency. The reliability target is in the form of the following planning reserve requirements:
n N x n , t x ̲ t , t T .
This means that at each time t, there is a minimum capacity requirements denoted by x ̲ t ( x ̲ t is calculated by the system operator based on future demand prediction scenarios, uncertainties in the supply side e.g., due to renewable, and degree of reliability required by the ISO/TSO (e.g., one in ten year black out or alternative requirements) [76].
This study models the system operator’s sustainability target as follows. Consider α n , t to be the carbon factor for the technology of producer n used for producing electricity at time t. Then at time t, the sustainability target restricts carbon emission by carbon cap b ¯ t is described by
n N α n , t e n , t b ¯ t
Price efficiency requires that a uniform price is paid to all GenCos and this price is equal to the marginal cost of production for those producers whose production is positive and is not saturated by their capacity. Assuming p n , t to be the price paid to GenCo n at time t, then
p n , t = C n , t ( e n , t ) if 0 < e n , t < x n , t , and p n , t = p t n N , t T .
Next, a methodology is described for implementing the above policy targets for the proposed industry model. Specifically: (i) this study studies a sequence of auctions that are increasing in the complexity of the constraints they include (Section 3, Section 4 and Section 5); (ii) this study combines the solutions to these auctions to achieve its objective (Section 6).

3. Efficient Auctions of a Divisible Good

In this section, a design of a static (one-time period) efficient auction for allocating a divisible good without any constraints is presented. This problem serves as the fundamental building block of the development in the following sections where this study considers one-time auctions with individual or homogeneous (additive) joint constraints. The problem is also a fundamental building block of the approach to multi-period auctions. Inspired by [64], the design uses discriminatory/individual prices to implement social welfare maximizing outcome. However, these individual prices become the same at equilibrium to ensure price efficiency. A discussion on the interpretation of the design is provided in Section 3.3.
We consider two separate cases of price elastic and price inelastic divisible goods. The proposed efficient auctions with elastic divisible good are used to design spot markets with elastic demand. The proposed efficient auction of inelastic divisible good are used in the next sections to design capacity market, and carbon permit market.

3.1. Model: Electricity Spot Markets

Based on the model of Section 2, this study considers a single spot market without constraints. Since this study studies only a one-period market, for ease of presentation, the time index is dropped in the model of this section. In Appendix B, this study extends the results to the case where both long-term interactions among agents and symmetric uncertainty exist. Long-term analysis of the electricity system with uncertainties is studied with different techniques in [77,78,79]. We study auctions with both elastic and inelastic divisible goods here. We use elastic demand to model the spot market. This is due to new technologies including demand response management (DRM) and battery storage that improve the elasticity of demand.
The social-welfare maximizing allocation for elastic demand is given by the solution of the following problem.
max e n , n N U ( n N e n ) n N C n e ( e n )
If the demand is inelastic and equal to d ̲ then, the social welfare maximizing problem is
max e n , n N n N C n e ( e n ) s . t . n N e n d ̲
Note that both of the above problems are strictly convex optimizations with a convex non-empty domain and therefore, have a unique solution.

3.2. Design/Mechanism

We present two auction mechanisms, one for elastic and one for inelastic demand. The two mechanisms are only different in their payment methods.
A game form/mechanism is described by ( M , g ) , where M is the message/strategy space and g : M A is the outcome function, a function from the message space M to the space A of allocations. Consider the following mechanism.
Message space Choose GenCo n’s message space, M n , its message, m n , and the message space of the mechanism, M , to be
M n : = R × R + , n N , m n = ( e ^ n , p ^ n ) , M : = ( M 1 M 2 M N ) ,
respectively, where e ^ n denotes the amount of electricity GenCo n proposes to produce, and p ^ n denotes the price GenCo n proposes to charge per unit of electricity; p ^ n is restricted by p ^ n 0 .
Allocation Space The allocation space of the mechanism, A , GenCo n’s allocation space, A n , and GenCo n’s allocation a n are
A : = ( A 1 A 2 A N ) , A n : = [ 0 , x n ] × R , n N , a n = ( e n , r n ) ,
respectively, where e n is the amount GenCo n is scheduled to produce, and r n is the payment to GenCo n.
Outcome function Define g : M A as follows. For each m : = ( m 1 , m 2 , , m N ) M set g ( m ) = ( e , r ) = ( e 1 , , e N , r 1 , , r N ) where
e n = e ^ n .
For elastic demand the payments are
r n e l a s . = p ^ n + 1 e ^ n p ^ n 0.5 ζ n e l a s . 2 ,
ζ n e l a s . = D ( p ^ n + 1 ) n N e ^ n , D ( p ^ ) = ( U ) 1 ( p ^ ) , p ^ N + 1 : = p ^ 1 .
For inelastic demand the payments are
r n i n e l a s . = p ^ n + 1 e ^ n ( p ^ n p ^ n + 1 ) 2 2 p ^ n ζ i n e l a s . 2 ,
ζ i n e l a s . = ( d ̲ n N e ^ n ) + , p N + 1 : = p 1 .
The indexing used for allocations above is for simplicity of presentation; there are other methods for allocation that induce the same results without any indexing. Refer to one such method at the end of Section 3.3.

3.3. Interpretation of the Design

The key challenges in the design of an efficient mechanism for the problem considered in this section are (1) dealing with the strategic GenCos’ market power; (2) incentivizing the strategic GenCos to collectively meet the price-taking demand.
Since the mechanism designer, i.e., the ISO, cannot alter the producers’ cost functions, C n e ( . ) , n = 1 , 2 , , N , even if they knew their functional form, the only way they could achieve their objective (social welfare maximization) is through the use of appropriate tax incentives/tax functions. For the case of elastic demand, the tax function is r n e l a s . = p ^ n + 1 e ^ n + p ^ n 0.5 ζ e l a s . n 2 . For the case of inelastic demand, it is r n i n e l a s . = p ^ n + 1 , t e n + ( ( p ^ n p ^ n + 1 ) 2 2 p ^ n ζ i n e l a s . t 2 ) .
Allowing discriminatory individual prices charged to GenCos (off-equilibrium) provides the flexibility required for implementing social welfare maximizing generation by eliminating market power. This is achieved by offering each producer a price per unit of its production that does not depend on its own price proposal, that is, it is not under its own control. Such an offer induces price-taking behavior among the producers. One way to achieve price-taking behavior is to arbitrarily index the GenCos between 1 and N, and then pay GenCo n according to the price proposal p n + 1 of GenCo n + 1 , with the convention that p N + 1 = p 1 . The indexing is arbitrary but known to all GenCos. The term r n , 1 = [ p ^ n + 1 , t e n ] specifies the amount GenCo n receives for its production e n .
Incentivizing the producers to bid the same prices can be achieved by a penalty term for each producer n that depends on his own price. In a similar manner, incentivizing the strategic producers to collectively meet the demand is achieved by penalizing over-production or under-production. For inelastic demand, the incentive provided to all producers to bid the same price per unit of capacity is described by the term ( p ^ n , t p ^ n + 1 , t ) 2 , the incentive provided to all producers to collectively propose a total production that is at least equal to the demand, d ̲ , is captured by the term 2 p ^ n , t ζ i n e l a s . t 2 , which is a penalty for underproduction. For the elastic demand, the term p ^ n 0.5 ζ n e l a s . 2 ensures that the equilibrium price is equal to the marginal utility of the demand at the total amount of production. Under this price, all the electricity supplied at the suggested price is bought and used by the demand. Note that D ( p ) is the optimal demand for price p, because it is the solution of the optimization problem below:
D ( p ) arg max d 0 U ( d ) p d .
Since the above optimization is strictly concave, it has a unique solution.
The above incentives represent tax/subsidy payments the ISO collects from/provides to the strategic GenCos, which, in addition to achieving the above stated objectives, allow the ISO to align the GenCos productions with the social welfare maximizing production profile.
We note that, according to the above guidelines, different penalty terms can be designed for efficient auctions and those terms proposed here are just one possible design. An alternative design that does not require indexing of the GenCos is to pay every GenCo the average of the prices proposed by the other GenCos. This alternative design process, at equilibrium, has the same properties as the design proposed in Section 3.2.

3.4. Comparison of the Elastic and Inelastic Static Auctions

We now contrast the two auction mechanisms proposed for elastic and inelastic divisible good. The key differences appear in the specification of the tax function that provides incentives to strategic GenCos to align their interests/goals with those of the ISO. In the case of elastic demand, the money the demand pays defines the amount of electricity it consumes. Thus, the price per unit of power should be less than or equal to the marginal utility of consumption at the amount injected to the market. This requirement expresses the budget balance property the mechanism should have. In the case of inelastic demand, budget balance is not required because the demand pays to the GenCos any amount it is charged. In return, GenCos’ production profile e = ( e 1 , e 2 , , e N ) must meet the demand, that is it must satisfy an inequality constraint of the form n = 1 , , N e n d ̲ . The difficulty in this case is designing a price efficient mechanism (a mechanism where the price is limited by marginal cost of production), which also satisfies n = 1 , , N e n d ̲ .
As a result of these differences, the two mechanisms are different in the way GenCos contribute to the tax payment that is imposed so as to achieve an efficient allocation at equilibrium.

3.5. Properties of the Proposed Mechanisms

The properties possessed by the two proposed mechanisms are presented in this section. Consider Nash equilibrium (NE) as the solution concept. Denote the equilibrium messages and outcomes corresponding to GenCo n N by p ^ n * , e ^ n * , r n e l a s . * , r n i n e l a s . * , p n * and e n * .
First define the notion of a trivial equilibrium (Definition 1); it is shown that the auction for inelastic demand has exactly one trivial NE (Lemma 2). Hereafter, for simplicity of presentation whenever NE is referred to, it is meant non-trivial NE unless otherwise stated. It is proven that at any equilibrium (trivial or non-trivial) outcome of the game induced by the above mechanisms, supply and demand meet each other (Lemma 1). Use Lemmas 1 and 2 to prove price efficiency, budget balanced, social welfare maximization, and individual rationality at any Nash equilibrium of the game induced by the mechanisms in Theorems 1–4, respectively. The proofs of all these properties are presented in Appendix A. This section is concluded by discussing uniqueness of the NE, Pareto dominance of the non-trivial NE compared to the trivial NE for the inelastic demand, and the anonymity of the mechanisms.
Definition 1
(TRIVIAL EQUILIBRIUM). An equilibrium where price bids, p ^ n * , are zero for all n N is defined to be a trivial equilibrium.
Lemma 1
(MARKET CLEARANCE). At every non-trivial equilibrium, supply meets demand, i.e., for elastic demand and inelastic demand, for all n N ,
ζ n e l a s . * = 0 , or equivalently D ( p ^ n + 1 * ) n N e ^ n * = 0 ,
ζ i n e l a s . * = 0 , or equivalently ( d ̲ n N e n * ) 0 .
Theorem 1
(PRICE EFFICIENCY). The auctions proposed for elastic and inelastic demand are price efficient at any non-trivial equilibrium m * of the games induced by the mechanisms; that is, there is a uniform price equal to the marginal cost of the next one unit of production by producers, i.e., for every producer n N , which is not saturated,
p ^ n * = p ^ n + 1 * = p ^ * ,
r n * = p ^ * e ^ n * ,
r n e ^ n m * = p ^ * ,
p ^ * = C ( e ^ n * ) .
Theorem 1 shows that at equilibrium all non-saturated producers propose the same price per unit of electricity (Equation (16)). This equilibrium price is both the average price (Equation (17)) and the marginal price (Equation (18)), and is efficient in the sense that it is equal to the marginal cost of production for non-saturated producers (Equation (19)). This theorem shows that the proposed mechanisms incentivize producers to reveal at equilibrium their true cost of producing the next unit of electricity provided that they still have free capacity. This marginal cost is the same for all producers with free capacity, and therefore, would be the marginal cost of a hypothetical entity who would own all the producers.
Theorem 2
(BUDGET BALANCED). The proposed auctions are budget balanced at any trivial or non-trivial equilibrium of the game induced by them. For elastic demand, if n N e ^ n * > 0 , this means that the equilibrium price is equal to marginal utility of the demand,
p ^ * = U ( n N e ^ n * ) .
Note that, in contrast to the auction for elastic demand, budget balance is always achieved in the auction for inelastic demand by charging demand the total payment to the GenCos.
Theorem 3
(NASH IMPLEMENTATION/SOCIAL OPTIMALITY). At any non-trivial equilibrium of the game induced by the proposed auction for elastic or inelastic demand, the allocations of the demand to GenCos are social welfare maximizing, i.e., they are equal to the unique solutions of the Problems (4) and (5), respectively.
Theorem 1 determines the price bids and Theorem 3 determines the production bids at equilibrium. Using these bids, one can establish individual rationality.
Theorem 4
(INDIVIDUAL RATIONALITY). The proposed auction mechanisms for elastic and inelastic demand are individually rational, that is at any trivial or non-trivial NE of the games induced by the mechanisms and for every GenCo n N , the corresponding allocations ( e n * , r n e l a s . * ) and ( e n * , r n i n e l a s . * ) are weakly preferred to the allocation ( 0 , 0 ) (the allocation a strategic producer receives when they do not participate in the market).
Theorem 4 shows that each strategic producer voluntarily participates in the electricity market.
Lemma 2
(UNIQUENESS OF TRIVIAL NE). The game induced by the proposed auction for inelastic demand has, in addition to the unique non-trivial NE, exactly one trivial NE, where for all n N , p n * = 0 and e n * = 0 . The game induced by the auction for elastic demand does not have any trivial equilibrium if in the solution to Problem (4), e n * is not zero for all n N , otherwise it has a unique trivial equilibrium where p n * = 0 and e n * = 0 for all n N .
Remark 1
(UNIQUENESS OF NONTRIVIAL NE). The games induced by the proposed mechanisms have a unique non-trivial NE. This is because by Theorem 3, the bids for electricity production at equilibrium are equal to the unique solution of Problem (4) for elastic demand and Problem (5) for inelastic demand. Furthermore, by Theorem 1, the price bids of all the GenCos is the same at equilibrium, and equal to marginal cost of producing the next unit of electricity.
Remark 2
(PARETO DOMINANCE). Since ( 0 , 0 ) is the outcome of the trivial NE of the game induced by the mechanism, Theorem 4 shows that the unique non-trivial NE Pareto dominates the trivial NE.
Remark 3
(ANONYMITY). The proposed mechanisms are anonymous at equilibrium. In other words, at equilibrium payments and productions are independent of the GenCos’ indexing. To see this, note that at equilibrium the electricity produced by each GenCo is according to the social welfare maximizing production which is independent of the GenCos’ indexing. Furthermore, as shown in Lemma 1 (Equation (16)) the price paid per unit of production at equilibrium is the same for all GenCos and independent of the GenCos’ indexing, and the penalty terms in the tax function are equal to zero. Note that in alternative designs presented at the end of Section 3.3, the indexing is relaxed, which induces anonymity.

4. Efficient Auctions with Individual Constraints

In this section, we study one-time period auctions where sellers have individual constraints. This study considers a dynamic two stage setup within a one-period framework where the agents (i.e., GenCos) decide about their investment in the first stage and sell their product in the second stage. The constraints in the second stage are assumed to be individual and due to agents’ individual investments. This study shows that with individual constraints, use of the auctions proposed in Section 3.2 in the second stage results in efficiency without any need for additional prices, corresponding markets for discovering these prices in the first stage, or other instruments.
We study these auctions within the context of GenCo’s capacity expansion without reliability constraints. GenCos decide their capacity expansion in stage one and then sell electricity to demand in stage two. In this section, Section 5, and Appendix B, this study focuses on the case of elastic demand; the extension of techniques and results to corresponding problems with inelastic demand can be achieved in a similar way. This study designs a capacity-trade mechanism (Section 4.2), and show that it is efficient (Section 4.3, Theorem 5). Moreover, this study proves that the GenCos use all of the expanded capacity in the spot market and the spot market price covers their investment cost (Theorem 6).
In Section 4.4, the results are interpreted. Furthermore, in Section 6, results are used to compare the proposed efficient electricity markets with an energy-only solution to reliability.

4.1. Model: Investment without Reliability Constraint

Consider the model of Section 2 restricted to the following capacity-trade competition: GenCos individually decide on their investment at time 1 (stage 1) and then the demand is auctioned at the spot market of time 1 + (stage 2). GenCos’ production is limited by their individual capacity and their capacity expansion is limited by their individual expansion limits. The social-welfare maximizing allocation for elastic demand is a solution to the problem
max e n , Δ x n , n N U ( n N e n ) n N C n e ( e n ) n N C n x ( Δ x n )
s . t . 0 e n x n , 0 + Δ x n n N
0 Δ x n Δ x ¯ n n N
Problem (21) is a strictly convex optimization problem with a convex non-empty domain; therefore, it has a unique solution.

4.2. Design/Mechanism

This study proposes the following dynamic mechanism for capacity–trade competition. GenCos simultaneously decide on their expansion Δ x n at time 1 (Stage 1). Then at time 1 + (Stage 2), they participate in the efficient auction (spot market) for elastic demand proposed in Section 3.2. Note that due to constraint in Equation (22), GenCo n’s message space in the spot market is limited by 0 e ^ n x n = x n , 0 + Δ x n .

4.3. Properties of the Proposed Mechanism

This study considers subgame perfect Nash equilibrium (SPNE) as the solution concept for the two-stage problem that arises within one-period time, and study the equilibrium properties of the proposed capacity–trade mechanism. Denote the equilibrium outcome of the game induced by the mechanism by Δ x n * , e n * and p n * . The properties of the mechanism are summarized by Theorems 5 and 6. The proofs of Theorems 5 and 6 are special cases of the proofs of Theorems 7 and 8, respectively, in Section 6.
Theorem 5
(EFFICIENCY). The game induced by the proposed mechanism for capacity-trade competition (capacity expansion and production) has a unique subgame perfect Nash equilibrium (SPNE). At this unique SPNE, the proposed mechanism has the following properties: (i) implements socially efficient investment and production corresponding to Problem (21), (ii) is individually rational, (iii) results in efficient price in the spot market, and (iv) is budget balanced.
GenCos cover their cost of investment when their capacity becomes saturated and therefore, the market price is above their marginal cost of production. The following Theorem shows that the GenCos’ investment on capacity is always covered, and it is covered at its marginal cost.
Theorem 6
(SATURATION & SCARCITY PRICE). If GenCo n’s expansion at time 1 is positive, i.e., Δ x n * > 0 , then its production in the spot market at time 1 + is saturated i.e., e n * = x n , 0 + Δ x n * . Furthermore, the equilibrium price in the spot market covers the investment at marginal cost, that is,
p * = C n e ( e n * ) + C n x ( Δ x n * )

4.4. Interpretation of the Design

The one-period mechanism of Section 4.2 consists of two stages. In the first stage the GenCos decide for their investments independently and without any coordination mechanism such as an auction. In the second stage they participate in an auction for selling electricity. The second stage is similar to the one-stage mechanism of Section 3.2. The results of Section 3.5 ensure price efficiency, social welfare-maximization, budget balance, and individual rationality for any amount of investment that the GenCos make in the first stage. It is worth noting that the second stage of the mechanism generates the right (correct) signals for investment in the first stage. As a consequence, at equilibrium, the amount of investment the GenCos make is social welfare maximizing and is determined by the solution of problem (21). Note that such an efficient investment is implemented without any coordinator/coordinating mechanism in the first stage; this happens because each GenCo’s decision in the first stage sets constraints only on his own production level in the second stage (i.e., individual constraints).

5. Efficient Auctions with Homogeneous (Additive) Joint Constraints

Joint constraints are public (uneconomic) constraints and their implementation requires appropriate tax/subsidy, which is in contrast to the implementation of the individual constraints of Section 4. To this end, a decomposition technique is introduced for design and analysis of the auctions. The one-time period optimization problem with homogeneous joint constraints is decomposed into a sequence of optimizations with individual constraints, and then implement them by a sequence of efficient auctions with individual constraints. The equilibrium price in the market corresponding to each homogeneous joint constraint determines the efficient tax/subsidy needed to implement that constraint. This study shows that the auctions proposed are efficient (Theorem 7) and discovers the efficient tax/subsidy for implementation of the homogeneous joint constraint (Theorem 8). In Appendix B, the results for one-time period auction of this section are extended to long-horizon interaction of agents.
This study presents a decomposition technique and results on homogeneous joint constraints through the study of reliability constraints (planning reserve requirements) for electricity investment where in the first stage the GenCos decide their expansion and in stage two they sell electricity in the spot market. In contrast to the setup of Section 4, here there is minimum expansion that GenCos should meet collectively due to reliability constraints. Later, Section 6 discusses how to implement carbon emission constraints using the results on auctions with homogeneous joint constraints.

5.1. Model: Electricity Investment with Reliability Constraint

This study uses the one-time period model of Section 2 and add the reliability constraint to the model of Section 4.1. The social welfare maximizing investment and production are a solution to the Problem (25)
max e n , Δ x n , n N U ( n N e n ) n N C n e ( e n ) n N C n x ( Δ x n )
s . t . 0 e n x n , 0 + Δ x n n N
n N ( x n , 0 + Δ x n ) x ̲
Problem (25) is a strictly convex optimization with a convex non-empty domain; therefore, it has a unique solution.

5.2. Design/Mechanism

This study decomposes Problem (25) and implement its solution with separate markets. The decomposition and implementation method presented here is for reliability constraints but the method can be used for problems with other convex homogeneous joint constraints.
Decomposition: Consider vector X = [ x 1 , x 2 , , x N ] where x n = x n , 0 + Δ x n . Problem (25) is equivalent to the following two sequential optimization problems.
max Δ x n , n N V + ( X ) n N C n x ( Δ x n )
s . t . 0 Δ x n n N
n N x n x ̲ ,
followed by
V + ( X ) = max e n , n N U ( n N e n ) n N C n e ( e n )
s . t . 0 e n x n n N .
Market Design: Inspired by the above decomposition, this study proposes the following dynamic market design. First at time 1, the amount of capacity required for reliability, x ̲ , is auctioned among the GenCos using efficient inelastic capacity market. The design of this market is the same as the efficient inelastic spot market proposed in Section 3. Next, at time 1 + , the elastic demand U ( d ) is auctioned among the GenCos using an efficient elastic spot market that is the same as that of Section 3. Note that due to constraint in Equation (32), the GenCo n’s message space in the spot market is limited by 0 e ^ n x n , furthermore, due to the constraint in Equation (29), its expansion proposals in the capacity market should be non-negative.
Proof of the properties of this dynamic market are in the next section.

5.3. Properties of the Proposed Mechanism

The properties of the proposed dynamic auction for implementing reliability constraints are summarized by Theorems 7 and 8. Appendix B extends these properties to multi-period problems with symmetric uncertainty, and the proof of Theorems 7 and 8 is provided for the multi-period problems with symmetric uncertainty.
Theorem 7
(EFFICIENCY). The mechanism proposed for auctions with homogeneous joint constraints is individually rational, budget balanced, and price efficient both in the capacity market and in the spot market. Furthermore, if the solution of Problem (25) results in non-negative total expansion i.e., n N Δ x n * > 0 , then the game induced by the proposed mechanism has a unique non-trivial SPNE, and the allocations corresponding to this SPNE are the same as the solution to Problem (25). The game induced by the proposed mechanism has also a trivial SPNE where the investments on capacity expansion Δ x n , n N , are equal to zero. The non-trivial SPNE Pareto dominates the trivial SPNE.
In contrast to auctions with individual constraints, the results of Theorem 6 on saturation and scarcity price results of Theorem 6 do not necessarily hold for the auctions with homogeneous joint constraints. In other words, it is possible that a GenCo expands its capacity without using the expanded capacity in the spot market. However, the price in the capacity market is efficient (Theorem 8).
Theorem 8
(EFFICIENT SUBSIDY/TAX). At the non-trivial SPNE of the game induced by the mechanism of Section 5.2, the equilibrium price p c * in the capacity market, is equal to the efficient level of subsidy/tax per unit of capacity expansion needed to implement the joint constraint in Equation (27), that is
p c * = C n x ( Δ x n ) + C n e ( e n ) p *
where p * is the equilibrium price in the spot market. This equilibrium price in the capacity market goes to zero if the joint constraint is not binding.

5.4. Interpretation of the Mechanism

The one-period mechanism of Section 5.2 consists of two stages. At each stage, a central auction is used to coordinate the GenCos’ decisions/incentives. But these two stages have different interpretations. In the second stage the GenCos participate in an auction for selling electricity. The second stage auction is similar to the one-stage mechanism of Section 3.2. Therefore, the results of Section 3.5 ensure price efficiency, social welfare-maximization, budget balance, and individual rationality for any amount of investment that the GenCos make in the first stage. However, in contrast to the results in Section 4, the efficient auction in the second stage alone is not sufficient to send back appropriate signals to GenCos for efficient investment in the first stage. This is due to the fact that each GenCo’s decision in the first stage is subject to a joint constraints for all GenCos. In other words, every GenCo’s investment decision has an impact on the other GenCos’ decisions (by the reliability constraint that they should jointly meet). Therefore, in the first stage, there is need for a coordinating mechanism that can complement the investment signals from the second stage auction and align the GenCos’ incentives toward efficient investment. This coordinating mechanism is the auction used in the first stage. It is worth noting that when the joint constraints on the GenCos are homogeneous according to the decomposition technique of Section 5.2, the efficient auction of Section 3.2 can be used for the first stage. This is not true when the joint constraints on the GenCos are non-homogeneous.

6. Electricity Markets for Achieving Policy Targets

This study uses the results of Section 3, Section 4 and Section 5 along with their extensions in Appendix B to design reliable, sustainable, and price efficient electricity markets. Also, discussion of how results contribute to the electricity policy debates of Section 1.1 are provided.

6.1. Model: Sustainable, Reliable, and Price Efficient Electricity

Considering reliability, sustainability, and price efficiency as desired features of the market, this study poses the question of the social welfare maximizing investment and production plans. These plans are functions of the information history. At year t, denote the information history for expansion by h t , the information history for production by h t + , and their spaces by H t , H t + , respectively. Define E 1 : t ( x 0 , Δ x 1 : t ) to be the space of all possible electricity productions based on the initial capacity x 0 and capacity expansions Δ X t . Then,
h t : = { x 1 : N , 0 , e 1 : N , 1 : t 1 , Δ x 1 : N , 1 : t 1 } H t : = X 1 : N , 0 , E 1 : t 1 ( X 1 : N , 0 , Δ X 1 : N , 1 : t 1 ) , Δ X 1 : N , 1 : t 1
h t + : = { x 1 : N , 0 , e 1 : N , 1 : t 1 , Δ x 1 : N , 1 : t } H t + : = X 1 : N , 0 , E 1 : N , 1 : t 1 X 1 : N , 0 , Δ X 1 : N , 1 : t 1 ) , Δ X 1 : N , 1 : t
GenCo n’s investment plan/strategy, n N , at year t is denoted by σ n , t : H t [ 0 , Δ x ¯ n , t ] and its production plan/strategy at year t is denoted by γ n , t : H t + [ 0 , x n , t ] . Denote the space of all such strategies by Σ n , t and Γ n , t , t = 1 , 2 , , T , respectively, and define
γ : = { γ n , t : n N , t T } , σ : = { σ n , t : n N , t T } .
The investment and production strategies that maximize the social welfare are the solution of the following problem:
max σ n , t Σ n , t , γ n , t Γ n , t : n N , t T [ t T β t U t ( n N e n , t )
t T n N β t C n , t x ( Δ x n , t ) + C n , t e ( e n , t ) + β T + 1 n N η x n , T ] s . t . t T , n N , u , v V
0 e n , t x n , 0 + τ = 1 , , t Δ x n , τ
0 Δ x n , t
n N x n , t x t ̲
n N α n , t e n , t b ¯ t
Note that (41) is the capacity constraint for reliability and (42) is the cap on the total carbon emission. The carbon constraint is non-homogeneous because of different carbon emission factors α n , t among GenCos.
Within the context of the setup above, budget balance and individual rationality are discussed. Budget balance is defined when the demand is elastic and requires the sum of money paid to the producers to be equal to the money collected from the demand. The demand is non-strategic (price-taker) and therefore, the demand’s optimization problem at time t is the following:
max d t U t ( d t ) p t × d t
Since U t ( d t ) d t is the price per unit of electricity that the elastic demand is paying for consuming d t units of electricity at time t, budget balance means that,
n N p n , t e n , t = U t ( n N e n , t ) ( n N e n , t ) × n N e n , t , t T .
The left-hand side of the above equation is the total payment that the auctioneer (ISO) pays to the GenCos. The right-hand side is the amount of money the auctioneer collects from the non-strategic demand. Note that due to market clearing, d t = n N e n , t . The condition n N e ^ n , t 0 means the price should follow the demand–price curve,
p t = U t ( n N e n , t ) ( n N e n , t ) .
Individual rationality requires that the future utility of each GenCo n N at each time t T is greater than its outside option, that is, the future utility each GenCo receives by not participating in the production and expansion process. Based on the definition of the cost functions, assume the outside option for not producing or expanding to be zero. If the payment GenCo n receives at time t is denoted by r n , t , then individual rationality at times t T and t + T are expressed by the following requirements.
τ = t , t + 1 , , T β τ C n e ( e n , τ ) C n x ( Δ x n , τ ) + r n , τ 0 h t H t ,
and
β t C n e ( e n , t ) + r n , t + τ = t + 1 , t + 2 , , T β τ ( C n e ( e n , τ ) C n x ( Δ x n , τ ) + r n , τ ) 0 , h t + H t + ,
respectively.
Note that price efficiency in this setup means that
p n , t = C n e ( e n , t ) if 0 < e n , t < x n , t
If e n , t = x n , t then the p n , t C n e ( x n , t ) and if e n , t = 0 then p n , t C n e ( 0 ) .

6.2. Design/Mechanism

In this section, we describe how to design a mechanism that implements, in SPNE, the social welfare function of Problem (37), and in addition, is individually rational, budget-balanced, and price efficient. In Problem (37), individual constraints exist, Equations (39) and (40), homogeneous joint constraints, Equation (41), and non-homogeneous joint constraints, Equation (42), describe the carbon emission limit. Since Equations (41) and (42) in terms of productions at time t, in order to decompose them into separate optimization problems, we introduce carbon permits as auxiliary variables are introduced. Also, carbon permit are designed in a way to achieve a homogeneous joint constraint for these auxiliary variables (note that Equation (42) is non-homogeneous due to different carbon emission factors α n , t among GenCos).
Let auxiliary variable b n , t be GenCo n’s carbon emission permit at time t; then Equation (42) can be replaced with one individual and one homogeneous joint constraint as follows
0 e n , t b n , t / α n , t
n N b n , t b ¯ t .
Using the auxiliary carbon permit and the (49) and (50), the carbon constraints (42) of Problem (37) is replaced by homogeneous joint constraints of the same form as Problem (25) of Section 5. Therefore, one can use the same mechanism design methodology to obtain a mechanism for problem (37) that possesses the properties established by Theorems 7 and 8 (Note that Theorems 7 and 8 are established for the multi-period, T-period, problem).

6.3. Energy-and-Capacity Design vs. Energy-Only Design

Based on the results derived so far, two alternative market designs for implementing policy targets are presented. The first is an energy-and-capacity design, the second is an energy-only design. They are compared through an example.
Energy-and-Capacity Design: Based on the replacement of the constraints expressed in Equation (42) by the constraints of (49) and (50), one way to implement electricity policies is to design one market for each homogeneous joint constraint in the modified problem. The set of markets at each time t will be the following: one elastic spot market, one inelastic capacity market, and one inelastic carbon permit market. All of these markets are auctions of divisible goods and can be designed by the method proposed in Section 3. Carbon permit market is used to implement a cap constraint, while the capacity market is for implementing a floor constraint. Therefore, carbon permit markets collect money from GenCos resulting in higher prices for electricity in the spot market compared to when the carbon permit does not exist; while the capacity market pays to the sellers resulting in lower prices in the spot market compared to when the capacity market does not exist. The time-line for this dynamic energy-and-capacity mechanism is shown in Figure 2. This design implements Problem (37) in SPNE and is price efficient, budget balanced, and individually rational.
The equilibrium price in capacity and carbon permit markets are the efficient subsidy/tax for each commodity. These prices are positive only if the corresponding constraint in Problem (37) is binding. These prices adjust automatically to technological and economic changes.
Energy-Only Design: An alternative energy-only solution for implementing reliability is to set the demand profile U ˜ t ( d t ) above the actual demand profile U t ( d t ) and, in this way, to provide incentive to GenCos for more capacity expansion [10]. The difference between the auctioned demand and the actual demand is put in the operation reserve. The advantage of this approach is that it requires a smaller number of markets in order to implement the policy targets (it does not require capacity market). However, such an approach requires more subsidy to be paid to GenCos, as shown by the following example.
Example 1
(ENERGY-ONLY VS ENERGY-AND-CAPACITY). Consider an industry modeled in Section 5 where T = 1 , i.e., a single expansion decision at time 1 is followed by a single spot market at time 1 + . Consider a situation where the reliable level of capacity x ̲ , the cost of expansion, C n x ( . ) , and the cost of production C n e ( . ) are high but the utility of demand, U ( . ) , is low. Particularly, assume x ̲ = 100 M W , there are 4 GenCos with C n x ( Δ x n ) = Δ x n 2 , C n e ( e n ) = e n 2 and U ( d ) = 10 d . Assume further that the initial capacity x 0 , n is 0 for all n = 1 , 2 , 3 , 4 , and that there is no retirement payment after time T = 1 , i.e., η = 0 $ / M W .
First consider the energy and capacity solutions. Since GenCos are similar in their costs and initial capacity, to meet the 100 M W capacity requirement in a socially optimal way, each GenCo should expand 25 M W capacity. This means the price for capacity in the capacity market is 50 $ / M W , the marginal cost of expansion by GenCos at 25 M W capacity. Therefore, total payment by the system operator to GenCos in the capacity market is 100 M W × 50 $ / M W = 5 k $ / M W . This amount is the subsidy for reliable capacity. Moreover in the spot market, the price of electricity is the marginal utility of demand which is 10 $ / M W . Therefore, each GenCo produces 5 M W of electricity to have marginal cost of production equal to 10 $ / M W and the total payment to GenCos for producing electricity at the spot market is 4 × 5 M W × 10 $ / M W = 200 $ .
Next, consider an energy-only solution. The operation reserve demand should be set high enough to ensure GenCos have incentive to expand 25 M W each, Δ x n = 25 M W , n = 1 , 2 , 3 , 4 . If GenCos expand by 25 M W each, they should use all of it in the spot market i.e., e n = 25 M W , n = 1 , 2 , 3 , 4 , since otherwise they do not have incentive to expand by the above amount (saturation property). Therefore, the price of electricity in the spot market should be the marginal of production and expansion together, and this is equal to 2 × Δ x n + 2 × e n = 2 × 25 + 2 × 25 = 100 $ / M W . The total payment to the GenCos is 100 $ / M W × 100 M W = 10 k $ . To calculate the subsidy paid for reliable capacity in the energy-only solution, one should calculate the payment for operation reserve; this is the difference between the total payment in the spot market, 10,000$, and the efficient payment for real demand, 200 $ . Therefore, the subsidy for reliable capacity in the energy-only solution is 10,000 $ 200 $ = 9800 $ , which is almost twice as large as the 5 k $ efficient subsidy in the energy-and-capacity solution.

6.4. Impact on Policy Debates

The above solutions for electricity policy targets shed light on the electricity policy debates. First, using the auctions designed in Section 3, price efficiency is achieved without using price caps (or offer caps), market monitoring, or other sorts of market interventions. Second, both the energy-and-capacity solution/market as well as an energy-only solution/market achieve planning reserve requirements. The energy-and-capacity solution achieves efficient subsidy (by using the decomposition technique in Section 5), but requires extra markets (capacity markets) and corresponding regulations. The energy-only solution requires more information and complex computations by the system operator, and pays more subsidy to GenCos compared to the energy-and-capacity solution. Note that the results in Section 4 show that in the absence of planning reserve requirements, no capacity markets, or other subsidiary mechanisms are required to achieve socially optimal investment (this is in contrast to References [11,12]). Finally, by using the decomposition technique in Section 5, the carbon market finds the price of carbon as the efficient taxation required to meet the carbon emission target.

7. Implementation

The market mechanisms presented in this paper were developed under the assumption that GenCos have complete (symmetric) information about the environment (see Section 1.5 for the use and implications of this assumption in the electricity industry). Therefore, each GenCo can calculate the subgame perfect Nash equilibrium of the game induced by the market mechanism according to Theorems 7 and 8. Note that finding these equilibrium strategies requires solving Problem (37); this problem can be solved by dynamic programming (each GenCo can solve the dynamic program). Similar to other sustainable practices, the implementation can benefit from Industry standards [80,80] using advance analytic and state-of-the-art machine learning for solving the optimization problems [81,82,83]. Also, the auctions presented here require indexing of the GenCos and paying each GenCo according to the bids of the next one, but this indexing can be relaxed in alternative designs with similar properties as discussed at the end of Section 3.3.

8. Model Limitations and Possible Extensions

The model presented in Section 2 includes the essential features needed for the study of electricity policy targets, but of course does not capture all the salient features of real-world electricity markets; nevertheless, it can be extended in the following major directions so as to become closer to reality. This can be achieved by including (i) the network constraints, (ii) delays in building new capacities, (iii) fixed (startup) costs, (iv) information asymmetries across GenCos, and v) other engineering constraints such as ramping and n 1 reliability constraints. The impact of such extensions on the design of electricity markets is further discussed in Section 9.
The first extension is related to the network. This study did not consider the network constraints in the model so as to focus on market forces and the effect of policy constraints, Equations (39)–(42), on the strategic GenCos’ production and capacity expansion plans. This assumption is adapted in other major studies of wholesale electricity markets that are primarily for finding the time difference of the price (see [84] for survey). In practice, some pooling markets like Germany and France do not consider the network constraints for clearing the wholesale pooling market; the challenging optimal power flow problem is then solved at the re-dispatch phase to slightly modify the trades for a feasible dispatch of electricity in the network. Even in the cases when the network constraints are considered in clearing the wholesale market, these constraints have minor impact in the market performance when the network is not congested and the locational marginal prices are close to each other, for example in California [85]. Reference [73] studies electricity market design considering network constraints while incorporating loop flow effect to the second order approximation and shows their local public good effect.
The second extension relates to capacity expansion. This study assumes that the new capacities are immediately built and available at the same year; in practice it takes a number of years to build and add them to the system. Also, the model does not consider depreciation of the capacity. The above modeling assumptions are made for simplicity of presentation; the results of this paper hold also when newly planned capacities are added several years later, and when there exists a fixed constant rate or an uncertain reliable rate of capacity depreciation. In addition, whereas in practice companies review their expansion decisions each year, there are numerous spot markets during the year (one in almost every 10 minutes). Therefore, the spot market in this model should be interpreted as an abstract market model that captures the aggregate effect of all the spot markets during a year. The results of the paper hold if several spot markets are included in between the capacity expansions. Finally, this study has not considered technology selection by the GenCos in their expansion, rather their decisions are limited to the size of expansion. Adding diverse technology for GenCos does not change the results, but GenCos will consider the emission factor of each technology into account.
Next, one can revisit the assumptions on costs and utilities. Although this study assumed costs of production and expansion are convex, in real world both production and expansion can have economy of scale and therefore can be concave [86]. Also although this study assumed the costs are zero for zero production and expansion, in reality there exist start-up costs or fixed costs.
Another major extension of the model is related to the information asymmetry that exists among the strategic GenCos. This study has assumed information is symmetric, but in reality, the GenCos have private information on their costs, technology, and budgets. The assumption of symmetric information among GenCos and the use of Nash equilibrium as a solution concept is central to the theoretical results. This assumption has both theoretical and practical reasons. Theoretically, eliminating information asymmetry and its corresponding information rent allows us to develop a basic understanding of the problems and rigorous analytical results. This assumption is made in majority of the literature (for example see [87]). A number of papers argue that symmetric information is a realistic assumption for electricity markets. For example, Reference [88] argues that symmetric information of the bidders (GenCos), which is superior to the information of the auctioneer (system operator), is a common rationale and a reasonable assumption for oligopolistic markets where bidders monitor each other (each others’ technologies and capacity), but the auctioneer does not have access to such information.
Other than the above issues, the model does not capture transmission expansion planning and new entry. Since the model does not include network constraints, adding transmission expansion is not readily available. However, it should be noted that in a model with network constraints, the main challenge of adding transmission expansion decisions will be in the case where the productions and prices in electricity market can impact the transmission expansion outcomes and therefore the GenCo’s should consider this impact in their strategic bidding. Otherwise, if the network expansion is determined exogenously and independently to the decision of the GenCos, it can be simply added to the information available to the GenCos. New entry of GenCos can be readily added to the model. If new entry to the industry is feasible, new GenCos will enter until the profit of the last GenCo who enters the market is equal to the outside investment options. Such constraint will determine the number of the GenCos in the economy at equilibrium.
Finally, there exist other constraints in electricity networks such as ramping constraints and n 1 power flow constraints for short term reliability. These constraints have not been considered in the model as this study primarily focuses on long-term investment constraints.

9. Conclusions and Future Directions

This study proposed a model for the restructured electricity industry that captures all policy targets and takes into account the technological changes in the industry. Using this model, this study developed a methodology based on mechanism design and auction design with constraints that achieves all electricity policy targets. To the best of our knowledge, this paper presents the first attempt to address all electricity policy targets simultaneously using a concrete stylized mathematical model along with a methodological approach.
Future work related to the model includes: (i) network constraints and transmission expansion, (ii) delays in building new capacities, (iii) fixed (startup) costs, (iv) information asymmetries across GenCos, (v) other engineering constraints such as ramping, (vi) new GenCo entries, and (vii) a broader definition of reliability by considering a broader definition of reliability by considering alternative constraints for it such as the n 1 criterion, interconnection frequency response, element availability percentage, etc. Future work related to the proposed methodology includes the design of: (i) coalition free mechanisms [26], (ii) auctions with a more extensive set of individual and joint constraints that capture alternative interpretations of reliability (such as the n 1 criterion), (iii) auctions where a divisible good is allocated among an oligopoly of agents/firms and the auctioneer (Section 3), (iv) supply chains where producers are competing in the end-product market to meet the demand, but there is no competition on the other upstream goods/resources in the supply chain (Section 4) [89,90], and (v) oligopolies where agents interact with one another over a time horizon and have to make a certain level of excess investment because of the possible occurrence of unexpected events, such as demand shocks or supply disruption, over the horizon (this is the case in other critical sectors such as natural gas and oil-refining) (Section 5).

Author Contributions

Conceptualization, M.R. and D.T.; Formal analysis, M.R. and D.T.; Investigation, M.R. and D.T.; Methodology, M.R. and D.T.; Supervision, D.T.; Writing—original draft, M.R.; Writing—review & editing, M.R. and D.T. All authors have read and agreed to the published version of the manuscript.

Funding

This research was supported in part by NSF Grant CNS-1238962 and ARO Grant W911NF-17-1-0232.

Acknowledgments

The authors would like to thank William Hogan, Paul Milgrom, Robert Wilson, Asuman Ozdaglar, Ian Hiskens, Mohammad Akbarpour, Shaowei Ke, and Ramesh Johari for useful discussions.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A. Proof of Properties for the Proposed Elastic and Inelastic Auctions

Appendix A.1. Preliminaries

A set of messages m * = ( m 1 * , m 2 * , , m N * ) is an NE of the game induced by the proposed mechanism if for each producer n N , m n * = ( e ^ n * , p n * ) is a best response to the others’ messages denoted by m n * .
First consider the auction with elastic demand. The pair ( e ^ n * , p ^ n * ) is producer n’s best response to other producers’ messages, if it is a solution to their profit maximization problem
( e ^ n * , p ^ n * ) = arg max e ^ n * R , p ^ n * R + C n e ( e ^ n ) + r n e l a s .
s . t . p ^ n 0 .
Problem (A1) is a strictly concave optimization (the Hessian of p ^ n 0.5 ζ n e l a s . 2 is positive semidefinite in the domain).
Since both Problems (4) and (A1) are strictly concave optimization problems, they have a unique solution, and the Karush–Kuhn–Tucker (KKT) conditions are necessary and sufficient for optimality. The Lagrangian for Problem (4) is
L ( 4 ) = U ( n N e n ) n N C n e ( e n )
and the KKT conditions are, n N ,
U ( n N e n ) e n e * C n e e n e * = 0 .
The Lagrangian for Problem (A1) is
L Q ^ 1 , n = C n e ( e ^ n ) + r n e l a s . θ n p n ,
and the corresponding KKT conditions are
C n e e ^ n m * + r n e l a s . e ^ n m * = 0 ,
r n e l a s . p ^ n | m * θ ^ n * = 0 ,
θ ^ n * p ^ n * = 0 ,
θ ^ n * 0 .
Next we consider the auction for inelastic demand. Let m * = ( e ^ 1 * , e ^ 2 * , , e ^ N * , p ^ 1 * , p ^ 2 * , , p ^ N * ) be an NE of the game induced by the mechanism. Then, m * is a solution to every producer’s profit maximization problem, that is, n I
( e ^ n * , p n * ) = arg max e ^ n , p ^ n C n e ( e ^ n ) + r n i n e l a s .
s . t p ^ n 0 .
Problem (A10) is a strictly concave optimization. Since both Problems (5) and (A10) are strictly concave optimization, they have a unique solution and the KKT conditions are necessary and sufficient for optimization. The Lagrangian for Problem (5) is
L ( 5 ) = i I C n e e n ) + κ ( n N e n d ̲ )
and KKT conditions are
C n e e n e * κ * = 0 n N ,
κ * ( n e n * d ̲ ) = 0 ,
κ * 0 .
The Lagrangian for Problem (A10) is
L Q ^ n i n e l a s . = C n e ( e ^ n ) + r n i n e l a s . + θ ^ n p ^ n
and the KKT conditions are, n N ,
C n e e ^ n m * + r n i n e l a s . e ^ n m * = 0 ,
r n i n e l a s . p n | m * + θ ^ n * = 0 ,
θ ^ n * 0 .

Appendix A.2. Proof of Results for the Proposed Elastic and Inelastic Auctions

Proof of Lemma 1.
First, consider the auction for elastic demand. Assume ζ n e l a s . * 0 at NE for some n N . Then, the price at equilibrium, p ^ n * , must be strictly positive because if it is zero, the GenCo n’s utility at equilibrium is equal to and agent n can improve its utility by changing p ^ n to a positive value. From Equations (A7), we have
u n p ^ n m * = r n e l a s . p ^ n m * = 0.5 p ^ * n 1.5 ζ n e l a s . * 2 m * = 0 .
Since p ^ * n 1.5 > 0 , we should have ζ n e l a s . = ( D ( p ^ n + 1 ) n N e ^ * n ) 2 = 0 , which contradicts the assumption of ζ n e l a s . * 0 .
Next, consider the auction for inelastic demand. Since the equilibrium is non-trivial all prices cannot be zero at the same time, therefore, either all prices are positive or there exists a zero price followed by a positive price.
Case 1: For all n N , p ^ n * > 0 .
Here, p ^ n * 0 is not binding. Therefore, at NE for all n N ,
u ^ n p ^ n m * = r n i n e l a s . p ^ n m * = 2 ( p ^ n * p ^ n + 1 * ) 2 ζ i n e l a s . * 2 = 0 .
Summing up Equation (A21) over all n we get:
n N r n i n e l a s . p ^ n m * = n N [ 2 ( p ^ n * p ^ n + 1 * ) 2 ζ i n e l a s . * 2 ] = 2 N ζ i n e l a s . * 2 = 0 .
The last equality is achieved if and only if ζ t i n e l a s . * = 0 , i.e., if and only if n N e ^ n * = d ̲ .
Case 2: n N s . t . p ^ n * = 0 and p ^ n + 1 > 0 .
We prove that this case cannot exist. Since the constraint p ^ n 0 is binding for p ^ n * = 0 , at NE we must have
u ^ n p ^ n m * 0 .
Furthermore, using p ^ n * = 0 we obtain
u ^ n p ^ n m * = 2 [ p ^ n + 1 * ζ i n e l a s . * 2 ] 0 .
Since p ^ n + 1 * > 0 , because of Equation (A21),
u ^ n + 1 p ^ n + 1 m * = 2 ( p ^ n + 2 * p ^ n + 1 * ) 2 ζ i n e l a s . * 2 = 0
From (A25) it follows that
p ^ n + 2 * = p ^ n + 1 * + ζ i n e l a s . * 2 p ^ n + 1 * > 0 .
Since p ^ n + 2 * > 0 , we can repeat the same argument as Equations (A25) and (A26) to calculate p ^ n + 3 * and show it is positive. Continuing the same argument on the sequence of the prices { p ^ n + 3 * , p ^ n + 4 * , , p ^ n * , p ^ 1 * , , p ^ n 1 , t * , p ^ n * } , we obtain
p ^ n * 2 = p ^ n + 1 * + N ζ i n e l a s . * 2 > 0 .
This contradicts the assumption of p ^ n * = 0 .  □
Proof of Theorem 1.
First consider the auction for elastic demand. From Equation (14) of Lemma 1, we have
D ( p ^ n * ) = j N e ^ j * n N .
As a direct consequence of Equation (A28),
p ^ n * = p ^ * = U ( j N e j * ) > 0 n N .
The inequality in Equation (A29) follows from concavity of demand. Moreover, Equations (9), (14) and (16) imply r n * = p ^ * e ^ n * , and because ζ n e l a s . * = 0 ,
r n e l a s . e ^ n m * = p ^ * 2 p ^ * 0.5 ζ n e l a s . * ζ n e l a s . e ^ n m * = p ^ * .
From Equations (A6) and (A30), we have
C ( e n * ) = p *
Next, consider the auction with inelastic demand. First note that from proof of Lemma 1, for any non-trivial NE, we have p n * > 0 , n N . Using Equation (15) in Equation (A21), we obtain
r n i n e l a s . p ^ n m * = 2 ( p ^ n * p ^ n + 1 * ) = 0 .
Therefore,
p ^ n * = p ^ n + 1 * = p ^ * n N .
Next, from Lemma 1, we get [ n N e ^ n * d ̲ ] = 0 , therefore,
p ^ * [ n N e ^ n * d ̲ ] = 0 n N .
Furthermore, Equations (9), (15) and (A33) imply
r n i n e l a s . * = p ^ * e ^ n * ,
and
r n i n e l a s . e ^ n m * = p ^ * 2 p ^ * ζ i n e l a s . * ζ i n e l a s . e ^ n | m * = p ^ * .
Finally, using Equation (A36) in Equation (A17) of the KKT condition, we obtain
p ^ * = C n e ( e ^ n * ) .
 □
Proof of Theorem 2.
At the trivial equilibrium amount paid to the GenCos is zero. Therefore, the auctions are budget balanced. We discuss the case of non-trivial equilibria below.
First consider the auction with elastic demand. At equilibrium, producer n receives r n e l a s . * = p * e n * and demand pays p ^ * n N e ^ n * = n N r n e l a s . * where from Equation (A29), p * = ( U 1 ) ( n N e n * ) ; therefore, the sum of all payments adds up to zero. For the auction with inelastic demand, the amount charged to producer, n N r n e l a s . * , can be collected from the inelastic demand without changing the behavior of the demand. Therefore, the auction is budget balanced.  □
Proof of Theorem 3.
To show that the allocation e n * = e ^ n * , n N , corresponding to non-trivial equilibrium m * is a solution of Problem (4) (correspondingly Problem (5)), we specify the KKT parameters of Problem (4) (correspondingly Problem (5)) based on the KKT parameters of Problem (A1) (correspondingly Problem (A10)) as follows.
First consider the auction for elastic demand. Let m * be an NE of the game induced by the proposed mechanism ( p ^ n * > 0 , n N by Theorem 1). Then, Equations (A6)–(A8) along with Theorem 1 show that Equation (A4) is satisfied for all n N . Consequently, ( e ^ 1 * , e ^ 2 * , , e ^ N * ) is a solution of Problem 4.
Second, consider the auction for inelastic demand. Let m * be a non-trivial NE of the game induced by the mechanism. Then, m * is a solution to every GenCo’s profit maximization problem. We set
e n * = e ^ n * , κ * = p ^ * n N .
Then, Equations (A17)–(A19) along with Theorem 1 show that Equations (A13) and (A14) are satisfied.  □
Proof of Theorem 4.
We show that each producer n N weakly prefers the equilibrium outcome to the outside option ( e n , r n ) = ( 0 , 0 ) resulting when producer n does not participate in the auction.
From Equation (17), we obtain that GenCo n’s utility at equilibrium is
C n e ( e ^ n * ) + r n e l a s . * = C n e ( e ^ n * ) + C n e ( e ^ n * ) × e ^ n * .
Furthermore, for the convex and increasing function C n e ( . ) with C n e ( 0 ) = 0 we have
C n e ( e n ) C n e ( e n ) × e n for any e n 0 .
Combining (A39) and (A40) we get,
u n ( m * ) = C n e ( e ^ n * ) + C n e ( e ^ n * ) e ^ n * 0 .
 □
Proof of Lemma 2.
We first prove the existence of a unique trivial equilibrium for the inelastic demand. Consider GenCo n and assume all other GenCos propose a price of zero; we prove GenCo n’s best response is to bid zero price and zero quantity. Since p ^ n + 1 * = 0 , GenCo n is paid no compensation for his production, i.e., p ^ n + 1 * e n = 0 . Other terms in GenCo n’s utility function include penalty term and cost of production. The penalty terms are non-positive for any p ^ n > 0 and zero for p ^ n = 0 . Therefore, producer n maximizes this utility by proposing p ^ n = 0 . Also, the cost of production is positive for all e ^ n 0 and zero at e ^ n = 0 . Therefore, GenCo n’s best response is e n = 0 .
For elastic demand, the proof of Lemma 1 and Theorem 3 is valid at all equilibria. Therefore, in the case where the solution of Problem (4) is such that n N : e n * > 0 there does not exist any trivial equilibrium. This is because from Theorem 1, GenCos’ price proposals are p ^ * = C n e ( e n * ) , which is greater than zero. On the other hand, if the solution of Problem (4) satisfies e n * = 0 , n N then the price proposals are also zero and the game induced by the mechanism has a unique equilibrium which is trivial.  □

Appendix B. Extension of Results of Proposed Auctions with Joint Constraints to Long-Term Interactions Among Strategic GenCos with Symmetric Uncertainty

In this Section, we extend the result of Section 5 to a multi-period model.

Appendix B.1. Model Extension

Consider the extended reliability targets in the form of the following planning reserve requirements:
n N x n , t x ̲ t ( w t 1 ) , t T .
This means that at each time t, there is a minimum capacity requirement. The expected social welfare maximizing investment and production is
max σ n , t Σ n , t , γ n , t Γ n , t : n N , t T E w 1 : T [ t T β t U t ( n N e n , t , w t )
t T n N β t C n , t e ( e n , t , w t ) + C n , t x ( Δ x n , t , w t 1 ) + β T + 1 n N η ( w T ) x n , T ]
s . t . 0 e n , t x n , 0 + τ = 1 , , t Δ x n , τ
0 Δ x n , t
n N x t x t ̲ ( w t 1 )
In Lemma 3, we prove that the solution of Problem (A43), the expansion strategies at time t, σ n , t * , are only functions of S t = { x t 1 , w 1 : t 1 } and generation strategies at time t + , γ n , t * , are only functions of S t + = { x t , w 1 : t } . In other words, S t and S t + are information state for Problem (A43). We will also prove that the same is true for the GenCo’s SPNE strategy in the game induced by the mechanism we design.

Appendix B.2. Design/Mechanism

Using dynamic programming and value function, Problem (A43) can be decomposed into a set of sequential optimization problems, one for each year (See Appendix B.4). Furthermore, using the decomposition technique of Section 5.2, the optimization of each year t T can be further decomposed into two optimization problems, one for capacity expansion and one for electricity generation. Considering this decomposition, we use 2 × T markets for implementing the corresponding outcome: each year t T has a capacity market for auctioning the inelastic capacity ( x ̲ t ( w t 1 ) n N x n , t 1 ) , followed by an elastic spot market for auctioning electricity demand with utility U t ( d t , w t ) .

Appendix B.3. Properties of the Mechanism

In the game induced by the energy-and-capacity mechanism, the strategy of each seller n consists of both strategies σ ˜ n , t , t T determining their bids in the capacity market and strategies γ ˜ n , t + , t T determining their bids in the spot markets. The history of the game at the time of expansion is
h ˜ t = { x 0 , Δ x ˜ 1 : t 1 , p ˜ 1 : t 1 , e ^ 1 : t 1 , p ^ 1 : t 1 , w 1 : t 1 } H ˜ t
H ˜ t : = { x 0 , Δ x ˜ 1 : t 1 , P ˜ 1 : t , E ^ 1 : t 1 , P ^ 1 : t 1 , w 1 : t 1 }
And at the spot market t it is
h ˜ t + = { x 0 , Δ x ˜ 1 : t , p ˜ 1 : t , e ^ 1 : t 1 , p ^ 1 : t 1 , w 1 : t }
H ˜ t + = { x 0 , Δ x ^ 1 : t , P ˜ 1 : t , E ^ 1 : t 1 , P ^ 1 : t 1 , w 1 : t }
Therefore, n N ,
σ ˜ n , t : H ˜ t [ 0 , Δ x ¯ n , t ] × R +
γ ˜ n , t + : H ˜ t + [ 0 , x n , t ] × R +
We denote the set of all such strategies by Σ ˜ n , t and Γ ˜ n , t .
The properties of the proposed energy-only economy at its SPNE are described by Lemma 3 and Theorem 9.
We first show that there exists SPNE strategies of the game induced by the energy-and-capacity mechanism that are only a function of the payoff relevant information i.e., they are Markov.
Lemma 3
(MARKOV STRATEGIES). There is a solution of Problem (A43) where the expansion (respectively production) strategies are functions of S t = { x 1 : N , t 1 , w 1 : t 1 } (respectively S t + = { x 1 : N , t , w 1 : t } ). There is an SPNE induced by the proposed finite horizon mechanism where the GenCos’ expansion (respectively production) strategies are a function of S t (respectively S t + ).
Lemma 3 implies the following corollary.
Corollary 1
(MYOPIC BEHAVIOR). There is an SPNE where GenCos act myopically in the spot market.
This is because the actions of the GenCos in the spot market at time t + , production, and price proposals, do not change the information state S τ and S τ + for τ > t i.e., these actions do not have any effect in the future strategies of the agents. Therefore, it is best for GenCos to act myopically and maximize their utility in the current spot market.
We call an SPNE of the game induced by the mechanism non-trivial, if the equilibrium price proposal in the capacity markets of time t, p t c * is not zero for all t T .
Theorem 9
(EFFICIENCY). There is a unique non-trivial SPNE that Pareto dominates all the trivial SPNEs of the game induced by the mechanism of Appendix B.2 and has the following features.
(i) (SOCIAL OPTIMALITY) The expansion and production outcomes corresponding to the unique non-trivial SPNE are socially optimal, that is they are equal to the solution of Problem (A43).
(ii) (PRICE EFFICIENCY) For all t T , there is a unique capacity price proposal, p t c * in the capacity market, and a unique electricity price, p t * in the spot market for all GenCos n N , which are efficient, that is
p t * = C ( e n , t * ) if 0 < e ^ n , t * < x n , t ,
p t c * = C x ( Δ x n , t * ) E w t | S t V n , t + ( x t + , w 1 : t 1 , w t ) Δ x n , t | m t * if 0 < Δ x n , t * < Δ x ¯ n , t ,
where V n , t + ( S t + ) is the future expected revenue of producer n from time t + on.
(iii) (BUDGET BALANCED) All the capacity and spot markets are budget balanced at equilibrium. For the elastic spot market at time t T ,
p ^ t * = U t ( n N e n , t , w t ) ( n N e n , t ) .
if n N e n > 0 .
(iv) (INDIVIDUAL RATIONALITY) The proposed mechanism is individually rational, that is for every time t T and realization of the history, the sum of the current and expected future utility is non-negative.

Appendix B.4. Proof of Lemma 3 and Theorem 9

Proof of Lemma 3.
First we consider Problem (A43). This is a constraint Markov decision process (MDP) with constraints on the GenCos’ capacity expansions and limits on the GenCos’ production. Therefore there exist optimal Markov decision strategies for GenCos’ expansion and production. These strategies are determined by the following dynamic programming. Time T + 1
V T + 1 ( s T + 1 ) = η ( w T ) n N x n , T + 1 .
Problem Q t + 3
At time t + optimal generations are according to the following optimization problem,
V t + ( X t + , w 1 : t ) = max e n , t , n N U t ( n N e n , t , w t ) n N C n , t e ( e n , t , w t ) + β V t + 1 ( X t + , w 1 : t )
s . t . 0 e n , t x n , t + n N .
Assuming V t + 1 ( X t + 1 , w 1 : t ) is concave in X t + 1 (by induction), we prove V t + is a strictly concave optimization problem and furthermore, V t is strictly concave with respect to X t for every w 1 : t W 1 : t . For a give w 1 : t , C n , t e is strictly convex, U t is strictly concave and by assumption V t + 1 is concave. Since the domain is also concave, the problem is strictly concave optimization. The corresponding Lagrangian and KKT conditions are
L t + ( S t + ) = U t ( n N e n , t , w t ) n N C n , t e ( e n , t , w t ) + β V t + 1 ( S t + )
+ n N ν n , t e n , t + n N μ n , t ( x n , t + e n , t ) ,
and
U t ( n N e n , t , w t ) e n , t | e 1 : N , t * C n , t e ( e n , t , w t ) e n , t | e 1 : N , t *
+ β V t + 1 ( S t + ) e n , t | e 1 : N , t * + ν n , t * μ n , t * = 0 ,
ν n , t * e n , t * = 0 ,
μ n , t * ( x n , t + * e n , t * ) = 0 ,
ν n , t * 0 , μ n , t * 0 ,
respectively.
Next, we prove that V t + ( S t + ) is concave in X t + . Consider X t + 1 , X t + 2 , X t + 3 = λ X t + 1 + ( 1 λ ) X t + 2 , where 0 λ 1 and their corresponding optimal production of electricity in Equation (A58), e 1 : N , t 1 * , e 1 : N , t 2 * and e 1 : N , t 3 * . Consider e 1 : N , t 3 = λ e 1 : N , t 1 * + ( 1 λ ) e 1 : N , t 2 * . Since both e 1 : N , t 1 * and e 1 : N , t 2 * satisfy Equation (A59), 0 e n , t 3 λ x n , t + 1 + ( 1 λ ) x n , t + 2 = x n , t + 3 n N . This means e 1 : N , t 3 is a feasible point in the domain of optimization of V t + for X t + 3 . In addition, since the objective function of function V t + is concave, we have
λ V t + ( X t 1 , w 1 : t ) + ( 1 λ ) V t + ( X t 2 , w 1 : t ) = λ [ U t ( n N e n , t 1 * , w t ) n N C n , t e ( e n , t 1 * , w t ) + β V t + 1 ( X t + 1 , w 1 : t ) ] + ( 1 λ ) [ U t ( n N e n , t 2 * , w t ) n N C n , t e ( e n , t 2 * , w t ) + β V t + 1 ( X t + 1 , w 1 : t ) ] U t ( n N e n , t 3 , w t ) n N C n , t e ( e n , t 3 , w t ) + β V t + 1 ( X t + 1 , w 1 : t )
U t ( n N e n , t 3 * , w t ) n N C n , t e ( e n , t 3 * , w t ) + β V t + 1 ( X t + 1 , w 1 : t ) = V t + ( X t + 3 , w 1 : t )
This means V n , t + is concave in X t + .
Problem Q t 3
The expansions at time t are according to the following optimization problem, which we refer to by Q t 3 (note that ( X t 1 + Δ X t , w 1 : t ) = S t + ).
V t ( S t ) = max Δ x n , t , n N n C n , t x ( Δ x n , t , w t 1 ) + E w t V t + ( X t 1 + Δ X t , w 1 : t ) | w 1 : t 1
s . t . 0 Δ x n , t Δ x ¯ n , t
n N Δ x n , t Δ x ̲ t
Assuming that V t + ( X t 1 + Δ X t , w 1 : t ) is concave with respect to X t = X t 1 + Δ X t (by induction), we prove Q t 3 is a strictly concave optimization problem and furthermore, V t ( S t ) is concave in X t . First, to prove concavity of V t ( S t ) with respect to Δ X t , define the function B ( Δ X t ) = X t 1 + Δ X t . B ( Δ X t ) is concave and V t ( S t ) is concave and non-decreasing in X t , therefore, V t + ( B ( Δ X t ) ) is concave in Δ X t (See [91], Theorem 5.1) and E w t V t + ( X t 1 + Δ X t , w 1 : t ) | w 1 : t 1 is a weighted sum of concave functions, hence it is concave in Δ X t . Considering this, it is straightforward to see V t ( S t ) is concave optimization with convex domain. The Lagrangian and the KKT conditions are
L t ( S t ) = n C n , t x ( Δ x n , t , w t 1 ) + β E w t V t + ( X t 1 + Δ X t , w 1 : t ) | w 1 : t 1 + n N α n , t Δ x n , t + β n , t ( Δ x ¯ n , t Δ x n , t ) + κ t ( n N Δ x n , t Δ x ̲ t )
and
C n , t x ( Δ x n , t , w t 1 ) Δ x n , t | Δ X t * + β E w t V t + ( X t 1 + Δ X t , w 1 : t ) Δ x n , t | Δ X t * | w 1 : t 1
+ α n , t * β n , t * + κ t * = 0
α n , t * Δ x n , t * = 0
β n , t * ( Δ x ¯ n , t Δ x n , t * ) = 0
κ t * ( n N x n , t * Δ x ̲ t ) = 0
α n , t * 0 , β n , t * 0 , κ t * 0
respectively.
To prove V t ( S t ) is concave in X t for a given w 1 : t 1 W 1 : t 1 , we use the first and the second order conditions. First, by envelope theorem,
V t ( S t ) x n , t = β E w t V t + ( X t 1 + Δ X t , w 1 : t ) x n , t | Δ X t * | w 1 : t 1
which is non-negative by concavity of V t + ( X t 1 + Δ X t , w 1 : t ) with respect to X t 1 + Δ X t (first order condition). Second,
H e s s i a n ( V t ( S t ) ) = β E w t H e s s i a n ( V t + ( X t 1 + Δ X t , w 1 : t ) ) | Δ X t * | w 1 : t 1
which is negative semidefinite by concavity of V t + ( X t 1 + Δ X t , w 1 : t ) (second order condition). First and second order conditions prove concavity of V t ( S t ) .
Next we consider GenCos’ best response. We fix the expansion and production strategies of all GenCos except GenCo i to be Markovian. Then, GenCo i’s best response problem is a constraint MDP where the constraints are on their capacity expansion and on the limits of their production at each instant of time. Therefore, there exists a best response for GenCo i for production and expansion that is a Markovian strategy. Consequently if there exist SPNEs that are Markovian strategies, they will be determined by a set of N coupled dynamic programs. The dynamic program for GenCo n is the following.
Time T + 1 , GenCos’ Best Response
V ˜ n , T + 1 ( S T + 1 ) = η x ˜ n , T + 1 .
Q ˜ n , t + 3
At the spot market of time t + with S t + , GenCo’s best response to other GenCos’ production and price proposal m ˜ n , t + = ( e ^ n , t , p ^ n , t ) determined by their strategies γ ^ n , t is
V ˜ n , t + ( S t + ) = max e ^ n , t , p ^ n , t C n , t e ( e ^ n , t , w t ) + p ^ n + 1 , t e ^ n , t p ^ n , t 0.5 ζ e l a s . n , t 2 + β V ˜ n , t + 1 ( S t + 1 )
s . t . 0 e ^ n , t x n , t
0 p ^ n , t
S t + 1 is independent of e ^ n , t , p ^ n , t conditioned on S t and w t , and therefore, β V ˜ n , t + 1 ( S t + 1 ) is independent of e ^ n , t , p ^ n , t . Therefore, it is straightforward to see V ˜ n , t + is concave optimization with respect to e ^ n , t , p ^ n , t with convex domain. The Lagrangian and the KKT conditions are (note that S t + = S t + 1 ):
L ˜ n , t + ( S t + ) = C n , t e ( e ^ n , t , w t ) + p ^ n + 1 , t e ^ n , t p ^ n , t 0.5 ζ e l a s . n , t 2 + β V ˜ n , t + 1 ( S t + ) + ν ^ n , t e ^ n , t
+ μ ^ n , t ( x n , t e ^ n , t ) + θ ^ n , t p ^ n , t ,
and
C n , t e e ^ n , t | e ^ n , t * + p ^ n + 1 , t * p ^ n , t 0.5 ζ e l a s . n , t 2 e ^ n , t | ( m ˜ n , t + , e ˜ n , t , p ˜ n , t )
+ β V ˜ n , t + 1 ( S t + ) e ^ n , t | ( m ˜ n , t + , e ˜ n , t , p ˜ n , t ) + ν ^ n , t * μ ^ n , t * = 0 ,
p ^ n , t 0.5 ζ e l a s . n , t 2 p ^ n , t | ( m ˜ n , t + , e ˜ n , t * , p ˜ n , t * ) + β V ˜ n , t + 1 ( S t + 1 ) p ^ n , t | ( m ˜ n , t + , e ˜ n , t * , p ˜ n , t * ) + θ ^ n , t * = 0 ,
θ ^ n , t * p ^ n , t * = 0 ,
μ ^ n , t * ( x n , t e ^ n , t * ) = 0 ,
ν ^ n , t * e ^ n , t * = 0 ,
ν ^ n , t * 0 , μ ^ n , t * 0 , θ ^ n , t * 0 ,
respectively.
To prove that for every given w 1 : t , V ˜ n , t + ( S t + ) is concave with respect to x n , t + , assume V ˜ n , t + 1 is concave in x n , t + 1 for every w 1 : t W 1 : t (by induction). Now considering two different x n , t + and using the same approach used in the proof of concavity of V ^ n , t + , we can show V ˜ n , t + ( S t + ) is concave in x n , t + .
Q ˜ n , t 3
At expansion epoch t with S t , GenCo n’s best response to the other GenCos’ expansion and price proposal m ˜ n , t = ( Δ x ˜ n , t , p ˜ n , t ) determined by their strategies σ ˜ n , t is determined by
V ˜ n , t ( S t ) = max Δ x n , t ˜ , p ˜ n , t C n , t x ( Δ x ˜ n , t , w t 1 ) + p ˜ n + 1 , t * Δ x ˜ n , t ( p ˜ n , t p ˜ n + 1 , t * ) 2 2 p ˜ n , t ζ i n e l a s . t 2
+ β E w t V ˜ t + , n X t 1 + Δ X ˜ t , w 1 : t | w 1 : t 1
0 Δ x ˜ n , t Δ x ¯ n , t
p ˜ n , t 0 .
We prove that the above optimization is a strictly concave optimization and furthermore, V ˜ n , t ( S t ) is concave in x n , t 1 for every w 1 : t 1 W 1 : t 1 . To do so, assume (by induction) that V ˜ n , t + ( X t 1 + Δ X ˜ t , w 1 : t ) is concave and increasing in X t + Δ X ˜ t . Define function B ( Δ X ˜ t ) = X t + Δ X ˜ t . Since B ( Δ X ˜ t ) is affine, this means V ˜ n , t + ( X t + Δ X ˜ t , w 1 : t ) is concave in Δ x ˜ n , t (See [91], Theorem 5.1). Next, E w 1 : t V n , t + ( X t 1 + Δ X t , w 1 : t ) | w 1 : t 1 is a weighted sum of concave functions hence concave. Considering this, and the concavity of C n , t x ( Δ x ˜ n , t , w t 1 ) + p ˜ n + 1 , t * Δ x ˜ n , t ( p ˜ n , t p ˜ n + 1 , t * ) 2 2 p ˜ n , t ζ i n e l a s . t 2 with respect to x ˜ n , t , p ˜ n , t from Appendix A.1, it is straightforward to see V n , t ( S t ) is a strictly concave optimization with convex domain. The Lagrangian and the KKT conditions are
L ˜ n , t ( S t ) = C n , t x ( Δ x ˜ n , t , w t 1 ) + p ˜ n + 1 , t * Δ x ˜ n , t ( p ˜ n , t p ˜ n + 1 , t * ) 2 2 p ˜ n , t ζ i n e l a s . t 2 + β E w t V ˜ n , t + X t 1 + Δ X ˜ t , w 1 : t | w 1 : t 1 + α ˜ n , t Δ x ˜ n , t + β ˜ n , t ( Δ x ¯ n , t Δ x ˜ n , t ) + θ ˜ n , t p ˜ n , t ,
and
C n , t x ( Δ x ˜ n , t , w t 1 ) Δ x ˜ n , t | Δ x ˜ n , t * + r n , t i n e l a s . Δ x ˜ n , t | ( m ˜ n , t , Δ x ˜ n , t * , p ˜ n , t * ) + β E w 1 : t V ˜ n , t + X t 1 + Δ X ˜ t , w t Δ x ˜ n , t | ( m ˜ n , t , Δ x ˜ n , t * , p ˜ n , t * ) | w 1 : t 1 ,
+ α ˜ n , t * β ˜ n , t * = 0 ,
r n , t i n e l a s . p ˜ n , t | ( m ˜ n , t , Δ x ˜ n , t * , e ˜ n , t * ) + β E w t V ˜ n , t + X t 1 + Δ X ˜ t , w 1 : t p ˜ n , t | ( m ˜ n , t , Δ x ˜ n , t * , p ˜ n , t * ) | w 1 : t 1 ,
+ α ˜ n , t * Δ x ˜ n , t * = 0 ,
β ˜ n , t * ( Δ x ¯ n , t Δ x ˜ n , t * ) = 0 ,
θ ˜ n , t * p ˜ n , t * = 0 ,
α ˜ n , t * 0 , β ˜ n , t * 0 , θ ˜ n , t * 0 ,
respectively.
To prove V ˜ n , t ( S t ) is concave in x n , t , note that by induction, V ˜ n , t + X t 1 + Δ X ˜ t , w t is concave and increasing in X t + . Defining the affine function B ( Δ X ˜ t ) = X t 1 + Δ X ˜ t shows V ˜ n , t + is also concave in Δ X ˜ t (See [91], Theorem 5.1). Now considering two different X t and using the same approach used in the proof of concavity of V ^ n , t + , we can show V ˜ n , t ( S t ) is concave in x n , t .
Finally, using the above concavity results, at the time T + 1 , by Lemma 2 there exists a Markovian Nash equilibrium. Furthermore, going backward, because the value functions at each time t (and respectively t + ) are function of S t (respectively S t + ), and concave as shown above, with the same proof of Lemma 2 there exist a Markovian NE at each time. The sequence of these NEs at each instant forms a Markovian SPNE.  □
Proof of Theorem 9.
Part (i). We prove by construction. Assume σ ^ n , t * and γ ^ n , t * are the corresponding strategies for the dominant SPNE of the dynamic game induced by the mechanism proposed in Appendix B.2. By Lemma 3, these strategies are functions of S t and S t + , respectively. Define e ^ n , t * ( S t + ) to be GenCo n’s production at time t + due to strategy γ ˜ n , t * ( S t + ) and Δ x ˜ n , t * ( S t ) to be GenCo n’s expansion at time t due to strategy σ ˜ n , t * ( S t ) . Consider the following strategy for the planner.
σ n , t * ( S t ) = Δ x ˜ n , t * ( S t )
γ n , t * ( S t + ) = e ^ n , t * ( S t + )
Note that the capacity expansion is equivalent to an auction with inelastic demand; therefore, using the results of Theorem 3, Lemma 1, the KKT conditions of Q ˜ n , t 3 and Q ˜ n , t + 3 , Equations (A95)–(A100), Equations (A85)–(A90), respectively, and the generation and expansion strategies of Equations (A101) and (A102), the following parameters will satisfy the KKT conditions of Q t 3 , Equations (A72)–(A76), and the KKT conditions of Q t + 3 , Equations (A62)–(A65). For all t T and n N put
ν n , t * = ν ˜ n , t *
μ n , t * = μ ˜ n , t *
α n , t * = α ˜ n , t *
β n , t * = β ˜ n , t *
As a result, the energy production and expansion corresponding to the non-trivial SPNE are solutions of Problem (A43).
Part (ii) and (iii). To prove price efficiency and budget balanced in spot (or capacity) market of time t + (time t), we model this market as a single elastic (or inelastic) auction presented in Section 3.2 and use the properties of these auctions presented in Section 3.5. To do this modeling, every GenCo’s cost of generation (cost of expansion) is the sum of both the immediate utility from the spot (or capacity) market and the value of the future outcomes, C n , t e ( e ^ n , t , w t ) β V ˜ n , t + 1 ( S t ) , (or C n , t x ( Δ x ˜ n , t , w t 1 ) β E w t V ˜ t + , n S t , Δ X ˜ t , p ˜ t , w t | w 1 : t 1 ) . This cost function is strictly convex and increasing and therefore the results of market clearance, Lemma 1, price efficiency, Theorem 1, and budget balance, Theorem 2, can be generalized for the spot (or capacity) market at time t + (t). This means Equations (A54)–(A56) hold.
Note that for the capacity market, the price at equilibrium is the dual variable of the long-term reliability constraint κ t * (Equation (A71)). From Equation (A95), κ t * represents the difference between the marginal cost of expansion and the marginal value of the future profits if 0 < Δ x ˜ n , t < Δ x ¯ n , t i.e., α ^ n , t * = 0 and β ^ n , t * = 0 .
Part (iv). To prove individual rationality, we should prove that, at each time instant t, by continuing participation in the mechanism, the GenCos’ future utility is greater than or equal to zero (which is the utility they get by stopping to participate in the mechanism). We prove this by induction. We show that at time T + 1 the GenCos’ values are non-negative and then we show that if at any time t (respectively t + ) it is weakly better for the GenCos to continue the game, then so is at ( t 1 ) + (respectively t).
First, note that at time T + 1 , V n , T + 1 , n N is non-negative by definition. Now assume at time t + 1 it is individually rational for the GenCos to participate in the mechanism. Consider the generation epoch t + . Since at the dominant SPNE, the firms act myopically in time t + , by Theorem 4, their immediate revenue from the spot market is non-negative; therefore, the assumption that individual rationality holds at time t + 1 results that it also holds at time t + .
Next, assume the mechanism is individually rational starting from any S t + at time t + . Consider time t. For the non-trivial NE, GenCo n’s utility from Theorem 9 Part (i) is C n , t x ( Δ x ˜ n , t ) + E { V ˜ n , t ( X t 1 + Δ X ˜ t * , w 1 : t ) | S t } + p ^ t * Δ x ˜ n , t * where Δ x ˜ t * is the solution of Q t 3 ; if 0 = Δ x ˜ n , t * , then this utility is E { V ˜ n , t ( X t 1 + Δ X ˜ t * , w 1 : t ) | S t } which is non-negative by assumption. If 0 < Δ x ˜ n , t * then
p ^ t * C n , t x ( Δ x ˜ n , t ) + E { V ˜ n , t ( X t 1 + Δ X ˜ t * , w 1 : t | S t ) } Δ x ˜ n , t * ;
since C n , t x ( Δ x ˜ n , t ) + E { V ˜ n , t ( X t 1 + Δ X ˜ t * , w 1 : t ) | S t } is strictly concave and the price p ^ t * is the marginal of this utility, the participation utility at equilibrium C n , t x ( Δ x ˜ n , t ) + E { V ˜ n , t ( X t 1 + Δ X ˜ t * , w 1 : t ) | S t } + p ^ t * Δ x ˜ n , t * is non-negative. Therefore, it is individually rational to continue participation in the game at time t.  □

References

  1. Vo, D.H. Sustainable Development Goals, Goal 7: Affordable and Clean Energy. Econ. Sociol. Available online: https://www.un.org/sustainabledevelopment/energy/ (accessed on 9 August 2020).
  2. Vo, D.H. Sustainable agriculture & energy in the US: A link between ethanol production and the acreage for corn. Econ. Sociol. 2020, 13, 259–268. [Google Scholar]
  3. Maroušek, J.; Struneckỳ, O.; Stehel, V. Biochar farming: Defining economically perspective applications. Clean Technol. Environ. Policy 2019, 21, 1389–1395. [Google Scholar] [CrossRef]
  4. Mardoyan, A.; Braun, P. Analysis of Czech subsidies for solid biofuels. Int. J. Green Energy 2015, 12, 405–408. [Google Scholar] [CrossRef]
  5. Maroušek, J.; Kolář, L.; Struneckỳ, O.; Kopeckỳ, M.; Bartoš, P.; Maroušková, A.; Cudlínová, E.; Konvalina, P.; Šoch, M.; Moudrỳ, J., Jr.; et al. Modified biochars present an economic challenge to phosphate management in wastewater treatment plants. J. Clean. Prod. 2020, 272, 123015. [Google Scholar] [CrossRef]
  6. Joskow, P.; Tirole, J. Reliability and Competitive Electricity Markets. Rand J. Econ. 2007, 38, 60–84. [Google Scholar] [CrossRef] [Green Version]
  7. Alizamir, S.; de Véricourt, F.; Sun, P. Efficient feed-in-tariff policies for renewable energy technologies. Oper. Res. 2016, 64, 52–66. [Google Scholar] [CrossRef] [Green Version]
  8. Borenstein, S. The private and public economics of renewable electricity generation. J. Econ. Perspect. 2012, 26, 67–92. [Google Scholar] [CrossRef] [Green Version]
  9. Acemoglu, D.; Akcigit, U.; Hanley, D.; Kerr, W. Transition to clean technology. J. Political Econ. 2016, 124, 52–104. [Google Scholar] [CrossRef] [Green Version]
  10. Hogan, W. A Cleaner Energy System: Renewable Energy and Electricity Market Design [In My View]. Power Energy Mag. IEEE 2015, 13. [Google Scholar] [CrossRef]
  11. Garcia, A.; Shen, Z. Equilibrium capacity expansion under stochastic demand growth. Oper. Res. 2010, 58, 30–42. [Google Scholar] [CrossRef] [Green Version]
  12. Murphy, F.H.; Smeers, Y. Generation capacity expansion in imperfectly competitive restructured electricity markets. Oper. Res. 2005, 53, 646–661. [Google Scholar] [CrossRef]
  13. Dong, C.; Ng, C.T.; Cheng, T. Electricity time-of-use tariff with stochastic demand. Prod. Oper. Manag. 2017, 26, 64–79. [Google Scholar] [CrossRef] [Green Version]
  14. Kim, J.H.; Powell, W.B. Optimal energy commitments with storage and intermittent supply. Oper. Res. 2011, 59, 1347–1360. [Google Scholar] [CrossRef] [Green Version]
  15. Morales, J.M.; Zugno, M.; Pineda, S.; Pinson, P. Electricity market clearing with improved scheduling of stochastic production. Eur. J. Oper. Res. 2014, 235, 765–774. [Google Scholar] [CrossRef] [Green Version]
  16. Pritchard, G.; Zakeri, G.; Philpott, A. A single-settlement, energy-only electric power market for unpredictable and intermittent participants. Oper. Res. 2010, 58, 1210–1219. [Google Scholar] [CrossRef]
  17. Alizadeh, R.; Lund, P.D.; Soltanisehat, L. Outlook on biofuels in future studies: A systematic literature review. Renew. Sustain. Energy Rev. 2020, 134, 110326. [Google Scholar] [CrossRef]
  18. Kök, A.G.; Shang, K.; Yücel, Ş. Impact of electricity pricing policies on renewable energy investments and carbon emissions. Manag. Sci. 2018, 64, 131–148. [Google Scholar] [CrossRef] [Green Version]
  19. Pakurár, M.; Khan, M.A.; Benedek, A.; Oláh, J. The impact of green practices, cooperation and innovation on the performance of supply chains using statistical method of meta-analysis. J. Int. Stud. Vol. 2020, 13, 111–128. [Google Scholar] [CrossRef] [PubMed]
  20. Maroušek, J. Study on agriculture decision-makers behavior on sustainable energy utilization. J. Agric. Environ. Ethics 2013, 26, 679–689. [Google Scholar] [CrossRef]
  21. Muo, I.; Azeez, A.A. Green entrepreneurship: Literature review and agenda for future research. Int. J. Entrep. Knowl. 2019, 7, 17–29. [Google Scholar] [CrossRef]
  22. Maroušek, J.; Myšková, K.; Žák, J. Managing environmental innovation: Case study on biorefinery concept. Rev. TÉCnica Fac. Ing. Univ. Del Zulia 2015, 38, 216–220. [Google Scholar]
  23. Ritzenhofen, I.; Birge, J.R.; Spinler, S. Robustness of Renewable Energy Support Schemes Facing Uncertainty and Regulatory Ambiguity; Working Paper; Booth School of Business, University of Chicago: Chicago, IL, USA, 2014. [Google Scholar]
  24. Liu, S.; Yang, Q.; Cai, H.; Yan, M.; Zhang, M.; Wu, D.; Xie, M. Market reform of Yunnan electricity in southwestern China: Practice, challenges and implications. Renew. Sustain. Energy Rev. 2019, 113, 109265. [Google Scholar] [CrossRef]
  25. Kaleta, M. Aided design of market mechanisms for electricity clusters. Cent. Eur. J. Oper. Res. 2019, 28, 1–24. [Google Scholar] [CrossRef] [Green Version]
  26. Palacio, S.M. Predicting collusive patterns in a liberalized electricity market with mandatory auctions of forward contracts. Energy Policy 2020, 139, 111311. [Google Scholar] [CrossRef]
  27. Klemperer, P.D.; Meyer, M.A. Supply function equilibria in oligopoly under uncertainty. Econom. J. Econom. Soc. 1989, 57, 1243–1277. [Google Scholar] [CrossRef] [Green Version]
  28. Green, R.J.; Newbery, D.M. Competition in the British electricity spot market. J. Political Econ. 1992, 100, 929–953. [Google Scholar] [CrossRef]
  29. Anderson, E.J.; Hu, X. Finding supply function equilibria with asymmetric firms. Oper. Res. 2008, 56, 697–711. [Google Scholar] [CrossRef] [Green Version]
  30. Singer, J.I. Double auctions across a constrained transmission line. Oper. Res. 2002, 50, 449–461. [Google Scholar] [CrossRef]
  31. Banal-Estanol, A.; Micola, A.R. Composition of electricity generation portfolios, pivotal dynamics, and market prices. Manag. Sci. 2009, 55, 1813–1831. [Google Scholar] [CrossRef] [Green Version]
  32. Peura, H.; Bunn, D.W. Dynamic pricing of peak production. Oper. Res. 2015, 63, 1262–1279. [Google Scholar] [CrossRef] [Green Version]
  33. Wilson, R. Supply function equilibrium in a constrained transmission system. Oper. Res. 2008, 56, 369–382. [Google Scholar] [CrossRef]
  34. Anderson, E.J. On the existence of supply function equilibria. Math. Program. 2013, 140, 323–349. [Google Scholar] [CrossRef]
  35. Downward, A.; Zakeri, G.; Philpottt, A. On Cournot equilibria in electricity transmission networks. Oper. Res. 2010, 58, 1194–1209. [Google Scholar] [CrossRef]
  36. Salant, D.; Stoddard, R. Auction Design for Capacity Markets; Working Paper; Auction Technologies: West Harwich, MA, USA, 2008. [Google Scholar]
  37. Schummer, J.; Vohra, R.V. Auctions for procuring options. Oper. Res. 2003, 51, 41–51. [Google Scholar] [CrossRef] [Green Version]
  38. Fabra, N.; Fehr, N.H.; Harbord, D. Designing electricity auctions. RAND J. Econ. 2006, 37, 23–46. [Google Scholar] [CrossRef] [Green Version]
  39. FERC. FERC Docket Nos. ER10-787-000, EL10-50-000 and EL10-57-000, First Brief of ISO New England Inc.; Report; Federal Energy Regulatory Committee: Washington, DC, USA, 2012.
  40. Cramton, P.; Ockenfels, A.; Stoft, S. Capacity market fundamentals. Econ. Energy Environ. Policy 2013, 2, 27–46. [Google Scholar] [CrossRef] [Green Version]
  41. De Frutos, M.; Fabra, N. Endogenous capacities and price competition: The role of demand uncertainty. Int. J. Ind. Organ. 2011, 29, 399–411. [Google Scholar] [CrossRef] [Green Version]
  42. Perakis, G.; Sun, W. Efficiency analysis of cournot competition in service industries with congestion. Manag. Sci. 2014, 60, 2684–2700. [Google Scholar] [CrossRef] [Green Version]
  43. Bergemann, D.; Välimäki, J. Information acquisition and efficient mechanism design. Econometrica 2002, 70, 1007–1033. [Google Scholar] [CrossRef] [Green Version]
  44. Ehrenmann, A.; Smeers, Y. Generation capacity expansion in a risky environment: A stochastic equilibrium analysis. Oper. Res. 2011, 59, 1332–1346. [Google Scholar] [CrossRef]
  45. Joskow, P. Competitive Electricity Markets and Investment in New Generating Capacity; Working Paper; AEI-Brookings Joint Center: Washington, DC, USA, 2006. [Google Scholar]
  46. Hogan, W. Electricity scarcity pricing through operating reserves. Econ. Energy Environ. Policy 2013, 2, 65–86. [Google Scholar] [CrossRef] [Green Version]
  47. Allaz, B.; Vila, J.L. Cournot competition, forward markets and efficiency. J. Econ. Theory 1993, 59, 1–16. [Google Scholar] [CrossRef]
  48. Hogan, W. On an Energy only Electricity Market Design for Resource Adequacy; Working Paper; Harvard Kennedy School: Cambridge, MA, USA, 2005. [Google Scholar]
  49. Henriot, A.; Glachant, J.M. Melting pots and salad bowls: The current debate on electricity market design for integration of intermittent RES. Util. Policy 2013, 27, 57–64. [Google Scholar] [CrossRef]
  50. Hach, D.; Chyong, C.K.; Spinler, S. Capacity market design options: A dynamic capacity investment model and a GB case study. Eur. J. Oper. Res. 2016, 249, 691–705. [Google Scholar] [CrossRef] [Green Version]
  51. Bushnell, J.B.; Ishii, J. An Equilibrium Model of Investment in Restructured Electricity Markets; Working Paper; Center for the Study of Energy Markets, University of California Berkeley: Berkeley, CA, USA, 2007. [Google Scholar]
  52. Aflaki, S.; Netessine, S. Strategic investment in renewable energy sources: The effect of supply intermittency. Manuf. Serv. Oper. Manag. 2017, 19, 489–507. [Google Scholar] [CrossRef]
  53. Rasouli, M.; Teneketzis, D. A methodology for Generation Expansion Planning for renewable energy economies. In Proceedings of the 2016 IEEE 55th Conference on Decision and Control (CDC), Las Vegas, NV, USA, 12–14 December 2016; pp. 1556–1563. [Google Scholar]
  54. Drake, D.F. Carbon tariffs: Effects in settings with technology choice and foreign production cost advantage. Manuf. Serv. Oper. Manag. 2018, 20, 667–686. [Google Scholar] [CrossRef]
  55. Drake, D.F.; Kleindorfer, P.R.; Van Wassenhove, L.N. Technology choice and capacity portfolios under emissions regulation. Prod. Oper. Manag. 2016, 25, 1006–1025. [Google Scholar] [CrossRef]
  56. Weitzman, M.L. Prices vs. quantities. Rev. Econ. Stud. 1974, 41, 477–491. [Google Scholar] [CrossRef]
  57. Keohane, N.O. Cap and trade, rehabilitated: Using tradable permits to control US greenhouse gases. Rev. Environ. Econ. Policy 2009, 3, 42–62. [Google Scholar] [CrossRef] [Green Version]
  58. Maskin, E. Nash equilibrium and welfare optimality. Rev. Econ. Stud. 1999, 66, 23–38. [Google Scholar] [CrossRef]
  59. Dasgupta, P.; Hammond, P.; Maskin, E. The implementation of social choice rules: Some general results on incentive compatibility. Rev. Econ. Stud. 1979, 46, 185–216. [Google Scholar] [CrossRef]
  60. Danilov, V. Implementation via Nash equilibria. Econom. J. Econom. Soc. 1992, 60, 43–56. [Google Scholar] [CrossRef]
  61. Moulin, H. The Strategy of Social Choice; Elsevier: Amsterdam, The Netherlands, 1983. [Google Scholar]
  62. Muller, E.; Satterthwaite, M.A. The equivalence of strong positive association and strategy-proofness. J. Econ. Theory 1977, 14, 412–418. [Google Scholar] [CrossRef]
  63. Roberts, K. The characterization of implementable choice rules. Aggreg. Revel. Prefer. 1979, 12, 321–348. [Google Scholar]
  64. Hurwicz, L. Outcome functions yielding Walrasian and Lindahl allocations at Nash equilibrium points. Rev. Econ. Stud. 1979, 46, 217–225. [Google Scholar] [CrossRef]
  65. Moore, J.; Repullo, R. Nash implementation: A full characterization. Econometrica (1986–1998) 1990, 58, 1083. [Google Scholar] [CrossRef]
  66. Dutta, B.; Sen, A. A necessary and sufficient condition for two-person Nash implementation. Rev. Econ. Stud. 1991, 58, 121–128. [Google Scholar] [CrossRef]
  67. Maskin, E.; Sjöström, T. Implementation theory. Handb. Soc. Choice Welf. 2002, 1, 237–288. [Google Scholar]
  68. Jackson, M.O. A crash course in implementation theory. Handb. Soc. Choice Welf. 2001, 18, 655–708. [Google Scholar] [CrossRef] [Green Version]
  69. Sinha, A.; Anastasopoulos, A. A general mechanism design methodology for social utility maximization with linear constraints. ACM SIGMETRICS Perform. Eval. Rev. 2014, 42, 12–15. [Google Scholar] [CrossRef]
  70. Farhadi, F.; Golestani, S.J.; Teneketzis, D. A surrogate optimization-based mechanism for resource allocation and routing in networks with strategic agents. IEEE Trans. Autom. Control 2019, 64, 464–479. [Google Scholar] [CrossRef]
  71. Sharma, S.; Teneketzis, D. Local public good provisioning in networks: A Nash implementation mechanism. IEEE J. Sel. Areas Commun. 2012, 30, 2105–2116. [Google Scholar] [CrossRef] [Green Version]
  72. Kuru, D.; Bayraktar, S. The effect of cyber-risk insurance to social welfare. J. Financ. Crime 2017, 24, 329–346. [Google Scholar] [CrossRef]
  73. Rasouli, M.; Teneketzis, D. An efficient market design for electricity networks with strategic users possessing local information. IEEE Trans. Control. Netw. Syst. 2019, 6, 1038–1049. [Google Scholar] [CrossRef]
  74. Moore, J.; Repullo, R. Subgame perfect implementation. Econom. J. Econom. Soc. 1988, 56, 1191–1220. [Google Scholar] [CrossRef]
  75. Abreu, D.; Sen, A. Subgame perfect implementation: A necessary and almost sufficient condition. J. Econ. Theory 1990, 50, 285–299. [Google Scholar] [CrossRef]
  76. Alizadeh, R.; Soltanisehat, L. Stay competitive in 2035: A scenario-based method to foresight in the design and manufacturing industry. Foresight 2020, 22, 309–330. [Google Scholar] [CrossRef]
  77. Alizadeh, R.; Beiragh, R.G.; Soltanisehat, L.; Soltanzadeh, E.; Lund, P.D. Performance evaluation of complex electricity generation systems: A dynamic network-based data envelopment analysis approach. Energy Econ. 2020, 91, 104894. [Google Scholar] [CrossRef]
  78. Jia, L.; Alizadeh, R.; Hao, J.; Wang, G.; Allen, J.K.; Mistree, F. A rule-based method for automated surrogate model selection. Adv. Eng. Inform. 2020, 45, 101123. [Google Scholar] [CrossRef]
  79. Alizadeh, R.; Allen, J.K.; Mistree, F. Managing computational complexity using surrogate models: A critical review. Res. Eng. Des. 2020, 31, 275–298. [Google Scholar] [CrossRef]
  80. Hnatyshyn, M. Decomposition analysis of the impact of economic growth on ammonia and nitrogen oxides emissions in the European Union. J. Int. Stud. 2018, 11, 201–209. [Google Scholar] [CrossRef] [Green Version]
  81. Peters, E.; Kliestik, T.; Musa, H.; Durana, P. Product decision-making information systems, real-time big data analytics, and deep learning-enabled smart process planning in sustainable industry 4.0. J. Self-Gov. Manag. Econ. 2020, 8, 16–22. [Google Scholar]
  82. Valaskova, K.; Throne, O.; Kral, P.; Michalkova, L. Deep learning-enabled smart process planning in cyber-physical system-based manufacturing. J. Self-Gov. Manag. Econ. 2020, 8, 121–127. [Google Scholar]
  83. Divényi, D.; Polgári, B.; Sleisz, Á.; Sorés, P.; Raisz, D. Algorithm design for European electricity market clearing with joint allocation of energy and control reserves. Int. J. Electr. Power Energy Syst. 2019, 111, 269–285. [Google Scholar] [CrossRef]
  84. Ventosa, M.; Baıllo, A.; Ramos, A.; Rivier, M. Electricity market modeling trends. Energy Policy 2005, 33, 897–913. [Google Scholar] [CrossRef]
  85. CAISO. California ISO Price Map. 2018. Available online: http://www.caiso.com/TodaysOutlook/Pages/Prices.aspx (accessed on 9 August 2020).
  86. Cadwalader, M.; Gribik, P.; Hogan, W.; Pope, S. Extended LMP and Financial Transmission Rights; Working Paper; Harvard Kennedy School, Harvard University: Cambridge, MA, USA, 2010. [Google Scholar]
  87. Ehrenmann, A.; Neuhoff, K. A comparison of electricity market designs in networks. Oper. Res. 2009, 57, 274–286. [Google Scholar] [CrossRef]
  88. Wang, J.J.; Zender, J.F. Auctioning divisible goods. J. Econ. Theory 2002, 19, 673–705. [Google Scholar] [CrossRef]
  89. Soltanisehat, L.; Alizadeh, R.; Hao, H.; Choo, K.K.R. Technical, Temporal, and Spatial Research Challenges and Opportunities in Blockchain-Based Healthcare: A Systematic Literature Review. IEEE Trans. Eng. Manag. 2020. [Google Scholar] [CrossRef]
  90. Williams, J.; Alizadeh, R.; Allen, J.K.; Mistree, F. Using Network Partitioning to Design a Green Supply Chain. In International Design Engineering Technical Conferences and Computers and Information in Engineering Conference; American Society of Mechanical Engineers: New York, NY, USA, 2020; Volume 84010, p. V11BT11A050. [Google Scholar]
  91. Rockafellar, R.T. Convex Analysis; Princeton University Press: Princeton, NJ, USA, 2015. [Google Scholar]
Figure 1. Timeline of events in the electricity industry during period t to t + 1 .
Figure 1. Timeline of events in the electricity industry during period t to t + 1 .
Sustainability 13 04197 g001
Figure 2. Timeline for the proposed energy-and-capacity mechanism.
Figure 2. Timeline for the proposed energy-and-capacity mechanism.
Sustainability 13 04197 g002
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Rasouli, M.; Teneketzis, D. Economizing the Uneconomic: Markets for Reliable, Sustainable, and Price Efficient Electricity. Sustainability 2021, 13, 4197. https://doi.org/10.3390/su13084197

AMA Style

Rasouli M, Teneketzis D. Economizing the Uneconomic: Markets for Reliable, Sustainable, and Price Efficient Electricity. Sustainability. 2021; 13(8):4197. https://doi.org/10.3390/su13084197

Chicago/Turabian Style

Rasouli, Mohammad, and Demosthenis Teneketzis. 2021. "Economizing the Uneconomic: Markets for Reliable, Sustainable, and Price Efficient Electricity" Sustainability 13, no. 8: 4197. https://doi.org/10.3390/su13084197

APA Style

Rasouli, M., & Teneketzis, D. (2021). Economizing the Uneconomic: Markets for Reliable, Sustainable, and Price Efficient Electricity. Sustainability, 13(8), 4197. https://doi.org/10.3390/su13084197

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop