On Korn’s First Inequality in a Hardy-Sobolev Space

Korn’s first inequality states that there exists a constant such that the L2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}${\mathcal {L}}^{2}$\end{document}-norm of the infinitesimal displacement gradient is bounded above by this constant times the L2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}${\mathcal {L}}^{2}$\end{document}-norm of the infinitesimal strain, i.e., the symmetric part of the gradient, for all infinitesimal displacements that are equal to zero on the boundary of a body ℬ. This inequality is known to hold when the L2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}${\mathcal {L}}^{2}$\end{document}-norm is replaced by the Lp\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}${\mathcal {L}}^{p}$\end{document}-norm for any p∈(1,∞)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$p\in (1,\infty )$\end{document}. However, if p=1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$p=1$\end{document} or p=∞\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$p=\infty $\end{document} the resulting inequality is false. It was previously shown that if one replaces the L∞\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}${\mathcal {L}}^{\infty}$\end{document}-norm by the BMO\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\operatorname{BMO}$\end{document}-seminorm (Bounded Mean Oscillation) then one maintains Korn’s inequality. (Recall that L∞(B)⊂BMO(B)⊂Lp(B)⊂L1(B)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}${\mathcal {L}}^{\infty}({\mathcal {B}})\subset \operatorname{BMO}({\mathcal {B}}) \subset {\mathcal {L}}^{p}({\mathcal {B}})\subset {\mathcal {L}}^{1}({ \mathcal {B}})$\end{document}, 1<p<∞\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$1< p<\infty $\end{document}.) In this manuscript it is shown that Korn’s inequality is also maintained if one replaces the L1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}${\mathcal {L}}^{1}$\end{document}-norm by the norm in the Hardy space H1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}${\mathcal {H}}^{1}$\end{document}, the predual of BMO\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\operatorname{BMO}$\end{document}. One caveat: the results herein are only applicable to the pure-displacement problem with the displacement equal to zero on the entire boundary of ℬ.


Introduction
In this manuscript we consider Korn's first inequality in the form (1.1) denotes the infinitesimal strain, [] • [] X denotes a norm (or seminorm) on a Banach space X of functions with values in the set of real n by n matrices M n×n , ∇u denotes the infinitesimal displacement gradient, the matrix of partial derivatives of the components of u, K > 0 is a constant that does not depend on u, H T denotes the transpose of H ∈ M n×n , and we assume that C ∞ 0 (B; M n×n ) ⊂ X.We note that if (1.1) is satisfied by all such u it follows that (1.1) holds on the closure of C ∞ 0 (B; M n×n ) in X.A simple example, which was of interest to Korn [24] (see, also, [25][26][27]) and which has an elementary proof, is X = L 2 (B; M n×n ), the space of square-integrable, matrix-valued functions, i.e., (see, e.g., Gurtin [21,, Friedrichs [17, §2], or Horgan [22, p. 493]).More generally, (1.1) is valid if X = L p (B; M n×n ), 1 < p < ∞: An interesting proof of (1. (1. 3) The key to this proof was then the fact that the Riesz transforms are bounded linear maps from We note that (1.2) is false if p = 1 (see Ornstein [33] or Conti, Faraco, and Maggi [10]) or p = ∞ (see de Leeuw and Mirkil [12]).Although these values are the natural endpoints of (1, ∞), we note that, for all p ∈ (1, ∞) and every nonempty bounded open region ⊂ R n , where BMO( ) (Bounded Mean Oscillation) is the space of functions that were first analyzed by John and Nirenberg [23], H 1 z ( ) is the Hardy space defined by ) is the usual Hardy space on R n (see (1.5) below) and Thus, H 1 z ( ) and its dual space BMO( ) can be thought of as alternative endpoints for L p , 1 < p < ∞, as is the usual practice in Harmonic Analysis.
In a previous paper, [35], we showed that a general form of Korn's inequality is valid in BMO( ) (without boundary conditions or side constraints).In this manuscript we establish that Korn's first inequality (1.1) is valid when X = H 1 z ( ).In Section 2.3, we first present an appropriate definition of H 1 (R n ).Rather than making use of what has become the standard definition (via maximal functions, see, e.g., Stein [38, or atoms, see Remark 2.1) we follow Fefferman and Stein [15, §2] (see, also, Stein and Weiss [36] and Stein [38, pp. 123-124]) and, equivalently, define with norm where R i denote the Riesz transforms given by (1.3).We then define a local Hardy space, (1.4) above), associated with a nonempty open set R n .As noted by Chang, Krantz, and Stein [5] (see, also, Chang, Dafni, and Stein [6]) this space is the "smallest" of the Hardy spaces associated with and also the one best associated with the Dirichlet (displacement) problem.We then follow Auscher, Russ, and Tchamitchian [2] (see, also, Chen, Jiang, and Yang [7]) and define the Hardy-Sobolev space W 1,H ( ) (see (2.11)) as the space of locally integrable functions on R n that are integrable on and whose weak derivatives are each contained in H 1 z ( ).This space is, essentially, a subspace of the standard Sobolev space W 1,1 ( ) (and, if bounded, contains the spaces W 1,p 0 ( ), p > 1).In Section 3 we state our main result, that (1.1) is valid when X is equal to the Hardy space H 1 z ( ) (see (1.4)-(1.6)).Our proof then initially follows that of Ting [39] in the setting of L p -spaces.The only significant difference is our use of the fact that the Riesz transforms are bounded linear maps from In Section 4 we note that the proof of our main theorem also yields Korn's first inequality in any Banach space upon which the Riesz transforms are bounded linear operators, in particular, in certain Besov spaces (see, e.g., [20,Corollary 6.7.2]).We thus show that (1.1) is valid in the standard Hölder spaces Finally, in Section 5 we speculate concerning the validity of some form of Korn's second inequality in an appropriate Hardy-Sobolev space.

Preliminaries
We shall write M n×n , n ≥ 2, for the (vector) space of n by n matrices with real entries.H T shall denote the transpose of H ∈ M n×n .Given an orthonormal basis e i , i = 1, 2, . . ., n, for R n we write a i = a • e i for a ∈ R n and ), the space of real-valued Lebesgue measurable functions ψ whose L p -norm is finite: L 1 loc ( ) shall consist of those Lebesgue measurable functions that are integrable on every compact subset of .We shall write C ∞ ( ) for the set of real-valued functions which, together with all of its partial derivatives (of all orders) are continuous on .C ∞ 0 ( ) shall denote those functions ψ ∈ C ∞ ( ) for which there exists a compact set K = K ψ ⊂ such that ψ(x) = 0 for x ∈ K.When a function is vector-valued we shall instead write u ∈ shall denote the usual Sobolev space of (Lebesgue) measurable (vector-valued) functions u ∈ L p ( ; R n ) whose distributional gradient ∇u is also contained in L p (see, e.g., [1,14]).

Extensions
Moreover, in the sequel we shall drop the superscript e and write ϕ for this extension.

The Hardy Spaces H 1 (R n ) and H 1 z ( )
The Hardy space H1 (R n ), n ≥ 2, shall be defined as 1 (see, e.g., [15, p. 144] or [38, pp. 123-124]) with norm Remark 2.1 An equivalent formulation for H 1 (R n ) can be obtained from the so-called atomic decomposition of C. Fefferman2 : There is a constant where λ k = λ ϕ k > 0, the (Lebesgue) measurable functions a k = a ϕ k : R n → R are each supported on a hypercube Q k = Q ϕ k with sides parallel to the axes, and |Q k | here denotes the volume of Q k .

Korn's Inequality
Theorem 1 Fix n ≥ 2. Then there exists a constant where It follows that each component of u as well as each of its derivatives (of all orders) are contained in L p (R n ), 1 ≤ p < ∞, and so the Riesz transform identities in §2.2.1 are valid for such functions.Next, consider the well-known identity (which follows from the equality of the mixed partial derivatives), i, j, k ∈ {1, 2, . . ., n}, If we now make use of (2.5) 1 to write the partial derivatives in (3.2) 1 in an alternative form, then we conclude that We next compose (3.3) with the linear operator to conclude, upon rearranging terms and making use of the identity (2.5) 2 , We now note that each term in (3.4) 2 is the Riesz transform of a function in C ∞ 0 (R n ) and hence (see Appendix A) is a bounded function on R n .It then follows from Liouville's theorem (see, e.g., [13, p. 30]) that ψ ≡ c, a constant on R n .However, each term in (3.4) 2 is the Riesz transform of a function that is contained in L p (R n ), 1 < p < ∞, and hence is itself contained in L p (R n ).Therefore, ψ = c ∈ L p (R n ) and so ψ = 0. Thus, and hence, upon taking the Riesz transform, R j , of (3.5) we find that We next sum (3.6) over j to conclude, with the aid of the identity (2.3), that We then take the H 1 -norm of both sides of (3.7) to conclude with the aid of the triangle inequality and the fact that the Riesz transforms are bounded on Finally, we sum over i and k to get (see (2.10)) this is the desired result.

Korn's Inequality in Other Spaces
In this section we note that our proof of Korn's inequality in a Hardy-Sobolev space yields a similar result in other spaces upon which the Riesz transforms are bounded linear operators.
The proof is the same as the one we have given, modulo a change in norm/seminorm.
Theorem 2 Let X = X(R n ), n ≥ 2, be a Banach space with seminorm Suppose the Riesz transforms are bounded linear operators on X with respect to this seminorm, i.e., there exists a constant ρ = ρ(n) > 0 such that for all ϕ ∈ X(R n ) Then there exists K = K(n) > 0 such that, for any nonempty open set ⊂ R n and every A standard result (see, e.g., [20,Corollary 6.7.2]) yields the required bound, (4.1), in certain Besov spaces and, in particular the special case of the Hölder spaces X = C 0,α (R n ), α ∈ (0, 1) (see, e.g., Remark 6.5.2 and Definition 6.3.4 in [20]).
Corollary Fix n ≥ 2 and α ∈ (0, 1).Then there exists a constant K = K(n, α) > 0 such that, for any nonempty open set ⊂ R n and every u Here and a function defined on is assumed to be extended to R n \ as the zero function (see (2.1)).

Remark 4.1
The Riesz transforms are known ([15, Corollary 2]) to be bounded linear operators on BMO(R n ).However, the closure of C ∞ 0 (R n ) in BMO(R n ) in the BMO-seminorm is the space VMO(R n ) of Sarason [34] (VMO(R n ) BMO(R n )).Thus, Theorem 2 is valid for all u ∈ W 1,1 ( ; R n ) with ∇u ∈ VMO z ( ; M n×n ) and X = BMO(R n ; M n×n ).However, for bounded regions , Theorem 3.3 in [35] yields a stronger result: for every u

Discussion; Korn's Second Inequality
Our main result is, essentially, a proof of Korn's inequality in a Hardy space when zero displacements are prescribed on the entire boundary of the body.When the Hardy space, H = H 1 z ( ), is replaced by one of the standard L p -spaces, 1 < p < ∞, many other versions of Korn's inequality are known (see, e.g., [16, §12], [21, p. 38], and [32]).In particular, suppose that p = 2, is (strongly) Lipschitz It is also known that (5.1) is not valid 4 if one replaces the L 2 -norms by the corresponding norms in L 1 .However, we suspect that one might instead replace these norms by a norm for a Hardy space, i.e., estimate (3.1) with • H replaced by 5ϕ Hr := inf H 1 (R n ) : ∈ H 1 (R n ), = ϕ on and for u that satisfies (A) or (B) and ∇u in an appropriate Hardy space (see, e.g., [2]).A Korn inequality in the spaces H p z ( ) and H p r ( ), p ∈ (0, 1), is also of interest (see, e.g., [7]).
Finally, we note that there are other similar inequalities, such as a generalized Korn inequality for (so-called) incompatible tensor fields (see, e.g., [19,[29][30][31]) and geometric rigidity (see, e.g., [9,11,18]) that are valid for 1 < p < ∞, but not for p = 1 or p = ∞.We are curious if there are versions of such inequalities that are valid in H 1 and its dual space BMO.
3 , and that the boundary of satisfies ∂ = S ∪ D, where S ∩ D = ∅ and S and D are relatively open.Then it is well known that there exists a constantK = K(n, ) (or K = K(n, , D)) such that, for every u ∈ W 1,2 ( ; R n ): B |∇u| 2 dx ≤ K B |E| 2 dx,(5.1)(A)provided D is nonempty and u = 0 on D; or (B) provided u satisfies ∇u − (∇u) T dx = 0.
Then results of[2, p. 56]show that each u ∈ W 1,H 0 ( ; R n ) satisfies u = 0 on ∂ (in the sense of trace).