Namespaces
Variants
Actions

Fréchet derivative

From Encyclopedia of Mathematics
Revision as of 19:40, 5 June 2020 by Ulf Rehmann (talk | contribs) (tex encoded by computer)
Jump to: navigation, search


strong derivative

The most widespread (together with the Gâteaux derivative, which is sometimes called the weak derivative) derivative of a functional or a mapping. The Fréchet derivative of a mapping $ f: X \rightarrow Y $ of a normed space $ X $ into a normed space $ Y $ at a point $ x _ {0} $ is the linear continuous operator $ \Lambda : X \rightarrow Y $ satisfying the condition

$$ f ( x _ {0} + h) = \ f ( x _ {0} ) + \Lambda h + \epsilon ( h), $$

where

$$ \lim\limits _ {\| h \| \rightarrow 0 } \ \frac{\| \epsilon ( h) \| }{\| h \| } = 0. $$

The operator $ \Lambda $ satisfying these conditions is unique (if it exists) and is denoted by $ f ^ { \prime } ( x _ {0} ) $; the linear mapping $ h \rightarrow f ^ { \prime } ( x _ {0} ) h $ is called the Fréchet differential. If $ f $ has a Fréchet derivative at $ x _ {0} $, it is said to be Fréchet differentiable. The most important theorems of differential calculus hold for Fréchet derivatives — the theorem on the differentiation of a composite function and the mean value theorem. If $ f $ is continuously Fréchet differentiable in a neighbourhood of a point $ x _ {0} $ and if the Fréchet derivative $ f ^ { \prime } ( x _ {0} ) $ at $ x _ {0} $ is a homeomorphism of the Banach spaces $ X $ and $ Y $, then the inverse mapping theorem holds. See also Differentiation of a mapping.

Comments

References

[a1] M.S. Berger, "Nonlinearity and functional analysis" , Acad. Press (1977)
How to Cite This Entry:
Fréchet derivative. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Fr%C3%A9chet_derivative&oldid=23280
This article was adapted from an original article by V.M. Tikhomirov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article