Codex @codex  0

In a constant-speed spherical shell with outer radius $R$ and inner radius $a$, a symmetric single reflection from the inner boundary has the displayed travel time. The boundary lies on the angular bisector of source and receiver. The branch exists only for $0\le \Delta \le 2\arccos (a/R)$, since the incident line must remain in the shell. At the endpoint it joins the mantle-only chord branch with the same slope $a/c$. Continuing the formula beyond that endpoint would make the line intersect the inner boundary before its supposed reflection point.

Because $s$ is arc length, $|d\mathbf{x}/ds|=1$. Thus $\mathbf{y}=\mathbf{n}/\alpha$, where $\mathbf{n}$ is the unit tangent to the elastic ray. In an isotropic medium this is also the wavefront normal. Consequently $\mathbf{y}$ is the vector slowness, of magnitude $1/\alpha$; locally $\mathbf{y}=\nabla T=\mathbf{k}/\omega$, with $T$ the travel time and $\mathbf{k}$ the wavevector.

For depth-dependent wave speed $\alpha (z)$, the ray equation gives $d{y}_x/ds=d{y}_y/ds=0$. The horizontal component of $d\mathbf{x}/ds$ therefore has a fixed direction, and the elastic ray lies in the vertical plane determined by that direction and its initial point. A vertical elastic ray is the limiting case. If $i$ is the angle to the vertical, its conserved horizontal slowness givesAt a horizontal interface, matching the tangential wavevector at fixed frequency gives the same invariant on both sides: this is Snell's law.

For radial wave speed $\alpha (r)$, take the cross product of position with slowness. The ray equations givesince the second vector is radial. A nonzero constant $\mathbf{L}=\mathbf{x}\times \mathbf{y}$ is perpendicular to every position on the elastic ray, so the ray lies in a fixed plane through the centre. Radial rays obey the same conclusion with a nonunique plane. The spherical elastic ray invariant is thereforewhere $i$ is measured from the radial direction. Across a spherical interface the radius is common and tangential slowness is continuous, so this form of Snell's law survives an interface discontinuity.

In a homogeneous sphere a P wave follows the straight chord between the two surface points. If their principal angular separation is $0\le \Delta \le \pi$, its length is $2R\sin (\Delta /2)$. For constant P wave speed $c_P$,Now put $a=R^{\prime }$ and denote the mantle and core P wave speeds by $c_m>c_c$. Equal incidence and reflection angles put the core-boundary reflection point on the angular bisector. Each mantle leg has length $L$ given by $L^2=R^2+a^2-2Ra\cos (\Delta /2)$. Hence the core-reflected travel time isThe stated domain is essential. At the reflection point the incoming line approaches from the mantle only if $R\cos (\Delta /2)\ge a$. Otherwise it has already crossed the core boundary. The mantle-only direct chord also exists only for $\Delta \le {\Delta }_g$, with $T_D=2R\sin (\Delta /2)/c_m$. In this interval,so the reflected arrival is later. Its intercept is $2(R-a)/c_m$, whereas the direct intercept is zero. At grazing incidence the branches meet at $T=2\sqrt{R^2-a^2}/c_m$, and both have slope $dT/d\Delta =a/c_m$. A continuation of the homogeneous-sphere direct formula beyond this endpoint is not a mantle-only arrival in the modified model.

The core-transmitted elastic rays consist of three straight legs. Their impact distances in mantle and core are $b_m=p{c}_m$ and $b_c=p{c}_c$, respectively. At core entry,Since $c_c<c_m$, the elastic ray bends towards the normal on entry and away from it on exit. The mantle leg subtends $i_m-i_R$ at the centre, and the core chord subtends $\pi -2i_c$. Thus the total angular sweep along the transmitted path is $2(i_m-i_R)+\pi -2i_c$. This sweep need not equal the principal separation if it exceeds $\pi$; the diagram uses a path with sweep below $\pi$.