• 検索結果がありません。

We prove that, under suitable con- ditions on the nonlinearity and certain initial data, the lower bound for the blow-up time is determined if blow-up does occur

N/A
N/A
Protected

Academic year: 2022

シェア "We prove that, under suitable con- ditions on the nonlinearity and certain initial data, the lower bound for the blow-up time is determined if blow-up does occur"

Copied!
9
0
0

読み込み中.... (全文を見る)

全文

(1)

Electronic Journal of Differential Equations, Vol. 2013 (2013), No. 216, pp. 1–9.

ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu

BLOW-UP OF SOLUTIONS FOR A SYSTEM OF NONLINEAR PARABOLIC EQUATIONS

SHUN-TANG WU

Abstract. The initial boundary value problem for a system of parabolic equa- tions in a bounded domain is considered. We prove that, under suitable con- ditions on the nonlinearity and certain initial data, the lower bound for the blow-up time is determined if blow-up does occur. In addition, a criterion for blow-up to occur and conditions which ensure that blow-up does not occur are established.

1. Introduction

We consider the initial boundary value problem for the following nonlinear par- abolic problems:

ut−div(ρ1(|∇u|2)∇u) =f1(u, v) in Ω×[0,∞), (1.1) vt−div((ρ2(|∇v|2)∇v) =f2(u, v) in Ω×[0,∞), (1.2) u(x,0) =u0(x), v(x,0) =v0(x), x∈Ω, (1.3) u(x, t) =v(x, t) = 0, x∈∂Ω, t >0, (1.4) where Ω is a bounded domain in RN (N ≥ 1) with a smooth boundary ∂Ω, ρi, i= 1,2, are positiveC1functions andfi(·,·) :R2→R,i= 1,2, are given functions which will be specified later. u0(x),v0(x) are nonzero and nonnegative functions.

Questions related to the blow-up phenomena of the solutions for the nonlinear parabolic equations and systems have attracted considerable attention in recent years. A natural question concerning the blow-up properties is about whether the solution blows up and, if so, at what time t blow-up occurs. In this direction, there is a vast literature to deal with the blow-up time when the solution does blow up at finite time t [1, 2, 3, 4, 5, 6, 7, 8, 10, 12], [15, page 3]. Yet, this blow-up time can seldom be determined explicitly. Indeed, the methods used in the study of blow-up very often have yielded only upper bound for t. However, a lower bound on blow-up time is more important in some applied problems because of the explosive nature of the solution. To the authors knowledge, some of the first work on lower bounds fortwas by Weissler [16, 17]. Recently, a number of papers

2000Mathematics Subject Classification. 35K55, 35K60.

Key words and phrases. Blow-up; lower bound of blow-up time; parabolic problem.

c

2013 Texas State University - San Marcos.

Submitted August 21, 2013. Published September 30, 2013.

1

(2)

deriving lower bounds fortin various problems have appeared, beginning with the paper of Payne and Schaefer [13]. Payne et al. [14] considered the single equation

ut−div ρ(|∇u|2)∇u

=f(u).

Under certain conditions on the nonlineartities, they obtained a lower bound for blow-up time if blow-up does occur. Additionally, a criterion for blow-up and conditions which ensure that blow-up does not occur are obtained.

Motivated by previous works, in this study, we establish the lower bound and the upper bound for problem (1.1)-(1.4) when blow-up does occur. Besides, the nonblow-up properties for a class of problem (1.1)-(1.4) are also investigated. Our proof technique closely follows the arguments of [14], with some modifications being needed for our problems. The paper is organized as follows. In section 2, under suitable conditions on ρi, fi, i = 1,2, the lower bound for the blow-up time is established if blow-up occurs when Ω is a bounded domain in R3. In Section 3, the nonblow-up phenomena are investigated. Finally, the sufficient condition which guarantees the blow-up occurs is obtained and an upper bound for the blow-up time is also given.

2. Lower bound for the blow-up time

In this section, we focus our attention to the lower bound timet for the blow- up time of the solutions to problem (1.1)-(1.4). For this purpose, we give the assumptions onρi andfi,i= 1,2 as follows.

(A1) ρi(s),i= 1,2 are nonnegativeC1function for s >0 satisfying ρ1(s)≥b1+b2sq1, ρ2(s)≥b3+b3sq2, q1, q2, bi>0, i= 1−4.

(A2) Concerning the functionsf1(u, v) andf2(u, v), we take (see [9]) f1(u, v) =

a|u+v|m−1(u+v) +b|u|m−32 |v|m+12 u

, (2.1)

f2(u, v) =

a|u+v|m−1(u+v) +b|v|m−32 |u|m+12 v

, (2.2)

wherea,b >0 are constants andmsatisfies m >1, ifN = 1,2 or 1< m≤N+ 2

N−2, ifN ≥3.

One can easily verify that

uf1(u, v) +vf2(u, v) = (m+ 1)F(u, v), ∀(u, v)∈R2, where

F(u, v) = 1 m+ 1

a|u+v|m+1+ 2b|uv|m+12 . As in [9], we still have the following result.

Lemma 2.1. There exists a positive constantβ such that, for p>0 , upf1(u, v) +vpf2(u, v)≤β(|u|p+m+|v|p+m), ∀(u, v)∈R2. We define

φ(t) = Z

u2(n−1)(q1+1)+2dx+ Z

v2(n−1)(q2+1)+2dx

= Z

uσ1dx+ Z

vσ2dx,

(2.3)

(3)

where σ1 = 2(n−1)(q1+ 1) + 2, σ2 = 2(n−1)(q2+ 1) + 2 and n is a positive constant satisfying

n >maxn3(m−1)−2q1

2(q1+ 1) ,3(m−1)−2q2

2(q2+ 1) ,3(m−1)−2(3q1−2q2) 2(3q1−2q2+ 1) , 3(m−1)−2(3q2−2q1)

2(3q2−2q1+ 1) o

.

(2.4)

Theorem 2.2. Suppose that (A1), (A2), (2.4)hold and Ω⊂R3 is a bounded do- main. Assume further thatm−1>2 max(q1, q2)>0andq1> 23q2> 49q1>0. Let (u, v)be the nonnegative solution of problem (1.1)-(1.4), which become unbounded in the measureφat timet, then t is bounded below as

t≥ Z

φ(0)

1 P4

i=1kiφ(s)µids,

whereki>0 andµi>0,i= 1−4 are constnats given in the proof.

Proof. Differentiating (2.3) and using (1.1)-(1.2), (A1) and Lemma 2.1, we obtain

φ0(t) =σ1 Z

uσ1−1utdx+σ2 Z

vσ2−1vtdx

=−σ11−1) Z

uσ1−2ρ1(|∇u|2)|∇u|2dx+σ1 Z

uσ1−1f1(u, v)dx

−σ22−1) Z

vσ2−2ρ2(|∇v|2)|∇v|2dx+σ2 Z

vσ2−1f2(u, v)dx

≤ −σ11−1) Z

uσ1−2|∇u|2(b1+b2|∇u|2q1)dx +βσ1

Z

(um+σ1−1+vm+σ1−1)dx

−σ22−1) Z

vσ2−2|∇v|2(b3+b4|∇v|2q2)dx +βσ2

Z

(um+σ2−1+vm+σ2−1)dx.

(2.5)

Dropping the termsσ11−1)b1R

uσ1−2|∇u|2dxandσ22−1)b3R

vσ2−2|∇v|2dx on the right-hand side of (2.5) and using|∇wn|2=n2w2(n−1)|∇w|2, we deduce that

φ0(t)≤ −σ11−1)b2

n2(q1+1) Z

|∇un|2(q1+1)dx+βσ1

Z

(um+σ1−1+vm+σ1−1)dx

−σ22−1)b4

n2(q2+1) Z

|∇vn|2(q2+1)dx+βσ2

Z

(um+σ2−1+vm+σ2−1)dx.

(4)

For simplicity, settingw1=un, w2=vn andγi =m−1−2qi >0,i= 1,2, then we obtain

φ0(t)≤ −σ11−1)b2 n2(q1+1)

Z

|∇w1|2(q1+1)dx +βσ1

Z

(w2(q1+1)+

γ1 n

1 +w2(q1+1)+

γ1 n

2 )dx

−σ22−1)b4 n2(q2+1)

Z

|∇w2|2(q2+1)dx+βσ2 Z

w2(q2+1)+

γ2 n

1 dx

+βσ2 Z

w2(q2+1)+

γ2 n

2 dx.

(2.6)

Next, we will estimate the right-hand side of (2.6). It follows from [14, (2.12)] that Z

w2(q1+1)+

γ1 n

1 dx≤K1

Z

|∇w1|2(q1+1)dx2/3Z

wq1+1+

1 2n

1 dx2/3

, (2.7) where K1 = αλ

4q1 +1 6

1 (q1+ 1)4(q1 +1)3 , α = 41/3·3−1/2·π−2/3 and λ1 is the first eigenvalue in the fixed membrane problem

∆w+λw= 0, w >0 in Ω, and w= 0 on∂Ω.

By using H¨older inequality and (2.3), we obtain Z

wq1+1+

1 2n

1 dx=

Z

un(q1+1)+21dx

≤Z

uσ1dxµ1

· |Ω|1−µ1

≤φ(t)µ1· |Ω|1−µ1,

(2.8)

which together with (2.7) implies Z

w2(q1+1)+

γ1 n

1 dx≤K1|Ω|2(1−µ3 1 )φ(t)31( Z

|∇w1|2(q1+1)dx)2/3. with µ1= 2n(q1+1)+3γ 1

1 , we note thatµ1 <1 in view of (2.4). Further, thanks to the inequality

xrys≤rx+sy, r+s= 1, x, y≥0, (2.9) we obtain, forα1>0,

Z

w2(q1+1)+

γ1 n

1 dx≤K1|Ω|2(1−µ3 1 )h 1

21φ(t)1+2α1

3 Z

|∇w1|2(q1+1)dxi

. (2.10) and similarly

Z

w2(q2+1)+

γ2 n

2 dx≤K2|Ω|2(1−µ3 2 )h 1

22φ(t)2+2α2 3

Z

|∇w2|2(q2+1)dxi

, (2.11) whereα2>0,K2=αλ

4q2 +1 6

1 (q2+ 1)4(q2 +1)3 andµ2=2n(q2+1)+3γ2

2 <1.

To estimate the other two terms in the right hand side of (2.6), we use H¨older inequality and the following result (see [14, (2.7)-(2.10)])

Z

w4(q+1)dx≤α3(q+ 1)4(q+1)λ

4q+1 2

1

Z

|∇w|2(q+1)dx2

, q >0, (2.12)

(5)

to obtain Z

w2(q1+1)+

γ1 n

2 dx

= Z

w

4(q2 +1) 3

2 ·w2(q1+1)−

4(q2 +1) 3 +γn1

2 dx

≤ Z

w24(q2+1)dx1/3Z

w3q1−2q2+1+

1 2n

2 dx2/3

≤K2

Z

|∇w2|2(q2+1)dx2/3Z

w3q1−2q2+1+

1 2n

2 dx2/3

.

(2.13)

As in deriving (2.8), we see that Z

w3q1−2q2+1+

1 2n

2 dx=

Z

vn(3q1−2q2+1)+21dx

≤( Z

vσ2dx)µ3· |Ω|1−µ3

≤φ(t)µ3· |Ω|1−µ3

(2.14)

where µ3= 2n(3q1−2q2+1)+3γ1

2 <1. Substituting (2.14) into (2.13) and using (2.9) once more, we obtain, forα3>0,

Z

w2(q1+1)+

γ1 n

2 dx≤K2|Ω|2(1−µ3 3 )h 1

23φ(t)3+2α3

3 Z

|∇w2|2(q2+1)dxi

. (2.15) and similarly

Z

w2(q2+1)+

γ2 n

1 dx≤K1|Ω|2(1−µ3 4 )h 1

24φ(t)4+2α4

3 Z

|∇w1|2(q1+1)dxi

, (2.16) where α4 >0 and µ4 = 2n(3q2−2q1+1)+3γ2

1 <1. Combining (2.10), (2.11), (2.15) and (2.16) with (2.6), we conclude that

φ0(t)≤ −C1

Z

|∇w1|2(q1+1)dx−C2

Z

|∇w2|2(q2+1)dx +k1φ(t)1+k2φ(t)2+k3φ(t)3+k4φ(t)4, where

C1= σ11−1)b2

n2(q1+1) −2α1K1βσ1

3 |Ω|2(1−µ3 1 ) −2α4K1βσ2

3 |Ω|2(1−µ3 4 ), C2= σ22−1)b4

n2(q2+1) −2α2K2βσ1

3 |Ω|2(1−µ3 2 ) −2α3K2βσ2

3 |Ω|2(1−µ3 3 ), k1=K1|Ω|2(1−µ3 1 )βσ1

21 , k2= K2|Ω|2(1−µ3 2 )βσ2

22 , k3=K2|Ω|2(1−µ3 3 )βσ1

23 , k4= K1|Ω|2(1−µ3 4 )βσ2

24 .

Now, settingα1234, and choosingα1, α3such thatC1= 0 andC2= 0, hence, we have

φ0(t)≤g(φ), (2.17)

where

g(s) =k1s1+k2s2+k3s3+k4s4.

(6)

An integration of (2.17) from 0 totleads to Z φ(t)

φ(0)

ds g(s) ≤t,

so that if (u, v) blows up in the measure ofφast→t, we derive the lower bound Z

φ(0)

ds g(s) ≤t,

and Theorem 2.2 is proved. Clearly, the integral is bounded since 2µ1>1.

3. Non blow-up case

In this section, we consider the non blow-up property of problem (1.1)-(1.4) when 2 max(q1, q2)> m−1>0. To achieve this, we define the auxiliary function

φ(t) = 1 2 Z

u2dx+1 2

Z

v2dx. (3.1)

Theorem 3.1. Suppose that(A1), (A2) hold and that2 max(q1, q2)> m−1>0.

Let (u, v) be the nonnegative solution of problem (1.1)-(1.4), then (u, v) can not blow up in the measure φin finite time.

Proof. From(3.1), (1.1), (1.2) and (A2), we have φ0(t) =

Z

uutdx+ Z

vvtdx

≤ − Z

|∇u|2(b1+b2|∇u|2q1)dx− Z

|∇v|2(b3+b4|∇v|2q2)dx +β

Z

(um+1+vm+1)dx

≤ Z

(βum+1−b2|∇u|2(q1+1))dx+ Z

(βvm+1−b4|∇v|2(q2+1))dx

≤ Z

βum+1−b2( λ1

(q1+ 1)2)q1+1u2(q1+1) dx +

Z

βvm+1−b4( λ1

(q2+ 1)2)q2+1v2(q2+1) dx,

(3.2)

where the last inequality is obtained by using [14, (2.10]. Forq >0, Z

w2(q+1)dx≤((q+ 1)2 λ1 )q+1

Z

|∇w|2(q+1)dx,

whereλ1is the first eigenvalue in the fixed membrane problem, as defined in Section 2. Employing H¨older inequality, we have

Z

um+1dx≤Z

u2(q1+1)dx2(qm+1

1 +1)

· |Ω|2q2(q1−m+11 +1) , (3.3) Z

vm+1dx≤ Z

v2(q2+1)dx2(qm+1

21 +1)

· |Ω|2q2

−m+1

2(q2 +1) , (3.4)

Z

u2dx≤Z

um+1dxm+12

· |Ω|m−1m+1. (3.5)

(7)

Inserting (3.3)-(3.5) into (3.2), we see that φ0(t)≤

Z

um+1dx(β−M1( Z

u2dx)2q1−m+12 )dx + 2

Z

vm+1dx(β−M2( Z

v2dx)2q2−m+12 )dx

(3.6)

where

M1=b2( λ1

(q1+ 1)2)q1+1|Ω|2q1−m+12 , M2=b4( λ1

(q2+ 1)2)q2+1|Ω|2q2−m+12 . Apparently, if (u, v) blows up in theφmeasure at some timetthenφ0(t) would be negative which leads to a contradiction. Thus, the solution (u, v) can not blow up

in the measureφ. The proof is complete.

4. Criterion for blow-up

In this section, we investigate the blow up properties of solutions for (1.1)-(1.4) with

ρ1(s) =b1+b2sq1, ρ2(s) =b3+b3sq2, q1, q2, bi>0, i= 1−4. (4.1) For this purpose, we first define

φ(t) = 1 2

Z

u2dx+1 2

Z

v2dx (4.2)

and

ψ(t) =−b1

2k∇uk22− b2

2(q1+ 1) Z

|∇u|2(q1+1)dx−b3

2k∇vk22

− b4

2(q2+ 1) Z

|∇v|2(q2+1)dx+ Z

F(u, v)dx,

(4.3)

wherek · k2 is theL2(Ω)-norm.

Theorem 4.1. Suppose that (4.1) and (A2) hold. Assume further that m−1 >

2 max(q1, q2) ≥0 and ψ(0) >0. If (u,v) is the non-negative solution of problem (1.1)-(1.4), then the solution blows up at finite time t with

t≤ φ(0)−2m−1 (2m+ 1)(m+ 1). Proof. From (4.1)-(4.3), we have

φ0(t) =− Z

|∇u|2(b1+b2|∇u|2q1)dx− Z

|∇v|2(b3+b4|∇v|2q2)dx + (m+ 1)

Z

F(u, v)dx

≥(m+ 1)h

−b1

2 Z

|∇u|2dx− b2

2(q1+ 1) Z

|∇u|2(q1+1)dx

−b3

2k∇vk22− b4

2(q2+ 1) Z

|∇v|2(q2+1)dx+ Z

F(u, v)dxi

= (m+ 1)ψ(t),

(4.4)

(8)

and

ψ0(t) =−b1 Z

∇u· ∇utdx−b2 Z

|∇u|2q1∇u· ∇utdx−b3 Z

∇v· ∇vtdx

−b4

Z

|∇v|2q2∇v· ∇vtdx− Z

a|u+v|m−1(u+v)(ut+vt)dx

−b Z

|u|m−32 |v|m+12 uut+|v|m−32 |u|m+12 vvt dx

= Z

(u2t +v2t)dx≥0.

(4.5)

This, together with ψ(0) >0, implies that ψ(t)≥ψ(0) >0, for t ≥0. By using H¨older inequality, Schwarz inequality, (4.2) and (4.5), we obtain

0(t))2=Z

uutdx+ Z

vvtdx2

≤ kuk22kutk22+kvk22kvtk22+kuk22kvtk22+kuk22kutk22

= 1

2φ(t)ψ0(t).

(4.6)

Then, using (4.4) and (4.6), we deduce that φ0(t)ψ(t)≤ 1

m+ 1(φ0(t))2≤ 1

2(m+ 1)φψ0(t), which implies that

(ψ(t)φ(t)−2m−2)0≥0. (4.7)

An integration of (4.7) from 0 tot gives to

ψ(t)φ(t)−2m−2≥ψ(0)φ(0)−2m−2≡M. (4.8) Combining (4.4) with (4.8) and integrating the resultant differential inequality, we have

φ(t)−2m−1≤φ(0)−2m−1−(2m+ 1)(m+ 1)M t (4.9) Sinceφ(0)>0, (4.9) shows thatφbecomes infinite in a finite time

t≤T = φ(0)−2m−1 (2m+ 1)(m+ 1).

This completes the proof.

Acknowledgments. The authors would like to thank the anonymous referees for their valuable comments and useful suggestions on this work.

References

[1] J. M. Ball; Remarks on blow-up and nonexistence theorems for nonlinear evolution equations, Q. J. Math. Oxford28 (1977) 473–486.

[2] C. Bandle, H. Brunner; Blow-up in diffusion equations: A survey,J. Comput. Appl. Math.

97 (1998) 3–22.

[3] L. A. Caffarrelli, A. Friedman; Blow-up of solutions of nonlinear heat equations, J. Math.

Anal. Appl.129 (1988) 409–419.

[4] A. Friedman, B. McLeod; Blow-up of positive solutions of semilinear heat equations,Indiana Univ. Math. J.34 (1985) 425–447.

[5] V. A. Galaktionov, J. L. V´aquez; The problem of blow-up in nonlinear parabolic equations, Discrete Contin. Dyn. Syst.8 (2002) 399–433.

(9)

[6] H. Kielh¨ofer; Existenz und Regularit¨at von L¨osungen semilinearer parabolischer Anfangs- Randwertprobleme,Math. Z.142 (1975) 131–160.

[7] H. A. Levine; Nonexistence of global weak solutions to some properly and improperly posed problems of mathematical physics: The method of unbounded Fourier coefficients, Math.

Ann.214 (1975) 205–220.

[8] H. A. Levine; The role of critical exponents in blow-up theorems, SIAM Rev. 32 (1990) 262–288.

[9] F. Liang; Blow-up phenomena for a system of semilinear heat equations with nonlinear bound- ary flux,Nonlinear Anal.75 (2012) 2189-2198.

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

[11] L. E. Payne, G. A. Philippin, P. W. Schaefer; Bounds for blow-up time in nonlinear parabolic problems,J. Math. Anal. Appl.338 (2008) 438–447.

[12] L. E. Payne, G. A. Philippin, S. V. Piro; Blow-up phenomena for a semilinear heat equation with non-linear boundary condition II, Nonlinear. Anal.73 (2010) 971–978.

[13] L. E. Payne, P. W. Schaefer; Lower bounds for blow-up time in parabolic problems under Newmann conditions,Appl. Anal.85 (2006) 1301–1311.

[14] L. E. Payne, G. A. Philippin, P. W. Schaefer; Blow-up phenomena for some nonlinear para- bolic problems,Nonlinear Anal.69 (2008) 3495-3502.

[15] B. Straughan; Explosive Instabilities in Mechanics, Springer-Verlag, Berlin, 1998.

[16] F. B. Weissler; Local existence and nonexistence for semilinear parabolic equations inLp, Indiana Univ. Math. J.29 (1980) 79–102.

[17] F. B. Weissler; Existence and nonexistence of global solutions for a heat equation,Israel J.

Math.38 (1–2) (1981) 29–40.

Shun-Tang Wu

General Education Center, National Taipei University of Technology, Taipei, 106 Tai- wan

E-mail address:[email protected]

参照

関連したドキュメント

Our purpose in this paper is to study the boundary behavior of blow-up solutions of (1.1) when g is unbounded near R and f satisfies the condition (1.5).. For later reference, let

Yu; On decay and blow-up of the solution for a viscoelastic wave equation with boundary damping and source terms, Nonlinear Anal.. Liu; On existence, uniform decay rates, and

Yang, Complete blow-up for degenerate semilinear parabolic equations, Journal of Computational and Applied Mathematics 113 (2000), no.. Xie, Blow-up for degenerate parabolic

This paper deals with the blow-up properties of the solution to the degenerate and singular parabolic equation with nonlocal source and homogeneous Dirichlet boundary conditions..

About the universal bounds near the blow-up time under the subcritical Fujita exponent we refer also to [8] and [26] for a wide class of doubly degenerate parabolic equations with

In this article, we find a lower bound for the blow-up time of solu- tions to some nonlinear parabolic equations under Robin boundary conditions in bounded domains of R n.. Ding

These upper and lower solutions are used to obtain analytical bounds for the critical (blow-up) parameter of the problem.. Numerical results are presented for the slab, cylindrical

Very recently, Zhou 10 considered the initial boundary value problem for a quasilinear parabolic equation with a generalized Lewis function which depends on both spacial variable