Voila je voudrai demontré un lemme qui n'as pas été demontré en cours d'optimisation pour cause de faute des temps, sauf que je ne sais pas par où commencé:
Lemme
on a
Supposons que:
- f est de classe C(1)
- grad f est lipschitzienne de constante Kf>0 c'est a dire:
-
Alors si pour