Abstract and Applied Analysis

Volume 2011 (2011), Article ID 724815, 36 pages

http://dx.doi.org/10.1155/2011/724815

## Dynamic Analysis of a Nonlinear Timoshenko Equation

Departamento de Ciencias Básicas, Análisis Matemático y sus Aplicaciones, UAM-Azcapotzalco, Avenida San Pablo 180, Col. Reynosa Tamaulipas, 02200 México, DF, Mexico

Received 8 February 2011; Accepted 28 April 2011

Academic Editor: Norimichi Hirano

Copyright © 2011 Jorge Alfredo Esquivel-Avila. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We characterize the global and nonglobal solutions of the Timoshenko equation in a bounded domain. We consider nonlinear dissipation and a nonlinear source term. We prove blowup of solutions as well as convergence to the zero and nonzero equilibria, and we give rates of decay to the zero equilibrium. In particular, we prove instability of the ground state. We show existence of global solutions without a uniform bound in time for the equation with nonlinear damping. We define and use a potential well and positive invariant sets.

#### 1. Introduction

We consider with initial conditions and with one set of the following boundary conditions: or where is a bounded domain with sufficiently smooth boundary, is the norm in , When the source term , there is a considerable set of works studying several properties of equation (1.1), see for instance, the early papers by Ball [1, 2], Haraux and Zuazua [3], and the books by Hale [4], Haraux [5], and references therein. For a destabilizing source term, , in the works of Payne and Sattinger [6], Georgiev and Todorova [7], and Ikehata [8], qualitative properties of (1.1) are studied, when . To understand the dynamics of second-order equations in time, similar to (1.1), active research is reported in Alves and Cavalcanti [9], Barbu et al. [10], Cavalcanti et al. [11–16], Rammaha [17] Rammaha and Sakuntasathien [18], and Todorova and Vitillaro [19], Vitillaro [20]. For the Timoshenko equation, with , Bainov and Minchev [21] gave sufficient conditions for the nonexistence of smooth solutions of (1.1), with negative initial energy, and gave an upper bound of the maximal time of existence. For positive and sufficiently small initial energy, blowup and globality properties are characterized in Esquivel-Avila [22]. For the Kirchhoff equation, that is, (1.1) with , the nonexistence of global solutions is studied in [23]. In [24, 25], we characterized properties such as blowup and asymptotic behavior of solutions, for (1.1) with and . To the knowledge of the author, such problems are still open for the Timoshenko equation (1.1). Here, we want to give some results about the dynamics of problem (1.1). To do that we will generalize the concept of the depth of the potential well in such manner that our results of the dynamics be as sharp as the ones in [24, 25]. Furthermore, for particular cases, our definition of depth of the potential well will coincide with the one introduced in [6].

#### 2. Preliminaries and Framework

We begin this section with an existence, uniqueness, and continuation theorem for (1.1). The proof is similar to the ones in [7, 8], where semilinear wave equations are studied.

Theorem 2.1. *Assume that and if . For every initial data , where is defined either by , or , there exists a unique (local) weak solution of problem (1.1), that is,
**
a.e. in and for every , such that
** **Here, denotes the corresponding semigroup on , generated by problem (1.1), and is the inner product in . **The following energy equation holds:
**
where
**
with
** **Here, is the initial energy, and denotes the norm in the space. **If the maximal time of existence , then as , in the norm of :
** **In that case, from (2.3)–(2.6), as .*

Now, we define, respectively, the stable (potential well) and unstable sets: where

Here, denotes the set of with that property, and the depth of the potential well is defined as follows: where with

We assume that , and since , then , and . Also note that if , then , , and we have the following characterization of the depth of the potential well (2.10)-(2.11): which is the definition given in [6], where a nondissipative nonlinear wave equation is studied.

Consider any , , and if , then where , is any constant in the Sobolev-Poincaré’s inequality

Moreover, if , from (2.15) and since ,

Hence, , and .

If denotes any nonzero equilibria of equation (1.1), then, by (2.1) in Theorem 2.1 with , we get that belongs to the Nehari manifold, , that is, where .

Consequently, . Furthermore, from (2.17) which is an equality when , we conclude that the Nehari manifold can be represented by the line: , in the plane with axes and , beginning at the point: . We also note that

From these facts it follows that the depth of the potential well (2.10) is characterized by where

Hence, any equilibrium is such that . Moreover, like in [6], the set of extremals of (2.21) is characterized by set of equilibria with least energy, that is the ground state Observe that is a tangent line to the curve defined by the equality in (2.17) with , at the point , which holds if . On the other hand, we notice that and is equal to zero if and only if . Hence, if , then

Therefore, next results about the stable and unstable sets follow.

Lemma 2.2. *The following properties of and hold: *(i)* is a neighborhood of .*(ii)* (closure in ), in particular .*(iii)*, where
*(iv)*. *(v)*. *(vi)*, .*

The following result follows easily like in [23].

Lemma 2.3. *One has that
**
for any such that , in particular if , and
**
for any , such that , in particular if .*

A set is positive invariant, with respect to problem (1.1), if the corresponding generated semigroup on is such that

Lemma 2.4. *Let denote any solution of (1.1), given by Theorem 2.1. Then, the sets
**
are positive invariant.*

*Proof. *First, we show that is positive invariant. In order to do that, we take . Then, by (2.4), , for any . Now, if is not positive invariant, there exists some , such that , with . Then, by (2.21), . But this is impossible because . The proof of the positive invariance of is quite similar. Indeed, if this is not true there exists some , such that . From (ii) of Lemma 2.2 , and this implies the same contradiction as before.

Next result gives an interpretation of sets and and follows from Lemma 2.2.

Lemma 2.5. *The sets and have the properties
**
*

The following result is a direct consequence of (vi) in Lemma 2.2 and Lemma 2.4.

Lemma 2.6. *For every solution of (1.1), only one of the following holds: *(i)*there exists some such that , and remains there for every ,*(ii)*there exists some such that , and remains there for every ,*(iii)* for every .*

Hence, we notice that the sets and play an important role in the dynamics of (1.1). Moreover, we will prove that any solution eventually contained in converges to the zero equilibrium. If enters in , either blowups in a finite time or it is global but without a uniform bound in for every , in the case that , in (1.6). Also, we will prove that any solution with , for every , is bounded and converges to the set of nonzero equilibria .

We will need the following inequalities to show blowup and convergence to the zero equilibrium, respectively, in the dissipative case.

Lemma 2.7. *Let be a nonnegative function such that
**
with and . **Then, there exists some such that .*

*Proof. *Define , then
Hence, , which is only possible if .

Lemma 2.8. *Let be a nonnegative function such that
**
with and . **Then, for , if
**
and, if
*

*Proof. *Consider , and notice that . Then, we integrate and obtain the first inequality. Now, let , and the second one follows.

#### 3. Timoshenko Equation

Due to our assumptions on and , we restrict our analysis to dimensions . Indeed, since , and , if , then our analysis considers, whenever . We also notice that in any case we do not consider the interval . Moreover, whenever . We begin with a characterization of blowup when and .

Theorem 3.1. *Let be a solution of problem (1.1), and suppose that . A necessary and sufficient condition for nonglobality, blowup by Theorem 2.1, is that and there exists such that .*

*Proof. **Sufficiency*

By Lemma 2.4, for all .

Now, we consider the function defined, along the solution, by
and notice that because of energy equation (2.3),
where, now .

Notice that from (2.29) in Lemma 2.3,

We will need some estimates. First, we notice that from energy equation in terms of and (3.3),
where , , is the constant in the continuous embedding , , and will be chosen later.

Consider a positive number to be chosen later, from (3.2)-(3.3), we obtain

If , we choose , and from (3.5) we get

If , then we notice that from (3.2)-(3.3),

Hence and from (3.5), we have the estimate

In this case, we choose the number so that the coefficient of in (3.8) be equal to zero, then

We note that , and we get

Therefore, from (3.6) and (3.10),
where

Now, we define the function, along the solution, by
where and will be choosen later.

We intend to apply Lemma 2.7 to functional (3.13). First, we calculate the derivative, along solutions, with respect to . Let us start with the second term of (3.13). From (3.2)–(3.4) and (3.11), one has
where , and is sufficiently small.

Consequently, if is sufficiently small,
where .

From (3.15) and choosing small enough, we get

Utilizing two times (3.3), we get
where is the imbedding constant of , , and .

Hence and from (3.15), we obtain the inequality in order to apply Lemma 2.7. Therefore, the maximal time of existence is finite: .*Necessity*

Suppose that . Define the function, along the solution, by

Then,
where , , and is the imbedding constant of .

Hence, by Gronwall inequality, it follows that is bounded in for any finite time. A contradiction.

Proceeding again by contradiction suppose that, for all , . Then, by Lemma 2.6, we have either for all , or for all . In the first case, from (2.28) in Lemma 2.3
that is, is bounded in . This is not possible. In the second case,
where . Hence, by the Hölder inequality,
and consequently
for , where .

From Theorem 2.1,
hence, by Sobolev-Poincaré's inequality (2.16), for every , there exists some , such that
for every . This implies the first inequality of (2.29) in Lemma 2.3, replacing by . Now, we consider the function (3.13)
defined for , where , is sufficiently small, and here
and repeat the sufficiency part of the proof. Then, by Lemma 2.7, blowups as , . Moreover, for ,
hence and from (3.26), (3.27), and since ,

Consequently,
But this contradicts (3.23), since . The proof is complete.

*Remark 3.2. *From the last result, if and , any solution of problem (1.1), , is global if and only if either (i) there exists such that or (ii) , for every . On the other hand, if and , then any solution is global if and only if one of the following holds: (i), (ii), or (iii) and there exists such that .

We next prove a characterization of convergence to the zero equilibrium, and we give rates of decay.

Theorem 3.3. *Let be a solution of problem (1.1) with . Suppose that and that , if . A necessary and sufficient condition for , strongly in as , is that there exists such that . **In this case, if denotes either the energy
**
or the norm of the solution in
**
One has the rates of decay, for ,
**
and, for linear dissipation, ,
**
where is sufficiently large, and , are constants depending only on initial conditions.*

*Proof. **Necessity*

By (ii) in Lemma 2.2, , and since the equilibrium , strong closures in , then, by Lemma 2.6, the solution must eventually enter in .*Sufficiency*

By energy equation and (2.27) in Lemma 2.3, the solution must be global and uniformly bounded in the norm of , that is , for any . Hence, there exists a sequence of times, , such that if then , weakly in and, since the embedding is compact, . Also, notice that the energy is such that

Consequently, from the energy equation and the continuous embedding ,
in particular, for any sequence of times such that as ,
where , for . By Fatou Lemma,
for a.e. , and by the weak convergence to ,
where we choose such that , for some .

It can be shown that the semigroup generated by problem (1.1) is continuous in with the weak topology, and then that the weak limit set is positive invariant, see Ball [26]. Consequently must be an equilibrium of (1.1). Furthermore, by the lower-semicontinuity of the norm in , one has

Hence,
Then, by (2.19) and (2.21), , and

Strong convergence follows if we get the rates of decay in our statement. Here, we will adapt the technique used in Haraux and Zuazua [3], to (1.1). That technique is based on the construction of suitable Liapunov functions defined along solutions and the application of Lemma 2.8. One of them is the energy, and we will need one more, defined by
where is a constant to be chosen later. We next prove that is equivalent to both, the energy and the norm of the solution, in the sense of (2.30) and (2.28) below. First we note that from (2.27) in Lemma 2.3,
where .

Also, notice that from (3.43),
where is a constant that depends on the continuous embedding . Hence and from (3.44), if is sufficiently small, then

We will need the following estimate:
where we applied (3.44) in the third step and Young inequality in last step, and the constants , depend on the continuous embedding , and also depends on .

It follows that, by (3.42) and since is compact, for any , there exists some such that for any
where is the corresponding embedding constant and we used (3.44) in the last step.

Since we will apply Lemma 2.8, we need to calculate the time derivative of (3.43) and we begin with
which holds for any , and where we used (3.47), (3.48) and definition of .

We notice that for any small , and by Young inequality and energy equation
where , depend on the continuous embedding , and depends on .

Then, for and sufficiently small, (3.49) and (3.50), imply
for any , where .

Consequently, for sufficiently small and any
where and is the constant in (3.45); also we used (3.44), the fact that the energy is decreasing and (3.46). Then, from (3.52) and Lemma 2.8, we obtain the desired rates of decay for . The result now follows by (3.46) and (3.44), and the proof is complete.

*Remark 3.4. *By (2.35), the ground state is: . Then, in any -neighborhood of that subset of nonzero equilibria, one can choose initial conditions either in or in . Hence, by Theorem 3.1 and (3.3), the ground state is unstable in the sense of Liapunov when the dissipation term is either linear or nonlinear.

Next we will study the behavior of solutions such that for all . First, we prove that those solutions are uniformly bounded in time. To that end we will study the cases: and separately, First, we consider the case .

Theorem 3.5. *Let be a solution of problem (1.1). Assume that , and . Also, assume that if . If for all , then the solution is global and uniformly bounded in , for all .*

*Proof. *Suppose that is not global, then by Theorem 2.1 blowups and by Theorem 3.1, for some . Hence, for all . A contradiction.

Next, we will prove that is uniformly bounded for all .

Let , where is the constant given below. Then, we obtain
where is the imbedding constant of , and .

We define , the positive part of . We claim that, along solutions of (1.1), the time derivative satisfies . Indeed, if this is no the case, there exists some such that

By a standard comparison result for ordinary differential equations, (3.53) and (3.54) imply that as . Consequently, for any constant , there exists some , such that for

This is (2.29) in Lemma 2.3, replacing by . If we now define, for , the function
we can repeat the sufficiency part of the proof of Theorem 3.1 and show that the solution blowups in a finite time, consequently is nonglobal. A contradiction. Then, , for all , and some constant .

Next, we will prove that uniform boundedness of implies uniform boundedness of in , for all . To that end, we consider the functions , where now and is defined below. From the second line in (3.53),
where and .

Hence, for ,
and consequently, from definition of , for ,

Notice that if , for some , we obtain from (3.59) that . A contradiction. Then, for all ,

Now, we define , and like in (3.57)
where and . Hence,
and consequently,
Hence and from (3.60), is uniformly bounded in time.

We integrate the second line of (3.53) in terms of and, by the energy equation, we obtain

Hence and since is uniformly bounded in time,
where is a constant, and

Next, we will show that there exists a constant , such that
for any .

To this end, we calculate
If , we integrate and obtain, for , that

By Gronwall inequality and (3.65),
where , depend on the continuous embeddings , and .

If , we use Galiardo-Niremberg's inequality,
where , and . Notice that if , and if , because . Then, from
we integrate and apply Gronwall inequality, for ,
where .

Notice that because by hypothesis , then we use the Hölder inequality, and from (3.65) we get

Then (3.67) holds for any , under our assumptions on .

Consequently, (3.65) and (3.67) imply that
and the proof is complete.

Next, we consider the case . Due to our assumptions on , we restrict our analysis to . Since , our analysis considers, at most, dimensions , whenever .

Theorem 3.6. *Let be a solution of problem (1.1). Assume that *