Função Lipschitz contínua

Em matemática, sobretudo na análise real, uma função Lipschitz contínua é um critério de suavidade mais forte que a condição de continuidade uniforme (logo, de continuidade). O nome tem origem no matemático alemão Rudolf Otto Sigismund Lipschitz.

As funções Lipschitz contínuas são um caso particular das funções Hölder contínuas.

Definição mais geral em espaços métricos

Sejam $(X,d)$ e $(Y,d)$ espaços métricos. Uma função $f:X\to Y$ é dita Lipschitz contínua se existir uma constante real $L>0$ tal que: $$d\left(f(x),f(y)\right)\leq L\cdot d(x,y),$$ $\forall x,y\in X$

O ínfimo das constantes $L$ para o qual a desigualdade acima é válida é chamado de constante de Lipschitz.

Caso particular nos reais

Uma função $f:X\to \mathbb {R}$ é dita Lipschitz contínua, se existir uma constante $L\geq 0$ tal que: $$\left|f(x)-f(y)\right|\leq L|x-y|,~~\forall x,y\in X$$

Se $f$ for diferenciável então: $$\left|{\frac {df}{dx}}\right|\leq L$$

Generalização

Uma função $f$ é dita localmente Lipschitz contínua se para cada ponto $x$ do domínio existe uma vizinhança $V(x)$ tal que a restrição de $f$ a $V(x)$ é Lipschitz contínua.

Casos especiais

• Uma função $f:X\to X$ é dita uma contração uniforme se sua constante de Lipschitz for menor que 1.
• Uma função $f:X\to X$ é dita uma contração se:

  $d\left(f(x),f(y)\right)<d(x,y),~~\forall x\neq y\in X$

• Uma função $f:X\to Y$ é dita não expansiva se sua constante de Lipschitz for igual a 1.

Veja também

• Função não expansiva
• Função identidade
• Transformação geométrica
• Função afim
• Mapeamento contrativo