Can I solve this problem with CVX?

(jiangxu) #1

I have a maximization problem like this

\text{maximize} \sum_{n=1}^N\left( \log\left(1+\frac {x_1[n]x_2[n]k_1[n]k_2[n]}{x_1[n]k_1[n]+x_2[n]k_2[n]+N_0}\right)-k3[n]x_1[n]-k4[n]x_2[n]\right)

The constraints are affine.

Where \{x_1[n],x_2[n]\}_{n=1}^N are positive variables.

\{k_1[n],k_2[n],k_3[n],k_4[n]\}_{n=1}^N and N_0 are positive constants.

It is concave, but I do not know how to rewrite this problem.

(jiangxu) #2

\frac {k_1k_2x_1x_2} {k_1x_1+k_2x_2+N_0} is proved to be concave by calculating its Hessian martix. Its determinant can be written as -\frac {(k_1k_2x_1x_2-(k_1x_1+N_0)(k_2x_2+N_0))^2} {(k_1x_1+k_2x_2+N_0)^6} .

Therefore, the objective function is concave. I want to solve this problem with CVX, but CVX can not recognize this problem. I do not know how to rewrite this problem. If CVX does not work, is there any other way to solve this problem?

(Mark L. Stone) #3

According to my calculations using MAPLE, the objective function is not concave. It is also the case that the argument of log is not concave.

Consider f(x1,x2) = x1*x2/(x1+x2+a) and h(x1,x2) = log(1 + f(x1,x2)) . These both have indefinite Hessians at x1 = 1, x2 = 1, a = 2; Hessian of f has eigenvalues 1/16 and -1/4. Hessian of h has eigenvalues 1/200 and -1/5.

Indeed, your determinant does equal the product of my eigenvalues, so is corect for at least those parameters. And that determinant is negative, which shows that there must be one positive and one negative eigenvalue, and hence that h is indefinite.

(Michael C. Grant) #4

A determinant test is an invalid way to prove convexity. Please read a convex optimization text such as Boyd & Vandenberghe.

(Mark L. Stone) #5

In this case the determinant test was able to prove non-convexity.

(jiangxu) #6

thank you. You are right. it is no t convex