LIPSCHITZ_CONTINUITY

(Redirected from Lipschitz continuous)
In mathematics, more specifically in real analysis, 'Lipschitz continuity', named after Rudolf Lipschitz, is a ''smoothness'' condition for functions which is stronger than regular continuity. Intuitively, a Lipschitz continuous function is limited in how fast it can change; a line joining any two points on the graph of this function will never have a slope steeper than a certain number called the Lipschitz constant of the function.
In the theory of differential equations, Lipschitz continuity is the central condition of the Picard–Lindelöf theorem which guarantees the existence and uniqueness of the solution to an initial value problem. A special type of Lipschitz continuity, called contraction, is used in the Banach fixed point theorem.
The concept of Lipschitz continuity can be defined on metric spaces and thus also on normed vector spaces. A generalisation of Lipschitz continuity is called Hölder continuity.

Contents

Definitions

Real numbers

Metric spaces

Examples

Properties

Lipschitz manifold structure

See also

Definitions

Real numbers

A real valued function $f$ defined on a subset $D$ of the real numbers
:$f\; colon\; D\; subseteq\; mathbb\{R\}\; o\; mathbb\{R\}$
is called 'Lipschitz continuous' or is said to satisfy a 'Lipschitz condition' if there exists a constant $K\; ge\; 0$ such that for all $x\_1,\; x\_2$ in $D$
:$|f(x\_1)-f(x\_2)|le\; K\; |x\_1-x\_2|.$
The smallest such ''K'' is called the 'Lipschitz constant' of the function $f.$
As this equation is immediate if $x\_1=x\_2$, one can equivalently define a function to be Lipschitz if and only if
:le K
for $x\_1$
eq x_2, i.e., iff the slopes of secants are bounded.
The function is called 'locally Lipschitz continuous' if for every $x$ in $D$ there exists a neighborhood $U(x)$ so that $f$ restricted to $U$ is Lipschitz continuous.

Metric spaces

Given two metric spaces $(M,\; d)$ and $(N,\; d\text{'})$, where $d$ and $d\text{'}$ denotes the metric on the sets $M$ and $N$ respectively, $U$ is a subset of $M$, a function
:$f\; :\; U\; o\; N$
is called 'Lipschitz continuous' if there exists a constant $K\; ge\; 0$ such that for all $x\_1$ and $x\_2$ in $U$
:$d\text{'}(f(x\_1),\; f(x\_2))\; le\; K\; d(x\_1,\; x\_2).$
The smallest such $K$ is called the 'Lipschitz constant' of the function $f$. If $K\; =\; 1$ the function is called 'short map', if the function is called 'contraction'.
If there exists a $K\; ge\; 1$ with
:
then $f$ is called 'bilipschitz' (also written 'bi-Lipschitz'): this is an isomorphism in the category of Lipschitz maps.

Examples

★ The function $f(x)=x^2$ defined on $[-3,\; 7]$ is Lipschitz continuous, with Lipschitz constant $K=14$. This follows from the last property below.

★ The function $f(x)=sqrt\{x^2+5\}$ defined for all real numbers is Lipschitz continuous with the Lipschitz constant $K=1$.

★ The function $f(x)=|x|$ defined on the reals is Lipschitz continuous with the Lipschitz constant equal to 1. This is an example of a Lipschitz continuous function that is not differentiable.

★ The function $f(x)=x^2$ (the same function as in the first example) with domain all real numbers is ''not'' Lipschitz continuous. This function becomes arbitrarily steep as $x\; o\; infty$. It is however locally Lipschitz.

★ The function $f(x)=sqrt\{x\}$ defined on $[0,\; 1]$ is ''not'' Lipschitz continuous. This function becomes infinitely steep as $x\; o\; 0$ since its derivative becomes infinite. It is however Hölder continuous of class , for .

Properties

★ An everywhere differentiable function is Lipschitz continuous (with $C=mbox\{sup\}|f\; \text{'}|$) iff it has bounded first derivative; one direction follows from the mean value theorem. Thus any $C^1$ function is locally Lipschitz, as continuous functions on a locally compact space are locally bounded.

★ The Lipschitz properties is preserved better than differentiability: if a sequence of Lipschitz continuous functions $\{f\_k\}$ converges to $f$, then $f$ is also Lipschitz continuous.

★ Every Lipschitz continuous map is uniformly continuous, and hence ''a fortiori'' continuous.

★ Every bilipschitz function (see definition above) is injective. A bilipschitz function is the same thing as a Lipschitz bijection whose inverse function is also Lipschitz.

★ Given a locally Lipschitz continuous function $f:M\; o\; N$, then the restriction of $f$ to any compact set $A\; subseteq\; M$ is Lipschitz continuous.

★ If ''U'' is a subset of the metric space ''M'' and ''f'' : ''U'' → 'R' is a Lipschitz continuous map, there always exist Lipschitz continuous maps ''M'' → 'R' which extend ''f'' and have the same Lipschitz constant as ''f'' (see also Kirszbraun theorem).

★ Rademacher's theorem states that a Lipschitz continuous map ''f'' : ''I'' → 'R', where ''I'' is an interval in 'R', is almost everywhere differentiable (that is, it is differentiable everywhere except on a set of Lebesgue measure 0). If ''K'' is the Lipschitz constant of ''f'', then |''f’''(''x'')| ≤ ''K'' whenever the derivative exists. Conversely, if ''f'' : ''I'' → 'R' is a differentiable map with bounded derivative, |''f’''(''x'')| ≤ ''L'' for all ''x'' in ''I'', then ''f'' is Lipschitz continuous with Lipschitz constant ''K'' ≤ ''L'', a consequence of the mean value theorem.

Lipschitz manifold structure

There is a notion of a Lipschitz structure on a topological manifold, since there is a pseudogroup structure on Lipschitz homeomorphisms. This structure is intermediate between that of a piecewise-linear manifold and a smooth manifold. In fact a PL structure gives rise to a unique Lipschitz structure;^[1] it can in that sense 'nearly' be smoothed.

See also

★ Modulus of continuity