Виходячи з відмінної діаграми MWG у відповіді Амстелла, основним спостереженням є те, що тримання фіксованими, e і v є оберненими один до одного . e повідомляє нам суму, яку нам потрібно витратити, щоб отримати певну кількість утиліти u , тоді як v визначає максимальну кількість корисності, яку ми можемо отримати від певних витрат w . Щоразу, коли ми хочемо перетворити з корисності на багатство, ми використовуємо e ; і коли ми хочемо перетворити багатство на корисність, ми використовуємо v .peveuvwev
Усі ключові тотожності можна отримати з цього спостереження. Наприклад, припустимо, ми хочемо отримати тотожність для . Ми вже знаємо відповідну тотожність функції витрат ,, e ( p , u ) / ∂ p i = h i ( p , u ) . Щоб перетворити це на тотожність для v , підставляємо w = e ( p , u )∂v(p,w)/∂pi∂e(p,u)/∂pi=hi(p,u)vw=e(p,u), отримуючи , і диференціюємо відносно p i . Правило ланцюга передбачає
∂ v ( p , e ( p , u ) )v(p,e(p,u))=upi
який, якщо розділити на-∂v/∂wз обох сторін, стає ідентичністю Роя.
∂v(p,e(p,u))∂pi+∂v(p,e(p,u))∂w⋅∂e(p,u)∂pi=0⟺∂v(p,w)∂pi=−∂v(p,w)∂w⋅xi(p,w)
−∂v/∂w
Або припустимо, що ми хочемо отримати рівняння Слуцького, яке дає взаємозв'язок між похідними маршалського та гіксійського попиту (розкладання маршальського попиту змінюється на ефекти заміщення та доходу). Аналогічно вище, ми можемо підставити на маршальський попит x ( p , w ), щоб отримати x ( p , e ( p , u ) ) = h ( p , u ) . Потім, диференціюючи відносно pw=e(p,u)x(p,w)x(p,e(p,u))=h(p,u) з обох сторін і застосовуючи правило ланцюга, дає
∂ x ( p , e ( p , u ) )pi
Загалом, я вважаю, що евристичний "перехід міжwіuза потребою за допомогоюvіe" дозволяє вам отримати тут майже все. (Аналогічна евристика також корисна, якщо ви коли-небудь матимете справу з системами попиту Frisch, де гранична корисністьλвідіграє ту саму роль, якувиконуютьwіuв маршальській та хіксійській системах попиту)
∂x(p,e(p,u))∂pi+∂x(p,e(p,u))∂w⋅∂e(p,u)∂pi=∂h(p,u)∂pi⟺∂x(p,w)∂pi=∂h(p,u)∂pi−∂x(p,w)∂w⋅xi(p,w)
wuveλwu
∂e(p,u)/∂pi=hi(p,u)w=e(p,u)∂e(p,u)/∂pi=xi(p,w)теорема оболонки .
∂v/∂pipi∂v/∂w∂v/∂pi∂e/∂pi