<p>Suppose there is an optimal bundle <span class="math-container">$x^\star = ({x_1}^\star,{x_2}^\star)$</span> such that <span class="math-container">$p \cdot x^\star &lt; m$</span>.</p>
<p>Since <span class="math-container">$p \cdot x^\star &lt; m$</span>, there exists a <span class="math-container">$t &gt; 1$</span> such that <span class="math-container">$t (p \cdot x^\star) = m$</span>.</p>
<p>More specifically, <span class="math-container">$t = \frac{m}{p \cdot x^\star}$</span>.</p>
<p>Therefore, <span class="math-container">$p \cdot (tx^\star) = m$</span>.</p>
<p>Plugging into the utility function,</p>
<p><span class="math-container">$U(tx^\star) = U(t {x_1}^\star, t {x_2}^\star) = \min\{t {x_1}^\star, 3 t {x_2}^\star \} $</span></p>
<p>Since <span class="math-container">$t &gt; 1 &gt; 0$</span>,</p>
<p><span class="math-container">$U(tx^\star) = t \min \{{x_1}^\star, 3 {x_2}^\star\} = t U(x^\star)$</span></p>
<p>Since <span class="math-container">$t&gt;1$</span> and <span class="math-container">$U(x^\star) &gt; 0$</span>,</p>
<p><span class="math-container">$U(tx^\star) = t U(x^\star) &gt; U(x^\star)$</span></p>
<p>Since <span class="math-container">$tx^\star$</span> is a strictly preferred bundle to <span class="math-container">$x^\star$</span>, this contradicts that <span class="math-container">$x^\star$</span> is an optimal bundle.</p>
<p>Since <span class="math-container">$x^\star$</span> was taken as an arbitrary optimal bundle such that <span class="math-container">$p \cdot x^\star &lt; m$</span>, we can conclude that no such optimal bundle can exist.</p>
<p>Therefore, an optimal bundle for this utility must satisfy <span class="math-container">$p \cdot x^\star = m$</span>.</p>
<p>Intuitively, you can scale up the bundle proportionately until you spend all your budget, yielding a strictly better bundle.</p>

CC BY-SA 4.0
2023-05-23T23:30:35.170Z
Wow, love that you just thought this up! Im starting to wonder if there are questions you don’t know the answer to lol
CormJack
CC BY-SA 4.0
2023-05-23T23:35:33.967Z
Also you use the homogeneity of the min function. Just checking that we could still show homogeneity if $0<t<1$. But the reason we need $t > 1$ is to provide our deserved contradiction!
CormJack
CC BY-SA 4.0
2023-05-23T23:37:12.880Z
I actually love your answer, it’s so clean. It feels like the kind of proof you see in a book, where afterwards it looks so obvious. But before hand it just doesn’t occur to you at all hahaha
CormJack
CC BY-SA 4.0
2023-05-23T22:44:51.427Z
2023-05-23T22:50:13.047Z
2023-05-23T22:50:13.047Z
Nicolas Torres
<p><strong>Proof:</strong></p>
<p>Suppose there is an optimal bundle <span class="math-container">$x^\star$</span> such that <span class="math-container">$p \cdot x^\star &lt; m$</span>. By continuity there is a neighborhood <span class="math-container">$N$</span> of <span class="math-container">$x^\star$</span> such that <span class="math-container">$p\cdot x&lt;m$</span> and <span class="math-container">$u(x)\le u(x^\star)$</span> for all <span class="math-container">$x\in N$</span>. This contradicts local non-satiation. Thus, no bundle in the interior of the budget set can be optimal.</p>
<p><strong>Mathematical intuition:</strong></p>
<p>Monotone preferences like the given one are locally non-satiated, hence for every bundle <span class="math-container">$x^\star$</span> there are always arbitrarily close better bundles. If <span class="math-container">$x^\star$</span> is in the <em>interior</em> of the budget set, then these better bundles are also in the budget set, so <span class="math-container">$x^\star$</span> cannot be optimal.</p>
<p><strong>Economic intuition:</strong></p>
<p>If you buy the optimal bundle <span class="math-container">$x^\star$</span> and <span class="math-container">$p \cdot x^\star &lt; m$</span>, then you have some money left over. You could have used this money to buy stuff and thereby further increase your utility. But then <span class="math-container">$x^\star$</span> cannot be optimal.</p>

CC BY-SA 4.0
2023-05-24T10:16:10.407Z
2023-05-24T10:16:10.407Z
VARulle
<p>When we have the function <span class="math-container">$U(x_1,x_2) = min\{x_1,3x_2\}$</span></p>
<p>S.t. <span class="math-container">$p_1x_1 + p_2x_2 = m$</span></p>
<p>What's the economic, and mathematical intuition for assuming this constraint is binding, i.e. not having to investigate the case <span class="math-container">$Px&lt;m$</span></p>
<ol>
<li>I was trying to say something like the the utility function is non-decreasing in <span class="math-container">$x_1$</span> and <span class="math-container">$x_2$</span> but i don't this is strong enough to assume a binding constraint.</li>
</ol>
<ul>
<li>I understand the function is strictly increasing in the ratio given by
Our optimal factor mix, which is along the ray <span class="math-container">$y = \frac{1}{3}x$</span>. But i don't know how i use this to make my point?</li>
</ul>
<ol start="2">
<li><p>If we were to investigate this case <span class="math-container">$Px&lt;m$</span>, how would we do it? Where would it go wrong?</p>
</li>
<li><p>What's a good economic statement i can use to also justify ignoring the trivial case of binding non-negativity constraints i.e. <span class="math-container">$x_1 =0$</span> or <span class="math-container">$x_2=0$</span> apart from just stating that obviously <span class="math-container">$u = 0$</span>?</p>
</li>
</ol>

CC BY-SA 4.0
2023-05-24T11:51:13.697Z
The utility function $U(x_1,x_2)=\min(x_1,3x_2)$ represents preferences that are _weakly monotonic_ this means that the consumer prefers those bundles that contain more of both goods. Consequently, in order to maximize his utility it makes sense for such a consumer to consume the bundle which exhausts all your income. You can also try plotting the budget set and the level curves to see that the optimum lies on the budget line
mynameparv
<mathematical-economics><utility><optimization>
Perfect Complement Utility Function Maximisation
CormJack
# Perfect Complement Utility Function Maximisation

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

When we have the function $U(x\_1,x\_2) = min\{x\_1,3x\_2\}$

S.t. $p\_1x\_1 + p\_2x\_2 = m$

What's the economic, and mathematical intuition for assuming this constraint is binding, i.e. not having to investigate the case $Px

1. I was trying to say something like the the utility function is non-decreasing in $x\_1$ and $x\_2$ but i don't this is strong enough to assume a binding constraint.

* I understand the function is strictly increasing in the ratio given by
  Our optimal factor mix, which is along the ray $y = \frac{1}{3}x$. But i don't know how i use this to make my point?

2. If we were to investigate this case $Px, how would we do it? Where would it go wrong?
3. What's a good economic statement i can use to also justify ignoring the trivial case of binding non-negativity constraints i.e. $x\_1 =0$ or $x\_2=0$ apart from just stating that obviously $u = 0$?

**Tags:** mathematical-economics, utility, optimization
> **Comments:**
> **username_1**: The utility function $U(x_1,x_2)=\min(x_1,3x_2)$ represents preferences that are _weakly monotonic_ this means that the consumer prefers those bundles that contain more of both goods. Consequently, in order to maximize his utility it makes sense for such a consumer to consume the bundle which exhausts all your income. You can also try plotting the budget set and the level curves to see that the optimum lies on the budget line  

---

## 2 answers

### Answer by username_2 on 2023-05-23. Score: 1 | Accepted answer

Suppose there is an optimal bundle $x^\star = ({x\_1}^\star,{x\_2}^\star)$ such that $p \cdot x^\star < m$.

Since $p \cdot x^\star < m$, there exists a $t > 1$ such that $t (p \cdot x^\star) = m$.

More specifically, $t = \frac{m}{p \cdot x^\star}$.

Therefore, $p \cdot (tx^\star) = m$.

Plugging into the utility function,

$U(tx^\star) = U(t {x\_1}^\star, t {x\_2}^\star) = \min\{t {x\_1}^\star, 3 t {x\_2}^\star \} $

Since $t > 1 > 0$,

$U(tx^\star) = t \min \{{x\_1}^\star, 3 {x\_2}^\star\} = t U(x^\star)$

Since $t>1$ and $U(x^\star) > 0$,

$U(tx^\star) = t U(x^\star) > U(x^\star)$

Since $tx^\star$ is a strictly preferred bundle to $x^\star$, this contradicts that $x^\star$ is an optimal bundle.

Since $x^\star$ was taken as an arbitrary optimal bundle such that $p \cdot x^\star < m$, we can conclude that no such optimal bundle can exist.

Therefore, an optimal bundle for this utility must satisfy $p \cdot x^\star = m$.

Intuitively, you can scale up the bundle proportionately until you spend all your budget, yielding a strictly better bundle.

> **Comments:**
> **username_0**: Wow, love that you just thought this up! Im starting to wonder if there are questions you don’t know the answer to lol  
> **username_0**: Also you use the homogeneity of the min function. Just checking that we could still show homogeneity if $0<t<1$. But the reason we need $t > 1$ is to provide our deserved contradiction!  
> **username_0**: I actually love your answer, it’s so clean. It feels like the kind of proof you see in a book, where afterwards it looks so obvious. But before hand it just doesn’t occur to you at all hahaha  

---

### Answer by username_3 on 2023-05-24. Score: 2

**Proof:**

Suppose there is an optimal bundle $x^\star$ such that $p \cdot x^\star < m$. By continuity there is a neighborhood $N$ of $x^\star$ such that $p\cdot x and $u(x)\le u(x^\star)$ for all $x\in N$. This contradicts local non-satiation. Thus, no bundle in the interior of the budget set can be optimal.

**Mathematical intuition:**

Monotone preferences like the given one are locally non-satiated, hence for every bundle $x^\star$ there are always arbitrarily close better bundles. If $x^\star$ is in the *interior* of the budget set, then these better bundles are also in the budget set, so $x^\star$ cannot be optimal.

**Economic intuition:**

If you buy the optimal bundle $x^\star$ and $p \cdot x^\star < m$, then you have some money left over. You could have used this money to buy stuff and thereby further increase your utility. But then $x^\star$ cannot be optimal.


---

