Blowup of Solution for a Class of Doubly Nonlinear Parabolic Systems

Abstract

An initial boundary value problem for a class of doubly parabolic equations is studied. We obtain sufficient conditions for the blowup of solutions under suitable initial data using differential inequalities.

1. Introduction

In this paper, we study the following initial boundary value problem of a class of reaction diffusion equations with multiple nonlinearities: where , are real numbers and is bounded domain in with smooth boundary so that the divergence theorem can be applied. Here denotes the Laplace operator in .

This type of problems not only is important from the theoretical point of view, but also arises in many physical applications and describes a great deal of models in applied science. It appears in the models of chemical reactions, heat transfer, and population dynamics (see [1] and references therein). Equation (1) can describe an electric breakdown in crystalline semiconductors with allowance for the linear dissipation of bound- and free-charge sources [2, 3].

In the absence of the nonlinear diffusion term , (1) reduced to the following equation which is called pseudoparabolic equation (see [4] and the references). A related problem to (4) without term has attracted a great deal of attention in the last two decades, and many results appeared on the existence, blowup, and asymptotic behavior of solution. It is well known that the nonlinear reaction term drives the solution of (4) to blowup in finite time. The diffusion term is known to yield existence of global solution if the reaction term is removed from [5]. The more general equation, has also attracted a great deal of people and the known results show that global existence and nonexistence depend roughly on , the degree of nonlinearity in , the dimension , and the size of the initial data. See, in this regard, the works of Levine [6], Kalantarov and Ladyzhenskaya [7], Levine et al. [8], Messaoudi [9], Liu and Wang [10] and references therein. Pucci and Serrin [11] have discussed the stability of the following equation: Levine et al. [8] got the global existence and nonexistence of solution for (6). Pang et al. [12, 13] and Berrimi and Messaoudi [14] gave the sufficient condition of blowup result for certain solutions of (6) with positive or negative initial energy.

Equation (1) without term can also be a special case of doubly nonlinear parabolic-type equations (or the porous medium equation) [8, 15, 16], if we take . The authors of [15, 16] took (7) as dynamical systems and studied their attractors. Levine and Sacks [17, 18] and Blanchard and Francfort [19] proved the existence of the solution.

Polat [20] established a blowup result for the solution with vanishing initial energy of the following initial boundary value problem: They also gave detailed results of the necessary and sufficient blowup conditions together with blowup rate estimates for the positive solution of the problem, subject to various boundary conditions. Korpusov and Sveshnikov [2, 3] gave the local strong solution and the sufficient close-to-necessary conditions for the blowup of solutions to the problem, with initial boundary values (2) and (3) in for by the convex method [6, 7].

In this paper, we will investigate the problem (1)–(3) and there are few results of the problem to our knowledge. We will give sufficient conditions for the blowup of solutions in a finite time interval under suitable initial data using differential inequalities. An essential tool of the proof is an idea used in [21, 22], which was based on an auxiliary function (which is a small perturbation of the total energy), using differential inequalities and obtaining the result. It is different with the result of [2, 3]. This paper is organized as follows. Section 2 is concerned with some notations and statement of assumptions. In Section 3, we give and prove that the result if the initial energy of our solutions is negative (this means that our initial data are large enough) or the initial energy is .

2. Preliminaries

In this section, we will give some notations and statement of assumptions for . We denote by , by , the usual Soblev space. The norm and inner of are denoted by and , respectively. Particularly, for .

For the numbers and , we assume that

Similar to [2], we call a solution of problem (1)–(3) on , if satisfying and

Now, we introduce two functionals: where . Multiplying (1) by and integrating over , we have and then

3. Blowup of Solution

In this section, we will prove the main result. Our techniques of proof follow very carefully the techniques used in [21, 22].

Theorem 1. Suppose that the assumption about hold, and is a local solution of the system (1)–(3), and is sufficient negative. Then the solution of the system (1)–(3) blows up in finite time.

Proof. We set By the definition of and (15) Consequently, by , we have It is clear that by (18) and (19) By (17) and the expression of , One implies
Let us define the functional where will be fixed in the later and (this can be done since ). By taking the time derivative of (23) and by (1), we have To estimate the last term in the right-hand side of (24), we use the following Young’s inequality for any , we have Therefore, we have By choosing such that for enough large constants to be fixed later, and by using (15), we have Since and by embedding theorem, taking into account (22), we obtain, for some positive constants and , Since , now applying the inequality , which holds for all , , , in particular, by the choice of , taking , ,  , and by using (22), we have Taking into account (28) and (30), we have For large such that , once is fixed, we pick small enough such that , then there exist such that (31) become Then, we have On the other hand, by the definition of and (21), we have where we have used the fact (this can be ensured by (19), (20), and is sufficient negative). Now, by inequality again by taking , , , we have Therefore, we get Then, by embedding theorem since , we have, for fixed sufficient small, Now, by inequality again by taking ,  , since ,  , we have From (37) and (38), we obtain Combining with (32) and (39), we arrive to Integration of (40) between 0 and gives the desired results.
In the following, we will prove that the energy will grow up as an exponential function as time goes to infinity, provided that the initial energy .
The following lemma will play an essential role in the proof of our main result, and it is similar to a Lemma used firstly by Vitillaro [23]. In order to give the result and for the sake of simplicity, we set where is the best Poincare’s constant.

Lemma 2 (see [22]). Let be a solution of (1)–(3). Suppose that the assumption of hold. Assume further that and . Then there exists a constant such that .

Theorem 3. Suppose that the assumption about hold, and is a local solution of the system (1)–(3), and . Then the solution of the system (1)–(3) blows up.

Proof. We set where is a constant and . By the definition of and (15) Consequently, It is clear that by (43) and (44) By (42), the expression of , and Lemma 2 One implies Then we can prove the theorem similar to the proof of Theorem 1.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work is supported by National Natural Science Foundation of China (no. 11171311) and partially by the Natural Science Foundation of Henan Province (1323004100360).