Determinant differentiation
Theorem
context | A,Ω∈Matrix(n,C) |
context | A … invertible |
postulate | ∂∂t|t=0 det(A+tΩ)=tr(A−1Ω)⋅det(A) |
Thus
∂∂t|t=0det(A+tΩ)det(A)=tr(A−1Ω)
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