- #1
Master1022
- 611
- 117
- Homework Statement
- We are looking at the function: ## f(x, y) = \frac{x^2}{y}, x \in \mathbb{R} , y > 0 ##. Is this function positive semi-definite.
- Relevant Equations
- Hessian
Hi,
I was looking at the following example, and I cannot really understand the justification for why this function is positive semi-definite.
Example Problem: We are looking at the function: ## f(x, y) = \frac{x^2}{y}, x \in \mathbb{R} , y > 0 ##. Is this function positive semi-definite.
Solution provided: We can calculate the Hessian to yield:
[tex] \nabla^2 f(x, y) = \frac{2}{y^3} \begin{pmatrix} y^2 & -xy \\ -xy & x^2 \end{pmatrix} = \frac{2}{y^3} \begin{pmatrix} y \\ -x \end{pmatrix} \begin{pmatrix} y \\ -x \end{pmatrix}^T \succcurlyeq 0 [/tex]
Therefore, the function is PSD.
My Question: I am not fully convinced by the last step of the argument. I can understand the decomposition, but it isn't obvious to me why that implied positive semi-definiteness.
From what I understand, a matrix ##A## can be said to be PSD if ## x^T Ax \geq 0## for all ##x##. We can also check that the eigenvalues all have real parts ## \geq 0 ##. However, the solution above shows that the Hessian matrix is separable and is multiplied by a pre-factor which is always ## \geq 0 ## because ## y > 0##. I mean, perhaps I could 'transpose' the expression they have and think about the ## \frac{2}{y^3} ## as the ## A ## matrix, but I am also not sure that is valid to do.Any help would be greatly appreciated as I am sure this is quite a simple question and I am missing something obvious.
I was looking at the following example, and I cannot really understand the justification for why this function is positive semi-definite.
Example Problem: We are looking at the function: ## f(x, y) = \frac{x^2}{y}, x \in \mathbb{R} , y > 0 ##. Is this function positive semi-definite.
Solution provided: We can calculate the Hessian to yield:
[tex] \nabla^2 f(x, y) = \frac{2}{y^3} \begin{pmatrix} y^2 & -xy \\ -xy & x^2 \end{pmatrix} = \frac{2}{y^3} \begin{pmatrix} y \\ -x \end{pmatrix} \begin{pmatrix} y \\ -x \end{pmatrix}^T \succcurlyeq 0 [/tex]
Therefore, the function is PSD.
My Question: I am not fully convinced by the last step of the argument. I can understand the decomposition, but it isn't obvious to me why that implied positive semi-definiteness.
From what I understand, a matrix ##A## can be said to be PSD if ## x^T Ax \geq 0## for all ##x##. We can also check that the eigenvalues all have real parts ## \geq 0 ##. However, the solution above shows that the Hessian matrix is separable and is multiplied by a pre-factor which is always ## \geq 0 ## because ## y > 0##. I mean, perhaps I could 'transpose' the expression they have and think about the ## \frac{2}{y^3} ## as the ## A ## matrix, but I am also not sure that is valid to do.Any help would be greatly appreciated as I am sure this is quite a simple question and I am missing something obvious.