*** Welcome to piglix ***

Jacobi's formula


In matrix calculus, Jacobi's formula expresses the derivative of the determinant of a matrix A in terms of the adjugate of A and the derivative of A. If A is a differentiable map from the real numbers to n × n matrices,

where tr(X) is the trace of the matrix X. As a special case,

Equivalently, if dA stands for the differential of A, the general formula is

It is named after the mathematician Carl Gustav Jacob Jacobi.

We first prove a preliminary lemma:

Lemma. Let A and B be a pair of square matrices of the same dimension n. Then

Proof. The product AB of the pair of matrices has components

Replacing the matrix A by its transpose AT is equivalent to permuting the indices of its components:

The result follows by taking the trace of both sides:

Theorem. (Jacobi's formula) For any differentiable map A from the real numbers to n × n matrices,

Proof. Laplace's formula for the determinant of a matrix A can be stated as

Notice that the summation is performed over some arbitrary row i of the matrix.

The determinant of A can be considered to be a function of the elements of A:

so that, by the chain rule, its differential is

This summation is performed over all n×n elements of the matrix.

To find ∂F/∂Aij consider that on the right hand side of Laplace's formula, the index i can be chosen at will. (In order to optimize calculations: Any other choice would eventually yield the same result, but it could be much harder). In particular, it can be chosen to match the first index of ∂ / ∂Aij:

Thus, by the product rule,

Now, if an element of a matrix Aij and a cofactor adjT(A)ik of element Aik lie on the same row (or column), then the cofactor will not be a function of Aij, because the cofactor of Aik is expressed in terms of elements not in its own row (nor column). Thus,


...
Wikipedia

...