2021/09/16 by Mizuho Okumura, Okumura, Mizuho · 1 citation
Mathematics · #46B50 #46E35 #Analysis of PDEs (math.AP) #FOS: Mathematics #Functional Analysis (math.FA) #math.AP #math.FA #msc:46B50 #msc:46E35
paper · pdf · doi:10.48550/arxiv.2109.08176
version 3, 42 pages
arxiv created 2022/02/15 · arxiv updated 2022/02/16
The present paper is devoted to analysis of the lack of compactness of bounded sequences in inhomogeneous Sobolev spaces, where bounded sequences might fail to be compact due to an isometric group action, that is, translation. It will be proved that every bounded sequence (un) has (possibly infinitely many) profiles, and then the sequence is asymptotically decomposed into a sum of translated profiles and a double-suffixed residual term, where the residual term becomes arbitrarily small in appropriate Lebesgue or Sobolev spaces of lower order. To this end, functional analytic frameworks are established in an abstract way by making use of a group action G, in order to characterize profiles by (un) and G. One also finds that a decomposition of the Sobolev norm into profiles is bounded by the supremum of the norm of un. Moreover, the profile decomposition leads to results of decomposition of integral functionals of subcritical order. It is noteworthy that the space where the decomposition of integral functionals holds is the same as that where the residual term is vanishing.