IDENTIFICATION OF THE POLARON MEASURE IN STRONG COUPLING AND THE PEKAR VARIATIONAL FORMULA

The path measure corresponding to the Fröhlich polaron appearing in quantum statistical mechanics is defined as the tilted measure (formual presented) Here, ε > 0 is a constant known as the Kac parameter or the inverse-coupling parameter, and P is the distribution of the increments of the three-dimensional Brownian motion. In (Comm. Pure Appl. Math. 73 (2020) 350–383) it was shown that, when ε > 0 is sufficiently small or sufficiently large, the (thermodynamic) limit (formual presented) exists as a process with stationary increments, and this limit was identified explicitly as a mixture of Gaussian processes. In the present article the strong coupling limit or the vanishing Kac parameter limit (formual presented) is investigated. It is shown that this limit exists and coincides with the increments of the so-called Pekar process, a stationary diffusion with generator (formual presented), where ψ is the unique (up to spatial translations) maximizer of the Pekar variational problem (formual presented) As the Pekar process was also earlier shown (Ann. Probab. 44 (2016) 3934– 3964; Ann. Inst. Henri Poincaré Probab. Stat. 53 (2017) 2214–2228; Comm. Pure Appl. Math. 70 (2017) 1598–1629) to be the limiting object of the mean-field polaron measures, the present identification of the strong coupling limit is a rigorous justification of the mean-field approximation of the polaron problem (on the level of path measures) conjectured by Spohn in (Ann. Physics 175 (1987) 278–318). Replacing the Coulomb potential by continuous function vanishing at infinity and assuming uniqueness (modulo translations) of the relevant variational problem, our proof also shows that path measures coming from a Kac interaction of the above form with translation invariance in space converge to the increments of the corresponding meanfield model.