Bonjour,
J'aimerais étendre la notion de convexité aux distributions. Je me dis qu'il faut donc trouver une définition qui coïncide avec les distributions régulières. Fixons alors f une fonction localement sommable (sur pour commencer), et par abus je noterai encore f la distribution régulière associée, ie je note :
où est l'ensemble des fonctions à support compact. Si f est alors f est convexe si et seulement si f'' est positive. Comme premier essai j'essaie alors de poser
Ce qui équivaut par définition de la dérivation au sens des distributions à
Or implique . Et réciproquement (?) puisque
Du coup si cette définition serait valide (et réciproquement impliquerait donc f convexe), on voit que toute fonction convexe serait positive. Ce qui n'est pas le cas. Donc je me dis que la positivité est mal définie au sens des distribution, ie f positive n'équivaut pas (?) à
Du coup peut-être essayer de définir la convexité seulement à partir de f' croissante, ou à partir de la définition classique. Mais dans tout les cas on obtient des définitions faisant intervenir des inégalités et je vois pas comment bien définir cela.
Je peut-être (surement ?) raconté quelques âneries. Avez-vous des idées pour définir la convexité au sens des distributions ? Je pense qu'il faudrait commencer par définir la monotonie au sens des distributions (ce qui donnerai une définition de la convexité) mais je vois pas.
Déjà merci d'avoir lu jusqu'ici et merci d'avance de vos réponses.
Bonjour Aalex00
A priori, je commencerais par une définition simple :
est convexe si
et c'est là que tu t'aperçois qu'en réalité il y a égalité ... parce que T est une application linéaire et que toute application linéaire est convexe.
Maintenant, je fais remarquer, par rapport à ton exposé, que la dérivée d'une distribution n'est pas du tout définie comme celle des fonctions réelle.
n'est pas obtenu à partir de , ce dernier calcul aboutissant , c'est-à-dire à la différentielle de .
Or est linéaire donc on aurait ... sous réserve de donner un sens au fait que
Bonsoir jsvdb,
D'accord merci beaucoup des précisions.
Donc si je comprends toute distribution est convexe (puisque linéaire par définition). Effectivement, mais convexe comme l'objet qu'elle définit. Du coup peut-être on pourrait définir la convexité des distributions (c'est un abus de vocabulaire du coup) telle que pour toute distribution régulière associée à f cela signifierait exactement que f est convexe ?
Pour la monotonie d'une distribution, peut-être se contenter de fonctions test de et à valeurs dans seulement pour éviter de parler de différentielle et avoir juste une dérivée au sens des distributions (qui est une distribution au même titre que la première).
Pour le coup je pense que convexité comme monotonie, une définition qui coïncide pour les distributions régulières et f risque de ne pas signifiée la même chose pour les distributions en général en tant que telles ?
Peut-être que je m'embrouille. Je me demande si c'est bien possible ?
Bonjour
Bonjour,
XZ19, oui je me suis rendu compte qu'il y avait un problème :
Et bien , il faut que la fonction test soit positive.
Maintenant à ma connaissance je ne sais pas si la notion de distribution convexe existe...
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :