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(f(x),f(y))\le L\cdot d(x,y),$$ $\mathrm{\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 ℝ$ é dita Lipschitz contínua, se existir uma constante $L\ge 0$ tal que: $$|f(x)-f(y)|\le L|x-y|,\mathrm{\forall }x,y\in X$$

Se $f$ for diferenciável então: $$\left|\frac{df}{dx}\right|\le 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(f(x),f(y))<d(x,y),\mathrm{\forall }x\ne 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