How to express x^(-a)y(-b) into CVX form

Uncategorized
Jul 29, 2022
R

I have checked that {x^{ - a}}{y^{ - b}} is jointly convex w.r.t. x and y for x>0,y>0 (a>0 and b>0 are constant). How to transform {x^{ - a}}{y^{ - b}} into CVX form? Thanks in advance!

M

If in gp mode, enter it as is. Otherwise,see the first sentence of @jackfsuia 's following post if the paradigm is compatible with your usage.

I don’t believe the power cone is applicable here. And in any event, is not directly supported by CVX, so would require formulation in terms of 2nd order cones (or maybe geo_mean).

J

x^(-a)y^(-b)<=z is equivalent to -alog(x)-blog(y)<=log(z), handle it like this. or expressing x^(a)y^(b)z>=1, this can be done by using power cone per https://docs.mosek.com/modeling-cookbook/powo.html. I am not sure if Power cone is more reliable than exponential cone (the log()) in general.

E
Replying to #3

You need the 3 exponential cone for the log() version therefore the power cone may hold an advantage.
But you never know.

R
Replying to #2

Thanks, Mark. It is very helpful.

R
Replying to #3

Thanks jack. It is very helpful.

R
Replying to #4

Thanks for your comments., Erling. I learn it a lot.