An extension of Herstein's theorem on Banach algebra

1.   Introduction

The 2D compressible Navier-Stokes equations (CNS) with density-dependent viscosity coefficients and the free boundary condition can be formulated in the following form:

where $\rho (x, t)$ and ${\bf u}(x, t)$ with $(x, t)\in {\Omega }(t)\times(0, +\infty)$ are the density and the velocity, respectively. $P = P(\rho)$ is the pressure, and we use the $\gamma$-law on the pressure, i.e.,

where $\gamma$ stands for the adiabatic exponent, $\gamma = \frac{c_{p}}{c_{_{v}}}\geq 1$ is the ratio of the specific heats, and $c_{p}$ and $c_{v}$ are the specific heats per unit mass under constant pressure and constant volume, respectively. The system (1.1) is called pressureless if $k = 0$. In particular, if $k > 0$, $\gamma = 1,$ the fluid is called isothermal, which can be used for constructing models with non-degenerate isothermal fluid; if $k > 0$, $\gamma > 1$, the fluid is called isentropic. ${\Omega }(t)\subset \mathbb{R}^{2}$ characterizes the instantaneous spatial region occupied by the fluid at time $t$. $D({\bf u})$ is the strain tensor given by $\frac{\nabla {\bf u}+\nabla {\bf u}^{T}}{2}$, and $h(\rho)$ and $g(\rho)$ are the Lamé viscosity coefficients. $\partial \Omega (t) = \Psi (\partial\Omega(0), t)$ is the free boundary separating fluid from a vacuum, $\rho = 0$ on $\partial \Omega(t)$ is the continuous density boundary condition which completes the Navier-Stokes equations, and $\partial \Omega (0) = \{x\in \mathbb{R}^{2}:|x| = a_{0}\}$ is the initial free boundary. $\Psi$ is the particle path of the flow, which satisfies

For a more detailed introduction of the Navier-Stokes equations, see ^[1,2,3].

Equations $({1.1})$ were introduced by Liu, Xin, and Yang in ^[4]. Since then, significant progress has been achieved by many authors. For the one-dimensional case with $h(\rho) = \rho^{\alpha}$, $g(\rho) = 0 \, \, (\alpha \in (0, \frac{3}{2}))$ and the free boundary conditions, there are many studies on the well-posedness theory, see ^[5,6,7] and the references therein. However, few results are available for the multi-dimensional problems. The first multi-dimensional result is due to Mellet and Vasseur ^[8], where they proved the $L^{1}$ stability of weak solutions to (1.1) based on a new entropy estimate established in ^[9,10], which extended the corresponding $L^{1}$ stability result of ^[9].

The reason for the viscosity depending on the density (variable viscosity) is that when we study fluid motion, especailly when we encounter a vacuum state, this makes the problem complicated. First, in ^[4,11,12], we can see that the Cauchy problem of the Navier-Stokes equations with constant coefficients including the vacuum state is ill-posed, which is reflected in the fact that the solution of this system has no continuous dependence on the initial value, and when the initial density has a compact support set, the system may have a global regular solution. According to the theory of physics, Liu, Xin, and Yang introduced the density-dependent Navier-Stokes equation in ^[4] and proved the local well-posedness. In fact, we know that the real fluids can be approximated by the ideal fluids only if the temperature and density vary within the appropriate range by the literature ^[13,14]. Second, we obtain the Navier-Stokes equations from the Boltzmann equation by the second-order expansion of Chapman-Enskog (see ^[4,15,16]), where the viscosity coefficient is temperature dependent in the derivation process. For example, for the hard sphere collision model, the viscosity coefficient is directly proportional to the square root of the temperature. If we consider the motion of an isentropic fluid, according to the second law of thermodynamics, it can be deduced that the viscosity coefficient is density-dependent. Therefore, we need to take into account the effect of density on the viscosity coefficient when studying the problem of initial density containing a vacuum. In addition, in geophysics, many of the mathematical models that are used to study fluid motion are similar to the Navier-Stokes equations whose viscosity depends on density, such as the Saint-Venant system for shallow water waves (see ^[3,10,17]).

In the recent decades, there have been many references considering the analytical solutions or blow-up solutions to the Navier-Stokes equations ^[18,19,20], Euler-Poisson equations ^[21,22,23], Euler equations ^[24,25,26], or Euler equations with time-dependent damping ^[27] and the references therein. In ^[19], Yeung and Yuen considered (1.1) radial symmetry solutions with $h(\rho) = 0, \, \, g(\rho) = \rho ^{\theta }$ in $\mathbb{R}^{\mathrm{N}}$, and showed that there exists a family of analytical solutions for the Navier-Stokes equations with pressure for $\theta = \gamma = 1$ and $\theta = \gamma > 1$. Dong, Xue, and Zhang in ^[28] constructed a class of spherically symmetric and self-similar analytical solutions to the pressureless Navier-Stokes equations with density-dependent viscosity coefficients satisfying $h(\rho) = \rho^{\theta}, \ g(\rho) = (\theta-1)\rho^{\theta}$, and they investigated the large time behavior of the solutions according to various $\theta > 1$ and $0 < \theta < 1$. In ^[29], Dou and Zhao found an interesting phenomenon on the solution to 1D compressible isentropic Navier-Stokes equations with a constant viscosity coefficient on $(x, t)\in[0, +\infty)\times \mathrm{R}_{+}$: The solutions to the initial boundary value problem to 1D compressible Navier-Stokes equations in half space can be transformed to the solution to the Riccati differential equation under some suitable conditions. In ^[23], Yuen considered the Euler-Poisson equations in spherical symmetry in the two dimensional isothermal case, and the following analytical solutions were given:

where $a(t), \, y(z)\in C^{2}$ are two functions satisfying some ordinary differential equations, and the blow-up rate of the solution is

with $\eta < 2$.

In this paper, we mainly consider the compressible Navier-Stokes equations with density-dependent viscosity coefficients and a continuous density boundary condition. The Lamé viscosity coefficients are

Without loss of generality, we let $\kappa = 1$, and then $g(\rho) = \rho^{\varphi }$. Therefore, system (1.1) is transformed into

Similar to ^[30], if we consider the shear viscosity, the Lamé viscosity coefficients are taken as $h(\rho) = \mu, \ g(\rho) = \mu+\rho^{\varphi}$, and there is no essential difficulty. The corresponding conclusion can also be obtained by using the method in this paper.

We consider the fluid region $\Omega (t)$ in 2D space, which is written as

where $r = \sqrt{x_{1}^{2}+x_{2}^{2}}$ is the polar diameter, and $a(t)$ is the free boundary satisfying

where $u^{r}$ is the radial component of the velocity field ${\bf u}$ as in (1.8).

Let ${\bf e}_{r} = \frac{(x_{1}, x_{2})}{r}$, ${\bf e}_{\theta } = \frac{(-x_{2}, x_{1})}{r}$ be two orthogonal unit vectors along the radial and angular directions, respectively. Then the velocity field ${\bf u}$ can be written in the following form:

which can be equivalently expressed in the Euler coordinates as

The compressible Navier-Stokes equations (1.5) in the Euler coordinates can be written in the following polar coordinates form:

By (1.8) and the following Theorems 2.1 and 2.6, we see that $u^{\theta}$ has nothing to do with $\theta$, but with the polar diameter, and in this sense the Navier-Stokes equation in the 2D polar coordinates can be viewed as radially symmetric.

Accordingly, the initial condition is

The continuous density boundary condition is

In the following Theorems 2.1 and 2.6, the solutions to (1.8) is radially symmetric and smooth at the center of symmetry, so the velocity at the center of symmetry is $0$, and we impose the Dirichlet boundary condition at the center of symmetry

In the following, according to the different properties of pressure and different types of fluid, we first consider the self-similar solutions of 2D CNS under the boundary conditions (1.9) and (1.10) in the isentropic case $k > 0$, $\gamma = \varphi > 1$; and then we consider the self-similar solutions of 2D CNS in the isothermal case $k > 0$, $\gamma = \varphi = 1$.

Our main results are as follows:

2.   Results

For the isentropic case, we have:

Theorem 2.1. For the 2D CNS (1.8)–(1.10) in the isentropic case $k > 0,$ $\gamma = \varphi > 1$, there exist a family of self-similar solutions of the form

where $\xi$ is a constant that represents the strength effects of rotation, and $a(t)\in C^{2}([0, +\infty))$ is a free boundary satisfying (1.6), (1.7), and the following generalized Emden equation:

In particular, the generalized Emden equation (2.3) is a non-conservative system, the trajectory of the solution $a(t)$ in the Poincaré phase plane is moving toward a state that has a lower total energy, and $a(t)$ satisfies the estimate

where

Moreover, if

the limit $\lim\limits_{t\rightarrow +\infty }a^{\prime }(t)$ exists, and the large time behavior of $a(t)$ is

There are several remarks in order.

Remark 2.2. For the 2D irrotational case $k > 0, \ \gamma > 1, \ \xi = 0$, the Emden equation (2.3) is reduced to

Accordingly, the condition (2.6) is reduced to

or equivalently,

which can be guaranteed by selecting suitable initial values $a_{0} > 0$ and $\widetilde{a}_{1}$ in (2.3). Moreover, similar to the proof of Step 2 in Lemma 3.8, we have that if $\widetilde{a}_{1} > \frac{2\varphi}{2\varphi-1}a_{0}^{1-2\varphi}$, the free boundary $a(t)$ increases in $[0, +\infty)$ and $\lim\limits_{t\rightarrow +\infty }a(t) = +\infty$, and the fluid density $\rho(t, r)$ satisfies that $\lim\limits_{t\rightarrow +\infty }\rho(t, r) = 0$.

Remark 2.3. For the 2D pressureless case $k = 0, \ \varphi > 1$, the corresponding generalized Emden equation becomes

To investigate the large time behavior in (2.7), we require $\varphi \geq \frac{3}{2}$, and

and the condition (2.6) is turned into

Remark 2.4. For the 2D irrotational and pressureless case $k = 0, \ \varphi > 1, \ \xi = 0$, the Emden equation (2.3) is reduced to

By a similar way as was done in ^[28], one can obtain that if $\widetilde{a}_{1}\geq\frac{2\varphi}{2\varphi-1}a_{0}^{1-2\varphi}$, the free boundary $a(t)$ increases in $[0, +\infty)$ and $\lim\limits_{t\rightarrow +\infty }a(t) = +\infty$ (at most, it increases linearly as in (2.7)); and if $\widetilde{a}_{1} < \frac{2\varphi}{2\varphi-1}a_{0}^{1-2\varphi}$, $a(t)$ tends to a positive bounded constant $\left[(a_{0}^{1-2\varphi}-\frac{2\varphi-1}{2\varphi}a_{1})\right]^{\frac{1}{1-2\varphi}}$.

Remark 2.5. One can see different effects of the pressure and the swirl from the above remarks. More precisely, Remark 2.4 implies that, for the irrotational and pressureless case, the free boundary $a(t)$ increases linearly or sub-linearly in time; however, taking the pressure effect or the swirl effect into account, we can find some classes of solutions with linear growth under the conditions in (2.9) or (2.11). In this sense, rotation or pressure effects may accelerate the growth of the boundary. Moreover, comparing the conditions in (2.9) and (2.11), the result demonstrates the predominance of pressure effects relative to swirl effects.

For the isothermal case $k > 0$, $\gamma = \varphi = 1$, the formula of fluid density is different from the isentropic case, and we have the following:

Theorem 2.6. For the 2D CNS (1.8) in the isothermal case $k > 0,$ $\gamma = \varphi = 1$, there exist a family of self-similar solutions with the form

where $\beta$ is a constant, $\xi$ is a constant that represents the strength effects of rotation, and $a(t)\in C^{2}([0, T))$ satisfies the following generalized Emden equation:

Likewise, (2.14) is a non-conservative system, and the trajectory of the solution $a(t)$ in the Poincaré phase plane is moving toward a state that has a lower total energy. Moreover, if $\widetilde{a}_{1}\geq\frac{2}{a_{0}}$, $a(t)$ increases on $[0, +\infty)$ and $\lim\limits_{t\rightarrow +\infty }a(t) = +\infty$, and the fluid density $\rho(t, r)$ satisfies that $\lim\limits_{t\rightarrow +\infty }\rho(t, r) = 0$.

Remark 2.7. By Theorems 2.1 and 2.6, we see that in the self-similar solution in the 2D polar coordinates, the density $\rho$ is radially symmetric, the velocity has a rotational part $u^\theta$, if initially $u^\theta = 0$, and the solution is radially symmetric.

Remark 2.8. One can easily extend this result to the isothermal Euler/Navier-Stokes equations with frictional damping term

where $\eta \geq 0$. The solutions are also given by (2.13), and $a(t)$ satisfies the following equation:

3.   Proof of the isentropic case

First, similar to ^[26], we give a lemma for the mass conservation equation in the polar coordinates, whose proof is direct.

Lemma 3.1. For the mass conservation equation of CNS (1.8) in the polar coordinates form

there exist solutions of the form

where $f\geq 0$, $f\in {C^{1}}$, $a(t) > 0$, and $a(t)\in C{^{1}}([0, +\infty))$.

Precisely, we show the following result.

Lemma 3.2. For the 2D CNS (1.8) under the continuous density boundary condition (1.9) in the isentropic case $k > 0,$ $\gamma = \varphi > 1$, there exist a family of self-similar solutions of the form

where $\xi$ is a constant that represents the strength effects of rotation, $a(t)\in C{^{2}}([0, +\infty))$ is the free boundary satisfying (1.6), (1.7), and the following generalized Emden equation:

Proof. According to Lemma 3.1, the solutions possess the following form:

Substituting them into (1.8)$_{2}$, one has

where $f'$ represents the derivative of function $f$ with respect to $\frac{r}{a(t)}$, and then

It follows that

For simplicity, we let $\gamma = \varphi$, and the above equation can be written as

i.e.,

Denoting $z = \frac{r}{a(t)}$, we require

and note that for the continuous density boundary condition (1.9), we have $f(1) = 0$, and then

Substituting (3.7) and (3.8) into (3.6), we get the following generalized Emden equation:

Similarly, if one substitutes $\rho (t, r) = \frac{f(\frac{r}{a(t)})}{a^{2}(t)}$, $u^{r}(t, r) = \frac{a^{\prime }(t)}{a(t)}r$, $u^{\theta }(t, r) = \frac{\xi }{a^{2}(t)}r$ into (1.8)$_{3}$, the same conclusion can be made, and the proof is complete. □

In the following, we will consider the local existence and uniqueness of the generalized Emden equation (3.5). The main result is the following:

Lemma 3.3. There exists a sufficiently small $T$, such that, for the generalized Emden equation (3.5), there exists a unique solution $a(t)\in C_{[0, T]}^{1}$, satisfying $0 < \frac{1}{2}a_{0} < a(t) < 2a_{0}$.

Proof. We prove the local existence and uniqueness of the generalized Emden equation (3.5) by using Banach's fixed point theorem ^[31,32,33] in functional analysis theory, which consists of the following three steps.

Step 1: We transform the Cauchy problem of the second-order nonlinear generalized Emden equation (3.5) into the Cauchy problem of the corresponding differential-integral equation.

We integrate over $(0, t)$ on both sides of Eq $(3.5)_{1}$, and note that $a(0) = a_{0} > 0, \ a^{\prime }(0) = \widetilde{a}_{1}$. Then

Therefore, $a(t)$ satisfies the following differential-integral equation:

Step 2: In the metric space $\mathbb{X}$, a nonlinear mapping $\mathbb{T}(a(t))$ is constructed, and we will prove that $\mathbb{T}(a(t))\in \mathbb{X}$.

Suppose $T_{1}$ is a small positive constant, and we define the metric space

For $\forall a_{1}(t)\in \mathbb{X}, \, \, a_{2}(t)\in \mathbb{X},$ let

Equation (3.9) can be transformed into

Then

For the terms $H_{i}$ $(i = 1, 2, 3)$, one has

and

Suppose

where $L = \frac{2\varphi }{2\varphi -1}3^{2\varphi -2}\left(\frac{1}{2}a_{0}\right) ^{-1}+k\varphi T_{1}3^{2\varphi -2}\left(\frac{1}{2}a_{0}\right) ^{-1}+9\xi ^{2}T_{1}\left(\frac{1}{2}a_{0}\right) ^{-1}$ is a constant, and then

We now define a mapping $\mathbb{T}$ on $\mathbb{X}$, such that $\mathbb{T}$ satisfies

and it is easy to know that $\mathbb{T}a(t)\in C_{[0, T_{1}]}^{1}$.

Next, let us find the condition satisfying $\mathbb{T}a(t)\in \mathbb{X}$.

If

we have

If

we have

and

Therefore, if $T_{1}\leq \min \{T_{2}, T_{3}\}$, then $\mathbb{T}a(t)\in \mathbb{X}$.

Step 3: By Banach's fixed point theorem, we can prove that the Cauchy problem of differential-integral equation

has a unique solution in $\mathbb{X}$.

If $\mathbb{T}$ is a contraction mapping, by (3.10) and (3.11), which satisfies

and $LT_{1} < 1$, then

and we have

Therefore, if $T = \min \{T_{1}, T_{2}, T_{3}, T_{4}\}$, the mapping $\mathbb{T}: \mathbb{X}\mapsto \mathbb{X}$ is a contraction mapping.

By Banach's fixed point theorem, there exists a unique $a(t)\in {C}^{1}_{[0, T]}$, s.t.

and the lemma is proved.□

Next, we focus on Eq (3.5) and give an estimate for the solution $a(t)$. From the perspective of ordinary differential equations, we use the standard energy method ^[34] in autonomous systems to get some properties of the generalized Emden equation (3.5).

Lemma 3.4. There exist two positive constants

and

s.t. the solution $a(t)$ of the generalized Emden equation (3.5) satisfies

Proof. Multiplying both sides of the generalized Emden equation (3.5) by $a^{\prime}(t)$, we have

Integrating over $(0, t)$, we have

Then, it follows that

and this implies that

So

where

From (3.15), we have

i.e.,

Likewise, one has

and

Therefore,

So this completes the proof of Lemma 3.4. □

The following lemma is a direct consequence of Lemmas 3.3 and 3.4.

Lemma 3.5. For the generalized Emden equation (3.5), there exists a global solution $a(t)$ in $[0, +\infty)$, which satisfies the estimate in (3.14).

For the generalized Emden equation (3.5), let

and then (3.5) can be written as

Let

and we can define the kinetic energy of the generalized Emden equation (3.5):

Likewise, the potential energy of (3.5) is defined as

The total energy of the generalized Emden equation (3.5) is

Then

For $w\left(a, \frac{da}{dt}\right) = \frac{2\varphi a^{\prime}(t)}{a^{2\varphi}(t)},$ we have

The total energy of (3.5) decreases monotonically, it is a non-conservative system, and the trajectory of the solution $a(t)$ to the generalized Emden equation (3.5) in the Poincaré phase plane is moving toward a state that has a lower total energy. In summary, we get the following lemma:

Lemma 3.6. For the generalized Emden equation (3.5), the solution $a(t)$ has the following properties: (3.5) is a non-conservative system and the trajectory of the solution $a(t)$ in the Poincaré phase plane is moving toward a state that has a lower total energy.

Remark 3.7. The related results about the other types of generalized Emden equations may be referred to ^[19,20,21].

Furthermore, $a(t)$ possesses the following large time behavior:

Lemma 3.8. For the generalized Emden equation (3.5), if

where $C_{2}$ is the same as (3.13), then the limit $\lim\limits_{t\rightarrow +\infty} a^{\prime}(t)$ exists, and let $A = \lim\limits_{t\rightarrow +\infty} a^{\prime}(t)$. We have

Proof. We prove the lemma by three steps:

Step 1: In the proof of Lemma 3.4, we have

and

where $C_{2}$ is the same as (3.13).

By (3.18), we have

so $a(t)$ is a strictly convex function, and $a^{\prime}(t)$ is monotonically increasing in $[0, +\infty)$. In particular, the convexity of $a(t)$ is very important in the following proof.

By (3.19), we have that $a^{\prime}(t)$ is bounded, and according to the monotone bounded theorem ^[35,36], the limit $\lim\limits_{t\rightarrow +\infty} a^{\prime}(t)$ exists.

Step 2: In this step, we will prove that $a(t)\rightarrow +\infty$ as $t\rightarrow +\infty$.

First, we transform the generalized Emden equation (3.5) into the differential-integral form:

and we divide into two cases to prove the results:

Case 1: If $\widetilde{a}_{1}\geq\frac{2\varphi}{2\varphi-1}a^{1-2\varphi}_{0}-\frac{2\varphi}{2\varphi-1}a^{1-2\varphi}(t)$, then $a^{\prime}(t) > 0$ is always true in $[0, +\infty)$. So $a(t)$ is monotonically increasing in $[0, +\infty)$, note the convexity of $a(t)$, and then $a(t)\rightarrow +\infty$ as $t\rightarrow +\infty$.

Case 2: If $\widetilde{a}_{1} < \frac{2\varphi}{2\varphi-1}a^{1-2\varphi}_{0}-\frac{2\varphi}{2\varphi-1}a^{1-2\varphi}(t)$, as $a^{\prime}(t)$ is monotonically increasing in $[0, +\infty)$, due to the continuity property, the behavior of $a(t)$ may be:

(ⅰ). $a(t)$ is first monotonically decreasing in $\left[0, t_{0}\right]$ $(t_{0} < +\infty)$, and then $a(t)$ is monotonically increasing in $[t_{0}, +\infty)$.

(ⅱ). $a(t)$ is monotonically decreasing in $[0, +\infty)$.

In the following, we will prove that (ⅱ) does not hold, and only (ⅰ) is true.

By Lemma 3.4, we have that $a(t_{0}) > 0$, $a^{\prime}(t_{0}) = 0.$

If $t_{0} = +\infty,$ then

while in the proof of Step 1, $a^{\prime }(t)$ is bounded, so a contradiction is met. So $t_{0}\neq +\infty$, and (ⅱ) can not happen.

Therefore, $a(t)$ is monotonically decreasing in $[0, t_{0}]$ $(t_{0} < +\infty)$, and then $a(t)$ is monotonically increasing in $[t_{0}, +\infty)$. Note that the convexity of $a(t)$ implies that $a(t)\rightarrow +\infty$ as $t\rightarrow +\infty$.

In conclusion, we have that $a(t)\rightarrow +\infty$ as $t\rightarrow +\infty$.

Step 3: Since the limit $\lim\limits_{t\rightarrow +\infty}a^{\prime}(t)$ exists, by the L'Hospital's rule ^[35,36], we have

This completes the proof of Lemma 3.8. □

The proof of Theorem 2.1 is a direct consequence of Lemmas 3.2–3.8.

4.   Proof of the isothermal case

In this part, we discuss the formulas and properties of analytical solutions to (1.8) in the isothermal case $k > 0,$ $\gamma = \varphi = 1$. We have the following result:

Lemma 4.1. For the 2D CNS (1.8) in the isothermal case $k > 0$, $\gamma = \varphi = 1$, there exist a family of self-similar solutions of the form

where $\beta$ is a constant, $\xi$ is a constant that represents the strength effects of rotation, and $a(t)\in {C^{2}}([0, +\infty))$ is a differential function satisfying the following generalized Emden equation:

Proof. We check that (4.1) is a solution by direct calculations.

First, according to Lemma 3.1, one can suppose the solutions in the following form:

Obviously, the solutions above satisfy (1.8)$_{3}$.

Next, substituting (4.3) into (1.8)$_{2}$, one has

and

where $f'$ represents the derivative of function $f$ with respect to $\frac{r}{a(t)}$, and then

It follows that

Denoting $z = \frac{r}{a(t)}$, similarly as was done in (3.7), we require

Suppose $f(1) = \beta$ and $\beta$ is a constant, and then we get

Substituting (4.5) and (4.6) into (4.4), we get the Emden equation (4.2).

This finishes the proof of Lemma 4.1. □

As the proof of Case (i) of Theorem 2.3 in ^[28], one integrates the generalized Emden equation (4.2) on $[0, t]$ to obtain

It follows that

and if $\widetilde{a}_{1}\geq\frac{2}{a_{0}}$, $a'(t) > 0$, $a(t)$ increases in $[0, +\infty]$. By the contradiction method, we can get $\lim\limits_{t\rightarrow +\infty }a(t) = +\infty,$ so the fluid density $\rho(t, r)$ satisfies that $\lim\limits_{t\rightarrow +\infty }\rho(t, r) = 0$.

Similar to the proof of Lemma 3.3 and Lemma 3.6, we can also get the local existence and uniqueness of the generalized Emden equation (4.2), and by Lemma 4.1, we can prove Theorem 2.6.

5.   Some examples of blow-up solutions

In this part, we consider some examples of blow-up solutions to (1.8) without $a(t)$ being the free boundary.

First of all, as in ^[23], we give the definition of a blow-up:

Definition: (Blow-up) We say a solution blows up if one of the following conditions is satisfied.

(1) The solution becomes infinitely large at some point $x$ and some finite time $T$.

(2) The derivative of the solution becomes infinitely large at some point $x$ and some finite time $T$.

In this section, we consider the forms and properties of the analytical solutions to the 2D CNS without the continuous density boundary condition. Since we remove the free boundary condition, we only consider the formal analytical solutions to the CNS.

The first result is related to the isothermal case $k > 0$, $\gamma = \varphi = 1$:

Theorem 5.1. For the 2D CNS (1.8) in the isothermal case $k > 0$, $\gamma = \varphi = 1$, there exists a family of self-similar solutions of the form

where $\alpha$ is a constant, $\xi$ is a constant that represents the strength effects of rotation, and $a(t)\in C^{2}([0, T))$ is a differential function satisfying the following generalized Emden equation:

In particular, if $a_{0} > 0$ is small enough, $\widetilde{a_{1}} < 0$, and

then there exists a $\delta > 0$, where $-\frac{a_{0}}{\widetilde{a_{1}}}\leq \delta < T$, and there exists a finite time $t_{\ast }\in [0, \delta)$ such that $a(t_{\ast }) = 0$, and then the solutions (5.1) blow up.

Proof. Similar to the proof of Lemma 4.1, denoting $z = \frac{r}{a(t)}$, we require $z = f^{\prime}(z)$ instead of (4.5), and we will obtain that (5.1)–(5.2) are self-similar solutions of the CNS.

In the following, we will prove the blow-up result. Different from the proof by the contradiction method in the references ^[19,20,23], we use a new method to prove the blow-up solutions directly by attaching conditions to the initial value of the generalized Emden equation (5.2).

Because $a(0) = a_{0} > 0$ is small enough, $a^{\prime }(0) = \widetilde{a}_{1} < 0,$ and (5.3), by the existence theorem of solutions of the ordinary differential equations and the local sign-preserving property of the continuously differentiable functions, there exists a $\delta > 0$, s.t. as $t\in [0, \delta)$, there exists a solution for the generalized Emden equation (5.2)$_{1}$, meanwhile $a^{\prime \prime }(t)$ exists in $[0, \delta)$ and $a^{\prime \prime }(t) < 0.$

Thus $a^{\prime}(t)$ monotonically decreases in $[0, \delta)$ and $a^{\prime}(t) < \widetilde{a_{1}}$, $a(t)$ also monotonically decreases, so we have that the curve $(t, a(t))$ is below the line

Note that $a^{\prime}(t)$ and $a(t)$ monotonically decrease in $[0, \delta)$, $-\frac{a_{0}}{\widetilde{a_{1}}}\leq \delta < T$, and the line equation (5.4) intersects the $t$-axis, so the point of intersection $t = -\frac{a_{0}}{\widetilde{a_{1}}}$ is in the interval $[0, \delta)$.

Therefore, the curve $(t, a(t))$ also intersects the $t$-axis and the point of intersection is in the interval $[0, \delta)$, i.e., there exists $t_{\ast }\in [0, \delta)$, such that $a(t_{\ast }) = 0$. Moreover, the solutions (5.1) blow up.

This completes the proof of Theorem 5.1. □

Similar to the results in Theorem 5.1, for the isentropic case $k > 0$, $\gamma = \varphi > 1$, we have:

Theorem 5.2. For the 2D CNS (1.8) in the isentropic case $k > 0$, $\gamma = \varphi > 1$, there exist a family of self-similar solutions of the form

where $\alpha$ is a constant, $\xi$ is a constant that represents the strength effects of rotation, and $a(t)\in C^{2}([0, T))$ is a differential function satisfying the following generalized Emden equation:

In particular, if $a_{0} > 0$ is small enough, $\widetilde{a_{1}} < 0$, and

then there exists a $\delta > 0$, where $-\frac{a_{0}}{\widetilde{a_{1}}}\leq \delta < T$, and there exists a finite time $t_{\ast }\in [0, \delta)$ such that $a(t_{\ast }) = 0$, and then the solutions (5.5) blow up.

Remark 5.3. Although the system (5.2) can be seen as a limit system of (5.6) in the sense that $\varphi\rightarrow1$, the expressions for the density in (5.1) and (5.5) are different. The properties of these equations need to be further studied.

6.   Conclusions

In this work, we establish a class of analytical, rotational, and self-similar solutions to the 2D compressible Navier-Stokes equations with density-dependent viscosity coefficients. According to the different properties of pressure and different types of fluid, we maily consider the isentropic case $k > 0, \ \gamma = \varphi > 1$ and the isothermal case $k > 0, \ \gamma = \varphi = 1$. For both of the two cases, we give the formulas of self-similar analytical solutions. Especially, for the isentropic case, we prove the well-posedness and the large time behavior for the corresponding generalized Emden equation. The result in this paper demonstrates the predominance of pressure effects relative to swirl effects. Compared with the irrotational and pressureless case, when the free boundary $a(t)$ increases linearly or sub-linearly in time, we can find some classes of solutions with linear growth by taking the pressure effect or the swirl effect into account. In this sense, rotation or pressure effects may accelerate the growth of the boundary. In the end, we give some examples of blow-up solutions, and a new direct method is adopted to prove the blow-up results.

Use of Generative-AI tools declaration

The author declares he has not used Artificial Intelligence (AI) tools in the creation of this article.

Acknowledgments

The author would like to thank the anonymous referees for their careful reading and valuable comments. The author also thanks Professor Zhengguang Guo, Professor Haibiao Zheng, and Doctor Kunquan Li for their discussion and encouragement.

Conflict of interest

The author states that there is no conflict of interest.