SEMI-GROUPES DETERMINISTES

M o h a m e d HMISSI

I. INTRODUCTION.
Dans la th4orie des syst~mes d y n a m i q u e s les notions de fonction de
L i a p u n o v et du p a r a l l ~ l i s m e jouent un rSle important.

En effet,

l'exis-

tence d'une "bonne" f o n c t i o n de L i a p u n o v c a r a c t 4 r i s e les p h 4 n o m ~ n e s de

stabilit4

(voir [2] ou [3]), d'autre part le p a r a l l ~ l i s m e i n t e r v i e n t

dans la r ~ s o l u t i o n des 4 q u a t i o n s d i f f 4 r e n t i e l l e s

(voir [I] ou

[3]

ou [4]).
En c o n s i d 4 r a n t le s e m i - g r o u p e d 4 t e r m i n i s t e associ4 ~ un s y s t ~ m e
dynamique,

on se p r o p o s e dans ce travail de c a r a c t 4 r i s e r ces notions

dans le c a d r e de la th4orie du potentiel.

Soit

(X,~)

un syst~me s e m i - d y n a m i q u e sur un espace

groupe d4terministe
Ptf(x)

= f(%(t,x))

(Pt)

I)

(Pt)

2)

(X,~)

est d4fini par

. On d 4 m o n t r e e s s e n t i e l l e m e n t l ' 4 q u i v a l e n c e entre

les p r o p r i 4 t 4 s s u i v a n t e s
est p r o p r e

p o t e n t i e l de

associ4 ~

X . Le semi-

:
(i.e.

: V(Ck(X))

C(X)

ou

est le n o y a u

(Pt))

(X,~)

p o s s ~ d e une f o n c t i o n de L i a p u n o v tendant vers O

sui-

v a n t route trajectoire.
3) L ' o r d r e d4fini par les t r a j e c t o i r e s est ferm4.
Dans le cas ou
(Pt)

(X,~)

est un syst~me d y n a m i q u e on m o n t r e alors que

est p r o p r e si et s e u l e m e n t si

(X,~)

est p a r a l l 4 1 i s a b l e .

Je r e m e r c i e M. S I E V E K I N G pour l ' i n t 4 r ~ t qu'il a port4

~ ce

travail.

2. H Y P O T H E S E S ET NOTATIONS.
Soit

On note par

un espace l o c a l e m e n t c o m p a c t ~ base d4nombrable.

:

B(X)

: la tribu b o r 4 1 i e n n e sur

X .

C(X)

: l'espace des f o n c t i o n s c o n t i n u e s sur

X .

136

Cb(X)

: le s o u s - e s p a c e

Ck(X)

: le s o u s - e s p a c e

On m u n i t
ou

[7])

dans

d'un

c'est-~-dire

v4rifiant

i)

~(O,x)

ii)

#(s+t,x)

On d 4 s i g n e
3. R e m a r q u e

n e de

fonctions

de

C(X)

des

fonctions

syst~me

born4es.
~ support

semi-dynamique

(X,~)

e s t une a p p l i c a t i o n

tout

x 6 X

= (s,(t,x))

pour

pour

Fx

la t r a j e c t o i r e
rapport

suppos4

est

des

compact.

(voir

[2] ou

[3]

continue

de

, s ~ O

et

~+

: Par

on a en f a i r

C(X)

que

= x

par

de

~+

est un o u v e r t

de

du c o r o l l a i r e

1.8.7

~+

(X,~)

. Si

X)
de

de

g4n4rale

alors

est

comme

local
X

se r a m ~ n e

: Fx

des

est un s y s t ~ m e

(X,~)

[7] on

x X

partante

~ la t h 4 o r i e

que

X)

.
tous

t [ O

: = {(t,x) :t ~ O}

syst~mes

global
(i.e.

dynamiques,

(i.e.

: le d o m a i -

: le d o m a i n e

est m 4 t r i s a b l e

~ un s y s t ~ m e

de

et en v e r t u

global

par

hom4omorphisme.
4. D E F I N I T I O N S .
a) L ' o r d r e
Pour
<

x,y

6 X

associ4

: x ~ y ~

est un p r 4 o r d r e

est s a n s

sur

trajectoires

b) U n e
Liapunov

fonction

(voir

Liapunov

c) Le

de

strictement

(X,)

si et s e u l e m e n t

X
si

dans
v

~+

si

est

dite

(X,)

fonction

est d 4 c r o i s s a n t e

d~croissante

d4terministe

est d 4 f i n i

, t ~ O

et

x X

e s t un s e m i - g r o u p e
On note

par

: X ~+

suivant

de

suivant

on d i t q u e

~.

est de

V(Ck(X))

(ou de s u b s t i t u t i o n )
: Ptf(x)

le c S n e

= f(~(t,x))

pour

(Pt)
tous

de F e l l e r
des

, mesurable,

que

les f o n c t i o n s
Soit

par

au sens

fonctions

d4croissante

de

[6].

excessives

de

et c o n t i n u e

, alors

~ droite

~ } .

On remarque
avec

par

propres.

si et s e u l e m e n t
est

sur

: y = (t,x)

un o r d r e

p4riodiques

semi-groupe

f Ck(X)

{f

est d4fini
t ~ O

strict.

associe

E =

(X,~)

, c'est

continue

[2])

Si de p l u s

il e x i s t e

les

le n o y a u

c C(X)

fonctions

excessives

continues

sont

identifi4es

de L i a p u n o v .
potentiel

n'est

pas

associ4

toujours

v4rifi4e

(voir
donc

[6]).
~

La p r o p r i 4 t 4

e s t en g 4 n 4 r a l

non propre.
5. L E M M E .

Pour
n

~K(x)

tout

compact

{t > 0 : (t,x)

de

6 X~K}

et

tout
si

x
rx

=
sinon

dans

on p o s e

137

Alors
i) l ' a p p l i c a t i o n
ii)

~K(X)

iii)

~ ~K(~(t,x))

lim ~ K ( ~ ( t , x ) )
t~O

D4monstration.

d4finition

de

~K(#(t,x))

Donc

eK(~(t,x))

D'autre

part,

{x X

eK

on a pour

entraine

lim sup
t+O

tout

t [ 0

{s > O

: ~(s,x)

et

< a

pour

tout

et

x X

6 X~K}
6 X~K}

-t.

aK(X)

~ lim sup ~K(~(t,x))

t+O
il e x i t e
r < s
tel que

s > UK(X)

.
:

UK(#(~,x))

~ r < ~

pour

tout

~ 6 [O,r],

donc

et finalement

UK(X)

= lim sup
tO

Soit

dans

ou

~K est d ~ f i n i e

tout

Soit

x 6 X

v ~ u

excessive

par
u

UK(~(t0x))

et

un c o m p a c t

de

X , alors pour

8ur

le lemme

dans

et

v = u

donc

Ru
x~K
-

tout

s ~ 0

dans

=: RX"K(x)u

= uC#(~K(X)'X))"

5 precedent.

et

un compact

sur
< v

et

tel que

X~K

. De

. D'autre
sur

plus
part

, on pose

X~K

le l e m m e

5 implique

que

f E

tel

~(s,x)

q X~K

que

f = u

sur

X ~K

on a

: u(~(s,x))

,donc

v = R Xu~ K

:
v(x)

de

= u(~(~K(X),X)

v < u = R x~K
Soit

X\K}

:
v(x)

d'o~

tous

car

x 6 X :

D4monstratfon.

est

6 X~K}

= inf

{vCx) : v 6 E , v = u

Alors

mesurable

: ~(r+t,x)

Inf

pour

est

{r ~ O

que

6. P R O P O S I T I O N .

t ~ 0 .

= inf

tout

UK(~(t,x))

tout

: #(r,x)

+ t [ UK(X)

pour

est m e s u r a b l e .

~K

U
r<~
r6Q

~ (r,x)6X kK
Ce qui

pour

= ~K(X)

L'application

{ ~ K < ~} =

Par

: x ~K(X)

= lim u(#(s,x))
s ~ K (x)

<_ f(x)

. Alors
= f(~(s,x))

pour
~ f(x),

138

7. COROLLAIRE.
de

a) Le c6ne des potentiels

des fonctions

tendant

b) L'espace
des fonctions
8. R e m a r ~ u e

: Si

[I] o u

une

une

[4],

int4grale

fonction

Si

e > 0

Alors

Ve

R4ciproquement,

soit

si

(X,~)

8trictement

alors

; Ve > 0

fonction
= lim
t+~
v

de vecteur

alors

si e t s e u l e m e n t

d'apr~s

si

est

poss~de une
positive

et

toute trajectoire.

est propre,

lim Vel~(t,x))
t+ =

est l'ensemble

de v e c t e u r .

(en fait strict)

; e Cb(X)

est une

~ .

harmoniques

si et 8eulement

suivant

est le sous-cSne

trajectoire.

est harmonique

du champs

de Liapunov

8uivant

issu d'un champs

est propre

vers

D4monstration.
v4rifiant

sur toutes

est

premiere

9. THEOREME.
tendant

(X,~)

de

des fonctions

constantes

fonction

vers

une

il e x i s t e

et

Ve

de Liapunov

une fonction

(en f a i t

e(~ls,x))

Cb(X)
strict)

de plus

ds = 0

t
fonction

de Liapunov,

strictement

positive

&

et tendant
pose

vers

K = supp f

suivant
et on peut
: = inf

Soit

dans

Puisque

et

< ~

pour

une

= 0

tout

trajectoire

supposer

{v(x)

(x n)

lim
v(~(t,x))
t++

v(~(t,x))

toute

que

et s o i t

f ~ v

f C~(X)

, de plus

pour

tout

e t doric

< ~

pour

suite convergente

, il e x i s t e

t > s(x)

t [ s(x)

et

f(~(t,Xn))

= O

lim Vf(xn)
n

= lim
n
Jo

En fait d'apr~s

[2],

10. COROLLAIRE.

Si

trajectoires
D4monstration.

tout

alors

vers

s(x)

. Ii e x i s t e

x .

> 0

aussi

tel que

n ~ nx

n [ nx

. Comme

on a

(%(t,Xn))dt

10.3,

est de Liapunov

v~#(t,Xn)

= lim
n

< s ,donc

f(~(t,Xn))dt

est de Liapunov

est propre alor8

p~riodiques.
Sinon

tel q u e

%(t,Xn) ~ K

(X,~)

La r~ciproque

il e x i s t e

dans

= Vf(x)

strict.

ne poss~de pa8 de

est fausse.
, K

un compact

de

tel que

:
F

Soit

la f o n c t i o n

alors

.Donc

lemme

: x 6 K} > 0

v(#(s(x),Xn))

on a

. On

= {~(t,x)

: t > O}
-

de Liapunov

c K

d4finie

x
par

le t h 4 o r ~ m e

9, o n a

139

alors

ax

lim

: = inf

v($(t,x))

t+~Soit
par

{v(y)

= 0

: y K x} > 0

f(x,y)

le f a i t q u e

X = ~2~{(O,O) }

trajectoires

, ce qui contredit

(-x,y)

et

. Alors

p4riodiques

le c h a m p s

le s y s t ~ m e

mais

de vecteur

(X,$)

le s e m i - g r o u p e

d4fini

associ4

sur

est sans

ddterministe

associ4

est non propre.

11. COROLLAIRE.
I la r~gion

Soit

une partie compact

d'attraction

associ~ au syst~me

de

M . Alors

(A(M)~M,~)

est une pattie a s y m p t o t i q u e m e n t

D4monstration.

12. THEOREME.
I

Th4or~me

critiques

et

D4monstration.
10,

(X,$)

On

x,y

respectivement

U n r

=~

vers

u(y)

> O

et

et

que

x <_ y

alors

et

dans

u(x)

= O

= l i m u ( x n)
n

et

Ck(X)
u

le c o r o l l ~ i r e

suites

de

sur
X

tout

convergentes
n

dans

I~

tel q u e

f(y)

de

tel que

on pose

On montre
Sinon

f(X~V)

= {0},

v4rifiant

= u(y)

que

<

> 0

est ferm4.

Pour

tout compact

: ~(t,x)

si

K}

Knr

#~

sinon

SK(Y)
d'abord

que

ils e x i s t e n t

tels que pour

tout

On pose

Yn =

: #(tn'Xn)

compact

on peut

x = lim xn
n

et

de Liapunov

= Isup {t ~ 0

= sup
yK

> O

, par contre

>_ l i m U(Yn)
n

t ~ O

est sans point8

D'apr~s

un voisinage

[
~(K)

(X,~)

que pour

est une fonction

on suppose

x 6 X

SK(X)

et

[3].

est un ordre

deux

; on suppose

X .

<

(x n) , (yn)

alors

, alors

R4ciproquement
X

si

est propre.

critiques

et

, il e x i s t e

u =: V f

0 = u(x)

de

de

si

x
soit alors

on pose

que

points

dans

y ~ Fx

(X,~)

si et seu~ement

suppose

et va montrer

Sinon

stable de

2.11.38

A(M)

d~terministe

si et seulement

est un ordre ferm~ dans

est sans

Soient

X n <- Y n

X . On note par

est propre

9 et corollaire

est propre

de

le semi-groupe

s(k)

(xn)

n ~

supposer

< + -.

une

on a

suite

de

: tn > n

K
et

, on a 4videmment
qu'il

et

y = lim Yn
n

tel q u e

y = ~(t,x)

existent

" L'ordre

x,y

une

, (t n)
~ ( t n , X n)

Xn ~ Yn
dans

est ferm4

suite

~+

et comme
K

de

tel q u e

il e x i s t e

donc

est

140

Soit
Comme

s > O

supposer

y = ~(t,x)

= l i m ~ ( t , x n)
n
~ # ( t n , X n)
on a :

# ( s + t , x n)
~(s,y)

Donc

= lim
n

~(s,~(t,Xn))

y = #(s,y)
On m o n t r e
Soient

qui

, on p e u t

pour

tout

Vf(y)

tout

maintenant

contient

pour

= lim
n

dans

C~(X)

y 6 K

on a

f(~lt,y))

: sup

13.

vecteur

de

en

associ4

14.

DEFINITION.
~

trac4

~(O,x)

, soit

un compact
de

6 K} ~ ~(K)

dt

d4coule

= x

sur

ou non.

est un v o i s i -

pour

x 6 X
pour

Etant
sur

donn4
~

dans

th4or~me
d'un

= ~(-t,x)

dual

de

retournement

dans

dynamique
X

15.

induit

par
sur

ce

.
tous

x X

et

s,t ~

dynamique

, pour

(X,~)

travail

Soit

(X,~)

~+

induit

est d o n c

D'apr~s

un s y s t ~ m e
~+

(X,~)

tous

l'applica-

x 6 X

dynamique

~ partir

dynamique.

un s y s t ~ m e
alors

par
par

et

(X,~)

de

(X,~)

4tudier

est un

. Le

d4finition

dynamique

dynamique

(X,~)

(X,~)

[5] un s y s t ~ m e

; trajectoire

o n va d o n c

un syst~me

un s y s t ~ m e

. Ii est o b t e n u

c)

syst~me

Remar~ue.

droite

d4finit

(X,~)

de

appel4

associ4

sur

v4rifiant

t 6
appel4

par

du temps.

restriction
mique

la
de

(t,x)

syst~me

est

champs

si le s e m i - g r o u p e

est un s y s t ~ m e

de

un s y s t ~ m e

d e ce

et d o n c

int4grales

le g r a p h i q u e

(X,~)

continue
tout

d4finie,

pratiques

simplement

= ~(s,~(t,x))
b)

par

de

x ; alors

du f a i t q u e

les c o u r b e s

a) O n dit q u e

~(s+t,x)

: ~(t,y)

est p r o p r e

e s t une a p p l i c a t i o n

tion

cons4quences

avoir

on p e u t v o i r

si

i)

= y

est a b s u r d e .

s o i t un v o i s i n a g e

f(~lt,y))

Vf

U n e des

: apr~s

d4terministe

ii)

~ ( t n , X n)

Remarque.

suivante

~o

La c o n t i n u i t 4
de

: s+ t < n <tn

c C(X)

dans

{t [ O

n ~

n ~

~ lim
n

, ce qui

et qui

dt =

nage

tout

tout

~(s+t,Xn)

V(Ck(X))
et

de

et p o u r

s > O

que

le s u p p o r t

que pour

et s o i t

syst~me

semi-groupe

(X,~)

semi-dynamique

n'est

(Exemples

: mouvement

~~
;
le s e m i - g r o u p e

la

d4terministe

de

de la f o r m e

celui

semi-dyna-

pas

toujours

uniforme

)
D a n s la s u i t e
~"
d4terministe associ~

de

141

16.

COROLLAIRE.
dual,
d

8oient

(X,~)

Soient
~

(X,~)

un

(resp. ~

(resp.

(X,~))

syst~me

dynamique

le 8 e m i - g r o u p e

. Alor8

et

(X,~)

d~terministe

est p r o p r e

son
as8oci~

si et s e u l e m e n t

si

est propre.
*

D4monstration.

Si on note par

(resp.

~ )

l'ordre

d4fini

par

(X,~)

(resp.

X,T

x ~ y ~ y

))

(d4finition

D'autre

4.a)),

alors

pour

tout

x,y

dans

on a

part,

il e s t c l a i r

que

toute

trajectoire

p4riodique

pour

(X,T)
donc

est une
<

Le r4sultat

17.

trajectoire

est un ordre
est alors

PROPOSITION.
groupe

(X,~)

d@terministe

p(~(t,x))

L'existence
~

si

propre.

Le

de Liapunov

positives

et v4rifiant

pour

tout

= O

et

lim
v(~(t,x))
t+ ~
lim
r(~
t++~

D'autre
(X,~)
(X,~)
tout
18.

part,

et

le s e m i -

est p r o p r e

8i et s e u l e m e n t

strictement

(strict)

p(~(t,x))

telle

= 0

fonction

implique

(t,x))

pour

alors

9 implique
(X,T)

et

d'apr~s
alors

d'apr~s

le

le c o r o l l a i r e

qu'il

pour

existe

(X,~)

16

deux

strictement

x X
lim
t++~

r(~

= lim
r(~(t,x))
t+-~

(t,x))

= O

= 0

on remarque que
~
est une fonction de Liapunov pour
r
v
p = ~ , alors
p
est une fonction de Liapunov de

et v4rifie

lim
p(~(t,x)) = + ~
et lim
p(~(t,x))
t-~
t++~
. C o m m e d a n s le t h 4 o r ~ m e 9 o n p e u t c h o i s i r
p

DEFINITION.

parall41isable

([3])

~(~,S)

: a) U n

syst~me

si e t s e u l e m e n t

et un hom4omorphisme

ii)

dynamique

. On pose

x X

i)

ferm4.

12.

x 6 X .

est propre,

th~or~me

fonctions

or

lim
t+~

d'une

et r4ciproquement,
est un ordre

<

est propre.

R4ciproquement,
est aussi

Alor8

= + ~ et

th4orAme

8yst~me

tout

(X,W)
si

du th4or~me

de L i a p u n o v

pour

D4monstration.
9 que

un

as8ocid.

une f o n c t i o n

et v ~ r i f i a n t

lim
t-~

pour

si et s e u l e m e n t

une cons4quence

Soient

si il e x i s t e
positive

p4riodique

ferm4

= {~(t,x)

h(~(t,x))

de

: t ~

(t,x)

pour
b)

dynamique

si il e x i s t e
dans

, x 6 S} = X
tous

Une partie

x 6 S
S

pour

strict.

est dit

une pattie

de

tels que
.
et

de

(X,~)

= O

t 6 2
X

est appel4e

section

du

142

syst~me
T(x)

(X,~)

alors

si et s e u l e m e n t

unique,

tel que

est a p p e l 4 e

si p o u r

~(~(x),x)

section

tout

E S

continue.

x X

il e x i s t e

. Si de p l u s
On n o t e

est c o n t i n u e

la s e c t i o n

plutSt

par

(S,T)

19. THEOREME.
Soient
(X,~) un 8yst~me dynamique et ~
le 8emi-groupe
I d@terministe as8oci~. Alors ~
est propre 8i et seulement si
(X,~) est paralldlisable.
D4monstration.
141isable
va d o n c
une

montrer

section
Si

que

le t h 4 o r ~ m e

x E X

et
p

poss~de

t 6 ~

une

on a

= e-tp(x)

suivant

La p r o p o s i t i o n

dans

T(~(t,x))

que

pour

tout

= + ~

alors

que

on s u p p o s e

que

la p r o p o s i t i o n

17.

il e x i s t e

un seul

r4el

T v4rifie

T(~(t,x))
{~(T(x),x)

de

(X,~)
de

, on montre
convergente

p(~(T(x),x))
Si

(T(Xn))

d'adh4rence
et

(x~)

de
de

1 = lim
n

propre
qu'il

tels

on

poss~de

de

On suppose

(corollaire
existe

alors

p(~(t,x))

tous

p = exp

est

d4crois-

= 0

soit alors

strict

tel q u e

que

de

= I
tI

alors

pour

tous

x E X

et

: soit

d4finition

de

(x n)

tout

n E ~

t2

deux

valeurs

et

sous-suites

une

pour

deux

tout

= 1

est 4videmment

est c o n t i n u e
X, par

la f o n c t i o n

alors

p(~(T(x),~)

pour

: x X},

soient

(x~)

que

= ~(t 1,x)
et de

que

= lira ~ ( T ( x ~ ) , x ~ )
n

on a alors

(T(Xn))

on p e u t

une sous-suite

et v 4 r i f i a n t

lim
n

de

= ~(t2,x)

t I = t 2 = ~(x)

est non born4e.

d4terministe
16),

T.

est propre.

= ~(x)-t

ils e x i s t e n t

pour

(strictement)

est p r o p r e ,

alors

: t I = lim ~(x~)et
t2 = l i m T(x~)
n
n
e s t c o n t i n u e sur ~ x X
on en d 4 d u i t a l o r s q u e

le s e m i - g r o u p e

croissante

(X,~)

lim
t++~

p(~(T(Xn),Xn))

est born4e,

~(~(x~),x~)

Par d4finition
ii)

et

(~(Xn))
(Xn)

L'application

Comme

= I

alors
vers

est

~(x)

alors

i)

si

est paral-

continue,

et de p l u s

x X

. On p o s e

S =

Comme

d4finie,

on a

(X,~)

section

- t. O n p o s e

et

t E ~

suite

[3],

(S,~)

positive

prouve

p(~(t,x))

17 i m p l i q u e

par

section

une

= ~(x)

Ainsi

une

de

continue

strictement

et v 4 r i f i e

R4ciproquement
d4finie

2.11.10
poss~de

si et s e u l e m e n t

section

c e qui

lim
t-=

(X,~)

est propre

est continue,

p(~(t,x))

si

continue.

(X,~)

Alors

sante

D'apr~s

si et s e u l e m e n t

associ4
supposer
(~(Xn))

x(x n)

au syst~me
sans

perdre

, qu'on

dual

est aussi

de g4n4ralit4s

notera

= + = . On c o n s i d ~ r e

aussi
alors

(T(Xn))
la s u i t e

143

de f o n c t i o n s
fn(y)

(fn)

d 4 f i n i e pour tous

= p(~(~(Xn),y))

n ~

et

une suite d 4 c r o i s s a n t e de f o n c t i o n s continues,

vers O , d'apr~s

le t h 4 o r ~ m e de Dini,

l o c a l e m e n t u n i f o r m 4 m e n t sur
x

et

(xn)

alors pour tout

la suite

y E K

on a

lim p(~(T(Xn),Xn) ) = O. Ce qui

n
p(~(T(Xn),Xn)) = I pour tout n q ~ .

COROLLAIRE.

Soit

(X,~)

d@terministe

associ~

une fonction

de Liapunov

tou8

et

x X

par

un 8yst~me

est propre
~

p , (fn) est

convergente simplement
(fn)

X . Soit un c o m p a c t

particulier

20.

y X

. Alors en v e r t u des p r o p r i 4 t 4 s de

c o n v e r g e alors

de

contenant

lim p(~(~(Xn),y)) = O , en
n
c o n t r e d i t le fait que

dynamique

8i et seulement

strictement

alor8
si

positive

le semi-groupe
(X,~)

poss~de

et v~rifiant

pour

t E
p(~(t,x))

= e-tp(x)

On r e m a r q u e que c e t t e c a r a c t 4 r i s a t i o n n ' e s t pas p o s s i b l e dans le

cadre d ' u n syst~me s e m i - d y n a m i q u e non induit par un syst~me dynamique.

BIBLIOGRAPHIE

[1]

A B R A H A M R.; M A R S D E N J.E.
- F o n d a t i o n s of mecanics.
Second e d d i t i o n 1978. The B e n j a m i n C o m m i n g s P u b l i s h i n g
C o m p a g n y Inc.

[2]

B A T H I A N.P.; HAJEK O.
- L o c a l s e m i - d y n a m i c a l systems.
L e c t u r e s Notes in M a t h e m a t i c s
H e i d e l b e r g - N e w - Y o r k 1969.

[3]

B A T H I A N.P.,

90, Springer V e r l a g Berlin-

SZEGO G.p.

- D y n a m i c a l systems : S t a b i l i t y theory and applications.

L e c t u r e Notes in M a t h e m a t i c s 35, S p r i n g e r V e r l a g BerlinH e i d e l b e r g - N e w - Y o r k 1967.
[4]

G O D B I L L O N C.
- S y s t ~ m e s d y n a m i q u e s sur les surfaces.
P u b l i c a t i o n I.R.MA. S t r a s b o u r g 1979.

[5]

H A J E K O.
- D y n a m i c a l systems in the Plane.
A c a d e m i c Press, L o n d o n and N e w - Y o r k 1968.

[6]

M E Y E R P.A.
- P r o b a b i l i t 4 s et potentiels.
P u b l i c a t i o n s de M a t h 4 m a t i q u e s de l'Universit4 de S t r a s b o u r g
XIV. A c t u a l i t 4 s s c i e n t i f i q u e s et industrielle. H e r m a n n
Paris 1966.

144

[7]

SAPERSTONE

S.H.

- Semi-dynamical systems in infinite dimentional spaces.

Applied M a t h e m a t i c a l sciences 37. Springer Verlag,
N e w - Y 0 r k - H e i d e l b e r g - B e r l i n 1981.

D 4 p a r t e m e n t de M a t h 4 m a t i q u e s
FACULTE DES SCIENCES DE TUNIS
1060 Belvedere
TUNIS

(Tunisie)