Skip to content

M17.L04 — The First and Second Welfare Theorems

Module: Module 17 — Exchange Economy and General Equilibrium Lesson: L04 of 05 Duration: ~30 minutes Level: Intermediate Provenance: MIT OCW 14.01 Principles of Microeconomics | Principles of Microeconomics (Curtis and Irvine)

Learning Objective

Explain the conditions under which competitive markets achieve Pareto efficiency.

The Fundamental Welfare Theorems

  1. First Welfare Theorem: Any competitive equilibrium is Pareto efficient
  2. Assumes: no externalities, perfect information, complete markets

  3. Australian example: National Electricity Market achieves efficiency under normal conditions

  4. Second Welfare Theorem: Any efficient allocation can be decentralized via competitive markets after appropriate lump-sum transfers

  5. Requires: convex preferences, no wealth effects
  6. Australian application: Carbon tax revenue redistribution

Mathematically, the theorems rely on: - Separation of efficiency and equity - Convexity of preference sets - Price-taking behavior

Worked Example

[Australian context]

Consider two welfare states: 1. Initial unequal endowments lead to equilibrium at point E1 2. Social planner prefers more equitable allocation E2 on contract curve 3. Implement lump-sum transfer from rich to poor (e.g., Australia's GST redistribution) 4. New equilibrium E2 is both efficient and equitable

Calculus: For U_A = x_A^α y_A^(1-α), U_B = x_B^β y_B^(1-β), the transfer must satisfy:

(p_x Δx + p_y Δy)_A = -(p_x Δx + p_y Δy)_B

Common Misconception

"The Second Theorem means we can always redistribute without efficiency costs"

Correction: Real-world taxes distort behavior (e.g., Australia's debate over dividend imputation).

Key Takeaways

  • First Theorem: markets → efficiency under ideal conditions
  • Second Theorem: redistribution + markets → any desired efficient outcome
  • Australian policy debates often center on these theorems' limitations
  • Practical applications require careful attention to assumptions

Practice

  1. Show why the First Theorem fails with externalities
  2. Design lump-sum transfers to achieve a specific efficient allocation
  3. Analyze how Australia's Medicare levy affects the theorems' applicability

Further Resources

Provenance: Intermediate Microeconomics with Excel (Barreto) | University of Utah Intermediate Microeconomics