Microeconomic Theory
Homothetic Preferences
Indifference curves that scale radially — and the unit income elasticity that follows
Homothetic preferences have indifference curves that are radial expansions of one another. Demand is linear in income: x_i(p, m) = m · g_i(p). Income elasticity = 1 for every good.
- DefinitionMRS depends on ratio y/x, not levels
- Demand formxᵢ(p, m) = m · gᵢ(p) — linear in income
- Income elasticityExactly 1 for every good
- Expansion pathStraight ray through origin
- ExamplesCobb-Douglas, CES, linear, Leontief
- AggregationGorman 1953 — representative agent works
Interactive visualization
Press play, or step through manually. The visualization is yours to drive — try it before reading on.
Watch the 60-second explainer
A condensed visual walkthrough — narrated, captioned, under a minute.
How homothetic preferences work
Two goods, x and y. The consumer ranks bundles. The preference is homothetic if scaling any bundle up or down by a positive constant preserves indifference rankings: if A is indifferent to B, then k·A is indifferent to k·B for any k > 0. Geometrically, every indifference curve is a radial expansion of the lowest one — like nested similar shapes radiating from the origin.
The behavioral consequence is striking. The marginal rate of substitution — how much y you'd trade for one more x — depends only on the ratio y/x, not on the levels. A poor consumer at (1, 2) and a rich consumer at (100, 200) have the same MRS, because they sit on different indifference curves but at the same direction from the origin.
Because the MRS is constant along rays, tangency between an indifference curve and a budget line at one income level pins down the tangency direction for all income levels. As income grows with prices held fixed, the optimum slides outward along a straight line through the origin. Doubling income doubles every optimal quantity. That's why demand has the form xᵢ(p, m) = m · gᵢ(p): linear in income, with all the price-dependence collapsed into a separate function gᵢ(p).
Canonical homothetic utility functions
Most workhorse utility forms in graduate micro and macro are homothetic by construction.
- Cobb-Douglas:
U = x^α · y^(1-α). Demand:x* = α·m/p_x,y* = (1-α)·m/p_y. Each good gets a constant share α of income. - CES (constant elasticity of substitution):
U = (α·x^ρ + (1-α)·y^ρ)^(1/ρ). Elasticity of substitution isσ = 1/(1-ρ). Special cases: ρ → 1 is linear; ρ → 0 is Cobb-Douglas; ρ → −∞ is Leontief. - Linear (perfect substitutes):
U = a·x + b·y. Either spend everything on x or everything on y, depending on price ratio. - Leontief (perfect complements):
U = min(a·x, b·y). Consume in fixed proportions a:b regardless of prices.
What unites them: in each case the indifference curves are radial blow-ups of one another. The Cobb-Douglas curves are nested hyperbolas; the linear curves are nested straight lines; the Leontief curves are nested L-shapes; the CES curves smoothly interpolate. All four produce straight income expansion paths and unit income elasticity.
Homothetic vs non-homothetic preferences
| Cobb-Douglas (homothetic) | CES (homothetic) | Stone-Geary (non-homothetic) | Quasi-linear (non-homothetic) | Almost Ideal (Deaton-Muellbauer) | Non-homothetic CES | |
|---|---|---|---|---|---|---|
| Indifference curves | Radial hyperbolas | Radial CES level sets | Hyperbolas shifted by subsistence floor | Vertical translates | Flexible — log-form curves | Non-radial |
| Income expansion path | Ray through origin | Ray through origin | Ray through (γ_x, γ_y) | Vertical line | Variable shape | Curves with income |
| Income elasticity | 1 for every good | 1 for every good | 1 above subsistence; less below | 0 for one good (numeraire) | Variable — fits data | Different across goods |
| Engel's law fit | Fails — equal shares forever | Fails — equal shares forever | Captures subsistence | Captures necessity | Fits empirical data well | Captures luxury-necessity gap |
| Aggregation | Perfect (Gorman) | Perfect (Gorman) | Imperfect | Imperfect | Imperfect | Imperfect |
| Used in | Production, trade, macro | Trade (Krugman), growth | Empirical demand systems | Mechanism design, partial-equilibrium welfare | Empirical demand systems | Modern trade (Caron et al. 2014) |
| Reference | Cobb-Douglas 1928 | Arrow-Chenery-Minhas-Solow 1961 | Stone 1954, Geary 1950 | — | Deaton-Muellbauer 1980 | Comin-Lashkari-Mestieri 2021 |
Worked example: Cobb-Douglas demand and income doubling
A consumer has preferences U = x^0.4 · y^0.6, faces prices p_x = $4, p_y = $2, and income m = $100. Solve the optimization: max x^0.4·y^0.6 s.t. 4x + 2y = 100.
Cobb-Douglas demands: x*(p, m) = α·m/p_x = 0.4 · 100 / 4 = 10, y*(p, m) = (1−α)·m/p_y = 0.6 · 100 / 2 = 30. The consumer buys 10 units of x and 30 units of y, spending $40 + $60 = $100. Utility: 10^0.4 · 30^0.6 ≈ 2.512 · 7.696 ≈ 19.34.
Now double income to m = $200. New demands: x* = 0.4 · 200 / 4 = 20, y* = 0.6 · 200 / 2 = 60. Each quantity doubled. The ratio y/x stayed at 3:1, just at twice the scale. The new bundle (20, 60) sits on the same ray from the origin as (10, 30). New utility: 20^0.4 · 60^0.6 ≈ 2.0 · 19.34 = 38.68 — also doubled (utility is homogeneous of degree 1 here).
Try the same at m = $300: x* = 30, y* = 90. Same ray, scaled threefold. The income expansion path traced by varying m is the line y = 3x — a straight ray through the origin. Engel's law (food share falling as income rises) never holds for this consumer: their share on x stays 40% at every income level. That's both the appeal (analytical tractability) and the limitation (empirical falsity) of homotheticity.
Why homotheticity earns its central place
- Aggregation. Gorman (1953) proved that representative-agent demand functions exist precisely when individual preferences are homothetic with identical price-dependence. Without this, macroeconomic models must track income distribution explicitly.
- Constant expenditure shares. Cobb-Douglas demands keep budget shares constant — a useful approximation for short-run analysis and the basis of national-income accounting in many textbook models.
- Trade theory. The Helpman-Krugman (1985) gravity equation derives bilateral trade as proportional to GDP product. Homothetic preferences are the key: every country's consumers buy goods in the same proportions, so trade scales with size.
- Growth theory. Balanced-growth paths require homotheticity. If consumption shares shifted as income grew (Engel's law), real growth rates of different sectors would diverge, breaking the balanced-growth property.
- Welfare analysis. The expenditure function under homotheticity factors:
e(p, u) = u · e(p, 1). Compensating variation calculations become trivial — multiply utility ratio by current expenditure.
Variants and refinements
- Homogeneous of degree 1. The strictest form.
U(t·x) = t·U(x). Cobb-Douglas with α + β = 1 qualifies;x^α · y^βwith α + β > 1 does not — though it's still homothetic because a monotone transformation makes it homogeneous of degree 1. - Homothetic (general). Any monotone transformation of a homogeneous-of-degree-1 function. Equivalently: indifference curves are radial blow-ups. The behavioral content is the same as homogeneity; the cardinal utility may differ.
- Stone-Geary.
U = (x − γ_x)^α · (y − γ_y)^(1-α). Behaves homothetically about the subsistence point(γ_x, γ_y)rather than the origin. Income expansion path is a ray through(γ_x, γ_y). The Linear Expenditure System uses this. - Quasi-linear utility.
U = v(x) + ywhere y is the numeraire (e.g., money). Income elasticity of x is zero. Non-homothetic. Standard in partial-equilibrium welfare analysis because the consumer-surplus and equivalent-variation measures coincide. - Almost Ideal Demand System (AIDS). Deaton-Muellbauer (1980). Specifies budget shares as flexible functions of log prices and log real income. Nests homotheticity as a special case but fits empirical Engel curves much better.
- Non-homothetic CES. Comin-Lashkari-Mestieri (2021) extends CES to allow different income elasticities across goods. Reconciles balanced-growth tractability with realistic income elasticities.
A brief history
The term homothetic traces to Greek homos (same) + tithenai (to place) — bundles "placed similarly" from the origin. Hicks and Allen used homothetic indifference maps in their 1934 papers on consumer theory. Paul Samuelson's Foundations (1947) formalized the connection to homogeneous utility functions.
The pivotal aggregation theorem is W. M. Gorman's 1953 Econometrica paper "Community Preference Fields," which proved that aggregate demand depends only on aggregate income (independent of distribution) if and only if individual indirect utilities are linear in income with identical price-dependence — equivalently, if and only if all consumers have identical homothetic preferences. This is the formal foundation for using a representative agent in macro and trade.
The empirical critique runs equally deep. Ernst Engel's 1857 paper "The Production and Consumption Relations of the Kingdom of Saxony" established the law that food expenditure shares fall with rising income — a direct violation of homotheticity. Modern trade and growth theory (Comin, Lashkari, Mestieri 2021; Caron-Fally-Markusen 2014) has begun systematically incorporating non-homothetic preferences to match data.
Common pitfalls
- Conflating homothetic with homogeneous. Homogeneous of degree 1 is a special case of homothetic. Any utility function that's a monotone transformation of a degree-1 function — like
(x·y)^2— is homothetic but degree 4 in its current form. - Forgetting price-dependence. Homotheticity restricts how demand varies in income, not in prices. Price elasticities of demand can be any value at all — homotheticity is silent on them.
- Reading equal shares too literally. Cobb-Douglas gives constant shares across income; CES gives constant cost shares, but expenditure shares vary with prices. Both are homothetic.
- Assuming it fits the data. Engel's law is one of the oldest empirical regularities in economics. Real preferences are not homothetic; homotheticity is a useful approximation, not a description.
- Confusing with quasi-linear. Quasi-linear utility has zero income effect on one good — the opposite of homotheticity, which proportionally distributes income across all goods.
- Ignoring the Gorman link. The representative agent in macroeconomics is allowed precisely because homothetic preferences support it. Drop homotheticity and the entire DSGE apparatus needs distributional assumptions.
- Mistaking unit elasticity for inelasticity. Income elasticity = 1 means proportional response; it's not "no response."
When the assumption pays its way
- Short-run macro models. Aggregate demand systems where Gorman aggregation matters more than Engel fit.
- Trade theory. Gravity equations require demand proportionality across income levels.
- Growth theory. Balanced-growth equilibria are sustainable only under homothetic preferences.
- Industrial organization. Constant elasticity of substitution within a sector simplifies firm pricing.
- General-equilibrium computation. CES-Cobb-Douglas systems are the only ones with closed-form general-equilibrium prices.
- Welfare measurement. Compensating variation and equivalent variation simplify dramatically; expenditure functions factor.
Frequently asked questions
What are homothetic preferences?
Preferences whose indifference curves are radial expansions of one another: if bundle (x, y) is indifferent to (x', y'), then so is (k·x, k·y) and (k·x', k·y') for any k > 0. Equivalently, the marginal rate of substitution depends only on the ratio y/x, not on the levels. Formally, the preference relation can be represented by a utility function homogeneous of degree 1 — or any monotone transformation of one.
Why is demand linear in income?
If U is homogeneous of degree 1, then doubling income doubles every optimal choice: x*(p, 2m) = 2 · x*(p, m). The income expansion path — the locus of optimal bundles as income varies — is a straight ray through the origin. Demand has the form x_i(p, m) = m · g_i(p), where g_i depends only on prices. Consequence: income elasticity equals exactly 1 for every good.
What's the income expansion path?
The locus of optimal consumption bundles as income m varies, holding prices fixed. For homothetic preferences, it's a straight ray through the origin — every dollar of additional income is spent in the same proportions across goods. For non-homothetic preferences (Stone-Geary, quasi-linear), the path bends, reflecting changing budget shares as income grows.
Which utility functions are homothetic?
Many standard forms. (1) Cobb-Douglas: U = x^α · y^(1-α). (2) CES: U = (α·x^ρ + (1-α)·y^ρ)^(1/ρ). (3) Linear (perfect substitutes): U = a·x + b·y. (4) Leontief (perfect complements): U = min(a·x, b·y). All four have unit income elasticity. Non-homothetic: Stone-Geary (subsistence floor), quasi-linear utility, anything with a non-proportional income term.
Why is this assumption used in macroeconomics?
Homothetic preferences are the only ones for which a representative-agent aggregator exists when individuals face the same prices. If preferences are homothetic and identical across consumers, demand aggregates: aggregate demand depends only on aggregate income, not distribution. Without this property, every macro model would need to track income distribution explicitly. Gorman 1953 proved the formal aggregation result; Helpman-Krugman 1985 used homothetic preferences to derive the gravity equation in trade.
What does the empirical data say?
Real preferences are not homothetic. Engel's law (1857): food shares of expenditure fall as income rises. Necessities have income elasticities below 1; luxuries have elasticities above 1. The Almost Ideal Demand System (Deaton-Muellbauer 1980) and Stone-Geary forms relax homotheticity. Modern trade and growth theory increasingly uses non-homothetic preferences (Comin-Lashkari-Mestieri 2021) to match Engel curves.
What's homogeneous of degree 1?
A function U is homogeneous of degree k if U(t·x) = t^k · U(x) for all t > 0. Degree 1 (also called linear homogeneous): doubling inputs doubles output. Cobb-Douglas U = x^α · y^(1-α) is homogeneous of degree 1 if α + (1-α) = 1. Note: homothetic is more general than homogeneous — any monotone transformation of a homogeneous-of-degree-1 utility is homothetic. The behavioral content is in the level curves, not the labels.