PROGRAMA DE ENGENHARIA QUMICA/COPPE/UFRJ

COQ 897- OTIMIZAO DE PROCESSOS- II/2013

1
FORMAS QUADRTICAS

Em 9
2
a expresso geral das formas quadrticas :
2 2 11 22
1 2 1 1 2 2 1 12 1 2 2
( , )
2 2
a a
f x x c b x b x x a x x x = + + + + + ,
cujas derivadas parciais so:
1 2
1 11 1 12 2
1
( , ) f x x
b a x a x
x
c
= + +
c
e
1 2
2 22 2 12 1
2
( , ) f x x
b a x a x
x
c
= + +
c

2
1 2
11
2
1
( , ) f x x
a
x
c
=
c
;
1 2 1 2
12
1 2 2 1
( , ) ( , ) f x x f x x
a
x x x x
c c
= =
c c c c
e
2
1 2
22
2
2
( , ) f x x
a
x
c
=
c
.
Esta forma quadrada pode ser reescrita em forma matricial, segundo:
( ) ( )
1 11 12 1
1 2 1 2 1 2
2 12 22 2
1
( , )
2
x a a x
f x x c b b x x
x a a x
| | | | | |
= + +
| | |
\ . \ . \ .
, ou seja, definindo:
1 1 11 12 2 2 2 2
2 2 12 22
, e =
x
x b a a
x b a a
| | | | | |
= e9 = e9 e9
| | |
\ . \ . \ .
x b A [ matriz simtrica], tem-se:
( )
1
2
T T
f c = + + x b x x A x
definindo o operador diferencial vetorial : V=
1
2
x
x
c | |
|
c
|
| c
|
c
\ .
(operador gradiente) , tem-se:
( )
1 2
1
1 2
2
( , )
( , )
f x x
x
f
f x x
x
c | |
|
c
|
V = = +
| c
|
c
\ .
x b A x (vetor gradiente de uma funo escalar f) e
( ) ( )
1 2
2 2
1 2 1 2 1 2
11 22
2 2
1 2 1 2 1 2
2
( , )
( , ) ( , )
tr
( , )
f x x
x
f x x f x x
f a a
f x x x x x x
x
c | |
|
c | | c c c c
|
V = = + = + =
|
| c c c c c
\ .
|
c
\ .
x A
(Laplaciano de uma funo escalar).

Define-se tambm a matriz Hessiana por:
( )
2 2
1 2 1 2
2
1 2
1 1
1 2 1 2
2 2
1 2
1 2 1 2
2
2
2 1
2
( , ) ( , )
( , ) ( , )
( , ) ( , )
f x x f x x
x x
x x
f x x f x x
x x
f x x f x x
x
x x x
| |
c c
c | |
|
|
c c
c c | | c c |
|
= = =
|
|
| c c c
c c \ .
|
|
| c
c c \ . c
\ .
H x A.
Estas definies podem ser generalizadas para 9
n
, segundo:
1 1 11 12 1
2 2 12 22 2
1 2
a
, e =
n
n n n nxn
n n n n nn
x b a a
x b a a a
x b a a a
| | | | | |
| | |
| | |
= e9 = e9 e9
| | |
| | |
\ . \ . \ .
x b A [ matriz simtrica], tem-se:
( )
1 1 1
1 1
2 2
n n n
T T
i i ij i j
i i j
f c c b x a x x
= = =
= + + = + +

x b x x A x ,
PROGRAMA DE ENGENHARIA QUMICA/COPPE/UFRJ
COQ 897- OTIMIZAO DE PROCESSOS- II/2013

2
( )
1
2
( )
( )
( )
n
f
x
f
x f
f
x
c | |
|
c
|
| c
|
c V = = +
|
|
|
c
|
|
c
\ .
x
x
x b A x
x
,
( ) ( )
1
2
2 11 22
1 2
( )
( )
tr
( )
nn
n
n
f
x
f
x f a a a
x x x
f
x
c | |
|
c
|
| c
| | c c c |
c V = = + + + =
|
|
c c c
\ .
|
|
c
|
|
c
\ .
x
x
x A
x

( )
2 2 2
2
1 2 1 1
1
2 2 2
2
2 2 1 2 2
1 2
2 2 2
2
1 2
( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( )
n
n
n
n
n n n
f f f
x x x x x
x
f f f
f f f
x x x x x x
x x x
f f f
x
x x x x x
| |
c c c
c | |
|
|
c c c c c
c |
|
|
| c c c c
|
| | c c c |
c = = c c c c c |
|
c c c
\ .
|

|

c
|
c c c

|
c

\ .
c c c c c
\ .
x x x
x x x
x x x
H x
x x x
|
=
|
|
|
|
|
A
2 2
( ) ( )
( ) ( )
ij ji
i j j i
f x f x
H H
x x x x
c c
= = =
c c c c
x x [matriz simtrica].
Note que caso a matriz A no seja simtrica, redefinem-se seus elementos na forma:
, ,
,

2
ij velha ji velha
ij velha
a a
a
+ | |
=
|
\ .
ou, em termos matriciais,
( )
1
2
T
nova velha velha
A A A = +

A forma quadrtica acima pode ser simplificada, atravs de um translao do
eixo, tal que o termo b
T
x desaparea, assim sejam as novas coordenadas (y
1
, y
2
, ..., y
n
)
tais que: = + x y d assim:
T T T
= + b x b y b d e
( )
( ) 2
T T T T T T T T T T
= + + = + + + = + + x A x y d A y A d y A y y A d d A y d A d y A y d A y d A d
pois :
T T
= y A d d A y [ A simtrica], logo:
( )
1 1
2 2
T T T T T
f c = + + + + + y b y b d y A y d A y d A d
Identificando: ( )
1

2
T T
f c c = + + = d b d d A d e definindo

= + b b A d, tem-se
( )
1

2
T T
f c = + + y b y y A y, adotando d tal que:
1

= + = = b b A d 0 d A b, se A for no
singular, assim chega-se a:
PROGRAMA DE ENGENHARIA QUMICA/COPPE/UFRJ
COQ 897- OTIMIZAO DE PROCESSOS- II/2013

3
( )
1

2
T
f c = + y y A y, em que: = + x y d,
1
= d A b e ( )
1

2
T T
c f c = = + + d b d d A d, nesse
novo sistema de coordenadas tem-se: ( )
1
2
( )
( )
( )
n
f
y
f
y f
f
y
c
c
c
c
c
c
| |
|
|
|
|
V = =
|
|
|
|
|
\ .
y
y
y A y
y
, sendo o vetor gradiente
em = y 0(a nova origem) nulo e ( )
f c
=
=
y 0
y . Essa condio, ( ) f V = y 0, uma condio
necessria para o ponto ser um extremo da funo (mximo ou mnimo) e chamado de
ponto crtico, este ponto ser um ponto de mnimo se para qualquer vizinhana de = y 0,
isto : o s y , a funo ( ) ( )
f f c > = y 0 c , ou seja: 0
T
> y A y , sendo assim a matriz A
chamada de positiva definida. Caso em toda vizinhana de = y 0 a funo
( ) ( )
f f c < = y 0 a origem um ponto de mximo, e: 0
T
< y A y , sendo a matriz A
negativa definida. Em qualquer outra situao, o ponto no nem de mximo nem de
mnimo (ponto de sela) e a matriz A dita no definida.

A forma quadrtica pode tambm ser reescrita em sua forma cannica, de forma
anloga apresentada no processo de diagonalizao de matrizes, assim considerando
= y P z, em que P a matriz cujos vetores coluna so os vetores caractersticos
normalizados de A (considerados n vetores caractersticos linearmente independentes e
ortogonais entre si, isto os valores caractersticos so todos reais e distintos - matriz A
simtrica), tem-se assim:
( )
( )
2
1
1 1 1

2 2 2
n
T T T
i i
i
f c c c z
=
= + = + = +

z z P A P z z D z , como origem = y 0
correspondente tambm a = z 0, tem-se = z 0 como ponto de mnimo se
2
1
0
n
i i
i
z
=
>

para todo o domnio em que = z 0 se 0 para todo 1, ,
i
i n > = ; = z 0 um ponto de
mximo se
2
1
0
n
i i
i
z
=
<

para todo o domnio em que = z 0 se 0 para todo 1, ,

i
i n < =
e = z 0 um ponto de sela se no h vizinhana de = z 0 na qual
2
1
n
i i
i
z
=

no muda de
sinal o que ocorre se alguns 0
i
< e os demais so 0
i
> .
Em 9
2
, a forma cannica assume a forma:
( )
2 2
1 2 1 1 2 2
1
( , )
2
f z z c z z = + + , e a forma das
curvas de nvel caracterizam as seguinte cnicas, de acordo com o sinal de A = det (A) =
2
11 22 12 1 2
a a a = , assim com A > 0 : elipse; A < 0 : hiprbole e A = 0 : parbola .

(a) Elipse: neste caso os valores caractersticos tm o mesmo sinal, sendo = z 0 um
ponto de mnimo se ambos forem positivos e um ponto de mximo se ambos forem
positivos. O tamanho do eixo z
1
| |
1
2
K c

e do eixo z
2
| |
2
2
K c

, em que
( )
1 2
, K f z z = [verificando-se que = z 0 um ponto de mnimo quando
1 2
0 e 0 K c > > > e que = z 0 um ponto de mximo quando
PROGRAMA DE ENGENHARIA QUMICA/COPPE/UFRJ
COQ 897- OTIMIZAO DE PROCESSOS- II/2013

4
1 2
0 e 0 K c < < < . Nos dois casos: | |
1
2
0 K c

> e | |
2
2
0 K c

> ]. A seguir,
representam-se a superfcie ( )
1 2
, f z z e as correspondentes curvas de contorno:
M

1 0.5 0 0.5 1
1
0.5
0
0.5
1
1.5
1.5
1.5
1.5
1
1
1
1
1
1
1
1
0.5
0.5
0.5
0.5
0.5
0.5
M

( )
2
2
1 2 1 2
( , ) 5 f z z z z = +

(b) Hiprbole: neste caso os valores caractersticos tm os sinais distintos, sendo
= z 0um ponto de sela Abaixo, representam-se a superfcie ( )
1 2
, f z z e as correspondentes
curvas de contorno
M

1 0.5 0 0.5 1
1
0.5
0
0.5
1
0.5
0.5
0.5
0.5
0
0
0
0
0
0
0
0
0.5
0.5
0.5
0.5
0.5
0.5
M

( )
2
2
2
1 2 1
5 ) , ( z z z z f =


(c) Parbola: neste caso um dos valores caractersticos nulo e, portanto, a matriz A
singular, no sendo possvel fazer a translao de eixo para eliminar o termo b
T
x. Ento
neste caso a rotao dos eixos aplicada diretamente s variveis ( )
1 2
, x x , isto :
= x P z, obtendo-se:
2 1
1 2 1 1 2 2 1
( , )
2
f z z c b z b z z

= + + + , considerando:
2
0 = .
Verificando-se que a condio necessria no obtida, pois:
PROGRAMA DE ENGENHARIA QUMICA/COPPE/UFRJ
COQ 897- OTIMIZAO DE PROCESSOS- II/2013

5
( )
1 2
1 1 1 1
1 2
2
2
( , )
( , )
f z z
z b z
f
f z z
b
z

c | |
|
| | c +
|
V = = |
|
| c
\ .
|
c
\ .
z o segundo componente sempre no nulo. Como um dos
componentes do vetor gradiente uma constante no nula, no h valores de
1 2
e z z que
anulem o vetor gradiente, no existindo assim um ponto de mximo ou de mnimo.
Abaixo, representam-se curvas de nvel para este caso.
1 0.5 0 0.5 1
1
0.5
0
0.5
1
25
25
20
20
15
15
15
10
10
10
5
5
5
0
0
0
5
5
5
10
10
15
curvas de nvel (um dos val. caract. =0)
M
f , z
1
z
2
z
2
.
2 z
1
.
5 z
1
2


O comportamento das formas quadrticas subsidiam o estudo de extremos de funes
escalares no lineares de n variveis: ( ) f x , em que :
1
2
e
n
n
x
x
f
x
| |
|
|
= e9
|
|
\ .
x : 9 9
n
.
O gradiente de ( ) f x : ( )
1
2
( )
( )
( )
n
f
x
f
x f
f
x
c | |
|
c
|
| c
|
c V =
|
|
|
c
|
|
c
\ .
x
x
x
x
, e a matriz Hessiana :
( )
2 2 2
2
1 2 1 1
2 2 2
2
2 1 2 2
2 2 2
2
1 2
( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( )
n
n
n n n
f f f
x x x x x
f f f
x x x x x
f f f
x x x x x
| |
c c c
|
c c c c c
|
|
c c c
|
|
= c c c c c
|
|
|
c c c
|
|
c c c c c
\ .
x x x
x x x
H x
x x x
.
PROGRAMA DE ENGENHARIA QUMICA/COPPE/UFRJ
COQ 897- OTIMIZAO DE PROCESSOS- II/2013

6
A expanso em srie de Taylor da funo ( ) f x em torno de um ponto x no qual a
funo e suas derivadas so contnuas expressa, desprezando-se os termos de ordem
superior a dois, por: ( ) ( ) ( ) ( ) ( ) ( ) ( )
1

2
T T
f f f ~ + V + ( (

x x x x x x x H x x x .
Considerando o ponto x como sendo um ponto crtico, tem-se: ( )
f V = x 0 e adotando
= y x x como nova varivel independente, resultante da translao dos eixos, tem-se:
( )
1

2
T
f c = + y y A y, em que ( ) ( )
e c f = = x A H x , de forma anloga anlise aplicada s
formas quadrticas, tem-se:
(i) x um ponto de mximo se em uma vizinhana de = x x ou de o = s y 0 y , se a
funo ( ) ( )
f f c > = y x , ou seja: 0
T
> y A y A positiva definida;
(ii) x um ponto de mnimo se em uma vizinhana de = x x ou de o = s y 0 y , se a
funo ( ) ( )
f f c < = y x , ou seja: 0
T
> y A y A negativa definida.
Em qualquer outra situao o ponto no nem de mximo nem de mnimo, e no caso da
matriz ser no definida tem-se o chamado ponto de sela. Caso a matriz A seja semi
definida (positiva ou negativa) nada se pode afirmar sobre a natureza de x devendo ser
analisadas derivadas de ordem superiores.