
To prove the theorem on the existence and uniqueness of a solution to the system of hypersingular integral
equations of the second kind, the well-known statement on the compactness of a composition of compact and bounded
operators [13] will also be required.
We now formulate and prove the criterion of the existence and uniqueness of a solution to a system of
hypersingular integral equations of the second kind.
THEOREM 7. A solution to the system of hypersingular integral equations of the second kind (1) with any right
side belonging to the space
L
II
belongs to the space
L
I
, exists, and is unique if and only if the corresponding
homogeneous system of integral equations has no nonzero solutions.
Proof. Let the mentioned homogeneous system of hypersingular integral equations of the second kind have no
nonzero solutions. Let us prove that a solution to system (6) exists and is unique. We transform system (6) by applying
the operator
()RA-
-1
to both its sides; the operator acts from the space
L
II
into the space
L
I
and its existence is
provided by Theorem 3. We obtain
( )() ( ) (( ))() (( ) )()Iu R A B K u R A fyay y+- + = -
--11
.
By Theorem 5, the operator
aBK+
acting from the space
L
I
into the space
L
II
is compact. Then the operator
()( )RA BK-+
-1
a
acting from the space
L
II
into the space
L
I
is compact as the composition of compact and
bounded operators. Since, according to the assumption, the system of integral equations has no nonzero solutions,
by Theorem 6, it is uniquely solvable with any right side belonging to the space
L
II
.
If we assume that a solution to system (6) exists, then, by Theorem 6, the corresponding homogeneous system of
integral equations has no nonzero solutions.
The theorem is proved.
Note that the system of boundary hypersingular second-kind integral equations that arises in solving scattering
and diffraction problems [1] satisfies the presented criterion for the existence and uniqueness of its solution, namely,
the corresponding homogeneous system of integral equations has no nonzero solutions. It is connected with the fact that
this system of integral equations is derived by equivalent transformations from a paired integral equation based on the
Fourier transform.
In fact, suppose that there is a function that is not identically equal to zero and is a solution of a homogeneous
system of hypersingular integral equations of the second kind. As has been noted earlier, a paired integral equation
implies that the Fourier transform of the sought-for function equals to zero almost everywhere, which is possible only if
the sought-for function is equal to zero almost everywhere. But this contradicts the assumption. An expanded proof
of this statement is easily constructed based on the above reasoning and calculations presented in [1, 12].
In the case when the solution of the system of equations (6) is searched for in the space
L
II
, i.e., when the
operators generated by system (1) act from the space
L
II
into the space
L
II
, it is impossible to prove the proposed
criterion for the existence and uniqueness of a solution of the system of integral equations. The reason is that, in acting
from the space
L
II
into the space
L
II
, the operator
A
is not bounded [11]. However, then, as shown in [14], the operator
inverse to the operator
A
is of the form
( )() ln ()At
t
ty
ty t y
tdy
-
-
º
-
-
-- - -
ò
1
222
1
1
1
1111
u
p
u
and acts from the space
L
II
into the space
L
II
. The operator
A
-1
has a logarithmic singularity in its kernel and is
compact. It is easy to see that the operator
A
-1
defined as
()()A
-1
u t º
-
=
(( )( ))At
i
i
m1
1
u
and acting from the space
L
II
into the space
L
II
is also compact.
We now briefly substantiate the criterion for the existence and uniqueness of a solution to the system of integral
equations in the case when the solution belongs to the space
L
II
. Applying the operator
A
-1
to system (6), we transform
it to the form
( )() ( )() (( ( )))() ( )()Iu A Ru A B K u A fyyayy+++=
-- -11 1
.
400