Skip to content

Shephard's Lemma

The duality result that differentiating a regular expenditure or cost value function with respect to a price recovers the associated Hicksian good demand or conditional factor demand.

Version
v1 · 2026-09-28 · History
Domain-specific #
12011
Domain group
Social Sciences
Origin domain
Economics & Finance
Subdomains
Microeconomic Duality, Consumer Theory, Production Theory → Economics & Finance
Aliases
Shephard lemma, Shephard's identity

Core Idea

Shephard's lemma links an optimized value to the choice hidden inside it. In consumer theory, the expenditure function records the minimum spending needed to attain fixed utility at given prices. Where the relevant regularity and uniqueness conditions hold, its partial derivative with respect to a good's price equals the Hicksian, or compensated, demand for that good.

Scope of Application

  • Consumer duality. Expenditure functions generate compensated demand at fixed utility.
  • Production duality. Cost functions generate conditional input demand at fixed output.
  • Comparative statics. Price derivatives expose how an optimized value depends on quantities selected at the optimum.
  • Empirical demand systems. Estimated value functions can imply demand equations when theoretical regularity is imposed and tested.

Clarity

The target held fixed must be explicit: utility for expenditure or output for production. The differentiated object must be the minimized value function, and the derivative must correspond to the same price whose conditional quantity is reported. This bookkeeping distinguishes Hicksian from Marshallian demand and prevents a formal derivative from being assigned the wrong economic interpretation.

Manages Complexity

The lemma compresses a constrained optimization problem into local information from its value function. Once a valid expenditure or cost function is known, conditional quantities can be recovered without resolving every choice from scratch. That economy comes with a price: convexity, differentiability, uniqueness, and correct dual construction carry the inferential burden.

Abstract Reasoning

  1. Specify the consumer or firm minimization problem and the utility or output target held fixed.
  2. Construct the expenditure or cost value function over the relevant price vector.
  3. Verify convexity, uniqueness, differentiability, and other conditions needed for the classical form.
  4. Differentiate with respect to the price of the corresponding good or factor.
  5. Interpret the derivative as compensated good demand or conditional factor demand, not as an unconditional choice.

Knowledge Transfer

The lemma transfers literally between consumer and producer duality because both are minimum-value problems parameterized by prices. The envelope reasoning appears in many optimization settings, but the name Shephard's lemma is best retained where a cost or expenditure derivative recovers conditional demand. Other value-function derivatives are related envelope results.

Relationships to Other Abstractions

Local relationship map for Shephard's LemmaParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Shephard's LemmaDOMAINPrime abstraction: Duality — presupposesDualityPRIME

Current abstraction Shephard's Lemma Domain-specific

Parents (1) — more general patterns this builds on

  • Shephard's Lemma presupposes Duality Prime

    Shephard's Lemma presupposes Duality because the lemma recovers optimizer demand by differentiating a dual value function.

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

Shephard's Lemma sits in a crowded region of the domain-specific corpus (38th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Price Theory & Market Equilibrium (13 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08