Documente Academic
Documente Profesional
Documente Cultură
Dynsys
Dynsys
Octavian G. Mustafa
1
b
12
. . . . . . . b
1n
0
2
b
23
. . . b
2n
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 . . .
n1
b
n1n
0 . . . . . 0
n
_
_
_
_
_
_
_
, (4)
unde (
i
)
1in
sunt valorile proprii ale matricei A nu neaparat distincte
iar b
jk
C pentru orice j < k n 1, . . . , n.
Pentru a proba acest fapt, urmam demonstrat ia din [6, p. 21 si urm.],
bazata pe induct ie matematica n raport cu n.
Luand n = 2, introducem matricele
A =
_
a b
c d
_
, T =
_
c
1
t
1
c
2
t
2
_
, T
1
=
_
_
astfel ncat
A
_
c
1
c
2
_
=
1
_
c
1
c
2
_
, T
1
T = I
2
=
_
1 0
0 1
_
.
1
(c
1
+c
2
) . . .
1
(c
1
+c
2
) . . .
_
=
_
1
b
12
0 b
22
_
, b
ij
C. (5)
Valorile proprii
9
ale matricei A verica ecuat ia algebric a [A I
2
[ = 0,
cf. [59, p. 24]. Una dintre solut iile acestei ecuat ii a fost deja introdus a n
discut ie, si anume
1
. Plecand de la identitatea
[AI
2
[ = [T
1
(AI
2
)T[ = [T
1
AT I
2
[, C,
9
= (c
1
, a
2
, . . . , a
k+1
) verica relat ia
(T
)
1
AT
=
_
_
_
_
1
b
12
. . . b
1k+1
0 b
22
. . . b
2k+1
. . . . . . . . . . . . . . . .
0 b
k+12
. . . b
k+1k+1
_
_
_
_
=
_
_
_
_
_
1
b
12
. . . b
1k+1
0
.
.
. B
k
0
_
_
_
_
_
,
unde B
k
/
k
(C). Ca si anterior, matricea B
k
are drept valori proprii
numerele (
i
)
2ik+1
celelalte valori proprii ale matricei A .
T in and seama de ipoteza de induct ie, obt inem matricea nesingulara T
k
cu proprietatea ca
T
1
k
B
k
T
k
=
_
_
_
_
_
_
_
2
d
12
. . . . . d
1k
0
3
d
23
. . . d
2k
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 . . .
k
d
k1k
0 . . . . . . 0
k+1
_
_
_
_
_
_
_
/
k
(C). (6)
Apoi, introducem matricea
T
k+1
=
_
_
_
_
_
1 0 . . . 0
0
.
.
. T
k
0
_
_
_
_
_
, T
1
k+1
=
_
_
_
_
_
1 0 . . . 0
0
.
.
. T
1
k
0
_
_
_
_
_
pentru care avem, evident, det T
k+1
= det T
k
,= 0.
10
Acesta este complexicarea spat iului liniar real R
k+1
, vezi [3, p. 144].
In particular,
daca e
1
, . . . , e
s
este o baza a spat iului liniar R
s
peste corpul R , atunci e
1
+ i
0
R
s, . . . , e
s
+i 0
R
s este o baza a spat iului liniar C
s
peste corpul C .
11
Fiind matrice de schimbare de baza n C
k+1
, este, evident, nesingular a.
19
Fie T = T
T
k+1
. Atunci,
T
1
AT = T
1
k+1
_
(T
)
1
AT
_
T
k+1
= T
1
k+1
_
_
_
_
_
1
b
12
. . . b
1k+1
0
.
.
. B
k
0
_
_
_
_
_
T
k+1
=
_
_
_
_
_
1
. . . . . . . . .
0
.
.
. T
1
k
B
k
T
k
0
_
_
_
_
_
. (7)
Concluzia rezulta combinand (6), (7). Armat ia a fost probat a
12
.
Rezultatul din expresia (4) poate ranat. Mai precis, arm am ca ind
dat > 0, elementele (b
ij
)
1i<jn
pot alese astfel ncat [b
ij
[ pentru
orice i, j, [6, p. 24], [3, p. 174].
Intr-adev ar, sa not am cu T
0
, respectiv b
0
ij
m arimile T, respectiv b
ij
din asert iunea anterioar a. Existent a lor este deja
dovedit a.
Pentru
0
(0, 1) dat, e matricea
E =
_
_
_
_
0
0 . . . . 0
0
2
0
0 . . . 0
. . . . . . . . . . . . .
0 . . . . 0
n
0
_
_
_
_
, E
1
=
_
_
_
_
_
1
0
0 . . . . 0
0
1
2
0
0 . . . 0
. . . . . . . . . . . . .
0 . . . . 0
1
n
0
_
_
_
_
_
.
Atunci, avem
(T
0
E)
1
A(T
0
E) = E
1
_
(T
0
)
1
AT
0
_
E
= E
1
_
_
_
_
_
_
_
0
b
0
12
2
0
. . . . . . . . . . . b
0
1n
n
0
0
2
2
0
b
0
23
3
0
. . . b
0
2n
n
0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 . . .
n1
n1
0
b
0
n1n
n
0
0 . . . . . . . . 0
n
n
0
_
_
_
_
_
_
_
=
_
_
_
_
_
_
_
1
b
0
12
0
. . . . . . . . b
0
1n
n1
0
0
2
b
0
23
0
. . . b
0
2n
n2
0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 . . .
n1
b
0
n1n
0
0 . . . . . . . . 0
n
_
_
_
_
_
_
_
.
12
Dac a, n calculul anterior, am ortonormat baza c
1
, a
2
, . . . , a
k+1
, atunci matricea
T ar devenit unitar a.
In acest caz, formula (4) desemneaza descompunerea I. Schur a
matricei A, cf. [27, p. 79].
20
Pentru a proba cea de-a doua asert iune este sucient sa alegem
0
astfel
ncat
0
_
1 + max
1i<jn
[b
0
ij
[
_
< , (8)
respectiv sa lu am T = T
0
E si b
ij
= b
0
ij
ji
0
pentru orice i, j.
Putem n acest moment prezenta un rezultat general de comportament
asimptotic al solut iilor sistemelor diferent iale ndimensionale. El se bazeaz a
pe cercetari ntreprinse de H. Poincare, A. Liapunov si O. Perron [9, p. 23]:
Fie A /
n
(R), unde n 2, si funct ia continua f : R
n
R
n
pentru care
13
f(0) = 0, lim
x0
|f(x)|
|x|
= 0. (9)
Atunci, (i) daca part ile reale ale valorilor proprii ale matricei A sunt nega-
tive, exista o vecinatate marginita V a originii 0
R
n cu proprietatea ca toate
solut iile x = x(t) ale sistemului diferent ial
.
x= Ax +f(x), (10)
pentru care x(0) = x
0
V sunt denite n [0, +) si satisfac estimarea
lim
t+
x(t) = 0. (ii) daca cel put in una dintre valorile proprii are partea reala
pozitiv a, atunci exista > 0 cu proprietatea ca pentru orice > 0 si orice
t
0 exista x
0
R
n
, cu |x
0
| < , astfel ca sistemul (10) sa admita cel
put in o solut ie x = x(t), cu x(t
) = x
0
, care e nu este denita pe toata
semiaxa [t
.
Pentru a proba armat iile anterioare, urmam demonstrat ia din [6, pg.
8182, 89].
Fie = max
1kn
(Re
k
) < 0 cazul (i) . T in and seama de (9), remarc am
ca, pentru orice
1
> 0, exist a
2
> 0 astfel ncat |f(x)|
1
|x| oricare
ar x R
n
cu |x|
2
. Fix am numerele ,
1
> 0 sucient de mici ca sa
avem inegalitatea
14
2
=
2
+
1
|T
1
||T| + < 0, (11)
13
Folosim norma euclidiana |x| = |x|
2
=
j=1
[x
j
[
2
, unde x =
_
_
_
x
1
.
.
.
x
n
_
_
_.
14
Vom utiliza norma operatoriala a matricei M /
m,n
(C), |M| = sup
x1
Mx
x
.
Aceasta ndeplineste condit ia |M N| |M| |N| pentru orice M /
m,n
(C),
N /
n,p
(C), unde m, n, p 1.
21
unde > 0. Numarul estimeaz a m arimea cantitat ilor b
ij
din (4), adica
[b
ij
[ . De asemeni, via (8), cantitat ile |T
1
|, |T| depind de
0
, deci si de
.
Teorema lui Peano [2, p. 98] ne asigura ca, ind dat x
0
R
n
, exist a o
solut ie x(t) a sistemului (10) denita pe un mic interval I la dreapta lui 0
astfel ncat x(0) = x
0
. Facem schimbarea de variabile x = Ty, unde y = y(t),
t I, care ne conduce la sistemul diferent ial
.
y = T
1
ATy +T
1
f(Ty)
=
_
_
_
_
_
_
_
1
b
12
. . . . . . . b
1n
0
2
b
23
. . . b
2n
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 . . .
n1
b
n1n
0 . . . . . 0
n
_
_
_
_
_
_
_
_
_
_
y
1
.
.
.
y
n
_
_
_
+
_
_
_
F
1
(y)
.
.
.
F
n
(y)
_
_
_
, (12)
unde funct iile F
i
: R
n
C sunt continue.
In plus, dac a |y|
2
=
2
T
,
atunci F =
_
_
_
F
1
.
.
.
F
n
_
_
_
[F
i
(y)[ |F(y)|
|T
1
| |f(Ty)| |T
1
|
1
|Ty|
1
|T
1
||T| |y| =
1
|y|, (13)
deci lim
y0
|F
i
(y)|
y
= 0, unde i 1, n.
22
Prin conjugare complexa
15
y =
_
_
_
y
1
.
.
.
y
n
_
_
_
,
d
dt
_
[y
k
[
2
_
= y
k
dy
k
dt
+y
k
dy
k
dt
= y
k
_
k
y
k
+
j>k
b
kj
y
j
+F
k
(y)
_
+ y
k
_
k
y
k
+
j>k
b
kj
y
j
+F
k
(y)
_
= 2 (Re
k
) [y
k
[
2
+
j>k
2 Re (b
kj
y
j
y
k
) + 2 Re
_
y
k
F
k
(y)
_
2 (Re
k
) [y
k
[
2
+ 2
j>k
[b
kj
y
j
y
k
[ + 2[y
k
F
k
(y)[
2[y
k
[
2
+ 2[y
k
[
_
2
n
j=k+1
[y
j
[
2
+ 2[y
k
[ [F
k
(y)[
2[y
k
[
2
+ 2
2[y
k
[
_
n
j=1
[y
j
[
2
+ 2[y
k
[ |F(y)|
= 2[y
k
[
2
+ 2
2[y
k
[ |y| + 2[y
k
[ |F(y)|,
unde k 1, n. De aici, prin sumare, ajungem la
d
dt
_
|y|
2
_
2|y|
2
+ 2
_
2
n
k=1
[y
k
[
2
|y| + 2
_
2
n
k=1
[y
k
[
2
|F(y)|
4
_
2
|y| +|y| +|F(y)|
_
|y|. (14)
Fie acum y
0
R
n
, cu |y
0
| <
2
. Dat a ind continuitatea solut iei y = y(t)
care porneste din y
0
= T
1
x
0
, remarc am ca aceasta ndeplineste condit ia
|y(t)| <
2
pe un mic interval notat tot I la dreapta lui 0. Via (11),
(14), (13), avem
d
dt
_
|y(t)|
2
_
4
_
2
+ +
1
_
|y(t)|
2
= 4
2
|y(t)|
2
, t I,
15
Reamintesc inegalitatea
_
n
s=1
a
s
_
2
2
n
s=1
a
2
s
, unde a
s
[0, +), s 1, n.
23
respectiv, prin integrare,
|y(t)| |y
0
|e
2
2
t
|y
0
|, t I. (15)
Teorema de extensie (explozie n timp nit) [25, p. 14, Corollary 3.2]
implica, dat a ind m arginirea solut iei y din (15), faptul ca aceasta exist a n
[0, +).
In particular, dac a x
0
R
n
ndeplineste restrict ia |x
0
|
3
=
2
T
1
T
=
2
T
1
2
= 2n
_
2 +
1
|T
1
||T|
_
> 0, (16)
unde > 0 si = min
1sk
Re
s
= Re
k
> 0.
Pe baza lui (16), introducem numarul c cu proprietatea ca
n
_
2 +
1
|T
1
||T|
_
=
2
2
< c <
+
2
2
. (17)
Ca si anterior, pentru orice s 1, n,
d
dt
_
[y
s
[
2
_
= 2 (Re
s
) [y
s
[
2
+
j>s
2 Re (b
sj
y
j
y
s
) + 2 Re
_
y
s
F
s
(y)
_
2 (Re
s
) [y
s
[
2
j>s
2[b
sj
[ [y
j
[ [y
s
[ 2[y
s
[ [F
s
(y)[
2 (Re
s
) [y
s
[
2
2|y|
j>s
[y
j
[ 2|y||F(y)|
2 (Re
s
) [y
s
[
2
2|y|
2|y| 2|y||F(y)|,
respectiv
d
dt
_
[y
s
[
2
_
2 (Re
s
) [y
s
[
2
+ 2|y|
2|y| + 2|y||F(y)|,
24
de unde
16
d
dt
_
[y
1
[
2
+ +[y
k
[
2
[y
k+1
[
2
[y
n
[
2
_
2
k
j=1
(Re
j
)[y
j
[
2
2k
_
2 +
1
|T
1
||T|
_
|y|
2
_
2
n
j=k+1
(Re
j
)[y
j
[
2
+ 2(n k)
_
2 +
1
|T
1
||T|
_
|y|
2
_
2
k
j=1
[y
j
[
2
2n
_
2 +
1
|T
1
||T|
_
|y|
2
= 2
k
j=1
[y
j
[
2
(
2
)|y|
2
= 2
_
+
2
2
k
j=1
[y
j
[
2
2
2
n
j=k+1
[y
j
[
2
_
2c
_
[y
1
[
2
+ +[y
k
[
2
[y
k+1
[
2
[y
n
[
2
_
.
Am folosit estimarea (17).
Asadar, pentru y
0
R
n
cu |y
0
| <
2
, dat a ind continuitatea solut iei y =
y(t) care porneste din y
0
= T
1
x
0
, aceasta va ndeplini condit ia |y(t)| <
2
pe un mic interval I situat la dreapta lui 0. Aici au loc inegalitat ile
Y
2cY,
respectiv pentru t
0
= 0
Y (t) Y (t
0
)e
2c(tt
0
)
, (18)
unde Y =
k
j=1
[y
k
[
2
j=k+1
[y
k
[
2
.
Fiind date (0,
3
), unde
3
=
2
T
1
, si x
0
R
n
cu |x
0
| < , solut ia
x = Ty a sistemului (10) e va exploda n timp nit e va satisface (18)
pe ecare subinterval al lui [0, +) n care |y(t)| <
2
. Aceasta pentru
ca nimic nu mpiedic a la acest nivel de generalitate solut ia (denita
n [0, +)) y a sistemului (12) sa par aseasca, respectiv sa revina n bila
deschisa centrata n 0
R
n de raza
2
. Pentru a proba (18) pe subintervale
care nu ncep n 0, folosim invariant a la translat ii (temporale) a sistemelor
diferent iale autonome [2, p. 122].
16
Reamintesc c a Re
j
0 pentru orice j k + 1, n.
25
Dac a pe [t
, t
1
), unde 0 t
t
1
+, are loc (18) si impunem ca
Y
0
= Y (t
) > 0, atunci
|T
1
| |x(t)| |y(t)| Y (t) Y
0
e
2c(tt)
, t [t
, t
1
). (19)
Pentru a ncheia demonstrat ia teoremei, presupunem ca, prin absurd,
pentru orice > 0 exist a (0,
3
) si t
)| <
atunci |x(t)| < n [t
, +).
Ins a, lu and t
1
= + n (19) si trec and la
limita, ajungem la o contradict ie: lim
t+
|x(t)| = +.
Am v azut deja, la sistemul diferent ial (1), comportamentul descris n
partea (i) a teoremei de la pagina 21. Atract ia exercitat a de 0
R
2 asupra
particulelorsolut ii
17
este ilustrata n Figura 1. Un exemplu celebru (R.
Vinograd, 1957, vezi [14, p. 80]), arata cat de diferite pot curbele din
planul fazelor n cazul sistemelor neliniare. Mai precis, ind dat sistemul
_
.
x
.
y
_
=
1
(x
2
+y
2
) [1 + (x
2
+y
2
)
2
]
_
x
2
(y x) +y
5
y
2
(y 2x)
_
, (20)
solut ia care pleac a din (x
0
, y
0
), unde x
0
= 5.5, y
0
= 0.5, produce curba din
Figura 4.
Folosim scriptul WINPP de mai jos.
vinograd.ode
1 dx/dt = ((x*x)*(y-x)+y*y*y*y*y)/((x*x+y*y)*(1+(x*x+y*y)
(cont.) *(x*x+y*y)))
2 dy/dt = ((y*y)*(y-2*x))/((x*x+y*y)*(1+(x*x+y*y)*(x*x+y*
(cont.) y)))
3 @axes=2,xp=x,yp=y,xl o=-10,yl o=-10,xhi =10,yhi =10,t0=0,
(cont.) trans =0,dt=1, t ot al =80000 ,bounds=10000
4 x(0)=-5.5
5 y(0)=0.5
6 done
Chiar dac a n cazul de fat a este o chestiune de gust putem scrie e y^5
e y*y*y*y*y , se merit a reamintit faptul ca organizarea expresiei de ite-
rat/integrat poate inuent a viteza de lucru/consumul de spat iu n memorie,
cf. discut iilor din [26].
2.2 Reparametrizarea traiectoriilor: modicarea
timpului t
Plecam de la urmatorul calcul (formal). Fiind dat a ecuat ia diferent iala
..
y = f(y), (21)
17
Pentru analogia miscare mecanic a evolut ie n planul fazelor, vezi [3, p. 98].
26
unde f : R R este continua, consider am funct ia F = F(y)
_
f(y)dy
o antiderivat a a lui f .
Ecuat ia devine
_
(
.
y)
2
_
= 2
..
y
.
y
= 2f(y)
.
y = [2F(y)]
,
de unde, prin integrare, ajungem la
.
y =
_
c + 2F(y), c R. (22)
x
y
(0,0)
Figura 4
Fix and semnul din fat a membrului drept funct iile continue au pro-
prietatea valorii intermediare (G. Darboux) , din expresia (22) obt inem o
ecuat ie cu variabile separabile [2, p. 69]. Dac a alegem convenabil primitiva
F adica, lu am c = 0 , solut ia ecuat iei diferent iale (21) se scrie ca
t =
_
y(t)
du
_
2F(u)
. (23)
Acest calcul, frecvent n cursurile elementare de ecuat ii diferent iale si -
zica matematica, ne obisnuieste cu ideea ca variabila t din ecuat ia (21) poate
imaginata ca o funct ie de solut ia ecuat iei.
27
Formalizam aici tipul de abordare anterior t = t(y) , urmand pre-
zentarea din [14, p. 16 si urm.]. Astfel, introducem ecuat ia diferent iala
dx
ds
= g(x)f(x), (24)
unde funct iile g : R (0, +) si f : R R sunt netede (cel put in C
1
).
Fiind local Lipschitziene, asemenea funct ii fac ca problema Cauchy asociata
ecuat iei (24) sa aiba solut ie unica [2, pg. 91, 95].
Justicarea formulei (23) este dat a de urmatoarea armat ie. Daca xam
t
0
, x
0
R si = (t) este solut ia ecuat iei
.
x = f(x), (25)
cu (t
0
) = x
0
, denita pe un mic interval I centrat n t
0
, atunci: (i) funct ia
X : I R cu formula
X(t) =
_
t
t
0
du
g((u))
, t I,
este injectiva; (ii) daca Y : X(I) I este inversa aplicat iei X, funct ia
: X(I) R cu formula (s) = (Y (s)) verica ecuat ia (24) si condit ia
(0) = x
0
.
s=X(t)
dX
dt
(t) =
.
(t) = f((t)),
respectiv
d
ds
(X(t)) = g((t)) f((t)) = g((X(t)))f((X(t))),
adica (24). Armat ia a fost probat a.
Ceea ce face rezultatul precedent este sa reparametrizeze
18
curbele in-
tegrale ale ecuat iei (25): practic, particulele-solut ii ale ecuat iilor (25), (24)
descriu aceleasi curbe, nsa evolueaza cu viteze [2, p. 6], [3, p. 18], diferite.
18
Insist asupra faptului c a reparametrizarea se realizeaz a per curb a depinde de datele
Cauchy si nu per familie de curbe [57, pg. 30, 31].
28
Putem, evident, generaliza tehnica reparametriz arii, impun and ca x = x :
I R
n
si f = f : R
n
R
n
, unde n 1. Un exemplu utilizat n geometria
diferent iala [35, p. 180] priveste sistemul
.
x = g(x)f(x) =
x
_
1 +|x|
2
,
vezi [14, p. 19].
2.3 Modicarea coordonatelor spat iale
2
3
0
__
x
1
x
2
_
. (26)
Legatura dintre matricele lor este dat a de relat ia
_
0 3
2
3
0
_
= B
=
_
1
2
0
0
1
3
__
0 2
1 0
__
2 0
0 3
_
= C
1
AC, C /
2
(R),
unde matricea C este, evident, nesingulara. Aici, matricea C expandeaz a cu
factorii 2, 3 direct iile de coordonate (carteziene) ale spat iului zic
19
(SF):
_
y
1
y
2
_
= C
_
x
1
x
2
_
.
2
=
_
1
0
_
, B
a,b
3
=
_
a b
b a
_
,
unde , , a, b R.
Urm am discut ia din [48, pg. 2026]. Astfel, n Figurile 1, 712 sunt re-
prezentate solut ii ale sistemelor diferent iale date de B
1,2
1
, respectiv B
1,2
1
,
B
2
2
, B
1,2
3
, B
0,2
3
, B
1,2
3
, B
1,1
1
.
Originea 0
R
2 din Figurile 1, 8, 12 desemneaza un nod stabil
23
.
In Figura 7
avem un punct-sa
24
. Figurile 9, 11 ilustreaz a un focar stabil
25
.
In sfarsit, ori-
ginea planului din Figura 10 constituie un centru
26
. Generic, putem considera
originea 0
R
2 din Figurile 1, 8, 9, 11, 12 drept o scurgere ori chiuveta
27
.
Dupa H. Poincare [57, pg. 4042], nodul din Figura 1 este 2tangent, cel
din Figura 8 este 1tangent iar cel din Figura 12 un nod stelar.
22
In limba englez a, sink, cf. [2, pg. 167, 172]. Aici, toate valorile proprii ale matricei
B au partea reala negativ a. Dac a exista numai valori proprii cu partea reala pozitiv a,
originea 0
R
2 este o sursa.
In limba englez a, source [48, p. 56].
31
x
y
(0,0)
Figura 7
x
y
(0,0)
Figura 8
32
x
y
(0,0)
Figura 9
x
y
(0,0)
Figura 10
33
x
y
(0,0)
Figura 11
x
y
(0,0)
Figura 12
Clasicarea originii 0
R
2 pe baza ecuat iei caracteristice
det(A I
2
) = [A I
2
[
=
2
Trace(A) + det A
= 0,
cu radacinile
i
=
1
2
(Trace(A)
X(
x , t) = e
At
x =
+
q=0
t
q
q!
A
q
x , t I.
Aici,
x =
_
x
0
y
0
_
R
2
iar I R este un interval deschis centrat n 0.
Evident, familia
_
X(, t)
_
tI
formeaza un grup uni-parametric de trans-
formari liniare ale spat iului euclidian R
2
, cf. [3, p. 126, Teorema], [42, p.
2]:
e
At
e
As
x = e
A(t+s)
x , t , s , t +s I.
Ne intereseaza ce se ntampl a cu orbitele grupului [42, p. 13] atunci cand
asupra spat iului act ioneaza difeomorsmul
f : R
2
R
2
, unde
f (
x ) =
T
1
x si matricea T /
2
(R) este nesingulara.
Mai ntai, sa observam ca sistemului de ecuat ii (12), rezultat n urma
acestei act iuni, adica
d
y
dt
= T
1
AT
y , (27)
35
i corespunde grupul uni-parametric
_
Y (, t)
_
tI
dat de aplicat ia [2, p.
155]
Y (
y , t) = e
T
1
ATt
y = T
1
e
At
T
y , t I,
y R
2
. (28)
Apoi, cum
x
X
x
= A
x
=
t
_
e
At
x
t=0
.
Y =
f
X.
Putem reformula acum, via [42, p. 9, Propozit ia 1], cea de-a doua egali-
tate din (28): imaginea prin funct ia
f a punctului curent de pe orbita care
trece prin
x a grupului
X(, t) este punctul curent de pe orbita trecand prin
f(
x ) a grupului
Y (, t). Spunem despre sistemele diferent iale (3) si (27) ca
sunt conjugate topologic
29
.
Alt rezultat cu savoare geometric a legat de sistemul (3) priveste deri-
vata Lie dup a campul
X [44, p. 31] a funct iei
x |
x |
2
, si anume
L
X
x
|
x |
2
= 2(
x [A
x )
R
2, (29)
cf. [3, p. 174], unde ([)
R
2 desemneaza produsul scalar euclicidian. Folosind
aceasta estimare, se pot construi homeomorsme
f : R
2
R
2
care sa trans-
porte traiectoriile particulelor-solut ii ntre Figurile 1, 8, 9, 11, 12, eventual
reparametriz andu-le, cf. [3, pg. 170, 178], [2, pg. 183, 184]. Astfel, sistemele
diferent iale n cauza sunt echivalente topologic [54, p. 113].
2.6 Varietatea stabil a W
s
si varietatea instabil a W
u
ale unui echilibru hiperbolic
Ca si pana acum, presupunem ca exist a k 1, n, unde n < +, astfel
ncat valorile proprii ale matricei A din cadrul sistemului diferent ial (10) sa
ndeplineasca inegalitat ile
max
1qk
Re
q
< < 0 < < min
k+1rn
Re
r
.
28
_
+
t
W
2
(t s)F((s, a))ds, t 0, (33)
unde a = (a
1
, , a
k
, 0, , 0)
T
R
n
.
De asemeni, consider am ca F C
1
(R
n
, R
n
) ndeplineste condit iile: F(0)
= 0, Jac
0
R
n
(F) = 0 (matricea jacobiana a aplicat iei [44, p. 20]).
In particu-
lar, pentru orice
1
> 0 exist a
2
> 0 cu proprietatea ca |F(x
1
) F(x
2
)|
1
|x
1
x
2
| si |Jac
x
3
(F)|
1
oricare ar x
i
R
n
cu |x
i
|
2
, i 1, 3.
Arm am ca ecuat ia (33) admite o singura solut ie marginita, depinzand
doar de (a
i
)
i1,k
si, evident, de variabila t .
Pentru a demonstra asert iunea, xam (, 0) si K
1
K astfel ca
_
2K max
_
1
+
1
,
1
+
1
_
1
< 3K
_
1
+
1
1
< 1,
2K
1
|a| <
2
.
(34)
37
De asemeni, m arim eventual cantitatea K pentru a avea 2K > 1.
Utilizand tehnica aproximat iilor succesive (E. Cotton, M. Picard), cons-
truim o solut ie a ecuat iei integrale. Mai precis,
0
(t, a) = 0,
m+1
(t, a) = W
1
(t)a +
_
t
0
W
1
(t s)F(
m
(s, a))ds
_
+
t
W
2
(t s)F(
m
(s, a))ds, m 1.
Arm am ca
_
|
m+1
(t, a)
m
(t, a)| K
1
e
t
a
2
m
,
|
m
(t, a)| 2K
1
e
t
|a|,
m 0. (35)
Aceasta (noua) asert iune va probat a n continuare folosind induct ia mate-
matica n raport cu m.
Asadar, cand m = 1, avem via (31)
|
1
(t, a)| = |
1
(t, a)
0
(t, a)|
= |W
1
(t)a| Ke
t
|a| K
1
e
t
|a|
2K
1
e
t
|a|.
Presupun and inegalitat ile adev arate pentru m = h 1 si t in and seama
de (34), deducem ca
|
h+1
(t, a)
h
(t, a)|
_
t
0
Ke
(ts)
1
|
h
(s, a)
h1
(s, a)|ds
+
_
+
t
Ke
(ts)
1
|
h
(s, a)
h1
(s, a)|ds
K
1
2
h1
|a| K
1
_
t
0
e
t
e
()s
ds
+
K
1
2
h1
|a| K
1
_
+
t
e
t
e
()s
ds
K
1
K
1
2
h1
|a|
_
1
+
1
_
e
t
= K
1
e
t
|a|
2
h
2K
_
1
+
1
_
1
K
1
e
t
|a|
2
h
,
38
respectiv
|
h
(t, a)|
h1
i=0
|
i+1
(t, a)
i
(t, a)| K
1
e
t
|a|
h1
i=0
2
i
2K
1
e
t
|a|.
Ultima armat ie a fost stabilita.
m0
[
m+1
(, a)
m
(, a)] converge local
uniform n raport cu variabila t la solut ia (, a) a ecuat iei integrale (33).
In
plus, pe baza (35),
lim
t+
(t, a) = 0. (36)
Structura pe blocuri a matricelor W
i
, ne conduce la sistemul de ecuat ii
integrale
_
k
(t, a) = e
B
1
t
a
k
+
_
t
0
e
B
1
(ts)
F
k
((s, a))ds,
nk
(t, a) =
_
+
t
e
B
2
(ts)
F
nk
((s, a))ds,
t 0. (37)
Aici, (t, a) = (
k
(t, a),
nk
(t, a))
T
R
k
R
nk
si a = (a
k
, 0
R
nk) iar F(u)
= (F
k
(u), F
nk
(u)) R
k
R
nk
, unde u R
n
.
Solut ia = (t, a) pleac a din punctul
(
k
(0, a),
nk
(0, a))
T
(38)
= (a
1
, , a
k
,
k+1
(0, a
k
, 0
R
nk), ,
n
(0, a
k
, 0
R
nk)),
unde, vezi (34),
i=0
a
2
i
<
2
2K
1
.
Am gasit, asadar, o solut ie a ecuat iei integrale (33). De asemeni, nicaieri
n demonstrat ia inductiva nu am folosit faptul ca ultimele n k intrari ale
coloanei a sunt nule. Ele au fost alese astfel pentru ca ecuat ia n cauza nu le
vede:
W
1
(t)a =
_
e
B
1
t
a
k
0
R
nk
_
, a R
n
, t R.
Fie acum a, b R
n
vericand restrict iile (34). Presupunem ca (, a) si
(, b) sunt solut ii ale ecuat iei integrale (33) cu proprietatea ca
|(t, a)|
2
, |(t, b)|
2
, t 0.
39
Are loc estimarea
|(t, a) (t, b)| Ke
t
|a
k
b
k
|
+ K
1
_
1 e
t
+
1
_
sup
s0
|(s, a) (s, b)|
K|a
k
b
k
|
+ K
1
_
1
+
1
_
sup
s0
|(s, a) (s, b)|,
de unde, trec and la supremum dup a t [0, +), ajungem la
sup
t0
|(t, a) (t, b)|
_
1 K
1
_
1
+
1
__
K|a
k
b
k
|,
respectiv
|(, a) (, b)|
2K|a
k
b
k
|. (39)
Deci, dac a a
k
= b
k
, atunci (, a) = (, b). Trebuie remarcat faptul ca
nu am precizat prin ce tehnica sunt construite solut iile m arginite!
Unicitatea solut iei m arginite, oferita de (39), mpreun a cu expresia punc-
tului sau de plecare (38) stabilesc existent a funct iilor
i
: B R cu formula
i
(a
k
) =
i
(0, a
k
, 0
R
nk), i k + 1, n.
Aici, B este bila deschisa a spat iului euclidian R
k
cu centrul n originea spa-
t iului si raza
2
2K
1
. Din (39) rezulta, n plus, ca reamintesc, 2K > 1
[
i
(a
k
)
i
(b
k
)[ 2K|a
k
b
k
|, (40)
deci funct iile (
i
)
ik+1,n
sunt continue. Asert iunea init iala a fost stabilita.
Mai departe, arm am ca funct iile (
i
)
ik+1,n
sunt continuu diferent iabile.
Pentru a proba acest lucru, ncepem cu estimarea
sup
t0
sup
a
k
,a
k
+hB, h=0
|(t, a
k
+h, 0
R
nk) (t, a
k
, 0
R
nk)|
|h|
2K < +. (41)
Apoi, derivam formal ecuat ia (33) n raport cu a
j
, j 1, k. Obt inem ca
a
j
(t, a) = W
1
(t) e
j
+
_
t
0
W
1
(t s)Jac
(s,a)
(F)
a
j
(s, a)ds
_
+
t
W
2
(t s)Jac
(s,a)
(F)
a
j
(s, a)ds,
40
unde e
j
= (0, , 1, , 0)
T
R
n
cifra 1 este situata pe pozit ia a ja .
T in and seama de propriet at ile funct iei F, avem |Jac
(s,a)
(F)|
1
.
Printr-un proces iterativ asem anator celui care a stabilit existent a solut iei
, se arata ca ecuat ia integrala liniara
(t, a) = W
1
(t) e
j
+
_
t
0
W
1
(t s)Jac
(s,a)
(F) (s, a)ds
_
+
t
W
2
(t s)Jac
(s,a)
(F) (s, a)ds (42)
are o singura solut ie marginita continua :
j
=
j
(t, a).
Fix am j 1, k si h = h e
j
pentru h R sucient de mic.
Atunci, deducem ca
_
_
_
_
(t, a +h) (t, a)
h
j
(t, a)
_
_
_
_
(43)
__
t
0
Ke
(ts)
+
_
+
t
Ke
(ts)
_
_
_
_
_
F((s, a +h)) F((s, a))
h
Jac
(s,a)
(F)
j
(s, a)
_
_
_
_
ds
=
__
t
0
Ke
(ts)
+
_
+
t
Ke
(ts)
_
_
_
_
_
/
(s,a,h)
(F)
(t, a +h) (t, a)
h
Jac
(s,a)
(F)
j
(s, a)
_
_
_
_
ds
__
t
0
Ke
(ts)
+
_
+
t
Ke
(ts)
_
_
|Jac
(s,a)
(F)|
_
_
_
_
(s, a +h) (s, a)
h
j
(s, a)
_
_
_
_
+ |Jac
(s,a)
(F) /
(s,a,h)
(F)|
_
_
_
_
(s, a +h) (s, a)
h
_
_
_
_
_
ds
__
t
0
Ke
(ts)
+
_
+
t
Ke
(ts)
_
1
_
_
_
_
(s, a +h) (s, a)
h
j
(s, a)
_
_
_
_
(vezi (41)) +|Jac
(s,a)
(F) /
(s,a,h)
(F)| 2K
ds,
41
unde, plec and de la
F
i
((s, a)) F
i
((s, a +h))
=
__
1
0
F
i
((s, a +h) +u[(s, a) (s, a +h)]) du
[ [(s, a) (s, a +h)] )
R
n
, produs scalar
pentru i 1, n, denim matricea / prin formula
F((s, a)) F((s, a +h)) = /
(s,a,h)
(F) [(s, a) (s, a +h)]. (44)
Adic a,
/
(s,a,h)
(F) =
_
1
0
Jac
(s,a+h)+u[(s,a)(s,a+h)]
(F)du. (45)
Formula acestei matrice ne conduce la existent a limitei
lim
h0
/
(s,a,h)
(F) = Jac
(s,a)
(F) (46)
uniform n raport cu s [0, +)
30
.
Revenind la (43), obt inem ca
_
_
_
_
(t, a +h) (t, a)
h
j
(t, a)
_
_
_
_
K
_
1
+
1
1
sup
s0
_
_
_
_
(s, a +h) (s, a)
h
j
(s, a)
_
_
_
_
+2K
2
_
1
+
1
_
sup
s0
_
_
Jac
(s,a)
(F) /
(s,a,h)
(F)
_
_
1
2
sup
s0
_
_
_
_
(s, a +h) (s, a)
h
j
(s, a)
_
_
_
_
+2K
2
_
1
+
1
_
sup
s0
_
_
Jac
(s,a)
(F) /
(s,a,h)
(F)
_
_
.
30
Observam c a
|(s, a +h) +u[(s, a) (s, a +h)]| |(s, a +h)| +|(s, a) (s, a +h)|
|(s, a +h)| + 2K|h| 2K
1
|a + h| + 2K|h| 4K
1
|h| + 2K
1
|a|
2K
1
(2 +|a|) ,
unde s 0, u [0, 1] si |h| 1. Estimarea (46) reprezinta o consecint a a faptului c a
aplicat ia x Jac
x
(F) este uniform continu a n bila nchis a a spat iului euclidian R
n
cu
centrul n originea spat iului si raza 2K
1
(2 +|a|).
42
Trecand la supremum dup a t, ajungem la
sup
t0
_
_
_
_
(t, a +h) (t, a)
h
j
(t, a)
_
_
_
_
4K
2
_
1
+
1
_
sup
s0
_
_
Jac
(s,a)
(F) /
(s,a,h)
(F)
_
_
2K
1
sup
s0
_
_
Jac
(s,a)
(F) /
(s,a,h)
(F)
_
_
.
Pe baza (46), deducem ca
lim
h0
sup
t0
_
_
_
_
(t, a +h) (t, a)
h
j
(t, a)
_
_
_
_
= 0,
de unde
a
j
=
j
, j 1, k. Diferent iabilitatea funct iilor
i
este acum proba-
ta.
Similar relat iilor (37), ecuat ia (42) ne conduce la
_
k
(t, a) = e
B
1
t
e
k
j
+
_
t
0
e
B
1
(ts)
k
_
Jac
(s,a)
(F)(s, a))
_
ds,
nk
(t, a) =
_
+
t
e
B
2
(ts)
nk
_
Jac
(s,a)
(F)(s, a))
_
ds,
t 0, (47)
unde (t, a) = (
k
(t, a),
nk
(t, a))
T
R
k
R
nk
, e
j
= (e
k
j
, 0
R
nk) iar
k
:
R
n
R
k
,
nk
: R
n
R
nk
sunt proiectorii
31
corespunz atori descompunerii
u = (u
1
, . . . , u
n
)
((u
1
, . . . , u
k
), (u
k+1
, . . . , u
n
))
= (
k
(u),
nk
(u)), u R
n
.
31
k
: R
n
R
n
cu formula
k
(u) = (u
1
, . . . , u
k
, 0, . . . , 0). Evident,
2
k
=
k
si |
k
(u)|
|u|, u R
n
.
43
De asemeni, avem estim arile
|(t, a)| Ke
t
+
_
t
0
Ke
(ts)
sup
zsup
0
(,a)
|Jac
z
(F)| sup
0
|(, a)| ds
+
_
+
t
Ke
(ts)
sup
zsup
0
(,a)
|Jac
z
(F)| sup
0
|(, a)| ds
K +K
_
1
+
1
_
sup
z2K
1
a
|Jac
z
(F)| sup
0
|(, a)|
K +K
_
1
+
1
1
sup
0
|(, a)|
K +
1
2
sup
0
|(, a)|, t 0,
de unde trec and la supremum dup a t
|(, a)|
2K. (48)
Din cea de-a doua dintre relat iile (47) deducem ca
|
nk
(t, a)|
_
+
t
Ke
(ts)
sup
z2K
1
a
|Jac
z
(F)| |(s, a)|ds
(vezi (48))
2K
2
sup
z2K
1
a
|Jac
z
(F)|,
respectiv
lim
a0, a =0
sup
t0
|
nk
(t, a)| = 0.
In particular,
i
a
j
a
k
=0
R
k
= 0.
Am obt inut, pana acum, existent a mult imii
S = (a
k
,
k+1
(a
k
), ,
n
(a
k
))[a
k
B.
Aceasta alcatuieste o varietate diferent iala (C
1
) (simpla) real a de dimensiune
k, cf. [44, p. 10].
44
De asemeni, varietatea S este tangenta n 0
R
n subspat iului R
k
iar solut iile
sistemului diferent ial (12) care pornesc din ea sendreapt a catre 0
R
n, conform
(36), traiectoriile lor devenind tangente la innit
32
aceluiasi subspat iu.
Cea de-a doua estimare (35) ne arata ca solut iile care pleaca din S raman
n B pentru orice t 0. De asemeni, unicitatea solut iei pentru problema
Cauchy si invariant a la translat ii temporale a solut iilor sistemelor diferent iale
autonome ne conduc la:
(t, (t
0
, a)) = (t +t
0
, a), a, (t
0
, a) B, (49)
cand t
0
, t 0.
Pe baza formulei (32), solut ia = (, (t
0
, a)) verica ecuat ia integrala
(t) = (W
1
+W
2
)(t)(t
0
, a) +
_
t
0
(W
1
+W
2
)(t s)F((s))ds
= W
1
(t)(t
0
, a) +
_
t
0
W
1
(t s)F((s))ds
_
+
t
W
2
(t s)F((s))ds
+ W
2
(t)(t
0
, a) +
_
+
0
W
2
(t s)F((s))ds
= W
1
(t)(t
0
, a) +
_
t
0
W
1
(t s)F((s))ds
_
+
t
W
2
(t s)F((s))ds
+ W
2
(t)
_
(t
0
, a) +
_
+
0
W
2
(s)F((s))ds
_
. (50)
Forma speciala a matricei W
2
(t) intr arile acesteia cont in factori de
forma e
t
, cu > 0 mpreun a cu restrict ia (36) ne conduc la concluzia ca
marimea din paranteza patrata din (50) trebuie sa e 0. Aceasta nseamn a
ca funct ia m arginit a este defapt o solut ie a ecuat iei (33) cu a
k
= (t
0
, a)
k
.
Unicitatea solut iei pentru ecuat ia n cauza implica
(0) = (0, (t
0
, a))
= ((t
0
, a)
k
,
k+1
((t
0
, a)
k
), ,
n
((t
0
, a)
k
)).
32
Altfel spus, traiectoriile plecand din V au asimptote situate n subspat iul R
k
. Se
cuvine facut un comentariu privind aceste subspat ii. Forma special a a p art ii liniare a
sistemului diferent ial (B = T
1
AT) face ca baza canonica a spat iului euclidian R
n
sa e
formata din vectori proprii ai matricei B. De aceea, c and revenim la sistemul original,
varietatea S corespunz atoare va tangent a n 0
R
n subspat iului kdimensional format de
vectorii proprii corespunz and valorilor proprii cu partea reala negativ a [54, p. 111].
45
Astfel, via (49), observam ca (t
0
, a) S. Cum t
0
0 este arbitrar, conclu-
dem ca solut iile sistemului diferent ial (12) care pornesc din S raman n S
pentru totdeauna.
W
1
(t s)F((s, a))ds, t 0,
unde a = (0, , 0, a
k+1
, , a
n
)
T
R
n
. Si ea verica formal sistemul di-
ferent ial (12). Se poate stabili analog existent a unei variet at i diferent iale
reale U, de dimensiune n k, pentru care lim
t
(t, a) = 0, unde a W
[15, p. 344]. Aceasta varietate, ortogonal a varietat ii V , este tangenta n 0
R
n
subspat iului R
nk
al spat iului euclidian R
n
.
Varietat ile S, U se numesc varietate stabila (locala), respectiv varietate
instabila (locala) pentru echilibrul hiperbolic 0
R
n. Vezi [2, p. 269, The-
orem 19.11]. Dac a
t
este grupul Lie
33
de transformari asociat sistemului
diferent ial (10), atunci mbr ac am varietat ile locale, formand mult imile
W
s
local
=
_
t0
t
(S), W
u
local
=
_
t0
t
(U).
Evident,
t
(W
s
local
) W
s
local
, respectiv
t
(W
u
local
) W
u
local
, adica W
s
local
, W
u
local
sunt invariate de curentul
t
, solut iile care pleac a dintr-una din ele ram anand
acolo pentru totdeauna. Aceasta observat ie ne conduce la mult imile
34
_
W
s
(0
R
n) = x
0
R
n
[ lim
t+
(t, x
0
) = 0,
W
u
(0
R
n) = x
0
R
n
[ lim
t
(t, x
0
) = 0,
care reprezinta varietatea stabila (globala), respectiv varietatea instabila (glo-
bala) a sistemului diferent ial n 0
R
n [53, p. 120]. Este clar ca W
s
local
W
s
(0
R
n)
si W
u
local
W
u
(0
R
n).
O demonstrat ie a existent ei acestor varietat i folosind Principiul Contrac-
t iei Fibrelor (C. Pugh, M. Hirsch) poate citita n [14, p. 326 si urm.]. O
vom detalia ncep and cu pagina 88.
t
(x
0
) = (t, x
0
).
46
2.7 Lema lui M. Morse: reprezentarea funct iilor
scalare prin forme p atratice
Fie F : R
n
R o funct ie neted a. Folosim notat iile DF(x) =
x
(F),
D
2
F(x) = Hess
x
(F) ca sa ne referim la gradientul, respectiv la matricea
hessiana, calculate n x R
n
, ale funct iei F.
Arm am ca, daca DF(0) = 0 si det D
2
F(0) ,= 0, atunci exista funct ia
neteda : V R
n
astfel ncat
_
(0) = 0, D(0) = I
n
,
F((x)) = F(0) +
1
2
(x[D
2
F(0)x)
R
n
(51)
ntr-o mica vecinatate V a punctului 0
R
n.
Urm am prezentarea din [18, p. 212, Lemma 3].
Incepem justicarea
introduc and funct ia : R R cu formula (t) = F(tx), unde F(x) =
(F
1
(x), , F
n
(x))
T
, respectiv x = (x
1
, , x
n
)
T
.
Au loc relat iile
(1) (0) =
_
1
0
(t)dt (52)
=
_
1
0
(1 t)
(t)dt
=
(0) +
_
1
0
(1 t)
(t)dt (53)
=
(0)
_
1
0
_
(1 t)
2
2
_
(t)dt
=
(0) +
1
2
(0) + , (54)
respectiv notat ii: F
x
i
=
F
x
i
, F
x
i
x
j
=
2
F
x
i
x
j
(t) =
n
i=1
F
x
i
(tx) (tx
i
)
= (DF(tx)[ x)
R
n,
(t) =
1i,jn
F
x
i
x
j
(tx)x
i
x
j
= (x[D
2
F(tx)x)
R
n,
(55)
unde t R, x R
n
.
In particular,
(0) = (DF(0)[ x)
R
n = 0.
Fie matricea (neteda)
A = A(x) =
_
1
0
(1 t)D
2
F(tx) dt = (A
ij
(x))
1i,jn
. (56)
47
Relat iile (53), (54) ne conduc la
F(x) = (1)
= (0) + (x[ A(x)x)
R
n (57)
= F(0) + (x[ A(0)x)
R
n +o(|x|
2
), cand x 0
R
n. (58)
Este clar ca A(0) =
1
2
D
2
F(0), deci exist a o motivat ie n ncercarea de a cons-
trui schimbarea de variabile care sa nlature elementul o din identitatea
(58).
De asemeni, via (52), (55), observam ca funct ia F admite reprezentarea
F(x) = F(0) + (G(x)[ x)
R
n, G(x) =
_
1
0
DF(tx) dt, x R
n
,
rezultat cunoscut si ca lema lui J. Hadamard [3, p. 104]. Am utilizat deja
aceasta tehnica n (44), (45).
Matricea hessiana a aplicat iei F ind simetrica, valorile proprii ale ma-
tricei A(0) sunt reale. Utilizand eventual o baz a a spat iului euclidian R
n
formata din vectori proprii ai acestei matrici, putem presupune ca matricea
A(0) este diagonala.
Vom stabili, folosind induct ia matematica dup a m 0, . . . , n, existent a
aplicat iilor netede
m
= (
1
m
, ,
n
m
)
T
, denite n jurul originii 0
R
n, cu va-
lori n R
n
, pentru care
_
m
(0) = 0, D
m
(0) = I
n
,
F(
m
(x)) = F(0) +
sgn m
2
m
i=1
F
x
i
x
i
(0)x
2
i
+
sgn (nm1)
2
n
i,j =m+1
a
ij
m
(x)x
i
x
j
,
(59)
unde funct iile a
ij
m
sunt netede si a
ij
= a
ji
oricare ar i, j m+ 1, n.
Prin derivarea ultimei relat ii (59) aplicam operatorul
2
x
k
xs
, unde
k, s m+ 1 , obt inem ca
1u,vn
F
xuxv
(
m
)
u
m
x
k
v
m
x
s
+
n
w=1
F
xw
(
m
)
2
m
x
k
x
s
= a
sk
m
+
n
i=m+1
_
a
ik
m
x
s
+
a
is
m
x
k
_
x
i
+
1
2
n
i,j =m+1
2
a
ij
m
x
k
x
s
x
i
x
j
,
de unde
F
xsx
k
(0) = a
sk
m
(0). (60)
48
_
y
1
= x
1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
y
m
= x
m
_
y
m+1
+
n
j=m+2
a
(m+1)j
m
(y)x
j
a
(m+1)(m+1)
m
(y)
_
_
a
(m+1)(m+1)
m
(y)
Fx
m+1
x
m+1
(0)
= x
m+1
y
m+2
= x
m+2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
y
n
= x
n
.
(61)
Derivam expresia care introduce funct ia y
m+1
, rescrisa astfel
Y (x
1
, , x
m
, y
m+1
, x
m+2
, , x
n
) = x
m+1
,
unde
Y = Y
x
1
, ,xm,x
m+2
, ,xn
(y
m+1
)
=
_
y
m+1
+
n
j=m+2
x
j
a
(m+1)j
m
a
(m+1)(m+1)
m
_
a
(m+1)(m+1)
m
F
x
m+1
x
m+1
(0)
,
obt in and
dY
dy
m+1
=
_
_
1 +
n
j=m+2
x
j
da
(m+1)j
m
dy
m+1
a
(m+1)(m+1)
m
da
(m+1)(m+1)
m
dy
m+1
_
a
(m+1)(m+1)
m
_
2
n
j=m+2
x
j
a
(m+1)j
m
_
_
Marginirea locala consecint a a netezimii funct iilor a
ij
m
,
da
ij
m
dy
m+1
si (60)
implica faptul ca, pe o mica vecinatate a originii 0
R
n, funct ia
dY
dy
m+1
are semn
constant nenul. Atunci, pe baza teoremei de inversiune locala, concludem ca
relat iile (61) denesc, cu adev arat, o schimbare neted a de variabile.
49
Au loc egalitat ile ipoteza de induct ie
F(
m
(y)) = F(
m
(y(x)))
= F(0) +
m
i=1
F
x
i
x
i
(0)y
2
i
+
1
2
a
(m+1)(m+1)
m
(y)y
2
m+1
+
n
j=m+2
a
(m+1)j
m
(y)y
m+1
y
j
+
1
2
n
i,j =m+2
a
ij
m
(y)y
i
y
j
= F(0) +
m
i=1
F
x
i
x
i
(0)x
2
i
+
1
2
n
i,j =m+2
a
ij
m
(y)x
i
x
j
+
1
2
a
(m+1)(m+1)
m
(y)y
2
m+1
+
n
j=m+2
a
(m+1)j
m
(y)y
m+1
x
j
, (62)
respectiv ridicam la patrat cea de-a (m+ 1)a egalitate (61)
1
2
F
x
m+1
x
m+1
(0)x
2
m+1
=
1
2
a
(m+1)(m+1)
m
(y)y
2
m+1
+
n
j=m+2
a
(m+1)j
m
(y)y
m+1
x
j
(63)
+
1
2
n
, =m+2
a
(m+1)
m
(y)a
(m+1)
m
(y)
a
(m+1)(m+1)
m
(y)
x
.
Inserand cantitatea (63) n relat iile (62), deducem ca
F(
m
(y))
= F(0) +
m
i=1
F
x
i
x
i
(0)x
2
i
+
_
1
2
F
x
m+1
x
m+1
(0)x
2
m+1
1
2
n
i,j =m+2
a
(m+1)i
m
(y)a
(m+1)j
m
(y)
a
(m+1)(m+1)
m
(y)
x
i
x
j
_
+
1
2
n
i,j =m+2
a
ij
m
(y)x
i
x
j
= F(0) +
m+1
i=1
F
x
i
x
i
(0)x
2
i
+
1
2
n
i,j =m+2
b
ij
m+1
(y)x
i
x
j
.
50
Aici,
b
ij
m+1
(y) = a
ij
m
(y)
a
(m+1)i
m
(y)a
(m+1)j
m
(y)
a
(m+1)(m+1)
m
(y).
In concluzie,
m+1
(x) =
m
(y(x)) si a
ij
m+1
(x) = b
ij
m+1
(y(x)). Armat ia
(59) a fost, asadar, probat a.
Estimarea (51) (datorata lui M. Morse) este obt inut a lu and m = n n
(59).
T in and seama de aceasta reprezentare a funct iilor netede, devine evident
faptul ca rolul jucat de aplicat ia F de la pagina 37 n structura sistemului
diferent ial (10) este cel al part ii patratice.
Sa presupunem ca F(0) = 0. Atunci, lema lui Morse ne conduce la
F((x)) =
1
2
(x[D
2
F(0)x)
R
n = (A(0)x[ x)
R
n,
respectiv la
F(x) = (A(0)(x)[ (x))
R
n, =
1
. (64)
Urm and prezentarea din [35, pg. 182184], construim o demonstrat ie
a lemei (R. Palais) care poate adaptat a la cazul spat iilor Hilbert innit
dimensionale.
Deoarece funct ia matriceala A din (56) este neted a iar matricea A(0)
inversabil a, matricele A(x) raman inversabile
35
ntr-o mic a vecin atate V a o-
riginii 0
R
n. Fie B : V /
n
(R) funct ia dat a de formula B(x) = A(0)
1
A(x).
Evident, matricea B(x) este inversabil a.
Micsorand eventual talia mult imii V , presupunem ca |B(x)| < 1, x V .
Atunci, putem introduce funct ia C : V /
n
(R) cu formula
C(x) =
_
B(x) =
+
m=0
_
1
2
m
_
[I B(x)]
m
, (65)
vezi [31, p. 34].
Fie B(x)
z)
R
n = y
T
B(x)
z. (66)
35
Automorsmele spat iului euclidian R
n
alc atuiesc o mult ime deschis a [31, p. 31].
51
Produsul scalar lu and valori reale, avem
z
T
B(x)y = (z
T
B(x)y)
T
= y
T
B(x)
T
z. (67)
Din egalitat ile (66), (67) deducem ca matricele A(x) sunt simetrice
B(x)
= B(x)
T
= A(x)A(0)
1
= A(0)B(x)A(0)
1
, x V.
Ultima formul a a adjunctei ne permite, prin induct ie matematica, sa ob-
servam ca
_
B(x)
k
_
= [B(x)
]
k
, [B(x)
]
k
= A(0)B(x)
k
A(0)
1
, k N.
= I B(x)
.
T in and seama de formula (65) a matricei C(x), concludem ca aceasta
verica relat iile
C(x)
= C(x)
T
= A(0)C(x)A(0)
1
, x V.
Atunci,
C(x)
A(0)C(x) = A(0)C(x)A(0)
1
A(0)C(x) = A(0)C(x)
2
= A(0)B(x)
= A(x).
Pe baza formulei (57), putem scrie ca
F(x) = (A(x)x[ x)
R
n = (C(x)
T
A(0)C(x)x[ x)
R
n = [C(x)x]
T
A(0)C(x)x
= (A(0)C(x)x[C(x)x)
R
n.
Am ajuns la (64), unde (x) = C(x)x, x V .
3 Echilibre nehiperbolice: sectoare
3.1 Poze (iar asi. . . )
In L
A
T
E
X.
52
Un capitol aparte l constituie graca 3D, pentru care sunt disponibile deja
platforme de dezvoltare performante [16].
Un exemplu este dat de Figura 14. Pentru a o realiza, recurgem la lim-
bajul Postscript.
1 +x
2
.
Figura 14
biblioteca.ps
1 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2 %%%%%%%%%%%biblioteca generala %%%%%%%%%%%
3 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4 %%%%%% modulul
5 %%%%%% semnul
6 %%%%%% unupeceva
7 %%%%%% laputerea2
8 %%%%%% radical din 1 plus patratul a ceva: radi1mare
9
10 /modululdict 1 di ct def
11 /modulul{
12 modululdict begin
13 /numar exch def
14 numar numar mul sqrt
15 end
16 } def
17
18 /semnuldict 1 di ct def
19 /semnul{
53
20 semnuldict begin
21 /numar exch def
22 numar 0 eq {0}{numar modulul numar div} i f e l s e
23 end
24 } def
25
26 /unupecevadict 1 di ct def
27 /unupeceva{
28 unupecevadict begin
29 /numar exch def
30 numar 0 eq {0}{1 numar div} i f e l s e
31 end
32 } def
33
34 /laputerea2dict 1 di ct def
35 /laputerea2{
36 laputerea2dict begin
37 /numar exch def
38 numar numar mul
39 end
40 } def
41
42 /radi1maredict 1 di ct def
43 /radi1mare{
44 radi1maredict begin
45 /numar exch def
46 numar laputerea2 1 add sqrt
47 end
48 } def
Pentru a folosi funct iile din biblioteca, lansam n execut ie programul
Ghostscript, utiliz and, eventual, urmatorul sier de comenzi.
programare_ps.bat
1 @echo of f
2 set prog_scriere=C:\Program Files\gs\gs9.06\bin
3 set prog_citire=C:\ Program Files\Ghostgum\gsview
4 ::se utilizeaza o cale convenabila :
5 set fisier_programe=C:\ octavian \De_pe_Seagate\LaTeX2011
(cont.) \programare_ps
6 ::se precizeaza un director (folder) pentru programele
(cont.) *.ps :
7 set caut="C:\octavian \De_pe_Seagate\LaTeX2011\
(cont.) programare_ps"
54
8 set mesaj=Nu aveti un folder pentru programe!
9 set text=Pentru ghostview: gsview32 . Pentru ghostscript
(cont.) : gswin32
10
11 path=%path%;% prog_scriere%;% prog_citire%
12 i f not exi st %caut% (echo. & echo %mesaj% & echo. &
(cont.) goto final)
13 chdi r %fisier_programe%
14 echo. & echo %text% & echo.
15
16 :final
17
18 c al l cmd
Ca sa nu ne complicam, am salvat sierul biblioteca.ps pe Desktop.
R aspunsul Ghostscript-ului este:
GPL Ghostscript 9.06 (2012-08-08)
Copyright (C) 2012 Artifex Software, Inc. All rights reserved.
This sofware comes with NO WARRANTY: see the file PUBLIC for details.
GS>
Precizam sierul de lucru, indicand calea completa:
GS>(C:/Documents and Settings/Octavian/Desktop/biblioteca.ps) run
GS>
Aceasta facilitate este esent iala dac a, la producerea pozelor unui mate-
rial stiint ic, utiliz am intensiv o bibliotec a de dimensiuni mari. Altfel, se
recomand a sa inseram codul bibliotecii n sursa ilustrat iei.
Vom folosi operatorii pstack si clear pentru a prezenta/vizualiza si res-
pectiv a goli stiva [1, p. 15].
testarea functiilor
1 GS >123 modulul pstack cl ear
2 GS >123.0
3 GS >-4 semnul pstack cl ear
4 GS >-1.0
5 GS >4 unupeceva pstack cl ear
6 GS >0.25
7 GS >0 unupeceva pstack cl ear
8 GS >0
9 GS >-3456 radi1mare pstack cl ear
10 GS >3456.00024
11 GS>
Asa cum se observa n script-ul anterior, la linia 8, am evitat erorile din
cazul
nenul
0
impunand ca
1
0
0.
55
Mai departe, avem nevoie de elemente grace primitive: puncte.
puncte.ps
1 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2 %%%%nod bun la toate , cuplaje de linii%%%%
3 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4 /punctuletdict 7 di ct def
5 punctuletdict begin
6 /matrice matrix def
7 end
8 /punctulet
9 {punctuletdict begin
10 /grosfrontiera exch def % grosimea frontierei
11 /culoare exch def % culoarea umpluturii
12 /raza exch def % raza
13 /centruy exch def % y centru
14 /centrux exch def % x centru
15 /matricesalvata matrice currentmatrix def
16
17 newpath
18 centrux centruy transl ate
19 0 0 raza 0 360 arc
20
21 gsave
22 culoare setgray f i l l
23 grestore
24 grosfrontiera setl i newi dth
25 stroke
26
27 matricesalvata setmatrix
28 end
29 } def
Cu ajutorul unor triunghiuri isoscele, av and laturile curbate, putem cons-
trui linii diverse. Fireste, pentru a obt ine rezultate spectaculoase, ar trebui
manevrate tehnicile
37
NURBS [49].
triunghiuri.ps
1 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2 %%%%%%%% sageti , curbe din tringhiuri%%%%%%%%
3 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4 /triunghicurbdict 18 di ct def
37
Adica, Non-Uniform Rational BSplines [47].
56
5 triunghicurbdict begin
6 /matrice matrix def
7 end
8 /triunghicurb{
9 triunghicurbdict begin
10 %%% foloseste biblioteca.ps
11 %%% intrari:
12 /lungimeh exch def %puneti minus pentru a schimba
(cont.) orientarea
13 /sosirey exch def
14 /sosirex exch def
15 /plecarey exch def
16 /plecarex exch def
17 %%% prelucrari:
18 /mijlocx plecarex sosirex add 2 div def
19 /mijlocy plecarey sosirey add 2 div def
20 /scaderex sosirex plecarex sub def
21 /scaderey sosirey plecarey sub def
22 /semn sosirey plecarey sub semnul def
23 /panta scaderex 0 eq {0}{scaderey scaderex div} i f e l s e
(cont.) def
24 /pantainaltimii panta 0 eq {0}{panta unupeceva neg}
(cont.) i f e l s e def
25 /fractie1 pantainaltimii radi1mare lungimeh exch div
(cont.) def
26 /fractie2 scaderey neg semnul fractie1 mul def
27 /varfulx sosirey plecarey eq {mijlocx }{mijlocx fractie2
(cont.) add} i f e l s e def
28 /varfuly sosirey plecarey eq {mijlocy lungimeh add}{
(cont.) fractie2 pantainaltimii mul mijlocy add} i f e l s e
(cont.) def
29 /matricesalvata matrice currentmatrix def
30
31 newpath
32 plecarex plecarey moveto
33 plecarex plecarey varfulx varfuly sosirex sosirey
(cont.) curveto
34 stroke
35
36 matricesalvata setmatrix
37 end
38 } def
39
57
40 /triunghisageatadict 18 di ct def
41 triunghisageatadict begin
42 /matrice matrix def
43 end
44 /triunghisageata{
45 triunghisageatadict begin
46 %%% foloseste biblioteca.ps
47 %%% intrari:
48 /lungimeh exch def %puneti minus pentru a schimba
(cont.) orientarea
49 /sosirey exch def
50 /sosirex exch def
51 /plecarey exch def
52 /plecarex exch def
53 %%% prelucrari:
54 /mijlocx plecarex sosirex add 2 div def
55 /mijlocy plecarey sosirey add 2 div def
56 /scaderex sosirex plecarex sub def
57 /scaderey sosirey plecarey sub def
58 /semn sosirey plecarey sub semnul def
59 /panta scaderex 0 eq {0}{scaderey scaderex div} i f e l s e
(cont.) def
60 /pantainaltimii panta 0 eq {0}{panta unupeceva neg}
(cont.) i f e l s e def
61 /fractie1 pantainaltimii radi1mare lungimeh exch div
(cont.) def
62 /fractie2 scaderey neg semnul fractie1 mul def
63 /varfulx sosirey plecarey eq {mijlocx }{mijlocx fractie2
(cont.) add} i f e l s e def
64 /varfuly sosirey plecarey eq {mijlocy lungimeh add}{
(cont.) fractie2 pantainaltimii mul mijlocy add} i f e l s e
(cont.) def
65 /matricesalvata matrice currentmatrix def
66
67 newpath
68 plecarex plecarey moveto
69 varfulx varfuly l i net o
70 sosirex sosirey l i net o
71 .8 setl i newi dth
72 stroke
73
74 matricesalvata setmatrix
75 end
58
76 } def
77
78 /triunghicupunctedict 18 di ct def
79 triunghicupunctedict begin
80 /matrice matrix def
81 end
82 /triunghicupuncte{
83 triunghicupunctedict begin
84 %%% foloseste biblioteca.ps
85 %%% intrari:
86 /lungimeh exch def %puneti minus pentru a schimba
(cont.) orientarea
87 /sosirey exch def
88 /sosirex exch def
89 /plecarey exch def
90 /plecarex exch def
91 %%% prelucrari:
92 /mijlocx plecarex sosirex add 2 div def
93 /mijlocy plecarey sosirey add 2 div def
94 /scaderex sosirex plecarex sub def
95 /scaderey sosirey plecarey sub def
96 /semn sosirey plecarey sub semnul def
97 /panta scaderex 0 eq {0}{scaderey scaderex div} i f e l s e
(cont.) def
98 /pantainaltimii panta 0 eq {0}{panta unupeceva neg}
(cont.) i f e l s e def
99 /fractie1 pantainaltimii radi1mare lungimeh exch div
(cont.) def
100 /fractie2 scaderey neg semnul fractie1 mul def
101 /varfulx sosirey plecarey eq {mijlocx }{mijlocx fractie2
(cont.) add} i f e l s e def
102 /varfuly sosirey plecarey eq {mijlocy lungimeh add}{
(cont.) fractie2 pantainaltimii mul mijlocy add} i f e l s e
(cont.) def
103 /matricesalvata matrice currentmatrix def
104
105 newpath
106 plecarex plecarey 4 .6 .3 punctulet
107 sosirex sosirey 4 .6 .3 punctulet
108 varfulx varfuly 4 .6 .3 punctulet
109 stroke
110
111 matricesalvata setmatrix
59
112 end
113 } def
Acum, construct ia Figurii 14 se rezuma la manipularea de coordonate
pentru obiectele grace: triunghiuri, puncte.
figura_14.eps
1 %!PS-Adobe -3.0 EPSF -3.0
2 %% BoundingBox: 14 14 180 180
3
4 %%%%% constructii de orbite:
5 %%%%% puncte expresive (cerculete)
6 %%%%% sageti (modelate cu triunghiuri)
7 %%%%% auxiliar : biblioteca (de calcule)
8
9 (C:/ Documents and Settings/Octavian /Desktop/biblioteca.
(cont.) ps) run
10 (C:/ Documents and Settings/Octavian /Desktop/puncte.ps)
(cont.) run
11 (C:/ Documents and Settings/Octavian /Desktop/triunghiuri
(cont.) .ps) run
12
13 3 15 transl ate
14 50 50 120 120 30 triunghicurb
15 120 120 170 80 53 triunghicurb
16 70 20 170 80 -50 triunghicurb
17 50 50 3 .6 .3 punctulet
18 80 25 80 15 -11 triunghisageata
19
20 newpath
21 20 10 moveto
22 150 10 l i net o
23 stroke
24
25 newpath
26 20 10 moveto
27 60 100 l i net o
28 stroke
29
30 20 10 3 .6 .3 punctulet
31 120 5 120 15 11 triunghisageata
32 28 40 38 36 11 triunghisageata
33
34 showpage
60
Curba din Figura 14 descrie artistic o traiectorie ntr-un sector eliptic
al echilibrului nehiperbolic 0
R
2 apart in and sistemului diferent ial
_
.
x
.
y
_
=
_
x(x +y)
y
_
x +
y
2
_
_
,
vezi [48, p. 151].
In realitate, folosind algoritmul RK4 si scriptul WINPP:
sectoare.ode
1 dx/dt = x*(x+y)
2 dy/dt = y*(x+0.5*y)
3 @axes=2,xp=x,yp=y,xl o=-10,yl o=-10,xhi =10,yhi =10,t0=0,
(cont.) trans =0,dt =0.02, t ot al =100,bounds=5000
4 x(0)=-0.23
5 y(0)=2
6 done
ajungem la situat ia din Figura 15.
x
y
(0,0)
Figura 15
3.2 Sisteme diferent iale omogene
Fie sistemul diferent ial
_
.
x
.
y
_
=
_
X
m
(x, y)
Y
m
(x, y)
_
, t R, (68)
61
unde aplicat iile X
m
, Y
m
: R
2
R sunt funct ii netede, omogene
38
de ordinul
m N 0. Adic a, ind date numerele , , R, are loc relat ia
X
m
( , ) =
m
X
m
(, ). Presupunem, n plus, ca 0
R
2 este singurul
punct stat ionar al sistemului (68).
Urm am prezentarea din [57, p. 49 si urm.].
Incepem prin a cauta, lucr and
formal, o solut ie a sistemului (68). Astfel, pentru a specula omogenitatea ne-
liniarit at ilor, introducem funct ia u = u(t) =
y
x
, ceea ce ne conduce la
x ,= 0
dy
dx
=
.
y
.
x
=
Y
m
(x, y)
X
m
(x, y)
=
x
m
Y
m
(1, u)
x
m
X
m
(1, u)
=
Y
m
(1, u)
X
m
(1, u)
=
udx +xdu
dx
= u +x
du
dx
, (69)
respectiv la ecuat ia diferent iala liniara si omogena [2, p. 85]
dx
du
=
X
m
(1, u)
Y
m
(1, u) uX
m
(1, u)
x, u R. (70)
Prin integrarea ecuat iei (70) obt inem formulele
_
_
_
x(u) = x
0
exp
_
_
u
u
0
Xm(1,v)
Ym(1,v)vXm(1,v)
dv
_
,
y(u) = x
0
u exp
_
_
u
u
0
Xm(1,v)
Ym(1,v)vXm(1,v)
dv
_
,
u R,
unde u
0
=
y
0
x
0
.
Relat iile (69) arata ca sistemul diferent ial (68) este invariant la omotetii-
le de centru 0
R
2,
_
x
y
_
/
_
x
y
_
, unde / R.
In particular, este sucient sa
studiem (doar) cate o traiectorie per sector
39
pentru sistemul dinamic (68),
vezi [4, p. 4].
Mai departe, trecem la coordonate polare,
_
x = cos ,
y = sin ,
_
=
_
x
2
+y
2
,
= arctan
_
y
x
_
.
(71)
38
Reamintesc teorema lui L. Euler [40, p. 154] privind funct iile omogene de clasa C
1
,
si anume: mX
m
(, ) =
Xm
x
(, ) +
Xm
y
(, ).
39
Vezi pagina 71.
62
Au loc egalitat ile
.
=
x
.
x +y
.
y
=
cos X
m
+ sin Y
m
=
cos
m
X
m
(cos , sin ) + sin
m
Y
m
(cos , sin )
=
m
[X
m
(cos , sin ) cos +Y
m
(cos , sin ) sin ]
=
m
Z(), (72)
respectiv
.
=
x
.
y y
.
x
2
=
m1
[X
m
(cos , sin ) sin +Y
m
(cos , sin ) cos ]
=
m1
N(). (73)
Evident, funct iile Z, N pastreaza netezimea funct iilor omogene X
m
, Y
m
.
Fie 1 = (O,
B) reperul canonic al spat iului zic [40, p. 14]. Dac a M
este punctul curent
40
pe traiectoria n planul fazelor Oxy trec and prin
(x
0
, y
0
) a sistemului diferent ial (68), e [0, ] unghiul f acut de tangenta
n M la traiectorie cu dreapta OM. Atunci, folosind vectorul vitez a
41
v [40,
p. 19] vezi Figura 16 ,
cos =
OM v
[OM[ [v[
=
x
.
x +y
.
y
_
(x
2
+y
2
)(X
2
m
+Y
2
m
)
=
cos X
m
(cos , sin ) + sin Y
m
(cos , sin )
_
X
2
m
(cos , sin ) +Y
2
m
(cos , sin )
=
Z()
_
X
2
m
(cos , sin ) +Y
2
m
(cos , sin )
(74)
si
sin =
[OM v[
[OM[ [v[
=
[x
.
y y
.
x [
_
(x
2
+y
2
)(X
2
m
+Y
2
m
)
=
[ X
m
(cos , sin ) sin + Y
m
(cos , sin ) cos [
_
X
2
m
(cos , sin ) +Y
2
m
(cos , sin )
=
[N()[
_
X
2
m
(cos , sin ) +Y
2
m
(cos , sin )
. (75)
40
De coordonate x = x(t), y = y(t), z = 0.
41
Cu notat iile din [40], desemneaza produsul scalar ([)
R
3 .
63
x
y
O
M
Figura 16
Facem observat ia ca toate calculele de pana acum ram an valabile dac a
nlocuim, n denit ia (71) a m arimii , cantitatea arctan
_
y
x
_
cu arctan
_
y
x
_
+
k, unde k Z.
In cazul n care numarul k este impar, noile formule de tre-
cere la coordonate polare vor x = r cos , y = r sin , ceea ce nseamn a,
practic, sa supunem solut iile sistemului diferent ial (68) la simetria
42
de cen-
tru 0
R
2. Evident, aceasta invariaz a familia solut iilor unui sistem diferent ial
omogen, fapt care justica observat ia. Presupunem, n cele ce urmeaza, ca
= (t) R poate lua (aprioric) orice valoare din domeniul (, +).
Ce arm a, defapt, calculul privind unghiul ? Dac a traiectoria sistemului
diferent ial (68) intersecteaz a transversal
43
dreapta de panta m = tan , unde
R, care trece prin O, tangentele n punctele de intersect ie la traiectoria
n cauza au (aceeasi) panta constanta depinzand de . Spunem ca
aceste drepte sunt izocline
44
pentru sistemul diferent ial (68).
Alta consecint a a calculului privind unghiul este ca, dac a sin = 0,
adica raza xa d = OM este tangenta n M traiectoriei, atunci ecuat ia
funct ional a
N() = 0, R, (76)
admite cel put in un zero, notat
0
. Reformularea n coordonate polare a
42
Adica, omotetia de coecient / = 1.
43
Adica, netangent [20, p. 30].
44
=
Z()
N()
, R, (79)
de unde, prin integrare, obt inem
() =
0
exp
__
0
Z(u)
N(u)
du
_
, R,
0
(0, +). (80)
Formula (80) arata ca, n planul fazelor, solut ia sistemului diferent ial
(72), (73), plecata din (
0
,
0
), se nvarte pentru totdeauna vezi (78)
n jurul originii 0
R
2.
Dac a avem e lim
+
_
0
Z(u)
N(u)
du = e lim
0
Z(u)
N(u)
du = , ceea
ce implica lim
+
() = 0, respectiv lim
0
+2
0
Z(u)
N(u)
du = 0, adica (
0
) = (
0
+ 2), atunci
traiectoriile sistemului (72), (73) vor curbe nchise, cu centrul de simetrie
n 0
R
2, acest punct ind centrul sistemului dinamic (68).
Folosind teorema lui L. Euler referitoare la funct iile omogene, reorganiz am
65
integrala din (80). Astfel, au loc egalitat ile
mZ()
=
_
Y
m
x
cos +
Y
m
y
sin
_
sin +
_
X
m
x
cos +
X
m
y
sin
_
cos
=
X
m
x
cos
2
+
Y
m
y
sin
2
+ sin cos
_
Y
m
x
+
X
m
y
_
(81)
si
dN
d
=
_
Y
m
x
sin +
Y
m
y
cos
_
cos Y
m
sin
X
m
x
sin +
X
m
y
cos
_
sin X
m
cos
=
Y
m
y
cos
2
+
X
m
x
sin
2
sin cos
_
Y
m
x
+
X
m
y
_
(Y
m
sin +X
m
cos )
=
Y
m
y
cos
2
+
X
m
x
sin
2
Z
sin cos
_
Y
m
x
+
X
m
y
_
. (82)
Introduc and expresia dintre parantezele rotunde din (82) n (81), ajungem
la
(m + 1)Z =
X
m
x
+
Y
m
y
dN
d
,
respectiv la
() =
0
_
N(
0
)
N()
_ 1
m+1
exp
_
_
1
m + 1
_
0
_
Xm
x
+
Ym
y
_
(cos v, sin v)
N(v)
dv
_
_
,
unde R.
Sa presupunem acum ca
0
este un zero izolat al ecuat iei (76). Folosind
dezvoltari n serii Taylor limitate, putem trage cateva concluzii privind com-
portamentul asimptotic al solut iilor sistemului (72), (73).
Deoarece originea planului fazelor este unicul punct stat ionar al sistemului
diferent ial (68), deducem ca Z()
2
+ N()
2
> 0 pentru orice . Va exista,
66
asadar, = (
0
) cu proprietatea ca
Z() = Z(
0
) +Z
(
0
)(
0
) +
= Z(
0
)(1 +
1
(
0
)), [
1
(
0
)[ <
1
2
atunci cand [
0
[ < . De asemeni, exist a numarul ntreg k 1 astfel
ncat N
(i)
(
0
) = 0, i 0, k 1, si N
(k)
(
0
) ,= 0.
In consecint a,
N() =
1
k!
N
(k)
(
0
)(
0
)
k
(1 +
2
(
0
)), [
2
(
0
)[ <
1
2
,
pentru orice (
0
,
0
+).
,
respectiv /
+
regiunile (, ) :
0
<
0
si (, ) :
0
>
0
.
Astfel, pentru /
/
+
, ecuat ia (79) ramane valabila, adica
d
d
= k!
Z(
0
)
N
(k)
(
0
)
(1 +
3
(
0
))
1
(
0
)
k
, [
3
(
0
))[ <
1
2
.
Prin integrare cand <
0
, obt inem omoloaga relat iei (80), si anume
() = (
0
) exp
_
c(
0
, k)
_
1 +
3
(s
0
)
(
0
s)
k
ds
_
,
unde c(
0
, k) = (1)
k
k!
Z(
0
)
N
(k)
(
0
)
.
Observam ca, n funct ie de m arimea numarului k, avem estim arile
_
1 +
3
(s
0
)
(
0
s)
k
ds (83)
_
_
1
2(k1)
_
1
(
0
)
k1
1
k1
_
,
3
2(k1)
_
1
(
0
)
k1
1
k1
__
, k 2,
_
1
2
ln
,
3
2
ln
_
, k = 1.
Dac a c(
0
, k) < 0, tragem concluzia ca
lim
0
() = 0.
45
Sau domeniul sectorial.
67
1 +
4
(s
0
)
()
m1
ds
(
0
s)
k
(84)
k!
N
(k)
(
0
)
1
_
sup
[
0
,
0
)
()
_
m1
1
2(k 1)
_
1
(
0
)
k1
1
k1
_
,
deci lim
0
t() = .
In mod analog, dac a N
(k)
(
0
) < 0, lim
0
t() = +.
Asadar, comportamentul solut iei este descris de relat iile
lim
t
(t) = 0, lim
t
(t) =
0
.
Vezi Figurile 19 si 27, unde liniile punctate sunt izocline. Cazul N
(k)
(
0
) < 0
este ilustrat n Figurile 18, 26.
x
=
_
X
m
Y
m
_
(
x ), unde
x =
_
x
y
_
, asociat sistemului diferent ial (68). Din (74),
(75) deducem ca
sin = f(
0
)
=
1 +
5
(
0
)
k!
[N
(k)
(
0
)[
_
(X
2
m
+Y
2
m
)(cos
0
, sin
0
)
[
0
[
k
si
cos = g(
0
)
=
Z(
0
)
_
(X
2
m
+Y
2
m
)(cos
0
, sin
0
)
(1 +
6
(
0
)),
68
unde [
i
(
0
)[ <
1
2
cand (, ) /
X.
Traiectoria descris a de punctul curent M = M(x(t), y(t)) n planul fazelor
are curbura cu semn
46
dat a de formula [43, p. 23]
k
s
=
.
x (t)
..
y (t)
..
x (t)
.
y (t)
[
.
x (t)]
2
+ [
.
y (t)]
2
3
2
=
()
2
+ 2[
()]
2
()
()
()
2
+ [
()]
2
3
2
sgn[
.
(t)] (85)
(via (79)) =
N()[N()
2
+Z()
2
N()Z
() +N
()Z()]
()[Z()
2
+N()
2
]
3
2
sgn [
.
(t)]
=
N() sgn [N()]
()[Z()
2
+N()
2
]
3
2
[Z(
0
)
2
+N
(
0
)Z(
0
) +O([
0
[)] (c and
0
)
=
1
k!
[N
(k)
(
0
)[
(
0
)[Z(
0
)[
3
(1 +
7
(
0
))
[Z(
0
)
2
+N
(
0
)Z(
0
)][
0
[
k
, [
7
(
0
)[ <
1
2
, (86)
unde (, ) /
.
Spunem despre curba din Figura 17 ca este convexa n M catre O dac a
linia punctata plec and din O intersecteaz a ntai curba si apoi tangenta (ori-
entata) n M la aceasta din urma.
In caz contrar, avem concavitate catre O.
Curbura cu semn este pozitiva pentru aceasta convexitate [43, p. 7].
ca o curba convexa
catre O.
Trebuie ret inut ca, via (86), semnul curburii k
s
coincide cu semnul ma-
rimii Z(t
0
)
2
+ N
(t
0
)Z(t
0
). Pentru a obt ine concavitatea catre O a orbitei
este, evident, necesar ca N
(t
0
) ,= 0.
46
_
.
x=
.
cos
.
sin ,
.
y =
.
sin +
.
cos ,
..
x=
_
..
.
2
_
cos
_
2
.
.
+
..
_
sin ,
..
y =
_
..
.
2
_
sin +
_
2
.
.
+
..
_
cos ,
respectiv
_
.
x
..
y
..
x
.
y = 2
.
2
.
+
.
..
.
..
+
2
.
3
,
.
x
2
+
.
y
2
=
.
2
+
2
.
2
si
=
.
=
(
=
..
.
.
..
3
.
De aici,
_
_
_
.
x
..
y
..
x
.
y =
.
3 _
2
+ 2 (
)
2
,
_
.
x
2
+
.
y
2
_3
2
= [
.
[
3
_
2
+ (
)
2
3
2
.
,
D(
0
) = () sin(
0
)
= (
0
) sin(
0
) exp
_
c(
0
, k)
_
1 +
3
(s
0
)
(
0
s)
k
ds
_
.
Acum, pentru k = 1, cum Z(t
0
) si N
(t
0
) au acelasi semn, deci Z(
0
)
2
+
N
(
0
)Z(
0
) > 0, remarc am ca [57, p. 61], prin dezvoltare n serie Taylor,
1 +
3
(s
0
)
0
s
=
1
0
+c
1
+c
2
(s
0
) + , c
i
R. (87)
Mai departe, via (87),
D(
0
) =
(
0
)
c(
0
,1)
sin(
0
)
(
0
)
c(
0
,1)
exp (c
1
(
0
+) + ) (88)
70
si lim
0
D(
0
) = 0. Acest subcaz nu produce nicio schimbare n desenul
fazelor.
0
() = lim
t+
(t) = +, lim
t+
(t) =
0
. De ase-
meni, t in and cont de limita lim
u0
_
sin u e
c
u
_
= +, unde c, > 0, estimarea
(83) arata ca lim
0
D(
0
) = +. Situat ia este ilustrata n Figura 29 (k
3).
Cazului k = 1, Z(
0
)
2
+ N
(
0
)Z(
0
) < 0 si Z(
0
) > 0 i corespunde Fi-
gura 31.
Intr-adev ar, cum
N
(
0
)
Z(
0
)
< 1, deci c(
0
, 1) (0, 1), din (88) rezulta
ca lim
0
D(
0
) = 0.
Pentru k = 1 si Z(
0
)
2
+ N
(
0
)Z(
0
) = 0 evident, Z(t
0
) si N
(t
0
) au
semne contrare
47
, obt inem c(
0
, 1) = 1 n (88), de unde lim
0
D(
0
) =
d (0, +). Am ajuns la contextul Figurilor 32 35, n care traiectoriile
au drept asimptote direct ii punctate, paralele cu raza invarianta (, ) :
=
0
a sistemului dinamic (72), (73).
De exemplu, n Figura 32 avem Z(
0
) = N(
0
) < 0. Din (84) rezulta ca
lim
0
t() = . Conform (88), traiectoria sistemului dinamic a avut, n ur-
m a cu + momente, drept asimptota linia punctata . Cum lim
0
() =
+, punctul curent vine de la + pe raza invarianta.
Separand variabilele n prima dintre ecuat iile (77), deducem ca
_
(0)
(T)
du
u
m
= Z(t
0
)
_
T
0
dt, T > 0,
unde 0 < (T) < (0). Astfel, lim
T+
(T) = 0.
Figurile 36 39 se refer a la situat ia cand numarul k 2 este par. Aici,
k
s
> 0.
In fapt, Z(
0
) = N
(
0
) ,= 0.
48
Sau sector eliptic.
49
Sau ventilator.
In limba englez a, fan, cf. [38, p. 219].
71
O
M
Figura 17
O
Figura 18
72
Figura 19
Figura 20
73
Figura 21
Figura 22
74
Figura 23
Figura 24
75
Figura 25
Figura 26
76
Figura 27
Figura 28
77
Figura 29
Figura 30
78
Figura 31
Figura 32
79
Figura 33
Figura 34
80
Figura 35
Figura 36
81
Figura 37
Figura 38
82
Figura 39
Figura 40
83
Figura 41
Figura 42
3.3 Desene
Singurul element de noutate, n ilustrat iile anterioare, l reprezinta linia
punctata. Codul sau este listat n cele ce urmeaza.
84
linie_punctata.ps
1 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2 %%%%%%%%%%%%linie punctata %%%%%%%%%%%%
3 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4 /liniepunctatadict 22 di ct def
5 liniepunctatadict begin
6 /matrice matrix def
7 end
8
9 /liniepunctata{
10 liniepunctatadict begin
11 %%%date de intrare:
12 /sosirex exch def
13 /sosirey exch def
14 /plecarex exch def
15 /plecarey exch def
16 /lungime exch def %lungimea liniutei
17 %%% prelucrari:
18 /diferentax
19 sosirex plecarex sub def
20 /diferentay
21 sosirey plecarey sub def
22 /lungimealiniei
23 diferentax diferentax mul
24 diferentay diferentay mul
25 add sqrt def
26 /lungime lungime 0 l e {1}{lungime} i f e l s e def
27 /spatiugol
28 lungime 4 div def %il propun eu, nu utilizatorul
29 /numardeaplicari
30 lungimealiniei lungime div cvi def
31 /cosunghi
32 sosirex plecarex sub lungimealiniei div def
33 /sinunghi
34 sosirey plecarey sub lungimealiniei div def
35 /adaosx
36 lungime spatiugol sub cosunghi mul def
37 /adaosy
38 lungime spatiugol sub sinunghi mul def
39 /pasx
40 lungime cosunghi mul def
41 /pasy
42 lungime sinunghi mul def
85
43 /matricesalvata matrice currentmatrix def
44 %%% constructia liniei:
45 1 1 numardeaplicari {
46 newpath
47 0.6 setl i newi dth
48 plecarex plecarey moveto
49 adaosx adaosy r l i net o
50 stroke
51 /plecarex plecarex pasx add def
52 /plecarey plecarey pasy add def
53 } f or
54 matricesalvata setmatrix
55 end
56 }def
Pentru modalitatea dentrebuint are a dict ionarelor instruct iunea dict
din linia 4 n Postscript, vezi [1, pg. 132, 133]. O tehnica avansata de
producere a curbelor punctate este detaliata n [1, p. 147 si urm.]. O vom
prezenta ncep and cu pagina 133.
Acum, Figura 18 poate realizata cu instruct iunile de mai jos.
figura_18.eps
1 %!PS-Adobe -3.0 EPSF -3.0
2 %% BoundingBox: 14 14 120 120
3
4 (C:/ Octavian/De_pe_Seagate/Eseuri/
(cont.) SistemeDinamice_1_2012/Biblioteca_ps/biblioteca.
(cont.) ps) run
5 (C:/ Octavian/De_pe_Seagate/Eseuri/
(cont.) SistemeDinamice_1_2012/Biblioteca_ps/
(cont.) linie_punctata.ps) run
6 (C:/ Octavian/De_pe_Seagate/Eseuri/
(cont.) SistemeDinamice_1_2012/Biblioteca_ps/triunghiuri.
(cont.) ps) run
7
8 newpath
9 20 20 transl ate
10 2.6 0 0 70 30 liniepunctata
11 2.6 0 0 65 45 liniepunctata
12 2.6 0 0 45 65 liniepunctata
13 2.6 0 0 30 70 liniepunctata
14
15 newpath
16 1 setl i newi dth
86
17 0 0 moveto
18 60 60 l i net o
19 stroke
20 newpath
21 18 54 moveto
22 23 42 l i net o
23 stroke
24 newpath
25 19 31 moveto
26 17 20 l i net o
27 stroke
28 newpath
29 31 19 moveto
30 20 17 l i net o
31 stroke
32 newpath
33 54 18 moveto
34 42 23 l i net o
35 stroke
36
37 20 43.4 24 45.4 -3 triunghisageata
38 43.4 20 45.4 24 3 triunghisageata
39 15.4 23.1 19.8 22.4 -3 triunghisageata
40 23.1 15.4 22.4 19.8 3 triunghisageata
41 42 38 38 42 3 triunghisageata
42 48 48 60 26 8 triunghicurb
43
44 /Times -Roman f i ndf ont 6 scal ef ont setf ont
45 0 setgray
46 .5 setl i newi dth
47 newpath
48 -4 -4.6 moveto
49 (O) show
50
51 /Symbol f i ndf ont 6 scal ef ont setf ont
52 0 setgray
53 .5 setl i newi dth
54 newpath
55 60 20 moveto
56 (d) show
57
58 showpage
87
3.4 Variet at i centrale W
c
ale unui echilibru
Ne intereseaza, n aceasta subsect iune, comportamentul asimptotic al solu-
t iilor sistemului diferent ial (10) atunci cand matricea A poseda valori proprii
cu partea real a nul a.
Urm am prezentarea din [14, pg. 326339] si ncepem discut ia cu o mo-
dicare a principiului contract iei (S. Banach), numita principiul contract iei
brelor. Mai precis, ind date spat iile metrice (X, d
X
), (Y, d
Y
), sa consider am
ca aplicat ia continua
50
F : X Y X Y introdus a prin relat ia
F(x, y) = (F
1
(x), F
2
(x, y)), x X, y Y,
ndeplineste condit iile:
(i) exist a un atractor global x
X pentru F
1
: X X, adica, oricare
ar x X, sirul
51
((F
1
)
n
(x))
n1
converge la x
) = x
;
(iii) exist a numarul (0, 1) pentru care
d
Y
(F
2
(x, y
1
), F
2
(x, y
2
)) d
Y
(y
1
, y
2
), x X, y
i
Y.
Atunci, arm am ca, daca aplicat ia F
2
(x
, ) : Y Y admite
52
punctul
x y
, elementul (x
, y
))
= d
Y
_
(F
(F
1
)
n1
(x)
2
F
x
1
)(y), (F
(F
1
)
n1
(x)
2
F
x
2
)(y
)
_
n
d
Y
(y, y
) (90)
si
d(F
n
(x, y
), F
n
(x
, y
))
= d
X
((F
1
)
n
(x), (F
1
)
n
(x
))
+d
Y
_
(F
(F
1
)
n1
(x)
2
F
x
2
)(y
), y
_
d
X
((F
1
)
n
(x), x
) ipoteza (ii)
+
_
d
Y
_
(F
(F
1
)
n1
(x)
2
F
x
2
)(y
), F
(F
1
)
n1
(x)
2
(y
)
_
+d
Y
_
F
(F
1
)
n1
(x)
2
(y
), y
__
d
X
((F
1
)
n
(x), x
)
+ d
Y
_
(F
(F
1
)
n2
(x)
2
F
x
2
)(y
), y
_
+d
Y
_
(F
(F
1
)
n1
(x)
2
(y
), y
_
.
Prin induct ie matematica dup a n 1, remarc am ca
d(F
n
(x, y
), F
n
(x
, y
)) d
X
((F
1
)
n
(x), x
)
+
n
i=0
ni
d
Y
_
F
(F
1
)
i
(x)
2
(y
), y
_
. (91)
Observam apoi ca
d
Y
_
F
(F
1
)
i
(x)
2
(y
), y
_
= d
Y
_
F
2
((F
1
)
i
(x), y
), y
_
= d
Y
_
F
2
((F
1
)
i
(x), y
), F
2
(x
, y
)
_
= o(1) cand i +
drept consecint a a continuitat ii aplicat iei F
2
. Fie M = M(x) < + astfel
ncat d
Y
_
F
(F
1
)
i
(x)
2
(y
), y
_
M pentru orice i 0.
Fix am > 0. Exista numerelentregi i
1
1, i
1
= i
1
(x), respectiv n
1
i
1
,
n
1
= n
1
(x, y), cu proprietatea ca 0 d
Y
_
F
(F
1
)
i
(x)
2
(y
), y
_
1
4
(1 )
pentru orice i i
1
, respectiv
n
d
Y
(y, y
) + d
X
((F
1
)
n
(x), x
) <
2
, n n
1
.
89
Astfel, t in and seama de (90), (91),
d(F
n
(x, y), F
n
(x
, y
)) = d(F
n
(x, y), (x
, y
))
d(F
n
(x, y), F
n
(x, y
)) +d(F
n
(x, y
), F
n
(x
, y
))
n
d
Y
(y, y
) +d
X
((F
1
)
n
(x), x
) +
n
i=0
ni
d
Y
_
F
(F
1
)
i
(x)
2
(y
), y
2
+
_
i
1
1
i=0
+
n
i=i
1
_
ni
d
Y
_
F
(F
1
)
i
(x)
2
(y
), y
2
+M
ni
1
+1
i
1
1
i=0
i
+
1
4
(1 )
j0
2
+
M
1
ni
1
+1
+
4
=
3
4
+
M
1
ni
1
+1
< ,
unde n N = N(, x, y) max
_
n
1
,
_
1
M
_ 1
n
1
i
1
+1
_
este sucient de mare.
Cum numarul a fost ales n mod arbitrar, armat ia este probat a.
Presupunem acum ca matricea A a sistemului diferent ial (10) admite o
descompunere de tipul (30).
In fapt, consider am sistemul diferent ial
_
.
x
.
y
_
=
_
S 0
k,l
0
l,k
U
__
x
y
_
+
_
F(x, y)
G(x, y)
_
, (92)
unde matricea S /
k
(R) admite valorile proprii (
i
)
i1,k
iar matricea U
/
l
(R) valorile proprii (
i
)
ik+1,k+l
, k, l 1. Ca si anterior, funct iile netede
F : R
k+l
R
k
R
k
R
l
, G : R
k+l
R
l
joac a rolul unor part i patratice,
adica F(0, 0) = 0, G(0, 0) = 0 si, pentru orice
1
> 0, exist a
2
> 0 astfel
ncat
|Jac
(x
3
,y
3
)
F| +|Jac
(x
3
,y
3
)
G| <
1
(93)
si
|F(x
1
, y
1
) F(x
2
, y
2
)| +|G(x
1
, y
1
) G(x
2
, y
2
)|
1
|(x
1
, y
1
) (x
2
, y
2
)| (94)
dac a |(x
i
, y
i
)| <
2
, x
i
R
k
, y
i
R
l
.
Asa cum am procedat n cazul hiperbolic, ne intereseaza gasirea unei va-
riet at i diferent iale simple W
c
= (x, y) : y = (x), cu (0) = 0, Jac
0
R
k
=
0 [12, p. 3], pe care sa analizam comportamentul asimptotic al solut iilor
sistemului (92).
In acest scop, modicam funct iile F, G, multiplic andu-le cu
90
funct ii netede de suport compact, si impunem ca relat iile (93), (94) sa aib a
loc oriunde n R
k+l
. Talia m arimii
1
va precizata ulterior.
In jurul lui 0,
vechile si noile funct ii F, G vor coincide [32, p. 251].
Introducem spat iul Banach real E
m,n
al funct iilor continue f : R
m
R
n
,
m, n 1, cu proprietatea ca
f(0) = 0, |f| = sup
R
m
{0}
|f()|
||
< +,
vezi si [39, p. 80]. Un subspat iu (liniar) important este Lip(E
m,n
), format
din funct iile Lipschitziene, pentru care
Lip(f) = sup
1
=
2
R
n
|f(
1
) f(
2
)|
|
1
2
|
< +, f E
m,n
. (95)
f
i
x
j
()
sup
hR{0}
[f
i
( +he
j
) f
i
()[
[h[
sup
h=0
|f( +he
j
) f()|
[h[
Lip(f), i 1, n, j 1, m,
unde e
1
, . . . , e
m
este baza canonica (ortonormat a) a spat iului euclidian R
m
,
respectiv
53
|Jac
x
f|
mn Lip(f), x R
m
. (97)
Folosind estimarea (96), se observa ca mult imile (B
m,n
)
>0
, unde B
m,n
=
f E
m,n
: Lip(f) , alcatuiesc spat ii metrice complete dac a sunt dotate
cu metrica sup,
d(f
1
, f
2
) = sup
=0
|f
1
() f
2
()|
||
, f
i
B
m,n
.
53
Dac a M /
m,n
(R), atunci, pe baza inegalitat ii Cauchy-Buniakovski-Schwarz, are
loc inegalitatea |M| = sup
x1
Mx
x
sup
x1
_
1
x
_
i,j
[m
ij
[
2
k
[x
k
[
2
_
=
_
i,j
[m
ij
[
2
.
91
Presupunem ca exist a numerele , R astfel ncat
max
1ik
Re
i
< < < min
k+1ik+l
Re
i
. (98)
Atunci, putem introduce m arimea K > 0 pentru care sa aib a loc omoloagele
relat iilor (31), adica
_
|e
tS
| Ke
t
, t 0,
|e
tU
| Ke
t
, t 0.
(99)
Fie Lip(E
k,l
), unde
Lip() <
K
1
1, (100)
si sistemul diferent ial
.
x = Sx +F(x, (x)). (101)
Aici
54
,
|F(x
1
, (x
1
)) F(x
2
, (x
2
))|
1
(|x
1
x
2
| +|(x
1
) (x
2
)|)
1
(1 + Lip())|x
1
x
2
|, (102)
respectiv
|F(x,
1
(x)) F(x,
2
(x))|
1
|
1
(x)
2
(x)|
1
|
1
1
| |x| (103)
si
|F(x
1
,
1
(x
1
)) F(x
2
,
2
(x
2
))| |F(x
1
,
1
(x
1
)) F(x
2
,
1
(x
2
))|
+ |F(x
2
,
1
(x
2
)) F(x
2
,
2
(x
2
))|
1
(1 + Lip(
1
)|x
1
x
2
|
+
1
|
1
2
| |x
2
|.
Astfel, aplicat ia (x, ) F(x, (x)), notata tot F, este local Lipschitziana
n R
k
Lip(E
k,l
).
Plecand de la (100), introducem numarul > 0 pentru care
_
_
_
kl <
K
1
1,
K
2
1
(1+
kl)
K
1
(1+
kl)
< ,
K
2
1
_
1+
kl
2K
1
(1+
kl)
+
1
K
1
(1+
kl)
_
= , (0, 1).
(104)
54
|(x, y)| =
_
|x|
2
+|y|
2
|x| +|y|, unde (x, y) R
k
R
l
.
92
Este evident ca, ind date numerele , , , estimarile (104) pot obt inute
facandu-l pe
1
din (93), (94) sucient de mic. De asemeni, estim arile sunt
valabile si far a factorul
1
(1+u)
K
1
(1+u)
este
cresc atoare n vecin atatea lui 0.
Pentru a R
k
, avem ecuat ia integrala
x(t) = e
tS
a +
_
t
0
e
(t)S
F(x(), (x()))d (105)
a solut iilor ecuat iei diferent iale funct ionale
.
x = Sx +F(x, ). Tehnica stan-
dard [23, pg. 2627] arata ca ecuat ia (105) admite solut ia (unic a, locala) x =
x(t, a, ) si ca aplicat ia (t, a, ) x(t, a, ) este Lipschitziana (local).
Estimarea F(0, (0)) = F(0, 0) = 0, reamintesc (102)
|x(t)| Ke
t
_
|a| +
_
t
0
e
1
(1 + Lip())|x()|d
_
,
reorganizat a ca
z(t) K|a| +
_
t
0
K
1
(1 + Lip())z(s)ds, z(t) = e
t
|x(t)|,
ne conduce, via inegalitatea Gronwall-Bellman, la
z(t) K|a|e
K
1
(1+Lip())t
, |x(t)| K|a|e
[K
1
(1+Lip())+]t
. (106)
Deducem de aici ca, indiferent de semnul lui , solut ia x exista n [0, +).
De asemeni, sunt valabile estim arile auxiliare
|x(t, a, ) x(t, b, )| K|a b|e
[K
1
(1+Lip())+]t
, (107)
respectiv
|x(t, a,
1
) x(t, a,
2
)|
_
t
0
Ke
(ts)
[
1
(1 + Lip(
1
))|x(s, a,
1
) x(s, a,
2
)|
+
1
|
1
2
| |x(s, a,
2
)|] ds
via (106) K
2
|a|
1
|
1
2
|e
t
_
t
0
e
K
1
(1+Lip(
2
))s
ds +
_
t
0
Ke
(ts)
1
(1 + Lip(
1
))|x(s, a,
1
) x(s, a,
2
)|ds.
Reorganizand ultima estimare drept
v(t)
K|a| |
1
2
|e
K
1
(1+Lip(
2
))t
1 + Lip(
2
)
+
_
t
0
K
1
(1 + Lip(
2
))v(s)ds,
93
unde v(t) = e
t
|x(t, a,
1
) x(t, a,
2
)|, ajungem, cu ajutorul inegalitat ii
Gronwall-Bellman, la
|x(t, a,
1
) x(t, a,
2
)|
K|a| |
1
2
|e
[2K
1
(1+Lip(
2
))+]t
1 + Lip(
2
)
. (108)
Mai departe, introducem funct ia y cu formula
y(t, a, ) = (x(t, a, )), t 0, a R
k
, Lip(E
k,l
).
.
Deoarece, pe baza (106), avem
_
_
e
sU
y(s)
_
_
Ke
s
Lip() |x(s, a, )|
K
2
|a|Lip()e
[K
1
(1+Lip())+]s
,
condit ia (100) implica relat ia
(a) =
_
+
0
e
U
G(x(, a, ), (x(, a, )))d. (109)
Alternativ, se putea construi o expresie cu integrala
_
0
C(R
k
, R
l
) av and drept formul a partea
dreapt a a egalitat ii (109).
Cum funct ia G = G(x, ) ndeplineste, la fel ca F, condit iile (102), (103),
deducem ca
|T()(a)|
_
+
0
Ke
1
(1 + Lip())|x(, a, )|d
(via (106)) K
2
|a|
1
(1 + Lip())
_
+
0
e
[K
1
(1+Lip())+]
d
< +, (110)
deci integrala are sens (este convergenta).
_
+
0
Ke
1
(1 + Lip())|x(, a, ) x(, b, )|d
K
2
1
(1 + Lip())|a b|
_
+
0
e
[K
1
(1+Lip())+]s
ds
=
K
2
1
(1 + Lip())|a b|
K
1
(1 + Lip())
K
2
1
(1 +)|a b|
K
1
(1 +)
(cf. (104)) |a b|,
ceea ce implica faptul ca T(B
k,l
) B
k,l
T((0)) = 0 .
95
Mai departe, pentru a R
k
si
1
,
2
B
k,l
, deducem ca
|T(
1
)(a) T(
2
)(a)|
1
(1 + Lip(
1
))
_
+
0
Ke
|x(, a,
1
) x(, a,
2
)|d
+
1
|
1
2
|
_
+
0
Ke
|x(, a,
2
)|d
K
2
1
1 + Lip(
1
)
1 + Lip(
2
)
|a| |
1
2
|
_
+
0
e
[2K
1
(1+Lip(
2
))+]t
dt
+K
2
1
|a| |
1
2
|
_
+
0
e
[K
1
(1+Lip(
2
))+]t
dt
= K
2
1
|a| |
1
2
|
_
1+Lip(
1
)
1+Lip(
2
)
2K
1
(1 + Lip(
2
))
+
1
K
1
(1 + Lip(
2
))
_
K
2
1
|a|
_
1 +
2K
1
(1 +)
+
1
K
1
(1 +)
_
|
1
2
|
(via (104)) |a| |
1
2
|,
respectiv
|T(
1
) T(
2
)| |
1
2
|,
i
B
k,l
.
Am stabilit pana acum ca operatorul T : B
k,l
B
k,l
este o contract ie
iar punctul sau x, : R
k
R
l
, o aplicat ie Lipschitzian a cu (0) = 0
care constituie
55
o varietate topologica centrala [37, p. 33] pentru sistemul
diferent ial (92).
Analizam, n continuare, netezimea aplicat iei . Pentru aceasta, introdu-
cem o ecuat ie integrala de tipul celei din (42). Mai precis, derivand ecuat ia
(105), obt inem ecuat ia matriceala
x
a
(t, a, ) = e
tS
+
_
t
0
e
(ts)S
_
F
x
+
F
y
Jac
x(s,a,)
_
x
a
ds, (111)
unde funct ia B
k,l
_
_
Jac
(x,y)
F
_
_
<
1
, (112)
55
1
_
1 + sup
0
_
_
Jac
x(,a,)
_
_
_
_
_
_
_
x
a
(s, a, )
_
_
_
_
ds
(vezi (97)) Ke
t
+
_
t
0
K
1
(1 +
kl)e
(ts)
_
_
_
_
x
a
(s, a, )
_
_
_
_
ds,
respectiv
_
_
_
_
x
a
(t, a, )
_
_
_
_
Ke
[K
1
(1+
kl)+]t
, t 0. (113)
Derivand formal ecuat ia (109), avem
Jac
a
=
_
+
0
e
U
_
G
x
+
G
y
Jac
x(,a,)
_
x
a
(, a, ) ds. (114)
La fel ca n cazul integralei improprii din (110), t in and cont de (112)
pentru funct ia G si de (113), deducem convergent a integralei din (114).
Fie C
k,l
b
= C
b
(R
k
, L(R
k
, R
l
)) spat iul liniar real al funct iilor matriceale
continue m arginite, cu norma
|| = sup
R
k
|()| = sup
R
k
_
sup
1
|()|
||
_
< +, C
k,l
b
.
Evident, = Jac
()
C
k,l
b
, unde B
k,l
, si ||
kl. Introducem
mult imea B(k, l, ) = C
k,l
b
: ||
, B(k, l, ).
56
Defapt, spat iul liniar C
b
(R
k
, L(R
k
, R
l
)) este izomorf cu C
b
(R
k
, R
kl
).
97
Folosind estim ari asem anatoare celor prin care am stabilit contract ia o-
peratorului T dat de (109), deducem continuitatea aplicat iei (t, a, , )
W(t, a, , ). Evident, W verica inegalitatea (113).
Fie : B
k,l
1
(1 +
kl)
K
1
(1 +
kl)
< < +,
deci aplicat ia este bine-denit a.
Pentru a utiliza principiul contract iei brelor, consider am aplicat ia H :
B
k,l
B(k, l, ) B
k,l
kl
K
1
(1 +
kl)
|
1
2
|
(via (104)) |
1
2
|.
Nu discutam aici chestiunea continuitat ii [14, pg. 337338] funct iei H.
Ea poate probat a folosind tehnicile descrise n [39, pg. 9096].
Fie sirul ((
n
,
n
))
n0
, unde (
0
,
0
) =
_
0
E
k,l
, 0
C
k,l
b
_
si
_
(
n+1
,
n+1
) = H(
n
,
n
) = (T(
n
), (
n
,
n
)),
Jac
()
n
=
n
,
n 0.
Rolul punctului x
X = B
k,l
=
al aplicat iei H(x
, ). Asadar, sirul ((
n
,
n
))
n0
converge catre (, ) si,
t in and seama de rat ionamentul din [39, p. 83], avem Jac
()
= .
Existent a varietat ii centrale netede (C
1
) a fost, n sfarsit, probat a. Spre
deosebire de cazul varietat ilor stabila si instabila ale unui echilibru hiperbolic,
varietatea central a W
c
nu este neaparat unica [32, p. 249], [14, p. 344]. Ches-
tiunea netezimii (C
, C
. Biregularitatea [40, p.
28] presupune ca
[
.
x
..
y
.
y
..
x [
_
_
.
x
2
+
.
y
2
__
..
x
2
+
..
y
2
_
(t) = B(Q)
=
X
2 Y
x
+XY
_
Y
y
X
x
_
Y
2 X
y
(X
2
+Y
2
)
_
_
X
x
X +
X
y
Y
_
2
+
_
Y
x
X +
Y
y
Y
_
2
_
(Q) > 0,
unde Q
P
. Mult imea
P
ind compact a n planul euclidian, avem
min
Q
P
B(Q) = B(Q
0
) > 0 pentru un anume Q
0
P
.
Notam cu D
= D(P
) discul de centru P
=
_
x
P
(t
0
)
y
P
(t
0
)
_
si de raz a
.
Procedura standard [22, p. 24] arata ca, ind dat > 0, exist a m arimea
(
P
, ), astfel ncat, pentru orice Q
, traiectoria
Q
, unde Q
=
_
x
Q
(t
0
)
y
Q
(t
0
)
_
, sa e biregulara, parametrizarea t
_
x
Q
(t)
y
Q
(t)
_
sa e denit a
57
pe [0, t
0
] si, n plus,
d
__
x
P
(t)
y
P
(t)
_
,
_
x
Q
(t)
y
Q
(t)
__
< , t [0, t
0
]. (116)
57
(z
0
), t
+
(z
0
)) (, +), unde aplicat iile t
+
,
t
Intr-adev ar, t
0
t s t +a 2t
1
t
0
si
|x(t) u| |x(t) + (x
1
x
0
) u| +|x
1
x
0
|
a +
b
2
3a
2
< 1, (s, u) D
t
a
(x
1
).
Asadar, inegalit at ile (118) sunt valabile n orice set D
t
a
(x
1
).
100
Conform teoremei de existent a si unicitate (Picard-Lindelof), sistemul
diferent ial poseda, n compactul D
t
0
a
(x
1
), o singura solut ie y = y(t) pentru
problema Cauchy
_
.
y = f(t, y),
y(t
0
) = z R
n
,
z = x
1
, (120)
denita n intervalul [t
0
, t
0
+b].
Are loc estimarea
|x(t) y(t)| |x
0
x
1
| +
_
t
t
0
L|x(s) y(s)|ds, t [t
0
, t
0
+b],
de unde |x(t) y(t)| |x
0
x
1
| e
Lb
. Aceasta din urma implica
|x(t
0
+b) + (x
1
x
0
) y(t
0
+b)|
_
1 + e
Lb
_
|x
0
x
1
|
b/2
(1 + e
Lb
)
N1
b
2
< a.
Deci, (t
0
+b, y(t
0
+b)) D
t
0
+b
a
(x
1
).
_
1 + e
Lb
_
|x
0
x
1
|
+|x(t
0
+b) y(t
0
+b)|e
Lb
+|y(t
0
+b) x(t
0
+b)|
_
1 + e
Lb
_
|x
0
x
1
|
+
_
1 + e
Lb
_
e
Lb
|x
0
x
1
| =
_
1 + e
Lb
_
2
|x
0
x
1
|
b/2
(1 + e
Lb
)
N2
b
2
< a.
Tehnica anterioar a, repetata de N ori, ne conduce la solut ia y = y(t),
denita n [t
0
, t
1
] si plecand din x
1
, a sistemului diferent ial (120).
Un fapt esent ial trebuie remarcat: numerele L, M, asa cum sunt introduse
n (118), depind de compactul K, care, la randul sau, depinde de t
0
, t
1
.
Ins a,
dac a sistemul diferent ial este considerat autonom f(t, x) = f(x) , dac a
presupunem ca solut ia x = x(t) este marginita deci exist a pentru orice
101
t R , atunci prezent a acestor numere este asigurat a, ele ind legate doar
de talia solut iei, M = sup
tR
|x(t)|. Astfel, estimarea (119) depinde numai de
marimea t
1
t
0
.
Comentariul anterior priveste controlul traiectoriilor n viitor. Inversand
sensul timpului t, putem realiza controlul n trecut.
Revenind la discut ia principala, xam punctul P =
_
x
P
(t
1
)
y
P
(t
1
)
_
si t
1
(0, t
0
) si introducem discul D = D(P, ). Talia m arimii va ajustat a ulte-
rior. Pentru un punct Q
(
P
, ).
Reamintind calculul din (74), (75), e = (P, Q) unghiul f acut de tan-
gentele (orientate) n punctele P si Q la traiectoriile
P
si
Q
ale sistemului
diferent ial (115). Atunci,
_
_
_
sin (t
1
) =
|U
1
(t
1
)|
U
3
(t
1
)
= o(1),
cos (t
1
) =
U
2
(t
1
)
U
3
(t
1
)
= 1 +o(1)
uniform n raport cu t
1
cand Q
,
unde
U
1
(t
1
) = X(x
P
(t
1
), y
P
(t
1
))Y (x
Q
(t
1
), y
Q
(t
1
))
Y (x
P
(t
1
), y
P
(t
1
))X(x
Q
(t
1
), y
Q
(t
1
)),
respectiv
U
2
(t
1
) = X(x
P
(t
1
), y
P
(t
1
))X(x
Q
(t
1
), y
Q
(t
1
))
+ Y (x
P
(t
1
), y
P
(t
1
))Y (x
Q
(t
1
), y
Q
(t
1
))
si
U
3
(t
1
) =
_
_
_
_
_
X
Y
_
(x
P
(t
1
), y
P
(t
1
))
_
_
_
_
_
_
_
_
_
X
Y
_
(x
Q
(t
1
), y
Q
(t
1
))
_
_
_
_
.
Aceste estim ari ne permit ca, micsorand eventual talia m arimii , sa
presupunem ca (t)
_
0,
4
, t [0, t
0
].
2
_
, are urmatoarea proprietate.
58
Dreapta-suport a normalei pricipale [40, p. 29].
102
Fiind dat punctul Q Int(D
1
) interiorul discului , trasam prin el
doua drepte ortogonale d
1
, d
2
astfel ncat paralela prin Q la tangenta T sa
e bisectoarea a doua dintre cele patru unghiuri adiacente pe care dreptele
ortogonale le formeaza. Atunci, daca punctul Q nu se gaseste pe dreapta
N, aceasta din urma va intersecta dreptele d
1
, d
2
n puncte interioare ale
discului D.
Traiectoria
Q
a sistemului (115) pe care se gaseste punctul Q nu
poate par asi zona hasurat a decat prin arcele A
1
, A
2
ale frontierei discului D
datorita restrict iei privind unghiului . Din acelasi motiv, orientarea
59
curbelor
P
,
Q
coincide.
In concluzie, traiectoria
Q
traverseaza dreapta
N n drumul sau catre Q
=
_
x
P
(t
1
)
y
P
(t
1
)
_
punctul prin care traiectoria iese din D
1
, vezi Figura 44. Aici, t
0
< t
1
.
Remarc am ca
_
x
P
(t
n
+ (t
1
t
0
))
y
P
(t
n
+ (t
1
t
0
))
_
=
tn+(t
1
t
0
)
__
x
P
(0)
y
P
(0)
__
=
t
1
t
0
(P
n
)
t
1
t
0
(P) = P
cand n +,
unde (
t
)
tR
reprezinta grupul Lie de transformari [42, p. 2] asociat sistemu-
lui (115).
P
P
N
Q
P
P
P
N
Q
P
/
/
/
/
1
1
Figura 44
Pentru numarul N
1
> N sucient de mare,
t
1
t
0
(P
N
1
) se gaseste n
micul disc D
(P
. Fie P
1
punctul
de traversare. Dac a P = P
1
, atunci solut ia este ciclu (periodica), caci relat ia
P
1
=
t
1
(x) = P =
t
0
(x) =
t
1
t
0
(
t
0
(x)), unde x =
_
x
P
(0)
y
P
(0)
_
, ne conduce
60
Evident, P
n
D
1
, n N
1
. Ca sa folosim argumentat ia cu transversala, suntem obli-
gat i sa d am timpul napoi cu t
N1
momente si sa t inem seama de estimarea (119), care va
depinde doar de marimea t
1
t
0
.
104
la
t
(x) =
tt
1
(
t
1
(x)) =
tt
1
(
t
0
(x)) =
t(t
1
t
0
)
(x)
=
t
0
t
1
(
t
(x)), t R.
In spat iul metric complet (Z, d), introducem familia de aplicat ii continue
(S(t))
t0
, unde S(t) : Z Z, astfel ncat
S(0) = id
Z
, S(t +s) = S(t) S(s). (121)
In general, o funct ie reala, de mai multe variabile reale, care este continu a n raport
cu ecare dintre variabile, va doar masurabila Borel (H. Lebesgue), cf. [56, p. 170, Ex.
8(b)]. O condit ie simpla pentru continuitatea n ambele variabile (n limba englez a, joint
continuity) se g aseste n [2, p. 107].
112
Ea reprezinta mult imea limita (G. Birkho, vezi [8, p. 209]) a punctului
z.
Au loc propriet at ile:
(i) (z) =
s>0
ts
S(t)(z);
(ii) (S(t)(z)) = (z) pentru orice t 0, z Z;
(iii) S(t)((z)) (z).
In plus, dac a mult imea
t0
S(t)(z) este relativ
compact a, atunci are loc egalitatea n incluziunea precenta.
Pentru (i), lu am y (z). Atunci, exist and sirul crescator si nemarginit
(t
n
)
n1
din enunt , deducem ca, pentru orice s > 0, vom avea un num ar ntreg
N = N(s) pentru care t
n
s + 1, n N. Astfel, punctul y va limita
sirului (S(t
n
)(z))
nN
din
ts
S(t)(z), deci se va gasi n
ts
S(t)(z). Cum
y este independent de s, putem aplica intersect ia.
Reciproc, stim ca y
t1
S(t)(z). Va exista sirul (t
n
)
n1
, cu t
n
1, pen-
tru care lim
n+
d(y, S(t
n
)(z)) = 0. Dac a acest sir este nemarginit, el va poseda
un subsir strict crescator, notat tot cu (t
n
)
n1
. Existent a acestuia din urma
implica y (z).
In schimb, dac a sirul este m arginit de M
1
< +, alegem
un termen T cu d(S(T)(z), y) <
1
2
, l not am cu t
1
si repet am rat ionamentul
plec and de la y
tM
1
+1
S(t)(z).
In cel mai rau caz, obt inem sirul (t
n
)
n1
,
unde
t
n+1
M
n
+n, d(S(t
n
)(z), y) <
1
n + 1
, n 1.
Pentru acest sir crescator si nemarginit superior, lim
n+
d(S(t
n
)(z), y) = 0,
adica y (z).
La (ii), xand T 0,
(S(T)(z)) =
s>0
_
ts
S(t)(S(T)(z)) =
s>0
_
ts+T
S(t)(z)
s>0
_
ts
S(t)(z) = (z).
Reciproc, caut sirul crescator si nemarginit (superior) (s
n
)
n1
astfel ncat
lim
n+
d(y, S(s
n
)(S(T)(z))) = 0. Stiu ca exist a sirul nemarginit (t
n
)
n1
pentru
care lim
n+
d(y, S(t
n
)(z)) = 0. Putem lua s
n
= t
n
T, unde n N = N(T)
va sucient de mare.
La (iii), cum aplicat ia S(t) este continua, S(t+t
n
)(z) = S(t)(S(t
n
)(z))
S(t)(y) cand n + dac a y (z). Adic a, S(t)(y) (z). Dac a, n plus,
113
mult imea
t0
S(t)(z) este compact a, alegem sirul (cu o innitate de ter-
meni) (S(t
n
)(z))
n1
, unde lim
n+
t
n
= +.
Arm am ca sirul respectiv poseda un subsir convergent.
Intr-adev ar, to-
talmarginirea
64
mult imii
t0
S(t)(z) implica existent a unui subsir
(t
k
n
)
n1
(t
k1
n
)
n1
(t
n
)
n1
situat ntr-o bila, de raza
1
2
k
, cu centrul ntr-un punct M
k
din mult ime.
Atunci, sirul diagonal (t
n
n
)
n1
este sir Cauchy, deci convergent. Armat ia
a fost probat a.
Exista, asadar, un sir convergent S(t
n
)(z) : n 1, cu lim
n+
S(t
n
)(z) =
y Z, adica mult imea (z) nu este vida. Mai departe, e y (z), cu
lim
n+
d(S(t
n
)(z), y) = 0. Sirul (S(t
n
t)(z))
nN(t)
, unde t este xat iar nu-
m arul N(t) sucient de mare, se gaseste n
t0
S(t)(z).
In consecint a, va
avea un subsir convergent pastram notat ia , S(t
n
t)(z) w Z, n
raport cu metrica d cand n +. Continuitatea aplicat iei S(t) ne conduce
la S(t
n
)(z) = S(t)(S(t
n
t)(z)) S(t)(w) pentru n +. Unicitatea
limitei implica y = S(t)(w), adica y S(t)((z)).
Armat iile (i) (iii) au fost probate.
Lor le adaug am alte propriet at i: dac a mult imea
t0
S(t)(z) este relativ
compacta, atunci
(iv) (z) este un compact
65
conex n Z;
(v) lim
t+
d(S(t)(z), (z)) = 0.
La (iv), observam ca mult imile
_
ts
S(t)(z)
_
s>0
alcatuiesc o familie
descrescatoare (nestrict), n raport cu incluziunea, de mult imi compacte si
conexe. Aceasta pentru ca sunt submult imi nchise ale unui compact, respec-
tiv nchiderea unor imagini de mult imi conexe printr-o aplicat ie continua [65,
pg. 10, 20] t S(t)(z) . Asemenea familii ordonate le transmit limite-
lor lor (intersect ii) propriet at ile de compactitate, respectiv de conexitate [65,
p. 12].
Pentru (v), presupunem prin absurd ca exist a > 0 si sirul strict cresc a-
tor, nemarginit superior, (t
n
)
n1
astfel ncat d(S(t
n
)(z), (z)) . Ipoteza
64
Vezi [55, p. 20].
65
In afara restrict iei de compactitate pentru traiectorie, mult imile limita pot nem ar-
ginite [7, pg. 2122].
114
de compactitate ne permite sa consider am ca, trec and eventual la un subsir,
lim
n+
S(t
n
)(z) = y, y (z), ceea ce contrazice presupunerea.
Proprietat ile (iv), (v) au fost stabilite.
O funct ie continua V : Z R desemneaza o funct ie (A.) Liapunov
66
atunci cand
V (S(t)(z)) V (z) pentru orice t 0, z Z. (122)
Dac a, n plus, din egalitatea V (S(t)(z)) = V (z), valabila n [0, +), rezulta
ca S(t)(z) = z pentru orice t 0, atunci funct ia Liapunov va considerata
stricta.
Presupun and ca mult imea
t0
S(t)(z) este relativ compacta, observam
ca:
(vi) exist a lim
t+
V (S(t)(z)) = c R;
(vii) V (y) = c, unde y (z).
La (vi), dat a ind compactitatea mult imii M =
t0
S(t)(z), funct ia V [
M
este m arginit a. Atunci, aplicat ia t V (S(t)(z)), ind monoton necresc a-
toare si m arginit a, va avea limita (nit a) cand t tinde la +.
Pentru (vii), cum y (z), exist a sirul nemarginit superior (t
n
)
n1
astfel
ncat lim
n+
S(t
n
)(z) = y.
Ins a lim
t+
V (S(t)(z)) = c, de unde, n particular,
c = lim
n+
V (S(t
n
)(z)) = V (y).
Armat iile (vi), (vii) au fost probate. Ele alcatuiesc principiul lui (J.)
LaSalle [24, p. 18] ori al invariant ei [36, p. 30].
1
2
|x(s)|
2
+
_
t
s
|f(0)| |x()|d,
respectiv, via inegalitatea lui I. Bihari [46, p. 6], la
|x(t)| |x(s)| +
_
t
s
|f(0)|d
= |x(s)| + (t s) |f(0)|. (127)
Mai departe, xand x(0), y(0) R
n
, avem
|S(t, x(0)) S(s, y(0))|
|S(t, x(0)) S(s, x(0))| +|S(s, x(0)) S(s, y(0))|
(vezi (126)) |S(t, x(0)) S(s, x(0))| +|x(0) y(0)|
|x(0) y(0)| +
_
t
s
|f(S(, x(0)))|d
(vezi (127)) |x(0) y(0)| +
_
t
s
sup
x(0)+tf(0)
|f()|d
_
1 + sup
x(0)+tf(0)
|f()|
_
d
__
t
x(0)
_
,
_
s
y(0)
__
, t s 0,
67
Fireste, d(x, y) = d
R
n(x, y) = |x y| n R
n
.
68
Aici, x = x(, 0, x
0
), unde x
0
R
n
, desemneaza solut ia care a plecat, la momentul 0,
din punctul x
0
.
116
n spat iul metric complet ([0, +) R
n
, d
R
n+1).
Cea de-a doua cerint a (121) este o consecint a a invariant ei la translat ii
temporale manifestat a de sistemele diferent iale autonome ale caror probleme
Cauchy admit solut ie unica.
Armat ia a fost probat a.
Introducem mult imea F = x R
n
: f(x) = 0 si arm am ca: daca F
este nevida, atunci ea este convexa si nchisa.
Intr-adev ar, pentru x, y F
si z R
n
, avem
(f(z)[ z [x + (1 )y])
R
n
= (f(z) f(x)[ z x)
R
n
+ (1 ) (f(z) f(y)[ z y)
R
n
0, [0, 1],
si, pentru z = z
)[ v [x + (1 )y])
R
n
0.
Impunand ca 1, obt inem inegalitatea
(f(x + (1 )y)[ v [x + (1 )y])
R
n
0,
de la care, pentru v = x + (1 )y f(x + (1 )y), ajungem la f(x +
(1 )y) = 0. Armat ia a fost justicat a.
Presupunem, n continuare, ca mult imea F este nevida. Fix am z R
n
.
Au loc propriet at ile:
(iv*) (z) este nevida, compact a si conexa;
(viii) ind dat punctul v (z), exist a sirul crescator si nemarginit su-
perior (s
n
)
n1
, unde s
n
= s
n
(z, v), astfel ncat
v = lim
n+
S(s
n
, v);
Adic a, v (v).
(ix) pentru orice v (z), avem (v) = (z).
(x) sirul (s
n
)
n1
de la (viii) este independent de v (z).
(xi) pentru orice v, w (z),
|S(t, v) S(t, w)| = |v w|;
(xii) pentru orice v F exist a r 0 astfel ncat
(z) x R : |v x| = r;
(v*) dac a (z) F, atunci exist a z
.
117
La (iv*), e x F. Atunci, via (126), avem
69
|S(t, z)| |S(t, z) S(t, x)| +|x| |z x| +|x|, (128)
deci mult imea
t0
S(t)(z) este m arginit a. Fiind nchisa, ea va compact a.
Din demonstrat ia armat iei (iii) concludem ca (z) este nevida.
Pentru (viii), ind dat v (z), exist a sirul crescator si nemarginit su-
perior (t
n
)
n1
astfel ncat lim
n+
|S(t
n
)(z) v| = 0. Trecand, eventual, la un
subsir, impunem ca sirul (s
n
)
n1
, unde s
n
= t
n+1
t
n
, sa e strict cresc ator
si nemarginit. De aici, cum S(t
n+1
) = S(s
n
) S(t
n
), remarc am ca
|S(s
n
)(v) v| |S(s
n
)(v) S(t
n+1
)(z)| +|S(t
n+1
)(z) v|
Lip(S(s
n
)) |v S(t
n
)(z)| +|S(t
n+1
)(z) v|
|v S(t
n
)(z)| +|S(t
n+1
)(z) v|
= o(1) cand n +.
La (ix), armat ia (viii) implica (z) (v). Reciproc, e w (v) si un
sir nemarginit superior, crescator, (u
n
)
n1
pentru care w = lim
n+
S(u
n
)(v).
Cum v (z), armat ia (iii) ne conduce la S(u
n
)(v) (z), deci, ca limit a
a acestui sir (S(u
n
)(v))
n1
, punctul w se va aa n aderent a mult imii (z).
Adic a, chiar n (z).
Pentru (x), presupunem xate m arimile v (z), respectiv (s
n
)
n1
de la
armat ia (viii). Fie w (z). Conform (ix), w (v), asadar exist a sirul
(h
n
)
n1
, strict crescator si nemarginit superior, astfel ca lim
n+
S(h
n
)(v) = w.
Au loc estim arile
|S(s
n
)(w) w|
|S(s
n
)(w) S(s
n
+h
n
)(v)| +|S(s
n
+h
n
)(v) S(h
n
)(v)|
+|S(h
n
)(v) w|
Lip(S(s
n
)) |w S(h
n
)(v)| + Lip(S(h
n
)) |S(s
n
)(v) v|
+|S(h
n
)(v) w| = o(1) cand n +.
La (xi), xam T 0. Astfel, via (x),
|v w| = lim
n+
|S(s
n
)(v) S(s
n
)(w)|
limsup
n+
[Lip(S(s
n
T)) |S(T)(v) S(T)(w)|]
|S(T)(v) S(T)(w)| |v w|.
69
Evident, S(t, x) = x pentru orice t 0.
118
La (xii), plec and de la inegalitatea (125), obt inem ca
d
dt
_
|S(t)(z) v|
2
=
d
dt
_
|S(t)(z) S(t)(v)|
2
0, (129)
deci exist a lim
t+
|S(t)(z) v| = r [0, +). Dac a x (z), adica x =
lim
n+
S(t
n
)(z) pentru un anumit sir (t
n
)
n1
, strict crescator si nemarginit,
atunci
|x v| = lim
n+
|S(t
n
)(z) v| = lim
t+
|S(t)(z) v| = r.
+
(z) = S(t, z) : t 0 vezi (128) , deducem
existent a limitei lim
k+
S(t
n
k
, z) = w R
n
pentru un anumit subsir al sirului
(t
n
)
n1
. Asadar, w (z). De asemeni, d(w, v)
0
, ceea ce vine n contra-
dict ie cu (130).
Fie v F. Observam ca aplicat ia V : R
n
R, cu formula V (x) = |x
v|, este, conform (129), o funct ie Liapunov pentru sistemul diferent ial
(123), (124). De asemeni, tot pentru a proba (122), e t s 0. Observ am
ca
V (S(t, z))
= |S(t)(z) S(t)(v)| = |S(t s)(S(s, z)) S(t s)(S(s, v))|
Lip(S(t s)) |S(s, z) S(s, v)| |S(t, z) v|
= V (S(s, z)), z R
n
.
Sa presupunem acum ca sistemul diferent ial (123), (124) ndeplineste res-
trict iile
f(0) = 0, (f(x)[ x)
R
n
< 0, x ,= 0. (131)
70
Putem, n acest moment, interpreta proprietatea (ii), si anume: (z) = (
+
(z)).
In
general, ind dat setul S Z, mult imea limita a acestuia este (S) =
zS
(z), cf. [48,
p. 191].
119
Arm am ca: (a) pentru orice > 0 exista = () > 0 astfel ncat daca
|z| , atunci |S(t, z)| < , t 0; (b) pentru orice z R
n
, avem
lim
t+
S(t, z) = 0
R
n.
Figura 45
Din pacatensa, acest fel de stabilitate nu este potrivit pentru investigarea
situat iei din Figura 46, unde trebuie utilizata stabilitatea orbitala (Poincare)
[29, p. 218].
Aici, desi orbitele (curbele
P
) raman apropiate, odat a cu trecerea tim-
pului se produc defazaje nsemnate, unele dintre particulele-solut ie rotindu-
se mai repede decat celelalte pe (propria) traiectorie. Exemple interesante
sunt oferite de [48, p. 207, Ex. 3(b)], [29, p. 34, Ex. 33].
x(t)
V
.
x (t)
_
R
n
(cf. (123)) =
V
t
(t, x(t)) +
_
x(t)
V
f(x(t))
_
R
n
0, t 0,
este sucient sa impunem ca funct ia V C
1
(R
n+1
, R) sa verice inegalitatea
V
L
(t, x) =
V
t
(t, x) + (
x
V [ f(x))
R
n
0, t 0, x R
n
. (134)
121
Am ntalnit acest tip de estimare la derivata Lie (29):
P
Figura 46
d
dt
[V (t, x(t))] = lim
h0
V (t +h, x(t +h)) V (t, x(t))
h
= lim
h0
V (t +h, x(t) +h
.
x (t)) V (t, x(t))
h
= lim
h0
V (t +h, x(t) +h f(x(t))) V (t, x(t))
h
= lim
h0
V (u +h, v +h f(v)) V (u, v)
h
u
v
t
x(t)
,
vezi [43, pg. 24, 31].
Facem observat ia ca netezimea funct iei V poate redus a dac a nlocuim
derivata din (134) cu urmatoarea limita
71
V
L
(u, v) = limsup
h0
V (u +h, v +h f(v)) V (u, v)
h
, (135)
unde
_
u
v
_
[0, +) R
n
, conform [30, p. 80]. De exemplu, ind dat L > 0
71
Variante ale sale, bazate pe derivatele G. Dini, constituie derivata orbital a a funct iei
Liapunov.
In limba englez a, orbital derivative [2, p. 232].
122
astfel ncat
[V (u
1
, v
1
) V (u
2
, v
2
)[ L d
R
n+1
__
u
1
v
1
_
,
_
u
2
v
2
__
, u
i
0, v
i
R
n
,
avem
1
h
[V (u +h, v +hf(v)) V (u, v)[
L
h
[[(u +h) u[ +|(v +hf(v)) v|]
= L(1 +|f(v)|) , h > 0,
deci limita din (135) exist a si [V
L
(u, v)[ L(1 +|f(v)|) < +.
(ii) Pentru a evalua valorile funct iei V n lungul traiectoriilor, presupu-
nem ca exist a funct ia continua : [0, +) R R, cu (t, 0) 0, pentru
care solut ia nul a a ecuat iei diferent iale
w
L
(t, x(t))
=
d
dt
[V (t, x(t))] (t, V (t, x(t))), t 0, estimare din care, pe baza ine-
galit at ii lui B. Viswanatham
72
[62], rezulta ca
V (t, x(t)) w
x
0
(t), t 0,
unde w
x
0
reprezinta solut ia maximala [25, p. 25], [30, p. 83] a ecuat iei dife-
rent iale (136), cu data w
x
0
(0) = V (0, x
0
), x
0
R
n
.
L
(t, x(t), y(t)) =
d
dt
[V (x(t), y(t))] =
_
(x(t),y(t))
V
_
y(t)
f(x(t))
__
R
n
=
__
f(x(t))
y(t)
_
_
y(t)
f(x(t))
__
R
2
= 0,
adica derivata orbitala a aplicat iei V se anuleaza n lungul ecarei solut ii
t
_
x(t)
y(t)
_
. Asadar, V constituie o funct ie Liapunov pentru sistemul dife-
rent ial (139).
Dac a lim
x
_
x
0
f(u)du = +, atunci ecuat iei (138) i putem atasa semi-
curentul continuu S : [0, +) R
2
R
2
cu formula
S(t, x
0
, y
0
) =
_
x(t, 0, x
0
, y
0
)
x
(t, 0, x
0
, y
0
)
_
, x
0
, y
0
R,
unde x(0, 0, x
0
, y
0
) = x
0
si x
(0, 0, x
0
, y
0
) = y
0
. Luand = 0 n cerint a (ii)
privind funct iile Liapunov, respectiv [5, p. 139]
(r) = inf
_
V (x, y) : r
_
_
_
_
_
x
y
__
_
_
_
1
_
, r [0, 1], (r) = (1), r 1,
124
n cerint a (iii), deducem stabilitatea Liapunov a solut iei nule a ecuat iei (138).
Facem urmatoarea observat ie: ind data funct ia : [a, b] [0, (b)],
monoton nedescrescatoare, cu (a) = 0 si (r) > 0 cand r > a, exista o
funct ie
(r) (r),
r [a, b].
Intr-adev ar, un candidat pentru
este
(r) =
r a
b a
(r), r [a, b].
Fiind moton a,
L
(t, x(t)) =
d
dt
_
x(t)
T
Bx(t)
= [Ax(t)]
T
Bx(t) +x(t)
T
[Ax(t)]
=
__
A
T
B +BA
_
x(t)
x(t)
_
R
n
= (Cx(t)[ x(t))
R
n
0,
conform [22, p. 295], [5, pg. 140142].
Un subiect aparte l constituie teoremele reciproce de stabilitate: atunci
cand solut ia sistemului diferent ial admite un anumit tip de stabilitate, putem
construi o funct ie Liapunov care sa conrme acest fapt [22, p. 307].
125
3.9 Simboluri, coordonate si curbe punctate
, Q
. Vezi pro-
cedura apostrof din programul litere.ps de la pagina 109. Aceasta pentru
ca nu mi-a pl acut accentul standard din font
73
-ul [1, p. 35] Times-Roman.
Urm atorul program, bazat pe prezentarea din [1, pg. 9194], aseaza
codurile n baza opt ale caracterelor unui font.
figura_48.eps
1 %!PS-Adobe -3.0 EPSF -3.0
2 %% BoundingBox: 30 30 550 800
3
4 %%%%Font -uri:
5 %%%%Times -Roman , Times -Italic , Times -Bold ,
6 %%%%Helvetica , Symbol
7 %%%%Vezi Tutorial & Cookbook de Postscript , pag. 91-92
8
9 /caracter 1 stri ng def
10 /sirnou 3 stri ng def
11
12 /linienouadict 2 di ct def
13 /linienoua{
14 %%% sintaxa:
15 %%% abscisa distantadintrelinii linienoua
16 linienouadict begin
17 /distantadintrelinii exch def
18 /abscisa exch def
19 currentpoi nt distantadintrelinii sub
20 exch pop abscisa
21 exch moveto
22 end}def
23
24 /tiparsirnou{
25 sirnou cvs show
26 }def
27
28 /tiparcaracter{caracter 0
29 3 -1 r ol l
30 put
31 caracter show}def
32
73
Sau grup de caractere.
126
33 /Afisezdict 2 di ct def
34 /Afisez{
35 Afisezdict begin
36 /ddistantadintrelinii exch def
37 /aabscisa exch def
38 dup tiparsirnou
39 ( ) show
40 tiparcaracter
41 aabscisa ddistantadintrelinii linienoua
42 end
43 }def
44
45 /Times -Roman f i ndf ont 8 scal ef ont setf ont
46 newpath
47 40 750 moveto
48 1 1 50 {
49 40 10 Afisez
50 } f or
51
52 80 750 moveto
53 51 1 100 {
54 80 10 Afisez
55 } f or
56
57 120 750 moveto
58 101 1 150 {
59 120 10 Afisez
60 } f or
61
62 160 750 moveto
63 151 1 200 {
64 160 10 Afisez
65 } f or
66
67 200 750 moveto
68 201 1 250 {
69 200 10 Afisez
70 } f or
71
72 240 750 moveto
73 251 1 255 {
74 240 10 Afisez
75 } f or
127
76
77 /Symbol f i ndf ont 8 scal ef ont setf ont
78 newpath
79 280 750 moveto
80 1 1 50 {
81 280 10 Afisez
82 } f or
83
84 320 750 moveto
85 51 1 100 {
86 320 10 Afisez
87 } f or
88
89 360 750 moveto
90 101 1 150 {
91 360 10 Afisez
92 } f or
93
94 400 750 moveto
95 151 1 200 {
96 400 10 Afisez
97 } f or
98
99 440 750 moveto
100 201 1 250 {
101 440 10 Afisez
102 } f or
103
104 480 750 moveto
105 251 1 255 {
106 480 10 Afisez
107 } f or
108
109 /Times -Roman f i ndf ont 10 scal ef ont setf ont
110 newpath
111 102 775 moveto
112 (Caracterele Times -Roman) show
113 345 775 moveto
114 (Caracterele Symbol) show
115 showpage
Fac observat ia ca, la interpretarea secvent ei
valoare_de_inceput increment valoare_de_final {continut} for
128
n stiva vor incluse si valorile ciclate:
...
valoare_de_inceput + increment
continut
valoare_de_inceput
...
Aceasta particularitate a limbajului Postscript este speculata n procedura
Afisez din programul anterior la linia 38 pentru a ilustra num arul de
ordine al caracterelor din Figura 48.
Comenzile
/Times-Roman findfont 6 scalefont setfont
(abc\44de) show
vor produce
74
sirul abc$de .
tn
(P) =
Q S arc nchis! si lim
n+
t
n
= t
R: Q =
t
(P). Remarc am
ca direct ia u, care este versorul director [40, p. 15] al dreptei P
n
Q, este si
versorul director al segmentului transversal S. De aici, cum
80
.
OQ
d
dt
t=t
_
t
(P)
= f
_
t
(P)
_
= f(Q)
= lim
n+
tn
(P)
t
(P)
t
n
t
, unde f =
_
X
Y
_
,
si
tn
(P)
t
(P)
t
n
t
=
P
n
Q
t
n
t
1
t
n
t
_
OP
n
OQ
_
=
1
t
n
t
QP
n
= (t
n
t
) u, (t
n
t
) R,
76
Adica, o mult ime deschis a si conex a.
77
Vezi nota de subsol de la pagina 119.
78
Aici, () =
t0
(
t
(P)) =
t0
(P) = (P).
79
Adica, / =
t
(P) : t [a, b], a < b.
80
W OW, unde W R
2
iar O = 0
R
2.
138
deducem ca vectorii u si Of(Q) sunt coliniari, fapt care contrazice transver-
salitatea dreptei N.
Dac a este periodica si are cel put in dou a puncte de intersect ie cu trans-
versala S, notate P si R intersect ii consecutive , ne gasim ntr-una din
variantele ilustrate n Figura 49.
R
P
V
S
W
T
P
R
V
W
T
S
(a) (b)
Figura 49
Aici, n cazul (a), pentru t sucient de mare, mult imea
t
=
st
s
(P)
se va aa n aceeasi regiune a planului m arginit a de cercul topologic
PTR cu punctul W. Orbita ind periodica, de perioad a per, avem
t
V
+kper
(P) =
t
V
(P) = V , unde t
V
R, k Z.
Ins a, pentru k sucient de
mare,
t
V
+kper
(P)
t
, ceea ce nu se poate ntampla decat dac a e orbita
s-ar autointersecta, e ar intersecta segmentul (PR). Ambele posibilit at i
sunt, evident, inacceptabile. Cazul (b) se exclude n mod analog.
Mai departe, daca exista orbita
0
() corespunzand unei solut ii pe-
riodice a sistemului diferent ial (115), atunci
0
= (). (141)
0
(()
0
) =
0
(()
0
) () = (),
va rezulta ca
0
(()
0
) ,= . Fie P
0
0
(()
0
) si S un segment
de dreapt a nchis, transversal n P
0
orbitei
+
(P
0
) =
t
(P
0
) : t 0 =
0
.
139
Cum P
0
(), traiectoria se va apropia de P
0
at at de mult ncat S va
constitui o transversala si pentru aceasta. Vezi Figura 50.
()
P
S
P
0
0
Figura 50
Oricat de aproape de P
0
se gasesc puncte P
1
()
0
. Pentru ele
81
,
t
(P
1
) ()
0
, t 0, si orbita
+
(P
1
) va traversa segmentul S n
P
= P
(P
1
). Am obt inut, asadar, o transversala S a traiectoriei
+
(P) pe
care se gasesc dou a puncte distincte din (P), si anume P
0
si P
. Pe baza
discut iei de la pagina 104 deducem ca asa ceva nu se poate ntampla
82
vezi
Figura 51 pentru diversele congurat ii de traversare , deci presupunerea
precedenta a fost absurd a.
cat si
+
(P
0
) sunt submult imi ale lui (P). De unde, mult imea S va o
transversala si pentru , deci S nu va putea avea decat cel mult un punct de
intersect ie cu () pentru a nu repeta situat ia ilustrata n Figura 51 .
Adic a,
+
(P
0
) trebuie sa intersecteze transversala S chiar n P
1
! Am obt inut
ca
+
(P
0
) (P
0
) ,= . Ne regasim n contextul discut iei de la pagina 104,
ceea ce ne conduce la concluzia ca traiectoria
+
(P
0
) este periodica. Asadar,
81
Aici,
t
(()) =
t
((P)) = (P) = (). Sistemul diferent ial ind neted, orbitele
+
(P
0
) si
+
(P
1
) nu se pot nt alni.
82
Topologia euclidiana ind normala (T
4
) [33, p. 112], cele doua puncte de pe transver-
sala poseda vecinatat i disjuncte, n care se g asesc puncte din traiectoria . Micsorand
talia acestor vecinatat i, remarc am c a traiectoria intersecteaz a transversala S n nca
doua puncte, de unde, n mod inductiv, concludem c a mult imea S este innit a.
140
mult imea () cont ine o traiectorie periodica, deci, via (141), coincide cu
acea traiectorie. Demonstrat ia s-a ncheiat.
Figura 51
Ilustram teorema Poincare-Bendixson cu ajutorul sistemului diferent ial
_
_
_
.
x=
_
1
_
x
2
+y
2
_
x y,
.
y = x +
_
1
_
x
2
+y
2
_
y,
t R. (142)
Trecand la coordonate polare (71) , sistemul devine
_
.
x
.
y
_
=
_
x y
y x
__
1
1
_
,
respectiv
_
x y
y x
__
.
x
.
y
_
=
2
_
1
1
_
.
Am t inut seama de faptul ca
_
x y
y x
_
1
=
1
x
2
+y
2
_
x y
y x
_
,
_
x
y
_
,=
_
0
0
_
.
141
Mai departe,
_
_
_
.
=
x
.
x+y
.
y
= (1 ),
.
=
x
.
y y
.
x
2
= 1,
t R. (143)
Observam ca solut iilor constante 0, 1 ale primeia dintre ecuat iile
(143) le corespund punctul singular 0
R
2, respectiv curba invarianta S
1
, cu
parametrizarea
_
x(t)
y(t)
_
=
_
cos t
sin t
_
, t R, (144)
ale sistemului (142). Vezi Figura 52.
x
y
(0,0)
P
P
()
Figura 52
Fie t
1
< t
2
n R. Prin integrare n raport cu timpul t, obt inem identitatea
ln
_
(t
2
)
1 (t
2
)
1 (t
1
)
(t
1
)
_
= t
2
t
1
.
Fix and punctul P ,= 0
R
2 n interiorul cercului S
1
, deducem ca solut ia
_
_
=
_
(t, 0,
0
,
0
)
(t, 0,
0
,
0
)
_
, unde P = P(
0
,
0
), a sistemului (143) are comportamentul
asimptotic dat de relat iile
_
lim
t
(t) = 0, (pentru t
1
)
lim
t+
(t) = 1, (t
2
+)
_
lim
t
(t) = ,
lim
t+
(t) = +.
142
0
Figura 54
VA URMA
143
Surse bibliograce
[1] Adobe Systems Inc., Postscript language. Tutorial and cookbook,
Addison-Wesley, Reading, 1985
[2] Amann, H., Ordinary differential equations, de Gruyter, Berlin, 1990
[3] Arnold, V. I., Ecuatii diferent iale ordinare, Ed. Stiintic a si Enciclope-
dic a, Bucuresti, 1978
[4] Arnold, V. I., Geometrical methods in the theory of ordinary differen-
tial equations, Springer-Verlag, New York, 1988
[5] Barbu, V., Ecuatii diferent iale, Ed. Junimea, Iasi, 1985
[6] Bellman, R., Stability theory of differential equations, McGraw-Hill,
New York, 1953
[7] Bhatia, N. P.; Szeg o, G. P., Stability theory of dynamical systems,
Springer-Verlag, New York, 1970
[8] Birkhoff, G. D., Dynamical systems, Colloquium Publ. 9, AMS, Provi-
dence, 1966
[9] Brauer, F., Some stability and perturbation problems for differential
andintegral equations, Monogr. Matem atica 25, IMPA, Rio de Janeiro,
1976
[10] Calculator de orbite: WINPP,
http://www.math.pitt.edu/bard/bardware/
[11] Calculator de orbite: documentatia WINPP,
http://www.math.pitt.edu/bard/classes/wppdoc/readme.htm
[12] Carr, J., Applications of centre manifold theory, Springer-Verlag, New
York, 1981
[13] Casselman, B., Mathematical Illustrations,
http://www.math.ubc.ca/cass/graphics/manual/
index.html#main
144
[14] Chicone, C., Ordinarydifferential equations withapplications. Second
edition, Springer-Verlag, New York, 2006
[15] Coddington, E. A.; Levinson, N., Theory of ordinary differential equa-
tions, McGraw-Hill, New York, 1955
[16] Doob, M.; Hefferon, J., Approaching Asymptote, TUGboat 33 (2012),
213218
[17] Dumortier, F.; Llibre, J.; Art es, J. C., Qualitative theory of planar
differential systems, Springer-Verlag, Berlin, 2006
[18] Evans, L. C., Partial differential equations, AMS, Providence, 1999
[19] Goossens, M.; Mittelbach, F.; Rahtz, S.; Roegel, D.; Voss, H., The L
A
T
E
X
graphics companion. Second edition, Addison-Wesley, Upper Saddle
River, 2008
[20] Guillemin, V.; Pollack, A., Differential topology, AMS Chelsea Pub-
lish., Providence, 2010
[21] Hahn, W., Stability of motion, Springer-Verlag, Berlin, 1967
[22] Hale, J. K., Ordinary differential equations, Wiley Interscience, New
York, 1969
[23] Hale, J. K., Functional differential equations, Springer-Verlag, New
York, 1971
[24] Haraux, A., Syst` emes dynamiques dissipatifs et applications, Masson,
Paris, 1991
[25] Hartman, P., Ordinary differential equations, J. Wiley & Sons, New
York, 1964
[26] Heineman, G. T.; Pollice, G.; Selkow, S., Algorithms in a nutshell,
OReilly, Sebastopol, 2009
[27] Horn, R. A.; Johnson, C. R., Matrix analysis, Cambridge Univ. Press,
Cambridge, 1990
[28] Interpretor de Postscript: Ghostscript,
http://www.ghostscript.com/download/gsdnld.html
145
[29] Jordan, D. W.; Smith, P., Nonlinear ordinary differential equations.
Second edition, Clarendon Press, Oxford, 1991
[30] Kartsatos, A., G., Advanced ordinary differential equations, Mariner
Publ., Tampa, 1980
[31] Kato, T., Perturbation theory for linear operators, Springer-Verlag,
Berlin, 1995
[32] Kelley, A., Stability of the center-stable manifold, Apendicele B din
cartea Abraham, R., Foundations of mechanics, W.A. Benjamin, Inc.,
New York, 1967 .
[33] Kelley, J. L., General topology, Van Nostrand Reinhold, New York,
1955
[34] Knuth, D. E., The METAFONT book, Addison Wesley, Reading, 1986
[35] Lang, S., Differential and Riemannian manifolds, Springer-Verlag,
New York, 1995
[36] LaSalle, J. P., The stability of dynamical systems, SIAM, Philadelphia,
1976
[37] Lee, J. M., Introduction to topological manifolds, Springer-Verlag,
New York, 2000
[38] Lefschetz, S., Differential equations: geometric theory, Interscience
Publish., New York, 1959
[39] Mustafa, O. G., Integrarea asimptotic a a ecuat iilor diferent iale ordi-
nare n cazul neautonom, Ed. Sitech, Craiova, 2006. On-line la adresa:
https://www.dropbox.com/sh/gi3yyjt1rsq58vl/6R_nE49U9j
[40] Mustafa, O. G., Elemente de mecanica punctului material si a soli-
dului rigid, Ed. Didactic a si Pedagogic a, Bucuresti, 2006. On-line la
adresa:
https://www.dropbox.com/s/5cfmp5zl3ess15m/mechanics.pdf
[41] Mustafa, O. G., Note de T
E
X, DAL, 2009. On-line la adresa:
https://www.dropbox.com/s/n1mm0um79a14fme/knuth.pdf
146
[42] Mustafa, O. G., Heat Lie: un fel de intro..., DAL, 2009. On-line la
adresa:
https://www.dropbox.com/sh/gi3yyjt1rsq58vl/6R_nE49U9j
[43] Mustafa, O. G., Curbe si suprafet e, DAL, 2009. On-line la adresa:
https://www.dropbox.com/sh/gi3yyjt1rsq58vl/6R_nE49U9j
[44] Mustafa, O. G., Derivata Lie, conexiunea an a, calculul bi-hamilto-
nian, DAL, 2010. On-line la adresa:
https://www.dropbox.com/sh/gi3yyjt1rsq58vl/6R_nE49U9j
[45] Mustafa, O. G., Note de laborator: C
++
. Vers. 2.0, DAL, 2012. On-line
la adresa:
https://www.dropbox.com/sh/gi3yyjt1rsq58vl/6R_nE49U9j
[46] Mustafa, O. G., The Bihari inequality and some applications, DAL,
2008. On-line la adresa:
https://www.dropbox.com/sh/gi3yyjt1rsq58vl/6R_nE49U9j
[47] NURBS,
http://en.wikipedia.org/wiki/NURBS
[48] Perko, L., Differential equations and dynamical systems. Second edi-
tion, Springer-Verlag, New York, 1996
[49] Piegl, L. A.; Tiller, W., The NURBS book. 2nd edition, Springer-Verlag,
New York, 1997
[50] Pontryagin, L. S., Ordinary differential equations, Addison-Wesley,
Reading, 1962
[51] Preparator de grace: Sisteme_Dinamice_1,
https://www.dropbox.com/sh/gi3yyjt1rsq58vl/6R_nE49U9j
[52] Programul Adobe Reader,
http://get.adobe.com/reader/
[53] Robinson, R. C., An introduction to dynamical systems: continuous
and discrete, Pearson, Upper Saddle River, 2004
[54] Robinson, R. C., Dynamical systems. Stability, symbolic dynamics,
and chaos, CRC Press, Boca Raton, 1995
147
[55] Rouche, N.; Mawhin, J.,
Equations diff erentielles ordinaires (Vol. 1),
Masson, Paris, 1973
[56] Rudin, W., Analiz a real a si complex a, Edit ia a treia, Ed. Theta, Bucu-
resti, 1999
[57] Sansone, G.; Conti, R., Non-linear differential equations. Revised edi-
tion, Pergamon Press, Oxford, 1964
[58] Sell, G. R., Topological dynamics and ordinary differential equations,
Van Nostrand Comp., New York, 1971
[59] Serre, D., Matrices. Theory and applications, Springer-Verlag, New
York, 2002
[60] Standardul limbajului Postscript,
http://partners.adobe.com/public/developer/ps/
index_specs.html
[61] Sistemul TeX Live,
http://www.tug.org/texlive/
[62] Viswanatham, B., A generalization of Bellmans lemma, Proc. Amer.
Math. Soc. 14 (1963), 1518
[63] Vizualizator de Postscript: GSview,
http://pages.cs.wisc.edu/ghost/gsview/get50.htm
[64] Voss, H., PSTricks. Graphics and PostScript for T
E
X and L
A
T
E
X, UIT,
Cambridge, 2011
[65] Whyburn, G. T., Topological analysis. Revised edition, Princeton
Univ. Press, Princeton, 1964
148