1

1.2. Noiuni i concepte fundamentale

ale calculului variaional

1.2.1. Funcionale continue n spaii liniare normate
1.2.2. Extreme globale i locale ale funcionalei
1.2.3. Lemele fundamentale ale calculului variaional
1.2.4. Difereniale de ordinul I i II ale funcionalei
1.2.5. Condiii necesare de extrem al funcionalei
1.2.6. Existena i unicitatea extremelor funcionalelor

n aceast seciune se vor introduce noiunile i conceptele de baz ce vor fi utilizate
n continuare n studiul diverselor probleme variaionale. Se vor obine condiii
necesare pentru caracterizarea extremelor locale ale funcionalelor definite pe
submulimi ale spaiilor liniare normate.
Calculul variaional clasic rezolv problema extremelor funcionalelor prin
mijloace asemntoare celor folosite de analiza clasic n rezolvarea problemei
extremelor funciilor de una sau mai multe variabile.
n cazul extremelor funciilor de n variabile, cele n variabile
1 2
, ,...,
n
x x x sunt
coordonatele unui element (unui punct) ( )
1 2
, ,...,
n
x x x x = din
n
, acesta din urm fiind un
spaiu liniar n-dimensional. n
n
avem definite operaiile de adunare a dou
asemenea elemente i operaia de nmulire a unui element cu un numr real. n plus,
n
n
se poate introduce o norm (o distan), astfel nct s putem vorbi de
vecintate a unui punct, noiune ce are un rol important n soluionarea problemei de
extrem.
Aplicaiile 1.1.1 1.1.8 de la seciunea precedent sugereaz faptul c domeniul
de definiie natural al unei funcionale este o mulime de funcii reale definite pe un
interval n cazul funciilor de o variabil, sau pe un domeniu n cazul funciilor de mai
multe variabile, care satisfac anumite condiii de netezime (de exemplu, derivata
continu sau continu pe poriuni) i anumite condiii la extremitile intervalului sau
pe frontiera domeniului. Mulimile de funcii reale definite pe un interval sau
domeniu, ce posed anumite condiii de netezime, nzestrate cu operaia de adunare a
funciilor i cu operaia de nmulire a funciilor cu numere reale formeaz spaii
liniare de dimensiune infinit. Mai mult, aceste spaii liniare pot fi nzestrate cu
anumite norme i se poate astfel vorbi despre vecintatea unei funcii.
2
1.2.1. Funcionale continue n spaii liniare normate
Fie X un spaiu liniar real. n cele ce urmeaz, prin funcional definit pe spaiul X
vom nelege o aplicaie : I X .
Definiia 1.2.1. Se numete norm pe X o funcional : {0}
X
X
+
ce verific
proprietile:
1) 0,
X
x x X > e i 0 0
X
X
x x = = ;
2) , ,
X X
x x x X = e e ;
3) , ,
X X X
x y x y x y X + s + e (inegalitatea triunghiului).
Orice norm satisface inegalitatea triunghiului invers ([RS]):
, ,
X X X
x y x y x y X > e .
Spaiul liniar X n care este definit o norm se numete spaiu liniar normat.
Exemplul 1.2.1.
1) Spaiul liniar [ ; ] ( , , ) C a b a b a b e < al funciilor continue :[ ; ] y a b , n care este
definit norma
| |
[ ; ]
;
max ( )
C a b
x a b
y y x
e
= este un spaiu liniar normat [RS];
2) Spaiul liniar
{ }
( )
[ ; ] : :[ ; ] ( ) [ ; ], 0,
m k
C a b y a b y x C a b k m = e = cu norma
| |
( )
[ ; ]
;
0
max ( )
m
m
k
C a b
x a b
k
y y x
e
=
=

( )
(0)
( ) ( ) y x y x este un spaiu liniar normat [RS];
3) Spaiul liniar ( ) { }
1 1
1
([ ; ]; ) :[ ; ] ; ( ) ( ),..., ( ) , ( ) [ ; ], 1,
n n
n k
C a b y a b y x y x y x y x C a b k n = = e = cu
norma
| | | |
2 2 2 2
1 1
; ;
max ( ) ... ( ) max ( ) ... ( )
n n
x a b x a b
y y x y x y x y x
e e
' ' = + + + + + este un spaiu liniar normat [RS];
4) Spaiul liniar
( )
( )
{ }
( ) : ( ), ( ), , ( )
m m n
C y y x y x y x C ' O = O c - e O cu norma
( )
( )
0
max ( )
m
m
k
C
x
k
y y x
O
eO
=
=

este un spaiu liniar normat [RS].

Remarca 1.2.1. ntr-un spaiu liniar pot fi definite mai multe norme [RS].
Fie X un spaiu liniar normat cu norma
X
definit n acesta (n continuare vom
nota
( )
;
X
X ).
Definiia 1.2.2. Fie { }
1
n
n
y X

=
c . irul { }
1
n
n
y

=
converge ctre y X e (vom utiliza notaia
n
y y ) dac i numai dac lim 0
n
X
n
y y

= . irul { }
1
n
n
y

=
se numete ir fundamental (ir
Cauchy) dac i numai dac
,
lim 0
m n
X
m n
y y

= . Un spaiu liniar normat, n care orice ir

fundamental este convergent se numete spaiu Banach (spaiu complet).
Spaiile liniare normate din exemplul 1.2.1 sunt spaii Banach [1].
3
n continuare, vom conveni ca funcionalele s fie notate prin litere mari latine,
marcnd argumentele lor, deci funciile de care depind, ntre paranteze drepte. n
acelai timp vom nota n paranteze rotunde argumentul sau argumentele funciilor.
Definiia 1.2.3. Funcionala : I X este continu n y X
-
e n sensul unei anumite
norme dac pentru orice 0 c > exist un ( ) 0 o c > astfel nct pentru orice element y X e
ce satisface ( )
X
y y o c
-
< , are loc inegalitatea [ ] [ ] I y I y c
-
< .
Definiia 1.2.3 este echivalent cu urmtoarea:
Definiia 1.2.4. Funcionala : I X este continu n y X
-
e n sensul unei anumite
norme pe X , dac pentru orice ir { }
n
y X c astfel nct
n
y y
-
are loc relaia
| |
n
I y I y
-
(

.
Definiia 1.2.5. Funcionala : I X este continu pe mulimea D X c n sensul
normei spaiului X , dac aceasta este continu n fiecare punct y D
-
e .
Exemplul 1.2.2. S se arate c funcionala ( )
1
0
[ ( )] ( ) 2 ( ) I y x y x y x dx ' = +
}
, definit pe
1
[0;1] X C = , este continu n ( ) y x x
-
= n sensul normei din
1
[0;1] C .
Orice funcie
1
( ) [0;1] y x C e ce satisface condiia
1
[0;1]
( ) ( ) ( 0)
C
y x y x o o
-
< > va satisface
i condiiile ( ) , ( ) 1 y x x y x o o ' < < . Atunci avem
( )
1 1 1
0 0 0
[ ( )] [ ] ( ) 2 ( ) 2 ( ) 2 ( ) 1 3 I y x I x y x y x x dx y x x dx y x dx o ' ' = + s + <
} } }
.
Oricare ar fi 0 c > , alegnd 3 o c = , avem [ ( )] [ ] I y x I x c < , adic funcionala [ ( )] I y x este
continu n ( ) y x
-
n sensul normei din
1
[0;1] C .
Exemplul 1.2.3. Fie
( )
;
X
X un spaiu liniar normat. S se arate c funcionala
| | ( ) I y y y X = e este continu pe X .
Folosind inegalitatea triunghiului invers obinem:
| | ( )
, I y I y y y y y y y X
- - - -
( = s e

,
de unde rezult c pentru y y
-
avem | | I y I y
-
(

. Astfel funcionala | | I y este
continu n orice punct y X
-
e , adic este continu pe X .
Exemplul 1.2.4. Fie | | ( )
2
; F C a b e . Atunci pentru | |
1
: ; y X C a b e = funcionala
| | ( ) ( ) ( ) , ,
b
a
I y F x y x y x dx ' =
}
este continu n raport cu norma
| |
( )
;
max ( ) ( )
X
x a b
y y x y x
e
' = + .
Din cursul de analiz funcional este cunoscut urmtoarea
Lema 1.2.1. Fie
( )
;
X
X un spaiu liniar normat, iar K X c o mulime compact. Atunci
4
funcionala : I K continu pe K este uniform continu pe K , adic pentru orice 0 c >
dat, 0 o - > astfel c pentru , y y K e nct y y o < avem | | | | I y I y c < .
n baza lemei 1.2.1 conchidem c funcia F este uniform continu pe orice
mulime compact de forma | | | | | | ( ) ( ) ; ; ; 0 a b c c c c c > . Atunci pentru y X
-
e fix,
( )
1
y V y
-
e
i orice | | ; x a b e avem:
( ) ( ) ( )
0
1 :
X
X
y x y x y x y y c
-
' s + s < + = ,
( ) ( ) ( )
0
1
X
X
y x y x y x y y c
-
' ' s + s < + = .
Astfel pentru
0
c c = i 0 c > dat, exist ( ) 0;1 o e nct pentru ( ) 1
X
y y o
-
< < avem
( ) ( ) ( ) ( ) ( )
( )
| | , , , , , ; F x y x y x F x y x y x x a b c
- -
'
' < e .
n baza acestei estimri uniforme obinem:
| | ( ) ( ) ( ) ( ) ( )
( )
( ) , , , ,
b
a
I y I y F x y x y x F x y x y x dx b a c
- - -
'
' ( s s
}

cnd 1
X
y y o
-
< < . Deci | | I y este continu n orice punct y X
-
e .
Remarca 1.2.2. Funcionala continu n sensul unei norme pe X poate s fie
discontinu n sensul altei norme, definite pe X .
Exemplul 1.2.5. S se arate c funcionala | | ( ) I y y a = , unde | | ; y C a b e , este continu n
sensul normei
| |
( )
1
;
: max
x a b
y y x
e
= , dar este discontinu n sensul normei ( )
2
:
b
a
y y x dx =
}
.
Funcionala | | I y este liniar ntruct are loc relaia
| | | | | | | |
1 1 2 2 1 1 2 2 1 2 1 2
, , , , ; I c y c y c I y c I y c c y y C a b + = + e e .
Funcionala | | I y este continu n 0
X
:
| | | | 0 0
X
I y I o = cnd 0
X
y o .
Atunci, innd cont c | | 0 0
X
I = , funcionala liniar | | I y va fi continu pe X n sensul
normei
1
. [RS].
Dac se utilizeaz norma
2
y , funcionala | | I y rmne liniar, ns nu este
continu peste tot. ntr-adevr, se poate indica un ir { } | | , ;
n n
y y C a b e astfel nct
2
0
n
y cnd n , iar | | ( ) 1
n n
I y y a = > . De
exemplu, funciile ( )
n
y x cu graficele reprezentate
n figura alturat posed proprietatea indicat
mai sus, deoarece geometric se vede c pentru
x b
a
1
1 a n +
n
y
y
5
( )
1
n b a

> avem
2
1 1 1
1 0
2 2
n
y
n n
= = cnd n , pe cnd ( ) 1
n
y a = , n e. Astfel | | I y nu
este continu n 0
X
.
Exemplul 1.2.6. Fie funcionala
0
[ ( )] ( ) I y x y x ' = definit pe
1
[ ; ] X C a b = ,
0
x fiind un punct
fixat din [ ; ] a b . S se arate c aceast funcional este discontinu n orice
1
( ) [ ; ] y x C a b
-
e
n norma lui [ ; ] C a b .
ntr-adevr, fie
1
( ) [ ; ] x C a b e astfel nct
0
( ) 1 x ' = i ( ) , [ ; ] ( 0) x x a b o o < e > . Funcia
1
( ) ( ) ( ) [ ; ] y x y x x C a b
-
= + e i are derivata
0 0
( ) ( ) 1 y x y x
-
'
' = + . Deci [ ( )] [ ( )] I y x I y x
-
=
0 0
( ) ( ) 1 y x y x
-
'
' = = . Se poate simplu verifica c funcionala dat este continu n orice
1
( ) [ ; ] y x C a b
-
e n norma lui
1
[ ; ] C a b .
n exemplele din seciunile 1.1.1-1.1.9 se observ, c nu toate elementele
spaiului X pe care este definit o funcional [ ] I y sunt luate n considerare n
problema respectiv de extrem (de minim sau de maxim). De exemplu, dac
| | ( )
2
; F C a b e , atunci funcionala ( ) ( ) ( ) ( ) , ,
b
a
I y x F x y x y x dx ' ( =
}
este definit pentru
( ) | |
1
; y x C a b e , ntruct pentru astfel de funcii funcia ( ) ( ) ( ) | | , , ; F x y x y x C a b ' e , iar
integrala de la aceasta este finit. ns dac | | ( )
; F C a b e O , unde
2
O c , atunci ( ) [ ] I y x
este definit doar pe o submulime ( ) | | ( ) ( ) ( ) | | | | { }
1
2
: ; , , ; , ; D y x C a b x y x y x a b x a b ' = e e A e .
Aceste submulimi D s-ar putea i s nu fie liniare. De exemplu, mulimea
( ) | | ( ) ( ) { }
: ; 0, 1 D y x C a b y a y b = e = = nu formeaz un spaiu liniar, deoarece dac y D e ,
atunci 2y D e .
Definiia 1.2.6. Se numesc elemente admisibile ntr-o problem de extrem al unei
funcionale, definite pe spaiul X , acele elemente ale lui X ce satisfac condiiile
suplimentare impuse de problema respectiv.
1.2.2. Extreme globale i locale ale funcionalei
S precizm noiunea de extrem al unei funcionale. Fie [ ] I y o funcional definit pe
spaiul liniar normat X cu norma , iar D - mulimea elementelor admisibile
(prescurtat MEA) ntr-o problem de extrem al funcionalei [ ] I y . Evident D X c .
Definiia 1.2.7. Se spune c funcionala [ ] I y admite un minim global (absolut) pentru
elementul y D
-
e , dac pentru orice y D e are loc relaia [ ] [ ] I y I y
-
s . Dac pentru orice
element y D e avem [ ] [ ] I y I y
-
> , atunci se spune c y D
-
e realizeaz un maxim global
(absolut) al funcionalei [ ] I y pe D. Un punct de minim sau de maxim global se
6
numete punct de extrem global.
innd cont c inegalitatea | | ( ) I y I y y D
-
( s e

implic | | ( ) I y I y y D
-
( > e

,
rezult, c dac y
-
realizeaz un maxim al funcionalei [ ] I y , atunci y
-
realizeaz un
minim al funcionalei [ ] I y . Dac y D
-
e realizeaz un minim (maxim) al funcionalei
[ ] I y pe D, atunci acesta realizeaz un minim (maxim) pe orice submulime
1 1
, D D y D
-
c e .
Exemplul 1.2.7. S se arate c funcia
3 2
( ) y x x x
-
= realizeaz un minim global al
funcionalei
1
2
0
[ ( )] ( ) I y x y x dx '' =
}
pe MFA
{ }
2
: [0;1] (0) (0) (1) 0, (1) 1 D y C y y y y ' ' = e = = = = .
Conform definiiei punctului de minim global este necesar s se arate c
[ ( )] [ ( )], ( ) I y x I y x y x D
-
> e . Simplu se verific c ( ) y x D
-
e . S considerm o funcie
arbitrar ( ) y x D e . Aceasta se reprezint sub forma ( ) ( ) ( ) y x y x y x o
-
= + , unde
2
( ) [0;1] y x C o e
(numit variaie a funciei) satisface urmtoarele condiii la extremiti:
(0) (0) (1) (1) 0 y y y y o o o o ' ' = = = = . (1.2.1)
innd cont de reprezentarea pentru funcia ( ) y x avem:
( ) ( )
( )
1 1 1 1
2 2
2
0 0 0 0
[ ( ) ( )] [ ( )] ( ) ( ) ( ) 2 ( ) ( ) ( ) I y x y x I y x y x y x dx y x dx y x y x dx y x dx o o o o
- - - - -
'' '' ''
'' '' '' + = + = +
} } } }
.
ntruct ( ) 6 2 y x x
-
''
= rezult c
1 1 1 1
0 0 0 0
( ) ( ) (6 2) ( ) 6 ( ) 2 ( ) y x y x dx x y x dx x y x dx y x dx o o o o
-
''
'' '' '' '' = =
} } } }
. n
baza relaiei (1.2.1) integrala
1 1
1
0
0 0
( ) ( ) ( ) (1) 0 (1) (0) 0
x
x
x y x dx x y x y x dx y y y o o o o o o
=
=
'' ' ' ' = = + =
} }

precum i
1
1
0
0
( ) ( ) (1) (0) 0
x
x
y x dx y x y y o o o o
=
=
'' ' ' ' = = =
}
. Prin urmare
1
0
( ) ( ) 0 y x y x dx o
-
''
'' =
}
, iar
( )
1
2
0
[ ( )] [ ( )] ( ) I y x I y x y x dx o
-
'' =
}
.
ntruct ( )
2
( ) 0, [0;1] y x x o '' > e , avem ( )
1
2
0
( ) 0 y x dx o '' >
}
i atunci [ ( )] [ ( )], ( ) I y x I y x y x D
-
> e ,
adic funcia
3 2
( ) y x x x
-
= realizeaz un minim absolut al funcionalei [ ( )] I y x pe MFA
D.
Ca i pentru extremele unei funcii, deseori ne intereseaz, nu extremele absolute
ale unei funcionale, ci extremele relative (locale) n care noiunea de vecintate joac
un rol important.
Definiia 1.2.8. Fie y X
-
e i 0 r > . Se numete vecintate de raz r cu centrul n y
-

mulimea
{ }
( , ) V y r y X y y r
- -
= e s .
Definiia 1.2.9. Mulimea A X c se numete deschis dac pentru orice y A e exist
7
0 r > astfel nct ( , ) V y r A c .
Definiia 1.2.10. Vom spune c elementul admisibil y D
-
e realizeaz un minim (maxim)
local (sau relativ) al funcionalei [ ] I y pe MEA, dac exist numrul 0 r > astfel nct
are loc inegalitatea [ ] [ ] I y I y
-
s ( [ ] [ ] I y I y
-
> ), pentru orice
{ }
( , ) : y D V y r y D y y r
- -
e = e < .
Punctelor de minim sau de maxim local le vom spune puncte de extrem local (relativ).
Remarca 1.2.3. Elementul y D
-
e poate s fie un punct de extrem local n raport cu o
norm, dar nu i n raport cu alta.
Exemplul 1.2.8. Pentru funcionala | |
3 2
[ ( )] 2 (0) 3 (0), 0;1 I y x y y y C = e s se arate c funcia
( ) 1 y x
-

a) realizeaz un punct de minim local n raport cu norma
| |
( )
1
0;1
max
x
y y x
e
= ;
b) nu realizeaz un punct de minim local n raport cu norma ( )
1
2
0
y y x dx =
}
.
a) Fie | |
| |
( )
{ }
0;1
( ,1) 0;1 max 1 1
x
y V y y C y x
-
e
e = e s . Atunci are loc
relaia ( ) | | ( )
0 2 0;1 y x x < < e , n particular, ( ) 0 0 2 y < < .
ntruct pe | | 0; 2 polinomul ( )
3 2
2 3 p t t t = ia valoarea
minim (-1) n punctul 1 t = (a se vedea figura 1.2.1),
considernd ( ) : 0 t y = obinem
| | 1 I y I y
-
( > =

.
Astfel ( ) 1 y x
-
realizeaz un punct de minim local n
raport cu norma maximum.
b) S considerm funcia continu
( )
1 2 , 0
1, 1
x x
y x
x
c
c c
c
+ s s
=

< s

,
unde 0 c > dat. ntruct are loc ( ) ( )
1
2
0
y y y x y x dx
c c
- -
= =
}

fig. 1.2.1 ( )
0 0
2 1 2 1 x dx x dx
c c
c c c = + = =
} }
, distana dintre ( ) y x
c
i ( ) 1 y x
-

n norma
2
poate fi fcut orict de mic prin alegerea lui c suficient de mic.
Simultan avem | | 5 1 I y I y
c
-
( = < =

pentru orice 0 c > . Astfel ( ) 1 y x
-
nu realizeaz un
punct de minim local n raport cu norma integral.
n cazul n care domeniul de definiie X al funcionalei [ ] I y este [ ; ] C a b sau
1
[ ; ] C a b ,
punctele de extrem relativ se pot clasifica i n dependen de ct de largi sunt
vecintile pe care acestea sunt definite.
Fie 0 c > un numr pozitiv arbitrar de mic.
Definiia 1.2.11. Se numete c -vecintate de ordinul zero (vecintate tare de raz c ) a
funciei ( ) [ ; ] y x C a b
-
e mulimea
0 1 2
-1
-0.5
0
0.5
1
1.5
2
2.5
3
3.5
4


p(t)=2t
3
-3t
2
pe [0;2]
8
{ } 0
[ ; ] [ ; ]
( ( ), ) : ( ) [ ; ]: ( ) ( ) max ( ) ( )
C a b x a b
V y x y x C a b y x y x y x y x c c
- - -
e
= e = s .
Aceasta nseamn, c distana de la curba ( ) y x
-
pn la curbele ( ) y x este mic.
Definiia 1.2.12. Se numete c -vecintate de ordinul nti (vecintate slab de raz c )
a funciei
1
( ) [ ; ] y x C a b
-
e mulimea
{ } 1
1
1
[ ; ] [ ; ] [ ; ]
( ( ), ) : ( ) [ ; ]: ( ) ( ) max ( ) ( ) max ( ) ( )
C a b x a b x a b
V y x y x C a b y x y x y x y x y x y x c c
- - - -
e e
'
' = e = + s .
Aceasta nseamn, c sunt apropiate nu numai ordonatele curbelor ( ) y x
-
i ( ) y x , dar
i valorile derivatelor lor.
Uor se vede, c funcia
1 1
( ) [ ; ] ( [ ; ] [ ; ]) y x C a b C a b C a b e c ce aparine unei vecinti
1
( ( ), ) V y x c
-
de ordinul nti, aparine la fel i vecintii
0
( ( ), ) V y x c
-
de ordinul zero, adic
1 0
( ( ), ) ( ( ), ) V y x V y x c c
- -
c .
n figura de mai jos curbele
1
( ) Y x i
2
( ) Y x stau n
vecintate de ordinul zero a funciei ( ) y x , dar,
totodat, numai
2
( ) Y x st ntr-o vecintate de ordinul
nti.


Definiia 1.2.13. Vom spune c funcia admisibil ( ) [ ; ] y x D C a b
-
e c realizeaz un minim
(maxim) local tare al funcionalei [ ] I y pe mulimea funciilor admisibile (MFA) D dac
exist 0 c > astfel nct are loc inegalitatea [ ( )] [ ( )] I y x I y x
-
s ( [ ( )] [ ( )] I y x I y x
-
> ) pentru orice
0
( ) ( ( ), ) y x D V y x c
-
e .
Definiia 1.2.14. Vom spune c funcia admisibil
1
( ) [ ; ] y x D C a b
-
e c realizeaz un minim
(maxim) local slab al funcionalei [ ] I y pe MFA D dac exist 0 c > astfel nct are loc
inegalitatea [ ( )] [ ( )] I y x I y x
-
s ( [ ( )] [ ( )] I y x I y x
-
> ) pentru orice
1
( ) ( ( ), ) y x D V y x c
-
e .
Exemplul 1.2.9. S se arate c funcia ( ) 0 y x
-
realizeaz un minim local slab, dar nu
tare, al funcionalei
( )
2 2
0
[ ( )] ( ) 3 ( ) I y x y x y x dx
t
' =
}
pe MFA
{ }
1
: [0; ] (0) ( ) 0 D y C y y t t = e = = .
Conform definiiei punctului de minim local slab este necesar s se arate c
exist 0 c > astfel nct
1
[ ( )] [ ( )], ( ) ( ( ); ) I y x I y x y x D V y x c
- -
> e , unde
{
1
1
( ( ); ) : ( ) [0; ] V y x y x C c t
-
= e
} 1
[0; ]
( ) ( )
C
y x y x
t
c
-
s .
Simplu se verific c ( ) y x D
-
e i [ ( )] 0 I y x
-
= . Fie 1 c = . Atunci pentru fiecare curb
( ) y x din vecintatea slab de raz 1 c = a lui ( ) 0 y x
-
se ndeplinete condiia:
9
1
[0; ] [0; ] [0; ]
( ) ( ) max ( ) max ( ) 1
C x x
y x y x y x y x
t t t
-
e e
' = + s ,
de unde rezult c
[0; ]
max ( ) 1
x
y x
t e
s i
[0; ]
max ( ) 1
x
y x
t e
' s . Astfel se satisfac condiiile
2
3 ( ) 0 y x ' > ,
2
0 ( ) 1 ( [0; ]) y x x t s s e , ceea ce implic
( )
2 2
0
[ ( )] [ ( )] ( ) 3 ( ) 0 I y x I y x y x y x dx
t
-
' = >
}
,
adic ( ) 0 y x
-
realizeaz un minim local slab al funcionalei [ ( )] I y x pe MFA.
S cercetm dac funcia ( ) 0 y x
-
realizeaz un minim local tare al funcionalei.
ntruct pentru irul de funcii
1
( ) : sin ( )
n
y x nx n
n
= e are loc
[0; ] [0; ]
[0; ]
1 1 1
( ) ( ) : sin max sin 0,
n
C x
C
y x y x nx nx n
n n n
t t
t
-
e
= = s ,
rezult c pentru 0 c > exist un numr
0
n n = e astfel nct
0
[0; ]
0
1
( ) ( )
n
C
y x y x
n
t
c
-
s s ,
adic
0
0
( ) ( ( ); )
n
y x V y x c
-
e . Pe de alt parte avem:
( ) ( )( ) ( )( )
2 2 2 2 2 2 2
1 2
0 0 0 0
1 3
[ ( )] ( ) 3 ( ) sin 3 cos sin sin cos
n n n
I y x y x y x dx nx n nx dx nxdx nx nx dx I I
n n
t t t t
' = = = =
} } } }
;
( )
2
1
0 0 0
3 3 3 1 3
sin 1 cos 2 sin 2
2 2 2 2
x
x
I nxdx nx dx x nx
n n n n n
t
t t
t
=
=
| |
= = = =
|
\ .
} }
;
( )( ) ( )
2 2 2
2
0 0 0 0
1 1 1 1
sin cos sin 2 1 cos4 sin 4
4 8 8 4 8
x
x
I nx nx dx nxdx nx dx x nx
n
t
t t t
t
=
=
| |
= = = = =
|
\ .
} } }
;
3
[ ( )] 0
2 8
n
I y x
n
t t
= < pentru
1
13 n n > = .
Pentru fiecare 0 c > i un
0 1
max( ; ) n n n > vom avea
0
( ) ( ( ); )
n
y x V y x c
-
e i [ ( )] [ ( )] 0
n
I y x I y x
-
< ,
adic ( ) 0 y x
-
nu realizeaz un minim relativ tare al funcionalei [ ] I y pe MFA.
Evident, orice extrem global al unei funcionale este i extrem local. De
asemenea, dac
1
[ ; ] X C a b = , atunci funcia ce realizeaz un extrem local tare al
funcionalei [ ] I y pe MFA, ndeplinete i condiiile unui extrem local slab. Reciproca,
n general vorbind, nu este adevrat.
Definiiile date mai sus se extind n mod natural pentru cazul funcionalelor ce
depind de o funcie de mai multe variabile, definit pe un domeniu i de derivatele
pariale ale acesteia, ct i pentru cazul funcionalelor ce depind de mai multe funcii
de o variabil, definite pe un interval i de derivatele acestora.
1.2.3. Lemele fundamentale ale calculului variaional
Pentru a stabili condiii necesare de extrem al unei funcionale vom utiliza rezultate
10
auxiliare cunoscute ca leme fundamentale ale calculului variaional. Aceste leme
furnizeaz condiii de tip integral la ndeplinirea crora funcia dat se anuleaz.
Pe intervalul [ ; ] a b c s considerm mulimea de funcii
{ }
1
1
: :[ ; ] ( ) [ ; ], ( ) ( ) 0 H a b x C a b a b q q q q = e = = . (1.2.2)
Lema 1.2.2. (du Bois-Reymond) Dac ( ) [ ; ] g x C a b e satisface condiia
1
( ) ( ) 0, ( )
b
a
g x x dx x H q q ' = e
}
, (1.2.3)
atunci ( ) g x const pe [ ; ] a b .
Demonstraie. Considerm funcia :[ ; ] a b q definit n modul urmtor:
( ) ( ( ) )
x
a
x g t c dt q =
}
.
Aici c este o constant care se determin din condiia ( ) 0 b q = , deci
1
( )
b
a
c g t dt
b a
=

}
.
Funcia construit ( ) x q satisface condiiile stipulate n enunul lemei, adic
1
( ) x H q e .
innd cont c ( ) ( ) x g x c q' = (conform teoremei fundamentale a calculului integral a
se vedea [16, p.246]), n baza relaiei (1.2.3) avem
( ) ( )
2
( ) ( ) ( ) ( ) ( ) ( ) 0
b b b
x b
x a
a a a
g x c dx g x c x dx g x x dx c x q q q
=
=
' ' = = =
} } }
.
Atunci, ntruct ( )
2
( ) 0, [ ; ] g x c x a b > e i ( ) [ ; ] g x C a b e , rezult c ( ) , [ ; ] g x c x a b = e .
Fie
0
[ ; ] [ ; ] C a b C a b . Urmtoarea lem reprezint o generalizare a lemei lui du Bois-
Reymond.
Lema 1.2.3. Fie ( ) [ ; ] g x C a b e cu proprietatea c pentru un me i orice
{ }
( ) ( )
( ) : ( ) [ ; ] ( ) ( ) 0, 0, 1
m k k
m
x H x C a b a b k m q q q q e = e = = = se satisface condiia
( )
( ) ( ) 0
b
m
a
g x x dx q =
}
. (1.2.4)
Atunci ( ) ( [ ; ]) g x x a b e este un polinom de grad mai mic sau egal cu 1 m .
Demonstraie. Fr a pierde din generalitate se poate considera c 0 a = (aceasta se
poate obine printr-o substituie). Funcia
1 1
1 2
0 0 0
( ) : ... ( )
m
t t x
G x dt dt h t dt

=
} } }
,
este de clas [0; ]
m
C b i, ntruct la derivarea succesiv este eliminat cte o integral,
avem
( )
( ) ( )
m
G x g x = i
( )
(0) 0, 0, 1
j
G j m = = .
Dac
1
( )
m
q x

este un polinom de grad cel mult 1 m , atunci polinomul

1
( ) : ( )
m
m
P x x q x

= se anuleaz n 0 x = mpreun cu derivatele

( )
( ) ( )
j
P x j m < . Funcia
11
( )
1
( ) : ( )
m
m
p x P x

= este la fel un polinom de grad mai mic sau egal cu 1 m . Pentru funcia
( ) : ( ) ( ) x G x P x q = avem
( )
1
( ) ( ) ( )
m
m
x g x p x q

= . Se poate demonstra c poate fi selectat
polinomul
1
( )
m
q x

astfel nct s se satisfac condiiile

( )
( ) 0, 0, 1
k
b k m q = = . Considernd
c
1
( )
m
q x

a fost selectat n modul indicat i am obinut respectiva funcie ( )

m
x H q e ,
utiliznd integrarea prin pri avem:
( ) ( 1) ( )
1 1 1
0 0 0
( ) ( ) ( ) ( ) ... ( 1) ( ) ( ) 0
b b b
m m m m
m m m
p x x dx p x x dx p x x dx q q q

' = = = =
} } }
.
Atunci n baza relaiei (1.2.4) conchidem:
( ) ( )
2
( ) ( )
1 1
0 0 0
0 ( ) ( ) ( ) ( ) ( ) ( ) ( ) 0
b b b
m m
m m
g x p x dx g x p x x dx g x x dx q q

s = = =
} } }
,
de unde rezult c
1
( ) ( ), [0; ]
m
g x p x x b

= e .
Lema 1.2.4. Dac ( ), ( ) [ ; ] f x g x C a b e satisfac condiia ( ) ( ) ( ) ( ) ( ) 0
b
a
f x x g x x dx q q' + =
}
pentru
1
( ) x H q e ce verific ( ) ( ) 0 a b q q = = , atunci
1
( ) [ ; ] g x C a b e i ( ) ( ), [ ; ] g x f x x a b ' = e .
Demonstraie. Considerm funcia :[ ; ] a b definit n modul urmtor:
( ) ( )
x
a
x f t dt =
}
.
Conform teoremei fundamentale a calculului integral funcia
1
( ) [ ; ] x C a b e i
( ) ( ), [ ; ] x f x x a b ' = e . Conform ipotezei, pentru orice funcie
1
( ) x H q e are loc
( ) ( ) ( ) ( ) ( ) 0
b
a
x x g x x dx q q ' ' + =
}
. Integrnd prin pri obinem ( ) ( ) ( ) ( ) ( ) ( )
b b
x b
x a
a a
x x dx x x x x dx q q q
=
=
' ' = =
} }

( ) ( )
b
a
x x dx q' =
}
, de unde avem ( ) ( ) ( ) ( ) ( ) ( )
b b b
a a a
g x x dx x x dx x x dx q q q ' ' ' = =
} } }
. n fine obinem
( ) ( ) ( ) ( ) 0, ( )
b
a
g x x x dx x H q q ' = e
}
. n baza lemei 1.2.3 conchidem, c funcia ( ) ( ) g x x
este constant pe [ ; ] a b , deci
1
( ) [ ; ] g x C a b e i ( ) ( ) ( ), [ ; ] g x x f x x a b ' ' = = e .
n cazul n care n lema 1.2.4 avem ( ) 0 g x pe [ ; ] a b obinem
Corolarul 1.2.1. Dac ( ) [ ; ] f x C a b e satisface condiia
1
( ) ( ) 0, ( )
b
a
f x x dx x H q q = e
}
,
atunci ( ) 0 f x pe [ ; ] a b .
Rezultatul corolarului 1.2.1 admite urmtoarea generalizare:
Lema 1.2.5. (Lagrange) Dac ( ) [ ; ] f x C a b e satisface condiia
{ }
( )
( ) ( )
( ) ( ) 0, ( ) : ( ) [ ; ] ( ) ( ) 0, 0, {0}
b
m k k
m
a
f x x dx x H x C a b a b k m m q q q q q = e = e = = = e
}
, (1.2.5)
12
atunci ( ) 0 f x pe [ ; ] a b .
Demonstraie. Presupunem, prin absurd, c ( ) f x nu este identic nul pe ( ; ) a b , deci
exist ( ; ) c a b e astfel nct ( ) 0 f c = . Fr a reduce din generalitate, se poate considera
c ( ) 0 f c > . n caz contrar nmulim la 1 relaia (1.2.5) i considerm n locul lui ( ) f x
funcia ( ) f x (vom avea ( ) 0 f c > ). Funcia ( ) f x fiind continu n punctul c , este
continu i ntr-o vecintate a acestuia, adic pentru 0, ( ) 0 c o o c > - = > suficient de
mic, astfel nct pentru | | | | : ; ; x J c c a b o o e = + _ avem ( ) ( ) f x f c c s . Altfel spus, pentru
x J e au loc inegalitile ( ) ( ) ( ) f c f x f c c c s s + . n particular, pentru 0.5 ( ) f c c = rezult,
c exist un interval corespunztor | | ; J c c o o = + astfel nct pentru x J e avem
( ) 0.5 ( ) 0 f x f c > > . (1.2.6)
innd cont de numrul 0 o > menionat, considerm funcia :[ ; ] a b q , definit
astfel:
1 1
( ( )) (( ) ) ,
( )
0,
m m
x c c x dac x J
x
dac x J
o o
q
+ +
+ e
=

e

.
Simplu se verific c funcia ( )
m
x H q e i este nenegativ pe [ ; ] a b . Utiliznd relaia
(1.2.6) i teorema de medie [16, p. 241]
2
1
2 1 1 2
( ) ( ) ( ), ( ; ) h x dx h
o
o
o o o o
| |
= e |
|
\ .
}
obinem:
( )
1 1
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 0 ( ( ; ))
2 2
b c c
a c c
f x x dx f x x dx f c x dx f c c c c c
o o
o o
q q q q o o o o
+ +

= > = + > e +
} } }
,
ceea ce contrazice relaia (1.2.5).
Deoarece ( ) 0, ( ; ) f x x a b = e , iar funcia ( ) [ ; ] f x C a b e , obinem ( ) 0, [ ; ] f x x a b = e .
Este evident extinderea rezultatului lemei 1.2.5 pentru cazul funciilor de mai
multe variabile (integralelor multiple). Formulm varianta 2-dimensional a acesteia.
Fie
2
O c un compact (domeniu mrginit i nchis), iar curba neted cO - frontiera
acestuia. Are loc
Lema 1.2.6. Fie ( , ) ( ) G x y C e O cu proprietatea c pentru orice
1
( , ) ( ) x y C q e O astfel nct
( , ) 0 x y q
cO
= , satisface condiia
( , ) ( , ) 0 G x y x y dxdy q
O
=
}}
.
Atunci ( , ) 0, ( , ) G x y x y = eO.
Demonstraia, prin esena ei, nu se deosebete de cea pentru lema 1.2.5.
1.2.4. Difereniale de ordinul I i II ale funcionalei
i n analiza clasic i n CV clasic metoda esenial de studiere a extremelor este
metoda variaiilor, conform creia studiul extremelor se realizeaz prin atribuirea de
13
mici variaii argumentului. n legtur cu aceast metod intervin noiunile de
difereniale ale funcionalei.
Fie
( )
, X un spaiu liniar normat, : I X o funcional, iar D X c mulimea
elementelor admisibile ntr-o problem de extrem al funcionalei [ ]
y D
extr I y
e
. Dac
, y y D
-
e , atunci elementul : y y y X o
-
= e l vom numi variaie a argumentului
funcionalei [ ] I y atunci cnd se trece de la elementul y
-
la y . n cazul n care
elementul y D
-
e este fix, pentru orice alt element y D e exist y X o e astfel nct
y y y o
-
= + . Simultan, fiecare element y D e se poate reprezenta i sub forma y y y oo
-
= +
n care , y X o o e e .
I. Difereniala Gteaux
Difereniala Gteaux ntr-un spaiu liniar normat reprezint o generalizare a
conceptului de derivat direcional n
n
din cursul de calcul diferenial.
Definiia 1.2.15. Vom spune c funcionala [ ] I y este difereniabil Gteaux (prescurtat
G-difereniabil) n punctul y D
-
e dac exist

0
0
[ ] [ ]
[ ; ] : [ ] lim
d I y y I y
I y y I y y
d
o
o
oo
o o oo
o o
- -
- -

=
+
= + = , (1.2.7)
pentru orice y X o e . Funcionala [ ; ] I y y o o
-
se numete diferenial Gteaux [22]
(prescurtat G-diferenial) a funcionalei [ ] I y n punctul y
-
. n unele surse G-
difereniala mai este numit i variaie de ordinul I a funcionalei [ ] I y n y D
-
e [5],[10].
Din definiia 1.2.15 rezult c n fiecare punct y D e G-difereniala definete
funcionala [ ; ]: I y y X o o omogen n raport cu variabila y o , adic pentru c e
avem [ ; ] [ ; ] I y c y c I y y o o o o = . ntr-adevr, avem :
( )
( )
( )
0
0 0
[ ; ] [ ; ]
c c
c
I y c y I y c y I y c y c I y c y c I y y
c c
o
o o
o
o o o o oo oo o o
o o o o
- - - - -
=
= =
c c c c
( ( ( = + = + = + =

c c c c
.
ns [ ; ] I y y o o poate s nu fie funcional aditiv (prin urmare, nici liniar) n raport cu
y o i nici continu.
Exemplul 1.2.10. S se arate c funcionala
( ) ( ) ( )
1
3 3
3
1
I y x y x y x dx

' ( = +
}
,
unde | | { }
1
( ) : ( ) 1;1 ( 1) 0, (1) 0 y x D y x C y y e = e = = , este G-difereniabil n punctul ( ) 0 y x
-
, iar
G-difereniala ( ) 0; I y x o o (

este neliniar n raport cu ( ) y x o .
14
Deoarece avem
( ) ( )
( ) ( )
1
3 3
3
1
3 3 1
3
0 0
0
lim lim
y x y x dx
I y y I y
y x y x dx
o o
o o o
oo
o o
o o
- -

' +
( ( +

' = = +
}
}
,
( ) I y x (

este G-difereniabil n punctul ( ) 0 y x
-
, iar G-difereniala este ( ) 0; I y x o o ( =


( ) ( )
1
3 3
3
0
y x y x dx o o ' = +
}
. Ultima relaie confirm faptul c ( ) 0; I y x o o (

este funcional
neliniar n raport cu ( ) y x o .
Se tie c orice funcional liniar, definit pe un spaiu liniar normat X finit
dimensional, este i continu pe X . ns atunci cnd spaiul X este infinit
dimensional o funcional liniar pe X poate s nu fie continu pe acesta [23, p.26].
n urmtoarea teorem sunt formulate condiii suficiente de liniaritate i continuitate
a G-diferenialei [26, p.44]:
Teorema 1.2.1. Fie
( )
, X - spaiu liniar normat, , ( ) y X V y X
- -
e c - o vecintate a
punctului y
-
i funcionala : ( ) I V y
-
. Dac n fiecare punct ( ) y V y
-
e exist G-
difereniala [ ; ] I y y o o a funcionalei [ ] I y , continu n prima variabil n punctul y
-
pentru
fiecare y X o e fix, iar [ ; ] I y y o o
-
este continu n a doua variabil n punctul
( )
0 0 0
X X
y o = = , atunci funcionala [ ; ] I y y o o
-
este liniar i continu n raport cu y o .
Demonstraie. ntruct [ ; ] I y y o o
-
este continu n punctul 0
X
y o = , exist numerele
0 m > i 0 M > astfel nct pentru y m o s vom avea [ ; ] I y y M o o
-
s . G-difereniala [ ; ] I y y o o
fiind omogen n raport cu y o , pentru y X o e arbitrar rezult, c [ ; ] I y y o o
-
=
1
;
M
y I y m y y y
m m
o o o o o
-
( = s

, adic [ ; ] I y y o o
-
este funcional mrginit de norm
M m.
Pentru a verifica aditivitatea lui [ ; ] I y y o o
-
n raport cu y o vom utiliza formula lui
Lagrange: [ ] [ ] [ ; ] (0 1) I y y I y I y y y o o to o t + = + < < (a se vedea Anexa). Fie
1
y o i
2
y o
elemente din X de norm
1 2
1 y y o o = = , iar c un numr pozitiv arbitrar. Definiia G-
diferenialei [ ; ] I y y o o
-
(aceasta exist conform ipotezei teoremei) implic existena
numrului
1
( ) 0 v v c = > astfel nct pentru
1
o v < s avem
1
( ) y y V y oo
- -
+ e ,
1 2
( ) y y y V y oo oo
- -
+ + e i

( )
( )
( )
( )
1 1
2 2
1 2 1 2
[ ; ] [ ] [ ] 4,
[ ; ] [ ] [ ] 4,
; 4.
I y y I y y I y
I y y I y y I y
I y y y I y y y I y
o o oo o c
o o oo o c
o o o o o o o c
- - -
- - -
- - -
+ <
+ <
( ( ( + + + <

(1.2.8)
15
ntruct conform ipotezei
1
[ ; ] I y y o o este continu n prima variabil n punctul y
-
,
pentru o alegere reuit a numrului
2
0 v > cnd
2
o v < vom avea
1 1 2
( ), ( ) y y V y y y y V y oo oo oo
- - - -
+ e + + e i:
2 1 1 1 1 1
2 1 1 1 2
; ; 8 (0 1),
; ; 8 (0 1).
I y y y y I y y
I y y y I y y
o oo t oo o o o c t
o t oo o o o c t
- -
- -
( ( + + < < <

( ( + < < <

(1.2.9)
n baza relaiei (1.2.9) i a formulei lui Lagrange deducem:
( ) 1 2 2 1
1
I y y y I y y I y I y y oo oo oo oo
o
- - - -
( ( ( ( + + + + + =


( ) 2 1 1 1 2 1 1 2 1 1 1 1
1
; ; ; ; I y y y y I y y y I y y y y I y y o oo t oo oo o t oo oo o oo t oo o o o
o
- - - -
( ( ( ( = + + + s + + +


2 1 1 1
; ; 4 I y y y I y y o t oo o o o c
- -
( ( + + <

.
Fie
1 2
min{ , } v v v = . Atunci, n baza formulei (1.2.8), pentru o v < vom avea:
( ) 1 2 1 2 1 2 1 2
; ; ; ; I y y y I y y I y y I y y y I y y y I y o o o o o o o o o o oo oo o
- - - - - -
( ( ( ( ( ( + s + + + +


( ) ( ) 1 1 2 2
; ; I y y I y y I y I y y I y y I y o o oo o o o oo o
- - - - - -
( ( ( ( ( ( + + + + +


( ) 1 2 1 2
I y y y I y I y y I y y oo oo oo oo o c
- - - -
( ( ( ( + + + + + + <

.
ntruct 0 c > a fost ales arbitrar, obinem:
1 2 1 2
; ; ; I y y y I y y I y y o o o o o o o
- - -
( ( ( + = +

,
adic se verific proprietatea de aditivitate a funcionalei [ ; ] I y y o o
-
n raport cu
variabila y o . Cum aceasta este i omogen n y o , rezult c [ ; ] I y y o o
-
este liniar n
y o . Totodat, funcionala liniar i mrginit este continu [23, p.26].
Definiia 1.2.16. Vom spune c funcionala [ ] I y este de dou ori G-difereniabil n
punctul y D
-
e dac exist
2
2
2
0
[ ; ] : [ ]
d
I y y I y y
d
o
o o oo
o
- -
=
= + ,
pentru orice y X o e . Funcionala
2
[ ; ] I y y o o
-
se numete G-diferenial de ordinul doi a
funcionalei [ ] I y n punctul y D
-
e . n unele surse
2
[ ; ] I y y o o
-
mai este numit i variaie
de ordinul II a funcionalei [ ] I y n y D
-
e [5],[10].
G-difereniala de ordinul doi
2
[ ; ] I y y o o
-
este o funcional omogen de ordinul doi,
adic ( ) ( ) ( ) ( )
2 2 2
; ; I y x y x I y x y x o oo o o o
- -
( ( =


S considerm dreapta : d y y y oo
-
= + , unde , , y D y o o
-
e e - un element fix din X .
Pentru 0 o = avem y y
-
= . n cazul n care funcia scalar ( ) : [ ] I y y o oo
-
= + este analitic
16
pe domeniul su de definiie, aceasta admite dezvoltare n serie Taylor n vecintatea
punctului 0 o = n raport cu puterile lui o , iar pentru creterea funcionalei obinem
urmtoarea reprezentare:
2 3
2 3
[ ] [ ] ...
2! 3!
I I y y I y I I I
o o
oo oo o o
- -
A = + = + + + ,
n care mrimea
0
0
( ) [ ] d dI y y
I
d d
o
o
o oo
o
o o
-
=
=
+
= = este G-difereniala funcionalei [ ] I y n y
-
,
2 2
2
2 2
0 0
( ) [ ] d d I y y
I
d d
o o
o oo
o
o o
-
= =
+
= = - G-difereniala de ordinul II,
3
I o - G-difereniala de
ordinul III, etc.
Exemplul 1.2.11. Fie | | ( )
2
2 2
: [ ; ] ; , a b a b O = A c A c o mulime deschis, iar : F O o
funcie de clas
2
C (n O funcia ( , , ) F F x y z = are derivate pariale de ordinul nti
, ,
x y z
F F F i de ordinul doi , , , , , , , ,
xx xy xz yx yy yz zx zy zz
F F F F F F F F F continue n raport cu cele trei
variabile). S se arate c funcionala
( ) ( ) ( ) ( ) [ ] , ,
b
a
I y x F x y x y x dx ' =
}
,
definit pe mulimea funciilor admisibile
( ) | | ( ) ( ) ( ) | | ( ) ( ) { }
1
: ; , , , ; , , , ,
a b a b
D y x C a b x y x y x x a b y a y y b y y y ' = e eO e = = e ,
este de dou ori G-difereniabil n orice punct ( ) y x D
-
e i s se calculeze variaiile de
ordinul I i II ale acesteia.
Fie ( ) y x D
-
e o funcie admisibil. Funcia
( ) : ( ) ( ) y x y x y x oo
-
= + ( ( )
1
0; , ( ) [ ; ] V y x C a b o c o e c e fix) (1.2.10)
va aparine mulimii D dac i numai dac
1
( ) y x H o e (mulimea
1
H este definit prin
relaia (1.2.2)).
S considerm funcia
1 1
[ ; ] [ ; ]
: : ( ) ; ( )
C a b C a b
J y x y x c o c o
(
=

, definit prin relaia
( ) ( ) : [ ( , )] , ( , ), ( , )( )
b
a
I y x F x y x y x x dx o o o o ' = =
}
,
unde ( , ) y x o este de forma (1.2.10),
1
( ) y x H o e este fix, iar parametrul numeric o
aparine intervalului indicat, ceea ce asigur c ( , ) : ( ) ( ) y x y x y x o oo
-
= + aparine MFA D .
ntruct integrandul
1
( ) F C e O (de fapt,
2
( ) F C e O ) funcia ( ) o este derivabil (se poate
deriva n raport cu o sub semnul integralei), iar funcionala ( ) I y x (

este G-
difereniabil n orice punct ( ) y x D
-
e .
n continuare utilizm regula de derivare a integralei ce depinde de parametru,
precum i regula de derivare a funciei compuse de cteva variabile. Amintim c
17
pentru integrala ( ) ( , )
b
a
f x dx o o =
}
, n care ( , ) f x o este o funcie de clas
1
C , are loc
relaia [16, p.341]
( )
b
a
f dx
o
o ' =
}
. (1.2.11)
Dac funcia ( , ) u f x o = este definit ca compus
( , , )
( , )
( , )
u F x y z
y y x
z y x
o
o
=

' =

,
unde toate funciile sunt netede, atunci [ ]

y z
u F F y F y
o o o o
' = = + . (1.2.12)
Utiliznd formulele (1.2.11), (1.2.12) i egalitile , y y y y
o o
o o ' ' = = (a se vedea relaia
(1.2.10)), obinem:
( ) ( )
( ) , ( , ), ( , )
b b
y y
a a
F x y x y x dx F y F y dx
o o o
o o o
'
' ' ' = = + =
} }

( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
, , , , , , , ,
b
y y
a
F x y x y x y x F x y x y x y x dx o o o o o o
'
' ' ' = +
}
. (1.2.13)
Atunci variaia de ordinul nti ( ) ( ) ; I y x y x o o
-
(

poate fi scris astfel:
( ) ( )
( ) ( ) { }
; (0) , ( ), ( ) ( ) , ( ), ( ) ( )
b
y y
a
I y x y x F x y x y x y x F x y x y x y x dx o o o o
- - - - -
'
' '
' ' ( = = +
}
. (1.2.14)
Relaia (1.2.14) arat c n cazul dat G-difereniala ( ) ( ) ; I y x y x o o
-
(

este o funcional
liniar i continu n raport cu funcia ( ) y x o .
ntruct integrandul ( , ( ), ( )) F x y x y x ' este o funcie de clas ( )
2
C O , funcia ( ) o este
de dou ori derivabil n punctul 0 o = , iar funcionala ( ) I y x (

este de dou ori G-
difereniabil n orice punct ( ) y x D
-
e . S calculm variaia de ordinul doi a
funcionalei [ ( )] I y x . Pentru aceasta vom calcula (0) '' . innd cont de (1.2.13), de
relaiile
( ) ( )
2
( )
b b b
y y yy y y
a a a
d d
F ydx F y dx F y F y y dx
d d
o o o o o
o o
'
| |
' = = +
|
\ .
} } }
,
( ) ( )
2
( )
b b b
y y yy y y
a a a
d d
F y dx F y dx F y y F y dx
d d
o o o o o
o o
' ' ' ' '
| |
' ' ' ' = = +
|
\ .
} } }
,
i de faptul c
2
F C e (n acest caz coincid derivatele pariale mixte), obinem
( )
2 2
( ) ( ) 2 ( )
b
yy yy y y
a
F y F y y F y dx o o o o o
' ' '
'' ' ' = + +
}
.
n aceste relaii derivatele integrandului F sunt funcii de variabilele
18
( )
, ( ) ( ), ( ) ( ) x y x y x y x y x oo oo
- -
'
' + + . nlocuim valoarea 0 o = i obinem formula pentru
variaia de ordinul doi:
( )
( )
(
( ) ( )
( )
)
2
2
2
[ ( ); ( )] (0) , ( ), ( ) ( )
2 , ( ), ( ) ( ) ( ) , ( ), ( ) ( ) ,
b
yy
a
yy y y
I y x y x F x y x y x y x
F x y x y x y x y x F x y x y x y x dx
o o o
o o o
- - -
- - - -
' ' '
'
'' = = +
' ' ' ' + +
}
(1.2.15)
care reprezint o funcional ptratic (a se vedea Anexa).
II. Difereniala Frchet
Vom aminti c n spaiul normat
( )
,
n
n

funcia
( )
:
n
f V y
-
c este difereniabil
n
n
y
-
e dac are loc reprezentarea
( ) ( )
( ) ( ) f y f y l y y y y y y
- - - -
= + + ,
unde
( )
y y
-
satisface
( )
0
lim 0
n
y y
y y
-
-

=

, iar :
n
l este o funcie liniar, continu,
ce satisface ( ) ( )
l v f y v
-
= V .
S considerm creterea funcionalei : [ ] [ ] I I y y I y o
- -
A = + n punctul y D
-
e .
Definiia 1.2.17. Vom spune c funcionala [ ] I y este difereniabil Frchet (prescurtat
F-difereniabil) n punctul y D
-
e dac creterea funcionalei I A se exprim sub forma

1
[ ; ] [ ; ] I dI y y dI y y o o
- -
A = + , (1.2.16)
unde [ ; ] dI y y o
-
este o funcional continu i liniar n raport cu variabila y X o e :
1 1 2 2 1 1 2 2 1 2 1 2
[ ; ] [ ; ] [ ; ], , , , dI y y y dI y y dI y y y y X o o o o o o o o o o o o
- - -
+ = + e e ,
iar funcionala
1
[ ; ] dI y y o
-
satisface condiia
( )
1
0
lim [ ; ] 0
y
dI y y y
o
o o
-

= . innd cont de ultima

condiie, deducem relaia

1 1 1
0
[ ; ] [ ; ] , lim [ ; ] 0
y
dI y y y y y y y
o
o c o o c o
- - -

= = . (1.2.17)
Partea principal a creterii I A , liniar n raport cu y o , adic funcionala [ ; ] dI y y o
-
se
numete diferenial Frchet (F-diferenial) [21] a funcionalei [ ] I y n punctul y D
-
e .
Lema 1.2.7. Funcionala : I D X c F-difereniabil n punctul y D
-
e este continu n
y
-
.
Demonstraie. ntruct I este F-difereniabil n y
-
, n baza relaiilor (1.2.16)-(1.2.17)
deducem inegalitatea:

1
[ ] [ ] [ ; ] [ ; ] I y I y dI y y y y y y y y c
- - - - - -
s + , (1.2.18)
unde [ ; ] dI y y y
- -
este o funcional liniar i continu n raport cu al doilea argument,
iar
1
0
lim [ ; ] 0
y y
y y y c
-
- -

= . Atunci cnd 0 y y
-
, innd cont de liniaritatea i
19
continuitatea lui [ ; ] dI y y y
- -
, avem [ ; ] [ ; ] [ ; ] 0 dI y y y dI y y dI y y
- - - - -
= , de unde, n baza
relaiei (1.2.18), obinem [ ] [ ] 0 I y I y
-
pentru 0 y y
-
, adic funcionala I este
continu n punctul y
-
.
Exemplul 1.2.12. a) S se arate c funcionala
( )
1
1
0
[ ( )] ( ) 2 ( ) , ( ) [0;1] I y x y x y x dx y x C ' = + e
}
,
este continu i F-difereniabil n punctul ( ) y x x
-
= .
b) Fie ( )
2
1 2
, y x x = c . S se arate c funcionala
( ) ( )
3 6 2
1 2 1 2
, 0 0, 0 ,
[ ]
0, 0,
x x x x pentru y
I y
pentru y

+ = =

=

=

,
nu este continu i nici F-difereniabil n punctul 0 .
a) Continuitatea funcionalei [ ( )] I y x n ( ) y x x
-
= (n sensul normei din
1
[0;1] C ) a fost
demonstrat n exemplul 1.2.2. Deoarece
( ) ( ) ( ) ( )
1 1 1
0 0
0 0 0
1
lim lim 2 1 2 2
I y y I y
x y y dx x dx y y dx
o o
oo
oo oo o o
o o
- -

( ( +
| |

' ' = + + + + = +
|
\ .
} } }

reprezint o funcional liniar i continu n variabila y o , funcionala [ ( )] I y x este G-
difereniabil, iar ( ) ( ) ( )
1
0
; 2 I y x y x y y dx o o o o
-
' ( = +
}
. Funcionala [ ( )] I y x este i F-
difereniabil ntruct are loc:
1
0 0
; ;
lim lim 0
y y
dI y y I y y I y I y y
y y
o o
o o o o
o o
- - - -

( ( ( ( +

= = .
b) ntruct de-a lungul curbei
( )
3
, t t vom avea
( ) ( )
( )
1 2
, 0,0
lim [ ] 1 2 0
x x
I y

= = , funcionala [ ] I y nu
este continu n punctul 0 . Uor se verific c [ ] I y este G-difereniabil n 0 i
0; 0 I y o o
(
=

. n cazul n care [ ] I y ar fi F-difereniabil n 0 , s-ar obine
3
1 2
1 6 2
1 2
0;
y y
dI y
y y
o o
o
o o
(
=

+
, iar pentru
3
2 1
y y o o = , cnd
1
0 y o ar rezulta
1
0
0;
lim
y
dI y
y
o
o
o

(

=
1
6
1
6 2 6 0
1 1 1
lim
2
y
y
y y y
o
o
o o o

= =
+
, ceea ce contrazice faptului c exist F-difereniala 0; dI y o
(

.
Astfel, n punctul 0 funcionala [ ] I y nu este F-difereniabil.
Reciproca lemei 1.2.7 nu are loc (a se vedea exemplul 1.2.13 de mai jos).
Vom arta care este legtura dintre G-difereniala | | ; I y y o o i F-difereniala
| | ; dI y y o .
20
Teorema 1.2.2. Dac funcionala : I D X c este F-difereniabil n punctul y D
-
e ,
atunci I este G-difereniabil n y
-
, iar G-difereniala [ ; ] I y y o o
-
coincide cu F-difereniala
[ ; ] dI y y o
-
: [ ; ] [ ; ] I y y dI y y o o o
- -
= .
Demonstraie. Fie y X o e i 0 o = suficient de mic nct punctul y y y D oo
-
= + e .
Funcionala : I D X c fiind F-difereniabil n punctul y D
-
e , pentru creterea ei
[ ] [ ] I I y I y
-
A = are loc reprezentarea:
1
[ ; ] [ ; ] I dI y y dI y y oo oo
- -
A = + ,
n care [ ; ] dI y y oo
-
este o funcional liniar i continu n y o , iar
1
[ ; ] dI y y oo
-
satisface
condiia
( )
1
0
lim [ ; ] 0
y
dI y y y
oo
oo oo
-

= . ntruct [ ; ] dI y y oo
-
este o funcional liniar n y o ,
avem
[ ; ] [ ; ]
[ ; ]
dI y y dI y y
dI y y
oo o o
o
o o
- -
-
= = , i, innd cont c 0 y y oo o o = cnd 0 o ,
obinem
1 1
0 0
[ ; ] [ ; ]
lim lim 0
dI y y dI y y
y sign
y
o o
oo oo
o o
o oo
- -

= = . Deci exist
0 0
[ ] [ ]
lim lim
I I y y I y
o o
oo
o o
- -

A +
=
: [ ; ] I y y o o
-
= , adic I este G-difereniabil n y
-
. n plus avem
1
0 0 0 0
[ ; ] [ ] [ ] [ ; ]
[ ; ] lim lim lim lim [ ; ]
dI y y I y y I y I dI y y
I y y dI y y
o o o o
oo oo oo
o o o
o o o o
- - - -
- -

+ A
= = = + = .
Remarca 1.2.4. Teorema 1.2.2 reprezint o generalizare la cazul spaiilor infinit
dimensionale a cunoscutei teoreme din analiza matematic, conform creia, din
existena derivatelor pariale ntr-o careva vecintate a punctului y
-
i din
continuitatea acestor derivate pariale n y
-
, rezult difereniabilitatea funciei de mai
multe variabile.
Reciproca teoremei 1.2.2 nu este adevrat. Aceasta se explic n modul urmtor:
definiia G-diferenialei impune cantitilor
( )
[ ] [ ] I y y I y oo o
- -
+ s convearg de-a
lungul fiecrei direcii n parte, fr a impune restricii asupra vitezei de convergen
de-a lungul diferitor direcii. Fiind dat 0 c > , pentru fiecare direcie exist o vecintate
a punctului dat, nct cantitile menionate sunt la distan mai mic dect c de
limitele lor. Se poate ntmpla c exist un ir de direcii pentru care aceste vecinti
devin arbitrar de mici. Dac se alege un ir de puncte de-a lungul acestor direcii,
cantitile
( ) 1
; dI y y y o o
-
(

din definiia F-diferenialei, care consider toate direciile n
acelai timp, ar putea s nu convearg. Astfel, pentru ca G-difereniala liniar s
implice existena F-diferenialei, cantitile
( )
[ ] [ ] I y y I y oo o
- -
+ urmeaz s convearg
uniform pentru toate direciile.
Liniaritatea i continuitatea G-diferenialei pot s nu fie suficiente pentru ca
21
funcionala I s fie F-difereniabil.
Exemplul 1.2.13. a) Fie ( )
2
1 2
, y x x = c . S se arate c funcionala
( ) ( )
3 4 2
1 2 1 2 1 2
, 0 0, 0 ,
[ ]
0, 0,
x x x x x x pentru y
I y
pentru y

+ + + = =

=

=

,
este G-difereniabil n punctul 0 , iar G-difereniala 0; I y o o
(

este liniar i continu n
raport cu y o . S se arate c | | I y nu este F-difereniabil;
b) Fie X un spaiu Banach, dim , : X J X = o funcional liniar pe X , discontinu n
punctul 0
X
, iar | | | | : I y y J y = . S se arate c | | I y este G-difereniabil n 0
X
, iar G-
difereniala | | 0 ;
X
I y o o este liniar i continu n raport cu y o . S se arate c | | I y nu este
F-difereniabil.
a) Funcionala | | I y este continu pentru ( )
1 2
, 0 y x x = = , iar n virtutea relaiei
5 2 1 2
3
1 1 2 1 2
1 4 2 4 2
1 2 1 2
1
2
x x x x x
x
x x x x
= s
+ +
,
rezult c | | I y este continu i n punctul 0 .
Fie ( )
1 2
, y y y o o o = . Pentru 0 y o = avem
4 3
1 2
1 2 4 4 2 2
1 2
1 2
0 0
0 0
lim lim
y y
y y
I y I
y y
y y
o o
o o o
oo oo
oo
o o o o
o o
o o

+ +
( ( +
+
= = + .
Prin urmare, [ ] I y este G-difereniabil n punctul 0 y = , iar G-difereniala 0; I y o o
(

este
egal cu
1 2
0; I y y y o o o o
(
= +

. Ultima relaie arat c 0; I y o o
(

este liniar i continu n
raport cu y o .
S admitem c exist F-difereniala 0; dI y o
(

. Atunci, conform teoremei 1.2.2,
avem 0; 0; dI y I y o o o
( (
=

, iar din relaia (1.2.10) rezult
3
1 2
1 4 2
1 2
0; 0 0 0;
y y
dI y I y I dI y
y y
o o
o o o
o o
( ( ( ( = + =

+
.
Fie
2
2 1
y y o o = . Atunci
2 2 2 4
1 2 1 1
0 y y y y y o o o o o = + = + pentru
1
0 y o . Astfel cnd
1
0 y o
avem
( )
( )
1
3 5
1
1 2 1
4 2 2 2 4 2 4 0 0 0
1 2 1 2 1 1 1
0;
1
lim lim lim 0
2
2
y y y
dI y
y y y
y y y y y y y y
o o o
o
o o o
o o o o o o o o

(

= = = =
+ + +
, ceea ce
contrazice faptului c exist F-difereniala 0; dI y o
(

. Astfel, n punctul 0 funcionala
[ ] I y nu este F-difereniabil.
b) Fie y X o e . Avem
22
| | | | | | | |
0 0 0
0 0
lim lim lim 0
X X
I y I y J y y J y
o o o
oo o o oo o o o o
o o o

+
= = = .
Prin urmare, | | I y este G-difereniabil n punctul 0
X
y = , iar G-difereniala | | 0 ; 0
X
I y o o =
este liniar i continu n raport cu y o .
S admitem c exist F-difereniala | | 0 ;
X
dI y o . Atunci, conform teoremei 1.2.2,
avem | | | | 0 ; 0 ;
X X
dI y I y o o o = , iar din relaia (1.2.10) rezult
| | | | | | | | | |
1
0 ; 0 0 0 ;
X X X X
dI y I y I dI y y J y o o o o o = + = .
Avem
| | | |
| |
1
0 0 0
0 ;
lim lim lim
X
y y y
dI y y J y
J y
y y
o o o
o o o
o
o o

= = , iar ultima limit nu exist, ntruct
funcionala | | J y este discontinu n punctul 0
X
. S-a ajuns la o contradicie cu faptul
c exist F-difereniala | | 0 ;
X
dI y o . Astfel, n punctul 0
X
funcionala [ ] I y nu este F-
difereniabil.
n baza lemei 1.2.7, a teoremei 1.2.2 i a exemplelor date mai sus, vom formula
urmtorul algoritm pentru stabilirea F-difereniabilitii funcionalei | | I y n punctul
y D
-
e :
Algoritmul 1.2.1.
Pasul I. Se verific dac G-difereniala [ ; ] I y y y o
- -
exist pentru orice y X e ;
Pasul II. Se verific dac funcionala [ ; ] I y y y o
- -
este liniar i continu n
variabila y y
-
i n caz afirmativ se consider funcionala
[ ; ] : [ ; ] dI y y y I y y y o
- - - -
= ;
Pasul III. Se verific dac
1
[ ] [ ] [ ; ]
[ ; ] : 0
I y I y dI y y y
dI y y y
y y
- - -
- -
-

=

atunci cnd 0 y y
-
(pentru y y
-
= ).
Dac la fiecare dintre cei trei pai ai algoritmului rspunsul e afirmativ, atunci
funcionala I este F-difereniabil n punctul y D
-
e ; n caz contrar - I nu este F-
difereniabil n y
-
.
Teorema 1.2.3. Fie
( )
, X un spaiu liniar normat, : , I X y X
-
e i sunt satisfcute
urmtoarele condiii:
a) Exist 0 r > astfel nct pentru orice
( )
; y V y r
-
e funcionala | | I y posed G-
difereniala [ ; ] I y y o o ;
b) G-difereniala [ ; ] I y y o o
-
este liniar i continu n variabila y o ;
23
c)

[ ; ] [ ; ] 0 I y y I y y o o o o
-
uniform cnd y y
-
, pentru

{ }
: 1
X
y B y X y o o o e = e = .
Atunci funcionala | | I y este F-difereniabil n y
-
.
Demonstraie. Orice element
( )
; y V y r
-
e se poate reprezenta sub forma

y y y oo
-
= + ,
unde

, y y r y B o o
-
= s e . Pentru

y B o e fix funcia ( )

: I y y o oo
-
(
= +

admite derivat
continu pe intervalul ( ) ; r r . Atunci, pentru ( )
1
; r r o e nct
1
0 c o o = = i

1 1
y y y o o
-
= +
avem

1
y y y y oo co
-
+ = + , iar ( ) ( ) ( ) ( ) ( ) ( )

| |
( ) ( )
1
1 1 1 1 1
0
lim lim I y y I y
o o c
o o o o o co c

( ' = = + =

1
; I y y o o
(
=

. Derivabilitatea funciei ( ) o implic continuitatea acesteia, de unde
rezult c pentru 0 o avem ( )

| | I y y I y I y o oo
- -
( ( = + =

. Conform teoremei de
medie a lui Lagrange (a se vedea Anexa) avem:
| |

( ) ( ) ( )

1 1
0 ; I y I y I y y I y I y y oo o o o oo o
- - -
( ( ' ( ( = + = = =


pentru un ( )
1
; o o o e . Ultima relaie i condiia b) implic:
| | | |

( ) 1
; ; ; ; I y I y I y y y I y I y I y y I y y I y y o oo o o o o o o
- - - - - -
( ( ( ( ( ( = =

.
ntruct are loc
1 1
y y y y o o
- -
= < = rezult, dac y y
-
, atunci
1
y y
-
, iar n baza
condiiei c) din ipoteza lemei, obinem:
| | ( )

1
; ; ; 0 I y I y I y y y y y I y y I y y o o o o o
- - - - -
( ( ( ( =

cnd y y
-
.
Conform definiiei 1.2.17 funcionala | | I y este F-difereniabil n y X
-
e .
Remarca 1.2.5. Liniaritatea lui [ ; ] I y y o o
-
n variabila y o din ipoteza b) a teoremei 1.2.3
este de prisos. Aceasta rezult din condiia c) a teoremei (a se vedea [25]).
Definiia 1.2.18. Vom spune c funcionala [ ] I y este de dou ori F-difereniabil n
punctul y D
-
e , dac creterea sa : [ ] [ ] I I y y I y o
- -
A = + se poate scrie sub forma
2
2
1
[ ; ] [ ; ] [ ; ]
2
I dI y y d I y y dI y y o o o
- - -
A = + + ,
n care [ ; ] dI y y o
-
este o funcional liniar i continu n y o ,
2
[ ; ] d I y y o
-
- o funcional
ptratic n y o (a se vedea Anexa), iar
2
[ ; ] dI y y o
-
satisface condiia
( )
2
2
0
lim [ ; ] 0
y
dI y y y
o
o o
-

= . Ultima condiie implic reprezentarea:

2
2 2 2
0
[ ; ] [ ; ] , lim [ ; ] 0
y
dI y y y y y y y
o
o c o o c o
- - -

= = . (1.2.19)
Funcionala ptratic n raport cu y o , adic
2
[ ; ] d I y y o
-
se numete F-diferenial
(variaie) de ordinul doi a funcionalei [ ] I y n punctul y D
-
e .
Exemplul 1.2.14. Fie | | ( )
2
2 2
: [ ; ] ; , a b a b O = A c A c o mulime deschis, iar : F O o
funcie de clas
3
C . S se arate c funcionala
( ) ( ) ( ) ( ) [ ] , ,
b
a
I y x F x y x y x dx ' =
}
,
definit pe mulimea funciilor admisibile
24
( ) | | ( ) ( ) ( ) | | ( ) ( ) { }
1
: ; , , , ; , , , ,
a b a b
D y x C a b x y x y x x a b y a y y b y y y ' = e eO e = = e ,
este de dou ori F-difereniabil n orice punct ( ) y x D
-
e i s se calculeze variaiile de
ordinul I i II ale acesteia. S se arate c funcionala
( ) ( ) ( ) [ ] , ,
b
a
I y F x y x y x dx ' =
}
,
este F-difereniabil n orice punct | |
1
: ; y X C a b
-
e = (n norma maximum
| |
( )
;
( ) max
x a b
y x y x
e
= ).
Fie ( ) y x D
-
e o funcie admisibil. Funcia ( ) : ( ) ( ) y x y x y x o
-
= + (
1
( ) [ ; ] y x C a b o e fix) va
aparine mulimii D dac i numai dac
1
( ) y x H o e (mulimea
1
H este definit prin
relaia (1.2.2)). Pentru aa funcie avem
( ) ( ) ( ) ( ) ( ) ( )
( )
, ,
b
a
I y x y x F x y x y x y x y x dx o o o
- - -
'
' ( + = + +
}
.
Conform formulei lui Taylor pentru funcia de mai multe variabile
( ) ( ) ( ) ( )
( )
( ) ( )
( )
, , , , F x y x y x y x y x F x y x y x o o
- - - -
' '
' + + = +
( ) ( )
( )
( ) ( ) ( )
( )
( ) ( ) ( )
, , , ,
y y
F x y x y x y x F x y x y x y x o y x o o o
- - - -
'
' '
' + + + ,
de unde rezult
( ) ( ) ( ) ( ) ( )
( )
( ) ( ) ( )
( )
( )
( )
( ) ( )
, , , ,
b
y y
a
I y x y x I y x F x y x y x y x F x y x y x y x dx o y x o o o o
- - - - - -
'
' '
' ( ( + = + + +
}
.
Din ultima relaie rezult c funcionala | | I y este F-difereniabil pentru orice y D
-
e ,
iar conform teoremei 1.2.2, F-difereniala sa coincide cu G-difereniala.
Analog, utiliznd formula lui Taylor de ordinul doi deducem, c funcionala
( ) I y x (

este de dou ori F-difereniabil, iar F-difereniala de ordinul doi
( ) ( )
2
; d I y x y x o
-
(

coincide cu variaia de ordinul doi (a se vedea relaia (1.2.16))
calculat n exemplul (1.2.2).
Exemplul 1.2.15. S se afle variaiile de ordinul nti i doi ale funcionalei
( )
1
2 3
0
[ ] ( ) ( ) I y xy x y x dx ' = +
}
,
definit pe
1
: [0;1] D C = .
Vom calcula variaiile funcionalei, utiliznd definiiile 1.2.15-1.2.16. Avem
( )
( ) ( )
1
2
3
0 0
0
[ ( ) ( )]
[ ( ); ( )] : ( ) ( ) ( ) ( )
dI y x y x
I y x y x x y x y x y x y x dx
d
o
o
oo
o o oo oo
o o
-
- - -
=
=
| |
+ c
'
' = = + + + =
|
c
\ .
}

( )
( ) ( ) ( )
1 1
2 2
0 0
0
2 ( ) ( ) ( ) 3 ( ) ( ) ( ) 2 ( ) ( ) 3 ( ) ( ) x y x y x y x y x y x y x dx xy x y x y x y x dx
o
oo o oo o o o
- - - -
=
| |
' '
' ' ' = + + + = +
|
\ .
} }
;
25
( ) ( )
1 2
2 2 2
2
0 0
0
[ ( ) ( )]
[ ( ); ( )]: 2 ( ) 6 ( ) ( ) ( )
d I y x y x
I y x y x x y x y x y x y x dx
d
o
o
oo
o o o oo o
o
-
- -
=
=
| |
+
'
' ' = = + + =
|
\ .
}

( )
1
2 2
0
2 ( ) 3 ( ) ( ) x y x y x y x dx o o
-
'
' = +
}
.
Pentru comparaie vom calcula variaiile funcionalei, utiliznd definiiile 1.2.17-
1.2.18. Pentru creterea funcionalei avem
( )
(
1 1
2 3 2 3 2 2
0 0
[ ] [ ] ( ) ( ) 2 ( ) 3 I I y y I y x y y y y xy y dx xy y x y y y o o o o o o
- - - - - - - -
' ' ' ' ' A = + = + + + = + + +
} }

) ( ) ( )
1 1 1
2 3 2 2 2 3
0 0 0
3 ( ) ( ) 2 3 ( ) 3 ( ) ( ) y y y dx xy y y y dx x y y y dx y dx o o o o o o o
- - - -
' ' ' ' ' ' ' ' + + = + + + +
} } }
.
Pentru y
-
- fixat, primul termen din membrul drept este funcional liniar n raport
cu y o , iar al doilea termen este funcional ptratic n raport cu y o . Termenul al
treilea admite estimaia
( )
1
1
3
3
3
[0;1]
[0;1]
0
( ( )) max ( ) ( )
C
x
y x dx y x y x o o o
e
' ' s s
}
.
Se vede c
1 1
3 2
[0;1] [0;1]
( ) ( ) 0
C C
y x y x o o cnd
1
[0;1]
( ) 0
C
y x o , iar n acest caz i
1
1
2
3
[0;1]
0
( ( )) ( ) 0
C
y x dx y x o o '
}
. Atunci, conform definiiei 1.2.18, funcionala [ ] I y este de
dou ori F-difereniabil n punctul y
-
i
( )
1
2 2 2 2
0
[ ; ] [ ; ] 2 ( ) 3 ( ) d I y y I y y x y y y dx o o o o o
- - -
' ' = = +
}
.
Totodat, pentru termenul
( )
1
2 2
0
( ) 3 ( ) x y y y dx o o
-
' ' +
}
avem
( ) ( ) ( ) ( )
1 1
2 2
2 2
2 2
[0;1] [0;1]
0 0
( ) 3 ( ) 3 max max
x x
x y y y dx x y y y dx c y y o o o o o o
- -
e e
| |
' ' ' ' ' + s + s + s
|
\ .
} }

( )
1
2
2
[0;1]
[0;1] [0;1]
max max
C
x x
c y y c y o o o
e e
' s + = ,
i, atunci,
( )
1 1
2 2 3
0 0
( ) 3 ( ) ( ) 0 x y y y dx y dx y o o o o
-
' ' ' + +
} }
cnd
1
[0;1]
( ) 0
C
y x o . Conform
definiiei 1.2.17 i teoremei 1.2.2, funcionala [ ] I y este F-difereniabil n punctul y
-
i
( )
1
2
0
[ ; ] [ ; ] 2 3 dI y y I y y xy y y y dx o o o o o
- - - -
' ' = = +
}
.
Remarca 1.2.6. n cele ce urmeaz se va lucra cu funcionale ce vor fi F-difereniabile
i, conform tradiiei, se va vorbi despre variaia de ordinul nti n loc de F-
diferenial.

26
1.2.5. Condiii necesare de extrem al funcionalei
n continuare se vor stabili condiii necesare pentru ca o funcie admisibil s
realizeze un extrem local slab al funcionalei. Aceste condiii sunt necesare i pentru
un extrem local tare sau absolut. Condiiile necesare de extrem al unei funcionale se
exprim prin diferenialele (variaiile) acesteia.
Fie
( )
, X un spaiu liniar normat, : I X o funcional, iar D X c mulimea
elementelor admisibile ntr-o problem de extrem al funcionalei [ ]
y D
extr I y
e
.
Ca i n cazul funciilor reale (a se vedea teorema lui Fermat) urmtoarea teorem
furnizeaz condiii necesare de ordinul I de extrem al funcionalei.
Teorema 1.2.4. Fie D X c o mulime deschis i : I D o funcional. Dac y D
-
e
este un punct de extrem local pentru [ ] I y i dac [ ] I y este G-difereniabil n y
-
cu G-
difereniala [ ; ] I y y o o
-
, atunci y
-
este punct staionar al lui [ ] I y , adic
[ ; ] 0, I y y y X o o o
-
= e .
Demonstraie. n cazul n care 0
X
y o = , vom avea [ ] [ ] 0 ( ) I I y y I y oo o
- -
A = + = e , i
atunci, evident c [ ; ] 0 I y y o o
-
= . S presupunem acum c 0 ( )
X
y y X o o = e i c y D
-
e
este punct de minim local. n cazul n care y
-
este punct de maxim local,
raionamentul este similar.
Conform definiiei punctului de minim local, 0 r - > astfel nct pentru
( ; ) y D V y r
-
e are loc [ ] [ ] I y I y
-
> . Mulimea D fiind deschis, putem alege un
1 1
0 ( ) r r r > s
suficient de mic, astfel nct
1
( ; ) V y r D
-
c i atunci [ ] [ ] I y I y
-
> pentru
1
( ; ) y V y r
-
e
( )
1
( ; ) ( ; ) V y r V y r
- -
_ . Deoarece pentru un o ce satisface
1
r y o o s elementul
1
( ; ) y y y V y r oo
- -
= + e rezult, c are loc inegalitatea [ ] [ ] I y y I y oo
- -
+ > pentru orice
1 1
; r y r y o o o ( e

. innd seama de definiia funciei reale
1 1
: ; r y r y o o (

,
( ) : [ ] I y y o oo
-
= + , ultima inegalitate se mai poate scrie sub forma
1 1
( ) (0), ; r y r y o o o o ( > e

, adic 0 o = reprezint un minim local al funciei ( ) o .
ntruct ( ) o este derivabil n punctul y D
-
e ( [ ] I y este G-difereniabil n y
-
), n baza
teoremei clasice a lui Fermat pentru funciile de o variabil real [19], conchidem c
(0) 0 ' = sau, echivalent, [ , ] 0 I y y o o
-
= .
Urmtoarea teorem furnizeaz condiii necesare de ordinul II de extrem al
funcionalei.
Teorema 1.2.5. Fie D X c o mulime deschis i : I D o funcional. Dac [ ] I y este
de dou ori F-difereniabil n punctul y D
-
e cu F-difereniala
2 2
[ ; ] [ ; ] d I y y I y y o o o
- -
= , iar y
-

27
este punct de minim local (maxim local), atunci
2
[ ; ] 0 I y y o o
-
> (
2
[ ; ] 0 I y y o o
-
s ) pentru orice
y X o e .
Demonstraie. Presupunem c y
-
realizeaz un minim local al funcionalei [ ] I y (cazul
maximului local se cerceteaz la fel sau se reduce la cazul precedent, considernd
funcionala [ ] I y ).
Contrar afirmaiei teoremei admitem c exist y X o e astfel nct
2
[ ; ] 0 I y y o o
-
< .
Pentru acest y o considerm creterea funcionalei [ ] [ ] I I y y I y oo
- -
A = + ce corespunde
variaiei argumentului , y oo o e.
ntruct y D
-
e realizeaz un minim local al funcionalei [ ] I y i aceasta din urm
este F-difereniabil n y
-
(prin urmare, i G-difereniabil), conform teoremei 1.2.4, G-
difereniala n punctul y D
-
e este egal cu zero [ ; ] 0 I y y o o
-
= . Totodat, conform
definiiei 1.2.18, pentru creterea funcionalei I A are loc reprezentarea:
2
2
1
[ ; ] [ ; ] [ ; ]
2
I dI y y d I y y y y y oo oo c oo oo
- - -
A = + + .
Aici avem [ ; ] [ ; ] [ ; ] 0 dI y y I y y I y y oo o oo oo o
- - -
= = = , iar [ ; ] 0 y y c oo
-
cnd 0 y oo , adic
cnd 0 o . ntruct funcionala ptratic
2
[ ; ] d I y y oo
-
satisface condiia
2 2 2 2
[ ; ] [ ; ] [ ; ] d I y y I y y I y y oo o oo o o o
- - -
= = , n fine, vom avea
2
2 2 2
1
[ ; ] [ ; ]
2
I I y y y y y o o o c oo o o
- -
A = + .
Se poate de ales un o suficient de mic, astfel nct s avem
2
2
[ ; ]
[ ; ]
2
I y y
y y
y
o o
c oo
o
-
-
< .
Rezult, pentru orice o suficient de mic vom avea
( )
2 2 2
1
[ ; ] [ ; ]
2
I I y y I y y o o o o o
- -
A = + =
2 2
[ ; ] 0 I y y o o o
-
= < . Am ajuns la o contradicie, deoarece y
-
realizeaz un minim local al
funcionalei [ ] I y i, prin urmare, [ ] [ ] 0 I I y y I y oo
- -
A = + > ntr-o careva vecintate a lui
y
-
.
1.2.6. Existena i unicitatea extremelor funcionalelor
n aceast seciune se vor prezenta unele rezultate privind existena punctelor de
extrem al funcionalelor. Este evident c ne putem limita doar la probleme ce in de
puncte de minim, pentru cele de maxim considerndu-se funcionala [ ] I y .
I. Cazul general
Teorema lui Weierstrass, conform creia o funcie continu :[ ; ] f a b , a b < < < ,
are minim i maxim pe [ ; ] a b , poate fi extins la cazul funcionalelor : I D , definite
pe mulimi compacte D dintr-un spaiu liniar normat X . Dac X este spaiu liniar
28
finit dimensional, atunci D poate fi mrginit i nchis (aceasta fiind i compact),
ns n spaiile infinit dimensionale, rezultatul nu mai este adevrat pentru mulimi
mrginite i nchise (acestea nefiind numaidect compacte). Astfel problema
variaional ar putea s nu posede soluie (are infimum, dar acesta nu se atinge).
Exemplul 1.2.16. S se arate c urmtoarea problem variaional
{ }
2
2
[ ( )] 1 ( ) min,
( ) : ( ) [ ; ] ( ) ( ; ), ( ) ( ) 0, ( ) ( ) ,
b
a
I y x y x dx
y x D y x C a b y x C a b y a y b y a y b
' = +
' ' e = e e = = = =
}

nu are soluii.
Mulimea funciilor admisibile D const din funcii ( ) y x
continue pe [ ; ] a b (i de clas
2
C pe ( ; ) a b ), care se anuleaz
n punctele a , b i posed n acestea tangente verticale.
Expresia funcionalei ne sugereaz urmtoarea
interpretare geometric: de aflat drumul cel mai scurt dintre punctele ( ; 0) A a i ( ; 0) B b ,
cu condiia c la extremitile drumului direcia de micare este vertical. Din figura
1.2.2 se vede c funcia de clas cerut se poate alege astfel nct lungimea graficului
ei se va deosebi orict de puin de lungimea segmentului [ ; ] a b al axei Ox . Dintre toate
curbele ce conecteaz punctele A i B segmentul dat (graficul funciei identic nule)
are cea mai mic lungime, dar funcia nul nu este o funcie admisibil n PEF dat.
ntruct funcionala [ ( )] I y x nu i atinge infimumul pe MFA, problema de CV formulat
nu are soluii.
Vom arta c pentru existena punctului de minim (maxim) al funcionalei
: I D , compacitatea domeniului de definiie D i semicontinuitatea inferioar
(superioar) a funcionalei sunt suficiente [20, p. 224-225].
Fie
( )
, X un spaiu liniar normat.
Definiia 1.2.19. Vom spune c mulimea D X c este nchis dac pentru fiecare ir
{ }
n
y D c , convergent la y
-
, avem y D
-
e .
Definiia 1.2.20. Vom spune c mulimea D X c este relativ compact dac fiecare ir
n D are un subir convergent.
Definiia 1.2.21. Vom spune c mulimea D X c este compact dac fiecare ir n D
are un subir convergent la un element din D.
Se vede c mulimea D este compact dac i numai dac ea este relativ
compact i nchis. Orice mulime relativ compact este mrginit [1, p.45], ns
reciproca acestei afirmaii nu este adevrat.
Definiia 1.2.22. Vom spune c funcionala : I D X c este inferior (superior)
x
b
a O
y
fig. 1.2.2
29
semicontinu pe D dac, pentru orice y D e i orice ir { }
n
y D c convergent ctre y ,
avem
[ ] liminf [ ] [ ] limsup [ ]
n n
n
n
I y I y I y I y

| |
s >
|
\ .
.
Reamintim c
( )
( )
liminf [ ] sup inf [ ], limsup [ ] inf sup [ ]
n
n
n n n n
n y V V V y
V V y n y V
I y I y I y I y
e e
e e
= = .
Exemplul 1.2.17. Funcionala : I D definit prin
0,
[ ]
,
dac y D
I y
dac y D
e
=

e

, unde D o
mulime nchis, este inferior semicontinu.
Teorema 1.2.5. (Generalizare a teoremei lui Weierstrass) Fie D X c o mulime
compact i : I D o funcional inferior (superior) semicontinu. Atunci [ ] I y este
mrginit inferior (superior) pe D i i atinge infimumul (supremumul), adic problema
de minim (maxim) min [ ]
y D
I y
e

( )
max [ ]
y D
I y
e
are soluie n D.
Demonstraie. n ipotezele teoremei s admitem c funcionala [ ] I y este nemrginit
inferior pe D. Atunci exist un ir { }
n
y D c astfel nct [ ]
n
I y n < pentru toi n. ntruct
D - mulime compact (n particular, nchis) irul { }
n
y conine subirul { }
k
n
y care
converge la y D
-
e . De aici, n virtutea faptului c funcionala [ ] I y este inferior
semicontinu avem [ ] liminf [ ]
k
n
k
I y I y
-

s , ceea ce este imposibil deoarece avem [ ]

k
n k
I y n <
i, prin urmare, lim [ ]
k
n
k
I y

= . Contradicia obinut demonstreaz c funcionala [ ] I y

este mrginit inferior. Analog se demonstreaz c [ ] I y este mrginit superior.
Fie inf [ ]
y D
d I y
e
= . Aceasta nseamn c [ ], d I y y D s e , i pentru 0, y D
c
c > - e astfel
nct [ ] I y d
c
c < + . Prin urmare, exist irul de puncte { }
n
z D c astfel nct
[ ] 1
n
d I z d n s < + . ntruct D - mulime compact, irul { }
n
z conine subirul { }
k
n
z
convergent la z D
-
e , i, atunci [ ] 1
k
n k
d I z d n s < + , de unde rezult existena irului
minimizator { }
k
n
z D c astfel nct lim [ ]
k
n
k
I z d

= . Pe de alt parte, deoarece [ ] I y este

inferior semicontinu pe D, n particular posed aceast proprietate n punctul z D
-
e ,
deci
[ ] liminf [ ] lim [ ]
k k
n n
k k
I z I z I z d
-

s = = .
n baza inegalitii [ ], d I y y D s e , conchidem [ ] d I z d
-
s s , adic [ ] I z d
-
= .
Analog se arat c dac
1
sup [ ]
y D
d I y
e
= , atunci se va gsi punctul D e astfel nct
1
[ ] I d = .
Remarca 1.2.7. ntruct funcionala continu [ ] I y este semicontinu (inferior i
30
superior), n cazul n care MFA D este compact, conform teoremei 1.2.5, aceasta i
atinge marginile inferioar i superioar.
Remarca 1.2.8. Dac funcionala continu : I D este definit pe o mulime
necompact D, atunci inf [ ]
y D
I y
e
i sup [ ]
y D
I y
e
pot s nu se ating.
Exemplul 1.2.9. S se arate c funcionala
{ }
1
2
[0;1]
0
[ ( )] ( ) , ( ) : ( ) [0;1] (0) 0, (1) 1, ( ) 1
C
I y x y x dx y x D y x C y y y x = e = e = = s
}

este continu pe D i nu i atinge pe D marginea inferioar.
Simplu se poate arta c funcionala [ ( )] I y x este continu pe D. Deoarece pentru
( )
n
y x x = avem [ ( )] 1 (2 1) I y x n = + , rezult c inf [ ( )] 0
y D
I y x
e
= . n acelai timp pentru orice
curb continu ( ) y x ce conecteaz punctele (0;0) i (1;1) avem [ ( )] 0 I y x > . Se poate arta
c mulimea D, dei este mrginit i nchis, nu este compact.
II. Cazul funcionalelor convexe
Evident c ipotezele teoremei 1.2.5 sunt dificil de verificat. Vom evidenia condiii
suficiente de existen (i unicitate) ale extremelor funcionalelor convexe mai simplu
de verificat. Convexitatea funcionalei | | : I D X c se poate caracteriza folosind G-
difereniala acesteia. Vom arta c elementul y D e , pentru care G-difereniala
funcionalei convexe | | I y se anuleaz, realizeaz un minim al funcionalei. Mai mult,
atunci cnd | | I y este funcional strict convex pe D, poate s existe cel mult un
astfel de element y D e . n continuare vom stabili rolul pe care l are integrandul
convex (convex tare) F n generarea funcionalelor de tip integral convexe (strict
convexe).
Dac
( )
1 3
f C e , atunci pentru
3
, x y e are loc ( ) ( ) , f x y f x y o = V . Amintim c
funcia f este numit convex dac pentru orice
3
, x y e are loc
( ) ( ) ( ) ( ) , f x y f x f x y f x y o + > V = , (1.2.20)
i se spune c este strict convex dac egalitatea n relaia (1.2.20) are loc atunci i
numai atunci cnd 0 y = . Se observ c dac ( ) 0 f x V = , atunci punctul x realizeaz un
minim al lui f .
Definiia 1.2.23. Funcionala : I D X c este numit convex (strict convex) pe D
dac pentru , y y y D o + e este definit G-difereniala | | ; I y y o o i are loc
| | | | | | ; I y y I y I y y o o o + > (1.2.21)
(n relaia 1.2.21 are loc egalitate atunci i numai atunci cnd 0
X
y o = ).
Remarca 1.2.9. Domeniul de definiie D al funcionalei convexe poate s nu fie
31
mulime convex.
Exemplul 1.2.10. Pentru problema de extrem al funcionalei
( ) ( ) { }
8
4 1
1
[ ( )] ( ) 4 , ( ) : ( ) [1;8] (1) 2, (8) 37 4 I y x y x y x dx y x D y x C y y ' = e = e = =
}

s se arate c integrandul este strict convex pe D i s se afle minimul funcionalei. S
se arate c mulimea D nu este convex.
Teorema 1.2.6. Dac | | I y este convex (strict convex) pe D, atunci fiecare y D
-
e
pentru care ; 0, : I y y y y y D o o o
- -
( = = + e

, realizeaz un minim (minim unic) al funcionalei
| | I y pe D.
Demonstraie. Pentru orice y y y D o
-
= + e , conform definiiei 1.2.23 avem
| | ; 0 I y I y I y y I y I y y o o o
- - - -
( ( ( ( = + > =


(egalitatea n ultima relaia are loc dac i numai dac 0
X
y o = ). Astfel | | , I y I y y D
-
( > e


(egalitatea are loc dac i numai dac y y
-
= ).
Exemplul 1.2.11. S se arate c funcionala
{ }
2 1
[ ( )] ( ) , ( ) : ( ) [ ; ] ( ) , ( )
b
a b
a
I y x y x dx y x D y x C a b y a y y b y ' = e = e = =
}

este strict convex pe D i s se afle minimul funcionalei.
Variaia de ordinul I este ( )
1
[ ( ); ( )] 2 ( ) , ( ) , ( )
b
a
I y x y x y x y x dx y x D y x H o o o o ' ' = e e
}
. Atunci,
ntruct are loc | | | | ( ) | |
2
2 2
2 2 ;
b b b b b
a a a a a
I y y I y y y dx y dx y y dx y dx y y dx I y y o o o o o o o ' ' ' ' ' ' ' ' + = + = + > =
} } } } }
,
funcionala | | I y este convex pe D. Egalitatea | | | | | | ; I y y I y I y y o o o + = are loc dac i
numai dac
2
0
b
a
y dx o ' =
}
, de unde rezult c y const o . innd cont c
1
y H o e deducem,
c 0 y o . Astfel funcionala | | I y este strict convex pe D (dei nu este aa pe | |
1
; C a b ).
Conform teoremei 1.2.6 exist cel mult un element y D e (ce satisface relaia
| |
1
; 2 0,
b
a
I y y y y dx y H o o o o ' ' = = e
}
) care realizeaz minim al funcionalei | | I y pe D. Funcia
liniar ( ) ( )
b a
a
y y
y x x a y D
b a
-

= + e

reprezint unicul punct de minim al funcionalei | | I y

pe D.
Dac ( )
1
( , , ) F F x y z C = e O , unde | | ( )
2
2 2
: [ ; ] ; , a b a b O = A c A c , atunci funcionala
( ) ( ) ( ) ( ) [ ] , ,
b
a
I y x F x y x y x dx ' =
}
este G-difereniabil n orice punct
32
( ) | | ( ) ( ) ( ) | | ( ) ( ) { }
1
( ) : ; , , , ; , , , ,
a b a b
y x D y x C a b x y x y x x a b y a y y b y y y ' e = e eO e = = e
i variaia de ordinul nti ( ) ( ) ; I y x y x o o (

poate fi scris astfel:
( ) ( )
( ) ( ) { }
; , ( ), ( ) ( ) , ( ), ( ) ( )
b
y y
a
I y x y x F x y x y x y x F x y x y x y x dx o o o o
'
' '
' ( = +
}
. (1.2.22)
Fie pentru variabila ( ) ; x a b e fix, funcia ( ) , , F F x y z = este convex (convex tare), adic
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
, , , , F x y x y x y x y x F x y x y x o o ' ' ' + + >
( ) ( )
( ) ( ) , ( ), ( ) ( ) , ( ), ( ) ( ), , , , , ,
y y
F x y x y x y x F x y x y x y x x y y x y y y y o o o o
'
' '
' ' ' ' > + + + eO (1.2.23)
(egalitatea are loc doar pentru 0 y o ).
Teorema 1.2.7. Dac pentru variabila ( ) ; x a b e fix, funcia ( ) , , F F x y z = este convex
(convex tare) pe O, atunci | | I y este convex (strict convex) pe D.
Demonstraie. ntruct are loc inegalitatea (1.2.23), integrnd n ambii membri
obinem:
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
, , , ,
b
a
F x y x y x y x y x F x y x y x dx o o ' ' ' + + >
}

( ) ( ) { }
, ( ), ( ) ( ) , ( ), ( ) ( )
b
y y
a
F x y x y x y x F x y x y x y x dx o o
'
' '
' > +
}
.
Ultima inegalitate implic
| | | | | | ; , , I y y I y I y y y y y D o o o o + > + e ,
adic funcionala : I D este convex.
Dac pentru variabila ( ) ; x a b e fix funcia F este convex tare, atunci egalitate n
relaia (1.2.23) are loc doar pentru 0 y o sau 0 y o ' , deci pentru
( )
2
1
0
2
y y y o o o
'
' = , de
unde rezult ( ) ( )
2 2
0 y x const y a o o = = = , adic ( ) 0 y x o . n acest caz funcionala : I D
este strict convex pe D.
Exemplul 1.2.12. S se arate c funcia ( )
2
y x x
-
= realizeaz unicul punct de minim al
funcionalei
( )
1
2
0
[ ( )] ( ) 4 ( ) I y x y x y x dx ' = +
}

pe MFA
{ }
1
: ( ) [0;1] (0) 0, (1) 1 D y x C y y = e = = .
ntruct pentru variabila ( ) 0;1 xe fix, funcia ( )
2
, , 4 F x y z z y = + este convex tare pe
| |
2
0;1 , conform teoremei 1.2.7 funcionala | | I y este strict convex pe D. Atunci,
conform teoremei 1.2.6, innd cont c funcia ( )
2
y x x D
-
= e satisface condiia
33
; 0, : I y y y y y D o o o
- -
( = = + e

(aici | | ( )
1
0
; 2 4 I y y y y y dx o o o o ' ' = +
}
, iar ( )
1
0
; 4 I y y x y y dx o o o o
-
' ( = + =
}

1 1
1
0
0 0
4 0 x y ydx ydx o o o
| |
= + =
|
\ .
} }
), rezult c ( )
2
y x x
-
= realizeaz unicul minim al funcionalei
| | I y pe D.
Remarca 1.2.10. | | I y poate s fie convex (strict convex) chiar dac ( ) , , F x y z nu este
convex (convex tare).
Exemplul 1.2.13. a) S se arate c funcionala
1
2
0
[ ( )] ( ) ( ) I y x y x y x dx ' =
}

este convex pe
{ }
1
: ( ) [0;1] (0) 0, (1) 1 D y x C y y = e = = , iar integrandul ( )
2
, , F x y z y z = pentru
variabila ( ) 0;1 xe fix nu este funcie convex pe | |
2
0;1 .
b) S se arate c funcionala
( )
2
[ ( )] ( ) 3 ( )
b
a
I y x y x y x dx ' = +
}

este strict convex pe
{ }
1
: ( ) [ ; ] ( ) , ( )
a b
D y x C a b y a y y b y = e = = , iar integrandul ( ) ( )
2
, , 3 F x y z z y = + ,
pentru variabila ( ) 0;1 xe fix, este doar funcie convex pe | |
2
; a b (dar nu i tare
convex).
n general vorbind este dificil de verificat dac funcia ( ) , , F F x y z = este convex
(convex tare) pe O. Unele rezultate ce caracterizeaz funciile convexe pot fi gsite n
Anexe.