$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Fonction lipschitzienne

Fonction lipschitzienne sur un intervalle

Soit $I$ un intervalle de $\mathbb R$, $f:I\to\mathbb R$ et $k\in\mathbb R_+.$ On dit que $f$ est lipschitzienne de rapport $k$ si pour tous $x,y\in I$, $$|f(x)-f(y)|\leq k |x-y|.$$ La fonction est dite contractante si on peut choisir $k<1.$

Les fonctions lipschitziennes possèdent de nombreuses propriétés intéressantes. Par exemple, une application lipschitzienne est uniformément continue, donc continue. Les fonctions lipschitziennes sont aussi fortement liées aux fonctions dérivables. D'une part, d'après le théorème des accroissements finis, une fonction dérivable sur $I$ est lipschitzienne sur $I$ si et seulement sa dérivée est bornée sur $I.$ En particulier, une fonction de classe $\mathcal C^1$ sur un segment est lipschitzienne sur ce segment. D'autre part, les fonctions lipschitziennes sont dérivables en de nombreux points. C'est un résultat subtil appelé théorème de Rademacher :

Théorème : Une fonction lipschitzienne de $\mathbb R$ dans $\mathbb R$ est dérivable presque partout (pour la mesure de Lebesgue) et de plus sa dérivée est essentiellement bornée.

On peut même être un peu plus précis et démontrer qu'une fonction lipschitzienne est absolument continue, donc à variations bornées, ce qui entraîne le théorème de Rademacher.

Fonction lipschitzienne entre espaces métriques

On peut aussi définir une fonction lipschitzienne de rapport $k\geq 0$ entre deux espaces métriques $(E,d)$ et $(F,\delta)$, la condition à vérifier étant $$\delta(f(x),f(y))\leq k \big(d(x,y)\big).$$ Lorsque $k<1$ (cas des fonctions contractantes), on peut lui appliquer le théorème du point fixe de Banach-Picard, à condition que $E=F$ soit un espace métrique complet.

Le théorème de Rademacher peut alors être étendu en disant qu'une fonction $f:U\to\mathbb R^m,$ où $U$ est un ouvert de $\mathbb R^n,$ lipschitzienne sur $U,$ est différentiable en presque tout point de $U$ (toujours pour la mesure de Lebesgue).

Consulter aussi...
Recherche alphabétique
Recherche thématique