Critical functions and asymptotics for fractional Hartree Brezis--Nirenberg problems in low dimensions

Abstract

We study the Brezis--Nirenberg problem for the fractional Laplacian with an upper critical Hartree nonlinearity on a bounded domain $Ω\subset\mathbb R^N$, in the low-dimensional range $2s<N<4s$. For a continuous potential $a$, we prove that the following properties are equivalent: the Robin function of $(-Δ)^s+a$ is negative somewhere in $Ω$; the associated Hartree--Sobolev quotient ${\mathcal S_{H,s}}(a)$ lies strictly below the best constant ${\mathcal S_{H,s}}$; and ${\mathcal S_{H,s}}(a)$ is attained. This leads to the notion of a critical potential, for which ${\mathcal S_{H,s}}(a)={\mathcal S_{H,s}}$ and every nontrivial decrease of $a$ lowers the infimum. For a critical potential $a$ and $V\in L^\infty(Ω)$, we determine the leading term in the asymptotics of ${\mathcal S_{H,s}}(a+\varepsilon V)$ as $\varepsilon\to0^+$ and describe the blow-up of almost-minimizers, including the concentration speed and the location of the concentration point. Compared with the Sobolev case, the nonlocal nonlinearity produces several new interaction terms; a key ingredient is a proof of non-attainment at the threshold based on the sharp Hardy--Littlewood--Sobolev inequality on the sphere.