## Abstract

When a rectangular bar is subjected to uniaxial tension, the bar usually deforms (approximately) homogeneously and isoaxially until a critical load is reached. A bifurcation, such as the formation of shear bands or a neck, may then be observed. One approach is to model such an experiment as the in-plane extension of a two-dimensional, homogeneous, isotropic, incompressible, hyperelastic material in which the length of the bar is prescribed, the ends of the bar are assumed to be free of shear and the sides are left completely free. It is shown that standard constitutive hypotheses on the stored-energy function imply that no such bifurcation is possible in this model due to the fact that the homogeneous isoaxial deformation is the unique absolute minimizer of the elastic energy. Thus, in order for a bifurcation to occur either the material must cease to be elastic or the stored-energy function must violate the standard hypotheses. The fact that no local bifurcations can occur under the assumptions used herein was known previously, since these assumptions prohibit the load on the bar from reaching a maximum value. However, the fact that the homogeneous deformation is the absolute minimizer of the energy appears to be a new result.

## 1. Introduction

Consider a homogeneous, isotropic, incompressible, hyperelastic material that occupies the rectangular region in a fixed homogeneous reference configuration. A deformation of the body is then a differentiable, one-to-one map that satisfies the constraint 1.1

The problem we herein consider is uniaxial extension. Specifically, we fix *λ*≥1 and restrict our attention to those deformations that satisfy the boundary conditions
1.2
where we have written
With each such deformation we associate a corresponding elastic energy
1.3
where ∇**u** denotes the 2×2 matrix of partial derivatives of **u**, is the stored-energy density, and denotes the set of 2×2 matrices with determinant equal to 1. If *W* is both isotropic and frame indifferent, then standard representation theorems (e.g. Gurtin 1981; Ciarlet 1988) imply that there is a function that satisfies
1.4
where |**F**| denotes the square root of the sum of the squares of the elements of **F**. Note that if a deformation **u** satisfies equations (1.1), (1.2) and minimizes equations (1.3), (1.4), then so does **g**°**u**, where **g** is any translation in the *x*-direction. In order to eliminate this trivial nonuniqueness, we impose the additional constraint
1.5

Our main result shows that if the function *Φ* is both convex and monotone increasing,1 then the homogeneous deformation
1.6
is an absolute minimizer of *E*. Moreover, if in addition *Φ* is strictly increasing, then is the only absolute minimizer of the elastic energy that satisfies equations (1.1), (1.2) and (1.5). Furthermore, in this case this mapping is therefore a strict local minimizer of the energy and thus no bifurcations can occur.

The proof of our result uses the technique developed in Sivaloganathan & Spector (in press *a*) for energy minimization of thick spherical shells. The main idea is fairly simple. We first consider the stored-energy function *W*(**F**)=|**F**|. For this function we show that the constraint of incompressibility allows us to bound the elastic energy below by an integral of a convex function of the deformed length of line segments that were initially parallel to the loading axis. Moreover, this lower bound is an equality when the image curves are straight lines that are deformed uniformly and are parallel to the loading axis. Thus, energetically, the material prefers that each such straight line deform homogeneously into another parallel straight line. The general case then follows from Jensen’s inequality applied to the convex, increasing function *Φ*.

We note that the final remark in this paper demonstrates that our constitutive assumptions include the Ogden (1972) materials
provided *μ*_{k}>0 and *α*_{k}≥2. Here *λ*_{1} and *λ*_{2} are the principal stretches, i.e. the eigenvalues of . One of the simplest such examples is the neo-Hookean material
which clearly satisfies our hypotheses.

The vast majority of prior results on elastic bars in uniaxial tension have analysed the linearization stability of , that is, whether or not the system of partial differential equations that one obtains upon linearizing the equilibrium equations, (1.2) and (1.5), about , has a nontrivial solution. This technique was utilized by Wesołowski (1962) to show that a neo-Hookean material is always stable in tension, while certain other constitutive relations do become unstable. Hill & Hutchinson (1975) then employed this procedure to prove that an incompressible elastic material is linearization stable in tension as long as the linear-elasticity tensor remains elliptic and the force required to extend the rectangle is an increasing function of the extension ratio *λ*. For compressible elastic materials similar results have been obtained by Del Piero (1980) and also by Spector (1984). Recent results of Del Piero & Rizzoni (2008) examine the stability of both compressible and incompressible materials. There is also an extensive literature on plastic and elastic/plastic materials, see e.g. Hill & Hutchinson (1975), Guduru & Freund (2002) and references therein.

We mention that linearization instability does not necessitate bifurcation. The additional technical details needed to establish the existence of a second solution branch can be found in Simpson & Spector (2008). Alternatively, another approach to this problem was proposed by Mielke (1991, ch. 10), who used the centre-manifold theorem to prove that an infinite strip will bifurcate when the force required to extend the strip has a local maximum as a function of *λ*. When a bar is compressed rather than extended, *λ*∈(0,1), many authors have investigated this and many similar problems; see e.g. Davies (1989) and references therein.

Finally, we note that it is unclear whether or not one can use techniques similar to those in Sivaloganathan & Spector (in press *a*,*b*) and this paper to extend our results to compressible materials and also to three-dimensional circular-cylindrical bars and shells.

## 2. Isochoric deformations

## Definition 2.1.

We let *λ*>0 and define the set of *admissible isochoric deformations* by
In particular, the *homogeneous* deformation (1.6) is an admissible deformation that satisfies
2.1

The shortest curve connecting two parallel lines is any perpendicular straight line segment that connects the lines. We will need a slight variant of this well-known result. We provide a proof for the convenience of the reader.

## Lemma 2.2.

*Let λ>0,* *, and suppose that* *is given by equation (1.6 ). Then, for each x∈[−R,R]*
*where* *is the line segment*
*Moreover, if this inequality is an equality for every x∈[−R,R], then* *.*

## Proof.

Let *λ*>0, , and *x*∈[−*R*,*R*]. Then
2.2
However,
where we have made use of *u*_{2}(⋅,*L*)≡*λ**L*, *u*_{2}(⋅,*L*)≡0 and equation (1.6).

To prove strictness when , we note that the first inequality in equation (2.2) is a strict inequality unless ∂*u*_{1}/∂*y*≡0. Consequently, *u*_{1}(*x*,*y*)=*ρ*(*x*) for some function . However, since **u** is isochoric it follows that for some function . We next apply the boundary condition *u*_{2}(⋅,0)≡0 to conclude that . The boundary condition *u*_{2}(⋅,*L*)≡*λ**L* then yields *ρ*′≡1/*λ*. Therefore,
for some . Finally, equation (1.5) implies that *a*=0 and so . ▪

## 3. The homogeneity of isochoric energy-minimizing deformations

Let . Our aim is to prove that the energy functional (1.3) satisfies
for any stored-energy function *W* of the form
3.1
where is convex and monotone increasing.

To present the main ideas in our proof we present our results first for the energy *W*(**F**)=|**F**|. The more general result will then be a consequence of Jensen’s inequality. To simplify the technical details we will assume that ; however, the proofs easily generalize to wider classes of deformations in an appropriate Sobolev space.

### (a) The case *W*(**F**)=|**F**|

### Lemma 3.1.

*Let λ>0 and* *. Then, for* *,*
3.2

### Proof.

We first observe that
3.3
Next, since **u** is isochoric the Cauchy–Schwarz inequality implies
3.4
since the above matrix is orthogonal. The desired result now follows from equations (3.3) and (3.4). ▪

.

A straightforward computation then gives us the following result.

### Lemma 3.2.

*Let*
*Then g is convex on* *and strictly monotone increasing for t≥1.*

### Lemma 3.3.

*Let λ>0 and* *. Then, for each x∈[−R,R]*
3.5
*where* *denotes the average value of ϕ over [0,L], i.e.*

### Proof.

If we take the square root of equation (3.2) and then integrate the result over [0,*L*] and divide by *L*, the result will follow from Jensen’s inequality since *g* is convex by lemma 3.2. ▪

### Lemma 3.4.

*Let λ>0 and* *. Then, for each x∈[−R,R],*
*Moreover, if this inequality is an equality for every x∈[−R,R], then* *.*

### Proof.

This result is an immediate consequence of lemma 2.2 since
for any and *x*∈[−*R*,*R*]. ▪

If we now combine lemmas 3.2–3.4 and make use of the identity (see equation (2.1)_{2})
we arrive at the following result.

### Proposition 3.5.

*Let λ≥1,* *and x∈[−R,R]. Then*
3.6
*Moreover, if this inequality is an equality for every x∈[−R,R], then* *.*

### (b) The general case: *W*(**F**)=*Φ*(|**F**|)

We now suppose that *W*(**F**)=*Φ*(|**F**|) to obtain the following result.

### Theorem 3.6.

*Let λ≥1 and*
*where* *is convex and monotone increasing on* *. Then, for any* *,*
*Moreover, if in addition Φ is strictly increasing, then the inequality is strict when*

*.*

### Proof.

We first note that the constraint implies . Therefore, and for every . Next, by Jensen’s inequality, the monotonicity of *Φ*, proposition 3.5 and equation (2.1)_{2}
In order to see that the inequality is strict when we observe that proposition 3.5 and the strict monotonicity of *Φ* imply that the second of the above inequalities is a strict inequality when . ▪

### Remark 3.7.

Under appropriate growth conditions on *W* (see Ball 1977; Ciarlet & Nečas 1987; Ciarlet 1988), is also the (strict) minimizer of the energy *E* over the larger sets:
. The details are similar to those used in §5 of Sivaloganathan & Spector (in press *a*).

### Remark 3.8.

The (Piola–Kirchhoff) stress for the constitutive model used in this paper is given by
where is a pressure. In particular, when it follows that the force (per unit undeformed length) on the sides of the rectangle is
while the force (per unit undeformed length) on the top and bottom is
If we combine these two equations we conclude that
and hence
which is non-negative if *Φ* is convex and monotone increasing. Thus the force increases with increasing extension, which has been shown by Hill & Hutchinson (1975) (see, also, Del Piero 1980; Spector 1984; Del Piero & Rizzoni 2008) to be a sufficient condition to prohibit bifurcation of an incompressible elastic material that has an elasticity tensor that is elliptic.

### Remark 3.9.

Among the many papers in the literature that develop constitutive relations for rubber-like materials, one of the most influential is that of Ogden (1972). The energies developed there are of the form
where λ_{i} are the principal stretches, i.e. the eigenvalues of and . If *ϕ* is convex and monotone increasing, then such energies are polyconvex (see pp. 363–367 in Ball 1977). In order to compare restrictions on *ϕ* and *Φ* we note that the eigenvalues of **V** satisfy the characteristic equation (recall )
where tr(**V**)=λ_{1}+λ_{2} denotes the trace of **V**. The identity [tr(**V**)]^{2}=|**F**|^{2}+2 together with the quadratic formula then yield
3.7
for . Consequently, if we differentiate equation (3.7) with respect to t we find that
3.8
and hence
3.9
Thus t↦λ_{L}(t) is monotone increasing and concave while t↦λ_{S}(t) is monotone decreasing and convex.

We observe that our constitutive relation can be written as
3.10
Differentiating the last equation with respect to t yields
3.11
which together with equations (3.7) and (3.8) imply that
3.12
Thus if *ϕ* is convex and increasing, then *Φ* will be monotone increasing on . In particular, this is true when (cf. pp. 570–571 in Ogden 1972)
3.13
with μ_{i}>0 and *α*_{i}≥1. Moreover, if we differentiate equation (3.11) with respect to t we arrive at
Thus if *ϕ* is given by equation (3.13) it follows from equations (3.8) and (3.9) that will be the sum of terms of the form
3.14
We observe that the denominator of equation (3.14) is strictly positive on , and
3.15
which is strictly positive on when α≥2. The numerator of equation (3.14) is therefore also strictly positive on for α≥2.

We therefore conclude that *the constitutive relation given by equations (3.7), (3.10) and (3.13), with μ_{i}>0 and α_{i}≥2, satisfies equation (3.10)_{1}, where Φ is convex and strictly monotone increasing on . It therefore follows from theorem 3.6 that , given by equation (1.6), is the unique absolute minimizer of these energies for every λ≥1.*

### Remark 3.10.

We note that in order for *W* to be polyconvex the function *Φ* must be convex and monotone increasing on . In particular, if one is given Ψ=Ψ(λ_{1}*,λ*_{2}), expressed as a function of the principal stretches, different extensions of Ψ off the curve λ_{1}*λ*_{2}=1 will in general yield different representations for *Φ*(|**F**|)=Ψ(λ_{1}*,λ*_{2}). The resulting *Φ* may or may not be convex and increasing on all of depending on the extension. For example, although the previous remark demonstrates that the Ogden material does satisfy our conditions on , a direct computation using λ_{1}*λ*_{2}=1 shows that
which is neither convex nor monotone increasing on all of . However, the constraint implies that and so all one needs to show is that *Φ* restricted to has an extension to that is convex and increasing, which is straightforward for this Ψ.

To see that such an extension exists when *ϕ* is given by equation (3.13) we observe that equations (3.7), (3.8), (3.12) and (3.13) yield, with the aid of l’Hôpital’s rule,
for μ_{i}*α*_{i}>0. Similarly, equations (3.7), (3.8*), (*3.13)–(3.15) together with two applications of l’Hôpital’s rule yield, for μ_{i}*α*_{i}>0 and α_{i}≥2,

## Acknowledgements

We thank Stuart Antman for his valuable comments and suggestions.

## Footnotes

↵1 If

*Φ*is convex and monotone increasing, then*W*is polyconvex in the sense of Ball (1977).- Received July 15, 2009.
- Accepted October 19, 2009.

- © 2009 The Royal Society