2026/07/23 by Bao Yu, Yang Zhou
#math.AP
Let n≥3 and 1<p<n. We first prove the local trace analogue of the sharp one-bubble critical-point stability theorem of Liu and Zhang~\citeLiuZhang2025: near a positive trace-bubble, the Euler--Lagrange residual controls the gradient distance to the normalized trace-bubble manifold with the sharp power max\1,p-1\. Then, we establish a Struwe-type compactness theorem for the critical trace functional, which gives the trace counterpart of the Mercuri--Willem decomposition~\citeMercuriWillem2010. Combining Struwe-type compactness with the local stability estimate yields a sharp quantitative one-bubble critical-point stability theorem.