Global Regularity Criterion for the 3D Incompressible Navier–Stokes Equations Involving the Velocity Partial Derivative

Abstract

In this paper, we study the regularity of the weak solutions for the incompressible 3D Navier–Stokes equations with the partial derivative of the velocity. By the embedded technology, we prove that the weak solution is regular on (0, T] if with , or .

1. Introduction and the Main Result

This paper focuses on the following three-dimensional incompressible Navier–Stokes (N-S) equations:where denote the velocity field and the pressure, respectively, and is the initial fluid which satisfied .

The existence of weak solutions of N-S equations was proved by Leray [1] and Hopf [2]. However, the existence of 3D global regular solutions is still an open question. Prodi [3] and Serrin [4] first considered the regularity of solutions. They, respectively, proved that the weak solution of 3D N-S equations is regular when the exponents and satisfy

In 1995, Veiga [5] generalized the result to

When , and the like satisfy a certain integrable condition, the weak solution is regular, and a large number of results are obtained (for details, refer to [6–16]). And Penel and Pokorný [13], Kukavica and Ziane [14], Cao [15], and Zhang [16], respectively, proved that the weak solution is regular on when the weak solution satisfies the following conditions:

Recently, Zhang, Yuan, and Zhou in [17] proved iforthe weak solution is regular on.

Very recently, LI and Dong in [18] proved iforthe weak solution is regular on.

One of our main tasks is that when the value of the equation is as constant as possible, we expand the range of to make the value of as small as possible. Second, when the range of does not shrink, the equation is tried to enlarge. Inspired by the texts [14, 17], we get better results than the above [17] as follows.

Theorem 1. Assume and . Let be a weak solution of N-S equations (1) on which satisfies the initial value of . Ifthen the weak solution is regular on .

Theorem 2. Assume and . Let be a weak solution of N-S equations (1) on which satisfies the initial value of . Ifthen the weak solution is regular on .

Remark 1. Comparing (9) and (7) and (10) and (8), respectively, the value of is reduced, and within the range of , the value of the equation is larger than that, so it is better. And when obtains the minimum value, respectively, each equation takes the critical value of 2, so this condition is the optimal critical value.
However, we find that, in the existing results, the maximum value of is bounded when the equality value can reach 2. The highlight of this article is that the equation value goes to 2, and the value reaches infinity. When the value of the equation reached 2, it is a difficult problem to prove the regularity of the weak solutions to the 3D incompressible N-S equations by adding the value of getting to infinity and getting to the current minimum of . We hope we can overcome this problem in the near future.

We shall give the proof of our main result in the third part. In order to facilitate reading, we will give the necessary preparatory knowledge in the following section.

2. Preliminaries

Throughout this text, C stands for a generic positive constant which may differ in value from one line to another. We use to denote the norm of the Lebesgue space as follows:

Definition 1. (see [19]). Assume and . The measurable function defined on is called the weak solution of equation (1) if(1).(2) and satisfy and equation (1) holds in the sense of distributions. For and satisfy where .(3)The strong energy inequality, that is,

Lemma 1. (see [13]).

Lemma 2. (Sobolev embedding inequality).

3. Proof of Main Results

In this part, we give the proof of main results. In order to prove Theorems 1 and 2, we thank the results in [13]. In [13], Penel and Pokorný showed that ifthen the weak solution of the N-S equations is regular on .

For arbitrary and , we have

Hence, they just have to prove thatand in both cases, , is established.

Taking the inner product for by and integrating over , we havewhere we use and the following identities:

Proof of Theorem 1. We estimate the right side of (21). By using the Hölder inequality, the Young inequality, (14), (16), and (17), we get thatSubstituting (23) into (21), we haveDividing both sides by and integrating with respect to imply thatWe deduce from (9) and (14) thatIt is available from type (23) thatSo, by the embedding inequality, we getSo, Theorem 1 is proved.

Proof of Theorem 2. We have another estimation for the right side of (21). By using the Hölder inequality, the Young inequality, (14), (15), and (17), we haveInserting (29) into (21), one hasDividing both sides by and integrating with respect to imply thatBy (10) and (14), we haveThe same can be proved:So, Theorem 2 is proved.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

Li was supported by the Anhui Provincial Natural Science Fund Project (KJ2018B0002). Wang was supported by the NSF of Anhui Province (1908085QA04).