Skip to main content

Advertisement

On global solution, energy decay and blow-up for 2-D Kirchhoff equation with exponential terms

Article metrics

  • 1024 Accesses

Abstract

This paper is concerned with the study of damped wave equation of Kirchhoff type u t t M( u ( t ) 2 2 )u+ u t =g(u) in Ω×(0,), with initial and Dirichlet boundary condition, where Ω is a bounded domain of R 2 having a smooth boundary Ω. Under the assumption that g is a function with exponential growth at infinity, we prove global existence and the decay property as well as blow-up of solutions in finite time under suitable conditions.

MSC: 35L70, 35B40, 35B44.

1 Introduction

Let Ω be a bounded domain with smooth boundary Ω, we are concerned with the initial-boundary value problem

{ u t t M ( u ( t ) 2 2 ) u + u t = g ( u ) in  Ω × ( 0 , ) , u ( 0 , x ) = u 0 ( x ) , u t ( 0 , x ) = u 1 ( x ) , x Ω , u ( t , x ) = 0 on  Ω × ( 0 , ) ,
(1.1)

where g is a source term with exponential growth at the infinity to be specified later, M(s) is a positive C 1 class function in s0. It is said that (1.1) is non-degenerate if there exists a constant m 0 >0 such that M(s) m 0 for all s0. If there exists a point s 0 0 such that M( s 0 )=0, then it is said that (1.1) is degenerate. In the case M(s) m 0 >0, (1.1) is usually a semilinear wave equation. In this paper, we only consider non-degenerate case.

It is known that Kirchhoff [1] first investigated the following nonlinear vibration of an elastic string for δ=f=0:

ρh 2 u t 2 +δ u t = { p 0 + E h 2 L 0 L ( u x ) 2 d x } 2 u x 2 +f;0xL,t0,

where u=u(x,t) is the lateral displacement at the space coordinate x and the time t, ρ the mass density, h the cross-section area, L the length, E the Young modulus, p 0 the initial axial tension, δ the resistance modulus, and f the external force.

Recently, Alves and Cavalcanti [2] studied the following problem with nonlinear damping term:

{ u t t u + h ( u t ) = g ( u ) in  Ω × ( 0 , ) , u ( 0 , x ) = u 0 ( x ) , u t ( 0 , x ) = u 1 ( x ) , x Ω , u ( t , x ) = 0 on  Ω × ( 0 , ) ,
(1.2)

where g is a source term with exponential growth at infinity to be specified later, h() is a monotone continuous function with polynomial growth at infinity and with no restriction on the growth rate near the origin. There are few works in the literature dealing with the exponential source even for wave equation, the work [2] is a recent one in this direction. In [3] Ma and Soriano studied an evolution equation with exponential term of the following form:

u t t div ( | u | n 2 u ) u t +g(u)=f(t,x)in Ω×(0,),

with initial and Dirichlet boundary condition, where Ω R n is a bounded domain with smooth boundary Ω, n2, g(u) grows like e | u | n n 1 and satisfies the sign condition g(u)u0. More recently, Han and Wang [4] studied the following problem:

u t t uω u t +μ u t =g(u)in Ω×(0,),
(1.3)

with initial and Dirichlet boundary condition, where Ω R 2 is a bounded domain with smooth boundary Ω, g(u) is just the term considered in [2]. In fact, when g(u)= | u | p 2 u, the problem (1.3) was studied by Gazzola and Squassina in [5].

To the author’s knowledge, there are few works in the literature dealing with the exponential source for Kirchhoff equations. When the source term g(u) is a nonlinear function like ± | u | α u for α0, the problem (1.1) has been discussed by many authors; see [6]–[10] and the references cited therein.

Motivated by there papers, in this study, we concentrate on studying the problem (1.1) with M(s) m 0 >0 for constant m 0 . In what follows, we would like to introduce some well-known theory of elliptic problems. More precisely, defining the functional J ˜ (): H 0 1 (Ω)R by

J ˜ (u)= m 0 2 Ω | u | 2 dx Ω G(u)dx,
(1.4)

where G(u)= 0 u g(s)ds. The critical points of the functional J ˜ are the weak solutions of the elliptic problem

{ m 0 u = g ( u ) in  Ω , u ( x ) = 0 on  Ω .

Defining the functional I ˜ (): H 0 1 (Ω)R by

I ˜ (u)= m 0 u 2 2 Ω g(u)udx.
(1.5)

Related to the functional J ˜ , we have the well-known Nehari manifold:

N= { u | u H 0 1 ( Ω ) { 0 } : I ˜ ( u ) = 0 } .

If g satisfies some suitable properties, it is possible to prove the functional J ˜ satisfies the hypotheses of the mountain pass theorem due to Ambrosetti and Rabinowitz [11], and the level

d= inf u H 0 1 ( Ω ) { 0 } max λ 0 J ˜ (λu)>0

called mountain pass level is a critical level for J ˜ . By Theorem 4.2 in [12], the mountain pass level d can be characterized as

d= inf u N J ˜ (u).
(1.6)

In order to study the problem (1.1), we define some additional functionals. Define

J(u)= 1 2 M ¯ ( u 2 2 ) Ω G(u)dx,
(1.7)
I(u)=M ( u 2 2 ) u 2 2 Ω g(u)udx,
(1.8)

where M ¯ (r)= 0 r M(s)ds. Then we can define

W= { u | u H 0 1 ( Ω ) : I ˜ ( u ) > 0 } {0}.

Now, as usual setting

E(t)= 1 2 u t ( t ) 2 2 +J ( u ( t ) ) .
(1.9)

The remainder of this paper is organized as follows. Section 2 is concerned with some notation, statement of assumptions and the main results. Sections 3 and 4 are devoted to the proofs of the main results.

2 Assumptions and main results

To state our results, we need the following assumptions.

(A1) Assume that g:RR is a C 1 function satisfying:

For each β>0, there exists a positive constant C β such that

| g (ζ)|,|g(ζ)| C β e β ζ 2 ,for all ζR.
(2.1)

Near the origin we have

lim ζ 0 g ( ζ ) ζ =0.
(2.2)

The function g(ζ)/ζ is increasing in (0,).

(A2) There exists a positive constant θ>2 such that

0<θG(ζ)<g(ζ)ζ,for all ζR{0}.
(2.3)

A typical example of functions satisfying (A1) is

g(ζ)= | ζ | p 2 ζ e C | ζ | α ,for all ζR,

where p>2, C>0, α(1,2) arbitrarily chosen. From (2.2), for each ε>0 fixed, there exists δ>0 such that

|g(ζ)|ε|ζ|,for all ζ[δ,δ].

Moreover, from (2.1), for each β>0 and p1 fixed, there exists C β >0 such that

|g(ζ)| δ p + 1 C β | ζ | p 1 e β ζ 2 ,for all ζ(,δ][δ,+).

Hence, for each β,ε>0 and p1 fixed, there exists δ and C β , ε , p >0 satisfying

|g(ζ)|ε|ζ|+ C β , ε , p | ζ | p 1 e β ζ 2 ,for all ζR,
(2.4)
|G(ζ)| ε 2 | ζ | 2 + C β , ε , p | ζ | p e β ζ 2 ,for all ζR,
(2.5)

where G(ζ)= 0 ζ g(s)ds.

Remark 2.1

The assumptions (A1) and (A2) have been used in [2]. The condition (2.3) is the well-known Ambrosetti-Rabinowitz condition, widely used in elliptic problem. Also as remarked in [2], [12], the mountain pass level d can be characterized by (1.6) provided (2.1), (2.2), and (2.3) hold.

Throughout this paper we will make use of the Moser-Trudinger inequality found in [13], [14].

Lemma 2.1

Let Ω be a bounded domain in R n , n2. For allu W 0 1 , n (Ω),

e α | u | n n 1 L 1 (Ω),for all α>0,

and there exist positive constants C n and α n such that

sup u W 0 1 , n ( Ω ) 1 Ω e α | u | n n 1 dx C n ,for all α α n ,

where α n =n ω n 1 1 / ( n 1 ) and ω n 1 is the(n1)-dimensional surface of unit sphere, specially, α 2 =4π.

Now, we state our main results. First, we consider the problem (1.1) with M(s)=1+ s γ / 2 for γ>1. We have the following global existence and decay result.

Theorem 2.1

Assume that (A1) and (A2) hold, M(s)=1+ s γ / 2 forγ>1. Then there exists an open set S in(W H 2 (Ω))× H 0 1 (Ω), which contains(0,0), if( u 0 , u 1 )Sand the initial energyE(0)<d, thenu(t)Won[0,). Furthermore, suppose that there exists a constant η 0 (0,1)such that

I ˜ ( u ( t ) ) η 0 u ( t ) 2 2 ,for t0,

then the problem (1.1) has a unique solutionu=u(t)satisfying

u L ( R + ; H 0 1 ( Ω ) H 2 ( Ω ) ) W 1 , ( R + ; H 0 1 ( Ω ) ) W 2 , ( R + ; L 2 ( Ω ) ) .

Furthermore, we have the following energy decay estimate:

E(t)E(0) e κ [ t 1 ] + on [0,),

where κ is a positive constant.

Secondly, we consider the initial-boundary value problem (1.1) under the following general assumption.

(A3) Assume that the sign condition g(s)s0 holds for all sR. M(s) is a positive C 1 function on [0,), and

M(s)1,| M (s)| s α ,for α0.

Then we can state the global existence and energy decay to the related problem (1.1).

Theorem 2.2

Let (A1) and (A3) hold, then there exists an open set S in( H 0 1 (Ω) H 2 (Ω))× H 0 1 (Ω), which contains(0,0)such that if( u 0 , u 1 )S, then the conclusions of Theorem  2.1hold.

Our final result is concerned with the blow-up phenomenon. First of all we give the following assumption.

(A4) There exists a positive constant δ such that

sg(s)(2+4δ)G(s),for all sR

and

(2δ+1) M ¯ (s)M(s)s0,for all s0.

Theorem 2.3

Under the assumptions (A1) and (A4), and that either one of the following conditions is satisfied:

  1. (i)

    E(0)<0,

  2. (ii)

    E(0)=0 and Ω u 0 u 1 dx>0,

  3. (iii)

    0<E(0)< ( Ω u 0 u 1 d x ) 2 2 ( T 1 + 1 ) u 0 2 2 and (4.10) holds, where T 1 to be chosen later.

Then the solution u blows up at finite T . And T can be estimated by (4.19)-(4.23), respectively, according to the sign ofE(0).

3 Global existence and energy decay

In this section, we will give the solvability in the class of H 2 (Ω) H 0 1 (Ω) and the energy decay of the problem (1.1). From now on we denote c or c i various positive constants.

3.1 Proof of Theorem 2.1

In this section we take M(s)=1+ s γ 2 for γ>1, and u 0 W H 2 (Ω) and u 1 H 0 1 (Ω). We employ the Galerkin method to construct a global solution. Let { λ i } i = 1 be a sequence of eigenvalues for w=λw in Ω and w=0 on Ω. Let w i H 0 1 (Ω) H 2 (Ω) be the corresponding eigenfunction to λ i and take { w i } i = 1 as a completely orthonormal system in L 2 (Ω). We construct approximate solutions u m in the form u m (t)= i m g i m (t) w i , where g i m are determined by the following ordinary differential equations:

{ ( u m ( t ) , w i ) + M ( u m ( t ) 2 2 ) ( u ( t ) , w i ) + ( u m ( t ) , w i ) = ( g ( u m ( t ) ) , w i ) , i = 1 , , m , u m ( 0 ) = u 0 m = i = 1 m ( u 0 , w i ) w i u 0 as  m  in  H 0 1 ( Ω ) H 2 ( Ω ) , u m ( 0 ) = u 1 m = i = 1 m ( u 1 , w i ) w i u 1 as  m  in  H 0 1 ( Ω ) .
(3.1)

System (3.1) can easily be solved by Picard’s iteration method, hence it admits a local solution on some interval [0, T m ) with 0< T m . Note that u m (t) is of C 2 class. We shall see that u m (t) can be extended to [0,), which needs some prior estimates for u m (t). But this procedure allows us to employ the energy method for an assumed smooth solution u(t) to the problem (1.1) (the results should be in fact applied to approximated solutions).

Now, it is easy to see the following energy identity:

E(t)+ 0 t u t ( s ) 2 2 ds=E(0),
(3.2)

as long as the approximated solutions exist. First we discuss the H 1 a priori estimate.

Lemma 3.1

( H 1 a priori bounds)

Letu(t)be a solution with the initial data u 0 W H 2 (Ω), u 1 H 0 1 (Ω), and the initial energyE(0)<d. And the assumptions (A1) and (A2) hold. Thenu(t)Won[0,). Furthermore, there exists a constantC=C( u 1 2 , u 0 2 )>0such that

u t ( t ) 2 + u ( t ) 2 2 C, 0 t u t ( s ) 2 2 dsC,

for allt0.

Proof

Since J ˜ (u(t))J(u(t)), it follows from the energy identity (3.2) and the initial energy E(0)<d that

1 2 u t 2 2 + J ˜ ( u ( t ) ) + 0 t u t ( s ) 2 2 dsE(0)<d,for all t[0, T m ),
(3.3)

which implies J ˜ (u(t))<d for all t[0, T m ). As in [2] arguing by contradiction, we can obtain u(t)W on [0, T m ). From this fact and (3.3), we can conclude that

Ω ( 1 2 g ( u ) u G ( u ) ) dx<d,

which together with the Ambrosetti-Rabinowitz condition (2.3) implies

Ω G ( u ( t ) ) dx< 2 d θ 2 .
(3.4)

Combining (3.3) and (3.4) we obtain

u t ( t ) 2 2 + u ( t ) 2 2 +2 0 t u t ( s ) 2 2 dsE(0)+ Ω G ( u ( t ) ) 2 θ d θ 2 ,

for all t[0, T m ). At the same time, these estimates imply that the (approximated) solution u(t) can be extended to the whole interval [0,). This concludes the proof of Lemma 3.1. □

Moreover, since u 0 W, we have u(t)W for all t0 from Lemma 3.1. If I ˜ (u)>0, using (2.3), we have

E ( t ) 1 2 u t 2 2 + J ˜ ( u ) = 1 2 u t 2 2 + 1 2 u 2 2 Ω G ( u ) d x 1 2 u t 2 2 + 1 2 u 2 2 1 θ Ω g ( u ) u d x 1 2 u t 2 2 + ( 1 2 1 θ ) u 2 2 ,
(3.5)

for all t0. If u=0, (3.5) is obvious.

Lemma 3.2

(Energy decay)

Under the assumptions imposed on Lemma  3.1, and suppose that there exists a constant η 0 (0,1)such that

I ˜ ( u ( t ) ) η 0 u ( t ) 2 2 ,for t0.
(3.6)

Then we have the energy E(t) satisfies the decay estimates

E(t) I 0 e κ [ t 1 ] +
(3.7)

on[0,), where I 0 =E(0), and κ is a positive constant.

Proof

It follows from (1.5) and (1.8) that

I ( u ( t ) ) = I ˜ ( u ( t ) ) + u ( t ) 2 γ + 2 .

Hence, from Lemma 3.1 and (3.6), we deduce that

I ( u ( t ) ) η 0 u ( t ) 2 2 ,I ( u ( t ) ) u ( t ) 2 γ + 2 on [0,).
(3.8)

Multiplying (1.1) by u t and integrating over [t,t+1]×Ω, we obtain

t t + 1 u t ( s ) 2 2 ds=E(t)E(t+1)D ( t ) 2 .
(3.9)

Thus, there exist two numbers t 1 [t,t+ 1 4 ] and t 2 [t+ 3 4 ,t+1] such that

u t ( t i ) 2 2D(t)(i=1,2).
(3.10)

Multiplying (1.1) by u and integrating over [ t 1 , t 2 ]×Ω, we obtain

t 1 t 2 I ( u ( s ) ) ds= t 1 t 2 u t 2 2 ds+ ( u ( t 1 ) , u t ( t 1 ) ) ( u ( t 2 ) , u t ( t 2 ) ) + t 1 t 2 ( u t ( s ) , u ( s ) ) ds.

Combining (3.5), (3.9), (3.10), and E(t) being nonincreasing, we deduce

t 1 t 2 I ( u ( s ) ) dsD ( t ) 2 + c 1 D(t)E ( t ) 1 2 ,
(3.11)

where c 1 =5 2 θ ( θ 2 ) λ 1 . On the other hand, from (1.7) and (3.8) we obtain

J ( u ( t ) ) = 1 2 u 2 2 + 1 γ + 2 u 2 γ + 2 Ω G(u)dx ( 1 2 η 0 + 1 γ + 2 ) I(u).
(3.12)

Hence, combining (3.11) and (3.12), we get

t 1 t 2 E(s)ds= 1 2 t 1 t 2 u t ( s ) 2 2 ds+ t 1 t 2 J ( u ( s ) ) ds c 2 ( D ( t ) 2 + D ( t ) E ( t ) 1 2 ) ,
(3.13)

where c 2 =c( η 0 ,γ, c 1 ). Since t 2 t 1 1 2 , we get

t 1 t 2 E(s)ds t 1 t 2 E( t 2 )ds 1 2 E( t 2 ).

Thus, from energy identity (3.2) and (3.13), we obtain

E ( t ) = E ( t 2 ) + t t 2 u t ( s ) 2 2 d s 2 t 1 t 2 E ( s ) d s + t t + 1 u t ( s ) 2 2 d s c 3 ( D ( t ) 2 + D ( t ) E ( t ) 1 2 ) on  [ 0 , ) ,

for some constant c 3 >1. Hence, there exists a constant c 4 >1 such that

E(t) c 4 D ( t ) 2 = c 4 ( E ( t ) E ( t + 1 ) ) on [0,).
(3.14)

The application of Nakao’s inequality [15] to (3.14) yields (3.7) with κ=log( c 4 /( c 4 1)). □

We are now in a position to obtain H 2 a priori bounds. Set

E ( t ) = u t ( t ) 2 2 + M ( u ( t ) 2 2 ) u ( t ) 2 2 , I 0 = E ( 0 ) , I 1 = u 1 2 2 + u 0 2 2 .

Lemma 3.3

( H 2 a priori estimate)

Under the assumptions imposed on Lemma  3.2. Supposeu(t)is a local solution on[0,T)such thatsup{ u t ( t ) 2 , u ( t ) 2 }<Kon[0,T)for some K andT>0. Then we have the following estimate:

E (t) I 1 + C 1 ( I 0 ) K 3 2 + C 2 ( I 0 ) K 2 + C 3 ( I 0 ) K 3 G( I 0 , I 1 ,K)on [0,T),

where C i ( I 0 )is a constant depending increasing on I 0 and lim I 0 0 G( I 0 , I 1 ,K)= I 1 (i=1,2,3).

Proof

Multiplying (1.1) by u t (t) and integrating over Ω, we obtain

1 2 d d t [ u t ( t ) 2 2 + M ( u ( t ) 2 2 ) u ( t ) 2 2 ] + u t ( t ) 2 2 = M ( u ( t ) 2 2 ) ( u t ( t ) , u ( t ) ) u ( t ) 2 2 + ( g ( u ( t ) , u t ( t ) ) ) .
(3.15)

It follows from Hölder’s inequality and assumption (2.1) that the second term in the right-hand side of (3.15) can be estimated as

| ( g ( u ( t ) , u t ( t ) ) ) | Ω | g ( u ( t ) ) u ( t ) u t ( t ) | d x C β ( Ω e 6 β u 2 d x ) 1 6 u ( t ) 3 u t ( t ) 2 .

On the other hand from u ( t ) 2 2 2 θ d θ 2 R 2 , we deduce from the Moser-Trudinger inequality that

sup u 2 R Ω e 6 β u 2 d x = sup u 2 R Ω e 6 β u 2 2 ( u u 2 ) 2 d x sup u 2 R Ω e 6 β R 2 ( u u 2 ) 2 d x c 5 ,

where c 5 is a positive constant, as long as we choose β< 2 π 3 R 2 .

Hence, Sobolev’s inequality and the interpolation inequality imply

| ( g ( u ( t ) , u t ( t ) ) ) | C β c 5 1 6 u ( t ) 3 u t ( t ) 2 C β c 5 1 6 u 2 1 2 u 6 1 2 u t ( t ) 2 c 6 K 3 2 E ( t ) 1 4 ,
(3.16)

for some positive constant c 6 , where we have also used (3.5). The first term on the right-hand side of (3.15) is estimated as

γ 2 u ( t ) 2 γ 1 u t ( t ) 2 u ( t ) 2 2 c 7 K 3 E ( t ) γ 1 2 ,
(3.17)

for some constant c 7 >0. Thus, from (3.15), (3.16), and (3.17), we obtain

1 2 d d t [ u t ( t ) 2 2 + M ( u ( t ) 2 2 ) u ( t ) 2 2 ] + u t ( t ) 2 2 c 6 K 3 2 E ( t ) 1 4 + c 7 K 3 E ( t ) γ 1 2 .
(3.18)

Integrating (3.18) over [0,t], noticing E (0) I 1 + c 8 I 0 γ 2 K 2 for some c 8 >0, we obtain

E ( t ) I 1 + c 8 K 2 I 0 γ 2 + 2 c 6 K 3 2 0 t E ( s ) 1 4 d s + 2 c 7 K 3 0 t E ( s ) γ 1 2 d s I 1 + c 8 K 2 I 0 γ 2 + 2 c 6 K 3 2 I 0 1 4 + 2 c 7 K 3 I 0 γ 1 2 + 2 c 6 K 3 2 I 0 1 4 0 exp ( κ 4 s ) d s + 2 c 7 K 3 I 0 γ 1 2 0 exp ( κ ( γ 1 ) 2 s ) d s I 1 + c 8 K 2 I 0 γ 2 + 2 c 6 K 3 2 I 0 1 4 + 8 c 6 K 3 2 I 0 1 4 κ + 4 c 7 K 3 I 0 γ 1 2 κ ( γ 1 ) G ( I 0 , I 1 , K ) .
(3.19)

Thus, we complete the proof of Lemma 3.3. □

Let K>0 and put

H ( I 0 , I 1 , K ) = G ( I 0 , I 1 , K ) 1 2 , S K = { ( u 0 , u 1 ) W H 2 ( Ω ) × H 0 1 ( Ω ) | H ( I 0 , I 1 , K ) < K }

and

S= K > 0 S K .

By the same method as considered in [6], we can deduce that S is an open unbounded set, and if ( u 0 , u 1 )S, the solution u(t) can be continued globally on [0,) and (u(t), u t (t))S for all t0.

Uniqueness: Let u(t) and v(t) be two solutions; w(t)=u(t)v(t) satisfies

w t t M ( u ( t ) 2 2 ) w + w t ( t ) = ( M ( u ( t ) 2 2 ) M ( v ( t ) 2 2 ) ) v + ( g ( u ) g ( v ) ) ,
(3.20)

with w=0 on [0,)×Ω and w(0)= w t (0)=0 in Ω. Taking the L 2 (Ω) inner product on both sides of (3.20) with w t , we can easily find that

1 2 d d t { w t 2 2 + M ( u ( t ) 2 2 ) w ( t ) 2 2 } + w t 2 2 = M ( u ( t ) 2 2 ) ( u , u t ) w 2 2 + [ M ( u ( t ) 2 2 ) M ( v ( t ) 2 2 ) ] ( v , w t ) + ( g ( u ) g ( v ) , w t ) .
(3.21)

Using assumption (A1), or more precisely (2.1), we estimate the last term as

Ω ( g ( u ) g ( v ) ) w t dxC Ω ( e β | u | 2 + + e β | v | 2 ) |w(t) w t (t)|dx.

Since u(t), v(t) are two solutions, from (3.5), we obtain u ( t ) 2 2 2 θ θ 2 d, v ( t ) 2 2 2 θ θ 2 d. Repeating a similar procedure as estimating the term (g(u), u t ), after employing the Hölder and the Moser-Trudinger inequality, yields

Ω ( g ( u ) g ( v ) ) w t dxc w 2 w t 2 .

On the hand the first and the second term on the right-hand side of (3.21) are bounded by

c w ( t ) 2 2 ,c w ( t ) 2 w t ( t ) 2 ,

respectively. Thus, integrating (3.21) over (0,t), we obtain

w t ( t ) 2 2 + w t ( t ) 2 2 c 0 t { w t ( s ) 2 2 + w t ( s ) 2 2 } ds,

which implies w=0 by Gronwall’s inequality. Thus, we complete the proof of Theorem 2.1.

Remark 3.1

As is well known, the difficult for Kirchhoff equations is proving the approximate solutions converge to the desired solution. Indeed, we prove the local existence solution for the problem (1.1) by Picard’s iteration method. To utilize the standard compactness argument for the limiting procedure, it suffices to derive some a priori estimates for u m (t) (see Lemma 3.1 and Lemma 3.3). In this direction, we also mention [6] and [10].

3.2 Proof of Theorem 2.2

In this section, we will give the proof of Theorem 2.2, which is similar to the proof Theorem 2.1. We sketch it as follows.

Proof of Theorem 2.2

For brevity, we take the same notations E(t), E (t), I(t), and D(t) as in the proof of Theorem 2.1, but since g(s)s0 for all tR, we can deduce

u t ( t ) 2 2 + u ( t ) 2 2 +2 0 t u t ( s ) 2 2 ds2E(t)2E(0)on [0,)
(3.22)

and

u ( t ) 2 2 I(t),for all t0.
(3.23)

Similar to the proof of Lemma 3.2, we have

t 1 t 2 E ( s ) d s = 1 2 t 1 t 2 u t ( s ) 2 2 d s + 1 2 t 1 t 2 M ¯ ( u ( s ) 2 2 ) d s t 1 t 2 Ω G ( u ( s ) ) d x d s 1 2 t 1 t 2 u t ( s ) 2 2 d s + M 0 2 t 1 t 2 u ( s ) 2 2 d s t 1 t 2 Ω G ( u ( s ) ) d x d s ,
(3.24)

where M 0 =max{M(s):s[0,2E(0)]}, which is possible since M(s) is continuous and (3.22). Now, we only need to estimate the term t 1 t 2 Ω G(u(s))dxds. Indeed, from (A1), or more precisely (2.5), we have

t 1 t 2 Ω G ( u ( s ) ) d x d s ε 2 t 1 t 2 Ω | u ( s ) | 2 d x d s + C β , ε t 1 t 2 Ω | u ( s ) | 2 e β u 2 d x d s ε 2 λ 1 t 1 t 2 u ( s ) 2 2 d s + C β , ε t 1 t 2 u ( s ) 2 u ( s ) 4 ( Ω e 4 β u ( s ) 2 d x ) 1 / 4 d s .

From (3.22) and the Moser-Trudinger inequality, we have

sup u 2 2 2 E ( 0 ) Ω e 4 β u 2 d x = sup u 2 2 2 E ( 0 ) Ω e 4 β u 2 2 ( u u 2 ) 2 d x sup u 2 2 2 E ( 0 ) Ω e 8 β E ( 0 ) ( u u 2 ) 2 d x c ,

where c is a positive constant, as long as we choose β< π 2 E ( 0 ) . Hence, by the Sobolev inequality, there exists a constant c such that

t 1 t 2 Ω G ( u ( s ) ) dxdsc t 1 t 2 u ( s ) 2 2 ds.

Combining (3.22)-(3.24) and (3.11), we have

t 1 t 2 E(s)dsc ( D ( t ) 2 + D ( t ) E ( t ) 1 2 ) .

Then, by the same argument of Lemma 3.2 we can obtain the decay estimate

E(t)E(0) e κ [ t 1 ] + on [0,),

where κ is a positive constant. Hence, it suffices to show H 2 (Ω)a priori bounds under the assumption u ( t ) 2 2 K, and u ( t ) 2 K on [0,T) for some K>0 and T>0. Set

I 2 = u 1 2 2 +M ( u 0 2 2 ) u 0 2 2 .

By the same derivation as Lemma 3.2, using (A3), we deduce

E ( t ) I 2 + 2 0 t M ( u ( s ) 2 2 ) ( u t ( s ) , u ( s ) ) u ( s ) 2 2 d s + 2 0 t | ( g ( u ( s ) ) , u t ( s ) ) | d s I 2 + 2 K 3 0 t E ( s ) 2 α + 1 2 d s + 2 c 6 K 3 2 0 t E ( s ) 1 4 d s I 2 + 2 c 6 K 3 2 I 0 1 4 + 8 c 6 K 3 2 I 0 1 4 κ + 4 K 3 I 0 2 α + 1 2 κ ( 2 α + 1 ) G ( I 0 , I 2 , K ) .
(3.25)

Thus, we can prove Theorem 2.2 in the same way as Theorem 2.1. □

Remark 3.2

When M(s)=1, (1.1) is a wave equation, Alves and Cavalcanti [2] obtain the general energy decay result. Indeed, Lemma 3.3 (to be precise: (3.44)) in [2] plays an important role in the proof of energy decay, where the authors used the unique continuation property of wave equations; see [16] for details and [2], [17], [18] for an application. But in our case, since M( 2 2 ) is nonlinear, we cannot use the unique continuation property directly.

4 The blow-up in finite time

In this section, we shall discuss the blow-up properties for the problem (1.1). For this purpose, we use the following lemmas.

Lemma 4.1

([19])

Let δ>0 and B(t) C 2 (0,) be a nonnegative function satisfying

B (t)4(δ+1) B (t)+4(δ+1)B(t)0.
(4.1)

If

B (t)> r 2 B(0)+ K 0 ,
(4.2)

then B (t)> K 0 fort>0, where K 0 is a constant, r 2 =2(δ+1)2 ( δ + 1 ) δ is the smaller root of the equation

r 2 4(δ+1)r+4(δ+1)=0.

Lemma 4.2

([19])

IfJ(t)is a nonincreasing function on[ t 0 ,), t 0 0, and satisfies the differential inequality

J ( t ) 2 a+bJ ( t ) 2 + 1 δ ,for t0,
(4.3)

wherea>0, bR, then there exists a finite time T such that

lim t T J(t)=0

and the upper bound of T is estimated, respectively, by the following cases:

  1. (i)

    If b<0 and J( t 0 )<min{1, a b }, then T t 0 + 1 b ln a b a b J ( t 0 ) .

  2. (ii)

    If b=0, then T t 0 + J ( t 0 ) a .

  3. (iii)

    If b>0, then T J ( t 0 ) a or T t 0 + 2 3 δ + 1 2 δ δ c a {1 [ 1 + c J ( t 0 ) ] 1 2 δ }, where c= ( b a ) δ 2 + δ .

We also denote I(u) and E(t) by (1.8) and (1.9), respectively. Also E (t)= u t ( t ) 2 2 .

Definition 4.1

A solution u(t) of (1.1) is called a blow-up solution if there exists a finite time T such that

lim t T Ω | u | 2 dx=+.

For the next lemma, we define

K(t):=K ( u ( t ) ) = u ( t ) 2 2 + 0 t u ( s ) 2 2 ds,t0.
(4.4)

Lemma 4.3

Assume that (A1) and (A4) hold, then we have

K (t)4(δ+1) u t 2 2 (48δ)E(0)+(4+8δ) 0 t u t ( s ) 2 2 ds.
(4.5)

Proof

From (4.4), we obtain

K (t)=2 Ω u u t dx+ u ( t ) 2 2

and

K (t)=2 u t 2 2 2M ( u 2 2 ) u 2 2 +2 Ω g(u)udx.

From the above equation and the energy identity, we obtain

K 4 ( δ + 1 ) u t 2 2 = ( 4 8 δ ) E ( 0 ) + ( 4 + 8 δ ) 0 t u t ( s ) 2 2 d s + Ω 2 [ f ( u ) u ( 2 + 4 δ ) F ( u ) ] d x + { ( 2 + 4 δ ) M ¯ ( u ( t ) 2 2 ) 2 M ( u ( t ) 2 2 ) u ( t ) 2 2 } .
(4.6)

Therefore from the assumption (A4), we obtain (4.5). □

Now, we consider three different cases on the sign of initial energy E(0).

  1. (1)

    If E(0)<0, then from (4.5), we have

    K (t) K (0)4(1+2δ)E(0)t,t0.

Thus, we get K (t)> u 0 2 2 for t> t , where

t =max { K ( 0 ) u 0 2 2 4 ( 1 + 2 δ ) E ( 0 ) , 0 } .
(4.7)
  1. (2)

    If E(0)=0, then K (t)0 for t0. Furthermore, if K (0)> u 0 2 2 , i.e. Ω u 0 u 1 dx>0. Then we get K (t)> u 0 2 2 for t0.

  2. (3)

    For the case that E(0)>0, we first note that

    2 0 t Ω u u t dxdt= u ( t ) 2 2 u 0 2 2 .
    (4.8)

By the Hölder inequality and the Young inequality, we have from (4.8)

u ( t ) 2 2 u 0 2 2 + 0 t u ( s ) 2 2 ds+ 0 t u t ( s ) 2 2 ds.
(4.9)

Hence, from (4.8) and (4.9), we obtain

K (t)K(t)+ u t 2 2 + 0 t u t ( s ) 2 2 ds+ u 0 2 2 .

Then, from the above inequality and (4.5), we obtain

K (t)4(1+δ) K (t)+4(1+δ)K(t)+ K 1 0,

where

K 1 =(4+8δ)E(0)+4(1+δ) u 0 2 2 .

Set

B(t)=K(t)+ K 1 4 ( 1 + δ ) ,t>0.

Then B(t) satisfies (4.1). From Lemma 4.1, we see that if

K (0)> r 2 [ K ( 0 ) + K 1 4 ( 1 + δ ) ] + u 0 2 2 ,
(4.10)

then K (t)> u 0 2 2 for all t>0.

Consequently, we obtain the following lemma.

Lemma 4.4

Assume that (A1) and (A4) hold and that either one of the following conditions is satisfied:

  1. (i)

    E(0)<0,

  2. (ii)

    E(0)=0 and Ω u 0 u 1 dx>0,

  3. (iii)

    E(0)>0 and (4.10) holds, then K (t)> u 0 2 2 for t> t 0 , where t 0 = t is given by (4.8) in case (i) and t 0 =0 in cases (ii) and (iii).

Next, we will estimate the lifespan of K(t) and prove Theorem 2.3.

Let

J(t)= ( K ( t ) + ( T 1 t ) u 0 2 2 ) δ ,for t[0, T 1 ],
(4.11)

where T 1 is some certain constant which will be chosen later. Then we get

J (t)=δJ ( t ) 1 + 1 δ ( K ( t ) u 0 2 2 )

and

J (t)=δJ ( t ) 1 + 2 δ V(t),
(4.12)

where

V(t)= K (t) [ K ( t ) + ( T 1 t ) u 0 2 2 ] (1+δ) ( K ( t ) u 0 2 2 ) .
(4.13)

For simplicity, we denote

P= u ( t ) 2 2 ,Q= 0 t u ( s ) 2 2 ds,R= u t ( t ) 2 2 ,S= 0 t u t ( s ) 2 2 ds.

By (4.9) and the Hölder inequality, we obtain

K ( t ) = 2 Ω u ( t ) u t ( t ) d x + u 0 2 2 + 2 0 t Ω u ( s ) u t ( s ) d x d s u 0 2 2 + 2 ( P R + Q S ) .
(4.14)

From (4.5), we have

K (t)(48δ)E(0)+4(1+δ)(R+S).
(4.15)

Therefore, from (4.13)-(4.15), and then (4.11), we have

V ( t ) [ ( 4 8 δ ) E ( 0 ) + 4 ( 1 + δ ) ( R + S ) ] ( K ( t ) + ( T 1 t ) u 0 2 2 ) 4 ( 1 + δ ) ( P R + Q S ) 2 = ( 4 8 δ ) E ( 0 ) J ( t ) 1 δ + 4 ( 1 + δ ) ( R + S ) ( T 1 t ) u 0 2 2 + 4 ( 1 + δ ) [ ( R + S ) ( P + Q ) ( P R + Q S ) 2 ] ( 4 8 δ ) E ( 0 ) J ( t ) 1 δ , t t 0 ,

where we have used Schwarz inequality in the last but one term. Therefore from (4.12), we have

J (t)δ(4+8δ)E(0)J ( t ) 1 + 1 δ ,t t 0 .
(4.16)

Note that by Lemma 4.1, J (t)<0 for t> t 0 . Multiplying (4.16) by J (t) and integrating it from t 0 to t, we have

J ( t ) 2 α+βJ ( t ) 2 + 1 δ ,for t t 0 ,

where

α= δ 2 J ( t 0 ) 2 + 2 δ [ ( K ( t 0 ) u 0 2 2 ) 2 8 E ( 0 ) J ( t 0 ) 1 δ ]
(4.17)

and

β=8 δ 2 E(0).
(4.18)

We observe that

α>0if and only ifE(0)< ( K ( t 0 ) u 0 2 2 ) 2 8 [ K ( t 0 ) + ( T 1 t 0 ) u 0 2 2 ] .

Then by Lemma 4.2, there exists a finite time T such that lim t T J(t)=0 and the upper bounds of T are estimated, respectively, according to the sign of E(0). This yields

lim t T ( u ( t ) 2 2 + 0 t Ω u ( s ) 2 d x d s ) =.

The upper bounds of T are estimated as follows by Lemma 4.2.

In case (i),

T t 0 J ( t 0 ) J ( t 0 ) .
(4.19)

Furthermore, if J( t 0 )<min{1, α β }, then we have

T t 0 + 1 β ln α β α β J ( t 0 ) .
(4.20)

In case (ii),

T t 0 J ( t 0 ) J ( t 0 ) or T t 0 J ( t 0 ) α .
(4.21)

In case (iii),

T J ( t 0 ) a
(4.22)

or

T t 0 + 2 3 δ + 1 2 δ δ c α { 1 [ 1 + c J ( t 0 ) ] 1 2 δ } ,
(4.23)

where c= ( β α ) δ 2 + δ , here α and β are defined in (4.17) and (4.18), respectively. Note that in case (i), t 0 = t is given in (4.7), and in case (ii) and case (iii) t 0 =0.

Remark 4.1

We observe that the choice of T 1 in (4.11) is feasible under the same conditions as in [9].

References

  1. 1.

    Kirchhoff G: Vorlesungen über Mechanik. Teubner, Leipzig; 1883.

  2. 2.

    Alves CO, Cavalcanti MM: On existence, uniform decay rates and blow up for solutions of the 2-D wave equation with exponential source. Calc. Var. Partial Differ. Equ. 2009, 34(3):377-411. 10.1007/s00526-008-0188-z

  3. 3.

    Ma TF, Soriano JA: On weak solutions to an evolution equation with exponential nonlinearities. Nonlinear Anal., Theory Methods Appl. 1999, 37: 1029-1038. 10.1016/S0362-546X(97)00714-1

  4. 4.

    Han X, Wang M: Well-posedness for the 2-D damped wave equations with exponential source terms. Math. Methods Appl. Sci. 2010, 17: 2087-2100. 10.1002/mma.1320

  5. 5.

    Gazzola F, Squassina M: Global solutions and finite time blow up for semilinear wave equation. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 2006, 23(2):185-207. 10.1016/j.anihpc.2005.02.007

  6. 6.

    Matsuyama T, Ikehata R: On global solution and energy decay for the wave equation of Kirchhoff type with nonlinear damping term. J. Math. Anal. Appl. 1996, 204: 729-753. 10.1006/jmaa.1996.0464

  7. 7.

    Ono K: Global existence, decay and blowup of solutions for some mildly degenerate nonlinear Kirchhoff strings. J. Differ. Equ. 1997, 137: 273-301. 10.1006/jdeq.1997.3263

  8. 8.

    Ono K: On global solutions and blow-up solutions of nonlinear Kirchhoff strings with nonlinear dissipation. J. Math. Anal. Appl. 1997, 216: 321-342. 10.1006/jmaa.1997.5697

  9. 9.

    Wu S, Tsai L: Blow-up of solutions for some nonlinear wave equations of Kirchhoff type with some dissipation. Nonlinear Anal., Theory Methods Appl. 2006, 65: 243-264. 10.1016/j.na.2004.11.023

  10. 10.

    Wu S, Tsai L: On the existence and nonexistence of solutions for some nonlinear wave equations of Kirchhoff type. Taiwan. J. Math. 2010, 14(4):1543-1570.

  11. 11.

    Ambrosetti A, Rabinowitz PH: Dual variational methods in critical point theory and applications. J. Funct. Anal. 1973, 14: 349-381. 10.1016/0022-1236(73)90051-7

  12. 12.

    Willem M: Minimax Theorems. Birkhäuser, Basel; 1996.

  13. 13.

    Moser J: A sharp form of an inequality by Trudinger. Indiana Univ. Math. J. 1971, 20: 1077-1092. 10.1512/iumj.1971.20.20101

  14. 14.

    Trudinger NS: On the imbeddings into Orlicz spaces and applications. J. Math. Mech. 1967, 17: 473-484.

  15. 15.

    Nakao M: A difference inequality and its application to nonlinear evolution equations. J. Math. Soc. Jpn. 1978, 30(4):747-762. 10.2969/jmsj/03040747

  16. 16.

    Ruiz A: Unique continuation for weak solutions of the wave equation plus a potential. J. Math. Pures Appl. 1992, 71: 455-467.

  17. 17.

    Cavalcanti MM, Domingos Cavalcanti VN, Martinez P: Existence and decay rate estimates for the wave equation with nonlinear boundary damping and source term. J. Differ. Equ. 2004, 203(1):119-158. 10.1016/j.jde.2004.04.011

  18. 18.

    Lasiecka I, Tataru D: Uniform boundary stabilization of semilinear wave equation with nonlinear boundary damping. Differ. Integral Equ. 1993, 8: 507-533.

  19. 19.

    Li M, Tsai L: Existence and nonexistence of global solutions of some systems of semilinear wave equations. Nonlinear Anal., Theory Methods Appl. 2003, 54: 1397-1415. 10.1016/S0362-546X(03)00192-5

Download references

Acknowledgements

The author would like to thank the Prof. Hua Chen in Wuhan University for pertinent discussions. The author would also like to thank the referee for the careful reading of this paper and for the valuable suggestions to improve its presentation and style. This work is supported by the Doctor Foundation of Henan University of Technology (2012BS058) and Plan of Nature Science Fundamental Research in Henan University of Technology (No. 2013JCYJ11).

Author information

Correspondence to Gongwei Liu.

Additional information

Competing interests

The author declares to have no competing interests.

Author’s contributions

The author read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Keywords

  • exponential source
  • Kirchhoff equation
  • global existence
  • energy decay
  • blow-up