How to compute the determinant of this matrix?

Click For Summary
The discussion focuses on computing the determinant of a specific n x n matrix with 2s on the diagonal and 1s elsewhere. The initial approach involves expressing the matrix as A = I + B, where B is a matrix of all 1s, and using Taylor series expansion to derive that the determinant is n + 1. Alternative methods are suggested, including an inductive approach and LU factorization, which also leads to the same conclusion. The determinant's value, n + 1, is confirmed through different mathematical techniques, emphasizing the matrix's structure.
Charles49
Messages
87
Reaction score
0
Let $$A$$ be the $$n\times n$$ matrix:
\begin{equation}
A= \begin{bmatrix} % or pmatrix or bmatrix or Bmatrix or ...
2 & 1&\dots & 1 & 1 \\
1 & 2&\dots & 1 & 1 \\
\vdots&\ddots & \ddots & 2 & 1 \\
1 & & \dots & 1&2 \\
\end{bmatrix}
\end{equation}
(2s along the diagonal and 1s everywhere else.) Compute the determinant of $$A$$.

Here is what I did.

As usual, let $$I$$ be the identity matrix. Observe that $$A=I+B$$ where $$B$$ is a square matrix such that every element is 1. Next we can use the Taylor series expansion of the determinant
\begin{align} \det(I + B) = \sum_{k=0}^{\infty} \frac{1}{k!} \left( - \sum_{j=1}^{\infty} \frac{(-1)^j}{j}\mathrm{tr}(B^j) \right) ^k.\end{align}
Note that $$\mathrm{tr}\left(B^j\right)$$ is always $$n^j$$, and so it follows that
\begin{align} \det(A)& = \sum_{k=0}^{\infty} \frac{1}{k!} \left( - \sum_{j=1}^{\infty} \frac{(-1)^j}{j}n^j \right) ^k\, , \end{align}
The well known series expansions
\begin{equation}
-\sum _{j=1}^{\infty }{\frac { \left( -1 \right) ^{j}}{j}}{n}^{j}=\log(n+1)
\end{equation}
and
\begin{equation}
\sum_{k=0}^\infty\frac{f(n)^k}{k!}=\exp{f(n)}
\end{equation}

allow us to conclude that the determinant is $$n+1.$$

I was wondering if there was a simpler way to do this problem.
 
Physics news on Phys.org
Charles49 said:
Let $$A$$ be the $$n\times n$$ matrix:
\begin{equation}
A= \begin{bmatrix} % or pmatrix or bmatrix or Bmatrix or ...
2 & 1&\dots & 1 & 1 \\
1 & 2&\dots & 1 & 1 \\
\vdots&\ddots & \ddots & 2 & 1 \\
1 & & \dots & 1&2 \\
\end{bmatrix}
\end{equation}
(2s along the diagonal and 1s everywhere else.) Compute the determinant of $$A$$.

Here is what I did.

As usual, let $$I$$ be the identity matrix. Observe that $$A=I+B$$ where $$B$$ is a square matrix such that every element is 1. Next we can use the Taylor series expansion of the determinant
\begin{align} \det(I + B) = \sum_{k=0}^{\infty} \frac{1}{k!} \left( - \sum_{j=1}^{\infty} \frac{(-1)^j}{j}\mathrm{tr}(B^j) \right) ^k.\end{align}
Note that $$\mathrm{tr}\left(B^j\right)$$ is always $$n^j$$, and so it follows that
\begin{align} \det(A)& = \sum_{k=0}^{\infty} \frac{1}{k!} \left( - \sum_{j=1}^{\infty} \frac{(-1)^j}{j}n^j \right) ^k\, , \end{align}
The well known series expansions
\begin{equation}
-\sum _{j=1}^{\infty }{\frac { \left( -1 \right) ^{j}}{j}}{n}^{j}=\log(n+1)
\end{equation}
and
\begin{equation}
\sum_{k=0}^\infty\frac{f(n)^k}{k!}=\exp{f(n)}
\end{equation}

allow us to conclude that the determinant is $$n+1.$$

I was wondering if there was a simpler way to do this problem.



1) It's easy to see, inductively, that
\begin{equation}\left|\begin{pmatrix} 1&1&1&...&1\\1&2&1&...&1\\...&...&...&...&...\\1&1&1&...&2\end{pmatrix}\right|\end{equation}=1Say, substract first row from second, develop by minors of the new 2nd row, etc.

So substracting the third row from the 2nd one in the original matrix, we get:

\begin{equation}\left|\begin{matrix} 2&1&1&...&1\\1&2&1&...&1\\0&\!\!\!-1&1&...&0\\...&...&...&...&...\\1&1&1&...&2 \end{matrix}\right|\end{equation}
Developing wrt the third row, using the above fact and induction we get what we want.

DonAntonio
 
Thanks DonAntonio
 
Another way is to factorize A = LU where L is unit lower triangular and U is upper triangular. Use Crout's verison of Gaussian elimination.

The diagonals of U are 2, 3/2, 4/3, 5/4, ... (n+1)/n. The determinant is the product of the diagonals = n+1
 
Thanks AlephZero, I am going to learn about Crouts version.
 
Thread 'How to define a vector field?'
Hello! In one book I saw that function ##V## of 3 variables ##V_x, V_y, V_z## (vector field in 3D) can be decomposed in a Taylor series without higher-order terms (partial derivative of second power and higher) at point ##(0,0,0)## such way: I think so: higher-order terms can be neglected because partial derivative of second power and higher are equal to 0. Is this true? And how to define vector field correctly for this case? (In the book I found nothing and my attempt was wrong...

Similar threads

  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 33 ·
2
Replies
33
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 24 ·
Replies
24
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K