Aditivitatea subdiferentialei
Se pune firesc ntrebarea daca subdiferentiala este aditiva, precum diferentiala, adica
daca
( + ) = + .
Raspunsul este: n general nu ! Dar, n conditii specifice (pe care le vom pune n
evidenta) subdiferentiala poate deveni aditiva.
Teorema 1. Daca functiile si sunt convexe si s.c.i. atunci avem
+ ( + ).
Demonstratie. Demonstram ca o incluziune de multimi pentru ca operatorul subdiferentiala este multivoc. Luam arbitrar y (x) + (x) si trebuie sa demonstram ca
y ( + )(x). Vom scrie y = y1 + y2 unde y1 (x) si y2 (x). Conform
cu definitia subdiferentialei avem
(y1 , x u) (x) (u), u H
(y2 , x u) (x) (u), u H
Adunam membru cu membru aceste doua relatii si obtinem
(y1 + y2 , x u) ( + )(x) ( + )(u), u H =
= (y, x u) ( + )(x) ( + )(u), u H =
= y ( + )(x),
ceea ce trebuia demonstrat.
In teorema care urmeaza, datorata lui Rockafellar, se indica conditii suficiente pentru
ca subdiferentiala sa fie aditiva.
(x)
= (x + x0 ) (x0 ), (x)
= (x + x0 ) (x0 )
Intr-o demonstratie anterioara, am aratat ca functiile astfel construite sunt convexe si
s.c.i. deci pot substitui functiile si . In plus,
(0)
= (x0 ) (x0 ) = 0
(1)
continua n punctul x0 . Folosind translatiile amintite mai sus, putem lua x0 = 0 si deci
este continua n 0. Construim epigrafele functiilor si :
K1 = {(x, ) X R : (x) }
K2 = {(x, ) X R : (x) }
Din cauza ca este continua n punctul 0 Int D() deducem ca Int K1 este nevid.
De asemenea, avem K1 K2 = caci n caz contrar, daca avem K1 K2 6= atunci
x K1 si x K2 si atunci avem
(x) si (x)
relatii care adunate memebru cu membru conduc la
(x) + (x)
si aceasta inegalitate este n contradictie cu (1), ceea ce arata ca K1 K2 = . De
asemenea, multimile K1 si K2 sunt convexe si nchise, deci sunt satisfacute toate cele trei
conditii din teorema de separatie Hahn-Banach. Conform acesteia, exista un hiperplan,
numit hiperplan de separatie, pe care l notam cu H, care separa cele doua multimi.
Presupunem ca ecuatia hiperplanului H este
(x , x) + = %, (x, ) H
Atunci pentru cele doua multimi avem
(x , x) + %, (x, ) K1
(x , x) + %, (x, ) K2
Din cauza ca (0) = 0, deducem ca (0, 0) K2 si deci n relatiile de mai sus putem lua
% = 0. Asadar,
(x , x) + 0, (x, ) K1
(x , x) + 0, (x, ) K2
(2)
Acum putem demonstra ca 0 (0) + (0) si anume, aratam ca exista x astfel ncat
x (0) si x (0)
de unde, prin adunare membru cu membru, se obtine
x x (0) + (0)
3
Ecuatii de evolutie
Definitie. Fie X un spatiu Banach, I un interval real, f o functie, f : I X, A un
operator definit pe X, A : X X si u o functie, u : I X. O ecuatie de forma
du(t)
+ Au(t) = f (t),
dt
(3)
Pentru cele mai multe probleme concrete modelate prin ecuatii de forma (3) se indica
si o conditie initiala de forma
u(0) = u0
(4)
n care u0 este un numar dat iar intervalul I este neaparat de forma I = [0, T ].
Problema formata din ecuatia de evolutie (3) si conditia initiala (4) este problema Cauchy.
O alta conditie care se ataseaza ecuatiei (3) este conditia de periodicitate, care are forma
u0 = u(0) = u(T ) = uT .
(5)
In cele ce urmeaza ne ocupam doar de problema Cauchy (3)+ (4). Anticipam ca daca
operatorul A este maximal monoton iar X este spatiu Hilbert, atunci problema Cauchy
(3)+(4) are solutie n sens Caratheodory si este unica.
Facem mai ntai demonstratia n cazul n care X este spatiu Hilbert pe care l vom nota
cu H. Vom presupune ca operatorul A este lipshitzian pe H si vom scrie A Lip (H),
adica
L > 0 a.i. |Au Av| L|u v|, u, v H.
(6)
Z t
Au(s)ds +
Z t
f (s)ds.
(7)
(8)
Z t
Au(s)ds =
Z t
f (s)ds
Daca n aceasta relatie tinem cont de conditia initiala (8)1 vom obtine ecuatia (7). Demonstram acum afirmatia reciproca, adica presupunem ca functia u satisface ecuatia (7) si sa
demonstram ca u satisface problema Cauchy (3)+(4). Daca derivam n (7) dupa regula
de derivare a integralelor cu parametru, obtinem
du(t)
= Au(t) + f (t)
dt
adica ecuatia (3). Acum nlocuim t cu 0 si obtinem
u(0) = u0
Z 0
Z 0
.... +
= u(0) = u0
(9)
0tT
Z t
Au(s)ds +
Z t
f (s)ds
Sa demonstram ca este operator contractiv (mai scurt, contractie) pe spatiul C(0, T ; H):
u(t) v(t) =
Z t
Au(s)ds +
Z t
Av(s)ds =
Z t
[Au(s) Av(s)] ds =
|u(t) v(t)|
Z t
|Au(s) Av(s)| ds
Z t
0
L |u(s) v(s)| ds = L
Z t
es es |u(s) v(s)| ds
!
es t
L e
ku vk ds = L ku vk
=
0
0
!
1 et
L
= L ku vk
= ku vk et 1
L
ku vk et ,
Z t
deci
|u(t) v(t)|
L
ku vk et
|u(t) v(t)|