<blockquote>
<ol start="3">
<li><strong>I think I’m generally missing the added value of a homothetic
function vs homogenous function.</strong></li>
</ol>
</blockquote>
<p>The added value of homothetic functions is that <strong>they are a wider class</strong> with respect to homogeneous functions.</p>
<p>So that one can work under less restrictive assumptions, preserving some important properties.</p>
<p>Indeed, homothetic functions can be considered  a generalization of homogeneous functions.</p>
<p>It can be proved that <strong>homogeneity <span class="math-container">$\implies$</span> homotheticity.</strong></p>
<p>But the converse is not true, homothetic functions constitute a wider class, that is <strong>there are many homothetic functions that are not homogeneous.</strong></p>
<p>Consider for example the function</p>
<p><span class="math-container">$$f(x,y)= \frac {1}{2} \ln(x)+ \frac {1}{2} \ln (y)= \ln(x^{\frac {1}{2}}y^{\frac {1}{2}})\qquad (1)$$</span></p>
<p>It is evidently  written as <span class="math-container">$f(x,y) = q(r(x,y))$</span>
where <span class="math-container">$r(x,y)=x^{\frac {1}{2}}y^{\frac {1}{2}}$</span> is  homogenous of degree <span class="math-container">$1$</span> , and <span class="math-container">$q$</span> (the logaritm) is strictly increasing.</p>
<p>But calculations show that it is not homogeneous. Multiplying <span class="math-container">$x$</span> and <span class="math-container">$y$</span> by <span class="math-container">$t&gt;0$</span> we get</p>
<p><span class="math-container">$$\ln((tx)^{\frac {1}{2}}(ty)^{\frac {1}{2}}) = \ln (t x^{\frac {1}{2}} y^{\frac {1}{2}})=\ln(t) + \ln (x^{\frac {1}{2}}y^{\frac {1}{2}})\neq t \ln (x^{\frac {1}{2}}y^{\frac {1}{2}}) \qquad (2)$$</span></p>
<p><span class="math-container">$$***$$</span></p>
<p>Homothetic functions inherit some features of homogeneous functions, in particular the property that <strong>along the lines passing through the origin the marginal rate of substitution is constant</strong>. And it has been proved that <strong>the converse is also true</strong>, that is homothetic functions are the <strong>unique class</strong> of functions that have this property.</p>
<p><a href="https://www.jstor.org/stable/3440089" rel="nofollow noreferrer">Ide and Takayama, <em>On homothetic functions</em></a> discusses the issue and gives a proof:</p>
<blockquote>
<p>In economic analysis, the importance of the <em>homotheticity</em> of
production functions (or utility functions), which is due to Shepard
(1953), has been well recognized. Its important feature lies in the
fact that every expansion path is a ray from the origin <strong>if and only
if</strong>  the underlying production (or utility) function is homothetic.
Although the proof of the “if” part of this statement is easy, the
proof of the “only if” part, at least as it appears in the
literature, is not easy […] It would thus be desirable to obtain an
elementary, short, alternative proof of the above important
proposition. […]In this paper we prove both the “only if” and the “if”
part simultaneously.(<em>emphasis mine</em>)</p>
</blockquote>
<p>But homothetic functions <strong>lose some other properties</strong> of homogeneous functions.</p>
<p>For instance, they lose property exemplified in <span class="math-container">$(2)$</span>,  and lose the <strong>Euler's Theorem</strong> for homogeneous functions:</p>
<p><em>Let   <span class="math-container">${\displaystyle f\colon A\rightarrow \mathbb {R^n} }$</span> a differentiable function defined on an open cone <span class="math-container">$A\subset \mathbb{R} ^{n}$</span>. Then  <span class="math-container">$f$</span> is homogeneous of degree  <span class="math-container">$k$</span>  on <span class="math-container">$A$</span>  if and only if the following identity holds (<em>Euler's identity</em>):</em></p>
<p><span class="math-container">$${\displaystyle \sum _{i=1}^{n}{\frac {\partial f(x)}{\partial x_{i}}}\ x_{i}=k\ f(x),\quad \forall x\in A,}$$</span></p>

CC BY-SA 4.0
2023-05-21T14:13:22.717Z
2023-05-21T15:50:41.457Z
2023-05-21T15:50:41.457Z
BakerStreet
<p><strong>Questions</strong></p>
<p>When our Isoquant map exhibits constant MRTS along a ray from the origin making. Why do we make specific reference to.</p>
<ol>
<li>Constant returns to scale</li>
<li>Homothetic Functions</li>
</ol>
<p>I'm asking because it seems to me that any homogenous function is satisfactory i.e. according to my text, for a homogenous function of degree <span class="math-container">$d&gt;0$</span> <span class="math-container">$MRTS$</span> will depend only on the ratio of it's input. E.g. Looking at our standard cobb-duglas we get <span class="math-container">$MRTS_{l,k} = \frac{βk}{αl}$</span> This seems to depend only on the ratio of <span class="math-container">$k$</span> &amp; <span class="math-container">$l$</span>, for whatever  α &amp; β chosen, which depending on choice can give DRS, CRS, or ICS.</p>
<p><strong>Context</strong></p>
<p>My book <em>&quot;intermediate Microeconomic Extensions&quot; - Walter Nicholson</em> (A great book btw which i really love). Is emphasising the role of homogenous function of degree one (CRS), as giving us Isoquant maps where MRTS are constant along a ray.</p>
<p>I'm confused why CRS and not just homogeneity greater than 0 are being emphasised here. For example i don't get the significance of the following:</p>
<blockquote>
<p><em>Because A CRS production function is homothetic, the RTS depends only on the ratio of <span class="math-container">$k$</span> to $l4 not on the scale of production.</em></p>
</blockquote>
<p>Why doesn't it just read. '<em>Because the function is homogenous to a degree greater than 0, RTS depends only on the ratio of <span class="math-container">$k$</span> to <span class="math-container">$l$</span> not on the scale of production'</em></p>
<p>My understanding is as follows:</p>
<ol>
<li>Any functions homogenous to degree <span class="math-container">$d &gt; 0$</span> will be Homothetic.</li>
<li>Any function <span class="math-container">$f$</span> that satisfies the following is homothetic.</li>
</ol>
<ul>
<li>It can be written as <span class="math-container">$f(x,y) = q(r(x,y))$</span></li>
<li>Where <span class="math-container">$r$</span> is a function that is <strong>homogenous of degree 1</strong></li>
<li><span class="math-container">$q$</span> is <strong>strictly increasing</strong>.</li>
<li>This makes sense, and i can prove it.</li>
</ul>
<ol start="3">
<li>The ratio of the partial derivatives e.g. the MRTS, of any homogenous function can be shown to depend only on the ratio of inputs and not their absolute value.  I'm happy with the proof of this.</li>
</ol>
<p><strong>Question recap:</strong>
For our constant MRTS along a ray from the origin why do we care about:</p>
<ol>
<li>CRS</li>
<li>Homothetic functions</li>
<li><strong>I think Im generally missing the added value of a homothetic function vs homogenous function.</strong></li>
</ol>

CC BY-SA 4.0
2023-05-20T12:06:41.957Z
not any function can be written as in your point 2. This is only possible for homothetic functions.
Bertrand
CC BY-SA 4.0
2023-05-20T12:17:13.897Z
Hahaha no no I meant. Any function that can be written like this…is homothetic (: exactly as you have said. My grammer must be off let me try and adjust, thanks for pointing it out
CormJack
<mathematical-economics><production-function><optimization>
CRS, Homothetic Functions, and constant MRTS
CormJack
# CRS, Homothetic Functions, and constant MRTS

(Asked by: username_0 on 2023-05-19)

**Questions**

When our Isoquant map exhibits constant MRTS along a ray from the origin making. Why do we make specific reference to.

1. Constant returns to scale
2. Homothetic Functions

I'm asking because it seems to me that any homogenous function is satisfactory i.e. according to my text, for a homogenous function of degree $d>0$ $MRTS$ will depend only on the ratio of it's input. E.g. Looking at our standard cobb-duglas we get $MRTS\_{l,k} = \frac{βk}{αl}$ This seems to depend only on the ratio of $k$ & $l$, for whatever α & β chosen, which depending on choice can give DRS, CRS, or ICS.

**Context**

My book *"intermediate Microeconomic Extensions" - Walter Nicholson* (A great book btw which i really love). Is emphasising the role of homogenous function of degree one (CRS), as giving us Isoquant maps where MRTS are constant along a ray.

I'm confused why CRS and not just homogeneity greater than 0 are being emphasised here. For example i don't get the significance of the following:

> *Because A CRS production function is homothetic, the RTS depends only on the ratio of $k$ to $l4 not on the scale of production.*

Why doesn't it just read. '*Because the function is homogenous to a degree greater than 0, RTS depends only on the ratio of $k$ to $l$ not on the scale of production'*

My understanding is as follows:

1. Any functions homogenous to degree $d > 0$ will be Homothetic.
2. Any function $f$ that satisfies the following is homothetic.

* It can be written as $f(x,y) = q(r(x,y))$
* Where $r$ is a function that is **homogenous of degree 1**
* $q$ is **strictly increasing**.
* This makes sense, and i can prove it.

3. The ratio of the partial derivatives e.g. the MRTS, of any homogenous function can be shown to depend only on the ratio of inputs and not their absolute value. I'm happy with the proof of this.

**Question recap:**
For our constant MRTS along a ray from the origin why do we care about:

1. CRS
2. Homothetic functions
3. **I think Im generally missing the added value of a homothetic function vs homogenous function.**

**Tags:** mathematical-economics, production-function, optimization
> **Comments:**
> **username_1**: not any function can be written as in your point 2. This is only possible for homothetic functions.  
> **username_0**: Hahaha no no I meant. Any function that can be written like this…is homothetic (: exactly as you have said. My grammer must be off let me try and adjust, thanks for pointing it out  

---

## 1 answers

### Answer by username_2 on 2023-05-21. Score: 3 | Accepted answer

> 3. **I think I’m generally missing the added value of a homothetic
>    function vs homogenous function.**

The added value of homothetic functions is that **they are a wider class** with respect to homogeneous functions.

So that one can work under less restrictive assumptions, preserving some important properties.

Indeed, homothetic functions can be considered a generalization of homogeneous functions.

It can be proved that **homogeneity $\implies$ homotheticity.**

But the converse is not true, homothetic functions constitute a wider class, that is **there are many homothetic functions that are not homogeneous.**

Consider for example the function

$$f(x,y)= \frac {1}{2} \ln(x)+ \frac {1}{2} \ln (y)= \ln(x^{\frac {1}{2}}y^{\frac {1}{2}})\qquad (1)$$

It is evidently written as $f(x,y) = q(r(x,y))$
where $r(x,y)=x^{\frac {1}{2}}y^{\frac {1}{2}}$ is homogenous of degree $1$ , and $q$ (the logaritm) is strictly increasing.

But calculations show that it is not homogeneous. Multiplying $x$ and $y$ by $t>0$ we get

$$\ln((tx)^{\frac {1}{2}}(ty)^{\frac {1}{2}}) = \ln (t x^{\frac {1}{2}} y^{\frac {1}{2}})=\ln(t) + \ln (x^{\frac {1}{2}}y^{\frac {1}{2}})\neq t \ln (x^{\frac {1}{2}}y^{\frac {1}{2}}) \qquad (2)$$

$$\*\*\*$$

Homothetic functions inherit some features of homogeneous functions, in particular the property that **along the lines passing through the origin the marginal rate of substitution is constant**. And it has been proved that **the converse is also true**, that is homothetic functions are the **unique class** of functions that have this property.

[Ide and Takayama, *On homothetic functions*](https://www.jstor.org/stable/3440089) discusses the issue and gives a proof:

> In economic analysis, the importance of the *homotheticity* of
> production functions (or utility functions), which is due to Shepard
> (1953), has been well recognized. Its important feature lies in the
> fact that every expansion path is a ray from the origin **if and only
> if** the underlying production (or utility) function is homothetic.
> Although the proof of the “if” part of this statement is easy, the
> proof of the “only if” part, at least as it appears in the
> literature, is not easy […] It would thus be desirable to obtain an
> elementary, short, alternative proof of the above important
> proposition. […]In this paper we prove both the “only if” and the “if”
> part simultaneously.(*emphasis mine*)

But homothetic functions **lose some other properties** of homogeneous functions.

For instance, they lose property exemplified in $(2)$, and lose the **Euler's Theorem** for homogeneous functions:

*Let ${\displaystyle f\colon A\rightarrow \mathbb {R^n} }$ a differentiable function defined on an open cone $A\subset \mathbb{R} ^{n}$. Then $f$ is homogeneous of degree $k$ on $A$ if and only if the following identity holds (*Euler's identity*):*

$${\displaystyle \sum \_{i=1}^{n}{\frac {\partial f(x)}{\partial x\_{i}}}\ x\_{i}=k\ f(x),\quad \forall x\in A,}$$


---

