This is “Mathematical Cleanup”, section 12.7 from the book Beginning Economic Analysis (v. 1.0).

For more information on the source of this book, or why it is available for free, please see the project's home page. You can browse or download additional books there. You may also download a PDF copy of this book (7 MB) or just this chapter (592 KB), suitable for printing or most e-readers, or a .zip file containing this book's HTML files (for use in a web browser offline).

Has this book helped you? Consider passing it on:

Creative Commons supports free culture from music to education. Their licenses helped make this book available to you.

DonorsChoose.org helps people like you help teachers fund their classroom projects, from art supplies to books to calculators.

- Are there important details that haven’t been addressed in the presentation of utility maximization?
- What happens when consumers buy none of a good?

Let us revisit the maximization problem considered in this chapter to provide conditions under which local maximization is global. The consumer can spend *M* on either or both of two goods. This yields a payoff of $h(x)=u\left(x,\frac{M-{p}_{X}x}{{p}_{Y}}\right).$
When is this problem well behaved? First, if *h* is a concave function of *x*, which implies ${h}^{\u2033}(x)\le 0\text{,}$
The definition of concavity is such that *h* is concave if 0 < *a* < 1 and for all *x, y*, *h*(*ax* + (1 – *a*)*y*) ≥ *ah*(*x*) + (1 – *a*)*h*(*y*). It is reasonably straightforward to show that this implies the second derivative of *h* is negative; and if *h* is twice differentiable, the converse is true as well. then any solution to the first-order condition is, in fact, a maximum. To see this, note that ${h}^{\u2033}(x)\le 0$
entails ${h}^{\prime}(x)$
is decreasing. Moreover, if the point *x** satisfies ${h}^{\prime}(x*)=0\text{,}$
then for *x* ≤ *x**, ${h}^{\prime}(x)\ge 0\text{;}$
and for *x* ≥ *x**, ${h}^{\prime}(x)\le 0\text{,}$
because ${h}^{\prime}(x)$
gets smaller as *x* gets larger, and ${h}^{\prime}(x*)=0\text{.}$
Now consider *x* ≤ *x**. Since ${h}^{\prime}(x)\ge 0\text{,}$
*h* is increasing as *x* gets larger. Similarly, for *x* ≥ *x**, ${h}^{\prime}(x)\le 0\text{,}$
which means that *h* gets smaller as *x* gets larger. Thus, *h* is concave and ${h}^{\prime}(x*)=0$
means that *h* is maximized at *x**.

Thus, a sufficient condition for the first-order condition to characterize the maximum of utility is that ${h}^{\u2033}(x)\le 0$
for all *x*, *p _{X}*,

In turn, we can see that this requires (i) *u*_{11} ≤ 0 (*z* = 0), (ii) *u*_{22} ≤ 0 (*z*→∞), and (iii) $\sqrt{{u}_{11}{u}_{22}}-{u}_{12}\ge 0$
$\left(z=\sqrt{\raisebox{1ex}{${u}_{11}$}\!\left/ \!\raisebox{-1ex}{${u}_{22}$}\right.}\right)\text{.}$
In addition, since

(i), (ii), and (iii) are sufficient for ${u}_{11}+2z{u}_{12}+{z}^{2}{u}_{22}\le 0\text{.}$

Therefore, if (i) *u*_{11} ≤ 0, (ii) *u*_{22} ≤ 0, and (iii) $\sqrt{{u}_{11}{u}_{22}}-{u}_{12}\ge 0\text{,}$
a solution to the first-order conditions characterizes utility maximization for the consumer.

When will a consumer specialize and consume zero of a good? A necessary condition for the choice of *x* to be zero is that the consumer doesn’t benefit from consuming a very small *x*; that is, ${h}^{\prime}(0)\le 0\text{.}$
This means that

or

$$\frac{{u}_{1}\left(0,\raisebox{1ex}{$M$}\!\left/ \!\raisebox{-1ex}{${p}_{Y}$}\right.\right)}{{u}_{2}\left(0,\raisebox{1ex}{$M$}\!\left/ \!\raisebox{-1ex}{${p}_{Y}$}\right.\right)}\le \raisebox{1ex}{${p}_{X}$}\!\left/ \!\raisebox{-1ex}{${p}_{Y}$}\right.\text{.}$$Moreover, if the concavity of *h* is met, as assumed above, then this condition is sufficient to guarantee that the solution is zero. To see this, note that concavity of *h* implies ${h}^{\prime}$
is decreasing. Combined with ${h}^{\prime}(0)\le 0\text{,}$
this entails that *h* is maximized at 0. An important class of examples of this behavior is quasilinear utility. Quasilinear utility comes in the form *u*(*x, y*) = *y* + *v*(*x*), where *v* is a concave function (${v}^{\u2033}(x)\le 0$
for all *x*). That is, quasilinear utilityUtility that is additively separable. is utility that is additively separable.

Figure 12.14 Quasilinear isoquants

The procedure for dealing with corners is generally this. First, check concavity of the *h* function. If *h* is concave, we have a procedure to solve the problem; when *h* is not concave, an alternative strategy must be devised. There are known strategies for some cases that are beyond the scope of this text. Given *h* concave, the next step is to check the endpoints and verify that ${h}^{\prime}(0)>0$
(for otherwise *x* = 0 maximizes the consumer’s utility) and ${h}^{\prime}\left(\raisebox{1ex}{$M$}\!\left/ \!\raisebox{-1ex}{${p}_{X}$}\right.\right)<0$
(for otherwise *y* = 0 maximizes the consumer’s utility). Finally, at this point we seek the interior solution ${h}^{\prime}(x)=0\text{.}$
With this procedure, we can ensure that we find the actual maximum for the consumer rather than a solution to the first-order conditions that don’t maximize the consumer’s utility.

- Conditions are available that ensure that the first-order conditions produce a utility maximum.
- With convex preferences, zero consumption of one good arises when utility is decreasing in the consumption of one good, spending the rest of income on the other good.

- Demonstrate that the quasilinear consumer will consume zero
*X*if and only if ${v}^{\prime}(0)\le \frac{{p}_{x}}{{p}_{y}}\text{,}$ and that the consumer instead consumes zero*Y*if ${v}^{\prime}\left(\raisebox{1ex}{$M$}\!\left/ \!\raisebox{-1ex}{${p}_{X}$}\right.\right)\ge \frac{{p}_{x}}{{p}_{y}}.$ The quasilinear utility isoquants, for $v(x)={(x+0.03)}^{0.3}\text{,}$ are illustrated in Figure 12.14 "Quasilinear isoquants". Note that, even though the isoquants curve, they are nonetheless parallel to each other.