1. Introduction
It is an important mathematical problem to consider the unsteady motion of a bubble in an incompressible viscous fluid or that of a drop in a compressible viscous one. The problem is, in general, formulated mathematically by the Navier–Stokes equations in a time-dependent domain separated by an interface, where one part of the domain is occupied by a compressible viscous fluid and another part by an incompressible viscous fluid. More precisely, we consider two fluids that fill a region
(
). Let
be a given surface that bounds the region
occupied by a compressible barotropic viscous fluid and the region
occupied by an incompressible viscous one. We assume that the boundary of
consists of two parts,
and
, where
,
,
, and
. Let
,
,
, and
with time variable
be the time evolution of
,
,
, and
, respectively. We assume that the two fluids are immiscible, so that
for any
. Moreover, we assume that no phase transitions occur, and we do not consider the surface tension at the interface
and the boundary
. Thus, in this paper, we consider that the motion of the fluids is governed by the following system of equations:
subject to the interface condition:
on
, boundary conditions:
kinematic conditions:
for any
, and initial conditions:
Here, are the unknown velocity fields of the fluids, positive numbers describing the mass densities of , the unknown mass density of , the unknown pressure, and the prescribed initial data, the prescribed pressure, which is a function defined on an open interval satisfying the condition: on , the unit outward normal to , pointing from to , the unit outward normal to , the evolution speed of along , and the evolution speed of along .
Moreover, for any point
,
is defined by:
and the stress tensors
are defined by:
with viscosity coefficients
and
, which are positive constants in this paper, where
denotes the deformation tensor whose
components are
with
and
is the
identity matrix. Finally, for an
matrix function
,
is an
N-vector whose
th components are
, and also, for any vector of functions
, we set
and
. For any functions
defined on
,
f denotes a function defined by
in
.
Aside from the dynamical system (
1) subject to (
2), (
3), and (
5), a kinematic condition (
4) for
and
gives:
where
is the solution of the Cauchy problem:
This expresses the fact that the interface
and the free surface
consist for all
of the same fluid particles, which do not leave them and are not incident on them from inside
. It is clear that
is given by:
Problem (
1) with (
2)–(
5) can therefore be written as an initial boundary value problem with interface
in the given domain
if we go over the Euler coordinates
to Lagrange coordinates
with
by (
7). If velocity vector fields
defined on
are known as functions of the Lagrange coordinates
, then this connection can be written in the form:
and
. Let
be the Jacobi matrix of the transformation (
9) with element
with
being the Kronecker delta symbols. There exists a small number
such that
is invertible, that is
, whenever:
while
in
, because of the incompressibility. Whenever (
10) is valid, we have:
with
(
denotes the transposed
M) and
, where
is the
matrix of
functions with respect to
defined on
and
. Let
and
be unit outward normals to
and
, respectively, and then, by (
8), we have:
Setting
and
and using the facts that
with
and
with
, we can write Equations (
1)–(
5) with Lagrange coordinates in the form:
for
subject to the initial condition:
Here,
,
, and
,
,
and
are nonlinear functions with respect to
,
,
of the forms:
with
,
,
, and
. In the formula (
13),
is defined by
,
means the trace of
matrix
B, and
is a matrix of the
function with respect to
defined on
, which satisfies
and relations:
with
.
Since the pioneering work [
1] on the well-posedness of Navier–Stokes equations around a free surface, there have been many studies on the free boundary problem. Here, we introduce the known results concerning compressible and incompressible viscous two-phase fluids.
Denisova [
2,
3] proved the local well-posedness theorem and the global well-posedness theorem for Equations (
1)–(
3) and (
5) in the
framework. The purpose of this paper is to prove the local well-posedness for Equations (
1)–(
3) and (
5) in the
in time and
in space framework with
and
under the physically reasonable assumption on the viscosity coefficients, that is
and
. The regularity of solutions in our result is optimal in the sense of the maximal regularity, while the
framework used by Denisova [
2,
3] loses regularity from the point of view of Sobolev’s imbedding theorem.
Moreover, we consider the problem with full generality about the domain. Namely, we consider the problem in a uniform
domain, the conditions of which are satisfied by bounded domains, exterior domains, half-spaces, perturbed half-spaces, and layer domains (cf. Shibata [
4]).
Symbols 1. To state our theorem on the local in time unique existence of solutions to Equations (
1)–(
3) and (
5), we introduce some functional spaces and the definition of the uniform
domain. For the differentiations of scalar functions
f and
N-vector functions
, we use the following symbols:
where
. For any domain
D and
,
,
, and
denote the standard Lebesgue space, Sobolev space, and Besov space, while
,
, and
denote their norms. We set
and
. In addition,
denotes the inner product on
D defined by
. Let
X be any Banach space with norm
. We set
, while its norm is denoted by
instead of
for short. Let
and
be homogeneous spaces defined by
and
, respectively, where
is the boundary of
D. Moreover, we set
. For
,
and
denote the usual Lebesgue space and Sobolev space of
X-valued functions defined on an interval
, while
and
denote their norms, respectively. For any
N-vector
and
, we define
,
, and
by:
respectively. Here,
denotes the tangential part of
with respect to
. For
,
denotes the dual exponent defined by
. We use the letter
C to denote generic constants, and
denotes that the constant
essentially depends on the quantities
a,
b, ⋯. Constants
C,
may change from line to line.
In this paper, let
be a solenoidal space defined by setting:
We write
in
D for
,
, and
, if:
We now introduce a few definitions.
Definition 1. Let , and let D be a domain in with boundary . We say that D is a uniform domain, if there exist positive constants α, β, and K such that for any , there exist a coordinate number j and a function defined on with and such that: Here, , , and .
Second, we introduce the assumption of the solvability of the weak Dirichlet problem, which is needed to treat the divergence condition for the incompressible part.
Definition 2. Let . We say that the weak Dirichlet problem is uniquely solvable on with exponents q, if for any , there exists a unique solution of the variational problem: Remark 1. (1) Since with , . (2) When , the weak Dirichlet problem is uniquely solvable on without any restriction, but for , we do not know the unique solvability in general. For example, we know the unique solvability of the weak Dirichlet problem in bounded domains, exterior domains, half-space, layer, and tube domains. (cf. Galdi [5], as well as Shibata [4,6]). Remark 2. Let be a linear operator defined by . Then, combining the unique solvability with Banach’s closed range theorem implies the estimate: Moreover, for any and , satisfies the variational equation: for any , subject to on Γ and . Here, we set , which is the space for the pressure term in the incompressible part.
The following theorem is our main result about local in time unique existence of solutions to Equations (
11) with (
12).
Theorem 1. Let , , , and . Let be positive constants describing the reference mass density on , and let be a function defined on such that with some positive constant for any . Let be uniform domains in . Assume that the weak Dirichlet problem is uniquely solvable on with exponents q and . Let and be initial data with: which satisfy the compatibility condition: Then, there exists a depending on R such that the system of Equations (
11)
with (
12)
admits a unique solution with: satisfying (
10)
and the estimate: with some constant depending on R, , p, and q.
Using the argument due to Ströhmer [
7], we can show the injectivity of the map
, so that we have the following local in time unique existence theorem for (
1)–(
5).
Theorem 2. Let , , , and . Assume that are uniform domains. Assume that the weak Dirichlet problem is uniquely solvable on with exponents q and . Let and be initial data that satisfy the compatibility condition (
20)
, range condition (
21)
, and: Then, there exists a depending on R such that Equation (
1)
subject to the interface condition (
2)
, boundary condition (
3)
, kinematic condition (
4)
, and initial condition (
5)
admits a unique solution with: Remark 3. Here, denotes that for almost all , and: Theorem 1 is proven by using a standard fixed point argument based on the maximal
-
regularity for solutions to the linear problem:
Here,
(
) are uniformly continuous functions defined on
such that:
for
and
with some positive constant
and
. We may consider the case where
, which corresponds to the Lamé system.
Symbols 2. To state our main result for linear Equation (
22), we introduce more symbols and functional spaces used throughout this paper. Set:
and
. Moreover, we set:
with
and
and
.
Let
and
denote the Laplace transform and the Laplace inverse transform defined by:
with
, respectively. Given
and
X-valued function
, we set:
We introduce a Bessel potential space of
X-valued functions of order
as follows:
We have the following theorem.
Theorem 3. Let , , , and . Assume that , that are uniformly domains, and that the weak Dirichlet problem is uniquely solvable on with exponents q and . Then, there exists a positive number such that the following three assertions are valid.
ExistenceFor any initial data and , and any right members , , , , and with: satisfying the compatibility conditions: Equation (
22)
admits solutions and with: for any , where C is a constant independent of γ.
UniquenessLet and satisfy (
26)
and Equation (
22)
with , , , , , and , then and . To prove Theorem 3, Problem (
22) is divided into two parts: One is the case where the right side in (
22) is considered for all
, while the initial conditions are not taken into account. The other case is non-homogeneous initial conditions and a zero right side in (
22). In the first case, solutions are represented by the Laplace inverse transform of solution formulas represented by using
-bounded solution operators for the generalized resolvent problem corresponding to (
22). Combining the
-boundedness and Weis’s operator-valued Fourier multiplier theorem yields the maximal
-
estimate of solutions to Equation (
22) with zero initial conditions. Moreover, the
-bounded solution operators yield the generation of the continuous analytic semigroup associated with Equation (
22), which, combined with some real interpolation technique, yields the
-
maximal regularity for the initial problem for Equation (
22). Combining these two results gives Theorem 3. To prove the generation of the continuous analytic semigroup, we have to eliminate the pressure term
in Equation (
22), and so, using the assumption of the unique existence of the weak Dirichlet problem, we define the reduced generalized resolvent problem (RGRP) (cf. (
41) in
Section 2 below) according to Grubb and Solonnikov [
8], which is the equivalent system to the generalized resolvent problem (GRP) corresponding to (
22).
The paper is organized as follows. In
Section 2, first we introduce (GRP) and state main results for (GRP). Secondly, we drive (RGRP) and discuss some equivalence between (GRP) and (RGRP). Thirdly, we state the main results for (RGRP), which implies the results for (GRP) according to the equivalence between (GRP) and (RGRP). In
Section 3, we discuss the model problems in
. In
Section 4, we discuss the bent half space problems for (RGRP). In
Section 5, we prove the main result for (RGRP) and also Theorem 3. In
Section 6, we prove Theorem 1 by the Banach fixed point argument based on Theorem 3.
2. -Bounded Solution Operators
To prove the generation of the continuous analytic semigroup and the maximal
-
regularity for the linear problem (
22), we show the existence of
-bounded solution operators to the following generalized resolvent problem (GRP) corresponding to: (
22):
When
, setting
, we transfer the second equation and the fifth equation in (
28) to:
respectively. Thus,
and
, being renamed
and
, respectively, and setting
, from now on, we consider the following problem:
Here, and satisfy one of the following three conditions:
- (C1)
, ,
- (C2)
with , with and ,
- (C3)
with , with ,
where we set
with
,
, and:
with
. We may include the case where
, which corresponds to the Lamé system. The former case C1 is used to prove the existence of
-bounded solution operators to (
28), and the latter cases C2 and C3 enable the application of a homotopic argument for proving the exponential stability of the analytic semigroup in bounded domains. For the sake of simplicity, we introduce the set
defined by:
Note that .
Before stating our main results for the linear problem, we introduce a few symbols and the definition of the
-bounded operator family and the operator-valued Fourier multiplier theorem due to Weis [
9].
Symbols 3. For any two Banach spaces
X and
Y,
denotes the set of all bounded linear operators from
X to
Y, and we write
for short.
denotes the set of all
X-valued holomorphic functions defined on a complex domain
U. Let
and
be the set of all
X-valued
-functions having compact support and the Schwartz space of rapidly decreasing
X-valued functions, respectively, while
. Given
, we define the operator
by:
Here,
and
denote the Fourier transform and its inversion defined by:
respectively.
Definition 3. Let X and Y be Banach spaces. A family of operators is called -bounded on , if there exist constants and such that for any , , , and sequences of independent, symmetric, -valued random variables on , there holds the inequality: The smallest such C is called the -bound of , which is denoted by .
The following theorem was obtained by Weis [
9].
Theorem 4. Let X and Y be two UMD spaces and . Let M be a function in such that:with some constant κ. Then, the operator defined in (
32)
may uniquely be extended to a bounded linear operator from to . Moreover, denoting this extension by , we have:for some positive constant C depending on p, X, and Y. Remark 4. For the definition of the UMD space, we refer to the monograph by Amann [10]. For and , Lebesgue spaces and Sobolev spaces are UMD spaces. For the calculation of the -norm, we use the following lemmas.
Lemma 1. (1) Let X and Y be Banach spaces, and let and be -bounded families in . Then, is also an -bounded family in and: (2) Let X, Y, and Z be Banach spaces, and let and be -bounded families in and , respectively. Then, is also an -bounded family in and: Lemma 2. Let , and let D be a domain in .
(1) Let be a bounded function defined on a subset , and let be a multiplication operator with defined by for any . Then, (2) Let be a function defined on that satisfies the conditions: and with some constant for any . Let be an operator-valued Fourier multiplier defined by for any f with . Then, is extended to a bounded linear operator from into itself. Moreover, denoting this extension also by , we have: Remark 5. For the proofs of Lemma 1 and Lemma 2, we refer to [11], p.28, 3.4. Proposition and p.27, 3.2. Remarks (4) (cf. also Bourgain [12]), respectively. 2.1. Existence of -Bounded Solution Operators
for Problems (28) and (29)
We state two theorems about the existence of
-bounded solution operators to Problems (
28) and (
29).
Theorem 5. Let , and . Assume that , that are uniform domains, and that the weak Dirichlet problem is uniquely solvable on with exponents q and . Let and be the spaces defined by: Then, there exist a constant and operator families and with:such that and are unique solutions to Problem (
29)
for any and , and:for and . Here, we set . Remark 6. (i) The constants depend on ϵ, q, r, , , , , and , but we do not mention this dependence.
(ii) The variables , , , , , , , , and correspond to , , , , , , , , and .
(iii) The norms and are defined by: Since
in (
28), the following theorem follows immediately from Theorem 5 and Lemma 1.
Theorem 6. Let , , and . Assume that , that are uniform domains, and that the weak Dirichlet problem is uniquely solvable on with exponents q and . Let and be the sets defined by: Then, there exist a constant and operator families and with:such that , , and are unique solutions to Problem (28) for any and , and:for , , and . Here, we set . Remark 7. The variable corresponds to , and we set: 2.2. Reduced Generalized Resolvent Problem
Since the pressure term
has no time evolution in (
22), we eliminate
from (
29) and derive a reduced problem. Before this discussion, we consider the resolvent problem for the Laplace operator with non-homogeneous Dirichlet condition of the form:
subject to
and
. Here and in the following, we write
for short. Note that:
We can show the following theorem by using the method in Shibata [
13].
Theorem 7. Let , , and . Assume that and that is a uniform domain. Set: Then, there exist a and an operator family such that for any and , is a unique solution to (33), and:Here, we set . Remark 8. (i) , , , and are the corresponding variables to , , and .(ii) Since -boundedness implies the usual boundedness, by (
34)
and (
35)
we have:with . Here, is the dual space of . We start our main discussion in this subsection. Given
, let
denote an extension of
to
such that
and
. Since we can choose some uniform covering of
(cf. Proposition 4 in
Section 5 below),
is defined by the even extension of
in each local chart. For
, we define an operator
by
, where we set
,
and
is the operator defined in Remark 2. Note that
and satisfies the variational equation:
subject to:
and the estimate:
The reduced generalized resolvent problem (RGRP) is the following:
Using
defined in (
14), we can write the interface condition and free boundary condition in (
41) as follows:
We say that
is a solution to (
41) with
if
and
satisfies Equation (
41). Furthermore, we say that
is a solution to (
29) with
if
,
and
and
satisfy Equation (
29). In this subsection, we show the equivalence of the solutions between (
29) and (
41).
Assertion 1. If (
29) is solvable, then so is (
41).
In fact, we define
by
with
,
and
. Notice that
with
. Let
be a solution to (
29) with
. In particular,
, namely
and
. From the second equation of (
29), it follows that for any
:
which yields that
for any
. Moreover,
Thus, the uniqueness yields that
, and so,
is a solution to (
41) with
.
Assertion 2. If (
41) is solvable, then so is (
29).
In fact, given
,
, and
, we define
by
with
. Next, given
, we define
by:
with
. Let
be a solution to equations:
Setting
, we see that
is a solution to (
29) with
. In fact, our task is to prove that
. Notice that
and
for any
. Thus, by (
38):
for any
, which yields that:
Taking
in (
44), using the divergence theorem of Gauss, and noticing that
give that:
Moreover, from the third equation in (
42) and (
39), it follows that:
Thus, the uniqueness yields that
in
. Inserting this fact into (
44) and using the fact that
, we have
, which shows that
.
Noting that
and
on
and that
and
on
, we have:
Thus,
is a solution of Equation (
29) with
.
2.3. Existence of -Bounded Solution Operators for Problem
(41)
The following theorem is concerned with the existence of
-bounded solution operators to Problem (
41).
Theorem 8. Let , and . Assume that , that are uniform domains, and the weak Dirichlet problem is uniquely solvable in with exponents q and . Let and be the sets defined by: Then, there exist a constant and operator families such that for any and , is a unique solution to (
41)
and:for and , where we set and . Remark 9. For any subdomain , we set: Obviously, according to Assertion 2 in
Section 2.2, by Theorem 8, Lemma 1, and Lemma 2 we have Theorem 6. Thus, we shall prove Theorem 8 only.
2.4. The Uniqueness of Solutions to Problem (41)
Assuming the existence of solutions to Problem (
41) with exponent
, we prove the uniqueness of solutions to (
41). Namely, we prove the following lemma.
Lemma 3. Let and . Assume that , that are uniform domains, and that the weak Dirichlet problem is uniquely solvable on with exponents q and . If there exists a such that Problem (
41)
is solvable with exponent for any , then the uniqueness for (
41)
with exponent q is valid for any . Remark 10. (i) The reason why we assume that is that we use the existence of solutions to the dual problem to prove the uniqueness.(ii) The uniqueness means that if is a solution to (41) with , then . Before proving Lemma 3, first we prove that if
is a solution to (
41) with
and if
, then
, as well. In fact, for any
, we have:
Choosing
, we have:
Thus, the uniqueness guaranteed by Theorem 7 implies that
, which inserted into (
45) yields that
.
Secondly, for any
and
with
and
:
with:
provided that
with
and
, where for
and
, we set
,
being the surface element on
G. In fact, setting
, by the divergence theorem of Gauss, we have:
with:
because
as follows from
. Analogously, we have:
with
. Since
and
, we have
, so that we have (
47).
Proof of Lemma 3.
Let
satisfy (
41) with
, that is let
satisfy the homogeneous equation. In particular,
. Let
and
be any vectors of functions in
. We define
by
, and then,
. Let
be a solution to (
41) with
. Since
,
, so that by (
47) and the fact that
, we have:
Since are chosen arbitrarily, we have , which completes the proof of Lemma 3. □
3. Model Problems
In this section, we consider a model problem for the incompressible-compressible viscous fluid in
. In what follows, we set:
and
. Before stating the main results of this section, we notice that the following two variational problems are uniquely solvable:
subject to
. More precisely, let
. As is well known, for any
, Problem (
48) admits a unique solution
possessing the estimate:
. We define an operator
acting on
by setting
.
Moreover, for any
,
, and
, Problem (49) admits a unique solution
possessing the estimate:
, where
C is independent of
. This assertion is also known (cf. [
13]). In particular, we have
.
In this section, assuming that
and
are positive constants such that:
we consider the following interface problem in
:
Here,
and
are prescribed functions, and for notational simplicity, we set:
Moreover,
is a unique solution to the variational problem:
subject to
on
with:
We prove the following theorem.
Theorem 9. Let , , . Let and be the sets defined by:Then, there exist operator families such that for any and , is a unique solution to (
50),
and:for and with some constant depending on ϵ, q, , , , , , , and N. Here, we set . According to Assertion 1 in
Section 2.2, we consider the following system of equations:
Then, Theorem 9 follows from the following theorem, because (
49) is uniquely solvable.
Theorem 10. Let , , . Let and be the sets defined by: Then, there exist operator families and with:such that for any and , and are unique solutions to (
54)
, and:for and with some constant depending on δ, , ϵ, , and q. Here, we set . To prove Theorem 10, we first reduce the problem to the case where
and
. Concerning the incompressible part, we consider the following equations:
where
. We start with proving that for any
and
:
Since
is not dense in
in general (cf. Shibata [
6]), we give a proof below. To prove (
57), we use an inequality:
for any
and
. In fact, representing
with
and using the Hardy inequality, we have:
which yields (
58). To prove (
57), we take
, which equals one for
and zero for
, and set
. For any
and
,
In fact, by (
58):
as
, which yields (
59). We now prove (
57). Notice that
. Since
is dense in
, we take a sequence
of
such that
as
. Then, by (
59),
which shows (
57).
We now consider equations:
for
, where
. Noticing that
and using (
57), for any
, we have:
Thus, we have
, and so, the first equation in (
60) is reduced to equations:
for
. The first equations and third equations in (
61) become the following equations:
where
denotes the
jth component of
N-vector,
. We use the following theorem, which was proven in [
13].
Proposition 1. Let , and . Then, the following two assertions hold: (1) There exists an operator family such that for any and , are unique solutions of Equation (
62)
, and:for , and with some constant depending on . Then, there exists an operator family such that for any and , is a unique solution of Equation (63), and: for , and with some constant depending on .
Finally, we prove that
with
. In fact, for any
, by (
57), (
62), and (
63) we have:
which yields that:
for any
. By the divergence theorem of Gauss and the assumption that
, we have:
for any
. Since
, therefore the uniqueness yields that
. Thus, by (
64), we have
, which shows that
and
p satisfy (
56).
Summing up, we proved the following proposition.
Proposition 2. Let , , and . Let: Then, there exists an operator family such that for any and , is a unique solution of Equation (
56)
, and:for , and with some constant depending on . Concerning the compressible part, we consider the equations:
We know the following theorem, which was proven by Götz and Shibata [
14].
Proposition 3. Let , , , and . Then, there exists an operator family such that for any and , is a unique solution to Problem (
65)
, and:for , with some constant depending on ϵ, , , , q, and N. We now set
and
in Equation (
54), and then, the equations for
and
are the following:
Concerning Equation (
66), we know the following theorem, which was proven by Kubo, Shibata, and Soga [
15].
Theorem 11. Let , , and . Let:Then, there exist operator families and with:such that for any and , and are unique solutions to (66), where ,for and with some constant depending on ϵ, , , , q, and N. Remark 13. , , , , and are the corresponding variables to , , , and . We set: Combining Proposition 2 and Proposition 3 with Lemma 1 and Lemma 2, we have Theorem 10. This completes the proof of Theorem 9.
4. Several Problems in Bent Spaces
Let
be a bijection of the
class, and let
be its inverse map. Writing
and
, we assume that
and
are orthonormal matrices with constant coefficients and
and
are matrices of functions in
with
such that:
We will choose
small enough eventually, and so we may assume that
. We set
and
, and we denote the unit outward normal to
S pointing from
to
by
. Since
S is represented by
with
, we have:
where we set
and
. Notice that
is defined on the whole
. By (
67) with small
,
with
possessing the estimate:
and
. Let
and
be real-valued functions defined on
satisfying the following conditions:
for
and 3, where
(
) are some constants with
and
.
First, we consider the following problem:
Moreover,
is a solution to the weak Dirichlet problem:
subject to
. We have the following theorem.
Theorem 12. Let , , and . Let and be sets defined by replacing and by D and , respectively, in Theorem 9. Then, there exist constants , and operator families such that for any and , is a unique solution to (
71)
, and: Remark 14. Here and in the following, depends on ϵ, q, , , , , but is independent of . In addition, constants denoted by and depend on , ϵ, q, , , , , and N, but we mention only dependence on .
Proof. The idea of the proof here follows Shibata [
16] and von Below, Enomoto, and Shibata [
17]. Using the change of variable:
with
and
and the change of unknown functions:
, writing
and
, and setting
, we see that Problem (
71) is transferred to the following equivalent problem:
subject to the interface condition:
and:
p satisfies the following variational equation:
subject to:
Here, we write
for short, and
,
, and
are the vector of functions of the forms:
for
and
. In view of (
67)–(
70), we can assume that
,
, and
possesses the following estimate:
for
,
, and
. Following Shibata ([
16]
Section 4), we treat the
side as follows: Let
be a function defined in (
52), which satisfies the estimate:
Setting
, we see that
satisfies the variational equation:
subject to:
Since is small enough, we can show the following lemma by the small perturbation from the weak Dirichlet problem in .
Lemma 4. Let . Then, there exist a constant and an operator Ψ with:such that for any and , is a unique solution to the variational problem:subject to . By Lemma 4,
with
and
. Inserting
into (
73), we have:
subject to the interface conditions
and:
To solve (
81) for any right members
, we set
in (
81), where
are operators given in Theorem 9, and then, we have:
subject to the interface conditions
and:
Here, we set:
and
denote the even extension of functions
defined on
to
. Note that:
with
. Let us define the corresponding
- bounded operators
and
by:
Set
and
. Obviously,
To obtain:
we use the following lemma (cf. Shibata ([
4] Lemma 2.4)).
Lemma 5. Let or . Let and . Then, there exists a constant such that for any , and , it holds that: To prove (
85), for example, we treat
. Recalling (
75) and using (
83), (
76), Lemma 5, Lemma 2, Theorem 9, and (
53), we have:
Analogously, we can estimate the
-bound of any other terms, and therefore, we have (
85).
Recalling (
53) and
, we see that
gives equivalent norms of
. By (
84) and (
85), we have:
for any
. Thus, choosing
and
so small and
so large that
, we have:
and therefore,
exists in
. If we set
, with
, then in view of (
82),
solve (
81). Moreover, using (
84), we have
, and so, defining operators
by
and using (
85) and Theorem 9, we see that
with
is a unique solution to (
81), and:
Since
is a unique solution to (
71), we have Theorem 12 by the pullback. □
Next, for the compressible part, we consider the following two problems.
Since we know the existence of
-bounded solution operators in
and
(cf. Enomoto and Shibata [
18]), in a similar fashion to the proof of Theorem 9, we can prove the following theorem (cf. von Below, Enomoto and Shibata [
17]).
Theorem 13. Let , , and . Then, there exist constants and such that the following two assertions hold:(1) There exists an operator family such that for any and , is a unique solution to (
86)
, and:(2) There exists an operator family such that for any and , is a unique solution to (87), and: Finally, for the incompressible part, we consider the following two problems:
where
and
are unique solutions to the following variational problems:
subject to
on
S, and:
respectively. Since we know the existence of
-bounded solution operators in
and
(cf. Shibata and Shimizu [
19]), in a similar fashion to the proof of Theorem 9, we can prove the following theorem (cf. Shibata [
16]).
Theorem 14. Let and . Then, there exist constants and such that the following two assertions hold.(1) Let and be sets defined by: Then, there exists an operator family such that for any and , is a unique solution to (88), and: Here, .
(2) There exists an operator family such that for any and , is a unique solution to (89), and: 6. A Proof of Theorem 1
In what follows, we assume that
,
,
, that
are uniform
domains in
(
), and that the weak Dirichlet problem is uniquely solvable in
. By Sobolev’s imbedding theorem, we have:
Let
and
be initial data satisfying the compatibility condition (
20), range condition (
21), and
.
To prove Theorem 1, we follow the argument due to Shibata and Shimizu ([
21]
Section 2). Let
and
be solutions to linear problem:
for any
subject to the initial condition:
in
and
in
with some pressure term
, where
and
. Since
satisfy the compatibility condition (
20), by Theorem 3, we know the unique existence of
and
with:
with large
depending on
possessing the estimate:
for any
. In the following,
is fixed such as
. Let
be the zero extension of
to
and
be the even extension of
to
, that is:
Let
be a function in
such that
for
and
for
, and set
. By (
123):
We look for a solution to (
11) of the form:
and
, so that
and
enjoy the equations:
for
subject to the initial condition:
in
and
in
with some pressure term
. We solve (
125) by the contraction mapping principle. For this purpose, we introduce an underlying space
defined by:
We choose
so small eventually that we may assume that
. We choose
large enough that
in (
124) in such a way that:
In the following,
C denotes a generic constant depending on
, but we do not mention this dependence. For any function
f defined on
with
,
denotes the zero extension of
f to
, and we define
by
for
and
for
. Note that
for
and that
for
,
for
, and
for
. For
, we set:
Employing the same argument due to Shibata and Shimizu ([
21]
Section 2) and using (
126) and (
127), we have:
where we used the fact that
. In addition, by (
126) and (
127):
In fact, as was seen in Shibata and Shimizu [
22],
is continuously imbedded into
, and so, we have the first estimate in (
131) by (
130). Replacing the Fourier multiplier theorem of the Mihlin type [
23] by that of Bourgain [
12] (cf. Lemma 2) in the paper due to Calderón [
24] about the Bessel potential space (cf. Amann [
25]), we see that
is continuously imbedded into the space
if
. Thus, we have:
and therefore, the second estimate in (
131) follows from the first one. Since
for
,
for
, and
for
, (132) follows from (
131) and (
130).
We choose
so small that:
and therefore, we can define
(
) and
(
). Since
(
), by (
129) and (132):
for
.
We define
,
,
,
,
, and
by:
where we set:
and:
By (
128), we have:
for
. By (
120), (
129), (
130), and (
134), we have:
with some constant
depending on
R. Since
for
, we have:
and so, by (
134), (
131), and (
130), we have:
To estimate
, we use the following lemma due to Shibata and Shimizu ([
21] Lemma 2.6).
Lemma 11. Let , , and . Let and . If and for , then we have: Applying Lemma 11 to
, we have:
and so, by (
130) and (
134):
Since
, by (
120), (
129), and (
130), we have:
Let
and
be solutions to equations:
for
subject to the initial condition:
in
and
in
with some pressure term
. By Theorem 3 and the estimates (
136), (
137), (
138), and (
140), we have:
with some constant
depending on
R and
. By (
135),
and
satisfy equations:
for
subject to the initial condition:
in
and
in
with some pressure term
.
Let
be a map defined by
, the restriction of
to the time interval
. Since:
as follows from (143), choosing
so small that
, we see that
is the map from
into itself. Choosing
smaller if necessary, we can show that
is a contraction map on
, and so by the Banach fixed point theorem
has a unique fixed point
that solves Equation (
125) uniquely. This completes the proof of Theorem 1.