<p>Let me take the focus of a 2 goods consumption setting (which is analogues to the production setting) and assume that the indifference curves are convex and differentiable, so every point has a unique MRS.</p>
<p>Assume that we can write the <span class="math-container">$MRS$</span> as a function of the ratio of the two goods. In other words, at the point <span class="math-container">$(x,y)$</span> (with <span class="math-container">$x, y &gt; 0$</span>) we can write <span class="math-container">$MRS_{(x,y)} = M(x/y)$</span>, where <span class="math-container">$M$</span> is some function
<span class="math-container">$M$</span> from <span class="math-container">$\mathbb{R}_{++}$</span> to <span class="math-container">$\mathbb{R}_{++}$</span>.</p>
<p>Let us for simplicity normalize prices <span class="math-container">$(p_x, p_y)$</span> such that the price of <span class="math-container">$y$</span> is unity. Then the demand functions are a function from the relative price <span class="math-container">$p_x/p_y = \omega$</span> and normalized income <span class="math-container">$z = m/p_y$</span>. Let us denote by <span class="math-container">$D_x(\omega, z)$</span> and <span class="math-container">$D_y(\omega, z)$</span> be the demand functions for good <span class="math-container">$x$</span> and <span class="math-container">$y$</span> respectively.</p>
<p>Note that if we set the relative price <span class="math-container">$\omega = MRS_{(x,y)}$</span> and define the expenditure <span class="math-container">$z = \omega x + y$</span>, then <span class="math-container">$x = D_x(\omega, z)$</span> and <span class="math-container">$y = D_y(\omega, z)$</span>.</p>
<p>Let me first show that there is a function <span class="math-container">$M$</span> such that <span class="math-container">$MRS_{(x,y)} = M(x/y)$</span> if and only if the demand functions <span class="math-container">$D_x$</span> and <span class="math-container">$D_y$</span> are homogeneous of degree 1 (i.e. linear) in <span class="math-container">$z$</span>.</p>
<ul>
<li><p>(<span class="math-container">$\to$</span>) Consider <span class="math-container">$t &gt; 0$</span>, let <span class="math-container">$x = D_x(\omega, z)$</span> and <span class="math-container">$y = D_y(\omega,z)$</span> (i.e. <span class="math-container">$\omega = MRS_{(x,y)}$</span> and <span class="math-container">$\omega x + y = z$</span>).</p>
<p>We need to show that <span class="math-container">$t x = D_x(\omega, tz)$</span> and <span class="math-container">$ty = D_y(\omega, tz)$</span>. This, however,  follows immediately from the fact that:
<span class="math-container">$$
MRS_{(tx, ty)} = M(tx/ty) = M(x/y) = MRS_{(x,y)} = \omega,
$$</span>
and
<span class="math-container">$$
\omega (t x) + (t y) = t(\omega x + y) = t z.
$$</span></p>
</li>
<li><p>(<span class="math-container">$\leftarrow$</span>) Assume that <span class="math-container">$D_x(\omega, z)$</span> and <span class="math-container">$D_y(\omega, z)$</span> are homogeneous of degree 1 in <span class="math-container">$z$</span>. Fix <span class="math-container">$(x,y)$</span>. We know that <span class="math-container">$x \in D_x(\omega, z)$</span> and <span class="math-container">$y \in D_y(\omega, z)$</span> when we take <span class="math-container">$\omega = MRS_{(x,y)}$</span> and <span class="math-container">$z = \omega x + y$</span>.</p>
<p>Consider any <span class="math-container">$(x^\ast, y^\ast)$</span> such that <span class="math-container">$x/y = x^\ast/y^\ast$</span>. Let <span class="math-container">$t = y^\ast/y$</span>. Note that <span class="math-container">$x^\ast = t x$</span> and <span class="math-container">$y^\ast = t y$</span>.</p>
<p>By homogeneity of degree of the demand functions in <span class="math-container">$z$</span>, we have <span class="math-container">$tx = x^\ast = D_x(\omega, tz)$</span> and <span class="math-container">$ty = y^\ast = D_y(\omega, tz)$</span>.</p>
<p>This implies that, by definition, <span class="math-container">$MRS_{(x^\ast, y^\ast)} = \omega = MRS_{(x,y)}$</span>. Conclude that <span class="math-container">$MRS_{(x,y)}$</span> is a function of <span class="math-container">$x/y$</span>.</p>
</li>
</ul>
<p>Given this, the question can be reformulated in the following way. Do linear (in income) demand functions, lead to homothetic utility functions.</p>
<p>The response is, no. But the answer is somewhat subtle.</p>
<p>It is known that utility functions that lead to linear (in income) demand functions (i.e. linear Engel curves) must be of the Gorman polar form. This means that the indirect utility functions are linear in income:
<span class="math-container">$$
v(p_x, p_y, m) = a(p_x, p_y) + b(p_x, p_y) m.
$$</span>
for some functions <span class="math-container">$a$</span> and <span class="math-container">$b$</span> of <span class="math-container">$p_x$</span> and <span class="math-container">$p_y$</span>. Using Roy's identity, the demand functions are of the form,
<span class="math-container">$$
\begin{align*}
&amp;D_x(p_x, p_y, m) = \frac{a_x + b_x m }{b},\\
&amp;D_y(p_x, p_y, m) = \frac{a_y + b_y m}{b}.
\end{align*}
$$</span>
where <span class="math-container">$a_x, b_x$</span> and <span class="math-container">$a_y, b_y$</span> are the partial derivatives of <span class="math-container">$a$</span> and <span class="math-container">$b$</span> with respect to <span class="math-container">$p_x$</span> and <span class="math-container">$p_y$</span> respectively.</p>
<p>Homothetic utilities on the other hand have indirect utility functions of the form:
<span class="math-container">$$
v(p_x, p_y, m) = b(p_x, p_y) m.
$$</span>
This gives rise to linear demand functions:
<span class="math-container">$$
\begin{align*}
&amp;D_x(p_x, p_y, m) = \frac{b_x}{b} m,\\
&amp;D_y(p_x, p_y, m) = \frac{b_x}{b} m.
\end{align*}
$$</span>
So utility functions of the Gorman polar form are more general in the sense that they allow the Engel cruves to have a possible non-zero intercept <span class="math-container">$a_x/b$</span> and <span class="math-container">$a_y/b$</span>. This means that there are non-homothetic utility functions that have linear Engel curves.</p>
<p>On the other hand, the fact that these Engel curves do not pass through the origin means that demand at zero income is not actual equal to zero (and consumption of some goods at that level become negative). In other words, demand functions consistent with the Gorman polar form are not ``well-defined'' for incomes near zero. Economists (better than myself) then argue that we should only look at regions in space far enough from the origin, which basically means you allow the Engel curves to become non-linear near the origin but they are linear when income is large enough.</p>
<p>tldr: If you restrict yourself to regions far enough from the origin, then there are non-homothetic utility functions that lead to <span class="math-container">$MRS$</span> that only depend on the ratio of the quantities. These are of the Gorman polar form. If you impose the ``MRS is function of the quantities ratio'' condition globally, then probably this indeed leads to homothetic utility functions.</p>

CC BY-SA 4.0
2024-04-15T14:38:54.443Z
@Giskard Thanks, I corrected the mistakes.
tdm
CC BY-SA 4.0
2024-04-15T07:07:44.537Z
2024-04-15T15:09:40.620Z
2024-04-15T15:09:40.620Z
tdm
<p>No, the first statement, that the MRTS is the ratio of the inputs used is already false. A counterexample: the production function
<span class="math-container">$$
F(K,L) = K + L
$$</span>
is homothetic, the absolute value of the MRTS is 1, and yet this does not tell us anything about the ratio of the inputs used, it does not have to be 1:1.</p>
<p>The above function is something of an edge case, but the statement is simple not true for asymmetric Cobb-Douglas and most other function types either.</p>

CC BY-SA 4.0
2024-04-04T17:52:08.530Z
2024-04-04T17:52:08.530Z
Giskard
<p>We know that when a production function is homothetic, the MRTS is constant along the ray through the origin (it is a ratio of the inputs used).
But is it true that if the MRTS is ratio of the inputs used, then the production function is homothetic? Can anyone prove it?</p>

<producer-theory>
If a production function is homothetic, the MRTS is the ratio of the inputs used. But is the converse also true?
Shreya
# If a production function is homothetic, the MRTS is the ratio of the inputs used. But is the converse also true?

(Asked by: username_0 on 2024-04-04)

We know that when a production function is homothetic, the MRTS is constant along the ray through the origin (it is a ratio of the inputs used).
But is it true that if the MRTS is ratio of the inputs used, then the production function is homothetic? Can anyone prove it?

**Tags:** producer-theory

---

## 2 answers

### Answer by username_1 on 2024-04-15. Score: 1 | Accepted answer

Let me take the focus of a 2 goods consumption setting (which is analogues to the production setting) and assume that the indifference curves are convex and differentiable, so every point has a unique MRS.

Assume that we can write the $MRS$ as a function of the ratio of the two goods. In other words, at the point $(x,y)$ (with $x, y > 0$) we can write $MRS\_{(x,y)} = M(x/y)$, where $M$ is some function
$M$ from $\mathbb{R}\_{++}$ to $\mathbb{R}\_{++}$.

Let us for simplicity normalize prices $(p\_x, p\_y)$ such that the price of $y$ is unity. Then the demand functions are a function from the relative price $p\_x/p\_y = \omega$ and normalized income $z = m/p\_y$. Let us denote by $D\_x(\omega, z)$ and $D\_y(\omega, z)$ be the demand functions for good $x$ and $y$ respectively.

Note that if we set the relative price $\omega = MRS\_{(x,y)}$ and define the expenditure $z = \omega x + y$, then $x = D\_x(\omega, z)$ and $y = D\_y(\omega, z)$.

Let me first show that there is a function $M$ such that $MRS\_{(x,y)} = M(x/y)$ if and only if the demand functions $D\_x$ and $D\_y$ are homogeneous of degree 1 (i.e. linear) in $z$.

* ($\to$) Consider $t > 0$, let $x = D\_x(\omega, z)$ and $y = D\_y(\omega,z)$ (i.e. $\omega = MRS\_{(x,y)}$ and $\omega x + y = z$).

  We need to show that $t x = D\_x(\omega, tz)$ and $ty = D\_y(\omega, tz)$. This, however, follows immediately from the fact that:
  $$
  MRS\_{(tx, ty)} = M(tx/ty) = M(x/y) = MRS\_{(x,y)} = \omega,
  $$
  and
  $$
  \omega (t x) + (t y) = t(\omega x + y) = t z.
  $$
* ($\leftarrow$) Assume that $D\_x(\omega, z)$ and $D\_y(\omega, z)$ are homogeneous of degree 1 in $z$. Fix $(x,y)$. We know that $x \in D\_x(\omega, z)$ and $y \in D\_y(\omega, z)$ when we take $\omega = MRS\_{(x,y)}$ and $z = \omega x + y$.

  Consider any $(x^\ast, y^\ast)$ such that $x/y = x^\ast/y^\ast$. Let $t = y^\ast/y$. Note that $x^\ast = t x$ and $y^\ast = t y$.

  By homogeneity of degree of the demand functions in $z$, we have $tx = x^\ast = D\_x(\omega, tz)$ and $ty = y^\ast = D\_y(\omega, tz)$.

  This implies that, by definition, $MRS\_{(x^\ast, y^\ast)} = \omega = MRS\_{(x,y)}$. Conclude that $MRS\_{(x,y)}$ is a function of $x/y$.

Given this, the question can be reformulated in the following way. Do linear (in income) demand functions, lead to homothetic utility functions.

The response is, no. But the answer is somewhat subtle.

It is known that utility functions that lead to linear (in income) demand functions (i.e. linear Engel curves) must be of the Gorman polar form. This means that the indirect utility functions are linear in income:
$$
v(p\_x, p\_y, m) = a(p\_x, p\_y) + b(p\_x, p\_y) m.
$$
for some functions $a$ and $b$ of $p\_x$ and $p\_y$. Using Roy's identity, the demand functions are of the form,
$$
\begin{align\*}
&D\_x(p\_x, p\_y, m) = \frac{a\_x + b\_x m }{b},\\
&D\_y(p\_x, p\_y, m) = \frac{a\_y + b\_y m}{b}.
\end{align\*}
$$
where $a\_x, b\_x$ and $a\_y, b\_y$ are the partial derivatives of $a$ and $b$ with respect to $p\_x$ and $p\_y$ respectively.

Homothetic utilities on the other hand have indirect utility functions of the form:
$$
v(p\_x, p\_y, m) = b(p\_x, p\_y) m.
$$
This gives rise to linear demand functions:
$$
\begin{align\*}
&D\_x(p\_x, p\_y, m) = \frac{b\_x}{b} m,\\
&D\_y(p\_x, p\_y, m) = \frac{b\_x}{b} m.
\end{align\*}
$$
So utility functions of the Gorman polar form are more general in the sense that they allow the Engel cruves to have a possible non-zero intercept $a\_x/b$ and $a\_y/b$. This means that there are non-homothetic utility functions that have linear Engel curves.

On the other hand, the fact that these Engel curves do not pass through the origin means that demand at zero income is not actual equal to zero (and consumption of some goods at that level become negative). In other words, demand functions consistent with the Gorman polar form are not ``well-defined'' for incomes near zero. Economists (better than myself) then argue that we should only look at regions in space far enough from the origin, which basically means you allow the Engel curves to become non-linear near the origin but they are linear when income is large enough.

tldr: If you restrict yourself to regions far enough from the origin, then there are non-homothetic utility functions that lead to $MRS$ that only depend on the ratio of the quantities. These are of the Gorman polar form. If you impose the ``MRS is function of the quantities ratio'' condition globally, then probably this indeed leads to homothetic utility functions.

> **Comments:**
> **username_1**: @Giskard Thanks, I corrected the mistakes.  

---

### Answer by username_2 on 2024-04-04. Score: 0

No, the first statement, that the MRTS is the ratio of the inputs used is already false. A counterexample: the production function
$$
F(K,L) = K + L
$$
is homothetic, the absolute value of the MRTS is 1, and yet this does not tell us anything about the ratio of the inputs used, it does not have to be 1:1.

The above function is something of an edge case, but the statement is simple not true for asymmetric Cobb-Douglas and most other function types either.


---

