Teorem (Multiplicatorul lui Lagrange)

Dac
D
mul ime deschis n
1
, : , ( ,..., ) :
k p
p
R R f D R g g g D R
sunt func ii care admit cel pu in primitive de ordinu nti, continue pe D i
! ! ! !
( , ) , ( , " )
k p
x y D x R R
este un punct de e#trem cel pu in local pentru f pe
{ }
( , : ( , ) ! T x y D g x y
astfel nct $aco%ianul
1
! !
1 )
( ,..., )
( , ) !
( ,...
p
p
D g g
x y
D y y

atunci
e#ist numerele reale
1 &
, ,...,
p

numite multiplicatori lui Lagrange astfel
nct
! !
( , ) x y
este punct critic pentru func ia lui Lagrange
1
: prin L'f(
p
p
i i
i
L D R R g

pe T, adic :
( , ) !
( , ) !
( , ) !
i
i
L
x y
x
L
x y
y
g x y

.
Inegalitatea mediilor
1 &
1 & 1 & 1 &
...
... , , &, ... numere po)itive, cu egalitate # ...
n
n
n n n
x x x
x x x n N n x x x x x
n
+ + +
+ + +
*ie
:
n
f R R
+

definit prin
1 & 1 &
( , ,..., ) ...
n n
f x x x x x x
. +e propunem s
determinm valorile e#treme ale func iei f n ipote)a n care suma varia%ilelor
este constant :
1 &
...
n
x x x S + + +
.
,utem o%serva o pro%lem de e#trem, condi ionat cu o singur legtur.
*unc ia Lagrange asociat pro%lemei este :
1 & 1 & 1 &
( , ,..., ) ... ( ... )
n n n
L x x x x x x x x x S + + + +
*unc iile sta ionare i multiplicatorul

se determin re)olvnd sistemul :

1
&
1 1
1 &
!
... !
............
.......................
.
... ! !
...
!
n
n
n
n
L
x
x x
L
x x
x
x x x S
L

' '
+

+ + +

-vnd n vedere c
!, 1...
i
x i n
i nmul ind pe rnd primele n ecua ii cu
1 &
, x x
i respectiv
n
x
1 & 1 1
1 & 1
... !
..................................
... !
p p
n n n
x x x x x
x x x x x

'

re)ult
1 &
...
n
x x x
, de unde
1 &
...
n
x x x
.
Dar, suma este constant i o% inem
1 &
...
n
S
x x x
n
.
.evenim n prima ecua ie i deducem valoarea multiplicatorului
1 n
S
n

_


,
.
/tudiem natura punctului critic
, ,...,
S S S
n n n
_

,
. Derivatele par iale de
ordinul al doilea ale func iei Lagrange sunt :
& & &
& & &
1 &
&
1 1 1 1 1
... !
... ... ... ( , 1... , )
n
i i j j n
i j
L L L
x x x
L
x x x x x x i j n i j
x x
+ +

.
Deci diferen iala de ordinul al doilea are forma
& &
&
, 1 , 1
, ,..., & &
n n
n n
i j i j
i j i j
i j i j
S S S S S
d L dx dx dx dx
n n n n n



_ _ _


, , ,

.
0aria%ilele
1 &
, ,...,
n
x x x
sunt legate ntre ele prin rela ia
1 &
...
n
x x x S + + +
, deci prin urmare
1 &
... !
n
dx dx dx + + +
,
iar diferen iala de ordinul doi devine :
& &
1 1
&
1 1
, 1 , 1
, ,..., & & ( ... )
n n
n n
i j i n
i j i j
i j i j
S S S S S
d L dx dx dx dx dx
n n n n n

_ _ _
+

, , ,

'
& &
1 1
&
1 , 1
& &
n n
n n
i i j
i i j
i j
S S
dx dx dx
n n

_ _


, ,

.
Matricea simetric asociat acestei n11 forme ptratice este negativ
definit.
,unctul
, ,...,
S S S
n n n
_

,
este punct de ma#im local.
1 &
( , ,..., ) , ,...,
n
S S S
f x x x f
n n n
_

,
1 &
...
n
n
S
x x x
n
_

,
1 &
1 & 1 &
...
... ...
n
n n
n n
x x x S
x x x x x x
n n
+ + +