<p>The <a href="https://www.sciencedirect.com/science/article/pii/0022053172901640" rel="nofollow noreferrer">paper</a> @Henry referred to in comments pretty much answers this question. For closure, and to summarize the jist, the paper opens:</p>

<blockquote>
  <p><em>As is very well known, the case in which all excess demands have the gross substitute property is one in which very strong results can be obtained concerning the uniqueness and stability of general equilibrium. Considering how long this has been known it is perhaps remarkable that we apparently do not possess a convenient characterization of the class of utility functions which yield individual demand functions with the gross substitute property.</em> ... <em>[This] note provides a characterization of the entire class of utility functions having the gross substitute property. Since the primary interest in that property is in the analysis of general equilibrium, we shall mainly concern ourselves with the demand functions which arise in a condition of exchange rather than with those that arise when income is fixed, independent of prices. The extension of the results to the latter case being given at the end of the paper.</em></p>
</blockquote>

<hr>

<p>The main result is, in an exchange market, for any initial endowments (quoting directly):</p>

<p><em>A necessary and sufficient condition for $U(x)$ to have GS is that for every $i, j = 1,...,n, j \ne i$, positive income $Y$, and strictly positive price vector $p$:</em></p>

<p>$$
  \eta_{ij} &gt; max(e_i, e_j, e_i(1 - \frac{1}{\alpha_j}), e_j(1 - \frac{1}{\alpha_i}))
$$</p>

<p><em>Where:</em></p>

<ul>
<li>$e_i$ is the income elasticity of the <em>i-th</em> commodity, $\frac{\partial x_i}{\partial Y}/\frac{Y}{x_i}$.</li>
<li>$\alpha_i$ is the proportion of expenditure devoted to the <em>i-th</em> commodity, $\alpha_i = \frac{p_ix_i}{Y}$.</li>
<li>$\eta_{ij}$ is the elasticity of substitution <em>i-th</em> to <em>j-th</em> of the so called "Allen-Uzara" kind (what ever that is - see paper).</li>
</ul>

<p>There are some corollaries.</p>

<p>The main complication with all this is you <em>have</em> to take income or rather income elasticity, into consideration. Some broad classes of utility functions that are <em>sufficient</em> for GS regardless, are only very briefly mentioned in the intro of paper. </p>

CC BY-SA 3.0
2018-02-06T05:14:16.467Z
2018-02-06T05:14:16.467Z
spinkus
<p>What are the necessary and sufficient conditions on a utility function for gross substitutes? Gross substitutes is:</p>

<p>$$
  \frac{dx^*_i}{dp_j} \ge 0\ \ \forall_{i,j}\ i \ne j
$$</p>

CC BY-SA 3.0
2018-02-05T00:04:58.820Z
You might want to look at Fisher, F. M. (1972):  “Gross  substitutes  and  the  utility  function,” Journal  of Economic Theory, 4(1), 82–87.
Henry
CC BY-SA 3.0
2018-02-06T04:14:01.540Z
Great thanks, that pretty much sums it up.
spinkus
<microeconomics>
What are the necessary and sufficient conditions on a utility function for gross substitutes?
spinkus
# What are the necessary and sufficient conditions on a utility function for gross substitutes?

(Asked by: username_0 on 2018-02-04)

What are the necessary and sufficient conditions on a utility function for gross substitutes? Gross substitutes is:

$$
\frac{dx^\*\_i}{dp\_j} \ge 0\ \ \forall\_{i,j}\ i \ne j
$$

**Tags:** microeconomics
> **Comments:**
> **username_1**: You might want to look at Fisher, F. M. (1972):  “Gross  substitutes  and  the  utility  function,” Journal  of Economic Theory, 4(1), 82–87.  
> **username_0**: Great thanks, that pretty much sums it up.  

---

## 1 answers

### Answer by username_0 on 2018-02-06. Score: 2

The [paper](https://www.sciencedirect.com/science/article/pii/0022053172901640) @Henry referred to in comments pretty much answers this question. For closure, and to summarize the jist, the paper opens:

> *As is very well known, the case in which all excess demands have the gross substitute property is one in which very strong results can be obtained concerning the uniqueness and stability of general equilibrium. Considering how long this has been known it is perhaps remarkable that we apparently do not possess a convenient characterization of the class of utility functions which yield individual demand functions with the gross substitute property.* ... *[This] note provides a characterization of the entire class of utility functions having the gross substitute property. Since the primary interest in that property is in the analysis of general equilibrium, we shall mainly concern ourselves with the demand functions which arise in a condition of exchange rather than with those that arise when income is fixed, independent of prices. The extension of the results to the latter case being given at the end of the paper.*

---

The main result is, in an exchange market, for any initial endowments (quoting directly):

*A necessary and sufficient condition for $U(x)$ to have GS is that for every $i, j = 1,...,n, j \ne i$, positive income $Y$, and strictly positive price vector $p$:*

$$
\eta\_{ij} > max(e\_i, e\_j, e\_i(1 - \frac{1}{\alpha\_j}), e\_j(1 - \frac{1}{\alpha\_i}))
$$

*Where:*

* $e\_i$ is the income elasticity of the *i-th* commodity, $\frac{\partial x\_i}{\partial Y}/\frac{Y}{x\_i}$.
* $\alpha\_i$ is the proportion of expenditure devoted to the *i-th* commodity, $\alpha\_i = \frac{p\_ix\_i}{Y}$.
* $\eta\_{ij}$ is the elasticity of substitution *i-th* to *j-th* of the so called "Allen-Uzara" kind (what ever that is - see paper).

There are some corollaries.

The main complication with all this is you *have* to take income or rather income elasticity, into consideration. Some broad classes of utility functions that are *sufficient* for GS regardless, are only very briefly mentioned in the intro of paper.


---

