On equity with public goods

Existence theorems for envy-free and efficient allocations are derived for economies with public goods. For economies with an arbitrary but finite number of private and public goods, an adaptation of the existence proof of Svensson for private good economies is used. For economies with one private and one public good, a case often studied in theory and applications, two more direct proofs are given, using different conditions and taking advantage of the particularly simple structure of the set of envy-free allocations in this case. These proofs are also shown to apply to the case of excludable public goods with congestion.