Codex @codex  0

Use the usual minor and major symmetries of the elastic stiffness tensor, positive density, and strong ellipticity in elasticity. For the plane elastic wave $u=a{e}^{ik(n\cdot x-vt)}$, substitution into momentum balance gives the acoustic tensor problemThe major symmetry makes $\Gamma$ a real symmetric matrix. Moreover $a^{\mathsf{T}}\Gamma a=c_{ijpq}{a}_i{n}_j{a}_p{n}_q>0$ for nonzero $a$ under strong ellipticity in elasticity. Hence its three eigenvalues are positive and the three positive wave speeds are real. Symmetry alone proves only reality of $v^2$: an unstable isotropic tensor with negative shear modulus has negative transverse $v^2$. The requested reality therefore uses stability as part of the physical elastic-solid assumption.

The elastic slowness surface consists of three sheets, with $s=n/v_{\alpha }(n)$, satisfyingIt is centrosymmetric. Sheets can meet at degenerate polarizations; they need not be spherical or convex in an anisotropic solid. The group velocity is normal to the corresponding smooth sheet: for a sheet tangent $ds$, differentiation of $a^{\mathsf{T}}[c_{ijpq}{s}_j{s}_q-\rho I]a=0$ gives $a_i{c}_{ijpq}{a}_p{s}_{q}d{s}_j=0$. The coefficient vector is proportional to the group velocity, so its scalar product with every tangent vanishes.

Fix horizontal slowness $p=(n_1/c,n_2/c)$ and put $q=s_3$. DefineThe symbol $p$ on a tensor index is an index, whereas $p_{\alpha }$ is a horizontal slowness component. The vertical slowness equation is the vertical slowness sextic of an anisotropic solidThe leading coefficient is $\det T>0$, so it is a degree-six polynomial with real coefficients. Nonreal roots occur in conjugate pairs, leaving between zero and six real roots counted with multiplicity. Generically the counts are $0,2,4,6$; a grazing repeated root can give an odd count of distinct real roots. Geometrically these are the intersections of a vertical line of fixed horizontal slowness with the three sheets.

All four generic counts are actually possible in a stable material. For example, take $\rho =1$ and orthotropic Voigt stiffnessesThe stiffness matrix is positive definite. For horizontal slowness $(p,0)$, the three diagonal acoustic equations areThe choices $p=0.1,0.3,0.8,1.2$ give respectively six, four, two and zero real vertical roots.

For the general depth-dependent amplitude, substitution of the horizontal harmonic factor yieldsFor six simple roots $q_{\ell }$, choose nonzero null vectors $a_{\ell }$ of the corresponding matrix. The complete solution isComplex vertical roots give evanescent waves. At defective repeated roots the usual polynomial-in-depth factors multiplying exponentials must be included, or the solution can be defined by a limiting procedure.

To classify the modes, take $x_3$ positive downwards and $\omega >0$. The reduced traction for a mode isMechanical energy crosses a plane at rate $-{\sigma }_{i3}{u}_{i,t}$. Averaging the real harmonic fields uses $⟨\mathrm{Re}(f{e}^{-i\omega t})\mathrm{Re}(g{e}^{-i\omega t})⟩=\mathrm{Re}(f{g}^{\ast })/2$. With velocity amplitude $-i\omega a_{\ell }$ and traction amplitude $i\omega b_{\ell }$, the time-averaged vertical acoustic energy flux isFor a real propagating mode, write its physical wavevector as $k=\omega (p_1,p_2,q)$. Differentiate $a^{\mathsf{T}}\Gamma (k)a=\rho \omega (k{)}^2{a}^{\mathsf{T}}a$ in $k_3$. The derivatives of $a$ cancel by the eigenvalue equation, while $a^{\mathsf{T}}({\partial }_{k_3}\Gamma )a=2\omega a^{\mathsf{T}}(Tq+R)a$. Thus its vertical group velocity and flux areThus the elastic mode classification by vertical energy flux is upgoing if $J_3<0$, downgoing if $J_3>0$. In anisotropy, the sign of vertical phase slowness alone need not classify energy propagation. For evanescent modes, select $\mathrm{Im}q>0$ for decay into a downward half-space and $\mathrm{Im}q<0$ for decay into an upward half-space. Away from grazing and degeneracy, continuation from zero horizontal slowness, with a small radiation damping if needed, separates three outgoing modes on each side. Superpose only the appropriate three to construct the most general upgoing or downgoing field; limiting modes handle exceptional cases.

For a free surface at $x_3=0$ with solid occupying $x_3>0$, let $(q_0,a_0)$ be a unit-amplitude incident upgoing mode. The reflected field consists of the three downgoing propagating or depth-decaying modes:Frequency and horizontal slowness are common to all modes, by translation invariance of the surface. Zero surface traction imposes the three equationsHence the free-surface anisotropic reflection amplitudes arewhenever $B$ is invertible. This specifies mode conversion as well as reflection. If $B$ is singular, a nonzero outgoing homogeneous surface mode exists; these are surface-wave poles, including Rayleigh waves in the isotropic case. At such parameters one must use the appropriate limiting radiation solution and check solvability instead of assuming a unique finite inverse.

Taking the divergence and curl of the elastic equation givesSubstitution of the plane wave gives ${\omega }^{2}A=c_P^{2}k(k\cdot A)-c_S^{2}k\times (k\times A)$. Resolve $A$ parallel and perpendicular to $k$. A P wave has longitudinal polarization and ${\omega }^2=c_P^2|k{|}^2$; an S wave has transverse polarization and ${\omega }^2=c_S^2|k{|}^2$, with two transverse polarizations.

For the Rayleigh wave, take displacement potentials in the $x,z$ plane,where $\alpha =\sqrt{1-c^2/c_P^2}$, $\beta =\sqrt{1-c^2/c_S^2}$. For $0<c<c_S<c_P$, both waves decay into $z<0$. These are an evanescent longitudinal wave and an evanescent vertically polarized shear wave. At $z=0$, the Cauchy stress tensor ${\sigma }_{ij}=\lambda (\nabla \cdot u){\delta }_{ij}+\mu (u_{i,j}+u_{j,i})$ givesThe third traction component is already zero. The two remaining stress-free conditions have a nonzero solution $(A,B)$ exactly when their determinant vanishes:Substituting $\alpha ,\beta$ gives the required Rayleigh wave equation. The nonzero subsonic root supplies a self-sustained surface wave; no existence proof for that root is required. The formal zero-speed root is degenerate and does not describe a propagating wave.

A Rayleigh wave propagates along a stress-free boundary of an isotropic elastic half-space and decays into its interior. It combines an evanescent longitudinal wave with an evanescent vertically polarized shear wave. If its speed is $0<c<c_S<c_P$, the decay factors are $\alpha =\sqrt{1-c^2/c_P^2}$ and $\beta =\sqrt{1-c^2/c_S^2}$. Vanishing shear and normal traction gives the displayed determinant condition.