Defect Measure of Strong Compactness

• Defect measure of strong compactness is a quantitative tool that captures the gap between weak and strong convergence by isolating residual non-compactness in embeddings.
• In Sobolev and BV settings, profile decompositions and microlocal compactness forms reveal distinct concentration modes and asymptotic geometries that explain the failure of strong convergence.
• Energy-decoupling and norm-splitting methods are used to precisely measure the defect, ensuring that all mechanisms like oscillations, concentrations, and escapes to infinity are captured.

Defect measure of strong compactness denotes the quantitative object that records the gap between weak convergence and strong convergence for a non-compact embedding. For a continuous embedding $E\hookrightarrow F$ of Banach spaces and a bounded sequence $u_k\rightharpoonup u$ in $E$, the defect of compactness is the part of $u_k-u$ that fails to go to zero in $F$. In Sobolev theory this defect is expressed by a profile decomposition, while in microlocal and PDE settings it is encoded by a Radon or phase-space measure whose vanishing is equivalent to strong convergence (Skrzypczak et al., 2018, Rindler, 2012).

1. Abstract notion and profile-decomposition viewpoint

The basic definition is relative to an embedding $E\hookrightarrow F$. If $(u_k)$ is bounded in $E$ and

$u_k \rightharpoonup u \quad \text{weakly in } E,$

then the defect of compactness is the part of $u_k-u$ which fails to go to zero in $u_k\rightharpoonup u$0. In the presence of a profile decomposition one writes, for each finite $u_k\rightharpoonup u$1,

$u_k\rightharpoonup u$2

where $u_k\rightharpoonup u$3 is the weak limit in $u_k\rightharpoonup u$4, the terms $u_k\rightharpoonup u$5 are elementary concentrations built from concentration profiles $u_k\rightharpoonup u$6, and the remainder satisfies $u_k\rightharpoonup u$7 as $u_k\rightharpoonup u$8, uniformly in $u_k\rightharpoonup u$9. When the embedding is compact, one can choose the decomposition so that there are no nontrivial profiles and hence the entire defect vanishes (Skrzypczak et al., 2018).

This viewpoint is closely related to cocompactness. In the $E$0 setting one fixes a group $E$1 of linear isometries and calls a bounded sequence $E$2-vanishing if for every sequence of dislocations $E$3 one has $E$4. The embedding is cocompact with respect to $E$5 if $E$6-vanishing implies strong convergence in $E$7. In that framework, the defect of compactness is precisely the part that remains after all possible dislocations have been tested (Adimurthi et al., 2014).

A complementary formulation is available in $E$8-spaces through microlocal compactness forms. There, oscillations and concentrations precisely discriminate between weak and strong compactness, and the corresponding microlocal object vanishes if and only if the sequence converges strongly in $E$9 (Rindler, 2012).

2. Sobolev embeddings on manifolds with bounded geometry

A central instance is the subcritical Sobolev embedding on a smooth, complete Riemannian manifold $u_k-u$0 of bounded geometry. In one formulation, bounded geometry means that the injectivity radius $u_k-u$1 and all covariant derivatives of the curvature tensor are uniformly bounded. For $u_k-u$2 and

$u_k-u$3

the continuous embedding

$u_k-u$4

need not be compact on non-compact $u_k-u$5 (Skrzypczak et al., 2018).

The profile-decomposition theorem gives a complete description of the failure of compactness. Let $u_k-u$6 be bounded with $u_k-u$7. After extraction of a subsequence, there exist a countable family of points $u_k-u$8, with $u_k-u$9 an $F$0-discretization, such that for any $F$1,

$F$2

together with manifolds at infinity $F$3 of bounded geometry, nontrivial global profiles $F$4, and elementary concentrations $F$5 such that for every $F$6,

$F$7

where

$F$8

and the series $F$9 converges unconditionally in $E\hookrightarrow F$0, uniformly in $E\hookrightarrow F$1 (Skrzypczak et al., 2018).

In the Hilbertian case treated for $E\hookrightarrow F$2, $E\hookrightarrow F$3, the same structure appears with weak limit $E\hookrightarrow F$4, countably many discrete sequences $E\hookrightarrow F$5, manifolds at infinity $E\hookrightarrow F$6, global profiles $E\hookrightarrow F$7, and elementary concentrations $E\hookrightarrow F$8. For every finite $E\hookrightarrow F$9,

$(u_k)$0

with

$(u_k)$1

and

$(u_k)$2

(Skrzypczak et al., 2018).

The significance of this theorem is that the defect of strong compactness is not left as an unspecified failure of convergence. It is resolved into countably many asymptotically disjoint concentration modes, each attached to its own asymptotic geometry.

3. Manifolds at infinity and elementary concentrations

A distinctive feature of the manifold setting is that concentration profiles need not live on the original manifold $(u_k)$3. Each discrete sequence $(u_k)$4 escaping to infinity carries its own asymptotic chart-by-chart geometry, and this geometry is assembled into a new complete Riemannian manifold $(u_k)$5 of bounded geometry (Skrzypczak et al., 2018).

The construction proceeds by fixing a small radius $(u_k)$6 and a uniformly discrete lattice $(u_k)$7. For each $(u_k)$8, one lists the neighbours of $(u_k)$9 in increasing distance: $E$0 On overlapping balls $E$1 one has transition maps

$E$2

By bounded geometry one extracts a $E$3-convergent subsequence so that $E$4 in $E$5. The collection of domains $E$6 with gluing maps $E$7 satisfies the hypotheses of a standard manifold-gluing theorem, and their union is the new manifold $E$8, with coordinate charts $E$9 and transition functions $u_k \rightharpoonup u \quad \text{weakly in } E,$0. The metric on $u_k \rightharpoonup u \quad \text{weakly in } E,$1 is defined chartwise as the $u_k \rightharpoonup u \quad \text{weakly in } E,$2-limit of the pulled-back metrics on $u_k \rightharpoonup u \quad \text{weakly in } E,$3, so $u_k \rightharpoonup u \quad \text{weakly in } E,$4 again has bounded curvature and injectivity radius $u_k \rightharpoonup u \quad \text{weakly in } E,$5 (Skrzypczak et al., 2018).

The corresponding elementary concentration is obtained by “spotlighting” the local copies of the profile back into $u_k \rightharpoonup u \quad \text{weakly in } E,$6. With a trailing system of nearest-neighbour points $u_k \rightharpoonup u \quad \text{weakly in } E,$7, normal-coordinate charts

$u_k \rightharpoonup u \quad \text{weakly in } E,$8

and a partition of unity $u_k \rightharpoonup u \quad \text{weakly in } E,$9, one defines

$u_k-u$0

The profile $u_k-u$1 is therefore an honest Sobolev function on its own limit manifold, while $u_k-u$2 is the corresponding concentration mode on $u_k-u$3 (Skrzypczak et al., 2018).

This construction shows that the “location” of the defect is not only a sequence of points running off to infinity. It also includes an induced limit geometry, and different escaping sequences may generate different manifolds at infinity.

4. Quantitative measurement by norm splitting

The profile decomposition becomes a defect measure in a quantitative sense through energy-decoupling and norm-splitting identities. In the Hilbertian case $u_k-u$4, the decomposition yields a Plancherel-type inequality

$u_k-u$5

If one lets the remainder index $u_k-u$6, the tail $u_k-u$7 may be made arbitrarily small, recovering the orthogonality of energies of the profiles. At the same time, the Lebesgue norms satisfy a Brezis–Lieb-type relation: $u_k-u$8 In the special case $u_k-u$9, the first term drops out (Skrzypczak et al., 2018).

For the general $u_k\rightharpoonup u$00 theory, the corresponding energy-decoupling estimate is

$u_k\rightharpoonup u$01

while for each fixed $u_k\rightharpoonup u$02,

$u_k\rightharpoonup u$03

(Skrzypczak et al., 2018).

These identities provide the exact sense in which the defect is “measured.” The locations of defect are the sequences $u_k\rightharpoonup u$04 running off to infinity; the geometry of each concentration region is captured by $u_k\rightharpoonup u$05; and the strength of each defect is encoded by the Sobolev and Lebesgue norms of the corresponding profile. In this formulation, the embedding is compact exactly when all profiles vanish (Skrzypczak et al., 2018).

5. Measure-theoretic variants: $u_k\rightharpoonup u$06 and tensor-rectifiable defects

The defect-measure viewpoint is not confined to Sobolev embeddings on manifolds. In $u_k\rightharpoonup u$07, the non-compact embedding

$u_k\rightharpoonup u$08

admits a profile decomposition relative to the group of dyadic dilations and integer translations

$u_k\rightharpoonup u$09

If $u_k\rightharpoonup u$10 is bounded in $u_k\rightharpoonup u$11, then after passing to a subsequence there exist profiles $u_k\rightharpoonup u$12 and dislocation parameters $u_k\rightharpoonup u$13 satisfying

$u_k\rightharpoonup u$14

such that

$u_k\rightharpoonup u$15

with $u_k\rightharpoonup u$16, and

$u_k\rightharpoonup u$17

In this setting the total variation $u_k\rightharpoonup u$18 is the seminorm that carries the concentrations and defects (Adimurthi et al., 2014).

A different but explicitly measure-theoretic example arises for energies penalizing simultaneous oscillations in two independent directions. With $u_k\rightharpoonup u$19, $u_k\rightharpoonup u$20, and $u_k\rightharpoonup u$21, the failure of the decomposition $u_k\rightharpoonup u$22 with $u_k\rightharpoonup u$23 is measured by the mixed derivative

$u_k\rightharpoonup u$24

viewed as a distribution with values in $u_k\rightharpoonup u$25. Under the sole assumption $u_k\rightharpoonup u$26, $u_k\rightharpoonup u$27 extends to a finite Radon measure and satisfies

$u_k\rightharpoonup u$28

For $u_k\rightharpoonup u$29, $u_k\rightharpoonup u$30 is $u_k\rightharpoonup u$31-tensor-rectifiable, meaning that it is concentrated on a countable union of tensor-products of $u_k\rightharpoonup u$32- and $u_k\rightharpoonup u$33-planes. In the case $u_k\rightharpoonup u$34, $u_k\rightharpoonup u$35, and $u_k\rightharpoonup u$36, one recovers a 1-rectifiable defect: $u_k\rightharpoonup u$37 for a 1-rectifiable set $u_k\rightharpoonup u$38 and a Borel $u_k\rightharpoonup u$39 (Goldman et al., 2023).

These examples show that the phrase “defect measure” may designate either a structured family of elementary concentrations or an actual Radon measure. What remains invariant is the role: it captures all residual non-compactness once the weak limit has been removed.

6. Microlocal defect measures and phase-space formulations

Microlocal compactness forms provide a phase-space refinement of defect measurement for $u_k\rightharpoonup u$40-bounded sequences. For $u_k\rightharpoonup u$41, $u_k\rightharpoonup u$42 open and bounded, and a norm-bounded sequence $u_k\rightharpoonup u$43, one obtains, after passing to a subsequence,

$u_k\rightharpoonup u$44

characterized by the double-limit representation

$u_k\rightharpoonup u$45

Here $u_k\rightharpoonup u$46 captures oscillations at point $u_k\rightharpoonup u$47, while $u_k\rightharpoonup u$48, together with $u_k\rightharpoonup u$49, captures concentrations. The concentration measure may be chosen canonically as

$u_k\rightharpoonup u$50

The decisive criterion is: $u_k\rightharpoonup u$51 Thus $u_k\rightharpoonup u$52 is exactly the defect measure for strong compactness in $u_k\rightharpoonup u$53, and it unifies the information carried by generalized Young measures and $u_k\rightharpoonup u$54-measures (Rindler, 2012).

A related but more classical phase-space object is the microlocal defect measure used in high-frequency limits of PDEs. For a sequence $u_k\rightharpoonup u$55, one obtains a non-negative Radon measure

$u_k\rightharpoonup u$56

such that for every matrix-valued, order-zero pseudodifferential operator $u_k\rightharpoonup u$57,

$u_k\rightharpoonup u$58

In the Einstein-vacuum setting with $u_k\rightharpoonup u$59 symmetry and elliptic gauge, this measure is supported on the null-cone

$u_k\rightharpoonup u$60

and it obeys the transport equation

$u_k\rightharpoonup u$61

The effective stress-energy in the limit Einstein equations is

$u_k\rightharpoonup u$62

In this setting $u_k\rightharpoonup u$63 records the defect in

$u_k\rightharpoonup u$64

and its transport law identifies the limiting effective matter as massless Vlasov (Huneau et al., 2019).

Across these formulations, a common principle emerges. Strong compactness fails through oscillation, concentration, escape to infinity, or high-frequency propagation; the defect measure is the object that isolates these mechanisms, quantifies their size, and shows that no further hidden defect remains.