Roy's identity (named after French economist René Roy) is a major result in microeconomics having applications in consumer choice and the theory of the firm. The lemma relates the ordinary (Marshallian) demand function to the derivatives of the indirect utility function. Specifically, denoting the indirect utility function as
v(p,w),
i
m | ||
x | (p,w)=- | |
i |
| ||||
|
where
p
w
{}m
Roy's identity is akin to the result that the price derivatives of the expenditure function give the Hicksian demand functions. The additional step of dividing by the wealth derivative of the indirect utility function in Roy's identity is necessary since the indirect utility function, unlike the expenditure function, has an ordinal interpretation: any strictly increasing transformation of the original utility function represents the same preferences.
Roy's identity reformulates Shephard's lemma in order to get a Marshallian demand function for an individual and a good (
i
w
v(p,w)
u
v(p,e(p,u))=u
This says that the indirect utility function evaluated in such a way that minimizes the cost for achieving a certain utility given a set of prices (a vector
p
Taking the derivative of both sides of this equation with respect to the price of a single good
pi
\partialv[p,e(p,u)] | |
\partialw |
\partiale(p,u) | |
\partialpi |
+
\partialv[p,e(p,u)] | |
\partialpi |
=0
Rearranging gives the desired result:
- |
| = | |||
|
\partiale(p,u) | |
\partialpi |
=hi(p,u)=xi(p,e(p,u))
with the second-to-last equality following from Shephard's lemma and the last equality from a basic property of Hicksian demand.
For expositional ease, consider the two-goods case. The indirect utility function
v(p1,p2,w)
l{L}=u(x1,x2)+λ(w-p1x1-p2x2)
By the envelope theorem, the derivatives of the value function
v(p1,p2,w)
\partialv | |
\partialp1 |
=-λ
m | |
x | |
1 |
\partialv | |
\partialw |
=λ
where
m | |
x | |
1 |
- |
| =- | |||
|
| |||||||||
λ |
m | |
=x | |
1 |
This gives a method of deriving the Marshallian demand function of a good for some consumer from the indirect utility function of that consumer. It is also fundamental in deriving the Slutsky equation.