I am reading 'Cities, Agglomeration and Spatial Equilibrium' by Ed Glaeser.
People live in a monocentric city, where consumers of heterogeneous income $y$ work at the centre of the city. They buy $H(y)$ housing for a price $p(d)$ at distance $d$ from the centre, incurring transport costs $t(y)d$ as they commute to work.
Consumers have a utility function:
$U(C,H)=v(y - t(y)d - p(d)H(y),H(y))$
The budget constraint is:
$C = y - t(y)d - p(d)H(y)$ where C is consumption net of transport and housing.
The tangency condition implies:
$\frac{U_1}{U_2} = p(d)$
where the subscript 1 denotes partial differentiation w.r.t. the first argument etc.
By the spatial equilibrium assumption, $\frac{dU}{dd}=0$: there are no rents to be gained by changing location.
$\frac{dU}{dd} = U_1(-t(y)-p'(d)H(y))=0$
$\therefore p'(d)=\frac{-t(y)}{H(y)}$: the price of housing declines with distance $d$.
If the income elasticity of housing is greater than that of transport (i.e. $H(y)$ increases in $y$ more than $t(y)$ does), the rich (higher $y$) will live in the suburbs. Mathematically, the denominator gets larger than the numerator and the price gradient is less steep. The willingness to pay declines less with distance for the rich.
The book then defines the income associated with each distance $y(d)$ and differentiates again to find the 2nd order condition, $p''(d)>0$.
The book states that this is:
$p''(d)=\frac{t(y)H'(y)-H(y)t'(y)}{y'(d)}>0$
But I believe this is incorrect an should be:
$p''(d)=\frac{(t(y)H'(y)-H(y)t'(y))y'(d)}{H^2(y)}>0$
Am I correct?
Also, how can you ignore the fact that $y=y(d)$ when calculating the 1st order condition then introduce it when you differentiate to find the 2nd order condition?
Should you not state $U(y(d)-t(y(d))d-p(d)H(y(d)),H(y(d)))$ and differentiate twice?