Jacobi's Formula
📂Vector AnalysisJacobi's Formula
Let A=A(t) be a differentiable matrix function. The derivative of the determinant detA(t) is given by:
dtddetA(t)=Tr((adjA(t))dtdA(t))=detA(t)⋅Tr(A−1(t)dtdA(t))
This is known as Jacobi’s formula. In the form of a total differential, it can be written as follows. The second equality holds when A is an invertible matrix.
d(detA)=Tr((adjA)dA)=detA⋅Tr(A−1dA)
Here, adj denotes the adjugate matrix, Tr represents the trace, and dA refers to the matrix differential.
Proof
For simplicity, denote A=A(t), and let A=[Aij]. The Laplace expansion of a matrix is as follows:
detA=j∑Aij[adjA]jifor fixed i
Consider the determinant as a multivariable function det(A)=F(A11,A12,…,Ann) with n2 variables, then its total differential is:
d(detA)=i,j∑∂Aij∂FdAij
Upon calculating the partial derivatives, we find:
∂Aij∂F=∂Aij∂(k∑Aik[adjA]ki)=k∑(∂Aij∂Aik[adjA]ki+Aik∂Aij∂[adjA]ki)=k∑∂Aij∂Aik[adjA]ki+k∑Aik∂Aij∂[adjA]ki=[adjA]ji+k∑Aik∂Aij∂[adjA]ki
However, considering the definition of the cofactor, for all k, [adjA]ki does not include Aij, hence the partial derivative with respect to Aij is 0.
∂Aij∂F=[adjA]ji(1)
Thus, we obtain:
d(detA)=i,j∑[adjA]jidAij=i∑j∑[adjA]jidAij=j∑[(adjA)dA]jj=Tr((adjA)dA)
The third equality holds due to the matrix product representation, and the fourth equality is due to the definition of the trace. dA is the matrix differential.
Meanwhile, if A is an invertible matrix, then adjA=(detA)A−1, and Tr(kA)=kTr(A), giving us:
d(detA)=Tr((adjA)dA)=Tr((detA)A−1dA)=detATr(A−1dA)
On the other hand, dtd(detA), by the chain rule, is given by:
dtd(detA)=dAd(detA)⋅dtdA
According to (1), it is dAd(detA)=(adjA)T and AB=Tr(ATB), thus:
dtd(detA)=(adjA)TdtdA=Tr((adjA)dtdA)=detA⋅Tr(A−1dtdA)
■