The well-posedness and convergence of higher-order Hartree equations in critical Sobolev spaces on $\mathbb{T}^3$
Ryan L. Acosta Babb, Andrew Rout
TL;DR
The paper develops a rigorous theory for higher-order Hartree equations on the periodic domain $\mathbb{T}^3$, establishing local and global well-posedness in the scaling-critical Sobolev spaces $H^{s_c}$ with $s_c=\frac{3}{2}-\frac{1}{p}$, and proving convergence to the corresponding nonlinear Schrödinger equations as the interaction potential concentrates to a delta. It provides sharp energy and multilinear estimates in the periodic setting, enabling a fixed-point argument and energy conservation to yield global well-posedness for small data and perturbative global results for mixed nonlinearities. A key contribution is the demonstration that Hartree dynamics with $p$-body interactions converge to local NLS in $H^{s_c}$, and that mixed nonlocal nonlinearities can be treated as perturbations of higher-order Hartree or quintic NLS, with robust convergence results. These results advance the mathematical understanding of mean-field limits and the rigorous connection between nonlocal Hartree dynamics and local NLS on a torus, with implications for Bose gas models and periodic dispersive PDE theory.
Abstract
In this article, we consider Hartree equations generalised to $2p+1$ order nonlinearities. These equations arise in the study of the mean-field limits of Bose gases with $p$-body interactions. We study their well-posedness properties in $H^{s_c}(\mathbb{T}^3)$, where $\mathbb{T}^3$ is the three dimensional torus and $s_c = 3/2 - 1/p$ is the scaling-critical regularity. The convergence of solutions of the Hartree equation to solutions of the nonlinear Schrödinger equation is proved. We also consider the case of mixed nonlinearities, proving local well-posedness in $s_c$ by considering the problem as a perturbation of the higher-order Hartree equation. In the particular case of the (defocusing) quintic-cubic Hartree equation, we also prove global well-posedness for all initial conditions in $H^1(\mathbb{T}^3)$. This is done by viewing it as a perturbation of the local quintic NLS.
