The Frechet derivative (by Maurice René Fréchet ) generalizes the concept of deriving from the conventional differential calculus in on normed spaces . In the case of images between finite-dimensional spaces, this concept of differentiability results in the usual concept of total differentiability .
definition
Relationship of the three figures
Let and two normalized spaces and an open subset . An operator 's Fréchet differentiable at the point when there is a limited linear operator are such that
applies. The operator is called the Fréchet derivative of at that point . If the Fréchet derivative exists for everyone , then the mapping with is called the Fréchet derivative of on . The space of continuous linear mappings from to is denoted by.
Equivalent definition
An equivalent definition is:
For everyone there is such a thing
for everyone with . This can also be written briefly with the help of the Landau symbols :
-
for .
Examples
Linear operators
For finite-dimensional normalized spaces , all linear operators are Fréchet-differentiable with constant derivative. At each point the derivative is the linear operator itself: for all .
In the infinite-dimensional case, among the linear operators, precisely the constrained (= continuous) Fréchet-differentiable operators. Unlimited linear operators are not Fréchet-differentiable.
Real-valued functions
If a real-valued function is defined on an open set and has continuous partial derivatives , then Fréchet is also differentiable. The derivative at the point is given by the usual gradient of according to:
This example shows the connection to the usual differential calculation in . The Fréchet derivation is actually a generalization of differential calculus for normalized spaces.
Integral operator
Let be , continuous and continuous and continuously differentiable in the second argument. The nonlinear integral operator defined by
is fréchet-differentiable. Its derivation is
Because of the mean value theorem of differential calculus ,
with and because of the uniform continuity of on true
for . For so true
what the presentation of the derivative proves.
Calculation rules
The usual calculation rules for the total derivative can also be shown for the Fréchet derivative. The following equations apply, provided they make sense in the sense of the above definition, in particular, the occurring images can be differentiated at the corresponding points:
-
.
-
Chain rule : . The product is to be understood in the sense of the multiplication (successive execution) of linear images.
- If A is a continuous, linear operator, then A is differentiable everywhere and it holds . Together with the chain rule, this leads to the conclusion that continuous, linear operators can be extracted from the derivative: and .
- Product rule: If there is a continuous, n-fold linear mapping, then
Relationship between Fréchet and Gâteaux derivation
Let Fréchet differentiable at the point , then the Gâteaux differential exists for any direction and we have:
-
.
The reverse is generally not true.
In addition, the Gâteaux derivation of exists at the point that is denoted below with , and the following applies:
-
.
Again, the reverse is generally not true. The reverse also applies under the following conditions:
If in a neighborhood of Gâteaux is differentiable , that is, the Gâteaux differential is continuous and linear at every point in the neighborhood, and the mapping
-
given by
the point is continuous with respect to the operator norm on , so is at the point differentiable Fréchet.
This condition is not necessary. For example, there are already totally differentiable functions in the one-dimensional that are not continuously differentiable.
Application example
The Fréchet derivation can e.g. B. can be used to solve so-called inverse boundary value problems in the context of a Newton method . As an example for this application we consider an inverse boundary value problem to the Laplace equation :
It is an unknown area. We consider the outer Dirichlet problem , in which the boundary values are given by a source in the point . Then the bounded and twice continuously differentiable function in the Laplace equation satisfies :
and the Dirichlet boundary condition:
With we denote the fundamental solution to the Laplace equation, which describes a point source in the point .
With the inverse boundary value problem we start from a second (known) domain which contains. On the edge of we measure the values of the solution of the direct Dirichlet problem. So we know the trail . Our goal is now the unknown edge of reconstructing knowledge from this track.
This problem can be formally described by an operator that maps the unknown edge onto the known track . So we need to solve the following nonlinear equation:
This equation can e.g. B. be linearized using the Newton method. To do this, we limit ourselves to areas whose edge can be represented as follows:
So we are now looking for the unknown radius function . The linearized equation (Newton's method) then looks like this:
Here the Fréchet derivative of the operator denotes (the existence of the Fréchet derivative for can be shown and can be determined via a direct boundary value problem!). This equation is then solved for, whereby we have found a new approximation to the unknown sought edge with. The method can then be iterated with this approximation.
literature