Profile decomposition modulo translations

ID: profile-decomposition-modulo-translations

Every bounded sequence in has, after passage to a subsequence, a decomposition
where for , the and gradient norms decouple asymptotically, and
for every .

New to topics? Read the docs here!