Topics in Consumer Theory
Oh, Hyunzi. (email: wisdom302@naver.com)
Korea University, Graduate School of Economics.
2024 Spring, instructed by prof. Koh, Youngwoo.
We have already shown the 'if' part throughout the Basic Consumer TheoryBasic Consumer Theory. Now we want to show the 'only if' part: If
WTS:
Let
Proof. Let
then by Basic Consumer Theory > ^234209Basic Consumer Theory > Proposition 35 (Shephard's lemma), we have the system of partial differential equations of
By the Introductory Analysis > ^41b94fIntroductory Analysis > Theorem 42 (Frobenius' Theorem), the system has a solution if and only if the
Let
Proof. note that the demand function
First we differentiate
therefore, by integrating the sum, we have
Let
Then for each utility
Proof. WTS
WTS#1:
Remark Basic Consumer Theory > ^99f5aaBasic Consumer Theory > Definition 28 (Expenditure Function):
since
WTS#2:
(
(
since
next, using concavity in
thus we have
ASM:
for any price change
Since welfare is not quantifiable, we can expressed in the monetary term:
Let
from the definition, we have
Suppose that
Suppose the government imposes a tax
Proof.Note that
DWL at
WARP implies that if the consumer choose
만약
을 선택할 때 도 선택 가능했다면 ( ), 을 선택하는 경우는 가 선택 불가능한 때이다( ).
Let
Proof.
WTS#1 HOD0:
let
RTA suppose
However, from the previous equation, we have
WTA#2 n.s.d. of Slutsky matrix.
fix
then we have
since
However, WARP is not a sufficient condition for the utility maximization.
Consider following data:
Proof.
while satisfying WARP, the data violates transitivity. □
For any list
For any list
Let
A finite set of observations
Under GARP, the optimized demand is always realized in the budget boundary.
Proof.
(
By GARP, if
then we have
Define
WTS#2:
Let
Now we show that
(
Let
Note that AD must be identical for any distributions if the total wealth is the same.
All consumer's wealth expansion paths are parallel and straight (p.s.w.) if for any distributions
A representative consumer in the above sense exists if and only if every consumer has following form of indirect utility function:
Proof. We only prove the (
ASM the indirect utility function is given as