ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp)

THE KORN INEQUALITY FOR JONES DOMAINS

RICARDO G. DUR ´AN, MARIA AMELIA MUSCHIETTI

Abstract. In this paper we prove the Korn inequality, and its generalization
toLp_{, 1}_{< p <}_{∞}_{, for bounded domains Ω}_{⊂}_{R}n_{,}_{n}_{≥}_{2, satisfying an (}_{ǫ, δ}_{)}
condition.

1. Introduction

Since the pioneering work of Korn [12, 13] on linear elasticity equations, the inequality named after him, in its different forms, has been the subject of a great number of papers. An interesting review article, where connections with other inequalities and several applications are described, was written by Horgan [7].

Given an open domain Ω⊂Rn,n_{≥}2, the Korn inequality states that

k∇v_{k}_{L}2_{(Ω)}n×n≤Ckε(v)k_{L}2_{(Ω)}n×n (1.1)

whereε(v) denotes the symmetric part of∇v, namely,

εij(v) = 1 2

∂v_{i}

∂xj +∂vj

∂xi

Of course, (1.1) can not be true for arbitrary functionsv_{∈}H1(Ω)n _{since there are}
functions such that the right hand side vanishes while the left one does not (the
so called infinitesimal rigid motions). So, in order to prove the inequality, Korn
considered two cases.

The so called first case is to considerv _{∈}H01(Ω)n. In this case the proof of the

inequality (1.1) is simple and was first given by Korn. Moreover, it can be shown that it holds for any open set Ω (not necessarily bounded) and that the constant can be taken asC=√2 (see for example [10]).

The situation is quite different in the second case, where nowv_{∈}H1_{(Ω)}n_{satisfies}

Z

Ω
∂v_{i}

∂xj −

∂vj

∂xi

= 0, for i, j= 1, . . . , n.

This case is fundamental for the analysis of the elasticity equations with traction boundary conditions. In this case, the first correct proofs are likely those given by

2000Mathematics Subject Classification. 74B05. Key words and phrases. Korn inequality; Jones domains.

c

2004 Texas State University - San Marcos.

Submitted March 1, 2004. Published October 27, 2004.

The first author was supported by grant PICT 03-05009 from ANPCyT, by grant PIP 0660/98 from CONICET, and by Fundaci´on Antorchas

The second author was supported by grant 11/X228 from Universidad Nacional de La Plata and by grant PIP 4723/96 from CONICET.

Friedrichs, in [4] for n= 2 and [5] forn= 2 or 3. Indeed, it is not clear whether the original proof of Korn is correct. We have not checked that proof but we can mention that Friedrichs claimed that he has been unable to verify Korn’s proof for the second case (see the footnote 3 in page 443 of [5]). Also Nitsche mentioned that the original proof of Korn is doubtful (see the introduction of [14]).

A different way of stating the Korn inequality is to say that, for anyv_{∈}H1(Ω)n_{,}

kv_{k}H1_{(Ω)}n≤C{kvk_{L}2_{(Ω)}n+kε(v)k_{L}2_{(Ω)}n×n} (1.2)

Indeed, (1.1) in the second case, can be derived from (1.2) by using compactness
arguments (see for example [10]), provided that H1_{(Ω) is compactly imbedded in}

L2_{(Ω), which is true under rather general assumptions on Ω. One the other hand,}

if (1.1) holds in the second case, then (1.2) also holds (see for example [2]). An important difference between the first and second case is that, in the last one, (1.1) does not hold for arbitrary domains Ω. Indeed, it is known that the Korn inequality in the second case is not true when the domain has external cusps. The papers [6, 18] presented counter-examples showing this fact. Moreover, in the old paper [4], Friedrichs gave a very nice counter-example for an inequality which can be derived from (1.1). Suppose that Ω is a two dimensional domain and that

f(z) =φ(x, y) +iψ(x, y)

is an analytic function of the variablez=x+iyin Ω withR

Ωφ= 0. Then, Friedrichs

proved in [4], that under suitable assumptions on Ω, there exists a constant C

depending only on Ω, such that

kφ_{k}L2_{(Ω)}≤Ckψk_{L}2_{(Ω)} (1.3)

and he showed that this estimate is not true for some domains which have external cusps (see [4, page 343]). On the other hand, it is not difficult to see that the second case of Korn inequality implies (1.3) whenever the domain Ω is simply connected. This was proved by Horgan and Payne in [8] (they assume that the boundary is smooth but this is not needed for this implication).

An interesting question is whether the Korn inequality in the second case holds for domains more general than Lipschitz. In his paper [9], Jones introduced the notion of (ǫ, δ) domain and prove that the extension theorem in Sobolev spaces holds if and only if the domain is of this class (which is much more general than the Lipschitz class).

As we said above, some of the arguments to prove the Korn inequality are re-lated to those used for the extension theorem. This fact, together with the above mentioned counter-examples which resemble those for the extension theorem, give rise to the following question:

Is the Korn inequality in the second case (or its equivalent form (1.2)) valid for bounded (ǫ, δ) domains?

In this paper we prove that the answer to this question is positive. In order to do that, we modify the arguments of Jones [9], to construct an extension preserving the norm on the right hand side of (1.2). The key point in our construction is the use of the inequality (1.1), in the second case, on cubes or finite union of cubes. Once we have the extension, the argument concludes by applying (1.2) on a ball containing our original domain.

Our arguments apply also for the generalization of the Korn inequality to Lp_{,}
1< p <_{∞}.

2. Proof of the Korn inequality

Let Ω_{⊂}Rn,n_{≥}2, be a bounded open domain satisfying the (ǫ, δ) condition of
Jones, namely, for any x, y _{∈} Ω such that_{|}x_{−}y_{|} < δ there is a rectifiable arc Γ
joiningxtoy and satisfying

l(Γ)_{≤} 1

ǫ|x−y|,

d(z)≥ ǫ|x−z||y−z|

|x_{−}y_{|} ∀z∈Γ

wherel(Γ) denotes the arclength of Γ andd(z) is the distance fromz to Ωc_{.}
For 1 < p <_{∞}, we will prove that there exists a constant C =C(Ω, p, ǫ, δ, n)
such that, for anyv_{∈}W1,p_{(Ω)}n_{,}

kv_{k}W1,p_{(Ω)}n≤C{kvk_{L}p_{(Ω)}n+kε(v)k_{L}p_{(Ω)}n×n} (2.1)

As mentioned in the introduction, this inequality is equivalent to

k∇v_{k}Lp_{(Ω)}n×n≤Ckε(v)k_{L}p_{(Ω)}n×n (2.2)

for anyv_{∈}W1,p_{(Ω)}n _{satisfying}

Z

Ω
∂v_{i}

∂xj −

∂vj

∂xi

= 0, for i, j= 1, . . . , n.

which, forp= 2, is known as “the second case” of Korn inequality.

Remark 2.1. It is easy to see, by a simple scaling argument, that the constant in the inequality (2.2) depends only on the shape of the domain Ω.

Through the rest of the paper we will use the letterC to denote different con-stants which may depend on ǫ, δ, n, pand the diameter of Ω (we will indicate this dependence only some times for the sake of clarity).

norm on the right hand side of (2.1) and such thatEvhas compact support. We will
construct such an extension by modifying appropriately the extension operator of
Jones [9]. Since, for (ǫ, δ) domains, smooth functions are dense inW1,p_{(Ω) (see [9]),}
it is enough to prove inequality (2.1) for v_{∈}W1,∞_{(Ω)}n _{and so, we will construct}
the extension for suchv.

Given S _{⊂}Rn_{, a measurable set with}_{|}_{S}_{|}_{>}_{0, we call}_{x} _{its barycenter and for}

v_{∈}W1,∞_{(Ω)}n _{we associate with}_{S} _{and}_{v} _{the affine vector field}

PS(v)(x) =a+B(x−x), (2.3)

wherea_{∈}Rn _{and}_{B} _{= (}_{b}_{ij)}_{∈}_{R}n×n _{are defined by}

a= 1

|S_{|}

Z

S

v and bij =
1
2_{|}S_{|}

Z

S

∂v_{i}

∂xj −

∂vj

∂xi

. (2.4)

Observe that, since bij = −bji, PS(v) is an “infinitesimal rigid motion”, i.e., it satisfies

ε(PS(v)) = 0. (2.5)

Moreover,aandB have been chosen in such a way that

Z

S

∂(v_{i}−PS(v)i)

∂xj −

∂(vj−PS(v)j)

∂xi

= 0, (2.6)

Z

S

(v_{−}PS(v))) = 0. (2.7)

Assume now that the inequality (2.2) holds inS. Then, in view of (2.5) and (2.6) we have

k∇(v_{−}PS(v)))kLp_{(}_{S}_{)}n×n≤Ckε(v)k_{L}p_{(}_{S}_{)}n×n (2.8)

where the constantC depends onpand on the shape (but not on the scale!) ofS

(see Remark 2.1).

Now, from (2.7) and the Friedrichs-Poincar´e inequality for functions with van-ishing mean value and denoting withd(S) the diameter ofS, we have

kv_{−}PS(v)_{k}Lp_{(}_{S}_{)}n≤Cd(S)k∇(v−PS(v))k_{L}p_{(}_{S}_{)}n×n (2.9)

and therefore,

kv_{−}PS(v)kLp_{(}_{S}_{)}n≤Cd(S)kε(v)k_{L}p_{(}_{S}_{)}n×n (2.10)

where, again, the constant C depends only on p and on the shape ofS. On the other hand, it is easy to see that

k∇PS(v)kL∞_{(}_{S}_{)}n×n≤ k∇vk_{L}∞_{(}_{S}_{)}n×n (2.11)

and so,

k∇(v_{−}PS(v))_{k}L∞_{(}_{S}_{)}n×n≤2k∇vk_{L}∞_{(}_{S}_{)}n×n (2.12)

and therefore, using (2.9) withp=∞, we obtain

kv_{−}PS(v)kL∞_{(}_{S}_{)}n≤Cd(S)k∇vk_{L}∞_{(}_{S}_{)}n×n (2.13)

where, also here, the constantC depends only on the shape ofS.

Recall that any open set Ω⊂Rn admits a Whitney decomposition into closed dyadic cubes Sk (see [19, 16]) , i.e., Ω = ∪kSk, such that, if ℓ(S) denotes the edgelength of a cubeS,

1≤ dist(_{ℓ}_{(}S_{S}k, ∂Ω)

k) ≤

4√n _{∀}k , (2.14)

S_{j}0_{∩}S0_{k}=∅ ifj_{6}=k , (2.15)
1

4 ≤

ℓ(Sj)

ℓ(Sk)≤

4 ifSj∩Sk 6=∅. (2.16)

Let W1 ={Sk} be a Whitney decomposition of Ω and W2 ={Qj} one of (Ωc)0. We define

W3=

Qj ∈W2 : ℓ(Qj)≤

ǫδ

16n

It was shown by Jones (see Lemmas 2.4 and 2.8 of [9]) that, for eachQj ∈W3, it

is possible to choose a “reflected” cubeQ∗_{j} =Sk ∈W1 such that

1_{≤} ℓ(Sk)

ℓ(Qj) ≤4 and d(Qj, Sk)≤Cℓ(Qj)

and moreover, if Qj, Qk ∈ W3 and Qj∩Qk 6=∅, there is a chain Fj,k = {Q∗j =

S1, S2,· · ·, Sm=Q∗k}(i.e,Sj∩Sj+16=∅) of cubes inW1, connectingQ∗j toQ∗k and
withm_{≤}C(ǫ, δ).

It is known that, associated with a Whitney decomposition, there exists a par-tition of unity{φj} such thatφj∈C∞(Rn),supp φj⊂ 1716Qj, 0≤φj ≤1,

X

Qj∈W3

φj≡1 on

[

Qj∈W3 Qj

and

|∇φj| ≤Cℓ(Qj)−1 ∀j
(see [16, 19]). Now, given v_{∈}W1,∞(Ω)n_{, let} _{P}

j =PQ∗

j(v) defined as in (2.3) and

(2.4) withS=Q∗

j. Then, we defineEv, the extension toRn ofv, in the following way,

Ev= X Qj∈W3

Pjφj in (Ωc)0,

Ev=v in Ω.

Since_{|}∂Ω_{|}= 0 (see Lemma 2.3 in [9]), it follows thatEv is definedp.p. inRn.
The arguments of the following lemmas are similar to those in [9]. In particular
we will make repeated use of Lemma 2.1 of [9] which says,

Lemma 2.2. Let Q be a cube and F, G_{⊂}Qbe two measurable subsets such that
|F_{|},_{|}G_{| ≥}γ_{|}Q_{|} for someγ >0. IfP is a polynomial of degree1 then,

kP_{k}Lp_{(}_{F}_{)}≤C(γ)kPk_{L}p_{(}_{G}_{)}.

Lemma 2.3. Let F =_{{}S1,· · ·, Sm} be a chain of cubes inW1. Then,

kPS1(v)−PSm(v)kLp(S1)n ≤Cc(m)ℓ(S1)kε(v)kLp(∪jSj)n×n, (2.17) and

Proof. We will use (2.10) withS being a cube or a union of two neighboring cubes. In view of (2.16) there are a finite number, depending only on the dimension n, of possible shapes for the union of two neighboring cubes, and so, we can take a uniform constant in (2.10).

Using Lemma 2.2 we have

kPS1(v)−PSm(v)kLp(S1)n

≤

m−1 X

r=1

kPSr(v)−PSr+1(v)kLp(S1)n

≤c(m) m−1

X

r=1

kPSr(v)−PSr+1(v)kLp(Sr)n

≤c(m) m−1

X

r=1

{kPSr(v)−PSr∪Sr+1(v)kLp(Sr)n

+kPSr∪Sr+1(v)−PSr+1(v)kLp(Sr+1)n}

≤c(m) m−1

X

r=1

{kv_{−}PSr(v)kLp(Sr)n+kv−PSr+1(v)kLp(Sr+1)n

+kv_{−}PSr∪Sr+1(v)kLp(Sr∪Sr+1)n}
≤Cc(m)ℓ(S1)kε(v)kLp_{(}_{∪}_{j}_{S}_{j}_{)}n×n

where we have used (2.10). The proof of (2.18) is analogous using now (2.13).

Now, for each Qj, Qk ∈ W3 such that Qj ∩Qk 6= ∅, we choose a chain Fj,k
connectingQ∗_{j} to Q∗_{k} and withm_{≤}C(ǫ, δ) and define

F(Qj) =

[

Qk∈W3, Qj∩Qk6=∅

Fj,k

then,

X

Qk, Qj∩Qk6=∅

χ∪Fj,k

_{L}∞_{(}_{R}n_{)}≤C ∀Qj ∈W3 (2.19)

The following lemmas will allow us to control the norms ofEv,ε(Ev) and∇(Ev)
in (Ωc_{)}0_{.}

Lemma 2.4. ForQ0∈W3 we have
kEv_{k}Lp_{(}_{Q}

0)n≤C{kvkLp(Q∗0)n+ℓ(Q0)kε(v)kLp(∪F(Q0))n×n}, (2.20)
kε(Ev)kLp_{(}_{Q}_{0}_{)}n×n ≤Ckε(v)k_{L}p_{(}_{∪}_{F}_{(}_{Q}_{0}_{))}n×n, (2.21)
kEv_{k}L∞_{(}_{Q}

0)n≤C{kvkL∞(Q∗0)n+ℓ(Q0)k∇vkL∞(∪F(Q0))n×n}, (2.22)
k∇(Ev)_{k}L∞_{(}_{Q}

0)n×n≤Ck∇vkL∞(∪F(Q0))n×n}. (2.23)

Proof. OnQ0we have

Ev= X Qj∈W3

Pjφj

Now, sinceP

Qj∈W3φj≡1 on∪Qj∈W3Qj, then

k X

Qj∈W3

PjφjkLp_{(}_{Q}

0)n≤ kP0kLp(Q0)n+k

X

Qj∈W3

(Pj−P0)φjkLp_{(}_{Q}

Using Lemma 2.2 and (2.10), we have

I=_{k}P0kLp_{(}_{Q}

0)n≤CkP0kLp(Q∗0)n
≤C_{k}P0−vkLp_{(}_{Q}∗

0)n+kvkLp(Q
∗
0)n
≤C_{{k}v_{k}Lp_{(}_{Q}∗

0)n+ℓ(Q0)kε(v)kLp(Q ∗ 0)n×n}

Now, since onQ0there are a finite number (depending only onn) of non-vanishing

φj and 0≤φj ≤1, to boundII it is enough to boundk(Pj−P0)kLp_{(}_{Q}

0)n. But,

using (2.17) and again Lemma 2.2, we have

k(Pj−P0)kLp_{(}_{Q}

0)n≤Ck(Pj−P0)kLp(Q∗0)n ≤Cℓ(Q0)kε(v)kLp(∪F0,j)n×n

and therefore, summing up and using (2.19) we obtain (2.20). Analogously, we can prove (2.22) using now (2.13) and (2.18).

Now, callingPr

j the components ofPj and recalling thatε(Pj) = 0 we have

εrs(Pjφj) = 1 2P

r j

∂φj

∂xs +1

2P s j

∂φj

∂xr

(2.24)

OnQ0,

Ev=P0+ X

Qj∈W3

(Pj−P0)φj

and therefore, sinceε(P0) = 0 we have,

ε(Ev) = X Qj∈W3

ε((Pj−P0)φj)

but, there are at mostC cubesQj such thatφj does not vanishes inQ0 and these

Qj intersectQ0 and therefore,ℓ(Qj)≥ 1_{4}ℓ(Q0). Thus,

|∇φj| ≤Cℓ(Q0)−1

wheneverφj6= 0 for somex∈Q0. Then, for these values ofj, it follows from (2.24)

and (2.17) that

kε((Pj−P0)φj)kLp_{(}_{Q}

0)n×n≤Cℓ(Q0) −1

kPj−P0kLp_{(}_{Q}
0)n
≤Cℓ(Q0)−1kPj−P0kLp_{(}_{Q}∗

0)n≤Ckε(v)kLp(∪F0,j)n×n

Summing up inj, we obtain (2.21).

The proof of (2.23) is similar to that of (2.21) but using now (2.11). Indeed, we have

∇(Ev) =_{∇}P0+
X

Qj∈W3

∇((Pj−P0)φj)

and we have to estimate also the terms_{∇}P0 and∇(Pj−P0). But,

k∇P0kL∞_{(}_{Q}

0)n×n≤Ck∇P0kL∞(Q∗0)n×n ≤Ck∇vkL∞(Q0)n×n,

and

k∇(Pj−P0)kL∞_{(}_{Q}

0)n×n ≤Ck∇(Pj−P0)kL∞(Q∗0)n×n
≤C_{k∇}(Pj−P0)kL∞_{(}_{Q}∗

0∪Q ∗ j)n

×n≤Ck∇vk_{L}∞_{(}_{Q}∗
0∪Q

∗ j)n

×n

≤C_{k∇}v_{k}L∞_{(}_{∪}_{F}
j,0)n×n}

Lemma 2.5. ForQ0∈W2\W3 we have
kEv_{k}Lp_{(}_{Q}_{0}_{)}n≤C

X

Qj∈W3, Qj∩Q06=∅

{kv_{k}Lp_{(}_{Q}∗

j)n+kε(v)kLp(Q ∗

j)n×n}, (2.25)

kε(Ev)kLp_{(}_{Q}

0)n×n≤C

X

Qj∈W3, Qj∩Q06=∅

{kv_{k}Lp_{(}_{Q}∗

j)n+kε(v)kLp(Q ∗ j)n

×n}, (2.26)

kEv_{k}L∞_{(}_{Q}
0)n≤C

X

Qj∈W3, Qj∩Q06=∅

{kv_{k}L∞_{(}_{Q}∗

j)n+k∇vkL∞(Q ∗

j)n×n}, (2.27)

k∇(Ev)_{k}L∞_{(}_{Q}

0)n×n≤C

X

Qj∈W3, Qj∩Q06=∅

{kv_{k}L∞_{(}_{Q}∗

j)n+k∇vkL∞(Q ∗

j)n×n} (2.28)

Proof. Ifφj does not vanish onQ0 thenQj∩Q06=∅and so,

ℓ(Qj)≥ 1

4ℓ(Q0)≥

ǫδ

64n

therefore, onQ0, we have

|Ev_{|}=_{|} X
Qj∈W3, Qj∩Q06=∅

φjPj| ≤C

X

Qj∈W3, Qj∩Q06=∅ |Pj|,

but

kPjkLp_{(}_{Q}

0)n≤CkPjkLp(Q0∗)n≤C{kv−PjkLp(Q ∗

0)n+kvkLp(Q ∗ 0)n}.

Now, since Ω is bounded,ℓ(Q∗_{j}) is bounded by a constant depending only on Ω and
therefore, using (2.10), we obtain

kPjkLp_{(}_{Q}

0)n≤C{kε(v)kLp(Q∗0)n

×n+kvk_{L}p_{(}_{Q}∗

0)n} (2.29)

and therefore, (2.25) is proved. On the other hand, onQ0we have

εrs(Ev) =1 2

X

Qj∈W3, Qj∩Q06=∅

{P_{j}r∂φj
∂xs

+P_{j}s∂φj
∂xr}

but,ℓ(Qj)≥64ǫδn, and so|∇φj| ≤C and (2.26) follows using again (2.29). Finally, (2.27) and (2.28) are obtained by similar arguments, using now (2.11).

Corollary 2.6. If v_{∈}W1,∞_{(Ω)} _{then}

kEv_{k}Lp_{((Ω}c_{)}0_{)}n+kε(Ev)k_{L}p_{((Ω}c_{)}0_{)}n×n≤C{kvk_{L}p_{(Ω)}n+kε(v)k_{L}p_{(Ω)}n×n} (2.30)
and

kEv_{k}W1,∞_{((Ω}c_{)}0_{)}n ≤Ckvk_{W}1,∞_{(Ω)}n (2.31)
Proof. It follows immediately from Lemmas 2.4 and 2.5 by summing up over all

Q0∈W2.

We can now state the main theorem which follows from the results above and arguments given in [9].

Theorem 2.7. If Ω is a bounded (ǫ, δ) domain and 1 < p < _{∞}, there exists a
constant C depending on ǫ, δ, n, p and the diameter of Ω such that, for any v _{∈}
W1,p_{(Ω)}n_{,}

Proof. By density, it is enough to prove the inequality for smoothv. So, we assume
thatv_{∈}W1,∞_{(Ω)}n_{. As we already said, the extension}_{Ev}_{is defined almost }
every-where inRn because|∂Ω|= 0. Moreover, the support ofEv is contained in a ball

B.

In view of (2.31) and the fact that|∂Ω|= 0, ifEvis a continuous function then,
it is Lipschitz. But, the continuity ofEv can be proved exactly as in Lemma 3.5
of [9]. Therefore,Ev_{∈}W1,p_{(}_{B}_{)}n _{and so, from (2.30), it follows that}

kEv_{k}Lp_{(}_{B}_{)}n+kε(Ev)k_{L}p_{(}_{B}_{)}n×n ≤C{kvk_{L}p_{(Ω)}n+kε(v)k_{L}p_{(Ω)}n×n} (2.33)

but, using the Korn inequality for smooth domains, we have

kEv_{k}W1,p_{(}_{B}_{)}n ≤C{kEvk_{L}p_{(}_{B}_{)}n+kε(Ev)k_{L}p_{(}_{B}_{)}n×n}

which together with (2.33) concludes the proof.

We conclude the paper stating two consequences of our main theorem which fol-lows by known arguments. The first result is the second case of the Korn inequality and the second one is the Friedrichs inequality for complex analytic functions (and their generalizations toLp).

Corollary 2.8. IfΩ_{⊂}Rn _{is a bounded} _{(}_{ǫ, δ}_{)}_{domain and} _{1}_{< p <}_{∞}_{, there exists}

a constantCdepending onǫ, δ, n, psuch that, for anyv_{∈}W1,p_{(Ω)}n _{which satisfies}

Z

Ω
∂v_{i}

∂xj −

∂vj

∂xi

= 0,

k∇v_{k}Lp_{(Ω)}n×n≤Ckε(v)k_{L}p_{(Ω)}n×n.

Corollary 2.9. If Ω _{⊂}R2 is a bounded simply connected(ǫ, δ) domain and 1 <
p <_{∞}, there exists a constant C depending onǫ, δ, n, p such that for any analytic
function of the variablez=x+iy inΩ,f(z) =φ(x, y) +iψ(x, y), withR

Ωφ= 0,

kφ_{k}Lp_{(Ω)}≤Ckψk_{L}p_{(Ω)}.

Conclusions. We have proved that, if Ω is an (ǫ, δ) domain, the Korn inequality holds on Ω. It is interesting to observe that the converse is not true. Indeed, consider the two dimensional domain

Ω = (−1,1)2\ {(x,0) :x_{∈}[0,1)}.

Since Ω can be written as the union of two Lipschitz domains, the Korn inequality is valid on Ω. On the other hand, it is not difficult to see that Ω is not an (ǫ, δ) domain. Therefore, to give a characterization of the domains satisfying the Korn inequality is an interesting problem which remains open.

References

[1] S. Agmon, Lectures on Elliptic Boundary Value Problems, Van Nostrand Company, 1965. [2] S. C. Brenner , L. R. Scott, The Mathematical Theory of Finite Element Methods,

Springer-Verlag, Berlin, 1994.

[3] P. G. Ciarlet, Introduction to linear shell theory, Series in Applied Mathematics, P. G. Ciarlet and P. L. Lions, eds., Gauthier-Villars, 1998.

[4] K. O. Friedrichs,On certain inequalities and characteristic value problems for analytic
func-tions and for funcfunc-tions of two variables, Trans. Amer. Math. Soc.,41_{, pp. 321-364, 1937.}
[5] K. O. Friedrichs, On the boundary-value problems of the theory of elasticity and Korn’s

[6] G. Geymonat, G. Gilardi,Contre-exemples ´a l’in´egalit´e de Korn et au Lemme de Lions dans des domaines irr´eguliers, Equations aux D´eriv´ees Partielles et Applications, Gauthiers-Villars, pp. 541-548, 1998.

[7] C. O. Horgan, Korn’s inequalities and their applications in continuum mechanics, SIAM
Review,37_{, pp. 491-511, 1995.}

[8] C. O. Horgan, L. E. Payne, On inequalities of Korn, Friedrichs and Babuska-Aziz, Arch.
Rational Mech. Anal.,82_{, pp. 165-179, 1983.}

[9] P. W. Jones, Quasiconformal mappings and extendability of functions in Sobolev Spaces,
Acta Math.,147_{, pp. 71-88, 1981.}

[10] N. Kikuchi, J. T. Oden, Contact Problems in Elasticity: A Study of Variational Inequalities
and Finite Element Methods, Studies in Applied Mathematics, SIAM, Philadelphia, 1988.
[11] V. A. Kondratiev, O. A. Oleinik,On Korn’s inequalities, C. R. Acad. Sci. Paris, 308_{, pp.}

483-487, 1989.

[12] A. Korn,Die Eigenschwingungen eines elastichen Korpers mit ruhender Oberflache, Akad.
der Wissensch Munich, Math-phys. Kl, Beritche,36_{, pp. 351-401, 1906.}

[13] A. Korn,Ubereinige Ungleichungen, welche in der Theorie der elastischen und elektrischen Schwingungen eine Rolle spielen, Bulletin Internationale, Cracovie Akademie Umiejet, Classe de sciences mathematiques et naturelles, pp. 705-724, 1909.

[14] J. A. Nitsche,On Korn’s second inequality, RAIRO J. Numer. Anal.,15_{, pp. 237-248, 1981.}
[15] L. E. Payne, H. F. Weinberger,On Korn’s inequality, Arch. Rational Mech. Anal., 8_{, pp.}

89-98, 1961.

[16] E. M. Stein, Singular Integrals and Differentiability Properties of Functions, Princeton Uni-versity Press, Princeton, New Jersey, 1970.

[17] T. W. Ting,Generalized Korn’s inequalities, Tensor25_{, pp. 295-302, 1972.}

[18] N. Weck, Local compactness for linear elasticity in irregular domains, Math. Meth. Appl.
Sci.,17_{, pp. 107-113, 1994.}

[19] H. Whitney, Analytic extensions of differentiable functions defined in closed sets, Trans.
Amer. Math. Soc.,36_{, pp. 63-89, 1934.}

Ricardo G. Dur´an

Departamento de Matem´atica, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, 1428 Buenos Aires, Argentina

E-mail address:rduran@dm.uba.ar

Maria Amelia Muschietti

Departamento de Matem´atica, Facultad de Ciencias Exactas, Universidad Nacional de La Plata, Casilla de Correo 172, 1900 La Plata, Provincia de Buenos Aires, Argentina