Analyse : lien entre uniforme continuité et dérivée
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
vjjhgj
- Messages: 5
- Enregistré le: 14 Jan 2017, 15:38
-
par vjjhgj » 14 Jan 2017, 16:10
Bonjour !
Je me demandais si il était vrai de dire que :
"la fonction est uniformément continue sur I" et "la dérivée de la fonction est bornée sur I" sont des propositions équivalentes, dans le cadre de fonctions dérivables évidemment, et avec I un intervalle ouvert, une fonction dérivable étant uniformément continue sur un intervalle fermé (si je ne me trompes pas...).
L'équivalence me semble vraie mais je n'arrive pas à la montrer.
Quelqu'un peut m'aider ?
Merci d'avance.
-
L.A.
- Membre Irrationnel
- Messages: 1709
- Enregistré le: 09 Aoû 2008, 16:21
-
par L.A. » 14 Jan 2017, 16:52
Bonjour,
une fonction f dont la dérivée est bornée est lipschitzienne donc uniformément continue (écrire f(y)-f(x) sous forme d'intégrale).
En revanche, la fonction

sur

est uniformément continue (elle est continue sur le compact

) mais sa dérivée

n'est pas bornée (elle tend vers l'infini mais très lentement au voisinage de 0).
Il faudrait donc remplacer "uniformément continue" par "lipschitzienne", et là ça marche.
-
vjjhgj
- Messages: 5
- Enregistré le: 14 Jan 2017, 15:38
-
par vjjhgj » 14 Jan 2017, 17:05
D'accord merci beaucoup pour cette réponse !
-
vjjhgj
- Messages: 5
- Enregistré le: 14 Jan 2017, 15:38
-
par vjjhgj » 15 Jan 2017, 23:48
Et aurais-tu une idée pour démontrer l'équivalence fonction liepschitz/dérivée bornée ?
-
L.A.
- Membre Irrationnel
- Messages: 1709
- Enregistré le: 09 Aoû 2008, 16:21
-
par L.A. » 16 Jan 2017, 10:46
Soit

alors
| \leq M \iff \forall x,y \in I,~ |f(x)-f(y)| \leq M|x-y|)
=> utiliser
-f(y) = \int_x^y f'(t)dt)
.
<= montrer que tous les taux de variation de

en

sont bornés par

et en déduire que
)
aussi.
-
Pseuda
- Habitué(e)
- Messages: 3222
- Enregistré le: 08 Avr 2015, 12:44
-
par Pseuda » 16 Jan 2017, 11:32
Bonjour,
Ou bien : taux d'accroissement et passage à la limite : pour

donné dans I,
-f(x_0)}{x-x_0} \leq M)
, donc limite quand

, donc
 \leq M)
-
vjjhgj
- Messages: 5
- Enregistré le: 14 Jan 2017, 15:38
-
par vjjhgj » 16 Jan 2017, 15:08
Merci beaucoup à vous deux j'ai compris maintenant !

-
vjjhgj
- Messages: 5
- Enregistré le: 14 Jan 2017, 15:38
-
par vjjhgj » 17 Jan 2017, 13:41
Ca m'a merveilleusement servi pendant mes partielles d'analyse encore merci !
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 15 invités