Les espaces de Sobolev jouent un rôle central dans la théorie des équations aux dérivées partielles. Les théorèmes de plongement de ces espaces dans les espaces de Lebesgue se traduisent en inégalités dites de Sobolev. Elles sont devenues un outil fondamental en analyse. Ces notions ont été introduites par S. L. Sobolev à la fin des années~30. D'autres mathématiciens se sont intéressés à ce domaine. On peut notamment citer les travaux d'E. Gagliardo et L. Nirenberg dans les années~50. L'étude des inégalités de Sobolev optimales trouve ses origines dans de grands problèmes d'analyse tels que le problème de Yamabe. Il existe plusieurs façons d'aborder cette étude. Nous parlerons plus particulièrement de programme AB et de programme BA. Le premier programme a été étudié, entre autre, par T. Aubin, O. Druet, E. Hebey et M. Vaugon. Le second trouve sa source en théorie des semi-groupes de Markov. Il a notamment été étudié par D. Bakry et M. Ledoux. Les inégalités de Sobolev sont un cas particulier des inégalités de Gagliardo-Nirenberg. Il est donc naturel de se demander si les résultats connus pour les inégalités de Sobolev s'adaptent aux autres inégalités de la famille. Les premiers travaux de ce type se sont portés sur l'inégalité de Nash et les inégalités de Sobolev logarithmique. Dans cette thèse, nous obtenons une généralisation de ces travaux à une famille d'inégalités plus large. Plus précisément, nous adaptons les programmes AB et BA à une sous-famille des inégalités de Gagliardo-Nirenberg contenant, entre autres, l'inégalité de Nash.

On établit la meilleure constante dans les inégalités de Sobolev sur une variété riemannienne compacte quelconque lorsque les fonctions considérées sont invariantes par un groupe d'isométries quelconque. On éablit également la meilleure constante dans le cas d'exception des inégalités de Sobolev pour des fonctions invariantes par un groupe d'isométries. La connaissance précise de ces constantes permet d'obtenir des résultats d'existence de solutions d'équation aux dérivées partielles. On se pose ensuite la question de l'existence d'une seconde meilleure constante, et on établit un théorème donnant cette existence sous certaines conditions, conditions permettant toutefois de répondre à certains problèmes ouverts, ainsi qu'à tous les cas constructibles. La démonstration de ce théorème oblige à développer des techniques pointues d'analyse, notamment une étude de phénomène de concentration d'une suite de solutions d'une EDP. La démonstration fait également intervenir des résultats portant sur la géométrie des orbites.

Cette thèse concerne la géométrie asymptotique de variétés riemanniennes complètes non compactes, dont la courbure tend vers zéro à l'infini, assez vite. Afin de compléter des travaux déjà existants, on s'attache à comprendre le cas où la croissance du volume est non maximale, c'est-à-dire strictement moins rapide que dans l'espace euclidien de même dimension. Dans ce contexte, on prouve tout d'abord une inégalité de Sobolev à poids et une inégalité de Hardy, qui permettent de généraliser nombre de résultats établis quand la croissance du volume est maximale. On obtient en particulier des résultats de rigidité et de finitude de la topologie pour des variétés Ricci plates et asymptotiquement plates. On obtient ensuite un résultat de structure asymptotique pour une classe d'instantons gravitationnels : typiquement, ceux qui ont une croissance du volume cubique sont asymptotes à des fibrations en cercles au-dessus d'une variété asymptotiquement localement euclidienne .

La simulation moléculaire est un outil indispensable pour comprendre le comportement de systèmes complexes pour lesquels les expériences s'avèrent coûteuses ou irréalisables à l'heure actuelle. Cette thèse est dédiée aux aspects méthodologiques de la simulation moléculaire et comprend deux volets. Le premier volet porte sur la recherche de chemins de réaction et de points col d'une surface d'énergie potentielle. Nous proposons, dans le chaptire 3, une amélioration d'une des méthodes de cette classe, appelée '"Activation Relaxation Technique"(ART). Nous donnons également une preuve de convergence pour un algorithme prototype. Le deuxieme volet porte sur le calcul d'énergie libre pour les transitions caractérisées par une coordonnée de réaction. Nous nous plaçons dans le cadre d'une méthode d'échantillonnage d'importance adaptative, appelée 'Adaptive Biasing Force' (ABF). Ce volet comprend en soi deux sous-parties. La première partie (chapitre 5) s'attache à montrer l'applicabilité à un système biomoléculaire, d'une nouvelle mise en oeuvre parallèle d'ABF, nommée 'multiple-walker ABF' (MW-ABF), consistant à utiliser plusieurs répliques. Cette mise en oeuvre s'est avérée utile pour surmonter des problèmes liés à un mauvais choix de coordonnée de réaction. Nous confirmons ensuite ces résultats numériques en étudiant la convergence théorique d'un algorithme d'ABF adapté. Le chapitre 6 comprend une étude de convergence en temps long utilisant les méthodes d'entropie relative et les inégalités de Sobolev logarithmiques / Molecular simulation is an essential tool in understanding complex chemical and biochemical processes as real-life experiments prove increasingly costly or infeasible in practice . This thesis is devoted to methodological aspects of molecular simulation, with a particular focus on computing transition paths and their associated free energy profiles. The first part is dedicated to computational methods for reaction path and transition state searches on a potential energy surface. In Chapter 3 we propose an improvement to a widely-used transition state search method, the Activation Relaxation Technique (ART). We also present a local convergence study of a prototypical algorithm. The second part is dedicated to free energy computations. We focus in particular on an adaptive importance sampling technique, the Adaptive Biasing Force (ABF) method. The first contribution to this field, presented in Chapter 5, consists in showing the applicability to a large molecular system of a new parallel implementation, named multiple-walker ABF (MW-ABF). Numerical experiments demonstrated the robustness of MW-ABF against artefacts arising due to poorly chosen or oversimplified reaction coordinates. These numerical findings inspired a new study of the longtime convergence of the ABF method, as presented in Chapter 6. By studying a slightly modified model, we back our numerical results by showing a faster theoretical rate of convergence of ABF than was previously shown

Dans cette thèse, nous nous intéressons essentiellement à trois sujets : les inégalités fonctionnelles à contenu probabiliste, les limites hydrodynamiques pour les systèmes de spins continus en interaction et la discrétisation des équations différentielles stochastiques. Ce document, outre l'introduction, comporte trois parties. La première s'intéresse aux inégalités fonctionnelles, et notamment aux inégalités de Sobolev logarithmiques, pour les mesures canoniques, ainsi qu'aux limites hydrodynamiques pour les systèmes des spins continus. La convergence vers la limite hydrodynamique pour plusieurs variantes du modèle de Ginzburg--Landau équipé de la dynamique de Kawasaki y est obtenue, avec notamment des bornes quantitatives en le nombre de spins. On y étudie également la convergence de l'entropie microscopique vers l'entropie hydrodynamique. La deuxième partie étudie les liens entre flots gradients dans les espaces de mesures de probabilités et grandes déviations pour les suites de lois de solutions d'équations différentielles stochastiques. On y obtient l'équivalence entre le principe de grandes déviations et la Gamma-Convergence d'une suite de fonctionnelles apparaissant dans la formulation en flots gradients du flot de marginales des lois des solutions des équations différentielles stochastiques. Comme application de ce principe, on obtient les grandes déviations par rapport à la limite hydrodynamique pour deux variantes du modèle de Ginzburg--Landau. La troisième partie concerne la discrétisation des équations différentielles stochastiques. On y prouve une inégalité transport-Entropie pour la loi du schéma d'Euler explicite. Cette inégalité implique des bornes sur les intervalles de confiance pour l'estimation de quantités de la forme $\mathbb{E}[f(X_T)]$. On y étudie également l'erreur de discrétisation pour l'évaluation des coefficients de transport avec l'algorithme MALA (qui est une combinaison du schéma d'Euler explicite et de l'algorithme de Metropolis--Hastings). / In this thesis, we are mainly interested in three topics : functional inequalities and their probabilistic aspects, hydrodynamic limits for interacting continuous spin systems and discretizations of stochastic differential equations. This document, in addition to a general introduction (written in French), contains three parts. The first part deals with functional inequalities, especially logarithmic Sobolev inequalities, for canonical ensembles, and with hydrodynamic limits for continuous spin systems. We prove convergence to the hydrodynamic limit for several variants of the Ginzburg--Landau model endowed with Kawasaki dynamics, with quantitative bounds in the number of spins. We also study convergence of the microscopic entropy to its hydrodynamic counterpart. In the second part, we study links between gradient flows in spaces of probability measures and large deviations for sequences of laws of solutions to stochastic differential equations. We show that the large deviations principle is equivalent to the Gamma--Convergence of a sequence of functionals that appear in the gradient flow formulation of the flow of marginals of the laws of the diffusion processes. As an application of this principle, we obtain large deviations from the hydrodynamic limit for two variants of the Ginzburg-Landau model. The third part deals with the discretization of stochastic differential equations. We prove a transport-Entropy inequality for the law of the explicit Euler scheme. This inequality implies bounds on the confidence intervals for quantities of the form $\mathbb{E}[f(X_T)]$. We also study the discretization error for the evaluation of transport coefficients with the Metropolis-Adjusted Langevin algorithm (which is a combination of the explicit Euler scheme and the Metropolis algorithm).

Nous étudions des méthodes d'approximation particulaire de solutions d'équations aux dérivées partielles décrivant l'état macroscopique de certains systèmes physiques. Elles consistent en l'introduction d'un grand nombre N de particules fictives évoluant selon des équations différentielles couplées, ordinaires ou stochastiques, dans un sens plus simple à résoudre que l'équation macroscopique; l'état de ce système de particules est décrit par une mesure de probabilité, dite mesure empirique. La validité de la méthode est donnée par la convergence, quand N tend vers l'infini, de cette mesure empirique vers la solution macroscopique originale, appelée limite de champ moyen. Nous cherchons principalement à en donner des estimations explicites, quantifiant ainsi la précision de l'approximation.<br /><br />Dans ce cadre nous étudions l'approximation des équations de transport de Vlasov et d'Euler par des systèmes de particules déterministes en interaction. Le problème de la convergence de la méthode se ramène à un problème de stabilité de solutions que nous traitons par des propriétés de type contraction pour des distances (de Wasserstein) liées à la théorie du transport optimal de mesures. Nous établissons aussi une propriété analogue de contraction pour des lois de conservation scalaires. <br /><br />Nous étudions également l'approximation d'équations de diffusion de McKean-Vlasov par des systèmes de particules stochastiques. Nous en donnons l'erreur de manière quantitative à l'aide de techniques de couplage, d'estimations de propagation du chaos et d'inégalités de concentration ou de déviation.<br /><br />De façon plus systématique nous nous intéressons à de telles inégalités de concentration pour des mesures de probabilité et à leurs relations avec des inégalités de transport (liant distances de Wasserstein et entropie) et de Sobolev logarithmiques. En particulier nous établissons de telles inégalités pour certaines classes de lois de variables dépendantes.

On s'intéresse dans cette thèse au comportement ergodique de certains systèmes dynamiques.<br /><br />Dans la première partie, on établit une inégalité de Sobolev logarithmique pour la loi d'un mouvement Brownien avec dérive, et plus généralement de certaines diffusions elliptiques, sur l'espace des trajectoires riemanniennes muni d'une métrique L2. <br />Ce résultat implique des propriétés de concentration intéressantes pour le comportement en temps grands de moyennes d'observables le long de la trajectoire.<br /><br />Dans la seconde partie, on prouve un principe de grandes déviations pour la mesure empirique des équations de Burgers et de Navier-Stokes stochastiques. <br />Ce principe décrit la convergence exponentielle vers la mesure d'équilibre du système, dont l'unicité est assurée par les conditions de non dégénérescence imposées sur la perturbation aléatoire.

On s'intéresse à la géométrie des variétés de courbure de Ricci presque supérieure à $k$ (i.e. telle qu'une norme $L^p$---locale ou globale---de la fonction $(\underline(\rm Ric)-k)^-$ soit petite, où $\underline(\rm Ric)(x)$ est la plus petite valeur propre de la courbure de Ricci en $x$). On démontre sous cette hypothèse les équivalents des inégalités géométriques classiques de Myers, de Bishop-Gromov, de Lichnerowicz,... puis on caractérise les variétés qui réalisent presque les cas d'égalité (généralisant des travaux de T.~Colding et de P.~Petersen). Sur une variété compacte $M^n$ de courbure presque positive, le laplacien sur les 1-formes a au plus $n$ petites valeurs propres. S'il a exactement $n$ petites valeurs propres ($n-1$ suffisent si $M$ est orientable) alors $M$ est difféomorphe à une Nilvariété et la métrique est presque invariante à gauche. Ces résultats découlent d'estimées analytiques établies dans la première partie de la thèse.

Ma thèse de doctorat se concentre principalement sur le comportement en temps long des processus de Markov, les inégalités fonctionnelles et les techniques relatives. Plus spécifiquement, Je vais présenter les taux de convergence sous-exponentielle explicites des processus de Markov dans deux approches : la méthode Meyn-Tweedie et l'hypocoercivité (faible). Le document se divise en trois parties. Dans la première partie, Je vais présenter quelques résultats importants et des connaissances connexes. D'abord, un aperçu de mon domaine de recherche sera donné. La convergence exponentielle (ou sous-exponentielle) des chaînes de Markov et des processus de Markov (à temps continu) est un sujet d'actualité dans la théorie des probabilité. La méthode traditionnelle développée et popularisée par Meyn-Tweedie est largement utilisée pour ce problème. Dans la plupart des résultats, le taux de convergence n'est pas explicite, et certains d'entre eux seront brièvement présentés. De plus, la fonction de Lyapunov est cruciale dans l'approche Meyn-Tweedie, et elle est aussi liée à certaines inégalités fonctionnelles (par exemple, inégalité de Poincaré). Cette relation entre fonction de Lyapounov et inégalités fonctionnelles sera donnée avec les résultats au sens L2. En outre, pour l'exemple de l'équation cinétique de Fokker-Planck, un résultat de convergence exponentielle explicite de la solution sera introduite à la manière de Villani : l'hypocoercivité. Ces contenus sont les fondements de mon travail, et mon but est d'étudier la décroissance sous-exponentielle. La deuxième partie, fait l'objet d'un article écrit en coopération avec d'autres sur les taux de convergence sous-exponentielle explicites des processus de Markov à temps continu. Comme nous le savons, les résultats sur les taux de convergence explicites ont été donnés pour le cas exponentiel. Nous les étendons au cas sous-exponentielle par l'approche Meyn-Tweedie. La clé de la preuve est l'estimation du temps de passage dans un ensemble "petite", obtenue par Douc, Fort et Guillin, mais pour laquelle nous donnons une preuve plus simple. Nous utilisons aussi la construction du couplage et donnons une ergodicité sous exponentielle explicite. Enfin, nous donnons quelques applications numériques. Dans la dernière partie, mon second article traite de l'équation cinétique de Fokker-Planck. Je prolonge l'hypocoercivité à l'hypocoercivité faible qui correspond à inégalité de Poincaré faible. Grâce à cette extension, on peut obtenir le taux de convergence explicite de la solution, dans des cas sous-exponentiels. La convergence est au sens H1 et au sens L2. A la fin de ce document, j'étudie le cas de l'entropie relative comme Villani, et j'obtiens la convergence au sens de l'entropie. Enfin, Je donne deux exemples pour les potentiels qui impliquent l'inégalité de Poincaré faible ou l'inégalité de Sobolev logarithmique faible pour la mesure invariante.

Les travaux de la thèse portent sur la résolution des équations de Stokes, d'abord avec des conditions au bord portant sur la composante normale du champ de vitesse et la composante tangentielle du tourbillon, ensuite avec des conditions au bord portant sur la pression et la composante tangentielle du champ de vitesse. Dans chaque cas nous démontrons l'existence, l'unicité et la régularité de la solution. Nous traitons aussi le cas de solutions très faibles, par dualité. Le cadre fonctionnel que nous avons choisi est celui des espaces de Banach du type H(div) et H(rot) ou l'intersection des deux, basés sur l'espace Lp , avec 1 < p < ∞. En particulier, on se place dans des domaines non simplement connexes, avec des frontières non connexes. Nous nous intéressons en premier lieu à l'obtention d'inégalités de Sobolev pour des champs de vecteurs u ∈ Lp (Ω). Dans un second temps, nous établissons des résultats d'existence pour les potentiels vecteurs avec diverses conditions aux limites. Ceci nous permet d'abord d'effectuer des décompositions de type Helmholtz et ensuite de démontrer des conditions Inf − Sup lorsque la forme bilinéaire est un produit de rotationnels. Ces conditions aux limites font que l'équation de la pression est indépendante des autres variables. C'est la raison pour laquelle nous sommes naturellement conduit à étudier les problèmes elliptiques qui se traduisent par les systèmes de Stokes sans la pression. La résolution de ces problèmes se fait au moyen des Conditions Inf − Sup qui jouent un rôle clef pour établir l'existence et l'unicité de solutions. Nous donnons une applications aux systèmes de Navier-Stokes, où on obtient l'existence d'une solution en effectuant un point fi xe autour du problème d'Oseen. Enfi n, deux méthodes numériques sont proposées pour approcher le problème de Stokes. Nous analysons d'abord une méthode de Nitsche et puis une méthode de Galerkin discontinu. Quelques résultats numériques de convergence sont décrits qui sont parfaitement cohérents avec l'analyse.