# The Existence and Uniqueness of a New Boundary Value Problem (Type of Problem “E”) for Linear System Equations of the Mixed Hyperbolic-Elliptic Type in the Multivariate Dimension with the Changing Time Direction

Authors: Mahammad A. Nurmammadov
Journal: Abstract and Applied Analysis
 (2015)

---

## Abstract

The existence and uniqueness of the boundary value problem for linear systems equations of the mixed hyperbolic-elliptic type in the multivariate domain with the changing time direction are studied. Applying methods of functional analysis, “ε-regularizing” continuation by the parameter and by means of prior estimates, the existence and uniqueness of generalized and regular solutions of a boundary problem are established in a weighted Sobolev space.


---

## Body

## 1. Introduction

Up to the present, various generalizations of mixed and composite type of equations have been investigated by many authors. Interest of investigations of nonclassical equations arises in applications in the field of hydrogas dynamics, modeling of physical processes (see, e.g., [1–6] and the references given therein).Nonclassical model is defined as the model of mathematical physics, which is represented in the form of the equation or systems of partial differential equations that does not fit into one of the classical types: elliptic, parabolic, or hyperbolic. In particular, nonclassical models are described by equations of mixed type (the Tricomi equation), degenerate equations (the Keldysh equation) or the equations of Sobolev type (or the Barenblatt-Zsolt-Kachina equation), the equation of mixed type with the changing time direction, and forward-backward equations. In [7], a fundamental theory of the solvability of many different boundary value problems for nonclassical equations was presented.In recent years the attention of many scholars has turned to the study of well-posed boundary value problems for nonclassical equations of mathematical physics, in particular, for forward-backward equations of the parabolic type (as the changing time direction) (see, e.g., [8, 9], etc.) and for equations of mixed type with several lines of change of type (see, e.g., [8–12] and the references given therein).In the theory of boundary value problems for degenerate equations and equations of mixed type, it is a well-known fact that the well-posedness and the class of its correctness essentially depend on the coefficient of the first-order derivative (younger member) of equations (e.g., [13–16] and the references given therein).In [14] the new called Fichera function was introduced, in order to identify subsets of the boundary of the domain where the boundary value problem for such kind of equations is posed, where it is necessary (or not) to specify the boundary condition. A namely, the boundary conditions depends on sign of function Fichera’s Ф
(
x
).In [13] (see, Chapter 1, pages 191–197, and Chapter 3, pages 239–245) and [15] new boundary conditions (so-called type of problem “E” in which some part of the boundary will be exempt from the boundary conditions) were studied.In [16–18] various Dirichlet problems which can be formulated for equations of Keldysh type, one of the two main classes of linear elliptic-hyperbolic equations, were investigated. Open boundary conditions (in which data are prescribed on only part of the boundary) and closed boundary conditions (in which data are prescribed on the entire boundary) were both considered. Emphasis is on the formulation of boundary conditions for which solutions can be shown to exist in an appropriate function space.Boundary value problems for equations of mixed hyperbolic-elliptic type with changing time direction had been studied in detail in [10–12]. Great difficulties come into being in the investigation of systems of degenerate elliptic and hyperbolic equations.Note that many authors studied hyperbolic-parabolic equations and system equations of degenerating elliptic type, system equations of hyperbolic-elliptic type and system equations of hyperbolic (see, e.g., [3, 5, 6, 19] and the references given therein).In mathematical modeling, partial differential equations of the mixed type are used together with boundary conditions specifying the solution on the boundary of the domain. In some cases, classical boundary conditions cannot describe process or phenomenon precisely. Therefore, mathematical models of various physical, chemical, biological, or environmental processes often involve nonclassical conditions. Such conditions usually are identified as nonlocal boundary conditions and reflect situations when the data on the domain boundary cannot be measured directly or when the data on the boundary depend on the data inside the domain. In numerical methods for solving these equations, the problem of stability has received a great deal of importance and attention. In particular, a suitable model for analyzing the stability is provided by a proper unconditionally absolutely stable difference scheme with an unbounded operator. The method of operators as a tool for the investigation of the stability of the solution of nonlocal problems for partial differential equations of the mixed type in Hilbert and Banach spaces and of difference schemes for approximate solution of these problems has been systematically developed (see, e.g., [20–22] and the references given therein).Finally, the problem for the system of equations of hyperbolic-elliptic type, including property of changing time direction, has not been extensively investigated. Therefore in the present paper we will study this problem.


## 2. Problem Statement, Notation, and Preliminaries

LetG be a bounded domain in the Euclidean space R
n of the point x
=
x
1
,
…
,
x
n, including a part of hyperplane x
n
=
0 and with smooth boundary ∂
G
∈
C
2, G
+
=
G
∩
x
n
>
0, G
-
=
G
∩
x
n
<
0. The boundary of G
+ consists of a part of hyperplane x
n
=
0 for x
n
>
0 and smooth surface ∂
G
+. Analogically, the boundary G
- consists of a part of hyperplane x
n
=
0 for x
n
<
0 and smooth surface ∂
G
-. Assume that D
=
G
×
-
T
,
T, T
>
0; S
=
∂
G
×
-
T
,
T, where Γ
=
∂
D is a boundary of domain D. In the domain D consider the system of equations(1)
L
1
u
,
υ
=
k
1
1
t
u
t
t
+
k
2
x
Δ
x
u
+
∑
i
=
1
n
a
i
1
1
x
,
t
u
x
i
llllllllllllllll
+
∑
i
=
1
n
a
i
2
1
x
,
t
υ
x
i
+
b
11
x
,
t
u
t
+
b
12
x
,
t
υ
t
lllllllllllllll
+
c
11
x
,
t
u
+
c
12
x
,
t
υ
=
f
1
x
,
t
L
2
u
,
υ
=
k
1
2
t
υ
t
t
+
Δ
x
υ
+
∑
i
=
1
n
a
i
1
2
x
,
t
u
x
i
llllllllllllllll
+
∑
i
=
1
n
a
i
2
2
x
,
t
υ
x
i
+
b
21
x
,
t
u
t
llllllllllllllll
+
b
22
x
,
t
υ
t
+
c
21
x
,
t
u
+
c
22
x
,
t
υ
llllllllllll
=
f
2
x
,
t
,where the Δ
x is Laplace operator Δ
x
=
∂
2
/
∂
x
1
2
+
⋯
+
∂
2
/
∂
x
n
2.Everywhere we will assume that the coefficients of the system of (1) are sufficiently smooth. Moreover, the conditions (2)
t
k
1
i
t
>
0
for
t
≠
0
,
t
∈
-
T
,
T
,
i
=
1,2
;
x
n
k
2
x
<
0
for
x
n
≠
0
,
x
=
x
1
,
…
,
x
n
∈
G
∈
R
nare satisfied. As far as is known that quadratic form of the equations of system (1) changes, then this system contains portions degenerating elliptic, degenerating hyperbolic, mixed, and composite type differential equations at the same time including changing direction time of variable in the domain D. Since, couples form such view system equations in first time considered by author.Assume the following notations:Γ
-
T
+
=
{
(
x
,
t
)
∈
Γ
:
x
n
>
0
,
t
=
-
T
},  Γ
-
T
-
=
{
(
x
,
t
)
∈
Γ
:
x
n
<
0
,
t
=
-
T
},
Γ
T
+
=
{
(
x
,
t
)
∈
Γ
:
x
n
>
0
,
t
=
T
},  Γ
T
-
=
x
,
t
∈
Γ
:
x
n
<
0
,
t
=
T,  S
+
=
∂
G
+
×
[
-
T
,
T
],
S
-
=
∂
G
-  ×  [
-
T
,
T
], D
+
=
D
∩
x
n
<
0,  D
-
=
D
∩
x
n
<
0.


### 2.1. The Boundary Value Problem (So-Called Problem “E”)

Find the solution of system equations (1) in the domain D
-, satisfying the conditions(3)
u
s
=
0
,
u
Γ
-
T
+
¯
=
0
,
u
Γ
T
-
¯
=
0
,
(4)
υ
S
=
0
,
υ
Γ
-
T
+
¯
=
0
,
υ
Γ
T
-
¯
=
0
.Remark 1.
In this situation, theΓ
-
T
+, Γ
-
T
-, Γ
T
+, and Γ
T
- set are carriers as boundary conditions which depending on the sign b
22
x
,
t, k
1
i
t,  i
=
1,2, b
11
x
,
t when the 2
b
22
-
k
1
t
(
2
)
(
t
)
≥
δ
1
>
0, 2
b
11
-
k
1
t
(
1
)
(
t
)
≥
δ
>
0 conditions must be satisfied everywhere in D. Thus indicated boundary value problems for the system of (1) are put in the forms (3) and (4), where some of the parts of boundary Γ
=
∂
D will be exempt from the boundary conditions. Consequently, the use of the term type of problem “E” and setting the boundary conditions (3) and (4) correspond to and are consistent with the approach cited above.
By the symbolC
L we denote a class of twice continuously differentiable functions in the closed domain D, satisfying the boundary conditions (3) and (4), by H
1
,
L
(
D
), H
2
,
L
(
D
) in Sobolev’s space with weighted spaces obtained by the class C
L which is closed by the norms(5)
u
H
1
,
L
(
D
)
2
=
∫
D
u
t
2
+
k
2
x
∑
i
=
1
n
u
x
i
2
+
u
2
d
D
,
u
H
2
,
L
(
D
)
2
=
∫
D
u
t
t
2
+
k
2
2
(
x
)
∑
i
=
1
n
u
x
i
x
i
2
+
k
2
(
x
)
∑
i
=
1
n
u
x
i
t
2
llllllllllllllllllllllllll
+
k
2
x
∑
i
=
1
n
u
x
i
2
+
u
t
2
+
u
2
d
D
,respectively. Since k
2
(
x
)
≠
0 for x
n
≠
0, by Sobolev’s embedding theorems [23] the functions from the spaces H
2
,
L
(
D
) will satisfy the boundary conditions (3), (4).Lemma 2.
Let the following conditions(a)
2
b
11
(
x
,
t
)
-
k
1
t
(
1
)
(
t
)
≥
δ
>
0  for t
=
0, x
∈
G,
(b)
2
b
22
(
x
,
t
)
-
k
1
t
(
2
)
(
t
)
≥
δ
1
>
0  for t
=
0, x
∈
G,
(c)
a
i
1
1
x
,
t
2
≤
M
1
k
2
(
x
), a
i
1
2
x
,
t
2
≤
M
2
k
2
(
x
),
∑
i
=
1
n
a
i
1
1
-
k
2
x
i
2
≤
M
3
k
2
(
x
), where M
1, M
2, M
3, and M are sufficiently large constants,
(d)
2
c
22
(
x
,
t
)
-
∑
i
=
1
n
a
i
2
(
2
)
-
b
22
(
x
,
t
)
≤
0, (
x
,
t
)
∈
D,
(e)
a
i
2
1
2
≤
M
k
2
(
x
),
(f)
-
μ
c
22
-
c
22
t
>
0; λ
c
11
-
c
11
t
>
0 (the constants λ
>
0, μ
>
0 are chosen)be satisfied. Then there exist constants λ
≥
λ
0
>
0, μ
≥
μ
0
>
0 such that for all functions u
(
x
,
t
), υ
(
x
,
t
) from the class c
L the following inequality holds true:(6)
∫
D
+
L
1
(
u
,
υ
)
e
-
λ
t
u
t
d
D
+
+
∫
D
+
e
-
λ
t
υ
t
L
2
(
u
,
υ
)
d
D
+
+
∫
D
-
e
μ
t
u
t
L
1
(
u
,
υ
)
d
D
-
+
∫
D
-
e
μ
t
υ
t
L
2
(
u
,
υ
)
d
D
-
≥
m
u
H
1
,
L
D
2
+
υ
H
1
,
L
D
2
,where the constant m is not dependent on function of u
(
x
,
t
) and υ
(
x
,
t
).Proof.
Let the functionsu
(
x
,
t
), υ
(
x
,
t
)
∈
C
L and consider the following integrals:(7)
J
1
=
∫
D
+
L
1
(
u
,
υ
)
e
-
λ
t
u
t
d
D
+
+
∫
D
-
e
μ
t
u
t
L
1
(
u
,
υ
)
d
D
-
J
2
=
∫
D
+
L
2
(
u
,
υ
)
e
-
λ
t
υ
t
d
D
+
+
∫
D
-
L
2
(
u
,
υ
)
e
μ
t
υ
t
d
D
-
.After integration by parts and allowing for boundary conditions of (3), (4) and taking into account nonnegative boundary integrals we get(8)
J
1
=
∫
D
+
L
1
u
,
υ
e
-
λ
t
u
t
d
D
+
+
∫
D
-
e
μ
t
u
t
L
1
(
u
,
υ
)
d
D
-
≥
1
2
∫
D
+
e
-
λ
t
-
λ
∑
i
=
1
n
k
2
(
x
)
u
x
i
2
(
2
b
11
-
k
1
t
(
1
)
(
t
)
+
λ
k
1
(
1
)
(
t
)
)
u
t
2
llllllllllllllllllllllllllll
+
∑
i
=
1
n
(
a
i
1
(
1
)
u
x
i
u
t
+
a
i
2
(
1
)
υ
x
i
u
t
)
llllllllllllllllllllllllllll
+
b
12
υ
t
u
t
-
k
2
x
i
′
u
x
i
u
t
+
(
λ
c
11
-
c
11
t
)
u
2
llllllllllllllllllllllllllll
+
c
12
υ
u
t
+
-
λ
∑
i
=
1
n
k
2
(
x
)
u
x
i
2
d
D
+
+
∫
D
-
e
μ
t
2
∑
i
=
1
n
(
a
i
1
(
1
)
u
x
i
u
t
+
a
i
2
(
1
)
υ
x
i
u
t
)
(
2
b
11
-
k
1
t
(
1
)
(
t
)
-
μ
k
1
(
1
)
(
t
)
)
u
t
2
lllllllllllllllllllllllllll
+
2
∑
i
=
1
n
(
a
i
1
(
1
)
u
x
i
u
t
+
a
i
2
(
1
)
υ
x
i
u
t
)
lllllllllllllllllllllllllll
+
μ
∑
i
=
1
n
k
2
(
x
)
υ
x
i
2
+
2
b
12
υ
t
u
t
lllllllllllllllllllllllllll
+
(
-
μ
c
11
-
c
11
t
)
u
2
+
c
12
υ
u
t
∑
i
=
1
n
(
a
i
1
(
1
)
u
x
i
u
t
+
a
i
2
(
1
)
υ
x
i
u
t
)
d
D
-
+
∫
G
+
k
1
(
1
)
(
T
)
e
-
λ
T
u
t
2
(
x
,
T
)
d
x
+
∫
G
-
k
1
(
1
)
(
-
T
)
e
μ
t
u
t
2
(
x
,
-
T
)
d
x
-
∫
S
+
k
2
x
e
-
λ
t
u
x
2
x
,
t
d
x
+
∫
S
-
k
2
(
x
)
e
μ
t
u
x
2
(
x
,
t
)
d
x
-
∫
G
-
c
11
(
x
,
-
T
)
e
-
μ
T
u
2
(
x
,
-
T
)
d
x
+
∫
G
+
c
11
x
,
T
e
λ
T
u
2
x
,
T
d
x
,
J
2
=
∫
D
+
e
-
λ
t
υ
t
L
2
(
u
,
υ
)
d
D
+
+
∫
D
-
e
μ
t
υ
t
L
2
(
u
,
υ
)
d
D
-
≥
1
2
∫
D
+
e
-
λ
t
-
λ
∑
i
=
1
n
k
2
(
x
)
υ
x
i
2
(
2
b
22
-
k
1
t
(
2
)
(
t
)
+
λ
k
1
(
2
)
(
t
)
)
υ
t
2
llllllllllllllllllllllllllll
+
-
λ
∑
i
=
1
n
k
2
(
x
)
υ
x
i
2
+
(
λ
c
22
+
c
22
t
)
υ
2
llllllllllllllllllllllllllll
+
2
∑
i
=
1
n
(
a
i
1
(
2
)
u
x
i
υ
t
+
a
i
2
(
2
)
υ
x
i
υ
t
)
llllllllllllllllllllllllllll
+
2
c
21
u
υ
t
+
2
b
21
u
t
υ
t
-
λ
∑
i
=
1
n
k
2
(
x
)
υ
x
i
2
d
D
+
+
∫
D
-
e
μ
t
∑
i
=
1
n
(
a
i
1
(
2
)
u
x
i
υ
t
+
a
i
2
(
2
)
υ
x
i
υ
t
)

(
2
b
22
-
k
1
(
2
)
(
t
)
-
μ
k
1
(
2
)
(
t
)
)
υ
t
2
lllllllllllllllllllllllllll
+
∑
i
=
1
n
(
a
i
1
(
2
)
u
x
i
υ
t
+
a
i
2
(
2
)
υ
x
i
υ
t
)
lllllllllllllllllllllllllll
+
μ
∑
i
=
1
n
υ
x
i
2
+
2
c
21
u
υ
t
lllllllllllllllllllllllllll
+
2
b
21
u
t
υ
t
+
(
-
μ
c
22
-
c
22
t
)
υ
2
∑
i
=
1
n
(
a
i
1
(
2
)
u
x
i
υ
t
+
a
i
2
(
2
)
υ
x
i
υ
t
)
d
D
-
+
∫
G
+
k
1
(
2
)
(
T
)
e
-
λ
T
υ
t
2
(
x
,
T
)
d
x
-
∫
G
-
k
1
(
2
)
(
-
T
)
e
μ
T
t
υ
t
2
(
x
,
-
T
)
d
x
-
∫
G
-
c
22
(
x
,
-
T
)
e
-
μ
T
υ
2
(
x
,
-
T
)
d
x
+
∫
G
+
c
22
x
,
T
e
-
λ
T
υ
2
x
,
T
d
x
.Now, using inequality of Cauchy-Bunyakovskiy, inequality of Poincare, and conditions of Lemma 2 for coefficients of system equations (1) and taking into account chosen constants λ
=
λ
0
>
0, μ
=
μ
0
>
0 with the fact that the coefficients k
1
i
t,  i
=
1,2, are homogeneous on the boundaries and after summarizing estimates for J
1 and J
2, then obtain validity of inequality (6).Definition 3.
One says thatu
(
x
,
t
) and υ
(
x
,
t
) are regular solution of problem ((1)–(4)), if the functions u
x
,
t
,
υ
(
x
,
t
)
∈
H
2
,
L
(
D
)  satisfy equation of (1) almost everywhere in domain D.
Note that for solvability of problem ((1)–(4)) the standard methods ([3, 5–9, 13, 15–19, 24], etc.) are not applicable, because the condition of Somigliana [25] is not fulfilled. We need to seek other structure steps of proof or nonclassical method for solvability of problem ((1)–(4)). For this reason, first of all, begin to formulate the theory of existence; first take the decaying system equations in the following form:(9)
L
1
u
=
k
1
1
(
t
)
u
t
t
+
k
2
(
x
)
Δ
u
+
∑
i
=
1
n
a
i
1
1
u
x
i
+
b
11
u
t
+
c
11
u
=
f
1
x
,
t
,
(10)
L
2
υ
=
k
1
2
(
t
)
υ
t
t
+
Δ
υ
+
∑
i
=
1
n
a
i
2
2
υ
x
i
+
b
22
υ
t
+
c
22
υ
=
f
2
x
,
t
.For proving solvability of problem ((9), (3)) we use the method of “ε-regularization” and it is the fact that the hyperplane x
n
=
0 is characteristic for (9). Therefore, we can consider the boundary value problem ((9), (3)) in the following form.


### 2.2. Boundary Value Problem 1

Find the solution of (9) in the domain D
+, satisfying the boundary conditions(11)
u
Γ
-
T
+
¯
=
0
,
u
s
+
=
0
.


### 2.3. Boundary Value Problem 2

Find the solution of (9) in the domain D
-, satisfying the boundary conditions(12)
u
Γ
T
-
¯
=
0
,
u
s
-
=
0
.By C
L
′
D
+, C
L
′
D
- we denote a class of infinitely differentiable functions in the closed domains D
+, D
- satisfying the boundary conditions (11) and (12), respectively.


## 2.1. The Boundary Value Problem (So-Called Problem “E”)

Find the solution of system equations (1) in the domain D
-, satisfying the conditions(3)
u
s
=
0
,
u
Γ
-
T
+
¯
=
0
,
u
Γ
T
-
¯
=
0
,
(4)
υ
S
=
0
,
υ
Γ
-
T
+
¯
=
0
,
υ
Γ
T
-
¯
=
0
.Remark 1.
In this situation, theΓ
-
T
+, Γ
-
T
-, Γ
T
+, and Γ
T
- set are carriers as boundary conditions which depending on the sign b
22
x
,
t, k
1
i
t,  i
=
1,2, b
11
x
,
t when the 2
b
22
-
k
1
t
(
2
)
(
t
)
≥
δ
1
>
0, 2
b
11
-
k
1
t
(
1
)
(
t
)
≥
δ
>
0 conditions must be satisfied everywhere in D. Thus indicated boundary value problems for the system of (1) are put in the forms (3) and (4), where some of the parts of boundary Γ
=
∂
D will be exempt from the boundary conditions. Consequently, the use of the term type of problem “E” and setting the boundary conditions (3) and (4) correspond to and are consistent with the approach cited above.
By the symbolC
L we denote a class of twice continuously differentiable functions in the closed domain D, satisfying the boundary conditions (3) and (4), by H
1
,
L
(
D
), H
2
,
L
(
D
) in Sobolev’s space with weighted spaces obtained by the class C
L which is closed by the norms(5)
u
H
1
,
L
(
D
)
2
=
∫
D
u
t
2
+
k
2
x
∑
i
=
1
n
u
x
i
2
+
u
2
d
D
,
u
H
2
,
L
(
D
)
2
=
∫
D
u
t
t
2
+
k
2
2
(
x
)
∑
i
=
1
n
u
x
i
x
i
2
+
k
2
(
x
)
∑
i
=
1
n
u
x
i
t
2
llllllllllllllllllllllllll
+
k
2
x
∑
i
=
1
n
u
x
i
2
+
u
t
2
+
u
2
d
D
,respectively. Since k
2
(
x
)
≠
0 for x
n
≠
0, by Sobolev’s embedding theorems [23] the functions from the spaces H
2
,
L
(
D
) will satisfy the boundary conditions (3), (4).Lemma 2.
Let the following conditions(a)
2
b
11
(
x
,
t
)
-
k
1
t
(
1
)
(
t
)
≥
δ
>
0  for t
=
0, x
∈
G,
(b)
2
b
22
(
x
,
t
)
-
k
1
t
(
2
)
(
t
)
≥
δ
1
>
0  for t
=
0, x
∈
G,
(c)
a
i
1
1
x
,
t
2
≤
M
1
k
2
(
x
), a
i
1
2
x
,
t
2
≤
M
2
k
2
(
x
),
∑
i
=
1
n
a
i
1
1
-
k
2
x
i
2
≤
M
3
k
2
(
x
), where M
1, M
2, M
3, and M are sufficiently large constants,
(d)
2
c
22
(
x
,
t
)
-
∑
i
=
1
n
a
i
2
(
2
)
-
b
22
(
x
,
t
)
≤
0, (
x
,
t
)
∈
D,
(e)
a
i
2
1
2
≤
M
k
2
(
x
),
(f)
-
μ
c
22
-
c
22
t
>
0; λ
c
11
-
c
11
t
>
0 (the constants λ
>
0, μ
>
0 are chosen)be satisfied. Then there exist constants λ
≥
λ
0
>
0, μ
≥
μ
0
>
0 such that for all functions u
(
x
,
t
), υ
(
x
,
t
) from the class c
L the following inequality holds true:(6)
∫
D
+
L
1
(
u
,
υ
)
e
-
λ
t
u
t
d
D
+
+
∫
D
+
e
-
λ
t
υ
t
L
2
(
u
,
υ
)
d
D
+
+
∫
D
-
e
μ
t
u
t
L
1
(
u
,
υ
)
d
D
-
+
∫
D
-
e
μ
t
υ
t
L
2
(
u
,
υ
)
d
D
-
≥
m
u
H
1
,
L
D
2
+
υ
H
1
,
L
D
2
,where the constant m is not dependent on function of u
(
x
,
t
) and υ
(
x
,
t
).Proof.
Let the functionsu
(
x
,
t
), υ
(
x
,
t
)
∈
C
L and consider the following integrals:(7)
J
1
=
∫
D
+
L
1
(
u
,
υ
)
e
-
λ
t
u
t
d
D
+
+
∫
D
-
e
μ
t
u
t
L
1
(
u
,
υ
)
d
D
-
J
2
=
∫
D
+
L
2
(
u
,
υ
)
e
-
λ
t
υ
t
d
D
+
+
∫
D
-
L
2
(
u
,
υ
)
e
μ
t
υ
t
d
D
-
.After integration by parts and allowing for boundary conditions of (3), (4) and taking into account nonnegative boundary integrals we get(8)
J
1
=
∫
D
+
L
1
u
,
υ
e
-
λ
t
u
t
d
D
+
+
∫
D
-
e
μ
t
u
t
L
1
(
u
,
υ
)
d
D
-
≥
1
2
∫
D
+
e
-
λ
t
-
λ
∑
i
=
1
n
k
2
(
x
)
u
x
i
2
(
2
b
11
-
k
1
t
(
1
)
(
t
)
+
λ
k
1
(
1
)
(
t
)
)
u
t
2
llllllllllllllllllllllllllll
+
∑
i
=
1
n
(
a
i
1
(
1
)
u
x
i
u
t
+
a
i
2
(
1
)
υ
x
i
u
t
)
llllllllllllllllllllllllllll
+
b
12
υ
t
u
t
-
k
2
x
i
′
u
x
i
u
t
+
(
λ
c
11
-
c
11
t
)
u
2
llllllllllllllllllllllllllll
+
c
12
υ
u
t
+
-
λ
∑
i
=
1
n
k
2
(
x
)
u
x
i
2
d
D
+
+
∫
D
-
e
μ
t
2
∑
i
=
1
n
(
a
i
1
(
1
)
u
x
i
u
t
+
a
i
2
(
1
)
υ
x
i
u
t
)
(
2
b
11
-
k
1
t
(
1
)
(
t
)
-
μ
k
1
(
1
)
(
t
)
)
u
t
2
lllllllllllllllllllllllllll
+
2
∑
i
=
1
n
(
a
i
1
(
1
)
u
x
i
u
t
+
a
i
2
(
1
)
υ
x
i
u
t
)
lllllllllllllllllllllllllll
+
μ
∑
i
=
1
n
k
2
(
x
)
υ
x
i
2
+
2
b
12
υ
t
u
t
lllllllllllllllllllllllllll
+
(
-
μ
c
11
-
c
11
t
)
u
2
+
c
12
υ
u
t
∑
i
=
1
n
(
a
i
1
(
1
)
u
x
i
u
t
+
a
i
2
(
1
)
υ
x
i
u
t
)
d
D
-
+
∫
G
+
k
1
(
1
)
(
T
)
e
-
λ
T
u
t
2
(
x
,
T
)
d
x
+
∫
G
-
k
1
(
1
)
(
-
T
)
e
μ
t
u
t
2
(
x
,
-
T
)
d
x
-
∫
S
+
k
2
x
e
-
λ
t
u
x
2
x
,
t
d
x
+
∫
S
-
k
2
(
x
)
e
μ
t
u
x
2
(
x
,
t
)
d
x
-
∫
G
-
c
11
(
x
,
-
T
)
e
-
μ
T
u
2
(
x
,
-
T
)
d
x
+
∫
G
+
c
11
x
,
T
e
λ
T
u
2
x
,
T
d
x
,
J
2
=
∫
D
+
e
-
λ
t
υ
t
L
2
(
u
,
υ
)
d
D
+
+
∫
D
-
e
μ
t
υ
t
L
2
(
u
,
υ
)
d
D
-
≥
1
2
∫
D
+
e
-
λ
t
-
λ
∑
i
=
1
n
k
2
(
x
)
υ
x
i
2
(
2
b
22
-
k
1
t
(
2
)
(
t
)
+
λ
k
1
(
2
)
(
t
)
)
υ
t
2
llllllllllllllllllllllllllll
+
-
λ
∑
i
=
1
n
k
2
(
x
)
υ
x
i
2
+
(
λ
c
22
+
c
22
t
)
υ
2
llllllllllllllllllllllllllll
+
2
∑
i
=
1
n
(
a
i
1
(
2
)
u
x
i
υ
t
+
a
i
2
(
2
)
υ
x
i
υ
t
)
llllllllllllllllllllllllllll
+
2
c
21
u
υ
t
+
2
b
21
u
t
υ
t
-
λ
∑
i
=
1
n
k
2
(
x
)
υ
x
i
2
d
D
+
+
∫
D
-
e
μ
t
∑
i
=
1
n
(
a
i
1
(
2
)
u
x
i
υ
t
+
a
i
2
(
2
)
υ
x
i
υ
t
)

(
2
b
22
-
k
1
(
2
)
(
t
)
-
μ
k
1
(
2
)
(
t
)
)
υ
t
2
lllllllllllllllllllllllllll
+
∑
i
=
1
n
(
a
i
1
(
2
)
u
x
i
υ
t
+
a
i
2
(
2
)
υ
x
i
υ
t
)
lllllllllllllllllllllllllll
+
μ
∑
i
=
1
n
υ
x
i
2
+
2
c
21
u
υ
t
lllllllllllllllllllllllllll
+
2
b
21
u
t
υ
t
+
(
-
μ
c
22
-
c
22
t
)
υ
2
∑
i
=
1
n
(
a
i
1
(
2
)
u
x
i
υ
t
+
a
i
2
(
2
)
υ
x
i
υ
t
)
d
D
-
+
∫
G
+
k
1
(
2
)
(
T
)
e
-
λ
T
υ
t
2
(
x
,
T
)
d
x
-
∫
G
-
k
1
(
2
)
(
-
T
)
e
μ
T
t
υ
t
2
(
x
,
-
T
)
d
x
-
∫
G
-
c
22
(
x
,
-
T
)
e
-
μ
T
υ
2
(
x
,
-
T
)
d
x
+
∫
G
+
c
22
x
,
T
e
-
λ
T
υ
2
x
,
T
d
x
.Now, using inequality of Cauchy-Bunyakovskiy, inequality of Poincare, and conditions of Lemma 2 for coefficients of system equations (1) and taking into account chosen constants λ
=
λ
0
>
0, μ
=
μ
0
>
0 with the fact that the coefficients k
1
i
t,  i
=
1,2, are homogeneous on the boundaries and after summarizing estimates for J
1 and J
2, then obtain validity of inequality (6).Definition 3.
One says thatu
(
x
,
t
) and υ
(
x
,
t
) are regular solution of problem ((1)–(4)), if the functions u
x
,
t
,
υ
(
x
,
t
)
∈
H
2
,
L
(
D
)  satisfy equation of (1) almost everywhere in domain D.
Note that for solvability of problem ((1)–(4)) the standard methods ([3, 5–9, 13, 15–19, 24], etc.) are not applicable, because the condition of Somigliana [25] is not fulfilled. We need to seek other structure steps of proof or nonclassical method for solvability of problem ((1)–(4)). For this reason, first of all, begin to formulate the theory of existence; first take the decaying system equations in the following form:(9)
L
1
u
=
k
1
1
(
t
)
u
t
t
+
k
2
(
x
)
Δ
u
+
∑
i
=
1
n
a
i
1
1
u
x
i
+
b
11
u
t
+
c
11
u
=
f
1
x
,
t
,
(10)
L
2
υ
=
k
1
2
(
t
)
υ
t
t
+
Δ
υ
+
∑
i
=
1
n
a
i
2
2
υ
x
i
+
b
22
υ
t
+
c
22
υ
=
f
2
x
,
t
.For proving solvability of problem ((9), (3)) we use the method of “ε-regularization” and it is the fact that the hyperplane x
n
=
0 is characteristic for (9). Therefore, we can consider the boundary value problem ((9), (3)) in the following form.


## 2.2. Boundary Value Problem 1

Find the solution of (9) in the domain D
+, satisfying the boundary conditions(11)
u
Γ
-
T
+
¯
=
0
,
u
s
+
=
0
.


## 2.3. Boundary Value Problem 2

Find the solution of (9) in the domain D
-, satisfying the boundary conditions(12)
u
Γ
T
-
¯
=
0
,
u
s
-
=
0
.By C
L
′
D
+, C
L
′
D
- we denote a class of infinitely differentiable functions in the closed domains D
+, D
- satisfying the boundary conditions (11) and (12), respectively.


## 3. Uniqueness Solution of Problem ((1)–(4)) in Space H
2
,
L
D

Theorem 4.
Let the conditions of Lemma2 be fulfilled. Then the regular solution of the problem ((1)–(4)) is unique.Proof.
Indeed, letu
1
,
υ
1 and u
2
,
υ
2 be two solutions of problem ((1)–(4)) which is satisfying the systems equations (1). Let u
=
u
1
-
u
2, υ
=
υ
1
-
υ
2. Then the functions u
,
υ will be satisfying equations L
1
u
,
υ
=
0 and L
2
u
,
υ
=
0 in the domain D. Suppose that u
≠
0, υ
≠
0 are satisfied. Let us take sequence, functions u
n
,
υ
n
∈
C
L, n
=
1,2
,
…, and so forth, such that u
n
→
u in H
2
,
L
D for n
→
∞, υ
n
→
υ in H
2
,
L
D for n
→
∞. By the inequality of (6) we have(13)
L
1
u
,
υ
L
2
(
D
)
+
L
2
u
,
υ
L
2
(
D
)
≥
m
1
u
H
2
,
L
D
+
υ
H
2
,
L
D
,where the constant m
1 is independent of the functions u
x
,
t and υ
x
,
t. Therefore we can assert that L
1
u
n
,
υ
n
→
L
1
u
,
υ, L
2
u
n
,
υ
n
→
L
2
u
,
υ for n
→
∞. By the virtue of inequality of (6) we have (14)
L
1
u
n
,
υ
n
,
e
-
λ
t
u
n
t
L
2
(
D
+
)
+
L
1
u
n
,
υ
n
,
e
μ
t
u
n
t
L
2
(
D
-
)
+
L
2
u
n
,
υ
n
,
e
-
λ
t
υ
n
t
L
2
(
D
+
)
+
L
2
u
n
,
υ
n
,
e
μ
t
υ
n
t
L
2
(
D
-
)
≥
m
1
u
n
H
1
,
L
D
2
+
υ
n
H
1
,
L
D
2
.Hence, passing to limit as n
→
∞ in last inequality, we get u
n
→
0, υ
n
→
0 in space H
1
,
L
D. On the other sides we have (15)
u
n
-
u
H
1
,
L
(
D
)
≤
u
n
-
u
H
2
,
L
(
D
)
⟶
0
,
υ
n
-
υ
H
1
,
L
(
D
)
≤
υ
n
-
υ
H
2
,
L
(
D
)
⟶
0for n
→
∞. Hence, u
≡
0, υ
≡
0. That is proof of Theorem 4. Now, we need the proof of solvability problem ((1)–(4)).


## 4. The Existence of Weak (Regular) Solution of Problems ((9), (11)) and ((9), (12))

Lemma 5.
Let the conditions (a)–(c), (e), and (f) of Lemma2 be satisfied. Then for any functions u
x
,
t
∈
C
L
′
D
+  u
x
,
t
∈
C
L
′
D
- the following inequalities (16)
L
1
u
,
e
-
λ
t
u
t
L
2
(
D
+
)
≥
m
1
u
H
1
,
L
D
+
2
,
L
1
u
,
e
μ
t
u
t
L
2
(
D
-
)
≥
m
2
u
H
1
,
L
(
D
-
)
2are valid.Proof.
Let us consider the integrals(17)
∫
D
+
L
1
u
e
-
λ
t
u
t
d
D
+
=
∫
D
+
f
1
e
-
λ
t
u
t
d
D
+
,
∫
D
-
L
1
u
e
μ
t
u
t
d
D
-
=
∫
D
-
f
1
e
μ
t
u
t
d
D
-
.After integration by parts, allowing for boundary conditions and taking into account nonnegative boundary integrals, we get(18)
L
1
(
u
)
,
e
-
λ
t
u
t
L
2
(
D
+
)
≥
1
2
∫
D
+
-
λ
∑
i
=
1
n
k
2
(
x
)
u
x
i
2
e
-
λ
t
-
λ
∑
i
=
1
n
k
2
(
x
)
u
x
i
2
(
2
b
11
(
x
,
t
)
-
k
1
t
(
1
)
(
t
)
+
λ
k
1
(
1
)
(
t
)
)
u
t
2
llllllllllllllllllllllllllll
+
2
∑
i
=
1
n
a
i
1
(
1
)
u
x
i
u
t
+
(
λ
c
11
-
c
11
t
)
u
2
llllllllllllllllllllllllllll
+
-
λ
∑
i
=
1
n
k
2
(
x
)
u
x
i
2
d
D
+
+
∫
G
+
c
11
(
x
,
T
)
e
λ
T
u
2
(
x
,
T
)
d
x
+
∫
G
+
k
1
2
T
e
-
λ
T
u
t
2
x
,
T
d
x
,
∀
u
x
,
t
∈
c
L
′
D
+
,
L
1
(
u
)
,
e
μ
t
u
t
L
2
(
D
-
)
≥
1
2
∫
D
-
e
μ
t
∑
i
=
1
n
k
2
(
x
)
u
x
i
2
(
2
b
11
(
x
,
t
)
-
k
1
t
(
1
)
(
t
)
-
μ
k
1
(
1
)
(
t
)
)
u
t
2
lllllllllllllllllllllllllll
+
2
∑
i
=
1
n
a
i
1
(
1
)
u
x
i
u
t
+
(
μ
c
11
-
c
11
t
)
u
2
llllllllllllllllllllllllll
+
μ
∑
i
=
1
n
k
2
(
x
)
u
x
i
2
d
D
-
-
∫
G
-
c
11
(
x
,
-
T
)
e
-
μ
T
u
2
(
x
,
-
T
)
d
x
-
∫
G
-
k
1
2
-
T
e
μ
T
u
t
2
x
,
-
T
d
x
,
∀
u
x
,
t
∈
c
L
′
D
-
.Hence, using Cauchy-Bunyakovskiy and Poincare inequalities and taking into account conditions (a)–(c), (e), and (f) of Lemma 2 and chosen constants λ
=
λ
0
>
0, μ
=
μ
0
>
0 with the fact that the coefficients k
1
1
t,  k
1
21
t are homogeneous on the boundaries, then we get the truth of inequalities (16). Moreover, using Holder’s inequality we have (19)
f
1
L
2
(
D
+
)
≥
m
1
u
H
1
,
L
D
+
2
,
f
1
L
2
D
-
≥
m
2
u
H
1
,
L
D
-
2
,where the constants m
1 and m
2 are independent of the function u
x
,
t.Definition 6.
The functionu
x
,
t
∈
H
2
,
L
D
+  u
x
,
t
∈
H
2
,
L
D
- is said to be regular solution of problems ((9), (11)), and ((9), (12)) if it is generalized solution and satisfies almost everywhere (9) in domain D
+ (D
-).Lemma 7.
Let the conditions of Lemma5 be fulfilled. Then regular solution of problems ((9), (11)), and ((9), (12)) is unique.Proof.
Lemma7 is proved by a way similar to Lemmas 2 and 5. Since the equation of (9) is also degenerating then due to regularizing effect for (9).
In the domainD
+, we have “ε-regularized” equation of mixed type(20)
L
1
ε
u
ε
=
k
1
(
1
)
(
t
)
u
ε
t
t
+
(
k
2
-
ε
)
Δ
u
ε
+
b
11
u
ε
t
+
∑
i
=
1
n
a
i
1
(
1
)
u
ε
x
i
+
c
11
u
ε
=
f
1
x
,
tand we state for it the boundary value problem(21)
u
ε
x
n
=
0
=
0
,
u
ε
S
+
=
0
,
u
ε
Γ
-
T
+
¯
=
0
.Analogically, we will consider the following boundary value problem:(22)
L
1
ε
u
ε
=
k
1
(
1
)
(
t
)
u
ε
t
t
+
(
k
2
+
ε
)
Δ
u
ε
+
b
11
u
ε
t
+
∑
i
=
1
n
a
i
1
(
1
)
u
ε
x
i
+
c
11
u
ε
=
f
1
x
,
t
(23)
u
ε
x
n
=
0
=
0
,
u
ε
S
-
=
0
,
u
ε
Γ
T
-
¯
=
0
.Proceeding from the results of [12] we can affirm the following Remark.Remark 8.
If the conditions of Lemmas5 and 7 and 2
b
11
x
,
t
-
k
1
t
1
≥
δ
>
0
x
,
t
∈
D are satisfied, then for any right-hand side f
1
x
,
t
,
f
1
t
x
,
t
∈
L
2
D
+  f
1
x
,
t
,
f
1
t
x
,
t
∈
L
2
D
- there exists a unique solution of boundary value problems (20), (21), ((22), (23)) from the space W
2
2
D
+
W
2
2
D
- and this solution allows following estimates(24)
f
1
L
2
D
+
2
+
f
1
t
L
2
D
+
2
≥
m
3
u
ε
W
2
2
D
+
2
,
f
1
L
2
D
-
2
+
f
1
t
L
2
D
-
2
≥
m
4
u
ε
W
2
2
D
-
2
,where the constants m
3 and m
4 are independent of the function u
x
,
t.Proof.
This Remark can be proves similarly to Lemmas2 and 5 and Theorem 4.Theorem 9 (on the solvability of problem ((9), (11))).
Let the conditions of Lemma5 and k
2
x
i
k
2
x
j
≤
M
1
k
2
x, f
1
x
,
t
,
f
1
t
x
,
t
∈
L
2
D
+, and  2
b
11
x
,
t
-
k
1
t
1
t
≥
δ
>
0,  for
x
,
t
∈
D
+, i
,
j
=
1,2
,
…
,
n, be satisfied. Then there exists a unique regular solution of problem ((9), (11)) from the space H
2
,
L
D
+.Theorem 10 (on the solvability of problem ((9), (12))).
Let the conditions of Lemma2 and k
2
x
i
k
2
x
j
≤
M
1
k
2
x
,
f
1
x
,
t
,
f
1
t
x
,
t
∈
L
2
(
D
-
), 2
b
11
x
,
t
-
k
1
t
1
t
≥
δ
>
0, and f
x
,
t
∈
D
-, i
,
j
=
1,2
,
…
,
n, be satisfied. Then there exists a unique regular solution of problem ((9), (12)) from the space H
2
,
L
D
-.Proof of Theorems9 and 10.
The following a priori estimates(25)
f
1
L
2
D
+
≥
m
5
∫
D
+
u
ε
t
2
+
k
2
-
ε
∑
i
=
1
n
u
ε
x
i
2
+
u
ε
2
d
D
+
f
1
L
2
D
-
≥
m
6
∫
D
-
u
ε
t
2
+
k
2
+
ε
∑
i
=
1
n
u
ε
x
i
2
+
u
ε
2
d
D
-hold for the functions u
ε
x
,
t
∈
W
2
2
D
+
u
ε
x
,
t
∈
W
2
2
D
- and being the solution of boundary value problems ((20), (21)), and ((22), (23)), respectively, where the constants m
5 and m
6 are independent of ε and u
x
,
t. The proof of these statements is easily obtained by integration by parts and using the Cauchy inequality. Further for obtaining the second a priori estimation we take the function ξ
1
t
(26)
ξ
1
t
=
≡
1
for
t
∈
-
T
,
-
η
,
T
2
>
η
>
0
,
≤
1
for
t
∈
-
η
,
-
η
2
,
≡
0
for
t
∈
-
η
2
,
T
.Then, we consider the function w
ε
x
,
t
=
ξ
1
t
u
ε
x
,
t. Obviously, the function w
ε
x
,
t will satisfy the equation(27)
L
1
ε
w
ε
=
ξ
1
f
1
+
2
k
1
1
t
ξ
1
′
t
u
ε
t
+
k
1
1
t
ξ
1
′′
t
u
ε
=
F
ε
.Hence, by virtue of inequalities (24) and (25), the set of functions F
ε
x
,
t is uniformly bounded in space L
2
D
+. On the other side, in domain (28)
D
η
/
2
+
=
x
∈
D
,
-
T
<
t
<
-
η
2
,the equation L
1
ε
w
ε
=
F
ε belongs to elliptical type of equation; therefore, multiplying equation of (27) by -
w
ε
t
t and after integrating by parts in the domain D
+, allowing boundary conditions, use the Cauchy-Bunyakovskiy inequality we get(29)
F
ε
L
2
D
+
≥
m
7
∫
D
+
w
ε
t
t
2
+
w
ε
2
+
w
ε
t
2
+
k
2
-
ε
∑
i
=
1
n
w
ε
x
i
2
llllllllllllllllllll
+
k
2
-
ε
∑
i
=
1
n
w
ε
x
i
x
i
2
d
D
+
,where constant m
7 is independent of ε, u
x
,
t. Now, let us consider the function ξ
2
t
∈
C
∞
-
T
,
T such that ξ
2
t
≡
0 for -
T
<
t
<
-
2
η,  ξ
2
t
≡
1,  -
η
<
t
<
T. Since 0
≤
ξ
2
t
≤
1 and ξ
1
t
+
ξ
2
t
≡
1, then φ
ε
x
,
t
=
ξ
2
t
u
ε
x
,
t. It is easy to see that the functions φ
ε
x
,
t satisfy the equation(30)
L
1
ε
φ
ε
=
ξ
2
t
f
1
x
,
t
+
2
k
1
t
1
t
ξ
2
′
t
u
ε
(
x
,
t
)
+
k
1
1
t
ξ
2
′′
t
u
ε
=
Φ
ε
x
,
t
.Hence include the fact that the functions Ф
ε
x
,
t
,
Ф
ε
t
x
,
t are uniformly bounded with respect to ε in the space L
2
D
+. Therefore, we can take finite difference (31)
φ
ε
h
=
φ
ε
x
,
t
+
h
-
φ
ε
x
,
t
h
.It is easy to see that the functions φ
ε
(
x
,
t
) satisfy the equation (32)
L
1
ε
φ
ε
h
=
ξ
2
t
f
1
+
2
k
1
1
t
ξ
2
′
t
u
ε
t
+
k
1
1
(
t
)
ξ
2
′′
t
u
ε
=
Φ
ε
h
x
,
t
.Using the results on smoothness of the solution of problem ((20), (21)) and a priori estimates (25), (29) and passing to limit as h
→
0 in the obtained inequalities (33)
ϕ
ε
h
L
2
D
+
≥
m
8
∫
D
+
∑
i
=
1
n
φ
ε
x
h
i
2
+
k
2
-
ε
∑
i
=
1
n
φ
ε
x
i
x
i
2
φ
ε
h
h
2
+
φ
ε
2
+
φ
ε
h
2
+
k
2
-
ε
llllllllllllllllll
·
∑
i
=
1
n
φ
ε
x
h
i
2
+
k
2
-
ε
∑
i
=
1
n
φ
ε
x
i
x
i
2
d
D
+and establishing relation between the functions f
1
(
x
,
t
) and Ф
ε
(
x
,
t
) we get(34)
f
1
L
2
D
+
+
f
1
t
L
2
D
+
≥
m
9
∫
D
+
u
ε
t
t
2
+
k
2
-
ε
∑
i
=
1
n
u
ε
t
x
i
2
lllllllllllllllllllllllll
+
u
ε
t
2
+
k
2
-
ε
∑
i
=
1
n
u
ε
x
i
2
+
u
ε
2
d
D
+
,
lllllllllllllllll
∀
u
ε
x
,
t
∈
C
L
′
D
+
∫
D
+
u
ε
t
t
2
+
k
2
-
ε
∑
i
=
1
n
u
ε
t
x
i
2
.From the representations of function φ
ε
x
,
t and from (20) by standard estimation method, we get k
2
-
ε
∑
i
=
1
n
u
ε
x
i
x
i
∈
L
2
D
+. Consequently, from the uniformly bounded sequences u
ε can be chosen such subsequences u
ε
k which is weakly converges to the function u
x
,
t
∈
H
2
,
L
(
D
+
). Then passing to limit as ε
k
→
0, k
→
∞ in the identity(35)
u
ε
k
,
L
1
ε
k
*
w
ε
L
2
D
+
=
f
1
,
w
ε
L
2
D
+
,
lllllllllllllllllllll
∀
w
ε
x
,
t
∈
C
0
∞
D
+
,where L
1
* is an operator conjugated to the operator L
1.
Hence,(36)
u
,
L
1
*
w
L
2
D
+
=
f
1
,
w
L
2
D
+
,
∀
w
x
,
t
∈
C
0
∞
D
+
.
Consequently, the functionu
x
,
t
∈
H
2
,
L
(
D
+
) is generalized solution of problem ((9), (11)) whilst by virtue of conditions 2
b
11
(
x
,
0
)
-
k
1
t
(
1
)
(
0
)
≥
δ
>
0, ∀
x
∈
G this solution satisfies (9) almost everywhere for D
+ and by Sobolev’s embedding theorems [23] the functions from the spaces H
2
,
L
(
D
) will satisfy the boundary conditions (11) almost everywhere.
In a similar way, repeating all the steps carried out for the domainD
+ for D
- also we can establish that problem ((9), (12)) has a generalized solution and belongs to the space H
2
,
L
D
- and satisfies (9) almost everywhere for D
- and boundary conditions (12).We conclude the following Remark.Remark 11.
Let the following conditions(a)
2
b
11
x
,
t
-
k
1
t
1
t
≥
δ
≥
0,  ∀
(
x
,
t
)
∈
D, b
11
(
x
,
0
)
-
k
1
t
(
1
)
(
0
)
≥
δ
>
0
∀
x
∈
G,
(b)
a
i
1
1
x
,
t
2
≤
M
1
k
2
(
x
), a
i
1
2
x
,
t
2
≤
M
2
k
2
x,  a
i
2
1
2
≤
M
k
2
(
x
)  ∀
(
x
,
t
)
∈
D, ∑
i
=
1
n
a
i
1
1
-
k
2
x
i
2
≤
M
3
k
2
(
x
), where M
1, M
2, M
3, and M are sufficiently large constants,
(c)
λ
c
11
-
c
11
t
>
0 (the constants λ
>
0 are chosen)be satisfied. Then for ∀
f
1
(
x
,
t
)
,
f
1
t
(
x
,
t
)
∈
L
2
(
D
) there exists generalized solution u
x
,
t of problems ((9), (11)) and ((9), (12)) and it belongs to the space H
2
,
L
D
+
(
H
2
,
L
D
-
) and for ε
=
0.


## 5. The Theorem of Existence and Uniqueness of Strong (Regular) Solution of Problems ((9), (11)) and ((9), (12))

Definition 12 (following [26]).
The functionu
x
,
t
∈
H
1
,
L
D
+
u
x
,
t
∈
H
1
,
L
D
- is said to be a strong solution of boundary value problems (20), (21), ((22), (23)), if there exists a sequence of functions u
ε
n
∈
C
L
′
D
+
u
ε
n
∈
C
L
′
D
- such that equality(37)
lim
n
→
∞
L
1
u
n
-
f
1
x
,
t
L
2
D
+
=
lim
n
→
∞
u
n
-
u
H
1
,
L
D
+
=
0is fulfilled in the domain D
- as well if taken instead of the domain D
+.
The following theorem on the existence of strong solution holds.Theorem 13.
Let the conditions of Lemma2 and (38)
k
2
x
i
k
2
x
j
≤
M
1
k
2
x
,
i
,
j
=
1
,
…
,
n
,
2
b
11
-
k
1
1
t
≥
δ
>
0
,
x
,
t
∈
Dbe satisfied. Then for any function f
1
∈
L
2
D
+  f
1
∈
L
2
D
- there exists a unique strong solution of boundary value problem ((9), (11)) from the space H
1
,
L
D
+ (for the problem ((9), (12)) from H
1
,
L
D
-).Proof.
From Theorems4, 9, and 10 there exists u
+
x
,
t solution of problem ((9), (11)) and u
-
x
,
t solution of problem ((9), (12)) in the domains D
+ and D
-, respectively, belonging, respectively, to the spaces H
2
,
L
D
+ and H
2
,
L
D
-. Then by the construction of such spaces there exist sequences u
n
∈
C
L
′
D
+
u
n
∈
C
L
′
D
- such that(39)
lim
n
→
∞
u
n
+
-
u
+
H
2
,
L
(
D
+
)
=
lim
n
→
∞
u
n
-
-
u
-
H
2
,
L
(
D
-
)
=
0
.From the obvious inequality(40)
u
n
+
H
2
,
L
D
+
≥
m
L
1
u
n
+
L
2
D
+
,
u
n
-
H
2
,
L
(
D
-
)
≥
m
L
1
u
n
-
L
2
D
-it follows that L
1
u
n
+
→
f
1
+ in L
2
(
D
+
), for n
→
∞. L
1
u
n
-
→
f
1
- in L
2
(
D
-
), for n
→
∞. Thus, suppose that f
1
t
+
∈
L
2
D
+, f
1
t
-
∈
L
2
D
-; then regular solutions u
+ and u
- are strong solution. We are constructing the sequences of functions f
1
n
+
∈
W
2
1
D
+, f
1
n
-
∈
W
2
1
D
- such that f
1
n
+
→
f
1
+ in L
2
(
D
+
), f
1
n
-
→
f
1
- in L
2
(
D
-
), for n
→
∞. Then for the functions f
1
+ and f
1
- there exists strong solution problem of ((9), (11)) and ((9), (12)) from the spaces H
2
,
L
D
+ and H
2
,
L
D
-, respectively. So, by inequality of Lemma 2 we have (41)
f
1
n
+
L
2
D
+
≥
m
u
n
+
H
1
,
L
D
+
,
f
1
n
-
L
2
D
-
≥
m
u
n
-
H
1
,
L
D
-
.Hence, we can include that u
n
+
→
u
+ in H
1
,
L
D
+, u
n
-
→
u
- in H
1
,
L
D
-, for n
→
∞ and these functions are strong solutions of problems ((9), (11)) and ((9), (12)), respectively.


## 6. The Solvability of Problem ((9), (3))

Remark 14 (gluing solutions in the spaces).
Let the functionsu
+
∈
H
i
,
L
D
+, u
-
∈
H
i
,
L
D
-, i
=
1,2. Then the constructed function (42)
u
x
,
t
=
u
+
x
,
t
,
x
,
t
∈
D
+
,
u
-
x
,
t
,
x
,
t
∈
D
-will also be from the class u
x
,
t
∈
H
i
,
L
D,  i
=
1,2.Proof.
Consider fori
=
1. Let us take the functions u
n
∈
C
∞
D, u
n
∈
C
L
′
D
+, and u
n
∈
C
L
′
D
- such that u
x
,
t
∈
L
2
D and also u
n
→
u
+ in H
1
,
L
D
+, u
n
→
u
- in H
1
,
L
D
-, n
→
∞. Then we can write (43)
∫
D
k
2
u
n
φ
x
n
d
D
=
∫
D
-
k
2
u
n
φ
x
n
d
D
-
+
∫
D
+
k
2
u
n
φ
x
n
d
D
+
,
∀
φ
∈
C
0
∞
D
.Consequently, we have (44)
∫
D
+
k
2
u
n
φ
x
n
d
D
+
=
-
∫
D
+
k
2
u
n
x
n
φ
d
D
+
-
∫
D
-
k
2
u
n
x
n
φ
d
D
-and it is fulfilled in the domain D
- as well if taken instead of the domain D
+.
Then from the inequality ofk
2
x
n
2
≤
M
k
2 we include that the function k
2
u
n
x
n uniformly bounded in space L
2
D. Hence, it follows that u
∈
H
1
,
L
D. Analogically, in case of i
=
2 we need to consider the integral ∫
D
k
2
u
n
x
n
φ
x
n
d
D. Consequently, Remark 14 is proved.Thus, we have the proof of the following theorem according essentially to a combination of the proofs of Theorems4, 9, and 10 and Lemmas 2, 5, and 7 and Remark 14.Note. Compare the classical conditions of “gluing solutions” in [5, 7, 9, 13, 16, 17] which belong to the boundary conditions, but in this case although the conditions of “gluing solutions” are not written together with conditions (3), (4), finally, the gluing solutions determined by (42), of problem ((1)–(4)), belong to the spaces H
i
,
L
D, i
=
1,2, which are proved.Now, we can prove the main theorem of solvability of problem ((9), (3)).Theorem 15 (on the solvability of problem ((9), (3))).
Let any conditions of Lemmas2 and 5 and Theorems 4, 9, 10, and 13 be satisfied. Then for any functions f
1
,
f
1
t
∈
L
2
D there exists a unique generalized solution of problem ((9), (3)) from the space H
2
,
L
D.Proof.
Since on the base of Theorems9, 10, and 13 there exists a unique solution u
+
x
,
t, u
-
x
,
t of problems ((9), (11)) and ((9), (12)) from the spaces H
2
,
L
D
+ and H
2
,
L
D
-, respectively, then function u
x
,
t which is constructed by formula (42) will also be from the class u
x
,
t
∈
H
2
,
L
D and at the same time it is generalized solution of (9); moreover, the functions u
+
x
,
t and u
-
x
,
t are strong generalized solution of problem ((9), (3)).
Consequently, it means that the strong and weak solutions of corresponding problems are identity. It follows that problem ((9), (3)) is solvability. The uniqueness of problem ((9), (3)) follows by means of inequality of Lemma 2. That is proof of Theorem 4. Analogically, the existence of strong solution of problem ((9), (3)) from the space H
1
,
L
D can be proved.


## 7. On the Solvability of Problem ((1)–(4))

For proving the solvability of problem ((1)–(4)) we use the method of “continuation by parameter.” It holds.Theorem 16 (on the solvability problem of ((10), (4))).
Let the conditions(45)
2
c
22
x
,
t
-
∑
i
=
1
n
a
i
2
2
x
,
t
-
b
22
x
,
t
≤
-
δ
1
<
0
,
x
,
t
∈
D
,
(46)
a
i
1
2
x
,
t
2
≤
M
1
k
2
(
x
)be satisfied. Then for any functions of f
2
(
x
,
t
)
∈
L
2
D there exists unique solution of problem ((10), (4)) in the space H
2
,
L
D (in case, instead of condition of (46), if taken smallest of coefficient a
i
1
2
x
,
t, then there exists unique solution of problem ((10), (4)) in space W
2
2
D).Proof.
By virtue of condition (45) and 2
b
22
-
k
1
t
(
2
)
≥
δ
1
>
0  b
22
(
x
,
0
)
-
k
1
t
(
2
)
(
0
)
≥
δ
1
>
0  ∀
x
∈
G; the operator(47)
L
2
(
υ
)
=
k
1
(
2
)
(
t
)
υ
t
t
+
Δ
υ
+
∑
i
=
1
n
a
i
2
(
2
)
υ
x
i
+
b
22
υ
t
+
c
22
υis coercive. Since the coefficient of k
1
(
2
)
(
t
) is sign fixed (according to [10]), then there exists unique solution of problem ((10), (4)) in space W
2
1
D. If υ
(
x
,
t
)
∈
W
2
1
D then (according to [23, 24]) any solution of problem ((10), (4)) will be element of space W
2
2
D. Analogically, repeating all the steps carried out for the solution υ
(
x
,
t
)
∈
H
2
,
L
D we can also establish that problem ((10), (4)) has generalized solution if condition (45) is satisfied. Therefore Theorem 16 is proved. Now we must prove solvability of problem ((1)–(4)).Let(48)
M
u
¯
=
K
u
¯
t
t
+
∑
i
=
1
n
A
i
u
¯
x
i
+
B
u
¯
t
+
C
u
¯
,
N
u
¯
=
∑
i
=
1
n
P
i
u
¯
x
i
+
Q
u
¯
t
+
R
u
¯
,
where
K
=
k
1
1
0
0
k
1
2
,
A
i
=
a
i
1
1
0
0
a
i
2
2
,
B
=
b
11
0
0
b
22
,
C
=
k
2
Δ
+
c
11
0
0
Δ
+
c
22
,
P
i
=
0
a
i
2
1
a
i
1
2
0
,
Q
=
0
b
12
b
21
0
,
R
=
0
c
12
c
21
0
,
u
¯
=
u
υ
,
f
¯
=
f
1
f
2
.Then the system equations (1) can be written in the form(49)
L
u
¯
=
M
u
¯
+
N
u
¯
=
f
¯
.Theorem 17.
Let the conditions of Lemmas2, 5, and 7 and Theorems 4, 9, 10, 13, 15, and 16 are satisfies; moreover f
1
,
f
2
,
f
1
t
∈
L
2
D, f
2
(
x
,
-
T
)
=
0, a
i
2
1
2
≤
M
k
2
(
x
) are fulfilled. Then there exists a unique solution of problem ((1)–(4)) in space H
2
,
L
D. In case that a
i
2
1 is smallest then there exists a unique solution of problem ((1)–(4)) from the space H
2
,
L
(
D
)
∩
W
2
2
(
D
).Proof.
Multiplying (49), by the vector η
1
¯
=
e
-
λ
t
u
t
,
-
υ in domain D
+, η
2
¯
=
e
μ
t
u
t
,
-
υ in domain D
-, after integration by parts and using the Cauchy inequality, allowing for boundary condition (by analogical action to Lemmas 2, 5, and 7), we get the following estimates: (50)
L
u
¯
L
2
(
D
)
≥
m
u
¯
H
1
,
L
D
or
L
u
¯
L
2
D
≥
m
u
¯
H
1
,
L
D
∩
W
2
1
D
.Now, let H
t
,
0 be the space of vector function φ
¯
=
(
φ
1
,
φ
2
) such that φ
1
,
φ
1
t
,
φ
2
∈
L
2
D and φ
1
(
x
,
-
T
)
=
0. The norm of space H
t
,
S is defined by φ
t
,
0
2
=
φ
1
t
0
2
+
φ
2
0
2.
From the results of Theorems15 and 16, follows a prior estimates (51)
u
¯
H
2
,
L
(
D
)
≤
p
M
u
¯
t
,
0
or
u
¯
H
2
,
L
D
∩
W
2
2
D
≤
p
M
u
¯
t
,
0
,where p constant is not dependent on u
¯
(
x
,
t
). We must show that analogical estimates (50) and (51) can be expressed for operator L
u. Indeed, we may write M
u
¯
=
L
u
¯
-
N
u
¯; then (52)
u
¯
H
2
,
L
(
D
)
≤
p
L
u
¯
t
,
0
+
N
u
¯
t
,
0
or
u
¯
H
2
,
L
(
D
)
∩
W
2
2
(
D
)
≤
p
L
u
¯
t
,
0
+
N
u
¯
t
,
0is valid. Now, we consider the set of equations L
τ
u
¯
=
M
u
¯
+
τ
N
u
¯ where 0
≤
τ
≤
1. Obviously, the following a prior estimate is uniformly bounded with respect to parameter of τ:(53)
u
¯
H
2
,
L
(
D
)
≤
c
1
L
τ
u
¯
t
,
0
,where c
1 is independent of parameter τ and u
¯
(
x
,
t
). On the other hand for τ
=
0 we have L
0
u
¯
=
M
u
¯. In this case we considered problem is solvable. Notice that if τ
=
1 then L
1
=
L. Then as well as known method of continuation by parameter we can prove solvability of problem ((1)–(4)).


## 8. Conclusion

The existence and uniqueness of the boundary value problem for linear systems equations of the mixed hyperbolic-elliptic type in the multivariate domain with the changing time direction are studied. The existence and uniqueness of generalized and regular solutions of a boundary problem are established in a weighted Sobolev space. Moreover, applying the result of the monograph [22], difference schemes for the numerical solution of the boundary value problem for linear systems equations of the mixed hyperbolic-elliptic type in the multivariate domain with the changing time direction can be presented. Of course, the stability estimates for the solution of these difference schemes have been established without any assumptions about the grid steps.



---

*Source: 703652-2015-03-02.xml*