Abstract
Let \(\Omega \subset \mathbb {R}^3\) be an open and bounded set with Lipschitz boundary and outward unit normal \(\nu \). For \(1<p<\infty \) we establish an improved version of the generalized \(L^p\)-Korn inequality for incompatible tensor fields P in the new Banach space
where
Specifically, there exists a constant \(c=c(p,\Omega ,r)>0\) such that the inequality
holds for all tensor fields \(P\in W^{1,\,p, \, r}_0({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}; \Omega ,\mathbb {R}^{3\times 3})\). Here, \({{\,\mathrm{dev}\,}}X :=X -\frac{1}{3} {{\,\mathrm{tr}\,}}(X)\,{\mathbb {1}}\) denotes the deviatoric (trace-free) part of a \(3 \times 3\) matrix X and the boundary condition is understood in a suitable weak sense. This estimate also holds true if the boundary condition is only satisfied on a relatively open, non-empty subset \(\Gamma \subset \partial \Omega \). If no boundary conditions are imposed then the estimate holds after taking the quotient with the finite-dimensional space \(K_{S,dSC}\) which is determined by the conditions \({{\,\mathrm{sym}\,}}P =0\) and \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P = 0\). In that case one can replace \(\Vert {{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P \Vert _{L^r(\Omega ,\mathbb {R}^{3\times 3})} \) by \(\Vert {{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P \Vert _{W^{-1,p}(\Omega ,\mathbb {R}^{3\times 3})}\). The new \(L^p\)-estimate implies a classical Korn’s inequality with weak boundary conditions by choosing \(P=\mathrm {D}u\) and a deviatoric-symmetric generalization of Poincaré’s inequality by choosing \(P=A\in {{\,\mathrm{\mathfrak {so}}\,}}(3)\). The proof relies on a representation of the third derivatives \(\mathrm {D}^3 P\) in terms of \(\mathrm {D}^2 {{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P\) combined with the Lions lemma and the Nečas estimate. We also discuss applications of the new inequality to the relaxed micromorphic model, to Cosserat models with the weakest form of the curvature energy, to gradient plasticity with plastic spin and to incompatible linear elasticity.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Overview
Korn’s second inequality provides an \(L^p\)-estimate of a gradient vector field (modulo a constant) in terms of the symmetric part of the derivative. This can be generalized to general fields P if one adds a term in \({{\,\mathrm{Curl}\,}}P\) on the right-hand side [103, 104, 127]. For recent refined estimates which involve only the deviatoric part of \({{\,\mathrm{sym}\,}}P\) and \({{\,\mathrm{Curl}\,}}P\), see [11, 102, 105].
Here, we show that P can be estimated in dimension \(n=3\) in terms of \({{\,\mathrm{sym}\,}}P\) and \({{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P\) or even \({{\,\mathrm{sym}\,}}P\) and \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P\). The difference is that we need to subtract not only constants but also certain affine or quadratic skew-symmetric fields in the kernel of the operators \({{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}\) and \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}\), respectively.
To set the stage we recall the notation for the relevant Lie groups used in this paper and their Lie algebras and indicate how our new inequalities relate to (infinitesimal) conformal invariance. We denote the space of \((n \times n)\)-matrices by \(\mathbb {R}^{n \times n}\) and we denote the groups of proper orthogonal matrices, and matrices with determinant 1 by
The corresponding Lie algebras of skew-symmetric and trace-free matrices are denoted by
Let \(\Omega \subset \mathbb {R}^3\) be open, bounded and simply connected. A \(C^1\)-map \(\varphi :\Omega \rightarrow \mathbb {R}^3\) is conformal if its differential preserves the scalar product up to dilations, i.e., if for all x there exist \(\lambda (x) \ge 0\) and \(Q(x) \in {{\,\mathrm{SO}\,}}(3)\) such that \(\mathrm {D}\varphi (x) = \lambda (x) Q(x)\). It is well-known that conformal maps are smooth and the non-constant conformal maps form a finite-dimensional manifold. The vector fields in the tangent space of the identity map are called conformal Killing fields (or infinitesimally conformal maps) and are characterized by the condition
In fact the solutions u of (1.2) are certain quadratic polynomials, see (1.10) below for an explicit formula.
In the Cosserat theory, the curvature expression
can be expressed equivalently as
and the latter expression has been termed “conformal curvature”, consistent with (1.2) for \(u={{\,\mathrm{axl}\,}}(A)\). Therefore, we call the generalized curvature expression
conformal dislocation energy. Upon restricting \(P\in {{\,\mathrm{\mathfrak {so}}\,}}(3)\) we recover (1.3b), see also (1.42).
1.2 The classical Korn’s inequalities
First inequalities of this type were identified by Arthur Korn more than hundred years ago, cf. [87,88,89], where they were derived for applications in linear elasticity. It is worth mentioning that after his graduation in 1890 Korn studied in Paris under the supervision of Henri Poincaré. For Korn’s biography including his pioneering work in telephotography we refer to [90, 106] but also [135, p. 182f].
We start by summarizing the inequalities which bear Korn’s name. In the following, let \(n\ge 2\) and \(\Omega \subset \mathbb {R}^n\) be a bounded Lipschitz domain. Korn’s first inequality (in \(L^p\)) with vanishing boundary valuesFootnote 1 reads
It can be deduced from Korn’s second inequality (in \(L^p\)), which does not require boundary conditions:
From the latter inequality also the following version follows
For \(n\ge 3\) these inequalities can be improved to inequalities which only require the trace-free part of \({{\,\mathrm{sym}\,}}\mathrm {D}u\) on the right hand side. One has
where \({{\,\mathrm{dev}\,}}_n X:=X -\frac{1}{n}{{\,\mathrm{tr}\,}}(X)\cdot {\mathbb {1}}\) denotes the deviatoric (trace-free) part of the square matrix \(X\in \mathbb {R}^{n\times n}\). Moreover,
as well as
where \(\Pi \) is an arbitrary projection from \(W^{1,\,p}(\Omega ,\mathbb {R}^n)\) onto the space of conformal Killing vectors (or infinitesimal conformal mappings), i.e., the finite-dimensional kernel of \({{\,\mathrm{dev}\,}}_n{{\,\mathrm{sym}\,}}\mathrm {D}\), which is given by quadratic polynomials of the form
cf. [37, 82, 125, 137, 138, 146]. The situation is quite different in the planar case \(n=2\), since the condition \({{\,\mathrm{dev}\,}}_2{{\,\mathrm{sym}\,}}\mathrm {D}u\equiv 0\) becomes the system of Cauchy–Riemann equations and the corresponding kernel is infinite-dimensional, so that an adequate quantitative version of the trace-free classical Korn’s inequality does not hold true. However, in [62] it is proved that
but this result ceases to be valid if the homogeneous Dirichlet conditions are prescribed only on a part of the boundary, cf. the counterexample in [11, Sect. 6.6].
For the limiting cases \(p=1\) and \(p=\infty \) Korn-type inequalities fail, since from the counterexamples traced back in [33, 98, 112, 132] it follows that \(\int _\Omega \Vert {{\,\mathrm{sym}\,}}\mathrm {D}u \Vert \,{\mathrm {d}x}\) does not dominate each of the quantities \(\int _\Omega |\partial _i u_j |\,{\mathrm {d}x}\) for any vector field \(u\in W^{1,\,1}_0(\Omega ,\mathbb {R}^n)\). Nevertheless, Poincaré-type inequalities estimating certain integral norms of the deformation u in terms of the total variation of the symmetric strain tensor \({{\,\mathrm{sym}\,}}\mathrm {D}u\) are still true. For Poincaré-type inequalities for functions of bounded deformation involving only the deviatoric part of the symmetrized gradient we refer to [60].
These Korn inequalities are crucial for a priori estimates in linear elasticity and fluid mechanics, so that they are cornerstones for well-posedness results in linear elasticity (\(L^2\)-setting) and the Stokes-problem (\(L^p\)-setting), cf. [81] and [29] for a modern elaboration, whereas the trace-free equivalents found applications in micropolar Cosserat-type models [62, 82, 83, 125] and general relativity [37].
The Korn inequalities generalize to many different settings, including the geometrically nonlinear counterpart [58, 101], mixed growth conditions [32], incompatible fields (also with dislocations) [11, 34, 63, 69, 102,103,104, 115, 127] and trace-free infinitesimal strain measures [11, 37, 62, 82, 102, 105, 137, 138, 146]. For trace-free Korn’s inequalities in pseudo-Euclidean space see [154] and for trace-free Korn inequalities on manifolds see [37, 80]. It is also possible to consider tangential boundary conditions, cf. [12, 13, 39, 42, 143]. Other generalizations are applicable to Orlicz-spaces [18, 19, 26, 59, 61] and SBD functions with small jump sets [25, 55, 56], thin domains [71, 77, 100, 113] as well as the case of non-constant coefficients [92, 118, 128, 136]. Moreover Korn-type inequalities are valid on Hölder and John domains, see [3, 40, 41, 43, 84, 108] and also the recent monograph [2] which relates those Korn inequalities to the existence of a right inverse of the divergence operator, to the Stokes equations and other inequalities. Piecewise Korn-type inequalities subordinate to a FEM-mesh and involving jumps across element boundaries have also been investigated, see e.g. [21, 99]. In the recent paper [147] the authors established a Korn inequality involving the BMO-seminorms which is valid on all bounded domains and with a constant depending only on the dimension. Here we focus on inequalities for general tensor fields.
1.3 Korn-type inequalities for incompatible tensor fields
Classical Korn’s inequalities require compatibility, i.e., a gradient \(\mathrm {D}u\) (the Jacobian matrix). Generalizations of such estimates to general fields P then need a control of the distance of P to a gradient by adding the incompatibility measure (the dislocation density tensor) \({{\,\mathrm{Curl}\,}}P\). The matrix \({{\,\mathrm{Curl}\,}}\) operation is to be understood as row-wise application of the classical \({\text {curl}}\) to vectors. Even though the usual \({{\,\mathrm{Curl}\,}}\) operation on \(\mathbb {R}^3\) has a natural extension to all dimensions, the case \(n=3\) deserves our special attention, not only from the viewpoint of modeling but also since the matrix \({{\,\mathrm{Curl}\,}}\) then returns a square matrix in three dimensions. As direct generalization of Korn’s first inequality (1.4) we have for all \(P\in W^{1,\,p}_0({{\,\mathrm{Curl}\,}}; \Omega ,\mathbb {R}^{3\times 3})\)
cf. [127] for \(p=2\) and [103] for all \(p>1\). Furthermore, the version (1.6) generalizes to
for all \(P\in W^{1,\,p}({{\,\mathrm{Curl}\,}}; \Omega ,\mathbb {R}^{3\times 3})\), cf. [103]. These estimates also hold true in all dimensions \(n\ge 2\) with an adequate understanding of the matrix \({{\,\mathrm{Curl}\,}}\), [104]. However, in two dimensions even stronger estimates hold true, cf. [63] and its nonlinear counterpart in [115], so especially, for fields \(P\in L^1(\Omega ,\mathbb {R}^{2\times 2})\) with \({{\,\mathrm{Curl}\,}}P\in L^1(\Omega ,\mathbb {R}^2)\) it follows that \(P\in L^2(\Omega ,\mathbb {R}^{2\times 2})\) and
under the normalization condition \(\int _\Omega {\mathrm {skew}}P\, {\mathrm {d}x}= 0\), cf. [63]. However, this is essentially a result for the divergence, since \({{\,\mathrm{Div}\,}}\) is a rotated \({{\,\mathrm{Curl}\,}}\) in two dimensions.Footnote 2 Indeed, the authors of [63] make use of the fact that a vector field \(u\in L^1(\Omega ,\mathbb {R}^2)\) satisfying \({\text {div}}\,u\in H^{-2}(\Omega )\) belongs to \(H^{-1}(\Omega )\) with
which follows from [22]. For the geometrically nonlinear counterpart of (1.13) in a mixed-growth setting in two dimensions we refer the reader to [67] and higher-dimensional analogues can be found in [34, 93].
Improvements of the Korn inequalities for incompatible tensor fields (1.11) and (1.12) towards the trace-free cases are also valid. For all \(P\in W^{1,\,p}_0({{\,\mathrm{Curl}\,}}; \Omega ,\mathbb {R}^{3\times 3})\), where
one has
cf. [11] for \(p=2\) and [102] for all \(p>1\). Moreover, we have
for all \(P\in W^{1,\,p}({{\,\mathrm{Curl}\,}}; \Omega ,\mathbb {R}^{3\times 3})\), cf. [102], where the kernel on the right-hand side is given by
where \({\text {Anti}}: \mathbb {R}^3\rightarrow {{\,\mathrm{\mathfrak {so}}\,}}(3)\) is the canonical identification (consistent with the vector product) of \(\mathbb {R}^3\) and the vectorspace of skew-symmetric matrices \({{\,\mathrm{\mathfrak {so}}\,}}(3)\) and \({{\,\mathrm{axl}\,}}:{{\,\mathrm{\mathfrak {so}}\,}}(3)\rightarrow \mathbb {R}^3\) is its inverse. The appearance of the \({{\,\mathrm{dev}\,}}{{\,\mathrm{Curl}\,}}\) operator on the right hand side would suggest to extend the Banach space \(W^{1,\,p}({{\,\mathrm{Curl}\,}}; \Omega ,\mathbb {R}^{3\times 3})\) to p-integrable tensor fields P with p-integrable \({{\,\mathrm{dev}\,}}{{\,\mathrm{Curl}\,}}P\), but this would not be a new space. Indeed, in [102] the authors showed that for all \(P\in {\mathscr {D}}'(\Omega ,\mathbb {R}^{3\times 3})\) and all \(m\in \mathbb {Z}\) one has
Note, that the estimates (1.16) and (1.17) are strictly restricted to the case of three dimensions since the deviatoric operator acts on square matrices and only in the three-dimensional setting the matrix \({{\,\mathrm{Curl}\,}}\) operator returns again a square matrix. On the other hand, the corresponding weaker estimates in terms of \(\Vert {{\,\mathrm{dev}\,}}_n{{\,\mathrm{sym}\,}}P \Vert _{L^p} +\Vert {{\,\mathrm{Curl}\,}}P \Vert _{L^p}\) hold true in all dimensions \(n\ge 3\), cf. [11] for \(p=2\) and [105] for all \(p>1\).
For compatible \(P=\mathrm {D}u\) we get back from (1.11), (1.12), (1.16) and (1.17) the corresponding classical Korn inequalities. Recently, Gmeineder and Spector [69] extended inequality (1.11) to the case where \({{\,\mathrm{sym}\,}}P\) is generalized to any linear operator A(P) such that \(A(\mathrm {D}u)\) is a first order elliptic operator, thus including also one result of [102] with \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}P\).
The objective of the present paper is to further improve on estimate (1.11) by showing that it already suffices to consider the symmetric or even the trace-free symmetric part of the \({{\,\mathrm{Curl}\,}}\). More precisely, for all \(P\in W^{1,\,p, \, r}_0({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}; \Omega ,\mathbb {R}^{3\times 3})\) where
and
there exists a constant \(c=c(p,\Omega ,r)>0\) such that one has
If no boundary conditions are imposed then we show
where the kernel is given by
Remark 1.1
The right-hand side of (1.20) provides a norm on smooth, compactly supported functions \(P\in C^\infty _0(\Omega ,\mathbb {R}^{3\times 3})\). Indeed, \({{\,\mathrm{sym}\,}}P\equiv 0\) implies \(P=A\in C^\infty _0(\Omega ,{{\,\mathrm{\mathfrak {so}}\,}}(3))\), so that by Nye’s formula (1.27)\(_1\) the condition \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}A\equiv 0\) reads already \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}\mathrm {D}a \equiv 0\) with \(a:={{\,\mathrm{axl}\,}}A\in C^\infty _0(\Omega ,\mathbb {R}^3)\), where \({{\,\mathrm{axl}\,}}:{{\,\mathrm{\mathfrak {so}}\,}}(3)\rightarrow \mathbb {R}^3\) associates to a skew-symmetric matrix \(A\in {{\,\mathrm{\mathfrak {so}}\,}}(3)\) the vector \({{\,\mathrm{axl}\,}}A:=(-A_{23},A_{13},-A_{12})^T\). The trace-free Korn’s inequality (1.7) then gives \(\mathrm {D}a \equiv 0\). Hence, \(a={{\,\mathrm{axl}\,}}A \) is a constant vector field, \(P=A\) is a constant skew-symmetric matrix field, and with the boundary condition we obtain \(P\equiv 0\).
Remark 1.2
On the other hand, there are no such estimates in terms of
due to the example \(P=\zeta \cdot {\mathbb {1}}\) for which \({{\,\mathrm{Curl}\,}}P =-{\text {Anti}}(\nabla \zeta )\), so that the corresponding right-hand sides would vanish, since here we have \({{\,\mathrm{dev}\,}}P={{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}P = 0\) and also \({{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P = {{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P =0\).
1.4 Proof ideas for Korn inequalities
There exist many different proofs of the classical Korn’s inequalities, cf. the discussions in [5, 14, 23, 28, 38, 49,50,51, 57, 70, 78, 79, 85, 86, 127, 129, 134, 140, 149,150,151] as well as [29, Sect. 6.15] and the references contained therein. A rather concise and elegant argument, see [39, 44, 64, 68] and also advocated by Ciarlet and his coworkers [27,28,29,30,31] uses the Lions lemma resp. Nečas estimate, the compact embedding \({{W^{1,\,p}\subset \!\subset L^p}}\) and the well-known representation of the second distributional derivatives of the displacement u by a linear combination of the first derivatives of the symmetrized gradient \(\mathrm {D}u\), namely
i.e.
Also the trace-free Korn’s inequalities can be deduced in such a way, relying on the “higher order” analogues of the differential relation (1.24):
cf. [37] for the case \(p=2\) and [146] for all \(p>1\).
The first and the last author used a similar reasoning in their series of papers [102,103,104,105] to obtain the Korn inequalities for incompatible tensor fields mentioned above. In particular, the gradient of a skew-symmetric matrix field A can be expressed as linear combination of the entries of the matrix \({{\,\mathrm{Curl}\,}}\):
which in three dimensions reads exactly as Nye’s formula [130, Eq. (7)]:
Furthermore, the second derivatives of a skew-symmetric matrix field A are given by linear combinations of the entries of the derivative of the deviatoric matrix \({{\,\mathrm{Curl}\,}}\):
which was used in the proof of the trace-free case [102]. The expression (1.27)\(_1\) admits a counterpart on the group of orthogonal matrices \({\text {O}}(3)\) and even in higher spatial dimensions, see e.g. [126]. Note in passing, that the representation of the kernel of \({{\,\mathrm{sym}\,}}\mathrm {D}u\equiv 0\) can either be deduced from (1.24) or (1.27) and yields the class \(\mathrm {RM}\) of infinitesimal rigid motions
Indeed, assuming \({{\,\mathrm{sym}\,}}\mathrm {D}u\equiv 0\)
-
(1.24) implies that \(\mathrm {D}^2 u \equiv 0\), so that u has to be affine with \(u\in \mathrm {RM}\), equivalently,
-
since \(\mathrm {D}u = A(x)\) with a skew-symmetric matrix field A, we obtain \({{\,\mathrm{Curl}\,}}A = {{\,\mathrm{Curl}\,}}\mathrm {D}u \equiv 0 \), so that by (1.27) we deduce \(\mathrm {D}{{\,\mathrm{axl}\,}}A \equiv 0\) and hence \(A\equiv {\text {const}}\), i.e., again \(u\in \mathrm {RM}\).
Summarizing, the following differential relations connecting higher order derivatives have been used in the distributional sense for
\(\bullet \) classical Korn: | \(\mathrm {D}^2 u= L(\mathrm {D}\,{{\,\mathrm{sym}\,}}\mathrm {D}u)\) | |
\(\bullet \) trace-free classical Korn: | \(\mathrm {D}\Delta u=L(\mathrm {D}^2{{\,\mathrm{dev}\,}}_n{{\,\mathrm{sym}\,}}\mathrm {D}u)\) | |
\(\bullet \) incompatible Korn: | \(\mathrm {D}A=L({{\,\mathrm{Curl}\,}}A)\) | |
\(\bullet \) trace-free incompatible Korn: | \(\mathrm {D}^2 A=L(\mathrm {D}\,{{\,\mathrm{dev}\,}}{{\,\mathrm{Curl}\,}}A)\) | cf. [102] |
\(\mathrm {D}^2 (A+\zeta \cdot {\mathbb {1}})=L(\mathrm {D}{{\,\mathrm{Curl}\,}}(A+\zeta \cdot {\mathbb {1}}))\) | ||
\(\mathrm {D}^3 (A+\zeta \cdot {\mathbb {1}})=L(\mathrm {D}^2{{\,\mathrm{dev}\,}}{{\,\mathrm{Curl}\,}}(A+\zeta \cdot {\mathbb {1}}))\) | cf. [102] | |
\(\bullet \) symmetrized incompatible Korn: | \(\mathrm {D}^2 A=L(\mathrm {D}\,{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}A)\) | present paper |
\(\bullet \) conformally invariant incompatible Korn: | \(\mathrm {D}^3 A=L(\mathrm {D}^2{{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}A)\) |
denoting by u a displacement vector field, by A a skew-symmetric tensor field, by \(\zeta \) a scalar field and by L a corresponding linear operator with constant coefficients. Moreover, we have by [102] for a general field P
1.5 Motivation for Korn type estimates for incompatible tensor fields
Korn type inequalities for incompatible tensor fields originally motivated from infinitesimal gradient plasticity with plastic spin as well as in the linear relaxed micromorphic elasticity, see e.g. [11, 45,46,47,48, 52, 66, 73,74,75, 110, 116, 119,120,124, 133, 139, 155] and the references contained therein.
1.5.1 Application to the relaxed micromorphic model
The relaxed micromorphic model is a novel micromorphic framework [120, 122] that allows e.g. the description of microstructure-related frequency band-gaps [36] through a homogenized linear model. The goal is to find the displacement \(u:\Omega \subseteq \mathbb {R}^3\rightarrow \mathbb {R}^3\) and the non-symmetric micro-distortion field \(P:\Omega \subseteq \mathbb {R}^3\rightarrow \mathbb {R}^{3\times 3}\) minimizing
where the energy W is defined as
Here, \({\mathbb {C}}_{\mathrm {e}},\,{\mathbb {C}}_{\mathrm {micro}}:{{\,\mathrm{Sym}\,}}(3)\rightarrow {{\,\mathrm{Sym}\,}}(3)\) are classical 4th order elasticity tensors, \({\mathbb {C}}_{\mathrm {c}}:{{\,\mathrm{\mathfrak {so}}\,}}(3)\rightarrow {{\,\mathrm{\mathfrak {so}}\,}}(3)\) is a 4th order rotational coupling tensor, \(L_{\mathrm {c}}\ge 0\) is a characteristic length scale, \(\mu \) is a typical effective shear modulus and \({\mathbb {L}}:\mathbb {R}^{3\times 3}\rightarrow \mathbb {R}^{3\times 3}\). The associated Euler–Lagrange equations read
The generalized moment balance (1.32)\(_2\) can be seen as a tensorial Maxwell problem due to the \({{\,\mathrm{Curl}\,}}[{\mathbb {L}}{{\,\mathrm{Curl}\,}}P]\) operation, cf. [20]. The most general quadratic representation of the curvature energy is given by
where \({\mathbb {L}}:\mathbb {R}^{3\times 3} \rightarrow \mathbb {R}^{3\times 3}\) is a non-standard fourth order tensor with 45 independent entries acting on the non-symmetric second order tensor \({{\,\mathrm{Curl}\,}}P\in \mathbb {R}^{3\times 3}\). Since \({{\,\mathrm{Curl}\,}}P\) transforms as a second order tensor under rotations of the coordinate system, cf. [116, 119], assuming a certain degree of anisotropy allows one to reduce the complexity of \({\mathbb {L}}\). Notably, the most general isotropic quadratic expression of the curvature energy is given by
with three free parameters \(\alpha _1,\alpha _2,\alpha _3\in \mathbb {R}^+\). Here we have used the orthogonal decomposition of \(\mathbb {R}^{3\times 3}\) into orthogonal pieces, namely
so that for any square matrix \(X\in \mathbb {R}^{3\times 3}\) we have
where \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}\), \({\mathrm {skew}}\), \({{\,\mathrm{tr}\,}}\) are orthogonal projections on the vector space \(\mathop {\mathfrak {sl}}(3)\cap {{\,\mathrm{Sym}\,}}(3)\) of symmetric trace free matrices, the space \({{\,\mathrm{\mathfrak {so}}\,}}(3)\) of skew-symmetric matrices, and the space \(\mathbb {R}\cdot {\mathbb {1}}\) of spherical tensors, respectively.
In order to reduce complexity in the model one might be tempted to replace (1.33) with
where \(\widehat{{\mathbb {L}}}:{{\,\mathrm{Sym}\,}}(3)\rightarrow {{\,\mathrm{Sym}\,}}(3)\) is now a classical positive definite fourth order elasticity tensor, whose representation for all anisotropy classes is completely known. A weak formulation of the static problem
is naturally formulated in the space \(H({{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}};\Omega ,\mathbb {R}^{3\times 3}):=\{P\in L^2(\Omega ,\mathbb {R}^{3\times 3}) \mid {{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P\in L^2(\Omega ,\mathbb {R}^{3\times 3})\}\) and our new result shows that this problem is well-posed for a suitable prescription of tangential boundary data. Returning to (1.34), the problem may be even further “relaxed” by requiring only to control
In this case, the natural space to consider is the Hilbert space \(H({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}};\Omega ,\mathbb {R}^{3\times 3}):=\{ P\in L^2(\Omega ,\mathbb {R}^{3\times 3}) \mid {{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P\in L^2(\Omega ,\mathbb {R}^{3\times 3})\}\) and our result (1.20) implies that the weak formulation is still well-posed.
Remark 1.3
(Nothing new in plane strain) Note, that due to the structure of the three-dimensional matrix \({{\,\mathrm{Curl}\,}}\) operator in plain strain, i.e., assuming that
the operation \({{\,\mathrm{sym}\,}}\) or \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}\) is not leaving the classical \(H({{\,\mathrm{Curl}\,}};\Omega ,\mathbb {R}^{3\times 3})\) space, since
Hence, new properties to be discovered are strictly three-dimensional in nature.
1.5.2 Cosserat model with weakest curvature energy—conformally invariant curvature
The use of the dislocation density tensor \({{\,\mathrm{Curl}\,}}P\) in the relaxed micromorphic model allows a smooth transition in the modeling to the classical linear Cosserat model. Indeed, letting formally \({\mathbb {C}}_{\mathrm {micro}}\rightarrow \infty \) in the relaxed micromorphic model (1.31), i.e., assuming \(P=A\in {{\,\mathrm{\mathfrak {so}}\,}}(3)\) is skew-symmetric, the (isotropic) elastic Cosserat free energy can be written as
In [123, 124] it has been shown that choosing \(\alpha _1>0\), \(\alpha _2=\alpha _3=0\) is mandatory for offering bounded stiffness in bending and torsion for arbitrary small specimen. This corresponds to the conformally invariant curvature case
Well-posedness results are then based on the trace-free Korn’s inequality [123].
Finally, letting the Cosserat couple modulus \(\mu _c\rightarrow \infty \) in (1.41), one obtains the so-called modified indeterminate couple stress model [66, 125]Footnote 3
In [125] this curvature energy has been obtained by a passage from a discrete model to a continuum modeling, invoking a “micro-randomness” assumption, which introduces an additional invariance property beyond isotropy.
1.5.3 Application to gradient plasticity with plastic spin
Experiments with differently sized specimens have revealed a pronounced size-effect in elasto-plastic transformations [52, 73,74,75] which cannot be described with classical phenomenological elasto-plasticity models. For the sake of simplicity we assume in the following the additive decomposition of the displacement gradient \(\mathrm {D}u\) into non-symmetric elastic (recoverable) and non-symmetric plastic (permanent) distortions e and P, respectively:
under the side condition of plastic incompressibility \({{\,\mathrm{tr}\,}}(P)={{\,\mathrm{tr}\,}}(\varepsilon _p)\equiv 0\). A simplified framework for size-independent plasticity can be sketched, based on the introduction of the total free energy, which consist of elastic contributions and local hardening
where \({\mathbb {C}}_{\mathrm {e}}\), \({\mathbb {C}}_{\text {hard}}\) are classical positive definite fourth order tensors acting on symmetric arguments. We are working here in a phenomenological modeling context. A variational approach to single crystals with dislocations, different from our presented phenomenological viewpoint, has been explored in [144, 145] based on [114]. Our term \(\left\langle {\mathbb {C}}_{\text {hard}}\,{{\,\mathrm{sym}\,}}\,P,{{\,\mathrm{sym}\,}}\,P\right\rangle \) gives rise to the usual Prager-type backstress term (linear kinematic hardening) which appears ubiquitous in the literature. The appearance of \({{\,\mathrm{sym}\,}}(\mathrm {D}u -P)\) and \({{\,\mathrm{sym}\,}}P\) instead of \(\mathrm {D}u -P\) and P alone is dictated by linearized frame indifference of the model. Equilibrium of forces
appears from variation of (1.45) with respect to the displacement u. It remains to postulate a “flow rule”, i.e., an evolution for the plastic variable P. This equation appears as gradient flow with respect to P in the form
together with suitable initial conditions for P and boundary conditions for u, where \({\mathscr {F}}:\mathbb {R}^{3\times 3}\rightarrow \mathbb {R}^{3\times 3}\) is monotone, i.e., \(\left\langle {\mathscr {F}}(X)-{\mathscr {F}}(Y),X-Y\right\rangle _{\mathbb {R}^{3\times 3}}\ge 0\) and maps symmetric arguments to trace-free symmetric arguments, the increment \({\dot{P}}\) is determined to be trace-free symmetric and (1.47) can be therefore recast as
In order to extend the modeling framework to incorporate size-dependence, let us focus on the introduction of energetic length scales. In this case, one augments the total energy (1.45) by some terms involving space derivatives of the plastic distortion P or the plastic strain \(\varepsilon _p:={{\,\mathrm{sym}\,}}P\), for simplicity
Accordingly, based on (1.49)\(_1\), the evolution law (1.47) needs to be adapted to
and suitable boundary conditions for the plastic distortion \(P\), here Dirichlet clamping \(P_{|\partial \Omega }\equiv 0\), cf. [76]. For initial condition \(P(0)\in {{\,\mathrm{Sym}\,}}(3)\) (1.50) can again be recast intoFootnote 4
Such a model is already able to predict that smaller samples are relatively stiffer. However, the simple gradient terms in (1.49) lack a microscopical justification. However, \(\Delta P\) can be seen as regularization term as in [54]. Since plasticity is mediated by dislocation movements it inspires that a physically more suitable description is given by considering the dislocation density tensor \({{\,\mathrm{Curl}\,}}P\) and, in first approximation, a simple quadratic function thereof to replace (1.49). Hence, the total stored energy can be written
Since \({{\,\mathrm{Curl}\,}}\) is self-adjoint with suitable tangential boundary conditions \(P\times \nu _{|\partial \Omega }=0\), the evolution law turns into
Note that (1.53) is necessarily an evolution for a non-symmetric plastic distortion P since the contribution \({{\,\mathrm{Curl}\,}}{{\,\mathrm{Curl}\,}}P\) does not have any symmetry properties. Such models are called gradient plasticity models with plastic spin or distortion gradient plasticity, cf. [45,46,47,48, 110, 115, 119, 139, 155].
A closer look at (1.52) reveals that the energy provides a uniform control over
where \({\mathbb {C}}_{\text {hard}}\) is assumed to be positive definite. That the right-hand side of (1.54) provides a norm on smooth, compactly supported functions \(P\in C_0^\infty (\Omega ,\mathbb {R}^{3\times 3})\) was first noted in [119]. Indeed, \({{\,\mathrm{sym}\,}}P\equiv 0\) implies \(P=A\in C_0^\infty (\Omega ,{{\,\mathrm{\mathfrak {so}}\,}}(3))\), so that using Nye’s formula (1.27)\(_2\) we deduce from \({{\,\mathrm{Curl}\,}}A\equiv 0\) that \(\mathrm {D}{{\,\mathrm{axl}\,}}A\equiv 0\). Hence, \({{\,\mathrm{axl}\,}}A\) is a constant vector field, \(P=A\) is a constant skew-symmetric matrix field, and with the boundary condition we obtain \(P\equiv 0\). Thus, controlling the plastic strain \({{\,\mathrm{sym}\,}}P\) in \(L^2\) and the dislocation density tensor \({{\,\mathrm{Curl}\,}}P\in L^2\), together with suitable tangential boundary conditionsFootnote 5\(P\times \nu =0\) on \(\partial \Omega \) one controls the full plastic distortion \(P\in L^2\). The result led to a sequel of well-posedness results in gradient plasticity with plastic spin in \(H({{\,\mathrm{Curl}\,}})\), cf. [45,46,47,48, 119].
However, choosing a simple quadratic energy in \({{\,\mathrm{Curl}\,}}P\) in (1.52) is, for many situations, not suitable. A major scientific question is therefore, how to replace \(\Vert {{\,\mathrm{Curl}\,}}P \Vert ^2 \) in order to capture important physical features. Let us write \({\mathcal {G}}({{\,\mathrm{Curl}\,}}P)\) for this extension. Experimental evidence suggests to use \({\mathcal {G}}\) with sub-quadratic growth and where the behavior at zero can be differentiable or not. Indeed, in [155] it is argued to consider the one-homogeneous expression \({\mathcal {G}}({{\,\mathrm{Curl}\,}}P)=\Vert {{\,\mathrm{Curl}\,}}P \Vert \) or \({\mathcal {G}}({{\,\mathrm{Curl}\,}}P)=\Vert {{\,\mathrm{Curl}\,}}P \Vert \cdot \log \Vert {{\,\mathrm{Curl}\,}}P \Vert \), see also [35, 131, 133].
It is furthermore possible to extract some geometrical information from the dislocation density tensor (on the mesoscale). The indices i and j of \(({{\,\mathrm{Curl}\,}}P)_{ij}\) determine the orientation of the Burger’s vector and the dislocation line, respectively. The diagonal components of \({{\,\mathrm{Curl}\,}}P\) describe screw dislocations and the off-diagonal components describe edge dislocations. For an overview on dislocations in the framework of different types of generalized continua we refer the reader to [1, 95, 97] and the references therein. Lazar [94, 96], see also [121], has used the decomposition of the dislocation density tensor into \({{\,\mathrm{SO}\,}}(3)\)-irreducible pieces
i.e., the orthogonal decomposition (1.35). So, the axitor corresponds to the sum of all possible screw dislocations, the trator to “skew-symmetric” edge dislocations and the tentor describes a combination of “symmetric” edge-dislocations and single screw-dislocations, cf. [121]. In addition, for compatible \(X=\mathrm {D}u\) the decomposition (1.35) reads
The introduced nomenclature coming from the fact that \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}\mathrm {D}u=0\) implies that \(u=\varphi _C\) is an infinitesimal conformal mapping, see (1.10)Footnote 6and Fig. 1.
For improved transparency in the physical modeling, we may now assume an additively decomposed ansatz for \({\mathcal {G}}\):
where in the last step we considered a simple isotropic example. Our novel result (1.20) shows that under the conditions \(\alpha _1>0\), \(\alpha _2=\alpha _3\ge 0\), \(q_1>1\) one can control the plastic distortion P in \(L^{q_1}\).
1.5.4 Incompatible linear elasticity
Instead of the classical linear elasticity problemFootnote 7
that is
we may consider the corresponding incompatible nonlinear elasticity problem
in other words the strong form of the second order Euler–Lagrange equations formally readsFootnote 8
under the (consistent) symmetrized tangential boundary condition
where \(1<r\le 2\), \({\widetilde{u}}\in H^1(\Omega ,\mathbb {R}^3)\) and \(G\in H^1_0(\Omega ,\mathbb {R}^{3\times 3})\) are prescribed and \(\nu \) is the outward unit vector field to \(\partial \Omega \). According to our Theorem 3.5, the solution to (1.60) is unique with respect to the non-symmetric elastic distortion \(e\in W^{1,\,2,\,r}({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}};\Omega ,\mathbb {R}^{3\times 3})\). Note that for \(\frac{6}{5}\le r \le 2\) it holds \(W^{1,\,2,\,r}({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}};\Omega ,\mathbb {R}^{3\times 3})\supsetneqq W^{1,\,2}(\Omega ,\mathbb {R}^{3\times 3})\). The formulation (1.60) might therefore be useful in problems with fracture. Furthermore, the stored energy in (1.60) is always bounded above by the corresponding energy in (1.58) for the compatible case. Replacing \(e=\mathrm {D}u\) and taking the divergence, recovers (1.59)\(_1\).
In the same spirit, in [10] the authors have considered the non-variational second-order problem
which also looks for a “relaxation” of linear elasticity and determines a unique solution \({{\,\mathrm{sym}\,}}e \in L^2(\Omega )\), \(\varvec{{\text {inc}}}\,({{\,\mathrm{sym}\,}}e)\in L^2(\Omega )\), where \(\varvec{{\text {inc}}}\,P :={{\,\mathrm{Curl}\,}}[({{\,\mathrm{Curl}\,}}P)^T]\) and further properties of the \(\varvec{{\text {inc}}}\,\) operator will be discussed below. Replacing \({{\,\mathrm{sym}\,}}e={{\,\mathrm{sym}\,}}\mathrm {D}u\) and taking the divergence would also recover (1.59)\(_1\).
2 Notations and technical preliminaries
Let \(n\ge 2\). For vectors \(a,b\in \mathbb {R}^n\) we consider the scalar product \(\left\langle a,b\right\rangle :=\sum _{i=1}^n a_i\,b_i \in \mathbb {R}\), the (squared) norm \(\Vert a \Vert ^2:=\left\langle a,a\right\rangle \) and the dyadic product \(a\otimes b :=\left( a_i\,b_j\right) _{i,j=1,\ldots ,n}\in \mathbb {R}^{n\times n}\). Similarly, the scalar product for matrices \(P,Q\in \mathbb {R}^{n\times n}\) is given by \(\left\langle P,Q\right\rangle :=\sum _{i,j=1}^n P_{ij}\,Q_{ij} \in \mathbb {R}\) and the (squared) Frobenius-norm by \(\Vert P \Vert ^2:=\left\langle P,P\right\rangle \). Moreover, \(P^T:=(P_{ji})_{i,j=1,\ldots ,n}\) stands for the transposition of the matrix \(P=(P_{ij})_{i,j=1,\ldots ,n}\). We make use of the orthogonal decomposition of the latter into the symmetric part \({{\,\mathrm{sym}\,}}P :=\frac{1}{2}\left( P+P^T\right) \) and the skew-symmetric part \({\mathrm {skew}}P :=\frac{1}{2}\left( P-P^T\right) \). We denote by \(\mathop {\mathfrak {sl}}(n):=\{X\in \mathbb {R}^{n\times n}\mid {{\,\mathrm{tr}\,}}(X)=0\}\) the Lie-algebra of trace-free matrices, with \({{\,\mathrm{Sym}\,}}(n):=\{X\in \mathbb {R}^{n\times n}\mid X^T=X\}\) and by \({{\,\mathrm{\mathfrak {so}}\,}}(n):=\{A\in \mathbb {R}^{n\times n}\mid A^T = -A\}\) the Lie-Algebra of skew-symmetric matrices. For the identity matrix we write \({\mathbb {1}}\), so that the trace of a squared matrix P is \({{\,\mathrm{tr}\,}}P :=\left\langle P,{\mathbb {1}}\right\rangle \). The deviatoric (trace-free) part of P is given by \({{\,\mathrm{dev}\,}}_n P:=P -\frac{1}{n}{{\,\mathrm{tr}\,}}(P)\,{\mathbb {1}}\) and in three dimensions we will suppress its index, i.e., we write \({{\,\mathrm{dev}\,}}\) instead of \({{\,\mathrm{dev}\,}}_3\).
By \({\mathscr {D}}'(\Omega )\) we denote the space of distributions on a bounded Lipschitz domain \(\Omega \subset \mathbb {R}^n\) and by \(W^{-k,\,p}(\Omega )\) the dual space of \(W^{k,\,p'}_0(\Omega )\), where \(p'=\frac{p}{p-1}\) is the dual Hölder exponent to p.
2.1 The three-dimensional case
In \(\mathbb {R}^3\) we further make use of the vector product \(\times :\mathbb {R}^3\times \mathbb {R}^3\rightarrow \mathbb {R}^3\). For a fixed vector \(a\in \mathbb {R}^3\) the cross product \(a\times .\) is linear in the second component, so that there exists a unique matrix \({\text {Anti}}(a)\) such that
Direct computations show that for \(a=(a_1,a_2,a_3)^T\) the matrix \({\text {Anti}}(a)\) is of the form
so that with \({\text {Anti}}:\mathbb {R}^3\rightarrow {{\,\mathrm{\mathfrak {so}}\,}}(3)\) we have a canonical identification of \(\mathbb {R}^3\) with the vector space of skew-symmetric matrices \({{\,\mathrm{\mathfrak {so}}\,}}(3)\). This algebraic approach to the cross product facilitates some of the traditional proofs of vector algebra, cf. [72, 107, 142, 153]. Indeed, also the notations \(T_a\), W(a) or even \([a]_\times \) are used for \({\text {Anti}}(a)\), but the latter emphasizes that we deal with a skew-symmetric matrix. Furthermore, the vector product can be written as
The inverse of \({\text {Anti}}\) will be called \({{\,\mathrm{axl}\,}}:{{\,\mathrm{\mathfrak {so}}\,}}(3)\rightarrow \mathbb {R}^3\) and it associates to a skew-symmetric matrix \(A\in {{\,\mathrm{\mathfrak {so}}\,}}(3)\) the (axial) vector \({{\,\mathrm{axl}\,}}A:=(-A_{23},A_{13},-A_{12})^T\), so that
The identification of the vector product with a suitable matrix product allows us to generalize the vector product in \(\mathbb {R}^3\) to a vector product of a vector \(b\in \mathbb {R}^3\) and a matrix \(P\in \mathbb {R}^{3\times 3}\) from the left and from the right:
Thus, \(b \times P \) is given by a column-wise vector multiplication
whereas in \(P\times b\) we have a row-wise vector multiplication
For the identity matrix we obtain
Formally, Nye’s formula (1.27) is a consequence of the following algebraic identityFootnote 9:
and the second identity (1.27)\(_1\) comes from the converse expression
where we have used
In addition, for all \(b\in \mathbb {R}^3\) we obtain
so that
Consequently, for a symmetric matrix S we have \({{\,\mathrm{tr}\,}}(S\times b)= 0\) for any \(b\in \mathbb {R}^3\), since
and similarly
Furthermore, we can consider the vector multiplication on both sides:
However, from the viewpoint of application it is more convenient to look at
In particular, for a skew-symmetric matrix \(A\in {{\,\mathrm{\mathfrak {so}}\,}}(3)\) and a symmetric matrix \(S\in {{\,\mathrm{Sym}\,}}(3)\) we have
Observation 2.1
For \(a,b\in \mathbb {R}^3\) we have
Proof
Considering the \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}\) parts on both sides of (2.9) we obtain
Since,
taking the squared norm on both sides of (2.20) we obtain
The right-hand side is bounded from above by \(\frac{2}{3}\Vert a \Vert ^2\Vert b \Vert ^2\) and from below by \(\frac{1}{2}\Vert a \Vert ^2\Vert b \Vert ^2\). These bounds are sharp if a is parallel to b and if a is perpendicular to b, respectively. \(\square \)
Remark 2.2
Due to the identification of skew-symmetric matrices with vectors in \(\mathbb {R}^3\) the relation (2.19) reads also
Indeed, setting \(a:={{\,\mathrm{axl}\,}}A\) and \({\widetilde{a}}:={{\,\mathrm{axl}\,}}{\widetilde{A}}\), we have \(A\,{\widetilde{A}}= {\text {Anti}}(a)\times {\widetilde{a}}\), so that the estimate follows from (2.19) in combination with the identities \(\Vert A \Vert ^2=2\Vert a \Vert ^2\) and \(\Vert {\widetilde{A}} \Vert ^2=2\Vert {\widetilde{a}} \Vert ^2\). The bounds in (2.23) are sharp. The upper bound is achieved for \(A={\widetilde{A}}\) and the lower bound is achieved, e.g., for \(A={\text {Anti}}(e_1)=e_3\otimes e_2 - e_2 \otimes e_3\) and \({\widetilde{A}}={\text {Anti}}(e_2)=e_1\otimes e_3 -e_3 \otimes e_1\).
In [102] we used moreover for \(P\in \mathbb {R}^{3\times 3}\) and \(b\in \mathbb {R}^3\) the relation
Here, we use a similar equivalence.
Observation 2.3
For \(P\in \mathbb {R}^{3\times 3}\) and \(b\in \mathbb {R}^3\) we have
Remark 2.4
Surely, (2.25) is not equivalent to the condition \(P\times b=0\), cf. the example in (2.8).
Proof of Observation 2.3
We decompose P into its symmetric and skew-symmetric part, i.e.,
and obtain
Moreover, for any matrix \(P\in \mathbb {R}^{3\times 3}\) it holds
Thus, we obtain
and the statement follows from the identity
Applying the Cauchy–Bunyakovsky–Schwarz inequality on the right-hand side of (2.29) we obtain
\(\square \)
2.2 Considerations from vector calculus
The vector differential operator \(\nabla \) behaves algebraically like a vector, so that, formally, the derivative, the divergence and the curl of a vector field \(a\in {\mathscr {D}}'(\Omega ,\mathbb {R}^3)\) can be expressed as
Formally, the Laplace operator behaves like a scalar with \(\Delta =\Vert \nabla \Vert ^2\).
More generally, we can use multilinear expressions to define differential operators as follows. Let V and W be finite-dimensional vectorspaces and let \(\mathrm {Lin}(V,W)\) denote the space of linear maps from V to W. Let \(M: \mathbb {R}^d \times \cdots \times \mathbb {R}^d \rightarrow \mathrm {Lin}(V,W)\) be a multilinear map and denote by \(M_{i_1 \ldots i_r}:=M(e_{i_1}, \ldots , e_{i_r})\) the coeffiencts of M with respect to the standard basis \(e_1, \ldots , e_d\) of \(\mathbb {R}^d\). We define a differential operator \(D_M\) by
where each index \(i_j\) runs from 1 to d. Let \(\Omega \in \mathbb {R}^d\) be open. Then \(D_M\) maps a distribution \(f \in {\mathscr {D}}'(\Omega ,V)\) to a distribution \(D_M f \in {\mathscr {D}}'(\Omega ,W)\). The following simple observation allows us to transfer algebraic identities into identities of vector calculus. We have
Indeed, since \(\partial _i \partial _j = \partial _j \partial _i\) in the sense of distributions, both assertions are equivalent to the statement that the symmetrized coefficients of M vanish. For example, the algebraic identity \({{\,\mathrm{tr}\,}}((a \times b) \otimes b) = 0\) for all \(a, b \in \mathbb {R}^3\) translates into the identity \({\text {div}}\,{\text {curl}}f = 0\) for all \(f \in {\mathscr {D}}'(\Omega ,\mathbb {R}^3)\). Since M is multilinear we often use the notation
With this notation, (2.32) asserts that we can formally compute as if \(\nabla \) was a vector in \(\mathbb {R}^d\).
Of special interest is the operator curl and its row-wise extension to a matrix-valued operator \({{\,\mathrm{Curl}\,}}\). Thus, formally,
for \(P\in {\mathscr {D}}'(\Omega ,\mathbb {R}^{3\times 3})\) where the vector product acts row-wise, cf. (2.7). Surely, \(\nabla \times P\) or \(-\nabla \times P\) would also be interesting candidates to consider, but, among them, only the matrix \({{\,\mathrm{Curl}\,}}\) from (2.34) kills the derivative of a general vector field \(a\in {\mathscr {D}}'(\Omega ,\mathbb {R}^3)\), i.e., \({{\,\mathrm{Curl}\,}}\mathrm {D}a \equiv 0\). For symmetric tensor fields \(S\in {\mathscr {D}}'(\Omega ,{{\,\mathrm{Sym}\,}}(3))\) we obtain by (2.14)
Moreover, it holds for \(\zeta \in {\mathscr {D}}'(\Omega ,\mathbb {R})\) and \(a\in {\mathscr {D}}'(\Omega ,\mathbb {R}^3)\)
Note in passing that in three dimensions the matrix \({{\,\mathrm{Curl}\,}}\) returns again a square matrix. Furthermore, we make use of the incompatibility operator
The last expression shows, in particular, that the incompatibility operator preserves symmetry:
Moreover, the incompatibility operator annihilates the symmetric displacement gradient since
Note that this formal calculation was already carried out in Lagally’s monograph on vector calculus from 1928 [91, Ziff. 191]. The action of the incompatibility operator on spherical tensors and antisymmetric tensors is given by
respectively. For symmetric tensor fields S we obtain, formally by (2.15), again
Remark 2.5
The incompatibility operator \(\varvec{{\text {inc}}}\,\) occurs in infinitesimal strain dislocation models, e.g., in the modeling of dislocated crystals or in the modeling of elastic materials with dislocations, since the strain cannot be a symmetrized gradient of a vector field as soon as dislocations are present and the notion of incompatibility is at the basis of a new paradigm to describe the inelastic effects, cf. [7,8,9, 47, 95, 109]. Furthermore, the equation \(\varvec{{\text {inc}}}\,{{\,\mathrm{sym}\,}}e\equiv 0\) is equivalent to the Saint-Venant compatibility condition(s)Footnote 10 defining the relation between the displacement vector field u and the symmetric strain \({{\,\mathrm{sym}\,}}e\), more precisely:
in simply connected domains, cf. [4, 109]. For investigations over multiply connected domains see e.g. [65, 152].
2.3 Linear combinations of higher derivatives
Our analysis relies on a number of apparently hitherto unnoticed identities which arise from the interaction of the matrix \({{\,\mathrm{Curl}\,}}\) operator with the algebraic splitting (1.35):
In particular, we have the following identities.
Lemma 2.6
Let \(A\in {\mathscr {D}}'(\Omega ,{{\,\mathrm{\mathfrak {so}}\,}}(3))\). Then
-
(a)
the entries of \(\mathrm {D}^2 A\) are linear combinations of the entries of \(\mathrm {D}\, {{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}A\).
-
(b)
the entries of \(\mathrm {D}^3 A\) are linear combinations of the entries of \(\mathrm {D}^2 {{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}A\).
Proof
By Nye’s formula (1.27)\(_1\) we have
Taking the trace on both sides we obtain \({{\,\mathrm{tr}\,}}({{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}A) = 2\, {{\,\mathrm{tr}\,}}(\mathrm {D}{{\,\mathrm{axl}\,}}A)\) and inserting this identity into (2.43) we get
Moreover, by the relation (1.24) used for the proof of the classical Korn’s inequality, we obtain
In other words, the entries of \(\mathrm {D}^2 A \) are linear combinations of the entries of \(\mathrm {D}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}A\) which establishes part (a).
To prove (b) we make use of the incompatibility operator \(\varvec{{\text {inc}}}\,\), since it kills the symmetric displacement gradient, cf. (2.39). Consider now the deviatoric part on both sides of (2.43):
Applying \(\varvec{{\text {inc}}}\,\) on both sides, we obtain in view of (2.39) and (2.40):
or, equivalently,
where we have used that the entries of \(\varvec{{\text {inc}}}\,B\) are, of course, linear combinations of the entries of \(\mathrm {D}^2B\), so that by (2.46) we have
The conclusion of part (b) then follows using the relation (1.24):
\(\square \)
The algebraic considerations above provide information on higher derivatives of P in negative Sobolev spaces. To obtain \(L^p\)-estimates for P we use the following deep result.
Theorem 2.7
(Lions lemma and Nečas estimate) Let \(\Omega \subset \mathbb {R}^n\) be a bounded Lipschitz domain. Let \(m \in \mathbb {Z}\) and \(p \in (1, \infty )\). Then \(f \in {\mathscr {D}}'(\Omega ,\mathbb {R}^d)\) and \(\mathrm {D}f \in W^{m-1,\,p}(\Omega ,\mathbb {R}^{d\times n})\) imply \(f \in W^{m,\,p}(\Omega ,\mathbb {R}^d)\). Moreover,
with a constant \(c=c(m,p,n,d,\Omega )>0\).
For a proof we refer to [6, Proposition 2.10 and Theorem 2.3] and [15]. However, for our discussions the heart of the matter is the estimate (2.50), see Nečas [117, Théorème 1]. The case \(m=0\) is already contained in [24]; for an alternative proof, see [111, Lemma 11.4.1] and [16, Chapter IV] as well as [17] and [39]. For further historical remarks, see the discussions in [5, 28] and the references contained therein.
Since we only have information on higher order derivatives of P we will use the following consequence of Theorem 2.7.
Corollary 2.8
Let \(\Omega \subset \mathbb {R}^n\) be a bounded Lipschitz domain, \(m \in \mathbb {Z}\) and \(p \in (1, \infty )\). Denote by \(\mathrm {D}^k f\) the collection of all distributional derivatives of order k. Then \(f \in {\mathscr {D}}'(\Omega ,\mathbb {R}^d)\) and \(\mathrm {D}^k f \in W^{m-k,\,p}(\Omega ,\mathbb {R}^{d\times n^k})\) imply \(f \in W^{m,\,p}(\Omega ,\mathbb {R}^d)\). Moreover,
with a constant \(c=c(m,p,n,d,\Omega )>0\).
Proof
The assertion \(f \in W^{m,\,p}(\Omega ,\mathbb {R}^d)\) and the estimate (2.51) follow by inductive application of Theorem 2.7 to \(\mathrm {D}^l f\) with \(l=k-1,k-2,\ldots ,0\). \(\square \)
Lemma 2.9
Let \(A\in L^p(\Omega ,{{\,\mathrm{\mathfrak {so}}\,}}(3))\). Then
-
(a)
\({{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}A \equiv 0\) in the distributional sense if and only if \(A={\text {Anti}}({\widetilde{A}}\,x+b)\) almost everywhere in \(\Omega \),
-
(b)
\({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}A \equiv 0\) in the distributional sense if and only if \(A= {\text {Anti}}\big ({\widetilde{A}}\,x+b+\beta \, x +\left\langle d,x\right\rangle \,x -\frac{1}{2}d\Vert x \Vert ^2\big )\) almost everywhere in \(\Omega \)
with constant \({\widetilde{A}}\in {{\,\mathrm{\mathfrak {so}}\,}}(3)\), \(b,d\in \mathbb {R}^3\) and \(\beta ,\gamma \in \mathbb {R}\).
Remark 2.10
It is seen already from the calculations of the kernels that there can not be corresponding Korn type inequalities in terms of \(\Vert {{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}P \Vert +\Vert {{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P \Vert \) or \(\Vert {{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}P \Vert +\Vert {{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P \Vert \). The kernels would be infinite-dimensional, since all restricting information on \(\zeta \) would get lost. Indeed, we have
so that \({{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}(A+\zeta \cdot {\mathbb {1}})\equiv 0 \) or \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}(A+\zeta \cdot {\mathbb {1}})\equiv 0 \) allow \(\zeta \) to be arbitrary.
Remark 2.11
Solutions of Lemma 2.9 have already been partially indicated in the literature, cf. [11, 137]. We include their full deduction here for the convenience of the reader.
Proof of Lemma 2.9
The “if”-parts follow from a direct calculation using Nye’s formula (1.27):
-
(a)
\({{\,\mathrm{Curl}\,}}({\text {Anti}}({\widetilde{A}}\,x+b)) = {\widetilde{A}} \),
-
(b)
\(\mathrm {D}({\text {Anti}}\big ({\widetilde{A}}\,x+b+\beta \, x +\left\langle d,x\right\rangle \,x -\frac{1}{2}d\Vert x \Vert ^2\big )) = {\widetilde{A}}+\beta \,{\mathbb {1}}+\left\langle d,x\right\rangle {\mathbb {1}}+x\otimes d-d\otimes x = (\beta +\left\langle d,x\right\rangle ){\mathbb {1}}+{\widetilde{A}}+{\text {Anti}}(d\times x)\), hence, \({{\,\mathrm{Curl}\,}}({\text {Anti}}\big ({\widetilde{A}}\,x+b+\beta \, x +\left\langle d,x\right\rangle \,x -\frac{1}{2}d\Vert x \Vert ^2\big )) = 2(\beta +\left\langle d,x\right\rangle ){\mathbb {1}}+{\widetilde{A}}+{\text {Anti}}(d\times x)\),
Now, we will focus on the “only if”-directions.
By (2.44) the condition \({{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}A \equiv 0\) implies \({{\,\mathrm{sym}\,}}(\mathrm {D}{{\,\mathrm{axl}\,}}A) \equiv 0\), so that the usual calculation for Korn’s inequality, cf. (1.24), gives that \(\mathrm {D}{{\,\mathrm{axl}\,}}A\) must be a constant skew-symmetric matrix. Thus,
for some \({\widetilde{A}}\in {{\,\mathrm{\mathfrak {so}}\,}}(3)\) and \(b\in \mathbb {R}^3\), which establishes (a).
Considering now \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}A \equiv 0\) we obtain by (2.48) that \(\mathrm {D}^2 {{\,\mathrm{tr}\,}}(\mathrm {D}{{\,\mathrm{axl}\,}}A)\equiv 0\). Hence,
for some \(d\in \mathbb {R}^3\) and \(\beta \in \mathbb {R}\). Define \({\bar{a}}\) by
Then
and
Thus, by (2.46) we have
Again, (1.24) gives that \(\mathrm {D}\,({{\,\mathrm{axl}\,}}A-{\bar{a}})\) must be a constant skew-symmetric matrix and we have
for some \({\widetilde{A}}\in {{\,\mathrm{\mathfrak {so}}\,}}(3)\) and \(b\in \mathbb {R}^3\), and statement (b) follows from the representation (2.53). \(\square \)
Remark 2.12
The conclusion of (b) also follows directly from Nye’s formula and is connected to infinitesimal conformal maps. Indeed, we have
so that
denoting by \(\varphi _C\) an infinitesimal conformal map, so that the expression in (b) of Lemma 2.9 follows from the expression for infinitesimal conformal maps (1.10).
3 New incompatible Korn type inequalities
Lemma 3.1
Let \(\Omega \subset \mathbb {R}^3\) be a bounded Lipschitz domain, \(1<p<\infty \) and \(P\in {\mathscr {D}}'(\Omega ,\mathbb {R}^{3\times 3})\). Then either of the conditions
-
(a)
\({{\,\mathrm{sym}\,}}P\in L^p(\Omega ,\mathbb {R}^{3\times 3})\) and \({{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P \in W^{-1,\,p}(\Omega ,\mathbb {R}^{3\times 3})\),
-
(b)
\({{\,\mathrm{sym}\,}}P\in L^p(\Omega ,\mathbb {R}^{3\times 3})\) and \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P \in W^{-1,\,p}(\Omega ,\mathbb {R}^{3\times 3})\),
implies \(P\in L^p(\Omega ,\mathbb {R}^{3\times 3})\). Moreover, we have the estimates
always with a constant \(c=c(p,\Omega )>0\).
Remark 3.2
Clearly, condition (b) is weaker than condition (a) and (3.1b) implies (3.1a). Furthermore, (3.1b) implies the estimate
in [103, Lemma 3.1] as well as the estimate
in [102, Lemma 3.6], but not the estimate
in [102, Lemma 3.6] which uses \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}P\) rather than \({{\,\mathrm{sym}\,}}P\) on the right-hand side. The point is, that we cannot improve (3.1) to an estimate which involves \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}P\) instead of \({{\,\mathrm{sym}\,}}P\) on the right-hand side, cf. Remark 1.2.
Proof
By the previous remark it suffices to establish the assertion \(P \in L^p(\Omega ; \mathbb {R}^{3 \times 3})\) under condition (b) and to prove the estimate (3.1b).
We will follow the same line of reasoning as in the proof of [103, Lemma 3.1] and start by considering the orthogonal decomposition
To deduce \({\mathrm {skew}}P \in L^p(\Omega ,\mathbb {R}^{3\times 3})\) under assumption (b) we consider
Hence, \(\mathrm {D}^2{{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}{\mathrm {skew}}P\in W^{-3,\,p}(\Omega ,\mathbb {R}^{3\times 3^3})\) and it follows from Lemma 2.6 (b) that
Now, we apply Corollary 2.8 to \({\mathrm {skew}}P\) and we deduce that \({\mathrm {skew}}P\in L^p(\Omega ,\mathbb {R}^{3\times 3})\) and
\(\square \)
The rigidity results follow by eliminating the corresponding first term on the right-hand side of (3.1).
Theorem 3.3
Let \(\Omega \subset \mathbb {R}^3\) be a bounded Lipschitz domain and \(1<p<\infty \). There exists a constant \(c=c(p,\Omega )>0\) such that for all \(P\in L^{p}(\Omega ,\mathbb {R}^{3\times 3})\)
-
(a)
$$\begin{aligned} \inf _{T\in K_{S,SC}}\Vert P-T \Vert _{L^p(\Omega ,\mathbb {R}^{3\times 3})}\le c\,\left( \Vert {{\,\mathrm{sym}\,}}P \Vert _{L^p(\Omega ,\mathbb {R}^{3\times 3})}+ \Vert {{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P \Vert _{W^{-1,\,p}(\Omega ,\mathbb {R}^{3\times 3})}\right) \nonumber \\ \end{aligned}$$(3.8a)
-
(b)
$$\begin{aligned}&\inf _{T\in K_{S,dSC}}\Vert P-T \Vert _{L^p(\Omega ,\mathbb {R}^{3\times 3})}\nonumber \\&\quad \le c\,\left( \Vert {{\,\mathrm{sym}\,}}P \Vert _{L^p(\Omega ,\mathbb {R}^{3\times 3})}+ \Vert {{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P \Vert _{W^{-1,\,p}(\Omega ,\mathbb {R}^{3\times 3})}\right) \end{aligned}$$(3.8b)
where the kernels are given by
$$\begin{aligned} K_{S,SC}&= \{T:\Omega \rightarrow \mathbb {R}^{3\times 3} \mid T(x)={\text {Anti}}({\widetilde{A}}\,x+b), \ {\widetilde{A}}\in {{\,\mathrm{\mathfrak {so}}\,}}(3), b\in \mathbb {R}^3\}, \end{aligned}$$(3.9a)$$\begin{aligned} K_{S,dSC}&= \{T:\Omega \rightarrow \mathbb {R}^{3\times 3} \mid T(x)={\text {Anti}}\big ({\widetilde{A}}\,x+\beta \, x+b +\left\langle d,x\right\rangle \,x -\frac{1}{2}d\Vert x \Vert ^2\big ), \nonumber \\&\quad {\widetilde{A}}\in {{\,\mathrm{\mathfrak {so}}\,}}(3), b,d\in \mathbb {R}^3, \beta \in \mathbb {R}\}, \end{aligned}$$(3.9b)
Remark 3.4
Setting \({\widetilde{a}}={{\,\mathrm{axl}\,}}({\widetilde{A}})\) we have for the linear functions in the kernels
so that \(K_{S,SC}\) can be alternatively written as
Furthermore, the elements of \(K_{S,dSC}\) are connected to infinitesimal conformal mappings \(\varphi _C\) via
cf. Remark 2.12.
Proof of Theorem 3.3
We first prove the formulae for the kernels \(K_{S,SC}\) and \(K_{S,dSC}\). If
then \(P = {\mathrm {skew}}P\) and \({{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}{\mathrm {skew}}P = 0\). Thus (3.9a) follows by virtue of Lemma 2.9 (a). Similarly, the formula (3.9b) follows from Lemma 2.9 (b).
The estimates (3.8a) and (3.8b) now follow from Lemma 3.1, the fact that the kernels are finite-dimensional and the compactness of the embedding \(L^p(\Omega ) \hookrightarrow W^{-1,p}(\Omega )\), see, for example, the proofs [102,103,104] or [29, Theorem 6.15-3] for similar reasoning. For the convenience of the reader we provide the details for the argument for the estimate (3.8a). The proof of (3.8b) is analogous. By \(e_1,\ldots ,e_M\) we denote a basis of \(K_{S,SC}\), and by \(\ell _1, \ldots , \ell _M\) we denote the corresponding dual basis of linear functionals on \(K_{S,SC}\) which is characterized by the conditions
Then, the Hahn-Banach theorem in a normed vector space (see e.g. [29, Theorem 5.9-1]), allows us to extend \(\ell _\alpha \) to continuous linear forms - again denoted by \(\ell _\alpha \) - on the Banach space \(L^p(\Omega ,\mathbb {R}^{3\times 3})\), \(1\le \alpha \le M\). Note that
We claim that
Indeed, if this inequality is false, there exists a sequence \(P_k\in L^p(\Omega ,\mathbb {R}^{3\times 3})\) with the properties
Hence, (for a subsequence) \(P_k\rightharpoonup P^*\) in \(L^p(\Omega ,\mathbb {R}^{3\times 3})\) and we have \({{\,\mathrm{sym}\,}}P^*\equiv 0\) and \({{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P^* \equiv 0\) in the distributional sense but also \(\ell _\alpha (P^*)=0\) for all \(\alpha =1,\ldots ,M\), so that \(P^*\equiv 0\). Since the embedding \(L^p(\Omega ,\mathbb {R}^{3\times 3})\hookrightarrow W^{-1,\,p}(\Omega ,\mathbb {R}^{3\times 3})\) is compact we get \({\mathrm {skew}}P_k\rightarrow {\mathrm {skew}}P^*\equiv 0\) in \(W^{-1,\,p}(\Omega ,\mathbb {R}^{3\times 3})\). Thus, \(P_k\rightarrow 0\) in \(W^{-1,\,p}(\Omega ,\mathbb {R}^{3\times 3})\) and this yields to a contradiction with (3.1a). Hence (3.14) holds.
Now consider the projection \(\pi _{a}:L^p(\Omega ,\mathbb {R}^{3\times 3}) \rightarrow K_{S,SC}\) given by
We obtain \(\ell _\alpha (P-\pi _{a}(P)) \overset{(3.12)}{=} 0\) for all \(1\le \alpha \le M\), so that (3.8a) follows after inserting \(P-\pi _{a}(P)\) into (3.14):
\(\square \)
Finally, we show that the estimates in Theorem 3.3 can be improved to estimates for P itself, and not just for \(P - T\), if we impose a natural boundary condition which annihilates the relevant kernels.
We focus on the improvement of (3.8b) because this already implies the improved estimate for (3.8a). For a weak definition of boundary values of certain linear combinations of P it is not sufficient to assume only \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P \in W^{-1,\,p}(\Omega , \mathbb {R}^{3 \times 3})\). Indeed, this condition is satisfied for every \(P \in L^p(\Omega , \mathbb {R}^{3 \times 3})\). We thus consider, for \(p \in (1, \infty )\) and \(r \in [1, \infty )\) the spaces
Equipped with the norm
this space becomes a Banach space. In terms of scaling the natural relation between p and r is \(p= r^*\) where \(r^*\) is the Sobolev exponent of r. To properly treat the borderline case \(p = 1^* = \frac{3}{2}\) we make the following assumptions
We assume that \(\Omega \subset \mathbb {R}^3\) is a bounded domain with Lipschitz boundary. To define boundary conditions for certain linear combinations of the components of P in the distributional sense, we first recall that for \(q \in (1, \infty )\) the space \(C^1({{\overline{\Omega }}})\) is dense in \(W^{1,\,q}(\Omega )\) and there exists a linear bounded and surjective trace operator \(\mathrm {Tr}: W^{1,\,q}(\Omega ) \rightarrow W^{1- 1/q,\,q}(\partial \Omega )\) which is uniquely characterized by the condition \(\mathrm {Tr} f = f|_{\partial \Omega }\) for all \(f \in C^1({{\overline{\Omega }}})\). Moreover there exists a linear, bounded extension operator \(\mathrm {E}: W^{1- 1/q,\, q}(\partial \Omega ) \rightarrow W^{1,\,q}(\Omega )\) with \(\mathrm {Tr} \circ \mathrm {E} = \mathrm {id}.\) If follows from the divergence theorem and the density of \(C^1({{\overline{\Omega }}})\) that for all \(i=1, 2, 3\)
where \(\nu \) denotes the outer normal of \(\partial \Omega \) (which exist \({\mathcal {H}}^2\) a.e. on \(\partial \Omega \)) and \({\mathcal {H}}^2\) the two-dimensional Hausdorff measure. For \(p \in (1, \infty )\) we denote by \(p'\) the dual exponent given by \(\frac{1}{p} + \frac{1}{p'} = 1\). The dual of the space \(W^{1-1/p',\, p'}(\partial \Omega ) = W^{1/p,\, p'}(\partial \Omega )\) is denoted by \(W^{-1/p,\, p}(\partial \Omega )\). In order to introduce a weak definition of the boundary values of \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}[P \times \nu ]\) we assume that r satisfies (3.18). Then we can define a bounded map \(S: W^{1,\,p,\,r}({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}; \Omega ; \mathbb {R}^{3 \times 3}) \rightarrow W^{-1/p,\, p}(\partial \Omega ; \mathbb {R}^{3 \times 3})\) by
Here the extension operator is applied componentwise. If \(a \in C^1({{\overline{\Omega }}}; \mathbb {R}^3)\) and \(b \in W^{1,\,q}(\Omega , \mathbb {R}^3)\) then it follows from (3.19) that
Using this identity, the fact that \({{\,\mathrm{Curl}\,}}\) acts row-wise and (2.7), one easily deduces that for \(P \in C^1({{\overline{\Omega }}}; \mathbb {R}^{3 \times 3})\) and \(Q \in W^{1/p,\,p'}(\partial \Omega ,\mathbb {R}^{3\times 3})\)
Thus, for \(P \in C^1({{\overline{\Omega }}}; \mathbb {R}^{3 \times 3})\) we have \(SP = {{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}[P \times (-\nu )]\). Let \(\Gamma \) be a relatively open subset of \(\partial \Omega \). We say that
Note that \( (W^{1/p, \,p'} \cap C^0)(\partial \Omega )\) is dense in \( W^{1/p,\, p'}(\partial \Omega )\) since it contains \(\mathrm {Tr}(C^1({{\overline{\Omega }}}))\). We define
In particular
Since S is continuous, the space \( W^{1,\,p, \, r}_{0, \Gamma }({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}; \Omega ,\mathbb {R}^{3\times 3})\) is a closed subspace of \( W^{1,\,p, \, r}({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}; \Omega ,\mathbb {R}^{3\times 3})\).
Theorem 3.5
Let \(\Omega \subset \mathbb {R}^3\) be a bounded Lipschitz domain, let \(1<p<\infty \) and assume that r satisfies (3.18). Let \(\Gamma \subset \partial \Omega \) be relatively open and non-empty. Then there exists a constant \(c = c(p, r, \Omega , \Gamma )\) such that for all \(P\in W^{1,\,p,\,r}_{0, \Gamma }({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}; \Omega ,\mathbb {R}^{3\times 3})\) we have
Remark 3.6
Conti and Garroni [34] and Gmeineder and Spector [69] have shown that the estimate
holds also in the borderline case \(r=1\) and \(p=\frac{3}{2}\) under the normalization condition \(\int _\Omega {\mathrm {skew}}P \,{\mathrm {d}x}=0\) similar to [63]. We do not know if Theorem 3.5 holds in this borderline case.
To show Theorem 3.5 we use the following simple fact which will be proved after the proof of Theorem 3.5:
Lemma 3.7
Assume that \(\Gamma \subseteq \mathbb {R}^3\) has the following properties
-
1.
\(\Gamma \) is not discrete;
-
2.
\(\Gamma \) is not contained in a line;
-
3.
\(\Gamma \) is not contained in a circle.
Let \(A \in {{\,\mathrm{\mathfrak {so}}\,}}(3)\), \(b,d \in \mathbb {R}^3\), \(\beta \in \mathbb {R}\) and consider the function \(f: \mathbb {R}^3 \rightarrow \mathbb {R}^3\) given by
Then
Proof of Theorem 3.5
We first show that
Then the assertion will follow by a standard argument from (3.8b) and the fact that \(K_{S,dSC}\) is finite-dimensional while \(W^{1,\,p,\,r}_{0, \Gamma }({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}};\Omega ; \mathbb {R}^{3 \times 3})\) is closed.
To show (3.27), let \(T \in K_{S, dSC} \cap W^{1,\,p,\,r}_{0, \Gamma }\). Then T is smooth and thus (3.24) implies that \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}[T \times \nu ] = 0\) on \(\Gamma \). Since the elements of \(K_{S, dSC}\) are skew-symmetric it follows from Observation 2.1 and the formula for \(K_{S, dSC}\) that there exist \({{\widetilde{A}}} \in {{\,\mathrm{\mathfrak {so}}\,}}(3)\), \(b,d \in \mathbb {R}^3\) and \(\beta \in \mathbb {R}\) such that
Now Lemma 3.7 implies that all coefficients vanish and hence \(T \equiv 0\). This concludes the proof of (3.27).
Assume now that (3.25) does not hold. Then there exists a sequence \(P_k \in W^{1,\,p,\,r}_{0, \Gamma }({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}};\Omega ; \mathbb {R}^{3 \times 3})\) such that
and
The assumption (3.18) on r implies that \(W^{1,\,p'}_0(\Omega )\) embeds continuously into \(L^{r'}(\Omega )\). Hence \(L^r(\Omega )\) embeds continuously into \(W^{-1,\,p}(\Omega )\). Thus it follows from (3.8b) that there exist \(T_k \in K_{S,dSC}\) such that
In particular, the sequence \(T_k\) is bounded in \(L^p\) and since \(K_{S,dSC}\) is finite-dimensional, there exists a \(T \in K_{S,dSC}\) and a subsequence such that \(T_k \rightarrow T\) in \(L^p(\Omega , \mathbb {R}^{3 \times 3})\). Thus (for the same subsequence) \(P_k \rightarrow T\) in \(L^p(\Omega , \mathbb {R}^{3 \times 3})\). Moreover \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P_k\) converges to zero in \(L^r\) and \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}T = 0\). Since \(W^{1,\, p,\, r}_{0, \Gamma }({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}};\Omega ; \mathbb {R}^{3 \times 3})\) is a closed subspace of \(W^{1,\, p, \, r}({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}};\Omega ; \mathbb {R}^{3 \times 3})\) it follows that \(T \in W^{1,\, p, \, r}_{0, \Gamma }({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}};\Omega ; \mathbb {R}^{3 \times 3})\). Hence (3.27) implies that \(T = 0\) and thus \(P_k \rightarrow 0\) in \(L^p(\Omega , \mathbb {R}^{3 \times 3})\). This contradicts the hypothesis \(\Vert P_k \Vert _{L^p} = 1\). \(\square \)
Remark 3.8
Estimate (3.25) does not hold true in other dimensions, since only in three dimensions the matrix \({{\,\mathrm{Curl}\,}}\) returns a square matrix.
Proof of Lemma 3.7
Since \(\Gamma \) is not discrete there exists \({{\bar{x}}} \in \mathbb {R}^3\) and \(x_k \in \Gamma \backslash \{{{\bar{x}}}\}\) such that \(\lim _{k \rightarrow \infty } x_k = {{\bar{x}}}\). The map \(g(x) :=f({{\bar{x}}} + x)\) has the same form as f (with different values of the parameters \(A,b,d,\beta \)). Thus we may assume without loss of generality that \({{\bar{x}}} = 0\). Since f is continuous we get \(f(0) = 0\) and hence \(b = 0\).
Since
we deduce that \(\beta + \frac{1}{2} \langle d, x\rangle = 0\) for all \(x \in \Gamma \backslash \{0\}\). Considering points \(x_k \in \Gamma \backslash \{0\}\) with \(x_k \rightarrow 0\) we see that \(\beta = 0\) and
If \(d = 0\) then \(f(x) = Ax\). If \(A \ne 0\) then the kernel of A is a line since \(A \in {{\,\mathrm{\mathfrak {so}}\,}}(3)\). Thus \(\Gamma \) would be contained in a line which contradicts our assumption. Hence for \(d= 0\) we get \(A=0\) and we are done.
If \(d \ne 0\) then \(\Gamma \) is contained in the hyperplane perpendicular to d. Since \(\left\langle d,f(x)\right\rangle =0\) for all \(x\in \Gamma \) and A is skew-symmetric we get \(2\left\langle A\,d,x\right\rangle +\Vert d \Vert ^2\Vert x \Vert ^2=0\) for all \(x\in \Gamma \). This implies that
Since A is skew-symmetric, the vector \(A\,d\) is contained in the plane perpendicular to d. It follows that \(\Gamma \) is either a point (and hence discrete) or a circle (\(x\in \Gamma \) and \(A\,d\) lie in the same hyperplane) with center \(-\frac{1}{\Vert d \Vert ^2}A\,d\) and radius \(\frac{\Vert A\,d \Vert }{\Vert d \Vert ^2}\) which contradicts our assumption. \(\square \)
It is well-known, that Korn’s inequality and Poincaré’s inequality are not equivalent, however, due to the presence of the \({{\,\mathrm{Curl}\,}}\) we get back both inequalities from our general result (3.25). Indeed, in the compatible case \(P=\mathrm {D}u\) we recover a tangential Korn inequality.
Corollary 3.9
Let \(\Omega \subset \mathbb {R}^3\) be a bounded Lipschitz domain, \(1<p<\infty \) and \(\Gamma \) a relatively open non-empty subset in \(\partial \Omega \). There exists a constant \(c=c(p,\Omega ,\Gamma )>0\) such that for all \(u\in W^{1,\,p}(\Omega ,\mathbb {R}^{3})\) with \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}(\mathrm {D}u \times \nu ) = 0\) on \(\Gamma \) we have
Proof
This follows from Theorem 3.5 by setting \(P = \mathrm {D}u\). \(\square \)
Remark 3.10
This boundary condition is rather weak. If \(\Gamma \) is flat, then the condition \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}(\mathrm {D}u \times \nu )_{|\Gamma } = 0 \) implies that \(u=\alpha \,x+b\) along \(\Gamma \) with \(\alpha \in \mathbb {R}\) and \(b\in \mathbb {R}^3\), see “Appendix A.1.4”.
For skew-symmetric \(P={\text {Anti}}(a)\) we recover from (3.25) a Poincaré’s inequality involving only the deviatoric (trace-free) part of the symmetrized gradient. Such a Poincaré-type inequality can also be generalized to functions of bounded deformation, cf. [60].
Corollary 3.11
Let \(\Omega \subset \mathbb {R}^3\) be a bounded Lipschitz domain and \(1<p<\infty \). Set \( W^{1,p}_{\Gamma ,0}(\Omega ,\mathbb {R}^3) :=\{ a \in W^{1,p}(\Omega ; \mathbb {R}^3) \mid \mathrm {Tr}\, a = 0 \text { on } \Gamma \}\). There exists a constant \(c=c(p,\Omega ,\Gamma )>0\) such that for all \(a\in W^{1,\,p}_{\Gamma ,0}(\Omega ,\mathbb {R}^3)\), we have
Proof
This follows from Theorem 3.5 by setting \(P = {\text {Anti}}(a)\) and the following observations:
\({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}({\text {Anti}}(a) \times \nu ) = 0 \ \Leftrightarrow \ a=0\) on \(\Gamma \), \({{\,\mathrm{Curl}\,}}({\text {Anti}}(a))=L(\mathrm {D}a)\) and the form of \({\text {Anti}}(a)\), cf. (2.2). \(\square \)
The results of Theorem 3.5 , Corollaries 3.9 and 3.11 can be graphically summarized as follows.
4 Comparison of the spaces \(W^{1,\,p}({{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}})\) and \(W^{1,\,p}({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}})\)
Using the linear expression of the entries of \(\mathrm {D}{{\,\mathrm{Curl}\,}}P\) in terms of the entries of \(\mathrm {D}{{\,\mathrm{dev}\,}}{{\,\mathrm{Curl}\,}}P\) the authors of [102] showed that for all \(P\in {\mathscr {D}}'(\Omega ,\mathbb {R}^{3\times 3})\) and all \(m\in \mathbb {Z}\) one has
One might, therefore, wonder whether the spaces \(W^{1,\,p}({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}; \Omega ; \mathbb {R}^3):=W^{1,\,p,\,p}({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}; \Omega ; \mathbb {R}^3)\) and \(W^{1,\,p}({{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}; \Omega ; \mathbb {R}^3)\) are actually identical, where
We first note that clearly \(W^{1,\,p}({{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}; \Omega , \mathbb {R}^{3\times 3}) \subset W^{1,\,p}({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}};\Omega , \mathbb {R}^{3\times 3})\) and that the natural norm \(\Vert P \Vert _{L^p} + \Vert {{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P \Vert _{L^p}\) on \(W^{1,\,p}({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}};\Omega , \mathbb {R}^{3\times 3})\) is weaker than the natural norm on \(W^{1,\,p}({{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}; \Omega , \mathbb {R}^{3\times 3})\). Thus, in view of the open mapping theorem, the two spaces are identical if and only if the two natural norms are equivalent. In view of the second estimate in (2.30) (which follows directly form (2.29) by dividing by \(\Vert b \Vert ^2\)) one might expect that this is really the case. Indeed, using the reasoning in Sect. 2.2, we see that the algebraic identity (2.29) shows that
in the sense of distributions. The identity (4.2) yields interior estimates for all compactly contained subsets \(\Omega '\) of \(\Omega \) of the form
but we will see in the proof of Theorem 4.3 assertion 4 below that this is not enough to obtain equivalence of the norm on the full set \(\Omega \) because we do not impose boundary conditions on P.
To illustrate the obstruction to a global estimate, let use consider the following example. Let D be the unit ball in \(\mathbb {R}^2\) and consider the spaces \(W^{2,2}(D)\) and \(W^{2,2}_\Delta (D):=\{ u \in W^{1,2}(D) \mid \Delta u = 0\}\) with norms \(\Vert u \Vert _{W^{2,2}} = \Vert u \Vert _{L^2(\Omega )} + \Vert \mathrm {D}u \Vert _{L^2(\Omega )} + \Vert \mathrm {D}^2 u \Vert _{L^2(\Omega )}\) and \(\Vert u \Vert _{\Delta } = \Vert u \Vert _{L^2(\Omega )} + \Vert \mathrm {D}u \Vert _{L^2(\Omega )} + \Vert \Delta u \Vert _{L^2(\Omega )}\), respectively. Since \(\Delta \) is an elliptic operator, we have interior estimates \(\Vert u \Vert _{W^{2,2}(\Omega ')} \le C(\Omega ') \,\Vert u \Vert _{\Delta }\), but the norms are not equivalent since for the harmonic functions \(f_k(x) :=\mathfrak {R}(e^{k(x_1 + \mathrm {i}\, x_2)})\) we get \(\lim _{k \rightarrow \infty } \Vert u\Vert _{W^{2,2}}/ \Vert u\Vert _{\Delta } = \infty \). The reason: while the symbol \(\sigma (\xi ) = -(\xi _1^2 + \xi _2^2)\) of the operator \(\Delta \) has no non-trivial real zeroes (this is ellipticity), it does have the non-trivial complex zeroes \(\xi _1 = k\), \(\xi _2 = \mathrm {i}\, k\). This allows us to construct the ‘bad’ functions \(f_k\). A similar analysis of the action of the matrix-valued symbols of the operators \({{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}\) and \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}\) on \(\mathbb {C}^3\) will allow us below to construct maps \(P_k\) which show that the norms \(\Vert {{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P \Vert _{L^p(\Omega )} + \Vert P \Vert _{L^p(\Omega )}\) and \(\Vert {{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P \Vert _{L^p(\Omega )} + \Vert P \Vert _{L^p(\Omega )}\) are not equivalent if \(\Omega \) is a bounded domain. By contrast, one can use Fourier transform to show that the norms are equivalent for periodic P or \(P \in L^p(\mathbb {R}^3,\mathbb {R}^{3 \times 3})\), which we show for the convenience of the reader in “Appendix A.2”.
For the latter purposes we start with the following proposition.
Proposition 4.1
Let V be a finite-dimensional vectorspace and denote by \(\mathrm {Lin}(V,V)\) the space of linear maps from V to V. Let \({\mathbb {A}}\) and \(\mathbb {{{\widetilde{A}}}}\) be linear maps from \(\mathbb {R}^n\) to \(\mathrm {Lin}(V,V)\). Assume that
and
Define differential operators by
Then for each \(p \in (1, \infty )\) there exists a constant \(c = c(p)\) such that
and
in the distributional sense.
Proof
This is well-known, cf. e.g. [53, pp. 1362–1365] or [148, Sect. IV.3]. We recall the argument for the convenience of the reader. We focus on (4.6), the proof of (4.7) is analogous. If suffices to show (4.6) for \(f \in C_c^\infty (\mathbb {R}^n, V)\). Then the general case follows by approximation. We will construct a linear bounded operator \({\mathcal {M}}: L^p(\mathbb {R}^n, V) \rightarrow L^p(\mathbb {R}^n, V)\) such that
For \( \xi \in \mathbb {R}^n\backslash \{0\}\) we define
and we define \({\mathbb {Q}}(\xi ): V\rightarrow V\) by
It follows from (4.5) that \( \xi \mapsto {\mathbb {P}}(\xi )\) is smooth and homogeneous of degree zero on \(\mathbb {R}^n \backslash \{0\}\), while \( \xi \mapsto {\mathbb {Q}}(\xi )\) is smooth and homogeneous of degree \(-1\). For \(\xi \in \mathbb {R}^{n}\backslash \{0\}\) define
Then \({\mathbb {M}}\) is homogeneous of degree zero and smooth on the unit sphere \({\mathbb {S}}^{n-1}\) of \(\mathbb {R}^n\). For \(f \in C_c^\infty (\mathbb {R}^n, V)\) define
where \({\mathcal {F}}\) denotes the Fourier transform. By the Mikhlin-Hörmander multiplier theorem \({\mathcal {M}}\) has a unique extension to a bounded operator on \(L^p(\mathbb {R}^n,V)\). Moreover we have
Here we used the assumption (4.4) in the last identity. Now (4.8) follows from the definition of \({\mathcal {M}}\). \(\square \)
On bounded sets we will make use of the following behavior.
Proposition 4.2
Let \(\Omega \subset \mathbb {R}^3\) be bounded, open and non-empty. Let \(z = x_1 + \mathrm {i}\, x_2\) and let \(q_k(x) = z^k\). Then
Proof
For \(\delta > 0\) define \(U_\delta := \{ x \in \mathbb {R}^3 \mid x_1^2 + x_2^2 < \delta ^2\}\). Since \({{|}}{q_{k-1}/ q_k}{{|}} \le \delta ^{-1}\) on \(\Omega \backslash U_\delta \) we have
Now the assertion follows from the fact that
whenever \(\delta > 0\) is so small that \(\Omega \setminus U_{2\delta }\) has positive measure. \(\square \)
With these preparations in hand we arrive at our final result.
Theorem 4.3
The following assertions hold for \(p \in (1, \infty )\).
-
1.
(whole space \(\mathbb {R}^3\)) There exists a constant \(c = c(p)\) such that for \(P \in L^p(\mathbb {R}^3, \mathbb {R}^{3 \times 3})\)
$$\begin{aligned} \Vert {{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P\Vert _{L^p(\mathbb {R}^3, \mathbb {R}^{3 \times 3})} \le c\, \Vert {{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P\Vert _{L^p(\mathbb {R}^3, \mathbb {R}^{3 \times 3})}; \end{aligned}$$(4.15) -
2.
(periodic functions) if \({\mathbb {T}}^3 = \mathbb {R}^3/ \mathbb {Z}^3\) then for all \(P \in L^p({\mathbb {T}}^3, \mathbb {R}^{3 \times 3})\)
$$\begin{aligned} \Vert {{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P \Vert _{L^p(\mathbb {R}^3, \mathbb {R}^{3 \times 3})} \le c\, \Vert {{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P \Vert _{L^p(\mathbb {R}^3, \mathbb {R}^{3 \times 3})}; \end{aligned}$$(4.16) -
3.
(half-spaces) if \(\Omega \) is a half-space then for \(P \in L^p(\Omega ,\mathbb {R}^{3 \times 3})\) the seminorms \(\Vert {{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P\Vert _{L^p(\Omega , \mathbb {R}^{3 \times 3})}\) and \( \Vert {{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P\Vert _{L^p(\Omega , \mathbb {R}^{3 \times 3})}\) are not equivalent;
-
4.
(bounded sets) If \(\Omega \subset \mathbb {R}^3\) is a bounded, open, non-empty set then
$$\begin{aligned} W^{1,\,p}({{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}; \Omega , \mathbb {R}^3) \ne W^{1,\,p}({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}; \Omega , \mathbb {R}^3). \end{aligned}$$
Notation In this subsection we use the notation
Note that this is different from the usual sesquilinear form \(\sum _j a_j {\overline{b}}_j\) where \({\overline{z}}\) denotes the complex conjugate of a complex number z. In particular \(\left\langle a,a\right\rangle \) is not nonnegative on \(\mathbb {C}^3\).
Proof
The first and second assertion for the whole space and periodic functions follow from the estimate (2.30)
the fact that \(\dim \{ {{\widehat{P}}} \mid {{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}({{\widehat{P}}} \times \xi ) = 0\}=4\) is independent of \(\xi \) for \(\xi \in \mathbb {R}^3 \backslash \{0\}\) and Proposition 4.1, applied to the operators \({\mathbb {A}}(\xi ) P = {{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}(P \times \xi )\) and \(\widetilde{{\mathbb {A}}}(\xi ) P = {{\,\mathrm{sym}\,}}(P \times \xi )\).
To prove the third and fourth assertion we first show that
Then the assertion will follow by standard arguments. One such example is given by
so that
Further examples which fulfill (4.18) can be found splitting \({{\widehat{P}}}\) into the symmetric and skew-symmetric part: \({{\widehat{P}}} = {{\widehat{S}}} + {\text {Anti}}({{\widehat{a}}})\). By (2.26)
Thus it suffices to find \({{\widehat{P}}} \in \mathbb {C}^{3 \times 3}\) and \(\xi \in \mathbb {C}^3\) such that \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}({{\widehat{P}}} \times \xi ) = 0\) and \(\left\langle {{\widehat{a}}},\xi \right\rangle \ne 0\). Indeed, the example in (4.19a) satisfies these conditions.
Now we show that in a half-space the seminorms \(\Vert {{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}\cdot \Vert _{L^p(\Omega , \mathbb {R}^{3 \times 3})}\) and \(\Vert {{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}\cdot \Vert _{L^p(\Omega , \mathbb {R}^{3 \times 3})}\) are not equivalent. Since the operators \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}\) and \({{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}\) interact naturally with rotations it suffices to consider the half-space
Note that the norms are equivalent for real-valued fields P if and only if they are equivalent for complex-valued fields P. Let \(\xi \) and \({{\widehat{P}}}\) be as in (4.19a). For a constant vector \(b \in \mathbb {R}^3\) and a scalar function \(\zeta \) we have \({\text {curl}}(b\,\zeta ) = b \times (-\nabla \zeta )\). Since \({{\,\mathrm{Curl}\,}}\) acts row-wise we have for a constant matrix \({{\widehat{P}}}\) the identity \({{\,\mathrm{Curl}\,}}({{\widehat{P}}}\, \zeta ) =- {\widehat{P}} \times \nabla \zeta \). Thus for all \(k\in \mathbb {N}\)
so that with (4.19b) we have
Let \(\eta \in C_c^\infty (B(0,2))\) be a cut-off function such that \(\eta =1\) in B(0, 1) and consider the functions
Then
and with (4.19b) we obtain
and
From this we easily conclude that \(\Vert {{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P_k \Vert _p/ \Vert {{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P_k \Vert _p \rightarrow \infty \) which shows claim 3.
Finally, we prove the last assertion 4. Let \(\Omega \) be a bounded, open, non-empty set. It suffices to show that in \(W^{1,\, p}({{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}; \Omega , \mathbb {C}^{3 \times 3})\) the norms \({{\Vert \cdot \Vert _{L^p(\Omega , \mathbb {C}^{3 \times 3})}+}}\Vert {{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}\cdot \Vert _{L^p(\Omega , \mathbb {C}^{3 \times 3})}\) and \({{\Vert \cdot \Vert _{L^p(\Omega , \mathbb {C}^{3 \times 3})}+}}\Vert {{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}\cdot \Vert _{L^p(\Omega , \mathbb {C}^{3 \times 3})}\) are not equivalent. Indeed, this implies that also in \(W^{1,\, p}({{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}; \Omega , \mathbb {R}^{3 \times 3})\) the norms \({{\Vert \cdot \Vert _{L^p(\Omega , \mathbb {R}^{3 \times 3})}+}}\Vert {{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}\cdot \Vert _{L^p(\Omega , \mathbb {R}^{3 \times 3})}\) and \({{\Vert \cdot \Vert _{L^p(\Omega , \mathbb {R}^{3 \times 3})}+}}\Vert {{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}\cdot \Vert _{L^p(\Omega , \mathbb {R}^{3 \times 3})}\) are not equivalent. Thus, since the identity map
is continuous it then follows from the open mapping theorem that \(W^{1,\, p}({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}; \Omega , \mathbb {R}^{3 \times 3})\ne W^{1,\, p}( {{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}; \Omega , \mathbb {R}^{3 \times 3})\).
Let \(\xi \) and \({\hat{P}}\) be again as in (4.19a). Set \(z = x_1 + \mathrm {i}x_2\) and
Then as in (4.22)
and
Let \(Q_k(x) = {{\widehat{P}}} z^k\). Taking the kth derivative of (4.26) and (4.27) and evaluating at \(t=0\) we get, for all \(k \in \mathbb {N}\),
It follows from Proposition 4.2 that
This concludes the proof of the theorem. \(\square \)
Remark 4.4
Assertion 4 of Theorem 4.3 is complemented by the following two strict inclusions:
To see that the first inclusion is strict, we may use functions of the form \(P_k = \mathrm {D}u_k\) where \(u_k = w(kx)\) and \(w: \mathbb {R}^3 \rightarrow \mathbb {R}^3\) is periodic, to see that the corresponding norms are not equivalent. To see that the second inclusion is strict we can use functions of the form \(P_k(x) = \zeta (kx)\cdot {\mathbb {1}}\) where \(\zeta : \mathbb {R}^3 \rightarrow \mathbb {R}\) is periodic, and observe that \({{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P_k =k\, {{\,\mathrm{sym}\,}}({\text {Anti}}(\nabla \zeta )(kx)) = 0\).
Notes
In fact, the estimate is also true for functions with vanishing boundary values on a relatively open (non-empty) subset of the boundary.
The Babuška-Aziz theorem implies that over a planar Lipschitz domain \(\Omega \subset \mathbb {R}^2\) it holds
$$\begin{aligned} \Vert \mathrm {D}u \Vert _{L^2(\Omega ,\mathbb {R}^{2\times 2})} \le c\,\Vert {\text {div}}\,u \Vert _{L^2(\Omega ,\mathbb {R})} \end{aligned}$$for all \(u\in H^1_0(\Omega ,\mathbb {R}^2)\) such that \(\int _\Omega {\text {div}}\,u\,{\mathrm {d}x}=0\), cf. [81, Sect. 6].
\({{\,\mathrm{tr}\,}}({{\,\mathrm{sym}\,}}\mathrm {D}{\text {curl}}u)={{\,\mathrm{tr}\,}}(\mathrm {D}{\text {curl}}u)={\text {div}}\,{\text {curl}}u\equiv 0.\)
Laplace component-wise and observe that \(\Delta \varepsilon _p\in {{\,\mathrm{Sym}\,}}(3)\) for \(\varepsilon _p\in {{\,\mathrm{Sym}\,}}(3)\).
In the context of gradient plasticity, the boundary conditions \(P\times \nu =0\) postulates “no flux of the Burgers vector across the boundary surface” and is referred to as “micro-hard”, cf. [75].
Note, that besides the divergence and the curl of a vector field also the term \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}\mathrm {D}u\) has a physical interpretation, namely as the shear, since for “a cube of moving fluid, the shear [of the velocity of that fluid] represents the rate at which each side is deviating from a square, and the nature of that deviation”, cf. [141] where the authors also make use of the “natural” decomposition (1.56), cf. [141, Eq. (6)].
\({\text {div}}\,(G^T u)=\left\langle {{\,\mathrm{Div}\,}}G,u\right\rangle _{\mathbb {R}^3}+\left\langle G,\mathrm {D}u\right\rangle _{\mathbb {R}^{3\times 3}}\), to fix notation.
Since \({{\,\mathrm{tr}\,}}({{\,\mathrm{Curl}\,}}S)= 0\) for \(S\in {{\,\mathrm{Sym}\,}}(3)\).
This algebraic relation is already contained in [142, p. 691 (ii)].
Those compatibility conditions can be found in the third “Appendix” §32 p. 597 et seq. of the third edition of the lecture notes Résistance des corps solides given by Navier and extended with several notes and appendices by Barré de Saint-Venant and published as Résumé des Leçons données à l’École des Ponts et Chaussées sur l’Application de la Mécanique, vol. I, Paris, 1864. Their coordinate-free version are contained in Lagally’s monograph on vector calculus from 1928 [91, Ziff. 191].
References
Acharya, A.: Driving forces and boundary conditions in continuum dislocation mechanics. Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 459.2034 (2003). Pp. 1343–1363. issn:1364-5021; 1471-2946/e
Acosta, G., Durán, R.G.: Divergence Operator and Related Inequalities. Springer, New York (2017)
Acosta, G., Durán, R.G., Muschietti, M.A.: Solutions of the divergence operator on John domains. Adv. Math. 206(2), 373–401 (2006)
Amrouche, C., Ciarlet, P.G., Gratie, L., Kesavan, S.: “On Saint Venant’s compatibility conditions and Poincaré’s lemma”. Comptes Rendus. Mathématique. Académie des Sciences, Paris 342.11. Pp. 887–891 (2006)
Amrouche, C., Ciarlet, P.G., Mardare, C.: On a lemma of Jacques-Louis Lions and its relation to other fundamental results. Journal de Mathématiques Pures et Appliquées (9) 104(2), 207–226 (2015)
Amrouche, C., Girault, V.: Decomposition of vector spaces and application to the Stokes problem in arbitrary dimension. Czechoslov. Math. J. 44(119).1, Pp. 109–140 (1994)
Amstutz, S., Van Goethem, N.: Analysis of the incompatibility operator and application in intrinsic elasticity with dislocations. SIAM J. Math. Anal. 48(1), 320–348 (2016)
Amstutz, S., Van Goethem, N.: Incompatibility-governed elasto-plasticity for continua with dislocations. Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 473.2199. P. 21, Id/No 20160734 (2017)
Amstutz, S., Van Goethem, N.: The incompatibility operator: from Riemann’s intrinsic view of geometry to a new model of elasto-plasticity. CIM Series in Mathematical Sciences. Ed. by J. F. Rodrigues and M. Hintermüller. Pp. 33–70 (2019)
Amstutz, S., Van Goethem, N.: Existence and asymptotic results for an intrinsic model of small-strain incompatible elasticity. Discrete Contin. Dyn. Syst. Ser. B 10, 3769–3805 (2020)
Bauer, S., Neff, P., Pauly, D., Starke, G.: Dev-Div- and DevSym-DevCurl-inequalities for incompatible square tensor fields with mixed boundary conditions. ESAIM Control Optim. Calc. Var. 22(1), 112–133 (2016)
Bauer, S., Pauly, D.: On Korn’s first inequality for mixed tangential and normal boundary conditions on bounded Lipschitz domains in \(\mathbb{R}^{N}\). Annali dell’Università di Ferrara. Sezione VII. Scienze Matematiche 62(2), 173–188 (2016)
Bauer, S., Pauly, D.: On Korn’s first inequality for tangential or normal boundary conditions with explicit constants. Math. Methods Appl. Sci. 39(18), 5695–5704 (2016)
Bernstein, B., Toupin, R.A.: Korn inequalities for the sphere and circle. Arch. Ration. Mech. Anal. 6, 51–64 (1960)
Borchers, W., Sohr, H.: On the equations rot \({ v} = { g}\) and \(\text{ div } u = f\) with zero boundary conditions. Hokkaido Math. J. 19(1), 67–87 (1990)
Boyer, F., Fabrie, P.: Mathematical Tools for the Study of the Incompressible Navier–Stokes Equations and Related Models. Applied Mathematical Sciences, Vol. 183. Springer, New York (2013)
Bramble, J. H.: A Proof of the Inf-Sup Condition for the Stokes Equations on Lipschitz Domains, Vol. 13. 3, pp. 361–371 (2003)
Breit, D., Cianchi, A., Diening, L.: Trace-free Korn inequalities in Orlicz spaces. SIAM J. Math. Anal. 49(4), 2496–2526 (2017)
Breit, D., Diening, L.: Sharp conditions for Korn inequalities in Orlicz spaces. J. Math. Fluid Mech. 14(3), 565–573 (2012)
Brenner, S.C., Li, F., Sung, L.-Y.: A locally divergence-free interior penalty method for two-dimensional curl–curl problems. SIAM J. Numer. Anal. 46(3), 1190–1211 (2008)
Brenner, S.C.: Korn’s inequalities for piecewise \(H^1\) vector fields. Math. Comput. 73(247), 1067–1087 (2004)
Brezis, H., Van Schaftingen, J.: Boundary estimates for elliptic systems with \(L^{1}\)-data. Calc. Var. Partial. Differ. Equ. 30(3), 369–388 (2007)
Campanato, S.: La disuguaglianza di Korn in elasticità. Conference on Esistenza e Stabilità in Elasticità. CISM, Udine, 18–23 June 1971. Unpublished, proof contained in [38]
Cattabriga, L.: Su un problema al contorno relativo al sistema di equazioni di Stokes. Rendiconti del Seminario Matematico della Università di Padova. The Mathematical Journal of the University of Padova 31. Pp. 308–340 (1961)
Chambolle, A., Conti, S., Francfort, G.: Korn-Poincaré inequalities for functions with a small jump set. Indiana Univ. Math. J. 65(4), 1373–1399 (2016)
Cianchi, A.: Korn type inequalities in Orlicz spaces. J. Funct. Anal. 267(7), 2313–2352 (2014)
Ciarlet, P.G.: An introduction to differential geometry with applications to elasticity. J. Elast. 78–79(1–3), 3–201 (2005)
Ciarlet, P.G.: On Korn’s inequality. Chin. Ann. Math. Ser. B 31(5), 607–618 (2010)
Ciarlet, P.G.: Linear and Nonlinear Functional Analysis with Applications. Society for Industrial and Applied Mathematics, Philadelphia (2013)
Ciarlet, P.G., Ciarlet Jr., P.: Another approach to linearized elasticity and a new proof of Korn’s inequality. Math. Models Methods Appl. Sci. 15(2), 259–271 (2005)
Ciarlet, P.G., Malin, M., Mardare, C.: On a vector version of a fundamental lemma of J. L. Lions. Chin. Ann. Math. Ser. B 39(1), 33–46 (2018)
Conti, S., Dolzmann, G., Müller, S.: Korn’s second inequality and geometric rigidity with mixed growth conditions. Calc. Var. Partial. Differ. Equ. 50(1–2), 437–454 (2014)
Conti, S., Faraco, D., Maggi, F.: A new approach to counterexamples to \(L^1\) estimates: Korn’s inequality, geometric rigidity, and regularity for gradients of separately convex functions. Arch. Ration. Mech. Anal. 175(2), 287–300 (2005)
Conti, S., Garroni, A.: Sharp rigidity estimates for incompatible fields as consequence of the Bourgain Brezis div-curl result. Comptes Rendus. Mathématique. Académie des Sciences, Paris 359.2, Pp. 155–160 (2021)
Conti, S., Ortiz, M.: Dislocation microstructures and the effective behavior of single crystals. Arch. Ration. Mech. Anal. 176(1), 103–147 (2005)
d’Agostino, M.V., Barbagallo, G., Ghiba, I.-D., Eidel, B., Neff, P., Madeo, A.: Effective description of anisotropic wave dispersion in mechanical band-gap metamaterials via the relaxed micromorphic model. J. Elast. 139, 299–329 (2020)
Dain, S.: Generalized Korn’s inequality and conformal Killing vectors. Calc. Var. Partial. Differ. Equ. 25(4), 535–540 (2006)
Del Piero, G., Rizzoni, R.: Weak local minimizers in finite elasticity. J. Elast. 93(3), 203–244 (2008)
Desvillettes, L., Villani, C.: On a variant of Korn’s inequality arising in statistical mechanics. ESAIM: Control Optim. Calc. Var. 8, 603–619 (2002)
Diening, L., R\(\mathring{u}\)žička, M., Schumacher, K.: A decomposition technique for John domains. Annales Academiæ-Scientiarum Fennicæ. Mathematica 35.1, Pp. 87–114 (2010)
Ding, Z., Li, B.: A conformal Korn inequality on Hölder domains. J. Math. Anal. Appl. 481.1, P. 14, Id/No 123440 (2020)
Domínguez, S., Nigam, N.: Korn’s inequality and Jones eigenpairs (2019). arXiv:1912.00133 [math.AP]
Durán, R.G., Muschietti, M.A.: The Korn inequality for Jones domains. Electron. J. Differ. Equ. 127, 1–10 (2004)
Duvaut, G., Lions, J.-L.: Les Inéquations en Mécanique et en Physique. Dunod, Paris (1972)
Ebobisse, F., Hackl, K., Neff, P.: A canonical rate-independent model of geometrically linear isotropic gradient plasticity with isotropic hardening and plastic spin accounting for the Burgers vector. Contin. Mech. Thermodyn. 31(5), 1477–1502 (2019)
Ebobisse, F., Neff, P.: Existence and uniqueness for rate-independent infinitesimal gradient plasticity with isotropic hardening and plastic spin. Math. Mech. Solids 15(6), 691–703 (2010)
Ebobisse, F., Neff, P.: A fourth order gauge-invariant gradient plasticity model for polycrystals based on Kröner’s incompatibility tensor. Math. Mech. Solids 25(2), 129–159 (2020)
Ebobisse, F., Neff, P., Forest, S.: Well-posedness for the microcurl model in both single and polycrystal gradient plasticity. Int. J. Plast 107, 1–26 (2018)
Eidus, D.M.: On a mixed problem of the theory of elasticity. Russian. Doklady Akademii Nauk SSSR 76, 181–184 (1951)
Fichera, G.: Sull’esistenza e sul calcolo delle soluzioni dei problemi al contorno, relativi all’equilibrio di un corpo elastico. Italian. Annali della Scuola Normale Superiore di Pisa. Classe di Scienze. Serie III 4(248), 35–99 (1950)
Fichera, G.: Existence Theorems in Elasticity. Linear Theories of Elasticity and Thermoelasticity. Ed. by C. Truesdell. Springer-Verlag Berlin Heidelberg, pp. 347–389 (1972)
Fleck, N.A., Müller, G.M., Ashby, M.F., Hutchinson, J.W.: Strain gradient plasticity: theory and experiment. Acta Metall. Mater. 42(2), 475–487 (1994)
Fonseca, I., Müller, S.: \(\cal{A}\)-quasiconvexity, lower semicontinuity, and Young measures. SIAM J. Math. Anal. 30(6), 1355–1390 (1999)
Francfort, G., Müller, S.: Combined effects of homogenization and singular perturbations in elasticity. Journal für die reine und angewandte Mathematik 454, 1–35 (1994)
Friedrich, M.: A Korn-type inequality in SBD for functions with small jump sets. Math. Models Methods Appl. Sci. 27(13), 2461–2484 (2017)
Friedrich, M.: A piecewise Korn inequality in SBD and applications to embedding and density results. SIAM J. Math. Anal. 50(4), 3842–3918 (2018)
Friedrichs, K.O.: On the boundary-value problems of the theory of elasticity and Korn’s inequality. Ann. Math. Second Ser. 48, 441–471 (1947)
Friesecke, G., James, R.D., Müller, S.: A theorem on geometric rigidity and the derivation of nonlinear plate theory from three-dimensional elasticity. Commun. Pure Appl. Math. 55(11), 1461–1506 (2002)
Fuchs, M.: Generalizations of Korn’s inequality based on gradient estimates in Orlicz spaces and applications to variational problems in 2D involving the trace free part of the symmetric gradient. J. Math. Sci. (N. Y.) 167(3), 418–434 (2010)
Fuchs, M., Repin, S.: Some Poincaré-type inequalities for functions of bounded deformation involving the deviatoric part of the symmetric gradient. J. Math. Sci. (N. Y.) 178(3), 367–372 (2011)
Fuchs, M.: Korn inequalities in Orlicz spaces. Irish Math. Soc. Bull. 65, 5–9 (2010)
Fuchs, M., Schirra, O.: An application of a new coercive inequality to variational problems studied in general relativity and in Cosserat elasticity giving the smoothness of minimizers. Arch. Math. 93(6), 587–596 (2009)
Garroni, A., Leoni, G., Ponsiglione, M.: Gradient theory for plasticity via homogenization of discrete dislocations. J. Eur. Math. Soc. 12(5), 1231–1266 (2010)
Geymonat, G., Suquet, P.: Functional spaces for Norton-Hoff materials. Math. Methods Appl. Sci. 8(2), 206–222 (1986)
Geymonat, G., Krasucki, F.: Some remarks on the compatibility conditions in elasticity. Rendiconti Accademia Nazionale delle Scienze detta dei XL 29, 175–181 (2005)
Ghiba, I.-D., Neff, P., Madeo, A., Münch, I.: A variant of the linear isotropic indeterminate couple-stress model with symmetric local force-stress, symmetric nonlocal force-stress, symmetric couple-stresses and orthogonal boundary conditions. Math. Mech. Solids 22(6), 1221–1266 (2017)
Ginster, J.: Strain-gradient plasticity as the \(\Lambda \)-limit of a nonlinear dislocation energy with mixed growth. SIAM J. Math. Anal. 51(4), 3424–3464 (2019)
Girault, V., Raviart, P.-A.: Finite Element Methods for Navier–Stokes Equations. Springer Series in Computational Mathematics. Theory and algorithms, vol. 5. Springer, Berlin (1986)
Gmeineder, F., Spector, D.: On Korn-Maxwell-Sobolev Inequalities. J. Math. Anal. Appl. 502(1), 125226. https://doi.org/10.1016/j.jmaa.2021.125226
Gobert, J.: Une inégalité fondamentale de la théorie de l’élasticité. French. Bulletin de la Société Royale des Sciences de Liège 31, Pp. 182–191 (1962)
Grabovsky, Y., Harutyunyan, D.: Korn inequalities for shells with zero Gaussian curvature. Annales de l’Institut Henri Poincaré. Analyse Non Linéaire 35(1), 267–282 (2018)
Gross, J., Trenkler, G., Troschke, S.-O.: The vector cross product in \(\mathbb{C}^3\). Int. J. Math. Edu. Sci. Technol. 30(4), 549–555 (1999)
Gurtin, M.E.: On the plasticity of single crystals: free energy, microforces, plastic-strain gradients. J. Mech. Phys. Solids 48(5), 989–1036 (2000)
Gurtin, M.E., Anand, L.: A theory of strain-gradient plasticity for isotropic, plastically irrotational materials. I. Small deformations. J. Mech. Phys. Solids 53(7), 1624–1649 (2005)
Gurtin, M.E., Needleman, A.: Boundary conditions in small-deformation, single-crystal plasticity that account for the Burgers vector. J. Mech. Phys. Solids 53(1), 1–31 (2005)
Han, W., Reddy, B.D.: Plasticity. Mathematical Theory and Numerical Analysis, Second edition. Vol. 9. Interdisciplinary Applied Mathematics. Springer, New York (2013)
Harutyunyan, D.: Sharp weighted Korn and Korn-like inequalities and an application to washers. J. Elast. 127(1), 59–77 (2017)
Hlaváček, I., Nečas, J.: On inequalities of Korn’s type. I: boundary-value problems for elliptic systems of partial differential equations. Arch. Ration. Mech. Anal. 36, 305–311 (1970)
Hlaváček, I., Nečas, J.: On inequalities of Korn’s type. II: applications to linear elasticity. Arch. Ration. Mech. Anal. 36, 312–334 (1970)
Holst, M., Kommemi, J., Nagy, G.: Rough solutions of the Einstein constraint equations with nonconstant mean curvature. (2007). arXiv:0708.3410 [gr-qc]
Horgan, C.O.: Korn’s inequalities and their applications in continuum mechanics. SIAM Review. A Publication of the Society for Industrial and Applied Mathematics 37(4), 491–511 (1995)
Jeong, J., Neff, P.: Existence, uniqueness and stability in linear Cosserat elasticity for weakest curvature conditions. Math. Mech. Solids 15(1), 78–95 (2010)
Jeong, J., Ramézani, H., Münch, I., Neff, P.: A numerical study for linear isotropic Cosserat elasticity with conformally invariant curvature. Zeitschrift für Angewandte Mathematik und Mechanik 89(7), 552–569 (2009)
Jiang, R., Kauranen, A.: Korn’s inequality and John domains. Calc. Var. Partial. Differ. Equ. 56(109), 1–18 (2017)
Kato, Y.: The coerciveness for integro-differential quadratic forms and Korn’s inequality. Nagoya Math. J. 73, 7–28 (1979)
Kondrat’ev, V.A., Oleinik, O.A.: Boundary-value problems for a system in elasticity theory in unbounded domains. Korn’s inequalities. Russ. Math. Surv. 43(5), 65–119 (1988)
Korn, A.: Abhandlungen zur Elastizitätstheorie II: Die Eigenschwingungen eines elastischen Körpers mit ruhender Oberfläche. German. Sitzungsberichte der Mathematisch-physikalischen Klasse der Königlich bayerischen Akademie der Wissenschaften zu München 36, 351–402 (1906)
Korn, A.: Solution générale du problème d’équilibre dans la théorie de l’élasticité dans le cas où les efforts donnés à la surface. French. Annales de la Faculté des Sciences de l’Université de Toulouse pour les Sciences Mathématiques et les Sciences Physiques. 2ième Série 10, 165–269 (1908)
Korn, A.: Über einige Ungleichungen, welche in der Theorie der elastischen und elektrischen Schwingungen eine Rolle spielen. Bulletin International de l’Académie des Sciences de Cracovie Pp. 705–724 (1909)
Korn, T., Korn, E.P.: Trailbrazer to Television, The Story of Arthur Korn. Charles Scribner’s Sons (1950)
Lagally, M.: Vorlesungen über Vektor-Rechnung. German. Ed. by E. Hilb. Mathematik und ihre Anwendungen in Monographien und Lehrbüchern. Akademische Verlagsgesellschaft m.B.H., Leipzig (1928)
Lankeit, J., Neff, P., Pauly, D.: Uniqueness of integrable solutions to \(\nabla \zeta = G\zeta, \zeta |_\Gamma = 0\) for integrable tensor coef- ficients G and applications to elasticity. Zeitschrift für angewandte Mathematik und Physik 64(6), 1679–1688 (2013)
Lauteri, G., Luckhaus, S.: Geometric rigidity estimates for incompatible fields in dimension \(\ge 3\) (2017). arXiv:1703.03288 [math.AP]
Lazar, M.: An elastoplastic theory of dislocations as a physical field theory with torsion. J. Phys. A Math. Gen. 35(8), 1983–2004 (2002)
Lazar, M.: Dislocations in generalized continuum mechanics. Mechanics of generalized continua. One hundred years after the Cosserats. Papers based on the presentations at the EUROMECH colloquium 510, Paris, France, May 13–16, Ed. by G. A. Maugin and A. V. Metrikine. New York, NY: Springer 2010, 235–244 (2009)
Lazar, M., Anastassiadis, C.: The gauge theory of dislocations: static solutions of screw and edge dislocations. Philos. Mag. 89(03), 199–231 (2009)
Lazar, M., Maugin, G.A.: Dislocations in gradient elasticity revisited. Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 462.2075, Pp. 3465–3480 (2006)
de Leeuw, K., Mirkil, H.: A priori estimates for differential operators in \(L_{\infty }\) norm. Ill. J. Math. 8, 112–124 (1964)
Lew, A., Neff, P., Sulsky, D., Ortiz, M.: Optimal BV estimates for a discontinuous Galerkin method for linear elasticity. Appl. Math. Res. Express 2004(3), 73–106 (2004)
Lewicka, M., Müller, S.: The uniform Korn-Poincaré inequality in thin domains. Annales de l’Institut Henri Poincaré. Analyse Non Linéaire 28(3), 443–469 (2011)
Lewicka, M., Müller, S.: On the optimal constants in Korn’s and geometric rigidity estimates, in bounded and unbounded domains, under Neumann boundary conditions. Indiana Univ. Math. J. 65(2), 377–397 (2016)
Lewintan, P., Neff, P.: \(L^{p}\)-trace-free generalized Korn inequalities for incompatible tensor fields in three space dimensions. submitted (2020). arXiv:2004.05981 [math.AP]
Lewintan, P., Neff, P.: Nečas-Lions lemma revisited: An \(L^{p}\)-version of the generalized Korn inequality for incompatible tensor fields. Math. Meth. Appl. Sci. (2021). https://doi.org/10.1002/mma.7498
Lewintan, P., Neff, P.: The \(L^{p}\)-version of the generalized Korn inequality for incompatible tensor fields in arbitrary dimensions with p-integrable exterior derivative. To appear in Comptes Rendus. Mathématique. Académie des Sciences (2020). arXiv:1912.11551 [math.AP]
Lewintan, P., Neff, P.: \(L^{p}\)-trace-free version of the generalized Korn inequality for incompatible tensor fields in arbitrary dimensions. To appear in ZAMP (2021). https://doi.org/10.1007/s00033-021-01550-6
Litten, F.: Arthur Korn–Kurzbiographie. German. http://litten.de/fulltext/korn.htm. Accessed 27 Apr 2020
Liu, S., Trenkler, G.: Hadamard, Khatri-Rao, Kronecker and other matrix products. Int. J. Inf. Syst. Sci. 4(1), 160–177 (2008)
López-García, F.: Weighted generalized Korn inequalities on John domains. Mathematical Methods in the Applied Sciences 41.17, Pp. 8003–8018. issn: 0170-4214; 1099-1476/e (2018)
Maggiani, G.B., Scala, R., Van Goethem, N.: A compatible-incompatible decomposition of symmetric tensors in \(L^{p}\) with application to elasticity. Math. Methods Appl. Sci. 38(18), 5217–5230 (2015)
Menzel, A., Steinmann, P.: On the continuum formulation of higher gradient plasticity for single and polycrystals. J. Mech. Phys. Solids 48(8), 1777–1796 (2000)
Mitrea, M., Wright, M.: Boundary Value Problems for the Stokes System in Arbitrary Lipschitz Domains. Vol. 344. Paris: Société Mathématique de France (SMF), pp. viii + 241 (2012)
Mityagin, B.S.: On second mixed derivative. Russian. Doklady Akademii Nauk SSSR 123, 606–609 (1958)
Miura, T.-H.: Navier-Stokes equations in a curved thin domain, Part I: uniform estimates for the Stokes operator. (2020). arXiv:2002.06343 [math.AP]
Müller, S., Palombaro, M.: Existence of minimizers for a polyconvex energy in a crystal with dislocations. Calc. Var. Partial. Differ. Equ. 31(4), 473–482 (2008)
Müller, S., Scardia, L., Zeppieri, C.I.: Geometric rigidity for incompatible fields, and an application to strain-gradient plasticity. Indiana Univ. Math. J. 63(5), 1365–1396 (2014)
Münch, I., Neff, P.: Rotational invariance conditions in elasticity, gradient elasticity and its connection to isotropy. Math. Mech. Solids 23(1), 3–42 (2018)
Nečas, J.: Sur les normes équivalentes dans \(W^{(k)}_p\,(\Omega )\) et sur la coercivité des formes formellement positives. Équations aux dérivées partielles. Les Presses de l’Université de Montreal, pp. 102–128 (1966)
Neff, P.: On Korn’s first inequality with non-constant coefficients. Proc. R. Soc. Edinb. Sect. A Math. 132(01), 221–243 (2002)
Neff, P., Chełmiński, K., Alber, H.-D.: Notes on strain gradient plasticity: finite strain covariant modelling and global existence in the infinitesimal rate-independent case. Math. Models Methods Appl. Sci. 19(02), 307–346 (2009)
Neff, P., Eidel, B., d’Agostino, M.V., Madeo, A.: Identification of scale-independent material parameters in the relaxed micromorphic model through model-adapted first order homogenization. J. Elast. 139, 269–298 (2020)
Neff, P., Ghiba, I.-D., Lazar, M., Madeo, A.: The relaxed linear micromorphic continuum: well-posedness of the static problem and relations to the gauge theory of dislocations. Q. J. Mech. Appl. Math. 68(1), 53–84 (2015)
Neff, P., Ghiba, I.-D., Madeo, A., Placidi, L., Rosi, G.: A unifying perspective: the relaxed linear micromorphic continuum. Contin. Mech. Thermodyn. 26(5), 639–681 (2014)
Neff, P., Jeong, J.: A new paradigm: the linear isotropic Cosserat model with conformally invariant curvature energy. Zeitschrift für Angewandte Mathematik und Mechanik 89(2), 107–122 (2009)
Neff, P., Jeong, J., Fischle, A.: Stable identification of linear isotropic Cosserat parameters: bounded stiffness in bending and torsion implies conformal invariance of curvature. Acta Mech. 211(3–4), 237–249 (2010)
Neff, P., Jeong, J., Ramézani, H.: Subgrid interaction and micro-randomness-Novel invariance requirements in infinitesimal gradient elasticity. Int. J. Solids Struct. 46(25), 4261–4276 (2009)
Neff, P., Münch, I.: Curl bounds Grad on SO(3). ESAIM: Control Optim. Calc. Var. 14.1, 148–159 (2008)
Neff, P., Pauly, D., Witsch, K.-J.: Poincaré meets Korn via Maxwell: extending Korn’s first inequality to incompatible tensor fields. J. Differ. Equ. 258(4), 1267–1302 (2015)
Neff, P., Pompe, W.: Counterexamples in the theory of coerciveness for linear elliptic systems related to generalizations of Korn’s second inequality. Zeitschrift für Angewandte Mathematik und Mechanik 94(9), 784–790 (2014)
Nitsche, J.A.: On Korn’s second inequality. RAIRO Analyse Numérique 15(3), 237–248 (1981)
Nye, J.F.: Some geometrical relations in dislocated crystals. Acta Metall. 1, 153–162 (1953)
Ohno, N., Okumura, D.: Higher-order stress and grain size effects due to self-energy of geometrically necessary dislocations. J. Mech. Phys. Solids 55(9), 1879–1898 (2007)
Ornstein, D.: A non-equality for differential operators in the \(L_{1}\) norm. Arch. Ration. Mech. Anal. 11, 40–49 (1962)
Panteghini, A., Bardella, L., Niordson, C. F.: A potential for higher-order phenomenological strain gradient plasticity to predict reliable response under non-proportional loading. Proceedings A 475.2229, Pp. 20190258, 21 (2019)
Payne, L.E., Weinberger, H.F.: On Korn’s inequality. Arch. Ration. Mech. Anal. 8, 89–98 (1961)
Pinl, M.: Kollegen in einer dunklen Zeit. Jahresbericht der DMV 71, 167–228 (1969)
Pompe, W.: Korn’s first inequality with variable coefficients and its generalization. Commentationes Mathematicae Universitatis Carolinae 44(1), 57–70 (2003)
Reshetnyak, Y.G.: Estimates for certain differential operators with finite-dimensional kernel. Sib. Math. J. 11(2), 315–326 (1970)
Reshetnyak, Y.G.: Stability Theorems in Geometry and Analysis. Springer, Dordrecht (1994)
Röger, M., Schweizer, B.: Strain gradient visco-plasticity with dislocation densities contributing to the energy. Math. Models Methods Appl. Sci. 27(14), 2595–2629 (2017)
Romano, A.: On the necessity of Korn’s inequality. STAMM 2000: Symposium on Trends in the Application of Mathematics to Mechanics. Ed. by P.-E. O’donoghue and J.-N. Flavin. Elsevier, Paris, pp. 166–173 (2000)
Romano, J.D., Price, R.H.: Why no shear in “Div, grad, curl and all that”? Am. J. Phys. 80(6), 519–524 (2012)
Room, T.G.: The composition of rotations in Euclidean three-space. Am. Math. Mon. 59, 688–692 (1952)
Ryzhak, E.I.: Korn’s constant for a parallelepiped with a free face or pair of faces. Math. Mech. Solids 4(1), 35–55 (1999)
Scala, R., Van Goethem, N.: Analytic and geometric properties of dislocation singularities. Proceedings of the Royal Society of Edinburgh. Section A. Mathematics 150.4, Pp. 1609–1651 (2020)
Scala, R., van Goethem, N.: A variational approach to single crystals with dislocations. SIAM J. Math. Anal. 51(1), 489–531 (2019)
Schirra, O.D.: New Korn-type inequalities and regularity of solutions to linear elliptic systems and anisotropic variational problems involving the trace-free part of the symmetric gradient. Calc. Var. Partial. Differ. Equ. 43(1), 147–172 (2012)
Spector, D.E., Spector, S.J.: BMO and elasticity: Korn’s inequality; local uniqueness in tension J. Elast. 143, 85–109 (2021)
Stein, E.M.: Singular Integrals and Differentiability Properties of Functions, vol. XIV. Princeton University Press, Princeton (1970)
Tiero, A.: On inequalities of Korn, Friedrichs, Magenes-Stampacchia-Nečas and Babuška-Aziz. Zeitschrift für Analysis und ihre Anwendungen 20(1), 215–222 (2001)
Tiero, A.: On Korn’s inequality in the second case. J. Elast. 54(3), 187–191 (1999)
Ting, T.W.: Generalized Korn’s inequalities. The Tensor Society. Tensor. New Series 25 (1972). Pp. 295–302, Commemoration volumes for Prof. Dr. Akitsugu Kawaguchi’s seventieth birthday, Vol. II
Ting, T.W.: St. Venant’s compatibility conditions and basic problems in elasticity. Rocky Mt. J. Math. 7, 47–52 (1977)
Trenkler, G.: The vector cross product from an algebraic point of view. Discussiones Mathematicae. Gen. Algebra Appl. 21(1), 67–82 (2001)
Wang, W.: Korn’s inequality and Donati’s theorem for the conformal Killing operator on pseudo-Euclidean space. J. Math. Anal. Appl. 345(2), 777–782 (2008)
Wulfinghoff, S., Forest, S., Böhlke, T.: Strain gradient plasticity modeling of the cyclic behavior of laminate microstructures. J. Mech. Phys. Solids 79, 1–20 (2015)
Acknowledgements
The authors thank Ionel-Dumitrel Ghiba, University of Iasi, Romania, for helpful discussions and also the anonymous referee for his valuable comments and suggestions. This work was initiated in the framework of the Priority Programme SPP 2256 ‘Variational Methods for Predicting Complex Phenomena in Engineering Structures and Materials’ funded by the Deutsche Forschungsgemeinschaft (DFG, German research foundation), Project-ID 422730790, by a collaboration of projects ‘Mathematical analysis of microstructure in supercompatible alloys’ (Project-ID 441211072) and ‘A variational scale-dependent transition scheme - from Cauchy elasticity to the relaxed micromorphic continuum’ (Project-ID 440935806). Peter Lewintan and Patrizio Neff were supported by the Deutsche Forschungsgemeinschaft (Project-ID 415894848). Stefan Müller has also been supported by the Deutsche Forschungsgemeinschaft through the Hausdorff Center for Mathematics (GZ EXC 2047/1, Projekt-ID 390685813) and the collaborative research centre ‘The mathematics of emerging effects’ (CRC 1060, Projekt-ID 211504053).
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by J. Jost.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
1.1 Geometrical interpretation of tangential boundary conditions
1.1.1 The case \(P\times \nu = 0\) following [75]
In this “Appendix” we provide the reader with the development of Gurtin and Needleman [75] adapted to our notation. Let \(\nu \in \mathbb {R}^3\) be a unit vector. For the projection onto the plane perpendicular to \(\nu \) we can consider one of the following matrix representations:
The last expression shows directly that the vector product of \({\mathbb {P}}_\nu \) and \(\nu \) commutes:
and we have moreover for any \((3\times 3)\)-matrices P and H:
and also
Thus, \(P \,{\mathbb {P}}_\nu =0\) if and only if \(P\times \nu =0\). The latter condition can be tested by applying the scalar product with deviatoric (trace-free) matrices, it holds:
This implies \({{\,\mathrm{dev}\,}}(P\times \nu )=0\) if and only if \(P\times \nu =0\) and extends, of course, to the case of arbitrary non-zero vector \(\nu \in \mathbb {R}^3\), cf. also our Observation 2.2 in [102] and shows
To establish (A.7), let H be an arbitrary matrix and consider the trace-free matrix \(D:=H -{{\,\mathrm{tr}\,}}(H)\nu \otimes \nu \). By the assumption we have
Since H is arbitrary, it follows \(P\times \nu =0\).
1.1.2 The compatible case \(\mathrm {D}u\times \nu =0\)
Let \(\Gamma \) be a relatively open (non-empty) connected subset of the boundary \(\partial \Omega \) and assume that \(P=\mathrm {D}u\) is compatible. The condition \(\mathrm {D}u\times \nu _{|\Gamma }\equiv 0\) is equivalent to \(\mathrm {D}u\, {\mathbb {P}}_\nu {}_{|\Gamma }\equiv 0\) which can also be written as \(\mathrm {D}u\,\tau {}_{|\Gamma }\equiv 0\) for all tangential directions on \(\Gamma \), meaning that all tangential derivatives of u along \(\Gamma \) are vanishing. Thus, u has to be constant along \(\Gamma \), since for any curve \(\gamma :[0,1]\rightarrow \Gamma \) on \(\Gamma \) we have \(\frac{\mathrm {d}}{\mathrm {d} s}u(\gamma (s))=\mathrm {D}u(\gamma (s))\,\gamma '(s)=0\), cf. [68, p. 35].
1.1.3 The case \({{\,\mathrm{sym}\,}}(P\times \nu )=0\)
If \({{\,\mathrm{sym}\,}}(P\times \nu )=0\), then there exists a vector \(a\in \mathbb {R}^3\) so that \(P\times \nu ={\text {Anti}}(a)\). Hence,
and a has to be of the form \(a=\alpha \cdot \nu \) with \(\alpha \in \mathbb {R}\). Thus we have \(P\times \nu =\alpha \cdot {\text {Anti}}(\nu )=\alpha \cdot {\mathbb {1}}\times \nu \) and we conclude
In a similar way to (A.7), it follows that
so that again we deduce that \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}(P\times \nu )= 0\) if and only if \({{\,\mathrm{sym}\,}}(P\times \nu )=0\), cf. our Observation 2.3.
1.1.4 The compatible case \({{\,\mathrm{sym}\,}}(\mathrm {D}u \times \nu )=0\)
Let \(\Gamma \) be a relatively open (non-empty) connected subset of the boundary \(\partial \Omega \) and assume that \(P=\mathrm {D}u\) is compatible. By the previous observation the condition \({{\,\mathrm{sym}\,}}(\mathrm {D}u \times \nu )_{|\Gamma }=0\) is fulfilled if and only if there exists a function \(\zeta :\Gamma \rightarrow \mathbb {R}\) such that \((\mathrm {D}u-\zeta \cdot {\mathbb {1}})\,{\mathbb {P}}_{\nu }{}_{|\Gamma }=0\). If \(u=\alpha \,x+b\), then it is clear that this boundary condition is satisfied. On a flat portion of the boundary we will establish also a converse statement. Indeed, let (after possible rotation) \(\Gamma \subseteq \mathbb {R}^2\times \{0\}\) be simply connected and \(\gamma :[0,1]\rightarrow \Gamma \). By the previous observation we have \(\frac{\mathrm {d}}{\mathrm {d} s}u(\gamma (s))=\mathrm {D}u(\gamma (s))\,\gamma '(s)=\zeta (\gamma (s))\gamma '(s)\), so that \(u(\gamma (1))=u(\gamma (0))+\int _0^1\zeta (\gamma (s))\gamma '(s){\mathrm {d}s}\) and for a closed curve \(\gamma \) we deduce
where in the last step we have used, that \(\gamma \subset \mathbb {R}^2\times \{0\}\) has vanishing third component and we have set \({\widehat{\zeta }}(x,y)=\zeta (x,y,0)\). Since (A.13) is valid for all connected curves \(\gamma \subset \Gamma \subseteq \mathbb {R}^2\times \{0\}\) the vector fields \(({\widehat{\zeta }},0)^T\) and \((0,{\widehat{\zeta }})^T\) have to be conservative. Thus,
where \({\text {curl}}_{2\mathrm {D}}v=v_2,x-v_1,y\), so that we conclude \(\zeta ={\widehat{\zeta }}\equiv {\text {const}}\) and set \(\zeta (x,y,0)=\alpha \). The previous observation imply \(\frac{\mathrm {d}}{\mathrm {d} s}[u(\gamma (s))-\alpha \gamma (s)]\equiv 0\) for all admissible curves \(\gamma \) meaning that along \(\Gamma \) the function u has to be of a form \(u(x,y,0)=\alpha \cdot (x,y,0)^T +(b_1,b_2,0)^T\).
1.2 Fourier transformation and equivalence of spaces
The Fourier transform of f on \(\mathbb {R}^3\) is given by
If f is sufficiently regular, then \(\widehat{\partial _j f}(\xi )= \mathrm {i}\,\xi _j {\widehat{f}}(\xi )\). Thus, for a sufficiently regular vector field \(v:\mathbb {R}^3\rightarrow \mathbb {R}^3\) we have
and for a sufficiently regular matrix field \(P:\mathbb {R}^3\rightarrow \mathbb {R}^{3\times 3}\) it follows
Consequently,
Recall, that by (2.30) we have the estimate
which in regard with (A.18) gives
Since by Plancherel’s theorem the Fourier transformation is an isometry of spaces, i.e. the \(L^2\)-norm satisfies \(\Vert f \Vert _{L^2(\mathbb {R}^3)}=\Vert {\widehat{f}} \Vert _{L^2(\mathbb {R}^3)}\) we conclude
In other words \({{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P\in L^2(\mathbb {R}^3,\mathbb {R}^{3\times 3})\) if and only if \({{\,\mathrm{sym}\,}}{{\,\mathrm{Curl}\,}}P\in L^2(\mathbb {R}^3,\mathbb {R}^{3\times 3})\), thus, establishing the equivalence of spaces without boundary conditions
as well as the norm equivalence
Moreover, from the estimate (2.19) it follows that for fixed \(b\ne 0\) the linear map \(a\mapsto {{\,\mathrm{dev}\,}}{{\,\mathrm{sym}\,}}({\text {Anti}}(a)\times b)\) is invertible. A specific inverse map can be obtained as follows. Set
Thus,
and we have
Hence, we conclude
Thus, standard multiplier estimates will give \(L^p\) estimates (for \(1<p<\infty \)) in the periodic setting and in the whole space \(\mathbb {R}^3\).
1.3 Some basic identities
We outline some basic identities which played useful roles in our considerations:
The expression in (l) reads in more details
so that the formal equivalent for \(\varvec{{\text {inc}}}\,S\) has the form
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Lewintan, P., Müller, S. & Neff, P. Korn inequalities for incompatible tensor fields in three space dimensions with conformally invariant dislocation energy. Calc. Var. 60, 150 (2021). https://doi.org/10.1007/s00526-021-02000-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-021-02000-x