Transport optimal et analyse géométrique dans le groupe de Heisenberg
On considère le groupe de Heisenberg $\He_n=\R^{2n+1}$ avec la distance de Carnot-Carathéodory $d_c$ et la mesure de Lebegue $\Lg^{2n+1}$. Dans le premier chapitre, dans le cadre du problème du voyageur de commerce géométrique de $\Hei$, on construit une courbe de longueur finie qui ne vérifie pas l...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
2008
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00345301 http://tel.archives-ouvertes.fr/docs/00/34/53/01/PDF/these_doktorarbeit.pdf |
| Summary: | On considère le groupe de Heisenberg $\He_n=\R^{2n+1}$ avec la distance de Carnot-Carathéodory $d_c$ et la mesure de Lebegue $\Lg^{2n+1}$. Dans le premier chapitre, dans le cadre du problème du voyageur de commerce géométrique de $\Hei$, on construit une courbe de longueur finie qui ne vérifie pas le critère de Ferrari, Franchi et Pajot au sujet des ensembles contenus dans une courbe rectifiable. On montre aussi une inégalité sur le déterminant jacobien des applications de contraction sur un point qui suivent les géodésiques. Cette inégalité est essentiellement équivalente à la Propriété de Contraction de Mesure $MCP(0,2n+3)$. Grâce à cette proprété on répond positivement au Chapitre 2 à une question d'Ambrosio et Rigot à propos du transport de mesure dans $\He_n$ (travail en commun avec Figalli). Il s'avère en effet que les mesures traversées par une géodésique de l'espace de Wasserstein sont absolument continues dès qu'une extrémité de la géodésique l'est. Au Chapitre 3 on démontre que la Courbure-Dimension $CD(K,N)$ définie par transport de mesure n'est pas vérifiée pour $\He_n$ et que cela vaut quels que soient les paramètres $K\in\R$ et $N\in[1,+\infty]$. On discute aussi d'autres propriétés de courbures dans le cas du groupe de Heisenberg. Le Chapitre 4 est dédié à la correspondance entre l'équation de la chaleur sous-elliptique et le flot de gradient de l'entropie de Bolzmann dans l'espace de Wassertein. |
|---|