6
$\begingroup$

I want to prove differential of det map at some matrix $A$ is given by $f(A)\operatorname{tr}(X)$

let $f:GL_n(\mathbb{R})\rightarrow\mathbb{R}$ is det map i.e $f(A)=\det A$,

claim: $f_{*}(AX)=(f(A))\operatorname{tr}(X)$

proof of claim:

Let a curve $c(t)=Ae^{tX}$ such that $c(0)=A,c'(0)=AX$. using this curve we calculate differential

$f_{A{*}}(AX)=\frac{d}{dt}|_{t=0}f(c(t))=c'(t)|_{t=0}f(c(t))|_{t=0}=AXf(A)=AX(\det A)$, where am I getting wrong? Thank you.

1 Answers 1

2

It seems your problem is that you forgot to take the derivative (gradient) of the determinant $f:\mathbb R^{n^2}\to\mathbb R$. I.e., you should have $\frac{d}{dt}f(c(t))|_{t=0} = \left[\nabla f(c(t))c'(t)\right]|_{t=0}$

But there is maybe a better way, and it is worked out here.

  • 3
    :-):-):-):-):-)2012-08-19