Dans un espace à deux bons, le consommateur maximise initialement et nous supposons qu’il obtient la solution en fonction des prix et des revenus. U(x,z)s.t.pxx+pzz=I(x∗,z∗)
Dans le cas contraint, le consommateur choisira ou ), pour certains épuisant toujours son budget, donc en particulier, . Pour que le consommateur puisse toujours choisir d’acheter une quantité strictement positive de , il faut que(0,z~)(x∗+ϵ,z′ϵ>0z~=I/pzx
U(x∗+ϵ,z′)>U(0,z~)
Appliquez une approximation du premier ordre autour de sans ignorer les restes, nous voulons(x∗,z∗)
U(x∗,z∗)+Ux(x∗)⋅ϵ+Uz(z∗)(z′−z∗)+Rϵ>U(x∗,z∗)+Ux(x∗)(−x∗)+Uz(z∗)(z~−z∗)+R0
Simplifier et réorganiser, nous voulons
Ux(x∗)(x∗+ϵ)+Rϵ>Uz(z∗)(z~−z′)+R0
Nous savons que de l'optimisation sans contrainte, soUx(x∗)/Uz(z∗)=px/pz
pxpz(x∗+ϵ)+RϵUz(z∗)>(Ipz−z′)+R0Uz(z∗)
Multiplier tout au long par ,pz
px(x∗+ϵ)+pzRϵUz(z∗)>I−pzz′+pzR0Uz(z∗)
mais donc il nous reste l'exigence que (en ignorant les termes positifs)px(x∗+ϵ)+pzz′=I⟹px(x∗+ϵ)=I−pzz′
Rϵ>R0
afin que le consommateur choisisse et non pour . x∗+ϵ0x
Notez que ce qui précède prend également en compte les signes des restes, il ne s'agit pas seulement de leur magnitude absolue.
Revenons maintenant à nos extensions de premier ordre. Nous savons que les deux bundles candidats donnent des utilités inférieures à , car ils étaient réalisables dans le cas non contraint et qu'ils n'ont pas été choisis.U(x∗,z∗)
En regardant le développement de nous concluons que nous avonsU(0,z~)
Ux(x∗)(−x∗)+Uz(z∗)(z~−z∗)+R0<0
⟹Uz(z∗)⋅[(Ux(x∗)/Uz(z∗))⋅(−x∗)+z~−z∗]+R0<0
⟹Uz(z∗)pz⋅[−pxx∗+pzz~−pzz∗]+R0<0
Mais et , le terme entre parenthèses est donc zéro. Nous concluons donc que−pxx∗−pzz∗=−Ipzz~=I
R0<0
En regardant maintenant l’expansion de , nous savons que nous avonsU(x∗+ϵ,z′)
Ux(x∗)⋅ϵ+Uz(z∗)(z′−z∗)+Rϵ<0
Effectuer les mêmes manipulations qu'avant, nous obtenons ici aussi que
Rϵ<0
La condition d’achat de peut donc être réécrite comme suit:x∗+ϵ
|Rϵ|<|R0|
Ceci formalise quelque peu l'idée que si est "suffisamment petit", sera plus petit en valeur absolue que , puisque l'approximation à la même fonction sera "meilleure", et nous observerons donc et non . Mais cela nous indique également ce que les graphiques de l'autre réponse nous ont également dit, à savoir qu'il n'y a pas une seule réponse générale à la question.ϵRϵR0x∗+ϵ0