ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 8 — Limites et continuité · Continuité uniforme et fonctions lipschitziennes

Exercice 42

Démonstration

Montrer que les fonctions suivantes sont lipschitziennes, et donner une constante de Lipschitz.

(a) x↦1+x2x \mapsto \sqrt{1 + x^{2}} sur ℝ\mathbb{R}

(b) x↦1xx \mapsto \dfrac{1}{x} sur [1 ,+∞[[1\,,+\infty[

(c) x↦sin⁡(3x)−2cos⁡xx \mapsto \sin(3x) - 2\cos x sur ℝ\mathbb{R}

(d) x↦∣ ∣x∣−1∣x \mapsto \big|\,|x| - 1\big| sur ℝ\mathbb{R}

Montrer que la composée de deux fonctions lipschitziennes est lipschitzienne, ainsi que leur somme.

Corrigé

(a) Pour tous réels xx et yy, en multipliant par la quantité conjuguée, ∣1+x2−1+y2∣=∣x−y∣ ∣x+y∣1+x2+1+y2⩽∣x−y∣,\Big|\sqrt{1 + x^{2}} - \sqrt{1 + y^{2}}\Big| = \frac{|x - y|\,|x + y|}{\sqrt{1 + x^{2}} + \sqrt{1 + y^{2}}} \leqslant |x - y|, car ∣x+y∣⩽∣x∣+∣y∣<1+x2+1+y2|x + y| \leqslant |x| + |y| < \sqrt{1 + x^{2}} + \sqrt{1 + y^{2}}. k=1\boxed{k = 1}

(b) Pour xx, y⩾1y \geqslant 1, ∣1x−1y∣=∣x−y∣xy⩽∣x−y∣\big|\frac{1}{x} - \frac{1}{y}\big| = \frac{|x - y|}{xy} \leqslant |x - y|. k=1\boxed{k = 1}

(c) D'après le cours, ∣sin⁡u−sin⁡v∣⩽∣u−v∣|\sin u - \sin v| \leqslant |u - v| et ∣cos⁡u−cos⁡v∣⩽∣u−v∣|\cos u - \cos v| \leqslant |u - v|, donc ∣(sin⁡3x−2cos⁡x)−(sin⁡3y−2cos⁡y)∣⩽3∣x−y∣+2∣x−y∣.\big|(\sin 3x - 2\cos x) - (\sin 3y - 2\cos y)\big| \leqslant 3|x - y| + 2|x - y|. k=5\boxed{k = 5}

(d) Par deux applications de l'inégalité triangulaire renversée, ∣ ∣∣x∣−1∣−∣∣y∣−1∣ ∣⩽∣∣x∣−∣y∣∣⩽∣x−y∣.k=1\Big|\,\big||x| - 1\big| - \big||y| - 1\big|\,\Big| \leqslant \big||x| - |y|\big| \leqslant |x - y|. \qquad \boxed{k = 1}

Composée et somme. Si ff est kk-lipschitzienne et gg est k′k'-lipschitzienne, alors ∣g(f(x))−g(f(y))∣⩽k′∣f(x)−f(y)∣⩽kk′∣x−y∣et∣(f+g)(x)−(f+g)(y)∣⩽(k+k′)∣x−y∣.|g(f(x)) - g(f(y))| \leqslant k'|f(x) - f(y)| \leqslant kk'|x - y| \quad\text{et}\quad |(f + g)(x) - (f + g)(y)| \leqslant (k + k')|x - y|.

g∘f est kk′-lipschitzienne, f+g est (k+k′)-lipschitzienne\boxed{g \circ f \text{ est } kk'\text{-lipschitzienne}, \ f + g \text{ est } (k + k')\text{-lipschitzienne}} On retrouve ainsi les constantes trouvées en (c) et (d).

Dans l'édifice

Thèmes

continuité uniforme, fonctions lipschitziennes

Notions

continuité uniforme, application contractante

Ouvrir dans l'atlas interactif →