Introduction To The Theory of Infinite-Dimensional Dissipative Systems-4

Author: I. D.
Chueshov This book provides an exhau-

stive introduction to the scope
Title: Introduction to the Theory
of main ideas and methods of the
of InfiniteDimensional
A CTA 200
ISBN:
Dissipative Systems
9667021
966 702164
645
theory of infinite-dimensional dis-
sipative dynamical systems which
has been rapidly developing in re-
cent years. In the examples
systems generated by nonlinear
partial differential equations
I. D. Chueshov arising in the different problems
of modern mechanics of continua
are considered. The main goal
of the book is to help the reader
I ntroduction to the Theory to master the basic strategies used
of Infinite-Dimensional in the study of infinite-dimensional
dissipative systems and to qualify
D issipative him/her for an independent scien-
S ystems tific research in the given branch.
Experts in nonlinear dynamics will
find many fundamental facts in the
convenient and practical form
Universitylecturesincontemporarymathematics
in this book.
The core of the book is com-
posed of the courses given by the
author at the Department
of Mechanics and Mathematics
at Kharkov University during
a number of years. This book con-
tains a large number of exercises
which make the main text more
complete. It is sufficient to know
the fundamentals of functional
analysis and ordinary differential
equations to read the book.
Translated by
You can O R D E R this book Constantin I. Chueshov
from the Russian edition (ACTA, 1999)
while visiting the website
of ACTA Scientific Publishing House Translation edited by
http://www.acta.com.ua
www.acta.com.ua/en/ Maryna B. Khorolska
Chapter 4
The Problem on Nonlinear Oscillations
of a Plate in a Supersonic Gas Flow
Contents
....1 Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218

....2 Auxiliary Linear Problem . . . . . . . . . . . . . . . . . . . . . . . . . . . 222
....3 Theorem on the Existence and Uniqueness of Solutions . . 232
....4 Smoothness of Solutions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 240
....5 Dissipativity and Asymptotic Compactness . . . . . . . . . . . . . 246
....6 Global Attractor and Inertial Sets . . . . . . . . . . . . . . . . . . . . . 254
....7 Conditions of Regularity of Attractor . . . . . . . . . . . . . . . . . 261
....8 On Singular Limit in the Problem
of Oscillations of a Plate . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 268
....9 On Inertial and Approximate Inertial Manifolds . . . . . . . . . 276
.... References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 281

In this chapter we use the ideas and the results of Chapters 1 and 3 to study in
details the asymptotic behaviour of a class of problems arising in the nonlinear theo-
ry of oscillations of distributed parameter systems. The main object is the following
second order in time equation in a separable Hilbert space H :
d2
------2- u + g ---- u + A 2 u + M A1 2 u 2 A u + L u = p ( t ) ,
d
(0.1)
dt dt
du
u t = 0 = u0 , ------ = u1 , (0.2)
dt t = 0
where A is a positive operator with discrete spectrum in H , M ( s ) is a real function
(its properties are described below), L is a linear operator in H , p ( t ) is a given
bounded function with the values in H , and g is a nonnegative parameter. The
problem of type (0.1) and (0.2) arises in the study of nonlinear oscillations of a plate
in the supersonic flow of gas. For example, in Bergers approach (see [1, 2]), the dy-
namics of a plate can be described by the following quasilinear partial differential
equation:

t2 u + g t u + D2 u + G -

W
u 2 dx D u + r x u = p ( x , t ) ,
1
(0.3)
x ( x1 , x2 ) W R2 , t >0
with boundary and initial conditions of the form
u W = Du W = 0 , u t = 0 = u0 ( x ) , t u = u1 ( x ) . (0.4)
t=0
Here D is the Laplace operator in the domain W ; g > 0 , r 0 , and G are con-
stants; and p ( x , t ) , u0 ( x ) , and u1 ( x ) are given functions. Equations (0.3)(0.4)
describe nonlinear oscillations of a plate occupying the domain W on a plane which
is located in a supersonic gas flow moving along the x1 -axis. The aerodynamic pres-
sure on the plate is taken into account according to Ilyushins piston theory (see,
e. g., [3]) and is described by the term r x1 u . The parameter r is determined by
the velocity of the flow. The function u ( x , t ) measures the plate deflection at the
point x and the moment t . The boundary conditions imply that the edges of the
plate are hinged. The function p ( x , t ) describes the transverse load on the plate.
The parameter G is proportional to the value of compressive force acting in the
plane of the plate. The value g takes into account the environment resistance.
Our choice of problem (0.1) and (0.2) as the base example is conditioned by the
following circumstances. First, using this model we can avoid significant technical
difficulties to demonstrate the main steps of reasoning required to construct a solu-
tion and to prove the existence of a global attractor for a nonlinear evolutionary se-
cond order in time partial differential equation. Second, a study of the limit regimes
of system (0.3)(0.4) is of practical interest. The point is that the most important
(from the point of view of applications) type of instability which can be found in the
system under consideration is the flutter, i.e. autooscillations of a plate subjected to
218 The Problem on Nonlinear Oscillations of a Plate in a Supersonic Gas Flow
C
h
aerodynamical loads. The modern look on the flutter instability of a plate is the fol-
a lowing: there arises the Andronov-Hopf bifurcation leading to the appearance of
p
t a stable limit cycle in the system. However, there are experimental and numerical
e
r
data that enable us to conjecture that an increase in flow velocity may result in the
complication of the dynamics and appearance of chaotic fluctuations [4]. Therefore,
4 the study of the existence and properties of the attractor of the given problem
enables us to better understand the mechanism of appearance of a nonlinear flutter.
1 Spaces
As above (see Chapter 2), we use the scale of spaces Fs generated by a positive ope-
rator A with discrete spectrum acting in a separable Hilbert space H . We remind
(see Section 2.1) that the space Fs is defined by the equation

Fs D ( A s ) = v :

k=1
ck ek : c
k=1
2
k lk2 s < ,

where { e k } is the orthonormal basis of the eigenelements of the operator A in H ,
l 1 l2 are the corresponding eigenvalues and s is a real parameter
(for s = 0 we have Fs = H and for s < 0 the space Fs should be treated as a class
of formal series). The norm in Fs is given by the equality

v s2 =
k=1
ck l2k s for v= c e
k=1
k k.
Further we use the notation L2 ( 0 , T ; Fs ) for the set of measurable functions

on the segment [ 0 , T ] with the values in the space Fs such that the norm
1 2
T
v
L2 ( 0 , T ; Fs )
0

= v(t) 2
s dt

is finite. The notation L p ( 0 , T ; X ) has a similar meaning for 1 p .
We remind that a function u(t) with the values in a separable Hilbert space H
is said to be Bochner measurable on a segment [ 0 , T ] if it is a limit of a se-
quence of functions
N
uN ( t ) = u
k=1
N, k cN , k ( t )
for almost all t [ 0 , T ] , where uN , k are elements of H and cN , k ( t ) are the cha-
racteristic functions of the pairwise disjoint Lebesgue measurable sets AN , k . One
Spaces 219
can prove (see, e.g., the book by K. Yosida [5]) that for separable Hilbert spaces un-
der consideration a function u ( t ) is measurable if and only if the scalar function
( u ( t ) , h ) H is measurable for every h H . Furthermore, a function u ( t ) is said
to be Bochner integrable over [ 0 , T ] if
T
u (t) - u
0
2
N (t) H dt 0 , N ,
where { uN ( t ) } is a sequence of simple functions defined above. The integral of the

function u(t) over a measurable set S [ 0 , T ] is defined by the equation
T
u (t) dt =
S
lim
N c (t) u
0
S N (t) dt ,
where c S ( t ) is the characteristic function of the set S and the integral of a simple
function in the right-hand side of the equality is defined in an obvious way.
For the function with the values in Hilbert spaces most facts of the ordinary Le-
besgue integration theory remain true.
E x e r c i s e 1.1 Let u ( t ) be a function on [ 0 , T ] with the values in a sepa-

rable Hilbert space H . If there exists a sequence of measurable func-
tions un ( t ) such that un ( t ) u ( t ) almost everywhere, then u ( t )
is also measurable.
E x e r c i s e 1.2 Show that a measurable function u ( t ) with the values in H

is integrable if and only if u ( t ) L 1(0 , T ) . Therewith
u (t) dt
B

u (t) dt
B
for any measurable set B [ 0 , T ] .
E x e r c i s e 1.3 Let a function u ( t ) be integrable over [ 0 , T ] and let B be

a measurable set from [ 0 , T ] . Show that

B
( u ( t ) , h ) H dt =

B
u ( t ) dt , h

H
for any h H .
E x e r c i s e 1.4 Show that the space L 2 ( 0 , T ; Fs ) can be described as a set

of series

h(t) = c
k=1
k ( t ) ek ,
C
h
where ck ( t ) are scalar functions that are square-integrable over
a [ 0 , T ] and such that
p
t T
[ c (t) ]
e
r l2k s k
2
dt < . (1.1)
k=1 0
4
Below we also use the space C ( 0 , T ; Fs ) of strongly continuous functions on [ 0 , T ]
with the values in Fs and the norm
v C (0, T ; F ) = max v (t) s .
s t [0, T ]
E x e r c i s e 1.5 Let u ( t ) be a function with the values in Fs integrable over

[ 0 , T ] . Show that the function
t
v (t) =
u ( t ) dt
0
lies in C ( 0 , T ; Fs ) . Moreover, v ( t ) is an absolutely continuous
function with the values in Fs , i.e. for any e > 0 there exists d > 0
such that for any collection of disjoint segments [ ak , bk ] [ 0 , T ]
the condition ( b k - ak ) < d implies that
k
v (b ) - v (a )
k
k k s < e.
E x e r c i s e 1.6 Show that for any absolutely continuous function v ( t ) on

[ 0 , T ] with the values in Fs there exists a function u ( t ) with the
values in Fs such that it is integrable over [ 0 , T ] and
t
v (t) = v (0) +
u ( t ) dt ,
0
t [ 0, T ] .
(Hint: use the one-dimensional variant of this assertion).
The space

WT = v ( t ) : v ( t ) L 2 ( 0 , T ; F1 ) , v ( t ) L 2 ( 0 , T ; H ) (1.2)

with the norm
1 2
v W = v 22 + v 2
T L (0, T ; F1 ) L2 ( 0 , T ; H )
plays an important role below. Hereinafter the derivative v ( t ) = dv dt stands for

a function integrable over [ 0 , T ] and such that
Spaces 221
t
v (t) = h +
v (t) dt
0
almost everywhere for some h H (see Exercises 1.5 and 1.6). Evidently, the space
WT is continuously embedded into C ( 0 , T ; H ) , i.e. every function u ( t ) from WT
lies in C ( 0 , T ; H ) and
max u(t) C u W ,
t [0, T ] T
where C is a constant. This fact is strengthened in the series of exercises given be-
low.
E x e r c i s e 1.7 Let pm be the projector onto the span of the set { ek : k =

= 1 , , m } and let v ( t ) WT . Show that pm v ( t ) is absolutely
continuous and possesses the property
d (p ( )) = p ( ) 2 ( , ;
---- v t mv t L 0 T pm F1 ) .
dt m
E x e r c i s e 1.8 The equations

t

pm v ( t ) 12 2 = pm v ( s ) 12 2 + 2 ( pm v ( t ) , pm v ( t ) ) 1 2 dt (1.3a)
s
and
2
( t - s ) pm v ( t ) 1 2
=
p + 2 ( t - s ) ( pm v ( t ) , pm v ( t ) ) 1 2 dt
2
= m v (t ) 1 2 (1.3b)

s
are valid for any 0 s t T and v ( t ) WT .
E x e r c i s e 1.9 Use (1.3) to prove that

sup pm v ( t ) 1 2 C T v W (1.4a)
t [0, T ] T
and
sup ( pm - pk ) v ( t ) 1 2
CT ( pm - p k ) v W . (1.4b)
t [0, T ] T
E x e r c i s e 1.10 Use (1.4) to prove that WT is continuously embedded into

C ( 0 , T ; F1 2 ) and
max v ( t ) 1 2 CT v W .
t [0, T ] T
C
h
The following three exercises result in a particular case of Dubinskiis theorem
a (see Exercise 1.13).
p
t
e E x e r c i s e 1.11 Let { h k ( t ) } be an orthonormal basis in L2 ( 0 , T ; R ) con-
r k=0
sisting of the trigonometric functions
4
1 , 2pk 2pk
h 0 ( t ) = ------- h2 k - 1 ( t ) = --2- sin ----------- x , h2 k ( t ) = --2- cos ----------- x ,
T T T T T
k = 1 , 2 , . Show that f ( t ) L 2 ( 0 , T ; Fs ) if and only if

f (t) = c
k=0 j=1
kj hk ( t ) ej (1.5)
and

l 2s 2
j ck j < .
k=0 j=1
E x e r c i s e 1.12 Show that the space WT can be described as a set of series of

the form (1.5) such that

k, j = 1
k 2 + l2 c 2 < .
j kj
E x e r c i s e 1.13 Use the method of the proof of Theorem 2.1.1 to show that
WT is compactly embedded into the space L 2 ( 0 , T ; Fs ) for any
s < 1.
E x e r c i s e 1.14 Show that WT is compactly embedded into C ( 0 , T ; H ) .

Hint: use Exercise 1.10 and the reasoning which is usually applied
to prove the Arzel theorem on the compactness of a collection
of scalar continuous functions.
2 Auxiliary Linear Problem
In this section we study the properties of a solution to the following linear problem:
d2 u du
---------- + g ------- + A 2 u + b ( t ) A u = h ( t ) , (2.1)
d t2 dt

u t = 0 = u0 ,
du
------- = u1 . (2.2)
dt t = 0

Auxiliary Linear Problem 223
Here A is a positive operator with discrete spectrum. The vectors h ( t ) , u 0 , u1

as well as the scalar function b ( t ) are given (for the corresponding hypotheses see
the assertion of Theorem 2.1).
The main results of this section are the proof of the theorem on the existence
and uniqueness of weak solutions to problem (2.1) and (2.2) and the construction
of the evolutionary operator for the system when h ( t ) 0 . In fact, the approach we
use here is well-known (see, e.g., [6] and [7]).
A weak solution to problem (2.1) and (2.2) on a segment [ 0 , T ] is a func-
tion u ( t ) WT such that u ( 0 ) = u 0 and the equation
T T
-

0
( u ( t ) + g u ( t ) , v ( t ) ) d t +
(A u (t) + b (t) u (t) , A v (t) ) dt =
0
T
= ( u1 + g u0 , v ( 0 ) ) +
(h (t) , v (t) ) dt
0
(2.3)
holds for any function v ( t ) WT such that v ( T ) = 0 . As above, u stands for the
derivative of u with respect to t .
E x e r c i s e 2.1 Prove that if a weak solution u ( t ) exists, then it satisfies

the equation
( u ( t ) + g u ( t ) , w) = ( u1 + g u0 , w ) -
t t

- ( A u ( t ) + b ( t ) u ( t ) , Aw ) dt +
0 0
( h ( t ) , w ) dt (2.4)
for every w F1 (Hint: take v ( t ) =

T
j ( t ) dt w in (2.3), where
t
j ( t ) is a scalar function from C [ 0 , T ] ).
Theorem 2.1
Let u0 F 1 , u1 F 0 , and g 0 . We als
also assume that b ( t ) is a bounded
continuous function on [ 0 , T ] and h ( t ) L ( 0 , T ; F 0 ) , where T is a posi-
tive number. Then problem (2.1) and (2.2) has a unique weak solution
u ( t ) on the segment [ 0 , T ] . This solution possesses the properties
u (t) C (0, T ; F ) , u ( t ) C ( 0 , T ; F )
1 (2.5) 0
and satisfies the energy equation
t t
1
--- u ( t ) 2 + Au ( t ) 2 + g
2 0
u ( t ) 2 dt +
b (t) (A u (t) , u (t) ) dt =
0
t
= --- u 1
1
2
2
+ Au0 2 +
(h (t) , u (t) ) dt .
0
(2.6)
C
h
Proof.
a
We use the compactness method to prove this theorem. At first we construct ap-
p
t proximate solutions to problem (2.1) and (2.2). The approximate Galerkin solution
(to this problem) of the order m with respect to the basis { e k } is considered to be
e
r
the function
4 m
um ( t ) = g (t) e
k=1
k k (2.7)
satisfying the equations

( u + g u
m m + A 2 um + b ( t ) A um - h ( t ) , ej ) = 0 , (2.8)
( um ( 0 ) , ej ) = ( u 0 , ej ) , ( u m ( 0 ) , e j ) = ( u1 , e j ) , j = 1 , 2 , , m . (2.9)
Here gk ( t ) C 1 ( 0 , T ) and g k ( t ) is absolutely continuous. Due to the orthogonality

of the basis { e k } equations (2.8) and (2.9) can be rewritten as a system of ordinary
differential equations:
gk + g g k + l k2 gk - b ( t ) l k gk = hk ( t ) ( h ( t ) , e k ) e,
gk ( 0 ) = ( u 0 , ek ) , g k ( 0 ) = ( u 1 , ek ) , k = 1, 2, , m .
Lemma 2.1
Assume that g > 0 , a 0 , b ( t ) is continuous, and c ( t ) is a measu-
rable bounded function. Then the Cauchy problem
g + g g + a ( a - b ( t ) ) g = c ( t ) , t [ 0, T] ,

(2.10)
g ( 0 ) = g0 , g ( 0 ) = g1

is uniquely solvable on any segment [ 0 , T ] . Its solution possesses the
property
t
g ( t ) 2 + a 2 g ( t ) 2 g 2 + a 2 g 2 + -----
1

0 2g
1-
0
c ( t ) 2
dt e b0 t ,

t [ 0 , T ] , (2.11)
where b0 = max b ( t ) . Moreover, if b ( t ) C1 ( 0 , T ) , c ( t ) 0 and for all

t
t [ 0 , T ] the conditions
g2
-1
--- a + ----- b ( t ) 1
--- a , b(t) + g a
--- - b ( t ) 0 , (2.12)
2 a 2 4
hold, then the following estimate is valid:
g
g ( t ) 2 + a 2 g ( t ) 2 3 ( g12 + a 2 g02 ) exp - --- t . (2.13)
2
Proof.
Problem (2.10) is solvable at least locally, i.e. there exists t such that a so-
lution exists on the half-interval [ 0 , t ) . Let us prove estimate (2.11) for the in-
terval of existence of solution. To do that, we multiply equation (2.10) by g ( t ) .
As a result, we obtain that
--- ----- ( g 2 + a 2 g 2 ) + g g 2 = a b ( t ) g g + c ( t ) g .
1 d
2 dt
We integrate this equality and use the equations
--- max b ( t ) g 2 + a 2 g 2 ,
a b ( t ) g g 1 c g g g 2 + -----
1- c 2 ,
2 t 4g
to obtain that
t t
g ( t ) 2 + a 2 g ( t ) g12 + a 2 g02 + -----
1-
2g
0
c2 ( t ) dt + b0
(g (t)
0
2
+ a 2 g ( t ) 2 ) dt .
This and Gronwalls lemma give us (2.11).

In particular, estimate (2.11) enables us to prove that the solution g ( t ) can
be extended on a segment [ 0 , T ] of arbitrary length. Indeed, let us assume the
contrary. Then there exists a point t such that the solution can not be extended
through it. Therewith equation (2.11) implies that
g ( t ) 2 + a 2 g ( t ) 2 C ( T ; g0 , g1) , 0 < t < t < T.

Therefore, (2.10) gives us that the derivative g ( t ) is bounded on [ 0 , t ) .
Hence, the values
t t
g ( t ) = g0 +
0
g ( t ) dt , g ( t ) = g0 +
g (t) dt
0
are continuous up to the point t . If we now apply the local theorem on exis-
tence to system (2.10) with the initial conditions at the point t that are equal to
g ( t ) and g ( t ) , then we obtain that the solution can be extended through t .
This contradiction implies that the solution g ( t ) exists on an arbitrary segment
[0, T ] .
Let us prove estimate (2.13). To do that, we consider the function
g g
--- g 2 + a ( a - b ( t ) ) g 2 + --- g g + --- g 2 .
V (t) = 1 (2.14)
2 2 2
Using the inequality
1- g 2 - --g- g 2 g g -----
- ----- 1- g 2 + --g- g 2 ,
2g 2 2g 2
it is easy to find that the equation
--- g 2 + a 2 g 2 V ( t ) 3
1 --- g 2 + a 2 g 2 (2.15)
4 4
C
h
holds under the condition
a
p
1
--- a - b ( t ) 0 , a 1
--- a + b ( t ) - g 2 0 .
t 2 2
e
r Further we use (2.10) with c ( t ) 0 to obtain that
4 g
------ = - --- g 2 - 1
dV
--- ( a b + a g ( a - b ) ) g 2 .
dt 2 2
Consequently, with the help of (2.15) we get
dV --g-
------ + V 0
dt 2
under conditions (2.12). This implies that
g
V ( t ) V ( 0 ) exp - --- t .
2
We use (2.15) to obtain estimate (2.13). Thus, Lemma 2.1 is proved.
E x e r c i s e 2.2 Assume that g 0 in Lemma 2.1. Show that problem (2.10)

is uniquely solvable on any segment [ 0 , T ] and the estimate
(b + 2 g + d) t
g ( t ) + a 2 g ( t ) 2 g12 + a 2 g02 e 0 +

t
+ --1-
d c (t)
0
2 ( b0 + 2 g + d ) ( t - t )
e dt
is valid for g ( t ) and for any d > 0 , where b0 = max b ( t ) .

t
Lemma 2.1 implies the existence of a sequence of approximate solutions { um ( t ) }

to problem (2.1) and (2.2) on any segment [ 0 , T ] .
E x e r c i s e 2.3 Show that every approximate solution um is a solution to

problem (2.1) and (2.2) with u0 = u0 m , u 1 = u1 m , and h ( x , t ) =
= hm ( x , t ) , where
m
ui m = pm ui = (u , e ) e
k=1
i k k,
(2.16)
m
hm = pm h = (h(t) , e ) e
k=1
k k,
and pm is the orthoprojector onto the span of elements { ek : k = 1 ,

2 , , m } in F0 = H .
Let us prove that the sequence of approximate solutions { u m } is convergent.

At first we note that

m+l
D m , l ( t ) = u m - u m + l 2 + A ( um - u m + l ) 2 =
k=m+1
( g k ( t ) 2 + l k2 gk ( t ) 2 )
for every t [ 0 , T ] . Therefore, by virtue of Lemma 2.1 we have that

m+l T
1-
( h ( t ) , e ) dt
b0 t 2
Dm , l ( t ) e ( u1 , ek ) + l k2 ( u0 , 2
ek ) + ----- 2
2g k
k=m+1 0
for g > 0 . Moreover, in the case g = 0 , the result of Exercise 2.2 gives that
m+l T
( h ( t ) , e ) dt
( b0 + 1 ) t 2
Dm , l ( t ) e ( u1 , ek ) + l k2 ( u0 , 2
ek ) + k
2
.
k=m+1 0
These equations imply that the sequences { u m ( t ) } and { Au m ( t ) } are the Cauchy
sequences in the space C(0 , T ; H ) on any segment [ 0 , T ] . Consequently, there
exists a function u ( t ) such that
u ( t ) C ( 0 , T ; H ) , u ( t ) C ( 0 , T ; F1 ) ,
lim max u m ( t ) - u ( t ) 2 + um ( t ) - u ( t ) 1 = 0 . (2.17)

m [0, T ]
Equations (2.8) and (2.9) further imply that
T T
-

0
u ( t ) + g u ( t ) , v ( t ) dt +
m m A u
0
m(t) + b ( t ) u m ( t ) , A v ( t ) dt =

T
= ( u1 m + g u0 m , v ( 0 ) ) +
(h
0
m(t) , v ( t ) ) dt
for all functions v ( t ) from WT such that v ( T ) = 0 . Here u i m , and hm ( t ) , i = 0 , 1 ,

are defined by (2.16). We use equation (2.17) to pass to the limit in this equation and
to prove that the function u ( t ) satisfies equality (2.3). Moreover, it follows from
(2.17) that u ( 0 ) = u0 . Therefore, the function u ( t ) is a weak solution to problem
(2.1) and (2.2).
In order to prove the uniqueness of weak solutions we consider the function
s

vs ( t ) =
t

- u ( t ) dt , t < s ,
(2.18)
0, s t T,

for s [ 0 , T ] . Here u ( t ) is a weak solution to problem (2.1) and (2.2) for h = 0 ,
u0 = 0 , and u1 = 0 . Evidently vs ( t ) WT . Therefore,
C
h T T
a
p
t
-

0
( u ( t ) + g u ( t ) , v s ( t ) ) dt +
(A u (t) + b(t) u (t) , A v (t) ) dt = 0 .
0
s
e
r
Due to the structure of the function vs ( t ) we obtain that
4 s
1
--- u ( s ) 2 + Avs ( 0 ) 2 + g
2 u(t)
0
2
dt = Js ( u , v ) , (2.19)
where
s
Js ( u , v ) =
( b ( t ) u ( t ) , A v ( t ) ) dt .
0
s
It is evident that Avs ( t ) = Avs ( 0 ) - Avt ( 0 ) for t s . Therefore,
s s
Js ( u , v ) b0 Avs ( 0 )

0
u ( t ) dt +

0
u ( t ) Avt ( 0 ) dt

s s
u (t) u (t)
b
1
--- Avs ( 0 ) 2 + s b02 2
dt + ----0- 2
+ Avt ( 0 ) 2 dt .
4 2
0 0
If we substitute this estimate into equation (2.19), then it is easy to find that
s
u(s) 2
+ Avs ( 0 ) 2
CT
u (t)
0
2 + Avt ( 0 ) 2 dt ,

where s [ 0 , T ] and CT is a positive constant depending on the length of the seg-

ment [ 0 , T ] . This and Gronwalls lemma imply that u ( t ) 0 .
Let us prove the energy equation. If we multiply equation (2.8) by g j ( t ) and
summarize the result with respect to j , then we find that
d 2
+ Au m 2 + g u m 2 + b ( t ) ( Au m , u m ) = ( h , u m ) .
1
--- ---- u
2 dt m
After integration with respect to t we use (2.17) to pass to the limit and obtain (2.6).
Theorem 2.1 is completely proved.
E x e r c i s e 2.4 Prove that the estimate

t
1 h ( t ) 2 dt e 0 (2.20)

2 2 2 2 b t
u ( t ) + Au ( t ) u1 + Au0 + ------
2g
0
is valid for a weak solution u ( t ) to problem (2.1) and (2.2). Here
b0 = max { b ( t ) : t 0 } and g > 0 .
E x e r c i s e 2.5 Let u ( t ) be a weak solution to problem (2.1) and (2.2). Prove

that A2 u ( t ) C ( 0 , T ; F -1 ) and
t
u ( t ) + g u ( t ) = u1 + g u 0 -
(A u (t) + b (t) Au (t) - h (t) ) dt .
0
2
Here we treat the equality as an equality of elements in F-1 .

(Hint: use the results of Exercises 2.1 and 2.1.3).
E x e r c i s e 2.6 Let u ( t ) be a weak solution to problem (2.1) and (2.2) con-

structed in Theorem 2.1. Then the function u ( t ) is absolutely conti-
nuous as a vector-function with the values in F-1 while the derivati-
ve u ( t ) belongs to the space L ( 0 , T ; F-1 ) . Moreover, the function
u ( t ) satisfies equation (2.1) if we treat it as an equality of elements
in F-1 for almost all t [ 0 , T ] .
In particular, the result of Exercise 2.6 shows that a weak solution satisfies equation
(2.1) in a stronger sense then (2.4).
We also note that the assertions of Theorem 2.1 and Exercises 2.42.6 with the
corresponding changes remain true if the initial condition is given at any other mo-
ment t0 which is not equal to zero.
Now we consider the case h ( t ) 0 and construct the evolutionary operator of prob-
lem (2.1) and (2.2). To do that, let us consider the family of spaces
Hs = F1 + s Fs , s 0.
Every space Hs is a set of pairs y = ( u ; v ) such that u F 1 + s and v Fs .
We define the inner product in Hs by the formula
( y1 , y2 ) = ( u1 , u2 ) 1 + s + ( v1 , v2 ) s .
Hs
E x e r c i s e 2.7 Prove that Hs is compactly embedded into Hs for s1 > s .

1
In the space H0 we define the evolutionary operator U ( t ; t0 ) of problem (2.1) and

(2.2) for h ( t ) 0 by the equation
U ( t ; t ) y = ( u ( t ) ; u ( t ) ) ,
0 (2.21)
where u ( t ) is a solution to (2.1) and (2.2) at the moment t with initial conditions
that are equal to y = ( u0 ; u1 ) at the moment t0 .
The following assertion plays an important role in the study of asymptotic be-
haviour of solutions to problem (0.1) and (0.2).
C
h
Theorem 2.2
Assume that the function b ( t ) is continuously differentiable in (2.1)
a
p
t and such that
e

r
b0 = sup b ( t ) < , b1 = sup b ( t ) < .
t t
4
Then the evolutionary operator U ( t ; t ) of problem (2.1) and (2.2) for
h ( t ) 0 is a linear bounded operator in each space Hs for s 0 and it
possesses the properties:
a) U ( t ; t ) U ( t ; s ) = U ( t ; s ) , t t s , U ( t ; t ) = I ;
b) for all s 0 the estimate
U(t ; t) y 1
--- b0 ( t - t )
Hs y H s exp 2
(2.22)
is valid;
c) there exists a number N 0 depending on g , b0 , and b1 such that the
equation
g
- --- ( t - t )
( I - PN ) U ( t ; t ) y H
3 ( I - PN ) y H
e 4 , t >t , (2.23)
s s
holds for all N N0 , where PN is the orthoprojector onto the subspace

LN = Lin { ( e k ; 0 ) , ( 0 ; ek ) : k = 1 , 2 , , N }
in the space H0 .
Proof.
Semigroup property a) follows from the uniqueness of a weak solution.
The boundedness property of the operator U ( t ; t ) follows from (2.22). Let us prove
relations (2.22) and (2.23). It is sufficient to consider the case t = 0 . According
to the definition of the evolutionary operator we have that
U ( t ; 0 ) y = ( u ( t ) ; u ( t ) ) , y = (u ; u ) , 0 1
where u ( t ) is the weak solution to problem (2.1) and (2.2) for h ( t ) 0 . Due to
(2.17) it can be represented as a convergent series of the form

u (t) = g (t) e
k=1
k k.
Moreover, Lemma 2.1 implies that
g k ( t ) 2 + l k2 gk ( t ) 2 ( g k ( 0 ) 2 + lk2 gk ( 0 ) 2 ) e 0 .
b t
(2.24)
Since

U(t ; 0) y 2
Hs = g (t)
k=1
k
2
+ l k2 gk ( t ) 2 l k2 s ,

equation (2.24) implies (2.22).

Further we use equation (2.13) to obtain that

g
- --- t
g k ( t ) 2 + l k2 gk ( t ) 2 3 gk ( 0 ) 2 + l k2 gk ( 0 ) 2 e 2 , (2.25)

provided the conditions (cf. (2.12))
g2 l
-1
--- l k + ------ b ( t ) 1
--- l k , b ( t ) + g -----k- - b ( t ) 0 ,
2 lk 2 4
are fulfilled. Evidently, these conditions hold if

4b g2
lk --------1- + 4 b0 + ----- ,
g b0
where b0 = max b ( t ) and b1 = max b ( t ) . Since
t t

( I - PN ) U ( t ; 0 ) y 2
Hs
=
k=N+1
g ( t ) 2 + k 4 g ( t ) 2 k 2 s ,
k k
equation (2.25) gives us (2.23) for all N N0 - 1 , where N 0 is the smallest natural
number such that
4b g2
l N ---------1 + 4 b0 + ----- . (2.26)
0 g b0
Thus, Theorem 2.2 is proved.
E x e r c i s e 2.8 Show that a weak solution u ( t ) to problem (2.1) and (2.2)

can be represented in the form
t
( u ( t ) ; u ( t ) ) = U ( t ; 0 ) y +
U ( t ; t ) ( 0 ; h ( t ) ) dt ,
0
(2.27)
where y = ( u0 ; u 1 ) and U ( t ; t ) is defined by (2.21).
E x e r c i s e 2.9 Use the result of Exercise 2.2 to show that Theorem 2.1 and
Theorem 2.2 (a, b) with another constant in (2.22) also remain true
for g < 0 . Use this fact to prove that if the hypotheses of Theorems
2.1 and 2.2 hold on the whole time axis, then problem (2.1) and (2.2)
is solvable in the class of functions
W = C ( R ; F1 ) C 1 ( R ; F0 )
with g 0 .
E x e r c i s e 2.10 Show that the evolutionary operator U ( t , t ) has a bounded

inverse operator in every space Hs for s 0 . How is the operator
[ U ( t , t ) ] -1 for t > t related to the solution to equation (2.1) for
h ( t ) 0 ? Define the operator U ( t , t ) using the formula U ( t , t ) =
= [ U ( t , t ) ] -1 for t < t and prove assertion (a) of Theorem 2.2 for
all t , t R .
C
h 3 Theorem on Existence
a
p and Uniqueness of Solutions
t
e
r
4 In this section we use the compactness method (see, e.g., [8]) to prove the theorem
on the existence and uniqueness of weak solutions to problem (0.1) and (0.2) under
the assumption that
u0 F1 , u1 F0 , p ( t ) L ( 0 , T ; F0 ) ; (3.1)
z
M ( z ) C1 ( R+ ) , M (z)
M (x) dx - a z - b ,
0
(3.2)
where 0 a < l1 , b R , l1 is the first eigenvalue of the operator A , and the

operator L is defined on D ( A ) and satisfies the estimate
L u C Au , u D (A) . (3.3)
Similarly to the linear problem (see Section 2), the function u ( t ) WT is said
to be a weak solution to problem (0.1) and (0.2) on the segment [ 0 , T ]
if u ( 0 ) = u 0 and the equation
T T
-

0
( u ( t ) + g u ( t ) , v ( t ) ) dt +
Au (t) + M A
0
1 2 u ( t ) 2 u ( t ) ,

Av ( t ) dt +

T T
+
0
( L u ( t ) , v ( t ) ) dt = ( u 1 + g u 0 , v ( 0 ) ) +
( p (t) , v(t) ) dt
0
(3.4)
holds for any function v ( t ) WT such that v ( T ) = 0 . Here the space WT is defined
by equation (1.2).
E x e r c i s e 3.1 Prove the analogue of formula (2.4) for weak solutions to

problem (0.1) and (0.2).
The following assertion holds.
Theorem 3.1
Assume that conditions (3.1)(3.3) hold. Then on every segment [ 0 , T ]
problem (0.1) and (0.2) has a weak solution u ( t ) . This solution is unique.
It possesses the properties
u (t) C (0, T ; F ) , u ( t ) C ( 0 , T ; F )
1 (3.5) 0
Theorem on Existence and Uniqueness of Solutions 233
and satisfies the energy equality

t
E ( u ( t ) , u ( t ) ) = E ( u0 , u1 ) +
-g u (t)
0
2
+ ( - L u ( t ) + p ( t ) , u ( t )) dt , (3.6)

where
--- v 2 + Au 2 + M A1 2 u 2 .
E (u, v) = 1 (3.7)
2
We use the scheme from Section 2 to prove the theorem.

The Galerkin approximate solution of the order m to problem (0.1) and (0.2)
with respect to the basis ek is defined as a function of the form
m
um ( t ) = g (t) e
k=1
k k
which satisfies the equations

( u m ( t ) + g u m ( t ) , ej ) +
+ Aum ( t ) + M A1 2 u 2 um ( t ) , A ej + ( L um ( t ) - p ( t ) , e j ) = 0 (3.8)

for j = 1 , 2 , , m with t ( 0 , T ] and the initial conditions
( um ( 0 ) , e j ) = ( u 0 , ej ) , ( u m ( 0 ) , e j ) = ( u1 , e j ) , j = 1, 2, , m . (3.9)
Simple calculations show that the problem of determining of approximate solutions
can be reduced to solving the following system of ordinary differential equations:
m m

gk + g g k + l k2 gk + l k M
j=1
lj gj ( t ) 2 gk +
j=1

( L ej , ek ) gj = pk ( t ) , (3.10)
gk ( 0 ) = g0 k = ( u0 , ek ) , g k ( 0 ) = g1 k = ( u 1 , ek ) , k = 1 , 2 , , m . (3.11)
The nonlinear terms of this system are continuously differentiable with respect to
gj . Therefore, it is solvable at least locally. The global solvability follows from the
a priori estimate of a solution as in the linear problem. Let us prove this estimate.
We consider an approximate solution u m ( t ) to problem (0.1) and (0.2) on the
solvability interval ( 0 , t ) . It satisfies equations (3.8) and (3.9) on the interval
( 0 , t ) . We multiply equation (3.8) by g j ( t ) and summarize these equations with re-
spect to j from 1 to m . Since
---- M A1 2 u 2 = 2 M A1 2 u 2 ( Au ( t ) , u ( t ) ) ,
d
dt
we obtain
E ( u m ( t ) , u m ( t ) ) = -g u m ( t ) 2 - ( L u m ( t ) - p ( t ) , u m ( t ) )
d
---- (3.12)
dt
C
h
as a result, where E ( u , u ) is defined by (3.7). Equation (3.3) implies that
a
p
( L u m , u m ) C Au m u m C Au m 2
+ u m 2 .
t
e
r Condition (3.2) gives us the estimate
4 --- Au 2 + u m 2 C1 + C 2 E ( u m , u m )
1 (3.13)
2 m
with the constants independent of m . Therefore, due to Gronwalls lemma equation
(3.12) implies that
C0 + C1 E ( um ( 0 ) , u m ( 0 ) ) e 2 ,
C t
u m ( t ) + Aum ( t )
2 2
(3.14)

with the constants C0 , C1 , and C 2 depending on the problem parameters only.
E x e r c i s e 3.2 Use equation (3.14) to prove the global solvability of Cauchy

problem (3.10) and (3.11).
It is evident that
u m ( 0 ) u 1 and A1 2 um ( 0 ) 1 - Au ( 0 )
--------- 1- u
--------- .
l1 m
l1 0 1
Therefore,
E ( um ( 0 ) , u m ( 0 ) ) 1
--- u 1 2 + u 0 2 + C M ( u0 ) ,
2 1 1
where CM ( r ) = max {M ( z ) : 0 z r 2 l 1 } . Consequently, equation (3.14) gives

us that
sup u ( t ) 2
+ Aum ( t ) 2 CT (3.15)
t [0, T ]
m
for any T > 0 , where C T does not depend on m . Thus, the set of approximate solu-
tions { um ( t ) } is bounded in WT for any T > 0 . Hence, there exist an element
u ( t ) WT and a sequence { mk } such that umk ( t ) u ( t ) weakly in WT . Let us
show that the weak limit point u ( t ) possesses the property
u ( t ) 2 + Au ( t ) 2 CT (3.16)
for almost all t [ 0 , T ] . Indeed, the weak convergence of the sequence { u m } to
k
the function u in WT means that u mk and Au m weakly (in L 2 ( 0 , T ; H ) ) con-
k
verge to u and Au respectively. Consequently, this convergence will also take
place in L 2 ( a , b ; H ) for any a and b from the segment [ 0 , T ] . Therefore, by
virtue of the known property of the weak convergence we get
b b

a
u ( t )

2
+ Au ( t ) 2 dt

lim
k u
a
mk ( t )
2
+ Au m ( t ) 2 dt .
k
With the help of (3.15) we find that

b
u (t)
a
2
+ Au ( t ) 2 dt CT ( b - a ) .

Therefore, due to the arbitrariness of a and b we obtain estimate (3.16).
Lemma 3.1
For any function v ( t ) L 2 ( 0 , T ; H )
lim JT ( um , v ) = JT ( u , v ) ,
k k
where
T
JT ( u , v ) =
M A
0
1 2 u ( t ) 2 ( u ( t ) ,

v ( t ) ) dt .
Proof.
Since
M A1 2 u m 2 - M A1 2 u 2
k
1
M x A

1 2 u + ( 1 - x ) A1 2 u dx A1 2 ( um - u ) ,
mk k
0

where M ( z ) = 2 z M' ( z 2 ) C ( R+ ) , due to (3.15) and (3.16) we have
M A1 2 u m 2 - M A1 2 u 2 CT A1 2 ( um ( t ) - u ( t ) ) ,
(1)
k k
( 1)
where the constant CT is the maximum of the function M ( z ) on the sufficient-
ly large segment [ 0 , aT ] , determined by the constant C T from inequalities
(3.15) and (3.16). Hence,
T
dk
M A
0
1 2 u
m(t)
2

- M A1 2 u ( t ) 2 ( um ( t ) , v ( t ) ) dt
k
1 2
T
CT v
L2 ( 0 , T ; H )

A
0
1 2 ( u
mk ( t ) - u ( t )) 2
dt

.
The compactness of the embedding of WT into L 2 ( 0 , T ; F 1 2 ) (see Exer-

cise 1.13) implies that d k 0 as k . It is evident that
C
h T
a
p
t
JT ( um , v ) - JT ( u , v )
k
dk +
(u
0
mk ( t ) - u ( t ) , v ( t ) ) M A1 2 u ( t ) 2 dt .

e
r
Because of the weak convergence of um to u this gives us the assertion of the
k
4 lemma.
E x e r c i s e 3.3 Prove that the functional

T
L [ u] =
(L u (t) , v (t) ) dt
0
is continuous on WT for any v L 2 ( 0 , T ; H ) .
Let us prove that the limit function u ( t ) is a weak solution to problem (0.1) and
(0.2).
Let pl be the orthoprojector onto the span of elements ek , k = 1 , 2 , , l
in the space H . We also assume that

WT = { v WT : v ( T ) = 0 }
and

W Tl p l WT = { p l v : v WT } .

It is clear that an arbitrary element of the space W Tl has the form
l
vl ( x , t ) = h (t) e
k=1
k k,
where h k ( t ) is an absolutely continuous real function on [ 0 , T ] such that

h (T) = 0 ,
k h ( t ) L 2 ( 0 , T ) .
k
If we multiply equation (3.8) by h j ( t ) , summarize the result with respect to j from
1 to l , and integrate it with respect to t from 0 to T , then it is easy to find that
T T T

- ( u m + g um , v l ) dt +
0
0
Au + M A1 2 u 2 u , Av dt +
m m m l (L u
0
m, v l ) dt =
T
= ( u1 + g u0 , vl ( 0 ) ) +
(p, v ) dt
0
l
for m l . The weak convergence of the sequence um to u in WT as well as Lem-

k
ma 3.1 and Exercise 3.3 enables us to pass to the limit in this equality and to show

that the function u ( t ) satisfies equation (3.4) for any function v WTl , where
l = 1 , 2 , . Further we use (cf. Exercise 2.1.11) the formula
T
l
lim
p v (t) - v (t)
0
l
2
+ pl Av ( t ) - Av ( t ) 2 dt = 0

for any function v ( t ) WT in order to turn from the elements v of WTl to the func-

tions v from the space WT .
E x e r c i s e 3.4 Prove that u ( t ) t = 0 = u 0 .
Thus, every weak limit point u ( t ) of the sequence of Galerkin approximations { um }

in the space WT is a weak solution to problem (0.1) and (0.2).
If we compare equations (3.4) and (2.3), then we find that every weak solution
u ( t ) is simultaneously a weak solution to problem (2.1) and (2.2) with b ( t ) = 0 and
h ( t ) = - M A1 2 u ( t ) 2 Au ( t ) - L u ( t ) + p ( t ) . (3.17)

It is evident that h ( t ) L ( 0 , T ; F0 ) . Therefore, due to Theorem 2.1 equations
(3.5) are valid for the function u ( t ) .
To prove energy equality (3.6) it is sufficient (due to (2.6)) to verify that for
h ( t ) of form (3.17) the equality
t
(h (t) , u (t) ) dt =
0
t t=t
=

0
--- M A1 2 u ( t ) 2
( - L u ( t ) + p ( t ) , u ( t ) ) dt - 1
2
t=0
(3.18)
holds. Here u ( t ) is a vector-function possessing property (3.5). We can do that by

first proving (3.18) for the function of the form pl u and then passing to the limit.
E x e r c i s e 3.5 Let u ( t ) be a weak solution to problem (0.1) and (0.2). Use

equation (3.6) to prove that
u ( t ) 2 + Au ( t ) 2 ( C0 + C1 E ( u 0 , u1 ) ) e 2 ,
C t
t > 0, (3.19)
where C0 , C 1 , C 2 > 0 are constants depending on the parameters
of problem (0.1) and (0.2).
Let us prove the uniqueness of a weak solution to problem (0.1) and (0.2). We as-
sume that u1 ( t ) and u 2 ( t ) are weak solutions to problem (0.1) and (0.2) with the
initial conditions { u01 , u 11 } and { u 02 , u12 } , respectively. Then the function
u ( t ) = u1 ( t ) - u2 ( t )
C
h
is a weak solution to problem (2.1) and (2.2) with the initial conditions u 0 = u01 -
a - u02 , u1 = u11 - u12 , the function b ( t ) = M ( A1 2 u1 ( t ) 2 ) , and the right-hand
p
t side
e
r
h ( t ) = M A1 2 u2 ( t ) 2 - M A1 2 u1 ( t ) 2 Au2 ( t ) + L ( u 2 ( t ) - u 1 ( t ) ) .

4
We use equation (3.19) to verify that
h (t) G T ( E ( u 01 , u11 ) + E ( u02 , u12 ) ) A ( u1 ( t ) - u2 ( t ) ) , t [ 0, T ] ,
where G T ( x ) is a positive monotonely increasing function of the parameter x .
Therefore, equation (2.20) implies that
u 1 ( t ) - u 2 ( t ) 2 + u 1 ( t ) - u2 ( t ) 12
t
CT u 11 - u1 2

2
+ u01 - u02 12 +

0
u 1 ( t ) - u 2 ( t ) 12 dt ,

where CT > 0 depends on T and the problem parameters and is a function of the
variables E ( u0 j , u1 j ) , j = 1 , 2 . We can assume that C T is the same for all initial
data such that E ( u 0 j , u 1 j ) R , j = 1 , 2 . Using Gronwalls lemma we obtain that
u 1 ( t ) - u 2 ( t ) 2 + u1 ( t ) - u 2 ( t ) 12 C1 u 11 - u12 2 + u 01 - u02 12 e 2 , (3.20)

aC

where t [ 0 , T ] and C > 0 is a constant depending only on T , the problem pa-
rameters and the value R > 0 such that u 0 j 12 + u1 j 2 R . In particular, this esti-
mate implies the uniqueness of weak solutions to problem (0.1) and (0.2). The proof
of Theorem 3.1 is complete.
E x e r c i s e 3.6 Show that a weak solution u ( t ) satisfies equation (0.1) if we

consider this equation as an equality of elements in F-1 for almost all t .
Moreover, u ( t ) C ( 0 , T ; F-1) (Hint: see Exercise 2.5).
E x e r c i s e 3.7 Assume that the hypotheses of Theorem 3.1 hold. Let u ( t ) be

a weak solution to problem (0.1) and (0.2) on the segment [ 0 , T ]
and let um ( t ) be the corresponding Galerkin approximation of the
order m . Show that
um ( t ) u ( t ) weakly in L 2 ( 0 , T ; F1 ) ,
u m ( t ) u ( t ) weakly in L 2 ( 0 , T ; F0 ) ,
um ( t ) u ( t ) strongly in L 2 ( 0 , T ; Fs ) , s < 1,
as m .
In conclusion of the section we note that in case of stationary load p ( t ) p H we

can construct an evolutionary operator St of problem (0.1) and (0.2) in the space
H H0 = F1 F0 supposing that
S y = ( u ( t ) ; u ( t ) )
t
for y = ( u0 , u1 ) , where u ( t ) is a weak solution to problem (0.1) and (0.2) with the
initial conditions y = ( u0 ; u1 ) . Due to the uniqueness of weak solutions we have
St St = St + t , S0 = I , t, t 0 .
By virtue of (3.20) the nonlinear mapping St is a continuous mapping of H . Equa-
tion (3.5) implies that the vector-function St y is strongly continuous with respect
to t for any y H . Moreover, for any R > 0 and T > 0 there exists a constant
C ( R , T ) > 0 such that
St y1 - St y2 H
C ( R , T ) y1 - y2 H
(3.21)
for all t [ 0 , T ] and for all yj { y H : y H R} .
E x e r c i s e 3.8 Use equation (3.21) to show that ( t , y ) S t y is a continu-

ous mapping from R+ H into H .
E x e r c i s e 3.9 Prove the theorem on the existence and uniqueness of solu-

tions to problem (0.1) and (0.2) for g 0 . Use this fact to show that
the collection of operators { St } is defined for negative t and forms
a group (Hint: cf. Exercises 2.9 and 2.10).
E x e r c i s e 3.10 Prove that the mapping S t is a homeomorphism in H for eve-

ry t > 0 .
E x e r c i s e 3.11 Let p ( t ) L ( R + , H ) be a periodic function: p ( t ) =

= p ( t + t0 ) , t0 > 0 . Define the family of operators Sm by the for-
mula
Sm y = ( u ( m t0 ) ; u ( m t0 ) ) , m = 0, 1, 2, ,
in the space H = F1 F 0 . Here u ( t ) is a solution to problem (0.1)
and (0.2) with the initial conditions y = ( u0 , u 1 ) . Prove that the
pair ( H , Sm ) is a discrete dynamical system. Moreover, Sm = S1m
and S1 is a homeomorphism in H .
C
h 4 Smoothness of Solutions
a
p
t
e
r In the study of smoothness properties of solutions constructed in Section 3 we use
some ideas presented in paper [9]. The main result of this section is the following as-
4
sertion.
Theorem 4.1
Let the hypotheses of Theorem 3.1 hold. We assume that M ( z )
C l + 1 (R
+ ) and the load p ( t ) lies in C ( 0 , T ; F 0 ) for some l 1 . Then
l
for a weak solution u ( t ) to problem (0.1) and (0.2) to possess the properties
u ( k ) ( t ) C ( 0 , T ; F2 ) , k = 0, 1, 2, , l - 1 ,
(4.1)
u ( l ) ( t ) C ( 0 , T ; F1 ) , u( l + 1 ) ( t ) C ( 0 , T ; F0 ) ,
it is necessary and sufficient that the following compatibility conditions
are fulfilled:
u ( k ) ( 0 ) F2 , k = 0, 1, 2, , l - 1 ; u( l) ( 0 ) F1 . (4.2)
Here u(j) (t )
is a strong derivative of the function u ( t ) with respect to t
of the order j and the values u ( k ) ( 0 ) are recurrently defined by the initial
conditions u0 and u1 with the help of equation (0.1)::
u(0) ( 0 ) = u0 , u( 1 ) ( 0 ) = u1 ,

u ( k ) ( 0 ) = - g u ( k - 1 ) ( 0 ) + A2 u ( k - 2 ) ( 0 ) + Lu ( k - 2 ) ( 0 ) +

k-2

d - M A1 2 u ( t ) 2 Au ( t ) - p ( t )
+ -------------- , (4.3)
dt k - 2
t = 0
where k = 2 , 3 , .
Proof.
It is evident that if a solution u ( t ) possesses properties (4.1) then compatibility
conditions (4.2) are fulfilled. Let us prove that conditions (4.2) are sufficient for
equations (4.1) to be satisfied. We start with the case l = 1 . The compatibility condi-
tions have the form: u0 F2 , u 1 F 1 . As in the proof of Theorem 3.1 we consider
the Galerkin approximation
m
um ( t ) = g (t) e
k=1
k k
of the order m for a solution to problem (0.1) and (0.2). It satisfies the equations
Smoothness of Solutions 241
u m ( t ) + g u m ( t ) + A 2 um ( t ) +
+ M A 1 2 um ( t ) 2 A um ( t ) + pm L u m ( t ) = pm p ( t ) , (4.4)

um ( 0 ) = pm u 0 , u m ( 0 ) = pm u1 ,
where pm is the orthoprojector onto the span of elements e1 , em . The structure

of equation (3.10) implies that um ( t ) C 2 ( 0 , T ; F2 ) . We differentiate equation
(4.4) with respect to t to obtain that vm ( t ) = u m ( t ) satisfies the equation
vm + g v m + A2 vm + M A1 2 um 2 Avm + pm L vm =

= -2 M A1 2 um 2 ( Au m , u m ) Aum + pm p ( t ) (4.5)

and the initial conditions
vm ( 0 ) = pm u 1 ,

v m ( 0 ) = -pm g u 1 + A2 u 0 + M A1 2 pm u 0 2 Au0 + L pm u0 - p ( 0 ) . (4.6)

It is clear that
v m ( 0 ) = pm u ( 2 ) ( 0 ) + M A1 2 u0 2 - M A1 2 pm u0 2 Apm u0 + L ( u 0 - pm u 0 ) ,
where u ( 2 ) ( 0 ) is defined by (4.3). Therefore,

vm ( 0 ) - pm u ( 2 ) ( 0 ) C ( u0 1 ) u0 - pm u 0 .
1
The compatibility conditions give us that u0 F 2 and hence u ( 2 ) ( 0 ) F 0 . Thus,

the initial condition v m ( 0 ) possesses the property
v m ( 0 ) - u ( 2 ) ( 0 ) 0 ,
m . (4.7)

We multiply (4.5) by vm ( t ) scalarwise in H to find that
d
1
--- ---- v ( t ) 2 + Avm ( t ) 2 + g v m ( t ) 2 = ( Fm ( t ) , v m ( t ) ) , (4.8)
2 dt m
where
Fm ( t ) = - M A1 2 um 2 Avm - pm L vm -
-2 M A1 2 u m 2 ( Aum , u m ) Aum + pm p ( t ) . (4.9)

Using a priori estimates (3.14) for u m ( t ) we obtain
Fm ( t ) CT 1 + Avm ( t ) , t [ 0, T ] .

C
h
Thus, equation (4.8) implies that
a
d
p
---- v m ( t ) 2 + Avm ( t ) 2 CT 1 + v m ( t ) 2 + Avm ( t ) 2 , t [ 0, T] .
t dt
e
r Equation (4.7) and the property u 1 F 1 give us that the estimate
4 v ( 0 ) 2 + Av ( 0 ) 2 < C
m m
holds uniformly with respect to m . Therefore, we reason as in Section 3 and use

Gronwalls lemma to find that
Avm ( t ) 2 + v m ( t ) 2 C T , t [0, T ] . (4.10)
Consequently,
Au m ( t ) 2 + u m ( t ) 2 C T , t [0, T ] . (4.11)
Equation (4.4) gives us that
A2 u m ( t ) u m( t ) + g u m ( t ) + M ( A1 2 um( t ) 2 ) Au m ( t ) + L um( t ) + p ( t ) .
Therefore, (3.14) and (4.11) imply that

A2 u m ( t ) CT , t [0, T ] . (4.12)
Thus, the sequence { u m ( t ) } of approximate solutions to problem (0.1) and (0.2)
possesses the properties (cf. Exercise 3.7):

um ( t ) u ( t ) weakly in L 2 ( 0 , T ; D ( A2 ) ) ;

u m ( t ) u ( t ) weakly in L 2 ( 0 , T ; D ( A) ) ; (4.13)

u m ( t ) u ( t ) weakly in L 2 ( 0 , T ; H ) ;
where u ( t ) is a weak solution to problem (0.1) and (0.2). Moreover (see Exer-
cise 1.13),
T
lim
m u
0
m(t) - u ( t ) 2
s
+ um ( t ) - u ( t ) 2
1+ s
dt = 0 (4.14)
for every s < 1 . If we use these equations and arguments similar to the ones given in
Section 3, then it is easy to pass to the limit and to prove that the function w ( t ) = u ( t )
is a weak solution to the problem
w + g w + A2 w + M A1 2 u ( t ) 2 Aw + L w =

= - 2 M A1 2 u ( t ) 2 ( Au , u ) Au + p ( t ) ,
(4.15)

w ( 0 ) = u , w ( 0 ) = u ( 2 ) ( 0 ) ,
1
where u ( 2 ) ( 0 ) is defined by (4.3). Therefore, Theorem 2.1 gives us that

u ( t ) = w ( t ) C ( 0 , T ; D ( A ) ) C 1 ( 0 , T ; H ) .
This implies equation (4.1) for l = 1 .
Further arguments are based on the following assertion.
Lemma 4.1
Let u ( t ) be a weak solution to the linear problem

u ( t ) + g u ( t ) + A u ( t ) + b ( t ) Au = h ( t ) ,
2
(4.16)
u ( 0 ) = u0 ,

where b ( t ) is a scalar continuously differentiable function, h ( t )
C 1 ( 0 , T ; F0 ) and u 0 F2 , u1 F1 . Then
u ( t ) C ( 0 , T ; F2 ) C1 ( 0 , T ; F1 ) C2 ( 0 , T ; F0 ) (4.17)
and the function v ( t ) = u ( t ) is a weak solution to the problem obtained
by the formal differentiation of (4.16) with respect to t and equiped
with the initial conditions v ( 0 ) = u1 and v ( 0 ) = u ( 0 ) - ( g u1 + A2 u0 +
+ b ( 0 ) Au0 - h ( 0 ) ) .
Proof.
Let u m ( t ) be the Galerkin approximation of the order m of a solution to
problem (4.16) (see (2.7)). It is clear that um ( t ) is thrice differentiable with re-
spect to t and vm ( t ) = u m ( t ) satisfies the equation

vm + g v m + A2 vm + b ( t ) Avm = - b ( t ) Au m + pm h ( t ) , t > 0,
and the initial conditions
vm ( 0 ) = pm u1 , v m ( 0 ) = -pm ( g u 1 + A2 u0 + b ( 0 ) Au 0 - h ( 0 ) ) .
Therefore, as above, it is easy to prove the validity of equations (4.10)(4.14)
for the case under consideration and complete the proof of Lemma 4.1.
E x e r c i s e 4.1 Assume that the hypotheses of Lemma 4.1 hold with b ( t )

C l ( 0 , T ) and h ( t ) C l ( 0 , T ; F0 ) for some l 1 . Let the com-
patibility conditions (4.2) be fulfilled with u ( 0 ) ( 0 ) = u0 , u ( 1 ) ( 0 ) =
= u1 , and

u ( k ) ( 0 ) = - g u ( k - 1 ) ( 0 ) + A2 u ( k - 2 ) ( 0 ) +

k -2
+ C
j=0
j ( j)
k - 2 b (0) A u
(k - 2 - j) (0 ) +

+ L u(k - 2) ( 0 ) - h( k - 2) ( 0 )

C
h
for k = 2 , 3 , , l . Show that the weak solution u ( t ) to problem
a (4.16) possesses properties (4.1) and the function vk ( t ) = u ( k ) ( t ) is
p
t a weak solution to the equation obtained by the formal differentia-
e
r
tion of (4.16) k times with respect to t . Here k = 0 , 1 , , l .
4 In order to complete the proof of Theorem 4.1 we use induction with respect to
l . Assume that the hypotheses of the theorem as well as equations (4.2) for
l = n + 1 hold. Assume that the assertion of the theorem is valid for l = n 1 .
Since equations (4.1) hold for the solution u ( t ) with l = n , we have
d k- M A1 2 u ( t ) 2 Au ( t ) = M A1 2 u ( t ) 2 Au( k ) ( t ) + G ( t ) ,
-------
dt k

k
where Gk ( t ) C 1 ( 0 , T ; F 0 ) , k = 1 , , n . Therefore, we differentiate equation

(0.1) n - 1 times with respect to t to obtain that v ( t ) = u ( n - 1 ) ( t ) is a weak solution
to problem (4.16) with
b ( t ) = M A1 2 u ( t ) 2h ( t ) = - Gn - 1 ( t ) + p ( n - 1 ) ( t ) .
and

Consequently, Lemma 4.1 gives us that w ( t ) = v ( t ) is a weak solution to the problem
which is obtained by the formal differentiation of equation (0.1) n times with re-
spect to t :
2
w + g w + A2 w + M A1 2 u ( t ) Aw = p ( n ) ( t ) - Gn ( t ) ,

w ( 0 ) = u ( n ) ( 0 ) , w ( 0 ) = u ( n + 1 ) ( 0 ) .

However, the hypotheses of Lemma 4.1 hold for this problem. Therefore (see (4.17)),
u ( n ) ( t ) = w ( t ) C ( 0 , T ; F2 ) C 1 ( 0 , T ; F1 ) C 2 ( 0 , T ; F0 ) ,
i.e. equations (4.1) hold for l = n + 1 . Theorem 4.1 is proved.
E x e r c i s e 4.2 Show that if the hypotheses of Theorem 4.1 hold, then the
function v ( t ) = u ( k ) ( t ) is a weak solution to the problem which is
obtained by the formal differentiation of equation (0.1) k times with
respect to t , k = 1 , 2 , , l .
E x e r c i s e 4.3 Assume that the hypotheses of Theorem 4.1 hold and L 0

in equation (0.1). Show that if the conditions
p ( t) Ck ( [ 0 , T ] ; F l - k ) , k = 0, 1, , l , (4.18)
are fulfilled, then a solution u ( t ) to problem (0.1) and (0.2) possess-
es the properties
u ( t) Ck ( [ 0 , T ] ; F l + 1 - k ) , k = 0, 1, , l + 1 .
E x e r c i s e 4.4 Assume that the hypotheses of Theorem 4.1 hold. We define

the sets

Vk = ( u 0 , u1 ) H : equation (4.2) holds with l = k (4.19)

in the space H = F1 F0 . Prove that
V1 = F2 F1 and V1 V2 Vl .
E x e r c i s e 4.5 Show that every set Vk given by equality (4.19) is invariant:

( u ; u ) V ( u ( t ) ; u ( t ) ) V ,
0 1 k k = 1, , l .
k
Here u ( t ) is a weak solution to problem (0.1) and (0.2).
E x e r c i s e 4.6 Assume that L 0 in equation (0.1) and the load p ( t ) pos-

sesses property (4.18). Show that for k = 1 , 2 , , l the set Vk of
form (4.19) contains the subspace Fk + 1 Fk .
E x e r c i s e 4.7 Assume that the hypotheses of Theorem 3.1 hold and the ope-
rator L (in equation (0.1)) possesses the property
L u s C u 1 + s for some 0 < s < 1 . (4.20)
Let u 0 F1 + s and let u 1 Fs . Show that the estimate
u m ( t ) s2 + um ( t ) 12 + s CT , t [0, T ] , (4.21)
is valid for the approximate Galerkin solution u m ( t ) to problem

(0.1) and (0.2). Here the constant C T does not depend on m
(Hint: multiply equation (3.8) by l2j s g j ( t ) and summarize the re-
sult with respect to j ; then use relation (3.14) to estimate the non-
linear term).
E x e r c i s e 4.8 Show that if the hypotheses of Exercise 4.7 hold, then prob-
lem (0.1) and (0.2) possesses a weak solution u ( t ) such that
u ( t ) C ( 0 , T ; F1 + s ) C1 ( 0 , T ; Fs ) C 2 ( 0 , T ; F- 1 + s ) ,
where s ( 0 , 1 ) is the number from Exercise 4.7.
C
h 5 Dissipativity and Asymptotic
a
p Compactness
t
e
r
4 In this section we prove the dissipativity and asymptotic compactness of the dynam-
ical system ( H , St ) generated by weak solutions to problem (0.1) and (0.2) for
g > 0 in the case of a stationary load p ( t ) p H = F0 . The phase space is H =
= F1 F0 . The evolutionary operator is defined by the formula
S y = ( u ( t ) , u ( t ) ) ,
t (5.1)
where u ( t ) is a weak solution to problem (0.1) and (0.2) with the initial condition
y = ( u0 ; u1 ) .
Theorem 5.1
Assume that in addition to (3.2) the following conditions are fulfilled:
fulfilled:
a) there exist numbers aj > 0 such that
z

z M ( z ) - a 1 M ( x ) dx a 2 z 1 + a - a 3 ,
0
z 0 (5.2)
with a constant a > 0 ;

b) there exist 0 q < 1 and C > 0 such that
Lu C Aq u , u D ( Aq ) . (5.3)
Then the dynamical system ( H , St ) generated by problem (0.1) and (0.2)
for g > 0 and for p ( t ) p H is dissipative.
dissipative.
To prove the theorem it is sufficient to verify (see Theorem 1.4.1 and Exercise 1.4.1)
that there exists a functional V ( y ) on H which is bounded on the bounded sets of
the space H , differentiable along the trajectories of system (0.1) and (0.2), and
such that
2
V (y) a y H - D1 , (5.4)
d- (V ( S )) + b (
---- ty V St y ) D 2 , (5.5)
dt
where a , b > 0 and D 1 , D 2 0 are constants. To construct the functional V ( y )
we use the method which is widely-applied for finite-dimensional systems (we used
it in the proof of estimate (2.13)).
Let
V(y) = E (y) + n F(y) ,
where y = ( u0 ; u 1 ) H . Here E ( y ) = E ( u 0 ; u 1 ) is the energy of system (0.1)
and (0.2) defined by the formula (3.7),
Dissipativity and Asymptotic Compactness 247
g 2
F ( y ) = ( u0 ; u1 ) + --- u0 ,
2
and the parameter n > 0 will be chosen below. It is evident that
1- u
- ----- 2 1- u
F ( y ) ----- 2
+ g u0 2
.
2g 1 2g 1
For 0 < n < g this implies estimate (5.4) and the inequality
V ( y ) b1 E ( y ) + b2 (5.6)
with the constants b1 , b2 > 0 independent of n . This inequality guarantees the
boundedness of V ( y ) on the bounded sets of the space H .
Energy equality (3.6) implies that the function E ( y ( t ) ) , where y ( t ) = St y , is
continuously differentiable and
----- E ( y ( t ) ) = - g u ( t ) 2 + ( -L u ( t ) + p , u ( t ) ) .
d
dt
Therefore, due to (5.3) we have that
g
E ( y ( t ) ) - --- u 2 + C1 Aq u 2 + C 2 .
d-
----
dt 2
We use interpolation inequalities (see Exercises 2.1.12 and 2.1.13) to obtain that
Aq u 2 d Au 2 + C d A1 2 u 2 , d > 0.
Thus, the estimate
g
E ( y ( t ) ) - --- u 2 + --e- Au 2 + Ce A1 2 u 2 + C2
d-
---- (5.7)
dt 2 2
holds for any e > 0 .
Lemma 5.1
Let u ( t ) be a weak solution to problem (0.1) and (0.2) and let y ( t ) =
= ( u ( t ) , u ( t ) ) . Then the function F ( y ( t ) ) is continuously differenti-
able and
F ( y ( t ) ) = u ( t ) 2 + ( u ( t ) + g u ( t ) , u ( t ) ) .
d-
---- (5.8)
dt
We note that since u ( t ) C ( R + , F-1 ) (see Exercise 3.6), equation (5.8) is correct-
ly defined.
Proof.
It is sufficient to verify that
t
(u (t) , u (t) ) + u (t)

2
( u ( t ) , u ( t ) ) = ( u 0 , u1 ) + dt . (5.9)
0

C
h
Let pl be the orthoprojector onto the span of elements { e k , k = 1 , 2 , , l } in
a F0 . Then it is evident that the vector-function ul ( t ) = pl u ( t ) is twice continu-
p
t ously differentiable with respect to t . Therefore,
e
r t
2
4 ( ul ( t ) , u l ( t ) ) = ( ul ( 0 ) , u l ( 0 ) ) +
(u (t) , u (t) ) + u (t)
0
l l l dt .

The properties of the projector p l (see Exercise 2.1.11) enable us to pass to
the limit l and to obtain (5.9). Lemma 5.1 is proved.
Since u ( t ) is a solution to equation (0.1), relation (5.8) implies that

----- F ( y ( t ) ) = u 2 - Au 2 + M A1 2 u A1 2 u 2 + ( Lu - p , u ) .
d 2
dt

Therefore, equation (5.2) and the evident inequality
( Lu - p , u ) 1
--- Au 2
+ C1 u 2
+ p 2
2
give us that
--- Au 2 - a1M A1 2 u 2 - a2 A1 2 u 2 + 2 a + C1 u 2 + C 2 .
u 2 - 1
d
----- F ( y ( t ) )
dt 2
Hence, (5.6) and (5.7) enable us to obtain the estimate
d-
---- V (y (t) ) + d V (y (t) ) -1--- ( g - d b1 - 2 n ) u 2 -
dt 2
db
-1 --- ( n - d b1 - e ) Au 2 - n a1 - --------1- M A1 2 u 2 + R ( u ; n , e , d ) ,
2 2
where d > 0 and
R ( u ; n , e , d ) = - n a2 A1 2 u 2 + 2 a + Ce A1 2 u 2 + n C1 u 2 + Cd .
Therefore, for any 0 < n < g 2 estimate (5.5) holds, provided d and e are chosen
appropriately. Thus, Theorem 5.1 is proved.
E x e r c i s e 5.1 Prove that if the hypotheses of Theorem 5.1 hold, then the as-
sertion on the dissipativity of solutions to problem (0.1) and (0.2)
remains true in the case of a nonstationary load p ( t ) L ( R+ , H ) .
Theorem 5.2
Let the hypotheses of Theorem 5.1 hold and assume that for some s > 0
p Fs , L D ( A) D ( As ) , As L u C Au . (5.10)
Then there exists a positively invariant bounded set Ks in the space Hs =
= F1 + s Fs which is closed in H and such that
g
- --- ( t - t B )
sup dist H ( St y , Ks ) : y B C e 4 (5.11)

for any bounded set B in the space H , t > tB .
Due to the compactness of the embedding of Hs in H for s > 0 , this theorem and
Lemma 1.4.1 imply that the dynamical system ( H , St ) is asymptotically compact.
Proof.
Since the system ( H , St ) is dissipative, there exists R > 0 such that for all
y B and t t0 = t0 ( B )
u ( t ) 2 + Au ( t ) 2 R 2 , (5.12)
where u ( t ) is a weak solution to problem (0.1) and (0.2) with the initial conditions
y = ( u0 ; u1 ) B . We consider u ( t ) as a solution to linear problem (2.1) and (2.2)
with b ( t ) = M ( A1 2 u ( t ) 2 ) and h ( t ) = - L u ( t ) + p . It is easy to verify that b ( t ) is a
continuously differentiable function and

b ( t ) + b ( t ) CR , t t0 .
Moreover, equation (2.27) implies that
St y = U ( t , t0 ) y ( t 0 ) + G ( t , t0 ; y ) , (5.13)
where
t

G ( t , t0 ; y ) = - U ( t , t ) ( 0 ; L u ( t ) - p ) dt .
t0
Here U ( t , t ) is the evolutionary operator of the homogeneous problem (2.1) and

(2.2) with h ( t ) = 0 and b ( t ) = M ( A1 2 u ( t ) 2 ) . By virtue of Theorem 2.2 there
exists N0 0 such that
g
( 1 - PN ) U ( t , t ) h Hs

- --4- ( t - t ) ,
3 h H s exp (5.14)

where N N0 , t t t0 , and PN is the orthoprojector H onto
LN = Lin { ( e k ; 0 ) , ( 0 ; ek ) , k = 1 , 2 , , N } .
This implies that
t
g
exp ---4- (t - t) L u (t) - p

( 1 - PN ) G ( t , t0 ; y ) 3 s dt .
0 Hs
t0
Therefore, we use (5.10) to obtain that

( 1 - PN ) G ( t , t0 ; y ) C (R) . (5.15)
0 Hs
C
h
It is also easy to find that
N 0s St y R N0s ,
a
p PN St y H
t t0 .
t 0 Hs
e
r Consequently, there exists a number Rs depending on the radius of dissipativity R
and the parameters of the problem such that the value
4
St y - ( 1 - PN ) U ( t , t0 ) St y0 = PN St y + ( 1 - PN ) G ( t , t0 ; y ) (5.16)
0 0 0 0
lies in the ball

Bs = { y : y Hs Rs }
for t t0 . Therefore, with the help of (5.12) and (2.23) we have that
g
- --- ( t - t 0 )
distH ( St y , Bs ) ( 1 - PN ) U ( t , t 0 ) St y R 3e 4 . (5.17)
0 0
Let K s = g + ( Bs ) t 0 St ( Bs ) . Evidently equation (5.11) is valid. Moreover, K s

is positively invariant. The continuity of St y with recpect to the both variables
( t ; y ) in the space H (see Exercise 3.8) and attraction property (5.17) imply that
K s is a closed set in H . Let us prove that Ks is bounded in Hs . First we note that
K s is bounded in H . Indeed, by virtue of the dissipativity we have that St y R
for all y Bs and t ts t ( Bs ) . Since S t y is continuous with respect to the vari-
ables ( t ; y ) , its maximum is attained on the compact [ 0 , ts ] Bs . Thus, there exists
R > 0 such that y R for all y Ks . Let us return to equality (5.16) for t0 = 0
and y0 Bs . It is evident that the norm of the right-hand side in the space Hs
is bounded by the constant C = C ( s , R ) . However, equation (5.14) implies that
( 1 - PN ) U ( t , 0 ) y0 3 Rs , t 0, y0 Bs .
0 Hs
Therefore, equation (5.16) leads to the uniform estimate

St y Hs
Rs , t 0, y Bs .
Thus, the set K s is bounded in Hs . Theorem 5.2 is proved.
E x e r c i s e 5.2 Show that for any 0 s s a bounded set of Hs is attracted

by K s at an exponential rate with respect to the metric of the space
Hs . Thus, we can replace dist H by dist H in (5.11).
s
E x e r c i s e 5.3 Prove that if the hypotheses of Theorem 5.2 hold, then the as-
sertion on the asymptotic compactness of solutions to problem (0.1)
and (0.2) remains true in the case of nonstationary load p ( t )
L ( R+ , Fs ) (see also Exercise 5.1).
E x e r c i s e 5.4 Prove that the hypotheses of Theorem 5.1 and 5.2 hold for
problem (0.3) and (0.4) for any 0 < s < 1 4 , provided that g > 0
and p ( x , t ) p ( x ) lies in the Sobolev space H 01 ( W ) .
Let us consider the dissipativity properties of smooth solutions (see Section 4) to

problem (0.1) and (0.2).
Theorem 5.3
Let the hypotheses of Theorem 5.1 hold. Assume that M ( z ) C l + 1 ( R+ )
and the initial conditions y0 = ( u0 ; u1 ) are such that equations (4.1) (and
hence (4.2))) are valid for the solution ( u ( t ) ; u ( t ) ) = St y0 . Then there exists
Rl > 0 such that for any initial data y0 = ( u0 ; u1 ) possessing the property
u ( k + 1 ) ( 0 ) 2 + Au ( k ) ( 0 ) 2 + A2 u ( k - 1 ) ( 0 ) 2 < r 2 , k = 1 , 2 , , l , (5.18)
the solution ( u ( t ) ; u ( t ) ) = St y0 admits the estimate
u ( k + 1 ) ( t ) 2 + Au( k ) ( t ) 2 + A2 u ( k - 1 ) ( t ) 2 < Rl2 (5.19)

for all k = 1 , 2 , , l as soon as t t0 ( r ) .
We use induction to prove the theorem. The proof is based on the following asser-
tion.
Lemma 5.2
Assume that the hypotheses of Theorem 5.3 hold for l = 1 . Then the dy-
namical system ( H1 , St ) generated by problem (0.1) and (0.2) in the
space H1 = F 2 F1 is dissipative.
Proof.
Let ( u ( t ) ; u ( t ) ) = St y 0 be a semitrajectory of the dynamical system
( H1 , St ) and let y0 = ( u0 ; u1 ) H1 = F2 F1 . If the hypotheses of the lem-
ma hold, then the function w ( t ) = u ( t ) is a weak solution to problem (4.15) ob-
tained by formal differentiation of (0.1) with respect to t (as we have shown in
Section 4). By virtue of Theorem 2.1 the energy equality of the form (2.6) holds
for the function w ( t ) . We rewrite it in the differential form:
----- F ( t ; w ( t ) , w ( t ) ) + g w ( t ) 2 = Y ( u ( t ) , w ( t ) ) ,
d
(5.20)
dt
where
--- w 2 + Aw 2 + M A1 2 u ( t ) 2 A1 2 w 2
F ( t ; w , w ) = 1 (5.21)
2
and
Y ( u ( t ) , w ( t ) ) = -( L w ( t ) , w ( t ) ) +
+ M A1 2 u ( t ) 2 ( Au ( t ) , u ( t ) ) A1 2 w ( t ) 2 - 2 ( Au ( t ) , w ( t ) ) .

The dissipativity property of ( H , St ) given by Theorem 5.1 leads to the esti-
mates
M A1 2 u ( t ) 2 A1 2 w 2 C R Aw ( t ) ,
h
a
p
t
e Y(u (t) , w (t) ) L w w + CR ( Aw ( t ) + w ( t ) )
r
for all ( u0 ; u 1 ) with the property

4
Au 0 2 + u1 2 r 2
and for all t t0 ( r ) large enough. Hereinafter R is the radius of dissipativity
of the system ( H , St ) . These estimates imply that for t t0 ( r ) we have
--- w 2 + Aw 2 - a 1 F ( t ; w , w ) a2 w ( t ) 2 + w ( t ) 2 + a3 (5.22)
1
4
and
g
----- F ( t ; w , w ) + --- w 2 b Aq w 2 + a4 Aw + a 5 ,
d
(5.23)
dt 2
where the constants a j > 0 depend on R . Here q < 1 . Similarly, we use Lem-
ma 5.1 to find that
d g 2
----- ( w ( t ) , w ( t ) ) + --- w ( t ) w ( t ) 2 - 1
--- Aw ( t ) 2 + C R
dt 2 2

for t t0 ( r ) . Consequently, the function
g
V ( t ) = F ( t ; w , w ) + n ( w , w ) + --- w 2
2
possesses the properties
d------
V-
+ w V CR , w > 0,
dt
and
--- w 2 + Aw 2 - a1 V a2 w 2 + w 2 + a3
1
4
for t t0 ( r ) and for n > 0 small enough. This implies that
w ( t ) 2 + Aw ( t ) 2 C1 w ( t0 ) 2 + Aw ( t0 ) 2 e -w t + C2 (5.24)

for t t0 = t0 ( r ) , provided that
Au0 2 + u1 2 r 2 . (5.25)
If we use (5.4)(5.6), then it is easy to find that
Au ( t ) 2 + u ( t ) 2 Cr , R , t > 0,
under condition (5.25). Using the energy equality for the weak solutions to
problem (4.15) we conclude that
----- Aw ( t ) 2 + w ( t ) 2 C 1 ( r , R ) Aw w + C 2 ( r , R ) .
d
dt
Therefore, standard reasoning in which Gronwalls lemma is used leads to
Aw ( t ) 2 + w ( t ) 2 Aw ( 0 ) 2 + w ( 0 ) 2 + a e b t ,

provided that equation (5.25) is valid. Here a and b are some positive con-
stants depending on r and R . This and equation (5.24) imply that
w ( t ) 2 + Aw ( t ) 2 C1 ( r , R ) ( 1 + w ( 0 ) 2 ) + Aw ( 0 ) 2 e -w t + C 2 , (5.26)

where C2 depends on R only. Since
r 2
w ( 0 ) 2 + Aw ( 0 ) 2 Cr , u1 2 + Au0 2 ------
l 1
provided that
Au 1 2 + A2 u 0 2 r 2 ,
equation (5.26) gives us the estimate
u ( t ) 2 + Au ( t ) 2 bR2 , t t 0 (r) .
This easily implies the dissipativity of the dynamical system ( H 1 , St ) . Thus,
Lemma 5.2 is proved.
E x e r c i s e 5.5 Prove that the dynamical system ( H1 , S t ) generated by

problem (0.1) and (0.2) with the initial data y 0 = ( u 0 ; u1 ) H1 =
= F2 F1 is asymptotically compact provided that equations (5.10)
hold.
In order to complete the proof of Theorem 5.3, we should note first that Lemma 5.2
coincides with the assertion of the theorem for l = 1 and second we should use the
fact that the derivatives u ( k ) ( t ) are weak solutions to the problem obtained by dif-
ferentiation of the original equation. The main steps of the reasoning are given in the
following exercises.
E x e r c i s e 5.6 Assume that the hypotheses of Theorem 5.3 hold for l = n + 1

and its assertion is valid for l = n . Show that w ( t ) = u ( n + 1 ) ( t ) is
a weak solution to the problem of the form
w ( t ) + g w ( t ) + A2 w ( t ) + M A1 2 u 2 Aw + L w = G
n + 1(t) ,

w ( 0 ) = u ( n + 1 ) ( 0 ) , w ( 0 ) = u ( n + 2 ) ( 0 ) ,

where
Gn + 1 ( t ) C ( Rn ) for all t > t0 ( r ) .
C
h E x e r c i s e 5.7 Use the result of Exercise 5.6 and the method given in the
proof of Lemma 5.2 to prove that w ( t ) = u ( n + 1 ) ( t ) can be estima-
a
p
t ted as follows:
e
w ( t ) 2 + Aw ( t ) 2
r
4
C1 w ( 0 ) 2
+ Aw ( 0 ) 2
+ C2 e -w t + C3 , (5.27)

where w > 0 , the numbers C j depend on r and R n , j = 1 , 2 , and
the constant C 3 depends on Rn only.
E x e r c i s e 5.8 Use the induction assumption and equation (5.27) to prove

the assertion of Theorem 5.3 for l = n + 1 .
6 Global Attractor and Inertial Sets
The above given properties of the evolutionary operator St generated by problem

(0.1) and (0.2) in the case of stationary load p ( t ) p enable us to apply the gene-
ral assertions proved in Chapter 1 (see also [10]).
Theorem 6.1
Assume that conditions (3.2),, (5.2),, (5.3),, and (5.10) are fulfilled. Then
the dynamical system ( H , St ) generated by problem (0.1) and (0.2) pos-
sesses a global attractor A of a finite fractal dimension. This attractor is
a connected compact set in H and is bounded in the space Hs = F 1+ s Fs ,
where s > 0 is defined by condition (5.10)..
Proof.
By virtue of Theorems 5.1, 5.2, and 1.5.1 we should prove only the finite dimen-
sionality of the attractor. The corresponding reasoning is based on Theorem 1.8.1
and the following assertions.
Lemma 6.1.
Assume that conditions (3.2), (5.2), and (5.3) are fulfilled. Let p H .
Then for any pair of semitrajectories { St yj : t 0 } , j = 1 , 2 , posses-
sing the property St yj R for all t 0 the estimate
St y1 - St y2 H
exp ( a0 t ) y1 - y2 H
, t 0 , (6.1)
holds with the constant a0 depending on R .
Global Attractor and Inertial Sets 255
Proof.
If u1 ( t ) and u 2 ( t ) are solutions to problem (0.1) and (0.2) with the initial
conditions y1 = ( u01 ; u 11 ) and y 2 = ( u 02 ; u 12 ) , then the function v ( t ) =
= u1 ( t ) - u2 ( t ) satisfies the equation
v + g v + A2 v = F ( u 1 , u 2 , t ) , (6.2)
where
F ( u 1 , u 2 , t ) = M A1 2 u2 ( t ) 2 Au2 ( t ) - M A1 2 u1 ( t ) 2 Au1 ( t ) - L v ( t ) .

It is evident that the estimate
F ( u1 , u2 , t ) C R A ( u1 ( t ) - u2 ( t ) )
2
holds, provided that yi ( t ) H = u i ( t ) 2 + ui ( t ) 12 R 2 . Therefore, (2.20)
implies that
t
St y1 - St y2 H
2
y1 - y2 2
H
+ a1
S y -S y
0
t 1
2
t 2 H dt .
Gronwalls lemma gives us equation (6.1).
Lemma 6.2
Assume that the hypotheses of Theorem 6.1 hold. Let Ks be the compact
positively invariant set constructed in Theorem 5.2. Then for any
y1 , y2 Ks the inequality
g
- --- t L s a t
QN ( St y1 - St y2 ) H
a2 e 4
1 + -------------
s - e
3
y1 - y2 H
(6.3)
lN + 1
is valid, where Q N = 1 - PN , N N 0 , the orthoprojector PN and the
number N 0 are defined as in (5.14), L s and ai are positive constants
which depend on the parameters of the problem.
Proof.
It is evident that
Q N St yi = ( qN ui ( t ) ; qN u i ( t ) ) ,
where qN is the orthoprojector onto the closure of the span of elements { e k :
k = N +1 , N + 2 , } in F0 = H . Moreover, the function wN ( t ) = qN ( u1(t) - u2(t))
is a solution to the equation
+ g w + A2 w + M A1 2 u 2 Aw = F ( u , u , t ) ,
w N N N 1 N N 1 2
where
FN ( u 1 , u 2 , t ) = - M A1 2 u 1 2 - M A1 2 u 2 2 qN Au 2 - qN L ( u 1 - u 2 ) .

C
h
Let us estimate the value FN . Since y H R s for y K s (see the proof
s
a of Theorem 5.2), we have
p
qN Au2 = qN u2 1 l-Ns+ 1 qN u 2 1 + s l-Ns+ 1 R s .

t
e
r
Using equation (5.10) we similarly obtain that
4
qN L v l-Ns+ 1 As L v C l-Ns+ 1 Av .
Therefore,
qN L ( u1 ( t ) - u2 ( t ) ) C l-Ns+ 1 St y1 - St y2 H
.
Consequently,
C ( Rs )
FN ( u1 , u2 , t ) ----------------
s St y1 - St y2 H
. (6.4)
lN + 1
Using equation (2.27) we obtain that
t
QN ( St y1 - St y2 ) = U ( t , 0 ) QN ( y1 - y2 ) +
U(t, t) (0 ; F (t)) dt ,
0
N
where U ( t , t ) is the evolutionary operator of homogeneous problem (2.1) with

b ( t ) = M ( A1 2 u1 ( t ) 2 ) and h ( t ) = 0 . Therefore, (2.23) and (6.4) imply that
QN ( St y1 - St y2 ) H

g t g
- --- t C ( Rs )

--- t
3e 4
y1 - y2 + ---------------- e4 St y1 - St y2 dt . (6.5)

H
lsN + 1
0
We substitute (6.1) in this equation to obtain (6.3). Lemma 6.2 is proved.
Let us choose t0 and N N0 such that

g
a 2 exp - --- t0 = --d- , L s l-Ns+ 1 exp { a3 t0 } 1 , d < 1.
4 2
Then Lemmata 6.1 and 6.2 enable us to state that
St y1 - S t y2 l y1 - y2 H
0 0 H
and
QN ( St y1 - St y2 ) d y1 - y2 H
,
0 0 H
a t
where l = e 0 0 and the elements y1 and y2 lie in the global attractor A . Hence,
we can use Theorem 1.8.1 with M = A , V = St , and P = PN . Therefore, the fractal
0
dimension of the attractor A is finite. Thus, Theorem 6.1 is proved.
Theorem 5.2 and Lemmata 6.1 and 6.2 enable us to use Theorem 1.9.2 to obtain an
assertion on the existence of the inertial set (fractal exponential attractor) for the
dynamical system ( H , St ) generated by problem (0.1) and (0.2).
Theorem 6.2
Assume that the hypotheses of Theorem 6.1 hold. Then there exists
a compact positively invariant set Aexp H of the finite fractal dimen-
sion such that
-n ( t - tB )
sup dist H ( St y , A exp ) : y B C e

for any bounded set B in H and t tB . Here C and n are positive num-
bers. The inertial set A exp is bounded in the space Hs .
To prove the theorem we should only note that relations (5.11), (6.1), and (6.3)
coincide with conditions (9.12)(9.14) of Theorem 1.9.2.
Using (1.8.3) and (1.9.18) we can obtain estimates (involving the parameters of the
problem) for the dimensions of the attractor and the inertial set by an accurate ob-
serving of the constants in the proof of Theorems 5.1 and 5.2 and Lemmata 6.1 and
6.2. However, as far as problem (0.3) and (0.4) is concerned, it is rather difficult
to evaluate these estimates for the values of parameters that are very interesting
from the point of view of applications. Moreover, these estimates appear to be quite
overstated. Therefore, the assertions on the finite dimensionality of an attractor and
inertial set should be considered as qualitative results in this case. In particular, this
assertions mean that the nonlinear flutter of a plate is an essentially finite-dimen-
sional phenomenon. The study of oscillations caused by the flutter can be reduced to
the study of the structure of the global attractor of the system and the properties
of inertial sets.
E x e r c i s e 6.1 Prove that the global attractor of the dynamical system gene-
rated by problem (0.1) and (0.2) is a uniformly asymptotically stable
set (Hint: see Theorem 1.7.1).
We note that theorems analogous to Theorems 6.1 and 6.2 also hold for a class of re-
tarded perturbations of problem (0.1) and (0.2). For example, instead of (0.1) and
(0.2) we can consider (cf. [1113]) the following problem
u + g u + A2 u + M A1/ 2 u 2 Au + L u + q ( ut ) = p ,

u t = 0 = u0 , u t = 0 = u1 , u t ( -r , 0 ) = j ( t ) .
C
h
Here A , M , and L are the same as in Theorems 6.1 and 6.2, the symbol u t denotes
a the function on [ - r , 0 ] which is given by the equality ut ( s ) = u ( t + s ) for s
p
t [ - r , 0 ] , the parameter r is a delay value, and q ( . ) is a linear mapping from
e
r
L 2 ( -r , 0 ; F1 + a ) into H possessing the property
0
4
Aa q ( v ) 2 c0
A
-r
1 + a v (s) 2 ds
for c 0 small enough and for all a [ 0 , a0 ] , where a0 is a positive number. Such
a formulation of the problem corresponds to the case when we use the model of the
linearized potential gas flow (see [1114]) to take into account the aerodynamic
pressure in problem (0.3) and (0.4).
The following assertion gives the time smoothness of trajectories lying in the attrac-
tor of problem (0.1) and (0.2).
Theorem 6.3
Assume that conditions (3.2) and (5.2) are fulfilled and the linear ope-
rator L possesses the property
As L u C As + 1 2 u , u D (A) (6.6)
for all s [ - 1 2 , 1 2 ) . Let p F1 2 . Then the assertions of Theorem 6.1
are valid for any s ( 0 , 1 2 ) . Moreover, if M ( z ) C l + 1 ( R+ ) for some
l 1 , then the trajectories y = ( u ( t ) , u ( t ) ) lying in the global attractor A
of the system ( H , St ) generated by problem (0.1) and (0.2) for g > 0 pos-
sess the property
u ( k + 1 ) ( t ) 2 + Au ( k ) ( t ) 2 + A2 u ( k - 1 ) ( t ) 2 Rl2 (6.7)
for all - < t < , k = 1 , 2 , , l , where Rl is a constant depending on
the problem parameters only.
only.
Proof.
It is evident that conditions (5.3) and (5.10) follow from (6.6). Therefore, we
can apply Theorem 6.1 which guarantees the existence of a global attractor A . Let
us assume that M ( z ) C l + 1 ( R+ ) , l 1 . Let y ( t ) = ( u ( t ) , u ( t ) ) be a trajectory in
A , - < t < . We consider a function u m ( t ) = pm u ( t ) , where pm is the ortho-
projector onto the span of the basis vectors { e 1 , , e m } in F 0 for m large enough.
It is clear that um ( t ) C 2 ( R ; F2 ) and satisfies the equation
u m + g u m + A2 um + M A1 2 u ( t ) Aum + pm L u = pm p .
2
(6.8)

Equation (6.6) for s = - 1 2 implies that pm L u is a continuously differentiable
function. It is also evident that M ( A1 2 u ( t ) 2 ) C1 ( R ) . Therefore, we differenti-
ate equation (6.8) with respect to t to obtain the equation
+ g w + A2 w + M A1 2 u ( t ) 2 Aw = - p L u ( t ) + F ( t )
w m m m m m m
for the function w ( t ) = u ( t ) = p u ( t ) . Here

m m m
Fm ( t ) = -2 M A 1 2 u ( t ) ( A u ( t ) , u ( t ) ) A um ( t ) .
2

Since any trajectory y = ( u ( t ) , u ( t ) ) lying in the attractor possesses the property
u ( t ) 2 + Au ( t ) 2 R 02 , - < t < , (6.9)

it is clear that
Fm ( t ) CR , - < t < . (6.10)
0
Relation (6.9) also implies that the function
b ( t ) = M A1 2 u ( t ) 2 (6.11)

possesses the property

b ( t ) + b ( t ) CR , - < t < .
0
Therefore, as in the proof of Theorem 2.2, we find that there exists N 0 such that
g
- --- ( t - t )
( 1 - PN ) U ( t , t ) y HS
C ( 1 - PN ) y HS
e 4 (6.12)
for all real s , where Hs = F 1 + s F s , PN is the orthoprojector onto

LN = Lin { ( e k , 0 ) ; ( 0 , e k ) : k = 1 , 2 , , N } ,
N N0 , and U ( t , t ) is the evolutionary operator of the problem

u + g u + A2 u + b ( t ) Au = 0 ,

u t = 0 = u0 , u t = 0 = u1 ,
with b ( t ) of the form (6.10). Moreover, z m ( t ) = ( wm ( t ) , w m ( t ) ) can be presented
in the form
t
zm ( t ) = U ( t , t0 ) zm ( t0 ) +
U(t , t) (0 ;
t0
- pm L u ( t ) + Fm ( t ) ) dt . (6.13)
Then for m > N > N0 we have

g
- --- ( t - t0 )
( 1 - PN ) zm ( t ) H
Ce 4 zm ( t0 ) H
+
-1 2 -1 2
t g

- --- ( t - t )
+C e 4 pm L u ( t ) + Fm ( t ) -1 2 dt .
t0
C
h
Therefore, we use (6.9), (6.10), and (6.6) for s = - 1 2 to obtain that
a
g t g

p
- --- ( t - t 0 ) - --- ( t - t )
t
( 1 - PN ) zm ( t ) H
CR e 4 + CR e 4 dt .
e
-1 2 01 m 0
r
t0
4 We tend t0 - in this inequality to find that
sup ( 1 - PN ) z m ( t ) H-1 2
C,
t R
where C > 0 does not depend on m . It further follows from (6.9) and equation (0.1)
that
sup PN zm ( t ) H
C,
t R -1 2
where the constant C can depend on N . Hence,
sup p m A1 2 u ( t ) + A-1 2 pm u ( t ) C .
2 2
t R
We tend m to find that any trajectory y ( t ) = ( u ( t ) , u ( t ) ) lying in the attrac-
tor possesses the property
u ( t ) 1 2 = A1 2 u ( t ) CR , - < t < .
0
By virtue of (6.6) we have

Lu ( t ) CR , - < t < .
0
Therefore, we reason as above to find that equation (6.13) implies
g
- --- ( t - t0 )
( 1 - PN ) zm ( t ) H
CR m e 4 + CR .
0 0
Similarly we get
u ( t ) 2 + Au ( t ) 2 R12
for all t (- ,) . Consequently, using equation (0.1) we obtain estimate (6.7) for
k = 1 . In order to prove (6.7) for the other values of k we should use induction with
respect to k and similar arguments. We offer the reader to make an independent de-
tailed study as an exercise.
E x e r c i s e 6.2 In addition to the hypotheses of Theorem 6.3 we assume that

L 0 and r Fl D ( A l ) . Prove that the global attractor A of
the system ( H , St ) lies in F l + 1 Fl .
Conditions of Regularity of Attractor 261
7 Conditions of Regularity of Attractor
Unfortunately, the structure of the global attractor of problem (0.1) and (0.2) can be
described only under additional conditions that guarantee the existence of the Lya-
punov function (see Section 1.6). These conditions require that L 0 and assume
the stationarity of the transverse load p ( t ) . For the Berger system (0.3) and (0.4)
these hypotheses correspond to r = 0 and p ( x , t ) p ( x ) , i.e. to the case of plate
oscillations in a motionless stationary medium.
Thus, let us assume that the operator L is identically equal to zero and
p ( t ) p in (0.1). Assume that the hypotheses of Theorem 3.1 hold. Then energy
equality (3.6) implies that
t2 t2
E ( y ( t2 ) ) - E ( y ( t1 ) ) = - g
u (t)
t1
2
dt +
(p, u (t) )
t1
2
dt , (7.1)
where y ( t ) = St y = ( u ( t ) , u ( t ) ) , the function u ( t ) is a weak solution to problem

(0.1) and (0.2) with the initial conditions y = ( u0 ; u 1 ) , and E ( y ) is the energy
of the system defined by formula (3.7).
Let us prove that the functional Y ( y ) = E ( y ) - ( p , u 0 ) with y = ( u0 ; u1 )
is a Lyapunov function (for definition see Section 1.6) of the dynamical system
( H , St ) . Indeed, it is evident that the functional Y ( y ) is continuous on H . By vir-
tue of (7.1) it is monotonely increasing. If E ( y ( t0 ) ) = E ( y ) for some t0 > 0 , then
t0
u (t)
0
2
dt = 0 .
Therefore, u ( t ) = 0 for t [ 0 , t0 ] , i.e. u ( t ) = u is a stationary solution to prob-

lem (0.1) and (0.2). Hence, y = ( u ; 0 ) is a fixed point of the semigroup St .
Therefore, Theorems 1.6.1 and 6.1 give us the following assertion.
Theorem 7.1
Assume that g > 0 , L 0 , and p Fs for some s > 0 . We also assume
that the function M ( z ) satisfies conditions (3.2) and (5.2).. Then the global
attractor A of the dynamical system ( H , St ) generated by problem (0.1)
and (0.2) has the form
A = M+ (N ) , (7.2)
where N is the set of fixed points of the semigroup St , i.e.

N = ( u ; 0 ) : u F1 , A2 u + M A1 2 u Au = p ,
2
(7.3)

and M+ (N ) is the unstable set emanating from N (for definition see Sec-
tion 1.6).
C
h E x e r c i s e 7.1 Let p 0 . Prove that if the hypotheses of Theorem 7.1 hold,
a
p
then any fixed point z of problem (0.1) and (0.2) either equals to ze-
t ro, z = ( 0 ; 0 ) , or has the form z = ( c ek ; 0 ) , where the constant
e
r c is the solution to the equation M ( c 2 lk ) + l k = 0 .
4 E x e r c i s e 7.2 Assume that p 0 and M ( z ) = - G + z . Then problem (0.1)
and (0.2) has a unique fixed point z0 = ( 0 ; 0 ) for G l1 .
If l n < G l n + 1 , then the number of fixed points is equal to 2 n + 1
and all of them have the form z k = ( wk ; 0 ) , k = 0 , 1 , , n ,
where
G- l
w0 = 0 , wk = --------------k- ek , k = 1, 2, , n .
lk
E x e r c i s e 7.3 Show that if the hypotheses of Exercise 7.2 hold, then the
energy E ( zk ) of each fixed point z k has the form
E ( z0 ) = 0 , E ( z k ) = - 1
--- ( G - l k ) 2 , k = 1, 2, , n ,
4
for l n < G l n + 1 .
E x e r c i s e 7.4 Assume that the hypotheses of Theorem 7.1 hold. Show that
if the set

Dc = y = ( u0 ; u1 ) H : Y ( y ) E ( y ) - ( p , u0 ) c (7.4)

is not empty, then it is a closed positively invariant set of the dyna-
mical system ( H , St ) generated by weak solutions to problem (0.1)
and (0.2).
E x e r c i s e 7.5 Assume that the hypotheses of Theorem 7.1 hold and the set
Dc defined by equality (7.4) is not empty. Show that the dynamical
system ( Dc , St ) possesses a compact global attractor Ac = M+ (Nc ) ,
where Nc is the set of fixed points of St satisfying the condition
Y(z) c .
global minimal attractor Amin (for definition see Section 1.3)
of problem (0.1) and (0.2) coincides with the set N of the fixed
points (see (7.3)).
Further we prove that if the hypotheses of Theorem 7.1 hold, then the attractor A
of problem (0.1) and (0.2) is regular in generic case. As in Section 2.5, the corre-
sponding arguments are based on the results obtained by A. V. Babin and M. I. Vishik
(see also Section 1.6). These results prove that in generic case the number of fixed
points is finite and all of them are hyperbolic.
Lemma 7.1.
Assume that conditions (3.2) and (5.2) are fulfilled. Then the problem
L [ u ] A2 u + M A1 2 u 2 Au = p , u D ( A2 + s ) , (7.5)
possesses a solution for any p Fs , where s 0 . If B is a bounded set

in Fs , then its preimage L -1 (B ) is bounded in F 2 + s = D ( A2 + s ) . If B
is a compact in Fs , then L -1 (B ) is a compact in D ( A2 + s ) , i.e. the
mapping L is proper.
Proof.
We follow the line of arguments given in the proof of Lemma 2.5.3. Let us
consider the continuous functional

--- ( Au , Au ) + M A1 2 u 2 - ( p , u )
W (u) = 1 (7.6)
2

M (x) dx is a primitive of the function M (z) .

z
on F 1 = D ( A ) , where M ( z ) =
0
Equation (3.2) implies that
--- Au 2 - a A1 2 u 2 - b - A-1 p Au
W (u) 1
2
--- 1 - -----
1 a- Au 2
-b a- -1 A-1 p 2 .
--- - 1 - ----- (7.7)
4 l 1 2 l 1
Thus, the functional W ( u ) is bounded below. Let us consider it on the subspace
pm F1 , where p m is the orthoprojector onto Lin { e1 , , em } as before. Since
W ( u ) + as Au , there exists a minimum point um on the subspace
pm F1 . This minimum point evidently satisfies the equation
A2 um + M A1 2 u m 2 Aum = pm p . (7.8)

Equation (7.7) gives us that
2
Au m 2 c1 + c2 inf W ( u ) : u p m F1 + c 3 A- 1 p

with the constants being independent of m . Therefore, it follows from (7.8)
that A2 um C R , provided p R . This estimate enables us to pass to the
limit in (7.8) and to prove that if s = 0 , then equation (7.5) is solvable for any
p Fs . Equation (7.5) implies that
A2 + s um CR for p s R,
i.e. L -1 (B ) is bounded in D ( A2 + s ) if B is bounded. In order to prove that the
mapping L is proper we should reason as in the proof of Lemma 2.5.3. We give
the reader an opportunity to follow these reasonings individually, as an exercise.
C
h
Lemma 7.2
Let u F 1 . Then the operator L [ u ] defined by the formula
a
p
t
e
L [ u ] w = A 2 w + 2 M A1 2 u 2 ( Au , w ) Au + M A1 2 u 2 Aw (7.9)
r
4 with the domain D (L [ u ] ) = D ( A2 ) is selfadjoint and dim Ker L [ u ] <
< .
Proof.
It is clear that L [ u ] is a symmetric operator on D ( A2 ) . Moreover, it is
easy to verify that
L [ u ] w - A2 w C ( u ) Aw , w D ( A2 ) , (7.10)
i.e. L [W ] is a relatively compact perturbation of the operator A2 . Therefore,
L [ u ] is selfadjoint. It is further evident that
Ker L [ u ] = Ker I + A -2 L [ u ] - A 2 .
However, due to (7.10) the operator A -2 ( L [ u ] - A 2 ) is compact. Therefore,

dim Ker L [ u ] < . Lemma 7.2 is proved.
E x e r c i s e 7.7 Prove that for any u F1 the operator L [ u ] is bounded

below and has a discrete spectrum, i.e. there exists an orthonormal
basis { fk } in H such that
L [ u ] fk = mk fk , k = 1, 2, , m1 m2 lim mn = .
n
E x e r c i s e 7.8 Assume that u = c 0 e k , where c0 is a constant and ek is an

0 0
element of the basis { e k } of eigenfunctions of the operator A . Show
that L [ u ] e k = mk ek for all k = 1 , 2 , , where
mk = l2k 1 + 2 dk k c02 M ( c 02 lk ) + M ( c02 l k ) lk .

0 0 0
Here d k k = 1 for k = k0 and d k k = 0 for k k0 .

0 0
As in Section 2.5, Lemmata 7.1 and 7.2 enable us to use the Sard-Smale theorem
(see, e.g., the book by A. V. Babin and M. I. Vishik [10]) and to state that the set

R s = h Fs : $ [ L [ u ] ] -1 for all u L -1 [ h ]

of regular values of the operator L is an open everywhere dense set in Fs for
s 0.
Show that the set of solutions to equation (7.5) is finite for

E x e r c i s e 7.9
p R s (Hint: see the proof of Lemma 2.5.5).
Let us consider the linearization of problem (0.1) and (0.2) on a solution u D ( A 2 )

to problem (7.5):
+ g w + L [ u ] w = 0 ,
w
(7.11)
w t = 0 = w0 , w t = 0 = w1 .
Here L [ u ] is given by formula (7.9).
E x e r c i s e 7.10 Prove that problem (7.11) has a unique weak solution on any
segment [ 0 , T ] if w 0 F 1 , w1 F 0 , and the function M ( z )
C 2 ( R+ ) possesses property (3.2).
Thus, problem (7.11) defines a strongly continuous linear evolutionary semigroup

Tt [ u ] in the space H = F1 F0 by the formula
Tt [ u ] ( w0 ; w1 ) = ( w ( t ) ; w ( t ) ) , (7.12)
where w ( t ) is a weak solution to problem (7.11).
E x e r c i s e 7.11 Let { f k } be the orthonormal basis of eigenelements of the

operator L [ u ] and let mk be the corresponding eigenvalues. Then
each subspace
Hk = Lin { ( fk ; 0 ) , ( 0 ; fk ) } H
is invariant with respect to Tt [ u ] . The eigenvalues of the restriction
of the operator Tt [ u ] onto the subspace Hk have the form
g g2
exp - --- ----- - m k t .
2 4

Lemma 7.3
Let L 0 . Assume that M ( z ) C 2 ( R + ) possesses property (3.2). Then
the evolutionary operator St of problem (0.1) and (0.2) is Frecht dif-
ferentiable at each fixed point y = ( u ; 0 ) . Moreover, St [ u ] = Tt [ u ] ,
where Tt [ u ] is defined by equality (7.12).
Proof.
Let
z ( t ) = St [ y + h ] - y - Tt [ u ] h ,
where h = ( h0 ; h1 ) H , y = ( u ; 0 ) , and u is a solution to equation (7.5).
It is clear that z ( t ) = ( v ( t ) ; v ( t ) ) , where v ( t ) u ( t ) - u - w ( t ) is a weak so-
lution to problem

v + g v + A2 v = F (u (t ) , u , w (t) ) ,
(7.13)
v t=0 = 0, v t=0 = 0 .
C
h
Here
a
p
F ( u ( t ) , u , w ( t ) ) = M A1 2 u 2 Au - M A1 2 u ( t ) 2 Au ( t ) +
t
e
r
+ M A1 2 u 2 Aw ( t ) + 2 M A1 2 u ( Au , w ( t ) ) Au ,
4
where u ( t ) is a weak solution to problem (0.1) and (0.2) with the initial condi-
tions y0 = y + h ( u + h0 ; h1 ) and w ( t ) is a solution to problem (7.11) with
w0 = h0 and w1 = h1 . It is evident that
F ( u ( t ) , u , w ( t ) ) = -M A1 2 u 2 Av + F1 ( t ) - M A1 2 u 2 F2 ( t ) , (7.14)

where

F1 ( t ) = - M A1 2 u ( t ) 2 - M A1 2 u 2 -

- M A1 2 u 2 A1 2 u(t) 2 - A1 2 u 2 Au ( t ) ,

F2 ( t ) = A1 2 u ( t ) 2 - A1 2 u 2 Au ( t ) - 2 ( Au , w ( t ) ) Au .

It is also evident that the value F1 ( t ) can be estimated in the following way
2
F1 ( t ) c 1 max M ( z ) : z [ 0 , c 2 ] A1 2 u ( t ) 2 - A1 2 u 2

for t [ 0 , T ] and for h H R , where the constants c 1 and c 2 depend on T ,
R , and u . This implies that
2
F1 ( t ) C (T, R, u) A(u(t) - u) . (7.15)
Let us rewrite the value F2 ( t ) in the form
F2 ( t ) = ( u ( t ) + u , A ( u ( t ) - u ) ) A ( u ( t ) - u ) +
+ A1 2 ( u ( t ) - u ) 2
Au + 2 ( u , Av ( t ) ) Au .
Consequently, the estimate
2
F2 ( t ) C1 ( T , R , u ) A ( u ( t ) - u ) + C 2 ( u ) Av ( t ) (7.16)
holds for t [ 0 , T ] and for h H R . Therefore, equations (7.14)(7.16) give

us that
2
F(u (t) , u, w (t) ) C1 Av ( t ) + C 2 A ( u ( t ) - u )
on any segment [ 0 , T ] . Here C1 = C1 ( u ) and C 2 = C 2 ( T , R , u ) . We use conti-

nuity property (3.20) of a solution to problem (0.1) and (0.2) with respect to
the initial conditions to obtain that
A(u (t ) - u) CT , R h H, t [ 0, T ] , h H R.
Therefore,
2
F(u (t) , u, w (t) ) C1 Av ( t ) + C2 h H
for t [ 0 , T ] and for h H R . Hence, the energy equality for the solutions
to problem (7.13) gives us that
----- Av ( t ) 2 + v ( t ) 2 a Av ( t ) 2 + v ( t ) 2 + C h 4 .
d
dt
Therefore, Gronwalls lemma implies that
Av ( t ) 2 + v ( t ) 2 C h 4 , t [0, T ] .
This equation can be rewritten in the form
2
St [ y + h ] - y - Tt [ u ] h H
C h .
Thus, Lemma 7.3 is proved.
E x e r c i s e 7.12 Use the arguments given in the proof of Lemma 7.3 to verify
that under condition (3.2) for M ( z ) C 2 ( R+ ) the evolutionary
operator St of problem (0.1) and (0.2) in H belongs to the class C 1
and
St [ y1 ] - St [ y2 ] L ( H, H )
C y1 - y2 H
for any t > 0 and yj H .
E x e r c i s e 7.13 Use the results of Exercises 7.7 and 7.11 to prove that for
a regular value p of the mapping L [ u ] the spectrum of the opera-
tor Tt [ u ] does not intersect the unit circumference while the eigen-
subspace E + which corresponds to the spectrum outside the unit
disk does not depend on t and is finite-dimensional.
The results presented above enable us to prove the following assertion (see Chap-
ter V of the book by A. V. Babin and M. I. Vishik [10]).
Theorem 7.2
Assume that the hypotheses of Theorem 7.1 hold. Then there exists an
open dense set Rs in Fs such that the dynamical system ( H , St ) possesses
a regular global attractor A for every p Rs , i. e.
N
A= M (z ) ,
j=1
+ j
where M+ ( z j ) is the unstable manifold of the evolutionary operator St ema-

nating from the fixed point zj . Moreover, each set M+ ( zj ) is a finite-dimen-
sional surface of the class C 1 .
C
h
In the case of a zero transverse load ( p 0 ) Theorem 7.2 is not applicable in gene-
a ral. However, this case can be studied by using the structure of the problem. For exam-
p
t ple, we can guarantee finiteness of the set of fixed points if we assume (see Exer-
e
r
cise 7.1) that the equation M ( c 2 l k ) + lk = 0 , first, is solvable with respect to c
only for a finite number of the eigenvalues l k and, second, possesses not more than
4 a finite number of solutions for every k . The solutions to equation (7.5) are either
u 0 , or u = c 0 e k0 , where c 0 and k0 satisfy M ( c02 lk ) + lk = 0 . The eigen-
0 0
values of the operator L [ u ] have the form
m k = lk2 + M ( 0 ) l k if u 0
and
m k = l k lk - l k + 2 dk k l k c 02 M ( c02 l k ) if u = c0 ek .
0 0 0 0 0
Therefore, the result of Exercise 7.11 implies that the fixed points are hyperbolic
if all the numbers mk are nonzero, i.e. if
M ( 0 ) -lk , k = 1, 2, ; lk lk , k k0 ; M ( c02 lk ) 0
0 0
for all c 0 and k0 such that M ( c02

l k ) + lk = 0 . In particular, if M ( z ) = -G + z ,
0 0
then for any real G there exists a finite number of fixed points (see Exercise 7.2)
and all of them are hyperbolic, provided that G l k for all k and the eigenvalues
l j satisfying the condition l j < G are simple. Moreover, we can prove that for
l n < G < ln + 1 the unstable manifold M+ ( zk ) , k = 0 , 1 , , n , emanating
from the fixed point z k (see Exercise 7.2) possesses the property
dim M+ ( z 0 ) = n , dim M+ ( z k ) = k - 1 .
8 On Singular Limit in the Problem

of Oscillations of a Plate
In this section we consider problem (0.1) and (0.2) in the following form:
m u + g u + A2 u + M A1 2 u 2 Au + L u = p , t > 0 , (8.1)

u t=0
= u , u 0 =u .
t=0 1 (8.2)
Equation (8.1) differs from equation (0.1) in that the parameter m > 0 is intro-
duced. It stands for the mass density of the plate material. The introduction of a new
time t = t m transforms equation (8.1) into (0.1) with the medium resistance pa-
rameter g = g m instead of g . Therefore, all the above results mentioned above
remain true for problem (8.1) and (8.2) as well.
On Singular Limit in the Problem of Oscillations of a Plate 269
The main question discussed in this section is the asymptotic behaviour of the
solution to problem (8.1) and (8.2) for the case when the inertial forces are small
with respect to the medium resistance forces m g . Formally, this assumption
leads to a quasistatic statement of problem (8.1) and (8.2):
g u + A2 u + M A1 2 u 2 Au + L u = p , t > 0 , (8.3)
u t = 0 = u0 . (8.4)
Here we prove that the global attractor of problem (8.1) and (8.2) is close to the glo-
bal attractor of the dynamical system generated by equations (8.3) and (8.4)
in some sense.
Without loss of generality we further assume that g = 1 . We also note that
problem (8.3) and (8.4) belongs to the class of equations considered in Chapter 2.
E x e r c i s e 8.1 Assume that conditions (3.2) and (3.3) are fulfilled and
p F0 = H . Show that problem (8.3) and (8.4) has a unique mild
(in F 1 = D ( A ) ) solution on any segment [ 0 , T ] , i.e. there exists
a unique function u ( t ) C ( 0 , T ; F1 ) such that
u ( t ) = e -A t u0 -
2
t
1 2
-
e
0
-A2 ( t - t ) 2
M A u ( t ) Au ( t ) + L u ( t ) - p dt .

(Hint: see Theorem 2.2.4 and Exercise 2.2.10).
Let us consider the Galerkin approximations of problem (8.3) and (8.4):
u m ( t ) + A2 u m ( t ) + M A1 2 u m ( t ) 2 Aum + pm L um ( t ) = pm p , (8.5)

um ( 0 ) = pm u0 , (8.6)
where pm is the orthoprojector onto the first m eigenvectors of the operator A and
um ( t ) Lin { e1 , , em } .
E x e r c i s e 8.2 Assume that conditions (3.2) and (3.3) are fulfilled and
p F0 = H . Then problem (8.5) and (8.6) is solvable on any seg-
ment [ 0 , T ] and
max A ( u ( t ) - um ( t ) ) 0 , m . (8.7)
[0, T ]
Theorem 8.1
Let p H and assume that conditions (3.2),, (5.2),, and (5.3) are ful-
filled. Then the dynamical system ( F 1 , St ) generated by weak solutions to
problem (8.3) and (8.4) possesses a compact connected global attractor A .
This attractor is a bounded set in F 1 + b for 0 b < 1 and has a finite frac-
tal dimension.
dimension.
C
h
Proof.
a
First we prove that the system ( F1 , St ) is dissipative. To do that we consider
p
t the Galerkin approximations (8.5) and (8.6). We multiply (8.5) by um ( t ) scalarwise
e
r and find that
--- ----- um ( t ) 2 + Aum ( t ) 2 + M A1 2 um ( t ) 2 A1 2 u m ( t ) 2 +

4 1 d
2 dt
+ ( L um ( t ) , um ( t ) ) = ( p , um ( t ) ) .
Using equation (5.2) we obtain that
--- ----- um ( t ) 2 + Au m ( t ) 2 + a1 M A1 2 um ( t ) 2
1 d
2 dt
2+2a
a3 - a2 A1 2 u m ( t ) - ( L um ( t ) , um ( t ) ) + ( p , um ( t ) ) .
We use equation (5.3) and reason in the same way as in the proof of Theorem 5.1 to
find that
--- ----- um 2 + b0 Au m 2 + M A1 2 um 2 + b1 A1 2 u m 2 + 2 a b2
1 d
(8.8)
2 dt
with some positive constants bj , j = 0 , 1 , 2 . Multiplying equation (8.5) by u m ( t )
we obtain that
P ( um ( t ) ) + u m ( t ) 2 + ( L um ( t ) , u m ( t ) ) = ( p , u m ( t ) ) ,
1 d-
--- ----
2 dt
where
P ( u ) = Au 2
+ M A1 2 u 2 .

It follows that
----- P ( um ( t ) ) + u m ( t ) 2 2 p 2 + C Aq u m ( t ) 2 .
d
(8.9)
dt
If we summarize (8.8) and (8.9), then it is easy to find that
d-
---- u 2 + P ( u m ) + b0 um 2 + P ( um ) C .
d t m
This implies that
-b t
um ( t ) 2 + P ( um ( t ) ) pm u0 2 + P ( pm u0 ) e 0 + C .

We use (8.7) to pass to the limit as m and to obtain that
-b t
u ( t ) 2 + P ( u ( t ) ) u0 2 + P ( u0 ) e 0 + C .

This implies the dissipativity of the dynamical system ( F1 , St ) generated by prob-
lem (8.3) and (8.4). In order to complete the proof of the theorem we use Theorem
2.4.1.
We note that the dissipativity also implies that the dynamical system ( F1 , St ) pos-
sesses a fractal exponential attractor (see Theorem 2.4.2).
E x e r c i s e 8.3 Assume that the hypotheses of Theorem 8.1 hold and L 0 .

Show that for generic p H the attractor of the dynamical system
( F1 , S t ) generated by equations (8.3) and (8.4) is regular (see the
definition in the statement of Theorem 7.2). Hint: see Section 2.5.
We assume that M ( z ) C 2 ( R + ) and conditions (3.2), (5.2), (5.3), and (5.10) are
m
fulfilled. Let us consider the dynamical system ( H1 , St ) generated by problem
(8.1) and (8.2) in the space H1 = F 2 F 1 D ( A2 ) D ( A ) . Lemma 5.2 and Exer-
cise 5.5 imply that ( H1 , Stm) possesses a compact global attractor A m for any
m > 0.
The main result of this section is the following assertion on the closeness of
attractors of problem (8.1) and (8.2) and problem (8.3) and (8.4) for small m > 0 .
Theorem 8.2
Assume that M ( z ) C 2 ( R + ) and conditions (3.2),, (5.2),, (5.3),, and
(5.10) concerning M ( z ) , L , and p are fulfilled. Then the equation
lim sup { dist H ( y , A * ) : y A m } = 0 (8.10)
m0
m
is valid, where A m is a global attractor of the dynamical system ( H1 , St )
generated by problem (8.1) and (8.2),,

A* = ( z0 ; z1 ) : z0 A , z1 = - A 2 z0 - M A1 2 z0 2 Az0 - L z0 + p .

Here A is a global attractor of problem (8.3) and (8.4) in F 1 and
dist H ( y , A ) is the distance between the element y and the set A in the
space H = F1 F 0 . We remind that g = 1 in equations (8.1) and (8.3)..
The proof of the theorem is based on the following lemmata.
Lemma 8.1
m
The dynamical system ( H1 , St ) is uniformly dissipative in H with
respect to m ( 0 , m 0 ] for some m 0 > 0 , i.e. there exists m 0 > 0 and
R > 0 such that for any set B H1 which is bounded in H we have
m
St B y = ( u0 ; u1 ) : m u1 2 + Au0 2 R 2 (8.11)

for all t t ( B , m ) , m ( 0 , m 0 ] .
C
h
Proof.
a
We use the arguments from the proof of Theorem 5.1 slightly modifying
p
t them. Let
e
r V (y) = E (y) + n F(y) , y = ( u0 ; u1 ) ,
4 where
--- m u1 2 + Au0 2 + M A1 2 u0 2
E (y) = 1
2
and
F ( y ) = m ( u0 , u1 ) + 1
--- u0 2 .
2
As in the proof of Theorem 5.1 it is easy to find that the inequalities
--- u 2 + --e- Au 2 + Ce A1 2 u 2 + C1
d
----- E ( y ( t ) ) - 1 (8.12)
dt 2 2
and
d-
---- --- Au 2 - a1 M A1 2 u 2 -
F ( y ( t ) ) m u 2 - 1
dt 2
2+ 2a
- a2 A1 2 u + C2 u 2
+ C3 (8.13)
m
are valid for y ( t ) = ( u ( t ) ; u ( t ) ) = St y0 . Here e > 0 is an arbitrary number,
the constants aj and cj do not depend on m . Moreover, it is also evident that
--- b 0 m u1 2 + Au0 2 + M A1 2 u0 2 + b1
V (y) 1 (8.14)
2
for m ( 0 , m 0 ] and for any m 0 . Here b0 and b 1 do not depend on m
( 0 , m 0 ] and n 1 . Equations (8.12)(8.14) lead us to the inequality
d
--- ( 1 - ( d b 0 + n ) m ) u 2 -
----- V ( y ( t ) ) + d V ( y ( t ) ) - 1
dt 2
db
-1
--- ( n - d b0 - e ) Au 2
- n a1 - ---------0- M A1 2 u 2 + D ,
2 2
where the constant D does not depend on m ( 0 , m 0 ] . If we choose m 0 small
enough, then we can take d > 0 and n > 0 independent of m ( 0 , m 0 ] and
such that
d
----- V ( y ( t ) ) + d V ( y ( t ) ) D 1 , (8.15)
dt
where D 1 > 0 does not depend on m ( 0 , m 0 ] . Moreover, we can assume
(due to the choice of m 0 ) that
V ( y ( t ) ) b 3 m u ( t ) 2 + Au ( t ) 2 - C , (8.16)
where b 3 and C do not depend on m ( 0 , m 0 ] . Using equations (8.14)(8.16)

we obtain the assertion of Lemma 8.1.
Lemma 8.2
Let u ( t ) be a solution to problem (8.1) and (8.2) such that Au ( t ) R
for all t 0 . Then the estimate
t
1
---
2 u (t)
0
2 -b ( t - t )
e dt m u ( 0 ) 2 + Au ( 0 ) 2 e -b t + C ( R , b )

is valid for t 0 , where b is a positive constant such that b m 1 2 .
Proof.
It is evident that the estimate
M A1 2 u ( t ) 2 Au ( t ) + L u ( t ) - p CR
holds, provided Au ( t ) R . Therefore, equaiton (8.1) easily implies the esti-

mate
d-
1
--- ---- m u ( t ) 2 + Au ( t ) 2 + 1
--- u ( t ) 2 C R
2 dt 2
for the solution u ( t ) . We multiply this inequality by 2 exp ( b t ) . Then by virtue
of the fact that Au ( t ) R we have
d- b t
---- e m u ( t ) 2 + Au ( t ) 2 + 1
--- u ( t ) 2 e b t C R , b e b t
dt 2
for m b 1 2 . We integrate this equation from 0 to t to obtain the assertion
of the lemma.
Lemma 8.3
Let u ( t ) be a solution to problem (8.1) and (8.2) with the initial condi-
tions ( u 0 ; u1 ) H1 = F 2 F 1 and such that Au ( t ) R for t 0 . Then
the estimate
-b t
m w ( t ) 2
C1 1 + w ( 0 ) 2 + Aw ( 0 ) 2 e 0 + C 2
+ Aw ( t ) 2
(8.17)

is valid for the function w ( t ) = u ( t ) . Here m ( 0 , m 0 ] , m 0 is small
enough, b0 > 0 , and the numbers C1 and C 2 do not depend on
m ( 0 , m0 ] .
Proof.
Let us consider the function
--- m w ( t ) 2 + Aw ( t ) 2 + n m ( w , w ) + 1
W (t) = 1 --- w 2
2 2
for n > 0 . It is clear that
--- m ( 1 - n m ) w 2 + 1
1 --- Aw 2 W ( t )
h
a
p
2 2
--- m ( 1 + n m ) w + 1
--- + n l-12 Aw
t
1 2 2
. (8.18)
e
r 2 2
4 Since the function w ( t ) is a weak solution to the equation obtained by the dif-
ferentiation of (8.1) with respect to t (cf. (4.15)):
( t ) + w ( t ) + A2 w ( t ) + M A1 2 u ( t ) 2 Aw ( t ) + L w ( t ) = F ( t ) ,
mw

where
F( t ) = -2 M A1 2 u ( t ) 2 ( Au ( t ) , w ( t ) ) Au ( t ) ,
then we have that
----- W ( t ) = - ( 1 - n m ) w 2 - M ( A 1 2 u ( t ) 2 ) ( A w , w ) - ( L w , w ) + ( F , w ) -
d
dt

- n A2 w 2 + M ( A1 2 u ( t) 2 ) A1 2 w 2 + (L w, w) - (F, w) .

It follows that
(1) ( 2)
----- W ( t ) - 1
--- - n m w 2 - 1
d
--- ( n - C R ) Aw 2 + n CR w 2 .
dt 2 2
(1)
We take n = CR + 2 and choose m 0 small enough to obtain with the help
of (8.18) that
d-
---- W ( t ) + b0 W ( t ) C w ( t ) 2 , t 0, m ( 0 , m0 ] ,
dt
where the constants b 0 > 0 and C do not depend on m . Consequently,
t
u (t)
-b0 t 2 -b0 ( t - t )
W(t) W(0) e +C e dt .
0
Therefore, estimate (8.17) follows from equation (8.18) and Lemma 8.2. Thus,
Lemma 8.3 and equations (8.11) imply the existence of a constant R1 such that for
any bounded set B in H1 there exists t0 = t0 ( B , m ) such that
m u ( t ) 2
+ Au ( t ) 2
R12 , m ( 0 , m0 ) , (8.19)
where u ( t ) is a solution to problem (8.1) and (8.2) with the initial conditions from
B . However, due to (8.1) equations (8.11) and (8.19) imply that A2 u ( t ) C for
t t0 ( B , m ) . Thus, there exists R 2 > 0 such that
m u ( t ) 2
+ Au ( t ) 2
+ A2 u ( t ) 2
R22 , t t0 ( B , m ) , (8.20)
where u ( t ) is a solution to system (8.1) and (8.2) with the initial conditions from the
bounded set B in H1 , R2 does not depend on m ( 0 , m0 ) , and m 0 is small
enough. Equation (8.20) and the invariance property of the attractor A m imply the
estimate
m u m ( t ) 2
+ Au m ( t ) 2
+ A2 um ( t ) 2
R 22 (8.21)
for any trajectory Stm y0 = ( um ( t ) ; u m ( t ) ) lying in A m for all t (- , ) .

Let us prove (8.10). It is evident that there exists an element ym = ( u0 m ; u1 m )
from A m such that
d ( y m ) dist H ( ym , A * ) = sup { dist H ( y , A * ) : y A m } .
Let ym ( t ) = ( u m ( t ) ; u m ( t ) ) be a trajectory of system (8.1) and (8.2) lying in the at-

tractor A m and such that ym ( 0 ) = ym . Equation (8.21) implies that there exist
a subsequence { ym n ( t ) } and an element y ( t ) = ( u ( t ) ; u ( t )) L ( - , ; H1 )
such that for any segment [ a , b ] the sequence ymn( t ) converges to y ( t ) in the
* - weak topology of the space L ( a , b ; H1 ) as m n 0 . Equation (8.21) gives us
that the subsequence { Aumn ( t ) } is uniformly continuous and uniformly bounded
in H . Therefore (cf. Exercise 1.14),
lim max A ( um ( t ) - u ( t ) ) = 0 (8.22)
m n 0 t [ a , b] n
for any a < b . However, it follows from (8.21) that m u m ( t ) 0 as m 0 . There-

fore, we pass to the limit m 0 in equation (8.1) and obtain that the function u ( t )
is a bounded (on the whole axis) solution to problem (8.3) and (8.4). Hence, it lies in
the attractor A of the system ( F 1 , St ) . With the help of (8.21) and (8.22) it is easy
to find that
d ( ym ) ym - y0 0, mn 0 ,
n n H
where
y0 = u ( 0 ) ; - Au ( 0 ) - M A1 2 u ( 0 ) 2 Au 0 - L u0 + p A * .

Thus, Theorem 8.2 is proved.
C
h 9 On Inertial and Approximate
a
p Inertial Manifolds
t
e
r
The considerations of this section are based on the results presented in Sections 3.7,
4 3.8, and 3.9. For the sake of simplicity we further assume that p ( t ) g H .
Theorem 9.1
Assume that conditions (3.2),, (5.2),, and (5.3) are fulfilled. We also as-
sume that eigenvalues of the operator A possess the properties
lN
- >0
inf ------------- and lN ( k ) + 1 = c0 k r ( 1 + o ( 1 ) ) , r > 0, k , (9.1)
N lN +1
for some sequence { N ( k ) } . Then there exist numbers g0 > 0 and k0 > 0
such that the conditions
2 2
g > g0 and lN ( k ) + 1 - lN ( k ) k0 lN ( k ) + 1 (9.2)
imply that the dynamical system ( H , St ) generated by problem (0.1) and

(0.2) possesses a local inertial manifold, i.e. there exists a finite-dimen-
sional manifold M in H = F1 F0 of the form
M = { y = w + F ( w ) : w P H , F ( w ) ( 1 - P) H } , (9.3)
where F ( . ) is a Lipschitzian mapping from P H into ( 1 - P ) H and P is a
finite-dimensional projector in H . This manifold possesses the properties:
1) for any bounded set B in H and for t t0 ( B )
sup { dist ( St y , M ) : y B } C exp { -b ( t - t0 ( B ) ) } ; (9.4)
2) there exists R > 0 such that the conditions y M and St y H R for

t [ 0 , t0 ] imply that St y M for t [ 0 , t0 ] ;
3) if the global attractor of the system ( H , St ) exists, then the set M
contains it (see Theorem 6.1)..
Proof.
Conditions (3.2), (5.2), and (5.3) imply (see Theorem 5.1) that the dynamical
system ( H , St ) is dissipative, i.e. there exists R > 0 such that
St y H
R, y B,
t t0 ( B ) (9.5)

for any bounded set B H . This enables us to use the dynamical system ( H , St )
generated by an equation of the type

u + g u + A u = BR ( u ) ,
2
(9.6)
u = u , u
t=0
=u , 0 t=0 1
to describe the asymptotic behaviour of solutions to problem (0.1) and (0.2). Here
-1
BR ( u ) = c ( 2 R ) Au g - M A1 2 u 2 Au - L u

On Inertial and Approximate Inertial Manifolds 277
and c ( s ) is an infinitely differentiable function on R+ possessing the properties

0 c (s) 1 ; c ( s ) 2 ;
c(s) = 1 , 0 s 1; c (s) = 0 , s 2.
It is easy to find that there exists a constant CR such that
BR ( u ) CR
and
BR ( u1 ) - BR ( u 2 ) CR A ( u1 - u 2 ) .

Therefore, we can apply Theorem 3.7.2 to the dynamical system ( H , St ) generated
by equation (9.6). This theorem guarantees the existence of an inertial manifold of

the system ( H , St ) if the hypotheses of Theorem 9.1 hold. However, inside the dissi-
pativity ball { y : y H R } problem (9.6) coincides with problem (0.1) and (0.2).
This easily implies the assertion of Theorem 9.1.
E x e r c i s e 9.1 Show that the hypotheses of Theorem 9.1 hold for the prob-
lem on oscillations of an infinite panel in a supersonic flow of gas:
t x

2 u + g u + 4 u + G - u ( x , t ) 2 dx 2 u + r u = g ( x ) , x ( 0 , p ) , t > 0 ,
t
0
x x

x
u = x2 u x = 0 , x = p = 0 , u t = 0 = u0(x) , t u = u1(x) .
x = 0, x = p t=0
Here G and r are real parameters and g ( x) L2 ( 0 , p ) .
It is evident that the most essential assumption of Theorem 9.1 that restricts its ap-
plication is condition (9.2). In this connection the following assertion concerning the
case when problem (0.1) and (0.2) possesses a regular attractor is of some interest.
Theorem 9.2
Assume that in equation (0.1) we have L 0 and p ( t ) g
Lin { e 1 , , eN } for some N 0 . We also assume that conditions (3.2) and
0
(5.2) are fulfilled. Then there exists N1 N0 such that for all N N1 the
subspace
HN = Lin { ( ek ; 0 ) , ( 0 ; e k ) : k = 1 , 2 , , N } (9.7)
is an invariant and exponentially attracting set of the dynamical system
( H , St ) generated by problem (0.1) and (0.2)::
g
- --- ( t - t 0 ( B ) )
dist ( St y , HN ) CB ( 1 - PN ) y H
e 4 , y B (9.8)
for t t0 ( B ) and for any bounded set B in H . Here PN is the orthoprojector

onto HN .
C
h
Proof.
a
Since pN g = g for N N0 , where pN is the orthoprojector onto the span of
p
t { e1 , , eN } , the uniqueness theorem implies the invariance of HN . Let us prove
attraction property (9.8). It is sufficient to consider a trajectory ( u ( t ) , u ( t ) ) lying in
e 0
r
the ball of dissipativity { y : y H R } . Evidently the function v ( t ) = ( 1 - p N ) u ( t )
4 satisfies the equation
1 2 2
v + g v + A v + M A u ( t ) Av = 0 ,
2
(9.9)
v = ( 1 - pN ) u0 , v t = 0 = ( 1 - pN ) u1 .
t=0
It is also clear that the conditions
M A1 2 u ( t ) 2 ----- M A1 2 u ( t ) 2
d
b0 ( R ) and b1 ( R )
dt
hold in the ball of dissipativity. This fact enables us to use Theorem 2.2 with b ( t ) =
= M ( A1 2 u ( t ) 2 ) . In particular, equation (2.23) guarantees the existence of a num-
ber N1 N0 which depends on g , b0 ( R ) , and b1 ( R ) and such that
g
- --- t
y(t) H = ( 1 - PN ) y ( t ) H
3 ( 1 - PN ) y ( 0 ) e 4 , t > 0,
for all N N1 , where PN is the orthoprojector onto HN and y ( t ) = ( v ( t ) , v ( t ) ) .

This implies estimate (9.8). Theorem 9.2 is proved.
E x e r c i s e 9.2 Assume that the hypotheses of Theorem 9.2 hold. Show that
for any semitrajectory St y there exists an induced trajectory in
HN , i.e. there exists y HN such that
g
- --- ( t - t0 )
St y - St y H
CR e 4
for t t0 and for some t0 = t0 ( y H) .
E x e r c i s e 9.3 Write down an inertial form of problem (0.1) and (0.2) in the
subspace HN , provided the hypotheses of Theorem 9.2 hold. Prove
that the inertial form coincides with the Galerkin approximation of
the order N of problem (0.1) and (0.2).
global attractor of problem (0.1) and (0.2) coincides with the global
attractor of its Galerkin approximation of a sufficiently large order.
Let us now turn to the question on the construction of approximate inertial mani-
folds for problem (0.1) and (0.2). In this case we can use the results of Section 3.8
and the theorems on the regularity proved in Sections 4 and 5.
On Inertial and Approximate Inertial Manifolds 279
E x e r c i s e 9.5 Assume that M ( z ) C m + 1 ( R+ ) , m 1 and
B ( u ) = p - M A1 2 u 2 Au - L u ,

where p H and u D ( A) = F 1 . Show that the mapping B ( . )
has the Frecht derivatives B ( k ) up to the order l inclusive. Moreo-
ver, the estimates
k
B ( k ) [ u ] ; w 1 , , w k CR
Aw
j=1
j (9.10)
and
B ( k ) [ u ] - B ( k ) [ u* ] ; w1 , , wk
k
CR A ( u - u* ) Aw
j=1
j (9.11)
are valid, where k = 0 , 1 , , m , Au R , Au* R , and

wj D ( A) . Here B ( k ) [ u ] ; w1 , , wk is the value of the
Frecht derivative on the elements w1 , , wk .
We consider equations (9.10) and (9.11) as well as Theorem 5.3 which guarantees
nonemptiness of the classes L m , R corresponding to the problem considered when
R > 0 is large enough. They enable us to apply the results of Section 3.8.
Let P be the orthoprojector onto the span of elements { e 1 , , eN } in H and
let Q = 1 - P . We define the sequences { hn ( p , p ) }n= 0 and { ln ( p , p ) }n= 0 of map-
pings from PH PH into Q H by the formulae
h ( p , p ) = l ( p , p ) = 0 ,
0 0 (9.12)
A2 hk ( p , p ) = a0 - Mk - 1 ( p , p ) Ahk - 1 - QL ( p + hk - 1 ) - g ln ( k ) -
- dp lk - 1 ; p + dp lk - 1 ; g p + A2 p - b0 + Mk - 1 ( p , p ) Ap + PL ( p + hk - 1 ) , (9.13)
lk ( p , p ) = d p h k - 1 ; p -
- dp hk - 1 ; g p + A2 p - b0 + M k - 1 ( p , p ) Ap + PL ( p + hk - 1 ) . (9.14)
Here M k ( p , p ) = M A1 2 p 2 + A1 2 hk ( p , p ) 2 , d p and d p are the Frecht de-

rivatives with respect to the corresponding variables, a0 = Q g , b0 = Pg , where
g p ( t ) is a stationary transverse load in (0.1), k = 1 , 2 , , m , the numbers
n(k) are chosen to fulfil the inequality k - 1 n ( k ) k .
E x e r c i s e 9.6 Evaluate the functions h1 ( p , p ) and l1 ( p , p ) .

C
h
Theorem 3.8.2 implies the following assertion.
a
p
t Theorem 9.3
Assume that p ( t ) g H , M ( z ) C m + 1 ( R+ ) , m 2 , and conditions
e
r
(3.2),, (5.2),, and (5.3) are fulfilled. Then for all k = 1 , , m the collection of
4
mappings ( hn , ln ) given by equalities (9.12) (9.14) possesses the properties
1) there exist constants M j = Mj ( n , r ) and L j ( n , r ) , j = 1 , 2 such that
A2 hn ( p0 , p 0 ) M1 , Aln ( p0 , p 0 ) M2 ,
A2 ( hn ( p1 , p 1 ) - hn ( p 2 , p 2 ) ) L1 ( A2 ( p1 - p2 ) + A ( p 1 - p 2 ) ) ,
A ( ln ( p1 , p 1 ) - ln ( p2 , p 2 ) ) L2 ( A2 ( p1 - p2 ) + A ( p 1 - p 2 ) ) ,
for all pj and p j from PH and such that
A2 pj 2 + Ap j 2 r , j = 0, 1, 2 , r > 0 ;
2) for any solution u ( t ) to problem (0.1) and (0.2) which satisfies com-
patibility conditions (4.3) with l = m the estimate
1 2
2
A ( u ( t ) - un ( t ) )
2
+ A ( u ( t ) - un ( t ) ) 2 Cn l-Nn+ 1

is valid for n m - 1 and for t large enough. Here
u ( t ) = p ( t ) + h ( p ( t ) , p ( t ) ) ,
n n
u n ( t ) = p ( t ) + ln ( p ( t ) , p ( t ) ) ,
lN is the N -th eigenvalue of the operator A and the constant Cn de-
pends on the radius of dissipativity.
In particular, Theorem 9.3 means that the manifold

M = { ( p + h ( p , p ) ; p + l ( p , p ) ) :
n n n p , p PH }
attracts sufficiently smooth trajectories of the dynamical system ( H , St ) generated
by problem (0.1) and (0.2) into a small vicinity (of the order Cn l-Nn+ 1 ) of Mn .
E x e r c i s e 9.7 Assume that the hypotheses of Theorem 6.3 hold (this theo-
rem guarantees the existence of the global attractor A consisting of
smooth trajectories of problem (0.1) and (0.2)). Prove that
sup { dist ( y , Mn ) : y A } Cn l-Nn+ 1
for all n m - 1 (the number m is defined by the condition

M ( z ) C m + 1 ( R+) ).
E x e r c i s e 9.8 Prove the analogue of Theorem 3.9.1 on properties of the non-

linear Galerkin method for problem (0.1) and (0.2).
References
1. BERGER M. A new approach to the large deflection of plate // J. Appl. Mech.

1955. Vol. 22. P. 465472.
2. ZH. N. DMITRIEVA. On the theory of nonlinear oscillations of thin rectangular
plate // J. of Soviet Mathematics. 1978. Vol. 22. P. 4851.
3. BOLOTIN V. V. Nonconservative problems of elastic stability. Oxford: Pergamon
Press, 1963.
4. DOWELL E. H. Flutter of a buckled plate as an example of chaotic motion of de-
terministic autonomous system // J. Sound Vibr. 1982. Vol. 85. P. 333344.
5. YOSIDA K. Functional analysis. Berlin: Springer, 1965.
6. LADYZHENSKAYA O. A. Boundary-value problems of mathematical physics.
Moscow: Nauka, 1973 (in Russian).
7. MIKHAJLOV V. P. Differential equations in partial derivatives. Moscow:
Nauka, 1983 (in Russian).
8. LIONS J.-L. Quelques methodes de resolution des problemes aus limites
non linearies. Paris: Dunod, 1969.
9. GHIDAGLIA J.-M., TEMAM R. Regularity of the solutions of second order evolution
equations and their attractors // Ann. della Scuola Norm. Sup. Pisa. 1987.
Vol. 14. P. 485511.
10. BABIN A. V., VISHIK M. I. Attractors of evolution equations. Amsterdam:
North-Holland, 1992.
11. CHUESHOV I. D. On a certain system of equations with delay, occurring
in aeroelasticity // J. of Soviet Mathematics. 1992. Vol. 58. P. 385390.
12. CHUESHOV I. D., REZOUNENKO A. V. Global attractors for a class of retarded qua-
silinear partial differential equations // Math. Phys., Anal. Geometry. 1995.
Vol. 2. # 3/4. P. 363383.
13. BOUTET DE MONVEL L., CHUESHOV I. D., REZOUNENKO A. V. Long-time behavior of
strong solutions of retarded nonlinear P.D.E.s // Commun. Partial Dif. Eqs.
1997. Vol. 22. P. 14531474.
14. BOUTET DE MONVEL L., CHUESHOV I. D. Non-linear oscillations of a plate in
a flow of gas // C. R. Acad. Sci. Paris. 1996. Ser. I. Vol. 322. P. 10011006.

Introduction To The Theory of Infinite-Dimensional Dissipative Systems-4

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Introduction To The Theory of Infinite-Dimensional Dissipative Systems-4

Uploaded by

Copyright:

Available Formats

Author: I. D.

Chueshov This book provides an exhau-

....1 Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218

.... References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 281

Further we use the notation L2 ( 0 , T ; Fs ) for the set of measurable functions

where { uN ( t ) } is a sequence of simple functions defined above. The integral of the

E x e r c i s e 1.1 Let u ( t ) be a function on [ 0 , T ] with the values in a sepa-

E x e r c i s e 1.2 Show that a measurable function u ( t ) with the values in H

E x e r c i s e 1.3 Let a function u ( t ) be integrable over [ 0 , T ] and let B be

E x e r c i s e 1.4 Show that the space L 2 ( 0 , T ; Fs ) can be described as a set

E x e r c i s e 1.5 Let u ( t ) be a function with the values in Fs integrable over

E x e r c i s e 1.6 Show that for any absolutely continuous function v ( t ) on

(Hint: use the one-dimensional variant of this assertion).

plays an important role below. Hereinafter the derivative v ( t ) = dv dt stands for

E x e r c i s e 1.7 Let pm be the projector onto the span of the set { ek : k =

E x e r c i s e 1.8 The equations

E x e r c i s e 1.9 Use (1.3) to prove that

E x e r c i s e 1.10 Use (1.4) to prove that WT is continuously embedded into

E x e r c i s e 1.12 Show that the space WT can be described as a set of series of

E x e r c i s e 1.14 Show that WT is compactly embedded into C ( 0 , T ; H ) .

2 Auxiliary Linear Problem

Here A is a positive operator with discrete spectrum. The vectors h ( t ) , u 0 , u1

E x e r c i s e 2.1 Prove that if a weak solution u ( t ) exists, then it satisfies

for every w F1 (Hint: take v ( t ) =

satisfying the equations

Here gk ( t ) C 1 ( 0 , T ) and g k ( t ) is absolutely continuous. Due to the orthogonality

where b0 = max b ( t ) . Moreover, if b ( t ) C1 ( 0 , T ) , c ( t ) 0 and for all

This and Gronwalls lemma give us (2.11).

g ( t ) 2 + a 2 g ( t ) 2 C ( T ; g0 , g1) , 0 < t < t < T.

E x e r c i s e 2.2 Assume that g 0 in Lemma 2.1. Show that problem (2.10)

is valid for g ( t ) and for any d > 0 , where b0 = max b ( t ) .

Lemma 2.1 implies the existence of a sequence of approximate solutions { um ( t ) }

E x e r c i s e 2.3 Show that every approximate solution um is a solution to

and pm is the orthoprojector onto the span of elements { ek : k = 1 ,

Let us prove that the sequence of approximate solutions { u m } is convergent.

At first we note that

for every t [ 0 , T ] . Therefore, by virtue of Lemma 2.1 we have that

lim max u m ( t ) - u ( t ) 2 + um ( t ) - u ( t ) 1 = 0 . (2.17)

for all functions v ( t ) from WT such that v ( T ) = 0 . Here u i m , and hm ( t ) , i = 0 , 1 ,

It is evident that Avs ( t ) = Avs ( 0 ) - Avt ( 0 ) for t s . Therefore,

where s [ 0 , T ] and CT is a positive constant depending on the length of the seg-

E x e r c i s e 2.4 Prove that the estimate

E x e r c i s e 2.5 Let u ( t ) be a weak solution to problem (2.1) and (2.2). Prove

Here we treat the equality as an equality of elements in F-1 .

E x e r c i s e 2.6 Let u ( t ) be a weak solution to problem (2.1) and (2.2) con-

E x e r c i s e 2.7 Prove that Hs is compactly embedded into Hs for s1 > s .

In the space H0 we define the evolutionary operator U ( t ; t0 ) of problem (2.1) and

holds for all N N0 , where PN is the orthoprojector onto the subspace

Moreover, Lemma 2.1 implies that

equation (2.24) implies (2.22).

Further we use equation (2.13) to obtain that

are fulfilled. Evidently, these conditions hold if

E x e r c i s e 2.8 Show that a weak solution u ( t ) to problem (2.1) and (2.2)

where y = ( u0 ; u 1 ) and U ( t ; t ) is defined by (2.21).

E x e r c i s e 2.10 Show that the evolutionary operator U ( t , t ) has a bounded

where 0 a < l1 , b R , l1 is the first eigenvalue of the operator A , and the

E x e r c i s e 3.1 Prove the analogue of formula (2.4) for weak solutions to

The following assertion holds.

and satisfies the energy equality

We use the scheme from Section 2 to prove the theorem.

which satisfies the equations

E x e r c i s e 3.2 Use equation (3.14) to prove the global solvability of Cauchy

where CM ( r ) = max {M ( z ) : 0 z r 2 l 1 } . Consequently, equation (3.14) gives