As is well known, any solution of the
equation (30) in case of point source can be expressed in the
form
![]() |
(39) |
Fundamental solution is a response of a medium to the
-function as the source. It is easily understood
that (in case of piecewise smooth media with restricted numbers
of interfaces)
consists of some
singularities (discontinuities) that propagates with
correspondence to eiconal's equation (31) and relations
(32) and some very smooth field
.
Let us consider a very simple example: a fundamental solution
that corresponds to a point vertical force in a homogeneous
medium (Figure ) is
![]() |
(40) |
![]() |
||
![]() |
||
Let us perform the convolution in equation (39), bearing in mind that
f(t)*Rq(t) = Iq f(t) = fq(t) | (41) |
![]() |
||
Let be the observed field
(
or
)
that is given on the surface of observation
and
is a linear operator that transforms the
function
into the field
in the adjacent
domain
The action of the operator depends on the choice of the
function
which in turn
is a parameter in a fixed eikonal equation
![]() |
(42) |
We don't demand that the eikonal equation (42) is a characteristic equation of some hyperbolic differential operator. It is given, that's all!
Let us suppose that the field contains a
discontinuity
(of some order q) with a travel time curve
.It means that in a neighborhood of the surface
Generally speaking then, the wave field will contain one or
several discontinuities (with orders not necessarily equal to q)
and at least one of them will coincide with
at
.If the position of this discontinuity is described by a
function
, then
![]() |
(43) |
We shall call the operator a kinematically-equivalent
operator of wave field continuation (on short K-operator, KO) if
the field
necessarily contains at least one
discontinuity with eikonal
, that satisfies
equations (42) and (43) simultaneously.
The notion of K-operator may be expanded to the case when both
fields and
are vectorial fields.
In that case we have two equations (isotropic case) or three
equations (anisotropic case):
![]() |
(44) |
The question of existence of a K-operator corresponding to a given equation (42) can be simply answered (in a positive sense) if equation (42) is a characteristic equation for some equation in partial derivatives:
![]() |
(45) |
Let us consider the boundary value problem for equation (45) with condition
![]() |
(46) |
![]() |
(47) |
It is obvious that the solution contains at least one discontinuity
which at coincides
with
and propagates with the eikonal
satisfying equation (42).
Later we shall show that KO exists for any equation (42) if there
is a solution for the Cauchy problem for equation (42) with
the initial condition (43).
As a matter of fact there is a whole family of
K-operators that corresponds to the particular eikonal equation (42).
K-equivalence is a notion which is much wider than
q-equivalence or (k)-equivalence. For instance, if belong to the same family
, then it is not
necessary that
Let us consider K-operators for the classical eikonal equation
![]() |
(48) |
![]() |
(49) |
![]() |
(50) |
In order to get a unique solution of the equation (50) it is
necessary (and sufficient) to have a definite value
in a starting point
.We can express the vector
in the form of a sum
Let us consider the case when is a curved surface and x and
y are a curvilinear system of coordinates. We propose that the axis
z coincides with the direction of a vector
.
Let us determine a tangent plane P to
in
the point
and let's introduce
the rectangular coordinates
and
in P, then
We have obtained that
It is easily understood that where
is the time of propagation
from
to
.We shall call K-operator
as the K-operator of forward (reverse)
wave field continuation and denote it as
(similarly
) if in the neighbourhood of
the field
Each operator can be used for determination of the operator
![]() |
(51) |
There are, of course, such K-operators that contain (in a neighbourhood
of ) discontinuities with both eikonals
and
(mixed type operators).
This classification of K-operators may be expanded
for many other eikonal equations.
The classes of this classification are still very wide. If
operators and
belong to the same
class (forward, reverse or mixed) of K-operators and for some k
![]() |
(52) |