Graph of a differentiable function
In mathematics, differentiability is the property of a function to be approximated locally around a point in a linear manner . The term differentiability is explained not only for real-valued functions on the set of real numbers , but also for functions of several variables, for complex functions, for mappings between real or complex vector spaces and for many other types of functions and mappings. For some types of functions (for example for functions of several variables) there are several different differentiability terms.
The question of differentiability belongs to the problems of differential calculus , a branch of analysis .
Real-valued functions of a real variable
Black: Graph of the function f
Red: Graph of the linear function g,
which approximates f
near the point x 0
To the 2nd definition of differentiability
Differentiable functions are precisely those functions that can be locally approximated by precisely one linear function.
In the simplest case, one considers a real-valued function of a real variable , i.e. a function whose function values are real numbers and whose domain is an open interval of real numbers. Such a function is differentiable at a point from its domain if the derivation of exists at this point. There are essentially two equivalent definitions for the existence of the derivative:
- 1. Definition
- A function is then differentiable at the point of its domain of definition if the two-sided limit value of the difference quotient
- exists. This limit is known as the derivative of at the point written .
- 2. Definition
- A function is differentiable at the point of its domain if and only if a real number (which may depend on) and a function (also dependent on) (error of approximation) exist with the following properties:
- For goes faster than linear to 0, that is:
- The function can thus be near by a linear function with
- approximate except for the error . The value is called the derivative of at that point .
- Differentiable functions are therefore precisely those functions that can be approximated locally by linear functions (see figure).
Both definitions are equivalent: If it is differentiable according to the 1st definition, then one selects for the limit value from the definition and sets
Then the first quality is fulfilled by and , and the second because of
Conversely, if the 2nd definition is fulfilled, the equation is obtained by transforming the first property
and the limit of the difference quotient then exists because of
A function is called differentiable (without restriction to a special point) if and only if it is differentiable at every point in its domain. The function is then called the derivative function or, for short, the derivative of .
Graphically, the property differentiability can be interpreted in such a way that a function is differentiable at the point if exactly one tangent exists in the associated point of the graph of which is not perpendicular. The tangent is the graph of the linear function mentioned in the 2nd definition .
The derivative of at the point is the slope of this tangent. The difference quotients mentioned in the first definition are the gradients of secants through the point and another point on the curve . The function can therefore be differentiated at the point when the slopes of these secants converge to the slope of the tangent at the limit crossing .
Differentiability follows continuity : every function that can be differentiated at one point is also continuous there. Every function that can be differentiated on its domain is continuous. The reverse is not true. The non-differentiable functions listed below are all continuous.
Examples of differentiable functions
From the derivation rules it follows:
- Every function that can be represented by a polynomial is differentiable.
- Sums, products and quotients of differentiable functions are differentiable.
- Concatenations of differentiable functions are differentiable.
- The inverse function of a bijective differentiable function is then differentiable exactly if is.
From the limit theorems for power series it follows:
- Every function that can be represented locally by a power series is differentiable.
Examples of non-differentiable functions
Since every differentiable function is continuous, every discontinuous function (for example a step function or the Dirichlet function ) is an example of a non-differentiable function. But there are also functions that are continuous, but not or not everywhere differentiable.
The root function , is at the point not differentiable. The difference quotient
strives for towards infinity, so does not converge. The graph of the function has a tangent at this point, but this runs vertically and therefore has no slope.
Function graph and graph of the derivative of
The amount function can not be differentiated at this point .
For is and with it
For is against and consequently
Since the left-hand and right-hand limit values do not match, the limit value does not exist. The function cannot therefore be differentiated at the point under consideration.
However, the right-hand derivative exists at this point
and the left-hand derivative
The function graph has a kink at this point . There is, so to speak, a left-hand tangent with a gradient and a right- hand tangent with a gradient . For every slope between and there is a straight line that “touches” the function graph at the point , but does not “nestle”.
This is a typical behavior for functions defined in sections, where the function values match at the interfaces, but not the derivatives. In contrast, the graphs of differentiable functions have no kinks.
A third example
Graph of the function with for and .
is continuous at the point 0, but not differentiable (but everywhere else). The following applies to the difference quotient at position 0
The Limes for does not exist. There are also no one-sided limit values. Rather, when it approaches 0, the difference quotient oscillates infinitely often between the values −1 and 1 and assumes every intermediate value infinitely often.
The Weierstrass function named after its discoverer
is constant everywhere, but nowhere differentiable.
The mathematical Brownian motion provides further examples:
Almost every path of a Wiener process is continuous as a function , but nowhere differentiable.
Constant differentiability and higher derivatives
Example of a function that is not continuously differentiable
The function with for and is differentiable, but not continuously differentiable
A function is called continuously differentiable if it is differentiable and its derivative is continuous . Even if a function is differentiable everywhere, the derivative does not have to be continuous. For example is the function
at every point, inclusive , differentiable because
but is not continuous at 0.
A function is said to be twice differentiable if its derivative function is differentiable. Correspondingly, three times, four times, ..., -times is defined differentiable . The higher derivatives are with , , ,, ... , respectively.
Since continuity follows from the differentiability of a function, in the case of a twice differentiable function the function itself and the first derivative are automatically continuous. However, the second derivative need not be continuous. Accordingly, at a times differentiable function, the function itself and all derivatives , , ... to the th derivation continuous. However , this need not apply to the -th derivative . If this is also continuous, then -mal is called continuously differentiable. If all derivatives are differentiable again, the function is called infinitely differentiable or smooth .
The set of all -time continuously differentiable functions with the definition set is called . The set of infinitely often differentiable functions is called . A -time continuously differentiable function is therefore also called a function of the differentiation class , in short: a function of the class or function. An infinitely often differentiable function is called a function of the (differentiation) class or function.
is differentiable, its derivative is the function that is continuous, but not differentiable at the point 0. The function is thus continuously differentiable, but not twice differentiable at position 0. The function is accordingly
-time continuously differentiable, but not -time differentiable at position 0 .
For complex functions , i.e. complex-valued functions of a complex variable, differentiability is defined in the same way as real functions. Let it be an open subset of the complex plane and a point of this subset. A function is called complex differentiable in the point , if the limit value
exists. In this case, this limit is referred to as .
A function is called holomorphic in point , if a surrounding area of exists in is complex differentiable. Holomorphic functions are automatically infinitely often complex differentiable and even analytical .
Real-valued functions of several variables
For functions of several variables, i.e. functions that are defined on open subsets of Euclidean space , there are several differently strong concepts of differentiability. The following is an open set. The elements of can be written as tuples . A function is also given. We consider a fixed point and consider differentiability in the point .
This is the weakest concept of differentiability. The function is called partially differentiable at the point in direction , if the partial derivative
exists. So you consider all variables except for constant and consider the resulting function of a variable.
The function is called partially differentiable if all partial derivatives exist at every point. It is called continuously partially differentiable if all partial derivatives are continuous functions of after .
Partial differentiability does not result in continuity, but only continuity in the direction of the coordinate axes.
If a unit vector , then the (two-sided) directional derivative of in direction at the point is defined as
If one only looks at positive ones , one obtains the one-sided directional derivative
The function is called (one-sided) differentiable in the direction of , if the (one-sided) directional derivative of in direction exists. The directional derivatives in the direction of the unit vectors of the standard basis are precisely the partial derivatives
The function is called totally differentiable at the point , if a linear mapping and a function exist, so that apart from the error it can be approximated by,
and goes from higher than first order to 0, that is for .
The linear mapping is called the total derivative of in the point . It is designated with . The matrix representation with reference to the standard basis is called Jacobi matrix and is also referred to as or . The function is called totally differentiable if it is totally differentiable in every point.
A totally differentiable function is also continuous.
In the more recent mathematical literature one speaks mostly simply of differentiability instead of total differentiability. The total derivative is also called the differential.
Relationships between the different concepts of differentiability
- If it is bilaterally differentiable in every direction, it is especially partially differentiable.
- If totally differentiable, then it is differentiable in every direction (i.e. especially also partially differentiable). The entries of the Jacobi matrix are the partial derivatives
- The directional derivative in direction is obtained by applying the total derivative (a linear map) to the vector .
The inversions do not apply:
- From the partial differentiability follows neither the total differentiability nor the bilateral or one-sided differentiability in directions that are not coordinate directions.
- Also from the two-sided differentiability in all directions does not follow total differentiability. Not even if the candidate for the total derivative, the mapping , is linear.
It is different if one assumes not only the existence but also the continuity of the partial derivatives.
- If continuously partially differentiable, then it is also totally differentiable.
Therefore, one calls continuously partially differentiable functions simply continuously differentiable.
Here, too, the reverse does not apply:
- The continuity of the partial derivatives does not follow from total differentiability.
Overall, the following applies:
- continuous partial differentiability ⇒ total differentiability ⇒ differentiability in every direction ⇒ partial differentiability,
however, none of the converse is true.
- Every function that can be represented as a polynomial in the variables is continuously differentiable.
- Sums, products, quotients and chains of continuously differentiable functions are continuously differentiable.
All counterexamples are functions on the . The coordinates are designated with and instead of and . Of interest here is only the differentiability and continuity at the origin . Everywhere else, the functions are continuously differentiable.
Partially differentiable, but not continuous and not all directional derivatives
Graph of the function
is partially differentiable at the point (0,0). The function has the constant value 0 on the coordinate axes, i.e. for all and applies
However, the function is not continuous at (0,0). On the first bisector (with the exception of the origin) has a constant value of one ( ). If one approaches the origin on the first bisector, the function values therefore tend towards 1. The directional derivatives in other directions than those of the coordinate axes do not exist.
Graph of the function
is partially differentiable and continuous at the point (0,0). All unilateral directional derivations exist, but except in the coordinate directions not the bilateral ones.
Unilateral, but not bilateral directional derivatives
Graph of the function
The Euclidean norm
generalizes the amount function . It is constant everywhere.
The one-sided directional derivative of in exists for every unit vector and it applies
The limit value only exists on one side, so the directional derivatives on both sides do not exist. In particular, the function is also not partially differentiable.
All direction derivatives exist but do not define a linear mapping
Graph of the function
Here all directional derivatives exist for which partial derivatives apply
However, the mapping is not linear. The following applies to
the unit vector
All direction derivations exist and define a linear mapping, but not totally differentiable
Graph of the function
Here there are all directional derivatives, for each vector applies
. In particular, is partially differentiable with
and the figure
is the zero mapping, so trivially linear.
The function is also continuous. However, it is not totally differentiable at the point (0,0). If it were, there would be zero figure and for each vector would apply
So it would apply to the error term
If you put and with , you get
and so .
For towards 0 this term goes towards instead of towards 0.
Totally differentiable, but not continuously partially differentiable
Graph of the function
This function is modeled on the corresponding example function of a variable, the verification is basically the same as there.
The function is totally differentiable at the point (0,0), the derivative is the null function . If one approaches the zero point, however, the partial derivatives diverge, for example the absolute value goes from
towards infinity for towards 0.
Mappings between finite-dimensional vector spaces
A mapping of an open set into vector space can be represented by its component functions:
with for .
Differentiability of can then be traced back to differentiability of .
is (in the point ) partially differentiable (differentiable in the direction of the vector , totally differentiable, continuously partially differentiable) if all component functions have this property.
If the point is totally differentiable, then there is a linear mapping from to . Your representation matrix, the Jacobi matrix, consists of the partial derivatives
and the directional derivative of in point in direction is the image of the vector under the linear map .
Functions and mappings on infinite-dimensional vector spaces
There are no coordinates on infinite-dimensional vector spaces, so there is no partial differentiability. The terms directional derivation and total differentiability can, however, be generalized to infinitely dimensional vector spaces. In contrast to finite dimensions, the topology on the vector spaces plays an important role. Typical examples of infinite-dimensional vector spaces are function spaces, that is, vector spaces whose “vectors” are functions. To differentiate, the functions defined on these vector spaces are called functionals and mappings between such vector spaces are called operators.
→ Main article: Gâteaux differential
The directional derivation corresponds to the Gâteaux derivation.
Given is a normalized vector space (that is, a (typically infinite-dimensional) vector space together with a norm ), an open subset and a functional . The Gâteaux derivative of at a “point” in the direction of a vector is then given by
if the limit exists.
If the Gâteaux derivation for each exists, is a picture , explained. From the definition it follows immediately that this mapping is positively homogeneous, i.e. for all . As in finite dimensions, it does not follow from the existence of all directional derivatives that it is additive and thus linear. Even if the map is linear, it does not follow that it is continuous.
There are several incompatible conventions for the term Gâteaux differentiability :
Some authors call a functional Gâteaux-differentiable at the point , if all exist, and then call the mapping
a Gateaux derivative of at the point . Others additionally require that is linear and continuous.
Similarly, one defines Gâteaux differentiability and Gâteaux derivation for operators from one normalized vector space into another normalized vector space (typically a Banach space ). The convergence required in the definition of the Gâteaux derivation is then understood in the sense of the norm of . The same applies to the continuity of .
→ Main article: Fréchet derivation
The total differentiability in the finite-dimensional corresponds to the Fréchet differentiability in the case of infinite-dimensional vector spaces .
Given are Banach spaces and , an open subset , a mapping and a point .
The mapping is called Fréchet-differentiable if a bounded (i.e. continuous) linear mapping and a mapping exist, so that with applies
The numerator contains the norm of and the denominator of .
In this case, the linear operator is called the Fréchet derivative of at that point .
As in the finite-dimensional, every Fréchet-differentiable mapping is also Gâteaux-differentiable and the Gâteaux-derivative agrees with the Fréchet-derivative. Conversely, the point need not be Fréchet-differentiable even if the Gâteaux derivative is linear and continuous.
Differentiable mappings between differentiable manifolds
The differentiability of images between differentiable manifolds is attributed to the differentiability of their map representations. Consistency has to be assumed here.
Let and be differentiable manifolds of the dimensions or and the differentiability class and let it be a continuous mapping. For each point there is then a map of um , i.e. an open environment that contains, and a homeomorphism defined on an open subset of the . There is also a map of around the pixel . Since is continuous, the cards can be chosen so that lies entirely in . The map representation of with regard to these maps is then understood to mean the illustration
This is a mapping from the open subset of to the open subset of .
The mapping is called continuously differentiable if it is continuous and its map representations are continuously differentiable. It is called - sometimes continuously differentiable (for ), or by the class , if its map displays - sometimes continuously differentiable.
The differentiability does not depend on the choice of cards (as long as is), since the map change maps - are diffeomorphisms . If or is the Euclidean space , you can do without the map there. In particular:
A function is then and only continuously differentiable if this applies to its map representations with regard to maps of .
Analogously, one defines the complex differentiability for complex-valued functions on complex manifolds and mappings between complex manifolds.
For the definition of the derivative of a mapping between manifolds or a function on a manifold, see tangent space and pushforward .
The following concepts are generalizations of differentiability:
↑ Guido Walz (Ed.): Lexicon of Mathematics . 2nd edition volume 3 (Inp to Mon). Springer Spektrum Verlag, Mannheim 2017, ISBN 978-3-662-53501-1 , p. 148 f ., doi : 10.1007 / 978-3-662-53502-8 .
In principle all introductory literature on analysis and / or differential calculus. For example: