Lower semicontinuity and relaxation of nonlocal L^infty -functionals

Abstract

We study variational problems involving nonlocal supremal functionals L∞(Ω;Rm)∋u↦esssup(x,y)∈Ω×ΩW(u(x),u(y)),\\documentclass[12pt]{minimal}\t\t\t\t\\usepackage{amsmath}\t\t\t\t\\usepackage{wasysym}\t\t\t\t\\usepackage{amsfonts}\t\t\t\t\\usepackage{amssymb}\t\t\t\t\\usepackage{amsbsy}\t\t\t\t\\usepackage{mathrsfs}\t\t\t\t\\usepackage{upgreek}\t\t\t\t\\setlength{\\oddsidemargin}{-69pt}\t\t\t\t\\begin{document}$$\\begin{aligned} L^\\infty (\\Omega ;{\\mathbb {R}}^m) \\ni u\\mapsto \\mathrm{ess sup}_{(x,y)\\in \\Omega \\times \\Omega } W(u(x), u(y)), \\end{aligned}$$\\end{document}where Omega subset mathbb {R}^n is a bounded, open set and W:mathbb {R}^mtimes mathbb {R}^mrightarrow mathbb {R} is a suitable function. Motivated by existence theory via the direct method, we identify a necessary and sufficient condition for L^infty -weak^* lower semicontinuity of these functionals, namely, separate level convexity of a symmetrized and suitably diagonalized version of the supremands. More generally, we show that the supremal structure of the functionals is preserved during the process of relaxation. The analogous statement in the related context of double-integral functionals was recently shown to be false. Our proof relies substantially on the connection between supremal and indicator functionals. This allows us to recast the relaxation problem into characterizing weak^* closures of a class of nonlocal inclusions, which is of independent interest. To illustrate the theory, we determine explicit relaxation formulas for examples of functionals with different multi-well supremands.