This is an old revision of the document!


Fréchet derivative chain rule

Theorem

$X,Y,Z$ … Banach spaces with topology
$F\in C(X,Y)$
$G\in C(Y,Z)$
$ D(G\circ F)=(DG)\circ F\ \cdot\ DF $

where $\circ$ denotes the concatenation of functions of $X,Y$, which is taken to bind stronger than the concatenation $\cdot$ of linear operators.

Discussion

For functions in $f,g: \mathbb R\to\mathbb R$, this of course reads

$\frac{\partial}{\partial x}g(f(x))=g'(f(x))\cdot f'(x)$

Reference

Parents

Requirements

Link to graph
Log In
Improvements of the human condition