Past exam of the solid mechanics course of the University of Oxford / 2007 / 4

Use a temperature-dependent strain energy density $W(F,\vartheta )$ with different minimizing deformation gradients in the two crystal phases. Above the transition temperature its wells describe austenite; below it the wells are unions $SO(3)U_i$ of martensitic variants. Left rotational orbits reflect material frame indifference, while the crystal's discrete material symmetries relate the variants. Minimizing the integral of this elastic energy, together with loading and boundary constraints, models the change of lattice shape. Compatibility restricts which low-energy gradients can meet continuously; fine compatible mixtures can accommodate macroscopic boundary shapes.

For the jump condition, write the two affine pieces as $Ax+c_{+}$ and $Bx+c_{-}$. Continuity on the interface meansTaking differences along the interface gives $(A-B)t=0$ for every tangent vector $t$ with $t\cdot N=0$. Decompose any vector $v$ as $t+(v\cdot N)N$. ThenWith $a=(A-B)N$ this provesConversely this rank-one connection permits continuity by choosing $c_{+}-c_{-}=-ka$. A coherent twin interface is such a compatible planar boundary between different martensitic variants, possibly after a rigid rotation of one variant. The rank-one condition is therefore the geometric compatibility condition for a simple twin.

For the unrotated pair, direct subtraction givesso $R=I$ is one solution, with reference interface normal $e_1$.

Put $d=1+{\delta }^2$, $c=(1-{\delta }^2)/d$ and $s=2\delta /d$. Since $c^2+s^2=1$, the stated $\overline{R}$ is a proper rotation. Multiplication givesHere $c+\delta s=1$ and $s-\delta c=\delta$. ConsequentlyThis is the second rank-one connection, now with normal $e_3$. Because $\delta >0$, the two rotations are distinct. The permitted assertion that there are at most two proves completeness.

Finally suppose $Q{U}_1$ is rank-one connected to $\overline{R}{U}_2$, with $Q\in SO(3)$. Left multiplication of their difference by $Q^T$ preserves rank and gives $U_1-Q^T\overline{R}{U}_2$. The classification just proved forces $Q^T\overline{R}$ to be either $I$ or $\overline{R}$, hence $Q=\overline{R}$ or $Q=I$. The two requested matrices are thereforeTheir connections are explicit: the first was calculated above, and $\overline{R}{U}_1-\overline{R}{U}_2=2\delta (\overline{R}{e}_3)\otimes e_1$. If desired the second matrix is