Abstract

In this paper, we work on the Cauchy problem of the three-dimensional micropolar fluid equations. For small initial data, in the variable-exponent Fourier–Besov spaces, we achieve the global well-posedness result. The Littlewood–Paley decomposition method and the Fourier-localization technique are main tools to obtain the results. Moreover, the results discussed in our work show the Gevrey class regularity of solution to the Cauchy problem of micropolar fluid equations.

1. Introduction

In this paper, our aim is to study the Cauchy problem of the three-dimensional incompressible micropolar fluid equations:where the is the linear velocity of the fluid, the scalar represents the pressure, and is the field of microrotation and represents the angular velocity of the rotation of particles in the fluid. The symbols and represent the divergence and rotational of the field , respectively. The Newton kinematics viscosity is denoted by and represents the microrotational viscosity. The symbols and denote the angular viscosities. For convenience, we assume and .

The standard micropolar fluid equations, e.g., equation (1), were first investigated by Eringen [1]. This is a kind of fluid that possesses microrotational effects and microrotational inertia, which is thus classified as a non-Newtonian fluid. In the context of physical importance, a micropolar fluid could be a model of fluids where the particles are rigid and floating in a viscous medium without consideration for their deformation. It is significant to the researchers dealing with MHD fluid problems and other related phenomena because it can relate to many behaviors that occur in a wide variety of complicated fluids such as liquid crystals, animal blood, and suspensions that cannot be described properly by the Navier–Stokes (NS) equation. For more details related to its physical applications, we suggest the readers read [2] and the references therein.

Its significance in both physics and mathematics has contributed to extensive work in the area of mathematical analysis. Existence of the weak solution was established by Lukaszewicz [2]. Similarly, in 1997, Galdi and Rionero [3] published a note in which they considered equation (1) and achieved for the first time that the solution exists and is unique. Moreover, in their study, they have further proved that the corresponding solution is globally well-posed if the initial data are small and local well-posed for large initial data. Regarding the smooth solutions to the two-dimensional case of equation (1) with partial viscosity and full viscosity, Chen [4] worked on the global well-posedness and its uniqueness. The large-time phenomenon of the solution and global in time regularity were established by Dong et al. [5]. For more results related to the two-dimensional case, we refer to [6, 7]. Regarding the regularity criterion of the weak solution and the blown-up criterion, for the smooth solution, see [8, 9] and the references therein. The main difficulty of equation (1) is to deal with the linear coupling terms and . These terms involve the curl operations on the microrotation field and velocity , which make the equations more complicated and complex. The nonlinearity makes it harder to figure out how the system will behave and investigate it, which could lead to instability or chaotic behavior. Fereirra and Villamizar-Roa [10] overcame this difficulty and established the global existence of singular solution to the fractional case of equation (1) in the pseudomeasure space .

The spaces were studied in [11] to obtain the singular solutions to NS equations. The global existence for the solution of equation (1) in Besov spaces with was established by Chen and Miao [12]. This work extended the result of Cannone-related NS equations, such as [13]. Zhu and Zhao recently obtained the decay results for equation (1) in critical Besov spaces [14] and Fourier – Besov spaces [15]. More recently, Nie and Zheng [16] have investigated the existence of global solution of equation (1) in Fourier – Herz spaces. These results motivate us to study the global well-posedness of equation (1) in the framework of variable-exponent Fourier – Besov spaces.

When , equation (1) corresponds to the three-dimensional incompressible NS equations. The scaling invariance is an important feature of the NS equations. The global existence of solutions for NS equations in the critical homogeneous Sobolev spaces was proven by Fujita and Kato [17]. Chemin [18] established its existence and uniqueness in homogeneous Besov spaces for and . The global unique solution in a more general space, , is obtained by Koch and Tataru [19]. Recently, for the fractional case of NS equations, Ru and Abidin [20] obtained the global well-posedness result under the smallness condition on initial data in variable-exponent Fourier – Besov spaces. The main purpose of this paper is to extend this result to the solution of equation (1). In this research article, we investigate the existence and analyticity of the global solution of the three-dimensional micropolar fluid equations in the framework of variable-exponent Fourier – Besov spaces. There exist some significant differences between variable-exponent Fourier–Besov spaces and Fourier–Besov spaces. Certain classical results, such as Young’s inequality and the multiplier theorem, are not applicable within the context of variable-exponent Fourier–Besov spaces. Due to this setting, it becomes difficult to determine the well-posedness of equations within these spaces. This work primarily utilizes the tools outlined in Sections 2 and 3, together with Banach’s contraction mapping concept, to study the global well-posedness of the micropolar fluid equations in variable-exponent Fourier–Besov spaces.

The constant exponent Fourier–Besov space can be traced back to the research of Konieczny and Yoneda [21], which focuses on the study of dispersion effect of Coriolis for the NS equations. Moreover, Iwabuchi [22] introduced Fourier–Herz spaces to study Keller–Segel system, which is a particular case of Fourier–Besov spaces.

The origin of the variable-exponent Lebesgue space can be followed back to Orlicz [23]. The researchers, such as Musielak, Nakano, and Zhikov, contributed to its further development. Section 1.2 of [24] provides a brief overview of the early development of the theory of variable-exponent function spaces. Kovaik and Rákosik [25], Cruz-Uribe [26], Diening [27], and Fan and Zhao [28] are considered the pioneers of modern theory of variable-exponent function space. For other details related to the variable-exponent Besov space and variable-exponent Fourier–Besov space, see [2932] and the references therein. One of the primary motivations for the development of variable-exponent theory is the mathematical modelling of electrorheological fluids, which can be seen in [33]. In Section 3, we will give the definitions of various variable-exponent function spaces.

The following symbols are introduced for the convenience of description. Let be Banach spaces; in this part and afterwards, we write and . For the sake of convenience, we assume that and . This work is arranged in the following pattern: basic concepts of variable-exponent function space are given in Section 2. The equivalent integral form of equation (1) is presented in Section 3. In Section 4, we give the linear estimate, and in the last section, Section 5, we present the proof of Theorems 9 and 11.

2. Preliminaries

In this section, we give some basic definitions related to the variable-exponent function space [30] and some important propositions that are helpful to prove our main theorems.

Definition 1. We define the Lebesgue space in the framework of variable exponent by the setwith the following Luxemburg–Nakano norm:where and is the set of all measurable function such thatFurthermore, is a Banach space. To differentiate between the variable exponent and the constant exponents, we indicate the variable exponents with and constant exponents with .

Definition 2. Let ; the mixed sequence Lebesgue space is the set of all sequences of measurable functions belonging to such thatwhereNotice that with .
For the sake of guarantee that the Hardy–Littlewood maximal operator is bounded by , we suppose that the variable-exponent function satisfies the following conditions:(1)If there exists a positive constant , such thatThen, is said to be locally log-Hölder continuous.(2)If there exists some constant independent of , such thatThen, is said to be globally log-Hölder continuous.
Consider a set, consisting of all functions satisfying conditions 1 and 2, which is termed as the space.
Here, we recall the Littlewood–Paley decomposition method. Suppose is the radial function satisfying nonnegativity and smoothness with supp and for any , , where .

Definition 3. Let and . We define the homogeneous variable-exponent Besov space bywithwhere and denotes the set of all polynomials.

Definition 4. Let and . We define the homogeneous variable-exponent Fourier–Besov space bywith

Definition 5. Suppose and [). Then, homogeneous Chemin–Lerner variable-exponent Fourier–Besov space can be defined aswith

Proposition 6. The following conclusions hold in the variable-exponent function spaces:(i)Hölder inequality [24]: suppose and is a mapping from real -tuple space to the set [) with such that . Then,where and .(ii)Sobolev embeddings [30]: let and with . If and are locally log-Hölder continuous, then(iii)See [30]. Let and with . If and are locally log-Hölder continuous, where , then

Proposition 7 (See [20]). Suppose there exists a nonnegative constant and and . Then, we have

We will use the contraction mapping argument in critical Banach spaces to obtain the solution to equation (1).

Proposition 8 (See [34]). Let be a continuous bilinear mapping from to , where is a Banach space and such that

For , where is the ball with origin as a centre and radius , thenwhere obeys the property of uniqueness in the ball .

3. Equivalent Integral Form of Equation (1)

Following [10], the corresponding linear equations to equation (25) are as follows:

Let denote the solution operator to the above linear equation (21), thenwherewith

Applying , the Leray projector, to equation (1) to remove the pressure term , we have the following:

Let

Furthermore, we define

According to Duhamel principle, the solution to equation (25) can be deduced to the solution of the following integral equation:

4. Linear Estimate

For the sake of the proofs of the main theorems, we have to make a priori estimate by considering equation (28). Therefore, the following lemma is constructed.

Lemma 8. Let for , , , [), (, and , then

Proof. Let , by using Proposition 6, and considering , we obtainThe above estimate was based on the following fact:

5. Main Results

In this section, we give the main results related to the global well-posedness and Gevrey class regularity of the solution to equation (1).

Theorem 9. Let and . Then, there exists a positive constant such that for any initial data in withthere is a unique global solution insuch that

Proof. Define the setand consider the following mapping:We need to prove that the mapping shown above is a contraction mapping. By the above mapping, we obviously haveTo estimate , assume the hypothesis , and using Lemma 8, we haveHence, we haveTo estimate , utilizing Proposition 6, we haveUsing Proposition 7, the above inequality yieldsNext, we also haveTherefore,Similarly,In this way,Therefore, we haveNow taking for any withwe can obtainwhere . By using Proposition 8, one can easily obtain the global solution for under the condition of small initial data.
Next, we adopt the Gevrey class technique, which has its origin in the investigation of Foias and Temam [35] related to the NS equations to ensure that the solution to equation (1) is spatially analytic. This method has the obvious benefit of making it easier to get rid of cumbersome estimates of higher-order derivatives. For further details on this issue, see [3538] and the references therein. In this work, we use the idea of Bae et al. [37] to establish the Gevrey class regularities for equation (1).
First, we give the following auxiliary lemma; we can easily obtain the spatial analyticity for the solution to (1).

Lemma 10 (see [10]). Let and for any , we have the following:

Theorem 11. Let and . Then, there exists a constant such that for the initial data in with , the result established in Theorem 1 is analytic in a sense thatwhere defined as presents a Fourier multiplier.

Proof. Assume and , and from equation (28), we haveWe can easily obtain thatwhere we used and Lemma 10.
The rest of the proof follows a similar pattern established in the preceding proof of Theorem 9. Therefore, the remaining part is omitted.

Data Availability

The data used to support this study are available from the corresponding author upon request.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

The authors extend their appreciation to the Deanship of Scientific Research at King Khalid University for funding this work through Large Group Research Project under grant number RGP.2/13/44