Processing math: 35%

Determinant differentiation

Theorem

context A,ΩMatrix(n,C)
context A … invertible
postulate t|t=0 det(A+tΩ)=tr(A1Ω)det(A)

Thus

t|t=0det(A+tΩ)det(A)=tr(A1Ω)

and also implies

tr(Ω)=t|t=0det(In+tΩ)
Jacobis full formula

This comes from Jacobi's formula:

ddet

where F(t) is a parameter dependent matrix

This is a special case of the product rule and generalizes

{\mathrm d}\left(a\cdot b\right) = a\,{\mathrm d}b+b\,{\mathrm d}a = a\cdot b\left(\dfrac{1}{a}{\mathrm d}a+\dfrac{1}{b}{\mathrm d}b\right).

which you get for

F(t) := \mathrm{diag}(a(t),b(t)),

which can be seen a(t)\cdot b(t)=\det\,F(t) representing the changing area of a rectangle.

The expression \dfrac{1}{a}{\mathrm d}a is the so called logarithmic derivative of a and scale invariant.

Perspective

The function of t on the right acts like a generating function. Of course

\mathrm{tr}(\Omega) = \dfrac{\partial}{\partial t}\left|_{t=0}\right. \mathrm{tr}(K+t\,\Omega+{\mathcal O}(t^2))

but the det-formula involves a non-linear function.

Reference

Wikipedia: Jacobi's formula

Parents

Special case of

Context

Link to graph
Log In
Improvements of the human condition