• Keine Ergebnisse gefunden

Blow-Up of Solutions for a System of Petrovsky Equations with an Indirect Linear Damping

N/A
N/A
Protected

Academic year: 2022

Aktie "Blow-Up of Solutions for a System of Petrovsky Equations with an Indirect Linear Damping"

Copied!
7
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Blow-Up of Solutions for a System of Petrovsky Equations with an Indirect Linear Damping

Wenjun Liu

College of Mathematics and Statistics, Nanjing University of Information Science and Technology, Nanjing 210044, China

Reprint requests to W. L.; E-mail:wjliu@nuist.edu.cn

Z. Naturforsch.68a,343 – 349 (2013) / DOI: 10.5560/ZNA.2012-0116

Received August 6, 2012 / revised November 7, 2012 / published online January 23, 2013

In this paper, we consider a coupled system of Petrovsky equations in a bounded domain with clamped boundary conditions. Due to several physical considerations, a linear damping which is distributed everywhere in the domain under consideration appears only in the first equation whereas no damping term is applied to the second one (this is indirect damping). Many studies show that the solution of this kind of system has a polynomial rate of decay as time tends to infinity, but does not have exponential decay. For four different ranges of initial energy, we show here the blow-up of solutions and give the lifespan estimates by improving the method of Wu (Electron. J. Diff. Equ. 105, 1 (2009)) and Li et al. (Nonlin. Anal. 74, 1523 (2011)).

From the applications point of view, our results may provide some qualitative analysis and intuition for the researchers in other fields such as engineering and mechanics when they study the concrete models of Petrovsky type.

Key words:Petrovsky Systems; Blow-Up; Indirect Damping; Lifespan Estimates.

Mathematics Subject Classification 2000:35L05, 35L57, 35B44

1. Introduction

We consider the following coupled system of Pe- trovsky equations in a bounded domain with clamped boundary conditions:

utt+∆2u+ut=Fu(u,v), (x,t)∈Ω×[0,T), vtt+∆2v=Fv(u,v), (x,t)∈Ω×[0,T), u(x,0) =u0(x),ut(x,0) =u1(x), x∈Ω, v(x,0) =v0(x),vt(x,0) =v1(x), x∈Ω,

u(x,t) =νu(x,t) =0, (x,t)∈∂ Ω×[0,T), v(x,t) =νv(x,t) =0, (x,t)∈∂ Ω×[0,T),

(1)

where Ω ⊂Rn (n ≥1) is a bounded domain with smooth boundary ∂ Ω, ν is the unit normal vector pointing toward the exterior ofΩ,T>0, andF:R2→ Ris aC1function given by

F(u,v) =α|u+v|r+1+2β|uv|r+12 , wherer≥3,α>1, andβ >0, which implies

Fu(u,v) = (r+1)

α|u+v|r−1(u+v) +β|u|r−32 |v|r+12 u

, Fv(u,v) = (r+1)

α|u+v|r−1(u+v) +β|v|r−32 |u|r+12 v

, uFu(u,v) +vFv(u,v) = (r+1)F(u,v) for all (u,v)∈R2.

(2)

The physical origin of (1) lies in the study of beam and plate, and it falls within the framework of indi- rect damping mechanisms developed by Russell [1] in the early nineties. What makes the problem to be dis- cussed interesting is the fact that, due to several phys- ical considerations, the linear damping which is dis- tributed everywhere in the domainΩ appears only in the first equation of problem (1) whereas no damp- ing term is applied to the second one (this is the so- called indirect damping, see also [2]). Indirect damp-

© 2013 Verlag der Zeitschrift f¨ur Naturforschung, T¨ubingen·http://znaturforsch.com

(2)

ing of reversible systems occurs in many applica- tions in engineering and mechanics. Indeed, it arises whenever it is impossible or too expensive to damp all the components of the state. Many studies show that the solution of this kind of system has a poly- nomial rate of decay as time tends to infinity, but does not have exponential decay (see [3–8] and ref- erences therein). Our main purpose in this work is to investigate the blow-up properties of solutions of prob- lem (1).

We should mention that the initial-boundary value problem for Petrovsky or wave equation with linear or nonlinear damping term has been studied by many au- thors. For the single initial-boundary value problem utt+∆2u+g(ut) =β|u|r−1u, (x,t)∈Ω×[0,T), u(x,0) =u0(x), ut(x,0) =u1(x), x∈Ω, u(x,t) =vu(x,t) =0, (x,t)∈∂ Ω×[0,T),

(3)

we refer to [9–12] and the references therein.

In [10], Messaoudi studied problem (3) withg(ut) = α|ut|p−1ut and showed that the solution blows up in finite time ifr>pand the energy is negative, while the solution is global if pr. Then Wu and Tsai in [12]

showed that the solution is global under some condi- tions without any relation between pandr. They also proved the local solution blows up in finite time ifr>p and the initial energy is nonnegative. In [9], Amroun and Benaissa proved the global existence of the solu- tions by means of the stable set method inH02(Ω)com- bined with the Faedo–Galerkin procedure. They also studied the asymptotic behaviour of solutions when the nonlinear dissipative termgdoes not necessarily have a polynomial growth near the origin. For other related results of individual Petrovsky or wave equation, we refer the reader to [13–18] and the references therein.

For the study of the system of nonlinear wave equa- tions

utt−∆u+|ut|p−1ut=Fu(u,v),

vtt−∆v+|vt|q−1vt=Fv(u,v), (4) wherep,q≥1, the reader can see [19–25] for exam- ples. Recently, Li et al. [26] investigated global exis- tence, uniform decay, and blow-up of solutions for the coupled system of Petrovsky equations with linear or nonlinear damping terms in both equations.

In this paper, we are interested in the blow-up be- haviour of solutions for (1) in a bounded domain. For four different ranges of initial energy, we show the

blow-up of solutions and give the lifespan estimates by improving the method of [25,26]. Therefore, this work improves an earlier work [26], in which similar results have been established for (1) but in the pres- ence of the damping terms in both equations. From the applications point of view, our results may pro- vide some qualitative analysis and intuition for the re- searchers in other fields such as engineering and me- chanics when they study the concrete models of Pe- trovsky type.

Our paper is organized as follows. In Section2, we present some notation and state the main result. The proof of the main result is given in Section3.

2. Preliminaries

In this section, we present some notation and state the main result. We use the standard Lebesgue space Lp(Ω)and the Sobolev spaceH02(Ω)with their usual scalar product and norms.

We define the following functionals:

J(t):=J(u(t),v(t)) =1 2 Z

|∆u|2+|∆v|2

−2α|u+v|r+1−4β|uv|r+12

dx,

(5)

E(t) =1 2

kut(t)k22+kvt(t)k22

+J(u(t),v(t))

=1 2 Z

u2t +v2t+|∆u|2+|∆v|2

−2α|u+v|r+1−4β|uv|r+12

dx,

(6)

I(t):=I(u(t),v(t)) = Z

|∆u|2+|∆v|2−(r+1)

·α|u+v|r+1−2(r+1)β|uv|r+12

dx

=k∆uk22+k∆vk22−(r+1) Z

F(u,v)dx. (7)

We denote

d= inf

(u,v)∈H02(Ω)×H02(Ω),(u,v)6=(0,0)

sup

λ≥0

J(λ(u,v)), (8) and define

W1=

(u,v)

(u,v)H02(Ω)×H02(Ω), I(u,v)>0

∪ {(0,0)},

(3)

W2= (u,v)

(u,v)H02(Ω)×H02(Ω),I(u,v)<0 ,

N =

(u,v)

(u,v)H02(Ω)×H02(Ω),(u,v)6= (0,0), I(u,v) =0

.

The structure of the functional J allows us to easily show that (see [20])

d= inf

(u,v)∈NJ(u,v).

We then state a local existence theorem which can be established by combining arguments of [10,19,27].

Theorem 1 (Local existence). Assume that u0,v0H02(Ω), u1,v1L2(Ω), and

3≤r<+∞ if n=1,2,3,4

or 3≤r≤(3n−10)/(n−4) if n≥5, then there exists a unique local solution (u,v)of (1) defined on[0,T), for some T>0. In addition, the so- lution satisfies

u,vC([0,T],H02(Ω)), ut,vtC([0,T],L2(Ω)).

Moreover, at least one of the following statements holds true:

1.kutk22+kvtk22+k∆uk22+k∆vk22→∞astT, 2. T=∞.

Now we are in a position to state our main result.

Theorem 2. Assume that u0,v0H02(Ω), u1,v1L2(Ω), and

3≤r<+∞ if n=1,2,3,4

or 3≤r≤(3n−10)/(n−4) if n≥5. Suppose that any one of the following statements is sat- isfied:

(i) E(0)<0 ,

(ii) E(0) =0 andR(u0u1+v0v1)dx>0 , (iii) 0<E(0)<dandI(u0,v0)<0 , (iv) dE(0)≤Λ for

Λ=min

( [R(u0u1+v0v1)dx]2 2

(T1+1)ku0k22+kv0k22, r+3 2r2(r+1)

·

2 Z

(u0u1+v0v1)dx−r2 2ku0k22+kv0k22 )

,

where r2 = 2√

r+3/ √

r+3+√ r−1

and T1 is a certain constant appearing in (31) below.

Then, the solution (u(t),v(t))blows up at a finite time Tin the sense of

lim

t→T∗−

Z

u2+v2 dx+

Z t 0

kuk22dt

=∞. (9) In case (i),

Tt0Y(t0) Y0(t0). Furthermore, if Y(t0)<min

1,p

ab , we have Tt0+ 1

√−bln

p−ab p−ab−Y(t0), where

a2Y2+2κ(t0)

a0(t0)− ku0k222

−8E(0)Y−1κ (t0)

>0, κ=r−1 4 ,

(10)

b=(r−1)2

2 E(0)<0. (11)

In case (ii), Tt0+Y(t0)

a ,

where a and b are defined as (10) and (11), respec- tively.

In cases (iii) and (iv), TY(t0)

a or Tt0+2(3κ+1)/2κa b

2+1κ

· κ

a h

1−(1+cY(t0))−1/2κi .

Furthermore, in case (iii) a2Y2+2κ(t0)

a0(t0)− ku0k222

+ 2c

1+2κY−1κ (t0)

>0,

(12)

b=− 2cκ2

1+2κ, (13)

and in case (iv) a and b are defined as (10) and (11), respectively.

Here t0=tis given by (24) in case (i), t0=tis given by (26) in cases (iii), and t0=0 in case (ii) and (iv), and Y(·)is the function defined in (31) be- low.

(4)

3. Blow-Up of Solutions

In this section, we shall discuss the blow-up prop- erty of solutions for (1). Before doing this, let us give the following lemmas that will be used later.

Lemma 1 ([23]). Let us have κ >0 and let B(t)C2(0,∞)be a nonnegative function satisfying

B00(t)−4(κ+1)B0(t) +4(κ+1)B(t)≥0. (14) If

B0(0)>r2B(0) +K0 (15) with r2=2(κ+1)−2p

(κ+1)κ, then B0(t)>K0for t>0, where K0is a constant.

Lemma 2([23]). If Y(t)is a nonincreasing function on[t0,∞)and satisfies the differential inequality

Y0(t)2a+bY(t)2+κ1 for tt0, (16) where a>0, b∈R, then there exists a finite time T such that

lim

t→T∗−Y(t) =0.

Upper bounds for Tare estimated as follows:

(i) If b<0, then Tt0+ 1

√−bln

p−ab p−ab−Y(t0). (ii) If b=0, then Tt0+Y(t0)

Y0(t0). (iii) If b > 0, then TY(t0)

a or Tt0+ 2(3κ+1)/2κκc

a h

1−(1+cY(t0))−1/2κi , where c= ab2+1κ

.

Lemma 3. E(t)is a nonincreasing function for t≥0 and

d

dtE(t) =− kut(t)k22. (17) Proof. Multiplying the first and the second equations of (1) byut andvt, respectively, integrating them over Ω, adding the results together, and then integrating by parts, we obtain

E(t)E(0) =− Z t

0

kutk22dt for t≥0. (18) Being the primitive of an integrable function, E(t)is absolutely continuous and equality (17) is satisfied.

Lemma 4([9,20,26]). Suppose that u0,v0H02(Ω), u1,v1L2(Ω), and

3≤r<+∞ if n=1,2,3,4

or 3≤r≤(3n−10)/(n−4) if n≥5. Suppose further that(u0,v0)∈W2and E(0)<d. Then we have(u(t),v(t))W2for all t∈[0,T), and

Z

|∆u|2+|∆v|2

dx>2(r+1)

r−1 d. (19) Let

a(t) = Z

u2+v2 dx+

Z t 0

kuk22dt for t≥0. (20) To prove Theorem2, we need to introduce the fol- lowing two lemmas by modifying and improving the method of [25,26].

Lemma 5. Suppose that u0,v0H02(Ω)and u1,v1L2(Ω), andκ=r−14 , then we have

a00(t)−4(κ+1) Z

u2t+vt2 dx

≥(−4−8κ)E(0) + (4+8κ)

· Z t

0

kutk22dt+4κ

k4uk22+k4vk22 .

(21)

Proof. By (20), we have a0(t) =2

Z

(uut+vvt)dx+kuk22, (22) and

a00(t) =2 Z

u2t+vt2

dx−2

k∆uk22+k∆vk22 (23) +2(r+1)αku+vkr+1r+1+4(r+1)βkuvkr+1r+12

2

. Then from (23), (6), and (18), we obtain (21).

Lemma 6. Under the conditions of Theorem 2, we have a0(t)>ku0k22 for t>t0, where t0=tis given by (24) in case (i), t0=tis given by (26) in case (iii), and t0=0in cases (ii) and (iv).

Proof. (i) IfE(0)<0, then from (21), we have a0(t)≥a0(0)−4(1+2κ)E(0)t>a0(0) for t>0. Thus we geta0(t)>ku0k22fort>t, where

t=max

(a0(0)− ku0k22 4(1+2κ)E(0),0

)

. (24)

(5)

(ii) IfE(0) =0, then from (21), we obtaina00(t)≥0 fort≥0. Ifa0(0)>ku0k22, then we havea0(t)>

ku0k22,t≥0.

(iii) If 0<E(0)<dandI(u0,v0)<0, then from (21) and by Lemma4, we get

a00(t)≥(−4−8κ)E(0) +4κ

k∆uk22+k∆vk22

≥(4+8κ) (d−E(0)):=c>0. (25) Thus, we obtaina0(t)>ku0k22fort>t, where

t=max

(ku0k22a0(0)

c ,0

)

. (26)

(iv) For the caseE(0)d, we first note that 2

Z t 0

Z

uutdxdt=kuk22− ku0k22. (27) By H¨older’s inequality and Young’s inequality, we ob- tain from (27),

kuk22≤ ku0k22+ Z t

0

kuk22dt+ Z t

0

kutk22dt. (28) By H¨older’s inequality and Young’s inequality again and using (22), (20), and (28), we get

a0(t)≤a(t) +ku0k22+ Z

u2t+vt2 dx +

Z t 0

kutk22dt.

(29) Hence by (21) and (29), we have

a00(t)−4(κ+1)a0(t) +4(κ+1)a(t) +h

(4+8κ)E(0) +4(κ+1)ku0k22i

≥4κ Z t

0

kutk22dt≥0. Let

k(t) =a(t) +(4+8κ)E(0)+4(κ+1)ku0k22

4(κ+1) fort>0.

Thenk(t)satisfies Lemma1. We see that if a0(0)>r2

"

a(0) +(4+8κ)E(0) +4(κ+1)ku0k22 4(1+κ)

#

+ku0k22, (30)

then a0(t) > ku0k22, t ≥ 0, where r2 is given in Lemma1. Moreover, (30) is equal to

E(0)≤ (1+κ) r2(1+2κ)

h 2

Z

(u0u1+v0v1)

−r2 2ku0k22+kv0k22i .

Now, we show the proof of Theorem2.

Proof of Theorem2. Let Y(t) =h

a(t) + (T1−t)ku0k22i−κ

, t∈[0,T1], (31)

whereT1>0 is a certain constant which will be speci- fied later. Then we get

Y0(t) =−κh

a(t) + (T1−t)ku0k22i−κ−1

a0(t)− ku0k22

=−κY1+κ1(t)

a0(t)− ku0k22

, (32)

and

Y00(t) =−κY1+κ2(t)a00(t)h

a(t) + (T1−t)ku0k22i +κY1+κ2(t)(1+κ)

a0(t)− ku0k222

.

We set

V(t) =a00(t)h

a(t) + (T1t)ku0k22i

−(1+κ)

a0(t)− ku0k222

,

(33)

then

Y00(t) =−κY1+κ2(t)V(t). (34) For simplicity of calculation, we denote

Pu= Z

u2dx, Pv= Z

v2dx, Qu= Z t

0

kuk22dt, Ru=

Z

ut2dx, Rv= Z

vt2dx, Su= Z t

0

kutk22dt, From (23), (27), and H¨older’s inequality, we define a0(t) =2

Z

(uut+vvt)dx+ku0k22+2 Z t

0 Z

uutdxdt

≤2√

RuPu+p

QuSu+p RvPv

+ku0k22. (35) For the case (i) or (ii), by (21), we have

a00(t)≥(−4−8κ)E(0)

+4(1+κ) (Ru+Rv+Su). (36) Thus, from (33), (35), (36), and (31), we obtain V(t)≥[(−4−8κ)E(0) +4(1+κ) (Ru+Rv+Su)]

·Y−1κ (t)−4(1+κ)√

RuPu+p

RvPv+p QuSu2

.

(6)

From a(t) =

Z

u2+v2 dx+

Z t 0

kuk22dt=Pu+Pv+Qu and (31), we get

V(t)≥(−4−8κ)E(0)Y−1κ (t) +4(1+κ)

·h

(Ru+Rv+Su) (T1−t)ku0k22+Φ(t)i , where

Φ(t) = (Ru+Rv+Su) (Pu+Pv+Qu)

−√

RuPu+p

RvPv+p QuSu2

. By the Schwarz inequality, we know thatΦ(t)is non- negative. Hence, we have

V(t)≥(−4−8κ)E(0)Y−1κ (t), tt0. (37) Therefore, by (34) and (37), we get

Y00(t)≤4κ(1+2κ)E(0)Y1+κ1(t), tt0. (38) By Lemma6, we know thatY0(t)<0 fortt0. Multi- plying (38) byY0(t)and integrating it fromt0tot, we get

Y02(t)≥a+bY2+κ1(t)

fortt0, wherea,bare defined as (10) and (11), re- spectively.

For the case (iii), we obtain from (21) and (25) that a00(t)≥c+4(1+κ) (Ru+Rv+Su).

By the steps in case (i), we get Y00(t)≤ −κcY1+1κ(t), tt0, and then

Y02(t)≥a+bY2+κ1(t),

wherea,bare defined as (12) and (13), respectively.

For the case (iv), by the steps in case (i), we get (37) and (38) if and only if

E(0)<

a0(0)− ku0k222

8

a(0) +T1ku0k22

= [R(u0u1+v0v1)dx]2 2

(T1+1)ku0k22+kv0k22.

Therefore, by Lemma2, there exists a finite timeT such that limt→T∗−Y(t) =0 and the upper bound ofT is estimated according to the sign ofE(0). This means that (9) holds.

Remark 1. The choice ofT1 in (31) is possible pro- vided thatT1T, we refer the reader to [25] for de- tails.

4. Concluding Remarks

In this paper, we have investigated a coupled sys- tem of Petrovsky equations in a bounded domain with clamped boundary conditions, the physical origin of which lies in the study of beam and plate. Due to sev- eral physical considerations, a linear damping which is distributed everywhere in the domain under consid- eration appears only in the first equation whereas no damping term is applied to the second one (this is indi- rect damping). Indirect damping of reversible systems occurs in many applications in engineering and me- chanics. Indeed, it arises whenever it is impossible or too expensive to damp all the components of the state.

Many studies show that the solution of this kind of sys- tem has a polynomial rate of decay as time tends to in- finity, but does not have exponential decay. For four different ranges of initial energy, we have showed here the blow-up of solutions and give the lifespan estimates by improving the method of [25,26].

From the applications point of view, our results may provide some qualitative analysis and intuition for the researchers in other fields such as engineering and me- chanics when they study the concrete models of Pe- trovsky type.

Acknowledgements

This work was partly supported by the National Natural Science Foundation of China (Grant No.

11126291, 40975002, 41174165) and the Natural Sci- ence Foundation of the Jiangsu Higher Education Insti- tutions (Grant No. 09KJB110005). The author would like to thank Professor Shun-Tang Wu for his valuable discussion of this paper.

[1] D. L. Russell, J. Math. Anal. Appl.173, 339 (1993).

[2] K. Liu, SIAM J. Control Optim.35, 1574 (1997).

[3] F. Alabau, P. Cannarsa, and V. Komornik, J. Evol. Equ.

2, 127 (2002).

[4] F. Alabau–Boussouira, SIAM J. Control Optim.41, 511 (2002).

[5] A. Beyrath, Bol. Soc. Parana. Mat.22, 17 (2004).

(7)

[6] A. Borichev, and Y. Tomilov, Math. Ann. 347, 455 (2010).

[7] M. L. Santos, M. P. C. Rocha, and S. C. Gomes, Appl.

Anal.86, 1293 (2007).

[8] L. Tebou, Math. Control Relat. Fields2, 45 (2012).

[9] N. E. Amroun and A. Benaissa, Georgian Math. J.13, 397 (2006).

[10] S. A. Messsoudi, J. Math. Anal. Appl. 265, 296 (2002).

[11] F. Tahamtani and M. Shahrouzi, Bound. Val. Probl.

2012, 1 (2012).

[12] S. T. Wu and L. Y. Tsai, Taiwan. J. Math. 13, 545 (2009).

[13] M. M. Cavalcanti, Discrete Contin. Dyn. Syst.8, 675 (2002).

[14] M. M. Cavalcanti and V. N. Domingos Cavalcanti, J.

Math. Anal. Appl.291, 109 (2004).

[15] M. M. Cavalcanti, V. N. Domingos Cavalcanti, and J. A. Soriano, Commun. Contemp. Math.6, 705 (2004).

[16] M. M. Cavalcanti, V. N. Domingos Cavalcanti, and P. Martinez, J. Diff. Eqs.203, 119 (2004).

[17] E. Vitillaro, J. Diff. Eqs.186, 259 (2002).

[18] B. Yamna and B. Benyattou, E. J. Quali. Theory Diff.

Eqs.2012, 1 (2012).

[19] K. Agre and M. A. Rammaha, Diff. Integ. Eqs.19, 1235 (2006).

[20] C. O. Alives, M. M. Cavalcanti, V. N. Domingos Ca- valcanti, M. A. Rammaha, and D. Toundykov, Discrete Contin. Dyn. Syst. Ser. S2, 583 (2009).

[21] A. Barhoumi, Bol. Soc. Parana. Mat.27, 53 (2009).

[22] M. R. Li and L. Y. Tsai, Taiwan. J. Math.7, 557 (2003).

[23] M. R. Li and L. Y. Tsai, Nonlin. Anal.54, 1397 (2003).

[24] E. Piskin and N. Polat, J. Adv. Res. Appl. Math.4, 26 (2012).

[25] S. T. Wu, Electron. J. Diff. Eqs.105, 1 (2009).

[26] G. Li, Y. N. Sun, and W. J. Liu, Nonlin. Anal.74, 1523 (2011).

[27] W. J. Liu and J. Yu, Stud. Appl. Math.127, 315 (2011).

Referenzen

ÄHNLICHE DOKUMENTE

For certain boundary blow-up problems on bounded, strongly pseudoconvex domains in C n with smooth boundary an estimate of the blow-up rate of solutions are given in terms of

a certain graph, is shown, and he wants to understand what it means — this corre- sponds to reception, though it involves the understanding of a non-linguistic sign;

However, the semi-definiteness and controllabilitv reauirements may reduce this to a lesser number, depending upon the structure

”&#34;“&#34; ° enormous waste takes place, although if a chargeis madein accordance wit‘1 the quantity delivered it is said to provide an excuse for pe130ns to limit themselvesin

A composite consists of a rigid base, an elastic layer and a film that can be assumed to be inextensible.. What form will assume the film when trying to tear

The pigment responsible for the bright-yellow color of the stalk bases of Leccinum chromapes is methyl isoxerocomate, which is accompanied by lesser amounts of isoxerocomic acid

He deserves to be praised by a grateful present and posterity as the man who first liberated mankind from immaturity (as far as government is concerned), and who left all men free

Russian geo-political hard power may have trumped EU soft power in the short-run in both Armenia and Ukraine, but the democratic power of the Ukrainian people in alliance with