Given $\min \{a^Tx\mid x^TQx+2b^Tx+c\leq0\}$ and $Q_{n\times n}\succ0,b\in\mathbb{R}^n,c\in\mathbb{R},a\in\mathbb{R}^n\backslash\{0\}$
- find conditions for $Q,b,c$ for which the problem is feasible
- find conditions for $Q,b,c$ for which KKT conditions are suffices
- find conditions for $Q,b,c$ for which KKT conditions are necessary
I thought maybe to look at $2b^Tx+c\leq0$ because $Q$ is positive but couldn't get more conditions from this inequality
Let's check feasibility, the problem is infeasible only if, $$\ g(x) = x^TQx + 2b^Tx + c>0 \ \forall x $$ You can easily check $g(x) = x^TQx + 2b^Tx +c$ is convex. Let $x^*$ be the minima. For the problem to be feasible we need $g(x^*) \leq 0$. $$\ \nabla g(x^*)=2Qx +2b=0 \implies x^*=-Q^{-1}b $$ Setting $g(x^*)\leq0$, we get, $$\ c-b^TQ^{-1}b \leq 0 $$ Hence, we have this upper-bound on $c$ for the problem to be feasible. Note that we have assumed $Q$ to be a symmetric matrix. In case if its not, you can always replace $Q$ by $\frac{1}{2}(Q^T+Q)$. This won't change anything.
Since, both the objective and constraints are convex. KKT conditions suffice. But are they necessary? Can you figure it out?
Hint1: Are there points which violates the regularity conditions?
Hint2: Do we need $g(x^*) < 0$ for KKT?