4
$\begingroup$

$$k\in \mathbb{R}_{+}$$

$$M=\left \{ (x_1,x_2)\in \mathbb{R}_{++}^2 \mid x_1 x_2\geq k\right \}$$

Prove that the set $M$ is convex.

A hint is given (quoted from the text): We could choose to exploit the fact that if $a$ and $b$ are positive numbers, then: $\frac{a}{b}+\frac{b}{a}\geq 2$

I don't understand how the hint should be used.

This is not an assignment that I have to submit. It's just practice for an upcoming exam.

My understanding is that a set is proven convex if we can take two points from the set and have all the convex combinations of those two points also lie in the set.

My first attempt:

I take two vectors from the set $x=(x_1,x_2)\text{ and } y=(y_1,y_2)$

Since the vectors are taken from the set they satisfy the inequality: $x\geq k \text{ and } y\geq k$

Therefore the convex combination of the two must also satisfy the inequality:

$$\forall x,y\in M,\forall k\in\mathbb{R}_{+},\forall \alpha \in [0;1]:\alpha x+(1-\alpha)y\geq k$$

This proves that the set is convex (or does it? I'm not sure at all)

2nd attempt:

I simply treat the the inequality $x_1 x_2\geq k$ as an equality $x_1 x_2= k$

I rearrange and get $x_2=\frac{k}{x_1}$

I take the 2nd derivative of $x_{2}$ with respect to $x_1 \Leftrightarrow \frac{d^2 x_2}{dx_1}=\frac{2k}{x_1^3}$ and learn that the it is positive. This proves that the border of the set is stricly convex, which proves that the set is convex (or does it? again not sure).

$\endgroup$
3
$\begingroup$

I disagree with your second attempt, I don't understand it completely though, it's a bit ambiguous what you're saying, but the way I interpret it sounds wrong, but your first attempt is definitely wrong, you have to show that inequality holds for the coordinates of all vectors that lie in the line segment between each two vectors in the set.

Suppose that for some arbitrarily chosen $0\leq \alpha \leq 1$ we write:

$(z_1,z_2)=\alpha (x_1,x_2) + (1-\alpha) (y_1,y_2)$

Does $z_1 \cdot z_2 \geq k$ hold?

Remember that $x_1x_2 \geq k$ and $y_1y_2\geq k$.

Addendum:

This is how I can prove what you want, I don't use $\displaystyle \frac{a}{b} + \frac{b}{a} \geq 2$ in my proof, but since I'm using AM-GM inequality, I guess that with a suitable change of variables you might find a way to write what you want by using that particular inequality (which is implied by AM-GM):

As you said, we have:

$z_1 = \alpha x_1 + (1-\alpha)y_1$

$z_2 = \alpha x_2 + (1-\alpha)y_2$

Just by doing some simple algebraic manipulations, we get:

$z_1 z_2 = \alpha^2 x_1x_2 + \alpha(1-\alpha)x_1y_2 + \alpha(1-\alpha)x_2y_1 + (1-\alpha)^2y_1y_2$

Now use your hypotheses to get:

$z_1z_2 \geq \alpha^2 k + \alpha(1-\alpha)(x_1y_2+x_2y_1) +(1-\alpha)^2k$

But by using AM-GM inequality we have:

$x_1y_2+x_2y_1 \geq 2 \sqrt{x_1x_2}\sqrt{y_1y_2}\geq 2k$

Therefore, we get:

$$z_1z_2 \geq \alpha^2k + \alpha(1-\alpha)(2k)+(1-\alpha)^2k \geq k (\alpha^2+2\alpha(1-\alpha)+(1-\alpha)^2)$$

$$z_1z_2 \geq k (\alpha + (1-\alpha))^2=k$$

$\endgroup$
  • $\begingroup$ My 2nd attempt is based on convex properties of functions where if the 2nd derivative of a function is positive, then the function is stricly convex. $z_{1}\cdot z_{2}\geq k$ does hold as I see it. The coordinates of z will be $z_{1}=\alpha x_{1}+(1-\alpha )y_{1}$ and $z_{2}=\alpha x_{2}+(1-\alpha )y_{2}$ $\endgroup$ – TheJanitor May 16 '14 at 16:58
  • $\begingroup$ @TheJanitor: Then you're applying the second derivative test wrongly. You have to deal with the Hessian matrix, instead of dividing by one-variable and use the second derivative test on the other variable. About your attempt, why $z_1z_2 \geq k$? What's their product? Why does it always remain greater than or equal to $k$? You need to show that. $\endgroup$ – math.n00b May 16 '14 at 17:01
  • $\begingroup$ Is it because if $x_{1}x_{2}\geq k$ and $y_{1}y_{2}\geq k$ and $z_{1}=\alpha x_{1}+(1-\alpha)y_{1}\geq x_{1}$ or $y_{1)$ and $z_{2}=\alpha x_{2}+(1-\alpha)y_{2}\geq x_{2}$ or $y_{2)$ then it must be the case that $z_{1}z_{2}\geq k$ ?? $\endgroup$ – TheJanitor May 16 '14 at 17:24
  • $\begingroup$ I don't know why. Please help. $\endgroup$ – TheJanitor May 16 '14 at 20:18
  • $\begingroup$ $z_{1}z_{2}\geq x_{1}x_{2}\geq k$ so $z_{1}z_{2}\geq k$ ?? $\endgroup$ – TheJanitor May 16 '14 at 20:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.