Inscription / Connexion Nouveau Sujet
Niveau autre
Partager :

fonction C1 localement lipschitzienne

Posté par
robby3
22-11-07 à 11:26

Bonjour à tous, je voudrais bien connaitre la démonstartion de f une fonction C1=> f est localement lipschitzienne.

Alors si quelqu'un sait comment on fait,je l'en remercie d'avance.

Si on pouvait me rappeler ce qu'est localement lipschitzien et la différence avec lipschitzien tout court,ce sera sympa aussi!
MERCI!

Posté par
romu
re : fonction C1 localement lipschitzienne 22-11-07 à 11:40

Bonjour Robby,

Si on prend pour simplifier une fonction f de R dans R (pour généraliser tu peux remplacer l'espace de départ par un espace métrique et de même pou l'espace d'arrivée).

ta fonction est lipschiztienne, si il existe k>0 tel que pour tous x,y, on a

|f(x)-f(y)|\leq k|x-y| (pour la généralisation remplacer par les distances adéquates)

ta fonction f est localement lipschitzienne, si pour tout a\in \mathbb{R}, il existe un voisinage de a, telle que la restriction de f sur ce voisinage est lipschitzienne.

Citation :
la démonstartion de f une fonction C1=> f est localement lipschitzienne.


Il me semble que c'est pas vraiment difficile si tu arrives à montrer que f' est localement bornée et que tu utilises les accroissements finis.

Posté par
robby3
re : fonction C1 localement lipschitzienne 22-11-07 à 12:32

Citation :
f' est localement bornée

tu le traduit par il existe un voisinage V quelque soit le point x de R tel que f'(x) soit bornée??

on sait juste au départ que f est C1,
donc f' est continue.
Comment arrive t-on à f' localement bornée?

Posté par
romu
re : fonction C1 localement lipschitzienne 22-11-07 à 12:47

Citation :
tu le traduit par il existe un voisinage V quelque soit le point x de R tel que f'(x) soit bornée??


Non, c'est pas vraiment dans le bon ordre,

je le traduis par, :

Citation :
pour tout a, il existe un voisinage V_a de a tel qu'il existe M>0, et |f'(x)|\leq k pour tout x\in V_a.


Là, il faut trouver un voisinage compact V_a (ie fermé borné), utiliser la continuité de f' (car f est dans C1),
pour montrer cette propriété d'être "localement bornée". (une propriété est "locale" si elle est vraie pour au moins un voisinage de chaque point)

Posté par
robby3
re : fonction C1 localement lipschitzienne 22-11-07 à 19:05

Je n'ai pas vraiment compris je crois mais je me lance...

Soit V_a=[a-\epsilon,a+\epsilon] avec \epsilon>0.
C'est un fermé,bornée de R donc un compact.

f' continue en a donc:

\large \rm \forall \epsilon>0,\exists \delta>0,\forall x\in V_a:|x-a|\le \delta =>|f(x)-f(a)|\le \epsilon

aprés que faire?

Posté par
Ksilver
re : fonction C1 localement lipschitzienne 22-11-07 à 19:07

non ce qu'on utilise c'est qu'un fonction continu sur un interval fermé borné est borné. (tu connais ce résultat je pense ?)

a partir de la ta dérivé est borné sur tous les interval borné, et donc lipschitizienne sur chacun de ces intervals.

Posté par
robby3
re : fonction C1 localement lipschitzienne 22-11-07 à 19:12

Salut Ksilver!

Citation :
ce qu'on utilise c'est qu'un fonction continu sur un interval fermé borné est borné. (tu connais ce résultat je pense ?)

>oki

Citation :
ta dérivé est borné sur tous les interval borné, et donc lipschitizienne sur chacun de ces intervals.

>pourquoi si elle est bornée elle est lipschitzienne??
c'est peut-etre bete mais...

Posté par
Ksilver
re : fonction C1 localement lipschitzienne 22-11-07 à 19:13

C'est le th des accroisement finit. si |f'(x)|<k sur un interval I alors f est k-lipschitzinne sur I.

Posté par
robby3
re : fonction C1 localement lipschitzienne 22-11-07 à 19:18

ah oui pff c'était f'...c'est pour ça!!
Oki!!

Merci Ksilver et Romu pour votre aide!!
Bonne soirée à tout les deux!!

Posté par
romu
re : fonction C1 localement lipschitzienne 22-11-07 à 22:37

Posté par
otto
re : fonction C1 localement lipschitzienne 23-11-07 à 06:49

on sait juste au départ que f est C1,
donc f' est continue.
Comment arrive t-on à f' localement bornée?

Heu... a ton avis ?
f' est localement continue, donc bornée sur tout compact donc c'est trivial.

Posté par
robby3
re : fonction C1 localement lipschitzienne 23-11-07 à 18:24

heu...merci Otto.



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1675 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !