Abstract
We improve some results of Pan and Xing (2008) and extend the exponent range in Liouville-type theorems for some parabolic systems of inequalities with the time variable on . As an immediate application of the parabolic Liouville-type theorems, the range of the exponent in blow-up rates for the corresponding systems is also improved.
1. Introduction
In this paper, we are concerned with the following two problems: one is blow-up rates for blow-up solutions of the higher-order semilinear parabolic system where and ; the other is parabolic Liouville theorems for the problem where and ,. The first problem is directly related to the second one. Actually, blow-up rates of the blow-up solutions, by scaling arguments, are often converted to nonexistence of solutions of some limiting problems with (see, e.g., Polรกฤik and Quittner [1] and Xing [2]).
Recall that, in his famous paper [3], Fujita studied the initial value problem for nonnegative initial data . He obtained the following.(i)If , then the only nonnegative global solution is .(ii)If , then there exist global solutions for some small initial value.
The number belonging to Case (i) had been answered in [4โ7], and an elegant proof was given by Weissler [7]. The number is named the critical blow-up exponent (or critical Fujita exponent).
Ever since then, Fujita's result has been given great attention and extended in various directions. One direction is to consider the problems on other domains. For example, is replaced by a cone or exterior of a bounded domain, and so forth. Another direction is to extend these results to more general equations and systems (see the survey papers [8โ10] and references therein). We just briefly describe the results directly connected to our problems.(1)The systems from the point of view of the critical blow-up exponent originate in the 1990s. Escobedo and Herrero [11] discussed the following weakly coupled second-order parabolic system with and . They established the following.(i)If , then all solutions are global.(ii)If and , then every nontrivial solution blows up in finite time.(iii)If and , then there exist both global solutions and blow-up solutions.(2)Egorov et al. [12] considered a class of higher-order parabolic system of inequalities and gave some results about nonexistence of the nontrivial global solutions with initial data having nonnegative average value.(3)A natural generalization of classical weakly coupled system (1.4) are the higher-order parabolic system (1.1). Pang et al. [13] studied (1.1) and obtained the following results.(i)If , then every solution with initial data having positive average value does not exist globally in time.(ii)If , then global solutions with small initial data exist. Notice that there exists a gap between the range of exponent in the two cases. In fact, in an earlier monograph [14], Mitidieri and Pokhozhaev have shown that Case (i) holds true for (see [14, Exampleโโ38.2]). Integrating these results in [13, 14], one directly obtains a complete Fujita-type theorem for the higher-order parabolic system (1.1).
Theorem 1.1. Assume and . Then โ (i)if , then every solution of (1.1) with initial data having positive average value does not exist globally in time;(ii)if , then global solutions of (1.1) with small initial data exist.
(4)Recently, Pan and Xing [15] considered the problem (1.2) and proved a parabolic Liouville theorem; that is, if , then the global solution of (1.2) is trivial. As an immediate application of the result, blow-up rates for the problem (1.1) is also obtained: Let be a solution of (1.1) which blows up at a finite time . Then there is a constant such that for .The purpose of this note is to improve the results of [15]. More precisely, we will extend the exponent range from to for both blow-up rates and parabolic Liouville theorems of [15]. The main results of this paper are Theorems 2.1 and 3.1. Our methods are similar to [14, 15]. In fact, the present Theorem 2.1 will be proved by modifying part of the proof of Theoremโโ4.3 of [15].
The organization of this paper is as follows. In Section 2, we improve the range of the exponent for parabolic Liouville-type theorems in [15]. As a direct application, the exponent range in blow-up rates for corresponding systems is extended in Section 3.
2. Parabolic Liouville-Type Theorem for Higher-Order System of Inequalities
In this section, we will improve the exponent range of some parabolic Liouville-type theorems for higher-order semilinear parabolic systems.
Now we consider a class of more general parabolic systems of inequalities than (1.2). Let be a differential operator of order : and let be a differential operator of order : where and are bounded functions defined for .
Consider the set of satisfying the inequalities:
in the following weak sense: if and , then Here and in the following, if the limits of integration are not given, then the integrals are taken over the space , and
Here is the main result of this section.
Theorem 2.1. If two functions and satisfy (2.4) and (2.5), then for and , where
Remark 2.2. In fact, we will extend the range of the exponents in Theorem 4.3 of [15] from to . Obviously, contains the range of the exponent in [15].
As an immediate application, we take ,.
Corollary 2.3. If two functions and satisfy on , then for belonging to the following set:
Remark 2.4. In fact, the present Theorem 2.1 will be proved by modifying part of the proof of Theoremโโ4.3 of [15]. In the following proof, the part before the inequalities (2.24) is the same as that in Theorem 4.3 of [15]. The main difference between the proofs is the discussion of the four cases in the last part of the proof. For completeness of arguments as well as convenience of readers, we give a detailed proof of the theorem.
Proof of Theorem 2.1.. Let , and
Suppose that there exists a positive constant such that
In order to find such a function, one also assume that, for , with .
Let
the value of the parameter will be determined below. Now putting in (2.4) and (2.5) and letting
we have
The Hรถlder inequality implies
where and . It is essential here that the operator contains the derivatives of order only. It is obvious that , and therefore inequality (2.15) implies that
with . Similarly,
with . Then (2.20) and (2.23) lead to
We consider the following cases. Case 1. . Let in the first inequality of (2.24), we obtain
which implies . Combining with inequality (2.20) or equality (2.4), we get that . Then .Case 2. . Inequality (2.24) implies . The inequality (2.23) or equality (2.5) leads that .Case 3. . By (2.22) and (2.19), we have
And, from (2.24), we obtain that converge. Then, as ,
Then and (2.20) implies .Case 4. . Similarly to Case 3, the second inequality of (2.24) implies converging. follows from (2.19) and (2.22). Then by (2.23) or (2.5), .
Taking , Cases 1 and 3: is equivalent to , Cases 2 and 4: is . So the union of Cases 1โ4 is just the set .
Similarly, taking , we obtain that the union of Cases 1โ4 is equivalent to the set . Then we get the result.
3. Blow-Up Rate Estimates for Parabolic Systems
As an immediate application of Corollary 2.3, the range of the exponents in blow-up rates for the system (1.1) is also extended. We have the following theorem.
Theorem 3.1. Let be a solution of (1.1) which blows up at a finite time . Then there is a constant such that for
Since the proof of Theorem 3.1 is completely similar to Theorem 3.1 in [15], we omit it. Refer to [15] for all the details.
Acknowledgment
The first author was supported by Fundamental Research Funds for the Central Universities (Grant no. 2010121006). The second author was supported by NSFC (Grant no. 10901059). The third author was supported by NSFC (Grant nos. 10821067 and 11001277), RFDP (Grant no. 200805581023), Research Fund for the Doctoral Program of Guangdong Province of China (Grant no. 9451027501002416), and Fundamental Research Funds for the Central Universities.