Skip to main content
Anwering to edited question
Source Link

Equivalent to convexity is that the Hessian matrix is positive semidefinite for all $x \in L$. This can be done by checking if all eigenvalues of this symmetric matrix are nonegative. The eigenvalues in turn can be calculated by the zeros of the characteristic polynomial. They are real. In your special case $L\subset \mathbb{R}^3$, the characteristic polynomial is a polynomial of degree at most 3, that means the zeros can be found even analytically by Cardano's formula. The zeros would clearly depend on $X_0$.

Note that you assumed implicitely $\min f < \epsilon^+$ in order to avoid empty $L$.

Equivalent to convexity is that the Hessian matrix is positive semidefinite for all $x \in L$.

Equivalent to convexity is that the Hessian matrix is positive semidefinite for all $x \in L$. This can be done by checking if all eigenvalues of this symmetric matrix are nonegative. The eigenvalues in turn can be calculated by the zeros of the characteristic polynomial. They are real. In your special case $L\subset \mathbb{R}^3$, the characteristic polynomial is a polynomial of degree at most 3, that means the zeros can be found even analytically by Cardano's formula. The zeros would clearly depend on $X_0$.

Note that you assumed implicitely $\min f < \epsilon^+$ in order to avoid empty $L$.

Source Link

Equivalent to convexity is that the Hessian matrix is positive semidefinite for all $x \in L$.