Polyconvex function

from Wikipedia, the free encyclopedia

A polyconvex function according to John M. Ball is in mathematics a function of the deformation gradient , its cofactor and its determinant , which is a convex function in all three arguments . A three-dimensional space was assumed in this definition and this illustrative and important case is also used as a basis in the following.

A real hyperelastic material deforms under the action of force in such a way that its deformation energy is minimized. If the specific deformation energy is a polyconvex, coercive function of the deformation, then this guarantees the existence of a deformation which minimizes the deformation energy. For isotropic hyperelasticity, there are a number of specific deformation energy functions that are polyconvex and coercive.

In the case of anisotropic hyperelasticity, JM Ball asked the question: “Are there ways of verifying polyconvexity […] for a useful class of anisotropic stored-energy functions?” (In German: “Are there ways that polyconvexity […] for a useful class of anisotropic deformation energy functions? ”) The search for the answer to this question is still the subject of research in the twenty-first century.

definition

The set L ( V , V ) of second-order tensors is given , which linearly map vectors from the three-dimensional Euclidean vector space V onto one another. Let P be the set of tensors with positive determinants . A function is polyconvex if it is a convex function

there for which applies

The cofactor of a tensor with a positive determinant is the transposed adjunct : The superscript "┬" stands for the transposition and −1 for the inverse .

Remarks:

  1. The sum of two polyconvex functions is again polyconvex.
  2. The deformation gradient (common symbol F ) is a second order tensor with a positive determinant. If there is no deformation, the deformation gradient is equal to the unit tensor 1 .
  3. The convex hull of the set P of tensors with positive determinant is the set L of all tensors. Building on this it can be shown that the set is the convex hull of the set .
  4. Instead of second-order tensors, matrices can also be used as a basis.

Hooke's isotropic, linear elasticity

The specific deformation energy in Hooke's law is for isotropy

It is formed with the Green-Lagrange strain tensor E and contains two material parameters λ and μ , which represent the first and second Lamé constant, respectively. This specific deformation energy is not polyconvex, see also the #example below. In the function

however, the parameters can be adjusted in such a way that Ŵ the specific deformation energy in Hooke's law up to terms of the third order in || E || according to

is approximated and polyconvex. The absolute value of a tensor is here its Frobenius norm which is defined with the Frobenius scalar product ":" of two tensors A and B :

The operator Sp forms the trace of its argument, the function ln is the natural logarithm and the Landau symbol stands for terms that contain x in at least the third order and can be neglected for.

With any choice of x from the open interval] 0,1 [the parameters are:

With these parameters, the function Ŵ also fulfills the coercivity condition

Examples of polyconvex functions

The sum of two polyconvex functions is again polyconvex. Complex polyconvex functions can be put together from simple ones by summation, some of which are given here.

Determinant

The special case

shows that the determinant is not a convex function. Nevertheless, the function is polyconvex, because W ( x ) = x is a convex function of x and x = det ( F ) does not detract from this either.

Amount of a tensor

The function is polyconvex because of the magnitude of a tensor

is a convex function. Through the Frobenius scalar product defined above, the addition and scalar multiplication of tensors, the tensors form a scalar product space in which the angle ∠ ( H , G ) between two elements H and G of the scalar product space is defined by the scalar product . In the inequality above, in addition to the fact that the cosine “cos” of an angle is less than or equal to one, the fact that in convex functions applies and here

is to be used. The square of the amount || F || ² is also convex as a positive combination of two convex functions. The consequence of this is the function

with and a convex function polyconvex.

Invariants of the right Cauchy-Green tensor

The right Cauchy-Green tensor C = F · F is formed from the deformation gradient F and has the main invariants

The main invariants of the Cauchy-Green tensor on the right give the dimensions of the line, surface and volume elements in the event of a deformation and are polyconvex functions because the square of the magnitude of a tensor is a polyconvex function of the tensor.

Ogden model

The function

which is formed with the all positive eigenvalues ​​of the right distance tensor is polyconvex if the coefficients a i and b j are positive, the exponents γ i and δ j are greater than or equal to one and k ( x ) for positive arguments x is a convex function is. The constant w has to be adjusted so that Ŵ ( 1 ) vanishes. Then Ŵ also satisfies the coercivity condition

The function of a tensor, for example its root, is calculated with the main axis transformation of the tensor, formation of the function values ​​of the diagonal terms and inverse transformation. The above function is written with the right stretch tensor

This specific deformation energy defines the Ogden model .

Neo-Hooke model with compressibility

The specific deformation energy

is polyconvex if k ( x ) is a convex function for positive arguments x . The constant w has to be adjusted so that Ŵ ( 1 ) vanishes. The square of the absolute value of the deformation gradient is - as shown above - the first main invariant (trace) of the right Cauchy-Green tensor.

Mooney-Rivlin model with compressibility

The specific deformation energy

is polyconvex if k ( x ) is a convex function for positive arguments x . The constant w has to be adjusted so that Ŵ ( 1 ) vanishes. The square of the absolute value of the deformation gradient and its cofactor are - as shown above - the first and second main invariants of the right Cauchy-Green tensor.

example

A cylinder (black) is stretched by a force F by the amount u (red)

A homogeneous cylinder with length L , cross-sectional area A and volume V = AL made of a hyperelastic material is loaded uniaxially with a force F as in tension or compression. Because of the axis symmetry, cylindrical coordinates R and Z are used. The relationship between the original coordinates of a material point ( R , Z ) and the current ( r , z ) is with the stretching α in the z direction and β in the radial direction:

The vector with the components u and v represents the displacements of a material point in the z or r direction. The deformation gradient and the Green-Lagrange distortion tensor result in

The GRAD gradient is derived here from the material coordinates ( R , Z ) and is therefore capitalized. The matrix representations relate to the basic system. Hooke's law is the stress tensor in uniaxial tension

The radial normal stress disappears with the consequence

The relationships between the elastic constants λ , μ , ν and E can be looked up at the Lamé constants . The deformation work is the volume integral over the specific deformation energy, which is constant in the volume:

Force-extension diagram for a cylinder made of linear elastic material

The equality with the work of force results in:

The force curve is shown in the picture. In the tensile area I and in the pressure area II there is an extension α for every force , so that the system is in equilibrium. In area III the system is unstable: If the rod (its mathematical model) were loaded with, it would not find equilibrium and would collapse to zero length, which is of course unphysical.

Force-extension diagram for a cylinder made of Neo-Hooke material ( K = E )

In the Neo – Hooke model the first Piola-Kirchhoff stress tensor reads P and the Cauchy stress tensor reads if a = E and with a further material parameter KE :

Because the radial stresses vanish, we get for the radial stretching β :

The parameter w in the deformation energy is adjusted so that the deformation energy in the undeformed initial state disappears at F = 1 :

The deformation energy is calculated as follows:

and equilibrium with the individual force F according to d W i = d W e at K = E , see picture on the right:

Here there is a corresponding stretching for every force level and the material is stable in all areas.

Footnotes

  1. To show this, we must first establish that the negative unit tensor is an element of the convex hull, for example using
    Furthermore, the determinant of the tensor B : = λ 1 +2 A for any tensor A is a third degree polynomial in λ, which is why a positive λ can be found such that det ( B )> 0 and B then also in the convex one Shell lies. The same then also applies to the arbitrarily selectable tensor A , because: A = ½ ( λ 1 +2 A ) + ½ (- λ 1 ).
  2. The Fréchet derivative of a scalar function with respect to a tensor is the tensor for which - if it exists - applies:
    There is and ":" the
    Frobenius scalar product . Then will too
    written.

See also

literature

  • JM Ball: Convexity conditions and existence theorems in non-linear elasticity . In: Archive for Rational Mechanics and Analysis . tape 63 , 1977, pp. 337-403 .
  • PG Ciarlet: Mathematical Elasticity - Volume I: Three-Dimensional Elasticity . North-Holland, 1988, ISBN 0-444-70259-8 .

Individual evidence

  1. ^ Paul Newton, Philip Holmes (Eds.): Geometry, Mechanics and Dynamics . Springer, 2002, ISBN 978-0-387-95518-6 , pp. 3–59 (JM Ball's post is entitled Some open problems in elasticity ).
  2. Ciarlet (1988), p. 162.
  3. Ciarlet (1988), pp. 185ff.
  4. ^ Ciarlet (1988), p. 176
  5. Ciarlet (1988), pp. 181ff
  6. Ciarlet (1988), p. 189
  7. Ciarlet (1988), p. 189