Sharp thresholds for Escobar and Gagliardo-Nirenberg functionals: the Escobar-Willmore mass, geometric selection, and compactness trichotomy
Mayukh Mukherjee, Utsab Sarkar
TL;DR
The work provides a unified framework for sharp thresholds in boundary-critical variational problems, connecting the Escobar and GN problems through a transfer–quantization–reduction approach. Central to the analysis is a hemisphere threshold $S_* = C^*_{ ext{Esc}}(bS^n_+)$, augmented by a Willmore-type mass $ rak R_g$ that, together with the first-order coefficient $ ho_n^{ ext{conf}}$, governs where and how bubbles concentrate. A precise dichotomy is established: attainment or bubbling at threshold, with a hierarchy of obstructions ($ ho_n^{ ext{conf}}H_g$, $ rak R_g$, $ fth_g$) controlling first-, second-, and third-order effects; in higher dimensions, a multi-bubble center potential $\\mathcal W_k$ governs the arrangement of $k$ bubbles. The GN track yields analogous threshold phenomena and sharp constants linked to spectral and capacitary invariants, with quantified observability formulas enabling reconstruction of geometric data from boundary-bubble energies. These results yield a rich set of implications, including entropy inequalities for fast diffusion, curvature-driven nonlinear Schrödinger ground states, and, in dimension two, a link to Euler characteristic via GN measurements.
Abstract
We develop a unified quantitative framework for sharp threshold phenomena in boundary-critical variational problems on compact Riemannian manifolds, covering the Escobar quotient and Gagliardo-Nirenberg inequalities. Via transfer-stability-reduction, we obtain attainment-versus-bubbling alternatives, $H^1$-compactness, and finite-dimensional reductions. Geometric selection is governed by mean curvature $H_g$ and a Willmore-type anisotropy from $|\mathring{\mathrm{II}}|^2$. At hemisphere threshold $S_\ast=C^*_{\mathrm{Esc}}(\mathbb S^n_+)$ for $n\ge5$ on $H_g\equiv0$, we identify a renormalized boundary mass $\mathfrak R_g=κ_1(n)\,\mathrm{Ric}_g(ν,ν)+κ_2(n)\,\mathrm{Scal}_{g|\partial M}+κ_3(n)\,|\mathring{\mathrm{II}}|^2$, $κ_3(n)<0$, yielding one-bubble expansions and energy-only estimators. Threshold dichotomy: if the first nonvanishing coefficient among $\{ρ_n^{\mathrm{conf}}H_g,\mathfrak R_g,Θ_g\}$ is negative somewhere, then $C^*_{\mathrm{Esc}}(M,g)<S_\ast$ and sequences are precompact. At threshold, blow-up concentrates where $H_g$ is critical; on $H_g\equiv0$, stationarity forces $\mathfrak R_g(p)=\nabla_\partial\mathfrak R_g(p)=0$. If $H_g$ is Morse and $\mathfrak R_g>0$ at all critical points, no bubbling occurs. In multi-bubble regime ($n\ge5$), dynamics governed by $\mathcal W_k=\sum_{i=1}^k\mathfrak R_g(x_i)$ produce $k$-bubble critical points at levels $k^{1/(n-1)}S_\ast$. In the degenerate case we obtain conformal hemispherical rigidity. The GN track yields analogous dichotomies and resolves a question of Christianson et al.: the sharp constant with small Dirichlet windows diverges at optimal capacitary rate, relating threshold to spectral/isoperimetric invariants. Applications include entropy inequalities for fast diffusion, curvature-driven NLS ground states, and (in $n=2$) Euler characteristic recovery from GN measurements.