Local compactness plus uniform tail control
ID: local-compactness-plus-uniform-tail-control
Suppose strongly in for every , and assume uniform tail controlThen and strongly in L2 space on the whole space. Local convergence and the tail bound first bound the global L2 norms; Fatou's lemma gives the same tail bound for . Splitting the error givesChoose to make the last two terms uniformly small, then increase . Local Rellich-Kondrachov compactness theorem arguments and a diagonal subsequence supply the first hypothesis in many Sobolev space problems; the tail condition rules out loss of compactness at infinity.
New to topics? Read the docs here!