Abstract
We investigate a family of isotropic volumetric-isochoric decoupled strain energies
based on the Hencky-logarithmic (true, natural) strain tensor logU, where μ>0 is the infinitesimal shear modulus, \(\kappa=\frac{2\mu+3\lambda}{3}>0\) is the infinitesimal bulk modulus with λ the first Lamé constant, \(k,\widehat{k}\) are additional dimensionless material parameters, F=∇φ is the gradient of deformation, \(U=\sqrt{F^{T} F}\) is the right stretch tensor and is the n-dimensional deviatoric part of the strain tensor logU. For small elastic strains, W eH approximates the classical quadratic Hencky strain energy
which is not everywhere rank-one convex. In plane elastostatics, i.e., n=2, we prove the everywhere rank-one convexity of the proposed family W eH, for \(k\geq\frac{1}{4}\) and \(\widehat{k}\geq\frac{1}{8}\). Moreover, we show that the corresponding Cauchy (true)-stress-true-strain relation is invertible for n=2,3 and we show the monotonicity of the Cauchy (true) stress tensor as a function of the true strain tensor in a domain of bounded distortions. We also prove that the rank-one convexity of the energies belonging to the family W eH is not preserved in dimension n=3 and that the energies
are also not rank-one convex.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
1.1 Logarithmic Strain and Geodesically Motivated Invariants
We introduce a modification of the well-known isotropic quadratic Hencky strain energy
where μ>0 is the infinitesimal shear (distortional) modulus, \(\kappa=\frac{2\mu+3\lambda}{3}>0\) is the bulk modulus with λ the first Lamé constant, F=∇φ is the deformation gradient, \(U=\sqrt {F^{T} F}\) is the right Biot stretch tensor, logU is the referential (Lagrangian) logarithmic strain tensor, ∥ . ∥ is the Frobenius tensor norm, and is the n-dimensional deviatoric part of a second order tensor \(X{\in \mathbb {R}^{n\times n}}\) (see Sect. 2 for other notations).
It was recently discovered [170, 171] (see also [32, 132]) that the Hencky strain energy enjoys a surprising property, which singles it out among all other isotropic strain energy functions. Indeed, the Hencky energy measures the geodesic distance of the deformation gradient F∈GL+(n) to the special orthogonal group SO(n), i.e.,
where the Lie-group GL+(n) is viewed as a Riemannian manifold endowed with a certain left-invariant metric which is also right O(n)-invariantFootnote 1 (isotropic). The use of the quadratic Hencky strain energy in nonlinear elasticity theory can therefore be motivated by purely geometric reasoning.
In contrast, for the case of the simple Euclidean distance on \(\mathbb {R}^{n\times n}\) we note that
which yields the Biot-stretch measure without any possibility of weighting the deviatoric and volumetric contributions independently [174]. On the other hand, the additive volumetric-isochoric split
of \(\widehat {W}_{H}\) into an isochoric term \(\widetilde{W}_{{\mathrm {H}}}^{\mathrm{iso}}\) depending only on \(\frac{U}{\det U^{1/n}}\) , i.e., on the isochoric part of U, and a volumetric term \(\widetilde {W}_{{\mathrm{H}}}^{\mathrm{vol}}\) depending only on detU is characterized by means of the same geodesic distance as well: it can be shown that [170, 171, 177]
where and \(\operatorname {dist}^{2}_{{\mathrm{geod},\mathrm{SL}(n)}}\) are the canonical left invariant geodesic distances on the Lie-group SL(n) and on the multiplicative group , respectively. This result strongly suggests that the two quantities \(K_{1}^{2}=\|\operatorname {dev}_{n}\log U\|^{2}\) and \(K_{2}^{2}=[\operatorname {tr}(\log U)]^{2}\) should be considered separately as fundamental measures of elastic deformations, which motivates a family of elastic energy functions stated in terms of these two quantities alone [151]. It is clear, however, that it is not the strain measure logU itself which has any importance in this regard,Footnote 2 but the fundamentally motivated scalar geodesic invariants \(K_{1}^{2}\), \(K_{2}^{2}\). They restrict the form of the constitutive law. The mechanical and physical significance of the logarithmic strain tensor is further discussed in [169].
Moreover, in 2D, the purely isochoric term \({\operatorname {dist}^{2}_{\mathrm {geod}} \bigl( \frac{F}{\det F^{1/2}}, \mathrm{SL}(2) \bigr)}\) penalyzes the departure from conformal (shape preserving) mappings, i.e., the absolute minimizer in dimension n=2 is a deformation ϕ with ∇ϕ satisfying
Since \(K_{1}^{2}\), \(K_{2}^{2}\) have this inherently fundamental differential geometric motivation, we propose to investigate a new constitutive framework for ideal isotropic elasticity. Then it is natural to consider the most primitive possible strain energy form satisfying:
-
(i)
The elastic energy W can be written as a function of the geodesic invariants
$$\begin{aligned} W=\widetilde{W}\bigl(K_1^2,K_2^2 \bigr),\quad\text{where}\quad K_1^2:=\|\operatorname {dev}_n\log U\|^2\ \text{and}\ K_2^2:= \bigl[\operatorname {tr}(\log U)\bigr]^2; \end{aligned}$$ -
(ii)
The energy is strictly increasing as a function of \(K_{1}^{2}, K_{2}^{2}\);
-
(iii)
The energy is strictly convex as a function of logU (Hill’s inequality);
-
(iv)
Preferably, the energy should be a rank-one convex (polyconvex, quasiconvex) function;
-
(v)
The energy should satisfy a coercivity condition.
We observe that (iv) necessitates that W should grow at least exponentially (see [222]).
1.2 Scope of Investigation
Many elastic materials show a completely different response regarding shape changing deformations and purely volumetric deformations. Therefore, in concordance with our just stated requirements, we investigate in this paper a family of isotropic exponentiated Hencky-logarithmic strain type energies in which both contributions coming from dilatations and distortions are a priori additively separatedFootnote 3 [78]
where \(U=\sum_{i=1}^{n} \lambda_{i} N_{i}\otimes N_{i}\), , λ i and N i are the eigenvalues and eigenvectors of U, respectively. The immediate importance of the family (1.4) of free-energy functions is seen by looking at small (but not infinitesimally small) elastic strains. Then the exponentiated Hencky energy W eH(⋅) reduces to first order to the quadratic Hencky energy based on the logarithmic strain tensor logU
where \(V=\sqrt{F F^{T}}\) is the left stretch tensor, \(\widetilde {W}_{{\mathrm{H}}}(V)=\widehat{W}_{{\mathrm{H}}}(U)\), σ H is the Cauchy stress tensor in the current configuration and τ H is the Kirchhoff stress tensor. The Hencky energy W H has been introduced by Heinrich Hencky [243] starting from 1928 [24, 100–103, 186, 222, 238, 256] (see [169] for a recent English translation of Hencky’s German original papers) and has since then acquired a unique status in finite strain elastostatics [1, 5, 6] and especially in finite strain elasto-plasticity.Footnote 4 Hencky himself used this constitutive law to study finite elastic deformations of rubber in some simple cases [100–104]. The modern applications seem to begin with the study of finite elastic and elasto-plastic bending of a long plate-strip (plane strain) in the cases of incompressible and compressible deformations [36–38, 60, 61]. The formulation based on the Hencky strain energy provides the greatest possible extent of elastic determinacy [169, page 19]: the Kirchhoff-stress response does not depend on a specific reference state or previously applied coaxial deformations. A similar property was postulated for an idealized law of elasticity by Murnaghan [161, 162], who argued that the dependence of the stress response on a specific position of zero strain was tantamount to an action at a distance and should therefore be avoided.
The first axiomatic study on the nonlinear stress-strain function involving a logarithmic strain tensor is, however, due to the famous geologist George Ferdinand Becker [27, 145] in 1893. Using a principle of superposition for the principal forces in the reference configuration he concludes with a stress-strain law in the form
where T Biot(U)=R T⋅S 1(F)=U⋅S 2(C) is the (symmetric in case of isotropy) Biot-stress tensor, F=RU is the right polar decomposition, S 2 is the symmetric second Piola-Kirchhoff stress tensor and C=F T F, see [176] for detailed explanations. Even earlier, in 1880, Imbert [117] in his doctoral thesis considered the uniaxial tension of vulcanized rubber bands and obtained as a best fit a constitutive lawFootnote 5 [117, page 53], which in modern notations reads
for recoverable (fully elastic extensional) stretches λ∈[1,e). Three years later, in 1893, Hartig [95] (see also [28]) used the same constitutive law for tension and compression data of rubber.
In [164] Nadai introduced the name “natural strain” tensor for the logarithmic strain tensor logU and motivated application of this concept in metal forming processesFootnote 6 in metallurgy. The strain measure (natural strain) then has been extensively used over the years to report experimental true-stress-true-strain data. More recently, in [98] a modified Hencky energy is proposed which is motivated by in depth molecular dynamics simulations for a metallic glass.Footnote 7 Hill [107, 108] (see also [53, 149, 150]) has discussed the advantage of the logarithmic strain measureFootnote 8 in setting up a class of constitutive inequalities, based on a family of measures of finite strain and their corresponding conjugate stresses, for both elastic and elasto-plastic solids. Hill showed that only one member of this class admits incompressibility, namely that corresponding to logarithmic strain. The special Hill’s-inequality (which we will call KSTS-M+ for reasons which become clear later) asserts in the hyperelastic case that the strain energy should be a convex function of logarithmic strain [179] and Hill argued that this inequality is the most suitable for compressible solids. Šilhavý [226] remarks that Hill’s inequality is, up to date, not found to be in conflict with experimental facts.
The Hencky strain tensor appears also in much more diverse fields, such as image registration [188, 189] and relativistic elastomechanics [126]. Extensions to the anisotropic hyperelastic response based on the Hencky-logarithmic strain were investigated, e.g., in [66, 67, 90].
Let us now summarize some well-known unique features of the quadratic Hencky strain energy W H based exclusively on the natural strain tensor logU:
- ⊕1 :
-
The two isotropic Lamé constants (μ,λ)⇝(μ,κ) (or (E,ν)), the shear modulus, the bulk modulus and the second Lamé constant, are determined in the infinitesimal strain regime, but the model based on the energy W H(F) can well describe the nonlinear deformation response for moderate principal stretches λ i ∈(0.7,1.4) (see [5, 6, 34]). Of course, for a particular material, one may always get agreement with (a finite number of) experiments to any desired accuracy for another constitutive law with more adjustable parameters, e.g., Ogden’s strain energy [182].
- ⊕2 :
-
The Hencky model outperforms other well known nonlinear elasticity models with equally few constitutive parameters, like Neo-Hooke or Mooney-Rivlin type elastic materials [48, 158, 182, 200] in the above-mentioned strain range.
- ⊕3 :
-
The geometrically nonlinear Poynting effect (a cylindrical bar of steel, copper, rubber or brass lengthens in torsion proportional to the square of the twist) is correctly described [6, 23, 28, 41, 62, 63, 187].
- ⊕4 :
-
W H has the correct behavior for extreme strains in the sense that W(F e )→∞ as detF e →0 and, likewise, W(F e )→∞ as detF e →∞.
- ⊕5 :
-
The Hencky strain tensor logU puts extension and contraction on the same footing, its principal values vary from −∞ to ∞, whereas those of C=F T F or B=FF T vary from 0 to ∞ and those of vary from −1 to ∞.
- ⊕6 :
-
The Hencky strain defines a strictly monotone primary matrix function [121, 176, 178], i.e.,
$$\begin{aligned} \langle\log U_1-\log U_2,U_1-U_2 \rangle>0 \quad\forall U_1,U_2\in\mathrm{PSym}(3), U_1\neq U_2, \end{aligned}$$(1.8)even for non-coaxial arguments U 1,U 2.
- ⊕7 :
-
Tension and compression are treated equivalently: W H(F)=W H(F −1), i.e., invariance w.r.t. the Lagrangian or Eulerian description. Both the incompressible and compressible versions of J 2-finite strain deformation theory [116] usually assume identical true-stress-true-strain relations in tension and compression.
- ⊕8 :
-
The linear and second-order behavior of W H is in agreement with Bell’s experimental observations [28], i.e., in general, under small strain conditions the instantaneous elastic modulus E decreases for tension and increases in the case of compression (cf. Fig. 1).
- ⊕9 :
-
True strain for equivalent amounts of deformation in tension and compression is equal except for the sign: logV=−logV −1.
- ⊕10 :
-
The Eulerian strain tensor logV (and the Lagrangian strain tensor logU) is additive for coaxial stretches, i.e., log(V 1 V 2)=logV 1+logV 2 for V 1 V 2=V 2 V 1. This implies the superposition principle for the Kirchhoff stress τ H for coaxial strains [27, 176].
- ⊕11 :
-
For incompressibility (rubber for instance [104, 114, 115]), only one parameter, the shear (distortional) modulus \(\mu=\frac{E}{3}\), suffices, where \(E=\frac {\mu (2\mu+3\lambda)}{\lambda+\mu}\) is Young’s modulus.
- ⊕12 :
-
The Hencky strain tensor logU has the advantage that it additively separates dilatation from pure distortion [52, 196–199]; there is an exact volumetric-isochoric decoupling by the properties of the logarithmic strain tensor:
Among all finite strain measures from the Seth-Hill family [109, 223], only the spherical and deviatoric parts of the Hencky strain quadratic energy can additively separate the volumetric and the isochoric deformation [7, 114, 209].
- ⊕13 :
-
The volumetric expression \([\operatorname {tr}(\log U)]^{2}=(\log\det U)^{2}\) has been motivated independently in [161, 192, 244] and found to be superior in describing the pressure-volume equation of state (EOS) for geomaterials under extreme pressure (see Sect. 3.5).
- ⊕14 :
-
The incompressibility condition detF=1 is the simple statement \(\operatorname {tr}(\log U)=0\).
- ⊕15 :
-
For the Hencky energy W H, uniaxial tension leads to uniaxial lateral contraction and a planar pure Cauchy shear stress produces biaxial pure shear strain [256], similar as in linear elasticity (see Fig. 2 and also Sect. 4), i.e., planar pure shear stress \(\sigma=\Bigl( {\scriptsize\begin{matrix} \sigma_{11} & \sigma_{12} & 0 \cr \sigma_{12} & \sigma_{22} & 0 \cr 0 & 0 & 0 \end{matrix}} \Bigr)\), \(\operatorname {tr}(\sigma)=0\) corresponds to isochoric planar stretch \(V=\Bigl( {\scriptsize\begin{matrix} V_{11} & V_{12} & 0 \cr V_{12} & V_{22} & 0 \cr 0 & 0 & 1 \end{matrix}} \Bigr)\), detV=1. For Poisson’s number ν=1/2 exact incompressibility follows and for ν=0 there is no lateral contraction in uniaxial tension, exactly as in linear elasticity [256].
- ⊕16 :
-
The Hencky energy W H has constant nonlinear Poisson’s ratio \(\widehat{\nu}=-\frac{(\log V)_{22}}{(\log V)_{11}}=\nu\) as in linear elasticity and \(\lambda _{2}=\lambda_{1}^{-\nu}\) in uniaxial extension [256].
- ⊕17 :
-
If Ψ(exp(S)):=W(S), then for isotropic response D S W(S)=DΨ(exp(S))⋅exp(S) (see [130, 210, 256, 257]). Thus, 2S 2(C)=D C Ψ(C)=D logC W(logC)⋅C −1, while D C [logC].H=C −1⋅H is not true in general. Therefore τ=D logV W(logV), \(\sigma=\frac{1}{\det V}\cdot\tau=\frac{1}{\det V}\cdot D_{\log V} W(\log V)\), see Appendix A.2. Using this formula, the algorithmic tangent \(D_{F}^{2}[W(F)].(H,H)\) for the isotropic Hencky energy in finite element simulations can be analyzed with knowledge of only the first Fréchet-derivative D C [logC].H (see [119]).
- ⊕18 :
-
The Kirchhoff stress τ is conjugate to the strain measure logV [112, 113, 133, 178, 208, 214, 215, 257], where \(V=\sqrt{F F^{T}}\) is the left stretch tensor, i.e., \(\langle\tau, \frac{\mathrm{d}}{\mathrm{dt}}\log V\rangle=\det V\cdot\langle \sigma, D\rangle\) is equal to the power per unit volume element in the reference configuration. Here, D is the strain rate tensor \(D={\mathrm{sym}} L={\mathrm {sym}}(\dot{F}{F}^{-1})\).
- ⊕19 :
-
Contrary to the arbitrary number of possible strain tensors in the Lagrangian setting, there is only one strain rate tensor D in the Eulerian setting. In the one dimensional case,Footnote 9 the logarithmic strain tensor logV is equal to the integrated strain rate. More generally,Footnote 10 \(\frac{\mathrm{d}}{\mathrm{dt}}[\log V(t)]=D(t)\) for any coaxial stretch family V(t).
- ⊕20 :
-
The logarithmic strain possesses certain intrinsic, far-reaching properties that also suggest its favored position among all possible strain measures: the Eulerian logarithmic strain logV is the unique strain measure whose corotational rate (associated with the so-called logarithmic spin) is the strain rate tensor D. In other words, the strain rate tensor is the co-rotational rate of the Hencky strain tensor associated with the logarithmic spin tensor. Such a result has been introduced by Reinhardt and Dubey [195] as D-rate and by Xiao et al. [262, 265] as log-rate (see also [179, 261, 264]). This is consistent with Truesdell’s rate type concept of hypoelasticity based on a unique logarithmic strain rate [93, 147, 263]. We need to emphasize that, contrary to hyperelastic models, hypo-elastic models [146, 160] ignore the potential character of the energy. Otherwise they are simply the hyperelastic models rewritten in a suitable incremental form. In case of the logarithmic rate, the hypo-elastic model integrates exactly to the hyperelastic quadratic Hencky model.
- ⊕21 :
-
The quadratic Hencky energy W H satisfies the Baker-Ericksen (BE) inequalities everywhere, see Sect. 2.1 later in this paper.
- ⊕22 :
-
The Cauchy stress σ=σ(logV) induces an invertible true-stress-true-strain relation up to detF≤e [256, 257].
- ⊕23 :
-
The Kirchhoff stress τ=τ(logV) is invertible.
- ⊕24 :
-
The quadratic Hencky energy W H satisfies Hill’s inequality (KSTS-M+) everywhere, i.e., the corresponding Kirchhoff stress τ H=(detF)⋅σ=D logV W H(logV) is a monotone function of the logarithmic strain tensor logV and W H is a convex function of logV.
- ⊕25 :
-
The Kirchhoff stress τ H has the symmetry property τ H(V −1)=−τ H(V). In fact, this relation is true whenever the energy satisfies the tension-compression symmetry.
- ⊕26 :
-
Since logB=logV 2=2logV, there is no need to compute the polar decomposition [119, 175] in order to evaluate logV.
- ⊕27 :
-
There is a representation of \(\|\operatorname {dev}_{3}\log V\| ^{2}\) and \([\operatorname {tr}(\log V)]^{2}\) in terms of principal invariants of V available [69, 77]: , α h =α h (i 1,i 2,i 3), β r =β r (i 1,i 2,i 3), i h =i h (V), h=1,2,3, r=−1,0,1. Moreover, it is always possible to express the strain energy terms via its representation in principal stretches from which we may infer, via Cardano’s formula, a representation in terms of the principal invariants of B, i.e., \(W_{{\mathrm{H}}}=\widetilde{W}_{{\mathrm {H}}}(i_{1}(B),i_{2}(B),i_{3}(B))\) [262]. Otherwise, calculation of logV needs diagonalization and determination of the principal axes. Then
$$\begin{aligned} &\log V=Q^T \left ( \begin{array}{c@{\quad }c@{\quad }c} \log\lambda_1 & 0 & 0 \\ 0 & \log\lambda_2 & 0 \\ 0 & 0 & \log\lambda_3 \end{array} \right ) Q\quad \mbox{for}\quad V=Q^T\left ( \begin{array}{c@{\quad }c@{\quad }c} \lambda_1 & 0 & 0 \\ 0 & \lambda_2 & 0 \\ 0 & 0 & \lambda_3 \end{array} \right ) Q\\ &\quad \mbox{and}\quad Q\in \mathrm {SO}(3). \end{aligned}$$ - ⊕28 :
-
There are efficient methods for the explicit evaluation of the derivatives of the logarithm of an arbitrary tensor [2, 120].
- ⊕29 :
-
The use of the logarithmic strain tensor logU leads to simple additive structures in algorithmic computational elasto-plasticity theory [3, 190, 203, 210, 235, 259].
For these reasons the quadratic Hencky model is used in theoretical investigations and in physical applications [8, 39, 40, 77, 83, 86–88, 148, 191]. We observe also a renewed interest in this class of isotropic slightly compressible hyperelastic solids originally proposed by Hencky [98, 100–103]. The strain energy W H is also often used in commercial FEM-codes.
However, the quadratic Hencky energy has some serious shortcomings:
- ⊖1 :
-
Beyond detF≤e, the Hencky energy W H leads to no globally invertible Cauchy stress-logarithmic strain relation and the possibility for multiple symmetric homogeneous bifurcations may arise [121, page 48], see also [252, page 185], [157].
- ⊖2 :
-
The Cauchy stress tensor is degenerate in the sense that σ H↛+∞ for V→+∞ and there are Cauchy stress distributions which cannot be reached by the constitutive law, i.e., V↦σ(V) is not surjective.
- ⊖3 :
-
The energy W H does not satisfy the pressure-compression (PC) inequality (this is related to the non-convexity of detF↦(logdetF)2 for detF>e).
- ⊖4 :
-
One may not guarantee real wave speeds over the entire deformation range [39, 116, 165]. Therefore, W H is not quasiconvex (weakly lower semicontinuous) and not Legendre-Hadamard (LH)-elliptic (rank-one convex).
- ⊖5 :
-
The tension-extension (TE) inequalities (separate convexity) are not satisfied (see Proposition 5.9).
- ⊖6 :
-
The quadratic Hencky energy W H is not coercive, i.e., an estimate of the type
$$\begin{aligned} W_{{\mathrm{H}}}(F)\geq C_1 \|F\|^q-C_2, \quad q\geq1, \ C_1, C_2>0 \end{aligned}$$is not possible, since W H growths only sublinearly.
- ⊖7 :
-
The true-stress-stretch invertibility (TSS-I) does not hold true everywhere.
These points being more or less well-known, it is clear that there cannot exist a general mathematical well-posedness result for the quadratic Hencky model W H. Of course, in the vicinity of the stress free reference configuration, an existence proof for small loads based on the implicit function theorem will always be possible [48]. All in all, however, the status of Hencky’s quadratic energy, despite its many attractive features, is thus put into doubt.
For sufficiently regular energies, Legendre-Hadamard ellipticity on GL+(3) (LH-ellipticity, also known as rank-one-convexity)Footnote 11 [167, 182, 229–231, 233] is tantamount to
This condition stems from the study of wave propagationFootnote 12 or hyperbolicity of the dynamic problem and it is just what is needed for a good existence and uniqueness theory for linear elastostatics and elastodynamics (see [71, 79, 182, 237]). The failure of ellipticity [144, 234] may be related to the emergence of discontinuous deformation gradients [72, 127, 258]. Strict rank-one convexity in the solution of the boundary value problem is also necessary for the smoothness of weak solutions. While strong ellipticity apparently holds over wide ranges, including buckling, and is physically rather compelling, it is not necessarily universal [140, page 20] (see also [225]). However, from a numerical point of view in finite element simulations, loss of ellipticity manifests itself by a pathological dependence of the computed results on the size and distortion of the finite elements and should therefore be avoided.
Concerning our new formulation, it is clear that, up to moderate strains, for principal stretches λ i ∈(0.7,1.4), our exponentiated Hencky formulation (1.4) is de facto as good as the quadratic Hencky model W H and in the large strain region it will improve several important features from a mathematical point of view.Footnote 13
Having identified \(K_{2}^{2}=\|\operatorname {dev}_{n}\log U\|^{2}\) and \(K_{1}^{2}=[\operatorname {tr}(\log U)]^{2}\) as the basic input variables for a nonlinear elasticity formulation, this investigation started by numerically checking the ellipticity conditions for \(e^{\|\log U\|^{2}}\) in the two-dimensional case.Footnote 14 In one space dimension it is readily observed that t↦(logt)2 is not convex, but \(t\mapsto e^{(\log t)^{2}}\) is convex (see Figs. 3 and 4). A similar effect appears for the Hencky energy (1.5): W H is not LH-elliptic [30, 39, 232] (it is of the type given by Fig. 3), but we show that our energy W eH(U) is LH-elliptic in the two dimensional case (it is of the type given by Fig. 4).
In this paper, then, we prove that the functions \(W_{{\mathrm{eH}}}(F):={\frac{\mu}{k} e^{k \|\operatorname {dev}_{n}\log U\| ^{2}}+\frac{\kappa}{2\widehat{k}} e^{\widehat{k} (\operatorname {tr}(\log U){)}^{2}}}\) from the family of energies defined in (1.4) have the following attractive properties beyond those of W H:Footnote 15
- ⊕1 :
-
For nonlinear incompressible material (like rubber) the new energy \(\frac{\mu}{k} e^{k \|\operatorname {dev}_{3}\log U\|^{2}}\) has only two independent constants, which furthermore have a clear physical meaning, the infinitesimal shear modulus μ>0 and the distortional strain-stiffening parameter k>0 (see Figs. 5 and 6). For nonlinear (slightly) compressible material, in addition, there is the infinitesimal bulk modulus κ>0 and also the volumetric stiffening parameter \(\widehat{k}>0\).
- ⊕2 :
-
The Cauchy stress tensor satisfies σ eH→+∞ for V→+∞.
- ⊕3 :
-
We have: \(\lim_{k,\widehat{k}\rightarrow 0}\sigma_{{\mathrm{eH}}}=\sigma_{{\mathrm{H}}}\), \(\lim _{k,\widehat{k}\rightarrow0}\tau_{{\mathrm{eH}}}=\tau_{{\mathrm{H}}}\).
- ⊕4 :
-
At very large stretch ratios the model exhibits the strain stiffening behavior common to many elastomers.
- ⊕5 :
-
They satisfy the BE-inequalities.
- ⊕6 :
-
They satisfy the PC-inequalities.
- ⊕7 :
-
They satisfy the TE-inequalities in the planar case if \(k\geq\frac{1}{4}\).
- ⊕8 :
-
They satisfy the TE-inequalities in the three dimensional case if \(k\geq\frac{3}{16}\).
- ⊕9 :
-
They are rank one convex (LH-elliptic) in the planar case if \(k\geq\frac{1}{4}\), in the entire deformation range.
- ⊕10 :
-
The corresponding Kirchhoff stress τ eH has the property: τ eH(V −1)=−τ eH(V).
- ⊕11 :
-
The true-stress-true-strain invertibility (TSTS-I) holds true everywhere.
- ⊕12 :
-
The true-stress-stretch invertibility (TSS-I) holds true everywhere.
- ⊕13 :
-
The true-stress-true-strain monotonicity (TSTS-M) is satisfied for bounded distortions.
- ⊕14 :
-
Hill’s inequality (KSTS-M+) is satisfied, in the entire deformation range and τ eH is invertible.
- ⊕15 :
-
Planar pure Cauchy shear stress produces biaxial pure shear strain and \(\nu=\frac{1}{2}\) corresponds to exact incompressibility.
- ⊕16 :
-
For n=3 among the family W eH there exists a special (\(k=\frac{2}{3} \widehat{k} \)) three parameter subset such that uniaxial tension leads to no lateral contraction if and only if the Poisson’s ratio ν=0, as in linear elasticity.
- ⊕17 :
-
There is no number k>0 such that W eH is rank one convex everywhere in the three dimensional case, but there is a built-in failure criterion active on extreme distortional strains: our conjecture is that the energy is rank-one convex in the cone-like elastic domain \(\mathcal{E}^{+}(W_{{\mathrm{eH}}}^{\mathrm{iso}},{\mathrm{LH}}, U,27)= \{U\in{\mathrm{PSym}}(3) | \|\operatorname {dev}_{3} \log U\|^{2}\leq27 \}\).
These results completely settle the status of the quadratic Hencky energy as a useful approximation in plane elasto-statics and lead to new perspectives for the three-dimensional idealized isotropic setting.
The contents of this paper in the order of their appearance are: (i) a further short discussion of the existing literature; (ii) notation; (iii) introduction of general constitutive requirements in idealized nonlinear elasticity; (iv) the invertible true-stress-true-strain relation; (v) rank-one convexity in the two-dimensional case; (vi) domains of rank-one convexity in the three-dimensional case; (vii) summary; (viii) extensive list of references; (ix) appendix.
1.3 Previous Work in the Spirit of Our Investigation
Rougée [207, pages 131, 302] (see also [82, 206] and later extensions by Fiala [73–76]) identifies Hencky’s logarithmic strain measure 2logU=logC as having (as its Frobenius tensor norm) the length of a geodesic joining two metric states: he endows the set of positive definite matrices PSym(3) (which is not a Lie-group w.r.t. matrix multiplication) with a Riemannian structure (see also [31, 155, 156]). In this case, geodesics joining the identity with any metric tensor C=F T F are simply one-parameter groups t↦exp(tlogC). This interpretation is fundamentally different from ours given in [170–172] and hinted at in the introduction.
Criscione et al. [52] proposed a new invariant basis for the natural strain logU, which leads to a representation for the Cauchy stress σ as the sum of three response terms that are mutually orthogonal (see also [183]). In fact, Criscione et al. [52, 260] (see also [65]) consider energies W Crisc(K 1,K 2,K 3) based on the Hencky-logarithmic strain, where (K 1,K 2,K 3) is a set of invariants for the isotropic case:Footnote 16
As it turns out, any isotropic energy can also be represented as a function W Crisc=W Crisc(K 1,K 2,K 3) of Criscione’s invariants (see [51, 52, 111]). In this paper, we use exclusively |K 1|2 (which we may call accordingly the “magnitude-of-dilatation”) and the magnitude-of-distortion \(K_{2}^{2}\), but with our different geometric motivation.
In [222] some necessary conditions for the LH-ellipticity versus exponential-growth are discussed for energies depending on the Hencky strain logU. In fact, Sendova and Walton [222] have considered the energy W to be a function of \(K_{2}=\|\operatorname {dev}_{3} \log U\|\) and proved that W has to grow at least exponentially as a function of K 2. They note, however, that “constructing conditions that are both necessary and sufficient for strong ellipticity to hold for all deformations still seem[s to be] a daunting task”. In [209] Sansour has discussed the multiplicative decomposition of the deformation gradient into its volumetric and isochoric parts and its implications in the case of anisotropy. Sansour’s statement for isotropy is already contained in the paper by Richter [196, page 209]. This decomposition problem was studied later in the papers [7, 114]. Gearing and Anand [89] (see also [68, 98]) recently proposed an energy of the formFootnote 17
where detU↦h(log(detU)) is highly non-convex. The energy W Anand(logU) couples volumetric and distortional response and is based on molecular dynamics simulations. The molecular dynamics simulationFootnote 18 is not in contradiction with an increasing generalized shear modulus μ as detU→0, see [97, 98].
The Baker-Ericksen (BE) inequalities express the requirement that the greater principal Cauchy stress should occur in the direction of the greater principle stretch, while the tension-extension (TE) inequalities demand that each principal stress is a strictly increasing function of the corresponding principal stretch. The BE-inequalities and TE-inequalities arise in connection with propagation of waves in principal direction of strain [253]. The strong ellipticity condition for hyperelastic materials [267] was studied in [10, 110, 127, 213, 258], but the complete study seems to be presented first in Ogden’s Ph.D.-thesis [180]. For an incompressible hyperelastic material corresponding conditions were given in [212]. A family of universal solutions in plane elastostatics for the quadratic Hencky model is obtained in [9].
A stronger constitutive requirement than rank-one convexity is Ball’s-polyconvexity condition [14, 15]. A free energy function W(F) is called polyconvex if and only if it is expressible in the form \(W(F) =P(F, \operatorname {Cof}F, \det F)\), \(P:\mathbb{R}^{19}\rightarrow\mathbb {R}\), where P(⋅,⋅,⋅) is convex. Polyconvexity implies weak lower semicontinuity, quasiconvexity and rank-one convexity. Quasiconvexity of the energy function W at \(\overline{F}\) means that
holds for all \(\vartheta\in C_{0}^{\infty}(\varOmega)\) such that \(\det (\overline{F}+\nabla\vartheta)>0\). It implies that the homogeneous solution \(\varphi(x)=\overline{F}\). x, \(x\in \mathbb {R}^{3}\) is always a global energy minimizer subject to its own Dirichlet boundary conditions.
In fact, polyconvexity is the cornerstone notion for a proof of the existence of minimizers by the direct methods of the calculus of variations for energy functions satisfying no polynomial growth conditions. This is typically the case in nonlinear elasticity since one has the natural requirement W(F)→∞ as detF→0. Polyconvexity is best understood for isotropic energy functions, but it is not restricted to isotropic response. It was a long standing open question how to extend the notion of polyconvexity in a meaningful way to anisotropic materials [17]. The answer has been provided in a series of papers [18, 19, 70, 96, 144, 166, 216–220]. For isotropic strain energies, the polyconvexity condition in the case of space dimension 2 was conclusively discussed by Rosakis [205] and Šilhavý [227], while the case of arbitrary space dimension was studied by Mielke [152], by Dacorogna and Marcellini [57], Dacorogna and Koshigoe [56] and Dacorogna and Marechal [58].
1.4 Notation
For \(a,b\in \mathbb {R}^{n}\) we let \(\langle{a},{b}\rangle_{\mathbb {R}^{n}}\) denote the scalar product on \(\mathbb {R}^{n}\) with associated vector norm \(\|a\|_{\mathbb {R}^{n}}^{2}=\langle{a},{a}\rangle_{\mathbb {R}^{n}}\). We denote by \(\mathbb {R}^{n\times n}\) the set of real n×n second order tensors, written with capital letters. The standard Euclidean scalar product on \(\mathbb {R}^{n\times n}\) is given by \(\langle{X},{Y}\rangle_{\mathbb {R}^{n\times n}}=\operatorname {tr}{(X Y^{T})}\), and thus the Frobenius tensor norm is \(\|{X}\|^{2}=\langle{X},{X}\rangle_{\mathbb {R}^{n\times n}}\). In the following we do not adopt any summation convention and we omit the subscript \(\mathbb {R}^{n\times n}\) in writing the Frobenius tensor norm. The identity tensor on \(\mathbb {R}^{n\times n}\) will be denoted by , so that . We let \(\operatorname {Sym}(n)\) and PSym(n) denote the symmetric and positive definite symmetric tensors respectively. We adopt the usual abbreviations of Lie-group theory, i.e., \(\mathrm{GL}(n):=\{X\in \mathbb {R}^{n\times n} |\det{X}\neq0\}\) denotes the general linear group, , \(\mathrm {GL}^{+}(n):=\{X\in \mathbb {R}^{n\times n} |\det{X}>0\}\) is the group of invertible matrices with positive determinant, \(\mathfrak{so}(3):=\{X\in\mathbb{R}^{3\times3} |X^{T}=-X\}\) is the Lie-algebra of skew symmetric tensors and \(\mathfrak{sl}(3):=\{X\in\mathbb{R}^{3\times3} | \operatorname {tr}(X)=0\}\) is the Lie-algebra of traceless tensors. Here and in the following the superscript T is used to denote transposition, and \(\operatorname {Cof}A = (\det A)A^{-T}\) is the cofactor of A∈GL(n). The set of positive real numbers is denoted by \(\mathbb {R}_{+}:=(0,\infty)\), while \(\overline{\mathbb {R}}_{+}{:}=\mathbb {R}_{+}\cup \{\infty\}\). For all vectors \(\xi,\eta\in \mathbb {R}^{3}\) we have the (dyadic) tensor product (ξ⊗η) ij =ξ i η j .
Let us consider W(F) to be the strain energy function of an elastic material in which F is the gradient of a deformation from a reference configuration to a configuration in the Euclidean 3-space; W(F) is measured per unit volume of the reference configuration. The domain of W(⋅) is GL+(n). We denote by C=F T F the right Cauchy-Green strain tensor, by B=FF T the left Cauchy-Green (or Finger) strain tensor, by U the right stretch tensor, i.e., the unique element of PSym(n) for which U 2=C and by V the left stretch tensor, i.e., the unique element of PSym(n) for which V 2=B. Here, we are only concerned with rotationally symmetric functions (objective and isotropic), i.e., \(W(F)={W}(Q_{1}^{T} F Q_{2}) \forall F=R U=V R\in\mathrm {GL}^{+}(n), Q_{1},Q_{2},R\in \mathrm {SO}(n)\). We define J=detF and we denote by S 1=D F [W(F)] the first Piola-Kirchhoff stress tensor, by S 2=F −1 S 1=2D C [W(C)] the second Piola-Kirchhoff stress tensor, by \(\sigma=\frac{1}{J} S_{1} F^{T}\) the Cauchy stress tensor, and by τ=J⋅σ the Kirchhoff stress tensor. In this paper, the scalar product will be always denoted by 〈,〉, while “⋅” will denote the multiplication with scalars or the multiplication of matrices. We will also use “.” to denote by D F [W(F)].H the Fréchet derivative of the function W(F) of a tensor F applied to the tensor-valued increment H and to denote by \(D_{F}^{2}[W(F)]. (H,H)\) the bilinear form induced by the second Fréchet derivative of the function W(F) of a tensor F applied to (H,H).
2 Constitutive Requirements in Idealized Nonlinear Elasticity
2.1 The Baker-Ericksen Inequalities
An “ellipticity criterion” much weaker than the LH-ellipticity criterion (1.10) are the so called Baker-Ericksen (BE) inequalities. The Baker-Ericksen inequalities are arguably an absolutely necessary requirement for reasonable material behavior. Baker and Ericksen [13] considered a unit cube of isotropic elastic material to undergo a pure homogeneous deformation with principal directions parallel to the edges of the cube. They showed that the BE-inequalities are necessary and sufficient for the greater principal Cauchy stress to occur in the direction of the greater principal stretch. For an isotropic material, Rivlin [201] supposed that the unit cube considered by Baker and Ericksen is further subjected to a superposed infinitesimal simple shear with direction of shear parallel to an edge of the deformed cube and plane parallel to one of its faces. Rivlin [201] proved that the BE-inequalities are necessary and sufficient conditions for the incremental shear modulus to be positive. The order relation for Cauchy stresses requested by the cube problem considered by Baker and Ericksen then follows.
Let \(\widehat{W}:\mathrm{GL}^{+}(3)\rightarrow\mathbb{R}\) be a function that can be written as a function of the singular values of U via \(\widehat{W}(U)=g(\lambda_{1},\lambda_{2},\lambda_{3})\). Then the BE-inequalities express the requirement that [13, 65, 80, 140, 260]:
where \(\sigma_{i} =\frac{1}{\lambda_{1}\lambda_{2}\lambda_{3}} \lambda_{i}\frac{\partial g}{\partial \lambda_{i}}=\frac{1}{\lambda_{j}\lambda_{k}}\frac{\partial g}{\partial\lambda_{i}}\), i≠j≠k≠i, are the principal Cauchy stresses. Usually, in the literature, the BE-inequalities mean that the above inequalities are strict. In this paper, we prefer to denote these strict inequalities as BE+-inequalities. The BE-inequalities are equivalent (see [140, page 17]) to
We may also view the BE-inequalities as Cauchy true-stress-order-condition (TS-OC).
2.2 Relation of Baker-Ericksen Inequalities to Other Constitutive Requirements
Marzano has shown [143] that the BE-inequalities are necessary and sufficient conditions for a simple extension (a deformation in which two, but not three, principal stretches are equal) to correspond to simple tension. In [153] it was proved that for a homogeneous isotropic hyperelastic material subject to a pure Cauchy shear stress (a state of pure shear: \(\operatorname {tr}(\sigma)=0\) [178]) of the form
the BE-inequalities are satisfied if and only if the corresponding left Cauchy-Green strain tensor B=FF T has the representationFootnote 19
where B 11+B 12>B 33>B 11−B 12>0.
In general, there are many different possible ways of expressing the physically plausible requirement (the Drucker postulate) that stresses should increase with increasing stretch or strainFootnote 20 [250, 255]:
-
TE-inequalities (tension-extension-inequalities): each principal Cauchy stress is a strictly increasing function of the corresponding principal stretch, i.e., \(\frac{\partial\sigma_{i}}{\partial\lambda_{i}}> 0, i=1,2,3 \). Since \(\sigma_{i} =\frac{1}{\lambda_{j}\lambda_{k}}\frac{\partial g}{\partial\lambda_{i}}\), i≠j≠k≠i, we obtain \(\frac {\partial \sigma_{i}}{\partial\lambda_{i}}=\frac{1}{\lambda_{j}\lambda _{k}}\frac{\partial^{2} g}{\partial\lambda_{i}^{2}}\) and the TE-inequalities are equivalent to the separate convexity (SC) of the function g, namely \(\frac{\partial^{2} g}{\partial\lambda_{i}^{2}}>0\), i=1,2,3.
-
OF-inequalitiesFootnote 21 (ordered-force-inequalities [253]): the greater principal force \(T_{i}=\sigma_{i}\lambda_{j}\lambda_{k}= \frac{\partial g}{\partial\lambda_{i}}, i\neq j\neq k \neq i\), which is associated with the greater principal stretch is such that
$$\begin{aligned} (T_i-T_j) (\lambda_i- \lambda_j)\geq0. \end{aligned}$$(2.5)The physical meaning of the OF-inequalities is the following: if a block of isotropic material is supposed to be in equilibrium subject to pairs of equal and oppositely directed normal forces acting upon its faces, then the greater stretch will occur in the direction of the greater force. The OF-inequalities are therefore similar to the BE-inequalities, only that principal forces instead of principal stresses are concerned [253, page 158]. We observe that
$$\begin{aligned} R T_{\mathrm{Biot}}(U) R^T=\tau(V) V^{-1}=J \sigma(V) V^{-1}, \end{aligned}$$(2.6)where F=RU=VR, FR T=V, V T=RF T=V. Hence, the Biot stress tensor T Biot is symmetric [253, page 144] and represents “the principal forces acting in the reference system”. Therefore, we may also denote the OF-inequalities as Biot stress-order-condition (BS-OC). Using nearly incompressible materials like rubber, Ball [14] has described a reasonable situation for which the BE-inequalities are valid, while the OF-condition is violated. This fact was previously proved by Sidoroff [225, page 380].
-
Convexity type conditions. The convexity of W as function of F means \(D_{F}^{2}W(F). (H,H)>0\), for all H≠0, and implies the monotonicity of the Piola-Kirchhoff stress
$$\begin{aligned} \bigl\langle S_1(F+H)-S_1(H),H\bigr\rangle >0, \quad \forall H\neq0. \end{aligned}$$(2.7)This condition yields unqualified uniqueness of boundary value problems, it excludes therefore buckling and is unphysical [107]. For diagonal deformation gradients, the above convexity condition implies the monotonicity of the Biot stress tensor as a function of stretch (BSS-M+).
-
GCN-inequality (Generalized-Coleman-Noll-inequality) [140, page 18]: The GCN-inequality requires that if is a positive-definite symmetric matrix (a pure stretch), then the first Piola-Kirchhoff stress S 1(F) satisfies
$$\begin{aligned} \bigl\langle S_1(\varLambda F)-S_1(F),\varLambda F-F\bigr\rangle >0. \end{aligned}$$(2.8)For homogeneous isotropic hyperelastic materials, the GCN-inequality implies strict convexity of g(λ 1,λ 2,λ 3) in all variables, implying convexity of the strain energy in U [14, 140], which is known to be unreasonable [107, 108]. Moreover, the GCN-inequality implies the OF-condition which according to Sidoroff [225, page 380] is inadmissible for compressible materials. In order to circumvent the problems of the GCN-inequality, Sidoroff [225] proposed the condition
$$\begin{aligned} W(F)=\widehat{g}(\log\lambda_1,\log\lambda_2,\log \lambda_3), \quad\text{where}\ \widehat{g} \text{ should be strictly convex}. \end{aligned}$$(2.9)This is nothing else than Hill’s condition, i.e., our KSTS-M+.
-
E-TSS-inequalities (“empirical”-inequalities): using the general representation of the Cauchy stress tensor for isotropic materials
(2.10)where β 0,β 1,β −1 are functions depending on the principal invariants of B, \(I_{1}(B)=\operatorname {tr}(B)\), \(I_{2}(B)=\operatorname {tr}({\mathrm {Cof}} B)\), I 3(B)=detB, the E-TSS-inequalities require
$$\begin{aligned} \text{E-TSS:}\quad\beta_0\leq0,\qquad \beta_1> 0, \qquad\beta_{-1}\leq0, \end{aligned}$$(2.11)while the strengthened E+-TSS-inequalities require
$$\begin{aligned} \text{E$^{+}$-TSS:}\quad\beta_0\leq0,\qquad \beta_1> 0, \qquad\beta_{-1}< 0 . \end{aligned}$$(2.12)Some experimental data seem to support these inequalities in certain bounded deformation ranges [21, 22]. However, no theoretical motivation has been found for the empirical inequalities [26]. The connection of the E-TSS-inequalities with the Poynting effect is discussed in [154]. Batra [22] (see also [21]) proved that the E-TSS-inequalities are sufficient conditions for the simple extension to correspond to simple tension. Batra’s result has been improved later by Marzano [143], who proved that the BE-inequalities are necessary and sufficient to have the equivalence between simple extension and simple tension. The BE-inequalities are weaker than the E-TSS-inequalities, because for β 0≤0 the BE-inequalities imply [143] only that
$$\begin{aligned} \beta_1> 0. \end{aligned}$$(2.13)Assuming that β −1<0, Johnson and Hoger [122] have shown that one may uniquely write
(2.14)where ψ i =ψ i (β 0(I 1(B),I 2(B),I 3(B)),β 1(I 1(B),I 2(B),I 3(B)),β −1(I 1(B),I 2(B),I 3(B)), i=0,1,2. This means that E+-TSS implies invertibility of the Cauchy stress-stretch relation if β 0,β 1,β −1 do not depend on B.
Nothing can be said about the validity of the third inequality from (2.12), beyond their logical relation to the BE and OF inequalities, which may be abbreviated as follows [255]:
$$\begin{aligned} \mbox{E-TSS}\ \Rightarrow \mathrm{BE} \quad \mbox{and}\quad \mathrm{OF}. \end{aligned}$$While the OF and BE inequalities are equivalent in the linearized theory, in general [254, 255]
$$\begin{aligned} \mathrm{OF} \nRightarrow \mathrm{BE} \quad \mbox{and}\quad \mathrm{BE} \nRightarrow \mathrm{OF}. \end{aligned}$$Hence, the empirical inequalities imply the OF-inequality. Since the OF-condition is not a valid assumption in general (see above), the E-TSS-inequalities in general cannot be a valid assumption either. Rivlin [201] pointed out that the OF-conditions do not, in general, provide an appropriate restriction on the strain-energy function for an isotropic elastic material. Hence, OF is in general an independent statement and Rivlin [201] proved that it is unacceptable.
-
E-BSS-inequalities: in view of the general representation of the Biot stress tensor for isotropic materials
(2.15)the E-BSS-inequalities require
$$\begin{aligned} \beta_0\leq0,\qquad\beta_1> 0, \qquad\beta_{-1}\leq0 , \end{aligned}$$(2.16)while the E+-BSS-inequalities require
$$\begin{aligned} \beta_0\leq0,\qquad\beta_1> 0, \qquad\beta_{-1}< 0 . \end{aligned}$$(2.17) -
IFS (invertible-force-stretch relation): the invertibility of the map (λ 1,λ 2,λ 3)↦T i (λ 1,λ 2,λ 3), where T i are the principal forces [131, 254, 255]. We remark that if the GCN-inequality holds, then g(λ 1,λ 2,λ 2) is strictly convex and IFS follows. IFS expresses the invertibility of the Biot stress tensor T Biot(U) [202], since, up to a superposed rotation, the Biot stress tensor defines the principal forces acting in the reference system [253, page 144] (see also [254]), see (2.6). Rivlin contested this condition since for Neo-Hookean incompressible materials different triples of (λ 1,λ 2,λ 3) may correspond to the same T Biot stress tensor [202].
-
PC-inequality (pressure-compression-inequality): the condition that the volume of a compressible isotropic material should be decreased by uniform pressure but increased by uniform tension is expressed by requiring the hydrostatic tension σ=σ 1=σ 2=σ 3 to be a strictly increasing function of the stretch λ=λ 1=λ 2=λ 3, i.e., \(\frac{\partial\sigma}{\partial\lambda}\geq0\).
-
TSTS-M+ (Jog and Patil’s true-stress-true-strain monotonicity [121]): the monotonicity of the Cauchy stress tensor as a function of logB or logV (see Remark 4.1), i.e.,
$$\begin{aligned} \bigl\langle \sigma(\log B_1)-\sigma(\log B_2),\log B_1-\log B_2\bigr\rangle > 0, \quad\forall B_1, B_2\in \operatorname {PSym}^+(3), B_1\neq B_2. \end{aligned}$$(2.18) -
TSTS-I (true-stress-true-strain-invertibility): the map logB↦σ(logB) is invertible (see Sects. 3 and 4).
-
TSS-M+ (true-stress-stretch-monotonicity): the monotonicity of the Cauchy stress tensor as a function of B or V, i.e.,
$$\begin{aligned} \bigl\langle \sigma(B_1)-\sigma(B_2), B_1-B_2\bigr\rangle > 0, \quad\forall B_1, B_2\in \operatorname {PSym}^+(3), B_1\neq B_2. \end{aligned}$$(2.19) -
TSS-I (true-stress-stretch-invertibility): the map B↦σ(B) is invertible [45]. Since \(\log: \operatorname {PSym}(n)\to \operatorname {Sym}(n)\) is invertible, TSTS-I and TSS-I are clearly equivalent. However, in order to be more precise we keep both definitions. Truesdell and Moon relate TSS-I with “semi-invertibility” [252]. There, they also implicitly show that the E-TSS-inequalities are not in general sufficient for TSS-I. Johnson and Hoger [122] have shown that E+-TSS-inequalities together with constant coefficients are sufficient for TSS-I (see also [64]). Taking a compressible Neo-Hooke model in the form
(2.20)which additively separates the isochoric and volumetric contributions it can be shown [91] that B↦σ(B) is invertible. Here \(h:\mathbb {R}_{+}\rightarrow \mathbb {R}\) must be a strictly convex function satisfying lim J→0 h′(J)=−∞ and lim J→∞ h′(J)=∞. For instance, suitable convex functions are \(h:\mathbb {R}_{+}\rightarrow \mathbb {R}\), \(h(t)=e^{\log^{2} t}\) and h(t)=t 2−2logt. Therefore, TSS-I merits further investigation (see the discussion of IFS).
-
KSTS-M+ (Hill’s Kirchhoff-stress-true-strain-monotonicity [107]): the monotonicity of the Kirchhoff stress tensor as a function of logV, i.e.,
$$\begin{aligned} \bigl\langle \tau(\log V_1)-\tau(\log V_2),\log V_1-\log V_2\bigr\rangle > 0, \quad\forall V_1, V_2\in \operatorname {PSym}^+(3), V_1\neq V_2. \end{aligned}$$(2.21)In [179] Ogden has proved that the later called Odgen’s energy does not satisfy the KSTS-M+ inequality, but it may satisfy KSTS-M+ under some restrictions on deformations confirmed by experiments.
-
KSTS-I (Kirchhoff stress-true-strain-invertibility): the map logV↦τ(logV) is invertible.
-
KSS-M+ (Kirchhoff stress-stretch monotonicity): the monotonicity of the Kirchhoff stress tensor as a function of V, i.e.,
$$\begin{aligned} \bigl\langle \tau( V_1)-\tau(V_2),V_1-V_2 \bigr\rangle > 0, \quad\forall V_1, V_2\in \operatorname {PSym}^+(3), V_1\neq V_2. \end{aligned}$$(2.22) -
KSS-I (Kirchhoff stress-stretch-invertibility): the map V↦τ(V) is invertible.
-
BSTS-M+ (Biot stress-true strain monotonicity): the monotonicity of the Biot stress tensor T Biot(U)=R T S 1(F) as a function of logB, i.e.,
$$\begin{aligned} \bigl\langle T_{\mathrm{Biot}}(\log U_1)-T_{\mathrm{Biot}}( \log U_2),\log U_1-\log U_2\bigr\rangle > 0, \quad\forall U_1, U_2\in \operatorname {PSym}^+(3), U_1\neq U_2. \end{aligned}$$(2.23) -
BSTS-I (Biot stress-true strain-invertibility): the map logU↦T Biot(logU) is invertible.
-
BSS-M+ (Biot stress-stretch-monotonicity): the monotonicity of the Biot stress tensor [131] T Biot(U)=R T S 1(U) as a function of U, i.e.,
$$\begin{aligned} \bigl\langle T_{\mathrm{Biot}}(U_1)-T_{\mathrm {Biot}}(U_2),U_1-U_2 \bigr\rangle > 0, \quad\forall U_1, U_2\in \operatorname {PSym}^+(3), U_1\neq U_2. \end{aligned}$$(2.24)Krawietz [131] has shown that BSS-M+ implies the generalized Colleman-Noll (GCN) inequality. The GCN-inequality in turn is known to be not acceptable from physical grounds [15]. Therefore BSS-M+ is not an admissible requirement in general. However, Ogden [182, page 361] remarks that “there is a good physical reason for supposing that the inequality [(2.24)] holds for real elastic materials, at least for some bounded domain which encloses the stress free origin ”.
-
BSS-I (Biot stress-stretch-invertibility): the map U↦T Biot(U) is invertible. In [181], Ogden suggested that T Biot should be invertible in the domain of elastic response. However, BSS-I is in fact equivalent to Truesdell’s notion IFS and to BSTS-I. This seems to have been overlooked in the literature [181, 182, 201]. In a forthcoming paper we will show that BSS-I excludes bifurcations in Rivlin’s cube problem which is not necessarily a problematic feature.
In the following XSTS-M+, XSTS-I, XSS-M+, XSS-I, E-XSS, E+-XSS have the obvious meaning once the stress tensor X is defined. It is easy to see that BE and TE are necessary for rank-one convexity (see Theorem 5.1), i.e.,
Moreover, because the constitutive inequalities are indifferent to superposed rotations, we have
In Fig. 7, we give a diagram showing the relation between some of the introduced constitutive requirements.
The KSTS-M+ condition does not exclude loss of rank-one convexity (consider, e.g., the quadratic Hencky energy) but it is also in principle not in conflict with rank-one convexity. In order to prove this fact we consider a special Ciarlet-Geymonat energy (linear Poisson’s ratio ν=0)
This uni-constant compressible Neo-Hooke energy was considered in [134] and it has been speculated that it has some advantageous properties [92, 134]. The energy \(W_{\mathrm {CG}}^{\nu=0}\) is LH-elliptic (it is even polyconvex). In the following we show that the energy \(W_{\mathrm{CG}}^{\nu=0}\) satisfies the KSTS-M+ condition. First of all let us remark that
and further
where μ 1,μ 2,μ 3 are the eigenvalues of S=logU. The function g 1 being convex and nondecreasing in each variable μ i , using the Davis-Lewis theorem [35, 59, 135–137] we have that \(W_{\mathrm {CG}}^{\nu=0}\) is convex in S=logU. Thus, the energy \(W_{\mathrm{CG}}^{\nu=0}\) satisfies the KSTS-M+ condition everywhere. Moreover, the BSS-M+ condition is also satisfied, since
is convexFootnote 22 in U [134]. On the other hand, the Mooney-Rivlin variant of the energy \(W_{\mathrm{CG}}^{\nu=0}(F)\),
is not convex considered as a function of logU. We give the following conjecture:
Conjecture 2.2
The energy W eH does not satisfy the E +-TSS-inequalities.
However, we will show in this paper that:
Remark 2.3
The energy W eH satisfies the TSS-I condition (see Sect. 3).
2.3 Baker-Ericksen Inequalities and Schur Convexity
The BE-inequalities related to the function g can be reformulated in terms of Schur-convexity. The connection between Schur-convexity and the Baker-Ericksen inequalities has been clearly pointed out by Šilhavý in [226, page 310] and in full explicitness in [231, pages 421, 429]. For our purpose here and in order to see the relation between Schur-convexity and BE-inequalities it is sufficient to know the following characterizations of Schur-convex functions (further information on Schur-convexity can be found in [141]):
Proposition 2.4
([141, page 84])
Let I be an open interval in \(\mathbb {R}\) and let \(\ell:I^{n}\to \mathbb {R}\) be continuously differentiable. Then ℓ is Schur convex if and only if ℓ is symmetric and \((x_{i}-x_{j}) (\frac{\partial\ell}{\partial x_{i}}-\frac{\partial\ell }{\partial x_{j}} )\geq0 \) for all i≠j.
Proposition 2.5
([141, page 97])
Let I be an open interval in \(\mathbb {R}\) and let \(\ell:I^{n}\to \mathbb {R}\). If the function ℓ is symmetric and convex in each pair of arguments, the other arguments being fixed, then ℓ is Schur-convex.
This notion relates to the BE-inequalities as follows:
Proposition 2.6
([42, Remark 5.1])
Schur-convexity of the function
is equivalent to the fulfillment of the Baker-Ericksen inequalities in terms of the function g.
This characterization makes the following theorem quickly conceivable.
Theorem 2.7
Convex isotropic functions of logU always satisfy the BE-inequalities.
Proof
Convex (isotropic) functions of logU lead to
where ℓ is a convex function. To see this, we apply Proposition 2.6: An energy function given by g satisfies BE if and only if the function \(\ell :\mathbb {R}_{+}^{3}\to \mathbb {R}\), ℓ(x,y,z)=g(e x,e y,e z) is Schur-convex, hence it is sufficient to show that ℓ is convex in each pair of arguments and symmetric. Convexity follows from
and convexity of ℓ, while the symmetry is obtained from the isotropy of W. From the Schur-convexity of ℓ it follows that the functions g satisfies the Baker-Ericksen-inequalities. □
Remark 2.8
(Optimality of logarithmic strain and Baker-Ericksen inequalities)
Theorem 2.7 shows that (Schur-)convex dependence on the logarithmic strain tensor somehow is the ideal form for BE. Isotropic functions W of logU satisfy the BE-inequalities if and only if ℓ from (2.29) is Schur-convex.
In the following remark we gather a few simple convexity properties, some of which can be derived with the results of this section:
Remark 2.9
-
(i)
\(e^{\|\operatorname {dev}_{n}\log U\|^{2}} \), \(e^{\|\log U\|_{}^{2}} \), \(\|\operatorname {dev}_{n}\log U\|^{2} \), \(\|\log U\|_{}^{2} \) are all convex functions of logU, i.e., satisfy Hill’s inequality (KSTS-M).
-
(ii)
\(e^{\|\log U\|^{2}} \) satisfies BE, because ∥⋅∥2 is convex and hence so is \(e^{\| \cdot\|^{2}}\).
-
(iii)
\(e^{\|\operatorname {dev}_{n}\log U\|_{}^{2}} \) satisfies the Baker-Ericksen inequalities in any dimension because \(\|\operatorname {dev}_{n}\cdot\|_{}^{2}\) is convex and t↦e t is monotone increasing and convex.
-
(iv)
\(e^{\|\operatorname {dev}_{n}\log U\|^{2}} \), \(e^{\|\log U\|_{}^{2}} \) are SC (separately convex) in λ i ,i=1,2,3 (direct calculations) but not convex in (λ 1,λ 2,λ 3). Therefore, \(e^{\|\operatorname {dev}_{n}\log U\|^{2}} \), \(e^{\|\log U\|_{}^{2}} \) is not convex in U and the energy terms do not satisfy BSS-M+.
-
(v)
\(\|\operatorname {dev}_{n}\log U\|^{2} \), \(\|\log U\|_{}^{2} \) are not SC (separately convex) [226] in λ i ,i=1,2,3 (they do not satisfy the TE-inequalities) and therefore are not rank-one convex [39, 165].
-
(vi)
(the maximum entropy function) [176] does not satisfy the BE-inequalities but satisfies the TE-inequalities. The formulation of Becker [27] is hyperelastic for Poisson’s ratio ν=0 (exclusively), which is the case for the modelling of cork. Moreover, since \(T_{\mathrm{Biot}}^{\mathrm{Becker}}(U)=D_{U} W_{{\mathrm {Becker}}}^{\nu=0}(U)=2 \mu \log U\) and since log is monotone, it follows \(\langle T_{\mathrm {Biot}}^{\mathrm{Becker}}(U_{1})-T_{\mathrm{Biot}}^{\mathrm {Becker}}(U_{2}),U_{1}-U_{2}\rangle>0\) which is BSS-M+ for ν=0. Hence, it is clear that IFS (BSS-I) hold. Moreover, \(T_{\mathrm{Biot}}^{\mathrm{Becker}}\) satisfies BSS-I for arbitrary \(-1<\nu\leq \frac{1}{2}\).
3 The Invertible True-Stress-True-Strain Relation
We consider the exponentiated Hencky energy
Here, we first show that the corresponding true-stress-true-strain relation
is invertible for the exponentiated energy W eH. Then we prove that a pure planar Cauchy shear stress σ produces a biaxial shear strain for general Hencky type energies. The invertibility of the true-stress-true-strain relation, i.e., of the map logV↦σ(logV), is denoted by TSTS-I as introduced previously. In the older literature, the requirement of an invertible stress-strain relation is tacitly assumed to always hold generally, even for nonlinear materials response [196].
The Kirchhoff stress tensor corresponding to (3.1) is given [182] by
where σ eH is the Cauchy stress tensor. Hence, the Kirchhoff stress τ eH has the expression
while the Cauchy stress tensor is
Moreover, by orthogonal projection onto the Lie-algebra \(\mathfrak {sl}(3)\) and , respectively, we find
Let us use the notation \(x:=\operatorname {tr}(\log V)\). In this notation, from (3.5), we have
The function \(x\mapsto e^{\widehat{k} x^{2}-x}x\), \(x\in \mathbb {R}\), is strictly monotone if \(\widehat{k}>\frac{1}{8}\). Thus, in this case, Eq. (3.6) has a unique solution \(x=\operatorname {tr}(\log V)\) as a function of \(\operatorname {tr}(\sigma_{{\mathrm{eH}}})\). We substitute the solution x of Eq. (3.6) in Eq. (3.5)1, to obtain
and further
Using the substitution \(Y=\operatorname {dev}_{3}\log V \) we have
Because \(Y\mapsto e^{k \|Y\|^{2}}\), Y∈Sym(3) is uniformly convex with respect to Y, it follows that \(D^{2}_{Y} e^{k \|Y\|^{2}}(H,H)>0\), for all Y∈Sym(3), and for all H∈Sym(3). Hence, the function \(Y\mapsto D_{ Y} e^{\|Y\|^{2}}\) is a strictly monotone tensor function. Therefore, Eq. (3.9) has a unique solution \(Y=\operatorname {dev}_{3}\log V\) as a function of \(\operatorname {dev}_{3}\sigma_{{\mathrm{eH}}}\) and \(x=\operatorname {tr}(\log V)\). Hence, given the Cauchy stress σ eH, we can always uniquely find \(\operatorname {tr}(\log V)\) and \(\operatorname {dev}_{3}\log V\), i.e., logV, such that (3.4) is satisfied. Therefore TSTS-I is true in the three-dimensional case. Simple changes of the computations show that TSTS-I is also true in the two-dimensional case.
Whether well known elastic strain energies like compressible Neo-Hooke, Mooney-Rivlin or Ogden type energies [48] give rise to an overall invertible Cauchy-stress-stretch relation σ=σ(B) is not clear. This is connected to possible homogeneous bifurcations, e.g., in a hydrostatic loading problem [47, 125].
Let us consider, in the following, three particular cases for our energy W eH : pure Cauchy shear stress, uniaxial tension and simple shear.
3.1 Pure Cauchy Shear Stress
In this subsection we consider the case of pure Cauchy shear stress, i.e.,
We aim to find the corresponding form of the stretch tensor V. From (3.3), by considering the trace on both sides, it follows that in the case of pure shear stress, we must have \(\operatorname {tr}(\log V)=0 \Leftrightarrow \det V=1\). We need to remark that the conclusion that pure Cauchy shear stresses lead to an incompressible response is not verified, e.g., for Neo-Hooke, Mooney-Rivlin or Ogden-type materials. In our case, however, it remains to solve
Inspired by Vallée’s result in [256], a solution of Eq. (3.11) can be found in the form of pure biaxial stretchFootnote 23
Corresponding to this ansatz for V, we have
and Eq. (3.11) becomes
For all \(s\in \mathbb {R}\) we always have a solution γ=γ(s) of the above equation, because \(\gamma\mapsto e^{k \frac{\gamma ^{2}}{2}} \frac{\gamma}{2}\) is monotone increasing. Thus, we recover completely the classical statement that in linear elasticity, pure shear stresses (3.10) produces pure biaxial shear strains (3.18), i.e.,
where ε=sym∇u. For the finite strain case, this equivalence seems to be true only for Hencky type energies [256].
3.2 Uniaxial Cauchy Tension
Next we consider the case of uniaxial tension
From (3.4), by projection on the Lie-algebras \(\mathfrak {sl}(n)\) and , we have
This means that a suitable ansatz for V is similar to that considered by Vallée [256]
It is easy to compute that, corresponding to this ansatz for V, we have
and Eq. (3.17) becomes
In terms of Poisson’s ratio \(\nu {\in(-1,\frac{1}{2})}\) and Young’s modulus E>0, we have
For all \(s\in \mathbb {R}\) we always have a solution x=x(s) of the second equation and the function s↦x(s) is monotone strictly increasing if κ>0 and sgn[x(s)]=sgn[s]. Having x(s) from (3.21)2, we then find the unique solution a(s) of (3.21)1. Moreover, for μ>0 the function s↦a(s) is also monotone strictly increasing and sgn[a(s)]=sgn[s].
Therefore, the ansatz
corresponds to
In the limit case \(\nu=\frac{1}{2}\) (linear incompressibility), we observe that (3.21)2 implies x=0. Therefore
and this corresponds to
On the other hand, σ eH=0 (s=0) is equivalent with logV=0 (x=0,a=0).
In the case ν=0, the nonlinear system (3.21) becomes
which implies \(e^{k \frac{3}{2} a^{2}} a=e^{\widehat{k} x^{2}} \frac{2}{3} x\). Using the substitution \(x=\frac{3}{2} y\), we have \(e^{k \frac{3}{2} a^{2}} a=e^{\widehat{k}{\frac{9}{4}} y^{2}} y\). We choose the dimensionless material parameters \(k, \widehat{k}\) such that \(3 \widehat{k}=2 k\) and we further deduce that \(x=\frac {3}{2} a\). Thus, with the substitution \(\gamma=\frac{3}{2} a\), we deduce
which corresponds to
Moreover, if there is no lateral contraction in uniaxial tension in the case ν=0, then from (3.18) we deduce that we must have \(x=\frac{3}{2} a\). On the other hand, for ν=0, if \(x=\frac {3}{2} a\), then using (3.26) we obtain that \(3 \widehat {k}=2 k\) must hold necessarily.
Thus, we have shown that uniaxial tension produces extension/contraction, as in linear elasticity, since for linear elasticity, using the inverted law , we have
where ε=sym∇u. In the limit case \(\nu =\frac{1}{2}\), we have \(\operatorname {tr}(\varepsilon)=0\), while for ν=0 there is no lateral contraction in uniaxial tension as in (3.28). In linear elasticity, the Poisson’s ratio is defined by \(\nu=-\frac{\varepsilon _{22}}{\varepsilon_{11}}\) [193], where the transverse strain ε 22 and the longitudinal strain ε 11 are computed in uniaxial extension.
Remark 3.1
(W eH with no lateral contraction for ν=0)
The above formula (3.28) is true if and only if the distortional stiffening parameter k and the volumetric strain stiffening parameter \(\widehat{k}\) are such that \(3 \widehat{k}=2 k\). In this case ν=0 implies no lateral contraction for the exponentiated Hencky energy (3 parameter energy: ν,E,k)
3.3 On the Nonlinear Poisson’s Ratio
We define the nonlinear Poisson’s ratio as negative ratio of the lateral contraction and axial extension measured in the logarithmic strain, i.e., according to (3.19)
The nonlinear Poisson’s ratio [193] is a purely kinematical quantity which can be measured in the simple tension test. In [84, page 75] it is defined as \(\widehat{\nu }(s)=-\frac{\lambda_{2}-1}{\lambda_{1}-1}\). The (linear) Poisson’s ratioFootnote 24 \(\nu=-\frac{\varepsilon _{22}}{\varepsilon_{11}}\) [193] for many materials is positive and not strain sensitive until nonelastic effects intervene [124, 239]. In view of our definition, we have
Since sgn[a(s)]=sgn[s]=sgn[x(s)] we deduce that \(\widehat{\nu}\in(-\frac{1}{2},1)\), which is in concordance with the definition from linear elasticity. From (3.31) we have \(a=\frac{2}{3} \frac{1+\widehat{\nu}}{1-2 \widehat{\nu}} x\). Moreover, the system (3.21) becomes
This system is also equivalent to
In the following we consider the case of the three parameter energy \(W_{{\mathrm{eH}}}^{\sharp}\), i.e., the case \(k \frac {2}{3}=\widehat{k}\). In this case we obtain the system
From the above equations we deduce that
Hence, \(\widehat{\nu}>0\) implies ν>0. On the other hand, if we assume that there is ν>0 such that \(\widehat{\nu}<0\), then we obtain
But ν>0 implies \(\frac{1+\nu}{1-2 \nu}>1\), while \(\widehat {\nu}<0\) implies \(\frac{1+\widehat{\nu}}{1-2 \widehat{\nu}}<1\). This is in clear contradiction with (3.35). Therefore \(\widehat{\nu}>0\Leftrightarrow \nu>0\). If \(\widehat{\nu}=0\), then from (3.34) it results that we have to have ν=0 and x is determined only by \(e^{\widehat{k} x^{2}-x} x=\frac{s}{E}\) (see the discussion from Sect. 3.2 about the particular case ν=0).
If \(\widehat{\nu}\neq0\), then, since \(\widehat{\nu}\in(-\frac {1}{2},1)\), we deduce that \(\widehat{\nu}\) is given as solution of the following equation if s>0:
while for s<0, \(\widehat{\nu}\) is solution of the equation:
with x given by the independent equation \(e^{\widehat{k} x^{2}-x} x=(1-2 \nu)\frac{s}{E}\). In Figs. 8 and 9 we give the representation of the nonlinear Poisson’s ratio \(\widehat{\nu}\) as function of \(\frac{s}{E}\), corresponding to different values of the (linear) Poisson’s ratio. We also represent (see Fig. 10) the influence of the parameter \(\widehat{k}\) on the nonlinear Poisson’s ratio \(\widehat{\nu}\).
We notice three particular cases. If ν=−1, then it follows from (3.21)1 that a=0 and further from (3.30) that \(\widehat{\nu}=-1\). If \(\nu=\frac{1}{2}\), then (3.21)2 leads to x=0, while (3.30) implies \(\widehat{\nu}=\frac {1}{2}\). Moreover, if ν=0, then (3.21) shows \(x=\frac {3}{2} a\). Therefore, from (3.30) we obtain \(\widehat{\nu}=0\).
3.4 Cauchy Stress in Simple Shear for W H and W eH
Consider a simple glide deformation of the form
with γ>0. Then the polar decomposition of F=R⋅U=V⋅R into the right Biot stretch tensor \(U=\sqrt{F^{T} F}\) of the deformation and the orthogonal polar factor R is given by
Further, U can be orthogonally diagonalized to
where
and \(\lambda_{1}=\frac{1}{2}(\sqrt{\gamma^{2}+4}+\gamma)\) denotes the first eigenvalue of U. Hence, the principal logarithm of U is
while the principal logarithm of V is given by
3.4.1 Cauchy Stress in Simple Shear for W H
The Kirchhoff stress tensor τ H corresponding to the Hencky energy W H is given by
Hence, in the case of simple shear, we have
Moreover, since detF=1 and \(\sigma=\frac{1}{\det F} \tau\), we obtain
In particular, the simple shear stress [σ H]12 corresponding to the amount of shear is given by
The quadratic Hencky energy looses ellipticity in simple shear, see Sect. 5.3.
3.4.2 Cauchy Stress in Simple Shear for W eH
In view of (3.3), the Kirchhoff stress tensor τ eH is given by
Since for simple shear detF=1 and \(\operatorname {tr}(\log V)=0\), we deduce
For the exponentiated energy W eH the simple shear stress [σ eH]12 corresponding to the amount of shear γ is given by
The response of some rubbers is (more or less) linear under simple shear loading conditions (this is the raison d’être of the Mooney-Rivlin model [158], where \([{\sigma _{{\mathrm{MR}}}}]_{{12}}=2(C_{1}+C_{2}) \gamma=\frac{E}{2(1+\nu)} \gamma\)). Let us therefore compare (Fig. 11) the simple shear stress σ 12 corresponding to the amount of shear for the energies W eH,W H, for the Mooney-Rivlin energy (MR) and for the Neo-Hooke energy (NH).
Later in this paper we will implicitly show that W eH remains rank-one convex in simple shear. Rubber becomes harder to deform at large strains, probably because of limited chain extendability. Many rubber materials are normally subjected to fairly small deformation, rarely exceeding 25 %, in tension/compression or 75 % in simple shear.
3.4.3 Cauchy Stress in Simple Shear in the Infinitesimal Case
It is well known that in the infinitesimal case the Cauchy stress tensor is given by
where ε=sym∇u is the linearized strain tensor of the deformation φ(x)=x+u(x) with the displacement \(u:\varOmega\subset \mathbb {R}^{3}\rightarrow \mathbb {R}^{3}\). In the infinitesimal case, simple shear corresponds to the pure shear strain
The Cauchy stress tensor in simple shear is given by
3.5 Response of Rubber Under Large Pressure. Equation of State
Rubber, if considered as a linear, isotropic solid very nearly satisfies ν=0.5 (i.e., for small loads, rubber responds practically incompressible). However, rubber under large pressure allows for an appreciable volume change [28]. This can be seen by experimentally determined equations of states (EOS), relating the mean stress (the pressure) \(\frac{1}{3}\operatorname {tr}(\sigma)\) to the relative volume change detF. For the exponentiated Hencky energy this relation is given by
while for the quadratic Hencky energy we have
We have found that the analytical expression of the pressure \(\frac {1}{3} \operatorname {tr}(\sigma)\) is in concordance with the classical Bridgman’s compression data for natural rubber as reported in [28, page 497, Fig. 4.47] with κ=2.5⋅109 Pa=2.5⋅109 GPa (see Figs. 12, 13). Tabor [242] showed that the bulk modulus of rubber is of the order 1 GPa and found the value of the bulk modulus κ to be about 2 GPa. Recently, Zimmermann and Stommel [268] determined experimentally that κ is of the order κ=2.5 GPa, which can be found in the literature as well (see, e.g., [115]).
From Fig. 13, certain threshold values seem unreachable by compression, unless an infinite amount of energy is spent. However, this impression is misleading: stresses and energy remain finite for any stretch V∈PSym(3). Therefore, in our model the assumption of limited chain extensibility is not needed.
In Fig. 14 we represent the pressure \(\frac{1}{3} \operatorname {tr}(\sigma)\) as function of detF in the neighborhood of the identity and we compare the analytical results obtained for the exponentiated volumetric Hencky energy \(\frac{\kappa}{2 \widehat {k}} e^{\widehat{k} (\log\det F)^{2}}\) with \(\widehat{k}=22\) with the analytical form corresponding to the volumetric quadratic Hencky energy \(\frac{\kappa}{2}(\log\det F)^{2}\), as well with Bell’s experimental data [28]. In the neighborhood of the identity , the quadratic Hencky energy gives also good results, while in large compression the values obtained using the quadratic Hencky energy are not in agreement with the experimental data (see Figs. 12, 13). Moreover, the EOS relation corresponding to the quadratic Hencky is not invertible for detF>e and it is not able to predict the response for \(\frac{1}{3} \operatorname {tr}(\sigma)>\frac{1}{e}\) [256].
4 Monotonicity of the Cauchy Stress Tensor σ as a Function of logB
Motivated by [121] we consider a novel constitutive requirement for an isotropic material, namely that the Cauchy stress tensor σ should be a monotone tensor function of logB, B=V 2, i.e.,
We will refer to (4.1) as true-stress-true-strain monotonicity (TSTS-M), and to
as strict true-stress-true-strain monotonicity (TSTS-M+). In a forthcoming paper [142] (see also [178]), it is shown that
Recall that Hill’s monotonicity condition (KSTS-M) is monotonicity of the Kirchhoff stress tensor in terms of the logarithmic strain tensor, i.e.,
where τ is the Kirchhoff stress tensor. The strict Hill’s monotonicity condition is denoted by KSTS-M+. Also, Hill has shown that convexity of the quadratic Hencky energy W H in terms of logB implies the BE-inequalities.
In the linear theory of elasticity, , ε=sym∇u, and the TSTS-M+ condition implies, after linearization, 〈σ(ε 1)−σ(ε 2),ε 1−ε 2〉>0 for all ε 1,ε 2∈Sym(3), ε 1≠ε 2, and it is satisfied if and only if μ,κ>0. Therefore, in the linear setting, TSTS-M+ is already stronger than rank-one convexity which only implies μ>0, 2μ+λ>0.
The TSTS-M+ condition caught our attention because of its possible relevance for the stability of nonlinear isotropic elastic bodies. Initially, its relation to loss of stability or loss of rank-one convexity was left unclear. Jog and Patil [121] have given a family of energies, including Neo-Hooke and Mooney-Rivlin energies, which does not satisfy TSTS-M+. In this work we show (for the first time) that there exist free energies (namely W eH) which do not satisfy TSTS-M+ throughout but which are rank-one convex, while we also provide examples (namely \(F\mapsto \frac{\mu}{k} e^{k \|\log V\|^{2}}\), \(k\geq\frac{3}{8}\)) which satisfy TSTS-M+ but which are not rank-one convex. In [121, page 671] it is conjectured that the TSTS-M+ condition is stronger than polyconvexity, which, however, is not true since TSTS-M+ is not even stronger than rank-one convexity. The TSTS-M+ condition implies that the Cauchy stress is an invertible function of the left stretch tensor (TSS-I); a property which could become important in FEM-computations based on the least squares finite element method [43, 44, 221, 240, 241].
For isotropic materials, TSTS-M+ (and TSS-I) leads to a unique stress free reference (natural) configuration, up to a rigid deformation, i.e., σ=0 implies (or, equivalently, logB=0), since taking in (4.2) we deduce at once
We note the simple implications
The TSTS-M+ and KSTS-M+ condition are frame-indifferent in the following sense: superposing one time dependent rigid rotation field Q(t)∈SO(3), we have
and the identity
holds, due to the isotropy of the formulation.
In Sect. 3 we have shown that
where σ is the Cauchy stress and τ the Kirchhoff stress corresponding to the energy F↦W(logV).
Remark 4.1
Sufficient for TSTS-M+ is Jog and Patil’s [121] constitutive requirement that
is a positive definite fourth order tensor.
Proof
Let us remark that for all B 1,B 2∈PSym+(3) and 0≤t≤1, we have 2logV 1=logB 1,2logV 2=logB 2 and t(logV 1−logV 2)+logV 2∈Sym(3), where \(V_{1}^{2}=B_{1}\), \(V_{2}^{2}=B_{2}\). Moreover, we have
Using that the integrand is non-negative, due to the assumption that \(\mathbb{Z}=D_{\log V}\sigma(\log V)\) is positive definite, the TSTS-M+ condition follows. □
With the substitution X=logV, the monotonicity of σ as a function of \(X\in \operatorname {Sym}(3)\) means
and sufficient for monotonicity of σ is (proof as in Remark 4.1)
Remark 4.2
Since \(e^{\|\log U\|^{2}}\) is uniformly convex in logU, KSTS-M+ is satisfied everywhere.
4.1 TSTS-M+ for the Energy \(F\mapsto\frac{\mu}{k}e^{k \|\log V\|^{2}}+\frac{\lambda}{2\widehat{k}}e^{\widehat{k}[\operatorname {tr}(\log V)]^{2}}\)
Proposition 4.3
The Cauchy stress tensor σ corresponding to the energy \(F\mapsto\frac{\mu}{k} e^{k \|\log V\|^{2}}\) satisfies TSTS-M for \(k\geq\frac{3}{8}\) and TSTS-M + for \(k> \frac{3}{8}\).
Proof
In order to show this, let us remark that for the energy \(F\mapsto \frac{\mu}{k} e^{k \|\log V\|^{2}}\) we have
We compute
If \(\operatorname {tr}(H)\langle X,H\rangle<0\), then obviously \(\langle D_{X}\widetilde{\sigma}(X). H,H\rangle>0\notag \). Otherwise, for \(k\geq\frac{3}{8}\) it follows
Moreover, for \(k> \frac{3}{8}\) we have \(\langle D_{X}\widetilde{\sigma}(X). H,H\rangle>0 \) and the proof is complete. □
Corollary 4.4
The Cauchy stress tensor corresponding to the energy \(F\mapsto\frac {\mu}{k} e^{k \|\log V\|^{2}}+\frac{\lambda}{2\widehat{k}} e^{\widehat{k} [\operatorname {tr}(\log V)]^{2}}\) satisfies TSTS-M for \(k\geq\frac{3}{8}\), \(\widehat {k}\geq\frac{1}{8}\) and μ,λ>0 and TSTS-M + for \(k> \frac{3}{8}\), \(\widehat{k}\geq\frac{1}{8}\) (or \(k\geq\frac{3}{8}\), \(\widehat {k}> \frac{1}{8}\)) and μ,λ>0.
Proof
From direct calculations we have
Thus, if \(\widehat{k}\geq\frac{1}{8}\), then
The above inequality is strict for \(\widehat{k}> \frac{1}{8}\). The rest of the proof follows from the previous theorem. □
Since, however, we prove in Sect. 5.8 that \(F\mapsto e^{\| \log V\|^{2}}\) is not LH-elliptic, we note that in general
answering a conjecture arising in [121]. It is also clear that
as already implied by some examples from the development in [121]. As a preliminary conclusion on the status of the TSTS-M-condition we can note that TSTS-M is an additional plausible criterion, basically independent of other conditions. It is compatible, in principle, with rank-one convexity, but does not imply it. It can be speculated that TSTS-M+ should hold for some domain of bounded distortions.
The same remarks hold for the KSTS-M+ condition, i.e., the notion is frame-indifferent and
4.2 TSTS-M+ for the Family of Energies W eH
Let us consider our exponentiated Hencky energy with volumetric-isochoric decoupled format
Proposition 4.5
The TSTS-M + condition (4.11) is not everywhere satisfied for the energy function W eH defined by (4.17) for n=2,3.
Proof
In Sect. 3 we have shown that
We compute
For \(\widehat{k}>\frac{1}{8}\), it is easy to see that
On the other hand, the first summand in (4.19)
is not positive for all \(H\in \operatorname {Sym}(3)\). For instance, we may choose
and we obtain
which is negative for large values of a (in the two-dimensional case we may consider ). Hence, the TSTS-M condition is not satisfied for the energy \(F\mapsto e^{k \|\operatorname {dev}_{3} \log V\|^{2}}\) alone.
The next question is if one may control the negative part in (4.21) by adding the volumetric function \(F\mapsto e^{\widehat{k} (\operatorname {tr}(\log V)^{2}}\). The answer is negative as we may see in the following. Let us consider the matrices
where, for large values of t>0, q is chosen such that
For the considered matrices, we deduce
and
In the two-dimensional case, as counter-example we may consider the matrices
where, for large values of t>0, q satisfies (4.25). Therefore, the monotonicity condition is not satisfied and the proof is complete. □
However, the energy W eH satisfies the TSTS-M+ condition by restricting it to some “elastic domain” in stretch space (a cone in PSym(3)) of bounded distortions
which is equivalent to restrict the energy \(\overline{W}_{{\mathrm {eH}}}(\log V)=W_{{\mathrm{eH}}}(V)\) to the “elastic domain” in strain space
where \(\widetilde{\boldsymbol{\sigma}}_{ \mathbf{y}}\) is a dimensionless quantity related to the so called yield stress σ y , whose dimension is [MPa], i.e., a critical value of shear stress, below which a plastic or viscoplastic material behaves like an elastic solid; above this value, a plastic material deforms and a viscoplastic material flows. This assumption is in complete concordance with the Huber-von-Mises-Hencky distortional strain energy hypothesis [105].
We also need to introduce the elastic domain in the Kirchhoff-stress space
Proposition 4.6
(TSTS-M+ is satisfied for the energy function W eH for bounded distortions)
If the material parameters \(\mu,\kappa>0, \widehat{k}>\frac{1}{8}\) and \(\widetilde{\boldsymbol{\sigma}}_{ \mathbf{y}}\in \mathbb {R}\) are such that
holds true, then there exists k>0 such that
i.e., the TSTS-M + inequality is satisfied in \(\mathcal {E}(W_{{\mathrm{eH}}},\textit{TSTS-M}^{+}, \log V,\frac{2}{3} \widetilde{\boldsymbol{\sigma}}_{ \mathbf{y}}^{2})\) (or equivalently, the TSTS-M + inequality is satisfied in \(\mathcal {E}^{+}(W_{{\mathrm{eH}}},\textit{TSTS-M}^{+}, V,\frac{2}{3} \widetilde{\boldsymbol{\sigma}}_{ \mathbf{y}}^{2})\)).
Proof
Let us rewrite Eq. (4.19) as
If \(\widehat{k}>\frac{1}{8}\), then \(2 \widehat{k}[\operatorname {tr}(X)]^{2}-\operatorname {tr}(X)+1> 0 \) for all \(X\in \operatorname {Sym}(3)\). Hence, for
to hold for all \(X,H\in \operatorname {Sym}(3)\), it is sufficient to have
Because μ,κ>0, for matrices \(X\in \operatorname {Sym}(3)\) which belong to the “elastic domain” \(\mathcal{E}(W_{{\mathrm{eH}}},\text {TSTS-M}^{+}, \log V,\frac{2}{3} \widetilde{\boldsymbol{\sigma}}_{ \mathbf{y}}^{2})\) defined by (4.30) the above inequality is satisfied if
On the other hand, for \(\widehat{k}>\frac{1}{8}\), we find
Taking \(\inf_{X\in \operatorname {Sym}(3)}\) of the right hand side of (4.36), we obtain that if there exist \(\widehat{k}>\frac{1}{8}\) and k>0 such that
holds, then the inequality (4.36) follows. The question is whether there are always numbers k>0 satisfying the above inequality. We have
In view of (4.39) and using the continuity of the function \(t\mapsto \frac{e^{t \frac{2}{3} \widetilde{\boldsymbol{\sigma}}_{ \mathbf{y}}^{2}}}{t}\), we conclude: if the material parameters μ,κ>0, \(\widehat{k}>\frac{1}{8}\) and \(\widetilde{\boldsymbol{\sigma}}_{ \mathbf{y}}\in \mathbb {R}\) are chosen such that
then we may find a constant k>0 which satisfies
Using (4.37) we obtain that there is a constant k>0 such that (4.38) is satisfied. Hence, there is a constant k>0 such that (4.35) holds true, which in view of (4.34) implies (4.33) and the proof is complete. □
We remark that Proposition 4.6 is unspecific about the values for k>0. Written in terms of Poisson’s ratioFootnote 25 \(-1<\nu\leq\frac{1}{2}\), the extra constitutive assumption (4.32) becomes
Heinrich Hencky [99] offered a physical interpretation of the von Mises criterion suggesting that yielding begins when the elastic energy of distortion reaches a critical value [106] (see also [49, 50, 81]). For this, the von Mises criterion is also known as the maximum distortional strain energy criterion. This stems from the relation between the second deviatoric stress invariant J 2 and the elastic strain energy of distortion \(W_{D} = \frac{J_{2}}{2 \mu}\), with the elastic shear modulus \(\mu= \frac{E}{2(1+\nu)}\), Young’s modulus E and Poisson’s ratio ν.
In the following we express the constitutive assumption (4.40) in terms of the yield stress σ y and the Kirchhoff stress tensor τ eH.
Proposition 4.7
(W eH satisfies TSTS-M+ for bounded distortions)
There exist \(\widehat{k}>\frac{1}{8}\) and k>0, such that for all \({\boldsymbol{\sigma}}_{ \mathbf{y}}\in \mathbb {R}\) for which
holds true, the TSTS-M + inequality is satisfied for all V∈PSym(3) (for all logV∈Sym(3)) for which \(\tau _{{\mathrm{eH}}}(\log V)\in \mathcal{E}(W_{{\mathrm{eH}}},\textit{TSTS-M}^{+}, \tau_{{\mathrm {eH}}},\frac{2}{3} {\boldsymbol{\sigma}}_{ \mathbf{y}}^{2})\).
Proof
Let us remark that any X∈Sym(3) for which τ eH(X) lies in the set \(\mathcal{E}(W_{{\mathrm {eH}}},\text{TSTS-M}^{+}, \tau_{{\mathrm{eH}}},\frac{2}{3} {\boldsymbol{\sigma}}_{ \mathbf{y}}^{2})\) satisfies
Hence, \(\|\operatorname {dev}_{3} X\| e^{k \|\operatorname {dev}_{3} X\|^{2}}\leq\sqrt{\frac{2}{3}}\frac {{\boldsymbol{\sigma}}_{ \mathbf{y}}}{2 {\mu}}\). If the yield limit σ y is chosen such that (4.43) is satisfied, then there is \(\widetilde{\boldsymbol{\sigma}}_{\mathbf{y}}>0\) such that \(0<{\boldsymbol{\sigma}}_{\mathbf{y}}\leq{2 {\mu} }\widetilde {\boldsymbol{\sigma}}_{\mathbf{y}} e^{k \frac{2}{3} \widetilde{\boldsymbol{\sigma}}_{\mathbf{y}}^{2}}\), and \(\widetilde{\boldsymbol{\sigma}}_{ \mathbf{y}}^{2}\leq\frac{6 \kappa}{e \mu} \frac{8 \widehat{k}-1}{8 \widehat{k}}\). Hence, \(0<\sqrt{\frac{2}{3}}\frac{{\boldsymbol{\sigma}}_{ \mathbf {y}}}{2 {\mu} }\leq\sqrt{\frac{2}{3}} \widetilde{\boldsymbol {\sigma}}_{ \mathbf{y}} e^{k \frac{2}{3} \widetilde{\boldsymbol{\sigma}}_{ \mathbf{y}}^{2}}\), which implies \(\|\operatorname {dev}_{3} X\| e^{k \|\operatorname {dev}_{3} X\|^{2}}\leq\sqrt{\frac{2}{3}} \widetilde{\boldsymbol{\sigma}}_{ \mathbf{y}} e^{k \frac{2}{3} \widetilde{\boldsymbol{\sigma}}_{ \mathbf{y}}^{2}}\). In view of the monotonicity of \(t\mapsto t e^{k t^{2}}\), we deduce
and \(X\in\mathcal{E}(W_{{\mathrm{eH}}},\text{TSTS-M}^{+}, \log V,\frac{2}{3} \widetilde{\boldsymbol{\sigma}}_{ \mathbf {y}}^{2})\). Since we have assumed that \(\widetilde{\boldsymbol{\sigma }}_{ \mathbf{y}}^{2}\) and \(\widehat{k}>\frac{1}{8}\) satisfy (4.32), then Proposition 4.6 ensures the existence of k>0 such that the TSTS-M+ inequality is satisfied and the proof is complete. □
Remark 4.8
-
(i)
In terms of Young’s modulus E and Poisson’s ratio ν the condition imposed on the yield limit σ y by Proposition 4.7 is
$$\begin{aligned} 0< {\boldsymbol{\sigma}}_{\mathbf{y}}^2\leq\frac{1}{2 e} \frac{ E^2}{(1+\nu)(1-2 \nu)} \frac{8 \widehat {k}-1}{\widehat{k}} e^{k \frac{2}{3 e} \frac{1+\nu}{1-2 \nu} \frac{8 \widehat{k}-1}{\widehat{k}}}. \end{aligned}$$(4.45) -
(ii)
In the incompressible limit κ→∞, it follows that W eH satisfies TSTS-M+ everywhere since then \(\mathcal{E}(W_{{\mathrm{eH}}},\text{TSTS-M}^{+}, \tau_{{\mathrm {eH}}},\frac{2}{3} {\boldsymbol{\sigma}}_{ \mathbf {y}}^{2})=\mathrm{Sym}(3)\) and TSTS-M+⇔ KSTS-M+.
4.3 TSTS-M+ for Three-Parameter Energies \(W_{{\mathrm {eH}}}^{\sharp}\)
In this subsection we consider the set of energies of the family W eH for which \(\widehat{k}=\frac{2}{3} k\).
Proposition 4.9
(The exponentiated 3-parameter energy W eH satisfies TSTS-M+ for bounded distortions)
Let \(\widetilde{\boldsymbol{\sigma}}_{ \mathbf{y}}>0\) be such that \(\widetilde{\boldsymbol{\sigma}}_{ \mathbf{y}}^{2} e^{\frac{1}{8} \widetilde{\boldsymbol{\sigma}}_{ \mathbf{y}}^{2}+1}\leq \frac{6 \kappa}{\mu} \) holds true. Then there exists \(k>\frac{3}{16}\) such that for all σ y satisfying \(0<{\boldsymbol{\sigma}}_{ \mathbf{y}}\leq{2 {\mu} }\widetilde {\boldsymbol{\sigma}}_{ \mathbf{y}} e^{k \frac{2}{3} \widetilde{\boldsymbol{\sigma}}_{ \mathbf{y}}^{2}}\), the exponentiated 3-parameter energy
satisfies TSTS-M + for all V∈PSym(3) for which \(\tau _{{\mathrm{eH}}}(\log V)\in \mathcal{E}(W_{{\mathrm{eH}}},\textit {TSTS-M}^{+}, \tau_{{\mathrm{eH}}},\frac{2}{3} {\boldsymbol{\sigma}}_{ \mathbf{y}}^{2})\).
Proof
Similar as in the proof of Proposition 4.7, we deduce that \(\tau_{{\mathrm{eH}}}(X)\in \mathcal{E}(W_{{\mathrm{eH}}},\text{TSTS-M}^{+}, \tau_{{\mathrm {eH}}},\frac{2}{3} {\boldsymbol{\sigma}}_{ \mathbf{y}}^{2})\) implies
On the other hand, in view of (4.34)–(4.40), in order to have 〈D X σ eH(X).H,H〉>0 for \(X\in \operatorname {Sym}(3)\) which belong also to the “elastic domain” \(\mathcal{E}(W_{{\mathrm{eH}}},\text{TSTS-M}^{+}, \log V,\frac{2}{3} \widetilde{\boldsymbol{\sigma}}_{ \mathbf{y}}^{2})\) defined by (4.30), we already know that it is sufficient to prove that there are k>0 and \(\widehat{k}>\frac{1}{8}\) which satisfy (4.38), that is
For the 3-parameter energy we have \(2 k=3 \widehat{k}\). Hence, in this case we have to prove that there is \(k>\frac{3}{16}\) such that
Let us rewrite (4.49) in the form
We have
In view of (4.51) and using the continuity of the function \(t\mapsto \frac{e^{ (t \frac{2}{3}-\frac{1}{8} )\widetilde{\boldsymbol {\sigma}}_{ \mathbf{y}}^{2}}}{ (t \frac{2}{3}-\frac{1}{8} )\widetilde{\boldsymbol{\sigma}}_{ \mathbf{y}}^{2}}\), we conclude: if the material parameters μ,κ>0 and \(\widetilde{\boldsymbol{\sigma}}_{ \mathbf{y}}\in \mathbb {R}\) are chosen such that
then we may find a constant \(k>\frac{3}{16}\) which satisfies (4.49). If the yield limit σ y is chosen such that
then in view of the monotonicity \(t\mapsto t e^{k t^{2}}\), by (4.47) and (4.53) we have that \(\|\operatorname {dev}_{3} X\|\leq\sqrt{\frac{2}{3}} \widetilde{\boldsymbol {\sigma}}_{ \mathbf{y}}\), which means that \(X\in\mathcal{E}(W_{{\mathrm{eH}}},\text {TSTS-M}^{+}, \log V,\frac{2}{3} \widetilde{\boldsymbol{\sigma}}_{ \mathbf{y}}^{2})\). Since \(\widetilde{\boldsymbol{\sigma}}_{ \mathbf{y}}\) satisfies (4.52), it follows that there is \(k>\frac{3}{16}\) satisfying (4.49). For the 3-parameter energy (\(2 k=3 \widehat{k}\)), in view of (4.34)–(4.40), if (4.49) is satisfied, then it follows that the TSTS-M+ inequality is satisfied and the proof is complete. □
Remark 4.10
-
(i)
In terms of Young’s modulus and Poisson’s ratio, the condition imposed on the yield limit σ y by Proposition 4.9 may be written in the form
$$\begin{aligned} 0< {\boldsymbol{\sigma}}_{ \mathbf{y}}\leq{\frac{E}{1+\nu} }\widetilde{ \boldsymbol{\sigma}}_{ \mathbf{y}} e^{k \frac{2}{3} \widetilde {\boldsymbol{\sigma}}_{ \mathbf{y}}^2},\quad\text{where}\quad \widetilde{\boldsymbol{\sigma}}_{ \mathbf{y}}^2 e^{\frac{1}{8} \widetilde{\boldsymbol{\sigma}}_{ \mathbf{y}}^2+1} \leq \frac{4 (1+\nu)}{1-2 \nu}. \end{aligned}$$(4.54) -
(ii)
For illustrating purposes let us consider the case of ν=1/3 and an extremely large domain of roughly 10 % distortional strain, i.e., \(\|\operatorname {dev}_{3}\log U\|\leq0.1\). To this specification corresponds \(\widetilde{\boldsymbol{\sigma}}_{ \mathbf{y}}=\sqrt {\frac{3}{2}} 0.1\), which is in concordance with the values considered for the yield stress \(\widetilde{\boldsymbol{\sigma }}_{ \mathbf{y}}=\sqrt{\frac{3}{2}} 0.1\) (\(\|\operatorname {dev}_{3}\log U\|\leq 0.1\)), since \({\frac{3}{2}} 0.01 e^{\frac{1}{8} {\frac{3}{2}} 0.01+1}\backsimeq0.041\). Moreover, the required inequality (4.50), \(\frac{e^{0.01 \cdot k}}{16 k-3}\leq\frac {1+\nu}{6(1-2 \nu)}\) is satisfied if the parameter k belongs to the interval \([0.29 ,919]\subset[\frac{3}{16},919]\).
-
(iii)
We will encounter \(k>\frac{3}{16}\) also later on with regard to rank-one convexity conditions for W eH.
4.4 TSTS-M+ for the Quadratic Hencky Energy
For comparison, we also consider the quadratic Hencky energy
We recall that the corresponding Kirchhoff and the Cauchy stress tensors are given by
The monotonicity inequality (4.11) becomes
If we have
which is negative for all H such that \(\|\operatorname {dev}_{3} H\|^{2}<[\operatorname {tr}(H)]^{2}\). Jog and Patil [121, page 676] have proved that the quadratic Hencky energy satisfies the TSTS-M+ conditions only for those deformations for which detV<e. This bound coincides, incidentally, with the loss of ellipticity for W eH in a uniaxial setting.
4.5 TSTS-M+ for the Energy \(F\mapsto\mu e^{a\|\operatorname {dev}_{3}\log V\|^{2}+\frac{\widehat{a}}{2} (\operatorname {tr}(\log V))^{2}}\)
At the end of this subsection we consider the energy
with the corresponding Kirchhoff and Cauchy stress, respectively
and we try to determine \(a,\widehat{a}\) such that this energy satisfies the TSTS-M condition.
The monotonicity inequality (4.11) becomes
Using the inequality of means, \(x y <\frac{\alpha}{2} x^{2}+\frac {1}{2\alpha} y^{2}\), α>0, we deduce
Hence, choosing the dimensionless parameters \(\widehat{a},\alpha>0\) such that
we have
Therefore, if \(\widehat{a}>\frac{1}{4}\), then the energy \(F\mapsto \mu e^{a \|\operatorname {dev}_{3}\log V\|^{2}+\frac{\widehat{a}}{2} \operatorname {tr}(\log V)^{2}}\) satisfies the TSTS-M condition. For instance, if we choose \(\widehat{a}=\frac {\kappa}{\mu}\), the condition \(\widehat{a}>\frac{1}{4}\) is equivalent to
If we choose \(\widehat{a}=\frac{\kappa}{4 \mu}\), the condition \(\widehat{a}>\frac{1}{4}\) is equivalent toFootnote 26
In conclusion, we observe that we do not need to consider a restricted domain for the energy (4.58) in order to enforce the TSTS-M+ condition.
5 Rank-One Convexity
5.1 Criteria for Rank-One Convexity
In this subsection we recall some criteria for rank-one-convexity that we will use throughout the rest of this paper. Knowles and Sternberg [128, 129] (see also [11, 12, 127]) have given the following result:
Theorem 5.1
(Knowles and Sternberg [226, page 318])
Let \({W}:\mathrm{GL}^{+}(n)\rightarrow\mathbb{R}\) be an objective-isotropic function of class C 2 with the representation in terms of the singular values of U via \(W(F)=\widehat{W}(U)=g(\lambda_{1},\lambda_{2},\ldots,\lambda _{n})\), where \(g\in C^{2}(\mathbb {R}_{+}^{n},\mathbb {R})\). Let F∈GL+(n) be given with an n-tuple of singular values λ 1,λ 2,…,λ n . If D 2 W(F)[a⊗b,a⊗b]≥0 for every \(a,b\in \mathbb {R}^{n}\) (i.e., F↦W(F) is rank-one convex), the following conditions hold:
-
(i)
\(\frac{\partial^{2} g}{\partial\lambda_{i}^{2} }\geq0\) for every i=1,2,…,n , i.e., separate convexity (SC) and the TE-inequalities hold;
-
(ii)
for every i≠j,
$$\begin{aligned} &\underbrace{\frac{\lambda_i\frac{\partial g}{\partial\lambda_i}-\lambda_j\frac{\partial g}{\partial\lambda _j}}{\lambda_i-\lambda_j}\geq0}_{\textit{``BE-inequalities''}}\quad \textit{if} \quad\lambda_i\neq\lambda_j,\quad \textit{and}\quad\frac{\partial^2 g}{\partial \lambda_i^2}-\frac{\partial^2 g}{\partial\lambda_i\partial\lambda _j}+\frac{\partial g}{\partial\lambda_i} \frac{1}{\lambda_i}\geq0 \quad\textit{if}\ \lambda_i= \lambda_j, \\ &\sqrt{\frac{\partial^2 g}{\partial\lambda_i^2}\frac{\partial ^2 g}{\partial\lambda_j^2}}+\frac{\partial^2 g}{\partial\lambda _i\partial \lambda_j}+ \frac{\frac{\partial g}{\partial\lambda_i}-\frac{\partial g}{\partial\lambda_j}}{\lambda_i-\lambda_j}\geq0 \quad\textit{if} \ \lambda_i\neq \lambda_j,\\ &\sqrt{\frac{\partial^2 g}{\partial\lambda_i^2} \frac{\partial^2 g}{\partial\lambda_j^2}}-\frac{\partial^2 g}{\partial\lambda_i\partial \lambda_j}+\frac{\frac{\partial g}{\partial\lambda_i}+\frac {\partial g}{\partial\lambda_j}}{\lambda_i+\lambda_j}\geq0. \end{aligned}$$(5.1)
If n=2, then conditions (i) and (ii) are also sufficient.
From the above theorem we can easily see that LH-ellipticity implies the BE-inequalities and TE-inequalities. Necessary and sufficient conditions for LH-ellipticity in the three-dimensional case are given in [204, 236] and more recently by Dacorogna [54], also for compressible materials.
Theorem 5.2
(Dacorogna [54, page 5])
Let \({W}:\mathrm{GL}^{+}(3)\rightarrow\mathbb{R}\) be an objective-isotropic function of class C 2 with the representation in terms of the singular values of U via \(W(F)=\widehat{W}(U)=g(\lambda_{1},\lambda_{2},\lambda_{3})\), where \(g\in C^{2}(\mathbb {R}_{+}^{3},\mathbb {R})\) and g is symmetric. Then F↦W(F) is rank one convex if and only if the following four sets of conditions hold for every \(\lambda_{1},\lambda_{2},\lambda_{3}\in \mathbb {R}_{+}\)
-
(i)
\(\frac{\partial^{2} g}{\partial\lambda_{i}^{2} }\geq0\) for every i=1,2,3 , i.e., separate convexity (SC) and the TE-inequalities hold;
-
(ii)
for every i≠j,
$$\begin{aligned} \begin{aligned} &\underbrace{\frac{\lambda_i\frac{\partial g}{\partial\lambda_i}-\lambda_j\frac{\partial g}{\partial\lambda _j}}{\lambda_i-\lambda_j}\geq0}_{\textit{``BE-inequalities''}}\quad \textit{if}\ \lambda_i\neq\lambda_j,\quad \textit{and}\quad\sqrt{\frac{\partial^2 g}{\partial\lambda_i^2 }\frac{\partial^2 g}{\partial\lambda_j^2 }}+m_{ij}^\varepsilon \geq0, \quad\textit{and either} \\ & m_{12}^\varepsilon\sqrt{\frac{\partial^2 g}{\partial\lambda _3^2 }}+m_{13}^\varepsilon \sqrt{\frac{\partial^2 g}{\partial\lambda_2^2 }}+m_{23}^\varepsilon\sqrt {\frac{\partial^2 g}{\partial\lambda_1^2 }}+\sqrt{\frac{\partial ^2 g}{\partial\lambda_1^2 } \frac{\partial^2 g}{\partial \lambda_2^2 }\frac{\partial^2 g}{\partial\lambda_3^2 }}\geq0 \quad\textit{or} \\ & \det M^\varepsilon\geq0, \end{aligned} \end{aligned}$$(5.2)where \(M^{\varepsilon}=(m_{ij}^{\varepsilon})\) is symmetric and
$$\begin{aligned} m_{ij}^\varepsilon=\left \{ \begin{array}{l@{\quad }l} \frac{\partial^2 g}{\partial\lambda_i^2 } & \textit{if}\ i=j \ \textit{or if } i< j \ \textit{and}\ \lambda_i=\lambda_j, \\ \varepsilon_i\varepsilon_j \frac{\partial^2 g}{\partial\lambda_i \partial\lambda_j} +\frac{\frac{\partial g}{\partial \lambda_i }-\varepsilon_i\varepsilon_j \frac{\partial g}{\partial \lambda_j}}{ \lambda_i -\varepsilon_i\varepsilon_j \lambda_j}& \textit{if}\ i<j \ \textit{and} \ \lambda_i\neq\lambda_j \ \textit{or}\ \varepsilon_i\varepsilon_j\neq1, \end{array} \right . \end{aligned}$$(5.3)for any choice of ε i ∈{±1}.
The last one is taken from Buliga [42]:
Theorem 5.3
(Buliga [42, page 1538])
A twice continuously differentiable function \({W}:\mathrm {GL}^{+}(n)\rightarrow\mathbb{R}\) that can be written as a function of the singular values of U via \(W(F)=\widehat{W}(U)=g(\lambda_{1},\lambda_{2},\ldots,\lambda_{n})\) is rank-one-convex if and only if
-
(i)
the function \(({\lambda}_{1},{\lambda}_{2},\ldots,{\lambda }_{n})\mapsto g(e^{{\lambda}_{1}},e^{{\lambda}_{2}},\ldots,e^{{\lambda }_{n}})\) is Schur-convex and
-
(ii)
for all \(a=(a_{1},a_{2},\ldots,a_{n})\in \mathbb {R}^{n}\), \(({\lambda }_{1},{\lambda}_{2},\ldots,{\lambda}_{n})\in \mathbb {R}_{+}^{n}\)
$$\begin{aligned} \sum_{i,j} H_{ij}({ \lambda}_1,{\lambda}_2,\ldots,{\lambda}_n) a_i a_j + G_{ij}({\lambda}_1,{ \lambda}_2,\ldots,{\lambda}_n) |a_i| |a_j|\geq0, \end{aligned}$$(5.4)where
$$\begin{aligned} \begin{aligned} &G_{ij}({\lambda}_1,{\lambda}_2,\ldots,{ \lambda}_n)=\frac{{\lambda}_i\frac{\partial g}{\partial {\lambda}_i}({\lambda}_1,{\lambda}_2,\ldots,{\lambda}_n)-{\lambda }_j\frac{\partial g}{\partial {\lambda}_j}({\lambda}_1,{\lambda}_2,\ldots,{\lambda}_n)}{{\lambda }_i^2-{\lambda}_j^2}\\ &\quad \textit{for}\ i\neq j,\quad G_{ii}({\lambda}_1,{\lambda}_2,\ldots,{ \lambda}_n)=0, \\ &H_{ij}({\lambda}_1,{\lambda}_2,\ldots,{ \lambda}_n))=\overline{H}_{ij}({\lambda}_1,{ \lambda}_2,\ldots,{\lambda}_n)+\bigl(D^2 g({ \lambda}_1,{\lambda}_2,\ldots,{\lambda}_n) \bigr)_{ij}, \\ & \overline{H}_{ij}({\lambda}_1,{\lambda}_2, \ldots,{\lambda}_n)=\frac{{\lambda}_j\frac{\partial g}{\partial {\lambda}_i}({\lambda}_1,{\lambda}_2,\ldots,{\lambda}_n)-{\lambda }_i\frac{\partial g}{\partial {\lambda}_j}({\lambda}_1,{\lambda}_2,\ldots,{\lambda}_n)}{{\lambda }_i^2-{\lambda}_j^2}\\ &\quad \textit{for} \ i\neq j,\quad H_{ii}({\lambda}_1,{\lambda}_2,\ldots,{ \lambda}_n)=0. \end{aligned} \end{aligned}$$(5.5)
Šilhavý [228] has previously given a similar result in terms of the copositivity of some matrices (see also [54]).
5.2 The LH-Condition for Incompressible Media
In this subsection we consider the case of incompressible materials, i.e., we consider objective-isotropic energies \({W}:\mathrm {SL}(3)\rightarrow\mathbb{R}\). The restrictions imposed by rank-one convexity are less strict in this case. The rank-one convexity for such a function W means that W still has to satisfy
(similar to the LH-ellipticity condition), but now only for all vectors ξ,η≠0 with the additional property that
Remark 5.4
For \(F,H\in \mathbb {R}^{3\times3}\) we have
Proof
Let us first consider that detH≠0 and detF≠0. We recall the formal expansion of the determinant
We have
By continuity this result holds as well for non-invertible matrices \(F,H\in\mathbb{R}^{3\times3}\). □
Thus, for \(F\in \mathbb {R}^{3\times3}\)
since rank(ξ⊗η)=1. Hence, it follows that ξ,η≠0 have to satisfy
Necessary conditions for LH-ellipticity of incompressible, isotropic hyperelastic solids were obtained by Sawyers and Rivlin [211, 213], while necessary and sufficient conditions were established by Zubov and Rudev [269, 270].
Theorem 5.5
(Zubov’s LH-ellipticity criterion for incompressible materials [270, page 437])
Let \({W}:\mathrm{SL}(3)\rightarrow\mathbb{R}\) be an objective-isotropic function of class C 2 with the representation in terms of the singular values of U via \(W(F)=\widehat{W}(U)=g(\lambda_{1},\lambda_{2},\lambda_{3})\), where \(g\in C^{2}(\mathbb {R}_{+}^{3},\mathbb {R})\) and g is symmetric. Then F↦W(F) is rank one convex on SL(3) if and only if the following nine inequalities hold for every \(\lambda_{1},\lambda_{2},\lambda_{3}\in \mathbb {R}_{+}\), λ 1 λ 2 λ 3=1:
-
(i)
for every i≠j and for any arbitrary permutation (i,j,k) of the numbers 1,2,3
$$\begin{aligned} &\alpha_k:=\underbrace{\frac{\lambda_i\frac {\partial g}{\partial\lambda_i}-\lambda_j\frac{\partial g}{\partial \lambda_j}}{\lambda_i-\lambda_j}> 0}_{\textit{``BE-inequalities''}}\quad\textit{if}\ \lambda_i\neq \lambda_j; \end{aligned}$$(5.12) -
(ii)
\(\delta_{k}:=\beta_{i}\lambda_{i}^{2}+\beta_{j} \lambda _{j}^{2}+2\gamma_{k}^{-}\lambda_{i}\lambda_{j}>0\), where (i,j,k) is any arbitrary permutation of the numbers 1,2,3, and
$$\begin{aligned} \beta_i:=\frac{\partial^2 g}{\partial\lambda_i^2 },\qquad \gamma_k^{\pm}= \pm\frac{\partial^2 g}{\partial\lambda_i\partial\lambda_j}+\frac {\frac{\partial g}{\partial\lambda_i}\mp\frac{\partial g}{\partial \lambda_j}}{\lambda_i\mp\lambda_j}; \end{aligned}$$(5.13) -
(iii)
\(\epsilon_{k}+\sqrt{\delta_{i}\delta_{j}}>0\), where \(\epsilon_{k}:=\beta_{k}\lambda_{k}^{2}+\gamma_{k}^{+}\lambda_{i}\lambda _{j}+\gamma_{i}^{-}\lambda_{k}\lambda_{j}+\gamma_{j}^{-}\lambda_{k}\lambda_{i}\) and (i,j,k) is any arbitrary permutation of the numbers 1,2,3. □
5.3 The Quadratic Hencky Energy W H is not Rank-One Convex
In this subsection we re-examine a counter-example first considered by Neff [165] in order to prove that the quadratic Hencky energy function W H defined by (1.5) is not rank-one convex even when restricted to SL(3). A domain where W H is LH-elliptic has been given in [39] under some strong conditions upon the constitutive coefficients, i.e., μ,λ>0. The first proof of the non-ellipticity of a related energy expression \(\|\operatorname {dev}_{3}\log U\|^{N}\), 0<N≤1 seems to be due to Hutchinson et al. [116].
Proposition 5.6
The function \(W:\mathrm{SL}(3)\to \mathbb {R}\), \(W(F)=\|\operatorname {dev}_{3} \log U\|^{2}\) is not LH-elliptic.
Proof
The proof of this remark is adapted from [165]. We consider the function \(h:\mathbb {R}\to \mathbb {R}\),
We choose the vectors \(\eta, \xi\in \mathbb {R}^{3}\) so that (i.e., the family of simple shears)
Hence
and from
the eigenvalues of the matrix can be seen to be
The matrix U is positive definite and symmetric and therefore can be assumed diagonal, to obtain
An analogous expression for \(\|\operatorname {dev}_{n} \log U\|_{}^{2}\) can be given in any dimension \(n\in \mathbb {N}\), see Appendix A.1. In terms of the eigenvalues, the function h is given by
Since λ 1 λ 2 λ 3=1, see (5.17), it follows 0=log(λ 1 λ 2 λ 3)=logλ 2+logλ 3,logλ 2=−logλ 3. Thus, \(h(t)={2}\log^{2}{\lambda_{2}}={2}[\log(2+t^{2}+t\sqrt{4+t^{2}})-\log 2]^{2}\). This function is not convex in t (see Fig. 15), as can be easily deduced. Let us remark that and also . Therefore, the function W is not rank-one convex in SL(3). Hence, W is not elliptic in SL(3).
□
A direct consequence of the previous proposition is
Remark 5.7
(Three-dimensional case)
The function \(W:\mathrm{SL}(3)\to \mathbb {R}\), \(W(F)= \mu\|\operatorname {dev}_{3} \log U\| ^{2}+\frac{\kappa}{2}(\operatorname {tr}(\log U))^{2}\), for any μ,κ>0, is not LH-elliptic.
Proof
The counterexample is the one as in the proof of the previous remark because corresponding to this counterexample we have \(\frac{\kappa }{2}(\operatorname {tr}(\log U))^{2}=\log(\lambda_{1}\lambda_{2}\lambda_{3})=\log1=0\). □
Remark 5.8
(Two-dimensional case)
The function \(W:\mathrm{SL}(2)\to \mathbb {R}\), \(W(F)= \mu\|\operatorname {dev}_{2} \log U\| ^{2}+\frac{\kappa}{2}(\operatorname {tr}(\log U))^{2}\), for any μ,κ>0, is not LH-elliptic.
Proof
The proof is similar to the proof in the 3D case. The vectors \(\eta, \xi\in \mathbb {R}^{2}\) are now
□
Proposition 5.9
The energy \(W:\mathrm{SL}(3)\to \mathbb {R}\), \(W(F)=\|\operatorname {dev}_{3} \log U\|^{2}\) satisfies the TE-inequalities (SC) only for those U such that the eigenvalues μ 1,μ 2,μ 3 of \(\operatorname {dev}_{3}\log U\) are smaller than \(\frac{2}{3}\).
Proof
The corresponding function \(g:\mathbb{R}^{3}_{+}\rightarrow\mathbb{R}\) for the isotropic energy \(W:\mathrm{SL}(3)\to \mathbb {R}\), \(W(F)=\|\operatorname {dev}_{3} \log U\|^{2}\) is
Hence, we have to check where the function g is separately convex. We deduce
On the other hand, the eigenvalues μ 1,μ 2,μ 3 of \(\operatorname {dev}_{3}\log U\) are
and the proof is complete. □
We can obtain a similar condition in terms of the eigenvalues of U instead of those of \(\operatorname {dev}_{3}\log U\):
Corollary 5.10
The energy \(W:\mathrm{SL}(3)\to \mathbb {R}\), \(W(F)=\|\operatorname {dev}_{3} \log U\|^{2}\) satisfies the TE-inequalities only for those U such that the eigenvalues λ 1,λ 2,λ 3 of U satisfy
Proof
From (5.21) we find that \(g(\lambda_{1},\lambda_{2},\lambda _{3})=\frac{1}{3} [\log^{2}\frac{\lambda _{1}}{\lambda _{2}}+ \log^{2}\frac{\lambda _{2}}{\lambda _{3}}+\log^{2}\frac{\lambda _{3}}{\lambda _{1}} ]\) is separately convex if and only if
which are equivalent to the inequalities (5.23). □
5.4 Convexity of the Volumetric Response \(F\mapsto e^{\widehat {k} (\log\det F)^{m}}\)
In the family of energies (1.4) which we consider, the volumetric response is modeled by a term of the form \(F\mapsto e^{\widehat{k} (\log\det F)^{m}}\). In deriving convexity conditions, we first examine the conditions under which the more general form detF↦h(logdetF) is convex in detF, which is clearly sufficient for LH-ellipticity (details can be found in Appendix A.3, see also [55, page 213] and [134]). Hence, we ask for the second derivative of t↦h(logt) to be positive:
Obviously, this is the case if and only if h″(logt)≥h′(logt) for all t>0 and hence, if and only if for all \(\xi\in \mathbb {R}\) h″(ξ)≥h′(ξ). Thus, t↦h(logt) is convex if and only if h grows at least exponentially (see also Appendix A.3). This result is in concordance with the necessary conditions derived in the paper of Sendova and Walton [222].
Fix \(m\in \mathbb {N}\). We want to find \(\widehat{k}\) such that \(h(\xi )=e^{\widehat{k} \xi^{m}}\) matches this criterion, i.e.,
which is equivalent to \(\widehat{k} m \xi^{m}-\xi+(m-1)\geq0\). We compute the minimum of this expression. To this aim we solve the equation \(\widehat{k} m^{2} \xi^{m-1}-1=0 \) and we obtain \(\xi=\widehat{k}^{-\frac{1}{m-1}}m^{-\frac{2}{m-1}}\). Therefore
This minimum is nonnegative if and only if \(-\widehat{k}^{-\frac{1}{m-1}}m^{-\frac{m+1}{m-1}}+1\geq0\). Thus \(\widehat{k}\) has to be chosen such that \(\widehat{k}\geq m^{-(m+1)}\). In conclusion:
Lemma 5.11
Let \(m\in \mathbb {N}\). Then the function \(t\mapsto e^{\widehat{k} (\log(t))^{m}} \) is convex if and only if \(\widehat{k}\geq\frac{1}{m^{(m+1)}}\).
This implies our next result:
Proposition 5.12
The function
is convex in detF for \(\widehat{k}\geq\frac{1}{m^{(m+1)}}\). (More explicitly, for m=2 this means \(\widehat{k}\geq\frac {1}{8}\), in case of m=3 convexity holds for \(\widehat{k}\geq\frac {1}{81}\).)
In view of Proposition A.2 (see also [55, page 213]), we have
Corollary 5.13
The function
is rank-one convex in F for \(\widehat{k}\geq\frac{1}{m^{(m+1)}}\). (More explicitly, for m=2 this means \(\widehat{k}\geq\frac {1}{8}\), in case of m=3 rank-one convexity holds for \(\widehat {k}\geq\frac{1}{81}\).)
5.5 Rank-One Convexity of the Isochoric Exponentiated Hencky Energy in Plane Elastostatics
In this subsection we consider a variant of the exponentiated Hencky energy in plane strain, with isochoric part
Let us first recall that for small strains the exponentiated Hencky energy turns into the well-known quadratic Hencky energy:
where \(u:\mathbb{R}^{n}\rightarrow\mathbb{R}^{n}\) is the displacement and is the gradient of the deformation \(\varphi:\mathbb{R}^{n}\rightarrow \mathbb{R}^{n}\) and h.o.t. denotes higher order terms of \(\| \operatorname {dev}_{n}\log U\|^{2}\) and \(\frac{\kappa}{2} [(\log\det U)]^{2}\).
Remark 5.14
-
(i)
If F↦W(F) is rank-one convex in GL+(n) and if \(Z:\mathbb {R}_{+}\rightarrow \mathbb {R}\) is a convex and monotone non-decreasing function, then the composition function F↦(Z∘W)(F) is also rank-one convex in GL+(n). This follows from the fact that if \(t\mapsto h(t), t\in \mathbb {R}\), h(t)=W(F+t(η⊗ξ)) is convex, then \(t\mapsto Z({h(t)}), t\in \mathbb {R}\), is also convex.
-
(ii)
If F↦W(F) is quasi-convex in GL+(n) and if \(Z:\mathbb {R}_{+}\rightarrow \mathbb {R}\) a convex and monotone non-decreasing function, then the function F↦(Z∘W)(F) is also quasi-convex in GL+(n). To prove this fact, let us recall that quasiconvexity of the energy function W at \(\overline{F}\) means that \(\frac{1}{|\varOmega|}\int_{\varOmega}W(\overline{F}+\nabla\vartheta )dx\geq W(\overline{F})\), \(\text{holds, for every bounded open set} \quad \varOmega\subset\mathbb{R}^{n} \) and for all \(\vartheta\in C_{0}^{\infty}(\varOmega)\) such that \(\det (\overline{F}+\nabla\vartheta)>0\). Using the monotonicity of Z we deduce \(Z (\frac{1}{|\varOmega|}\int_{\varOmega}W(\overline{F}+\nabla\vartheta )dx )\geq Z( W(\overline{F}))\). Hence, using the convexity and Jensen’s inequality, we obtain \(\frac{1}{|\varOmega|}\int_{\varOmega}Z (W(\overline{F}+\nabla\vartheta ) )dx\geq Z( W(\overline{F}))\).
-
(iii)
If F↦W(F) is polyconvex in GL+(3) and if \(Z:\mathbb {R}_{+}\rightarrow \mathbb {R}\) is a convex and monotone non-decreasing function, then the function F↦(Z∘W)(F) is also polyconvex in GL+(3). A free energy function W(F) is called polyconvex if and only if it is expressible in the form \(W(F) =P(F, \operatorname {Cof}F, \det F)\), \(P:\mathbb{R}^{19}\rightarrow\mathbb {R}\), where P(⋅,⋅,⋅) is convex. If P is convex, then Z∘P is also convex. In this case, we have \(Z({W(F)}) =(Z\circ P)(F, \operatorname {Cof}F, \det F)\), which means that F↦(Z∘W)(F) is polyconvex in GL+(3).
An example of a convex and monotone non-decreasing function \(Z:\mathbb {R}_{+}\rightarrow \mathbb {R}\) is the exponential function Z(ξ)=e ξ.
We prove in this subsection that although \(F\mapsto\|\operatorname {dev}_{2}\log U\| ^{2}\) is not rank-one convex, the function \(F\mapsto e^{k \|\operatorname {dev}_{2}\log U\|^{2}}\), \(k>\frac{1}{4}\) is indeed rank-one convex.
Lemma 5.15
Let F∈GL +(2) with singular values λ 1,λ 2. Then
Proof
The matrix U is positive definite and symmetric and therefore can be assumed diagonal, and we obtain
With this, the proof is complete. □
In this subsection we apply Theorem 5.1 in order to prove that the function \(F\mapsto e^{k \|\operatorname {dev}_{2}\log U\|^{2}}\) is LH-elliptic. Thus, according to Lemma 5.15, we have to prove that the function
satisfies all the necessary and sufficient conditions established by Knowles and Sternberg’s Theorem 5.1. The first condition from Theorem 5.1 requests separate convexity in each variable λ 1,λ 2.
Lemma 5.16
The function g is separately convex in each variable λ 1,λ 2, i.e., \(\frac{\partial^{2} g}{\partial\lambda_{1}^{2}}\geq 0\), \(\frac{\partial^{2} g}{\partial\lambda_{2}^{2}}\geq0\), if and only if \(k\geq\frac{1}{4}\).
Proof
We need to compute
We introduce the function \(r:\mathbb {R}\rightarrow\mathbb{R}\) given by r(t)=kt 2−t+1. It is clear that if \(k\geq\frac{1}{4}\), then \(r(t)= k t^{2}- t+1\geq(\frac{1}{2}t-1 )^{2}{\geq0 }\) for all \(t\in\mathbb{R}\). Moreover, if r(t)≥0 for all \(t\in \mathbb {R}\), then \(k\geq\frac{1}{4}=\max_{t\in(0,\infty)} \{\frac{t-1}{t^{2}} \}\). Thus, r(t)≥0 for all \(t\in \mathbb {R}\) if and only if \(k\geq\frac {1}{4}\). In consequence, we deduce
Analogously, we have \(\frac{\partial^{2} g}{\partial\lambda_{2}^{2}}(\lambda_{1},\lambda_{2})\geq 0 \ \text{if and only if}\ k\geq\frac{1}{4}\). □
Lemma 5.17
The function g satisfies the BE-inequalities.
Proof
For the function g defined by (5.30), the BE-inequalities become
which is always true. Indeed, this fact also follows directly from Theorem 2.7 because g is convex as a function of logU (see Remark 2.9). □
Let us also compute
The next set of inequalities from Knowles and Sternberg’s criterion requires that the following quantities
are positive for λ 1=λ 2. This condition is always satisfied because λ 1,λ 2,k>0.
In order to show that the last two inequalities from Knowles and Sternberg’s Theorem 5.1 are satisfied, we compute
where the functions \(\widetilde{g}:\mathbb {R}_{+}^{2}\setminus\{(x,x){; x\in \mathbb {R}}\}\to \mathbb {R}\), \(\widehat{g}:\mathbb {R}_{+}^{2}\to \mathbb {R}\) are defined by
Let us remark that the functions \(\widetilde{g}\) and \(\widehat{g}\) can be written in terms of functions of a single variable only, i.e.,
where \(\widetilde{r}:\mathbb {R}_{+}\setminus\{1\}\to \mathbb {R}\), \(\widehat{r}:\mathbb {R}_{+}\to \mathbb {R}\) are defined by
Hence, Knowles and Sternberg’s criterion is completely satisfied if and only if
We have to show the following inequality, which is the same as (5.40)1:
In order to transform it equivalently by squaring both sides, first we prove the following lemma:
Lemma 5.18
The inequality
is satisfied for all \(t\in \mathbb {R}_{+}\setminus\{1\}\) if and only if \(k\geq \frac{1}{6}\).
Proof
Let us consider the function \(\tilde{s}:\mathbb {R}{_{+}}\setminus\{1\}\to \mathbb {R}\) by \(\widetilde{s}(t):= (\frac{1}{6} \log^{2} t+1 )-\frac{t+1}{ t-1} \log t\). For the function \(\widetilde{s}\) we compute
where \(\widehat{s}:\mathbb {R}_{+}\to \mathbb {R}\), \(\widehat{s}(t)=3 (1- t^{2}) + (1 + 4 t + t^{2}) \log t\).
On the other hand \(\widehat{s}^{\prime}(t)=-5 t+\frac{1}{t}+2 (t+2) \log t+4, \widehat{s}^{\prime\prime}(t)=\frac{4 t-1}{t^{2}}+2 \log t-3, \widehat{s}^{\prime\prime\prime}(t)=\frac{2 (t-1)^{2}}{t^{3}}\geq 0\) for all \(t\in{ \mathbb {R}_{+}}, \widehat{s}(1)=0, \widehat{s}^{\prime}(1)=0, \widehat{s}^{\prime \prime}(1)=0\). Thus \(\widehat{s}^{\prime\prime}(t)\geq0\) if t≥1 and \(\widehat{s}^{\prime\prime}(t)\leq 0\) if 0<t≤1, which implies further that \(\widehat{s}^{\prime}\) is monotone decreasing on (0,1) and monotone increasing on (1,∞). We deduce \(\widehat{s}^{\prime}(t)\geq\widehat{s}^{\prime}(1)= 0\) for all \(0< t\leq1 \ \text{and}\ \widehat{s}^{\prime}(t)\geq\widehat{s}^{\prime}(1)= 0\) for all t≥1.
Hence, \(\widehat{s}\) is monotone increasing in \(\mathbb {R}_{+}\), i.e., \(\widehat{s}(t)\leq\widehat{s}(1) =0\) for all 0<t<1 and \(\widehat{s}(t)\geq\widehat{s}(1) =0\) for all t>1. In view of (5.43), we have \(\widetilde{s}^{\prime}(t)\leq0\) for all 0<t<1 and \(\widetilde{s}^{\prime}(t)\geq0\) for all t>1. Because \(\lim_{t\rightarrow1}\widetilde{s}(t)=-1\), the monotonicity of \(\widetilde{s}(t)\) implies \(\widetilde{s}(t)= (\frac{1}{{6}} \log^{2} t+1 )-\frac{t+1}{ t-1} \log t\geq\lim_{t_{0}\rightarrow1}\widetilde{s}(t_{0})=-1\), for all \(t\in \mathbb {R}_{+}\setminus\{1\}\). For \(k{\geq}\frac{1}{6}\), we have
for all \(t\in \mathbb {R}_{+}\setminus\{1\}\). On the other hand, if \((k \log^{2} t+1)-\frac{t+1}{ t-1} \log t\geq-1 \) for all \(t\in \mathbb {R}_{+}\setminus\{1\}\), then
since the function \(\widetilde{s}_{1}:\mathbb {R}_{+}\rightarrow \mathbb {R}\), \(\widetilde {s}_{1}(t)=\log^{2}t-6 \frac{t+1}{t-1} \log t+12\) is monotone decreasing on (0,1], monotone increasing on [1,∞), \(\widetilde{s}_{1}(1)=0\), and \(\lim_{t\in \mathbb {R}_{+}} \{\frac{1}{\log^{2} t} (-2+\frac{t+1}{t-1}\log t ) \}=\frac{1}{6}\). Thus, the inequality (5.42) holds for all \(t\in \mathbb {R}_{+}\setminus\{1\}\) if and only if \(k\geq\frac{1}{6}\), □
Lemma 5.19
The inequality \(\widetilde{r}(t)\geq0 \) is satisfied for all \(t\in \mathbb {R}_{+}\setminus\{1\}\) if \(k\geq\frac{1}{4}\).
Proof
Let us first remark that, in view of Lemma 5.18, we obtain \((k \log^{2} t+1 )-\frac{t+1}{ t-1} \log t+1\geq0 \) for all \(k\geq\frac{1}{6}\). Hence, the inequality \(\widetilde {r}(t)\geq0\) is equivalent to the inequality
for \(t\in \mathbb {R}_{+}\setminus\{1\}\), which can, by squaring and multiplication with \(\frac{(t-1)^{2}}{2}\), equivalently be written in the following form:
Our next step is to prove that s(t)≤0 if t<1 and s(t)≥0 if t>1, where \(s:\mathbb {R}_{+}\to \mathbb {R}\) is defined by s(t)=1−t+(t+1)logt. This follows from \(s^{\prime}(t)=\frac{1}{t}+\log t\), \(s^{\prime\prime}(t)=\frac{t-1}{t^{2}}\), s′(1)=1, s(1)=0. Moreover, if \(k\geq\frac{1}{4}\), we deduce
and, due to the nonnegativity of (t−1)s(t),
Hence, it is sufficient to prove that
Employing the substitution x=logt, we are going to show that
is negative for x<0 and positive for x>0.
Firstly, we observe that s 0(0)=0 and lim x→∞ s 0(x)=∞. We then compute \(s_{0}'(x)=s_{1}(x)-s_{2}(x)\), where we denote \(s_{1}(x)=3(x-\frac {4}{3})^{2}+\frac{8}{3}\), \(s_{2}(x)=16\frac{e^{x}}{(e^{x}+1)^{2}}\). Due to the fact that \(\frac{y}{(1+y)^{2}}\in(0,4]\) for y=e x>0,
so that clearly s 0(x)<0 for x<0. To deduce s 0(x)>0 for x>0, we will prove that all local minima of s 0 are located in (1,∞) and that the value of s 0 is positive there. Because \(s_{2}''(x)=\frac{e^{x}}{(1+e^{x})^{4}}(1-4e^{x}+e^{2x})\) is negative on \((-\infty,\log(\sqrt{3}+2))\supset(0,1)\) and hence s 2 is concave and s 1 convex on (0,1), s 1 and s 2 can intersect in at most two points in (0,1). Thanks to the fact that s 1(0)>s 2(0) and s 1(1)<s 2(1), there is only one x m ∈(0,1), where s 1(x m )=s 2(x m ) and hence \(s_{0}'(x_{m})=0\). In x m , s 0 attains a maximum (\(s_{0}'\) is positive for smaller and negative for larger values of x), hence local minima of s must lie in (1,∞). In any such place x 0, from \(s_{0}'(x_{0})=0\) we know \(\frac {16}{e^{x_{0}}+1}=\frac{e^{x_{0}}+1}{e^{x_{0}}}(3x_{0}^{2}-8x_{0}+8)\) and hence
because x 0≥1. In conclusion, s 0 is positive on all of (0,∞), and negative in (−∞,0).
Thus, the inequality (5.50) is satisfied. Therefore (5.46) is also satisfied and the proof is complete. □
Lemma 5.20
If \(k\geq\frac{1}{4}\), then the inequality \(\widehat{r}(t)\geq 0 \) is satisfied for all \(t\in \mathbb {R}_{+}\).
Proof
It is easy to see that for all \(t\in \mathbb {R}_{+}\setminus\{1\}\) and if \(k\geq\frac{1}{4}\), we have
Let us remark that \(\frac{1}{4} \xi^{2}-\frac{t-1}{ t+1} \xi+1>0 \ \text{for all}\ \xi\in \mathbb {R}\), since \((\frac{t-1}{ t+1} )^{2}-1<0 \ \text{and} \ \frac{1}{4}>0\). Hence, taking \(\xi=\log t\in \mathbb {R}\), we have \(\frac{1}{4} \log^{2} t-\frac{t-1}{ t+1} \log t+1>0 \ \text {for all} \ t\in \mathbb {R}_{+}\). Therefore,
which completes the proof. □
Collecting Lemmas 5.16, 5.19, 5.20 and Eq. (5.33), we can finally conclude:
Proposition 5.21
If \(k\geq\frac{1}{4}\), then the function \(F\mapsto e^{k \| \operatorname {dev}_{2} \log U\|^{2}}\) is rank-one convex in GL+(2).
5.6 The Main Rank-One Convexity Statement
In view of the results established in Sects. 5.5 and 5.4 we conclude that:
Theorem 5.22
(Planar rank-one convexity)
The functions \(W_{{\mathrm {eH}}}:\mathbb {R}^{n\times n}\to\overline{\mathbb {R}}_{+}\) from the family of exponentiated Hencky type energies
are rank-one convex for the two-dimensional situation n=2, μ>0,κ>0, \(k\geq\frac{1}{4}\) and \(\widehat{k}\geq \frac{1}{8}\).
Conjecture 5.23
(Planar polyconvexity)
The functions \(W_{{\mathrm {eH}}}:\mathbb {R}^{n\times n}\to\overline{\mathbb {R}}_{+}\) from the family of exponentiated Hencky type energies defined by (5.51) are polyconvexFootnote 27 for the two-dimensional situation n=2, μ>0,κ>0, \(k\geq\frac{1}{4}\) and \(\widehat {k}\geq\frac{1}{8}\).
The rank-one convex energy W eH(F) is applicable to the bending or shear of long strips and to all cases in which symmetry arguments can be applied to reduce the formulation to a planar deformation.
5.7 Formulation of the Dynamic Problem in the Planar Case
For the convenience of the reader we state the complete dynamic setting. The dynamic problem in the planar case consists in finding the solution \(\varphi:\varOmega\times(0,\infty)\rightarrow\mathbb{R}^{2}\), \(\varOmega \subset\mathbb{R}^{2}\) of the equation of motion
where the first Piola-Kirchhoff stress tensor S 1=D F [W(F)] corresponding to the energy W eH(F) is given by the constitutive equation
with F=∇φ, \(U= \sqrt{F^{T}F}\). The above equations are supplemented, in the case of the mixed problem, by the boundary conditions
and the initial conditions
where Γ D ,Γ N are subsets of the boundary ∂Ω, so that \(\varGamma_{D}\cup\overline{\varGamma}_{N}=\partial\varOmega\), Γ D ∩Γ N =∅, n is the unit outward normal to the boundary and \(\widehat{\varphi}_{i}, \widehat{s}_{1}, \varphi_{0}, {\psi}_{0}\) are prescribed fields.
5.8 The Non-deviatoric Planar Case: \(F\mapsto e^{\|\log U\|^{2}}\)
We consider the function \(W:\mathrm{GL}^{+}(2)\rightarrow\mathbb{R}\), defined by \(W(F):=\widehat{W}(U)=e^{\|\log U\|^{2}}\). We have
where λ 1,λ 2 are the singular values of U and \(g:\mathbb{R}_{+}^{2}\rightarrow\mathbb{R}\) is defined by
In order to check the rank-one convexity of the function \(F\mapsto e^{\| \log U\|^{2}}\), we will use Buliga’s criterion given by Theorem 5.3. As we will need the derivatives of g, we compute:
For our function, the matrices G(λ 1,λ 2) and H(λ 1,λ 2) from Theorem 5.3 are then
respectively. The first condition of Buliga’s criterion is obviously satisfied because of the symmetry and convexity and hence Schur-convexity of the function \(\ell:\mathbb {R}_{+}^{2}\to \mathbb {R}\), \(\ell(\lambda_{1},\lambda_{2}):= g(e^{\lambda_{1}},e^{\lambda_{2}})=e^{\lambda_{1}^{2}+\lambda_{2}^{2}}\) (see Theorem 2.5).
Hence, the energy is rank-one-convex if and only if the following inequality holds true for all \(a_{1},a_{2}\in \mathbb {R}\) and for all λ 1,λ 2>0:
Applied to our function (and upon division by \(2 e^{\log^{2}{\lambda _{1}}+\log^{2}{\lambda_{2}}}>0\)) this corresponds to
To see that this does not hold true, we set
Upon these choices, the inequality turns into
and it is obviously not satisfied.
In view of Theorem 5.3, we conclude that \(F\mapsto e^{\| \log U\|^{2}}\) is not rank-one convex in 2D. Of course, this shows that \(F\mapsto e^{\|\log U\|^{2}}\) is also not rank-one convex in 3D.
Conjecture 5.24
It seems that the function \(F\mapsto e^{\|\log U\|^{2}-\frac{\alpha}{2}\operatorname {tr}(\log U)^{2}}\) is
-
(i)
not separately convex as a function of the principal stretches (which implies it is not rank-one convex) for α>1;
-
(ii)
is not rank-one convex for α<1.
If this conjecture is true, then the function \(F\mapsto e^{\|\log U\| ^{2}-\frac{\alpha}{2} \operatorname {tr}(\log U)^{2}}\) is rank-one convex in 2D if and only if α=1, i.e., only for the function \(F\mapsto e^{\|\operatorname {dev}_{2}\log U\| ^{2}}\).
Hence, the form of energies (1.4) may not just be an arbitrary choice, but additively splitting into isochoric and volumetric parts seems to be the only useful version of an additive split in plane elasto-statics. The reason to believe that Conjecture 5.24 is true consists in the fact that for λ 1=e n and λ 2=e n−3, the last inequality from Knowles and Sternberg’s Theorem 5.1 seems to be satisfied in the limit n→∞ only if α=1.
6 Outlook for Three Dimensions
The 3D-case is, as usual, much more involved. In this section we show that a similar calculus as in 2D can be applied in principle. However, while we consider the obvious generalization of the 2D result, the answer is in general negative: the necessary conditions from Knowles and Sternberg’s Theorem 5.1 or Dacorogna’s Theorem 5.2 are not satisfied for the energy
This implies that this energy is not rank-one convex [165, 194]. We have already shown that \(F\mapsto\|\operatorname {dev}_{3}\log U\|^{2}\) is not rank-one convex even in the case of incompressible materials (see Proposition 5.6 or [165], page 197).
Lemma 6.1
Let F∈GL+(3) with singular values λ 1,λ 2,λ 3. Then
Proof
The proof follows from relation (5.18). □
This lemma remains true in all dimension \(n\in\mathbb{N}\), see Appendix A.1.
6.1 \(F\mapsto e^{k \|\operatorname {dev}_{3}\log U\|^{2}}\) Is not Rank-One Convex
We begin our 3D investigation by proving that
Lemma 6.2
For all k>0 the function
is not rank-one convex.
Proof
In the following we prove that two necessary conditions given by Knowles and Sternberg’s criterion are not satisfied for the function g defined by (6.2). Our goal is to prove that there does not exist a number k>0 such that the inequalities
are simultaneously satisfied. The inequalities (6.4) are equivalent to
where
We compute that, for extremely large principal stretches (λ 1,λ 2,λ 2)=(e 11,e 7,e −1)
and we remark that
For \(\frac{k}{3}>\frac{1}{16}\) we have \(-5-\frac{12}{1+e^{4}}+128 \frac{k}{3}>0\). Hence, g 3(e 11,e 7,e −1)≥0 is equivalent to
which is not satisfied for \(\frac{k}{3}>\frac{1}{16}\). Hence, for \(0< k\leq\frac{3}{16}\) the function is not separately convex, while for \(\frac{k}{3}>\frac{1}{16}\) one of the condition (6.4)3 given by Knowles and Sternberg’s criterion is also not satisfied. Thus, the proof is complete. □
However, the function g defined by (6.2) satisfies the Baker-Ericksen (BE) inequalities
for any permutation of i,j,r. Moreover,
for any permutation of i,j,r and for all \(\frac{k}{3}\geq\frac {1}{16}\). Thus, g is separately convex for \(\frac{k}{3}\geq\frac {1}{16}\). This is not in contradiction to the 2D result where \(k\geq\frac{1}{4}\) was needed for separate convexity since the function g in 2D is not obtained by choosing λ 3=1 in the 3D expression of the function g.
It is easy to see that the condition
from Dacorogna’s criterion (Theorem 5.2) are also not simultaneously satisfied for the values considered in (6.6). Let us recall that for ε 1,ε 2∈{±1}
We choose ε 1=1 and ε 2=−1. For these values, the inequalities (6.11) become
We remark that the conditions (6.10) are in fact equivalent to the inequalities (6.4) from Knowles and Sternberg’s criterion, and they cannot be simultaneously satisfied for the values defined in (6.6).
Moreover, direct and similar calculations as above give:
Remark 6.3
-
The function
$$\begin{aligned} g:\mathbb{R}^3_+\rightarrow\mathbb{R}, \qquad g( \lambda_1,\lambda_2,\lambda_3):= e^{\frac{k}{3} \bigl[\log^2\frac{\lambda _1}{\lambda _2}+ \log^2\frac{\lambda _2}{\lambda _3}+\log^2\frac{\lambda _3}{\lambda _1} \bigr]}+\frac{\kappa}{2}e^{\widehat{k}\log^2(\lambda _1\lambda _2\lambda _3)} \end{aligned}$$(6.13)does not satisfy the inequalities from Knowles and Sternberg’s criterion because it does not even satisfy Zubov’s criterion for incompressible elastic materials as we prove in the next subsection.
-
While we have shown ellipticity of \(F\mapsto e^{k \|\operatorname {dev}_{2}\log U\|^{2}} \), we cannot infer (and it does not hold) that \(F\mapsto e^{k \|\operatorname {dev}_{3}\log U\|^{2}}\), evaluated and restricted to plane strain deformation (λ 1,λ 2,1) is elliptic.
Motivated by the preceding negative development, we were inclined to try other, similar Hencky type energies as candidates for an overall elliptic formulation. However:
-
The function \(g:\mathbb{R}^{3}_{+}\rightarrow\mathbb{R}, g(\lambda_{1},\lambda _{2},\lambda_{3}):= e^{\frac{k}{3}\log^{2}\frac{\lambda _{1}}{\lambda _{2}}}+ e^{\frac{k}{3}\log^{2}\frac{\lambda _{2}}{\lambda _{3}}}+e^{\frac{k}{3}\log ^{2}\frac{\lambda _{3}}{\lambda _{1}}} \) does not satisfy the inequalities from Knowles and Sternberg’s criterion.
-
The function \(g:\mathbb{R}^{3}_{+}\rightarrow\mathbb{R}, g(\lambda_{1},\lambda _{2},\lambda_{3}):=\mu( e^{\frac{k}{3}\log^{2}\frac{\lambda _{1}}{\lambda _{2}}}+ e^{\frac{k}{3}\log^{2}\frac{\lambda _{2}}{\lambda _{3}}}+e^{\frac{k}{3}\log ^{2}\frac{\lambda _{3}}{\lambda _{1}}} )+ \frac{\kappa}{2}e^{\widehat{k}\log ^{2}(\lambda _{1}\lambda _{2}\lambda _{3})} \) does not satisfy the inequalities from Knowles and Sternberg’s criterion because it does not satisfy Zubov’s criterion for incompressible elastic materials.
-
The function \(g:\mathbb{R}^{3}_{+}\rightarrow\mathbb{R}, g(\lambda_{1},\lambda _{2},\lambda_{3}):=\mu( e^{k \log^{2}\lambda _{1}}+ e^{k \log^{2}\lambda _{2}}+e^{k \log^{2}\lambda _{3}} )+\frac{\kappa }{2}e^{\widehat{k}\log^{2}(\lambda _{1}\lambda _{2}\lambda _{3})} \) does not satisfy the inequalities from Knowles and Sternberg’s criterion.
6.2 The Ideal Nonlinear Incompressible Elasticity Model
Whereas \(e^{k\|\operatorname {dev}_{3}\log U\|^{2}}\) is not rank-one convex on GL+(3), one might hope that perhaps its restriction to SL(3) might be rank-one convex. In the following, for simplicity, we consider only the case k=1. Thus, a first open problem is if the following energy \(W:\mathrm{GL}^{+}(3)\to \mathbb {R}_{+}\),
is rank-one convex. To this aim, we use Zubov’s Theorem 5.5 to show that this energy is not even rank-one-convex on SL(3). According to (6.2), we check the conditions of this theorem for the function defined by (6.2). The answer is negative as can be seen by the counterexample
For these values we will prove that the condition
from Zubov’s Theorem 5.5 is not satisfied. Let us recall that
In view of (6.2), we have
for any permutation of i,j,r. Moreover, we have
By direct substitution we deduce
and
This means that the necessary and sufficient conditions from Zubov’s Theorem 5.5 are not satisfied. Hence, we conclude
Proposition 6.4
The function \(F\mapsto e^{ \|\operatorname {dev}_{3}\log U\|^{2}}\) is not rank-one convex on SL(3).
6.3 Rank-One Convexity Domains for the Energy \(F\mapsto e^{k \|\operatorname {dev}_{3}\log U\|^{2}}\)
The understanding of loss of ellipticity may become important for severe strains and stresses at crack tips. The analysis in this subsection is motivated by the results established by Bruhns et al. [39, 40] (see also [92, 127] in order to compare the domains of ellipticity obtained in nonlinear elastostatics for a special material),Footnote 28 in which it is proved that the quadratic Hencky strain energy function W H with non-negative Lamé constants, μ,λ>0, fulfils the Legendre-Hadamard condition for all principal stretches with
The LH-ellipticity of the quadratic Hencky strain energy function W H for all principal stretches in this cube [0.21162…,1.39561…]3 implies (see Remark 5.14) that the exponentiated energy \(e^{W_{{\mathrm {H}}}}\) is also LH-elliptic for all principal stretches in this box and for non-negative Lamé constants μ,λ>0.
Let us first remark that the function \(g:\mathbb{R}^{3}_{+}\rightarrow\mathbb{R}, g(\lambda_{1},\lambda _{2},\lambda_{3}):= e^{\frac{k}{3} [\log^{2}\frac{\lambda _{1}}{\lambda _{2}}+ \log^{2}\frac{\lambda _{2}}{\lambda _{3}}+\log^{2}\frac{\lambda _{3}}{\lambda _{1}} ]} \) corresponding to our energy \(F\mapsto e^{k \|\operatorname {dev}_{3}\log U\|^{2}}\) is invariant under scaling:Footnote 29
In fact, we have:
Remark 6.5
All functions \(F\mapsto W(F)=W_{1}(\|\operatorname {dev}_{3}\log U\|^{2})\) are invariant under the scaling: F↦aF, a>0.
Let us consider the substitution \((\widetilde{\lambda}_{1},\widetilde {\lambda}_{2},\widetilde{\lambda}_{3})=(a \lambda_{1},a \lambda_{2},a \lambda_{3}), \ \text{for all}\ a>0\). For the derivatives, we deduce
Hence, for the function g corresponding to our energy \(F\mapsto e^{k \|\operatorname {dev}_{3}\log U\|^{2}}\), the inequalities in Dacorogna’s criterion are also invariant under scaling. More generally:
Remark 6.6
-
(i)
Let \(F\mapsto W(F)=W_{1}(\|\operatorname {dev}_{3}\log U\|^{2})\) be a function on GL+(3). Then, the inequalities in Dacorogna’s criterion in terms of the corresponding function \(g:\mathbb {R}_{+}\to \mathbb {R}\) are invariant under scaling.
-
(ii)
For all functions F↦W(F) (for instance for functions \(F\mapsto W(F)=W_{\mathrm{iso}}(\frac{F}{\det F^{1/3}})\)) which are invariant under scaling, the inequalities in Dacorogna’s criterion in terms of the corresponding function \(g:\mathbb {R}_{+}\to \mathbb {R}\) are invariant under scaling.
Therefore, if the function g does not satisfy the requested inequalities in Dacorogna’s criterion in a point \((\lambda_{1}^{(0)},\lambda_{2}^{(0)},\lambda_{3}^{(0)})\), then it also does not satisfy them in the point \((\widetilde{\lambda}_{1}^{(0)},\widetilde{\lambda }_{2}^{(0)},\widetilde{\lambda}_{3}^{(0)}) =(a \lambda_{1}^{(0)},a \lambda_{2}^{(0)},a \lambda_{3}^{(0)})\) for arbitrary a>0. In the following we will exploit this insight.
In the previous subsections we have proved that there exists a point in which the function \(F\mapsto e^{\|\operatorname {dev}_{3} \log U\|^{2}}\) looses the LH-ellipticity, namely in
for compressible materials and in
in the case of incompressible materials. In view of the scaling invariance discussed above, we have
Lemma 6.7
If the function \(g:\mathbb{R}^{3}_{+}\rightarrow\mathbb{R}, g(\lambda_{1},\lambda _{2},\lambda_{3}):= e^{\frac{k}{3} [\log^{2}\frac{\lambda _{1}}{\lambda _{2}}+ \log^{2}\frac{\lambda _{2}}{\lambda _{3}}+\log^{2}\frac{\lambda _{3}}{\lambda _{1}} ]} \) is not elliptic in a point \(P^{(0)}=(\lambda_{1}^{(0)},\lambda _{2}^{(0)},\lambda_{3}^{(0)})\), then it is not elliptic in all points P(λ 1,λ 2,λ 3), (λ 1,λ 2,λ 3)≠(0,0,0) belonging to the line OP (0), where O=(0,0,0). In other words, the ellipticity domain is invariant under scaling.
More general:
Remark 6.8
Let F↦W(F) be an invariant under scaling function (for instance \(F\mapsto W(F)=W_{\mathrm{iso}}(\frac{F}{\det F^{1/3}})\) or \(F\mapsto W(F)=W_{1}(\|\operatorname {dev}_{3}\log U\|^{2})\)) defined on GL+(3). If the corresponding function \(g:\mathbb {R}_{+}^{3}\to \mathbb {R}\) is not elliptic in a point \(P^{(0)}=(\lambda_{1}^{(0)},\lambda_{2}^{(0)},\lambda_{3}^{(0)})\), then it is not elliptic in all points P(λ 1,λ 2,λ 3), (λ 1,λ 2,λ 3)≠(0,0,0) belonging to the line OP (0), where O=(0,0,0). In other words, the ellipticity domain of a function invariant under scaling function will be invariant under scaling.
Proposition 6.9
The energy \(F\mapsto e^{\|\operatorname {dev}_{3} \log U\|^{2}}\), F∈GL+(3) cannot be LH-elliptic in any cube like domain (0,y)×(0,y)×(0,y), y>0.
Proof
If the point \(P^{(0)}=(\lambda_{1}^{(0)},\lambda _{2}^{(0)},\lambda_{3}^{(0)})\) given by (6.23) belongs to the domain (0,y)×(0,y)×(0,y) then we have nothing more to prove. If \(P^{(0)}(\lambda_{1}^{(0)},\lambda_{2}^{(0)},\lambda_{3}^{(0)})\notin (0,y)\times(0,y)\times(0,y)\), then there is a point P(λ 1,λ 2,λ 3), (λ 1,λ 2,λ 3)≠(0,0,0) belonging to the line OP and P(λ 1,λ 2,λ 3)∈(0,y)×(0,y)×(0,y) (see Fig. 16). For instance the point \(\bigl(\frac{\lambda_{1}^{(0)}}{a},\frac{\lambda_{2}^{(0)}}{a},\frac {\lambda_{3}^{(0)}}{a}\bigr)\), where \(a>\max_{i=1,2,3} \bigl\{\frac{\lambda_{i}^{(1)}}{y} \bigr\}\). In view of Lemma 6.7 the proof is complete.
□
Proposition 6.10
The energy \(F\mapsto{e^{\|\operatorname {dev}_{3}\log U\|^{2}}}\), F∈GL+(3) is not LH-elliptic in any cube like domain (x,∞)×(x,∞)×(x,∞), x>0.
Proof
The proof is similar to the proof of the previous proposition, because for \(b<\min_{i=1,2,3} \bigl\{\frac{\lambda_{i}^{(0)}}{x} \bigr\}\), the point \(\bigl(\frac{\lambda_{1}^{(0)}}{b},\frac{\lambda_{2}^{(0)}}{b},\frac {\lambda_{3}^{(0)}}{b}\bigr)\in OP\) belongs also to the domain (x,∞)×(x,∞)×(x,∞) (see Fig. 17).
□
We already can prove this more general result:
Proposition 6.11
Let F↦W(F) be a function defined on GL+(3) which is invariant under scaling. If the corresponding function \(g:\mathbb {R}_{+}^{3}\to \mathbb {R}\) is not elliptic in a point \(P^{(0)}=(\lambda_{1}^{(0)},\lambda_{2}^{(0)},\lambda _{3}^{(0)})\), then there are no cube-like domains (0,y)3, y>0, or (x,∞)3, x>0, on which g is elliptic.
On the other hand, the energy \(F\mapsto e^{k \|\operatorname {dev}_{3}\log U\|^{2}}\) is invariant under inversion,Footnote 30 i.e.,
However, Dacorogna’s ellipticity criterion is not invariant under inversion. This is the reason why Proposition 6.10 does not follow directly from Proposition 6.9 using the invariance under inversion.
Remark 6.12
Looking back to the quadratic Hencky energy \(F\mapsto W_{{\mathrm {B}}}(F):= \|\operatorname {dev}_{3}\log U\|^{2}\) considered by Bruhns et al. [262]Footnote 31 and to the corresponding function \(g_{{\mathrm{B}}}:\mathbb{R}^{3}_{+}\rightarrow\mathbb{R}\), \(g_{{\mathrm{B}}}(\lambda_{1},\lambda_{2},\lambda_{3}):= \frac{1}{3} \bigl[\log^{2}\frac{\lambda _{1}}{\lambda _{2}}+ \log^{2}\frac{\lambda _{2}}{\lambda _{3}}+\log^{2}\frac{\lambda _{3}}{\lambda _{1}} \bigr]\), we remark:
-
g B is separately convex (see Proposition 5.9 and Corollary 5.10) only for those U such that the eigenvalues μ 1,μ 2,μ 3 of \(\operatorname {dev}_{3}\log U\) are smaller than \(\frac {2}{3}\), i.e, if and only if the eigenvalues λ 1,λ 2,λ 3 of U are such that
$$\begin{aligned} \lambda_1^2\leq e^2 \lambda_2 \lambda_3,\qquad\lambda_2^2\leq e^2 \lambda_3 \lambda_1, \qquad \lambda_3^2\leq e^2 \lambda_1 \lambda_2. \end{aligned}$$(6.26) -
g B always satisfies the BE-inequalities.
-
Numerical computations give us reasons to believe that there exists a number a B>0 such that \(F\mapsto \|\operatorname {dev}_{3}\log U\|^{2}\) is LH-elliptic in the domain (invariant under scaling)
$$\begin{aligned} \widetilde{\mathcal{E}}\biggl(W_{B},{\mathrm{LH}},U, \frac{4}{3}\biggr):= \biggl\{ U\in{\mathrm{PSym}}(3) | \| \operatorname {dev}_3\log U\|^2< a_{{\mathrm{B}}}<\frac{4}{3} \biggr\} . \end{aligned}$$ -
The results already obtained in [39] cannot be used for the energy \(W_{{\mathrm{B}}}(F)=\|\operatorname {dev}_{3}\log U\|^{2} =\|\log U\| ^{2}-\frac{1}{3}[\operatorname {tr}(\log U)]^{2}\), because they are applicable only for energies \(W_{{\mathrm {H}}}(F)=\mu\|\log U\|^{2}+\frac{\lambda}{2}[\operatorname {tr}(\log U)]^{2}\) for which μ,λ≥0.
Remark 6.13
As expected, the above properties are improved by considering the exponentiated Hencky energy \(F\mapsto W(F)= e^{k \|\operatorname {dev}_{3}\log U\|^{2}}\). The corresponding function \(g:\mathbb{R}^{3}_{+}\rightarrow\mathbb{R}, g(\lambda_{1},\lambda_{2},\lambda_{3}):=e^{ \frac{k}{3} \bigl[\log^{2}\frac{\lambda _{1}}{\lambda _{2}}+ \log^{2}\frac{\lambda _{2}}{\lambda _{3}}+\log^{2}\frac{\lambda _{3}}{\lambda _{1}} \bigr]}\) is such that:
-
g is separately convex everywhere if \(k>\frac{3}{16}\).
-
g always satisfies the BE-inequalities.
-
Numerical computations give us reasons to believe that there is a number a>0, \(a>\frac{4}{3}>a_{{\mathrm{B}}}>0\), such that \(F\mapsto e^{k \|\operatorname {dev}_{3}\log U\|^{2}}\) is LH-elliptic in the domain \(\|\operatorname {dev}_{3}\log U\|^{2}< a\). The approximative value which we observed is a=27, i.e., \(U\in\mathcal {E}(W_{{\mathrm{eH}}}, \mathrm{LH},U,27)\), where
$$\begin{aligned} \mathcal{E}\bigl(W_{{\mathrm{eH}}}^{\mathrm{iso}},{ \mathrm{LH}},U,27\bigr):=\bigl\{ U\in{\mathrm{PSym}}(3) | \| \operatorname {dev}_3 \log U\|^2\leq27\bigr\} . \end{aligned}$$(6.27)Of course, \(\mathcal{E}(W_{{\mathrm{eH}}}^{\mathrm{iso}},{\mathrm {LH}},U,27)\) contains a neighborhood of . Rephrasing the remark of Ogden [182, page 409], “the question whether a constitutive inequality [LH, TSS-I, TSTS-M, BSTS, BSS, etc.] holds for all deformations of a compressible solid is open. The applicability of elastic theory outside [a bounded domain in stretch space] is itself questionable because, for example, there may exist yield surfaces beyond which permanent deformation occurs.”
Remark 6.14
The major open problems in this respect are:
-
Do there exist numbers x,y>0 such that the energy function \(F\mapsto e^{\|\operatorname {dev}_{3} \log U\|^{2}}\) is LH-elliptic in (x,y)×(x,y)×(x,y) and ? If true, then in view of Lemma 6.7 the function \(F\mapsto e^{\|\operatorname {dev}_{3} \log U\| ^{2}}\) is LH-elliptic in the domain given by Fig. 18. In the three-dimensional representation it is a cone with the angle in the origin.
-
Is the function \(F\mapsto e^{\|\operatorname {dev}_{3} \log U\|^{2}}\) elliptic in a ball containing ? If true, then in view of Lemma 6.7 the function \(F\mapsto e^{\|\operatorname {dev}_{3} \log U\|^{2}}\) is LH-elliptic in the domain given by Fig. 19. In the two-dimensional representation this domain is a corner domain but in the three-dimensional representation it is the interior of an infinite cone (not necessarily circular) with the angle in the origin (see Fig. 20).
-
In fact it is enough to check where the energy function \(F\mapsto e^{\| \operatorname {dev}_{3} \log U\|^{2}}\) looses the ellipticity in all planes λ i =1, meaning planes π i containing the point (1,1,1) and orthogonal to the axes Oλ i , respectively. In view of the symmetry in λ i , it is enough to see what happens in the plane π 1:λ 1=1.
7 Summary and Open Problems
To summarize, in the present paper:
-
We have proved that the planar exponentiated Hencky strain energy function
$$\begin{aligned} F\mapsto W_{{\mathrm{eH}}}(F):=\widehat{W}_{{\mathrm{eH}}}(U):&= \left\{ \begin{array}{l@{\quad }ll} \frac{\mu}{k} e^{k \|\operatorname {dev}_2\log U\|^2}+\frac{\kappa}{2\widehat {k}} e^{\widehat{k} (\operatorname {tr}(\log U))^2}&\text{if}& \det F>0,\\ +\infty& \text{if} &\det F\leq0 \end{array} \right. \end{aligned}$$(7.1)is rank-one convex for μ>0,κ>0, \(k\geq\frac {1}{4}\) and \(\widehat{k}\geq\frac{1}{8}\);
-
We have shown that the exponentiated volumetric energy function
$$\begin{aligned} F\mapsto\frac{\kappa}{2\widehat{k}} e^{\widehat{k} (\operatorname {tr}(\log U))^2}, \quad F\in\mathrm{GL}^+(n) \end{aligned}$$(7.2)is rank-one convex w.r.t. F for the volumetric strain parameter \(\widehat{k}\geq\frac{1}{m^{(m+1)}}\). (\(m=2: \widehat{k}\geq\frac {1}{8}\), \(m=3: \widehat{k}\geq\frac{1}{81}\));
-
We have shown that for all distortional strain stiffening parameters k>0 the energy function
$$\begin{aligned} F\mapsto\frac{\mu}{k} e^{k \|\operatorname {dev}_3\log U\|^2},\quad F \in \mathrm{GL}^+(3) \end{aligned}$$(7.3)is not rank-one convex;
-
Numerical tests suggest that the LH-ellipticity domain of the distortional energy function \(F\mapsto\frac{\mu}{k} e^{k \|\operatorname {dev}_{3}\log U\|^{2}}\), F∈GL+(3), with \(k\geq\frac{3}{16}\) (the necessary condition for separate convexity (SC) of \(e^{k \|\operatorname {dev}_{3}\log U\|^{2}}\) in 3D) is an extremely large cone
$$\begin{aligned} \mathcal{E}(W_{{\mathrm{eH}}},{\mathrm{LH}},U, 27)=\bigl\{ U\in {\mathrm{PSym}}(3) | \|\operatorname {dev}_3\log U\|^2< 27\bigr\} ; \end{aligned}$$(7.4) -
We have proved that the energy function
$$\begin{aligned} F\mapsto\frac{\mu}{k} e^{k \|\log U\|^2},\quad F \in\mathrm {GL}^+(n), \quad n=2,3 \end{aligned}$$(7.5)is not rank-one convex;
-
We have shown that the true-stress-true-strain relation is invertible for the family of energies W eH;
-
The monotonicity of the Cauchy stress tensor, as a function of logV, for our family of exponentiated Hencky energies is true in certain domains of bounded distortions
$$\begin{aligned} \mathcal{E}\biggl(W_{{\mathrm{eH}}},\text{TSTS-M}^+, \tau _{{\mathrm{eH}}}, \frac{2}{3} {\boldsymbol{\sigma}}_{ \mathbf{y}}^2\biggr):= \biggl\{ \tau\in\mathrm{Sym}(3) | \|\operatorname {dev}_3 \tau\|^2 \leq\frac{2}{3} {\boldsymbol{\sigma}}_{ \mathbf{y}}^2 \biggr\} , \end{aligned}$$(7.6)superficially similar to the observed ellipticity domains \(\mathcal {E}(W_{{\mathrm{eH}}},\text{TSTS-M}^{+}, \tau_{{\mathrm{eH}}},\frac {2}{3} {\boldsymbol{\sigma}}_{ \mathbf{y}}^{2})\);
-
For all exponentiated energies KSTS-M+, KSTS-I, TSTS-I, TSS-I conditions are satisfied everywhere;
-
For n=3 among the family W eH we have singled out a special (\(k=\frac{2}{3} \widehat{k}\)) three parameter subset
$$\begin{aligned} W_{{\mathrm{eH}}}^{\sharp}(\log V)=\frac{1}{2 k} \biggl\{ \frac{E}{1+\nu} e^{k \|\operatorname {dev}_3\log V\|^2}+\frac{E}{2(1-2 \nu )} e^{\frac{2}{3} k (\operatorname {tr}(\log V))^2} \biggr\} \end{aligned}$$such that uniaxial tension leads to no lateral contraction if and only if ν=0, as in linear elasticity.
In forthcoming papers [170, 171, 177] our geodesic invariants
as basic ingredients of idealized isotropic strain energies will be motivated in detail. As already stated in the introduction, it can be shown that [170, 171, 177]
where and \(\operatorname {dist}^{2}_{{\mathrm{geod},\mathrm{SL}(n)}}\) are the canonical left invariant geodesic distances on the Lie-group SL(n) and on the group , respectively (see [170, 171, 177]). For this investigation new mathematical tools had to be discovered [132, 177] also having consequences for the classical polar decomposition [118, 119].
Hence, using this terminology, in the present paper we have shown rank-one convexity of
Our W eH formulation ignores at first sight yield surfaces and other aspects of a theory of plasticity. Yet, our investigation on the ellipticity conditions in 3D suggests a relation between loss of ellipticity conditions and permanent deformations [173].
Let us finish this paper with some conjectures stemming from our unsuccessful attempts in this direction:
Conjecture 7.1
For n=2,3 the energy \(F\mapsto\frac{\mu}{k} e^{k \|\operatorname {dev}_{n}\log U\| ^{2}}\), \(k>\frac{3}{16}\) is rank-one convex in a set which contains the large cone
Moreover, it would be interesting to know the rank-one convex and quasiconvex envelope of the energy \(F\mapsto\frac{\mu}{k}e^{k \| \operatorname {dev}_{n}\log U\|^{2}}\), \(k>\frac{3}{16}\).
Conjecture 7.2
For n=3 there is no elastic energy expression
such that \(F\mapsto W(\|\operatorname {dev}_{3}\log U\|^{2})\) is Legendre-Hadamard elliptic in GL+(3), i.e., over the entire deformation range.
Conjecture 7.3
For n=2,3 there is no elastic energy expression
such that \(F\mapsto W(\|\operatorname {dev}_{n}\log U\|^{2})\) satisfies the TSTS-M + condition in GL+(n), i.e., over the entire deformation range.
A further open problem is to find an energy \(F\mapsto W(\|\operatorname {dev}_{3}\log U\|^{2}, [\operatorname {tr}(\log U)]^{2})\) such that the BSS-I condition is satisfied. In a future contribution we will discuss the application of the family W eH(F) to the description of large strain rubber elasticity for Treloar’s classical data.
Notes
Although every such Riemannian metric is uniquely characterized by three coefficients, the geodesic distance to SO(n) in fact depends on only two of them, corresponding to the two material parameters μ and κ.
Truesdell writes [251]: “It is important to realize that since each of the several material tensors [the strain tensors like , , logU, U−U −1] is an isotropic function of any one of the others, an exact description of strain in terms of any one is equivalent to a description in terms of any other; only when an approximation is to be made may the choice of a particular measure become important.”
Such an assumption is especially suitable for only slightly compressible materials or under small elastic strains [98].
In Hencky’s first paper [99], the constitutive law is proposed, which is Cauchy-elastic, tensorially correct, but not hyperelastic. This has been corrected by Hencky in later papers. Incidentally, Becker’s law (1.6) is also Cauchy-elastic, tensorially correct, but hyperelastic only for ν=0 [33, 46] (see also [176, 265]).
Note that (1.7) is the uniaxial specification of (1.6), and (1.6) is closely resembling (1.5)2. A small calculation [176] shows τ Becker=V⋅τ H, where τ is the corresponding Kirchhoff stress τ=(detF)⋅σ=D logV W(logV) and V is the left stretch tensor. Moreover . Hence, for small elastic strains , Becker’s law coincides with Hencky’s model to first order in the nonlinear strain measure .
In the German metal forming literature the logarithmic strain is also called “Umformgrad”. In [138, page 17] Ludwik uses the “effective specific elongation” \(\alpha=\int_{\ell_{0}}^{\ell} \frac{d \ell}{\ell }=\ln\frac{\ell}{\ell_{0}}\). It can be motivated by considering the summation over the infinitesimal increase in length as referred to the current length, i.e., \(\ln \frac{\ell}{\ell _{0}}=\lim_{N\rightarrow\infty} \sum_{i=0}^{N-1}\frac{\ell _{i+1}-\ell_{i}}{\ell_{i}}\) [94, 261]. The scalar Hencky-type measure \(\| \operatorname {dev}_{3}\log U\|\) is sometimes used as “equivalent strain” in order to represent the degree of plastic deformation [184, 185]. Its use for severe shearing has been questioned in [224]. In our opinion the problematic issue is not the logarithmic measure itself, but its degenerate (sublinear) growth behavior for large strains. The opposing views may be reconciled by using \(e^{\|\operatorname {dev}_{3}\log U\|}\) as “exponentiated equivalent strain” measure.
I.e., an amorphous metal which is very nearly isotropic with superior elastic deformability up to 1–2 % distortional strain, but which shows no ductility, in contrast to polycrystalline metals which typically show elastic strains up only to 0.1–0.2 %. Recently, Murphy [163] (see also [266]) has postulated a linear Cauchy stress-strain relation for some strain measure and gets as well W H as a preferred solution. His corresponding “strain measure” E is then \(E:=\frac{1}{\det V}\cdot \log V\), so that , which is Hencky’s relation in disguise. However, V↦E(V) is not invertible, thus E does not really qualify as a strain measure.
Tarantola noted [245, page 15] that “Cauchy originally defined the strain as , but many lines of thought suggest that this was just a guess, that, in reality is just the first order approximation to the more proper definition , i.e., in reality, ”.
In the one dimensional case \({\varphi(x_{1},t)=(\varphi_{1}(x_{1},t), x_{2}, x_{3})^{T} \Rightarrow F=\nabla} \varphi=\operatorname {diag}({\varphi }_{1,x_{1}},1,1)\Rightarrow D={\mathrm{sym}}(\dot{F}{F}^{-1})=\operatorname {diag}(\frac{\dot{\varphi}_{1,x_{1}}}{\varphi_{1,x_{1}}},0,0 )\) and \(\int _{0}^{t} \frac{\dot{\varphi}_{1,x_{1}}}{\varphi_{1,x_{1}}} ds=\log|\varphi_{1,x_{1}}|+C\cong\log U\).
Since GL+(3) is an open subset of \(\mathbb {R}^{3\times3}\), in accordance with [15, page 352] we say that W is rank-one convex on GL+(3) if it is convex on all closed line segments in GL+(3) with end points differing by a matrix of rank one, i.e.,
$$\begin{aligned} W\bigl( F+(1-\theta) \xi\otimes\eta\bigr)\leq\theta W( F)+(1-\theta) W(F+ \xi\otimes\eta), \end{aligned}$$(1.9)for all F∈GL+(3), θ∈[0,1], and for all ξ, \(\eta\in\mathbb{R}^{3}\), with F+tξ⊗η∈GL+(3) for all t∈[0,1]. In other words, the energy function W is rank-one convex on GL+(3) if and only if the function t↦W(F+tξ⊗η) is convex \(\forall \xi, \eta\in\mathbb{R}^{3}\), on all closed line segments in the set {t:F+tξ⊗η∈GL+(3)}.
The condition \(D^{2}_{F} W(F)(\xi\otimes\xi,\xi\otimes\xi)>0 \forall\xi\in\mathbb{R}^{3}\setminus\{0\}\), i.e., the convexity of t↦W(F+tξ⊗ξ) for all \(\xi\in\mathbb{R}^{3}\) with F+tξ⊗ξ∈GL+(3) for all t∈[0,1], is a necessary condition for the existence of at least one longitudinal acceleration wave [4, 213, 270].
The domain where the Hencky energy W H is rank-one convex is included in the domain for which the eigenvalues λ 1,λ 2,λ 3 of U satisfy \(\lambda_{1}^{2}\leq e^{2} \lambda_{2}\lambda_{3},\lambda_{2}^{2}\leq e^{2} \lambda_{3}\lambda_{1}, \lambda_{3}^{2}\leq e^{2} \lambda_{1}\lambda_{2} \) (see Corollary 5.10). Moreover, this domain is included in the domain defined by \(\|\operatorname {dev}_{3}\log U\|^{2}\leq\frac {4}{3}\). Numerical computations reveal that the exponentiated Hencky energy is rank-one convex in a domain for which \(\|\operatorname {dev}_{3}\log U\|^{2}\leq a\) with \(a> \frac{4}{3}\) (see Sect. 6.3).
In this paper we also show that for planar elastostatics \(F\mapsto e^{\|\log U\|^{2}}\) is not rank-one convex, a surprising observation which is difficult to obtain, since ellipticity is lost for extremely large principal stretches only.
The idea of considering the exponential function in modelling of nonlinear elasticity is not entirely new. In fact \(W(F)=\frac{\mu}{2 k} [e^{k (I_{1}-3)}-1 ]\), where \(I_{1}=\operatorname {tr}(F F^{T})\), is a Fung-type model which is often used in the biomechanics literature to describe the nonlinearly elastic response of biological tissues [25, 85]. In the limit \(\lim_{k\rightarrow0}\frac{\mu}{2 k} [e^{k (I_{1}-3)}-1 ]=\frac{\mu}{2}(I_{1}-3)\), we recover the Neo-Hookean energy for elastic incompressible materials. Another Fung-type energy [25, 85] is .
Richter in 1949 [197] already considers the following complete set of isotropic invariants: \(K_{1}=\operatorname {tr}(\log U), K_{2}^{2}= \operatorname {tr}((\operatorname {dev}_{3}\log U)^{2})\) and \(\operatorname {tr}((\operatorname {dev}_{3}\log U)^{3})\), see also [139]. A similar list of invariants was used by Lurie [139, page 189]: K 1, K 2 and \(\widetilde{K}_{3}=\arcsin(K_{3})\).
The energy (1.12) does not satisfy the tension-compression symmetry.
The numerical results given by Hennan and Anand [98] correspond to the large volumetric strain range 0.75≤detF≤1.16 (−0.3≤logdetF≤0.15) but small shear strain range \(\|\operatorname {dev}_{3}\log V\|\leq0.035\).
Since \(\operatorname {tr}(\sigma)=0\) one might rather expect the stronger statement \(B=\Bigl( {\scriptsize\begin{matrix} B_{11} & B_{12} & 0 \cr B_{12} & B_{22} & 0 \cr 0 & 0 & 1 \end{matrix}} \Bigr)\), i.e., B 33=1, as well as detB=1. However, this is not true in general for isotropic energies, e.g., it is not satisfied for Neo-Hooke or Mooney-Rivlin type materials.
In the literature, all these concepts are defined using strict inequalities for λ i ≠λ j , i≠j. In this paper these common cases will be denoted by TE+, OF+, E+ and PC+, respectively.
These inequalities appear also, but not as strict inequalities, in the following theorem:
Theorem 2.1 ([16, Theorem 6.5]) Let \({W}:\mathrm{GL}^{+}(n)\rightarrow\mathbb{R}\) be an objective-isotropic function of class C 2 with the representation in terms of the singular values of U via \(W(F)=\widehat{W}(U)=g(\lambda_{1},\lambda_{2},\ldots ,\lambda_{n})\) . Let F∈GL+(n) be given with the n-tuple of singular values λ 1,λ 2,…,λ n . Then D 2 W(F)[H,H]≥0 for every \(H\in \mathbb {R}^{n\times n}\) if and only if the following conditions hold simultaneously:
-
(i)
\(\sum_{i,j=1}^{n} \frac{\partial^{2} g}{\partial\lambda _{i} \partial\lambda_{j}}a_{i}a_{j}\geq0\) for every \((a_{1},a_{2},\ldots ,a_{n})\in \mathbb {R}^{n}\) (convexity of g);
-
(ii)
for every \(i\neq j, \underbrace{\frac{\frac{\partial g}{\partial\lambda_{i}}-\frac {\partial g}{\partial\lambda_{j}}}{\lambda_{i}-\lambda_{j}}\geq 0}_{\text{``}\mathrm{OF}\mbox{-}\mathrm{inequality}\text{''}}\ \text{if}\ \lambda_{i}\neq \lambda_{j}, \frac{\partial^{2} g}{\partial\lambda_{i}^{2}}-\frac {\partial^{2} g}{\partial \lambda_{i}\partial\lambda_{j}}\geq0 \ \text{if}\ \lambda _{i}=\lambda_{j}\).
-
(iii)
\(\frac{\partial g}{\partial\lambda_{i}}+\frac {\partial g}{\partial\lambda_{j}}\geq0\) for every i≠j.
Hence, if the function F↦W(F) is convex in F∈GL+(n), then the OF-inequalities hold true. However, the convexity of F↦W(F) is physically not acceptable, since it precludes buckling.
-
(i)
This is suggested by the formula presented in [29, page 736]: \(e^{\alpha\cdot\widehat{A}}=\bigl( {\scriptsize\begin{matrix} \cosh\alpha& \sinh\alpha \cr \sinh\alpha& \cosh\alpha \end{matrix}} \bigr)\ \text{for} \ \widehat{A}=\bigl( {\scriptsize\begin{matrix} 0 & \alpha \cr \alpha& 0 \end{matrix}} \bigr)\).
In terms of the Young’s modulus and the shear modulus ν is given by \(\nu=\frac{E}{2 \mu}-1\), while in terms of the Young’s modulus and the bulk modulus κ it is given by \(\nu =\frac{1}{2}-\frac{E}{6 \kappa}\).
We use that \(\kappa=\frac{2 \mu (1+\nu)}{3 (1-2\nu)}\), \(\nu=\frac{3 \kappa-2 \mu}{2(3 \kappa+\mu)}\).
In [159] it is claimed that the classical elasticity formulation is applicable only for \(\frac{1}{5}<\nu<\frac{1}{2}\).
For this special material the energy is elliptic for \(\rho<\frac{\lambda_{1}}{\lambda_{2}}<\frac{1}{\rho}\), \(\rho=2-\sqrt{3}=0.268\).
This means \(e^{k \|\operatorname {dev}_{3} \log (a U)\|^{2}}=e^{k \|\operatorname {dev}_{3}\log U\|^{2}}\) for all a>0.
The invariance under inversion of an energy W is the tension-compression symmetry W(F)=W(F −1).
Hutchinson and Neale [116] have considered the energy \(\|\operatorname {dev}_{3}\log U\|^{N}\) for 0<N≤1.
In [257] Vallée et al. have given a proof without using a Taylor expansion.
References
Adamov, A.A.: Comparative analysis of the two-constant generalizations of Hooke’s law for isotropic elastic materials at finite strains. J. Appl. Mech. Tech. Phys. 42(5), 890–897 (2001)
Al-Mohy, A., Higham, N., Relton, S.: Computing the Fréchet derivative of the matrix logarithm and estimating the condition number. SIAM J. Sci. Comput. 35(4), C394–C410 (2013)
Alexander, H.: The tensile instability of an inflated cylindrical membrane as affected by an axial load. Int. J. Mech. Sci. 13(2), 87–95 (1971)
Altenbach, H., Eremeyev, V., Lebedev, L., Rendón, L.A.: Acceleration waves and ellipticity in thermoelastic micropolar media. Arch. Appl. Mech. 80(3), 217–227 (2010)
Anand, L.: On H. Hencky’s approximate strain energy function for moderate deformations. J. Appl. Mech. 46, 78–82 (1979)
Anand, L.: Moderate deformations in extension-torsion of incompressible isotropic elastic materials. J. Mech. Phys. Solids 34, 293–304 (1986)
Annaidh, A.N., Destrade, M., Gilchrist, M.D., Murphy, J.G.: Deficiencies in numerical models of anisotropic nonlinearly elastic materials. Biomech. Model. Mechanobiol. 12(4), 781–791 (2012)
Arghavani, J., Auricchio, F., Naghdabadi, R.: A finite strain kinematic hardening constitutive model based on Hencky strain: general framework, solution algorithm and application to shape memory alloys. Int. J. Plast. 27(6), 940–961 (2011)
Aron, M.: On certain deformation classes of compressible Hencky materials. Math. Mech. Solids 11, 467–478 (2006)
Aubert, G.: Necessary and sufficient conditions for isotropic rank-one convex functions in dimension 2. J. Elast. 39(1), 31–46 (1995)
Aubert, G., Tahraoui, R.: Conditions nécessaires de faible fermeture et de 1-rang convexité en dimension 3. Rend. Circ. Mat. Palermo 34(3), 460–488 (1985)
Aubert, G., Tahraoui, R.: Sur la faible fermeture de certains ensembles de contraintes en élasticité non-linéaire plane. Arch. Ration. Mech. Anal. 97(1), 33–58 (1987)
Baker, M., Ericksen, J.L.: Inequalities restricting the form of the stress-deformation relation for isotropic elastic solids and Reiner-Rivlin fluids. J. Wash. Acad. Sci. 44, 33–35 (1954)
Ball, J.M.: Constitutive inequalities and existence theorems in nonlinear elastostatics. In: Knops, R.J. (ed.) Herriot Watt Symposion: Nonlinear Analysis and Mechanics, vol. 1, pp. 187–238. Pitman, London (1977)
Ball, J.M.: Convexity conditions and existence theorems in nonlinear elasticity. Arch. Ration. Mech. Anal. 63, 337–403 (1977)
Ball, J.M.: Differentiability properties of symmetric and isotropic functions. Duke Math. J. 51(3), 699–728 (1984)
Ball, J.M.: Some open problems in elasticity. In: Newton, P., et al. (eds.) Geometry, Mechanics, and Dynamics, pp. 3–59. Springer, New York (2002)
Balzani, D., Neff, P., Schröder, J., Holzapfel, G.A.: A polyconvex framework for soft biological tissues. Adjustment to experimental data. Int. J. Solids Struct. 43(20), 6052–6070 (2006)
Balzani, D., Schröder, J., Gross, D., Neff, P.: Modeling of Anisotropic Damage in Arterial Walls Based on Polyconvex Stored Energy Functions. In: Owen, D.R.J., Onate, E., Suarez, B. (eds.) Computational Plasticity VIII, Fundamentals and Applications, Part 2, pp. 802–805. CIMNE, Barcelona (2005)
Balzani, D., Schröder, J., Neff, P., Holzapfel, G.A.: Materially stable constitutive equations for arterial walls based on polyconvex energies—application to damage modeling and residual stresses. J. Biomech. 39, 409 (2006)
Batra, R.C.: On the coincidence of the principal axes of stress and strain in isotropic elastic bodies. Lett. Appl. Eng. Sci. 3, 435–439 (1975)
Batra, R.C.: Deformation produced by a simple tensile load in an isotropic elastic body. J. Elast. 6(1), 109–111 (1976)
Batra, R.C., dell’Isola, F., Vidoli, S.: A second-order solution of Saint-Venant’s problem for a piezoelectric circular bar using Signorini’s perturbation method. J. Elast. 52(1), 75–90 (1998)
Bažant, Z.P.: Easy-to-compute tensors with symmetric inverse approximating Hencky finite strain and its rate. J. Eng. Mater. Trans. ASME 120, 131–136 (1998)
Beatty, M.: Topics in finite elasticity: hyperelasticity of rubber, elastomers, and biological tissues—with examples. Appl. Mech. Rev. 40(12), 1699–1734 (1987)
Beatty, M.F.: Introduction to nonlinear elasticity. In: Carroll, M.M., Hayes, M.A. (eds.) Nonlinear Effects in Fluids and Solids, pp. 13–112. Springer, Berlin (1996)
Becker, G.F.: The finite elastic stress-strain function. Am. J. Sci. XLVI, 337–356 (1893). https://www.uni-due.de/imperia/md/content/mathematik/ag_neff/becker_latex_new1893.pdf
Bell, J.F.: Mechanics of Solids: Volume 1: The Experimental Foundations of Solid Mechanics. Handbuch der Physik. Springer, Berlin (1973)
Bernstein, D.S.: Matrix Mathematics. Princeton University Press, New Jersey (2009)
Bertram, A., Böhlke, T., Šilhavý, M.: On the rank 1 convexity of stored energy functions of physically linear stress-strain relations. J. Elast. 86, 235–243 (2007)
Bhatia, R., Holbrook, J.: Riemannian geometry and matrix geometric means. Linear Algebra Appl. 413(2), 594–618 (2006)
Bîrsan, M., Neff, P., Lankeit, J.: Sum of squared logarithms: an inequality relating positive definite matrices and their matrix logarithm. J. Inequal. Appl. 2013(1), 168 (2013)
Blume, J.: On the form of the inverted stress-strain law for isotropic hyperelastic solids. Int. J. Non-Linear Mech. 27(3), 413–421 (1992)
Böhlke, T., Bertram, A.: On ellipticity of finite isotropic linear elastic laws. Preprint der Fakultät für Maschinenbau, Otto-von-Guericke-Universität Magdeburg (1), 1–18 (2002)
Borwein, J.M., Vanderwerff, J.D.: Convex Functions. Constructions, Characterizations and Counterexamples. Cambridge University Press, Cambridge (2010)
Bruhns, O.T.: Die Berücksichtigung einer isotropen Werkstoffverfestigung bei der elastisch-plastischen Blechbiegung mit endlichen Formänderungen. Ing.-Arch. 39(1), 63–72 (1970)
Bruhns, O.T.: Elastoplastische Scheibenbiegung bei endlichen Formänderungen. Z. Angew. Math. Mech. 51, T101–T103 (1971)
Bruhns, O.T., Thermann, K.: Elastisch-plastische Biegung eines Plattenstreifens bei endlichen Formänderungen. Ing.-Arch. 38(3), 141–152 (1969)
Bruhns, O.T., Xiao, H., Mayers, A.: Constitutive inequalities for an isotropic elastic strain energy function based on Hencky’s logarithmic strain tensor. Proc. R. Soc. Lond. Ser. A, Math. Phys. Sci. 457, 2207–2226 (2001)
Bruhns, O.T., Xiao, H., Mayers, A.: Finite bending of a rectangular block of an elastic Hencky material. J. Elast. 66(3), 237–256 (2002)
Bruhns, O.T., Xiao, H., Meyers, A.: Hencky’s elasticity model with the logarithmic strain measure: a study on Poynting effect and stress response in torsion of tubes and rods. Arch. Mech. 52(4), 489–509 (2000)
Buliga, M.: Four applications of majorization to convexity in the calculus of variations. Linear Algebra Appl. 429(7), 1528–1545 (2008)
Cai, Z., Starke, G.: First-order system least squares for the stress-displacement formulation: linear elasticity. SIAM J. Numer. Anal. 41(2), 715–730 (2003)
Cai, Z., Starke, G.: Least-squares methods for linear elasticity. SIAM J. Numer. Anal. 42(2), 826–842 (2004)
Carroll, M.M.: Controllable states of stress for compressible elastic solids. J. Elast. 3(1), 57–61 (1973)
Carroll, M.M.: Must elastic materials be hyperelastic? Math. Mech. Solids 14(4), 369–376 (2009)
Chen, Y.C.: Stability and bifurcation of homogeneous deformations of a compressible elastic body under pressure load. Math. Mech. Solids 1(1), 57–72 (1996)
Ciarlet, P.G.: Three-Dimensional Elasticity, 1st edn. Studies in Mathematics and Its Applications, vol. 1. Elsevier, Amsterdam (1988)
Cleja-Ţigoiu, S.: Yield criteria in anisotropic finite elasto-plasticity. Arch. Mech. 57(2–3), 81–102 (2005)
Cleja-Ţigoiu, S.: Consequences of the dissipative restrictions in finite anisotropic elasto-plasticity. Int. J. Plast. 19(11), 1917–1964 (2003)
Criscione, J.C.: Direct tensor expression for natural strain and fast, accurate approximation. Compos. Struct. 80(25), 1895–1905 (2002)
Criscione, J.C., Humphrey, J.D., Douglas, A.S., Hunter, W.C.: An invariant basis for natural strain which yields orthogonal stress response terms in isotropic hyperelasticity. J. Mech. Phys. Solids 48(12), 2445–2465 (2000)
Curnier, A., Rakotomanana, L.: Generalized strain and stress measures, critical survey and new results. Eng. Trans. (Warsaw) 39, 461–538 (1991)
Dacorogna, B.: Necessary and sufficient conditions for strong ellipticity of isotropic functions in any dimension. Discrete Contin. Dyn. Syst. 1(2), 257–263 (2001)
Dacorogna, B.: Direct Methods in the Calculus of Variations, 2nd edn. Applied Mathematical Sciences, vol. 78. Springer, Berlin (2008)
Dacorogna, B., Koshigoe, H.: On the different notions of convexity for rotationally invariant functions. Ann. Fac. Sci. Toulouse 2, 163–184 (1993)
Dacorogna, B., Marcellini, P.: Implicit Partial Differential Equations. Birkhäuser, Boston (1999)
Dacorogna, B., Maréchal, P.: A note on spectrally defined polyconvex functions. In: Carozza, M., et al. (eds.) Proceedings of the Workshop “New Developments in the Calculus of Variations”, pp. 27–54. Edizioni Scientifiche Italiane, Napoli (2006)
Davis, C.: All convex invariant functions of Hermitian matrices. Arch. Math. 8, 276–278 (1957)
de Boer, R.: Die elastisch-plastische Biegung eines Plattenstreifens aus inkompressiblem Werkstoff bei endlichen Formänderungen. Ing.-Arch. 36(3), 145–154 (1967)
de Boer, R., Bruhns, O.T.: Zur Berechnung der Eigenspannungen bei einem durch endliche Biegung verformten inkompressiblen Plattenstreifen. Acta Mech. 8(3–4), 146–159 (1969)
dell’Isola, F., Ruta, G.C., Batra, R.C.: A second-order solution of Saint-Venant’s problem for an elastic pretwisted bar using Signorini’s perturbation method. J. Elast. 49(2), 113–127 (1997)
dell’Isola, F., Ruta, G.C., Batra, R.C.: Generalized Poynting effects in predeformed prismatic bars. J. Elast. 50(2), 181–196 (1998)
Destrade, M., Murphy, J., Saccomandi, G.: Simple shear is not so simple. Int. J. Non-Linear Mech. 47(2), 210–214 (2012)
Diani, J., Gilormini, P.: Combining the logarithmic strain and the full-network model for a better understanding of the hyperelastic behavior of rubber-like materials. J. Mech. Phys. Solids 53(11), 2579–2596 (2005)
Dłużewski, P.: Anisotropic hyperelasticity based upon general strain measures. J. Elast. 60(2), 119–129 (2000)
Dłuzewski, P., Jurczak, G., Antúnez, H.: Logarithmic measure of strains in finite element modelling of anisotropic deformations of elastic solids. Comput. Assist. Mech. Eng. Sci. 10, 69–79 (2003)
Dłużewski, P., Traczykowski, P.: Numerical simulation of atomic positions in quantum dot by means of molecular statics. Arch. Mech. 55(5–6), 393–406 (2003)
Dui, G.S.: Some basis-free formulae for the time rate and conjugate stress of logarithmic strain tensor. J. Elast. 83(2), 113–151 (2006)
Ebbing, V., Schröder, J., Neff, P.: Approximation of anisotropic elasticity tensors at the reference state with polyconvex energies. Arch. Appl. Mech. 79, 651–657 (2009)
Edelstein, W., Fosdick, R.: A note on non-uniqueness in linear elasticity theory. Z. Angew. Math. Phys. 19(6), 906–912 (1968)
Ernst, E.: Ellipticity loss in isotropic elasticity. J. Elast. 51(3), 203–211 (1998)
Fiala, Z.: Time derivative obtained by applying the Riemannian manifold of Riemannian metrics to kinematics of continua. C. R., Méc. 332(2), 97–102 (2004)
Fiala, Z.: Geometry of finite deformations, linearization, and incremental deformations under initial stress/strain. In: Proceedings of International Conference Engineering Mechanics 2008 (2008). 20 pp.
Fiala, Z.: Logarithmic strain in 1 versus 3(2) dimensions. In: Proceedings of International Conference Engineering Mechanics 2010 (2010) 11 pp.
Fiala, Z.: Geometrical setting of solid mechanics. Ann. Phys. 326(8), 1983–1997 (2011)
Fitzgerald, J.E.: A tensorial Hencky measure of strain and strain rate for finite deformations. J. Appl. Phys. 51, 5111–5115 (1980)
Flory, P.J.: Thermodynamic relations for high elastic materials. Trans. Faraday Soc. 57, 829–838 (1961)
Fosdick, R., Piccioni, M.D., Puglisi, G.: A note on uniqueness in linear elastostatics. J. Elast. 88(1), 79–86 (2007)
Fosdick, R., Šilhavý, M.: Generalized Baker-Ericksen inequalities. J. Elast. 85(1), 39–44 (2006)
Fosdick, R., Volkmann, E.: Normality and convexity of the yield surface in nonlinear plasticity. Q. Appl. Math. 51, 117–127 (1993)
Freed, A.D.: Natural strain. J. Eng. Mater. Technol. 117(4), 379–385 (1995)
Freed, A.D.: Hencky strain and logarithmic rates in Lagrangian analysis. Int. J. Eng. Sci. 81, 135–145 (2014)
Fu, Y.B., Ogden, R.W.: Nonlinear Elasticity: Theory and Applications, vol. 281. Cambridge University Press, Cambridge (2001)
Fung, Y.C.: Inversion of a class of nonlinear stress-strain relationships of biological soft tissues. J. Biomech. Eng. 101(1), 23–27 (1979)
Gao, X.L.: Finite deformation elasto-plastic solution for the pure bending problem of a wide plate of elastic linear-hardening material. Int. J. Solids Struct. 31(10), 1357–1376 (1994)
Gao, X.L.: Finite deformation continuum model for single-walled carbon nanotubes. Int. J. Solids Struct. 40(26), 7329–7337 (2003)
Gao, X.L., Atluri, S.N.: An exact finite deformation elasto-plastic solution for the outside-in free eversion problem of a tube of elastic linear-hardening material. IMA J. Appl. Math. 58(3), 259–275 (1997)
Gearing, B.P., Anand, L.: Notch-sensitive fracture of polycarbonate. Int. J. Solids Struct. 41(3), 827–845 (2004)
Germain, S., Scherer, M., Steinmann, P.: On inverse form finding for anisotropic hyperelasticity in logarithmic strain space. Int. J. Struct. Chang. Solids - Mech. Appl. 2(2), 1–16 (2010)
Ghiba, I.D., Müller, B., Neff, P., Starke, G.: On the stress-strain invertibility in nonlinear elasticity (2015, in preparation)
Glüge, R., Kalisch, J.: Graphical representations of the regions of rank-one-convexity of some strain energies. Tech. Mech. 32, 227–237 (2012)
Gurtin, M.E., Spear, K.: On the relationship between the logarithmic strain rate and the stretching tensor. Int. J. Solids Struct. 19(5), 437–444 (1983)
Hanin, M., Reiner, M.: On isotropic tensor-functions and the measure of deformation. Z. Angew. Math. Phys. 7(5), 377–393 (1956)
Hartig, E.: Der Elastizitätsmodul des geraden Stabes als Funktion der spezifischen Beanspruchung. Z. Civilingenieur XXXIX, 113–138 (1893). https://www.uni-due.de/imperia/md/content/mathematik/ag_neff/hartig_elastizitaetsmodul.pdf
Hartmann, S., Neff, P.: Polyconvexity of generalized polynomial type hyperelastic strain energy functions for near incompressibility. Int. J. Solids Struct. 40(11), 2767–2791 (2003)
Henann, D.L., Anand, L.: Fracture of metallic glasses at notches: effects of notch-root radius and the ratio of the elastic shear modulus to the bulk modulus on toughness. Acta Mater. 57(20), 6057–6074 (2009)
Henann, D.L., Anand, L.: A large strain isotropic elasticity model based on molecular dynamics simulations of a metallic glass. J. Elast. 104(1–2), 281–302 (2011)
Hencky, H.: Zur Theorie plastischer Deformationen und der hierdurch im Material hervorgerufenen Nachspannungen. Z. Angew. Math. Mech. 4(4), 323–334 (1924)
Hencky, H.: Über die Form des Elastizitätsgesetzes bei ideal elastischen Stoffen. Z. Tech. Phys. 9, 215–220 (1928). https://www.uni-due.de/imperia/md/content/mathematik/ag_neff/hencky1928.pdf (see also the technical translation NASA TT-21602)
Hencky, H.: Das Superpositionsgesetz eines endlich deformierten relaxationsfähigen elastischen Kontinuums und seine Bedeutung für eine exakte Ableitung der Gleichungen für die zähe Flüssigkeit in der Eulerschen Form. Ann. Phys. 2, 617–630 (1929). https://www.uni-due.de/imperia/md/content/mathematik/ag_neff/hencky_superposition1929.pdf
Hencky, H.: Welche Umstände bedingen die Verfestigung bei der bildsamen Verformung von festen isotropen Körpern? Z. Phys. 55, 145–155 (1929). https://www.uni-due.de/imperia/md/content/mathematik/ag_neff/hencky1929.pdf
Hencky, H.: The law of elasticity for isotropic and quasi-isotropic substances by finite deformations. J. Rheol. 2, 169–176 (1931). https://www.uni-due.de/imperia/md/content/mathematik/ag_neff/henckyjrheology31.pdf
Hencky, H.: The elastic behavior of vulcanized rubber. Rubber Chem. Technol. 6(2), 217–224 (1933). https://www.uni-due.de/imperia/md/content/mathematik/ag_neff/hencky_vulcanized_rubber.pdf
Hill, R.: A theory of the yielding and plastic flow of anisotropic metals. Proc. R. Soc., Math. Phys. Eng. Sci. 193(1033), 281–297 (1948)
Hill, R.: The Mathematical Theory of Plasticity. Clarendon, Oxford (1950)
Hill, R.: On constitutive inequalities for simple materials—I. J. Mech. Phys. Solids 16(4), 229–242 (1968)
Hill, R.: Constitutive inequalities for isotropic elastic solids under finite strain. Proc. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 314(1519), 457–472 (1970)
Hill, R.: Aspects of invariance in solid mechanics. Adv. Appl. Mech. 18, 1–75 (1978)
Hill, R.: On the theory of plane strain in finitely deformed compressible materials. Math. Proc. Camb. Philos. Soc. 86, 161–178 (1979)
Hocine, B., Chevalier, L., Idjeri, M.: A constitutive model for isotropic rubber-like materials based on the logarithmic strain invariants approach (2014, submitted)
Hoger, A.: The material time derivative of logarithmic strain. Int. J. Solids Struct. 22(9), 1019–1032 (1986)
Hoger, A.: The stress conjugate to logarithmic strain. Int. J. Solids Struct. 23(12), 1645–1656 (1987)
Horgan, C., Murphy, J.: Constitutive modeling for moderate deformations of slightly compressible rubber. J. Rheol. 53, 153 (2009)
Horgan, C., Murphy, J.: On the volumetric part of strain-energy functions used in the constitutive modeling of slightly compressible solid rubbers. Int. J. Solids Struct. 46(16), 3078–3085 (2009)
Hutchinson, J.W., Neale, K.W.: Finite strain J 2-deformation theory. In: Carlson, D.E., Shield, R.T. (eds.) Proceedings of the IUTAM Symposium on Finite Elasticity, pp. 237–247. Nijhoff, Dordrecht (1982). https://www.uni-due.de/imperia/md/content/mathematik/ag_neff/hutchinson_ellipticity80.pdf
Imbert, A.: Recherches théoriques et expérimentales sur l’élasticité du Caoutchouc. University-de Lyon, Ph.D.-thesis, 1880, https://www.uni-due.de/imperia/md/content/mathematik/ag_neff/imbert_rubber.pdf
Jog, C.S.: Foundations and Applications of Mechanics: Continuum Mechanics, vol. 1. CRC Press, Boca Raton (2002)
Jog, C.S.: On the explicit determination of the polar decomposition in n-dimensional vector spaces. J. Elast. 66(2), 159–169 (2002)
Jog, C.S.: The explicit determination of the logarithm of a tensor and its derivatives. J. Elast. 93(2), 141–148 (2008)
Jog, C.S., Patil, K.D.: Conditions for the onset of elastic and material instabilities in hyperelastic materials. Arch. Appl. Mech. 83, 1–24 (2013)
Johnson, B., Hoger, A.: The dependence of the elasticity tensor on residual stress. J. Elast. 33(2), 145–165 (1993)
Jones, D.F., Treloar, L.R.G.: The properties of rubber in pure homogeneous strain. J. Phys. D, Appl. Phys. 8(11), 1285 (1975)
Kakavas, P.A.: Prediction of the nonlinear Poisson function using large volumetric strains estimated from a finite hyperelastic material law. Polym. Eng. Sci. 40(6), 1330–1333 (2000)
Kearsley, E.A.: Asymmetric stretching of a symmetrically loaded elastic sheet. Int. J. Solids Struct. 22(2), 111–119 (1986)
Kijowski, J., Magli, G.: Relativistic elastomechanics as a Lagrangian field theory. J. Geom. Phys. 9(3), 207–223 (1992)
Knowles, J.K., Sternberg, E.: On the ellipticity of the equations of nonlinear elastostatics for a special material. J. Elast. 5(3–4), 341–361 (1975)
Knowles, J.K., Sternberg, E.: On the failure of ellipticity of the equations for finite elastostatic plane strain. Arch. Ration. Mech. Anal. 63(4), 321–336 (1976)
Knowles, J.K., Sternberg, E.: On the failure of ellipticity and the emergence of discontinuous deformation gradients in plane finite elastostatics. J. Elast. 8(4), 329–379 (1978)
Kochkin, A.P.: Stress-strain dependence in the nonlinear theory of elasticity. Indian J. Pure Appl. Math. 17(4), 564–579 (1986)
Krawietz, A.: A comprehensive constitutive inequality in finite elastic strain. Arch. Ration. Mech. Anal. 58, 127–149 (1975)
Lankeit, J., Neff, P., Nakatsukasa, Y.: The minimization of matrix logarithms: on a fundamental property of the unitary polar factor. Linear Algebra Appl. 449(0), 28–42 (2014)
Lehmann, Th., Liang, H.: The stress conjugate to logarithmic strain logV. Z. Angew. Math. Mech. 73(12), 357–363 (1993)
Lehmich, S., Neff, P., Lankeit, J.: On the convexity of the function C→f(detC) on positive definite matrices. Math. Mech. Solids 19, 369–375 (2014)
Lewis, A.S.: Convex analysis on the Hermitian matrices. SIAM J. Optim. 6(1), 164–177 (1996)
Lewis, A.S.: The mathematics of eigenvalue optimization. Math. Program., Ser. B 97(1–2), 155–176 (2003)
Lewis, A.S., Overton, M.L.: Eigenvalue optimization. Acta Numer. 5, 149–190 (1996)
Ludwik, P.: Elemente der technologischen Mechanik. Springer, Berlin (1909). https://www.uni-due.de/imperia/md/content/mathematik/ag_neff/ludwik.pdf
Lurie, A.I.: Non-linear Theory of Elasticity. Elsevier, Amsterdam (1990)
Marsden, J.E., Hughes, J.R.: Mathematical Foundations of Elasticity. Prentice-Hall, Englewood Cliffs (1983)
Marshall, A.W., Olkin, I., Arnold, B.C.: Inequalities: Theory of Majorization and Its Applications. Springer Series in Statistics. Springer, Berlin (2011)
Martin, R., Neff, P.: Some remarks on monotonicity of primary matrix functions on the set of symmetric matrices. Arch. Appl. Mech. (2015, accepted)
Marzano, S.: An interpretation of Baker-Ericksen inequalities in uniaxial deformation and stress. Meccanica 18(4), 233–235 (1983)
Merodio, J., Neff, P.: A note on tensile instabilities and loss of ellipticity for a fiber-reinforced nonlinearly elastic solid. Arch. Mech. 58(3), 293–303 (2006)
Merrill, G.: Biographical memoir George Ferdinand Becker. Mem. Nat. Acad. Sci., XXI (1927) (see http://en.wikipedia.org/wiki/George_Ferdinand_Becker)
Meyers, A.: On the consistency of some Eulerian strain rates. Z. Angew. Math. Mech. 79(3), 171–177 (1999)
Meyers, A., Xiao, H., Bruhns, O.T.: Choice of objective rate in single parameter hypoelastic deformation cycles. Compos. Struct. 84(17), 1134–1140 (2006)
Miehe, C., Apel, N., Lambrecht, M.: Anisotropic additive plasticity in the logarithmic strain space: modular kinematic formulation and implementation based on incremental minimization principles for standard materials. Comput. Methods Appl. Mech. Eng. 191(47), 5383–5425 (2002)
Miehe, C., Méndez Diez, J., Göktepe, S., Schänzel, L.M.: Coupled thermoviscoplasticity of glassy polymers in the logarithmic strain space based on the free volume theory. Int. J. Solids Struct. 48(13), 1799–1817 (2011)
Miehe, C., Göktepe, S., Méndez Diez, J.: Finite viscoplasticity of amorphous glassy polymers in the logarithmic strain space. Int. J. Solids Struct. 46, 181–202 (2009)
Mielke, A.: Finite elastoplasticity, Lie groups and geodesics on SL(d). In: Newton, P. (ed.) Geometry, Mechanics and Dynamics. Volume in Honour of the 60th Birthday of J.E. Marsden, pp. 61–90. Springer, Berlin (2002)
Mielke, A.: Necessary and sufficient conditions for polyconvexity of isotropic functions. J. Convex Anal. 12(2), 291–314 (2005)
Mihai, A., Goriely, A.: Positive or negative Poynting effect? The role of adscititious inequalities in hyperelastic materials. Proc. R. Soc. Lond. 467(2136), 3633–3646 (2011)
Mihai, A., Goriely, A.: Numerical simulation of shear and the Poynting effects by the finite element method: an application of the generalised empirical inequalities in non-linear elasticity. Int. J. Non-Linear Mech. 49, 1–14 (2013)
Moakher, M.: Means and averaging in the group of rotations. SIAM J. Matrix Anal. Appl. 24(1), 1–16 (2002)
Moakher, M.: A differential geometric approach to the geometric mean of symmetric positive-definite matrices. SIAM J. Matrix Anal. Appl. 26(3), 735–747 (2005)
Moon, H., Truesdell, C.: Interpretation of adscititious inequalities through the effects pure shear stress produces upon an isotropic elastic solid. Arch. Ration. Mech. Anal. 55(1), 1–17 (1974)
Mooney, M.: A theory of large elastic deformation. J. Appl. Phys. 11(9), 582–592 (1940)
Mott, P.H., Roland, C.M.: Limits to Poisson’s ratio in isotropic materials. Phys. Rev. B 80(13), 132104 (2009), 4 pp.
Müller, Ch., Bruhns, O.T.: A thermodynamic finite-strain model for pseudoelastic shape memory alloys. Int. J. Plast. 22(9), 1658–1682 (2006)
Murnaghan, F.D.: The compressibility of solids under extreme pressures. In: Theodore von Karman Anniversary Volume, Calif. Inst. Techn., Pasadena, pp. 121–136. Univ. of Berkeley Press, Berkeley (1941). https://www.uni-due.de/imperia/md/content/mathematik/ag_neff/murnaghan.pdf
Murnaghan, F.D.: The compressibility of media under extreme pressures. Proc. Natl. Acad. Sci. USA 30(9), 244 (1944)
Murphy, J.: Linear isotropic relations in finite hyperelasticity: some general results. J. Elast. 86(2), 139–154 (2007)
Nadai, A.: Plastic behavior of metals in the strain-hardening range. Part I. J. Appl. Phys. 8(3), 205–213 (1937)
Neff, P.: Mathematische Analyse multiplikativer Viskoplastizität. Ph.D. thesis, Technische Universität Darmstadt. Shaker Verlag, Aachen, 2000. ISBN:3-8265-7560-1, https://www.uni-due.de/~hm0014/Download_files/cism_convexity08.pdf
Neff, P.: Some results concerning the mathematical treatment of finite plasticity. In: Deformation and Failure in Metallic Materials, pp. 251–274. Springer, Berlin (2003)
Neff, P.: Critique of “Two-dimensional examples of rank-one convex functions that are not quasiconvex” by M.K. Benaouda and J.J. Telega. Ann. Pol. Math. 86(2), 193–195 (2005)
Neff, P.: A finite-strain elastic-plastic Cosserat theory for polycrystals with grain rotations. Int. J. Eng. Sci. 44, 574–594 (2006)
Neff, P., Eidel, B., Martin, R.: The axiomatic deduction of the quadratic Hencky strain energy by Heinrich Hencky (a new translation of Hencky’s original German articles) (2014). arXiv:1402.4027
Neff, P., Eidel, B., Martin, R.: Geometry of logarithmic strain measures in solid mechanics. The Hencky energy is the squared geodesic distance of the deformation gradient to SO(n) in any left-invariant, right-O(n)-invariant Riemannian metric on GL(n) (2015, in preparation)
Neff, P., Eidel, B., Osterbrink, F., Martin, R.: The Hencky strain energy ∥logU∥2 measures the geodesic distance of the deformation gradient to SO(3) in the canonical left-invariant Riemannian metric on GL(3). PAMM 13(1), 369–370 (2013)
Neff, P., Eidel, B., Osterbrink, F., Martin, R.: A Riemannian approach to strain measures in nonlinear elasticity. C. R. Acad. Sci. 342, 254–257 (2014)
Neff, P., Ghiba, I.D.: The exponentiated Hencky-logarithmic strain energy. Part III: Coupling with idealized isotropic finite strain plasticity. Contin. Mech. Thermodyn., the special issue in honour of D.J. Steigmann (2015, to appear). arXiv:1409.7555
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., Lankeit, J., Madeo, A.: On Grioli’s minimum property and its relation to Cauchy’s polar decomposition. Int. J. Eng. Sci. 80, 207–217 (2014)
Neff, P., Münch, I., Martin, R.: Rediscovering G.F. Becker’s early axiomatic deduction of a multiaxial nonlinear stress-strain relation based on logarithmic strain. Math. Mech. Solids (2014, to appear). arXiv:1403.4675v2, doi:10.1177/1081286514542296
Neff, P., Nakatsukasa, Y., Fischle, A.: A logarithmic minimization property of the unitary polar factor in the spectral norm and the Frobenius matrix norm. SIAM J. Matrix Anal. Appl. 35, 1132–1154 (2014)
Norris, A.: Eulerian conjugate stress and strain. J. Mech. Mater. Struct. 3(2), 243–260 (2008)
Ogden, R.W.: Compressible isotropic elastic solids under finite strain-constitutive inequalities. Q. J. Mech. Appl. Math. 23(4), 457–468 (1970)
Ogden, R.W.: On constitutive relations for elastic and plastic materials. Ph.D. Thesis, Cambridge University (1970)
Ogden, R.W.: Inequalities associated with the inversion of elastic stress-deformation relations and their implications. Math. Proc. Camb. Philos. Soc. 81, 313–324 (1977)
Ogden, R.W.: Non-linear Elastic Deformations, 1st edn. Mathematics and Its Applications. Ellis Horwood, Chichester (1983)
Ogden, R.W., Saccomandi, G., Sgura, I.: Fitting hyperelastic models to experimental data. Comput. Mech. 34(6), 484–502 (2004)
Onaka, S.: Equivalent strain in simple shear deformation described by using the Hencky strain. Philos. Mag. Lett. 90(9), 633–639 (2010)
Onaka, S.: Appropriateness of the Hencky equivalent strain as the quantity to represent the degree of severe plastic deformation. Mater. Trans. 53(8), 1547–1548 (2012)
Ortiz, M., Radovitzky, R.A., Repetto, E.A.: The computation of the exponential and logarithmic mappings and their first and second linearizations. Int. J. Numer. Methods Eng. 52(12), 1431–1441 (2001)
Panov, A.D., Shumaev, V.V.: Using the logarithmic strain measure for solving torsion problems. Mech. Solids 47(1), 71–78 (2012)
Pennec, X.: Left-invariant Riemannian elasticity: a distance on shape diffeomorphisms? In: 1st MICCAI Workshop on Mathematical Foundations of Computational Anatomy: Geometrical, Statistical and Registration Methods for Modeling Biological Shape Variability, pp. 1–13 (2006)
Pennec, X., Stefanescu, R., Arsigny, V., Fillard, P., Ayache, N.: Riemannian elasticity: a statistical regularization framework for non-linear registration. In: Medical Image Computing and Computer-Assisted Intervention----MICCAI 2005, pp. 943–950. Springer, Berlin (2005)
Perić, D., Owen, D.R.J., Honnor, M.E.: A model for finite strain elasto-plasticity based on logarithmic strains: computational issues. Comput. Methods Appl. Mech. Eng. 94(1), 35–61 (1992)
Plesěk, J., Kruisová, A.: Formulation, validation and numerical procedures for Hencky’s elasticity model. Comput. Struct. 84, 1141–1150 (2006)
Poirier, J.-P., Tarantola, A.: A logarithmic equation of state. Phys. Earth Planet. Inter. 109, 1–8 (1998)
Poisson, S.D.: Traité de Mécanique, vol. 2 (1811)
Raoult, A.: Non-polyconvexity of the stored energy function of a St.Venant-Kirchhoff material. Apl. Mat. 6, 417–419 (1986)
Reinhardt, W.D., Dubey, R.N.: Application of objective rates in mechanical modeling of solids. J. Appl. Mech. 63(3), 692–698 (1996)
Richter, H.: Das isotrope Elastizitätsgesetz. Z. Angew. Math. Mech. 28(7–8), 205–209 (1948). https://www.uni-due.de/imperia/md/content/mathematik/ag_neff/richter_isotrop_log.pdf
Richter, H.: Verzerrungstensor, Verzerrungsdeviator und Spannungstensor bei endlichen Formänderungen. Z. Angew. Math. Mech. 29(3), 65–75 (1949). https://www.uni-due.de/imperia/md/content/mathematik/ag_neff/richter_deviator_log.pdf
Richter, H.: Zum Logarithmus einer Matrix. Arch. Math. 2, 360–363 (1950). https://www.uni-due.de/imperia/md/content/mathematik/ag_neff/richter_log.pdf
Richter, H.: Zur Elastizitätstheorie endlicher Verformungen. Math. Nachr. 8, 65–73 (1952). https://www.uni-due.de/imperia/md/content/mathematik/ag_neff/richter_endliche_verzerrungen52.pdf
Rivlin, R.: Large elastic deformations of isotropic materials. IV. Further developments of the general theory. Philos. Trans. R. Soc. Lond. Ser. A, Math. Phys. Sci. 241(835), 379–397 (1948)
Rivlin, R.: Restrictions on the strain-energy function for an elastic material. Math. Mech. Solids 9(2), 131–139 (2004)
Rivlin, R.S.: Some restrictions on constitutive equations. In: Domingos, J.J., Nina, M.N.R., Whitelaw, J.H. (eds.) Proc. Int. Symp. on the Foundations of Continuum Thermodynamics, pp. 229–258. Macmillan, London (1974)
Rolph, W.D., Bathe, K.J.: On a large strain finite element formulation for elasto-plastic analysis. In: Constitutive Equations: Macro and Computational Aspects, Winter Annual Meeting, pp. 131–147. ASME, New York (1984)
Rosakis, P.: Ellipticity and deformations with discontinuous gradients in finite elastostatics. Arch. Ration. Mech. Anal. 109(1), 1–37 (1990)
Rosakis, P.: Characterization of convex isotropic functions. J. Elast. 49, 257–267 (1998)
Rougée, P.: Mécanique des Grandes Transformations. Mathématiques et Applications, vol. 25. Springer, Berlin (1997)
Rougée, P.: An intrinsic Lagrangian statement of constitutive laws in large strain. Compos. Struct. 84(17), 1125–1133 (2006)
Sansour, C.: On the dual variable of the logarithmic strain tensor, the dual variable of the Cauchy stress tensor, and related issues. Int. J. Solids Struct. 38(50), 9221–9232 (2001)
Sansour, C.: On the physical assumptions underlying the volumetric-isochoric split and the case of anisotropy. Eur. J. Mech. A, Solids 27(1), 28–39 (2008)
Sansour, C., Kollmann, F.G.: On theory and numerics of large viscoplastic deformation. Comput. Methods Appl. Mech. Eng. 146(3), 351–369 (1997)
Sawyers, K.N., Rivlin, R.: Instability of an elastic material. Int. J. Solids Struct. 9(5), 607–613 (1973)
Sawyers, K.N., Rivlin, R.: A note on the Hadamard criterion for an incompressible isotropic elastic material. Mech. Res. Commun. 5, 211–224 (1978)
Sawyers, K.N., Rivlin, R.: On the speed of propagation of waves in a deformed compressible elastic material. Z. Angew. Math. Phys. 29, 245–251 (1978)
Scheidler, M.: Time rates of generalized strain tensors Part I: Component formulas. Mech. Mater. 11(3), 199–210 (1991)
Scheidler, M.: Time rates of generalized strain tensors, Part II: Approximate basis-free formulas. Mech. Mater. 11(3), 211–219 (1991)
Schröder, J., Neff, P.: Invariant formulation of hyperelastic transverse isotropy based on polyconvex free energy functions. Int. J. Solids Struct. 40(2), 401–445 (2003)
Schröder, J., Neff, P.: Poly, quasi and rank-one convexity in mechanics. In: CISM-Course Udine. Springer, Berlin (2009)
Schröder, J., Neff, P.: On the construction of polyconvex transversely isotropic free energy functions. In: IUTAM Symposium on Computational Mechanics of Solid Materials at Large Strains, 21 August 2001 (2001). Organizer: C. Miehe, University Stuttgart
Schröder, J., Neff, P., Balzani, D.: A variational approach for materially stable anisotropic hyperelasticity. Int. J. Solids Struct. 42(15), 4352–4371 (2005)
Schröder, J., Neff, P., Ebbing, V.: Anisotropic polyconvex energies on the basis of crystallographic motivated structural tensors. J. Mech. Phys. Solids 56(12), 3486–3506 (2008)
Schwarz, A., Schröder, J., Starke, G.: A modified least-squares mixed finite element with improved momentum balance. Int. J. Numer. Methods Eng. 81(3), 286–306 (2010)
Sendova, T., Walton, J.R.: On strong ellipticity for isotropic hyperelastic materials based upon logarithmic strain. Int. J. Non-Linear Mech. 40(2–3), 195–212 (2005)
Seth, B.R.: Generalized strain measure with applications to physical problems. In: Rainer, M.A. (ed.) Second-Order Effects in Elasticity, Plasticity and Fluid Dynamics, pp. 162–172. Pergamon, Oxford (1961)
Shrivastava, S., Ghosh, C., Jonas, J.: A comparison of the von Mises and Hencky equivalent strains for use in simple shear experiments. Philos. Mag. Lett. 92(7), 779–786 (2012)
Sidoroff, R.: Sur les restrictions à imposer à l’énergie de déformation d’un matériau hyperélastique. C. R. Acad. Sci. Paris 279, 379–382 (1974)
Šilhavý, M.: The Mechanics and Thermomechanics of Continuous Media. Springer, Berlin (1997)
Šilhavý, M.: Convexity conditions for rotationally invariant functions in two dimensions. In: Sequeira, et al. (eds.) Applied Nonlinear Analysis. Kluwer Academic, New York (1999)
Šilhavý, M.: On isotropic rank one convex functions. Proc. R. Soc. Edinb. 129, 1081–1105 (1999)
Šilhavý, M.: Rank 1 convex hulls of isotropic functions in dimension 2 by 2. Math. Bohem. 126(2), 521–529 (2001)
Šilhavý, M.: Convexity Conditions for Rotationally Invariant Functions in Two Dimensions. Springer, Berlin (2002)
Šilhavý, M.: Monotonicity of rotationally invariant convex and rank 1 convex functions. Proc. R. Soc. Edinb. 132, 419–435 (2002)
Šilhavý, M.: An O(n) invariant rank 1 convex function that is not polyconvex. Theor. Appl. Mech. 28, 325–336 (2002)
Šilhavý, M.: On SO(n)-invariant rank 1 convex functions. J. Elast. 71, 235–246 (2003)
Silling, S.A.: Numerical studies of loss of ellipticity near singularities in an elastic material. J. Elast. 19(3), 213–239 (1988)
Simo, J.C.: Algorithms for static and dynamic multiplicative plasticity that preserve the classical return mapping schemes of the infinitesimal theory. Comput. Methods Appl. Mech. Eng. 99(1), 61–112 (1992)
Simpson, H., Spector, S.: On copositive matrices and strong ellipticity for isotropic elastic materials. Arch. Ration. Mech. Anal. 84(1), 55–68 (1983)
Simpson, H., Spector, S.: On bifurcation in finite elasticity: buckling of a rectangular rod. J. Elast. 92(3), 277–326 (2008)
Skrzypek, J., Wróblewski, A.: Application of logarithmic strains to changing principal directions via progressing transformations. J. Struct. Mech. 13(3–4), 283–299 (1985)
Smith, C.W., Wootton, R.J., Evans, K.E.: Interpretation of experimental data for Poisson’s ratio of highly nonlinear materials. Exp. Mech. 39(4), 356–362 (1999)
Starke, G.: An adaptive least-squares mixed finite element method for elasto-plasticity. SIAM J. Numer. Anal. 45(1), 371–388 (2007)
Starke, G., Schwarz, A., Schröder, J.: Analysis of a modified first-order system least squares method for linear elasticity with improved momentum balance. SIAM J. Numer. Anal. 49(3), 1006–1022 (2011)
Tabor, D.: The bulk modulus of rubber. Polymer 35(13), 2759–2763 (1994)
Tanner, R., Tanner, E.: Heinrich Hencky: a rheological pioneer. Rheol. Acta 42(1–2), 93–101 (2003)
Tarantola, A.: Elements for Physics: Quantities, Qualities, and Intrinsic Theories. Springer, Heidelberg (2006)
Tarantola, A.: Stress and strain in symmetric and asymmetric elasticity (2009). Preprint arXiv:0907.1833
https://www.uni-due.de/mathematik/ag_neff/neff_hencky/treloarjonesdata.zip
Treloar, L.R.G.: Stress-strain data for vulcanised rubber under various types of deformation. Trans. Faraday Soc. 40, 59–70 (1944)
Treloar, L.R.G.: The elasticity and related properties of rubbers. Rep. Prog. Phys. 36(7), 755 (1973)
Treloar, L.R.G.: The Physics of Rubber Elasticity. Oxford University Press, London (1975)
Truesdell, C.: Das ungelöste Hauptproblem der endlichen Elastizitätstheorie. Z. Angew. Math. Mech. 36(3–4), 97–103 (1956)
Truesdell, C.: The Mechanical Foundations of Elasticity and Fluid Dynamics, vol. 8. Gordon & Breach, New York (1966)
Truesdell, C., Moon, H.: Inequalities sufficient to ensure semi-invertibility of isotropic functions. J. Elast. 5(34), 183–189 (1975)
Truesdell, C., Noll, W.: The non-linear field theories of mechanics. In: Flügge, S. (ed.) Handbuch der Physik, vol. III/3. Springer, Heidelberg (1965)
Truesdell, C., Toupin, R.: The classical field theories. In: Flügge, S. (ed.) Handbuch der Physik, vol. III/1. Springer, Heidelberg (1960)
Truesdell, C., Toupin, R.: Static grounds for inequalities in finite strain of elastic materials. Arch. Ration. Mech. Anal. 12(1), 1–33 (1963)
Vallée, C.: Lois de comportement élastique isotropes en grandes déformations. Int. J. Eng. Sci. 16(7), 451–457 (1978)
Vallée, C., Fortuné, D., Lerintiu, C.: On the dual variable of the Cauchy stress tensor in isotropic finite hyperelasticity. C. R., Méc. 336(11), 851–855 (2008)
Wang, Y., Aron, M.: A reformulation of the strong ellipticity conditions for unconstrained hyperelastic media. J. Elast. 44(1), 89–96 (1996)
Weber, G., Anand, L.: Finite deformation constitutive equations and a time integration procedure for isotropic, hyperelastic-viscoplastic solids. Comput. Methods Appl. Mech. Eng. 79(2), 173–202 (1990)
Wilber, J.P., Criscione, J.C.: The Baker-Ericksen inequalities for hyperelastic models using a novel set of invariants of Hencky strain. Int. J. Solids Struct. 42(5–6), 1547–1559 (2005)
Xiao, H.: Hencky strain and Hencky model: extending history and ongoing tradition. Multidiscipline Mod. Mat. Struct. 1(1), 1–52 (2005)
Xiao, H., Bruhns, O.T., Meyers, A.: Logarithmic strain, logarithmic spin and logarithmic rate. Acta Mech. 124(1–4), 89–105 (1997)
Xiao, H., Bruhns, O.T., Meyers, A.: Existence and uniqueness of the integrable-exactly hypoelastic equation \({\tau}^{\circ}=\lambda(\operatorname {tr}D){\mbox{I}}+ 2\mu{D}\) and its significance to finite inelasticity. Acta Mech. 138(1–2), 31–50 (1999)
Xiao, H., Bruhns, O.T., Meyers, A.: Elastoplasticity beyond small deformations. Acta Mech. 182(1–2), 31–111 (2006)
Xiao, H., Chen, L.S.: Hencky’s elasticity model and linear stress-strain relations in isotropic finite hyperelasticity. Acta Mech. 157(1–4), 51–60 (2002)
Zhang, Y., Li, H., Xiao, H.: Further study of rubber-like elasticity: elastic potentials matching biaxial data. Appl. Math. Mech. 35, 13–24 (2014)
Zhilin, P.A., Altenbach, H., Ivanova, E.A., Krivtsov, A.: Material strain tensor. In: Altenbach, H., Forest, S., Krivtsov, A. (eds.) Generalized Continua as Models for Materials, pp. 321–331. Springer, Berlin (2013)
Zimmermann, J., Stommel, M.: The mechanical behavior of rubber under hydrostatic compression and the effect on the results of finite element analyses. Arch. Appl. Mech. 83(2), 293–302 (2013)
Zubov, L.M., Rudev, A.N.: Necessary and sufficient criteria for ellipticity of the equilibrium equations of a non-linearly elastic medium. J. Appl. Math. Mech. 59(2), 197–208 (1995)
Zubov, L.M., Rudev, A.N.: A criterion for the strong ellipticity of the equilibrium equations of an isotropic nonlinearly elastic material. J. Appl. Math. Mech. 75, 432–446 (2011)
Acknowledgements
This paper is inconceivable without the stimulus of Albert Tarantola’s book “Elements for Physics” [244]. We would like to thank Prof. Krzysztof Chelminski (TU Warsaw) for helping us in the study of rank-one convexity of the function \(e^{\|\log U\|^{2}}\) in the planar case, Prof. David Steigman (UC Berkeley) who indicated to us reference [116], Prof. Bernard Dacorogna (EPFL-Lausanne) for sending us reference [58] and Prof. Miroslav Šilhavý (Academy of Sciences of the Czech Republic, Prague) for comments on rank-one convexity. The interest in considering nonlinear scalar functions of \(\|\operatorname {dev}_{3}\log U\|^{2}\) arose after an insightful comment by Prof. Reuven Segev (Ben-Gurion University of the Negev, Beer-Sheva) on the presentation of the first author at the 4th Canadian Conference on Nonlinear Solid Mechanics (CanCNSM July 2013) in Montreal. Discussion with Prof. Chandrashekhar S. Jog (Indian Institute of Science, Bangalore) on the TSTS-M+ condition and with Robert Martin (Duisburg-Essen University) on response of rubber are also gratefully acknowledged.
Author information
Authors and Affiliations
Corresponding author
Additional information
In memory of Albert Tarantola (⋆ 1949–† 2009), lifelong advocate of logarithmic measures.
Appendix
Appendix
1.1 A.1 Some Useful Identities
-
\(\operatorname {tr}(B^{-1}X B)=\operatorname {tr}(X)\) for any invertible matrix B.
-
\(\operatorname {dev}_{n}(B^{-1}X B)=B^{-1}X B-\frac{1}{n} \operatorname {tr}(B^{-1}X B)=B^{-1}(\operatorname {dev}_{n} X) B\) for any invertible matrix B.
-
.
-
The norm of the deviator in \(\mathbb {R}^{n\times n}\):
$$\begin{aligned} \left \Vert \operatorname {dev}_n\left ( \begin{array}{c@{\quad}c@{\quad}c@{\quad}c} \xi_1&0&\cdots&0\\ 0&\xi_2&\cdots&0\\ \vdots&\vdots&\ddots&\vdots\\ 0&0&\cdots&\xi_n\\ \end{array} \right ) \right \Vert ^2&=\sum_{i=1}^n \xi_i^2-\frac{1}{n}\Biggl(\sum_{i=1}^n \xi_i\Biggr)^2 =\frac{n-1}{n}\sum _{i=1}^n \xi_i^2- \frac{2}{n}\sum_{i,j=1,i< j}^n \xi_i\xi_j \\ &=\frac{1}{n}\Biggl[(n-1)\sum_{i=1}^n \xi_i^2-2\sum_{i,j=1,i<j}^n \xi_i\xi_j\Biggr] \\ &=\frac{1}{n}\sum_{i,j=1,i<j}^n \bigl( \xi_i^2-2 \xi_i\xi_j+ \xi_j^2\bigr)=\frac{1}{n}\sum _{i,j=1,i<j}^n (\xi_i-\xi_j)^2. \end{aligned}$$(A.1) -
From [165, page 200] we have: \(\frac{\|X\| ^{p}}{z^{\alpha}}\) is convex in (X,z) if \(\frac{\alpha+1}{\alpha}\geq \frac{p}{p-1}\Leftrightarrow p\geq\alpha+1\).
-
\(\log U=\sum_{i=1}^{n} \log\lambda_{i} N_{i}\otimes N_{i}\), where N i are the eigenvectors of U and λ i are the eigenvalues of U.
-
, convergent for .
-
\(\log V=\sum_{i=1}^{n} \log\widehat{\lambda}_{i} \widehat {N}_{i}\otimes\widehat{N}_{i}\), where \(\widehat{N}_{i}\) are the eigenvectors of V and \(\widehat{\lambda}_{i}\) are the eigenvalues of V.
-
, convergent for .
-
$$\begin{aligned} \left ( \begin{array}{c@{\quad}c} F_{11} & F_{12} \\ F_{21} & F_{22} \\ \end{array} \right )^{-1}=\frac{1}{F_{11}F_{22}-F_{12}F_{21}}\left ( \begin{array}{c@{\quad}c} F_{22} & -F_{12} \\ -F_{21} & F_{22} \\ \end{array} \right )\quad\Rightarrow\quad\|F^{-1}\|^2 \overset{n=2}{=} \frac{1}{(\det F)^2}\|F\|^2. \end{aligned}$$
-
$$\begin{aligned} F=\left ( \begin{array}{c@{\quad}c} F_{11} & F_{12} \\ F_{21} & F_{22} \\ \end{array} \right ),\qquad U^2=F^T F=\left ( \begin{array}{c@{\quad}c} F_{11}^2+F_{21}^2 & F_{11} F_{12}+F_{21} F_{22} \\ F_{11} F_{12}+F_{21} F_{22} & F_{12}^2+F_{22}^2 \\ \end{array} \right ). \end{aligned}$$
The eigenvalues of U 2 are:
$$\begin{aligned} \mu_1&=\frac{1}{2} \Bigl(F_{11}^2+F_{12}^2+F_{21}^2+F_{22}^2- \sqrt{ \bigl(F_{11}^2+F_{12}^2+F_{21}^2+F_{22}^2 \bigr){}^2-4 (F_{12} F_{21}-F_{11} F_{22} ){}^2} \Bigr) \\ &=\frac{1}{2} \bigl(\|F\|^2-\sqrt{\|F\|^4-4(\det F)^2} \bigr), \\ \mu_2&=\frac{1}{2} \Bigl(F_{11}^2+F_{12}^2+F_{21}^2+F_{22}^2+ \sqrt{ \bigl(F_{11}^2+F_{12}^2+F_{21}^2+F_{22}^2 \bigr){}^2-4 (F_{12} F_{21}-F_{11} F_{22} ){}^2} \Bigr) \\ &=\frac{1}{2} \bigl(\|F\|^2+\sqrt{\|F\|^4-4(\det F)^2} \bigr). \end{aligned}$$The principal stretches of F, i.e., the eigenvalues of \(U=\sqrt{F^{T} F}\), which are the same as the eigenvalues of \(V=\sqrt{F F^{T}}\), are \(\lambda_{1}(F)=\sqrt{\mu_{1}}, \lambda_{2}(F)=\sqrt{\mu_{2}}\).
-
Taking the pure stretch under shear stress \(F_{1}= \bigl( {\scriptsize\begin{matrix} \cosh\frac{t}{2} & \sinh\frac{t}{2} & 0 \cr \sinh\frac{t}{2} & \cosh\frac{t}{2} & 0 \cr 0 & 0 & 1 \end{matrix}} \bigr)\) and the simple glide \(F_{2}= \bigl( {\scriptsize\begin{matrix} 1 & t& 0 \cr 0 & 1 & 0 \cr 0 & 0 & 1 \end{matrix}} \bigr)\), the corresponding rates \(L_{1}(t)=\frac{{\mathrm{d}}}{{\mathrm{dt}}}F_{1}\cdot F_{1}^{-1}\neq \frac{{\mathrm{d}}}{{\mathrm{dt}}}F_{2}\cdot F_{2}^{-1}=L_{2}(t)\) are different, as is \(\log U_{1}(t)\neq \log\sqrt{F_{2}^{T}F_{2}}=\log U_{2}(t)\) and \(\frac{{\mathrm {d}}}{{\mathrm{dt}}}\log U_{1}\neq\frac{{\mathrm{d}}}{{\mathrm {dt}}}\log U_{2}(t)\). However, D 1(t)=sym L 1(t)=sym L 2(t)=D 2(t). This shows that \(\frac {{\mathrm{d}}}{{\mathrm{dt}}}\log U(t)=D(t)\) is true only for coaxial families U(t).
1.2 A.2 Vallée’s Formula
Lemma A.1
(Vallée’s formulaFootnote 32 (see also [130, 210, 256, 257]))
Let us consider S∈Sym(3) and let \(\varPsi:\mathrm {Sym}(3)\rightarrow \mathbb {R}\) be a differentiable isotropic scalar value function. We define W(S)=Ψ(exp(S)). Then, the following chain rules hold:
while it is generally not true that D C [logC].H=〈C −1,H〉.
Proof
Let us first remark that
Further we consider the Taylor expansion of the function Ψ(exp(S))
Since S∈Sym(3), it follows
On the other hand, since DΨ is a isotropic tensor function and obvious exp(S) is also isotropic, we have that DΨ(exp(S)) is also a isotropic tensor function and therefore it holds
Therefore,
Using again the isotropy of DΨ(exp(S)), we obtain
We recall that we simultaneously have
for all H∈Sym(3). Thus, we deduce
Choosing S=logC, the relations (A.2)3 also results and the proof is complete. □
1.3 A.3 LH-Ellipticity for Functions of the Type F↦h(detF)
We consider a function \(h:\mathbb {R}\to \mathbb {R}\) and we analyze when the function F↦h(detF) is LH-elliptic as a function of F, \(F\in \mathbb {R}^{3\times3}\). We recall that
Using the first Frechét-formal derivative, we compute the derivative
and the second derivative will be
Hence, for \(\xi,\eta\in \mathbb {R}^{3}\) we have
On the other hand
This leads to the surprising simplification
In conclusion, F↦h(detF) is LH-elliptic if and only if t↦h(t) is convex since \(\langle \operatorname {Cof}F, (\xi\otimes\eta )\rangle^{2}\) is positive.
From [55, page 213] we know more:
Proposition A.2
Let \(W:\mathbb{R}^{n\times n}\rightarrow\mathbb{R}\) be quasiaffine but not identically constant and \(h:\mathbb{R}\rightarrow\mathbb{R}\) be such that W(F)=h(detF). Then
1.4 A.4 Convexity for Functions of the Type t↦ξ((logt)2)
We consider a generic function \(\xi:\mathbb {R}_{+}\to \mathbb {R}_{+}\) and we find a characterization of the convexity for the function t↦ξ((logt)2). In the following let ζ denote the function \(\zeta:\mathbb {R}_{+}\to \mathbb {R}_{+}\) , ζ(t)=(logt)2. We deduce
where \(\xi^{\prime}=\frac{d \xi}{d\zeta}\). Hence, the function t↦ξ((logt)2) is
-
convex on [1,∞) as a function of t if and only if \(2\frac{d^{2}\xi(\zeta)}{d\zeta^{2}} \zeta+ {\frac{d\xi(\zeta )}{d\zeta} (}1- \sqrt{\zeta})\geq 0\), for all \(\zeta\in \mathbb {R}_{+}\).
-
convex on (0,1) as a function of t if and only if \(2\frac{d^{2}\xi(\zeta)}{d\zeta^{2}} \zeta+ {\frac{d\xi(\zeta )}{d\zeta}(1}+ \sqrt{\zeta})\geq 0\), for all \(\zeta\in \mathbb {R}_{+}\).
1.5 A.5 Connecting \(\operatorname {dev}_{3}\log U\) with \(\operatorname {dev}_{2}\log U\)
For U ♯∈GL(2), we define the lifted quantity
We remark that
which implies (detU)1/3=[detU ♯(detU ♯)1/2]1/3=[(detU ♯)3/2]1/3=(detU ♯)1/2. Moreover, we obtain
In general, for \(A^{\sharp}\in \mathbb {R}^{2\times2}\) and \(\alpha\in \mathbb {R}\) we have
Thus
if and only if α=0 or \(\alpha=\operatorname {tr}(A^{\sharp})\). Hence, we deduce \({\|\operatorname {dev}_{3}\log U\|^{2}}={\|\operatorname {dev}_{2}\log U^{\sharp}\|^{2}}\), for U of the form (A.18). Since U ♯∈PSym(2), we can assume that \(U^{\sharp}= \bigl({\scriptsize\begin{matrix}\lambda_{1}&0\cr 0&\lambda_{2}\end{matrix}} \bigr)\), \(\lambda_{1},\lambda_{2}\in \mathbb {R}_{+}\). Then, the lifted quantity U lies in \(\operatorname {PSym}(3)\) and \(U = \bigl({\scriptsize\begin{matrix}\lambda_{1}&0&0\cr 0&\lambda_{2}&0\cr 0&0&(\lambda_{1} \lambda_{2})^{1/2}\end{matrix}} \bigr)\).
The next problem is if for a given deformation \(\varphi^{\sharp}=(\varphi_{1}^{\sharp}, \varphi_{2}^{\sharp}):\mathbb {R}^{2}\rightarrow \mathbb {R}^{2}\) such that \(U^{\sharp}=\sqrt{(\nabla\varphi^{\sharp})^{T} \nabla\varphi^{\sharp}}\) we can construct an ansatz \(\varphi:\mathbb {R}^{3}\rightarrow \mathbb {R}^{3}\) such that \(U=\sqrt{\nabla\varphi^{T} \nabla\varphi}\), where U is the lifted quantity associated to U ♯. For this it is necessary to have φ=(φ 1(x 1,x 2),φ 2(x 1,x 2),x 3 α(x 1,x 2)) and \(\alpha_{,x_{1}}=0, \alpha_{,x_{2}}=0\). Checking the compatibility equation we see that this is possible if and only if \(\det\nabla \varphi^{\sharp}=K=\mathit{const.}\), which implies \(\varphi_{3,x_{3}}=K\). In the incompressible case det∇φ=1, an appropriate ansatz is therefore
since
with detU ♯=1.
Rights and permissions
About this article
Cite this article
Neff, P., Ghiba, ID. & Lankeit, J. The Exponentiated Hencky-Logarithmic Strain Energy. Part I: Constitutive Issues and Rank-One Convexity. J Elast 121, 143–234 (2015). https://doi.org/10.1007/s10659-015-9524-7
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10659-015-9524-7
Keywords
- Idealized finite isotropic elasticity
- Legendre-Hadamard ellipticity condition
- Hyperelasticity
- Constitutive inequalities
- Stability
- Hencky strain
- Logarithmic strain
- Natural strain
- True strain
- Hencky energy
- Convexity
- Rank-one convexity
- Volumetric-isochoric split
- Plane elastostatics
- Monotonicity and invertibility of the constitutive law
- Homogeneous symmetric bifurcations
- Baker-Ericksen inequality
- Bounded distortions
- Elastic domain
- Nonlinear Poisson’s ratio