Original solutions to the paper released at the source request. The complete editable transcription is retained in the private examination archive.
By the spectral theorem a symmetric positive-definite matrix has , with orthogonal and . Define . It is symmetric positive-definite and . For uniqueness, any symmetric positive-definite square root commutes with , hence preserves each eigenspace of . On its -eigenspace, is symmetric positive-definite and all its eigenvalues have square , so all equal . Therefore , including repeated eigenspaces.
For , put
Then and , so ; also . Any other right polar decomposition has , so uniqueness of the positive root fixes and then . The left factor is consequently fixed too.
The principal stretches are the positive eigenvalues of , equivalently the singular values of . For a unit vector in an orthonormal eigenbasis of ,
Thus , attained precisely by the unit vectors in the eigenspace of belonging to . With a simple largest eigenvalue these are its two opposite unit eigenvectors; degeneracy allows every unit combination within that eigenspace.
For the simple shear,
A line with nonzero direction keeps its length exactly when
Hence , with arbitrary. Every segment in the cube parallel to one of these directions preserves length; there is no restriction on its starting point other than remaining in the cube.
The two in-plane stretches are , and the third is one. A maximizing direction for is , since the eigenvalue equation gives . Therefore as . At exactly zero shear all directions tie; the limit refers to the selected maximizing direction for positive shear. These are the length-preserving directions and principal directions of simple shear.
Cauchy's stress hypothesis says that traction across a cut depends locally on its point, time and oriented normal, rather than on the global shape of the cut. Here all areas and normals are referential: is a fixed material region in reference coordinates, its mass density per reference volume, the current particle velocity, body force per unit mass, and force per unit reference area. The time derivative on the left is total material momentum rate; the two right terms are contact and body forces.
A shrinking pillbox gives . In a shrinking tetrahedron the volume contributions scale as its linear size cubed, whereas face forces scale as size squared. Their leading balance expresses traction on an arbitrary face as the normal-component-weighted sum of tractions on three coordinate faces. Defining those three tractions as tensor columns gives . Applying the divergence theorem to momentum balance and localizing over arbitrary then yields
The referential tensor is the first Piola-Kirchhoff stress and need not be symmetric; it should not be silently identified with the spatial Cauchy stress.
Incompressibility is . For a homogeneous hyperelastic material the referential constitutive relation becomes
where the undetermined scalar pressure enforces the constraint. Homogeneity removes explicit reference-position dependence from , not the possible spatial variation of that pressure.
For the neo-Hookean energy, . For the positive diagonal ansatz the nominal principal stresses are . Since is constant, equilibrium requires , so is constant. Stress-free endfaces give . The side normals include and , so their prescribed tractions force .
For fixed positive , the scalar function is strictly increasing on . Thus equality of the two nominal stresses implies . Incompressibility gives , and substitution gives
The load function has derivative , tends to minus infinity as and to infinity as . It therefore determines exactly one positive for every specified load, with for outward tensile . The resulting constant stress satisfies equilibrium and every prescribed face traction, proving existence and uniqueness within the requested positive diagonal class. It does not claim uniqueness among all possible nonhomogeneous deformations. This is the equibiaxial dead loading of a neo-Hookean prism.
Put and . Differentiating uses and . Hence
Its radial eigenvalue is and its two tangential eigenvalues are . They are positive by hypothesis, so they are also the principal stretches:
For an isotropic stored energy the nominal stress has the same radial/tangential projectors,
where symmetry of gives equal tangential derivatives. Since and the scalar coefficients depend only on ,
Thus equilibrium is exactly .
For the particular energy define . Its two derivatives are
Also . Differentiating the first formula and substituting the equilibrium equation gives
The last terms cancel. Strict positivity of and yields , so for one positive constant . Integration gives .
The displacement data mean and , not . Solving the two scalar equations gives
The given inequality makes . Since increases from to , it is positive on the whole shell, and . Thus the formula is smooth and admissible and satisfies equilibrium. Conversely every admissible radial equilibrium had to have this constant determinant and these two integration constants, proving uniqueness. This is a constant-Jacobian radial equilibrium for a stretch-sum energy.
On each half-space the deformation is affine. Continuity on the separating plane makes the two affine constants equal and gives for every tangent vector . Decomposing any into its tangential part and gives
This is the Hadamard jump condition. Since , the matrix determinant lemma gives
Both determinants are positive, hence .
Write , , and . The two proposed angles have and , and . Therefore the displayed rotations lie in . Direct multiplication gives
This is a rank-one connection for each sign. With a unit normal one may choose and jump vector . The two rotations are distinct because ; the permitted at-most-two result therefore proves these are all solutions. Flipping both and changes no connection.
It remains to test the material plane. Because , the affine constants vanish. Let , so the plane is spanned by and . Both deformation gradients send to . If the plane is not the twin plane, it cuts the two half-spaces; its two image halves are coplanar exactly when the in-plane vectors and are parallel. Put and in their two-dimensional sections. Then
Its prefactor is nonzero, so coplanarity requires , precisely . Conversely, on that twin plane , so the two affine maps agree and its image is a plane. Thus . All other allowed planes acquire a kink along their intersection with the twin. This is the planarity test across a cubic-to-tetragonal twin.

Articles by others on the same topic (0)

There are currently no matching articles.