Volume 2023, Issue 1 2986348
Research Article
Open Access

Global Existence and Large Time Behavior for the 2-D Compressible Navier-Stokes Equations without Heat Conductivity

Shuofa Xiao

Shuofa Xiao

School of Mathematics and Statistics, Guangdong University of Technology, Guangzhou, Guangdong 510520, China gdut.edu.cn

Search for more papers by this author
Haiyan Xu

Corresponding Author

Haiyan Xu

School of Mathematics and Statistics, Guangdong University of Technology, Guangzhou, Guangdong 510520, China gdut.edu.cn

Search for more papers by this author
First published: 04 May 2023
Academic Editor: Chun Gang Zhu

Abstract

In this paper, we consider an initial value problem for the 2-D compressible Navier-Stokes equations without heat conductivity. We prove the global existence of a strong solution when the initial perturbation is small in H2 and its L1 norm is bounded. Moreover, we derive some decay estimate for such a solution.

1. Introduction

The 2-D compressible Navier-Stokes equations for (x, t) ∈ 2 × + are rewritten as
()
which govern the motion of gases, where ρ, u, P, θ stand for the density, velocity, pressure, and absolute temperature functions, respectively. is the specific total energy with E as the specific internal energy, is the stress tensor, k is the coefficient of heat conduction, I is the identity matrix, and μ and λ are the coefficients of viscosity and second coefficient of viscosity, respectively, satisfying
()

As one of the most important systems in fluid dynamics, there are lots of results on the well-posedness, blow-up phenomenon, large time or asymptotic behavior, and optimal decay rates of solutions based on different assumptions in different cases and function spaces. Among them, for the case with a positive coefficient of heat conduction k > 0, Kazhikhov and Shelukhin studied the global existence in one dimension [1, 2]. The global existence of multidimensional case was established in [36]; more results on global existence for different kinds of solutions can be found in [310]. For the study of the large time behavior, asymptotic behavior, and optimal decay rates of solutions, one can refer to [4, 1115]. The references [1517] and [10, 18] restricted the systems under the case of k = 0 and k > 0, respectively. Danchin [8, 9] proved the existence and uniqueness of strong solutions to the compressible Navier-Stokes equations in hybrid Besov spaces, and Tan and Wang [6] studied the global existence of strong small solutions in Hl, l ≥ 4. For the case of k = 0, Tan and Wang [5] proved the global solvability in three-dimensional space for the less regular solutions to the compressible Navier-Stokes equations in the H2-framework; however, they needed to assume that the L1-norm of the initial perturbation is bounded which is important in the proof of global existence. Later, ref. [3] removed this assumption by using some techniques with regard to the homogeneous Besov space and the hybrid Besov space.

Compared to the Cauchy problem, the equilibrium state of pressure increases with time. Xin et al. [16, 17, 19] investigated the blow-up phenomenon of the compressible Navier-Stokes equations in inhomogeneous Sobolev space; they proved that the smooth or strong solutions will blow up in any positive time if the initial data have an isolated mass group, no matter how small they are. On the other hand, we would like to introduce some research on the Serrin-type regularity (blow-up) criteria for the incompressible Navier-Stokes system. These criteria are obtained from [20, 21]; later, many authors successfully extended these blow-up criteria to the compressible flow (for example, [2229] and references therein).

In this paper, we consider this problem in 2 with the case k = 0 and assume that the gas is ideal and polytropic, i.e., , where R > 0 and A > 0 are the universal gas constant, γ > 1 is the adiabatic exponent, is the entropy, and cv = R/(γ − 1) is a constant which represents the specific heat at a constant volume. Furthermore, we also assume that R = A = 1 without loss of generality. Then, we have
()
and system (1) in terms of variables can be reformulated in terms of variables :
()
where is the classical dissipation function. We are concerned with the initial value problem to system (4) with initial data satisfying
()

where p > 0 and s are the given constants. For the global existence and the decay estimate in the case of two dimensions, we have the following theorem.

Theorem 1. Let p > 0, s be two constants. There exists a small constant ε0 such that if , and are bounded, then there exists a unique global solution of the initial value problems (4) and (5) satisfying

()

Finally, there is a constant C0 such that for any t ≥ 0, the solution has the decay properties
()

Remark 2.

  • (1)

    The Lq decay estimates of (7) for 2 ≤ q ≤ 4 are optimal which coincide with the Lq decay of the heat equation and are much slower than the decay rate in 3. In [3, 5], they obtain that which ensures that is bounded. But in 2, we only have and therefore, is unbounded. This is the main difficulty about the proof of existence in 2 (see Section 3 below)

  • (2)

    Due to k = 0, we cannot gain any diffusion of and the L decay estimate of (7) is slower than the decay of the heat equation

1.1. Notation

In this paper, we use Lp, Hm to denote the Lp and Sobolev spaces on 2 with norms and , respectively. We use C to denote the constants depending only on physical coefficients and C0 to be constants depending additionally on the initial data.

This paper is organized as follows: In Section 2, we reformulate problems (4) and (5), introduce two main propositions, and illustrate that we only need to prove Proposition 4. The rest of the paper is devoted to proving Proposition 4. The proof of the energy estimate part is in Section 3, and the decay rate part is in Section 4.

2. Reformulated System

We reformulate system (4) by setting
()
where ρ = ρ(p, s).
Changing variables as , initial value problems (4) and (5) are reformulated as
()
where the nonlinearities are given by
()
For any T > 0, we define the solution space by
()
and the solution norm by
()

Taking a standard contraction mapping argument, we have the following propositions for the local existence (see [30]).

Proposition 3 (see [3].)Suppose that the initial data satisfy (p0, v0, s0) ∈ H2(2) and . Then, there exists a positive constant T0 depending on such that Cauchy problem (9) has a unique solution (p, v, s) ∈ X(0, T0) satisfying

()

This, together with the proposition below, is sufficient to derive Theorem 1; the proof is based on the standard continuity argument.

Proposition 4. Let (p0, v0, s0) ∈ H2(2) and (p0, v0) ∈ L1(2); for any T > 0, there exists ε > 0 such that the solution (p, v, s) of the initial value problem (9) in [0, T] satisfies

()

Then, this solution is unique with the energy estimates
()
()
and the decay properties
()
()
()
()

The rest of paper is used to prove Proposition 4.

3. Energy Estimate

For later use, we introduce some useful analytic results.

Lemma 5. Let fH2(2); then, we have the following Sobolev inequalities:

()

Lemma 6 (lower-order energy estimate for (p, v)). Under the assumption of Proposition 4, there exists a δ1 > 0 arbitrarily small and independent of ε, such that

()

Proof. Multiplying (2.1)1, (2.1)2 by p, v, respectively, integrating them over 2 and then adding them together, we obtain

()

p, f〉 and 〈v, g〉 can be estimated as follows. For the first term, Lemma 5 together with (14) and the Hölder inequality implies

()

For the second term,

()

Similar to the proof of (24), by Lemma 5, (14), the Hölder inequality, and the fact that

()
which is derived from (3) and (14), we have
()

Therefore,

()

Hence, combining (23), (24), and (28) yields

()

Next, we shall estimate . Multiplying (2.1)2 by ∇p and integrating them over 2, we get

()
where
()
which are based on the similar calculation and Young’s inequality. In brief, we obtain
()

Finally, multiplying (32) by δ1 that is small but fixed and adding it to (29), we can derive (22). This completes the proof of the lemma.

Next, we turn to estimate the higher-order energy for (p, v).

Lemma 7 (higher-order energy estimate for (p, v)). Under the assumption of Lemma 6, there is a small enough but fixed δ2 > 0, which is independent of ε, such that

()

Proof. Applying ∇ to (2.1)1, (2.1)2 and multiplying by ∇p, ∇v, respectively, integrating them over 2 and using the same calculation technique as before, we get

()

Next, applying ∇2 to (2.1)1, (2.1)2 and multiplying by ∇2p, ∇2v, respectively, we can deduce

()
where
()
The terms on the right-hand side are estimated as below:
()

Thus,

()
()

Now applying ∇ to (2.1)2 and multiplying by ∇2p, we have

()

Similar to the estimate of , we transform the formula 〈−∇vt, ∇2p〉 as below:

()
and derive
()

Multiplying (42) by δ2 that is small but fixed, and combining it with (34) and (39), we finally obtain (33). This completes the proof of the lemma.

The lemma below gives the energy estimate for the entropy s.

Lemma 8. For 0 ≤ tT, it holds that

()

Proof. For each multi-index α with 0 ≤ |α| ≤ 2, we apply to (2.1)3, multiply it by , integrate it on 2, and then sum them up to deduce

()

For W1, one has

()

where, for each α with 0 ≤ |α| ≤ 2, one can infer that

()

and for each α, β with 0 ≤ |β| ≤ |α| − 1, 1 ≤ |α| ≤ 2, and βα, it holds that

()

Therefore, we have

()

Now, we turn to estimate W2; using (14), we obtain

()

Combining (44) with (48) and (49) yields (43).

Now, we are in the position to prove the energy estimate in Proposition 4.

Proof of (15) and (16). The first step is to prove (15), energy estimate for (p, v). By defining
()
and adding (22) and (33) together, one has
()
Integrating the above equation directly in time gives
()
Hence,
()
which implies
()

when ε is small enough. In other words, (15) is valid.

The second step is to prove (16), the energy estimate for s. Summing up (22), (33), and (43) gives
()
where
()
Therefore,
()
By Grönwall’s inequality and (15), we obtain
()
which implies (16).

4. Decay Rates

In this section, we prove the decay rates in Proposition 4.

Proof of (17)–(20). Letting

()
we rewrite (33) as follows:
()

Next, by adding to both sides of the above inequality, we deduce that for some constant α > 0,

()
Therefore,
()

To deal with , we rewrite the solution of system (9) as

()

where H(t) = (p(t), v(t)) and is a matrix-valued differential operator given by

()

and the solution semigroup has the following property (see [31, 32]).

Lemma 9. Let k > 0 be an integer; then, ∀t ≥ 0,

()

Then, gathering (63) and (65), one has

()

where and the nonlinear source can be estimated as follows:

()

Hence,
()
Now, if we define , then
()
which implies that
()
Combining (68) and (70) and letting ε be small enough, we can deduce that
()
Substituting (71) into (62), one has
()
Now by the definition of M(t), we obtain
()
Letting ε > 0 be small enough, the inequality above gives us
()
Thus, (70) gives
()
Meanwhile, applying (65) with k = 0 to (14), by (15) and (17), one can infer that
()
Then, by Sobolev’s inequality, (75), and (76), we get
()
Thus, by interpolation inequality, one has
()
for any 2 ≤ q ≤ 4, 0 ≤ tT, and
()

for any 4 < q ≤ ∞, 0 ≤ tT. Therefore, the optimal decay rates (17)–(19) have been proven.

We use the estimates above and (9) to deduce that
()

Therefore, (20) is finally proven.

5. Conclusion

The motivation of this paper is to refine the previous works of [3, 5]. As mentioned above, to prove the global existence of the compressible Navier-Stokes equations, ref. [3] needs to use some complicated techniques based on the notions of the homogeneous Besov space and the hybrid Besov space to remove a condition in [5]. However, in this paper, we use a much simpler method to achieve this, to complete a prior estimate on entropy which is important to prove the global existence of the compressible Navier-Stokes equations by some simple analysis.

The results are in the H2-framework; it is possible to consider similar problems in functional space with lower regularity.

Disclosure

The manuscript has been submitted as a preprint according to the following link: “https://www.authorea.com/users/488979/articles/572918-global-existence-and-decay-estimate-for-the-2-d-compressible-navier-stokes-equations-without-heat-conductivity.”

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This work was supported by the National Natural Science Foundation of China (no. 11901117).

    Data Availability

    All data generated or analysed during this study are included in this published article.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.