5
$\begingroup$

Let us define a function $f$ from $M(n,\mathbb{R})$ to $M(n,\mathbb{R})$ by treating $M(n,\mathbb{R})\approx\mathbb{R}^{n^2}$, by $f(X)=e^X+X$ where $e^X=1+X/{1!}+X^2/{2!}+\dots$ I want to find the (Frechet) derivative of $f$.

We know, if derivative exists at $X$, then f(X+H)-f(X)=f'(X)H+r(H) where $r(H)/\|H\|\to \bf{0}$ as $H\to \bf{0}$.

So I went on to find the difference, but couldn't figure out the linear part ($f'(X)H$) and the remainder part ($r(H)$).

Any help is appreciated.

2 Answers 2

2

The Frechet derivative is linear, so the only hard part is to find the derivative of the exponential (as $f$ is the exponential plus the identity; the identity is linear and so it is its own derivative). This seems to be well-known to the experts: after a quick search, the derivative is described here (Theorem 3.1) and here (see the second slide).

Translating those two into your notation, you have f'(X)H=H+\sum_{k=1}^\infty\frac1{k!}\sum_{j=1}^kX^{j-1}HX^{k-j}, or f'(X)H=H+\int_0^1e^{X(1-s)}He^{Xs}\,ds.

  • 0
    Thanks @Martin Argerami for the nice answer. I am very glad to know the literature behind this.2012-02-27
1

Well $e^{X+H}-e^{X}=1+(X+H)/{1!}+(X+H)^2/{2!}+\dots-(1+X/{1!}+X^2/{2!}+\dots)$

How theses series are absolutely convergent we have

$e^{X+H}-e^{X}=(1-1)+\frac{(X+H)-X}{1!}+\frac{(X+H)^2-X^2}{2!}+\dots$

But note that $(X+H)^n=X^n+\sum_{i=1}^n\prod_{j=1}^{n}{X_{ij}}+o(H)$

Where $X_{ij}=H$ if $i=j$ and $X_{ij}=X$ if $i\neq j$.

And them we may state that f'(X)H=\sum_{n=1}^{\infty}\frac{1}{n!}\sum_{i=1}^n\prod_{j=1}^{n}{X_{ij}}

And whenever $H$ commutes with $X$ we get f'(X)H=e^X H.

  • 0
    Thanks @chessmath for the elegant answer.2012-02-27