The asymptotically sharp Korn interpolation and second inequalities for shells
We consider shells in three dimensional Euclidean space which have bounded principal curvatures. We prove Korn’s interpolation (or the so called first and a half111The inequality first introduced in [References]) and second inequalities on that kind of shells for vector fields, imposing no boundary or normalization conditions on The constants in the estimates are optimal in terms of the asymptotics in the shell thickness having the scalings or The Korn interpolation inequality reduces the problem of deriving any linear Korn type estimate for shells to simply proving a Poincaré type estimate with the symmetrized gradient on the right hand side. In particular this applies to linear geometric rigidity estimates for shells, i.e., Korn’s fist inequality without boundary conditions.
A shell of thickness in three dimensional Euclidean space is given by where is a bounded and connected smooth enough regular surface with a unit normal at the point The surface is called the mid-surface of the shell Understanding the rigidity of a shell is one of the challenges in nonlinear elasticity, where there are still many open questions. Unlike the situation for shells in general, the rigidity of plates has been quite well understood by Friesecke, James and Müller in their celebrated papers [References,References]. It is known that the rigidity of a shell is closely related to the optimal Korn’s constant in the nonlinear (in some cases linear) first Korn’s inequality [References,References], which is a geometric rigidity estimate for fields [References,References,References,References,References]. Depending on the problem, the field may or may not satisfy boundary conditions, e.g. [References,References,References]. Finding the optimal constants in Korn’s inequalities is a central task in problems concerning shells in general. The Friesecke-James-Müller estimate reads as follows: Assume is open bounded connected and Lipschitz. Then there exists a constant such that for every vector field there exists a constant rotation , such that
The linearization of (1.1) around the identity matrix is Korn’s first inequality [References,References,References,References,References] without boundary conditions and reads as follows: Assume is open bounded connected and Lipschitz. Then there exists a constant depending only on such that for every vector field there exists a skew-symmetric matrix i.e., such that
where is the symmetrized gradient (the strain in linear elasticity). The estimate (1.2) is traditionally proven by using Korn’s second inequality, that reads as follows: Assume is open bounded connected and Lipschitz. Then there exists a constant depending only on such that for every vector field there holds:
It is known that if is a thin domain with thickness then in general the optimal constants in all inequalities (1.1)-(1.3) blow up as In particular, if is a plate given by where is open bounded connected and Lipschitz, then as proven in [References] one has and asymptotically as While the asymptotics of is known in the case when satisfies zero Dirichlet boundary conditions on the thin face of the shell [References,References] ( scaling like or ), it is open for general fields In this work we are concerned with the asymptotics of the constant in (1.3) or more precisely in the so called Korn interpolation inequality, or the first-and-a-half Korn inequality [References], in the general case when is a shell. The statements solving the problem practically completely appear in the next section.
2 Main Results
We first introduce the main notation and definitions. We will assume throughout this work that the mid-surface of the shell is connected, compact, regular and of class up to its boundary. We also assume that has a finite atlas of patches such that each patch can be parametrized by the principal variables and (constant and constant are the principal lines on ) that change in the ranges for where for Moreover, the functions and satisfy the conditions
Since there will be no condition imposed on the vector field (see Theorem 2.1), we can restrict ourselves to a single patch and denote it by for simplicity. If the parametrization of is and is the unit normal to denoting the normal variable by and we get
in the orthonormal local basis where and are the two principal curvatures. Here we use the notation for the partial derivative inside the gradient matrix of a vector field The gradient on or the so called simplified gradient denoted by is obtained from (2.2) by putting We will work with and then pass to using their closeness to the order of due to the smallness of the variable In this paper all norms are norms and the inner product of two functions will be given by which gives rise to the norm . In what follows in the below theorems, the constants and will depend only on the shell mid-surface parameters, which are the quantities and where Our results are Korn’s interpolation and second inequalities for the shell providing sharp Ansatz-free lower bounds for displacements imposing no boundary condition on the field The estimates are also proven to be asymptotically optimal as
Theorem 2.1 (Korn’s interpolation inequality).
There exists constants such that Korn’s interpolation inequality holds:
for all and where is the unit normal to the mid-surface Moreover, the exponent of in the inequality (2.3) is optimal for any shell satisfying the above imposed regularity condition together with (2.1), i.e., there exists a displacement realizing the asymptotics of in (2.3).
Theorem 2.2 (Korn’s second inequality).
We get by the Cauchy-Schwartz inequality from (2.3) the following Korn’s second inequality for shells: There exists constants such that Korn’s second inequality holds:
for all and Moreover, the exponent of in the inequality (2.4) is optimal for any shell satisfying the above imposed regularity condition together with (2.1), i.e., there exists a displacement realizing the asymptotics of in (2.4).
3 The key lemma
In this section we prove a gradient separation estimate for harmonic functions in two dimensional thin rectangles, which is one of the key estimates in the proof of Theorem 2.1.
Assume such that Denote There exists a universal constat such that any harmonic function fulfills the inequality
Sketch of proof.
We divide the proof into four steps for the convenience of the reader. Let us point out that all the norms in the proof are unless specified otherwise.
Step 1. An estimate on rectangles. Assume and denote There exists a universal constat such that any harmonic function fulfills the inequality
where is the average of over the rectangle
Estimate (3.2) is derived from the linear version of (1.1) for plates, i.e., the estimate (1.2) for as mentioned in the previous section. Indeed, considering the plate and the displacement
one gets (3.2) with instead of but the quantity is minimized at Therefore (3.2) follows.
Step 2. An interior estimate on There exists an absolute constant such that for any harmonic function the inequality holds:
Let be a parameter and let be a smooth cutoff function such that for and for Next for we denote and We multiply the equality in by and integrate the obtained identity first by parts over and then in over to get the estimate
where is a parameter yet to be chosen. By the invariance of (3.2) under the variable change we have for some
which gives together with the triangle inequality the estimates
It remains to minimize the right hand side of (3.8) subject to the constraint on the parameter to get (3.3) The procedure is standard and is left to the reader.
Step 3. An estimate near the horizontal boundary of . There exists an absolute constant such that for any harmonic function the inequality holds:
The proof is similar to Step1 by the utilization of (3.5) and (3.7).
Step 4. Proof of (3.1). We recall the following two auxiliary lemmas proven by Kondratiev and Oleinik [References], see also [LABEL:bib:Harutyunyan.1].
Assume and is absolutely continuous. Then the inequality holds:
Let and let be open bounded connected and Lipschitz. Denote Assume is harmonic. Then there holds:
4 Proof of the main results
Sketch of proof of Theorem 2.1.
Let us point out that throughout this section the constants will depend only on the quantities and unless specified otherwise. We first prove the estimate with and in place of and in (2.3), which we do
block by block by freezing each of the variables and .
The block . We aim to prove the estimate
Denote and assume satisfies the conditions for all Then, for any displacement considering the auxiliary vector field one can get from Korn’s second inequality [References], that there exists a constant depending only on the constants and such that for the matrix fulfills the estimate
An application of (4.2) for and gives (4.1). We combine the estimates for the other two blocks in one by first proving the following Korn-like inequality on thin rectangles, which will be the key estimate for the rest of the proof.
For denote Given a displacement the vector fields and the function denote the perturbed gradient as follows:
Assume then the following Korn-like interpolation inequality holds:
for all small enough, where depends only on the quantities and
Let us point out that in the proof of Lemma 4.1, the constant may depend only on and as well as the norm will be First of all, we can assume by density that For functions denote Assume is the harmonic part of in i.e., it is the unique solution of the Dirichlet boundary value problem
The Poincaré inequality gives the bound Multiplying the identity by we get by the Schwartz inequality the bounds
In the next step we utilize the fact that is harmonic, thus we can apply Lemma 3.1 to First apply the triangle inequality to get and then we apply Lemma 3.1 to the summand first and then the triangle inequality several times (also taking into account the bounds (4.6)) to get the estimate
The block . For the block we freeze the variable and deal with two-variable functions. We aim to prove that for any the estimate holds:
where the norms are over the whole shell
The block . The role of the variables and is the completely the same, thus we have an analogous estimate
A combination of (4.1) and (4.10) completes the proof of the lower bound. It remains to note that one gets (2.1) from that with in place of by an application of the obvious bounds and The Ansatz realising the asymptotics of in (2.3) and (2.4) has been constructed in [References] and reads as follows:
where is a smooth and periodic in function that the derivative is not identically zero. The calculation is omitted here. ∎
-  Ciarlet, P.G., Korn’s inequalities: the linear vs. the nonlinear case, Discrete and Continuous Dynamical Systems-Series S 5 (2012), 473-483.
-  Ciarlet, P.G. and Mardare, C.. Nonlinear Korn inequalities, J. Math. Pures Appl. 104 (2015), 1119–1134.
-  Ciarlet, P.G., Mardare and C., Mardare, S.. Recovery of immersions from their metric tensors and nonlinear Korn inequalities: A brief survey, Chinese Ann. Math., Ser. B, 38 (2017), 253–280.
-  G. Friesecke, R. D. James, and S. Müller. A theorem on geometric rigidity and the derivation of nonlinear plate theory from three-dimensional elasticity. Comm. Pure Appl. Math., 55(11):1461-1506, 2002.
-  G. Friesecke, R. D. James, and S. Müller. A hierarchy of plate models derived from nonlinear elasticity by gamma-convergence. Arch. Ration. Mech. Anal., 180(2):183-236, 2006.
-  Y. Grabovsky and D.Harutyunyan. Exact scaling exponents in Korn and Korn-type inequalities for cylindrical shells. SIAM Journal on Mathematical Analysis, 46(5), pp. 3277–3295, 2014.
-  Y. Grabovsky and D. Harutyunyan. Korn inequalities for shells with zero Gaussian curvature. Annales de l’Institute Henri Poincare (C) Non Linear Analysis, in press, https://doi.org/10.1016/j.anihpc.2017.04.004
-  D. Harutyunyan. Gaussian curvature as an identifier of shell rigidity. Archive for Rational Mechanics and Analysis, Nov. 2017, Vol. 226, Iss. 2, pp 743-766.
-  Robert V. Kohn. New integral estimates for deformations in terms of their nonlinear strain. Arch. Rat. Mech. Anal. 78, (1982) 131-172.
-  V. A. Kondratiev and O. A. Oleinik. Boundary value problems for a system in elasticity theory in unbounded domains. Korn inequalities. Uspekhi Mat. Nauk 43, 5(263) (1988), 55-98, 239.
-  A. Korn. Solution générale du probléme d’équilibre dans la théorie de l’élasticité dans le cas oú les eórts sont donnés á la surface, Ann. Fac. Sci. Toulouse, ser. 2. 10 (1908), 165-269.
-  A. Korn. Über einige Ungleichungen, welche in der Theorie der elastischen und elektrischen Schwingungen eine Rolle spielen, Bull. Int. Cracovie Akademie Umiejet, Classe des Sci. Math. Nat., (1909) 705-724.