• Aucun résultat trouvé

On quasiconvex hulls in symmetric <span class="mathjax-formula">$2\times 2$</span> matrices

N/A
N/A
Protected

Academic year: 2022

Partager "On quasiconvex hulls in symmetric <span class="mathjax-formula">$2\times 2$</span> matrices"

Copied!
12
0
0

Texte intégral

(1)

www.elsevier.com/locate/anihpc

On quasiconvex hulls in symmetric 2 × 2 matrices

László Székelyhidi, Jr.

Departement Mathematik, ETH Zürich, 8092 Zürich, Switzerland

Received 2 June 2005; received in revised form 10 October 2005; accepted 11 November 2005 Available online 7 July 2006

Abstract

In this paper we study the quasiconvex hull of compact sets of symmetric 2×2 matrices. We are interested in situations where the quasiconvex hull can be separated into smaller independent pieces. Our main result is a geometric criterion which is sufficient for the quasiconvex hull of the union of two compact setsK1K2to separate in the sense that(K1K2)qc=K1qcK2qc. The key point in the proof is a kind of directional maximum principle for second order elliptic equations in the plane in non-divergence form with measurable coefficients.

©2006 Elsevier Masson SAS. All rights reserved.

Résumé

On étudie les enveloppes quasiconvexes des ensembles compacts de matrices symétriques 2×2. On s’intéresse aux situations où l’enveloppe quasiconvexe se laisse séparer dans des morceaux indépendants plus petits. Le résultat principal est un critère géométrique suffisant pour l’enveloppe quasiconvexe d’une union de deux ensembles compactsK1K2pour se séparer comme (K1K2)qc=K1qcK2qc. Le point essentiel dans la preuve est un principe du maximum directionnel pour les équations elliptiques de deuxième ordre dans le plan sous la forme non-divergence avec des coefficients mesurables.

©2006 Elsevier Masson SAS. All rights reserved.

Keywords:Gradient Young measure; Quasiconvex hull; Maximum principle

1. Introduction

A central issue in the calculus of variations is the study of approximate and exact (Lipschitz) solutions to differential inclusions of the form

u(x)K for almost everyxΩ, (1)

whereΩ⊂Rnis a simply connected domain,K⊂Rm×nis a prescribed (compact) set of matrices andu:Ω→Rm. A typical problem concerning approximate solutions can be described as follows. Suppose {uj}is a sequence of uniformly Lipschitz functions such that dist(∇uj, K)→0 in L1(Ω) anduju uniformly. In general the limit u need not be a solution of (1) due to the presence of rapid oscillations in the sequence. It is of importance, both theoretically and practically (in connection with variational approaches to material microstructure, see for example in

E-mail address:szekelyh@math.ethz.ch (L. Székelyhidi, Jr.).

0294-1449/$ – see front matter ©2006 Elsevier Masson SAS. All rights reserved.

doi:10.1016/j.anihpc.2005.11.001

(2)

[5,9,18]) to characterize the set of possible values of the limit gradient∇u(x)and more specifically to find conditions on the setKwhich ensure that the limit is a solution.

It is well known that oscillations in a sequence of gradients{∇uj}can be characterized in terms of the gradient Young measure{νx}xΩgenerated by the sequence, and the gradient of the limit is given by the formula∇u(x)= ¯νx. Hereν¯xdenotes the barycenter (or center of mass) of the probability measureνxfor eachxΩ. In terms of{νx}xΩ

the issue is to characterize the set of barycentersν¯xfor gradient Young measures such that suppνxK. An important tool here is localization in the sense that for almost everyxΩthe measureνxcoincides with ahomogeneousgradient Young measure (see Section 2). Accordingly, the set of possible values of∇ufor limits of approximate solutions to (1) is given by the quasiconvex hullKqc, defined as

Kqc= {¯ν: νis a homogeneous gradient Young measure, suppνK}. (2) Thus the problem formulated above amounts to finding conditions onKwhich ensure thatKqc=K.

The first basic technique for estimating the quasiconvex hullKqc is to use the fact that the rank-one convex hull Krcand the polyconvex hullKpcprovide an inner and outer estimate respectively. More precisely,

KrcKqcKpc.

For certain sets with high symmetryKpc=Krc (see [8,10]), which implies also equality for the quasiconvex hull.

However, in general neither equality holds, although it remains an outstanding open problem whether Krc=Kqc in the space of 2×2 matrices. By using the characterization of the quasiconvex hull via duality (see (11) in Sec- tion 2), in principle further restrictions onKqc can be obtained from explicit quasiconvex functions which are not polyconvex, but in practice such examples are in very short supply (see [13,20]). Another approach is via separation of homogeneous gradient Young measures, as follows.

Definition 1.Two disjoint setsU1, U2⊂Rm×nare said to be separating for homogeneous gradient Young measures1 if wheneverνis a homogeneous gradient Young measure with suppν⊂U1U2, then suppνU1or suppνU2.

Thus, if it is possible to find separating setsU1, U2such thatK=K1K2withKiUi, then from (2) it follows that

Kqc=K1qcK2qc.

This enables one to reduce the calculation ofKqcto the two smaller problems of calculatingK1qcandK2qc, where the rank-one convex and the polyconvex hulls will provide better estimates. A standard example of separating sets occurs in the space of symmetric 2×2 matricesR2sym×2:

Example 1.LetU1, U2⊂R2sym×2be given by

U1= {positive definite matrices}, U2= {negative definite matrices}. ThenU1, U2are separating for homogeneous gradient Young measures.

We recall the argument for the convenience of the reader. Note that for symmetric 2×2 matrices{det>0} = U1U2. The main point is to use V. Šverák’s examples of quasiconvex functions (see [20])

Fl(A)=

|detA| if the index ofAisl,

0 otherwise. (3)

The index ofAis the number of negative eigenvalues. Ifνis a homogeneous gradient Young measure with suppνU1U2= {det>0}, then detν¯=

det dν >0 (because det is quasi-affine, see Section 2) and therefore the matrixν¯ is either positive definite or negative definite. Let us assume thatν¯is positive definite (i.e.ν¯∈U1). SinceF0−det is also quasiconvex, we have

0=F0(ν)¯ −det(ν)¯

F0−det dν. (4)

1 Such sets are called homogeneously incompatible in [4].

(3)

On the other handF0−det0 onU1U2, in particular F0−det0 on suppν. Thus from (4) we deduce that necessarilyF0−det≡0 on suppνand this implies that suppνU1. For the case whenν¯∈U2, we useF2instead of F0in the same argument.

In this paper we are concerned with the case which is in some sense complementary to Example 1, when K1K2⊂ {det<0}.

The main difference is that inR2sym×2the set{det>0}has two disjoint components whereas{det<0}is connected.

Indeed, even when considering the rank-one convex hulls, additional conditions are needed for separation. In [21] it was proved (Theorem 4) that ifK1, K2 are sign-separated in the sense that det(A−B) <0 wheneverAK1and BK2, then they are separating for the rank-one convex hull if and only if the following condition holds:

Condition 1.There exists a curveγ:R→R2sym×2such that the set U:=

A: det(AB) <0 for allBγ

consists of at least two connected components andK1, K2lie in different components.

To explain geometrically what this condition means, let Λ= {A∈R2sym×2: detA0}and let ΛB =B+Λ= {B+A: AΛ}. We note thatΛis a double-sided (solid) cone2with vertex at the origin. Then the setU is simply the complement of the set

BγΛB. In other words the setsK1andK2are separating for the rank-one convex hull if and only if it is possible for the coneΛto “travel through the middle” in such a way that it doesn’t touchK1orK2. The question arises whether two sets are separating for homogeneous gradient Young measures under Condition 1.

We give a positive answer in the simplest case, whenγ is a straight line.

Theorem 1.Letνbe a homogeneous gradient Young measure withsuppνK1K2⊂R2sym×2and suppose that there existsB∈R2sym×2withdetB <0such that

K1K2UB:=

A: det(At B) <0for allt∈R

(5) withK1andK2contained in different connected components of UB. Then

suppνK1 or suppνK2.

Previously results concerning the separation of gradient Young measures were obtained in [4,16,19,23]. It should be pointed out however, that these results deal mainly with separation of non-homogeneous gradient Young mea- sures, in the sense that if {νx}xΩ is a gradient Young measure with suppνxK1K2 for almost everyxΩ, then suppνxK1for almost every xΩ or suppνxK2 for almost everyxΩ. This notion of separation is a lot stronger than separation in the sense of Definition 1, in particular it immediately implies separation for homoge- neous gradient Young measures. The difference between the two notions is that in addition to restricting oscillations (i.e. preventing sequences from oscillating rapidly betweenK1andK2), separation for non-homogeneous gradient Young measures amounts to a certain regularity in the form of control on the size of oscillations of the gradient. In fact the proofs in [16,23] rely on using elliptic regularity to obtain bounds on the size of oscillations.

In contrast, our motivation is to understand the relationship between the rank-one convex and the quasiconvex hull inR2×2, and more specifically whether sets which are separating for the rank-one convex hull are also separating for the quasiconvex hull. This requires us to deal with large sets where it is not possible to provea prioribounds on the size of oscillations, because the sets themselves could contain arbitrarily large rank-one lines. Indeed, our proof is based on a maximum principle type argument, taylored to prevent oscillationsbetweenK1andK2. On the other hand it is not clear whether in general two disjoint compact setsK1,K2satisfying the condition of the theorem would be in fact separating for non-homogeneous gradient Young measures.

Before setting out to prove Theorem 1 we show that with a simple change of variables it can be reduced to a special case. To this end note that

det(A−t B)=detAttrace(AcofB)+t2detB,

2 In coordinatesz+x y

y z−x one hasΛ= {z2x2+y2}.

(4)

hence (5) only makes sense forBwith detB0. If detB=0 then UB=

A: detA <0 and trace(AcofB)=0 ,

and for subspaces with only one rank-one line it is well known that rank-one convexity and quasiconvexity coincide (see Theorem 4 in [17]). So the only non-trivial case is when detB <0.

Secondly, letJ =0 1

1 0 . If detB <0, then there exists an orthogonal matrixP such thatP BPTis diagonal, say P BPT=λ1 0

0 λ2 for someλ1, λ2>0. Therefore if Q= 1

√2

1 −1

1 1

1 λ1 0 0 1 λ2

P ,

thenQBQT=J. Hence by consideringK˜i =QKiQTwe may assume without loss of generality thatB=J. Then UBbecomes

UJ=

A: |a11+a22|<|a11a22|

. (6)

Since K1 and K2 are compact, if K1K2UJ, then there exists 0< k <1 such that K1K2Ek, which is defined below. The key observation is that this puts us in an elliptic setting where on the one hand we can use elliptic operators to project the generating sequence of the Young measure, and on the other hand apply maximum principle type arguments.

Definition 2.Fork >0 let Ek=

A∈R2sym×2: |a11+a22|k|a11a22| , and let

Ek±=

A∈R2sym×2: |a11+a22k(a11a22) .

From the foregoing discussion it follows that Theorem 1 is implied by Theorem 2.Supposeνis a homogeneous gradient Young measure with

suppνEk for somek(0,1). Then

suppνE+k or suppνEk.

As an application of Theorem 1 we obtain equality of hulls for sets of the form K=

x y y z

: |x| =a,|y| =b,|z| =c

(7) for any a, b, c >0. This set first appeared in [11] and the various semiconvex hulls have been calculated in [12]

Section 2.1. In particular it is shown in [12] Theorem 2.1.1 thatKrc=Kqcifacb20, but the expression for the quasiconvex hull in the caseacb2<0 is left open (see Remark 2.1.3. in [12]). Using Theorem 1 we obtain Corollary 1.LetKbe the set in(7)withacb2<0. Then

Kqc=Krc=

AKc: |y| =b

. (8)

Proof. LetB=a 0

0c , and consider the corresponding setUB. A simple calculation shows that UB=

x y y z

: xz+ 1

4ac(cxaz)2y2<0

.

(5)

We claim thatKUB. If|x| =a,|y| =b,|z| =cwithxandzhaving the same sign, thenxz+4ac1 (cxaz)2y2= acb2<0, and ifx andzhave opposite signs, thenxz+4ac1 (cxaz)2y2= −ac+acb2= −b2<0. Thus KUB. Moreover,UBconsists of two connected components

UB=U1U2,

withUi = {AUB: (−1)iA12<0}, and similarly K=K1K2 withKi = {AK: (−1)iA12<0} ⊂Ui. Hence Theorem 1 implies thatKqc=K1qcK2qc. But it is not difficult to see that Kirc=Kiqc=Kic, from which (8) fol- lows. 2

During the referee process it was brought to the author’s attention that in parallel with the current work B. Bojarski, L. D’Onofrio, T. Iwaniec and C. Sbordone, in connection with G-closure problems for first order elliptic operators in the plane, obtained a stronger version of our Theorem 3 in [6] (Corollary 7.1), using the theory of quasiconformal mappings. With the appropriate interpretation, the combination of their result with the techniques in Section 4 leads to the strengthening of Theorem 1 in the sense that separation of homogeneous gradient Young measures holds for setsK1,K2in thefull spaceR2×2provided that the condition (5) applies.

In Section 3 we prove a kind of directional maximum principle for solutions to certain elliptic equations in non- divergence form. This is really the main point. In Section 4 we give the proof of Theorem 2. Finally, in Appendix A we provide the necessaryLpestimates for elliptic equations in non-divergence form, as done in [2].

2. Preliminaries

Throughout the paper we write Rm×n for the space of m×n matrices, and Rnsym×n for the space of n×n symmetric matrices. For functions u:Rn → Rm we denote by ∇u the full gradient, i.e. the matrix ∇u(x)= (∂iuj(x))i=1...n, j=1...m, and for functionsu:Rn→Rwe denote byD2uthe Hessian matrix,

D2u(x)=

iju(x) i,j=1...n.

LetK⊂Rm×nbe a compact set and letuj :Ω⊂Rn→Rmbe a sequence of uniformly Lipschitz functions such that dist(∇uj, K)→0 strongly in L1(Ω). The technical tool to describe possible oscillations in the sequence of gradients{∇uj}is the Young measure{νx}xΩ generated by the sequence (see e.g. [3,22]). Specifically,{νx}xΩ is a family of probability measures onRm×n, depending measurably onxΩ, such that suppνxK and for every fC0(Rm×n)

f (uj)

Rm×n

f (A)x(A) inL(Ω). (9)

A functionf:Rm×n→Ris said to be quasiconvex if for allA∈Rm×n

Ω

f (A+ ∇η)f (A)dx0 for allηC0

Ω,Rm .3

D. Kinderlehrer and P. Pedregal proved in [15] that homogeneous gradient Young measures are in duality with quasi- convex functions via Jensen’s inequality: a (compactly supported) probability measureμonRm×nis a homogeneous gradient Young measure if and only if

f (μ)¯

f (A)dμ(A) for allf:Rm×n→Rquasiconvex. (10)

In particular ifμis a compactly supported probability measure withμ¯=Asuch that (10) holds, then for any simply connected Lipschitz domainΩ⊂Rnthere exists a sequence of uniformly Lipschitz functionsuj:Ω→Rmsuch that uj(x)=Ax on∂Ω and{∇uj}generates the Young measureμin the sense of (9). Duality leads to an equivalent definition of quasiconvex hull:

Kqc=

A: f (A)sup

K

f for all quasiconvexf: Rm×n→R

. (11)

3 HereΩis any simply connected Lipschitz domain. It can be easily shown that the definition is independent of the specific choice of domain.

(6)

Furthermore, a family of uniformly compactly supported probability measures{νx}xΩ (depending measurably onx) is a gradient Young measure if and only if there exists a Lipschitz function u such that Du(x)= ¯νx andνx is a homogeneous gradient Young measure for almost everyxΩ. For further information concerning the general theory of gradient Young measures as well as extensions to sequences of Sobolev maps, we refer the reader to [18].

Polyconvex functions are an important subclass of quasiconvex functions. A functionf:Rm×n→Ris said to be polyconvex if there exists a convex functiongsuch thatf (A)=g(M(A)), whereM(A)denotes the vector of all minors ofA∈Rm×n. Functions which are linear combinations of minors are quasi-affine in the sense thatL(ν)¯ = Ldν for all homogeneous gradient Young measures. For 2×2 matrices, the case of interest in this paper, the only quasi-affine function is the determinantA→detA. A function is said to be rank-one convex iftf (A+t B)is convex wheneverB∈Rm×nis a matrix of rank 1. The rank-one convex hullKrcand the polyconvex hullKpc of a compact setK can be defined in the same way as (11) with rank-one convex and polyconvex functions instead of quasiconvex functions. From the characterization (10) it follows that the classes of rank-one-, quasi- and polyconvex functions are closed under taking convex combinations, multiplying by a positive constant, and taking pointwise suprema.

In this paper we deal with compact sets of symmetric matrices. By employing the Hodge decomposition inL2, one can show (see e.g. [20]) that homogeneous gradient Young measures supported on symmetric matrices can in fact be generated by the second derivatives of scalar valued functions. More precisely, ifνis a homogeneous gradient Young measure such that suppν⊂Rnsym×nandA= ¯ν, then for any simply connected Lipschitz domainΩ⊂Rnthere exists a sequence of functionsuj:Ω→Rsuch thatuj(x)=12x·Axon∂Ω,D2ujLp(Ω)c(p)for allp <∞and{D2uj} generates the Young measureν. Functions defined only on symmetric matrices are said to be quasiconvex if Jensen’s inequality (10) holds for all homogeneous gradient Young measures which are supported on symmetric matrices.

3. A directional maximum principle

Theorem 3.Letμ:Q→Rbe measurable with|μ|k <1and supposeuW2,p(Q)for somep >2satisfies Lμu=(1+μ)∂x2u+(1μ)∂y2u=0 inQ,

u=u0 on∂Q (12)

whereu0is a quadratic form such that xu0(x, y)is convex,

yu0(x, y)is concave. (13) Then

x2u0y2u a.e. inQ. (14)

Proof. The idea of the proof is simple: assuming for a moment thatuis smooth for whichy2uis not always non- positive, we consider the test-function w we get by taking for each fixed x the concave hull ofyu(x, y). By assumptionw=u. In the contact set (wherew=u)D2w=D2ualmost everywhere, henceLμw=0. Moreover in regions wherew > u, by definitionyw(x, y)is affine, hencey2w=0. If we can prove that in additionx2w0, thenLμw0. But thenwis a subsolution, hencewuwhich by definition ofwimplies thatw=u, resulting in a contradiction.

We will first prove the result in the case whenμCα(Q)and then pass to the general case using uniformW2,p estimates.

The case whenμCα(Q)

Standard interior estimates (e.g. Theorem 9.19 in [14]) and Sobolev embedding imply thatuC2,α(Q)C1(Q).

LetM= DuC0(Q).

Letw:Q→Rbe defined as follows. For each fixedx∈ [0,1]letyw(x, y)be the concave hull ofyu(x, y) (i.e. the smallest concave function which lies aboveu) and letΓ = {u=w}be the contact set. Sinceyu0(x, y)is concave,u=wforx=0,1. Furthermore, sinceuis Lipschitz inQ,

yMy(1y)+(1y)u0(x,0)+yu0(x,1) (15)

(7)

is a concave upper bound toyu(x, y), henceu=wfory=0,1. Thus

∂QΓ.

Our aim is to prove thatwis a viscosity subsolution to (12).

Step 1:wis Lipschitz continuous inQ. Since yu(x, y)isC1,yw(x, y)isC1for eachxwith yw(x, y)M.

Let(x0, y0)Qand consider

l(y):=w(x0, y0)+yw(x0, y0)·(yy0). (16)

Thenu(x0, y)l(y), henceu(x, y)l(y)+M|xx0|. But then by the definition ofw

u(x, y)w(x, y)l(y)+M|xx0|. (17)

If(x0, y0)Γ then (17) implies w(x, y)−w(x0, y0)M

|xx0| + |yy0| . (18) On the other hand if(x0, y0) /Γ thenw(x0, y)l(y)in some non-empty interval(y1, y2)containingy0such that (x0, yi)Γ fori=1,2. For anyλ(0,1)lety=λy1+(1λ)y2. By concavity ofyw(x, y)and linearity of yw(x0, y)we have

w(x, y)w(x0, y0)=w(x, y)w(x0, y)+w(x0, y)w(x0, y0)

λw(x, y1)+(1λ)w(x, y2)λw(x0, y1)(1λ)w(x0, y2)+l(y)l(y0)

λ

u(x, y1)u(x0, y1) +(1λ)

u(x, y2)u(x0, y2) +l(y)l(y0)

M

|xx0| + |yy0| . (19) Combining (19) with (17) yields (18) also in this case. Finally we consider the case when(x0, y0)∂Q. Ify0=0 or y0=1, (18) follows immediately from (15) (recall thatu=won∂Q). For the casex0=0 orx0=1 note that

v(x, y)=(1x)u0(0, y)+xu0(1, y)

satisfies Lv0 inQanduv on∂Q, hence uv inQby the maximum principle. But since yv(x, y)is concave, we deduce thatwvinQ. Therefore

uwv inQ, and (18) follows.

Step 2:wis a viscosity subsolution. Fix(x0, y0)Qand letφC2(Q)be such thatwφhas a local maximum at(x0, y0)andw(x0, y0)=φ(x0, y0). We need to show that

Lμφ(x0, y0)0

(see Proposition 2.4 in [7]). If(x0, y0)ΓQthen on the one hand φ(x, y)w(x, y)u(x, y)

locally near(x0, y0), and on the other hand φ(x0, y0)=w(x0, y0)=u(x0, y0).

SinceLμu=0, the maximum principle impliesLμφ(x0, y0)0.

Now assume that(x0, y0)∈ {u < w}. As in (16), there existsy1< y0< y2such thatw(x0, y)l(y)in[y1, y2]and (x0, yi)Γ fori=1,2. Therefore necessarilyy2φ(x0, y0)0. Suppose thatx2φ(x0, y0) <0. Letλ(0,1)be such thaty0=λy1+(1λ)y2. By linearity ofyw(x0, y)

φ(x0, y0)=w(x0, y0)=λw(x0, y1)+(1λ)w(x0, y2), and by concavity

w(x0+t, y0)λw(x0+t, y1)+(1λ)w(x0+t, y2)

(8)

whenever 0< x0+t <1. Since(x0, y0)is a local maximum forwφ, w(x0+t, y0)+w(x0t, y0)2w(x0, y0)ct2

for somec >0 and all sufficiently small|t|. Combining these gives λ

u(x0t, y1)+u(x0+t, y1) +(1λ)

u(x0t, y2)+u(x0+t, y2)

λ

w(x0t, y1)+w(x0+t, y1) +(1λ)

w(x0t, y2)+w(x0+t, y2) w(x0t, y0)+w(x0+t, y0)

2w(x0, y0)ct2

=2λw(x0, y1)+2(1−λ)w(x0, y2)ct2

=2λu(x0, y1)+2(1−λ)u(x0, y2)ct2

for small|t|. Rearranging terms and lettingt→0 yields (sinceuC2)

λ∂x2u(x0, y1)+(1λ)∂x2u(x0, y2)c <0. (20) Suppose first that 0< y1< y2<1. Then y2u(x0, yi)0 for i=1,2 because yu(x0, y)l(y) achieves its maximum aty1andy2. Thereforex2u(x0, yi)0 fori=1,2 becauseuC2(Q)solves (12) pointwise. Ify1=0 or y2=1 then (13) directly implies that x2u(x0, yi)0. In any case we obtain a contradiction with (20). Hence necessarilyx2φ(x0, y0)0, and so

Lμφ(x0, y0)=(1+μ)∂x2φ(x0, y0)+(1μ)∂yφ(x0, y0)0.

We have shown thatwis a viscosity subsolution to (12) such thatu=won∂Q. The maximum principle (Theo- rem 3.2 in [7]) implies thatuwinQ. But thenu=winQand hencex2u0y2uinQas required.

The case whenμis measurable

LetμjCα(Ω)be a sequence such that|μj|kand μjμ strongly inLqfor allq <,

(21) μj μ weakly* inL.

Fixq(2,min(pk, p)), wherepk is given in Proposition 1 in Appendix A, and letujW2,q(Q)be the solution of Lμjuj=0 inQ,

(22) uj=u0 on∂Q.

The proof above applies to eachuj, showing that

x2uj0y2uj inQ (23)

for eachj. Proposition 1 implies thatuj is bounded uniformly inW2,q(Q), hence upto taking a subsequence we may assume that

uju˜ weakly inW2,q (24)

for someu˜∈W2,q(Q). Combining (21) and (24) yields Lμjuj Lμu˜ inL1,

thereforeLμu˜=0 and henceu˜=u. But then passing to the limit in (23) yields

x2u0y2u a.e. inQ. 2

(9)

4. Proof of Theorem 2

Proof. First we show thatνEk. We use the coordinates A=

a11 a12

a12 a22

. Let

f (A):=

(a11+a22)2k2(a11a22)2 +,

where(·)+denotes the positive part. Thenf 0 and{f =0} =Ek, so it suffices to show thatf is polyconvex. For this notice that

g(A):=a11a22=sup

Bl

det(A−B),

wherel= {B∈R2sym×2: b11=b22=0}, is polyconvex because is it a pointwise supremum of polyconvex functions.

Therefore f (A)=

1 4

1−k2 (trA)2+k2g(A)

+

is also polyconvex.

Let u0:R2→Rbe the quadratic form with D2u0=ν and assume without loss of generality that νE+k. As explained in Section 2 we may assume thatν is generated by a sequence{D2uj}whereuj:Q→Rare such that uj=u0on∂QandujW2,p(Q)C(p)for each 1p <∞.

Now we “project”D2ujdown toEk using the method of [1]. Let h(A)=

|a11+a22| −k|a11a22| +.

For eachj there exists a measurable functionμj:Q→Rwith|μj|ksuch that h

D2uj(x, y) =1+μj(x, y) x2uj(x, y)+

1−μj(x, y) y2uj(x, y). (25) Such a functionμj can be explicitly constructed as follows. Letπ:R2sym×2→Rbe defined as

π(A)=

−max

k,min

k,aa11+a22

11a22

ifa11=a22,

k ifa11=a22,

so thatπ(A)is lower semicontinuous and|π(A)|kfor allA∈R2sym×2. LetA∈R2sym×2such thata11=a22andA /Ek. If(a11+a22)/(a11a22) > k, then eithera11+a22>0 anda11a22>0, or both are negative. Hence

a11+a22+π(A)(a11a22)=

|a11+a22| −k|a11a22| if both are positive,

−|a11+a22| +k|a11a22| if both are negative.

A similar argument applies if(a11+a22)/(a11a22) <k, thus in summary ifa11=a22 andA /Ek then|a11+ a22+π(A)(a11a22)| = ||a11+a22| −k|a11a22|| =h(A). Ifa11=a22, then again

a11+a22+π(A)(a11a22)= |a11+a22| =h(A).

Finally ifa11=a22andAEk, thena11+a22+π(A)(a11a22)=0, again verifying the identity h(A)=a11+a22+π(A)(a11a22).

Therefore it suffices to defineμj(x, y)=π(D2uj(x, y))to obtain (25). The measurability ofμj follows from mea- surability ofD2uj and the lower semicontinuity ofπ.

Since suppν⊂ {h=0}andD2uj is uniformly bounded inLpfor anyp <∞, LμjujpLp(Q)=

Q

hp

D2uj dx→0 asj→ ∞,

(10)

where

Lμu=(1+μ)∂x2u+(1μ)∂y2u.

Fixp(2, pk), wherepk is given in Proposition 1, and letvjW2,p(Q)be the solution of the Dirichlet problem Lμjvj=Lμjuj inQ,

vj=0 on∂Q. (26)

Letwj=ujvj. By Proposition 1 there exists a constantC=C(p, k)such that D2ujD2wj

Lp(Q)CLμjujLp(Q)→0 asj→ ∞, henceD2wj also generates the gradient Young measureν. Moreover

Lμjwj=0 inQ, wj=u0 on∂Q. (27)

Since we assumed thatνE+k, condition (13) in Theorem 3 is satisfied. Hence the theorem implies that D2wjEk+ a.e.,

and thus suppνEk+. 2

Appendix A. Lpestimates for elliptic equations

In this section we provide the globalW2,pestimates for the Dirichlet problem. These estimates were obtained in by K. Astala, T. Iwaniec and G. Martin in [2], where the connection is made with Beltrami equations in the plane.

In fact, this connection leads to the identification of the optimal exponentsqk=1+k <2< pk=1+k1 where a priori estimates of the type (A.2) hold. In order to keep this paper self-contained we show how theW2,pestimates can be obtained forsomerange of exponentsqk<2< pk in a fairly elementary way. This is sufficient for our purposes because we are interested in homogeneous gradient Young measures with compact support. It should be pointed out however that due to the results in [2] the separation results in this paper (in particular Theorem 2) also hold for homogeneous gradient Young measures generated by sequences of gradients {∇uj}uniformly bounded inLp for somep > qk.

Our proof is inspired by the method in [2], and we do not claim any originality in this section. Recall that Lμ=(1+μ)∂x2+(1μ)∂y2,

where|μ|k <1.

Proposition 1.For anyk <1there exist two exponentsqk<2< pk such that forfLp(Q)withp(qk, pk)the equation

Lμu=f (A.1)

has a unique solutionuW2,p(Q)vanishing on∂Qand for some constantC=C(p, k) D2u

Lp(Q)CfLp(Q). (A.2)

Proof. First we derive an a priori estimate in the whole spaceR2. To this end letuCc(R2)be the solution of (A.1) for someμ. LetT:L2(R2)L2(R2)be defined byT w=(∂x2y2)1w. Here1 denotes the inverse of the operator:W2,2(R2)L2(R2). ThusT is a singular integral operator with symbol12ξ22)/|ξ|2, and operator normTLpLpequal to 1 forp=2 and continuous inp. Furthermore, withw=uEq. (A.1) can be rewritten as

(I+μT )w=f.

(11)

Therefore, since|μ|k, there existsqk<2< pksuch that forp(qk, pk)we haveμTLpLp<1, and thus the operatorI+μT is invertible inLp(R2). In particular we find

wLp(R2)C(p, k)fLp(R2)

for p(qk, pk). Combined with the inequalityD2uLp(R2)C(p)uLp(R2) we obtain for p(qk, pk)the a priori estimate

D2u

Lp(R2)C(p, k)fLp(R2). (A.3)

To obtain the estimate (A.2) for solutions of the Dirichlet problem inQ= [0,1]2we first define a periodic extension as follows. LetuC0(Q)be a solution to (A.1) and letube defined in such a way that

u(x, y)= −u(2kx, y) and u(x, y)= −u(x,2k−y) (A.4) for allk∈Zandu=uinQ. This can be achieved for example by first defininguon[−1,1]2as

u(x, y)=

⎧⎪

⎪⎪

⎪⎪

⎪⎩

u(x, y), Q,

u(x, y), (−1,0)+Q,

u(x,y), (0,−1)+Q, u(x,y), (−1,−1)+Q,

and then extending toR2periodically. From (A.4) it is easy to see thatuWloc2,p(R2)with uW2,p((k,l)+Q)= uW2,p(Q).

Indeed, by periodicity it suffices to show thatuWloc2,p((−1,1)2). To this end letφC0((−1,1)2). We need to show that

Du

CuW2,p(Q)φLq, (A.5)

wherep1+q1=1. For anyε >0 letη:R→Rbe a smooth function such thatη(t )=1 for|t|> ε,η(t )=0 for

|t|< ε/2 and|η(t )|1. Then

η(x)η(y)Du=

DuD

φη(x)η(y)

η(y)φ∂xuη(x)

η(x)φ∂yuη(y). (A.6) Now

η(y)φ∂xuη(x) =

ε/2<x<ε

η(y)φ(x, y)∂xu(x, y)η(x)

ε<x<ε/2

η(y)φ(x, y)∂xu(x, y)η(x)

=

ε/2<x<ε

η(y)

φ(x, y)φ(x, y) xu(x, y)η(x) C1

(ε/2,ε)×[0,1]

xu(x, y)→0 asε→0.

Similarly|

η(x)φ∂yuη(y)| →0 asε→0. Furthermore

DuD

φη(x)η(y) 4D2u

Lp(Q)φLq(Q). Hence (A.6) implies that

η(x)η(y)Du

4D2uLp(Q)φLq(Q)+o(ε).

From this we obtain (A.5) by lettingε→0.

Références

Documents relatifs

Ap- proach spaces (resp. pre-approach spaces) were introduced by R. PRAP) of the well- studied ’classical’ topological constructs TOP, of topological spaces

Zagier, D.: Modular forms whose Fourier coefficients involve zeta functions of quadratic fields, Modular Functions of One Variable VI, Springer Lecture Notes 627,

Toute utilisa- tion commerciale ou impression systématique est constitutive d’une in- fraction pénale.. Toute copie ou impression de ce fichier doit conte- nir la présente mention

We conclude that the matrix problem above is equivalent to the problem of computing the maximal and minimal two-correlation, for fixed probability of.. a one, over

section we shall assume that F is a local field and n is an irreducible admissible representation of GL2(F).. We start with the archimedean

Hodge structure) with a natural filtration defined on the local L2-intersection cohomology groups which is defined in representation-theoretic terms and1. is

Nearly principal minors of order 2 occur many times in the theory of nonnegative matrices and its applications.. Without references

Institut fur Mathematik und angewandte Statistik der Universitât für Bodenkultur Feistmantelstraße 4 1180 Vienna