Skip to main content

The applications of Sobolev inequalities in proving the existence of solution of the quasilinear parabolic equation

Abstract

The aim of this paper is to show some applications of Sobolev inequalities in partial differential equations. With the aid of some well-known inequalities, we derive the existence of global solution for the quasilinear parabolic equations. When the blow-up occurs, we derive the lower bound of the blow-up solution.

1 Introduction

Sobolev inequalities, also called Sobolev imbedding theorems, belong to the issues of focus of current research, and play an important role in reality. Inequalities are often related to the dimension of space. We note two inequalities which are widely used in partial differential equations (see [6, 14, 15, 19]).

Lemma 1.1

Assume that \(\Omega \subset R^{N}\)is a bounded, sufficiently smooth, simply connected domain with boundary ∂Ω of bounded curvature and supposing \(v\in C_{0}^{1}(\Omega )\). Then for \(N>2\)

$$\begin{aligned} \biggl( \int _{\Omega } \vert v \vert ^{\delta }\,dx \biggr)^{\frac{1}{\delta }}\leq \Lambda \biggl( \int _{\Omega } \vert \nabla v \vert ^{2}\,dx \biggr)^{\frac{1}{2}}, \end{aligned}$$

where \(\delta =\frac{2N}{N-2}\)and \(\Lambda =[N(N-2)\pi ]^{-\frac{1}{2}}[ \frac{(N-1)!}{\Gamma (\frac{N}{2})}]^{\frac{1}{N}}\). This lemma has been proved in [18]. However, when \(N=2\), the Lemma 1.1is no longer valid. Bandle [1] obtained a similar result which can be written as follows.

Lemma 1.2

Let D be a plane domain with sufficiently smooth boundary ∂D, and let v be a sufficiently smooth function defined on the closure D̅ of D. If \(v=0\)on ∂D, then

$$\begin{aligned} \lambda _{1} \int _{D} \vert v \vert ^{2} \,dx\leq \int _{D} \vert \nabla v \vert ^{2}\,dx, \end{aligned}$$

where \(\lambda _{1}\)is the smallest positive eigenvalue of

$$\begin{aligned} \Delta \omega +\lambda \omega =0\quad \textit{in }D,\qquad \omega =0 \quad\textit{on }\partial D. \end{aligned}$$

The aim of the present paper is to show how to use Lemma 1.1 and Lemma 1.2 to prove the nonexistence and global existence for the quasilinear parabolic system. Besides Lemma 1.1 and Lemma 1.2, we will also use the Young inequality, the arithmetic geometric mean inequality, and the Hölder inequality. These inequalities make it possible for us to obtain more optimal results than the literature. When one studied the global existence and blow-up of the solutions of parabolic equations, many papers always required the initial data to be sufficiently small (or sufficiently large) and/or compactly supported, and the dimension of space and the parameters of the equation satisfy certain restrictions (see e.g., [3, 8–10, 16, 20]). In this paper, it is only necessary to assume that the initial data belongs to \(L^{2}(\Omega )\). When the dimension of space and the parameters of equation satisfy certain constraints, the global solution of quasilinear parabolic equation is proved. When blow-up occurs, we derive the lower bound of the blow-up time. Obviously, this approach fully shows that the differential inequality technique is very interesting. In next section, we introduce the quasilinear parabolic equation and give our main results.

2 The quasilinear parabolic equation

The global existence or nonexistence and the blow-up in finite time of solutions to semilinear or quasilinear parabolic equations and systems have received a lot of attention. Payne and Schaefer [15] considered the following problem of a semilinear heat equation:

$$\begin{aligned} u_{t}=\Delta u+f(u) \end{aligned}$$

under homogeneous Dirichlet boundary conditions and appropriate constraints on the nonlinearity \(f(u)\). By using a differential inequality technique, a lower bound on the blow-up time was determined if blow-up occurs.

Grillo et al. [9] considered the nonlinear evolution problem of the form

$$\begin{aligned} u_{t}=\Delta u^{m}+u^{p}, \end{aligned}$$

in an N-dimensional complete, simply connected Riemannian manifold with nonpositive sectional curvatures (namely a Cartan–Hadamard manifold). Under some appropriate constraints on \(p,m\) and the initial data, they proved that the problem has a global in time solution or the solution of the problem blows up at a finite time.

Yang et al. [21] considered local quasilinear parabolic equation with a potential term

$$\begin{aligned} u_{t}=\Delta u^{m}-V(x)u^{m}+u^{p}. \end{aligned}$$

By using the test function method and constructing a supersolution technique, they proved that every nontrivial solution blows up in finite time if \(1< p\leq p_{c}\) and there are both global and nonglobal solutions if \(p>p_{c}\). For more results, see [5, 12, 17, 20].

In this paper, we consider a more interesting system of quasilinear parabolic equation

$$\begin{aligned} &u_{t}=\Delta u^{m}-V(x)u+ \vert x \vert ^{\alpha }u^{p} \biggl( \int _{\Omega }\beta (x)u^{q}\,dx \biggr)^{\frac{r}{q}}, \quad \text{in }\Omega \times (0, T), \end{aligned}$$
(1)
$$\begin{aligned} &u=0,\quad \text{on }\partial \Omega \times (0, T), \end{aligned}$$
(2)
$$\begin{aligned} & u(x,0)=u_{0}(x),\quad \text{in }\Omega, \end{aligned}$$
(3)

where \(\alpha, p, q, r>0, m>1\), \(u_{0}\in C_{0}(\Omega )\) is nonnegative, \(V(x)\) is a positive function satisfying \(V(x)\sim |x|^{-\sigma },\sigma >0\), \(\beta (x)\) is positive. The model (1)–(3) describes the diffusion of concentration of some Newtonian fluids through a porous medium or the density of some biological species in many physical phenomena and biological species theories (see [2, 7]). Many methods (e.g., the Fourier coefficient method, the supersolution technique, the Green function method, the test function method, weighted energy arguments, the comparison method, and the concavity method) used to determine an upper bound for the blow-up time. The lower bound for the blow-up time is equally important and may be more difficult to obtain. In this paper, we first use the Sobolev inequalities to prove the existence of global solution. Our main results can be written as follows.

Theorem 2.1

Letting \(u(x,t)\)be a nonnegative solution of problem (1)–(3) in Ω, where Ω is a simply connected, bounded domain in \(R^{N}\ (N\geq 2)\). Then, if \(m+3>4(p+r)\), then problem (1)–(3) has a solution that is global in time whether \(N=2\)or \(N>2\).

Furthermore, if \(m+3\leq 4(p+r)\), the solution of (1)–(3) maybe blows up in some finite time. In this case, it is necessary to derive the lower bound of blow-up time. Whether the blow-up occurs or not, such a lower bound is still meaningful. We can obtain the following result.

Theorem 2.2

Letting \(u(x,t)\)be a nonnegative solution of problem (1)–(3) in Ω, where Ω is a simply connected, bounded domain in \(R^{N}\ (N\geq 2)\). If \(u(x,t)\)blows up at some finite time \(t^{*}\), then \(t^{*}\)can be bounded from below.

More precisely,

if \(2< N<\frac{4(p+r)}{4(p+r)-(m+3)}\)and \(2(p+r)< m+3<4(p+r)\), then

$$\begin{aligned} t^{*}\geq C_{4}\frac{2(m+3)-4(p+r)}{4(p+r)-(m+3)} \bigl[\varphi (0) \bigr]^{\frac{(m+3)-4(p+r)}{2(m+3)-4(p+r)}}, \end{aligned}$$

where \(C_{4}\)is a positive constant and \(\varphi (0)=\int _{\Omega }u_{0}^{2}\,dx\).

If \(N=2\)and \(2(p+r)< m+1, m+3<4(p+r)\), then

$$\begin{aligned} t^{*}\geq \frac{(m+1)-(p+r)}{p+r} C_{6} \bigl[\varphi (0) \bigr]^{- \frac{p+r}{(m+1)-(p+r)}}, \end{aligned}$$

where \(C_{6}\)is a positive constant.

3 The proof of Theorem 2.1

To prove Theorem 2.1, we establish an auxiliary function:

$$\begin{aligned} \varphi (t)= \int _{\Omega }u^{2}\,dx. \end{aligned}$$
(4)

By using the divergence theorem and (1)–(3), we compute

$$\begin{aligned} \varphi '(t)={}&2 \int _{\Omega }uu_{t}\,dx=2 \int _{\Omega }u \biggl[\Delta u^{m}-V(x)u+ \vert x \vert ^{\alpha }u^{p} \biggl( \int _{\Omega }\beta (x)u^{q}\,dx \biggr)^{\frac{r}{q}} \biggr]\,dx \\ ={}&{-}\frac{8m}{(m+1)^{2}} \int _{\Omega } \bigl\vert \nabla u^{\frac{m+1}{2}} \bigr\vert ^{2}\,dx-2 \int _{\Omega }V(x)u^{2}\,dx \\ &{}+2 \int _{\Omega } \vert x \vert ^{\alpha }u^{p+1} \biggl( \int _{\Omega }\beta (x)u^{q}\,dx \biggr)^{\frac{r}{q}} \,dx. \end{aligned}$$
(5)

1. If \(N>2\), noting that \(m+3>4(p+r)\), then, by using the Hölder inequality and Lemma 1.1, we are led to

$$\begin{aligned} 2 &\int _{\Omega } \vert x \vert ^{\alpha }u^{p+1} \biggl( \int _{\Omega }\beta (x)u^{q}\,dx \biggr)^{\frac{r}{q}} \,dx \\ &\quad =2 \biggl( \int _{\Omega } \vert x \vert ^{\alpha }u^{p+1} \,dx \biggr) \biggl( \int _{\Omega }\beta (x)u^{q}\,dx \biggr)^{\frac{r}{q}} \\ &\quad\leq 2 \biggl( \int _{\Omega }\bigl(u^{\frac{m+1}{2}}\bigr)^{\delta }\,dx \biggr)^{\delta _{1}} \biggl( \int _{\Omega }V(x)u^{2}\,dx \biggr)^{\delta _{2}+\frac{1}{2}} \\ &\qquad\times \biggl( \int _{\Omega } \vert x \vert ^{\frac{\alpha }{\delta _{3}}}\beta ^{\frac{r}{q\delta _{3}}}(x)V^{- \frac{\delta _{2}+\frac{1}{2}}{\delta _{3}}}(x)\,dx \biggr)^{\delta _{3}} \\ &\quad\leq 2\Lambda ^{\delta \delta _{1}} \biggl( \int _{\Omega } \bigl\vert \nabla u^{\frac{m+1}{2}}\biggr) \bigr\vert ^{2}\,dx )^{\frac{\delta \delta _{1}}{2}} \biggl( \int _{\Omega }V(x)u^{2}\,dx \biggr)^{\delta _{2}+\frac{1}{2}} \\ &\qquad{}\times \biggl( \int _{\Omega } \vert x \vert ^{\frac{\alpha }{\delta _{3}}}\beta ^{\frac{r}{q\delta _{3}}}(x)V^{- \frac{\delta _{2}+\frac{1}{2}}{\delta _{3}}}(x)\,dx \biggr)^{\delta _{3}}, \end{aligned}$$
(6)

where \(\delta _{1}=\frac{(p+r)(N-2)}{(m+3)N}, \delta _{2}=\frac{p+r}{m+3}\) and \(\delta _{3}=\frac{4(p+r)-N[4(p+r)-(m+3)]}{2(m+3)N}\). So, we can get

$$\begin{aligned} 2 &\int _{\Omega } \vert x \vert ^{\alpha }u^{p+1} \biggl( \int _{\Omega }\beta (x)u^{q}\,dx \biggr)^{\frac{r}{q}} \,dx \\ &\quad\leq 2C_{1}\Lambda ^{\delta \delta _{1}} \biggl[\varepsilon _{1}^{- \frac{(p+r)}{m+3-(p+r)}} \biggl( \int _{\Omega }V(x)u^{2}\,dx \biggr)^{\frac{m+3+2(p+r)}{2(m+3)-2(p+r)}} \biggr]^{\frac{m+3-(p+r)}{(m+3)}} \\ &\qquad{}\times \biggl(\varepsilon _{1} \int _{\Omega } \bigl\vert \nabla u^{\frac{m+1}{2}} \bigr\vert ^{2}\,dx \biggr)^{\frac{p+r}{m+3}} \\ &\quad\leq 2C_{1}\frac{m+3-(p+r)}{(m+3)}\Lambda ^{\delta \delta _{1}} \varepsilon _{1}^{-\frac{(p+r)}{m+3-(p+r)}} \biggl( \int _{\Omega }V(x)u^{2}\,dx \biggr)^{\frac{m+3+2(p+r)}{2(m+3)-2(p+r)}} \\ &\qquad{}+2C_{1}\frac{p+r}{m+3}\Lambda ^{\delta \delta _{1}}\varepsilon _{1} \int _{\Omega } \bigl\vert \nabla u^{\frac{m+1}{2}} \bigr\vert ^{2}\,dx, \end{aligned}$$
(7)

where \(C_{1}= (\int _{\Omega }|x|^{\frac{\alpha }{\delta _{3}}}\beta ^{\frac{r}{q\delta _{3}}}(x)V^{- \frac{\delta _{2}+\frac{1}{2}}{\delta _{3}}}(x)\,dx )^{\delta _{3}}\) and \(\varepsilon _{1}\) is a positive constant to be determined later. Inserting (7) into (5) and choosing \(\varepsilon _{1}= \frac{8m(m+3)}{2C_{1}(p+r)\Lambda ^{\delta \delta _{1}}(m+1)^{2}}\), we obtain

$$\begin{aligned} \varphi '(t)\leq C_{2} \biggl( \int _{\Omega }V(x)u^{2}\,dx \biggr)^{\frac{m+3+2(p+r)}{2(m+3)-2(p+r)}}-2 \int _{\Omega }V(x)u^{2}\,dx, \end{aligned}$$
(8)

where \(C_{2}=2C_{1}\frac{m+3-(p+r)}{m+3}\Lambda ^{\delta \delta _{1}} \varepsilon _{1}^{-\frac{(p+r)}{m+3-(p+r)}}\). Since \(m+3>4(p+r)\), we can deduce from (8)

$$\begin{aligned} \varphi '(t)\leq \biggl( \int _{\Omega }V(x)u^{2}\,dx \biggr)^{\frac{m+3+2(p+r)}{2(m+3)-2(p+r)}} \biggl[C_{2}-2 \biggl( \int _{\Omega }V(x)u^{2}\,dx \biggr)^{\frac{m+3-4(p+r)}{2(m+3)-2(p+r)}} \biggr]. \end{aligned}$$
(9)

Inequality (9) shows that the solution of (1)–(3) cannot blow up in any finite time. Otherwise, if the solution of (1)–(3) becomes unbounded in a time \(t^{*}<\infty \), there must be an interval \([t_{0}, t^{*})\) in which \(\varphi '(t)<0\). So \(\varphi (t^{*})<\varphi (t_{0})\). This is a contradiction.

2. If \(N=2\), noting that \(m+3>4(p+r)\), we use the Hölder inequality and Lemma 1.2 to obtain

$$\begin{aligned} &2 \int _{\Omega } \vert x \vert ^{\alpha }u^{p+1} \biggl( \int _{\Omega }\beta (x)u^{q}\,dx \biggr)^{\frac{r}{q}} \,dx \\ &\quad\le 2 \biggl( \int _{\Omega }\bigl(u^{\frac{m+1}{2}}\bigr)^{2} \,dx \biggr)^{ \frac{p+r}{m+3}} \biggl( \int _{\Omega }V(x)u^{2}\,dx \biggr)^{\frac{p+r}{m+3}+ \frac{1}{2}} \\ &\qquad{}\times \biggl( \int _{\Omega } \vert x \vert ^{\frac{2(m+3)\alpha }{(m+3)-4(p+r)}}\beta ^{\frac{2(m+3)r}{q[(m+3)-4(p+r)]}}(x)V^{- \frac{2(p+r)+(m+3)}{(m+3)-4(p+r)}}(x)\,dx \biggr)^{ \frac{(m+3)-4(p+r)}{2(m+3)}} \\ &\quad\leq 2\lambda _{1}^{\frac{p+r}{m+3}} \biggl[\varepsilon _{2}^{- \frac{p+r}{m+3-(p+r)}} \biggl( \int _{\Omega }V(x)u^{2}\,dx \biggr)^{\frac{(m+3)+2(p+r)}{2[(m+3)-(p+r)]}} \biggr]^{\frac{m+3-(p+r)}{m+3}} \\ & \qquad{}\times\biggl[\varepsilon _{2} \int _{\Omega } \bigl\vert \nabla u^{\frac{m+1}{2}} \bigr\vert ^{2} \,dx \biggr]^{\frac{p+r}{m+3}} \\ &\qquad{}\times \biggl( \int _{\Omega } \vert x \vert ^{\frac{2(m+3)\alpha }{(m+3)-4(p+r)}}\beta ^{\frac{2(m+3)r}{q[(m+3)-4(p+r)]}}(x)V^{- \frac{2(p+r)+(m+3)}{(m+3)-4(p+r)}}(x)\,dx \biggr)^{ \frac{(m+3)-4(p+r)}{2(m+3)}}. \end{aligned}$$

Similar to the computations in (6)–(9), we can prove the problem (1)–(3) has a solution that is global in time in this case. The proof of Theorem 2.1 is completed.

4 The proof for Theorem 2.2

First, we also use the function \(\varphi (t)\) which we have defined in (4). However, if \(N>2\), we rewrite (6) as

$$\begin{aligned} 2 &\int _{\Omega } \vert x \vert ^{\alpha }u^{p+1} \biggl( \int _{\Omega }\beta (x)u^{q}\,dx \biggr)^{\frac{r}{q}} \,dx \\ &\quad\leq 2 \biggl( \int _{\Omega }u^{2}\,dx \biggr)^{\frac{1}{2}} \biggl( \int _{\Omega }\bigl(u^{\frac{m+1}{2}}\bigr)^{\delta }\,dx \biggr)^{\delta _{1}} \biggl( \int _{\Omega }V(x)u^{2}\,dx \biggr)^{\delta _{2}} \\ &\qquad{}\times \biggl( \int _{\Omega } \vert x \vert ^{\frac{\alpha }{\delta _{3}}}\beta ^{\frac{r}{q\delta _{3}}}(x)V^{-\frac{\delta _{2}}{\delta _{3}}}(x)\,dx \biggr)^{\delta _{3}} \\ &\quad\leq 2\Lambda ^{\delta \delta _{1}} \biggl( \int _{\Omega }u^{2}\,dx \biggr)^{\frac{1}{2}} \biggl( \int _{\Omega } \bigl\vert \nabla u^{\frac{m+1}{2}} \bigr\vert ^{2}\,dx \biggr)^{ \frac{\delta \delta _{1}}{2}} \biggl( \int _{\Omega }V(x)u^{2}\,dx \biggr)^{ \delta _{2}} \\ &\qquad{}\times \biggl( \int _{\Omega } \vert x \vert ^{\frac{\alpha }{\delta _{3}}}\beta ^{\frac{r}{q\delta _{3}}}(x)V^{-\frac{\delta _{2}}{\delta _{3}}}(x)\,dx \biggr)^{\delta _{3}}. \end{aligned}$$
(10)

Since \(2< N<\frac{4(p+r)}{4(p+r)-(m+3)}\) and \(2(p+r)< m+3<4(p+r)\), inequality (10) holds. Moreover, by the Young inequality we have

$$\begin{aligned} 2 &\int _{\Omega } \vert x \vert ^{\alpha }u^{p+1} \biggl( \int _{\Omega }\beta (x)u^{q}\,dx \biggr)^{\frac{r}{q}} \,dx \\ &\quad\leq 2C_{3}\Lambda ^{\delta \delta _{1}} \biggl[\varepsilon _{3}^{- \frac{2(p+r)}{m+3-2(p+r)}} \biggl( \int _{\Omega }u^{2}\,dx \biggr)^{\frac{m+3}{2(m+3)-4(p+r)}} \biggr]^{\frac{m+3-2(p+r)}{m+3}} \\ &\qquad{}\times \biggl[\varepsilon _{3} \biggl( \int _{\Omega } \bigl\vert \nabla u^{\frac{m+1}{2}} \bigr\vert ^{2}\,dx \biggr)^{\frac{1}{2}} \biggl( \int _{\Omega }V(x)u^{2}\,dx \biggr)^{\frac{1}{2}} \biggr]^{\frac{2(p+r)}{m+3}} \\ &\quad\leq 2 C_{3}\Lambda ^{\delta \delta _{1}}\frac{m+3-2(p+r)}{m+3} \varepsilon _{3}^{-\frac{2(p+r)}{m+3-2(p+r)}} \biggl( \int _{\Omega }u^{2}\,dx \biggr)^{\frac{m+3}{2(m+3)-4(p+r)}} \\ &\qquad{}+C_{3}\Lambda ^{\delta \delta _{1}}\frac{2(p+r)}{m+3}\varepsilon _{3} \biggl[ \int _{\Omega } \bigl\vert \nabla u^{\frac{m+1}{2}} \bigr\vert ^{2}\,dx+ \int _{\Omega }V(x)u^{2}\,dx \biggr], \end{aligned}$$
(11)

where \(C_{3}= (\int _{\Omega }|x|^{\frac{\alpha }{\delta _{3}}}\beta ^{\frac{r}{q\delta _{3}}}(x)V^{-\frac{\delta _{2}}{\delta _{3}}}(x)\,dx )^{\delta _{3}}\) and \(\varepsilon _{3}\) is a positive constant to be determined later. Now inserting (11) into (5), we have

$$\begin{aligned} \varphi '(t)\leq{} &{-}\biggl[ \frac{8m}{(m+1)^{2}}-C_{3}\Lambda ^{\delta \delta _{1}}\frac{2(p+r)}{m+3} \varepsilon _{3}\biggr] \int _{\Omega } \bigl\vert \nabla u^{\frac{m+1}{2}} \bigr\vert ^{2}\,dx \\ &{}-\biggl[2-C_{3}\Lambda ^{\delta \delta _{1}}\frac{2(p+r)}{m+3} \varepsilon _{3}\biggr] \int _{\Omega }V(x)u^{2}\,dx \\ &{}+2C_{3}\Lambda ^{\delta \delta _{1}}\frac{m+3-2(p+r)}{m+3} \varepsilon _{3}^{-\frac{2(p+r)}{m+3-2(p+r)}} \biggl( \int _{\Omega }u^{2}\,dx \biggr)^{\frac{m+3}{2(m+3)-4(p+r)}}. \end{aligned}$$
(12)

After choosing \(\varepsilon _{3}\) small enough such that

$$ \frac{8m}{(m+1)^{2}}-C_{3}\Lambda ^{\delta \delta _{1}} \frac{2(p+r)}{m+3} \varepsilon _{3}>0, \qquad 2-C_{3}\Lambda ^{\delta \delta _{1}} \frac{2(p+r)}{m+3}\varepsilon _{3}>0, $$

we have from (12)

$$\begin{aligned} \varphi '(t)\leq \frac{1}{C_{4}} \bigl[ \varphi (t) \bigr]^{\frac{m+3}{2(m+3)-4(p+r)}}, \end{aligned}$$
(13)

where

$$ C_{4}=\biggl[2C_{3}\Lambda ^{\delta \delta _{1}} \frac{m+3-2(p+r)}{p+r} \varepsilon _{3}^{-\frac{2(p+r)}{m+3-2(p+r)}}\biggr]^{-1}. $$

If the solution of problem (1)–(3) blows up at some finite time \(t^{*}\), we may derive from (13)

$$\begin{aligned} t^{*}\geq C_{4}\frac{2(m+3)-4(p+r)}{4(p+r)-(m+3)} \bigl[\varphi (0) \bigr]^{\frac{(m+3)-4(p+r)}{2(m+3)-4(p+r)}}. \end{aligned}$$
(14)

2. If \(N=2\), we use the Hölder inequality and Lemma 1.2 to obtain

$$\begin{aligned} &2 \int _{\Omega } \vert x \vert ^{\alpha }u^{p+1} \biggl( \int _{\Omega }\beta (x)u^{q}\,dx \biggr)^{\frac{r}{q}} \,dx \\ &\quad\leq 2 \biggl( \int _{\Omega }u^{2}\,dx \biggr)^{\frac{1}{2}} \biggl( \int _{\Omega }\bigl(u^{\frac{m+1}{2}}\bigr)^{2} \,dx \biggr)^{\frac{p+r}{m+1}} \\ &\qquad{}\times \biggl( \int _{\Omega } \vert x \vert ^{\frac{2(m+1)\alpha }{(m+1)-2(p+r)}}\beta ^{\frac{2(m+1)r}{q[(m+1)-2(p+r)]}}(x)\,dx \biggr)^{ \frac{(m+1)-2(p+r)}{2(m+1)}} \\ &\quad \leq 2\lambda _{1}^{\frac{p+r}{m+1}} \biggl[\varepsilon _{4}^{- \frac{p+r}{m+1-(p+r)}} \biggl( \int _{\Omega }u^{2}\,dx \biggr)^{\frac{(m+1)}{(m+1)-(p+r)}} \biggr]^{\frac{m+1-(p+r)}{m+1}} \\ &\qquad{}\times \biggl[\varepsilon _{4} \int _{\Omega } \bigl\vert \nabla u^{\frac{m+1}{2}} \bigr\vert ^{2} \,dx \biggr]^{\frac{p+r}{m+1}} \\ &\qquad{}\times \biggl( \int _{\Omega } \vert x \vert ^{\frac{2(m+1)\alpha }{(m+1)-2(p+r)}}\beta ^{\frac{2(m+1)r}{q[(m+1)-2(p+r)]}}(x)\,dx \biggr)^{ \frac{(m+1)-2(p+r)}{2(m+1)}}, \end{aligned}$$

where we have used the condition \(2(p+r)< m+1, m+3<4(p+r)\). By the Young inequality, we have

$$\begin{aligned} 2 &\int _{\Omega } \vert x \vert ^{\alpha }u^{p+1} \biggl( \int _{\Omega }\beta (x)u^{q}\,dx \biggr)^{\frac{r}{q}} \,dx \\ &\quad\leq 2\lambda _{1}^{\frac{p+r}{m+1}}C_{5}\frac{m+1-(p+r)}{m+1} \varepsilon _{4}^{-\frac{p+r}{m+1-(p+r)}} \biggl( \int _{\Omega }u^{2}\,dx \biggr)^{\frac{m+1}{(m+1)-(p+r)}} \\ &\qquad{}+2\lambda _{1}^{\frac{p+r}{m+1}}C_{5}\frac{(p+r)}{m+1} \varepsilon _{4} \int _{\Omega } \bigl\vert \nabla u^{\frac{m+1}{2}} \bigr\vert ^{2} \,dx, \end{aligned}$$
(15)

where \(C_{5}= (\int _{\Omega }|x|^{\frac{2(m+1)\alpha }{(m+1)-2(p+r)}}\beta ^{\frac{2(m+1)r}{q[(m+1)-2(p+r)]}}(x)\,dx )^{ \frac{(m+1)-2(p+r)}{2(m+1)}}\). Inserting (15) into (5) and choosing \(\varepsilon _{4}\) small enough such that

$$ \frac{8m}{(m+1)^{2}}-2\lambda _{1}^{\frac{p+r}{m+1}}C_{5} \frac{(p+r)}{m+1}\varepsilon _{4}=0, $$

we have

$$\begin{aligned} \varphi '(t)\leq \frac{1}{C_{6}} \bigl[ \varphi (t) \bigr]^{\frac{m+1}{(m+1)-(p+r)}}, \end{aligned}$$
(16)

where \(C_{6}=[2\lambda _{1}^{\frac{p+r}{m+1}}C_{5}\frac{m+1-(p+r)}{m+1} \varepsilon _{4}^{-\frac{p+r}{m+1-(p+r)}}]^{-1}\). Integrating (16) from 0 to \(t^{*}\), we obtain

$$\begin{aligned} t^{*}\geq \frac{(m+1)-(p+r)}{p+r} C_{6} \bigl[\varphi (0) \bigr]^{- \frac{p+r}{(m+1)-(p+r)}}. \end{aligned}$$
(17)

The proof of Theorem 2.2 is completed.

5 Conclusion

From the proofs of Theorem 2.1 and Theorem 2.2, we can see that Lemmas 1.1 and 1.2 play a key role. In general, Sobolev inequalities are not only related to the dimension of space, but also to the boundary conditions. For example, if the solution of (1) does not vanish on the boundary of Ω, Lemmas 1.1 and 1.2 do not hold. However, in this case, Brezis (see [4]) has obtained for \(N>2\)

$$\begin{aligned} \int _{\Omega }v^{\frac{2N}{N-2}}\,dx\leq C \biggl[ \int _{\Omega }v^{2}\,dx+ \int _{\Omega } \vert \nabla v \vert ^{2}\,dx \biggr]^{\frac{N}{N-2}}, \end{aligned}$$

where C is a positive constant which depends on Ω and N. For \(N=2\), Li [11] has proved

$$\begin{aligned} \biggl( \int _{\Omega }v^{4}\,dx \biggr)^{\frac{1}{2}}\leq C \biggl[ \int _{\Omega }v^{2}\,dx+ \delta \int _{\Omega } \vert \nabla v \vert ^{2}\,dx \biggr], \end{aligned}$$
(18)

where δ is a positive arbitrary constant and Ω is a rectangular area. Combining with the methods in Appendix B of [13], it is possible to get a result similar to (18), when Ω is a bounded star-shaped domain in \(R^{2}\). Predictably, such an inequality will also be widely used. For example, when Neumann or nonlinear conditions are prescribed on the boundary rather than Dirichlet conditions (2), the problem (1) becomes more complicated and interesting. We will study this problem in a future paper.

References

  1. Bandle, C.: Isoperimetric Inequalities and Their Applications. Pitman, London (1980)

    MATH  Google Scholar 

  2. Bebernes, J., Eberly, D.: Mathematical Problems from Combustion Theory. Springer, New York (1989)

    Book  Google Scholar 

  3. Biswas, I., Majee, A., Vallet, G.: On the Cauchy problem of a degenerate parabolic-hyperbolic PDE with Lévy noise. Adv. Nonlinear Anal. 8(1), 809–844 (2019)

    Article  MathSciNet  Google Scholar 

  4. Brezis, H.: Functional Analysis, Sobolev Spaces and Partial Differential Equations. Springer, New York (2011)

    MATH  Google Scholar 

  5. Chen, C.S., Huang, J.C.: Some nonexistence results for degenerate parabolic inequalities with local and nonlocal nonlinear terms. J. Nanjing Univ. Math. Biq. 21(1), 12–20 (2004)

    MathSciNet  MATH  Google Scholar 

  6. Ding, J.T., Shen, X.H.: Blow-up analysis in quasilinear reaction-diffusion problems with weighted nonlocal source. Comput. Math. Appl. 75, 1288–1301 (2018)

    Article  MathSciNet  Google Scholar 

  7. Furter, J., Grinfield, M.: Local vs. nonlocal interactions in populations dynamics. J. Math. Biol. 27(1), 65–80 (1989)

    Article  MathSciNet  Google Scholar 

  8. Giacomoni, J., Radulescu, V., Warnault, G.: Quasilinear parabolic problem with variable exponent: qualitative analysis and stabilization. Commun. Contemp. Math. 20(8), 1750065 (2018)

    Article  MathSciNet  Google Scholar 

  9. Grillo, G., Muratori, M., Punzo, F.: Blow-up and global existence for the porous medium equation with reaction on a class of Cartan–Hadamard manifolds. J. Differ. Equ. 266, 4305–4336 (2019)

    Article  MathSciNet  Google Scholar 

  10. Imbert, C., Jin, T., Silvestre, L.: Hölder gradient estimates for a class of singular or degenerate parabolic equations. Adv. Nonlinear Anal. 8(1), 845–867 (2019)

    Article  MathSciNet  Google Scholar 

  11. Li, Y.F.: Convergence results on heat source for 2D viscous primitive equations of ocean dynamics. Appl. Math. Mech. 41(3), 339–352 (2020)

    Google Scholar 

  12. Li, Y.F., Liu, Y., Lin, C.: Blow-up phenomena for some nonlinear parabolic problem under mix conditions. Nonlinear Anal., Real World Appl. 11, 3815–3823 (2010)

    Article  MathSciNet  Google Scholar 

  13. Lin, C.H., Payne, L.E.: Continuous dependence on the Soret coefficient for double diffusive convection in Darcy flow. J. Math. Anal. Appl. 342, 311–325 (2008)

    Article  MathSciNet  Google Scholar 

  14. Liu, Y.: Lower bounds for the blow-up time in a non-local reaction diffusion problem under nonlinear boundary conditions. Math. Comput. Model. 57, 926–931 (2013)

    Article  MathSciNet  Google Scholar 

  15. Payne, L.E., Schaefer, P.W.: Lower bounds for blow-up time in parabolic problems under Dirichlet conditions. J. Math. Anal. Appl. 328, 1196–1205 (2007)

    Article  MathSciNet  Google Scholar 

  16. Samarskii, A.A., Galaktionov, V.A., Kurdyumov, S.P., Mikhailov, A.P.: Blow-up in Quasilinear Parabolic Equations. De Gruyter Expositions in Mathematics, vol. 19. de Gruyter, Berlin (1995)

    Book  Google Scholar 

  17. Sun, F.L., Liu, L.S., Wu, Y.H.: Finite time blow-up for a class of parabolic or pseudo-parabolic equations. Comput. Math. Appl. 75, 3685–3701 (2018)

    Article  MathSciNet  Google Scholar 

  18. Talenti, G.: Best constant in Sobolev inequality. Ann. Mat. Pura Appl. 110, 353–372 (1976)

    Article  MathSciNet  Google Scholar 

  19. Tang, G.S., Li, Y.F., Yang, X.T.: Lower bounds for the blow-up time of the nonlinear non-local reaction diffusion problems in \(R^{N}\)\((N\geq 3)\). Bound. Value Probl. 2014, 265 (2014)

    Article  Google Scholar 

  20. Xiao, S.P., Fang, Z.B.: Nonexistence of solutions for the quasilinear parabolic differential inequalities with singular potential term and nonlocal source. J. Inequal. Appl. 2020, 64 (2020)

    Article  MathSciNet  Google Scholar 

  21. Yang, C.X., Zhao, L.Z., Zheng, S.N.: The critical Fujita exponent for the fast diffusion equation with potential. J. Math. Anal. Appl. 398, 879–885 (2013)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the referees for their helpful comments and suggestions.

Availability of data and materials

Not applicable.

Funding

This research was supported by the Foundation for natural Science in Higher Education of Guangdong (Grant No. 2019KZDXM042).

Author information

Authors and Affiliations

Authors

Contributions

YL proposed the main idea of this paper and wrote the whole paper. LG prepared the manuscript initially. PZ performed all the steps of the proofs in this research. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Yuanfei Li.

Ethics declarations

Competing interests

The authors declare that they have 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/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Li, Y., Guo, L. & Zeng, P. The applications of Sobolev inequalities in proving the existence of solution of the quasilinear parabolic equation. Bound Value Probl 2020, 156 (2020). https://doi.org/10.1186/s13661-020-01452-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-020-01452-y

MSC

Keywords