On a finite measure space, a family is uniformly integrable exactly when it admits the displayed bound for some nonnegative increasing convex superlinear function . By the Dunford-Pettis theorem this ensures relative weak compactness in . For the sufficient direction, choose so for ; then gives uniform integrability. Conversely choose increasing thresholds so . The convex function is locally a finite sum, has uniformly bounded integrals by summing these tail estimates, and is superlinear because for its first terms sum to at least . This proves the criterion in both directions.
Choose increasing so whenever . Put for . This is nonnegative, increasing and convex. If terms are active, then for . For every fixed , gives , proving superlinearity. Thus a nonconvex superlinear energy lower bound still supplies the convex function needed in the De la Vallée-Poussin criterion. A continuous superlinear function not initially nonnegative can first have its finite global minimum subtracted.

Articles by others on the same topic (0)

There are currently no matching articles.