Abstract
The paper studies the equation
with the boundary degeneracy coming from \(a(x)\vert_{x\in \partial \Omega }=0\). The paper introduces a new kind of weak solutions of the equation. One can study the stability of the new kind of weak solutions without any boundary value condition.
Similar content being viewed by others
1 Introduction
Consider the evolutionary \(p(x)\)-Laplacian equation
which comes from a new interesting kind of fluids: the so-called electrorheological fluids (see [1, 2]). Here, \(\Omega \subset \mathbb{R}^{N}\) is a bounded domain with smooth boundary ∂Ω, \(p(x)\) is a measurable function, we assume that \(a(x)>0, x \in \Omega \), \(a(x)=0, x\in \partial \Omega \). If \(a(x)=1\), the initial boundary value problem of equation (1.1) has been widely studied [3–5]. If \(a(x)|_{ x\in \partial \Omega }=0\), the situation may completely different from that of \(a(x)\equiv 1\). To see that, let us suppose that u and v would be two classical solutions of equation (1.1) with the initial values \(u(x,0)\) and \(v(x,0)\), respectively. It is easy to show that
It implies that the classical solutions (if there are any) of equation (1.1) are controlled by the initial value completely. Certainly, since equation (1.1) is degenerate on the boundary and may be degenerate or singular at points where \(\vert \nabla u \vert =0\), it only has a weak solution generally, so whether the conclusion (1.1) is true or not remains to be verified. This is the main aim of the paper.
If \(a(x)=d^{\alpha }(x)\), \(d=\operatorname{dist}(x,\partial \Omega )\) is the distance from the boundary, the well-posedness of the solutions of the equation
was first studied by Yin and Wang [6], and later by Yin and Wang [7], Zhan and Xie [8], etc. While the corresponding equation related to the \(p(x)\)-Laplacian
was studied by Zhan and Wen [9], and Zhan [10].
In this short paper, we will study the well-posedness of the solutions of equation (1.1) with the initial value
but without any boundary value condition.
2 Basic functional space and a new kind of weak solution
Let us recall some definitions and basic properties of the weighted variable exponent Lebesgue spaces \({L^{p(x)}}(a,\Omega )\) and the weighted variable exponent Sobolev spaces \({W^{1,p(x)}}(a,\Omega )\) according to [11]. Set
For any \(h \in {C_{+}}(\overline{\Omega} )\) we define
For any \(p \in {C_{+}}(\overline{\Omega })\), \({L^{p(x)}}(a,\Omega )\) consists of all measurable real-valued functions u such that
endowed with the Luxemburg norm
\({W^{1,p(x)}}(a,\Omega )\) is defined by
endowed with the norm
It is easy to see that the norm
is equivalent to \(\Vert u \Vert _{W^{1,p(x)}(a,\Omega )}\).
Lemma 2.1
Denote
Then
-
(1)
\(\rho (u) > 1\) \(( = 1; < 1)\) if and only if \({\Vert u \Vert _{{L^{p(x)}}(a,\Omega )}} > 1\) \(( = 1; < 1)\), respectively;
-
(2)
if \({\Vert u \Vert _{{L^{p(x)}}(a,\Omega )}} > 1\), then \(\Vert u \Vert _{{L^{p(x)}}(a,\Omega )}^{{p^{-} }} \leqslant \rho (u) \leqslant \Vert u \Vert _{{L^{p(x)}}(a,\Omega )}^{{p^{+} }}\);
-
(3)
if \({\Vert u \Vert _{{L^{p(x)}}(a,\Omega )}} < 1\), then \(\Vert u \Vert _{{L^{p(x)}}(a,\Omega )}^{{p^{+} }} \leqslant \rho (u) \leqslant \Vert u \Vert _{{L^{p(x)}}(a,\Omega )}^{{p^{-} }}\)
Remark 2.2
If we set
then following the same argument we have
Let a be a measurable positive and a.e. finite function in \(\mathbb{R}^{N}\) satisfying
-
(w1)
\(a \in L_{\mathrm{loc}}^{1}(\Omega )\) and \({a^{-\frac{1}{{p(x) - 1}}}} \in L_{\mathrm{loc}}^{1}(\Omega )\);
-
(w2)
\({a^{ - s(x)}} \in {L^{1}}(\Omega )\) with \(s(x) \in (\frac{N}{ {p(x)}},\infty ) \cap [\frac{1}{{p(x) - 1}},\infty )\).
It is worth pointing out that the condition (w1) is essential. Without it the space \(W^{1,p(x)}(a,\Omega )\) is not necessarily a Banach space even though \(p(x)\) is a constant; see [11]. There are several kinds functions which satisfy (w1), (w2), an obvious example is \(a(x)=d^{ \alpha }(x)\), \(\alpha < p^{-}-1\), \(p^{-}=\min_{x\in \overline{\Omega }}p(x)\).
Lemma 2.3
Under the condition \(1< p_{0}\leq p(x)\leq p_{1}< \infty \) for the conjugate space \([{L^{p(x)}}(\Omega , a)]^{\prime}\) we have
Lemma 2.4
Let \(\Omega \subset \mathbb{R}^{N}\) be an open set, \(p\in C_{+}(\overline{\Omega })\), and let \(\Omega_{0}\) be a compact subset of Ω. If (w1) holds, then
Here ↪ stands for a continuous embedding.
Lemma 2.5
Let \(p\in C_{+}(\overline{\Omega })\). Then we have
-
(i)
if a is a positive measurable and finite function, then \(L^{p(x)}(a,\Omega )\) is a reflexive Banach space;
-
(ii)
moveover, if (w1) holds, then \(W^{1,p(x)}(a,\Omega )\) is a reflexive Banach space.
Lemma 2.6
Let \(p,s\in C_{+}(\overline{\Omega })\) and let (w1) and (w2) be satisfied. Then we have the following compact embedding:
provided that \(r\in C_{+}(\overline{\Omega })\) and \(1\leq r(x)< p_{s} ^{\ast }(x)\) for all \(x\in \Omega \). Here,
and
All this heavily relies on [11].
Definition 2.7
A function \(u(x,t)\) is said to be a weak solution of equation (1.1) with the initial condition (1.5), if
and, for any function \(\varphi_{1} \in L^{\infty }(0,T; W^{1,p(x)}(a, \Omega ))\), \(\varphi_{2}\in C_{0}^{1}(Q_{T})\), the following integral equivalence holds:
The initial condition (1.5) is satisfied in the sense of
In our paper, we first study the existence of the weak solution.
Theorem 2.8
If \(a(x)\) satisfies the conditions (w1), (w2),
then there is a solution of equation (1.1) with the initial value (1.5).
Then we will study the stability of the weak solutions.
Theorem 2.9
If a satisfies (w1)-(w2), and for large enough n,
let \(u,v\) be two solutions of equation (1.1) with the initial values \(u_{0},v_{0}\), respectively. If \(u,v\) satisfy (2.1), then
If \(a(x)=d^{\alpha }(x)\) as (1.4), the condition (2.5) is equivalent to \(\alpha \geq p^{+}-1\), then Theorem 2.9 is the same as the main result in [9].
Theorem 2.10
If a satisfies (w1)-(w2), and for large enough n, let \(u,v\) be two solutions of equation (1.1) with the initial values \(u_{0},v_{0}\), respectively. If \(u,v\) satisfy (2.1), and
then the stability (2.6) is true.
By the way, the phenomenon that the solution of a degenerate parabolic equation may be free from the boundary condition also had been studied by Zhan [12] and others.
3 Proofs of Theorems 2.8-2.10
Proof of Theorem 2.8
Let \(a(x)\) satisfy (w1), (w2). Consider the regularized equation
with the initial boundary conditions
Similar to [9], we can easily prove that the solution \({u_{\varepsilon }}\) of the initial boundary value problem (3.1)-(3.3), there is a constant c only dependent on \({\Vert {{u_{0}}} \Vert _{{L^{\infty} }(\Omega )}}\) but independent on ε, such that
Multiplying (3.1) by \(u_{\varepsilon }\) and integrating it over \(Q_{T}\), we have
then
and
Hence, by (3.4), (3.7), using Lemma 2.3 and Lemma 2.6, there exist a function u and a n-dimensional vector \(\overrightarrow{\zeta} = ( {\zeta_{1}}, \ldots ,{\zeta_{n}})\) satisfying \(\overrightarrow{\zeta} = ({\zeta_{1}}, \ldots ,{\zeta_{n}})\)
and \(u_{\varepsilon }\rightarrow u\) a.e. \(\in Q_{T}\),
In order to prove u is the solution of equation (1.4), we notice that, for any function \(\varphi \in C_{0}^{\infty} ({Q_{T}})\),
Since as \(\varepsilon \rightarrow 0\), by the fact that \(a(x)\) is a \(C^{1}(\overline{\Omega })\) function with \(a(x)\vert_{\partial \Omega }=0\), \(a(x)>0, x\in \Omega \), we have \(c>\sup_{\operatorname{supp} \varphi }\frac{\vert \nabla \varphi \vert }{a(x)}>0\) due to \(\varphi \in C_{0}^{\infty} ({Q_{T}})\), and we have
Now, similar to the general evolutionary p-Laplacian equation, we are able to prove that (the details are omitted here)
and
for any function \(\varphi \in C_{0}^{\infty} ({Q_{T}})\). By the process of taking the limit, for \(\varphi =\varphi_{1}\varphi_{2}\), (3.10) is still true. Here, \(\varphi_{1} \in L^{\infty }(0,T; W^{1,p(x)}(a, \Omega ))\), \(\varphi_{2}\in C_{0}^{1}(Q_{T})\). Then u satisfies equation (1.1) in the sense of Definition 2.7. □
Proof of Theorem 2.9
Let u and v be two weak solutions of equation (1.1) with the initial values \(u(x,0)\), \(v(x,0)\), respectively.
From the definition of the weak solution, we have \(u,v \in L^{\infty }(0,T; W^{1, p(x)}(a, \Omega ))\). For any given positive integer n, let \({g_{n}}(s)\) be an odd function, and
Clearly,
Denoting \(\Omega_{\lambda }=\{x\in \Omega : a(x)>\lambda \}\), let
Since \(\varphi_{1}=g_{n}(u-v)\in L^{\infty }(0,T; W^{1,p(x)}(a,\Omega ))\), by the process of taking the limit, we can choose \(\phi_{n}{g _{n}}(u - v)\) as the test function; then
Thus
Denoting \(q(x)=\frac{p(x)}{p(x)-1}\), by \(\vert \nabla \phi_{n} \vert =n\nabla a\) when \(x\in \Omega \setminus \Omega_{\frac{1}{n}}\), and in the other places, it being identical to zero, we have
By (2.5), we have the following fact:
Then by (3.14)-(3.15), we have
which goes to 0 as \(n\rightarrow 0\).
Now, let \(n\rightarrow \infty \) in (3.11). Then
It implies that
□
Proof of Theorem 2.10
Just as the proof of Theorem 2.9, we have (3.11)-(3.14). By the assumption (2.7),
from (3.14), we have
which goes to 0 as \(n\rightarrow 0\).
Now, let \(n\rightarrow \infty \) in (3.11), we have the conclusion. □
4 Another kind of weak solutions
In general, one may conjecture the conditions (w1)-(w2) to be necessary. Though beyond one’s imagination, we still can prove the stability of the weak solutions without (w1)-(w2). In the following, we only assume that \(a(x)>0\), when \(x\in \Omega \), \(a(x)=0\), when \(x\in \partial \Omega \).
We will give a new kind of weak solution and study its stability without any boundary value condition. We denote
Clearly,
Here \(W^{1, p(x)}(\Omega )\) is the variable exponent Sobolev space, one can refer to [13–15] for the details, also, roughly speaking, one can choose the weighted function \(a(x)=1\) in the space \(W^{1, p(x)}(a, \Omega )\) defined above.
Lemma 4.1
-
(i)
The spaces \(( L^{p(x)}(\Omega ), \Vert \cdot \Vert _{L^{p(x)}(\Omega )} ) \), \(( W^{1,p(x)}(\Omega ), \Vert \cdot \Vert _{W^{1,p(x)}(\Omega )} ) \) and \(W^{1,p(x)}_{0}(\Omega )\) are reflexive Banach spaces.
-
(ii)
\(p(x)\)-Hölder’s inequality. Let \(q_{1}(x)\) and \(q_{2}(x)\) be real functions with \(\frac{1}{q_{1}(x)}+\frac{1}{q_{2}(x)} = 1\) and \(q_{1}(x) > 1\). Then the conjugate space of \(L^{q_{1}(x)}(\Omega )\) is \(L^{q_{2}(x)}(\Omega )\). And for any \(u \in L^{q_{1}(x)}(\Omega )\) and \(v \in L^{q_{2}(x)}(\Omega )\), we have
$$\begin{aligned} \biggl\vert \int_{\Omega }uv \,dx \biggr\vert \leq 2\Vert u \Vert _{L^{q_{1}(x)}(\Omega )}\Vert v \Vert _{L^{q_{2}(x)}(\Omega )}. \end{aligned}$$ -
(iii)
$$\begin{aligned}& \textit{if } \Vert u \Vert _{L^{p(x)}(\Omega )} = 1, \quad \textit{then } \int_{\Omega }\Vert u \Vert ^{p(x)}\,dx = 1, \\& \textit{if } \Vert u \Vert _{L^{p(x)}(\Omega )} > 1, \quad \textit{then } \Vert u \Vert ^{p^{-}}_{L^{p(x)}( \Omega )}\leq \int_{\Omega }\vert u \vert ^{p(x)}\,dx\leq \Vert u \Vert ^{p^{+}}_{L^{p(x)}( \Omega )}, \\& \textit{if } \Vert u \Vert _{L^{p(x)}(\Omega )} < 1, \quad \textit{then } \Vert u \Vert ^{p^{+}}_{L^{p(x)}( \Omega )}\leq \int_{\Omega }\vert u \vert ^{p(x)}\,dx\leq \Vert u \Vert ^{p^{-}}_{L^{p(x)}(\Omega )}. \end{aligned}$$
Definition 4.2
A function \(u(x,t)\) is said to be a solution of equation (1.1) with the initial condition (1.5), if
for any given t, \(\varphi_{1}(x,t)\in W^{1,p(x)}_{\alpha }\) and for any given x, \(\vert \varphi_{1}(x,t) \vert \leq c\), \(\varphi_{2} \in C_{0}^{1} ({Q_{T}})\),
The initial condition (1.5) is satisfied in the sense of (2.3).
The definition is a minor version of Definition 2.7.
Theorem 4.3
If \(a(x)>0, x\in \Omega \), \(a(x)=0, x\in \partial \Omega \), and
then there is a solution of equation (1.1) with the initial value (1.5) in the sense of Definition 4.2.
We can prove Theorem 4.3 in a similar way to that of Theorem 2.8, so we omit the details here. Moreover, similar to the proof of Theorem 2.9, we can prove the stability of the solutions when the diffusion coefficient \(a(x)\) does not obey the conditions (w1)-(w2).
Theorem 4.4
Let \(u,v\) be two solutions of (1.1) with the initial (1.5) in the sense of Definition 4.2, \(u,v\in L^{\infty }(Q _{T})\), \(a(x)\vert \nabla u \vert ^{p}\in L^{1}(Q_{T})\), \(a(x)\vert \nabla v \vert ^{p} \in L^{1}(Q_{T})\), and \(a(x)\) satisfy the condition (2.5). If the assumption (2.6) or (2.7) is true, then
Proof
Let u and v be two weak solutions of equation (1.1) with the initial values \(u(x,0)\), \(v(x,0)\), respectively.
From the definition of the weak solution, we have \(a(x)\vert \nabla u\vert ^{p(x)}, a(x) \vert \nabla v{\vert ^{p(x)}} \in {L^{\infty }}(0,T; L^{1}( \Omega ))\). For any given positive integer n, let \({g_{n}}(s)\) and \(\phi_{n}(x)\) be as in the proof of Theorem 2.9.
Since \(\varphi_{1}=g_{n}(u-v)\in W^{1,p(x)}_{\alpha }\), by the process of taking the limit, we can choose \(\phi_{n}{g_{n}}(u - v)\) as the test function, then
Thus, by the condition (2.5),
We have
which goes to 0 as \(n\rightarrow 0\) provided that the assumption (2.7) is true.
By these facts, we can deduce the conclusion of Theorem 2.9. □
References
Ruzicka, M: Electrorheological Fluids: Modeling and Mathematical Theory. Lecture Notes in Math., vol. 1748. Springer, Berlin (2000)
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, Shmarev, S: Parabolic equations with double variable nonlinearities. Math. Comput. Simul. 81, 2018-2032 (2011)
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)
Yin, J, Wang, C: Properties of the boundary flux of a singular diffusion process. Chin. Ann. Math., Ser. A 25(2), 175-182 (2004)
Yin, J, Wang, C: Evolutionary weighted p-Laplacian with boundary degeneracy. J. Differ. Equ. 237, 421-445 (2007)
Zhan, H, Xie, Q: The boundary degeneracy of a singular diffusion equation. J. Inequal. Appl. 2014, 284 (2014). doi:10.1186/1029-242x-2014-284
Zhan, H, Wen, J: Evolutionary \(p(x)\)-Laplacian equation free from the limitation of the boundary value. Electron. J. Differ. Equ. 2016, 143, (2016)
Zhan, H: The boundary value condition of an evolutionary \(p(x)\)-Laplacian equation. Bound. Value Probl. 2015, 112 (2015)
Ho, K, Sim, I: On degenerate \(p(x)\)-Laplacian equations involving critical growth with two parameters. Nonlinear Anal. 132, 95-114 (2016)
Zhan, H: The solutions of a hyperbolic-parabolic mixed type equation on half-space domain. J. Differ. Equ. 259, 1449-1481 (2015)
Zhikov, VV: On the density of smooth functions in Sobolev-Orlicz spaces. Zap. Nauč. Semin. POMI 310, 67-81 (2004). Translation in J. Math. Sci. (N.Y.) 132, 285-294 (2006)
Fan, XL, Zhao, D: On the spaces \({L^{p(x)}(\Omega )}\) and \({W^{m,p(x)}}\). J. Math. Anal. Appl. 263, 424-446 (2001)
Kovácik, O, Rákosník, J: On spaces \({L^{p(x)}}\) and \({W^{k,p(x)}}\). Czechoslov. Math. J. 41, 592-618 (1991)
Acknowledgements
The author sincerely thanks the reviewers for their good modifying opinions on this paper. The paper is supported by the Natural Science Foundation of China (no: 11371297), the Natural Science Foundation of Fujian province (no: 2015J01592), and by the Science Foundation of Xiamen University of Technology, China
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
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
Zhan, H. The stability of evolutionary \(p(x)\)-Laplacian equation. Bound Value Probl 2017, 13 (2017). https://doi.org/10.1186/s13661-016-0742-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-016-0742-0