Open Access

The strong solutions for a class of fluid-particle interaction non-Newtonian models

Boundary Value Problems20162016:108

Received: 13 March 2016

Accepted: 27 May 2016

Published: 2 June 2016


The aim of this paper is to discuss the existence and uniqueness for a class of fluid-particle interaction non-Newtonian models which describe the evolution of particles dispersed in a viscous compressible non-Newtonian fluid. The strong nonlinearity of the system and the singularity of the viscosity term bring about difficulties. Also, we admit an initial vacuum.


strong solution fluid-particle interaction model non-Newtonian fluid vacuum

1 Introduction

In this paper, we consider the following non-Newtonian fluids system:
$$ \textstyle\begin{cases} \rho_{t}+(\rho u)_{x}=0, \\ (\rho u )_{t}+(\rho u^{2})_{x}-\lambda(|u_{x}|^{p-2}u_{x})_{x}+(P+\eta)_{x}= -(\eta +\beta\rho)\Phi_{x},\quad (x,t)\in\Omega_{T}, \\ \eta_{t}+(\eta(u-\Phi_{x}))_{x}=\eta_{xx}, \end{cases} $$
with the initial conditions
$$ (\rho,u,\eta)|_{t=0}=(\rho_{0},u_{0}, \eta_{0}), \quad x\in\Omega, $$
together with the no-slip boundary conditions for the velocity and the no-flux condition for the density of particles,
$$ u|_{\partial\Omega}=(\eta_{x}+\eta\Phi_{x})|_{\partial\Omega}=0, \quad t\in[0,T], $$
where ρ, u, η, \(P(\rho)=a\rho^{\gamma}\), \(\Phi(x)\) denote the fluid density, velocity, the density of particles in the mixture, the pressure, and the external potential, respectively, \(a>0\), \(\gamma >1\), \(\frac{4}{3}< p<2\). \(\lambda>0\) is the viscosity coefficient and \(\beta\neq0\) is a constant, Ω is a one-dimensional bounded interval, and for simplicity we only consider \(\Omega=(0,1)\), \(\Omega _{T}=\Omega\times[0,T]\).

Fluid-particle interaction models arise in a lot of industrial procedures such as the analysis of the sedimentation phenomenon. These procedures find their applications in biotechnology, medicine, mineral processing, and chemical engineering [14]. Such interaction systems are also used in combustion theory, when modeling Diesel engines or rocket propulsors [5, 6].

The coupled microscopic/macroscopic models describe the evolution of particles dispersed in a fluid. The system consists in a Vlasov-Fokker-Planck equation to describe the microscopic motion of the particles coupled to the equations for the fluid. Generally speaking, at the microscopic scale, the cloud of particles is described by its distribution function \(f(x,\xi,t)\), a solution to a Vlasov-Fokker-Planck equation. The fluid, on the other hand, is modeled by macroscopic quantities, namely its density \(\rho(x,t)\geq0\) and its velocity field \(u(x,t)\). If the fluid is compressible and isentropic, then \((\rho,u)\) solves the compressible Euler (inviscid case) or Navier-Stokes system (viscous case) of equations. With the dynamic viscosity terms taken into consideration, Carrillo et al. [7] discussed the following system:
$$ \textstyle\begin{cases} \rho_{t}+\operatorname{div}(\rho u)=0, \\ (\rho u )_{t}+\operatorname{div}(\rho u\otimes u)+\nabla(P(\rho)+\eta)-\mu\Delta u-\lambda\nabla\operatorname{div} u= -(\eta+\beta\rho)\nabla\Phi, \\ \eta_{t}+\operatorname{div}(\eta(u-\nabla\Phi))-\Delta\eta=0. \end{cases} $$
They obtained the global existence and asymptotic behavior of the weak solutions to (1.4) following the framework of Lions [8] and Feireisl et al. [9, 10]. In addition, Mellet and Vasseur [11] proved the global existence of weak solutions of equations by using the entropy method on the asymptotic regime corresponding to a strong drag force and strong Brownian motion.

In recent years, there has been an increasing recognition of the importance of non-Newtonian flow characteristics displayed by most materials encountered in everyday life, both in nature (gums, proteins, biological fluids such as blood, synovial fluid, etc.) and in technology (polymers and plastics, emulsions, slurries, etc.) (see [12]). Since there has been much research in the field of non-Newtonian flows, both theoretically and experimentally, let us briefly recall the related results in the literature. Bellout et al. [13] studied the non-Newtonian fluids for space periodic problems and showed the Young measure-valued solutions. In [14], Guo and Zhu investigated the partial regularity of the generalized solutions to the modified Navier-Stokes equations which describes the dynamics of the incompressible monopolar non-Newtonian fluids. Zhao et al. [15] constructed the trajectory attractor and global attractor for an autonomous two-dimensional non-Newtonian fluid. Yuan and Xu [16] obtained the existence and uniqueness of solutions for a class of non-Newtonian fluids with singularity and vacuum. For other results we may refer to [1723].

It is worth mentioning that most recently, Fang et al. [24] got the global existence of classical solutions of (1.4) in dimension one, namely \(p=2\) in (1.1). Compared with the work of [24], the strong nonlinearity of (1.1) brings us new difficulties in getting the upper bound of ρ, which plays an important role throughout their proof. The second equation of (1.1) is always with singularity and brings us another difficulty. Motivated by Cho et al.’s [25, 26] work on the Navier-Stokes equations, we establish local existence and uniqueness of strong solutions of (1.1).

Throughout the paper we assume that \(a=\lambda=1\) for simplicity. In the following sections, we will use simplified notations for standard Sobolev spaces and Bochner spaces, such as \(L^{p}=L^{p}(\Omega)\), \(H_{0}^{1}=H_{0}^{1}(\Omega)\), \(C([0,T];H^{1})=C([0,T];H^{1}(\Omega))\).

1.1 Main results

Theorem 1.1

Let \(\Phi\in C^{2}(\Omega)\) and assume that the initial data \((\rho_{0},u_{0},\eta_{0})\) satisfy the following conditions:
$$ 0\leq\rho_{0} \in H^{1}(\Omega), \qquad u_{0} \in H_{0}^{1}(\Omega) \cap H^{2}(\Omega),\qquad \eta_{0} \in H^{2}(\Omega), $$
and the compatibility condition
$$ \bigl(|u_{0x}|^{p-2}u_{0x} \bigr)_{x}- \bigl(P(\rho_{0})+\eta_{0} \bigr)_{x}-\eta_{0}\Phi_{x}=\rho _{0}(g+ \beta\Phi_{x}), $$
for some \(g\in L^{2}(\Omega)\). Then there exist a \(T_{*}\in(0,+\infty)\) and a unique strong solution \((\rho,u,\eta)\) to (1.1)-(1.3) such that
$$\begin{aligned}& \rho\in L^{\infty}\bigl(0,T_{*};H^{1}(\Omega) \bigr), \qquad \rho_{t} \in L^{\infty}\bigl(0,T_{*};L^{2}(\Omega) \bigr), \\& u \in L^{\infty}\bigl(0,T_{*};W_{0}^{1,p}(\Omega)\cap H^{2}(\Omega) \bigr),\qquad u_{t} \in L^{2} \bigl(0,T_{*};H_{0}^{1}(\Omega) \bigr), \\& \eta\in L^{\infty}\bigl(0,T_{*};H^{2}(\Omega) \bigr),\qquad \eta_{t}\in L^{\infty}\bigl(0,T_{*};H^{1}(\Omega) \bigr), \\& \sqrt{\rho}u_{t} \in L^{\infty}\bigl(0,T_{*};L^{2}( \Omega) \bigr),\qquad \bigl(|u_{x}|^{p-2}u_{x} \bigr)_{x}\in L^{2} \bigl(0,T_{*};L^{2}(\Omega) \bigr). \end{aligned}$$

2 A priori estimates for smooth solutions

In this section, we will prove the local existence of strong solutions. Because equation (1.1)2 always possesses a singularity, we overcome this difficulty by a regularized process, then taking the limiting process back to the original problem. First of all, we consider the following system:
$$\begin{aligned}& \rho_{t}+(\rho u)_{x}=0, \end{aligned}$$
$$\begin{aligned}& (\rho u )_{t}+ \bigl(\rho u^{2} \bigr)_{x}- \biggl[ \biggl(\frac{\varepsilon u_{x}^{2}+1}{u_{x}^{2}+\varepsilon} \biggr)^{\frac{2-p}{2}}u_{x} \biggr]_{x}+(P+\eta)_{x}= -(\eta+\beta\rho) \Phi_{x}, \end{aligned}$$
$$\begin{aligned}& \eta_{t}+ \bigl(\eta(u-\Phi_{x}) \bigr)_{x}= \eta_{xx}, \end{aligned}$$
with the initial and boundary conditions,
$$\begin{aligned}& (\rho,u,\eta)|_{t=0}=(\rho_{0},u_{0}, \eta_{0}), \quad x\in\Omega, \end{aligned}$$
$$\begin{aligned}& u|_{\partial\Omega}=(\eta_{x}+\eta\Phi_{x})|_{\partial\Omega}=0, \quad t\in [0,T], \end{aligned}$$
and \(u_{0}\in H_{0}^{1}(\Omega)\cap H^{2}(\Omega)\) is the smooth solution of the boundary value problem
$$ \textstyle\begin{cases} [ (\frac{\varepsilon u_{0x}^{2}+1}{u_{0x}^{2}+\varepsilon} )^{\frac{2-p}{2}}u_{0x} ]_{x}- (P(\rho_{0})+\eta_{0} )_{x}-\eta_{0}\Phi _{x}=\rho_{0}(g+\beta\Phi_{x}), \\ u_{0}(0)=u_{0}(1)=0. \end{cases} $$
By using the iterative method step by step, the nonlinear coupled system admits a smooth solution (see Section 3). Provided that \((\rho ,u,\eta)\) is a smooth solution of (2.1)-(2.5) and \(\rho_{0}\geq\delta\), where \(0<\delta\ll 1\) is a positive number. We denote \(M_{0}=1+ \mu_{0}+ \mu^{-1}_{0}+|\rho_{0}|_{H^{1}}+|g|_{L^{2}}\).
First we obtain the estimate of \(|u_{0xx}|_{L^{2}}\). From (2.6), we have
$$u_{0xx}= \biggl(\frac{\varepsilon u_{0x}^{2}+1}{u_{0x}^{2}+\varepsilon} \biggr)^{p\over 2} \frac{(u_{0x}^{2}+\varepsilon)^{2}[(P(\rho_{0})+\eta_{0})_{x}+\eta_{0}\Phi_{x}+\rho _{0}(g+\beta\Phi_{x})]}{(\varepsilon u_{0x}^{2}+1)(u_{0x}^{2}+\varepsilon)-(2-p)(1-\varepsilon^{2})u_{0x}^{2}}. $$
$$\begin{aligned} \vert u_{0xx}\vert _{L^{2}} \leq&\frac{1}{p-1} \biggl\vert \biggl(\frac {u_{0x}^{2}+\varepsilon}{\varepsilon u_{0x}^{2}+1} \biggr)^{1-\frac {p}{2}} \biggr\vert _{L^{\infty}} \bigl\vert \bigl(P(\rho_{0})+\eta_{0} \bigr)_{x}+\eta_{0}\Phi_{x}+\rho _{0}(g+ \beta\Phi_{x}) \bigr\vert _{L^{2}} \\ \leq&\frac{1}{p-1} \bigl(\vert u_{0x}\vert _{L^{\infty}}^{2}+1 \bigr)^{1-\frac{p}{2}} \bigl( \bigl\vert \bigl(P( \rho _{0})+\eta_{0} \bigr)_{x}+ \eta_{0} \Phi_{x}+\rho_{0}(g+\beta \Phi_{x}) \bigr\vert _{L^{2}} \bigr) \\ \leq&\frac{1}{p-1} \bigl(\vert u_{0xx}\vert _{L^{2}}^{2}+1 \bigr)^{1-\frac{p}{2}} \bigl(a\gamma \vert \rho _{0}\vert _{L^{\infty}}^{\gamma-1}\vert \rho_{0x} \vert _{L^{2}}+\vert \eta_{0x}\vert _{L^{2}}+\vert \eta _{0}\vert _{L^{\infty}} \vert \Phi_{x}\vert _{L^{2}} \\ &{} +\vert \rho_{0}\vert _{L^{\infty}} \vert g\vert _{L^{2}}+\beta \vert \rho_{0}\vert _{L^{\infty}} \vert \Phi_{x}\vert _{L^{2}} \bigr). \end{aligned}$$
Using Young’s inequality, we have
$$|u_{0xx}|_{L^{2}}\leq C, $$
where C is a positive constant, depending only on \(M_{0}\).
Next, we introduce an auxiliary function,
$$\Psi(t)=\sup_{0\leq s\leq t} \bigl(1+ \bigl\vert \rho (s) \bigr\vert _{H^{1}}+ \bigl\vert u(s) \bigr\vert _{W_{0}^{1,p}}+ \bigl\vert \sqrt {\rho}u_{t}(s) \bigr\vert _{L^{2}}+ \bigl\vert \eta _{t}(s) \bigr\vert _{L^{2}}+ \bigl\vert \eta(s) \bigr\vert _{H^{1}} \bigr). $$
Then we estimate each term of \(\Psi(t)\) in terms of some integrals of \(\Psi(t)\), apply arguments of Gronwall-type, and thus prove that \(\Psi(t)\) is locally bounded.

2.1 Estimate for \(|\rho|_{H^{1}}\)

First we need the following estimates for u and η. By virtue of (2.2)
$$\biggl[ \biggl(\frac{\varepsilon u_{x}^{2}+1}{u_{x}^{2}+\varepsilon} \biggr)^{\frac{2-p}{2}}u_{x} \biggr]_{x}=\rho u_{t}+\rho u u_{x}+(P+ \eta)_{x}+(\eta+\beta\rho)\Phi_{x}. $$
Then, we have
$$ |u_{xx}|\leq\frac{1}{p-1} \bigl(u_{x}^{2}+ \varepsilon \bigr)^{1-\frac{p}{2}} \bigl\vert \rho u_{t}+\rho u u_{x}+(P+\eta)_{x}+(\eta+\beta\rho)\Phi_{x} \bigr\vert . $$
Taking the \(L^{2}\) norm and using Young’s inequality, we get
$$\begin{aligned} \vert u_{xx}\vert _{L^{2}}^{p-1} \leq& C \bigl(1+ \vert \rho u_{t}\vert _{L^{2}}+\vert \rho u u_{x}\vert _{L^{2}}+ \bigl\vert (P+\eta)_{x} \bigr\vert _{L^{2}}+ \bigl\vert (\eta+\beta\rho)\Phi_{x} \bigr\vert _{L^{2}} \bigr) \\ \leq& C \bigl(1+\vert \rho \vert _{L^{\infty}}^{1\over 2}\vert \sqrt{ \rho}u_{t}\vert _{L^{2}}+\vert \rho \vert _{L^{\infty}} \vert u\vert _{L^{\infty}} \vert u_{x}\vert _{L^{p}}^{\frac{p}{2}}\vert u_{x}\vert _{L^{\infty}}^{1-\frac{p}{2}} \\ &{} +\vert \rho \vert _{L^{\infty}}^{\gamma-1}\vert \rho_{x}\vert _{L^{2}}+\vert \eta _{x}\vert _{L^{2}}+\vert \eta \vert _{L^{\infty}} \vert \Phi_{x} \vert _{L^{2}}+\vert \rho \vert _{L^{\infty}} \vert \Phi _{x}\vert _{L^{2}} \bigr) \\ \leq& C \bigl[1+\vert \rho \vert _{L^{\infty}}^{1\over 2}\vert \sqrt{ \rho}u_{t}\vert _{L^{2}}+ \bigl(\vert \rho \vert _{L^{\infty}} \vert u\vert _{L^{\infty}} \vert u_{x}\vert _{L^{p}}^{\frac{p}{2}} \bigr)^{\frac {2(p-1)}{3p-4}}+\vert \rho \vert _{L^{\infty}}^{\gamma-1}\vert \rho_{x}\vert _{L^{2}} \\ &{} +\vert \eta_{x}\vert _{L^{2}}+\vert \eta \vert _{L^{\infty}} \vert \Phi_{x}\vert _{L^{2}}+\vert \rho \vert _{L^{\infty}} \vert \Phi_{x}\vert _{L^{2}} \bigr]+ \frac{1}{2}\vert u_{xx}\vert _{L^{2}}^{p-1} \\ \leq& C \Psi^{\frac{(4+p)(p-1)}{3p-4}\gamma}(t)+\frac{1}{2}\vert u_{xx} \vert _{L^{2}}^{p-1}. \end{aligned}$$
Hence, we deduce that
$$ |u_{xx}|_{L^{2}}\leq C\Psi^{\frac{6\gamma}{3p-4}}(t). $$
From (2.3), taking the \(L^{2}\) norm, we get
$$\begin{aligned} \vert \eta_{xx}\vert _{L^{2}}&\leq \bigl\vert \eta_{t}+ \bigl(\eta(u-\Phi_{x}) \bigr)_{x} \bigr\vert _{L^{2}} \\ &\leq \vert \eta_{t}\vert _{L^{2}}+\vert \eta_{x}\vert _{L^{2}}\vert u\vert _{L^{\infty}}+\vert \eta_{x}\vert _{L^{2}}\vert \Phi _{x}\vert _{L^{\infty}}+\vert \eta \vert _{L^{2}}\vert u_{xx} \vert _{L^{2}}+\vert \eta \vert _{L^{\infty}} \vert \Phi _{xx}\vert _{L^{2}} \\ &\leq C\Psi^{\frac{8\gamma}{3p-4}}(t). \end{aligned}$$
Multiplying (2.1) by ρ, integrating over Ω, we have
$$ {1\over 2}\frac{\mathrm{d}}{\mathrm{d}t} \int_{\Omega}|\rho|^{2}\, {\mathrm{d}} s+ \int_{\Omega}(\rho u)_{x}\rho\, {\mathrm{d}} x=0. $$
Integrating by parts, using the Sobolev inequality, we deduce that
$$ \frac{\mathrm{d}}{\mathrm{d}t}\bigl|\rho(t)\bigr|_{L^{2}}^{2}\leq \int_{\Omega}|u_{x}||\rho|^{2}\, { \mathrm{d}}x \leq|u_{xx}|_{L^{2}}|\rho|_{L^{2}}^{2}. $$
Differentiating (1.1)1 with respect to x, and multiplying it by \(\rho_{x}\), integrating over Ω, and using the Sobolev inequality, we have
$$\begin{aligned} \frac{\mathrm{d}}{\mathrm{d}t} \int_{\Omega}|\rho_{x}|^{2}{\mathrm{d}} x=&- \int_{\Omega}\biggl[{3\over 2} u_{x}( \rho_{x})^{2}+\rho\rho_{x} u_{xx} \biggr](t){\mathrm{d}} x \\ &\leq C \bigl[|u_{x}|_{L^{\infty}}|\rho_{x}|_{L^{2}}^{2}+| \rho|_{L^{\infty}}|\rho _{x}|_{L^{2}}|u_{xx}|_{L^{2}} \bigr] \\ &\leq C|\rho|_{H^{1}}^{2}|u_{xx}|_{L^{2}}. \end{aligned}$$
From (2.10)and (2.11), by Gronwall’s inequality, it follows that
$$ \sup_{0\leq t\leq T}\bigl|\rho(t)\bigr|_{H^{1}}^{2} \leq|\rho_{0}|_{H^{1}}^{2}\exp \biggl\{ C \int _{0}^{t}|u_{xx}|_{L^{2}}\, { \mathrm{d}} s \biggr\} \leq C\exp \biggl(C \int_{0}^{t}\Psi^{\frac{6}{3p-4}\gamma}(s)\, {\mathrm{d}} s \biggr), $$
we can also get the following estimates. Using (1.1)1 we obtain
$$ \bigl\vert \rho_{t}(t) \bigr\vert _{L^{2}} \leq \bigl\vert \rho_{x}(t) \bigr\vert _{L^{2}} \bigl\vert u(t) \bigr\vert _{L^{\infty}}+ \bigl\vert \rho (t) \bigr\vert _{L^{\infty}} \bigl\vert u_{x}(t) \bigr\vert _{L^{2}}\leq C \Psi^{2}(t), $$
where C is a positive constant, depending only on \(M_{0}\).

2.2 Estimate for \(|\eta_{t}|_{L^{2}}\) and \(|\eta|_{H^{1}}\)

Multiplying (1.1)3 by η, integrating the resulting equation over \(\Omega_{T}\), using the boundary conditions (1.3) and Young’s inequality, we have
$$\begin{aligned}& \int_{0}^{t} \bigl\vert \eta_{x}(s) \bigr\vert _{L^{2}}^{2}\, {\mathrm{d}} s +\frac{1}{2} \bigl\vert \eta(t) \bigr\vert _{L^{2}}^{2} \\& \quad \leq \iint_{\Omega_{T}} \bigl(\vert \eta u\eta_{x}\vert + \vert \eta\Phi_{x}\eta_{x}\vert \bigr)\, {\mathrm{d}} x \, {\mathrm{d}} s \\& \quad \leq\frac{1}{4} \int_{0}^{t} \bigl\vert \eta_{x}(s) \bigr\vert _{L^{2}}^{2}\, {\mathrm{d}} s+C \int _{0}^{t}\vert u_{x}\vert _{L^{p}}^{2}\vert \eta \vert _{H^{1}}^{2}\, {\mathrm{d}} s+C \int_{0}^{t}\vert \eta \vert _{H^{1}}^{2}+C \\& \quad \leq\frac{1}{4} \int_{0}^{t} \bigl\vert \eta_{x}(s) \bigr\vert _{L^{2}}^{2}\, {\mathrm{d}} s+C \biggl(1+ \int_{0}^{t}\Psi ^{4}(t)\, {\mathrm{d}} s \biggr). \end{aligned}$$
Multiplying (1.1)3 by \(\eta_{t}\), integrating (by parts) over \(\Omega_{T}\), using the boundary conditions (1.3) and Young’s inequality, we have
$$\begin{aligned}& \int_{0}^{t} \bigl\vert \eta_{t}(s) \bigr\vert _{L^{2}}^{2}\,{\mathrm{d}} s +\frac{1}{2} \bigl\vert \eta _{x}(t) \bigr\vert _{L^{2}}^{2} \\& \quad \leq \iint_{\Omega_{T}} \bigl\vert \eta(u-\Phi_{x}) \eta_{xt} \bigr\vert \,{\mathrm{d}} x\,{\mathrm{d}} s \\& \quad \leq\frac{1}{4} \int_{0}^{t} \bigl\vert \eta_{xt}(s) \bigr\vert _{L^{2}}^{2}\,{\mathrm{d}} s+C \int_{0}^{t}\vert \eta \vert _{H^{1}}^{2} \vert u_{x}\vert _{L^{p}}^{2}\,{\mathrm{d}} s+C \int_{0}^{t}\vert \eta \vert _{H^{1}}^{2} \,{\mathrm{d}} s+C \\& \quad \leq\frac{1}{4} \int_{0}^{t} \bigl\vert \eta_{xt}(s) \bigr\vert _{L^{2}}^{2}\,{\mathrm{d}} s+C \biggl(1+ \int _{0}^{t}\Psi^{4}(t)\,{\mathrm{d}} s \biggr). \end{aligned}$$
Differentiating (1.1)3 with respect to t, multiplying the resulting equation by \(\eta_{t}\), integrating (by parts) over \(\Omega_{T}\), we get
$$\begin{aligned}& \int_{0}^{t} \bigl\vert \eta_{xt}(s) \bigr\vert _{L^{2}}^{2}\,{\mathrm{d}} s +\frac{1}{2} \bigl\vert \eta _{t}(t) \bigr\vert _{L^{2}}^{2} \\& \quad = \iint_{\Omega_{T}} \bigl(\eta(u-\Phi_{x}) \bigr)_{t} \eta_{xt}\,{\mathrm{d}} x\,{\mathrm{d}} s \\& \quad \leq C+ \iint_{\Omega_{T}} \bigl(\vert \eta_{t} u \eta_{xt} \vert +\vert \eta_{t}\Phi_{x}\eta _{xt}\vert +\vert \eta_{x} u_{t} \eta_{t}\vert +\vert \eta u_{xt}\eta_{t}\vert \bigr)\,{\mathrm{d}} x\,{ \mathrm{d}} s \\& \quad \leq C \biggl(1+ \int_{0}^{t} \bigl(\vert \eta_{t}\vert _{L^{2}}^{2}\vert u_{x}\vert _{L^{p}}^{2}+ \vert \eta _{t}\vert _{L^{2}}^{2}+\vert \eta_{x}\vert _{L^{2}}^{2}\vert \eta_{t} \vert _{L^{2}}^{2}+\vert \eta \vert _{H^{1}}^{2} \vert \eta _{t}\vert _{L^{2}}^{2} \bigr)\,{ \mathrm{d}} x \biggr) \\& \qquad {} +\frac{1}{2} \int_{0}^{t}\vert \eta_{xt}\vert _{L^{2}}^{2}+\frac{1}{2} \int _{0}^{t}\vert u_{xt}\vert _{L^{2}}^{2} \\& \quad \leq C \biggl(1+ \int_{0}^{t} \Psi^{4}(s)\,{\mathrm{d}} s \biggr). \end{aligned}$$
Combining (2.14)-(2.16) and (2.28), we get
$$ |\eta|_{H^{1}}^{2}+|\eta_{t}|_{L^{2}}^{2}+ \int_{0}^{t} \bigl(|\eta_{x}|_{L^{2}}^{2}+| \eta _{t}|_{L^{2}}^{2}+|\eta_{xt}|_{L^{2}}^{2} \bigr) (s)\,{\mathrm{d}} s\leq C \biggl(1+ \int_{0}^{t} \Psi ^{4}(s)\,{\mathrm{d}} s \biggr). $$

2.3 Estimate for \(|u|_{W_{0}^{1,p}}\)

Using (2.1), we rewrite (2.1) as
$$ \rho u_{t}+\rho u u_{x}- \biggl[ \biggl( \frac{\varepsilon u_{x}^{2}+1}{u_{x}^{2}+\varepsilon} \biggr)^{\frac{2-p}{2}}u_{x} \biggr]_{x}+(P+ \eta )_{x}=-(\eta+\beta\rho)\Phi_{x}. $$
Multiplying (2.18) by \(u_{t}\), integrating (by parts) over \(\Omega _{T}\), we have
$$\begin{aligned}& \iint_{\Omega_{T}}\rho|u_{t}|^{2}\,{\mathrm{d}} x \,{\mathrm{d}} s + \iint_{\Omega_{T}} \biggl(\frac{\varepsilon u_{x}^{2}+1}{u_{x}^{2}+\varepsilon} \biggr)^{\frac{2-p}{2}}u_{x} u_{xt}\,{\mathrm{d}} x\,{\mathrm{d}} s \\& \quad =- \iint_{\Omega_{T}} \bigl(\rho uu_{x}+P_{x}+ \eta_{x}+(\eta+\beta\rho)\Phi_{x} \bigr)u_{t}\,{ \mathrm{d}} x\,{\mathrm{d}} s. \end{aligned}$$
We deal with each term as follows:
$$\begin{aligned}& \int_{\Omega}\biggl(\frac{\varepsilon u_{x}^{2}+1}{u_{x}^{2}+\varepsilon} \biggr)^{\frac{2-p}{2}}u_{x} u_{xt}\,{\mathrm{d}}x =\frac{1}{2} \int_{\Omega}\biggl(\frac {\varepsilon u_{x}^{2}+1}{u_{x}^{2}+\varepsilon} \biggr)^{\frac {2-p}{2}} \bigl(u_{x}^{2} \bigr)_{t}\,{\mathrm{d}}x \\& \hphantom{\int_{\Omega}\biggl(\frac{\varepsilon u_{x}^{2}+1}{u_{x}^{2}+\varepsilon} \biggr)^{\frac{2-p}{2}}u_{x} u_{xt}\,{\mathrm{d}}x} =\frac{1}{2}\frac{\mathrm{d}}{\mathrm{d}t} \int_{\Omega}\biggl( \int_{0}^{u_{x}^{2}} \biggl(\frac{\varepsilon s+1}{s+\varepsilon} \biggr)^{\frac{2-p}{2}}\,{\mathrm{d}} s \biggr)\,{\mathrm{d}} x, \\& \int_{0}^{u_{x}^{2}} \biggl(\frac{\varepsilon s+1}{s+\varepsilon} \biggr)^{\frac{2-p}{2}}\,{\mathrm{d}} s\geq \int_{0}^{u_{x}^{2}}(s+1)^{\frac{2-p}{2}}\,{\mathrm{d}} s= \frac{2}{p} \bigl[ \bigl(u_{x}^{2}+1 \bigr)^{\frac{p}{2}}-1 \bigr], \\& - \iint_{\Omega_{T}}P_{x}u_{t}\,{\mathrm{d}} x\,{ \mathrm{d}} s= \iint_{\Omega_{T}}P u_{xt}\,{\mathrm{d}} x\,{\mathrm{d}} s= \frac{\mathrm{d}}{\mathrm{d}t} \iint_{\Omega_{T}}P u_{x}\,{\mathrm{d}} x\,{\mathrm{d}} s- \iint_{\Omega_{T}}P_{t} u_{x}\,{\mathrm{d}} x\,{ \mathrm{d}} s. \end{aligned}$$
From (1.1)1 we have
$$\begin{aligned}& P_{t}=-\gamma P u_{x}-P_{x} u, \\& - \iint_{\Omega_{T}}\eta\Phi_{x} u_{t}\,{\mathrm{d}} x\,{\mathrm{d}} s=-\frac{\mathrm{d}}{\mathrm{d}t} \iint_{\Omega_{T}}\eta\Phi_{x} u\,{\mathrm{d}} x\,{ \mathrm{d}} s+ \iint_{\Omega_{T}}\eta_{t} \Phi_{x} u\,{ \mathrm{d}} x\,{\mathrm{d}} s. \end{aligned}$$
Substituting the above into (2.19), using the Sobolev inequality and Young’s inequality, we obtain
$$\begin{aligned}& \int_{0}^{t} \bigl\vert \sqrt{\rho}u_{t}(s) \bigr\vert _{L^{2}}^{2}\,{\mathrm{d}} s+ \bigl\vert u_{x}(t) \bigr\vert _{L^{p}}^{p} \\& \quad \leq \iint_{\Omega_{T}} \bigl(\vert \rho uu_{x} u_{t} \vert + \bigl\vert \gamma P u_{x}^{2} \bigr\vert + \vert P_{x} u u_{x}\vert +\vert \eta_{t} u_{x}\vert +\vert \eta_{t}\Phi_{x} u\vert + \vert \beta\rho\Phi_{x} u_{t}\vert \bigr)\,{\mathrm{d}} x \,{\mathrm{d}} s \\& \qquad {} + \int_{\Omega}\bigl(\vert P u_{x}\vert +\vert \eta u_{x}\vert +\vert \eta\Phi_{x} u\vert \bigr)\,{ \mathrm{d}} x +C \\& \quad \leq C+ \int_{0}^{t} \bigl(\vert \rho \vert _{L^{2}} \vert u\vert _{L^{\infty}} \vert u_{x}\vert _{L^{p}}^{\frac {p}{2}}\vert u_{x}\vert _{L^{\infty}}^{1-\frac{p}{2}}\vert u_{t}\vert _{L^{\infty}}+ \gamma \vert P\vert _{L^{2}}\vert u_{x}\vert _{L^{p}}^{\frac{p}{2}}\vert u_{x}\vert _{L^{\infty}}^{1-\frac {p}{2}}\vert u_{xx}\vert _{L^{2}} \\& \qquad {} +a\gamma \vert \rho \vert _{L^{\infty}}^{\gamma-1}\vert \rho _{x}\vert _{L^{2}}\vert u_{x}\vert _{L^{p}}\vert u_{xx}\vert _{L^{2}}+\vert \eta_{t}\vert _{L^{2}}\vert u_{x}\vert _{L^{p}}^{\frac {p}{2}}\vert u_{x}\vert _{L^{\infty}}^{1-\frac{p}{2}}+\vert \eta_{t}\vert _{L^{2}} \vert \Phi _{x}\vert _{L^{2}}\vert u\vert _{L^{\infty}} \\& \qquad {} +\beta \vert \rho \vert _{L^{\infty}}^{\frac{1}{2}}\vert \Phi_{x}\vert _{L^{2}}\vert \sqrt{\rho}u_{t}\vert _{L^{2}} \bigr)\,{\mathrm{d}} s+\vert P\vert _{L^{\frac{p}{p-1}}}\vert u_{x}\vert _{L^{p}}+\vert \eta \vert _{L^{\frac {p}{p-1}}} \vert u_{x}\vert _{L^{p}}+\vert \eta \vert _{L^{\frac{p}{p-1}}}\vert \Phi _{x}\vert _{L^{p}}\vert u \vert _{L^{\infty}} \\& \quad \leq C \biggl(1+ \int_{0}^{t} \bigl(\vert \rho \vert _{L^{2}}^{2}\vert u_{x}\vert _{L^{p}}^{2+p} \vert u_{xx}\vert _{L^{2}}^{2-p}+\vert P\vert _{L^{\infty}} \vert u_{x}\vert _{L^{p}}^{\frac{p}{2}} \vert u_{xx}\vert _{L^{2}}^{2-\frac{p}{2}} \\& \qquad {} +\vert \rho \vert _{L^{\infty}}^{\gamma-1}\vert \rho _{x}\vert _{L^{2}}\vert u_{x}\vert _{L^{p}}\vert u_{xx}\vert _{L^{2}}+\vert \eta_{t}\vert _{L^{2}}\vert u_{x}\vert _{L^{p}}^{\frac {p}{2}}\vert u_{xx}\vert _{L^{2}}^{1-\frac{p}{2}}+\vert \eta_{t}\vert _{L^{2}} \vert u_{x}\vert _{L^{p}}+\vert \rho \vert _{L^{\infty}} \bigr)\,{\mathrm{d}} s \biggr) \\& \qquad {} +\vert P\vert _{L^{\frac{p}{p-1}}}^{\frac{p}{p-1}}+\vert \eta \vert _{L^{\frac {p}{p-1}}}^{\frac{p}{p-1}}+\frac{1}{2} \int_{0}^{t} \bigl\vert \sqrt{\rho }u_{t}(s) \bigr\vert _{L^{2}}^{2}\,{\mathrm{d}} s+ \frac{1}{2} \bigl\vert u_{x}(t) \bigr\vert _{L^{p}}^{p}. \end{aligned}$$
To estimate (2.21), combining (2.20) we have the following estimates:
$$\begin{aligned} \int_{\Omega}\bigl\vert P(t) \bigr\vert ^{\frac{p}{p-1}}\,{ \mathrm{d}} x&= \int_{\Omega}\bigl\vert P(0) \bigr\vert ^{\frac {p}{p-1}}\,{ \mathrm{d}} x+ \int_{0}^{t}\frac{\partial}{\partial s} \biggl( \int_{\Omega}P(s)^{\frac{p}{p-1}}\,{\mathrm{d}} x \biggr)\,{ \mathrm{d}} s \\ &\leq \int_{\Omega}\bigl\vert P(0) \bigr\vert ^{\frac{p}{p-1}}\,{ \mathrm{d}} x+{\frac{p}{p-1}} \int _{0}^{t} \int_{\Omega}a\gamma\rho^{\gamma-1} P(s)^{\frac{p}{p-1}}(- \rho_{x} u-\rho u_{x})\,{\mathrm{d}} x\,{\mathrm{d}} s \\ &\leq C+C \int_{0}^{t}\vert \rho \vert _{L^{\infty}}^{\gamma-1} \vert P\vert _{L^{\infty}}^{\frac {p}{p-1}}\vert \rho \vert _{H^{1}} \vert u_{x}\vert _{L^{p}}\,{\mathrm{d}} s \\ &\leq C \biggl(1+ \int_{0}^{t}\Psi^{{\frac{1}{p-1}}+\gamma+1}(s)\,{\mathrm{d}} s \biggr), \end{aligned}$$
following the same method, we get
$$ \int_{\Omega}\bigl\vert \eta(t) \bigr\vert ^{\frac{p}{p-1}}\,{ \mathrm{d}} x\leq C \biggl(1+ \int_{0}^{t}\Psi ^{\frac{1}{p-1}+1}(s)\,{\mathrm{d}} s \biggr). $$
Combining (2.21)-(2.23) yields
$$ \int_{0}^{t} \bigl\vert \sqrt{\rho}u_{t}(s) \bigr\vert _{L^{2}}^{2}(s)\,{\mathrm{d}} s+ \bigl\vert u_{x}(t) \bigr\vert _{L^{p}}^{p}\leq C \biggl(1+ \int_{0}^{t}\Psi^{\frac{18\gamma}{3p-4}}(s)\,{\mathrm{d}} s \biggr), $$
where C is a positive constant, depending only on \(M_{0}\).

2.4 Estimate for \(|\sqrt{\rho}u_{t}|_{L^{2}}\)

Differentiating (1.1)2 with respect to t, we get
$$\begin{aligned}& \rho u_{tt}+\rho uu_{xt}+\rho_{t} u_{t}+ \rho_{t} u u_{x}+\rho u_{t} u_{x}+(P+ \eta)_{xt} \\& \quad = \biggl[ \biggl(\frac{\varepsilon u_{x}^{2}+1}{u_{x}^{2}+\varepsilon} \biggr)^{\frac{2-p}{2}}u_{x} \biggr]_{xt}-(\eta _{t}+\beta\rho_{t}) \Phi_{x}. \end{aligned}$$
Multiplying the result equation by \(u_{t}\), integrating over Ω, we derive
$$\begin{aligned}& {1\over 2}\frac{\mathrm{d}}{\mathrm{d}t} \int_{\Omega}\rho|u_{t}|^{2}\,{\mathrm{d}} x + \int_{\Omega}\biggl[ \biggl(\frac{\varepsilon u_{x}^{2}+1}{u_{x}^{2}+\varepsilon} \biggr)^{\frac {2-p}{2}}u_{x} \biggr]_{t} u_{xt}\,{ \mathrm{d}} x \\& \quad = \int_{\Omega}\bigl[(\rho u)_{x} \bigl(u_{t}^{2}+u u_{x} u_{t} \bigr)-(P+\eta)_{t} u_{xt}-( \eta _{t}+\beta\rho_{t})\Phi_{x} u_{t} \bigr]\,{\mathrm{d}} x. \end{aligned}$$
Note that
$$\begin{aligned}& \int_{\Omega}\biggl[ \biggl(\frac{\varepsilon u_{x}^{2}+1}{u_{x}^{2}+\varepsilon} \biggr)^{\frac{2-p}{2}}u_{x} \biggr]_{t} u_{xt}\,{ \mathrm{d}}x \\& \quad = \int_{\Omega}\biggl[ \biggl(\frac{\varepsilon u_{x}^{2}+1}{u_{x}^{2}+\varepsilon } \biggr)^{-\frac{p}{2}}u_{x} \biggr]\frac{(\varepsilon u_{x}^{2}+1)(u_{x}^{2}+\varepsilon)-(2-p)(1-\varepsilon ^{2})u_{x}^{2}}{(u_{x}^{2}+\varepsilon)^{2}}u_{xt}^{2} \,{\mathrm{d}}x \\& \quad \geq(p-1) \int_{\Omega}\bigl(u_{x}^{2}+1 \bigr)^{\frac{p-2}{2}}|u_{xt}|^{2} \,{\mathrm{d}} x. \end{aligned}$$
$$\zeta= \bigl(u_{x}^{2}+1 \bigr)^{\frac{p-2}{4}}, $$
from (2.8), it follows that
$$\bigl\vert \zeta^{-1} \bigr\vert _{L^{\infty}}= \bigl\vert \bigl(u_{x}^{2}+1 \bigr)^{\frac{2-p}{4}} \bigr\vert _{L^{\infty}}\leq C \bigl(\vert u_{xx}\vert _{L^{2}}^{\frac{2-p}{2}}+1 \bigr)\leq C\Psi^{\frac{3\gamma}{3p-4}}(t). $$
Combining (2.20), (2.25) can be rewritten as
$$\begin{aligned}& \frac{\mathrm{d}}{\mathrm{d}t} \int_{\Omega}\rho|u_{t}|^{2}\,{\mathrm{d}} x+ \int_{\Omega}|u_{xt}|^{2}\,{\mathrm{d}} x \\& \quad \leq2 \int_{\Omega}\rho|u||u_{t}||u_{xt}|\,{ \mathrm{d}} x+ \int_{\Omega}|\rho _{x}||u|^{2}|u_{x}||u_{t}| \,{\mathrm{d}} x+ \int_{\Omega}\rho|u||u_{x}|^{2}|u_{t}| \,{\mathrm{d}} x \\& \qquad {} + \int_{\Omega}\gamma P|u_{x}||u_{xt}|\,{ \mathrm{d}} x+ \int_{\Omega}|P_{x}||u||u_{xt}|\,{ \mathrm{d}} x+ \int_{\Omega}|\eta_{t}||\Phi_{x}||u_{t}| \,{\mathrm{d}} x \\& \qquad {} + \int_{\Omega}|\beta\rho_{x}||u||\Phi_{x}||u_{t}| \,{\mathrm{d}} x+ \int_{\Omega}|\beta\rho||u_{x}||\Phi_{x}||u_{t}| \,{\mathrm{d}} x=\sum_{j=1}^{8}I_{j}. \end{aligned}$$
Using the Sobolev inequality, Young’s inequality, (1.1)2, (2.8), and (2.9), we obtain
$$\begin{aligned}& I_{1}\leq2\vert \rho \vert _{L^{\infty}}^{1\over 2}\vert u \vert _{L^{\infty}} \vert \sqrt{\rho}u_{t}\vert _{L^{2}} \vert \zeta u_{xt}\vert _{L^{2}} \bigl\vert \zeta^{-1} \bigr\vert _{L^{\infty}}\leq C\Psi^{\frac {8\gamma}{3p-4}}(t)+ \frac{1}{8}\vert u_{xt}\vert _{L^{2}}^{2}, \\& I_{2}\leq \vert \rho_{x}\vert _{L^{2}}\vert u \vert _{L^{\infty}}^{2}\vert u_{x}\vert _{L^{p}}\vert u_{x}\vert _{L^{\infty}}^{1-\frac{p}{2}} \vert u_{t}\vert _{L^{\infty}}\leq \vert \rho _{x} \vert _{L^{2}}\vert u_{x}\vert _{L^{p}}^{3} \vert u_{xx}\vert _{L^{2}}^{1-\frac{p}{2}}\vert \zeta u_{xt}\vert _{L^{2}} \bigl\vert \zeta^{-1} \bigr\vert _{L^{\infty}} \\& \hphantom{I_{2}}\leq C\Psi^{\frac{12\gamma}{3p-4}}(t)+\frac {1}{8}\vert u_{xt}\vert _{L^{2}}^{2}, \\& I_{3}\leq \vert \rho \vert _{L^{\frac{p}{p-1}}}\vert u\vert _{L^{\infty}} \vert u_{x}\vert _{L^{p}}\vert u_{x}\vert _{L^{\infty}} \vert u_{t}\vert _{L^{\infty}}\leq \vert \rho \vert _{L^{\infty}} \vert u_{x} \vert _{L^{p}}^{2}\vert u_{xx}\vert _{L^{2}}\vert \zeta u_{xt}\vert _{L^{2}} \bigl\vert \zeta^{-1} \bigr\vert _{L^{\infty}} \\& \hphantom{I_{3}}\leq C\Psi^{\frac{15\gamma}{3p-4}}(t)+\frac {1}{8}\vert u_{xt}\vert _{L^{2}}^{2}, \\& I_{4}\leq C\vert P\vert _{L^{2}}\vert u_{x} \vert _{L^{\infty}} \vert \zeta u_{xt}\vert _{L^{2}} \bigl\vert \zeta ^{-1} \bigr\vert _{L^{\infty}}\leq C \Psi^{\frac{7\gamma}{3p-4}}(t)+\frac {1}{8}\vert u_{xt}\vert _{L^{2}}^{2}, \\& I_{5}\leq \vert P_{x}\vert _{L^{2}}\vert u \vert _{L^{\infty}} \vert \zeta u_{xt}\vert _{L^{2}} \bigl\vert \zeta ^{-1} \bigr\vert _{L^{\infty}}\leq C \Psi^{\frac{7\gamma}{3p-4}}(t)+\frac {1}{8}\vert u_{xt}\vert _{L^{2}}^{2}, \\& I_{6}\leq \vert \eta_{t}\vert _{L^{2}}\vert \Phi_{x}\vert _{L^{2}}\vert u_{t}\vert _{L^{\infty}}\leq C\vert \eta _{t}\vert _{L^{2}}\vert \zeta u_{xt}\vert _{L^{2}} \bigl\vert \zeta^{-1} \bigr\vert _{L^{\infty}}\leq C\Psi^{\frac {11\gamma}{3p-4}}(t)+\frac{1}{8}\vert u_{xt}\vert _{L^{2}}^{2}, \\& I_{7}\leq\beta \vert \rho_{x}\vert _{L^{2}} \vert u\vert _{L^{\infty}} \vert \Phi_{x}\vert _{L^{2}} \vert u_{t}\vert _{L^{\infty}}\leq C\vert \rho_{x} \vert _{L^{2}}\vert u_{x}\vert _{L^{p}}\vert \zeta u_{xt}\vert _{L^{2}} \bigl\vert \zeta ^{-1} \bigr\vert _{L^{\infty}} \\& \hphantom{I_{7}}\leq C\Psi^{\frac{9\gamma}{3p-4}}(t)+\frac {1}{8}\vert u_{xt}\vert _{L^{2}}^{2}, \\& I_{8}\leq\beta \vert \rho \vert _{L^{2}}\vert u_{x}\vert _{L^{\infty}} \vert \Phi_{x}\vert _{L^{2}}\vert u_{t}\vert _{L^{\infty}}\leq C\vert \rho \vert _{L^{2}}\vert u_{xx}\vert _{L^{2}}\vert \zeta u_{xt}\vert _{L^{2}} \bigl\vert \zeta ^{-1} \bigr\vert _{L^{\infty}} \\& \hphantom{I_{8}}\leq C\Psi^{\frac{11\gamma}{3p-4}}(t)+\frac {1}{8}\vert u_{xt}\vert _{L^{2}}^{2}. \end{aligned}$$
Substituting \(I_{j}\) (\(j=1,2,\ldots,8\)) into (2.26), and integrating over \((\tau,t)\subset(0,T)\) over the time variable, we have
$$ \bigl\vert \sqrt{\rho}u_{t}(t) \bigr\vert _{L^{2}}^{2}+ \int_{0}^{t}\vert u_{xt}\vert _{L^{2}}^{2}(s)\,{\mathrm{d}} s\leq \bigl\vert \sqrt{ \rho}u_{t}(\tau) \bigr\vert _{L^{2}}^{2}+ \int_{0}^{t}\Psi^{\frac{15\gamma }{3p-4}}(s)\,{\mathrm{d}} s. $$
To obtain the estimate of \(|\sqrt{\rho}u_{t}(t)|_{L^{2}}^{2}\), we need to estimate \(\lim_{\tau\rightarrow 0}|\sqrt{\rho}u_{t}(\tau)|_{L^{2}}^{2}\). Multiplying (2.18) by \(u_{t}\) and integrating over Ω, we get
$$\begin{aligned} \begin{aligned} &\int_{\Omega}\rho \vert u_{t}\vert ^{2}\,{ \mathrm{d}} x \\ &\quad \leq 2 \int_{\Omega}\biggl(\rho \vert u\vert ^{2}\vert u_{x}\vert ^{2}+\beta^{2}\rho \vert \Phi_{x}\vert ^{2}+\rho^{-1} \biggl\vert \biggl[ \biggl(\frac{\varepsilon u_{x}^{2}+1}{u_{x}^{2}+\varepsilon} \biggr)^{\frac{2-p}{2}}u_{x} \biggr]_{x}+(P+\eta)_{x}+\eta\Phi _{x} \biggr\vert ^{2} \biggr)\,{\mathrm{d}}x. \end{aligned} \end{aligned}$$
According to the smoothness of \((\rho,u,\eta)\), we obtain
$$\begin{aligned}& \lim_{\tau\rightarrow0} \int_{\Omega}\biggl(\rho \vert u\vert ^{2}\vert u_{x}\vert ^{2}+\beta^{2}\rho \vert \Phi_{x}\vert ^{2}+\rho^{-1} \biggl\vert \biggl[ \biggl(\frac{\varepsilon u_{x}^{2}+1}{u_{x}^{2}+\varepsilon } \biggr)^{\frac{2-p}{2}}u_{x} \biggr]_{x}+(P+\eta)_{x}+\eta\Phi_{x} \biggr\vert ^{2} \biggr)\,{\mathrm{d}}x \\& \quad = \int_{\Omega}\biggl(\rho \vert u_{0}\vert ^{2}\vert u_{0x}\vert ^{2}+\beta^{2} \rho_{0}\vert \Phi_{x}\vert ^{2} \\& \qquad {}+\rho _{0}^{-1} \biggl\vert \biggl[ \biggl(\frac{\varepsilon u_{0x}^{2}+1}{u_{0x}^{2}+\varepsilon } \biggr)^{\frac{2-p}{2}}u_{0x} \biggr]_{x}+(P_{0}+ \eta_{0})_{x}+\eta_{0}\Phi_{x} \biggr\vert ^{2} \biggr)\,{\mathrm{d}}x \\& \quad \leq \vert \rho_{0}\vert _{L^{\infty}} \vert u_{0}\vert _{L^{\infty}}^{2}\vert u_{0x} \vert _{L^{2}}^{2}+\beta^{2}\vert \rho _{0}\vert _{L^{\infty}} \vert \Phi_{x}\vert ^{2}+\vert g\vert _{L^{2}}^{2}+\beta \vert \Phi_{x}\vert _{L^{2}}^{2}\leq C. \end{aligned}$$
Therefore, taking the limit on τ in (2.27), as \(\tau\rightarrow0\), we conclude that
$$ \bigl\vert \sqrt{\rho}u_{t}(t) \bigr\vert _{L^{2}}^{2}+ \int_{0}^{t}\vert u_{xt}\vert _{L^{2}}^{2}(s)\,{\mathrm{d}} s\leq C \biggl(1+ \int_{0}^{t}\Psi^{\frac{15\gamma}{3p-4}}(s)\,{\mathrm{d}} s \biggr), $$
where C is a positive constant, depending only on \(M_{0}\).
Combining the estimates of (2.8), (2.9), (2.12), (2.13), (2.17), (2.24), (2.28), and the definition of \(\Psi(t)\), we conclude that
$$ \Psi(t)\leq C\exp \biggl(\tilde{C} \int_{0}^{t}\Psi^{\frac{18\gamma}{3p-4}}(s) \,{\mathrm{d}} s \biggr), $$
where C, are positive constant, depending only on \(M_{0}\). This means that there exist a time \(T_{1}>0\) and a constant C, such that
$$\begin{aligned}& \operatorname{ess}\sup_{0\leq t\leq T_{1}} \bigl(\vert \rho \vert _{H^{1}}+|u|_{W_{0}^{1,p} \cap H^{2}}+|\eta|_{H^{2}}+| \eta_{t}|_{L^{2}}+|\sqrt{\rho}u_{t}|_{L^{2}}+| \rho _{t}|_{L^{2}} \bigr) \\& \quad {}+ \int_{0}^{T_{1}} \bigl(|\sqrt{\rho}u_{t}|_{L^{2}}^{2}+|u_{xt}|_{L^{2}}^{2}+| \eta _{x}|_{L^{2}}^{2}+|\eta_{t}|_{L^{2}}^{2}+| \eta_{xt}|_{L^{2}}^{2} \bigr) \,{\mathrm{d}} s\leq C, \end{aligned}$$
where C is a positive constant, depending only on \(M_{0}\).

3 Proof of the main theorem

In this section, the existence of strong solutions can be established by a standard argument, we construct the approximate solutions by using the iterative scheme, derive uniform bounds and thus obtain solutions of the original problem by passing to the limit. Our proof will be based on the usual iteration argument and some ideas developed in [25, 26]. Precisely, we first define \(u^{0}=0\) and assuming that \(u^{k-1}\) was defined for \(k\geq1\), let \(\rho^{k}\), \(u^{k}\), \(\eta^{k}\) be the unique smooth solution to the following problems:
$$\begin{aligned}& \rho_{t}^{k}+\rho_{x}^{k} u^{k-1}+\rho^{k} u_{x}^{k-1}=0, \end{aligned}$$
$$\begin{aligned}& \rho^{k} u_{t}^{k}+\rho^{k} u^{k-1} u_{x}^{k}+L_{p} u^{k}+P_{x}^{k}+\eta_{x}^{k}=- \bigl(\eta ^{k}+\beta\rho^{k} \bigr)\Phi_{x}, \end{aligned}$$
$$\begin{aligned}& \eta_{t}^{k}+ \bigl(\eta^{k} \bigl(u^{k-1}- \Phi_{x} \bigr) \bigr)_{x}=\eta_{xx}^{k}, \end{aligned}$$
with the initial and boundary conditions
$$\begin{aligned}& \bigl(\rho^{k},u^{k},\eta^{k} \bigr)|_{t=0}=( \rho_{0},u_{0},\eta_{0}), \end{aligned}$$
$$\begin{aligned}& u^{k}|_{\partial\Omega}= \bigl(\eta_{x}^{k}+ \eta^{k}\Phi_{x} \bigr)|_{\partial\Omega}=0, \end{aligned}$$
$$L_{p} u^{k}=- \biggl[ \biggl(\frac{\varepsilon(u_{x}^{k})^{2}+1}{(u_{x}^{k})^{2}+\varepsilon } \biggr)^{\frac{2-p}{2}}u_{x}^{k} \biggr]_{x}. $$
With the process, the nonlinear coupled system has been reduced to a sequence of decoupled problems and each problem admits a smooth solution. The following estimates hold:
$$\begin{aligned}& \operatorname{ess}\sup_{0\leq t\leq T_{1}} \bigl( \bigl\vert \rho ^{k} \bigr\vert _{H^{1}}+ \bigl\vert u^{k} \bigr\vert _{W_{0}^{1,p} \cap H^{2}}+ \bigl\vert \eta^{k} \bigr\vert _{H^{2}}+ \bigl\vert \eta _{t}^{k} \bigr\vert _{L^{2}}+ \bigl\vert \sqrt{\rho^{k}}u_{t}^{k} \bigr\vert _{L^{2}}+ \bigl\vert \rho_{t}^{k} \bigr\vert _{L^{2}} \bigr) \\& \quad {} + \int_{0}^{T_{1}} \bigl( \bigl\vert \sqrt{ \rho^{k}} u_{t}^{k} \bigr\vert _{L^{2}}^{2}+ \bigl\vert u_{xt}^{k} \bigr\vert _{L^{2}}^{2}+ \bigl\vert \eta _{x}^{k} \bigr\vert _{L^{2}}^{2}+ \bigl\vert \eta_{t}^{k} \bigr\vert _{L^{2}}^{2}+ \bigl\vert \eta_{xt}^{k} \bigr\vert _{L^{2}}^{2} \bigr) \,{\mathrm{d}} s\leq C, \end{aligned}$$
where C is a generic constant depending only on \(M_{0}\), but independent of k.
In addition, we first find \(\rho^{k}\) from the initial problem
$$\rho_{t}^{k}+u^{k-1}\rho_{x}^{k}+u_{x}^{k-1} \rho^{k}=0\quad \mbox{and}\quad \rho^{k}|_{t=0}= \rho_{0}, $$
with smooth function \(u^{k-1}\), obviously, there is a unique solution \(\rho^{k}\) on the above problem and also by a standard argument, we obtain
$$\rho^{k}(x,t)\geq\delta\exp \biggl[- \int_{0}^{T_{1}} \bigl\vert u_{x}^{k-1}( \cdot,s) \bigr\vert _{L^{\infty}}\,{\mathrm{d}} s \biggr]>0,\quad \mbox{for all } t\in(0,T_{1}). $$
Next, we will prove that the approximate solution \((\rho^{k},u^{k},\eta^{k})\) converges to a limit \((\rho^{\varepsilon},u^{\varepsilon},\eta^{\varepsilon})\) in a strong sense. To this end, let us define
$$\bar{\rho}^{k+1}=\rho^{k+1}-\rho^{k},\qquad \bar{u}^{k+1}=u^{k+1}-u^{k}, \qquad \bar{ \eta}^{k+1}=\eta^{k+1}-\eta^{k}, $$
then we easily verify that the functions \(\bar{\rho}^{k+1}\), \(\bar{u}^{k+1}\), \(\bar{\eta}^{k+1}\) satisfy the system of equations
$$\begin{aligned}& \bar{\rho}_{t}^{k+1}+ \bigl(\bar{\rho}^{k+1}u^{k} \bigr)_{x}+ \bigl(\rho^{k}\bar{u}^{k} \bigr)_{x}=0, \end{aligned}$$
$$\begin{aligned}& \rho^{k+1}\bar{u}_{t}^{k+1}+\rho^{k+1}u^{k} \bar{u}_{x}^{k+1}+ \bigl(L_{p} u^{k+1}-L_{p} u^{k} \bigr) \\& \quad =-\bar{\rho}^{k+1} u_{t}^{k}- \rho^{k}\bar{u}^{k} u_{x}^{k} -\bar{ \rho}^{k+1} u^{k} u_{x}^{k}- \bigl(P_{x}^{k+1}-P_{x}^{k} \bigr)-\bar{ \eta} _{x}^{k+1}- \bigl(\bar{\eta}^{k+1}+\beta\bar{ \eta}^{k+1} \bigr)\Phi_{x}, \end{aligned}$$
$$\begin{aligned}& \bar{\eta}_{t}^{k+1}+ \bigl(\eta^{k} \bar{u}^{k} \bigr)_{x}+ \bigl(\bar{\eta}^{k+1} \bigl(u^{k}-\Phi_{x} \bigr) \bigr)_{x}=\bar{ \eta}_{xx}^{k+1}. \end{aligned}$$
Multiplying (3.7) by \(\bar{\rho}^{k+1}\), integrating over Ω and using Young’s inequality, we obtain
$$\begin{aligned} \frac{\mathrm{d}}{\mathrm{d}t} \bigl\vert \bar{\rho}^{k+1} \bigr\vert _{L^{2}}^{2}&\leq C \bigl\vert \bar{\rho} ^{k+1} \bigr\vert _{L^{2}}^{2} \bigl\vert u_{x}^{k} \bigr\vert _{L^{\infty}}+ \bigl\vert \rho^{k} \bigr\vert _{H^{1}} \bigl\vert \bar{u}_{x}^{k} \bigr\vert _{L^{2}} \bigl\vert \bar{\rho}^{k+1} \bigr\vert _{L^{2}} \\ &\leq C \bigl\vert u_{xx}^{k} \bigr\vert _{L^{2}} \bigl\vert \bar{\rho}^{k+1} \bigr\vert _{L^{2}}^{2}+C_{\xi}\bigl\vert \rho ^{k} \bigr\vert _{H^{1}}^{2} \bigl\vert \bar{\rho}^{k+1} \bigr\vert _{L^{2}}^{2}+\xi \bigl\vert \bar{u}_{x}^{k} \bigr\vert _{L^{2}}^{2} \\ &\leq C_{\xi}\bigl\vert \bar{\rho}^{k+1} \bigr\vert _{L^{2}}^{2}+\xi \bigl\vert \bar{u}_{x}^{k} \bigr\vert _{L^{2}}^{2}, \end{aligned}$$
where \(C_{\zeta}\) is a positive constant, depending on \(M_{0}\) and ζ for all \(t< T_{1}\) and \(k\geq1\).
Multiplying (3.8) by \(\bar{u}^{k+1}\), integrating over Ω, and using Young’s inequality, we obtain
$$\begin{aligned}& \frac{\mathrm{d}}{\mathrm{d}t} \int_{\Omega}\rho^{k+1} \bigl\vert \bar{u}^{k+1} \bigr\vert ^{2}\,{\mathrm{d}}x+ \int_{\Omega}\bigl(L_{p} u^{k+1}-L_{p} u^{k} \bigr)\bar{u}^{k+1}\,{\mathrm{d}}x \\& \quad \leq C \int_{\Omega}\bigl( \bigl\vert \bar{\rho}^{k+1} \bigr\vert \bigl( \bigl\vert u_{t}^{k} \bigr\vert + \bigl\vert u^{k} u_{x}^{k} \bigr\vert \bigr) \bigl\vert \bar{u}^{k+1} \bigr\vert +\rho^{k} \bigl\vert \bar{u}^{k} \bigr\vert \bigl\vert u_{x}^{k} \bigr\vert \bigl\vert \bar{u}^{k+1} \bigr\vert + \bigl\vert P^{k+1}-P^{k} \bigr\vert \bigl\vert \bar{u}_{x}^{k+1} \bigr\vert \\& \qquad {}+ \bigl\vert \bar{\eta}^{k+1} \bigr\vert \bigl\vert \bar{u}_{x}^{k+1} \bigr\vert + \bigl\vert \bar{ \eta}^{k+1}+\beta \bar{\rho}^{k+1} \bigr\vert \bigl\vert \Phi_{x} \bar{u}^{k+1} \bigr\vert \bigr)\,{\mathrm{d}} x \\& \quad \leq C \bigl( \bigl\vert \bar{\rho}^{k+1} \bigr\vert _{L^{2}} \bigl\vert u_{xt}^{k} \bigr\vert _{L^{2}} \bigl\vert \bar{u}_{x}^{k+1} \bigr\vert _{L^{2}}+ \bigl\vert \bar{\rho} ^{k+1} \bigr\vert _{L^{2}} \bigl\vert u_{x}^{k} \bigr\vert _{L^{p}} \bigl\vert u_{xx}^{k} \bigr\vert _{L^{2}} \bigl\vert \bar{u}_{x}^{k+1} \bigr\vert _{L^{2}} \\& \qquad {}+ \bigl\vert \rho^{k} \bigr\vert _{L^{2}}^{1\over 2} \bigl\vert \sqrt{\rho^{k}} \bar{u}^{k} \bigr\vert _{L^{2}} \bigl\vert u_{xx}^{k} \bigr\vert _{L^{2}} \bigl\vert \bar{u}_{x}^{k+1} \bigr\vert _{L^{2}}+ \bigl\vert P^{k+1}-P^{k} \bigr\vert _{L^{2}} \bigl\vert \bar{u}_{x}^{k+1} \bigr\vert _{L^{2}} \\& \qquad {}+ \bigl\vert \bar{\eta}^{k+1} \bigr\vert _{L^{2}} \bigl\vert \bar{u}_{x}^{k+1} \bigr\vert _{L^{2}}+ \bigl\vert \bar{\rho} ^{k+1} \bigr\vert _{L^{2}} \bigl\vert \bar{u}_{x}^{k+1} \bigr\vert _{L^{2}}+ \bigl\vert \bar{\eta}^{k+1} \bigr\vert _{L^{2}} \bigl\vert \bar{u}_{x}^{k+1} \bigr\vert _{L^{2}} \bigr). \end{aligned}$$
$$\sigma(s)= \biggl(\frac{\varepsilon s^{2}+1}{s^{2}+\varepsilon} \biggr)^{\frac{2-p}{2}}s, $$
$$\sigma'(s)= \biggl(\frac{\varepsilon s^{2}+1}{s^{2}+\varepsilon} \biggr)^{-\frac{p}{2}} \frac{(\varepsilon s^{2}+1)(s^{2}+\varepsilon)-(2-p)(1-\varepsilon^{2})s^{2}}{(s^{2}+\varepsilon )^{2}}\geq \frac{p-1}{(s^{2}+\varepsilon)^{\frac{2-p}{2}}}. $$
We estimate the second term of (3.11) as follows:
$$\begin{aligned} \int_{\Omega}\bigl(L_{p} u^{k+1}-L_{p} u^{k} \bigr)\bar{u}^{k+1}\,{\mathrm{d}}x&= \int_{\Omega}\int _{0}^{1}\sigma' \bigl(\theta u_{x}^{k+1}+(1-\theta)u_{x}^{k} \bigr) \,{ \mathrm{d}}\theta \bigl\vert \bar{u}_{x}^{k+1} \bigr\vert ^{2}\,{\mathrm{d}}x \\ &\geq \int_{\Omega}\biggl[ \int_{0}^{1}\frac{\mathrm{d} \theta}{|\theta u_{x}^{k+1}+(1-\theta)u_{x}^{k}|_{L^{\infty}}^{2-p}+1} \biggr] \bigl( \bar{u}_{x}^{k+1} \bigr)^{2} \\ &\geq C^{-1} \int_{\Omega}\bigl|\bar{u}_{x}^{k+1}\bigr|^{2} \,{\mathrm{d}} x. \end{aligned}$$
Using (3.6), (3.12), and Young’s inequality, (3.11) can be rewritten as
$$\begin{aligned}& \frac{\mathrm{d}}{\mathrm{d}t} \int_{\Omega}\rho^{k+1} \bigl\vert \bar{u}^{k+1} \bigr\vert ^{2}\,{\mathrm{d}}x+C^{-1} \int _{\Omega}\bigl\vert \bar{u}_{x}^{k+1} \bigr\vert ^{2}\,{\mathrm{d}} x \\& \quad \leq B_{\xi}(t) \bigl\vert \bar{\rho}^{k+1} \bigr\vert _{L^{2}}^{2}+C \bigl( \bigl\vert \sqrt{ \rho^{k}}\bar{u}^{k} \bigr\vert _{L^{2}}^{2}+ \bigl\vert \bar{\eta}^{k+1} \bigr\vert _{L^{2}}^{2} \bigr)+\xi \bigl\vert \bar{u}_{x}^{k+1} \bigr\vert _{L^{2}}^{2}, \end{aligned}$$
where \(B_{\xi}(t)=C(1+|u_{xt}^{k}(t)|_{L^{2}}^{2})\), for all \(t\leq T_{1}\) and \(k\geq1\). Using (3.6) we derive
$$\int_{0}^{t}B_{\xi}(s)\,{\mathrm{d}} s\leq C+Ct. $$
Multiplying (3.9) by \(\bar{\eta}^{k+1}\), integrating over Ω, and using (3.6) and Young’s inequality, we have
$$\begin{aligned}& \frac{1}{2}\frac{\mathrm{d}}{\mathrm{d}t} \int_{\Omega}\bigl\vert \bar{\eta}^{k+1} \bigr\vert ^{2}\,{\mathrm{d}} x+ \int _{\Omega}\bigl\vert \bar{\eta}_{x}^{k+1} \bigr\vert ^{2}\,{\mathrm{d}} x \\& \quad \leq \int_{\Omega}\bigl\vert \bar{\eta}^{k+1} \bigr\vert \bigl\vert u^{k}-\Phi_{x} \bigr\vert \bigl\vert \bar{ \eta}_{x}^{k+1} \bigr\vert \,{\mathrm{d}} x+ \int_{\Omega}\bigl( \bigl\vert \eta^{k} \bigr\vert \bigl\vert \bar{u}^{k} \bigr\vert \bigr)_{x} \bigl\vert \bar{\eta}^{k+1} \bigr\vert \,{\mathrm{d}} x \\& \quad \leq \bigl\vert \bar{\eta}^{k+1} \bigr\vert _{L^{2}} \bigl\vert u^{k}-\Phi_{x} \bigr\vert _{L^{\infty}} \bigl\vert \bar{\eta} _{x}^{k+1} \bigr\vert _{L^{2}}+ \bigl\vert \eta_{x}^{k} \bigr\vert _{L^{2}} \bigl\vert \bar{u}^{k} \bigr\vert _{L^{\infty}} \bigl\vert \bar{\eta} ^{k+1} \bigr\vert _{L^{2}}+ \bigl\vert \eta^{k} \bigr\vert _{L^{\infty}} \bigl\vert \bar{u}_{x}^{k} \bigr\vert _{L^{2}} \bigl\vert \bar{\eta} ^{k+1} \bigr\vert _{L^{2}} \\& \quad \leq C_{\xi}\bigl\vert \bar{\eta}^{k+1} \bigr\vert _{L^{2}}^{2}+\xi \bigl\vert \bar{\eta}_{x}^{k+1} \bigr\vert _{L^{2}}^{2}+\xi \bigl\vert \bar{u}_{x}^{k} \bigr\vert _{L^{2}}^{2}. \end{aligned}$$
Collecting (3.10), (3.13), and (3.14), we obtain
$$\begin{aligned}& \frac{\mathrm{d}}{\mathrm{d}t} \bigl( \bigl\vert \bar{\rho}^{k+1}(t) \bigr\vert _{L^{2}}^{2}+ \bigl\vert \sqrt{ \rho^{k+1}} \bar{u}^{k+1}(t) \bigr\vert _{L^{2}}^{2}+ \bigl\vert \bar{\eta}^{k+1}(t) \bigr\vert _{L^{2}}^{2} \bigr)+ \bigl\vert \bar{u}_{x}^{k+1}(t) \bigr\vert _{L^{2}}^{2}+ \bigl\vert \bar{\eta}_{x}^{k+1} \bigr\vert _{L^{2}}^{2} \\& \quad \leq E_{\xi}(t) \bigl\vert \bar{\rho}^{k+1}(t) \bigr\vert _{L^{2}}^{2}+C \bigl\vert \sqrt{\rho^{k}} \bar{u}^{k} \bigr\vert _{L^{2}}^{2}+C_{\xi}\bigl\vert \bar{\eta}^{k+1} \bigr\vert _{L^{2}}^{2}+ \xi \bigl\vert \bar{u}_{x}^{k} \bigr\vert _{L^{2}}^{2}, \end{aligned}$$
with \(E_{\zeta}(t)\) depending only on \(B_{\zeta}(t)\) and \(C_{\xi}\), for all \(t\leq T_{1}\) and \(k\geq1\). Using (3.6), we have
$$\int_{0}^{t} E_{\xi}(s)\,{\mathrm{d}} s\leq C+C_{\xi}t. $$
Integrating (3.15) over \((0,t)\subset(0,T_{1})\) with respect to t, using Gronwall’s inequality, we have
$$\begin{aligned}& \bigl\vert \bar{\rho}^{k+1}(t) \bigr\vert _{L^{2}}^{2} + \bigl\vert \sqrt{\rho^{k+1}}\bar{u}^{k+1}(t) \bigr\vert _{L^{2}}^{2}+ \bigl\vert \bar{\eta}^{k+1}(t) \bigr\vert _{L^{2}}^{2}+ \int_{0}^{t} \bigl\vert \bar{u}_{x}^{k+1}(t) \bigr\vert _{L^{2}}^{2}\,{\mathrm{d}} s+ \int_{0}^{t} \bigl\vert \bar{\eta}_{x}^{k+1} \bigr\vert _{L^{2}}^{2}\,{\mathrm{d}} s \\& \quad \leq C\exp(C_{\xi}t) \int_{0}^{t} \bigl( \bigl\vert \sqrt{ \rho^{k}} \bar{u}^{k}(s) \bigr\vert _{L^{2}}^{2}+ \bigl\vert \bar{u}_{x}^{k}(s) \bigr\vert _{L^{2}}^{2} \bigr)\,{\mathrm{d}} s. \end{aligned}$$
From the above recursive relation, choose \(\xi>0\) and \(0< T_{*}< T_{1}\) such that \(C\exp(C_{\xi}T_{*})<\frac{1}{2}\), using Gronwall’s inequality, we deduce that
$$\begin{aligned}& \sum_{k=1}^{K} \biggl[\sup _{0\leq t\leq T_{*}} \bigl( \bigl\vert \bar{\rho}^{k+1}(t) \bigr\vert _{L^{2}}^{2} + \bigl\vert \sqrt {\rho^{k+1}} \bar{u}^{k+1}(t) \bigr\vert _{L^{2}}^{2}+ \bigl\vert \bar{\eta}^{k+1}(t) \bigr\vert _{L^{2}}^{2} \bigr) \\& \quad {} + \int_{0}^{T_{*}} \bigl\vert \bar{u}_{x}^{k+1}(t) \bigr\vert _{L^{2}}^{2}\,{\mathrm{d}} t+ \int_{0}^{T_{*}} \bigl\vert \bar{\eta} _{x}^{k+1}(t) \bigr\vert _{L^{2}}^{2}\,{ \mathrm{d}} t \biggr]< C, \end{aligned}$$
where C is a positive constant, depending only on \(M_{0}\).
Therefore, as \(k\rightarrow+\infty\), the sequence \((\rho^{k},u^{k},\eta^{k})\) converges to a limit \((\rho^{\varepsilon},u^{\varepsilon},\eta^{\varepsilon})\) in the following strong sense:
$$\begin{aligned}& \rho^{k}\rightarrow\rho^{\varepsilon}\quad \mbox{in } L^{\infty}\bigl(0,T_{*};L^{2}(\Omega) \bigr), \end{aligned}$$
$$\begin{aligned}& u^{k}\rightarrow u^{\varepsilon}\quad \mbox{in } L^{\infty}\bigl(0,T_{*};L^{2}(\Omega) \bigr)\cap L^{2} \bigl(0,T_{*};H_{0}^{1}( \Omega) \bigr), \end{aligned}$$
$$\begin{aligned}& \eta^{k}\rightarrow\eta^{\varepsilon}\quad \mbox{in } L^{\infty}\bigl(0,T_{*};L^{2}(\Omega) \bigr)\cap L^{2} \bigl(0,T_{*};H^{1}(\Omega) \bigr). \end{aligned}$$
By virtue of the lower semi-continuity of various norms, we deduce from the uniform estimate (3.6) that \((\rho^{\varepsilon},u^{\varepsilon},\eta^{\varepsilon})\) satisfies the following uniform estimate:
$$\begin{aligned}& \operatorname{ess}\sup_{0\leq t\leq T_{1}} \bigl( \bigl\vert \rho^{\varepsilon}\bigr\vert _{H^{1}}+ \bigl\vert u^{\varepsilon}\bigr\vert _{W_{0}^{1,p} \cap H^{2}}+ \bigl\vert \eta^{\varepsilon}\bigr\vert _{H^{2}}+ \bigl\vert \eta_{t}^{\varepsilon}\bigr\vert _{L^{2}}+ \bigl\vert \sqrt{\rho^{\varepsilon}}u_{t}^{\varepsilon}\bigr\vert _{L^{2}}+ \bigl\vert \rho_{t}^{\varepsilon}\bigr\vert _{L^{2}} \bigr) \\& \quad {} + \int_{0}^{T_{*}} \bigl( \bigl\vert \sqrt {\rho}^{\varepsilon}u_{t}^{\varepsilon}\bigr\vert _{L^{2}}^{2}+ \bigl\vert u_{xt}^{\varepsilon}\bigr\vert _{L^{2}}^{2}+ \bigl\vert \eta_{x}^{\varepsilon}\bigr\vert _{L^{2}}^{2}+ \bigl\vert \eta_{t}^{\varepsilon}\bigr\vert _{L^{2}}^{2}+ \bigl\vert \eta_{xt}^{\varepsilon}\bigr\vert _{L^{2}}^{2} \bigr) \,{\mathrm{d}} s\leq C. \end{aligned}$$
Since all of the constants do not depend on ε, there exists a subsequence \((\rho^{\varepsilon_{j}},u^{\varepsilon_{j}},\eta^{\varepsilon_{j}})\) of \((\rho^{\varepsilon},u^{\varepsilon},\eta^{\varepsilon})\), that, without loss of generality, we denote \((\rho^{\varepsilon},u^{\varepsilon},\eta^{\varepsilon})\). Let \(\varepsilon\rightarrow0\), then we obtain the following convergence:
$$\begin{aligned}& \rho^{\varepsilon}\rightarrow\rho^{\delta}\quad \mbox{in } L^{\infty}\bigl(0,T_{*};L^{2}(\Omega) \bigr), \end{aligned}$$
$$\begin{aligned}& u^{\varepsilon}\rightarrow u^{\delta}\quad \mbox{in } L^{\infty}\bigl(0,T_{*};L^{2}(\Omega) \bigr)\cap L^{2} \bigl(0,T_{*};H_{0}^{1}( \Omega) \bigr), \end{aligned}$$
$$\begin{aligned}& \eta^{\varepsilon}\rightarrow\eta^{\delta}\quad \mbox{in } L^{\infty}\bigl(0,T_{*};L^{2}(\Omega) \bigr)\cap L^{2} \bigl(0,T_{*};H^{1}(\Omega) \bigr), \end{aligned}$$
and also
$$\begin{aligned}& \operatorname{ess}\sup_{0\leq t\leq T_{1}} \bigl( \bigl\vert \rho^{\delta}\bigr\vert _{H^{1}}+ \bigl\vert u^{\delta}\bigr\vert _{W_{0}^{1,p} \cap H^{2}}+ \bigl\vert \eta^{\delta}\bigr\vert _{H^{2}}+ \bigl\vert \eta_{t}^{\delta}\bigr\vert _{L^{2}}+ \bigl\vert \sqrt {\rho^{\delta}}u_{t}^{\delta}\bigr\vert _{L^{2}}+ \bigl\vert \rho_{t}^{\delta}\bigr\vert _{L^{2}} \bigr) \\& \quad {} + \int_{0}^{T_{*}} \bigl( \bigl\vert \sqrt {\rho}^{\delta}u_{t}^{\delta}\bigr\vert _{L^{2}}^{2}+ \bigl\vert u_{xt}^{\delta}\bigr\vert _{L^{2}}^{2}+ \bigl\vert \eta_{x}^{\delta}\bigr\vert _{L^{2}}^{2}+ \bigl\vert \eta_{t}^{\delta}\bigr\vert _{L^{2}}^{2}+ \bigl\vert \eta _{xt}^{\delta}\bigr\vert _{L^{2}}^{2} \bigr) \,{\mathrm{d}} s\leq C. \end{aligned}$$
For each small \(\delta>0\), let \(\rho_{0}^{\delta}= J_{\delta}* \rho_{0}+\delta\), \(J_{\delta}\) is a mollifier on Ω, and \(u_{0}^{\delta}\in H_{0}^{1}(\Omega)\cap H^{2}(\Omega)\) is a smooth solution of the boundary value problem
$$ \textstyle\begin{cases} L_{p} u_{0}^{\delta}= (P(\rho_{0}^{\delta})+\eta_{0}^{\delta})_{x}+\eta _{0}^{\delta}\Phi_{x}+\rho_{0}^{\delta}(g^{\delta}+\beta\Phi_{x}), \\ u_{0}^{\delta}(0)=u_{0}^{\delta}(1)=0, \end{cases} $$
where \(g^{\delta}\in C_{0}^{\infty}\) and satisfies \(|g^{\delta}|_{L^{2}}\leq |g|_{L^{2}}\), \(\lim_{\delta\rightarrow 0^{+}}|g^{\delta}-g|_{L^{2}}=0\).
We deduce that \((\rho^{\delta},u^{\delta},\eta^{\delta})\) is a solution of the following initial boundary value problem:
$$ \textstyle\begin{cases} \rho_{t}+(\rho u)_{x}=0, \\ (\rho u )_{t}+(\rho u^{2})_{x}-\lambda(|u_{x}|^{p-2}u_{x})_{x}+(P+\eta)_{x}= -(\eta +\beta\rho)\Phi_{x}, \\ \eta_{t}+(\eta(u-\Phi_{x}))_{x}=\eta_{xx}, \\ (\rho,u,\eta)|_{t=0}=(\rho_{0}^{\delta},u_{0}^{\delta},\eta_{0}^{\delta}), \\ u|_{\partial\Omega}=(\eta_{x}+\eta\Phi_{x})|_{\partial\Omega}=0, \end{cases} $$
where \(\rho_{0}^{\delta}\geq\delta\), \(\frac{4}{3}< p<2\).
By the proof of Lemma 2.3 in [16], there exists a subsequence \(\{u_{0}^{\delta_{j}}\}\) of \(\{u_{0}^{\delta}\}\), as \(\delta_{j}\rightarrow 0^{+}\), \(u_{0}^{\delta}\rightarrow u_{0}\) in \(H_{0}^{1}(\Omega)\cap H^{2}(\Omega)\), \(-(|u_{0x}^{\delta_{j}}|^{p-2}u_{0x}^{\delta_{j}})_{x}\rightarrow -(|u_{0x}|^{p-2}u_{0x})_{x}\) in \(L^{2}(\Omega)\), Hence, \(u_{0}\) satisfies the compatibility condition (1.5) of Theorem 1.1. By virtue of the lower semi-continuity of various norms, we deduce that \((\rho,u,\eta)\) satisfies the following uniform estimate:
$$\begin{aligned}& \operatorname{ess}\sup_{0\leq t\leq T_{1}} \bigl( \vert \rho \vert _{H^{1}}+\vert u\vert _{W_{0}^{1,p} \cap H^{2}}+\vert \eta \vert _{H^{2}}+\vert \eta_{t}\vert _{L^{2}}+\vert \sqrt{ \rho}u_{t}\vert _{L^{2}}+\vert \rho _{t}\vert _{L^{2}} \bigr) \\& \quad {} + \int_{0}^{T_{*}} \bigl(\vert \sqrt{\rho}u_{t} \vert _{L^{2}}^{2}+\vert u_{xt}\vert _{L^{2}}^{2}+\vert \eta _{x}\vert _{L^{2}}^{2}+\vert \eta_{t}\vert _{L^{2}}^{2}+\vert \eta_{xt}\vert _{L^{2}}^{2} \bigr) \,{\mathrm{d}} s\leq C, \end{aligned}$$
where C is a positive constant, depending only on \(M_{0}\). The uniqueness of the solution can also be obtained by the same method as the above proof of convergence, we omit the details here. This completes the proof.



The authors would like to thank an anonymous referee for his/her helpful comments and suggestions which improved the presentation of the paper. This work was supported by the Tian Yuan Mathematical Foundation of China (No. 11526105), the National Natural Science Foundation of China (No. 11572146), and the Scientific Research Foundation of Liaoning University of Technology (No. X201404).

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

College of Science, Liaoning University of Technology
Institute of Mathematics, Jilin University


  1. Tory, EM, Karlsen, KH, Bürger, R, Berres, S: Strongly degenerate parabolic-hyperbolic systems modeling polydisperse sedimentation with compression. SIAM J. Appl. Math. 64, 41-80 (2003) MathSciNetView ArticleMATHGoogle Scholar
  2. Baranger, C, Boudin, L, Jabin, PE, Mancini, S: A modeling of biospray for the upper airways. In: CEMRACS 2004 - Mathematics and Applications to Biology and Medicine. ESAIM Proc., vol. 14, pp. 41-47 (2005) Google Scholar
  3. Sartory, WK: Three-component analysis of blood sedimentation by the method of characteristics. Math. Biosci. 33, 145-165 (1977) View ArticleMATHGoogle Scholar
  4. Spannenberg, A, Galvin, KP: Continuous differential sedimentation of a binary suspension. Chem. Eng. Aust. 21, 7-11 (1996) Google Scholar
  5. Williams, FA: Combustion Theory, 2nd edn. Benjamin-Cummings, Redwood City (1985) Google Scholar
  6. Williams, FA: Spray combustion and atomization. Phys. Fluids 1, 541-545 (1958) View ArticleMATHGoogle Scholar
  7. Carrillo, JA, Karper, T, Trivisa, K: On the dynamics of a fluid-particle model: the bubbling regime. Nonlinear Anal., Real World Appl. 74, 2778-2801 (2011) MathSciNetView ArticleMATHGoogle Scholar
  8. Lions, PL: Mathematical Topics in Fluid Dynamics. Volume 2: Compressible Models. Oxford University Press, Oxford (1998) MATHGoogle Scholar
  9. Feireisl, E, Petzeltová, H: Large time behavior of solutions to the Navier-Stokes equations of compressible flow. Arch. Ration. Mech. Anal. 150, 77-96 (1999) MathSciNetView ArticleMATHGoogle Scholar
  10. Feireisl, E, Novotný, A, Petzeltová, H: On the existence of globally defined weak solution to the Navier-Stokes equations. J. Math. Fluid Mech. 3, 358-392 (2001) MathSciNetView ArticleMATHGoogle Scholar
  11. Mellet, A, Vasseur, A: Asymptotic analysis for a Vlasov-Fokker-Planck/compressible Navier-Stokes system of equations. Commun. Math. Phys. 281, 573-596 (2008) MathSciNetView ArticleMATHGoogle Scholar
  12. Chhabra, RP: Bubbles, Drops, and Particles in Non-Newtonian Fluids, 2nd edn. Taylor & Francis, New York (2007) Google Scholar
  13. Bellout, H, Bloom, F, Nečas, J: Existence, uniqueness and stability of solutions to the initial boundary value problem for bipolar viscous fluids. Differ. Integral Equ. 8, 453-464 (1994) MathSciNetMATHGoogle Scholar
  14. Guo, B, Zhu, P: Partial regularity of suitable weak solutions to the system of the incompressible non-Newtonian fluids. J. Differ. Equ. 178, 281-297 (2002) MathSciNetView ArticleMATHGoogle Scholar
  15. Zhao, C, Zhou, S, Li, Y: Trajectory attractor and global attractor for a two-dimensional incompressible non-Newtonian fluid. J. Math. Anal. Appl. 325, 1350-1362 (2007) MathSciNetView ArticleMATHGoogle Scholar
  16. Yuan, H, Xu, X: Existence and uniqueness of solutions for a class of non-Newtonian fluids with singularity and vacuum. J. Differ. Equ. 245, 2871-2916 (2008) MathSciNetView ArticleMATHGoogle Scholar
  17. Málek, J, Nečas, J, Rokyta, M, Ru̇žička, M: Weak and Measure-Valued Solutions to Evolutionary PDEs. Chapman & Hall, New York (1996) View ArticleMATHGoogle Scholar
  18. Pokorný, M: Cauchy problem for the non-Newtonian viscous incompressible fluid. Appl. Math. 41, 169-201 (1996) MathSciNetMATHGoogle Scholar
  19. Shi, X: Some results of boundary problem of non-Newtonian fluids. Syst. Sci. Math. Sci. 9, 107-119 (1996) MathSciNetMATHGoogle Scholar
  20. Yin, L, Xu, X, Yuan, H: Global existence and uniqueness of solution of the initial boundary value problem for a class of non-Newtonian fluids with vacuum. Z. Angew. Math. Phys. 59, 457-474 (2008) MathSciNetView ArticleMATHGoogle Scholar
  21. Yuan, H, Li, H: Existence and uniqueness of solutions for a class of non-Newtonian fluids with vacuum and damping. J. Math. Anal. Appl. 391, 223-239 (2012) MathSciNetView ArticleMATHGoogle Scholar
  22. Rozanova, O: Nonexistence results for a compressible non-Newtonian fluid with magnetic effects in the whole space. J. Math. Anal. Appl. 371, 190-194 (2010) MathSciNetView ArticleMATHGoogle Scholar
  23. Qin, Y, Liu, X, Yang, X: Global existence and exponential stability of solutions to the one-dimensional full non-Newtonian fluids. Nonlinear Anal., Real World Appl. 13, 607-633 (2012) MathSciNetView ArticleMATHGoogle Scholar
  24. Fang, D, Zi, R, Zhang, T: Global classical large solutions to a 1D fluid-particle interaction model: the bubbling regime. J. Math. Phys. 53, 033706 (2012) MathSciNetView ArticleMATHGoogle Scholar
  25. Cho, Y, Choe, H, Kim, H: Unique solvability of the initial boundary value problems for compressible viscous fluids. J. Math. Pures Appl. 83, 243-275 (2004) MathSciNetView ArticleMATHGoogle Scholar
  26. Cho, Y, Kim, H: Existence results for viscous polytropic fluids with vacuum. J. Differ. Equ. 228, 377-411 (2006) MathSciNetView ArticleMATHGoogle Scholar


© Song et al. 2016