Aggregate excess demand 2026-10-14
Aggregate excess demand subtracts total endowment from the sum of consumers' demand correspondences. A market-clearing price satisfies . Under Walras law, one equation is redundant after price normalization.
If zero is a regular value of the joint smooth aggregate excess demand , almost every parameter gives a regular economy. The regular level set theorem makes the zero set a manifold. Its projection to parameter space fails to have full rank exactly where the derivative with respect to prices is singular; Sard theorem makes these exceptional parameter values a null set.
Normalize the second price to one and write for the first price and for the varying endowment. Let be first-good aggregate excess demand. Under Walras law, the second excess-demand coordinate equals , so one market-clearing equation suffices. A regular exchange economy at fixed has at every equilibrium.
A sufficient joint condition is that zero be a regular value of the smooth map :
To prove the almost-everywhere conclusion, the regular level set theorem makes a smooth one-dimensional manifold. Project to the parameter axis by . Its tangent space consists of vectors with . If , every is possible, so the derivative of is surjective. If , the joint condition gives , forcing ; the point is critical for .
Thus the parameters with a singular equilibrium are exactly the critical values of this projection. Sard theorem makes that set a null set. Therefore almost every parameter gives a regular economy. No claim of existence at every parameter is needed for this sufficient regularity criterion.
Write the first endowment as . The budget constraint at normalized prices is . Because the quasilinear utility is increasing in , the budget binds, and its maximization reduces to maximizing over . Its derivative is and its second derivative is , giving the unique demand correspondence
The first-good demand has no wealth effect. Since the second consumer's endowment and preference relation are fixed, everywhere. Thus the joint condition of part (a) becomes at equilibrium; it is not automatically satisfied.
Here is a complete smooth counterexample, with the second consumer's consumption set specified explicitly. The question does not impose the first consumer's consumption set on the second consumer. Take endowments and . Give the second consumer consumption set , where , and put . Its utility function is
This defines complete, transitive, continuous preference relations. It is in fact smooth on : writing and , the positive branch is ; at all derivatives tend to zero locally uniformly where . The endowment belongs to . Allowing negative holdings is explicit here, just as the first consumer's second coordinate is unrestricted in the printed question.
We now derive, rather than posit, the second consumer's demand correspondence. For , the upper contour is described by , with . At a fixed , its cheapest first coordinate uses . Minimizing total expenditure over therefore means minimizing
The unique minimum occurs at , with . The expenditure necessary to reach this contour is consequently
Set and . Wealth is , so the best affordable contour has
All affordable positive-utility bundles have , and the minimum-expenditure bundle on that contour is unique and spends precisely the budget. Zero-utility bundles cannot be optimal because this positive-utility bundle is available. Substitution yields globally smooth unique demands for every :
The aggregate excess demand is now
For every , the unique equilibrium price is , and . At this price the allocations are and , whose sum equals the aggregate endowment . Second-good excess demand is , so it too is smooth and clears. Hence every economy in this smooth parameterized family is singular. This demonstrates why the first consumer's missing wealth effect alone gives no transversality guarantee; the stronger conclusion in part (c) comes from the second consumer's additional demand restriction.
Regular exchange economy 2026-10-14
An exchange economy is regular when the derivative of its reduced aggregate excess demand has full rank at every equilibrium. For two goods and normalized prices , this means at every zero of first-good excess demand. Regular equilibria are locally isolated and persist smoothly under small parameter changes.