Message Boards Message Boards

8 Replies
0 Total Likes
View groups...
Share this post:

Multidimensional Analogies of One-dimensional concepts

Posted 9 years ago

Hello, I would like to ask are there exist more such analogies like:

  1. matrix can be positive semi-definite - number/function is nonnegative
  2. eigenvalues of system - zeros of function ( I'm not sure if its true..)

I'm trying to as many analogies and corresponding equations as I can to help me with understanding theory of matrices, systems and multidimensional things.

Thanks in advance :)

8 Replies

What I should have said is that I'd like a set of equations involving the matrix elements that insure it's positive semi-definite. Sylvester's criterion is one possibility, I suppose.

POSTED BY: Frank Kampas

If you have a starting point that satisfies the LMI constraints, it suffices, in theory, just to keep the determinants positive (a change in sign means an eigenvalue became negative). In practice this could fail if a step size was too large and you jump into an region of the matrix space where, say, two eigenvalues became negative.

POSTED BY: Daniel Lichtblau

I'd like to be able to implement it symbolically to do convex relaxation.

POSTED BY: Frank Kampas

Is convex relaxation where you take a nap inside an ellipse?

Any symbolic effort in this direction will, at best, only handle toy problems. It's just hugely worse in terms of computational complexity.

POSTED BY: Daniel Lichtblau

How can a matrix inequality be implemented in Mathematica?

POSTED BY: Frank Kampas

One way, probably not the best, would be to check the eigenvalues of the matrix difference.

matrixGreaterEqual[m1_, m2_] /; 
  MatrixQ[m1, Element[#, Reals] &] && 
   MatrixQ[m2, Element[#, Reals] &] && 
   Dimensions[m1] == Dimensions[m2] && Apply[Equal, Dimensions[m1]] :=
  Module[{diffmat = m1 - m2, evals},
  evals = Eigenvalues[diffmat];
  VectorQ[evals, Element[#, Reals] &] && Min[evals] >= 0]


m1 = {{5, -1}, {-1, 3}};
m2 = {{2, -1}, {-1, 2}};

In[11]:= matrixGreaterEqual[N@m1, m2]

(* Out[11]= True *)

There is probably a better way to go about this using CholeskyDecomposition.

POSTED BY: Daniel Lichtblau

There are matrix power series, a matrix exponential (can be defined in terms of power series), and more. But I should point out that all this is somewhat removed from the intent of this forum.

POSTED BY: Daniel Lichtblau

the idea of positive semi-definite matrices can be extended to define matrix inequalities

POSTED BY: Frank Kampas
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
or Discard

Group Abstract Group Abstract