Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
7 Formas Quadrticas
1
Definio
Forma quadrtica em
variveis (
Funo polinomial, de grau , cuja expresso tem apenas termos de grau . ( Ex. 1: )
, no de
Classificao
Uma forma quadrtica classificada como semi-definida positiva (negativa) se for no negativa (no positiva) em qualquer vector. Se, para alm disso, for positiva (negativa) em qualquer vector no nulo, tambm classificada como definida positiva (negativa). Se houver pelo menos um vector em que positiva e pelo menos um em que negativa, classificada como indefinida. : Definida positiva: Semi-definida positiva: Definida negativa: Semi-definida negativa: Indefinida: Ex. 1: ( ) ( ) ( ) ( ) ( ) ( ) ( )
) ( ) ( ) ( )
( *(
) ) ( ( ) ) *( ) +
( ( )
) + ( )
Facto
Todas as formas quadrticas definidas positivas (negativas) so tambm semi-definidas positivas (negativas), mas nem todas as formas quadrticas semi-definidas positivas (negativas) so tambm definidas positivas (negativas).
Ex. 1: ( ( Ex. 2: ) )
) ( ( ) ) ( ) ( ) ( )
4
cruzados
Facto
A classificao de formas quadrticas cuja expresso no tem termos cruzados pode ser feita directamente atravs da observao do sinal dos coeficientes dos termos da sua expresso. ( ) Definida positiva Semi-definida positiva Definida negativa Semi-definida negativa Indefinida Ex. 1: ( Ex. 2: , ( Ex. 3: , ( ( ( ( ) ( ) ) ) ) ) ) ( *( ( ( * + * * * * + + + + :
) ( ) ) ) ) *( ) + ( ) + ( ) ) ( ) ( )
5
Matriz ( (
Definio
* { *
+ + [ ]
Ex.:
Facto
Expresso de formas quadrticas e forma matricial pode ser escrita na forma matricial como o por ) por , por esta ordem.
[ ]
Ex.:
[ ]
* +
Definio
de
uma forma quadrtica Alterao da expresso de , passando esta a depender de uma nova varivel, , em vez da varivel original, , tal que ( ) | | : ( ) ( ) ( ) .
Ex.:
-[
]* +
* +
]* +
* + ( ) ( ) ( ) (
[ )( ( ) , )
]* + (
[ )
-[
]* +
[ ( ( ( ) )
][
][
( ( ) ( ) ) (
) ( ) ( ) )
Facto
Uma matriz ortogonal se e s se as suas colunas forem ortonormadas (mutuamente ortogonais e com norma ). , , * * + +
Ex.: {
[ ( ( (
/ ) ) )
) ( ) ( ) (
9
Seja de
Facto
ortonormados , a matriz de transformao de uma transformao linear uma base de se e s se diagonalizvel. Ento, constituda por vectores prprios ortonormados
valores prprios de , repetidos e ordenados de acordo com a ordenao dos vectores de , e , a matriz cujas colunas so os vectores de , ortogonal.
* [ * + , ]
Ex.:
) ( )
( *( )(
) )+
{* * + *
+ + [
] [ ] [ ]
1 0
Facto
Mudana de varivel e eliminao de termos cruzados de formas tem uma expresso sem termos cruzados, obtida , sendo uma matriz cujas colunas so vectores . Neste
quadrticas Qualquer forma quadrtica atravs da mudana de varivel caso, a expresso de na varivel
prprios ortonormados da transformao linear cuja matriz de transformao transformao linear cuja matriz de transformao
* [ ( ) ( ) ( ) ]
Ex.:
-[
]* +
( ( ( ) ) + )
) *( *( (
[ )+ )( )
)+ ( )
( *
] * + [ ] [ * + ]
( (
) ) -[ ( )( ) ) ( )
]* +
1 1
1
Algoritmo para a realizao de uma mudana de varivel de uma forma quadrtica que elimine os termos cruzados da sua expresso
Algoritmo
Representao da expresso de
Determinao dos valores e vectores prprios da transformao linear cuja matriz : Encontrar os valores prprios de , e os subespaos prprios de . constituda por vectores prprios ortonormados da : Escolher, de cada subespao
de transformao
Prtica lgebra Linear 7 Formas Quadrticas algbrica do valor prprio de base de nulo de que lhe est associado e reuni-los todos num conjunto ,
. Aproveitar o facto de
de vectores de subespaos prprios diferentes, e o facto do produto de qualquer vector no pelo inverso da sua norma ser um vector com norma , para a normalizao dos vectores. Para conseguir a ortogonalidade de vectores do mesmo subespao prprio, se necessrio, recorrer ortogonalizao de Gram-Schmidt.
4
Exibio da mudana de varivel: Escrever , a matriz cujas colunas so os vectores , que permite efectuar a mudana de varivel, e encontrar a relao entre as na varivel e as suas coordenadas na varivel , , ( ): Especificar as formas, . na varivel na varivel .
da base
Apresentao da expresso de
[
2
| ( * + ) * + ( ),(
( )
)| -
( *(
) )
[ + *(
]* + )(
[ ] )+
( *(
3
) )
[ + *(
]* + )+
[ ]
{* * + *
4
) (
,(
) (
)(
)-
Apresentao da expresso de ( ) ( )
na varivel , ( ): , -[ ]* +
( )
10
1 2
Facto
A classificao de qualquer forma quadrtica pode ser feita atravs da observao do sinal dos valores prprios da transformao linear cuja matriz de transformao a matriz simtrica que lhe est associada. * Definida positiva Semi-definida positiva Definida negativa Semi-definida negativa Indefinida * + * * * * + + + + + * + :
Ex. 1:
) + { } *
, + ,
-0
10 1
Ex. 2:
) + { } *
, + ,
-0
10 1
Ex. 3:
) + { } *
-0 + ,
10 1
Ex. 4:
) + { } *
-0 + ,
10 1
Ex. 5:
) + { }
, *
-0 + ,
10 1
11