NegativeSemidefiniteMatrixQ

NegativeSemidefiniteMatrixQ[m]

gives True if m is explicitly negative semidefinite, and False otherwise.

Details and Options

  • A matrix m is negative semidefinite if Re[Conjugate[x].m.x]≤0 for all vectors x.
  • NegativeSemidefiniteMatrixQ works for symbolic as well as numerical matrices.
  • For approximate matrices, the option Tolerance->t can be used to indicate that all eigenvalues λ satisfying λ≤t λmax are taken to be zero where λmax is an eigenvalue largest in magnitude.
  • The option Tolerance has Automatic as its default value.

Examples

open all close all

Basic Examples  (1)

Test if a matrix is explicitly negative semidefinite:

In[1]:=
Click for copyable input
In[3]:=
Click for copyable input
Out[3]=

This means that the quadratic form for all vectors :

In[2]:=
Click for copyable input
Out[2]=

Scope  (6)

Options  (1)

Applications  (1)

Properties & Relations  (10)

Possible Issues  (1)

Introduced in 2014
(10.0)