# Gâteaux differential

of a mapping $f$ of a linear topological space $X$ into a linear topological space $Y$

The function

$$h \rightarrow Df ( x _ {0} , h),$$

where

$$Df ( x _ {0} , h) = \left . \frac{d}{dt } f ( x _ {0} + th) \right | _ {t = 0 } =$$

$$= \ \lim\limits _ {t \rightarrow 0 } \frac{f ( x _ {0} + th) - f ( x _ {0} ) }{t} ,$$

on the assumption that the limit exists for all $h \in X$, the convergence being understood in the topology of $Y$. The Gâteaux differential thus defined is homogeneous, but is not additive. Gâteaux differentials of higher orders are defined in a similar manner. The mapping $h \rightarrow Df( x _ {0} , h)$ is sometimes known as the Gâteaux variation or as the weak differential. See also Differentiation of a mapping; Variation.

Linearity and continuity are usually additionally stipulated: $Df( x, h) = f _ {G} ^ { \prime } ( x _ {0} ) h$, $f _ {G} ^ { \prime } ( x _ {0} ) \in L( X, Y)$. In such a case $f _ {G} ^ { \prime } ( x _ {0} )$ is known as the Gâteaux derivative. If the mapping $( x, h) \rightarrow Df( x, h)$ is uniformly continuous in $x$ and continuous in $h$ in some domain, then the Fréchet derivative $f ^ { \prime }$ of $f$ exists in this domain and $f ^ { \prime } ( x) h = Df ( x, h )$.

How to Cite This Entry:
Gâteaux differential. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=G%C3%A2teaux_differential&oldid=47149
This article was adapted from an original article by V.M. Tikhomirov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article