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) |
![]() |
||
![]() |
||
shows radial (a) and angular (b)
component for some distance R and direction 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) |