Considere duas empresas em um mercado perfeitamente competitivo. As funções lucro das empresas 1 e 2 são definidas, respectivamente, por:
π1 = pq₁ − c₁(q₁, x)
π2 = pq₂ − c₂(q₂, x),
em que p é o preço, q₁ e q₂ são as quantidades produzidas pelas empresas 1 e 2, respectivamente; c₁( ) e c₂( ) são as funções custos das empresas 1 e 2, respectivamente, e x é o nível de poluição (externalidade) definido apenas pela empresa 1, de tal forma que, o custo marginal de x é negativo para a empresa 1(∂c₁/∂x< 0) e positivo para a empresa 2 (∂c₂/∂x> 0).
Considere duas situações:
1. A solução ótima de externalidade sem coordenação entre as empresas.
2. A solução ótima de externalidade com coordenação entre as empresas.
As condições de primeira ordem na solução ótima da externalidade nas situações 1 e 2 são, respectivamente,