Differentiation in Fréchet spaces

Properties

Let ${\displaystyle X,Y,}$ and ${\displaystyle Z}$ be Fréchet spaces. Suppose that ${\displaystyle U}$ is an open subset of ${\displaystyle X,}$ ${\displaystyle V}$ is an open subset of ${\displaystyle Y,}$ and ${\displaystyle F:U\to V,}$ ${\displaystyle G:V\to Z}$ are a pair of ${\displaystyle C^1}$ functions. Then the following properties hold:

• Fundamental theorem of calculus. If the line segment from ${\displaystyle a}$ to ${\displaystyle b}$ lies entirely within ${\displaystyle U,}$ then $${\displaystyle F(b)-F(a)={\int }_0^{1}DF(a+(b-a)t)\cdot (b-a)dt.}$$
• The chain rule. For all ${\displaystyle u\in U}$ and ${\displaystyle x\in X,}$ $${\displaystyle D(G\circ F)(u)x=DG(F(u))DF(u)x}$$
• Linearity. ${\displaystyle DF(u)x}$ is linear in ${\displaystyle x.}$ More generally, if ${\displaystyle F}$ is ${\displaystyle C^k,}$ then ${\displaystyle DF(u)\left\{x_1,\dots ,x_k\right\}}$ is multilinear in the ${\displaystyle x}$'s.
• Taylor's theorem with remainder. Suppose that the line segment between ${\displaystyle u\in U}$ and ${\displaystyle u+h}$ lies entirely within ${\displaystyle U.}$ If ${\displaystyle F}$ is ${\displaystyle C^k}$ then $${\displaystyle F(u+h)=F(u)+DF(u)h+\frac{1}{2!}{D}^{2}F(u)\{h,h\}+\cdots +\frac{1}{(k-1)!}{D}^{k-1}F(u)\{h,h,\dots ,h\}+R_k}$$ where the remainder term is given by $${\displaystyle R_k(u,h)=\frac{1}{(k-1)!}{\int }_0^1(1-t{)}^{k-1}{D}^{k}F(u+th)\{h,h,\dots ,h\}dt}$$
• Commutativity of directional derivatives. If ${\displaystyle F}$ is ${\displaystyle C^k,}$ then $${\displaystyle D^{k}F(u)\left\{h_1,\dots ,h_k\right\}=D^{k}F(u)\left\{h_{\sigma (1)},\dots ,h_{\sigma (k)}\right\}}$$ for every permutation σ of ${\displaystyle \{1,2,\dots ,k\}.}$

The proofs of many of these properties rely fundamentally on the fact that it is possible to define the Riemann integral of continuous curves in a Fréchet space.

Smooth mappings

Surprisingly, a mapping between open subset of Fréchet spaces is smooth (infinitely often differentiable) if it maps smooth curves to smooth curves; see Convenient analysis. Moreover, smooth curves in spaces of smooth functions are just smooth functions of one variable more.

Consequences in differential geometry

The existence of a chain rule allows for the definition of a manifold modeled on a Fréchet space: a Fréchet manifold. Furthermore, the linearity of the derivative implies that there is an analog of the tangent bundle for Fréchet manifolds.

Tame Fréchet spaces

Frequently the Fréchet spaces that arise in practical applications of the derivative enjoy an additional property: they are tame. Roughly speaking, a tame Fréchet space is one which is almost a Banach space. On tame spaces, it is possible to define a preferred class of mappings, known as tame maps. On the category of tame spaces under tame maps, the underlying topology is strong enough to support a fully fledged theory of differential topology. Within this context, many more techniques from calculus hold. In particular, there are versions of the inverse and implicit function theorems.