Section 4
Assumptions
RCK inherits Solow's technological assumptions and adds preference assumptions. Each assumption below has a specific job in the proof.
Technology (production side)
| Label | Assumption | Why it matters |
|---|---|---|
| T1 | is twice continuously differentiable. | Marginal products are well-defined. |
| T2 | exhibits constant returns to scale: . | Permits the per-worker reduction . |
| T3 | Positive and diminishing marginal products: , . | Ensures a unique steady state and concavity of the planner's value function. |
| T4 | Inada conditions: , . | Guarantees an interior steady state with . |
| T5 | Capital depreciates at constant rate . | Closes the capital accumulation identity . |
| T6 | For the canonical exposition, no technological growth (). Easily relaxed. | Keeps the algebra clean. With , work in effective-worker units and replace with in the Euler equation. |
Demography and markets
| Label | Assumption | Why it matters |
|---|---|---|
| M1 | Population , with . | Per-worker reduction; one source of dilution. |
| M2 | Perfectly competitive factor markets. | Factor prices equal marginal products: , . |
| M3 | Complete asset markets with one safe asset (capital). | Household holds wealth ; arbitrage gives unique. |
| M4 | No taxes, no government - in the baseline. | Added later for policy analysis. |
Preferences (household side)
| Label | Assumption | Why it matters |
|---|---|---|
| P1 | A representative *dynastic* household of mass at time . | Internalises all future generations - no overlapping-generations issues. Aggregation is trivial. |
| P2 | Lifetime utility: . | Discounted time-separable preferences. The discount rate encodes pure impatience. |
| P3 | Per-period utility is CRRA: for , , and for . | Constant intertemporal elasticity of substitution . Required for balanced-growth compatibility. |
| P4 | Transversality / finiteness: . | Without this, the utility integral diverges and no optimum exists. For this reduces to . |
| P5 | Perfect foresight. | Household knows the entire path of prices . In equilibrium these paths are the ones it conjectures. |