Abstract
We study variational problems involving nonlocal supremal functionals
where \(\Omega \subset \mathbb {R}^n\) is a bounded, open set and \(W:\mathbb {R}^m\times \mathbb {R}^m\rightarrow \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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Nonlocal functionals in the form of double integrals appear naturally in different applications; examples include peridynamics [13, 34, 47], image processing [16, 27] or the theory of phase transitions [20, 22, 46]. In the homogeneous case, separate convexity of the integrands has been identified as a necessary and sufficient condition for the weak lower semicontinuity of such functionals [14, 37, 39]. When it comes to relaxation, meaning the characterization of weak lower semicontinuous envelopes, though, the problem is still largely open. The difficulty lies in the fact that, counterintuitively, relaxation formulas in general cannot be obtained via separate convexification of the integrands, as explicit examples in [12, 14, 41] indicate. As first shown in [32], and with different techniques in [35], even a representation of the relaxation with a double integral of the same type is not always possible.
Inspired by these recent developments, as well as new models arising in the theory of machine learning (see e.g. [23]), this article addresses a related problem by discussing homogeneous supremal (or \(L^\infty \)-)functionals in the nonlocal setting, i.e.,
where \(\Omega \subset \mathbb {R}^n\) is a bounded, open set and \(W:\mathbb {R}^m\times \mathbb {R}^m\rightarrow \mathbb {R}\) is a given Borel function satisfying suitable further assumptions regarding continuity and coercivity. We contribute answers to two key questions, which are motivated by the existence theory for solutions to variational problems in form of the direct methods in the calculus of variations:
-
(Q1)
What are necessary and sufficient conditions on the supremand W for the (sequential) lower semicontinuity of J with respect to the natural topology, that is, the \(L^\infty \)-weak\(^*\) topology?
-
(Q2)
If J fails to satisfy the conditions resulting as an answer to (Q1), can we find an explicit representation of its relaxation, that is, of its \(L^\infty \)-weak\(^*\) (sequential) lower semicontinuous envelope?
Notice that in the context of this paper, the \(L^\infty \)-weak\(^*\) topology and the sequential one can always be used interchangeably, as the former admits a metrizable description on bounded sets; see Remark 1.2(a) for a more detail.
We point out that inhomogeneous versions of (1.1) appeared already in [26], and more lately in [28, 31]. Moreover, it is useful to observe that functionals of the type (1.1) share key features with two different classes of functionals that have been studied intensively in the literature, namely double-integral functionals mentioned already at the beginning, i.e.,
with \(p\in [1, \infty )\), and supremal functionals (or \(L^\infty \)-functionals), i.e.,
with a suitable function \(f:{\mathbb {R}}^m\rightarrow {\mathbb {R}}\); for more details and background on these two branches of research, including a list of references, we refer to Sects. 2.3 and 2.4. Borrowing and combining methods and techniques from these two fields, which are largely based on Young measure theory, equip us with quite a rich tool box for analyzing nonlocal supremal functionals. However, it will become clear in the following that, in order to settle the questions (Q1) and (Q2), new ideas are needed in addition.
A crucial realization is that the functional J in (1.1) remains unaffected by certain changes of W, beyond mere symmetrization. Indeed, replacing W with its diagonalized and symmetrized version \(\widehat{W}\) (see (7.1) along with Sect. 4 for the precise definition) still gives the same functional.
To understand better the role of diagonalization, it helps to take a different perspective on our nonlocal supremal functionals and to exploit their connection to the so-called nonlocal indicator functionals. These are double integrals over the characteristic function \(\chi _K\) for a compact set \(K\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\), i.e.,
By modification of a result due to Barron et al. [10, Lemma 1.4], we find that (Q1) and (Q2) for J in (1.1) are equivalent to studying the same questions for all indicator functionals associated with the sublevel sets of W, cf. Proposition 7.1. Then again, (1.2) is closely tied to nonlocal inclusions of the form
and (Q2) comes down to identifying the asymptotic behavior of \(L^\infty \)-weakly\(^*\) converging sequences subject to this type of constraint, which is also of independent interest. If we denote by \(\mathcal {A}_K\) the set of all functions in \(L^\infty (\Omega ;{\mathbb {R}}^m)\) satisfying (1.3), the task is to characterize the \(L^\infty \)-weak\(^*\) closure of \(\mathcal {A}_K\). In the classical local setting, that is, when (1.3) is changed into
it is well known that the \(L^\infty \)-weak\(^*\) limits of sequences with this property correspond to essentially bounded functions with values in the convex hull of A. In the nonlocal case, where one expects the separate convexification to take over the role of convexification in the local problem, things turn out to be a bit more subtle.
The reason lies in the special interaction between nonlocality and the pointwise constraint, which makes (1.3) substantially different from the classical case (1.4), as this simple example illustrates. If \(m=1\) and \(K=\{(1, 0), (-1,0), (0,1), (0,-1)\}\subset {\mathbb {R}}\times {\mathbb {R}}\), then \(\mathcal {A}_K=\emptyset \), cf. Example 4.1 and (5.2). For a general compact \(K\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\), we show in Proposition 5.1 that the nonlocal inclusion (1.3) is invariant under symmetrization and diagonalization of K, i.e.,
with
Based on this observation, we prove the following characterization of \(L^\infty \)-weak\(^*\) limits of sequences in \(\mathcal {A}_K\). Particularly, this result is one of the main ingredients for answering questions (Q1) and (Q2).
Theorem 1.1
Let \(K\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\) be compact, let \(\widehat{K}\) be the symmetric and diagonal version of K in the sense of (1.6), and let \(\widehat{K}^{\mathrm{sc}}\) be the separately convex hull of \(\widehat{K}\), see Definition 3.1 below. If \(m>1\), assume in addition that \(\widehat{K}^{\mathrm{sc}}\) is compact and that the symmetrization and diagonalization of \(\widehat{K}^{\mathrm{sc}}\) can be represented as the union of all cubes of the form \([\alpha , \beta ]\times [\alpha , \beta ]\) with \((\alpha , \beta )\in K\), cf. (5.17).
Then, the (sequential) \(L^\infty \)-weak\(^*\) closure of \(\mathcal {A}_K\) is given by \(\mathcal {A}_{\widehat{K}^{\mathrm{sc}}}\).
Remark 1.2
-
(a)
In light of the well-known fact that the \(L^\infty \)-weak\(^*\) topology is metrizable on bounded sets (see e.g. [24, A.1.5]), the compactness hypothesis on K in the above theorem guarantees the equivalence between the use of the \(L^\infty \)-weak\(^*\) topology and the corresponding sequential version.
-
(b)
Theorem 1.1 implies that \(\mathcal {A}_K\) is weakly\(^*\) closed if and only if
$$\begin{aligned} \widehat{\widehat{K}^{\mathrm{sc}}} = \widehat{K}, \end{aligned}$$(1.7)which, in the scalar case \(m=1\), is equivalent to the separate convexity of \(\widehat{K}\), cf. Corollary 5.10. Notice that this necessary and sufficient condition is strictly weaker than requiring that K is separately convex.
-
(c)
As an immediate corollary of Theorem 1.1, we obtain that the relaxation of the indicator functional (1.2) is given by
$$\begin{aligned} L^\infty (\Omega ;{\mathbb {R}}^m)\ni u\mapsto \int _\Omega \int _\Omega \chi _{\widehat{K}^{\mathrm{sc}}}(u(x), u(y))\,dx \,dy; \end{aligned}$$in particular, (1.2) is \(L^\infty \)-weak\(^*\) lower semicontinuous if and only if (1.7) holds, cf. Corollary 6.1.
The proof of Theorem 1.1 relies on a series of auxiliary results. With (1.5) established in Proposition 5.1, an argument based on pointwise approximation by piecewise constant functions allows us to deduce a refined representation of elements \(\mathcal {A}_K\), saying that for each \(u\in \mathcal {A}_K\) there exists a Cartesian product \(A\times A\subset K\) with \(A\subset {\mathbb {R}}^m\) such that \(u\in \mathcal {A}_{A\times A}\), see Proposition 5.6. Another important ingredient in the case \(m=1\) is a characterization of the separately convex hull of \(\widehat{K}\), which can be shown to have a particularly simple form. In fact, \(\widehat{K}^{\mathrm{sc}}\) is the union of all squares in \({\mathbb {R}}\times {\mathbb {R}}\) whose corners are extreme points (in the sense of separate convexification of) \(\widehat{K}\), for details see Corollary 4.12. In higher dimensions, the analogous statement, which could be viewed as a Caratheodory type formula, is in general false (cf. Remark 4.8c); the required extra assumptions on \(\widehat{K}^{\mathrm{sc}}\) if \(m>1\) are introduced to compensate for this. Combining all the previous arguments reduces the proof of Theorem 1.1 to the case when K takes the form of a Cartesian product in \({\mathbb {R}}^m\times {\mathbb {R}}^m\). Under this assumption, the desired \(L^\infty \)-weak\(^*\) approximation of \(u\in \mathcal {A}_{K^{\mathrm{sc}}}\) follows from an explicit construction of periodically oscillating sequences, see Lemma 5.8. Alternatively, one could use a more abstract approach via Young measures generated by sequences that satisfy an approximate nonlocal constraint, together with a projection step to enforce the exact nonlocal inclusion (1.3), cf. Proposition 5.11.
Conceptually, the study of nonlocal inclusions as in (1.3) shows close parallels with the field of differential inclusions, dealing with problems such as
for \(u\in W^{1, \infty }(\Omega ;{\mathbb {R}}^m)\) (see e.g. [21, 44] and the references therein), and compensated compactness theory [38, 48]; notice that the latter deal with problems that are all local in nature. The overall challenge is to capture the interplay between pointwise constraints and the structural properties of the vector fields, whether they are gradients, or more generally, \(\mathcal {A}\)-free fields with some differential operator \(\mathcal {A}\), or, like here, nonlocal vector fields of the form (2.6). Yet, besides these conceptual parallels, nonlocality creates effects that are not typically encountered in local problems, as for instance (1.5) indicates.
In generalization of Theorem 1.1, we characterize the set of Young measures generated by nonlocal vector fields associated with uniformly bounded sequences \((u_j)_j\subset L^\infty (\Omega ;{\mathbb {R}}^m)\), cf. (2.6); indeed, if \((u_j)_j\) generates the Young measure \(\nu =\{\nu _x\}_{x\in \Omega }\), the sought-after set consists of all the product measures \(\Lambda =\{\Lambda _{(x,y)}\}_{(x,y)\in \Omega \times \Omega } = \{\nu _x\otimes \nu _y\}_{(x,y)\in \Omega \times \Omega }\) with \(\mathrm{supp\,} \Lambda \) contained almost everywhere in a Cartesian subset of K, see Theorem 5.12 for the precise statement. Interpreted in the context of indicator functionals, the latter yields a Young measure relaxation result for a class of unbounded functionals (defined precisely in (6.6)), extending part of a recent work by Bellido and Mora-Corral [12, Section 6], cf. Sect. 6.2.
The next theorem collects the main results of this paper regarding nonlocal supremal functionals. In contrast to the theory of double-integral functionals, we show here that relaxation of nonlocal supremal functionals is structure preserving, in the sense that it is again of nonlocal supremal type. For simplicity, we formulate the result here in the scalar case; for the extension to the vectorial setting (under additional conditions), we refer to Corollary 7.2 and Remark 7.6.
Theorem 1.3
Let J be as in (1.1) and \(W:{\mathbb {R}}\times {\mathbb {R}}\rightarrow {\mathbb {R}}\) be lower semicontinuous and coercive, i.e., \(W(\xi , \zeta )\rightarrow \infty \) as \(|(\xi , \zeta )|\rightarrow \infty \).
-
(i)
The functional J is \(L^\infty \)-weakly\(^*\) lower semicontinuous if and only if \(\widehat{W}\) is separately level convex, where \(\widehat{W}\), defined in (7.1), is the density resulting from diagonalization and symmetrization of W.
-
(ii)
The relaxation \(J^{\mathrm{rlx}}\) of J is given by the nonlocal supremal functional of the form (1.1) with supremand \(\widehat{W}^{\mathrm{slc}}\), which is the separately level convex envelope of \(\widehat{W}\).
Referring back to the beginning of the introduction, we stress the link between nonlocal supremal functionals and nonlocal double-integral functionals via \(L^p\)-approximation; if \(W=\widehat{W}\) is separately level convex, this can be made rigorous by imitating the arguments by Champion, De Pascale & Prinari in [19, Theorem 3.1].
As an outlook on interesting future research beyond the scope of this work, we would like to mention in particular the proof of a characterization result for the \(L^\infty \)-weak\(^*\) closure of \(\mathcal {A}_K\) in general dimensions without extra assumptions on K, or the extension to our theory to inhomogeneous nonlocal functionals.
The paper is organized as follows. First, we collect some preliminaries in Sect. 2; these include subsections on frequently used notation, auxiliary results for Young measures, as well as background on the theories of both supremal and nonlocal double-integral functionals. After introducing and discussing the notion of separate level convexity in Sect. 3, we investigate the interaction of separate convexification of sets with their diagonalization and symmetrization in Sect. 4. In Sect. 5, we turn to the analysis of nonlocal inclusions; more precisely, Sect. 5.1 provides alternative representations of \(\mathcal {A}_K\), Sect. 5.2 contains the proof of Theorem 1.1, and Sect. 5.3 is concerned with the characterization of Young measures generated by sequences of nonlocal vector fields. In Sect. 6, we reformulate the insights about nonlocal inclusions in terms of nonlocal indicator functionals (see Sects. 6.1 and 6.2), and discuss the connection between different notions of nonlocal convexity for extended-valued functionals (see Sect. 6.3). The main theorems on lower semicontinuity and relaxation of nonlocal supremal functionals, which address the questions (Q1) and (Q2), are established in Sect. 7. To illustrate the theory, we finally present a few examples of nonlocal supremal functionals with different multiwell supremands in Sect. 7.2, and determine explicitly the corresponding relaxation formulas.
2 Preliminaries
In this section, we fix notations and recall some well-known results that will be exploited in the remainder of the paper.
2.1 Notation
In the following, m and n are natural numbers. For any vector \(\xi \in \mathbb {R}^m\), let \(\xi _i\), \(i=1,\dots , m\), denote its components, and \(|\xi |= (\sum _{i=1}^m\xi _i^2)^{\frac{1}{2}}\) its Euclidean norm. By \(B_r(\xi )\), we denote the closed (Euclidean) ball centered in \(\xi \in {\mathbb {R}}^m\) with radius \(r>0\). For two vectors \(\alpha , \beta \in {\mathbb {R}}^m\), we introduce the generalized closed interval
and analogously, the open and half open segments \([\alpha , \beta [\), \(]\alpha , \beta ]\), and \(]\alpha , \beta [\); moreover, let us define
Our notation for the complement of a set \(A\subset {\mathbb {R}}^{m}\) is \(A^c={\mathbb {R}}^{m}\setminus A\), whilst \(A^{\mathrm{co}}\) stands for the convex hull of A. Moreover, we denote the characteristic function of \(A\subset {\mathbb {R}}^m\) in the sense of convex analysis by \(\chi _A\) and the indicator function of A by \(\mathbb {1}_A\), i.e.
The distance from a point \(\beta \in \mathbb {R}^m\) to a set \(A \subset \mathbb {R}^m\) is \(\mathrm{dist}(\beta , A):=\inf _{\alpha \in A}|\alpha -\beta |\), and the Hausdorff distance between two non-empty sets \(A, B \subset {\mathbb {R}}^m\) is given by
Further, we denote by \({\mathbb {R}}_\infty \) the set \({\mathbb {R}}\cup \{\infty \}\). For every \(c \in \mathbb {R}\) and every function \(f:\mathbb {R}^m \rightarrow \mathbb {R}_\infty \),
is the sublevel set of f at level c.
Let \(E\subset A\times A\) with \(A \subset \mathbb {R}^m\); then \(\pi _1(E)\) and \(\pi _2(E)\) stand for the the projection of E onto the first and second component, respectively, that is
To denote the sections of E in the first and second argument at \(\beta \in A\), we use a notation with letters in Frakture, precisely,
If E is symmetric, meaning \(E=E^T\) with \(E^T:=\{(\alpha , \beta )\in A\times A: (\beta ,\alpha )\in E\}\), then \(\pi _1(E) = \pi _2(E)\) and \(\mathfrak {E}_1^\beta =\mathfrak {E}_2^\beta \) for all \(\beta \in A\), and we simply write \(\pi (E)\) and \(\mathfrak {E}^\beta \).
Notice that throughout the manuscript, we use the identification \({\mathbb {R}}^m\times {\mathbb {R}}^m\cong {\mathbb {R}}^{2m}\) without explicit mention.
Let \(C_0({\mathbb {R}}^m)\) be the closure with respect to the maximum norm of the space of smooth, real-valued functions on \({\mathbb {R}}^n\) with compact support. By the Riesz representation theorem (see e.g. [2, Theorem 1.54]), the dual space of \(C_0({\mathbb {R}}^m)\) can be identified via the duality pairing \(\langle \mu , \varphi \rangle = \int _{{\mathbb {R}}^m} \varphi (\xi )\, d\mu (\xi )\) with the space \(\mathcal {M}({\mathbb {R}}^m)\) of finite signed Radon measures on \({\mathbb {R}}^m\).
For the class of probability measures defined on the Borel sets of \({\mathbb {R}}^m\), we write \(\mathcal {P}r({\mathbb {R}}^m)\). The barycenter of \(\mu \in \mathcal {P}r({\mathbb {R}}^m)\) is defined by
and \(\mathrm{supp \,\mu }\) stands for the support of \(\mu \).
If \(f: {\mathbb {R}}^m\rightarrow {\mathbb {R}}\) and \(\mu \) is a probability measure, or more generally, a positive measure, on the Borel sets of \({\mathbb {R}}^m\), the \(\mu \)-essential supremum of f over the set \(A\subset {\mathbb {R}}^m\) is defined as
We use the notation \(\nu \otimes \mu \) to denote the product measure of two measures \(\nu \) and \(\mu \). By U we denote a generic measurable (Lebesgue or Borel) subset of \(\mathbb {R}^m\). The Lebesgue measure of a Lebesgue measurable set \(U\subset \mathbb {R}^n\) is denoted by \({\mathcal {L}}^n(U)\). We skip the Lebesgue measure symbol \(\mathcal {L}^n\) whenever it is clear from the context, for example, we often write simply ‘a.e. in U’ instead of ‘\(\mathcal {L}^n\)-a.e. in U’.
Unless mentioned otherwise, \(\Omega \) is always a non-empty, open and bounded subset of \(\mathbb {R}^n\). We use standard notation for \(L^p\)-spaces with \(p\in [1,\infty ]\); in particular, for a sequence of functions \((u_j)_j\subset L^p(\Omega ;{\mathbb {R}}^m)\) and \(u\in L^p(\Omega ;{\mathbb {R}}^m)\), we write \(u_j\rightharpoonup u\) in \(L^p(\Omega ;{\mathbb {R}}^m)\) with \(p\in [1, \infty )\) and \(u_j \rightharpoonup ^*u\) in \(L^\infty (\Omega ;{\mathbb {R}}^m)\) to express weak and weak\(^*\) convergence of \((u_j)_j\) to u, respectively. In the following, we often deal with functions \(u \in L^p(\Omega ;{\mathbb {R}}^m)\) and their composition with Borel measurable functions \(f:{\mathbb {R}}^m\rightarrow {\mathbb {R}}\). The \(\mathcal {L}^n\)-essential supremum of f(u), whenever f is non-negative, corresponds to the \(L^\infty \)-norm of f(u). Depending on the context, we write either \(\mathcal {L}^n\text {-}\mathop {\mathrm{ess\, sup }}_{x\in \Omega } f(u(x))\), \(\Vert f(u)\Vert _{L^\infty (\Omega )}\), or simply, \(\mathop {\mathrm{ess\, sup }}_{x\in \Omega } f(u(x))\).
2.2 Young measures
Young measures are an important technical tool in nonlinear analysis, as they encode refined information on the oscillation behavior of weakly converging sequences. To make this article self-contained, we briefly recall some basics from this theory, focusing on what will be used in the sequel. For a more detailed introduction to the topic, we refer to the broad literature, e.g. [24, Chapter 8], [40, 44, Section 4].
Let \(U\subset \mathbb {R}^n\) be a Lebesgue measurable set with finite measure. By definition, a Young measure \(\nu =\{\nu _x\}_{x\in U}\) is an element of the space \(L^\infty _w(U;\mathcal {M}({\mathbb {R}}^m))\) of essentially bounded, weakly\(^*\) measurable maps \(U\rightarrow \mathcal {M}({\mathbb {R}}^m)\), which is isometrically isomorphic to the dual of \(L^1(U;C_0({\mathbb {R}}^m))\), such that \(\nu _x:=\nu (x) \in \mathcal {P}r({\mathbb {R}}^m)\) for \(\mathcal {L}^n\)-a.e. \(x \in U\). One calls \(\nu \) homogeneous if there is a measure \(\nu _0 \in \mathcal {P}r(\mathbb {R}^m)\) such that \(\nu _x = \nu _0\) for \(\mathcal {L}^n\)- a.e. \(x \in U\).
A sequence \((z_j)_j\) of measurable functions \(z_j: U\rightarrow {\mathbb {R}}^m\) is said to generate a Young measure \(\nu \in L^\infty _w(U;\mathcal {P}r({\mathbb {R}}^m))\) if for every \(h \in L^1(U)\) and \(\varphi \in C_0({\mathbb {R}}^m)\),
or \(\varphi (z_{j})\overset{*}{\rightharpoonup } \langle \nu _x,\varphi \rangle \) for all \(\varphi \in C_0(\mathbb {R}^m)\); in formulas,
The following result is often referred to as the fundamental theorem for Young measures, see e.g. [5, 24, Theorems 8.2 and 8.6], [44, Theorem 4.1, Proposition 4.6].
Theorem 2.1
Let \((z_j)_j \subset L^p(U;{\mathbb {R}}^m)\) with \(1\le p\le \infty \) be a uniformly bounded sequence. Then there exists a subsequence of \((z_{j})_j\) (not relabeled) and a Young measure \(\nu \in L_w^\infty (U;\mathcal {M}({\mathbb {R}}^m))\) such that \(z_j{\mathop {\longrightarrow }\limits ^{YM}} \nu \). Moreover,
-
(i)
for any continuous integrand \(f : \mathbb {R}^m \rightarrow {\mathbb {R}}\) with the property that \(\bigl (f(z_j)\bigr )_j\subset L^1(U)\) is equiintegrable, it holds that
$$\begin{aligned} f(z_j)\rightharpoonup \int _{\mathbb {R}^m}f(\xi ) \,d\nu (\xi ) = \langle \nu , f\rangle \quad \hbox { in }L^1(U); \end{aligned}$$ -
(ii)
for any lower semicontinuous \(f : \mathbb {R}^m \rightarrow {\mathbb {R}}_\infty \) bounded from below,
$$\begin{aligned} \liminf _{j\rightarrow \infty }\int _U f(z_{j} (x)) \,dx \ge \int _{U}\int _{\mathbb {R}^m}f(\xi ) d\nu _x(\xi )\,dx = \int _U \langle \nu _x, f\rangle \, dx; \end{aligned}$$ -
(iii)
if \(K \subset \mathbb {R}^m\) is a compact subset, then \(\mathrm{supp\,} \nu _x \in K\) for \(\mathcal {L}^n\)-a.e. \(x \in U\) if and only if \(\mathrm{dist} (z_j, K)\rightarrow 0\) in measure.
In particular, if \((z_j)_j \subset L^p(U;{\mathbb {R}}^m)\) generates a Young measure \(\nu \) and converges weakly(\(^*\)) in \(L^p(U;{\mathbb {R}}^m)\) to a limit function u, then \([\nu _x] = \langle \nu _x, \mathrm{id}\rangle = u(x)\) for \(\mathcal {L}^n\)-a.e. \(x\in U\).
With the aim of analyzing nonlocal problems, we associate with any function \(u\in L^1(\Omega ;{\mathbb {R}}^m)\) the vector field
The following lemma, which was established by Pedregal in [39, Proposition 2.3], gives a characterization of Young measures generated by sequences of such nonlocal vector fields.
Lemma 2.2
Let \((u_j)_j \subset L^p(\Omega ;{\mathbb {R}}^m)\) with \(1 \le p\le \infty \) be uniformly bounded and generate a Young measure \(\nu =\{\nu _x\}_{x\in \Omega }\), and let \(\Lambda = \{\Lambda _{(x,y)}\}_{(x, y)\in \Omega \times \Omega }\) be a family of probability measures on \(\mathbb {R}^m \times \mathbb {R}^m\).
Then \(\Lambda \) is the Young measure generated by the sequence \((v_{u_j})_j\subset L^p(\Omega \times \Omega ;{\mathbb {R}}^m\times {\mathbb {R}}^m)\) defined according to (2.6) if and only if
and
2.3 Supremal functionals and level convexity
Next, we collect some basic properties and useful results from the theory of supremal functionals, i.e., functionals \(F:L^\infty (\Omega ;\mathbb {R}^m) \rightarrow {\mathbb {R}}_\infty \) given by
where \(f:\mathbb {R}^m \rightarrow {\mathbb {R}}_\infty \) is a Borel measurable function bounded from below. For the relevance of \(L^\infty \)-functionals in optimal control and optimal transport problems, see [6, 7] and the references therein; applications in the context of materials science can be found e.g. in [15, 25, 29].
Barron and Jensen in [8] and Barron and Liu in [11] were the first to study necessary and sufficient conditions of supremal functionals as F in (2.7). Assuming that \(\Omega \subset {\mathbb {R}}\) is an interval, they proved that F is sequentially \(L^\infty \)-weakly\(^*\) lower semicontinuous if and only if the supremand f is level convex and lower semicontinuous. The same statement holds for general \(\Omega \subset {\mathbb {R}}^n\); see [1, Theorem 4.1], as well as [10, 42].
Definition 2.3
A function \(f: \mathbb {R}^m \rightarrow {\mathbb {R}}_\infty \) is called level convex if all level sets of f, that is, \(L_c(f) = \{\xi \in {\mathbb {R}}^m: f(\xi )\le c\}\) with \(c\in {\mathbb {R}}\), are convex sets.
Note that level convexity is known in the literature on operational research and convex analysis as quasiconvexity, see e.g. [33]. To avoid ambiguity with the notion introduced by Morrey [36] in the context of integral functionals, we have chosen here to use the same terminology as in [1].
The following lemma provides different characterizations of level convexity, in particular, in terms of a supremal Jensen type inequality. It can be found e.g. in [6, Theorem 30] (under additional lower semicontinuity hypotheses) and partially in [9, Lemma 2.4] and [10, Theorem 1.2]; see also [43, Definition 2.1 and Theorem 2.4] for a statement in wider generality.
Lemma 2.4
Let \(f:\mathbb R^m \rightarrow {\mathbb {R}}_\infty \) be a Borel measurable function. Then the following statements are equivalent:
-
(i)
f is level convex;
-
(ii)
for every \(\xi , \zeta \in \mathbb {R}^m\) and \(t \in [0, 1]\) it holds that
$$\begin{aligned} f(t\xi + (1-t)\zeta ) \le \max \{f(\xi ), f(\zeta )\}; \end{aligned}$$ -
(iii)
for any open set \(\Omega \subset {\mathbb {R}}^n\) with \(\mathcal {L}^n(\Omega )<\infty \) and every \(\varphi \in L^1(\Omega ;{\mathbb {R}}^m)\) one has that
$$\begin{aligned} f\left( \frac{1}{\mathcal {L}^n(\Omega )}\int _{\Omega }\varphi \,dx \right) \le \mathop {\mathrm{ess\, sup }}_{x \in \Omega }f(\varphi (x)); \end{aligned}$$ -
(iv)
for every \(\mu \in \mathcal {P}r({\mathbb {R}}^m)\),
$$\begin{aligned} f([\mu ]) \le \mu \text {-}\mathop {\mathrm{ess\, sup }}_{\xi \in {\mathbb {R}}^m} f(\xi ). \end{aligned}$$
The following auxiliary result is a slight modification of [6, Theorem 34] and is based on \(L^p\)-approximation in combination with the lower semicontinuity type result for Young measure in Theorem 2.1.
Lemma 2.5
Let \(f:{\mathbb {R}}^m\rightarrow {\mathbb {R}}_\infty \) a lower semicontinuous function bounded from below. Further, let \((u_j)_j\) be a uniformly bounded sequence of functions in \(L^\infty (\Omega ;\mathbb {R}^m)\) generating a Young measure \(\nu =\{\nu _x\}_{x\in \Omega }\). Then,
where \(\bar{f}(x) := \nu _x\text {-}\mathop {\mathrm{ess\, sup }}_{\xi \in {\mathbb {R}}^m} f(\xi ) \) for \(x\in \Omega \).
Proof
We give the details here for the reader’s convenience, referring to [6] for the original proof. Up to a translation argument, there is no loss of generality in assuming that f is non-negative.
Let \(\varepsilon >0\) be fixed, and choose a set \(S\subset \Omega \) with positive Lebesgue measure such that \(\bar{f}(x)\ge \Vert \bar{f}\Vert _{L^\infty (\Omega )}-2\varepsilon \) for all \(x\in S\). Next, we show that there exists a measurable subset \(S'\subset S\) with \(\mathcal {L}^n(S')>0\) such that
for all \(x\in S'\) and \(p>1\) sufficiently large. Indeed, with
for \(j \in \mathbb {N}\), one has that \(S= \bigcup _{j=1}^\infty S_j\). Since \(\mathcal {L}^N(S) > 0\), there must be at least one \(j'\) for which \(\mathcal {L}^N(S_{j'}) > 0\), and setting \(S' := S_{j'}\) shows (2.8).
We take the inequality in (2.8) to the pth power and integrate over \(S'\). Along with Theorem 2.1 (ii), it follows that
Hence,
for \(p>1\) sufficiently large. Letting \(p\rightarrow \infty \) and recalling that \(\varepsilon >0\) is arbitrary concludes the proof. \(\square \)
2.4 Double-integral functionals and separate convexity
This subsection presents some preliminaries on nonlocal integral functionals, see also [41] for a recent overview article. For \(p >1\), consider a double-integral functional \(I: L^p(\Omega ;{\mathbb {R}}^m)\rightarrow {\mathbb {R}}\),
where \(W:{\mathbb {R}}^m\times {\mathbb {R}}^m\rightarrow {\mathbb {R}}\) is a continuous function that is bounded from below and has standard p-growth.
In 1997, Pedregal [39] gave the first necessary and sufficient condition for \(L^p\)-weak lower semicontinuity of I in the scalar case \(m=1\). This condition was quite implicit, but could be shown to be equivalent to the separate convexity of the integrand W a decade later by Bevan and Pedregal [14]. Also in the vectorial case, W being separately convex is the characterizing property to ensure weak lower semicontinuity of I, as Muñoz proved in [37]; the latter is formulated in the gradient setting, using \(W^{1,p}\)-weak convergence of scalar valued functions, but the statement and the ideas of the proof carry over to functionals of the form (2.9), cf. [41]. Results about inhomogeneous double-integral functionals, meaning with integrands W depending also explicitly on \(x, y\in \Omega \), can be found e.g. in [12, 37, 41].
Definition 2.6
We call a function \(W:\mathbb {R}^m \times \mathbb {R}^m \rightarrow {\mathbb {R}}_\infty \) separately convex (with vectorial components) if for every \(\xi \in \mathbb {R}^m\), the functions \(W(\cdot , \xi )\) and \(W(\xi ,\cdot )\) are convex.
Besides our terminology, which is inspired by [21], other names for separate convexity are common in the literature, such as orthogonal convexity, directional convexity or bi-convexity; see [4], for the first detailed treatment of the subject.
As discussed recently in [12], there are different ‘nonlocal’ definitions of convexity related to the weak lower semicontinuity of I, which coincide under suitable assumptions. In Sect. 6, we extend the discussion of these notions to the context of unbounded functionals.
It was observed in [39, p. 1383] that for \(W:\mathbb {R}\times \mathbb {R} \rightarrow {\mathbb {R}}\) continuous and bounded from below, separate convexity of W can equivalently be characterized by a separate Jensen’s inequality. In view of [18, Theorem 4.1.4], this statement can easily be generalized to extended-valued, lower semicontinuous functions defined on \({\mathbb {R}}^m\times {\mathbb {R}}^m\) as follows.
Lemma 2.7
Let \(W:\mathbb {R}^m \times \mathbb {R}^m \rightarrow {\mathbb {R}}_\infty \) be lower semicontinuous and bounded from below, then W is separately convex if and only if
for any \(\mu , \nu \in \mathcal {P}r({\mathbb {R}}^m)\).
Proof
Assuming first that W is separately convex, to obtain (2.10), it suffices now to apply Jensen’s inequality in the version of [18, Theorem 4.1.4] twice; first with the integrand \(W(\cdot , \xi )\) for \(\mu \)-a.e. \(\xi \in {\mathbb {R}}^m\), and then with \(W([\nu ], \cdot )\).
The fact that (2.10) yields separate convexity of W follows after choosing \(\mu \) and \(\nu \) to be convex combinations of Dirac measures. \(\square \)
The question of relaxation of functionals I as in (2.9) for which the density W fails to be separately convex is still mostly open. It may seem counter-intuitive, but there are examples [12, 14, 41] indicating that separate convexification of W does in general not give rise to the right candidate for the weakly lower semicontinuous envelope of I. Even more remarkably, as recently proven in [32, 35], relaxation in the weak \(L^p\)-topology of double-integrals functionals cannot always be expected to be structure-preserving. In the context of Young measures, we refer to [12] for a relaxation result with respect to the narrow convergence.
3 Separate level convexity
In this section, we introduce the notion of separate level convexity, and show that it provides a sufficient condition for the \(L^\infty \)-weak\(^*\) lower semicontinuity of nonlocal supremal functionals as in (1.1).
Before doing so, let us specify what we mean by separate convexity with vectorial components (in the sequel, just referred to as separate convexity) of subsets of \({\mathbb {R}}^m\times {\mathbb {R}}^m\).
For \(m=1\), this definition reduces to classical separate convexity in the sense of [21, Proposition 7.5 and Definition 7.13].
Definition 3.1
(Separate convexity (with vectorial components) of sets) A set \(E\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\) is called separately convex, if for every \(t\in (0,1)\) and every \((\xi _1, \zeta _1), (\xi _2, \zeta _2)\in E\) such that \(\xi _1=\xi _2\) or \(\zeta _1=\zeta _2\) it holds that
The separately convex hull of E, denoted by \(E^{\mathrm{sc}}\), is defined as the smallest separately convex set in \(\mathbb {R}^m\times {\mathbb {R}}^m\) containing E.
The separately convex hull of \(E\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\) can be characterized by
with \(E_0^{\mathrm{sc}} = E\) and for \(i\in \mathbb {N}\),
cf. [21, Theorem 7.17].
Remark 3.2
It is clear by the construction in (3.1) and (3.2) that if E is open, then so is \(E^{\mathrm{sc}}\). While compactness of E is preserved under separate convexifications in the two-dimensional setting (i.e. if \(m=1\)) as stated in [30, Proposition 2.3], this is in general not true for \(m>1\) [21, Remark 7.18 (ii)]; more details on the latter are given in [4, 30].
Definition 3.3
(Separate level convexity (with vectorial components) of functions) We call a function \(W: \mathbb {R}^m\times \mathbb {R}^m \rightarrow {\mathbb {R}}_\infty \) separately level convex if all level sets of W, i.e. the sets \(L_c(W) = \{(\xi ,\eta )\in \mathbb {R}^m\times \mathbb {R}^m: W(\xi ,\eta )\le c\}\) with \(c\in {\mathbb {R}}\), are separately convex.
Furthermore, \(W^{\mathrm{slc}}\) stands for the separately level convex envelope of W, that is, the largest separately level convex function below W.
Remark 3.4
-
(a)
An equivalent way of expressing separate level convexity of \(W:\mathbb {R}^m \times \mathbb {R}^m\rightarrow {\mathbb {R}}_\infty \) is that for every \(\xi , \zeta \in {\mathbb {R}}^m\), the functions \(W(\xi , \cdot ), W(\cdot , \zeta ):{\mathbb {R}}^m\rightarrow {\mathbb {R}}_\infty \) are level convex.
-
(b)
In view of the above definitions, we observe that
$$\begin{aligned} L_c(W^{\mathrm{slc}}) \supset L_c(W)^{\mathrm{sc}} \hbox { for any }c \in \mathbb {R}. \end{aligned}$$(3.3)In general, equality in (3.3) is not true as the example
$$\begin{aligned} \mathbb {R}\times \mathbb {R} \ni (\xi , \zeta )\mapsto W(\xi ,\zeta )=\left\{ \begin{array}{ll}|(\xi , \zeta )| &{}\hbox { if } (\xi ,\zeta )\ne (0,0), \\ 1 &{}\hbox { if }(\xi ,\zeta )=(0,0), \end{array}\right. \end{aligned}$$shows. Here, \(L_0(W^{\mathrm{slc}}) = \{0\}\), whereas \(L_0(W)^{\mathrm{sc}} = \emptyset \). Under additional assumptions, equality in (3.3) is nevertheless true, cf. (7.6).
The following lemma collects a number of different representations of separate level convexity.
Lemma 3.5
Let \(W:{\mathbb {R}}^m\times {\mathbb {R}}^m\rightarrow {\mathbb {R}}_\infty \) be Borel measurable. Then the following statements are equivalent:
-
(i)
W is separately level convex;
-
(ii)
for every \(\xi _1, \xi _2, \zeta _1, \zeta _2 \in \mathbb {R}^m\) and \(t, s \in [0, 1]\) one has that
$$\begin{aligned} W(t\xi _1 + (1-t)\xi _2, s\zeta _1+(1-s) \zeta _2)&\le \max _{i,j\in \{1,2\}} W(\xi _i,\zeta _j); \end{aligned}$$ -
(iii)
for any open \(\Omega \subset {\mathbb {R}}^n\) with \(\mathcal {L}^n(\Omega )<\infty \) and all \(\varphi , \psi \in L^1(\Omega ;\mathbb {R}^m)\),
$$\begin{aligned} W\Bigl (\frac{1}{\mathcal {L}^n(\Omega )}\int _{\Omega }\varphi \,dx, \frac{1}{\mathcal {L}^n(\Omega )}\int _{\Omega }\psi \,dy \Bigr ) \le \mathop {\mathrm{ess\, sup }}_{(x,y) \in \Omega \times \Omega }W(\varphi (x),\psi (y)); \end{aligned}$$ -
(vi)
for every \(\nu , \mu \in \mathcal {P}r({\mathbb {R}}^m)\) it holds that
$$\begin{aligned} W([\nu ], [\mu ])&\le (\nu \otimes \mu )\text {-}\mathop {\mathrm{ess\, sup }}_{(\xi , \zeta )\in {\mathbb {R}}^m\times {\mathbb {R}}^m} W(\xi , \zeta ) \\&= \nu \text {-}\mathop {\mathrm{ess\, sup }}_{\xi \in {\mathbb {R}}^m} \bigl (\mu \text {-}\mathop {\mathrm{ess\, sup }}_{\zeta \in {\mathbb {R}}^m} W(\xi , \zeta )\bigr ) = \mu \text {-}\mathop {\mathrm{ess\, sup }}_{\zeta \in {\mathbb {R}}^m} \bigl (\nu \text {-}\mathop {\mathrm{ess\, sup }}_{\xi \in {\mathbb {R}}^m} W(\xi , \zeta )\bigr ). \end{aligned}$$
Proof
These equivalences follow as an immediate corollary of Lemma 2.4. Indeed, we apply the characterizations therein twice in each of the two variables of W, fixing the other. \(\square \)
The sufficiency of separate level convexity of W for ensuring \(L^\infty \)-weak\(^*\) lower semicontinuity of J in (1.1) follows in light of the coercivity assumption of W and Remark 1.2 a) from the next proposition. The proof relies on combining elements from both theories of supremal and double-integral functionals, cf. Sects. 2.2 and 2.3, respectively.
Proposition 3.6
Let J be as in (1.1) with \(W:\mathbb {R}^m \times \mathbb {R}^m \rightarrow \mathbb {R}\) lower semicontinuous and coercive, i.e., \(W(\xi , \zeta )\rightarrow \infty \) as \(|(\xi ,\zeta )|\rightarrow \infty \). If W is separately level convex, then J is \(L^\infty \)-weakly\(^*\) lower semicontinuous, i.e., for all \((u_j)_j\subset L^\infty (\Omega ;{\mathbb {R}}^m)\) and \(u\in L^\infty (\Omega ;{\mathbb {R}}^m)\) such that \(u_j\rightharpoonup ^*u\) in \(L^\infty (\Omega ;{\mathbb {R}}^m)\) it holds that
Proof
Let \((u_j)_j\subset L^\infty (\Omega ;{\mathbb {R}}^m)\) be such that \(u_j\rightharpoonup ^*u\) in \(L^\infty (\Omega ;{\mathbb {R}}^m)\) and let \(\nu =\{\nu _x\}_{x\in \Omega }\) be the Young measure generated by \((u_j)_j\) (possibly after passing to a non-relabeled subsequence). In particular,
Let \((v_{u_j})_j\subset L^\infty (\Omega \times \Omega ;{\mathbb {R}}^m\times {\mathbb {R}}^m)\) be the sequence of nonlocal vector fields associated with \((u_j)_j\), cf. (2.6), and \(\Lambda =\{\Lambda \}_{(x,y)\in \Omega \times \Omega }=\nu _x\otimes \nu _y\) for \(x,y\in \Omega \) the generated Young measure according to Lemma 2.2. Then, Lemma 2.5 implies that
where \(\overline{W}(x,y) := \Lambda _{(x,y)}\text {-}\mathop {\mathrm{ess\, sup }}_{(\xi ,\zeta )\in \mathbb {R}^m \times \mathbb {R}^m} W(\xi , \zeta )\). By Lemma 2.2,
for a.e. \((x, y)\in \Omega \times \Omega \), and since W is separately convex, Lemma 3.5 (iv) along with (3.4) guarantees that
Joining (3.6) and (3.5) concludes the proof. \(\square \)
As we show later in Sect. 7.1, separate level convexity of W is not necessary for J being sequentially \(L^\infty \)-weakly\(^*\) lower semicontinuous, cf. Corollary 7.2.
4 Diagonalization, symmetrization and separately convex hulls
For \(E \subset \mathbb {R}^m \times \mathbb {R}^m\), let
and
be the diagonalization and symmetrization of E. Accordingly, we call E symmetric, if \(E =E^{\mathrm{sym}}\), and diagonal if \(E=E^{\mathrm{diag}}\). By combining these two operations, we introduce
As an immediate consequence of these definitions, one observes that if E is closed (compact), then \(E^{\mathrm{sym}}\) and \(E^{\mathrm{diag}}\), and consequently, also \(\widehat{E}\), are closed (compact).
This section is devoted to the study of characterizing properties of diagonal and symmetric sets. For illustration, we start with a few simple examples in the scalar case \(m=1\).
Example 4.1
Consider the four compact subsets of \({\mathbb {R}}\times {\mathbb {R}}\),
Then, \(\widehat{K_1} =\widehat{K_2}=\widehat{K_3}=\widehat{K_4}=K_4\). For the points sets
one obtains that \(\widehat{K_5} =\emptyset \) and \(\widehat{K_6} = K_6\), respectively.
Notice the following equivalent way of expressing \(\widehat{E}\) in (4.1),
Based on the concept of maximal Cartesian subsets and motivated by the observation that \(\widehat{E}=\bigcup _{(\xi , \zeta )\in \widehat{E}} \{\xi , \zeta \}\times \{\zeta , \xi \}\subset \bigcup _{(\xi , \zeta )\in E} \{\xi , \zeta \}\times \{\zeta , \xi \}\), we will derive yet another representation of \(\widehat{E}\) in Lemma 4.3.
Definition 4.2
Let \(E\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\). We call a set \(P\subset E\) a maximal Cartesian subset of E if \(P=A\times A\) with \(A\subset {\mathbb {R}}^m\) and if for any \(B\subset {\mathbb {R}}^m\) with \(A\subset B\) and \(B\times B\subset E\) it holds that \(B=A\). We denote the set of all maximal Cartesian subsets of E by \(\mathcal {P}_E\).
Lemma 4.3
Let \(E\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\). Then,
Proof
The proof follows simply from exploiting the definitions of \(\mathcal {P}_E\) and \(\widehat{E}\). Here are some more details for the readers’ convenience. If \((\xi , \zeta )\in P\) for some \(P\in \mathcal {P}_E\), then \(\{\xi , \zeta \}\times \{\xi , \zeta \}\subset P \subset E\). Hence, \((\xi , \zeta )\), \((\xi , \xi )\), \((\zeta , \xi ), (\zeta , \zeta )\in E\), which shows that \((\xi , \zeta )\in \widehat{E}\).
On the other hand, we know for \((\xi , \zeta )\in \widehat{E}\) that \(\{\xi , \zeta \}\times \{\xi , \zeta \}\subset \widehat{E}\subset E\), and hence \(B\times B\subset E\) with \(B=\{\xi , \zeta \}\). Due to the Cartesian structure of \(B\times B\), there is a maximal Cartesian subset of E containing \(B\times B\), which proves the statement. \(\square \)
Remark 4.4
It is immediate to see that \(\mathcal {P}_E=\mathcal {P}_{\widehat{E}}\).
Recalling Definition 3.1, we prove that diagonalization and symmetrization preserves separate convexity if \(m=1\). For \(m>1\), however, this is in general not true, see Remark 4.6 b).
Lemma 4.5
If \(E\subset {\mathbb {R}}\times {\mathbb {R}}\) is separately convex, then \(\widehat{E}\) is also separately convex.
Proof
Let \((\xi _1, \zeta ), (\xi _2,\zeta ) \in \widehat{E}\). By Lemma 4.3 we know that there are \(P_1, P_2\in \mathcal {P}_E\) such that \((\xi _1, \zeta )\in P_1=A_1\times A_1\) and \((\xi _2, \zeta )\in P_2 = A_2\times A_2\) with \(A_1, A_2\subset {\mathbb {R}}\). Since E is separately convex, \(A_1, A_2\subset {\mathbb {R}}\) are convex, and hence intervals. Observing that \(\zeta \in A_1\cap A_2\), the intervals overlap, so that \((A_1\cup A_2)^{\mathrm{co}}= A_1\cup A_2\). Consequently, any convex combination \(t\xi _1+(1-t)\xi _2\) with \(t\in [0,1]\) lies in \(A_1\cup A_2\), which implies \((t\xi _1+(1-t)\xi _2, \zeta )\in P_1\cup P_2\subset \widehat{E}\), cf. Lemma 4.3. By Definition 3.1, \(\widehat{E}\) is thus separately convex.
Remark 4.6
(a) Due to Lemma 4.5, it holds that \(\widehat{E}^{\mathrm{sc}}\subset \widehat{E^{\mathrm{sc}}}\) for any \(E\subset {\mathbb {R}}\times {\mathbb {R}}\). We point out, however, that the operations of taking the separate convexification and diagonalization of \(E\subset {\mathbb {R}}\times {\mathbb {R}}\) do in general not commute, that is, \(\widehat{E}^{\mathrm{sc}}\ne \widehat{E^{\mathrm{sc}}}\). In fact, the set \(K_5\) in (4.2) satisfies \(\widehat{K_5}^{\mathrm{sc}}=\emptyset \), while \(\widehat{K_5^{\mathrm{sc}}} = ([-1,1]\times \{0\}\cup \{0\}\times [-1,1])^{\mathrm{diag}} = \{0\}\).
(b) Note that the statement of Lemma 4.5 fails in the vectorial case \(m>1\), as the following example illustrates. Let \(E=(A_1\times A_1) \cup (A_2\times A_2)\) with \(A_1, A_2\subset {\mathbb {R}}^m\) convex such that \(A_1\cap A_2\ne \emptyset \) and \((A_1\cup A_2)^{\mathrm{co}} \setminus (A_1\cup A_2)\ne \emptyset \). Then,
and hence, in view of \(E=\widehat{E}\), we find that \(\widehat{E^{\mathrm{sc}}}=E\). Since E is strictly contained in \(E^{\mathrm{sc}}\), however, E is not separately convex.
The next lemma gives a characterization of the separate convex hull of symmetric and diagonal sets in the scalar case \(m=1\).
Lemma 4.7
Let \(E\subset {\mathbb {R}}\times {\mathbb {R}}\) be symmetric and diagonal. Then
recalling that \(Q_{\alpha , \beta }=[\alpha , \beta ]\times [\alpha , \beta ]\) for \(\alpha , \beta \in {\mathbb {R}}\), where \([\alpha , \beta ]\subset {\mathbb {R}}\) stands for the generalized interval in the sense of (2.1).
Proof
For any \((\alpha , \beta )\in E=\widehat{E}\), we have that \(\{\alpha , \beta \}\times \{\alpha , \beta \}\subset E\), so that
Hence, \(\bigcup _{(\alpha , \beta )\in E} Q_{\alpha , \beta } \subset E^{\mathrm{sc}}\).
For the reverse implication in (4.5), it suffices to observe that \(E_Q:=\bigcup _{(\alpha , \beta )\in E}Q_{\alpha , \beta }\supset E\) is separately convex. Indeed, if \((\xi , \zeta _1), (\xi , \zeta _2)\in E_Q\), then \((\xi , \zeta _1)\in Q_{\alpha _1, \beta _1}\) and \((\xi , \zeta _2)\in Q_{\alpha _2, \beta _2}\) with \((\alpha _1, \beta _1), (\alpha _2, \beta _2)\in E\). The union of these two overlapping squares contains the line between the points \((\xi , \min \{\alpha _1, \alpha _2\})\) and \((\xi , \max \{\beta _1, \beta _2\})\), and therefore also \((\xi , t\zeta _1+(1-t)\zeta _2)\) for any \(t\in (0,1)\). Since \(E_Q\) is symmetric, this is enough to conclude the separate convexity of \(E_Q\), which finishes the proof.
Remark 4.8
(a) As a consequence of Lemma 4.7, the properties of a symmetric and diagonal set \(E\subset {\mathbb {R}}\times {\mathbb {R}}\) carry over to its separate convexification \(E^{\mathrm{sc}}\).
(b) In view of (4.5), a Caratheodory type formula holds for separate convex hulls of sets as in Lemma 4.7. In general, this cannot be expected, see e.g. [21, Section 2.2.3]. Recalling (3.1) and (3.2), we have that
Indeed, if \((\xi , \zeta )\in E^{\mathrm{sc}}\), then (4.5) implies that \((\xi , \zeta )\in Q_{\alpha , \beta }\) for some \((\alpha , \beta )\in E\), and there are \(t, s\in [0,1]\) such that \(\xi =t\alpha +(1-t)\beta \) and \(\zeta = s\alpha +(1-s)\beta \). Thus, \( (\xi , \zeta ) = t(\alpha , \zeta ) + (1-t)(\beta , \zeta ), \) or equivalently,
(c) We emphasize that the representation formula (4.5) is in general not true in the vectorial case, that is, for symmetric and diagonal subsets of \({\mathbb {R}}^m\times {\mathbb {R}}^m\) with \(m>1\). To see this, consider the example of Remark 4.6 b, where E is the union of two Cartesian products generated by convex sets \(A_1, A_2\subset {\mathbb {R}}^m\) with \(m>1\) whose union is not convex. Then, due to the convexity of \(A_1\) and \(A_2\) and the fact that E is not separately convex, we conclude that
After diagonalization (and symmetrization), however, we observe that
d) It remains an open question at this point to find an explicit representation for \(E^{\mathrm{sc}}\), or \(\widehat{E^{\mathrm{sc}}}\), with general \(E\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\) symmetric and diagonal.
In the special case when at most two of the separately convex hulls of the maximal Cartesian subsets of E intersect, we can derive a formula for \(\widehat{E^{\mathrm{sc}}}\) based on (4.4). Precisely, suppose that \(E = \bigcup _{P=A\times A\in \mathcal {P}_E} P\) and that there are \(P_1=A_1\times A_1\in \mathcal {P}_E\) and \(P_2=A_2\times A_2\in \mathcal {P}_E\) with \(A_1, A_2\subset {\mathbb {R}}^m\) such that \(P^{\mathrm{sc}}\cap Q^{\mathrm{sc}}=\emptyset \) for all \(P\in \mathcal {P}_E\) and \(Q\in \mathcal {P}_E\setminus \{P, P_1, P_2\}\). Along with the observation that \((B\times B)^{\mathrm{sc}} = B^{\mathrm{co}}\times B^{\mathrm{co}}\) for any \(B\subset {\mathbb {R}}^m\), it follows that
Hence,
where we have used that the diagonalization and symmetrization of \(B_1\times B_2 \cup B_2\times B_1\) for any \(B_1, B_2\subset {\mathbb {R}}^m\) is given by \((B_1\cap B_2)\times (B_1\cap B_2)\).
We continue with a lemma that will be used later on in Sect. 7.1 to give a characterization of the sublevel sets of \(\widehat{W}^{\mathrm{slc}}\).
Lemma 4.9
For \(j\in \mathbb {N}\), let \(K_j\subset {\mathbb {R}}\times {\mathbb {R}}\) be compact, symmetric and diagonal. If the sets \(K_j\) are nested, i.e. \(K_j\supset K_{j+1}\) for all \(j\in \mathbb {N}\), then
Proof
One inclusion follows directly from the definition of separately convex hulls. For the other one, let \((\xi , \zeta )\in \bigcap _{j\in \mathbb {N}}K_j^{\mathrm{sc}}\). Then for each \(j\in \mathbb {N}\), there exists according to (4.5) an element \((\alpha _j, \beta _j)\in K_j\) with \((\xi , \zeta )\in Q_{\alpha _j, \beta _j}\), and therefore
with \(s_j, t_j\in [0,1]\). By compactness, we know that after passing to subsequences, we can assume that \(s_j\rightarrow s\in [0,1]\), \(t_j\rightarrow t\in [0,1]\), and \((\alpha _j, \beta _j)\rightarrow (\alpha , \beta )\in \bigcap _{j\in \mathbb {N}} K_j\) as \(j\rightarrow \infty \). Finally, taking \(j\rightarrow \infty \) in (4.6) shows that \((\xi , \zeta )\in Q_{\alpha , \beta } \subset (\bigcap _{j\in \mathbb {N}} K_j)^{\mathrm{sc}}\). \(\square \)
Inspired by the definition of extreme points in the separately convex sense, see e.g. [21, Definition 7.30], we introduce here directional extreme points for subsets of \({\mathbb {R}}^m\times {\mathbb {R}}^m\). These can be used to refine the characterization formula (4.5), see Corollary 4.12 below.
Definition 4.10
Let \(E\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\) be separately convex. Then \((\xi , \zeta )\in E\) is a directional extreme point if the identity \((\xi , \zeta ) = t (\xi _1, \zeta _1) + (1-t)(\xi _2, \zeta _2)\) for any \(t\in (0,1)\) and any \((\xi _1, \zeta _1), (\xi _2, \zeta _2)\in E\) with \(\xi _1=\xi _2\) or \(\zeta _1=\zeta _2\) implies that \(\xi =\xi _1=\xi _2\) and \(\zeta = \zeta _1=\zeta _2\).
For general \(E\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\), we say that \((\xi , \zeta )\in {\mathbb {R}}^m\times {\mathbb {R}}^m\) is a directional extreme point if \((\xi , \zeta )\) is a directional extreme point for \(E^{\mathrm{sc}}\) in the above mentioned sense.
We denote the set of all directional extreme points of a set E by \(E_\mathrm{dex}\).
Remark 4.11
If \(m=1\), [21, Proposition 7.31] shows that \(E_\mathrm{dex}\subset E\). The argument can be directly extended to the vectorial setting \(m>1\), exploiting (3.1) and (3.2).
The representation formula (4.5) can be simplified by considering only unions of squares whose vertices are directional extreme points of E.
Corollary 4.12
Let \(E\subset {\mathbb {R}}\times {\mathbb {R}}\) be symmetric and diagonal. Then
Proof
It suffices to show that for any \((\alpha , \beta )\in E\setminus E_\mathrm{dex}\), there exists a point \((\tilde{\alpha }, \tilde{\beta })\in E\) different from \((\alpha , \beta )\) such that \(Q_{\alpha , \beta }\subset Q_{\tilde{\alpha }, \tilde{\beta }}\). The statement follows then in view of (4.5).
Let \((\alpha , \beta )\in E\setminus E_\mathrm{dex}\). Then, in particular, \((\alpha ,\beta )\in E^{\mathrm{sc}}\), so that \((\alpha , \beta )\in Q_{\tilde{\alpha }, \tilde{\beta }}\) for some \((\tilde{\alpha }, \tilde{\beta })\in E\) according to (4.5). In other words, there are \((\tilde{\alpha }, \tilde{\beta }) \in E\) and \(t, s \in [0,1]\) such that
cf. Remark 4.8a. Since \((\alpha , \beta )\) is not an extreme point for E, we can suppose that \((\tilde{\alpha }, \tilde{\beta })\ne (\alpha , \beta )\). Finally, the observation that \(Q_{\alpha , \beta }\subset Q_{\tilde{\alpha }, \tilde{\beta }}\) concludes the proof. \(\square \)
We close this section with a representation of separately convex hulls in terms of measures. For \(K\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\) non-empty and compact, one obtains the following alternative characterization of \(K^{\mathrm{sc}}\), which is essentially a reformulation of (3.1) and (3.2):
where \(\mathcal {M}^{\mathrm{sc}}_0(K) : = \{\delta _{(\xi , \zeta )}: (\xi , \zeta )\in K\}\) and for \(i\in \mathbb {N}\),
In general, the measures whose barycenters yield elements in \(K^{\mathrm{sc}}\) cannot be expected to be of product form. If \(m=1\), however, this is the case, as the next lemma shows.
Lemma 4.13
Let \(K\subset {\mathbb {R}}\times {\mathbb {R}}\) be non-empty, symmetric, diagonal, and compact. Then,
Proof
One inclusion is a simple consequence of Corollary 4.12. Indeed, if \((\xi , \zeta )\in K^{\mathrm{sc}}\), then by (4.7) there is \((\alpha , \beta )\in K_\mathrm{dex} \subset K\) such that \((\xi , \zeta )\in Q_{\alpha , \beta }\). We choose \(t, s\in [0,1]\) such that \(\xi =t \alpha + (1-t)\beta \) and \(\zeta =s\alpha +(1-s) \beta \), and set \(\nu =t\delta _\alpha + (1-t)\delta _\beta \in \mathcal {P}r ({\mathbb {R}})\) and \(\eta =s\delta _\alpha + (1-s)\delta _\beta \in \mathcal {P}r ({\mathbb {R}})\). Then
is a product measure supported in \(\{\alpha , \beta \}\times \{\alpha , \beta \}\subset K\) such that \([\Lambda ]= ([\nu ], [\eta ])=(\xi , \zeta )\).
For the reverse implication, let \(\Lambda =\nu \otimes \mu \) with \(\nu , \mu \in \mathcal {P}r({\mathbb {R}})\) such that \(\mathrm{supp\,} \Lambda \subset K\). Since the characteristic function \(\chi _{K^{\mathrm{sc}}}:{\mathbb {R}}\times {\mathbb {R}}\rightarrow [0, \infty ]\) is lower semicontinuous due to the compactness of K, which again implies that \(K^{\mathrm{sc}}\) is compact according to Remark 3.2, it follows from Lemma 2.7 that
Recalling that \(\chi _K\ge \chi _{K^{\mathrm{sc}}}\), the assumption that \(\mathrm{supp\,}\Lambda \subset K\) yields \(0\ge \chi _{K^{\mathrm{sc}}}([\nu ], [\mu ])\), or equivalently, \([\Lambda ] = ([\nu ], [\mu ])\in K^{\mathrm{sc}}\), as stated. \(\square \)
Remark 4.14
If \(m>1\) and \(K\subset \mathbb {R}^m\times \mathbb {R}^m\) is non-empty, symmetric, diagonal, and compact such that \(K^{\mathrm{sc}}\) is also compact, and the structure condition
with cubes \(Q_{\alpha , \beta }\) as defined in (2.2) holds, then analogous arguments to those in the proof of the previous lemma allow us to derive that
5 Nonlocal inclusions
For a set \(E\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\), we consider
The main focus of this section is to prove the characterization result for the limits of weakly converging sequences in \(\mathcal {A}_K\) with compact \(K\subset {\mathbb {R}}\times {\mathbb {R}}\) stated in Theorem 1.1. In the first subsection, we lay important groundwork by investigating the role of the set E in \(\mathcal {A}_E\). This gives important structural insight into the interplay between nonlocality effects and pointwise constraints, which are also interesting per se.
5.1 Alternative representations of \(\mathcal {A}_E\)
The next result shows that the set \(E\setminus \widehat{E}\) has no influence on the solutions to the nonlocal inclusion \((u(x), u(y))\in E\) for a.e. \((x,y) \in \Omega \times \Omega \).
Proposition 5.1
Let \(E, F\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\) be closed. Then \(\mathcal {A}_E= \mathcal {A}_F\) if and only if \(\widehat{E}=\widehat{F}\).
In particular,
Proof
To show that equality of \(\mathcal {A}_E\) and \(\mathcal {A}_F\) implies that \(\widehat{E}=\widehat{F}\), it suffices to prove that \(\widehat{E}\subset \widehat{F}\). In fact, the reverse inclusion follows then from interchanging the roles of E and F. The case \(\widehat{E}=\emptyset \) is trivial. Otherwise, let \((\xi , \zeta )\in \widehat{E}\), and consider the piecewise constant function
where \(\Omega _\xi \subset \Omega \) is measurable with \(\mathcal {L}^n(\Omega _\xi )>0\) and \(\mathcal {L}^n(\Omega \setminus \Omega _\xi )>0\). By definition, \(u\in L^\infty (\Omega ;{\mathbb {R}}^m)\), and since \((\xi , \zeta )\in \widehat{E}\subset E\), it holds that also \((\xi , \xi ), (\zeta ,\zeta ), (\zeta , \xi )\in E\). Hence, \(u\in \mathcal {A}_{E} = \mathcal {A}_F\), and therefore \((\zeta , \xi ), (\xi , \zeta ), (\xi , \xi ), (\zeta , \zeta )\in F\). This shows \((\xi , \zeta )\in \widehat{F}\).
Notice that the converse implication, i.e. \(\mathcal {A}_E=\mathcal {A}_F\) if \(\widehat{E}=\widehat{F}\), follows immediately, if one knows (5.2). To prove the latter, we start by observing that \(\mathcal {A}_E=\mathcal {A}_{E^{\mathrm{sym}}}\). Indeed, if \(u\in \mathcal {A}_E\), then also \(u\in \mathcal {A}_{E^T}\), and therefore \(u\in \mathcal {A}_{E^{\mathrm{sym}}}\), because \(E^{\mathrm{sym}}=E\cap E^T\). Thus, from now we assume E to be symmetric.
Next, we will show that a specific class of subsets of E can be removed without affecting \(\mathcal {A}_E\). Precisely, if \(B\subset {\mathbb {R}}^m\times \mathbb {R}^m\) is such that
then
To see this, let \(B\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\) satisfy the first condition in (5.3) (the reasoning in case the second condition holds is analogous), and consider \(u\in \mathcal {A}_E\), assuming to the contrary that \(u\notin \mathcal {A}_{E\setminus B}\). Then there exists an \((\mathcal {L}^n\otimes \mathcal {L}^n)\)-measurable set \(N\subset \Omega \times \Omega \) with positive measure such that \((u(x), u(y))\in B\) for all \((x,y)\in N\). By Tonelli’s theorem or Cavalieri’s principle, there exists \(\bar{y}\in \Omega \) with \(\mathcal {L}^n(\mathfrak {N}^{\bar{y}}_1)>0\); recall that \(\mathfrak {N}^{\bar{y}}_1\) stands for the section in the first variable of N at \(\bar{y}\), cf. Sect. 2.1. Hence,
or equivalently, using projections, \(u(x)\in \pi _1(B)\) for \(x\in \mathfrak {N}_1^{\bar{y}}\). This leads to
In view of (5.3), we infer that \((u(x), u(y))\notin E\) for \((x, y)\in \mathfrak {N}^{\bar{y}}_1 \times \mathfrak {N}^{\bar{y}}_1\), which contradicts the assumption that \(u\in \mathcal {A}_E\), and concludes the proof of (5.4).
Next we apply (5.4) to suitable sets whose union amounts to \(E\setminus \widehat{E}\). Owing to the fact that the complement \(E^c\) of E in \({\mathbb {R}}^m\times {\mathbb {R}}^m\) is open, one can find for any vector of rational numbers \(\xi \in \mathbb {Q}^m\) with \((\xi ,\xi )\notin E\) an open neighborhood \(U_\xi \times U_\xi \subset E^c\) with \(\xi \in U_\xi \).
For each such \(\xi \), one can apply (5.4) with the two choices \(B={\mathbb {R}}^m \times U_\xi \) and \(B=U_\xi \times {\mathbb {R}}^m\) to deduce that
To see this, let \((\xi _i)_{i\in \mathbb {N}}\) be an enumeration of \(\{\xi \in \mathbb {Q}^{m}: (\xi , \xi )\notin E\}\) and set
Then, (5.5) follows from the line of identities
where the first equality results from an iterative application of (5.4) to \(U_{\xi _i}\times {\mathbb {R}}^m\) and \({\mathbb {R}}^m\times U_{\xi _i}\) for \(i=1, \ldots , k\), leading to \(\mathcal {A}=\mathcal {A}_{E\setminus B_\cup ^k}\) for any \(k\in \mathbb {N}\). While the second identity is a consequence of Lemma 5.2 below, the third identity is due to basic properties of unions and intersections of sets, and the last step makes use of the fact that \(B_\cup =\bigcup _{k\in \mathbb {N}} B_\cup ^k\) by construction.
Finally, accounting for (4.3) along with the observation that \(B_\cup =B_E\) yields that \(E\setminus B_{\cup } = \widehat{E}\). In view of (5.5), this concludes the proof of (5.2). \(\square \)
Lemma 5.2
Let \(\{E_k\}_{k\in \mathbb {N}}\) be a family of sets in \({\mathbb {R}}^m\times {\mathbb {R}}^m\). Then,
Proof
If \(u\in \bigcap _{k\in \mathbb {N}} \mathcal {A}_{E_k}\), one can find for every \(k\in \mathbb {N}\) a set \(N_k\subset \Omega \times \Omega \) of zero \(\mathcal {L}^{2n}\)-measure such that \((u(x), u(y))\in E_k\) for all \((x,y)\in \Omega \times \Omega \setminus N_k\). With \(N:=\bigcup _{k=1}^\infty N_k\), we have a set of vanishing measure with the property that every \((x,y)\in \Omega \times \Omega \setminus N\) satisfies
meaning that \(u\in \mathcal {A}_{\cap _{k\in \mathbb {N}}E_k}\). This proves \(\bigcap _{k\in \mathbb {N}}\mathcal {A}_{E_k} \subset \mathcal {A}_{\cap _{k\in \mathbb {N}}E_k}\). The other implication is trivial.
Remark 5.3
If \(E\subset {\mathbb {R}}^m \times {\mathbb {R}}^m\) is not closed, the identity \(\mathcal {A}_E=\mathcal {A}_{\widehat{E}} \) is in general not true. To see this, let \(n=m\) and \(\Omega =(0,1)^m\), and consider
Then, \(\widehat{E}=\emptyset \), and hence, \(\mathcal {A}_{\widehat{E}}=\emptyset \). On the other hand, the identity map \(u(x)= x\) for \(x\in \Omega \) satisfies \((u(x), u(y)) = (x,y)\in E\) for all \((x, y)\in \Omega \times \Omega \setminus \{(x,x):x\in \Omega \}\). Since the diagonal \(\{(\xi , \xi ):\xi \in {\mathbb {R}}^m\}\) has zero Lebesgue-measure in \({\mathbb {R}}^m\), \(u\in \mathcal {A}_E\).
The next lemma is the basis for a useful approximation result, which is formulated below in Corollary 5.5. For shorter notation, we write \(S^\infty (\Omega ;{\mathbb {R}}^m)\) for the subspace of \(L^\infty (\Omega ;{\mathbb {R}}^m)\) of simple functions, i.e., \(u\in S^\infty (\Omega ;{\mathbb {R}}^m)\) if
with \(\{\Omega ^{(i)}\}_{i=1,\ldots , k}\) a partition of \(\Omega \) into \(\mathcal {L}^n\)-measurable sets and \(\xi ^{(i)}\in {\mathbb {R}}^m\) for \(i=1, \ldots , k\). By possibly choosing a different representative, one may assume without loss of generality that \(\mathcal {L}^n(\Omega ^{(i)})>0\) for all \(i=1, \ldots , k\).
Lemma 5.4
Let \(E\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\) be symmetric and diagonal. Then, for every \(u\in \mathcal {A}_E\) there exists a sequence \((u_j)_j\subset \mathcal {A}_E\cap S^\infty (\Omega ;{\mathbb {R}}^m)\) with \(u_j\rightarrow u\) in \(L^\infty (\Omega ;{\mathbb {R}}^m)\).
Proof
The proof follows along the lines of standard arguments for approximating unconstrained bounded functions uniformly by simple ones. Yet, particular care is needed here when choosing the function values to guarantee that the nonlocal inclusion defining \(\mathcal {A}_E\) is not violated. This last step critically exploits the assumption that \(E=\widehat{E}\). For clarification regarding notations throughout this proof, we refer the reader to Sect. 2.1.
After choosing a suitable representative of \(u\in \mathcal {A}_E\), we may assume that \(u(x)\in [\underline{z}_1, \overline{z}_1]\times \ldots \times [\underline{z}_m, \overline{z}_m]\) for all \(x\in \Omega \) with \(\underline{z}, \overline{z}\in {\mathbb {R}}^m\). For \(j\in \mathbb {N}\), we partition the set \([\underline{z}_1, \overline{z}_1]\times \dots \times [\underline{z}_m,\overline{z}_m]\) into \(k_j\) half-open cuboids \(Q_j^{(i)}\subset {\mathbb {R}}^m\) such that
and define the \(\mathcal {L}^n\)-measurable sets
for \(i=1, \ldots , k_j\). Then, \(\bigcup _{i=1}^{k_j} \Omega _j^{(i)} = \Omega \). Let \(I_j\subset \{1, \ldots , k_j\}\) be the index set defined by
Possibly after rearranging, one may assume without loss of generality that \(I_j=\{1, \ldots , l_j\}\) for some \(l_j\in \mathbb {N}\) with \(l_j\le k_j\).
Consider the simple function
where \(x^{(i)}_j\) are constructed iteratively as described in the following. Setting
we observe that the symmetry and diagonality of E carry over to M, that is, if \((x,y)\in M\), then also \((y, x), (x,x), (y,y)\in M\). With the notations for sections of M, let
Since \((\mathcal {L}^{n}\otimes \mathcal {L}^n)(\Omega \times \Omega )=(\mathcal {L}^{n}\otimes \mathcal {L}^n)(M) = \int _{\Omega } \mathcal {L}^n(\mathfrak M^x) \,dx\) and thus, \(\mathcal {L}^n(\mathfrak M^x)=\mathcal {L}^n(\Omega )\) for \(\mathcal {L}^n\)-a.e. \(x\in \Omega \), it follows that
Now, let \(x^{(1)}_j\in \Omega _j^{(1)}\cap N\) (this set is indeed non-empty by (5.10) and (5.8)) and iteratively for \(i=2, \ldots , l_j\),
Notice that the set on the right-hand side in (5.11) has positive \(\mathcal {L}^n\)-measure and is therefore in particular not empty. Indeed, this follows from (5.10) and (5.8) in combination with \(\mathcal {L}^n\bigl (\bigcap _{p=1}^{i-1}\mathfrak M^{x_j^{(p)}}\bigr )=\mathcal {L}^{n}(\Omega )\) for all \(i=2, \ldots , l_j\). The latter is a consequence of \(x_j^{(p)}\in N\) for \(p=1, \ldots , i-1\). By construction, \(u(x_j^{(i)}) \in Q_j^{(i)}\) for \(i=1, \ldots , l_j\), and
In view of (5.9), it holds therefore that
which implies that \(u_j\in \mathcal {A}_E\) for any \(j\in \mathbb {N}\). Moreover, together with (5.7),
so that \(u_j\rightarrow u\) in \(L^\infty (\Omega ;{\mathbb {R}}^m)\) as \(j\rightarrow \infty \). This shows that \((u_j)_j\) is an approximating sequence for u with the stated properties. \(\square \)
The following density statement for \(\mathcal {A}_E\) with a closed set E is an immediate consequence of Lemma 5.4 and Proposition 5.1.
Corollary 5.5
Let \(E\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\) be closed. Then \(\mathcal {A}_E\) coincides with the closure of \(\mathcal {A}_E\cap S^\infty (\Omega ;{\mathbb {R}}^m)\) in \(L^\infty (\Omega ;{\mathbb {R}}^m)\).
Based on this approximation result and the special properties of simple functions in \(\mathcal {A}_E\), there is another way to represent \(\mathcal {A}_E\), namely in terms of Cartesian products (cf. Definition 4.2).
Proposition 5.6
If \(E\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\) is closed, then
Proof
For the proof of the nontrivial inclusion, consider any \(u\in \mathcal {A}_E\). We will show that there exists \(A\subset {\mathbb {R}}^m\) with \(A\times A\subset E\) such that \(u\in \mathcal {A}_{A\times A}\). Then, \(A\times A\subset P\) for some \(P\in \mathcal {P}_E\), and therefore \(u\in \mathcal {A}_P\).
First, we observe that (5.12) holds for simple functions. In fact, if \(u\in \mathcal {S}^\infty (\Omega ;{\mathbb {R}}^m)\cap \mathcal {A}_E\), then it is of the form (5.6) with \((\xi ^{(i)}, \xi ^{(i')})\in E\) for all \(i, i'=1, \ldots , k\). Here we use in particular that the sets \(\Omega ^{(i)}\) can be chosen to have positive \(\mathcal {L}^n\)-measure. Consequently,
which yields the statement in the case when u is simple.
To prove (5.12) in the general case, let \((u_j)_j\) be an approximating sequence resulting from Lemma 5.4, so that
Due to the uniform boundedness of \((u_j)_j\) in \(L^\infty (\Omega ;{\mathbb {R}}^m)\), we may assume without loss of generality that E is bounded, and hence compact. Since each \(u_j\) is simple, one can thus find for every \(j\in \mathbb {N}\) a compact set \(A_j\subset {\mathbb {R}}^m\) with \(P_j:=A_j\times A_j\subset E\) such that \(u_j\in \mathcal {A}_{P_j}\).
Next, we exploit the fact that the metric space of closed subsets of a compact set in \({\mathbb {R}}^m\) endowed with the Hausdorff distance \(d^m_H\) in (2.4) is compact, see e.g. [45] or [2, Theorem 6.1] for Blaschke selection theorem. Hence, there is a subsequence of \((A_j)_j\) (not relabelled) and \(A\subset {\mathbb {R}}^m\) compact such that \(d_H^m(A_j, A)\rightarrow 0\) as \(j\rightarrow \infty \). In light of the relation
for non-empty sets \(B, D\subset {\mathbb {R}}^m\), this implies that
and since \(P_j\subset E\) for all \(j\in \mathbb {N}\), it follows that \(A\times A\subset E\).
Moreover, by (5.13) in combination with dominated convergence and (5.14),
Hence, \(v_u\in A\times A\) a.e. in \(\Omega \times \Omega \) or \(u\in \mathcal {A}_{A\times A}\), which finishes the proof. \(\square \)
Remark 5.7
Note that Proposition 5.6 fails if E is not closed. For the example in Remark 5.3, it holds that \(\mathcal {P}_E=\emptyset \), whereas \(\mathcal {A}_E\ne \emptyset \).
5.2 Asymptotic analysis of sequences in \(\mathcal {A}_K\)
For a compact set \(K\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\), in view of Remark 1.2 a, we denote the \(L^\infty \)-weak\(^*\) closure of \(\mathcal {A}_K\) by \(\mathcal {A}_K^\infty \), that is,
This section contains the proof of Theorem 1.1, which can be reformulated in terms of (5.15) as
We start with an auxiliary result showing that the implication \(\mathcal {A}_{\widehat{K}^{\mathrm{sc}}}\subset \mathcal {A}_{K}^\infty \) is true whenever K consists of the vertices of a symmetric cube in \({\mathbb {R}}^m\times {\mathbb {R}}^m\).
Lemma 5.8
Let \(\alpha , \beta \in {\mathbb {R}}^m\) and \(K =\{\alpha , \beta \}\times \{\alpha , \beta \}\). Then
recalling that \(Q_{\alpha , \beta }=[\alpha , \beta ]\times [\alpha , \beta ]\), cf. (2.2).
Proof
Suppose first that \(u\in \mathcal {A}_{Q_{\alpha , \beta }}\cap S^\infty (\Omega ;{\mathbb {R}}^m)\) and let u as in (5.6) with \(\mathcal {L}^n(\Omega ^{(i)})>0\) for \(i=1, \ldots , k\). Then, \(\xi ^{(i)}\in [\alpha , \beta ]\subset {\mathbb {R}}^m\) for all \(i=1, \ldots , k\), and there are \(\lambda _i\in [0,1]\) such that \(\xi ^{(i)}=\lambda _i\alpha + (1-\lambda _i)\beta \). Moreover, let \(Y_{\xi ^{(i)}}\subset \, ]0,1[^n\) be measurable with \(\mathcal {L}^n(Y_{\xi ^{(i)}}) =\lambda _i\) and define \(h^{(i)}\) as the \(]0,1[^n\)-periodic function given by
Setting
for \(x\in \Omega \) and \(j\in \mathbb {N}\), leads to \(u_j\rightharpoonup ^*u\) in \(L^\infty (\Omega ;{\mathbb {R}}^m)\) according to the Riemann-Lebesgue lemma on weak convergence of periodically oscillating sequences. By construction, \((u_j(x), u_j(y))\in \{\alpha , \beta \}\times \{\alpha , \beta \}=K\) for all \((x, y)\in \Omega \times \Omega \), so that \(u_j\in \mathcal {A}_K\) for every \(j\in \mathbb {N}\).
For general functions \(u\in \mathcal {A}_{Q_{\alpha , \beta }}\), we argue via approximation. Let \((\tilde{u}_k)_k\subset \mathcal {A}_{Q_{\alpha , \beta }}\cap S^\infty (\Omega ;{\mathbb {R}}^m)\) be a sequence of simple functions such that \(\tilde{u}_k\rightarrow u\) in \(L^\infty (\Omega ;{\mathbb {R}}^m)\) as \(k\rightarrow \infty \), see Lemma 5.4.The previous construction allows us to find for each \(k\in \mathbb {N}\) a sequence \((\tilde{u}_{k,j})_j\subset \mathcal {A}_K\) with \(\tilde{u}_{k,j}\rightharpoonup ^*\tilde{u}_k\) in \(L^\infty (\Omega ;{\mathbb {R}}^m)\) as \(j\rightarrow \infty \). By a version of Attouch’s diagonalization lemma [3, Lemma 1.15, Corollary 1.16] (exploiting in particular that \(L^\infty (\Omega ;{\mathbb {R}}^m)\) is the dual of a separable space), we can select \(k(j)\rightarrow \infty \) as \(j\rightarrow \infty \) such that for \(u_j:=\tilde{u}_{k(j),j}\in \mathcal {A}_K\),
This shows that \(u\in \mathcal {A}_K^\infty \) and completes the proof. \(\square \)
Proof of Theorem 1.1
We prove separately the two inclusions that make up (5.16).
First, let \(u\in \mathcal {A}_K^\infty \). Then, in view of Proposition 5.1, there exists a sequence \((u_j)_j\subset L^\infty (\Omega ;{\mathbb {R}}^m)\) with \(v_{u_j} \in \widehat{K}\) a.e. in \(\Omega \times \Omega \) such that \(u_j\rightharpoonup ^*u\) in \(L^\infty (\Omega ;{\mathbb {R}}^m)\). Moreover, let \(\{\nu _x\otimes \nu _y\}_{(x, y)\in \Omega \times \Omega }\) be the Young measure generated by \((v_{u_j})_j\), cf. Lemma 2.2. Since K, and hence also \(\widehat{K}\), is compact, so is \(\widehat{K}^{\mathrm{sc}}\) in the case \(m=1\) according to Remark 3.2. For \(m>1\), the compactness of \(\widehat{K}^{\mathrm{sc}}\) is guaranteed directly by assumption. As a result, the map
is lower semicontinuous, and we infer from Theorem 2.1 that
Hence, \(\nu _x\otimes \nu _y\) is supported in \(\widehat{K}\subset \widehat{K}^{\mathrm{sc}}\) for a.e. \((x,y)\in \Omega \times \Omega \). By Lemma 2.7 applied with \(W=\chi _{\widehat{K}^{\mathrm{sc}}}\), it follows then that \((u(x),u(y))=([\nu _x], [\nu _y])\in \widehat{K}^{\mathrm{sc}}\) for a.e. \((x,y)\in \Omega \times \Omega \), and thus, \(u\in \mathcal {A}_{\widehat{K}^{\mathrm{sc}}}\).
To prove the reverse inclusion, recall that the second assumption on \(\widehat{K}^{\mathrm{sc}}\) in the case \(m>1\) says that
Now, we combine Lemma 4.7 if \(m=1\), or the previous assumption (5.17) if \(m>1\), with Proposition 5.6 and Lemma 5.8 to infer that
This finishes the proof. \(\square \)
Remark 5.9
-
(a)
If \(m=1\), one could replace \(\widehat{K}\) in the second, third and fourth term in (5.18) by \(\widehat{K}_\mathrm{dex}\), simply using Lemma 4.7 instead of Corollary 4.12, and taking into account that \({\widehat{K}}_\mathrm{dex}\subset \widehat{K}\) by Remark 4.11.
-
(b)
For examples of sets satisfying (5.17) see Remarks 4.6 b and 4.8 c.
The following result is an immediate consequence of Theorem 1.1 in conjunction with Proposition 5.1 and Remark 4.8a, cf. also Remark 1.2a.
Corollary 5.10
Let K as in Theorem 1.1. Then \(\mathcal {A}_K\) is \(L^\infty \)-weakly\(^*\) closed if and only if
For \(m=1\), the condition (5.19) is equivalent with the separate level convexity of \(\widehat{K}\).
5.3 Characterization of Young measures generated by sequences in \(\mathcal {A}_K\)
For \(K\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\) compact, let \(\mathcal {Y}_K^\infty \) be the set of Young measures generated by a sequence of nonlocal vector fields associated with \((u_j)_j\subset \mathcal {A}_K\); more precisely,
Regarding barycenters, we observe that
As a consequence of Proposition 5.1, Lemma 2.2 and Theorem 2.1(iii),
where for any compact \(C\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\),
and \(\widetilde{\mathcal {Y}}_{C}^\infty \) is a modification of \(\mathcal {Y}_C^\infty \) in the sense that the exact inclusion is weakened to an approximate version, i.e.,
In the simple special case, when K has the form of a Cartesian product (then clearly, \(K=\widehat{K}\)), we are able to show that equality holds in (5.22). The proof combines well-known results from the theory of Young measures with a projection argument. Note that for more general K the projection result fails due to non-trivial interactions between the different variables.
Proposition 5.11
Let \(K\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\) such that \(K=A\times A\) with \(A\subset {\mathbb {R}}^m\) compact. Then,
Proof
In view of (5.22), it remains to show that \(\widetilde{\mathcal {Y}}_{K}^\infty \subset \mathcal {Y}_K^\infty \). To this end, we project the sequences generating the Young measures in \(\widetilde{\mathcal {Y}}_{K}^\infty \) onto K.
Let \(\Lambda \in \widetilde{\mathcal {Y}}_{K}^\infty \) be generated by \((v_{\tilde{u}_j})_j\) with \((\tilde{u}_j)_j\subset L^\infty (\Omega ;{\mathbb {R}}^m)\) bounded such that \(\mathrm{dist}(v_{\tilde{u}_j}, K) = \mathrm{dist}(v_{\tilde{u}_j}, A\times A)\rightarrow 0\) in measure as \(j\rightarrow \infty \). By measurable selection [24, Section 6.1.1, Theorem 6.10], one can find a measurable and essentially bounded function \(u_j:\Omega \rightarrow {\mathbb {R}}^m\) with
Then by construction, \(v_{u_j}\in A\times A=K\) a.e. in \(\Omega \times \Omega \), and \(v_{u_j}-v_{\tilde{u}_j}\rightarrow 0\) in measure as \(j\rightarrow \infty \). The latter implies in particular that \((v_{u_j})_j\) generates the same Young measure as \((v_{\tilde{u}_j})_j\), namely \(\Lambda \). Hence, \(\Lambda \in \mathcal {Y}_K^\infty \). \(\square \)
With these prerequisites at hand, we can derive the following characterization of Young measures generated by sequences with nonlocal constraints.
Theorem 5.12
Let \(K\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\) be compact. Then \(\mathcal {Y}_K^\infty = \bigcup _{P\in \mathcal {P}_{\widehat{K}}} \mathcal {Y}_P\).
Proof
Owing to the fact that any set in \(\mathcal {P}_K\) is a subset of K with the form of a Cartesian product in \({\mathbb {R}}^m\times {\mathbb {R}}^m\), the inclusion \( \bigcup _{P\in \mathcal {P}_{\widehat{K}}} \mathcal {Y}_P \subset \mathcal {Y}_K^\infty \) follows immediately from Proposition 5.11.
For the proof of reverse inclusion, consider \((v_{u_j})_j\) as in (5.20), generating the Young measure \(\Lambda \in \mathcal {Y}_K^\infty \). Then, Proposition 5.6 implies for every \(j\in \mathbb {N}\) the existence of \(A_j\subset {\mathbb {R}}\) compact such that
Arguing similarly to Proposition 5.6, we conclude (possibly after passing to a non-relabelled subsequence of \((A_j)_j\)) that \(d_H^m(A_j, A)\rightarrow 0\) as \(j\rightarrow \infty \) for some \(A\subset {\mathbb {R}}^m\) compact with the property that \(A\times A \subset \widehat{K}\). It follows then in view of
a.e. in \(\Omega \times \Omega \), that \(\Vert \mathrm{dist}(v_{u_j}, A\times A)\Vert _{L^\infty (\Omega \times \Omega ;{\mathbb {R}}^m\times {\mathbb {R}}^m)}\rightarrow 0\) as \(j\rightarrow \infty \). Then, by the fundamental theorem of Young measures in Theorem 2.1(iii), \(\mathrm{supp\,}\Lambda \subset A\times A\subset \) a.e. in \(\Omega \times \Omega \). If we take P as the maximal Cartesian subset of \(\widehat{K}\) containing \(A\times A\), this shows that \(\Lambda \in \mathcal {Y}_P\) and finishes the proof. \(\square \)
Remark 5.13
Based on Theorem 5.12, we can now give a short alternative proof of (5.16). Precisely, combining Theorem 5.12 with (5.21) and Lemma 2.2 shows that
If \(m=1\), Lemma 4.13 implies that \(\widetilde{\mathcal {A}} =\mathcal {A}_{\widehat{K}^{\mathrm{sc}}}\), which confirms (5.16) in the scalar case. If \(m>1\), we apply Remark 4.14 to find that \(\mathcal {A}_{\widehat{\widehat{K}^{\mathrm{sc}}}}\subset \widetilde{\mathcal {A}} \subset \mathcal {A}_{\widehat{K}^{\mathrm{sc}}}\), which allows us to conclude in view of Proposition 5.1.
6 Nonlocal indicator functionals
The aim of this section is to relate the previous results with the theory of nonlocal unbounded functionals, in particular, with indicator functionals.
6.1 Lower semicontinuity and relaxation
For \(K\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\), we define the indicator functional \(I_K:L^\infty (\Omega ;{\mathbb {R}}^m)\rightarrow \{0, \infty \}\) by
recall the notations from (2.3) and (5.1). It is clear from the second equality in (6.1) that the lower semicontinuity and relaxation of \(I_K\) regarding the weak\(^*\) topology in \(L^\infty (\Omega ;{\mathbb {R}}^m)\) are closely related to the asymptotic behaviour of sequences in \(\mathcal {A}_K\) with respect to the same topology, cf. Remark 1.2a. In fact, the \(L^\infty \)-weak\(^*\) lower semicontinuity of \(I_K\) corresponds to the weak\(^*\) closedness of \({\mathcal {A}}_K\), while determining its relaxation, i.e.,
for all \(u\in L^\infty (\Omega ;{\mathbb {R}}^m)\), is equivalent to characterizing the \(L^\infty \)-weak\(^*\) closure of \(\mathcal {A}_K\), denoted by \(\mathcal {A}_K^\infty \) in (5.15).
Formulated here again for the readers’ convenience, the counterparts of Corollary 5.10 and Theorem 1.1 in terms of indicator functionals are the following.
Corollary 6.1
Let \(K\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\) be as in Theorem 1.1.
-
(i)
The functional \(I_K\) is \(L^\infty \)-weakly\(^*\) lower semicontinuous, if and only if
$$\begin{aligned} \widehat{\widehat{K}^{\mathrm{sc}}} =\widehat{K}; \end{aligned}$$for \(m=1\), this is the same as \(\widehat{K}\) (or equivalently, \(\chi _{\widehat{K}}\)) being separately convex.
-
(ii)
Moreover, \(I^{\mathrm{rlx}}_K=I_{\widehat{K}^{\mathrm{sc}}}\), where the latter is the functional in (6.1) associated with the separately convex hull \({\widehat{K}}^{\mathrm{sc}}\).
6.2 Young measure relaxation
As an application of Theorem 5.12, we determine the relaxation in the Young measure setting of a class of extended-valued double-integral functionals. This result can be viewed as a generalization of [12, Theorem 6.1].
For \(K\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\), let the functional \(I^{\mathcal {Y}}_K: L^\infty _w (\Omega ;\mathcal {P}r(\mathbb {R}^m))\rightarrow \{0,\infty \}\) be defined by
for \(\nu \in L_{w}^\infty (\Omega ;{\mathcal {P}r}(\mathbb {R}^m))\).
The follwing reformulation of Theorem 5.12 states a Young measure relaxation for nonlocal indicator functionals in general dimensions.
Corollary 6.2
Let \(K\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\) be compact.
-
(i)
If the bounded sequence \((u_j)_j \subset L^\infty (\Omega ;\mathbb {R}^m)\) generates the Young measure \(\nu \), in formulas, \(u_j{\mathop {\longrightarrow }\limits ^{YM}} \nu \), then
$$\begin{aligned} \liminf _{j\rightarrow \infty } I_K(u_j) \ge I_{K}^{\mathcal {Y}}(\nu ). \end{aligned}$$(6.3) -
(ii)
For every \(\nu \in L_w^\infty (\Omega ;{\mathcal {P}r}({\mathbb {R}}^m))\) there exists a sequence \((u_j)_j\subset L^\infty (\Omega ;{\mathbb {R}}^m)\) with \(u_j{\mathop {\longrightarrow }\limits ^{YM}} \nu \) such that
$$\begin{aligned} \lim _{j\rightarrow \infty } I_K(u_j) = I_{K}^{\mathcal {Y}}(\nu ). \end{aligned}$$
Remark 6.3
If \(K\subset \mathbb {R}^m \times \mathbb {R}^m\) is compact as in Theorem 1.1, i.e. \(\widehat{K}^{\mathrm{sc}}\) is compact and satisfies (5.17), we can directly verify the expected relations between the functionals arising from classical and Young measure relaxation of \(I_K\). For any \(\nu \in L^\infty _w(\Omega ;{\mathcal {P}r}(\mathbb {R}^m))\),
moreover, for every \(u \in L^\infty (\Omega ;{\mathbb {R}}^m)\), there exists a Young measure \(\nu \in L^\infty _w(\Omega ;{\mathcal {P}r}(\mathbb {R}^m))\) with \([\nu ]=u\) such that
To see (6.5), it is enough to invoke Theorem 1.1 and the characterizion in Theorem 5.12.
As regards the justification of (6.4), we may assume without loss of generality that \(I^{\mathcal {Y}}_{K}(\nu )=0\); thus, there exists \(P=A\times A \in {\mathcal {P}}_{\widehat{K}}\) with \(A\subset {\mathbb {R}}^m\) such that \(\nu _x \otimes \nu _y \in P\) for a.e. \((x,y)\in \Omega \times \Omega \). By Theorem 5.12, one can find a sequence \((u_j)_j \subset {\mathcal {A}}_P\) generating \(\nu \) and converging weakly\(^*\) to \(u= [\nu ]\) in \(L^\infty (\Omega ;{\mathbb {R}}^m)\), with \(u\in A^{\mathrm{co}}\) for a.e. in \(\Omega \). These observations, together with Lemma 2.7 and \(A^{\mathrm{co}}\times A^{\mathrm{co}} = (A\times A)^{\mathrm{sc}}\subset {\widehat{K}}^{\mathrm{sc}}\), imply that
as stated.
As a consequence of Corollary 6.2 and the results in [12, Section 6], one can deduce a Young measure representation for the relaxation of constrained nonlocal integral functionals of the type
where \(w:\Omega \times \Omega \times \mathbb {R}^m \times \mathbb {R}^m\rightarrow \mathbb {R}_\infty \) is exactly as in [12, Theorem 6.1]. Indeed, the superadditivity of \(\liminf \), (6.3), and [12, Theorem 6.1] entail for every bounded sequence \((u_j)_j \subset L^\infty (\Omega ;\mathbb {R}^m)\) with \(u_j{\mathop {\longrightarrow }\limits ^{YM}} \nu \) that
On the other hand, if \(\nu \in L_w^\infty (\Omega ;{\mathcal {P}r}({\mathbb {R}}^m))\), we choose \((u_j)_j\) to be a sequence as in Corollary 6.2(ii), and apply the version of the fundamental theorem on Young measures in [12, Proposition 3.6] to conclude that
6.3 Notions of nonlocal convexity
In [12] and the references therein, the authors introduce and analyze different notions of nonlocal convexity for inhomogeneous finite-valued double-integral functionals, including nonlocal convexity, nonlocal convexity for Young measures, and a nonlocal Jensen inequality. Here, we transfer these notions to our context of homogeneous indicator functionals in the scalar setting, i.e. functionals \(I_K\) and \(I_K^{\mathcal {Y}}\) as in (6.1) and (6.2) with K as in Theorem 1.1, and discuss their relation.
Let us first define the condition referred to as nonlocal convexity (NC): For every \(w \in L^\infty (\Omega ;\mathbb {R}^m),\) the function
A generalization of condition (NC) is the following nonlocal convexity for Young measures (NY), which requires that for every \(\nu \in L^\infty _w (\Omega ;\mathcal {P}r(\mathbb {R}^m))\), the function
Inspired by Pedregal [39, Proposition 3.1 and (4.3)], we consider the nonlocal Jensen’s inequality
for any \(\nu \in L^\infty _w(\Omega ;\mathcal {P}r(\mathbb {R}^m))\), cf. (6.2) for the definition of \(I_K^{\mathcal {Y}}\). Finally, we denote by \(\mathrm{(SC)}\) the separate convexity of \(\chi _{\widehat{K}}\) (or equivalently, of \(\widehat{K}\)).
The next proposition establishes the equivalence of all these notions. In particular, in view of Corollary 5.10 and Remark 1.2a, they are all necessary and sufficient for \(L^\infty \)-weak\(^*\) lower semicontinuity of \(I_K\).
Proposition 6.4
If \(K\subset \mathbb {R}^m \times \mathbb {R}^m\) is as in Theorem 1.1, then
Proof
For the proof of \(\mathrm{(NJ)}\Leftrightarrow \mathrm{(SC)}\), we make use of (6.4) and (6.5), together with the fact that \(I_K= I_{K^{\mathrm{sc}}}\) implies
due to Proposition 5.1 and Lemma 4.5.
The arguments behind the other implications are straight-forward. The implication \(\mathrm{(SC)}\Rightarrow \mathrm{(NY)}\) follows right from the definition of separate convexity of \(\chi _{\widehat{K}}\). Via the identification of \(u \in L^\infty (\Omega ;{\mathbb {R}}^m)\) with the family of Dirac measures \(\{\delta _{u(x)}\}_{x\in \Omega }\), the condition (NY) is clearly at least as strong as (NC).
To see \(\mathrm{(NC)}\Rightarrow \mathrm{(SC)}\), it suffices to restrict (NC) to constant functions and exploit the symmetry of \(\widehat{K}\). \(\square \)
7 Nonlocal supremal functionals
The main focus of this section is the proof of Theorem 1.3, which is based on the results established previously. In what follows, \(W:\mathbb {R}^m\times \mathbb {R}^m\rightarrow \mathbb {R}\) is always assumed to be lower semicontinuous and coercive. In terms of the level sets of W, this means that \(L_c(W)\) are compact for any \(c\in {\mathbb {R}}\).
We start, in view of Remark 1.2a, with a characterization result for \(L^\infty \)-weak\(^*\) lower semicontinuity of functionals as in (1.1) that exploits the relations with nonlocal indicator functionals and nonlocal inclusions. It is a nonlocal version of the analogous statement in the local setting pointed out first by Acerbi, Buttazzo and Prinari in [1, Remark 4.4] and used later e.g. by Briani, Garroni and Prinari in [17, Proposition 4.4], see also [10, Lemma 1.4].
Proposition 7.1
Recalling the definitions in (1.1), (5.1) and (6.1), the following three statements are equivalent:
-
(i)
J is \(L^\infty \)-weakly\(^*\) lower semicontinuous;
-
(ii)
\(\mathcal {A}_{L_c(W)}\) is \(L^\infty \)-weakly\(^*\) closed for all \(c\in {\mathbb {R}}\);
-
(iii)
\(I_{L_c(W)}\) is \(L^\infty \)-weakly\(^*\) lower semicontinuous for all \(c\in {\mathbb {R}}\).
Proof
The equivalence of (ii) and (iii) follows immediately from (6.1). It remains to prove that (i) and (ii) are equivalent.
Assuming that (i) holds, consider any \(c \in \mathbb {R}\) and any sequence \((u_j)_j\subset \mathcal {A}_{L_c(W)}\) and \(u\in L^\infty (\Omega ;{\mathbb {R}}^m)\) such that \(u_j\rightharpoonup ^*u\) in \(L^\infty (\Omega ;\mathbb {R}^m)\). Since the \(L^\infty \)-weak\(^*\) lower semicontinuity of J ensures that
we conclude that \((u(x), u(y))\in L_c(W)\) for a.e. \((x,y)\in \Omega \times \Omega \), meaning \(u \in \mathcal {A}_{L_c(W)}\). This proves (ii).
For the reverse implication, we take \(u_j \rightharpoonup ^*u\) in \(L^\infty (\Omega ;{\mathbb {R}}^m)\) with
Let \(C_\mathrm{sup}:=\mathop {\mathrm{ess\, sup }}_{(x,y)\in \Omega \times \Omega }W(u(x),u(y))\) and assume by contradiction that
Then, for any \(\varepsilon \in (0, C_\mathrm{sup}-c)\) there exists an index \(N=N(\varepsilon ) \in \mathbb {N}\) such that for every \(j \ge N\),
or equivalently, \(u_j \in \mathcal {A}_{L_{c+\varepsilon }(W)}\). Due to (ii), we infer that \(u \in \mathcal {A}_{L_{c+\varepsilon }(W)}\), and hence, \(W(u(x), u(y))\le c+\varepsilon \) a.e. in \(\Omega \times \Omega \). The desired contradiction follows now from
which concludes the proof.
7.1 Lower semicontinuity and relaxation
The following characterization result, which can be obtained from combining Corollary 5.10 and Proposition 7.1, generalizes Theorem 1.3 (i) to the vectorial setting, cf. Lemma 4.5.
Corollary 7.2
Let J be a nonlocal supremal functional as in (1.1) such that \(\widehat{L_c(W)}\) is compact and satisfies (5.17) for every \(c\in {\mathbb {R}}\). Then, J is \(L^\infty \)-weakly\(^*\) lower semicontinuous if and only if for all \(c\in {\mathbb {R}}\),
Remark 7.3
Notice that the sufficiency of the separate convexity of the symmetrized and diagonalized sublevel sets of W to ensure \(L^\infty \)-weak\(^*\) lower semicontinuity of J as in (1.1) holds without any further assumptions also in the vectorial case \(m>1\). The argument employs Proposition 3.6 under consideration of (7.3) and (7.2) below.
Our next goal is to establish a representation formula for the relaxation of J. Inspired by the previous corollary, we define \(\widehat{W}:{\mathbb {R}}^{m}\times {\mathbb {R}}^m\rightarrow {\mathbb {R}}\) by
Then, for any \(c\in {\mathbb {R}}\),
Since the sublevel sets of W are compact, this shows in particular that the level sets of \(\widehat{W}\) are compact as well, and hence, that \(\widehat{W}\) is lower semicontinuous. Moreover, \(\widehat{W}\) is coercive due to \(\widehat{W}\ge W\), and symmetric, i.e., \(\widehat{W}(\xi ,\zeta )= \widehat{W}(\zeta , \xi )\) for every \((\xi ,\zeta )\in \mathbb {R}^m \times \mathbb {R}^m\), by definition, cf. (4.1).
It is crucial to realize that a functional J as in (1.1) has a uniquely determined supremand W only up to symmetrization and diagonalization in the sense of (7.1). To be precise, it holds that
for \(u\in L^{\infty }(\Omega ;\mathbb {R}^m)\); indeed, along with Proposition 5.1 and (7.2),
In light of Definition 3.3 for the separate level convex envelope of a function and Definition 3.1 for the separately convex hull of a set, it is immediate to see that
If \(m=1\), one can show that even equality holds in (7.5). In particular, if we recall the properties of \(\widehat{W}\) and Remark 3.2, this implies that \(\widehat{W}^{\mathrm{slc}}:\mathbb {R} \times \mathbb {R} \rightarrow \mathbb {R}\) is lower semicontinuous and coercive.
Lemma 7.4
Let \(\widehat{W}\) as in (7.1) and \(m=1\). Then, for every \(c\in {\mathbb {R}}\),
Proof
Define the auxiliary function
Since all sublevel sets of \(\widehat{W}\) are compact, symmetric and diagonal, Lemma 4.9 entails that for any \(c\in {\mathbb {R}}\),
which shows that V is separately level convex. Due to \(\widehat{W}\ge V\), we conclude that \(\widehat{W}^{\mathrm{slc}}\ge V\), and consequently \(L_c(\widehat{W}^{\mathrm{slc}})\subset L_c(V) = L_c(\widehat{W})^{\mathrm{sc}}\) for all \(c\in {\mathbb {R}}\). Considering that the other inclusion is immediate in view of the definition of the separately level convex envelope \(\widehat{W}^{\mathrm{slc}}\) completes the proof.
With these preparations, we can now prove Theorem 1.3 (ii), namely the relaxation result for supremal nonlocal functionals in the scalar case.
Proposition 7.5
Let J be the functional in (1.1) with \(m=1\). The relaxation of J given by its \(L^\infty \)-weak* lower semicontinuous envelope
admits the supremal representation
Proof
The argument for the lower bound on \(J^{\mathrm{rlx}}\) relies on Corollary 7.2 and (7.3), together with the simple observation that \(\widehat{W}\ge \widehat{W}^{\mathrm{slc}}\).
For the upper bound on \(J^{\mathrm{rlx}}\), take any \(u\in L^\infty (\Omega )\) such that
Then there exists a sequence of real numbers \((c_k)_k\) with \(c_k\searrow c\) as \(k\rightarrow \infty \) such that owing to (7.4) and (7.2),
Now, Theorem 1.1 applied to \(\mathcal {A}_{\widehat{L_{c_k}(W)}^{\mathrm{sc}}}\) for every \(k\in \mathbb {N}\) guarantees the existence of a sequences \((u_{k, j})_j\subset \mathcal {A}_{L_{c_k}(W)}\) with \(u_{k,j}\rightharpoonup ^*u\) in \(L^\infty (\Omega )\) as \(j\rightarrow \infty \). Via diagonalization (see [3, Lemma 1.15, Corollary 1.16]), one can select a diverging subsequence \(k(j)\rightarrow \infty \) as \(j\rightarrow \infty \) such that the sequence \((u_j)_j\) with \(u_j:=u_{k(j), j} \in \mathcal {A}_{L_{c_{k(j)}}(W)}\) for \(j\in \mathbb {N}\) satisfies \(u_j \rightharpoonup ^*u\) in \(L^\infty (\Omega )\).
Then,
\(\square \)
Under additional assumptions, we can generalize Proposition 7.5 to the vectorial case.
Remark 7.6
Let \(W:{\mathbb {R}}^m\times {\mathbb {R}}^m\rightarrow {\mathbb {R}}\) with \(m>1\) such that for any \(c\in {\mathbb {R}}\), the sublevel set \(\widehat{L_c(W)}\) is compact and satisfies both (5.17) and (7.6). Then, the \(L^\infty \)-weak\(^*\) lower semicontinuous envelope of J is then given by the nonlocal supremal functional with density \(\widehat{\widehat{W}^{\mathrm{slc}}}\), which may in general be different from \(\widehat{W}^{\mathrm{slc}}\), as Remark 4.6 b indicates.
7.2 Explicit examples of lower semicontinuous functionals and relaxations
To illustrate the general results of Sect. 7.1, we present a few examples of nonlocal \(L^\infty \)-functionals whose supremands have multiwell structure.
In the scalar setting, we determine explicit relaxation formulas for two nonlocal four-well supremands. Even though the sets of wells can be transformed into each other via rotation and scaling, their relaxations feature qualitative differences.
Example 7.7
Throughout this example, \(|\cdot |_{\square }\) stands for the maximum norm on \(\mathbb {R}\times \mathbb {R}\cong {\mathbb {R}}^2\), i.e. \(|(\xi ,\zeta )|_\square =\max \{|\xi |, |\zeta |\}\) for \(\xi , \zeta \in \mathbb {R}\), and we write \(B_r^\square (\xi , \zeta )\) to denote the corresponding closed balls of radius \(r>0\) with center in \((\xi , \zeta )\in {\mathbb {R}}\times {\mathbb {R}}\). Moreover, \(\mathrm{dist}_\square (\cdot , E)\) indicates the maximum distance from a set \(E\subset {\mathbb {R}}\times {\mathbb {R}}\), cf. Sect. 2.1 for the corresponding notations with respect to the Euclidean norm.
(a) Let J as in (1.1) with \(W(\xi , \zeta ) = \mathrm{dist}((\xi , \zeta ), K_6)\) for \((\xi , \zeta )\in {\mathbb {R}}\times {\mathbb {R}}\), where \(K_6=\{-1,1\}\times \{-1,1\}\) is the compact, diagonal and symmetric set from (4.2). Then, for \(c\ge 0\), the level sets of W are unions of balls, precisely, \(L_c(W) = \bigcup _{(\xi , \zeta )\in K_6} B_c(\xi , \zeta )\), while \(L_c(W)=\emptyset \) for \(c<0\). It follows along with (7.2) that for \(c\ge 0\),
which is the union of the maximal squares contained in the balls whose union gives \(L_c(W)\), and hence, \(\widehat{W}(\xi , \zeta ) = \sqrt{2} \,\mathrm{dist}_{\square }((\xi ,\zeta ), K_6)\) for \((\xi , \zeta )\in {\mathbb {R}}\times {\mathbb {R}}\).
Due to (7.5), \( L_c(\widehat{W}^{\mathrm{slc}})=L_c(\widehat{W})^{\mathrm{sc}}= B^\square _{1+\frac{c}{\sqrt{2}}}(0,0)\) for \(c\ge 0\), and we infer that
for \((\xi , \zeta )\in {\mathbb {R}}\times {\mathbb {R}}\). By Proposition 7.5, this gives rise to an explicit expression for \(J^{\mathrm{rlx}}\).
A curiosity related to the nonlocal behavior of W and the associated necessary diagonalization is that, unlike for local supremal functionals, \(\widehat{W}^{\mathrm{slc}}\) is not everywhere smaller than W; for instance, \(\widehat{W}^{\mathrm{slc}}(1, 1+r) = \sqrt{2}r > r = W(1, 1+r)\) for any \(r>0\).
(b) Consider J from (1.1) with \(W(\xi , \zeta ) = \mathrm{dist}((\xi , \zeta ), K_5)\) for \((\xi , \zeta )\in {\mathbb {R}}\times {\mathbb {R}}\) and the compact set \(K_5=\{(0,1), (1,0), (0, -1), (-1, 0)\}\) from (4.2). Similarly to a), the sublevel sets \(L_c(W)\) are non-empty for \(c\ge 0\), with \(L_c(W)=\bigcup _{(\xi , \zeta )\in K_5} B_c(\xi , \zeta )\). We observe that \(L_c(\widehat{W}) = \widehat{L_c(W)}=\emptyset \) for \(c<\frac{1}{\sqrt{2}}\), while for \(c\ge \frac{1}{\sqrt{2}}\), a simple geometric argument shows that
with \(r_{\pm }(c)=\frac{1}{2}\max \{1\pm \sqrt{2c^2-1}, 0\}\), and consequently, \(L_c(\widehat{W})^{\mathrm{sc}}= B_{r_+(c)}^\square (0,0)\). In view of (7.5), we finally obtain
for \((\xi , \zeta )\in {\mathbb {R}}\times {\mathbb {R}}\), which yields an explicit formula for the relaxation \(J^{\mathrm{rlx}}\), see Proposition 7.5.
We point out that in this example, even the minimum of W is smaller than that of \(\widehat{W}^{\mathrm{slc}}\), precisely, \(\min W = 0 < \tfrac{1}{\sqrt{2}}= \min \widehat{W}= \min \widehat{W}^{\mathrm{slc}}\).
The next examples show the \(L^\infty \)-weak\(^*\) lower semicontinuity of two types of supremal functionals with symmetric two-well supremands in the vectorial setting.
Example 7.8
(a) For \(K=\{(-\alpha , -\alpha ), (\alpha , \alpha )\}\subset {\mathbb {R}}^m\times {\mathbb {R}}^m\) with \(\alpha \in {\mathbb {R}}^m\setminus \{0\}\), let \(W(\xi , \zeta ) = \mathrm{dist}_\square ((\xi , \zeta ), K):= \min _{\beta \in \{-\alpha , \alpha \}} \max \{|\xi -\beta |, |\zeta -\beta |\}\) for \((\xi , \zeta ) \in {\mathbb {R}}^m\times {\mathbb {R}}^m\). Then the level sets for any \(c\in {\mathbb {R}}\) are given by
recalling that \(B_{r}(\xi )=\{\zeta \in {\mathbb {R}}^m: |\zeta -\xi |\le r\}\) for \(r>0\) and \(\xi \in {\mathbb {R}}^m\), cf. Sect. 2.1. Note that W is not separately level convex, since \(L_c(W)\) fails to be separately convex for \(c\ge |\alpha |\); in particular, Proposition 3.6 is not applicable here. However, as the union of Cartesian products of convex sets, all level sets of W are clearly symmetric and diagonal, meaning \(W=\widehat{W}\), and we can infer in light of Remark 4.6b and (7.2) that
By Remark 7.6, this condition is sufficient for \(L^\infty \)-weakly\(^*\) lower semicontinuity for J as in (1.1).
(b) The same statement as in (a) holds for J, if we use \(K=\{(\alpha , -\alpha ), (-\alpha , \alpha )\}\) with \(\alpha \in {\mathbb {R}}^m\setminus \{0\}\) and set \(W(\xi , \zeta ) =\mathrm{dist}_\square ((\xi , \zeta ),K):= \min \{\max \{|\xi -\alpha |, |\zeta +\alpha |\}, \max \{|\xi +\alpha |, |\zeta -\alpha |\}\}\) for \((\xi , \zeta )\in {\mathbb {R}}^m\times {\mathbb {R}}^m\). Then,
for \(c\in {\mathbb {R}}\), and
Considering that these sets are already separately convex, we conclude again with Remark 7.6.
References
Acerbi, E., Buttazzo, G., Prinari, F.: The class of functionals which can be represented by a supremum. J. Convex Anal. 9(1), 225–236 (2002)
Ambrosio, L., Fusco, N., Pallara, D.: Functions of Bounded Variation and Free Discontinuity Problems. Oxford Mathematical Monographs. Oxford University Press, Oxford (2000)
Attouch, H.: Variational Convergence for Functions and Operators. Applicable Mathematics Series. Pitman (Advanced Publishing Program), Boston, MA (1984)
Aumann, R.J., Hart, S.: Bi-convexity and bi-martingales. Israel J. Math. 54(2), 159–180 (1986)
Ball, J.M.: A version of the fundamental theorem for Young measures. In: PDEs and Continuum Models of Phase Transitions (Nice, 1988). Lecture Notes in Phys., vol. 344, pp. 207–215. Springer, Berlin (1989)
Barron, E.N.: Viscosity solutions and analysis in \(L^\infty \). In: Nonlinear analysis, differential equations and control (Montreal, QC, 1998). NATO Sci. Ser. C Math. Phys. Sci., vol. 528, pp. 1–60. Kluwer Acad. Publ., Dordrecht (1999)
Barron, E.N., Bocea, M., Jensen, R.R.: Duality for the \(L^\infty \) optimal transport problem. Trans. Am. Math. Soc. 369(5), 3289–3323 (2017)
Barron, E.N., Jensen, R.: Relaxed minimax control. SIAM J. Control Optim. 33(4), 1028–1039 (1995)
Barron, E.N., Jensen, R.R., Liu, W.: A Hopf-lax type formula for \(u_t + h(u, du) = 0\). J. Differ. Equ. 126(1), 48–61 (1996)
Barron, E.N., Jensen, R.R., Wang, C.Y.: Lower semicontinuity of \(L^\infty \) functionals. Ann. Inst. H. Poincaré Anal. Non Linéaire 18(4), 495–517 (2001)
Barron, E.N., Liu, W.: Calculus of variations in \(L^\infty \). Appl. Math. Optim. 35(3), 237–263 (1997)
Bellido, J.C., Mora-Corral, C.: Lower semicontinuity and relaxation via Young measures for nonlocal variational problems and applications to peridynamics. SIAM J. Math. Anal. 50(1), 779–809 (2018)
Bellido, J.C., Mora-Corral, C., Pedregal, P.: Hyperelasticity as a \(\Gamma \)-limit of peridynamics when the horizon goes to zero. Calc. Var. Partial Differ. Equ. 54(2), 1643–1670 (2015)
Bevan, J., Pedregal, P.: A necessary and sufficient condition for the weak lower semicontinuity of one-dimensional non-local variational integrals. Proc. R. Soc. Edinb. Sect. A 136(4), 701–708 (2006)
Bocea, M., Nesi, V.: \(\Gamma \)-convergence of power-law functionals, variational principles in \(L^\infty \), and applications. SIAM J. Math. Anal. 39(5), 1550–1576 (2008)
Brezis, H., Nguyen, H.-M.: Non-local functionals related to the total variation and connections with image processing. Ann. PDE 4(1), Art. 9, 77 (2018)
Briani, A., Prinari, F., Garroni, A.: Homogenization of \(L^\infty \) functionals. Math. Models Methods Appl. Sci. 14(12), 1761–1784 (2004)
Carbone, L., De Arcangelis, R.: Unbounded functionals in the calculus of variations. In: Representation, Relaxation, and Homogenization, vol. 125. Chapman & Hall/CRC Monographs and Surveys in Pure and Applied Mathematics. Chapman & Hall/CRC, Boca Raton (2002)
Champion, T., De Pascale, L., Prinari, F.: \(\Gamma \)-convergence and absolute minimizers for supremal functionals. ESAIM Control Optim. Calc. Var. 10(1), 14–27 (2004)
Cozzi, M., Dipierro, S., Valdinoci, E.: Nonlocal phase transitions in homogeneous and periodic media. J. Fixed Point Theory Appl. 19(1), 387–405 (2017)
Dacorogna, B.: Direct Methods in the Calculus of Variations. Applied Mathematical Sciences, vol. 78, 2nd edn. Springer, New York (2008)
Dal Maso, G., Fonseca, I., Leoni, G.: Asymptotic analysis of second order nonlocal Cahn-Hilliard-type functionals. Trans. Am. Math. Soc. 370(4), 2785–2823 (2018)
Finlay, C., Calder, J., Abbasi, B., Oberman, A.: Lipschitz regularized deep neural networks generalize and are adversarially robust. Preprint. arXiv:1808.09540 (2018)
Fonseca, I., Leoni, G.: Modern Methods in the Calculus of Variations: \(L^p\) Spaces. Springer Monographs in Mathematics. Springer, New York (2007)
Garroni, A., Nesi, V., Ponsiglione, M.: Dielectric breakdown: optimal bounds. R. Soc. Lond. Proc. Ser. A Math. Phys. Eng. Sci. 457(2014), 2317–2335 (2001)
Garroni, A., Ponsiglione, M., Prinari, F.: From 1-homogeneous supremal functionals to difference quotients: relaxation and \(\Gamma \)-convergence. Calc. Var. Partial Differ. Equ. 27(4), 397–420 (2006)
Gilboa, G., Osher, S.: Nonlocal operators with applications to image processing. Multiscale Model. Simul. 7(3), 1005–1028 (2008)
Guo, C.-Y.: Intrinsic geometry and analysis of Finsler structures. Ann. Mat. Pura Appl. (4) 196(5), 1685–1693 (2017)
Kohn, R.V., Little, T.D.: Some model problems of polycrystal plasticity with deficient basic crystals. SIAM J. Appl. Math. 59(1), 172–197 (1999)
Kolář, J.: Non-compact lamination convex hulls. Ann. Inst. H. Poincaré Anal. Non Linéaire 20(3), 391–403 (2003)
Koskela, P., Shanmugalingam, N., Zhou, Y.: Intrinsic geometry and analysis of diffusion processes and \(L^\infty \)-variational problems. Arch. Ration. Mech. Anal. 214(1), 99–142 (2014)
Kreisbeck, C., Zappale, E.: Loss of double-integral character during relaxation. Preprint. arXiv:1907.13180 (2019)
Mangasarian, O.L.: Nonlinear Programming. Repr. of the orig. (1969)
Mengesha, T., Du, Q.: On the variational limit of a class of nonlocal functionals related to peridynamics. Nonlinearity 28(11), 3999–4035 (2015)
Mora-Corral, C., Tellini, A.: Relaxation of a scalar nonlocal variational problem with a double-well potential. Calculus Var. Partial Differ. Equ. 59, 67 (2020). https://doi.org/10.1007/s00526-020-1728-4
Morrey Jr., C.B.: Multiple Integrals in the Calculus of Variations. Die Grundlehren der Mathematischen Wissenschaften, Band 130. Springer, New York (1966)
Muñoz, J.: Characterisation of the weak lower semicontinuity for a type of nonlocal integral functional: the \(n\)-dimensional scalar case. J. Math. Anal. Appl. 360(2), 495–502 (2009)
Murat, F.: Compacité par compensation. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 5, 489–507 (1978)
Pedregal, P.: Nonlocal variational principles. Nonlinear Anal. 29(12), 1379–1392 (1997)
Pedregal, P.: Parametrized Measures and Variational Principles. Progress in Nonlinear Differential Equations and their Applications, vol. 30. Birkhäuser Verlag, Basel (1997)
Pedregal, P.: Weak lower semicontinuity and relaxation for a class of non-local functionals. Rev. Mat. Complut. 29(3), 485–495 (2016)
Prinari, F.: Semicontinuity and relaxation of \(L^\infty \)-functionals. Adv. Calc. Var. 2(1), 43–71 (2009)
Ribeiro, A.M., Zappale, E.: Existence of minimizers for nonlevel convex supremal functionals. SIAM J. Control Optim. 52(5), 3341–3370 (2014)
Rindler, F.: Calculus of Variations. Universitext. Springer, Cham (2018)
Rogers, C.A.: Hausdorff Measures. Cambridge University Press, London (1970)
Savin, O., Valdinoci, E.: \(\Gamma \)-convergence for nonlocal phase transitions. Ann. Inst. H. Poincaré Anal. Non Linéaire 29(4), 479–500 (2012)
Silling, S.A.: Reformulation of elasticity theory for discontinuities and long-range forces. J. Mech. Phys. Solids 48(1), 175–209 (2000)
Tartar, L.: Compensated compactness and applications to partial differential equations. In: Nonlinear Analysis and Mechanics: Heriot–Watt Symposium, Vol. IV. Res. Notes in Math., vol. 39, pp. 136–212. Pitman (1979)
Acknowledgements
The authors would like to thank Giuliano Gargiulo and Martin Kružík for interesting discussions. CK was partially supported by a Westerdijk Fellowship from Utrecht University and by the NWO Grant TOP2.17.012. EZ is a member of the Gruppo Nazionale per l’Analisi Matematica, la Probabilitá e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM). This paper was written during visits of the authors at Mathematical Department of Utrecht University and at Dipartimento di Ingegneria Industriale dell’ Universitá di Salerno, whose kind hospitality and support are gratefully acknowledged. In particular, the support of GNAMPA through the program ‘Professori Visitatori 2018’ is gratefully acknowledged.
Author information
Authors and Affiliations
Corresponding authors
Additional information
Communicated by A. Malchiodi.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kreisbeck, C., Zappale, E. Lower semicontinuity and relaxation of nonlocal \(L^\infty \)-functionals. Calc. Var. 59, 138 (2020). https://doi.org/10.1007/s00526-020-01782-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-020-01782-w