Next Article in Journal
On a New Class of Concave Bi-Univalent Functions Associated with Bounded Boundary Rotation
Previous Article in Journal
Evaluation of Cost-Sensitive Learning Models in Forecasting Business Failure of Capital Market Firms
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Global Existence for the Semi-Dissipative 2D Boussinesq Equations on Exterior Domains

1
School of Big Data and Artificial Intelligence, Chengdu Technological University, Zhongxin Street, Chengdu 611730, China
2
Department of Mathematics, Chengdu Jincheng College, Xiyuan Street, Chengdu 611731, China
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(3), 369; https://doi.org/10.3390/math13030369
Submission received: 11 December 2024 / Revised: 13 January 2025 / Accepted: 20 January 2025 / Published: 23 January 2025
(This article belongs to the Special Issue Recent Studies on Partial Differential Equations and Its Applications)

Abstract

:
This paper concerns the viscous Boussinesq equations without a dissipation term and their relation to the temperature equation related to the exterior of a ball with a smooth boundary. We first prove the global existence of weak solutions on the bounded domain Ω ˜ via the Schauder fixed-point theorem. Then, we derive the uniform estimates to obtain the global existence of weak solutions on the unbounded domain Ω by utilizing the domain expansion method. Finally, we show that the equations have a unique classical solution for H 3 initial data by a series of regularity estimations.

1. Introduction

The Boussinesq equations play a crucial role in the atmospheric sciences and ocean circulation [1], as well as other geophysical applications. They describe the motion of a fluid under small amplitude fluctuations in fluid dynamics. In recent decades, they have attracted widespread attention from many researchers; see [2,3,4,5,6,7,8,9,10,11] and the references therein. Precisely, the incompressible Boussinesq equations read as follows:
ρ t + div ( ρ u ) = 0 , ( ρ u ) t + div ( ρ u u ) = ν Δ u p + ρ ϑ e 2 , ϑ t + u · ϑ = 0 , · u = 0 ,
where u ( x , t ) , ρ ( x , t ) , ϑ ( x , t ) , and p ( x , t ) denote the velocity, density, temperature, and pressure of the fluid, respectively. ν > 0 is the viscosity coefficient for the fluid and e 2 = ( 0 , 1 ) .
One of the most fundamental questions for Equation (1) is its well-posedness. For the case of density-dependent Boussinesq equations, when ϑ = 0 , Kim [2] established the local existence of weak solutions on an open bounded subset of R 3 ; here, the initial vacuum is allowed. Furthermore, Choe and Kim [3] improved this result, proving the existence of strong solutions of the Navier–Stokes equations for nonhomogeneous incompressible fluids—not only on an open bounded subset of R 3 , but also with respect to the problem on the whole space R 3 . They proved the existence and uniqueness of local strong solutions to the initial value problem (for R 3 ) and the initial boundary value problem for an open bounded subset of R 3 . When Ω = R 2 , Zhong [4] studied the Cauchy problem for the Boussinesq equations where both ρ and ϑ are not constants. They showed that there exists a unique local strong solution providing the initial density and that the initial temperature decay is not too slow at infinity.
On the other hand, for the case of a homogeneous incompressible fluid, a great deal of the literature is concerned with the question at hand. Cannon and DiBeneo [5] studied the homogeneous Boussinesq equations with full viscosity. They found the existence and uniqueness of weak solutions in L p . Furthermore, they improved the regularity of the solution when the initial data are smooth. In recent years, the result regarding the existence of such solutions has been generalized to cases of “partial viscosity” by Chae [6] and Hou-Li [7] (who did this around the same time). In [7], Hou and Li studied the viscous Boussinesq equations, i.e., where ν 0 and diffusion does not have to feature in the density equation. They used sharp and delicate energy estimates to prove the global existence and strong regularity of the viscous Boussinesq equations for general initial data in H m with m 3 . In [6], Chae considered both the viscous Boussinesq equations and the nonzero diffusivity Boussinesq equations. He proved the global-in-time regularity for both cases. Moreover, Lai, Pan and Zhao [11] studied the viscous Boussinesq equations over a bounded domain with a smooth boundary. They showed that the equations have a unique classical solution for H 3 initial data. In addition, they proved that the kinetic energy is uniformly bounded in time.
It should be noted that most of the existing results mentioned above mainly focus on the whole space R n ( n 2 ) or the bounded domains with constraints from boundaries. Here, our purpose is to study the global existence of solutions of the viscous Boussinesq equations on an unbounded domain—more precisely, the domain Ω , which represents the exterior of a ball B R 1 ( 0 ) c R 2 with a smooth boundary. We also remark that thermal dissipation as a physical mechanism describing the attenuation of temperature fields over time is crucial for understanding energy balance and stability in fluid dynamics. Especially in the models we study, it directly impacts the global well-posedness of the equations, namely, the existence, uniqueness, and stability of solutions. Thus, in this paper, we consider the following incompressible Boussinesq equations:
u t + u · u = ν Δ u p + ϑ g ( r ) e r , ϑ t + u · ϑ = 0 , · u = 0 ,
where the unknowns u = ( u , v ) T , ϑ , p denote the velocity, temperature, pressure of the fluid at point x at time t, respectively. ν > 0 is the viscosity coefficient, g ( r ) is a function directed towards the center of the Earth, and e r = ( x r , y r ) .
The boundary condition and the condition at infinity are given by
u ( t , x ) = 0 , for t > 0 , x Ω , u ( t , x ) u as | x | ,
and the initial conditions
u ( 0 , x ) = u 0 , ϑ ( 0 , x ) = ϑ 0 .
Without loss of generality, we assume that u = 0 , thanks to the Galilean invariance of fluid mechanics.
We will first prove the global existence of weak solutions to Equations (2)–(4), and then improve the regularity of the solutions by using energy estimates under the initial and boundary conditions Equations (3) and (4). Now, we give the definition of weak solutions.
Definition 1.
( u , ϑ ) is called the global weak solution of problems (2)–(4), if for any T > 0 , u L ( [ 0 , T ) ; L 2 ( Ω ) 2 ) L 2 ( [ 0 , T ) ; H 0 1 ( Ω ) 2 ) , ϑ L ( [ 0 , T ) ; L ( Ω ) ) , satisfying
0 T Ω u · Φ t + ( u · Φ ) · u ν u : Φ + ϑ g ( r ) e r · Φ d x d τ + Ω u 0 Φ ( 0 , x ) d x = 0 , 0 T Ω ϑ Ψ t + ( u · Ψ ) ϑ d x d τ + Ω ϑ 0 Ψ ( 0 , x ) d x = 0 ,
for any Φ C 0 ( Ω × [ 0 , T ] ) 2 satisfying Φ ( T , x ) = 0 and · Φ = 0 , and for any Ψ C ( Ω × [ 0 , T ] ) satisfying Ψ ( T , x ) = 0 .
Our main result can be stated as follows:
Theorem 1. 
For any initial u 0 H 0 1 ( Ω ) 2 , ϑ 0 L 1 ( Ω ) L ( Ω ) , there exists a global weak solution ( u , ϑ ) of (2)–(4), such that, for any T > 0 , u L ( [ 0 , T ) ; L 2 ( Ω ) 2 ) L 2 ( [ 0 , T ) ; H 0 1 ( Ω ) 2 ) and ϑ L ( [ 0 , T ) ; L 1 ( Ω ) L ( Ω ) ) .
The existence of pressure p follows immediately from Equations (2) and (4) by a classical consideration. For more regular initial data, we can improve the regularity of weak solutions and thus obtain the unique strong solution.
Theorem 2. 
If the initial u 0 H 3 ( Ω ) 2 , ϑ 0 H 3 ( Ω ) , satisfying the compatibility conditions in (20), then there exists a unique solution ( u , ϑ ) of Equations (2)–(4) globally in time, such that for any T > 0 ,
sup 0 t T ( u H 3 ( Ω ) 2 + ϑ H 3 ( Ω ) 2 ) C , 0 T u H 4 ( Ω ) 2 d τ C .

2. Preliminaries

In this section, we recall some known facts and elementary inequalities that will be used frequently later. First of all, we require the following compatibility conditions:
Δ p 0 = · [ ϑ 0 g ( r ) e r u 0 · u 0 ] , x Ω , p 0 · n | Ω = [ ν Δ u 0 + ϑ 0 g ( r ) e r ] · n | Ω ,
where n is the unit outward normal to Ω .
Next, we state the following regularity results in Stokes equations, which are useful for further higher-order estimates (see Ref. [12], Proposition 2.3).
Lemma 1. 
Let Ω be an open set in R 2 with l r boundary, where r = max { m + 2 , 2 } , m 1 is an integer. Consider the Stokes problem
ν Δ u + p = f , · u = 0 , u | Ω = 0 .
If f W m , α ( Ω ) , then u W m + 2 , α ( Ω ) , p W m + 1 , α ( Ω ) and there exists a constant c 0 such that
u W m + 2 , α ( Ω ) + p W m + 1 , α ( Ω ) c 0 f W m , α ( Ω )
for any α ( 1 , ) . c 0 is a positive constant depending only on α , ν , m , and Ω but independent of R.
Finally, we need the following Sobolev embeddings and Gagliardo–Nirenberg inequalities (here, the uniform constants are independent of the size of the domain):
Lemma 2. 
Let Ω be a domain in R 2 with smooth boundary C 1 . Then, the following embedding inequalities hold:
H 1 ( Ω ) L q ( Ω ) , q [ 2 , ) ; W 1 , q ( Ω ) L ( Ω ) , q ( 2 , ) .
Lemma 3. 
There exists a constant C > 0 , such that for any u H 0 1 ( Ω ) H 2 ( Ω ) , it holds that
u L 4 ( Ω ) 2 C u L 2 ( Ω ) u L 2 ( Ω ) .

3. Proofs of Theorems

In this section, we prove the results announced in the introduction. Before proving our main results, we first explain the notation and conventions used throughout this paper.
For R > 0 , set
B R = { x R 2 | x | < R } .
For 1 q and integer k 0 , the standard Sobolev spaces are denoted by
L q = L q ( Ω ) , W k , q = W k , q ( Ω ) , H k = W k , 2 ( Ω ) .
Without confusion, we also write L q ( Ω ˜ ) , W k , q ( Ω ˜ ) , and W k , 2 ( Ω ˜ ) by L q , W k , q , and H k , respectively.

3.1. Proof of Theorem 1

First, we consider a bounded domain Ω ˜ = Ω B R with R > R 1 . We construct approximate solutions via the Schauder fixed-point theorem (see [13]), derive uniform bounds, and thus obtain solutions by passing to the limit. Then, the existence for the unbounded space Ω follows in a straightforward way from the a priori estimates by the classical domain expansion technique. We first prove Theorem 1 for bounded domains.

3.1.1. Global Existence of Weak Solution on Bounded Domain

In this subsection, we use the same method as in [11,14] to prove Proposition 1 by a fixed-point argument. To implement this nethod, we fix any T > 0 and consider problems (2)–(4) in Ω ˜ × [ 0 , T ] .
Let B be the closed convex set in
X = L ( [ 0 , T ) ; L 2 ( Ω ˜ ) 2 ) L 2 ( [ 0 , T ) ; H 0 1 ( Ω ˜ ) 2 ) ,
defined by
B = { u = ( u , v ) X | · u = 0 , a . e . , on Ω ˜ × ( 0 , T ) , u X R 0 } ,
where R 0 will be determined later. The norm · X is defined by
u X 2 = sup 0 t T u 2 + 0 T u H 0 1 2 d τ .
For simplicity, we use · to denote · L 2 in this paper.
Proposition 1. 
Let Ω ˜ = Ω B R ( R > R 1 ) , and assume u 0 H 0 1 ( Ω ˜ ) 2 , ϑ 0 L ( Ω ˜ ) . If g ( r ) L ( Ω ˜ ) , then there exists a global weak solution ( u , ϑ ) of Equations (2)–(4), such that for any T > 0 ,
ϑ L q ϑ 0 L q for 1 q , u 2 e g ( r ) L ( Ω ˜ ) T [ u 0 2 + g ( r ) L ϑ 0 2 T ] , 0 T u 2 d τ C ,
where the positive constant C depends only on g ( r ) L , ν , u 0 , ϑ 0 , and T, but is independent of R (the radius of ball B R = { x R 2 | | x | < R } ).
Proof. 
We first construct an approximate solution. This will be divided into three steps as follows:
  • Step 1. We define the mapping F ε : B B .
For fixed ε ( 0 , 1 ) and any v B , we first mollify v using the standard procedure to obtain
v ε = η ε 3 v ¯ ε ,
where v ¯ ε is the truncation of v in Ω ˜ ε = { x Ω ˜ d i s t ( x , Ω ˜ ) > ε } (extended by 0 to Ω ˜ ), and η ε 3 is the standard mollifier. It thus follows from [14] that
v ε C ( [ 0 , T ] ; C 0 ( Ω ˜ ¯ ) ) , · v ε = 0 , v ε C ( [ 0 , T ] ; L 2 ( Ω ˜ ) ) C v C ( [ 0 , T ] ; L 2 ( Ω ˜ ) ) , v ε L 2 ( [ 0 , T ] ; H 0 1 ( Ω ˜ ) ) C v L 2 ( [ 0 , T ] ; H 0 1 ( Ω ˜ ) )
for some constant C > 0 that is independent of both ε and R. Similarly, we regularize the initial data to obtain the smooth approximation ϑ 0 ε for ϑ 0 and u 0 ε for u 0 , respectively, such that
u 0 ε C 0 ( Ω ˜ ¯ ) , · u 0 ε = 0 , and u 0 ε u 0 in H 0 1 ( Ω ˜ ) ) as ε 0 , ϑ 0 ε C ( Ω ˜ ¯ ) , and ϑ 0 ε ϑ 0 in L ( Ω ˜ ) ) as ε 0 .
Then, we solve the equation with smooth initial data
ϑ t + v ε · ϑ = 0 , ϑ ( 0 ) = ϑ 0 ε ( x ) ,
and we denote the solution by ϑ ε . Next, we solve the Navier–Stokes equation with smooth initial data
u t + v ε · u = ν Δ u p + ϑ ε g ( r ) e r , · u = 0 , u | Ω ˜ = 0 , u ( 0 ) = u 0 ε ,
and denote the solution by u ε . Then, we define the mapping F ε ( v ) = u ε . The solvability of (15) and (16) follows easily from [14]. Next, we prove that F ε maps B onto B.
Multiplying (15)1 by | ϑ | q 2 ϑ ( 2 q < ) and integrating the resulting equation over Ω ˜ by parts, we obtain
ϑ L q = ϑ 0 ε L q C ϑ 0 L q , 0 t T ,
i.e.,
ϑ ε L q = ϑ 0 ε L q C ϑ 0 L q , 0 t T ,
where C is a constant independent of both ε and R.
Multiplying (16)1 by u and integrating the resulting equation over Ω ˜ by parts and using Young’s inequality, we have
1 2 d d t u 2 + ν u 2 = Ω ˜ ϑ ε g ( r ) e r · u d x g ( r ) L Ω ˜ ϑ ε e r · u d x g ( r ) L 1 2 ϑ ε 2 + 1 2 u 2 .
By dropping ν u 2 from (19) and applying Gronwall’s inequality to the resulting inequality, we find that
u 2 e g ( r ) L T [ u 0 ε 2 + g ( r ) L ϑ 0 ε 2 T ] e g ( r ) L T [ u 0 2 + g ( r ) L ϑ 0 2 T ] C ,
which also implies, after integrating (19) over [ 0 , T ] , that
0 T u 2 d τ C ( g ( r ) L , ν , u 0 , ϑ 0 , T ) ,
i.e.,
u ε L ( [ 0 , T ] ; L 2 ( Ω ˜ ) ) 2 + u ε L 2 ( [ 0 , T ] ; H 0 1 ( Ω ˜ ) ) 2 C .
Choosing R 0 2 = C , we find that u ε B , which means that F ε maps B onto B for any 0 < ε < 1 . Here, C denotes a generic positive constant depending only on g ( r ) L , ν , u 0 , ϑ 0 , and the terminal time T, while being independent of ε and the size of the domain Ω ˜ .
  • Step 2. We prove the compactness of F ε .
Taking L 2 as the inner product of (16)1 with u t , one has
u t 2 + ν 2 d d t u 2 Ω ˜ | v ε | | u | | u t | d x + Ω ˜ ϑ ε g ( r ) e r u t d x 1 4 u t 2 + v ε · u 2 + 1 4 u t 2 + ϑ ε g ( r ) e r 2 1 2 u t 2 + v ε L 2 u 2 + g ( r ) L 2 ϑ 0 ε 2 ,
which implies that
1 2 u t 2 + ν 2 d d t u 2 v ε L 2 u 2 + g ( r ) L 2 ϑ 0 ε 2 .
Applying Gronwall’s inequality to (23) and using (18), we have
u 2 e 2 ν v ε L ( [ 0 , T ] , L ) 2 T [ u 0 ε 2 + 2 ν g ( r ) L 2 ϑ 0 ε 2 T ] e 2 ν v ε L ( [ 0 , T ] , L ) 2 T [ u 0 2 + 2 ν g ( r ) L 2 ϑ 0 2 T ] C .
Then, with the help of (24), integration of (23) over [ 0 , T ] gives that
0 T u t 2 d τ ν u 0 ε 2 + 2 v ε L ( [ 0 , T ] , L ) 2 0 T u 2 d τ + 2 g ( r ) L 2 ϑ 0 ε 2 T ν u 0 2 + 2 v ε L ( [ 0 , T ] , L ) 2 0 T u 2 d τ + 2 g ( r ) L 2 ϑ 0 2 T C .
On the other hand, ( u , p , ϑ ) satisfies the following Stokes system:
ν Δ u + p = u t v ε · u + ϑ ε g ( r ) e r , x Ω ˜ , · u = 0 , x Ω ˜ , u | Ω = 0 .
By the regularity results on (26) (see Lemma 1), we know that
u H 2 2 c 0 u t 2 + v ε · u 2 + ϑ ε g ( r ) e r 2 c 0 u t 2 + v ε L 2 u 2 + g ( r ) L 2 ϑ ε 2 .
Here, c 0 is a constant independent of both ε and R. It thus follows that (24) and (25) yield
0 T u H 2 2 d τ C .
From (25) and (28), we know that F ε is compact by the Compactness Theorem (see [2,15,16]).
  • Step 3. We prove the continuity of F ε .
Let F ε ( v i ) = u i ε , i = 1 , 2 ; by definition, we know
ϑ i t ε + v i ε · ϑ i ε = 0 , u i t ε + v i ε · u i ε = ν Δ u i ε p i ε + ϑ i ε g ( r ) e r , · u i ε = 0 , u i ε Ω = 0 , u i ε ( 0 ) = u 0 ε , ϑ i ε ( 0 ) = ϑ 0 ε ,
Subtracting the equation for i = 2 from the one for i = 1 , we arrive at
θ t ε + v 1 ε · θ ε + W ε · ϑ 2 ε = 0 , χ t ε + v 1 ε · χ ε + W ε · u 2 ε = ν Δ χ ε Q ε + θ ε g ( r ) e r , · χ ε = 0 , χ ε Ω = 0 , χ ε ( 0 ) = 0 , θ ε ( 0 ) = 0 ,
where θ ε = ϑ 1 ε ϑ 2 ε , W ε = v 1 ε v 2 ε , χ ε = u 1 ε u 2 ε , and Q ε = p 1 ε p 2 ε .
Taking the L 2 inner products of (30)1 with θ ε , we obtain
1 2 d d t θ ε 2 = Ω ˜ W ε · ϑ 2 ε θ ε d x .
This holds as ϑ 2 ε C ( [ 0 , T ] ; C ( Ω ˜ ¯ ) ) (see [11,14]). So, (31) becomes
1 2 d d t θ ε 2 ϑ 2 ε L W ε θ ε C ( t ) 2 ( W ε 2 + θ ε 2 ) .
Here, C ( t ) denotes a generic positive constant depending on t, and 0 T C ( τ ) d τ C < . By Gronwall’s inequality, we have
θ ε 2 C e C T 0 T W ε 2 d τ C W ε L ( [ 0 , T ] ; L 2 ( Ω ˜ ) ) 2 .
Taking the (30)2 inner products of ( ) 2 with χ ε , by using the Hölder inequality and Sobolev embedding inequality, we obtain
1 2 d d t χ ε 2 + ν χ ε 2 = Ω ˜ ( W ε · u 2 ε ) · χ ε d x + Ω ˜ θ ε g ( r ) e r · χ ε d x W ε u 2 ε L 4 χ ε L 4 + g ( r ) L θ ε χ ε W ε u 2 ε H 2 χ ε + g ( r ) L θ ε χ ε C W ε 2 u 2 ε H 2 2 + ν 2 χ ε 2 + C g ( r ) L 2 θ ε 2 + 1 2 χ ε 2 C W ε L ( [ 0 , T ] ; L 2 ( Ω ˜ ) ) 2 ( u 2 ε H 2 2 + g ( r ) L 2 ) + ν 2 χ ε 2 + 1 2 χ ε 2 ,
where we have used (33). From (34) and (27), we obtain
1 2 d d t χ ε 2 + ν 2 χ ε 2 C W ε L ( [ 0 , T ] ; L 2 ( Ω ˜ ) ) 2 ( u 2 ε H 2 2 + g ( r ) L 2 ) + 1 2 χ ε 2 C 1 ( t ) 2 W ε L ( [ 0 , T ] ; L 2 ( Ω ˜ ) ) 2 + 1 2 χ ε 2 ,
where 0 T C 1 ( τ ) d τ C . By dropping ν 2 χ ε 2 from (35) and applying Gronwall’s inequality to the resulting inequality, we find that
χ ε 2 C W ε L ( [ 0 , T ] ; L 2 ( Ω ˜ ) ) 2 .
Integrating (35) over [ 0 , T ] using (36), we have
0 T χ ε 2 d τ C W ε L ( [ 0 , T ] ; L 2 ( Ω ˜ ) ) 2 .
Combining (36) and (37), we obtain
χ ε L ( [ 0 , T ] ; L 2 ( Ω ˜ ) ) 2 + χ ε L 2 ( [ 0 , T ] ; H 0 1 ( Ω ˜ ) ) 2 C W ε L ( [ 0 , T ] ; L 2 ( Ω ˜ ) ) 2 ;
i.e.,
u 1 ε u 2 ε B 2 C v 1 v 2 B 2 ,
where · B 2 = · L ( [ 0 , T ] ; L 2 ( Ω ˜ ) ) 2 + · L 2 ( [ 0 , T ] ; H 0 1 ( Ω ˜ ) ) 2 , which implies that F ε is continuous.
Therefore, the Schauder theorem implies that for any fixed ε , there exists u ε B such that F ε ( u ε ) = u ε . Thus, u ε satisfies the following equations:
ϑ t ε + u ε · ϑ ε = 0 , u t ε + u ε · u ε = ν Δ u ε p ε + ϑ ε g ( r ) e r , · u ε = 0 , u ε Ω = 0 , u ε ( 0 ) = u 0 ε , ϑ ε ( 0 ) = ϑ 0 ε ,
where u ε is the regularization of u ε . We conclude that ( u ε , ϑ ε ) is called the approximate solution.
Next, we verify that the approximate solution ( u ε , ϑ ε ) converges to the weak solution ( u , ϑ ) , satisfying Equation (2). It is obvious that ( u ε , ϑ ε ) satisfy the integral identities (5): i.e.,
Ω ˜ ϑ 0 ε Ψ ( 0 , x ) d x + 0 T Ω ˜ ( ϑ ε Ψ t + ϑ ε u ε · Ψ ) d x d t = 0 ,
Ω ˜ u 0 ε Φ ( 0 , x ) d x + 0 T Ω ˜ ( u ε Φ t + u ε · ( u ε · Φ ) ν u ε : Φ + ϑ ε g ( r ) e r · Φ ) d x d t = 0
for each fixed 0 < ε < 1 , for any test function Φ C 0 ( Ω × [ 0 , T ] ) 2 satisfying Φ ( T , x ) = 0 and · Φ = 0 , and for any Ψ C ( Ω × [ 0 , T ] ) satisfying Ψ ( T , x ) = 0 .
With the aid of (18), from (21) and from the definition of u ε , we know that the sequence ( u ε , ϑ ε ) converges up to the extraction of subsequences. To some, ( u , ϑ ) in the obvious weak sequence—that is,
u ε u in L ( [ 0 , T ) ; L 2 ( Ω ˜ ) 2 ) , u ε u in L ( [ 0 , T ) ; L 2 ( Ω ˜ ) 2 ) , u ε u in L 2 ( [ 0 , T ) ; H 0 1 ( Ω ˜ ) 2 ) , u ε u in L 2 ( [ 0 , T ) ; H 0 1 ( Ω ˜ ) 2 ) , ϑ ε ϑ in L ( [ 0 , T ) ; L q ( Ω ˜ ) ) , 1 q .
By the same method in [12,14], we can prove that
u ε u in L 2 ( [ 0 , T ) ; L 2 ( Ω ˜ ) 2 ) , u ε u in L 2 ( [ 0 , T ) ; L 2 ( Ω ˜ ) 2 ) .
Therefore, we can easily deduce that the limit ( u , ϑ ) is a weak solution of the original Equations (2)–(4) and satisfies the following regularity estimates:
ϑ L q ϑ 0 L q , 1 q , u 2 e g ( r ) L ( Ω ˜ ) T [ u 0 2 + g ( r ) L ϑ 0 2 T ] C , 0 T u 2 d τ C .
We conclude the argument by noticing that T is arbitrary; thus, we have finished the proof of Proposition 1. □

3.1.2. Global Existence of Weak Solution on Unbounded Domain

Since the estimate (12) is independent of R, the remaining case of Theorem 1 can be proved by means of a standard domain expansion technique.
Proposition 2. 
Assume u 0 H 0 1 ( Ω ) 2 , ϑ 0 L 1 ( Ω ) L ( Ω ) . If g ( r ) L ( Ω ˜ ) , then there exists a global weak solution ( u , ϑ ) of problems (2)–(4) such that for any T > 0 ,
u L ( [ 0 , T ) ; L 2 ( Ω ) 2 ) L 2 ( [ 0 , T ) ; H 0 1 ( Ω ) 2 ) ,
ϑ L ( [ 0 , T ) ; L 1 ( Ω ) L ( Ω ) ) .
Proof. 
Setting Ω R = Ω B R , let u ˜ 0 R H 0 1 ( Ω R ) 2 satisfy
Δ u ˜ 0 R + p 0 R = Δ u 0 , in Ω R .
Extending u ˜ 0 R to R 2 by defining 0 outside Ω R , we have (see [14], Appendix A)
u ˜ 0 R u 0 in H 0 1 ( Ω ) 2 , as R .
For u 0 R = u ˜ 0 R η R 1 , it holds that u 0 R C 0 ( Ω R ) 2 C 0 ( Ω ) 2 and that
u 0 R u 0 in H 0 1 ( Ω ) 2 , as R .
Similarly, we choose ϑ 0 R C 0 ( Ω R ) C 0 ( Ω ) satisfying
ϑ 0 R ϑ 0 in L 1 ( Ω ) L ( Ω ) , as R .
Hence, by virtue of Proposition 1, the initial boundary value problems (2)–(4) with the initial data ( u 0 R , ϑ 0 R ) have a weak solution ( u R , ϑ R ) on Ω R × [ 0 , ) . Moreover, ( u R , ϑ R ) satisfies the estimates obtained in Proposition 1; that is,
ϑ R L q ϑ 0 R L q , 1 q < , u R 2 e g ( r ) L ( Ω ˜ ) T [ u 0 R 2 + g ( r ) L ϑ 0 R 2 T ] C , 0 T u R 2 d τ C ,
where C is a constant independent of R. Thus, extending ( u R , ϑ R ) by zero on R 2 Ω R , we find that the sequence ( u R , ϑ R ) converges up to the extraction of subsequences to some limit ( u , ϑ ) in the obvious weak sense—that is, as R , we have
u R u weakly star in L ( [ 0 , T ) ; L 2 ( Ω ) 2 ) , u R u weakly in L 2 ( [ 0 , T ) ; L 2 ( Ω ) 2 ) , ϑ R ϑ weakly star in L 1 ( [ 0 , T ) ; L 1 ( Ω ) L ( [ 0 , T ) ; L 1 ( Ω ) ) .
Moreover, by (46), the limit ( u , ϑ ) also satisfies the estimate (12). Finally, letting R , we can easily show that ( u , ϑ ) is a weak solution to the original Equations (2)–(4). The proof of the existence part of Theorem 1 is finished. □

3.2. Proof of Theorem 2

In this subsection, we shall prove the regularity and uniqueness results of the solution obtained in Theorem 1. To show Theorem 2, whose proof will be postponed to the end of this section, we begin with the following standard energy estimate for ( u , ϑ ) , which are stated as a sequence of lemmas.
Lemma 4. 
For initial data ( u 0 , ϑ 0 ) satisfying the assumptions of Theorem 2, it holds that
sup 0 t T ( u 2 + ϑ L 1 L ) + 0 T u 2 d τ C ,
where (and in what follows) C denotes a generic positive constant depending only on g ( r ) L , ν , u 0 , ϑ 0 , and the terminal time T.
Proof. 1. Define particle path
d d t X ( x , t ) = u ( X ( x , t ) , t ) , X ( x , 0 ) = x .
Thus, along the particle path, we obtain from (2)2 that
d d t ϑ ( X ( x , t ) , t ) = 0 ,
which implies
ϑ ( X ( x , t ) , t ) = ϑ 0 .
2. Multiplying (2)1 by u and then integrating the resulting equation over Ω , we have
1 2 d d t u 2 + ν u 2 = Ω ϑ g ( r ) e r u d x g ( r ) L ( Ω ) Ω ϑ e r u d x g ( r ) L ( Ω ) 1 2 ϑ 2 + 1 2 u 2 .
Thus, Gronwall’s inequality leads to
sup 0 t T u 2 + 0 T u 2 d τ C ,
which, together with (50), yields (48) and completes the proof of Lemma 4. □
Lemma 5. 
For initial data ( u 0 , ϑ 0 ) satisfying the assumptions of Theorem 2, it holds that
sup 0 t T u 2 + 0 T [ u t 2 + 2 u 2 ] d τ C .
Proof. 
Multiplying (2)1 by u t and then integrating the resulting equation over Ω , by applying the Cauchy–Schwarz inequality, we have
ν 2 d d t u 2 + u t 2 = Ω u · u · u t d x + Ω ϑ g ( r ) e r · u t d x 1 2 u t 2 + Ω | u | 2 | u | 2 d x + Ω | ϑ | 2 | g ( r ) | 2 d x .
The Hölder, Cauchy–Schwarz, and Gagliardo-Nirenberg inequalities (see [17]), together with (52), yield
Ω | u | 2 | u | 2 d x u L 8 2 u L 8 3 2 C u 1 2 u 3 u H 1 1 2 δ u H 2 2 + C ( δ ) u 4 .
For the third term on the right-hand side of (54), we obtain from (48) that
Ω | ϑ | 2 g ( r ) 2 d x C .
Inserting (55) and (56) into (54) gives rise to
ν 2 d d t u 2 + 1 2 u t 2 δ u H 2 2 + C ( δ ) u 4 + C .
To estimate the first term on the right-hand side of (57), we rewrite Equation (2)1 as
ν Δ u + p = u t u · u + ϑ g ( r ) e r ,
and applying the standard L p estimate to (58) (see Lemma 1) yields that for any r ( 1 , ) ,
2 u L r + p L r C ( u t L r + u · u L r + ϑ g ( r ) e r L r ) ,
where C is a generic constant independent of R. Then, it follows from (59), (48) and the Gagliardo–Nirenberg inequality that
2 u L 2 2 + p L 2 2 C ( u t L 2 2 + u · u L 2 2 + ϑ g ( r ) e r L 2 2 ) C u t L 2 2 + C u L 4 2 u L 4 2 + C g ( r ) L 2 ϑ L 2 2 C u t L 2 2 + C u L 2 u L 2 2 2 u L 2 + C C u t L 2 2 + 1 2 2 u L 2 2 + C u L 2 4 + C .
Consequently, substituting (60) into (57) and choosing a δ suitably small, one has
ν 2 d d t u 2 + 1 4 u t 2 + ε 2 u 2 C u 4 + C .
By dropping 1 4 u t 2 , ε 2 u 2 from (61) and using Gronwall’s inequality, we obtain
u 2 e 2 C ν 0 T u 2 d τ [ u 0 2 + 2 C ν T ] .
Substituting this into (61) and integrating over ( 0 , T ) , we conclude that
0 T [ u t 2 + 2 u 2 ] d τ C ,
where we have used Lemma 4. This completes the proof of Lemma 5. □
Lemma 6. 
For initial data ( u 0 , ϑ 0 ) satisfying the assumptions of Theorem 2, it holds that
sup 0 t T u t 2 C , 0 T u t 2 d τ C .
Proof. 
We now take the temporal derivative of (2)1 to obtain
u t t + u t · u + u · u t = ν Δ u t p t + ϑ t g ( r ) e r .
Multiplying (65) by u t and integrating the resulting equality by parts over Ω , we obtain
1 2 d d t u t 2 + ν u t 2 = Ω u t · u · u t d x + Ω ϑ t g ( r ) e r · u t d x Ω | u t | 2 | u | d x | g ( r ) | L Ω u · ϑ u 2 t d x u t L 4 2 u + | g ( r ) | L Ω ϑ u · u 2 t d x .
With the help of Lemma 5 and the Gagliardo–Nirenberg inequality, we note that
u t L 4 2 u u t L 4 2 u t u t ν 4 u t 2 + C u t 2 .
On the other hand, with Lemma 4, we have
| g ( r ) | L Ω ˜ ϑ u · u 2 t d x | g ( r ) | L ϑ L u u t ν 4 u t 2 + C .
Substituting (67), (68) into (66), we obtain
1 2 d d t u t 2 + ν 2 u t 2 C u t 2 + C .
Using Gronwall’s inequality, we obtain
u t 2 e 2 C T u t ( 0 ) 2 + 2 C T .
Next, we should estimate u t ( 0 ) 2 . In fact, different from (54), we also have
u t 2 = ν Ω ˜ Δ u · u t d x Ω ˜ u · u · u t d x + Ω ˜ ϑ g ( r ) e r · u t d x 3 4 u t 2 + C Δ u 2 + C u · u 2 + C ϑ 2 3 4 u t 2 + C Δ u 2 + C u L 4 2 u L 4 2 + C ϑ 0 2 3 4 u t 2 + C Δ u 2 + C u u 2 2 u + C ϑ 0 2 .
Taking t 0 + in the above inequality, and using Lemma 4 and Lemma 5, we obtain
u t ( 0 ) 2 C u ( 0 ) H 2 2 + C .
Now, substituting the result into (70) and integrating (69) over ( 0 , T ) give
u t 2 C , 0 T u t 2 d τ C ,
where we have used Lemma 5. The proof of Lemma 6 is finished. □
Lemma 7. 
For initial data ( u 0 , ϑ 0 ) satisfying the assumptions of Theorem 2, it holds that
sup 0 t T u L 2 C , 0 T u L 2 d τ C .
Proof. 
By Lemmas 5 and 6, we obtain from (60) that
u H 2 2 C ( u t 2 + u 4 ) + C C ,
which implies, by Sobolev embedding, that
u L 2 C .
As an immediate consequence of (75) and (76) and the Gagliardo–Nirenberg inequality, we see that
u · u H 1 2 = Ω ˜ ( | u | 2 | u | 2 + | u | 4 + | u | 2 | 2 u | 2 ) d x u L 2 u 2 + u L 4 4 + u L 2 2 u 2 u L 2 u 2 + u 2 2 u 2 + u L 2 2 u 2 ( u L 2 + u 2 ) 2 u 2 C ,
which implies, by Sobolev embedding, that
u · u L q 2 C , 2 q < .
On the other hand, using the same Sobolev embedding, we known from (73) that
0 T u t L q 2 d τ C , 2 q < .
Therefore, using (59) and (78)–(79), we obtain
0 T u W 2 , q 2 d τ C 0 T ( u t L q 2 + u · u L q 2 + ϑ g ( r ) e r L q 2 ) d τ C .
Thus, we have
0 T u L 2 d τ C .
Lemma 8. 
For initial data ( u 0 , ϑ 0 ) satisfying the assumptions of Theorem 2, it holds that
sup 0 t T ϑ L C .
Proof. 
Operating to (2)2 and then multiplying | ϑ | q 2 ϑ for q [ 2 , ) gives the following:
1 q d d t ϑ L q q = Ω ˜ ( u · ϑ ) · | ϑ | q 2 ϑ d x u L ϑ L q q ,
which, along with Gronwall’s inequality, leads to
ϑ L q ϑ 0 L q e 0 T u L d τ C .
Letting q , we obtain (82). This completes the proof of Lemma 8. □
Lemma 9. 
For initial data ( u 0 , ϑ 0 ) satisfying the assumptions of Theorem 2, it holds that
sup 0 t T u t 2 C , 0 T u t t 2 d τ C .
Proof. 
Multiplying (65) by u t t and integrating the resulting equality by parts over Ω , we obtain
u t t 2 + ν 2 d d t u t 2 = Ω u t · u · u t t d x + Ω u · u t · u t t d x + Ω ϑ t g ( r ) e r · u t t d x Ω | u t | | u | | u t t | d x + Ω | u | | u t | | u t t | d x + Ω ϑ t g ( r ) u 2 t t d x = I 1 + I 2 + I 3 .
We estimate each term on the right-hand side of (86) as follows:
First, it follows from Young’s inequality and Lemma 6 that
I 1 = Ω ˜ | u t | | u | | u t t | d x 1 6 u t t 2 + C Ω ˜ | u t | 2 | u | 2 d x 1 6 u t t 2 + C u L 2 u t 2 1 6 u t t 2 + C u L 2 .
Then, Young’s inequality combined with Lemma 7 leads to
I 2 = Ω ˜ | u | | u t | | u t t | d x 1 6 u t t 2 + C Ω ˜ | u | 2 | u t | 2 d x 1 6 u t t 2 + C u L 2 u t 2 1 6 u t t 2 + C u t 2 .
Similarly, using Young’s inequality, (2) and Lemmas 4 and 8 indicates that
I 3 = Ω ˜ ϑ t u 2 t t d x 1 6 u t t 2 + C Ω ˜ | ϑ t | 2 d x 1 6 u t t 2 + C Ω ˜ | u · ϑ | 2 d x 1 6 u t t 2 + C ϑ L 2 u t 2 1 6 u t t 2 + C .
Substituting (87)–(89) into (86), we obtain
1 2 u t t 2 + ν 2 d d t u t 2 C u t 2 + C u L 2 + C .
We note that all the terms on the right-hand side of (90) are integrable in time due to Lemmas 6 and 7. Therefore, we integrate (90) in time over [ 0 , T ] and after using the compatibility conditions (7) to obtain the estimates in (85). This completes the proof of Lemma 9. □
Lemma 10. 
For initial data ( u 0 , ϑ 0 ) satisfying the assumptions of Theorem 2, it holds that
sup 0 t T ( u H 3 2 + ϑ H 3 2 ) C , 0 T u H 4 2 d τ C .
Proof. 
We deduce from (70), (77), (84), (85), and Lemma 1 that
u H 3 2 C ( u t H 1 2 + u · u H 1 2 + ϑ g ( r ) e r H 1 2 ) C .
Thus, by the Sobolev inequality, we have
u W 2 , r 2 C u H 3 2 C .
Then,
u L 2 C .
Now, it is clear that one needs a higher-order estimate on ϑ to complete the proof of this lemma. For this purpose, taking x x of (2)2, we have
ϑ x x t + u x x x ϑ + 2 u x x x ϑ + v x x y ϑ + 2 v x x y ϑ + u · ϑ x x = 0 .
For any q 2 , multiplying (95) by | x x ϑ | q 2 x x ϑ , integrating over Ω , and using Hölder’s inequality, we obtain
1 q d d t Ω | ϑ x x | q d x = Ω u x x ϑ x + 2 u x ϑ x x + v x x ϑ y + 2 v x ϑ x y | ϑ | x x q 2 ϑ x x d x ϑ L 2 u L q 2 ϑ L q q 1 + 2 u L 2 ϑ L q q C ( 2 ϑ L q q 1 + 2 ϑ L q q ) ,
where (82), (93), and (94) are used. Similarly, one can show
1 q d d t Ω ˜ | ϑ x y | q d x C ( 2 ϑ L q q 1 + 2 ϑ L q q ) , 1 q d d t Ω ˜ | ϑ y y | q d x C ( 2 ϑ L q q 1 + 2 ϑ L q q ) .
It follows that
d d t 2 ϑ L q C ( 1 + 2 ϑ L q ) .
Applying Gronwall inequality to (75), one has
2 ϑ L q e C T ( 2 ϑ 0 L q + C T ) C .
In a quite similar manner as in the derivation of (76), further estimates show that
ϑ H 3 2 C .
Furthermore, by (94) and (84) and Lemmas 6, 7 and 9, we have
u t · u 2 = Ω ˜ | u t | 2 | u | 2 d x u L 2 u t 2 C , u · u t 2 = Ω ˜ | u | 2 | u t | 2 d x u L 2 u t 2 C , ϑ t g ( r ) e r 2 C Ω ˜ | ϑ t | 2 d x C Ω ˜ | u · ϑ | 2 d x C ,
which, together with (85) and (101), gives
0 T u t H 2 2 d τ C 0 T [ u t t 2 + u t · u 2 + u · u t 2 + ϑ t g ( r ) e r 2 ] d τ C .
In addition, the Sobolev inequality and (92) yield
u · u H 2 2 C .
Thus, we have
0 T u H 4 2 d τ C ,
which completes the proof of Lemma 10. □
It remains only to prove the uniqueness of the strong solutions.
Proposition 3. 
Let ( u 1 , ϑ 1 , p 1 ) , and ( u 2 , ϑ 2 , p 2 ) be two solutions satisfying (2)–(4); then,
u 1 = u 2 , ϑ 1 = ϑ 2 and p 1 = p 2 .
Proof. 
Denote
u ˜ = u 1 u 2 , p ˜ = p 1 p 2 , ϑ ˜ = ϑ 1 ϑ 2 .
First, subtracting Equation (2)1 satisfied by ( u 1 , ϑ 1 , p 1 ) and ( u 2 , ϑ 2 , p 2 ) gives
u ˜ t + u 1 · u ˜ + u ˜ · u 2 = ν Δ u ˜ p ˜ + ϑ ˜ g ( r ) e r .
Multiplying (106) by u ˜ and integrating by parts yields
1 2 d d t u ˜ 2 + ν u ˜ 2 = Ω ˜ u ˜ · u 2 · u ˜ d x + Ω ˜ ϑ ˜ g ( r ) e r · u ˜ d x u 2 L u ˜ 2 + C u ˜ 2 + C ϑ ˜ 2 C u ˜ 2 + C ϑ ˜ 2 ,
due to Young’s inequality and (94).
Next, subtracting Equation (2)2 satisfied by ( u 1 , ϑ 1 , p 1 ) and ( u 2 , ϑ 2 , p 2 ) leads to
ϑ ˜ t + u 1 · ϑ ˜ + u ˜ · ϑ 2 = 0 .
Multiplying (108) by ϑ ˜ and using Lemma 8, we obtain after integration by parts that
1 2 d d t ϑ ˜ 2 = Ω ˜ u ˜ · ϑ 2 ϑ ˜ d x C u ˜ 2 + C ϑ ˜ 2 .
Combining (107) and (109), we finally have
1 2 d d t ( u ˜ 2 + ϑ ˜ 2 ) + ν u ˜ 2 C ( u ˜ 2 + ϑ ˜ 2 ) ,
which, together with Gronwall’s inequality, implies that
u ˜ 2 + ϑ ˜ 2 e 2 C T ( u ˜ 0 2 + ϑ ˜ 0 2 ) = 0
for any t 0 . The proof of Proposition 3 is completed. □
Thus, the proof of Theorem 2 is completed.

Author Contributions

Conceptualization, R.W. and J.L.; methodology, R.W.; validation, L.G.; writing—original draft preparation, R.W. and J.L.; writing—review and editing, R.W. and L.G.; supervision, L.G.; funding acquisition, R.W. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by the Introduced Talent Research Start up Funds of Chengdu Technological University (Grant No. 2024RC030) and the National Natural Science Foundation of China (Grant No.12001471).

Data Availability Statement

The original contributions presented in the study are included in the article, further inquiries can be directed to the corresponding author.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Majda, A. Introduction to PDEs and Waves for the Atmosphere and Ocean; American Mathematical Society: Providence, RI, USA, 2003; Volume 9. [Google Scholar]
  2. Kim, J.U. Weak solutions of an initial boundary value problem for an incompressible viscous fluid with nonnegative density. Siam J. Math. Anal. 1987, 18, 89–96. [Google Scholar] [CrossRef]
  3. Choe, H.J.; Kim, H. Strong Solutions of the Navier–Stokes Equations for Nonhomogeneous Incompressible Fluids. Commun. Partial. Differ. Equ. 2003, 28, 1183–1201. [Google Scholar] [CrossRef]
  4. Zhong, X. Strong solutions to the 2D Cauchy problem of density-dependent viscous Boussinesq equations with vacuum. J. Math. Phys. 2019, 60, 051505. [Google Scholar] [CrossRef]
  5. Cannon, J.R.; DiBenedetto, E. The initial value problem for the Boussinesq equations with data in Lp. In Proceedings of the Symposium Held by the International Union of Theoretical and Applied Mechanics (IUTAM) at the University of Paderborn, Paderborn, Germany, 9–15 September 1979; Springer: Berlin/Heidelberg, Germany, 2006; pp. 129–144. [Google Scholar]
  6. Chae, D. Global regularity for the 2D Boussinesq equations with partial viscosity terms. Adv. Math. 2006, 203, 497–513. [Google Scholar] [CrossRef]
  7. Hou, T.Y.; Li, C. Global well-posedness of the viscous Boussinesq equations. Discret. Contin. Dyn. Syst. 2005, 12, 1–12. [Google Scholar] [CrossRef]
  8. Fan, J.; Ozawa, T. Regularity criteria for the 3D density-dependent Boussinesq equations. Nonlinearity 2009, 22, 553–568. [Google Scholar] [CrossRef]
  9. Qiu, H.; Yao, Z. Well-posedness for density-dependent Boussinesq equations without dissipation terms in Besov spaces. Comput. Math. Appl. 2017, 73, 1920–1931. [Google Scholar] [CrossRef]
  10. Liang, Z. Local strong solution and blow-up criterion for the 2D nonhomogeneous incompressible fluids. J. Differ. Equ. 2015, 258, 2633–2654. [Google Scholar] [CrossRef]
  11. Lai, M.J.; Pan, R.H.; Zhao, K. Initial boundary value problem for 2D viscous Boussinesq equations. Arch. Ration. Mech. Anal. 2011, 199, 739–760. [Google Scholar] [CrossRef]
  12. Temam, R. Navier-Stokes Equations: Theory and Numerical Analysis; Studies in Mathematics and Its Applications; North-Holland Publishing Co.: Amsterdam, The Netherlands, 1977; Volume 2, p. 510. [Google Scholar]
  13. Xia, D. Real Variable Function and Functional Analysis; Higher Education Press: Beijing, China, 2010; Volume 9. [Google Scholar]
  14. Lions, P.L. Mathematical Topics in Fluid Mechanics: Volume 2: Compressible Models; Oxford University Press: Oxford, UK, 1996; Volume 2. [Google Scholar]
  15. Chen, X.; Liu, J.G. Two nonlinear compactness theorems in Lp (0, T; B). Appl. Math. Lett. 2012, 25, 2252–2257. [Google Scholar] [CrossRef]
  16. Moussa, A. Some variants of the classical Aubin–Lions lemma. J. Evol. Equ. 2016, 16, 65–93. [Google Scholar] [CrossRef]
  17. Adams, R.A.; Fournier, J.J. Sobolev Spaces; Elsevier: Amsterdam, The Netherlands, 2003. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Wu, R.; Guo, L.; Li, J. Global Existence for the Semi-Dissipative 2D Boussinesq Equations on Exterior Domains. Mathematics 2025, 13, 369. https://doi.org/10.3390/math13030369

AMA Style

Wu R, Guo L, Li J. Global Existence for the Semi-Dissipative 2D Boussinesq Equations on Exterior Domains. Mathematics. 2025; 13(3):369. https://doi.org/10.3390/math13030369

Chicago/Turabian Style

Wu, Ruili, Lunzhong Guo, and Junyan Li. 2025. "Global Existence for the Semi-Dissipative 2D Boussinesq Equations on Exterior Domains" Mathematics 13, no. 3: 369. https://doi.org/10.3390/math13030369

APA Style

Wu, R., Guo, L., & Li, J. (2025). Global Existence for the Semi-Dissipative 2D Boussinesq Equations on Exterior Domains. Mathematics, 13(3), 369. https://doi.org/10.3390/math13030369

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