Definition (Adjugate Matrix)
In linear algebra, the adjugate matrix (historically also called the classical adjoint) of a square matrix is the transpose of its cofactor matrix. It is an extremely important construction because it allows us to express the inverse of a matrix and the derivatives of determinants analytically without needing to perform division.
Before defining the adjugate, we must define the building blocks: minors and cofactors.
Definition (Minors and Cofactors)
For any square matrix :
1. Submatrices and Minors
If we delete row and column from , we obtain an submatrix, denoted as . The minor associated with the entry is defined as the determinant of this submatrix:
Since is the determinant of an matrix, it measures the “volume scaling” of the subspace map ignoring the -th input direction and -th output direction.
2. Cofactors
The cofactor associated with the entry is the minor signed by its position in the checkerboard pattern:
The sign factor alternates in a checkerboard grid:
The cofactor represents the rate of change of the determinant with respect to the entry , i.e., (see Jacobi’s Formula).
Definition (Adjugate Matrix Construction)
The adjugate matrix is the transpose of the cofactor matrix :
This means that the -entry of is the cofactor :
Theorem (Adjugate Entries are Determinants of Submatrix)
By definition, the cofactor is . The term is the determinant of the submatrix formed by deleting the -th row and -th column of .
Because the entry at row , column of the adjugate is exactly , every single element in is a signed determinant of one of these submatrices.
Example (2x2 Adjugate Matrix)
Let be a general matrix:
We compute the minors and cofactors for each entry:
- For : Delete row 1, col 1 . Cofactor .
- For : Delete row 1, col 2 . Cofactor .
- For : Delete row 2, col 1 . Cofactor .
- For : Delete row 2, col 2 . Cofactor .
The cofactor matrix is:
Taking the transpose of yields the adjugate matrix:
Observe how:
- Every entry is the determinant of a submatrix (a scalar).
- For invertible , , which perfectly matches the inverse formula!
Example (3x3 Adjugate Matrix)
Let be the matrix:
We compute the cofactors :
- Row 1:
- Row 2:
- Row 3:
The cofactor matrix is:
Taking the transpose of yields the adjugate matrix:
We can verify the identity . Cofactor expansion along the first row of gives:
Computing the product:
This perfectly holds!
Theorem (The Adjugate Identity)
For any matrix , we have:
where denotes the identity matrix (the matrix with s on the main diagonal and s elsewhere).
Proof
Let . The -entry of is given by matrix multiplication:
We analyze two cases:
- If : This is exactly the cofactor expansion of along row . Thus, .
- If : This expression represents the cofactor expansion along row of a matrix obtained by replacing row of with row . Since has two identical rows (row and row ), its determinant is zero. Thus, for .
Therefore, . A completely symmetric argument for yields the same result.
Corollary (Matrix Inverse Formula)
If , then is invertible and:
Proof
Divide the adjugate identity (Theorem 1) by the scalar :
By uniqueness of the matrix inverse, the formula holds.
Theorem (Determinant of the Adjugate)
For any matrix :
Proof
Taking the determinant of both sides of the adjugate identity :
- Case 1 (): We can divide both sides by to get:
- Case 2 (): If , then . If were invertible, we could multiply by its inverse to get , which would imply (for ), a contradiction. Thus must be singular, so . Thus, holds (assuming ).
Theorem (Adjugate of a Product)
For any two matrices and :
Proof
- If and are invertible:
- General Case: Since invertible matrices are dense in the set of all matrices, the identity extends to all matrices by continuity.
Application (Invariant Derivatives in Continuum Mechanics)
In Stress-Strain Relation, we differentiate the characteristic polynomial with respect to the right Cauchy-Green deformation tensor .
Applying Jacobi’s Formula, we start with the matrix derivative:
Setting , the chain rule gives:
Using the inverse formula , we can rewrite the transpose-inverse term:
Substituting this back into the derivative:
The determinant terms cancel out completely. Since is a matrix polynomial in , we can equate powers of on both sides to compute the derivatives of individual invariants without needing to perform division by singular determinants.