Extremal rank-one convex integrands and a conjecture of \v{S}ver\'ak

TL;DR

This paper proves that verifying Jensen's inequality with extremal non-negative rank-one convex integrands suffices to determine if a probability measure is laminate, confirming a conjecture by vere1k.

Contribution

It identifies a subclass of extremal integrands, truncated minors, and confirms e1ve1k's conjecture from 1992.

Findings

Verification of Jensen's inequality with extremal integrands characterizes laminates.

Identification of truncated minors as a key subclass of extremal integrands.

Confirmation of e1ve1k's 1992 conjecture.

Abstract

We show that in order to decide whether a given probability measure is laminate it is enough to verify Jensen's inequality in the class of extremal non-negative rank-one convex integrands. We also identify a subclass of these extremal integrands, consisting of truncated minors, thus proving a conjecture made by \v{S}ver\'ak in (Arch. Ration. Mech. Anal. 119 293-300, 1992).

Figures

Equations

$$F_k(A)\equiv \{\begin{array}{ll}|\det A|& A\text{ has index }k\\ 0& \text{otherwise}\end{array}$$

$${\text{det}}^{+}\equiv \max (0,\det ),{\text{det}}^{-}\equiv \max (0,-\det ),$$

$${\text{det}}^{+}=\sum _{k\text{ is even}}{F}_k\text{ and }{\text{det}}^{-}=\sum _{k\text{ is odd}}{F}_k\text{ in }{\mathbb{R}}_{\text{sym}}^{n\times n}.$$

$$f(\overline{\nu })\le ⟨\nu ,f⟩,\overline{\nu }\equiv {\int }_{{\mathbb{R}}^{n\times n}}A\text{ d}\nu (A).$$

$$g(\overline{\nu })\le ⟨\nu ,g⟩$$

$$\left\{f:Q\to [0,\infty )\text{mathchar}58\sum _{i=1}^{2^{n\times n}}f(A_i)=1,f\text{ is rank-one convex}\right\}.$$

$$E(A)\le \text{vbox}-{\int }_{\Omega }E(A+D\phi (x))\text{d}x.$$

$$t\mapsto E(A+tX)$$

$$\sum _{i=1}^{N}E({\lambda }_i{A}_i)\le \sum _{i=1}^N{\lambda }_{i}E(A_i).$$

$$E\text{ convex }\stackrel{\text{⇒}}{\nLeftarrow }E\text{ polyconvex }\stackrel{\text{⇒}}{\nLeftarrow }E\text{ quasiconvex }\Rightarrow E\text{ rank-one convex }$$

$$E(tA)=|t{|}^{p}E(A)\text{ for all }A\in {\mathbb{R}}^{n\times n}\text{ and all }t\in \mathbb{R};$$

$$E(QAR)=E(A)\text{for all }Q,R\in \text{SO}(n).$$

$${\sigma }_j(A)={\tilde{\sigma }}_j(A)\text{ for }1\le j\le n-1,{\sigma }_n(A)=\text{sign}(\det A){\tilde{\sigma }}_n(A).$$

$$A=R\Sigma Q,\Sigma =\text{diag}({\sigma }_1,\dots ,{\sigma }_n).$$

$$E(A)=E(Q\sqrt{A{A}^T})=E(R\text{diag}({\sigma }_1,\dots ,{\sigma }_n)R^T)=E({\sigma }_1,\dots ,{\sigma }_n).$$

$$A\equiv \left[\begin{array}{cc}a& b\\ c& d\end{array}\right]=\frac{1}{2}\left[\begin{array}{cc}a+d& b-c\\ c-b& a+d\end{array}\right]+\frac{1}{2}\left[\begin{array}{cc}a-d& b+c\\ b+c& d-a\end{array}\right]\equiv A^{+}+A^{-}.$$

$${\mathbb{R}}^{2\times 2}={\mathbb{R}}_{\text{conf}}^{2\times 2}\oplus {\mathbb{R}}_{\text{aconf}}^{2\times 2},$$

$$\begin{array}{rl}{\sigma }_1(A)& =\frac{1}{2}\left(\sqrt{|A{|}^2+2|\det A|}+\sqrt{|A{|}^2-2|\det A|}\right)=\frac{1}{\sqrt{2}}(|A^{+}|+|A^{-}|),\\ {\sigma }_2(A)& =\frac{1}{2}\left(\sqrt{|A{|}^2+2|\det A|}-\sqrt{|A{|}^2-2|\det A|}\right)=\frac{1}{\sqrt{2}}(|A^{+}|-|A^{-}|),\end{array}$$

$$2\det A=|A^{+}{|}^2-|A^{-}{|}^2.$$

$$\left[\begin{array}{cc}a& b\\ c& d\end{array}\right]\mapsto \left((a+d)+i(c-b),(a-d)+i(b+c)\right)$$

$$t\mapsto E(z+t\xi ,w+t\zeta )$$

$$B_p(x,y)=((p^{\ast }-1)\Vert x\Vert -\Vert y\Vert )(\Vert x\Vert +\Vert y\Vert {)}^{p-1},$$

$$t\mapsto B_p(x+ta,y+tb)\text{ is convex whenever }\Vert a\Vert \ge \Vert b\Vert ,$$

$$\text{EuScript}{C}_{p^{\ast }-1}=\{(z,w)\in \mathbb{C}\times \mathbb{C}\text{mathchar}58(p^{\ast }-1)|z|=|w|\},$$

$$\text{EuScript}{C}_a\equiv \{(z,w)\in {\mathbb{C}}^2\text{mathchar}58a|z|=|w|\},$$

$$h_a(t,k)=\frac{1}{t}\frac{(a-k)[t(k-1)(a-1)-(a+1)(k+1)]}{(a+k)[t(k-1)(a+1)-(a-1)(k+1)]}$$

$$E(A)\le h_a(t,k)E(tA).$$

$$A_1=\frac{|z|}{2}\left(1+k+t-kt,1+k-t+kt\right),$$

$$B_1=\frac{|z|(1+k)}{a+1}\left(1,a\right),B_2=\frac{t|z|(1-k)}{a+1}\left(1,-a\right),$$

$$A={\lambda }_1{A}_1+(1-{\lambda }_1)B_1,$$

$$A_1={\lambda }_2(tA)+(1-{\lambda }_2)B_2,$$

Full text

1   Introduction

Since its introduction in the seminal work of Morrey [32], quasiconvexity has played an important role not just in the Calculus of Variations [11, 13, 21, 40] but also in problems from other areas of mathematical analysis, for instance in the theory of compensated compactness [35, 46]. Nonetheless, this concept is still poorly understood and has been mostly studied in relation with polyconvexity and rank-one convexity, which are respectively stronger and weaker notions that are easier to deal with (we refer the reader to Section 2 for terminology and notation). An outstanding open problem in the area is Morrey’s problem, which is the problem of deciding whether rank-one convexity implies quasiconvexity, so that the two notions coincide. A fundamental example [44] of Šverák shows that this implication does not hold in dimensions $3\times 2$ or higher and, more recently, Grabovsky [16] has found a different example in dimensions $8\times 2$ which moreover is $2$-homogeneous. The problem in dimensions $2\times 2$, in particular, remains completely open, but in the last two decades evidence towards a positive answer in this case has been piling up [2, 14, 17, 24, 25, 33, 37, 38, 41].

A presumably easier (but still unsolved) version of Morrey’s problem in dimensions $2\times 2$ is to decide whether rank-one convex integrands(1)(1)(1)We will refer to real-valued functions defined on a matrix space as integrands; this terminology is standard in the Calculus of Variations literature. in the space of $2\times 2$ symmetric matrices are quasiconvex. In this direction, Šverák introduced in [43] new quasiconvex integrands, which were later generalized in [15]. For any $n\times n$ symmetric matrix $A$, these integrands are defined by

[TABLE]

for $k=0,\dots,n$; we recall that the index of a matrix is the number of its negative eigenvalues. We also note that the integrand $F_{0}$ is sometimes called $\det^{++}$ in the literature, since its support is the set of positive definite matrices. These integrands have played an important role in studying other problems related to the Calculus of Variations, for instance in building counterexamples to the regularity of elliptic systems [34] or in the computation of rank-one convex hulls of compact sets [45].

In order to understand Šverák’s motivation for considering these integrands it is worth making a small excursion into classical convex analysis. Given a real vector space $\mathbb{V}$ and a convex set $K\subset\mathbb{V}$, one can define the set of extreme points of $K$ as the set of points which are not contained in any open line segment contained in $K$. In general the set of extreme points might be very small: this is what happens, for instance, when the set is a convex cone $C\subset\mathbb{V}$, since in this situation all non-zero vectors are contained in a ray through zero. However, if we can find a convex base $B$ for $C$, then we note that such a ray corresponds to a unique point in $B$. If this is an extreme point of $B$ then we say that we have an extremal ray.

We are interested in the extremal rays of the cone $C$ of rank-one convex integrands. This cone has the inconvenient feature that it is not line-free: there is a set of elements $v\in\mathbb{V}$ such that, for any $c\in C$ and any $t\in\mathbb{R}$, the point $c+tv$ is in $C$; this set is precisely $C\cap(-C)$. In turn, it is quite clear that this is the set of rank-one affine integrands. A reasonable way of disposing of rank-one affine integrands is by demanding non-negativity from all integrands from $C$. This leads us to the definition of extremality considered by Šverák: we say that a non-negative rank-one convex integrand $F$ is extremal if, whenever we have $F=E_{1}+E_{2}$ for $E_{1},E_{2}$ non-negative rank-one convex integrands, then each $E_{i}$ is a non-negative multiple of $F$. A weaker notion of extremality was introduced by Milton in [31] for the case of quadratic forms (see also [18]) but we shall not discuss it further here.

Let us now explain the relation between Šverák’s integrands and extremality. In [43] Šverák observed that the polyconvex integrand $|\det|\colon\mathbb{R}^{n\times n}\to[0,\infty)$ is not extremal, since $|\det|=\det^{+}+\det^{-}$, where as usual

[TABLE]

which are also polyconvex. He also observed that $\det^{\pm}$ are not extremal in $\mathbb{R}^{n\times n}_{\textup{sym}}$, since

[TABLE]

However, he conjectured that $\det^{\pm}$ are extremal in $\mathbb{R}^{n\times n}$ and also that each $F_{k}$ is extremal in $\mathbb{R}^{n\times n}_{\textup{sym}}$. In this paper we give an affirmative answer to both conjectures(2)(2)(2)In fact, Šverák only conjectures extremality in the cone of quasiconvex integrands, so our results are in this sense slightly stronger than his conjecture.:

1.1 Theorem**.**

Given a minor $M\colon\mathbb{R}^{n\times n}\to\mathbb{R}$, let $M^{\pm}$ be its positive and negative parts. Then $M^{\pm}$ are extremal non-negative rank-one convex integrands in $\mathbb{R}^{n\times n}$.

For $k=0,\dots,n$, the integrands $F_{k}\colon\mathbb{R}^{n\times n}_{\textup{sym}}\to\mathbb{R}$, are extremal non-negative rank-one convex integrands in $\mathbb{R}^{n\times n}_{\textup{sym}}$.

As a main tool we use the fact that, on a connected open set, a rank-one affine integrand is an affine combination of minors; this is proved by localizing the arguments from Ball–Currie–Olver [5] concerning the classification of Null Lagrangians.

The importance of extreme points in convex analysis has to do with the Krein–Milman theorem, which states that the closed convex hull of the set of extreme points of a compact, convex subset $K$ of a locally convex vector space is the whole set $K$—informally, this means that the set of extreme points is a set of “minimal information” needed to recover $K$. However, Klee [26] showed that Krein–Milman theorem is generically true for trivial reasons: if we fix an infinite-dimensional Banach space and we consider the space of its compact, convex subsets (which we can equip with the Hausdorff distance so that it becomes a complete metric space), then for almost every compact convex set $K$ its extreme points are dense in $K$. Here we mean “almost every” in the sense that the previous statement is false only in a meagre set. Despite this disconcerting result, the situation can be somewhat remedied with the help of Choquet theory, which roughly states that, under reasonable assumptions, an arbitrary point in $K$ can be represented by a measure carried in the set of its extreme points. For precise statements and much more information concerning Choquet theory we refer the reader to the lecture notes [39] or to the monograph [28] and for Krein–Milman-type theorems for semi-convexity notions see [23, 27, 29].

Theorem 1.1 can be interpreted in light of Choquet theory. It is well-known (see, for instance, the lecture notes [33]) that Morrey’s problem is equivalent to a dual problem, which is the problem of deciding whether the class of homogeneous gradient Young measures and the class of laminates are the same. Fix a compactly supported Radon probability measure $\nu$ on $\mathbb{R}^{n\times n}$; for simplicity we assume that $\nu$ has support contained in the interior of the cube $Q\equiv\prod_{i=1}^{n^{2}}[0,1]\subset\mathbb{R}^{n^{2}}\cong\mathbb{R}^{n\times n}.$ In order to decide whether $\nu$ is a laminate, we can resort to an important theorem due to Pedregral [36], which states that $\nu$ is a laminate if and only if Jensen’s inequality holds for any rank-one convex integrand $f\colon\mathbb{R}^{n\times n}\to\mathbb{R}$:

[TABLE]

Since the class of rank-one convex integrands is rather large, the problem of deciding whether a measure is a laminate is in general very hard. However, it follows from Choquet theory that one does not need to test $\nu$ against all rank-one convex integrands, it being sufficient to test it in a strictly smaller class:

1.2 Theorem**.**

Let $A_{1},\dots,A_{2^{n^{2}}}$ be the vertices of the cube $Q$. A Radon probability measure $\nu$ supported on the interior of $Q$ is a laminate if and only if

[TABLE]

for all integrands $g$ which are extreme points of the convex set

[TABLE]

We note that the summation condition is simply a normalization which corresponds to fixing a base of the cone of non-negative rank-one convex integrands on $Q$.

Our interest in extremal integrands was ignited by the work [3] of Astala–Iwaniec–Prause–Saksman, where it was shown that an integrand known as Burkholder’s function is extreme in the class of homogeneous, isotropic, rank-one convex integrands; in fact, this integrand is also the least integrand in this class, in the sense that no other element of the class is below it at all points. The relevance of this fact is readily seen: from standard results about quasiconvex envelopes it follows immediately that the Burkholder function is either quasiconvex everywhere or quasiconvex nowhere. Burkholder’s function was found in the context of martingale theory by Burkholder [9, 10] and was later generalized to higher dimensions by Iwaniec [19]. This remarkable function is a bridge between Morrey’s problem and important problems in Geometric Function Theory [1, 20] and we refer the reader to the very interesting papers [2, 3, 19] and the references therein for more details in this direction.

Finally, we give a brief outline of the paper. Section 2 contains standard definitions, notation and briefly recalls some useful facts for the reader’s convenience. Section 3 comprises results concerning improved homogeneity properties of rank-one convex integrands which vanish on isotropic cones. Section 4 is devoted to the proof of Theorem 1.1. Finally, Section 5 elaborates on the relation between Choquet theory and Morrey’s problem and we prove Theorem 1.2.

2   Preliminaries

In this section we will gather a few definitions and notation for the reader’s convenience. The material is standard and can be found for instance in the excellent references [12] and [33].

Consider an integrand $E\colon\mathbb{R}^{m\times n}\to\mathbb{R}$. We say that $E$ is polyconvex if $E(A)$ is a convex function of the minors of $A$, see [6]. If $E$ is locally integrable, we say that $E$ is quasiconvex if there is some bounded open set $\Omega\subset\mathbb{R}^{n}$ such that, for all $A\in\mathbb{R}^{m\times n}$ and all $\varphi\in C^{\infty}_{0}(\Omega,\mathbb{R}^{n})$,

[TABLE]

This notion was introduced in [32] and generalized to higher-order derivatives by Meyers in [30]. The case of higher derivatives was also addressed in [5], where it was shown that quasiconvexity is not implied by the corresponding notion of rank-one convexity if $m>2$ and $n\geq 2$. The integrand $E$ is rank-one convex if, for all matrices $A,X\in\mathbb{R}^{m\times n}$ such that $X$ has rank one, the function

[TABLE]

is convex. An equivalent definition of rank-one convexity is that $E$ is rank-one convex if, whenever $(A_{i},\lambda_{i})_{i=1}^{N}$ satisfy the $(H_{N})$ conditions (c.f. [12, Def. 5.14]), we have

[TABLE]

By a slight abuse of terminology we will call a collection $(A_{i},\lambda_{i})_{i=1}^{N}$ which satisfies the $(H_{N})$ conditions a prelaminate. It is also clear how to adapt the definition of rank-one convexity to the more general situation where $E$ is defined on an open set $\mathcal{O}\subset\mathbb{R}^{m\times n}$. Finally, $E\colon\mathbb{R}^{d}\to\mathbb{R}$ is separately convex if, for all $x\in\mathbb{R}^{d}$ and all $i=1,\dots,d$, the function $t\mapsto E(x+te_{i})$ is convex; we denote by $e_{1},\dots,e_{d}$ the standard basis of $\mathbb{R}^{d}$.

We recall that all real-valued rank-one convex integrands are locally Lipschitz continuous, a fact that we will often use implicitly. Moreover, if $(m,n)\neq(1,1)$, we have

[TABLE]

while $E$ quasiconvex $\Leftarrow E$ rank-one convex fails if $n\geq 2,m\geq 3$. The case $n\geq m=2$ is the content of Morrey’s problem.

We will only consider square matrices, so $n=m$. Besides polyconvexity, the integrands $\det^{\pm}\colon\mathbb{R}^{n\times n}\to[0,\infty)$ have two important properties: they are positively $n$-homogeneous (in fact, they are $n$-homogeneous if $n$ is even) and isotropic. A generic integrand $E\colon\mathbb{R}^{n\times n}\to\mathbb{R}$ is said to be $p$-homogeneous for a number $p\geq 1$ if

[TABLE]

it is positively $p$-homogeneous if the same holds only for $t>0$. The integrand $E$ is isotropic if it is invariant under the left– and right–$\textup{SO}(n)$ actions, that is,

[TABLE]

This condition can be understood in a somewhat more concrete way with the help of singular values. The singular values $\widetilde{\sigma}_{1}(A)\geq\dots\geq\widetilde{\sigma}_{n}(A)\geq 0$ of a matrix $A$ are the eigenvalues of the matrix $\sqrt{AA^{T}}$. We shall consider the signed singular values $\sigma_{j}(A)$, which are defined by

[TABLE]

As we shall only deal with the signed singular values, the word signed will sometimes be omitted. The importance of singular values is largely due to the following standard result (c.f. [12, §13]):

2.1 Theorem**.**

Let $A\in\mathbb{R}^{n\times n}$. There are matrices $Q,R\in\textup{SO}(n)$ and real numbers $|\sigma_{n}|\leq\sigma_{n-1}\leq\dots\leq\sigma_{1}$ such that

[TABLE]

With the help of this theorem we can reinterpret isotropy as follows: consider the polar decomposition $A=Q\sqrt{AA^{T}}$ for some $Q\in\textup{O}(n)$ and consider a diagonalization of the positive-definite matrix $\sqrt{AA^{T}}$, so $R\sqrt{AA^{T}}R^{-1}=\textup{diag}(\widetilde{\sigma}_{1},\dots,\widetilde{\sigma}_{n})$ for some $R\in\textup{SO}(n)$. Here all the $\widetilde{\sigma}_{j}$’s are positive, but by flipping the sign of the last one if $\det A<0$ we can take $Q\in\textup{SO}(n)$. Hence, if $E$ is isotropic,

[TABLE]

So isotropic integrands are functions of the signed singular values.

When $n=2$ isotropy is particularly simple to handle, since there is a simple way of understanding the signed singular values of a matrix $A\in\mathbb{R}^{2\times 2}$. For this, we recall the conformal–anticonformal decomposition: we can write

[TABLE]

This corresponds to the decomposition

[TABLE]

which is orthogonal with respect to the Euclidean inner product. Here $\mathbb{R}^{2\times 2}_{\textup{conf}}$ is the space of conformal matrices while $\mathbb{R}^{2\times 2}_{\textup{aconf}}$ corresponds to the anticonformal matrices; these are the matrices that are scalar multiples of orthogonal matrices and have respectively positive and negative determinant. This decomposition is particularly useful for us because the singular values of $A$ satisfy the identities

[TABLE]

where $|A|^{2}=\textup{tr}(A^{T}A)$ denotes the usual Euclidean norm of a matrix. Hence, if $n=2$ and $E$ is isotropic, $E(A)=E(|A^{+}|,|A^{-}|)$. In particular, the above formulae yield

[TABLE]

The above decomposition also allows one to identify $\mathbb{R}^{2\times 2}\cong\mathbb{C}^{2}$ by the linear isomorphism

[TABLE]

The advantage of this identification is that we can say that a integrand $E\colon\mathbb{C}^{2}\to\mathbb{R}$ is rank-one convex if and only if the function

[TABLE]

is convex for all $(z,w)\in\mathbb{C}^{2}$ and all $(\xi,\zeta)\in S^{1}\times S^{1}$.

The conformal–anticonformal decomposition of $\mathbb{R}^{2\times 2}$ is also related to an important rank-one convex integrand, commonly referred to as Burkholder’s function. This function can be defined in any real or complex Hilbert space with the norm $\|\cdot\|$ by

[TABLE]

where $p^{*}-1=\max(p-1,(p-1)^{-1})$; here and in the rest of the paper, when referring to $B_{p}$, we implicitly assume that $1<p<\infty$. This remarkable function is zig-zag convex, i.e.

[TABLE]

see [10], and it is also $p$-homogeneous. If the Hilbert space where $B_{p}$ is defined is $\mathbb{C}$, the zig-zag convexity of $B_{p}$ implies that the Burkholder function $B_{p}\colon\mathbb{C}\times\mathbb{C}\to\mathbb{R}$ is rank-one convex. Since we are interested in non-negative integrands, we will also deal with the integrand $B_{p}^{+}\equiv\max(B_{p},0)$, which is also rank-one convex. Moreover, $B_{2}^{+}=\det^{+}$, so $B_{p}^{+}$ can be seen as a “$\det^{+}$-type integrand”, in the sense that it is rank-one convex, isotropic and vanishes on some cone

[TABLE]

but it is more general since it can be homogeneous with any degree of homogeneity strictly greater than one. We refer the reader to [19] for higher dimensional generalizations of $B_{p}$ and to [2] for extremality results concerning this integrand.

3   Homogeneity properties of a class of rank-one convex integrands

In this section we discuss homogeneity properties of rank-one convex integrands which vanish on cones, both in two and in higher dimensions. We are interested in the family of isotropic cones of aperture $a\geq 1$,

[TABLE]

motivated by the fact that the Burkholder function $B_{p}$ vanishes on $\EuScript{C}_{p^{*}-1}$. When $a=1$ we have $\EuScript{C}_{1}=\{\det=0\}$, which of course can be defined in any dimension.

3.1 Lemma**.**

Let $E\colon\mathbb{C}\times\mathbb{C}\to\mathbb{R}$ be rank-one convex and assume that, for some $a\geq 1$, $E$ is non-positive on $\EuScript{C}_{a}$. Define

[TABLE]

and let $A=(z,w)$ be such that $k\equiv|w|/|z|\leq 1$. Then, for $t\geq 1$,

[TABLE]

[Proof:]Let us write, for real numbers $x,y\in\mathbb{R}$, $(x,y)\equiv(xz/|z|,yw/|w|)\in\mathbb{C}\times\mathbb{C}$, so $A=(|z|,k|z|)$. We fix $t>1$ since when $t=1$ there is nothing to prove. Let us define the auxiliary points

[TABLE]

see Figure 1. Simple calculations show that

[TABLE]

and it is easy to verify that $B_{1}-A_{1}$ and $B_{2}-tA$ are rank-one directions. One also needs to verify that $\lambda_{1},\lambda_{2}\in[0,1]$, which is a lengthy but elementary calculation using the fact that $0\leq k\leq 1\leq a$.

Observe that $B_{1},B_{2}\in\EuScript{C}_{a}$ and so $E(B_{1})=E(B_{2})\leq 0$. Therefore, from rank-one convexity, we have

[TABLE]

**and a simple calculation shows that $\lambda_{1}\lambda_{2}=h_{a}(t,k)$. **

We now specialise the lemma to two important situations, in which one can say more. Let us first assume that $k=0$.

3.2 Proposition**.**

Let $E\colon\mathbb{C}\times\mathbb{C}\to\mathbb{R}$ be rank-one convex, positively $p$-homogeneous for some $p\geq 1$ and not identically zero. If there is some $a\geq 1$ such that $E=0$ on $\EuScript{C}_{a}$ then $p\geq\frac{1}{a}+1$.

We note that this inequality is sharp: indeed, the zero set of the Burkholder function $B_{p}$ is $\EuScript{C}_{p^{*}-1}$ and so, when $1<p<2$, we have

[TABLE]

Thus we can reinterpret this proposition as saying that, for $1<p<2$, the Burkholder function has the least possible order of homogeneity of rank-one convex integrands which vanish on $\EuScript{C}_{p^{*}-1}$.

[Proof:]In this proof we assume that $a>1$, since the case $a=1$ follows from Lemma 3.3 below. We claim that there is some $z\in\mathbb{C}$ such that $E(z,0)>0$. Once this is shown, the conclusion follows easily: take $k=0$ in Lemma 3.1 to find that $E(A)\leq F_{a}(t)E(A)$ where

[TABLE]

and $A=(z,0)$. Since $E(A)>0$, we must have $F_{a}(t)\geq 1$ for all $t\geq 1$. Moreover, $F_{a}(1)=1$ and an elementary computation reveals that

[TABLE]

which is non-negative precisely when $p\geq\frac{1}{a}+1$.

To finish the proof it suffices to prove the claim. Take an arbitrary $z\in S^{1}$ and take any rank-one line segment starting at $(z,0)$ and having the other end-point in $\EuScript{C}_{a}$; such a line must intersect $\EuScript{C}_{1}$, since $a>1$, say at $P_{z}$. Note that $E(P_{z})\geq 0$, since the function $t\mapsto E(tP_{z})=t^{p}E(P_{z})$ is convex. We conclude that $E(z,0)\geq 0$ with equality if and only if $E(P_{z})=0$, in which case $E$ is identically zero along the entire rank-one line segment.

To prove the claim we want to show that if $E(z,0)=0$ for all $z\in\mathbb{C}$ then $E$ is identically zero, so let us make this assumption. Then, from the previous discussion, we see that $E$ is identically zero in the “outside” of $\EuScript{C}_{a}$, i.e. in

[TABLE]

**Moreover, given any point $P$ in the interior of $\EuScript{C}_{a}$, there is a rank-one line segment through $P$ with both endpoints, say $P_{1},P_{2}$, in $\EuScript{C}_{a}^{+}$; this is the case because we assume $a>1$. But $E$ is zero in a neighbourhood of $P_{i}$ and since it is convex along the rank-one line segment $[P_{1},P_{2}]$ we conclude that it is also zero at $P$. **

We remark that, in one dimension, the only homogeneous extreme convex integrands are linear (c.f. Proposition 5.3) while, from the results of Section 4, for $n>1$ there are extremal rank-one convex integrands in $\mathbb{R}^{n\times n}$ which are positively $k$-homogeneous for any $k\in\{1,\dots,n\}$. It would be interesting to know whether there are extremal homogeneous integrands with other degrees of homogeneity, or whether there is an upper bound for the order of homogeneity of such integrands.

If we set $a=1$ in Lemma 3.1, so $\EuScript{C}_{1}=\{\det=0\}$, we see that $h_{1}(t,k)=t^{-2}$ and we find the estimate $t^{2}E(A)\leq E(tA)$ for $t\geq 1$. In fact, this holds in any dimension, and the proof is a simple variant of the proof of Lemma 3.1.

3.3 Lemma**.**

Let $E\colon\mathbb{R}^{n\times n}\to\mathbb{R}$ be a rank-one convex integrand which is non-positive on the cone $\{\det=0\}$. Then for all $A\in\mathbb{R}^{n\times n}$, $E$ satisfies

[TABLE]

[Proof:]Let us begin by observing that the second inequality follows from the first. Indeed, given a matrix $A\in\mathbb{R}^{n\times n}$ and $0<t<1$, let $B\equiv tA$ and apply the first inequality to $B$ to get

[TABLE]

this can be done since $1<\frac{1}{t}$. Hence we shall prove only the first inequality.

We begin by proving the statement in the case where $A$ is diagonal, so there are real numbers $\sigma_{j}$ such that $A=\textup{diag}(\sigma_{1},\dots,\sigma_{n})$. Let $A_{0}\equiv A$ and define, for $1\leq j\leq n$,

[TABLE]

Hence, for any $1\leq j\leq n$,

[TABLE]

This is a splitting of $A_{j-1}$ since we are assuming that $t>1$ and also

[TABLE]

which is a rank-one matrix. Iterating (3.4) we find

[TABLE]

and by construction this is a prelaminate. Thus rank-one convexity of $E$ yields

[TABLE]

since $\det(B_{j})=0$ for all $1\leq j\leq n$, hence $E(B_{j})\leq 0$, and also $A_{n}=tA$ by definition.

In the case where $A$ is not diagonal, we consider the singular value decomposition of Theorem 2.1, i.e. $A=Q\Sigma R$ where $Q,R\in\textup{SO}(n)$ and $\Sigma=\textup{diag}(\sigma_{1},\dots,\sigma_{n})$. We see that (3.5) can be rewritten as

[TABLE]

and so, multiplying this by $Q$ and $R$, we get

[TABLE]

We still have $\det(QB_{j}R)=\det(B_{j})=0$ and hence to finish the proof it suffices to show that this decomposition of $A$ is still a prelaminate. For this, we use the following elementary fact:

[TABLE]

The splittings used to obtain this prelaminate are rotated versions of (3.4), i.e.

[TABLE]

and this is still a legitimate splitting since

[TABLE]

As a simple consequence of the lemma, we find a rigidity result for decompositions of positively $n$-homogeneous integrands.

3.7 Proposition**.**

Let $E_{1},E_{2}\colon\mathbb{R}^{n\times n}\to\mathbb{R}$ be rank-one convex integrands which are non-positive on $\{\det=0\}$ and assume there is some positively $n$-homogeneous integrand $F$ such that $F=E_{1}+E_{2}$. Then each $E_{i}$ is positively $n$-homogeneous.

[Proof:]Define the “homogenized” integrands $E_{i}^{h}\colon\mathbb{R}^{n\times n}\to\mathbb{R}$ by

[TABLE]

so that the lemma yields

[TABLE]

Our claim is that $E_{i}=E_{i}^{h}$. Since $F=E_{1}+E_{2}$ it follows that

[TABLE]

**and we have equality on the sphere $\{A\in\mathbb{R}^{n\times n}\mathrel{\mathop{\mathchar 58\relax}}|A|=1\}$, where $E_{i}=E_{i}^{h}$. As both sides of the inequality are positively $n$-homogeneous they must be equal in the whole set $U$ and so $E_{i}=E_{i}^{h}$ in $U$. An identical argument establishes equality in the complement of $U$. **

3.8 Remark**.**

The proofs of Lemma 3.3 and Proposition 3.7 are fairly robust. In particular, a similar statement holds if the integrands $E_{i}$ are defined in $\mathbb{R}^{n\times n}_{\textup{sym}}$ instead of $\mathbb{R}^{n\times n}$. Indeed, $\mathbb{R}^{n\times n}_{\textup{sym}}$ is the set of (real) matrices that can be diagonalized by rotations. Thus, the prelaminate built in the proof of Lemma 3.3 has support in $\mathbb{R}^{n\times n}_{\textup{sym}}$ if $A$ is symmetric: for the nondiagonal case, one can take $R=Q^{-1}$.

Returning to the case $n=2$, it would be pleasant to have a result analogous to Proposition 3.7 for integrands vanishing on cones of aperture greater than one. However, this is not possible, since it would yield the extremality of the Burkholder function in the class of isotropic rank-one convex integrands. In order to see that this cannot be the case, we recall that Šverák introduced in [42] the rank-one convex function

[TABLE]

which is related to the Burkholder function $B_{p}$, when $1<p<2$, by

[TABLE]

see [4]. In particular, this shows that one cannot drop the homogeneity assumption from the results of [2].

4   Proof of extremality for truncated minors

This section is dedicated to the proof of Theorem 1.1. Although truncated minors are not linear along rank-one lines, they are piecewise linear along such lines. For this reason, it will be useful to have at our disposal the classification of rank-one affine integrands, which is due to Ball [6] in dimensions three or lower, Dacorogna [12] in higher dimensions and also Ball-Currie-Olver [5] in the case of higher order quasiconvexity. Given an open set $\mathcal{O}\subset\mathbb{R}^{n\times n}$ and an integrand $E\colon\mathcal{O}\to\mathbb{R}$ we say that $E$ is rank-one affine if both $E$ and $-E$ are rank-one convex; such integrands are also often called Null Lagrangians or quasiaffine.

4.1 Theorem**.**

Let $\mathcal{O}\subset\mathbb{R}^{n\times n}$ be a connected open set and consider a rank-one affine integrand $E\colon\mathcal{O}\to\mathbb{R}$. Then $E(A)$ is an affine combination of the minors of $A$.

More precisely, let $\mathbf{M}(A)$ be the matrix consisting of the minors of $A$ and let $\tau(n)\equiv(2n)!/(n!)^{2}$ be its length. There is a constant $c\in\mathbb{R}$ and a vector $v\in\mathbb{R}^{\tau(n)}$ such that

[TABLE]

This theorem is essentially a particular case of [5, Theorem 4.1], the only difference being that in this paper the authors deal only with integrands defined on the whole space. We briefly sketch how to adapt their proof to our case. The first result needed is the following:

4.2 Lemma**.**

Let $\mathcal{O}\subset\mathbb{R}^{n\times n}$ be open. A smooth integrand $E\colon\mathcal{O}\to\mathbb{R}$ is rank-one affine if and only if, for any $k\geq 2$,

[TABLE]

for all $A\in\mathcal{O}$ and all $v_{i},w_{i}\in\mathbb{R}^{n}$ with $w_{1},\dots,w_{k}$ linearly dependent.

In particular, when $\mathcal{O}$ is connected, any continuous rank-one affine integrand $E$ is a polynomial of degree at most $n$.

We remark that our proof is very similar to the one in [6, Theorem 4.1].

[Proof:]We recall that a smooth integrand $E$ is rank-one affine if and only if

[TABLE]

and so clearly one of the directions of the lemma holds. Hence let us assume that $E$ is rank-one affine and fix some point $A\in\mathcal{O}$. Define the $2k$-tensor $T\colon(\mathbb{R}^{n})^{2k}\to\mathbb{R}$ by

[TABLE]

Moreover, since $E$ is rank-one affine, $T$ is alternating. This follows from the following claim: if $w_{j}=w_{l}$ for some $j\neq l$, then

[TABLE]

To see why this claim is true, we note that it certainly holds when $k=2$, since (4.3) implies that

[TABLE]

since $D^{2}E(A)[v_{1}\otimes w,v_{1}\otimes w]=0$ and the same with $v_{2}$ in the place of $v_{1}$. For a general $k\geq 2$, we use implicit summation to see that

[TABLE]

where $\widehat{\cdot}$ represents an omitted term. Now we can apply the $k=2$ case to the term in square brackets to see that

[TABLE]

as wished.

To prove the lemma under the assumption that $E$ is smooth, let us take $w_{1},\dots,w_{k}$ linearly dependent, so we can suppose for simplicity that $w_{k}=w_{1}+\dots+w_{k-1}$. Then

[TABLE]

since $T$ is linear and alternating. The last statement of the lemma follows by observing that the first part implies that $D^{n+1}E(A)=0$ for all $A\in\mathcal{O}$.

When $E$ is merely continuous, let $\rho$ be the standard mollifier and let $\rho_{\varepsilon}(A)=\varepsilon^{-n^{2}}\rho(A/\varepsilon)$ for $\varepsilon>0$. Fix $A\in\mathcal{O}$ and find an $\varepsilon>0$ such that $\textup{dist}(A,\partial\mathcal{O})>\varepsilon$. Then $E_{\varepsilon}\equiv\rho_{\varepsilon}\ast E$ is smooth and rank-one affine and hence

[TABLE]

**whenever $w_{1},\dots,w_{k}$ are linearly dependent. Since $D^{k}E_{\varepsilon}$ converges to $D^{k}E$ locally uniformly, the conclusion of the lemma follows. **

Using the lemma, we see that in order to prove the theorem it suffices to consider rank-one affine integrands which are homogeneous polynomials, so let us take such an integrand $E$ which is a homogeneous polynomial of some degree $k$. Given any $A\in\mathcal{O}$, the total derivative $D^{k}E(A)$ is a symmetric $k$-linear function $D^{k}E(A)\colon(\mathbb{R}^{n\times n})^{k}\to\mathbb{R}$; we remark that this operator has as domain the whole matrix space and not just a subset of it. There is an isomorphism between the space of $k$-homogeneous rank-one affine integrands and the space of symmetric $k$-linear functions $(\mathbb{R}^{n\times n})^{k}\to\mathbb{R}$ and the proof in [5] is unchanged in our case.

We recall that a generic symmetric rank-one matrix is of the form $cv\otimes v$ for some $v\in\mathbb{R}^{n}$ with $|v|=1$ and some $c\in\mathbb{R}$. Hence, we have the following analogue of Lemma 4.2:

4.4 Lemma**.**

Let $\mathcal{O}\subset\mathbb{R}^{n\times n}_{\textup{sym}}$ be open. A smooth integrand $E\colon\mathcal{O}\to\mathbb{R}$ is rank-one affine if and only if, for any $k\geq 2$,

[TABLE]

for all $A\in\mathcal{O}$ and all $v_{i},w_{i}\in\mathbb{R}^{n}$ with $v_{1},\dots,v_{k}$ linearly dependent.

From this we deduce, by the same arguments as in the situation above, the following result:

4.5 Theorem**.**

Let $\mathcal{O}\subset\mathbb{R}^{n\times n}_{\textup{sym}}$ be a connected open set and consider a rank-one affine integrand $E\colon\mathcal{O}\to\mathbb{R}$. Then there is a constant $c\in\mathbb{R}$ and a vector $v\in\mathbb{R}^{\tau(n)}$ such that

[TABLE]

In order to apply Theorems 4.1 and 4.5 to the integrands we are interested in, we need to know that its supports are connected (in general, it is clear that any integrand with disconnected support cannot be extremal). Given a minor $M$, let $\mathcal{O}_{M}\equiv\{M>0\}$. Moreover, each $F_{k}$ has support in the set

[TABLE]

4.6 Lemma**.**

For any minor $M$ the set $\mathcal{O}_{M}$ is connected. Moreover, for $k=0,\dots,n$, the sets $\mathcal{O}_{k}$ are connected.

[Proof:]For the first part, let $M$ be an $s\times s$ minor. Let us make the identification

[TABLE]

so that $M(A)=\det(P_{s}(A))$, where $P_{s}$ is the projection of $\mathbb{R}^{n\times n}$ onto $\mathbb{R}^{s\times s}$. Hence we see that, under this identification,

[TABLE]

Since both spaces are connected and the product of connected spaces is connected, $\mathcal{O}_{M}$ is connected as well.

**For the second part, note that the set $\mathcal{O}_{k}$ is the set of matrices $A$ for which there is some $Q\in\textup{SO}(n)$ and some diagonal matrix $\Lambda=\textup{diag}(a_{1},\dots,a_{k},b_{1},\dots,b_{n-k})$, where $a_{i}<0$ and $b_{j}>0$, such that $QAQ^{T}=\Lambda$. Clearly the set of $\Lambda$’s with this form can be connected to $\textup{diag}(-I_{k},I_{n-k})$ by a path in $\mathcal{O}_{k}$; here $I_{l}$ is an $l\times l$ identity matrix. Hence it suffices to prove that there is a continuous path in $\mathcal{O}_{k}$ connecting $A=Q\Lambda Q^{T}$ to $\Lambda$. Such a path is given by $A(t)=Q(t)AQ(t)^{T}$, where $Q\colon[0,1]\to\textup{SO}(n)$ is a continuous path with $Q(0)=I,Q(1)=Q$. **

We are finally ready to prove the extremality of truncated minors and of Šverák’s integrands.

[Proof of Theorem 1.1:] Let $M$ be a minor and let $E_{1},E_{2}\colon\mathbb{R}^{n\times n}\to[0,\infty)$ be rank-one convex integrands such that $M^{+}=E_{1}+E_{2}$. For concreteness, let us say

[TABLE]

Each $E_{i}$ is zero outside $\mathcal{O}_{M}$ and, in this set, it is rank-one affine, so by Theorem 4.1 there are constants $c_{i}$ and $v_{i}\in\mathbb{R}^{\tau(n)}$ such that

[TABLE]

and in fact, by continuity, this holds in the entire set $\overline{\mathcal{O}_{M}}=\{M\geq 0\}$.

Clearly we must have $c_{i}=0$. Let us write, for some vectors $v_{i}^{j}\in\mathbb{R}^{{{n}\choose{j}}\times{{n}\choose{j}}}$,

[TABLE]

where $\mathbf{M}_{j}(A)$ is the matrix of the $j$-th order minors of $A$ (this is denoted by $\textup{adj}_{j}(A)$ in [12]).

We observe that, given some $s$ and some minor $M^{\prime}$ of order $s$, there is a matrix $A$ such that $M^{\prime}$ is the only minor of order $s$ that does not vanish at $A$. Indeed, if

[TABLE]

then we can take a matrix $A$ whose only non-zero entries are the entries $a_{i^{\prime}_{\alpha}j^{\prime}_{\alpha}}$ for $\alpha\in\{1,\dots,s\}$ and set these entries to one, so $M^{\prime}(A)=1$. Since all other entries of $A$ are zero we see that all other minors of order $s$ vanish at $A$. Note, moreover, that $A$ has rank $s$.

The previous observation, applied with $s=k$ and $M=M^{\prime}$, shows that for $A\in\overline{\mathcal{O}_{M}}$ we have $v_{i}^{k}\cdot\mathbf{M}_{k}(A)=\lambda_{i}M(A)$, where $\lambda_{i}\in\mathbb{R}$ is the entry of $v_{i}^{k}$ corresponding to $M$. We now prove that all the vectors $v_{i}^{j},j\neq k$, are zero.

Let $j\leq k$ be the lowest integer for which $v_{i}^{j}\neq 0$ and suppose that $j<k$. Given any minor $M^{\prime}$ of order $j$, say $M^{\prime}=e_{\alpha}\cdot\mathbf{M}_{j}$ for some $\alpha$, there is an $A$ with $\textup{rank}(A)=j$ so that $M^{\prime}$ is the only minor of order $j$ that does not vanish at $A$. Since $A$ has rank $j$ all of its $(j+1)\times(j+1)$ minors vanish and, in particular, $M(A)=0$ and hence $A\in\overline{\mathcal{O}_{M}}$. Since $j$ is the lowest integer for which $v_{i}^{j}\neq 0$ we have

[TABLE]

Since $\alpha$ was chosen arbitrarily, this is a contradiction and hence we have $j=k$.

Let $j\geq k$ be the highest integer for which $v_{i}^{j}\neq 0$ and suppose that $j>k$. Given any minor $M^{\prime}$ of order $j$, say $M^{\prime}=e_{\alpha}\cdot\mathbf{M}_{j}$ for some $\alpha$, there is an $A$ such that $M^{\prime}$ is the only minor of order $j$ that does not vanish at $A$; moreover, by flipping the sign of the $i_{1}$-th row of $A$, if need be, we can assume that $A\in\overline{\mathcal{O}_{M}}$. Since $j>k$ is the highest integer for which $v_{i}^{j}\neq 0$, by computing

[TABLE]

and sending $0<t\nearrow\infty$ we see that we must have $(v_{1}^{j}+v_{2}^{j})_{\alpha}=0$ and also that the sign of $E_{i}(tA)$ is, for large $t$, the sign of $(v_{i}^{j})_{\alpha}M^{\prime}(A)$; hence $(v_{i}^{j})_{\alpha}=0$ for $i=1,2$. Moreover, since $\alpha$ was chosen arbitrarily we have $v_{i}^{j}=0$ and we find a contradiction; thus $j=k$.

The two previous paragraphs show that, in $\overline{\mathcal{O}_{M}}$,

[TABLE]

and we already know that $v_{i}^{k}\cdot\mathbf{M}_{k}(A)=\lambda_{i}M(A)$, so the proof that $M^{+}$ is extremal is complete. The fact that $M^{-}$ is extremal follows from the identity $M^{-}=M^{+}(J\cdot)$, where $J=(j_{\alpha\beta})$, $j_{\alpha\beta}=\delta_{\alpha\beta}(1-2\delta_{\alpha i_{1}}),$ so $J$ changes the sign of the $i_{1}$-th row.

For the second part of the theorem take some $k\in\{0,\dots,n\}$ and assume that there are rank-one convex integrands $E_{1},E_{2}\colon\mathbb{R}^{n\times n}_{\textup{sym}}\to[0,\infty)$ such that $F_{k}=E_{1}+E_{2}$. The integrand $F_{k}$ has support in $\mathcal{O}_{k}$, which by Lemma 4.6 is connected, and in this set each $E_{i}$ is rank-one affine, so Theorem 4.5 implies that there are $c_{i}\in\mathbb{R},v_{i}\in\mathbb{R}^{\tau(n)}$ such that

[TABLE]

**By continuity this in fact holds in $\overline{\mathcal{O}_{k}}$. From Remark 3.8 we see that each $E_{i}$ has to be positively $n$-homogeneous and therefore $E_{i}=\alpha_{i}\det$ in $\mathcal{O}_{k}$, where $\alpha_{i}$ is the last entry of $v_{i}$. Since $E_{i}\geq 0$ we must have, by possibly changing the sign of $\alpha_{i}$, $E_{i}=\alpha_{i}|\det|$ in $\mathcal{O}_{k}$. Moreover, $E_{i}=0$ outside $\mathcal{O}_{k}$, and so indeed $E_{i}=\alpha_{i}F_{k}$ as wished. **

We note that, for the second part of the theorem, it is helpful to employ the homogeneity from Remark 3.8. Indeed, it is easy to see, and it follows in particular from the linear algebraic arguments in the proof of the full space case, that minors of a fixed order are linearly independent as functions on $\mathbb{R}^{n\times n}$. However, this is not the case if instead we think of them as functions defined over $\mathbb{R}^{n\times n}_{\textup{sym}}$, since there are non-trivial linear relations between minors. For instance, given a $4\times 4$ matrix $A=(a_{ij})$, we have that

[TABLE]

This is classical phenomenon and had already been noted, for instance, in [5, Pages 155-156].

5   Choquet theory and Morrey’s problem

In this section we shall see the implications of Choquet theory for Morrey’s problem. Let us introduce some notation: given a number $d\in\mathbb{N}$, let $Q_{d}=[0,1]^{d}$, denote by $A_{1},\dots,A_{2^{d}}$ its vertices and consider the cone

[TABLE]

In a similar fashion we define the cone $\mathcal{C}_{d}^{\textup{sc}}$ of non-negative separately convex functions on $Q_{d}$ and when $d=n\times m$ for some $n,m\in\mathbb{N}$, we have the cones $\mathcal{C}_{d}^{\textup{qc}}$ and $\mathcal{C}_{d}^{\textup{rc}}$ of non-negative quasiconvex and rank-one convex integrands. These are closed convex cones in the locally convex vector space $\mathbb{R}^{Q_{d}}$ of real-valued functions on $Q_{d}$; the topology on $\mathbb{R}^{Q_{d}}$ is the product topology, i.e. the topology of pointwise convergence. In particular, for any $x\in Q_{d}$ the evaluation functionals $\varepsilon_{x}\colon f\mapsto f(x)$ are continuous.

We claim that each of the above cones has a compact, convex base:

[TABLE]

here we only take $\Box\in\{\textup{qc},\textup{rc}\}$ if $d=n\times m$. Clearly each $\mathcal{B}_{d}^{\Box}$ is a closed, convex base for $\mathcal{C}_{d}^{\Box}$, so it suffices to see that $\mathcal{B}^{\textup{sc}}_{d}$ is compact. For this, note that a separately convex function on $Q_{d}$ attains its maximum at some $A_{i}$ and, since all functions $f\in\mathcal{B}^{\textup{sc}}_{d}$ are non-negative, we have $f\leq 1$ in $Q_{d}$. This shows that $\mathcal{B}_{d}^{\textup{sc}}\subset[0,1]^{Q_{d}}$, which is a compact set by Tychonoff’s Theorem, and our claim is proved.

The main tool of this section is the following powerful result:

5.1 Theorem** (Choquet).**

Let $K$ be a metrizable, compact, convex subset of a locally convex vector space $X$. For each $f\in K$ there is a regular probability measure $\mu$ on $K$ which is supported on the set $\textup{Ext}(K)$ of extreme points of $K$ and which represents the point $f$: for all $\varphi\in X^{*}$,

[TABLE]

For a proof see, for instance, [39, §3]. We note that in general—and this is also the case in our situation—the representing measure is not unique. In order to apply this theorem to $\mathcal{B}_{d}^{\Box}$, we need to show that this set is metrizable and this can be done by using a simple result from point-set topology; for a proof see, for instance, [28, Lemma 10.45].

5.2 Lemma**.**

Let $K$ be a compact Hausdorff space. Then $K$ is metrizable if and only if there is a countable family of continuous functions on $K$ which separates points.

In our situation, it is easy to see that such a family exists: indeed, let $x_{n}\in Q_{d}$ be a countable set of points which is dense in $Q_{d}$ and consider the evaluation functionals $\varepsilon_{x_{n}}\colon f\mapsto f(x_{n})$ on $\mathcal{B}_{d}^{\Box}$. These functionals are continuous on $\mathcal{B}_{d}^{\Box}$ and separate points, since all elements of $\mathcal{B}_{d}^{\Box}$ are continuous real-valued functions on $Q_{d}$. Therefore the lemma implies that $\mathcal{B}_{d}^{\Box}$ is metrizable, and hence Choquet’s theorem yields:

5.3 Proposition**.**

Fix $\Box\in\{\textup{c},\textup{qc},\textup{rc},\textup{sc}\}$ and let $\nu$ be a regular probability measure in $Q$. The measure $\nu$ satisfies $f(\overline{\nu})\leq\langle\nu,f\rangle$ for all $f\in\mathcal{C}_{d}^{\Box}$ if and only if $g(\overline{\nu})\leq\langle\nu,g\rangle$ for all $g\in\textup{Ext}(\mathcal{B}_{d}^{\Box})$.

[Proof:]Assume that we have Jensen’s inequality for all $g\in\textup{Ext}(\mathcal{B}_{d}^{\Box})$, take any $f\in\mathcal{B}_{d}^{\Box}$ and let $\mu$ be the measure given by Choquet’s theorem. If we take $\varphi=\varepsilon_{\overline{\nu}}$ in the theorem, we can apply Fubini’s theorem to see that

[TABLE]

**Since any $h\in\mathcal{C}_{d}^{\Box}$ can be written uniquely as $h=\lambda f$ for some $\lambda>0,f\in\mathcal{B}_{d}^{\Box}$, the conclusion follows. **

Theorem 1.2 follows easily from Proposition 5.3. For the reader’s convenience, we restate the theorem here:

5.4 Theorem**.**

Let $d=n^{2}$ and take a Radon probability measure $\nu$ supported in the interior of $Q_{d}$. Then $\nu$ is a laminate if and only if

[TABLE]

for all integrands $g\in\textup{Ext}(\mathcal{B}_{d}^{\textup{rc}})$.

[Proof:]From Pedregal’s Theorem, the measure $\nu$ is a laminate if and only if Jensen’s inequality holds for any rank-one convex integrand $f\colon\mathbb{R}^{n\times n}\to\mathbb{R}$:

[TABLE]

Note that if this inequality holds for all non-negative rank-one convex integrands then it holds for any rank-one convex integrand: given any such $f$, one can consider the new integrand

[TABLE]

which is non-negative and rank-one convex, hence by hypothesis $f_{k}(\overline{\nu})\leq\langle\nu,f_{k}\rangle$. This in turn is equivalent to

[TABLE]

Sending $k\to\infty$ we find that $f(\overline{\nu})\leq\langle\nu,f\rangle$, as we wished; note that $f$, being continuous, is bounded by below on $Q_{d}$.

**Therefore, from Proposition 5.3, the theorem follows once we show that any rank-one convex integrand $g\colon Q_{d}\to[0,\infty)$ can be extended to a rank-one convex integrand $f\colon\mathbb{R}^{n\times n}\to\mathbb{R}$ with $g=f$ in the support of $\nu$. This is a standard result, see [42]. **

We end this section with some cautionary comments concerning the previous results. In the one dimensional case, where all the above cones coincide, the extreme points are quite easy to identify; the oldest reference we found where this problem is discussed is [7], but see also [28, §14.1].

5.5 Proposition**.**

The set of extreme points of $\mathcal{B}_{1}$ is the set $\{\varphi_{y},\psi_{y}\mathrel{\mathop{\mathchar 58\relax}}y\in[0,1]\}$, where the functions $\varphi_{y},\psi_{y}$ are defined by

[TABLE]

In higher dimensions the various cones are different. In the case of convex integrands, the set of extreme points of $\mathcal{C}_{d}^{\textup{c}}$ for $d>1$ is very different from the one-dimensional case, since it is dense in this cone.

5.6 Theorem**.**

Any finite continuous convex function on a convex domain $U\subset\mathbb{R}^{d}$ can be approximated uniformly on convex compact subsets of $U$ by extremal convex functions.

This result was proved by Johansen in [22] for $d=2$ and then generalized to any $d>1$ in [8]. In these papers the set of extremal convex functions is not fully identified, but it is shown that there is a sufficiently large class of extremal convex functions which approximate any given convex function well: these are certain polyhedral functions, i.e. functions of the form $f=\max_{1\leq i\leq k}a_{i}$ for some affine functions $a_{1},\dots,a_{k}$. This disturbing situation, however, is not too unexpected given the result of Klee [26] already mentioned in the introduction. I do not know whether a similar statement holds for the cones $\mathcal{C}_{n\times m}^{\textup{qc}}$ and $\mathcal{C}_{n\times m}^{\textup{rc}}$.

Acknowledgements: This work was supported by the Engineering and Physical Sciences Research Council [EP/L015811/1]. I thank my supervisor Jan Kristensen for guidance throughout the process of obtaining these results as well as for carefully reading and making corrections to the drafts. I would also like to thank István Prause, Rita Teixeira da Costa and Lukas Koch for helpful discussions and comments.