Why is this method valid to show function is PSD?

Click For Summary

Homework Help Overview

The discussion revolves around the positive semi-definiteness (PSD) of a function defined as ## f(x, y) = \frac{x^2}{y} ##, where ## x \in \mathbb{R} ## and ## y > 0 ##. Participants are examining the justification for the function being classified as PSD based on the Hessian matrix.

Discussion Character

  • Conceptual clarification, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • The original poster questions the validity of the last step in the provided solution regarding the Hessian matrix's positive semi-definiteness. They express uncertainty about the implications of the matrix decomposition and the role of the pre-factor. Other participants introduce exercises related to the PSD property of matrices formed from column vectors, discussing eigenvalues and rank.

Discussion Status

Participants are exploring different approaches to understanding positive semi-definiteness. Some have provided insights into the properties of matrices formed from vectors, while others are still clarifying the specific case of the function in question. There is no explicit consensus, but productive lines of reasoning are being developed.

Contextual Notes

The discussion includes considerations of definitions and properties of positive semi-definite matrices, as well as the implications of specific matrix forms and their eigenvalues. The original poster's question highlights a potential gap in understanding the justification provided in the solution.

Master1022
Messages
590
Reaction score
116
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:
\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

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.
 
Physics news on Phys.org
Here is an exercise:

For any column vector ##v##, show that ##vv^T## is a positive semi definite matrix.
 
  • Informative
Likes   Reactions: Master1022
Orodruin said:
Here is an exercise:

For any column vector ##v##, show that ##vv^T## is a positive semi definite matrix.
Ah yes.

Okay so the ## v v^T ## resembles a covariance matrix. It has rank 1 because row can be written as ## v_i v ## (that is element ## v_i ## multiplied by ## v ##) and so we can do some row reduction. Therefore because it is rank 1, it has 1 non-zero eigenvalue. We know that the eigenvalues of a matrix sum to the trace so the one non-zero eigenvalue is ## \lambda = ||v||_2 ^2 ##, while the other ## n - 1 ## eigenvalues are 0.

We can see that the eigenvalues are ## \geq 0 ## and therefore ## v v^T ## is PSD.

Relating it back to my question, we have a ## k v v^T ## with some positive constant ##k## and so now that makes sense why the matrix is PSD.

Thank you.
 
While that works, the more straightforward way is to directly use the definition of positive semi definite. For any ##u##, ##a = u^T v## is a number and so ##a = u^T v = v^T u##. Hence, with ##A = vv^T##, ##u^TAu = u^T v v^T u = a^2 \geq 0## and thus ##vv^T## is positive semi definite.
 
  • Like
Likes   Reactions: JFerreira and Master1022

Similar threads

Replies
4
Views
2K
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
857
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
8
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 39 ·
2
Replies
39
Views
6K