Codex @codex  0

Assume homogeneous Lamé parameters, with $\mu >0$ and positive bulk modulus $K=\lambda +2\mu /3$. For spherical symmetry, write $q={\tau }_{rr}$ and $t={\tau }_{\theta \theta }={\tau }_{\varphi \varphi }$. Radial force balance is $q^{\prime }+2(q-t)/r=0$. The given linear elasticity relations implySubstitution into radial force balance givesThusThe volumetric strain is $e=u^{\prime }+2u/r$, and the trace of the stress tensor isSince $\lambda +2\mu =K+4\mu /3>0$ is constant, $e^{\prime }=0$. The radial elastic compatibility condition follows:This condition is local to a region governed by homogeneous linear elasticity; it is not a constitutive condition for a plastically deforming region.

LetAt maximum pressure, the stress is the field from part (c) with $P=P_m$ and $s=s_m$. Under the assumed elastic unloading, previously accumulated plastic strain is frozen. Therefore it is the stress increment, rather than the total stress, that satisfies homogeneous linear elasticity and radial elastic compatibility. Applying the superposition principle, a pressure change $-\Delta$ produces the elastic incrementsThey have zero far-field stress and change the wall traction from $-P_m$ to $-P$. These increments are the same in the formerly plastic and formerly elastic regions because their elastic Lamé parameters agree. Adding them to the maximum-load field givesandThese formulae retain $s_m$: it records the plastic loading history and is not the instantaneous loading-front formula with $P$ substituted for $P_m$. If the entire return is elastic, setting $\Delta =P_m$ gives the residual stress after removal of the applied pressure.

To check admissibility, examine the signed difference of the principal stresses in the formerly plastic shell:It immediately moves into the interior of the Tresca yield criterion when unloading starts. It can next reach the opposite limit $D=+2{\tau }_Y$. For fixed $\Delta >0$, $D$ is largest at $r=a$ and stays above $-2{\tau }_Y$. At the wall,There is no earlier violation in the outer region. Indeed,so its magnitude is no larger than $|D(s_m)|$, which has already been controlled by the shell calculation. Hence the first reverse yielding occurs at the cavity wall, withIf $P_c<P_m<2P_c$, the stress stays within the yield surface throughout unloading to zero. If $P_m=2P_c$, it reaches reverse yield exactly at $P=0$; further unloading would produce reverse plastic deformation. If $P_m>2P_c$, reverse plastic deformation starts while the applied pressure is still positive. ThusIf “yield again while unloaded” includes first touching the yield surface at the final endpoint, the corresponding condition is $P_m\ge 8{\tau }_Y/3$. The displayed elastic unloading fields are physically valid only for $0\le \Delta \le \min (P_m,2P_c)$; beyond that interval a new reverse-plastic region must be solved for. Continuing the elastic formula to $P=0$ when $P_m>2P_c$ would violate the given Tresca yield criterion.

Write $V=H_0^1(\Omega ;{\mathbb{R}}^3)$. For any $v\in V$ and any real $t$, $u+tv$ is admissible. Expanding the functional givesSince the left side is nonnegative for positive and negative $t$, its derivative at zero vanishes. Thus the first variation gives the weak formulation

To identify its differential equation, define the stress tensorThis is a symmetric matrix field. The Frobenius inner product of a symmetric matrix with a skew-symmetric matrix is zero, so $\sigma (u):\nabla v=\sigma (u):\epsilon (v)$. Since $\mathrm{tr}\epsilon (v)=\mathrm{div}v$, we obtainFor smooth compactly supported test functions, integration by parts in each row givesHence $-\mathrm{div}\sigma (u)=f$ as a distributional identity, that is,Membership in $V$ supplies the zero Sobolev trace. This identifies precisely the required weak solution of the linear elasticity problem, with row-wise divergence.

For uniqueness, use the exact form of the Korn inequality supplied in the paper. Put $E=\epsilon (v)$ and $d=\mathrm{tr}E=\mathrm{div}v$. The deviatoric strain is $D=E-\frac{1}{3}dI$. Because $\mathrm{tr}D=0$ and $I:I=3$, orthogonality for the Frobenius inner product givesIf $C_K$ is the supplied Korn inequality constant and $K$ the permitted Poincaré inequality constant, thenConsequently,If $u_1,u_2$ are two weak solutions, their difference $d_u\in V$ satisfies $a(d_u,v)=0$ for every $v\in V$. Choosing $v=d_u$ and using this coercive bilinear form estimate forces $d_u=0$. The minimizer therefore gives the unique weak solution.

For later use, $|\epsilon (v){|}_F\le |\nabla v{|}_F$ and $|\mathrm{div}v|\le \sqrt{3}|\nabla v{|}_F$ also give the bounded bilinear form and linear functional estimatesTogether with the coercive bilinear form estimate and the Lax-Milgram theorem, these would establish existence independently of the assumed minimizer.

On $V$, the bilinear form $a$ is symmetric, and part (b) proves $a(v,v)\ge \alpha \Vert v{\Vert }_1^2$. Thus $a$ is an inner product: $a(v,v)\ge 0$, and equality forces $v=0$. Its induced energy norm is $\Vert v{\Vert }_a=\sqrt{a(v,v)}$. For any real scalar $t$,The Cauchy-Schwarz inequality for this inner product follows directly by expanding $a(p-tq,p-tq)\ge 0$ and minimizing over $t$ when $q\ne 0$. Hencewhich proves the triangle inequality. This verifies every norm axiom. In fact, the estimates from part (b) give the equivalent norms

Subtract the discrete weak formulation from the continuous one to get Galerkin orthogonality,For any $v_h\in V_h$, write $u-v_h=(u-u_h)+(u_h-v_h)$. The second summand is in $V_h$, so expansion and Galerkin orthogonality give the Pythagorean theorem in the energy norm:The last term is nonnegative and vanishes exactly when $v_h=u_h$. Choosing $v_h=u_h$ attains the lower bound, provingThus $u_h$ is the unique best approximation; the map $u\mapsto u_h$ is the orthogonal projector onto $V_h$ for the linear elasticity energy norm.

Make the implicit fixed-crack-geometry assumption explicit by writing ${\sigma }_f=C\sqrt{E{G}_c}$, where $C$ is common to the compared specimens and includes the crack-size dependence needed for dimensional consistency. linear elasticity givesThe appropriate materials merit index is therefore $G_c/E$, or its monotonically equivalent square root. This comparison holds crack geometry and the brittle-failure model fixed; changing crack sizes or yielding before fracture changes the selection problem.

Use material coordinates $X$ and write the placement as $y=X+u$. The strain energy density $W$ in the printed convention is per unit reference mass. It is convenient to use the conventional first Piola-Kirchhoff stress tensor $P=s^{\mathsf{T}}$, soAssume the undeformed reference state is stress-free. With $H=A-I$ and infinitesimal strain tensor $e=(H+H^{\mathsf{T}})/2$, material isotropy and material frame indifference give the quadratic expansionConsequently the Lamé parameters from hyperelastic energy Hessian areIndeed, differentiating the quadratic expression twice givesthe elastic stiffness tensor of linear elasticity. A prestressed reference state requires the corresponding initial-stress corrections; the displayed formula concerns the natural state.

For a plane elastic wave, $u=u(X_1,t)$, put $r=e_1+u_{,X_1}$ and $\Psi (r)=W([r,e_2,e_3])$. Balance of momentum without body force becomesThis is a material-coordinate equation: the reference density cancels between inertia and nominal stress. If $C{a}_{\alpha }=c_{\alpha }^2{a}_{\alpha }$, the first-order system has characteristic speeds $\pm c_{\alpha }$ and right eigenvectors $(a_{\alpha },\mp c_{\alpha }{a}_{\alpha })$. Along a characteristic curve with $d{X}_1/dt=s=\pm c_{\alpha }$, its differential compatibility relation isThis follows by multiplying the system by the left eigenvector $(-s{a}_{\alpha }^{\mathsf{T}},a_{\alpha }^{\mathsf{T}})$. It does not assert the existence of globally integrable Riemann invariants for an arbitrary three-component constitutive law.

There is a necessary qualification to the finite-amplitude transverse request. Set $u=(0,w,0)$ and $q=w_{,X_1}$, so $r=(1,q,0)$. The longitudinal momentum equation requiresThus arbitrary nonuniform pure transverse profiles are possible only if the compatibility condition for pure nonlinear transverse waves holds:The third component vanishes by the reflection symmetry implied by isotropy and objectivity. The shear equation then closes:

General compressible hyperelastic material assumptions alone do not imply the required compatibility. For a concrete counterexample, take the Saint Venant–Kirchhoff hyperelastic energyFor $A=[(a,q,0{)}^{\mathsf{T}},e_2,e_3]$, this becomesAt $a=1$, $P_{11}=(\lambda +2\mu )q^2/2$. A varying shear therefore produces a longitudinal force $(\lambda +2\mu )q{q}_{,X_1}$ and cannot preserve $u_1=0$. Infinitesimal transverse waves do exist, because this coupling is second order, but a general pure finite-amplitude transverse wave does not.

The compatible nonlinear shear energy class is nonempty and can be genuinely nonlinear. Define $J=\det A$, $S=\mathrm{tr}(A^{\mathsf{T}}A)-2J$, and, for $h\ge 0$, takeThis is objective and isotropic. Near $A=I$, $S-1=2\mathrm{tr}(e^2)-(\mathrm{tr}e{)}^2+O(|H{|}^3)$, so it has the specified Lamé parameters. On the plane deformation above, $S-1=(a-1{)}^2+q^2$ and $J=a$. Hence $P_{11}=0$ at $a=1$, whileFor positive $\lambda ,\mu$, the relevant incremental plane moduli are positive. This supplies an explicit stable pure transverse family and, when $h>0$, amplitude-dependent wave speed.

For any compatible family, letThe equations $q_t=v_{,X_1}$ and $v_t=c(q{)}^2{q}_{,X_1}$ give the Riemann invariantsConsider the initially undisturbed half-space $X_1>0$. A right-going simple wave has the incoming invariant $v+H=0$, so $v=-H(q)$. Denote the prescribed boundary nominal stress by $T(t)=P_{21}(0,t)=\tau (q_b(t))$. The physical boundary traction, whose outward normal is $-e_1$, is $-T(t)e_2$. Invert the monotone law $\tau$ to obtain $q_b$. The wave state emitted at boundary time $s$ is transported alongAhead of the leading front $X_1=c(0)t$ the state is zero. Before characteristic crossing, these equations determine the unique emission time $s$ for each disturbed point. The displacement itself is also determined, rather than just its derivatives:Differentiating the implicit emission relation verifies $w_{,X_1}=q_b(s)$ and $w_t=-H(q_b(s))$, so this is the complete pre-shock simple wave solution.

Write $c_b(s)=c(q_b(s))$. The boundary-generated characteristic curves lose invertibility whenThus the characteristic crossing in a boundary-generated elastic simple wave criterion isHere ${\dot{c}}_b=c^{\prime }(q_b)T^{\prime }/({\rho }_0{c}_b^2)$. A smoothly increasing boundary stress therefore steepens into a shock wave only when later states travel faster: $c^{\prime }(q_b)T^{\prime }>0$. Increasing stress alone is insufficient. For the compatible example with $h>0$ and $q_b>0$, $c^{\prime }(q_b)=3h{q}_b/({\rho }_0{c}_b)>0$, so a nonzero increasing ramp produces finite-time crossing. For $h=0$ all rays are parallel and no such shock forms. This criterion locates the first gradient singularity; subsequent discontinuous evolution additionally requires the jump conditions and an admissibility condition.

For a general vector simple wave, replace the pure-shear line by an integral curveSubstitution gives $a_t+c_{\alpha }(a)a_{,X_1}=0$, with the same emission construction and crossing criterion. Boundary tractions must lie on this one-family curve. Generic finite-amplitude quasi-transverse waves may contain longitudinal displacement; arbitrary vector boundary forcing need not generate a single simple wave.

Take the difference $w$ of two solutions with the same body force, initial displacement and initial velocity. It satisfies the homogeneous linear elasticity equations. With $e=e(w)$ the infinitesimal strain tensor, define the bulk energyThe usual stability assumptions make the elastic quadratic form nonnegative and $\rho >0$. Multiplying momentum balance by $w_t$, using integration by parts and using symmetry of the stress tensor givesAll interior terms cancel: the strain term is exactly the time derivative of elastic energy.

For the restoring boundary law, $t_w=kw$. The prescribed support displacement cancels in the difference. Since $k$ is a time-independent symmetric matrix,Hence the elastic energy uniqueness with restoring boundary springs identity isThe boundary contribution is nonnegative because $k$ is negative semidefinite. The initial difference and its velocity vanish, so the conserved energy is zero. Its kinetic term implies $w_t=0$ everywhere; the zero initial displacement then gives $w=0$. This proves uniqueness without needing to exclude rigid displacements separately.

Physically, $-k$ is a nonnegative boundary spring-stiffness matrix, and the prescribed vector $U$ is the moving support position. The traction restores the displacement towards that support; null directions of $k$ have no spring force. The interpretation and conserved-energy proof use a fixed spring matrix, as indicated by the given boundary law.

On the mixed part $S_1$, write $t=\sigma n$. The condition isThus the tangential traction and normal displacement are prescribed. The normal traction is a constraint reaction; tangential displacement is free. Only the tangential component of $F$ matters. On $S_2$, the entire displacement is prescribed.

For the difference of two such solutions, $w\cdot n=0$ and $(I-n{n}^{\mathsf{T}})t_w=0$ on $S_1$. Consequently $w_t$ is tangential and $t_w$ normal, so $w_t\cdot t_w=0$. On $S_2$, $w_t=0$. The boundary power vanishes everywhere, giving $d{E}_{\mathrm{bulk}}/dt=0$. The same zero-initial-energy argument gives $w=0$. Therefore the mixed boundary problem also has at most one solution.

Use the local momentum equation in the current volume:Symmetry of the Cauchy stress tensor and the product rule giveApply the divergence theorem and use $t_j={\sigma }_{jk}{n}_k$. The mean stress and strain boundary identities follow:For infinitesimal strain tensor, $e_{ij}=(u_{i,j}+u_{j,i})/2$, and a second application of the divergence theorem gives

To first order, evaluate self-gravity in the undeformed uniform sphere. The shell theorem says that only the enclosed mass $M(r)=4\pi \rho r^3/3$ contributes to the inward field. ConsequentlyThe field vanishes at the centre and increases linearly to its surface value.

The requested radius change concerns the final traction-free static elastic equilibrium, not the acceleration immediately after gravity is switched on. In equilibrium the boundary traction and acceleration vanish. Spherical symmetry givesThe homogeneous linear elasticity law commutes with volume averaging:Thus $\overline{e}=e_{0}I$ with $e_0=-\rho ga/(15\kappa )$. This conclusion is about the mean strain, not a claim that the local strain is uniform.

Let the boundary displacement be $u(a)=u_{a}n$. Since ${\int }_S{n}_i{n}_{j}dS=(4\pi a^2/3){\delta }_{ij}$, the boundary identity gives $\overline{e}=(u_a/a)I$. Therefore the equilibrium contraction of a self-gravitating elastic sphere isThe shear modulus cancels because the mean deformation is purely volumetric.

The full radial field provides a useful check without assuming uniform deformation. For $u=f(r)e_r$, momentum balance isRegularity at the centre gives $f=Ar+B{r}^3$, withfrom ${\sigma }_{rr}(a)=0$. Substitution reproduces $f(a)=-\rho g{a}^2/(15\kappa )$. During the transient, the acceleration term in the mean-stress identity remains; gravitational feedback from the small density and shape changes is higher order in the equilibrium calculation.

In the Voigt elastic approximation, every local strain is $E$. The corresponding local stress is ${\sigma }_V(x)=D_{\epsilon }W(E,x)$. Differentiating the averaged strain energy density under the integral givesThe uniform strain need not generate an equilibrated local stress; this calculation concerns the stated approximation, not an assertion that it solves the heterogeneous boundary problem.

For the Reuss elastic approximation, use the convex conjugateUnder differentiable strictly convex duality, the local strain produced by uniform stress $S$ is $e_R(x)=D_S{W}^{\ast }(S,x)$. Set $F(S)=⟨W^{\ast }(S,x)⟩$. Averaging the local strains gives $E=DF(S)$. At the maximizing stress in $W_R(E)=F^{\ast }(E)$, the stationarity condition is precisely $DF(S)=E$. ConsequentlyThus the derivative of each approximate energy is its own mean stress, includingFor positive linear elasticity, $W=e:C(x)e/2$ and $W^{\ast }=S:C(x{)}^{-1}S/2$, giving the useful check $C_V=⟨C⟩$ and $C_R=⟨C^{-1}{⟩}^{-1}$. More general convex duality gives the same conjugacy relation with subgradients when differentiability or strict convexity is absent.

An elastic deformation is reversible: after removal of the deforming loads the material returns to its reference state, and its instantaneous stress is determined by its current deformation rather than a plastic or viscous history. In the infinitesimal approximation the displacement field $u_i$ gives the infinitesimal strain tensor $e_{ij}=(u_{i,j}+u_{j,i})/2$. The Cauchy stress tensor is defined by traction $t_i={\sigma }_{ij}{n}_j$ on a plane of unit normal $\mathbf{n}$; absence of body couples makes ${\sigma }_{ij}={\sigma }_{ji}$.

Let $\mathcal{E}(e)$ be the recoverable elastic energy per unit mass. The local mechanical power per unit volume isbecause the symmetric Cauchy stress tensor annihilates the antisymmetric part of the velocity gradient. Conservation of energy during the deformation gives $\rho \dot{\mathcal{E}}={\sigma }_{ij}{\dot{e}}_{ij}$. Since $\dot{\mathcal{E}}=(\partial \mathcal{E}/\partial e_{ij}){\dot{e}}_{ij}$ for arbitrary symmetric strain rates,Here the derivative is the gradient on the space of symmetric tensors, with the double-contraction inner product. This convention accounts for the two occurrences of each off-diagonal entry; treating six independent coordinates without their corresponding factors would give an erroneous factor of two in shear components.

Take a stress-free reference state of mass density ${\rho }_0$. The Taylor series of the elastic energy starts quadratically:Using $\rho ={\rho }_0+O(|e|)$ gives ${\sigma }_{ij}=c_{ijkl}{e}_{kl}+O(|e{|}^2)$, the relation of linear elasticity. If the reference state has initial stress, the first-order expansion also retains that constant stress. Symmetry of stress and strain gives the minor symmetries $c_{ijkl}=c_{jikl}=c_{ijlk}$, while equality of the mixed second derivatives of elastic energy gives the major symmetry $c_{ijkl}=c_{klij}$. Thus the elastic stiffness tensor is a symmetric map on a six-dimensional strain space: there are $6\cdot 7/2=21$ independent coefficients.

For twofold elastic symmetry, choose the symmetry axis as $x_3$. Rotation through $\pi$ is $Q=\mathrm{diag}(-1,-1,1)$, and transforms the infinitesimal strain tensor into $Qe{Q}^T$. Components $e_{11},e_{22},e_{33},e_{12}$ are even and $e_{23},e_{13}$ are odd. Invariance of elastic energy excludes every coupling between these parity classes. In the engineering strain ordering $(e_{11},e_{22},e_{33},2e_{23},2e_{13},2e_{12})$, with corresponding stress ordering $({\sigma }_{11},{\sigma }_{22},{\sigma }_{33},{\sigma }_{23},{\sigma }_{13},{\sigma }_{12})$, the symmetric stiffness matrix has the formIts symmetric even block has ten independent entries and its symmetric odd block has three. Hence a twofold axis leaves $13$ independent coefficients. No invariance under other rotation angles has been assumed.

For a homogeneous lossless elastic solid, insert the plane wave $u_i=\mathrm{Re}\{U{a}_i{e}^{i(\mathbf{k}\cdot \mathbf{x}-\omega t)}\}$ into the equations of linear elasticity. Put $\mathbf{k}=\kappa \mathbf{n}$, $|\mathbf{n}|=1$, and $v=\omega /\kappa$. The resulting eigenvalue problem isThe minor and major symmetries make this acoustic tensor a real symmetric matrix. For a stable material it is positive-definite, so its three positive eigenvalues give three real positive phase velocities and therefore three slownesses $s_a=1/v_a$. Coincident eigenvalues are possible, so there need not be three distinct speeds. For distinct eigenvalues the displacement polarization are orthogonal; in an anisotropic solid they are generally quasi-longitudinal and quasi-transverse rather than exactly longitudinal and transverse. Stability, or at least strong ellipticity in elasticity, is required for the assertion about positive real speeds.

The elastic slowness surface is the locus of the three vectors $\mathbf{p}=\mathbf{n}/v_a(\mathbf{n})=\mathbf{k}/\omega$. Its equation isFor each wavefront normal there are three radial sheets, which may meet at degeneracies. To obtain the energy flux directly, multiply the elastic equation by ${\dot{u}}_i$. Forthe symmetry of stress gives ${\partial }_{t}W={\partial }_j({\sigma }_{ij}{\dot{u}}_i)$. Thus the instantaneous elastic-wave energy flux is $F_j=-{\sigma }_{ij}{\dot{u}}_i$. With a real branch polarization $\mathbf{a}$, harmonic averaging givesNow differentiate $c_{ijkl}{p}_j{p}_l{a}_k=\rho a_i$ along a regular slowness surface sheet and contract with $a_i$. The terms containing $d\mathbf{a}$ cancel by symmetry and the original eigenvalue equation, leavingEvery tangent $d\mathbf{p}$ is consequently perpendicular to $⟨\mathbf{F}⟩$: the energy flux is normal to the slowness surface. At a degenerate point this statement is made on the limiting branches, rather than assuming a unique normal.

For completeness, equality of the mean kinetic and strain energies gives $⟨W⟩=\rho {\omega }^2|U{|}^2|\mathbf{a}{|}^2/2$. Differentiating the acoustic tensor equation in the wavevector variables similarly givesThus the group velocity is the elastic energy velocity. The homogeneous elastic dispersion relation is degree one in $\mathbf{k}$, so differentiating $\omega (\lambda \mathbf{k})=\lambda \omega (\mathbf{k})$ at $\lambda =1$ gives $\mathbf{p}\cdot \mathbf{g}=1$.

The elastic wave surface is the unit-time locus of these group velocities. From an impulsive point source, the propagating wavefronts at time $t$ are its sheets scaled to $\mathbf{x}=t\mathbf{g}$. A particular source may fail to excite a mode in some directions, and its amplitudes require the source polarization and geometrical spreading; the wave surface determines the arrival geometry. It does not specify all near-field motion between the radiative fronts. Geometrically it is the envelope of the planes $\mathbf{p}\cdot \mathbf{x}=1$: tangent variation gives $d\mathbf{p}\cdot \mathbf{x}=0$, so $\mathbf{x}$ is the appropriately normalized normal to the slowness surface.

In a symmetry-plane cross-section write $\mathbf{p}=r(\theta )\mathbf{n}$, $\mathbf{n}=(\cos \theta ,\sin \theta )$ and $\mathbf{t}=(-\sin \theta ,\cos \theta )$. The two envelope conditions giveThe numerator is the signed curvature numerator of the slowness surface cross-section. At a simple inflection point, $h=v+v^{\prime \prime }=0$ and $h^{\prime }\ne 0$. Then ${\mathbf{g}}^{\prime \prime }=h^{\prime }\mathbf{t}$ and ${\mathbf{g}}^{\prime \prime \prime }=h^{\prime \prime }\mathbf{t}+2h^{\prime }{\mathbf{t}}^{\prime }$ are linearly independent. These are precisely the local conditions for an ordinary cusp. The slowness curvature and wave-surface cusps relation explains why a smooth nonconvex slowness surface can generate a cusped wavefront and multiple ray arrivals.