- Research Article
- Open access
- Published:

# Blowup for a Non-Newtonian Polytropic Filtration System Coupled via Nonlinear Boundary Flux

*Boundary Value Problems*
**volumeÂ 2008**, ArticleÂ number:Â 847145 (2008)

## Abstract

We study the global existence and the global nonexistence of a non-Newtonian polytropic filtration system coupled via nonlinear boundary flux. We first establish a weak comparison principle, then discuss the large time behavior of solutions by using modified upper and lower solution methods and constructing various upper and lower solutions. Necessary and sufficient conditions on the global existence of all positive (weak) solutions are obtained.

## 1. Introduction

In this paper, we consider the following Neumann problem:

where , , is a bounded domain with smooth boundary , is the outward normal vector on the boundary , , and are positive and satisfy the compatibility conditions.

Parabolic equations like (1.1) appear in population dynamics, chemical reactions, heat transfer, and so on. In particular, (1.1) may be used to describe the nonstationary flows in a porous medium of fluids with a power dependence of the tangential stress on the velocity of displacement under polytropic conditions. In this case, (1.1) are called the non-Newtonian polytropic filtration equations (see [ 1, 2, 3, 4, 5, 6] and the references therein). For the Neuman problem (1.1)â€“(1.3), the local existence of solutions in time has been established, see survey in [4].

Recall the single quasilinear parabolic equation with nonlinear boundary condition

with . It is known that the solutions of (1.4) exist globally if and only if for ; they exist globally if and only if when (see [7â€“10]).

In [11, 12], M. Wang and S. Wang studied the following nonlinear diffusion system with nonlinear boundary conditions

with . In [11], they obtained the necessary and sufficient conditions to the global existence of solutions for . In [12], they considered the case of or and obtained the necessary and sufficient blowup conditions for the special case (the ball centered at the origin in with radius ). However, for the general domain , they only gave some sufficient conditions to the global existence and the blowup of solutions.

In [2], Wang considered the following system with nonlinear boundary conditions:

with . They obtained the necessary and sufficient conditions on the global existence of all positive (weak) solutions.

Sun and Wang in [13] studied the nonlinear equation with nonlinear boundary condition

They proved that all positive (weak) solutions of (1.7) exist globally if and only if when ; they exist globally if and only if when .

The main purpose of this paper is to study the influence of nonlinear power exponents on the existence and nonexistence of global solutions of (1.1)â€“(1.3). By using upper- and lower-solution methods, we obtain the necessary and sufficient conditions on the existence of global (weak) solutions to (1.1)â€“(1.3). Our main results are stated as follows.

Theorem 1.1.

If , then all positive (weak) solutions of (1.1)â€“(1.3) exist globally if and only if and .

Theorem 1.2.

If , then all positive (weak) solutions of (1.1)â€“(1.3) exist globally if and only if and .

Theorem 1.3.

If , then all positive (weak) solutions of (1.1)â€“(1.3) exist globally if and only if and .

Theorem 1.4.

If , then all positive (weak) solutions of (1.1)â€“(1.3) exist globally if and only if and .

Remark 1.5.

If , the results in [11] are included in Theorem 1.4, and if or , Theorems 1.1â€“1.3 improve the results of [12].

Remark 1.6.

If we extend the solution to (1.6) to the interval by symmetry, we get a solution to the same problem (1.6) with the condition at , substituted by a condition at , Conversely, symmetric solutions to this latter problem are solutions to the original problem (1.6). The problem (1.1)â€“(1.3) is the more general -dimensional version of the problem (1.6). Theorems 1.1â€“1.4 extend the results of the problem (1.6) into multidimensional case and it seems to be a natural extension of Wang [2].

Remark 1.7.

If , the conclusions of Theorems 1.1 and 1.4 are consistent with those of the single equation (1.7). This paper generalizes the results of the single equation (1.7) to the system (1.1)â€“(1.3).

The rest of this paper is organized as follows. Some preliminaries will be given in Section 2 . Theorems 1.1â€“1.4 will be proved in Sections 3â€“5, respectively.

## 2. Preliminaries

As it is well known that degenerate and singular equations need not possess classical solutions, we give a precise definition of a weak solution to (1.1)â€“(1.3).

Definition 2.1.

Let and . A vector function is called a weak upper (or lower) solution to (1.1)â€“(1.3) in if

(i);

(ii);

(iii)for any positive two functions one has

In particular, is called a weak solution of (1.1)â€“(1.3) if it is both a weak upper and a lower solution. For every , if is a solution of (1.1)â€“(1.3) in , we say that is global.

Next we give some preliminary propositions and lemmas.

Proposition 2.2 (comparison principle).

Assume that are positive functions and is any weak solution of (1.1)â€“(1.3). Also assume that and are a lower and an upper solution of (1.1)â€“(1.3) in , respectively, with nonlinear boundary flux and , where . Then we have in .

Proof.

For small , letting and setting , according to the definition of upper and lower solutions, we have

Define

As in [14], by letting we get

that is,

where . Similarly, we have

Since and , it follows from the continuity of and that there exists a sufficiently small such that for . It follows from (2.5) and (2.6) that in .

Denote . We claim that . Otherwise, from the continuity of and there exists such that and for all By (2.5) and (2.6) we obtain that in , which contradicts the definition of . Hence for all

Obviously, is a lower solution of (1.1)â€“(1.3) in . Therefore, in . Using this fact, as in the above proof we can prove that in .

For convenience, we denote , which are fixed constants, and let .

Proposition 2.3.

Assume and that or holds. Then the solutions of (1.1)â€“(1.3) blow up in finite time.

Proof.

Without loss of generality, assume . Consider the single equation

We know from [13] that blows up in finite time. Since , by the comparison principle, is a lower solution of (1.1)â€“(1.3) and blows up in finite time if .

The following propositions can be proved in the similar procedure.

Proposition 2.4.

Assume and that or holds. Then the solutions of (1.1)â€“(1.3) blow up in finite time.

Proposition 2.5.

Assume and that or holds. Then the solutions of (1.1)â€“(1.3) blow up in finite time.

Proposition 2.6.

Assume and that or holds. Then the solutions of (1.1)â€“(1.3) blow up in finite time.

Let be the first eigenfunction of

with the first eigenvalue , normalized by , then in and and on (see [15â€“17]).

Thus there exist some positive constants such that

We have also provided with and some positive constant . For the fixed , there exists a positive constant such that if

At the end of this section, we describe two simple lemmas without proofs.

Lemma 2.7.

Suppose that positive constants satisfy , then for any two positive constants , there exist two positive constants such that and .

Lemma 2.8.

For any constant , there exist positive constants which depend only on and such that

where is a positive bounded function.

## 3. Proof of Theorem 1.1

Lemma 3.1.

Suppose , . Then all positive solutions of (1.1)â€“(1.3) exist globally.

Proof .

Construct

where if , if , and if , if , are defined in (2.8) and (2.9), are positive constants to be determined, and

We know that since for any . Thus for a simple computation shows

In addition, we have

Similarly, we can get

Noting on , we have on the boundary that

Since , there exist constants large such that

By (3.3)â€“(3.7), we know that is a global upper solution of (1.1)â€“(1.3). The global existence of solutions to (1.1)â€“(1.3) follows from the comparison principle.

Lemma 3.2.

Suppose , . Then all positive solutions of (1.1)â€“(1.3) blow up in finite time.

Proof .

Case 1.

. Let if , if , and if , if . In light of , we choose such that

For the above , we set where , , and

By a direct computation, for , we obtain that

If , we have and thus

On the other hand, since for any , we have

We have by (3.10), (3.13), and (3.14) that for .

If , then and hence

We follow from (3.10), (3.11), and (3.15) that for .

Similarly, we can get for also.

We have on the boundary that

Moreover, by (3.8) we have that

Equations (3.9), (3.16)â€“(3.18) imply that Therefore is a lower solution of (1.1)â€“(1.3).

Case 2.

. Set as above with

Case 3.

. Set as above with

Case 4.

. Set

By similar arguments, we conform that is a lower solution of (1.1)â€“(1.3), which blows up in finite time. We know by the comparison principle that the solution blows up in finite time.

We get the proof of Theorem 1.1 by combining Proposition 2.3 and Lemmas 3.1 and 3.2.

## 4. Proof of Theorems 1.2 and 1.3

Lemma 4.1.

Suppose with . Then all positive solutions of (1.1)â€“(1.3) exist globally.

Proof .

Take

for , where if , if , satisfying , and constants are to be determined. By performing direct calculations, we have, for ,

By setting if , if , we have on the boundary that

Since , by Lemma 2.7 there exist two positive constants such that , , and

Set By arguments in Lemma 3.1, for , we have

On the other hand, since , there exist two positive constants such that

By (4.2)â€“(4.7), it follows that is an upper solution of (1.1)â€“(1.3). Thus the solutions of (1.1)â€“(1.3) are global.

Lemma 4.2.

Suppose with . Then all positive solutions of (1.1)â€“(1.3) blow up in finite time.

Proof .

We first prove that there exist such that

When , yields Hence there exist such that Set , and

When , take ,

When , take ,

Let if , if , and , , .

Define where , and

By a direct computation, for , we have

By similar arguments in Lemma 3.2, we have for .

Moreover, for , we have

By (4.8), we have

By (4.9), (4.12), and (4.13), we have that is a lower solution of (1.1) and (1.3), which with the comparison principle implies that the solutions of (1.1)â€“(1.3) blow up in finite time.

It has been shown from Proposition 2.4 and Lemmas 4.1 and 4.2 that Theorem 1.2 is true.

In a similar way to the proof of Theorem 1.2, we have Theorem 1.3.

## 5. Proof of Theorem 1.4

Lemma 5.1.

Suppose with . Then all positive solutions of (1.1)â€“(1.3) exist globally.

Proof .

Take where and are the undetermined positive constants.

Calculating directly for , we have by Lemma 2.8 that

Let if , if , and if , if . We have on the boundary that

Since we know by Lemma 2.8 that there exist constants such that

For the above constants , we choose a constant so large that

By (5.1)â€“(5.4), we know that is an upper solution of (1.1)â€“(1.3), Thus the solutions of (1.1)â€“(1.3) are global.

Lemma 5.2.

Suppose with . Then all positive solutions of (1.1)â€“(1.3) blow up in finite time.

Proof .

We first prove that there exist such that

In fact, when , yields . Hence there exists such that . Set and

When and , take

When and , let

Take , and , where , and

By a direct computation for , we have

For , we have

Moreover, (5.5) implies

It follows from (5.6), (5.8)â€“(5.11) that is a lower solution of (1.1)â€“(1.3). Because blows up in finite time, and so does .

By Proposition 2.6 and Lemmas 5.1 and 5.2, we see that Theorem 1.4 holds.

## References

Tan Z, Liu XG:

**Non-Newton filtration equation with nonconstant medium void and critical Sobolev exponent.***Acta Mathematica Sinica*2004,**20**(2):367-378. 10.1007/s10114-004-0361-zWang S:

**Doubly nonlinear degenerate parabolic systems with coupled nonlinear boundary conditions.***Journal of Differential Equations*2002,**182**(2):431-469. 10.1006/jdeq.2001.4101Wang Z, Yin J, Wang C:

**Critical exponents of the non-Newtonian polytropic filtration equation with nonlinear boundary condition.***Applied Mathematics Letters*2007,**20**(2):142-147. 10.1016/j.aml.2006.03.008Wu Z, Zhao J, Yin J, Li H:

*Nonlinear Diffusion Equations*. World Scientific, River Edge, NJ, USA; 2001:xviii+502.Yang Z, Lu Q:

**Nonexistence of positive solutions to a quasilinear elliptic system and blow-up estimates for a non-Newtonian filtration system.***Applied Mathematics Letters*2003,**16**(4):581-587. 10.1016/S0893-9659(03)00040-5Yang Z, Lu Q:

**Blow-up estimates for a quasi-linear reaction-diffusion system.***Mathematical Methods in the Applied Sciences*2003,**26**(12):1005-1023. 10.1002/mma.409Song X, Zheng S:

**Blow-up analysis for a quasilinear parabolic system with multi-coupled nonlinearities.***Journal of Mathematical Analysis and Applications*2003,**281**(2):739-756. 10.1016/S0022-247X(03)00256-7Wang M, Wu Y:

**Global existence and blow-up problems for quasilinear parabolic equations with nonlinear boundary conditions.***SIAM Journal on Mathematical Analysis*1993,**24**(6):1515-1521. 10.1137/0524085Wang M:

**The long-time behavior of solutions to a class of quasilinear parabolic equations with nonlinear boundary conditions.***Acta Mathematica Sinica*1996,**39**(1):118-124.Wolanski N:

**Global behavior of positive solutions to nonlinear diffusion problems with nonlinear absorption through the boundary.***SIAM Journal on Mathematical Analysis*1993,**24**(2):317-326. 10.1137/0524021Wang M, Wang S:

**Quasilinear reaction-diffusion systems with nonlinear boundary conditions.***Journal of Mathematical Analysis and Applications*1999,**231**(1):21-33. 10.1006/jmaa.1998.6220Wang M:

**Fast-slow diffusion systems with nonlinear boundary conditions.***Nonlinear Analysis: Theory, Methods & Applications*2001,**46**(6):893-908. 10.1016/S0362-546X(00)00156-5Sun WJ, Wang S:

**Nonlinear degenerate parabolic equation with nonlinear boundary condition.***Acta Mathematica Sinica*2005,**21**(4):847-854. 10.1007/s10114-004-0512-2Alt HW, Luckhaus S:

**Quasilinear elliptic-parabolic differential equations.***Mathematische Zeitschrift*1983,**183**(3):311-341. 10.1007/BF01176474Lindqvist P:

**On the equation**.*Proceedings of the American Mathematical Society*1990,**109**(1):157-164.Lindqvist P:

**Addendum to on the equation**.*Proceedings of the American Mathematical Society*1992,**116**(2):583-584.Li Y, Xie C:

**Blow-up for****-Laplacian parabolic equations.***Electronic Journal of Differential Equations*2003,**2003**(20):1-12.

## Acknowledgments

This work was partially supported by NNSF of China (10771226), was partially supported by Natural Science Foundation Project of CQ CSTC (2007BB0124), and was partially supported by Natural Science Foundation Project of China West Normal University (07B047).

## Author information

### Authors and Affiliations

### Corresponding author

## Rights and permissions

**Open Access**
This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (
https://creativecommons.org/licenses/by/2.0
), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Li, Z., Mu, C. & Li, Y. Blowup for a Non-Newtonian Polytropic Filtration System Coupled via Nonlinear Boundary Flux.
*Bound Value Probl* **2008**, 847145 (2008). https://doi.org/10.1155/2008/847145

Received:

Accepted:

Published:

DOI: https://doi.org/10.1155/2008/847145