The S-procedure or S-lemma is a mathematical result that gives conditions under which a particular quadratic inequality is a consequence of another quadratic inequality. The S-procedure was developed independently in a number of different contexts[1] [2] and has applications in control theory, linear algebra and mathematical optimization.
Let F1 and F2 be symmetric matrices, g1 and g2 be vectors and h1 and h2 be real numbers. Assume that there is some x0 such that the strict inequality
| T | |
| x | |
| 0 |
F1x0+
| T | |
| 2g | |
| 1 |
x0+h1<0
xTF1x+
| T | |
| 2g | |
| 1 |
x+h1\le0\LongrightarrowxTF2x+
| T | |
| 2g | |
| 2 |
x+h2\le0
λ\begin{bmatrix}F1&g1
| T | |
| \ g | |
| 1 |
&h1\end{bmatrix}-\begin{bmatrix}F2&g2
| T | |
| \ g | |
| 2 |
&h2\end{bmatrix}