Distorted Rayleigh Operator in Elasticity

• Distorted Rayleigh Operator is a microlocal tool that reduces elastic surface wave analysis to a scalar eigenvalue problem, capturing material anisotropy and boundary effects.
• Its construction involves microlocal diagonalization and explicit computation of principal and subprincipal symbols using boundary normal coordinates and the impedance tensor.
• The operator’s discrete spectrum governs surface wave frequencies, enabling precise quantization conditions with applications in seismology and materials science.

The distorted Rayleigh operator arises in the precise microlocal analysis of Rayleigh-type surface waves for linear elasticity in bodies with traction-free boundaries. This operator reduces the problem of constructing surface wave quasimodes in elastic media—possibly anisotropic—to an eigenvalue problem for a classical, selfadjoint, scalar first-order pseudo-differential operator defined intrinsically on the boundary. Its construction involves a reduction of the elastic wave equation via boundary normal coordinates, a microlocal diagonalization of the displacement-to-traction map, and the explicit computation of both its principal and subprincipal symbols. The operator’s discrete spectrum determines the frequencies of exponentially localized elastic surface waves, and its detailed structure reflects the anisotropy and curvature of the boundary and elasticity tensor (Hansen, 2010).

1. Elastic Wave Equation and Displacement–Traction Map

Let $M$ be a compact Riemannian manifold with smooth boundary $X = \partial M$, equipped with an elasticity tensor $C^{ijk\ell}$ (satisfying symmetry and strong convexity) and mass density $\rho > 0$. The vibrational analysis centers on the elastic wave equation,

$$L\,u = \lambda^2\,\rho\,u \text{ in } M, \quad T\,u = 0 \text{ on } X,$$

where $L$ is the elasticity operator and $T$ is the boundary traction, defined via Green’s formula: $$\int_M(C\,\operatorname{Def}\,u \mid \operatorname{Def}\,v)\,dV = \int_M(Lu \mid v)\,dV + \int_X(Tu \mid v)\,dA.$$ Introducing the semiclassical parameter $h = \lambda^{-1}$, one examines the shifted operator $h^2L - \rho$ and seeks a boundary-parametrix $X = \partial M$0 such that

$X = \partial M$1

modulo rapidly decaying errors, for covectors in the elliptic (subsonic) region. The displacement–traction, or Neumann, map is then

$X = \partial M$2

2. Microlocal Reduction and the Scalar First-Order Operator

Microlocally, in the elliptic region, $X = \partial M$3 acts as a first-order classical $X = \partial M$4-pseudodifferential operator on vector-valued boundary functions, with principal symbol given by the Hermitian impedance matrix $X = \partial M$5. Under global assumptions (detailed in Section 5), $X = \partial M$6 has a one-dimensional kernel along its characteristic set $X = \partial M$7. By microlocal conjugation, $X = \partial M$8 may be block-diagonalized on the characteristic set so that, on the Rayleigh mode, it corresponds to a scalar operator: $X = \partial M$9 where $C^{ijk\ell}$0 is a selfadjoint operator on half-densities, and its leading symbol is independent of $C^{ijk\ell}$1 up to negligible corrections. In local coordinates, $C^{ijk\ell}$2 has the semiclassical pseudodifferential structure

$C^{ijk\ell}$3

$C^{ijk\ell}$4 is a classical, selfadjoint, elliptic first-order pseudodifferential operator on $C^{ijk\ell}$5.

3. Surface-Impedance Tensor and Principal Symbol

The principal symbol $C^{ijk\ell}$6 of $C^{ijk\ell}$7 is constructed from the surface impedance tensor,

$C^{ijk\ell}$8

where $C^{ijk\ell}$9, $\rho > 0$0, and $\rho > 0$1 is the unique spectral factor solving

$\rho > 0$2

The characteristic set $\rho > 0$3 is assumed to be intersected exactly once by each radial line $\rho > 0$4 ($\rho > 0$5), permitting the definition of a function $\rho > 0$6, positively homogeneous of degree one, with $\rho > 0$7. Thus,

$\rho > 0$8

This symbol encodes the local (geometric and material) propagation properties of Rayleigh-type surface waves.

4. Subprincipal Symbol and Eigenvector Bundle

The subprincipal symbol $\rho > 0$9 encapsulates finer geometric information and involves the subprincipal datum $$L\,u = \lambda^2\,\rho\,u \text{ in } M, \quad T\,u = 0 \text{ on } X,$$0 of $$L\,u = \lambda^2\,\rho\,u \text{ in } M, \quad T\,u = 0 \text{ on } X,$$1, the radial derivative $$L\,u = \lambda^2\,\rho\,u \text{ in } M, \quad T\,u = 0 \text{ on } X,$$2 of $$L\,u = \lambda^2\,\rho\,u \text{ in } M, \quad T\,u = 0 \text{ on } X,$$3 with respect to homogeneity, and a globally defined unit eigenvector $$L\,u = \lambda^2\,\rho\,u \text{ in } M, \quad T\,u = 0 \text{ on } X,$$4 of $$L\,u = \lambda^2\,\rho\,u \text{ in } M, \quad T\,u = 0 \text{ on } X,$$5 on $$L\,u = \lambda^2\,\rho\,u \text{ in } M, \quad T\,u = 0 \text{ on } X,$$6: $$L\,u = \lambda^2\,\rho\,u \text{ in } M, \quad T\,u = 0 \text{ on } X,$$7 Here, $$L\,u = \lambda^2\,\rho\,u \text{ in } M, \quad T\,u = 0 \text{ on } X,$$8 and $$L\,u = \lambda^2\,\rho\,u \text{ in } M, \quad T\,u = 0 \text{ on } X,$$9 are horizontal and vertical derivatives on $L$0 respectively. The existence of a global nowhere-vanishing section $L$1 depends on the topological triviality of the kernel bundle $L$2.

5. Global Hypotheses and Barnett–Lothe Conditions

The diagonalization and global construction of the distorted Rayleigh operator require:

• (U): For each $L$3, $L$4 has at most one non-positive eigenvalue (automatic in three dimensions).
• (E1): Every radial line $L$5 meets the characteristic set $L$6.
• (E2): The bundle $L$7 is topologically trivial (admits a global unit section $L$8).

These conditions are global variants of the Barnett–Lothe conditions. Under (U) and (E1), the zero of $L$9 is simple and unique on each ray; (E2) enables continuous selection of $T$0.

6. Eigenvalue Problem and Surface Quasimodes

The operator $T$1 thus obtained is a classical, selfadjoint, elliptic first-order operator on $T$2, whose discrete spectrum $T$3 tends to infinity. For a complete orthonormal system $T$4 of eigenfunctions of $T$5,

$T$6

one constructs corresponding quasimodes of the original elasticity problem,

$T$7

with $T$8 a microlocal isometry, such that

$T$9

These $$\int_M(C\,\operatorname{Def}\,u \mid \operatorname{Def}\,v)\,dV = \int_M(Lu \mid v)\,dV + \int_X(Tu \mid v)\,dA.$$0 are exponentially localized near the boundary and the exact quantization condition for Rayleigh surface quasimodes is $$\int_M(C\,\operatorname{Def}\,u \mid \operatorname{Def}\,v)\,dV = \int_M(Lu \mid v)\,dV + \int_X(Tu \mid v)\,dA.$$1, with frequencies $$\int_M(C\,\operatorname{Def}\,u \mid \operatorname{Def}\,v)\,dV = \int_M(Lu \mid v)\,dV + \int_X(Tu \mid v)\,dA.$$2.

7. Implications and Applications

The formulation and explicit construction of the distorted Rayleigh operator provide an exact semi-classical reduction of elastic surface wave propagation to a spectral problem on the boundary, valid for general anisotropic elasticity tensors and Riemannian geometry, subject to the stated hypotheses. The computation of principal and subprincipal symbols enables direct analysis of surface wave dispersion and attenuation, with direct implications for the study of surface phenomena in seismology, materials science, and mechanical engineering (Hansen, 2010). The operator framework is particularly suited for study of spectral asymptotics, multiplicity, and localization properties of surface waves in anisotropic and inhomogeneous media.