Resource Allocation in Electricity Markets with Budget Constrained Customers

Probleemstelling

Het paper adresseert de uitdagingen bij het modelleren van elektriciteitsmarkten waarbij klanten gebonden zijn aan budgetten. Traditionele modellen voor sociale welvaartmaximalisatie (som van gebruiksnut minus systeemkosten) veronderstellen vaak dat gebruikers onbeperkt kunnen consumeren zolang de marginale kosten dat toelaten. Echter, in de praktijk vormen budgetten een harde beperking: de uitgaven van een gebruiker ($p \times q$) mogen een bepaalde bovengrens ($b_i$) niet overschrijden.

De kern van het probleem is dat deze budgetbeperking zelfreferentieel is:

1. De prijs ($\lambda$) wordt bepaald door het marktevenwicht (de duale variabele van de balansvergelijking).
2. De budgetbeperking ($\lambda x_i \leq b_i$) hangt af van deze prijs.
3. Dit maakt het direct formuleren van een welvaartmaximalisatieprobleem met budgetbeperkingen moeilijk, omdat de prijs die in de beperking voorkomt pas bekend is na het oplossen van het probleem. Bestaande literatuur suggereert dat dit leidt tot niet-convexe problemen en meerdere evenwichten.

Methodologie

De auteurs bieden een oplossing door twee benaderingen te combineren: een iteratief algoritme en een equivalente primitieve formulering.

1. Iteratief Dual-Ascent Algoritme

De auteurs stellen een aangepast dual-ascent algoritme (Algorithm 1) voor om het evenwicht te vinden:

• Gebruikersoptimalisatie: Bij een gegeven prijs $\lambda$, maximaliseert elke gebruiker $i$ zijn nut $u_i(x_i) - \lambda x_i$, onder de beperking $\lambda x_i \leq b_i$. De optimale vraag is een gesloten vorm:
  $$x^*_i(\lambda) = \max\left\{0, \min\left\{(u'_i)^{-1}(\lambda), \frac{b_i}{\lambda}\right\}\right\}$$
  Als het budget bindend is, consumeert de gebruiker $b_i/\lambda$ in plaats van het onbeperkte optimum.
• Systeemoperator: De operator maximaliseert $\lambda y - C(y)$, wat resulteert in $y^*(\lambda) = (C')^{-1}(\lambda)$.
• Prijsupdate: De prijs wordt bijgewerkt via een stapsgewijze aanpassing gebaseerd op het verschil tussen totale vraag en aanbod: $\lambda_{k+1} = \lambda_k + \alpha_k (\sum x^*_i - y^*)$.

2. Primitieve Equivalentie via Gewijzigde Nutfuncties

Het paper toont aan dat het budget-beperkte evenwicht exact overeenkomt met de oplossing van een ongebonden convex optimalisatieprobleem, mits de oorspronkelijke nutfuncties worden vervangen door gewijzigde nutfuncties ($\hat{u}_i$).

• Constructie van $\hat{u}_i$: De nieuwe nutfunctie wordt stuksgewijs gedefinieerd. Waar het budget niet bindend is, blijft de oorspronkelijke nutfunctie $u_i(x)$ behouden. Waar het budget bindend is, wordt de nutfunctie vervangen door een logaritmische functie $b_i \log x$ (plus een constante voor continuïteit).
• Wiskundige basis: De marginale nut van de logaritmische functie ($b/x$) komt exact overeen met de marginale beperking van het budget. De overgangspunten worden bepaald door de snijpunten van $u'_i(x)$ en $b_i/x$.
• Resultaat: Het probleem met budgetbeperkingen wordt dus equivalent aan een convex welvaartmaximalisatieprobleem zonder expliciete prijsbeperkingen, maar met deze nieuwe, gecombineerde nutfuncties.

Belangrijkste Bijdragen

1. Uniciteit van het Evenwicht: Het paper bewijst dat er onder standaard convexiteitsaannames (strikt concave nut, strikt convexe kosten) een uniek concurrentieel evenwichtsprijs bestaat dat de markt zuivert, ondanks de budgetbeperkingen.
2. Convergentie: Het voorgestelde dual-ascent algoritme convergeert gegarandeerd naar dit unieke evenwicht vanuit elke initiële prijs.
3. Primitieve Equivalentie (Theorema 2): De belangrijkste theoretische doorbraak is het bewijs dat het budget-beperkte evenwicht exact de oplossing is van een convex primitief probleem met gewijzigde nutfuncties. Dit elimineert de noodzaak om de prijs expliciet in de beperkingen op te nemen en maakt het probleem toegankelijk voor bestaande methoden voor resource allocation.
4. Expliciete Constructie: De auteurs geven een expliciete, stuksgewijze constructie van de gewijzigde nutfuncties voor algemene concave functies, inclusief voorbeelden met kwadratische en wortelfuncties.

Resultaten en Simulaties

De auteurs valideren hun theorie numeriek met twee voorbeelden:

• Twee gebruikers met kwadratische nut: De simulatie toont de convergentie van de prijs naar $\lambda^* \approx 2.743$. De resultaten tonen aan dat bij budgetbeperking de totale vraag daalt en de prijs lager uitvalt dan in het ongeperste geval, terwijl de uitgaven van de gebruikers precies hun budgetten raken (of eronder blijven).
• Vijf gebruikers met gemengde nutfuncties (kwadratisch en wortel): In een complexer scenario met vijf gebruikers convergeren de iteraties naar een evenwichtsprijs van $\lambda^* \approx 4.845$. De tabellen tonen aan dat de allocatie verschuift: gebruikers met strakke budgetten consumeren minder dan in het ongeperste geval, wat de marktmechanismen beïnvloedt.

De grafieken illustreren dat de gewijzigde nutfuncties ($\hat{u}_i$) de oorspronkelijke functies vervangen door een logaritmisch verloop in de gebieden waar het budget bindend is, wat zorgt voor een langzamere groei van het nut en het budgetgedrag correct modelleert.

Significantie en Toekomstperspectief

Dit paper is significant omdat het een wiskundig robuust raamwerk biedt voor het analyseren van elektriciteitsmarkten met budgetbeperkte gebruikers, een fenomeen dat steeds relevanter wordt door stijgende energieprijzen en grote rekenkracht-loads (zoals AI).

• Het lost het probleem van de "zelfreferentie" van prijzen op door een equivalente convex formulering te vinden.
• Het maakt het mogelijk om bestaande theorieën over resource allocation toe te passen op budgetbeperkte scenario's.

Toekomstige richtingen die door de auteurs worden genoemd, omvatten:

• Uitbreiding naar dynamische, multi-periode tariefsystemen.
• Integratie van eerlijkheidscriteria (zoals proportionele eerlijkheid) naast efficiëntie.
• Uitbreiding naar netwerken met transmissiebeperkingen en knooppuntprijzen (nodal pricing).
• Modellering van aggregatie van kleine gebruikers met budgetbeperkingen.