Abstract
In this paper, we consider some two phase problems of compressible and incompressible viscous fluids’ flow without surface tension under the assumption that the initial domain is a uniform domain in (). We prove the local in the time unique existence theorem for our problem in the in time and in space framework with and under our assumption. In our proof, we first transform an unknown time-dependent domain into the initial domain by using the Lagrangian transformation. Secondly, we solve the problem by the contraction mapping theorem with the maximal - regularity of the generalized Stokes operator for the compressible and incompressible viscous fluids’ flow with the free boundary condition. The key step of our proof is to prove the existence of an -bounded solution operator to resolve the corresponding linearized problem. The Weis operator-valued Fourier multiplier theorem with -boundedness implies the generation of a continuous analytic semigroup and the maximal - regularity theorem.
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 [] 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 [,] 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 [,] 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 []).
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 [], as well as Shibata [,]).
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:
and the range condition:
Then, there exists a depending on R such that the system of Equations (11) with (12) admits a unique solution with:
with some constant depending on R, , p, and q.
Using the argument due to Ströhmer [], 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.
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:
possessing the estimate:
for any , where C is a constant independent of γ.
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 [], 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 [].
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 [].
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 []. 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 [], p.28, 3.4. Proposition and p.27, 3.2. Remarks (4) (cf. also Bourgain []), respectively.
2.1. Existence of -Bounded Solution Operators for 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 [].
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.
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.
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.
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:
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.
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:
In addition, 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. []). 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 .
Remark 11.
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 .
Remark 12.
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 []), 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).
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 [].
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 .
(2) Let
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 [].
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 [].
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 [] and von Below, Enomoto, and Shibata []. 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 ([] 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 .
Here, we used (78).
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 ([] 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 []), in a similar fashion to the proof of Theorem 9, we can prove the following theorem (cf. von Below, Enomoto and Shibata []).
Theorem 13.
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 []), in a similar fashion to the proof of Theorem 9, we can prove the following theorem (cf. Shibata []).
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:
5. A Proof of Theorem 8
5.1. Some Preparations for the Proof of Theorem 8
We first give several properties of the uniform domain in the following proposition.
Proposition 4.
Let , and let be uniform domains in . Let be the number given in (67). Then, there exist constants , , at most countably many N-vectors of functions , and points , , , and such that the following assertions hold:
- (i)
- The maps: are bijective such that , , where and are constant orthonormal matrices, and and are matrices of functions that satisfy the conditions: and .
- (ii)
- with , and , , , , , , and . Here and in the following, we set , , and for notational convenience.
- (iii)
- There exist functions and such that , , , on , on , on .
- (iv)
- There exists a natural number such that any distinct sets of have an empty intersection.
Proof.
For a detailed proof, we refer to Enomoto and Shibata ([] Appendix). □
In the following, choosing larger if necessary, we may assume that , which is a weaker assumption than the last condition in (23). Since functions in are Hölder continuous of order with , as follows from Sobolev’s imbedding theorem, we have for any () with some constant C independent of j, and so choosing smaller and more points suitably, we may assume that for . Here and in the following, constants denoted by C are independent of . In addition, in view of (68), we may assume that each unit outward normal to () is defined on and satisfies the conditions: and . Note that on and on .
Summing up, from now on, we may assume that:
and that both and are defined on with and , respectively.
Next, we prepare two lemmas used to construct a parametrix.
Lemma 6.
Let X be a Banach space and its dual space, while , and are the norm of X, the norm of , and the duality of X and , respectively. Let , and for , let , let be sequences in . Let and be sequences of positive numbers. Assume that there exist maps such that:
for any with some constant independent of . If:
then the infinite sum exists in the strong topology of and:
Lemma 7.
Let D be a domain in , and assume that there exists at most countably many covering such that and has a finite intersection property of order L, that is any distinct sets of have an empty intersection. Let . Then, the following assertions hold.
- (i)
- There exists a constant such that:
- (ii)
- Let . Let be a sequence in , and let be sequences of positive numbers. Assume that:with some constant independent of . Then, exists in the strong topology of and:
Remark 15.
To prove Lemma 6, we consider the difference of finite sum and use the Hölder inequality for the sequence. The assertion (i) of Lemma 7 follows immediately from the property of the Lebesgue measure and suitable decomposition of covering sets , and the assertion (ii) of Lemma 7 follows from Lemma 6 and Lemma 7 (i).
5.2. Local Solutions
In the following, we write , , , , , , , , and for short. denote the unit outward normals to pointing from to , and denote the unit outward normals to for . In view of (90), we define the functions by:
for , , and . Noting that and , by (90) and (23):
for , , and . In addition, we have:
because on . For , we consider the equations:
Here, is a unique solution to the variational problem:
subject to . Here and in the following, and denote the spaces defined in Theorem 8 in Section 2.3.
Moreover, we consider the following four problems:
Here, and are unique solutions to the variational problem:
subject to , and the variational problem:
Here and in the following, and general constants denoted by C are independent of and . By Theorem 12 in Section 4, there exist operator families such that for any , are unique solutions to the problem in (93), and:
for and . Moreover, by Theorem 13 and Theorem 14 in Section 4, there exist operator families such that for any are unique solutions of the problems in (95) (), and:
for and . Here and in the following, we set , , (cf. and were given in Theorem 14), , . Moreover, we set , , , , and . Since -boundedness implies the usual boundedness, by (98) and (99),
for any , because .
5.3. Construction of Parametrices
For , we define parametrices by:
Set , where and , and for notational simplicity. By (100),
for any , and so, by Lemma 6 and Lemma 7, the infinite sums in (101) exist in the strong topology of and . By (37), (42), (92), (93), (95)–(97), and (101), setting , we have:
where we set:
Finally, we construct -bounded solution operators that represent . For , we set:
Obviously,
where . By (98), we have:
for any , and , where are the same as in Definition 3. By (98), Lemma 6, and Lemma 7, exists in the strong topology of . exist in the strong topology of with for and for , and:
for any complex numbers , , and (). Setting and , by the facts that and (106), we have:
5.4. Estimates of the Remainder Terms
We introduce the operators that represent , , , and as follows:
for any . Setting:
we have:
for any with some constant depending on . If we prove (110), then, choosing so small and so large that , we see that exists in . Thus, in view of (107), (109), (110), and (102), we see easily that has a required -bounded solution operator to (41), which completes the proof of Theorem 8.
Thus, we prove (110) in the following. By direct use of Lemma 6, Lemma 7, Lemma 1, Lemma 2, Remark 9, (98), and (104), we can estimate , , and , except for . In fact, for example,
for any , and so, there exists an operator family such that exists in the strong topology of and By (98) and the monotone convergence theorem, for any , , and :
from which it follows that . The other terms except for can be estimated in the same manner. Namely, we have:
Next, we estimate . We use the following two lemmas due to Shibata [].
Lemma 8.
Let . Then, there exists a constant c independent of such that:
where are suitable constants depending on ψ.
Lemma 9.
Let . Then, there exists a constant c independent of such that:
for any and , where are symbols defined by and .
Lemma 10.
Let . Then,
for and , where is a constant independent of .
To estimate , we write with:
Denoting the duality of and by and using (38) and (94), we define an operator acting on by the following formulas: For any :
with:
By (98), (99), Lemma 8, Lemma 9, and Lemma 10, we have:
which, combined with (98) and (99), yields that:
Identifying , by the Hahn–Banach theorem, there exists an operator family such that and:
Since the weak Dirichlet problem is assumed to be uniquely solvable, we have , which yields that:
Therefore, we have (110), and so, the proof of Theorem 8 is complete.
5.5. A Proof of Theorem 3
Instead of Problem (22), we consider:
We first consider the generation of the analytic semigroup associated with the following equations:
In view of Theorem 8, let , and set , then and are unique solutions of Equation (28) with and and possess the estimates:
for any . Here, using the same argument as in Assertion 2 in Sect.2, we see that , and so, in (28). Set:
Then, Problem (113) generates a analytic semigroup on . Let , where denotes a real interpolation functor. By a standard real interpolation method (trace method), we see that Problem (113) admits unique solutions and with:
possessing the estimate:
for any . Moreover, for any . The uniqueness follows from Duhamel’s principle.
We now consider equations:
Applying the Laplace transform to (117) and setting and , we have:
Applying Theorem 5 yields that , , and satisfy Equation (118), and so, and satisfy Equation (118). Moreover, applying Theorem 4 yields that:
Here, we may assume that .
To prove Theorem 3, setting , and in (22), we see that , , and satisfy Equation (113) with and . By compatibility conditions (25) and the assumption that , we see that , and so, Problem (113) admits unique solutions and satisfying (115) and (116). By the real interpolation theorem, we have:
which, combined with (119), yields the existence part of Theorem 3, because for any . The uniqueness follows from Duhamel’s principle or the existence theorem of dual problems (cf. ([] Section 3.5.10)). This completes the proof of Theorem 3.
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:
To prove Theorem 1, we follow the argument due to Shibata and Shimizu ([] 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:
Note that:
Employing the same argument due to Shibata and Shimizu ([] Section 2) and using (126) and (127), we have:
where we used the fact that . In addition, by (126) and (127):
Moreover, we have:
In fact, as was seen in Shibata and Shimizu [], is continuously imbedded into , and so, we have the first estimate in (131) by (130). Replacing the Fourier multiplier theorem of the Mihlin type [] by that of Bourgain [] (cf. Lemma 2) in the paper due to Calderón [] about the Bessel potential space (cf. Amann []), 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 ([] Lemma 2.6).
Lemma 11.
Let , , and . Let and . If and for , then we have:
Analogously, 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.
Author Contributions
Conceptualization, Y.S.; formal analysis, T.K. and Y.S.; funding acquisition, T.K. and Y.S.; investigation, T.K. and Y.S.; methodology, T.K.; writing—original draft preparation, T.K. and Y.S. All authors have read and agreed to the published version of the manuscript.
Funding
This work was supported by Top Global University Project, JSPS Grant-in-aid for Scientific Research (A) 17H0109, (C) 19K03577, and the Toyota Central Research Institute Joint Research Fund.
Institutional Review Board Statement
Not applicable.
Informed Consent Statement
Not applicable.
Data Availability Statement
No data.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Solonnikov, V.A.; Scadilov, V.E. On a boundary value problem for a stationary system of Navier–Stokes equations. Proc. Steklov Inst. Math. 1973, 125, 186–199. [Google Scholar]
- Denisova, I.V. Evolution of compressible and incompressible fluids separated by a closed interface. Interface Free. Bound 2000, 2, 283–312. [Google Scholar] [CrossRef]
- Denisova, I.V. On energy inequality for the problem on the evolution of two fluids of different types without surface tension. J. Math. Fluid Mech. 2015, 17, 183–198. [Google Scholar] [CrossRef]
- Shibata, Y. Generalized resolvent estimates of the Stokes equations with first order boundary condition in a general domain. J. Math. Fluid Mech. 2013, 15, 1–40. [Google Scholar] [CrossRef]
- Galdi, G.P. An Introduction to the Mathematical Theory of the Navier–Stokes Equations; Vol. I: Linearized Steady Problems, Vol. II: Nonlinear Steady Problems; Springer: New York, NY, USA, 1994. [Google Scholar]
- Shibata, Y. On the local wellposedness of free boundary problem for the Navier–Stokes equations in an exterior domain. Commun. Pure Appl. Anal. 2018, 17, 1681–1721. [Google Scholar] [CrossRef]
- Ströhmer, G. About the resolvent of an operator from fluid dynamics. Math. Z. 1987, 194, 183–191. [Google Scholar] [CrossRef]
- Grubb, G.; Solonnikov, V.A. Boundary value problems for the nonstationary Navier–Stokes equations treated by pseudo-differential methods. Math. Scand. 1991, 69, 217–290. [Google Scholar] [CrossRef]
- Weis, L. Operator-valued Fourier multiplier theorems and maximal Lp-regularity. Math. Ann. 2001, 319, 735–758. [Google Scholar] [CrossRef]
- Amann, H. Linear and Quasilinear Parabolic Problems; Birkhäuser; Springer: Basel, Switzerland, 1995; Volume I. [Google Scholar]
- Denk, R.; Hieber, M.; Prüß, J. R-boundedness, Fourier multipliers and problems of elliptic and parabolic type. Mem. AMS 2003, 166, 788. [Google Scholar] [CrossRef]
- Bourgain, J. Vector-valued singular integrals and the H1-BMO duality. In Probability Theory and Harmonic Analysis; Borkholder, D., Ed.; Marcel Dekker: New York, NY, USA, 1986; pp. 1–19. [Google Scholar]
- Shibata, Y. On the R-boundedness of solution operators for the weak Dirichlet-Neumann problem. RIMS Kokyuroku 2014, 1875, 1–18. [Google Scholar]
- Götz, D.; Shibata, Y. On the R-boundedness of the solution operators in the study of the compressible viscous fluid flow with free boundary conditions. Asymptot. Anal. 2014, 90, 207–236. [Google Scholar] [CrossRef]
- Kubo, T.; Shibata, Y.; Soga, K. On the R-boundedness for the two phase problem: Compressible–incompressible model problem. Bound. Value Probl. 2014, 2014, 141. [Google Scholar] [CrossRef]
- Shibata, Y. On the R-boundedness of solution operators for the Stokes equations with free boundary condition. Differ. Integral Equations 2014, 27, 313–368. [Google Scholar]
- Enomoto, Y.; von Below, L.; Shibata, Y. On some free boundary problem for a compressible barotropic viscous fluid flow. Ann. Univ. Ferrara Sez. 2014, 60, 55–89. [Google Scholar] [CrossRef]
- Enomoto, Y.; Shibata, Y. On the R-sectoriality and the initial boundary value problem for the viscous compressible fluid flow. Funkcial. Ekvac. 2013, 56, 441–505. [Google Scholar] [CrossRef]
- Shibata, Y.; Shimizu, S. On the Lp-Lq maximal regularity of the Stokes problem with first order boundary condition; Model Problem. J. Math. Soc. Japan 2012, 64, 561–626. [Google Scholar] [CrossRef]
- Shibata, Y. R boundedness, maximal regularity and free boundary problems for the Navier–Stokes equations, pp. 193–462. In Mathematical Analysis of the Navier–Stokes Equations; Galdi, G.P., Shibata, Y., Eds.; Lecture Notes in Math. 2254 CIME Foundation Subseries; Springer: Berlin/Heisenberg, Germany, 2020. [Google Scholar]
- Shibata, Y.; Shimizu, S. On some free boundary problem for the Navier–Stokes equations. Differ. Integr. Equ. 2007, 20, 241–276. [Google Scholar]
- Shibata, Y.; Shimizu, S. On the Lp-Lq maximal regularity of the Neumann problem for the Stokes equations in a bounded domain. J. Reine Angew. Math. 2008, 615, 157–209. [Google Scholar] [CrossRef]
- Mikhlin, S.G. Fourier integrals and multiple singular integrals (Russian). Vest. Leningrad Univ. Ser. Mat. 1957, 12, 143–145. [Google Scholar]
- Calderón, A.P. Lebesgue spaces of differentiable functions and distributions. Proc. Symp. Pure Math. 1961, 4, 33–49. [Google Scholar]
- Amann, H. Anisotropic Function Spaces and Maximal Regularity for Parabolic Problem. Part 1. Function Spaces; Jindrich Nacas Center Math. Modelling Lecture Notes; Matfyzpress: Prague, Czech Republic, 2009; Volume 6. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations. |
© 2021 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).