S-Lemma with Equality and Its Applications
Let f(x)=xTAx+2aTx+c and h(x)=xTBx+2bTx+d be two quadratic functions having symmetric matrices A and B. The S-lemma with equality asks when the unsolvability of the system f(x)<0,h(x)=0 implies the existence of a real number μ such that f(x)+μh(x)≥0, ∀x∈Rn. The problem is much harder than the inequality version which asserts that, under Slater condition, f(x)<0,h(x)≤0 is unsolvable if and only if f(x)+μh(x)≥0, ∀x∈Rn for some μ≥0. In this paper, we show that the S-lemma with equality does not hold only when the matrix A has exactly one negative eigenvalue and h(x) is a non-constant linear function (B=0,b=0). As an application, we can globally solve inf{f(x)∣h(x)=0} as well as the two-sided generalized trust region subproblem inf{f(x)∣l≤h(x)≤u} without any condition. Moreover, the convexity of the joint numerical range {(f(x),h1(x),…,hp(x)): x∈Rn} where f is a (possibly non-convex) quadratic function and h1(x),…,hp(x) are affine functions can be characterized using the newly developed S-lemma with equality.