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


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.


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]). 1 N . This lemma has been proved in [18]. However, when N = 2, the Lemma 1.1 is no longer valid. Bandle [1] obtained a similar result which can be written as follows. 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 ( ). 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.

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: under homogeneous Dirichlet boundary conditions and appropriate constraints on the nonlinearity f (u). By using a differential inequality technique, a lower bound on the blowup time was determined if blow-up occurs.
Grillo et al. [9] considered the nonlinear evolution problem of the form 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 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 ≤ 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 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.
Furthermore, if m + 3 ≤ 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. More precisely, if 2 < N < 4(p+r) 4(p+r)-(m+3) and 2(p + r) < m + 3 < 4(p + r), then where C 4 is a positive constant and ϕ(0) = u 2 0 dx. If N = 2 and 2(p + r) < m + 1, m + 3 < 4(p + r), then where C 6 is a positive constant.

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]) where C is a positive constant which depends on and N . For N = 2, Li [11] has proved v 4 dx 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.