Differentiation in Fréchet spaces

In mathematics, in particular in functional analysis and nonlinear analysis, it is possible to define the derivative of a function between two Fréchet spaces. This notion of differentiation is significantly weaker than the derivative in a Banach space. Nevertheless, it is the weakest notion of differentiation for which many of the familiar theorems from calculus hold. In particular, the chain rule is true. With some additional constraints on the Fréchet spaces and functions involved, there is an analog of the inverse function theorem called the Nash–Moser inverse function theorem, having wide applications in nonlinear analysis and differential geometry.

Mathematical details

Formally, the definition of differentiation is identical to the Gâteaux derivative. Specifically, let X and Y be Fréchet spaces, U ⊂ X be an open set, and F : U → Y be a function. The directional derivative of F in the direction v ∈ X is defined by

DF(u)v=\lim _{{\tau \rightarrow 0}}{\frac {F(u+v\tau )-F(u)}{\tau }}

if the limit exists. One says that F is continuously differentiable, or C¹ if the limit exists for all v ∈ X and the mapping

DF:U x X → Y

is a continuous map.

Higher order derivatives are defined inductively via

D^{{k+1}}F(u)\{v_{1},v_{2},\dots ,v_{{k+1}}\}=\lim _{{\tau \rightarrow 0}}{\frac {D^{k}F(u+\tau v_{{k+1}})\{v_{1},\dots ,v_{k}\}-D^{k}F(u)\{v_{1},\dots ,v_{k}\}}{\tau }}.

A function is said to be C^k if D^kF : U x X x Xx ... x X → Y is continuous. It is C^∞, or smooth if it is C^k for every k.

Properties

Let X, Y, and Z be Fréchet spaces. Suppose that U is an open subset of X, V is an open subset of Y, and F : U → V, G : V → Z are a pair of C¹ functions. Then the following properties hold:

(Fundamental theorem of calculus.)

If the line segment from a to b lies entirely within U, then

F(b)-F(a)=\int _{0}^{1}DF(a+(b-a)t)\cdot (b-a)dt

(The chain rule.)

D(G o F)(u)x = DG(F(u))DF(u)x for all u ε U and x ε X.

(Linearity.)

DF(u)x is linear in x. More generally, if F is C^k, then DF(u){x₁,...,x_k} is multilinear in the x's.

(Taylor's theorem with remainder.)

Suppose that the line segment between u ε U and u+h lies entirely within U. If F is C^k then

F(u+h)=F(u)+DF(u)h+{\frac {1}{2!}}D^{2}F(u)\{h,h\}+\dots +{\frac {1}{(k-1)!}}D^{{k-1}}F(u)\{h,h,\dots ,h\}+R_{k}

where the remainder term is given by

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 F is C^k, then

D^{k}F(u)\{h_{1},...,h_{k}\}=D^{k}F(u)\{h_{{\sigma (1)}},\dots ,h_{{\sigma (k)}}\}

for every permutation σ of {1,2,...,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.

References

Hamilton, R. S. (1982). "The inverse function theorem of Nash and Moser". Bull. Amer. Math. Soc. 7 (7): 65–222. doi:10.1090/S0273-0979-1982-15004-2. MR 656198.

Functional analysis

Set / subset types	Absolutely convex Absorbing Balanced Bounded Convex Radial Star-shaped Symmetric Linear cone (subset) Convex cone (subset)

TVS types	Banach Barrelled Bornological Brauner F-space Finite-dimensional Fréchet (tame) Hilbert LF-space Locally convex Mackey Montel Nuclear Normed (norm) Quasinormed Reflexive Riesz Smith Stereotype Webbed Topological tensor product (of Hilbert spaces)

Mapping topologies	Dual Dual space Operator Ultraweak Weak (operator) Mackey Strong (polar operator) Ultrastrong Uniform convergence

Linear operators	Adjoint Bilinear (form) Bounded / Unbounded Closed Continuous / Discontinuous Compact Fredholm Hilbert–Schmidt Functionals (positive) Normal Nuclear Self-adjoint Strictly singular Trace class Transpose Unitary

Set operations	Algebraic interior (core) Interior Minkowski addition Polar

Operator theory	Banach algebras C-algebras Spectrum (C-algebra radius) Spectral theory (of ODEs Spectral theorem) Polar decomposition Singular value decomposition

Theorems	Banach–Alaoglu Banach–Saks Banach–Mazur Bessel's inequality Cauchy–Schwarz inequality Closed range Closed graph Eberlein–Šmulian Freudenthal spectral Gelfand–Mazur Goldstine Hahn–Banach (hyperplane separation) Kakutani fixed-point Lomonosov's invariant subspace Mackey–Arens Mazur's lemma M. Riesz extension Open mapping Parseval's identity Schauder fixed-point

Analysis	Bochner space Differentiation in Fréchet spaces Derivatives (Fréchet Gâteaux functional holomorphic) Integrals (Bochner Dunford Gelfand–Pettis regulated weak) Functional calculus (Borel continuous holomorphic) Inverse function theorem (Nash–Moser theorem) Vector measure Weakly measurable function

This article is issued from Wikipedia - version of the 11/5/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.