The Lipschitz , even stretching limitations , is a term from the mathematical branch of Analysis . It is a property of a function , therefore one speaks mostly of lipschitzstetigen functions (or of Lipschitz continuous functions ). The Lipschitz continuity is a tightening of the continuity . This property is named after the mathematician Rudolf Lipschitz .
To put it clearly, a Lipschitz continuous function can change only to a limited extent quickly: All secants of a function have a slope , the amount of which is not greater than the Lipschitz constant . The set of all Lipschitz continuous functions is called the Lipschitz space . Generalizations of the Lipschitz continuity are the Hölder continuity and the local Hölder continuity .
A function is called lipschitz continuous if there is a constant such that
applies to all .
This is a special case of the following general definition.
Be and metric spaces . A function is called lipschitz continuous if there is a real number such that
is satisfied. is called the Lipschitz constant and it always applies . In clear terms, the amount of the slope is limited from above by . If a function is lipschitz continuous, one also says that it fulfills the Lipschitz condition .
A weakening of the Lipschitz continuity is the local Lipschitz continuity. A function is locally called lipschitz continuous if there is an environment around every point , so that the restriction of lipschitz to this environment is lipschitz continuous. A function that is only defined on a subset is called lipschitz- or locally lipschitz-continuous if it is lipschitz- or locally lipschitz-continuous with respect to the metric spaces and .
Lipschitz continuous functions are locally lipschitz continuous (choose completely as environment and always as Lipschitz constant ). Locally Lipschitz continuous functions are continuous (choose in the - definition of continuity), and accordingly Lipschitz continuous functions are uniformly continuous . Hence, Lipschitz continuity is "stronger" than uniform continuity. The reverse is generally not true. B. the function is Hölder continuous with exponents and therefore uniformly continuous, but not Lipschitz continuous (see example).
According to Rademacher's theorem , a Lipschitz continuous function can be differentiated almost everywhere . However, there are also functions that are differentiable but not lipschitz continuous, e.g. B. . A differentiable function with is lipschitz continuous if and only if its first derivative is bounded.
- For a lipschitz continuous function is the quotient
- with bounded from above by every Lipschitz constant . For locally Lipschitz continuous functions the quotient is restricted to sufficiently small surroundings.
- Therefore, the function is with due
- admittedly steady and even uniformly steady, but not locally lipschitz continuous and consequently not lipschitz continuous either.
- For the function with follows with
- that .
- That is, a Lipschitz constant for this function is on the interval .
- Because the quotient is the same , it follows that Lipschitz is only continuous for a restricted domain, but not for an unrestricted domain. The function also defined by is therefore not lipschitz continuous.
- The amount function , defined as
- is lipschitz continuous with because of the inverted triangle inequality , but it is not differentiable (at that point ).
Lipschitz continuity is an important concept in the theory of ordinary differential equations to prove existence and uniqueness of solutions (see Picard-Lindelöf theorem ). Self-images with a Lipschitz constant less than one are called contractions . These are important for Banach's Fixed Point Theorem .
In the theory of partial differential equations are Lipschitz areas considered. These have the property that their edge, called the Lipschitz edge , can be described locally by a Lipschitz continuous function.
If (or more generally a metric space), the set of real-valued Lipschitz continuous functions is sometimes denoted by.
For (or more generally for with the Euclidean metric ) every affine-linear function is Lipschitz continuous. After all, in a general metric space all constant functions are lipschitz continuous. In particular, it is not empty and contains the constant null function .
Are and so applies as well . This is a real vector space , a function space .
If the quantity is also limited , the same applies to the point-by-point product . This becomes a function algebra .
- Kirszbraun's theorem on the continuability of Lipschitz continuous functions
- Harro Heuser: Textbook of Analysis - Part 1 , 6th edition, Teubner 1989, ISBN 3-519-42221-2 , pp. 136, 212
- Konrad Königsberger: Analysis 1 . 2nd edition, Springer 1992, ISBN 3-540-55116-6 , p. 80
- Wolfgang Walter: Analysis 1 . 7th edition, Springer 2004, ISBN 978-3-540-35078-1 , pp. 44, 45
- Lipschitz condition in the Encyclopaedia of Mathematics (accessed December 2, 2009)
- Lipschitz continuous on PlanetMath (accessed December 2, 2009)
- ^ Walter Rudin : Functional Analysis. McGraw-Hill, New York 1991. ISBN 0070542368 , pp. 41, 420.