Why would f(x) not be included in the determinant?

  • Level: Undergrad 
  • Thread starter Thread starter epkid08
  • Start date Start date
  • Tags Tags
    Determinant
Join the discussion
Registration is free. Start your own thread to ask a follow-up.
9 replies · 3K views
epkid08
Messages
264
Reaction score
1
Let's say I have a matrix A:

[tex]A=\begin{bmatrix}<br /> f(x)& z_1(x)& z_2(x)\\ <br /> 0& a(x)& b(x)\\<br /> 0& c(x)& d(x) <br /> \end{bmatrix}[/tex]

I've noticed that the determinant of A will either be [tex]a(x)d(x) - b(x)c(x)[/tex] or [tex]f(x)a(x)d(x)-f(x)b(x)c(x)[/tex]. I've never found an example of it taking another form. My question is, is there a way to determine which one it is? Does it depend soley on [tex]f(x)[/tex], or does it depend on all functions in the matrix?
 
Physics news on Phys.org


Why would f(x) not be included in the determinant?
 


Pengwuino said:
Why would f(x) not be included in the determinant?

I'm not sure why, but I've found an example, I'll post it in a minute.
 


The 2 by 2 determinant
[tex]\left|\begin{array}{cc}a & b \\c & d\end{array}\right|[/tex]
is defined as "ad- bc".

The 3 by 3 determinant
[tex]\left|\begin{array}{ccc}a & b & c\\d & e & f\\ g & h & i\end{array}\right|[/itex]<br /> can be "expanded by the first column" to give<br /> [tex]a\left|\begin{array}{cc}e & f \\ h & i\end{array}\right|- d\left|\begin{array}{cc}b & c \\ h & i\end{array}\right|+ g\left|\begin{array}{cc}b & c \\ e & r\end{array}\right|[/tex]<br /> = a(ei- fh)- d(bi- ch)+ g(bf- ce) .<br /> <br /> In the special case that the bottom two entries of the first column are 0, that reduces to what you have: <br /> [tex]a\left|\begin{array}{cc}e & f \\ h & i\end{array}\right|[/tex]<br /> = a(ei- fh).[/tex]
 


Hmm, it's very possible that my book made a typo.

This is the example from my book:

Find the Wronskian of the set [tex]\{x,x^2,x^3\}[/tex]

[tex]W(x, x^2, x^3)=\left|\begin{array}{ccc}x & x^2 & x^3 \\1 & 2x & 3x^2\\ 0 & 2 & 6x\end{array}\right|[/tex]

[tex]xR_2-R_1 \rightarrow R_2[/tex]

[tex]W(x, x^2, x^3)=\left|\begin{array}{ccc}x & x^2 & x^3 \\0 & x^2 & 2x^3\\ 0 & 2 & 6x\end{array}\right|[/tex]

Now according to you, the Wronskian should evaluate to [tex]x((x^2)(6x)-(2)(2x^3))=2x^4[/tex], but the book has the answer as [tex]2x^3[/tex].
 


Plugging in [tex]x=5[/tex] into the function, and using a calculator to evaluate the determinant, it seems like it was a typo all along.

Ehh!
 


Another question.

So if I had a n by n matrix B:

[tex] B_{n,n} = <br /> \begin{bmatrix}<br /> f_1(x) & a_2 & \cdots & a_{n-1}& a_n \\<br /> 0 & f_2(x) & \cdots & b_{n-1}&b_n \\<br /> \vdots & \vdots & \ddots & \vdots&\vdots \\<br /> 0 & 0 &\cdots &f_{n-1}(x) & z_n\\<br /> 0 & 0 & \cdots & 0&f_n(x) <br /> \end{bmatrix}<br /> \][/tex]

(Ignoring my misuse of Latex, hopefully you know what I mean)

Does [tex]\det(B)[/tex] always equal [tex]\prod^n_{k=1}f_k(x)[/tex]?
 


epkid08 said:
Does [tex]\det(B)[/tex] always equal [tex]\prod^n_{k=1}f_k(x)[/tex]?

Yes, if every entry below the diagonal is 0, then the determinant is simply the product of every entry in the diagonal, regardless of what is going on above the diagonal.
 


It follows from the fact that det I = 1.
By eliminating entries above the pivots in your upper triangular matrix, it can be made into a diagonal matrix.

Since we also know that the determinant is a linear function of each row/column separately, we may factor out:
[tex]a_{i,j}[/tex] for i = j you get:

[tex]a_{11}a_{22}...a_{nn}I[/tex]

As mentioned, det I = 1 and what you get is a product of every entry in the diagonal, just as mr. Pengwuino said.

I am just learning this stuff myself, hope I have not written something crazy :)
 


Or given that A is upper triangular, expand det(A) by the first diagonal:
[tex]\left|\begin{array}{cccc}a & b & ... & c \\ 0 & d & ... & e \\ ... & ... & ... & ... \\ 0 & 0 & ... & z\end{array}\right|= a\left|\begin{array}{ccc}d & ... & e \\ ... & ... & ... \\ 0 & 0 & z\end{array}\right|[/tex]
and expand that determinant by the first diagonal, etc.