Mean-field interaction of Brownian occupation measures, I: Uniform tube property of the Coulomb functional

Abstract

We study the transformed path measure arising from the self-interaction of a three-dimensional rownian motion via an exponential tilt with the Coulomb energy of the occupation measures of the motion by time $t$. The logarithmic asymptotics of the partition function were identified in the 1980s by Donsker and Varadhan (Comm. Pure Appl. Math. 505 (1983) 505–528) in terms of a variational formula. Recently (Brownian occupations measures, compactness and large deviations (2014) Preprint) a new technique for studying the path measure itself was introduced, which allows for proving that the normalized occupation measure asymptotically concentrates around the set of all maximizers of the formula. In the present paper, we show that likewise the Coulomb functional of the occupation measure concentrates around the set of corresponding Coulomb functionals of the maximizers in the uniform topology. This is a decisive step on the way to a rigorous proof of the convergence of the normalized occupation measures towards an explicit mixture of the maximizers, derived in (Mean-field interaction of Brownian occupation measures, II: A rigorous construction of the Pekar process. Preprint). Our methods rely on deriving Hölder-continuity of the Coulomb functional of the occupation measure with exponentially small deviation probabilities and invoking the large deviation theory developed in (Brownian occupations measures, compactness and large deviations (2014) Preprint) to a certain shift-invariant functional of the occupation measures.

Nous étudions la mesure de trajectoire transformée engendrée par l’auto-interaction d’un mouvement Brownien tridimensionnel en utilisant un biais exponentiel par l’énergie de Coulomb des mesures d’occupation de ce mouvement au temps $t$. Les asymptotes logarithmiques de la fonction de partition ont été identifiées dans les années 1980 par Donsker et Varadhan [Comm. Pure Appl. Math. 505 (1983) 505–528] au moyen d’une formule variationnelle. Récemment, dans (Brownian occupations measures, compactness and large deviations (2014) Preprint), une nouvelle technique pour étudier la mesure de chemins elle-même a été introduite. Elle permet de prouver que la mesure d’occupation normalisée se concentre asymptotiquement autour de l’ensemble des maximums de la formule.

Dans le présent article, nous prouvons que la fonctionnelle de Coulomb de la mesure d’occupation se concentre elle aussi, dans la topologie uniforme, autour de l’ensemble des fonctionnelles de Coulomb correspondant aux maximums. Ceci représente une étape décisive vers une preuve rigoureuse de la convergence des mesures d’occupation normalisées vers un mélange explicite des maximums, dérivée dans (Mean-field interaction of Brownian occupation measures, II: A rigorous construction of the Pekar process. Preprint). Nos méthodes reposent sur l’obtention de la continuité hölderienne de la fonctionnelle de Coulomb de la mesure d’occupation avec des probabilités de déviations exponentiellement petites, en invoquant la théorie des grandes déviations développée dans (Brownian occupations measures, compactness and large deviations (2014) Preprint) pour une certaine fonctionnelle, invariante par dćalage, des mesures d’occupation.