-
Quasiconvex relaxation of planar Biot-type energies and the role of determinant constraints
Authors:
Robert J. Martin,
Ionel-Dumitrel Ghiba,
Maximilian Köhler,
Daniel Balzani,
Oliver Sander,
Patrizio Neff
Abstract:
We derive the quasiconvex relaxation of the Biot-type energy density $\lVert\sqrt{\operatorname{D}\varphi^T \operatorname{D}\varphi}-I_2\rVert^2$ for planar mappings $\varphi\colon\mathbb{R}^2\to \mathbb{R}^2$ in two different scenarios. First, we consider the case $\operatorname{D}\varphi\in\textrm{GL}^+(2)$, in which the energy can be expressed as the squared Euclidean distance…
▽ More
We derive the quasiconvex relaxation of the Biot-type energy density $\lVert\sqrt{\operatorname{D}\varphi^T \operatorname{D}\varphi}-I_2\rVert^2$ for planar mappings $\varphi\colon\mathbb{R}^2\to \mathbb{R}^2$ in two different scenarios. First, we consider the case $\operatorname{D}\varphi\in\textrm{GL}^+(2)$, in which the energy can be expressed as the squared Euclidean distance $\operatorname{dist}^2(\operatorname{D}\varphi,\textrm{SO}(2))$ to the special orthogonal group $\textrm{SO}(2)$. We then allow for planar mappings with arbitrary $\operatorname{D}\varphi\in\mathbb{R}^{2\times 2}$; in the context of solid mechanics, this lack of determinant constraints on the deformation gradient would allow for self-interpenetration of matter. We demonstrate that the two resulting relaxations do not coincide and compare the analytical findings to numerical results for different relaxation approaches, including a rank-one sequential lamination algorithm, trust-region FEM calculations of representative microstructures and physics-informed neural networks.
△ Less
Submitted 18 January, 2025;
originally announced January 2025.
-
The corotational stability postulate: positive incremental Cauchy stress moduli for diagonal, homogeneous deformations in isotropic nonlinear elasticity
Authors:
Patrizio Neff,
Nina J. Husemann,
Aurélien S. Nguetcho Tchakoutio,
Sergey N. Korobeynikov,
Robert J. Martin
Abstract:
In isotropic nonlinear elasticity the corotational stability postulate (CSP) is the requirement that \begin{equation*}
\langle\frac{\mathrm{D}^{\circ}}{\mathrm{D} t}[σ] , D \rangle > 0 \quad \forall \ D \in \text{Sym}(3)\setminus \{0\} \, , \end{equation*} where $\frac{\mathrm{D}^{\circ}}{\mathrm{D} t}$ is any corotational stress rate, $σ$ is the Cauchy stress and $D = \text{Sym} \, L$, conditio…
▽ More
In isotropic nonlinear elasticity the corotational stability postulate (CSP) is the requirement that \begin{equation*}
\langle\frac{\mathrm{D}^{\circ}}{\mathrm{D} t}[σ] , D \rangle > 0 \quad \forall \ D \in \text{Sym}(3)\setminus \{0\} \, , \end{equation*} where $\frac{\mathrm{D}^{\circ}}{\mathrm{D} t}$ is any corotational stress rate, $σ$ is the Cauchy stress and $D = \text{Sym} \, L$, condition $L= \dot{F} \, F^{-1}$ is the deformation rate tensor. For $\widehatσ(\log V) := σ(V)$ it is equivalent to the monotonicity (TSTS-M$^+$) \begin{equation*}
\langle \widehatσ (\log V_1) - \widehatσ (\log V_2) , \log V_1 - \log V_2 \rangle > 0 \quad \forall \ V_1, V_2 \in \text{Sym}^{++}(3), \ V_1 \neq V_2 \, . \end{equation*} For hyperelasticity, (CSP) is in general independent of convexity of the mapping $F \mapsto \mathrm{W}(F)$ or $U \mapsto \widehat{\mathrm{W}}(U)$. Considering a family of diagonal, homogeneous deformations $t \mapsto F(t)$ one can, nevertheless, show that (CSP) implies positive incremental Cauchy stress moduli for this deformation family, including the incremental Young's modulus, the incremental equibiaxial modulus, the incremental planar tension modulus and the incremental bulk modulus. Aside, (CSP) is sufficient for the Baker-Ericksen and tension-extension inequality. Moreover, it implies local invertibility of the Cauchy stress-stretch relation. Together, this shows that (CSP) is a reasonable constitutive stability postulate in nonlinear elasticity, complementing local material stability viz. LH-ellipticity.
△ Less
Submitted 19 November, 2024;
originally announced November 2024.
-
Hypo-elasticity, Cauchy-elasticity, corotational stability and monotonicity in the logarithmic strain
Authors:
Patrizio Neff,
Sebastian Holthausen,
Marco Valerio d'Agostino,
Davide Bernardini,
Adam Sky,
Ionel-Dumitrel Ghiba,
Robert J. Martin
Abstract:
We combine the rate-formulation for the objective, corotational Zaremba-Jaumann rate
\begin{align}
\frac{{\rm D}^{\rm ZJ}}{{\rm D} t} [σ] = \mathbb{H}^{\rm ZJ}(σ).D, \qquad D = {\rm sym} {\rm D} v\,,
\end{align} operating on the Cauchy stress $σ$, the Eulerian strain rate $D$ and the spatial velocity $v$ with the novel \enquote{corotational stability postulate} (CSP)\begin{equation}
\Bigl\…
▽ More
We combine the rate-formulation for the objective, corotational Zaremba-Jaumann rate
\begin{align}
\frac{{\rm D}^{\rm ZJ}}{{\rm D} t} [σ] = \mathbb{H}^{\rm ZJ}(σ).D, \qquad D = {\rm sym} {\rm D} v\,,
\end{align} operating on the Cauchy stress $σ$, the Eulerian strain rate $D$ and the spatial velocity $v$ with the novel \enquote{corotational stability postulate} (CSP)\begin{equation}
\Bigl\langle \frac{{\rm D}^{\rm ZJ}}{{\rm D} t}[σ], D \Bigr\rangle > 0 \qquad \forall \, D\in{\rm Sym}(3)\setminus\{0\} \end{equation} to show that for a given isotropic Cauchy-elastic constitutive law $B \mapsto σ(B)$ in terms of the left Cauchy-Green tensor $B = F F^T$, the induced fourth-order tangent stiffness tensor $\mathbb{H}^{\rm ZJ}(σ)$ is positive definite if and only if for $\widehatσ(\log B):=σ(B)$, the strong monotonicity condition (TSTS-M$^{++}$) in the logarithmic strain is satisfied. Thus (CSP) implies (TSTS-M^{++}) and vice-versa, and both imply the invertibility of the hypo-elastic material law between the stress and strain rates given by the tensor $\mathbb{H}^{\rm ZJ}(σ)$. The same characterization remains true for the corotational Green-Naghdi rate as well as the corotational logarithmic rate, conferring the corotational stability postulate (CSP) together with the monotonicity in the logarithmic strain tensor (TSTS-M^{++}) a far reaching generality. It is conjectured that this characterization of (CSP) holds for a large class of reasonable corotational rates. The result for the logarithmic rate is based on a novel chain rule for corotational derivatives of isotropic tensor functions.
△ Less
Submitted 30 September, 2024;
originally announced September 2024.
-
A natural requirement for objective corotational rates -- on structure preserving corotational rates
Authors:
Patrizio Neff,
Sebastian Holthause,
Sergey N. Korobeynikov,
Ionel-Dumitrel Ghiba,
Robert J. Martin
Abstract:
We investigate objective corotational rates satisfying an additional, physically plausible assumption. More precisely, we require for \begin{equation*} \frac{{\rm D}^{\circ}}{{\rm D} t}[B] = \mathbb{A}^{\circ}(B).D \end{equation*} that $\mathbb{A}^{\circ}(B)$ is positive definite. Here, $B = F \, F^T$ is the left Cauchy-Green tensor, $\frac{{\rm D}^{\circ}}{{\rm D}t}$ is a specific objective corot…
▽ More
We investigate objective corotational rates satisfying an additional, physically plausible assumption. More precisely, we require for \begin{equation*} \frac{{\rm D}^{\circ}}{{\rm D} t}[B] = \mathbb{A}^{\circ}(B).D \end{equation*} that $\mathbb{A}^{\circ}(B)$ is positive definite. Here, $B = F \, F^T$ is the left Cauchy-Green tensor, $\frac{{\rm D}^{\circ}}{{\rm D}t}$ is a specific objective corotational rate, $D = {\rm sym} \, {\rm D} v$ is the Eulerian stretching and $\mathbb{A}^{\circ}(B)$ is the corresponding induced fourth order tangent stiffness tensor. Well known corotational rates like the Zaremba-Jaumann rate, the Green-Naghdi rate and the logarithmic rate belong to this family of ``positive'' corotational rates. For general objective corotational rates $\frac{{\rm D}^{\circ}}{{\rm D} t}$ we determine several conditions characterizing positivity. Among them an explicit condition on the material spin-functions of Xiao, Bruhns and Meyers (2004). We also give a geometrical motivation for invertibility and positivity and highlight the structure preserving properties of corotational rates that distinguish them from more general objective stress rates. Applications of this novel concept are indicated.
△ Less
Submitted 29 September, 2024;
originally announced September 2024.
-
A constitutive condition for idealized isotropic Cauchy elasticity involving the logarithmic strain
Authors:
Marco Valerio d'Agostino,
Sebastian Holthausen,
Davide Bernardini,
Adam Sky,
Ionel-Dumitrel Ghiba,
Robert J. Martin,
Patrizio Neff
Abstract:
Following Hill and Leblond, the aim of our work is to show, for isotropic nonlinear elasticity, a relation between the corotational Zaremba-Jaumann objective derivative of the Cauchy stress $σ$, i.e.
\begin{equation}
\frac{{\rm D}^{\rm ZJ}}{{\rm D} t}[σ] = \frac{\rm d}{{\rm d}{t}}[σ] - W \, σ+ σ\, W, \qquad W = {\rm skew}(\dot F \, F^{-1})
\end{equation} and a constitutive requirement involv…
▽ More
Following Hill and Leblond, the aim of our work is to show, for isotropic nonlinear elasticity, a relation between the corotational Zaremba-Jaumann objective derivative of the Cauchy stress $σ$, i.e.
\begin{equation}
\frac{{\rm D}^{\rm ZJ}}{{\rm D} t}[σ] = \frac{\rm d}{{\rm d}{t}}[σ] - W \, σ+ σ\, W, \qquad W = {\rm skew}(\dot F \, F^{-1})
\end{equation} and a constitutive requirement involving the logarithmic strain tensor. Given the deformation tensor $F ={\rm D} \varphi$, the left Cauchy-Green tensor $B = F \, F^T$, and the strain-rate tensor $D = {\rm sym}(\dot F \, F^{-1})$, we show that
\begin{equation}
\label{eqCPSdef}
\begin{alignedat}{2}
\forall \,D\in{\rm Sym}(3) \! \setminus \! \{0\}:
~
\langle{\frac{{\rm D}^{\rm ZJ}}{{\rm D} t}[σ]},{D}\rangle > 0
\quad
&\iff
\quad
\log B
\longmapsto
\widehatσ(\log B)
\;\textrm{is strongly Hilbert-monotone}
&\iff \quad {\rm sym} {\rm D}_{\log B} \widehat σ(\log B) \in{\rm Sym}^{++}_4(6) \quad \text{(TSTS-M$^{++}$)},
\end{alignedat} \tag{1}
\end{equation} where ${\rm Sym}^{++}_4(6)$ denotes the set of positive definite, (minor and major) symmetric fourth order tensors. We call the first inequality ``corotational stability postulate'' (CSP), a novel concept, which implies the \textbf{T}rue-\textbf{S}tress \textbf{T}rue-\textbf{S}train strict Hilbert-\textbf{M}onotonicity (TSTS-M$^+$) for $B \mapsto σ(B) = \widehat σ(\log B)$, i.e. \begin{equation}
\langle \widehatσ(\log B_1)-\widehatσ(\log B_2),{\log B_1-\log B_2} \rangle> 0
\qquad
\forall \, B_1\neq B_2\in{\rm Sym}^{++}(3) \, . \end{equation} In this paper we expand on the ideas of Hill and Leblond, extending Leblonds calculus to the Cauchy elastic case.
△ Less
Submitted 3 September, 2024;
originally announced September 2024.
-
The Biot stress -- right stretch relation for the compressible Neo-Hooke-Ciarlet-Geymonat model and Rivlin's cube problem
Authors:
Ionel-Dumitrel Ghiba,
Franz Gmeineder,
Sebastian Holthausen,
Robert J. Martin,
Patrizio Neff
Abstract:
The aim of the paper is to recall the importance of the study of invertibility and monotonicity of stress-strain relations for investigating the non-uniqueness and bifurcation of homogeneous solutions of the equilibrium problem of a hyperelastic cube subjected to equiaxial tensile forces. In other words, we reconsider a remarkable possibility in this nonlinear scenario: Does symmetric loading lead…
▽ More
The aim of the paper is to recall the importance of the study of invertibility and monotonicity of stress-strain relations for investigating the non-uniqueness and bifurcation of homogeneous solutions of the equilibrium problem of a hyperelastic cube subjected to equiaxial tensile forces. In other words, we reconsider a remarkable possibility in this nonlinear scenario: Does symmetric loading lead only to symmetric deformations or also to asymmetric deformations? If so, what can we say about monotonicity for these homogeneous solutions, a property which is less restrictive than the energetic stability criteria of homogeneous solutions for Rivlin's cube problem. For the Neo-Hooke type materials we establish what properties the volumetric function $h$ depending on ${\rm det}\, F$ must have to ensure the existence of a unique radial solution (i.e. the cube must continue to remain a cube) for any magnitude of radial stress acting on the cube. The function $h$ proposed by Ciarlet and Geymonat satisfies these conditions. However, discontinuous equilibrium trajectories may occur, characterized by abruptly appearing non-symmetric deformations with increasing load, and a cube can instantaneously become a parallelepiped. Up to the load value for which the bifurcation in the radial solution is realized local monotonicity holds true. However, after exceeding this value, monotonicity no longer occurs on homogeneous deformations which, in turn, preserve the cube shape.
△ Less
Submitted 7 August, 2024;
originally announced August 2024.
-
Root-finding: from Newton to Halley and beyond
Authors:
Richard J. Martin
Abstract:
We give a new improvement over Newton's method for root-finding, when the function in question is doubly differentiable. It generally exhibits faster and more reliable convergence. It can be also be thought of as a correction to Halley's method, as this can exhibit undesirable behaviour.
We give a new improvement over Newton's method for root-finding, when the function in question is doubly differentiable. It generally exhibits faster and more reliable convergence. It can be also be thought of as a correction to Halley's method, as this can exhibit undesirable behaviour.
△ Less
Submitted 19 December, 2023;
originally announced December 2023.
-
Black-Scholes without stochastics or PDEs
Authors:
Richard J. Martin
Abstract:
We show how to derive the Black-Scholes model and its generalisation to the `exchange-option' (to exchange one asset for another) via the continuum limit of the Binomial tree. No knowledge of stochastic calculus or partial differential equations is assumed, as we do not use them.
We show how to derive the Black-Scholes model and its generalisation to the `exchange-option' (to exchange one asset for another) via the continuum limit of the Binomial tree. No knowledge of stochastic calculus or partial differential equations is assumed, as we do not use them.
△ Less
Submitted 3 April, 2023; v1 submitted 24 January, 2023;
originally announced January 2023.
-
Numerical approaches for investigating quasiconvexity in the context of Morrey's conjecture
Authors:
Jendrik Voss,
Robert J. Martin,
Oliver Sander,
Siddhant Kumar,
Dennis M. Kochmann,
Patrizio Neff
Abstract:
Deciding whether a given function is quasiconvex is generally a difficult task. Here, we discuss a number of numerical approaches that can be used in the search for a counterexample to the quasiconvexity of a given function $W$. We will demonstrate these methods using the planar isotropic rank-one convex function \[
W_{\rm magic}^+(F)=\frac{λ_{\rm max}}{λ_{\rm min}}-\log\frac{λ_{\rm max}}{λ_{\rm…
▽ More
Deciding whether a given function is quasiconvex is generally a difficult task. Here, we discuss a number of numerical approaches that can be used in the search for a counterexample to the quasiconvexity of a given function $W$. We will demonstrate these methods using the planar isotropic rank-one convex function \[
W_{\rm magic}^+(F)=\frac{λ_{\rm max}}{λ_{\rm min}}-\log\frac{λ_{\rm max}}{λ_{\rm min}}+\log\det F=\frac{λ_{\rm max}}{λ_{\rm min}}+2\logλ_{\rm min}\,, \] where $λ_{\rm max}\geqλ_{\rm min}$ are the singular values of $F$, as our main example. In a previous contribution, we have shown that quasiconvexity of this function would imply quasiconvexity for all rank-one convex isotropic planar energies $W:\operatorname{GL}^+(2)\rightarrow\mathbb{R}$ with an additive volumetric-isochoric split of the form \[
W(F)=W_{\rm iso}(F)+W_{\rm vol}(\det F)=\widetilde W_{\rm iso}\bigg(\frac{F}{\sqrt{\det F}}\bigg)+W_{\rm vol}(\det F) \] with a concave volumetric part. This example is therefore of particular interest with regard to Morrey's open question whether or not rank-one convexity implies quasiconvexity in the planar case.
△ Less
Submitted 17 January, 2022;
originally announced January 2022.
-
Morrey's conjecture for the planar volumetric-isochoric split. Part I: least convex energy functions
Authors:
Jendrik Voss,
Robert J. Martin,
Ionel-Dumitrel Ghiba,
Patrizio Neff
Abstract:
We consider Morrey's open question whether rank-one convexity already implies quasiconvexity in the planar case. For some specific families of energies, there are precise conditions known under which rank-one convexity even implies polyconvexity. We will extend some of these findings to the more general family of energies $W:\operatorname{GL}^+(n)\rightarrow\mathbb{R}$ with an additive volumetric-…
▽ More
We consider Morrey's open question whether rank-one convexity already implies quasiconvexity in the planar case. For some specific families of energies, there are precise conditions known under which rank-one convexity even implies polyconvexity. We will extend some of these findings to the more general family of energies $W:\operatorname{GL}^+(n)\rightarrow\mathbb{R}$ with an additive volumetric-isochoric split, i.e. \[
W(F)=W_{\rm iso}(F)+W_{\rm vol}(\det F)=\widetilde W_{\rm iso}\bigg(\frac{F}{\sqrt{\det F}}\bigg)+W_{\rm vol}(\det F)\,, \] which is the natural finite extension of isotropic linear elasticity. Our approach is based on a condition for rank-one convexity which was recently derived from the classical two-dimensional criterion by Knowles and Sternberg and consists of a family of one-dimensional coupled differential inequalities. We identify a number of \enquote{least} rank-one convex energies and, in particular, show that for planar volumetric-isochorically split energies with a concave volumetric part, the question of whether rank-one convexity implies quasiconvexity can be reduced to the open question of whether the rank-one convex energy function \[
W_{\rm magic}^+(F)=\frac{λ_{\rm max}}{λ_{\rm min}}-\log\frac{λ_{\rm max}}{λ_{\rm min}}+\log\det F=\frac{λ_{\rm max}}{λ_{\rm min}}-2\logλ_{\rm min} \] is quasiconvex. In addition, we demonstrate that under affine boundary conditions, $W_{\rm magic}^+(F)$ allows for non-trivial inhomogeneous deformations with the same energy level as the homogeneous solution, and show a surprising connection to the work of Burkholder and Iwaniec in the field of complex analysis.
△ Less
Submitted 30 June, 2021; v1 submitted 22 June, 2021;
originally announced June 2021.
-
A rank-one convex, non-polyconvex isotropic function on $\operatorname{GL}^+(2)$ with compact connected sublevel sets
Authors:
Jendrik Voss,
Ionel-Dumitrel Ghiba,
Robert J. Martin,
Patrizio Neff
Abstract:
According to a 2002 theorem by Cardaliaguet and Tahraoui, an isotropic, compact and connected subset of the group $\operatorname{GL}^+(2)$ of invertible $2\times2-\,$matrices is rank-one convex if and only if it is polyconvex. In a 2005 Journal of Convex Analysis article by Alexander~Mielke, it has been conjectured that the equivalence of rank-one convexity and polyconvexity holds for isotropic fu…
▽ More
According to a 2002 theorem by Cardaliaguet and Tahraoui, an isotropic, compact and connected subset of the group $\operatorname{GL}^+(2)$ of invertible $2\times2-\,$matrices is rank-one convex if and only if it is polyconvex. In a 2005 Journal of Convex Analysis article by Alexander~Mielke, it has been conjectured that the equivalence of rank-one convexity and polyconvexity holds for isotropic functions on $\operatorname{GL}^+(2)$ as well, provided their sublevel sets satisfy the corresponding requirements. We negatively answer this conjecture by giving an explicit example of a function $W:\operatorname{GL}^+\to\mathbb{R}$ which is not polyconvex, but rank-one convex as well as isotropic with compact and connected sublevel sets.
△ Less
Submitted 21 September, 2020;
originally announced September 2020.
-
Rank-one convexity vs. ellipticity for isotropic functions
Authors:
Robert J. Martin,
Jendrik Voss,
Ionel-Dumitrel Ghiba,
Patrizio Neff
Abstract:
It is well known that a twice-differentiable real-valued function $W:\operatorname{GL}^+(n)\rightarrow\mathbb{R}$ on the group $\operatorname{GL}^+(n)$ of invertible $n\times n-$matrices with positive determinant is rank-one convex if and only if it is Legendre-Hadamard elliptic. Many energy functions arising from interesting applications in isotropic nonlinear elasticity, however, are not necessa…
▽ More
It is well known that a twice-differentiable real-valued function $W:\operatorname{GL}^+(n)\rightarrow\mathbb{R}$ on the group $\operatorname{GL}^+(n)$ of invertible $n\times n-$matrices with positive determinant is rank-one convex if and only if it is Legendre-Hadamard elliptic. Many energy functions arising from interesting applications in isotropic nonlinear elasticity, however, are not necessarily twice differentiable everywhere on $\operatorname{GL}^+(n)$, especially at points with non-simple singular values.
Here, we show that if an isotropic function $W$ on $\operatorname{GL}^+(n)$ is twice differentiable at each $F\in\operatorname{GL}^+(n)$ with simple singular values and Legendre-Hadamard elliptic at each such $F$, then $W$ is already rank-one convex under strongly reduced regularity assumptions. In particular, this generalization makes (local) ellipticity criteria accessible as criteria for (global) rank-one convexity to a wider class of elastic energy potentials expressed in terms of ordered singular values. Our results are also directly applicable to so-called conformally invariant energy functions. We also discuss a classical ellipticity criterion for the planar case by Knowles and Sternberg which has often been used in the literature as a criterion for global rank-one convexity and show that for this purpose, it is still applicable under weakened regularity assumptions.
△ Less
Submitted 26 August, 2020;
originally announced August 2020.
-
Sharp rank-one convexity conditions in planar isotropic elasticity for the additive volumetric-isochoric split
Authors:
Jendrik Voss,
Ionel-Dumitrel Ghiba,
Robert J. Martin,
Patrizio Neff
Abstract:
We consider the volumetric-isochoric split in planar isotropic hyperelasticity and give a precise analysis of rank-one convexity criteria for this case, showing that the Legendre-Hadamard ellipticity condition separates and simplifies in a suitable sense. Starting from the classical two-dimensional criterion by Knowles and Sternberg, we can reduce the conditions for rank-one convexity to a family…
▽ More
We consider the volumetric-isochoric split in planar isotropic hyperelasticity and give a precise analysis of rank-one convexity criteria for this case, showing that the Legendre-Hadamard ellipticity condition separates and simplifies in a suitable sense. Starting from the classical two-dimensional criterion by Knowles and Sternberg, we can reduce the conditions for rank-one convexity to a family of one-dimensional coupled differential inequalities. In particular, this allows us to derive a simple rank-one convexity classification for generalized Hadamard energies of the type $W(F)=\fracμ{2}\frac{\lVert F\rVert^2}{\det F}+f(\det F)$; such an energy is rank-one convex if and only if the function $f$ is convex.
△ Less
Submitted 11 August, 2020; v1 submitted 10 August, 2020;
originally announced August 2020.
-
Refined dimensional reduction for isotropic elastic Cosserat shells with initial curvature
Authors:
Mircea Birsan,
Ionel-Dumitrel Ghiba,
Robert J. Martin,
Patrizio Neff
Abstract:
Using a geometrically motivated 8-parameter ansatz through the thickness, we reduce a three-dimensional shell-like geometrically nonlinear Cosserat material to a fully two-dimensional shell model. Curvature effects are fully taken into account. For elastic isotropic Cosserat materials, the integration through the thickness can be performed analytically and a generalized plane stress condition allo…
▽ More
Using a geometrically motivated 8-parameter ansatz through the thickness, we reduce a three-dimensional shell-like geometrically nonlinear Cosserat material to a fully two-dimensional shell model. Curvature effects are fully taken into account. For elastic isotropic Cosserat materials, the integration through the thickness can be performed analytically and a generalized plane stress condition allows for a closed-form expression of the thickness stretch and the nonsymmetric shift of the midsurface in bending. We obtain an explicit form of the elastic strain energy density for Cosserat shells, including terms up to order $O(h^5)$ in the shell thickness $h$. This energy density is expressed as a quadratic function of the nonlinear elastic shell strain tensor and the bending-curvature tensor, with coefficients depending on the initial curvature of the shell.
△ Less
Submitted 27 September, 2019;
originally announced September 2019.
-
The axiomatic introduction of arbitrary strain tensors by Hans Richter -- a commented translation of "Strain tensor, strain deviator and stress tensor for finite deformations"
Authors:
Patrizio Neff,
Kai Graban,
Eva Schweickert,
Robert J. Martin
Abstract:
We provide a faithful translation of Hans Richter's important 1949 paper "Verzerrungstensor, Verzerrungsdeviator und Spannungstensor bei endlichen Formänderungen" from its original German version into English, complemented by an introduction summarizing Richter's achievements.
We provide a faithful translation of Hans Richter's important 1949 paper "Verzerrungstensor, Verzerrungsdeviator und Spannungstensor bei endlichen Formänderungen" from its original German version into English, complemented by an introduction summarizing Richter's achievements.
△ Less
Submitted 12 September, 2019;
originally announced September 2019.
-
A note on non-homogeneous deformations with homogeneous Cauchy stress for a strictly rank-one convex energy in isotropic hyperelasticity
Authors:
Eva Schweickert,
L. Angela Mihai,
Robert J. Martin,
Patrizio Neff
Abstract:
It has recently been shown that for a Cauchy stress response induced by a strictly rank-one convex hyperelastic energy potential, a homogeneous Cauchy stress tensor field cannot correspond to a non-homogeneous deformation if the deformation gradient has discrete values, i.e. if the deformation is piecewise affine linear and satisfies the Hadamard jump condition. In this note, we expand upon these…
▽ More
It has recently been shown that for a Cauchy stress response induced by a strictly rank-one convex hyperelastic energy potential, a homogeneous Cauchy stress tensor field cannot correspond to a non-homogeneous deformation if the deformation gradient has discrete values, i.e. if the deformation is piecewise affine linear and satisfies the Hadamard jump condition. In this note, we expand upon these results and show that they do not hold for arbitrary deformations by explicitly giving an example of a strictly rank-one convex energy and a non-homogeneous deformation such that the induced Cauchy stress tensor is constant. In the planar case, our example is related to another previous result concerning criteria for generalized convexity properties of conformally invariant energy functions, which we extend to the case of strict rank-one convexity.
△ Less
Submitted 6 June, 2019; v1 submitted 25 April, 2019;
originally announced April 2019.
-
A commented translation of Hans Richter's early work "The isotropic law of elasticity"
Authors:
Kai Graban,
Eva Schweickert,
Robert J. Martin,
Patrizio Neff
Abstract:
We provide a faithful translation of Hans Richter's important 1948 paper "Das isotrope Elastizitätsgesetz" from its original German version into English. Our introduction summarizes Richter's achievements.
We provide a faithful translation of Hans Richter's important 1948 paper "Das isotrope Elastizitätsgesetz" from its original German version into English. Our introduction summarizes Richter's achievements.
△ Less
Submitted 9 April, 2019;
originally announced April 2019.
-
Quasiconvex relaxation of isotropic functions in incompressible planar hyperelasticity
Authors:
Robert J. Martin,
Jendrik Voss,
Ionel-Dumitrel Ghiba,
Patrizio Neff
Abstract:
In this note, we provide an explicit formula for computing the quasiconvex envelope of any real-valued function $W\colon\operatorname{SL}(2)\to\mathbb{R}$ with $W(RF)=W(FR)=W(F)$ for all $F\in\operatorname{SL}(2)$ and all $R\in\operatorname{SO}(2)$, where $\operatorname{SL}(2)$ and $\operatorname{SO}(2)$ denote the special linear group and the special orthogonal group, respectively. In order to ob…
▽ More
In this note, we provide an explicit formula for computing the quasiconvex envelope of any real-valued function $W\colon\operatorname{SL}(2)\to\mathbb{R}$ with $W(RF)=W(FR)=W(F)$ for all $F\in\operatorname{SL}(2)$ and all $R\in\operatorname{SO}(2)$, where $\operatorname{SL}(2)$ and $\operatorname{SO}(2)$ denote the special linear group and the special orthogonal group, respectively. In order to obtain our result, we combine earlier work by Dacorogna and Koshigoe on the relaxation of certain conformal planar energy functions with a recent result on the equivalence between polyconvexity and rank-one convexity for objective and isotropic energies in planar incompressible nonlinear elasticity.
△ Less
Submitted 1 March, 2019;
originally announced March 2019.
-
The quasiconvex envelope of conformally invariant planar energy functions in isotropic hyperelasticity
Authors:
Robert J. Martin,
Jendrik Voss,
Ionel-Dumitrel Ghiba,
Oliver Sander,
Patrizio Neff
Abstract:
We consider conformally invariant energies $W$ on the group $\operatorname{GL}^+(2)$ of $2\times2$-matrices with positive determinant, i.e. $W\colon\operatorname{GL}^+(2)\to\mathbb{R}$ such that \[W(AFB) = W(F) \qquad\text{for all }\; A,B\in\{aR\in\operatorname{GL}^+(2) \,|\, a\in(0,\infty)\,,\; R\in\operatorname{SO}(2)\}\,,\] where $\operatorname{SO}(2)$ denotes the special orthogonal group, and…
▽ More
We consider conformally invariant energies $W$ on the group $\operatorname{GL}^+(2)$ of $2\times2$-matrices with positive determinant, i.e. $W\colon\operatorname{GL}^+(2)\to\mathbb{R}$ such that \[W(AFB) = W(F) \qquad\text{for all }\; A,B\in\{aR\in\operatorname{GL}^+(2) \,|\, a\in(0,\infty)\,,\; R\in\operatorname{SO}(2)\}\,,\] where $\operatorname{SO}(2)$ denotes the special orthogonal group, and provide an explicit formula for the (notoriously difficult to compute) quasiconvex envelope of these functions. Our results, which are based on the representation $W(F)=h(\frac{λ_1}{λ_2})$ of $W$ in terms of the singular values $λ_1,λ_2$ of $F$, are applied to a number of example energies in order to demonstrate the convenience of the eigenvalue-based expression compared to the more common representation in terms of the distortion $\mathbb{K}:=\frac12\frac{\lVert F\rVert^2}{\det F}$. Special cases of our results can be obtained from earlier works by Astala et al. and Yan.
△ Less
Submitted 31 December, 2018;
originally announced January 2019.
-
Do we need Truesdell's empirical inequalities? On the coaxiality of stress and stretch
Authors:
Christian Thiel,
Jendrik Voss,
Robert J. Martin,
Patrizio Neff
Abstract:
Truesdell's empirical inequalities are considered essential in various fields of nonlinear elasticity. However, they are often used merely as a sufficient criterion for semi-invertibility of the isotropic stress strain-relation, even though weaker and much less restricting constitutive requirements like the strict Baker-Ericksen inequalities are available for this purpose. We elaborate the relatio…
▽ More
Truesdell's empirical inequalities are considered essential in various fields of nonlinear elasticity. However, they are often used merely as a sufficient criterion for semi-invertibility of the isotropic stress strain-relation, even though weaker and much less restricting constitutive requirements like the strict Baker-Ericksen inequalities are available for this purpose. We elaborate the relations between such constitutive conditions, including a weakened version of the empirical inequalities, and their connection to bi-coaxiality and related matrix properties. In particular, we discuss a number of issues arising from the seemingly ubiquitous use of the phrase "$X,Y$ have the same eigenvectors" when referring to commuting symmetric tensors $X,Y$.
△ Less
Submitted 7 December, 2018;
originally announced December 2018.
-
Time since maximum of Brownian motion and asymmetric Levy processes
Authors:
Richard J. Martin,
Michael J. Kearney
Abstract:
Motivated by recent studies of record statistics in relation to strongly correlated time series, we consider explicitly the drawdown time of a Levy process, which is defined as the time since it last achieved its running maximum when observed over a fixed time period [0,T]. We show that the density function of this drawdown time, in the case of a completely asymmetric jump process, may be factored…
▽ More
Motivated by recent studies of record statistics in relation to strongly correlated time series, we consider explicitly the drawdown time of a Levy process, which is defined as the time since it last achieved its running maximum when observed over a fixed time period [0,T]. We show that the density function of this drawdown time, in the case of a completely asymmetric jump process, may be factored as a function of $t$ multiplied by a function of T-t. This extends a known result for the case of pure Brownian motion. We state the factors explicitly for the cases of exponential down-jumps with drift, and for the downward Inverse Gaussian Levy process with drift.
△ Less
Submitted 2 November, 2018;
originally announced November 2018.
-
Shear, pure and simple
Authors:
Christian Thiel,
Jendrik Voss,
Robert J. Martin,
Patrizio Neff
Abstract:
In a 2012 article in the International Journal of Non-Linear Mechanics, Destrade et al. showed that for nonlinear elastic materials satisfying Truesdell's so-called empirical inequalities, the deformation corresponding to a Cauchy pure shear stress is not a simple shear. Similar results can be found in a 2011 article of L. A. Mihai and A. Goriely. We confirm their results under weakened assumption…
▽ More
In a 2012 article in the International Journal of Non-Linear Mechanics, Destrade et al. showed that for nonlinear elastic materials satisfying Truesdell's so-called empirical inequalities, the deformation corresponding to a Cauchy pure shear stress is not a simple shear. Similar results can be found in a 2011 article of L. A. Mihai and A. Goriely. We confirm their results under weakened assumptions and consider the case of a shear load, i.e. a Biot pure shear stress. In addition, conditions under which Cauchy pure shear stresses correspond to (idealized) pure shear stretch tensors are stated and a new notion of idealized finite simple shear is introduced, showing that for certain classes of nonlinear materials, the results by Destrade et al. can be simplified considerably.
△ Less
Submitted 12 October, 2018; v1 submitted 20 June, 2018;
originally announced June 2018.
-
Again anti-plane shear
Authors:
Jendrik Voss,
Herbert Baaser,
Robert J. Martin,
Patrizio Neff
Abstract:
We reconsider anti-plane shear deformations of the form $\varphi(x)=(x_1,\,x_2,\,x_3+u(x_1,x_2))$ based on prior work of Knowles and relate the existence of anti-plane shear deformations to fundamental constitutive concepts of elasticity theory like polyconvexity, rank-one convexity and tension-compression symmetry. In addition, we provide finite-element simulations to visualize our theoretical fi…
▽ More
We reconsider anti-plane shear deformations of the form $\varphi(x)=(x_1,\,x_2,\,x_3+u(x_1,x_2))$ based on prior work of Knowles and relate the existence of anti-plane shear deformations to fundamental constitutive concepts of elasticity theory like polyconvexity, rank-one convexity and tension-compression symmetry. In addition, we provide finite-element simulations to visualize our theoretical findings.
△ Less
Submitted 1 March, 2018;
originally announced March 2018.
-
A polyconvex extension of the logarithmic Hencky strain energy
Authors:
Robert J. Martin,
Ionel-Dumitrel Ghiba,
Patrizio Neff
Abstract:
Adapting a method introduced by Ball, Muite, Schryvers and Tirry, we construct a polyconvex isotropic energy function $W\colon\operatorname{GL^+}(n)\to\mathbb{R}$ which is equal to the classical Hencky strain energy \[
W_{\mathrm{H}}(F) = μ\,\lVert\operatorname{dev}_n\log U\rVert^2+\fracκ{2}\,[\operatorname{tr}(\log U)]^2 = μ\,\lVert\log U\rVert^2+\fracΛ{2}\,[\operatorname{tr}(\log U)]^2 \] in a…
▽ More
Adapting a method introduced by Ball, Muite, Schryvers and Tirry, we construct a polyconvex isotropic energy function $W\colon\operatorname{GL^+}(n)\to\mathbb{R}$ which is equal to the classical Hencky strain energy \[
W_{\mathrm{H}}(F) = μ\,\lVert\operatorname{dev}_n\log U\rVert^2+\fracκ{2}\,[\operatorname{tr}(\log U)]^2 = μ\,\lVert\log U\rVert^2+\fracΛ{2}\,[\operatorname{tr}(\log U)]^2 \] in a neighborhood of the identity matrix; here, $\operatorname{GL^+}(n)$ denotes the set of $n\times n$-matrices with positive determinant, $F\in\operatorname{GL^+}(n)$ denotes the deformation gradient, $U=\sqrt{F^TF}$ is the corresponding stretch tensor, $\log U$ is the principal matrix logarithm of $U$, $\operatorname{tr}$ is the trace operator, $\lVert X\rVert$ is the Frobenius matrix norm and $\operatorname{dev}_n X$ is the deviatoric part of $X\in\mathbb{R}^{n\times n}$. The extension can also be chosen to be coercive, in which case Ball's classical theorems for the existence of energy minimizers under appropriate boundary conditions are immediately applicable. We also generalize the approach to energy functions $W_{\mathrm{VL}}$ in the so-called Valanis-Landel form \[
W_{\mathrm{VL}}(F) = \sum_{i=1}^n w(λ_i) \] with $w\colon(0,\infty)\to\mathbb{R}$, where $λ_1,\dotsc,λ_n$ denote the singular values of $F$.
△ Less
Submitted 23 December, 2017;
originally announced December 2017.
-
A non-ellipticity result, or the impossible taming of the logarithmic strain measure
Authors:
Robert J. Martin,
Ionel-Dumitrel Ghiba,
Patrizio Neff
Abstract:
The logarithmic strain measures $\lVert\log U\rVert^2$, where $\log U$ is the principal matrix logarithm of the stretch tensor $U=\sqrt{F^TF}$ corresponding to the deformation gradient $F$ and $\lVert\,.\,\rVert$ denotes the Frobenius matrix norm, arises naturally via the geodesic distance of $F$ to the special orthogonal group $\operatorname{SO}(n)$. This purely geometric characterization of this…
▽ More
The logarithmic strain measures $\lVert\log U\rVert^2$, where $\log U$ is the principal matrix logarithm of the stretch tensor $U=\sqrt{F^TF}$ corresponding to the deformation gradient $F$ and $\lVert\,.\,\rVert$ denotes the Frobenius matrix norm, arises naturally via the geodesic distance of $F$ to the special orthogonal group $\operatorname{SO}(n)$. This purely geometric characterization of this strain measure suggests that a viable constitutive law of nonlinear elasticity may be derived from an elastic energy potential which depends solely on this intrinsic property of the deformation, i.e. that an energy function $W\colon\operatorname{GL^+}(n)\to\mathbb{R}$ of the form \begin{equation}
W(F)=Ψ(\lVert\log U\rVert^2) \tag{1} \end{equation} with a suitable function $Ψ\colon[0,\infty)\to\mathbb{R}$ should be used to describe finite elastic deformations.
However, while such energy functions enjoy a number of favorable properties, we show that it is not possible to find a strictly monotone function $Ψ$ such that $W$ of the form (1) is Legendre-Hadamard elliptic.
Similarly, we consider the related isochoric strain measure $\lVert\operatorname{dev}_n\log U\rVert^2$, where $\operatorname{dev}_n \log U$ is the deviatoric part of $\log U$. Although a polyconvex energy function in terms of this strain measure has recently been constructed in the planar case $n=2$, we show that for $n\geq3$, no strictly monotone function $Ψ\colon[0,\infty)\to\mathbb{R}$ exists such that $F\mapsto Ψ(\lVert\operatorname{dev}_n\log U\rVert^2)$ is polyconvex or even rank-one convex. Moreover, a volumetric-isochorically decoupled energy of the form $F\mapsto Ψ(\lVert\operatorname{dev}_n\log U\rVert^2) + W_{\mathrm{vol}}(\det F)$ cannot be rank-one convex for any function $W_{\mathrm{vol}}\colon(0,\infty)\to\mathbb{R}$ if $Ψ$ is strictly monotone.
△ Less
Submitted 13 December, 2017;
originally announced December 2017.
-
Inconsistency of uhyper and umat in Abaqus for compressible hyperelastic materials
Authors:
Herbert Baaser,
Robert J. Martin,
Patrizio Neff
Abstract:
In this article, we revisited Bažant's comments on the implementation of hyperelastic material models in commercial finite element software. We would like to clarify that our assertions only apply if the material models are implemented as hypoelastic, i.e. by incremental stress updates, in common interfaces (including, in particular, umat in Abaqus). This assumption was not made sufficiently clear…
▽ More
In this article, we revisited Bažant's comments on the implementation of hyperelastic material models in commercial finite element software. We would like to clarify that our assertions only apply if the material models are implemented as hypoelastic, i.e. by incremental stress updates, in common interfaces (including, in particular, umat in Abaqus). This assumption was not made sufficiently clear in the article.
If, on the other hand, the stress calculations are implemented using the umat interface with absolute (or "total") stress updates, as is also assumed in the uhyper interface, there is no difference in the internal processes or the results between the umat and the uhyper implementation. This applies to highly compressible formulations as well, where the Kirchhoff and Cauchy stress tensors are clearly distinguished.
△ Less
Submitted 6 September, 2019; v1 submitted 31 August, 2017;
originally announced August 2017.
-
A finite element implementation of the isotropic exponentiated Hencky-logarithmic model and simulation of the eversion of elastic tubes
Authors:
Boumediene Nedjar,
Herbert Baaser,
Robert J. Martin,
Patrizio Neff
Abstract:
We investigate a finite element formulation of the exponentiated Hencky-logarithmic model whose strain energy function is given by \[
W_\mathrm{eH}(\boldsymbol{F}) =
\dfracμ{k}\, e^{\displaystyle k \left\lVert\mbox{dev}_n \log\boldsymbol{U}\right\rVert^2}
+ \dfracκ{2 \hat{k}}\, e^{\displaystyle \hat{k} [\mbox{tr} (\log\boldsymbol{U})]^2 }\,, \] where $μ>0$ is the (infinitesimal) shear modulu…
▽ More
We investigate a finite element formulation of the exponentiated Hencky-logarithmic model whose strain energy function is given by \[
W_\mathrm{eH}(\boldsymbol{F}) =
\dfracμ{k}\, e^{\displaystyle k \left\lVert\mbox{dev}_n \log\boldsymbol{U}\right\rVert^2}
+ \dfracκ{2 \hat{k}}\, e^{\displaystyle \hat{k} [\mbox{tr} (\log\boldsymbol{U})]^2 }\,, \] where $μ>0$ is the (infinitesimal) shear modulus, $κ>0$ is the (infinitesimal) bulk modulus, $k$ and $\hat{k}$ are additional dimensionless material parameters, $\boldsymbol{U}=\sqrt{\boldsymbol{F}^T\boldsymbol{F}}$ and $\boldsymbol{V}=\sqrt{\boldsymbol{F}\boldsymbol{F}^T}$ are the right and left stretch tensor corresponding to the deformation gradient $\boldsymbol{F}$, $\log$ denotes the principal matrix logarithm on the set of positive definite symmetric matrices, $\mbox{dev}_n \boldsymbol{X} = \boldsymbol{X}-\frac{\mbox{tr} \boldsymbol{X}}{n}\boldsymbol{1}$ and $\lVert \boldsymbol{X} \rVert = \sqrt{\mbox{tr}\boldsymbol{X}^T\boldsymbol{X}}$ are the deviatoric part and the Frobenius matrix norm of an $n\times n$-matrix $\boldsymbol{X}$, respectively, and $\mbox{tr}$ denotes the trace operator.
To do so, the equivalent different forms of the constitutive equation are recast in terms of the principal logarithmic stretches by use of the spectral decomposition together with the undergoing properties. We show the capability of our approach with a number of relevant examples, including the challenging "eversion of elastic tubes" problem.
△ Less
Submitted 23 May, 2017;
originally announced May 2017.
-
Rank-one convexity implies polyconvexity in isotropic planar incompressible elasticity
Authors:
Ionel-Dumitrel Ghiba,
Robert J. Martin,
Patrizio Neff
Abstract:
We study convexity properties of energy functions in plane nonlinear elasticity of incompressible materials and show that rank-one convexity of an objective and isotropic elastic energy $W$ on the special linear group $\mathrm{SL}(2)$ implies the polyconvexity of $W$.
We study convexity properties of energy functions in plane nonlinear elasticity of incompressible materials and show that rank-one convexity of an objective and isotropic elastic energy $W$ on the special linear group $\mathrm{SL}(2)$ implies the polyconvexity of $W$.
△ Less
Submitted 5 September, 2016;
originally announced September 2016.
-
An ellipticity domain for the distortional Hencky-logarithmic strain energy
Authors:
Ionel-Dumitrel Ghiba,
Patrizio Neff,
Robert J. Martin
Abstract:
We describe ellipticity domains for the isochoric elastic energy $ F\mapsto \|{\rm dev}_n\log U\|^2=\bigg\|\log \frac{\sqrt{F^TF}}{(\det F)^{1/n}}\bigg\|^2 =\frac{1}{4}\,\bigg\|\log \frac{C}{({\rm det} C)^{1/n}}\bigg\|^2 $ for $n=2,3$, where $C=F^TF$ for $F\in {\rm GL}^+(n)$. Here, ${\rm dev}_n\log {U} =\log {U}-\frac{1}{n}\, {\rm tr}(\log {U})\cdot 1\!\!1$ is the deviatoric part of the logarithmi…
▽ More
We describe ellipticity domains for the isochoric elastic energy $ F\mapsto \|{\rm dev}_n\log U\|^2=\bigg\|\log \frac{\sqrt{F^TF}}{(\det F)^{1/n}}\bigg\|^2 =\frac{1}{4}\,\bigg\|\log \frac{C}{({\rm det} C)^{1/n}}\bigg\|^2 $ for $n=2,3$, where $C=F^TF$ for $F\in {\rm GL}^+(n)$. Here, ${\rm dev}_n\log {U} =\log {U}-\frac{1}{n}\, {\rm tr}(\log {U})\cdot 1\!\!1$ is the deviatoric part of the logarithmic strain tensor $\log U$. For $n=2$ we identify the maximal ellipticity domain, while for $n=3$ we show that the energy is Legendre-Hadamard elliptic in the set $\mathcal{E}_3\bigg(W_{_{\rm H}}^{\rm iso}, {\rm LH}, U, \frac{2}{3}\bigg)\,:=\,\bigg\{U\in{\rm PSym}(3) \;\Big|\, \|{\rm dev}_3\log U\|^2\leq \frac{2}{3}\bigg\}$, which is similar to the von-Mises-Huber-Hencky maximum distortion strain energy criterion.
Our results complement the characterization of ellipticity domains for the quadratic Hencky energy $ W_{_{\rm H}}(F)=μ\,\|{\rm dev}_3\log U\|^2+ \fracκ{2}\,[{\rm tr} (\log U)]^2 $, $U=\sqrt{F^TF}$ with $μ>0$ and $κ>\frac{2}{3}\, μ$, previously obtained by Bruhns et al.
△ Less
Submitted 30 July, 2015; v1 submitted 27 July, 2015;
originally announced July 2015.
-
Rank-one convexity implies polyconvexity for isotropic, objective and isochoric elastic energies in the two-dimensional case
Authors:
Robert J. Martin,
Ionel-Dumitrel Ghiba,
Patrizio Neff
Abstract:
We show that in the two-dimensional case, every objective, isotropic and isochoric energy function which is rank-one convex on $\mathrm{GL}^+(2)$ is already polyconvex on $\mathrm{GL}^+(2)$. Thus we negatively answer Morrey's conjecture in the subclass of isochoric nonlinear energies, since polyconvexity implies quasiconvexity. Our methods are based on different representation formulae for objecti…
▽ More
We show that in the two-dimensional case, every objective, isotropic and isochoric energy function which is rank-one convex on $\mathrm{GL}^+(2)$ is already polyconvex on $\mathrm{GL}^+(2)$. Thus we negatively answer Morrey's conjecture in the subclass of isochoric nonlinear energies, since polyconvexity implies quasiconvexity. Our methods are based on different representation formulae for objective and isotropic functions in general as well as for isochoric functions in particular. We also state criteria for these convexity conditions in terms of the deviatoric part of the logarithmic strain tensor.
△ Less
Submitted 1 July, 2015;
originally announced July 2015.
-
Geometry of logarithmic strain measures in solid mechanics
Authors:
Patrizio Neff,
Bernhard Eidel,
Robert J. Martin
Abstract:
We consider the two logarithmic strain measures\[ω_{\rm iso}=\|\mathrm{dev}_n\log U\|=\|\mathrm{dev}_n\log \sqrt{F^TF}\|\quad\text{ and }\quad ω_{\rm vol}=|\mathrm{tr}(\log U)|=|\mathrm{tr}(\log\sqrt{F^TF})|\,,\]which are isotropic invariants of the Hencky strain tensor $\log U$, and show that they can be uniquely characterized by purely geometric methods based on the geodesic distance on the gene…
▽ More
We consider the two logarithmic strain measures\[ω_{\rm iso}=\|\mathrm{dev}_n\log U\|=\|\mathrm{dev}_n\log \sqrt{F^TF}\|\quad\text{ and }\quad ω_{\rm vol}=|\mathrm{tr}(\log U)|=|\mathrm{tr}(\log\sqrt{F^TF})|\,,\]which are isotropic invariants of the Hencky strain tensor $\log U$, and show that they can be uniquely characterized by purely geometric methods based on the geodesic distance on the general linear group $\mathrm{GL}(n)$. Here, $F$ is the deformation gradient, $U=\sqrt{F^TF}$ is the right Biot-stretch tensor, $\log$ denotes the principal matrix logarithm, $\|.\|$ is the Frobenius matrix norm, $\mathrm{tr}$ is the trace operator and $\mathrm{dev}_n X$ is the $n$-dimensional deviator of $X\in\mathbb{R}^{n\times n}$. This characterization identifies the Hencky (or true) strain tensor as the natural nonlinear extension of the linear (infinitesimal) strain tensor $\varepsilon=\mathrm{sym}\nabla u$, which is the symmetric part of the displacement gradient $\nabla u$, and reveals a close geometric relation between the classical quadratic isotropic energy potential \[μ\,\|\mathrm{dev}_n\mathrm{sym}\nabla u\|^2+\fracκ{2}\,[\mathrm{tr}(\mathrm{sym}\nabla u)]^2=μ\,\|\mathrm{dev}_n\varepsilon\|^2+\fracκ{2}\,[\mathrm{tr}(\varepsilon)]^2\]in linear elasticity and the geometrically nonlinear quadratic isotropic Hencky energy\[μ\,\|\mathrm{dev}_n\log U\|^2+\fracκ{2}\,[\mathrm{tr}(\log U)]^2=μ\,ω_{\rm iso}^2+\frac\kappa2\,ω_{\rm vol}^2\,,\]where $μ$ is the shear modulus and $κ$ denotes the bulk modulus. Our deduction involves a new fundamental logarithmic minimization property of the orthogonal polar factor $R$, where $F=R\,U$ is the polar decomposition of $F$. We also contrast our approach with prior attempts to establish the logarithmic Hencky strain tensor directly as the preferred strain tensor in nonlinear isotropic elasticity.
△ Less
Submitted 31 October, 2016; v1 submitted 8 May, 2015;
originally announced May 2015.
-
An exactly solvable self-convolutive recurrence
Authors:
Richard J. Martin,
M. J. Kearney
Abstract:
We consider a self-convolutive recurrence whose solution is the sequence of coefficients in the asymptotic expansion of the logarithmic derivative of the confluent hypergeometic function $U(a,b,z)$. By application of the Hilbert transform we convert this expression into an explicit, non-recursive solution in which the $n$th coefficient is expressed as the $(n-1)$th moment of a measure, and also as…
▽ More
We consider a self-convolutive recurrence whose solution is the sequence of coefficients in the asymptotic expansion of the logarithmic derivative of the confluent hypergeometic function $U(a,b,z)$. By application of the Hilbert transform we convert this expression into an explicit, non-recursive solution in which the $n$th coefficient is expressed as the $(n-1)$th moment of a measure, and also as the trace of the $(n-1)$th iterate of a linear operator. Applications of these sequences, and hence of the explicit solution provided, are found in quantum field theory as the number of Feynman diagrams of a certain type and order, in Brownian motion theory, and in combinatorics.
△ Less
Submitted 25 March, 2011;
originally announced March 2011.
-
The first-passage area for drifted Brownian motion and the moments of the Airy distribution
Authors:
Michael J. Kearney,
Satya N. Majumdar,
Richard J. Martin
Abstract:
An exact expression for the distribution of the area swept out by a drifted Brownian motion till its first-passage time is derived. A study of the asymptotic behaviour confirms earlier conjectures and clarifies their range of validity. The analysis also leads to a simple closed-form solution for the moments of the Airy distribution.
An exact expression for the distribution of the area swept out by a drifted Brownian motion till its first-passage time is derived. A study of the asymptotic behaviour confirms earlier conjectures and clarifies their range of validity. The analysis also leads to a simple closed-form solution for the moments of the Airy distribution.
△ Less
Submitted 14 June, 2007;
originally announced June 2007.
