Unifying Farkas lemma and S-lemma: new theory and applications in nonquadratic nonconvex optimization

We unify nonlinear Farkas lemma and S-lemma to a generalized alternative theorem for nonlinear nonconvex system. It provides fruitful applications in globally solving nonconvex non-quadratic optimization problems via revealing the hidden convexity.