On a finite-measure space, a bounded subset of is relatively weakly compact exactly when it is uniformly integrable. In particular every uniformly integrable bounded sequence has a weakly convergent subsequence. This is the compactness substitute for reflexivity at exponent one. A superlinear integral bound , with and , gives the required uniform integrability: for outside ,
Choose large and then the measure of small. This is the direction used in the direct method in the calculus of variations; a mere bounded norm does not suffice, as concentrating spikes show.
For a uniformly integrable bounded sequence of derivatives on a compact interval and a fixed initial value, its primitives are uniformly bounded and equicontinuous. The increment over any short interval is bounded by the integral of the absolute derivative on that interval. The Arzelà-Ascoli theorem gives relative uniform compactness. If the derivatives converge weakly in , tests by interval indicators identify every pointwise limit with . Hence every convergent subsequence has this same limit and the primitives converge uniformly. The limit belongs to and retains any common terminal value. Uniform integrability alone gives no essential-supremum bound on its derivative, so this compactness statement does not assert a Lipschitz limit.

Articles by others on the same topic (0)

There are currently no matching articles.