Given two ellipsoids $\mathcal{E}_1 = \{ X | X^T A_1 X + 2B_1^T X + C_1 \leq 0\}$ and $\mathcal{E}_2 = \{ X | X^T A_2 X + 2 B_2^T X + C_2 \leq 0\}$ both non-empty, it is possible to test if $\mathcal{E}_1 \subseteq \mathcal{E}_2$. Indeed, by the use of the so called S-procedure, $\mathcal{E}_1 \subseteq \mathcal{E}_2$ $\iff$ $\exists \lambda > 0$ such that $$ \begin{bmatrix} A_2 &B_2\\ B_2^T &C_2\end{bmatrix} \preceq \lambda \begin{bmatrix} A_1 &B_1 \\ B_1^T &C_1\end{bmatrix}$$


Assume that $\mathcal{E}_1 \not\subseteq \mathcal{E}_2$. I want to find a point in $\mathcal{E}_1 \setminus \mathcal{E}_2$. How can I do that? I think one should follow the proof of the S-procedure (the necessity part) and eventually construct one on those lines ... Can someone help?



Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.