
Ray theory of wave field propagation 161
By substituting the expressions (5.71) and (5.72) into the characteristic equation,
we obtain
(p
0
+ αp
1
, (A
0
+ αA
1
)(p
0
+ αp
1
)) = 1 .
Here, in expansion on p =
∇
∇τ ≈
∇
∇τ
0
+ α
∇
∇τ
1
∆
= p
0
+ αp
1
we keep only the linear
on α terms. Taking into account that
(p
0
,
ˆ
A
0
p
0
) = 1 , (5.73)
and keeping the terms of order α, we obtain the equation
2(p
1
,
ˆ
A
0
) p
0
+ (p
0
,
ˆ
A
1
p
0
) = 0 . (5.74)
The equation (5.73) determines the geodetic L
0
(x
0
, x). Taking into account that
ds = dτ
0
we can write
(p
1
, A
0
p
0
) =
p
1
,
dx
0
dτ
0
=
dτ
1
dτ
0
,
and from equation (5.74) we get the expression for the deduction τ
1
:
τ
1
(x, x
0
) = −
1
2
Z
L
0
(x
0
,x)
(p
0
,
ˆ
A
1
(x)p
0
)dτ
0
. (5.75)
This expression is a basis for solution the linearized inverse kinematic problem.
Let’s note, that
ˆ
A
1
(x) should satisfies the condition (A
1
(x) + A
0
(x) > 0).
At the remote sensing problem the kinematic statement, as a rule, connects with
the isotropic reference medium, therefore
ˆ
A
0
(x) = a
0
(x) = v
2
0
(x) ,
ˆ
A
1
(x) = a
1
(x) = v
2
1
(x) ,
(p
0
, A
1
p
0
) = a
1
(x)(p
0
, p
0
) =
a
1
(x)
a
0
, dτ
0
=
dl
0
v
0
,
and an appropriate constraint equation to correct the propagation time from the
point x
0
to a point x looks like follows
τ
1
(x, x
0
) = −
1
2
Z
L
0
(x
0
,x)
v
2
1
(x)dl
0
v
3
0
(x)
∆
=
Z
L
0
(x
0
,x)
θ(x)dl
0
. (5.76)
Here dl
0
is the length of ray arc L
0
(x
0
, x), which joins together the points x
0
and
x in the reference medium with the velocity v
0
(x).
The representation (5.76) is a basis for the statement of the ray tomography
problems. It will be demonstrated in Sec. 11.7, the characteristic equation is de-
termined by higher derivatives of the propagation operator L only. Therefore the
ray concept is easily transferred on restoration of the attenuation factor, which is
connected with the first derivatives, which are included in the propagation operator
L:
ln
|Φ(ω)|
|Φ
0
(ω)|
= −
Z
L
0
β
ω
(x)dl
0
,
where (Φ(ω) is the Fourier transform of the signal ϕ
ϕ
ϕ observed at the point x; Φ
0
(ω)
is the Fourier transform of a theoretical sounding signal, exited in the point x
0
,
which propagates inside the reference medium; the ray L
0
(x
0
, x) joins together the
source point and the observation point; β
ω
(x) is a ray attenuation coefficient for
the frequency ω.