Next Article in Journal
GMM Estimation of a Partially Linear Additive Spatial Error Model
Next Article in Special Issue
Asymptotic Profile for Diffusion Wave Terms of the Compressible Navier–Stokes–Korteweg System
Previous Article in Journal
Short-Term Exuberance and Long-Term Stability: A Simultaneous Optimization of Stock Return Predictions for Short and Long Horizons
Previous Article in Special Issue
Local Well-Posedness for Free Boundary Problem of Viscous Incompressible Magnetohydrodynamics
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Evolution of Compressible and Incompressible Viscous Fluids with a Sharp Interface

1
Faculty of Research Natural Science Division, Ochanomizu University, 2-1-1 Otsuka, Bunkyo-ku, Tokyo 112-8610, Japan
2
Department of Mathematics, Waseda University, Ohkubo 3-4-1, Shinjuku-ku, Tokyo 169-8555, Japan
*
Author to whom correspondence should be addressed.
Mathematics 2021, 9(6), 621; https://doi.org/10.3390/math9060621
Submission received: 4 March 2021 / Revised: 8 March 2021 / Accepted: 9 March 2021 / Published: 15 March 2021

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 W q 2 1 / q domain in R N ( N 2 ). We prove the local in the time unique existence theorem for our problem in the L p in time and L q in space framework with 2 < p < and N < q < 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 L p - L q 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 R -bounded solution operator to resolve the corresponding linearized problem. The Weis operator-valued Fourier multiplier theorem with R -boundedness implies the generation of a continuous analytic semigroup and the maximal L p - L q 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 Ω R N ( N 2 ). 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 Γ t , Γ t , Ω t + , and Ω t with time variable t > 0 be the time evolution of Γ , Γ , Ω + , and Ω , respectively. We assume that the two fluids are immiscible, so that Ω t + Ω t = for any t 0 . Moreover, we assume that no phase transitions occur, and we do not consider the surface tension at the interface Γ t and the boundary Γ t . Thus, in this paper, we consider that the motion of the fluids is governed by the following system of equations:
t ρ + + div ( ρ + v + ) = 0 in Ω t + , ρ + ( t v + + v + · v + ) Div S + ( v + ) + p ( ρ + ) = 0 in Ω t + , div v = 0 in Ω t , ρ 0 ( t v + v · v ) Div S ( v ) + π = 0 , in Ω t
subject to the interface condition:
( S + ( v + ) p ( ρ + ) I ) n t | Γ t + 0 ( S ( v ) π I ) n t | Γ t 0 = p ( ρ 0 + ) n t | Γ t 0 , v + | Γ t + 0 v | Γ t 0 = 0
on Γ t , boundary conditions:
v + | Γ + = 0 , ( S ( v ) π I ) n t | Γ t = 0 ,
kinematic conditions:
V n = u · n t on Γ t , V n = u · u t on Γ t
for any t > 0 , and initial conditions:
( ρ + , v + ) | t = 0 = ( ρ 0 + + θ 0 + , v 0 + ) in Ω + , v | t = 0 = v 0 in Ω .
Here, v ± = ( v 1 ± , , v N ± ) are the unknown velocity fields of the fluids, ρ 0 ± positive numbers describing the mass densities of Ω ± , ρ + the unknown mass density of Ω t + , π the unknown pressure, θ 0 + and v 0 ± the prescribed initial data, p ( s ) the prescribed pressure, which is a C function defined on an open interval ( ρ 0 + / 2 , 2 ρ 0 + ) satisfying the condition: p ( s ) 0 on ( ρ 0 + / 2 , 2 ρ 0 + ) , n t the unit outward normal to Γ t , pointing from Ω t to Ω t + , n t the unit outward normal to Γ t , V n the evolution speed of Γ t along n t , and V n the evolution speed of Γ t along n t .
Moreover, for any point x 0 Γ t , f | Γ t ± 0 ( x 0 , t ) is defined by:
f | Γ t ± 0 ( x 0 , t ) = lim x x 0 x Ω t ± f ( x , t ) ,
and the stress tensors S ± are defined by:
S + ( v + ) = μ + D ( v + ) + ( ν + μ + ) div v + I , S ( v ) = μ D ( v )
with viscosity coefficients μ ± and ν + , which are positive constants in this paper, where D ( v ) denotes the deformation tensor whose ( j , k ) components are D j k ( v ) = j v k + k v j with j = / x j and I is the N × N identity matrix. Finally, for an N × N matrix function K = ( K i j ) , Div K is an N-vector whose i th components are j = 1 N j K i j , and also, for any vector of functions v = ( v 1 , , v N ) , we set div v = j = 1 N j v j and v · v = ( j = 1 N v j j v 1 , , j = 1 N v j j v N ) . For any functions f ± defined on Ω ± , f denotes a function defined by f = f ± in Ω ± .
Aside from the dynamical system (1) subject to (2), (3), and (5), a kinematic condition (4) for Γ t and Γ t gives:
Γ t = { x = x ( ξ , t ) ξ Γ } , Γ t = { x = x ( ξ , t ) ξ Γ } ,
where x ( ξ , t ) is the solution of the Cauchy problem:
d x d t = v ( x , t ) = v + in Ω t + , v in Ω t , , x | t = 0 = ξ Ω .
This expresses the fact that the interface Γ t and the free surface Γ t consist for all t > 0 of the same fluid particles, which do not leave them and are not incident on them from inside Ω t . It is clear that Ω t ± is given by:
Ω t ± = { x = x ( ξ , t ) ξ Ω ± } .
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 x Ω t ± to Lagrange coordinates ξ Ω ± with x by (7). If velocity vector fields u ± ( ξ , t ) defined on Ω ± are known as functions of the Lagrange coordinates ξ Ω ± , then this connection can be written in the form:
x = ξ + 0 t u ± ( ξ , s ) d s X u ± ( ξ , t )
and u ± ( ξ , t ) = v ( X u ± ( ξ , t ) , t ) . Let A ± be the Jacobi matrix of the transformation (9) with element a i j ± = δ i j + 0 t ( ξ j u ± , i ) ( ξ , s ) d s with δ i j being the Kronecker delta symbols. There exists a small number σ > 0 such that A ± is invertible, that is det A ± 0 , whenever:
max i , j = 1 , , N sup ξ Ω + 0 t ( ξ j u + , i ) ( ξ , s ) d s < σ ( t > 0 ) ,
while det A = 1 in Ω , because of the incompressibility. Whenever (10) is valid, we have:
x = A ± 1 ξ = I + V 0 0 t u ± ( ξ , s ) d s ξ
with x = T ( x 1 , , x N ) ( T M denotes the transposed M) and ξ = T ( ξ 1 , , ξ N ) , where V 0 = V 0 ( w ) is the N × N matrix of C functions with respect to w = ( w 1 , , w N ) defined on | w | < σ and V 0 ( 0 ) = 0 . Let n and n be unit outward normals to Γ and Γ , respectively, and then, by (8), we have:
n t = A 1 n | A 1 n | , n t = A 1 n | A 1 n | .
Setting ρ + ( X u + ( ξ , t ) , t ) = ρ 0 + + θ 0 + ( ξ ) + θ + ( ξ , t ) and p = π ( X u ( ξ , t ) , t ) and using the facts that ρ + ( X u + ( ξ , t ) , t ) = J + ( ξ , t ) 1 ( ρ 0 + + θ 0 + ( ξ ) ) with J ± = det A ± and div x v ± = J ± 1 div ξ ( J ± T A ± 1 v ^ ± ) with v ^ ± ( ξ , t ) = v ± ( X u ± ( ξ , t ) , t ) , we can write Equations (1)–(5) with Lagrange coordinates in the form:
t θ + + ( ρ 0 + + θ 0 + ) div u + = F + in Ω + , ( ρ 0 + + θ 0 + ) t u + Div S + ( u + ) + ( p ( ρ 0 + + θ 0 + ) θ + ) = g + + G + in Ω + , ρ 0 t u Div S ( u ) + p = G in Ω , div u = F in Ω , ( S + ( u + ) p ( ρ 0 + + θ 0 + ) θ + I ) n | Γ + 0 ( S ( u ) p I ) n | Γ 0 = h + H , u + | Γ + 0 u | Γ 0 = 0 , u + | Γ + = 0 , ( S ( u ) p I ) n | Γ = H
for t > 0 subject to the initial condition:
( θ + , v + ) | t = 0 = ( 0 , v 0 + ) in Ω + , u | t = 0 = v 0 in Ω .
Here, g + = p ( ρ 0 + + θ 0 + ) θ 0 + , h = ( p ( ρ 0 + + θ 0 + ) p ( ρ 0 + ) ) n , and F ± , G ± , H and H are nonlinear functions with respect to θ + , u ± , w ± = 0 t u ± ( ξ , s ) d s of the forms:
F + = { θ + div u + + ( ρ 0 + + θ 0 + + θ + ) tr ( V 0 + u + ) } , G + = θ + t u + + Div ( μ + V D + u + + ( ν + μ + ) tr ( V 0 + u + ) I ) + V 0 { μ + ( D ( u + ) + V D + u + ) + ( ν + μ + ) ( div u + + tr ( V 0 + u + ) ) I } ( 0 1 p ( ρ 0 + + θ 0 + + τ θ + ) ( 1 τ ) d τ θ + 2 ) V 0 + p ( ρ 0 + + θ 0 + + θ + ) ( θ 0 + + θ + ) , G = ρ 0 V 1 t u + μ { Div ( V D u ) + V 1 Div ( D ( u ) + V D u ) } , F = ( 1 J ) div u tr ( V 0 u ) = div ( ( 1 J ) u T V 0 J u ) , H = μ + [ V D + u + + V 1 ( D ( u + ) + V D + u + ) + ( I + V 1 ) ( D ( u + ) + V D + u + ) V 0 + ] n ( ν + μ + ) [ tr ( V 0 + u + ) ] n + [ 0 1 ( 1 τ ) p ( ρ 0 + + θ 0 + + τ θ + ) d τ θ + 2 ] n + μ [ V D u + V 1 D ( u ) + V D u + ( I + V 1 ) ( D ( u ) + V D u ) V 0 ] n H = μ [ V D u + V 1 ( D ( u ) + V D u ) + ( I + V 1 ) ( D ( u ) + V D u ) V 0 ] n
with V 0 ± = V 0 ( w ± ) , V D ± = V D ( w ± ) , V 1 = V 1 ( w ± ) , and J = det ( X u ) . In the formula (13), V 1 is defined by V 1 = ( I + V 0 ) 1 I , tr B means the trace of N × N matrix B, and V D ( w ) is a matrix of the C function with respect to w defined on | w | < σ , which satisfies V D ( 0 ) = 0 and relations: D ( v ) = D ( v ^ ) + V D ( 0 t v ^ d s ) v ^ with v ^ = v ( X u ( ξ , t ) , t ) .
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 L 2 framework. The purpose of this paper is to prove the local well-posedness for Equations (1)–(3) and (5) in the L p in time and L q in space framework with 2 < p < and N < q < under the physically reasonable assumption on the viscosity coefficients, that is μ ± > 0 and ν + > 0 . The regularity of solutions in our result is optimal in the sense of the maximal regularity, while the L 2 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 W q 2 1 / q 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 W r 2 1 / r domain. For the differentiations of scalar functions f and N-vector functions g , we use the following symbols:
f = ( 1 f , , N f ) , 2 f = ( i j f i , j = 1 , , N ) , g = ( i g j i , j = 1 , , N ) , 2 g = ( i j g k i , j , k = 1 , , N ) ,
where i = / x i . For any domain D and 1 q , L q ( D ) , W q m ( D ) , and B q , p s ( D ) denote the standard Lebesgue space, Sobolev space, and Besov space, while · L q ( D ) , · W q m ( D ) , and · B q , p s ( D ) denote their norms. We set W q 0 ( D ) = L q ( D ) and W q s ( D ) = B q , q s ( D ) . In addition, ( a , b ) D denotes the inner product on D defined by ( a , b ) D = D a ( x ) b ( x ) d x . Let X be any Banach space with norm · X . We set X d = { f = ( f , , f d ) f i X ( i = 1 , , d ) } , while its norm is denoted by · X instead of · X d for short. Let W ^ q 1 ( D ) and W ^ q , 0 1 ( D ) be homogeneous spaces defined by W ^ q 1 ( D ) = { v L q , loc ( D ) v L q ( D ) N } and W ^ q , 0 1 ( D ) = { v W ^ q 1 ( D ) v | D = 0 } , respectively, where D is the boundary of D. Moreover, we set W q , 0 1 ( D ) = { v W q 1 ( D ) v | D = 0 } . For 1 p , L p ( ( a , b ) , X ) and W p m ( ( a , b ) , X ) denote the usual Lebesgue space and Sobolev space of X-valued functions defined on an interval ( a , b ) , while · L p ( ( a , b ) , X ) and · W p m ( ( a , b ) , X ) denote their norms, respectively. For any N-vector w = ( w 1 , , w N ) and z = ( z 1 , , z N ) , we define < w , z > , T z [ w ] , and N z [ w ] by:
< w , z > = j = 1 N w j z j , T z [ w ] = w < w , z > z , N z [ w ] = < w , z > z ,
respectively. Here, T z [ w ] denotes the tangential part of w with respect to z . For 1 < q < , q denotes the dual exponent defined by q = q / ( q 1 ) . We use the letter C to denote generic constants, and C a , b , · denotes that the constant C a , b , · essentially depends on the quantities a, b, ⋯. Constants C, C a , b , may change from line to line.
In this paper, let J q ( Ω ) be a solenoidal space defined by setting:
J q ( D ) = { u L q ( D ) N ( u , φ ) D = 0 for any φ W ^ q , 0 1 ( D ) } .
We write div u = f = div f in D for f W q 1 ( D ) , f L q ( D ) N , and u W q 1 ( D ) , if:
( f , φ ) D = ( f , φ ) D for any φ W q , 0 1 ( D ) , div u = f in D , and u f J q ( D ) .
We now introduce a few definitions.
Definition 1.
Let 1 < r < , and let D be a domain in R N with boundary D . We say that D is a uniform W r 2 1 / r domain, if there exist positive constants α, β, and K such that for any x 0 = ( x 01 , , x 0 N ) D , there exist a coordinate number j and a W r 2 1 / r function h ( x ˇ ) ( x ˇ = ( x 1 , , x ˇ j , , x N ) ) defined on B α ( x ˇ 0 ) with x ˇ 0 = ( x 01 , x ˇ 0 j , , x 0 N ) and h W r 2 1 / r ( B α ( x ˇ 0 ) ) K such that:
D B β ( x 0 ) = { x R N x j > h ( x ) ( x B α ( x ˇ 0 ) ) } B β ( x 0 ) , D B β ( x 0 ) = { x R N x j = h ( x ) ( x B α ( x ˇ 0 ) ) } B β ( x 0 ) .
Here, ( x 1 , , x j ˇ , , x N ) = ( x 1 , , x j 1 , x j + 1 , , x N ) , B α ( x ˇ 0 ) = { x ˇ R N 1 | x ˇ x ˇ 0 | < α } , and B β ( x 0 ) = { x R N | x x 0 | < β } .
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 1 < q < . We say that the weak Dirichlet problem is uniquely solvable on W ^ q , 0 1 ( Ω ) with exponents q, if for any f L q ( Ω ) N , there exists a unique solution θ W ^ q , 0 1 ( Ω ) of the variational problem:
( θ , φ ) Ω = ( f , φ ) Ω for any φ W ^ q , 0 1 ( Ω ) .
Remark 1.
(1) Since Ω = Γ Γ with Γ Γ = , W ^ q , 0 1 ( Ω ) = { v W ^ q 1 ( Ω ) v | Γ = v | Γ = 0 } . (2) When q = 2 , the weak Dirichlet problem is uniquely solvable on Ω without any restriction, but for q ( 1 , ) \ { 2 } , 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 K be a linear operator defined by K ( f ) = θ . Then, combining the unique solvability with Banach’s closed range theorem implies the estimate:
K ( f ) L q ( Ω ) C f L q ( Ω ) .
Moreover, for any f L q ( Ω ) N and g W q 1 ( Ω ) , v = g + K ( f g ) W q 1 ( Ω ) + W ^ q , 0 1 ( Ω ) satisfies the variational equation: ( v , φ ) Ω = ( f , φ ) Ω for any φ W ^ q , 0 1 ( Ω ) , subject to v = g on Γ and Γ . Here, we set W q 1 ( Ω ) + W ^ q , 0 1 ( Ω ) = { p 1 + p 2 p 1 W q 1 ( Ω ) , p 2 W ^ q , 0 1 ( Ω ) } , which is the space for the pressure term p 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 2 < p < , N < q < , 2 / p + N / q < 1 , and R > 0 . Let ρ 0 ± be positive constants describing the reference mass density on Ω ± , and let p ( s ) be a C function defined on ( ρ 0 + / 2 , 2 ρ 0 + ) such that 0 p ( s ) ρ 1 + with some positive constant ρ 1 + for any ρ ( ρ 0 + / 2 , 2 ρ 0 + ) . Let Ω ± be uniform W q 2 1 / q domains in R N ( N 2 ) . Assume that the weak Dirichlet problem is uniquely solvable on W ^ q , 0 1 ( Ω ) with exponents q and q . Let θ 0 + W q 1 ( Ω + ) and v 0 ± B q , p 2 ( 1 1 / p ) ( Ω ± ) N be initial data with:
θ 0 + W q 1 ( Ω ) + v 0 + B q , p 2 ( 1 1 / p ) ( Ω + ) + v 0 B q , p 2 ( 1 1 / p ) ( Ω ) R ,
which satisfy the compatibility condition:
T n [ S + ( v 0 + ) n ] | Γ + 0 T n [ S ( v 0 ) n ] | Γ 0 = 0 , v 0 + | Γ + 0 v 0 | Γ 0 = 0 , v 0 + | Γ + = 0 , T n [ S ( v 0 ) ] | Γ = 0 , div v 0 J q ( Ω ) ,
and the range condition:
3 4 ρ 0 + < ρ 0 + + θ 0 + ( x ) < 7 4 ρ 0 + ( x Ω + ) .
Then, there exists a T > 0 depending on R such that the system of Equations (11) with (12) admits a unique solution ( θ + , u ± ) with:
θ + W p 1 ( ( 0 , T ) , W q 1 ( Ω + ) ) , u ± W p 1 ( ( 0 , T ) , L q ( Ω ± ) N ) L p ( ( 0 , T ) , W q 2 ( Ω ± ) N )
satisfying (10) and the estimate:
θ + W p 1 ( ( 0 , T ) , W q 1 ( Ω + ) ) + = + , u L p ( ( 0 , T ) , W q 2 ( Ω ) ) + t u L p ( ( 0 , T ) , L q ( Ω ) ) C R
with some constant C R depending on R, ρ 0 ± , p, and q.
Using the argument due to Ströhmer [7], we can show the injectivity of the map x = X u ± ( ξ , t ) , so that we have the following local in time unique existence theorem for (1)–(5).
Theorem 2.
Let N < q < , 2 < p < , 2 / p + N / q < 1 , and R > 0 . Assume that Ω ± are uniform W q 2 1 / q domains. Assume that the weak Dirichlet problem is uniquely solvable on W ^ q , 0 1 ( Ω ) with exponents q and q . Let θ 0 + W q 1 ( Ω + ) and v 0 ± B q , p 2 ( 1 1 / p ) ( Ω ± ) N be initial data that satisfy the compatibility condition (20), range condition (21), and:
θ 0 + W q 1 ( Ω + ) + v 0 + B q , p 2 ( 1 1 / p ) ( Ω + ) + v 0 B q , p 2 ( 1 1 / p ) ( Ω ) R .
Then, there exists a T > 0 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 ( ρ + , v ± ) with:
ρ ρ 0 + W p 1 ( ( 0 , T ) , L q ( Ω t + ) ) L p ( ( 0 , T ) , W q 1 ( Ω t + ) ) , v ± W p 1 ( ( 0 , T ) , L q ( Ω t ± ) N ) L p ( ( 0 , T ) , W q 2 ( Ω t ± ) N ) .
Remark 3.
Here, f W p m ( ( 0 , T ) , W q n ( Ω t ± ) ) denotes that for almost all t ( 0 , T ) , t k f ( · , t ) W q n ( Ω t ± ) and:
f W p m ( ( 0 , T ) , W q n ( Ω t ± ) ) : = k = 0 m 0 T t k f ( · , t ) W q n ( Ω t ± ) p d t 1 / p < .
Theorem 1 is proven by using a standard fixed point argument based on the maximal L p - L q regularity for solutions to the linear problem:
t θ + + γ 2 + div u + = f + in Ω + , γ 0 + t u + Div S + ( u + ) + ( γ 1 + θ + ) = g + in Ω + , ρ 0 t u Div S ( u ) + p = g in Ω , div u = f = div f in Ω , ( S + ( u + ) γ 1 + θ + I ) n | Γ t + 0 ( S ( u ) p I ) n | Γ t 0 = h for t > 0 , u + | Γ t + 0 u | Γ t 0 = 0 for t > 0 , u + | Γ + = 0 , ( S ( u ) p I ) n | Γ = h for t > 0 , ( θ + , u + ) | t = 0 = ( θ 0 + , u 0 + ) in Ω + , u | t = 0 = u 0 in Ω .
Here, γ i = γ i ( x ) ( i = 0 , 1 , 2 ) are uniformly continuous functions defined on Ω + ¯ such that:
1 2 ρ 0 + γ 0 + ( x ) 2 ρ 0 + , 0 γ k + ( x ) ρ 2 + ( x Ω ) , γ + L r ( Ω + ) ρ 2 +
for k = 1 , 2 and = 0 , 1 , 2 with some positive constant ρ 2 + and N < r < . We may consider the case where γ 1 + = 0 , 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:
W p , loc m ( ( a , b ) , X ) = { f ( t ) f ( t ) W p m ( ( c , d ) , X ) for any c , d with a < c < d < b }
and W p , loc 0 ( R , X ) = L p , loc ( R , X ) . Moreover, we set:
W p , γ m ( R , X ) = { f ( t ) L p , loc ( R , X ) e γ t t j f ( t ) L p ( R , X ) ( j = 0 , 1 , , m ) }
with t 0 f ( t ) = f ( t ) and W p , γ 0 ( R , X ) = L p , γ ( R , X ) and W p , γ , 0 0 ( R , X ) = L p , γ , 0 ( R , X ) .
Let L and L 1 denote the Laplace transform and the Laplace inverse transform defined by:
L [ f ] ( λ ) = e λ t f ( t ) d t , L 1 [ g ] ( t ) = 1 2 π e λ t g ( τ ) d τ
with λ = γ + i τ C , respectively. Given s R and X-valued function f ( t ) , we set:
Λ γ s f ( t ) = L λ 1 [ λ s L [ f ] ( λ ) ] ( t ) .
We introduce a Bessel potential space of X-valued functions of order s > 0 as follows:
H p , γ s ( R , X ) = { f L p ( R , X ) e γ t Λ γ s [ f ] ( t ) L p ( R , X ) for any γ γ } .
We have the following theorem.
Theorem 3.
Let 1 < p , q < , N < r < , 2 / p + N / q 1 , and 2 / p + N / q 2 . Assume that r max ( q , q ) , that Ω ± are uniformly W q 2 1 / q domains, and that the weak Dirichlet problem is uniquely solvable on Ω with exponents q and q . Then, there exists a positive number γ 0 such that the following three assertions are valid.
ExistenceFor any initial data θ 0 + W q 1 ( Ω + ) and u 0 ± B q , p 2 ( 1 1 / p ) ( Ω ± ) , and any right members f + , f = div f , g ± , h , and h with:
f + L p , γ 0 ( R , W q 1 ( Ω + ) ) , g ± L p , γ 0 ( R , L q ( Ω ± ) N ) , h L p , γ 0 ( R , W q 1 ( Ω ) N ) H p , γ 0 1 / 2 ( R , L q ( Ω ) N ) , f L p , γ 0 ( R , W q 1 ( Ω ) ) H p , γ 0 , 0 1 / 2 ( R , L q ( Ω ) ) , f W p 1 ( R , L q ( Ω ) ) , h L p , γ 0 ( R , W q 1 ( Ω ) N ) H p , γ 0 1 / 2 ( R , L q ( Ω ) N ) ,
satisfying the compatibility conditions:
T n [ S + ( u 0 + ) n ] | Γ + 0 T n [ S ( u 0 ) n ] | Γ 0 = T n [ h | Γ ] | t = 0 , u 0 + | Γ + 0 u 0 | Γ 0 = 0 , u 0 + | Γ + = 0 , T n [ S ( u 0 ) n ] | Γ = T n [ h ] | t = 0 , div u 0 = f | t = 0 in Ω , ( u 0 , φ ) Ω = ( f , φ ) Ω for any φ W ^ q , 0 1 ( Ω ) .
Equation (22) admits solutions θ + and u ± with:
θ + W p , γ 0 1 ( R , W q 1 ( Ω + ) ) , u ± L p , γ 0 ( R , W q 2 ( Ω ± ) N ) W p , γ 0 1 ( R , L q ( Ω ± ) N )
possessing the estimate:
e γ t ( t θ + , γ θ + ) L p ( R + , W q 1 ( Ω + ) ) + = + , e γ t ( t u , γ u , Λ γ 1 / 2 u , 2 u ) L p ( R + , L q ( Ω ) ) C ( θ 0 + W q 1 ( Ω + ) + = + , u 0 B q , p 2 ( 1 1 / p ) ( Ω ) + e γ t f + L p ( R + , W q 1 ( Ω + ) ) + e γ t ( Λ γ 1 / 2 f , f ) L p ( R , L q ( Ω ) ) + e γ t t f L p ( R , L q ( Ω ) ) + e γ t g + L p ( R , L q ( Ω + ) ) + e γ t g L p ( R , L q ( Ω ) ) + e γ t ( Λ γ 1 / 2 h , h ) L p ( R , L q ( Ω ) ) + e γ t ( Λ γ 1 / 2 h , h ) L p ( R , L q ( Ω ) ) )
for any γ γ 0 , where C is a constant independent of γ.
UniquenessLet θ + and u ± satisfy (26) and Equation (22) with θ 0 + = 0 , u 0 ± = 0 , f ± = 0 , g ± = 0 , f = 0 , and h = 0 , then θ + = 0 and u ± = 0 .
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 t R , 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 R -bounded solution operators for the generalized resolvent problem corresponding to (22). Combining the R -boundedness and Weis’s operator-valued Fourier multiplier theorem yields the maximal L p - L q estimate of solutions to Equation (22) with zero initial conditions. Moreover, the R -bounded solution operators yield the generation of the continuous analytic semigroup associated with Equation (22), which, combined with some real interpolation technique, yields the L p - L q 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 p 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 R N . 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. R -Bounded Solution Operators

To prove the generation of the continuous analytic semigroup and the maximal L p - L q regularity for the linear problem (22), we show the existence of R -bounded solution operators to the following generalized resolvent problem (GRP) corresponding to: (22):
λ θ + + γ 2 + div u + = f + in Ω + , λ u + γ 0 + 1 ( Div S + ( u + ) ( γ 1 + θ + ) ) = g + in Ω + , λ u ρ 0 1 ( Div S ( u ) p ) = g in Ω , div u = f = div f in Ω ( S + ( u + ) γ 1 + θ + I ) n | Γ + 0 ( S ( u ) p I ) n | Γ 0 = h | Γ , ( S ( u ) p I ) n | Γ = h | Γ , u + | Γ + 0 u | Γ 0 = 0 , u + | Γ + = 0 .
When λ 0 , setting θ + = λ 1 ( f + γ 2 + div u + ) , we transfer the second equation and the fifth equation in (28) to:
λ u + γ 0 1 ( Div S + ( u + ) + λ 1 ( γ 1 + γ 2 + div u + ) ) = g + λ 1 γ 0 + 1 ( γ 1 + f + ) in Ω + , ( S + ( u + ) + λ 1 γ 1 + γ 2 + div u + I ) n ( S ( u ) p I ) n | Γ 0 = h + λ 1 γ 1 + f + n | Γ + 0 ,
respectively. Thus, g + λ 1 γ 0 + 1 ( γ 1 + f + ) and h + λ 1 γ 1 + f + n | Γ + 0 , being renamed g + and h , respectively, and setting γ 1 + γ 2 + = γ 3 + , from now on, we consider the following problem:
λ u + γ 0 + 1 ( Div S + ( u + ) + δ ( γ 3 + div u + ) ) = g + in Ω + , λ u ρ 0 1 ( Div S ( u ) p ) = g in Ω , div u = f = div f in Ω , ( S + ( u + ) + δ γ 3 + div u + I ) n | Γ + 0 ( S ( u ) p I ) n | Γ 0 = h | Γ , ( S ( u ) p I ) n | Γ = h | Γ , u + | Γ + 0 = u | Γ 0 , u + | Γ + = 0 .
Here, δ and λ satisfy one of the following three conditions:
(C1)
δ = λ 1 , λ Λ ϵ , λ 0 = K ϵ Σ ϵ , λ 0 ,
(C2)
δ = δ 0 Σ ϵ with Re δ 0 < 0 , λ C with Re λ λ 0 and Re λ | Im λ | | Re δ 0 Im δ 0 | ,
(C3)
δ = δ 0 with Re δ 0 0 , λ C with Re λ λ 0 ,
where we set Σ ϵ = { λ C \ { 0 } | arg λ | π ϵ } with 0 < ϵ < π / 2 , Σ ϵ , λ 0 = { λ Σ ϵ | λ | λ 0 } , and:
K ϵ = { λ C ( Re λ + ρ 3 ν 1 + ϵ ) 2 + ( Im λ ) 2 ( ρ 3 ν 1 + ϵ ) 2 }
with ρ 3 = sup x Ω ¯ γ 1 + ( x ) γ 2 + ( x ) ( ρ 2 2 ) . We may include the case where γ 1 = 0 , which corresponds to the Lamé system. The former case C1 is used to prove the existence of R -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 Γ ϵ , λ 0 defined by:
Γ ϵ , λ 0 = Λ ϵ , λ 0 when δ = λ 1 , λ C Re λ λ 0 , Re λ Re δ 0 Im δ 0 | Im λ | when δ = δ 0 Σ ϵ with Re δ 0 < 0 , { λ C Re λ λ 0 } when δ = δ 0 with Re δ 0 0 .
Note that | δ | max ( | δ 0 | , λ 0 1 ) .
Before stating our main results for the linear problem, we introduce a few symbols and the definition of the R -bounded operator family and the operator-valued Fourier multiplier theorem due to Weis [9].
Symbols 3. For any two Banach spaces X and Y, L ( X , Y ) denotes the set of all bounded linear operators from X to Y, and we write L ( X ) = L ( X , X ) for short. Hol ( U , X ) denotes the set of all X-valued holomorphic functions defined on a complex domain U. Let D ( R , X ) and S ( R , X ) be the set of all X-valued C -functions having compact support and the Schwartz space of rapidly decreasing X-valued functions, respectively, while S ( R , X ) = L ( S ( R , C ) , X ) . Given M L 1 , loc ( R \ { 0 } , X ) , we define the operator T M : F 1 D ( R , X ) S ( R , Y ) by:
T M φ = F 1 M F [ φ ] ( F [ φ ] D ( R , X ) ) .
Here, F x and F x 1 denote the Fourier transform and its inversion defined by:
F x [ u ] ( ξ ) = R N e i x · ξ u ( x ) d x , F ξ 1 [ v ] ( x ) = 1 ( 2 π ) N R N e i x · ξ v ( ξ ) d ξ ,
respectively.
Definition 3.
Let X and Y be Banach spaces. A family of operators T L ( X , Y ) is called R -bounded on L ( X , Y ) , if there exist constants C > 0 and p [ 1 , ) such that for any n N , { T j } j = 1 n T , { x j } j = 1 n X , and sequences { r j ( u ) } j = 1 n of independent, symmetric, { 1 , 1 } -valued random variables on [ 0 , 1 ] , there holds the inequality:
0 1 j = 1 n r j ( u ) T j x j Y p d u C 0 1 j = 1 n r j ( u ) x j X p d u .
The smallest such C is called the R -bound of T , which is denoted by R L ( X , Y ) ( T ) .
The following theorem was obtained by Weis [9].
Theorem 4.
Let X and Y be two UMD spaces and 1 < p < . Let M be a function in C 1 ( R \ { 0 } , L ( X , Y ) ) such that:
R L ( X , Y ) τ d d τ M ( τ ) τ R \ { 0 } κ < ( = 0 , 1 )
with some constant κ. Then, the operator T M defined in (32) may uniquely be extended to a bounded linear operator from L p ( R , X ) to L p ( R , Y ) . Moreover, denoting this extension by T M , we have:
T M L ( L p ( R , X ) , L p ( R , Y ) ) C κ
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 1 < q < and m N , Lebesgue spaces L q ( Ω ) and Sobolev spaces W q m ( Ω ) are UMD spaces.
For the calculation of the R -norm, we use the following lemmas.
Lemma 1.
(1) Let X and Y be Banach spaces, and let T and S be R -bounded families in L ( X , Y ) . Then, T + S = { T + S T T , S S } is also an R -bounded family in L ( X , Y ) and:
R L ( X , Y ) ( T + S ) R L ( X , Y ) ( T ) + R L ( X , Y ) ( S ) .
(2) Let X, Y, and Z be Banach spaces, and let T and S be R -bounded families in L ( X , Y ) and L ( Y , Z ) , respectively. Then, S T = { S T T T , S S } is also an R -bounded family in L ( X , Z ) and:
R L ( X , Z ) ( S T ) R L ( X , Y ) ( T ) R L ( Y , Z ) ( S ) .
Lemma 2.
Let 1 < p , q < , and let D be a domain in R N .
(1) Let m ( λ ) be a bounded function defined on a subset Λ C , and let M m ( λ ) be a multiplication operator with m ( λ ) defined by M m ( λ ) f = m ( λ ) f for any f L q ( D ) . Then,
R L ( L q ( D ) ) ( { M m ( λ ) λ Λ } ) C N , q , D m L ( Λ ) .
(2) Let n ( τ ) be a C 1 function defined on R \ { 0 } that satisfies the conditions: | n ( τ ) | γ and | τ n ( τ ) | γ with some constant γ > 0 for any τ R \ { 0 } . Let T n be an operator-valued Fourier multiplier defined by T n f = F 1 [ n F [ f ] ] for any f with F [ ϕ ] D ( R , X ) . Then, T n is extended to a bounded linear operator from L p ( R , L q ( D ) ) into itself. Moreover, denoting this extension also by T n , we have:
T n L ( L p ( R , L q ( D ) ) ) C p , q , D γ .
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 R -Bounded Solution Operators for Problems (28) and (29)

We state two theorems about the existence of R -bounded solution operators to Problems (28) and (29).
Theorem 5.
Let 1 < q < , 0 < ϵ < π / 2 and N < r < . Assume that r max ( q , q ) , that Ω ± are uniform W r 2 1 / r domains, and that the weak Dirichlet problem is uniquely solvable on Ω with exponents q and q . Let X q 0 ( Ω ) and X q 0 ( Ω ) be the spaces defined by:
X q 0 ( Ω ) = { G 0 = ( g + , g , h , h , f , f ) g ± L q ( Ω ± ) N , h W q 1 ( Ω ) N , h W q 1 ( Ω ) N , f W q 1 ( Ω ) , f L q ( Ω ) N , f = div f } , X q 0 ( Ω ) = { F 0 = ( F 1 , , F 9 ) F 1 L q ( Ω + ) N , F 2 , F 5 , F 9 L q ( Ω ) N , F 3 L q ( Ω ) N , F 4 W q 1 ( Ω ) N , F 6 W q 1 ( Ω ) N , F 7 L q ( Ω ) , F 8 W q 1 ( Ω ) } .
Then, there exist a constant λ 0 > 0 and operator families A ± 0 ( λ ) and B 0 ( λ ) with:
A ± 0 ( λ ) Hol ( Γ ϵ , λ 0 , L ( X q 0 ( Ω ) , W q 2 ( Ω ± ) N ) ) , B 0 ( λ ) Hol ( Γ ϵ , λ 0 , L ( X q 0 ( Ω ) , W q 1 ( Ω ) + W ^ q , 0 1 ( Ω ) ) )
such that u ± = A ± 0 ( λ ) F λ 0 G 0 and p = B 0 ( λ ) F λ 0 G 0 are unique solutions to Problem (29) for any λ Γ ϵ , λ 0 and G 0 = ( g + , g , h , h , f , f ) X q 0 ( Ω ) , and:
R L ( X q 0 ( Ω ) , W q 2 j ( Ω ± ) N ) ( { ( τ τ ) ( λ j / 2 A ± 0 ( λ ) ) λ = γ + i τ Γ ϵ , λ 0 } ) C , R L ( X q 0 ( Ω ) , L q ( Ω ) N ) ( { ( τ τ ) B 0 ( λ ) λ = γ + i τ Γ ϵ , λ 0 } ) C
for j = 0 , 1 , 2 and = 0 , 1 . Here, we set F λ 0 G 0 = ( g + , g , λ 1 / 2 h , h , λ 1 / 2 h , h , λ 1 / 2 f , f , λ f ) .
Remark 6.
(i) The constants depend on ϵ, q, r, ρ 0 , ρ 2 , μ ± , ν + , and δ 0 , but we do not mention this dependence.
(ii) The variables F 1 , F 2 , F 3 , F 4 , F 5 , F 6 , F 7 , F 8 , and F 9 correspond to g + , g , λ 1 / 2 h , h , λ 1 / 2 h , h , λ 1 / 2 f , f , and λ f .
(iii) The norms · X q 0 ( Ω ) and · X q 0 ( Ω ) are defined by:
G 0 X q 0 ( Ω )   = g + L q ( Ω + ) + ( g , λ 1 / 2 h , λ 1 / 2 f , λ f ) L q ( Ω ) + ( h , f ) W q 1 ( Ω ) + λ 1 / 2 h L q ( Ω ) , + h W q 1 ( Ω ) , F 0 X q 0 ( Ω )   = F 1 L q ( Ω + ) + ( F 2 , F 5 , F 7 , F 9 ) L q ( Ω ) + F 3 L q ( Ω ) + F 4 W q 1 ( Ω ) + ( F 6 , F 8 ) W q 1 ( Ω ) .
Since θ + = λ 1 ( f + γ 2 + div u + ) in (28), the following theorem follows immediately from Theorem 5 and Lemma 1.
Theorem 6.
Let 1 < q < , 0 < ϵ < π / 2 , and N < r < . Assume that r max ( q , q ) , that Ω ± are uniform W r 2 1 / r domains, and that the weak Dirichlet problem is uniquely solvable on Ω with exponents q and q . Let X q 1 ( Ω ) and X q 1 ( Ω ) be the sets defined by:
X q 1 ( Ω ) = { G 1 = ( G 0 , f + ) G 0 X q 0 ( Ω ) , f + W q 1 ( Ω + ) } , X q 1 ( Ω ) = { F 1 = ( F 0 , F 10 ) F 0 X q 0 ( Ω ) , F 10 W q 1 ( Ω + ) } .
Then, there exist a constant λ 0 > 0 and operator families A ± 1 ( λ ) and B ± 1 ( λ ) with:
A ± 1 ( λ ) Hol ( Γ ϵ , λ 0 , L ( X q 1 ( Ω ) , W q 2 ( Ω ± ) N ) ) , B + 1 ( λ ) Hol ( Γ ϵ , λ 0 , L ( X q 1 ( Ω ) , W q 1 ( Ω + ) ) ) , B 1 ( λ ) Hol ( Γ ϵ , λ 0 , L ( X q 1 ( Ω ) , W q 1 ( Ω ) + W ^ q , 0 1 ( Ω ) ) )
such that u ± = A ± 1 ( λ ) F λ 1 G 1 , θ + = B + 1 ( λ ) F λ 1 G 1 , and p = B 1 ( λ ) F λ 1 G 1 are unique solutions to Problem (28) for any λ Γ ϵ , λ 0 and G 1 = ( g + , g , h , h , f , f , f + ) X q 1 ( Ω ) , and:
R L ( X q 1 ( Ω ) , W q 2 j ( Ω ± ) N ) ( { ( τ τ ) ( λ j / 2 A ± 0 ( λ ) ) λ = γ + i τ Γ ϵ , λ 0 } ) C , R L ( X q 1 ( Ω ) , W q 1 ( Ω + ) ) ( { ( τ τ ) ( λ k B + 1 ( λ ) ) λ = γ + i τ Γ ϵ , λ 0 } ) C , R L ( X q 1 ( Ω ) , L q ( Ω ) N ) ( { ( τ τ ) ( B 0 ( λ ) ) λ = γ + i τ Γ ϵ , λ 0 } ) C
for j = 0 , 1 , 2 , k = 0 , 1 , and = 0 , 1 . Here, we set F λ 1 G 1 = ( F λ 0 G 0 , f + ) .
Remark 7.
The variable F 10 corresponds to f + , and we set:
G 1 X q 1 ( Ω ) = G 0 X q 0 ( Ω + ) + f + W q 1 ( Ω + ) , F 1 X q 1 ( Ω ) = F 0 X q 0 ( Ω ) + F 10 W q 1 ( Ω + ) .

2.2. Reduced Generalized Resolvent Problem

Since the pressure term p has no time evolution in (22), we eliminate p 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:
λ ( w , φ ) Ω + ρ 0 1 ( w , φ ) Ω = ( f , φ ) Ω for any φ W q , 0 1 ( Ω )
subject to w | Γ = g 1 and w | Γ = g 2 . Here and in the following, we write ( · , · ) = ( · , · ) Ω for short. Note that:
( w , φ ) Ω = ( λ 1 ( f + ρ 0 1 w ) , φ ) Ω for any φ W q , 0 1 ( Ω ) .
We can show the following theorem by using the method in Shibata [13].
Theorem 7.
Let 1 < q < , N < r < , and 0 < ϵ < π / 2 . Assume that r max ( q , q ) and that Ω is a uniform W r 1 1 / r domain. Set:
X q 2 ( Ω ) = { G 2 = ( f , g 1 , g 2 ) f L q ( Ω ) N , g 1 W q 1 ( Ω ) , g 2 W q 1 ( Ω ) } , X q 2 ( Ω ) = { F 2 = ( F 2 , F 11 , , F 14 ) F 2 , F 11 , F 13 L q ( Ω ) N , F 12 , F 14 W q 1 ( Ω ) } .
Then, there exist a λ 0 > 0 and an operator family d ( λ ) Hol ( Σ ϵ , λ 0 , L ( X q 2 ( Ω ) , W q 1 ( Ω ) ) ) such that for any λ Σ ϵ , λ 0 and G 2 = ( f , g 1 , g 2 ) X q 2 ( Ω ) , w = d ( λ ) F λ 2 G 2 is a unique solution to (33), and:
R L ( X q 2 ( Ω ) , W q 1 k ( Ω ) ) ( { ( τ τ ) ( λ k / 2 d ( λ ) ) λ = γ + i τ Σ ϵ , λ 0 } ) C ( = 0 , 1 , k = 0 , 1 ) .
Here, we set F λ 2 G 2 = ( f , λ 1 / 2 g 1 , g 1 , λ 1 / 2 g 2 , g 2 ) .
Remark 8.
(i) F 11 , F 12 , F 13 , and F 14 are the corresponding variables to λ 1 / 2 g 1 , g 1 , λ 1 / 2 g 2 and g 2 .(ii) Since R -boundedness implies the usual boundedness, by (34) and (35) we have:
λ w W q , 0 1 ( Ω ) + λ 1 / 2 w L q ( Ω ) + w W q 1 ( Ω ) C ( f , λ 1 / 2 g 1 , g 1 , λ 1 / 2 g 2 , g 2 ) L q ( Ω )
with w = d ( λ ) F 2 ( f , g 1 , g 2 ) . Here, W q , 0 1 ( Ω ) is the dual space of W q , 0 1 ( Ω ) .
We start our main discussion in this subsection. Given w + W q 1 ( Ω + ) , let Ext [ w + ] denote an extension of w + to Ω such that Ext [ w + ] | Γ 0 = w + | Γ + 0 and Ext [ w + ] W q 1 ( Ω ) C w + W q 1 ( Ω ) . Since we can choose some uniform covering of Ω ± (cf. Proposition 4 in Section 5 below), Ext [ w + ] is defined by the even extension of w + in each local chart. For u ± W q 2 ( Ω ± ) N , we define an operator K ( u + , u ) by K ( u + , u ) = K ˜ ( f , g 1 , g 2 ) , where we set K ˜ ( f , g 1 , g 2 ) = d ( λ ) ( 0 , g 1 , g 2 ) + K ( f d ( λ ) ( 0 , g 1 , g 2 ) ) ,
f = f ( u ) = Div S ( u ) div u , g 1 = g 1 ( u ± ) = < S ( u ) n , n > div u < ( Ext [ S + ( u + ) ] + δ γ 3 + Ext [ div u + ] I ) n , n > , g 2 = g 2 ( u ) = < S ( u ) n , n > div u ,
and K is the operator defined in Remark 2. Note that K ( u + , u ) W q 1 ( Ω ) + W ^ q , 0 1 ( Ω ) and satisfies the variational equation:
( K ( u + , u ) , φ ) Ω = ( ρ 0 1 ( Div S ( u ) div u ) , φ ) Ω for any φ W ^ q 1 ( Ω )
subject to:
K ( u + , u ) | Γ 0 = ( < S ( u ) n , n > div u ) | Γ 0 < ( S + ( u + ) + δ γ 3 + div u + I ) n , n > | Γ + 0 , K ( u + , u ) | Γ = ( < S ( u ) n , n > div u ) | Γ ,
and the estimate:
K ( u + , u ) L q ( Ω ) C ( u + W q 1 ( Ω + ) + u W q 1 ( Ω ) ) .
The reduced generalized resolvent problem (RGRP) is the following:
λ u + γ 0 + 1 ( Div S + ( u + ) + δ ( γ 3 + div u + ) ) = g + in Ω + , λ u ρ 0 1 ( Div S ( u ) K ( u + , u ) ) = g in Ω , ( S + ( u + ) + δ γ 3 + div u + I ) n | Γ + 0 ( S ( u ) K ( u + , u ) I ) n | Γ 0 = h | Γ , ( S ( u ) K ( u + , u ) I ) n | Γ = h | Γ , u + | Γ + 0 = u | Γ 0 , u + | Γ + = 0 .
Using T z [ w ] defined in (14), we can write the interface condition and free boundary condition in (41) as follows:
h | Γ = T n [ S + ( u + ) n ] | Γ + 0 T n [ S ( u ) n ] | Γ 0 ( div u | Γ 0 ) n , h | Γ = T n [ S ( u ) n ] | Γ + ( div u | Γ ) n .
We say that ( u + , u ) is a solution to (41) with ( g + , g , h , h ) if u ± W q 2 ( Ω ± ) N and u ± satisfies Equation (41). Furthermore, we say that ( u + , u , p ) is a solution to (29) with ( g + , g , f = div f , h , h ) if u ± W q 2 ( Ω ± ) N , p W q 1 ( Ω ) + W ^ q , 0 1 ( Ω ) and u ± and p 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 f W q 1 ( Ω ) by f = d ( λ ) F λ 2 ( g , h , h ) with g L q ( Ω ) N , h = < h , n > and h = < h , n > . Notice that f = div f with f = λ 1 ( g + ρ 0 1 f ) . Let ( u + , u , p ) be a solution to (29) with ( g + , g , f = div f , h , h ) . In particular, div u = f = div ( λ 1 ( g + ρ 0 1 f ) ) , namely div u = f and λ u ( g + ρ 0 1 f ) J q ( Ω ) . From the second equation of (29), it follows that for any φ W ^ q , 0 1 ( Ω ) :
( g , φ ) Ω = λ ( u , φ ) ( ρ 0 1 div u , φ ) Ω ( ρ 0 1 ( Div S ( u ) div u ) , φ ) Ω + ( ρ 0 1 p , φ ) Ω = ( g + ρ 0 1 f , φ ) Ω ( ρ 0 1 f , φ ) Ω + ( ρ 0 1 ( p K ( u + , u ) ) , φ ) Ω ,
which yields that ( ρ 0 1 ( p K ( u + , u ) ) , φ ) Ω = 0 for any φ W ^ q , 0 1 ( Ω ) . Moreover,
p K ( u + , u ) = < h , n > + div u = < h , n > + f = 0 on Γ , p K ( u + , u ) = < h , n > + div u = < h , n > + f = 0 on Γ .
Thus, the uniqueness yields that p = K ( u + , u ) , and so, ( u + , u ) is a solution to (41) with ( g + , g , h , h ) .
Assertion 2.
If (41) is solvable, then so is (29).
In fact, given g L q ( Ω ) N , h W q 1 ( Ω ) , and h W q 1 ( Ω ) N , we define p ^ 1 by p ^ 1 = p ^ 2 + K ( g p ^ 2 ) with p ^ 2 = d ( λ ) F λ 2 ( 0 , h , h ) . Next, given f = div f , we define p ^ 3 by:
p ^ 3 = d ( λ ) F λ 2 ( 0 , f , f ) + K ( F d ( λ ) F λ 2 ( 0 , f , f ) )
with F = λ f ρ 0 1 f . Let ( u + , u ) be a solution to equations:
λ u + γ 0 + 1 ( Div S + ( u + ) + δ ( γ 3 + div u + ) ) = g + in Ω + , λ u ρ 0 1 ( Div S ( u ) K ( u + , u ) ) = g ρ 0 1 ( p ^ 1 + p ^ 3 ) in Ω , ( S + ( u + ) + δ γ 3 + div u + I ) n | Γ + 0 ( S ( u ) K ( u + , u ) I ) n | Γ 0 = ( T n [ h ] f n ) | Γ ( S ( u ) K ( u + , u ) I ) n | Γ = ( T n [ h ] + f n ) | Γ , u + | Γ + 0 = u | Γ 0 , u + | Γ + = 0 .
Setting p = K ( u + , u ) + p ^ 1 + p ^ 3 , we see that ( u + , u , p ) is a solution to (29) with ( g + , g , f = div f , h , h ) . In fact, our task is to prove that div u = f = div f . Notice that ρ 0 1 ( p ^ 1 , φ ) Ω = ( g , φ ) Ω and ρ 0 1 ( p ^ 3 , φ ) Ω = ( λ f ρ 0 1 f , φ ) Ω for any φ W ^ q , 0 1 ( Ω ) . Thus, by (38):
( λ f ρ 0 1 f , φ ) Ω = ( g ρ 0 1 ( p ^ 1 + p ^ 3 ) , φ ) Ω = λ ( u , φ ) Ω ρ 0 1 ( div u , φ ) Ω
for any φ W ^ q , 0 1 ( Ω ) , which yields that:
λ ( u f , φ ) Ω ρ 0 1 ( ( div u f ) , φ ) Ω = 0 for any φ W ^ q , 0 1 ( Ω ) .
Taking φ W q , 0 1 ( Ω ) W ^ q , 0 1 ( Ω ) in (44), using the divergence theorem of Gauss, and noticing that div f = f give that:
λ ( div u f , φ ) Ω + ρ 0 1 ( ( div u f ) , φ ) Ω = 0 for any φ W q , 0 1 ( Ω ) .
Moreover, from the third equation in (42) and (39), it follows that:
f | Γ = < T n [ h ] , n > { < ( S + ( u + ) + δ γ 3 + div u + I ) n | Γ + 0 , n > < S ( u ) n | Γ 0 n , n > } K ( u + , u ) | Γ = div u | Γ , f | Γ = < T n [ h ] , n > + < ( S ( u ) K ( u + , u ) I ) n | Γ , n > = div u | Γ .
Thus, the uniqueness yields that div u = f in Ω . Inserting this fact into (44) and using the fact that λ 0 , we have u f J q ( Ω ) , which shows that div u = f = div f .
Noting that p ^ 1 = h = < h , n > and p ^ 3 = f on Γ and that p ^ 1 = h = < h , n > and p ^ 3 = f on Γ , we have:
( S + ( u + ) + δ γ 3 + div u + I ) n | Γ + 0 ( S ( u ) ( K ( u + , u ) + p ^ 1 + p ^ 3 ) I ) n | Γ 0 = T n [ h ] f n + < h , n > n + f n = h on Γ , ( S ( u ) ( K ( u + , u ) + p ^ 1 + p ^ 3 ) I ) n = T n [ h ] + f n + < h , n > n f n = h on Γ .
Thus, ( u + , u , p ) is a solution of Equation (29) with ( g + , g , f = div f , h , h ) .

2.3. Existence of R -Bounded Solution Operators for Problem (41)

The following theorem is concerned with the existence of R -bounded solution operators to Problem (41).
Theorem 8.
Let 1 < q < , 0 < ϵ < π / 2 and N < r < . Assume that r max ( q , q ) , that Ω ± are uniform W r 2 1 / r domains, and the weak Dirichlet problem is uniquely solvable in Ω with exponents q and q . Let X q ( Ω ) and X q ( Ω ) be the sets defined by:
X q ( Ω ) = { G = ( g + , g , h , h ) g ± L q ( Ω ± ) N , h W q 1 ( Ω ) N , h W q 1 ( Ω ) N } , X q ( Ω ) = { F = ( F 1 , , F 6 ) F 1 L q ( Ω + ) N , F 2 , F 5 L q ( Ω ) N , F 3 L q ( Ω ) N , { F = ( F 1 , , F 6 ) F 1 L q ( Ω + ) N , F 2 , F 4 W q 1 ( Ω ) N , F 6 W q 1 ( Ω ) N } .
Then, there exist a constant λ 0 > 0 and operator families S ± ( λ ) Hol ( Γ ϵ , λ 0 , L ( X q ( Ω ) , W q 2 ( Ω ± ) N ) ) such that for any λ Γ ϵ , λ 0 and G = ( g + , g , h , h ) X q ( Ω ) , u ± = S ± ( λ ) F λ G is a unique solution to (41) and:
R L ( X q ( Ω ) , W 2 j q ( Ω ± ) N ˜ ) ( { ( τ τ ) ( λ j / 2 S ± ( λ ) ) λ Γ ϵ , λ 0 } ) C ,
for = 0 , 1 and j = 0 , 1 , 2 , where we set F λ G = ( g + , g , λ 1 / 2 h , h , λ 1 / 2 h , h ) and G λ u = ( λ u , γ u , λ 1 / 2 u , 2 u ) .
Remark 9.
For any subdomain G Ω , we set:
G X q ( G ) = g + L q ( Ω + G ) + g L q ( Ω G ) + h W q 1 ( G ) + h W q 1 ( Ω G ) , F X q ( G ) = F 1 L q ( Ω + G ) + F 3 L q ( G ) + F 4 W q 1 ( G ) + ( F 2 , F 5 ) L q ( Ω G ) + F 6 W q 1 ( Ω G ) .
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 q , we prove the uniqueness of solutions to (41). Namely, we prove the following lemma.
Lemma 3.
Let 1 < q < and N < r < . Assume that r max ( q , q ) , that Ω ± are uniform W r 2 1 / r domains, and that the weak Dirichlet problem is uniquely solvable on Ω with exponents q and q . If there exists a λ 0 > 0 such that Problem (41) is solvable with exponent q for any λ Γ ϵ , λ 0 , then the uniqueness for (41) with exponent q is valid for any λ Γ ϵ , λ 0 .
Remark 10.
(i) The reason why we assume that r max ( q , q ) is that we use the existence of solutions to the dual problem to prove the uniqueness.(ii) The uniqueness means that if ( u + , u ) is a solution to (41) with ( 0 , 0 , 0 , 0 ) , then u ± = 0 .
Before proving Lemma 3, first we prove that if ( u + , u ) is a solution to (41) with ( g + , g , 0 , 0 ) and if g J q ( Ω ) , then u J q ( Ω ) , as well. In fact, for any φ W ^ q , 0 1 ( Ω ) , we have:
0 = ( g , φ ) Ω = ( λ u ρ 0 1 ( Div S ( u ) K ( u + , u ) ) , φ ) Ω = λ ( u , φ ) Ω ρ 0 1 ( div u , φ ) Ω .
Choosing ψ W q , 0 1 ( Ω ) W ^ q , 0 1 ( Ω ) , we have:
λ ( div u , ψ ) Ω + ρ 0 1 ( div u , ψ ) Ω = 0 for any ψ W q , 0 1 ( Ω ) .
In addition, we have:
0 = < ( S + ( u + ) + δ γ 3 + div u + ) n | Γ + 0 , n > < ( S ( u ) K ( u + , u ) ) n | Γ 0 , n > = div u on Γ , 0 = < ( S ( u ) K ( u + , u ) I ) n , n > = div u on Γ .
Thus, the uniqueness guaranteed by Theorem 7 implies that div u = 0 , which inserted into (45) yields that u J q ( Ω ) .
Secondly, for any u ± W q 2 ( Ω ± ) N and v ± W q 2 ( Ω ± ) N with u J q ( Ω ) and v J q ( Ω ) :
( ( Div S + ( u + ) + δ ( γ 3 + div u + ) ) , v + ) Ω + + ( ( Div S ( u ) K ( u + , u ) ) , v ) Ω { ( u + , ( Div S + ( v + ) + δ ( γ 3 + div v + ) ) Ω + + ( u , ( Div S ( v ) K ( v + , v ) ) Ω } = A + B
with:
A = ( ( S + ( u + ) + δ γ 3 + div u + ) n | Γ + 0 ( ( S ( u ) K ( u + , u ) I ) n | Γ 0 , v ) Γ + ( ( S ( u ) K ( u + , u ) I ) n , v ) Γ , B = ( u + , ( S + ( v + ) + δ γ 3 + div v + ) n | Γ + 0 ( u , ( S ( v ) K ( v + , v ) I ) n | Γ 0 ) Γ + ( u , ( S ( v ) K ( v + , v ) I ) n ) Γ
provided that w + | Γ + 0 = w | Γ 0 with w = u and v , where for G = Γ and Γ , we set ( a , b ) G = G a ( x ) b ( x ) d σ , d σ being the surface element on G. In fact, setting K ( u + , u ) = p 1 + p 2 W q 1 ( Ω ) + W ^ q , 0 1 ( Ω ) , by the divergence theorem of Gauss, we have:
( ( Div S + ( u + ) + δ ( γ 3 + div u + ) ) , v + ) Ω + + ( ( Div S ( u ) K ( u + , u ) ) , v ) Ω = A + ( p 2 , v ) Ω + C
with:
C = = + , μ 2 ( D ( u ) , D ( v ) ) Ω ( δ γ 3 + div u + , div v + ) Ω + + ( ν + μ + ) ( div u + , div v + ) Ω + ,
because K ( u + , u ) | Γ 0 = p 1 | Γ 0 as follows from p 2 | Γ 0 = 0 . Analogously, we have:
( u + , ( Div S + ( v + ) + δ ( γ 3 + div v + ) ) ) Ω + + ( u , ( Div S ( v ) K ( v + , v ) ) ) Ω = B + ( u , p 2 ) Ω + C
with K ( v + , v ) = p 1 + p 2 W q 1 ( Ω ) + W ^ q , 0 1 ( Ω ) . Since u J q ( Ω ) and v J q ( Ω ) , we have ( p 2 , v ) Ω = ( u , p 2 ) Ω = 0 , so that we have (47).
Proof of Lemma 3.
Let ( u + , u ) satisfy (41) with ( 0 , 0 , 0 , 0 ) , that is let ( u + , u ) satisfy the homogeneous equation. In particular, u J q ( Ω ) . Let f + and f be any vectors of functions in C 0 ( Ω ± ) N . We define ψ by ψ = K ( f ) W ^ q , 0 1 ( Ω ) , and then, f ψ J q ( Ω ) . Let ( v + , v ) be a solution to (41) with ( f + , f ψ , 0 , 0 ) . Since f ψ J q ( Ω ) , v J q ( Ω ) , so that by (47) and the fact that ( u , ψ ) Ω = 0 , we have:
0 = ( γ 0 + u + , f + ) Ω + + ( ρ 0 u , f ) Ω .
Since f ± are chosen arbitrarily, we have u ± = 0 , 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 R N . In what follows, we set:
R ± N = { x = ( x 1 , , x N ) R N ± x N > 0 } , R 0 N = { x = ( x 1 , , x N ) R N x N = 0 } ,
and n 0 = ( 0 , , 0 , 1 ) . Before stating the main results of this section, we notice that the following two variational problems are uniquely solvable:
ρ 0 1 ( v , φ ) R N = ( f , φ ) R N for any φ W ^ q , 0 1 ( R N ) ,
λ ( w , φ ) + ρ 0 1 ( w , φ ) R N = ( g , φ ) R N for any φ W q , 0 1 ( R N )
subject to w | R 0 N = g . More precisely, let 1 < q < . As is well known, for any f L q ( R N ) N , Problem (48) admits a unique solution v W ^ q , 0 1 ( R N ) possessing the estimate: v L q ( R N ) C f L q ( R N ) . We define an operator P acting on f by setting v = P f .
Moreover, for any g L q ( R N ) N , g H q 1 ( R N ) , and λ Σ ϵ , Problem (49) admits a unique solution w W q 1 ( R N ) possessing the estimate: | λ | 1 / 2 w L q ( R N ) + w L q ( R N ) C g L q ( R N ) , where C is independent of λ . This assertion is also known (cf. [13]). In particular, we have w = div λ 1 ( g ρ 0 1 w ) .
In this section, assuming that γ 0 + and γ 3 + are positive constants such that:
ρ 0 + / 2 γ 0 + 2 ρ 0 + , 0 γ 3 + ( ρ 2 + ) 2 ,
we consider the following interface problem in R N :
λ u + γ 0 + 1 Div T + ( u + ) = g + in R + N , λ u ρ 0 1 Div T ( u , K I 0 ( u + , u ) ) = g in R N , T + ( u + ) n 0 | x N = 0 + T ( u , K I 0 ( u + , u ) ) n 0 | x N = 0 = h | x N = 0 , u + | x N = 0 + = u | x N = 0 .
Here, g ± L q ( R ± N ) and h W q 1 ( R N ) are prescribed functions, and for notational simplicity, we set:
T + ( u + ) = S + ( u + ) + δ γ 3 + div u + I , T ( u , p ) = S ( u ) p I .
Moreover, v = K I 0 ( u + , u ) is a unique solution to the variational problem:
( v , φ ) R N = ( Div S ( u ) div u , φ ) R N for any φ W ^ q , 0 1 ( R N )
subject to v = g 1 on R 0 N = { x = ( x 1 , , x N ) R N x N = 0 } with:
g 1 = < S ( u ) n 0 , n 0 > | x N = 0 div u | x N = 0 < T + ( u + ) n 0 , n 0 > | x N = 0 + .
We prove the following theorem.
Theorem 9.
Let 1 < q < , 0 < ϵ < π / 2 , λ 0 > 0 . Let X q 3 ( R N ) and X q 3 ( R N ) be the sets defined by:
X q 3 ( R N ) = { G 3 = ( g + , g , h ) g ± L q ( R ± N ) N , h W q 1 ( R N ) } , X q 3 ( R N ) = { F 3 = ( F 1 , F 2 , F 3 , F 4 ) F 1 L q ( R + N ) N , F 2 L q ( R N ) N , F 3 L q ( R N ) N , F 4 L q ( R N ) N 2 } .
Then, there exist operator families E ± 0 ( λ ) Hol ( Γ ϵ , λ 0 , L ( X q 3 ( R N ) , W q 2 ( R ± N ) N ) ) such that for any λ Γ ϵ , λ 0 and G 3 = ( g + , g , h ) X q 3 ( R N ) , u ± = E ± ( λ ) F λ 3 G 3 is a unique solution to (50), and:
R L ( X q 3 ( R N ) , W q 2 j ( R ± N ) N ) ( { ( τ τ ) ( λ j / 2 E ± ( λ ) ) λ Γ ϵ , λ 0 } ) r b
for = 0 , 1 and j = 0 , 1 , 2 with some constant r b depending on ϵ, q, λ 0 , δ 0 , μ ± , ν + , ρ 0 ± , ρ 2 + , and N. Here, we set F λ 3 G 3 = ( g + , g , λ 1 / 2 h , h ) .
Remark 11.
We set:
G 3 X q ( R N ) = g + L q ( R + N ) + g L q ( R N ) + h W q 1 ( R N ) , F 3 X q ( R N ) = F 1 L q ( R + N ) + F 2 L q ( R N ) + ( F 3 , F 4 ) L q ( R N ) .
According to Assertion 1 in Section 2.2, we consider the following system of equations:
λ v + γ 0 + 1 Div T + ( v + ) = g + in R + N , λ v ρ 0 1 Div T ( v , q ) = g in R N , div v = f = div f in R N , T + ( v + ) n 0 | x N = 0 + T ( v , q ) n 0 | x N = 0 = h , v + | x N = 0 + = v | x N = 0 .
Then, Theorem 9 follows from the following theorem, because (49) is uniquely solvable.
Theorem 10.
Let 1 < q < , 0 < ϵ < π / 2 , λ 0 > 0 . Let Y q 0 ( R N ) and Y q 0 ( R N ) be the sets defined by:
Y q 0 ( R N ) = { G 0 = ( g + , g , h , f , f ) g ± L q ( R ± N ) N , h W q 1 ( R N ) , f W q 1 ( R N ) , f L q ( R N ) N , f = div f } , Y q 0 ( R N ) = { F 0 = ( F 1 , F 2 , F 3 , F 4 , F 7 , F 8 , F 9 ) F 1 L q ( R + N ) N , F 2 , F 9 L q ( R N ) N , F 3 L q ( R N ) N , F 4 W q 1 ( R N ) , F 7 L q ( R N ) , F 9 W q 1 ( R N ) } .
Then, there exist operator families A ± 1 ( λ ) and B 1 ( λ ) with:
A ± 1 ( λ ) Hol ( Γ ϵ , λ 0 , L ( Y q 0 ( R N ) , W q 2 ( R ± N ) N ) ) , B 1 ( λ ) Hol ( Γ ϵ , λ 0 , L ( Y q 0 ( R N ) , W q 1 ( R ± N ) + W ^ q , 0 1 ( R N ) ) )
such that for any λ Γ ϵ , λ 0 and G 0 = ( g + , g , h , f , f ) Y q 0 ( R N ) , v ± = A ± 1 ( λ ) F λ 0 G 0 and p = B 0 ( λ ) F λ 0 G 0 are unique solutions to (54), and:
R L ( Y q 0 ( R N ) , W q 2 j ( R ± N ) N ) ( { ( τ τ ) ( λ j / 2 A ± 1 ( λ ) ) λ Γ ϵ , λ 0 } ) r b , R L ( Y q 0 ( R N ) , L q ( R N ) N ) ( { ( τ τ ) ( B 1 ( λ ) ) λ Γ ϵ , λ 0 } ) r b
for = 0 , 1 and j = 0 , 1 , 2 with some constant r b depending on δ, ρ ± , ϵ, λ 0 , and q. Here, we set F λ 0 G 0 = ( g + , g , λ 1 / 2 h , h , λ 1 / 2 f , f , λ f ) .
Remark 12.
We set:
G 0 X q ( R N ) =   g + L q ( R + N ) + g L q ( R N ) + h W q 1 ( R N ) + f W q 1 ( R N ) + f L q ( R N ) ; F 0 X q ( R N ) =   F 1 L q ( R + N ) + ( F 2 , F 9 ) L q ( R N ) + F 3 L q ( R N ) + F 4 W q 1 ( R N ) +   F 7 L q ( R ) + F 8 W q 1 ( R N )
To prove Theorem 10, we first reduce the problem to the case where f = div f = 0 and g ± = 0 . Concerning the incompressible part, we consider the following equations:
λ w ρ 0 1 Div ( S ( w ) p I ) = g in R N , div w = f = div f in R N , p | R 0 N = 0 , w j | R 0 N = 0 , D N w N | R 0 N = f ,
where w = T ( w 1 , , w N ) . We start with proving that for any w W q 2 ( R N ) N and φ W ^ q , 0 1 ( R N ) :
( Δ w , φ ) R N = ( div w , φ ) R N .
Since C 0 ( R N ) is not dense in W ^ q , 0 1 ( R N ) in general (cf. Shibata [6]), we give a proof below. To prove (57), we use an inequality:
x N 1 φ L q ( R N ) C φ L q ( R N )
for any φ W ^ q , 0 1 ( R N ) and 1 < q < . In fact, representing φ ( x , x N ) = x N 0 ( D N φ ) ( x , s ) d s with x = ( x 1 , , x N 1 ) and using the Hardy inequality, we have:
x N 1 φ L q ( R N ) q R N 1 0 x N 1 0 x N | φ ( x , s ) | d s q d x N d x C q R N 1 0 | ( D N φ ) ( x , s ) | q d s d x ,
which yields (58). To prove (57), we take ψ ( x N ) C ( R ) , which equals one for | x N | < 1 and zero for | x N | > 2 , and set ψ R ( x N ) = ψ ( x N / R ) . For any v L q ( R N ) N and φ W ^ q , 0 1 ( R N ) ,
( v , φ ) R N = lim R ( v , ( ψ R φ ) ) R N .
In fact, by (58):
| ( v , ( D N φ R ) φ ) R N | C v L q ( R N 1 × { 2 R x N R } ) φ L q ( R N ) 0
as R , which yields (59). We now prove (57). Notice that ψ R φ W q , 0 1 ( R N ) . Since C 0 ( R N ) is dense in W q , 0 1 ( R N ) , we take a sequence { ω j } j = 1 of C 0 ( R N ) such that ω j ψ R φ W q 1 ( R N ) 0 as j . Then, by (59),
( Δ w , φ ) R N = lim R ( lim j ( Δ w , ω j ) R N ) = lim R ( lim j ( div w , ω j ) R N ) = lim R ( div w , ( ψ R φ ) ) R N = ( div w , φ ) R N ,
which shows (57).
We now consider equations:
λ w ρ 0 1 Div ( S ( w ) p I ) = g , div w = f = div f in R N , w j | R 0 N = 0 , D N w N | R 0 N = f
for j = 1 , , N 1 , where w = T ( w 1 , , w N ) . Noticing that Div S ( w ) = Δ w + div w and using (57), for any φ W ^ q , 0 1 ( R N ) , we have:
( g , φ ) R N = λ ( w , φ ) R N 2 ρ 0 1 ( div w , φ ) R N + ρ 0 1 ( p , φ ) R N = λ ( f , φ ) R N 2 ρ 0 1 ( f , φ ) R N + ρ 0 1 ( p , φ ) ) R N .
Thus, we have p = ρ 0 P ( g λ f + 2 ρ 0 1 f ) , and so, the first equation in (60) is reduced to equations:
λ w ρ 0 1 Δ w = g P ( g λ f + 2 ρ 0 1 f ) + ρ 0 1 f in R N , div w = f = div f in R N , w j | R 0 N = 0 , D N w N | R 0 N = f
for j = 1 , , N 1 . The first equations and third equations in (61) become the following equations:
λ w j ρ 0 1 Δ w j = g ˜ j in R N , w j | R 0 N = 0 ,
λ w N ρ 0 1 Δ w N = g ˜ N in R N , D N w N | R 0 N = f ,
where g ˜ j denotes the jth component of N-vector, g ˜ : = g P ( g λ f + 2 ρ 0 1 f ) + ρ 0 1 f . We use the following theorem, which was proven in [13].
Proposition 1.
Let 1 < q < , 0 < ϵ < π / 2 and λ 0 > 0 . Then, the following two assertions hold: (1) There exists an operator family S d ( λ ) Hol ( Σ ϵ , λ 0 , L ( L q ( R N ) , W q 2 ( R N ) ) ) such that for any λ Σ ϵ , λ 0 and g ˜ j L q ( R N ) , w j = S d ( λ ) g ˜ j ( j = 1 , , N 1 ) are unique solutions of Equation (62), and:
R L ( L q ( R N ) , W q 2 j ( R N ) ) ( { ( τ τ ) ( λ j / 2 S d ( λ ) ) λ Σ ϵ , λ 0 } ) r b
for = 0 , 1 , and j = 0 , 1 , 2 with some constant r b depending on λ 0 .
(2) Let
Y q 1 ( R N ) = { ( g , f ) g L q ( R N ) N , f W q 1 ( R N ) } , Y q 1 ( R N ) = { ( F 2 , F 7 , F 8 ) F 2 L q ( R N ) N , F 7 L q ( R N ) , F 8 W q 1 ( R N ) } .
Then, there exists an operator family S n ( λ ) Hol ( Σ ϵ , λ 0 , L ( Y q 1 ( R N ) , W q 2 ( R N ) ) ) such that for any λ Σ ϵ , λ 0 and ( g ˜ N , f ) Y q 1 ( R N ) , w N = S n ( λ ) ( g ˜ N , λ 1 / 2 f , f ) is a unique solution of Equation (63), and:
R L ( Y q 1 ( R N ) , W q 2 j ( R N ) ) ( { ( τ τ ) ( λ j / 2 S n ( λ ) ) λ Σ ϵ , λ 0 } ) r b
for = 0 , 1 , and j = 0 , 1 , 2 with some constant r b depending on λ 0 .
Finally, we prove that div w = f = div f with w = T ( w 1 , , w N ) . In fact, for any φ W ^ q , 0 1 ( R N ) , by (57), (62), and (63) we have:
( g P ( g λ f + 2 ρ 0 1 f ) + ρ 0 1 f , φ ) R N = ( λ w ρ 0 1 Δ w , φ ) R N = λ ( w , φ ) R N ρ 0 1 ( div w , φ ) R N ,
which yields that:
λ ( w f , φ ) R N ρ 0 1 ( ( div w f ) , φ ) R N = 0
for any φ W ^ q , 0 1 ( R N ) . By the divergence theorem of Gauss and the assumption that f = div f , we have:
λ ( div w f , φ ) R N + ρ 0 1 ( ( div w f ) , φ ) R N = 0
for any φ W q , 0 1 ( R N ) . Since div w | x N = 0 = D N w N | x N = 0 = f | x N = 0 , therefore the uniqueness yields that div w = f . Thus, by (64), we have w f J q ( R N ) , which shows that w and p satisfy (56).
Summing up, we proved the following proposition.
Proposition 2.
Let 1 < q < , 0 < ϵ < π / 2 , and λ 0 > 0 . Let:
Y q 2 ( R N ) = { ( g , f , f ) g , f L q ( R N ) N , f W q 1 ( R N ) , f = div f } , Y q 1 ( R N ) = { ( F 2 , F 7 , F 8 , F 9 ) F 2 , F 9 L q ( R N ) N , F 7 L q ( R N ) , F 8 W q 1 ( R N ) } .
Then, there exists an operator family T 1 ( λ ) Hol ( Σ ϵ , λ 0 , L ( Y q 2 ( R N ) , W q 2 ( R N ) N ) ) such that for any λ Σ ϵ , λ 0 and ( g ˜ N , f , f ) Y q 2 ( R N ) , w = T 1 ( λ ) ( g , λ 1 / 2 f , f , λ f ) is a unique solution of Equation (56), and:
R L ( Y q 2 ( R N ) , W q 2 j ( R N ) N ) ( { ( τ τ ) ( λ j / 2 T 1 ( λ ) ) λ Σ ϵ , λ 0 } ) r b
for = 0 , 1 , and j = 0 , 1 , 2 with some constant r b depending on λ 0 .
Concerning the compressible part, we consider the equations:
λ w + γ 0 + 1 Div T + ( w + ) = g + in R + N , γ 0 + 1 T + ( w + ) n 0 | R 0 N = 0 .
We know the following theorem, which was proven by Götz and Shibata [14].
Proposition 3.
Let 1 < q < , 0 < ϵ < π / 2 , δ 0 > 0 , and λ 0 > 0 . Then, there exists an operator family T + 1 ( λ ) Hol ( Γ ϵ , λ 0 , L ( L q ( R + N ) N , W q 2 ( R + N ) N ) ) such that for any g + and λ Γ ϵ , λ 0 , w + = T + 1 ( λ ) g + is a unique solution to Problem (65), and:
R L q ( R + N ) N , W q 2 j ( R + N ) N ) ( { ( τ τ ) ( λ j / 2 T + 1 ( λ ) ) λ Γ ϵ , λ 0 } ) r b
for = 0 , 1 , j = 0 , 1 , 2 with some constant r b depending on ϵ, λ 0 , ρ + 0 , δ 0 , q, and N.
We now set v ± = w ± + u ± and q = p + θ in Equation (54), and then, the equations for u ± and θ are the following:
λ u + γ 0 + 1 Div T + ( u + ) = 0 in R + N , λ u ρ 0 1 Div T ( u , θ ) = 0 , div u = 0 in R N , T + ( u + ) n 0 | x N = 0 + T ( u , θ ) n 0 | x N = 0 = h , u + | x N = 0 + u | x N = 0 = k .
Concerning Equation (66), we know the following theorem, which was proven by Kubo, Shibata, and Soga [15].
Theorem 11.
Let 1 < q < , 0 < ϵ < π / 2 , and λ 0 > 0 . Let:
Y q 3 ( R N ) = { ( h , k ) h W q 1 ( R N ) , k W q 2 ( R N ) } , Y q 3 ( R N ) = { ( F 3 , F 4 , F 10 , F 11 , F 12 ) F 3 , F 10 L q ( R N ) N , F 4 , F 11 W q 1 ( R N ) N , F 12 W q 2 ( R N ) } .
Then, there exist operator families T ± 2 ( λ ) and Q ( λ ) with:
T ± 2 ( λ ) Hol ( Γ ϵ , λ 0 , L ( Y q 3 ( R N ) , W q 2 ( R ± N ) N ) ) , Q 0 ( λ ) Hol ( Γ ϵ , λ 0 , L ( Y q 2 ( R N ) , W q 1 ( R N ) + W ^ q , 0 1 ( R N ) ) ) ,
such that for any λ Γ ϵ , λ 0 and G 3 = ( h , k ) Y q 3 ( R N ) , u ± = T ± 2 ( λ ) F λ 3 G 3 and θ = Q ( λ ) F λ 3 G 3 are unique solutions to (66), where F λ 3 G 3 = ( λ 1 / 2 h , h , λ k , λ 1 / 2 k , k ) ,
R L ( Y q 3 ( R N ) , W q 2 j ( R ± N ) N ) ( { ( τ τ ) ( λ j / 2 T ± 2 ( λ ) ) λ Γ ϵ , λ 0 } ) r b , R L ( Y q 3 ( R N ) , L q ( R N ) N ) ( { ( τ τ ) ( Q ( λ ) ) λ Γ ϵ , λ 0 } ) r b
for = 0 , 1 and j = 0 , 1 , 2 with some constant r b depending on ϵ, λ 0 , ρ ± 0 , δ 0 , q, and N.
Remark 13.
F 3 , F 4 , F 10 , F 11 , and F 12 are the corresponding variables to λ 1 / 2 h , h , λ k , λ 1 / 2 k and k . We set:
( F 3 , F 4 , F 10 , F 11 , F 12 ) Y q 3 ( R N ) = ( F 3 , F 10 ) L q ( R N ) + ( F 4 , F 11 ) W q 1 ( R N ) + F 12 W q 2 ( R N ) .
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 Φ : R N R N be a bijection of the C 1 class, and let Φ 1 be its inverse map. Writing Φ = A + B ( x ) and Φ 1 = A + B ( x ) , we assume that A and A 1 are orthonormal matrices with constant coefficients and B ( x ) and B 1 ( x ) are matrices of functions in W r , loc 1 ( R N ) with N < r < such that:
( B , B 1 ) L ( R N ) M 1 , ( B , B 1 ) L r ( R N ) M 2 .
We will choose M 1 small enough eventually, and so we may assume that 0 < M 1 < 1 M 2 . We set D ± = Φ ( R ± N ) and S = Φ ( R 0 N ) , and we denote the unit outward normal to S pointing from D to D + by n + . Since S is represented by Φ 1 , N ( y ) = 0 with Φ 1 = ( Φ 1 , 1 , , Φ 1 , N ) , we have:
n + = Φ 1 , N | Φ 1 , N | = ( A N 1 + B N 1 , , A N N + B N N ) ( i = 1 N ( A N i + B N i ) 2 ) 1 / 2 ,
where we set A 1 = ( A i j ) and B 1 = ( B i j ) . Notice that n + is defined on the whole R N . By (67) with small M 1 ,
i = 1 N ( A N i + B N i ) 2 1 / 2 = 1 + b 0
with b 0 W r , loc 1 ( R N ) possessing the estimate: b 0 L ( R N ) C N M 1 and b 0 L r ( R N ) C M 2 . Let γ 0 + ( x ) and γ 3 + ( x ) be real-valued functions defined on R N satisfying the following conditions:
ρ 0 + / 2 γ 0 + 2 ρ 0 + , 0 γ 3 + ( ρ 2 + ) 2 ( x D + ) , γ + γ ^ + L ( D + ) M 1 , γ + L r ( D + ) C M 2
for = 0 and 3, where γ ^ + ( = 0 , 3 ) are some constants with ρ 0 + / 2 < γ ^ 0 + < 2 ρ 0 + and 0 γ ^ 3 + ( ρ 2 + ) 2 .
First, we consider the following problem:
λ u + γ 0 + 1 Div T + ( u + ) = g + in D + , λ u ρ 0 1 Div T ( u , K I ( u + , u ) ) = g in D , T + ( u + ) n + | S + 0 T ( u , K I ( u + , u ) ) n + | S 0 = h | S , u + | S + 0 = u | S 0 .
Moreover, v = K I ( u + , u ) is a solution to the weak Dirichlet problem:
( v , φ ) D = ( Div S ( u ) div u , φ ) D for any φ W ^ q , 0 1 ( D )
subject to v = < S ( u ) n + , n + > | S 0 div u | S 0 < ( S + ( u + ) + δ γ 3 + div u + I ) n + , n + > | S + 0 . We have the following theorem.
Theorem 12.
Let 1 < q < , 0 < ϵ < π / 2 , and r max ( q , q ) . Let X q 3 ( D ) and X q 3 ( D ) be sets defined by replacing R N and R ± N by D and D ± , respectively, in Theorem 9. Then, there exist constants M 1 ( 0 , 1 ) , λ 0 = λ M 2 1 and operator families E ± 1 ( λ ) Hol ( Γ ϵ , λ 0 , L ( X q 3 ( D ) , W q 2 ( D ± ) N ) ) such that for any λ Γ ϵ , λ 0 and G 3 = ( g + , g , h ) X q 3 ( D ) , u ± = E ± 1 ( λ ) F λ 3 G 3 is a unique solution to (71), and:
R L ( X q 3 ( D ) , W q 2 j ( D ± ) N ) ( { ( τ τ ) ( λ j / 2 E ± 1 ( λ ) ) λ Γ ϵ , λ 0 } ) C M 2 ( = 0 , 1 , j = 0 , 1 , 2 ) .
Remark 14.
Here and in the following, M 1 depends on ϵ, q, μ ± , ν + , ρ 0 ± , ρ 2 + , but is independent of M 2 . In addition, constants denoted by λ M 2 and C M 2 depend on M 2 , ϵ, q, μ ± , ν + , ρ 0 ± , ρ 2 + , and N, but we mention only dependence on M 2 .
Proof. 
The idea of the proof here follows Shibata [16] and von Below, Enomoto, and Shibata [17]. Using the change of variable: x = Φ 1 ( y ) with y D and x R N and the change of unknown functions: v ± = A 1 u ± Φ , writing γ 0 + 1 = γ ^ 0 + 1 + ( γ 0 + 1 γ ^ 0 + 1 ) and γ 3 + = γ ^ 3 + + ( γ 3 + γ ^ 3 + ) , and setting p = K I ( u + , u ) , we see that Problem (71) is transferred to the following equivalent problem:
λ v + γ ^ 0 + 1 [ Div S + ( v + ) + δ γ ^ 3 + div v + ] F + 1 ( v + ) = G + in R + N , λ v ρ 0 1 [ Div S ( v ) p ] F 1 ( v ) + P 1 p = G in R N
subject to the interface condition: v + | x N = 0 + = v | x N = 0 and:
{ ( S + ( v + ) + δ γ ^ 3 + div v + I ) n 0 + F + 2 ( v + ) } | x N = 0 + { ( S ( v ) p I ) n 0 + F 2 ( v ) } | x N = 0 = H .
p satisfies the following variational equation:
( p , φ ) + ( P 2 p , φ ) = ( Div S ( v ) div v + F 3 ( v ) , φ ) for any φ W ^ q , 0 1 ( R N )
subject to:
p | x N = 0 = { < S ( v ) n 0 , n 0 > div v + F 4 ( v ) } | x N = 0 { < ( S + ( v + ) + δ γ ^ 3 + div v + I ) n 0 , n 0 > + F + 3 ( v + ) } | x N = 0 + .
Here, we write ( · , · ) = ( · , · ) R N for short, and G ± = A 1 g ± Φ , H = A 1 h Φ , and F ± i ( v ± ) are the vector of functions of the forms:
F ± 1 ( v ± ) = R ± 1 2 v ± + S ± v ± , F + i ( v + ) = R + i v + , F j ( v ) = R j v
for i = 2 , 3 and j = 2 , 3 , 4 . In view of (67)–(70), we can assume that R ± i , S ± , and P i possesses the following estimate:
( R + i , R j , P k ) L ( R N ) C M 1 , ( R + i , R j , P k , S ± ) L r ( R N ) C M 2
for i = 1 , 2 , 3 , j = 1 , 2 , 3 , 4 , and k = 1 , 2 . Following Shibata ([16] Section 4), we treat the R N side as follows: Let v = K I 0 ( v + , v ) be a function defined in (52), which satisfies the estimate:
K I 0 ( v + , v ) L q ( R N ) C ( v + W q 1 ( R + N ) + v W q 1 ( R N ) ) .
Setting p = K I 0 ( v + , v ) + p 1 , we see that p 1 satisfies the variational equation:
( p 1 , φ ) + ( P 2 p 1 , φ ) = ( F 3 ( v ) P 2 K I 0 ( v + , v ) , φ ) for any φ W q , 0 1 ( R N )
subject to:
p 1 | x N = 0 = F 4 ( v ) | x N = 0 F + 3 ( v + ) | x N = 0 + .
Since P 2 L ( R N ) is small enough, we can show the following lemma by the small perturbation from the weak Dirichlet problem in R N .
Lemma 4.
Let 1 < q < . Then, there exist a constant M 1 ( 0 , 1 ) and an operator Ψ with:
Ψ L ( L q ( R N ) 2 N , W q 1 ( R N ) + W ^ q , 0 1 ( R N ) )
such that for any f L q ( R N ) N and g W ^ q , 0 1 ( R N ) , θ = Ψ ( f , g ) is a unique solution to the variational problem:
( θ , φ ) + ( P 2 θ , φ ) = ( f , φ ) for any φ W ^ q , 0 1 ( R N )
subject to θ | x N = 0 = g | x N = 0 .
By Lemma 4, p 1 = p 1 ( v + , v ) = Ψ ( f , g ) with f = F 3 ( v ) P 2 K I 0 ( v + , v ) and g = F 4 ( v ) F + 3 ( v + ) . Inserting p = K I 0 ( v + , v ) + p 1 ( v + , v ) into (73), we have:
λ v + γ ^ 0 + 1 [ Div S + ( v + ) δ γ 3 + 1 div v + ] F + 1 ( v + ) = G + in R + N , λ v ρ 0 1 [ Div S ( v ) K I 0 ( v + , v ) ] F 1 ( v ) + ρ 0 1 [ P 1 K I 0 ( v + , v ) + ( I + P 1 ) p 1 ( v + , v ) ] = G in R N
subject to the interface conditions v + | x N = 0 + = v | x N = 0 and:
{ ( S + ( v + ) + δ γ ^ 3 + div v + I ) n 0 + F + 2 ( v + ) + F + 3 ( v + ) n 0 } | x N = 0 + { ( S ( v ) ( K I 0 ( v + , v ) + F 4 ( v ) I ) n 0 + F 2 ( v ) } | x N = 0 = H .
Here, we used (78).
To solve (81) for any right members G 3 = ( g + , g , h ) X q 3 ( R N ) , we set v ± = E ± ( λ ) F λ 3 G 3 in (81), where E ± ( λ ) are operators given in Theorem 9, and then, we have:
λ v + γ ^ 0 + 1 [ Div S + ( v + ) δ γ 3 + 1 div v + ] F + 1 ( v + ) = G + F + 1 ( λ ) G 3 in R + N , λ v ρ 0 1 [ Div S ( v ) K I 0 ( v + , v ) ] F 1 ( v ) + ρ 0 1 [ P 1 K I 0 ( v + , v ) + ( I + P 1 ) p 1 ( v + , v ) ] = G F 1 ( λ ) G 3 in R N
subject to the interface conditions v + | x N = 0 + = v | x N = 0 and:
{ ( S + ( v + ) + δ γ ^ 3 + div v + I ) n 0 + F + 2 ( v + ) + F + 3 ( v + ) n 0 } | x N = 0 + { ( S ( v ) ( K I 0 ( v + , v ) + F 4 ( v ) I ) n 0 + F 2 ( v ) } | x N = 0 = H F 2 ( λ ) G 3 .
Here, we set:
F + 1 ( λ ) G 3 = F + 1 ( E + ( λ ) F λ 3 G 3 ) , F 1 ( λ ) G 3 = F 1 ( E ( λ ) F λ 3 G 3 ) ρ 0 1 [ P 1 K I 0 ( E + ( λ ) F λ 3 G 3 , E ( λ ) F λ 3 G 3 ) + ( I + P 1 ) p 1 ( E + ( λ ) F λ 3 G 3 , E ( λ ) F λ 3 G 3 ) ] , F 2 ( λ ) G 3 = Ext [ F + 2 ( E + ( λ ) F λ 3 G 3 ) + F + 3 ( E + ( λ ) F λ 3 G 3 ) n 0 ] + Ext + [ F 4 ( E ( λ ) F λ 3 G 3 ) I n 0 F 2 ( E ( λ ) F λ 3 G 3 ) ] ,
and Ext ± [ f ] denote the even extension of functions f defined on R N to R N . Note that:
Ext ± [ f ] L q ( R N ) 2 f L q ( R N ) ( = 0 , 1 )
with 0 f = f . Let us define the corresponding R - bounded operators R ± 1 ( λ ) and R 2 ( λ ) by:
R + 1 ( λ ) F 3 = F + 1 ( E + ( λ ) F 3 ) , R 1 ( λ ) F 3 = F 1 ( E ( λ ) F 3 ) ρ 0 1 [ P 1 K I 0 ( E + ( λ ) F 3 , E ( λ ) F 3 ) + ( I + P 1 ) p 1 ( E + ( λ ) F 3 , E ( λ ) F 3 ) ] , R 2 ( λ ) F 3 = Ext [ F + 2 ( E + ( λ ) F 3 ) + F + 3 ( E + ( λ ) F 3 ) n 0 ] Ext + [ F 4 ( E ( λ ) F 3 ) n 0 F 2 ( E ( λ ) F 3 ) ] .
Set R ( λ ) G 3 = ( F + 1 ( λ ) G 3 , F 1 ( λ ) G 3 , F 2 ( λ ) G 3 ) and R ( λ ) F 3 = ( R + 1 ( λ ) F 3 , R 1 ( λ ) F 3 , R 2 ( λ ) F 3 ) . Obviously,
R ( λ ) G 3 = R ( λ ) F λ 3 G 3 .
To obtain:
R L ( X q 3 ( R N ) ) ( { ( τ τ ) R ( λ ) λ Γ ϵ , λ 0 } ) C ( σ + M 1 + C σ , M 2 λ 0 1 / 2 ) ( = 0 , 1 ) ,
we use the following lemma (cf. Shibata ([4] Lemma 2.4)).
Lemma 5.
Let D = R N or R ± N . Let 1 < q r < and N < r < . Then, there exists a constant C N , q , r such that for any σ > 0 , a L r ( D ) and b W q 1 ( D ) , it holds that:
a b L q ( D ) σ b L q ( D ) + C N , q , r σ N r N a L r ( D ) r r N b L q ( D ) .
To prove (85), for example, we treat Ext [ F + 2 ( E + ( λ ) F 3 ) ] . Recalling (75) and using (83), (76), Lemma 5, Lemma 2, Theorem 9, and (53), we have:
0 1 k = 1 n r k ( u ) Ext [ F + 2 ( E + ( λ k ) F 3 ) ] L q ( R N ) q d u = 0 1 Ext k = 1 n r k ( u ) F + 2 ( E + ( λ k ) F 3 ) L q ( R N ) q d u 2 q 0 1 F + 2 k = 1 n r k ( u ) E + ( λ k ) F 3 L q ( R + N ) q d u C q 0 1 σ k = 1 n r k ( u ) 2 E + ( λ k ) F 3 L q ( R + N ) + C σ , M 2 k = 1 n r k ( u ) E + ( λ k ) F 3 L q ( R + N ) q d u C q σ q 0 1 k = 1 n r k ( u ) 2 E + ( λ k ) F 3 L q ( R + N ) q d u a a a a a a a a a a a a a a a a a a a a a a + C q ( C σ , M 2 λ 0 1 / 2 ) q 0 1 k = 1 n r k ( u ) λ k 1 / 2 E + ( λ k ) F 3 L q ( R + N ) q d u C q ( σ + C σ , M 2 λ 0 1 / 2 ) q 0 1 k = 1 n r k ( u ) F 3 X q 3 ( R N ) d u .
Analogously, we can estimate the R -bound of any other terms, and therefore, we have (85).
Recalling (53) and F λ 3 G 3 = ( g + , g , λ 1 / 2 h , h ) , we see that F λ 3 G 3 X q 3 ( R N ) gives equivalent norms of X q 3 ( R N ) . By (84) and (85), we have:
R ( λ ) G 3 X q 3 ( R N ) C ( σ + M 1 + C σ , M 2 λ 0 1 / 2 ) F λ 3 G 3 X q 3 ( R N )
for any G 3 = ( g + , g , h ) X q 3 ( R N ) . Thus, choosing σ and M 1 so small and λ 0 so large that C ( σ + M 1 + C σ , M 2 λ 1 / 2 ) 1 / 2 , we have:
R ( λ ) L ( X q ( R N ) ) 1 / 2 for any λ Γ ϵ , λ 0 ,
and therefore, ( I R ( λ ) ) 1 exists in L ( X q 3 ( R N ) ) . If we set v ± = E ± ( λ ) F λ 3 ( I R ( λ ) ) 1 G 3 , with G = ( G + , G , H ) , then in view of (82), v ± solve (81). Moreover, using (84), we have F λ 3 ( I R ( λ ) ) 1 = ( I F λ 3 R ( λ ) ) 1 F λ 3 , and so, defining operators E ˜ ± ( λ ) by E ˜ ± ( λ ) = E ± ( λ ) ( I F λ 3 R ( λ ) ) 1 and using (85) and Theorem 9, we see that v ± = E ˜ ± ( λ ) F λ 3 G 3 with G 3 = ( G + , G , H ) is a unique solution to (81), and:
R L ( X q 3 ( R N ) , L q ( R ± N ) N ˜ ) ( { ( τ τ ) G λ E ˜ ± ( λ ) λ Γ ϵ , λ 0 } ) C ( = 0 , 1 ) .
Since u ± = ( A 1 ) 1 [ v ± Φ 1 ] is a unique solution to (71), we have Theorem 12 by the pullback. □
Next, for the compressible part, we consider the following two problems.
λ v + γ 0 + 1 ( Div S + ( v + ) + δ ( γ 3 + div v + ) ) = g + in D + , v + | S = 0 ;
λ v + γ 0 + 1 ( Div S + ( v + ) + δ ( γ 3 + div v + ) ) = g + in R N .
Since we know the existence of R -bounded solution operators in R + N and R N (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 1 < q < , 0 < ϵ < π / 2 , and r max ( q , q ) . Then, there exist constants M 1 ( 0 , 1 ) and λ 0 = λ M 2 1 such that the following two assertions hold:(1) There exists an operator family E D + ( λ ) Hol ( Γ ϵ , λ 0 , L ( L q ( D + ) N , W q 2 ( D + ) N ) ) such that for any λ Γ ϵ , λ 0 and g + L q ( D + ) N , v + = E D + ( λ ) g + is a unique solution to (86), and:
R L ( L q ( D + ) N , W q 2 j ( D + ) N ) ( { ( τ τ ) ( λ j / 2 E D + ( λ ) ) λ Γ ϵ , λ 0 } ) C ( = 0 , 1 , j = 0 , 1 , 2 ) .
(2) There exists an operator family E 0 + ( λ ) Hol ( Γ ϵ , λ 0 , L ( L q ( R N ) N , W q 2 ( R N ) N ) ) such that for any λ Γ ϵ , λ 0 and g + L q ( R N ) N , v + = E 0 + ( λ ) g + is a unique solution to (87), and:
R L ( L q ( R N ) N , W q 2 j ( R N ) N ) ( { ( τ τ ) E 0 + ( λ ) λ Γ ϵ , λ 0 } ) C ( = 0 , 1 , j = 0 , 1 , 2 ) .
Finally, for the incompressible part, we consider the following two problems:
λ v ρ 0 1 ( Div S ( v ) K F ( v ) ) = g in D , ( S ( v ) K F ( v ) I ) n + | S = h | S ,
λ v ρ 0 1 ( Div S ( v ) K 0 ( v ) ) = g , in R N ,
where K F ( v ) and K 0 ( v ) are unique solutions to the following variational problems:
( K F ( v ) , φ ) D = ( S ( v ) div v , φ ) D for any φ W ^ q , 0 1 ( D )
subject to K F ( v ) = < S ( v ) n + , n + > div v on S, and:
( K 0 ( v ) , φ ) R N = ( S ( v ) div v , φ ) R N for any φ W ^ q , 0 1 ( R N ) ,
respectively. Since we know the existence of R -bounded solution operators in R + N and R N (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 1 < q < and 0 < ϵ < π / 2 . Then, there exist constants M 1 ( 0 , 1 ) and λ 0 = λ M 2 1 such that the following two assertions hold.(1) Let X q 5 ( D ) and X q 5 ( D ) be sets defined by:
X q 5 ( D ) = { ( g , h ) g L q ( D ) N , h W q 1 ( D ) N } , X q 5 ( D ) = { F 5 = ( F 2 , F 5 , F 6 ) F 2 , F 5 L q ( D ) N , F 6 L q ( D ) N 2 } .
Then, there exists an operator family E D ( λ ) Hol ( Γ ϵ , λ 0 , L ( X q 5 ( D ) , W q 2 ( D ) N ) ) such that for any λ Γ ϵ , λ 0 and G 5 = ( g , h ) X q 5 ( D ) , v = E D ( λ ) F λ 5 G 5 is a unique solution to (88), and:
R L ( X q 5 ( D ) N , W q 2 j ( D ) N ) ( { ( τ τ ) ( λ j / 2 E D ( λ ) ) λ Γ ϵ , λ 0 } ) C ( = 0 , 1 , j = 0 , 1 , 2 ) .
Here, F 5 G 5 = ( g , λ 1 / 2 h , h ) .
(2) There exists an operator family E 0 ( λ ) Hol ( Γ ϵ , λ 0 , L ( L q ( R N ) N , W q 2 ( R N ) N ) ) such that for any λ Γ ϵ , λ 0 and g L q ( R N ) N , v = E 0 ( λ ) g is a unique solution to (89), and:
R L ( L q ( R N ) N , W q 2 j ( R N ) N ) ( { ( τ τ ) E 0 ( λ ) λ Γ ϵ , λ 0 } ) C ( = 0 , 1 , j = 0 , 1 , 2 ) .

5. A Proof of Theorem 8

5.1. Some Preparations for the Proof of Theorem 8

We first give several properties of the uniform W r 2 1 / r domain in the following proposition.
Proposition 4.
Let N < r < , and let Ω ± be uniform W r 2 1 / r domains in R N . Let M 1 be the number given in (67). Then, there exist constants M 2 > 0 , 0 < d i < 1 ( i = 1 , , 5 ) , at most countably many N-vectors of functions Φ j i W r 2 ( R N ) N ( i = 1 , , 5 , j N ) , and points x j 1 Γ , x j 2 Γ + , x j 3 Γ , x j 4 Ω + and x j 5 Ω such that the following assertions hold:
(i)
The maps: R N x Φ j i ( x ) R N ( i = 1 , 2 , 3 , j N ) are bijective such that Φ j i = A j i + B j i , ( Φ j i ) 1 = A j , 1 i + B j , 1 i , where A j i and A j , 1 i are N × N constant orthonormal matrices, and B j i and B j , 1 i are N × N matrices of W r 1 ( R N ) functions that satisfy the conditions: ( B j i , B j , 1 i ) L ( R N ) M 1 and ( B j i , B j , 1 i ) L r ( R N ) M 2 .
(ii)
Ω = i = 1 , 2 , 3 j = 1 ( Φ j i ( H i ) B d i ( x j i ) ) i = 4 , 5 j = 1 B d i ( x j i ) with H 1 = R N , H 2 = R + N and H 3 = R N , Φ j 1 ( R N ) B d 1 ( x j 1 ) = Ω B d 1 ( x j 1 ) , Φ j 2 ( R + N ) B d 2 ( x j 2 ) = Ω + B d 2 ( x j 2 ) , Φ j 3 ( R N ) B d 3 ( x j 3 ) = Ω B d 3 ( x j 3 ) , B d 4 ( x j 4 ) Ω + , B d 5 ( x j 5 ) Ω , and Φ j i ( R 0 N ) B d i ( x j i ) = Γ i B d i ( x j i ) ( i = 1 , 2 , 3 ) . Here and in the following, we set Γ 1 = Γ , Γ 2 = Γ + , and Γ 3 = Γ for notational convenience.
(iii)
There exist C functions ζ j i and ζ ˜ j i ( i = 1 , , 5 , j N ) such that ( ζ j i , ζ ˜ j i ) W 2 ( R N ) c 0 , 0 ζ j i , ζ ˜ j i 1 , supp ζ j i , supp ζ ˜ j i B d i ( x j i ) , ζ ˜ j i = 1 on supp ζ j i , i = 1 , , 5 j = 1 ζ j i = 1 on Ω ¯ , j = 1 ζ j i = 1 on Γ i ( i = 1 , 2 , 3 ) .
(iv)
There exists a natural number L 2 such that any L + 1 distinct sets of { B d i ( x j i ) i = 1 , , 5 , j N } have an empty intersection.
Proof. 
For a detailed proof, we refer to Enomoto and Shibata ([18] Appendix). □
In the following, choosing M 2 larger if necessary, we may assume that γ k + L r ( B d i ( x j i ) Ω + ) M 2 ( k = 0 , 3 , i = 1 , 3 , 5 , j N ) , which is a weaker assumption than the last condition in (23). Since functions in W r 1 are Hölder continuous of order α with 0 < α < 1 N / r , as follows from Sobolev’s imbedding theorem, we have | γ k + ( x ) γ k + ( x j i ) | C γ k + W r 1 ( B d i ( x j i ) ) | x x j i | α for any x B d i ( x j i ) ( k = 0 , 3 ) with some constant C independent of j, and so choosing d i > 0 smaller and more points x j i suitably, we may assume that | γ k + ( x ) γ k + ( x j i ) | M 1 for x B d i ( x j i ) ( k = 0 , 3 , i = 1 , 3 , 5 , j N ) . Here and in the following, constants denoted by C are independent of j N . In addition, in view of (68), we may assume that each unit outward normal n j i to Φ j i ( R 0 N ) ( i = 1 , 3 , 4 , j N ) is defined on R N and satisfies the conditions: n j i L ( R N ) = 1 and n j i L r ( R N ) C M 2 . Note that n = n j 1 on B d 1 ( x j 1 ) Γ and n = n j 4 on B d 4 ( x j 4 ) Γ .
Summing up, from now on, we may assume that:
γ k + γ k + ( x j i ) L ( Ω B d i ( x j i ) ) C M 1 , γ k + L r ( B d i ( x j i ) ) M 2 ( k = 0 , 3 ) , n L r ( B d 1 ( x j 1 ) Ω ) M 2 , n L r ( B d 4 ( x j 4 ) Ω ) M 2 ,
and that both n and n are defined on R N with n L ( Ω ) = 1 and n L ( Ω ) = 1 , respectively.
Next, we prepare two lemmas used to construct a parametrix.
Lemma 6.
Let X be a Banach space and X its dual space, while · X , · X and < · , · > are the norm of X, the norm of X , and the duality of X and X , respectively. Let n N , and for i = 1 , , n , let a i C , let { f j ( i ) } j = 1 be sequences in X . Let { g j ( i ) } j = 1 and { h j } j = 1 be sequences of positive numbers. Assume that there exist maps N j : X [ 0 , ) such that:
| < f j ( i ) , φ > | M 3 g j i N j ( φ ) ( i = 1 , , n ) , | < i = 1 n a i f j ( i ) , φ > | M 3 h j N j ( φ )
for any φ L q ( D ) with some constant M 3 independent of j N . If:
j = 1 ( g j ( i ) ) q < , j = 1 ( h j ) q < , j = 1 N j ( φ ) q M 4 q φ X q ,
then the infinite sum f ( i ) = j = 1 f j ( i ) exists in the strong topology of X and:
f ( i ) X M 3 M 4 j = 1 ( g j ( i ) ) q 1 / q , i = 1 n a i f ( i ) X M 3 M 4 j = 1 ( h j ) q 1 / q .
Lemma 7.
Let D be a domain in R N , and assume that there exists at most countably many covering { B j } j = 1 such that D j = 1 B j and { B j } j = 1 has a finite intersection property of order L, that is any L + 1 distinct sets of { B j } j = 1 have an empty intersection. Let 1 < q < . Then, the following assertions hold.
(i)
There exists a constant C q , L such that:
j = 1 f L q ( D B j ) q 1 / q C q , L f L q ( D ) for any f L q ( D ) .
(ii)
Let m N 0 . Let { f j } j = 1 be a sequence in W q m ( D ) , and let { g j ( ) } j = 1 ( = 0 , 1 , , m ) be sequences of positive numbers. Assume that:
j = 1 ( g j ( ) ) q < , | ( f j , φ ) D | M 3 g j φ L q ( D B j ) for any φ L q ( D ) and = 0 , 1 , , m
with some constant M 3 independent of j N . Then, f = j = 1 f j exists in the strong topology of W q m ( D ) and:
f L q ( D ) C q , L M 3 ( j = 1 ( g j ( ) ) q ) 1 / q .
Remark 15.
To prove Lemma 6, we consider the difference of finite sum j = 1 N f j ( i ) 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 { B j } j = 1 , and the assertion (ii) of Lemma 7 follows from Lemma 6 and Lemma 7 (i).

5.2. Local Solutions

In the following, we write B d i ( x j i ) = B j i ( i = 1 , , 5 ) , H j 1 = Φ j 1 ( R N ) , H ± j 1 = Φ j 1 ( R ± N ) , H j 2 = Φ j 2 ( R + N ) , H j 3 = Φ j 3 ( R N ) , H 4 = H 5 = R N , Γ j 1 = Φ j 1 ( R 0 N ) , Γ j 2 = Φ j 2 ( R 0 N ) , and Γ j 3 = Φ j 3 ( R 0 N ) for short. n j 1 denote the unit outward normals to Γ j 1 pointing from H j 1 to H + j 1 , and n j 3 denote the unit outward normals to Γ j 3 for j N . In view of (90), we define the functions γ j k i by:
γ j k i ( x ) = ( γ k + ( x ) γ k + ( x j i ) ) ζ ˜ j i ( x ) + γ k + i ( x j i )
for k = 0 , 3 , i = 1 , 2 , 4 , and j N . Noting that 0 ζ ˜ j i 1 and ζ j i L ( R N ) c 0 , by (90) and (23):
ρ 0 + / 2 γ j 0 i ( x ) 2 ρ 0 + , 0 γ j 3 i ( x ) ( ρ 2 + ) 2 ( x { H + j 1 , H j 2 , H j 4 } ) , γ j k i ( · ) γ j k i ( x j i ) L ( H j i ) C M 1 , γ j k i L r ( H j i ) M 2
for k = 0 , 3 , i = 1 , 2 , 4 , and j N . In addition, we have:
γ j k i ( x ) = γ k + ( x ) ( x supp ζ j i , k = 0 , 3 , i = 1 , 2 , 4 , j N ) ,
because ζ ˜ j i = 1 on supp ζ j i . For G = ( g + , g , h , h ) X q ( Ω ) , we consider the equations:
λ v + j 1 ( γ j 0 1 ) 1 [ Div S + ( v + j 1 ) + δ ( γ 3 j 1 div v + j 1 ) ] = ζ ˜ j 1 g + in H + j 1 , λ v j 1 ρ 0 1 [ Div S ( v j 1 ) K j 1 ( v + j 1 , v j 1 ) ] = ζ ˜ j 1 g in H j 1 , ( S + ( v + j 1 ) + δ γ j 3 1 div v + j 1 I ) n j 1 | Γ j 1 + 0 ( S ( v j 1 ) K j 1 ( v + j 1 , v j 1 ) I ) n j 1 | Γ j 1 0 = ζ ˜ j 1 h | Γ j 1 , v + j 1 | Γ j 1 + 0 = v j 1 | Γ j 1 0 .
Here, v = K j 1 ( v + j 1 , v j 1 ) is a unique solution to the variational problem:
( v , φ ) H j 1 = ρ 0 1 ( Div S ( v j 1 ) div v j 1 , φ ) H j 1 for any φ W ^ q , 0 1 ( H j 1 )
subject to v | Γ j 1 = ( < S ( v j 1 ) n j 1 , n j 1 > div v j 1 ) | Γ j 1 0 < ( S + ( v + j 1 ) δ γ j 3 1 div v + j 1 I ) n j 1 , n j 1 > | Γ j 1 + 0 . Here and in the following, X q ( Ω ) and X q ( Ω ) denote the spaces defined in Theorem 8 in Section 2.3.
Moreover, we consider the following four problems:
λ v j 2 ( γ j 0 1 ) 1 [ Div S + ( v j 2 ) + δ ( γ 3 j 1 div v j 2 ) ] = ζ ˜ j 2 g + in H j 2 , v j 2 | Γ j 2 = 0 , λ v j 4 ( γ j 0 1 ) 1 [ Div S + ( v j 4 ) + δ ( γ 3 j 1 div v j 4 ) ] = ζ ˜ j 4 g + in H j 4 , λ v j 3 ρ 0 1 [ Div S ( v j 3 ) K j 3 ( v j 3 ) ] = ζ ˜ j 3 g in H j 3 , ( S ( v j 3 ) K j 3 ( v j 3 ) ) n j 3 | Γ j 3 = ζ ˜ j 3 h , λ v j 5 ρ 0 1 [ Div S ( v j 5 ) K j 5 ( v j 5 ) ] = ζ ˜ j 5 g in H j 5 .
Here, K j 3 ( v j 3 ) and K j 5 ( v j 5 ) are unique solutions to the variational problem:
( K j 3 ( v j 3 ) , φ ) H j 3 = ρ 0 1 ( Div S ( v j 3 ) div v j 3 , φ ) H j 4 for any φ W q , 0 1 ( H j 4 )
subject to K j 4 ( v j 4 ) | Γ j 4 = ( < S ( v 4 ) n j 4 , n j 4 > v j 4 ) | Γ 4 , and the variational problem:
( K j 5 ( v j 5 ) , φ ) H j 5 = ρ 0 1 ( Div S ( v j 5 ) div v j 5 , φ ) H j 5 for any φ W q , 0 1 ( H j 5 ) .
Here and in the following, λ 0 and general constants denoted by C are independent of i = 1 , , 5 and j N . By Theorem 12 in Section 4, there exist operator families T ± j 1 ( λ ) Hol ( Γ ϵ , λ 0 , L ( X q 3 ( H ± j 1 ) , W q 2 ( H ± j 1 ) N ) ) such that for any λ Γ ϵ , λ 0 , v ± j 1 = T ± j 1 ( λ ) F λ 1 G j 1 are unique solutions to the problem in (93), and:
R L ( X q 3 ( H ± j 1 ) , W q 2 m ( H ± j 1 ) N ) ( { ( τ τ ) ( λ m / 2 T ± j 1 ( λ ) ) λ Γ ϵ , λ 0 } ) C
for = 0 , 1 and m = 0 , 1 , 2 . Moreover, by Theorem 13 and Theorem 14 in Section 4, there exist operator families T j k ( λ ) Hol ( Γ ϵ , λ 0 , L ( X q 3 ( H j k ) , W q 2 m ( H j k ) ) ) such that for any λ Γ ϵ , λ 0 v j k = T j k ( λ ) F λ k G j k are unique solutions of the problems in (95) ( k = 2 , 3 , 4 , 5 ), and:
R L ( X q 3 ( H j k ) , W q 2 m ( H j k ) N ) ( { ( τ τ ) ( λ m / 2 T j k ( λ ) ) λ Γ ϵ , λ 0 } ) C
for = 0 , 1 and m = 0 , 1 , 2 . Here and in the following, we set X q 3 ( H j 2 ) = X q 3 ( H j 2 ) = L q ( H j 2 ) N , X q 3 ( H j 3 ) = X q 5 ( H j 3 ) , X q 3 ( H j 3 ) = X q 5 ( H j 3 ) (cf. X q 5 and X q 5 were given in Theorem 14), X q 4 ( H j 4 ) = X q 4 ( H j 4 ) = L q ( H j 4 ) N , H q 5 ( H j 5 ) = X q 5 ( H j 5 ) = L q ( H j 5 ) N . Moreover, we set F λ 1 G j 1 = ζ ˜ j 1 ( g + , g , λ 1 / 2 h , h ) ) , F λ 2 G j 2 = ζ ˜ j 2 g + , F λ 3 G j 3 = ζ ˜ j 3 ( g , λ 1 / 2 h , h ) , F λ 4 G j 4 = ζ ˜ j 4 g + , and F λ 5 G j 5 = ζ ˜ j 5 g . Since R -boundedness implies the usual boundedness, by (98) and (99),
± ( | λ | v ± j 1 L q ( H ± j 1 ) + | λ | 1 / 2 v ± j 1 W q 1 ( H ± j 1 ) + v ± j 1 W q 2 ( H ± j 1 ) ) C ( ± ζ ˜ j 1 g ± L q ( H j 1 ) + | λ | 1 / 2 ζ ˜ j 1 h L q ( R N ) + ζ ˜ j 1 h W q 1 ( R N ) ) , | λ | v j m L q ( H j m ) + | λ | 1 / 2 v j m W q 1 ( H j m ) + v j m W q 2 ( H j m ) C ζ ˜ j m g + L q ( H j m ) ( m = 2 , 4 , 5 ) , | λ | v j 3 L q ( H j 3 ) + | λ | 1 / 2 v j 3 W q 1 ( H j 3 ) + v j 3 W q 2 ( H j 3 ) C ( ζ ˜ j 3 g + L q ( H j 3 ) + | λ | 1 / 2 ζ ˜ j 3 h L q ( H j 3 ) + ζ ˜ j 3 h W q 1 ( H j 3 ) ) .
for any λ Γ ϵ , λ 0 , because | λ | λ 0 1 .

5.3. Construction of Parametrices

For G = ( g + , g , h , h ) X q ( Ω ) , we define parametrices U ± ( λ ) by:
U + ( λ ) G = j = 1 ζ j 1 v + j 1 + i = 2 , 4 j = 1 ζ j i v j i , U ( λ ) G = j = 1 ζ j 1 v j 1 + i = 3 , 5 j = 1 ζ j i v j i
Set G λ v = ( λ v , λ 1 / 2 ¯ v , ¯ 2 v ) , where ¯ v = ( v , v ) and ¯ 2 v = ( 2 v , v , v ) , and B j i = B d i ( x j i ) for notational simplicity. By (100),
| ( G λ ( ζ j 1 v ± j 1 ) , φ ± ) Ω ± | C ( g ± L q ( Ω ± B j 1 ) + | λ | 1 / 2 h L q ( Ω B j 1 ) + h W q 1 ( Ω B j 1 ) ) φ L q ( Ω ± B j i ) , | ( G λ ( ζ j i v j i ) , φ + ) Ω + | C g + L q ( Ω + B j i ) φ L q ( Ω + B j i ) ( i = 2 , 4 ) , | ( G λ ( ζ j 3 v j 3 ) , φ ) Ω | C ( g L q ( Ω B j 3 ) + | λ | 1 / 2 h L q ( Ω B j 3 ) + h W q 1 ( Ω B j 3 ) ) φ L q ( Ω B j 3 ) | ( G λ ( ζ j 5 v j 5 ) , φ ) Ω | C g L q ( Ω B j 5 ) φ L q ( Ω B j 5 ) ,
for any φ L q ( Ω ± ) N , and so, by Lemma 6 and Lemma 7, the infinite sums in (101) exist in the strong topology of W q 2 ( Ω ± ) N and U ± ( λ ) Hol ( Γ ϵ , λ 0 , L ( X q ( Ω ) , W q 2 ( Ω ± ) N ) ) . By (37), (42), (92), (93), (95)–(97), and (101), setting w ± = U ± ( λ ) G , we have:
λ w + γ 0 + 1 ( Div S + ( w + ) + δ ( γ 3 + div w + ) ) = g + R + 1 ( λ ) G in Ω + , λ w ρ 0 1 ( Div S ( w ) K ( w + , w ) ) = g ( R 1 ( λ ) G L ( λ ) G ) in Ω + , ( S + ( w + ) + δ γ 3 + div w + I ) n | Γ + 0 ( S ( w ) K ( w + , w ) I ) n | Γ 0 = h R 2 ( λ ) G , w + | Γ + 0 = w | Γ 0 , ( S ( w ) K ( w + , w ) I ) n | Γ = h R 3 ( λ ) G ,
where we set:
R + 1 ( λ ) G = j = 1 γ 0 + 1 [ Div S + ( ζ j 1 v + j 1 ) ζ j 1 Div S + ( v + j 1 ) + δ { ( γ 3 + div ( ζ j 1 v + j 1 ) ) ζ j 1 ( γ 3 + div v + j 1 ) } ] + i = 2 , 4 j = 1 γ 0 + 1 [ Div S + ( ζ j i v j i ) ζ j i Div S + ( v j i ) + δ { ( γ 3 + div ( ζ j i v j i ) ) ζ j i ( γ 3 + div v j i ) } ] R 1 ( λ ) G = j = 1 ρ 0 1 [ Div S ( ζ j 1 v j 1 ) ζ j 1 Div S ( v j 1 ) ] + i = 3 , 5 j = 1 ρ 0 1 [ Div S ( ζ j i v j i ) ζ j i Div S ( v j 1 ) ] L ( λ ) G = K ( U + ( λ ) G , U ( λ ) G ) j = 1 { ζ j 1 K j 1 ( v + j 1 , v j 1 ) ζ j 3 K j 3 ( v j 3 ) + ζ j 5 K j 5 ( v j 5 ) } R 2 ( λ ) G = j = 1 { T n j 1 [ Ext [ S + ( ζ j 1 v + j 1 ) ζ j 1 S + ( v + j 1 ) ] n j 1 ] T n j 1 [ Ext + [ S ( ζ j 1 v j 1 ) ζ j 1 S ( v j 1 ) ] n j 1 ] } R 2 ( λ ) G = j = 1 { div ( ζ j 1 v j 1 ) ζ j 1 div v j 1 } , R 3 ( λ ) G = j = 1 T n j 3 [ ( S ( ζ j 3 v j 3 ) ζ j 3 S ( v j 3 ) ) n j 3 ] + j = 1 { div ( ζ j 3 v j 3 ) ζ j 3 div v j 3 } .
Finally, we construct R -bounded solution operators that represent U ± ( λ ) G . For F = ( F 1 , , F 6 ) X q ( Ω ) , we set:
U ± j 1 ( λ ) F = T ± j 1 ( λ ) ζ ˜ j 1 ( F 1 , F 2 , F 3 , F 4 ) , U j i ( λ ) F = T j i ( λ ) ζ ˜ j i F 1 ( i = 2 , 4 ) , U j 3 ( λ ) F = T j 3 ( λ ) ζ ˜ j 3 ( F 2 , F 5 , F 6 ) , U j 5 ( λ ) F = T j 5 ( λ ) ζ ˜ j 5 F 2 .
Obviously,
v j i = U j i ( λ ) F λ G ( G = ( g + , g , h , h ) X q ( Ω ) ) ,
where F λ G = ( g + , g , λ 1 / 2 h , h , λ 1 / 2 h , h ) . By (98), we have:
0 1 k = 1 n r k ( u ) G λ k U j i ( λ k ) F k L q ( Ω ) q d u C 0 1 k = 1 n r k ( u ) F k X q ( Ω B j i ) q d u
for any n N , { λ k } k = 1 n Γ ϵ , λ 0 and { F k } k = 1 n X q ( Ω ) , where { r k ( u ) } k = 1 n are the same as in Definition 3. By (98), Lemma 6, and Lemma 7, U ± 1 ( λ ) F = j = 1 ζ j i U ± j 1 ( λ ) F exists in the strong topology of W q 2 ( Ω ± ) N . U i ( λ ) F = j = 1 ζ j i U j i ( λ ) F exist in the strong topology of W q 2 ( Ω ± ) N with Ω i = Ω + for i = 2 , 4 and Ω i = Ω for i = 3 , 5 , and:
k = 1 n a k G λ k U ± 1 ( λ k ) F k L q ( Ω ± ) q C q , L j = 1 k = 1 n a k F k X q ( Ω ) q , k = 1 n a k G λ k U i ( λ k ) F k L q ( Ω i ) q C q , L j = 1 k = 1 n a k F k X q ( Ω ) q ( i = 2 , , 5 )
for any complex numbers a k , λ k Γ ϵ , λ 0 , and F k X q ( Ω ) ( k = 1 , , n , n N ). Setting U + ( λ ) F = U + 1 ( λ ) F + i = 3 , 5 U i ( λ ) F and U ( λ ) F = U 1 ( λ ) F + i = 2 , 4 U i ( λ ) F , by the facts that v j i = U j i ( λ ) F λ G and (106), we have:
U ± ( λ ) Hol ( Γ ϵ , λ 0 , L ( X q ( Ω ) , W q 2 ( Ω ± ) N ) ) , U ± ( λ ) F λ G = U ± ( λ ) G ( G X q ( Ω ) ) , R L ( X q ( Ω ) , W q 2 j ( Ω ± ) N ) ( { ( τ τ ) ( λ j / 2 U ± ( λ ) ) λ Γ ϵ , λ 0 } ) C ( = 0 , 1 , j = 0 , 1 , 2 ) .

5.4. Estimates of the Remainder Terms

We introduce the operators that represent R + 1 ( λ ) , R 1 ( λ ) , R 2 ( λ ) , and R 3 ( λ ) as follows:
R + 1 ( λ ) F = j = 1 γ 0 + 1 [ Div S + ( ζ j 1 U + j 1 ( λ ) F ) ζ j 1 Div S + ( U + j 1 ( λ ) F ) + δ { ( γ 3 + div ( ζ j 1 U + j 1 ( λ ) F ) ) ζ j 1 ( γ 3 + div ( U + j 1 ( λ ) F ) ) } ] + i = 2 , 4 j = 1 γ 0 + 1 [ Div S + ( ζ j i U j i ( λ ) F ) ζ j i Div S + ( U j i ( λ ) F ) + δ { ( γ 3 + div ( ζ j i U j i ( λ ) F ) ) ζ j i ( γ 3 + div ( U j i ( λ ) F ) } ] ; R 1 ( λ ) F = j = 1 ρ 0 1 [ Div S ( ζ j 1 U j 1 ( λ ) F ) ζ j 1 Div S ( U j 1 ( λ ) F ) ] + i = 3 , 5 j = 1 ρ 0 1 [ Div S ( ζ j i U j i ( λ ) F ) ζ j i Div S ( U j i ( λ ) F ) ] + L ( λ ) F ; L ( λ ) F = K ( U + ( λ ) F , U ( λ ) F ) j = 1 ζ j 1 K j 1 ( U + j 1 ( λ ) F , U j 1 ( λ ) F ) j = 1 ζ j 3 K j 3 ( U j 3 ( λ ) F ) j = 1 ζ j 5 K j 5 ( U j 5 ( λ ) F ) ; R 2 ( λ ) F = j = 1 [ T n j 1 [ Ext [ S + ( ζ j 1 U + j 1 ( λ ) F ) ζ j 1 S + ( U + j 1 ( λ ) F ) ] n j 1 T n j 1 [ Ext + [ S ( ζ j 1 U j 1 ( λ ) F ) ζ j 1 S ( U j 1 ( λ ) F ) ] n j 1 ] { div ( ζ j 1 U j 1 ( λ ) F ) ζ j 1 div ( U j 1 ( λ ) F ) } ] , R 3 ( λ ) F = j = 1 [ T n j 3 [ ( S ( ζ j 3 U j 3 ( λ ) F ) ζ j 3 S ( U j 3 ( λ ) F ) ) n j 3 ] + div ( ζ j 3 U j 3 ( λ ) F ) ζ j 3 div U j 3 ( λ ) F ]
for any F X q ( Ω ) . Setting:
R ( λ ) F = ( R + 1 ( λ ) F , R 1 ( λ ) F + L ( λ ) F , R 2 ( λ ) F , R 3 ( λ ) F ) , R ( λ ) G = ( R + 1 ( λ ) G , R 1 ( λ ) G + L ( λ ) G , R 2 ( λ ) G , R 3 ( λ ) G ) ,
we have:
F λ R ( λ ) F λ G = F λ R ( λ ) G ,
R L ( X q ( Ω ) ) ( { ( τ τ ) F λ R ( λ ) λ Γ ϵ , λ 0 } ) C σ + C σ λ 0 1 / 2 ( = 0 , 1 )
for any σ > 0 with some constant C σ depending on σ . If we prove (110), then, choosing σ > 0 so small and λ 0 1 so large that C σ + C σ λ 0 1 / 2 1 / 2 , we see that I F λ R ( λ ) exists in Hol ( Γ ϵ , λ 0 , L ( X q ( Ω ) ) ) . Thus, in view of (107), (109), (110), and (102), we see easily that S ± ( λ ) = U ± ( λ ) ( I F λ R ( λ ) ) 1 has a required R -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 R ± 1 ( λ ) , R 2 ( λ ) , and R 3 ( λ ) , except for L ( λ ) . In fact, for example,
| ( Div S ± ( ζ j 1 U ± j 1 ( λ ) F ) ζ j 1 Div S ± ( U ± j 1 ( λ ) F ) , φ ) Ω ± | C U ± j 1 ( λ ) F W q 1 ( H ± j 1 ) φ L q ( Ω ± B j 1 )
for any φ L q ( Ω ± ) , and so, there exists an operator family R ± 11 ( λ ) Hol ( Γ ϵ , λ 0 , L ( X q ( Ω ) , L q ( Ω ± ) ) ) such that R ± 11 ( λ ) F = j = 1 { Div S ± ( ζ j 1 U ± j 1 ( λ ) F ) ζ ± 1 Div S ± ( U ± j i ( λ ) F ) } exists in the strong topology of L q ( Ω ± ) and R ± 11 ( λ ) F L q ( Ω ± ) q C j = 1 U ± j 1 ( λ ) F W q 1 ( H ± j 1 ) q . By (98) and the monotone convergence theorem, for any n N , { λ k } k = 1 n Γ ϵ , λ 0 , and { F k } k = 1 n X q ( Ω ) :
0 1 k = 1 n r k ( u ) R ± 11 ( λ k ) F k L q ( Ω ± ) q d u C j = 1 0 1 k = 1 n r k ( u ) U ± j 1 ( λ k ) F k W q 1 ( H ± j 1 ) q d u C j = 1 λ 0 q 2 0 1 k = 1 n r k ( u ) λ k 1 2 U ± j 1 ( λ k ) F k L q ( H ± j 1 ) q d u + λ 0 q 0 1 k = 1 n r k ( u ) λ k U ± j 1 ( λ k ) F k L q ( H ± j 1 ) q d u C λ 0 q 2 j = 1 0 1 k = 1 n r k ( u ) F k X q ( Ω B j i ) q d u C λ 0 q 2 0 1 k = 1 n r k ( u ) F k X q ( Ω ) q d u ,
from which it follows that R L ( X q ( Ω ) ) ( { R ± 11 ( λ ) λ Γ ϵ , λ 0 } ) C λ 0 1 / 2 . The other terms except for L ( λ ) can be estimated in the same manner. Namely, we have:
R L ( X q ( Ω ) , L q ( Ω ± ) N ) ( { ( τ τ ) R ± 1 ( λ ) λ Γ ϵ , λ 0 } ) C λ 0 1 / 2 , R L ( X q ( Ω ) , L q ( Ω ) N ) ( { ( τ τ ) ( λ 1 / 2 R 2 ( λ ) ) λ Γ ϵ , λ 0 } ) C λ 0 1 / 2 , R L ( X q ( Ω ) , W q 1 ( Ω ) ) ( { ( τ τ ) R 2 ( λ ) λ Γ ϵ , λ 0 } ) C λ 0 1 / 2 , R L ( X q ( Ω ) , L q ( Ω ) N ) ( { ( τ τ ) ( λ 1 / 2 R 3 ( λ ) ) λ Γ ϵ , λ 0 } ) C λ 0 1 / 2 , R L ( X q ( Ω ) , W q 1 ( Ω ) ) ( { ( τ τ ) R 3 ( λ ) λ Γ ϵ , λ 0 } ) C λ 0 1 / 2 .
Next, we estimate L ( λ ) . We use the following two lemmas due to Shibata [4].
Lemma 8.
Let 1 < q < . Then, there exists a constant c independent of j N such that:
ψ W q 1 ( Ω B j i ) c ψ L q ( Ω B j i ) for any ψ W ^ q , 0 1 ( Ω ) , ( i = 1 , 3 ) , ψ c j ( ψ ) W q 1 ( Ω B j 5 ) c ψ L q ( Ω B j 5 ) for any ψ W ^ q , 0 1 ( Ω ) ,
where c j ( ψ ) are suitable constants depending on ψ.
Lemma 9.
Let 1 < q < . Then, there exists a constant c independent of j N such that:
K j 1 ( u + , u ) L q ( H j 1 ) c ± ( u ± L q ( H ± j 1 B j 1 ) + u ± L q ( H ± j 1 ) 1 1 / q 2 u ± L q ( H ± j 1 ) 1 / q ) ; K j i ( v ) L q ( H j i B j i ) c ( v L q ( H j i ) + δ i v L q ( H j i ) 1 1 / q 2 v L q ( H j i ) 1 / q )
for any u ± W q 2 ( H ± j 1 ) and v W q 2 ( H j i ) ( i = 3 , 5 ) , where δ i are symbols defined by δ 3 = 1 and δ 5 = 0 .
Lemma 10.
Let 1 < q < . Then,
v L q ( Γ j i ) C q ( v L q ( Ω ) + v L q ( Ω ) 1 / q v L q ( Ω ) 1 1 / q )
for i = 1 , 3 and j N , where C q is a constant independent of j N .
To estimate L ( λ ) , we write L ( λ ) F = L 1 ( λ ) F + L 2 ( λ ) F with:
L 1 ( λ ) F = K ( U + ( λ ) F , U ( λ ) F ) j = 1 ζ j 1 K j 1 ( U + j 1 ( λ ) F , U j 1 ( λ ) F ) j = 1 ζ j 3 K q 3 ( U j 3 ( λ ) F ) j = 1 ζ j 5 K j 5 ( U j 5 ( λ ) F ) , L 2 ( λ ) F = j = 1 ( ζ j 1 ) K j 1 ( U + j 1 ( λ ) F , U j 1 ( λ ) F ) + j = 1 ( ζ j 3 ) K j 3 ( U j 3 ( λ ) F ) + j = 1 ( ζ j 5 ) K j 5 ( U j 5 ( λ ) F ) .
By (98), (99), Lemma 9, Lemma 6, and Lemma 7, we have:
R L ( X q ( Ω ) , L q ( Ω ) N ) ) ( { ( τ τ ) L 2 ( λ ) λ Γ ϵ , λ 0 } ) C σ + C σ λ 0 1 / 2 .
Denoting the duality of W ^ q , 0 1 ( Ω ) and W ^ q , 0 1 ( Ω ) by < · , · > and using (38) and (94), we define an operator L ( λ ) acting on F X q ( Ω ) by the following formulas: For any φ W ^ q , 0 1 ( Ω ) :
( L 1 ( λ ) F , φ ) Ω = < L ( λ ) F , φ >
with:
< L ( λ ) F , φ > = j = 1 ρ 0 1 ( Div S ( ζ j 1 U j 1 ( λ ) F ) ζ j 1 Div S ( U j 1 ( λ ) F ) , φ ) H j 1 j = 1 ρ 0 1 ( div ( ζ j 1 U j 1 ( λ ) F ) ζ j 1 div U j 1 ( λ ) F , φ ) H j 1 + j = 1 ρ 0 1 ( K j 1 ( U + j 1 ( λ ) F , U j 1 ( λ ) F ) n j 1 , ( ζ j 1 ) φ ) Γ j 1 2 j = 1 ρ 0 1 ( K j 1 ( U + j 1 ( λ ) F , U j 1 ( λ ) F ) ( ζ j 1 ) , φ ) H j 1 j = 1 ρ 0 1 ( K j 1 ( U + j 1 ( λ ) F , U j 1 ( λ ) F ) ( Δ ζ j 1 ) , φ ) H j 1 + j = 1 ρ 0 1 ( Div S ( ζ j 3 U j 3 ( λ ) F ) ζ j 3 Div S ( U j 3 ( λ ) F ) , φ ) H j 3 j = 1 ρ 0 1 ( div ( ζ j 3 U j 3 ( λ ) F ) ζ j 3 div U j 3 ( λ ) F , φ ) H j 3 + j = 1 ρ 0 1 ( K j 3 ( U j 3 ( λ ) F ) n j 3 , ( ζ j 3 ) φ ) Γ j 3 2 j = 1 ρ 0 1 ( K j 3 ( U j 3 ( λ ) F ) ( ζ j 3 ) , φ ) H j 3 j = 1 ρ 0 1 ( K j 3 ( U j 3 ( λ ) F ) ( Δ ζ j 3 ) , φ ) H j 3 + j = 1 ρ 0 1 ( Div S ( ζ j 5 U j 5 ( λ ) F ) ζ j 5 Div S ( U j 5 ( λ ) F ) , φ ) H j 5 j = 1 ρ 0 1 ( div ( ζ j 3 U j 3 ( λ ) F ) ζ j 5 div U j 5 ( λ ) F , φ ) H j 5 2 j = 1 ρ 0 1 ( K j 5 ( U j 5 ( λ ) F ) ( ζ j 3 ) , φ ) H j 3 j = 1 ρ 0 1 ( K j 5 ( U j 5 ( λ ) F ) ( Δ ζ j 5 ) , φ c j ( φ ) H j 5
By (98), (99), Lemma 8, Lemma 9, and Lemma 10, we have:
L ( λ ) F W ^ q , 0 1 ( Ω ) C σ ( ± j = 1 U ± j 1 ( λ ) F W q 2 ( Ω ± B j 1 ) q + j = 1 U j 3 ( λ ) F W q 2 ( Ω B j 3 ) q ) + C σ ( ± j = 1 U ± j 1 ( λ ) F W q 1 ( Ω ± B j 1 ) q + j = 1 U j 3 ( λ ) F W q 1 ( Ω B j 3 ) q ) ,
which, combined with (98) and (99), yields that:
R L ( X q ( Ω ) , W ^ q , 0 1 ( Ω ) ) ( { ( τ τ ) L ( λ ) λ Γ ϵ , λ 0 } ) C σ + C σ λ 0 1 / 2 .
Identifying W ^ q , 0 1 ( Ω ) = { φ φ W ^ q , 0 1 ( Ω ) } L q ( Ω ) N , by the Hahn–Banach theorem, there exists an operator family M ( λ ) Hol ( Γ ϵ , λ 0 , L ( X q ( Ω ) , L q ( Ω ) N ) ) such that ( M ( λ ) F , φ ) Ω = < L ( λ ) F , φ > and:
R L ( X q ( Ω ) , L q ( Ω ) N ) ( { ( τ τ ) M ( λ ) λ Γ ϵ , λ 0 } ) C σ + C σ λ 0 1 / 2 .
Moreover, by (39), (94), and (96), there exists an operator family m ( λ ) Hol ( Γ ϵ , λ 0 , L ( X q ( Ω ) , W q 1 ( Ω ) ) ) such that m ( λ ) F = L 1 ( λ ) F on Γ and Γ , and:
R L ( X q ( Ω ) , W q 1 ( Ω ) ) ( { ( τ τ ) m ( λ ) λ Γ ϵ , λ 0 } ) C σ + C σ λ 0 1 / 2 .
Since the weak Dirichlet problem is assumed to be uniquely solvable, we have L 1 ( λ ) F = m ( λ ) F + K ( M ( λ ) F m ( λ ) F ) , which yields that:
R L ( X q ( Ω ) , L q ( Ω ) N ) ( { ( τ τ ) ( L 1 ( λ ) ) λ Γ ϵ , λ 0 } ) C σ + C σ λ 0 1 / 2 .
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:
γ 0 + t u + Div ( S + ( u + ) δ ( γ 3 + u + ) = g + in Ω + × ( 0 , ) , ρ 0 t u Div S ( u ) + p = g in Ω × ( 0 , ) , div u = f = div f in Ω × ( 0 , ) , ( S + ( u + ) + δ γ 3 + div u + I ) n | Γ t + 0 ( S ( u ) p I ) n | Γ t 0 = h for t > 0 , u + | Γ t + 0 u | Γ t 0 = 0 for t > 0 , u + | Γ + = 0 , ( S ( u ) p I ) n | Γ = h for t > 0 , u + | t = 0 = u 0 + in Ω + , u | t = 0 = u 0 in Ω .
We first consider the generation of the C 0 analytic semigroup associated with the following equations:
t p + + γ 2 + div w + = 0 in Ω + × ( 0 , ) , γ 0 + t w + Div ( S + ( w + ) + ( γ 1 + p + ) = 0 in Ω + × ( 0 , ) , ρ 0 t w Div S ( w ) + K ( w + , w ) = 0 in Ω × ( 0 , ) , ( S + ( w + ) γ 1 + p + I ) n | Γ t + 0 ( S ( w ) K ( w + , w ) I ) n | Γ t 0 = 0 for t > 0 , w + | Γ t + 0 w | Γ t 0 = 0 for t > 0 , w + | Γ + = 0 , ( S ( w ) K ( w + , w ) I ) n | Γ = 0 for t > 0 , ( p + , w + ) | t = 0 = ( p 0 , + , w 0 + ) in Ω + , w | t = 0 = w 0 in Ω .
In view of Theorem 8, let u ± = S ± ( λ ) ( g + , g , 0 , 0 , 0 , 0 ) , and set θ + = λ 1 ( f + γ 2 + div u + ) , then u ± and θ + are unique solutions of Equation (28) with p = K ( u + , u ) and f = f = h = h = 0 and possess the estimates:
| λ | θ + W q 1 ( Ω + ) + ± ( | λ | u ± L q ( Ω ± ) + u ± W q 2 ( Ω ± ) ) C ( f + W q 1 ( Ω + ) + g + L q ( Ω + ) + g L q ( Ω ) )
for any λ Γ ϵ , λ 0 . Here, using the same argument as in Assertion 2 in Sect.2, we see that u J q ( Ω ) , and so, div u = 0 in (28). Set:
X q ( Ω ) = { ( θ + , u + , u ) θ + W q 1 ( Ω + ) , u + L q ( Ω + ) , u J q ( Ω ) } , Y q ( Ω ) = { ( θ + , u + , u ) X q ( Ω ) ( S + ( u + ) γ 1 + θ + I ) n | Γ + 0 ( S ( u ) K ( u + , u ) I ) n | Γ 0 = 0 , ( S ( u ) K ( u + , u ) I ) n | Γ = 0 , u + | Γ + 0 = u | Γ 0 , u + | Γ + = 0 } .
Then, Problem (113) generates a C 0 analytic semigroup on X q ( Ω ) . Let D q ( Ω ) = ( X q , Y q ) 1 1 / p , p , where ( · , · ) 1 1 / p , p denotes a real interpolation functor. By a standard real interpolation method (trace method), we see that Problem (113) admits unique solutions p + and w ± with:
p + W p 1 ( ( 0 , ) , W q 1 ( Ω + ) ) , w ± W p 1 ( ( 0 , ) , L q ( Ω ± ) N ) L p ( ( 0 , ) , W q 2 ( Ω ± ) N ) ,
possessing the estimate:
e γ t p + L p ( ( 0 , ) , W q 1 ( Ω ) ) + ± e γ t w ± L p ( ( 0 , ) , L q ( Ω ± ) ) + e γ t K ( w + , w ) L p ( ( 0 , ) , L q ( Ω ) ) C ( p 0 + L p ( R , W q 1 ( Ω + ) ) + ± w 0 ± B q , p 2 ( 1 1 / p ) ( Ω ± ) )
for any γ > λ 0 . Moreover, w J q ( Ω ) for any t ( 0 , ) . The uniqueness follows from Duhamel’s principle.
We now consider equations:
t q + + γ 2 + div v + = f + in Ω + × R , γ 0 + t v + Div S + ( v + ) + ( γ 1 + q + ) = g + in Ω + × R , ρ 0 t v Div S ( v ) + q = g in Ω × R , div v = f = div f in Ω × R , ( S + ( v + ) γ 1 + q + I ) n | Γ t + 0 ( S ( v ) q I ) n | Γ t 0 = h | Γ for t R , v + | Γ t + 0 v | Γ t 0 = 0 + for t R , v + | Γ + = 0 , ( S ( v ) q I ) n | Γ = h for t R .
Applying the Laplace transform to (117) and setting v ^ ± = L [ v ± ] ( λ ) and q ^ ± = L [ q ± ] ( λ ) , we have:
λ q ^ + + γ 2 + div v ^ + = f ^ + in Ω + , λ v ^ + γ 0 + 1 ( Div S + ( v ^ + ) ( γ 1 + q ^ + ) ) = g ^ + in Ω + , λ v ^ ρ 0 1 ( Div S ( v ^ ) q ^ ) = g ^ in Ω , div v ^ = f ^ = div f ^ in Ω , ( S + ( v ^ + ) γ 1 + q ^ + I ) n | Γ + 0 ( S ( v ^ ) q ^ I ) n | Γ 0 = h ^ | Γ , v ^ + | Γ + 0 v ^ | Γ 0 = 0 , v ^ + | Γ + = 0 , ( S ( v ^ ) q ^ I ) n | Γ = h ^ | Γ .
Applying Theorem 5 yields that v ^ ± = A ± 0 ( λ ) F λ 0 G 0 , q ^ + = λ 1 ( f ^ + γ 2 + div v ^ + ) , and q ^ = B 0 ( λ ) F λ 0 G 0 satisfy Equation (118), and so, v ± = L 1 [ v ^ ± ] and q ± = L 1 [ q ^ ± ] satisfy Equation (118). Moreover, applying Theorem 4 yields that:
e γ t q + W p 1 ( R , W q 1 ( Ω + ) ) + ± ( e γ t t v ± L p ( R , L q ( Ω ± ) ) + e γ t v ± L p ( R , W q 2 ( Ω ± ) ) ) + q L p ( R , L q ( Ω ) ) C { ± e γ t g ± L p ( R , L q ( Ω ± ) ) + e γ t Λ γ 1 / 2 ( f , h ) L p ( R , L q ( Ω ) ) + e γ t ( f , h ) L p ( R , W q 1 ( Ω ) ) + e γ t Λ γ 1 / 2 h L p ( R , L q ( Ω ) ) + e γ t h L p ( R , W q 1 ( Ω ) ) } for any γ > λ 0 .
Here, we may assume that λ 0 1 .
To prove Theorem 3, setting θ + = q + + p + , u ± = v ± + w ± and p = q + θ in (22), we see that p + , w ± , and θ = K ( u + , u ) satisfy Equation (113) with p 0 + = θ 0 + q + | t = 0 and w 0 ± = u 0 ± v ± | t = 0 . By compatibility conditions (25) and the assumption that 2 / p + N / q 1 , 2 , we see that ( θ 0 + q + | t = 0 , u 0 + v + | t = 0 , u 0 v | t = 0 ) ( X q , Y q ) 1 1 / p , p , and so, Problem (113) admits unique solutions p + and w ± satisfying (115) and (116). By the real interpolation theorem, we have:
p + | t = 0 W q 1 ( Ω + ) C γ e γ t p + W p 1 ( ( 0 , ) , W q 1 ( Ω + ) ) , v ± | t = 0 B q , p 2 ( 1 1 / p ) ( Ω ± ) C ( e γ t t v ± L p ( ( 0 , ) , L q ( Ω ± ) ) + e γ t v ± L p ( ( 0 , ) , W q 2 ( Ω ± ) ) ) ,
which, combined with (119), yields the existence part of Theorem 3, because w J q ( Ω ) for any t > 0 . The uniqueness follows from Duhamel’s principle or the existence theorem of dual problems (cf. ([20] Section 3.5.10)). This completes the proof of Theorem 3.

6. A Proof of Theorem 1

In what follows, we assume that 2 < p < , N < q < , 2 / p + N / q < 1 , that Ω ± are uniform W q 2 1 / q domains in R N ( N 2 ), and that the weak Dirichlet problem is uniquely solvable in Ω . By Sobolev’s imbedding theorem, we have:
W q 1 ( Ω ± ) L ( Ω ± ) , j = 1 m f j W q 1 ( Ω ± ) C j = 1 m f j W q 1 ( Ω ± ) .
Let θ 0 + W q 1 ( Ω + ) and u 0 ± B q , p 2 ( 1 1 / p ) ( Ω ± ) be initial data satisfying the compatibility condition (20), range condition (21), and θ 0 + W q 1 ( Ω ) + v 0 + B q , p 2 ( 1 1 / p ) ( Ω + ) + v 0 B q , p 2 ( 1 1 / p ) ( Ω + ) R 1 .
To prove Theorem 1, we follow the argument due to Shibata and Shimizu ([21] Section 2). Let Π + and Z ± be solutions to linear problem:
t Π + + ( ρ 0 + + θ 0 + ) div Z + = 0 in Ω + , ( ρ 0 + + θ 0 + ) t Z + Div S + ( Z + ) + ( p ( ρ 0 + + θ 0 + ) Π + ) = g + in Ω + , ρ 0 t Z Div S ( Z ) + p = 0 in Ω , div Z = 0 in Ω , ( S + ( Z + ) ( p ( ρ 0 + + θ 0 + ) Π + I ) n | Γ + 0 ( S ( Z ) p I ) n | Γ 0 = h , Z + | Γ + 0 Z | Γ 0 = 0 , Z + | Γ + = 0 , ( S ( Z ) p I ) n | Γ = 0
for any t > 0 subject to the initial condition: ( Π + , Z + ) | t = 0 = ( 0 , v 0 + ) in Ω + and Z | t = 0 = v 0 in Ω with some pressure term p , where g + = p ( ρ 0 + + θ 0 + ) θ 0 and h = ( p ( ρ 0 + + θ 0 + ) p ( ρ 0 + ) ) n . Since v 0 ± satisfy the compatibility condition (20), by Theorem 3, we know the unique existence of Π + and Z ± with:
Π + W p , γ 0 1 ( R + , W q 1 ( Ω + ) ) , Z ± W p , γ 0 1 ( R + , L q ( Ω ± ) ) L p , γ 0 ( R + , W q 2 ( Ω ± ) )
with large γ 0 depending on R 1 possessing the estimate:
e γ t Π + W p 1 ( R + , W q 1 ( Ω + ) ) + = + , { e γ t Z W p 1 ( R + , L q ( Ω ) ) + e γ t Z L p ( R + , W q 2 ( Ω ) ) } C R 1 = + , v 0 B q , p 2 ( 1 1 / p ) ( Ω ) C R 1 R 1
for any γ γ 0 . In the following, γ is fixed such as γ γ 0 . Let Π + 0 be the zero extension of Π + to t < 0 and Z ˜ ± e be the even extension of Z ± to t < 0 , that is:
Π + 0 ( x , t ) = Π + ( x , t ) ( t 0 ) , 0 ( t < 0 ) , Z ˜ ± e ( x , t ) = Z ± ( x , t ) ( t 0 ) , Z ± ( x , t ) ( t < 0 ) .
Let ψ ( t ) be a function in C ( R ) such that ψ ( t ) = 1 for t > 1 / 2 and ψ ( t ) = 0 for t < 1 , and set Z ± e = ψ Z ˜ ± e . By (123):
e γ t Π + 0 W p 1 ( R , W q 1 ( Ω + ) ) + = + , { e γ t Z e W p 1 ( R , L q ( Ω ) ) + e γ t Z e L p ( R , W q 2 ( Ω ) ) } C R 1 R 1 .
We look for a solution to (11) of the form: θ + = Π + 0 + ρ + and u ± = Z ± e + v ± , so that ρ + and v ± enjoy the equations:
t ρ + + ( ρ 0 + + θ 0 + ) div v + = F + ( Π + 0 + ρ + , Z + e + v + ) in Ω + , ( ρ 0 + + θ 0 + ) t v + Div S + ( v + ) + ( p ( ρ 0 + + θ 0 + ) ρ + ) = G + ( Π + 0 + ρ + , Z + e + v + ) in Ω + , ρ 0 t v Div S ( v ) + p = G ( Z e + v ) in Ω , div v = F ( Z e + v ) = div F ( Z e + v ) in Ω , ( S + ( v + ) ( p ( ρ 0 + + θ 0 + ) ρ + I ) n | Γ + 0 ( S ( v ) p I ) n | Γ 0 = H ( Π + 0 + ρ + , Z ± e + v ± ) | Γ , v + | Γ + 0 = v | Γ 0 , v + | Γ + = 0 , ( S ( v ) p I ) n | Γ = H ( Z e + v ) | Γ
for 0 < t < T subject to the initial condition: ( ρ + , v + ) | t = 0 = ( 0 , 0 ) in Ω + and v | t = 0 = 0 in Ω with some pressure term p . We solve (125) by the contraction mapping principle. For this purpose, we introduce an underlying space I R , T defined by:
I R , T = { ( ρ + , v + , v ) ( ρ + , v + ) | t = 0 = ( 0 , 0 ) in Ω + , v | t = 0 = 0 in Ω , ρ + W q 1 ( ( 0 , T ) , W q 1 ( Ω + ) ) , v ± W p 1 ( ( 0 , T ) , L q ( Ω ± ) N ) L p ( ( 0 , T ) , W q 2 ( Ω ± ) N ) , ρ + W p 1 ( ( 0 , T ) , W q 1 ( Ω + ) ) + = + , ( v W q 1 ( ( 0 , T ) , L q ( Ω ) ) + v L p ( ( 0 , T ) , W q 2 ( Ω ) ) ) R } .
We choose T > 0 so small eventually that we may assume that 0 < T < 1 . We choose R > 0 large enough that C R 1 R 1 R in (124) in such a way that:
e γ t Π + 0 W p 1 ( R , W q 1 ( Ω + ) ) + = + , { e γ t Z e W p 1 ( R , L q ( Ω ) ) + e γ t Z e L p ( R , W q 2 ( Ω ) ) } R .
In the following, C denotes a generic constant depending on R 1 , but we do not mention this dependence. For any function f defined on ( 0 , T ) with f ( x , 0 ) = 0 , f 0 denotes the zero extension of f to t < 0 , and we define E [ f ] ( x , t ) by E [ f ] ( x , t ) = f 0 ( x , t ) for t T and E [ f ] ( x , t ) = f 0 ( x , 2 T t ) for t > T . Note that E [ f ] = 0 for t [ 0 , 2 T ] and that t E [ f ] = t f for 0 < t < T , t E [ f ] ( · , t ) = ( t f ) ( · , 2 T t ) for T < t < 2 T , and t E [ f ] = 0 for t [ 0 , 2 T ] . For ( κ + , w + , w ) I R , T , we set:
F 1 [ κ + ] = Π + 0 + E [ κ + ] , F 2 ± [ w ± ] = Z ± e + E [ w ± ] , F 3 ± [ w ± ] = E 0 t F 2 ± [ w ± ] ( · , s ) d s .
Note that:
F 1 [ κ + ] = Π + 0 + κ + , F 2 ± [ w ± ] = Z ± e + w ± , F 3 ± [ w ± ] = 0 t ( Z ± e + w ± ) d s when t ( 0 , T ) .
Employing the same argument due to Shibata and Shimizu ([21] Section 2) and using (126) and (127), we have:
F 1 [ κ + ] L ( R , W q 1 ( Ω + ) ) C R T 1 / p , F 3 ± [ w ± ] L ( R , W q 1 ( Ω ± ) ) C R T 1 / p ,
where we used the fact that F 1 [ κ + ] ( · , t ) = 0 t ( s F 1 [ κ ] ) ( · , s ) d s . In addition, by (126) and (127):
= + , { e γ t F 2 [ w ] W p 1 ( R , L q ( Ω ) + e γ t F 2 [ w ] L p ( R , W q 2 ( Ω ) ) } + e γ t F 1 [ κ + ] W p 1 ( R , W q 1 ( Ω + ) ) C R .
Moreover, we have:
e γ t Λ γ 1 / 2 F 2 ± [ w ± ] L p ( R , W q 1 ( Ω ± ) ) C R , e γ t F 2 ± [ w ± ] L ( R , W q 1 ( Ω ± ) ) C R ,
t F 3 ± [ w ± ] L ( R , L q ( Ω ± ) ) C R , t F 3 ± [ w ± ] L p ( R , W q 1 ( Ω ± ) ) C R .
In fact, as was seen in Shibata and Shimizu [22], L p , γ ( R , W q 2 ( Ω ± ) ) W p , γ 1 ( R , L q ( Ω ± ) ) is continuously imbedded into H p , γ 1 / 2 ( R , W q 1 ( Ω ± ) ) , 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 H p , γ 1 / 2 ( R , L q ( Ω ± ) ) is continuously imbedded into the space { v e γ t v L ( R , L q ( Ω ± ) ) } if p > 2 . Thus, we have:
e γ t F 2 ± [ w ± ] L ( R , W q 1 ( Ω ± ) ) C e γ t Λ γ 1 / 2 F 2 ± [ w ± ] L p ( R , W q 1 ( Ω ± ) ) ,
and therefore, the second estimate in (131) follows from the first one. Since t F 3 ± [ w ± ] = F 2 ± [ w ± ] for 0 t T , t F 3 ± [ w ± ] = F 2 ± [ w ± ] ( · , 2 T t ) for T t 2 T , and t F 3 ± [ w ± ] = 0 for t [ 0 , 2 T ] , (132) follows from (131) and (130).
We choose T ( 0 , 1 ) so small that:
C R T 1 / p < ρ 0 / 4 , C R T 1 / p < σ / 2 ,
and therefore, we can define p ( ρ 0 + + θ 0 + + τ F 1 [ κ + ] ) ( 0 τ 1 ) and V ( F 3 ± [ w ± ] ) ( = 0 , D , 1 ). Since V ( 0 ) = 0 ( = 0 , D , 1 ), by (129) and (132):
V ( F 3 ± [ w ± ] ) L ( R , W q 1 ( Ω ± ) ) C R T 1 / p , t V ( F 3 ± [ w ± ] ) L ( R , W q 1 ( Ω ± ) ) C R , t V ( F 3 ± [ w ± ] ) L ( R , L q ( Ω ± ) ) C R , t V ( F 3 ± [ w ± ] ) L p ( R , W q 1 ( Ω ± ) ) C R
for = 0 , D , 1 .
We define f + ( κ + , w + ) , g + ( κ + , w + ) , g ( w ) , f ( w ) = div f ˜ ( w ) , h ( κ + , w ± ) , and h ( w ) by:
f + ( κ + , w + ) = { F 1 [ κ + ] div F 2 + [ w + ] + ( ρ 0 + + θ 0 + + F 1 [ κ + ] ) tr ( V 0 ( F 3 + [ w + ] ) F 2 + [ w + ] ) } , g + ( κ + , g + ) = F 1 [ κ + ] t F 2 + [ w + ] + Div { μ + V D ( F 3 + [ w + ] ) F 2 + [ w + ] + ( ν + μ + ) tr ( V 0 ( F 3 + [ w + ] ) F 2 + [ w + ] ) I } + V 0 ( F 3 + [ w + ] ) { μ + ( D ( F 2 + [ w + ] ) + V D ( F 3 + [ w + ] ) F 2 + [ w + ] ) + ( ν + μ + ) ( div F 2 + [ w + ] + tr ( V 0 ( F 3 + [ w + ] ) F 2 + [ w + ] ) I } 0 1 p ( ρ 0 + + θ 0 + + τ F 1 [ κ + ] ) ( 1 τ ) d τ ( F 1 [ κ + ] ) 2 V 0 ( F 3 + [ w + ] ) p ( ρ 0 + + θ 0 + + F 1 [ κ + ] ) ( θ 0 + + F 1 [ κ + ] ) , g ( w ) = ρ 0 V 1 ( F 3 [ w ] ) t F 2 [ w ] + μ [ Div ( V D ( F 3 [ w ] ) F 2 [ w ] ) + V 1 ( F 3 [ w ] ) Div { D ( F 2 [ w ] ) + V D ( F 3 [ w ] ) F 2 [ w ] } ] , f ( w ) = tr ( V 0 ( F 3 [ w ] ) F 2 [ w ] ) , f ˜ ( w ) = T V 0 ( F 3 [ w ] ) F 2 [ w ] , h ( κ + , w ± ) = h 1 ( w ± ) + h 2 ( κ + ) , h ( w ) = μ Ext + [ V D ( F 3 [ w ] ) F 2 [ w 2 ] + V 1 ( F 3 [ w ] ) ( D ( F 2 [ w 2 ] ) + V D ( F 3 [ w ] ) F 2 [ w ] ) + ( I + V ( F 3 [ w ] ) ) ( D ( F 2 [ w 2 ] ) + V D ( F 3 [ w ] ) F 2 [ w ] ) V 0 ( F 3 [ w ] ) ] n ,
where we set:
h 1 ( w ± ) = μ + Ext [ V D ( F 3 + [ w + ] ) F 2 + [ w + ] ] ( ν + μ + ) Ext [ tr ( V 0 [ F 3 + [ w + ] ) F 2 + [ w + ] ) ] n μ + Ext + [ V 1 ( F 3 [ w ] ) ] Ext D ( F 3 + [ w + ] ) + V D ( F 3 + [ w + ] ) F 2 + [ w + ] n μ + ( I + Ext + [ V 1 ( F 3 [ w ] ) ] ) Ext D ( F 2 + [ w + ] ) + V D ( F 3 + [ w + ] ) F 2 + [ w + ] ) V 0 ( F 3 + [ w + ] ) n + μ Ext + [ V D ( F 3 [ w ] ) F 2 [ w ] + V 1 ( F 3 [ w ] ) ( D ( F 2 [ w ] ) + V D ( F 3 [ w ] ) F 2 [ w ] ) + ( I + V 1 ( F 3 [ w ] ) ) ( D ( F 2 [ w ] ) + V D ( F 3 [ w ] ) F 2 [ w ] ) V 0 ( F 3 [ w ] ) ] n
and:
h 2 ( κ + ) = Ext 0 1 ( 1 τ ) p ( ρ 0 + + θ 0 + + τ F 1 [ κ + ] ) d τ ( F 1 [ κ + ] ) 2 n .
By (128), we have:
f + ( κ + , w + ) = F + ( Π + 0 + κ + , Z + e + w + ) , g + ( κ + , w + ) = G + ( Π + 0 + κ + , Z + e + w + ) , g ( w ) = G ( Z e + w ) , f ( w ) = F ( Z e + w ) , h ( κ + , w ± ) | Γ = H ( Π + 0 + κ + , Z ± e + w ± ) , h ( w ) | Γ = H ( Z e + w )
for 0 < t < T . By (120), (129), (130), and (134), we have:
e γ t f + ( κ + , w + ) L p ( R , W q 1 ( Ω + ) ) + e γ t g + ( κ + , w + ) L p ( R , L q ( Ω + ) ) + e γ t g ( w ) L p ( R , L q ( Ω ) ) + e γ t f ( w ) L p ( R , L q ( Ω ) ) + e γ t h ( κ + , w ± ) L p ( R , L q ( Ω ) ) + e γ t h ( w ) L p ( R , L q ( Ω ) ) C R T 1 / p
with some constant C R depending on R. Since t F 3 [ w ] = 0 for t [ 0 , T ] , we have:
e γ t t f ˜ ( w ) L p ( R , L q ( Ω ) ) V 0 ( F 3 [ w ] ) L ( R , W q 1 ( Ω ) ) e γ t F 2 [ w ] W p 1 ( R , L q ( Ω ) ) + T 1 / p t V 0 ( F 3 [ w ] ) L ( R , L q ( Ω ) ) e γ t F 2 [ w ] L ( R , W q 1 ( Ω ) ) ,
and so, by (134), (131), and (130), we have:
e γ t t f ˜ ( w ) L p ( R , L q ( Ω ) ) C R T 1 / p .
To estimate e γ t Λ γ 1 / 2 f ( w ) L p ( R , L q ( Ω ) ) , we use the following lemma due to Shibata and Shimizu ([21] Lemma 2.6).
Lemma 11.
Let 2 < p < , N < q < , and 0 < T 1 . Let f L ( R , W q 1 ( Ω ) ) W 1 ( R , L q ( Ω ) ) and g H p , γ 1 / 2 ( R , L q ( Ω ) ) L p , γ ( R , W q 1 ( Ω ) ) . If t f L p ( R , W q 1 ( Ω ) ) and f ( · , t ) = 0 for t [ 0 , 2 T ] , then we have:
e γ t Λ γ 1 / 2 ( f g ) L p ( R , L q ( Ω ) ) C { f L ( R , W q 1 ( Ω ) ) + T ( q N ) / ( p q ) t f L ( R , L q ( Ω ) ) 1 N / ( 2 q ) t f L p ( R , W q 1 ( Ω ) ) N / ( 2 q ) } × ( e γ t Λ γ 1 / 2 g L p ( R , L q ( Ω ) ) + e γ t g L p ( R , W q 1 ( Ω ) ) ) .
Applying Lemma 11 to f ( w ) , we have:
e γ t Λ γ 1 / 2 f ( w ) L p ( R , L q ( Ω ) ) C V 0 ( F 3 [ w ] ) L ( R , W q 1 ( Ω ) ) + T ( q N ) / ( p q ) t V 0 ( F 3 [ w ] ) L ( R , L q ( Ω ) ) 1 N / ( 2 q ) t V 0 ( F 3 [ w ] ) L p ( R , W q 1 ( Ω ) ) N / ( 2 q ) × ( e γ t Λ γ 1 / 2 F 2 [ w ] L p ( R , L q ( Ω ) ) + e γ t F 2 [ w ] L p ( R , W q 1 ( Ω ) ) ) ,
and so, by (130) and (134):
e γ t Λ γ 1 / 2 f ( w ) L p ( R , L q ( Ω ) ) C R ( T 1 / p + T ( q N ) / ( p q ) ) .
Analogously, we have:
e γ t Λ γ 1 / 2 h 1 ( w ± ) L p ( R , L q ( Ω ± ) ) + e γ t Λ γ 1 / 2 h ( w ) L p ( R , L q ( Ω ) ) C R ( T 1 / p + T ( q N ) / ( p q ) ) .
Since e γ t Λ γ 1 / 2 h 2 ( κ + ) L p ( R , L q ( Ω ) ) C e γ t t h 2 ( κ + ) L p ( R , L q ( Ω ) ) , by (120), (129), and (130), we have:
e γ t Λ γ 1 / 2 h 2 ( κ + ) L p ( R , L q ( Ω ) ) C R T 1 / p .
Let ρ + and v ± be solutions to equations:
t ρ + + ( ρ 0 + + θ 0 + ) div v + = f + ( κ + , w + ) in Ω + , ( ρ 0 + + θ 0 + ) t v + Div S + ( v + ) + ( p ( ρ 0 + + θ 0 + ) ρ + ) = g + ( κ + , w + ) in Ω + , ρ 0 t v Div S ( v ) + p = g ( w ) in Ω , div v = f ( w ) = div f ˜ ( w ) in Ω , ( S + ( v + ) ( p ( ρ 0 + + θ 0 + ) ρ + I ) n | Γ + 0 ( S ( v ) p I ) n | Γ 0 = h ( κ + , w ± ) | Γ , v + | Γ + 0 = v | Γ 0 , v + | Γ + = 0 , ( S ( v ) p I ) n | Γ = h ( w ) | Γ
for 0 < t < T subject to the initial condition: ( ρ + , v + ) | t = 0 = ( 0 , 0 ) in Ω + and v | t = 0 = 0 in Ω with some pressure term p . By Theorem 3 and the estimates (136), (137), (138), and (140), we have:
ρ + W p , γ , 0 1 ( R , W q 1 ( Ω + ) ) , v ± W p , γ , 0 1 ( R , L q ( Ω ± ) ) L p , γ , 0 ( R , W q 2 ( Ω ± ) ) .
e γ t ρ W q 1 ( R , W q 1 ( Ω + ) ) + = + , e γ t ( t v , Λ γ 1 / 2 v , 2 v ) L p ( | B R , L q ( Ω ) ) C R T ω
with some constant C R depending on R and ω = min ( 1 / p , ( q N ) / ( p q ) ) . By (135), ρ + and v ± satisfy equations:
t ρ + + ( ρ 0 + + θ 0 + ) div v + = F + ( Π + 0 + κ + , Z + e + w + ) in Ω + , ( ρ 0 + + θ 0 + ) t v + Div S + ( v + ) + ( p ( ρ 0 + + θ 0 + ) ρ + ) = G + ( Π + 0 + κ + , Z + e + w + ) in Ω + , ρ 0 t v Div S ( v ) + p = G ( Z e + w ) in Ω , div v = F ( Z e + w ) in Ω , ( S + ( v + ) ( p ( ρ 0 + + θ 0 + ) ρ + I ) n | Γ + 0 ( S ( v ) p I ) n | Γ 0 = H ( Π + 0 + κ + , Z ± e + w ± ) , v + | Γ + 0 = v | Γ 0 , v + | Γ + = 0 , ( S ( v ) p I ) n | Γ = H ( Z e + w )
for 0 < t < T subject to the initial condition: ( ρ + , v + ) | t = 0 = ( 0 , 0 ) in Ω + and v | t = 0 = 0 in Ω with some pressure term p .
Let Φ be a map defined by Φ ( κ + , w ± ) = , the restriction of ( ρ + , v ± ) to the time interval ( 0 , T ) . Since:
ρ + W p 1 ( ( 0 , T ) , W q 1 ( Ω + ) ) + = + , { v W q 1 ( ( 0 , T ) , L q ( Ω ) ) + v L p ( ( 0 , T ) , W q 2 ( Ω ) ) } C γ e γ T C R T ω
as follows from (143), choosing T > 0 so small that C γ e γ T C R T ω R , we see that Φ is the map from I R , T into itself. Choosing T > 0 smaller if necessary, we can show that Φ is a contraction map on I R , T , and so by the Banach fixed point theorem Φ has a unique fixed point ( ρ + , v + ) 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

  1. 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]
  2. Denisova, I.V. Evolution of compressible and incompressible fluids separated by a closed interface. Interface Free. Bound 2000, 2, 283–312. [Google Scholar] [CrossRef] [Green Version]
  3. 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]
  4. 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]
  5. 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]
  6. 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] [Green Version]
  7. Ströhmer, G. About the resolvent of an operator from fluid dynamics. Math. Z. 1987, 194, 183–191. [Google Scholar] [CrossRef]
  8. 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] [Green Version]
  9. Weis, L. Operator-valued Fourier multiplier theorems and maximal Lp-regularity. Math. Ann. 2001, 319, 735–758. [Google Scholar] [CrossRef]
  10. Amann, H. Linear and Quasilinear Parabolic Problems; Birkhäuser; Springer: Basel, Switzerland, 1995; Volume I. [Google Scholar]
  11. 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]
  12. 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]
  13. Shibata, Y. On the R-boundedness of solution operators for the weak Dirichlet-Neumann problem. RIMS Kokyuroku 2014, 1875, 1–18. [Google Scholar]
  14. 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]
  15. 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] [Green Version]
  16. 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]
  17. 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]
  18. 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] [Green Version]
  19. 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]
  20. 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]
  21. Shibata, Y.; Shimizu, S. On some free boundary problem for the Navier–Stokes equations. Differ. Integr. Equ. 2007, 20, 241–276. [Google Scholar]
  22. 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]
  23. Mikhlin, S.G. Fourier integrals and multiple singular integrals (Russian). Vest. Leningrad Univ. Ser. Mat. 1957, 12, 143–145. [Google Scholar]
  24. Calderón, A.P. Lebesgue spaces of differentiable functions and distributions. Proc. Symp. Pure Math. 1961, 4, 33–49. [Google Scholar]
  25. 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.

Share and Cite

MDPI and ACS Style

Kubo, T.; Shibata, Y. On the Evolution of Compressible and Incompressible Viscous Fluids with a Sharp Interface. Mathematics 2021, 9, 621. https://doi.org/10.3390/math9060621

AMA Style

Kubo T, Shibata Y. On the Evolution of Compressible and Incompressible Viscous Fluids with a Sharp Interface. Mathematics. 2021; 9(6):621. https://doi.org/10.3390/math9060621

Chicago/Turabian Style

Kubo, Takayuki, and Yoshihiro Shibata. 2021. "On the Evolution of Compressible and Incompressible Viscous Fluids with a Sharp Interface" Mathematics 9, no. 6: 621. https://doi.org/10.3390/math9060621

APA Style

Kubo, T., & Shibata, Y. (2021). On the Evolution of Compressible and Incompressible Viscous Fluids with a Sharp Interface. Mathematics, 9(6), 621. https://doi.org/10.3390/math9060621

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop