Add Journal to My Library
The Quarterly Journal of Mathematics
, Volume Advance Article (2) – Dec 14, 2017

20 pages

/lp/ou_press/on-growth-conditions-for-quasiconvex-integrands-ZhubjUUx5V

- Publisher
- Oxford University Press
- Copyright
- © The Author(s) 2017. Published by Oxford University Press. All rights reserved. For permissions, please e-mail: journals.permissions@oup.com
- ISSN
- 0033-5606
- eISSN
- 1464-3847
- D.O.I.
- 10.1093/qmath/hax054
- Publisher site
- See Article on Publisher Site

Abstract We prove that, for 1≤p<2, if a W1,p-quasiconvex integrand f:ℝN×n→ℝ has linear growth from above on the rank-one cone, then it must satisfy this growth for all matrices in ℝN×n. An immediate corollary of this is, for example, that there can be no quasiconvex integrand that has genuinely superlinear p growth from above for 1<p<2, but only linear growth in rank-one directions. This result was first anticipated in (P. Soneji, Relaxation in BV of integrals with superlinear growth, ESAIM Control Optim. Calc. Var. 20 (2014), 1078–1122), with some partial results given. The key element of this proof involves constructing a Sobolev function which maps points in a cube to some one-dimensional frame, and, moreover, preserves boundary values. This construction is an inductive process on the dimension n, and involves using a Whitney decomposition. This technique also allows us to generalize this result for W1,p-quasiconvex integrands, where 1≤p<k≤min{n,N}. 1. Introduction Consider the variational integral F(u,Ω)≔∫Ωf(∇u(x))dx,where Ω is a bounded, open subset of Rn, u:Ω→RN is a vector-valued function, ∇u denotes the Jacobian matrix of u and f is a Borel-measurable function defined on the space RN×n of all real N×n matrices, with N, n≥2. The notion of quasiconvexity, introduced by Morrey in [16], is of central importance in the modern theory of the Calculus of Variations. Recall that f:RN×n→R is said to be quasiconvex if it is locally bounded, and for some non-empty bounded, open set Ω⊂Rn with Ln(∂Ω)=0 we have ∫Ωf(ξ+∇ϕ(x))dx≥Ln(Ω)f(ξ) (1.1)for all ξ∈RN×n and all test functions ϕ∈W01,∞(Ω;RN). Moreover, it is well-known that if property (1.1) holds for some suitable set Ω then it holds for all bounded open sets D⊂Rn with Ln(∂D)=0. The classical lower semicontinuity result for quasiconvex integrands states that if the integrand f:RN×n→R is quasiconvex and satisfies the growth condition 0≤f(ξ)≤L(1+∣ξ∣p) (1.2)for all ξ∈RN×n, for some constant L>0, and some exponent 1≤p<∞, then F(·,Ω) is sequentially weakly lower semicontinuous in W1,p(Ω;RN). Note that here and throughout this paper, we may take any norm we wish on the space RN×n. For example, we can set ∣ξ∣≔(∑i=1N∑j=1nξij2)12. This theorem is essentially due to Morrey [16, 17], who proved sequential weak* lower semicontinuity of F in W1,∞(Ω;RN) in the case where the quasiconvex integrand f needs only be locally bounded. Refinements were made most notably by Meyers [15], Acerbi and Fusco [1], and Marcellini [14]. In fact, it has been shown that lower semicontinuity obtains even if f takes on negative values, provided it satisfies the lower bound f(ξ)≥−l(1+∣ξ∣q) for some fixed constant l>0 where (if p>1) 1≤q<p, or q=p=1. Now let us recall the notion of W1,p–quasiconvexity, introduced and studied in a well-known paper by Ball and Murat [5], which generalizes in a natural way the quasiconvexity condition of Morrey. Definition 1.1 Let f:RN×n→R∪{+∞} be Borel-measurable and bounded below, and fix 1≤p≤∞ and ξ∈RN×n. Then f is said to be W1,p-quasiconvex at ξ if and only if for some non-empty bounded, open set Ω⊂Rn with Ln(∂Ω)=0, we have ∫Ωf(ξ+∇ϕ(x))dx≥Ln(Ω)f(ξ) (1.3)for all ϕ∈W01,p(Ω;RN). f is said to be W1,p-quasiconvex if this inequality holds for all ξ∈RN×n. From this definition, we can easily see that if f is W1,p-quasiconvex, then it is also W1,q-quasiconvex for all p≤q≤∞. Thus, W1,1-quasiconvexity is the strongest condition and W1,∞-quasiconvexity is the weakest. In their paper, Ball and Murat demonstrate, similar to Morrey, that W1,p-quasiconvexity is a necessary condition for sequential weak lower semicontinuity in W1,p(Ω;RN) (weak* if p=∞). Again, if property (1.3) holds for some suitable set Ω, then it holds for all bounded, open sets D⊂Rn with Ln(∂D)=0. Note that in their definition, Ball and Murat require slightly different pre-conditions on f: that it is Borel measurable and bounded below, and, moreover, is permitted to take the value +∞. In light of these discrepancies, the definitions of W1,∞-quasiconvexity and Morrey’s classical definition of quasiconvexity given above (which is also the one given in, for example [7]) may not precisely coincide. Therefore, for the ease of exposition, let us from now on assume that f:RN×n→R is continuous (hence locally bounded), and bounded below (i.e. f≥−l for some fixed constant l>0).In this case, these two notions are equivalent, and will henceforth just be called ‘quasiconvexity’. Indeed, as is well known, (the classical definition of) quasiconvexity implies rank-one convexity, which implies separate convexity, which implies (local Lipschitz) continuity. Moreover, the focus of this paper is on growth conditions from above. We remark that by modifying these conditions, some slight generalizations and alternative statements of the results we give are possible: refer to the end of this section for a brief discussion of these. Under these assumptions, the following well-known fact relates this property to Morrey’s classical definition of quasiconvexity, and is straightforward to prove. Lemma 1.2 Let f:RN×n→Rbe a continuous function satisfying the growth condition −l≤f(ξ)≤L(1+∣ξ∣p) (1.4)for some exponent 1≤p<∞, fixed constants l, L>0, and all ξ∈RN×n. Then fis quasiconvex if and only if it is W1,p-quasiconvex. Proof Since W01,p(Ω;RN)⊂W01,∞(Ω;RN) for any bounded, open set Ω⊂Rn, clearly W1,p–quasiconvexity implies quasiconvexity. The other implication follows from the fact that if f satisfies the given growth condition, then F is strongly continuous in W1,p. Let Ω⊂Rn be open and bounded, with Ln(∂Ω)=0, and let ϕ∈W01,p(Ω;RN). There exists a sequence (ϕj)⊂Cc∞(Ω;RN) such that ϕj→ϕ strongly in W1,p(Ω;RN). Hence, there is a subsequence (ϕjk) such that ∇ϕjk(x)→∇ϕ(x) for Ln-almost all x∈Ω. Since f is continuous, f(∇(ϕjk(x)))→f(∇ϕ(x)) almost everywhere too, and hence (since Ln(Ω)<∞) in measure. By Vitaliʼs convergence theorem, (∣∇ϕjk∣p) is equi-integrable, and so by the growth condition (1.4), so is (f(∇ϕjk)). Thus, by Vitali f(∇ϕjk) converges strongly in L1(Ω) to f(∇ϕ). This holds for any subsequence of (ϕj), so in fact the full sequence f(∇ϕj) converges to f(∇ϕ) in L1(Ω). Hence, we conclude, since f is quasiconvex, that ∫Ωf(ξ+∇ϕ(x))dx=limj→∞∫Ωf(ξ+∇ϕj(x))dx≥Ln(Ω)f(ξ).□ We now state the main theorems proved in this paper. Theorem 1.3 Let 1≤p<2. Suppose f:RN×n→Ris a W1,p-quasiconvex function that satisfies the linear growth condition f(ξ)≤L(1+∣ξ∣), (1.5)whenever rank(ξ)≤1. Then in fact fsatisfies (1.5) for all matrices ξ∈RN×n (for perhaps a larger constant L), and hence is W1,1-quasiconvex. This result was first proved in the simpler case n=N=2 in [19]: here, we are able to include all n, N≥2. Moreover, the proof we provide allows us to further generalize the theorem as follows. Theorem 1.4 Suppose f:RN×n→Ris a W1,p-quasiconvex function for some 1≤p<k, where 2≤k≤min{n,N}. Suppose also that fsatisfies the growth condition f(ξ)≤L(1+∣ξ∣q) (1.6)for some exponent 1≤q<k, for all matrices ξ∈RN×nsuch that rank(ξ)≤k−1. Then in fact fsatisfies (1.6) for all matrices ξ∈RN×n (for perhaps a larger constant L), and hence is W1,q–quasiconvex. As a consequence of Lemma 1.2, the following results immediately follow. In this context, when we say that an integrand f:RN×n→R has genuinely growth of order p (from above), we mean that it satisfies (1.4) for such an exponent 1≤p<∞, and moreover there exists ξ0∈RN×n such that limsupt→∞f(tξ0)1+∣tξ0∣p>0,so, in particular, no exponent q, 1≤q<p, would be large enough to bound f in (1.4). Corollary 1.5 There can be no quasiconvex function f:RN×n→Rthat has genuinely superlinear growth of order 1<p<2, but only linear growth from above—i.e. (1.5)—on rank-one matrices. In this connection, we refer also to [21], where it was shown that there do indeed exist quasiconvex function of subquadratic growth that are not polyconvex (and hence not convex). Corollary 1.5 generalizes to: Corollary 1.6 Let 2≤k≤min{n,N}, and 1≤q<p<k. There can be no quasiconvex function f:RN×n→Rthat has genuinely p-growth, but only q-growth from above—i.e. (1.6)—on matrices ξ∈RN×nsuch that rank(ξ)≤k−1. In light of the discussion below concerning the integrands involving the determinant, the following result may also be of interest. Corollary 1.7 Suppose f:RN×n→Ris a W1,p-quasiconvex function for some 1≤p<k, where 2≤k≤min{n,N}. If fsatisfies the upper bound, for some γ≥0 f(ξ)≤γfor all matrices ξ∈RN×nsuch that rank(ξ)≤k−1, then fsatisfies this upper bound, with the same constant γ, on all matrices in RN×n. In particular, if fis non-negative and satisfies f(ξ)=0whenever rank(ξ)≤k−1, then in fact fis identically zero on all of RN×n. The key ingredient in the proof of Theorem 1.3 is a map w defined on the cube Q=(−1,1)n that maps this cube onto a one-dimensional frame and preserves boundary values. Moreover, this w belongs to W1,p(Q;Rn), for any 1≤p<2, and rank(∇w(x))=1 for almost all x∈Q. The construction of w is an inductive process on the dimension n. For n=2, the construction is straightforward, and was also given in [19]: it is the mapping to the boundary of the square. To obtain w for higher dimensions, we assume as an inductive hypothesis that a suitable map wn−1 has been constructed for dimension n−1. We then construct a map u which maps points in Q to its boundary (one of 2n faces), and then apply the map wn−1 to each (n−1)-dimensional face. We then take a Whitney decomposition of Q, and apply such a map u (appropriately scaled, and slightly modified) on each cube of the decomposition, resulting in a map that is the identity on the boundary. This construction is described in detail, with all required properties proved, in the subsequent section. The proof of Theorem 1.4 involves a straightforward generalization of such a construction. 1.1. Some background and motivation The determinant enables us to readily produce examples of W1,p-quasiconvex functions for integer exponent p: for example, if n=N, and f(ξ)=∣detξ∣,then f is a quasiconvex (in fact polyconvex—see [4]) function that satisfies (1.4) for p=n, and hence by Lemma 1.2 it is W1,n-quasiconvex. More generally, if 1≤k≤min{n,N}, then by considering the determinant of some k×k minor we can also provide an example of a W1,k-quasiconvex function. It is interesting to note that such a function f also has the property that f(ξ)=0wheneverrank(ξ)≤k−1.For example, taking the case k=2, any W1,2-quasiconvex function given by the determinant of a 2×2 minor will vanish on all matrices of rank one or below. This observation may lead us to ask whether a similar such property might hold for non-integer p. That is, for instance, if 1≤p<2 and f is W1,p-quasiconvex, then can we expect any different behaviour, such as growth, on matrices of rank one compared with other matrices? The results contained in this paper establish that, contrary to the determinant, the growth conditions (from above) for such a function f on rank one matrices, in fact in some sense determine growth conditions for all general matrices. In a similar vein, it is interesting to note that Corollary 1.7 immediately implies that if n=N, 0<α<1 and f(ξ)=∣det(ξ)∣α, then the quasiconvex envelope Qf of f, defined as (Qf)(ξ)≔sup{g(ξ):g≤fandgquasiconvex},is identically zero. More generally, if f is the modulus of the determinant of a minor to the power α, then (Qf)≡0. This result is already well-known, and more usually proved using properties of the rank-one convex envelope. Another motivation for such a property might be found in [19]: this paper considers the ‘Lebesgue–Serrin Extension’ Floc(u,Ω)≔inf(uj){lim infj→∞∫Ωf(∇uj(x))dx∣(uj)⊂Wloc1,p(Ω,RN)uj⇀*uinBV(Ω,RN)},where u is a function of Bounded Variation, for some exponent 1≤p<∞. It was proved by Ambrosio and Dal Maso in [3], and Fonseca and Müller in [9], that if f is quasiconvex and satisfies (1.2) for p=1, then the extension has the integral representation Floc(u,Ω)=∫Ωf(∇u(x))dx+∫Ωf∞(Dsu∣Dsu∣(x))d∣Dsu∣, (1.7)where ∇u is the density of the absolutely continuous part of the measure Du with respect to Lebesgue measure, Dsu is the singular part of Du, Dsu∣Dsu∣ is the Radon–Nikodým derivative of the measure Dsu with respect to its total variation ∣Dsu∣, and f∞ denotes the recession function of f, defined as f∞(ξ)≔limsupt→∞f(tξ)t.This integral representation in the convex case was proved earlier by Goffman and Serrin in [10]: in this setting, no growth assumptions on the integrand are required. Focusing on the quasiconvex case, there have been some more recent results obtained in the non-standard growth setting: that is, f satisfies (1.2) for some p>1, but we still consider semicontinuity properties with respect to weak* convergence in BV. Such problems where the space of the convergence is below the growth exponent of the integrand were considered in the Sobolev Space setting by, among many others, Bouchitté et al. in [6, 8]. In [12], Kristensen shows that when f is quasiconvex and satisfies the growth condition (1.2) for 1≤p<nn−1, Floc satisfies the lower bound Floc(u,Ω)≥∫Ωf(∇u(x))dx, (1.8)whenever u∈BV(Ω;RN). In [18], a lower semicontinuity result in the sequential weak* topology of BV is obtained for 1<p<2. This result requires us to assume additionally that the maps (uj) are bounded uniformly in Llocq for q suitably large, and that the limit map u is sufficiently regular. However, neither of these results incorporate the singular part of the measure Du for a map u∈BV(Ω;RN). One particular problem arising here is that if f has superlinear growth in all directions (for example, if it is isotropic), then the recession function f∞, which is crucial for describing the behaviour of the Lebesgue–Serrin extension on the singular part, will just be infinity. Hence, one might wish to somehow ensure that f satisfies f∞(Dsu∣Dsu∣(x))<∞for∣Dsu∣-a.a.x∈Ω.Due to Alberti’s famous rank-one theorem in [2], the term Dsu∣Dsu∣(x) is rank-one for ∣Dsu∣-almost all x∈Ω. Therefore, a natural additional assumption one might make is that the integrand f, whilst it may enjoy superlinear growth in general, should satisfy f∞(ξ)<∞wheneverrank(ξ)≤1.This is equivalent to saying that f should have at most linear growth in rank-one directions. In [19], it was proved that if f is continuous (not necessarily quasiconvex), satisfies (1.2) for 1≤p<2, but has linear growth in rank-one directions, then, for general u∈BV(Ω;RN), the extension satisfies the upper bound Floc(u,Ω)≤L(Ln(Ω)+∣Du∣(Ω)).However, this result, combined with the lower bound of Kristensen (1.8), implies that if f is additionally quasiconvex and 1≤p<nn−1, then it cannot have genuinely superlinear growth in any direction. This can be seen by considering the linear map u(x)=ξx for any ξ∈RN×n, which yields, for any bounded open set Ω⊂Rn, Ln(Ω)f(ξ)≤Floc(u,Ω)≤LLn(Ω)(1+∣ξ∣),which shows that f has linear growth in all directions. Consequently, linearity on the rank-one cone is in fact not a good assumption. This observation (which is in fact a weaker form of Corollary 1.5) provided the first motivation for this paper. 1.2. Remarks on the conditions imposed on the integrand In the statements of the results above, we have assumed that the integrand f is continuous, real-valued (so the values ±∞ are excluded), and bounded below. Here, we shall provide a short discussion of how these conditions may be modified to obtain slightly different conclusions, all of which may be easily obtained using the methods in this paper. We first note that the conclusions regarding growth in Theorems 1.3 and 1.4 remain unchanged if we just adopt the definition of W1,p-quasiconvexity from [5] as stated in Definition 1.1. However, in order to conclude that the integrands are W1,1- and W1,q-quasiconvex, respectively, we make use of the fact that f is upper semicontinuous. This is due to a variant of Lemma 1.2 that is proved in [5], which states that if f is upper semicontinuous and satisfies the growth condition (1.4) for some exponent 1≤p<∞ (and hence cannot be +∞), then it is W1,p-quasiconvex if and only if it is W1,∞-quasiconvex. The proof is similar to the one above, and involves a straightforward application of Fatou’s Lemma. Moreover, in the subsequent corollaries stated above, we may remove the requirement that the integrand be bounded below. Note that the proof of Lemma 1.2 also tells us that if f is quasiconvex and satisfies, for some exponent 1≤p<∞, ∣f(ξ)∣≤L(1+∣ξ∣p) (1.9)(so it is not necessarily bounded below), then it also satisfies the quasiconvexity inequality (1.1) for all ξ∈RN×n and all test functions ϕ∈W01,p(Ω;RN). Thus, in the statement of Corollary 1.5, for example, we may say that if a quasiconvex function satisfies (1.9) for some 1<p<2, but only has linear growth from above on rank-one matrices, then it must have linear growth from above on all matrices. Similarly, a generalized type of statement can be formulated for Corollary 1.6. When f is rank-one convex and satisfies an upper bound f(ξ)≤c(∣ξ∣p+1), then it automatically also satisfies a lower bound f(ξ)≥−c(n,N)c(∣ξ∣p+1) for a constant c(n,N). This is recorded in [13, Lemma 2.5]. 2. Proofs of the main results As indicated above, the proof of Theorem 1.3 depends on the following Lemma. Lemma 2.1 Let 1≤p<2. Let Q=Q(n)=(−1,1)n. Then there exists a map w:Q→Rnsuch that w∈W1,p(Q;Rn), wmaps Qonto (a one-dimensional frame within) Q, wequals the identity map ιon ∂Qin the sense of traces, and rank(∇w(x))=1for Ln-almost all x∈Q. The majority of this section is devoted to proving this result, which we shall do in several steps. The proof of Theorem 1.4 depends on the following, generalized version of this lemma. Lemma 2.2 Let 2≤k≤n, and 1≤p<k. Let Q=Q(n)=(−1,1)n. Then there exists a map w˜:Q→Rnsuch that w˜∈W1,p(Q;Rn), w˜maps Qonto (a (k−1)-dimensional frame within) Q, w˜equals the identity map ιon ∂Q, and rank(∇w˜(x))≤k−1for Ln-almost all x∈Q. Let us first show how the theorems follow from these lemmas. Proof of Theorem 1.3 Let ξ be a general matrix in RN×n. Now define the map wξ:Q→RN by wξ(x)≔ξw(x),x∈Q,where w:Q→Rn is the map in Lemma 2.1. Then we have ∇wξ(x)=ξ∇w(x),so certainly wξ∈W1,p(Q;RN). Moreover, for x∈∂Q, we have (where In denotes the n×n identity matrix) ∇wξ(x)=ξInx=ξx.Therefore, since f is W1,p-quasiconvex (and Ln(Q)=1), ∫Qf(∇wξ)dx≥f(ξ). (2.1)In addition, rank(∇wξ(x))≤rank∇w(x)=1 for almost all x∈Q. Hence, by the assumption in the theorem, we have ∫Qf(∇wξ)dx≤L∫Q1+∣∇wξ∣dx≤L(1+∣ξ∣∫Q∣∇w∣dx). (2.2)Since the L1-norm of ∇w is a finite constant, we combine the estimates (2.1) and (2.2) to get f(ξ)≤L′(1+∣ξ∣)for some constant L′>0.□ The proofs of Theorem 1.4 and Corollary 1.7 follow in exactly the same way, by using the map w˜ from Lemma 2.2 instead of w from Lemma 2.1. For clarity of exposition, we shall focus on proving Lemma 2.1, since this provides us with more concrete assumptions and parameters. We shall then indicate how the proof of Lemma 2.2 just involves a straightforward generalization of the technique contained here. 2.1. Proof of the main lemma As stated earlier, the construction of w is an inductive process on the dimension n. The base case n=2 is straightforward. To construct w ( =wn) for higher n, we first construct a map u∈W1,p(Q(n);Rn), such that u first maps Q(n) onto ∂Q(n), and then we ‘apply wn−1’ to each of the 2n faces of ∂Q(n). Then we have, using an induction hypothesis, that rank(∇u(x))=1 for Ln-almost all x∈Q(n). This map u will form a key ‘building-block’ for w as stated in the Lemma. We define, for x=(x1,…,xm)∈Rm, ∥x∥≔max{∣x1∣,…∣xm∣}(so ∥·∥ is just the infinity norm in Rm). We shall allow the m to vary during this proof, but in an unambiguous way. Here is a brief outline of the steps used: Step 1: Here we construct w=w2 in the base case n=2. This was also shown in [19], and is simply the mapping of all points in the square (apart from (0,0)) to its boundary. Step 2: We suppose that for 2≤d<n we have constructed a map wd on Q(d)≔(−1,1)d that satisfies the properties of Lemma 2.1 for dimension d. We use this hypothesis to construct the building-block map u. This first maps points in (−1,1)n onto the (n−1)-dimensional ‘faces’, followed by the map wn−1 applied to each face. We observe that for n=3, u just maps the cube Q(3) to its one-dimensional edges. Step 3: The map u as it has been constructed is still not exactly what we will need in the construction of wn. Namely, on at least one of the 2n faces of Q(n), we do not just apply wn−1 but, in fact split this face into 2n−1 ‘subfaces’, and apply (an appropriately scaled) wn−1 individually to each of these. Here we describe this modification, which will be called v. Step 4: We now describe a standard Whitney decomposition of the larger cube D=(−3,3)n, containing the smaller cube (−1,1)n. Step 5: We use this Whitney decomposition to construct the map wn on D (and hence, by appropriate scaling, on Q). It essentially involves a translation, dilation and rotation of the (modified) map u applied to individual cubes within the Whitney decomposition described in Step 4. We show that the map wn satisfies all the required properties. Step 6: We indicate how this construction may be generalized to establish Lemma 2.2. Step 1: Construction of win the base case n=2 For n=2, the construction of w is straightforward. Write Q(2)=(−1,1)2 and define the map w2:Q(2)⧹{(0,0)}→R2 as w2(x1,x2)≔(x1,x2)∥(x1,x2)∥.Then it is well known that w2∈W1,p(Q(2);R2) for any 1≤p<2 (for example, see [5]). Since w2 maps Q(2)⧹{(0,0)} into ∂Q(2), we can conclude that det∇w2(x)=0 on Q(2)⧹{(0,0)}, so rank (∇w2(x))≤1 for L2-almost all x∈Q(2). Indeed, on Q(2)⧹{∣x1∣=∣x2∣}, w2 has the strong derivatives ∂w2j∂xi=δj,i∥x∥−xi∥x∥2∂∥x∥∂xi,where ∂∥x∥∂xi={signxiif∣xi∣=∥x∥0if∣xi∣≠∥x∥}.It is easy to establish, using the Gauss–Green Theorem, that this is in fact a weak derivative of w2 on all of Q(2), and that it is p-integrable. Moreover, for any x=(x1,x2)∈Q(2) with ∣x1∣≠∣x2∣, the ith column, where ∥(x1,x2)∥=∣xi∣, has zero entries. Hence, w2 satisfies the required properties for Lemma 2.1 in the case n=2. Step 2: Inductive step and construction of u for higher dimensions We now deal with higher dimensions inductively. Suppose Lemma 2.1 holds for every dimension 2≤d<n. That is, for every such d, there exists a map wd:Q(d)→Rd such that w∈W1,p(Q(d);Rd) for 1≤p<2, wd equals the identity map ι on ∂Q(d), and rank(∇wd(x))=1 for Ln-almost all x∈Q(d). We now construct the building-block map u on Q(n) as follows. Note that Q(n) has 2n ‘ (n−1)-faces’, F1,. . . F2n, say, where each Fk is a set of the form {(x1,…xin)∈Rd:xi1=±1,∥(xi2,…xin−1)∥≤1},where {i1,…,in}={1,…,n}. So every such face is isometrically isomorphic to Q(n−1)¯. We define the map u to be first the map (x1,…,xn)↦(x1,…,xn)∥(x1,…,xn)∥, (2.3)which maps points in Q(n)⧹{0} to one of the faces Fk, followed by the map wn−1 ‘applied to the face’. That is, u(x)≔Φk−1(wn−1(Φk(x/∥x∥))),where x/∥x∥∈Fk and Φk:Fk→Q(n−1)¯ is the isomorphism identifying that face with (the closure of) Q(n−1). So if F1={(x1,…,xn)∈Rn:x1=1,∥(x2,…,xn)∥≤1}, (2.4)then Φ1(1,x2,…,xn)=(x2,…,xn)∈Q(n−1)¯. We shall now show that u∈W1,p(Q(n);Rn). First note that Q(n)¯ may be expressed as the union of the closure of 2n cones, each cone corresponding to the face mapped-to by the expression in (2.3). We first consider the cone C1≔{(x1,…,xn)∈Q(n):x1>0,∥(x2,…,xn)∥<x1}, (2.5)and show u∈W1,p(C1;Rn). Elements in this cone first get mapped to the face F1 from (2.3), and then wn−1 is ‘applied to the face’. Hence, for x∈C1⧹{(x2,…xn)=(0,…,0)} we have, using ∥x∥=x1≕r, u(x)=(1,wn−1((x2,…,xn)r)). (2.6)We verify, using the induction hypothesis that wn−1 is weakly differentiable, that u is also weakly differentiable on C1 with weak derivative ∇u(x)=(00 00r−1∇wn−1((x2,…xd)r)0). (2.7)Moreover, using the inductive hypothesis that wn−1∈W1,p(Q(n−1);Rn−1), ∫C1∣∇u∣pdx=∫01∫{∥(x2,…xn)∥<r}∣∇u∣pdHn−1dr=∫01∫{∥(x2,…xn)∥<r}∣∇(1,wn−1(x2,…xd)/r)∣pdHn−1(x2,…xn)dr=∫01r−p∫{∥y∥<r}∣∇wn−1(y/r)∣pdHn−1(y)dr=∫01rn−1−p∫Q(n−1)∣∇wn−1(y)∣pdHn−1(y)dr<∞,so u∈W1,p(C1;Rn). Again using our inductive hypothesis and (2.7), we establish that for Ln-almost all x∈C1, rank (∇u(x))≤1 (in fact, even Hn−1-almost everywhere). By arguing similarly on all cones, we obtain u∈W1,p(Ck;Rn) for k=1,…2n, and rank ∇u=1 almost everywhere. Now suppose x∈∂Ck for some cone Ck. Then it is also on the boundary of some other cone, and so there exist i,j∈{1,…,n} with i≠j such that ∣xj∣=∣xi∣=∥x∥. Suppose without loss of generality that one cone is C1 from (2.5) and we have x1=x2=∥x∥, so the other cone is C2≔{(x1…,xn)∈Q(n):x2>0,∥(x1,x3,…xn)∥<x2}. (2.8)Then, using the inductive hypothesis that wn−1 is the identity on ∂Q(n−1) (in the sense of traces), we see that if we consider x as being on the boundary of C1, we have, using (2.6), u(x)=(1,x2x1,x3x1…xnx1)=(x1x2,1,x3x2…xnx2),the right-hand side being the value of u(x) if x were considered to be on the boundary of C2. Hence, there are no discontinuities on the boundaries of the cones. Therefore, dealing with the zero point in the centre in the standard way using Gauss–Green, we can conclude that u is weakly differentiable on all of Q(n) with derivative given by the expression in (2.7) (up to a permutation of coordinates), so u∈W1,p(Q(n);Rn) with rank(∇u(x))≤1 for Ln-almost all x∈Q(n). Remark on the case n=3 For illustrative purposes, let us consider in particular the case d=3. Moreover, since in this case we are only using the simpler map w2 from Step 1, things are more straightforward: the resulting map u maps points in the cube to the one-dimensional edges. Note that the cube Q(3)=(−1,1)3 has 6 ( 2-dimensional) faces, F1,…,F6, say, where each face Fk is isometrically isomorphic to Q(2)¯. We define the map u as in the general case above, first applying the map x/∥x∥ for x∈Q(3), and then w2 (that is, x/∥x∥ in dimension 2) to each face. So if we consider the cone C1≔{(x1,x2,x3)∈Q(3):x1>0,∥(x2,x3)∥<x1},then for x∈C1⧹{(x2,x3)=(0,0)}, we have u(x)=(1,w2((x2,x3)x1))=(1,x2∥(x2,x3)∥,x2∥(x2,x3)∥).Just as in the general case, it is straightforward to verify that u is weakly differentiable on C1 with weak derivative given by the expression in (2.7). In fact, this is even a strong derivative for x∉{(x2,x3)=(0,0)}. Then, using the fact that w2∈W1,p(Q(2);R2) in Step 1, and applying the same argument as in the general inductive step, we can show that u∈W1,p(C1;R3). Again, by (2.7) and Step 1, we can see that for L3-almost all x∈C1, rank (∇u(x))≤1 (in fact, this holds even H2-almost everywhere). By arguing in the same way on all other cones, we obtain u∈W1,p(Ck;R3) for each k=1,…,6, and rank ∇u=1L3-almost everywhere. Since u is continuous on (−1,1)3⧹{(x1,x2,x3):xi=xj=0forsomei≠j} (2.9)(that is, off the axes of R3) there are no discontinuities along the boundaries of these cones. We deal with the singularity at the centre of the cube with Gauss–Green, and conclude that u weakly differentiable on all of Q(3). Hence, we can conclude that u3∈W1,p(Q(3);R3) with rank(∇u(x))≤1 for L3-almost all x∈Q(3). Moreover, for each point (x1,x2,x3) in the set described in (2.9), if we take an index {i1,i2,i3}={1,2,3} such that ∣xi1∣≤∣xi2∣≤∣xi3∣, then for j=1,2,3 (writing u=(u(1),u(2),u(3))) u(ij)(x)=sign(xij),and u(i1)(x)=xi1∣xi2∣(that is, all but one coordinate of u(x) is ±1, as u maps x onto a one-dimensional edge of (−1,1)3). So if, for instance, x1>x2>x3>0, then the map u acts on x as follows: (x1,x2,x3)↦(1,x2x1,x3x1)↦(1,1,x3x2).In light of this particular case, one might think that we could apply such a simpler construction for higher dimensions as well. That is, our building-block map u could just be the map that maps points in the general cube Q(n) to its one-dimensional frame. So we apply the map ‘ x/∥x∥’ to points in the n-cube, and then again (in one dimension less) to the (n−1)-faces, then again to each of the (n−2)-faces of these, and so on ( n−1 times in total). So, for example, if x1>x2>…>xn>0, then such a map would act on x as follows: (x1,x2,…,xn−1,xn)↦(1,x2x1,…,xn−1x1,xnx1)↦(1,1,…,xn−1x2,xnx2)↦⋯↦(1,1,…,1,xnxn−1).If this were our u, we can also verify that u∈W1,p(Q(n);Rn) and rank∇u(x)≤1 for Ln-almost all x∈Q(n). However, the reason we do not use this map in general is because we cannot successfully apply the next step in our construction of w: see the remark following the step. Step 3: Modification of uin some cones of Q(n) In our eventual construction of wn, our ‘building-block’ map will not in fact just apply wn−1 to each face of an n-cube. In (at least) one cone, we will want to split its corresponding (n−1)-face into 2n−1 ‘subfaces’, and apply wn−1 on each subface instead. Consider Q(n−1)=(−1,1)n−1 and note that it can be split up into 2n−1 quadrants. That is, Q(n−1)¯=⋃l=12n−1Pl¯,where each Pl is of the form Pl={(x1,…,xn−1)∈Q(n−1):xi1,…,xij>0,xij+!,…,xin−1<0},where j∈{0,1,…,n−1} and {i1,…,in−1}={1,…,n−1}. So in fact Pl=zl+12Q(n−1),where zl=(±12,±12,…,±12)∈Rn−1. Now define vn−1 on Q(n−1) by letting vn−1(x)≔zl+12wn−1(2(x−zl)),x∈Pl, (2.10)for each of the 2n−1 cubes Pl. Note by the inductive hypothesis on wn−1, vn−1(x)=x (in the sense of traces) whenever x belongs to the boundary ∂Pl for any subface Pl. Hence, vn−1 has no discontinuities on each of the boundaries ∂Pl, and so is weakly differentiable on Q(n−1), with ∫Q(n−1)∣∇vn−1∣pdLn−1=∑l=12n−1∫Pl∣∇vn−1∣pdLn−1=∑l=12n−121−n∫Q(n−1)∣∇wn−1∣pdLn−1=∫Q(n−1)∣∇wn−1∣pdLn−1.We now modify the map u as follows. Let Fk be an (n−1)-face of Q(n), and let Ck be the cone corresponding to points in Q(n) that are mapped to Fk by x↦x/∥x∥. Suppose we wish to modify u in this cone. Then we split the face Fk into 2n−1 subfaces P1,…,P2n−1 and define, for x∈Ck, v(x)≔Φk−1(vn−1(Φk(x/∥x∥))), (2.11)where, as in Step 2, Φk is the isomorphism identifying that face with Q(n−1). We now argue in entirely the same way as above to show that v∈W1,p(Ck;Rn), and rank∇v(x)=1 for almost all x∈Ck. In particular, note that v(x)=x∥x∥=u(x)wheneverΦk(x/∥x∥)∈∂Pl (2.12)for any 1≤l≤2n−1. Hence, there are no discontinuities along the boundaries of the 2n−1 ‘sub-cones’ (Ckl) of Ck, where Ckl≔{x∈Ck:x/∥x∥∈Pl}.Clearly, by considering a rotation of the domain, it does not matter what specific cone of Q(n) we apply this modification to. In the remaining cones of Q(n), we may either not modify u (so v=u off Ck), or we modify it just as described. In fact, as will be described in Step 5, in our eventual construction of wn we either modify u in this way on only one cone, or on all cones. We now verify that v∈W1,p(Q(n);Rn). As in Step 2, it suffices to establish that there are no discontinuities on the boundaries of the 2n cones that comprise Q(n). Suppose without loss of generality that the cone C1 as described in (2.5) is the cone where we have modified u as above, with corresponding face F1 as in (2.3). Suppose x∈∂C1. Then also x∈∂Pl for some l, so by (2.12) v(x)=u(x), where u is the unmodified map from Step 2. Since from that step we also know that u has no discontinuities on ∂C1, neither does v. The following diagram roughly illustrates how the map u is modified on the cone C1 after the map x/∥x∥ has been applied (but of course in two dimensions, we do not use this construction) (Fig. 1). Figure 1. View largeDownload slide How the map u is modified on a cone of Q(n). Figure 1. View largeDownload slide How the map u is modified on a cone of Q(n). The projection onto faces of a simplex to construct the auxiliary mappings was also used in [11]. Remark on possible simplification of u As was noted in the remark to Step 2, one might initially wish to construct u as simply the mapping of elements in the cube Q(n) to its one-dimensional edges. However, for n≥4, the modification of u described in Step 3 fails. For example, consider the point x=(12,12,14,0)∈Q(4). Then ∥x∥=x1=x2, so x belongs to the boundary of the cones C1 and C2 in (2.5) and (2.8), respectively. Note that x/∥x∥=(1,1,12,0); if we were to use this simple map u, we note (1,12,0) is already on the boundary of Q(3), so we finally map (12,0) to ∂Q(2) to obtain u(x)=(1,1,1,0). Suppose we wish to modify u on C1 only. In this case, we split the cube Q(3) into 8 subcubes with side length 1 and centres (±12,±12,±12), and map onto the edges of this finer frame instead. However, then (1,12,0) already lies on this frame, so we have v(x)=(1,1,12,0)≠u(x). This demonstrates that there is a discontinuity in v between the boundary of the cones C1 and C2. Step 4: Whitney Decomposition of D Equipped with this map v, we are now almost in a position to define the map wn on D=(−3,3)n. We take the standard Whitney Decomposition of D into dyadic cubes whose side length is proportional to the distance from the boundary. We first start with the cube Q1=Q(n)=(−1,1)n. Now consider the larger cube Q2≔(−2,2)n and note that Q2¯⧹Q can be written as the union of the closure of 4n−2n cubes with side-length 1. Each ( n−1)-face of Q1 will have 2n−1 smaller cubes adjacent to it. Each smaller cube will share one face with (the subset of) a face of the larger cube Q1, and all other faces (but one) will be shared with a cube of the same size. Call the set of these smaller cubes Q2. Now let Q3≔(−52,52)n. Note Q3¯⧹Q2 can be written as the union of (the closure of) 2n(5n−4n) cubes of side-length 12. Each cube of side length 1 in the previous step will have its remaining exposed face touching the face of 2n−1 of these smaller cubes. Call the set of these cubes Q3. We continue inductively in this way. For each integer k≥2, let Qk≔((−3+22−k),(3−22−k))n.Then Qk¯⧹Qk−1 can be written as the union of (the closure of) 2n(k−2)Ln(Qk⧹Qk−1) cubes of side length 22−k. Call this set of cubes Qk. Note that D=⋃k=1∞Qk=⋃k=1∞⋃Q∈QkQ¯. For illustrative purposes, we provide a diagram of this decomposition below in the case where n=2, D=(−3,3)2 (Fig. 2). However, recall that in dimension two we do not actually need to use this construction. Figure 2. View largeDownload slide Whitney Decomposition of D when n=2. Figure 2. View largeDownload slide Whitney Decomposition of D when n=2. Step 5: Construction of w We now define our map w=wn as follows. We shall define it on D instead of Q(n) (then we may just take w¯(x)=13w(3x)). Let Q be a cube in Qk for k≥2. Write Q=x+(−r,r)n, where x is the centre of the cube, and 2r is the side length. Then note that in all but two opposite faces, a face of Q is shared with other cubes in Qk. One of the remaining faces is shared with (part of) a face of a larger cube with side length 4r from Qk−1, and the other opposite face is shared with the faces of 2n−1 smaller cubes of length r in Qk+1. We apply the map v from Step 4, appropriately scaled, to map points in Q to a one-dimensional frame of Q, where the modification of u occurs on the cone corresponding to this latter face, which is split into a finer subframe. That is, for y∈Q, w(y)≔x+rv(y−xr),where v=u on all cones of (−1,1)n, where x+ry−x∥y−x∥lies on a face of Q that is shared with a cube of the same or larger size. Otherwise, if this expression lies on the one face that is shared with 2n−1 faces of cubes in Qk+1, we use the definition of v as given in (2.10) and (2.11). Now note that ∫Q∣∇w(y)∣pdy=∫Q∣∇v(y−xr)∣pdy=rn∫(−1,1)n∣∇v(y)∣pdy=2−nLn(Q)∫(−1,1)n∣∇v(y)∣pdy.We do this for all cubes Q∈Qk for all k≥2. Moreover, note that by our construction, there are no discontinuities on the boundaries ∂Q of these cubes. Hence we have ∫D⧹[−1,1]n∣∇w∣pdx=∑k=2∞∑Q∈Qk∫Q∣∇w∣pdx=∑k=2∞∑Q∈Qk2−nLn(Q)∫(−1,1)n∣∇v∣pdx=2−nLn(D⧹[−1,1]n)∫(−1,1)n∣∇v∣pdx=(3n−1)∫(−1,1)n∣∇v∣pdx,and so w∈W1,p(D⧹(−1,1)n;Rn). Note that on the central cube Q1, every face is shared with the 2n−1 faces of cubes in Q2, not just one. Hence, in this case, we modify the definition of u as in Step 3, not just on one cone, but all cones, and let w be equal to such a map on Q1. Again, we observe that w has no discontinuities on ∂Q1. Therefore, we have w∈W1,p(D;Rn), and rank(∇w(x))=1 for Ln-almost all x∈D (in fact, even Hn−1 almost all x). Now we shall show that w=ι on ∂D. First note that if dist(x,∂D)<ϵ<2, then x∈Q¯ for some Q∈Qk, where k≥k0 and 23−k0<ϵ. Since w(x)∈Q¯, we have ∣w(x)−x∣≤diam(Q)<ϵ.Let (Rh)⊂(0,1) be an increasing sequence with Rh↗1, and let ρh∈Cc1(D) be a cut-off function such that 0≤ρ≤1, ρh=1 on RhD≔(−3Rh,3Rh)n, and ∣∇ρh∣≤c1−Rhfor some fixed constant c>0 independent of h. Consider wh≔ρhw+(1−ρh)ι. Then note (wh)⊂Wι1,p(D;Rn), and ∥w−wh∥∞=∥(1−ρh)(w−ι)∥∞≤supx∈D⧹RhD∣w(x)−x∣⟶0ash→∞,so wh→w in L∞(D;Rn). Moreover, we have ∇wh=ρh∇w+(1−ρh)I+(w−ι)⊗∇ρh,and (for positive constants c, independent of h, that may not be the same from line to line), ∫D∣∇w−∇wh∣pdx=∫D⧹RhD∣(1−ρh)(∇w−I)+(w−ι)⊗∇ρh∣pdx≤c∫D⧹RhD∣∇w∣p+1dx+c1−Rh∫D⧹RhD∣w−ι∣pdx≤c∫D⧹RhD∣∇w∣p+1dx+c(1−Rhn1−Rh)supx∈D⧹RhD∣w(x)−x∣⟶0ash→∞.Hence, wh→w strongly in W1,p(D;Rn), so we have w∈Wι1,p(D;Rn) as required. We have shown that if wn−1 satisfies all required properties of Lemma 2.1, then so does w=wn. Thus, by Step 1 and induction, the lemma is proved.□ Step 6: Proof of Lemma 2.2 The proof of this lemma follows almost exactly the same steps as Lemma 2.1. The only difference is that the base case is n=k, and we start by defining the map w˜k(x)≔x/∥x∥ on Q(k). By an entirely similar argument as in Step 1 (see also [5]), we establish that w˜k satisfies the required properties of the lemma when n=k. For larger n, we then apply the inductive hypothesis that for all k≤d<n, we have constructed a map w˜d satisfying the lemma in dimension d. We define u˜ on Q(n) precisely as in Step 2, using w˜n−1 instead of wn−1 and modify it on cones as in Step 3. The Whitney Decomposition of Q(n) in Step 4 remains the same, and in Step 5 we define w˜=w˜n using this decomposition and the modified map u˜.□ Remark on generalizing the above construction Recall that a general Whitney Decomposition allows us to partition a general open, bounded subset Ω⊂Rn into closed diadic cubes (Qj)j∈N with pairwise disjoint interior, satisfying diam(Qj)≤dist(Qj;∂Ω)≤4diam(Qj)forallj.In this connection, we refer to, for example [20, 22]. Hence, we can refine the statements of Lemmas 2.1 and 2.2, respectively, so that they satisfy the requisite properties on such general Ω. For example, we have the following corollary. It can either be proved by an easy modification of the above proof, taking care of the cones in each individual cube where the map u from Step 2 needs to be modified, or by simply using the results in these lemmas. We proceed using the latter method. Corollary 2.3 Let Ω⊂Rnbe open and bounded. Suppose g:Ω→RNis an affine map. Then for 1≤p<2there exists a map u:Ω→RNsuch that u∈Wg1,p(Ω;RN)and rank(∇u(x))≤1for almost all x∈Ω. More generally, if 2≤k≤nand 1≤p<k, there exists a map u:Ω→RNsuch that u∈Wg1,p(Ω;RN)and rank(∇u(x))≤k−1for almost all x∈Ω. Proof Take a general Whitney Decomposition of Ω as described above, where the cubes have sides parallel to the coordinate axes. First define v:Ω→Rn as follows: for a given cube Qj=x+r(−1,1)n in this decomposition, let v(y)=x+rw(y−xr), (2.13)where w is the map from Lemma 2.1. Do this for every cube in the decomposition. Writing g(y)=z+ξy for some z∈RN, ξ∈RN×n, let u(y)=z+ξv(y). Then it is straightforward to verify that u satisfies the required properties in (first statement of) the corollary (see the proof of Theorem 1.3 above). For the general statement, use w˜ from Lemma 2.2 instead of w in (2.13).□ Acknowledgements The author would like to gratefully acknowledge the support of the Ludwig-Maximilians-University, Munich. He would also like to extend thanks to Jan Kristensen and Lars Diening for numerous helpful discussions. References 1 E. Acerbi and N. Fusco, Semicontinuity problems in the calculus of variations, Arch. Rational Mech. Anal. 86 ( 1984), 125– 145. Google Scholar CrossRef Search ADS 2 G. Alberti, Rank one property for derivatives of functions with bounded variation, Proc. Roy. Soc. Edinburgh Sect. A 123 ( 1993), 239– 274. Google Scholar CrossRef Search ADS 3 L. Ambrosio and G. Dal Maso, On the relaxation in BV(Ω;Rm) of quasi-convex integrals, J. Funct. Anal. 109 ( 1992), 76– 97. Google Scholar CrossRef Search ADS 4 J. Ball, Convexity conditions and existence theorems in nonlinear elasticity, Arch. Rational Mech. Anal. 63 ( 1977), 337– 403. Google Scholar CrossRef Search ADS 5 J. Ball and F. Murat, W1,p-quasiconvexity and variational problems for multiple integrals, J. Funct. Anal. 58 ( 1984), 225– 253. Google Scholar CrossRef Search ADS 6 G. Bouchitté, I. Fonseca and J. Malý, The effective bulk energy of the relaxed energy of multiple integrals below the growth exponent, Proc. Roy. Soc. Edinburgh Sect. A 128 ( 1998), 463– 479. Google Scholar CrossRef Search ADS 7 B. Dacorogna, Direct methods in the calculus of variations, Applied Mathematical Sciences vol. 78, Springer-Verlag, Berlin, 1989. Google Scholar CrossRef Search ADS 8 I. Fonseca and J. Malý, Relaxation of multiple integrals below the growth exponent, Ann. Inst. H. Poincaré Anal. Non Linéaire 14 ( 1997), 309– 338. Google Scholar CrossRef Search ADS 9 I. Fonseca and S. Müller, Relaxation of quasiconvex functionals in BV(Ω;Rp) for integrands f(x,u,∇u), Arch. Rational Mech. Anal. 123 ( 1993), 1– 49. Google Scholar CrossRef Search ADS 10 C. Goffman and J. Serrin, Sublinear functions of measures and variational integrals, Duke Math. J. 31 ( 1964), 159– 178. Google Scholar CrossRef Search ADS 11 P. Hajlasz, A note on the weak approximation of minors, Ann. Inst. H. Poincaré Anal. Non Linéaire 12 ( 1995), 415– 424. Google Scholar CrossRef Search ADS 12 J. Kristensen, Lower semicontinuity of quasi-convex integrals in BV(Ω;Rm), Calc. Var. Partial Differential Equations 7 ( 1998), 249– 261. Google Scholar CrossRef Search ADS 13 J. Kristensen, Lower semicontinuity of weakly differentiable functions, Math. Ann. 313 ( 1999), 653– 710. Google Scholar CrossRef Search ADS 14 P. Marcellini, Approximation of quasiconvex functions, and lower semicontinuity of multiple integrals, Manuscripta Math. 51 ( 1985), 1– 28. Google Scholar CrossRef Search ADS 15 N. Meyers, Quasi-convexity and lower semi-continuity of multiple variational integrals of any order, Trans. Amer. Math. Soc. 119 ( 1965), 125– 149. Google Scholar CrossRef Search ADS 16 C. Morrey, Quasi-convexity and the lower semicontinuity of multiple integrals, Pacific J. Math. 2 ( 1952), 25– 53. Google Scholar CrossRef Search ADS 17 C. Morrey, Multiple integrals in the calculus of variations ( 1966), ix+506. 18 P. Soneji, Lower semicontinuity in BV of quasiconvex integrals with subquadratic growth, ESAIM Control Optim. Calc. Var. 19 ( 2013), 555– 573. Google Scholar CrossRef Search ADS 19 P. Soneji, Relaxation in BV of integrals with superlinear growth, ESAIM Control Optim. Calc. Var. 20 ( 2014), 1078– 1122. 20 E. Stein, Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals, Princeton Mathematical Series vol. 43, Princeton University Press, Princeton, NJ, 1993. 21 V. Šverák, Quasiconvex functions with subquadratic growth, Proc. Roy. Soc. London Ser. A 433 ( 1991), 723– 725. Google Scholar CrossRef Search ADS 22 H. Whitney, Analytic extensions of differentiable functions defined in closed sets, Trans. Amer. Math. Soc. 36 ( 1934), 63– 89. Google Scholar CrossRef Search ADS © The Author(s) 2017. Published by Oxford University Press. All rights reserved. For permissions, please e-mail: journals.permissions@oup.com This article is published and distributed under the terms of the Oxford University Press, Standard Journals Publication Model (https://academic.oup.com/journals/pages/about_us/legal/notices)

The Quarterly Journal of Mathematics – Oxford University Press

**Published: ** Dec 14, 2017

Loading...

personal research library

It’s your single place to instantly

**discover** and **read** the research

that matters to you.

Enjoy **affordable access** to

over 18 million articles from more than

**15,000 peer-reviewed journals**.

All for just $49/month

Query the DeepDyve database, plus search all of PubMed and Google Scholar seamlessly

Save any article or search result from DeepDyve, PubMed, and Google Scholar... all in one place.

Get unlimited, online access to over 18 million full-text articles from more than 15,000 scientific journals.

Read from thousands of the leading scholarly journals from *SpringerNature*, *Elsevier*, *Wiley-Blackwell*, *Oxford University Press* and more.

All the latest content is available, no embargo periods.

## “Hi guys, I cannot tell you how much I love this resource. Incredible. I really believe you've hit the nail on the head with this site in regards to solving the research-purchase issue.”

Daniel C.

## “Whoa! It’s like Spotify but for academic articles.”

@Phil_Robichaud

## “I must say, @deepdyve is a fabulous solution to the independent researcher's problem of #access to #information.”

@deepthiw

## “My last article couldn't be possible without the platform @deepdyve that makes journal papers cheaper.”

@JoseServera

DeepDyve ## Freelancer | DeepDyve ## Pro | |
---|---|---|

Price | FREE | $49/month |

Save searches from | ||

Create lists to | ||

Export lists, citations | ||

Read DeepDyve articles | Abstract access only | Unlimited access to over |

20 pages / month | ||

PDF Discount | 20% off | |

Read and print from thousands of top scholarly journals.

System error. Please try again!

or

By signing up, you agree to DeepDyve’s Terms of Service and Privacy Policy.

Already have an account? Log in

Bookmark this article. You can see your Bookmarks on your DeepDyve Library.

To save an article, **log in** first, or **sign up** for a DeepDyve account if you don’t already have one.