Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Consider a convex optimization problem.

$$\min_{u\in\Re^k} f(u)$$

s.t. $g_i(u)\leq0,\ i=1,\ldots,m$

Let $F(x)=F(u,\lambda)=(f'(u)+\sum_{i=1}^m\lambda_ig_i'(u),-g_1(u),\ldots,-g_m(u)):\Re^n\rightarrow\Re^n$, ($n=k+m$)


$f$ and $g_i$ are all convex. For simplicity, assume they belong to $C^1$.

Is $F(x)$ a monotone operator in $G$, i.e., $(F(x_1)-F(x_2))^T(x_1-x_2)\geq0$ always satisfied in G?

Thanks a lot.

share|cite|improve this question
up vote 2 down vote accepted

First of all, notice that we have a sum of operators: $(f', 0)$ and $m$ operators of the form $(\lambda g' , -g)$. I claim that each of them is monotone. For the first one this is clear: it is essentially the gradient of convex function $f$. To deal with the rest, recall the inequality $g(v)\ge g(u)+g'(u)(v-u) $ which expresses the convexity of $g$. It follows that in the expression $$(\lambda g'(u)- \mu g'(v)) (u-v) + (-g(u)+g(v)) (\lambda -\mu)$$ the coefficients of $\lambda$ and of $\mu$ are both nonnegative. $\Box$

share|cite|improve this answer
Thanks a lot. Seems I went one unnecessary step which hide the correct answer. – mining Aug 12 '12 at 21:22

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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