Lipschitz continuity

A quantitative continuity condition: |f(x)-f(y)| ≤ L|x-y| for some constant L.
Lipschitz continuity

Let (X,dX)(X,d_X) and (Y,dY)(Y,d_Y) be and let f:EYf:E\to Y with EXE\subseteq X. The function ff is Lipschitz continuous on EE if there exists a constant L[0,)L\in[0,\infty) such that

x,yE, dY ⁣(f(x),f(y))LdX(x,y).\forall x,y\in E,\ d_Y\!\bigl(f(x),f(y)\bigr)\le L\, d_X(x,y).

Any such LL is called a Lipschitz constant for ff on EE.

Lipschitz continuity is stronger than and provides explicit control of error propagation. It is ubiquitous in analysis and differential equations.

Examples:

  • f:RRf:\mathbb{R}\to\mathbb{R}, f(x)=ax+bf(x)=ax+b is Lipschitz with constant L=aL=|a|.
  • On R\mathbb{R}, the function f(x)=xf(x)=|x| is Lipschitz with constant L=1L=1.
  • f(x)=xf(x)=\sqrt{x} is not Lipschitz on [0,1][0,1] (the slope blows up near 00), but it is Lipschitz on [δ,1][\delta,1] for any fixed δ>0\delta>0.