Potrebbe valere la pena affermare che: i f $ u $ è concavo (come funzione multidimensionale), produrrà una funzione di utilità indiretta concava in $ m $.
Se $ u: \ mathbb {R} ^ n _ + \ rightarrow \ mathbb {R} $ è concava, quindi funzione di utilità indiretta $ v: \ mathbb {R} ^ n_ + \ times \ mathbb {R} _ + \ rightarrow \ mathbb {R} $ definito come
$ v (p, m): = \ displaystyle \ max_ {x \ in B (p, m)} u (x) $ è anche concavo in $ m $. Qui $ B (p, m) = \ {x \ in \ mathbb {R} ^ n_ +: p \ cdot x \ leq m \} $ è il budget impostato. Sia $ x ^ d (p, m) $ denota la soluzione al problema di massimizzazione $ \ displaystyle \ max_ {x \ in B (p, m)} u (x) $ in modo che $ v (p, m) = u (x ^ d (p, m)) $.
Considera arbitrari $ m '$, $ m' '$ e $ \ lambda \ in [0, 1] $,
$ p \ cdot x ^ d (p, m ') \ leq m' $
$ p \ cdot x ^ d (p, m '') \ leq m '' $
Perciò,
$ p \ cdot (\ lambda x ^ d (p, m ') + (1- \ lambda) x ^ d (p, m' ')) \ leq \ lambda m' + (1- \ lambda) m '' \ tag {1} $
Di conseguenza,
\ begin {eqnarray *} v (p, \ lambda m '+ (1- \ lambda) m' ') & amp; = & amp; u (x ^ d (p, \ lambda m '+ (1- \ lambda) m' ')) & amp; \\ & amp; \ geq & amp; u (\ lambda x ^ d (p, m ') + (1- \ lambda) x ^ d (p, m' ')) & amp; \ \ [di \ (1)] \\ & amp; \ geq & amp; \ lambda u (x ^ d (p, m ')) + (1- \ lambda) u (x ^ d (p, m' ')) & amp; \ \ [di \ \ text {concavità di} u] \\ & amp; = & amp; \ lambda v (p, m ') + (1- \ lambda) v (p, m' ') & amp; \ End {eqnarray *}