Archive: arxiv.org/abs/1801.09922
Primary text: arxiv.org/pdf/1801.09922
Consulted Definition5.1 and equation(47), printed pp19–20; section5.1 and Theorem5.1, printed pp21–22, compactness/lower-semicontinuity hypotheses for existence. PDF title page displays18December2017, whereas archive version1 was posted30January2018; these are distinct dates.