2
$\begingroup$

"Determine if the following quadratic form is positive definite, negative definite or undefinite
$Q:\mathbb R^3\to \mathbb R, \,Q(u)=x_1^2+4x_1x_2-2x_2^2+2x_1x_3-2x_3^2$"

$$Q=\begin{bmatrix} 1&2&1 \\\ 2&-2&0 \\\ 1&0&-2 \end{bmatrix}$$

  1. I tried to compute the diagonal matrix but the eigenvalues are not integers, thus it's a bit hard to calculate by hand. UPDATE: Seemingly, I've done something wrong previously.
  2. I tried to group them to form squares, however there is nothing that guarantees is either positive or negative. Plugging in numbers results in both positive and negative results.
  3. What else to try?
  • 2
    Diagonalization in the sense of "congruence" -- i.e., passing from $Q$ to $P^T Q P$ for invertible $P$ -- can always be done within the ground field (I assume the characteristic is not $2$!), so you needn't worry about irrational numbers. The algorithm is straightforward: every time you do an elementary row operation, you follow it with the "same" elementary column operation.2012-01-19
  • 0
    @PeteL.Clark is there any paper about this? so I can read more about it2012-01-19
  • 1
    $@$Andrew: this is really a topic for textbooks rather than papers: you can consult Chapter 1 of any number of texts on quadratic forms (I recommend Lam's book and Cassels' book in particular). I do have a treatment of this material in $\S$ 5 of my own lectures notes: http://math.uga.edu/~pete/quadraticforms.pdf. However I discuss the algorithm rather sketchily and give no examples, so I think other sources would serve you better.2012-01-19

3 Answers 3

2

Notice that if you add two times the identity matrix to $Q$ then the bottom-right $2\times 2$-submatrix will be $0$.

This shows that $-2$ is an eigenvalue--a corresponding eingenvector is $[0,1,-2]$.

Now use polynomial division to divide the characteristic polynomial by $(\lambda+2)$.

The zeros of the resulting quadratic polynomial are the two remaining eigenvalues.

  • 0
    I didn't hear of this trick, working with a submatrix. Can you explain it a bit? I was doing it the long way(I think), by computing $det(A-\lambda I_n)=0$2012-01-19
  • 1
    It simply meant that the entries with index $(2,2)$, $(2,3)$, $(3,2)$, $(3,3)$ vanish in $Q+2\mathrm{Id}$. It's not trick--just an observation allowing to guess one of the eigenvalues.2012-01-19
  • 0
    So the rule says? If you can find a submatrix(at least 2x2?) that can be transformed to 0's by adding/subtracting something times the identity matrix, that something is a (possible?) eigenvalue?2012-01-19
  • 0
    Well, suppose you have a matrix of the form $$Q=\begin{bmatrix} a&b&c \\\ d&0&0 \\\ e&0&0 \end{bmatrix}$$ such that $b\neq 0$ or $c\neq 0$. Can you guess a non-zero vector in the kernel?2012-01-19
  • 0
    $d=e=0$ and $x_2[\frac{-b}{a} \ b \ 0]^T+x_3[\frac{-c}{a} \ 0 \ c]^T$, is this what you asked me?2012-01-19
  • 0
    @Andrew: No, I was going for $[0,c,-b]^T$. The numbers $d$ and $e$ are fixed and need not be zero.2012-01-19
  • 0
    how did you find them?2012-01-19
  • 0
    @Andrew: I don't know exactly what you are asking.2012-01-19
  • 0
    How did you find the non zero vector in the kernel?2012-01-19
  • 0
    Well, by taking an arbitrary vector, say $[x,y,z]$, setting the result equal to zero and seeing what $x,y$ and $z$ needed to fulfill.2012-01-19
2

The first vector of the canonical basis being positive and the second negative, the form is indefinite.

EDIT A. More careful phrasing:

The restriction of $Q$ to the first coordinate axis being positive definite, and its restriction to the second coordinate axis being negative definite, $Q$ is indefinite.

EDIT B. If the matrix of a quadratic form on $\mathbb R^n$ has a positive ($ > 0$) diagonal entry and a negative ($ < 0$) diagonal entry, then it is indefinite.

  • 0
    The canonical basis is exactly like $Q$?2012-01-19
  • 0
    Dear @Andrew: I edited the answer. Is it clearer now?2012-01-19
  • 0
    Dear @Andrew: Do you agree that any quadratic form whose matrix has a positive diagonal entry and a negative diagonal entry is indefinite?2012-01-20
  • 0
    Yes, I agree with what you said.2012-01-20
1

The principal determinant method is easy to apply, the eigenvalue method is more tedious

  • 0
    and there is another way to solve the problem , Theorem / Let A be a symmetric matrix of order m. Then A is positive definite iff its naturally ordered principal minors are all positive.2012-02-19