Abstract
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.
Similar content being viewed by others
1 Introduction
In this paper, we consider the following non-Newtonian fluids system:
with the initial conditions
together with the no-slip boundary conditions for the velocity and the no-flux condition for the density of particles,
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 [1–4]. 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:
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 [17–23].
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:
and the compatibility condition
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
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:
with the initial and boundary conditions,
and \(u_{0}\in H_{0}^{1}(\Omega)\cap H^{2}(\Omega)\) is the smooth solution of the boundary value problem
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
Then
Using Young’s inequality, we have
where C is a positive constant, depending only on \(M_{0}\).
Next, we introduce an auxiliary function,
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)
Then, we have
Taking the \(L^{2}\) norm and using Young’s inequality, we get
Hence, we deduce that
From (2.3), taking the \(L^{2}\) norm, we get
Multiplying (2.1) by ρ, integrating over Ω, we have
Integrating by parts, using the Sobolev inequality, we deduce that
Differentiating (1.1)1 with respect to x, and multiplying it by \(\rho_{x}\), integrating over Ω, and using the Sobolev inequality, we have
From (2.10)and (2.11), by Gronwall’s inequality, it follows that
we can also get the following estimates. Using (1.1)1 we obtain
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
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
Differentiating (1.1)3 with respect to t, multiplying the resulting equation by \(\eta_{t}\), integrating (by parts) over \(\Omega_{T}\), we get
Combining (2.14)-(2.16) and (2.28), we get
2.3 Estimate for \(|u|_{W_{0}^{1,p}}\)
Using (2.1), we rewrite (2.1) as
Multiplying (2.18) by \(u_{t}\), integrating (by parts) over \(\Omega _{T}\), we have
We deal with each term as follows:
From (1.1)1 we have
Substituting the above into (2.19), using the Sobolev inequality and Young’s inequality, we obtain
To estimate (2.21), combining (2.20) we have the following estimates:
following the same method, we get
Combining (2.21)-(2.23) yields
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
Multiplying the result equation by \(u_{t}\), integrating over Ω, we derive
Note that
Let
from (2.8), it follows that
Combining (2.20), (2.25) can be rewritten as
Using the Sobolev inequality, Young’s inequality, (1.1)2, (2.8), and (2.9), we obtain
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
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
According to the smoothness of \((\rho,u,\eta)\), we obtain
Therefore, taking the limit on τ in (2.27), as \(\tau\rightarrow0\), we conclude that
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
where C, 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
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:
with the initial and boundary conditions
where
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:
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
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
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
then we easily verify that the functions \(\bar{\rho}^{k+1}\), \(\bar{u}^{k+1}\), \(\bar{\eta}^{k+1}\) satisfy the system of equations
Multiplying (3.7) by \(\bar{\rho}^{k+1}\), integrating over Ω and using Young’s inequality, we obtain
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
Let
then
We estimate the second term of (3.11) as follows:
Using (3.6), (3.12), and Young’s inequality, (3.11) can be rewritten as
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
Multiplying (3.9) by \(\bar{\eta}^{k+1}\), integrating over Ω, and using (3.6) and Young’s inequality, we have
Collecting (3.10), (3.13), and (3.14), we obtain
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
Integrating (3.15) over \((0,t)\subset(0,T_{1})\) with respect to t, using Gronwall’s inequality, we have
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
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:
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:
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:
and also
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
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:
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:
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.
References
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)
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)
Sartory, WK: Three-component analysis of blood sedimentation by the method of characteristics. Math. Biosci. 33, 145-165 (1977)
Spannenberg, A, Galvin, KP: Continuous differential sedimentation of a binary suspension. Chem. Eng. Aust. 21, 7-11 (1996)
Williams, FA: Combustion Theory, 2nd edn. Benjamin-Cummings, Redwood City (1985)
Williams, FA: Spray combustion and atomization. Phys. Fluids 1, 541-545 (1958)
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)
Lions, PL: Mathematical Topics in Fluid Dynamics. Volume 2: Compressible Models. Oxford University Press, Oxford (1998)
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)
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)
Mellet, A, Vasseur, A: Asymptotic analysis for a Vlasov-Fokker-Planck/compressible Navier-Stokes system of equations. Commun. Math. Phys. 281, 573-596 (2008)
Chhabra, RP: Bubbles, Drops, and Particles in Non-Newtonian Fluids, 2nd edn. Taylor & Francis, New York (2007)
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)
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)
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)
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)
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)
Pokorný, M: Cauchy problem for the non-Newtonian viscous incompressible fluid. Appl. Math. 41, 169-201 (1996)
Shi, X: Some results of boundary problem of non-Newtonian fluids. Syst. Sci. Math. Sci. 9, 107-119 (1996)
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)
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)
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)
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)
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)
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)
Cho, Y, Kim, H: Existence results for viscous polytropic fluids with vacuum. J. Differ. Equ. 228, 377-411 (2006)
Acknowledgements
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).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors read and approved the final manuscript.
Appendix
Appendix
In this section, for the sake of completeness, we give a slightly more particular result for the previous case.
Lemma A.1
Let \(u_{0}\in H^{1}_{0}(\Omega)\cap H^{2}(\Omega)\), \(\rho_{0}\in H^{1}(\Omega)\), \(\eta_{0}\in H^{2}(\Omega)\), \(\Phi\in C^{2}(\Omega)\), \(g\in L^{2}(\Omega)\), \(u_{0}^{\varepsilon}\) is a solution of the boundary value problem
Then there are a subsequence \(\{u^{\varepsilon_{j}}_{0}\}\), \(j=1,2,3,\ldots\) , of \(\{u^{\varepsilon}_{0}\}\) and \(u_{0}\in H^{1}_{0}(\Omega)\cap H^{2}(\Omega)\) such that, as \(\varepsilon_{j}\rightarrow0\),
Proof
According to (A.1), we have
Then
then we get
Therefore, by the above inequality, as \(\varepsilon_{j}\rightarrow0\),
Thus, we see that \(\{u^{\varepsilon_{j}}_{0x}\}\) is a Cauchy subsequence of \(C^{\frac{3}{2}}(\Omega)\), for all \(\alpha_{1}>0\), we find N, as \(i, j > N\), we have
Now, we prove that \(\{u^{\varepsilon}_{0xx}\}\) has a Cauchy sequence in \(L_{2}\) norm.
Let
For all \(\alpha>0\), there exists N, as \(i, j > N\), we can deduce that
With the assumption, we obtain
where C is a positive constant, depending only on \(|\rho _{0}|_{H^{1}(\Omega)}\), \(|g|_{L^{2}(\Omega)}\), and \(|\eta_{0}|_{H^{2}(\Omega)}\). Use the following inequality:
where \(0<\theta<1\).
By a simple calculation, we can get \(\phi'(s)\leq\frac {2}{p-1}(1+s^{-\frac{p}{2}})\), where C depends only on p, then
Substituting this into (A.1), we have
then there is a subsequence \(\{u^{\varepsilon_{j}}_{0xx}\}\) and \(\{ u^{\varepsilon}_{0xx}\}\), such that
By the uniqueness of the weak convergence, we have
Since \((P(\rho_{0})+\eta)_{x}+\eta_{0} \Phi_{x}+\rho_{0}(g+\beta\Phi_{x})\) are independent of ε, in the same way we obtain, as \(\varepsilon _{j}\rightarrow0\),
This completes the proof of Lemma A.1. □
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), 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.
About this article
Cite this article
Song, Y., Wang, H., Chen, Y. et al. The strong solutions for a class of fluid-particle interaction non-Newtonian models. Bound Value Probl 2016, 108 (2016). https://doi.org/10.1186/s13661-016-0617-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-016-0617-4