Math 2.0

Functional analysis Definition

Fréchet derivative

Builds on Euclidean space

Definition

Let VV and WW be normed vector spaces over ℝ\mathbb{R}, let U⊆VU \subseteq V be an open set, let f ⁣:U→Wf \colon U \to W, and let x∈Ux \in U. A bounded linear map A ⁣:V→WA \colon V \to W is a Fréchet derivative of ff at xx when lim⁡h→0∥f(x+h)−f(x)−Ah∥W∥h∥V=0.\lim_{h \to 0} \frac{\|f(x + h) - f(x) - A h\|_W}{\|h\|_V} = 0. The limit is over h∈V∖{0}h \in V \setminus \{0\} with x+h∈Ux + h \in U. When such an AA exists, ff is Fréchet differentiable at xx, with the notation Df(x)=ADf(x) = A or f′(x)=Af'(x) = A.

Remarks

The Fréchet derivative is unique when it exists, see the uniqueness of the derivative. For V=W=ℝV = W = \mathbb{R}, a linear map AA is multiplication by a number aa. Then the condition says that ff has the derivative aa at xx in the usual sense. For V=ℝnV = \mathbb{R}^n and W=ℝmW = \mathbb{R}^m, each linear map is bounded, and Df(x)Df(x) is the total derivative of ff at xx. Its matrix is the Jacobian matrix. If ff is Fréchet differentiable at xx, then ff is continuous at xx.

Reading path

To understand this page from the ground up, read these 2 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Euclidean space object
  2. Fréchet derivative definition

Where this leads

174 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Fr%C3%A9chet_derivative, Definition
About this page
Tag08EVNYZF42
URIm2://08EVNYZF42
Kinddefinition
WritingW1 stated
MSC46G05
DefinesFréchet derivative
UsesEuclidean space

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • edge instance_of in: one example (0 of 1)
  • edge not_instance_of in: one non-example that fails one clause (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by

Results about this