Abstract
We study the existence of weak solutions to a Newtonian fluid∼non-Newtonian fluid mixed-type equation
We assume that \(A'(s)=a(s)\geq 0\), \(A(s)\) is a strictly increasing function, \(A(0)=0\), \(b(x,t)\geq 0\), and \(\alpha (x,t)\geq 0\). If
then we prove the stability of weak solutions without the boundary value condition.
Similar content being viewed by others
1 Introduction
Consider the nonlinear parabolic equations related to the \(p(x)\)-Laplacian
where \(Q_{T}=\Omega \times (0,T)\), \(\Omega \subset \mathbb{R}^{N}\) is a bounded domain with smooth boundary ∂Ω, the variable exponent \(p(x)>1\) is a \(C(\overline{\Omega })\) function, and \(\alpha (x,t)\) and \(b(x,t)\in C^{1}(\overline{Q_{T}})\) are nonnegative,
\(A'(s)=a(s)\geq 0\), \(a(s)\in C(\mathbb{R})\), and \(A(0)=0\). The evolutionary \(p(x)\)-Laplacian equation is a new and interesting topic in this century. Since it is with variable exponent, many mathematical difficulties arise; we refer to [3, 5, 8, 19, 34] for details. If \(A(s)=s\), \(\alpha (x,t)=0\), and \(b(x,t)=1\), then equation (1.1) becomes the so-called electrorheological fluid equation [1, 19]
which also has many other important applications, for example, image processing [8] and elasticity [34].
For \(p(x)\) satisfying the logarithmic Hölder continuity condition, Antontsev–Shmarev [2] established the existence and uniqueness results of equation (1.3) with usual initial boundary value conditions
when \(u_{0}(x)\in L^{\infty }(\Omega )\). Bendahmane et al. [7] studied the well-posedness (existence and uniqueness) of a renormalized solution to equation (1.3) with \(L^{1} (\Omega )\)-data. Since then, there were many papers on the solvability and regularity of the equation related to equation (1.3); see [4, 6, 14, 16, 21, 22, 33]. By adopting a method of difference in time Liang et al. [16] studied the well-posedness of solutions to equation (1.3) without the logarithmic Hölder continuity condition, provided that f satisfies some other restrictions.
If \(\alpha (x)=0\), \(A(s)=s\), and \(b(x,t)=b(x)\) satisfies
then equation (1.1) becomes
This equation was first studied in [23, 27, 32], where some achievements were made; among them, the most important discovery is that the degeneracy of \(b(x) \) in (1.6) can replaced by the Dirichlet boundary value condition (1.5). Recently, Liu and Dong [17] considered the initial boundary value problem of the equation
where \(a>0\) is a constant, \(g(x,t)>0\) is the convection function satisfying the Carathéodory condition, \(m\in (0,1)\), and \(p(x,t)\) and \(q(x,t)\) satisfy the logarithmic Hölder continuity condition. Firstly, they proved the existence of weak solutions and obtained suitable energy estimate of solutions in anisotropic Orlicz–Sobolev spaces. Secondly, by applying the energy functional method and the convexity method they showed blowup criteria of solutions. Thirdly, they studied the extinction or nonextinction of solutions by using energy inequalities and comparison principle of ordinary differential equations. Fourthly, they showed some results on global solutions without assumptions on initial data. Moreover, they gave some asymptotic estimates of blowup and extinction solutions.
Certainly, equation (1.1) also can be regarded as a generalization of the following polytropic infiltration equation:
where \(m>0\); if \(p>1+\frac{1}{m}\), then it is called the slow diffusion case, whereas if \(p<1+\frac{1}{m}\), then it is called the the fast diffusion case. There are a great deal of papers devoted to various subjects such as the well-posedness problem, the Harnack inequality, the extinction, positivity, and blowup of solutions, and the large-time behavior of solutions to equation (1.9); we refer to [9, 11, 12, 15, 18, 20, 24–26, 28–30, 35, 36].
In addition, when \(A(s)=s\) and \(b(x,t)\equiv 0\), equation (1.1) becomes the heat conduction equation (it is also called the Newtonian fluid equation). When \(\alpha (x,t)\equiv 0\), it is the electrorheological fluid equation (it is also called the smart non-Newtonian fluid equation when \(p(x,t)=p>1\) is a constant). Thus we can say that equation (1.1) is a Newtonian fluid∼non-Newtonian fluid mixed-type equation. Obviously, as we have mentioned before, since \(A(s)\) may be a nonlinear function, equation (1.1) has a broader sense. In this paper, we study the existence and uniqueness of weak solutions to equation (1.1).
2 Basic functional spaces and the definition of weak solution
To make the paper sufficiently self-contained and present our discussions in a straightforward manner, let us briefly recall some preliminary results on properties of variable exponent Lebesgue spaces \({L^{p(x)}}(\Omega )\) and variable exponent Sobolev spaces \({W^{1,p(x)}}(\Omega )\) [10, 13].
Set
For any \(h \in {C_{+}} (\overline{\Omega } )\), set
For any \(p \in {C_{+}}(\overline{\Omega })\), let \({L^{p(x)}}(\Omega )\) be the set of measurable real-valued functions \(u(x)\) satisfying
and endowed with the Luxemburg norm
Define
endowed with the norm
Let \(W_{0}^{1,p(x)}(\Omega )\) be the closure space of \(C_{0}^{\infty }(\Omega )\) in \(W^{1,p(x)}(\Omega )\).
Different from the usual Sobolev space \(W^{1,p}(\Omega )\), a very important property of the function spaces with variable exponents was found by Zhikov [34], who showed that
However, if the exponent \(p(x)\) is satisfies the logarithmic Hölder continuity condition
for all \(x,y\in Q_{T}\) such that \(|x-y|<\frac{1}{2}\) with
then (see [21])
From [10, 13] we have the following:
Lemma 2.1
(i) The spaces \((L^{p(x)}(\Omega ), \| \cdot \|_{L^{p(x)}(\Omega )} )\), \((W^{1,p(x)}(\Omega ), \|\cdot \|_{W^{1,p(x)}(\Omega )} )\), and \(W^{1,p(x)}_{0}(\Omega )\) are reflexive Banach spaces.
(ii) (\(p(x)\)-Hölder’s inequality) Let \(p_{1}(x)\) and \(p_{2}(x)\) be real functions satisfying \(\frac{1}{p_{1}(x)}+{\frac{1}{p_{2}(x)} = 1}\). Then the conjugate space of \(L^{p_{1}(x)}(\Omega )\) is \(L^{p_{2}(x)}(\Omega )\). For any \(u \in L^{p_{1}(x)}(\Omega )\) and \(v \in L^{p_{2}(x)}(\Omega )\), we have
(iii) We have that
(iv) If \(p_{1}(x)\leq p_{2}(x)\), then
(v) If \(p_{1}(x)\leq p_{2}(x)\), then
(vi) \(p(x)\)-Poincaré’s inequality. If \(p(x)\in C(\Omega )\), then there is a constant \(c_{0}>0\) such that
which implies that \(\|\nabla u\|_{L^{p(x)}(\Omega )}\) and \(\|u\|_{W^{1,p(x)}(\Omega )}\) are equivalent norms of \(W^{1,p(x)}_{0}(\Omega )\).
Definition 2.2
A function \(u(x,t)\) is said to be a weak solution of equation (1.1) with initial condition (1.5) if \(u \in {L^{\infty }}({Q_{T}})\),
and for any function \(\varphi \in C_{0}^{1}(Q_{T})\), we have the following integral equivalence:
The initial condition (1.5) is satisfied in the sense of
In our paper, we first study the existence of a weak solution.
Theorem 2.3
If \(p^{-}\geq 2\), \(A(s)\) is a strictly increasing continuous function, \(A(0)=0\), \(b(x,t)\) satisfies (1.2) and
\(\alpha (x,t)\) satisfies \(\alpha (x,t)^{p(x)}\leq c b(x,t)\), \(u_{0}(x)\geq 0\), and
then equation (1.1) with initial value (1.5) has a solution.
Theorem 2.4
Suppose \(b(x,t)\) satisfies (1.2), \(A(s)\) is a strictly increasing function, \(A(0)=0\),
and for large enough n,
Let \(u(x,t)\) and \(v(x,t)\) be two solutions of equation (1.1) with the initial values \(u_{0}(x)\) and \(v_{0}(x)\), respectively. Then
In this paper, ∇b represents the gradient of the spatial variable x, and for any \(t\in [0,T)\),
3 Proof of Theorem 2.3
Without loss the generality, we assume that \(A(s)\) is a strictly increasing \(C^{1}\) function and \(A'(s)=a(s)\geq 0\). Consider the parabolically regularized system
Proof of Theorem 2.3
Similarly to [31], by the monotone convergence method we are able to prove that the solution \(u_{\varepsilon }\) of the initial-boundary value problem (3.1)–(3.3), \(u_{\varepsilon t}\in L^{2}(Q_{T})\), \(A(u_{\varepsilon })\in L^{\infty }(0,T; W^{1, p(x)}(\Omega ))\cap L^{ \infty }(0,T; W^{1,2}(\Omega ))\), and
Also, we can obtain the existence of weak solutions in another sense, for example, \(u_{\varepsilon t}\in W'(Q_{T})\) in [17, 23, 27, 32], where \(W(Q_{T})\) is a specified reflexive Banach space, and \(W'(Q_{T})\) is its dual space.
Multiplying (3.1) by \(A(u_{\varepsilon })-A(\varepsilon )\), integrating over \(Q_{t}=\Omega \times (0,t)\) for any \(t\in [0,T)\), and denoting
we have
which implies
If \(p^{-}\geq 2\), then since \(\alpha (x,t)^{p(x)}\leq c b(x,t)\), by the Young inequality we have
Multiplying (3.1) by \([A(u_{\varepsilon })-A(\varepsilon )]_{t}\) and integrating over \(Q_{t}=\Omega \times (0,t)\), we have
Hence
and \(\vert \frac{\partial b(x,t)}{\partial t} \vert \leq cb(x,t)\)
Again, since \(\frac{\partial \alpha (x,t)}{\partial t}\geq 0\),
Once more,
Thus from (3.9)–(3.12) we deduce that
which implies that
By (3.6), \(u_{\varepsilon }\rightharpoonup u \) weakly star in \(L^{\infty }(Q_{T})\). For any \(\varphi (x,t)\in C_{0}^{1}(Q_{T})\), we have
from which we can extrapolate that
At the same time, for any \(\varphi (x,t)\in C_{0}^{1}(Q_{T})\), we have
Thus
Moreover, by (3.6), since \(b(x,t)>0\) for \(x\in \Omega \), for any compact \(\Omega _{1}\subset \Omega \), we have
Combining this with (3.14), since \(A(s)\) is a strictly increasing function, we get that
which implies that \(A(u_{\varepsilon })\rightarrow A(u)\) a.e. in \(\Omega _{1}\times [0,T)\). By the arbitrariness of \(\Omega _{1}\) we extrapolate that \(A(u_{\varepsilon })\rightarrow A(u)\) a.e. in \(Q_{T}=\Omega \times (0,T)\). So \(u_{\varepsilon }\rightarrow u\) a.e. in \(Q_{T}=\Omega \times (0,T)\).
Hence by (3.6) we easily get that there exists an n-dimensional vector \(\vec{\zeta }= ({\zeta _{1}}, \ldots ,{\zeta _{n}})\) such that
and
To prove that u is the solution of equation (1.1), we notice that for any function \(\varphi \in C_{0}^{1}({Q_{T}})\),
As \(\varepsilon \rightarrow 0\), since \(b(x,t)\) is a \(C^{1}(\overline{Q_{T}})\) function with \(b(x,t)| _{\partial \Omega \times [0,T]}=0\) and \(b(x,t)>0\), \((x,t)\in \Omega \times [0,T]\), we have \(c>\max_{\operatorname{supp} \varphi }\frac{|\nabla \varphi |}{b(x,t)}>0\) by \(\varphi \in C_{0}^{\infty }({Q_{T}})\), and, accordingly,
Since \(p(x)>1\), by the Young inequality,
and thus
Now, for any function \(\varphi \in C_{0}^{1} ({Q_{T}})\),
We will prove that
We choose \(0 \leqslant \psi \in C_{0}^{\infty }({Q_{T}})\) and \(\psi =1\) in suppφ. Let \(v \in {L^{\infty }}({Q_{T}})\), \({b(x,t)}{ \vert {\nabla A(v)} \vert ^{p(x)}} \in {L^{1}}({Q_{T}})\). Then
Let \(\varphi = \psi {A(u_{\varepsilon })}\) in (3.20). Then
Accordingly,
Thus
Now we have
which converges to 0 as \(\varepsilon \rightarrow 0\). Since \(p^{-}\geq 2\), by the Young inequality we have
Thus
Let \(\varphi =\psi A(u)\) in (3.21). We obtain
Accordingly,
Let \(A(v)=A(u)- \lambda \varphi \), \(\lambda >0\), \(\varphi \in C_{0}^{1}(Q_{T})\), or equivalently \(v=A^{-1}(A(u)-\lambda \varphi )\). Then
If \(\lambda \rightarrow 0\), then
Moreover, if \(\lambda <0\), then we similarly get
Thus
Since \(\psi = 1\) on suppφ, (3.22) holds.
Finally, let us prove that the initial condition (1.4) is satisfied in the sense of (2.3). For any \(0\leq t_{1}< t_{2}< T\), by (3.13) we have
Thus u satisfies equation (1.1) in the sense of Definition 2.2. □
4 Stability theorem
Theorem 4.1
Suppose \(b(x,t)\) satisfies (1.2), \(A(s)\) is a strictly increasing function, \(A(0)=0\), \(b(x,t)\) satisfies, for n large enough,
and \(\alpha (x,t)\) satisfies
Let \(u(x,t)\) and \(v(x,t)\) be two solutions of equation (1.1) with the initial values \(u_{0}(x)\) and \(v_{0}(x)\), respectively. Then
Proof
For any positive integer n, let \({S_{n}}(s)\) be an odd function defined for \(s\geq 0\) as
and let
Clearly,
Denote \(\Omega _{\lambda t}=\{x\in \Omega : b(x,t)>\lambda \}\), \(t\in [0,T)\), and define
Let \(u(x,t)\) and \(v(x,t)\) be two weak solutions of equation (1.1) with initial values \(u_{0}(x)\) and \(v_{0}(x)\), respectively. We choose \(\phi _{n}{S_{n}}(A(u) - A(v))\) as a test function. Then
First, since \(A(r)\geq 0\) is an increasing function, we have
Second,
and
Third, for any \(t\in [0,T)\), \(|\nabla \phi _{n}(x,t)|=\frac{1}{\lambda }\nabla b(x,t)\) for \(x\in \Omega _{\frac{1}{n}t}\setminus \Omega _{\frac{2}{n}t}\) and equals zero otherwise. Thus by (4.1) we have
which tends to 0 as \(n\rightarrow \infty \), where we denote \(q(x)=\frac{p(x)}{p(x)-1}\) as usual and \(q^{+}=\max_{x\in \overline{\Omega }}q(x)\). Since \(\alpha (x,t)\) satisfies (4.2), we have
which tends to 0 as \(n\rightarrow \infty \).
Fourth, we have
Now let \(n\rightarrow \infty \) in (4.4). By (4.5)–(4.9) we have
By the Gronwall inequality we have the conclusion. □
Proof of Theorem 2.4
We only need to show (4.9) in another way. Since \(\alpha (x,t)\) satisfies (2.7), that is,
by the definition of the trace on the boundary we have
The other parts of the proof of Theorem 4.1 are valid. Thus we have completed the proof of Theorem 2.4. □
Availability of data and materials
No applicable.
References
Acerbi, E., Mingione, G.: Regularity results for stationary electrorheological fluids. Arch. Ration. Mech. Anal. 164, 213–259 (2002)
Antontsev, S., Shmarev, S.: Anisotropic parabolic equations with variable nonlinearity. Publ. Mat. 53, 355–399 (2009)
Antontsev, S.N., Shmarev, S.I.: A model porous medium equation with variable exponent of nonlinearity: existence, uniqueness and localization properties of solutions. Nonlinear Anal. 60, 515–545 (2005)
Antontsev, S.N., Shmarev, S.I.: Parabolic equations with double variable nonlinearities. Math. Comput. Simul. 81, 2018–2032 (2011)
Antontsev, S.N., Zhikov, V.V.: Higher integrability for parabolic equations of \(p(x,t)\)-Laplacian type. Adv. Differ. Equ. 10, 1053–1080 (2005)
Aramaki, J.: Hölder continuity with exponent \((1+\alpha )/2\) in the time variable for solutions of parabolic equations. Electron. J. Differ. Equ. 2015, 96, 1–6 (2015)
Bendahmane, M., Wittbold, P., Zimmermann, A.: Renormalized solutions for a nonlinear parabolic equation with variable exponents and \(L^{1}\)-data. J. Differ. Equ. 249, 1483–1515 (2010)
Chen, Y., Levine, S., Rao, M.: Variable exponent, linear growth functionals in image restoration. SIAM J. Appl. Math. 66, 1383–1406 (2006)
Droniou, J., Eymard, R., Talbot, K.S.: Convergence in \(C([0, T];L^{2}(\Omega ))\) of weak solutions to perturbed doubly degenerate parabolic equations. J. Differ. Equ. 260, 7821–7860 (2016)
Fan, X.L., Zhao, D.: On the spaces \({L^{p(x)}(\Omega )}\) and \({W^{m,p(x)}}\). J. Math. Anal. Appl. 263, 424–446 (2001)
Gianni, R., Tedeev, A.F., Vespri, V.: Asymptotic expansion of solutions to the Cauchy problem for doubly degenerate parabolic equations with measurable coefficients. Nonlinear Anal. 138, 111–126 (2016)
Harjulehto, T., Hästö, P., Koskenoja, M., Varonen, S.: The Dirichlet energy integral and variable exponent Sobolev spaces with zero boundary values. Potential Anal. 25(3), 205–222 (2006)
Kovácik, O., Rákosník, J.: On spaces \({L^{p(x)}}\) and \({W^{k,p(x)}}\). Czechoslov. Math. J. 41, 592–618 (1991)
Le, C.N., Quach, V.C., Le, X.T.: Potential well method for \(p(x)\)-Laplacian equations with variable exponent sources. Nonlinear Anal., Real World Appl. 56, 103155 (2020)
Li, Q.: Weak Harnack estimates for supersolutions to doubly degenerate parabolic equations. Nonlinear Anal. 170, 88–122 (2018)
Lian, S., Gao, W., Yuan, H., Cao, C.: Existence of solutions to an initial Dirichlet problem of evolutional \(p(x)\)-Laplace equations. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 29, 377–399 (2012)
Liu, B., Dong, M.: A nonlinear diffusion problem with convection and anisotropic nonstandard growth conditions. Nonlinear Anal., Real World Appl. 48, 383–400 (2019)
Otto, F.: \(L^{1}\)-Contraction and uniqueness for quasilinear elliptic–parabolic equations. J. Differ. Equ. 131, 20–38 (1996)
Ruzicka, M.: Electrorheological Fluids: Modeling and Mathematical Theory. Lecture Notes in Math. Springer, Berlin (2000)
Shang, H., Cheng, J.: Cauchy problem for doubly degenerate parabolic equation with gradient source. Nonlinear Anal. 113, 323–338 (2015)
Tersenov, A.S.: The one dimensional parabolic \(p(x)\)-Laplace equation. Nonlinear Differ. Equ. Appl. 23, 27 (2016)
Tersenov, A.S., Tersenov, A.S.: Existence of Lipschitz continuous solutions to the Cauchy–Dirichlet problem for anisotropic parabolic equations. J. Funct. Anal. 272, 3965–3986 (2017)
Zhan, H.: The stability of the anisotropic parabolic equation with the variable exponent. Bound. Value Probl. 2017, 134 (2017)
Zhan, H.: Solutions to polytropic filtration equations with a convection term. Electron. J. Differ. Equ. 2017, 207, 1–10 (2017)
Zhan, H.: Infiltration equation with degeneracy on the boundary. Acta Appl. Math. 153(1), 147–161 (2018)
Zhan, H.: The stability of the solutions of an anisotropic diffusion equation. Lett. Math. Phys. 109(5), 1145–1166 (2019)
Zhan, H., Feng, Z.: Solutions of evolutionary \(p(x)\)-Laplacian equation based on the weighted variable exponent space. Z. Angew. Math. Phys. 68, 134 (2017) 1–17
Zhan, H., Feng, Z.: The stability of the solutions of convection–diffusion equation. Nonlinear Anal. 182, 193–208 (2019)
Zhan, H., Feng, Z.: The well-posedness problem of an anisotropic parabolic equation. J. Differ. Equ. 268, 389–413 (2020)
Zhan, H., Feng, Z.: Stability of anisotropic parabolic equations without boundary conditions. Electron. J. Differ. Equ. 2020, 74, 1–14 (2020)
Zhan, H., Ouyang, M.: The stability of the solutions for a porous medium equation with a convection term. Discrete Dyn. Nat. Soc. 2018, Article ID 5364746 (2018)
Zhan, H., Wen, J.: Evolutionary \(p(x)\)-Laplacian equation free from the limitation of the boundary value. Electron. J. Differ. Equ. 2016, 143, 1–13 (2016)
Zhang, C., Zhuo, S., Xue, X.: Global gradient estimates for the parabolic \(p(x,t)\)-Laplacian equation. Nonlinear Anal. 105, 86–101 (2014)
Zhikov, V.V.: On the density of smooth functions in Sobolev–Orlicz spaces. Zap. Nauč. Semin. POMI 310, 67–81 (2004)
Zhou, Z., Guo, Z., Wu, B.: A doubly degenerate diffusion equation in multiplicative noise removal models. J. Math. Anal. Appl. 458, 58–70 (2018)
Zou, W., Li, L.: Existence and uniqueness of solutions for a class of doubly degenerate parabolic equations. J. Math. Anal. Appl. 446, 1833–1862 (2017)
Acknowledgements
The author would like to thank everyone for his helps!
Funding
No applicable.
Author information
Authors and Affiliations
Contributions
The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that he has no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Weng, S. On a degenerate parabolic equation with Newtonian fluid∼non-Newtonian fluid mixed type. J Inequal Appl 2021, 23 (2021). https://doi.org/10.1186/s13660-021-02550-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-021-02550-w